In this article, we use the Combinatorial Nullstellensatz to give new proofs of the Cauchy-Davenport, the Dias da Silva-Hamidoune and to generalize a previous addition theorem of the author. Precisely, this last result proves that for a set A $\subset$ Fp such that A $\cap$ (--A) = $\emptyset$ the cardinality of the set of subsums of at least $\alpha$ pairwise distinct elements of A is: |$\Sigma$$\alpha$(A)| $\ge$ min (p, |A|(|A| + 1)/2 -- $\alpha$($\alpha$ + 1)/2 + 1) , the only cases previously known were $\alpha$ $\in$ 0, 1. The Combinatorial Nullstellensatz is used, for the first time, in a direct and in a reverse way. The direct (and usual) way states that if some coefficient of a polynomial is non zero then there is a solution or a contradiction. The reverse way relies on the coefficient formula (equivalent to the Combinatorial Nullstellensatz). This formula gives an expression for the coefficient as a sum over any cartesian product. For these three addition theorems, some arithmetical progressions (that reach the bounds) will allow to consider cartesian products such that the coefficient formula is a sum all of whose terms are zero but exactly one. Thus we can conclude the proofs without computing the appropriate coefficients.

Feb 22 2017

math.NT arXiv:1702.06507v1

The classical Kronecker limit formula describes the constant term in the Laurent expansion at the first order pole of the non-holomorphic Eisenstein series associated to the cusp at infinity of the modular group. Recently, the meromorphic continuation and Kronecker limit type formulas were investigated for non-holomorphic Eisenstein series associated to hyperbolic and elliptic elements of a Fuchsian group of the first kind by Jorgenson, Kramer and the first named author. In the present work, we realize averaged versions of all three types of Eisenstein series for $\Gamma_0(N)$ as regularized theta lifts of a single type of Poincaré series, due to Selberg. Using this realization and properties of the Poincaré series we derive the meromorphic continuation and Kronecker limit formulas for the above Eisenstein series. The corresponding Kronecker limit functions are then given by the logarithm of the absolute value of the Borcherds product associated to a special value of the underlying Poincaré series.

Feb 22 2017

math.NT arXiv:1702.06494v1

We find nice representatives for the 0-dimensional cusps of the degree $n$ Siegel upper half-space under the action of $\Gamma_0(\stufe)$. To each of these we attach a Siegel Eisenstein series, and then we make explicit a result of Siegel, realizing any integral weight average Siegel theta series of arbitrary level $\stufe$ and Dirichlet character $\chi_L$ modulo $\stufe$ as a linear combination of Siegel Eisenstein series.

Feb 22 2017

math.NT arXiv:1702.06487v1

I solve here a question of Vladimir Reshetnikov in Mathoverflow (question 261649) about the values of Fabius function. Namely, I prove that the numbers $R_n:=2^{-\binom{n-1}{2}}(2n)! F(2^{-n})\prod_{m=1}^{\lfloor n/2\rfloor}(2^{2m}-1)$ are integers. We show also some other arithmetical properties of the values of Fabius function at dyadic points.

Feb 22 2017

math.NT arXiv:1702.06339v1

Let $(\mathbb{T}_f,\mathfrak{m}_f)$ denote the mod $p$ local Hecke algebra attached to a normalised Hecke eigenform $f$, which is a commutative algebra over some finite field $\mathbb{F}_q$ of characteristic $p$ and with residue field $\mathbb{F}_q$. By a result of Carayol we know that, if the residual Galois representation $\overline{\rho}_f:G_\mathbb{Q}\rightarrow\mathrm{GL}_2(\mathbb{F}_q)$ is absolutely irreducible, then one can attach to this algebra a Galois representation $\rho_f:G_\mathbb{Q}\rightarrow\mathrm{GL}_2(\mathbb{T}_f)$ that is a lift of $\overline{\rho}_f$. We will show how one can determine the image of $\rho_f$ under the assumptions that $(i)$ the image of the residual representation contains $\mathrm{SL}_2(\mathbb{F}_q)$, $(ii)$ that $\mathfrak{m}_f^2=0$ and $(iii)$ that the coefficient ring is generated by the traces. As an application we will see that the methods that we use allow us to deduce the existence of certain $p$-elementary abelian extensions of big non-solvable number fields.

We show that a Born-Infeld soliton can be realised either as a spacelike minimal graph or timelike minimal graph over a timelike plane or a combination of both away from singular points. We also obtain some exact solutions of the Born-Infeld equation from already known solutions to the maximal surface equation. Further we present a method to construct a one-parameter family of complex solitons from a given one parameter family of maximal surfaces. Finally, using Ramanujan's Identities and the Weierstrass-Enneper representation of maximal surfaces, we derive further non-trivial identities.

We show that (under mild assumptions) the generating function of log homology torsion of a knot exterior has a meromorphic continuation to the entire complex plane. As corollaries, this gives new proofs of (a) the Silver-Williams asymptotic, (b) Fried's theorem on reconstructing the Alexander polynomial (c) Gordon's theorem on periodic homology. Our results generalize to other rank 1 growth phenomena, e.g. Reidemeister-Franz torsion growth for higher-dimensional knots. We also analyze the exceptional cases where the meromorphic continuation does not exist.

Feb 22 2017

math.NT arXiv:1702.06170v1

We prove that the family of non-cocompact non-commensurable lattices $PSL(2,O_F)$ in $PSL(2, R^{r_1}\oplus C^{r_2})$ with F running over number fields with fixed archimedean signature $(r_1, r_2)$ has the limit multiplicity property.

Feb 22 2017

math.NT arXiv:1702.06422v1

We realize that geometric polynomials and p-Bernoulli polynomials and numbers are closely related with an integral representation. Therefore, using geometric polynomials, we extend some properties of Bernoulli polynomials and numbers such as recurrence relations, telescopic formula and Raabe's formula to p-Bernoulli polynomials and numbers. In particular cases of these results, we establish some new results for Bernoulli polynomials and numbers. Moreover, we evaluate a Faulhaber-type summation in terms of p-Bernoulli polynomials.

Feb 22 2017

math.NT arXiv:1702.06420v1

In this paper, using geometric polynomials, we obtain a generating function of p-Bernoulli numbers. As a consequences this generating function, we derive closed formulas for the finite summation of Bernoulli and harmonic numbers involving Stirling numbers of the second kind.

Feb 22 2017

math.NT arXiv:1702.06413v1

We show that whenever $\delta>0$, $\eta$ is real and constants $\lambda _i$ satisfy some necessary conditions, there are infinitely many prime triples $p_1,\, p_2,\, p_3$ satisfying the inequality $|\lambda _1p_1 + \lambda _2p_2 + \lambda _3p_3+\eta|<(\max p_j)^{-1/12+\delta}$ and such that, for each $i\in\{1,2,3\}$, $p_i+2$ has at most $28$ prime factors.