BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Terence Tao

Terence Tao contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DSmath.NTmath.COmath.PRmath.CAmath.APmath.CVmath.FAmath.OAhep-phhep-thmath-phmath.CTmath.GRmath.MGmath.MPmath.RA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
17topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2026arXiv

A Host--Kra ${\mathbf F}_2^ω$-system of order $5$ that is not Abramov of order $5$, and non-measurability of the inverse theorem for the $U^6({\mathbf F}_2^n)$ norm

It was conjectured by Bergelson, Tao, and Ziegler \cite{btz} that every Host--Kra $\F_p^ω$-system of order $k$ is an Abramov system of order $k$. This conjecture has been verified for $k \leq p+1$. In this paper we show that the conjecture fails when $k=5, p=2$. We in fact establish a stronger (combinatorial) statement, in that we produce a bounded function $f: \F_2^n \to \C$ of large Gowers norm $\|f\|_{U^6(\F_2^n)}$ which (as per the inverse theorem for that norm) correlates with a non-classical quintic phase polynomial $e(P)$, but with the property that all such phase polynomials $e(P)$ are ``non-measurable'' in the sense that they cannot be well approximated by functions of a bounded number of random translates of $f$. A simpler version of our construction can also be used to answer a question of Candela, González-Sánchez, and Szegedy \cite{CGSS}.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Polynomial towers and inverse Gowers theory for bounded-exponent groups

In this paper we develop Host--Kra and inverse Gowers theory for abelian groups of bounded exponent. We show that the Host--Kra factors $Z^{\leq k}(\mathrm{X})$ associated with actions of such groups admit extensions with the structure of \emph{polynomial towers}. This new notion is a system obtained as a finite iteration of abelian extensions of the trivial system by polynomial cocycles; crucially, the intermediate extensions in this system are not required to agree with the Host--Kra factors. We prove that all such extensions are Abramov (generalizing a recent result of Candela, González-Sánchez, and Szegedy), but not necessarily Weyl, and have the structure of k-step translational systems. Combining this structure theorem with a correspondence principle due to the first and third authors, we derive an inverse theorem for the Gowers norms on finite abelian groups of bounded exponent: large $U^{k+1}$-norm implies large correlation with a polynomial of degree $\le k$ (on the same group), even when the exponent is not square-free or is divisible by small primes. This resolves a conjecture of the first and third authors for such groups, and also answers a question of Candela, González-Sánchez, and Szegedy.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

New bounds for Szemeredi's theorem, II: A new bound for $r_4(N)$

