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.
Source author record
Jean Bourgain
Jean Bourgain appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
97works
21topics
4close collaborators
Research graph
See the researcher in context
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.
Published work
97 published item(s)
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)}$
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Markoff Surfaces and Strong Approximation: 1
We prove results pertaining to strong approximation for Markoff triples in the case of prime moduli.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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$.
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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]
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
On Random Walks in large compact Lie groups
We evaluate the mixing time of certain random walks on large unitary groups
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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].
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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]
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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$.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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$.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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$.
0 citations0 reviewsNo code linkedOpen access
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) $.
0 citations0 reviewsNo code linkedOpen access
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$.
0 citations0 reviewsNo code linkedOpen access
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}.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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}$.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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$
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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}.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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$.
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
On the Schrodinger maximal function in higher dimension
New estimates on the maximal function associated to the linear Schrodinger equation are established
0 citations0 reviewsNo code linkedOpen access
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$.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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).
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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}).
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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).
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access
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.
0 citations0 reviewsNo code linkedOpen access