Implications mathématiques des conjectures de la théorie de la complexité en dehors du TCS


25

Connaissez-vous les conséquences intéressantes des conjectures (standard) dans la théorie de la complexité dans d'autres domaines des mathématiques (c'est-à-dire en dehors de l'informatique théorique)?

Je préférerais des réponses où:

  • la conjecture de la théorie de la complexité est aussi générale et standard que possible; Je suis d'accord avec les conséquences de la dureté de problèmes spécifiques aussi, mais ce serait bien si les problèmes sont généralement considérés comme durs (ou du moins ont été étudiés dans plus de deux articles)

  • l'implication est une déclaration qui n'est pas connue pour être vraie sans condition, ou d'autres preuves connues sont considérablement plus difficiles

  • plus la connexion est surprenante, mieux c'est; en particulier, l'implication ne doit pas être une déclaration explicite sur les algorithmes

"Si les porcs pouvaient voler, les chevaux chanteraient". Les connexions de type sont également acceptables, tant que les porcs volants proviennent de la théorie de la complexité et les chevaux qui chantent d'un domaine mathématique en dehors de l'informatique.

Cette question est en quelque sorte «l'inverse» d'une question que nous avions sur les utilisations surprenantes des mathématiques en informatique. Dick Lipton avait un article de blog exactement dans ce sens: il écrit sur les conséquences de la conjecture selon laquelle l'affacturage a une grande complexité de circuit. Les conséquences sont que certaines équations diophantiennes n'ont pas de solutions, une sorte de déclaration qui peut très difficilement être prouvée inconditionnellement. Le message est basé sur le travail avec Dan Boneh, mais je ne trouve pas de papier.

EDIT: Comme Josh Grochow le note dans les commentaires, sa question sur les applications du TCS aux mathématiques classiques est étroitement liée. Ma question est, d'une part, plus permissive, car je n'insiste pas sur la restriction "mathématique classique". Je pense que la différence la plus importante est que j'insiste sur une implication prouvée d'une conjecture de complexité à une déclaration dans un domaine mathématique en dehors du TCS. La plupart des réponses à la question de Josh ne sont pas de ce type, mais donnent plutôt des techniques et des concepts utiles en mathématiques classiques qui ont été développés ou inspirés par TCS. Néanmoins, au moins une réponse à la question de Josh est une réponse parfaite à ma question: l'article de Michael Freedmanqui est motivé par une question identique à la mienne, et démontre un théorème dans la théorie des nœuds, sous condition de P#PNP . Il soutient que le théorème semble hors de portée des techniques actuelles de la théorie des nœuds. Selon le théorème de Toda, si P#P=NP alors la hiérarchie polynomiale s'effondre, donc l'hypothèse est tout à fait plausible. Je suis intéressé par d'autres résultats similaires.


Connexes: implications, pas pour les mathématiques, mais pour la "réalité physique"
Austin Buchanan

Est-ce la même chose que cstheory.stackexchange.com/questions/149/… ? Ou cette question est-elle censée être plus large que celle-là?
Joshua Grochow

3
@Joshua, il y a des chevauchements, mais je pense qu'ils sont incomparables. D'une part, je n'insiste pas fortement sur les mathématiques "classiques", c'est-à-dire que les résultats de non-complexité en mécanique quantique sont corrects. D'un autre côté, j'aimerais avoir des implications directes des conjectures CC sur les théorèmes mathématiques en dehors de TCS, alors que la plupart des réponses à votre question concernent les techniques développées en TCS qui nous ont rendus utiles en mathématiques classiques. Pourtant, cstheory.stackexchange.com/a/163/4896 est une réponse parfaite à ma question. Trop de chevauchement?
Sasho Nikolov

1
J'aurais peut-être dû poster ma réponse à la question de Josh ici: la conjecture de Bürgisser implique des résultats sur les courbes elliptiquesL .
Bruno

1
@Sasho: Je pense que ça va. Merci de clarifier. (BTW, quand j'ai dit "classique" sur mon autre question, je ne voulais pas exclure la mécanique quantique - en effet, la théorie des champs quantiques et l'algèbre quantique sont deux sujets mathématiques majeurs de nos jours, étudiés dans un grand nombre de départements de mathématiques (même supérieurs) .)
Joshua Grochow

