IsProductOperator - Revision history

Nathaniel at 18:03, 12 November 2014

2014-11-12T18:03:48Z

← Older revision		Revision as of 18:03, 12 November 2014
Line 1:		Line 1:
	{{Function		{{Function
	\|name=IsProductOperator		\|name=IsProductOperator
	\|desc=Determines if an [[operator]] is an [[elementary tensor]]		\|desc=Determines if an operator is an elementary tensor
	\|rel=[[IsProductVector]]<br />[[OperatorSchmidtDecomposition]]<br />[[OperatorSchmidtRank]]		\|rel=[[IsProductVector]]<br />[[OperatorSchmidtDecomposition]]<br />[[OperatorSchmidtRank]]
	\|cat=[[List of functions#Entanglement_and_separability\|Entanglement and separability]]		\|cat=[[List of functions#Entanglement_and_separability\|Entanglement and separability]]
	\|upd=November 28, ~~2012~~		\|upd=November 12, 2014
	\|v=0.50}}		\|v=0.50}}
	<tt>'''IsProductOperator'''</tt> is a [[List of functions\|function]] that determines if a [[bipartite]] or [[multipartite]] operator is an [[elementary tensor]] or not. If it is an elementary tensor, its tensor decomposition can be provided.		<tt>'''IsProductOperator'''</tt> is a [[List of functions\|function]] that determines if a bipartite or multipartite operator is an elementary tensor or not. If it is an elementary tensor, its tensor decomposition can be provided.

	==Syntax==		==Syntax==

Nathaniel at 15:13, 22 September 2014

2014-09-22T15:13:14Z

@@ Line 3: / Line 3: @@
 |desc=Determines if an [[operator]] is an [[elementary tensor]]
 |rel=[[IsProductVector]]<br />[[OperatorSchmidtDecomposition]]<br />[[OperatorSchmidtRank]]
 |upd=November 28, 2012
-|v=1.00}}
+|v=0.50}}
 <tt>'''IsProductOperator'''</tt> is a [[List of functions|function]] that determines if a [[bipartite]] or [[multipartite]] operator is an [[elementary tensor]] or not. If it is an elementary tensor, its tensor decomposition can be provided.
@@ Line 25: / Line 26: @@
 ==Examples==
-Please provide some examples.
+The following code verifies that the 8-by-8 identity operator (interpreted as living in 3-qubit space) is indeed a product operator:
 {{SourceCode|name=IsProductOperator}}

Nathaniel: Updated documentation using GeSHi

2014-09-21T20:01:57Z

Updated documentation using GeSHi

← Older revision		Revision as of 20:01, 21 September 2014
Line 2:		Line 2:
	\|name=IsProductOperator		\|name=IsProductOperator
	\|desc=Determines if an [[operator]] is an [[elementary tensor]]		\|desc=Determines if an [[operator]] is an [[elementary tensor]]
	\|~~req~~=~~[[opt_args]]<br />~~[[IsProductVector]]<br />~~[[PermuteSystems]]<br />[[SchmidtDecomposition]]~~		\|rel=[[IsProductVector]]<br />[[OperatorSchmidtDecomposition]]<br />[[OperatorSchmidtRank]]
	~~\|rel=~~[[OperatorSchmidtDecomposition]]<br />[[OperatorSchmidtRank]]
	\|upd=November 28, 2012		\|upd=November 28, 2012
	\|v=1.00}}		\|v=1.00}}
Line 27:		Line 26:
	==Examples==		==Examples==
	Please provide some examples.		Please provide some examples.

			{{SourceCode\|name=IsProductOperator}}

Nathaniel: Created page with "{{Function |name=IsProductOperator |desc=Determines if an operator is an elementary tensor |req=opt_args
IsProductVector
PermuteSystems
[[Sc..."

2012-11-28T15:22:51Z

Created page with "{{Function |name=IsProductOperator |desc=Determines if an operator is an elementary tensor |req=opt_args IsProductVector PermuteSystems [[Sc..."

New page

{{Function
|name=IsProductOperator
|desc=Determines if an [[operator]] is an [[elementary tensor]]
|req=[[opt_args]] [[IsProductVector]] [[PermuteSystems]] [[SchmidtDecomposition]]
|rel=[[OperatorSchmidtDecomposition]] [[OperatorSchmidtRank]]
|upd=November 28, 2012
|v=1.00}}
<tt>'''IsProductOperator'''</tt> is a [[List of functions|function]] that determines if a [[bipartite]] or [[multipartite]] operator is an [[elementary tensor]] or not. If it is an elementary tensor, its tensor decomposition can be provided.

==Syntax==
* <tt>IPO = IsProductOperator(X)</tt>
* <tt>IPO = IsProductOperator(X,DIM)</tt>
* <tt>[IPO,DEC] = IsProductOperator(X,DIM)</tt>

==Argument descriptions==
===Input arguments===
* <tt>X</tt>: An operator that acts on a [[bipartite]] or [[multipartite]] Hilbert space.
* <tt>DIM</tt> (optional, by default has all subsystems of equal dimension): A specification of the dimensions of the subsystems that <tt>X</tt> lives on. <tt>DIM</tt> can be provided in one of three ways:
** If <tt>DIM</tt> is a scalar, it is assumed that <tt>X</tt> lives on the tensor product of two spaces, the first of which has dimension <tt>DIM</tt> and the second of which has dimension <tt>length(X)/DIM</tt>.
** If $X \in M_{n_1} \otimes \cdots \otimes M_{n_p}$ then <tt>DIM</tt> should be a row vector containing the dimensions (i.e., <tt>DIM = [n_1, ..., n_p]</tt>).
** If the subsystems aren't square (i.e., $X \in M_{m_1, n_1} \otimes \cdots \otimes M_{m_p, n_p}$) then <tt>DIM</tt> should be a matrix with two rows. The first row of <tt>DIM</tt> should contain the row dimensions of the subsystems (i.e., the mi's) and its second row should contain the column dimensions (i.e., the ni's). In other words, you should set <tt>DIM = [m_1, ..., m_p; n_1, ..., n_p]</tt>.

===Output arguments===
* <tt>IPO</tt>: Either 1 or 0, indicating that <tt>X</tt> is or is not an elementary tensor.
* <tt>DEC</tt> (optional): If <tt>IPO = 1</tt> (i.e., <tt>X</tt> is an elementary tensor), then <tt>DEC</tt> is a cell containing two or more operators, the tensor product of which is <tt>X</tt>. If <tt>IPO = 0</tt> then <tt>DEC</tt> is meaningless.

==Examples==
Please provide some examples.

IsProductOperator - Revision history

Nathaniel at 18:03, 12 November 2014

Nathaniel at 15:13, 22 September 2014

Nathaniel: Updated documentation using GeSHi

Nathaniel: Created page with "{{Function |name=IsProductOperator |desc=Determines if an operator is an elementary tensor |req=opt_argsIsProductVectorPermuteSystems[[Sc..."

Nathaniel: Created page with "{{Function |name=IsProductOperator |desc=Determines if an operator is an elementary tensor |req=opt_args
IsProductVector
PermuteSystems
[[Sc..."