A generalization of Cohen- Eisenstein series and Shimura liftings and some congruences between Cusp forms and Eisenstein series

In this paper we introduce some modular forms of half-integral weight on congruence group Г_o(4N) withN an odd positive integer which can be viewed as a natural generalization of Cohen-Eisenstein series. Using these series, we can prove that the restriction of Shimura lifting on Eisenstein spaceE _k+1/2 ⁺ (4N,χl) gives an isomorphism fromE _k+1/2 ⁺ (4N,χl) toE _2k(N). We consider some congruence relationships between modular forms in use of Shimura lifting.     

The dispersion of the Hammersley Sequence in the unit square

The notion of dispersion, a measure of denseness of sequences, plays an important role in quasi-Monte Carlo optimization. In this paper, we obtain an explicit formula for the dispersion of an important low dispersion sequence, namely the Hammersley Sequence in the unit square. The dispersiond _M of theM points of this sequence, whereM=2^N withN a positive integer is given by $$d_M = \frac{{\sqrt {2M - 2\sqrt M + 1} }}{M},if N is even, d_M = \frac{{\sqrt {\left( {5/2} \right)M - \sqrt {8M} + 1} }}{M},if N is odd.$$ .     

Schur–Weyl duality over finite fields

We prove a version of the Schur–Weyl duality over finite fields. We prove that for any field k, if k has at least r + 1 elements, the Schur–Weyl duality holds for the rth tensor power of a finite dimensional vector space V. Moreover, if the dimension of V is at least r + 1, the natural map ${{k\mathfrak{S}_r \to \mathsf{End}_{{\rm GL}(V)}(V^{\otimes r})}}We prove a version of the Schur–Weyl duality over finite fields. We prove that for any field k, if k has at least r + 1 elements, the Schur–Weyl duality holds for the rth tensor power of a finite dimensional vector space V. Moreover, if the dimension of V is at least r + 1, the natural map k\mathfrakS_r ? End_GL(V)(V^?r){{k\mathfrak{S}_r \to \mathsf{End}_{{\rm GL}(V)}(V^{\otimes r})}} is an isomorphism. This isomorphism may fail if dim _k V is not strictly larger than r.     

Remarks on a sine polynomial

Let n ≥ 0 be an integer. Then we have for ${x\in(0,\pi)}Let n ≥ 0 be an integer. Then we have for x ? (0,p){x\in(0,\pi)} :

