Komplexität bei der Entscheidung, ob eine Matrix völlig regelmäßig ist

Eine Matrix heißt total regular, wenn alle ihre quadratischen Submatrizen den vollen Rang haben. Solche Matrizen wurden verwendet, um Superkonzentratoren zu konstruieren. Wie komplex ist es, zu entscheiden, ob eine gegebene Matrix über die Rationen hinweg völlig regelmäßig ist? Über endliche Felder?

Allgemeiner gesagt , nenne eine Matrix völlig regulär, wenn alle ihre quadratischen Submatrizen mit einer Größe von höchstens den vollen Rang haben. Wie komplex ist es, bei einer gegebenen Matrix und einem gegebenen Parameter entscheiden, ob die Matrix vollständig regulär ist? $k$ $k$ $k$ $k$

cc.complexity-theory reference-request linear-algebra matrices Markus Bläser
quelle

Eine elementare Frage: Was meinst du, wenn du reguläre Matrix sagst? Vielen Dank!

Henry Yuen

Meinst du, dass jede Submatrix nicht singulär ist? Ich erinnere mich, dass es eine ähnliche Frage gab, die ich derzeit nicht finden kann

Sasho Nikolov

In der Tat gibt es drei verschiedene Bedeutungen von regulär: en.wikipedia.org/wiki/Regular_matrix

Suresh Venkat

ah, fand die verwandte Frage: cstheory.stackexchange.com/questions/10962/… . Ihre Frage passt besser zu dem Kommentar, den ich dort gemacht habe: Dies ist eine einfachere Variante der (weit offenen AFAIK) Frage des Testens der eingeschränkten Isometrie-Partei.

Sasho Nikolov

Über endlichen Feldern ist das Prüfen, ob eine

Matrix

regulär ist, gleichbedeutend mit dem Prüfen, ob eine

Codegeneratormatrix den Mindestabstand

(dh ob es sich um MDS handelt). Selbst konstante Faktorapproximationen zum Ermitteln des Mindestcodeabstands sind schwierig. Überprüfen Sie dieses Papier ee.ucr.edu/~dumer/ieee49-1-03-np.pdf und die darin enthaltenen Referenzen.

n \times k

$n\times k$

k

$k$

n \times k

$n\times k$

n - k + 1

$n-k+1$

Dimitris

Antworten:

Die Arbeit Vandermonde Matrices, NP-Completeness und Transversal Subspaces [ps] von Alexander Chistov, Hervé Fournier, Leonid Gurvits und Pascal Koiran könnte für Ihre Frage relevant sein (obwohl sie diese nicht beantwortet).

Sie beweisen die -completeness aus folgendem Problem: Da eine - Matrix über ( ), entscheiden , ob es existiert eine Submatrix deren Determinante Null wird . $\mathsf{NP}$ $n\times m$ $\mathbb Z$ $n\le m$ $n\times n$

Bruno
quelle

Danke, Bruno! Können wir das Problem Ihrer Antwort auf mein Problem nicht durch eine zufällige Reduktion (über die Rationals) reduzieren? Fügen Sie einfach

zufällige Zeilen hinzu. Wenn die neue Matrix nicht vollständig regulär ist, enthält sie mit hoher Wahrscheinlichkeit eine singuläre

Submatrix in den ersten

Zeilen. Ah nein. Die Submatrix könnte kleiner sein. Aber vielleicht kann man das klappen lassen ...

m - n

$m-n$

n \times n

$n \times n$

n

$n$

Markus Bläser

Ja, Ihr Problem ist im Wesentlichen äquivalent zu der (General Position) in dem Alexander Chistov, Hervé Fournier, Leonid Gurvits und Pascal Koiran Papier .

Man betrachte eine Matrix , . Ohne Verlust der Allgemeinheit sei angenommen, dass und die ersten Spalten von unabhängig sind: , wobei eine nicht singuläre Matrix ist. Nun enthält genau dann eine singuläre Submatrix, wenn $n \times m$ $A$ $n < m$ $\text{rank}(A) = n$ $n$ $A$ $A =[B\ |\ D]$ $B$ $n \times n$ $A$ $n \times n$ $B^{-1}D$ ist nicht ganz normal.

leonidische Gurvits
quelle

Es gibt ein weiteres NP-Complete-Problem im selben Sinne: Wenn eine quadratische Matrix entscheidet, ob alle ihre Haupt-Submatrizen (dh Zeilen und Spalten aus derselben Menge) nicht singulär sind. Eine andere merkwürdige Tatsache: Die Summe der Determinantenquadrate aller quadratischen Submatrizen ist einfach (nur Det (I + AA ^ {T})), aber die Summe der absoluten Werte ist # P-Complete.

leonidische Gurvits
quelle