arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83657 papers, 48289 authors in database)
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.
2013-11-29
A simplified discharging proof of Grötzsch theorem
In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Grötzsch theorem.
2013-11-29
Zero Forcing Sets for Graphs
For any simple graph $G$ on $n$ vertices, the (positive semi-definite) minimum rank of $G$ is defined to be the smallest possible rank among all (positive semi-definite) real symmetric $n\times n$ matrices whose entry in position $(i,j)$, for $i\neq j$, is non-zero if $ij$ is an edge in $G$ and zero otherwise. Also, the (positive semi-definite) maximum nullity of $G$ is defined to be the largest possible nullity of a (positive semi-definite) matrix in the above set of matrices. In this thesis we study two graph parameters, namely the zero forcing number of $G$, $Z(G)$, and the positive zero forcing number of $G$, $Z_+(G)$, which bound the maximum nullity and the positive semi-definite maximum nullity from above, respectively. With regard to the zero forcing number, we introduce some new families of graphs for which the zero forcing number and the maximum nullity are the same. Also we establish an equality between the zero forcing number and the path cover number for a new family of graphs. In addition, we establish a connection between the zero forcing number and the chromatic number of graphs. With regard to the positive zero forcing number, we introduce the concept of forcing trees in a graph and we establish a connection between the positive zero forcing number and the tree cover number. Also we study families of graphs for which these parameters coincide. In addition, we provide some new results on the connections of this parameter with other graph parameters, including the independence number and the chromatic number of $G$.
2013-11-29
Moments of normally distributed random matrices - Bijective explicit evaluation
Published • View Publication • BIB
This paper is devoted to the distribution of the eigenvalues of $XUYU^t$ where $X$ and $Y$ are given symmetric matrices and $U$ is a random real valued square matrix of standard normal distribution. More specifically we look at its moments, i.e. the mathematical expectation of the trace of $(XUYU^t)^n$ for arbitrary integer $n$. Hanlon, Stanley, Stembridge (1992) showed that this quantity can be expressed in terms of some generating series for the connection coefficients of the double cosets of the hyperoctahedral group with the eigenvalues of $X$ and $Y$ as indeterminate. We provide an explicit evaluation of these series in terms of monomial symmetric functions. Our development relies on an interpretation of the connection coefficients in terms of locally orientable hypermaps and a new bijective construction between partitioned locally orientable hypermaps and some decorated forests. As a corollary we provide a simple explicit evaluation of the moments of $XUYU^*$ when $U$ is complex valued and $X$ and $Y$ are given hermitian matrices.
2013-11-28 v2
A superasymptotic formula for the number of plane partitions
We revisit a formula for the number of plane partitions due to Almkvist. Using the circle method, we provide modifications to his formula along with estimates of the errors. We show that the improved formula continues to be an asymptotic series. Nevertheless, an optimal truncation (i.e., superasymptotic) of the formula provides exact numbers of plane partitions for all positive integers n <6400 and numbers with estimated errors for larger values. For instance, the formula correctly reproduces 305 of the 316 digits of the numbers of plane partitions of 6999 as predicted by the estimated error. We believe that an hyperasymptotic truncation might lead to exact numbers for positive integers up to 50000.
2013-11-28 v2
A curious polynomial interpolation of Carlitz-Riordan's $q$-ballot numbers
Published • View Publication • BIB
We study a polynomial sequence $C_n(x|q)$ defined as a solution of a $q$-difference equation. This sequence, evaluated at $q$-integers, interpolates Carlitz-Riordan's $q$-ballot numbers. In the basis given by some kind of $q$-binomial coefficients, the coefficients are again some $q$-ballot numbers. We obtain in a combinatorial way another curious recurrence relation for these polynomials.