Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Multiplicative irreducibility of shifted multiplicative subgroups in the extremal case
In a recent breakthrough, Kalmynin proved a conjecture of Sárközy on additive irreducibility of the set of quadratic residues in a prime field. More recently, Kim, Yip, and Yoo initiated the study of a multiplicative analogue of the conjecture for shifted multiplicative subgroups. Specifically, they showed that for an odd prime $p$, a proper multiplicative subgroup $G$ of $\mathbb F_p^*$, and $λ\in G$, there do not exist sets $A,B\subseteq \mathbb F_p^*$ with $|A|,|B|\ge 2$ such that $AB=(G-λ)\setminus\{0\}$. In this paper, when $λ\in \mathbb F_p^* \setminus G$, we completely resolve this problem in the equality case from a Stepanov bound in a prime field.
Sharp Bounds For The Layer Number of Integer Grids
The layer number of a finite point set is the number of iterations needed to delete it by repeatedly removing the vertices of its convex hull. Ambrus, Hsu, Peng, and Yan conjectured that the layer number of the $d$-dimensional integer grid $\{1,\ldots,n\}^d$ is of order $n^{2d/(d+1)}$ for every fixed $d$. We prove this conjecture. Let $P_i$ be the convex hull of the point set remaining after $i$ steps, and let $Z_n$ be the convex hull of the lattice points in the Euclidean ball of radius $n$. For every step that leaves a nonempty point set, the Minkowski sum $P_{i+1}+Z_n$ contains no vertex of $P_i+Z_n$. Integrality of normalized lattice volume, together with the Bárány--Larman vertex estimate for $Z_n$, gives a lower bound, independent of $i$, on the resulting volume decrease. Summing over $i$ yields the matching upper bound, even when $P_i$ is lower-dimensional. For $d\ge2$, the same upper bound holds uniformly over all nonempty subsets of $\{1,\ldots,n\}^d$.
A simultaneous extension of Ramsey, Hindman, and Hales-Jewett Theorems
We prove a multidimensional extension of a strong Hales-Jewett theorem that simultaneously and "directly" extends Ramsey's theorem and Hindman's theorem. The proofs show the effectiveness and simplicity of the techniques based on iterated nonstandard extensions that have been recently developed. Unlike existing ultrafilter proofs, our arguments to prove the strong Hales-Jewett theorem assume neither minimal nor idempotent ultrafilters. To demonstrate this, we translate our proof of the strong Hales-Jewett theorem into an ultrafilter proof that requires only non-principal ultrafilters.
Entropy methods in combinatorics
Even though entropy methods have been used in combinatorics for at least five decades, only in recent years has their use really proliferated. There are now tens, if not hundreds, of combinatorial papers that crucially rely on the notion of entropy and exploit the various powerful identities and inequalities relating entropies. In this short survey article, we give a selective overview of these works and discuss several of them in more detail, outlining some of the key ideas.
When Do Subset Sums in Finite Abelian Groups Support $2$-Designs?
Subset sums over finite abelian groups lie at the intersection of additive combinatorics, design theory, and coding theory. Let $G$ be a finite abelian group, and let $\cB_k^x$ be the family of $k$-subsets of $G$ whose elements sum to $x\in G$. This paper studies when the incidence structure $(G,\cB_k^x)$ is a block design. The elementary abelian $p$-group case was settled by Falcone and Pavone. Pavone (\emph{Des. Codes Cryptogr.} 91 (2023), 2585--2603) further asked whether, for an arbitrary finite abelian group $G$, the zero-sum incidence structure $(G,\cB_k^0)$ can be a nontrivial $2$-design only when $G$ is an elementary abelian $p$-group. We settle this open question in the stronger form that, for every $x\in G$, $(G,\cB_k^x)$ can be a nontrivial $2$-design only if $G$ is an elementary abelian $p$-group. The proof develops a character-theoretic approach to subset-sum designs, using character sums over the blocks to constrain the structure of the character group $\widehat G$. The approach also yields a complete characterization of subset-sum $1$-designs and general arithmetic restrictions on subset-sum designs over arbitrary finite abelian groups, extending the corresponding results previously known for finite abelian $p$-groups.
Spectral Turán problems for suspensions of balanced trees
A central problem in spectral Turán theory is to understand the relationship between the spectral extremal family ${\rm SPEX}(n,F)$ and the ordinary extremal family ${\rm EX}(n,F)$. For many forbidden graphs $F$, it is known that ${\rm SPEX}(n,F)\subseteq{\rm EX}(n,F)$ holds for infinitely many $n$, while only a few examples have been identified where the two families are disjoint. In this paper, we study this problem for suspensions of balanced trees. A tree is balanced if its two bipartition classes differ in size by at most one. Let $T$ be a balanced tree on $2k$ or $2k+1$ vertices and $\widehat T$ be its suspension which is obtained from $T$ by adding one new vertex adjacent to every vertex of $T$. Our first main result establishes a tight upper bound for the spectral Turán number of $\widehat T$ for sufficiently large $n$ provided that $T$ satisfies some mild assumptions. Our second result determines for which integers $k$ and which non-path balanced trees $T$ on $2k$ or $2k+1$ vertices there are infinitely many integers $n$ such that ${\rm EX}(n,\widehat{T})\cap {\rm SPEX}(n,\widehat{T})=\emptyset$.
Aomoto interpolation and Coxeter systems
In this paper, we construct a Lagrange-type basis for the Aomoto space $AO(\mathcal A)$, naturally indexed by the chambers of the hyperplane arrangement $\mathcal A$. The construction relies on a dimension theorem of Orlik and Terao and yields an interpolation formula for elements of $AO(\mathcal A)$. We use this formula to characterize the extremal configurations in the strong polarization inequality as those arising from finite Coxeter reflection systems. We further show that the interpolation formula gives rise to a family of \emph{chamber identities}, including identities that were central to our earlier proof of the strong polarization problem and the Gaussian product inequality. Finally, we adapt the recent breakthrough of Ouimet and Greaves to prove a generalized Gaussian Product Inequality for completely monotone functions.
Type $C$ multiline queues and the open-boundary TASEP
The totally asymmetric simple exclusion process (TASEP) with open boundaries is a finite Markov chain describing particles hopping between adjacent sites on a one-dimensional lattice with left and right boundary transitions governed by parameters $α$ and $β$. The multispecies TASEP is a higher-rank generalization in which particles have different species. Multiline queues were introduced by Ferrari and Martin (2007) to compute the stationary distribution of the multispecies TASEP on a circle. It has remained an open problem to find a combinatorial formula for the stationary distribution of the multispecies open-boundary TASEP. Using Kirillov--Reshetikhin crystals of type $C$, we construct type $C$ multiline queues and a corresponding Ferrari--Martin pairing algorithm that projects them to TASEP configurations. This yields a combinatorial formula for the stationary distribution of the multispecies open-boundary TASEP for the $α=β=1$ specialization.
Majority Dynamics on Assortative Sparse Stochastic Block Models
Majority dynamics is a two-opinion process in which each vertex repeatedly updates to the majority opinion among its neighbors. We study this process on a resampled sparse binary stochastic block model in the assortative regime. At each time step, a graph is sampled from the current opinion partition: vertices with the same opinion are joined with probability $α=a\log N/N$, while vertices with differing opinions are joined with probability $β=b\log N/N$, where $a>b>1$. Let $B_t$ and $R_t$ denote the blue and red camps at time $t$. We show that the weighted advantage $\widetildeΔ_t =b|B_t|-a|R_t|$, rather than the unweighted advantage $Δ_t=|B_t|-|R_t|$ alone, governs the pace to unanimity.
Our results, which hold with high probability as \(N\to\infty\), identify three regimes for blue unanimity under the initial blue advantage, i.e., $Δ_0>0$: constant time, subpolynomial time, and polynomial time. First, when $\widetildeΔ_0 \gtrsim -N/\sqrt{\log N}$, blue unanimity occurs within three updates. Second, when $\widetildeΔ_0 < 0$ and $|\widetildeΔ_0| = o(N)$, blue unanimity occurs within $N^{o(1)}$ updates. Furthermore, when $\widetildeΔ_0 < 0$, $|\widetildeΔ_0| = O(N)$, and $Δ_0\gg\sqrt{N/\log N}$, blue unanimity still occurs within $N^{I_0+o(1)}$ updates, where \[ I_0= \left(\mathbf{ReLU}\Big(\sqrt{a\frac{|R_0|}{N}}-\sqrt{b\frac{|B_0|}{N}}\Big)\right)^2, \] and $\mathbf{ReLU}(x)=\max\{x,0\}$. Conversely, away from the weighted threshold, when $|B_0|/|R_0|\le a/b-κ$ and $Δ_0>0$, $N^{I_0 - o(1)}$ updates are necessary for blue unanimity. Our analysis relies on detailed estimates for one-vertex flip probabilities in sparse binomial differences, which could be of independent interest.
On the problem of large gcd for disjoint residue classes
Consider $k$ pairwise disjoint residue classes $a_i \pmod{m_i}$. We prove that
\[
\max_{1\leq i<j\leq k}\gcd(m_i,m_j)
\gg k\exp\!\left(-(2+o(1))
\sqrt{\frac{\log k}{\log\log k}}\right).
\] The proof uses a complete graph whose edges are colored by the gcds of the corresponding moduli, together with a structural lemma, a sieve-theoretic partition, Möbius inversion, and the discrete Fourier transform.
The $K(π, 1)$ conjecture for Artin groups of spherical type
Published in Winter Braids Lecture Notes, Winter Braids XII, Volume 9 (2023), Talk no. 3, 11 p
• View Publication
• BIB
In these notes, we introduce the 50-year-old $K(π, 1)$ conjecture alongside Coxeter and Artin groups. Roughly speaking, the conjecture states that the complement in $\mathbb{C}^n$ of a "symmetric" configuration of hyperplanes is a $K(π, 1)$ space. Our end goal is to present a proof of the conjecture in the so-called spherical case, where only a finite number of hyperplanes are removed, through methods from combinatorial topology. This proof draws inspiration from the original proof of the spherical case, which is a special case of a celebrated 1972 theorem by Pierre Deligne.
Maximum independent queen set on polyominoes is NP-complete
Finding a set of vertices in a graph with no edges between them, INDSET, is a well-known NP-complete problem. The queen graph of a chessboard is constructed by taking vertices as the tiles of the chessboard and drawing edges between two tiles if a queen can move from one to the other. We call INDQUEENS the independent set problem on a queen graph where the chessboard is a polyomino. We prove that INDQUEENS on polyominoes is NP-complete, proving a conjecture of Langlois-Rémillard--Müßig--Roldán. As our reduction is parsimonious, we can further prove that it is #P-complete. We furthermore prove that INDROOKS on polyominoes is #P-complete, despite being solvable in polynomial time.
On a bijection of Loehr and Remmel
In this expository article we review a remarkable bijection $φ_n$ due to Loehr and Remmel from the set of parking functions of size n into itself, which sends the bistatistic (dinv, area) into the bistatistic (area, pmaj). The only novelty of the present work is our definition of $φ_n$, which is more direct than the original one, hence easier to compute and to work with.
Exponentially Many Circuit Double Covers
The cycle double cover conjecture of Szekeres and Seymour, the proof of which was recently announced by OpenAI, states that every bridgeless graph has a collection of cycles covering every edge exactly twice. We study the counting version of this statement for cubic graphs, where we count circuit double covers --- collections of circuits (connected 2-regular subgraphs) covering every edge twice. We show that every 2-edge-connected 3-edge-colorable cubic graph on $n$ vertices has at least $2^{n/2-1}$ circuit double covers, matching our previously conjectured general lower bound. For every 3-edge-connected cubic graph with girth at least 16 we show a weaker exponential lower bound on circuit double covers. For both of these results we use the same system of linear equations used by OpenAI in their proof, however, we provide additional combinatorial interpretation. We characterize planarity of a cubic graph by solvability of this system of equations for arbitrary nowhere-zero $\mathbb Z_2^k$-flow. We give a condition on the flow that is equivalent to existence of a 5-cycle double cover.
Long antipaths in oriented graphs
An antidirected path is an oriented path in which every vertex sees either just incoming or just outgoing edges. We prove that every oriented graph with minimum semidegree at least $k$ contains an antidirected path of length $2 k -1$. This confirms a conjecture of Stein.
Improved chromatic bounds for ($P_2\cup P_3$)-free graphs
Let $G$ be a $(P_2\cup P_3)$-free graph, and let $k=ω(G)\geq 1$. We prove that \[
χ(G)\leq
\binom{k+2}{3}-\binom{k-1}{2}
=\frac{k^3+11k-6}{6}. \] The previously best-known general bound for this unrestricted graph class, due to Bharathi and Choudum, was $χ(G)\leq\binom{k+2}{3}$. To the best of our knowledge, this is the first improvement of their bound that applies to all $(P_2\cup P_3)$-free graphs. For $k\geq 3$, our result improves their estimate by exactly $\binom{k-1}{2}$ colours, replacing $(k^3+3k^2+2k)/6$ by $(k^3+11k-6)/6$, and thereby eliminates the quadratic term without imposing any additional forbidden induced subgraph.
A note on Tight Irreducible Affine Spreads
Let ${\mathbb F}_q^n$ denote the vector space of dimension $n$ over ${\mathbb F}_q$ and AG$(n,q)$ denote the corresponding affine space. An $\textit{affine vector space partition}$ of AG$(n,q)$ is a collection ${\mathcal P}$ of affine subspaces that partition the points of AG$(n,q)$. If all subspaces in ${\mathcal P}$ have the same dimension $d$, then ${\mathcal P}$ is called an $\textit{affine $d$-spread}$. We say that an affine partition ${\mathcal P}$ is $\textit{completely tight}$ if for any pair $C,C'\in{\mathcal P}$ with $C=v+S$, $C'=v'+S'$, where $v,v'\in{\rm AG}(n,q)$ and $S\neq S'$ are linear subspaces of ${\mathbb F}_q^n$, we have $ S\cap S'=\{{\bf 0}\}$.
An affine partition ${\mathcal P}$ is said to be $\textit{irreducible}$ if there is no subset ${\mathcal P}'\subset {\mathcal P}$ such that $1<|{\mathcal P}'|<|{\mathcal P}|$ and the union of all subspaces in ${\mathcal P}'$ is a subspace of AG$(n,q)$. For all $d \geq 1$ and $n>2d$, we construct a completely tight irreducible affine $d$-spread of AG$(n,q)$. This also settles a recent conjecture of Bamberg et al. on the existence of tight irreducible affine $d$-spreads.
An infinite family of counterexamples to the Polycirculant Conjecture
We disprove the Polycirculant Conjecture, which states that every transitive 2-closed permutation group is non-elusive, i.e. contains a derangement of prime order. In fact, we prove a stronger result, answering a long-standing question of Marušič and Jordan: there exists a vertex-transitive graph admitting no semiregular automorphism. To do so, we employ recently developed methods of Chen et al. for constructing elusive groups via non-split extensions, allowing us to construct an elusive group $7^6.\mathrm{PSU}_3(3)$ of degree 16,464. We show that this group is the full automorphism group of seven of its orbital graphs and hence is 2-closed. Our example extends to infinitely many counterexamples of the Polycirculant Conjecture, and infinitely many vertex-transitive graphs admitting no semiregular automorphism.
A diamond-free claw-free cubic graph with strong chromatic index 7
A strong edge coloring is a proper edge coloring in which every color class is an induced matching; the least number of colors is the strong chromatic index $χ'_s(G)$. Lin and Lin proved that every claw-free subcubic graph other than the triangular prism satisfies $χ'_s(G) \le 7$, with all their tight examples containing diamonds. Kardos (Problem 4.1 of the open-problem collection of the 33rd Workshop on Cycles and Colourings) asked whether every diamond-free claw-free cubic graph is strongly 6-edge-colorable, equivalently whether $χ'_s(T(G))=6$ for every cubic graph $G$, where $T(G)$ is the truncation of $G$. We exhibit an explicit connected, simple, diamond-free, claw-free cubic graph $H$ on 18 vertices with $χ'_s(H)=7$, and show that it has the fewest vertices possible for such a non-prism example. Hence the first formulation, over simple cubic graphs, is false even after excluding the prism; and since $H$ is the truncation of a cubic multigraph with parallel edges, the two formulations are not equivalent unless "cubic graph" is allowed to mean loopless multigraph, under which reading the problem is answered negatively. The narrower version restricted to truncations of simple base graphs remains open.
Formalizing Flag Algebras in Lean
Razborov's flag algebra method is a powerful tool for proving asymptotic inequalities in extremal graph theory, often reducing the task to finding a finite certificate by semidefinite programming. We present a machine-checked formalization of the method for finite simple graphs, together with a certificate-to-proof compiler that turns externally generated certificate data into algebraic proofs checked by Lean. The formalization covers the foundations of the method: partially labeled graphs, their densities in large graphs, the quotient algebra of density expressions, graph-limit semantics through positive homomorphisms, and the downward operators used to average out labels. The compiler treats the external semidefinite programming output as candidate data rather than trusted input: Lean independently computes the required density and multiplication facts, verifies positive semidefiniteness exactly over $\mathbb{Q}$, and carries out the algebraic normalization steps of flag-algebra proofs. Our case studies yield formal proofs of seven Turán-type upper bounds, including Mantel's theorem and the Erdős pentagon theorem, a $C_4$-density bound for triangle-free graphs, and edge-density bounds for $K_4$-free, $K_5$-free, and $C_5$-free graphs. Independently of the compiler, we formalize the matching constructions that complete the exact Turán densities of Mantel's theorem and the Erdős pentagon theorem, and prove two inequalities of Goodman. Our constrained semantics also prompted a meta-theoretic comparison of two ways of imposing graph constraints: building a hereditary constraint into the flag algebra from the start, or testing inequalities afterward on constrained graph limits with labels chosen at random. We state the resulting root-plantability criterion characterizing when the two approaches agree; a forthcoming paper will present the complete account.