Narrow Results

We investigate geometrical properties and inequalities satisfied by the complex difference body, in the sense of studying which of the classical ones for the difference body have an analog in the complex framework. Among others we give an equivalent expression for the support function of the complex difference body and prove that, unlike the classical case, the dimension of the complex difference body depends on the position of the body with respect to the complex structure of the vector space. We use spherical harmonics to characterize the bodies for which the complex difference body is a ball, we prove that it is a polytope if and only if the two bodies involved in the construction are polytopes and provide several inequalities for classical magnitudes of the complex difference body, as volume, quermassintegrals and diameter, in terms of the corresponding ones for the involved bodies.

The tensor network variety is a variety of tensors associated to a graph and a set of positive integer weights on its edges, called bond dimensions. We determine an upper bound on the dimension of the tensor network variety. A refined upper bound is given in cases relevant for applications such as varieties of matrix product states and projected entangled pairs states. We provide a range (the “supercritical range”) of the parameters where the upper bound is sharp.