https://arxiv.org/api/3LVP1bTkE5BKJqfI/QB8ntV/6rg 2026-06-18T22:02:43Z 49268 405 15 http://arxiv.org/abs/2606.02123v1 2026-06-01T11:53:00Z

Maesaka, Seki and Watanabe proved a formula for multiple harmonic sums. Yamamoto generalized it to Schur-type multiple harmonic sums, and the second author proved a $q$-analogue of this generalization. In this paper, we give two applications of the $q$-analogue formula. The first is an alternative proof of the duality of a $q$-analogue of multiple zeta values. The second is a proof of an identity for a $q$-analogue of the Kawashima function.

2026-06-01T11:53:00Z Yoshihiro Takeyama Yuto Tsuruta http://arxiv.org/abs/2606.05223v1 2026-06-01T11:06:04Z

In this note we provide corrections to Theorem 5.4 of the paper ``Isomorphism classes of Drinfeld modules over finite fields'', arXiv:2209.15033. The main theorems of this paper, Theorem A and B in its introduction, are valid as stated; in the proof of Theorem B the argument needs to be modified by replacing the erroneous Theorem 5.4 by the theorem of this note.

2026-06-01T11:06:04Z 8 pages Valentijn Karemaker Jeffrey Katen Mihran Papikian 10.1016/j.jalgebra.2026.05.009 http://arxiv.org/abs/2605.10677v2 2026-06-01T09:49:11Z

Generalized Euler numbers have previously been studied mainly from a combinatorial viewpoint. The purpose of this paper is to explore them from $p$-adic and analytic perspectives. To this end, we introduce congruential Euler numbers, a new family extending generalized Euler numbers. We establish several $p$-adic congruences for these numbers, including an answer to a conjecture related to Lehmer numbers. Furthermore, using complex analytic methods, we derive expressions for even zeta values in terms of congruential Euler numbers. These results suggest that certain types of these numbers may possess connections with arithmetic or analytic structures beyond their purely combinatorial role as generalizations of Euler-type numbers.

2026-05-11T14:56:02Z 22 pages, 2 tables. In v2, corrected typos, strengthened several results, and improved the exposition Yuta Nishibuchi http://arxiv.org/abs/2606.01919v1 2026-06-01T08:53:30Z

For a nonnegative integer $k$ and a rational number $r\in\mathbb{Q}^+$, we define the generalized Gaussian binomial coefficient $\qbinom{r+k}{k} = \frac{(q^{r+1}; q)_k}{(q; q)_k}$. When $r=a/b$ with $a,b$ coprime positive integers and $b\geq 2$, expanding $\qbinom{r+k}{k}$ via the finite $q$-binomial theorem produces fractional powers of $q$, so that $\qbinom{r+k}{k}$ is a \emph{Puiseux series} in $q$ with nonnegative exponents; concretely it lies in $\mathbb{Q}[[q^{1/b}]]$. The notion we single out is the \emph{integer trace} of this expansion, the subseries consisting of those terms $c_r(d)\,q^d$ whose exponent $d$ is an integer, with all fractional powers discarded. This projection is not standard, and there is no a~priori reason for the surviving coefficients to behave coherently as $r$ varies. Nonetheless, ordering the family by the coefficientwise partial order leads to the \emph{$\tfrac{1}{2}$-Conjecture}: among all $r\in\mathbb{Q}^+$, the value $r=\tfrac{1}{2}$ maximizes the integer trace, in the sense that the coefficients of $\qbinom{1/2+k}{k}$ dominate those of $\qbinom{r+k}{k}$ coefficientwise for every $r$. That so elementary a definition should single out $\tfrac{1}{2}$ this cleanly came as a surprise to us. We prove the conjecture in several special cases and provide further computational evidence.

2026-06-01T08:53:30Z Guo-Niu Han Huan Xiong http://arxiv.org/abs/2509.06248v2 2026-06-01T07:51:33Z

Hardy's $Z$-function $Z(t)$ is a real-valued function of the real variable $t$, and whose zeros correspond exactly to the zeros of the Riemann zeta-function on the critical line. In 2012, K. Matsuoka showed that for every non-negative integer $k$, there exists a $T=T(k)>0$ such that $Z^{(k+1)}(t)$ has exactly one zero between consecutive zeros of $Z^{(k)}(t)$ for $t\ge T$ under the Riemann Hypothesis. In this paper, we extend Matsuoka's theorem to $L$-functions in extended Selberg class.

