Showing papers in "arXiv: Combinatorics in 2016"

Recent advances on Dirac-type problems for hypergraphs

Abstract: A fundamental question in graph theory is to establish conditions that ensure a graph contains certain spanning subgraphs. Two well-known examples are Tutte’s theorem on perfect matchings and Dirac’s theorem on Hamilton cycles. Generalizations of Dirac’s theorem, and related matching and packing problems for hypergraphs, have received much attention in recent years. New tools such as the absorbing method and regularity method have helped produce many new results, and yet some fundamental problems in the area remain unsolved. We survey recent developments on Dirac-type problems along with the methods involved, and highlight some open problems.

On large subsets of $F_q^n$ with no three-term arithmetic progression

Abstract: In this note, we show that the method of Croot, Lev, and Pach can be used to bound the size of a subset of $F_q^n$ with no three terms in arithmetic progression by $c^n$ with $c < q$. For $q=3$, the problem of finding the largest subset with no three terms in arithmetic progression is called the `cap problem'. Previously the best known upper bound for the cap problem, due to Bateman and Katz, was $O(3^n / n^{1+\epsilon})$.

On cap sets and the group-theoretic approach to matrix multiplication

Abstract: In 2003, Cohn and Umans described a framework for proving upper bounds on the exponent $\omega$ of matrix multiplication by reducing matrix multiplication to group algebra multiplication, and in 2005 Cohn, Kleinberg, Szegedy, and Umans proposed specific conjectures for how to obtain $\omega=2$. In this paper we rule out obtaining $\omega=2$ in this framework from abelian groups of bounded exponent. To do this we bound the size of tricolored sum-free sets in such groups, extending the breakthrough results of Croot, Lev, Pach, Ellenberg, and Gijswijt on cap sets. As a byproduct of our proof, we show that a variant of tensor rank due to Tao gives a quantitative understanding of the notion of unstable tensor from geometric invariant theory.

Tables of subspace codes

Abstract: One of the main problems of subspace coding asks for the maximum possible cardinality of a subspace code with minimum distance at least $d$ over $\mathbb{F}_q^n$, where the dimensions of the codewords, which are vector spaces, are contained in $K\subseteq\{0,1,\dots,n\}$. In the special case of $K=\{k\}$ one speaks of constant dimension codes. Since this (still) emerging field is very prosperous on the one hand side and there are a lot of connections to classical objects from Galois geometry it is a bit difficult to keep or to obtain an overview about the current state of knowledge. To this end we have implemented an on-line database of the (at least to us) known results at \url{this http URL}. The aim of this recurrently updated technical report is to provide a user guide how this technical tool can be used in research projects and to describe the so far implemented theoretic and algorithmic knowledge.

Extremal results for random discrete structures

Abstract: We study thresholds for extremal properties of random discrete structures. We determine the threshold for Szemeredi's theorem on arithmetic progressions in random subsets of the integers and its multidimensional extensions and we determine the threshold for Turan-type problems for random graphs and hypergraphs. In particular, we verify a conjecture of Kohayakawa, Łuczak, and Rodl for Turan-type problems in random graphs. Similar results were obtained by Conlon and Gowers.

The existence of designs via iterative absorption

Abstract: In a recent breakthrough, Keevash proved the Existence conjecture for combinatorial designs, which has its roots in the 19th century. We give a new proof, based on the method of iterative absorption. Our main result concerns $K^{(r)}_{q}$-decompositions of hypergraphs whose clique distribution fulfils certain uniformity criteria. These criteria offer considerable flexibility. This enables us to strengthen the results of Keevash as well as to derive a number of new results, for example a resilience version and minimum degree version.

The Erd\"os-Hajnal Conjecture---A Survey

Abstract: The Erdos-Hajnal conjecture states that for every graph $H$, there exists a constant $\delta(H) > 0$ such that every graph $G$ with no induced subgraph isomorphic to $H$ has either a clique or a stable set of size at least $|V(G)|^{\delta(H)}$. This paper is a survey of some of the known results on this conjecture.

A second proof of the Shareshian--Wachs conjecture, by way of a new Hopf algebra

Abstract: This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.

Introduction to Cluster Algebras. Chapters 1-3

Abstract: This is a preliminary draft of Chapters 1-3 of our forthcoming textbook "Introduction to Cluster Algebras." This installment contains: Chapter 1. Total positivity Chapter 2. Mutations of quivers and matrices Chapter 3. Clusters and seeds

Unimodality problems in Ehrhart theory

Abstract: Ehrhart theory is the study of sequences recording the number of integer points in non-negative integral dilates of rational polytopes. For a given lattice polytope, this sequence is encoded in a finite vector called the Ehrhart h∗-vector. Ehrhart h∗-vectors have connections to many areas of mathematics, including commutative algebra and enumerative combinatorics. In this survey we discuss what is known about unimodality for Ehrhart h∗-vectors and highlight open questions and problems.

The existence of designs via iterative absorption: hypergraph $F$-designs for arbitrary $F$

Abstract: We solve the existence problem for $F$-designs for arbitrary $r$-uniform hypergraphs~$F$. This implies that given any $r$-uniform hypergraph~$F$, the trivially necessary divisibility conditions are sufficient to guarantee a decomposition of any sufficiently large complete $r$-uniform hypergraph into edge-disjoint copies of~$F$, which answers a question asked e.g.~by Keevash. The graph case $r=2$ was proved by Wilson in 1975 and forms one of the cornerstones of design theory. The case when~$F$ is complete corresponds to the existence of block designs, a problem going back to the 19th century, which was recently settled by Keevash. In particular, our argument provides a new proof of the existence of block designs, based on iterative absorption (which employs purely probabilistic and combinatorial methods). Our main result concerns decompositions of hypergraphs whose clique distribution fulfills certain regularity constraints. Our argument allows us to employ a `regularity boosting' process which frequently enables us to satisfy these constraints even if the clique distribution of the original hypergraph does not satisfy them. This enables us to go significantly beyond the setting of quasirandom hypergraphs considered by Keevash. In particular, we obtain a resilience version and a decomposition result for hypergraphs of large minimum degree.

