arXiv++ Combinatorics

We present improved lower bounds for five classical Ramsey numbers: $\mathbf{R}(3, 13)$ is increased from $60$ to $61$, $\mathbf{R}(3, 18)$ from $99$ to $100$, $\mathbf{R}(4, 13)$ from $138$ to $139$, $\mathbf{R}(4, 14)$ from $147$ to $148$, and $\mathbf{R}(4, 15)$ from $158$ to $159$. These results were achieved using AlphaEvolve, an LLM-based code mutation agent. Beyond these new results, we successfully recovered lower bounds for all Ramsey numbers known to be exact, and matched the best known lower bounds across many other cases. These include bounds for which previous work does not detail the algorithms used. Virtually all known Ramsey lower bounds are derived computationally, with bespoke search algorithms each delivering a handful of results. AlphaEvolve is a single meta-algorithm yielding search algorithms for all of our results.

Recently, the theory of hook length biases has emerged as a prominent research topic. Led by Ballantine, Burson, Craig, Folsom, and Wen [\textit{Res. Math. Sci.}, 2023], hook length biases are being explored for ordinary partitions, odd versus distinct partitions, self-conjugate versus distinct odd partitions. Lately, Singh and Barman [\textit{J. Number Theory}, 2024] opened the door to hook length biases in $\ell$-regular partitions. In this work, we extend the theory of hook length biases to $t$-core partitions. For example, let $a_{t,k}(n)$ denote the number of hooks of length $k$ in all $t$-core partitions of $n$, then we find that $a_{3,1}(n)\ge a_{3,2}(n) \ge a_{3,4}(n)$ and $a_{4,1}(n)\ge a_{4,3}(n)$ for all $n$. The methods employed in this work are mainly combinatorial.

We present new results about fully leafed induced subtrees in Penrose P2 tilings. We first determine the graph structure of these subtrees and show that they are caterpillars, up to an appendix of at most six tiles. We then study bi-infinite fully leafed induced caterpillars in P2 tilings and their geometric properties. In particular, we refute the conjecture proposed by C. Porrier, A. Goupil and A. Blondin Massé that there is a unique bi-infinite fully leafed caterpillar in Penrose P2 tilings.

In this paper we explore a connection between certain Almost Perfect Nonlinear Functions (APN functions) and relative difference sets. In particular, we show that the image set of certain 2-to-1 APN functions is a relative difference set. Through a result of Pott this further provides a connection between APN functions and bent functions.

Chirotopes are a common combinatorial abstraction of (planar) point sets. In this paper we investigate decomposition methods for chirotopes, and their application to the problem of counting the number of triangulations supported by a given planar point set. In particular, we generalize the convex and concave sums operations defined by Rutschmann and Wettstein for a particular family of chirotopes (which they call chains), and obtain a precise asymptotic estimate for the number of triangulations of the double circle, using a functional equation and the kernel method.

Consider a connected graph $G$, and assume that every edge fails independently with probability $q$. The {\em (all-terminal) reliability polynomial} is the probability in $q$ that the spanning connected subgraph of operational edges is connected. In this paper we focus on the real roots of reliability polynomials ({\em reliability roots}). We prove that almost every graph has a nonreal reliability root, and that the reliability polynomials of graphs have roots dense on the interval $[β,0]$ where $β\approx-0.5707202942$.

This paper establishes an analogue of the Robinson--Schensted correspondence for cylindric tableaux. In particular, for any pair of positive integers $(d,L)$, we construct a bijection between permutations that avoid the patterns $d\cdots 1 (d+1)$ and $1\cdots (L+1)$ and pairs of $(d,L)$-cylindric standard Young tableaux with a common shape. This arises as a special case of a Knuth-type generalization involving cylindric semistandard tableaux and a further generalization involving oscillating tableaux. Using these results, we construct several other bijections and derive enumerative consequences involving cylindric tableaux and pattern-avoiding permutations. For example, we give asymptotics for the number of permutations in $S_n$ that avoid the patterns $d\cdots 1 (d+1)$ and $1\cdots (L+1)$ as $n\to\infty$.

We study the structure of the space $Ω_3(G)$ of $\partial$-invariant 3-paths in a directed graph $G$. We prove that $Ω_3(G)$ admits a basis consisting of trapezohedral paths $τ_m$ ($m \ge 2$) and their merging images. Moreover, we provide an explicit construction of such a basis and, as a consequence, obtain an algorithm with time complexity $O(|V(G)|^5)$ for computing the dimension and a basis of $Ω_3(G)$ for any finite digraph.

