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.     

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.     

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.     

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.     

Explicit constructions of infinite families of MSTD sets

Text

We explicitly construct infinite families of MSTD (more sums than differences) sets, i.e., sets where |A+A|>|A−A|. There are enough of these sets to prove that there exists a constant C such that at least C/r⁴ of the r² subsets of {1,…,r} are MSTD sets; thus our family is significantly denser than previous constructions (whose densities are at most f(r)/²r/2 for some polynomial f(r)). We conclude by generalizing our method to compare linear forms ?₁A+?+?nA with ?i∈{−1,1}.

Video

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

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.     

Algebraic points of small height missing a union of varieties

Text

Let K be a number field, , or the field of rational functions on a smooth projective curve over a perfect field, and let V be a subspace of KN, N?2. Let ZK be a union of varieties defined over K such that V?ZK. We prove the existence of a point of small height in V?ZK, providing an explicit upper bound on the height of such a point in terms of the height of V and the degree of a hypersurface containing ZK, where dependence on both is optimal. This generalizes and improves upon the results of Fukshansky (2006) [6] and [7]. As a part of our argument, we provide a basic extension of the function field version of Siegel's lemma (Thunder, 1995) [21] to an inequality with inhomogeneous heights. As a corollary of the method, we derive an explicit lower bound for the number of algebraic integers of bounded height in a fixed number field.

Video

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

An elliptic curve test of the L-Functions Ratios Conjecture

Text

We compare the L-Function Ratios Conjecture?s prediction with number theory for quadratic twists of a fixed elliptic curve, showing agreement in the 1-level density up to for test functions supported in (−σ,σ), giving a power-savings for σ<1. This test introduces complications not seen in previous cases (due to the level of the elliptic curve). The results here are a key ingredients in Dueñez et al. (preprint) [DHKMS2], which determine the effective matrix size for modeling zeros near the central point. The resulting model beautifully describes the behavior of these low lying zeros for finite conductors, explaining data observed in Miller (2006) [Mil3]. A key ingredient is generalizing Jutila?s bound for quadratic character sums restricted to fundamental discriminant congruent to non-zero squares modulo a square-free integer. Another application is determining the main term in the 1-level density of quadratic twists of a fixed GLn form; this generalization was implicitly assumed in Rubinstein (2001) [Rub].

Video

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

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.     

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 a generalization of Chen's iterated integrals

Text

In this paper, Chen's iterated integrals are generalized by interpolation of functions of the positive integer number of times which particular forms are iterated in integrals along specific paths, to certain complex values. These generalized iterated integrals satisfy both an additive iterative property and comultiplication formula. In a particular example, a (non-classical) multiplicative iterative property is also shown to hold. After developing this theory in the first part of the paper we discuss various applications, including the expression of certain zeta functions as complex iterated integrals (from which an obstruction to the existence of a contour integration proof of the functional equation for the Dedekind zeta function emerges); a way of thinking about complex iterated derivatives arising from a reformulation of a result of Gel'fand and Shilov in the theory of distributions; and a direct topological proof of the monodromy of polylogarithms.

Video

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

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.     

An application of Fourier transforms on finite Abelian groups to an enumeration arising from the Josephus problem

Text

We analyze an enumeration associated with the Josephus problem by applying a Fourier transform to a multivariate generating function. This yields a formula for the enumeration that reduces to a simple expression under a condition we call local prime abundance. Under this widely held condition, we prove (Corollary 3.4) that the proportion of Josephus permutations in the symmetric group Sn that map t to k (independent of the choice of t and k) is 1/n. Local prime abundance is intimately connected with a well-known result of S.S. Pillai, which we exploit for the purpose of determining when it holds and when it fails to hold. We pursue the first case where it fails, reducing an intractable DFT computation of the enumeration to a tractable one. A resulting computation shows that the enumeration is nontrivial for this case.

Video

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

Complete solution of the polynomial version of a problem of Diophantus

In this paper, we prove that if {a,b,c,d} is a set of four non-zero polynomials with integer coefficients, not all constant, such that the product of any two of its distinct elements plus 1 is a square of a polynomial with integer coefficients, then

(a+b−c−d)2=4(ab+1)(cd+1).     

On some algebraic properties of CM-types of CM-fields and their reflexes

Text

The purpose of this paper is to show that the reflex fields of a given CM-field K are equipped with a certain combinatorial structure that has not been exploited yet.The first theorem is on the abelian extension generated by the moduli and the b-torsion points of abelian varieties of CM-type, for any natural number b. It is a generalization of the result by Wei on the abelian extension obtained by the moduli and all the torsion points. The second theorem gives a character identity of the Artin L-function of a CM-field K and the reflex fields of K. The character identity pointed out by Shimura (1977) in [10] follows from this.The third theorem states that some Pfister form is isomorphic to the orthogonal sum of defined on the reflex fields _⊕Φ∈ΛK^∗(Φ). This result suggests that the theory of complex multiplication on abelian varieties has a relationship with the multiplicative forms in higher dimension.

Video

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

Arithmetic of the Ramanujan-Göllnitz-Gordon continued fraction

Text

We extend the results of Chan and Huang [H.H. Chan, S.-S. Huang, On the Ramanujan-Göllnitz-Gordon continued fraction, Ramanujan J. 1 (1997) 75-90] and Vasuki, Srivatsa Kumar [K.R. Vasuki, B.R. Srivatsa Kumar, Certain identities for Ramanujan-Göllnitz-Gordon continued fraction, J. Comput. Appl. Math. 187 (2006) 87-95] to all odd primes p on the modular equations of the Ramanujan-Göllnitz-Gordon continued fraction v(τ) by computing the affine models of modular curves X(Γ) with Γ=Γ₁(8)∩Γ₀(16p). We then deduce the Kronecker congruence relations for these modular equations. Further, by showing that v(τ) is a modular unit over Z we give a new proof of the fact that the singular values of v(τ) are units at all imaginary quadratic arguments and obtain that they generate ray class fields modulo 8 over imaginary quadratic fields.

Video

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

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 .

     

Multiple zeta functions and asymptotic structure of free Abelian groups of finite rank

We define the multiple zeta function of the free Abelian group Z^d as

ζ_Z^d(s₁,…,s_d)=∑_|Z^d:H|<∞α₁(H)^−s₁?α_d(H)^−s_d,     

π and the hypergeometric functions of complex argument

Text

In this article we derive some new identities concerning π, algebraic radicals and some special occurrences of the Gauss hypergeometric function ₂F₁ in the analytic continuation. All of them have been derived by tackling some elliptic or hyperelliptic known integral, and looking for another representation of it by means of hypergeometric functions like those of Gauss, Appell or Lauricella. In any case we have focused on integrand functions having at least one couple of complex-conjugate roots. Founding upon a special hyperelliptic reduction formula due to Hermite (1876) [6], π is obtained as a ratio of a complete elliptic integral and the four-variable Lauricella function. Furthermore, starting with a certain binomial integral, we succeed in providing as a ratio of a linear combination of complete elliptic integrals of the first and second kinds to the Appell hypergeometric function of two complex-conjugate arguments. Each of the formulae we found theoretically has been satisfactorily tested by means of Mathematica^®.

Video

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

Endomorphism algebras of Jacobians of certain superelliptic curves

Text

Let p be a prime, and q a power of p. Using Galois theory, we show that over a field K of characteristic zero, the endomorphism algebras of the Jacobians of certain superelliptic curves yq=f(x) are products of cyclotomic fields.

Video

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