Toric braids and $(m,n)$-parking functions

Abstract: The Dyck path algebra construction of Carlsson and Mellit from arXiv:1508.06239 is interpreted as a representation of "the positive part" of the group of toric braids. Then certain sums over $(m,n)$-parking functions are related to evaluations of this representation on some special braids. The compositional $(km,kn)$-shuffle conjecture of Bergeron, Garsia, Leven and Xin from arXiv:1404.4616 is then shown to be a corollary of this relation.

Blow-up lemmas for sparse graphs

Abstract: The blow-up lemma states that a system of super-regular pairs contains all bounded degree spanning graphs as subgraphs that embed into a corresponding system of complete pairs. This lemma has far-reaching applications in extremal combinatorics. We prove sparse analogues of the blow-up lemma for subgraphs of random and of pseudorandom graphs. Our main results are the following three sparse versions of the blow-up lemma: one for embedding spanning graphs with maximum degree $\Delta$ in subgraphs of $G(n,p)$ with $p=C(\log n/n)^{1/\Delta}$; one for embedding spanning graphs with maximum degree $\Delta$ and degeneracy $D$ in subgraphs of $G(n,p)$ with $p=C_\Delta\big(\log n/n\big)^{1/(2D+1)}$; and one for embedding spanning graphs with maximum degree $\Delta$ in $(p,cp^{\max(4,(3\Delta+1)/2)}n)$-bijumbled graphs. We also consider various applications of these lemmas.

How hard is the tensor rank

Abstract: We investigate the computational complexity of tensor rank, a concept that plays fundamental role in different topics of modern applied mathematics. For tensors over any integral domain, we prove that the rank problem is polynomial time equivalent to solving a system of polynomial equations over this integral domain. Our result gives a complete description of the algorithmic complexity of tensor rank and allows one to solve several known open problems. In particular, the tensor rank over $\mathbb{Z}$ turns out to be undecidable, which answers the question posed by Gonzalez and Ja'Ja' in 1980. We generalize our result and prove that the symmetric rank admits a similar description of computational complexity as the one we give for usual rank. In particular, computing the symmetric rank of a rational tensor is shown to be NP-hard, which proves a recent conjecture of Hillar and Lim. As a byproduct of our approach, we get a similar characterization of the algorithmic complexity of the minimal rank matrix completion problem, which gives a complete answer to the question discussed in 1999 by Buss, Frandsen, and Shallit.

