More Like this

1. Asymptotics of singular values for quantum derivatives

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

   Frank, Rupert; Sukochev, Fedor; Zanin, Dmitriy (March 2023, Transactions of the American Mathematical Society)

   We obtain Weyl type asymptotics for the quantised derivative \dj \mkern 1muf of a function f f from the homgeneous Sobolev space W ˙ d 1 ( R d ) \dot {W}^1_d(\mathbb {R}^d) on R d . \mathbb {R}^d. The asymptotic coefficient ‖ ∇ f ‖ L d ( R d ) \|\nabla f\|_{L_d(\mathbb R^d)} is equivalent to the norm of \dj \mkern 1muf in the principal ideal L d , ∞ , \mathcal {L}_{d,\infty }, thus, providing a non-asymptotic, uniform bound on the spectrum of \dj \mkern 1muf. Our methods are based on the C ∗ C^{\ast } -algebraic notion of the principal symbol mapping on R d \mathbb {R}^d , as developed recently by the last two authors and collaborators. 

   more » « less
2. Analysis of stochastic Lanczos quadrature for spectrum approximation

   Chen, Tyler; Trogdon, Thomas; Ubaru, Shashanka (January 2021, Proceedings of the 38th International Conference on Machine Learning)

   The cumulative empirical spectral measure (CESM) $$\Phi[\mathbf{A}] : \mathbb{R} \to [0,1]$$ of a $$n\times n$$ symmetric matrix $$\mathbf{A}$$ is defined as the fraction of eigenvalues of $$\mathbf{A}$$ less than a given threshold, i.e., $$\Phi[\mathbf{A}](x) := \sum_{i=1}^{n} \frac{1}{n} {\large\unicode{x1D7D9}}[ \lambda_i[\mathbf{A}]\leq x]$$. Spectral sums $$\operatorname{tr}(f[\mathbf{A}])$$ can be computed as the Riemann–Stieltjes integral of $$f$$ against $$\Phi[\mathbf{A}]$$, so the task of estimating CESM arises frequently in a number of applications, including machine learning. We present an error analysis for stochastic Lanczos quadrature (SLQ). We show that SLQ obtains an approximation to the CESM within a Wasserstein distance of $$t \: | \lambda_{\text{max}}[\mathbf{A}] - \lambda_{\text{min}}[\mathbf{A}] |$$ with probability at least $$1-\eta$$, by applying the Lanczos algorithm for $$\lceil 12 t^{-1} + \frac{1}{2} \rceil$$ iterations to $$\lceil 4 ( n+2 )^{-1}t^{-2} \ln(2n\eta^{-1}) \rceil$$ vectors sampled independently and uniformly from the unit sphere. We additionally provide (matrix-dependent) a posteriori error bounds for the Wasserstein and Kolmogorov–Smirnov distances between the output of this algorithm and the true CESM. The quality of our bounds is demonstrated using numerical experiments. 

   more » « less
3. The unbounded denominators conjecture

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

   Calegari, Frank; Dimitrov, Vesselin; Tang, Yunqing (February 2025, Journal of the American Mathematical Society)

   We prove the unbounded denominators conjecture in the theory of noncongruence modular forms for finite index subgroups of ${\mathrm{SL}}_2<\#comment/>\left(\mathbf{Z}\right)$. Our result includes also Mason’s generalization of the original conjecture to the setting of vector-valued modular forms, thereby supplying a new path to the congruence property in rational conformal field theory. The proof involves a new arithmetic holonomicity bound of a potential-theoretic flavor, together with Nevanlinna second main theorem, the congruence subgroup property of ${\mathrm{SL}}_2<\#comment/>\left(\mathbf{Z}\right[1/p\left]\right)$, and a close description of the Fuchsian uniformization $D(0,1)/{\mathrm{\Gamma <\#comment/>}}_N$of the Riemann surface $\mathbf{C}\setminus <\#comment/>{\mathrm{\mu <\#comment/>}}_N$. 

   more » « less
