NPAHierarchy - Revision history

Araujoms: /* Argument descriptions */ K=0 doesn't exist anymore

2022-11-11T12:39:56Z

Argument descriptions: K=0 doesn't exist anymore

← Older revision		Revision as of 12:39, 11 November 2022
Line 27:		Line 27:
	</math>		</math>
	* <tt>DESC</tt>: A vector of 4 elements describing the number of outputs of Alice, number of outputs of Bob, number of inputs of Alice, and number of inputs of Bob, in this order.		* <tt>DESC</tt>: A vector of 4 elements describing the number of outputs of Alice, number of outputs of Bob, number of inputs of Alice, and number of inputs of Bob, in this order.
	* <tt>K</tt> (optional, default 1): A ~~non-negative~~ integer that determines the level of the NPA hierarchy to use. Alternatively, <tt>K</tt> can be a string of a form like '1+ab+aab', which indicates that an intermediate level of the hierarchy should be used, where this example uses all products of 1 measurement, all products of one Alice and one Bob measurement, and all products of two Alice and one Bob measurement. Use plus signs to separate the different categories of products, as above. The first character of this string should always be a number, indicating the base level to use.		* <tt>K</tt> (optional, default 1): A positive integer that determines the level of the NPA hierarchy to use. Alternatively, <tt>K</tt> can be a string of a form like '1+ab+aab', which indicates that an intermediate level of the hierarchy should be used, where this example uses all products of 1 measurement, all products of one Alice and one Bob measurement, and all products of two Alice and one Bob measurement. Use plus signs to separate the different categories of products, as above. The first character of this string should always be a number, indicating the base level to use.

	==Examples==		==Examples==

Araujoms: update page to reflect new code

2022-11-11T11:13:35Z

update page to reflect new code

Show changes

Nathaniel at 17:40, 22 January 2015

2015-01-22T17:40:34Z

