arXiv++ Combinatorics

We present a short proof that the book Ramsey number $R(B_8,B_{10})$ equals 37. The lower bound $R(B_8,B_{10}) \ge 37$ is already available in the literature, so it is enough to rule out a 37-vertex graph containing neither a copy of $B_8$ nor a copy of $B_{10}$ in its complement. The problem as well as the proof were found with AutoMath, an AI-assisted mathematical discovery workflow developed by the first author. A Lean formalization of the upper-bound argument is available in the accompanying repository.

Bowler et al. introduced the concept of torsoids that describes the 1-separations of a directed graph in a canonical way building on previous progress by Lov{á}sz. To fully understand the structure of directed graphs with respect to their 1-separations it remains to find a global structure along which the torsoids are arranged. In this paper, we start the investigation of this global structure for a specific class of directed graphs.

The classical problem of Erdős asks for the minimum number of empty convex $k$-gons determined by an $n$-element point set in the plane. The celebrated empty hexagon theorem, proved independently by Gerken and Nicolás, shows that every sufficiently large planar point set contains a $6$-hole, while Horton's famous construction shows the existence of arbitrarily large point sets with no $7$-hole. In this paper, we initiate the study of the maximum number of $k$-holes in planar point sets with no $(k+1)$-hole. More precisely, for each fixed $k\geq 6$, let $h_k(n)$ be the maximum number of $k$-holes determined by a planar point set in general position, of size at most $n$, and with no $(k+1)$-hole. We prove that there are absolute constants $c_1,c_2>0$ such that $(c_1/k)^{\lfloor k/3\rfloor} n^{\lfloor k/3\rfloor} \leq h_k(n)\leq (c_2/k)^{\lceil k/2\rceil} n^{\lceil k/2\rceil}$.

We prove that a finite, connected, singly connected, locally convex higher-rank tree whose $1$-skeleton is planar and which is \emph{non-degenerate}, in the sense that every edge of each colour forms a commuting square with every other colour, has rank at most four. Under these hypotheses this establishes the planarity conjecture stated in \cite{Pask}. The obstruction side of the argument uses only the non-planarity of $K_5$; it makes no appeal to the four-colour theorem. The engine is a monotonicity property of the set of colours emitted at a vertex (``backward propagation''), which forces, in any finite singly connected non-degenerate $k$-graph, a single vertex emitting all $k$ colours; once $k\ge 5$, local convexity manufactures a subdivision of $K_5$ at such a vertex.

We show that for any uncountable cardinal $κ$, there is a coloring $c: [κ]^2\to ω$ such that $c''A \otimes B = ω$ for any $A, B\subseteq κ$ of order type $ω_1$ that are stationary in their common supremum. In particular, the stationary version of Erdős-Rado theorem and the higher dimensional Friedman's property are both inconsistent. We demonstrate that the theorem is optimal in various ways.

Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the 3-day workshop *Benchmarks in Leipzig* with 35 participants at the Max Planck Institute for Mathematics in the Sciences in Leipzig, Germany. We present the resulting collection of 100 questions. We evaluated these questions in three stages: a single attempt by five state-of-the-art LLMs, followed by a 20-runs-per-model evaluation with three of these models, and finally a 3-run attempt with two heavy-thinking models. After Stage 1, 41 questions remained completely unsolved; after Stage 2, this count dropped to 16; and we concluded Stage 3 with only 2 unsolved questions. This demonstrates that the mathematical reasoning capabilities of LLMs are becoming impressive.

Demazure weaves are combinatorial representations of maps between Bott--Samelson cells and have been used to construct cluster structures on braid varieties. We show the compatibility of these maps and the resulting cluster structures with the standard Poisson structure on the Bott--Samelson variety. Adding frayed strands to Demazure weaves, we further construct Poisson compatible cluster structures on other affine charts of the Bott--Samelson variety in a manner that transition functions across charts become rational quasi-cluster. The mutation sequences we construct for these quasi-cluster morphisms are closely related to those of Ménard for open Richardson seeds.

