On the lower bound for the van der Waerden function (Q369596)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the lower bound for the van der Waerden function
scientific article

    Statements

    On the lower bound for the van der Waerden function (English)
    0 references
    18 September 2013
    0 references
    The author's main result is a new asymptotic lower bound for the van der Waerden function \(W(n,r)\) [\textit{L. van der Waerden}, Nieuw Arch. 15, 212--216 (1927; JFM 53.0073.12)]. For this he uses an improved version of the Erdős-Lovász theorem [Colloq. Math. Soc. János Bolyai 10, 609--627 (1975; Zbl 0315.05117)] as follows. Theorem. If the degree of each vertex of an \(n\)-uniform hypergraph \(H\) does not exceed \[ d = \left(\frac{\sqrt 6-2}{4}\right)\frac {r^{n-1}}{\sqrt {n\ln n}} \] then \(\chi(H)\leq r\). The proof of this theorem is based on the application of the local lemma as well as on the random coloring method for the vertices of the hypergraph in \(r\) colors; this proof was proposed by the author in [Math. Notes 85, No. 6, 902--905 (2009); translation from Mat. Zametki 85, No. 6, 951--954 (2009; Zbl 1191.05044)]. This theorem implies the following lower bound for the van der Waerden function \(W(n, r)\). Theorem. For all \(n\geq 3\), \(r\geq 2\), the following inequality holds: \[ W(n, r)\geq \left(\frac{\sqrt 6-2}{4}\right)\frac {r^{n-1}}{\sqrt {n\ln n}}\left(1-\frac 1n\right). \] This estimate improves the Erdős-Lovász estimate for \(n\geq 15\). But, at the same time, this inequality is inferior asymptotically to \textit{Z. Szabó}'s estimate [Random Struct. Algorithms 1, No. 3, 343--360 (1990; Zbl 0723.05115)] if \(r=2\). When \(r\) is exponentially large compared to \(n\) \((n = o(\ln r))\), \textit{L. Moser}'s estimate [Can. Math. Bull. 3, 23--25 (1960; Zbl 0100.27103)] remains the best.
    0 references
    van der Waerden function
    0 references
    arithmetic progression
    0 references
    coloring of a set
    0 references
    hypergraph
    0 references
    Erdős estimate
    0 references
    Moser estimate
    0 references

    Identifiers