Source author record

Jean Bourgain

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

97works

21topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Decouplings for Real Analytic Surfaces of Revolution

We extend the decoupling results of the first two authors to the case of real analytic surfaces of revolution in $\mathbb{R}^3$ . New examples of interest include the torus and the perturbed cone.

preprint2016arXiv

A note on the Schrodinger maximal function

It is shown that control of the Schrodinger maximal functions $\sup_{0<t<1}|e^{itΔ} f|$ for $f\in H^s(\mathbb R^n)$ requires $s\geq \frac n{2(n+1)}$

preprint2016arXiv

A quantitative Oppenheim Theorem for generic diagonal quadratic forms

We establish a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms using an analytic number theory approach. The statements come with power gains and in some cases are essentially optimal

preprint2016arXiv

A study guide for the $l^2$ Decoupling Theorem

This paper contains a detailed, self contained and more streamlined proof of our $l^2$ decoupling theorem for hypersurfaces.

preprint2016arXiv

Beyond Expansion II: Low-Lying Fundamental Geodesics

A closed geodesic on the modular surface is "low-lying" if it does not travel "high" into the cusp. It is "fundamental" if it corresponds to an element in the class group of a real quadratic field. We prove the existence of infinitely many low-lying fundamental geodesics, answering a question of Einsiedler-Lindenstrauss-Michel-Venkatesh.

preprint2016arXiv

Decoupling, exponential sums and the Riemann zeta function

We establish a new decoupling inequality for curves in the spirit of [B-D1], [B-D2] which implies a new mean value theorem for certain exponential sums crucial to the Bombieri-Iwaniec method as developed further in [H]. In particular, this leads to an improved bound $|ζ(\frac 12+it)|\ll t^{53/342+\varepsilon}$ for the zeta function on the critical line

preprint2016arXiv

Markoff Surfaces and Strong Approximation: 1

We prove results pertaining to strong approximation for Markoff triples in the case of prime moduli.

preprint2016arXiv

Mean value estimates for Weyl sums in two dimensions

We use decoupling theory to estimate the number of solutions for quadratic and cubic Parsell--Vinogradov systems in two dimensions.

preprint2016arXiv

Nonlinear Roth type theorems in finite fields

We obtain smoothing estimates for certain nonlinear convolution operators on prime fields, leading to quantitative nonlinear Roth type theorems. Compared with the usual linear setting (i.e. arithmetic progressions), the nonlinear nature of the operators leads to different phenomena, both qualitatively and quantitatively.

preprint2016arXiv

On pair correlation for generic diagonal forms

We establish new pair correlation results for certain generic homogenous diagonal forms evaluated on the integers. Methods are analytic leading to explicit quantitative statements.

preprint2016arXiv

On quadratic irrationals with bounded partial quotients

It is shown that for some explicit constants $c>0, A>0$ , the asymptotic for the number of positive non-square discriminants $D<x$ with fundamental solution $\varepsilon_D< x^{\frac 12+α}, 0<α<c$ , remains preserved if we require moreover $\mathbb Q(\sqrt D)$ to contain an irrational with partial quotients bounded by $A$ .

preprint2016arXiv

On the Vinogradov mean value

A discussion of recent work of C.Demeter, L.Guth and the author of the proof of the Vinogradov Main Conjecture using the decoupling theory for curves

preprint2016arXiv

Proof of the main conjecture in Vinogradov's mean value theorem for degrees higher than three

We prove the main conjecture in Vinogradov's Mean Value Theorem for degrees higher than three. This will be a consequence of a sharp decoupling inequality for curves

preprint2016arXiv

Sharp bounds for the cubic Parsell-Vinogradov system in two dimensions

We prove a sharp decoupling for a certain two dimensional surface in R^9. As an application, we obtain the full range of expected estimates for the cubic Parsell-Vinogradov system in two dimensions.

preprint2016arXiv

Sidonicity and variants of Kaczmarz's problem

We prove that a uniformly bounded system of orthonormal functions satisfying the $ψ_2$ condition: (1) must contain a Sidon subsystem of proportional size, (2) must satisfy the Rademacher-Sidon property, and (3) must have its 5-fold tensor satisfy the Sidon property. On the other hand, we construct a uniformly bounded orthonormal system that satisfies the $ψ_2$ condition but which is not Sidon. These problems are variants of Kaczmarz's Scottish book problem (problem 130) which, in its original formulation, was answered negatively by Rudin. A corollary of our argument is a new, elementary proof of Pisier's theorem that a set of characters satisfying the $ψ_2$ condition is Sidon.

preprint2016arXiv

Small gaps in the spectrum of the rectangular billiard

We study the size of the minimal gap between the first N eigenvalues of the Laplacian on a rectangular billiard having irrational squared aspect ratio $α$ , in comparison to the corresponding quantity for a Poissonian sequence. If $α$ is a quadratic irrationality of certain type, such as the square root of a rational number, we show that the minimal gap is roughly of size 1/N, which is essentially consistent with Poisson statistics. We also give related results for a set of $α$ 's of full measure. However, on a fine scale we show that Poisson statistics is violated for all $α$ . The proofs use a variety of ideas of an arithmetical nature, involving Diophantine approximation, the theory of continued fractions, and results in analytic number theory.

preprint2016arXiv

Spatial statistics for lattice points on the sphere I: Individual results

We study the spatial distribution of point sets on the sphere obtained from the representation of a large integer as a sum of three integer squares. We examine several statistics of these point sets, such as the electrostatic potential, Ripley's function, the variance of the number of points in random spherical caps, and the covering radius. Some of the results are conditional on the Generalized Riemann Hypothesis.

preprint2015arXiv

Decoupling for perturbed cones and mean square of $|ζ(\frac 12+it)|$

An improved estimate is obtained for the mean square of the modulus of the zeta function on the critical line. It is based on the decoupling techniques in harmonic analysis developed in [B-D]

preprint2015arXiv

Decouplings for curves and hypersurfaces with nonzero Gaussian curvature

