A conjectural local Fourier-uniformity of the Liouville function

2 December, 2015 in expository, math.NT, question | Tags: Chowla conjecture, Gowers uniformity norm, Liouville function

Let ${\lambda}$ denote the Liouville function. The prime number theorem is equivalent to the estimate

$\displaystyle \sum_{n \leq x} \lambda(n) = o(x)$

as ${x \rightarrow \infty}$ , that is to say that ${\lambda}$ exhibits cancellation on large intervals such as ${[1,x]}$ . This result can be improved to give cancellation on shorter intervals. For instance, using the known zero density estimates for the Riemann zeta function, one can establish that

$\displaystyle \int_X^{2X} |\sum_{x \leq n \leq x+H} \lambda(n)|\ dx = o( HX ) \ \ \ \ \ (1)$

as ${X \rightarrow \infty}$ if ${X^{1/6+\varepsilon} \leq H \leq X}$ for some fixed ${\varepsilon>0}$ ; I believe this result is due to Ramachandra (see also Exercise 21 of this previous blog post), and in fact one could obtain a better error term on the right-hand side that for instance gained an arbitrary power of ${\log X}$ . On the Riemann hypothesis (or the weaker density hypothesis), it was known that the ${X^{1/6+\varepsilon}}$ could be lowered to ${X^\varepsilon}$ .

Early this year, there was a major breakthrough by Matomaki and Radziwill, who (among other things) showed that the asymptotic (1) was in fact valid for any ${H = H(X)}$ with ${H \leq X}$ that went to infinity as ${X \rightarrow \infty}$ , thus yielding cancellation on extremely short intervals. This has many further applications; for instance, this estimate, or more precisely its extension to other “non-pretentious” bounded multiplicative functions, was a key ingredient in my recent solution of the Erdös discrepancy problem, as well as in obtaining logarithmically averaged cases of Chowla’s conjecture, such as

$\displaystyle \sum_{n \leq x} \frac{\lambda(n) \lambda(n+1)}{n} = o(\log x). \ \ \ \ \ (2)$

It is of interest to twist the above estimates by phases such as the linear phase ${n \mapsto e(\alpha n) := e^{2\pi i \alpha n}}$ . In 1937, Davenport showed that

$\displaystyle \sup_\alpha |\sum_{n \leq x} \lambda(n) e(\alpha n)| \ll_A x \log^{-A} x$

which of course improves the prime number theorem. Recently with Matomaki and Radziwill, we obtained a common generalisation of this estimate with (1), showing that

$\displaystyle \sup_\alpha \int_X^{2X} |\sum_{x \leq n \leq x+H} \lambda(n) e(\alpha n)|\ dx = o(HX) \ \ \ \ \ (3)$

as ${X \rightarrow \infty}$ , for any ${H = H(X) \leq X}$ that went to infinity as ${X \rightarrow \infty}$ . We were able to use this estimate to obtain an averaged form of Chowla’s conjecture.

In that paper, we asked whether one could improve this estimate further by moving the supremum inside the integral, that is to say to establish the bound

$\displaystyle \int_X^{2X} \sup_\alpha |\sum_{x \leq n \leq x+H} \lambda(n) e(\alpha n)|\ dx = o(HX) \ \ \ \ \ (4)$

as ${X \rightarrow \infty}$ , for any ${H = H(X) \leq X}$ that went to infinity as ${X \rightarrow \infty}$ . This bound is asserting that ${\lambda}$ is locally Fourier-uniform on most short intervals; it can be written equivalently in terms of the “local Gowers ${U^2}$ norm” as

$\displaystyle \int_X^{2X} \sum_{1 \leq a \leq H} |\sum_{x \leq n \leq x+H} \lambda(n) \lambda(n+a)|^2\ dx = o( H^3 X )$

