math.CO ↗ arXiv
7121 papers in this category
Tangent classes of matroids and wonderful compactifications
For every loopless matroid $M$ and every Feichtner--Yuzvinsky building set $\mathcal{G}$ containing the top flat, we construct an integral tangent class $T_{M,\mathcal{G}}^{\mathbb{Z}}\in K_{\mathbb{Z}}(M,\mathcal{G})$; in the realizable case it specializes to the class of the tangent bundle of the corresponding wonderful compactification, it recovers the Hilbert series of the Chow ring through Hirzebruch--Riemann--Roch, and it satisfies the expected Chern-alpha lower bounds. This reproduces the tangent class and its key properties studied by the first author in arXiv:2606.22650. The main body of this paper was produced autonomously, without human mathematical guidance, by Danus, an AI mathematical reasoning agent. Danus solved the problem before arXiv:2606.22650 was publicly available, demonstrating the potential of AI agents in mathematical research. We reproduce its output faithfully, adding only editorial comments; the experiment is documented in Appendix B.
Honeycombs and Sums of Hermitian Matrices, Revisited
We give a new proof of the celebrated theorem of Knutson and Tao that the spectra of triples $A, B, A+B$ of Hermitian matrices exactly correspond to positions of boundary rays of honeycombs. Most importantly, our proof gives new insights into why honeycombs are related to Hermitian matrices in the first place. Our proof is axiomatic: We distill four essential properties shared by honeycombs and spectra of Hermitian triples, and show that any two objects sharing these four properties must be equivalent. In this way, we argue that honeycombs are `model organisms' for Hermitian triples: they are families of objects satisfying the same defining properties, but in more obvious ways.
A field-independent filtration of plethystic modules for $\mathrm{SL}_2(\mathbb{F})$ that categorifies a product rule for the Cartan subalgebra of $\mathcal{U}_q(\mathfrak{sl}_2)$
We lift a product rule in the Cartan subalgebra of quantum $\mathfrak{sl}_2$ to a filtration of the plethystic representation $Δ^{(n,m)}\mathrm{Sym}^d E$ of the affine group scheme of the algebraic group $\mathrm{SL}_2$, where $E$ is the natural representation and $Δ^{(n,m)}$ the Weyl functor. This is a significant step towards a categorification of quantum $\mathfrak{sl}_2$. Our filtration is an addition to a growing family of field-independent isomorphisms of $\mathrm{SL}_2$ representations that include Hermite reciprocity and the Wronskian isomorphism. It is the first such field-independent result requiring multiple filtration layers. It is proved by combinatorial techniques using the authors' symmetric functions model for Weyl modules.
All Y-friezes come from $\mathrm{SL}_2$-friezes
We resolve a conjecture of de Saint Germain: all Y-friezes arise from $\mathrm{SL}_2$-friezes. Additionally, we give a threefold characterisation of those $\mathrm{SL}_2$-friezes that give rise to the same Y-frieze: an elementary characterisation using quiddities, a combinatorial characterisation using triangulated polygons, and a geometrical characterisation using chains of horocycles.
Dihedral Tilings of the Sphere by Kites and Regular Polygons
In this article, we study the edge-to-edge dihedral tilings of the sphere by kites and regular $m$-gons with $m\ge 4$. All such tilings have been identified and fully classified, using various combinatorial and geometric tools. New phenomena are observed among the tilings.
Computation of small reflective and dihedral Ramsey numbers
Throughout, all graphs are simple, finite and have vertex sets of the form $\{ 0, 1, 2, \ldots, n - 1 \}$ for some $n \in \mathbb{N}$. For graphs $G$ and $H$, and a permutation group $Γ$ on the vertex set of $H$, we say that $H$ is $Γ$-embeddable in $G$ if there exists a graph homomorphism from $H$ to $G$ of the form $ψ\circ \varphi$, where $\varphi \in Γ$ and $ψ$ is an increasing injection. Recently, standard and ordered Ramsey numbers of graphs were unified through the introduction of permutational Ramsey numbers, defined as follows. For graphs $H_1, H_2, \ldots, H_k$ and permutation groups $Γ_1, Γ_2, \ldots, Γ_k$ on their respective vertex sets, the permutational Ramsey number $R(H_1^{Γ_1}, H_2^{Γ_2}, \ldots, H_k^{Γ_k})$ is the minimum $n \in \mathbb{N}$ such that for every $k$-edge-coloring of a complete graph on $n$ vertices, there exists some $j \in \{1, 2, \ldots, k\}$ for which $H_j$ is $Γ_j$-embeddable in the spanning subgraph of the complete graph comprising the edges of color $j$.
Here, we consider reflective (resp. dihedral) Ramsey numbers, which are a specific class of permutational Ramsey numbers in which each group $Γ_j$ is the reflection group (resp. dihedral group) on the naturally ordered vertex set of $H_j$. Focusing on the two-color case, we apply the SAT-based approach originally proposed by Poljak for ordered Ramsey numbers and recently extended to cyclic Ramsey numbers. We utilize the Kissat SAT solver to obtain exact values and lower bounds for small reflective and dihedral Ramsey numbers whose two arguments belong to the following graph classes: monotone and alternating paths, monotone cycles, start-central stars, complete graphs and nested matchings. We also derive several general results and formulate conjectures based on the computational findings.
Rigid ternary relations in finite-dimensional Hilbert-space Grassmannians
For positive integers $1\le r<d<n$ consider subsets $S\subseteq \mathbb{G}(r,V)$ of the $r$-plane Grassmannian of an $n$-dimensional Hilbert space $V$ saturated in the sense that the $r$-plane $η''$ belongs to $S$ whenever it is the orthogonal projection of $η'\in S$ onto a $d$-plane through $η\in S$. Motivated by such closure operators' natural occurrence in projective-geometry and linear preserver problems, we classify said saturated sets as precisely the disjoint unions of Grassmannian spines, with cores standing in a relation of mutual separation that can be made precise (a spine being the set of $r$-planes containing a fixed core $k$-plane $π$ for some $0\le k\le r$). This generalizes the author's results describing saturated $r$-plane sets in the tame dimensional regime $2r\le d$, where the disjoint unions in question by necessity collapse to single spines.
Accessibility and Twin-width
We show that finite twin-width does not imply accessibility for finitely generated groups, which answers a question of Esperet. That is, we prove that there exists a finitely generated group $Γ$ that has finite uniform twin-width but is not accessible. In particular, for every finite generating set $S$ of $Γ$, the Cayley graph $Cay(Γ; S)$ has finite twin-width but is not accessible. The example is obtained by combining Wilkes construction of a finitely generated inaccessible residually $p$-finite groups with a result of Bonnet, Geniet, Tessera and Thomasse regarding the twin-width of groups acting faithfully on regular rooted trees.
Integer values of $\tan(\arctan 1+\arctan 2+\cdots+\arctan n)$ are rare
For $n\ge1$, we let $$x_n:=\tan\bigl(\sum_{k=1}^{n}\arctan k\bigr).$$ In 2008, Amdeberhan, Medina, and Moll conjectured that $x_n\not \in \mathbb{Z}$ for every $n\ge5$. This was known for a set of positive integers of density $\tfrac{120}{817}\approx0.1469$. We prove that an integer value $x_n=m$ satisfies $|m|\ge e^{(1/2+o(1))\,n\log n}$, which we use to deduce that $$\#\{\,1\leq n\le N:x_n\in\mathbb{Z}\,\}=O(\log N). $$
In particular, the conjecture holds for a density-one set of $n$. The results in this note were formalized in Lean/Mathlib and produced autonomously by AxiomProver from natural-language statements.
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
Published in Physica A 701, 132048 (2026)
• View Publication
• BIB
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.