Algebraicity of the Brascamp-Lieb constants

We show that the Brascamp-Lieb (BL) constant BL(-,p) is a semi-algebraic function on the set of feasible data.

Consequently, it is algebraic in the sense that it satisfies a polynomial relation of the form P(V, BL(V,p))=0 for a non-zero polynomial P.

In fact, we establish an analogous statement in the more general setting of quiver BL constants associated to representations of bipartite quivers.