Showing papers in "arXiv: Combinatorics in 2014"

The existence of designs

Abstract: We prove the existence conjecture for combinatorial designs, answering a question of Steiner from 1853. More generally, we show that the natural divisibility conditions are sufficient for clique decompositions of simplicial complexes that satisfy a certain pseudorandomness condition. As a further generalisation, we obtain the same conclusion only assuming an extendability property and the existence of a robust fractional clique decomposition.

Hopf Algebras in Combinatorics

Abstract: These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf algebra" and its application to the representation theory of symmetric and (briefly) finite general linear groups. The notes then continue with the quasisymmetric and the noncommutative symmetric functions, some Hopf algebras formed from graphs, posets and matroids, and the Malvenuto-Reutenauer Hopf algebra of permutations. Among the results surveyed are the Littlewood-Richardson rule and other symmetric function identities, Zelevinsky's structure theorem for PSHs, the antipode formula for P-partition enumerators, the Aguiar-Bergeron-Sottile universal property of QSym, the theory of Lyndon words, the Gessel-Reutenauer bijection, and Hazewinkel's polynomial freeness of QSym. The notes are written with a graduate student reader in mind, being mostly self-contained but requiring a good familiarity with multilinear algebra and -- for the representation-theory applications -- basic group representation theory.

M-Polynomial and Degree-Based Topological Indices

Abstract: Let $G$ be a graph and let $m_{ij}(G)$, $i,j\ge 1$, be the number of edges $uv$ of $G$ such that $\{d_v(G), d_u(G)\} = \{i,j\}$. The {\em $M$-polynomial} of $G$ is introduced with $\displaystyle{M(G;x,y) = \sum_{i\le j} m_{ij}(G)x^iy^j}$. It is shown that degree-based topological indices can be routinely computed from the polynomial, thus reducing the problem of their determination in each particular case to the single problem of determining the $M$-polynomial. The new approach is also illustrated with examples.

Virasoro constraints and topological recursion for Grothendieck's dessin counting

Abstract: We compute the number of coverings of ${\mathbb{C}}P^1\setminus\{0, 1, \infty\}$ with a given monodromy type over $\infty$ and given numbers of preimages of 0 and 1. We show that the generating function for these numbers enjoys several remarkable integrability properties: it obeys the Virasoro constraints, an evolution equation, the KP (Kadomtsev-Petviashvili) hierarchy and satisfies a topological recursion in the sense of Eynard-Orantin.

Hamilton cycles in graphs and hypergraphs: an extremal perspective

Abstract: As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research Recent developments in the area have highlighted the crucial role played by the notions of expansion and quasi-randomness These concepts and other recent techniques have led to the solution of several long-standing problems in the area New aspects have also emerged, such as resilience, robustness and the study of Hamilton cycles in hypergraphs We survey these developments and highlight open problems, with an emphasis on extremal and probabilistic approaches

On a family of symmetric rational functions

Abstract: This paper is about a family of symmetric rational functions that form a one-parameter generalization of the classical Hall-Littlewood polynomials. We introduce two sets of (skew and non-skew) functions that are akin to P and Q Hall-Littlewood polynomials. We establish (a) a combinatorial formula that represents our functions as partition functions for certain path ensembles in the square grid; (b) symmetrization formulas for non-skew functions; (c) identities of Cauchy and Pieri type; (d) explicit formulas for principal specializations; (e) two types of orthogonality relations for non-skew functions. Our construction is closely related to the half-infinite volume, finite magnon sector limit of the higher spin six-vertex (or XXZ) model, with both sets of functions representing higher spin six-vertex partition functions and/or transfer-matrices for certain domains.

Optimal binary subspace codes of length 6, constant dimension 3 and minimum distance 4

Abstract: It is shown that the maximum size of a binary subspace code of packet length $v=6$, minimum subspace distance $d=4$, and constant dimension $k=3$ is $M=77$; in Finite Geometry terms, the maximum number of planes in $\operatorname{PG}(5,2)$ mutually intersecting in at most a point is $77$. Optimal binary $(v,M,d;k)=(6,77,4;3)$ subspace codes are classified into $5$ isomorphism types, and a computer-free construction of one isomorphism type is provided. The construction uses both geometry and finite fields theory and generalizes to any $q$, yielding a new family of $q$-ary $(6,q^6+2q^2+2q+1,4;3)$ subspace codes.

