Twin-width of matrices over infinite fields

AX_twin_width_matrices_infinite_fields

Source: arXiv:2209.12023 — Twin-width V: linear minors, modular counting, and matrix multiplication

Open question on twin-width over infinite fields · arXiv:2209.12023

arXiv Informal low confidence— first stated 2022-09-24

Authors: Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Stéphan Thomassé

Diagnostic tag ill-posed high confidence

Without an independent definition of twin-width for rational matrices the claimed equivalence is tautological or undefined; bounded grid rank does satisfy it over every infinite field, while the natural equality-contraction extension is false.

Caveat. The full source question is truncated, and the grid-rank conclusion uses the precise definition stated below.

Attack verdicts are unrefereed model self-reports. An ill-posed label is a diagnostic of the catalog statement supplied to the model, not a literature-review status or a peer-reviewed result.

Assessed 2026-08-31 with gpt-5.6-sol · view the full attack artifact.

Status open high confidence

The open question asks whether bounded twin-width for matrix classes over infinite fields (starting with Q) can be characterized via linear-minor closure: a class of matrices over Q has bounded twin-width if and only if its closure under linear minors is not the set of all matrices. The paper's main results on FPT matrix multiplication and linear-minor characterization are proved only for finite fields F_q, and no definition of twin-width via contraction sequences is given for matrices over Q. A wide web search (5 calls) found no published or preprint follow-up that addresses this specific question about infinite fields.

Reviewer notes. No follow-up found addressing twin-width over infinite fields specifically. The STACS 2023 published version of the paper also confines all results to finite alphabets and finite fields. The open question remains unresolved as of May 2026.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Informal. An intriguing question concerns the existence of such results over infinite fields (starting with $\mathbb{Q}$). We do not have a direct definition of twin-width of matrices over $\mathbb{Q}$ based on contraction sequences. However linear-minor freeness naturally carries to infinite fields, and thus, it is natural to consider that a class of matrices over $\mathbb{Q}$ has bounded twin-width if its closure under linear minors is not the set of all matrices.

Context

After establishing FPT matrix multiplication algorithms for matrices over finite fields $\mathbb{F}_q$ with bounded twin-width (Theorems 5–7), the authors raise the question of whether analogous results hold for matrices over infinite fields such as $\mathbb{Q}$. The text is truncated at this point, so the precise formulation of the question (likely involving the grid rank of a matrix) is not fully visible.

Notes. PDF source — the statement is cut off mid-sentence after the introduction of grid rank; full question not visible in the extracted text.

Source paper

Twin-width V: linear minors, modular counting, and matrix multiplication
Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Stéphan Thomassé · 2022-09-24
https://arxiv.org/abs/2209.12023 PDF source