Graded face lifts and free extreme points of free spectrahedra

Eric Evert, Jack Graham

A free spectrahedron is the matricial solution set of a free linear matrix inequality $L_A(X)=I-A_1\otimes X_1-\cdots -A_g\otimes X_g⪰0$. In this dimension-free setti…