More on the indivisibility of $\mathbb{Q}$

Arno Pauly

2024-07-04

Abstract:We study the complexity of the computational task ``Given a colouring $c : \mathbb{Q} \to \mathbf{k}$, find a monochromatic $S \subseteq \mathbb{Q}$ such that $(S,<) \cong (\mathbb{Q},<)$''. The framework is Weihrauch reducibility. Our results answer some open questions recently raised by Gill, and by Dzhafarov, Solomon and Valenti.

Logic,Logic in Computer Science,Combinatorics

What problem does this paper attempt to address?

Indivisibility and uniform computational strength

Kenneth Gill

2024-05-07

Abstract:A countable structure is indivisible if for every coloring with finite range there is a monochromatic isomorphic subcopy of the structure. Each indivisible structure naturally corresponds to an indivisibility problem which outputs such a subcopy given a presentation and coloring. We investigate the Weihrauch complexity of the indivisibility problems for two structures: the rational numbers $\mathbb{Q}$ as a linear order, and the equivalence relation $\mathscr{E}$ with countably many equivalence classes each having countably many members. We separate the Weihrauch degrees of both corresponding indivisibility problems from several benchmarks, showing in particular that the indivisibility problem for $\mathbb{Q}$ cannot solve the problem of finding a monochromatic rational interval given a coloring for which there is one; and that the Weihrauch degree of the indivisibility problem for $\mathscr{E}$ is strictly between those of $\mathsf{RT}^2$ and $\mathsf{SRT}^2$, two widely studied variants of Ramsey's theorem for pairs whose reverse-mathematical separation was open until recently.

Logic,Logic in Computer Science,Combinatorics
Monochromatic non-commuting products

Matt Bowen

2024-05-07

