Monotonicity and absolute convexity of two functions involving Riemann zeta function

2026-06-08T23:19:16Z

Let $ρ>0$ be a constant, let $j\ge0$ be an integer, and let $Γ(z)$ denote the Euler gamma function. With the aid of the integral representation for the Riemann zeta function $ζ(z)$, by virtue of a monotonicity rule, and by means of some properties of the function $\frac{1}{e^t-1}$ and its derivatives, the authors discuss the increasing monotonicity of the function $t\mapsto\binom{t+ρ+j}ρ\frac{ζ(t+ρ)}{ζ(t)}$, study the absolute convexity and logarithmic convexity of the function $t\mapstoΓ(t+j)ζ(t)$, and derive the increasing monotonicity and inequalities of some sequences involving the ratios $\bigl|\frac{B_{2n+2}} {B_{2n}}\bigr|$ of the Bernoulli numbers $B_{2n}$, where $\binom{z}{z}$ denotes the extended binomial coefficient.

A Tsang-range high-moment bound for $\operatorname{Im}\log L(\tfrac12+it,χ)$ under GRH

2026-06-08T23:09:36Z

Conditional on the Generalized Riemann Hypothesis for $L(s,χ)$, we prove the Selberg--Tsang high-moment bound for $X_χ(t) = \operatorname{Im}\log L(\tfrac12+it,χ)$ at fixed squarefree odd conductor $q \ge 3$ and primitive non-principal character $χ$. Writing $L_T = \log\log(qT)$: for every $K > 0$ there exist constants $C_K$ and $T_0$ such that $\frac{1}{T}\int_T^{2T} |X_χ(t)|^{2k}\,dt \le (C_K\,k\,L_T)^k$ for all $T \ge T_0$ and every integer $1 \le k \le K L_T$. The proof ports Selberg's pointwise approximate formula for $S(t)$ to $L(s,χ)$ at fixed conductor under GRH, splits it into three prime-power Dirichlet polynomials, and evaluates their moments via Soundararajan's mean-value lemma. As a corollary, Markov's inequality yields a Gaussian-scale tail $\exp(-c V^2 / L_T)$ for $\sqrt{L_T} \ll V \ll L_T$ -- a GRH-conditional, fixed-conductor, imaginary-part analogue of the large-deviation upper bounds known for $\log|ζ(\tfrac12+it)|$.

Uniqueness of Bessel models for GSpin groups

2026-06-08T21:55:16Z

We prove the uniqueness of general Bessel models for $\mathrm{GSpin}$ groups over a local field of characteristic zero. The proof is to reduce it to the spherical case, which has been proved by Emory and Takeda in the non-archimedean case and by Emory, Kim, and Maiti in the archimedean case.

A generic categorical local Langlands correspondence for quasi-split reductive groups

2026-06-08T20:27:05Z

We prove a generic categorical (arithmetic) local Langlands conjecture for a large class of quasi-split reductive $p$-adic groups $G$, including all quasi-split classical groups and some non-classical groups. More precisely, we construct a natural fully faithful functor from the stable $\infty$-category of generic Bernstein blocks on the automorphic side to the stable $\infty$-category of ind-coherent sheaves on the moduli stack of (arithmetic) $L$-parameters, generalizing earlier work of [BZCHN24] for $\mathrm{GL}_n$. Moreover, for an arbitrary quasi-split reductive $p$-adic group $G$, we formulate a classical local Langlands framework under which a classical correspondence can be lifted to an $\infty$-categorical correspondence. Furthermore, combined with the recent work of Hansen-Mann [HM26] and assuming the expected compatibility of Fargues-Scholze construction with spectral Eisenstein series, our results give the full Fargues--Scholze categorical local Langlands equivalence [FS24], without the genericity condition, for a large class of quasi-split reductive $p$-adic groups $G$.

Reciprocals of Subsum Polynomials

2026-06-08T19:13:33Z

We introduce the subsum polynomial of a partition $λ=(λ_1, λ_2, \ldots, λ_k)$ defined by $\mathrm{sp}(λ, x)=\prod_{i=1}^k(1+x^{λ_i})$. We study the sum of reciprocals of $\mathrm{sp}(λ, x)$ over all partitions of $n$. We prove arithmetic properties of related polynomials and offer connections to other combinatorial objects.

A Family of Congruences Modulo 7 for Partitions with Monochromatic Even Parts and Multi--Colored Odd Parts

2026-06-08T18:35:59Z

In recent work, Amdeberhan and Merca considered the integer partition function $a(n)$ which counts the number of integer partitions of weight $n$ wherein even parts come in only one color (i.e., they are monochromatic), while the odd parts may appear in one of three colors. One of the results that they proved was that, for all $n\geq 0$, $a(7n+2) \equiv 0 \pmod{7}$. In this work, we generalize this function $a(n)$ by naturally placing it within an infinite family of related partition functions. Using elementary generating function manipulations and classical $q$--series identities, we then prove infinitely many congruences modulo 7 which are satisfied by members of this family of functions.

Ind-Banach approach to Grothendieck duality in Rigid-analytic geometry

2026-06-08T18:33:56Z

We prove a duality theorem for quasi-compactly supported cohomology of quasi-coherent sheaves on rigid-analytic spaces, with respect to a smooth and Kiehl partially-proper morphism. This includes an identification of the dualizing object with volume forms. The functional analysis underlying our theory does not use condensed mathematics, but rather Ind-Banach spaces, following Ben-Bassat--Kelly--Kremnizer. Nevertheless, our overall strategy is inspired by that of Clausen--Scholze in the complex-analytic setting.

