 Award ID(s):
 2050037
 NSFPAR ID:
 10454883
 Date Published:
 Journal Name:
 Journal für die reine und angewandte Mathematik (Crelles Journal)
 Volume:
 0
 Issue:
 0
 ISSN:
 00754102
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

Abstract Inspired by Lehmer’s conjecture on the nonvanishing of the Ramanujan $$\tau $$ τ function, one may ask whether an odd integer $$\alpha $$ α can be equal to $$\tau (n)$$ τ ( n ) or any coefficient of a newform f ( z ). Balakrishnan, Craig, Ono and Tsai used the theory of Lucas sequences and Diophantine analysis to characterize nonadmissible values of newforms of even weight $$k\ge 4$$ k ≥ 4 . We use these methods for weight 2 and 3 newforms and apply our results to L functions of modular elliptic curves and certain K 3 surfaces with Picard number $$\ge 19$$ ≥ 19 . In particular, for the complete list of weight 3 newforms $$f_\lambda (z)=\sum a_\lambda (n)q^n$$ f λ ( z ) = ∑ a λ ( n ) q n that are $$\eta $$ η products, and for $$N_\lambda $$ N λ the conductor of some elliptic curve $$E_\lambda $$ E λ , we show that if $$a_\lambda (n)<100$$  a λ ( n )  < 100 is odd with $$n>1$$ n > 1 and $$(n,2N_\lambda )=1$$ ( n , 2 N λ ) = 1 , then $$\begin{aligned} a_\lambda (n) \in&\{5,9,\pm 11,25, \pm 41, \pm 43, 45,\pm 47,49, \pm 53,55, \pm 59, \pm 61,\\&\pm 67, 69,\pm 71,\pm 73,75, \pm 79,\pm 81, \pm 83, \pm 89,\pm 93 \pm 97, 99\}. \end{aligned}$$ a λ ( n ) ∈ {  5 , 9 , ± 11 , 25 , ± 41 , ± 43 ,  45 , ± 47 , 49 , ± 53 , 55 , ± 59 , ± 61 , ± 67 ,  69 , ± 71 , ± 73 , 75 , ± 79 , ± 81 , ± 83 , ± 89 , ± 93 ± 97 , 99 } . Assuming the Generalized Riemann Hypothesis, we can rule out a few more possibilities leaving $$\begin{aligned} a_\lambda (n) \in \{5,9,\pm 11,25,45,49,55,69,75,\pm 81,\pm 93, 99\}. \end{aligned}$$ a λ ( n ) ∈ {  5 , 9 , ± 11 , 25 ,  45 , 49 , 55 ,  69 , 75 , ± 81 , ± 93 , 99 } .more » « less

Let p ∈ Z p\in {\mathbb {Z}} be an odd prime. We show that the fiber sequence for the cyclotomic trace of the sphere spectrum S {\mathbb {S}} admits an “eigensplitting” that generalizes known splittings on K K theory and T C TC . We identify the summands in the fiber as the covers of Z p {\mathbb {Z}}_{p} Anderson duals of summands in the K ( 1 ) K(1) localized algebraic K K theory of Z {\mathbb {Z}} . Analogous results hold for the ring Z {\mathbb {Z}} where we prove that the K ( 1 ) K(1) localized fiber sequence is selfdual for Z p {\mathbb {Z}}_{p} Anderson duality, with the duality permuting the summands by i ↦ p − i i\mapsto pi (indexed mod p − 1 p1 ). We explain an intrinsic characterization of the summand we call Z Z in the splitting T C ( Z ) p ∧ ≃ j ∨ Σ j ′ ∨ Z TC({\mathbb {Z}})^{\wedge }_{p}\simeq j \vee \Sigma j’\vee Z in terms of units in the p p cyclotomic tower of Q p {\mathbb {Q}}_{p} .more » « less

Abstract 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 nonrigorous replica method. We perform a higherorder analysis for LQLS in the smallerror 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.

Abstract The 4 N {4N} carpets are a class of infinitely ramified selfsimilar fractals with a large group of symmetries. For a 4 N {4N} carpet F , let { F n } n ≥ 0 {\{F_{n}\}_{n\geq 0}} be the natural decreasing sequence of compact prefractal approximations with ⋂ n F n = F {\bigcap_{n}F_{n}=F} . On each F n {F_{n}} , let ℰ ( u , v ) = ∫ F N ∇ u ⋅ ∇ v d x {\mathcal{E}(u,v)=\int_{F_{N}}\nabla u\cdot\nabla v\,dx} be the classical Dirichlet form and u n {u_{n}} be the unique harmonic function on F n {F_{n}} satisfying a mixed boundary value problem corresponding to assigning a constant potential between two specific subsets of the boundary. Using a method introduced by [M. T. Barlow and R. F. Bass,On the resistance of the Sierpiński carpet, Proc. Roy. Soc. Lond. Ser. A 431 (1990), no. 1882, 345–360], we prove a resistance estimate of the following form: there is ρ = ρ ( N ) > 1 {\rho=\rho(N)>1} such that ℰ ( u n , u n ) ρ n {\mathcal{E}(u_{n},u_{n})\rho^{n}} is bounded above and below by constants independent of n . Such estimates have implications for the existence and scaling properties of Brownian motion on F .more » « less

Let be a dominant rational selfmap of a smooth projective variety defined over $\overline{\mathbb{Q}}$ . For each point $P\in X(\overline{\mathbb{Q}})$ whose forward $f$ orbit is well defined, Silverman introduced the arithmetic degree $\unicode[STIX]{x1D6FC}_{f}(P)$ , which measures the growth rate of the heights of the points $f^{n}(P)$ . Kawaguchi and Silverman conjectured that $\unicode[STIX]{x1D6FC}_{f}(P)$ is well defined and that, as $P$ varies, the set of values obtained by $\unicode[STIX]{x1D6FC}_{f}(P)$ is finite. Based on constructions by Bedford and Kim and by McMullen, we give a counterexample to this conjecture when $X=\mathbb{P}^{4}$ .more » « less