We prove two types of results. First we develop the decoupling theory for hypersurfaces with nonzero Gaussian curvature, which extends our earlier work from \cite{BD3}. As a consequence of this we obtain sharp (up to $ε$ losses) Strichartz estimates for the hyperbolic Schrödinger equation on the torus. Our second main result is an $l^2$ decoupling for non degenerate curves which has implications for Vinogradov's mean value theorem.

preprint2015arXiv

Decouplings for surfaces in R^4

We prove a sharp decoupling for non degenerate surfaces in $\R^4$ . This puts the recent progress on the Lindelöf hypothesis into a more general perspective.

preprint2015arXiv

Local statistics of lattice points on the sphere

A celebrated result of Legendre and Gauss determines which integers can be represented as a sum of three squares, and for those it is typically the case that there are many ways of doing so. These different representations give collections of points on the unit sphere, and a fundamental result, conjectured by Linnik, is that under a simple condition these become uniformly distributed on the sphere. In this note we survey some of our recent work, which explores what happens beyond uniform distribution, giving evidence to randomness on smaller scales. We treat the electrostatic energy, local statistics such as the point pair statistic (Ripley's function), nearest neighbour statistics, minimum spacing and covering radius. We briefly discuss the situation in other dimensions, which is very different. In an appendix we compute the corresponding quantities for random points

preprint2015arXiv

Markoff Triples and Strong Approximation

We investigate the transitivity properties of the group of morphisms generated by Vieta involutions on the solutions in congruences to the Markoff equation as well as to other Markoff type affine cubic surfaces. These are dictated by the finite $\bar{\mathbb Q}$ orbits of these actions and these can be determined effectively. The results are applied to give forms of strong approximation for integer points, and to sieving, on these surfaces

preprint2015arXiv

On a paper of Erdös and Szekeres

Propositions 1.1 -- 1.3 stated below contribute to results and certain problems considered in a paper by Erdos and Szekeres, on the behavior of products $\prod^n_1 (1-z^{a_j}), 1\leq a_1\leq \cdots\leq a_n$ integers. In the discussion, $\{a_1, \ldots, a_n \}$ will be either a proportional subset of $\{1, \ldots, n\}$ or a set of large arithmetic diameter.

preprint2015arXiv

On Random Walks in large compact Lie groups

We evaluate the mixing time of certain random walks on large unitary groups

preprint2015arXiv

On the Morse-Sard property and level sets of $W^{n,1}$ Sobolev functions on ${\mathbb R}^n$

We establish Luzin N and Morse--Sard properties for functions from the Sobolev space $W^{n,1}({\mathbb R}^{n})$ . Using these results we prove that almost all level sets are finite disjoint unions of $C^1$ --smooth compact manifolds of dimension $n-1$ . These results remain valid also within the larger space of functions of bounded variation $BV_{n}({\mathbb R}^{n})$ . For the proofs we establish and use some new results on Luzin--type approximation of Sobolev and BV--functions by $C^k$ --functions, where the exceptional sets have small Hausdorff content.

preprint2015arXiv

On uniformly bounded basis in spaces of holomorphic functions

The main result of the paper is the construction of explicit uniformly bounded basis in the spaces of complex homogenous polynomials on the unit ball of $C^3$ , extending an earlier result of the author in the $C^2$ case

preprint2015arXiv

Optimal mean value estimates for the quadratic Weyl sums in two dimensions

We use decoupling theory to prove a sharp (up to $N^ε$ losses) estimate for Vinogradov's mean value theorem in two dimensions

preprint2015arXiv

The proof of the $l^2$ Decoupling Conjecture

We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete Restriction Conjecture, which (up to $N^ε$ losses) implies the full range of expected $L^p_{x,t}$ Strichartz estimates for both classical and irrational tori. Another one is an improvement in the range for the discrete restriction theory for lattice points on the sphere. Various applications in Additive Combinatorics, Incidence Geometry and Number Theory are also discussed. Our argument relies on the interplay between linear and multilinear restriction theory.

preprint2015arXiv

Thermodynamic expansion to arbitrary moduli

We extend the thermodynamic expansion results in [BourgainGamburdSarnak2011, MageeOhWinter2015] from square-free to arbitrary moduli by developing a novel decoupling technique and applying [BourgainVarju2012].

preprint2015arXiv

Toward a unified theory of sparse dimensionality reduction in Euclidean space

Let $Φ\in\mathbb{R}^{m\times n}$ be a sparse Johnson-Lindenstrauss transform [KN14] with $s$ non-zeroes per column. For a subset $T$ of the unit sphere, $\varepsilon\in(0,1/2)$ given, we study settings for $m,s$ required to ensure $\mathop{\mathbb{E}}_Φ\sup_{x\in T} \left|\|Φx\|_2^2 - 1 \right| < \varepsilon ,$ i.e. so that $Φ$ preserves the norm of every $x\in T$ simultaneously and multiplicatively up to $1+\varepsilon$ . We introduce a new complexity parameter, which depends on the geometry of $T$ , and show that it suffices to choose $s$ and $m$ such that this parameter is small. Our result is a sparse analog of Gordon's theorem, which was concerned with a dense $Φ$ having i.i.d. Gaussian entries. We qualitatively unify several results related to the Johnson-Lindenstrauss lemma, subspace embeddings, and Fourier-based restricted isometries. Our work also implies new results in using the sparse Johnson-Lindenstrauss transform in numerical linear algebra, classical and model-based compressed sensing, manifold learning, and constrained least squares problems such as the Lasso.

preprint2014arXiv

$l^p$ decouplings for hypersurfaces with nonzero Gaussian curvature

We prove an $l^p$ decoupling inequality for hypersurfaces with nonzero Gaussian curvature and use it to derive a corresponding $l^p$ decoupling for curves not contained in a hyperplane. This extends our earlier work from [2]

preprint2014arXiv

A Finitary Hasse Principle for Diagonal Curves

We prove a Hasse principle for solving equations of the form ax+by+cz=0 where x, y, z belong to a given finite index subgroup of the multiplicative group of rational numbers. From this we deduce a Hasse principle for diagonal curves over fields of algebraic numbers with finitely generated Galois group.

preprint2014arXiv

Affine extractors over large fields with exponential error

We describe a construction of explicit affine extractors over large finite fields with exponentially small error and linear output length. Our construction relies on a deep theorem of Deligne giving tight estimates for exponential sums over smooth varieties in high dimensions.

preprint2014arXiv

BMO-type norms related to the perimeter of sets

In this paper we consider an isotropic variant of the $BMO$ -type norm recently introduced by Bourgain, Brezis and Mironescu. We prove that, when considering characteristic functions of sets, this norm is related to the perimeter. A byproduct of our analysis is a new characterization of the perimeter of sets in terms of this norm, independent of the theory of distributions.

preprint2014arXiv

Character Sums and Deterministic Polynomial Root Finding in Finite Fields

We obtain a new bound of certain double multiplicative character sums. We use this bound together with some other previously obtained results to obtain new algorithms for finding roots of polynomials modulo a prime $p$ .

preprint2014arXiv

Decoupling inequalities and some mean-value theorems

The purpose of this paper is to present some further applications of the general decoupling theory from [B-D1, 2] to certain diophantine issues. In particular, we concider mean value estimates relevant to the Bombieri-Iwaniec approach to exponential sums and arising in the work of Robert and Sargos [R-S]. Our main input is a new mean value theorem.

preprint2014arXiv

Influential coalitions for Boolean Functions

We improve results of Kahn, Kalai, and Linial from the late 80s on the existence of influential large coalitions for Boolean functions, and we give counterexamples to conjectures (of Benny Chor and others) also from the late 80s, by exhibiting functions for which the influences of large coalitions are unexpectedly small relative to the expectations of the functions. The large gaps between the new upper and lower bounds leave a lot of room for further study.

preprint2014arXiv

Nodal intersections and Lp restriction theorems on the torus

We study the number of intersections of the nodal lines of an eigenfunction of the Laplacian on the standard torus with a fixed reference curve, that is, the number of zeros of the eigenfunction restricted to the curve. An upper bound is the wave number k. When the curve has nowhere zero curvature, we conjecture that, up to a constant multiple, this should also be the correct a lower bound. We give a lower bound which differs from this by an arithmetic quantity, given in terms of the maximal number of lattice points in arcs of size square root of the wave number k on a circle of radius k. According to a conjecture of Cilleruelo and Granville, this quantity is bounded in which case we recover our conjecture. To get at the lower bound, we reduce the problem to giving a lower bound for the L1 norm of the restriction of the eigenfunction to the curve, and then to an upper bound for the L4 restriction norm.

preprint2013arXiv

A lower bound for the Lyapounov exponents of the random Schrodinger operator on a strip

We consider the random Schrodinger operator on a strip of width $W$ , assuming the site distribution of bounded density. It is shown that the positive Lyapounov exponents satisfy a lower bound roughly exponential in $-W$ or $W\to \infty$ . The argument proceeds directly by establishing Green's function decay, but does not appeal to Furstenberg's random matrix theory on the strip. One ingredient involved is the construction of `barriers' using the RSO theory on $\mathbb Z$ .

preprint2013arXiv

A Note on Lyapunov Exponents of Deterministic Strongly Mixing Potentials

In this Note, we consider 1D lattice Schrodinger operators with deterministic strongly mixing potentials with very small coupling. We describe a scheme to establish positiv- ity of the Lyapunov exponent from a statement at some fixed scale. The required input may then be derived from Furstenberg theory, if the underlying dynamics are sufficiently mixing, or verified directly by numerical means.

preprint2013arXiv

A remark on solutions of the Pell equation

The main purpose of this Note is to provide a non-trivial bound on certain Kloosterman sums as considered in the recent paper of E. Fouvry [F], leading to a small improvement of his result on the Pell equation.

preprint2013arXiv

Almost sure global well posedness for the radial nonlinear Schrodinger equation on the unit ball I: the 2D case

Our first purpose is to extend the results from \cite{T} on the radial defocusing NLS on the disc in $\mathbb{R}^2$ to arbitrary smooth (defocusing) nonlinearities and show the existence of a well-defined flow on the support of the Gibbs measure (which is the natural extension of the classical flow for smooth data). We follow a similar approach as in \cite{BB-1} exploiting certain additional a priori space-time bounds that are provided by the invariance of the Gibbs measure. Next, we consider the radial focusing equation with cubic nonlinearity (the mass-subcritical case was studied in \cite{T2}) where the Gibbs measure is subject to an $L^2$ -norm restriction. A phase transition is established, of the same nature as studied in the work of Lebowitz-Rose-Speer \cite{LRS} on the torus. For sufficiently small $L^2$ -norm, the Gibbs measure is absolutely continuous with respect to the free measure, and moreover we have a well-defined dynamics.

preprint2013arXiv

Almost sure global well posedness for the radial nonlinear Schrödinger equation on the unit ball II: the 3D case

We extend the convergence method introduced in our works [8]-[10] for almost sure global well-posedness of Gibbs measure evolutions of the nonlinear Schrödinger (NLS) and nonlinear wave (NLW) equations on the unit ball in R^d to the case of the three dimensional NLS. This is the first probabilistic global well-posedness result for NLS with supercritical data on the unit ball in R^3. The initial data is taken as a Gaussian random process lying in the support of the Gibbs measure associated to the equation, and results are obtained almost surely with respect to this probability measure. The key tools used include a class of probabilistic a priori bounds for finite-dimensional projections of the equation and a delicate trilinear estimate on the nonlinearity, which - when combined with the invariance of the Gibbs measure - enables the a priori bounds to be enhanced to obtain convergence of the sequence of approximate solutions.

preprint2013arXiv

An application of group expansion to the Anderson-Bernoulli model

We establish smoothness of the density of states for 1D lattice Schrodinger operators with potential taking values $\pmλ$ , for $λ$ in a class of small algebraic numbers and energy $E\in)-2, 2($ suitably restricted away from $\pm2$ .

preprint2013arXiv

Control for Schrödinger equations on 2-tori: rough potentials

For the Schrödinger equation, $(i \partial_t + Δ) u = 0$ on a torus, an arbitrary non-empty open set $Ω$ provides control and observability of the solution: $ \| u |_{t = 0} \|_{L^2 (\T^2)} \leq K_T \| u \|_{L^2 ([0,T] \times Ω)} $. We show that the same result remains true for $(i \partial_t + Δ- V) u = 0$ where $ V \in L^2 (\T^2) $, and $ \T^2 $ is a (rational or irrational) torus. That extends the results of \cite{AM}, and \cite{BZ4} where the observability was proved for $ V \in C (\T^2) $ and conjectured for $ V \in L^\infty (\T^2) $. The higher dimensional generalization remains open for $ V \in L^\infty (\T^n) $.

preprint2013arXiv

Improved estimates for the discrete Fourier restriction to the higher dimensional sphere

We improve the exponent for the discrete Fourier restriction to the $n$ dimensional sphere, from $p=\frac{2(n+1)}{n-3}$ to $p=\frac{2n}{n-3}$ , when $n\ge 4$ .

preprint2013arXiv

Invariant Gibbs measure evolution for the radial nonlinear wave equation on the 3D ball

We establish new global well-posedness results along Gibbs measure evolution for the nonlinear wave equation posed on the unit ball in $\mathbb{R}^3$ via two distinct approaches. The first approach invokes the method established in the works \cite{B1,B2,B3} based on a contraction-mapping principle and applies to a certain range of nonlinearities. The second approach allows to cover the full range of nonlinearities admissible to treatment by Gibbs measure, working instead with a delicate analysis of convergence properties of solutions. The method of the second approach is quite general, and we shall give applications to the nonlinear Schrödinger equation on the unit ball in subsequent works \cite{BB1,BB2}.

preprint2013arXiv

New bounds for the discrete Fourier restriction to the sphere in four and five dimensions

We improve the range for the discrete Fourier restriction to the four and five dimensional spheres. We rely on two new ingredients, incidence theory and Siegel's mass formula.

preprint2013arXiv

On $L^p$ -resolvent estimates and the density of eigenvalues for compact Riemannian manifolds

We address an interesting question raised by Dos Santos Ferreira, Kenig and Salo about regions ${\mathcal R}_g\subset {\mathbb C}$ for which there can be uniform $L^{\frac{2n}{n+2}}\to L^{\frac{2n}{n-2}}$ resolvent estimates for $Δ_g+ζ$ , $ζ\in {\mathcal R}_g$ , where $Δ_g$ is the Laplace-Beltrami operator with metric $g$ on a given compact boundaryless Riemannian manifold of dimension $n\ge3$ . This is related to earlier work of Kenig, Ruiz and the third author for the Euclidean Laplacian, in which case the region is the entire complex plane minus any disc centered at the origin. Presently, we show that for the round metric on the sphere, $S^n$ , the resolvent estimates in Ferreira et al, involving a much smaller region, are essentially optimal. We do this by establishing sharp bounds based on the distance from $ζ$ to the spectrum of $Δ_{S^n}$ . In the other direction, we also show that the bounds in \cite{Kenig} can be sharpened logarithmically for manifolds with nonpositive curvature, and by powers in the case of the torus, ${\mathbb T}^n={\mathbb R}^n/{\mathbb Z}^n$ , with the flat metric. The latter improves earlier bounds of Shen. Further improvements for the torus are obtained using recent techniques of the first author and his work with Guth based on the multilinear estimates of Bennett, Carbery and Tao. Our approach also allows us to give a natural necessary condition for favorable resolvent estimates that is based on a measurement of the density of the spectrum of $\sqrt{-Δ_g}$ , and, moreover, a necessary and sufficient condition based on natural improved spectral projection estimates for shrinking intervals.

preprint2013arXiv

On Eigenvalue spacings for the 1-D Anderson model with singular site distribution

We study eigenvalue spacings and local eigenvalue statistics for 1D lattice Schrodinger operators with Holder regular potential, obtaining a version of Minami's inequality and Poisson statistics for the local eigenvalue spacings. The main additional new input are regular properties of the Furstenberg measures and the density of states obtained in some of the author's earlier work.

preprint2013arXiv

On Pleijel's nodal domain theorem

A slight improvement of Pleijel's estimate on the number of nodal domains is obtained, exploiting a refinement of the Faber-Krahn inequality and packing density of discs.

preprint2013arXiv

On the local eigenvalue spacings for certain Anderson-Bernoulli Hamiltonians

The aim of this work is to extend the results from [B2] on local eigenvalue spacings to certain 1D lattice Schrodinger with a Bernoulli potential. We assume the disorder satisfies a certain algebraic condition that enables one to invoke the recent results from [B1] on the regularity of the density of states. In particular we establish Poisson local eigenvalue statistics in those models

preprint2013arXiv

On the Local-Global Conjecture for integral Apollonian gaskets

We prove that a set of density one satisfies the local-global conjecture for integral Apollonian gaskets. That is, for a fixed integral, primitive Apollonian gasket, almost every (in the sense of density) admissible (passing local obstructions) integer is the curvature of some circle in the gasket.

preprint2013arXiv

On toral eigenfunctions and the random wave model

The purpose of this Note is to provide a deterministic implementation of the random wave model for the number of nodal domains in the context of the two-dimensional torus. The approach is based on recent work due to Nazarov and Sodin and arithmetical properties of lattice points on circles.

preprint2013arXiv

On Zaremba's Conjecture

Zaremba's 1971 conjecture predicts that every integer appears as the denominator of a finite continued fraction whose partial quotients are bounded by an absolute constant. We confirm this conjecture for a set of density one.

preprint2013arXiv

On Zaremba's Conjecture

It is shown that there is a constant A and a density one subset S of the positive integers, such that for all q in S there is some 1<=p<q, (p, q)=1, so that p/q has all its partial quotients bounded by A.

preprint2013arXiv

Prescribin the binary digits of the primes, II

We obtain the expected asymptotic formula for the number of primes $p<N=2^n$ with $r$ prescribed (arbitrarly placed) binary digits, provided $r<cn$ for a suitable constant $c>0$ . This result improves on our earlier result where $r$ was assumed to satisfy $r<c(\frac n{\log n})^{4/7}$ .

preprint2013arXiv

Strong Ill-posedness of the incompressible Euler equation in borderline Sobolev spaces

For the $d$ -dimensional incompressible Euler equation, the standard energy method gives local wellposedness for initial velocity in Sobolev space $H^s(\mathbb R^d)$ , $s>s_c:=d/2+1$ . The borderline case $s=s_c$ was a folklore open problem. In this paper we consider the physical dimensions $d=2,3$ and show that if we perturb any given smooth initial data in $H^{s_c}$ norm, then the corresponding solution can have infinite $H^{s_c}$ norm instantaneously at $t>0$ . The constructed solutions are unique and even $C^{\infty}$ -smooth in some cases. To prove these results we introduce a new strategy: large Lagrangian deformation induces critical norm inflation. As an application we also settle several closely related open problems.

preprint2013arXiv

The Affine Sieve Beyond Expansion I: Thin Hypotenuses

We study an instance of the Affine Sieve, producing a level of distribution beyond that which can be obtained from current techniques, even assuming a Selberg/Ramanujan-type spectral gap. In particular, we consider the set of hypotenuses in a thin orbit of Pythagorean triples. Previous work [Kon07, Kon09, KO12] gave an exponent of distribution alpha < 1/12 coming from Gamburd's [Gam02] gap theta = 5/6, thereby producing R = 13 almost primes in this linear sieve problem (see Sec. 1 for definitions). If conditioned on a best possible gap theta = 1/2, the known method would give an exponent alpha < 1/4, and R = 5 almost primes. The exponent 1/4 is the natural analogue of the "Bombieri-Vinogradov" range of distribution for this problem, see Remark 1.19. In this paper, we unconditionally prove the exponent alpha < 7/24 (in the "Elliott-Halberstam" range), thereby producing R = 4 almost primes. The main tools involve developing bilinear forms and the dispersion method in the range of incomplete sums for this Affine Sieve problem.

preprint2013arXiv

The essential centre of the mod a diagonalization ideal commutant of an n-tuple of commuting hermitian operators

We show that for a commuting n-tuple of hermitian operators, with perfect spectrum, the essential centre of the algebra of operators commuting with the n-tuple mod a diagonalization ideal arises from the C*-algebra of the n-tuple. This answers a question for normal operators and the Hilbert-Schmidt class connected to K-theory for almost normal operators.

preprint2012arXiv

A modular Szemeredi-Trotter theorem for hyperbolas

We establish a Szemeredi-Trotter type result for hyperbolas in $\mathbb F_p\times\mathbb F_p$

preprint2012arXiv

A prime number theorem for the majority function

In the paper, the occurrence of zeros and ones in the binary expansion of the primes is studied. In particular the statement in the title is established. The proof is unconditional.

preprint2012arXiv

Bounds on the density of states for Schr\" odinger operators

We establish bounds on the density of states measure for Schrödinger operators. These are deterministic results that do not require the existence of the density of states measure, or, equivalently, of the integrated density of states. The results are stated in terms of a "density of states outer-measure" that always exists, and provides an upper bound for the density of states measure when it exists. We prove log-Hölder continuity for this density of states outer-measure in one, two, and three dimensions for Schrödinger operators, and in any dimension for discrete Schrödinger operators.

preprint2012arXiv

Gibbs measure evolution in radial nonlinear wave and Schrödinger equations on the ball

We establish new results for the radial nonlinear wave and Schrödinger equations on the ball in $\Bbb R^2$ and $\Bbb R^3$ , for random initial data. More precisely, a well-defined and unique dynamics is obtained on the support of the corresponding Gibbs measure. This complements results from \cite{B-T1,B-T2} and \cite {T1,T2}.

preprint2012arXiv

Integral Apollonian circle packings and prime curvatures

It is shown that any primitive integral Apollonian circle packing captures a fraction of the prime numbers. Basically the method consists in applying the circle method, considering the curvatures produced by a well-chosen family of binary quadratic forms.

preprint2012arXiv

Monotone Boolean functions capture their primes

It is shown that monotone Boolean functions on the Boolean cube capture the expected number of primes, under he usual identification by binary expansion. This answers a question posed by G.Kalai.

preprint2012arXiv

Multiplicative Congruences with Variables from Short Intervals

Recently, several bounds have been obtained on the number of solutions to congruences of the type $(x_1+s)...(x_ν+s)\equiv (y_1+s)...(y_ν+s)\not\equiv0 \pmod p$ modulo a prime $p$ with variables from some short intervals. Here, for almost all $p$ and all $s$ and also for a fixed $p$ and almost all $s$ , we derive stronger bounds. We also use similar ideas to show that for almost all primes, one can always find an element of a large order in any rather short interval.

preprint2012arXiv

On Congruences with Products of Variables from Short Intervals and Applications

We obtain upper bounds on the number of solutions to congruences of the type $(x_1+s)...(x_ν+s)\equiv (y_1+s)...(y_ν+s)\not\equiv0 \pmod p$ modulo a prime $p$ with variables from some short intervals. We give some applications of our results and in particular improve several recent estimates of J. Cilleruelo and M. Z. Garaev on exponential congruences and on cardinalities of products of short intervals, some double character sum estimates of J. B. Friedlander and H. Iwaniec and some results of M.-C. Chang and A. A. Karatsuba on character sums twisted with the divisor function.

preprint2012arXiv

On the Hardy-Littlewood maximal function for the cube

It is shown that the Hardy-Littlewood maximal function associated to the cube in $\mathbb R^n$ obeys dimensional free bounds in $L^p$ fir $p>1$ . Earlier work only covered the range $p>\frac 32$ .

preprint2012arXiv

On the Lyapounov exponents of Schrodinger operators associated with the standard map

It is shown that Schrodinger operators defined from the standard map have positive (mean) Lyapounov exponents for almost all energies

preprint2012arXiv

On the Schrodinger maximal function in higher dimension

New estimates on the maximal function associated to the linear Schrodinger equation are established

preprint2012arXiv

Partial quotients and representation of rational numbers

It is shown that there is an absolute constant $C$ such that any rational $\frac bq\in]0, 1[, (b, q)=1$ , admits a representation as a finite sum $\frac bq=\sum_α\frac {b_α}{q_α}$ where $\sum_α\sum_ia_i(\frac {b_α}{q_α})<C\log q$ and $\{a_i(x)\}$ denotes the sequence of partial quotients of $x$ .

preprint2012arXiv

Prescribing the binary digits of primes

We present a new result on counting primes $p<N=2^n$ for which $r$ (arbitrarily placed) digits in the binary expansion of $p$ are specified. Compared with earlier work of Harman and Katai, the restriction on $r$ is relaxed to $r< c\Big(\frac n{\log n}\Big)^{4/7}$ . This condition results from the estimates of Gallagher and Iwaniec on zero-free regions of $L$ -functions with `powerful' conductor.

preprint2011arXiv

A Spectral Gap Theorem in $SU(d)$

We establish the spectral gap property for dense subgroups of $SU(d)$ ( $d\geq 2$ ), generated by finitely many elements with algebraic entries; this result was announced in [BG3]. The method of proof differs, in several crucial aspects, from that used in [BG] in the case of SU(2).

preprint2011arXiv

Bounds on oscillatory integral operators based on multilinear estimates

We apply the Bennett-Carbery-Tao multilinear restriction estimate in order to bound restriction operators and more general oscillatory integral operators. We get improved L^p estimates in the Stein restriction problem for dimension at least 5 and a small improvement in dimension 3. We prove similar estimates for Hormander-type oscillatory integral operators when the quadratic term in the phase function is positive definite, getting improvements in dimension at least 5. We also prove estimates for Hormander-type oscillatory integral operators in even dimensions. These last oscillatory estimates are related to improved bounds on the dimensions of curved Kakeya sets in even dimensions.

preprint2011arXiv

Distjointness of Mobius from horocycle flows

We formulate and prove a finite version of Vinogradov's bilinear sum inequality. We use it together with Ratner's joinings theorems to prove that the Mobius function is disjoint from discrete horocycle flows on $Γ\backslash SL_2(\mathbb{R}).

preprint2011arXiv

Distribution of Elements of Cosets of Small Subgroups and Applications

We obtain a series of estimates on the number of small integers and small order Farey fractions which belong to a given coset of a subgroup of order $t$ of the group of units of the residue ring modulo a prime $p$ , in the case when $t$ is small compared to $p$ . We give two applications of these results: to the simultaneous distribution of two high degree monomials $x^{k_1}$ and $x^{k_2}$ modulo $p$ and to a question of J. Holden and P. Moree on fixed points of the discrete logarithm.

preprint2011arXiv

Distribution on elements of cosets of small subgroups and applications

We obtain a series of estimates on the number of small integers and small order Farey fractions which belong to a given coset of a subgroup of order $t$ of the group of units of the residue ring modulo a prime $p$ , in the case when $t$ is small compared to $p$ . We give two applications of these results: to the simultaneous distribution of two high degree monomials $x^{k_1}$ and $x^{k_2}$ modulo $p$ and to a question of J.Holden and P.Moree on fixed points of the discrete logarithm.

preprint2011arXiv

Moebius-Walsh correlation bounds and an estimate of Mauduit and Rivat

We establish small correlation bounds for the Moebius function and the Walsh system, answering affirmatively a question posed by G.Kalai [Ka]. The argument is based on generalizing the approach of Mauduit and Rivat [M-R] in order to treat Walsh functions of `large weight', while the `small weight' case follows from recent work due to B.Green [Gr]. The conclusion is an estimate uniform over the full Walsh system. A similar result also holds for the Liouville function.

preprint2011arXiv

Moment inequalities for trigonometric polynomials with spectrum in curved hypersurfaces

Using the multilinear theory of oscillatory integral operators, we establish a square function inequality with implications to moment inequalities for discrete exponential sums which frequencies lie on curved hyper-surfaces. In particular a new distributional estimate for toral eigenfunctions is established.

preprint2011arXiv

Monotone expansion

This work, following the outline set in [B2], presents an explicit construction of a family of monotone expanders. The family is essentially defined by the Mobius action of SL_2(R) on the real line. For the proof, we show a product-growth theorem for SL_2(R).

preprint2011arXiv

On the correlation of the Moebius function with random rank-one systems

We explore the `Moebius disjointness property' in the special context of rank-one transformations and verify this phenomenon for many of the `classical' models

preprint2011arXiv

On the Fourier-Walsh Spectrum on the Moebius Function

We study the Fourier-Walsh spectrum $\{\hatμ(S); S\subset\{1, ..., n\}\}$ of the Moebius function $μ$ restricted to $\{0, 1, 2, ..., 2^n-1\}\simeq \{0, 1\}^n$ and prove that it is not captued by levels \{\hatμ(S)| \, |S|< n^{\frac 23-\epsion}\}. An application to correlation with monotone Boelean functions is given.

preprint2011arXiv

On the Furstenberg measure and density of states for the Anderson-Bernoulli model at small disorder

We establish new results on the dimension of density of states for the Anderson-Bernoulli model at small disorder

preprint2011arXiv

On the Geometry of the Nodal Lines of Eigenfunctions of the Two-Dimensional Torus

The width of a convex curve in the plane is the minimal distance between a pair of parallel supporting lines of the curve. In this paper we study the width of nodal lines of eigenfunctions of the Laplacian on the standard flat torus. We prove a variety of results on the width, some having stronger versions assuming a conjecture of Cilleruelo and Granville asserting a uniform bound for the number of lattice points on the circle lying in short arcs.

preprint2011arXiv

On the Hidden Shifted Power Problem

We consider the problem of recovering a hidden element $s$ of a finite field $\F_q$ of $q$ elements from queries to an oracle that for a given $x\in \F_q$ returns $(x+s)^e$ for a given divisor $e\mid q-1$ . We use some techniques from additive combinatorics and analytic number theory that lead to more efficient algorithms than the naive interpolation algorithm, for example, they use substantially fewer queries to the oracle.

preprint2011arXiv

Restriction of toral eigenfunctions to hypersurfaces and nodal sets

We give uniform upper and lower bounds for the L^2 norm of the restriction of eigenfunctions of the Laplacian on the three-dimensional standard flat torus to surfaces with non-vanishing curvature. We also present several related results concerning the nodal sets of eigenfunctions.

preprint2010arXiv

A proof of the positive density conjecture for integer Apollonian circle packings

A bounded Apollonian circle packing (ACP) is an ancient Greek construction which is made by repeatedly inscribing circles into the triangular interstices in a Descartes configuration of four mutually tangent circles. Remarkably, if the original four circles have integer curvature, all of the circles in the packing will have integer curvature as well. In this paper, we compute a lower bound for the number $κ(P,X)$ of integers less than $X$ occurring as curvatures in a bounded integer ACP $P$ , and prove a conjecture of Graham, Lagarias, Mallows, Wilkes, and Yan that the ratio $κ(P,X)/X$ is greater than 0 for $X$ tending to infinity.

preprint2010arXiv

Expansion in SL_d(Z/qZ), q arbitrary

Let S be a fixed finite symmetric subset of SL_d(Z), and assume that it generates a Zariski-dense subgroup G. We show that the Cayley graphs of pi_q(G) with respect to the generating set pi_q(S) form a family of expanders, where pi_q is the projection map Z->Z/qZ.

preprint2010arXiv

Moebius Schrodinger

It is shown that the 1-dimensional lattice Schrodinger operator with potential given by a non-zero multiple of the Moebius function has positive Lyapounov exponent. In view of the classical theory of random Schrodinger operators, this may be seen as another manifestation of the Moebius randomness law.

preprint2010arXiv

On a Theorem of Friedlander and Iwaniec

In [FI09], Friedlander and Iwaniec studied the so-called Hyperbolic Prime Number Theorem, which asks for an infinitude of elements gamma in SL(2,Z) such that the norm squared |gamma|^2 = a^2 + b^2 + c^2 + d^2 = p, a prime. Under the Elliott-Halberstam conjecture, they proved the existence of such, as well as a formula for their count, off by a constant from the conjectured asymptotic. In this note, we study the analogous question replacing the integers with the Gaussian integers. We prove unconditionally that for every odd n>=3, there is a gamma in SL(2,Z[i]) such that |gamma|^2 = n. In particular, every prime is represented. The proof is an application of Siegel's mass formula.

preprint2010arXiv

On representations of integers in thin subgroups of SL(2,Z)

Let Gamma < SL(2,Z) be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive non-zero vectors v0, w0 in Z^2. We consider the set S of all integers occurring in <v0 gamma,w0>, for gamma in Gamma. Assume that the limit set of Gamma has Hausdorff dimension delta>0.99995, that is, Gamma is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd's 5/6-th spectral gap in infinite-volume, we show that S contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set E(N) of integers |n|<N which are locally admissible (n is in S(mod q) for all q>=1) but fail to be globally represented, n is not in S, has a power savings, $|E(N)| << N^{1-epsilon0}$ for some epsilon>0.

preprint2010arXiv

On the Morse-Sard Property and Level Sets of Sobolev and BV Functions

We establish Luzin $N$ and Morse-Sard properties for $BV_2$ -functions defined on open domains in the plane. Using these results we prove that almost all level sets are finite disjoint unions of Lipschitz arcs whose tangent vectors are of bounded variation. In the case of $W^{2,1}$ -functions we strengthen the conclusion and show that almost all level sets are finite disjoint unions of $C^1$ -arcs whose tangent vectors are absolutely continuous.

preprint2010arXiv

On the nodal sets of toral eigenfunctions

We study the nodal sets of eigenfunctions of the Laplacian on the standard d-dimensional flat torus. The question we address is: Can a fixed hypersurface lie on the nodal sets of eigenfunctions with arbitrarily large eigenvalue? In dimension two, we show that this happens only for segments of closed geodesics. In higher dimensions, certain cylindrical sets do lie on nodal sets corresponding to arbitrarily large eigenvalues. Our main result is that this cannot happen for hypersurfaces with nonzero Gauss-Kronecker curvature. In dimension two, the result follows from a uniform lower bound for the L^2-norm of the restriction of eigenfunctions to the curve, proved in an earlier paper. In high dimensions we currently do not have this bound. Instead, we make use of the real-analytic nature of the flat torus to study variations on this bound for restrictions of eigenfunctions to suitable submanifolds in the complex domain. In all of our results, we need an arithmetic ingredient concerning the cluster structure of lattice points on the sphere. We also present an independent proof for the two-dimensional case relying on the "abc-theorem" in function fields.

preprint2010arXiv

Sector estimates for hyperbolic isometries

We prove various orbital counting statements for Fuchsian groups of the second kind. These are of independent interest, and also are used in the companion paper [BourgainKontorovich2009] to produce primes in the Affine Linear Sieve.

preprint2010arXiv

Sur les séries de Fourier des fonctions continues unimodulaires

The Fourier series of continuous functions of constant absolute value have interesting properties : according to the main theorems of the article, if the coefficients with positive indexes are square-summable with respect to a certain weight (any real positive power of the index), the same is true for negative indexes. The result extends to VMO and does not to bounded measurable functions.

preprint2000arXiv

On nonperturbative localization with quasi-periodic potential

The two main results of the article are concerned with Anderson Localization for one-dimensional lattice Schroedinger operators with quasi-periodic potentials with d frequencies. First, in the case d = 1 or 2, it is proved that the spectrum is pure-point with exponentially decaying eigenfunctions for all potentials (defined in terms of a trigonometric polynomial on the d-dimensional torus) for which the Lyapounov exponents are strictly positive for all frequencies and all energies. Second, for every non-constant real-analytic potential and with a Diophantine set of d frequencies, a lower bound is given for the Lyapounov exponents for the same potential rescaled by a sufficiently large constant.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Jean Bourgain

Research overview

Is this your work?

97 publications

Decouplings for Real Analytic Surfaces of Revolution

A note on the Schrodinger maximal function

A quantitative Oppenheim Theorem for generic diagonal quadratic forms

A study guide for the l2l^2l2 Decoupling Theorem

Beyond Expansion II: Low-Lying Fundamental Geodesics

Decoupling, exponential sums and the Riemann zeta function

Markoff Surfaces and Strong Approximation: 1

Mean value estimates for Weyl sums in two dimensions

Nonlinear Roth type theorems in finite fields

On pair correlation for generic diagonal forms

On quadratic irrationals with bounded partial quotients

On the Vinogradov mean value

Proof of the main conjecture in Vinogradov's mean value theorem for degrees higher than three

Sharp bounds for the cubic Parsell-Vinogradov system in two dimensions

Sidonicity and variants of Kaczmarz's problem

Small gaps in the spectrum of the rectangular billiard

Spatial statistics for lattice points on the sphere I: Individual results

Decoupling for perturbed cones and mean square of ∣ζ(12+it)∣|ζ(\frac 12+it)|∣ζ(21​+it)∣

Decouplings for curves and hypersurfaces with nonzero Gaussian curvature

Decouplings for surfaces in R^4

Local statistics of lattice points on the sphere

Markoff Triples and Strong Approximation

On a paper of Erdös and Szekeres

On Random Walks in large compact Lie groups

On the Morse-Sard property and level sets of Wn,1W^{n,1}Wn,1 Sobolev functions on Rn{\mathbb R}^nRn

On uniformly bounded basis in spaces of holomorphic functions

Optimal mean value estimates for the quadratic Weyl sums in two dimensions

The proof of the l2l^2l2 Decoupling Conjecture

Thermodynamic expansion to arbitrary moduli

Toward a unified theory of sparse dimensionality reduction in Euclidean space

lpl^plp decouplings for hypersurfaces with nonzero Gaussian curvature

A Finitary Hasse Principle for Diagonal Curves

Affine extractors over large fields with exponential error

BMO-type norms related to the perimeter of sets

Character Sums and Deterministic Polynomial Root Finding in Finite Fields

Decoupling inequalities and some mean-value theorems

Influential coalitions for Boolean Functions

Nodal intersections and Lp restriction theorems on the torus

A lower bound for the Lyapounov exponents of the random Schrodinger operator on a strip

A Note on Lyapunov Exponents of Deterministic Strongly Mixing Potentials

A remark on solutions of the Pell equation

Almost sure global well posedness for the radial nonlinear Schrodinger equation on the unit ball I: the 2D case

Almost sure global well posedness for the radial nonlinear Schrödinger equation on the unit ball II: the 3D case

An application of group expansion to the Anderson-Bernoulli model

Control for Schrödinger equations on 2-tori: rough potentials

Improved estimates for the discrete Fourier restriction to the higher dimensional sphere

Invariant Gibbs measure evolution for the radial nonlinear wave equation on the 3D ball

New bounds for the discrete Fourier restriction to the sphere in four and five dimensions

On LpL^pLp-resolvent estimates and the density of eigenvalues for compact Riemannian manifolds

On Eigenvalue spacings for the 1-D Anderson model with singular site distribution

On Pleijel's nodal domain theorem

On the local eigenvalue spacings for certain Anderson-Bernoulli Hamiltonians

On the Local-Global Conjecture for integral Apollonian gaskets

On toral eigenfunctions and the random wave model

On Zaremba's Conjecture

On Zaremba's Conjecture

Prescribin the binary digits of the primes, II

Strong Ill-posedness of the incompressible Euler equation in borderline Sobolev spaces

The Affine Sieve Beyond Expansion I: Thin Hypotenuses

The essential centre of the mod a diagonalization ideal commutant of an n-tuple of commuting hermitian operators

A modular Szemeredi-Trotter theorem for hyperbolas

A prime number theorem for the majority function

Bounds on the density of states for Schr\" odinger operators

Gibbs measure evolution in radial nonlinear wave and Schrödinger equations on the ball

Integral Apollonian circle packings and prime curvatures

Monotone Boolean functions capture their primes

Multiplicative Congruences with Variables from Short Intervals

On Congruences with Products of Variables from Short Intervals and Applications

On the Hardy-Littlewood maximal function for the cube

On the Lyapounov exponents of Schrodinger operators associated with the standard map

On the Schrodinger maximal function in higher dimension

Partial quotients and representation of rational numbers

Prescribing the binary digits of primes

A Spectral Gap Theorem in SU(d)SU(d)SU(d)

Bounds on oscillatory integral operators based on multilinear estimates

Distjointness of Mobius from horocycle flows

A study guide for the $l^2$ Decoupling Theorem

Decoupling for perturbed cones and mean square of $|ζ(\frac 12+it)|$

On the Morse-Sard property and level sets of $W^{n,1}$ Sobolev functions on ${\mathbb R}^n$

The proof of the $l^2$ Decoupling Conjecture

$l^p$ decouplings for hypersurfaces with nonzero Gaussian curvature

On $L^p$ -resolvent estimates and the density of eigenvalues for compact Riemannian manifolds

A Spectral Gap Theorem in $SU(d)$