An elementary algebraic proof of the fundamental theorem of algebra

2026-06-08T18:26:24Z

We provide a new, elementary, algebraic proof of the fundamental theorem of algebra. Furthermore, the method recovers a more general version of the theorem recently obtained by Joseph Shipman. The key idea is to understand extension fields in which a polynomial gains a factor of a given degree.

On partial T-adic exponential sums and partial exponential sums with p-power conductor

2026-06-08T18:14:50Z

Liu and Wan introduced T-adic exponential sums as a way to interpolate all character sums with character having p-power conductor. In this paper, we generalize their T-adic theory to partial T-adic exponential sums. We prove that the associated L-functions are T-adic meromorphic, and as a consequence, give a p-adic proof of rationality for all partial L-functions of characters with p-power conductor. We also give Newton-over-Hodge estimates.

Maximal Transcendentality of the Double-Scaled PCM

2026-06-08T18:00:00Z

We prove, to all orders, maximal transcendentality of the strongly coupled large-N Principal Chiral Model in the double-scaling regime introduced in our earlier work. We also prove that, after a natural shift of the coupling constant, the coefficients of the vacuum-energy expansion are expressed purely as polynomials in odd zeta values with rational coefficients. The first 35 explicitly computed orders reveal further number-theoretic regularities, pointing to hidden structure beyond maximal transcendentality.

A note on large values of Dirichlet $L$-functions for characters of fixed order at $1/2<σ\leq 1$

2026-06-08T17:56:34Z

In this note, we use a simple argument to show the existence of large values of conjecturally sharp size for Dirichlet $L$-functions attached to primitive characters of fixed order at $σ\in (1/2, 1]$. More precisely, for every fixed integer $g\geq 2$ we prove the existence of a primitive character $χ$ of order $g$ and conductor $Q\asymp x$ such that $|L(1,χ)| \geq e^γ\left(\log\log x+\log\log\log x-\log(2\log g)+o(1)\right). $ We also show that for every fixed $1/2<σ<1$ there exists a primitive character $χ$ of order $g$ and conductor $Q\asymp x$ such that $\log |L(σ,χ)| \geq \left(C_g(σ)+o(1)\right) (\log x)^{1-σ}(\log\log x)^{-σ}, $ for some explicit positive constant $C_g(σ).$ Previously, such bounds were known only conditionally on the Generalized Riemann Hypothesis, and even then only in the special cases $g=2$ and $g=3$.

Problems in additive number theory, VII: The structure of additive $h$-bases for $n$

2026-06-08T17:53:12Z

In additive number theory, a finite set $A$ of integers is an $h$-basis for $n$ if every integer in $\{0,1,2,\ldots, n\}$ can be represented as the sum of exactly $h$ not necessarily distinct elements of $A$. This paper introduces a new class of problems for these and related additive bases. The problems are designed, in part, to be susceptible to solution by AI.

Joint Sato-Tate Laws for Transformations of Hecke Eigenvalues: The Vertical Case

2026-06-08T17:14:52Z

We introduce a framework within which a large class of joint equidistribution problems can be studied and resolved with effective error terms. This involves proving a higher dimensional and $μ$-analogue of the Erdös-Turán inequality, and utilizing the theory of the Hardy-Krause (H-K) variation from analysis, where, in particular, we formulate a technique to approximate a broad class of relevant functions by functions of bounded H-K variation. Our main focus will be on the vertical Sato-Tate problem for spaces of cusp forms and for families of elliptic curves over finite fields. In particular, we obtain novel results concerning the distribution of arithmetic relations, and, more generally, multi-dimensional functions of Fourier coefficients and Frobenius traces.

Power Integral Bases in Polynomial Compositions

2026-06-08T17:02:42Z

In this paper, we study the monogeneity of a special class of composed polynomials of the form $ (f \circ g)(x) = (x^m + c)^n + a(x^m + c)^{n-1} + d(x^m + c)^{n-2} + b,$ where $ f(x) = x^n + a x^{n-1} + d x^{n-2} + b \in \mathbb{Z}[x] $ satisfies $ a^2 = 4d $ and $ g(x) = x^m + c \in \mathbb{Z}[x] $. Assuming that $ (f \circ g)(x) $ is irreducible over $ \mathbb{Q} $, we obtain necessary and sufficient conditions on the parameters $ a, b, c, d, m, n $ for the polynomial to be monogenic. These conditions help to identify when the set $ \{1, θ, \dots, θ^{mn-1}\} $ forms an integral basis of the number field $ \mathbb{Q}(θ) $, where $ θ$ is a root of $ (f \circ g)(x) $. We also provide lower bound for the counting of such monogenic polynomials. Furthermore, we study the behaviour of solutions to certain related differential equations and present a class of polynomials with non-square-free discriminants as an application of the main results.

Bertini theorems for Hilbert-Samuel multiplicity over finite fields

2026-06-08T16:10:57Z

Let $X\subseteq \mathbb{P}^n_{\mathbb{F}_q}$ be a reduced, equidimensional, quasiprojective scheme. We prove that there exists a positive-density set of hypersurfaces $H_f$ such that for every closed point $P\in X\cap H_f$, one has $\mathrm{ord}_P(f)=1$ and $e_P(X\cap H_f)=e_P(X)$.