Number Theory [math.NT]

On the 3-adic Valuation of a Cubic Binomial Sum

math.NT

In this short note, we prove a conjecture recently posed by Alekseyev, Amdeberhan, Shallit, and Vukusic on the 3-adic valuation of a cubic binomial sum.

The M \"obius Disjointness Conjecture on infinite-dimensional torus

math.NT

math.DS

Let $\mathbb{T}^\omega$ be the infinite-dimensional torus, and $T: \mathbb{T}^\omega\to \mathbb{T}^\omega$ be defined by \[ T: (x_1, x_2, \dots, x_k, \ldots) \mapsto (x_1 + \alpha, x_2 + h(x_1), \dots, x_k + h(x_1 + (k-2)\beta), \dots) \] with $\alpha\in \mathbb{R}, \beta\in \mathbb{R}\backslash\mathbb{Q},$ and $h: \mathbb{R}\to \mathbb{R}$ being $1$-period and $C^{1+\varepsilon}$-smooth. This flow $(\mathbb{T}^\omega, T)$ is distal, and is also irregular in the sense that its Birkhoff average does not exist for all $x\in \mathbb{T}^\omega$. The main result of this paper is that the M \"obius Disjointness Conjecture of Sarnak holds for $(\mathbb{T}^\omega, T)$.

$p$-adic Principal Component Analysis

math.NT

We formulate a $p$-adic optimisation problem on matrix factorisation, and investigate a heuristic method for it analogous to PCA.

On the distribution of shapes of totally real multiquadratic number fields

math.NT

The shape of a number field $K$ of degree $m$ is defined as the equivalence class of the lattice of integers under linear operations generated by rotations, reflections, and positive scalar dilations. It may be viewed as a point in the space of shapes $\mathscr{S}_{m-1} = \mathrm{GL}_{m-1}(\mathbb Z)\backslash \mathrm{GL}_{m-1}(\mathbb R)/\mathrm{GO}_{m-1}(\mathbb{R})$. The double quotient space is equipped with a natural measure $\mu$ which is induced from the Haar measure on $\mathrm{GL}_{m-1}(\mathbb R)$. We study the distribution of shapes of totally real multiquadratic number fields of degree $m:=2^n$ in which $2$ is unramified. We show that the distribution is governed by the restriction of $\mu$ to a certain torus orbit in $\mathscr{S}_{m-1}$. Our result resolves a conjecture of Haidar.

Introduction to Dieudonn\'e modules and supersingular abelian varieties revisited

math.NT

In this Note we present an expository account for \dieu modules and revisit supersingular abelian varieties. We give a simple proof of the uniqueness of products of two or more supersingular elliptic curves (a theorem due to Deligne, Ogus and Shioda), and of Oort's theorem for superspecial abelian varieties.

Iwasawa Main Conjecture for ordinary semistable elliptic curves over global function fields

math.NT

math.AG

