Inequalities for quantum marginal problems with continuous variables

We consider a mixed continuous-variable bosonic quantum system and present inequalities which must be satisfied between principal values of the covariances of a complete set of observables of the whole system and the principal values of the covariances of a complete set of observables of a subsystem. We use several classical results for the proof: the Courant-Fischer-Weyl min-max theorem for Hermitian operators and its consequence, the Cauchy interlacing theorem, and prove their analogues in the symplectic setting. For the case of passive transformations of Gaussian mixed states we also prove that the obtained inequalities are, in a sense, the best possible. The obtained mathematical results are applied to the system of n uncorrelated thermal modes of the electromagnetic field. Finally, we present the results of numerical simulations of the problem, suggesting avenues of further research.