Let
This content will become publicly available on March 19, 2025
Over a local ring
 NSFPAR ID:
 10496073
 Publisher / Repository:
 American Mathematical Society (AMS)
 Date Published:
 Journal Name:
 Transactions of the American Mathematical Society, Series B
 Volume:
 11
 Issue:
 21
 ISSN:
 23300000
 Format(s):
 Medium: X Size: p. 703726
 Size(s):
 p. 703726
 Sponsoring Org:
 National Science Foundation
More Like this

$(R,\mathfrak {m})$ be a Noetherian local ring of dimension$d\geq 2$ . We prove that if$e(\widehat {R}_{red})>1$ , then the classical Lech’s inequality can be improved uniformly for all$\mathfrak {m}$ primary ideals, that is, there exists$\varepsilon >0$ such that$e(I)\leq d!(e(R)\varepsilon )\ell (R/I)$ for all$\mathfrak {m}$ primary ideals$I\subseteq R$ . This answers a question raised by Huneke, Ma, Quy, and Smirnov [Adv. Math. 372 (2020), pp. 107296, 33]. We also obtain partial results towards improvements of Lech’s inequality when we fix the number of generators of$I$ . 
Proving the “expectationthreshold” conjecture of Kahn and Kalai [Combin. Probab. Comput. 16 (2007), pp. 495–502], we show that for any increasing property
$\mathcal {F}$ on a finite set$X$ ,\[$p_c(\mathcal {F})=O(q(\mathcal {F})\log \ell (\mathcal {F})),$\] where$p_c(\mathcal {F})$ and$q(\mathcal {F})$ are the threshold and “expectation threshold” of$\mathcal {F}$ , and$\ell (\mathcal {F})$ is the maximum of$2$ and the maximum size of a minimal member of$\mathcal {F}$ . 
For each odd integer
$n \geq 3$ , we construct a rank3 graph$\Lambda _n$ with involution$\gamma _n$ whose real$C^*$ algebra$C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda _n, \gamma _n)$ is stably isomorphic to the exotic Cuntz algebra$\mathcal E_n$ . This construction is optimal, as we prove that a rank2 graph with involution$(\Lambda ,\gamma )$ can never satisfy$C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )\sim _{ME} \mathcal E_n$ , and Boersema reached the same conclusion for rank1 graphs (directed graphs) in [Münster J. Math.10 (2017), pp. 485–521, Corollary 4.3]. Our construction relies on a rank1 graph with involution$(\Lambda , \gamma )$ whose real$C^*$ algebra$C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )$ is stably isomorphic to the suspension$S \mathbb {R}$ . In the Appendix, we show that the$i$ fold suspension$S^i \mathbb {R}$ is stably isomorphic to a graph algebra iff$2 \leq i \leq 1$ . 
Let
$f$ be analytic on$[0,1]$ with$f^{(k)}(1/2)\leqslant A\alpha ^kk!$ for some constants$A$ and$\alpha >2$ and all$k\geqslant 1$ . We show that the median estimate of$\mu =\int _0^1f(x)\,\mathrm {d} x$ under random linear scrambling with$n=2^m$ points converges at the rate$O(n^{c\log (n)})$ for any$c> 3\log (2)/\pi ^2\approx 0.21$ . We also get a superpolynomial convergence rate for the sample median of$2k1$ random linearly scrambled estimates, when$k/m$ is bounded away from zero. When$f$ has a$p$ ’th derivative that satisfies a$\lambda$ Hölder condition then the median of means has error$O( n^{(p+\lambda )+\epsilon })$ for any$\epsilon >0$ , if$k\to \infty$ as$m\to \infty$ . The proof techniques use methods from analytic combinatorics that have not previously been applied to quasiMonte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number. 
In this paper we derive the best constant for the following
$L^{\infty }$ type GagliardoNirenberg interpolation inequality$\begin{equation*} \u\_{L^{\infty }}\leq C_{q,\infty ,p} \u\^{1\theta }_{L^{q+1}}\\nabla u\^{\theta }_{L^p},\quad \theta =\frac {pd}{dp+(pd)(q+1)}, \end{equation*}$ where parameters$q$ and$p$ satisfy the conditions$p>d\geq 1$ ,$q\geq 0$ . The best constant$C_{q,\infty ,p}$ is given by$\begin{equation*} C_{q,\infty ,p}=\theta ^{\frac {\theta }{p}}(1\theta )^{\frac {\theta }{p}}M_c^{\frac {\theta }{d}},\quad M_c≔\int _{\mathbb {R}^d}u_{c,\infty }^{q+1} dx, \end{equation*}$ where$u_{c,\infty }$ is the unique radial nonincreasing solution to a generalized LaneEmden equation. The case of equality holds when$u=Au_{c,\infty }(\lambda (xx_0))$ for any real numbers$A$ ,$\lambda >0$ and$x_{0}\in \mathbb {R}^d$ . In fact, the generalized LaneEmden equation in$\mathbb {R}^d$ contains a delta function as a source and it is a ThomasFermi type equation. For$q=0$ or$d=1$ ,$u_{c,\infty }$ have closed form solutions expressed in terms of the incomplete Beta functions. Moreover, we show that$u_{c,m}\to u_{c,\infty }$ and$C_{q,m,p}\to C_{q,\infty ,p}$ as$m\to +\infty$ 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 GagliardoNirenberg interpolation inequality, respectively.