Let $A$ be an ordinary elliptic curve over a global function field $K$ of characteristic $p$, assumed semistable at every place, and let $L/K$ be a $\mathbb{Z}_p^d$-extension ramified only at finitely many places where $A$ has ordinary reduction. Building on the framework of [Tan26] (arXiv:2603.10576), we prove the Iwasawa Main Conjecture for $A$ over $L$, subject to a technical $\mu$-invariant hypothesis that is already detected after specialization to the unramified $\mathbb{Z}_p$-extension. The principal new input is a `$\chi$-formula' that compares appropriate $\chi$-isotypic characteristic ideals of Selmer modules with the corresponding specializations of the $p$-adic $L$-function. Finally, to show that our $\mu$-hypothesis is non-vacuous, we prove, for $p>3$, that the hypothesis holds on a Zariski open dense locus in the moduli of semistable elliptic curves.

On the discrete mean square of certain hybrid sum involving $a_{\mathbb{K}}(n)$

math.NT

Let $\mathbb{K}$ be a non-normal algebraic number field of cubic degree given by the polynomial $x^{3}+ax^{2}+bx+c$ of discriminant $D_{\mathbb{K}}<0$. For sufficiently large $x$, we establish an asymptotic formula for the hybrid sum $$\sum\limits_{\substack{n= \sum_{i=1}^{8}n_{i}^{2}\leq x\\ (n_{1},n_{2},n_{3},n_{4},n_{5},n_{6},n_{7},n_{8})\in \mathbb{Z}^{8} }} a_{\mathbb{K}}^{2}(n)$$ with a tight error term.

Badly approximable points on non-linear carpets

math.NT

math.DS

math.MG

The badly approximable points in $\mathbb{R}^d$ are those for which Dirichlet's approximation theorem cannot be improved by more than a constant, that is, they are the points most difficult to approximate by rational vectors. An important problem in Diophantine approximation is to determine when the set of badly approximable points intersects a given set in full dimension. We find the first class of non-linear non-conformal attractors for which this full intersection property holds, thus answering a question of Das-Fishman-Simmons-Urba\'nski from 2019. We also provide a formula for the Hausdorff dimension of these attractors which is of independent interest.

On the $2$-adic valuation of $\sigma_k(n)$

math.NT

For a positive integer $k$, let \[ \sigma_k(n)=\sum_{d\mid n} d^k \] be the divisor function of order $k$, and let $\nu_p(m)$ denote the $p$-adic valuation of an integer $m$. Motivated by recent work on the $p$-adic valuation of $\sigma_k(n)$, we study $\nu_2(\sigma_k(n))$ in detail. We prove that, for every integer $n\ge 2$, \[ \nu_2(\sigma_k(n)) \le \begin{cases} \lceil \log_2 n \rceil, & \text{if $k$ is odd},\\[1mm] \lfloor \log_2 n \rfloor, & \text{if $k$ is even}. \end{cases} \] These bounds are best possible. More precisely, if $k$ is odd, then equality holds if and only if $n$ is a product of distinct Mersenne primes; if $k$ is even, then equality holds if and only if $n=3$. We also obtain an explicit formula for $\nu_2(\sigma_k(n))$ in terms of the prime factorization of $n$.

The distribution of large values of mixed character sums

math.NT

In this paper, we investigate the distribution of values of the complete exponential sum $S_{p,\chi}(\theta)=\sum_{n=1}^p \chi(n)e(n\theta)$, where $p$ is a large prime, $\chi$ is a Dirichlet character (mod $p$) of order $d\geq 2$, and $\theta$ varies over certain subsets of $[0,1]$. When $d=2$, these sums correspond to the values of the Fekete polynomial associated with $p$ on the unit circle. Our first result gives precise estimates for the tail of the distribution of $|S_{p,\chi}(\theta)|$ in a large uniform range, when $\theta$ varies over the set $\{(k+1/2)/p\}_{1\leq k\leq p}$. This improves upon a result of Conrey, Granville, Poonen, and Soundararajan. We also consider the distribution of the maximum of $|S_{p,\chi}(\theta)|$ for $\theta\in I_k=[k/p,(k+1)/p]$, and obtain upper and lower bounds for the distribution of large values of this maximum, valid in a uniform range that is nearly optimal: we make this precise in the paper. Our results provide strong support for a conjecture of Montgomery on the maximum of Fekete polynomials on the unit circle. In particular, we show that the distribution function exhibits double-exponential decay, with a surprising difference in behavior between the cases of even and odd order $d$.

Combinatorial designs and the Prouhet--Tarry--Escott problem

math.CO

math.NT

This is the first paper that provides a systematic treatment of the $r$-dimensional PTE problem in additive number theory, abbreviated by PTE$_r$, through its connection with combinatorial design theory, the branch of combinatorial mathematics that deals with finite set systems or arrangements with the ^^ balancedness' conditions. We first propose a combinatorial reconsideration of the definition of nontrivial solution introduced by Alpers and Tijdeman (2007), and then prove a fundamental lower bound for the size of such solutions. We exhibit high-dimensional minimal solutions with respect to the fundamental bound, which inherently have the structure of distinctive block designs or orthogonal arrays (OAs). Next, we develop a powerful method for constructing PTE$_r$ solutions via various classes of combinatorial designs such as block designs and OAs. Furthermore, we explore two dimension-lifting methods for constructing PTE$_r$ solutions: one is a combinatorial composition that produces PTE$_r$ solutions by embedding lower-dimensional solutions into OAs with $r$ columns, and the other is a recursive technique in which a PET$_r$ solution is constructed by taking the Cartesian product of two lower-dimensional solutions. It is emphasized that our results generalize many previous works, including a measure-theoretic construction by Lorentz (1949) and its geometric analog by Alpers and Tijdeman (2007), a key lemma in Jacroux's work (1995) on the construction of sets of integers with equal power sums, and the famous Borwein solution and its two-dimensional extension by Matsumura and Sawa (2025). In addition, we prove a characterization theorem for ideal solutions of the PTE$_1$ and discuss the connection with a curious phenomenon, called half-integer design, that is rarely reported in the combinatorial design theory or spherical design theory.

On an Overpartition Analogue of $SOME(n)$

math.CO

math.NT

Recently, Andrews and Dastidar introduced the partition function $SOME(n)$, defined as the sum of all the odd parts in the partitions of $n$ minus the sum of all the even parts in the partitions of $n$. They derived its generating function and established some congruences satisfied by \(SOME(n)\). In this paper, we introduce an overpartition analogue of $SOME(n)$, denoted by $\overline{SOME}(n)$, the sum of all the odd parts in the overpartitions of \(n\) minus the sum of all the even parts in the overpartitions of \(n\). We derive the generating function for $\overline{SOME}(n)$ and obtain congruences modulo \(3, \ 5\) and powers of \(2\). Our method is based on classical $q$-series identities and manipulations of infinite products and sums.

Primitive-Root Determinant Densities over Prime Fields and Implications for PRIM-LWE

cs.CR

math.NT

The \textsc{prim-lwe} problem (Sehrawat, Yeo, and Desmedt, \emph{Theoret.\ Comput.\ Sci.}\ 886, 2021) is a variant of Learning with Errors requiring the secret matrix to have a primitive-root determinant. The dimension-uniform reduction constant is $c(p)=\inf_{m\ge 1}c_m(p)$, where $c_n(p)$ is the density of $n\times n$ matrices over~$\mathbb{F}_p$ with primitive-root determinant. Those authors asked whether $\inf_{p\text{ prime}}c(p)=0$, noting that an affirmative answer would follow from the conjectural infinitude of primorial primes. We resolve this unconditionally using only Dirichlet's theorem and Mertens' product formula, bypassing the primorial-prime hypothesis entirely. We establish the sharp order $\min_{p\le x}c(p)\asymp 1/\log\log x$, prove that $c(p)$ possesses a continuous purely singular limiting distribution over the primes with support exactly $[0,1/2]$, and derive explicit lower bounds on $c(q)$ for primes of cryptographic interest parameterized solely by~$\omega(q{-}1)$, the number of distinct prime factors of~$q{-}1$. These bounds apply to every prime~$q$ whose predecessor has controlled factorization structure, as measured by~$\omega(q{-}1)$; this includes many NTT-friendly moduli, though NTT-friendliness alone does not imply the needed bound. For the NIST-standardized moduli $q=3329$ (ML-KEM) and $q=8380417$ (ML-DSA), the dimension-uniform expected rejection-sampling overhead~$1/c(q)$ is at most $2.17$ and $3.42$, respectively. As a simple conservative bound, for any prime $q>2^{30}$ one has $1/c(q)\le 1.79\log q$. The worst-case overhead among primes $p\le x$ is $\Theta(\log\log x)$, and pointwise $1/c(q)=O(\log\log q)$.

Exceptional theta correspondences via Plancherel formulas for rank one symmetric spaces

math.RT

math.NT

We consider the minimal representation of (a finite cover of) the conformal group of a simple split Jordan algebra over $\mathbb{R}$ or $\mathbb{C}$, whenever it exists. The conformal group contains a natural dual pair $G\times G'$, where $G$ is essentially the automorphism group of the Jordan algebra and $G'$ is either $\operatorname{PSL}(2,\mathbb{R})$, $\operatorname{PGL}(2,\mathbb{R})$ or $\operatorname{PGL}(2,\mathbb{C})$. The groups $G$ that arise in this way include the complex exceptional group of type $F_4$ as well as its compact and split real form. We explicitly determine the direct integral decomposition of the minimal representation restricted to the corresponding cover of $G\times G'$. This yields a one-to-one correspondence between certain representations of $G$ and (a finite cover of) $G'$. The representations of $G$ that occur in this correspondence are in the support of the Plancherel measure for a rank one symmetric space for $G$, and the proof makes use of the corresponding Plancherel formula.

Construction of Local Arthur Packets for Metaplectic Groups and the Adams Conjecture

math.RT

math.NT

In this article, we explicitly construct local Arthur packets for metaplectic groups over non-Archimedean local fields of characteristic zero. Our construction is a generalization of Atobe's construction of local Arthur packets for classical groups. As a result, we prove that the local Arthur packets are multiplicity free. Moreover, we generalize Moeglin's earlier work about the Adams conjecture to metaplectic groups.

Geometry-of-numbers methods over global fields I: Prehomogeneous vector spaces

math.NT

v2

We develop geometry-of-numbers methods to count orbits in prehomogeneous vector spaces having bounded invariants over any global field. As our primary example, we apply these techniques to determine, for any base global field $F$, the density of discriminants of field extensions of degree at most 5 over $F$.

Linear patterns of prime elements in number fields

math.NT

math.AG

math.CO

v5

We prove a number field analogue of the Green--Tao--Ziegler theorem on simultaneous prime values of degree 1 polynomials whose linear parts are pairwise linearly independent. Applications of our results include a Hasse principle of rational points for certain fibrations $X\to \mathbb{P}^1$ over number fields $K$ which had only been available over $\mathbb Q $ by Harpaz--Skorobogatov--Wittenberg, and construction of elliptic curves having some specified ranks due to Koymans--Pagano and Zywina. This latter family of results led to a negative answer to a generalized Hilbert Tenth Problem.

On the natural density of integers $n$ for which $\sigma(kn+r_1) >\sigma(kn+r_2)$

math.NT

v2

For any positive integer $n$, let $\sigma(n)=\sum_{d\mid n} d$. In 2020, M. Kobayashi and T. Trudgian showed that the natural density of positive integers n with $\sigma(kn+r_1) \geq \sigma(kn+r_2)$ is between 0.053 and 0.055. In this paper, we extend their result. For integers $k>r_1>r_2\geq 0,$ we provide an estimate on the natural density of positive integers $n$ for which $\sigma(kn+r_1) > \sigma(kn+r_2)$. We also calculate some special cases with certain $k,r_1$ and $r_2$. We also compute explicit bounds for specific $k,r_1,r_2$ to illustrate the variation of density.

On $\mathfrak{P}$-adic continued fractions with extraneous denominators: some explicit finiteness results

math.NT

v2

Let $K$ be a number field. We show that, up to allowing a finite set of denominators in the partial quotients, it is possible to define algorithms for $\mathfrak P$-adic continued fractions satisfying the finiteness property on $K$ for every prime ideal $\mathfrak P$ of sufficiently large norm. This provides, in particular, a new algorithmic approach to the construction of division chains in number fields.

Mordell-Tornheim multiple zeta-functions, their integral analogues, and relations among multiple polylogarithms

math.NT

v3

We study the asymptotic behavior of a multiple series of Mordell-Tornheim type and its integral analogue at x=0. Our approach is to show a relation between the multiple series and its integral analogue by using Abel's summation formula, and to deeply investigate the behavior of the integral analogue. Additionally, we establish some nontrivial relations among multiple polylogarithms by comparing two seemingly different asymptotic formulas for the integral analogue.

On $p$-adic Asai $L$-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded $p$-adic $L$-functions

math.NT

v3

Let $p$ be an odd prime integer, $F/\mathbb{Q}$ be an imaginary quadratic field, and $\Psi$ be a small slope cuspidal Bianchi modular form over $F$ which is non-ordinary at $p$. In this article, we first construct a $p$-adic distribution $L^{\mathrm{As}}_{p}(\Psi)$ that interpolates the twisted critical $L$-values of Asai (or twisted tensor) $L$-function of $\Psi$, generalizing the works of Loeffler--Williams from the ordinary case to the non-ordinary case. To obtain this distribution, we construct some polynomials using Asai--Eisenstein elements: the Betti analogue of the Euler system machinery, developed by Loeffler--Williams. We use some techniques analogous to those of Loeffler--Zerbes for interpolating the twists of Beilinson--Flach elements arising in the Euler system associated with Rankin--Selberg convolutions of elliptic modular forms. We also use the interpolation method developed by Amice--V\'elu, Perrin-Riou, and B\"uy\"ukboduk--Lei in the construction. Furthermore, under some assumptions, we decompose these unbounded $p$-adic distributions into the linear combination of bounded measures as done by Pollack, Sprung, and Lei--Loeffler--Zerbes in the elliptic modular forms case.

An Effective Version of the $p$-Curvature Conjecture for Order One Differential Equations

math.NT

cs.SC

v2

We develop an effective version of Kronecker's Theorem on the splitting of polynomials, based on asymptotic arguments proposed by the Chudnovsky brothers, coming from Hermite-Pad\'e approximation. In conjunction with Honda's proof of the $p$-curvature conjecture for order one equations with polynomial coefficients we use this to deduce an effective version of the Grothendieck $p$-curvature conjecture for order one equations. More precisely, we bound the number of primes for which the $p$-curvature of a given differential equation has to vanish in terms of the height and the degree of the coefficients, in order to conclude it has a non-zero algebraic solution. Using this approach, we describe an algorithm that decides algebraicity of solutions of differential equation of order one using $p$-curvatures, and report on an implementation in SageMath.

On Schultz's generalization of Borweins' cubic identity

math.NT

math.CA

math.CO

v2

In 1991, the Borweins established a cubic analogue of Jacobi's identity for theta functions, which is used by B.C. Berndt, S. Bhargava, and F.G. Garvan in the development of Ramanujan's cubic theory of elliptic functions. In 2013, D. Schultz discovered an identity for theta series in three variables which generalizes the Borweins' identity. In this article, we revisit Schultz's identity and present two distinct approaches to its derivation. Our investigation not only provides new proofs but also yields several new Schultz-type identities.

The decomposition of primes in nonabelian extensions of Heisenberg type and an analogue of Euler's criterion

math.NT

v3

For primes $p$ and $\ell$ such that $\ell$ divides $p-1$, Hirano and Morishita constructed a nonabelian Galois extension of the function field $\mathbb{F}_p(t)$ whose degree is $\ell^3$ and Galois group is of Heisenberg type. Here we analyze how primes of degree one decompose in such extensions. It amounts to investigating the decomposition of the principal ideal $(t-a)$ for $a \in \mathbb{F}_p-\{0,1\}$ and our main result determines when it decomposes completely in terms of an explicit polynomial in $a$. It is reminiscent of Euler's criterion. The proof relies on both the group structure of the mod-$\ell$ Heisenberg group and the arithmetic of field extensions.

Intrinsic Diophantine approximation: a solution to Mahler's problem

math.NT

v3

In this article, for a large class of rational self-similar IFS's wich contains the middle-third Cantor set, we compute the Hausdorff dimension of elements of a large class of rationa a self-similar set that are $\psi$-approximable by rational belonging to this set and satisfying that its numerator has a bounded number of distinct prime divisors. This paper is based on a previous version in which the proof of a lemma (Lemma 3.8) was incorrect.

Primes in arithmetic progressions to large moduli and refinements of Harman's sieve

math.NT

v3

We study the average distribution of primes of size $x$ in arithmetic progressions to moduli larger than $x^{\frac{1}{2}}$. Using arithmetic information from the works of many authors together with different variants of the original Harman's sieve, we construct suitable majorants and minorants for the prime indicator function $\mathbb{1}_{p}(n)$ that satisfy Bombieri--Vinogradov type mean value theorems with different types of moduli. Specifically, we obtain some mean value theorems for primes with bilinear forms of moduli up to $x^{\frac{9}{17}}$ or with trilinear forms of moduli up to $x^{\frac{17}{32}}$.

Unconditional Density Bounds for Quadratic Norm-Form Energies via Lorentzian Spectral Weights

math.NT

v3

For a real quadratic field $\mathbb{Q}(\sqrt{d})$, we study the norm-form energy $N = S_\zeta^2 - d \cdot S_L^2$, where $S_\zeta$ and $S_L$ are Lorentzian-weighted zero sums with $w(\rho) = 2/(\tfrac{1}{4} + \gamma^2)$. We prove three main results. (1) Spacelike spectral data: $N < 0$ unconditionally for all squarefree $d > 1$, as a consequence of a low-lying zero dominance theorem proved via explicit zero-counting. (2) Effective density bound: at each verified truncation level $M$, $\mathrm{dens}\{N > 0\} \leq 2\|f_{S_L^{(M)}}\|_\infty \cdot (W_1(\zeta)/\sqrt{d} + \epsilon_M)$, established unconditionally via Jacobi--Anger resonance analysis. At fixed $M$ the bound is nontrivial only for sufficiently large $d$; the $O(1/\sqrt{d})$ rate requires $M$ to grow with $d$, which in turn requires a uniform density bound that we establish under a computationally verified finite-rank condition on the resonance lattice. (3) Exact asymptotic: under the computationally verified hypothesis that the infinite resonance lattice $\Lambda_\infty$ has finite rank (verified to have rank $0$ for $M \leq 20$), the sharp asymptotic $\mathrm{dens}\{N > 0\} = C(d)/\sqrt{d} + o(1/\sqrt{d})$ holds. For $d = 5$, $C(5) = 2\,f_{S_L}(0)\cdot\mathbb{E}[|S_\zeta|] = 0.1193$; the constant depends on $d$ through the zeros of $L(s,\chi_d)$, and $C(d) = O(1/\log d)$ as $d \to \infty$. Appendix F tabulates between 1004 and 1044 zeros at 70 decimal places for $L(s,\chi_2)$, $L(s,\chi_3)$, $L(s,\chi_5)$, $L(s,\chi_6)$, $L(s,\chi_7)$, $L(s,\chi_{10})$, $L(s,\chi_{11})$, and $L(s,\chi_{13})$, all rigorously certified by ARB interval arithmetic.

From natural numbers to prime fields and finite fields

math.HO

math.NT

math.RA

v2

The aim of this book is to introduce the reader to the beauty of Algebra, through a journey from the natural numbers to prime fields and finite fields, with some detours. Many books are devoted to the construction of these fields from the natural numbers. Perhaps the first one is [Landau 1930], see also the books [Ebbinghaus et.al. 1991], [Lay 2005], and the references therein. An important step in this process is the construction of the field of rational numbers. It turns out that this field is the only (in an appropriate sense) infinite prime field. Motivated by the reading of [Loonstra 1972], I decided to write an essentially self-contained book devoted to the construction not only of the field of rational numbers but of all prime fields and, more interestingly, to the proof of existence and "uniqueness" of all finite fields. Only a knowledge of basic set theory and some familiarity with mathematical reasoning (see for example [11, Chapters 1 and 2]) are assumed.

Tropicalizations of locally symmetric varieties

math.AG

math.AT

math.CO

math.KT

math.NT

v2

This paper provides a rigorous study of tropicalizations of locally symmetric varieties. We give applications beyond tropical geometry, to the cohomology of moduli spaces as well as to the cohomology of arithmetic groups. We study two cases in detail: the special unitary case, and the case of level structures on the moduli space $\mathcal{A}_g$ of abelian varieties.

Towards Enhanced Quantum Resistance for RSA via Constrained R\'enyi Entropy Optimization: A Theoretical Framework for Backward-Compatible Cryptography

cs.CR

math.NT

quant-ph

v3

The advent of quantum computing poses a critical threat to RSA cryptography, as Shor's algorithm can factor integers in polynomial time. While post-quantum cryptography standards offer long-term solutions, their deployment faces significant compatibility and infrastructure challenges. This paper proposes the Constrained R\'enyi Entropy Optimization (CREO) framework, a mathematical approach to potentially enhance the quantum resistance of RSA while maintaining full backward compatibility. By constraining the proximity of RSA primes ($|p-q| < \gamma \sqrt{pq}$), CREO reduces the distinguishability of quantum states in Shor's algorithm, as quantified by R\'enyi entropy. Our analysis demonstrates that for a $k$-bit modulus with $\gamma = k^{-1/2+\epsilon}$, the number of quantum measurements required for reliable period extraction scales as $\Omega(k^{2+\epsilon})$, compared to $\mathcal{O}(k^3)$ for standard RSA under idealized assumptions. This represents a systematic increase in quantum resource requirements. The framework is supported by constructive existence proofs for such primes using prime gap theorems and establishes conceptual security connections to lattice-based problems. CREO provides a new research direction for exploring backward-compatible cryptographic enhancements during the extended transition to post-quantum standards, offering a mathematically grounded pathway to harden widely deployed RSA infrastructure without requiring immediate protocol or infrastructure replacement.

Hook Length Biases in $t$-Core Partitions

math.CO

math.NT

v2

Recently, the theory of hook length biases has emerged as a prominent research topic. Led by Ballantine, Burson, Craig, Folsom, and Wen [\textit{Res. Math. Sci.}, 2023], hook length biases are being explored for ordinary partitions, odd versus distinct partitions, self-conjugate versus distinct odd partitions. Lately, Singh and Barman [\textit{J. Number Theory}, 2024] opened the door to hook length biases in $\ell$-regular partitions. In this work, we extend the theory of hook length biases to $t$-core partitions. For example, let $a_{t,k}(n)$ denote the number of hooks of length $k$ in all $t$-core partitions of $n$, then we find that $a_{3,1}(n)\ge a_{3,2}(n) \ge a_{3,4}(n)$ and $a_{4,1}(n)\ge a_{4,3}(n)$ for all $n$. The methods employed in this work are mainly combinatorial.