arXiv++ Combinatorics

We show that one of the main cases of the stable forking conjecture, stability of the forking relation over a base in a finite-rank supersimple theory, is determined by finitely many pregeometries in each rank. This case of the stable forking conjecture has long had an implicitly well-known pregeometric interpretation: there is a set of matroids $\mathcal{G}_{n}$ such that the forking instability in rank $n$ is equivalent to the pregeometry on some rank-one partial type (over a finite set) embedding a matroid in $\mathcal{G}_{n}$. Our contribution is to show that this set of matroids $\mathcal{G}_{n}$, determining based forking stability in rank $n$, can be chosen to be finite. The main part of our proof was already accomplished in rank $3$ by Peretz, but does not extend as stated to higher ranks (and may or may not directly extend in a weaker sense to higher ranks, by shrinking terms). However, we obtain a sufficient substitute for Peretz's work in ranks $n > 3$: we turn Peretz's original universal result into an existence theorem. The rest of our proof refines an argument from multi-experiment parameter definability, originating from work in applied model theory by Li, Meshkat, Ovchinnikov, Pillay, Pogudin and Scanlon.

The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal algebraic identities with analytic convergence properties. We address these foundational challenges by focusing on the construction of $q$-Pochhammer symbols, $q$-binomial coefficients, Bailey's Lemma and similar primitives. To demonstrate the utility of this work, we provide fully verified proofs of the Jacobi Triple Product formula and the celebrated Rogers-Ramanujan identities, which serve as both historical and technical benchmarks for the field. This work establishes a rigorous computational foundation for the future formalization of mock theta functions, modular forms, and the diverse algebraic structures that underpin their applications across mathematics and physics.

Let \(\vec F(2^{\mathbb Z^2})\) be the directed Schreier graph on the free part of the Bernoulli shift \(\mathbb Z^2\curvearrowright 2^{\mathbb Z^2}\), with arcs in the two coordinate directions. We prove that the continuous oriented chromatic number of it is 7, that is, there is a tournament on 7 vertices receiving a continuous graph homomorphism from $\vec F(2^{\mathbb Z^2})$ and there is no continuous graph homomorphism from $\vec F(2^{\mathbb Z^2})$ to any tournament on 6 vertices.

Let $\mathbb{H}_{n+1}$ denote a computable copy of the $(n+1)$-clique free universal homogeneous Henson graph, $G$ denote a finite subgraph of $\mathbb{H}_{n+1}$, and $k(G,n)$ denote the big Ramsey degree of $G$ in $\mathbb{H}_{n+1}$. We prove that for any computable coloring $χ$ of the copies of $G$ in $\mathbb{H}_{n+1}$, there is a copy $\mathbb{H}'$ of $\mathbb{H}_{n+1}$ that is computable from $0^{(2δ(G,n)-1)}$ in which $χ$ takes no more than $k(G,n)$ colors, where $δ(G,n)$ denotes the maximum number of levels of a diary for $G$ in $\mathbb{H}_{n+1}$ (this is a finite number). It follows that the statement, ``Henson graphs have finite big Ramsey degrees," is provable in ACA$_0'$. Combining this with a recent result of Cholak, Dobrinen, and McCoy \cite{CDM} yields the equivalence of the statement with ACA$_0'$ over RCA$_0$.

We settle the long-standing open question whether there exists a $3$-ladder of cardinality $\aleph_2$. Given a positive integer $n$, an $n$-ladder is a lower finite lattice whose elements have at most $n$ lower covers. In 1984, Ditor proved that every $n$-ladder has cardinality at most $\aleph_{n-1}$, and that this cardinal bound is sharp for $n = 1,2$. He then raised the question of whether the bound is attained for $n\ge 3$ as well. An affirmative answer is known to be consistent with $\mathsf{ZFC}$. We prove, relative to the consistency of a Mahlo cardinal, that the question is independent of $\mathsf{ZFC}$. More precisely, we show that the nonexistence of a $3$-ladder of cardinality $\aleph_2$ is equiconsistent with a Mahlo cardinal.

This theoretical note studies the finite axiomatizability of strict majority reasoning in finite social decision frames. Moss and Pedersen (2026) <doi: 10.48550/arXiv.2606.23853> introduce a coherence criterion that characterizes exactly when qualitative majority judgments are representable by a finitely additive measure. The question addressed here is whether that coherence criterion can be replaced, in the finite setting, by any bounded finite fragment. We prove that it cannot. For every $k\ge 1$, we construct a maximal standard frame whose shortest coherence violation has length exactly $2k+2$. Hence there is no uniform finite bound on the incoherence index of social decision frames, resolving Conjecture 5.7 stated by Moss and Pedersen (2026). The construction is geometric, in the sense that it proceeds via orthogonality and dimension in rational vector spaces, and self-contained: it isolates a symmetric family of half-sized voting blocs and extends it to a maximal frame in which every shorter balanced obstruction is excluded. Along the explicit infinite sequence of universe sizes obtained in the construction, this also establishes the middle-layer family predicted by Conjecture B.25 by Moss and Pedersen (2026). Together with the soundness and completeness theorem for the Moss-Pedersen minimal logic for strict majorities, this establishes that measurable social decision frames are not finitely axiomatizable in that language.

