On the Discrepancy of Point Distributions on Spheres and Hyperbolic Spaces

 Optimal lower bounds are given for the discrepancy of point distributions w.r.t. geodesic balls on spheres and hyperbolic spaces. The mean discrepancy is estimated below by using a non-commutative version of the Fourier transform method developed by Beck for Euclidean spaces. Received March 2, 2000; in revised form February 28, 2002 Published online August 19, 2002     

On subword decomposition and balanced polynomials

Let H(x) be a monic polynomial over a finite field F=GF(q). Denote by Na(n) the number of coefficients in Hn which are equal to an element a∈F, and by G the set of elements a∈F^× such that Na(n)>0 for some n. We study the relationship between the numbers (Na(n))_a∈G and the patterns in the base q representation of n. This enables us to prove that for “most” n's we have Na(n)≈Nb(n), a,b∈G. Considering the case H=x+1, we provide new results on Pascal's triangle modulo a prime. We also provide analogous results for the triangle of Stirling numbers of the first kind.     

Visible lattice points in the sphere

The number of visible (primitive) lattice points in the sphere of radius R is well approximated by . We consider an integral expression involving the error term E^∗(R), which leads to E^∗(R)=Ω(R(logR)^1/2). This is comparable to what is known in the sphere problem. We can avoid the use of the second power moment (which is in this case unknown) by employing an auxiliary trigonometric series correlated to E^∗(R). This approach to prove Ω-results seems to be new and could be useful in other problems.     

On the Littlewood cyclotomic polynomials

In this article, we study the cyclotomic polynomials of degree N−1 with coefficients restricted to the set {+1,−1}. By a cyclotomic polynomial we mean any monic polynomial with integer coefficients and all roots of modulus 1. By a careful analysis of the effect of Graeffe's root squaring algorithm on cyclotomic polynomials, P. Borwein and K.K. Choi gave a complete characterization of all cyclotomic polynomials with odd coefficients. They also proved that a polynomial p(x) with coefficients ±1 of even degree N−1 is cyclotomic if and only if p(x)=±Φp₁(±x)Φp₂(±xp₁)?Φpr(±xp₁p₂?pr−1), where N=p₁p₂?pr and the pi are primes, not necessarily distinct. Here is the pth cyclotomic polynomial. Based on substantial computation, they also conjectured that this characterization also holds for polynomials of odd degree with ±1 coefficients. We consider the conjecture for odd degree here. Using Ramanujan's sums, we solve the problem for some special cases. We prove that the conjecture is true for polynomials of degree α²pβ−1 with odd prime p or separable polynomials of any odd degree.     

On the lattice discrepancy of bodies of rotation with boundary points of curvature zero

This article gives an asymptotic result for the lattice point discrepancy of a large body of rotation in , whose boundary is piecewise smooth and contains points of vanishing Gaussian curvature. Received: 2 November 2006     

On characterized subgroups of compact abelian groups

Let X be a compact abelian group. A subgroup H of X   is called characterized if there exists a sequence u=(_un)$\mathbf{u}=(u_n)$ of characters of X   such that H=_su(X)$H=s_{\mathbf{u}}(X)$, where _su(X):={x∈X:(_un,x)→0 in T}$s_{\mathbf{u}}(X):=\{x\in X:(u_n,x)\to 0\text{in}\mathbb{T}\}$. Every characterized subgroup is an _Fσδ$F_{\sigma \delta }$-subgroup of X  . We show that every _Gδ$G_{\delta }$-subgroup of X is characterized. On the other hand, X   has non-characterized _Fσ$F_{\sigma }$-subgroups.     

Differential recursion relations for Laguerre functions on symmetric cones

Let Ω be a symmetric cone and V the corresponding simple Euclidean Jordan algebra. In our previous papers (some with G. Zhang) we considered the family of generalized Laguerre functions on Ω that generalize the classical Laguerre functions on R⁺. This family forms an orthogonal basis for the subspace of L-invariant functions in L²(Ω,dμν), where dμν is a certain measure on the cone and where L is the group of linear transformations on V that leave the cone Ω invariant and fix the identity in Ω. The space L²(Ω,dμν) supports a highest weight representation of the group G of holomorphic diffeomorphisms that act on the tube domain T(Ω)=Ω+iV. In this article we give an explicit formula for the action of the Lie algebra of G and via this action determine second order differential operators which give differential recursion relations for the generalized Laguerre functions generalizing the classical creation, preservation, and annihilation relations for the Laguerre functions on R⁺.     

Symmetric identities on Bernoulli polynomials

In this paper, we obtain a generalization of an identity due to Carlitz on Bernoulli polynomials. Then we use this generalized formula to derive two symmetric identities which reduce to some known identities on Bernoulli polynomials and Bernoulli numbers, including the Miki identity.     

Rational points near planar curves and Diophantine approximation

In this paper, we establish asymptotic formulae with optimal errors for the number of rational points that are close to a planar curve, which unify and extend the results of Beresnevich–Dickinson–Velani [6] and Vaughan–Velani [22]. Furthermore, we complete the Lebesgue theory of Diophantine approximation on weakly non-degenerate planar curves that was initially developed by Beresnevich–Zorin [5] in the divergence case.     

Approximation of fixed points for amenable semigroups of nonexpansive mappings in Banach spaces

The purpose of this paper is to study iterative schemes of Browder and Halpern types for a semigroup of nonexpansive mappings on a compact convex subset of a smooth (and strictly convex) Banach space with respect to a sequence of strongly asymptotic invariant means defined on an appropriate space of bounded real valued functions of the semigroup. Various applications to the additive semigroup of nonnegative real numbers and commuting pairs of nonexpansive mappings are also presented.     

