Abstract:We propose a new quantum computing formalism named Pauli quantum computing. In this formalism, we use the Pauli basis $I$ and $X$ on the non-diagonal blocks of density matrices to encode information and treat them as the computational basis $|0\rangle$ and $|1\rangle$ in standard quantum computing. There are significant differences between Pauli quantum computing and standard quantum computing from the achievable operations to the meaning of measurements, resulting in novel features and comparative advantages for certain tasks. We will give three examples in particular. First, we show how to design Lindbladians to realize imaginary time evolutions and prepare stabilizer ground states in Pauli quantum computing. These stabilizer states can characterize the coherence in the steady subspace of Lindbladians. Second, for quantum amplitudes of the form $\langle +|^{\otimes n}U|0\rangle^{\otimes n}$ with $U$ composed of $\{H,S,T,\text{CNOT}\}$, as long as the number of Hadamard gates in the unitary circuit $U$ is sub-linear $\mathit{o}(n)$, the gate (time) complexity of estimating such amplitudes using Pauli quantum computing formalism can be exponentially reduced compared with the standard formalism ($\mathcal{O}(\epsilon^{-1})$ to $\mathcal{O}(2^{-(n-\mathit{o}(n))/2}\epsilon^{-1})$). Third, given access to a searching oracle under the Pauli encoding picture manifested as a quantum channel, which mimics the phase oracle in Grover's algorithm, the searching problem can be solved with $\mathcal{O}(n)$ scaling for the query complexity and $\mathcal{O}(\text{poly}(n))$ scaling for the time complexity. While so, how to construct such an oracle is highly non-trivial and unlikely efficient due to the hardness of the problem.

Optimally generating $\mathfrak{su}(2^N)$ using Pauli strings

Scalable quantum circuits for exponential of Pauli strings and Hamiltonian simulations

Algebraic synthesis of time-optimal unitaries in SU(2) with alternating controls

Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling

Scaling of symmetry-restricted quantum circuits

Optimised Baranyai partitioning of the second quantised Hamiltonian

Fast Partitioning of Pauli Strings into Commuting Families for Optimal Expectation Value Measurements of Dense Operators

Fast Partitioning of Pauli Strings into Commuting Families for Expectation Value Measurements of Dense Operators

Efficient eigenvalue determination for arbitrary Pauli products based on generalized spin-spin interactions

Pauli quantum computing: $I$ as $|0\rangle$ and $X$ as $|1\rangle$

Quantum signal processing over SU(N)

Optimal Hadamard gate count for Clifford$+T$ synthesis of Pauli rotations sequences

Quantum many-body simulations with PauliStrings.jl

Overcoming the su(2^n) sufficient condition for the coherent control of n-qubit systems

Composing arbitrarily many $SU(N)$ fundamentals

Automatic generation of orthogonal multiplet bases in $\mathrm{SU}(N_c)$ color space

Efficient unitary designs and pseudorandom unitaries from permutations

The qudit Pauli group: non-commuting pairs, non-commuting sets, and structure theorems

Architectures and random properties of symplectic quantum circuits

SU(N) symmetry of coherent photons controlled by rotated waveplates