More Like this

1. 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
2. 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
3. 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
4. Uniform Lech’s inequality

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

   Ma, Linquan; Smirnov, Ilya (February 2023, Proceedings of the American Mathematical Society)

   Let $(R,\mathfrak{m})$be a Noetherian local ring of dimension $d\ge <\#comment/>2$. We prove that if $e\left({\stackrel{^<\#comment/>}{R}}_{red}\right)>1$, then the classical Lech’s inequality can be improved uniformly for all $\mathfrak{m}$-primary ideals, that is, there exists $\mathrm{\epsilon <\#comment/>}>0$such that $e\left(I\right)\le <\#comment/>d!\left(e\right(R)-<\#comment/>\mathrm{\epsilon <\#comment/>})\mathrm{\ell <\#comment/>}\left(R/I\right)$for all $\mathfrak{m}$-primary ideals $I\subseteq <\#comment/>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$. 

   more » « less
5. Regularity, singularities and ℎ-vector of graded algebras

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

   Dao, Hailong; Ma, Linquan; Varbaro, Matteo (January 2024, Transactions of the American Mathematical Society)

   Let $R$be a standard graded algebra over a field. We investigate how the singularities of $\mathrm{Spec}<\#comment/>R$or $\mathrm{Proj}<\#comment/>R$affect the $h$-vector of $R$, which is the coefficient of the numerator of its Hilbert series. The most concrete consequence of our work asserts that if $R$satisfies Serre’s condition $\left(S_r\right)$and has reasonable singularities (Du Bois on the punctured spectrum or $F$-pure), then $h_0$, …, $h_r\ge <\#comment/>0$. Furthermore the multiplicity of $R$is at least $h_0+h_1+\cdots <\#comment/>+h_{r-<\#comment/>1}$. We also prove that equality in many cases forces $R$to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain $\mathrm{Ext}$modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and $F$-pure singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others. 

   more » « less