from which one can see that this is another averaged form of Chowla’s conjecture (stronger than the one I was able to prove with Matomaki and Radziwill, but a consequence of the unaveraged Chowla conjecture). If one inserted such a bound into the machinery I used to solve the Erdös discrepancy problem, it should lead to further averaged cases of Chowla’s conjecture, such as

$\displaystyle \sum_{n \leq x} \frac{\lambda(n) \lambda(n+1) \lambda(n+2)}{n} = o(\log x), \ \ \ \ \ (5)$

though I have not fully checked the details of this implication. It should also have a number of new implications for sign patterns of the Liouville function, though we have not explored these in detail yet.

One can write (4) equivalently in the form

$\displaystyle \int_X^{2X} \sum_{x \leq n \leq x+H} \lambda(n) e( \alpha(x) n + \beta(x) )\ dx = o(HX) \ \ \ \ \ (6)$

uniformly for all ${x}$ -dependent phases ${\alpha(x), \beta(x)}$ . In contrast, (3) is equivalent to the subcase of (6) when the linear phase coefficient ${\alpha(x)}$ is independent of ${x}$ . This dependency of ${\alpha(x)}$ on ${x}$ seems to necessitate some highly nontrivial additive combinatorial analysis of the function ${x \mapsto \alpha(x)}$ in order to establish (4) when ${H}$ is small. To date, this analysis has proven to be elusive, but I would like to record what one can do with more classical methods like Vaughan’s identity, namely:

Proposition 1 The estimate (4) (or equivalently (6)) holds in the range ${X^{2/3+\varepsilon} \leq H \leq X}$ for any fixed ${\varepsilon>0}$ . (In fact one can improve the right-hand side by an arbitrary power of ${\log X}$ in this case.)

The values of ${H}$ in this range are far too large to yield implications such as new cases of the Chowla conjecture, but it appears that the ${2/3}$ exponent is the limit of “classical” methods (at least as far as I was able to apply them), in the sense that one does not do any combinatorial analysis on the function ${x \mapsto \alpha(x)}$ , nor does one use modern equidistribution results on “Type III sums” that require deep estimates on Kloosterman-type sums. The latter may shave a little bit off of the ${2/3}$ exponent, but I don’t see how one would ever hope to go below ${1/2}$ without doing some non-trivial combinatorics on the function ${x \mapsto \alpha(x)}$ . UPDATE: I have come across this paper of Zhan which uses mean-value theorems for L-functions to lower the ${2/3}$ exponent to ${5/8}$ .

Let me now sketch the proof of the proposition, omitting many of the technical details. We first remark that known estimates on sums of the Liouville function (or similar functions such as the von Mangoldt function) in short arithmetic progressions, based on zero-density estimates for Dirichlet ${L}$ -functions, can handle the “major arc” case of (4) (or (6)) where ${\alpha}$ is restricted to be of the form ${\alpha = \frac{a}{q} + O( X^{-1/6-\varepsilon} )}$ for ${q = O(\log^{O(1)} X)}$ (the exponent here being of the same numerology as the ${X^{1/6+\varepsilon}}$ exponent in the classical result of Ramachandra, tied to the best zero density estimates currently available); for instance a modification of the arguments in this recent paper of Koukoulopoulos would suffice. Thus we can restrict attention to “minor arc” values of ${\alpha}$ (or ${\alpha(x)}$ , using the interpretation of (6)).

Next, one breaks up ${\lambda}$ (or the closely related Möbius function) into Dirichlet convolutions using one of the standard identities (e.g. Vaughan’s identity or Heath-Brown’s identity), as discussed for instance in this previous post (which is focused more on the von Mangoldt function, but analogous identities exist for the Liouville and Möbius functions). The exact choice of identity is not terribly important, but the upshot is that ${\lambda(n)}$ can be decomposed into ${\log^{O(1)} X}$ terms, each of which is either of the “Type I” form

$\displaystyle \sum_{d \sim D; m \sim M: dm=n} a_d$

