arXiv++ Combinatorics

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_ω$.

We prove the consistency of tiltan with the positive relation $ω^*\cdotω_1\rightarrow(ω^*\cdotω_1,{\rm infinite\ path})^2$.

Let $μ$ be a strong limit singular cardinal. We prove that if $2^μ > μ^+$ then $\binom{μ^+}μ\to \binomτμ_{<{\rm cf}(μ)}$ for every ordinal $τ<μ^+$. We obtain an optimal positive relation under $2^μ= μ^+$, as after collapsing $2^μ$ to $μ^+$ this positive relation is preserved.

We prove that the list chromatic number of graphs satisfies singular compactness at strong limit singular cardinals.

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 study the structured rainbow Ramsey theory at uncountable cardinals. When compared to the usual rainbow Ramsey theory, the variation focuses on finding a rainbow subset that not only is of a certain cardinality but also satisfies certain structural constraints, such as being stationary or closed in its supremum. In the process of dealing with cardinals greater than $ω_1$, we uncover some connections between versions of Chang's Conjectures and instances of rainbow Ramsey partition relations, addressing a question raised in \cite{zhang}.

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

We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_θ,\mathfrak{p}_θ,\mathfrak{g}_θ,\mathfrak{r}_θ,\mathfrak{t}_θ$ at uncountable regular cardinals $θ$. Motivated by a theorem of Raghavan-Shelah who proved that $\mathfrak{s}_θ\leq\mathfrak{b}_θ$, we explore in the first part of the paper the consistency of inequalities comparing $\mathfrak{s}_θ$ with $\mathfrak{p}_θ$ and $\mathfrak{g}_θ$. In the second part of the paper we study variations of the extender-based Radin forcing to establish several consistency results concerning $\mathfrak{r}_θ$ from hyper-measurability assumptions, results which were previously known to be consistent only from supercompactness assumptions. In doing so, we answer several questions which appeared in the literature.

We prove that consistently every bipartite graph of size $κ^+\timesκ^+$ contains either a clique or an independent subset of size $τ\timesτ$ for every $τ\inκ^+$, where $κ$ is a successor cardinal.

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 $μ^+,μ$.

Let V be a finite set of points in the plane, not contained in a line. Assume |V| = n is an odd number, and |L \cap V| \leq 3 for every line L which is spanned by V. We prove that every simple line L_{a,b} in V creates a simple wedge (i.e., a triple {a, b, c} \subseteq V such that L_{a,b} and L_{a,c} are simple lines). We also show that both restrictions on V (namely |V| is odd and |L \cap V| \leq 3) are needed. We conjecture, further, that if |V | = n is an odd number then V contains a simple wedge, even if V is not 3-bounded. We introduce a method for proving this, which gives (in this paper) partial results.