arXiv++ Combinatorics

One powerful method for upper-bounding the largest independent set in a graph is the Hoffman bound, which gives an upper bound on the largest independent set of a graph in terms of its eigenvalues. It is easily seen that the Hoffman bound is sharp on the tensor power of a graph whenever it is sharp for the original graph. In this paper, we introduce the related problem of upper-bounding independent sets in tensor powers of hypergraphs. We show that many of the prominent open problems in extremal combinatorics, such as the Turán problem for (hyper-)graphs, can be encoded as special cases of this problem. We also give a new generalization of the Hoffman bound for hypergraphs which is sharp for the tensor power of a hypergraph whenever it is sharp for the original hypergraph. As an application of our Hoffman bound, we make progress on the problem of Frankl on families of sets without extended triangles from 1990. We show that if $\frac{1}{2}n\le2k\le\frac{2}{3}n,$ then the extremal family is the star, i.e. the family of all sets that contains a given element. This covers the entire range in which the star is extremal. As another application, we provide spectral proofs for Mantel's theorem on triangle-free graphs and for Frankl-Tokushige theorem on $k$-wise intersecting families.

The paper deals with an extremal problem concerning equitable colorings of uniform hyper\-graph. Recall that a vertex coloring of a hypergraph $H$ is called proper if there are no monochro-matic edges under this coloring. A hypergraph is said to be equitably $r$-colorable if there is a proper coloring with $r$ colors such that the sizes of any two color classes differ by at most one. In the present paper we prove that if the number of edges $|E(H)|\leq 0.01\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}r^{n-1}$ then the hypergraph $H$ is equitably $r$-colorable provided $r<\sqrt[5]{\ln n}$.

A classical result by Rado characterises the so-called partition-regular matrices $A$, i.e.\ those matrices $A$ for which any finite colouring of the positive integers yields a monochromatic solution to the equation $Ax=0$. We study the {\sl asymmetric} random Rado problem for the (binomial) random set $[n]_p$ in which one seeks to determine the threshold for the property that any $r$-colouring, $r \geq 2$, of the random set has a colour $i \in [r]$ admitting a solution for the matrical equation $A_i x = 0$, where $A_1,\ldots,A_r$ are predetermined partition-regular matrices pre-assigned to the colours involved. We prove a $1$-statement for the asymmetric random Rado property. In the symmetric setting our result retrieves the $1$-statement of the {\sl symmetric} random Rado theorem established in a combination of results by Rödl and Ruciński~\cite{RR97} and by Friedgut, Rödl and Schacht~\cite{FRS10}. We conjecture that our $1$-statement in fact unveils the threshold for the asymmetric random Rado property, yielding a counterpart to the so-called {\em Kohayakawa-Kreuter conjecture} concerning the threshold for the asymmetric random Ramsey problem in graphs. We deduce the aforementioned $1$-statement for the asymmetric random Rado property after establishing a broader result generalising the main theorem of Friedgut, Rödl and Schacht from~\cite{FRS10}. The latter then serves as a combinatorial framework through which $1$-statements for Ramsey-type problems in random sets and (hyper)graphs alike can be established in the asymmetric setting following a relatively short combinatorial examination of certain hypergraphs. To establish this framework we utilise a recent approach put forth by Mousset, Nenadov and Samotij~\cite{MNS18} for the Kohayakawa-Kreuter conjecture.

In this paper, we study the dualization in distributive lattices, a generalization of the well-known hypergraph dualization problem. We in particular propose equivalent formulations of the problem in terms of graphs, hypergraphs, and posets. It is known that hypergraph dualization amounts to generate all minimal transversals of a hypergraph, or all minimal dominating sets of a graph. In this new framework, a poset on vertices is given together with the input (hyper)graph, and minimal ``ideal solutions'' are to be generated. This in particular allows us to study the complexity of the problem under various combined restrictions on graph classes and poset types, including bipartite, split, and co-bipartite graphs, and variants of neighborhood inclusion posets. We for example show that while the enumeration of minimal dominating sets is possible with linear delay in split graphs, the problem, within the same class, gets as hard as for general graphs when generalized to this framework. More surprisingly, this result holds even when the poset is only comparing vertices of included neighborhoods in the graph. If both the poset and the graph class are sufficiently restricted, we show that the dualization is tractable relying on existing algorithms from the literature.

The iterative absorption method has recently led to major progress in the area of (hyper-)graph decompositions. Amongst other results, a new proof of the Existence conjecture for combinatorial designs, and some generalizations, was obtained. Here, we illustrate the method by investigating triangle decompositions: we give a simple proof that a triangle-divisible graph of large minimum degree has a triangle decomposition and prove a similar result for quasi-random host graphs.

