Papers
Topics
Authors
Recent
Search
2000 character limit reached

Shadow Lindblad Tomography

Updated 5 July 2026
  • Shadow Lindblad tomography is a set of techniques that reconstructs Lindblad operators from compressed dynamical data instead of conventional informationally complete measurements.
  • It leverages both a dynamical shadow approach from a single observable’s time trace and a randomized classical-shadow protocol to estimate local Lindblad parameters under locality assumptions.
  • These methods enable efficient extraction of coherent and dissipative dynamics in quantum systems, dramatically reducing experimental configurations and scaling costs compared to standard process tomography.

Shadow Lindblad tomography denotes a family of tomographic schemes for open quantum systems in which a Lindblad generator, or observables determined by it, are reconstructed from compressed dynamical data rather than from a conventional catalog of separately programmed informationally complete measurements. In the cited literature, the expression appears in two closely related senses. One is a “dynamical shadow” picture in which the full state is encoded in the time trace of a single observable evolving under a known Lindblad semigroup. The other is a randomized classical-shadow protocol that estimates local Lindblad parameters from short-time Pauli-transfer data under locality assumptions. Both viewpoints treat open-system dynamics not merely as a nuisance but as a structured source of tomographic information (Rall et al., 17 Jan 2025, Birke et al., 16 Feb 2026).

1. Formal setting and reconstructed objects

The common starting point is a Markovian master equation

ρ˙  =  L(ρ)  =  i[H,ρ]+kLkρLk12{LkLk,ρ},\dot{\rho} \;=\; \mathcal{L}(\rho) \;=\; -\frac{i}{\hbar}[H,\rho] + \sum_k L_k\rho L_k^\dagger - \frac{1}{2}\{L_k^\dagger L_k,\rho\},

with HH the Hamiltonian and {Lk}\{L_k\} jump operators. In Lindblad tomography, the object of inference is typically the time-independent generator itself: either HH together with a Lindblad or Kossakowski matrix in a fixed operator basis, or an equivalent jump-operator representation (Samach et al., 2021).

For nn-qubit systems, one convenient parameterization expands the generator in the Pauli basis Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}: H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right). The coherent coefficients aPa_P and dissipation-matrix entries DP,QD_{P,Q} are the Lindblad parameters in the experimental shadow protocol of 2026. In the fully general case there are 4n14^n-1 coherent parameters and HH0 real parameters in HH1, for a total of HH2, which is the source of the standard HH3 scaling barrier (Birke et al., 16 Feb 2026).

A short-time formulation makes the inverse problem linear. If HH4 denotes an expectation value for input observable HH5 and output observable HH6, then

HH7

Collecting configurations gives

HH8

and, after choosing HH9 such that {Lk}\{L_k\}0 on the parameter sector of interest, one obtains transformed expectation values {Lk}\{L_k\}1 whose slopes at {Lk}\{L_k\}2 equal the Lindblad parameters (Birke et al., 16 Feb 2026).

This linearization underlies both extensible Lindblad tomography and its shadow variants. The distinction is not the model but the way the required expectation values are acquired.

2. Dynamical-shadow tomography from a single observable

A distinct line of work shows that full quantum tomography can, in principle, be performed from the homogeneous time evolution of a single expectation value. For a Hilbert space {Lk}\{L_k\}3, a known homogeneous evolution {Lk}\{L_k\}4, and one fixed observable {Lk}\{L_k\}5, the measured signal is

{Lk}\{L_k\}6

or, in discrete time,

{Lk}\{L_k\}7

The central result is that, for generic dynamics, a single nontrivial binary measurement record is informationally complete for state tomography (Rall et al., 17 Jan 2025).

In discrete time, if {Lk}\{L_k\}8, then for every nontrivial {Lk}\{L_k\}9 and for almost all quantum channels HH0, the map

HH1

