More Like this

1. A proof of the Kahn–Kalai conjecture

   https://doi.org/10.1090/jams/1028  

   Park, Jinyoung ; Pham, Huy ( August 2023 , Journal of the American Mathematical Society)

   Proving the “expectation-threshold” 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}$.

    

   more » « less
2. 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^{\infty }$-type Gagliardo-Nirenberg 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+(p-d)(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 non-increasing solution to a generalized Lane-Emden equation. The case of equality holds when$u=Au_{c,\infty }(\lambda (x-x_0))$for any real numbers$A$,$\lambda >0$and$x_{0}\in \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,\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 Gagliardo-Nirenberg interpolation inequality, respectively.

    

   more » « less
3. A universal bound in the dimensional Brunn-Minkowski inequality for log-concave measures

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

   Livshyts, Galyna ( June 2023 , Transactions of the American Mathematical Society)

   We show that for any even log-concave probability measure$\mu$on$\mathbb {R}^n$, any pair of symmetric convex sets$K$and$L$, and any$\lambda \in [0,1]$,$\begin{equation*} \mu ((1-\lambda ) K+\lambda L)^{c_n}\geq (1-\lambda ) \mu (K)^{c_n}+\lambda \mu (L)^{c_n}, \end{equation*}$where$c_n\geq n^{-4-o(1)}$. This constitutes progress towards the dimensional Brunn-Minkowski conjecture (see Richard J. Gardner and Artem Zvavitch [Tran. Amer. Math. Soc. 362 (2010), pp. 5333–5353]; Andrea Colesanti, Galyna V. Livshyts, Arnaud Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139]). Moreover, our bound improves for various special classes of log-concave measures.

    

   more » « less
4. The stable exotic Cuntz algebras are higher-rank graph algebras

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

   Boersema, Jeffrey ; Browne, Sarah ; Gillaspy, Elizabeth ( March 2024 , Proceedings of the American Mathematical Society, Series B)

   For each odd integer$n \geq 3$, we construct a rank-3 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 rank-2 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 rank-1 graphs (directed graphs) in [Münster J. Math.10(2017), pp. 485–521, Corollary 4.3]. Our construction relies on a rank-1 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$.

    

   more » « less
5. Higher semiadditive Grothendieck-Witt theory and the 𝐾(1)-local sphere

   https://doi.org/10.1090/cams/17  

   Carmeli, Shachar ; Yuan, Allen ( March 2023 , Communications of the American Mathematical Society)

   We develop a higher semiadditive version of Grothendieck-Witt theory. We then apply the theory in the case of a finite field to study the higher semiadditive structure of the$K(1)$-local sphere$\mathbb {S}_{K(1)}$at the prime$2$, in particular realizing the non-$2$-adic rational element$1+\varepsilon \in \pi _0\mathbb {S}_{K(1)}$as a “semiadditive cardinality.” As a further application, we compute and clarify certain power operations in$\pi _0\mathbb {S}_{K(1)}$.

    

   more » « less