For a graph G=(V,E), a hypergraph H is called Berge-G if there is a bijection f from E(G) to E(H) such that for each e in E(G), e is a subset of f(e). The set of all Berge-G hypergraphs is denoted B(G). For integers k>1, r>1, and a graph G, let the Ramsey number R_r(B(G), k) be the smallest integer n such that no matter how the edges of a complete r-uniform n-vertex hypergraph are colored with k colors, there is a copy of a monochromatic Berge-G subhypergraph. Furthermore, let R(B(G),k) be the smallest integer n such that no matter how all subsets an n-element set are colored with k colors, there is a monochromatic copy of a Berge-G hypergraph. We give an upper bound for R_r(B(G),k) in terms of graph Ramsey numbers. In particular, we prove that when G becomes acyclic after removing some vertex, R_r(B(G),k)\le 4k|V(G)|+r-2, in contrast with classical multicolor Ramsey numbers. When G is a triangle or a K_4, we find sharper bounds and some exact results and determine some `small' Ramsey numbers: k/2 - o(k) < R_3(B(K_3)), k) < 3k/4+ o(k), For any odd integer t\neq 3, R(B(K_3),2^t-1)=t+2, 2^{ck} < R_3(B(K_4),k) < e(1+o(1))(k-1)k!, R_3(B(K_3),2)=R_3(B(K_3),3)=5, R_3(B(K_3),4)=6, R_3(B(K_3),5)=7, R_3(B(K_3),6)=8, R_3(B(K_3,8)=9, R_3(B(K_4),2)=6.

This paper is devoted to studying a topological version of the famous Hedetniemi conjecture which says: The $\mathbb Z/2$-index of the Cartesian product of two $\mathbb Z/2$-spaces is equal to the minimum of their $\mathbb Z/2$-indexes. We fully confirm the version of this conjecture for the homological index via establishing a stronger formula for the homological index of the join of $\mathbb Z/2$-spaces. Moreover, we confirm the original conjecture for the case when one of the factors is an $n$-sphere. Analogous results for $\mathbb Z/p$-spaces are presented as well. In addition, we answer a question about computing the index of some non-trivial products, raised by Marcin Wrochna. Finally, some new topological lower bounds for the chromatic number of the Categorical product of (hyper-)graphs are presented.

Compared to the classical binomial random (hyper)graph model, the study of random regular hypergraphs is made more challenging due to correlations between the occurrence of different edges. We develop an edge-switching technique for hypergraphs which allows us to show that these correlations are limited for a large range of densities. This extends some previous results of Kim, Sudakov and Vu for graphs. From our results we deduce several corollaries on subgraph counts in random $d$-regular hypergraphs. We also prove a conjecture of Dudek, Frieze, Ruciński and Šileikis on the threshold for the existence of an $\ell$-overlapping Hamilton cycle in a random $d$-regular $r$-graph. Moreover, we apply our results to prove bounds on the query complexity of testing subgraph-freeness. The problem of testing subgraph-freeness in the general graphs model was first studied by Alon, Kaufman, Krivelevich and Ron, who obtained several bounds on the query complexity of testing triangle-freeness. We extend some of these previous results beyond the triangle setting and to the hypergraph setting.

We prove some Schur positivity results for the chromatic symmetric function $X_G$ of a (hyper)graph $G$, using connections to the group algebra of the symmetric group. The first such connection works for (hyper)forests $F$: we describe the Schur coefficients of $X_F$ in terms of eigenvalues of a product of Hermitian idempotents in the group algebra, one factor for each edge (a more general formula of similar shape holds for all chordal graphs). Our main application of this technique is to prove a conjecture of Taylor on the Schur positivity of certain $X_F$, which implies Schur positivity of the formal group laws associated to various combinatorial generating functions. We also introduce the pointed chromatic symmetric function $X_{G,v}$ associated to a rooted graph $(G,v)$. We prove that if $X_{G,v}$ and $X_{H,w}$ are positive in the generalized Schur basis of Strahov, then the chromatic symmetric function of the wedge sum of $(G,v)$ and $(H,w)$ is Schur positive.

We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus Jeff Kahn's recent asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem implies a corresponding bound for the threshold for $G(n,p)$ to contain a $K_r$-factor. The case $r=3$ is more difficult, and has been settled by Annika Heckel. We also prove a corresponding result for $K_r^{(t)}$-factors in random $t$-uniform hypergraphs, as well as (in some cases weaker) generalizations replacing $K_r$ by certain other (hyper)graphs.

Given a hypergraph $Γ=(Ω,\mathcal{X})$ and a sequence $\mathbf{p} = (p_ω)_{ω\in Ω}$ of values in $(0,1)$, let $Ω_{\mathbf{p}}$ be the random subset of $Ω$ obtained by keeping every vertex $ω$ independently with probability $p_ω$. We investigate the general question of deriving fine (asymptotic) estimates for the probability that $Ω_{\mathbf{p}}$ is an independent set in $Γ$, which is an omnipresent problem in probabilistic combinatorics. Our main result provides a sequence of upper and lower bounds on this probability, each of which can be evaluated explicitly in terms of the joint cumulants of small sets of edge indicator random variables. Under certain natural conditions, these upper and lower bounds coincide asymptotically, thus giving the precise asymptotics of the probability in question. We demonstrate the applicability of our results with two concrete examples: subgraph containment in random (hyper)graphs and arithmetic progressions in random subsets of the integers.

Many important problems in combinatorics and other related areas can be phrased in the language of independent sets in hypergraphs. Recently Balogh, Morris and Samotij, and independently Saxton and Thomason developed very general container theorems for independent sets in hypergraphs; both of which have seen numerous applications to a wide range of problems. In this paper we use the container method to give relatively short and elementary proofs of a number of results concerning Ramsey (and Turán) properties of (hyper)graphs and the integers. In particular: (i) We generalise the random Ramsey theorem of Rödl and Ruciński by providing a resilience analogue. Our result unifies and generalises several fundamental results in the area including the random version of Turán's theorem due to Conlon and Gowers and Schacht. (ii) The above result also resolves a general subcase of the asymmetric random Ramsey conjecture of Kohayakawa and Kreuter. (iii) All of the above results in fact hold for uniform hypergraphs. (iv) For a (hyper)graph $H$, we determine, up to an error term in the exponent, the number of $n$-vertex (hyper)graphs $G$ that have the Ramsey property with respect to $H$ (that is, whenever $G$ is $r$-coloured, there is a monochromatic copy of $H$ in $G$). (v) We strengthen the random Rado theorem of Friedgut, Rödl and Schacht by proving a resilience version of the result. (vi) For partition regular matrices $A$ we determine, up to an error term in the exponent, the number of subsets of $\{1,\dots,n\}$ for which there exists an $r$-colouring which contains no monochromatic solutions to $Ax=0$. Along the way a number of open problems are posed.

Let $K^{(r)}_{s_1,s_2,\cdots,s_r}$ be the complete $r$-partite $r$-uniform hypergraph and $ex(n,K^{(r)}_{s_1,s_2,\cdots,s_r})$ be the maximum number of edges in any $n$-vertex $K^{(r)}_{s_1,s_2,\cdots,s_r}$-free $r$-uniform hypergraph. It is well-known in the graph case that $ex(n,K_{s,t})=Θ(n^{2-1/s})$ when $t$ is sufficiently larger than $s$. In this note, we generalize the above to hypergraphs by showing that if $s_r$ is sufficiently larger than $s_1,s_2,\cdots,s_{r-1}$ then $$ex(n, K^{(r)}_{s_1,s_2,\cdots,s_r})=Θ\left(n^{r-\frac{1}{s_1s_2\cdots s_{r-1}}}\right).$$ This follows from a more general Turán type result we establish in hypergraphs, which also improves and generalizes some recent results of Alon and Shikhelman. The lower bounds of our results are obtained by the powerful random algebraic method of Bukh. Another new, perhaps unsurprising insight which we provide here is that one can also use the random algebraic method to construct non-degenerate (hyper-)graphs for various Turán type problems. The asymptotics for $ex(n, K^{(r)}_{s_1,s_2,\cdots,s_r})$ is also proved by Verstraëte independently with a different approach.

Given two $k$-graphs $H$ and $F$, a perfect $F$-packing in $H$ is a collection of vertex-disjoint copies of $F$ in $H$ which together cover all the vertices in $H$. In the case when $F$ is a single edge, a perfect $F$-packing is simply a perfect matching. For a given fixed $F$, it is often the case that the decision problem whether an $n$-vertex $k$-graph $H$ contains a perfect $F$-packing is NP-complete. Indeed, if $k \geq 3$, the corresponding problem for perfect matchings is NP-complete whilst if $k=2$ the problem is NP-complete in the case when $F$ has a component consisting of at least $3$ vertices. In this paper we give a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect $F$-packings is polynomial time solvable. We then give three applications of this tool: (i) Given $1\leq \ell \leq k-1$, we give a minimum $\ell$-degree condition for which it is polynomial time solvable to determine whether a $k$-graph satisfying this condition has a perfect matching; (ii) Given any graph $F$ we give a minimum degree condition for which it is polynomial time solvable to determine whether a graph satisfying this condition has a perfect $F$-packing; (iii) We also prove a similar result for perfect $K$-packings in $k$-graphs where $K$ is a $k$-partite $k$-graph. For a range of values of $\ell,k$ (i) resolves a conjecture of Keevash, Knox and Mycroft whilst (ii) answers a question of Yuster in the negative. In many cases our results are best possible in the sense that lowering the minimum degree condition means that the corresponding decision problem becomes NP-complete.

We prove that the projective dimension of any (hyper)graph can be bounded from above by the (Castelnuovo-Mumford) regularity of its Levi graph (or incidence bipartite graph). This in particular brings the use of regularity's upper bounds on the calculation of projective dimension of (hyper)graphs. When G is just a (simple) graph, we prove that there exists an induced subgraph H of G such that prod-dim(G)=reg(S(H)), where S(H) is the subdivision graph of H. Moreover, we show that known upper bounds on prod-dim(G) involving domination parameters are in fact upper bounds to reg(S(G)).

We prove geometric Ramsey-type statements on collections of lines in 3-space. These statements give guarantees on the size of a clique or an independent set in (hyper)graphs induced by incidence relations between lines, points, and reguli in 3-space. Among other things, we prove that: (1) The intersection graph of n lines in R^3 has a clique or independent set of size Omega(n^{1/3}). (2) Every set of n lines in R^3 has a subset of n^{1/2} lines that are all stabbed by one line, or a subset of Omega((n/log n)^{1/5}) such that no 6-subset is stabbed by one line. (3) Every set of n lines in general position in R^3 has a subset of Omega(n^{2/3}) lines that all lie on a regulus, or a subset of Omega(n^{1/3}) lines such that no 4-subset is contained in a regulus. The proofs of these statements all follow from geometric incidence bounds -- such as the Guth-Katz bound on point-line incidences in R^3 -- combined with Turán-type results on independent sets in sparse graphs and hypergraphs. Although similar Ramsey-type statements can be proved using existing generic algebraic frameworks, the lower bounds we get are much larger than what can be obtained with these methods. The proofs directly yield polynomial-time algorithms for finding subsets of the claimed size.

For a set-endofunctor $F$, we extend the notion of universal $F$-coalgebras to $F$-graphs. These generalized coalgebras are models for various types of graphs, such as (un)directed (hyper)graphs, relational structures or fuzzy graphs. The induced morphisms coincide with graph homomorphisms. From this point of view, graphs are "co-like" structures and share features of universal coalgebras. In this article, we explore the coalgebraic character of graphs and transfer coalgebraic concepts like cofreeness, simulations or Co-Birkhoff theorems to $F$-graphs. Products and cofree constructions for $F$-graphs turn out to be less restrictive than their coalgebraic counterparts.

In this short note we provide a relatively simple proof of the Erdős-Hajnal conjecture for families of finite (hyper-)graphs without the $k$-order property. It was originally proved by M. Malliaris and S. Shelah in "Regularity lemmas for stable graphs", Transactions AMS, 366, 2014, 1551-1585.

In this paper we introduce a general framework for proving lower bounds for various Ramsey type problems within random settings. The main idea is to view the problem from an algorithmic perspective: we aim at providing an algorithm that finds the desired colouring with high probability. Our framework allows to reduce the probabilistic problem of whether the Ramsey property at hand holds for random (hyper)graphs with edge probability $p$ to a deterministic question of whether there exists a finite graph that forms an obstruction. In the second part of the paper we apply this framework to address and solve various open problems. In particular, we extend the result of Bohman, Frieze, Pikhurko and Smyth (2010) for bounded anti-Ramsey problems in random graphs to the case of $2$ colors and to hypergraph cliques. As a corollary, this proves a matching lower bound for the result of Friedgut, Rödl and Schacht (2010) and, independently, Conlon and Gowers (2014+) for the classical Ramsey problem for hypergraphs in the case of cliques. Finally, we provide matching lower bounds for a proper-colouring version of anti-Ramsey problems introduced by Kohayakawa, Konstadinidis and Mota~(2014) in the case of cliques and cycles.

We survey research relating algebraic properties of powers of squarefree monomial ideals to combinatorial structures. In particular, we describe how to detect important properties of (hyper)graphs by solving ideal membership problems and computing associated primes. This work leads to algebraic characterizations of perfect graphs independent of the Strong Perfect Graph Theorem. In addition, we discuss the equivalence between the Conforti-Cornuejols conjecture from linear programming and the question of when symbolic and ordinary powers of squarefree monomial ideals coincide.