FEINMAN 2 is proposed as a typed operator-graph extension of Feynman graphical calculus. The purpose is not to replace the successful calculational machinery of quantum mechanics or quantum electrodynamics, but to provide a common formal graph object in which ordinary propagation can be composed with closure operations, bridges between operational regimes, gates, holonomy, projection and readout. This revised formulation replaces dimension-like public labels by dimension-neutral operational labels; defines explicit Hilbert-space domains and codomains for every graph operator; separates coherent amplitude maps from density-operator/CPTP maps; defines graph equivalence and symmetry factors; and constrains bridge operators to be generated or independently calibrated rather than inserted post hoc. A concrete first realization is given in Hilbert spaces with self-adjoint Hamiltonian generators, unitary propagators and holonomies, projector gates, typed bridge maps, coherent readout maps, and completely positive measurement channels. The master expression is therefore treated as an operator template, not as a universal path-integral formula until a model-specific action and measure are supplied. Exact recovery requirements are stated for ordinary Feynman/QED/QM limits. Worked consistency benchmarks include two-path interference, spinor 2π/4π transport, entanglement with exact no-signalling, a standard tree-level QED reduction, the one-loop Schwinger limit, and the hydrogenic spectrum. A finite-dimensional two-regime example gives an executable numerical benchmark. The paper explicitly distinguishes representation, recovery, interpretation and prediction: no new empirical effect is claimed unless its operator assignment is frozen before a held-out observation and survives independent validation. https://doi.org/10.5281/zenodo.21612972 Keywords: Feynman diagrams; typed operator graphs; quantum mechanics; quantum electrodynamics; holonomy; projection; open quantum systems; graphical calculus; OUXSPACE; falsification.
FEINMAN 2 is proposed as a typed operator-graph extension of Feynman graphical calculus. The purpose is not to replace the successful calculational machinery of quantum mechanics or quantum electrodynamics, but to provide a common formal graph object in which ordinary propagation can be composed with closure operations, bridges between operational regimes, gates, holonomy, projection and readout. This revised formulation replaces dimension-like public labels by dimension-neutral operational labels; defines explicit Hilbert-space domains and codomains for every graph operator; separates coherent amplitude maps from density-operator/CPTP maps; defines graph equivalence and symmetry factors; and constrains bridge operators to be generated or independently calibrated rather than inserted post hoc. A concrete first realization is given in Hilbert spaces with self-adjoint Hamiltonian generators, unitary propagators and holonomies, projector gates, typed bridge maps, coherent readout maps, and completely positive measurement channels. The master expression is therefore treated as an operator template, not as a universal path-integral formula until a model-specific action and measure are supplied. Exact recovery requirements are stated for ordinary Feynman/QED/QM limits. Worked consistency benchmarks include two-path interference, spinor 2π/4π transport, entanglement with exact no-signalling, a standard tree-level QED reduction, the one-loop Schwinger limit, and the hydrogenic spectrum. A finite-dimensional two-regime example gives an executable numerical benchmark. The paper explicitly distinguishes representation, recovery, interpretation and prediction: no new empirical effect is claimed unless its operator assignment is frozen before a held-out observation and survives independent validation. https://doi.org/10.5281/zenodo.21612972 Keywords: Feynman diagrams; typed operator graphs; quantum mechanics; quantum electrodynamics; holonomy; projection; open quantum systems; graphical calculus; OUXSPACE; falsification.
This update consolidates the formal, numerical, and publication-level corrections identified after Revision 3.0 of the FEINMAN 2 project and after direct execution of its reproducibility package. The underlying proposal remains a typed directed operator-graph calculus organized through the locked 4S-11S operator-space chain. The update does not introduce a new interaction or a confirmed deviation from standard quantum mechanics or quantum electrodynamics. Its main contribution is instead evidential and methodological: the complete package was checked by exact SHA-256 verification and rerun in the frozen environment (Python 3.13.5, NumPy 2.3.5, Linux x86_64/glibc 2.41), producing STATE=DONE and TESTS=PASS. The run reproduces the Cl(0,8) eight-generator certificate, the 32x32 extended Pauli certificate, the standard-QED anomalous-frequency checksum, the TERRA/ZERRA finite-grid count, and the frozen H2/H3+ finite-basis molecular outputs. The update corrects the benchmark-contract hash to c006873e...db777, distinguishes a recovery checksum from an independent one-loop integration, replaces the ambiguous bridge limit B->I by an explicitly declared identification or isometry between Hilbert spaces, and separates verified implementation claims from open physical claims. It also records incomplete executable coverage for graph-schema rejection tests, numerical no-signalling regression, and the TERRA/ZERRA norm-residual certificate. FEYNMAN-2 is therefore supported as a reproducible formal and computational research platform, while promotion to a physical theory still requires a nonidentity operator assignment frozen before a sealed holdout and independently replicated.
This paper develops the state and measurement layer of Variable-Signature QuantumTheory and Obstruction Theory. Building on the projected positive-sector geometry ofVSQT-OT I, it defines θ-density states, algebraic states, effects, finite POVMs, sectorcompletely positive maps, and passive instruments intrinsically on the physical sectorEθ = Pθ K, Hphys,θ = (Eθ , ⟨·, ·⟩θ ).The paper fixes the sector trace, θ-adjoint, sector positivity, amplified sector positivity, andsector complete-positivity conventions, carefully distinguishing abstract sector endomorphismsfrom ambient representatives. Its main results prove compact convexity of the θ-density statespace, Born positivity and normalization for sector POVMs, selected-operator-system states,algebraic-state restriction and positive-extension representation on finite-dimensional ∗θ-subalgebras, finite-dimensional sector Kraus representation, Schrödinger–Heisenberg dualityfor sector CP maps, passive instrument normalization, instrument-to-POVM compatibility,admissibility of stratumwise measurement families, pointwise equivalence with ordinary finite-dimensional measurement theory, a fixed-Hilbert obstruction criterion, and fixed-Hilbertrecovery in Born-pair, POVM, and instrument forms. The paper does not introduce a newfinite-dimensional Born rule or a new Kraus theorem; pointwise sector measurement theoryis ordinary finite-dimensional measurement theory written in the sector Hilbert structure.Its contribution is the sector-typed formulation of the standard measurement calculus overvariable positive sectors, together with a first obstruction class detecting when the sectorbundle cannot be globally reduced to one admissible fixed-Hilbert carrier, gauge-compatibleadmissibility rules for stratumwise families, a formal admissible comparison class, and arecovery criterion identifying when that layer is ordinary after compatible admissible transport.The selected-observable layer is an operator-system layer by default, with selected ∗θ -algebrastreated as a stronger optional case. All operator-algebraic statements are finite-dimensionaland algebraic; no infinite-dimensional, unbounded, spectral, semigroup, or von Neumannalgebraic operator theory is claimed. The paper is finite-dimensional, stratumwise, andnon-dynamical. Active inter-sector instruments are isolated as a separate typed skeletonrather than claimed as a consequence of passive measurement calculus
A finitist, relational axiomatization of physics: quantum theory and a relativity sector derived from four axioms about group-valued relations and closure. Contributions to the foundations of quantum mechanics (Born rule derivation, quantum reconstruction, local tomography, complex field selection), the emergence of time and causal structure in discrete networks, discrete Noether theorems, lattice gauge structure, and the Schrödinger equation derived by two independent routes. Every claim is graded in a Claim Ledger; every numerical claim is machine-verified with archived scripts; negative results are reported at full strength. What this paper does The universe is taken to be constituted by relations rather than objects. Stable relations form closures (self-consistent cycles) whose holonomies carry the physical content. Four axioms — primacy of relations (group-valued, edge-borne), closure stability, chirality from order, and observation as bidirectional group exchange — yield, at explicitly graded and conditional levels: Quantum sector Exchange-completeness theorems for finite label groups: abelian at all cycle ranks; non-abelian on the single cycle (Wilson readouts plus class-sum convolutions generate the full matrix algebra); the multi-cycle non-abelian case on the operational-equivalence quotient, with the obstruction completely characterized via class-preserving outer automorphisms — and the quotient's necessity now stratified by the source of word blindness (see New in Version 24.0). The Born rule, proved for finite abelian networks from a strictly weaker relational readout premise (statistics of realizable effects depend only on relational content); non-contextuality has this single source; additivity is basis-relative and declared as such. The Schrödinger equation by two routes of unequal premise grade, maintained side by side: a spectral route — the action operator is a weighted Cayley-graph Laplacian in the Pontryagin dual basis, the derived Gibbs state's unique canonical (modular) flow yields the Schrödinger equation with Hamiltonian equal to the action operator, no continuum limit, zero conjectures consumed, the single non-theorem step one flagged identification; and a Madelung route — physical and mechanism-rich (probability density derived from constraint gaps), valid exactly on the domain of the pseudo-continuity conjecture, with its full premise bill stated (continuity equation, Wallstrom circulation condition, m, V). A dedicated comparison subsection gives the line-by-line premise accounting and the machine-measured agreement region. Complex field selection: ℂ selected over ℝ and ℍ within the GPT comparison class in the covered sectors, with a second independent route from chirality (Frobenius–Schur dichotomy, quaternionic double exclusion); "uniquely selected" expressly not claimed. Positivity as pairing: all five in-text positive-semidefiniteness theorems traced to one mechanism (M = B†B with native factor); the Kraus form and complete positivity derived rather than assumed. The Noether sector on Noether's two theorems exactly: Noether I recovered on the holonomy action (compact Lie realization); Noether II identified as present (Bianchi as horn-filling, Schläfli as its Regge form); selection rules recovered for finite groups; the GNS bridge proved non-vacuously on the full exchange algebra; the sole potential extension — conservation as the kernel of exchange — isolated as a registered conjecture, consumed nowhere. A local–global representation theorem: six generative quantities (closure invariant, flux quantization, Weyl phase, non-abelian Stokes, orientation visibility, terminal normalization) are evaluations of cohomology classes against closed chains — one syntax, six exact machine probes. The gatekeeper no-go theorems registered and discharged: Kochen–Specker (the framework posits no global valuation — outcomes are resolutions of constraint gaps, and basis-relative additivity blocks state-independent variants), Pusey–Barrett–Rudolph (the statistical envelope is over resolutions yet to happen, not values already held; machine witness: identical configuration ensembles with opposite relative phase have opposite statistics), Wallstrom (registered as an explicit input, structurally discharged in the finite-abelian sector), Hegerfeldt (the Lieb–Robinson exponential tail identified as the only claimable front form for the continuum limit), Frauchiger–Renner (cross-agent certainty transfer presupposes kernel-free record transport, exactly what exchange-incompleteness excludes), and no-cloning (inherited in the covered sectors); Conway–Kochen and Colbeck–Renner noted as concordant. Relativity sector Time from finite capacity plus genuine randomness: the staging theorem (Θ(d) dependency depth, unbounded chains via the Moore bound; the quantitative failure law conditionalized on measure-level independence with exact minimal witnesses); the temporal quantum defined combinatorially, no Hamiltonian input. The speed of light grounded in an exact discrete dependency cone (combinatorial, no quantum input), the Lieb–Robinson bound consumed at cross-check grade only; a boost no-go theorem reducing Lorentz invariance to named statistical conditions, with the Collins fine-tuning objection recorded as a gate. The trace-descent theorem group: the growth-history measure forced onto the Mazurkiewicz trace quotient; chain reflection positivity at every depth with completely explicit spectrum. An equation sector of nine verification families (Schrödinger, Dirac, Maxwell/U(1), canonical commutator, Yang–Mills SU(2), Regge calculus, Klein–Gordon, Noether loop, Cartan curvature), where every machine-precision claim is the shadow of a proved backbone lemma — including the factor ½ of H = ½L + V, identified as the Wilson Fourier coefficient fixed by the action theorem. Four experimentally testable predictions, including a discriminating flat-versus-sigmoid visibility protocol. The Standard Model gauge group, ħ, and G remain open, with attack routes registered. How to read Three entry paths are marked in the document. Path A (derivational core): axioms → group structure → Noether sector → least action → Born rule → positivity. Path B (physical mechanisms): constraint propagation → time as determination → wave function as gap envelope → fields. Path C (scope and limits): the Claim Ledger, then Discussion and Open Problems — for the reader who wants to know what is claimed and what is not before reading anything else. The Claim Ledger is the single authoritative register of claim status; wherever body text sounds stronger, the Ledger governs. New in Version 24.0 (Version 23.0 is the immediately preceding public release; this version supersedes the internal V12–V15 and V17–V19 series, whose numbers are not used externally.) Version 24.0 resolves the structure of the multi-cycle non-abelian obstruction — the sector's longest-standing open front — following an external research exchange with three rounds of independent re-verification (fourteen core figures, three commutant instruments implemented independently, exact integer arithmetic on the obstruction side) and two rounds of counter-review that corrected one quantifier on each side: A dichotomy of the multi-cycle obstruction (new remark). Word blindness on multi-cycle networks has two identified sources, jointly covering every tested case, with opposite behaviour as cycle rank grows. Type I (global; graded): a class-preserving outer automorphism yields a commutant element by an argument free of cycle-rank reference; its non-triviality holds at theorem grade for b₁ ≥ d(G) via generating tuples, is monotone in b₁, and the threshold is measured at b_σ = 2 on the tested Wall group (at b₁ = 1 the permutation is the identity — no universal claim is made, and the existence of groups with threshold above 2 is registered open). Type II (local; measured): Out_c trivial but fusion fails on a proper subgroup, the blind pairs sitting in non-generating sectors — the same mechanism that defeats Wilson generation; this blindness heals: on every verified group (A₄, SL(2,3), A₄×ℤ₂) the full commutant collapses to trivial at b₁ = 3 by exact computation on two independently implemented instruments, although word readouts remain blind — the shift primitives separate, above a threshold, and the natural explanation (tuples becoming generating) is refuted by the persistence of blind blocks. Three boundaries at full strength: no exhaustiveness proof (a third source is not excluded); no general healing theorem (the verified groups all heal at 3, cause unidentified); the verified Type II sample is narrow. The quotient proposition restated in stratified form. The operational-equivalence quotient's necessity is now part of the proposition's own statement, in three strata: necessary where Out_c ≠ 1 at every b₁ ≥ b_σ(G), with b_σ ≤ d(G) at theorem grade; one-dimensional at b₁ = 2 on the fusion-type groups (verified cases); trivial at b₁ ≥ 3 on every verified fusion-type group and at every tested b₁ for word-separation-complete groups (a fourteen-group scan of orders ≤ 31 found no third source). Pre-registered validation preceded the restatement: a stratification-exhaustiveness scan (pass), a new-witness search (no new witness in range, downgrade clause applied as pre-registered), and a zero-conflict audit of the three strata against all archived data. The residual open problem is now precisely located. What remains of multi-cycle completeness: the rare Out_c ≠ 1 groups (54 in the exhaustive range through order 96) above their measured thresholds, the low-b₁ fusion stratum, a general healing theorem, and whether a threshold above 2 occurs. The multiplicity-freeness conjecture's mechanism sentence is corrected with the two regimes stated separately (at b₁ = 2 the shifts do not separate — the blind-pair transposition commutes with every primitive, integer-exact — and reduce the commutant to
This manuscript is the core mathematical reference that makes GTOSM operational as a closed, tick-by-tick update system and a strict translation layer to and from standard physics. It is deliberately non-narrative: it contains only primitives (with explicit symbolic forms and units), a fully specified one-tick state update map with ownership semantics, and a bidirectional dictionary that rewrites standard quantities (time, energy, momentum, phase, temperature, gravity images, etc.) in GTOSM primitives on declared coarse-graining windows. Two operative objects drive the document: Measurement as a physical registrar event: measurement is defined as a fermionic non-optimal transfer (η=1) at a boundary corridor, with explicit bookkeeping consequences (forced completion, constraint replacement, exported-bias deposition, and dimensional-adjustment accounting). Pre-measurement evolution is treated separately on η=0 windows via a unitary ledger representation where appropriate. Suppression of infinities by construction: continuum divergences are eliminated through a constrained replacement calculus that substitutes ill-posed limit expressions (UV integrals, δ-sources, denominator blowups, and strong-field singularities) with finite, bounded lattice surrogates, yielding computable error bounds and audit-ready conservation bookkeeping. The document closes the loop by stating correspondence theorems with checkable hypotheses (Born-rule emergence under a fixed hazard coupling, causal locality/no superluminal signalling, Schrödinger correspondence on η=0 windows, weak-field gravity images under calibrated closure, and thermodynamic-limit consistency). The result is a publication-grade, implementation-ready “dictionary-and-dynamics” standard: translate in, evolve under fixed rules, translate out—without per-phenomenon tuning.Standalone follow-up work on: Necsanu, R. (2025). General Transfer-of-State Model (GTOSM): A Minimum Structural Reconstruction of Quantum Mechanics, Gravitation, and Cosmology. Zenodo. https://doi.org/10.5281/zenodo.17992660ORCID: https://orcid.org/0009-0009-1281-9180GTOSM Fundamentals(definitions): Necsanu, R. (2026). General Transfer-of-State Model (GTOSM): Foundations of Physics – Fundamentals From Continuous Fields to Discrete Update Mechanics. Zenodo. https://doi.org/10.5281/zenodo.18166795
In a paper entitled ’’An Operator Calculus Having Applications in Quantum Electrodynamics’’ [Phys. Rev. 84, 108 (1951)], Feynman gives techniques and theorems for working with ordered operators. We believe that the entire development, because of its direct involvement in the transition from the Heisenberg–Schrödinger to Feynman’s path-integral formulation of quantum mechanics, is of general interest. We aim to make these less appreciated early techniques of Feynman more accessible to the general physicist.
We reconstruct nonrelativistic quantum mechanics from exactly three physical axioms: microscopic ontic definiteness and finite localization, physical reality of the spacetime-vacuum substrate, and persistent causal source–response coupling. The single-run physical state is a finite topological core, its actual causal history, the substrate state, its sector, and the associated historical disturbance. A wave function is not identified with that ontic tuple. It is a ray in a Hilbert representation of admissible preparations and response amplitudes; a density operator is a statistical or reduced representation; and a record is a stable macroscopic event. The logical construction is acyclic. Finite-energy sector spaces and their continuous symmetry representations lead, under explicit representation conditions, to a complex Hilbert direct sum. A closed semibounded quadratic form defines the Hamiltonian and its self-adjoint realization. The standard Schrödinger action, unitary propagation, probability current, spectral observables, uncertainty relations, composite-system tensor products, spin representations, exchange sectors, instruments, and completely positive open dynamics then follow on their declared domains. Gleason-type reasoning fixes the Born form only after additivity, noncontextuality, continuity, and preparation–detector calibration are stated. Those operational conditions are not hidden physical axioms. The distribution of unresolved ontic initial data that realizes quantum equilibrium remains a realization certificate, not a theorem of topology alone. The Heisenberg representation is derived as a controlled transport of observables after Hilbert space and the self-adjoint generator have been constructed. Strongly continuous time translation, two-parameter nonautonomous propagation, common-domain Heisenberg equations, spectral matrix mechanics, regular Weyl relations, open-system adjoints, and instrument effects are connected by one certificate. Schrödinger and Heisenberg predictions are proved equivalent for one-time and finite instrument records, while finite-core, historical, truncation, domain, and detector errors remain separately bounded. Three frozen matrix benchmarks verify low-energy oscillator truncation and its state-weighted CCR defect, second-order unitary convergence for a driven doublet, Schrödinger–Heisenberg equality for a sequential instrument, finite auxiliary-history truncation, and quadratic leakage scaling for a conditional Dirac–Pauli interface. Independent reproduction, including the extended-precision audit, is closed for the frozen packet; physical coefficient calibration remains open. The next interface connects an owner-resolved Dirac–Pauli Hamiltonian to spin records through a Ward-compatible vertex, a causal passive history kernel, an independently audited doublet projection, SPAM-aware forward probabilities, nuisance-profiled identifiability, and a noncompensatory coefficient-to-record error theorem. The DPHC identifiability coordinate is executed on a frozen synthetic response family. A single-scale design is rank deficient, whereas an eighteen-setting frequency–gradient–order–time design has full profiled rank, controlled conditioning, near-nominal finite-sample coverage, and a calibrated held-out statistic. A robust twenty-setting design raises the worst registered information eigenvalue by 20.12%. A ten-parameter nonlinear audit exhibits an exact radiative–detector equivalence curve. An independent dark record breaks that symmetry and restores full local rank. Continuous-set robustness, validated global exclusion, and independent implementation are executed, while physical response identification and empirical calibration remain open. Measurement is treated as a dynamics of system, apparatus, environment, and actual history. Unitary premeasurement and decoherence select robust record sectors but do not by themselves select one record. The three-axiom ontology supplies one actual branch history, while a measurable response map from the complete initial state and instrument to the final record supplies the missing dynamical content. Bell correlations require contextual and nonfactorizable ontic response while parameter independence and operational no-signalling are retained; no controllable superluminal channel is introduced. Historical response produces causal non-Markov Hamiltonians and memory-kernel master equations. Their normalization, positivity, complete positivity, and energy ledger are derived from a unitary enlarged realization whenever such a dilation exists. Finite-core form factors and causal memory yield explicit departures from point-core Markov quantum mechanics. Standard quantum mechanics is recovered as the unresolved-core, sector-fixed, quantum-equilibrium, short-memory limit. Quantum field theory is retained as a successful local, spectral, and asymptotic calculus, but field operators, Fock vectors, and vacuum functionals remain effective representations until a noncircular map from finite carriers and their complete causal histories has been certified. The manuscript proves a sequence of previously open analytic, mathematical, measurement, topological, statistical, and computational obligations on explicitly declared domains. These include non-Markov diffusion, graph-norm stability, distorted-wave and pole variation, finite passive-memory realization, Fisher-information identifiability, detector pushforwards, unique-record basins, Born-representation bounds, measurement independence, topology–Dirac charge conjugation, Stern–Gerlach records, action-scale matching, rank-two spin projection, Finkelstein–Rubinstein topology, Clifford reconstruction, and parent-to-record realization maps. Eighteen groups of numerical obligations are executed on frozen reference models. They cover spectral and scattering calculations, oscillator and two-level dynamics, Schrödinger–Heisenberg equivalence, finite-history truncation, Dirac–Pauli and Foldy–Wouthuysen reduction, gauge covariance, interference, Bell and GHZ correlations, open-system memory, Stern–Gerlach records, identifiability, global searches, topological invariants, path products, semiclassical limits, partial-wave optical closure, the relativistic/QFT interface, and conservative-parent two-level dynamics. Every environment explicitly typed as a computational obligation now has an executed frozen-model certificate; empirical identification and separately typed experimental inputs remain open. The present manuscript differs so substantially from the earlier version in scope, logical architecture, proofs, and executable certificates that it is issued as a new upload rather than as a minor revision. Because the subject is both foundational and technically consequential, readers professionally engaged in quantum foundations, mathematical physics, quantum measurement, or related fields are encouraged to consult both versions: the earlier version preserves the developmental route, whereas the present version gives the substantially expanded and reorganized reconstruction. ## Keywords Axiomatic quantum mechanics; finite particle histories; retarded Green functions; Schrödinger equation; Dirac equation; Born rule; topological spin; quantum measurement; non-Markovian dynamics; classical limit.