← Older revision		Revision as of 17:40, 22 January 2015
Line 5:		Line 5:
	\|req=[http://cvxr.com/cvx/ CVX]		\|req=[http://cvxr.com/cvx/ CVX]
	\|cat=[[List of functions#Nonlocality_and_Bell_inequalities\|Nonlocality and Bell inequalities]]		\|cat=[[List of functions#Nonlocality_and_Bell_inequalities\|Nonlocality and Bell inequalities]]
	\|upd=~~December 9~~, ~~2014~~		\|upd=January 22, 2015
	\|cvx=yes (concave)}}		\|cvx=yes (concave)}}
	<tt>'''NPAHierarchy'''</tt> is a [[List of functions\|function]] that determines whether or not a given set of probabilities satisfy the constraints specified by the NPA hierarchy<ref name="npa">M. Navascués, S. Pironio, and A. Acín. Bounding the set of quantum correlations. ''Phys. Rev. Lett.'', 98:010401, 2007. E-print: [http://arxiv.org/abs/quant-ph/0607119/ arXiv:quant-ph/0607119]</ref><ref name="npa2">M. Navascués, S. Pironio, and A. Acín. A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations. '' New J. Phys.'', 10:073013, 2008. E-print: [http://arxiv.org/abs/0803.4290 arXiv:0803.4290] [quant-ph]</ref>, which are a set of necessary conditions that probabilities arising from quantum mechanics must satisfy. That is, given a set of probabilities $\{p(a,b\|x,y)\}$, this function tries to determine whether or not there is a quantum state $\rho$ shared between Alice and Bob, and sets of measurement operators $\{M_{a\|x}\}$ for Alice and $\{M_{b\|y}\}$ for Bob such that $p(a,b\|x,y) = \mathrm{Tr}(\rho(M_{a\|x} \otimes M_{b\|y}))$ for all $a,b,x,y$ (here $x$ indexes the different measurement settings for Alice, while $a$ indexes the different measurement outcomes within that setting, and similarly for $y$ and $b$ for Bob).		<tt>'''NPAHierarchy'''</tt> is a [[List of functions\|function]] that determines whether or not a given set of probabilities satisfy the constraints specified by the NPA hierarchy<ref name="npa">M. Navascués, S. Pironio, and A. Acín. Bounding the set of quantum correlations. ''Phys. Rev. Lett.'', 98:010401, 2007. E-print: [http://arxiv.org/abs/quant-ph/0607119/ arXiv:quant-ph/0607119]</ref><ref name="npa2">M. Navascués, S. Pironio, and A. Acín. A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations. '' New J. Phys.'', 10:073013, 2008. E-print: [http://arxiv.org/abs/0803.4290 arXiv:0803.4290] [quant-ph]</ref>, which are a set of necessary conditions that probabilities arising from quantum mechanics must satisfy. That is, given a set of probabilities $\{p(a,b\|x,y)\}$, this function tries to determine whether or not there is a quantum state $\rho$ shared between Alice and Bob, and sets of measurement operators $\{M_{a\|x}\}$ for Alice and $\{M_{b\|y}\}$ for Bob such that $p(a,b\|x,y) = \mathrm{Tr}(\rho(M_{a\|x} \otimes M_{b\|y}))$ for all $a,b,x,y$ (here $x$ indexes the different measurement settings for Alice, while $a$ indexes the different measurement outcomes within that setting, and similarly for $y$ and $b$ for Bob).
Line 15:		Line 15:
	==Argument descriptions==		==Argument descriptions==
	* <tt>P</tt>: A 4D array such that <tt>P(a,b,x,y)</tt> is the probability that Alice and Bob obtain measurement result <tt>(a,b)</tt> when they use measurement setting <tt>(x,y)</tt> (i.e., this is equal to $p(a,b\|x,y)$ from above).		* <tt>P</tt>: A 4D array such that <tt>P(a,b,x,y)</tt> is the probability that Alice and Bob obtain measurement result <tt>(a,b)</tt> when they use measurement setting <tt>(x,y)</tt> (i.e., this is equal to $p(a,b\|x,y)$ from above).
	* <tt>K</tt> (optional, default 1): A non-negative integer that determines the level of the NPA hierarchy to use. If <tt>K = 0</tt> then the NPA hierarchy isn't use at all, and this function just checks whether or not <tt>P</tt> is a valid probability array that satisfies non-~~signally~~ constraints (i.e., all entries are non-negative, each matrix face sums to 1, and the marginal probabilities for Alice and Bob are consistent with each other).		* <tt>K</tt> (optional, default 1): A non-negative integer that determines the level of the NPA hierarchy to use. If <tt>K = 0</tt> then the NPA hierarchy isn't use at all, and this function just checks whether or not <tt>P</tt> is a valid probability array that satisfies non-signalling constraints (i.e., all entries are non-negative, each matrix face sums to 1, and the marginal probabilities for Alice and Bob are consistent with each other). Alternatively, <tt>K</tt> can be a string of a form like '1+ab+aab', which indicates that an intermediate level of the hierarchy should be used, where this example uses all products of 1 measurement, all products of one Alice and one Bob measurement, and all products of two Alice and one Bob measurement. Use plus signs to separate the different categories of products, as above. The first character of this string should always be a number, indicating the base level to use.

	==Examples==		==Examples==

Nathaniel at 17:39, 22 January 2015

2015-01-22T17:39:28Z

← Older revision		Revision as of 17:39, 22 January 2015
Line 2:		Line 2:
	\|name=NPAHierarchy		\|name=NPAHierarchy
	\|desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy		\|desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy
	\|rel=[[BellInequalityMax]]<br />[[~~XORQuantumValue~~]]		\|rel=[[BellInequalityMax]]<br />[[XORGameValue]]
	\|req=[http://cvxr.com/cvx/ CVX]		\|req=[http://cvxr.com/cvx/ CVX]
	\|cat=[[List of functions#Nonlocality_and_Bell_inequalities\|Nonlocality and Bell inequalities]]		\|cat=[[List of functions#Nonlocality_and_Bell_inequalities\|Nonlocality and Bell inequalities]]

Nathaniel at 18:04, 14 January 2015

2015-01-14T18:04:37Z

← Older revision		Revision as of 18:04, 14 January 2015
Line 3:		Line 3:
	\|desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy		\|desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy
	\|rel=[[BellInequalityMax]]<br />[[XORQuantumValue]]		\|rel=[[BellInequalityMax]]<br />[[XORQuantumValue]]
	\|req=[http://cvxr.com/cvx/ ~~cvx~~]		\|req=[http://cvxr.com/cvx/ CVX]
	\|cat=[[List of functions#Nonlocality_and_Bell_inequalities\|Nonlocality and Bell inequalities]]		\|cat=[[List of functions#Nonlocality_and_Bell_inequalities\|Nonlocality and Bell inequalities]]
	\|upd=December 9, 2014		\|upd=December 9, 2014

Nathaniel: Added reference

2014-12-17T21:37:05Z

Added reference

← Older revision		Revision as of 21:37, 17 December 2014
Line 7:		Line 7:
	\|upd=December 9, 2014		\|upd=December 9, 2014
	\|cvx=yes (concave)}}		\|cvx=yes (concave)}}
	<tt>'''NPAHierarchy'''</tt> is a [[List of functions\|function]] that determines whether or not a given set of probabilities satisfy the constraints specified by the NPA hierarchy<ref name="npa">M. Navascués, S. Pironio, and A. Acín. Bounding the set of quantum correlations. ''Phys. Rev. Lett.'', 98:010401, 2007. E-print: [http://arxiv.org/abs/quant-ph/0607119/ arXiv:quant-ph/0607119]</ref>, which are a set of necessary conditions that probabilities arising from quantum mechanics must satisfy. That is, given a set of probabilities $\{p(a,b\|x,y)\}$, this function tries to determine whether or not there is a quantum state $\rho$ shared between Alice and Bob, and sets of measurement operators $\{M_{a\|x}\}$ for Alice and $\{M_{b\|y}\}$ for Bob such that $p(a,b\|x,y) = \mathrm{Tr}(\rho(M_{a\|x} \otimes M_{b\|y}))$ for all $a,b,x,y$ (here $x$ indexes the different measurement settings for Alice, while $a$ indexes the different measurement outcomes within that setting, and similarly for $y$ and $b$ for Bob).		<tt>'''NPAHierarchy'''</tt> is a [[List of functions\|function]] that determines whether or not a given set of probabilities satisfy the constraints specified by the NPA hierarchy<ref name="npa">M. Navascués, S. Pironio, and A. Acín. Bounding the set of quantum correlations. ''Phys. Rev. Lett.'', 98:010401, 2007. E-print: [http://arxiv.org/abs/quant-ph/0607119/ arXiv:quant-ph/0607119]</ref><ref name="npa2">M. Navascués, S. Pironio, and A. Acín. A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations. '' New J. Phys.'', 10:073013, 2008. E-print: [http://arxiv.org/abs/0803.4290 arXiv:0803.4290] [quant-ph]</ref>, which are a set of necessary conditions that probabilities arising from quantum mechanics must satisfy. That is, given a set of probabilities $\{p(a,b\|x,y)\}$, this function tries to determine whether or not there is a quantum state $\rho$ shared between Alice and Bob, and sets of measurement operators $\{M_{a\|x}\}$ for Alice and $\{M_{b\|y}\}$ for Bob such that $p(a,b\|x,y) = \mathrm{Tr}(\rho(M_{a\|x} \otimes M_{b\|y}))$ for all $a,b,x,y$ (here $x$ indexes the different measurement settings for Alice, while $a$ indexes the different measurement outcomes within that setting, and similarly for $y$ and $b$ for Bob).

	==Syntax==		==Syntax==

Nathaniel: Added BellInequalityMax to rel

2014-12-17T18:54:24Z

Added BellInequalityMax to rel

← Older revision		Revision as of 18:54, 17 December 2014
Line 2:		Line 2:
	\|name=NPAHierarchy		\|name=NPAHierarchy
	\|desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy		\|desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy
	\|rel=[[XORQuantumValue]]		\|rel=[[BellInequalityMax]]<br />[[XORQuantumValue]]
	\|req=[http://cvxr.com/cvx/ cvx]		\|req=[http://cvxr.com/cvx/ cvx]
	\|cat=[[List of functions#Nonlocality_and_Bell_inequalities\|Nonlocality and Bell inequalities]]		\|cat=[[List of functions#Nonlocality_and_Bell_inequalities\|Nonlocality and Bell inequalities]]

Nathaniel: /* Can be used within CVX */ fixed typo

2014-12-16T18:22:00Z

Can be used within CVX: fixed typo

← Older revision		Revision as of 18:22, 16 December 2014
Line 24:		Line 24:
	>> cvx_begin sdp quiet		>> cvx_begin sdp quiet
	variable p(2,2,2,2); % 2 measurements, 2 outcomes each		variable p(2,2,2,2); % 2 measurements, 2 outcomes each
	maximize NPAHierarchy(p,2) % ~~seconds~~ level of the hierarchy		maximize NPAHierarchy(p,2) % second level of the hierarchy
	subject to		subject to
	% these constraints do not have any particular significance		% these constraints do not have any particular significance

Nathaniel: Created page with "{{Function |name=NPAHierarchy |desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy |rel=XORQuantumValue |req=[http://cvxr.com..."

2014-12-16T18:08:59Z

Created page with "{{Function |name=NPAHierarchy |desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy |rel=XORQuantumValue |req=[http://cvxr.com..."

New page

{{Function
|name=NPAHierarchy
|desc=Determines whether or not a set of probabilities satisfy the conditions of the NPA hierarchy
|rel=[[XORQuantumValue]]
|req=[http://cvxr.com/cvx/ cvx]
|cat=[[List of functions#Nonlocality_and_Bell_inequalities|Nonlocality and Bell inequalities]]
|upd=December 9, 2014
|cvx=yes (concave)}}
<tt>'''NPAHierarchy'''</tt> is a [[List of functions|function]] that determines whether or not a given set of probabilities satisfy the constraints specified by the NPA hierarchy<ref name="npa">M. Navascués, S. Pironio, and A. Acín. Bounding the set of quantum correlations. ''Phys. Rev. Lett.'', 98:010401, 2007. E-print: [http://arxiv.org/abs/quant-ph/0607119/ arXiv:quant-ph/0607119]</ref>, which are a set of necessary conditions that probabilities arising from quantum mechanics must satisfy. That is, given a set of probabilities $\{p(a,b|x,y)\}$, this function tries to determine whether or not there is a quantum state $\rho$ shared between Alice and Bob, and sets of measurement operators $\{M_{a|x}\}$ for Alice and $\{M_{b|y}\}$ for Bob such that $p(a,b|x,y) = \mathrm{Tr}(\rho(M_{a|x} \otimes M_{b|y}))$ for all $a,b,x,y$ (here $x$ indexes the different measurement settings for Alice, while $a$ indexes the different measurement outcomes within that setting, and similarly for $y$ and $b$ for Bob).

==Syntax==
* <tt>IS_NPA = NPAHierarchy(P)</tt>
* <tt>IS_NPA = NPAHierarchy(P,K)</tt>

==Argument descriptions==
* <tt>P</tt>: A 4D array such that <tt>P(a,b,x,y)</tt> is the probability that Alice and Bob obtain measurement result <tt>(a,b)</tt> when they use measurement setting <tt>(x,y)</tt> (i.e., this is equal to $p(a,b|x,y)$ from above).
* <tt>K</tt> (optional, default 1): A non-negative integer that determines the level of the NPA hierarchy to use. If <tt>K = 0</tt> then the NPA hierarchy isn't use at all, and this function just checks whether or not <tt>P</tt> is a valid probability array that satisfies non-signally constraints (i.e., all entries are non-negative, each matrix face sums to 1, and the marginal probabilities for Alice and Bob are consistent with each other).

==Examples==
===Can be used within CVX===
Within CVX, this function is treated as any other concave function (so you can use it as an equality or <tt>>=</tt> constraint, or maximize it subject to other constraints). Maximizing it has the interpretation of trying to find a set of probabilities that satisfy the constraints of the NPA hierarchy, as well as whatever other constraints you specify. For example, the following code finds a $2$-measurement, $2$-outcome probability array satisfying the constraints of the second level of the hierarchy and also has $p(1,1|1,1) = p(1,2|1,1) + 0.1$ and $p(1,2|1,2) = p(2,2|1,2) - 0.2$ (these last two constraints have no special significance; they are just there for illustrative purposes):
<syntaxhighlight>

>> cvx_begin sdp quiet
variable p(2,2,2,2); % 2 measurements, 2 outcomes each
maximize NPAHierarchy(p,2) % seconds level of the hierarchy
subject to
% these constraints do not have any particular significance
p(1,1,1,1) == p(1,2,1,1) + 0.1;
p(1,2,1,2) == p(2,2,1,2) - 0.2;
cvx_end
cvx_optval

cvx_optval =

1 % a value of 1 indicates that a probability array satisfying the constraints exists

>> p % let's have a look at it

p(:,:,1,1) =

0.2637 0.1637
0.2698 0.3029

p(:,:,2,1) =

0.2667 0.2333
0.2667 0.2333

p(:,:,1,2) =

0.2692 0.1582
0.2145 0.3582

p(:,:,2,2) =

0.2418 0.2582
0.2418 0.2582
</syntaxhighlight>

{{SourceCode|name=NPAHierarchy}}

==References==
<references />