On the complexity of evaluating highest weight vectors

Bläser, Markus, Dörfler, Julian and Ikenmeyer, Christian
(2020) On the complexity of evaluating highest weight vectors. [Preprint]

[img] Text
2002.11594v1.pdf - Submitted version

Download (751kB) | Preview


Geometric complexity theory (GCT) is an approach towards separating algebraic complexity classes through algebraic geometry and representation theory. Originally Mulmuley and Sohoni proposed (SIAM J Comput 2001, 2008) to use occurrence obstructions to prove Valiant's determinant vs permanent conjecture, but recently B\"urgisser, Ikenmeyer, and Panova (Journal of the AMS 2019) proved this impossible. However, fundamental theorems of algebraic geometry and representation theory grant that every lower bound in GCT can be proved by the use of so-called highest weight vectors (HWVs). In the setting of interest in GCT (namely in the setting of polynomials) we prove the NP-hardness of the evaluation of HWVs in general, and we give efficient algorithms if the treewidth of the corresponding Young-diagram is small, where the point of evaluation is concisely encoded as a noncommutative algebraic branching program! In particular, this gives a large new class of separating functions that can be efficiently evaluated at points with low (border) Waring rank.

Item Type: Preprint
Additional Information: 32 pages, full version
Uncontrolled Keywords: cs.CC, cs.CC, math.CO, math.RT, 68Q17, 68W30, 14Q15, I.1.2
Depositing User: Symplectic Admin
Date Deposited: 30 Apr 2020 10:33
Last Modified: 18 Jan 2023 23:53
DOI: 10.4230/LIPIcs.CCC.2021.29
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3085272