You are currently browsing the tag archive for the ‘sign patterns’ tag.
Kaisa Matomäki, Maksym Radziwill, Joni Teräväinen, Tamar Ziegler and I have uploaded to the arXiv our paper Higher uniformity of bounded multiplicative functions in short intervals on average. This paper (which originated from a working group at an AIM workshop on Sarnak’s conjecture) focuses on the local Fourier uniformity conjecture for bounded multiplicative functions such as the Liouville function . One form of this conjecture is the assertion that
The conjecture gets more difficult as increases, and also becomes more difficult the more slowly
grows with
. The
conjecture is equivalent to the assertion
For , the conjecture is equivalent to the assertion
Now we apply the same strategy to (4). For abelian the claim follows easily from (3), so we focus on the non-abelian case. One now has a polynomial sequence
attached to many
, and after a somewhat complicated adaptation of the above arguments one again ends up with an approximate functional equation
We give two applications of this higher order Fourier uniformity. One regards the growth of the number
The second application is to obtain cancellation for various polynomial averages involving the Liouville function or von Mangoldt function
, such as
Joni Teräväinen and I have just uploaded to the arXiv our paper “Value patterns of multiplicative functions and related sequences“, submitted to Forum of Mathematics, Sigma. This paper explores how to use recent technology on correlations of multiplicative (or nearly multiplicative functions), such as the “entropy decrement method”, in conjunction with techniques from additive combinatorics, to establish new results on the sign patterns of functions such as the Liouville function . For instance, with regards to length 5 sign patterns
of the Liouville function, we can now show that at least of the
possible sign patterns in
occur with positive upper density. (Conjecturally, all of them do so, and this is known for all shorter sign patterns, but unfortunately
seems to be the limitation of our methods.)
The Liouville function can be written as , where
is the number of prime factors of
(counting multiplicity). One can also consider the variant
, which is a completely multiplicative function taking values in the cube roots of unity
. Here we are able to show that all
sign patterns in
occur with positive lower density as sign patterns
of this function. The analogous result for
was already known (see this paper of Matomäki, Radziwiłł, and myself), and in that case it is even known that all sign patterns occur with equal logarithmic density
(from this paper of myself and Teräväinen), but these techniques barely fail to handle the
case by itself (largely because the “parity” arguments used in the case of the Liouville function no longer control three-point correlations in the
case) and an additional additive combinatorial tool is needed. After applying existing technology (such as entropy decrement methods), the problem roughly speaking reduces to locating patterns
for a certain partition
of a compact abelian group
(think for instance of the unit circle
, although the general case is a bit more complicated, in particular if
is disconnected then there is a certain “coprimality” constraint on
, also we can allow the
to be replaced by any
with
divisible by
), with each of the
having measure
. An inequality of Kneser just barely fails to guarantee the existence of such patterns, but by using an inverse theorem for Kneser’s inequality in this previous paper of mine we are able to identify precisely the obstruction for this method to work, and rule it out by an ad hoc method.
The same techniques turn out to also make progress on some conjectures of Erdös-Pomerance and Hildebrand regarding patterns of the largest prime factor of a natural number
. For instance, we improve results of Erdös-Pomerance and of Balog demonstrating that the inequalities
and
each hold for infinitely many , by demonstrating the stronger claims that the inequalities
and
each hold for a set of of positive lower density. As a variant, we also show that we can find a positive density set of
for which
for any fixed (this improves on a previous result of Hildebrand with
replaced by
. A number of other results of this type are also obtained in this paper.
In order to obtain these sorts of results, one needs to extend the entropy decrement technology from the setting of multiplicative functions to that of what we call “weakly stable sets” – sets which have some multiplicative structure, in the sense that (roughly speaking) there is a set
such that for all small primes
, the statements
and
are roughly equivalent to each other. For instance, if
is a level set
, one would take
; if instead
is a set of the form
, then one can take
. When one has such a situation, then very roughly speaking, the entropy decrement argument then allows one to estimate a one-parameter correlation such as
with a two-parameter correlation such as
(where we will be deliberately vague as to how we are averaging over and
), and then the use of the “linear equations in primes” technology of Ben Green, Tamar Ziegler, and myself then allows one to replace this average in turn by something like
where is constrained to be not divisible by small primes but is otherwise quite arbitrary. This latter average can then be attacked by tools from additive combinatorics, such as translation to a continuous group model (using for instance the Furstenberg correspondence principle) followed by tools such as Kneser’s inequality (or inverse theorems to that inequality).
Recent Comments