for some coefficients ${a_d}$ that are roughly of logarithmic size on the average, and scales ${D, M}$ with ${D \ll X^{2/3}}$ and ${DM \sim X}$ , or else of the “Type II” form

$\displaystyle \sum_{d \sim D; m \sim M: dm=n} a_d b_m$

for some coefficients ${a_d, b_m}$ that are roughly of logarithmic size on the average, and scales ${D,M}$ with ${X^{1/3} \ll D,M \ll X^{2/3}}$ and ${DM \sim X}$ . As discussed in the previous post, the ${2/3}$ exponent is a natural barrier in these identities if one is unwilling to also consider “Type III” type terms which are roughly of the shape of the third divisor function ${\tau_3(n) := \sum_{d_1d_2d_3=1} 1}$ .

A Type I sum makes a contribution to ${ \sum_{x \leq n \leq x+H} \lambda(n) e( \alpha(x) n + \beta(x) )}$ that can be bounded (via Cauchy-Schwarz) in terms of an expression such as

$\displaystyle \sum_{d \sim D} | \sum_{x/d \leq m \leq x/d+H/d} e(\alpha(x) dm )|^2.$

The inner sum exhibits a lot of cancellation unless ${\alpha(x) d}$ is within ${O(D/H)}$ of an integer. (Here, “a lot” should be loosely interpreted as “gaining many powers of ${\log X}$ over the trivial bound”.) Since ${H}$ is significantly larger than ${D}$ , standard Vinogradov-type manipulations (see e.g. Lemma 13 of these previous notes) show that this bad case occurs for many ${d}$ only when ${\alpha}$ is “major arc”, which is the case we have specifically excluded. This lets us dispose of the Type I contributions.

A Type II sum makes a contribution to ${ \sum_{x \leq n \leq x+H} \lambda(n) e( \alpha(x) n + \beta(x) )}$ roughly of the form

$\displaystyle \sum_{d \sim D} | \sum_{x/d \leq m \leq x/d+H/d} b_m e(\alpha(x) dm)|.$

We can break this up into a number of sums roughly of the form

$\displaystyle \sum_{d = d_0 + O( H / M )} | \sum_{x/d_0 \leq m \leq x/d_0 + H/D} b_m e(\alpha(x) dm)|$

for ${d_0 \sim D}$ ; note that the ${d}$ range is non-trivial because ${H}$ is much larger than ${M}$ . Applying the usual bilinear sum Cauchy-Schwarz methods (e.g. Theorem 14 of these notes) we conclude that there is a lot of cancellation unless one has ${\alpha(x) = a/q + O( \frac{X \log^{O(1)} X}{H^2} )}$ for some ${q = O(\log^{O(1)} X)}$ . But with ${H \geq X^{2/3+\varepsilon}}$ , ${X \log^{O(1)} X/H^2}$ is well below the threshold ${X^{-1/6-\varepsilon}}$ for the definition of major arc, so we can exclude this case and obtain the required cancellation.

21 comments

Comments feed for this article

2 December, 2015 at 3:31 pm

Anonymous

In the line above the last one, it seems that the argument “ $X$ ” after “ $\log ^{O(1)}$ ” is missing.

[Corrected, thanks – T.]

2 December, 2015 at 4:29 pm

Mark Lewko

It seems that the “local Gowers U^2” formulation after (4) can be further reformulated in the following manner (expanding the square): Assume the conjecture is false. Then for each $n \in [X,2X]$ the “additive energy” of the sequence $\lambda(x)$ restricted to the sub-interval $[n,n+h]$ is nearly as large as possible (there’s some boundary issues with the endpoints of the intervals that I’m assuming can be ignored here).

