Questions tagged [pauli-group]
Questions about or related to the Pauli group.
34
questions
0
votes
0
answers
32
views
Can an $n$-qubit observable be constructed from single-qubit Pauli X and Z observables? [duplicate]
Any $2\times2$ matrix can be expressed as the sum and product of the identity, Pauli $X$ and Pauli $Z$ matrices. This is often used to express a singe-qubit state using just Pauli matrices. One can ...
1
vote
0
answers
31
views
Higher spin Clifford gates
We're familiar with Clifford gates for qubits, which have attracted a lot of attention and research effort. Clifford circuits normalize Pauli strings, i.e., under conjugation, Clifford circuits map ...
0
votes
1
answer
43
views
Determine if an operator is in the stabilizer group
I was working on error correction algebraically but I now want to use some computational method.
I have a set of generators of a stabilizer group which I represent as a rectangular matrix over $\...
0
votes
1
answer
37
views
Why is the group membership problem hard for general matrices but not for the stabilizer group?
In this answer, it is claimed that the problem of answering whether an invertible matrix $A$ is an element of the group $\langle B_1, B_2,..., B_n\rangle$ for invertible matrices $B_i$ is in NP.
For ...
2
votes
0
answers
26
views
Minimum number of qubits to express given commutation relations (and linear dependences) of Pauli terms
I'm interested in the question written in the title. To explain what I mean, let's take the following set of 9 Pauli terms for 3 qubits:
\begin{equation}
X_1X_2, X_2X_3, X_3X_1,~ Y_1Y_2, Y_2Y_3, ...
1
vote
1
answer
28
views
Finding a succinct representation of a CPTP map
Consider a single qubit CPTP map $\mathcal{N}$ such that
$$\mathcal{N}(I) = I + pZ,~~~~~~\mathcal{N}(Z) = (1-p)Z,$$
where $I$ and $Z$ are Pauli operators. For an $n$ qubit Pauli operator $P$, made ...
1
vote
2
answers
41
views
For stabilizer codes, why does the error syndrome not depend on the codeword?
While reading through some lecture notes on quantum error correction, I read the statement:
"In particular, the syndrome doesn’t depend on the specific codeword, only on the Pauli
error."
I'...
3
votes
0
answers
51
views
Algorithm for computationally generating the single qudit clifford group
For a d dimensional single qudit, knowing the generators of the group being the Hadamard gate and the Phase gate, how would I generate the entire group computationally in python? Or for any finite ...
0
votes
0
answers
30
views
Better optimization of bounds on sums of Pauli strings?
I'm trying to bound a quantity $||\sum_i \alpha_i P_i ||$ where the $P_i$ are arbitrary Pauli strings, $||.||$ is the operator norm (max eigenvalue) and $\alpha_i$ are arbitrary real coefficients.
If ...
3
votes
1
answer
58
views
In context of stabilizer codes, are logical gates and Pauli operators the same?
I was reading this blog post and as I understood, a unitary operator is logical if and only if it's in $\mathcal{N}(\mathcal{S})$, and a Pauli operator is Logical if and only if it's in $\mathcal{C}(\...
3
votes
1
answer
72
views
Complexity of Variational Quantum Eigensolvers
I am doing research surrounding VQE and am a bit confused about the complexity and its comparison to classical systems. My brief research has yielded me that classical eigenvalue solving is $O(n^3)$. ...
1
vote
0
answers
35
views
Calculating Nested Commutator using a program
The $\tilde\alpha_{\text{comm}}$ mentioned in Theory of Trotter Error paper is calculated via the nested commutators. For a Hamiltonian $H = \sum_\gamma H_\gamma$, the formula for pth order is as ...
2
votes
1
answer
73
views
Under what conditions are two sets of Pauli operators Clifford-equivalent?
Suppose I have two set of $N$-qubit Pauli operators $\mathcal{S} = \{P_1,\ldots,P_K\}$ and $\mathcal{T} = \{Q_1,\ldots,Q_K\}$. In this context, a Pauli operator is a Hermitian element of the Pauli ...
5
votes
2
answers
479
views
What unitary commutes with all local Pauli operators?
I was thinking about this problem of identifying a set of unitary operations (other than the identity operation) that commute with local pauli $\sigma_X$ and $\sigma_Z$ matrices, i.e. find $U$ such ...
1
vote
0
answers
29
views
Dimension reduction to subsystem in Pauli-Liouville basis: How to implement partial trace of Pauli-Transfer Matrices?
I have a complementary question to my previous (thankfully answered, but I can't verify for larger systems) question:
Multi-qubit quantum channels in Pauli-Liouville basis: Tensor product of Pauli-...