We establish the following quantitative form of the Green--Tao theorem: if a set $\mathcal{A}$ of relative density $δ$ within the primes up to $N$ contains no nontrivial arithmetic progressions of length $k\geq 4$, then $δ\ll \exp(-(\log \log \log N)^{c_k})$ for some $c_k>0$. This improves on previous work of Rimanić and Wolf. The main new ingredients in the proof are a version of the Leng--Sah--Sawhney quasipolynomial inverse theorem for unbounded functions and a dense model theorem with quasipolynomial dependencies, which may be of independent interest.

The ABCT variety $V(3,n)$ is the image closure of the rational Veronese map from the Grassmannian $\operatorname{Gr}(2,n)$ to the Grassmannian $\operatorname{Gr}(3,n)$. It was studied by Arkani-Hamed--Bourjaily--Cachazo--Trnka in the context of tree-level scattering amplitudes arising in planar $\mathcal N=4$ supersymmetric Yang-Mills theory and Witten's twistor string theory. From this perspective, $V(3,n)$ is conjectured to be a positive geometry by Lam. In this paper, we study the combinatorial and algebraic geometry aspects of $V(3,n)$ and its subvarieties induced by iteratively taking analytic boundaries of the totally nonnegative part. We interpret these subvarieties as point configurations on $\mathbb{P}^2$ by the Gelfand-MacPherson correspondence. We construct a top-degree meromorphic form on $V(3,n)$ and show that it is a positive geometry, proving Lam's conjecture.

We study the problem of finding an acyclic orientation of an undirected graph with constrained in-degree parities specified by a subset T of vertices. An orientation is called T -odd if a vertex v has odd in-degree if and only if v P T . While the unconstrained parity orientation problem is polynomial (Chevalier et al. (1983)), imposing acyclicity makes it more challenging, and its complexity remains an open question. Szegedy and Szegedy ( 2006) proposed a randomized polynomial-time algorithm for this problem, but it is not known whether it belongs to co-NP. Furthermore, Gravier et al. (2025) showed the problem becomes NP-complete on partially directed graphs, even when restricted to planar cubic graphs. We identify three necessary conditions for the existence of acyclic T -odd orientation: a global parity condition P, and two conditions S and S ensuring the existence of potential sources and sinks. Following the work of Frank and Kiraly (2002), we define graph classes containing the graphs for which a given subset of the necessary conditions P, S and S is also sufficient for the existence of an acyclic T -odd orientation. We establish the inclusion relationships between these classes. We complete the study of these classes by a characterization of the solvable instances for Cartesian products of paths and cycles. The proofs of these results are all constructive, so that acyclic T -odd orientations can be built in polynomial time whenever they exist. We use these families, along with cliques, to demonstrate the strictness of the class inclusions in our hierarchy.

Evolomino is a pencil-and-paper logic puzzle published by the Japanese company Nikoli, renowned for culture-independent puzzles such as Sudoku, Kakuro, and Slitherlink. Its name reflects the core mechanic: the polyomino-like blocks drawn by the player must gradually "evolve" according to the directions indicated by arrows pre-printed on a rectangular grid. In this paper, we formalize the rules of Evolomino as an integer linear programming (ILP) model, encoding block evolution, connectivity, and consistency requirements through linear constraints. Furthermore, we introduce an algorithm for generating random Evolomino instances, utilizing this ILP framework to ensure solution uniqueness. Computational experiments on a custom benchmark dataset demonstrate that a state-of-the-art CP-SAT solver successfully handles puzzle instances of up to $11 \times 11$ within one second and up to $18 \times 18$ within one minute.

In this paper, we determine precise formulas for the diameters, the number of perfect matchings, and the Tutte polynomials for an infinite family of finite graphs, namely the Schreier graphs of tree automaton groups, also called tree graph automata. This enables us to easily find the number of spanning trees, spanning forests, and an explicit form for the chromatic polynomials. In the second part of the paper, we provide the precise values for the Wiener and Szeged index of any tree graph automaton.

Based on the notion of vectors and linear subspaces for a matroid, we develop a theory of flats and hyperplane arrangements for T-matroids, where T is a tract. This leads to several cryptomorphic descriptions of T-matroids: in terms of its lattice of T-flats, as a hyperplane arrangement over T, as point-line arrangements in projective space over T and as a quiver representation over T. We examplify these notions in the case of tropical linear spaces, a.k.a. valuated matroids.

