Search arXiv⌕ Search

arXiv · 2610.36260

Infinite families and sporadic solutions of the equation $φ(n)=c+α\sum_{p\mid n}φ(p)$

Abstract

Ranjan and Singh proved that for every composite $n$ which is not twice an odd prime, $φ(n)$ is at least one plus the sum of $φ$ over the prime divisors of $n$, with equality exactly for $n=4,12,30$. \new{We study the weighted equation $φ(n)=c+α\sum_{p\mid n}φ(p)$. We determine the parameters $(c,α)$ admitting infinite families of solutions, prove that all remaining solutions are finite in number and arise from an explicit linear mechanism, and compute them exactly in a range of parameters; the finiteness of $\{4,12,30\}$ becomes a special case. We also settle the analogous equations for the divisor functions $τ$ and $σ$ and for the Jordan totients, and, from known results on the sum of the prime divisors, derive the full asymptotic expansion of the average deficiency.} \K{In the range $|c|\le10$, $1\leα\le6$ the composite solution set is determined completely\V{, and the number and the size of the sporadic solutions are shown to be bounded by polynomials in $|c|+α$}.} \B{Finally, replacing the prime values $φ(p)$ by their iterates $φ^{(k)}(p)$, we determine all solutions of $φ(n)=1+\sum_{p\mid n}φ^{(k)}(p)$: the solution sets are $\{1,4,12,30\}$, $\{1,3,4,10\}$ and, for every $k\ge3$, $\{1,3,4\}$; for the weighted iterated equation we exhibit an infinite family governed by the safe primes.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hacène Belbachir, Ravi Ranjan, Shubh N. Singh. 2026-10-26. Infinite families and sporadic solutions of the equation $φ(n)=c+α\sum_{p\mid n}φ(p)$. https://arxiv.org/abs/2610.36260

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Effective Chebotarev-Sato-Tate distribution for Abelian varieties with applications

We establish a uniform effective Chebotarev-Sato-Tate estimate for abelian varieties, conditional on the Mumford-Tate conjecture and the standard analytic conjectures for L-functions attached to the irreducible representations of the Chebotarev-Sato-Tate group. The proof uses spectral majorants and minorants of indicator functions. For regions whose boundaries have finite upper (d-1)-dimensional Minkowski content, the resulting exponent improves that in Bucur et al. (Theorem 1.1, 2024) whenever the Sato-Tate group has rank greater than one. We establish uniform estimates for regions and finite Galois extensions that vary with the counting parameter, and for prime-dependent regions satisfying an explicit variation condition. As an application, we obtain a conditional upper bound for the number of primes at which a weight-two newform with a quadratic coefficient field has a rational Fourier coefficient. We also formulate a discrepancy conjecture, motivated by a probabilistic model, that implies the asymptotic predicted by Murty (Conjecture 3.4, 1999).

math.NT↗

Archimedean zeta integrals on $ {\rm SO}_{2n} \times {\rm GL}_n$ and $ {\rm Sp}_{2n} \times {\rm GL}_n $

We evaluate the archimedean Rankin-Selberg zeta integrals associated with spherical principal series representations of ${\rm SO}_{2n}(\mathbf R) \times {\rm GL}_n(\mathbf R) $ and $ {\rm Sp}_{2n}(\mathbf R) \times {\rm GL}_n(\mathbf R) $, where $ {\rm SO}_{2n} $ is split and $n\ge2$. We obtain explicit formulas expressing these integrals as quotients of products of gamma functions. Our approach uses Mellin-Barnes representations of spherical Whittaker functions, together with new integral identities for their Mellin transforms and transformations of Barnes integrals. In the even orthogonal case, we establish a recurrence in the rank and evaluate the integral by induction. The symplectic case then follows from an explicit identity relating the two families of zeta integrals.

math.NT↗

Resolvent Components of Completely Normal Elements and the Morgan-Mullen Conjecture

We study completely normal elements of $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$, that is, elements that are normal over every intermediate field, through partial Lagrange resolvents. In these coordinates, complete normality splits into independent components, in a way closely related to Hachenberger's decomposition theory. Our main tool is a structure theorem for the components; together with a finite computation, it shows that every component has weight (the sum of the probabilities that its conditions fail) at most $3/4$, uniformly in $n$. Combined with the classical character-sum method, this gives an explicit sufficient criterion for the existence of a primitive completely normal element. We verify the criterion for all $n>q$ except $70$ pairs $(q,n)$, which we settle with explicit elements found by computer. Since the case $n\le q$ is due to Garefalakis and Kapetanakis, this confirms the conjecture of Morgan and Mullen (1996) that every $\mathbb{F}_{q^n}$ contains a primitive element that is completely normal over $\mathbb{F}_q$. The same estimates give two further results. First, Hachenberger's conjectured lower bound $(q-1)^{n'}q^{(p^a-1)n'}$ for the number of completely normal elements, where $p$ is the characteristic and $n=p^an'$ with $p\nmid n'$, holds for all pairs $(q,n)$; it was known for regular pairs. Second, primitivity and complete normality are asymptotically independent: as $q^n\to\infty$, the number of primitive completely normal elements is $(1+o(1))\,φ(q^n-1)/(q^n-1)$ times the number of completely normal elements (for fixed $n$ this was known). Our arguments for $n>q$ and for both further results, including every computer-assisted step, are formalised in Lean 4 with Mathlib; the formalisation takes the case $n\le q$ and an explicit bound of Rosser and Schoenfeld as axioms and relies on Lean's compiler and interpreter for the large computations.

math.NT↗