Abstract | ||
---|---|---|
We provide a list of new natural -intermediate polynomial families, based on basic (combinatorial) -complete problems that are complete under reductions. Over finite fields, these families are in , and under the plausible hypothesis ⫅̸ , are neither -hard (even under oracle-circuit reductions) nor in . Prior to this, only the Cut Enumerator polynomial was known to be -intermediate, as shown by Bürgisser in 2000. We show next that over rationals and reals, the clique polynomial cannot be obtained as a monotone -projection of the permanent polynomial, thus ruling out the possibility of transferring monotone clique lower bounds to the permanent. We also show that two of our intermediate polynomials, based on satisfiability and Hamiltonian cycle, are not monotone affine polynomial-size projections of the permanent. These results augment recent results along this line due to Grochow. Finally, we describe a (somewhat natural) polynomial defined independent of a computation model, and show that it is -complete under polynomial-size projections. This complements a recent result of Durand et al. (2014) which established -completeness of a related polynomial but under constant-depth oracle circuit reductions. Both polynomials are based on graph homomorphisms. A simple restriction yields a family similarly complete for . |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/s00224-016-9740-y | Theory Comput. Syst. |
Keywords | DocType | Volume |
Completeness,VP,VNP-intermediate,VBP,Homomorphisms,Monotone projections,Lower bounds,Extension complexity,Tree decomposition | Journal | 62 |
Issue | ISSN | Citations |
3 | 1432-4350 | 1 |
PageRank | References | Authors |
0.37 | 19 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Meena Mahajan | 1 | 688 | 56.90 |
Nitin Saurabh | 2 | 5 | 3.81 |