arXiv++ Combinatorics

We improve the bounds on the Hales-Jewett numbers to a tower of exponentiations. Earlier it was $WaW$ (that is, iterations of towers which are themselves iterated exponentiations). We improve the inductive step there (induction on the size of the alphabet, $|Λ|$) to 2-exponentiations, instead of towers. In the longer work in typing, (A) We present this inductive step as a partition theorem in its own right; (but in this preliminary version we make it just serve the bound on HJ numbers). (B) We shall deal with the density version of Hales-Jewett with similar bound. We are also dealing with the Graham-Rothschild Theorem and the Affine Ramsey Theorem and the polynomial case, and give background.

We prove an $\mathrm{MSO}_2$ zero-one law for a very sparse Erdős-Rényi graph after pruning by component order. Let $p_n=c_n/n$, where $c_n\to0$, and delete every component of order less than $f(n)$, where $f(n)\to\infty$. If \[ f(n)\bigl(\log f(n)+\log(1/c_n)\bigr)=o(\log n), \] then the resulting graph satisfies a zero-one law for $\mathrm{MSO}_2$, with quantification over sets of vertices and sets of edges. The proof combines uniform component counts, an MSO Feferman-Vaught decomposition for disjoint unions, and semilinearity of the order spectra of MSO-definable classes of finite trees. We also show that the term $f(n)\log f(n)$ cannot simply be omitted: star components can occur at first-order-visible Poisson thresholds. We further establish first-order limit laws for bond percolation on the discrete torus $T_L^d$. In the two-sided subpolynomial regime, pruning below a sufficiently slow threshold yields a zero-one law. For the unpruned model in either one-sided polynomial regime, the reciprocal exponents $α=1/k$ are precisely the critical scales. At such a scale, an extended limit of $N p_N^k$ or $N q_N^k$ equal to $0$ or $\infty$ gives a zero-one law; a positive finite limit gives a convergence law but not a zero-one law; and the absence of an extended limit gives failure of convergence. Finally, $\mathrm{MSO}_1$ already detects the parity of the torus side length through bipartiteness, producing a natural obstruction to monadic convergence in a near-deterministic regime.

Addressing a question of Erdos and Hajnal we show that one can force a graph with no large independent sets and no monochromatic triples as successors of strong limit singular cardinals, even without assuming GCH. The result can be pushed down to $\aleph_ω$.

Suppose that $G$ is a graph of cardinality $μ^+$ with chromatic number $χ(G)\geq μ^+$. One possible reason that this could happen is if $G$ contains a clique of size $μ^+$. We prove that this is indeed the case when the edge relation is stable. When $G$ is a random graph (which is simple but not stable), this is not true. But still if in general the complete theory of $G$ is simple, $G$ must contain finite cliques of unbounded sizes.

An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting that if we color edges of the complete graph we can find a large highly connected monochromatic subgraph. In particular, several questions of Bergfalk, Hrušák and Shelah are answered by showing that assuming the consistency of suitable large cardinals the following are relatively consistent with $\mathsf{ZFC}$: $κ\to_{hc} (κ)^2_ω$ for every regular cardinal $κ\geq \aleph_2$ and $\neg\mathsf{CH}+ \aleph_2 \to_{hc} (\aleph_1)^2_ω$. Building on a work of Lambie-Hanson, we also show that $\aleph_2 \to_{hc} [\aleph_2]^2_{ω,2}$ is consistent with $\neg\mathsf{CH}$. To prove these results, we use the existence of ideals with strong combinatorial properties after collapsing suitable large cardinals.

This paper continues a line of investigation of the Halpern--Läuchli Theorem at uncountable cardinals. We prove in ZFC that the Halpern--Läuchli Theorem for one tree of height $κ$ holds whenever $κ$ is strongly inaccessible and the coloring takes less than $κ$ colors. We prove consistency of the Halpern--Läuchli Theorem for finitely many trees of height $κ$, where $κ$ is a strong limit cardinal of countable cofinality. On the other hand, we prove failure of weak forms of Halpern--\Lauchli\ for trees of height $κ$, whenever $κ$ is a strongly inaccessible, non-Mahlo cardinal or a singular strong limit cardinal with cofinality the successor of a regular cardinal. We also prove failure in $L$ of a weak version for all strongly inaccessible, non-weakly compact cardinals.

The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (ω)$ are known to satisfy that $ω_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also introduce a new upper bound for $\mathfrak h$ and show that it can be less than $\mathfrak s$. The key method is to utilize finite support matrix iterations of ccc posets following \cite{BlassShelah}.

Jing Zhang proved the consistency of $\binom{ω_2}{ω_1}\rightarrow\binom{n}{ω_1}_ω$ for every $n\inω$ with the negative relation $\binom{ω_2}{ω_1}\nrightarrow\binomω{ω_1}_ω$. We reduce the consistency strength of this statement to an $ω_1$-Erdos cardinal.

We prove a version of the strong Taylor's conjecture for stable graphs: if $G$ is a stable graph whose chromatic number is strictly greater than $\beth_2(\aleph_0)$ then $G$ contains all finite subgraphs of Sh$_n(ω)$ and thus has elementary extensions of unbounded chromatic number. This completes the picture from our previous work. The main new model theoretic ingredient is a generalization of the classical construction of Ehrenfeucht-Mostowski models to an infinitary setting, giving a new characterization of stability.