4. Rationality of twists of the Siegel modular variety of genus 2 and level 3

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

   Calegari, Frank; Chidambaram, Shiva (February 2022, Proceedings of the American Mathematical Society)

   Let  ρ ¯ : G Q → GSp 4 ⁡ ( F 3 ) \overline {\rho }: G_{\mathbf {Q}} \rightarrow \operatorname {GSp}_4(\mathbf {F}_3) be a continuous Galois representation with cyclotomic similitude character. Equivalently, consider ρ ¯ \overline {\rho } to be the Galois representation associated to the  3 3 -torsion of a principally polarized abelian surface  A / Q A/\mathbf {Q} . We prove that the moduli space  A 2 ( ρ ¯ ) \mathcal {A}_2(\overline {\rho }) of principally polarized abelian surfaces  B / Q B/\mathbf {Q} admitting a symplectic isomorphism  B [ 3 ] ≃ ρ ¯ B[3] \simeq \overline {\rho } of Galois representations is never rational over  Q \mathbf {Q} when  ρ ¯ \overline {\rho } is surjective, even though it is both rational over  C \mathbf {C} and unirational over  Q \mathbf {Q} via a map of degree  6 6 . 

   more » « less
5. L oo p D e l t a : E m b e dd i n g L o c a li t y - a w a r e O pp o r t un i s t i c D e l t a C o m p r e ss i o n i n I n li n e D e dup li c a t i o n f o r Hi g h l y E ffic i e n t D a t a R e du c t i o n

   Zhang, Yucheng; Jiang, Hong; Feng, Dan; Jiang Nan; Qui, Taorong; Huang, Wei (July 2023, USENIX annual technical conference)

   A s a c om pl e men t t o da ta d edupli cat ion , de lta c om p ress i on fu r- t he r r edu c es t h e dat a vo l u m e by c o m pr e ssi n g n o n - dup li c a t e d ata chunk s r e l a t iv e to t h e i r s i m il a r chunk s (bas e chunk s). H ow ever, ex is t i n g p o s t - d e dup li c a t i o n d e l t a c o m pr e ssi o n a p- p ro a ches fo r bac kup s t or ag e e i t h e r su ffe r f ro m t h e l ow s i m - il a r i t y b e twee n m any de te c ted c hun ks o r m i ss so me po t e n - t i a l s i m il a r c hunks , o r su ffer f r om l ow (ba ckup and r es t ore ) th r oug hpu t du e t o extr a I/ Os f or r e a d i n g b a se c hun ks o r a dd a dd i t i on a l s e r v i c e - d i s r up t ive op e r a t i on s to b a ck up s ys t em s. I n t h i s pa p e r, w e pr opo se L oop D e l t a t o a dd ress the above - m e n t i on e d prob l e m s by an e nha nced em b e ddi n g d e l t a c o m p - r e ss i on sc heme i n d e dup li c a t i on i n a non - i n t ru s ive way. T h e e nha nce d d elt a c o mpr ess ion s che m e co m b in e s f our key t e c h - ni qu e s : (1) du a l - l o c a li t y - b a s e d s i m il a r i t y t r a c k i n g to d e t ect po t e n t i a l si m il a r chun k s b y e x p l o i t i n g both l o g i c a l and ph y - s i c a l l o c a li t y, ( 2 ) l o c a li t y - a wa r e pr e f e t c h i n g to pr efe tc h ba se c hun ks to a vo i d ex t ra I/ Os fo r r e a d i n g ba s e chun ks on t h e w r i t e p at h , (3) c a che -aware fil t e r to avo i d ext r a I/Os f or b a se c hunk s on t he read p at h, a nd (4) i nver sed de l ta co mpressi on t o perf orm de lt a co mpress i o n fo r d at a chunk s t hat a re o th e r wi se f o r b i dd e n to s er ve as ba se c hunk s by r ew r i t i n g t e c hn i qu e s d e s i g n e d t o i m p r ove r es t o re pe rf o rma nc e. E x p e r i m e n t a l re su lts indi ca te t hat L oop D e l t a i ncr ea se s t he c o m pr e ss i o n r a t i o by 1 .2410 .97 t i m e s on t op of d e dup li c a - t i on , wi t hou t no t a b l y a ffe c t i n g th e ba ck up th rou ghpu t, a nd i t i m p r ove s t he res to re p er fo r m an ce b y 1.23.57 t i m e 

   more » « less