pith. sign in

arxiv: 2310.15628 · v2 · submitted 2023-10-24 · 🧮 math.NT

Orders and partitions of integers induced by arithmetic functions

Mario Ziller This is my paper

Pith reviewed 2026-05-24 06:57 UTC · model grok-4.3

classification 🧮 math.NT
keywords arithmetic functionspseudometricsdivisibility propertiespreordersequivalence relationspartitions of integersk-perfect numbers
0
0 comments X

The pith

Arithmetic functions on divisors extend to pseudometrics on integers that induce preorders and partitions by divisibility properties.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines ways to order and partition the integers according to divisibility by constructing pseudometrics from arithmetic functions. It starts with metrics or pseudometrics defined on the divisors D_n of a fixed n and seeks combinations that extend to the full set of integers while still distinguishing divisibility features. Subsets of additive and multiplicative arithmetic functions are combined into binary metric functions, each capturing a different aspect of divisibility. These constructions produce induced preorders, equivalence relations, and quotient sets. The work ends with examples and derives a necessary condition for the odd k-perfect number conjecture.

Core claim

Pseudometrics on Z are obtained by extending binary metric functions built from arithmetic function values on D_n; the resulting preorders, equivalence relations, and quotient sets order and partition integers according to distinct divisibility properties, and the same constructions supply a necessary condition for the odd k-perfect number conjecture to hold.

What carries the argument

Binary metric functions formed by combining values of additive and multiplicative arithmetic functions on the divisors D_n of a modulus n, extended to pseudometrics on Z

If this is right

  • Different choices of arithmetic functions and combinations produce preorders and equivalence relations that capture different divisibility properties.
  • The induced quotient sets classify integers according to the chosen divisibility features.
  • The constructions apply uniformly across all integers once extended from any fixed D_n.
  • The same framework supplies a necessary condition that any odd k-perfect number must satisfy.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The derived necessary condition could be tested against known even perfect numbers to check consistency of the method.
  • Choosing other arithmetic functions beyond those examined might generate additional partitions that isolate further number-theoretic properties.
  • The quotient sets obtained for specific function combinations might be compared directly with classical divisor-based partitions such as those by abundance or deficiency.

Load-bearing premise

Binary metric functions obtained by combining arithmetic function values on D_n extend to pseudometrics on Z while still representing distinct divisibility properties of integers.

What would settle it

An explicit binary metric function built from arithmetic functions on D_n that cannot be extended to any pseudometric on Z without collapsing distinct divisibility distinctions, or an odd k-perfect number that fails the necessary condition derived in the paper.

Figures

Figures reproduced from arXiv: 2310.15628 by Mario Ziller.

