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: A new type of superorthogonality
We provide a simple criterion on a family of functions that implies a square function estimate on L p L^p for every even integer p ≥<#comment/> 2 p \geq 2 . This defines a new type of superorthogonality that is verified by checking a less restrictive criterion than any other type of superorthogonality that is currently known.  more » « less
Award ID(s):
2054602 2231514 2200470 2154835
PAR ID:
10510631
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Proceedings of the American Mathematical Society
ISSN:
0002-9939
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We study regularity of solutions u u to ∂<#comment/> ¯<#comment/> u = f \overline \partial u=f on a relatively compact C 2 C^2 domain D D in a complex manifold of dimension n n , where f f is a ( 0 , q ) (0,q) form. Assume that there are either ( q + 1 ) (q+1) negative or ( n −<#comment/> q ) (n-q) positive Levi eigenvalues at each point of boundary ∂<#comment/> D \partial D . Under the necessary condition that a locally L 2 L^2 solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain 1 / 2 1/2 derivative when q = 1 q=1 and f f is in the Hölder–Zygmund space Λ<#comment/> r ( D ) \Lambda ^r( D) with r > 1 r>1 . For q > 1 q>1 , the same regularity for the solutions is achieved when ∂<#comment/> D \partial D is either sufficiently smooth or of ( n −<#comment/> q ) (n-q) positive Levi eigenvalues everywhere on ∂<#comment/> D \partial D
    more » « less
  2. We show that for primes N , p ≥<#comment/> 5 N, p \geq 5 with N ≡<#comment/> −<#comment/> 1 mod p N \equiv -1 \bmod p , the class number of Q ( N 1 / p ) \mathbb {Q}(N^{1/p}) is divisible by p p . Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when N ≡<#comment/> −<#comment/> 1 mod p N \equiv -1 \bmod p , there is always a cusp form of weight 2 2 and level Γ<#comment/> 0 ( N 2 ) \Gamma _0(N^2) whose ℓ<#comment/> \ell th Fourier coefficient is congruent to ℓ<#comment/> + 1 \ell + 1 modulo a prime above p p , for all primes ℓ<#comment/> \ell . We use the Galois representation of such a cusp form to explicitly construct an unramified degree- p p extension of Q ( N 1 / p ) \mathbb {Q}(N^{1/p})
    more » « less
  3. If I I is an ideal in a Gorenstein ring S S , and S / I S/I is Cohen-Macaulay, then the same is true for any linked ideal I I’ ; but such statements hold for residual intersections of higher codimension only under restrictive hypotheses, not satisfied even by ideals as simple as the ideal L n L_{n} of minors of a generic 2 ×<#comment/> n 2 \times n matrix when n > 3 n>3 . In this paper we initiate the study of a different sort of Cohen-Macaulay property that holds for certain general residual intersections of the maximal (interesting) codimension, one less than the analytic spread of I I . For example, suppose that K K is the residual intersection of L n L_{n} by 2 n −<#comment/> 4 2n-4 general quadratic forms in L n L_{n} . In this situation we analyze S / K S/K and show that I n −<#comment/> 3 ( S / K ) I^{n-3}(S/K) is a self-dual maximal Cohen-Macaulay S / K S/K -module with linear free resolution over S S . The technical heart of the paper is a result about ideals of analytic spread 1 whose high powers are linearly presented. 
    more » « less
  4. We introduce 5 / 2 5/2 - and 7 / 2 7/2 -order L 2 L^2 -accurate randomized Runge-Kutta-Nyström methods, tailored for approximating Hamiltonian flows within non-reversible Markov chain Monte Carlo samplers, such as unadjusted Hamiltonian Monte Carlo and unadjusted kinetic Langevin Monte Carlo. We establish quantitative 5 / 2 5/2 -order L 2 L^2 -accuracy upper bounds under gradient and Hessian Lipschitz assumptions on the potential energy function. The numerical experiments demonstrate the superior efficiency of the proposed unadjusted samplers on a variety of well-behaved, high-dimensional target distributions. 
    more » « less
  5. Let f f be analytic on [ 0 , 1 ] [0,1] with | f ( k ) ( 1 / 2 ) | ⩽<#comment/> A α<#comment/> k k ! |f^{(k)}(1/2)|\leqslant A\alpha ^kk! for some constants A A and α<#comment/> > 2 \alpha >2 and all k ⩾<#comment/> 1 k\geqslant 1 . We show that the median estimate of μ<#comment/> = ∫<#comment/> 0 1 f ( x ) d x \mu =\int _0^1f(x)\,\mathrm {d} x under random linear scrambling with n = 2 m n=2^m points converges at the rate O ( n −<#comment/> c log ⁡<#comment/> ( n ) ) O(n^{-c\log (n)}) for any c > 3 log ⁡<#comment/> ( 2 ) / π<#comment/> 2 ≈<#comment/> 0.21 c> 3\log (2)/\pi ^2\approx 0.21 . We also get a super-polynomial convergence rate for the sample median of 2 k −<#comment/> 1 2k-1 random linearly scrambled estimates, when k / m k/m is bounded away from zero. When f f has a p p ’th derivative that satisfies a λ<#comment/> \lambda -Hölder condition then the median of means has error O ( n −<#comment/> ( p + λ<#comment/> ) + ϵ<#comment/> ) O( n^{-(p+\lambda )+\epsilon }) for any ϵ<#comment/> > 0 \epsilon >0 , if k →<#comment/> ∞<#comment/> k\to \infty as m →<#comment/> ∞<#comment/> m\to \infty . The proof techniques use methods from analytic combinatorics that have not previously been applied to quasi-Monte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number. 
    more » « less