?k=0n (( 2n+1) || (n-k ))\fracsin((2k+1)x)2k+1 ￡ \frac8n  n!(2n+1)!!.\sum_{k=0}^n { 2n+1 \choose n-k }\frac{\sin((2k+1)x)}{2k+1}\leq\frac{8^n \, n!}{(2n+1)!!}.      5. A canonical subspace of modular forms of half-integral weight      Sanoli Gun  M. Manickam  B. Ramakrishnan 《Mathematische Annalen》2010,347(4):899-916 We characterise the space of newforms of weight k + 1/2 on Γ0(4N), N odd and square-free (studied by the second and third authors with Vasudevan) under the Atkin-Lehner W(4) operator. As an application, we show that the (±1)-eigensubspaces of the W(4) operator on the space of modular forms of weight k + 1/2 on Γ0(4N) is mapped to modular forms of weight 2k on Γ0(N), under a class of Shimura maps. The existence of such subspaces having this mapping property was conjectured by Zagier in a private communication. One of the special features of the (±1)-eigensubspaces is that the (2k + 1)-th power of the classical theta series of weight 1/2 belongs to the +  eigensubspace and hence this gives interesting congruences for r 2k+1(p 2).      6. Spectral theorem for multipliers on {L_{\omega}^{2}(\mathbb{R})}      Violeta Petkova 《Archiv der Mathematik》2009,93(4):357-368 We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces ${L_{\omega}^{2}(\mathbb{R})}We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces Lw2(\mathbbR){L_{\omega}^{2}(\mathbb{R})} For operators M in the algebra generated by the convolutions with f ? Cc(\mathbb R){\phi \in {C_c(\mathbb {R})}} we show that [`(m(W))] = s(M){\overline{\mu(\Omega)} = \sigma(M)}, where the set Ω is determined by the spectrum of the shift S and μ is the symbol of M. For the general multipliers M we establish that [`(m(W))]{\overline{\mu(\Omega)}} is included in σ(M). A generalization of these results is given for the weighted spaces L2w(\mathbb Rk){L^2_{\omega}(\mathbb {R}^{k})} where the weight ω has a special form.      7. Inclusion-exclusion inequalities      Melvin Hausner 《Combinatorica》1985,5(3):215-225 Ifμ is a positive measure, andA 2, ...,A n are measurable sets, the sequencesS 0, ...,S n andP [0], ...,P [n] are related by the inclusion-exclusion equalities. Inequalities among theS i are based on the obviousP [k]≧0. Letting =the average average measure of the intersection ofk of the setsA i , it is shown that (−1) k Δ k M i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS 0=1, whenS 1≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM 0, ...,M n of sufficiently large length if and only if for 0<t<1.      8. Spectral decomposition and Gelfand’s theorem      A. Driouich  O. El-Mennaoui  M. Jazar 《Semigroup Forum》2010,80(3):391-404 We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={ilk;k ? \mathbb\mathbbZ*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|lk|ldkn < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and dk=min(\frac|lk+1-lk|2,\frac|lk-1-lk|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (Pk)k ? \mathbb\mathbbZ*(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A n+ℓ ), the decomposition ∑P k x=x holds.      9. Rigidity theorems for hypersurfaces with constant mean curvature      Josué Meléndez 《Bulletin of the Brazilian Mathematical Society》2014,45(3):385-404 Let M n be a compact oriented hypersurface of a unit sphere \(\mathbb{S}^{n + 1} \) (1) with constant mean curvature H. Given an integer k between 2 and n ? 1, we introduce a tensor ? related to H and to the second fundamental form A of M, and show that if |?|2 ≤ B H,k and tr(? 3) ≤ C n,k |?|3, where B H,k and C n,k are numbers depending only on H, n and k, then either |?|2 ≡ 0 or |?|2 ≡ B H,k . We characterize all M n with |?|2 ≡ B H,k . We also prove that if \(\left| A \right|^2 \leqslant 2\sqrt {k(n - k)}\) and tr(? 3) ≤ C n,k |?|3 then |A|2 is constant and characterize all M n with |A|2 in the interval \(\left[ {0,2\sqrt {k\left( {n - k} \right)} } \right] \) . We also study the behavior of |?|2, with the condition additional tr(? 3) ≤ C n,k |?|3, for complete hypersurfaces with constant mean curvature immersed in space forms and show that if sup M |?|2 = B H,k and this supremum is attained in M n then M n is an isoparametric hypersurface with two distinct principal curvatures of multiplicities k y n ? k. Finally, we use rotation hypersurfaces to show that the condition on the trace of ? 3 is necessary in our results; more precisely, for each integer k with 2 ≤ k ≤ n ? 1 and \(H \geqslant 1/\sqrt {2n - 1} \) there is a complete hypersurface M n in \(\mathbb{S}^{n + 1} \) (1) with constant mean curvature H such that sup M |?|2 = B H,k , and this supremum is attained in M n , and which is not a product of spheres.      10. Normality of meromorphic functions whose derivatives have 1-points      Jianming Chang 《Archiv der Mathematik》2010,94(6):555-564 Let k be a positive integer and let ${\mathcal F}Let k be a positive integer and let F{\mathcal F} be a family of functions meromorphic in a plane domain D, all of whose zeros have multiplicity at least k + 3. If there exists a subset E of D which has no accumulation points in D such that for each function f ? F{f\in\mathcal F}, f (k)(z) − 1 has no zeros in D\E{D\setminus E}, then F{\mathcal F} is normal. The number k + 3 is sharp. The proof uses complex dynamics.      11. Construction of nonseparable orthonormal compactly supported wavelet bases for L2（Rd）      YANG  Shou-zhi LIN  Jun-hong 《高校应用数学学报(英文版)》2012,27(2):205-224 Suppose M and N are two r × r and s × s dilation matrices,respectively.Let ΓM and ΓN represent the complete sets of representatives of distinct cosets of the quotient groups M-TZr/Zr and N-TZs/Zs,respe...      12. Some applications of Montgomery's sieve      R.C. Vaughan 《Journal of Number Theory》1973,5(1):64-79 Artin has conjectured that every positive integer not a perfect square is a primitive root for some odd prime. A new estimate is obtained for the number of integers in the interval [M + 1, M + N] which are not primitive roots for any odd prime, improving on a theorem of Gallagher.Erd?s has conjectured that 7, 15, 21, 45, 75, and 105 are the only values of the positive integer n for which n ? 2k is prime for every k with 1 ≤ k ≤ log2n. An estimate is proved for the number of such n ≤ N.      13. On Surface Attractors and Repellers in 3-Manifolds      V. Z. Grines  V. S. Medvedev  E. V. Zhuzhoma 《Mathematical Notes》2005,78(5-6):757-767 We show that if f: M 3 → M 3 is an A diffeomorphism with a surface two-dimensional attractor or repeller $\mathcal{B}$ with support $M_\mathcal{B}^2$ , then $\mathcal{B} = M_\mathcal{B}^2$ and there exists a k ≥ 1 such that (1) $M_\mathcal{B}^2$ is the disjoint union M 1 2 ? ? ? M k 2 of tame surfaces such that each surface M i 2 is homeomorphic to the 2-torus T 2; (2) the restriction of f k to M i 2 , i ∈ {1,..., k}, is conjugate to an Anosov diffeomorphism of the torus T 2.      14. Length of Geodesics and Quantitative Morse Theory on Loop Spaces      Alexander Nabutovsky  Regina Rotman 《Geometric And Functional Analysis》2013,23(1):367-414 Let M n be a closed Riemannian manifold of diameter d. Our first main result is that for every two (not necessarily distinct) points ${p,q \in M^n}$ and every positive integer k there are at least k distinct geodesics connecting p and q of length ${\leq 4nk^2d}$ . We demonstrate that all homotopy classes of M n can be represented by spheres swept-out by “short” loops unless the length functional has “many” “deep” local minima of a “small” length on the space ${\Omega_{pq}M^n}$ of paths connecting p and q. For example, one of our results implies that for every positive integer k there are two possibilities: Either the length functional on ${\Omega_{pq} M^n}$ has k distinct non-trivial local minima with length ${\leq 2kd}$ and “depth” ${\geq 2d}$ ; or for every m every map of S m into ${\Omega_{pq}M^n}$ is homotopic to a map of S m into the subspace ${\Omega_{pq}^{4(k+2)(m+1)d}M^n}$ of ${\Omega_{pq}M^n}$ that consists of all paths of length ${\leq 4(k+2)(m+1)d}$ .      15. Equidistribution of Hecke Eigenforms on the Arithmetic Surface Γ0(N)\H      Yuk-Kam Lau 《Journal of Number Theory》2002,96(2):400-416 Given the orthonormal basis of Hecke eigenforms in S2k(Γ(1)), Luo established an associated probability measure dμk on the modular surface Γ(1)\H that tends weakly to the invariant measure on Γ(1)\H. We generalize his result to the arithmetic surface Γ0(N)\H where N?1 is square-free      16. Binomial coefficients, Catalan numbers and Lucas quotients      ZhiWei Sun 《中国科学 数学(英文版)》2010,53(9):2473-2488 Let p be an odd prime and let a,m ∈ Z with a 0 and p ︱ m.In this paper we determinep ∑k=0 pa-1(2k k=d)/mk mod p2 for d=0,1;for example,where(-) is the Jacobi symbol and {un}n≥0 is the Lucas sequence given by u0 = 0,u1 = 1 and un+1 =(m-2)un-un-1(n = 1,2,3,...).As an application,we determine ∑0kpa,k≡r(mod p-1) Ck modulo p2 for any integer r,where Ck denotes the Catalan number 2kk /(k + 1).We also pose some related conjectures.      17. Lucas's criterion for the primality of numbers of the form N = h2n−1      S. B. Stechkin 《Mathematical Notes》1971,10(3):578-584 The following theorem is proved. Let N = h2n-1, where n ≥ 2, h is odd, 1 <-h < 2n, and suppose that v is a positive integer, v ≥ 3,α is a root of the equation $$(v^2 - 4,N) = 1,\left( {\frac{{v - 2}}{N}} \right) = 1,\left( {\frac{{v + 2}}{N}} \right) = - 1$$ . Then for N to be prime, it is necessary and sufficient that sn?2≡0(modN), where Sk+1=S k 2 ? 2 (k = 0, 1...), so=ah+ a?h. For given N, an algorithm is described for the construction of the smallest v satisfying the conditions of this theorem.      18. Contractible Edges in k-Connected Graphs with Some Forbidden Subgraphs      Yingqiu Yang  Liang Sun 《Graphs and Combinatorics》2014,30(6):1607-1614 In 2001, Kawarabayashi proved that for any odd integer k ≥ 3, if a k-connected graph G is \({K^{-}_{4}}\) -free, then G has a k-contractible edge. He pointed out, by a counterexample, that this result does not hold when k is even. In this paper, we have proved the following two results on the subject: (1) For any even integer k ≥ 4, if a k-connected graph G is \({K_{4}^{-}}\) -free and d G (x) + d G (y) ≥ 2k + 1 hold for every two adjacent vertices x and y of V(G), then G has a k-contractible edge. (2) Let t ≥ 3, k ≥ 2t – 1 be integers. If a k-connected graph G is \({(K_{1}+(K_{2} \cup K_{1, t}))}\) -free and d G (x) + d G (y) ≥ 2k + 1 hold for every two adjacent vertices x and y of V(G), then G has a k-contractible edge.      19. Fast Growing Solutions of Linear Differential Equations in the Unit Disc      Janne Heittokangas  Risto Korhonen  Jouni Rättyä 《Results in Mathematics》2006,49(3-4):265-278 For $n \in \mathbb{N}$ , the n-order of an analytic function f in the unit disc D is defined by $$\sigma _{{{M,n}}} (f) = {\mathop {\lim \sup }\limits_{r \to 1^{ - } } }\frac{{\log ^{ + }_{{n + 1}} M(r,f)}} {{ - \log (1 - r)}},$$ where log+ x  =  max{log x, 0}, log + 1 x  =  log + x, log + n+1 x  =  log + log + n x, and M(r, f) is the maximum modulus of f on the circle of radius r centered at the origin. It is shown, for example, that the solutions f of the complex linear differential equation $$f^{{(k)}} + a_{{k - 1}} (z)f^{{(k - 1)}} + \cdots + a_{1} (z)f^{\prime} + a_{0} (z)f = 0,\quad \quad \quad (\dag)$$ where the coefficients are analytic in D, satisfy σ M,n+1(f)  ≤  α if and only if σ M,n (a j )  ≤  α for all j  =  0, ..., k ? 1. Moreover, if q ∈{0, ..., k ? 1} is the largest index for which $\sigma _{M,n} ( a_{q}) = {\mathop {\max }\limits_{0 \leq j \leq k - 1} }{\left\{ {\sigma _{{M,n}} {\left( {a_{j} } \right)}} \right\}}$ , then there are at least k ? q linearly independent solutions f of ( $\dag$ ) such that σ M,n+1(f) = σ M,n (a q ). Some refinements of these results in terms of the n-type of an analytic function in D are also given.      20. Negacyclic codes over Galois rings of characteristic 2 a      ShiXin Zhu  XiaoShan Kai 《中国科学 数学(英文版)》2012,55(4):869-879 We investigate negacyclic codes over the Galois ring GR(2 a ,m) of length N = 2 k n,where n is odd and k 0.We first determine the structure of u-constacyclic codes of length n over the finite chain ring GR(2 a ,m)[u]/ u 2 k + 1 .Then using a ring isomorphism we obtain the structure of negacyclic codes over GR(2 a ,m) of length N = 2 k n (n odd) and explore the existence of self-dual negacyclic codes over GR(2 a ,m).A bound for the homogeneous distance of such negacyclic codes is also given.

A canonical subspace of modular forms of half-integral weight

We characterise the space of newforms of weight k + 1/2 on Γ₀(4N), N odd and square-free (studied by the second and third authors with Vasudevan) under the Atkin-Lehner W(4) operator. As an application, we show that the (±1)-eigensubspaces of the W(4) operator on the space of modular forms of weight k + 1/2 on Γ₀(4N) is mapped to modular forms of weight 2k on Γ₀(N), under a class of Shimura maps. The existence of such subspaces having this mapping property was conjectured by Zagier in a private communication. One of the special features of the (±1)-eigensubspaces is that the (2k + 1)-th power of the classical theta series of weight 1/2 belongs to the +  eigensubspace and hence this gives interesting congruences for r _2k+1(p ²).     

Spectral theorem for multipliers on {L_{\omega}^{2}(\mathbb{R})}

We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces ${L_{\omega}^{2}(\mathbb{R})}We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces L_w²(\mathbbR){L_{\omega}^{2}(\mathbb{R})} For operators M in the algebra generated by the convolutions with f ? C_c(\mathbb R){\phi \in {C_c(\mathbb {R})}} we show that [`(m(W))] = s(M){\overline{\mu(\Omega)} = \sigma(M)}, where the set Ω is determined by the spectrum of the shift S and μ is the symbol of M. For the general multipliers M we establish that [`(m(W))]{\overline{\mu(\Omega)}} is included in σ(M). A generalization of these results is given for the weighted spaces L²_w(\mathbb R^k){L^2_{\omega}(\mathbb {R}^{k})} where the weight ω has a special form.     

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.     

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

Rigidity theorems for hypersurfaces with constant mean curvature

Let M ⁿ be a compact oriented hypersurface of a unit sphere \(\mathbb{S}^{n + 1} \) (1) with constant mean curvature H. Given an integer k between 2 and n ? 1, we introduce a tensor ? related to H and to the second fundamental form A of M, and show that if |?|² ≤ B _H,k and tr(? ³) ≤ C _n,k |?|³, where B _H,k and C _n,k are numbers depending only on H, n and k, then either |?|² ≡ 0 or |?|² ≡ B _H,k . We characterize all M ⁿ with |?|² ≡ B _H,k . We also prove that if \(\left| A \right|^2 \leqslant 2\sqrt {k(n - k)}\) and tr(? ³) ≤ C _n,k |?|³ then |A|² is constant and characterize all M ⁿ with |A|² in the interval \(\left[ {0,2\sqrt {k\left( {n - k} \right)} } \right] \) . We also study the behavior of |?|², with the condition additional tr(? ³) ≤ C _n,k |?|³, for complete hypersurfaces with constant mean curvature immersed in space forms and show that if sup _M |?|² = B _H,k and this supremum is attained in M ⁿ then M ⁿ is an isoparametric hypersurface with two distinct principal curvatures of multiplicities k y n ? k. Finally, we use rotation hypersurfaces to show that the condition on the trace of ? ³ is necessary in our results; more precisely, for each integer k with 2 ≤ k ≤ n ? 1 and \(H \geqslant 1/\sqrt {2n - 1} \) there is a complete hypersurface M ⁿ in \(\mathbb{S}^{n + 1} \) (1) with constant mean curvature H such that sup _M |?|² = B _H,k , and this supremum is attained in M ⁿ , and which is not a product of spheres.     

Normality of meromorphic functions whose derivatives have 1-points

Let k be a positive integer and let ${\mathcal F}Let k be a positive integer and let F{\mathcal F} be a family of functions meromorphic in a plane domain D, all of whose zeros have multiplicity at least k + 3. If there exists a subset E of D which has no accumulation points in D such that for each function f ? F{f\in\mathcal F}, f ^(k)(z) − 1 has no zeros in D\E{D\setminus E}, then F{\mathcal F} is normal. The number k + 3 is sharp. The proof uses complex dynamics.     

Construction of nonseparable orthonormal compactly supported wavelet bases for L2（Rd）

Suppose M and N are two r × r and s × s dilation matrices,respectively.Let ΓM and ΓN represent the complete sets of representatives of distinct cosets of the quotient groups M-TZr/Zr and N-TZs/Zs,respe...     

Some applications of Montgomery's sieve

Artin has conjectured that every positive integer not a perfect square is a primitive root for some odd prime. A new estimate is obtained for the number of integers in the interval [M + 1, M + N] which are not primitive roots for any odd prime, improving on a theorem of Gallagher.Erd?s has conjectured that 7, 15, 21, 45, 75, and 105 are the only values of the positive integer n for which n ? 2^k is prime for every k with 1 ≤ k ≤ log₂n. An estimate is proved for the number of such n ≤ N.     

On Surface Attractors and Repellers in 3-Manifolds

We show that if f: M ³ → M ³ is an A diffeomorphism with a surface two-dimensional attractor or repeller $\mathcal{B}$ with support $M_\mathcal{B}^2$ , then $\mathcal{B} = M_\mathcal{B}^2$ and there exists a k ≥ 1 such that (1) $M_\mathcal{B}^2$ is the disjoint union M ₁ ² ? ? ? M _k ² of tame surfaces such that each surface M _i ² is homeomorphic to the 2-torus T ²; (2) the restriction of f ^k to M _i ² , i ∈ {1,..., k}, is conjugate to an Anosov diffeomorphism of the torus T ².     

Length of Geodesics and Quantitative Morse Theory on Loop Spaces

Let M ⁿ be a closed Riemannian manifold of diameter d. Our first main result is that for every two (not necessarily distinct) points ${p,q \in M^n}$ and every positive integer k there are at least k distinct geodesics connecting p and q of length ${\leq 4nk^2d}$ . We demonstrate that all homotopy classes of M ⁿ can be represented by spheres swept-out by “short” loops unless the length functional has “many” “deep” local minima of a “small” length on the space ${\Omega_{pq}M^n}$ of paths connecting p and q. For example, one of our results implies that for every positive integer k there are two possibilities: Either the length functional on ${\Omega_{pq} M^n}$ has k distinct non-trivial local minima with length ${\leq 2kd}$ and “depth” ${\geq 2d}$ ; or for every m every map of S ^m into ${\Omega_{pq}M^n}$ is homotopic to a map of S ^m into the subspace ${\Omega_{pq}^{4(k+2)(m+1)d}M^n}$ of ${\Omega_{pq}M^n}$ that consists of all paths of length ${\leq 4(k+2)(m+1)d}$ .     

Equidistribution of Hecke Eigenforms on the Arithmetic Surface Γ0(N)\H

Given the orthonormal basis of Hecke eigenforms in S_2k(Γ(1)), Luo established an associated probability measure dμ_k on the modular surface Γ(1)\H that tends weakly to the invariant measure on Γ(1)\H. We generalize his result to the arithmetic surface Γ₀(N)\H where N?1 is square-free     

Binomial coefficients, Catalan numbers and Lucas quotients

Let p be an odd prime and let a,m ∈ Z with a 0 and p ︱ m.In this paper we determinep ∑k=0 pa-1(2k k=d)/mk mod p2 for d=0,1;for example,where(-) is the Jacobi symbol and {un}n≥0 is the Lucas sequence given by u0 = 0,u1 = 1 and un+1 =(m-2)un-un-1(n = 1,2,3,...).As an application,we determine ∑0kpa,k≡r(mod p-1) Ck modulo p2 for any integer r,where Ck denotes the Catalan number 2kk /(k + 1).We also pose some related conjectures.     

Lucas's criterion for the primality of numbers of the form N = h2n−1

The following theorem is proved. Let N = h2ⁿ-1, where n ≥ 2, h is odd, 1 <-h < 2ⁿ, and suppose that v is a positive integer, v ≥ 3,α is a root of the equation $$(v^2 - 4,N) = 1,\left( {\frac{{v - 2}}{N}} \right) = 1,\left( {\frac{{v + 2}}{N}} \right) = - 1$$ . Then for N to be prime, it is necessary and sufficient that s_n?2≡0(modN), where S_k+1=S _k ² ? 2 (k = 0, 1...), s_o=a^h+ a^?h. For given N, an algorithm is described for the construction of the smallest v satisfying the conditions of this theorem.     

Contractible Edges in k-Connected Graphs with Some Forbidden Subgraphs

In 2001, Kawarabayashi proved that for any odd integer k ≥ 3, if a k-connected graph G is \({K^{-}_{4}}\) -free, then G has a k-contractible edge. He pointed out, by a counterexample, that this result does not hold when k is even. In this paper, we have proved the following two results on the subject: (1) For any even integer k ≥ 4, if a k-connected graph G is \({K_{4}^{-}}\) -free and d _G (x) + d _G (y) ≥ 2k + 1 hold for every two adjacent vertices x and y of V(G), then G has a k-contractible edge. (2) Let t ≥ 3, k ≥ 2t – 1 be integers. If a k-connected graph G is \({(K_{1}+(K_{2} \cup K_{1, t}))}\) -free and d _G (x) + d _G (y) ≥ 2k + 1 hold for every two adjacent vertices x and y of V(G), then G has a k-contractible edge.     

Fast Growing Solutions of Linear Differential Equations in the Unit Disc

For $n \in \mathbb{N}$ , the n-order of an analytic function f in the unit disc D is defined by $$\sigma _{{{M,n}}} (f) = {\mathop {\lim \sup }\limits_{r \to 1^{ - } } }\frac{{\log ^{ + }_{{n + 1}} M(r,f)}} {{ - \log (1 - r)}},$$ where log⁺ x  =  max{log x, 0}, log ⁺ ₁ x  =  log ⁺ x, log ⁺ _n+1 x  =  log ⁺ log ⁺ _n x, and M(r, f) is the maximum modulus of f on the circle of radius r centered at the origin. It is shown, for example, that the solutions f of the complex linear differential equation $$f^{{(k)}} + a_{{k - 1}} (z)f^{{(k - 1)}} + \cdots + a_{1} (z)f^{\prime} + a_{0} (z)f = 0,\quad \quad \quad (\dag)$$ where the coefficients are analytic in D, satisfy σ _M,n+1(f)  ≤  α if and only if σ _M,n (a _j )  ≤  α for all j  =  0, ..., k ? 1. Moreover, if q ∈{0, ..., k ? 1} is the largest index for which $\sigma _{M,n} ( a_{q}) = {\mathop {\max }\limits_{0 \leq j \leq k - 1} }{\left\{ {\sigma _{{M,n}} {\left( {a_{j} } \right)}} \right\}}$ , then there are at least k ? q linearly independent solutions f of ( $\dag$ ) such that σ _M,n+1(f) = σ _M,n (a _q ). Some refinements of these results in terms of the n-type of an analytic function in D are also given.     

Negacyclic codes over Galois rings of characteristic 2 a

We investigate negacyclic codes over the Galois ring GR(2 a ,m) of length N = 2 k n,where n is odd and k 0.We first determine the structure of u-constacyclic codes of length n over the finite chain ring GR(2 a ,m)[u]/ u 2 k + 1 .Then using a ring isomorphism we obtain the structure of negacyclic codes over GR(2 a ,m) of length N = 2 k n (n odd) and explore the existence of self-dual negacyclic codes over GR(2 a ,m).A bound for the homogeneous distance of such negacyclic codes is also given.