We prove that if $G=(V,E)$ is an $ω$-stable (respectively, superstable) graph with $χ(G)>\aleph_0$ (respectively, $2^{\aleph_0}$) then $G$ contains all the finite subgraphs of the shift graph $\text{Sh}_n(ω)$ for some $n$. We prove a variant of this theorem for graphs interpretable in stationary stable theories. Furthermore, if $G$ is $ω$-stable with $\mathrm{U}(G)\leq 2$ we prove that $n\leq 2$ suffices.

Consider the Hales-Jewett theorem. The $k$-dimensional version of it tells us that the combinatorial space $\mathcal{U}_{M, Λ} = \{ η\mid η: M \to Λ\}$ has, under suitable assumptions, monochromatic $k$-dimensional subspaces, where by a $k$-dimensional subspace we mean there exist a partition $\langle N_0, N_1, \cdots, N_k \rangle$ of $M$ such that $N_1, \cdots, N_k \neq \emptyset$ (but we allow $N_0$ to be empty) and some $ρ_0: N_0 \to Λ$, such that the subspace consists of those $ρ\in \mathcal{U}_{M, Λ}$ such that for $0<l<k+1, ρ\restriction N_l$ is constant and $ρ\restriction N_0= ρ_0.$ It seems natural to think it is better to have each $N_{l}, 0<l<k+1$ a singleton. However it is then impossible to always find monochromatic $k$-dimensional subspaces (for example color $η$ by $0$ if $|η^{-1}\{α\}|$ is an even number and by $1$ otherwise). But modulo restricting the sign of each $|η^{-1}\{α\}|$, we prove the parallel theorem -- whose proof is not related to the Hales-Jewett theorem. We then connect the two numbers by showing that the Hales-Jewett numbers are not too much above the present ones. This gives an alternative proof of the Hales-Jewett theorem.

We prove that if $μ>{\rm cf}(μ)=ω$ and $2^μ=μ^+$ then $\binom{μ^+}μ\nrightarrow\binom{μ^+\ \aleph_2}{μ μ}$.

Spencer asked whether the Paris-Harrington version of the Folkman-Sanders theorem has primitive recursive upper bounds. We give a positive answer to this question.

N. Hindman, I. Leader and D. Strauss proved that it is consistent that there is a finite colouring of $\mathbb R$ so that no infinite sumset $X+X=\{x+y:x,y\in X\}$ is monochromatic. Our aim in this paper is to prove a consistency result in the opposite direction: we show that, under certain set-theoretic assumptions, for any $c:\mathbb R\to r$ with $r$ finite there is an infinite $X\subseteq \mathbb R$ so that $c$ is constant on $X+X$.

Let C be a finite connected graph for which there is a countable universal C-free graph, and whose tree of blocks is a path. Then the blocks of C are complete. This generalizes a result of Furedi and Komjath, and fits naturally into a set of conjectures regarding the existence of countable C-free graphs, with C an arbitrary finite connected graph.

For an infinite cardinal $κ$, let $dedκ$ denote the supremum of the number of Dedekind cuts in linear orders of size $κ$. It is known that $κ<dedκ\leq 2^κ$ for all $κ$ and that $dedκ<2^κ$ is consistent for any $κ$ of uncountable cofinality. We prove however that $2^κ\leq ded ( ded ( ded ( dedκ)))$ always holds. Using this result we calculate the Hanf numbers for the existence of two-cardinal models with arbitrarily large gaps and for the existence of arbitrarily large models omitting a type in the class of countable dependent first-order theories. Specifically, we show that these bounds are as large as in the class of all countable theories.

We list some open problems, concerning the polarized partition relation. We solve a couple of them by showing that for every singular cardinal $μ$ one can force the strong polarized relation with respect to the pair $μ^+,μ$.

We deal with incompactness. Assume the existence of non-reflecting stationary set of cofinality kappa . We prove that one can define a graph G whose chromatic number is > kappa, while the chromatic number of every subgraph G' subseteq G,|G'| < |G| is <= kappa . The main case is kappa = aleph_0.

We consider the random graph M^n_{\bar{p}} on the set [n], were the probability of {x,y} being an edge is p_{|x-y|}, and \bar{p}=(p_1,p_2,p_3,...) is a series of probabilities. We consider the set of all \bar{q} derived from \bar{p} by inserting 0 probabilities to \bar{p}, or alternatively by decreasing some of the p_i. We say that \bar{p} hereditarily satisfies the 0-1 law if the 0-1 law (for first order logic) holds in M^n_{\bar{q}} for any \bar{q} derived from \bar{p} in the relevant way described above. We give a necessary and sufficient condition on \bar{p} for it to hereditarily satisfy the 0-1 law.

We show a general scheme of Ramsey-type results for partitions of countable sets of finite functions, where "one piece is big" is interpreted in the language originating in creature forcing. The heart of our proofs follows Glazer's proof of the Hindman Theorem, so we prove the existence of idempotent ultrafilters with respect to suitable operation. Then we deduce partition theorems related to creature forcings.