# The Family $X_{qp^s}$ for Distinct Primes $q,p$ in Connection with Carmichael's Totient Conjecture

Preprint · Tian-Xiao He

- Archive id: arxiv:2610.34808
- Published: 2026-10-26
- arXiv: https://arxiv.org/abs/2610.34808
- Citations: 0
- Source URL: https://arxiv.org/abs/2610.34808
- PDF: https://arxiv.org/pdf/2610.34808
- Provenance: arxiv

## Abstract

Shannon, Shiue, Saito and the author \\cite{SSHS2025} studied the sets $X\_k=\\{n\\in\\mathbb{N}:\\varphi(n)=k\\}$ in connection with Carmichael's totient conjecture, and proved that for an odd prime $p\\neq3$ and $s\\in\\{1,2,3,4\\}$, $X\_{2p^s}$ is empty whenever $2p^s+1$ is not prime (with $s=1$ fully characterized in both directions), conjecturing that this persists for every $s\\ge1$. We resolve that conjecture in full, obtaining a complete characterization of $X\_{2p^s}$ for every $s\\ge1$ and every odd prime $p\\neq3$, together with a parity dichotomy: $X\_{2p^s}=\\varnothing$ unconditionally whenever $s$ is even, while for odd $s$ both outcomes genuinely occur, determined exactly by the primality of $2p^s+1$. We then close the one remaining gap at $p=3$, where the proof technique degenerates, with a separate, unconditional characterization of $X\_{2\\cdot3^s}$. Building on these results, we consider the natural generalization $X\_{qp^s}$, where $q\\neq p$ are distinct primes and $s\\ge1$. We show that this generalization splits into three cases of very different character. If $q$ and $p$ are both odd, the problem is trivial: $qp^s$ is odd, so $X\_{qp^s}=\\varnothing$ by elementary parity, with no case-analysis needed. If $q=2$, the problem is exactly the family $X\_{2p^s}$ resolved above. If $p=2$, giving the \`\`mirror'' family $X\_{2^sq}$ for an odd prime $q$, the problem is genuinely different. Beyond $s=1$, we give a complete resolution for $s=2$, recovering, with an explicit proof and solution sets, the qualitative dichotomy of \\cite\[Thm.~2.3.1\]{SSHS2025}, but the problem remains open for $s\\ge3$.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [Landmark Results in Pure Mathematics](https://space-kitty.com/topics/landmark-math-results)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.