The cycle space of a graph $G$, denoted $\mathcal{C}(G)$, is a vector space over ${\mathbb F}_2$, spanned by all incidence vectors of edge-sets of cycles of $G$. If $G$ has $n$ vertices, then $\mathcal{C}_n(G)$ denotes the subspace of $\mathcal{C}(G)$, spanned by the incidence vectors of Hamilton cycles of $G$. We consider several known sufficient conditions for Hamiltonicity and show that an appropriate and fairly mild strengthening of each such condition in fact ensures the stronger property $\mathcal{C}_n(G) = \mathcal{C}(G)$. In particular, we consider the classical Chvátal-Erdős criterion and prove that (under various additional restrictions) if $n$ is odd and $κ(G) \geq c α(G)$, where $c$ is a sufficiently large absolute constant, then $\mathcal{C}_n(G) = \mathcal{C}(G)$. Moreover, considering the McDiarmid-Yolov criterion we prove that if $n$ is odd and $δ(G) \geq \max \left\{2 \tildeα(G) + 9, \tildeα(G) + 18 \right\}$, where $\tildeα(G)$ is the so-called bipartite independence number of $G$, then $\mathcal{C}_n(G) = \mathcal{C}(G)$. We also prove that if $n$ is odd and $G$ admits $16 α(G) + 12$ pairwise disjoint connected dominating sets, $\mathcal{C}_n(G) = \mathcal{C}(G)$. Finally, we consider an effective Chvátal-Erdős type criterion for bipartite graphs and prove that if $G$ is a balanced bipartite graph on $2n$ vertices, satisfying $α_{\emph{BIP}}(G) \leq 2 δ(G) - 24$, then $\mathcal{C}_{2n}(G) = \mathcal{C}(G)$.

This paper considers geometric problems of the following type: given a point set $P \subset \mathbb R^2$, one seeks a large subset avoiding a prescribed geometric configuration. Our main result states that, for any $P \subset \mathbb R^2$, there exists a subset $P' \subset P$ with $|P'| \gg |P|^{1/3}$ such that all of the distances determined by $P'$ are distinct. This improves a result of Charalambides. We make heavy use of a result of Li and Postle concerning the independence number of hypergraphs which satisfy some edge distribution conditions, as well as tools from incidence geometry.

We study the topological zeta function of a loopless matroid $\mathsf{M}$ and its Möbius transform. We provide a novel and manifest description (a ``Master Theorem'') for both functions and all of their coefficients, which can be used to give transparent solutions to several open questions and conjectures on topological zeta functions of matroids, even in greater generality than what was anticipated. As applications we solve conjectures of van der Veer (2019), Kutler (2023), and Mengesha, Miranda, and Sun (2026).

We prove an Erdős-Ko-Rado type extremal result for tilings of a $1 \times n$ chessboard by tiles whose lengths belong to a set $Λ$. Two tilings are said to intersect if they contain a tile spanning the same set of squares. We prove that if $1\inΛ$, then the maximum size of an intersecting family of tilings is attained by the set of all tilings containing a fixed singleton tile at one of its ends. This result generalizes a theorem of Butler, Horn and Tressler, which is equivalent to the case $Λ=\{1,2\}$.

Let $a_L(n)$ be the maximum number of regions into which $n$ lollipops divide the plane. Paulsen introduced a second obstruction for this problem, based on pairs of circles meeting at obtuse angle, in addition to the stem-direction obstruction of Cutler-Karlsson-Sloane. We recast Paulsen's argument as a weighted problem for two graphs: a $K_4$-free graph $D$ of non-close stem pairs and a $K_5$-free graph $E$ of non-intriguing circle pairs. For the total number $C$ of pairwise crossings, $$ C\le 4\binom n2+|D|+|E|+|D\cap E|. $$ Paulsen bounds the final term by $|D|$. We keep the overlap term and analyze near-extremal configurations of $D$ and $E$. This closes all of Paulsen's remaining gaps up to $n=17$, and also closes $n=19$: $$ \begin{array}{c} a_L(0),a_L(1),\ldots,a_L(17)\\ =1,2,10,25,45,71,104,142,186,237,294,356,425,500,580,667,761,859, \end{array} $$ and $$ a_L(19)=1076. $$ The same method gives the one-region gaps $$ 964\le a_L(18)\le965,\qquad 1193\le a_L(20)\le1194. $$

