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: The inverse theorem for the U3 Gowers uniformity norm on arbitrary finite abelian groups: Fourier-analytic and ergodic approaches
We state and prove a quantitative inverse theorem for the Gowers uniformity norm U3(G) on an arbitrary finite abelian group G; the cases when G was of odd order or a vector space over F2 had previously been established by Green and the second author and by Samorodnitsky respectively by Fourier-analytic methods, which we also employ here. We also prove a qualitative version of this inverse theorem using a structure theorem of Host--Kra type for ergodic Zω-actions of order 2 on probability spaces established recently by Shalom and the authors.  more » « less
Award ID(s):
1764034
PAR ID:
10527579
Author(s) / Creator(s):
;
Publisher / Repository:
Alliance of Diamond Open Access Journals
Date Published:
Journal Name:
Discrete Analysis
ISSN:
2397-3129
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract In 1977, Erd̋s and Hajnal made the conjecture that, for every graph $$H$$, there exists $c>0$ such that every $$H$$-free graph $$G$$ has a clique or stable set of size at least $$|G|^{c}$$, and they proved that this is true with $$ |G|^{c}$$ replaced by $$2^{c\sqrt{\log |G|}}$$. Until now, there has been no improvement on this result (for general $$H$$). We prove a strengthening: that for every graph $$H$$, there exists $c>0$ such that every $$H$$-free graph $$G$$ with $$|G|\ge 2$$ has a clique or stable set of size at least $$ \begin{align*} &2^{c\sqrt{\log |G|\log\log|G|}}.\end{align*} $$ Indeed, we prove the corresponding strengthening of a theorem of Fox and Sudakov, which in turn was a common strengthening of theorems of Rödl, Nikiforov, and the theorem of Erd̋s and Hajnal mentioned above. 
    more » « less
  2. Inverse problems of identifying parameters in partial differential equations (PDEs) is an important class of problems with many real-world applications. Inverse problems are commonly studied in optimization setting with various known approaches having their advantages and disadvantages. Although a non-convex output least-squares (OLS) objective has often been used, a convex modified output least-squares (MOLS) attracted quite an attention in recent years. However, the convexity of the MOLS has only been established for parameters appearing linearly in the PDEs. The primary objective of this work is to introduce and analyze a variant of the MOLS for the inverse problem of identifying parameters that appear nonlinearly in variational problems. Besides giving an existence result for the inverse problem, we derive the first-order and second-order derivative formulas for the new functional and use them to identify the conditions under which the new functional is convex. We give a discretization scheme for the continuous inverse problem and prove its convergence. We also obtain discrete formulas for the new MOLS functional and present detailed numerical examples. 
    more » « less
  3. abstract: In the early 1940s, P. A. Smith showed that if a finite $$p$$-group $$G$$ acts on a finite dimensional complex $$X$$ that is mod $$p$$ acyclic, then its space of fixed points, $X^G$, will also be mod $$p$$ acyclic. In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study a question that can be shown to be equivalent to the following: if a $$G$$-space $$X$$ is a equivariant homotopy retract of the $$p$$-localization of a based finite $$G$$-C.W. complex, given $H 
    more » « less
  4. Using the two-dimensional nonlinear Schrödinger equation as a model example, we present a general method for recovering the nonlinearity of a nonlinear dispersive equation from its small-data scattering behavior. We prove that under very mild assumptions on the nonlinearity, the wave operator uniquely determines the nonlinearity, as does the scattering map. Evaluating the scattering map on well-chosen initial data, we reduce the problem to an inverse convolution problem, which we solve by means of an application of the Beurling–Lax Theorem. 
    more » « less
  5. Abstract There are two known classes of gravitational instantons with quadratic volume growth at infinity, known as type and . Gravitational instantons of type were previously classified by Chen–Chen. In this paper, we prove a classification theorem for gravitational instantons. We determine the topology and prove existence of “uniform” coordinates at infinity for both ALG and gravitational instantons. We also prove a result regarding the relationship between ALG gravitational instantons of order and those of order 2. 
    more » « less