More Like this

1. Dimension-free discretizations of the uniform norm by small product sets

   https://doi.org/10.1007/s00222-024-01306-9  

   Becker, Lars; Klein, Ohad; Slote, Joseph; Volberg, Alexander; Zhang, Haonan (December 2024, Inventiones mathematicae)

   Abstract Let$$f$$ $f$be an analytic polynomial of degree at most$$K-1$$ $K-1$. A classical inequality of Bernstein compares the supremum norm of$$f$$ $f$over the unit circle to its supremum norm over the sampling set of the$$K$$ $K$-th roots of unity. Many extensions of this inequality exist, often understood under the umbrella of Marcinkiewicz–Zygmund-type inequalities for$$L^{p},1\le p\leq \infty $$ $L^p,1\le p\le \infty$norms. We study dimension-free extensions of these discretization inequalities in the high-dimension regime, where existing results construct sampling sets with cardinality growing with the total degree of the polynomial. In this work we show that dimension-free discretizations are possible with sampling sets whose cardinality is independent of$$\deg (f)$$ $deg\left(f\right)$and is instead governed by the maximumindividualdegree of$$f$$ $f$;i.e., the largest degree of$$f$$ $f$when viewed as a univariate polynomial in any coordinate. For example, we find that for$$n$$ $n$-variate analytic polynomials$$f$$ $f$of degree at most$$d$$ $d$and individual degree at most$$K-1$$ $K-1$,$$\|f\|_{L^{\infty }(\mathbf{D}^{n})}\leq C(X)^{d}\|f\|_{L^{\infty }(X^{n})}$$ ${\parallel f\parallel }_{L^{\infty }\left(D^n\right)}\le C{\left(X\right)}^d{\parallel f\parallel }_{L^{\infty }\left(X^n\right)}$for any fixed$$X$$ $X$in the unit disc$$\mathbf{D}$$ $D$with$$|X|=K$$ $\left|X\right|=K$. The dependence on$$d$$ $d$in the constant is tight for such small sampling sets, which arise naturally for example when studying polynomials of bounded degree coming from functions on products of cyclic groups. As an application we obtain a proof of the cyclic group Bohnenblust–Hille inequality with an explicit constant$$\mathcal{O}(\log K)^{2d}$$ $O{(logK)}^{2d}$. 

   more » « less
2. Universality and phase transitions in low moments of secular coefficients of critical holomorphic multiplicative chaos

   https://doi.org/10.1007/s00440-025-01443-z  

   Gu, Haotian; Zhang, Zhenyuan (November 2025, Probability Theory and Related Fields)

   Abstract We investigate the low moments$$\mathbb {E}[|A_N|^{2q}],\, 0 $E\left[\right|A_N{|}^{2q}],0<q⩽1$of secular coefficients$$A_N$$ $A_N$of the critical non-Gaussian holomorphic multiplicative chaos, i.e. coefficients of$$z^N$$ $z^N$in the power series expansion of$$\exp (\sum _{k=1}^\infty X_kz^k/\sqrt{k})$$ $exp({\sum }_{k=1}^{\infty }{X}_k{z}^k/\sqrt{k})$, where$$\{X_k\}_{k\geqslant 1}$$ ${\left\{X_k\right\}}_{k⩾1}$are i.i.d. rotationally invariant unit variance complex random variables. Inspired by Harper’s remarkable result on random multiplicative functions, Soundararajan and Zaman recently showed that if each$$X_k$$ $X_k$is standard complex Gaussian,$$A_N$$ $A_N$features better-than-square-root cancellation:$$\mathbb {E}[|A_N|^2]=1$$ $E\left[\right|A_N{|}^2]=1$and$$\mathbb {E}[|A_N|^{2q}]\asymp (\log N)^{-q/2}$$ $E\left[\right|A_N{|}^{2q}]\asymp {(logN)}^{-q/2}$for fixed$$q\in (0,1)$$ $q\in (0,1)$as$$N\rightarrow \infty $$ $N\to \infty$. We show that this asymptotics holds universally if$$\mathbb {E}[e^{\gamma |X_k|}]<\infty $$ $E\left[e^{\gamma |X_k|}\right]<\infty$for some$$\gamma >2q$$ $\gamma >2q$. As a consequence, we establish the universality for the tightness of the normalized secular coefficients$$A_N(\log (1+N))^{1/4}$$ $A_N{(log(1+N))}^{1/4}$, generalizing a result of Najnudel, Paquette, and Simm. Another corollary is the almost sure regularity of some critical non-Gaussian holomorphic chaos in appropriate Sobolev spaces. Moreover, we characterize the asymptotics of$$\mathbb {E}[|A_N|^{2q}]$$ $E\left[\right|A_N{|}^{2q}]$for$$|X_k|$$ $|X_k|$following a stretched exponential distribution with an arbitrary scale parameter, which exhibits a completely different behavior and underlying mechanism from the Gaussian universality regime. As a result, we unveil a double-layer phase transition around the critical case of exponential tails. Our proofs combine Harper’s robust approach with a careful analysis of the (possibly random) leading terms in the monomial decomposition of$$A_N$$ $A_N$. 

   more » « less
