More Like this

1. The 𝑚=2 amplituhedron and the hypersimplex: Signs, clusters, tilings, Eulerian numbers

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

   Parisi, Matteo; Sherman-Bennett, Melissa; Williams, Lauren (July 2023, Communications of the American Mathematical Society)

   The hypersimplex ${\mathrm{\Delta <\#comment/>}}_{k+1,n}$is the image of the positive Grassmannian $G{r}_{k+1,n}^{\ge <\#comment/>0}$under the moment map. It is a polytope of dimension $n-<\#comment/>1$in ${\mathbb{R}}^n$. Meanwhile, the amplituhedron ${\mathcal{A}}_{n,k,2}\left(Z\right)$is the projection of the positive Grassmannian $G{r}_{k,n}^{\ge <\#comment/>0}$into the Grassmannian $G{r}_{k,k+2}$under a map $\stackrel{~<\#comment/>}{Z}$induced by a positive matrix $Z\in <\#comment/>Ma{t}_{n,k+2}^{>0}$. Introduced in the context ofscattering amplitudes, it is not a polytope, and has full dimension $2k$inside $G{r}_{k,k+2}$. Nevertheless, there seem to be remarkable connections between these two objects viaT-duality, as conjectured by Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]. In this paper we use ideas from oriented matroid theory, total positivity, and the geometry of the hypersimplex and positroid polytopes to obtain a deeper understanding of the amplituhedron. We show that the inequalities cutting outpositroid polytopes—images of positroid cells of $G{r}_{k+1,n}^{\ge <\#comment/>0}$under the moment map—translate into sign conditions characterizing the T-dualGrasstopes—images of positroid cells of $G{r}_{k,n}^{\ge <\#comment/>0}$under $\stackrel{~<\#comment/>}{Z}$. Moreover, we subdivide the amplituhedron intochambers, just as the hypersimplex can be subdivided into simplices, with both chambers and simplices enumerated by the Eulerian numbers. We use these properties to prove the main conjecture of Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]: a collection of positroid polytopes is a tiling of the hypersimplex if and only if the collection of T-dual Grasstopes is a tiling of the amplituhedron ${\mathcal{A}}_{n,k,2}\left(Z\right)$for all $Z$. Moreover, we prove Arkani-Hamed–Thomas–Trnka’s conjectural sign-flip characterization of ${\mathcal{A}}_{n,k,2}$, and Łukowski–Parisi–Spradlin–Volovich’s conjectures on $m=2$cluster adjacencyand onpositroid tilesfor ${\mathcal{A}}_{n,k,2}$(images of $2k$-dimensional positroid cells which map injectively into ${\mathcal{A}}_{n,k,2}$). Finally, we introduce new cluster structures in the amplituhedron. 

   more » « less
2. Dens, nests and the Loehr-Warrington conjecture

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

   Blasiak, J; Haiman, M; Morse, J; Pun, A; Seelinger, G (June 2025, Journal of the American Mathematical Society)

   We prove and extend the longest-standing conjecture in ‘ $q,t$-Catalan combinatorics,’ namely, the combinatorial formula for ${\mathrm{\nabla <\#comment/>}}^m{s}_{\mathrm{\mu <\#comment/>}}$conjectured by Loehr and Warrington, where $s_{\mathrm{\mu <\#comment/>}}$is a Schur function and $\mathrm{\nabla <\#comment/>}$is an eigenoperator on Macdonald polynomials. Our approach is to establish a stronger identity of infinite series of $G{L}_l$characters involvingSchur Catalanimals; these were recently shown by the authors to represent Schur functions $s_{\mathrm{\mu <\#comment/>}}[-<\#comment/>M{X}^{m,n}]$in subalgebras $\mathrm{\Lambda <\#comment/>}\left(X^{m,n}\right)\subset <\#comment/>\mathcal{E}$isomorphic to the algebra of symmetric functions $\mathrm{\Lambda <\#comment/>}$over $\mathbb{Q}(q,t)$, where $\mathcal{E}$is the elliptic Hall algebra of Burban and Schiffmann. We establish a combinatorial formula for Schur Catalanimals as weighted sums of LLT polynomials, with terms indexed by configurations of nested lattice paths callednests, having endpoints and bounding constraints controlled by data called aden. The special case for $\mathrm{\Lambda <\#comment/>}\left(X^{m,1}\right)$proves the Loehr-Warrington conjecture, giving ${\mathrm{\nabla <\#comment/>}}^m{s}_{\mathrm{\mu <\#comment/>}}$as a weighted sum of LLT polynomials indexed by systems of nested Dyck paths. In general, for $\mathrm{\Lambda <\#comment/>}\left(X^{m,n}\right)$our formula implies a new $(m,n)$version of the Loehr-Warrington conjecture. In the case where each nest consists of a single lattice path, the nests in a den formula reduce to our previous shuffle theorem for paths under any line. Both this and the $(m,n)$Loehr-Warrington formula generalize the $(km,kn)$shuffle theorem proven by Carlsson and Mellit (for $n=1$) and Mellit. Our formula here unifies these two generalizations. 

   more » « less
3. Products of normal subsets

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

   Larsen, Michael; Shalev, Aner; Tiep, Pham (February 2024, Transactions of the American Mathematical Society)

   In this paper we consider which families of finite simple groups $G$have the property that for each $\mathrm{ϵ<\#comment/>}>0$there exists $N>0$such that, if $|G|\ge <\#comment/>N$and $S,T$are normal subsets of $G$with at least $\mathrm{ϵ<\#comment/>}|G|$elements each, then every non-trivial element of $G$is the product of an element of $S$and an element of $T$. We show that this holds in a strong and effective sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{P}\mathrm{S}\mathrm{L}}_n\left(q\right)$where $q$is fixed and $n\to <\#comment/>\mathrm{\infty <\#comment/>}$. However, in the case $S=T$and $G$alternating this holds with an explicit bound on $N$in terms of $\mathrm{ϵ<\#comment/>}$. Related problems and applications are also discussed. In particular we show that, if $w_1,w_2$are non-trivial words, $G$is a finite simple group of Lie type of bounded rank, and for $g\in <\#comment/>G$, $P_{w_1\left(G\right),w_2\left(G\right)}\left(g\right)$denotes the probability that $g_1{g}_2=g$where $g_i\in <\#comment/>w_i\left(G\right)$are chosen uniformly and independently, then, as $|G|\to <\#comment/>\mathrm{\infty <\#comment/>}$, the distribution $P_{w_1\left(G\right),w_2\left(G\right)}$tends to the uniform distribution on $G$with respect to the $L^{\mathrm{\infty <\#comment/>}}$norm. 

   more » « less
4. 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
5. Colength one deformation rings

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

   Le, Daniel; Le_Hung, Bao; Morra, Stefano; Park, Chol; Qian, Zicheng (May 2024, Transactions of the American Mathematical Society)

   Let $K/{\mathbb{Q}}_p$be a finite unramified extension, $\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}:\mathrm{G}\mathrm{a}\mathrm{l}\left({\stackrel{¯<\#comment/>}{\mathbb{Q}}}_p/K\right)\to <\#comment/>{\mathrm{G}\mathrm{L}}_n\left({\stackrel{¯<\#comment/>}{\mathbb{F}}}_p\right)$a continuous representation, and $\mathrm{\tau <\#comment/>}$a tame inertial type of dimension $n$. We explicitly determine, under mild regularity conditions on $\mathrm{\tau <\#comment/>}$, the potentially crystalline deformation ring $R_{\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}}^{\mathrm{\eta <\#comment/>},\mathrm{\tau <\#comment/>}}$in parallel Hodge–Tate weights $\mathrm{\eta <\#comment/>}=(n-<\#comment/>1,\cdots <\#comment/>,1,0)$and inertial type $\mathrm{\tau <\#comment/>}$when theshapeof $\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}$with respect to $\mathrm{\tau <\#comment/>}$has colength at most one. This has application to the modularity of a class of shadow weights in the weight part of Serre’s conjecture. Along the way we make unconditional the local-global compatibility results of Park and Qian [Mém. Soc. Math. Fr. (N.S.) 173 (2022), pp. vi+150]. 

   more » « less