We define a combinatorial property of a projective Fraisse category which we call the \emph{approximate Ramsey property}. Let $F$ be a continuum, $G$ a closed subgroup of the homeomorphism group of $F$, and $\mathbb{F}$ the limit of projective Fraisse category $\mathcal{F}$ such that $\textrm{Aut}(\mathbb{F})$ is dense in $G$. We prove that $\mathcal{F}$ has the approximate Ramsey property if and only if $G$ is extremely amenable. We prove that the group of homeomorphisms of the universal pseudo-solenoid has non-metrizable universal minimal flow.

We study monadic dependence of binary relational structures including at least one antisymmetric relation. Our cornerstone result gives sufficient conditions for proving that a structure is monadically dependent by only considering some of its reducts, assuming they are structurally well-behaved and compatible enough. As an application, we consider some reorientation rules preserving monadic dependence of binary structures, as well as replacement of one antisymmetric relation with bounded independence number by another. Then, we apply our main (technical) result to the study of twin-width in two ways. First, generalizing the fact that twin-width boundedness is equivalent to being expandable by a linear order into a monadically dependent class, we prove that it is also equivalent to being expandable by an oriented graph with bounded independence number (for instance by a poset with bounded width or by a tournament), and that FO-model checking is fixed-parameter tractable on such an expansion. Second, we show delineation by twin-width for some new classes of oriented graphs, including oriented split graphs and local tournaments. In all these cases, we also obtain fixed-parameter tractability of FO-model checking.

In 1921, Kuratowski gave the now-standard definition of ordered pair in the context of set theory. This paper studies the problem of defining ordered tuples as sets in the hierarchy of simple types, of which Kuratowski's construction is a special case.

The end space of an infinite graph arises naturally in many contexts as an important invariant and an interesting construction. It compactifies a locally finite graph and Diestel shows how to extend the end space to a larger space, called the tangle space, which is able to compactify any infinite graph. In both ends and tangles, it is the vertex-connectivity structure of the graph that is being studied. If we switch our attention to edge-connectivity, we can analogously define edge-ends. There is a space known as the edge-direction space which turns out to play an analogous role as the tangle space in its relationship with the end space: the edge-direction space provides a larger compact space in which the not necessarily compact space of edge-ends lives in. In this paper, we make this analogy precise, providing a natural edge analogue definition of tangles and proving they result in exactly the edge-directions. We also describe a combinatorial construction of certain Boolean algebras which give rise, via Stone duality, to the tangle and the edge-direction spaces. Finally, we pursue functorial definitions of the combinatorial constructions used in the paper, inspired by the famously functorial nature of Stone duality and by previous work by one of the authors and colleagues on trying to functorialize the end space construction. We hope our work will provide foundation and inspiration for further work on infinite graph theory that makes ample use of category theory and powerful algebraic constructions such as Boolean algebras and Stone duality.

We prove the existence of clopen strong marker sets in $F(2^{\mathbb{Z}^n})$ for arbitrary finite generating sets. Specifically, for any positive integers $n, d_0\geq 1$ and any finite generating set $S\subseteq \mathbb{Z}^n$, we construct a clopen set $M\subseteq F(2^{\mathbb{Z}^n})$ and a positive integer $Δ$ such that (1) for any distinct $x,y\in M$ in the same orbit, $ρ(x,y)\geq d_0$; (2) for any $v\in S$ and any $x\in F(2^{\mathbb{Z}^n})$, there are non-negative integers $a,b\leq Δ$ such that $av\cdot x\in M$ and $-bv\cdot x\in M$. Here $ρ$ denotes the Euclidean metric. The same result then holds for the standard supremum-norm metric $ρ_\infty$ (with an adjusted constant), by the equivalence of norms on $\mathbb{Z}^n$. The proof introduces polyhedral packages in $\mathbb{R}^n$ as a generalization of the rectangular packages used in earlier work, enabling the construction to handle generating vectors with arbitrary coordinate patterns. As an application, we obtain a continuous proper edge $(2|S|+1)$-coloring of the Schreier graph on $F(2^{\mathbb{Z}^n})$ with generating set $S$, recovering a result of Gao--Wang--Wang.

