Questions tagged [semidefinite-programming]

Semidefinite programming (SDP) is a subfield of convex optimization concerned with the optimization of a linear objective function (a user-specified function that the user wants to minimize or maximize) over the intersection of the cone of positive semidefinite matrices with an affine space, i.e., a spectrahedron. (Wikipedia)

Filter by
Sorted by
Tagged with
1 vote
0 answers
36 views

Linear and Logarithmic Constraint in Semidefinite Programming

I am trying to minimize the largest component of a vector $x = [x_1, x_2, x_3, x_4]$, where $x_1 \ge x_2 ... \ge x_4$, such that it satisfies a set of linear inequalities $A, b$ in the following way: $...
user avatar
2 votes
1 answer
54 views

$3 \rightarrow 1$ QRAC encoding for XOR functions

I'm currently working on QRAC and was wondering if there's an encoding protocol in $3 \rightarrow 1$ such that the receiver is able to retrieve any one of the XOR combinations of the bits, along with ...
user avatar
1 vote
1 answer
62 views

Semi-definite program for conditional smooth max-entropy

I am aware of a SDP formulation for smooth min-entropy: question link. That program for smooth min-entropy was found in this book by Tomachiel: page 91. However, I am yet to come across a semi-...
user avatar
4 votes
1 answer
192 views

Semi-definite program for smooth min-entropy

The conditional min-entropy is defined as (wiki): $$ H_{\min}(A|B)_{\rho} \equiv -\inf_{\sigma_B}\inf_{\lambda}\{\lambda \in \mathbb{R}:\rho_{AB} \leq 2^{\lambda} \mathbb{I} \otimes \sigma_B\} $$ And ...
user avatar
2 votes
0 answers
281 views

How can I implement partial transpose on a variable in Picos (Python, trying to solve an SDP)?

I try to optimise a quantity via an SDP. I optimise over all PPT measurement operators and hence have the constraints $\Pi_k^{T_B} \succeq 0$ (PPT) for my measurement operators. The part of the code ...
user avatar
  • 121
3 votes
0 answers
97 views

Forbidden/allowed outputs of a quantum channel

The coherent information of a channel $\mathcal{E}_{A'\rightarrow B}$ is defined as the maximum value obtained by the following function where the maximization is over all input states $$I_{\rm{coh}}(...
user avatar
  • 2,008
2 votes
0 answers
59 views

Quantum Optimization algorithms

The Harrow-Hassidim-Lloyd (HHL) algorithm for quantum matrix inversion (linear algebra) bridges classical math to quantum math and has been adopted for quantumizing many classical applications, such ...
user avatar
4 votes
1 answer
273 views

How to calculate the conditional min-entropy via a semidefinite program?

I am trying to formulate the calculation of conditional min-entropy as a semidefinite program. However, so far I have not been able to do so. Different sources formulate it differently. For example, ...
user avatar