arXiv Science⌕ Search

arXiv · 2609.35772

A density deficit for sums of three cube-full numbers

Abstract

Let $F$ be the set of positive cube-full integers. We prove that, for every $\varepsilon>0$, there is a reduced residue class in which $F+F+F$ has upper relative density at most $\varepsilon$. Consequently, the positive integers not representable as sums of at most three cube-full numbers have positive lower natural density. This proves the infinitude assertion in Erdős Problem \#940 for $r=3$. The argument combines a cubic-character estimate with a truncation of the parametrisation by the canonical 4-full part.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Basile Beyer de Ryke. 2026-07-26. A density deficit for sums of three cube-full numbers. https://arxiv.org/abs/2609.35772

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Fibonacci Enumeration of Residue Classes via Forbidden Binary Factors

Binary words avoiding adjacent ones are counted by Fibonacci numbers. We identify a natural residue-class enumeration in which this classical word count arises from parity data of the shortcut $3n+1$ map. For an odd starting value, we introduce a local cut time: the first index at which the trajectory enters the residue class $3$ modulo $4$ immediately after an even term. For each finite cut time, the starting values realizing it form a union of complete residue classes modulo a power of two, and the number of these classes is given by an explicit Fibonacci formula. The key step is a recoding of the cut condition as avoidance of the binary factor $11$ in the free part of a parity word. An explicit comparison with the endpoint conventions of the author's 2014 block construction, including the terminal blocks ending at $1$, shows that the resulting residue-class counts prove the two Fibonacci formulas conjectured there in their complete-class form. The construction is a two-state regular-language enumeration; a related theorem of Reyes Jiménez has the bitwise-complementary forbidden-factor formulation $00$.

math.GM↗

Token Space: A Category Theory Framework for AI Computations

We introduce Token Space, a categorical framework for AI computations based on explicit structural records. Five theses guide it: object interiors should be data; category theory should compute with its own objects; computational interfaces should specify structural obligations; equal vectors need not identify the same Token occurrence; and computation should admit an unbounded, dynamically organized population of Token computing cores. A Token is a finite tuple of carrier elements and fixed symbols. A Token class pairs a carrier with a heap of records; Token maps preserve those records. The elementary category has finite limits, finite coproducts and exponentials, but is not a topos. Algebraic tokenization is fully faithful for a fixed finitary signature with all homomorphisms. Small categories and functors have record encodings, natural transformations have endpoint-constrained encodings, and finite categorical constructions are executable. Operators and supported tree reification expose internal structure. For represented finite mappings, valid acyclic graphs evaluate through unique Token maps. Completed parts glue by pullback-pushout squares, sharing induces an adjunction on completion lattices, frontier interfaces form a functor, and certified residual replacement preserves the remaining result. Effective finite transitions preserve finite configurations; a uniform generator yields arbitrarily wide ready populations. Requests with finite dependency closures complete under stated progress conditions. Transformers are one implementation family: permutation heaps characterize equivariance and prefix-agreement heaps characterize causality under specified interfaces. Structural distillation uses teacher-induced heaps; relation-saturating quotients characterize exact preservation and reflection of recorded structure.

math.GM↗