{"id":"doi:10.5281/zenodo.20113796","kind":"article","title":"M20e Operations at the Frontier: Applications of the Theory of Operations to Classical Problems in Arithmetic, Geometry, and Transcendence","authors":["Paweł Łukasz Garycki"],"author_count":1,"year":2026,"published":"2026-05-01","venue":"Zenodo (CERN European Organization for Nuclear Research)","cited_by":0,"doi":"10.5281/zenodo.20113796","arxiv_id":null,"nct_id":null,"source_url":"https://doi.org/10.5281/zenodo.20113796","archive_url":"https://space-kitty.com/papers/doi:10.5281/zenodo.20113796","updated":null,"pmid":null,"pmcid":null,"openalex_id":"W7160758180","pdf_url":null,"abstract":"The Theory of Operations has two distinct Cores: the HyperCore, whose operations are constructed through iteration and symmetrisation, and the Symmetric Core, whose associative rooms are additions transported through iterated-logarithmic charts. This deprecated M20e monograph records their legitimate connections with elliptic periods, transcendence, symbolic dynamics and exponential iteration, while correcting the earlier claims that these connections supplied new approaches to major arithmetic problems. Its surviving content is classical mathematics with attribution and established results of the corpus, not a new solution programme. The opening establishes the distinction between an operation, its storage mean and a protocol mean. The HyperCore operation is its diagonal evaluated at its storage mean: C_R=Δ_R∘M_R. Gauss’s arithmetic–geometric mean is the protocol mean between arithmetic and geometric averaging. It is not the storage mean of the half-rank operation. At rank three-halves, that operation is AGM-Op(a,b)=AGM(a+b,ab). The Symmetric Core’s AddMult is instead AddMult(a,b)=√((a+b)ab). These are different objects. Together with the arithmetic mean of (a+b,ab), they satisfy AddMult ≤ AGM-Op ≤ (a+b+ab)/2, with equality exactly when a+b=ab. The half-rank HyperCore operation is also Gauss’s mean of the other two values. This preserves a precise relationship between the Cores without conflating their constructions. The storage mean of commutative power is given through Lambert’s W function. With K=√(ab ln a ln b), it is M₃(a,b)=exp(W(K)), and the operation is Cpow(a,b)=exp(K). The storage mean lies below the geometric mean, with equality on the diagonal. The number e has an exact dynamical role in room two. Its diagonal, Apow(x,x)=exp((ln x)²), becomes the squaring map in logarithmic coordinates. The fixed point 1 is superattracting, with basin (1/e,e), while e is repelling with multiplier two. The “thread point” is therefore a specific fixed point of a specific operation, not a general organising centre for integer powers or additive number theory. Growth further separates the two Cores. The HyperCore diagonals progress through 2n, n², nⁿ and a tetration-class operation. Room two instead has quasi-polynomial diagonal growth, Apow(n,n)=n^(ln n), while room three has exp((ln n)^(ln ln n)). The latter eventually exceeds every quasi-polynomial but remains below exp(n^ε) for every positive ε. These comparisons repair the earlier sub-polynomial classification and the mistaken alignment of operational ranks with fast-growing-hierarchy indices. Means themselves have no diagonal growth: M(n,n)=n; growth belongs to the operations’ diagonals. The strongest classical connection is Gauss’s formula for elliptic periods. For a real-root model y²=(x−e₁)(x−e₂)(x−e₃), with e₁>e₂>e₃, the period convention used in the record gives Ω_E=2π/AGM(√(e₁−e₃),√(e₁−e₂)). The model’s scale is essential. A formula involving only the normalised Legendre modulus does not recover the period of every Weierstrass model. Each AGM step corresponds to a classical Landen transformation and a two-isogeny. It doubles the period ratio and squares the nome. Iteration approaches a degenerating curve at the cusp; the limiting mean determines the common real period, but is not itself a point on a modular curve. These identities do not establish the Birch and Swinnerton-Dyer conjecture. Rewriting its period factor through AGM leaves the conjecture unchanged. Moreover, an invariant depending only on the j-invariant cannot determine Mordell–Weil rank: quadratic twists share that invariant while their ranks can differ. The record retains a checked lemniscatic example but withdraws the general “Operational BSD Identity.” The transcendence section distinguishes independence of functions from independence of their values. Exponentials with distinct rates are linearly independent over rational functions. Lindemann–Weierstrass handles exponentials of algebraic arguments under the appropriate rational-linear independence hypothesis; Schanuel’s conjecture concerns arbitrary complex arguments. The corrected exponential-tower statement requires joint independence across the levels, not merely independence within each level. Under Schanuel’s conjecture, one application to that jointly independent collection gives the stated transcendence-degree bound. An explicit relation e^z=2z demonstrates why the earlier level-by-level induction fails. The circle-rotation material retains the classical three-distance theorem, including its explicit arc lengths and multiplicities. Berthé’s theorem identifies frequencies of Sturmian factors with the arcs cut out by a rotation. Factors of length n correspond to a configuration of n+1 points. Counting length-two factors therefore sees only the three-point case and cannot prove the general theorem. The claimed new operational proof is withdrawn. Exponential iteration is separated into its proper analytic regimes. Below the critical base e^(1/e), the regular superlogarithm is obtained from Koenigs linearisation at a real attracting fixed point. At the critical base, a parabolic coordinate is needed. At base e, Kneser’s real-analytic construction uses complex fixed-point geometry and a conformal map. These are different constructions; a HyperCore diagonal normaliser is not a superlogarithm, and no stochastic replacement is established. Engel expansions provide another corrected classical result. Their digits form a Markov chain and satisfy ln a_n/n → 1 for almost every input. The digits therefore grow singly exponentially, not doubly exponentially. The logarithmic ratio of successive digits has an asymptotically exponential step law; its integer part has a geometric distribution with parameter 1−1/e. Similar-looking geometric laws in other corpus constructions do not imply a shared mechanism. The crate Lie algebra supplies a valid but limited arithmetic connection. It is solvable of derived length two, with one diagonal derivation acting on an abelian ideal. Its centre is zero. The relevant Galois action is semilinear, and the crate modules are regular permutation modules rather than generally irreducible representations. Their Artin L-functions are cyclotomic Dedekind zeta functions, decomposing into Dirichlet L-functions. This places the construction at the abelian, GL₁ end of the Langlands picture; it supplies no higher-rank correspondence. Finally, the Waring, Goldbach and abc discussions retain classical definitions, circle-method identities and numerical checks, but withdraw the proposed operational mechanisms. A moment lower bound does not establish Waring’s representation theorem; positivity of a global norm does not establish positivity of every Goldbach coefficient; distributivity supplies no control over radicals. The Hardy–Littlewood formula remains conjectural, and the attempted lifted abc inequality confuses a number with its logarithm. The corrected record preserves exact relationships among means, operational diagonals, elliptic periods, rotation frequencies and analytic iteration. It also establishes clear limits: period coordinates do not determine arithmetic rank, shared distributions do not identify mechanisms, and a change of operational language does not solve an arithmetic conjecture. Its value is corrective and historical, directing readers from failed analogies to the mathematics that actually survives.","abstract_license":"CC-BY (publisher license, via OpenAlex)","license":"cc-by","is_open_access":true,"retracted":false,"peer_reviewed":null,"categories":["Analytic Number Theory Research"],"details":null,"provenance":"openalex","attribution":"Abstract of \"M20e Operations at the Frontier: Applications of the Theory of Operations to Classical Problems in Arithmetic, Geometry, and Transcendence\" by Paweł Łukasz Garycki, https://doi.org/10.5281/zenodo.20113796, used under its Creative Commons Attribution license (CC-BY); markup removed, otherwise unmodified.","topics":[{"slug":"landmark-math-results","name":"Landmark Results in Pure Mathematics","domain_slug":"math-cs"}],"cited_in_dossiers":[]}