More Like this

1. A single-point Reshetnyak’s theorem

   https://doi.org/10.1090/tran/9415  

   Kangasniemi, Ilmari; Onninen, Jani (May 2025, Transactions of the American Mathematical Society)

   We prove a single-value version of Reshetnyak’s theorem. Namely, if a non-constant map $f\in <\#comment/>W_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1,n}(\mathrm{\Omega <\#comment/>},{\mathbb{R}}^n)$from a domain $\mathrm{\Omega <\#comment/>}\subset <\#comment/>{\mathbb{R}}^n$satisfies the estimate $|<\#comment/>Df\left(x\right){|<\#comment/>}^n\le <\#comment/>K{J}_f\left(x\right)+\mathrm{\Sigma <\#comment/>}\left(x\right)|<\#comment/>f\left(x\right)-<\#comment/>y_0{|<\#comment/>}^n$at almost every $x\in <\#comment/>\mathrm{\Omega <\#comment/>}$for some $K\ge <\#comment/>1$, $y_0\in <\#comment/>{\mathbb{R}}^n$and $\mathrm{\Sigma <\#comment/>}\in <\#comment/>L_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1+\mathrm{\epsilon <\#comment/>}}\left(\mathrm{\Omega <\#comment/>}\right)$, then $f^{-<\#comment/>1}\left\{y_0\right\}$is discrete, the local index $i(x,f)$is positive in $f^{-<\#comment/>1}\left\{y_0\right\}$, and every neighborhood of a point of $f^{-<\#comment/>1}\left\{y_0\right\}$is mapped to a neighborhood of $y_0$. Assuming this estimate for a fixed $K$at every $y_0\in <\#comment/>{\mathbb{R}}^n$is equivalent to assuming that the map $f$is $K$-quasiregular, even if the choice of $\mathrm{\Sigma <\#comment/>}$is different for each $y_0$. Since the estimate also yields a single-value Liouville theorem, it hence appears to be a good pointwise definition of $K$-quasiregularity. As a corollary of our single-value Reshetnyak’s theorem, we obtain a higher-dimensional version of the argument principle that played a key part in the solution to the Calderón problem. 

   more » « less
2. A modular construction of unramified 𝑝-extensions of ℚ(ℕ^{1/𝕡})

   https://doi.org/10.1090/bproc/141  

   Lang, Jaclyn; Wake, Preston (October 2022, Proceedings of the American Mathematical Society, Series B)

   We show that for primes $N,p\ge <\#comment/>5$with $N\equiv <\#comment/>-<\#comment/>1modp$, the class number of $\mathbb{Q}\left(N^{1/p}\right)$is divisible by $p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when $N\equiv <\#comment/>-<\#comment/>1modp$, there is always a cusp form of weight $2$and level ${\mathrm{\Gamma <\#comment/>}}_0\left(N^2\right)$whose $\mathrm{\ell <\#comment/>}$th Fourier coefficient is congruent to $\mathrm{\ell <\#comment/>}+1$modulo a prime above $p$, for all primes $\mathrm{\ell <\#comment/>}$. We use the Galois representation of such a cusp form to explicitly construct an unramified degree- $p$extension of $\mathbb{Q}\left(N^{1/p}\right)$. 

   more » « less