Réponses:


14

Voici un autre exemple de la théorie des graphes. Le théorème des graphes mineurs nous dit que, pour chaque classe de graphes non orientés fermée par des mineurs, il existe un ensemble d'obstruction finie O b s ( G ) tel qu'un graphe est en G si et seulement s'il ne contient pas de graphe dans O b s ( G ) en tant que mineur. Cependant, le théorème mineur graphique est intrinsèquement nonconstructive et ne nous dit rien sur la taille de ces ensembles d'obstruction sont, par exemple, combien de graphiques qu'il contient pour un choix particulier de G .GObs(G)GObs(G)G

Dans Trop d'obstacles d'ordre mineur , Michael J. Dinneen a montré que sous une conjecture théoriquement complexe et plausible, les tailles de plusieurs de ces ensembles d'obstruction peuvent être importantes. Par exemple, considérons la classe paramétrée des graphiques de genre au plus k . À mesure que k augmente, on peut s'attendre à ce que les ensembles d'obstruction O b s ( G k ) deviennent de plus en plus compliqués, mais dans quelle mesure? Dinneen a montré que si la hiérarchie polynomiale ne s'effondre pas à son troisième niveau, alors il n'y a pas de polynôme p tel que le nombre d'obstructions dans O b s (GkkkObs(Gk)pest délimité parp(k). Étant donné que le nombre d'obstructions mineures pour avoir le genre zéro (c'est-à-dire être planaire) n'est que de deux ( O b s ( G 0 )={ K 5 , K 3 , 3 }), cette croissance superpolynomiale n'est pas immédiatement évidente (bien que je le crois peut être prouvé sans condition). La bonne chose à propos du résultat de Dinneen est qu'il s'applique aux tailles des ensembles d'obstruction correspondant àtoutensemble paramétré d'idéaux mineurs G k pour lesquels décider du plus petitkObs(Gk)p(k)Obs(G0)={K5,K3,3}Gkkpour laquelle est NP-dur; dans tous ces idéaux mineurs paramétrés, les tailles de l'ensemble d'obstruction doivent croître de façon superpolynomiale. GGk


Merci Bart! C'est très intéressant. J'accepte votre réponse comme étant la plus élevée. Merci à tous pour les réponses!
Sasho Nikolov

6

Voici un exemple: la complexité informatique et l'asymétrie d'information dans les produits financiers par Arora, Barak et Ge montrent qu'il peut être difficile à calculer (c'est-à-dire NP-dur) de calculer correctement les dérivés - ils utilisent le sous-graphique le plus dense comme problème dur intégré.

Dans le même esprit et bien plus tôt, le célèbre article de Bartholdi, Tovey et Trick sur la dureté de la manipulation d'une élection.


2
Bien sûr, dans une certaine mesure, ce sont encore des résultats de complexité (avec des implications sociales). J'avais en tête des résultats qui ne concernent pas les algorithmes. Pourtant, les deux sont super!
Sasho Nikolov

Je ne savais pas vraiment ce que vous cherchiez. Je suppose que vous voulez quelque chose comme l'inverse de "les courbes fermées en temps réel s'effondrent quantiques et classiques"?
Suresh Venkat

1
En fait, le résultat CTC est un parfait exemple. Je veux dire même pas l'inverse, mais l'énoncé lui-même en contrapositif: si le quantique et le classique ne s'effondrent pas, alors les CTC (polynomiaux) n'existent pas.
Sasho Nikolov

1
vous dites donc que je devrais poster une nouvelle réponse :)?
Suresh Venkat

Je pense que je dis cela :)
Sasho Nikolov


5

S2kS2k2δk

C'est tout à fait dans l'esprit de l'article de Mike Freedman mentionné plus haut.


-6

il semble que de nombreuses questions de séparation des classes de complexité TCS ont des implications majeures en mathématiques. la question P =? NP en particulier semble avoir des connexions très profondes dans de nombreux domaines et cela inclut les mathématiques. quelques cas notables dans ce domaine:


3
vous n'avez pas compris la question: tous les résultats que vous mentionnez concernent la complexité. je veux une conséquence de non-complexité d'une déclaration dans la théorie de la complexité
Sasho Nikolov
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.