--- title: 'Chowla''s Non-Vanishing Conjecture ' url: https://www.emergentmind.com/topics/chowla-s-non-vanishing-conjecture type: topic --- # Chowla's Non-Vanishing Conjecture Chowla’s non-vanishing conjecture is an ambiguous designation for several conjectures associated with mathematician Sarvadaman Chowla. In analytic number theory, it most commonly denotes the assertion that central values of quadratic Dirichlet $L$-functions do not vanish: \[ L\!\left(\frac12,\chi_d\right)\neq 0 \] for every primitive quadratic character $\chi_d$ over $\mathbb Q$. In other contexts, “Chowla conjecture” denotes vanishing of correlations of shifted Liouville or Möbius functions, while the Chowla–Milnor conjecture concerns linear independence of Hurwitz zeta values. Chowla also formulated a cosine-sum problem predicting a negative minimum of order the square root of the cardinality of a finite set. These statements are mathematically distinct, and “non-vanishing” should not be used without specifying which object is asserted not to vanish. ## 1. Terminological scope and principal formulations The central-value formulation of Chowla’s conjecture concerns real, nonprincipal Dirichlet characters. For a primitive quadratic character $\chi_d$ associated with a fundamental discriminant $d$, it predicts \[ L(s,\chi_d)\neq 0\qquad (010. \] For \[ S_k(x;h_1,\ldots,h_k) =\sum_{n\le x}\lambda(n+h_1)\cdots\lambda(n+h_k), \] a recent result proves, for $x=q^V$ and \[ V\in\left[\frac12+\varepsilon,\eta\right], \] the conditional estimate \[ S_k(x;h_1,\ldots,h_k) \ll x\exp\!\bigl(-c\sqrt{V\log\eta}\bigr), \] where $k$ and the shifts are fixed [2409.10663]. The mechanism is that the exceptional character resembles $\lambda$ on many primes while retaining periodicity and access to character-sum cancellation. A modified completely multiplicative function $\lambda_z$, agreeing with $\lambda$ on primes up to $z$ and with $\chi$ above $z$, approximates $\lambda$ sufficiently well for a smooth–rough decomposition and a beta-sieve reduction to character sums. This result is conditional and range-restricted. It does not prove the full fixed-shift Chowla conjecture, nor does it produce a lower bound showing that the correlations are nonzero. Its conclusion is an upper bound toward cancellation. ## 3. Function-field analogues The rational-number conjecture has two contrasting function-field analogues. For quadratic characters over $\mathbb F_q(t)$, central vanishing can occur infinitely often. If $D\in\mathbb F_q[t]$ is monic and squarefree, the hyperelliptic curve \[ C_D:\ y^2=D \] has an associated quadratic character $\chi_D$. The condition \[ L\!\left(\frac12,\chi_D\right)=0 \] is equivalent to the occurrence of a prescribed Frobenius eigenvalue on the Jacobian $J(C_D)$, and also to the existence of a nonconstant map from $C_D$ to a fixed abelian variety $A_q$ [1801.02873]. Geometric constructions of such maps give infinitely many central zeros, with lower bounds of the forms \[ N^{1/2-\varepsilon},\qquad N^{1/3-\varepsilon},\qquad N^{1/5-\varepsilon}, \] depending on the finite field. Thus universal non-vanishing is false over $\mathbb F_q(t)$, even though the rational-number conjecture predicts universal non-vanishing. A statistical function-field analogue asks whether the proportion of nonvanishing central values tends to $1$ as the genus grows. For $q\equiv1\pmod8$, an unconditional theorem proves that the number of squarefree $D$ of odd degree $n$ with \[ L\!\left(\frac12,\chi_D\right)=0 \] is at most \[ \frac{Cq^{n+1}}{n^c}. \] Since the number of squarefree polynomials of degree $n$ is of order $q^n$, the proportion of vanishing values is $O(n^{-c})$. Consequently, \[ \lim_{k\to\infty}\delta_q\!\left(\frac12;2k+1\right)=1, \] where $\delta_q(1/2;n)$ denotes the proportion of squarefree degree-$n$ polynomials whose quadratic characters have nonzero central value [2609.11855]. The proof uses $2$-adic Selmer-type spaces, Artin pairings, Rédei matrices, expansion maps, Rédei symbols, quartic reciprocity, function-field large-sieve estimates, and repeated Cauchy–Schwarz. The dimensions of non-systematic components of the Selmer spaces form a descending process; generic descent forces these components to vanish, which implies central non-vanishing. The result is density one, not universal non-vanishing. Central zeros still occur infinitely often. Its scope is restricted to quadratic characters, odd-degree imaginary characters, $q\equiv1\pmod8$, and the central point. ## 4. Chowla’s shifted-correlation conjecture The Liouville function is completely multiplicative: \[ \lambda(p)=-1,\qquad \lambda(n)=(-1)^{\Omega(n)}. \] Chowla’s correlation conjecture states that for every fixed $k$ and every tuple of distinct shifts, \[ \frac1X\sum_{n\le X}\prod_{j=1}^k\lambda(n+h_j)\longrightarrow0. \] The distinctness condition excludes repetitions such as $\lambda(n+h)^2=1$. The conjecture is equivalent to Bernoulli randomness of the Liouville sequence in the finite-dimensional correlation sense. Since the values are $\pm1$, vanishing of all nonempty shifted products implies that every sign pattern \[ (\varepsilon_1,\ldots,\varepsilon_k)\in\{-1,1\}^k \] has density $2^{-k}$. This is a normality or Bernoulli formulation, but it remains unproved for fixed shifts when $k\ge2. Several partial results distinguish different averaging regimes. The averaged theorem of Matomäki, Radziwiłł, and Tao gives, for fixed $k$ and $10\le H\le X$, \[ \sum_{h_1,\ldots,h_k\le H} \left| \sum_{n\le X}\prod_{j=1}^k\lambda(n+h_j) \right| \ll k\left( \frac{\log\log H}{\log H} +\frac1{\log^{1/3000}X} \right)H^kX. \] Thus the average absolute correlation is $o(X)$ whenever $H\to\infty$, but the result permits exceptional shift tuples and does not prove the conjecture for any prescribed fixed tuple [1503.05121]. The analytic method uses typical prime factorization, Ramaré’s identity, short-interval mean values for non-pretentious multiplicative functions, and a Kátai–Bourgain–Sarnak–Ziegler minor-arc argument. It also yields uniform averaged short-interval exponential-sum bounds \[ \sup_{\alpha\in\mathbb R} \int_0^X \left| \sum_{x\le n\le x+H}\lambda(n)e(\alpha n) \right|dx \ll \left( \frac{\log\log H}{\log H} +\frac1{\log^{1/700}X} \right)HX. \] Ergodic theory provides another conditional route. If the Liouville sequence is generic for an ergodic Furstenberg system, then it is generic for the Bernoulli measure, and the Chowla correlations follow. The proof combines local Gowers-uniformity seminorms, inverse theorems involving nilsequences, nilsequence orthogonality, and Tao’s entropy-decrement reduction [1611.09338]. Ergodicity of the Liouville system itself remains unknown. There are also subsequential counterpoint phenomena. Certain completely multiplicative, totally aperiodic functions constructed by Matomäki, Radziwiłł, and Tao fail the full-sequence Chowla conclusion: their two-point correlations need not converge to zero. Nevertheless, they possess subsequences whose Furstenberg systems are Bernoulli, as well as subsequences giving unipotent systems with finite-dimensional independence but higher-order algebraic dependence [2006.09958]. This shows that subsequential Chowla behavior does not imply full-sequence Chowla behavior. ## 5. Other Chowla conjectures and non-vanishing interpretations The Chowla–Milnor conjecture concerns the rational Hurwitz zeta values \[ \zeta\!\left(k,\frac aq\right), \qquad 1\le a0}$, define \[ f_A(x)=\sum_{a\in A}\cos(ax). \] Chowla conjectured \[ \min_x f_A(x)\le -\Omega(\sqrt{|A|}). \] A recent result proves the first polynomial lower bound: \[ \min_{x\in[0,2\pi]}f_A(x) \le -\Omega(|A|^{0.01}). \] The proof embeds $A$ into a cyclic Cayley graph, identifies cosine values with graph eigenvalues, and shows that a graph with a very small negative eigenvalue must contain a large clique, which is impossible for the relevant cyclic graph [2509.03490]. The exponent $0.01$ does not reach the conjectured $1/2$. The term “non-vanishing” also appears in the Ankeny–Artin–Chowla conjecture. For a prime $p\equiv1\pmod4$, write the fundamental unit of $\mathbb Q(\sqrt p)$ as \[ \varepsilon=x+y\frac{1+\sqrt p}{2}. \] The conjecture asserted that $p\nmid y$. A counterexample is \[ p=331\,914\,313\,984\,493, \] for which $p\mid y$ [2410.21864]. This is a Pell-type non-divisibility assertion and is unrelated to shifted Liouville correlations or quadratic Dirichlet central values, although it belongs to the broader arithmetic network involving units, regulators, class numbers, and special $L$-values. ## 6. Related extensions and current status Chowla-type cancellation has been established in several settings that do not resolve the original fixed-shift conjecture. Over $\mathbb F_q[T]$, geometric methods prove the full fixed-order Möbius correlation conjecture under a finite-field size condition. If $q=p^r$ with $p$ odd and \[ q>p^{2k^2}e^2, \] then for distinct shifts $h_1,\ldots,h_k$, \[ \sum_{\substack{f\in\mathbb F_q[T]^+\\ |f|\le X}} \mu(f+h_1)\cdots\mu(f+h_k)=o(X), \] with a power-saving estimate [1808.04001]. The proof exploits the characteristic-$p$ identity \[ (r+sp)'=r', \] which allows Möbius values on derivative fibers to be represented by quadratic Dirichlet characters. Improved function-field Burgess bounds and a level of distribution close to $1$ then yield cancellation. For Beatty sequences, if $\alpha_1/\alpha_2$ is irrational, then \[ \lim_{X\to\infty} \mathbb E_{n\le X}^{\log} \lambda(\lfloor\alpha_1n+\beta_1\rfloor) \lambda(\lfloor\alpha_2n+\beta_2\rfloor) =0. \] The higher-order Beatty analogue is only partially established: for $k\ge3$, current results exclude correlations of essentially maximal size but do not prove convergence to zero [2303.12574]. For a Steinhaus random multiplicative function $f$, nonlinear polynomial sequences exhibit a different probabilistic form of cancellation. If $P\in\mathbb Z[x]$ has degree at least $2$ and is not of the form \[ P(x)=w(x+c)^d, \] then \[ \frac1{\sqrt x}\sum_{n\le x}f(P(n)) \xrightarrow{d}\mathcal{CN}(0,1). \] If $P$ is not a product of linear factors over $\mathbb Q$, then almost surely there are arbitrarily large $x$ such that \[ \left|\sum_{n\le x}f(P(n))\right| \gg_{\deg P}\sqrt{x\log\log x}. \] These are random-model results, not theorems for the deterministic Liouville function [2202.08767]. The current status can therefore be summarized as follows: - **Quadratic Dirichlet central values over $\mathbb Q$**: universal non-vanishing remains open. - **Function-field quadratic central values**: universal non-vanishing is false, but density-one non-vanishing holds for odd-degree imaginary characters when $q\equiv1\pmod8$. - **Fixed-shift Liouville correlations**: the full Chowla conjecture remains open for every fixed tuple with $k\ge2. - **Averaged and logarithmic correlations**: substantial cancellation is known, including averaged-shift theorems and conditional results. - **Chowla–Milnor linear independence**: only logarithmically growing lower bounds are currently obtained for the difficult odd subspace. - **Cosine problem**: a polynomial negative bound is known, while the conjectured square-root bound remains open. - **Ankeny–Artin–Chowla**: the stated non-divisibility conjecture has an explicit counterexample. Accordingly, “Chowla’s non-vanishing conjecture” is not a single universally standardized theorem. Its mathematically precise meaning depends on whether the object is a quadratic $L$-value, a shifted multiplicative correlation, a Hurwitz-zeta linear relation, a cosine sum, or a Pell-type unit coefficient. Source: https://www.emergentmind.com/topics/chowla-s-non-vanishing-conjecture