Let $r$ and $k$ be positive integers with $r \mid k$. Denote by $w_{\mathrm{\mathfrak{z}}}(k;r)$ the minimum integer such that every coloring $χ:[1,w_{\mathrm{\mathfrak{z}}}(k;r)] \rightarrow \{0,1,\dots,r-1\}$ admits a $k$-term arithmetic progression $a,a+d,\dots,a+(k-1)d$ with $\sum_{j=0}^{k-1} χ(a+jd) \equiv 0 \,(\mathrm{mod }\,r)$. We investigate these numbers as well as a "mixed" monochromatic/zero-sum analogue. We also present an interesting reciprocity between the van der Waerden numbers and $w_{\mathrm{\mathfrak{z}}}(k;r)$.
The \emph{anti-van der Waerden number}, denoted by $aw([n],k)$, is the smallest $r$ such that every exact $r$-coloring of $[n]$ contains a rainbow $k$-term arithmetic progression. Butler et. al. showed that $\lceil \log_3 n \rceil + 2 \le aw([n],3) \le \lceil \log_2 n \rceil + 1$, and conjectured that there exists a constant $C$ such that $aw([n],3) \le \lceil \log_3 n \rceil + C$. In this paper, we show this conjecture is true by determining $aw([n],3)$ for all $n$. We prove that for $7\cdot 3^{m-2}+1 \leq n \leq 21 \cdot 3^{m-2}$, \[ aw([n],3)=\left\{\begin{array}{ll} m+2, & \mbox{if $n=3^m$…
In this paper arithmetic progressions on the integers and the integers modulo n are extended to graphs. This allows for the definition of the anti-van der Waerden number of a graph. Much of the focus of this paper is on 3-term arithmetic progressions for which general bounds are obtained based on the radius and diameter of a graph. The general bounds are improved for trees and Cartesian products and exact values are determined for some classes of graphs. Larger k-term arithmetic progressions are considered and a connection between the Ramsey number of paths and the anti-van der Waerden number …
Let a and b be positive integers with a \leq b. An (a,b)-triple is a set {x,ax+d,bx+ 2d}, where x,d \geq 1. Define T(a,b;r) to be the least positive integer n such that any r-coloring of {1,2...,n} contains a monochromatic (a,b)-triple. Earlier results gave an upper bound on T(a,b;2) that is a fourth degree polynomial in b and a, and a quadratic lower bound. A new upper bound for T(a,b;2) is given that is a quadratic. Additionally, lower bounds are given for the case in which a = b, updated tables are provided, and open questions are presented.
For positive integers $n$ and $k$, the \emph{anti-van der Waerden number} of $\mathbb{Z}_n$, denoted by $aw(\mathbb{Z}_n,k)$, is the minimum number of colors needed to color the elements of the cyclic group of order $n$ and guarantee there is a rainbow arithmetic progression of length $k$. Butler et al. showed a reduction formula for $aw(\mathbb{Z}_{n},3) = 3$ in terms of the prime divisors of $n$. In this paper, we analagously define the anti-van der Waerden number of a finite abelian group $G$ and show $aw(G,3)$ is determined by the order of $G$ and the number of groups with even order in a …
We show an improved upper estimate for van der Waerden number $W(3,k):$ there is an absolute constant $c>0$ such that if $\{1,\dots,N\}=X\cup Y$ is a partition such that $X$ does not contain any arithmetic progression of length $3$ and $Y$ does not contain any arithmetic progression of length $k$ then $$N\le \exp(O(k^{1-c}))\,.$$
Let $AP_k=\{a,a+d,\ldots,a+(k-1)d\}$ be an arithmetic progression. For $ε>0$ we call a set $AP_k(ε)=\{x_0,\ldots,x_{k-1}\}$ an $ε$-approximate arithmetic progression if for some $a$ and $d$, $|x_i-(a+id)|<εd$ holds for all $i\in\{0,1\ldots,k-1\}$. Complementing earlier results of Dumitrescu, in this paper we study numerical aspects of Van der Waerden, Szemeredi and Furstenberg-Katznelson like results in which arithmetic progressions and their higher dimensional extensions are replaced by their $ε$-approximation.
For a given length and a given degree and an arbitrary partition of the positive integers, there always is a cell containing a polynomial progression of that length and that degree; moreover, the coefficients of the generating polynomial can be chosen from a given semigroup and one can prescribe the occurring powers. A multidimensional version is included.
For positive integers $s$ and $k_1, k_2, ..., k_s$, let $w(k_1,k_2,...,k_s)$ be the minimum integer $n$ such that any $s$-coloring $\{1,2,...,n\} \to \{1,2,...,s\}$ admits a $k_i$-term arithmetic progression of color $i$ for some $i$, $1 \leq i \leq s$. In the case when $k_1=k_2=...=k_s=k$ we simply write $w(k;s)$. That such a minimum integer exists follows from van der Waerden's theorem on arithmetic progressions. In the present paper we give a lower bound for $w(k,m)$ for each fixed $m$. We include a table with values of $w(k,3)$ which match this lower bound closely for $5 \leq k \leq 16$. W…
We give a purely combinatorial proof for a two-fold generalization of van der Waerden-Brauer's theorem and Hindman's theorem. We also give tower bounds for a finite version of it.
We present a self-contained proof of a strong version of van der Waerden's Theorem. By using translation invariant filters that are maximal with respect to inclusion, a simple inductive argument shows the existence of "piecewise syndetically"-many monochromatic arithmetic progressions of any length k in every finite coloring of the natural numbers. All the presented constructions are constructive in nature, in the sense that the involved maximal filters are defined by recurrence on suitable countable algebras of sets. No use of the axiom of choice or of Zorn's Lemma is needed.
Van der Waerden's classical theorem on arithmetic progressions states that for any positive integers k and r, there exists a least positive integer, w(k,r), such that any r-coloring of {1,2,...,w(k,r)} must contain a monochromatic k-term arithmetic progression {x,x+d,x+2d,...,x+(k-1)d}. We investigate the following generalization of w(3,r). For fixed positive integers a and b with a <= b, define N(a,b;r) to be the least positive integer, if it exists, such that any r-coloring of {1,2,...,N(a,b;r)} must contain a monochromatic set of the form {x,ax+d,bx+2d}. We show that N(a,b;2) exists if and …
We show that there is a red-blue colouring of $[N]$ with no blue 3-term arithmetic progression and no red arithmetic progression of length $e^{C(\log N)^{3/4}(\log \log N)^{1/4}}$. Consequently, the two-colour van der Waerden number $w(3,k)$ is bounded below by $k^{b(k)}$, where $b(k) = c \big( \frac{\log k}{\log\log k} \big)^{1/3}$. Previously it had been speculated, supported by data, that $w(3,k) = O(k^2)$.
For positive integers $r,k_0,k_1,...,k_{r-1},$ the van der Waerden number $w(k_0,k_1,...,k_{r-1})$ is the least positive integer $n$ such that whenever $\{1,2,...,n\}$ is partitioned into $r$ sets $S_{0},S_{1},...,S_{r-1}$, there is some $i$ so that $S_i$ contains a $k_i$-term arithmetic progression. We find several new exact values of $w(k_0,k_1,...,k_{r-1})$. In addition, for the situation in which only one value of $k_i$ differs from 2, we give a precise formula for the van der Waerden function (provided this one value of $k_i$ is not too small)
Using the algebraic structure of the Stone-Cech compactification of the integers, Furstenberg and Glasner proved that for arbitrary k, every piecewise syndetic set contains a piecewise syndetic set of k-term arithmetic progressions. We present a purely combinatorial argument which allows to derive this result directly from van der Waerden's Theorem.
Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable.
We establish sharpness for the threshold of van der Waerden's theorem in random subsets of $\mathbb{Z}/n\mathbb{Z}$. More precisely, for $k\geq 3$ and $Z\subseteq \mathbb{Z}/n\mathbb{Z}$ we say $Z$ has the van der Waerden property if any two-colouring of $Z$ yields a monochromatic arithmetic progression of length $k$. Rödl and Ruciński (1995) determined the threshold for this property for any k and we show that this threshold is sharp. The proof is based on Friedgut's criteria (1999) for sharp thresholds, and on the recently developed container method for independent sets in hypergraphs by Bal…
The van der Waerden number W(k,2) is the smallest integer n such that every 2-coloring of 1 to n has a monochromatic arithmetic progression of length k. The existence of such an n for any k is due to van der Waerden but known upper bounds on W(k,2) are enormous. Much effort was put into developing lower bounds on W(k,2). Most of these lower bound proofs employ the probabilistic method often in combination with the Lovász Local Lemma. While these proofs show the existence of a 2-coloring that has no monochromatic arithmetic progression of length k they provide no efficient algorithm to find suc…
A $k$-term arithmetic progression ($k$-AP) in a graph $G$ is a list of vertices such that each consecutive pair of vertices is the same distance apart. If $c$ is a coloring function of the vertices of $G$ and a $k$-AP in $G$ has each vertex colored distinctly, then that $k$-AP is a rainbow $k$-AP. The anti-van der Waerden number of a graph $G$ with respect to $k$ is the least positive integer $r$ such that every surjective coloring with domain $V(G)$ and codomain $\{1,2,\dots,r\} = [r]$ is guaranteed to have a rainbow $k$-AP. This paper focuses on $3$-APs and graph products with cycles. Specif…
The famous van der Waerden theorem states that if partition N into finitely many cells then one of them will contain arbitrary length arithmetic progressions. It has a polynomial version also. In this article we will prove the near 0 version of the polynomial van der Waerden theorem which was unsolved, using combinatorics.
We introduce the van der Waerden complex ${\rm vdW}(n,k)$ defined as the simplicial complex whose facets correspond to arithmetic progressions of length $k$ in the vertex set $\{1, 2, \ldots, n\}$. We show the van der Waerden complex ${\rm vdW}(n,k)$ is homotopy equivalent to a $CW$-complex whose cells asymptotically have dimension at most $\log k / \log \log k$. Furthermore, we give bounds on $n$ and $k$ which imply that the van der Waerden complex is contractible.
Pirillo and Varricchio, and independently, Halbeisen and Hungerbuhler considered the following problem, open since 1994: Does there exist an infinite word w over a finite subset of Z such that w contains no two consecutive blocks of the same length and sum? We consider some variations on this problem in the light of van der Waerden's theorem on arithmetic progressions.
This paper provides new lower bounds for van der Waerden numbers using Rabung's method, which colors based on the discrete logarithm modulo some prime. Through a distributed computing project with 500 volunteers over one year, we checked all primes up to 950 million, compared to 27 million in previous work. We point to evidence that the van der Waerden number for $r$ colors and progression length $k$ is roughly $r^k$.
In this paper we provide two results. The first one consists an infinitary version of the Furstenberg-Weiss Theorem. More precisely we show that every subset $A$ of a homogeneous tree $T$ such that $\frac{|A\cap T(n)|}{|T(n)|}\geqδ$, where T(n) denotes the $n$-th level of $T$, for all $n$ in a van der Waerden set, for some positive real $δ$, contains a strong subtree having a level sets which forms a van der Waerden set. The second result is the following. For every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\\leq1$, there exists a sequence $(n_q)_{q}$ of positive integer…
This work contains certificates numbers Van der Waerden, was found using SAT Solver. These certificates establish the best currently known lower bounds of the numbers Van der Waerden W( 7, 3 ), W( 8, 3 ), W( 10, 3 ), W( 11, 3 ), W( 17, 3 ).
In this paper, anti-van der Waerden numbers on Cartesian products of graphs are investigated and a conjecture made by Schulte, et al (see arXiv:1802.01509) is answered. In particular, the anti-van der Waerden number of the Cartesian product of two graphs has an upper bound of four. This result is then used to determine the anti-van der Waerden number for any Cartesian product of two paths.
We discuss here analogs of van der Waerden and Tverberg permanent conjectures for haffnians on the convex set of matrices whose extreme points are symmetric permutation matrices with zero diagonal.
Three-color van der Waerden numbers grow super-exponentially
Stanford University（斯坦福大学）；ETH, Zr̈ich（苏黎世联邦理工学院）
通过构造一个前 $2^{k (\log^* k)/4}$ 个正整数的三着色不含单色 $k$ 项等差数列，证明三色 van der Waerden 数 $w(k;3)$ 的增长速度快于任何指数函数，并给出多色 van der Waerden 数的新下界，解决了 Erdős 和 Graham 关于典范 van der Waerden 数的问题。
We prove a canonical polynomial Van der Waerden's Theorem. More precisely, we show the following. Let $\{p_1(x),\ldots,p_k(x)\}$ be a set of polynomials such that $p_i(x)\in \mathbb{Z}[x]$ and $p_i(0)=0$, for every $i\in \{1,\ldots,k\}$. Then, in any colouring of $\mathbb{Z}$, there exist $a,d\in \mathbb{Z}$ such that $\{a+p_1(d),\ldots,a+p_{k}(d)\}$ forms either a monochromatic or a rainbow set.
Van der Waerden's theorem asserts that if you color the natural numbers with, say, five different colors, then you can always find arbitrarily long sequences of numbers that have the same color and that form an arithmetic progression. Szemerédi's theorem generalizes this statement and asserts that every subset of natural numbers with positive density contains arithmetic progressions of arbitrary length. Van der Waerden's theorem can be proven using elementary combinatorics, but it is also possible to give an interpretation and a short proof in terms of ultrafilters and the Stone-Čech compactif…
In this paper we prove a new recurrence relation on the van der Waerden numbers, $w(r,k)$. In particular, if $p$ is a prime and $p\leq k$ then $w(r, k) > p \cdot \left(w\left(r - \left\lceil \frac{r}{p}\right\rceil, k\right) -1\right)$. This recurrence gives the lower bound $w(r, p+1) > p^{r-1}2^p$ when $r \leq p$, which generalizes Berlekamp's theorem on 2-colorings, and gives the best known bound for a large interval of $r$. The recurrence can also be used to construct explicit valid colorings, and it improves known lower bounds on small van der Waerden numbers.
We prove that the mixed discriminant of doubly stochastic $n$-tuples of semidefinite hermitian $n \times n$ matrices is bounded below by $\frac{n!}{n^{n}}$ and that this bound is uniquely attained at the $n$-tuple $(\frac{1}{n} I,...,\frac{1}{n} I)$. This result settles a conjecture posed by R. Bapat in 1989. We consider various generalizations and applications of this result.
In this paper we prove the Random Van der Waerden Theorem: For $q_1 \geq q_2 \geq \dotsb \geq q_r \geq 3 \in \mathbb{N}$ there exist $c,C >0$ such that \[ \lim_{n \to \infty} \mathbb{P}([n]_p \rightarrow (q_1,\dotsc, q_r)) = \begin{cases} 1 & \text{if } p \geq C \cdot n^{-\frac{q_2}{q_1(q_2-1)}}, 0 & \text{if } p \leq c \cdot n^{-\frac{q_2}{q_1(q_2-1)}}, \end{cases}\] extending the results of Rödl and Ruciński for the symmetric case $q_i = q$. The proof for the 1-statement is based on the Hypergraph Container Method by Balogh, Morris and Samotij and Saxton and Thomason. The proof for the 0-sta…
Let $1 \leq a \leq b$ be integers. A triple of the form $(x,ax+d,bx+2d)$, where $x,d$ are positive integers is called an {\em (a,b)-triple}. The {\em degree of regularity} of the family of all $(a,b)$-triples, denoted dor($a,b)$, is the maximum integer $r$ such that every $r$-coloring of $\mathbb{N}$ admits a monochromatic $(a,b)$-triple. We settle, in the affirmative, the conjecture that dor$(a,b) < \infty$ for all $(a,b) \neq (1,1)$. We also disprove the conjecture that dor($a,b) \in \{1,2,\infty\}$ for all $(a,b)$.
The Van der Waerden number $W(k,r)$ denotes the smallest $n$ such that whenever $[n]$ is $r$--colored there exists a monochromatic arithmetic progression of length $k$. Similarly, the Hilbert cube number $h(k,r)$ denotes the smallest $n$ such that whenever $[n]$ is $r$--colored there exists a monochromatic affine $k$--cube, that is, a set of the form$$\left\{x_0 + \sum_{b \in B} b : B \subseteq A\right\}$$ for some $|A|=k$ and $x_0 \in \mathbb{Z}$. We show the following relation between the Hilbert cube number and the Van der Waerden number. Let $k \geq 3$ be an integer. Then for every $ε>0$, …
We obtain a double exponential bound in Brauer's generalisation of van der Waerden's theorem, which concerns progressions with the same colour as their common difference. Such a result has been obtained independently and in much greater generality by Sanders. Using Gowers' local inverse theorem, our bound is quintuple exponential in the length of the progression. We refine this bound in the colour aspect for three-term progressions, and combine our arguments with an insight of Lefmann to obtain analogous bounds for the Ramsey numbers of certain nonlinear quadratic equations.
In this paper, we investigate the anti-Ramsey (more precisely, anti-van der Waerden) properties of arithmetic progressions. For positive integers $n$ and $k$, the expression $aw([n],k)$ denotes the smallest number of colors with which the integers $\{1,\ldots,n\}$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$. We establish that $aw([n],3)=Θ(\log n)$ and $aw([n],k)=n^{1-o(1)}$ for $k\geq 4$. For positive integers $n$ and $k$, the expression $aw(Z_n,k)$ denotes the smallest number of colors with which elements of the cyclic group of order $n$ can be c…
Recently, Ben Green proved that the two-color van der Waerden number $w(3,k)$ is bounded from below by $k^{b_0(k)}$ where $b_0(k) = c_0\left(\frac{\log k }{\log \log k}\right)^{1/3}$. We prove a new lower bound of $k^{b(k)}$ with $b(k) = \frac{c\log k}{\log \log k}$. This is done by modifying Green's argument, replacing a complicated result about random quadratic forms with an elementary probabilistic result.
A sequence of positive integers $w_1,w_2,...,w_n$ is called an ascending wave if $w_{i+1}-w_i \geq w_i - w_{i-1}$ for $2 \leq i \leq n-1$. For integers $k,r\geq1$, let $AW(k;r)$ be the least positive integer such that under any $r$-coloring of $[1,AW(k;r)]$ there exists a $k$-term monochromatic ascending wave. The existence of $AW(k;r)$ is guaranteed by van der Waerden's theorem on arithmetic progressions since an arithmetic progression is, itself, an ascending wave. Originally, Brown, Erdős, and Freedman defined such sequences and proved that $k^2-k+1\leq AW(k;2) \leq {1/3}(k^3-4k+9)$. Alon a…