In this paper, we show that for all $k\geq 10^8$, every graph with minimum degree $k$ and girth at least $10^8$ contains an induced subdivision of a $K_{k+1}$. This answers a problem asked by Kühn and Osthus (originally attributed to Shi).

A hole is an induced cycle of length at least 4, and an odd hole is a hole of odd length. It is NP-hard to color the vertices of an odd hole-free graph. A graph $G$ is perfectly divisible if every induced subgraph $H$ of $G$ with at least one edge admits a partition of $V(H)$ into sets $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. $G$ is short-holed if every hole in $G$ has length 4. A hammer is the graph obtained by identifying one vertex of a $K_3$ and one end vertex of a $P_3$. In this paper, we prove that (i) (odd hole, hammer, $K_{2,3}$)-free graphs are perfectly divisible, (ii) $χ(G)\le 4ω(G)(ω(G)-1)$ if $G$ is short-holed and $(K_1+C_4)$-free, (iii) $χ(G)\le 2ω(G)-1$ if $G$ is short-holed and $(K_1\cup K_3)$-free, and (iv) $χ(G)\le 16ω(G)-24$ if $G$ is short-holed and $(K_1+(K_1\cup K_3))$-free.

In this paper we modify a fundamental block construction of Kharaghani and Seberry and show how to use certain circulant $\{-1,1\}$-matrices of odd order $p$ to construct a complex Hadamard matrix of order $2p$. In particular, for $p=47$ we use computer-aided methods to discover the necessary circulant matrices, and consequently give a construction of a complex Hadamard matrix of order $94$ for the first time.

We investigate structural and combinatorial properties of Bi-Cayley graphs defined over cyclic groups of order $p^2q^2$, where $p$ and $q$ are distinct primes. We begin by describing their fundamental group-theoretic underpinnings. The main focus is on analyzing their connectivity, girth, clique number, chromatic number, diameter, and independence number. It is shown that these Bi-Cayley graphs are connected, biregular with explicitly determined degrees, and possess girth three. Furthermore, we prove that their diameter is equal to five. We further extend several results to Bi-Cayley graphs over arbitrary finite groups under suitable restrictions on the connecting set, with particular emphasis on the case where the connecting set consists of all its involutions. These results clarify structural similarities and differences between Cayley graphs and their Bi-Cayley generalizations.

Stanley's theorem establishes that for any finite graph $G$, the number $h_G(s)$ of magic labelings with magic sum $s$ can be expressed as a sum of two polynomials in $s$. However, determining the precise form of $h_G(s)$ is generally challenging. This paper aims to compute $h_G(s)$ and its generating function for pseudo-line graphs and pseudo-cycle graphs, thereby extending the earlier work of Bóna et al.\cite{Bona-1,Bona}.

Analogous to Weil-Petersson quasicircles, we investigate infinite circle patterns in the Euclidean plane parameterized by discrete harmonic functions of finite Dirichlet energy. The space of such circle patterns forms an infinite-dimensional Hilbert manifold homeomorphic to the Sobolev space of half-differentiable functions on the unit circle. The Hilbert manifold is equipped with a Riemannian metric induced from the Hessian of a hyperbolic volume functional. We relate this Riemannian metric to the symplectic form on the Sobolev space of half-differentiable functions via an analogue of the Hilbert transform. Every such circle pattern induces a quasiconformal homeomorphism from the unit disk to itself, whose boundary extension belongs to the Weil-Petersson class of the universal Teichmüller space. Our results shed light on Jordan domains packed by infinite circle patterns of hyperbolic type, a subject highlighted by He and Schramm.

In the finite projective space PG$(2n,q)$ we consider flags of type $(n-1,n)$, that is, pairs $(A,B)$ consisting of an $(n-1)$-space $A$ and an $n$-space $B$ that are incident. Two such flags $(A_1,B_1)$ and $(A_2,B_2)$ are opposite if $A_1\cap B_2=A_2\cap B_1=\emptyset$. Let $Γ_{2n}$ be the graph whose vertices are the flags of type $(n-1,n)$ of PG$(2n,q)$, with two vertices being adjacent if the corresponding flags are opposite. Using the Erdős-Matching theorem for vector spaces shown by Ihringer, we determine, for $q$ large enough, the largest cocliques of $Γ_{2n}$ and obtain a stability result. This EKR-type theorem proves a conjecture of D'haeseleer, Metsch and Werner.

