The index of non-Hermitian Dirac operators that anticommute with a chirality operator is topologically protected when the operators are diagonalizable and elliptic.
The chiral torsional anomaly and the Nieh-Yan invariant with and without boundaries
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Introduces a quality-aware loop with mutation-guided refinement, RTL-aware solver selection, and causal narrative synthesis to improve LLM-generated assertions for formal verification of RTL designs.
citing papers explorer
-
Atiyah--Singer Index Theorem for Non-Hermitian Dirac Operators
The index of non-Hermitian Dirac operators that anticommute with a chirality operator is topologically protected when the operators are diagonalizable and elliptic.
-
Closing the Loop on LLM-Generated RTL Assertions with Quality-Aware Formal Verification
Introduces a quality-aware loop with mutation-guided refinement, RTL-aware solver selection, and causal narrative synthesis to improve LLM-generated assertions for formal verification of RTL designs.