I haven’t thought this through carefully but heuristically it seems that BSG and Freiman type arguments should then imply that there is a large (maybe even proportional?) sized AP in $[n,n+h]$ on which $\lambda(x)$ is nearly constant for each $n \in [X,2X]$ . This of course is absurd but, more importantly, is a question about $\lambda(x)$ and not its correlations. If the AP’s were proportionally sized, one should then be able to pigeonhole the step sizes to contradict a variant of the original result of Matomaki and Radziwill adapted to APs.

2 December, 2015 at 8:13 pm

Terence Tao

The enemy occurs when $\lambda(n)$ is locally constant on Bohr sets such as $\{ n \in [x,x+H]: \{ \alpha n \} \in [0,1/2]\}$ , which occupy a positive density fraction of $[x,x+H]$ . They do contain reasonably long APs, but the length and spacing of these APs is typically of size $\sqrt{H}$ rather than $H$ , which is beyond the range of the Matomaki-Radziwill theory.

Here is an example which indicates that the problem needs new ideas beyond the MR results. Consider the completely multiplicative function $f(n) := n^{it}$ with $t \sim X^{2-\varepsilon}$ for some small $\varepsilon$ . On the one hand, this function is non-pretentious in the sense that it is not close (in the Granville-Soundararajan sense) on $[1,X]$ to a character of the form $n \mapsto \chi(n) n^{it'}$ for some Dirichlet character $\chi$ of small conductor and some $t' = O(X)$ . As such, the MR theory kicks in and tells us that $f(n)$ has small mean on most intervals of the form $[x,x+H]$ , and also on most arithmetic progressions of bounded spacing. On the other hand, Taylor expansion shows that $f(n)$ has large Gowers $U^2$ norm on intervals $[x,x+H]$ with $x \sim X$ and $H$ as large as $X^{\varepsilon/2}$ . Indeed this function is almost constant on fairly large Bohr sets in $[x,x+H]$ , without contradicting the MR results.

4 December, 2015 at 1:17 pm

Mark Lewko

That makes a lot of sense, thanks!

Here’s an amusing observation: Assume that the 3-correlation estimate (and thus (4)) fails. Then on most intervals of the form $[n,n+h]$ we have that $\lambda(n)$ correlates with a phase function. Now consider the twisted quantity $\chi(n)\lambda(n)$ where $\chi(n)$ is a Dirichlet character of modulus near $h$ . From, say, Poly-Vinogradov (or Burgess) we then have that $\chi(n)\lambda(n)$ must satisfy a MR-type estimate with a near optimal error term. This isn’t too helpful in obtaining a contradiction, but it seems that this should in turn have some interesting consequences that aren’t known unconditionally (perhaps the error term is then sufficient to deduce some results about primes in short intervals)?

4 December, 2015 at 3:12 pm

Terence Tao

Well, it is a priori conceivable that $\lambda(n)$ could correlate with both a phase function and a Dirichlet character on short intervals (or correlate with a phase function and be orthogonal to a Dirichlet character), provided that both correlations are not extremely large. There could possibly be a “zero-one law” that lets one say that correlations are either negligible or extremely large (in the spirit of the “all or nothing dichotomy” in Section 3 of this previous post) in which case this scenario could be eliminated, but it is not clear to me at present that one could do this. (On the other hand, one could imagine from some sort of large sieve inequality that after some averaging in h, the inner product with a “typical” Dirichlet character would exhibit random fluctuations.)

3 December, 2015 at 2:48 am

Anonymous

In the sketch of the proof of the proposition, where the decomposition of lambda(n) is described, there is “Type I form [sum over a_d] for some coefficients alpha_d…” I think the alpha_d should be a_d.

[Corrected, thanks – T.]

3 December, 2015 at 6:22 pm

Terence Tao

I am recording an additional observation: the conjecture (4) (or (6)) seems to be a consequence not only of the Chowla conjecture, but of the ostensibly weaker Sarnak conjecture (discussed in https://terrytao.wordpress.com/2012/10/14/the-chowla-conjecture-and-the-sarnak-conjecture/ ), thus raising the possibility of establishing that the Sarnak and Chowla conjectures are in fact logically equivalent (up to logarithmic averaging, at least). Sketch of proof: suppose (6) failed, then one can find a sequence $X_k \to \infty$ and also $H_k \to \infty$ with $H_k \leq X_k$ , as well as phases $\alpha_k(x), \beta_k(x)$ on $[X_k,2X_k]$ , such that $\lambda(n)$ (or $\mu(n)$ , if one prefers) correlates with $e(\alpha_k(x) n + \beta_k(x))$ on $[x,x+H_k]$ for a positive fraction of $x \in [X_k,2X_k]$ . In particular, we can partition $[X_k,2X_k]$ into intervals $I$ of length about $H_k$ , and place a linear phase $e(\alpha_I n + \beta_I)$ on each such interval, such that $\mu$ (say) has a large correlation with this piecewise linear phase function on $[X_k,2X_k]$ .

By sparsifying in $k$ , we may assume that $H_{k+1} \geq X_k$ and $X_{k+1} \geq 2 X_k$ for all $k$ . One can now create a bounded deterministic sequence $f(n)$ by defining $f(n) := e(\alpha_I n + \beta_I)$ for all $n$ in one of the subintervals $I$ of $[X_k,2X_k]$ as defined above, and then repeating this function periodically with period $X_k$ to cover the region $[2X_k,X_{k+1}]$ . If one does this for each $k$ and then glues together, one can check (using the local periodicity of $f$ , as well as the local linear phase behaviour) that the resulting function $f$ is indeed bounded and deterministic (i.e. for any fixed $\varepsilon > 0$ , the $\varepsilon$ -entropy of length-m substrings of $f$ is $\exp(o(m))$ as $m \to \infty$ ). [Indeed, if $H_k \leq m \leq H_{k+1}$ , one can get an entropy bound roughly of the shape $\exp( O( \frac{\log H_k}{H_k} m ) )$ because the behaviour on $H_k$ -intervals has an entropy that is polynomial in $H_k$ rather than exponential.] But $\mu$ correlates strongly with $f$ on the intervals $[X_k,2X_k]$ , contradicting the Sarnak conjecture.

4 December, 2015 at 2:38 am

Anonymous

What is the precise meaning of “equivalence (up to logarithmic averaging)” of the Sarnak and Chowla conjectures ?

4 December, 2015 at 12:15 pm

Terence Tao

The usual forms of the Sarnak and Chowla conjectures are phrased using simple averages such as $\frac{1}{x} \sum_{n \leq x} \mu(n) f(n)$ and $\frac{1}{x} \sum_{n \leq x} \mu(n+a_1) \dots \mu(n+a_k)$ . I don’t see how to demonstrate equivalence of these conjectures (though the implication that the Chowla conjecture implies the Sarnak conjecture is known), but there appears to be a chance that the logarithmically averaged forms of these conjectures, which controls sums such as $\frac{1}{\log x} \sum_{n \leq x} \frac{\mu(n) f(n)}{n}$ and $\frac{1}{\log x} \sum_{n \leq x} \frac{\mu(n+a_1) \dots \mu(n+a_k)}{n}$ , can be demonstrated to be logically equivalent.

4 December, 2015 at 2:09 pm

Y. Lin

Two random and possibly silly questions: a) For what multiplicative functions, do we have Vaughan’s or Heath-Brown’s identities (other than the Mobius, von Mangoldt and Liouville)? b) Will it be possible or make sense to state Sarnak’s disjointness conjecture, by replacing the Mobius with a certain class of random multiplicative functions?

