More Like this

1. On a Bohr set analogue of Chowla’s conjecture

   https://doi.org/10.1007/s00209-025-03770-2  

   Teräväinen, Joni; Walker, Aled (May 2025, Mathematische Zeitschrift)

   Abstract Let$$\lambda $$ $\lambda$denote the Liouville function. We show that the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\lambda (\lfloor \alpha _2n\rfloor )$$ $\lambda \left(\lfloor {\alpha }_{1}n\rfloor \right)\lambda \left(\lfloor {\alpha }_{2}n\rfloor \right)$is 0 whenever$$\alpha _1,\alpha _2$$ ${\alpha }_1,{\alpha }_2$are positive reals with$$\alpha _1/\alpha _2$$ ${\alpha }_1/{\alpha }_2$irrational. We also show that for$$k\geqslant 3$$ $k⩾3$the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\cdots \lambda (\lfloor \alpha _kn\rfloor )$$ $\lambda \left(\lfloor {\alpha }_{1}n\rfloor \right)\cdots \lambda \left(\lfloor {\alpha }_{k}n\rfloor \right)$has some nontrivial amount of cancellation, under certain rational independence assumptions on the real numbers$$\alpha _i.$$ ${\alpha }_i.$Our results for the Liouville function generalise to produce independence statements for general bounded real-valued multiplicative functions evaluated at Beatty sequences. These results answer the two-point case of a conjecture of Frantzikinakis (and provide some progress on the higher order cases), generalising a recent result of Crnčević–Hernández–Rizk–Sereesuchart–Tao. As an ingredient in our proofs, we establish bounds for the logarithmic correlations of the Liouville function along Bohr sets. 

   more » « less
2. Curvature and sharp growth rates of log-quasimodes on compact manifolds

   https://doi.org/10.1007/s00222-025-01315-2  

   Huang, Xiaoqi; Sogge, Christopher D (March 2025, Inventiones mathematicae)

   Abstract We obtain new optimal estimates for the$$L^{2}(M)\to L^{q}(M)$$ $L^2\left(M\right)\to L^q\left(M\right)$,$$q\in (2,q_{c}]$$ $q\in (2,q_c]$,$$q_{c}=2(n+1)/(n-1)$$ $q_c=2(n+1)/(n-1)$, operator norms of spectral projection operators associated with spectral windows$$[\lambda ,\lambda +\delta (\lambda )]$$ $[\lambda ,\lambda +\delta (\lambda \left)\right]$, with$$\delta (\lambda )=O((\log \lambda )^{-1})$$ $\delta \left(\lambda \right)=O\left({(log\lambda )}^{-1}\right)$on compact Riemannian manifolds$$(M,g)$$ $(M,g)$of dimension$$n\ge 2$$ $n\ge 2$all of whose sectional curvatures are nonpositive or negative. We show that these two different types of estimates are saturated on flat manifolds or manifolds all of whose sectional curvatures are negative. This allows us to classify compact space forms in terms of the size of$$L^{q}$$ $L^q$-norms of quasimodes for each Lebesgue exponent$$q\in (2,q_{c}]$$ $q\in (2,q_c]$, even though it is impossible to distinguish between ones of negative or zero curvature sectional curvature for any$$q>q_{c}$$ $q>q_c$. 

   more » « less
3. The immersion poset on partitions

   https://doi.org/10.1007/s10801-025-01380-z  

   Johnston, Lisa; Kenepp, David; Nguyen, Evuilynn; Paul, Digjoy; Schilling, Anne; Simone, Mary_Claire; Zhou, Regina (February 2025, Journal of Algebraic Combinatorics)

   Abstract We introduce the immersion poset$$({\mathcal {P}}(n), \leqslant _I)$$ $(P\left(n\right),{⩽}_I)$on partitions, defined by$$\lambda \leqslant _I \mu $$ $\lambda {⩽}_I\mu$if and only if$$s_\mu (x_1, \ldots , x_N) - s_\lambda (x_1, \ldots , x_N)$$ $s_{\mu }(x_1,\dots ,x_N)-s_{\lambda }(x_1,\dots ,x_N)$is monomial-positive. Relations in the immersion poset determine when irreducible polynomial representations of$$GL_N({\mathbb {C}})$$ $G{L}_N\left(C\right)$form an immersion pair, as defined by Prasad and Raghunathan [7]. We develop injections$$\textsf{SSYT}(\lambda , \nu ) \hookrightarrow \textsf{SSYT}(\mu , \nu )$$ $\mathrm{SSYT}(\lambda ,\nu )\hookrightarrow \mathrm{SSYT}(\mu ,\nu )$on semistandard Young tableaux given constraints on the shape of$$\lambda $$ $\lambda$, and present results on immersion relations among hook and two column partitions. The standard immersion poset$$({\mathcal {P}}(n), \leqslant _{std})$$ $(P\left(n\right),{⩽}_{\mathrm{std}})$is a refinement of the immersion poset, defined by$$\lambda \leqslant _{std} \mu $$ $\lambda {⩽}_{\mathrm{std}}\mu$if and only if$$\lambda \leqslant _D \mu $$ $\lambda {⩽}_D\mu$in dominance order and$$f^\lambda \leqslant f^\mu $$ $f^{\lambda }⩽f^{\mu }$, where$$f^\nu $$ $f^{\nu }$is the number of standard Young tableaux of shape$$\nu $$ $\nu$. We classify maximal elements of certain shapes in the standard immersion poset using the hook length formula. Finally, we prove Schur-positivity of power sum symmetric functions on conjectured lower intervals in the immersion poset, addressing questions posed by Sundaram [12]. 

   more » « less