is injective on HH2. The same generic injectivity holds when the channel is restricted to a semigroup element HH3. The continuous-time corollary states that for almost every Lindbladian HH4, and for HH5 distinct times HH6, the map

HH7

is injective for every fixed nontrivial HH8. The exceptional set has measure zero in the natural HH9-dimensional parameter space of generators (Rall et al., 17 Jan 2025).

The same work proves a quantum analogue of Takens’ embedding theorem. If nn0 is a prior-constrained closed set of states and nn1, with nn2 the Minkowski dimension, then for almost all channels nn3 the delay map

nn4

is injective on nn5 and has a nn6-Hölder continuous inverse on its image for any nn7. This incorporates prior information directly into the tomography criterion. For example, the rank-nn8 density matrices in dimension nn9 have dimension Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}0, so prior rank information reduces the required number of delay coordinates (Rall et al., 17 Jan 2025).

A central structural point is that nontrivial noise is not merely tolerated but required. The paper shows that unitary evolution, even with added simply depolarizing noise, is insufficient beyond the qubit case. By contrast, generic Lindbladians possess distinct decay rates and oscillation frequencies, and the expectation signal takes the form

Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}1

with coefficients Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}2 that can span the operator space when the spectrum is nondegenerate. This is the precise sense in which the time record functions as a low-dimensional “dynamical shadow” of the state (Rall et al., 17 Jan 2025).

3. Classical-shadow reconstruction of local Lindbladians

The 2026 experimental formulation of shadow Lindblad tomography applies classical-shadow ideas directly to Lindblad-parameter estimation. Rather than reconstructing a state from a single time series, it estimates many low-weight Pauli-transfer-matrix elements from one randomized data stream and then converts their short-time slopes into Lindblad parameters (Birke et al., 16 Feb 2026).

For Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}3 qubits, the relevant channel statistics are

Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}4

where Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}5 and Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}6 denotes idling evolution under the Lindbladian. Each shadow experiment samples a random product Pauli eigenstate as input, lets the device idle for time Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}7, and measures in a random product Pauli basis. If Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}8, Pn={I,X,Y,Z}n\mathcal{P}_n=\{I,X,Y,Z\}^{\otimes n}9, with supports H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).0 and H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).1, the single-shot estimator is

H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).2

when the random preparation and measurement axes agree with all non-identity factors of H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).3 and H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).4, and H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).5 otherwise. Averaging over H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).6 randomizations gives

H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).7

The estimator is unbiased,

H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).8

and satisfies

H=PPnaPP,L=iPPnaP[P,ρ]+P,QPnDP,Q(PρQ12{QP,ρ}).H = \sum_{P\in \mathcal{P}_n} a_P\, P,\qquad \mathcal{L}= -i\sum_{P\in\mathcal{P}_n} a_P [P,\rho] + \sum_{P, Q \in \mathcal{P}_n} D_{P,Q}\left(P\rho Q - \frac{1}{2}\{QP,\rho\}\right).9

Because each single-shot contribution is bounded in magnitude by aPa_P0, Hoeffding concentration applies directly (Birke et al., 16 Feb 2026).

The practical gain comes from locality. In a aPa_P1-local Lindbladian model, only low-weight aPa_P2 contribute to the parameter sector of interest, so the required estimator variance is independent of the total system size for fixed aPa_P3. The paper states that, under fixed aPa_P4, the number of physically relevant parameters grows polynomially with aPa_P5, while the number of randomizations needed to estimate each low-weight Pauli-transfer element to fixed accuracy grows only logarithmically with the number of parameters. This is the basis of the claimed aPa_P6 sample complexity behavior under locality assumptions (Birke et al., 16 Feb 2026).

This randomized protocol sits naturally within a broader shadow-process framework based on the Choi isomorphism. A channel aPa_P7 can be represented by its Choi state aPa_P8, and shadow process tomography estimates quantities of the form

aPa_P9

