math.CO ↗ arXiv
5274 papers in this category
Universal Cycles for Affine Planes and 3-Subspaces over Finite Fields
We construct universal cycles for affine planes in $\mathbb F_q^n$ for all prime powers $q$ and all $n\ge4$, using sliding windows of length three. The construction is local-to-global: explicit local cycles are built on frame configurations, the linear $2$-subspaces are organized by a layered frame decomposition, and the resulting cycles are assembled by gluing along shared directions. The universal cycle obtained has direction set containing all $1$-subspaces. We also extend the construction to universal cycles for $3$-subspaces of $\mathbb F_q^n$.
Long Directed Cycles in Vertex-Transitive Digraphs
The search for Hamiltonian cycles in vertex-transitive graphs and digraphs is a classical problem at the interface of graph theory and group theory. In the undirected setting, this goes back to famous conjectures of Lovász and Thomassen predicting that every sufficiently large connected vertex-transitive graph is Hamiltonian. The directed analogue has an even richer history, originating with Rankin in 1946, naturally translating the search for long cycles into classical group rearrangement problems. It was shown by Trotter and Erdős in 1978 that connected vertex-transitive digraphs need not be Hamiltonian.
In 1981, Alspach asked whether there exist connected vertex-transitive digraphs whose longest directed cycle misses arbitrarily many vertices. This question was only recently resolved by Bucić, Hendrey, Mohar, Steiner and Yepremyan, who constructed connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits $(1-o(1))\log n$ vertices. They further conjectured that the number of omitted vertices can grow linearly with $n$, remarking that it would already be interesting to improve their logarithmic lower bound to a polynomial bound. In this paper, we confirm their conjecture in a strong form by constructing infinitely many connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits at least $n/12$ vertices.
In the same work, Bucić, Hendrey, Mohar, Steiner and Yepremyan also proved that every connected vertex-transitive digraph on $n$ vertices contains a directed cycle of length $Ω(n^{1/3})$, giving the first lower bound for this problem that grows with $n$. We improve this to $Ω(\sqrt n)$, matching the order of Babai's classical theorem from 1979 for undirected vertex-transitive graphs.
Large Sets of Integers with No Harmonic Triples
Let $f(N)$ denote the largest size of a set $A\subseteq [N]=\{1,\ldots,N\}$ containing no distinct $a,b,c$ such that \[
\frac2a=\frac1b+\frac1c . \] We prove \[
f(N)\gg N\exp\!\left(-(2\sqrt{\log(24/7)}+o(1))\sqrt{\log\log N}\right). \] The construction filters the odd integers up to $N$ by a random affine image of a dense three-term-progression-free set in a prime field $\mathbb{F}_q$ with $q\asymp\log N$, and then deletes a controlled family of collapsed triples.
On the maximal anti-Ramsey problem of Burr, Erdős, Graham, and Sós for $P_4$
Given a graph $L$, the maximal anti-Ramsey function $\chiS(n,e,L)$ denotes the minimum integer $\chiS$ for which there exists an $n$-vertex graph $G$ with at least $e$ edges admitting an edge-coloring with $\chiS$ colors in which each copy of $L$ in $G$ is rainbow. In 1989, Burr, Erdős, Graham, and Sós posed the following problem: Is it true that for all $ε>0$, there exists $c(ε)>0$ such that for all sufficiently large $n$, $
\chiS\left(n,\binom{n}{2}-\lfloor n^{2-ε}\rfloor,P_4\right)>c(ε)n^2. $
Very recently, Li, Ning, and Xie gave a negative answer to the problem for all $0< ε< 1/2$. In this note, we establish that a quadratic lower bound holds in the complementary regime $ ε\geq 1/2$. More specifically, we prove that for all $ε\ge 1/2$ and sufficiently large $n$, there is an absolute constant $c>0$ such that $
\chiS\left(n,\binom{n}{2}-\lfloor n^{2-ε}\rfloor,P_4\right)>c n^2. $
Erdős--Falconer distance conjecture from an analytic perspective
Let \(q\) be an odd prime power and let \(V=\F_q^{2m}\), equipped with \(Q(x)=x_1^2+\cdots+x_{2m}^2\). We develop a semidefinite Delsarte framework for the two-set Erdős--Falconer distance problem over \(V\). The framework reduces the natural \(q^m\)-scale positive-proportion theorem to a uniform \(L^1\) anti-concentration statement for positive convex combinations of classical Kloosterman sums. Assuming this Kloosterman anti-concentration conjecture, we prove that for every \(0<α<\frac{1}{2}\) there is a constant \(C_{m,α}\) such that \[
\min\{|E|,|F| \} \ge C_{m,α}q^m
\quad\Longrightarrow\quad
|Δ_Q^\times(E,F)|>α(q-1) \] for all \(E,F\subset \F_q^{2m}\). More generally, a \(q^{-θ}\)-level version of the Kloosterman input yields the geometric threshold \(q^{m+θ}\). In particular, a universal second-moment argument gives an unconditional \(q^{m+\frac{1}{2}}\)-threshold through the same framework. The proof uses positive semidefinite \(2\times2\) Gram matrices on quadratic frequency shells, the shell Fourier transform in even dimension, and a minimax separation argument that produces a uniform signed combination of Kloosterman columns. We also provide evidence for the Kloosterman conjecture and discuss limitations near full support.
The Ramsey community number as a renormalization-group crossing
The Ramsey community number $r_k$ is the smallest size at which a network is better described by communities than by none, under a Bayesian detection rule. On the diamond hierarchical lattice we show that $r_k$ is an exact renormalization-group crossing: the block-model sufficient statistics obey a linear map with eigenvalues $\{bs,b\}$, the degree-corrected evidence density flows to $\ln K$ at a community fixed point, and $r_k$ is the generation at which the running evidence clears the detection threshold. Degree correction advances detection by two generations. We derive $r_k(b,s;q)$ in closed form for the whole family. Finally, placing on the lattice the Reichardt--Bornholdt community Hamiltonian -- whose ground state is the partition itself -- we find an exact community-ordered phase: below the ferromagnetic critical temperature the two hubs lock into opposite communities for any resolution $γ>0$, a staggered order that persists as $n\to\infty$. Allowing each nested sub-community its own label, the optimal partition is a hierarchy of $q_{\rm opt}\sim\sqrt{n}$ communities, so the number of Potts states that best describes the network grows with the network. This hierarchy orders thermally level by level, through a cascade of first-order transitions whose temperatures fall as $1/\ln q$, so every stable level persists as $n\to\infty$: the emergent partition is detectable, optimal, and thermodynamically ordered.
Coloring t-perfect graphs with fewer colors
Recently, Chudnovsky, Cook, Davies, Oum, and Tan obtained the first finite bound on the chromatic number of t-perfect graphs, showing that they are 199053-colorable. We improve this bound to 186 by refining their proof.
The original proof establishes that every graph with large odd girth and large chromatic number contains a certain structure called an r-arithmetic rope, and that its existence in a certain leveling of a graph with large odd girth would imply an odd wheel as a t-minor, a known obstruction of t-perfectness. While their technique requires a lower bound on the chromatic number that is exponential in r, we show that the existence of an r-arithmetic rope can already be guaranteed under a linear bound. Using a slightly weakened notion of arithmetic ropes allows us to reduce the bound even further.
Symmetric lexicographic symmetric-subset reverse search for the enumeration of circuits, cocircuits, and triangulations up to symmetry
This paper introduces, analyzes, and applies variants of the enumeration framework symmetric lexicographic symmetric-subset reverse search for the enumeration of symmetric feasible subsets of a finite set up to symmetry. The framework is implemented in detail for three applications: cocircuits, circuits, and triangulations of int configurations. There are two new methods presented and analyzed to check the lexicographic minimality of a subset in its orbit: the critical-element method and the modified switch-table method. Moreover, new application-dependent methods to reduce the number of necessary enumeration nodes are introduced: rank-pruning for cocircuits and lex-pruning for triangulations. With a C++-implementation of the ideas in the software package TOPCOM, in all three applications known benchmarks can be computed faster by a large margin. The following new numbers could be computed for the first time (among others): the number of cocircuits of the 9-cube, the number of circuits of the 8-cube, and the number of all triangulations of the product of a 5- and a 3-simplex, as well as the number of all triangulations of a point configuration in dimension six with 17~points with disconnected flip-graph (constructed by Santos). Moreover, for Santos's triangulation it has computationally been checked that its flip-graph component is indeed purely non-regular. Furthermore, in another instance in dimension five with 26 points (also constructed by Santos), a flaw has been detected: Santos's triangulation can be heuristically flipped to a regular triangulation in the original point configuration. In a mildly modified version of the point configuration, the heuristics cannot flip Santos's triangulation to a regular triangulation anymore.
On the Gap Between the Co-Indices of a Free Z_2-Space and Its Suspension
For a free $\mathbb{Z}_2$-space $X$, the co-index $\mathrm{coind}(X)$ is the largest integer $m$ for which there exists a $\mathbb{Z}_2$-equivariant map $S^m \to X$, where $S^m$ carries the antipodal action. Since suspension sends such a map to a $\mathbb{Z}_2$-equivariant map $S^{m+1}\to S(X),$ one always has $$\mathrm{coind}(S(X)) \geq \mathrm{coind}(X)+1.$$ We prove that the excess over this lower bound can be arbitrarily large. More precisely, for every $n \geq 2$, we construct a finite free $n$-dimensional simplicial $\mathbb{Z}_2$-complex $\mathcal{K}$ such that $\mathrm{coind}(\mathcal{K})=1$ and $\mathrm{coind}(S(\mathcal{K}))=n+1$. This answers a question of Simonyi, Tardos, and Vrécica on the possible growth of co-index under suspension and, equivalently, shows that the co-index lower bound on the chromatic number of a graph $G$ obtained from $B_0(G)$ can exceed the corresponding bound obtained from the box complex $B(G)$ by an arbitrarily large amount.
Product-free subsets of $(0,1)$
The third problem in Ben Green's collection of 100 open problems asks whether an open subset of $(0,1)$ that does not contain $x,y,z$ with $xy=z$ must have measure at most 1/3. We give an affirmative answer to this question. As part of the proof we obtain a result of independent interest that gives a lower bound for the size of the sumset and the difference set of a set of reals in terms not just of its size but also of a parameter that measures how far it is from being an interval.
Star Coloring of Hypergraphs
We study a generalization of the star coloring problem on hypergraphs. For a family of connected subhypergraphs $\mathcal{F}$, we define an $\mathcal{F}$-coloring of a hypergraph as a coloring avoiding monochromatic hyperedges and any 2-colored member of $\mathcal{F}$. We let $χ^r_{\mathcal{F}}(d)$ be the maximum of the minimum number of colors needed for an $\mathcal{F}$-coloring of an $r$-uniform hypergraph with maximum degree $d.$ We show bounds for $χ^r_{\mathcal{F}}(d)$, that also yield results on star and acyclic coloring problem on hypergraphs.
Changes in the Seidel energy of blow-up graphs under edge deletion
Let $S(G)$ denote the Seidel matrix of a simple graph $G$, and let $E_S(G)$ be the Seidel energy of $G$, defined as the sum of the absolute values of the eigenvalues of $S(G)$. In this paper, we study the change of Seidel energy under edge deletion. For an independent-set blow-up graph $G=H[n_1,\ldots,n_p]$, we establish a general structural criterion within the framework of independent-set blow-up graphs. More precisely, if the endpoints of the deleted edge $e$ belong to blow-up parts of sizes $n_a$ and $n_b$, respectively, then $E_S(G-e)>E_S(G)$ whenever both $n_a,n_b$ are at least $4$, or one is $3$ and the other is at least $6$, or one is $2$ and the other is at least $15$.
As applications, we obtain the following consequences. First, for every Turán graph $T(n,r)$ with $r\geq4$ and $n\geq4r$, deleting any edge strictly increases the Seidel energy. Second, for complete multipartite graphs, we derive an exact reduced-order spectral criterion for the remaining cases not covered by the structural result. This criterion determines whether the Seidel energy increases, decreases, or remains unchanged after deleting an edge, by using matrices whose orders depend only on the number of partite sets. These results provide affirmative answers to two problems proposed by Tian et al. [\textit{Linear and Multilinear Algebra} 70 (19) (2022), 4597--4614].
Solution to a conjecture of Alon, Dębski, Grytczuk and Przybyło on fixed-cardinality arithmetic progressions
Fix a positive integer $n$, and put $B_d=\{d,2d,\ldots,nd\}$. Let $M_k(n)$ be the least integer $m$ for which one translate of each of $B_1,\ldots,B_k$ can be placed pairwise disjointly in $[m]$. We prove that, for every $\eps\in(0,1)$ and all sufficiently large $k$, one has $M_k(n)\le n\lceil(1+\eps)k\rceil$. Since the trivial counting bound gives $M_k(n)\ge nk$, it follows that $M_k(n)=(1+o(1))nk$ for every fixed $n$. This confirms a conjecture of Alon, Dębski, Grytczuk and Przybyło on prescribed-difference packings of fixed-cardinality arithmetic progressions.
An improved upper bound on the Ruzsa number
Let $R_m$ be the least positive integer $r$ such that there exists a set $A\subseteq \mathbb{Z}_{m}$ with $A+A=\mathbb{Z}_m$ for which the number of ordered solutions of $n=x+y$ with $x,y\in A$ is at most $r$ for every $n\in \mathbb{Z}_m$. In this note we prove that $R_m\leqslant 128$ for every positive integer $m$, improving the previous bound $R_m\leqslant 192$.
The singleton hypergraph is extremal for the Isolation Lemma
Let $H$ be an inclusion-free hypergraph on $n$ vertices. A weight assignment $w:[n]\to[d]$ is isolating if there is a unique edge $e$ whose weight $w(e) = \sum_{i \in e} w(i)$ is minimum. We show that the number of isolating weight assignments is at least $$ n\sum_{j=0}^{d-1} j^{n-1}, $$ a bound which is attained with equality by the hypergraph consisting of the $n$ singleton edges. This proves the conjecture stated in Faber & Harris (2018).
We also prove the bound for a more general class of edge-weight objectives, including arbitrary edge offsets.
Cone and constrained colorful Carathéodory Theorems
Holmsen proved in 2016 a generalization of the classical colorful Caratheodory theorem in which a matroid imposes additional constraints on the desired colorful transversal. His approach also works in the more general setting of oriented matroids, rather than relying directly on convex hulls.
In this paper, we extend these ideas in several directions. First, we study which colorful Caratheodory-type results remain valid when convex cones replace convex hulls, as well as analogous modifications in the oriented matroid setting. Second, we consider variants in which the additional constraint on the transversal is not encoded by a matroid. This leads to new extensions of the classical Tverberg theorem.
Our approach is topological, following the methods of Holmsen, and Kalai and Meshulam, on which it builds. The key idea is to analyze homology groups of simplicial complexes that encode colorful Caratheodory-type phenomena, such as the support complex of an oriented matroid. In particular, one shows that these complexes are (near-)d-Leray. We extend this analysis by carrying out more detailed homology computations for these complexes, with the aim of enabling further and more refined applications of the method.
Unique Insertion Error Patterns in Levenshtein's Reconstruction Problem
Levenshtein's sequence reconstruction model plays an essential role in information retrieval of advanced memory systems, such as the DNA-based storage systems. In the model, a word $\mathbf{x}\in\mathbb{Z}_q^n$ is transmitted through $N$ noisy channels, and the goal is to recover it. Errors occurring in the channels usually involve substitutions, insertions and deletions. Our focus is on insertions. One of the main questions in this context is determining the minimum number of channels $N$ required to recover the transmitted word $\mathbf{x}$. The original formulation of the reconstruction problem requires that all the output words from the channels are distinct. However, different insertion errors may lead to the same output words. In this paper, we investigate two reconstruction models where the channels are allowed to produce identical output words even though different insertion errors occur in the channels. These two models, called \textit{the multiset model} and \textit{non-multiset model}, generalize the Levenshtein's model. We denote the minimum number of channels required to \textit{unambiguously} recover the transmitted word $\mathbf{x}\in\mathbb{Z}_q^n$ by $N_q^m(n,t)+1$ in the multiset model and $N_q^{nm}(n,t)+1$ in the non-multiset model, where $t$ is the exact number of insertions occurring in a channel. We determine $N_q^m(n,1)$ and $N_q^{nm}(n,1)$ for all $n$ and $q$, and show the somewhat surprising fact that $N_q^m(n,1)=N_q^{nm}(n,1)$. We also provide a full characterization of the words attaining this value and give a general lower bound on $N_q^m(n,t)$ for $t\ge1$ and a recursive upper bound. For $t=1$, we construct codes $C'\subseteq\mathbb{Z}_q^{n+2}$ from codes $C\subseteq\mathbb{Z}_q^n$ such that the number of channels required to determine the transmitted word $\mathbf{x}\in C'$ is small. This construction is shown to be optimal for certain parameters.
Motivic quasimap wall-crossing for Grassmannians
We prove a wall-crossing formula for the Euler characteristics, considered as virtual mixed Hodge structures, of moduli spaces of $\varepsilon$-stable quasimaps to the Grassmannian $\mathbb{G}(r, N)$. For each $\varepsilon > 0$, we define a $\mathbb{Q}$-algebra automorphism of the ring of symmetric functions which takes the generating function for the $\mathbb{S}_n$-equivariant Euler characteristics of the moduli spaces of stable maps $\overline{\mathcal{M}}_{g, n}(\mathbb{G}(r, N), d)$ to the corresponding generating function for Toda's moduli spaces of $\varepsilon$-stable quasimaps $\overline{\mathcal{Q}}_{g, n}^{\varepsilon}(\mathbb{G}(r, N), d)$. The automorphism is given by explicit $q$-deformations of the power sum symmetric functions. The $\varepsilon \to 0$ limit of our formula exchanges the spaces of stable maps and the Marian--Oprea--Pandharipande moduli spaces of stable quotients. Our proof uses the geometry of relative Quot schemes to relate the quasimap spaces to moduli spaces of weighted stable maps, for which we obtain wall-crossing formulas via symmetric function theory.
Cyclomatic numbers and permutations
We show that the inversion graph of a permutation governs several apparently different aspects of the permutation: the gap between its Coxeter and reflection lengths, the number of repeated letters in its reduced words, and its cycle structure, and it also bounds the number of $321$ and $3412$ patterns. The mechanism is that a reduced word orders the edges of the inversion graph, with the edges from first-occurrence letters forming a spanning forest and the edges from repeated letters accounting for the rest. The case where the inversion graph is a forest unifies several classical characterizations of these permutations, due to Edelman, Tenner, and Petersen and Tenner. We also give a new proof that every connected acyclic inversion graph is a caterpillar.
Symmetric Powers of Matroids
The study of matroid products has become an active area of research, owing to their connections with tropical ideals and linear representability. In this paper, we study matroidal abstractions of the multilinearity of symmetric powers of vector spaces, using a duality between symmetric powers of matroids and abstract rigidity. These observations allow us to solve Mason's conjecture concerning the equivalence of two definitions of a symmetric power of a matroid. We show that Mason's conjecture holds for second symmetric powers of matroids whereas it fails for third symmetric powers.