Universal state-inversion positivity conjecture for multipartite quadratic forms

About 3 years old · traced to

Let H\mathscr{H} be a finite-dimensional Hilbert space with a tensor decomposition

H=H1⊗⋯⊗Hn,\mathscr{H}=\mathscr{H}_1\otimes\cdots\otimes\mathscr{H}_n,

where dim⁡(Hi)=di≥2\dim(\mathscr{H}_i)=d_i\geq2. For v∈0,1nv\in\\{0,1\\}^n, let qv(α,C)q_v(\alpha,C) be the quadratic form defined from the partial traces of C∈L(H)C\in L(\mathscr{H}), and write r=rank⁡(C)r=\operatorname{rank}(C).

Universal state-inversion positivity conjecture. For every C∈L(H)C\in L(\mathscr{H}) and every v∈0,1nv\in\\{0,1\\}^n,

qv(α,C)≥0q_v(\alpha,C)\geq0

whenever

∣α∣≤αopt=1min⁡r,max⁡d1,…,dn.|\alpha|\leq\alpha_{\mathrm{opt}}=\frac{1}{\min\\{r,\max\\{d_1,\ldots,d_n\\}\\}}.

The conjecture unifies positivity claims for the quadratic forms arising from different choices of symmetrization and antisymmetrization. The paper presents it as the main conjecture, with the preceding rank-specific statement as a special case; its general validity remains open.

References

Primary source

Pablo Costa Rico, “New Partial Trace Inequalities and Distillability of Werner States”, arXiv:2310.05726 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.