Sunflowerability, or the infinite sunflower property, was introduced and studied by Ackerman, Karker and Mirabi as a structural generalization of the well-known Δ-system lemma for sets. It turns out that for relational Fra\''issé limits with strong amalgamation, this property is equivalent to the so-called galah property, which was introduced by Sullivan and Winkel as an asymmetric variation of indivisibility. This paper is about these two properties and is divided into three parts. In the first part, we show that the conjecture proposed by Ackerman, Karker and Mirabi about the infinite sunflower property in higher dimensions is far from being true by proving that no infinite structure has the infinite n-sunflower property in dimension k for any n, k \geq 2. In the second part, we give a complete characterization of the galah property for Henson directed graphs, homogeneous metric spaces and homogeneous ultrametric spaces, thereby answering the second question asked by Sullivan and Winkel. The third part contains several additional results about the finite sunflower property, including a strengthening of recent results about indivisibility for some classes of undirected graphs obtained by Guingona et al..

An $n$-partite graph is a graph such that every vertex has a color in $\{1,\ldots,n\}$ and every two vertices of the same color are not adjacent. We study the model comparisons of the theories of $n$-partite graph and $K_{\overline{m}}$-free $n$-partite graph, where $K_{\overline{m}}$ is a complete graph of a given size. The model companion of the theory of $n$-partite graph is simple and has IP. The model companion of the theory of $K_{\overline{m}}$-free $n$-partite graph has $\operatorname{TP}_2$, $\operatorname{SOP}_3$ and $\operatorname{NSOP}_4$ if $n > 2$. Forking independence coincides with dividing independence in this theory.

Let $G$ be a locally finite multigraph that is bipartite and "unbalanced," meaning that it has a nontrivial bipartition $(A,B)$ with $°(x) > °(y)$ for all $x \in A$ and $y \in B$. We explore matchings in such graphs through the lens of descriptive set theory. In particular, we show that when $G$ is Borel and $μ$ is a Borel probability measure on its vertex set, there is a Borel matching in $G$ that covers $μ$-almost every vertex in $A$. This was previously known only under the assumption that $μ$ is $G$-invariant, which we eliminate using a novel probabilistic approach. We also describe various extra conditions that imply the existence of a Borel matching covering every vertex in $A$. Along the way, we confirm a conjecture of the first and third named authors concerning the existence of Borel independent complete sections in Borel graphs of finite asymptotic separation index. In addition to their intrinsic interest, our results have applications to various other topics, such as edge-colorings, balanced orientations, and equidecomposition theory for group actions. For example, we show that the measurable edge-chromatic number of every Borel multigraph with finite maximum degree $Δ$ is at most $\lfloor\frac{3Δ}{2}\rfloor$, matching Shannon's optimal bound for finite multigraphs. Another example is that paradoxical Borel group actions with finite asymptotic separation index admit paradoxical decompositions with Borel pieces. This refines a result of Marks and Unger.

We study $\mathbb{Z}$-Ramsey ultrafilters, ultrafilters containing witnesses to every shift-invariant instance of Ramsey's theorem. We prove that it is consistent that there are no $\mathbb Z$-Ramsey ultrafilters. We also prove that every $(\mathbb{Z},3)$-Ramsey ultrafilter, as well as every $\mathbb{Z}$-Ramsey P-point, is selective. Further, we exhibit a generic extension -- using quotient algebras of the form \(\mathcal{P}(\mathbb{Z})/\mathcal{I}\) for certain \(F_{σ}\)-ideals -- that contains P-points that are not \(\mathbb{Z}\)-Ramsey ultrafilters, thereby addressing open questions raised by Petrenko and Protasov.

We consider some extremal combinatorial questions for bipartite graphs definable in stable one-based (and related) structures. We show that they satisfy both strong Erdős-Hajnal property and linear Zarankiewicz. We also show that the same is true for both collapsed and uncollapsed Hrushovski's ``ab initio'' constructions, and discuss some connections to Zilber's trichotomy principle. For strong Erdős-Hajnal, we show that in fact it holds in a more general class of $1$-semi-equational theories.

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.

We investigate infinite-exponent partition relations on arbitrary relational structures, with a focus on linear orders and graphs. Any such relation contradicts the Axiom of Choice. We show that there are some such relations which are consistent with ZF which imply the failure not just of Choice but also of the Kinna-Wagner Selection Principle KWP$_1$ and the Ordering Principle O.

An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable pure set and the countable dense linear order without endpoints have this property. We generalise these results to (a) any structure approximated by finite substructures with few orbits, provided the field is of characteristic zero, and (b) any Fraïssé limit with free amalgamation in a finite vocabulary consisting of unary and binary relations, possibly expanded with a generic total order. As a special case, we deduce the finite length property of the Rado graph using both methods. We also describe some connections with function spaces, weighted register automata, and orbit-finite systems of linear equations.

We investigate the class of FHP theories, i.e. theories of structures in which all definable families of sets satisfy the Fractional Helly Property (and its variants) from combinatorics. FHP theories generalize NIP and form a new subclass of low NTP$_2$ theories. We give many new examples (including ultraproducts of finite fields and of the $p$-adics) and establish some results about forking and $f$-generics for amenable groups definable in FHP theories. We make several conjectures about finitary combinatorial properties of forking in NTP$_2$ theories and establish some partial results, as well as investigate related two-cardinal type counting functions addressing a question of Adler.