Work

Structural Arithmetic Supporting Results: Recurrence Positivity, Reachable Freshness and Difference Annihilators

Year: 2026

Type: article

Abstract: This paper connects three supporting-result families in structural arithmetic: positivity of a rational recurrence on a sufficient parameter region, the relationship between orbit injectivity and reachable-state freshness, and conditional annihilation of polynomial-periodic sequences. Nineteen declarations across five included formal modules are accompanied by minimized saved acceptance records from an explicitly selected external proof extension; these are not nineteen native admissions. Finite examples are distinguished from general results. Recurrence necessity, unconditional freshness and coverage, and the required floor/rounding decomposition remain outside the established scope. Actual proof bodies are included for inspection; no fresh compilation or resolution of a parent conjecture is claimed.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.24032025

Author: Glowalla, David

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7225450626

FWCI:

Cites:

Cited by:

Related to: 10