On the gap of quiver representations
For computational invariant theory, it characterizes when the geodesic optimization algorithm for nullcone membership is efficient, showing both polynomial and exponential regimes.
The paper studies the gap condition number for quiver representations under special linear group actions, proving polynomial bounds for type A, Â, and tree quivers with uniform dimensions, which yields polynomial-time nullcone membership algorithms. Conversely, it constructs families with exponentially small gaps and weight margins.
The nullcone membership problem, deciding whether an orbit closure contains the origin, is fundamental in computational invariant theory. For self-adjoint groups, Bürgisser, Franks, Garg, Oliveira, Walter and Wigderson gave a geodesic optimization algorithm whose complexity is controlled by the gap, a condition number of the representation. We study the gap for quiver representations under the action of the special linear group. We prove that the inverse gap is polynomially bounded in the number of vertices and the maximum dimension for type A and $\hat{A}$, as well as tree quivers with uniform dimension vectors. Consequently, the algorithm of Bürgisser et al. solves the nullcone membership problem in polynomial time for these families. In contrast, we construct families of quivers and dimension vectors where the gap is exponentially small in the number of leaves, furthermore, for every connected quiver we exhibit dimension vectors such that the weight margin (a related condition number) is exponentially small in the number of vertices. We also extend our results to $σ$-semistability, thereby giving a new proof of a recent result of Iwamasa, Oki, and Soma.