We consider vanishing properties of exponential sums of the Liouville function $\boldsymbol{\lambda }$ of the form $$ \begin{align*} & \lim_{H\to\infty}\limsup_{X\to\infty}\frac{1}{\log X}\sum_{m\leq X}\frac{1}{m}\sup_{\alpha\in C}\bigg|\frac{1}{H}\sum_{h\leq H}\boldsymbol{\lambda}(m+h)e^{2\pi ih\alpha}\bigg|=0, \end{align*} $$ where $C\subset{{\mathbb{T}}}$. The case $C={{\mathbb{T}}}$ corresponds to the local $1$-Fourier uniformity conjecture of Tao, a central open problem in the study of multiplicative functions with far-reaching number-theoretic applications. We show that the above holds for any closed set $C\subset{{\mathbb{T}}}$ of zero Lebesgue measure. Moreover, we prove that extending this to any set $C$ with non-empty interior is equivalent to the $C={{\mathbb{T}}}$ case, which shows that our results are essentially optimal without resolving the full conjecture. We also consider higher-order variants. We prove that if the linear phase $e^{2\pi ih\alpha }$ is replaced by a polynomial phase $e^{2\pi ih^{t}\alpha }$ for $t\geq 2$ then the statement remains true for any set $C$ of upper box-counting dimension $< 1/t$. The statement also remains true if the supremum over linear phases is replaced with a supremum over all nilsequences coming form a compact countable ergodic subsets of any $t$-step nilpotent Lie group. Furthermore, we discuss the unweighted version of the local $1$-Fourier uniformity problem, showing its validity for a class of “rigid” sets (of full Hausdorff dimension) and proving a density result for all closed subsets of zero Lebesgue measure.
- Award ID(s):
- 1700069
- PAR ID:
- 10177850
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- ISSN:
- 1073-7928
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract -
Given a simple graph $G$, the irregularity strength of $G$, denoted $s(G)$, is the least positive integer $k$ such that there is a weight assignment on edges $f: E(G) \to \{1,2,\dots, k\}$ for which each vertex weight $f^V(v):= \sum_{u: \{u,v\}\in E(G)} f(\{u,v\})$ is unique amongst all $v\in V(G)$. In 1987, Faudree and Lehel conjectured that there is a constant $c$ such that $s(G) \leq n/d + c$ for all $d$-regular graphs $G$ on $n$ vertices with $d>1$, whereas it is trivial that $s(G) \geq n/d$. In this short note we prove that the Faudree-Lehel Conjecture holds when $d \geq n^{0.8+\epsilon}$ for any fixed $\epsilon >0$, with a small additive constant $c=28$ for $n$ large enough. Furthermore, we confirm the conjecture asymptotically by proving that for any fixed $\beta\in(0,1/4)$ there is a constant $C$ such that for all $d$-regular graphs $G$, $s(G) \leq \frac{n}{d}(1+\frac{C}{d^{\beta}})+28$, extending and improving a recent result of Przybyło that $s(G) \leq \frac{n}{d}(1+ \frac{1}{\ln^{\epsilon/19}n})$ whenever $d\in [\ln^{1+\epsilon} n, n/\ln^{\epsilon}n]$ and $n$ is large enough.
-
Abstract We consider Lane–Emden ground states with polytropic index 0 ≤ q - 1 ≤ 1 {0\leq q-1\leq 1} , that is, minimizers of the Dirichlet integral among L q {L^{q}} -normalized functions.Our main result is a sharp lower bound on the L 2 {L^{2}} -norm of the normal derivative in terms of the energy, which implies a corresponding isoperimetric inequality.Our bound holds for arbitrary bounded open Lipschitz sets Ω ⊂ ℝ d {\Omega\subset\mathbb{R}^{d}} , without assuming convexity.more » « less
-
Abstract We study foliations by chord–arc Jordan curves of the twice punctured Riemann sphere using the Loewner–Kufarev equation. We associate to such a foliation a function on the plane that describes the “local winding” along each leaf. Our main theorem is that this function has finite Dirichlet energy if and only if the Loewner driving measure has finite Loewner–Kufarev energy, defined by
whenever is of the form , and set to otherwise. Moreover, if either of these two energies is finite, they are equal up to a constant factor, and in this case, the foliation leaves are Weil–Petersson quasicircles. This duality between energies has several consequences. The first is that the Loewner–Kufarev energy is reversible, that is, invariant under inversion and time reversal of the foliation. Furthermore, the Loewner energy of a Jordan curve can be expressed using the minimal Loewner–Kufarev energy of those measures that generate the curve as a leaf. This provides a new and quantitative characterization of Weil–Petersson quasicircles. Finally, we consider conformal distortion of the foliation and show that the Loewner–Kufarev energy satisfies an exact transformation law involving the Schwarzian derivative. The proof of our main theorem uses an isometry between the Dirichlet energy space on the unit disc and that we construct using Hadamard's variational formula expressed by means of the Loewner–Kufarev equation. Our results are related to ‐parameter duality and large deviations of Schramm–Loewner evolutions coupled with Gaussian random fields. -
The classic graphical Cheeger inequalities state that if $M$ is an $n\times n$ \emph{symmetric} doubly stochastic matrix, then \[ \frac{1-\lambda_{2}(M)}{2}\leq\phi(M)\leq\sqrt{2\cdot(1-\lambda_{2}(M))} \] where $\phi(M)=\min_{S\subseteq[n],|S|\leq n/2}\left(\frac{1}{|S|}\sum_{i\in S,j\not\in S}M_{i,j}\right)$ is the edge expansion of $M$, and $\lambda_{2}(M)$ is the second largest eigenvalue of $M$. We study the relationship between $\phi(A)$ and the spectral gap $1-\re\lambda_{2}(A)$ for \emph{any} doubly stochastic matrix $A$ (not necessarily symmetric), where $\lambda_{2}(A)$ is a nontrivial eigenvalue of $A$ with maximum real part. Fiedler showed that the upper bound on $\phi(A)$ is unaffected, i.e., $\phi(A)\leq\sqrt{2\cdot(1-\re\lambda_{2}(A))}$. With regards to the lower bound on $\phi(A)$, there are known constructions with \[ \phi(A)\in\Theta\left(\frac{1-\re\lambda_{2}(A)}{\log n}\right), \] indicating that at least a mild dependence on $n$ is necessary to lower bound $\phi(A)$. In our first result, we provide an \emph{exponentially} better construction of $n\times n$ doubly stochastic matrices $A_{n}$, for which \[ \phi(A_{n})\leq\frac{1-\re\lambda_{2}(A_{n})}{\sqrt{n}}. \] In fact, \emph{all} nontrivial eigenvalues of our matrices are $0$, even though the matrices are highly \emph{nonexpanding}. We further show that this bound is in the correct range (up to the exponent of $n$), by showing that for any doubly stochastic matrix $A$, \[ \phi(A)\geq\frac{1-\re\lambda_{2}(A)}{35\cdot n}. \] As a consequence, unlike the symmetric case, there is a (necessary) loss of a factor of $n^{\alpha}$ for $\frac{1}{2}\leq\alpha\leq1$ in lower bounding $\phi$ by the spectral gap in the nonsymmetric setting. Our second result extends these bounds to general matrices $R$ with nonnegative entries, to obtain a two-sided \emph{gapped} refinement of the Perron-Frobenius theorem. Recall from the Perron-Frobenius theorem that for such $R$, there is a nonnegative eigenvalue $r$ such that all eigenvalues of $R$ lie within the closed disk of radius $r$ about $0$. Further, if $R$ is irreducible, which means $\phi(R)>0$ (for suitably defined $\phi$), then $r$ is positive and all other eigenvalues lie within the \textit{open} disk, so (with eigenvalues sorted by real part), $\re\lambda_{2}(R)
more » « less