18
$\begingroup$

The SIC-POVM problem is remarkably easy to state given that it has not yet been solved. It goes like this. With dim($\mathcal H$) $=d$, find states $|\psi_k\rangle\in\mathcal H$, $k=1,\ldots,d^2$ such that $|\langle \psi_k|\psi_j\rangle|=\frac{1}{d+1}$ for all $k\neq j$.

The state of the art on the solution I believe is here: http://arxiv.org/abs/0910.5784. Various constructive conjectures have been given but what existence proofs have been tried and why have they failed? What insight has been distilled from these attempts?

$\endgroup$
4
  • 2
    $\begingroup$ There is an item devoted to the problem here $\endgroup$ Commented Oct 30, 2011 at 15:16
  • $\begingroup$ Thanks for the link Alex. But, again, it lists numerical results and connections to other conjectures. My question is why, for example, does induction on $d$ not work? It is possible to prove an inductive proof is impossible? $\endgroup$ Commented Oct 30, 2011 at 16:27
  • $\begingroup$ Constructions of SIC for consequent $d$ too different to hope on induction, e.g. see TABLE I in e-print you cited: for $d=3$ there are infinite number of SIC, but for other $d$ only finite number (and the numbers of SIC have rather unpredictable behavior). $\endgroup$ Commented Oct 30, 2011 at 21:08
  • $\begingroup$ Just mentioned related question on MO mathoverflow.net/questions/2897/… $\endgroup$ Commented Nov 22, 2011 at 10:12

1 Answer 1

9
$\begingroup$

Het Chris, For more analytic arguments about SIC's you may want to check out http://arxiv.org/abs/1001.0004 .

I got interested in this problem at some point and talked to Steve. He warned me off, describing the SIC-POVM problem as a "heartbreaker" because every approach you take seems super promising but then inevitably fizzles out without really giving you a great insight as to why.

$\endgroup$
1
  • 1
    $\begingroup$ Thanks Seth! That's definitely some useful information. Side note: the thicker papers always seem to find their way to the bottom of the reading pile. I'm going to blame gravity. $\endgroup$ Commented Nov 7, 2011 at 12:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.