The Expander Obstruction and Logic-Width Dependency
Analysis of \(FO^k\) local types in bounding global structural invariants.
Theoretical CSBounded Analysis
Finite Capacity and Rigidity in Operator Systems
Exploration of URF rigidity bounds applied to finite operator systems and capacity retention.
Operator TheoryInformation Topology
URF-SG: A Standard for Machine-Verifiable Spectral Rigidity
Definition of the JSON schema for deterministic audit of external witnesses.
StandardizationVerification