Define $r_4(N)$ to be the largest cardinality of a set $A$ in $\{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that $r_4(N) \ll N(\log \log N)^{-c}$ for some absolute constant $c> 0$. In this paper (part II of a series) we improve this to $r_4(N) \ll N e^{-c\sqrt{\log \log N}}$. In part III of the series we will use a more elaborate argument to improve this to $r_4(N) \ll N(\log N)^{-c}$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Almost all orbits of the Collatz map attain almost bounded values

Define the \emph{Collatz map} $\mathrm{Col} : \mathbb{N}+1 \to \mathbb{N}+1$ on the positive integers $\mathbb{N}+1 = \{1,2,3,\dots\}$ by setting $\mathrm{Col}(N)$ equal to $3N+1$ when $N$ is odd and $N/2$ when $N$ is even, and let $\mathrm{Col}_{\min}(N) := \inf_{n \in \mathbb{N}} \mathrm{Col}^n(N)$ denote the minimal element of the Collatz orbit $N, \mathrm{Col}(N), \mathrm{Col}^2(N), \dots$. The infamous \emph{Collatz conjecture} asserts that $\mathrm{Col}_{\min}(N)=1$ for all $N \in \mathbb{N}+1$. Previously, it was shown by Korec that for any $θ> \frac{\log 3}{\log 4} \approx 0.7924$, one has $\mathrm{Col}_{\min}(N) \leq N^θ$ for almost all $N \in \mathbb{N}+1$ (in the sense of natural density). In this paper we show that for \emph{any} function $f : \mathbb{N}+1 \to \mathbb{R}$ with $\lim_{N \to \infty} f(N)=+\infty$, one has $\mathrm{Col}_{\min}(N) \leq f(N)$ for almost all $N \in \mathbb{N}+1$ (in the sense of logarithmic density). Our proof proceeds by establishing an approximate transport property for a certain first passage random variable associated with the Collatz iteration (or more precisely, the closely related Syracuse iteration), which in turn follows from estimation of the characteristic function of a certain skew random walk on a $3$-adic cyclic group at high frequencies. This estimation is achieved by studying how a certain two-dimensional renewal process interacts with a union of triangles associated to a given frequency.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

An averaged form of Chowla's conjecture

Let $λ$ denote the Liouville function. A well known conjecture of Chowla asserts that for any distinct natural numbers $h_1,\dots,h_k$, one has $\sum_{1 \leq n \leq X} λ(n+h_1) \dotsm λ(n+h_k) = o(X)$ as $X \to \infty$. This conjecture remains unproven for any $h_1,\dots,h_k$ with $k \geq 2$. In this paper, using the recent results of the first two authors on mean values of multiplicative functions in short intervals, combined with an argument of Katai and Bourgain-Sarnak-Ziegler, we establish an averaged version of this conjecture, namely $$\sum_{h_1,\dots,h_k \leq H} \left|\sum_{1 \leq n \leq X} λ(n+h_1) \dotsm λ(n+h_k)\right| = o(H^kX)$$ as $X \to \infty$ whenever $H = H(X) \leq X$ goes to infinity as $X \to \infty$, and $k$ is fixed. Related to this, we give the exponential sum estimate $$ \int_0^X \left|\sum_{x \leq n \leq x+H} λ(n) e(αn)\right| dx = o( HX )$$ as $X \to \infty$ uniformly for all $α\in \mathbb{R}$, with $H$ as before. Our arguments in fact give quantitative bounds on the decay rate (roughly on the order of $\frac{\log\log H}{\log H}$), and extend to more general bounded multiplicative functions than the Liouville function, yielding an averaged form of a (corrected) conjecture of Elliott.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

An uncountable Mackey-Zimmer theorem

The Mackey-Zimmer theorem classifies ergodic group extensions $X$ of a measure-preserving system $Y$ by a compact group $K$, by showing that such extensions are isomorphic to a group skew-product $X \equiv Y \rtimes_ρH$ for some closed subgroup $H$ of $K$. An analogous theorem is also available for ergodic homogeneous extensions $X$ of $Y$, namely that they are isomorphic to a homogeneous skew-product $Y \rtimes_ρH/M$. These theorems have many uses in ergodic theory, for instance playing a key role in the Host-Kra structural theory of characteristic factors of measure-preserving systems. The existing proofs of the Mackey-Zimmer theorem require various "countability", "separability", or "metrizability" hypotheses on the group $Γ$ that acts on the system, the base space $Y$, and the group $K$ used to perform the extension. In this paper we generalize the Mackey-Zimmer theorem to "uncountable" settings in which these hypotheses are omitted, at the cost of making the notion of a measure-preserving system and a group extension more abstract. However, this abstraction is partially counteracted by the use of a "canonical model" for abstract measure-preserving systems developed in a companion paper. In subsequent work we will apply this theorem to also obtain uncountable versions of the Host-Kra structural theory.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

We collect several foundational results regarding the interaction between locally compact spaces, probability spaces and probability algebras, and commutative $C^*$-algebras and von Neumann algebras equipped with traces, in the "uncountable" setting in which no separability, metrizability, or standard Borel hypotheses are placed on these spaces and algebras. In particular, we review the Gelfand dualities and Riesz representation theorems available in this setting. We also present a canonical model that represents probability algebras as compact Hausdorff probability spaces in a completely functorial fashion, and apply this model to obtain a canonical disintegration theorem and to readily construct various product measures. These tools are useful in applications to "uncountable" ergodic theory (as demonstrated by the authors and others).

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Perfectly packing a square by squares of nearly harmonic sidelength

A well known open problem of Meir and Moser asks if the squares of sidelength $1/n$ for $n \geq 2$ can be packed perfectly into a square of area $\sum_{n=2}^\infty \frac{1}{n^2} = \frac{π^2}{6}-1$. In this paper we show that for any $1/2 < t < 1$, and any $n_0$ that is sufficiently large depending on $t$, the squares of sidelength $n^{-t}$ for $n \geq n_0$ can be packed perfectly into a square of area $\sum_{n=n_0}^\infty \frac{1}{n^{2t}}$. This was previously known (if one packs a rectangle instead of a square) for $1/2 < t \leq 2/3$ (in which case one can take $n_0=1$).

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Pointwise ergodic theorems for non-conventional bilinear polynomial averages

We establish convergence in norm and pointwise almost everywhere for the non-conventional (in the sense of Furstenberg) bilinear polynomial ergodic averages \[ A_N(f,g)(x) := \frac{1}{N} \sum_{n =1}^N f(T^nx) g(T^{P(n)}x)\] as $N \to \infty$, where $T \colon X \to X$ is a measure-preserving transformation of a $σ$-finite measure space $(X,μ)$, $P(\mathrm{n}) \in \mathbb Z[\mathrm{n}]$ is a polynomial of degree $d \geq 2$, and $f \in L^{p_1}(X), \ g \in L^{p_2}(X)$ for some $p_1,p_2 > 1$ with $\frac{1}{p_1} + \frac{1}{p_2} \leq 1$. We also establish an $r$-variational inequality for these averages (at lacunary scales) in the optimal range $r > 2$. We are also able to &#34;break duality&#34; by handling some ranges of exponents $p_1,p_2$ with $\frac{1}{p_1}+\frac{1}{p_2} > 1$, at the cost of increasing $r$ slightly. This gives an affirmative answer to Problem 11 from Frantzikinakis&#39; open problems survey for the Furstenberg--Weiss averages (with $P(\mathrm{n})=\mathrm{n}^2$), which is a bilinear variant of Question 9 considered by Bergelson in his survey on Ergodic Ramsey Theory from 1996. This also gives a contribution to the Furstenberg-Bergelson-Leibman conjecture. Our methods combine techniques from harmonic analysis with the recent inverse theorems of Peluse and Prendiville in additive combinatorics. At large scales, the harmonic analysis of the adelic integers $\mathbb A_{\mathbb Z}$ also plays a role.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sendov&#39;s conjecture for sufficiently high degree polynomials

Sendov&#39;s conjecture asserts that if a complex polynomial $f$ of degree $n \geq 2$ has all of its zeroes in closed unit disk $\{ z: |z| \leq 1 \}$, then for each such zero $λ_0$ there is a zero of the derivative $f&#39;$ in the closed unit disk $\{ z: |z-λ_0| \leq 1 \}$. This conjecture is known for $n < 9$, but only partial results are available for higher $n$. We show that there exists a constant $n_0$ such that Sendov&#39;s conjecture holds for $n \geq n_0$. For $λ_0$ away from the origin and the unit circle we can appeal to the prior work of Dégot and Chalebgwa; for $λ_0$ near the unit circle we refine a previous argument of Miller (and also invoke results of Chijiwa when $λ_0$ is extremely close to the unit circle); and for $λ_0$ near the origin we introduce a new argument using compactness methods, balayage, and the argument principle.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The Hardy--Littlewood--Chowla conjecture in the presence of a Siegel zero

Assuming that Siegel zeros exist, we prove a hybrid version of the Chowla and Hardy--Littlewood prime tuples conjectures. Thus, for an infinite sequence of natural numbers $x$, and any distinct integers $h_1,\dots,h_k,h&#39;_1,\dots,h&#39;_\ell$, we establish an asymptotic formula for $$\sum_{n\leq x}Λ(n+h_1)\cdots Λ(n+h_k)λ(n+h_{1}&#39;)\cdots λ(n+h_{\ell}&#39;)$$ for any $0\leq k\leq 2$ and $\ell \geq 0$. Specializing to either $\ell=0$ or $k=0$, we deduce the previously known results on the Hardy--Littlewood (or twin primes) conjecture and the Chowla conjecture under the existence of Siegel zeros, due to Heath-Brown and Chinis, respectively. The range of validity of our asymptotic formula is wider than in these previous results.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Eigenvectors from eigenvalues: A survey of a basic identity in linear algebra

If $A$ is an $n \times n$ Hermitian matrix with eigenvalues $λ_1(A),\dots,λ_n(A)$ and $i,j = 1,\dots,n$, then the $j^{\mathrm{th}}$ component $v_{i,j}$ of a unit eigenvector $v_i$ associated to the eigenvalue $λ_i(A)$ is related to the eigenvalues $λ_1(M_j),\dots,λ_{n-1}(M_j)$ of the minor $M_j$ of $A$ formed by removing the $j^{\mathrm{th}}$ row and column by the formula $$ |v_{i,j}|^2\prod_{k=1;k\neq i}^{n}\left(λ_i(A)-λ_k(A)\right)=\prod_{k=1}^{n-1}\left(λ_i(A)-λ_k(M_j)\right)\,.$$ We refer to this identity as the \emph{eigenvector-eigenvalue identity} and show how this identity can also be used to extract the relative phases between the components of any given eigenvector. Despite the simple nature of this identity and the extremely mature state of development of linear algebra, this identity was not widely known until very recently. In this survey we describe the many times that this identity, or variants thereof, have been discovered and rediscovered in the literature (with the earliest precursor we know of appearing in 1834). We also provide a number of proofs and generalizations of the identity.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Singmaster&#39;s conjecture in the interior of Pascal&#39;s triangle

Singmaster&#39;s conjecture asserts that every natural number greater than one occurs at most a bounded number of times in Pascal&#39;s triangle; that is, for any natural number $t \geq 2$, the number of solutions to the equation $\binom{n}{m} = t$ for natural numbers $1 \leq m < n$ is bounded. In this paper we establish this result in the interior region $\exp(\log^{2/3+\varepsilon} n) \leq m \leq n-\exp(\log^{2/3 + \varepsilon} n)$ for any fixed $\varepsilon > 0$. Indeed, when $t$ is sufficiently large depending on $\varepsilon$, we show that there are at most four solutions (or at most two in either half of Pascal&#39;s triangle) in this region. We also establish analogous results for the equation $(n)_m = t$, where $(n)_m := n(n-1)\ldots(n-m+1)$ denotes the falling factorial.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Correlations of the von Mangoldt and higher divisor functions II. Divisor correlations in short ranges

We study the problem of obtaining asymptotic formulas for the sums $\sum_{X < n \leq 2X} d_k(n) d_l(n+h)$ and $\sum_{X < n \leq 2X} Λ(n) d_k(n+h)$, where $Λ$ is the von Mangoldt function, $d_k$ is the $k^{\operatorname{th}}$ divisor function, $X$ is large and $k \geq l \geq 2$ are real numbers. We show that for almost all $h \in [-H, H]$ with $H = (\log X)^{10000 k \log k}$, the expected asymptotic estimate holds. In our previous paper we were able to deal also with the case of $Λ(n) Λ(n + h)$ and we obtained better estimates for the error terms at the price of having to take $H = X^{8/33 + \varepsilon}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Exploring the toolkit of Jean Bourgain

Gian-Carlo Rota once asserted that &#34;every mathematician only has a few tricks&#34;. The sheer breadth and ingenuity in the work of Jean Bourgain may at first glance appear to be a counterexample to this maxim. However, as we hope to illustrate in this article, even Bourgain relied frequently on a core set of tools, which formed the base from which problems in many disparate mathematical fields could then be attacked. We discuss a selected number of these tools here, and then perform a case study of how an argument in one of Bourgain&#39;s papers can be interpreted as a sequential application of several of these tools.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Homogenization of iterated singular integrals with applications to random quasiconformal maps

We study homogenization of iterated randomized singular integrals and homeomorphic solutions to the Beltrami differential equation with a random Beltrami coefficient. More precisely, let $(F_j)_{j \geq 1}$ be a sequence of normalized homeomorphic solutions to the planar Beltrami equation $\overline{\partial} F_j (z)=μ_j(z,ω) \partial F_j(z),$ where the random dilatation satisfies $|μ_j|\leq k<1$ and has locally periodic statistics, for example of the type $$μ_j (z,ω)=ϕ(z)\sum_{n\in \mathbf{Z}^2}g(2^j z-n,X_{n}(ω)), $$ where $g(z,ω)$ decays rapidly in $z$, the random variables $X_{n}$ are i.i.d., and $ϕ\in C^\infty_0$. We establish the almost sure and local uniform convergence as $j\to\infty$ of the maps $F_j$ to a deterministic quasiconformal limit $F_\infty$. This result is obtained as an application of our main theorem, which deals with homogenization of iterated randomized singular integrals. As a special case of our theorem, let $T_1,\ldots , T_{m}$ be translation and dilation invariant singular integrals on ${\bf R}^d, $ and consider a $d$-dimensional version of $μ_j$, e.g., as defined above or within a more general setting. We then prove that there is a deterministic function $f$ such that almost surely as $j\to\infty$, $$ μ_j T_{m}μ_j\ldots T_1μ_j\to f \quad \textrm{weakly in } L^p,\quad 1 < p < \infty\ . $$

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the universality of potential well dynamics

Given a smooth potential function $V : \mathbf{R}^m \to \mathbf{R}$, one can consider the ODE $\partial_t^2 u = -(\nabla V)(u)$ describing the trajectory of a particle $t \mapsto u(t)$ in the potential well $V$. We consider the question of whether the dynamics of this family of ODE are \emph{universal} in the sense that they contain (as embedded copies) any first-order ODE $\partial_t u = X(u)$ arising from a smooth vector field $X$ on a manifold $M$. Assuming that $X$ is nonsingular and $M$ is compact, we show (using the Nash embedding theorem) that this is possible precisely when the flow $(M,X)$ supports a geometric structure which we call a \emph{strongly adapted $1$-form}; many smooth flows do have such a $1$-form, but we give an example (due to Bryant) of a flow which does not, and hence cannot be modeled by the dynamics of a potential well. As one consequence of this embeddability criterion, we construct an example of a (coercive) potential well system which is \emph{Turing complete} in the sense that the halting of any Turing machine with a given input is equivalent to a certain bounded trajectory in this system entering a certain open set. In particular, this system contains trajectories for which it is undecidable whether that trajectory enters such a set. Remarkably, the above results also hold if one works instead with the nonlinear wave equation $\partial_t^2 u - Δu = -(\nabla V)(u)$ on a torus instead of a particle in a potential well, or if one replaces the target domain $\mathbf{R}^m$ by a more general Riemannian manifold.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantitative bounds for critically bounded solutions to the Navier-Stokes equations

We revisit the regularity theory of Escauriaza, Seregin, and Šverák for solutions to the three-dimensional Navier-Stokes equations which are uniformly bounded in the critical $L^3_x(\mathbf{R}^3)$ norm. By replacing all invocations of compactness methods in these arguments with quantitative substitutes, and similarly replacing unique continuation and backwards uniqueness estimates by their corresponding Carleman inequalities, we obtain quantitative bounds for higher regularity norms of these solutions in terms of the critical $L^3_x$ bound (with a dependence that is triple exponential in nature). In particular, we show that as one approaches a finite blowup time $T_*$, the critical $L^3_x$ norm must blow up at a rate $(\log\log\log \frac{1}{T_*-t})^c$ or faster for an infinite sequence of times approaching $T_*$ and some absolute constant $c>0$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Sharp bounds for multilinear curved Kakeya, restriction and oscillatory integral estimates away from the endpoint

We revisit the multilinear Kakeya, curved Kakeya, restriction, and oscillatory integral estimates that were obtained in paper of Bennett, Carbery, and the author using a heat flow monotonicity method applied to a fractional Cartesian product, together with induction on scales arguments. Many of these estimates contained losses of the form $R^\varepsilon$ (or $\log^{O(1)} R$) for some scale factor $R$. By further developing the heat flow method, and applying it directly for the first time to the multilinear curved Kakeya and restriction settings, we are able to eliminate these losses, as long as the exponent $p$ stays away from the endpoint. In particular, we establish global multilinear restriction estimates away from the endpoint, without any curvature hypotheses on the hypersurfaces.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Sumset and inverse sumset theorems for Shannon entropy

Let $G = (G,+)$ be an additive group. The sumset theory of Plünnecke and Ruzsa gives several relations between the size of sumsets $A+B$ of finite sets $A, B$, and related objects such as iterated sumsets $kA$ and difference sets $A-B$, while the inverse sumset theory of Freiman, Ruzsa, and others characterises those finite sets $A$ for which $A+A$ is small. In this paper we establish analogous results in which the finite set $A \subset G$ is replaced by a discrete random variable $X$ taking values in $G$, and the cardinality $|A|$ is replaced by the Shannon entropy $\mathrm{Ent}(X)$. In particular, we classify the random variable $X$ which have small doubling in the sense that $\mathrm{Ent}(X_1+X_2) = \mathrm{Ent}(X)+O(1)$ when $X_1,X_2$ are independent copies of $X$, by showing that they factorise as $X = U+Z$ where $U$ is uniformly distributed on a coset progression of bounded rank, and $\mathrm{Ent}(Z) = O(1)$. When $G$ is torsion-free, we also establish the sharp lower bound $\mathrm{Ent}(X+X) \geq \mathrm{Ent}(X) + {1/2} \log 2 - o(1)$, where $o(1)$ goes to zero as $\mathrm{Ent}(X) \to \infty$.

0 citations0 reviewsNo code linkedOpen access