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. Residual intersections and linear powers

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

   Eisenbud, David; Huneke, Craig; Ulrich, Bernd (October 2023, Transactions of the American Mathematical Society, Series B)

   If $I$is an ideal in a Gorenstein ring $S$, and $S/I$is Cohen-Macaulay, then the same is true for any linked ideal $I^{\prime }$; but such statements hold for residual intersections of higher codimension only under restrictive hypotheses, not satisfied even by ideals as simple as the ideal $L_n$of minors of a generic $2\times <\#comment/>n$matrix when $n>3$. In this paper we initiate the study of a different sort of Cohen-Macaulay property that holds for certain general residual intersections of the maximal (interesting) codimension, one less than the analytic spread of $I$. For example, suppose that $K$is the residual intersection of $L_n$by $2n-<\#comment/>4$general quadratic forms in $L_n$. In this situation we analyze $S/K$and show that $I^{n-<\#comment/>3}\left(S/K\right)$is a self-dual maximal Cohen-Macaulay $S/K$-module with linear free resolution over $S$. The technical heart of the paper is a result about ideals of analytic spread 1 whose high powers are linearly presented. 

   more » « less
4. A single-point Reshetnyak’s theorem

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

   Kangasniemi, Ilmari; Onninen, Jani (May 2025, Transactions of the American Mathematical Society)

   We prove a single-value version of Reshetnyak’s theorem. Namely, if a non-constant map $f\in W_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1,n}(\mathrm{\Omega },{\mathbb{R}}^n)$ from a domain $\mathrm{\Omega }\subset {\mathbb{R}}^n$ satisfies the estimate $\left|Df\right(x){|}^n\le K{J}_f(x)+\mathrm{\Sigma }(x\left)\right|f\left(x\right)-y_0{|}^n$ at almost every $x\in \mathrm{\Omega }$ for some $K\ge 1$, $y_0\in {\mathbb{R}}^n$ and $\mathrm{\Sigma }\in L_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1+\epsilon }\left(\mathrm{\Omega }\right)$, then $f^{-1}\left\{y_0\right\}$ is discrete, the local index $i(x,f)$ is positive in $f^{-1}\left\{y_0\right\}$, and every neighborhood of a point of $f^{-1}\left\{y_0\right\}$ is mapped to a neighborhood of $y_0$. Assuming this estimate for a fixed $K$ at every $y_0\in {\mathbb{R}}^n$ is equivalent to assuming that the map $f$ is $K$-quasiregular, even if the choice of $\mathrm{\Sigma }$ is different for each $y_0$. Since the estimate also yields a single-value Liouville theorem, it hence appears to be a good pointwise definition of $K$-quasiregularity. As a corollary of our single-value Reshetnyak’s theorem, we obtain a higher-dimensional version of the argument principle that played a key part in the solution to the Calderón problem. 

   more » « less
5. On the maximal spectral type of nilsystems

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

   Ackelsberg, Ethan; Richter, Florian; Shalom, Or (September 2024, Proceedings of the American Mathematical Society, Series B)

   Let $(G/\mathrm{\Gamma <\#comment/>},R_a)$be an ergodic $k$-step nilsystem for $k\ge <\#comment/>2$. We adapt an argument of Parry [Topology 9 (1970), pp. 217–224] to show that $L^2\left(G/\mathrm{\Gamma <\#comment/>}\right)$decomposes as a sum of a subspace with discrete spectrum and a subspace of Lebesgue spectrum with infinite multiplicity. In particular, we generalize a result previously established by Host–Kra–Maass [J. Anal. Math.124(2014), pp. 261–295] for $2$-step nilsystems and a result by Stepin [Uspehi Mat. Nauk24(1969), pp. 241–242] for nilsystems $G/\mathrm{\Gamma <\#comment/>}$with connected, simply connected $G$. 

   more » « less