Device Characterization
Device characterization uses experiments to learn a predictive model of a quantum device. A Ramsey trace may reveal detuning; measurements with a neighboring qubit in different states may reveal a coupling. The central question is whether the chosen experiments distinguish the proposed explanations. A precise fit is useful only within a model that predicts other observations.
Required background. Rabi and Ramsey control introduces driven-qubit experiments; quantum noise distinguishes channels and fluctuations. Process tomography explains channel reconstruction and randomized benchmarking explains ensemble performance measurements.
Identifying a frequency from Ramsey measurements
Section titled “Identifying a frequency from Ramsey measurements”Prepare , evolve under , and measure along or . Here is angular-frequency detuning relative to the control reference. With ideal axes, a visibility , an initial phase and an exponential envelope, the probabilities of the positive outcomes are
These signs specify the analysis convention; a pulse-based implementation must translate its outcome labels accordingly. The exponential is an assumption to test, not part of the definition of Ramsey interferometry.
Measuring only cannot distinguish from . Adding distinguishes the phase direction. However, one evolution time still determines only : measuring more quadratures at that same time cannot separate an unknown detuning from an unknown initial phase.
Multiple times help, but the time grid matters. At , every integer gives the same two-quadrature data for
This is frequency aliasing. More shots at those same times cannot remove it. A justified prior frequency interval or additional times that distinguish the candidate aliases are needed.
With , , frequencies and give identical probabilities at every integer . The same alias survives measurements. An added time separates these two candidates, although a broader frequency range can contain other aliases.
The fitted visibility can also be ambiguous. If preparation has transverse Bloch length and symmetric readout has contrast , these experiments see only . Pairs and predict the same record. An independent preparation or detector measurement is needed to attribute the contrast loss. Degen, Reinhard and Cappellaro discuss how experimental design converts such phase information into parameter estimates.
Counts, sensitivity and prediction
Section titled “Counts, sensitivity and prediction”For independent shots at fixed settings, the number of positive outcomes is binomial:
The log likelihood, apart from constants, is
A likelihood fit respects the probability-dependent sampling variance. Ordinary least squares with constant error bars can be inappropriate near probabilities zero or one. Correlated shots, drifting parameters or uncertain calibration need an expanded likelihood or a valid analysis of correlated data.
The Jacobian describes local sensitivity. In a regular model its rank identifies the parameter combinations accessible to first order. A singular Jacobian need not prove global nonidentifiability in every nonlinear model; it can also mark a special point with vanishing first-order sensitivity. Conversely, full rank near one fit does not exclude distant aliases. Confidence regions should retain multiple plausible solutions when the experiment cannot distinguish them.
Predictions reveal different failures depending on what is held out:
| New data | What it tests | What it does not establish |
|---|---|---|
| More shots of the same circuits | Sampling predictions in those settings | New-circuit behavior |
| New lengths or pulse orders | Composition and history dependence | Stability at a later date |
| Different spectator states | Transfer between contexts | Every many-qubit configuration |
| A later acquisition period | Stability over that period | Permanent stationarity |
Compare predictions with the actual counts. For example, a model predicting with gives a shot-noise scale for the observed frequency. A residual of is about such scales. It suggests a failed prediction if the data were held out and independent; it is not automatically a universal significance calculation after fitting many parameters or searching many residuals.
Coherent rotations and irreversible noise
Section titled “Coherent rotations and irreversible noise”A constant unwanted rotation has average infidelity
The same commuting error repeated times rotates by . Phase-sensitive sequences can therefore reveal a signed error hidden by a small one-gate infidelity. Target/inverse sequences must be chosen carefully: some error terms cancel rather than amplify.
A trace-preserving qubit channel acts affinely on Bloch vectors:
It is unital precisely when . Unitary evolution rotates the Bloch ball; nonunitary evolution can contract and translate it. Amplitude damping can even increase the purity of some inputs by moving them toward the ground state. Purity loss is therefore not a universal definition of irreversible noise.
Wallman and colleagues define unitarity using the traceless transfer block. For a qubit,
A unitary channel has ; a depolarizing channel has . A complete reset to has pure outputs but , hence . This removes the misleading contribution of nonunital translation. Unitarity adds information to average fidelity, but does not specify a unique microscopic mechanism or a literal fraction of coherent errors.
A fitted contraction must still be physical
Section titled “A fitted contraction must still be physical”For a Pauli-diagonal unital qubit map with diagonal entries , the four Pauli probabilities are
Complete positivity requires all four to be nonnegative. The tempting fit fails: it gives . Contracting every Bloch coordinate is insufficient for a physical channel acting on part of an entangled system. A constrained fit must accommodate statistical and model uncertainty; one cannot interpret an unphysical fitted matrix as a mechanism.
Noise timescales and spectral conventions
Section titled “Noise timescales and spectral conventions”For stationary two-level Markovian relaxation and pure dephasing,
Here describes population relaxation and a nonnegative pure-dephasing rate. Ramsey, echo and driven decay constants generally probe different filters and need not satisfy this model when combined indiscriminately. An inferred negative dephasing rate calls for uncertainty and model checks.
To fix normalization in noise spectroscopy, take
with stationary zero-mean classical Gaussian noise. Define its two-sided spectrum by
Ideal control gives a modulation and accumulated phase . Gaussian averaging yields
The factor belongs to these definitions; other spectrum and Hamiltonian conventions change prefactors. For , the result is . Ideal sign flips do not suppress this white-noise dephasing. By contrast, a constant random detuning with variance gives Ramsey and is canceled by an ideal midpoint echo. Szańkowski and colleagues explain the assumptions and limitations of filter-based spectroscopy. Finite pulses, non-Gaussian noise and quantum environments require additional treatment.
Gate sets, context and memory
Section titled “Gate sets, context and memory”Ordinary process tomography assumes known preparation and measurement. Gate-set tomography estimates them jointly with the gates, using short sequences to span preparation/readout directions and repeated blocks to amplify gate errors. It still assumes a system dimension and a sufficiently stable, composable model.
In a vector representation, write a sequence probability as . For any invertible , the changes
leave every probability unchanged. This gauge freedom prevents unique recovery of all matrix entries. A general coordinate transformation need not preserve the usual matrix expression of positivity, so it should not be interpreted as a physical operation. Nielsen and colleagues explain physical estimation and gauge choices in detail. Sequence probabilities remain the direct operational predictions.
Context can carry additional physics. For a target and spectator , take
Spectator states with shift the target detuning to . An equal incoherent spectator mixture produces target coherence proportional to . A simple exponential dephasing fit can miss its revivals. Interleaved spectator preparations can distinguish this model from slow temporal drift; the observation alone does not identify every possible coupling mechanism.
Leakage makes the choice of modeled system equally consequential. The unnormalized retained output is a linear trace-decreasing map; dividing by its state-dependent survival probability generally makes the conditional transformation nonlinear. Report survival as well as conditional performance, and test return from leaked levels. Leakage and crosstalk and memory-dependent noise develop these distinctions.
A useful final test of a diagnosis is its predicted response to a controlled change. If retuning removes a Ramsey phase slope, verify that prediction with fresh data and check relevant neighboring operations. Calibration loops explains how repeated measurements turn such models into control updates.
Exercises
Section titled “Exercises”1. Break a frequency alias
Section titled “1. Break a frequency alias”Let and compare kHz with kHz, where . For ideal visibility and zero initial phase, calculate at .
Solution
The phases are and , giving probabilities about and . At all integer multiples of the phase difference is an integer multiple of , so both quadratures coincide. This added time distinguishes these candidates, not all unbounded frequencies.
2. Separate slope and initial phase
Section titled “2. Separate slope and initial phase”At one time , suppose both quadratures determine . Describe every giving that phase. Does scanning the analysis phase at that same time help?
Solution
For every chosen , take modulo . An analysis-phase scan measures the same combination and does not remove the degeneracy. Additional evolution times or independent knowledge of are required; multiple times still need alias control.
3. A small unitary error
Section titled “3. A small unitary error”For rad, estimate the one-gate average infidelity and the error after 100 commuting repetitions.
Solution
The infidelity is approximately . The error angle becomes rad. Its average infidelity is then , rather than 100 times the one-gate value. The coherent approximation and commuting-error assumption are essential.
4. Check complete positivity before unitarity
Section titled “4. Check complete positivity before unitarity”Find the Pauli probabilities for . Repeat for the physical alternative and calculate its unitarity.
Solution
The first gives and is not CP. The alternative gives , all nonnegative, with
The first matrix has a formal squared-norm value too, but calling that the unitarity of a quantum channel would assume a channel that does not exist.
5. Purity can increase under noise
Section titled “5. Purity can increase under noise”An amplitude-damping channel with decay probability acts as
For , find the output purity of and the unitarity.
Solution
The output has Bloch vector and purity , larger than . Yet
The increase comes from relaxation toward a preferred state, not preservation of unknown input coherence.
6. Interpret a coherence rate
Section titled “6. Interpret a coherence rate”For and a compatible exponential , find . What would imply under the same model?
Solution
In inverse microseconds, , so . The second choice gives , incompatible with nonnegative Markovian pure dephasing at those exact parameters. Revisit the uncertainties, filters and two-level assumptions instead of assigning a negative microscopic rate.
7. Check the spectral normalization
Section titled “7. Check the spectral normalization”For a static Gaussian detuning of variance , derive the Ramsey and ideal midpoint-echo coherence directly, without a spectral integral.
Solution
Ramsey accumulates , with variance , so Gaussian averaging gives . Echo accumulates , giving unit coherence in this idealized model. These results agree with and the stated prefactor.
8. A gauge-invariant prediction
Section titled “8. A gauge-invariant prediction”Use the transformations above to show that for a two-gate sequence. Which matrices can more shots uniquely determine?
Solution
The adjacent inverse factors cancel. More shots improve operational probability estimates but cannot select a unique representative among equivalent matrices without extra conventions or trusted information.
9. An unresolved spectator
Section titled “9. An unresolved spectator”Take and an equal mixture of spectator states. What happens to a target initially in at and ?
Solution
The target’s transverse component is . At it is zero and the target is maximally mixed; at it is and the target is the pure state . A time-homogeneous exponential dephasing channel cannot reproduce this loss and revival. The larger target-plus-spectator system still evolves unitarily.
10. Conditional filtering is generally nonlinear
Section titled “10. Conditional filtering is generally nonlinear”Let a successful filter have Kraus operator . Compare filtering and renormalizing with mixing the separately normalized outputs for and equally.
Solution
The unnormalized mixed-state output is , with survival , so the conditional state is . Each basis-state output separately normalizes back to itself; their equal mixture is . Conditioning reweights the two inputs according to their different survival probabilities.
References
Section titled “References”- Degen, C. L., Reinhard, F., and Cappellaro, P. “Quantum sensing.” Reviews of Modern Physics 89, 035002 (2017). doi:10.1103/RevModPhys.89.035002.
- Nielsen, E., Gamble, J. K., Rudinger, K., Scholten, T., Young, K., and Blume-Kohout, R. “Gate set tomography.” Quantum 5, 557 (2021). doi:10.22331/q-2021-10-05-557.
- Szańkowski, P., Ramon, G., Krzywda, J., Kwiatkowski, D., and Cywiński, Ł. “Environmental noise spectroscopy with qubits subjected to dynamical decoupling.” Journal of Physics: Condensed Matter 29, 333001 (2017). doi:10.1088/1361-648X/aa7648.
- Wallman, J. J., Granade, C., Harper, R., and Flammia, S. T. “Estimating the coherence of noise.” New Journal of Physics 17, 113020 (2015). doi:10.1088/1367-2630/17/11/113020.