GRASS unifies graded and substructural type systems by supporting arbitrary collections of grade algebras and develops categorical semantics that subsumes LNL, Adjoint Logic, and mGL.
Title resolution pending
6 Pith papers cite this work. Polarity classification is still indexing.
6
Pith papers citing it
citation-role summary
background 3
citation-polarity summary
verdicts
UNVERDICTED 6roles
background 3representative citing papers
Orbital integrals on unitary groups over local fields in positive characteristic converge absolutely.
Many r-local Hamiltonians, including Pauli strings, random high-rank operators, and high-rank operators, admit sparsifications with o(n^r) terms that (1±ε)-approximate the original Hamiltonian on all states.
Relative Vorst theorem and relative Karoubi sequence yield improved injective stability bounds for relative K1 and K1Sp groups over regular rings.
Establishes first-order definability of Campana and Darmon points in algebraic function fields over number fields by extending quadratic Pfister form methods from prior number field results.
Periodic properties of quantum channel sequences from ergodic processes are related to global spectral data via a Perron-Frobenius-type theorem.
citing papers explorer
-
Periodicity in Ergodic Quantum Processes
Periodic properties of quantum channel sequences from ergodic processes are related to global spectral data via a Perron-Frobenius-type theorem.