Figure 1
Figure 1. Figure 1: Extension of pseudometrics and preorders. [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Extensions and refinements of equivalence relatio [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Relationships between admissible functions, ind [PITH_FULL_IMAGE:figures/full_fig_p025_3.png] view at source ↗
read the original abstract

We pursue the question how integers can be ordered or partitioned according to their divisibility properties. Based on pseudometrics on $\mathbb{Z}$, we investigate induced preorders, associated equivalence relations, and quotient sets. The focus is on metrics or pseudometrics on $\mathbb{D}_n$, the set of divisors of a given modulus $n\in\mathbb{N}$, that can be extended to pseudometrics on $\mathbb{Z}$. Arithmetic functions can be used to generate such pseudometrics. We discuss several subsets of additive and multiplicative arithmetic functions and various combinations of their function values leading to binary metric functions that represent different divisibility properties of integers. We conclude this paper with numerous examples and review the most important results. As an additional result, we derive a necessary condition for the truth of the odd k-perfect number conjecture.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript defines preorders and equivalence relations on integers via pseudometrics on D_n (divisors of a fixed n) that are extended to Z; these pseudometrics are built from additive and multiplicative arithmetic functions and their combinations. It supplies examples of the resulting orders and partitions and, as an additional result, derives a necessary condition for the odd k-perfect number conjecture.

Significance. The constructions are definitional and exploratory; if the extension of the pseudometrics to Z is shown to be well-defined and the necessary condition for odd k-perfect numbers is derived without gaps or post-hoc restrictions, the work could supply a new lens on divisibility properties. The additional result on k-perfect numbers would be of modest interest to the field only if it is both new and correctly obtained from the metric constructions.

major comments (2)
  1. [final section / conclusion] The derivation of the necessary condition for the odd k-perfect number conjecture (final section): the steps linking the pseudometric constructions on D_n and their extensions to Z to this condition are not shown in sufficient detail; it is unclear whether the condition follows directly from the metric axioms or requires additional assumptions on the arithmetic functions chosen.
  2. [sections on extension to Z] Extension of the binary metric functions from D_n to pseudometrics on Z (sections discussing the extension): the manuscript asserts that the functions remain pseudometrics and continue to represent distinct divisibility properties, but no explicit verification is given that the triangle inequality or non-negativity is preserved for pairs involving integers outside any fixed D_n, nor that the extension is independent of the choice of n.
minor comments (2)
  1. Notation for the binary metric functions obtained by combining arithmetic-function values is introduced without a consolidated table; a summary table listing each combination, the induced preorder, and the associated equivalence relation would improve readability.
  2. [examples section] The abstract states that 'numerous examples' are provided; the examples section would benefit from explicit statements of which arithmetic functions are additive versus multiplicative in each case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and the opportunity to clarify the manuscript. We agree that additional explicit verifications and derivations are needed in the sections on the extension to Z and the necessary condition for the odd k-perfect number conjecture. We will revise the paper accordingly to address these points.

read point-by-point responses

  1. Referee: [final section / conclusion] The derivation of the necessary condition for the odd k-perfect number conjecture (final section): the steps linking the pseudometric constructions on D_n and their extensions to Z to this condition are not shown in sufficient detail; it is unclear whether the condition follows directly from the metric axioms or requires additional assumptions on the arithmetic functions chosen.

    Authors: We agree that the final section would benefit from expanded detail. The necessary condition is obtained by applying the pseudometric induced by the sum-of-divisors function (an additive arithmetic function) to the definition of k-perfect numbers, yielding an inequality that any odd k-perfect number must satisfy. This follows from the non-negativity and the specific form of the pseudometric on the divisors; no further assumptions beyond the choice of this arithmetic function are required. We will insert a step-by-step derivation in the revised manuscript, explicitly connecting each pseudometric axiom to the resulting inequality. revision: yes

  2. Referee: [sections on extension to Z] Extension of the binary metric functions from D_n to pseudometrics on Z (sections discussing the extension): the manuscript asserts that the functions remain pseudometrics and continue to represent distinct divisibility properties, but no explicit verification is given that the triangle inequality or non-negativity is preserved for pairs involving integers outside any fixed D_n, nor that the extension is independent of the choice of n.

    Authors: The referee correctly notes that the verification is implicit rather than explicit. The extension is defined directly via the values of the chosen arithmetic functions (additive or multiplicative) evaluated at the integers themselves, using the relation d(a,b) = f(gcd(a,b)) or analogous forms that do not reference a fixed n. Non-negativity holds by the properties of the arithmetic functions, and the triangle inequality is inherited from the corresponding inequality on the divisor lattice via the monotonicity of the functions involved. Independence of n follows because the definition does not invoke any particular D_n. We will add a short subsection containing these verifications. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines preorders, equivalence relations, and quotient sets via pseudometrics on D_n induced by standard arithmetic functions, then extends them to Z. These are presented explicitly as constructions and combinations of known functions rather than derived predictions. The additional necessary condition for the odd k-perfect number conjecture is labeled as such and does not reduce by the paper's own equations to any fitted parameter or self-referential input. No self-citation load-bearing steps, ansatz smuggling, or renaming of known results appear in the abstract or stated results; the derivation chain remains self-contained against external arithmetic-function benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the constructions rely on standard arithmetic functions whose properties are taken from prior literature.

pith-pipeline@v0.9.0 · 5653 in / 1011 out tokens · 20277 ms · 2026-05-24T06:57:07.042465+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Pseudometrics and preorders on sets of integer sequences induced by arithmetic functions functions

    math.NT 2026-04 unverdicted novelty 4.0

    Pseudometrics and preorders on sets of integer sequences are induced by arithmetic functions, with derived conclusions on their relationships, equivalences, and distinctions.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper

  1. [1]

    Alladi and P

    K. Alladi and P . Erdös, On an additive arithmetic function , Pacific Journal of Mathematics 71 (1977), no. 2, 275 – 294

    work page 1977

  2. [2]

    E. J. Barbeau, Remarks on an arithmetic derivative , Canadian Mathematical Bulletin 4 (1961), no. 2, 117–122

    work page 1961

  3. [3]

    Broughan, The gcd-sum function , J

    Kevin A. Broughan, The gcd-sum function , J. Integer Sequences 4 (2001), no. 01.2.2, 1–19

    work page 2001

  4. [4]

    Vasile Bulg˘ arean, The group of isometries of the French rail ways metric , Stud. Univ . Babe¸ s-Bolyai Math58 (2013), no. 4, 445 – 450

    work page 2013

  5. [5]

    Stanley Burris and H. P . Sankappanavar, A course in universal algebra , Graduate texts in mathematics, Springer, New York, The Millennium Edition, 2012 Update. 49

    work page 2012

  6. [6]

    L. M. Chawla, On a pair of arithmetic functions , J. Nat. Sci. Math. 8 (1968), 263–269

    work page 1968

  7. [7]

    Octavian Cira and Florentin Smarandache, Various arithmetic functions and their applications, Pons Publishing House, Bruxelles, 2016

    work page 2016

  8. [8]

    Davey and Hilary Ann Priestley , Introduction to lattices and order , 2nd edition, Cambridge University Press, 2002

    Brian A. Davey and Hilary Ann Priestley , Introduction to lattices and order , 2nd edition, Cambridge University Press, 2002

    work page 2002

  9. [9]

    Guy , Unsolved problems in number theory , Problem Books in Mathematics, Springer, New York, 2004

    Richard K. Guy , Unsolved problems in number theory , Problem Books in Mathematics, Springer, New York, 2004

    work page 2004

  10. [10]

    G. H. Hardy and E. M. Wright, An introduction to the theory of numbers , 4th edition, Oxford University Press, 1975

    work page 1975

  11. [11]

    A. J. Hildebrand, Introduction to analytic number theory , Math 531 lecture notes, Fall 2005, University of Illinois, V ersion 2013

    work page 2005

  12. [12]

    Rafael Jakimczuk, Sum of prime factors in the prime factorization of an integer , International Mathematical Forum 7 (2012), 2617–2621

    work page 2012

  13. [13]

    S. M. Kerawala, On a pair of arithmetic functions analogous to Chawla’s pair , J. Nat. Sci. Math. 9 (1969), 97–103

    work page 1969

  14. [14]

    105, 181–183

    Mohan Lal, Iterates of a number-theoretic function , Mathematics of Computation 23 (1969), no. 105, 181–183

    work page 1969

  15. [15]

    P . P . Lava and G. Balzarotti,La derivata aritmetica: Alla scoperta di un nuovo approccio alla teoria dei numeri , Hoepli, Milano, 2013

    work page 2013

  16. [16]

    Paul Joseph McCarthy , Introduction to arithmetical functions , Springer, New York, 1986

    work page 1986

  17. [17]

    Mícheál Ó Searcóid, Metric spaces , Springer Undergraduate Mathematics Series, Springer, London, 2007

    work page 2007

  18. [18]

    S. S. Pillai, On an arithmetic function , Annamalai University Journal II (1933), 243–248

    work page 1933

  19. [19]

    Eric Schechter, Handbook of analysis and its foundations, Academic Press, San Diego, 1997

    work page 1997

  20. [20]

    Wolfgang Schwarz and Jürgen Spilker, Arithmetical functions, London Math. Soc. Lecture Note Series, Cambridge University Press, 1994

    work page 1994

  21. [21]

    Shirali and H

    S. Shirali and H. L. Vasudeva, Metric spaces , EBL-Schweitzer, Springer, London, 2006

    work page 2006

  22. [22]

    Integer Seq

    László Tóth, A survey of gcd-sum functions , J. Integer Seq. 13 (2010), no. 8, Art. 10.8.1

    work page 2010

  23. [23]

    Integer Seq

    Victor Ufnarovski and Bo Åhlander, How to differentiate a number , J. Integer Seq. 6 (2003), no. 3, Art. 03.3.4. 50

    work page 2003