Open-system formulations in quantum computing.

User:Harold Foppele/Infobox quantum computing Noisy qubits are a fundamental challenge in current Noisy Intermediate-Scale Quantum (NISQ) computers, where physical qubits are susceptible to errors from decoherence, imperfect gate operations, and measurement noise. These errors stem from interactions with the environment and can accumulate during computations, limiting the depth and complexity of algorithms that can be successfully run. Researchers are developing NISQ algorithms that leverage limited resources within these noise constraints and exploring new quantum materials and qubit designs to create more robust qubits for the future of fault-tolerant quantum computing. How qubits interact with their surrounding environment. Unlike isolated quantum systems, real qubits are affected by noise sources such as stray photons, phonons, or control hardware fluctuations. These interactions cause errors including decoherence^[1] and relaxation that degrade computational performance.
Open system models provide mathematical tools for analyzing and mitigating these effects.^[2]

Background

An equation used in wave mechanics (see Quantum mechanics) for the wave function of a particle is the time-independent Schrödinger equation

$\nabla^{2} ψ + \frac{8 π^{2} m}{h^{2}} (E - U) ψ = 0$

It can also be written in operator form as:

$H ψ = E ψ$

where ψ is the wave function, ∇² the Laplace operator, h the Planck constant, m the particle's mass, E its total energy, and U its potential energy. It was devised by Erwin Schrödinger, who was mainly responsible for wave mechanics.
The time-dependent Schrödinger equation equation (see also Dyson series) for an isolated system is: $i ℏ \frac{\partial}{\partial t} | ψ (t) ⟩ = H | ψ (t) ⟩ .$
The unitary propagator is: $U (t) = 𝒯 \exp (- \frac{i}{ℏ} \int_{0}^{t} H (t^{'}) d t^{'}),$ with $𝒯$ the time-ordering operator.

For open systems, the state of the system alone is obtained from the full density matrix of system+environment: $ρ_{S} (t) = {T r}_{E} [ρ_{S E} (t)] .$ This partial trace generally produces non-unitary dynamics.

From microscopic models to master equations

Consider a system Hamiltonian (quantum mechanics) $H_{S}$ , environment Hamiltonian $H_{E}$ , and an interaction $H_{I}$ . The total Hamiltonian is: $H = H_{S} + H_{E} + H_{I} .$ Even if $ρ_{S E}$ evolves unitarily, the reduced density matrix $ρ_{S}$ typically obeys an integro-differential equation. Approximations lead to different master equations.

Kraus representation

Any completely positive trace-preserving (CPTP) map on a quantum state can be written as: $ℰ (ρ) = \sum_{k} E_{k} ρ E_{k}^{†}, \sum_{k} E_{k}^{†} E_{k} = I,$ where the $E_{k}$ are Kraus operators. This is a general representation of open-system dynamics at discrete times.^[3]

Lindblad equation (Markovian)

Under the Born–Markov approximation (weak coupling and short environment correlation times), the system’s density matrix satisfies the Lindblad master equation: $\frac{d ρ}{d t} = - \frac{i}{ℏ} [H, ρ] + \sum_{k} (L_{k} ρ L_{k}^{†} - \frac{1}{2} {L_{k}^{†} L_{k}, ρ}) .$ This generator defines a dynamical semigroup (completely positive, trace-preserving evolution).^[4]

For a single qubit, collapse operators commonly model:

**Relaxation (energy decay):** $L_{relax} = \sqrt{γ_{1}} σ_{-}$
**Dephasing:** $L_{deph} = \sqrt{γ_{ϕ}} σ_{z}$

Here $γ_{1}$ and $γ_{ϕ}$ are the relaxation and dephasing rates, respectively.

Redfield equation (non-Markovian)

If the Markov approximation is not applied, the Redfield equation captures memory effects: $\frac{d ρ_{S} (t)}{d t} = - \frac{i}{ℏ} [H_{S}, ρ_{S} (t)] - \int_{0}^{t} d τ {T r}_{E} ([H_{I} (t), [H_{I} (τ), ρ_{S} (τ) \otimes ρ_{E}]]) .$ Redfield theory can describe structured environments (e.g. spin baths or photonic reservoirs) but does not guarantee complete positivity without further corrections.^[5]

Collisional decoherence

Spin-exchange collisions between alkali metal atoms can change the hyperfine state of the atoms while preserving total angular momentum of the colliding pair. As a result, spin-exchange collisions cause decoherence. There has been significant work on correctly identifying the pointer states in the case of a massive particle decohered by collisions with a fluid environment, A widely used approximation for collisional decoherence assumes exponential suppression of off-diagonal terms: $C (t) \approx \exp (- Γ t), Γ \propto n v σ_{decoh},$ with $n$ the particle density, $v$ the relative velocity, and $σ_{decoh}$ the scattering cross-section.^[6]

Applications in quantum computing

Open-system formulations are essential in quantum hardware design and analysis:

**Noise modeling:** Estimating dephasing and relaxation times ( $T_{1}$ , $T_{2}$ ) in superconducting qubits and trapped ions.^[7]
**Error correction:** Providing physical noise models for the design of error-correcting codes.
**Control techniques:** Informing pulse-shaping and dynamical decoupling sequences to suppress decoherence.
**Fault tolerance:** Guiding thresholds for quantum error correction using Lindblad-type noise models.

Articles of interest

These articles describe the Quantum system as outlined in this article.
Open Quantum System Approaches to Superconducting Qubits
Quantum Computer Operating System: The Key to Quantum Power
Building Quantum Computers A Practical Introduction
OpenQASM: The Quantum Programming Language. Assembly Programming for Quantum Computers
What Are Open Quantum Systems? A Complete Guide
Digital Simulation of Single Qubit Markovian Open Quantum Systems: A Tutorial
Time Evolution in Open Quantum Systems

Challenges

The Lindblad approach assumes memoryless noise and may not capture non-Markovian dynamics in advanced devices.
Redfield and other non-Markovian models can describe richer environments but are computationally expensive and sometimes unphysical.
Hybrid approaches combining Lindblad and non-Markovian models are under investigation.
Active error suppression techniques (e.g. dynamical decoupling, error mitigation) complement open-system modeling.

References

↑ Breuer, Heinz-Peter; Petruccione, Francesco (2002). The Theory of Open Quantum Systems. Oxford University Press. ISBN 978-0199213900. Search this book on
↑ Rivas, Ángel; Huelga, Susana F. (2012). Open Quantum Systems: An Introduction. Springer. doi:10.1007/978-3-642-23354-8. ISBN 978-3642233531. Search this book on
↑ Nielsen, Michael A.; Chuang, Isaac L. (2010). Quantum Computation and Quantum Information (10th anniversary ed.). Cambridge University Press. ISBN 978-1107002173. Search this book on
↑ Lindblad, Göran (1976). "On the generators of quantum dynamical semigroups". Communications in Mathematical Physics. 48 (2): 119–130. Bibcode:1976CMaPh..48..119L. doi:10.1007/BF01608499.
↑ Redfield, A.G. (1965). "The Theory of Relaxation Processes". Advances in Magnetic and Optical Resonance. 1: 1–32. doi:10.1016/B978-1-4832-3114-3.50007-6. ISBN 978-1-4832-3114-3. ISSN 1057-2732.
↑ Joos, E.; Zeh, H. D. (1985). "The emergence of classical properties through interaction with the environment". Zeitschrift für Physik B. 59 (2): 223–243. Bibcode:1985ZPhyB..59..223J. doi:10.1007/BF01725541.
↑ Krantz, Philip; Kjaergaard, Morten; Yan, Fei; Orlando, Terry P.; Gustavsson, Simon; Oliver, William D. (2019). "A quantum engineer's guide to superconducting qubits". Applied Physics Reviews. 6 (2). arXiv:1904.06560. Bibcode:2019ApPRv...6b1318K. doi:10.1063/1.5089550. Unknown parameter |article-number= ignored (help)