In this paper, we prove a generalization of a conjecture of Amdeberhan, Andrews, and Ballantine on double Lambert series. Motivated by a question raised by Cui, Kumar, and Singh concerning the existence of a generalization of this conjecture, we establish an identity in which the coefficients are given by the generalized divisor function $σ_k(n)$. As a special case, our result includes the original conjecture.

In this work, we propose a novel intrinsic approach to the approximation of ergodic SDEs on Riemannian manifolds, which include Riemannian Langevin dynamics. In opposition to the standard extrinsic approaches such as penalization methods and projection methods, our methodology does not use embeddings or coordinates and only relies on natural geometric operations: geodesics, parallel transport,... We give a criterion for high order of accuracy for the invariant measure, develop new intrinsic numerical methods designed solely for sampling the invariant measure, and derive high order conditions using a new algebraic operation on exotic Lie-Butcher series. In the spirit of the Leimkuhler-Matthews method, our approach prioritizes long time sampling efficiency over finite time accuracy, and outperforms the previous extrinsic and intrinsic approaches in terms of cost for a given accuracy, which we illustrate with several numerical experiments.

Let $G$ be a graph. The {\em spectral radius} of $G$ is the largest eigenvalue of its {\em adjacency matrix}. A {\em matching} of $G$ is a set of disjoint edges of $G$. The {\em matching number} of $G$ is the size of a maximum matching (i.e., a matching with maximum edges). The graph $G$ is called {\em maximum matching covered} if each edge of $G$ is contained in a maximum matching. In this paper, we give a sharp spectral radius condition for graphs with bounded matching number to be maximum matching covered.

The goal of this short note is to prove a unified abstract regularity lemma which recovers Szemerédi's graph regularity lemma, Green's arithmetic regularity lemma, and a regularity lemma for Boolean functions as direct corollaries.

For a finite graph $H$ and a positive integer $h$, the $h$-blowup $H^{(h)}$ of $H$ is the graph obtained by replacing each vertex of $H$ by a set of size $h$ and each edge by a complete bipartite graph between the corresponding sets. We prove that, for every $H$, there exists a constant $h_*(H)$ such that whenever $h\ge h_*(H)$ and $n$ is sufficiently large, every $n$-vertex graph maximizing the number of induced copies of $H^{(h)}$ is a blowup of $H$. This refines the asymptotic result of Hatami, Hirst and Norine and settles the question posed by Bollobás, Egawa, Harris and Jin in 1995.

We study non-trivial intersection problems for multi-part hypergraphs, excluding the usual extremal examples determined by fixed vertices or fixed coordinates. Our first result determines the exact value of the non-trivial $t$-intersection problem in the symmetric product $[n]^r$ for $1\le t\le r-2$ and all $n\ge2$. Frankl and Nie proved a two-candidate formula for sufficiently large $n$ and conjectured it for all $n\ge 2$; our formula shows that the conjectured expression must be enlarged, in small ranges of $n$, by additional Ahlswede--Khachatrian ball-type terms. Our second result concerns intersecting families in general products $X_1\times\cdots\times X_r$, where $|X_i|=n_i$, with no common vertex. Let $m_0(1,n_1,\ldots,n_r)$ denote the largest size of such a family. We show that this number is equal to the maximum of $\sum_{X\in \mathcal{D}}\prod_{i\in X}(n_i-1)$ over all downsets $\mathcal{D}\subseteq 2^{[r]}$ such that $\bigcup_{X\in \mathcal{D}}X=[r]$ and no two members of $\mathcal{D}$ have union $[r]$. This finite reduction separates the intersection obstruction from the part sizes and yields explicit fully asymmetric formulas for $r=4,5,6$.

Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to \mathbb{N}$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is degree-truncated $k$-choosable. The degree-truncated choice number of $G$ is $\operatorname{ch}^{\text{\st{d}}}(G) = \min\{k: G \text{ is degree-truncated $k$-choosable}\}$. For a family $\mathcal{G}$ of graphs, $\operatorname{ch}^{\text{\st{d}}}(\mathcal{G}) = \max\{\operatorname{ch}^{\text{\st{d}}}(G):G \in \mathcal{G}\}$. Let $\mathcal{P}$ denote the family of 3-connected non-complete planar graphs. Richter asked in 2008 whether $ch^{\text{\st{d}}}(\mathcal{P}) \le 6$. In 2025, Zhou, Zhu and Zhu answered this question in negative and proved that $8 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 16$. This result was improved by Jiang, Xu, Xu, and Zhu, who proved that $9 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 12$. In this paper, we further improve the result and prove that $10 \le \operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) \le 11$. We conjecture that $\operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) =10$, and we confirm this conjecture for those planar graphs $G \in \mathcal{P}$ for which the subgraph induced by vertices of degree at least 11 is 4-choosable.

