More Like this

1. An optimal approximation problem for free polynomials

   https://doi.org/10.1090/proc/16474  

   Arora, Palak; Augat, Meric; Jury, Michael; Sargent, Meredith (November 2023, Proceedings of the American Mathematical Society)

   Motivated by recent work on optimal approximation by polynomials in the unit disk, we consider the following noncommutative approximation problem: for a polynomial $f$in $d$freely noncommuting arguments, find a free polynomial $p_n$, of degree at most $n$, to minimize $c_n≔\Vert <\#comment/>p_{n}f-<\#comment/>1{\Vert <\#comment/>}^2$. (Here the norm is the ${\mathrm{\ell <\#comment/>}}^2$norm on coefficients.) We show that $c_n\to <\#comment/>0$if and only if $f$is nonsingular in a certain nc domain (the row ball), and prove quantitative bounds. As an application, we obtain a new proof of the characterization of polynomials cyclic for the $d$-shift. 

   more » « less
2. On a conjectural symmetric version of Ehrhard’s inequality

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

   Livshyts, Galyna (May 2024, Transactions of the American Mathematical Society)

   We formulate a plausible conjecture for the optimal Ehrhard-type inequality for convex symmetric sets with respect to the Gaussian measure. Namely, letting $J_{k-<\#comment/>1}\left(s\right)={\int <\#comment/>}_0^s{t}^{k-<\#comment/>1}{e}^{-<\#comment/>\frac{t^2}{2}}dt$and $c_{k-<\#comment/>1}=J_{k-<\#comment/>1}(+\mathrm{\infty <\#comment/>})$, we conjecture that the function $F:[0,1]\to <\#comment/>\mathbb{R}$, given by $F\left(a\right)=\underset{k=1}{\overset{n}{\sum <\#comment/>}}{1}_{a\in <\#comment/>E_k}\cdot <\#comment/>\left({\mathrm{\beta <\#comment/>}}_k{J}_{k-<\#comment/>1}^{-<\#comment/>1}\right(c_{k-<\#comment/>1}a)+{\mathrm{\alpha <\#comment/>}}_k)$(with an appropriate choice of a decomposition $[0,1]={\cup <\#comment/>}_i{E}_i$and coefficients ${\mathrm{\alpha <\#comment/>}}_i,{\mathrm{\beta <\#comment/>}}_i$) satisfies, for all symmetric convex sets $K$and $L$, and any $\mathrm{\lambda <\#comment/>}\in <\#comment/>[0,1]$, $F\left(\mathrm{\gamma <\#comment/>}\right(\mathrm{\lambda <\#comment/>}K+(1-<\#comment/>\mathrm{\lambda <\#comment/>})L\left)\right)\ge <\#comment/>\mathrm{\lambda <\#comment/>}F\left(\mathrm{\gamma <\#comment/>}\right(K\left)\right)+(1-<\#comment/>\mathrm{\lambda <\#comment/>})F\left(\mathrm{\gamma <\#comment/>}\right(L\left)\right).$We explain that this conjecture is “the most optimistic possible”, and is equivalent to the fact that for any symmetric convex set $K$, itsGaussian concavity power $p_s(K,\mathrm{\gamma <\#comment/>})$is greater than or equal to $p_s(R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k},\mathrm{\gamma <\#comment/>})$, for some $k\in <\#comment/>\{1,\dots <\#comment/>,n\}$. We call the sets $R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$round $k$-cylinders; they also appear as the conjectured Gaussian isoperimetric minimizers for symmetric sets, see Heilman [Amer. J. Math. 143 (2021), pp. 53–94]. In this manuscript, we make progress towards this question, and show that for any symmetric convex set $K$in ${\mathbb{R}}^n$, $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>\underset{F\in <\#comment/>L^2(K,\mathrm{\gamma <\#comment/>})\cap <\#comment/>Lip\left(K\right):\int <\#comment/>F=1}{sup}\left(2T_{\mathrm{\gamma <\#comment/>}}^F\right(K)-<\#comment/>Var(F\left)\right)+\frac{1}{n-<\#comment/>\mathbb{E}{X}^2},$where $T_{\mathrm{\gamma <\#comment/>}}^F\left(K\right)$is the $F-<\#comment/>$torsional rigidity of $K$with respect to the Gaussian measure.Moreover, the equality holds if and only if $K=R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$for some $R>0$and $k=1,\dots <\#comment/>,n$.As a consequence, we get $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>Q(\mathbb{E}|X{|}^2,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^4,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^2,r(K\left)\right),$where $Q$is a certain rational function of degree $2$, the expectation is taken with respect to the restriction of the Gaussian measure onto $K$, $\Vert <\#comment/>\cdot <\#comment/>{\Vert <\#comment/>}_K$is the Minkowski functional of $K$, and $r\left(K\right)$is the in-radius of $K$. The result follows via a combination of some novel estimates, the $L2$method (previously studied by several authors, notably Kolesnikov and Milman [J. Geom. Anal. 27 (2017), pp. 1680–1702; Amer. J. Math. 140 (2018), pp. 1147–1185;Geometric aspects of functional analysis, Springer, Cham, 2017; Mem. Amer. Math. Soc. 277 (2022), v+78 pp.], Kolesnikov and the author [Adv. Math. 384 (2021), 23 pp.], Hosle, Kolesnikov, and the author [J. Geom. Anal. 31 (2021), pp. 5799–5836], Colesanti [Commun. Contemp. Math. 10 (2008), pp. 765–772], Colesanti, the author, and Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139], Eskenazis and Moschidis [J. Funct. Anal. 280 (2021), 19 pp.]), and the analysis of the Gaussian torsional rigidity. As an auxiliary result on the way to the equality case characterization, we characterize the equality cases in the “convex set version” of the Brascamp-Lieb inequality, and moreover, obtain a quantitative stability version in the case of the standard Gaussian measure; this may be of independent interest. All the equality case characterizations rely on the careful analysis of the smooth case, the stability versions via trace theory, and local approximation arguments. In addition, we provide a non-sharp estimate for a function $F$whose composition with $\mathrm{\gamma <\#comment/>}\left(K\right)$is concave in the Minkowski sense for all symmetric convex sets. 

   more » « less
3. Property G and the 4-genus

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

   Ni, Yi (January 2024, Transactions of the American Mathematical Society, Series B)

   We say a null-homologous knot $K$in a $3$-manifold $Y$has Property G, if the Thurston norm and fiberedness of the complement of $K$is preserved under the zero surgery on $K$. In this paper, we will show that, if the smooth $4$-genus of $K\times <\#comment/>\left\{0\right\}$(in a certain homology class) in $(Y\times <\#comment/>[0,1\left]\right)\mathrm{\#<\#comment/>}N\stackrel{¯<\#comment/>}{\mathbb{C}{P}^2}$, where $Y$is a rational homology sphere, is smaller than the Seifert genus of $K$, then $K$has Property G. When the smooth $4$-genus is $0$, $Y$can be taken to be any closed, oriented $3$-manifold. 

   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. 𝐿₁-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