On the largest size of a partition that is both s-core and t-core

Text

Let s,t be relatively prime positive integers. We prove a conjecture of Aukerman, Kane and Sze regarding the largest size of a partition that is simultaneously s-core and t-core by solving an equivalent problem concerning sets S of positive integers with the property that for n∈S, n−s∈S whenever n?s and n−t∈S whenever n?t.

Video

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

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.     

Picard sequences with every orbit containing infinitely many perfect n-powers

Text

Finding a function which generates a sequence via iteration whose values at one or many points in its domain satisfy certain prescribed properties, i.e., finding a function such that the Picard orbit(s) of one or many points in its domain which possess some given properties, is an interesting problem. Given any positive integer n greater than one, we construct in this paper families of functions on the natural numbers such that the sequence of the iterations of each of these functions at any positive integer s contains infinitely many perfect n-powers. In terms of Picard sequences, this amounts to constructing a function whose Picard orbit at every point in its domain contains infinitely many perfect n-powers.

Video

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

Euler numbers congruences and Dirichlet L-functions

Text

In this paper we apply Yamamoto's Theorem [Y. Yamamoto, Dirichlet series with periodic coefficients, in: Proc. Intern. Sympos. “Algebraic Number Theory”, Kyoto, 1976, JSPS, Tokyo, 1977, pp. 275-289] to find the residue modulo a prime power of the linear combination of Dirichlet L-function values L(s,χ) at positive integral arguments s such that s and χ are of the same parity, in terms of Euler numbers, whereby we obtain the finite expressions for short interval character sums. The results obtained generalize the previous results pertaining to the congruences modulo a prime power of the class numbers as the special case of s=1.

Video

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

Minimal zero sum sequences of length four over finite cyclic groups

Text

Let G be a finite cyclic group. Every sequence S over G can be written in the form S=(n₁g)⋅…⋅(nlg) where g∈G and n₁,…,nl∈[1,ord(g)], and the index ind(S) of S is defined to be the minimum of (n₁+?+nl)/ord(g) over all possible g∈G such that 〈g〉=〈supp(S)〉. The problem regarding the index of sequences has been studied in a series of papers, and a main focus is to determine sequences of index 1. In the present paper, we show that if G is a cyclic of prime power order such that gcd(|G|,6)=1, then every minimal zero-sum sequence of length 4 has index 1.

Video

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

Coleman maps for modular forms at supersingular primes over Lubin-Tate extensions

Text

Given an elliptic curve with supersingular reduction at an odd prime p, Iovita and Pollack have generalised results of Kobayashi to define even and odd Coleman maps at p over Lubin-Tate extensions given by a formal group of height 1. We generalise this construction to modular forms of higher weights.

Video

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

Thue-Morse at multiples of an integer

Let t=(tn)_n?0 be the classical Thue-Morse sequence defined by , where s₂ is the sum of the bits in the binary representation of n. It is well known that for any integer k?1 the frequency of the letter “1” in the subsequence t₀,tk,t2k,… is asymptotically 1/2. Here we prove that for any k there is an n?k+4 such that tkn=1. Moreover, we show that n can be chosen to have Hamming weight ?3. This is best in a twofold sense. First, there are infinitely many k such that tkn=1 implies that n has Hamming weight ?3. Second, we characterize all k where the minimal n equals k, k+1, k+2, k+3, or k+4. Finally, we present some results and conjectures for the generalized problem, where s₂ is replaced by sb for an arbitrary base b?2.     

Waring's number mod m

Let p be an odd prime and γ(k,pn) be the smallest positive integer s such that every integer is a sum of s kth powers . We establish γ(k,pn)?[k/2]+2 and provided that k is not divisible by (p−1)/2. Next, let t=(p−1)/(p−1,k), and q be any positive integer. We show that if ?(t)?q then γ(k,pn)?c(q)k1/q for some constant c(q). These results generalize results known for the case of prime moduli.

Video abstract

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

The algebraic structure of the set of solutions to the Thue equation

Let Fn be a binary form with integral coefficients of degree n?2, let d denote the greatest common divisor of all non-zero coefficients of Fn, and let h?2 be an integer. We prove that if d=1 then the Thue equation (T) Fn(x,y)=h has relatively few solutions: if A is a subset of the set T(Fn,h) of all solutions to (T), with r:=card(A)?n+1, then

