Continued fraction and decimal expansions of an irrational number

For an irrational number x and n?1, we denote by kn(x) the exact number of partial quotients in the continued fraction expansion of x given by the first n decimals of x and pn(x)/qn(x) the nth convergent of x. Let

     

On the parity of the partition function

Let N be the set of all positive integers and D a subset of N. Let p(D,n) be the number of partitions of n with parts in D and let |D(x)| denote the number of elements of D not exceeding x. It is proved that if D is an infinite subset of N such that p(D,n) is even for all n?n₀, then |D(x)|?logx/log2−logn₀/log2. Moreover, if D is an infinite subset of N such that p(D,n) is odd for all n?n₀ and , then |D(x)|?logx/log2−logn₀/log2. These lower bounds are essentially the best possible.     

Integers with dense divisors 2

Let 1=d₁(n)<d₂(n)<?<d_τ(n)=n be the sequence of all positive divisors of the integer n in increasing order. We say that the divisors of n are t-dense iff max_1?i<τ(n)d_i+1(n)/d_i(n)?t. Let D(x,t) be the number of positive integers not exceeding x whose divisors are t-dense. We show that for x?3, and , we have , where , and d(w) is a continuous function which satisfies d(w)?1/w for w?1. We also consider other counting functions closely related to D(x,t).     

Upper bounds on n-dimensional Kloosterman sums

Let p^m be any prime power and K_n(a,p^m) be the Kloosterman sum , where the x_i are restricted to values not divisible by p. Let m,n be positive integers with m?2 and suppose that p^γ||(n+1). We obtain the upper bound , for odd p. For p=2 we obtain the same bound, with an extra factor of 2 inserted.     

Legendre polynomials and complex multiplication, I

The factorization of the Legendre polynomial of degree (p−e)/4, where p is an odd prime, is studied over the finite field Fp. It is shown that this factorization encodes information about the supersingular elliptic curves in Legendre normal form which admit the endomorphism , by proving an analogue of Deuring's theorem on supersingular curves with multiplier . This is used to count the number of irreducible binomial quadratic factors of P(p−e)/4(x) over Fp in terms of the class number h(−2p).     

On the prime power factorization of n!

For a fixed prime q, let eq(n) denote the order of q in the prime factorization of n!. For two fixed integers m?2 and r with 0?r?m−1, let A(x;m,q,r) denote the numbers of positive integers n?x for which . In this paper we shall prove a sharp asymptotic formula of A(x;m,q,r).     

Hilbert-Speiser number fields for a prime p inside the p-cyclotomic field

Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies .     

A remark on sociable numbers of odd order

Write s(n) for the sum of the proper divisors of the natural number n. We call n sociable if the sequence n, s(n), s(s(n)), … is purely periodic; the period is then called the order of sociability of n. The ancients initiated the study of order 1 sociables (perfect numbers) and order 2 sociables (amicable numbers), and investigations into higher-order sociable numbers began at the end of the 19th century. We show that if k is odd and fixed, then the number of sociable n?x of order k is bounded by as x→∞. This improves on the previously best-known bound of , due to Kobayashi, Pollack, and Pomerance.     

On the average orders of the error term in the Dirichlet divisor problem

Let Δ(x) be the error term in the Dirichlet divisor problem. The purpose of this paper is to study the difference between two kinds of mean value formulas of Δ(x), that is, the mean value formulas and ∑_n?xΔ(n)^k with a natural number k. In particular we study the case k=2 and 3 in detail.     

Grandes valeurs et nombres champions de la fonction arithmétique de Kalmár

The Kalmár function K(n) counts the factorizations n=x₁x₂…xr with xi?2(1?i?r). Its Dirichlet series is where ζ(s) denotes the Riemann ζ function. Let ρ=1.728… be the root greater than 1 of the equation ζ(s)=2. Improving on preceding results of Kalmár, Hille, Erd?s, Evans, and Klazar and Luca, we show that there exist two constants C₅ and C₆ such that, for all n, holds, while, for infinitely many n's, .An integer N is called a K-champion number if M<N⇒K(M)<K(N). Several properties of K-champion numbers are given, mainly about the size of the exponents and the number of prime factors in the standard factorization into primes of a large enough K-champion number.The proof of these results is based on the asymptotic formula of K(n) given by Evans, and on the solution of a problem of optimization.     

Homogeneous polynomials as Lyapunov functions in the stability research of solutions of difference equations

The linear autonomous system of difference equations x(n+1)=Ax(n) is considered, where is a real nonsingular k×k matrix. In this paper it has been proved that if W(x) is any homogeneous polynomial of m-th degree in x, then there exists a unique homogeneous polynomial V(x) of m-th degree such that ΔV=V(Ax)-V(x)=W(x) if and only if where are the eigenvalues of the matrix A. The theorem on the instability has also been proved.     