2025-09-08T00:05:57Z 14 pages Hirotaka Kobayashi http://arxiv.org/abs/2606.01831v1 2026-06-01T07:45:10Z

We apply the class field theory and Minkowski bound to obtain an upper bound estimate for the number of solutions to the restricted ramifications when the Galois group is solvable. Together with suitable conditions on the solvable group and the ordering of number fields, we could prove an upper bound on specific field-counting problems, hence the infinite moment of the class groups. In particular, for non-Galois cubic fields ordered by the product of ramified primes, we could show that the $\mathbb{Z}/3\mathbb{Z}$-moment is infinite with the results on the $\mathbb{Z}/3\mathbb{Z}$-moment of quadratic number fields and the field-counting on cubic fields ordered by the generalized discriminant.

2026-06-01T07:45:10Z Weitong Wang http://arxiv.org/abs/2606.01780v1 2026-06-01T07:02:08Z

For positive integers $N$ and $k$, let $f(N,k)$ be the minimum size of a set $A\subseteq\{0,1,\ldots,N-1\}$ which intersects every $k$-term arithmetic progression contained in $\{0,1,\ldots,N-1\}$. Brown and Freedman introduced this hitting problem for arithmetic progressions and studied it for growing $k$. The square-root scale $k=\sqrt N$ is a natural transition point. Truss proved \[ f(n^2,n)>n+\frac12 n^{1/2}-2. \] We improve the leading constant in the second-order term, proving \[ f(n^2,n)\ge n+\left(\frac1{\sqrt2}+o(1)\right)n^{1/2}. \] On the upper-bound side, Brown and Freedman proved $f(p^2,p)\le 2p-2$ for odd primes $p$, and subsequent Szekeres-type constructions give logarithmic savings. We prove the stronger asymptotic upper bound \[ f(p^2,p) \le 2p-\left(\sqrt{\frac23}-o(1)\right)\sqrt{\frac p{\log p}} \] for sufficiently large prime $p$. The upper bound is obtained by a randomized front construction with an alteration step.

2026-06-01T07:02:08Z Samuel Korsky http://arxiv.org/abs/2605.26775v2 2026-06-01T06:30:56Z

