math.CO ↗ arXiv
7121 papers in this category
A minimally nonperfectly divisible graph with a bisimplicial vertex
We disprove Hoàng's conjecture that a minimally nonperfectly divisible graph cannot contain a bisimplicial vertex. Our counterexample has 93 vertices, 320 edges, clique number three, and a bisimplicial vertex of degree four. A perfect division of a graph $H$ is a partition $V(H)=A\mathbin{\dot\cup}B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$; a graph is perfectly divisible when each of its induced subgraphs with at least one edge has such a division. The constructed graph has no perfect division, whereas every proper induced subgraph is perfectly divisible. Its construction uses a forcing mechanism based on rooted graphs: six 15-vertex rooted graphs force their roots into $A$, and a nine-vertex auxiliary graph then forces a triangle into $B$. We isolate this mechanism in a rooted composition lemma, which proves symbolically that every proper induced subgraph is perfectly divisible. All finite assertions concerning the rooted and auxiliary graphs are verified by exact exhaustive computation, with an independent implementation providing a cross-check. The same construction gives a negative answer to a prescribed-vertex problem of Hu, Xu and Zhuang.
A matroidal criterion for flow polytopes to be order polytopes
Flow polytopes of directed acyclic graphs form a central class of lattice polytopes in algebraic, geometric, and enumerative combinatorics. Order polytopes are one of the best understood families of lattice polytopes; their Ehrhart theory, triangulations, volumes, and face structures are closely controlled by the combinatorics of the underlying posets. Mészáros--Morales--Striker proved that the flow polytope of an $st$-planar directed acyclic graph is unimodularly equivalent to an order polytope. In this paper, we prove a converse after contracting idle edges. More precisely, for a directed acyclic graph $G$ with a unique source and a unique sink, let $\widetilde G$ be the graph obtained from $G$ by successively contracting idle edges until none remain. We prove that $\mathcal{F}(G)$ is unimodularly equivalent to an order polytope if and only if $\widetilde G$ is $st$-planar. In addition, under a local three-good-neighbor condition, we prove that for a directed acyclic graph with a unique source, a unique sink, and no idle edges, the graph is $st$-planar if and only if it avoids an explicit list of forbidden butterfly minors.
Oriented Minimum spanning tree looks like the Uniform spanning tree on the complete graph (at least locally)
We prove that the local limit of the minimum spanning arborescence in the complete graph (which is an oriented cousin of the minimum spanning tree in the complete graph) is the same as that of the uniform random tree, oriented towards infinity. The latter is known to be the critical Poisson Galton--Watson tree conditioned to survive. This is in sharp contrast with the local limit of the minimum spanning tree, which is known to be different from that of the uniform spanning tree (due to results of Addario--Berry \cite{AddarioBerry2013} and Addario--Berry, Griffiths and Kang \cite{PWIT_local_minimum}). Thus we demonstrate that introducing orientations changes the local geometry of the minimum spanning tree in a non-trivial manner.
On an asymmetric additive energy inequality
Let $d \geq 1$ be an integer, $G$ be an abelian group and $ν, w_1, \dots, w_{2d}: G \to [0, \infty)$ be functions with finite, non-empty supports. Define the generalised additive energy \[ E_{2d, ν}(w_1, \dots, w_{2d}) = \sum_{y,y' \in G}\sum_{a_1, \dots, a_{2d} \in G } w_1(a_1) \dots w_{2d}(a_{2d}) ν(y) ν(y') 1_{\sum_{i=1}^d (a_i - a_{i+d}) = y-y'} .\] Moreover, for every $1 \leq i \leq 2d$, let $E_{2d, ν}(w_i) = E_{2d, ν}(w_i, \dots, w_i)$. A standard Fourier analytic argument delivers the estimate \[ E_{2d,ν}(w_1, \dots, w_{2d}) \leq \prod_{1 \leq i \leq 2d} E_{2d, ν}(w_i)^{1/2d}.\] In this note, we present a purely combinatorial proof of the above inequality. In particular, our proof does not use any Fourier or spectral analysis and relies on repeated applications of Cauchy--Schwarz inequality combined with a discrete convexity extension type argument. We also record a variation of this upper bound in the non-abelian setting via spectral inequalities following work of Hatami on graph norms, as well as a relevant sumset analogue obtained via iterative applications of the Plünnecke--Ruzsa inequality.
An Exact Obstruction to Uniform Average Mixing on $P_{11}$
We prove that the path $P_{11}$ does not admit uniform average mixing under any probability distribution on $\mathbb R$, answering a question of Baptista, Coutinho, and Marques in the negative. The proof is exact: we construct an explicit rational symmetric matrix $Y$ such that $\langle Y,M(t)\rangle_F=1$ for every $t\in\mathbb R$, whereas $\langle Y,J/11\rangle_F=12/11$.
Hypernatural numbers in arithmetic Ramsey theory
The hypernatural numbers $\mathbb{N}$ of nonstandard analysis have recently proven to be an effective tool in arithmetic Ramsey theory. After introducing the fundamental ``nonstandard" notions, we present several examples to illustrate the use of this technique in practice. In particular, we provide brief nonstandard proofs of some recent results concerning the partition regularity of certain families of infinite configurations. We also present a new theorem about monochromatic sums and products.
Extremal Families for the Erdős--Kleitman Problem: The Missing Constructions
For integers $n\ge s\ge2$, let $e(n,s)$ be the maximum size of a family $\mathcal F\subseteq2^{[n]}$ with no $s$ pairwise disjoint members. The problem of determining $e(n,s)$, now called the Erdős--Kleitman problem, is closely related to the well-known Erdős matching problem. Frankl and Kupavskii posed a meta-conjecture predicting that the maximum is always attained by a weighted family.
Fix $m\ge3$, write $n=ms+c$ with $0\le c<s$, and set $\ell=s-c$. For $0\le k\le m$, let $a_k=ms-kc-1$. For $A\in\binom{[n]}{a_k}$, define
\[
\mathcal H^k(m,s,\ell;A):=
\{F\subseteq[n]: k|F|+|F\cap A|\ge m(k+1)\}.
\] This defines a unified class of weighted families with matching number less than $s$. Among these families, $\mathcal H^0$, $\mathcal H^1$, and $\mathcal H^m$ were previously known to be extremal in different ranges of $c$.
We show that for $1\le k\le m-1$, all families $\mathcal H^k$ are uniquely extremal in some ranges of $c$. More precisely, we prove that for every $m\ge3$ and every $1\le k\le m-1$, there exist constants $α=α(m,k)>0$, $β=β(m,k)>0$ and an integer $s_0=s_0(m,k)$ such that, for all integers $s\ge s_0$ and all integers $c$ with $0\le c<s$, the only extremal families for $e(n,s)$ are the families $\mathcal H^k(m,s,\ell;A)$ with $A\in\binom{[n]}{a_k}$ whenever $βs^{(k-1)/k}\le c\le αs^{k/(k+1)}$. In particular, this result determines an infinite number of new extremal families for the Erdős--Kleitman problem and verifies the Frankl--Kupavskii meta-conjecture in these ranges. This also provides a quantitative extension of the result of Kupavskii and Sokolov on the extremality of $\mathcal H^1$.
On t-colorable k-plane drawings
In this work, we introduce $t$-colorable $k$-plane drawings, that is, drawings of graphs with a $t$-edge-coloring where every edge is crossed by at most $k$ edges of each color. We give tight upper bounds on the edge- and crossing density for small values of $t$ and $k$ and show that the recognition of such drawings is NP-complete if $t\geq 2$ and $k\geq1$.
The Mendez-Pinto-Villarreal Conjecture for some classes of monomial ideals
Characterizing when the symbolic and ordinary powers of an ideal coincide is a central problem in commutative algebra, and ideals satisfying this property are called Simis ideals. In this article, we investigate the Simis property of monomial ideals by studying the recent conjecture of Mendez, Pinto, and Villarreal on monomial ideals with minimal irreducible decomposition. Let $I$ be a monomial ideal, and let $\mathcal{F}(I)$ denote the collection of supports of the minimal generators of $I$. Assuming that $\mathcal{F}(I)=\mathcal{F}(\sqrt{I})$, we prove that if $I$ admits more than one minimal generator with a fixed support, then it is not Simis. Using this reduction, we establish the Mendez-Pinto-Villarreal conjecture for two broad classes of monomial ideals, namely support-$3$ monomial ideals and monomial ideals whose associated simplicial complexes are simplicial forests. Finally, we study the Cohen-Macaulay property of monomial ideals whose associated simplicial complexes are grafted and satisfy $\mathcal{F}(I)=\mathcal{F}(\sqrt{I})$.
A general-position problem for planar line arrangements
For all $δ>0$ and infinitely many $n \in \mathbb N$, we show that there exists a set $L$ of $n$ lines in $\mathbb R^2$ such that there are no intersecting quadruples, but for every subset $L' \subset L$ such that $|L'| \geq n^{\frac{4}{5}+δ}$, there exist three lines from $L'$ with a common point of intersection. This gives an improved bound for a dual form of a theorem of Balogh and Solymosi. As a consequence, we derive an improved lower bound for the Hadwiger-Debrunner number $HD_2(p,3)$.
We also give, for all $0 \leq s \leq 1$ and arbitrarily large $n \in \mathbb N$, a construction of a point set $S \subset [n]^3$ with cardinality $|S|\geq n^{3-s}$, such that $S$ contains $O(n^{6-4s})$ collinear triples. This shows that a supersaturation lemma of Balogh and Solymosi is optimal, up to logarithmic factors.
Asymptotically sharp bounds for affine subspace statistics in $\mathbb F_2^n$
Given a subset $A \subseteq \mathbb F_2^n$, we can consider the distribution of the intersection size of $A$ with a uniformly random $d$-flat $F$. Motivated by the edge statistics problem and the hypercube statistics problem, the affine subspace statistics problem concerns the maximum of $\mathbb{P}[|F\cap A|=s]$ among $A \subseteq \mathbb F_2^n$ for any fixed $s\in\{1,\dots,2^d\}$ over a uniformly random $d$-flat $F$. We use $λ^*(d,s)$ to denote the limit of the maximum when $n$ goes to infinity.
In this note, we prove tight bounds for $λ^*(d,s)$ in two different regimes. For $s=j2^k$ where $j$ is a positive odd integer, the best known lower bound construction achieving $λ^*(d,s)\ge 1-2^{-k}$ is due to taking $A$ as the union of $j$ parallel $(n-d+k)$-flats in $\mathbb F_2^n$. Our main result is a matching upper bound with an additive error term of $O(2^{-3k/2})$. We also study the case $s=1$, where we determine $λ^*(d,1)$ exactly. We show that the random construction where each point is included with probability $2^{-d}$ is optimal.
Solution of Erdős problem $\# 443$
We prove that the size $\# \{ k(m-k) : 1\leq k\leq m/2\} \cap \{ l(n-l) : 1\leq l\leq n/2\}$ is $(mn)^{o(1)}$, but can be arbitrarily large. This resolves Erdős problem $\# 443$.
The inverse reduction map of a symplectic column by decreasing the rank by one
We have previously given a factorization of a symplectic column under the action of the parity involution which enabled to
explicitly have written the inverse of the reduction map in the quantum Littlewood-Richardson bijection. Watanabe has written the reduction map as a composition of several maps, among them, combinatorial $R$-matrices on single columns and a reduction map on a shorter column with rank reduced by one. We now use this approach to write the inverse of the reduction map on a symplectic column by detecting the corresponding symplectic column of rank reduced by one and thus avoiding going through several map compositions.
Combinatorial structures connecting Latin squares and bireversible automata
This paper explores the theory of letter transducers, Mealy automata, and bireversible automata from a combinatorial perspective analogous to the theory of Latin squares. We view the sets of transitions of letter transducers as analogs of orthogonal arrays, and discuss two other combinatorial encodings of Mealy automata analogous to orthogonal pairs of Latin squares and to $(k,n)$-nets. We characterize various classes of automata (Mealy, reversible, invertible, bireversible) in terms of these combinatorial structures. In particular, we represent the inversion and dualization of transducers as parastrophisms. Further, similarly to the notion of the isotopisms of the quasigroups associated to Latin squares, we develop the notion of isotopisms of letter transducers generalizing transducer symmetry and preserving the class of bireversible automata.
A Spectral Proof of the Hypergraph Moore Bound
A nonempty subfamily of a $k$-uniform hypergraph is an \emph{even cover} if every vertex lies in an even number of its hyperedges; for $k=2$ these are edge-disjoint unions of cycles, so the minimum size of an even cover is the natural hypergraph analogue of girth. We prove Feige's 2008 conjecture on the hypergraph Moore bound: there are absolute constants $A$ and $C$ (independent of $k$) such that for every $k\ge3$ and every $1\le\ell\le n$, any $k$-uniform hypergraph on $n$ vertices with more than $C\,n^{k/2}/\ell^{k/2-1}$ hyperedges contains an even cover of size at most $A\,\ell\log(en/\ell)$. Our proof is based on sharp spectral bounds for Kikuchi matrices, which we expect to be of independent interest; we apply them to the refutation of random constraint satisfaction problems in a companion paper.
Iterate Wronskians over $\mathbb{R}^d$ as $N$-ary brackets on $\mathbb{R}[x^1,\ldots,x^d]$: the $N$-bonacci numbers bound the highest total degrees
For the algebra $\mathbb{R}[x^1,\ldots,x^d]$ of polynomials in $d\geqslant 1$ variables, regard the complete generalised Wronskian $W_d^k$ of differential order $k\geqslant 1$ over $\mathbb{R}^d$ as the $N=\tbinom{d+k}{d}$-ary Lie bracket. Take an $N$-tuple of polynomials, calculate their Wronskian, and keep re-using the newly-created polynomials to produce more of them. The problem is: how fast do their maximal total degrees grow with the number $n$ of iterations of the bracket? Here enter the $N$-bonacci numbers defined by the recurrence $F^{(N)}_n=F^{(N)}_{n-1}+\cdots+F^{(N)}_{n-N}\in \mathbb{N}$. We prove that for any choice of the initial arguments, the sequence of highest total degrees $d^{(N)}_n \geqslant 0$ grows (if at all) asymptotically no faster than the $n$th $N$-bonacci number: $\lim_{n\to+\infty} (d^{(N)}_n/F^{(N)}_n )<\infty$. We show that for $d=1$ and $k$ odd, the highest polynomial degrees do attain the $N$-bonacci bound.
Recent progress in graph theory using expansion
Graph expansion has long been recognised as an important and desirable property with applications in a wide range of areas in computer science and mathematics. A particular form of expansion known as `sublinear expansion' has recently been used particularly effectively in extremal graph theory, leading to the resolution of many long-standing and notable problems over the last decade and an improved understanding of the structure of sparse graphs. This survey will cover these advances.
The homomorphism threshold of odd cycle $C_{2k-1}$ is below $\frac{1}{2k-1}$
The homomorphism threshold $δ_{\text{hom}}(H)$ of a graph $H$ asks how large the minimum degree of an $H$-free graph has to be in order to force a homomorphism to a bounded $H$-free graph. Determining this threshold is in general very difficult, and the odd cycles $C_{2k-1}$ are among the most important open cases for $k\ge 3$. Ebsen and Schacht proved the general upper bound $δ_{\text{hom}}(C_{2k-1})\le\frac{1}{2k-1}$, while a breakthrough of Sankar, using topological methods and a graph-theoretic analogue of homotopy equivalence, gave the first positive lower bound. The value $\frac{1}{2k-1}$ appeared particularly compelling: Ebsen and Schacht obtained the same exact threshold when all odd cycles of length at most $2k-1$ are forbidden, Huang, Liu, Rong and Xu later proved that it is the exact blowup threshold of $C_{2k-1}$, and Letzter and Snyder also explicitly asked whether $δ_{\text{hom}}(C_{5})=\frac{1}{5}$. Surprisingly, we show that the upper bound can be improved. More precisely, for every integer $k\ge3$, we prove $$ \frac{1}{2\left((k-1)^{4k-5}(2k-1)+\frac{(k-1)^{4k-5}-1}{k-2}\right)} \le δ_{\text{hom}}(C_{2k-1}) \le \frac{4(k-1)}{4(k-1)(2k-1)+1} <
\frac{1}{2k-1}. $$ The new lower bound comes from a new graph-theoretic construction based on a sparse homomorphism theorem of Nešetřil and Zhu, and it improves Sankar's quantitative bound. The improved upper bound follows from a new structural argument that controls common neighborhoods along short odd paths. Our results have various consequences, in particular, every odd cycle of length at least five has pairwise distinct chromatic, homomorphism, polynomial removal, and linear removal thresholds, resolving two conjectures of Fox and Wigderson.
Self-complementary completions on six vertices
Let \(\cthreshold(n)\) be the largest integer \(q\) such that every loopless digraph on \(n\) vertices with at most \(q\) arcs is isomorphic to a spanning subdigraph of a self-complementary digraph of order \(n\). We prove that \(\cthreshold(6)=7\). The upper bound is witnessed by \[ \bK{3}\dunion (x\longrightarrow y\longrightarrow z), \] and follows from a direct argument with a self-complementing permutation. We also determine the complete eight-arc obstruction layer: it consists of five isomorphism classes, or three after converse digraphs are identified. All five are arc-minimal. Each nevertheless packs with an isomorphic copy of itself, so ordinary packing is strictly weaker than same-order self-complementary completion already at this first failure layer.
Kazhdan-Lusztig polynomials of matroids need not be unimodal
We construct, over every finite field, representable matroids whose Kazhdan-Lusztig polynomials are not unimodal. In particular, the conjectures that all Kazhdan-Lusztig polynomials of matroids are log-concave and that they are real-rooted are both false. Our examples are obtained by deleting points from finite projective geometries. More generally, we prove that, under a half-rank degree condition in each contraction quotient, the Kazhdan-Lusztig polynomial of every contraction enumerates the subspaces whose projective points lie in the corresponding deleted set, while the $Z$-polynomial agrees with that of the full projective geometry.