A universality theorem for nonnegative matrix factorizations

Abstract: Let $A$ be a matrix with nonnegative real entries. A nonnegative factorization of size $k$ is a representation of $A$ as a sum of $k$ nonnegative rank-one matrices. The space of all such factorizations is a bounded semialgebraic set, and we prove that spaces arising in this way are universal. More presicely, we show that every bounded semialgebraic set $U$ is rationally equivalent to the set of nonnegative size-$k$ factorizations of some matrix $A$ up to a permutation of matrices in the factorization. We prove that, if $U\subset\mathbb{R}^n$ is given as the zero locus of a polynomial with coefficients in $\mathbb{Q}$, then such a pair $(A,k)$ can be computed in polynomial time. This result gives a complete description of the algorithmic complexity of nonnegative rank, and it also allows one to solve the problem of Cohen and Rothblum on nonnegative factorizations restricted to matrices over different subfields of $\mathbb{R}$.

Adding random edges to dense graphs

Abstract: This paper investigates the addition of random edges to arbitrary dense graphs; in particular, we determine the number of random edges required to ensure various monotone properties including the appearance of a fixed size clique, small diameter and $k$-connectivity.

On The Energy Variant of the Sum-Product Conjecture

Abstract: We prove new exponents for the energy version of the Erdős-Szemeredi sum-product conjecture, raised by Balog and Wooley. They match the previously established milestone values for the standard formulation of the question, both for general fields and the special case of real or complex numbers, and appear to be the best ones attainable within the currently available technology. Further results are obtained about multiplicative energies of additive shifts and a strengthened energy version of the "few sums, many products" inequality of Elekes and Ruzsa. The latter inequality enables us to obtain a minor improvement of the state-of the art sum-product exponent over the reals due to Konyagin and the second author, up to $\frac{4}{3}+\frac{1}{1509}$. An application of energy estimates to an instance of arithmetic growth in prime residue fields is presented.

Enumeration of points, lines, planes, etc

Abstract: One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erdős: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a line. Motzkin and others extended the result to higher dimensions, who showed that every set of points $E$ in a projective space determines at least $|E|$ hyperplanes, unless all the points are contained in a hyperplane. Let $E$ be a spanning subset of a $d$-dimensional vector space. We show that, in the partially ordered set of subspaces spanned by subsets of $E$, there are at least as many $(d-k)$-dimensional subspaces as there are $k$-dimensional subspaces, for every $k$ at most $d/2$. This confirms the "top-heavy" conjecture of Dowling and Wilson for all matroids realizable over some field. The proof relies on the decomposition theorem package for $\ell$-adic intersection complexes.

Ordered set partitions, generalized coinvariant algebras, and the Delta Conjecture