from randomized input and output unitaries. That formalism supplies channel-level shadow estimators, sample-complexity bounds, and composition rules for channels, and therefore provides a general process-tomography backdrop for Lindblad-specific shadow schemes (Kunjummen et al., 2021).

4. Experimental realizations and benchmarks

The experimental precursor to shadow Lindblad tomography is full Lindblad tomography on superconducting hardware. On a small transmon processor, Lindblad tomography was used to reconstruct a time-independent Lindblad generator from time-domain measurements while explicitly calibrating state preparation and measurement errors. The protocol modeled the dissipator through a positive semidefinite Lindblad matrix DP,QD_{P,Q}0 in a Pauli-like basis,

DP,QD_{P,Q}1

and extracted both Hamiltonian terms and effective jump operators from maximum-likelihood fits across many time points (Samach et al., 2021).

In that experiment, single- and two-qubit reconstructions identified conventional dephasing and amplitude-damping channels, quantified crosstalk, and resolved an always-on ZZ term

DP,QD_{P,Q}2

with DP,QD_{P,Q}3. The same study used the Breuer–Laine–Piilo trace-distance criterion to distinguish genuine non-Markovianity from effective subsystem non-Markovianity induced by tracing out another qubit. Its central scaling conclusion was that full Lindblad tomography, like process tomography and gate-set tomography, remains exponentially costly beyond small subsystems (Samach et al., 2021).

The 2026 benchmark converted this framework into a shadow protocol on a five-qubit superconducting transmon processor. It first implemented extensible Lindblad tomography as a baseline and then compared it to shadow Lindblad tomography on one- and three-qubit subsystems. On these subsystems, the shadow protocol reproduced extensible Lindblad tomography within uncertainties while using exponentially fewer configurations. For the three-qubit case, extensible Lindblad tomography reconstructed all DP,QD_{P,Q}4 parameters, and the observed hierarchy showed dominant 1-local terms, smaller 2-local terms, and 3-local coherent and incoherent parameters less than one standard deviation from zero, supporting a 2-local model (Birke et al., 16 Feb 2026).

That locality verification enabled the five-qubit deployment. Under a 2-local model, shadow Lindblad tomography recovered all single-qubit dissipation and two-qubit coupling parameters in 9 hours of acquisition time, compared to an estimated 58 hours for extensible Lindblad tomography under the same restricted model. The paper also states that unrestricted five-qubit extensible tomography, with DP,QD_{P,Q}5 parameters, would be infeasible in comparable conditions and was estimated at roughly 162 days. A further practical result is statistical: the shadow estimator is compatible with conventional Gaussian error propagation, so the analysis did not require median-of-means estimators (Birke et al., 16 Feb 2026).

A common misconception is that “shadow” methods remove all exponential dependence automatically. The benchmarked protocol does not make that claim. Its efficiency gain is explicitly tied to physically motivated locality assumptions and to the fact that only low-weight Pauli-transfer data are needed (Birke et al., 16 Feb 2026).

5. Gate-level error tomography and cyclic error amplification

A separate but related direction concerns tomography of Lindbladian gate errors rather than idle-system generators. Robust Lindbladian Tomography (RLT) models each implemented gate as

DP,QD_{P,Q}6

with DP,QD_{P,Q}7 the Lindbladian error, and analyzes repeated sequences of cyclic gates through error amplification circuits. The objective is to infer the gate-wise errors DP,QD_{P,Q}8 while accounting for non-commutativity between ideal and error generators and between different gates in the sequence (Sugiyama, 16 Mar 2025).

The main technical device is a first-order perturbative expansion that is exact to all orders in the ideal generator DP,QD_{P,Q}9 and first order in the small error 4n14^n-10. For diagonalizable 4n14^n-11, the paper defines linear maps 4n14^n-12, 4n14^n-13, 4n14^n-14, and 4n14^n-15 through spectral projectors and coefficients

4n14^n-16

