skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Counterexamples for High-Degree Generalizations of the Schrödinger Maximal Operator
Abstract In 1980 Carleson posed a question on the minimal regularity of an initial data function in a Sobolev space $$H^s({\mathbb {R}}^n)$$ that implies pointwise convergence for the solution of the linear Schrödinger equation. After progress by many authors, this was recently resolved (up to the endpoint) by Bourgain, whose counterexample construction for the Schrödinger maximal operator proved a necessary condition on the regularity, and Du and Zhang, who proved a sufficient condition. Analogues of Carleson’s question remain open for many other dispersive partial differential equations. We develop a flexible new method to approach such problems and prove that for any integer $$k\geq 2$$, if a degree $$k$$ generalization of the Schrödinger maximal operator is bounded from $$H^s({\mathbb {R}}^n)$$ to $$L^1(B_n(0,1))$$, then $$s \geq \frac {1}{4} + \frac {n-1}{4((k-1)n+1)}.$$ In dimensions $$n \geq 2$$, for every degree $$k \geq 3$$, this is the first result that exceeds a long-standing barrier at $1/4$. Our methods are number-theoretic, and in particular apply the Weil bound, a consequence of the truth of the Riemann Hypothesis over finite fields.  more » « less
Award ID(s):
1652173
PAR ID:
10337410
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
International Mathematics Research Notices
ISSN:
1073-7928
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Dirac proved that each $$n$$-vertex $$2$$-connected graph with minimum degree $$k$$ contains a cycle of length at least $$\min\{2k, n\}$$. We obtain analogous results for Berge cycles in hypergraphs. Recently, the authors proved an exact lower bound on the minimum degree ensuring a Berge cycle of length at least $$\min\{2k, n\}$$ in $$n$$-vertex $$r$$-uniform $$2$$-connected hypergraphs when $$k \geq r+2$$. In this paper we address the case $$k \leq r+1$$ in which the bounds have a different behavior. We prove that each $$n$$-vertex $$r$$-uniform $$2$$-connected hypergraph $$H$$ with minimum degree $$k$$ contains a Berge cycle of length at least $$\min\{2k,n,|E(H)|\}$$. If $$|E(H)|\geq n$$, this bound coincides with the bound of the Dirac's Theorem for 2-connected graphs. 
    more » « less
  2. Abstract Given a sequence $$\{Z_d\}_{d\in \mathbb{N}}$$ of smooth and compact hypersurfaces in $${\mathbb{R}}^{n-1}$$, we prove that (up to extracting subsequences) there exists a regular definable hypersurface $$\Gamma \subset {\mathbb{R}}\textrm{P}^n$$ such that each manifold $$Z_d$$ is diffeomorphic to a component of the zero set on $$\Gamma$$ of some polynomial of degree $$d$$. (This is in sharp contrast with the case when $$\Gamma$$ is semialgebraic, where for example the homological complexity of the zero set of a polynomial $$p$$ on $$\Gamma$$ is bounded by a polynomial in $$\deg (p)$$.) More precisely, given the above sequence of hypersurfaces, we construct a regular, compact, semianalytic hypersurface $$\Gamma \subset {\mathbb{R}}\textrm{P}^{n}$$ containing a subset $$D$$ homeomorphic to a disk, and a family of polynomials $$\{p_m\}_{m\in \mathbb{N}}$$ of degree $$\deg (p_m)=d_m$$ such that $$(D, Z(p_m)\cap D)\sim ({\mathbb{R}}^{n-1}, Z_{d_m}),$$ i.e. the zero set of $$p_m$$ in $$D$$ is isotopic to $$Z_{d_m}$$ in $${\mathbb{R}}^{n-1}$$. This says that, up to extracting subsequences, the intersection of $$\Gamma$$ with a hypersurface of degree $$d$$ can be as complicated as we want. We call these ‘pathological examples’. In particular, we show that for every $$0 \leq k \leq n-2$$ and every sequence of natural numbers $$a=\{a_d\}_{d\in \mathbb{N}}$$ there is a regular, compact semianalytic hypersurface $$\Gamma \subset {\mathbb{R}}\textrm{P}^n$$, a subsequence $$\{a_{d_m}\}_{m\in \mathbb{N}}$$ and homogeneous polynomials $$\{p_{m}\}_{m\in \mathbb{N}}$$ of degree $$\deg (p_m)=d_m$$ such that (0.1)$$\begin{equation}b_k(\Gamma\cap Z(p_m))\geq a_{d_m}.\end{equation}$$ (Here $$b_k$$ denotes the $$k$$th Betti number.) This generalizes a result of Gwoździewicz et al. [13]. On the other hand, for a given definable $$\Gamma$$ we show that the Fubini–Study measure, in the Gaussian probability space of polynomials of degree $$d$$, of the set $$\Sigma _{d_m,a, \Gamma }$$ of polynomials verifying (0.1) is positive, but there exists a constant $$c_\Gamma$$ such that $$\begin{equation*}0<{\mathbb{P}}(\Sigma_{d_m, a, \Gamma})\leq \frac{c_{\Gamma} d_m^{\frac{n-1}{2}}}{a_{d_m}}.\end{equation*}$$ This shows that the set of ‘pathological examples’ has ‘small’ measure (the faster $$a$$ grows, the smaller the measure and pathologies are therefore rare). In fact we show that given $$\Gamma$$, for most polynomials a Bézout-type bound holds for the intersection $$\Gamma \cap Z(p)$$: for every $$0\leq k\leq n-2$$ and $t>0$: $$\begin{equation*}{\mathbb{P}}\left(\{b_k(\Gamma\cap Z(p))\geq t d^{n-1} \}\right)\leq \frac{c_\Gamma}{td^{\frac{n-1}{2}}}.\end{equation*}$$ 
    more » « less
  3. Abstract Suppose that $$\Sigma ^{n}\subset \mathbb{S}^{n+1}$$ is a closed embedded minimal hypersurface. We prove that the first non-zero eigenvalue $$\lambda _{1}$$ of the induced Laplace–Beltrami operator on $$\Sigma $$ satisfies $$\lambda _{1} \geq \frac{n}{2}+ a_{n}(\Lambda ^{6} + b_{n})^{-1}$$, where $$a_{n}$$ and $$b_{n}$$ are explicit dimensional constants and $$\Lambda $$ is an upper bound for the length of the second fundamental form of $$\Sigma $$. This provides the first explicitly computable improvement on Choi and Wang’s lower bound $$\lambda _{1} \geq \frac{n}{2}$$ without any further assumptions on $$\Sigma $$. 
    more » « less
  4. Abstract In this paper, we present counterexamples to maximal$$L^p$$ L p -regularity for a parabolic PDE. The example is a second-order operator in divergence form with space and time-dependent coefficients. It is well-known from Lions’ theory that such operators admit maximal$$L^2$$ L 2 -regularity on$$H^{-1}$$ H - 1 under a coercivity condition on the coefficients, and without any regularity conditions in time and space. We show that in general one cannot expect maximal$$L^p$$ L p -regularity on$$H^{-1}(\mathbb {R}^d)$$ H - 1 ( R d ) or$$L^2$$ L 2 -regularity on$$L^2(\mathbb {R}^d)$$ L 2 ( R d )
    more » « less
  5. Abstract Hausel and Rodriguez-Villegas (2015, Astérisque 370, 113–156) recently observed that work of Göttsche, combined with a classical result of Erdös and Lehner on integer partitions, implies that the limiting Betti distribution for the Hilbert schemes $$(\mathbb {C}^{2})^{[n]}$$ on $$n$$ points, as $$n\rightarrow +\infty ,$$ is a Gumbel distribution . In view of this example, they ask for further such Betti distributions. We answer this question for the quasihomogeneous Hilbert schemes $$((\mathbb {C}^{2})^{[n]})^{T_{\alpha ,\beta }}$$ that are cut out by torus actions. We prove that their limiting distributions are also of Gumbel type. To obtain this result, we combine work of Buryak, Feigin, and Nakajima on these Hilbert schemes with our generalization of the result of Erdös and Lehner, which gives the distribution of the number of parts in partitions that are multiples of a fixed integer $$A\geq 2.$$ Furthermore, if $$p_{k}(A;n)$$ denotes the number of partitions of $$n$$ with exactly $$k$$ parts that are multiples of $$A$$ , then we obtain the asymptotic $$ \begin{align*} p_{k}(A,n)\sim \frac{24^{\frac k2-\frac14}(n-Ak)^{\frac k2-\frac34}}{\sqrt2\left(1-\frac1A\right)^{\frac k2-\frac14}k!A^{k+\frac12}(2\pi)^{k}}e^{2\pi\sqrt{\frac1{6}\left(1-\frac1A\right)(n-Ak)}}, \end{align*} $$ a result which is of independent interest. 
    more » « less