Abstract:We show that a finite coloring of an amenable group contains `many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables. This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem. Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.

Combinatorics,Dynamical Systems,Number Theory
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Amitayu Banerjee,Zalán Molnár,Alexa Gopaulsingh

2024-05-26

Abstract:We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to Kőnig Lemma: (a) Any infinite locally finite connected graph G such that the minimum degree of G is greater than k, has a chromatic number for any fixed integer k greater than or equal to 2. (b) Any infinite locally finite connected graph has a chromatic index. (c) Any infinite locally finite connected graph has a distinguishing number. (d) Any infinite locally finite connected graph has a distinguishing index. Our results strengthen some results of Stawiski from a recent paper on the role of the Axiom of Choice in proper and distinguishing colorings since he assumed that the sets of colors can be well-ordered. We also formulate new conditions for the existence of irreducible proper coloring, minimal edge cover, maximal matching, and minimal dominating set in connected bipartite graphs and locally finite connected graphs, which are either equivalent to AC or Kőnig Lemma. Moreover, we show that if the Axiom of Choice for families of 2 element sets holds, then the Shelah--Soifer graph has a minimal dominating set.

Combinatorics,Logic
A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Kirsten Eisentraeger,Russell Miller,Caleb Springer,Linda Westrick

2023-10-27

Abstract:For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, then $S_Z$ is meager in $\text{Sub}(\overline{\mathbb{Q}})$. Here, thin and meager both mean "small", in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields $L$ have the property that the ring of algebraic integers $\mathcal{O}_L$ is universally definable in $L$. The main tools are Hilbert's Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists$-definable subset of an algebraic extension of $\mathbb Q$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.

Number Theory,Logic
Monochromatic Sums and Products over $\mathbb{Q}$

Ryan Alweiss

2023-11-17

Abstract:Hindman's finite sums theorem states that in any finite coloring of the naturals, there is an infinite sequence all of whose finite subset sums are the same color. In 1979, Hindman showed that there is a finite coloring of the naturals so that no infinite sequence has all of its pairwise sums and pairwise products the same color. Hindman conjectured that for any $n$, a finite coloring of the naturals contains $n$ numbers all of whose subset sums and subset products are the same color. In this paper we prove the version of this statement where we color the rationals instead of the integers. In other words, we show that the pattern $\{ \sum_{i \in S}x_i, \prod_{i \in S}x_i \}$, where $S$ ranges over all nonempty subsets of $[n]$, is partition regular over the rationals.

Combinatorics,Dynamical Systems,Logic,Number Theory
On the Weihrauch degree of the additive Ramsey theorem

Arno Pauly,Cécilia Pradic,Giovanni Solda

2023-12-04

Abstract:We characterize the strength, in terms of Weihrauch degrees, of certain problems related to Ramsey-like theorems concerning colourings of the rationals and of the natural numbers. The theorems we are chiefly interested in assert the existence of almost-homogeneous sets for colourings of pairs of rationals respectively natural numbers satisfying properties determined by some additional algebraic structure on the set of colours. In the context of reverse mathematics, most of the principles we study are equivalent to $\Sigma^0_2$-induction over $\mathrm{RCA}_0$. The associated problems in the Weihrauch lattice are related to $\mathrm{TC}_\mathbb{N}^*$, $(\mathrm{LPO}')^*$ or their product, depending on their precise formalizations.

Logic in Computer Science,Logic
Partial coloring, vertex decomposability, and sequentially Cohen-Macaulay simplicial complexes

Jennifer Biermann,Christopher A. Francisco,Huy Tài Hà,Adam Van Tuyl

DOI: https://doi.org/10.48550/arXiv.1209.3008

2019-11-05

Abstract:In attempting to understand how combinatorial modifications alter algebraic properties of monomial ideals, several authors have investigated the process of adding "whiskers" to graphs. In this paper, we study a similar construction to build a simplicial complex $\Delta_\chi$ from a coloring $\chi$ of a subset of the vertices of $\Delta$, and give necessary and sufficient conditions for this construction to produce vertex decomposable simplicial complexes. We apply this work to strengthen and give new proofs about sequentially Cohen-Macaulay edge ideals of graphs.

Commutative Algebra,Combinatorics
Was Ulam right? II: Small width and general ideals

Tanmay Inamdar,Assaf Rinot

2023-12-18

Abstract:We continue our study of Sierpinski-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam's theorem and its extension by Hajnal, it is proved that if $\kappa$ is a regular uncountable cardinal that is not weakly compact in L, then there is a universal witness for non-weak-saturation of $\kappa$-complete ideals. Specifically, there are $\kappa$-many decompositions of $\kappa$ such that, for every $\kappa$-complete ideal $J$ over $\kappa$, and every $B\in J^+$, one of the decompositions shatters $B$ into $\kappa$-many $J^+$-sets. A second focus here is the feature of narrowness of colourings, one already present in the theorem of Sierpinski. This feature ensures that a colouring suitable for an ideal is also suitable for all superideals possessing the requisite completeness degree. It is proved that unlike successors of regulars, every successor of a singular cardinal admits such a narrow colouring.

Logic
Structural completeness in quasivarieties

Paolo Aglianó,Alex CItkin

2024-01-05

Abstract:In this paper we study various forms of (hereditary) structural completeness for quasivarieties of algebras, using mostly algebraic techniques. More specifically we study relative weakly projective algebras and the way they interact with structural completeness in quasivarieties. These ideas are then applied to the study of $C$-structural completeness and $C$-primitivity, through an algebraic generalization of Prucnal's substitution. Finally we study in depth dual i-discriminator quasivarieties in which a particular instance of Prucnal's substitution is used to prove that if each fundamental operation commutes with the i-discriminator, then it is primitive.

Logic
Coloring the intersection of two matroids

Eli Berger,He Guo

2024-07-12

Abstract:A result \cite{matcomp} from 2006 of Aharoni and the first author of this paper states that for any two natural numbers p, q, where p divides q, if a matroid M is p-colorable and a matroid N is q-colorable then M \cap N is (p+q)-colorable. In this paper we show that the assumption that p divides q is in fact redundant, and we also prove that M \cap N is even p+q list-colorable. The result uses topology and relies on a new parameter yielding a lower bound for the topological connectivity of the intersection of two matroids.

Combinatorics,Algebraic Topology
New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)

Jean-Christophe Godin,Olivier Togni

2023-10-05

Abstract:A $(a,b)$-coloring of a graph $G$ associates to each vertex a $b$-subset of a set of $a$ colors in such a way that the color-sets of adjacent vertices are disjoint. We define general reduction tools for $(a,b)$-coloring of graphs for $2\le a/b\le 3$. In particular, using necessary and sufficient conditions for the existence of a $(a,b)$-coloring of a path with prescribed color-sets on its end-vertices, more complex $(a,b)$-colorability reductions are presented. The utility of these tools is exemplified on finite triangle-free induced subgraphs of the triangular lattice for which McDiarmid-Reed's conjecture asserts that they are all $(9,4)$-colorable. Computations on millions of such graphs generated randomly show that our tools allow to find a $(9,4)$-coloring for each of them except for one specific regular shape of graphs (that can be $(9,4)$-colored by an easy ad-hoc process). We thus obtain computational evidence towards the conjecture of McDiarmid\&Reed.

Combinatorics,Discrete Mathematics
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros

Ferenc Bencs,Khallil Berrekkal,Guus Regts

2024-08-09

Abstract:Let $\Delta,q\geq 3$ be integers. We prove that there exists $\eta\geq 0.002$ such that if $q\geq (2-\eta)\Delta$, then there exists an open set $\mathcal{U}\subset \mathbb{C}$ that contains the interval $[0,1]$ such that for each $w\in \mathcal{U}$ and any graph $G=(V,E)$ of maximum degree at most $\Delta$, the partition function of the anti-ferromagnetic $q$-state Potts model evaluated at $w$ does not vanish. This provides a (modest) improvement on a result of Liu, Sinclair, and Srivastava, and breaks the $q=2\Delta$-barrier for this problem. As a direct consequence we obtain via Barvinok's interpolation method a deterministic polynomial time algorithm to approximate the number of proper $q$-colorings of graphs of maximum degree at most $\Delta$, provided $q\geq (2-\eta)\Delta$.

Combinatorics,Discrete Mathematics,Data Structures and Algorithms
$q$-Chromatic polynomials

Esme Bajo,Matthias Beck,Andrés R. Vindas-Meléndez

2024-03-29

Abstract:We introduce and study a $q$-version of the chromatic polynomial of a given graph $G=(V,E)$, namely, \[ \chi_G^\lambda(q,n) \ := \sum_{\substack{\text{proper colorings}\\ c\,:\,V\to[n]}} q^{ \sum_{ v \in V } \lambda_v c(v) }, \] where $\lambda \in \mathbb{Z}^V$ is a fixed linear form. Via work of Chapoton (2016) on $q$-Ehrhart polynomials, $\chi_G^\lambda(q,n)$ turns out to be a polynomial in the $q$-integer $[n]_q$, with coefficients that are rational functions in $q$. Additionally, we prove structural results for $\chi_G^\lambda(q,n)$ and exhibit connections to neighboring concepts, e.g., chromatic symmetric functions and the arithmetic of order polytopes. We offer a strengthened version of Stanley's conjecture that the chromatic symmetric function distinguishes trees, which leads to an analogue of $P$-partitions for graphs.

Mathematics
On monochromatic solutions to linear equations over the integers

Dingding Dong,Nitya Mani,Huy Tuan Pham,Jonathan Tidor

2024-10-18

Abstract:We study the number of monochromatic solutions to linear equations in a $2$-coloring of $\{1,\ldots,n\}$. We show that any nontrivial linear equation has a constant fraction of solutions that are monochromatic in any $2$-coloring of $\{1,\ldots,n\}$. We further study commonness of four-term equations and disprove a conjecture of Costello and Elvin by showing that, unlike over $\mathbb{F}_p$, the four-term equation $x_1 + 2x_2 - x_3 - 2x_4 = 0$ is uncommon over $\{1,\ldots,n\}$.

Combinatorics
Owings-like theorems for infinitely many colours or finite monochromatic sets

David J. Fernández-Bretón,Eliseo Sarmiento Rosales,Germán Vera

2024-07-23

Abstract:Inspired by Owings's problem, we investigate whether, for a given an Abelian group $G$ and cardinal numbers $\kappa,\theta$, every colouring $c:G\longrightarrow\theta$ yields a subset $X\subseteq G$ with $|X|=\kappa$ such that $X+X$ is monochromatic. (Owings's problem asks this for $G=\mathbb Z$, $\theta=2$ and $\kappa=\aleph_0$; this is known to be false for the same $G$ and $\kappa$ but $\theta=3$.) We completely settle the question for $\kappa$ and $\theta$ both finite (by obtaining sufficient and necessary conditions for a positive answer) and for $\kappa$ and $\theta$ both infinite (with a negative answer). Also, in the case where $\theta$ is infinite but $\kappa$ is finite, we obtain some sufficient conditions for a negative answer as well as an example with a positive answer.

Logic,Combinatorics
Monochromatic Sumsets in Countable Colourings of Abelian Groups

Imre Leader,Kada Williams

2024-07-04

Abstract:Fernández-Bretón, Sarmiento and Vera showed that whenever a direct sum of sufficiently many copies of ${\mathbb Z}_4$, the cyclic group of order 4, is countably coloured there are arbitrarily large finite sets $X$ whose sumsets $X+X$ are monochromatic. They asked if the elements of order 4 are necessary, in the following strong sense: if $G$ is an abelian group having no elements of order 4, is it always the case there there is a countable colouring of $G$ for which there is not even a monochromatic sumset $X+X$ with $X$ of size 2? Our aim in this short note is to show that this is indeed the case.

Combinatorics
Colouring versus density in integers and Hales-Jewett cubes

Christian Reiher,Vojtěch Rödl,Marcelo Sales

2024-10-07

Abstract:We construct for every integer $k\geq 3$ and every real $\mu\in(0, \frac{k-1}{k})$ a set of integers $X=X(k, \mu)$ which, when coloured with finitely many colours, contains a monochromatic $k$-term arithmetic progression, whilst every finite $Y\subseteq X$ has a subset $Z\subseteq Y$ of size $|Z|\geq \mu |Y|$ that is free of arithmetic progressions of length $k$. This answers a question of Erdős, Nešetřil, and the second author. Moreover, we obtain an analogous multidimensional statement and a Hales-Jewett version of this result.

Combinatorics
Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning

Duligur Ibeling,Thomas Icard,Krzysztof Mierzewski,Milan Mossé

2023-07-12

Abstract:This paper explores the space of (propositional) probabilistic logical languages, ranging from a purely `qualitative' comparative language to a highly `quantitative' language involving arbitrary polynomials over probability terms. While talk of qualitative vs. quantitative may be suggestive, we identify a robust and meaningful boundary in the space by distinguishing systems that encode (at most) additive reasoning from those that encode additive and multiplicative reasoning. The latter includes not only languages with explicit multiplication but also languages expressing notions of dependence and conditionality. We show that the distinction tracks a divide in computational complexity: additive systems remain complete for $\mathsf{NP}$, while multiplicative systems are robustly complete for $\exists\mathbb{R}$. We also address axiomatic questions, offering several new completeness results as well as a proof of non-finite-axiomatizability for comparative probability. Repercussions of our results for conceptual and empirical questions are addressed, and open problems are discussed.

