arXiv++ Combinatorics

We prove that Boolean matrices with bounded $γ_2$-norm or bounded normalized trace norm must contain a linear-sized all-ones or all-zeros submatrix, verifying a conjecture of Hambardzumyan, Hatami, and Hatami. We also present further structural results about Boolean matrices of bounded $γ_2$-norm and discuss applications in communication complexity, operator theory, spectral graph theory, and extremal combinatorics. As a key application, we establish an inverse theorem for MaxCut. A celebrated result of Edwards states that every graph $G$ with $m$ edges has a cut of size at least $\frac{m}{2}+\frac{\sqrt{8m+1}-1}{8}$, with equality achieved by complete graphs with an odd number of vertices. To contrast this, we prove that if the MaxCut of $G$ is at most $\frac{m}{2}+O(\sqrt{m})$, then $G$ must contain a clique of size $Ω(\sqrt{m})$.

Aougab and Gaster [Math. Proc. Cambridge Philos. Soc. 174 (2023), 569-584] proved that any set of simple closed curves on the torus, where any two are non-homotopic and intersect at most k times, has a maximum size of $k+O(\sqrt{k}\log k)$. We determine the maximum size of such a set for every k. In particular, the maximum never exceeds k+6, and it does not exceed k+4 when k is large. As this quantity coincides with the maximal number of columns of a generic k-modular matrix with two rows, our result also settles the column number problem, a problem of interest in combinatorial optimization, for such matrices.

A family of lines passing through the origin in an inner product space is said to be equiangular if every pair of lines defines the same angle. In 1973, Lemmens and Seidel raised what has since become a central question in the study of equiangular lines in Euclidean spaces. They asked for the maximum number of equiangular lines in $\mathbb{R}^r$ with a common angle of $\arccos{\frac{1}{2k-1}}$ for any integer $k \geq 2$. We show that the answer equals $r-1+\left\lfloor\frac{r-1}{k-1}\right\rfloor,$ provided that $r$ is at least exponential in a polynomial in $k$. This improves upon a recent breakthrough of Jiang, Tidor, Yao, Zhang, and Zhao [Ann. of Math. (2) 194 (2021), no. 3, 729-743], who showed that this holds for $r$ at least doubly exponential in a polynomial in $k$. We also show that for any common angle $\arccosα$, the answer equals $r+o(r)$ already when $r$ is superpolynomial in $1/α\to \infty$. The key new ingredient underlying our results is an improved upper bound on the multiplicity of the second-largest eigenvalue of a graph. In one of the regimes, this improves and significantly extends a result of McKenzie, Rasmussen, and Srivastava [STOC 2021, pp. 396-407].

The goal of this expository note is to give a short, self-contained proof of nearly optimal lower bounds for the second largest eigenvalue of the adjacency matrix of regular graphs.

We construct a bipartite generalization of Alon and Szegedy's nearly orthogonal vectors, thereby obtaining strong bounds for several extremal problems involving the Lovász theta function, vector chromatic number, minimum semidefinite rank, nonnegative rank, and extension complexity of polytopes. In particular, we derive a couple of general lower bounds for the vector chromatic number which may be of independent interest.

Determining the maximum number of unit vectors in $\mathbb{R}^r$ with no pairwise inner product exceeding $α$ is a fundamental problem in geometry and coding theory. In 1955, Rankin resolved this problem for all $α\leq 0$ and in this paper, we show that the maximum is $(2+o(1))r$ for all $0 \leq α\ll r^{-2/3}$, answering a question of Bukh and Cox. Moreover, the exponent $-2/3$ is best possible. As a consequence, we conclude that when $j \ll r^{1/3}$, a $q$-ary code with block length $r$ and distance $(1-1/q)r - j$ has size at most $(2 + o(1))(q-1)r$, which is tight up to the multiplicative factor $2(1 - 1/q) + o(1)$ for any prime power $q$ and infinitely many $r$. When $q = 2$, this resolves a conjecture of Tietäväinen from 1980 in a strong form and the exponent $1/3$ is best possible. Finally, using a recently discovered connection to $q$-ary codes, we obtain analogous results for set-coloring Ramsey numbers.

In this short note we prove a lower bound for the MaxCut of a graph in terms of the Lovász theta function of its complement. We combine this with known bounds on the Lovász theta function of complements of $H$-free graphs to recover many known results on the MaxCut of $H$-free graphs. In particular, we give a new, very short proof of a conjecture of Alon, Krivelevich and Sudakov about the MaxCut of graphs with no cycles of length $r$.

In 1973, Lemmens and Seidel posed the problem of determining the maximum number of equiangular lines in $\mathbb{R}^r$ with angle $\arccos(α)$ and gave a partial answer in the regime $r \leq 1/α^2 - 2$. At the other extreme where $r$ is at least exponential in $1/α$, recent breakthroughs have led to an almost complete resolution of this problem. In this paper, we introduce a new method for obtaining upper bounds which unifies and improves upon previous approaches, thereby yielding bounds which bridge the gap between the aforementioned regimes and are best possible either exactly or up to a small multiplicative constant. Our approach relies on orthogonal projection of matrices with respect to the Frobenius inner product and as a byproduct, it yields the first extension of the Alon-Boppana theorem to dense graphs, with equality for strongly regular graphs corresponding to $\binom{r+1}{2}$ equiangular lines in $\mathbb{R}^r$. Applications of our method in the complex setting will be discussed as well.

