Deterministic black-box noncommutative singularity testing for rational linear matrices (Garg-Gurvits-Oliveira-Wigderson question)
Claims a deterministic polynomial-time, polynomial-size list of rational matrix tuples on which every noncommutatively nonsingular rational affine pencil of bounded order becomes invertible, and a list recovering the noncommutative rank of rectangular rational pencils from ordinary ranks. It does NOT treat pencils with coefficients from other fields; the GGOW question for general fields remains.
Exact FrontierDelta
Scope and record
Occurred: Sep 24, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Deterministic black-box noncommutative singularity testing for rational linear matrices (Garg-Gurvits-Oliveira-Wigderson question) · Black-box NC singularity over the rationals
Confidence: Not scored
Registry verification: unreviewed · announcement · partial
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Lineage and corrections
Deterministic black-box noncommutative singularity testing for rational linear matrices (Garg-Gurvits-Oliveira-Wigderson question) parent of this event
This event attributed to Unreleased internal OpenAI model
Claims a deterministic polynomial-time, polynomial-size list of rational matrix tuples on which every noncommutatively nonsingular rational affine pencil of bounded order becomes invertible, and a list recovering the noncommutative rank of rectangular rational pencils from ordinary ranks. It does NOT treat pencils with coefficients from other fields; the GGOW question for general fields remains. parent of this event
Companion: One Rational Matrix Hitting Point for Noncommutative Formulas evidence for this event
Deterministic black-box noncommutative singularity testing for rational linear matrices (Garg-Gurvits-Oliveira-Wigderson question) evidence for this event
VibeMathed record: Deterministic black-box noncommutative singularity testing for rational linear matrices (Garg-Gurvits-Oliveira-Wigderson question) evidence for this event
Act on this frontier