Personal Scientific Front DoorIvan Pasev · Research & Systems
Structure, Reality, and Evidence
I work across physics, mathematics, and computational systems, trying to understand how structure becomes observable reality — and how those ideas survive contact with proof, measurement, and engineering.
The question that drives my work:How does identity survive transformation? In physics, conservation laws protect charge and energy while particles change. In mathematics, topological invariants persist while shapes deform. In distributed systems, state integrity survives network partitions. I began by asking whether continuous spacetime and quantum matter can emerge from relational networks that preserve structural invariants — and built an explicit representation framework to test those ideas without confusing our models with the world.
Figure 0.1CONCEPTUAL MODELBLUEPRINT // VECTOR
[COORD // X: 00..760][Y: 00..160]
Relational Field Continuum: Structural preservation across physical, formal, and computational transformations.ACTIVE CANONICAL
Illustrates how invariant identity is preserved across continuous transformations between physical, mathematical, and computational systems.
ℹScientific Evidence Firewall: This diagram is an explanatory schematic model (scientificEvidence: false). It does not constitute empirical proof or observational data. Physical validity resides in canonical experimental benchmarks and Lean 4 compiler-checked theorems.
Precision hydrogen spectroscopy lets me test whether a tiny additional finite-range interaction is hiding inside one of the cleanest systems in physics. In the current analysis of nine precision observables I find no significant preference for such an interaction, establishing an upper observational constraint rather than a discovery.
Formal ProofMachine-Checked
35 Lean 4 Theorem Declarations
Exactly 35 Lean 4 theorem declarations compile under the pinned Lean 4.16.0 environment across 11 modules with zero sorry, zero admit, and zero quarantined axioms (the former provisional FQFT_closure axiom is discharged by constructive inductive scale closure).
MathematicsProved
Trace Reciprocity & Finite Invariants
Exact operator identity derivations on discrete state carriers and formal cycle decomposition of finite transformation systems without numerical drift.
Thermal EngineeringDesigned
Differential Radiometry Metrology
Modeled differential experiment with an approximate 95% resolution of Δϵeff≈0.0060 at 300K and Δϵeff≈0.0038 at 600K (0.92% and 0.58% relative to nominal ϵ=0.65).
Quantum HardwareSimulated
Neutral-Atom LDPC Noise Budget
Hardware mapping of the [[288,12,12]] bivariate bicycle code onto 432 atoms, identifying two-qubit gate errors and shuttling atom loss as critical physical bottlenecks (hardware bottleneck identified; logical threshold not yet demonstrated).
Negative ScienceRuled Out
Falsification & No-Go Boundaries
Demonstrated that the tested trace-coupled scalar realization fails the solar photon deflection requirement (θ≡0), confirming that general relativity remains governed by Lorentzian spacetime geometry.
Science improves when an attractive idea meets a decisive calculation or measurement and fails. Rather than burying negative results, this site records where hypotheses reached their limits:
GFTM-72 Spacetime Embedding: The physical interpretation outran the mathematics. Once I reconstructed the actual finite-state system on the 72-state carrier X72=Z6×Z12, the analyzed construction contained no derived or evidenced continuous metric geometry or E8 Lie-algebra structure. The physical spacetime interpretation was retired.
Scalar Fabric Gravity: A natural scalar realization failed a basic relativistic test: light does not couple to its trace source (θ≡0). That closed one route, confirming that general relativity remains described by Lorentzian spacetime geometry, while alternative geometric bridges remain open research questions.
Early Thermal Heuristics: An early heuristic suggested a much larger effect than a disciplined radiative model could justify. Within the far-field macroscopic radiative-transfer model used for the proposed experiment, I retired the multiplier heuristic and turned the question into a measurable differential emissivity experiment with a declared uncertainty budget.
Atomic Spectroscopy Null Result: The data did not favor the new interaction across nine published precision hydrogen and deuterium spectroscopy observables. That is still a scientific result: it establishes an upper observational constraint rather than a discovery, showing how much room remains for the model.
Active Frontiers Under Investigation
Current research focuses on five precise, falsifiable questions:
01Can precision atomic spectroscopy place tighter constraints on interactions beyond the Standard Model?
03Can micro-structured surface geometries produce measurable radiative advantages in controlled vacuum metrology?
04Can quantum error-correcting codes survive actual physical atom shuttling and loss in neutral-atom processors?
05How should a scientific model represent observers and evidence without confusing the representation with reality?
Research Horizon
A Unified Investigation of Structure and Invariance
The Science of Fabric Reality explores how physical laws, formal logic, and computational systems preserve identity across transformation.
The work begins with a common question: How can physical, mathematical, observational, and computational systems be described through structures that preserve identity while they transform?
ATI names the referential horizon. ATI-RCA provides the constitutional architecture for relating scientific models, contexts, observers, transformations, evidence states, realizations and open frontiers without conflating them. Science develops and tests bounded models; Technology develops auditable systems; Research Fabrics organize bounded domain architectures; Programs carry active work toward explicit results and evidence.
Rather than treating physics, formal logic, and distributed software as isolated disciplines, this public corpus develops a continuous relational framework. Foundational ontology progresses directly into mathematical formalization, numerical simulation, and deterministic software engineering.
Field-theoretic research program formalizing discrete fibers, vacuum energy bounds, and non-perturbative gauge bundles in machine-checked Lean 4 proofs.
A rigorous discipline for preserving declared mathematical invariants under admissible system transformation across software architectures.
Specification:Admissible Transformations
Interactive Substrates
Featured Research & Telemetry Engines
Interactive computational surfaces translating high-dimensional mathematical physics into dynamic knowledge graphs and deterministic systems telemetry.
Real-time planetary boundary models, RFC 8785 canonical block chaining, and deterministic state transitions governing sovereign technical infrastructure.
CANONICAL SEALSP4 DEMARCATION
LEAN 4 KERNEL35 THEOREMS
CANONICAL MODULES11 UNITS
CANONICAL ROUTES851 VERIFIED
Corpus Architecture
Six-Root Information Architecture
Six continuous roots organize the public corpus: from foundational ontology and physical formalization to applied cybernetics, bounded domain architectures, active research programs, and authorial context.