Some spectral properties of uniform hypergraphs

Abstract: For a $k$-uniform hypergraph $H$, we obtain some trace formulas for the Laplacian tensor of $H$, which imply that $\sum_{i=1}^nd_i^s$ ($s=1,\ldots,k$) is determined by the Laplacian spectrum of $H$, where $d_1,\ldots,d_n$ is the degree sequence of $H$. Using trace formulas for the Laplacian tensor, we obtain expressions for some coefficients of the Laplacian polynomial of a regular hypergraph. We give some spectral characterizations of odd-bipartite hypergraphs, and give a partial answer to a question posed by Shao et al \cite{ShaoShanWu}. We also give some spectral properties of power hypergraphs, and show that a conjecture posed by Hu et al \cite{HuQiShao} holds under certain conditons.

Rational parking functions and Catalan numbers

Abstract: The classical parking functions, counted by the Cayley number (n+1)^(n-1), carry a natural permutation representation of the symmetric group S_n in which the number of orbits is the n'th Catalan number. In this paper, we will generalize this setup to rational parking functions indexed by a pair (a,b) of coprime positive integers. We show that these parking functions, which are counted by b^(a-1), carry a permutation representation of S_a in which the number of orbits is a rational Catalan number. We compute the Frobenius characteristic of the S_a-module of (a,b)-parking functions. Next we propose a combinatorial formula for a q-analogue of the rational Catalan numbers and relate this formula to a new combinatorial model for q-binomial coefficients. Finally, we discuss q,t-analogues of rational Catalan numbers and parking functions (generalizing the shuffle conjecture for the classical case) and present several conjectures.

Three tutorial lectures on entropy and counting

Abstract: We explain the notion of the {\em entropy} of a discrete random variable, and derive some of its basic properties. We then show through examples how entropy can be useful as a combinatorial enumeration tool. We end with a few open questions.

On a Conjecture about Tricyclic Graphs with Maximal Energy

Abstract: For a given simple graph G, the energy of G, denoted by 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 ≥ 20 vertices

The Maximal Matching Energy of Tricyclic Graphs

Abstract: Gutman and Wagner proposed the concept of the matching energy (ME) and pointed out that the chemical applications of ME go back to the 1970s. Let G be a simple graph of order n and 1; 2;:::; n be the roots of its matching polynomial. The matching energy of G is dened to be the sum of the absolute values of i (i = 1; 2;:::;n). Gutman and Cvetkovi c determined the tricyclic graphs on n vertices with maximal number of matchings by a computer search for small values of n and by an induction argument for the rest. Based on this result, in this paper, we characterize the graphs with the maximal value of matching energy among all tricyclic graphs, and completely determine the tricyclic graphs with the maximal matching energy. We prove our result by using Coulson-type integral formula of matching energy, which is similar as the method to comparing the energies of two quasi-order incomparable graphs.

An $L^p$ theory of sparse graph convergence I: limits, sparse random graph models, and power law distributions

Abstract: We introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollob\'as and Riordan to sparse graphs without dense spots. In doing so, we replace the no dense spots hypothesis with weaker assumptions, which allow us to analyze graphs with power law degree distributions. This gives the first broadly applicable limit theory for sparse graphs with unbounded average degrees. In this paper, we lay the foundations of the $L^p$ theory of graphons, characterize convergence, and develop corresponding random graph models, while we prove the equivalence of several alternative metrics in a companion paper.

An information theoretic approach to Sidorenko's conjecture

Abstract: We investigate the famous conjecture by Erd\H os-Simonovits and Sidorenko using information theory. Our method gives a unified treatment for all known cases of the conjecture and it implies various new results as well. Our topological type conditions allow us to extend Sidorenko's conjecture to large families of $k$-uniform hypergraphs. This is somewhat unexpected since the conjecture fails for $k$ uniform hypergraphs in general.

