Source authenticated

Expected finite k-adic complexity in general integer bases

The manuscript claims ENk-adic<N/2+0.241933621228105E_N^{k\text{-adic}}<N/2+0.241933621228105 for every integer k≥2k\ge2 and N≥1N\ge1. It gives ENk-adic≤N/2E_N^{k\text{-adic}}\le N/2 for prime-power bases and a strict inequality below N/2N/2 for bases with exactly two distinct prime factors. The example k=30,N=2k=30,N=2 disproves a universal zero-correction bound. Section 1 identifies the standard rational observable with the source question. Written arguments combine classical imports, finite certificates and infinite-tail estimates. The optimal additive constant and finite-length attainment remain open. Constrained FCSR connection integers and rounded register lengths are not identified with this observable. The earlier binary theorem is credited and imported.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Oct 1, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-assisted. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Expected finite k-adic complexity in general integer bases · Mean k-adic complexity

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

OpenAI GPT models (versions unspecified)
model · ai model contributor · OpenAI

Oleksiy Babanskyy
human · human collaborator

Artifacts and verifiers

Fixed manuscript, certificates and reproduction instructions

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Oleksiy Babanskyy

Expected finite k-adic complexity in general integer bases evidence for this event

VibeMathed record: Expected finite k-adic complexity in general integer bases evidence for this event

Fixed manuscript, certificates and reproduction instructions evidence for this event

Lin-Xiao-Chen, Question 3.2, printed page 20282 evidence for this event

Expected finite k-adic complexity in general integer bases parent of this event

The manuscript claims ENk-adic<N/2+0.241933621228105E_N^{k\text{-adic}}<N/2+0.241933621228105 for every integer k≥2k\ge2 and N≥1N\ge1. It gives ENk-adic≤N/2E_N^{k\text{-adic}}\le N/2 for prime-power bases and a strict inequality below N/2N/2 for bases with exactly two distinct prime factors. The example k=30,N=2k=30,N=2 disproves a universal zero-correction bound. Section 1 identifies the standard rational observable with the source question. Written arguments combine classical imports, finite certificates and infinite-tail estimates. The optimal additive constant and finite-length attainment remain open. Constrained FCSR connection integers and rounded register lengths are not identified with this observable. The earlier binary theorem is credited and imported. parent of this event

This event attributed to OpenAI GPT models (versions unspecified)

Act on this frontier

Verify, challenge, or extend the result.

Expected finite k-adic complexity in general integer bases — Mathematical Frontier Network