Ono invariants of imaginary quadratic fields with class number three

Let Ed(x) denote the “Euler polynomial” x²+x+(1−d)/4 if and x²−d if . Set Ω(n) to be the number of prime factors (counting multiplicity) of the positive integer n. The Ono invariantOnod of is defined to be except when d=−1,−3 in which case Onod is defined to be 1. Finally, let hd=hk denote the class number of K. In 2002 J. Cohen and J. Sonn conjectured that hd=3⇔Onod=3 and is a prime. They verified that the conjecture is true for p<1.5×¹⁰⁷. Moreover, they proved that the conjecture holds for p>¹⁰¹⁷ assuming the extended Riemann Hypothesis. In this paper, we show that the conjecture holds for p?2.5×¹⁰¹³ by the aid of computer. And using a result of Bach, we also proved that the conjecture holds for p>2.5×¹⁰¹³ assuming the extended Riemann Hypothesis. In conclusion, we proved the conjecture is true assuming the extended Riemann Hypothesis.     

Arithmetical properties of wendt's determinant

Wendt's determinant of order n is the circulant determinant W_n whose (i,j)-th entry is the binomial coefficient , for 1?i,j?n, where n is a positive integer. We establish some congruence relations satisfied by these rational integers. Thus, if p is a prime number and k a positive integer, then and . If q is another prime, distinct from p, and h any positive integer, then . Furthermore, if p is odd, then . In particular, if p?5, then . Also, if m and n are relatively prime positive integers, then W_mW_n divides W_mn.     

On elliptic units and p-adic Galois representations attached to elliptic curves

Let K be a quadratic imaginary number field with discriminant D_K≠-3,-4 and class number one. Fix a prime p?7 which is not ramified in K and write h_p for the class number of the ray class field of K of conductor p. Given an elliptic curve A/K with complex multiplication by K, let be the representation which arises from the action of Galois on the Tate module. Herein it is shown that if then the image of a certain deformation of is “as big as possible”, that is, it is the full inverse image of a Cartan subgroup of SL(2,Z_p). The proof rests on the theory of Siegel functions and elliptic units as developed by Kubert, Lang and Robert.     

p-Catalan numbers and squarefree binomial coefficients

In this paper, we consider the generalized Catalan numbers , which we call s-Catalan numbers. For p prime, we find all positive integers n such that p^q divides F(p^q,n), and also determine all distinct residues of , q?1. As a byproduct we settle a question of Hough and the late Simion on the divisibility of the 4-Catalan numbers by 4. In the second part of the paper we prove that if pq?99999, then is not squarefree for n?τ₁(p^q) sufficiently large (τ₁(p^q) computable). Moreover, using the results of the first part, we find n<τ₁(p^q) (in base p), for which may be squarefree. As consequences, we obtain that is squarefree only for n=1,3,45, and is squarefree only for n=1,4,10.     

Congruences involving Bernoulli polynomials

Let {B_n(x)} be the Bernoulli polynomials. In the paper we establish some congruences for , where p is an odd prime and x is a rational p-integer. Such congruences are concerned with the properties of p-regular functions, the congruences for and the sum , where h(d) is the class number of the quadratic field of discriminant d and p-regular functions are those functions f such that are rational p-integers and for n=1,2,3,… . We also establish many congruences for Euler numbers.     

Symmetry and specializability in the continued fraction expansions of some infinite products

Let f(x)∈Z[x]. Set f₀(x)=x and, for n?1, define fn(x)=f(fn−1(x)). We describe several infinite families of polynomials for which the infinite product

     

Quartic, octic residues and Lucas sequences

Let be a prime and a,b∈Z with a²+b²≠p. Suppose p=x²+(a²+b²)y² for some integers x and y. In the paper we develop the calculation technique of quartic Jacobi symbols and use it to determine . As applications we obtain the congruences for modulo p and the criteria for (if ), where {Un} is the Lucas sequence given by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1). We also pose many conjectures concerning , or .     

The structure of analytic τ-sheaves

Let R be a complete discrete valuation -algebra whose residue field is algebraic over , and let K denote its fraction field. In this paper, we study the structure of τ-sheaves M without good reduction on the curve , seen as a rigid analytic space. One motivation is the Tate uniformization theorem for t-motives of Drinfeld modules, which we want to extend to general τ-sheaves. On the other hand, we are interested in the action of inertia on a generic Tate module T_?(M) of M.For a given τ-sheaf M on , we prove the existence of a maximal model for M on , an R-model of , and, over a finite separable extension R′ of R, of nondegenerate models for M.We prove the following ‘semistability’ theorem: there exists a finite extension K′ of K, a nonempty open subscheme C′⊂C, and a filtration