The chromatic number of a signed graph

Abstract: In 1982, Zaslavsky introduced the concept of a proper vertex colouring of a signed graph $G$ as a mapping $\phi\colon V(G)\to \mathbb{Z}$ such that for any two adjacent vertices $u$ and $v$ the colour $\phi(u)$ is different from the colour $\sigma(uv)\phi(v)$, where is $\sigma(uv)$ is the sign of the edge $uv$. The substantial part of Zaslavsky's research concentrated on polynomial invariants related to signed graph colourings rather than on the behaviour of colourings of individual signed graphs. We continue the study of signed graph colourings by proposing the definition of a chromatic number for signed graphs which provides a natural extension of the chromatic number of an unsigned graph. We establish the basic properties of this invariant, provide bounds in terms of the chromatic number of the underlying unsigned graph, investigate the chromatic number of signed planar graphs, and prove an extension of the celebrated Brooks theorem to signed graphs.

Embedding bounded degree spanning trees in random graphs

Abstract: We prove that if a tree $T$ has $n$ vertices and maximum degree at most $\Delta$, then a copy of $T$ can almost surely be found in the random graph $\mathcal{G}(n,\Delta\log^5 n/n)$.

Proof of the 1-factorization and Hamilton decomposition conjectures IV: exceptional systems for the two cliques case

Abstract: In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $\chi'(G)=D$. (ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree. According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we prove results on the decomposition of sparse graphs into path systems. These are used in the proof of (i) and (ii) in the case when $G$ is close to the union of two disjoint cliques.

Computing convex hulls and counting integer points with polymake

Abstract: The main purpose of this paper is to report on the state of the art of computing integer hulls and their facets as well as counting lattice points in convex polytopes. Using the polymake system we explore various algorithms and implementations. Our experience in this area is summarized in ten "rules of thumb".

A simple SVD algorithm for finding hidden partitions

Abstract: Finding a hidden partition in a random environment is a general and important problem, which contains as subproblems many famous questions, such as finding a hidden clique, finding a hidden coloring, finding a hidden bipartition etc. In this paper, we provide a simple SVD algorithm for this purpose, answering a question of McSherry. This algorithm is very easy to implement and works for sparse graphs with optimal density.

Existence of unimodular triangulations - positive results

Abstract: Unimodular triangulations of lattice polytopes arise in algebraic geometry, commutative algebra, integer programming and, of course, combinatorics. In this article, we review several classes of polytopes that do have unimodular triangulations and constructions that preserve their existence. We include, in particular, the first effective proof of the classical result by Knudsen-Mumford-Waterman stating that every lattice polytope has a dilation that admits a unimodular triangulation. Our proof yields an explicit (although doubly exponential) bound for the dilation factor.

Matroids, Delta-matroids and Embedded Graphs

Abstract: Matroid theory is often thought of as a generalization of graph theory. In this paper we propose an analogous correspondence between embedded graphs and delta-matroids. We show that delta-matroids arise as the natural extension of graphic matroids to the setting of embedded graphs. We show that various basic ribbon graph operations and concepts have delta-matroid analogues, and illustrate how the connections between embedded graphs and delta-matroids can be exploited. Also, in direct analogy with the fact that The Tutte polynomial is matroidal, we show that several polynomials of embedded graphs from the literature, including the Las Vergnas, Bollabas-Riordan and Krushkal polynomials, are in fact delta-matroidal.

Compositional (km,kn)-Shuffle Conjectures

Abstract: In 2008, Haglund, Morse and Zabrocki formulated a Compositional form of the Shuffle Conjecture of Haglund et al. In very recent work, Gorsky and Negut by combining their discoveries with the work of Schiffmann-Vasserot on the symmetric function side and the work of Hikita and Gorsky-Mazin on the combinatorial side, were led to formulate an infinite family of conjectures that extend the original Shuffle Conjecture of Haglund et al. In fact, they formulated one conjecture for each pair (m,n) of coprime integers. This work of Gorsky-Negut leads naturally to the question as to where the Compositional Shuffle Conjecture of Haglund-Morse-Zabrocki fits into these recent developments. Our discovery here is that there is a compositional extension of the Gorsky-Negut Shuffle Conjecture for each pair (km,kn), with (m,n) co-prime and k > 1.

