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
9 Pith papers cite this work. Polarity classification is still indexing.
9
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 9verdicts
UNVERDICTED 9roles
background 1polarities
background 1representative citing papers
Artin groups of XXL type are isomorphic to their dual Artin groups for any Coxeter element.
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.
Equivariant K-theory of Gieseker spaces is identified with the Jucys-Murphy center of the cyclotomic Hecke algebra.
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.
Combinatorial characterization of when squarefree powers of edge ideals are linearly related, plus Betti table shape and linear resolution conditions for Stanley-Reisner ideals of 1-dimensional flag complexes.
Proves that virtual properties including virtually RFRS, virtually (compact) special, virtually CAT(0) cube, and virtually normally poly-free are closed under graph products, with an elementary proof of the underlying strong commensurability theorem.
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.
-
The dual Artin isomorphism for Artin groups of XXL type
Artin groups of XXL type are isomorphic to their dual Artin groups for any Coxeter element.
-
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.
-
K-theory of Gieseker variety and type A cyclotomic Hecke algebra
Equivariant K-theory of Gieseker spaces is identified with the Jucys-Murphy center of the cyclotomic Hecke algebra.
-
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.
-
On the Linearity of Squarefree Powers of Edge Ideals
Combinatorial characterization of when squarefree powers of edge ideals are linearly related, plus Betti table shape and linear resolution conditions for Stanley-Reisner ideals of 1-dimensional flag complexes.
-
Virtual inheritance properties of graph products
Proves that virtual properties including virtually RFRS, virtually (compact) special, virtually CAT(0) cube, and virtually normally poly-free are closed under graph products, with an elementary proof of the underlying strong commensurability theorem.
-
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.