# What proof techniques have failed for solving the SIC-POVM problem and what new insights have been gleaned from them?

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?

-

2
– Alex 'qubeat' Oct 30 '11 at 15:16
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? – Chris Ferrie Oct 30 '11 at 16:27
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). – Alex 'qubeat' Oct 30 '11 at 21:08
– Alex 'qubeat' Nov 22 '11 at 10:12

## 1 Answer

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.

-

1
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. – Chris Ferrie Nov 7 '11 at 12:11
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 10, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9350425601005554, "perplexity_flag": "middle"}