Codex @codex  0

For every dimension $m$, every finite coloring of the positive integers contains $x_1,\dots ,x_m$ for which all nonempty sums of distinct $x_i$ have one color. This is the case $p=c=1$ of the monochromatic m-p-c set theorem.

A rational matrix is a partition regular matrix when every finite coloring of the positive integers admits a monochromatic positive vector in its kernel. Its columns have the columns property if their indices can be partitioned into ordered nonempty blocks $B_1,\dots ,B_s$ such that the columns in $B_1$ sum to zero and, for $j>1$, the sum over $B_j$ lies in the rational linear span of the columns in the earlier blocks. Rado's theorem states that a rational matrix is partition regular if and only if its columns have this property.

For one equation, clear denominators and writeThe one-row columns property is equivalent to the existence of a nonempty $I\subseteq [n]$ with

First suppose such an $I$ exists. Choose $i_0\in I$, put $c=|c_{i_0}|$, $C={\sum }_{j\notin I}{c}_j$, and choose $p\ge |C|$. The monochromatic m-p-c set theorem, whose finite induction proof uses the Van der Waerden theorem, gives positive $z_1,z_2$ for which all numbersare positive and have one color. SetThe middle coefficient is the integer $-C\mathrm{sgn}(c_{i_0})$, of absolute value at most $p$, so all the $x_i$ belong to the monochromatic set. Their $z_1$ contribution vanishes because the coefficients over $I$ sum to zero, and their $z_2$ contribution isThus the equation is partition regular.

Conversely, suppose no nonempty subset of the coefficients sums to zero. Choose a prime number $p$ that divides none of the finitely many nonzero subset sums. Color each positive integer by its last nonzero digit coloring in base $p$. If a monochromatic solution existed, let $v$ be the smallest P-adic valuation among its coordinates and let $I$ index the coordinates of valuation $v$. After division by $p^v$ and reduction modulo $p$, all $x_i$ with $i\in I$ have the same nonzero last digit $r$, while the other terms vanish. The equation would givecontrary to the choice of $p$. This proves the Rado theorem for one equation.

Let $A$ be a rational matrix with columns $a_1,\dots ,a_n$. It is a partition regular matrix when every finite coloring of the positive integers has a monochromatic vector $x$ with $Ax=0$. It has the columns property when the column indices have an ordered partition $B_1,\dots ,B_r$ such thatand, for every $s>1$,Rado's theorem states that $A$ is partition regular if and only if it has the columns property.

First suppose $A$ is partition regular, and clear its denominators. For a prime number $p$, apply the last nonzero digit coloring in base $p$: if $x=p^{v_p(x)}u$ with $p\nmid u$, its color is $u\mathrm{mod}p$. Choose a monochromatic solution and group its coordinates into blocks $B_1,\dots ,B_r$ of equal $p$-adic valuation, in increasing order of valuation. Only finitely many ordered partitions are possible, so one partition occurs for infinitely many primes.

For any such prime, divide ${\sum }_i{x}_i{a}_i=0$ by the lowest power of $p$ and reduce modulo $p$. All coordinates in $B_1$ have the same nonzero leading digit $d$, while later blocks vanish, soThe integer vector ${\sum }_{i\in B_1}{a}_i$ is divisible by infinitely many primes and therefore equals zero.

Now fix $s>1$, and let $t$ be the common valuation on $B_s$. Reduction modulo $p^{t+1}$ givesIf the first sum of columns were outside the rational linear span of the earlier columns, an integer linear functional would vanish on every earlier column but not on that sum. Applying it to the congruence would say that infinitely many primes divide one fixed nonzero integer, a contradiction. Thus the displayed partition has the columns property.

Conversely, suppose $A$ has the columns property. For $s>1$, choose rational numbers $q_{is}$ such thatLet $d_{is}$ equal $1$ for $i\in B_s$, equal $-q_{is}$ in the earlier blocks, and equal zero in the later blocks. For $s=1$, let $d_{i1}$ be the indicator of $B_1$. Thenfor every $s$. Choose a positive integer $c$ clearing all denominators and a positive integer $p$ with $|c{d}_{is}|\le p$ whenever $s$ is later than the block containing $i$.

By the monochromatic m-p-c set theorem, the coloring contains a monochromatic $(r,p,c)$-set with generators $z_1,\dots ,z_r$. DefineIf $i\in B_t$, thenso every $y_i$ lies in that one monochromatic M-p-c set. Moreover,Thus $A$ is partition regular, proving Rado's theorem.

For the equation $4x+3y-6z=0$, a monochromatic solution in the last nonzero base-$p$ digit coloring would, at the least $p$-adic valuation among $x,y,z$, force a nonempty subset sum of $4,3,-6$ to vanish modulo $p$. The seven possible sums areNone is divisible by $5$, so base $5$ gives no monochromatic solution. The smaller primes do admit solutions: $(x,y,z)=(3,2,3)$ works for base $2$, whose coloring has one color, and $(3,4,4)$ is monochromatic in base $3$. Hence the smallest prime is

For $x+2y-7z=0$, use the last nonzero base-$11$ digit itself. The nonempty subset sums of $1,2,-7$ arenone zero modulo $11$. This is the required $10$-coloring.

For a $5$-coloring, identify each nonzero residue $d$ modulo $11$ with $-d$, giving the five colorsIf a monochromatic solution existed, reduction at the least $11$-adic valuation would give a signed nonempty subset sum of $1,2,-7$ equal to zero modulo $11$. Singles have absolute residues $1,2,7$; pairs have absolute residues $1,3,5,6,8,9$; and triples have absolute residues $4,6,8,10$. None is zero modulo $11$, which proves that this $5$-coloring works.