Let $d$ be the smallest positive integer, not divisible by $3$, for which there exists an algebraic number over $\mathbb{Q}$ of degree $d$ whose some three algebraic conjugates sum to zero. Employing the classification of vertex-transitive graphs on 16 vertices of degree 6, we prove that $d\neq 16$. This, combined with results obtained by Dubickas, Smyth and Stong \cite{DubickasSmyth2006}, Dubickas and Jankauskas \cite{DubickasJankauskas2015} and Virbalas \cite{Virbalas2025a}, implies that $d=20$.

The well-known Erdős-Hajnal conjecture states that for any graph $H$, there is a constant $c=c(H)>0$ such that every $n$-vertex graph $G$ with no induced copies of $H$ contains a clique or an independent set of size at least $n^{c}$. In a recent breakthrough, Nguyen, Scott and Seymour proved that Erdős-Hajnal conjecture holds for the five-vertex path (Proceedings of London Mathematical Society 2026), which implies that Erdős-Hajnal conjecture holds for every five-vertex graph. In this paper, we prove that Erdős-Hajnal conjecture holds for graphs with no induced copies of $E$-graph, where $E$-graph is the graph obtained from the five-vertex path $P_5$ by adding a pendent edge to the middle vertex of the $P_5$. Our result generalizes the result of Nguyen, Scott and Seymour on five-vertex path. The proof uses the iterative sparsification framework proposed by Nguyen, Scott and Seymour in their series work on Erdős-Hajnal conjecture with our generalization. We first reduce Erdős-Hajnal conjecture to a property called generlaized nice, which is a generalization of the ``nice'' property used in [T.~Nguyen, A.~Scott, and P.~Seymour. Induced subgraph density. VII. The five-vertex path. {\em Proceedings of the London Mathematical Society}, 132(3):e70133, 2026]. We then reduce the generalized nice property to a new property related to a structure called comb, where comb was first used in [M.~Chudnovsky, A.~Scott, P.~Seymour, and S.~Spirkl. Erdős-Hajnal for graphs with no 5-hole. {\em Proceedings of the London Mathematical Society}, 126(3): 997-1014, 2023]. Finally, we show that $E$-graph satisfies the desired property via a careful structural analysis imposed by the forbidden induced subgraph. One key step in the proof is to prove, via defining appropriate equivalence relations, that certain auxiliary graph satisfies the Erdős-Hajnal conjecture.

In this paper we present a sharp mixed inequality relating successive minima and quotient covering radii of origin-symmetric convex bodies with respect to lattices. The inequality interpolates between the (classical) covering-density lower bound and the lower bound in Minkowski's second theorem.

A \emph{$k$-cactus} generalizes forests and cacti by allowing each edge to lie on at most $k$ cycles. The maximum number of edges is classical for forests and cacti, but for $k$-cacti was known only for $k\le 4$. In this note we treat general $k$. The key idea is that bounding the cycles through each edge forces a $k$-cactus to exclude a large complete minor; in particular, the class of $k$-cacti is minor-closed. From this we prove that every $n$-vertex $k$-cactus has $O\!\left(\frac{\log k}{\sqrt{\log\log k}}\,n\right)$ edges for all sufficiently large $k$, and a construction shows this is optimal up to a factor of $\sqrt{\log\log k}$.