We study biased Maker-Breaker games on a graph system $\{G_1,\ldots,G_s\}$, in which Maker's goal is to claim certain rainbow structures, i.e., specified subgraphs consisting of at most one edge from each graph $G_i$. We consider the rainbow-connectivity game, in which Maker wants to claim a rainbow path between every pair of vertices. We analyse this game in detail, essentially determining the threshold bias when played on the system of complete graphs, and observing that whether the random graph intuition holds depends on the size of $s$. The key ingredient of our result is the analysis of a Maker's strategy that combines several randomized strategies with an appropriately designed balancing game. As a byproduct, we find the order of the threshold bias for the Maker-Breaker diameter game, and disprove a conjecture by Balogh, Martin and Pluhár. Another natural and general way to analyse Maker-Breaker games that are played on a colored board is to require Maker to occupy a rainbow winning set of a given positional game. In the case of the connectivity game, Maker's goal is to claim a rainbow spanning tree. For this game played on the system of complete graphs, we establish matching upper and lower bounds on the threshold bias, up to constant factors.

We introduce two new types of graph configurations, the Jflower and the Jposy, which generalize the classical flower and posy configurations of Edmonds, Sterboul, and Deming in the context of maximum matchings. These generalized configurations allow greater flexibility in characterizing non-Konig-Egerváry graphs and provide new tools for studying matching-theoretic properties. Our main result shows that the sets of vertices covered by classical configurations (flowers and posies), restricted configurations (Tposies), and generalized configurations (Jflowers and Jposies) coincide. This equivalence yields a unified characterization of what we call Sterboul-Deming graphs, graphs in which every vertex belongs to some configuration relative to an appropriate maximum matching.

A graph is said to be a Sterboul--Deming graph if $KE(G)=\emptyset$, that is, if every vertex of $G$ belongs to a posy or a flower (structures introduced by Sterboul, Deming, and Edmonds). These graphs can be regarded as the structural counterparts of König--Egerváry graphs. In this paper, we present several characterizations of Sterboul--Deming graphs. We first study the case of graphs with a perfect matching and with a unique perfect matching, providing a constructive algorithm to obtain the decomposition $(SD(G), KE(G))$. Then, we extend the analysis to the general case through the Gallai--Edmonds decomposition. In addition, we show that the class of Sterboul--Deming graphs is remarkably broad: it contains all graphs having a $\{C_n : n \textnormal{ odd}\}$-factor, providing a simple structural criterion for identifying such graphs. These results establish new connections between classical decomposition theorems and the internal structure of non--König--Egerváry graphs.

An almost bipartite graph is a graph with a unique odd cycle. Levit and Mandrescu showed that in every non-König--Egerváry almost bipartite graph the equalities $\textnormal{ker}(G)=\textnormal{core}(G)$, $\textnormal{corona}(G)\cup N(\textnormal{core}(G)) = V(G)$ and $\left|\textnormal{corona}(G)\right|+\left|\textnormal{core}(G)\right|=2α(G)+1$ hold. In this work, we present a generalization of this theory by introducing the family of $R$-disjoint graphs, which contains all non-König--Egerváry almost bipartite graphs, allowing the presence of multiple odd cycles under connectivity constraints based on the reach sets $R(C)$. We prove that $R$-disjoint graphs preserve the fundamental properties of almost bipartite graphs: $\textnormal{ker}(G)=\textnormal{core}(G)$ and $\textnormal{corona}(G)\cup N(\textnormal{core}(G))=V(G)$. Moreover, we establish the formula $\left|\textnormal{corona}(G)\right|+\left|\textnormal{core}(G)\right|=2α(G)+k$, where $k$ is the number of disjoint odd cycles in $G$, which refines the previously known particular case when $k=1$. $R$-disjoint graphs naturally induce a canonical decomposition; we obtain structural properties of this decomposition and, as a consequence, verify a recent conjecture of Levit and Mandrescu.

Let $(a_n)_{n\ge 1}$ be the greedy self-generating sequence defined by $a_1=1$, $a_2=2$, and, for $k\ge 3$, by taking $a_k$ to be the least integer greater than $a_{k-1}$ that can be written as a sum of at least two consecutive earlier terms. Hofstadter asked about the asymptotic behavior of this sequence. In this paper we prove that $$ n+ω(1)\le a_n \ll n^{4175/2506+o(1)}. $$ In particular, $(a_n)_{n\ge1}$ omits infinitely many positive integers, thereby settling a conjecture from the OEIS entry A005243.