4 December, 2015 at 3:16 pm

Terence Tao

One can interpret the various combinatorial identities in terms of identities relating the Dirichlet series of the function one is analysing with Dirichlet series of “smooth” functions such as 1 and $n \mapsto \log n$ , which have Dirichlet series of $\zeta(s)$ and $-\zeta'(s)$ respectively. So the key thing here is that the Dirichlet series of Mobius, von Mangoldt, or Liouville can be expressed in terms of zeta and its derivatives. One can of course do similar things with arithmetic functions whose Dirichlet series are tied to other standard L-functions, e.g. one can twist Mobius, Liouville, or von Mangoldt by a Dirichlet character, or by fancier characters such as those coming from automorphic forms, etc.. In those cases, though, even the “smooth” functions can be hard to sum.

I’m not sure what model of random multiplicative function you have in mind, but many such models will already almost surely obey the Chowla conjecture, and hence also the Sarnak conjecture.

5 December, 2015 at 5:34 am

gninrepoli

Sorry, I’m not sure, but it may be – $N(\alpha ,T)\ll T^{\lambda (1-\alpha )}\log^{B}T$ $\lambda < \frac{1}{1-\delta +\epsilon}$ for $\delta=0,525$ . From:
1) Ingham, A. E.: On the difference between consecutive primes. Quarterly J. Math. (Oxford) 8, 255-266 (1937).
2) R. C. Baker, G. Harman and J. Pintz: The difference between consecutive primes, II (2000)
To reduce the degree of $\chi ^{1/6+\epsilon }$ .

