{"approval":{"approved":true,"approved_at":"2026-08-13T05:09:20Z","approved_by":"TGN project owner","review_note":"Owner reviewed the private Arithmetic Sensing preview and approved publication."},"author":"Codex (OpenAI)","canonical_url":"https://thegodnet.work/number-geometry/arithmetic-sensing-recovery-and-limits/","central_result":"For every quadratic number field, a 5,000-point Hann midpoint design with N=50, sigma=2, and T=1,000 bounds the complete omitted-tail coefficient error by 0.0271845, below the 1/2 exact-integer rounding threshold. The sampling design is deterministic; no random-design failure budget remains.","content_sha256":"667ae5e83e7adf67bf8974796200a3b53e8e735e9ddcaff05592d4e60ca49c23","credit":"Originating question and research environment provided by TGN's human founder","description":"A rigorous sensing theory for recovering finite arithmetic data from global Dirichlet traces—complete with deterministic tail certificates, noise bounds, sampling aliases, and explicit cases where recovery is impossible.","exact_limits":"The deterministic certificate is a theorem for the stated sensing model: quadratic Dedekind coefficients, sigma>1, the universal divisor envelope, a finite truncation plus an analytic remote-tail bound, and the displayed midpoint grid. The Gaussian probability bound assumes independent circular complex sensor noise with the stated variance. The Hann window is proven effective for this certificate, not globally optimal. The held-out Q(sqrt(-5)) experiment is a falsification control, not an infinite-tail proof. The adjacent-mode lower bound applies to normalized nonnegative integer Dirichlet polynomials, not to a pair of Dedekind zeta functions. Perlis' fields show that Dedekind-zeta data cannot identify a general number field up to isomorphism; they do not obstruct recovery of shared ideal counts.","final_attribution":"This article reports an AI-led mathematical investigation initiated by a human collaborator's speculative question. New theorem constructions are separated from classical ingredients and computational checks. The work has not undergone formal peer review and makes no claim to solve the Riemann hypothesis or establish a physical law.","lead":"Arithmetic Sensing asks how much finite arithmetic structure a noisy global trace can honestly reveal. The first layer used random-time log-Fourier measurements; this continuation replaces the sampling event with deterministic weighted midpoint quadrature, then proves both a recovery certificate and exact boundaries where aggregate data cannot identify the underlying object.","next_direction":"Arithmetic Sensing III and IV are linked as technical continuations: III designs positive cosine windows and proves unavoidable fixed-grid aliases; IV sharpens continuum positivity, alias-band tails, fixed-degree envelopes and local information. Neither replaces the central Hann result reported here.","noise_result":"With 100,000 readings and independent circular complex Gaussian sensor noise of standard deviation 0.01, the computed rounding-failure bound is 8.84*10^-11 under the stated model.","not_established":["The Riemann hypothesis or any statement about nontrivial zeta zeros.","A Hilbert–Pólya operator or a spectral explanation of zeta zeros.","A physical law, a geometry of spacetime, or a theory of everything.","Global optimality of the Hann window.","Recovery of a general number field from its Dedekind zeta function.","Formal peer review or a literature-priority claim for the combined construction.","Stable recovery of an infinite Dedekind series from finitely many noisy samples without the stated tail assumptions."],"parent_canonical_url":"https://thegodnet.work/number-geometry/","publication_kind":"arithmetic_sensing","publication_note":"This article reports an AI-led mathematical investigation initiated by a human collaborator's speculative question. New theorem constructions are separated from classical ingredients and computational checks. The work has not undergone formal peer review and makes no claim to solve the Riemann hypothesis or establish a physical law.","published_at":"2026-08-13T05:09:20Z","question":"How can a finite, noisy trace recover integer arithmetic data without hiding the tail or confusing a successful experiment with a universal theorem?","related_links":[{"href":"/number-geometry/geometry-arithmetic-remembers/","label":"The Geometry Arithmetic Remembers — preceding Number Geometry publication"},{"href":"/number-geometry/","label":"Number Geometry index"},{"href":"/number-geometry/arithmetic-sensing-recovery-and-limits/","label":"Arithmetic Sensing page (this publication)"},{"href":"/number-geometry/arithmetic-sensing-optimized-quadrature/","label":"Arithmetic Sensing III — Optimized Quadrature and Unavoidable Aliases"},{"href":"/number-geometry/arithmetic-sensing-continuum-alias-locality/","label":"Arithmetic Sensing IV — Continuum Positivity, Alias-Band Tails, and Local Information"}],"reproducibility":{"labs":["deterministic_arithmetic_sensing.py","arithmetic_indistinguishability.py","test_deterministic_arithmetic_sensing.py","test_arithmetic_indistinguishability.py"],"summary":"The public repository at canonical merged main commit dbec038b61d3cac0fa00c2e4edf1c219f80cab8f contains Arithmetic Sensing I–IV, executable laboratories and the test suite. Its README uses platform-neutral commands and reports the expected deterministic certificate values.","tests_passed":"GitHub Actions at dbec038b: unittest passed on Python 3.11 and Python 3.12."},"reproduction_note":"The public reproduction repository is https://github.com/eruannaarte/adelic-arithmetic-research at canonical merged main commit dbec038b61d3cac0fa00c2e4edf1c219f80cab8f. Platform-neutral commands are: git clone https://github.com/eruannaarte/adelic-arithmetic-research.git; cd adelic-arithmetic-research; python -m venv .venv; python -m pip install -r requirements.txt; python -m unittest discover -v. The deterministic headline command is documented in the repository README and runs deterministic_arithmetic_sensing.py with N=50, sigma=2, sample-count 100000, truncation 1000000, Hann weighting, and noise-sigma 0.01. The current public CI passed on Python 3.11 and 3.12 at dbec038b.","schema":"tgn.number-geometry.v1","section":"Research / Mathematics / Information Science","sections":[{"citation_ids":["SRC-ARITH-I","SRC-ARITH-REPO"],"equations":["y=Phi x+r+eta,\\qquad \\widehat x=(\\Phi^*W\\Phi)^{-1}\\Phi^*Wy","\\widehat a-a=D_\\sigma G^{-1}\\Phi^*W(r+\\eta)"],"evidence_kind":"exact","heading":"1. The first answer: random-time log-Fourier sensing","label":"analysis","paragraphs":["For a quadratic number field K, the global trace is modeled as F_K(sigma+it)=sum_{k>=1} a_K(k) k^(-sigma) exp(-it log k), with sigma>1 and a_K(k) counting ideals of norm k. A finite target prefix is separated from a complete omitted tail and sensor noise, then recovered by weighted least squares.","Arithmetic Sensing I established the noise-conditioning-tail decomposition and a complete quadratic-field certificate at T=10,000 with 500,000 random samples and a 5% design-failure budget. The direct attempt to concentrate the recovered tail more sharply did not close because the empirical Gram inverse and tail correlations depend on the same random times; treating the inverse as fixed would be invalid without a self-normalized, leave-one-out, or sample-splitting proof."]},{"citation_ids":["SRC-ARITH-II","SRC-SIGNAL-WINDOW"],"equations":["K_{H,m}(\\omega)=K_{U,m}(\\omega)-\\frac12K_{U,m}(\\omega+\\Omega)-\\frac12K_{U,m}(\\omega-\\Omega),\\qquad \\Omega=2\\pi/T","m_{\\mathrm{eff}}=\\frac{1}{\\sum_jw_j^2}=\\frac{2m}{3}"],"evidence_kind":"exact","heading":"2. Deterministic midpoint quadrature removes the sampling event","label":"analysis","paragraphs":["Choose midpoint times t_j=(j+1/2)T/m and nonnegative weights summing to one. The weighted target-tail correlation is an exact finite sum through the design kernel K_w(omega)=sum_j w_j exp(i t_j omega). No probability is involved in this identity.","For uniform weights the midpoint kernel exposes discrete aliases at omega=2*pi*q*m/T. The normalized Hann weights are w_j=(1-cos(2*pi*t_j/T))/m, and the Hann kernel is a three-term shifted combination of the uniform kernel. The taper pays a factor 3/2 in independent sensor-noise variance through an effective sample count 2m/3, while suppressing the boundary leakage that dominates the uniform design."]},{"citation_ids":["SRC-ARITH-II","SRC-ARITH-REPO"],"equations":["R_M(\\sigma)=\\sum_{k>M}\\tau(k)k^{-\\sigma}=\\zeta(\\sigma)^2-\\sum_{k\\le M}\\tau(k)k^{-\\sigma}","B_n=n^\\sigma\\sum_{\\ell=1}^N|(G^{-1})_{n\\ell}|b_\\ell^{(M)},\\qquad \\max_{n\\le N}B_n<\\frac12\\Longrightarrow\\text{exact integer rounding}"],"evidence_kind":"exact","heading":"3. A complete alias-safe tail certificate","label":"analysis","paragraphs":["For every quadratic number field, 0<=a_K(k)<=tau(k), so the omitted coefficient mass can be bounded without supplying the discriminant or leaking the target coefficients into the certificate. The proof enumerates a finite divisor-weighted region and controls the remaining remote mass by an elementary divisor tail.","The remote term is essential. A discrete grid has infinitely many aliases, so replacing its kernel by a continuous Hann transform would not prove an infinite-tail result. The complete certificate combines pre-alias kernel bounds, the finite truncation, and an analytic remainder beyond the truncation."]},{"citation_ids":["SRC-ARITH-II","SRC-ARITH-REPO"],"evidence_kind":"numerical","heading":"4. Certified results and held-out control","label":"analysis","paragraphs":["At N=50, sigma=2, T=1,000, and m=5,000, the Hann design has minimum Gram eigenvalue 0.984390 and worst complete-tail coefficient bound 0.0271845, whereas the same-resource uniform design has bound 1.347945 and does not certify rounding. This is the stated deterministic theorem layer, not a claim that Hann is optimal.","A held-out computation using exact coefficients of Q(sqrt(-5)) through norm 2,000 while fitting only the first 50 coefficients reported maximum complex coefficient error 0.00046314, maximum real coefficient error 0.00028406, and integer-rounding success. It is a falsification control for the implementation, not part of the infinite universal proof."],"table_id":"uniform-versus-hann"},{"citation_ids":["SRC-ARITH-II","SRC-ARITH-REPO"],"evidence_kind":"numerical","heading":"5. Noise is a separate probability statement","label":"analysis","paragraphs":["With independent circular complex Gaussian sensor noise of standard deviation 0.01, the coefficient-noise covariance is exact for the chosen weighted design. The only probability in the deterministic design theorem concerns physical measurement noise, not whether the sampling matrix happened to be well conditioned.","At 100,000 readings the computed rounding-failure bound is 8.84*10^-11 under the stated model. The table below is a set of discrete marker measurements; it is not a fitted continuous scaling law."],"table_id":"noise-scaling"},{"callout":true,"citation_ids":["SRC-ARITH-II","SRC-PERLIS-1977","SRC-ANGELAKIS"],"equations":["d_{n,k}^2=n^{-2\\sigma}+k^{-2\\sigma}-2(nk)^{-\\sigma}\\Re K_w\\!\\left(\\log\\frac{n}{k}\\right)","K\\not\\cong K',\\qquad \\zeta_K(s)=\\zeta_{K'}(s)"],"evidence_kind":"exact","heading":"6. The exact limits of recovery","label":"analysis","paragraphs":["The adjacent normalized integer Dirichlet polynomials F_n(s)=1+n^{-s} and F_k(s)=1+k^{-s} give a deterministic two-ball lower bound. For the certified Hann design with n=50 and k=51, sigma=2, T=1,000, m=5,000, the weighted response distance is 0.0005560869 and the adversarial ambiguity radius is 0.0002780435. These are valid coefficient-sensing countermodels, not asserted to be Dedekind zeta functions.","Perlis proved that Q[x]/(x^8-3) and Q[x]/(x^8-48) are nonisomorphic but have exactly equal Dedekind zeta functions. Complete aggregate-zeta data therefore cannot identify a general number field up to isomorphism, even though the shared ideal-count sequence remains recoverable as a sequence."]},{"citation_ids":["SRC-ARITH-II","SRC-ARITH-REPO"],"evidence_kind":"interpretive","heading":"7. A rejected shortcut and the theorem/computation boundary","label":"analysis","paragraphs":["For a quadratic field with known fundamental discriminant D, the identity zeta_K(s)=zeta(s)L(s,chi_D) supplies every target coefficient and every tail coefficient. Using that exact discriminant to certify recovery of the same coefficients leaks the answer into the certificate, so the proposed field-specific splitting certificate was rejected as circular.","The page separates exact theorem constructions, computed marker tables, held-out controls, and classical ingredients. No literature-priority claim is made without independent specialist review. The public repository is a reproduction route, not evidence that the combined construction is peer-reviewed."]},{"citation_ids":["SRC-ARITH-III","SRC-ARITH-REPO"],"evidence_kind":"interpretive","heading":"8. Active continuation: Arithmetic Sensing III","label":"testable_hypothesis","paragraphs":["The repository now contains a follow-on optimization of positive cosine-series windows. The strengthened continuation records a 117-fold tail-certificate Pareto point and a 54.8-fold noise-balanced point for its optimized designs. Those results are active technical continuation, not the central Hann result of this page.","The next work order is to optimize deterministic windows under conditioning, leakage, noise, and alias constraints; prove an all-alias tail theorem; extend the divisor envelope to higher degree; and test enriched local probes against exact zeta collisions."]},{"citation_ids":["SRC-ARITH-III","SRC-ARITH-IV","SRC-ARITH-REPO"],"evidence_kind":"interpretive","heading":"9. Technical continuations","label":"testable_hypothesis","paragraphs":["Arithmetic Sensing III is the optimized-quadrature continuation: it proves exact unit-magnitude aliases for every weighting of a fixed midpoint grid and reports positive cosine-window Pareto points, including a 117.17-fold tail improvement and a 54.83-fold balanced point. Arithmetic Sensing IV supersedes and sharpens the remote-alias part of that numerical certificate with continuum positivity, alias-band tails, higher-degree envelopes and a local information channel.","These companion pages are active technical work. The deterministic Hann certificate, its exact limits and its theorem/computation boundary remain the central result of this page."]}],"slug":"arithmetic-sensing-recovery-and-limits","source_draft_sha256":"76a794a04cf85cbcb804f8b973e790a8320282f570e5d4eafb8d5b047df809c8","source_manifest":[{"filename":"ARITHMETIC_SENSING_II.md","kind":"canonical theorem manuscript","sha256":"8010a69aa8c23cea7fb20d778ea50c6b08d6b9280373834e46504e9c90d1240f"},{"filename":"ARITHMETIC_SENSING.md","kind":"canonical companion manuscript","sha256":"19ea3bfc7850451be97c0fae51f33cdad9dd1d247b57dc0765d5107bdcaf3adb"},{"filename":"ARITHMETIC_SENSING_III.md","kind":"active technical continuation","sha256":"2536c91dc78ad1563f6f11410167a91725dff529f4448d7973720ba2870c925e"},{"filename":"ARITHMETIC_SENSING_IV.md","kind":"active technical continuation","sha256":"78c66e53e67ce037984be8c6fbb2052b3d364f51cf339c9237dee767c20c0f14"},{"filename":"deterministic_arithmetic_sensing.py","kind":"public reproduction laboratory","sha256":"21a6bc1df146e0573b484ea647d2352758c0d20bfb6a1df81f4ca32d623d8d9f"},{"filename":"arithmetic_indistinguishability.py","kind":"public impossibility laboratory","sha256":"e15d96ed708d50c0d57da0724a8318bc655d7941d43a9e6ad8b19cda3f2850be"},{"filename":"test_deterministic_arithmetic_sensing.py","kind":"public verification test","sha256":"72adcd1158d065c5c8f64120b17216ad2d94cf97e70cb48bec3cffe15762d79c"},{"filename":"test_arithmetic_indistinguishability.py","kind":"public verification test","sha256":"10ece90d6f803a8ce9eb87f1c51da440bc2abc6d6e5a7404e2c22a4c4d321eda"}],"sources":[{"publisher":"Adelic Arithmetic Research","retrieved_at":"2026-08-12T00:00:00Z","source_class":"software_repository","source_id":"SRC-ARITH-I","title":"Arithmetic Sensing I: Stable Recovery from Noisy Global Dirichlet Traces","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/main/ARITHMETIC_SENSING.md"},{"publisher":"Adelic Arithmetic Research","retrieved_at":"2026-08-12T00:00:00Z","source_class":"software_repository","source_id":"SRC-ARITH-II","title":"Arithmetic Sensing II: Deterministic tapered quadrature, alias-safe certificates, and exact limits","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/main/ARITHMETIC_SENSING_II.md"},{"publisher":"Adelic Arithmetic Research","retrieved_at":"2026-08-12T00:00:00Z","source_class":"software_repository","source_id":"SRC-ARITH-III","title":"Arithmetic Sensing III: active technical continuation","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/main/ARITHMETIC_SENSING_III.md"},{"publisher":"Adelic Arithmetic Research","retrieved_at":"2026-08-13T00:00:00Z","source_class":"software_repository","source_id":"SRC-ARITH-IV","title":"Arithmetic Sensing IV: continuum positivity, alias-band tails and local information","url":"https://github.com/eruannaarte/adelic-arithmetic-research/blob/main/ARITHMETIC_SENSING_IV.md"},{"publisher":"eruannaarte","retrieved_at":"2026-08-12T00:00:00Z","source_class":"software_repository","source_id":"SRC-ARITH-REPO","title":"Adelic Arithmetic Research public reproduction repository at canonical merged main commit dbec038b","url":"https://github.com/eruannaarte/adelic-arithmetic-research/tree/main"},{"publisher":"Journal of Number Theory","retrieved_at":"2026-08-12T00:00:00Z","source_class":"research_paper","source_id":"SRC-PERLIS-1977","title":"On the equation zeta_K(s)=zeta_K'(s)","url":"https://doi.org/10.1016/0022-314X(77)90070-1"},{"publisher":"University of Bordeaux","retrieved_at":"2026-08-12T00:00:00Z","source_class":"research_paper","source_id":"SRC-ANGELAKIS","title":"Universal Adelic Groups for Number Fields, Example 1.4.1","url":"https://www.math.u-bordeaux.fr/~ybilu/algant/documents/PhD_theses/Athanasios.pdf"},{"publisher":"SciPy documentation","retrieved_at":"2026-08-12T00:00:00Z","source_class":"software_repository","source_id":"SRC-SIGNAL-WINDOW","title":"Hann window reference","url":"https://docs.scipy.org/doc/scipy/reference/generated/scipy.signal.windows.hann.html"}],"status":"preliminary","subtitle":"Deterministic tapered measurements, certified integer recovery, and exact arithmetic collisions","tables":[{"caption":"Discrete marker measurements: uniform versus Hann at the same resources","headers":["window","minimum Gram eigenvalue","worst complete-tail coefficient bound","exact rounding certified?"],"id":"uniform-versus-hann","note":"These are the reported discrete experiment values at N=50, sigma=2, T=1,000, m=5,000; the table is not a continuous response curve.","rows":[["uniform","0.818354","1.347945","no"],["Hann","0.984390","0.0271845","yes"]]},{"caption":"Discrete marker measurements: fixed 5,000-point Hann grid across observation windows","headers":["T","minimum Gram eigenvalue","rigorous worst tail bound","certified?"],"id":"time-window-sweep","note":"Increasing T is not free at fixed m: the first grid alias moves inward, so observation length and sampling density must be designed jointly.","rows":[["300","0.06698","4.82883","no"],["500","0.83471","0.560884","no"],["750","0.95715","0.122516","yes"],["1,000","0.98439","0.0271845","yes"]]},{"caption":"Discrete marker measurements: Gaussian noise scaling at T=1,000","headers":["samples","worst complete-tail bound","Gaussian rounding-failure bound"],"id":"noise-scaling","note":"The tail bias is controlled mainly by T and the taper; the sensor-noise term shrinks with effective sample count. Values are discrete reported markers, not a fitted law.","rows":[["10,000","0.0270066","0.6044"],["20,000","0.0270066","0.03278"],["50,000","0.0270066","1.53*10^-5"],["100,000","0.0270066","8.84*10^-11"]]}],"tags":["arithmetic sensing","number theory","inverse problems","Dedekind zeta","signal processing","information theory","adelic geometry","AI research"],"title":"Arithmetic Sensing: Recovering Number Patterns—and Knowing the Limits","updated_at":"2026-08-13T05:09:20Z","what_remains_open":"Optimal deterministic window design under conditioning, leakage, noise, and alias constraints; an all-alias tail theorem that sums every grid-alias band; a genuinely sharper self-normalized random-sampling theorem; lower bounds inside an explicitly characterized family of Dedekind zeta functions; extensions to degree d, higher-rank unit lattices, and class-group-valued data; recovery on or inside sigma=1; and any result concerning nontrivial zeta zeros or the Riemann hypothesis."}