3. Instantaneous everywhere-blowup of parabolic SPDEs

   https://doi.org/10.1007/s00440-024-01263-7  

   Foondun, Mohammud; Khoshnevisan, Davar; Nualart, Eulalia (October 2024, Probability Theory and Related Fields)

   Abstract We consider the following stochastic heat equation$$\begin{aligned} \partial _t u(t,x) = \tfrac{1}{2} \partial ^2_x u(t,x) + b(u(t,x)) + \sigma (u(t,x)) {\dot{W}}(t,x), \end{aligned}$$ $\begin{array}{c}{\partial }_{t}u(t,x)=\frac{1}{2}{\partial }_x^{2}u(t,x)+b\left(u(t,x)\right)+\sigma \left(u(t,x)\right)\dot{W}(t,x),\end{array}$defined for$$(t,x)\in (0,\infty )\times {\mathbb {R}}$$ $(t,x)\in (0,\infty )\times R$, where$${\dot{W}}$$ $\dot{W}$denotes space-time white noise. The function$$\sigma $$ $\sigma$is assumed to be positive, bounded, globally Lipschitz, and bounded uniformly away from the origin, and the functionbis assumed to be positive, locally Lipschitz and nondecreasing. We prove that the Osgood condition$$\begin{aligned} \int _1^\infty \frac{\textrm{d}y}{b(y)}<\infty \end{aligned}$$ $\begin{array}{c}{\int }_1^{\infty }\frac{\text{d}y}{b\left(y\right)}<\infty \end{array}$implies that the solution almost surely blows up everywhere and instantaneously, In other words, the Osgood condition ensures that$$\textrm{P}\{ u(t,x)=\infty \quad \hbox { for all } t>0 \hbox { and } x\in {\mathbb {R}}\}=1.$$ $\text{P}\left\{u\right(t,x)=\infty \text{for all}t>0\text{and}x\in R\}=1.$The main ingredients of the proof involve a hitting-time bound for a class of differential inequalities (Remark 3.3), and the study of the spatial growth of stochastic convolutions using techniques from the Malliavin calculus and the Poincaré inequalities that were developed in Chen et al. (Electron J Probab 26:1–37, 2021, J Funct Anal 282(2):109290, 2022). 

   more » « less
4. Gradient Decay in the Boltzmann Theory of Non-isothermal Boundary

   https://doi.org/10.1007/s00205-024-01956-2  

   Chen, Hongxu; Kim, Chanwoo (February 2024, Archive for Rational Mechanics and Analysis)

   Abstract We consider the Boltzmann equation in a convex domain with a non-isothermal boundary of diffuse reflection. For both unsteady/steady problems, we construct solutions belonging to$$W^{1,p}_x$$ $W_x^{1,p}$for any$$p<3$$ $p<3$. We prove that the unsteady solution converges to the steady solution in the same Sobolev space exponentially quickly as$$t \rightarrow \infty $$ $t\to \infty$. 

   more » « less
5. Block mapping class groups and their finiteness properties

   https://doi.org/10.1007/s10711-025-00985-9  

   Aramayona, J; Aroca, J; Cumplido, M; Skipper, R; Wu, X (April 2025, Geometriae Dedicata)

   Abstract Given$$g \in \mathbb N \cup \{0, \infty \}$$ $g\in N\cup \{0,\infty \}$, let$$\Sigma _g$$ ${\Sigma }_g$denote the closed surface of genusgwith a Cantor set removed, if$$g<\infty $$ $g<\infty$; or the blooming Cantor tree, when$$g= \infty $$ $g=\infty$. We construct a family$$\mathfrak B(H)$$ $B\left(H\right)$of subgroups of$${{\,\textrm{Map}\,}}(\Sigma _g)$$ $\text{Map}\left({\Sigma }_g\right)$whose elements preserve ablock decompositionof$$\Sigma _g$$ ${\Sigma }_g$, andeventually like actlike an element ofH, whereHis a prescribed subgroup of the mapping class group of the block. The group$$\mathfrak B(H)$$ $B\left(H\right)$surjects onto an appropriate symmetric Thompson group of Farley–Hughes; in particular, it answers positively. Our main result asserts that$$\mathfrak B(H)$$ $B\left(H\right)$is of type$$F_n$$ $F_n$if and only ifHis. As a consequence, for every$$g\in \mathbb N \cup \{0, \infty \}$$ $g\in N\cup \{0,\infty \}$and every$$n\ge 1$$ $n\ge 1$, we construct a subgroup$$G <{{\,\textrm{Map}\,}}(\Sigma _g)$$ $G<\text{Map}\left({\Sigma }_g\right)$that is of type$$F_n$$ $F_n$but not of type$$F_{n+1}$$ $F_{n+1}$, and which contains the mapping class group of every compact surface of genus$$\le g$$ $\le g$and with non-empty boundary. 

   more » « less