4. Steady Radiating Gravity waves: An Exponential Asymptotics Approach

   https://doi.org/10.1007/s42286-023-00081-z  

   Kataoka, Takeshi; Akylas, T. R. (January 2024, Water Waves)

   Abstract The radiation of steady surface gravity waves by a uniform stream$$U_{0}$$ $U_0$over locally confined (width$$L$$ $L$) smooth topography is analyzed based on potential flow theory. The linear solution to this classical problem is readily found by Fourier transforms, and the nonlinear response has been studied extensively by numerical methods. Here, an asymptotic analysis is made for subcritical flow$$D/\lambda > 1$$ $D/\lambda >1$in the low-Froude-number ($$F^{2} \equiv \lambda /L \ll 1$$ $F^2\equiv \lambda /L\ll 1$) limit, where$$\lambda = U_{0}^{2} /g$$ $\lambda =U_0^2/g$is the lengthscale of radiating gravity waves and$$D$$ $D$is the uniform water depth. In this regime, the downstream wave amplitude, although formally exponentially small with respect to$$F$$ $F$, is determined by a fully nonlinear mechanism even for small topography amplitude. It is argued that this mechanism controls the wave response for a broad range of flow conditions, in contrast to linear theory which has very limited validity. 

   more » « less
5. Multipliers on bi-parameter Haar system Hardy spaces

   https://doi.org/10.1007/s00208-024-02887-9  

   Lechner, R.; Motakis, P.; Müller, P_F_X; Schlumprecht, Th (May 2024, Mathematische Annalen)

   Abstract Let$$(h_I)$$ $\left(h_I\right)$denote the standard Haar system on [0, 1], indexed by$$I\in \mathcal {D}$$ $I\in D$, the set of dyadic intervals and$$h_I\otimes h_J$$ $h_I\otimes h_J$denote the tensor product$$(s,t)\mapsto h_I(s) h_J(t)$$ $(s,t)\mapsto h_I\left(s\right)h_J\left(t\right)$,$$I,J\in \mathcal {D}$$ $I,J\in D$. We consider a class of two-parameter function spaces which are completions of the linear span$$\mathcal {V}(\delta ^2)$$ $V\left({\delta }^2\right)$of$$h_I\otimes h_J$$ $h_I\otimes h_J$,$$I,J\in \mathcal {D}$$ $I,J\in D$. This class contains all the spaces of the formX(Y), whereXandYare either the Lebesgue spaces$$L^p[0,1]$$ $L^p[0,1]$or the Hardy spaces$$H^p[0,1]$$ $H^p[0,1]$,$$1\le p < \infty $$ $1\le p<\infty$. We say that$$D:X(Y)\rightarrow X(Y)$$ $D:X\left(Y\right)\to X\left(Y\right)$is a Haar multiplier if$$D(h_I\otimes h_J) = d_{I,J} h_I\otimes h_J$$ $D(h_I\otimes h_J)=d_{I,J}{h}_I\otimes h_J$, where$$d_{I,J}\in \mathbb {R}$$ $d_{I,J}\in R$, and ask which more elementary operators factor throughD. A decisive role is played by theCapon projection$$\mathcal {C}:\mathcal {V}(\delta ^2)\rightarrow \mathcal {V}(\delta ^2)$$ $C:V\left({\delta }^2\right)\to V\left({\delta }^2\right)$given by$$\mathcal {C} h_I\otimes h_J = h_I\otimes h_J$$ $C{h}_I\otimes h_J=h_I\otimes h_J$if$$|I|\le |J|$$ $\left|I\right|\le \left|J\right|$, and$$\mathcal {C} h_I\otimes h_J = 0$$ $C{h}_I\otimes h_J=0$if$$|I| > |J|$$ $\left|I\right|>\left|J\right|$, as our main result highlights: Given any bounded Haar multiplier$$D:X(Y)\rightarrow X(Y)$$ $D:X\left(Y\right)\to X\left(Y\right)$, there exist$$\lambda ,\mu \in \mathbb {R}$$ $\lambda ,\mu \in R$such that$$\begin{aligned} \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C})\text { approximately 1-projectionally factors through }D, \end{aligned}$$ $\begin{array}{c}\lambda C+\mu (\text{Id}-C)\text{approximately 1-projectionally factors through}D,\end{array}$i.e., for all$$\eta > 0$$ $\eta >0$, there exist bounded operatorsA, Bso thatABis the identity operator$${{\,\textrm{Id}\,}}$$ $\text{Id}$,$$\Vert A\Vert \cdot \Vert B\Vert = 1$$ $\Vert A\Vert ·\Vert B\Vert =1$and$$\Vert \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C}) - ADB\Vert < \eta $$ $\Vert \lambda C+\mu (\text{Id}-C)-ADB\Vert <\eta$. Additionally, if$$\mathcal {C}$$ $C$is unbounded onX(Y), then$$\lambda = \mu $$ $\lambda =\mu$and then$${{\,\textrm{Id}\,}}$$ $\text{Id}$either factors throughDor$${{\,\textrm{Id}\,}}-D$$ $\text{Id}-D$. 

   more » « less