Mathematics - Number Theory Publications (50)


Mathematics - Number Theory Publications

In this paper, we study the $\mu$-ordinary locus of a Shimura variety with parahoric level structure. Under the Axioms in \cite{HR}, we show that $\mu$-ordinary locus is a union of some maximal Ekedahl-Kottwitz-Oort-Rapoport strata introduced in \cite{HR} and we give criteria on the density of the $\mu$-ordinary locus. Read More

In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations. Read More

We improve the error terms of some estimates related to counting lattices from recent work of L. Fukshansky, P. Guerzhoy and F. Read More

For $a\in \Bbb Z$ and $b\in\Bbb N$, $(a,b)=1$, let $s(a,b)$ denote the classical Dedekind sum. We show that Dedekind sums take this value infinitely many times in the following sense. There are pairs $(a_i,b_i)$, $i\in\Bbb N$, with $b_i$ tending to infinity as $i$ grows, such that $s(a_i,b_i)=s(a,b)$ for all $i\in \Bbb N$. Read More

Recently, several authors have studied the Stirling numbers of the second kind and Bell polynomials. In this paper, we study the extended Stirling polynomials of the second kind and the extended Bell polynomials associated with the Stirling numbers of the second kind. In addition, we note that the extended Bell polynomials can be expressed in terms of the moments of the Poisson random variable with parameter Read More

The existence and construction of vector-valued modular forms (vvmf) for any arbitrary Fuchsian group $\rG$, for any representation $\rho:\rG \longrightarrow \mr{GL}_{d}(\C)$ of finite image can be established by lifting scalar-valued modular forms of the finite index subgroup $\ker(\rho)$ of $\rG$. In this article vvmf are explicitly constructed for any admissible multiplier (representation) $\rho$, see section~\ref{af} for the definition of admissible multiplier. In other words, the following question has been partially answered\,: \emph {For which representations $\rho$ of a given $\rG$, is there a vvmf with at least one nonzero component ?} Read More

We establish several surjectivity theorems regarding the Galois groups of small iterates of $\phi_c(x)=x^2+c$ for $c\in\mathbb{Q}$. To do this, we use explicit techniques from the theory of rational points on curves, including the method of Chabauty-Coleman and the Mordell-Weil sieve. For example, we succeed in finding all rational points on a hyperelliptic curve of genus $7$, with rank $5$ Jacobian, whose points parametrize quadratic polynomials with a "newly small" Galois group at the fifth stage of iteration. Read More

We know that any prime number of form $4s+1$ can be written as a sum of two perfect square numbers. As a consequence of Goldbach's weak conjecture, any number great than $10$ can be represented as a sum of four primes. We are motivated to consider an equation with some constraints about digital sum for the four primes. Read More

We use the adelic language to show that any homomorphism between Jacobians of modular curves arises from a linear combination of Hecke modular correspondences. The proof is based on a study of the actions of $\mathrm{GL}_2$ and Galois on the \'etale cohomology of the tower of modular curves. Read More

We define a tropicalization procedure for theta functions on abelian varieties over a non-Archimedean field. We show that the tropicalization of a non-Archimedean theta function is a tropical theta function, and that the tropicalization of a non-Archimedean Riemann theta function is a tropical Riemann theta function, up to scaling and an additive constant. We apply these results to the construction of rational functions with prescribed behavior on the skeleton of a principally polarized abelian variety. Read More

In this paper we continue to study the degrees of matrix coefficients of intertwining operators associated to reductive groups over $p$-adic local fields. Together with previous analysis of global normalizing factors we can control the analytic properties of global intertwining operators for a large class of reductive groups over number fields, in particular for inner forms of $GL(n)$ and $SL(n)$ and quasi-split classical groups. This has a direct application to the limit multiplicity problem for these groups. Read More

We investigate diagonal forms of degree $d$ over the function field $F$ of a smooth projective $p$-adic curve: if a form is isotropic over the completion of $F$ with respect to each discrete valuation of $F$, then it is isotropic over certain fields $F_U$, $F_P$ and $F_p$. These fields appear naturally when applying the methodology of patching; $F$ is the inverse limit of the finite inverse system of fields $\{F_U,F_P,F_p\}$. Our observations complement some known bounds on the higher $u$-invariant of diagonal forms of degree $d$. Read More

