PICOS for Quantum Information Science¶
PICOS was among the first convex optimization interfaces to natively support Hermitian semidefinite programming and subsystem manipulation operations such as the partial trace and partial transpose, which were implemented with feedback from the QIS community. This note outlines the features most relevant for the field and links to examples.
QIS Cheat Sheet¶
on paper 
in picos 


















on paper 
in picos 










on paper 
in picos 
note / aka 


trace norm 


for 
on paper 
in picos 
note / docs 














( and denote the partial trace and transpose of the th subsystem, counted from zero)
Hermitian semidefinite programming¶
PICOS makes use of the following identity to allow standard solvers to deal with hermitian LMIs:
Hermitian variables are vectorized such that is passed to solvers via real scalar variables.
Examples and exercises¶
Quantum channel discrimination (exercise on Binder)
Recent research using PICOS¶
2023¶
Felix Huber and Nikolai Wyderka. Refuting spectral compatibility of quantum marginals. arXiv preprint, v2, 2023. arXiv: 2211.06349.
Aby Philip, Soorya Rethinasamy, Vincent Russo, and Mark M. Wilde. Quantum Steering Algorithm for Estimating Fidelity of Separability. arXiv preprint, 2023. arXiv: 2303.07911. code: on arxiv.org.
2022¶
Armin Tavakoli, Alejandro PozasKerstjens, MingXing Luo, and MarcOlivier Renou. Bell nonlocality in networks. Reports on Progress in Physics, 85, 2022. arXiv: 2104.10700. DOI: 10.1088/13616633/ac41bb.
FengJui Chan et al. Maxwell’s twodemon engine under pure dephasing noise. Physical Review A, 106, 2022. arXiv: 2206.05921. DOI: 10.1103/PhysRevA.106.052201.
Viktor Nordgren et al. Certifying emergent genuine multipartite entanglement with a partially blind witness. Physical Review A, 106, 2022. preprint: on standrews.ac.uk. DOI: 10.1103/PhysRevA.106.062410
Matthew DeCross, Eli Chertkov, Megan Kohagen, and Michael FossFeig. Qubitreuse compilation with midcircuit measurement and reset. arXiv preprint, 2022. arXiv: 2210.08039.
Vincent Russo and Jamie Sikora. A note on the inner products of pure states and their antidistinguishability. arXiv preprint, 2022. arXiv: 2206.08313. code: on github.com.
Sarnava Datta, Hermann Kampermann, and Dagmar Bruß. Upper bound on the Guessing probability using Machine Learning. arXiv preprint, 2022. arXiv: 2212.08500.
2021¶
Ulysse Chabaud, PierreEmmanuel Emeriau, and Frédéric Grosshans. Witnessing Wigner Negativity. Quantum, 5(471), 2021. arXiv: 2102.06193. DOI: 10.22331/q20210608471. code: on softwareheritage.org.
PierreEmmanuel Emeriau. The interplay between quantum contextuality and Wigner negativity. PhD thesis, 2021. arXiv: 2204.08782.
(list updated 202303)
Connection with Ncpol2sdpa¶
Ncpol2sdpa [1] exposes SDP relaxations of (noncommutative) polynomial optimization problems as PICOS problem instances, see here.
Course material¶
Jupyter notebooks for a handson workshop on practical semidefinite programming aimed at quantum information students are available on GitLab. The fourth notebook is based on [2], which also comes with Python/PICOS notebooks.
References¶
Peter Wittek. Algorithm 950: Ncpol2sdpa—sparse semidefinite programming relaxations for polynomial optimization problems of noncommuting Variables. ACM Transactions on Mathematical Software, 41(3), 21, 2015. DOI: 10.1145/2699464. arXiv: 1308.6029.
Vikesh Siddhu and Sridhar Tayur. Five starter pieces: quantum information science via semidefinite programs. INFORMS TutORials in Operations Research, 2022. DOI: 10.1287/educ.2022.0243. arXiv: 2112.08276.