arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82505 papers, 47699 authors in database)
2013-12-02
Embedding structures associated with Riordan arrays and moment matrices
Published • View Publication • BIB
Every ordinary Riordan array contains two naturally embedded Riordan arrays. We explore this phenomenon, and we compare it to the situation for certain moment matrices of families of orthogonal polynomials.
2013-12-02
Contractive Families on Compact Spaces
A family f_1,...,f_n of operators on a complete metric space X is called contractive if there exists lambda < 1 such that for any x,y in X we have d(f_i(x),f_i(y)) leq lambda d(x,y) for some i. Stein conjectured that for any contractive family there is some composition of the operators f_i that has a fixed point. Austin gave a counterexample to this, and asked if Stein's conjecture is true if we restrict to compact spaces. Our aim in this paper is to show that, even for compact spaces, Stein's conjecture is false.
2013-12-02 v3
Spectral properties of cubic complex Pisot units
Published • View Publication • BIB
For a real number $β>1$, Erdős, Joó and Komornik study distances between consecutive points in the set $X^m(β)=\bigl\{\sum_{j=0}^n a_j β^j : n\in\mathbb N,\,a_j\in\{0,1,\dots,m\}\bigr\}$. Pisot numbers play a crucial role for the properties of $X^m(β)$. Following the work of Zaïmi, who considered $X^m(γ)$ with $γ\in\mathbb{C}\setminus\mathbb{R}$ and $|γ|>1$, we show that for any non-real $γ$ and $m < |γ|^2-1$, the set $X^m(γ)$ is not relatively dense in the complex plane. Then we focus on complex Pisot units with a positive real conjugate $γ'$ and $m > |γ|^2-1$. If the number $1/γ'$ satisfies Property (F), we deduce that $X^m(γ)$ is uniformly discrete and relatively dense, i.e., $X^m(γ)$ is a Delone set. Moreover, we present an algorithm for determining two parameters of the Delone set $X^m(γ)$ which are analogous to minimal and maximal distances in the real case $X^m(β)$. For $γ$ satisfying $γ^3 + γ^2 + γ- 1 = 0$, explicit formulas for the two parameters are given.
Complete permutation polynomials over finite fields of odd characteristic
Published • View Publication • BIB
In this paper, we present three classes of complete permutation monomials over finite fields of odd characteristic. Meanwhile, the compositional inverses of these complete permutation polynomials are also proposed.
2013-12-01
On an Algorithm for Obtaining All Binary Matrices of Special Class Related to V. E. Tarakanov's Formula
Published in Journal of Mathematical Sciences and Applications, 2013, Vol. 1, No. 2, 36-38 • View Publication • BIB
An algorithm for obtaining all n\times n binary matrices having exactly 2 units in every row and every column is described in the paper. After analysing the work of the algorithm a formula for calculating the number of these matrices has been obtained. This formula is known and has been obtained using other methods, which by their nature are purely analytical and not constructive. Thus a new, constructive proof of this known formula has been obtained.
Metric Dimension of Amalgamation of Graphs
Published in Lecture Notes Comp. Sci. 8986 (2015) 330-337 • View Publication • BIB
A set of vertices $S$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of $G$ is the minimum cardinality of a resolving set of $G$. Let $\{G_1, G_2, \ldots, G_n\}$ be a finite collection of graphs and each $G_i$ has a fixed vertex $v_{0_i}$ or a fixed edge $e_{0_i}$ called a terminal vertex or edge, respectively. The \emph{vertex-amalgamation} of $G_1, G_2, \ldots, G_n$, denoted by $Vertex-Amal\{G_i;v_{0_i}\}$, is formed by taking all the $G_i$'s and identifying their terminal vertices. Similarly, the \emph{edge-amalgamation} of $G_1, G_2, \ldots, G_n$, denoted by $Edge-Amal\{G_i;e_{0_i}\}$, is formed by taking all the $G_i$'s and identifying their terminal edges. Here we study the metric dimensions of vertex-amalgamation and edge-amalgamation for finite collection of arbitrary graphs. We give lower and upper bounds for the dimensions, show that the bounds are tight, and construct infinitely many graphs for each possible value between the bounds.
2013-12-01
Random Permutations, Random Sudoku Matrices and Randomized Algorithms
Published in International J. of Math. Sci. & Engg. Appls. (IJMSEA), ISSN 0973-9424, Vol. 6 No. VI (November, 2012), pp. 291-302 • Search Publication
Some randomized algorithms, used to obtain a random $n^2 \times n^2$ Sudoku matrix, where $n$ is a natural number, is reviewed in this study. Below is described the set $Π_n$ of all $(2n) \times n$ matrices, consisting of elements of the set $\mathbb{Z}_n =\{ 1,2,\ldots ,n\}$, such that every row is a permutation. It is proved that such matrices would be particularly useful in developing efficient algorithms in generating Sudoku matrices. An algorithm to obtain random $Π_n$ matrices is presented in this paper. The algorithms are evaluated according to two criteria - probability evaluation, and time evaluation. This type of criteria is interesting from both theoretical and practical point of view because they are particularly useful in the analysis of computer programs.
2013-12-01
Some Combinatorial Problems on Binary Matrices in Programming Courses
Published in Informational Technologies in Education, 2012, 12, 39-43 • View Publication • BIB
The study proves the existence of an algorithm to receive all elements of a class of binary matrices without obtaining redundant elements, e. g. without obtaining binary matrices that do not belong to the class. This makes it possible to avoid checking whether each of the objects received possesses the necessary properties. This significantly improves the efficiency of the algorithm in terms of the criterion of time. Certain useful educational effects related to the analysis of such problems in programming classes are also pointed out.
2013-12-01 v2
On a conjecture about tricyclic graphs with maximal energy
Published in MATCH Commun. Math. Comput. Chem. 72(1)(2014), 183--214 • Search Publication
For a given simple graph $G$, the energy of $G$, denoted by $\mathcal {E}(G)$, is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix, which was defined by I. Gutman. The problem on determining the maximal energy tends to be complicated for a given class of graphs. There are many approaches on the maximal energy of trees, unicyclic graphs and bicyclic graphs, respectively. Let $P^{6,6,6}_n$ denote the graph with $n\geq 20$ vertices obtained from three copies of $C_6$ and a path $P_{n-18}$ by adding a single edge between each of two copies of $C_6$ to one endpoint of the path and a single edge from the third $C_6$ to the other endpoint of the $P_{n-18}$. Very recently, Aouchiche et al. [M. Aouchiche, G. Caporossi, P. Hansen, Open problems on graph eigenvalues studied with AutoGraphiX, {\it Europ. J. Comput. Optim.} {\bf 1}(2013), 181--199] put forward the following conjecture: Let $G$ be a tricyclic graphs on $n$ vertices with $n=20$ or $n\geq22$, then $\mathcal{E}(G)\leq \mathcal{E}(P_{n}^{6,6,6})$ with equality if and only if $G\cong P_{n}^{6,6,6}$. Let $G(n;a,b,k)$ denote the set of all connected bipartite tricyclic graphs on $n$ vertices with three vertex-disjoint cycles $C_{a}$, $C_{b}$ and $C_{k}$, where $n\geq 20$. In this paper, we try to prove that the conjecture is true for graphs in the class $G\in G(n;a,b,k)$, but as a consequence we can only show that this is true for most of the graphs in the class except for 9 families of such graphs.
2013-12-01 v3
Bipartite Rigidity
Published • View Publication • BIB
We develop a bipartite rigidity theory for bipartite graphs parallel to the classical rigidity theory for general graphs, and define for two positive integers $k,l$ the notions of $(k,l)$-rigid and $(k,l)$-stress free bipartite graphs. This theory coincides with the study of Babson--Novik's balanced shifting restricted to graphs. We establish bipartite analogs of the cone, contraction, deletion, and gluing lemmas, and apply these results to derive a bipartite analog of the rigidity criterion for planar graphs. Our result asserts that for a planar bipartite graph $G$ its balanced shifting, $G^b$, does not contain $K_{3,3}$; equivalently, planar bipartite graphs are generically $(2,2)$-stress free. We also discuss potential applications of this theory to Jockusch's cubical lower bound conjecture and to upper bound conjectures for embedded simplicial complexes.
Bipartite Minors
Published • View Publication • BIB
We introduce a notion of bipartite minors and prove a bipartite analog of Wagner's theorem: a bipartite graph is planar if and only if it does not contain $K_{3,3}$ as a bipartite minor. Similarly, we provide a forbidden minor characterization for outerplanar graphs and forests. We then establish a recursive characterization of bipartite $(2,2)$-Laman graphs --- a certain family of graphs that contains all maximal bipartite planar graphs.
2013-12-01 v2
Maximizing the number of nonnegative subsets
Published • View Publication • BIB
Given a set of $n$ real numbers, if the sum of elements of every subset of size larger than $k$ is negative, what is the maximum number of subsets of nonnegative sum? In this note we show that the answer is $\binom{n-1}{k-1} + \binom{n-1}{k-2} + \cdots + \binom{n-1}{0}+1$, settling a problem of Tsukerman. We provide two proofs, the first establishes and applies a weighted version of Hall's Theorem and the second is based on an extension of the nonuniform Erdős-Ko-Rado Theorem.
2013-12-01
Minimal Pancyclicity
A pancyclic graph is a simple graph containing a cycle of length $k$ for all $3\leq k\leq n$. Let $m(n)$ be the minimum number of edges of all pancyclic graphs on $n$ vertices. Exact values are given for $m(n)$ for $n\leq 37$, combining calculations from an exhaustive search on graphs with up to 29 vertices with a construction that works for up to 37 vertices. The behavior of $m(n)$ in general is also explored, including a proof of the conjecture that $m(n+1)>m(n)$ for all $n$ in some special cases.
2013-11-30
An explicit formula of hitting times for random walks on graphs
Published in Pure Appl. Math. Q. 10 (2014), 567--581 • View Publication • BIB
We prove an explicit formula of hitting times in terms of enumerations of spanning trees for random walks on general connected graphs. We apply the formula to improve Lawler's bound of hitting times for general graphs, prove a sharp bound of hitting times for adjacent vertices and derive closed formulas of hitting times for some special graphs.
2013-11-30 v2
The 3-rainbow index of graph operations
A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if no two edges of $T$ are assigned the same color. A {\em $k$-rainbow coloring}of $G$ is an edge coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow tree $T$ in $G$ such that $S\subseteq V(T)$. The minimum number of colors needed in a $k$-rainbow coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$. Graph operations, both binary and unary, are an interesting subject, which can be used to understand structures of graphs. In this paper, we will study the $3$-rainbow index with respect to three important graph product operations (namely cartesian product, strong product, lexicographic product) and other graph operations. In this direction, we firstly show if $G^*=G_1\Box G_2\cdots\Box G_k$ ($k\geq 2$), where each $G_i$ is connected, then $rx_3(G^*)\leq \sum_{i=1}^{k} rx_3(G_i)$. Moreover, we also present a condition and show the above equality holds if every graph $G_i (1\leq i\leq k)$ meets the condition. As a corollary, we obtain an upper bound for the 3-rainbow index of strong product. Secondly, we discuss the 3-rainbow index of the lexicographic graph $G[H]$ for connected graphs $G$ and $H$. The proofs are constructive and hence yield the sharp bound. Finally, we consider the relationship between the 3-rainbow index of original graphs and other simple graph operations : the join of $G$ and $H$, split a vertex of a graph and subdivide an edge.
2013-11-30 v3
Polynomial properties of Jack connection coefficients and generalization of a result by Dénes
Published • View Publication • BIB
This article is devoted to the computation of Jack connection coefficients, a generalization of the connection coefficients of two classical commutative subalgebras of the group algebra of the symmetric group: the class algebra and the double coset algebra. The connection coefficients of these two algebraic structures are of significant interest in the study of Schur and zonal polynomials as well as the irreducible characters of the symmetric group and the zonal spherical functions. Furthermore they play an important role in combinatorics as they give the number of factorizations of a permutation into a product of permutations with given cyclic properties. Usually studied separately, these two families of coefficients share strong similar properties. First (partially) introduced by Goulden and Jackson in 1996, Jack connection coefficients provide a natural unified approach closely related to the theory of Jack polynomials, a family of bases in the ring of symmetric functions indexed by a parameter αthat generalizes both Schur (case α= 1) and zonal polynomials (case α= 2). Jack connection coefficients are also directly linked to Jack characters, a general view of the characters of the symmetric group and the zonal spherical functions. Goulden and Jackson conjectured that these coefficients are polynomials in αwith nice combinatorial properties, the so-called Matchings-Jack conjecture. In this paper, we use the theory of Jack symmetric functions and the Laplace Beltrami operator to show the polynomial properties of Jack connection coefficients in some important cases. We also provide explicit formulations including notably a generalization of a classical formula of Dénes for the number of minimal factorizations of a permutation into transpositions.
2013-11-30 v2
A Derivation of Conductivities of Signed Determinants in Response Matrices
We give a derivation of conductivities in certain classes of graphs based on knowing certain subdeterminants of the response matrix, mainly utilizing the boundary edge and boundary spike formulas given in Curtis' and Morrow's book.
2013-11-29
Maximum Intersecting Families of Permutations
It was first shown by Cameron and Ku that the group $G=Sym(n)$ has the strict EKR property. Then Godsil and Meagher presented an entirely different proof of this fact using some algebraic properties of the symmetric group. A similar method was employed to prove that the projective general linear group $PGL(2,q)$, with its natural action on the projective line $\mathbb{P}_q$, has the strict EKR property. The main objective in this thesis is to formally introduce this method, which we call the module method, and show that this provides a standard way to prove Erdos-Ko-Rado theorems for other permutation groups. We then, along with proving Erdos-Ko-Rado theorems for various groups, use this method to prove some permutation groups have the strict EKR property. We will also show that this method can be useful in characterizing the maximum independent sets of some Cayley graphs. To explain the module method, we need some facts from representation theory of groups, in particular, the symmetric group. We will provide the reader with a sufficient level of background from representation theory as well as graph theory and linear algebraic facts about graphs.
2013-11-29
A refined enumeration of $p$-ary labeled trees
Published in Korean Journal of Mathematics, 21(4), 495-502, 2013 • View Publication • BIB
Let $\mathcal{T}^{(p)}_n$ be the set of $p$-ary labeled trees on $\{1,2,\dots,n\}$. A maximal decreasing subtree of an $p$-ary labeled tree is defined by the maximal $p$-ary subtree from the root with all edges being decreasing. In this paper, we study a new refinement $\mathcal{T}^{(p)}_{n,k}$ of $\mathcal{T}^{(p)}_n$, which is the set of $p$-ary labeled trees whose maximal decreasing subtree has $k$ vertices.
2013-11-29
The Generalized RS-theorem
Eigenvalues of a graph are the eigenvalues of the corresponding (0,1)-adjacency matrix. The second largest eigenvalue lambda_2 provides significant information on characteristics and structure of graphs. Therefore, finding bounds for lambda_2 is a topic of interest in many fields. So far we have studied the graphs with the property lambda_2 is less or equal to 2, so-called reflexive graphs. The original RS-theorem is about them. In this paper we generalize that concept and introduce the arbitrary bounds. The Generalized RS-theorem gives us an answer whether the second largest eigenvalue of a graph is greater than, less than, or equal to a, a>0, within some classes of connected graphs with a cut-vertex. After removing the cut-vertex u of the given graph G, we examine the indices of the components of G-u. The information on these indices is used to make conclusions about the second largest eigenvalue of the graph G. In the RS-theorem a=2. Here, we state and prove the Generalized RS-theorem, one corollary, and, also, give some useful lemmas.