Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2026
License: CC BY NC ND
Data sources: ZENODO
ZENODO
Preprint . 2026
License: CC BY NC ND
Data sources: Datacite
ZENODO
Preprint . 2026
License: CC BY NC ND
Data sources: Datacite
versions View all 2 versions
addClaim

Substrate-Invariant Safety Enforcement: A Categorical Framework for Formal Verification Across Electronic, Photonic, and Quantum Computational Architectures

Authors: Vandenberg, Ibrahim;

Substrate-Invariant Safety Enforcement: A Categorical Framework for Formal Verification Across Electronic, Photonic, and Quantum Computational Architectures

Abstract

We introduce the Substrate-Invariant Safety Functor, a category-theoretic formalism defining the necessary and sufficient properties a physical enforcement layer must satisfy to guarantee deterministic safety constraints independent of the computational substrate. We instantiate this functor across electronic FPGA, photonic integrated circuits, and quantum-classical hybrid architectures, deriving substrate-specific enforcement mechanisms (gate-level interdiction, coherent signal annihilation, and measurement-based statistical attestation) and identifying failure modes unique to each domain. We prove that the no-cloning theorem and measurement collapse jointly necessitate a classical safety mediator for quantum substrates as a mathematical consequence of the axioms. We further specify cross-substrate attestation via an Attestation Aggregation Functor with post-quantum soundness. This work completes a three-paper theoretical arc establishing hardware-enforced AI safety across heterogeneous computational fabrics.

Keywords

category theory, hardware safety enforcement, AI safety, monoidal categories, substrate invariance, formal verification, photonic integrated circuits, quantum computing, safety functor, cryptographic attestation

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average