Viability games on valence systems over graph monoids admit a complete decidability and complexity classification, with decidable cases in pushdown-counter combinations where non-termination games remain undecidable.
Title resolution pending
6 Pith papers cite this work. Polarity classification is still indexing.
6
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 6roles
background 1polarities
background 1representative citing papers
Develops a method for plus-pure thresholds and classifies BCM-regular diagonal hypersurfaces in mixed characteristic (0,2) via necessary/sufficient conditions and lower bounds.
The authors establish the Carvajal-Rojas-Schwede-Tucker conjecture on positive limiting F-signature for two specific classes of complex KLT singularities using inductive arguments and toric degenerations inspired by K-stability.
A unified representation-theoretic approach computes the complete Laplace-Beltrami spectra on homogeneous principal bundles and applies the results to classify scalar stability and Yamabe bifurcations on specific manifold families.
Stable pairs yield small Q-factorial modifications of Quot schemes on curves, making their large-degree fibers Mori dream spaces and the determinant morphism a Mori dream morphism.
citing papers explorer
-
Infinite-state Games with Energy Objectives Beyond Counters
Viability games on valence systems over graph monoids admit a complete decidability and complexity classification, with decidable cases in pushdown-counter combinations where non-termination games remain undecidable.
-
BCM-regularity of diagonal hypersurfaces and plus-pure thresholds in mixed characteristic
Develops a method for plus-pure thresholds and classifies BCM-regular diagonal hypersurfaces in mixed characteristic (0,2) via necessary/sufficient conditions and lower bounds.
-
On positivity of the limit F-signature
The authors establish the Carvajal-Rojas-Schwede-Tucker conjecture on positive limiting F-signature for two specific classes of complex KLT singularities using inductive arguments and toric degenerations inspired by K-stability.
-
Explicit Laplace Spectra of Homogeneous Principal Bundles
A unified representation-theoretic approach computes the complete Laplace-Beltrami spectra on homogeneous principal bundles and applies the results to classify scalar stability and Yamabe bifurcations on specific manifold families.
-
Birational Geometry of Quot Schemes on smooth projective curves via Stable Pairs
Stable pairs yield small Q-factorial modifications of Quot schemes on curves, making their large-degree fibers Mori dream spaces and the determinant morphism a Mori dream morphism.
- K-theory of Gieseker variety and type A cyclotomic Hecke algebra