Logic,Computational Complexity,Logic in Computer Science
Is Planted Coloring Easier than Planted Clique?

Pravesh K. Kothari,Santosh S. Vempala,Alexander S. Wein,Jeff Xu

2023-03-01

Abstract:We study the computational complexity of two related problems: recovering a planted $q$-coloring in $G(n,1/2)$, and finding efficiently verifiable witnesses of non-$q$-colorability (a.k.a. refutations) in $G(n,1/2)$. Our main results show hardness for both these problems in a restricted-but-powerful class of algorithms based on computing low-degree polynomials in the inputs. The problem of recovering a planted $q$-coloring is equivalent to recovering $q$ disjoint planted cliques that cover all the vertices -- a potentially easier variant of the well-studied planted clique problem. Our first result shows that this variant is as hard as the original planted clique problem in the low-degree polynomial model of computation: each clique needs to have size $k \gg \sqrt{n}$ for efficient recovery to be possible. For the related variant where the cliques cover a $(1-\epsilon)$-fraction of the vertices, we also show hardness by reduction from planted clique. Our second result shows that refuting $q$-colorability of $G(n,1/2)$ is hard in the low-degree polynomial model when $q \gg n^{2/3}$ but easy when $q \lesssim n^{1/2}$, and we leave closing this gap for future work. Our proof is more subtle than similar results for planted clique and involves constructing a non-standard distribution over $q$-colorable graphs. We note that while related to several prior works, this is the first work that explicitly formulates refutation problems in the low-degree polynomial model. The proofs of our main results involve showing low-degree hardness of hypothesis testing between an appropriately constructed pair of distributions. For refutation, we show completeness of this approach: in the low-degree model, the refutation task is precisely as hard as the hardest associated testing problem, i.e., proving hardness of refutation amounts to finding a "hard" distribution.

Computational Complexity,Data Structures and Algorithms

More on the indivisibility of $\mathbb{Q}$

Indivisibility and uniform computational strength

Monochromatic non-commuting products

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Monochromatic Sums and Products over $\mathbb{Q}$

On the Weihrauch degree of the additive Ramsey theorem

Partial coloring, vertex decomposability, and sequentially Cohen-Macaulay simplicial complexes

Was Ulam right? II: Small width and general ideals

Structural completeness in quasivarieties

Coloring the intersection of two matroids

New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)

Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros

$q$-Chromatic polynomials

On monochromatic solutions to linear equations over the integers

Owings-like theorems for infinitely many colours or finite monochromatic sets

Monochromatic Sumsets in Countable Colourings of Abelian Groups

Colouring versus density in integers and Hales-Jewett cubes

Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning

Is Planted Coloring Easier than Planted Clique?