Bounds on the permanent and some applications

Abstract: We give new lower and upper bounds on the permanent of a doubly stochastic matrix. Combined with previous work, this improves on the deterministic approximation factor for the permanent. We also give a combinatorial application of the lower bound, proving S. Friedland's "Asymptotic Lower Matching Conjecture" for the monomer-dimer problem.

Computing the permanent of (some) complex matrices

Abstract: We present a deterministic algorithm, which, for any given 0< epsilon < 1 and an nxn real or complex matrix A=(a_{ij}) such that | a_{ij}-1| < 0.19 for all i, j computes the permanent of A within relative error epsilon in n^{O(ln n -ln epsilon)} time. The method can be extended to computing hafnians and multidimensional permanents.

Isoperimetric Inequalities for Ramanujan Complexes and Topological Expanders

Abstract: Expander graphs have been intensively studied in the last four decades. In recent years a high dimensional theory of expanders has emerged, and several variants have been studied. Among them stand out coboundary expansion and topological expansion. It is known that for every $d$ there are unbounded degree simplicial complexes of dimension $d$ with these properties. However, a major open problem, formulated by Gromov, is whether bounded degree high dimensional expanders exist for $d \geq 2$. We present an explicit construction of bounded degree complexes of dimension $d=2$ which are topological expanders, thus answering Gromov's question in the affirmative. Conditional on a conjecture of Serre on the congruence subgroup property, infinite sub-family of these give also a family of bounded degree coboundary expanders. The main technical tools are new isoperimetric inequalities for Ramanujan Complexes. We prove linear size bounds on $F_2$ systolic invariants of these complexes, which seem to be the first linear $F_2$ systolic bounds. The expansion results are deduced from these isoperimetric inequalities.

An alternative proof of the linearity of the size-Ramsey number of paths

Abstract: The size Ramsey number $\hat{r}(F)$ of a graph $F$ is the smallest integer $m$ such that there exists a graph $G$ on $m$ edges with the property that any colouring of the edges of $G$ with two colours yields a monochromatic copy of $F$. In 1983, Beck provided a beautiful argument that shows that $\hat{r}(P_n)$ is linear, solving a problem of Erd\H{o}s. In this short note, we provide an alternative but elementary proof of this fact that actually gives a better bound, namely, $\hat{r}(P_n) < 137n$ for $n$ sufficiently large.

A bound on the number of edges in graphs without an even cycle

Abstract: We show that, for each fixed $k$, an $n$-vertex graph not containing a cycle of length $2k$ has at most $80\sqrt{k}\log k\cdot n^{1+1/k}+O(n)$ edges.

Combinatorial theorems relative to a random set

Abstract: We describe recent advances in the study of random analogues of combinatorial theorems.

Distance-regular graphs

Abstract: This is a survey of distance-regular graphs. We present an introduction to distance-regular graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of distance-regular graphs since the monograph 'BCN' [Brouwer, A.E., Cohen, A.M., Neumaier, A., Distance-Regular Graphs, Springer-Verlag, Berlin, 1989] was written.

On integer additive set-indexers of graphs

Abstract: A set-indexer of a graph G is an injective set-valued function f : V (G)! 2 X such that the function f : E(G)! 2 X f;g dened by f (uv) = f(u)f (v) for every uv2E(G) is also injective, where 2 X is the set of all subsets of X and is the sym- metric dierence of sets. An integer additive set-indexer is dened as an injective function f : V (G)! 2 N0 such that the induced function gf : E(G)! 2 N0 dened by gf (uv) = f(u) +f(v) is also injective. A graph G which admits an IASI is called an IASI graph. An IASI f is said to be a weak IASI ifjgf (uv)j = max(jf(u)j;jf(v)j) and an IASI f is said to be a strong IASI ifjgf (uv)j =jf(u)jjf(v)j for all u;v 2 V (G). In this paper, we study about certain characteristics of inter additive set- indexers.