Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Other ORP type . 2026
License: CC BY
Data sources: ZENODO
ZENODO
Other ORP type . 2026
License: CC BY
Data sources: Datacite
ZENODO
Other ORP type . 2026
License: CC BY
Data sources: Datacite
versions View all 2 versions
addClaim

Structural Elimination of a Touchard Branch in Odd Perfect Numbers Dual 3-adic and Exponent Constraints for p = 13, α = 5

RP No.17
Authors: KEI, SHIRAISHI;

Structural Elimination of a Touchard Branch in Odd Perfect Numbers Dual 3-adic and Exponent Constraints for p = 13, α = 5

Abstract

Description This paper establishes a complete structural elimination of a specific Touchard branch in the odd perfect number problem, namely the Eulerian formN = 13⁵ m². The proof combines two independent theoretical constraints: 1.the classical Touchard condition imposing the 3-adic valuation constraint v₃(σ(m²)) = 1 in the case 3 ∤ N, and 2.a modular exponent restriction for primes q ≡ 1 (mod 3) dividing m, previously established in RP14. We show that the 3-adic valuation constraint forces the existence of a prime divisor of m with exponent β ≡ 1 (mod 3), while RP14 proves that such an exponent is impossible in the Touchard branch where 3 does not divide the number. This incompatibility yields an immediate contradiction. The argument is entirely theoretical and does not rely on computational enumeration, cyclotomic forcing, or numerical search. No assumptions are made regarding additional prime divisors of m beyond those forced by σ(13⁵). As a consequence, no odd perfect number of the form N = 13⁵ m² can exist.This result provides a concrete example of how local valuation constraints and global exponent restrictions can be combined to eliminate a specific structural branch in the long-standing odd perfect number problem. Abstract We establish a complete structural elimination of the Touchard branch defined byN = 13⁵ m² in the Eulerian form of an odd perfect number.The argument combines the classical 3-adic valuation constraint imposed by the Touchard condition with a modular exponent restriction previously established in RP14. We show that the condition v₃(σ(m²)) = 1 forces the existence of a prime divisor q | m with exponent β ≡ 1 (mod 3), while RP14 proves that no such exponent can occur for primes q ≡ 1 (mod 3) when 3 does not divide N.This incompatibility yields an immediate contradiction, independent of cyclotomic or computational arguments. The proof is entirely theoretical and relies solely on valuation theory and structural constraints.As a consequence, no odd perfect number of the form N = 13⁵ m² can exist. Keywords odd perfect numbers number theory Touchard condition valuation theory 3-adic valuation Eulerian formstructural elimination modular exponent constraints non-computational proof Related identifiers Is supplement to:RP14 – Structural Constraints on Odd Perfect Numbers Arising from Modulo Conditions License CC BY 4.0

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average