Newman's phenomenon for generalized Thue-Morse sequences

Let t_j=(-1)^s(j) be the Thue-Morse sequence with s(j) denoting the sum of the digits in the binary expansion of j. A well-known result of Newman [On the number of binary digits in a multiple of three, Proc. Amer. Math. Soc. 21 (1969) 719-721] says that t₀+t₃+t₆+?+t_3k>0 for all k?0.In the first part of the paper we show that t₁+t₄+t₇+?+t_3k+1<0 and t₂+t₅+t₈+?+t_3k+2?0 for k?0, where equality is characterized by means of an automaton. This sharpens results given by Dumont [Discrépance des progressions arithmétiques dans la suite de Morse, C. R. Acad. Sci. Paris Sér. I Math. 297 (1983) 145-148]. In the second part we study more general settings. For a,g?2 let ω_a=exp(2πi/a) and , where s_g(j) denotes the sum of digits in the g-ary digit expansion of j. We observe trivial Newman-like phenomena whenever a|(g-1). Furthermore, we show that the case a=2 inherits many Newman-like phenomena for every even g?2 and large classes of arithmetic progressions of indices. This, in particular, extends results by Drmota and Ska?ba [Rarified sums of the Thue-Morse sequence, Trans. Amer. Math. Soc. 352 (2000) 609-642] to the general g-case.     

On spherical expansions of zonal functions on Euclidean spheres

This paper describes a new approach to the problem of computing spherical expansions of zonal functions on Euclidean spheres. We derive an explicit formula for the coefficients of the expansion expressing them in terms of the Taylor coefficients of the profile function rather than (as done usually) in terms of its integrals against Gegenbauer polynomials. Our proof of this result is based on a polynomial identity equivalent to the canonical decomposition of homogeneous polynomials and uses only basic properties of this decomposition together with simple facts concerning zonal harmonic polynomials. As corollaries, we obtain direct and apparently new derivations of the so-called plane wave expansion and of the expansion of the Poisson kernel for the unit ball. Received: 26 January 2007     

Some metric properties on the GCF fraction expansion

In Schweiger (2003) [1], Fritz Schweiger introduced the algorithm of the generalized continued fraction (GCF), and in Zhong (2008) [2], T. Zhong studied some basic metric properties of the GCF. In this paper, under the restriction of −1<ε(k)?1, the “0-1” law and the central limit theorem of quotients in the GCF expansions are studied.     

Moment conditions and support theorems for Radon transforms on affine Grassmann manifolds

Let G(p,n) and G(q,n) be the affine Grassmann manifolds of p- and q-planes in Rⁿ, respectively, and let be the Radon transform from smooth functions on G(p,n) to smooth functions on G(q,n) arising from the inclusion incidence relation. When p<q and dimG(p,n)=dimG(p,n), we present a range characterization theorem for via moment conditions. We then use this range result to prove a support theorem for . This complements a previous range characterization theorem for via differential equations when dimG(p,n)<dimG(p,n). We also present a support theorem in this latter case.     

On the p-adic L-function of Hilbert modular forms at supersingular primes

In this paper, I discuss the construction of the p-adic L-function attached to a Hilbert modular form f, supersingular or ordinary, which turns out to be the non-archimedean Mellin transform of an h-admissible measure. And h is explicitly given. As a special case, when the Fourier coefficient of f at p|p is zero, plus/minus p-adic L-functions are furthermore defined as bounded functions, and they interpolate special values of L(f,χ,s) for cyclotomic characters χ. This can be used to formulate Iwasawa main conjecture for supersingular elliptic curve defined over a totally real field.     

Effective equidistribution and the Sato-Tate law for families of elliptic curves

Text

Extending recent work of others, we provide effective bounds on the family of all elliptic curves and one-parameter families of elliptic curves modulo p (for p prime tending to infinity) obeying the Sato-Tate law. We present two methods of proof. Both use the framework of Murty and Sinha (2009) [MS]; the first involves only knowledge of the moments of the Fourier coefficients of the L-functions and combinatorics, and saves a logarithm, while the second requires a Sato-Tate law. Our purpose is to illustrate how the caliber of the result depends on the error terms of the inputs and what combinatorics must be done.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=faW2iDpe5IE.     

Twisted Hecke L-values and period polynomials

Let f₁,…,fd be an orthogonal basis for the space of cusp forms of even weight 2k on Γ₀(N). Let L(fi,s) and L(fi,χ,s) denote the L-function of fi and its twist by a Dirichlet character χ, respectively. In this note, we obtain a “trace formula” for the values at integers m and n with 0<m,n<2k and proper parity. In the case N=1 or N=2, the formula gives us a convenient way to evaluate precisely the value of the ratio L(f,χ,m)/L(f,n) for a Hecke eigenform f.     

On the number of unique expansions in non-integer bases

Let q>1 be a real number and let m=m(q) be the largest integer smaller than q. It is well known that each number can be written as with integer coefficients 0?ci<q. If q is a non-integer, then almost every x∈Jq has continuum many expansions of this form. In this note we consider some properties of the set Uq consisting of numbers x∈Jq having a unique representation of this form. More specifically, we compare the size of the sets Uq and Ur for values q and r satisfying 1<q<r and m(q)=m(r).     

On consecutive happy numbers

Let e?1 and b?2 be integers. For a positive integer with 0?aj<b, define