We construct an explicit equivariant quantum Satake map for Grassmannians, which enables us to express their torus-equivariant quantum cohomology in terms of that of projective space. We then consider the exterior algebra of the latter, which admits a canonical identification with a Clifford algebra. We describe the resulting action in several complementary ways: first, from a geometric perspective via push-pull maps, and second, in terms of the shuffle product, which also arises in the simplest cohomological Hall algebra associated with the $A_1$-quiver. Exploiting the Clifford algebra structure, we derive new recurrence relations among equivariant Gromov-Witten invariants, yielding a new method for their computation in terms of Wick's Theorem. As an application, we provide combinatorial proofs of Graham positivity for both equivariant quantum Pieri rules, and in one case extend these results to quantum triple Schubert calculus.

Order theory is increasingly relevant in applications where data is naturally structured as a partially ordered set (poset), often requiring meaningful notions of distance over posets. In this paper, we introduce a new family of extended metrics on path-connected and fence-connected posets that do not require additional structure. Unlike many existing distances, these metrics are not induced by valuations, but instead arise as a type of shortest-path distance determined by both path length and the number of alternations. For discrete posets, we show that these metrics converge to a type of shortest-fence metric. Our main result establishes that these metrics characterize most discrete path-connected posets up to isomorphism, and up to duality for modular posets. Finally, we prove that this family defines interleaving distances when posets are viewed as thin categories.

We construct a periodic weighted graph whose discrete Laplacian has a spectrum with precisely $n$ gaps. Moreover, we show that by an appropriate choice of the weights, the endpoints of these gaps, as well as the upper edge of the spectrum, attain the prescribed values. The underlying graph has a brush-like geometry: it consists of an infinite chain of vertices, each of which is connected to $n$ additional pendant vertices by extra edges. Semi-explicit formulae for the weight coefficients are provided: some of the coefficients are determined explicitly, while others are given as roots of an explicitly determined polynomial.

We study maximum matching problems in temporal graphs whose underlying graph is a tree. We consider two temporal models. In a $Δ$-matching, selected time edges sharing an endpoint must have time ticks differing by at least $Δ$. In a $γ$-matching, the selected objects are blocks of $γ$ consecutive appearances of the same underlying edge. We also consider the related ordered static problem of $d$-distance matchings. We show that maximum $Δ$-matching remains NP-hard on temporal trees for every $Δ\geq 2$, even in the sparse case where each edge appears at most twice. Using a reduction between the temporal models, we obtain the analogous result for maximum $γ$-matching on temporal trees, even when each edge admits at most two $γ$-edges. We also show, via a reduction from $d$-distance matching, that maximum $γ$-matching is APX-hard even when the underlying graph is bipartite. Complementing these hardness results, we identify several tractable cases. We prove that maximum $Δ$-matching is polynomial-time solvable on temporal trees in which every edge appears exactly once, and that maximum $γ$-matching is polynomial-time solvable when each edge admits at most one $γ$-edge. We also give dynamic-programming algorithms under bounded local-use and local-sparsity assumptions, and derive polynomial-time solvability of maximum $d$-distance matching when the input bipartite graph is a tree. Finally, we prove that both maximum $Δ$-matching and maximum $γ$-matching admit polynomial-time approximation schemes on temporal trees.

We explicitly compute the perverse Leray filtration on the top cohomology of Hilbert schemes of points on $Σ\times \mathbb{C}$, for any connected smooth projective curve $Σ$. The computation is carried out in the natural basis given by the $\mathbb{C}^*$-upward-flow cycles. The result is described by a simple symmetric-function dictionary: upward-flow classes correspond to products of complete homogeneous symmetric functions, while the perverse-homogeneous basis corresponds to products of Newton power sums, giving an explicit, upper-triangular change-of-basis between the two.