(#)

h divides the numberΔ(A):=_∏1?k<l?rδ(ξk,ξl),

where ξk=〈xk,yk〉∈A, 1?k?r, and δ(ξk,ξl)=xkyl−xlyk. As a corollary we obtain that if h is a prime number then, under weak assumptions on Fn, there is a partition of T(Fn,h) into at most n subsets maximal with respect to condition (#).     

A covering system whose smallest modulus is 40

Text

Paul Erd?s, in 1950, asked whether for each positive integer N there exists a finite set of congruence classes, with distinct moduli, covering the integers, whose smallest modulus is N. In this vein, we construct a covering system of the integers with smallest modulus N=40.

Video

For a video summary of this paper, please visit http://www.youtube.com/watch?v=3ev1YjVl0RY.     

On the zeta function associated with module classes of a number field

Text

The goal of this note is to generalize a formula of Datskovsky and Wright on the zeta function associated with integral binary cubic forms. We show that for a fixed number field K of degree d, the zeta function associated with decomposable forms belonging to K in d−1 variables can be factored into a product of Riemann and Dedekind zeta functions in a similar fashion. We establish a one-to-one correspondence between the pure module classes of rank d−1 of K and the integral ideals of width <d−1. This reduces the problem to counting integral ideals of a special type, which can be solved using a tailored Moebius inversion argument. As a by-product, we obtain a characterization of the conductor ideals for orders of number fields.

Video

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

On the power values of power sums

Using several currently available techniques, including Baker's method, Frey curves and modular forms, we prove that for odd values of k with 1?k<170, the equation

k¹+k²+?+xk=y2n     

On integers of the forms k−2 and k2+1

In this paper we prove that if (r,12)?3, then the set of positive odd integers k such that k^r−2ⁿ has at least two distinct prime factors for all positive integers n contains an infinite arithmetic progression. The same result corresponding to k^r2ⁿ+1 is also true.     

Nontrivial lower bounds for the least common multiple of some finite sequences of integers

We present here a method which allows to derive a nontrivial lower bounds for the least common multiple of some finite sequences of integers. We obtain efficient lower bounds (which in a way are optimal) for the arithmetic progressions and lower bounds less efficient (but nontrivial) for quadratic sequences whose general term has the form un=an(n+t)+b with (a,t,b)∈Z³, a?5, t?0, gcd(a,b)=1. From this, we deduce for instance the lower bound: lcm{¹²+1,²²+1,…,n²+1}?0,32n(1,442) (for all n?1). In the last part of this article, we study the integer lcm(n,n+1,…,n+k) (k∈N, n∈N^∗). We show that it has a divisor dn,k simple in its dependence on n and k, and a multiple mn,k also simple in its dependence on n. In addition, we prove that both equalities: lcm(n,n+1,…,n+k)=dn,k and lcm(n,n+1,…,n+k)=mn,k hold for an infinitely many pairs (n,k).     

Simple arguments on consecutive power residues

By some extremely simple arguments, we point out the following:

(i)

If n is the least positive kth power non-residue modulo a positive integer m, then the greatest number of consecutive kth power residues mod m is smaller than m/n.

(ii)

Let OK be the ring of algebraic integers in a quadratic field with d∈{−1,−2,−3,−7,−11}. Then, for any irreducible π∈OK and positive integer k not relatively prime to , there exists a kth power non-residue ω∈OK modulo π such that .

     

Maximal Collections of Intersecting Arithmetic Progressions

Let N _t (k) be the maximum number of k-term arithmetic progressions of real numbers, any two of which have t points in common. We determine N ₂(k) for prime k and all large k, and give upper and lower bounds for N _t (k) when t 3.* Research supported in part by NSF grant DMS-0070618.     

Comportement moyen du cardinal de certains ensembles de facteurs premiers

Letn be a positive integer andS _n a particular set of prime divisors ofn. We establish the average order off(n) wheref(n) stands for the cardinality ofS _n . Thek-ary,k-free, semi-k-ary prime factors ofn are some of the classes of prime divisors studied in this paper.

     

On the behaviour of p-adic L-functions

Text

Let Lp(s,χ) denote a Leopoldt-Kubota p-adic L-function, where p>2 and χ is a nonprincipal even character of the first kind. The aim of this article is to study how the values assumed by this function depend on the Iwasawa λ-invariant associated to χ. Assuming that λ?p−1, it turns out that Lp(s,χ) behaves, in some sense, like a polynomial of degree λ. The results lead to congruences of a new type for (generalized) Bernoulli numbers.

Video

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

A link between the Perron-Frobenius theorem and Perron’s theorem for difference equations

Let A_n,n∈N, be a sequence of k×k matrices which converge to a matrix A as n→∞. It is shown that if x_n,n∈N, is a sequence of nonnegative nonzero vectors such that

     

The hyperring of adèle classes

Text

We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adèle class space HK=AK/K^× of a global field K. After promoting F₁ to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G⊂R^× is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G∪{0} is a subfield of R. This result applies to the adèle class space which thus inherits the structure of a hyperring extension HK of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semi-linear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous non-Desarguesian planes. Finally, we show that for a global field K of positive characteristic, the groupoid of the prime elements of the hyperring HK is canonically and equivariantly isomorphic to the groupoid of the loops of the maximal abelian cover of the curve associated to the global field K.

Video

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