5 December, 2015 at 10:35 am

Terence Tao

As far as I am aware, the best value of $\lambda$ in the zero-density estimate is still $\lambda = 12/5 + \varepsilon$ (corresponding to $\delta= 7/12$ ), coming from the Ingham estimate, which leads to the $1/6 \approx 1 - \frac{2}{\lambda} \approx 2\delta - 1$ exponent for primes in short intervals on average, or primes in any short interval $[x, x+x^{7/12+\varepsilon}]$ . The Baker-Harman-Pintz arguments use some delicate sieve theory and some improved zero density estimates near $\hbox{Re}(s)=1$ to improve the $7/12$ to $0.525$ for the latter problem (primes in a worst-case short interval), but not the former problem (primes in a typical short interval), as they do not directly improve on the zero density estimates of Ingham in the range $\hbox{Re}(s) < 3/4$ , which is much more important for the typical short interval problem than it is for the worst-case short interval problem. Actually, I believe improving upon Ingham's estimates in this range is a major open problem in the field.

11 December, 2015 at 1:52 am

gninrepoli

Returning to Ingham $p_{n+1}-p_{n}=O(p_{n}^{\theta })$ , $\zeta (\frac{1}{2}+it)=O(t^{c})$ for $\theta >\frac{1+4c}{2+4c}$ . This does not mean that the $\zeta (\frac{1}{2}+it)=O(t^{0.1})$ at $\frac{7}{12}$ ?
Last result Bourgain at $\approx 0.1549$ .
https://en.wikipedia.org/wiki/Prime_gap#cite_note-Ingham-10

1) Ingham, A. E. (1937). “On the difference between consecutive primes”. Quarterly Journal of Mathematics. Oxford Series 8 (1): 255–266

11 December, 2015 at 8:15 am

Terence Tao

The implication in Ingham’s paper is that an upper bound on $\zeta(\frac{1}{2}+it)$ implies an upper bound on $p_{n+1}-p_n$ . However, the converse implication is not established in that paper.

17 December, 2015 at 11:58 am

gninrepoli

In 1) we see that $\int_{0}^{T}|\zeta (1/2+it)\sum_{m}^{M}\frac{\mu (m)}{m^{1/2+it}}|^{2}dt\ll T^{\epsilon }(T+T^{1/2}M^{7/8}+M^{5/3})$ .This expression can take instead of $max(|\zeta (1/2+iT)|^2)\int_{0}^{T}|\sum_{m}^{M}\frac{\mu (m)}{m^{1/2+it}}|^{2}dt$ in Ingham. Using the method of flat sieve Ingham received the following assessment $\int_{0}^{T}|\zeta (1+\delta +it)\sum_{m}^{M}\frac{\mu (m)}{m^{1+\delta +it}}|^{2}dt\ll A(\frac{T}{M}+1)^{\delta ^{-4}}$ where $\delta=1/log(T+M)$ .
Is it possible to get a better estimate for this expression, if you act like in 1)?
1)J.-M. Deshouillers and H. Iwaniec, Power mean values of the Riemann zeta function II, Acta Arith. 48 (1984) 305-312

