2026-01-21 | | Total: 32
A sequence $S=(x_1,\ldots, x_k)$ in $\mathbb Z_p$ is called a $(Q_p,\mathbf 1)$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in Q_p$ such that $a_1x_1+\cdots+a_kx_k=0$ and $a_1+\cdots+a_k=0$. The constant $E_{Q_p,\mathbf 1}$ is defined to be the smallest positive integer $k$ such that every sequence of length $k$ in $\mathbb Z_p$ has a $(Q_p,\mathbf 1)$-weighted zero-sum subsequence of length $p$. We determine the constant $E_{Q_p,\mathbf 1}$ and the related constants $C_{Q_p,\mathbf 1}$ and $D_{Q_p,\mathbf 1}$. We also study some $(Q_p,B)$-weighted zero-sum constants where $B$ is a subset of $Q_p$.
We consider the equality of the values of the $n$th and $k$th elementary symmetric polynomials of $n$ not necessarily distinct positive integers. For $k < n$, we prove that this equation always has a solution, but only finitely many solutions. Furthermore, we consider the equality of the values of the $n$th and $(n-2)$th elementary symmetric polynomials of $n$ not necessarily distinct positive integers. In particular, we show that the number of solutions of this equation tends to infinity if $n$ tends to infinity.
Let $X$ be a smooth projective curve over a finite field of characteristic $p$. We describe and implement a practical algorithm for computing the $p$-divisible group $Jac(X)[p^\infty]$ via computing its Dieudonné module, or equivalently computing the Frobenius and Verschiebung operators on the first crystalline cohomology of $X$. We build on Tuitman's $p$-adic point counting algorithm, which computes the rigid cohomology of $X$ and requires a ``nice'' lift of $X$ to be provided.
In this paper we prove, on the Riemann hypothesis, the existence of such increments of the Ingham integral (1932) that generate new functionals together with corresponding new $Pζ$-equivalents of the Fermat-Wiles theorem. We obtain also new results in this direction.
We investigate the number of integer solutions to a multiplicative Diophantine approximation problem and show that the associated counting function converges in distribution to a normal law. Our approach relies on the analysis of correlations of measures on homogeneous spaces, together with estimates for Siegel transforms restricted to subspaces.
In this paper, we introduce the symmetric multiple Eisenstein series, a variant of the multiple Eisenstein series. As a fundamental result, we show that they satisfy the linear shuffle relation. As a case study, we investigate the vector space spanned by symmetric double Eisenstein series of weight $k$. When $k$ is even, it coincides with the space spanned by modular forms of weight $k$ and the derivative of the Eisenstein series of weight $k-2$. For $k$ odd, we prove that its dimension equals $\lfloor k/3\rfloor$. We further provide an explicit correspondence between the linear shuffle relation and the Fay-shuffle relation satisfied by elliptic double zeta values, which may be of independent interest. In connection with modular forms, we prove that every modular form can be expressed as a linear combination of symmetric triple Eisenstein series. This will serve as a first step toward understanding modular phenomena for symmeric multiple zeta values observed by Kaneko and Zagier.
We use the methods introduced by Lue Pan to study the locally analytic vectors of the completed cohomology of Shimura curves associated to an indefinite quaternion algebra $D$ which is ramified at a prime number $p$. Let $D_p^{\times}$ be the group of units of $D$ at $p$. Using $p$-adic uniformization of the quaternionic Shimura curves, we compute the Hecke eigenspace of the completed cohomology with the Hecke eigenvalues associated to a classical automorphic form on another quaternion algebra $\bar D$ (switching invariants of $D$ at $p,\infty$). We present this locally analytic $D_p^\times$-representation using the de Rham complex of the Lubin-Tate tower of dimension $1$. This is analogous to the Breuil-Strauch conjecture for the group $\mathrm{GL}_2(\mathbb{Q}_p)$. We show that the locally analytic $D_p^{\times}$-representation does not detect the Hodge filtration of the local de Rham Galois representation at $p$ in the crystalline case, and also give applications for the locally analytic Jacquet--Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$ and $D_p^\times$.
The paper presents fundamental metrical theorems for a class of continued fraction-like expansions known as $θ$-expansions. We first prove Khinchine's Weak Law of Large Numbers for the sum of digits, followed by the Diamond-Vaaler Strong Law for the sum of digits minus the largest one. Our main result is a general theorem on the failure of the strong law, showing that no regular norming sequence can yield a finite, non-zero almost sure limit. This result extends a classical theorem of Philipp to the $θ$-expansion setting. The proofs leverage the system's explicit invariant measure and a detailed analysis of its mixing properties.
Let $A = \mathbb{F}_q[T]$, $\mathfrak{p} \subset A$ prime, $f(x) \in A[x]$ irreducible and set $R = A[x]/f(x)$. Denote its completion by $R_\mathfrak{p}$. The ideal class monoid $\text{ICM}(R_\mathfrak{p})$ is the set of fractional $R_\mathfrak{p}$ ideals modulo the principal $R_\mathfrak{p}$ ideals. We provide an algorithm to compute $\text{ICM}(R_\mathfrak{p})$. In the process we also get algorithms to compute the overorders and weak equivalence classes of $R_\mathfrak{p}$. We then use the algorithms to compute the product of local Gekeler ratios $\prod_{\mathfrak{p} \subset A} v_\mathfrak{p}(f) = \prod_{\mathfrak{p} \subset A} \lim_{n \rightarrow \infty} \frac{|\{M \in \text{Mat}_r(A/\mathfrak{p}^n)\mid \text{charpoly}(M)=f\}}{|\text{SL}_r(A/\mathfrak{p}^n)|/|\mathfrak{p}|^{n(r-1)}}$. This provides part of an algorithm to compute the weighted size of an isogeny class of Drinfeld modules.
Several complexity measures such as degree, sparsity and multiplicative index for cryptographic functions including the Diffie-Hellman mapping and the discrete logarithm in a finite field have been studied in the literature. In 2022, Reis and Wang introduced another complexity measure, the additive index, of a self-mapping of a finite field. In this paper, under certain conditions, we determine lower bounds on the additive index of the univariate Diffie-Hellman mapping and a self-mapping of $\mathbb{F}_q$ which can be identified with the discrete logarithm in a finite field.
L. Bary-Soroker and R. Shmueli (2026) have given an asymptotic formula for the number of irreducible polynomials over the finite fields $\mathbb F_q$ of $q$ elements, such that their coefficients are perfect squares in $\mathbb F_q$ and also extended this to classes of polynomials with coefficients described by finitely many unions of intersections of polynomial images. Here we use a different approach, which allows us to obtain another generalisation of this result to polynomials with coefficients from small subgroups of $\mathbb F_q^*$. As a demonstration of the power of our approach, we also use it to count such irreducible polynomials with an additional condition, namely, with a prescribed value of their discriminant. This generalisation seems to be unachievable via the approach of L. Bary-Soroker and R. Shmueli (2026).
In this paper, we explore the relationship between Rankin-Cohen brackets for vector-valued modular forms and Petersson's inner products, deriving an explicit description of the adjoint map for the bracket operator. The study extends to the cases of Jacobi forms and skew-holomorphic Jacobi forms, establishing connections between their respective Rankin-Cohen brackets and those defined for vector-valued modular forms through an isomorphism. Adjoint maps for these extended bracket operators are also examined.
Let Y be a random variable whose moment-generating function exists in some neighborhood of the origin. While probabilistic Stirling numbers of the first and second kind have been introduced, early definitions often failed to satisfy fundamental orthogonality and inverse relations or lacked consistency with classical forms in the case when Y = 1. This paper addresses these limitations by utilizing redefined probabilistic Stirling numbers of the first kind and the second kind alongside their degenerate counterparts. Our primary objective is twofold: first,to introduce the probabilistic (degenerate) logarithm associated with Y, providing explicit expressions for various random variables and defining new probabilistic degenerate Daehee and Cauchy numbers; and second, to investigate probabilistic heterogeneous Stirling numbers and establish a probabilistic degenerate version of the Schlomilch formula, demonstrating that these new frameworks maintain the essential algebraic properties of their classical counterparts.
I investigate structural limitations of Presburger-arithmetic-based approaches to the Collatz problem. I show that the Collatz cycle equation admits a unique solution in the $2$-adic integers, which I term a \emph{ghost cycle}. These ghost cycles are shown to be genuine periodic orbits of the $2$-adic Collatz map, satisfying all local parity constraints. I prove unconditionally that the divisibility predicate $\mathcal{D}_y = \{(x, C) \in \mathbb{N}^2: (2^x - 3^y) \mid C\}$, which acts as the algebraic necessary condition for integrality, is not semilinear for any fixed number of odd steps $y \ge 1$. This result is established by demonstrating that the fibers of $\mathcal{D}_y$ exhibit unbounded periods, an obstruction to Presburger definability. Consequently, strategies relying solely on Presburger arithmetic or finite automata to define the integrality constraint cannot capture the distinction between ghost cycles and genuine integer cycles. I conclude with a heuristic argument suggesting that because ghost cycles satisfy the algebraic cycle equation, the non-existence of integer cycles cannot be proven solely through algebraic manipulation of the cycle equation itself.
Let $K$ be a number field with ring of integers $\mathcal{O}$ and $α\in\mathcal{O}$. For any prime ideal $\mathfrak{p}$ of $\mathcal{O}$, we obtain its higher $α$-Wieferich property, which implies a nonexistence theorem for higher Wieferich unramified prime ideals. If $β\in\mathcal{O}$ is relatively prime to $α$ and all prime ideal factors of $(β)$ are unramified and have residue degree $1$, we apply our higher $α$-Wieferich property to establish the asymptotic equidistribution of digits in $β$-adic expansions of $α^n$, which is a generalization of the Dupuy-Weirich theorem. When $(β)$ have ramified prime ideal factors, we also obtain a result on the block complexity of $β$-adic expansions of $α^n$.
Continued fractions with prescribed structures on sequences of their partial quotients have been intensively studied in the literature. As far as an integer sequence, especially a randomly generated one is concerned, an attractive question is whether it contains arbitrarily long arithmetic progressions. In this paper we study the fractal structure of irrational numbers whose sequences of partial quotients are strictly increasing and contain arbitrarily long, quantified arithmetic progressions.
Let $d>1$ be an integer and $K_0$ a perfect field such that $char(K_0)$ does not divide $d$. Let $n>d$ be an integer that is prime to $d$. Let $f(x)\in K_0[x]$ be a degree $n$ monic polynomial without repeated roots, and $\mathcal{C}_{f,d}$ a smooth projective model of the affine curve $y^d=f(x)$. Let $J(\mathcal{C}_{f,d})$ be the Jacobian of the $K_0$-curve $\mathcal{C}_{f,d} $. As usual, we identify $\mathcal{C}_{f,d}$ with its canonical image in $J(\mathcal{C}_{f,d})$ (such that the only ``infinite point'' of $\mathcal{C}_{f,d}$ goes to the zero of the group law on $J(\mathcal{C}_{f,d})$). We say that an integer $m>1$ is $(n,d)$-reachable over $K_0$ if there exists a polynomial $f(x)$ as above such that $\mathcal{C}_{f,d}(K_0)$ contains a torsion point of order $m$. Let us put $\ell_0:=[(n+d)/d], \ m_0:=\ell_0 d$. Earlier we proved that if $m$ is $(n,d)$-reachable, then either $m=d$ or $m = n$ or $m \ge m_0$ (in addition, both $d$ and $n$ are $(n,d)$-reachable over every $K_0$). We also proved that if $m_0$ is $(n,d)$-reachable over some $K_0$ then $n-m_0+\ell_0\ge 0$. In the present paper we discuss the $(n,d)$-reachability of $m_0$ when $n-m_0+\ell_0=0$ or $1$.
We say that $d_3(n)$ has exponent of distribution $θ$ if, for all $\varepsilon>0$, the expected asymptotic holds uniformly for all moduli $q \le x^{θ-\varepsilon}$. Nguyen proved that, after averaging over reduced residue classes $a \bmod q$, the function $d_3(n)$ has exponent of distribution $2/3$, following earlier work of Banks et al. Using the Petrow--Young subconvexity bound for Dirichlet $L$-functions, we improve this to an exponent of distribution $8/11$ when averaging over residue classes modulo a prime $q$.
We develop a Dieudonné theory for $p$-divisible groups using sheared Witt vectors.
For $χ_k$ a self$-$dual primitive Dirichlet character mod $k$ several reduced identities of Dirichlet $L-$functions $L_k(s):=L(s,χ_k)$, expressed as linear combinations of Hurwitz $ζ$ functions, are found for $s=2,3$ and some selected values of $k$. By using a merged approach between the Wilf$-$Zeilberger method and a Dougall$'$s $_5H_5$ technique, new proven accelerated series of hypergeometric$-$type are derived for specific Hurwitz $ζ$ function values. These fast series that are computed by means of the binary splitting algorithm, enter into the reduced identities found producing very efficient formulas to compute these selected $L-$functions. The new algorithms include $ζ(3):=L_1(3)$, (Apery$'$s constant), $G:=L_\text{-4}(2)$ (Catalan$'$s constant) as well as $\text{}L_\text{k}(2)\text{}$ for $k=-7, -8, -15, -20, -24$ together with $L_k(3)$ for $k=5, 8, 12$. Formulas were tested and verified up to 100 million decimal places for each $L-$value.
We study congruences relating Fourier coefficients of meromorphic modular forms and Frobenius eigenvalues of elliptic curves corresponding to their poles. We develop a $p$-adic cohomological framework that interprets these congruences via the interaction between the rigid cohomology of modular curves and the crystalline structure of the associated elliptic curves. Using comparison theorems and the Gysin sequence, we relate the Frobenius actions in cohomology to the $U_p$-operator acting on spaces of overconvergent modular forms. Our approach applies uniformly to both modular curves and Shimura curves admitting smooth integral models over $\mathbb{Z}_p$.
We show that the Hausdorff dimension of $\boldsymbol w$-weighted $τ$-exactly approximable vectors in $\mathbb R^d$ coincides with the Hausdorff dimension of $\boldsymbol w$-weighted $τ$-approximable vectors, generalizing a result of the first named author and De Saxcé.
In this paper we present a conjecture on the construction of generalised elliptic units above number fields with exactly one complex place. These elliptic units obtained as values of multiple elliptic Gamma functions. These form a collection of multivariate meromorphic functions which were studied in the late 1990s and early 2000s in mathematical physics. Our construction extends the scheme of a recent article by Bergeron, Charollois and García where they constructed conjectural elliptic units above complex cubic fields using the elliptic Gamma function. The elliptic units we construct are expected to generate specific abelian extensions of the base field where they are evaluated, thus giving a conjectural solution to Hilbert's 12th problem for the number fields with exactly one complex place. We provide several examples to support our conjecture in optimal cases for cubic, quartic and quintic fields.
We study the distance from quadratic irrational numbers to the middle-third Cantor set $C$. Mahler asked whether $C$ contains any irrational algebraic numbers; this remains open even for quadratic irrationals. Rather than assuming an answer to this problem, we obtain uniform lower bounds for the distance from a quadratic irrational $α$ to $C$ in terms of the height $H$ of the minimal polynomial of $α$. We encode $α$ by its orbit under the map $x \mapsto 3x \bmod 1$ and define the exit time $\operatorname{exit}(α)$ as the first iterate that enters the middle interval $[1/3,2/3]$. Our main unconditional result is a quadratic exit bound $\operatorname{exit}(α) \le A (\log_3 H)^2 + B$ for absolute constants $A,B > 0$, valid for all quadratic irrationals whose orbit stays a fixed small distance away from the coarse Cantor boundaries. As a consequence we obtain a distance lower bound $\operatorname{dist}(α,C) \ge H^{-κ\log H}$ for some constant $κ> 0$. On the dynamical side we classify orbits by an $L/M/R$ coding and prove that the total number of visits to the right interval $[2/3,1)$ is $O(\log H)$. A finite case analysis on a bounded portion of the orbit is reduced to checking a finite list of explicit affine inequalities on subintervals of $[0,1]$, which we verify with short computer scripts; all Diophantine and dynamical estimates are proved by hand.
In this article we continue the investigation of the length of the narrow $2$-class field tower of real quadratic number fields $\mathrm{k}$ whose discriminants are not a sum of two squares and for which their $2$-class groups are elementary of order $4$. Letting $\mathrm{G}$ equal the Galois group of the second Hilbert narrow $2$-class field over $\mathrm{k}$, and $[\mathrm{G}_i]$ denote the lower central series of $\mathrm{G}$, we give heuristic evidence that the length of the narrow $2$-class field tower of $\mathrm{k}$ is equal to $2$ when $\mathrm{G}/\mathrm{G}_3$ is of type $64.150$ (in the tables of Hall and Senior). We also give the formulation of the relevant unit groups of the narrow Hilbert $2$-class field for these fields.