Take the 2-minute tour ×
Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It's 100% free, no registration required.

Do you know interesting consequences of (standard) conjectures in complexity theory in other fields of mathematics (i.e. outside of theoretical computer science)?

I would prefer answers where:

  • the complexity theory conjecture is as general and standard as possible; I am ok with consequences of the hardness of specific problems too, but it would be nice if the problems are widely believed to be hard (or at least have been studied in more than a couple of papers)

  • the implication is a statement that is not known to be true unconditionally, or other known proofs are considerably more difficult

  • the more surprising the connection the better; in particular, the implication should not be a statement explicitly about algorithms

"If pigs could fly, horses would sing" type of connections are ok, too, as long as the flying pigs come from complexity theory, and the singing horses from some field of math outside of computer science.

This question is in some sense "the converse" of a question we had about surprising uses of mathematics in computer science. Dick Lipton had a blog post exactly along these lines: he writes about consequences of the conjecture that factoring has large circuit complexity. The consequences are that certain diophantine equations have no solutions, a kind of statement that can very hard to prove unconditionally. The post is based on work with Dan Boneh, but I cannot locate a paper.

EDIT: As Josh Grochow notes in the comments, his question about applications of TCS to classical math is closely related. My question is, on one hand, more permissive, because I do not insist on the "classical math" restriction. I think the more important difference is that I insist on a proven implication from a complexity conjecture to a statement in a field of math outside TCS. Most of the answers to Josh's question are not of this type, but instead give techniques and concepts useful in classical math that were developed or inspired by TCS. Nevertheless, at least one answer to Josh's question is a perfect answer to my question: Michael Freedman's paper which is motivated by a question identical to mine, and proves a theorem in knot theory, conditional on $\mathsf{P}^{\#P} \ne \mathsf{NP}$. He argues the theorem seems out of reach of current techniques in knot theory. By Toda's theorem, if $\mathsf{P}^{\#P} = \mathsf{NP}$ then the polynomial hierarchy collapses, so the assumption is quite plausible. I am interested in other similar results.

share|improve this question
    
Related: implications, not for math, but for "physical reality" –  Austin Buchanan Jan 10 at 21:32
    
Is this the same as cstheory.stackexchange.com/questions/149/…? Or is this question meant to be more broad than that one? –  Joshua Grochow Jan 10 at 22:15
2  
@Joshua, there is some overlap, but I think they are incomparable. On one hand I do not strongly insist on "classical" mathematics, i.e. non-complexity results in quantum mechanics are ok. On the other hand, I'd like direct implications from CC conjectures to math theorems outside TCS, while a lot of the answers to your question are about techniques developed in TCS that turned our useful in classical math. Still, cstheory.stackexchange.com/a/163/4896 is one perfect answer to my question. Too much overlap? –  Sasho Nikolov Jan 10 at 23:55
1  
I should maybe have posted my answer to Josh's question here: Bürgisser's $L$-conjecture implies results on elliptic curves. –  Bruno Jan 11 at 8:25
1  
@Sasho: I think it's okay. Thanks for clarifying. (BTW, when I said "classical" on my other question I didn't mean to exclude quantum mechanics - indeed, quantum field theory and quantum algebra are both major mathematical topics nowadays, studied in a large number of (even top) math departments.) –  Joshua Grochow Jan 12 at 19:58

4 Answers 4

up vote 12 down vote accepted

Here's another example from graph theory. The graph minor theorem tells us that, for every class $\mathcal{G}$ of undirected graphs that is closed under minors, there is a finite obstruction set $\mathcal{Obs(G)}$ such that a graph is in $\mathcal{G}$ if and only if it does not contain a graph in $\mathcal{Obs(G)}$ as a minor. However, the graph minor theorem is inherently nonconstructive and does not tell us anything about how big these obstruction sets are, i.e., how many graphs it contains for a particular choice of $\mathcal{G}$.

In Too Many Minor Order Obstructions, Michael J. Dinneen showed that under a plausible complexity-theoretic conjecture, the sizes of several of such obstruction sets can be shown to be large. For example, consider the parameterized class $\mathcal{G}_k$ of graphs of genus at most $k$. As $k$ increases, we can expect the obstruction sets $\mathcal{Obs}(\mathcal{G}_k)$ to become more and more complicated, but how much so? Dinneen showed that if the polynomial hierarchy does not collapse to its third level then there is no polynomial $p$ such that the number of obstructions in $\mathcal{Obs}(\mathcal{G}_k)$ is bounded by $p(k)$. Since the number of minor obstructions for having genus zero (i.e. being planar) is just two ($\mathcal{Obs}(\mathcal{G}_0) = \{K_5, K_{3,3}\}$), this superpolynomial growth is not immediately obvious (although I believe it can be proven unconditionally). The nice thing about Dinneen's result is that it applies to the sizes of obstruction sets corresponding to any parameterized set of minor ideals $\mathcal{G}_k$ for which deciding the smallest $k$ for which $G \in \mathcal{G}_k$ is NP-hard; in all of such parameterized minor ideals the obstruction set sizes must grow superpolynomially.

share|improve this answer
    
Thanks Bart! This is very interesting. I am accepting your answer as the most highly upvoted one. Thanks to everyone for the answers! –  Sasho Nikolov Jan 15 at 22:04

Here's an example: Computational complexity and informational asymmetry in financial products by Arora, Barak and Ge shows that it can be computationally intractable (ie NP-hard) to price derivatives correctly - they use densest subgraph as an embedded hard problem.

Along the same lines and much earlier is the famous paper by Bartholdi, Tovey, and Trick on the hardness of manipulating an election.

share|improve this answer
2  
Suresh, to some extent these are still complexity results (with social implications). I had in mind results that are not about algorithms. Still, both are great! –  Sasho Nikolov Jan 10 at 21:14
    
I wasn't entirely sure what you were looking for tbh. I'm guessing you want something like the converse of "closed timelike curves collapse quantum and classical" ? –  Suresh Venkat Jan 10 at 21:21
1  
Actually the CTC result is a perfect example. I mean not even the converse, but the statement itself in contrapositive: if quantum and classical do not collapse, then (polynomial) CTCs do not exist. –  Sasho Nikolov Jan 10 at 23:45
1  
so you're saying I should post a new answer :) ? –  Suresh Venkat Jan 11 at 5:14
    
I think I am saying that :) –  Sasho Nikolov Jan 11 at 15:07

As suggested by Sasho, my answer to the question "Applications of TCS to classical mathematics?" follows:

In his paper Straight Line Programs and Torsion Points on Elliptic Curves, Qi Cheng relates Bürgisser's $L$-conjecture (a variant of Shub and Smale's $\tau$-conjecture¹) to the Torsion Theorem and to Masser's Theorem in the field of elliptic curves.

Very roughly, if the $L$-conjecture is true (or a weaker version of it), then one can "easily" deduce these both theorems. Their original proofs are much harder.

¹ The $\tau$-conjecture asserts that if a polynomial $p$ has a constant-free straight-line program (or arithmetic circuit) of size $\tau$, its number of integer roots is at most $(1+\tau)^c$ for some absolute constant $c$.

share|improve this answer

it appears that many TCS complexity class separation questions have major implications in mathematics. the P=?NP question in particular seems to have very deep connections across many fields and this includes mathematics. some notable cases in this area:

share|improve this answer
3  
you did not understand the question: all the results you mention are about complexity. i want a non-complexity consequence of a a statement in complexity theory –  Sasho Nikolov Jan 13 at 16:34

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.