We generalize and prove the recursive relation \[ S_λ(V) = \sum_{L\subseteq V\text{ line}} S_λ(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a family of polynomials over a finite field that mimic the (straight and skew) Schur polynomials using powers of the Frobenius.

2026-05-26T09:46:02Z 47 pages, of which the first 21 prove the main result. Includes some exposition. Errata for Macdonald's original paper, with some more omitted details, are included as ancillary file. Comments are welcome! v2 adds a reference to a parallel development of the same results Darij Grinberg http://arxiv.org/abs/2606.01740v1 2026-06-01T06:03:42Z

Massera and Schaffer [\textit{Ann. Math. (2), 1958}] derived a breakthrough upper bound for the Clarkson angle between two nonzero vectors in a normed linear space, which was later improved by Maligranda [\textit{Am. Math. Mon., 2006}]. Pecaric and Rajic [\textit{Math. Inequal. Appl., 2007}] extended Maligranda's inequality to finitely many nonzero vectors. We derive a non-Archimedean version of Massera-Schaffer-Maligranda-Pecaric-Rajic inequality.

2026-06-01T06:03:42Z 5 Pages, 0 Figures K. Mahesh Krishna http://arxiv.org/abs/2312.00211v3 2026-06-01T04:11:50Z

The goal of this paper is twofold; on one hand we wish to present some statements that can be formulated in terms of Interpolation theory which are equivalent to the truth or the falseness of the Riemann Hypothesis, on the other hand we will use a key result of the Jawerth-Milman extrapolation to improve on a well-known criterion by Beurling and Nyman for the Riemann Hypothesis giving sharper sufficient conditions to the celebrated hypothesis.

2023-11-30T21:46:53Z Álvaro Corvalán http://arxiv.org/abs/2606.01633v1 2026-06-01T03:34:54Z

Büyükaşik et al. [Publ. Math. Debrecen, 2024] introduced a family of generalizations of Euler's totient function $\varphi(n)$, by setting $\varphi_k(n) = \sum_{a} a^k$ for $a \in [1, n]$ such that $(a, n) = 1$, with $\varphi_0(n) = \varphi(n)$. Letting $\mathcal{D}_{s} = \{ k \geq s : \forall n \geq 1 \ \varphi_s(n) \mid \varphi_k(n) \}$, Büyükaşik et al. proved that $\mathcal{D}_{s}$ is finite for each $s \geq 0$, and conjectured that $\mathcal{D}_{1} = \{ 1, 3, 15 \}$ and provided computations to support this conjecture. We succeed in proving this conjecture, using an argument based on our extensive interactions with GPT-5.5 Pro.

2026-06-01T03:34:54Z Submitted for publication John M. Campbell http://arxiv.org/abs/2606.01571v1 2026-06-01T02:20:46Z

Let $X$ be a geometrically irreducible smooth projective curve over a field $k$. Yamazaki et al. define a biadditive symmetric pairing $\langle -,-\rangle$ on the torsion subgroup of the Picard group $\mathrm{Pic}(X)$ with values in $k^\times \otimes \mathbb{Q}/\mathbb{Z}$. The intrinsic subgroup $\mathrm{Pic}(X)_\mathrm{tors}^\mathrm{is}$ is the kernel of this pairing. When $X$ is an elliptic curve $E$, we can identify $E \simeq \mathrm{Pic}^0(E)$. We classify $E(k)_\mathrm{tors}^\mathrm{is}$ in purely algebraic terms for many elliptic curves over an arbitrary field $k$. We give a generalization of the analytic methods of Yamazaki et al. from $\mathbb{Q}$ to an arbitrary field $k \subset \mathbb{C}$. Lastly, for $k=\mathbb{Q}$, we describe an algorithm to explicitly compute $E(\mathbb{Q})_\mathrm{tors}^\mathrm{is}$.

2026-06-01T02:20:46Z 5 pages Jacob Greene http://arxiv.org/abs/2411.07857v4 2026-06-01T01:49:13Z

We show how Hilbert modular forms can be used in the constructive inverse Galois problem over the rationals. In particular, we prove that the transitive permutation group 17T7, isomorphic to a split extension of C_2 by PSL_2(FF_16), is a Galois group over the rationals and exhibit an explicit degree 17 polynomial with this Galois group. The group arises from the field of definition of the 2-torsion on an abelian fourfold with real multiplication defined over a real quadratic field; we find such a fourfold attached to a Hilbert modular form. Building upon work of Dembele, we describe a method for reconstructing a period matrix attached to a Hilbert modular form, and we use it to construct the 2-isogeny polynomial. We also rigorously identify the relevant fourfold as the Jacobian of a genus 4 Shimura curve and compute explicit equations for this curve.

2024-11-12T15:15:11Z v3, 29 pages, many thanks for referee feedback Raymond van Bommel Edgar Costa Noam D. Elkies Timo Keller Sam Schiavone John Voight http://arxiv.org/abs/2402.14969v2 2026-06-01T00:58:01Z

In a recent paper, the author and Stöhr established a bound on the number of iterated Frobenius pullbacks needed to transform a non-smooth purely inseparable point on a regular geometrically integral curve into a rational point. In this paper we improve this result, by establishing a new bound that is sharp in every characteristic $p>0$.

2024-02-22T21:08:03Z 13 pages. Comments are very welcome! Cesar Hilario http://arxiv.org/abs/2606.01514v1 2026-06-01T00:34:32Z

Let $λ(n)$ denote the Fourier coefficients of a fixed modular form and $h(n)$ a Steinhaus or Rademacher random multiplicative function. In this paper, we determine, under the generalized Riemann hypothesis, the order of magnitude of $\E|\sum_{n \leq x} h(n)λ(n)|^{2q}$ up to factors of size $e^{O(q^2)}$, for all real $x, q$ with $1 \leq q \leq c\log x/\log\log x $ and $c>0$ a small constant.

2026-06-01T00:34:32Z 23 pages Peng Gao Liangyi Zhao