Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`QuantumFramework`
StabilizerStateQ  |
|
| | ||||
▪
is a structural predicate: it inspects the head and tableau shape of its argument and does not perform any state-vector tomography or numerical comparison.
▪
True
ps
"Signs"
"Tableau"
m
2×n×m
▪
True
sf
"Length"
▪
returns on every other input, including expressions. Detecting whether an arbitrary is a stabilizer state requires Pauli tomography and is exposed separately via , which returns a on success or otherwise.
False
QuantumState
n
4
PauliStabilizer
$Failed
▪
A multi-component (such as the result of applying a non-Clifford gate) is under because it represents a superposition of stabilizer states rather than a stabilizer state itself.
StabilizerFrame
T
False
▪
Stabilizer states form a non-generic measure-zero subset of the -dimensional Hilbert space; their cardinality scales as ·(+1) (Aaronson-Gottesman 2004). The predicate is therefore a useful guard for fast-path dispatch in functions that accept either tableau or state-vector inputs.
n
2
n
2
n
∏
k=1
k
2
Examples
(16)
Basic Examples
(1)
Test the empty (1-qubit) stabilizer register:
In[1]:=
 | StabilizerStateQ |
 | PauliStabilizer |
Out[2]=
True
Test a 3-qubit |000〉 register:
In[1]:=
| StabilizerStateQ |
| PauliStabilizer |
Out[2]=
True
Test a Bell-state stabilizer constructed from Pauli strings:
In[1]:=
| StabilizerStateQ |
| PauliStabilizer |
Out[2]=
True
A QuantumState is not implicitly tomographed; the predicate returns False:
In[1]:=
| StabilizerStateQ |
| QuantumState |
Out[2]=
False
A single-component StabilizerFrame qualifies; a non-state value does not:
In[1]:=
[2],
[42]
 | StabilizerStateQ |
 | StabilizerFrame |
 | PauliStabilizer |
| StabilizerStateQ |
Out[2]=
{True,False}
Scope
(3)
Generalizations & Extensions
(1)
Options
(1)
Applications
(2)
Properties & Relations
(4)
Possible Issues
(3)
Neat Examples
(1)
 |
|
 |
|
""