More Like this

1. Uniform congruence counting for Schottky semigroups in SL2(𝐙)

   https://doi.org/10.1515/crelle-2016-0072  

   Magee, Michael ; Oh, Hee ; Winter, Dale ( August 2019 , Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract Let Γ be a Schottky semigroup in {\mathrm{SL}_{2}(\mathbf{Z})} ,and for {q\in\mathbf{N}} , let {\Gamma(q):=\{\gamma\in\Gamma:\gamma=e~{}(\mathrm{mod}~{}q)\}} be its congruence subsemigroupof level q . Let δ denote the Hausdorff dimension of the limit set of Γ.We prove the following uniform congruence counting theoremwith respect to the family of Euclidean norm balls {B_{R}} in {M_{2}(\mathbf{R})} of radius R :for all positive integer q with no small prime factors, \#(\Gamma(q)\cap B_{R})=c_{\Gamma}\frac{R^{2\delta}}{\#(\mathrm{SL}_{2}(%\mathbf{Z}/q\mathbf{Z}))}+O(q^{C}R^{2\delta-\epsilon}) as {R\to\infty} for some {c_{\Gamma}>0,C>0,\epsilon>0} which are independent of q .Our technique also applies to give a similar counting result for the continued fractions semigroup of {\mathrm{SL}_{2}(\mathbf{Z})} ,which arises in the study of Zaremba’s conjecture on continued fractions. 

   more » « less
2. Phase transition and higher order analysis of Lq regularization under dependence

   https://doi.org/10.1093/imaiai/iaae005  

   Huang, Hanwen ; Zeng, Peng ; Yang, Qinglong ( February 2024 , Information and Inference: A Journal of the IMA)

   We study the problem of estimating a $k$-sparse signal ${\boldsymbol \beta }_{0}\in{\mathbb{R}}^{p}$ from a set of noisy observations $\mathbf{y}\in{\mathbb{R}}^{n}$ under the model $\mathbf{y}=\mathbf{X}{\boldsymbol \beta }+w$, where $\mathbf{X}\in{\mathbb{R}}^{n\times p}$ is the measurement matrix the row of which is drawn from distribution $N(0,{\boldsymbol \varSigma })$. We consider the class of $L_{q}$-regularized least squares (LQLS) given by the formulation $\hat{{\boldsymbol \beta }}(\lambda )=\text{argmin}_{{\boldsymbol \beta }\in{\mathbb{R}}^{p}}\frac{1}{2}\|\mathbf{y}-\mathbf{X}{\boldsymbol \beta }\|^{2}_{2}+\lambda \|{\boldsymbol \beta }\|_{q}^{q}$, where $\|\cdot \|_{q}$  $(0\le q\le 2)$ denotes the $L_{q}$-norm. In the setting $p,n,k\rightarrow \infty $ with fixed $k/p=\epsilon $ and $n/p=\delta $, we derive the asymptotic risk of $\hat{{\boldsymbol \beta }}(\lambda )$ for arbitrary covariance matrix ${\boldsymbol \varSigma }$ that generalizes the existing results for standard Gaussian design, i.e. $X_{ij}\overset{i.i.d}{\sim }N(0,1)$. The results were derived from the non-rigorous replica method. We perform a higher-order analysis for LQLS in the small-error regime in which the first dominant term can be used to determine the phase transition behavior of LQLS. Our results show that the first dominant term does not depend on the covariance structure of ${\boldsymbol \varSigma }$ in the cases $0\le q\lt 1$ and $1\lt q\le 2,$ which indicates that the correlations among predictors only affect the phase transition curve in the case $q=1$ a.k.a. LASSO. To study the influence of the covariance structure of ${\boldsymbol \varSigma }$ on the performance of LQLS in the cases $0\le q\lt 1$ and $1\lt q\le 2$, we derive the explicit formulas for the second dominant term in the expansion of the asymptotic risk in terms of small error. Extensive computational experiments confirm that our analytical predictions are consistent with numerical results.

    

   more » « less
3. Almost Everywhere Behavior of Functions According to Partition Measures

   https://doi.org/10.1017/fms.2023.130  

   Chan, William ; Jackson, Stephen ; Trang, Nam ( January 2024 , Forum of Mathematics, Sigma)

   This paper will study almost everywhere behaviors of functions on partition spaces of cardinals possessing suitable partition properties. Almost everywhere continuity and monotonicity properties for functions on partition spaces will be established. These results will be applied to distinguish the cardinality of certain subsets of the power set of partition cardinals.

   The following summarizes the main results proved under suitable partition hypotheses.•

   If$\kappa $is a cardinal,$\epsilon < \kappa $,${\mathrm {cof}}(\epsilon ) = \omega $,$\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$and$\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then$\Phi $satisfies the almost everywhere short length continuity property: There is a club$C \subseteq \kappa $and a$\delta < \epsilon $so that for all$f,g \in [C]^\epsilon _*$, if$f \upharpoonright \delta = g \upharpoonright \delta $and$\sup (f) = \sup (g)$, then$\Phi (f) = \Phi (g)$.

   •

   If$\kappa $is a cardinal,$\epsilon $is countable,$\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$holds and$\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then$\Phi $satisfies the strong almost everywhere short length continuity property: There is a club$C \subseteq \kappa $and finitely many ordinals$\delta _0, ..., \delta _k \leq \epsilon $so that for all$f,g \in [C]^\epsilon _*$, if for all$0 \leq i \leq k$,$\sup (f \upharpoonright \delta _i) = \sup (g \upharpoonright \delta _i)$, then$\Phi (f) = \Phi (g)$.

   •

   If$\kappa $satisfies$\kappa \rightarrow _* (\kappa )^\kappa _2$,$\epsilon \leq \kappa $and$\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then$\Phi $satisfies the almost everywhere monotonicity property: There is a club$C \subseteq \kappa $so that for all$f,g \in [C]^\epsilon _*$, if for all$\alpha < \epsilon $,$f(\alpha ) \leq g(\alpha )$, then$\Phi (f) \leq \Phi (g)$.

   •

   Suppose dependent choice ($\mathsf {DC}$),${\omega _1} \rightarrow _* ({\omega _1})^{\omega _1}_2$and the almost everywhere short length club uniformization principle for${\omega _1}$hold. Then every function$\Phi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$satisfies a finite continuity property with respect to closure points: Let$\mathfrak {C}_f$be the club of$\alpha < {\omega _1}$so that$\sup (f \upharpoonright \alpha ) = \alpha $. There is a club$C \subseteq {\omega _1}$and finitely many functions$\Upsilon _0, ..., \Upsilon _{n - 1} : [C]^{\omega _1}_* \rightarrow {\omega _1}$so that for all$f \in [C]^{\omega _1}_*$, for all$g \in [C]^{\omega _1}_*$, if$\mathfrak {C}_g = \mathfrak {C}_f$and for all$i < n$,$\sup (g \upharpoonright \Upsilon _i(f)) = \sup (f \upharpoonright \Upsilon _i(f))$, then$\Phi (g) = \Phi (f)$.

   •

   Suppose$\kappa $satisfies$\kappa \rightarrow _* (\kappa )^\epsilon _2$for all$\epsilon < \kappa $. For all$\chi < \kappa $,$[\kappa ]^{<\kappa }$does not inject into${}^\chi \mathrm {ON}$, the class of$\chi $-length sequences of ordinals, and therefore,$|[\kappa ]^\chi | < |[\kappa ]^{<\kappa }|$. As a consequence, under the axiom of determinacy$(\mathsf {AD})$, these two cardinality results hold when$\kappa $is one of the following weak or strong partition cardinals of determinacy:${\omega _1}$,$\omega _2$,$\boldsymbol {\delta }_n^1$(for all$1 \leq n < \omega $) and$\boldsymbol {\delta }^2_1$(assuming in addition$\mathsf {DC}_{\mathbb {R}}$).

    

   more » « less
4. First measurement of the $$C\!P$$-violating phase in $${{B} ^0_{s}} \!\rightarrow {{J /\psi }} ($$ $$\rightarrow $$ $$e ^+e ^-$$)$$\phi $$ decays

   https://doi.org/10.1140/epjc/s10052-021-09711-7  

   Aaij, R. ; Abellán Beteta, C. ; Ackernley, T. ; Adeva, B. ; Adinolfi, M. ; Afsharnia, H. ; Aidala, C. A. ; Aiola, S. ; Ajaltouni, Z. ; Akar, S. ; et al ( November 2021 , The European Physical Journal C)

   Abstract A flavour-tagged time-dependent angular analysis of $${{B} ^0_{s}} \!\rightarrow {{J /\psi }} \phi $$ B s 0 → J / ψ ϕ decays is presented where the $${J /\psi }$$ J / ψ meson is reconstructed through its decay to an $$e ^+e ^-$$ e + e - pair. The analysis uses a sample of pp collision data recorded with the LHCb experiment at centre-of-mass energies of 7 and $$8\text {\,Te V} $$ 8 \,Te V , corresponding to an integrated luminosity of $$3 \text {\,fb} ^{-1} $$ 3 \,fb - 1 . The $$C\!P$$ C P -violating phase and lifetime parameters of the $${B} ^0_{s} $$ B s 0 system are measured to be $${\phi _{{s}}} =0.00\pm 0.28\pm 0.07\text {\,rad}$$ ϕ s = 0.00 ± 0.28 ± 0.07 \,rad , $${\Delta \Gamma _{{s}}} =0.115\pm 0.045\pm 0.011\text {\,ps} ^{-1} $$ Δ Γ s = 0.115 ± 0.045 ± 0.011 \,ps - 1 and $${\Gamma _{{s}}} =0.608\pm 0.018\pm 0.012\text {\,ps} ^{-1} $$ Γ s = 0.608 ± 0.018 ± 0.012 \,ps - 1 where the first uncertainty is statistical and the second systematic. This is the first time that $$C\!P$$ C P -violating parameters are measured in the $${{B} ^0_{s}} \!\rightarrow {{J /\psi }} \phi $$ B s 0 → J / ψ ϕ decay with an $$e ^+e ^-$$ e + e - pair in the final state. The results are consistent with previous measurements in other channels and with the Standard Model predictions. 

   more » « less
5. An Allard-type boundary regularity theorem for $2d$ minimizing currents at smooth curves with arbitrary multiplicity

   https://doi.org/10.1007/s10240-024-00144-y  

   De Lellis, Camillo ; Nardulli, Stefano ; Steinbrüchel, Simone ( February 2024 , Publications mathématiques de l'IHÉS)

   We consider integral area-minimizing 2-dimensional currents$T$$T$in$U\subset \mathbf {R}^{2+n}$$U\subset R^{2+n}$with$\partial T = Q\left [\!\![{\Gamma }\right ]\!\!]$$\partial T=Q〚\Gamma 〛$, where$Q\in \mathbf {N} \setminus \{0\}$$Q\in N\setminus \left\{0\right\}$and$\Gamma $$\Gamma$is sufficiently smooth. We prove that, if$q\in \Gamma $$q\in \Gamma$is a point where the density of$T$$T$is strictly below$\frac{Q+1}{2}$$\frac{Q+1}{2}$, then the current is regular at$q$$q$. The regularity is understood in the following sense: there is a neighborhood of$q$$q$in which$T$$T$consists of a finite number of regular minimal submanifolds meeting transversally at$\Gamma $$\Gamma$(and counted with the appropriate integer multiplicity). In view of well-known examples, our result is optimal, and it is the first nontrivial generalization of a classical theorem of Allard for$Q=1$$Q=1$. As a corollary, if$\Omega \subset \mathbf {R}^{2+n}$$\Omega \subset R^{2+n}$is a bounded uniformly convex set and$\Gamma \subset \partial \Omega $$\Gamma \subset \partial \Omega$a smooth 1-dimensional closed submanifold, then any area-minimizing current$T$$T$with$\partial T = Q \left [\!\![{\Gamma }\right ]\!\!]$$\partial T=Q〚\Gamma 〛$is regular in a neighborhood of $\Gamma $$\Gamma$.

    

   more » « less