arXiv:2606.20721v1

Unbounded Oscillation of Euler-Gompertz Diophantine Errors from Bell and Gould Numbers

Michael R. Powers

math.NT11J8111J91

Abstract

We investigate the asymptotic behavior of the Diophantine errors δBnAnδB_{n}-A_{n}, where δ=eEi(1)δ=-e\textrm{Ei}\left(-1\right) denotes the Euler-Gompertz constant and BnB_{n} and AnA_{n} are the nnth Bell and Gould numbers, respectively. These errors have exponential generating function gδ(z)=exp(ez1)(δ0zexp(1et)dt)g_δ\left(z\right)=\exp\left(e^{z}-1\right)\left(δ-{\displaystyle {\textstyle \int_{0}^{z}}\exp\left(1-e^{t}\right)dt}\right),zC\:z\in\mathbb{C}, and it is known that δBnAn=O(Bnexp(cn/(ln(n))2))δB_{n}-A_{n}=O(B_{n}\exp(-cn/\left(\ln\left(n\right)\right)^{2})) for some cR>0c\in\mathbb{R}_{>0}, implying limn(An/Bn)=δ\lim_{n\rightarrow\infty}\left(A_{n}/B_{n}\right)=δ. In the present work, we prove that δBnAnδB_{n}-A_{n} oscillates without bound as nn\rightarrow\infty; that is, both lim supn(δBnAn)=\limsup_{n\rightarrow\infty}\left(δB_{n}-A_{n}\right)=\infty and lim infn(δBnAn)=\liminf_{n\rightarrow\infty}\left(δB_{n}-A_{n}\right)=-\infty.

AI-generated audit

Audit summary

Audited against arXiv v1

Not a correctness certificate. A “Correct” result may include yellow typos or minor formal corrections that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.

Current report

Detailed mathematical audit

Generated August 15, 2026
01Statements1 reported findingCorrect

The asserted unbounded positive and negative oscillation of the Euler--Gompertz Diophantine errors follows from the generating-function argument. One sign in an intermediate lower bound is a uniquely repairable typographical error and does not affect either conclusion.

Theorem 1Correct

Both one-sided error sequences are unbounded

Pages 1 and 3–5 · Theorem 1 and its proof · arXiv:2606.20721v1

If either signed error sequence were bounded above, the corresponding exponential generating function would have growth at most O(ex)O(e^x) on the positive real axis. The monodromy identity for gδg_\delta gives an imaginary increment of magnitude 2πeex12\pi e^{e^x-1} after one turn around the logarithmic branch point. This double-exponential term cannot be reconciled with the O(ex)O(e^x) bound. Applying the argument to each sign proves both the displayed lim sup\limsup and lim inf\liminf assertions.

02Proofs3 reported findingsCorrect

The monodromy, coefficient-bound, and contradiction arguments are correct and complete. Equation (16) momentarily omits an absolute value and displays the wrong sign, but its intended correction is forced by the preceding identity and the next line.

Lemmas 1 and 2Correct and complete

Analytic continuation and coefficient growth

Pages 2–3 · Lemmas 1 and 2 · arXiv:2606.20721v1

The continuation around the logarithmic branch changes the primitive by 2πi2\pi i, while the factor exp(ez1)\exp(e^z-1) is single-valued, producing the required monodromy term. For an exponential generating function with nonnegative coefficients bounded termwise by a fixed constant, direct comparison with exe^x gives the stated real-axis bound. These inputs apply to the positive and negative parts of the error sequence exactly as used.

Equation (16)Typo

The lower bound needs an absolute value and a positive leading term

Page 4 · equation (16) · arXiv:2606.20721v1

The preceding identity has imaginary part 2πeex1+ImQ(x+2πi)-2\pi e^{e^x-1}+\operatorname{Im}Q^-(x+2\pi i). Its magnitude is therefore bounded below by 2πeex1ImQ(x+2πi),2\pi e^{e^x-1}-\left|\operatorname{Im}Q^-(x+2\pi i)\right|, not by the printed expression with a negative leading term. The following line already uses the positive double-exponential quantity. Inserting the absolute value and correcting the sign is uniquely determined, and the polynomial error remains negligible, so the contradiction is unchanged.

Proof of Theorem 1Correct and complete

Contradiction from monodromy growth

Pages 3–5 · equations (11)–(18) · arXiv:2606.20721v1

After separating the coefficients into positive and negative parts, boundedness of either part gives an O(ex)O(e^x) bound. The continued functions differ by a term of size eexe^{e^x}, whereas the polynomial correction and all O(ex)O(e^x) contributions are asymptotically negligible. The same construction with the signs interchanged handles the opposite one-sided bound, so no case is missing.

03Novelty0 reported findingsNo non-novelty findings

No non-novelty findings.

Detailed audit reportFull reasoning, manuscript locations, and references.
Open report PDF ↗

Author response

Challenge an audit finding

Local workflow preview

A listed author may submit formal evidence that an audit is inaccurate. The response would be considered in a fresh AI re-evaluation; it would not edit the audit automatically.

Paper
arXiv:2606.20721v1
Authors listed
Michael R. Powers
Audit date
August 15, 2026
  1. 01Establish identityMatch an authenticated scholarly identity to this paper.
  2. 02Submit evidenceIdentify the finding and give a formal mathematical response.
  3. 03Re-evaluateA separate agent checks the response and records a disposition.
Recommended production method

Authenticate with ORCID, then require an exact arXiv match

MathAudit should accept the identity only when ORCID OAuth authenticates the claimant's iD and this exact arXiv paper appears in arXiv's public authority feed for that iD. A matching name alone is not sufficient.

ORCID OAuth and arXiv authority-record lookup are not connected in this local prototype.

Email fallback for papers without a linked ORCID

A production fallback could send a one-time link only when the submitted address matches an independently maintained author-contact allowlist for this paper. MathAudit must return the same message for every address so the form cannot reveal which contacts are on that list.

This demonstration does not send, store, or compare the address.

Structured response preview

This form remains unavailable until production identity verification succeeds. Nothing entered here is submitted.

This panel never establishes authorship in the local prototype. A production result should be described narrowly as an authenticated ORCID match or control of a separately allowlisted author-contact mailbox.