Title :
Prospects for Geometric Complexity Theory
Author :
Bürgisser, Peter
Author_Institution :
Inst. of Math., Univ. of Paderborn, Paderborn, Germany
Abstract :
It is a remarkable fact that two prominent problems of algebraic complexity theory, the permanent versus determinant problem and the tensor rank problem (matrix multiplication), can be restated as explicit orbit closure problems. This offers the potential to prove lower complexity bounds by relying on methods from algebraic geometry and representation theory. While this basic idea for the tensor rank problem goes back to work by Volker Strassen from the mid eighties, the geometric complexity program has gained visibility and momentum in the past years. Some modest lower bounds for border rank have recently been proven by the construction of explicit obstructions. For further progress, a better understanding of irreducible representions of symmetric groups (tensor products and plethysms) is required. Interestingly, asymptotic versions of the the latter questions are of relevance in quantum information theory.
Keywords :
computational complexity; geometry; tensors; algebraic complexity theory; determinant problem; explicit obstructions; geometric complexity theory; lower complexity bounds; quantum information theory; representation theory; tensor rank problem; Algebra; Complexity theory; Geometry; Orbits; System-on-a-chip; Tensile stress; Kronecker coefficients; complexity lower bounds; matrix multiplication; orbit closure problem; permanent versus determinant; representations; tensor rank;
Conference_Titel :
Computational Complexity (CCC), 2012 IEEE 27th Annual Conference on
Conference_Location :
Porto
Print_ISBN :
978-1-4673-1663-7
DOI :
10.1109/CCC.2012.19