3. 𝐿₁-distortion of Wasserstein metrics: A tale of two dimensions

   https://doi.org/10.1090/btran/143  

   Baudier, F.; Gartland, C.; Schlumprecht, Th. (August 2023, Transactions of the American Mathematical Society, Series B)

   By discretizing an argument of Kislyakov, Naor and Schechtman proved that the 1-Wasserstein metric over the planar grid $\{0,1,\dots <\#comment/>,n{\}}^2$has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log <\#comment/>n}$. We provide a new “dimensionality” interpretation of Kislyakov’s argument, showing that if $\{G_n{\}}_{n=1}^{\mathrm{\infty <\#comment/>}}$is a sequence of graphs whose isoperimetric dimension and Lipschitz-spectral dimension equal a common number $\mathrm{\delta <\#comment/>}\in <\#comment/>[2,\mathrm{\infty <\#comment/>})$, then the 1-Wasserstein metric over $G_n$has $L_1$-distortion bounded below by a constant multiple of $(\log <\#comment/>|G_n|{)}^{\frac{1}{\mathrm{\delta <\#comment/>}}}$. We proceed to compute these dimensions for $\oslash <\#comment/>$-powers of certain graphs. In particular, we get that the sequence of diamond graphs $\{{\mathsf{D}}_n{\}}_{n=1}^{\mathrm{\infty <\#comment/>}}$has isoperimetric dimension and Lipschitz-spectral dimension equal to 2, obtaining as a corollary that the 1-Wasserstein metric over ${\mathsf{D}}_n$has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log <\#comment/>|{\mathsf{D}}_n|}$. This answers a question of Dilworth, Kutzarova, and Ostrovskii and exhibits only the third sequence of $L_1$-embeddable graphs whose sequence of 1-Wasserstein metrics is not $L_1$-embeddable. 

   more » « less
4. The best constant for 𝐿^{∞}-type Gagliardo-Nirenberg inequalities

   https://doi.org/10.1090/qam/1645  

   Liu, Jian-Guo; Wang, Jinhuan (June 2024, Quarterly of Applied Mathematics)

   In this paper we derive the best constant for the following $L^{\mathrm{\infty <\#comment/>}}$-type Gagliardo-Nirenberg interpolation inequality $\Vert <\#comment/>u{\Vert <\#comment/>}_{L^{\mathrm{\infty <\#comment/>}}}\le <\#comment/>C_{q,\mathrm{\infty <\#comment/>},p}\Vert <\#comment/>u{\Vert <\#comment/>}_{L^{q+1}}^{1-<\#comment/>\mathrm{\theta <\#comment/>}}\Vert <\#comment/>\mathrm{\nabla <\#comment/>}u{\Vert <\#comment/>}_{L^p}^{\mathrm{\theta <\#comment/>}},\mathrm{\theta <\#comment/>}=\frac{pd}{dp+(p-<\#comment/>d)(q+1)},$where parameters $q$and $p$satisfy the conditions $p>d\ge <\#comment/>1$, $q\ge <\#comment/>0$. The best constant $C_{q,\mathrm{\infty <\#comment/>},p}$is given by $C_{q,\mathrm{\infty <\#comment/>},p}={\mathrm{\theta <\#comment/>}}^{-<\#comment/>\frac{\mathrm{\theta <\#comment/>}}{p}}(1-<\#comment/>\mathrm{\theta <\#comment/>}{)}^{\frac{\mathrm{\theta <\#comment/>}}{p}}{M}_c^{-<\#comment/>\frac{\mathrm{\theta <\#comment/>}}{d}},M_c≔{\int <\#comment/>}_{{\mathbb{R}}^d}{u}_{c,\mathrm{\infty <\#comment/>}}^{q+1}dx,$where $u_{c,\mathrm{\infty <\#comment/>}}$is the unique radial non-increasing solution to a generalized Lane-Emden equation. The case of equality holds when $u=A{u}_{c,\mathrm{\infty <\#comment/>}}\left(\mathrm{\lambda <\#comment/>}\right(x-<\#comment/>x_0\left)\right)$for any real numbers $A$, $\mathrm{\lambda <\#comment/>}>0$and $x_0\in <\#comment/>{\mathbb{R}}^d$. In fact, the generalized Lane-Emden equation in ${\mathbb{R}}^d$contains a delta function as a source and it is a Thomas-Fermi type equation. For $q=0$or $d=1$, $u_{c,\mathrm{\infty <\#comment/>}}$have closed form solutions expressed in terms of the incomplete Beta functions. Moreover, we show that $u_{c,m}\to <\#comment/>u_{c,\mathrm{\infty <\#comment/>}}$and $C_{q,m,p}\to <\#comment/>C_{q,\mathrm{\infty <\#comment/>},p}$as $m\to <\#comment/>+\mathrm{\infty <\#comment/>}$for $d=1$, where $u_{c,m}$and $C_{q,m,p}$are the function achieving equality and the best constant of $L^m$-type Gagliardo-Nirenberg interpolation inequality, respectively. 

   more » « less
5. Super-polynomial accuracy of one dimensional randomized nets using the median of means

   https://doi.org/10.1090/mcom/3791  

   Pan, Zexin; Owen, Art (March 2023, Mathematics of Computation)

   Let $f$be analytic on $[0,1]$with $|f^{\left(k\right)}\left(1/2\right)|⩽<\#comment/>A{\mathrm{\alpha <\#comment/>}}^{k}k!$for some constants $A$and $\mathrm{\alpha <\#comment/>}>2$and all $k⩾<\#comment/>1$. We show that the median estimate of $\mathrm{\mu <\#comment/>}={\int <\#comment/>}_0^{1}f\left(x\right)\mathrm{d}x$under random linear scrambling with $n=2^m$points converges at the rate $O\left(n^{-<\#comment/>c\log <\#comment/>\left(n\right)}\right)$for any $c>3\log <\#comment/>\left(2\right)/{\mathrm{\pi <\#comment/>}}^2\approx <\#comment/>0.21$. We also get a super-polynomial convergence rate for the sample median of $2k-<\#comment/>1$random linearly scrambled estimates, when $k/m$is bounded away from zero. When $f$has a $p$’th derivative that satisfies a $\mathrm{\lambda <\#comment/>}$-Hölder condition then the median of means has error $O\left(n^{-<\#comment/>(p+\mathrm{\lambda <\#comment/>})+\mathrm{ϵ<\#comment/>}}\right)$for any $\mathrm{ϵ<\#comment/>}>0$, if $k\to <\#comment/>\mathrm{\infty <\#comment/>}$as $m\to <\#comment/>\mathrm{\infty <\#comment/>}$. 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