arXiv++ Combinatorics

We prove, in $\mathsf{ZFC}$, that the $λ$-terraced cube relation fails whenever $λ$ is an uncountable cardinal. The corresponding terraced relation for quadruples fails for every $λ$. If $λ$ is $\aleph_0$ then the pretinent terraced relation has consistency strength of at least one Woodin cardinal. We prove positive polarized relations at a successor and a double successor from wondrous ideals. We show, however, that there are no such ideals over two consecutive cardinals simultaneously.

We provide a proof, free of ultrafilters and almost reduction, that every subset of a topological Ramsey space is Ramsey in the Solovay model.

We answer in the negative the question of Thomas, recorded by Conley, Conley--Marks--Unger, and Conley--Tamuz, of whether every locally finite Borel graph admits a Borel unfriendly partition. Our counterexample has unbounded degree and is closed on a zero-dimensional Polish space; its connectedness relation is hyperfinite, and its components are bipartite and one-ended. Every unfriendly colouring is proper. Together with a parity obstruction, this rigidity rules out Baire measurable colourings that are unfriendly on a comeager set, and measurable colourings that are unfriendly almost everywhere for a quasi-invariant probability of finite average degree. In the positive direction, a Borel graph of maximum degree at most four admits a Borel unfriendly colouring whenever each component contains a cycle or a vertex of degree at most two. This reduces the Borel problem in maximum degree three to cubic forests and, with a theorem of Conley--Marks--Unger, gives Baire measurable unfriendly colourings for all Borel graphs of maximum degree at most four.

