arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34995 papers tagged with this keyword
2009-11-16
Strong uniform expansion in $\mathrm{SL}(2,p)$
Published • View Publication • BIB
We show that there is an infinite set of primes $\mathcal{P}$ of density one, such that the family of \textit{all} Cayley graphs of $\mathrm{SL}(2,p)$%, $p\in \mathcal{P}$, is a family of expanders.
2009-11-14 v2
Topological Symmetry Groups of K_{4r+3}
Published in Discrete and Continuous Dynamical Systems, Vol 4, (2011), 1401-1411 • View Publication • BIB
We present the concept of the topological symmetry group as a way to analyze the symmetries of non-rigid molecules. Then we characterize all of the groups which can occur as the topological symmetry group of an embedding of the complete graph K_{4r+3} in S^3.
2009-11-14
Optimal Partial Tiling of Manhattan Polyominoes
Published • View Publication • BIB
Finding an efficient optimal partial tiling algorithm is still an open problem. We have worked on a special case, the tiling of Manhattan polyominoes with dominoes, for which we give an algorithm linear in the number of columns. Some techniques are borrowed from traditional graph optimisation problems.
2009-11-14 v2
Fractional total colourings of graphs of high girth
Published • View Publication • BIB
Reed conjectured that for every epsilon>0 and Delta there exists g such that the fractional total chromatic number of a graph with maximum degree Delta and girth at least g is at most Delta+1+epsilon. We prove the conjecture for Delta=3 and for even Delta>=4 in the following stronger form: For each of these values of Delta, there exists g such that the fractional total chromatic number of any graph with maximum degree Delta and girth at least g is equal to Delta+1.
2009-11-14 v3
A short proof of the tree-packing theorem
Published • View Publication • BIB
We give a short elementary proof of Tutte and Nash-Williams' characterization of graphs with k edge-disjoint spanning trees.
2009-11-13
Susceptibility of random graphs with given vertex degrees
Published • View Publication • BIB
We study the susceptibility, i.e., the mean cluster size, in random graphs with given vertex degrees. We show, under weak assumptions, that the susceptibility converges to the expected cluster size in the corresponding branching process. In the supercritical case, a corresponding result holds for the modified susceptibility ignoring the giant component and the expected size of a finite cluster in the branching process; this is proved using a duality theorem. The critical behaviour is studied. Examples are given where the critical exponents differ on the subcritical and supercritical sides.
2009-11-13 v3
Cubical coloring -- fractional covering by cuts and semidefinite programming
Published in Discrete Mathematics & Theoretical Computer Science, Vol 17, No 2 (2015) • Search Publication
We introduce a new graph invariant that measures fractional covering of a graph by cuts. Besides being interesting in its own right, it is useful for study of homomorphisms and tension-continuous mappings. We study the relations with chromatic number, bipartite density, and other graph parameters. We find the value of our parameter for a family of graphs based on hypercubes. These graphs play for our parameter the role that circular cliques play for the circular chromatic number. The fact that the defined parameter attains on these graphs the `correct' value suggests that the definition is a natural one. In the proof we use the eigenvalue bound for maximum cut and a recent result of Engström, Färnqvist, Jonsson, and Thapper. We also provide a polynomial time approximation algorithm based on semidefinite programming and in particular on vector chromatic number (defined by Karger, Motwani and Sudan [Approximate graph coloring by semidefinite programming, J. ACM 45 (1998), no. 2, 246--265]).
2009-11-13 v2
Random Subnetworks of Random Sorting Networks
Published • View Publication • BIB
A sorting network is a shortest path from 12...n to n...21 in the Cayley graph of S_n generated by nearest-neighbor swaps. For m<=n, consider the random m-particle sorting network obtained by choosing an n-particle sorting network uniformly at random and then observing only the relative order of m particles chosen uniformly at random. We prove that the expected number of swaps in location j in the subnetwork does not depend on n, and we provide a formula for it. Our proof is probabilistic, and involves a Polya urn with non-integer numbers of balls. From the case m=4 we obtain a proof of a conjecture of Warrington. Our result is consistent with a conjectural limiting law of the subnetwork as n->infinity implied by the great circle conjecture Angel, Holroyd, Romik and Virag.
2009-11-13
Orientable embeddings and orientable cycle double covers of projective-planar graphs
Published • View Publication • BIB
In a closed 2-cell embedding of a graph each face is homeomorphic to an open disk and is bounded by a cycle in the graph. The Orientable Strong Embedding Conjecture says that every 2-connected graph has a closed 2-cell embedding in some orientable surface. This implies both the Cycle Double Cover Conjecture and the Strong Embedding Conjecture. In this paper we prove that every 2-connected projective-planar cubic graph has a closed 2-cell embedding in some orientable surface. The three main ingredients of the proof are (1) a surgical method to convert nonorientable embeddings into orientable embeddings; (2) a reduction for 4-cycles for orientable closed 2-cell embeddings, or orientable cycle double covers, of cubic graphs; and (3) a structural result for projective-planar embeddings of cubic graphs. We deduce that every 2-edge-connected projective-planar graph (not necessarily cubic) has an orientable cycle double cover.
2009-11-12 v2
Counting MSTD Sets in Finite Abelian Groups
Published in J. Number Theory 130 (2010), 2308-2322 • View Publication • BIB
In an abelian group G, a more sums than differences (MSTD) set is a subset A of G such that |A+A|>|A-A|. We provide asymptotics for the number of MSTD sets in finite abelian groups, extending previous results of Nathanson. The proof contains an application of a recently resolved conjecture of Alon and Kahn on the number of independent sets in a regular graph.
2009-11-12 v2
Isospectral Graph Reductions and Improved Estimates of Matrices' Spectra
Published • View Publication • BIB
Via the process of isospectral graph reduction the adjacency matrix of a graph can be reduced to a smaller matrix while its spectrum is preserved up to some known set. It is then possible to estimate the spectrum of the original matrix by considering Gershgorin-type estimates associated with the reduced matrix. The main result of this paper is that eigenvalue estimates associated with Gershgorin, Brauer, Brualdi, and Varga improve as the matrix size is reduced. Moreover, given that such estimates improve with each successive reduction, it is also possible to estimate the eigenvalues of a matrix with increasing accuracy by repeated use of this process.
2009-11-12
Families of parameters for SRNT graphs
The feasibility conditions obtained in a previous report are refined, and used to determine several infinite families of feasible parameters for strongly regular graphs with no triangles. The methods are also used to improve the lower bound for the number of vertices, and to derive yet another interpretation of the Krein bound.
2009-11-11
On two generalizations of the Alon-Tarsi polynomial method
Published • View Publication • BIB
In a seminal paper, Alon and Tarsi have introduced an algebraic technique for proving upper bounds on the choice number of graphs (and thus, in particular, upper bounds on their chromatic number). The upper bound on the choice number of $G$ obtained via their method, was later coined the \emph{Alon-Tarsi number of $G$} and was denoted by $AT(G)$. They have provided a combinatorial interpretation of this parameter in terms of the eulerian subdigraphs of an appropriate orientation of $G$. Their characterization can be restated as follows. Let $D$ be an orientation of $G$. Assign a weight $ω_D(H)$ to every subdigraph $H$ of $D$: if $H \subseteq D$ is eulerian, then $ω_D(H) = (-1)^{e(H)}$, otherwise $ω_D(H) = 0$. Alon and Tarsi proved that $AT(G) \leq k$ if and only if there exists an orientation $D$ of $G$ in which the out-degree of every vertex is strictly less than $k$, and moreover $\sum_{H \subseteq D} ω_D(H) \neq 0$. Shortly afterwards, for the special case of line graphs of $d$-regular $d$-edge-colorable graphs, Alon gave another interpretation of $AT(G)$, this time in terms of the signed $d$-colorings of the line graph. In this paper we generalize both results. The first characterization is generalized by showing that there is an infinite family of weight functions (which includes the one considered by Alon and Tarsi), each of which can be used to characterize $AT(G)$. The second characterization is generalized to all graphs (in fact the result is even more general -- in particular it applies to hypergraphs). We then use the second generalization to prove that $χ(G) = ch(G) = AT(G)$ holds for certain families of graphs $G$. Some of these results generalize certain known choosability results.
2009-11-11
Strongly Regular Graphs with No Triangles
A simplified version of the theory of strongly regular graphs is developed for the case in which the graphs have no triangles. This leads to (i) direct proofs of the Krein conditions, and (ii) the characterization of strongly regular graphs with no triangles such that the second subconstituent is also strongly regular. The method also provides an effective means of listing feasible parameters for such graphs.
2009-11-11 v2
Families of regular matroids
This is an introductory paper about the category of regular oriented matroids (ROMs). We compare the homotopy types of the categories of regular and binary matroids. For example, in the unoriented case, they have the same fundamental group but we show that the higher homotopy groups are different for rank three regular and binary matroids. We also speculate on the possible impact of a recent theorem of Galatius [Gal] computing the stable cohomology of the category of graphs and on possible applications to higher Reidemeister torsion.
2009-11-11 v4
The Grone-Merris Conjecture
Published • View Publication • BIB
In spectral graph theory, Grone and Merris conjecture that the spectrum of the Laplacian matrix of a finite graph is majorized by the conjugate degree sequence of this graph. We give a complete proof for this conjecture.
2009-11-10 v3
Arithmetic completely regular codes
Published in Discrete Math. Theor. Comput. Sci. 17 (2016) 59-76 • View Publication • BIB
In this paper, we explore completely regular codes in the Hamming graphs and related graphs. Experimental evidence suggests that many completely regular codes have the property that the eigenvalues of the code are in arithmetic progression. In order to better understand these "arithmetic completely regular codes", we focus on cartesian products of completely regular codes and products of their corresponding coset graphs in the additive case. Employing earlier results, we are then able to prove a theorem which nearly classifies these codes in the case where the graph admits a completely regular partition into such codes (e.g, the cosets of some additive completely regular code). Connections to the theory of distance-regular graphs are explored and several open questions are posed.
2009-11-10
Characterizing completely regular codes from an algebraic viewpoint
Published • View Publication • BIB
We first summarize the basic structure of the outer distribution module of a completely regular code. Then, employing a simple lemma concerning eigenvectors in association schemes, we propose to study the tightest case, where the indices of the eigenspace that appear in the outer distribution module are equally spaced. In addition to the arithmetic codes of the companion paper, this highly structured class includes other beautiful examples and we propose the classification of $Q$-polynomial completely regular codes in the Hamming graphs. A key result is Theorem 3.10 which finds that the $Q$-polynomial condition is equivalent to the presence of a certain Leonard pair. This connection has impact in two directions. First, the Leonard pairs are classified and we gain quite a bit of information about the algebraic structure of any code in our class. But also this gives a new setting for the study of Leonard pairs, one closely related to the classical one where a Leonard pair arises from each thin/dual-thin irreducible module of a Terwilliger algebra of some $P$- and $Q$-polynomial association scheme, yet not previously studied. It is particularly interesting that the Leonard pair associated to some code $C$ may belong to one family in the Askey scheme while the distance-regular graph in which the code is found may belong to another.
2009-11-10 v2
Path count asymptotics and Stirling numbers
Published • View Publication • BIB
We obtain formulas for the growth rate of the numbers of certain paths in infinite graphs built on the two-dimensional Eulerian graph. Corollaries are identities relating Stirling numbers of the first and second kinds.
A conjecture on critical graphs and connections to the persistence of associated primes
Published • View Publication • BIB
We introduce a conjecture about constructing critically (s+1)-chromatic graphs from critically s-chromatic graphs. We then show how this conjecture implies that any unmixed height two square-free monomial ideal I, i.e., the cover ideal of a finite simple graph, has the persistence property, that is, Ass(R/I^s) \subseteq Ass(R/I^{s+1}) for all s >= 1. To support our conjecture, we prove that the statement is true if we also assume that χ_f(G), the fractional chromatic number of the graph G, satisfies χ(G) -1 < χ_f(G) <= χ(G). We give an algebraic proof of this result.