and proves decomposition and composition formulas for 4n14^n-17 and products of noisy gates. For a cyclic unit repeated 4n14^n-18 times, the effective error splits into an amplified part

4n14^n-19

and a non-amplified part

HH00

so that angle-like errors scale linearly with repetition number HH01, whereas axis-like errors do not (Sugiyama, 16 Mar 2025).

RLT uses this structure to transform the reconstruction problem into a convex semidefinite program. The fitted variables are the Lindbladian error matrices HH02, the forward model is linear in these variables after perturbative reduction, trace preservation is imposed by

HH03

and complete positivity is encoded through the linear matrix inequality

HH04

The paper emphasizes that this reduces the numerical optimization from a nonlinear fit to an SDP, although the overall cost still grows exponentially with the number of qubits, as in other tomographic methods (Sugiyama, 16 Mar 2025).

This is not, by itself, a classical-shadow protocol. However, the paper explicitly notes that its linearized inverse problem could be combined with shadow-style front ends: linear estimators of channel functionals obtained from randomized measurements could be inserted into the same linear or SDP post-processing. A plausible implication is that gate-level shadow Lindblad tomography would inherit its basic geometry from RLT and its sample-efficiency gains from classical shadows (Sugiyama, 16 Mar 2025).

6. Non-Markovian extensions, statistical limits, and constraints

Shadow Lindblad tomography is usually formulated for time-independent Markovian generators, but related work has extended Lindblad-like learning to non-Markovian time-local master equations. In Lindblad-like quantum tomography, the generator is written in time-local form

HH05

with the key difference that the rates HH06 are allowed to become negative. For single-qubit dephasing,

HH07

and Ramsey data at multiple times are fitted jointly through a likelihood over the full time series rather than through separate snapshots. The work studies both frequentist maximum-likelihood and Bayesian sequential Monte Carlo inference, and shows that optimal measurement times depend strongly on the correlation time and on the degree of non-Markovianity. In the non-Markovian regime, Bayesian adaptive scheduling outperforms the corresponding frequentist strategy in the numerical comparisons reported there (Varona et al., 2024).

The same paper quantifies non-Markovianity through the CP-divisibility measure

HH08

and a trace-distance measure HH09 that, for dephasing, is determined by intervals where HH10. This provides a direct reminder that Lindblad-parameter learning and shadow-based compression do not, by themselves, settle the Markovianity question; the dynamical model must still be validated against the underlying time correlations (Varona et al., 2024).

A second constraint comes from quantum metrology. For estimation of weak Lindblad decay rates under arbitrary fast and precise control, the optimal strategy is to rapidly projectively measure and re-initialize the quantum state. In the vanishing-signal limit, the optimal quantum Fisher information for HH11 is

HH12

and it scales linearly with total interrogation time HH13. The corresponding precision obeys standard-quantum-limit scaling rather than Heisenberg scaling. This result applies even in the full fast-control model with ancillae, and the paper proves that a measure-and-reset strategy saturates the ultimate bound (Gardner et al., 6 Jan 2025).

For shadow Lindblad tomography, this metrological result does not prescribe a unique reconstruction algorithm, but it does bound what any algorithm can extract from repeated short-time data. A plausible implication is that randomized classical shadows can improve front-end data reuse and reduce configuration count, while the total information available about weak Lindblad rates remains constrained by the same HH14 law (Gardner et al., 6 Jan 2025).

Two limitations therefore recur across the literature. First, exact knowledge or accurate modeling of the generator is often assumed; model misspecification, drift, or leakage can bias inference. Second, efficiency gains depend on structure: locality, low-weight observables, prior constraints, cyclicity, or low-dimensional parameterizations. Outside those regimes, shadow Lindblad tomography reverts toward the same fundamental scaling difficulties that affect general process tomography (Samach et al., 2021, Kunjummen et al., 2021).

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Shadow Lindblad Tomography.