8 December, 2015 at 12:05 am

Anonymous

What is the most interesting piece of work regarding the Riemann Hypothesis equivalent and the Liouville function?

8 December, 2015 at 7:39 am

gninrepoli

Maybe I’m wrong again. The article number 1, you can see that Theorem 4 is improved approach to the hypothesis Lindelof. As I understand Theorem 3 (modified) is used at Huxley (2).Deshouillers and Iwaniec (3) extended $\frac{1}{2}$ to $\frac{4}{7}$ for $\zeta (s)$ , one can hope that this is the symmetry , to reduce the degree of $T^{1/2}$ to $T^{1-4/7}$ .
Theorem 3: By analogy $\zeta (s)$ for $\sigma =0$
Theorem 4: By analogy $\zeta (s)$ for $\sigma =1/2$

1) Montgomery, H. L.: Mean and large values of Dirichlet polynomials. Inventiones math. 8, 334-345 (1969)
2) Huxley, M.N.: On the Difference between Consecutive Primes (1972)
3)J.-M. Deshouillers and H. Iwaniec, Kloosterman sums and Fourier coefficients of cusp forms, Invent. Math. 70 (1982), 219-288

31 December, 2015 at 12:13 pm

Blasts From the Past | Gödel's Lost Letter and P=NP

[…] to 1932. We have already covered Terry Tao’s stunning proof of his conjecture. The latest news on Tao’s blog from early this month covers attacks on related […]

27 March, 2016 at 5:18 pm

Concatenation theorems for anti-Gowers-uniform functions and Host-Kra characteristic factors; polynomial patterns in primes | What's new

[…] local Gowers uniformity norms, even with the assistance of the generalised Riemann hypothesis (see this previous blog post for some further […]

16 May, 2016 at 10:29 pm

Equivalence of the logarithmically averaged Chowla and Sarnak conjectures | What's new

[…] uniformity norm. (In the case , , this becomes the Fourier-uniformity conjecture discussed in this previous post.) If one then applied the (now proven) inverse conjecture for the Gowers norms, this estimate is in […]

	Anonymous on 245A, Notes 1: Lebesgue m…
	Terence Tao on 275A, Notes 2: Product measure…
	Terence Tao on Computing convolutions of…
	Terence Tao on 254B, Notes 1: Equidistributio…
	Terence Tao on Career advice
	Terence Tao on Decoupling and the Bourgain-De…
	Danilo on PCMI lecture notes on random m…
	Ravish on Career advice
	Partial Scoring for… on How to assign partial credit o…
	Alex on A geometric proof of the impos…
	Doubtful determinism on 275A, Notes 2: Product measure…
	Elephant Rock on A geometric proof of the impos…
	Elephant Rock on A geometric proof of the impos…
	Anonymous on The probabilistic heuristic ju…
	Repelling Numbers \|… on 254A, Notes 7: Linnik’s…

A conjectural local Fourier-uniformity of the Liouville function

Recent Comments

Articles by others

Diversions

Mathematics

Selected articles

Software

The sciences

Top Posts

Archives

Categories

The Polymath Blog

21 comments

Leave a Reply Cancel reply

For commenters

A conjectural local Fourier-uniformity of the Liouville function

Share this:

Like this:

Recent Comments

Articles by others

Diversions

Mathematics

Selected articles

Software

The sciences

Top Posts

Archives

Categories

The Polymath Blog

21 comments

Leave a Reply Cancel reply

For commenters