Suppose $R$ is a commutative ring and $G$ is a group acting on a set $W$. We consider the $RG$-module $RW$ in the case where $G$ is the automorphism group of an $ω$-categorical structure $M$ and $W$ is, for example, $M^n$ (for $n \in \mathbb{N}$). We develop methods which may provide information about two questions in the case where $R$ is a field $F$: whether $FW$ has a.c.c. on submodules; and in the case where $M$ is finitely homogeneous, whether $FW$ is of finite composition length. In the case where $M$ is a Ramsey structure and so $G$ is extremely amenable, we give a simple `decision procedure' for membership in a submodule of $RW$ specified by a given generating set. If $F$ is a field, we show that there is a duality between submodules of $FW$ and the topological $FG$-module of definable functions from $W$ to $F$.

Given a finite family $\mathcal F$ of forbidden $r$-graphs, the Turán problem asks for the maximum asymptotic edge density of $\mathcal F$-free $r$-graphs and the structure of near-extremal examples. We show that both questions can encode arbitrary computation. Fix a universal Turing machine $\mathsf U$. For every sufficiently large fixed $r$, there is a rational $τ_r\in(0,1)$ such that, from each binary word $β$, one can construct a finite family $\mathcal F_{r,β}$ with $π(\mathcal F_{r,β})=τ_r$ if $\mathsf U$ does not halt on $β$, and $π(\mathcal F_{r,β})>τ_r$ otherwise. The same dichotomy governs extremal structure. We construct finite families $\mathcal G_{r,β}$ such that nonhalting gives a unique extremal limit and Erdős--Simonovits stability, whereas halting gives two nonempty compact extremal phases separated by the sign of a fixed continuous statistic. Hence uniqueness and connectedness of the extremal space, symmetry breaking, two-phase behavior, and stability are all undecidable. The reductions are effective and verifiable in ZFC by finite certificates. Consequently, for every consistent computably axiomatized extension of ZFC and every sufficiently large fixed $r$, there is a finite family $\mathcal F$ for which the true equality $π(\mathcal F)=τ_r$ is neither provable nor refutable; analogous independence holds for the five structural properties above. We also obtain effective approximation, classify exact comparison complexity, and show that the smallest improvement witnesses have Busy-Beaver growth, with no uniform computable positive lower bound on the density gain.

Combinatorial set theory provides several tools to study derived limits of certain inverse systems of abelian groups. Most known nonvanishing results for $\lim^n$ with $n>1$ depend on some guessing principles of the form $\mathrm{w}\lozenge(S)$ called weak diamonds. In this paper, we explore some applications of the guessing principle $\clubsuit(S)$ and its weakenings instead.

We prove that a relation obtained by composing arbitrary functions of arity $\leq k$ with a relation definable in an $n$-dependent structure is $kn$-dependent. This confirms a conjecture of Chernikov and Hempel. We also demonstrate optimality of the result.

We study multipartite hypergraphs definable in $1$-semi\-equational theories and prove almost-linear Zarankiewicz bounds in every fixed arity $r\geq2$. More precisely, if $T$ is a $1$-semi-equational theory, then, for every formula $\varphi$ and every $t\geq2$, and every $r\geq2$, there is a constant $c$ such that each $K_{t,\ldots,t}$-free $r$-partite hypergraph defined by $\varphi$ on $n$ vertices has $O_{T,\varphi,t,r}(n^{r-1}(1+\log(1+n))^c)$ edges. In the bipartite case, a Boolean combination of $m$ $(k,1)$-semi-equations has $O_{k,t,m}(n(1+\log(1+n))^{(m-1)(k-1)})$ edges whenever it is $K_{t,t}$-free. In particular, a relation defined by one $(k,1)$-semi-equation or its negation has a linear bound. The proofs are based on incidence estimates for $k$-wise laminar indexed set systems.

For a tree $T$, let $[T]$ be the set of isomorphism classes of trees that are mutually topological minors of $T$. Bruno and Szeptycki proved that every locally finite tree satisfies $|[T]|\in\{1,2^{\aleph_0}\}$ and that every tree with a ray containing infinitely many vertices of degree at least $3$ has at least $2^{\aleph_0}$ topological twins. Hence equality holds in the latter case when the tree is countable. We treat the complementary countable case, without any bound on the degrees. For every such tree $T$, we prove that $|[T]|\in\{1,\aleph_0,2^{\aleph_0}\}$ and give a well-founded recursive description based on Schmidt rank. The proof uses a finite canonical subtree extracted from the subtree generated by the branching vertices and a counting theorem for countable multisets over a well-quasi-order. The same trichotomy follows for every countable tree and hence for every tree all of whose vertices have countable degree.

We show that the isomorphism relation for countable Steiner triple systems is Borel complete, that is, the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Steiner triple systems. To prove it, we construct a faithful Borel reduction from countable graphs to countable Steiner triple systems, that is, a Borel assignment $θ$ that associates every countable graph $G$ with a countable Steiner triple system $θ(G)$ so that $G\cong G'$ if and only if $θ(G)\congθ(G')$. Moreover, $θ$ preserves automorphisms which means that $\mathrm{Aut}(G)\cong\mathrm{Aut}(θ(G))$.

A theorem of Dougherty--Jackson--Kechris states that any equivalence relation generated by a single Borel function is hypersmooth. A well-known open problem is whether this can be generalized to equivalence relations generated by countable families of pairwise commuting Borel functions. We give an affirmative answer in the case where the functions are bounded-to-one. This generalizes the theorem of Gao--Jackson on Borel actions of countable abelian groups.

In this paper we study Borel graphs generated by finitely many commuting Borel functions. We give a geometric analysis of the free part of such graphs based on marker sets and marker regions. Assuming the existence of $r$-forward-independent hitting sets with bounded syndeticity, we obtain marker decompositions of the free part into rootless and rooted regions with controlled geometry. As applications, we derive finite Borel asymptotic dimension and hyperfiniteness, and obtain upper bounds for Borel edge chromatic numbers which improve previously known results. For the case in which each of the commuting Borel functions is bounded-to-one, we verify the existence of $r$-forward-independent hitting sets with syndeticity $Cr$ for some constant $C$. This gives another proof of a recent theorem of Naryshkin-Shinko-Weilacher-Yu, and is used to show that if one of the commuting Borel functions is injective and another one is bounded-to-one and exactly even-to-one, then the graph has a Borel perfect matching.

Let $G_D(n;r)$ be the random geometric graph generated by $n$ independent uniform points on the $D$-dimensional torus, with adjacency defined by torus $L^\infty$-distance at most $r$. We study first-order zero-one and convergence laws at fixed radius and in sparse regimes. At fixed radius, we determine the asymptotics of the expected number of adjacent twin pairs in every dimension. In dimension two, more generally, for each origin-symmetric convex connection body $K\subset(-1/2,1/2)^2$, the twin count converges to a Poisson variable with mean $\operatorname{area}(K^\circ)/16$; hence the zero-one law fails for all fixed $0<r<1/2$ in the $L^\infty$ and Euclidean models. At each critical component threshold $n^k r_n^{D(k-1)}\to a\in(0,\infty)$, the numbers of components of the feasible connected $k$-vertex types converge jointly to independent Poisson variables, yielding the complete first-order convergence law. Between consecutive thresholds a zero-one law holds. For $D\ge3$, we also construct a definable common-neighborhood configuration of probability order $1/n$.

We show that, up to isomorphism, the number of $Q$-points is either finite, $2^{\mathfrak{d}}$ or $2^{\mathfrak{c}}$. This answers a question asked by Borodulin-Nadzieja, Martínez-Celis, Morawski and Świerczyńska, and by Halbeisen and the authors. We also show that under mild hypotheses, the existence of infinitely many $Q$-points implies the existence of non-atomic $Q$-measures, and of $2^{\mathfrak{c}}$-many Tukey-top $Q$-points, strengthening results of Raghavan and of Borodulin-Nadzieja et al..

We study (bounded) finitely additive measures on the group of integers $\mathbb Z$, as elements of the Banach algebra $\mathrm{ba}(\mathbb Z)$, viewed as a natural generalization of ultrafilters. The algebraic structure of $\mathrm{ba}(\mathbb Z)$ extends the semigroup structure of the Čech--Stone compactification, allowing methods from ultrafilter theory to be applied in a broader measure-theoretic setting. We investigate idempotent finitely additive measures and establish additive properties of subsets of $\mathbb Z$ having positive measure. We then proceed to study almost translation-invariant and translation-invariant finitely additive measures, showing that these stronger notions yield correspondingly stronger additive conclusions. In particular, we prove that every subset of $\mathbb Z$ whose measure exceeds a certain explicit threshold necessarily is an $\mathsf{IP}_{n}$-set; with stronger properties and lower thresholds depending on the properties of the relevant measures. Several examples illustrating the sharpness and limitations of the results are also presented, together with a discussion of open problems and directions for future research.

The hypernatural numbers $\mathbb{N}$ of nonstandard analysis have recently proven to be an effective tool in arithmetic Ramsey theory. After introducing the fundamental ``nonstandard" notions, we present several examples to illustrate the use of this technique in practice. In particular, we provide brief nonstandard proofs of some recent results concerning the partition regularity of certain families of infinite configurations. We also present a new theorem about monochromatic sums and products.

We prove a multidimensional extension of a strong Hales-Jewett theorem that simultaneously and "directly" extends Ramsey's theorem and Hindman's theorem. The proofs show the effectiveness and simplicity of the techniques based on iterated nonstandard extensions that have been recently developed. Unlike existing ultrafilter proofs, our arguments to prove the strong Hales-Jewett theorem assume neither minimal nor idempotent ultrafilters. To demonstrate this, we translate our proof of the strong Hales-Jewett theorem into an ultrafilter proof that requires only non-principal ultrafilters.

We take the first step toward the study of set-theoretic principles below the axiom of choice $\mathsf{AC}$ and the axiom of foundation $\mathsf{AF}$ by studying Frucht's theorem, an ordinary mathematical theorem which is provable with either $\mathsf{AC}$ or $\mathsf{AF}$ but not provable without both, and its variants. Specifically, we propose a number of such principles, study the relations between these principles and the standard axioms, and prove provability and unprovability results using (infinite) graph-theoretic constructions and permutation models, which draw a preliminary map of this new area of set theory.

The rearrangement number $\mathfrak{rr}$ is the least cardinality of a collection of permutations of $ω$ such that every conditionally convergent real series is disrupted by some permutation in the collection. Blass, Brendle, Brian, Hamkins, Hardy, and Larson proved that $\max\{\operatorname{cov}(\mathcal N),\mathfrak b\}\leq\mathfrak{rr}\leq\operatorname{non}(\mathcal M)$ and asked whether $\mathfrak{rr}<\mathrm{non}(\mathcal M)$ is consistent. We prove that $\mathfrak{rr}<\operatorname{non}(\mathcal M)$ is consistent with ZFC. We also prove, in a different forcing extension, that $\max\{\operatorname{cov}(\mathcal N),\mathfrak b\}<\mathfrak{rr}$. We further derive consequences for the subseries number $\mathfrak{s}_{\mathrm{sub}}$ and the splitting number $\mathfrak s$.

We prove that $(k+1)$-uniform hypergraphs definable in an NIP strongly $k$-distal structure satisfy a homogeneous regularity lemma -- they can be partitioned into a bounded number of simplicial complexes, most of which are homogeneous (meaning that the restriction of the hypergraph to the simplicial complex is either complete or empty). Furthermore, the parts of the partition can be chosen uniformly definably, and the size of the partition is polynomial in the reciprocal of the error parameter. This extends the homogeneous regularity lemma proven by Chernikov and Starchenko for hypergraphs definable in a distal structure. We prove this by introducing $k$-strong honest definitions and showing that an NIP structure is strongly $k$-distal if and only if every formula $\varphi(x_1, ..., x_k; y)$ has a $k$-strong honest definition. This extends the theory of strong honest definitions in distal structures to the higher-arity setting.