Constant lower-bound conjecture for extremal rank-one POVM simulation

Let M=(M1,,Mn)\mathbf{M}=(M_1,\ldots,M_n) be an arbitrary extremal rank-one POVM on Cd\mathbb{C}^d. A partition {Xγ}γ=1α\{X_\gamma\}_{\gamma=1}^\alpha of [n][n] satisfies Xγd1|X_\gamma|\leq d-1 when every part has at most d1d-1 elements. Let qsuccq_{\mathrm{succ}} be the success probability associated with such a partition in the proposed simulation scheme. Constant lower-bound conjecture. For every extremal rank-one POVM M\mathbf{M} on Cd\mathbb{C}^d, there exists a partition {Xγ}γ=1α\{X_\gamma\}_{\gamma=1}^\alpha of [n][n] satisfying Xγd1|X_\gamma|\leq d-1 such that the corresponding value of qsuccq_{\mathrm{succ}} is larger than a positive constant independent of dd. This is the analytical and numerical formulation used to support a dimension-independent success probability for simulating extremal rank-one measurements; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Tanmay Singal, Filip B. Maciejewski and Michał Oszmaniec, “Implementation of quantum measurements using classical resources and only a single ancillary qubit”, arXiv:2104.05612 (2022).

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.