We show that the count of rational points by de la Bret\`{e}che, Browning and Salberger on the Cayley ruled cubic surface extends to all non-normal integral hypercubics which are not cones. Read More

In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manifolds which have the same volume and whose length spectra begin with the same first $m$ geodesic lengths. Read More

In this paper we illustrate the use of the results from [1] proving that $D(4)$-triple $\{a, b, c\}$ with $a < b < a + 57\sqrt{a}$ has a unique extension to a quadruple with a larger element. This furthermore implies that $D(4)$-pair $\{a, b\}$ cannot be extended to a quintuple if $a < b < a + 57\sqrt{a}$. Read More

For an algebraic number $\alpha$, the metric Mahler measure $m_1(\alpha)$ was first studied by Dubickas and Smyth in 2001 and was later generalized to the $t$-metric Mahler measure $m_t(\alpha)$ by the author in 2010. The definition of $m_t(\alpha)$ involves taking an infimum over a certain collection $N$-tuples of points in $\overline{\mathbb Q}$, and from previous work of Jankauskas and the author, the infimum in the definition of $m_t(\alpha)$ is attained by rational points when $\alpha\in \mathbb Q$. As a consequence of our main theorem in this article, we obtain an analog of this result when $\mathbb Q$ is replaced with any imaginary quadratic number field of class number equal to $1$. Read More

We study the distributions of values of logarithmic derivatives of the Dedekind zeta functions on a fixed vertical line. The main result is determining the density functions of such value-distributions for any algebraic number field. The Fourier transformations of the density functions have infinite product representations that come from the Euler products. Read More

Determining deep holes is an important topic in decoding Reed-Solomon codes. Let $l\ge 1$ be an integer and $a_1,\ldots,a_l$ be arbitrarily given $l$ distinct elements of the finite field ${\bf F}_q$ of $q$ elements with the odd prime number $p$ as its characteristic. Let $D={\bf F}_q\backslash\{a_1,\ldots,a_l\}$ and $k$ be an integer such that $2\le k\le q-l-1$. Read More

We prove explicit rationality-results for Asai- $L$-functions, $L^S(s,\Pi',{\rm As}^\pm)$, and Rankin-Selberg $L$-functions, $L^S(s,\Pi\times\Pi')$, over arbitrary CM-fields $F$, relating critical values to explicit powers of $(2\pi i)$. Besides determining the contribution of archimedean zeta-integrals to our formulas as concrete powers of $(2\pi i)$, it is one of the crucial advantages of our refined approach, that it applies to very general non-cuspidal isobaric automorphic representations $\Pi'$ of ${\rm GL}_n(\mathbb A_F)$. As a major application, this enables us to establish a certain algebraic version of the Gan--Gross--Prasad conjecture, as refined by N. Read More

We prove that a positive integer $n$ is a Fibonacci number of even index if and only if $\langle n\varphi\rangle+\frac{1}{n}>1$. Read More

Given a polynomial $Q(x_1,\cdots, x_t)=\lambda_1 x_1^{k_1}+\cdots +\lambda_t x_t^{k_t}$, for every $c\in \mathbb{Z}$ and $n\geq 2$, we study the number of solutions $N_J(Q;c,n)$ of the congruence equation $Q(x_1,\cdots, x_t)\equiv c\bmod{n}$ in $(\mathbb{Z}/n\mathbb{Z})^t$ such that $x_i\in (\mathbb{Z}/n\mathbb{Z})^\times$ for $i\in J\subseteq I= \{1,\cdots, t\}$. We deduce formulas and an algorithm to study $N_J(Q; c,p^a)$ for $p$ any prime number and $a\geq 1$ any integer. As consequences of our main results, we completely solve: the counting problem of $Q(x_i)=\sum\limits_{i\in I}\lambda_i x_i$ for any prime $p$ and any subset $J$ of $I$; the counting problem of $Q(x_i)=\sum\limits_{i\in I}\lambda_i x^2_i$ in the case $t=2$ for any $p$ and $J$, and the case $t$ general for any $p$ and $J$ satisfying $\min\{v_p(\lambda_i)\mid i\in I\}=\min\{v_p(\lambda_i)\mid i\in J\}$; the counting problem of $Q(x_i)=\sum\limits_{i\in I}\lambda_i x^k_i$ in the case $t=2$ for any $p\nmid k$ and any $J$, and in the case $t$ general for any $p\nmid k$ and $J$ satisfying $\min\{v_p(\lambda_i)\mid i\in I\}=\min\{v_p(\lambda_i)\mid i\in J\}$. Read More

In this joint introduction to an Asterisque volume, we give a short discussion of the historical developments in the study of nonlinear covering groups, touching on their structure theory, representation theory and the theory of automorphic forms. This serves as a historical motivation and sets the scene for the papers in the volume. Our discussion is necessarily subjective and will undoubtedly leave out the contributions of many authors, to whom we apologize in earnest. Read More

We study the dimension of the space of Whittaker functionals for depth zero representations of covering groups. In particular, we determine such dimensions for arbitrary Brylinski-Deligne coverings of the general linear group. The results in the paper are motivated by and compatible with the work of Howard and the second author, and earlier work by Blondel. Read More

We establish an isomorphism between certain complex-valued and vector-valued modular form spaces of half-integral weight, generalizing the well-known isomorphism between modular forms for $\Gamma_0(4)$ with Kohnen's plus condition and modular forms for the Weil representation associated to the discriminant form for the lattice with Gram matrix $(2)$. With such an isomorphism, we prove the Zagier duality and write down the Borcherds lifts explicitly. Read More

I provide a systematic construction of points (defined over number fields) on Legendre elliptic curves over $\mathbb{Q}$: for any odd integer $n\geq 3$ my method constructs $n$ points on the Legendre curve and I show that rank of the subgroup of the Mordell-Weil group they generate is $n$ if $n\geq 7$. I also show that every elliptic curve over any number field admits similar type of points after a finite base extension. Read More

We will show that $(1-q)(1-q^2)\dots (1-q^m)$ is a polynomial in $q$ with coefficients from $\{-1,0,1\}$ iff $m=1,\ 2,\ 3,$ or $5$ and explore some interesting consequences of this result. We find an explicit formula for the $q$-series coefficients of $(1-q^3)(1-q^4)(1-q^5)(1-q^6)\dots$. In doing so, we extend certain observations made by Sudler in 1964. Read More

Fermat showed that every prime p = 1 mod 4 is a sum of two squares: $p = a^2 + b^2$. To any of the 8 possible representations (a,b) we associate an angle whose tangent is the ratio b/a. In 1919 Hecke showed that these angles are uniformly distributed as p varies, and in the 1950's Kubilius proved uniform distribution in somewhat short arcs. Read More

We consider the equation $[p_{1}^{c}] + [p_{2}^{c}] + [p_{3}^{c}] = N$, where $N$ is a sufficiently large integer, and prove that if $1 < c < \frac{17}{16}$, then it has a solution in prime numbers $p_{1}$, $p_{2}$, $p_{3}$ such that each of the numbers $p_{1} + 2$, $p_{2} + 2$, $p_{3} + 2$ has at most $\left [ \frac{95}{17 - 16c} \right ]$ prime factors, counted with the multiplicity. Read More

This text contains over three hundred specific open questions on various topics in additive combinatorics, each placed in context by reviewing all relevant results. While the primary purpose is to provide an ample supply of problems for student research, it is hopefully also useful for a wider audience. It is the author's intention to keep the material current, thus all feedback and updates are greatly appreciated. Read More

We utilize facts, techniques and ideology coming from multiplicative number theory to obtain refinements and enhancements in the theory of uniform distribution and the theory of multiple recurrence involving level sets of multiplicative functions. Among other things we obtain a generalization of K\'atai's orthogonality criterion. As an application of this result we show that if $E=\{n_1Read More

In \cite{colin}, Y. Colin de Verdi\`ere proved that the remainder term in the two-term Weyl formula for the eigenvalue counting function for the Dirichlet Laplacian associated with the planar disk is of order $O(\lambda^{2/3})$. In this paper, by combining with the method of exponential sum estimation, we will give a sharper remainder term estimate $O(\lambda^{2/3-1/495})$. Read More

We study the structures of admissible words and full words for $\beta$-expansion. The distribution of full words are characterized by giving all the precise numbers of consecutive full words and non-full words with same lengths. Read More

We will construct a family of irreducible generic supercuspidal representations of the symplectic groups over non-archimedian local field $F$ of odd residual characteristic. The supercuspidal representations are compactly induced from irreducible representations of the hyperspecial compact subgroup which are inflated from irreducible representations of finite symplectic groups over the finite quotient ring of the integer ring of $F$ modulo high powers of the prime element. Read More

We continue our study of convolution sums of two arithmetical functions $f$ and $g$, of the form $\sum_{n \le N} f(n) g(n+h)$, in the context of heuristic asymptotic formul\ae. Here, the integer $h\ge 0$ is called, as usual, the {\it shift} of the convolution sum. We deepen the study of finite Ramanujan expansions of general $f,g$ for the purpose of studying their convolution sum. Read More

We study the exceptional theta correspondence for real groups obtained by restricting the minimal representation of the split exceptional group of the type E_n, to a split dual pair where one member is the exceptional group of the type G_2. We prove that the correspondence gives a bijection between spherical representations if n=6,7, and a slightly weaker statement if n=8. Read More

This paper concerns an arithmetic version of Chern-Simons theory for finite gauge group proposed by M. Kim. The object of this paper is to use a different approach to prove a formula for Kim's invariant in terms of Artin maps in the case of cyclic unramified Kummer extensions. Read More

Let $\Phi = (\phi_1,\dots,\phi_6)$ be a system of $6$ linear forms in $3$ variables, i.e. $\phi_i \colon \mathbb{Z}^3 \to \mathbb{Z}$ for each $i$. Read More

In this article, we compute the Petersson norm of a weight one cuspform constructed by H\ ecke and express it in terms of the Rademacher symbol and regulator of a real quadratic \ field. Read More

In this paper we improve the best known to date result of Dress, Iwaniec and Tenenbaum, getting (log x)^3 instead of (log x)^{7/2}. We use a weighted form of Vaughan's identity, allowing a smooth truncation inside the procedure, and an estimate due to Barban-Vehov and Graham related to Selberg's sieve. We give effective and non-effective versions of the main result. Read More

There exists an absolute constant $\delta > 0$ such that for all $q$ and all subsets $A \subseteq \mathbb{F}_q$ of the finite field with $q$ elements, if $|A| > q^{2/3 - \delta}$, then \[ |(A-A)(A-A)| = |\{ (a -b) (c-d) : a,b,c,d \in A\}| > \frac{q}{2}. \] Any $\delta < 1/13,542$ suffices for sufficiently large $q$. This improves the condition $|A| > q^{2/3}$, due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev, that is typical for such questions. Read More

We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space (V,q) with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of (V,q). We use this strategy to classify binary Hermitian lattices over CM fields. Read More

We determine all permutation trinomials of type $x^{2p^s+r}+x^{p^s+r}+\lambda x^r$ over the finite field $\mathbb{F}_{p^t}$ when $(2p^s+r)^4Read More

In this paper, we completely solve the Diophantine equations $F_{n_1} + F_{n_2} = 2^{a_1} + 2^{a_2} + 2^{a_3}$ and $ F_{m_1} + F_{m_2} + F_{m_3} =2^{t_1} + 2^{t_2} $, where $F_k$ denotes the $k$-th Fibonacci number. In particular, we prove that $\max \{n_1, n_2, a_1, a_2, a_3 \}\leq 18$ and $\max \{ m_1, m_2, m_3, t_1, t_2 \}\leq 16$. Read More

We use the method of Shintani, as developed by Taniguchi and Thorne, to prove the quantitative equidistribution of the shape of cubic fields when the fields are ordered by discriminant. Read More

We prove a formula for the Mangoldt function which relates it to a sum over all the non-trivial zeros of the Riemann zeta function, in addition we analize a truncated version of it. Read More

We establish formulas for the constant factor in several asymptotic estimates related to the distribution of integer and polynomial divisors. The formulas are then used to approximate these factors numerically. Read More

Using Lagrange interpolation and linear algebra, we prove that the MDS conjecture is equivalent to a condition on extensions of Reed-Solomon codes. Read More