Abstract: The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization $I_{n,k} \subseteq \mathbb{Q}[\mathbf{x}_n]$ of the ideal $I_n$ indexed by two positive integers $k \leq n$. The corresponding quotient $R_{n,k} := \frac{\mathbb{Q}[\mathbf{x}_n]}{I_{n,k}}$ carries a graded action of $\mathfrak{S}_n$ and specializes to $R_n$ when $k = n$. We generalize many of the nice properties of $R_n$ to $R_{n,k}$. In particular, we describe the Hilbert series of $R_{n,k}$, give extensions of the Artin and Garsia-Stanton monomial bases of $R_n$ to $R_{n,k}$, determine the reduced Grobner basis for $I_{n,k}$ with respect to the lexicographic monomial order, and describe the graded Frobenius series of $R_{n,k}$. Just as the combinatorics of $R_n$ are controlled by permutations in $\mathfrak{S}_n$, we will show that the combinatorics of $R_{n,k}$ are controlled by ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks. The {\em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of $R_{n,k}$ is (up to a minor twist) the $t = 0$ specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded $\mathfrak{S}_n$-module $V_{n,k}$ whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module $R_{n,k}$ solves this problem in the specialization $t = 0$.

A survey of consecutive patterns in permutations

Abstract: A consecutive pattern in a permutation π is another permutation \(\sigma\) determined by the relative order of a subsequence of contiguous entries of π. Traditional notions such as descents, runs, and peaks can be viewed as particular examples of consecutive patterns in permutations, but the systematic study of these patterns has flourished in the last 15 years, during which a variety of different techniques have been used. We survey some interesting developments in the subject, focusing on exact and asymptotic enumeration results, the classification of consecutive patterns into equivalence classes, and their applications to the study of one-dimensional dynamical systems.

The Growth Rate of Tri-Colored Sum-Free Sets

Abstract: Let $G$ be an abelian group. A tri-colored sum-free set in $G^n$ is a collection of triples $({\bf a}_i, {\bf b}_i, {\bf c}_i)$ in $G^n$ such that ${\bf a}_i+{\bf b}_j+{\bf c}_k=0$ if and only if $i=j=k$. Fix a prime $q$ and let $C_q$ be the cyclic group of order $q$. Let $\theta = \min_{\rho>0} (1+\rho+\cdots + \rho^{q-1}) \rho^{-(q-1)/3}$. Blasiak, Church, Cohn, Grochow, Naslund, Sawin, and Umans (building on previous work of Croot, Lev and Pach, and of Ellenberg and Gijswijt) showed that a tri-colored sum-free set in $C_q^n$ has size at most $3 \theta^n$. Between this paper and a paper of Pebody, we will show that, for any $\delta > 0$, and $n$ sufficiently large, there are tri-colored sum-free sets in $C_q^n$ of size $(\theta-\delta)^n$. Our construction also works when $q$ is not prime.

Symmetric group characters as symmetric functions

Abstract: We introduce a basis of the symmetric functions that evaluates to the (irreducible) characters of the symmetric group, just as the Schur functions evaluate to the irreducible characters of $GL_n$ modules. Our main result gives three different characterizations for this basis. One of the characterizations shows that the structure coefficients for the (outer) product of these functions are the stable Kronecker coefficients. The results in this paper focus on developing the fundamental properties of this basis.

Almost all Steiner triple systems have perfect matchings

Abstract: We show that for any n divisible by 3, almost all order-n Steiner triple systems have a perfect matching (also known as a parallel class or resolution class). In fact, we prove a general upper bound on the number of perfect matchings in a Steiner triple system and show that almost all Steiner triple systems essentially attain this maximum. We accomplish this via a general theorem comparing a uniformly random Steiner triple system to the outcome of the triangle removal process, which we hope will be useful for other problems. Our methods can also be adapted to other types of designs; for example, we sketch a proof of the theorem that almost all Latin squares have transversals.

On some multicolour Ramsey properties of random graphs

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 this paper, first we focus on the size-Ramsey number of a path $P_n$ on $n$ vertices. In particular, we show that $5n/2-15/2 \le \hat{R}(P_n) \le 74n$ for $n$ sufficiently large. (The upper bound uses expansion properties of random $d$-regular graphs.) This improves the previous lower bound, $\hat{R}(P_n) \ge (1+\sqrt{2})n-O(1)$, due to Bollobas, and the upper bound, $\hat{R}(P_n) \le 91n$, due to Letzter. Next we study long monochromatic paths in edge-coloured random graph $G(n,p)$ with $pn \to \infty$. Let $\alpha > 0$ be an arbitrarily small constant. Recently, Letzter showed that a.a.s.\ any $2$-edge colouring of $G(n,p)$ yields a monochromatic path of length $(2/3-\alpha)n$, which is optimal. Extending this result, we show that a.a.s.\ any $3$-edge colouring of $G(n,p)$ yields a monochromatic path of length $(1/2-\alpha)n$, which is also optimal. In general, we prove that for $r\ge 4$ a.a.s.\ any $r$-edge colouring of $G(n,p)$ yields a monochromatic path of length $(1/r-\alpha)n$. We also consider a related problem and show that for any $r \ge 2$, a.a.s.\ any $r$-edge colouring of $G(n,p)$ yields a monochromatic connected subgraph on $(1/(r-1)-\alpha)n$ vertices, which is also tight.

On the structure of the power graph and the enhanced power graph of a group

Abstract: Let $G$ be a group. The \emph{power graph} of $G$ is a graph with the vertex set $G$, having an edge between two elements whenever one is a power of the other. We characterize nilpotent groups whose power graphs have finite independence number. For a bounded exponent group, we prove its power graph is a perfect graph and we determine its clique/chromatic number. Furthermore, it is proved that for every group $G$, the clique number of the power graph of $G$ is at most countably infinite. We also measure how close the power graph is to the \emph{commuting graph} by introducing a new graph which lies in between. We call this new graph as the \emph{enhanced power graph}. For an arbitrary pair of these three graphs we characterize finite groups for which this pair of graphs are equal.

Robustness of graph properties

Abstract: A typical result in graph theory says that a graph $G$, satisfying certain conditions, has some property $\cal P$. Once such a theorem is established, it is natural to ask how strongly $G$ satisfies $\cal P$. Can one strengthen the result by showing that $G$ possesses $\cal P$ in a robust way? What measures of robustness can one utilize? In this survey, we discuss various measures that can be used to study robustness of graph properties, illustrating them with examples.

On $g$-Extra Connectivity of Hypercube-like Networks

Abstract: Given a connected graph $G$ and a non-negative integer $g$, the {\em $g$-extra connectivity} $\k_g(G)$ of $G$ is the minimum cardinality of a set of vertices in $G$, if it exists, whose deletion disconnects $G$ and leaves each remaining component with more than $g$ vertices. This paper focuses on the $g$-extra connectivity of hypercube-like networks (HL-networks for short) which includes numerous well-known topologies, such as hypercubes, twisted cubes, crossed cubes and Mobius cubes. All the known results suggest the equality $\k_g(X_n)=f_n(g)$ holds, where $X_n$ is an $n$-dimensional HL-network, $f_n(g)=n(g+1)-\frac{g(g+3)}{2}$, $n\geq 5$ and $0\leq g\leq n-3$? Some authors also attempted to prove this equality in general. In this paper, we construct a subfamily of an $n$-dimensional HL-network with $g$-extra connectivity greater than $f_n(g)$ which implies that the above equality does not hold in general. We also prove that for $n\geq 5$ and $0\leq g\leq n-3$, $\k_g(X_n)\geq f_n(g)$ always holds. This enables us to give a sufficient condition for the equality $\k_g(X_n)=f_n(g)$, which is then used to determine the $g$-extra connectivity of HL-networks for some small $g$ or the $g$-extra connectivity of some particular subfamily of HL-networks. As a result, a short proof for the main results in [Journal of Computer and System Sciences 79 (2013) 669--688].

The twist for positroid varieties

Abstract: The purpose of this note is to connect two maps related to certain graphs embedded in the disc. The first is Postnikov's boundary measurement map, which combines partition functions of matchings in the graph into a map from an algebraic torus to an open positroid variety in a Grassmannian. The second is a rational map from the open positroid variety to an algebraic torus, given by certain Plucker coordinates which are expected to be a cluster in a cluster structure. This paper clarifies the relationship between these two maps, which has been ambiguous since they were introduced by Postnikov in 2001. The missing ingredient supplied by this paper is a twist automorphism of the open positroid variety, which takes the target of the boundary measurement map to the domain of the (conjectural) cluster. Among other applications, this provides an inverse to the boundary measurement map, as well as Laurent formulas for twists of Plucker coordinates.

Steinberg's Conjecture is false

Abstract: Steinberg conjectured in 1976 that every planar graph with no cycles of length four or five is 3-colorable. We disprove this conjecture.

Matroids over hyperfields

Abstract: We present an algebraic framework which simultaneously generalizes the notion of linear subspaces, matroids, valuated matroids, and oriented matroids. We call the resulting objects matroids over hyperfields. In fact, there are (at least) two natural notions of matroid in this context, which we call weak and strong matroids. We give "cryptomorphic" axiom systems for such matroids in terms of circuits, Grassmann-Plucker functions, and dual pairs, and establish some basic duality theorems. We also show that if F is a doubly distributive hyperfield then the notions of weak and strong matroid over F coincide.