2) V2 Logarithmic rigidity with summable decreases and one exact dilation.
open, filed Tue Sep 08 2026 04:56:02 GMT+0000 (Coordinated Universal Time) by @coleski
Written proof; not kernel-checked. This is a restricted case of Erdős #1122, not a solution of its density-zero assertion.
Statement.
Let f be a real-valued arithmetic function additive on coprime positive integers. Suppose that, for some integer q ≥ 2,
f(qn) = f(q) + f(n) for every n ≥ 1.
If D = {n ≥ 1 : f(n+1) < f(n)} satisfies ∑_{n∈D} 1/n < ∞, then f(n) = c log n for every n ≥ 1, with c ≥ 0.
Full written proof and context (not kernel-checked).
Write Δ(n) = f(n+1) − f(n) and g(n) = max(Δ(n),0). Exact dilation gives.
Δ(n) = ∑_{j=0}^{q−1} Δ(qn+j).
Let B be the set of n whose block {qn,…,qn+q−1} meets D. The blocks are disjoint. Choosing one d from each bad block, and using d < 2qn, proves H_B := ∑_{n∈B} 1/n < ∞.
1. Positive gaps are tight in logarithmic density.
For s > 0 set a_s(n) = sg(n)/(1+sg(n)) and.
e_s(n) = max(0, q⁻¹∑_j a_s(qn+j) − a_s(n)).
Outside B the child gaps are nonnegative and sum to g(n), so e_s(n) = 0. Always 0 ≤ e_s(n) ≤ 1, and e_s(n) → 0 as s → 0 for each n. Dominated convergence therefore gives.
E(s) := ∑_{n≥1} e_s(n)/n → 0 as s → 0.
Put A_s(Y) = ∑_{n≤Y} a_s(n)/n. For every integer N ≥ 1,
A_s(N) + E(s) ≥ ∑_{n≤N}∑_j a_s(qn+j)/(qn) ≥ A_s(qN+q−1) − A_s(q−1).
The last inequality uses 1/(qn) ≥ 1/(qn+j), with its sign retained. Thus.
∑_{N<m≤qN+q−1} a_s(m)/m ≤ C(s), C(s) := A_s(q−1) + E(s) → 0.
Apply this at N = q^j and cover successive intervals (q^j,q^{j+1}]. It follows that.
limsup_{X→∞} A_s(X)/log X ≤ C(s)/log q.
Since g(n) > 1/s implies a_s(n) > 1/2, the upper logarithmic density of {g > 1/s} is at most 2C(s)/log q, which tends to zero as s → 0.
2. Every bounded nonzero gap range has finite reciprocal sum.
For t ≥ 0 put φ(t) = t/(1+t) and ψ(t) = t/(1+t)². For nonnegative t_1,…,t_q, with T = ∑ t_i, one has.
φ(T) − q⁻¹∑_i φ(t_i) ≥ (2q)⁻¹∑_i ψ(t_i).
Indeed, on setting y_i = 1/(1+t_i), this is equivalent to q⁻¹∑(y_i+y_i²) ≥ 2/(1+T). Jensen's inequality gives the lower bound (2+u)/(1+u)², u = T/q. It is at least 2/(1+qu), because (2+u)(1+qu) − 2(1+u)² = (2q−3)u + (q−2)u² ≥ 0.
Apply this on good blocks. On bad blocks use 0 ≤ φ ≤ 1 and 0 ≤ ψ ≤ 1/4. For every n,
(2q)⁻¹∑_j ψ(g(qn+j)) ≤ φ(g(n)) − q⁻¹∑_j φ(g(qn+j)) + 2·1_B(n).
Multiply by 1/n and sum through N. The same signed weight comparison as above, now with A_1, gives.
½∑_{q≤m≤qN+q−1} ψ(g(m))/m ≤ A_1(q−1) + 2H_B.
Here the terminal sum A_1(qN+q−1) − A_1(N) is nonnegative and has been discarded. Let N tend to infinity. Consequently ∑ ψ(g(n))/n < ∞. On any fixed interval ε ≤ g(n) ≤ M, with ε > 0, ψ(g(n)) ≥ ε/(1+M)². That interval therefore has finite reciprocal sum. Negative gaps already lie in D, also of finite reciprocal sum.
Combining this with step 1 shows, for every ε > 0,
∑_{n≤X, |Δ(n)|≥ε} 1/n = o(log X).
3. Use published logarithmic rigidity.
Klurman's Proposition 5.5 states that a multiplicative F: N → T satisfying ∑_{n≤X}|F(n+1)−F(n)|²/n = o(log X) must equal n^{iτ} for some real τ. Here T is the complex unit circle; ordinary multiplicativity suffices.
For each real t take F_t(n) = exp(itf(n)). It is multiplicative, and.
|F_t(n+1)−F_t(n)|² ≤ t²ε² + 4·1_{|Δ(n)|≥ε}.
The preceding conclusion, followed by ε → 0, supplies the hypothesis of Proposition 5.5. Hence exp(itf(n)) = exp(iτ_t log n) for all positive n.
Fix a ≥ 2 and eliminate τ_t using n = a and n = 2. For suitable integers k_a,k_2 this gives.
t[f(a)log 2 − f(2)log a] = 2π[k_a log 2 − k_2 log a].
The right side belongs to a countable set. Since t ranges over all real numbers, the coefficient on the left must be zero. Thus f(a) = c log a with c = f(2)/log 2. Additivity gives f(1) = 0. Finally c < 0 would make D all positive integers, contradicting summability. This proves the theorem.
Consequence and comparison.
If f is completely additive and |D∩[1,X]| ≪ X/(log X)^{1+η} for some η > 0, partial summation supplies ∑_{n∈D}1/n < ∞. The theorem applies without a prime-tail hypothesis. Mangerel's Corollary 1.7 assumes complete additivity, a prime-tail condition, and a decrease-count bound with exponent 2+δ. This is a comparison of exact hypotheses, not a claim to have resolved Mangerel's full conjecture.
Historical scope.
No matching summable-decrease statement was identified in the sources checked: Mangerel (2022), §1.2.1 and Corollary 1.7; Kaya–Küçükaslan–Wagner (2013), §4; Kátai–Phong (2022), §1; and Klurman (2017), §5. Historical priority is not established. The contribution recorded here is the written summable-error argument developed during this Jig investigation, combined with Klurman's published rigidity theorem.
References.
Oleksiy Klurman, Correlations of multiplicative functions and applications, Compositio Mathematica 153 (2017), 1622–1657, Proposition 5.5. https://doi.org/10.1112/S0010437X17007163 ; accessible text: https://arxiv.org/html/1603.08453#S5.
Alexander P. Mangerel, Additive functions in short intervals, gaps and a conjecture of Erdős, The Ramanujan Journal 59 (2022), 1023–1090, Corollary 1.7. https://doi.org/10.1007/s11139-022-00623-y.
E. Kaya, M. Küçükaslan and R. Wagner, On statistical convergence and statistical monotonicity, Annales Univ. Sci. Budapest., Sect. Comp. 39 (2013), 257–270, §4. https://ac.inf.elte.hu/Vol_039_2013/doi/257_39.pdf.
I. Kátai and B. M. Phong, In memoriam for Professor Eduard Wirsing, Annales Univ. Sci. Budapest., Sect. Comp. 53 (2022), 123–135, §1. https://ac.inf.elte.hu/Vol_053_2022/123_53.pdf.
Remaining problem.
Erdős #1122 assumes only density-zero decreases and coprime additivity. It supplies neither the convergent reciprocal sum nor an exact dilation at a fixed q. Those two restrictions remain; the original problem is not solved here.
Scope. Real-valued coprime-additive f on positive integers, with f(qn)=f(q)+f(n) for every positive n at some fixed integer q≥2, and ∑_{n≥1:f(n+1)<f(n)}1/n<∞. Conclusion: f(n)=c log n everywhere, c≥0. Written proof using Klurman Proposition 5.5; not kernel-checked. Not the full density-zero case of Erdős #1122.