Let $x_1, \ldots, x_n \in \mathbb{R}^d$ be unit vectors such that among any three there is an orthogonal pair. How large can $n$ be as a function of $d$, and how large can the length of $x_1 + \ldots + x_n$ be? The answers to these two celebrated questions, asked by Erdős and Lovász, are closely related to orthonormal representations of triangle-free graphs, in particular to their Lovász $\vartheta$-function and minimum semidefinite rank. In this paper, we study these parameters for general $H$-free graphs. In particular, we show that for certain bipartite graphs $H$, there is a connection between the Turán number of $H$ and the maximum of $\vartheta \left( \overline{G} \right)$ over all $H$-free graphs $G$.

The minrank of a graph $G$ on the set of vertices $[n]$ over a field $\mathbb{F}$ is the minimum possible rank of a matrix $M\in\mathbb{F}^{n\times n}$ with nonzero diagonal entries such that $M_{i,j}=0$ whenever $i$ and $j$ are distinct nonadjacent vertices of $G$. This notion, over the real field, arises in the study of the Lovász theta function of a graph. We obtain tight bounds for the typical minrank of the binomial random graph $G(n,p)$ over any finite or infinite field, showing that for every field $\mathbb{F}=\mathbb F(n)$ and every $p=p(n)$ satisfying $n^{-1} \leq p \leq 1-n^{-0.99}$, the minrank of $G=G(n,p)$ over $\mathbb{F}$ is $Θ(\frac{n \log (1/p)}{\log n})$ with high probability. The result for the real field settles a problem raised by Knuth in 1994. The proof combines a recent argument of Golovnev, Regev, and Weinstein, who proved the above result for finite fields of size at most $n^{O(1)}$, with tools from linear algebra, including an estimate of Rónyai, Babai, and Ganapathy for the number of zero-patterns of a sequence of polynomials.

Akbari, Etesami, Mahini, and Mahmoody conjectured that every proper edge colouring of $K_n$ with $n$ colours contains a Hamilton cycle with $\leq O(\log n)$ colours. They proved that there is always a Hamilton cycle with $\leq 8\sqrt n$ colours. In this note we improve this bound to $O(\log^3 n)$.

A set of lines through the origin is called equiangular if every pair of lines defines the same angle, and the maximum size of an equiangular set of lines in $\mathbb{R}^n$ was studied extensively for the last 70 years. In this paper, we study analogous questions for $k$-dimensional subspaces. We discuss natural ways of defining the angle between $k$-dimensional subspaces and correspondingly study the maximum size of an equiangular set of $k$-dimensional subspaces in $\mathbb{R}^n$. Our bounds extend and improve a result of Blokhuis.

Given a pair of graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $N$ such that every red-blue coloring of the edges of the complete graph $K_N$ contains a red copy of $G$ or a blue copy of $H$. If a graph $G$ is connected, it is well known and easy to show that $R(G,H) \geq (|G|-1)(χ(H)-1)+σ(H)$, where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest color class in a $χ(H)$-coloring of $H$. A graph $G$ is called $H$-good if $R(G,H)= (|G|-1)(χ(H)-1)+σ(H)$. The notion of Ramsey goodness was introduced by Burr and Erdős in 1983 and has been extensively studied since then. In this paper we show that if $n\geq Ω(|H| \log^4 |H|)$ then every $n$-vertex bounded degree tree $T$ is $H$-good. The dependency between $n$ and $|H|$ is tight up to $\log$ factors. This substantially improves a result of Erdős, Faudree, Rousseau, and Schelp from 1985, who proved that $n$-vertex bounded degree trees are $H$-good when when $n \geq Ω(|H|^4)$.

A family of lines through the origin in Euclidean space is called equiangular if any pair of lines defines the same angle. The problem of estimating the maximum cardinality of such a family in $\mathbb{R}^n$ was extensively studied for the last 70 years. Motivated by a question of Lemmens and Seidel from 1973, in this paper we prove that for every fixed angle $θ$ and sufficiently large $n$ there are at most $2n-2$ lines in $\mathbb{R}^n$ with common angle $θ$. Moreover, this is achievable only for $θ= \arccos(1/3)$. We also show that for any set of $k$ fixed angles, one can find at most $O(n^k)$ lines in $\mathbb{R}^n$ having these angles. This bound, conjectured by Bukh, substantially improves the estimate of Delsarte, Goethals and Seidel from 1975. Various extensions of these results to the more general setting of spherical codes will be discussed as well.

Let F be a finite union-closed family of sets whose largest set contains n elements. In \cite{Wojcik92}, Wojcik defined the density of F to be the ratio of the average set size of F to n and conjectured that the minimum density over all union-closed families whose largest set contains n elements is (1 + o(1))\log_2(n)/(2n) as n approaches infinity. We use a result of Reimer \cite{Reimer03} to show that the density of F is always at least log_2(n)/(2n), verifying Wojcik's conjecture. As a corollary we show that for n \geq 16, some element must appear in at least \sqrt{(\log_2(n))/n}(|F|/2) sets of F.