Complexité de décider si une matrice est totalement régulière


19

Une matrice est dite totalement régulière si toutes ses sous-matrices carrées ont un rang complet. De telles matrices ont été utilisées pour construire des superconcentrateurs. Quelle est la complexité de décider si une matrice donnée est totalement régulière sur les logiques? Sur des champs finis?

Plus généralement, appelons une matrice totalement régulière si toutes ses sous-matrices carrées de taille au plus ont un rang complet. Étant donné une matrice et un paramètre , quelle est la complexité de décider si la matrice est totalement régulière?k k kkkkk


7
Une question élémentaire: que voulez-vous dire lorsque vous dites matrice régulière? Merci!
Henry Yuen

voulez-vous dire que chaque sous-matrice est non singulière? je me souviens qu'il y avait une question similaire que je ne peux pas trouver en ce moment
Sasho Nikolov

5
En effet, il y a trois sens différents de régulier: en.wikipedia.org/wiki/Regular_matrix
Suresh Venkat

2
ah, a trouvé la question connexe: cstheory.stackexchange.com/questions/10962/… . votre question correspond mieux au commentaire que j'ai fait là-bas: il s'agit d'une variante plus facile de la question (AFAIK grand ouvert) de tester le groupe d'isométrie restreinte.
Sasho Nikolov

1
Sur des champs finis, tester si une matrice est régulière équivaut à vérifier si une matrice de générateur de code a une distance minimale (c'est-à-dire s'il s'agit de MDS). Même les approximations de facteurs constants pour trouver la distance minimale du code sont difficiles. Consultez cet article ee.ucr.edu/~dumer/ieee49-1-03-np.pdf et les références à l'intérieur. n×kkn×knk+1
Dimitris

Réponses:


13

L'article Vandermonde Matrices, NP-Completeness, and Transversal Subspaces [ps] d'Alexander Chistov, Hervé Fournier, Leonid Gurvits et Pascal Koiran peut être pertinent pour votre question (bien qu'il n'y réponde pas).

Ils prouvent la du problème suivant: Étant donné une matrice sur ( ), décidez s'il existe une sous-matrice dont le déterminant disparaît. n × m Z n m n × nNPn×mZnmn×n


1
Merci, Bruno! Ne pouvons-nous pas réduire le problème de votre réponse à mon problème par une réduction aléatoire (sur les logiques)? Ajoutez simplement lignes aléatoires. Si la nouvelle matrice n'est pas totalement régulière, elle contient alors une sous-matrice n × n singulière dans les n premières lignes avec une probabilité élevée. Ah non. La sous-matrice pourrait être plus petite. Mais peut-être qu'on peut faire en sorte que cela fonctionne ...mnn×nn
Markus Bläser

6

Oui, votre problème est essentiellement équivalent à celui (Position générale) dans l'Alexander Chistov, Hervé Fournier, Leonid Gurvits et Pascal Koiran papier .

Considérons une matrice A , n < m . Sans perte de généralité, supposons que le rang ( A ) = n et les n premières colonnes de A sont indépendants: A = [ B | D ] , où B est une matrice n × n non singulière . Maintenant, A contient une sous-matrice n × n singulière si et seulement si B - 1 Dn×mAn<mrank(A)=nnAA=[B | D]Bn×nAn×nB1D n'est pas totalement régulier.


3

Il existe un autre problème NP-Complete dans le même esprit: pour une matrice carrée, décider si toutes ses sous-matrices principales (c'est-à-dire les lignes et colonnes du même ensemble) sont non singulières. Autre fait curieux: la somme des carrés des déterminants de toutes les sous-matrices carrées est facile (juste Det (I + AA ^ {T})), mais la somme des valeurs absolues est # P-Complete.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.