Exact first-detection probability in a locally monitored solvable quantum circuit

arXiv:2610.01703 · quant-ph, cond-mat.stat-mech · Submitted 2026-10-01 · Read on arXiv

Listen

Radio episode about this paper

Transcript

Introduction to the show: ident: Quantum Radio. Generated commentary on the latest quantum physics and condensed matter papers.

Kai: I'm Kai, and with me are Mira and Lev, guest researcher.

Mira: Today's paper: "Exact first-detection probability in a locally monitored solvable quantum circuit".

Kai: The gist The exact first-detection probability in a locally monitored solvable quantum circuit exhibits two regimes set by the competition between measurement probing time and relaxation timescales,

Mira: First, who's behind it and why it matters.

Title and authors: Mira: So what they actually show is this transition, which is really interesting because it’s not just a single result, it’s a whole picture of how measurement backaction affects the system dynamics depending on the timing of your measurements. They use the deterministic Floquet-quantum East model to compute this first-detection probability, and they find that as you decrease your probing time compared to that relaxation timescale, things get correlated >

Kai: Exactly. It’s not a simple picture where every measurement is independent anymore; it shows these cross-measurement correlations appearing when the measurements are frequent enough, specifically when the probe time tau is shorter than two times the size of the monitored subregion >

Lev: When you say "frequent enough" for this correlation to show up in practice, what does that look like on a real quantum computer? Is it about having really fast measurement cycles, or are we talking about controlling the timing very precisely?

Mira: It’s about the relationship between two timescales; there’s a threshold where you cross from one statistical behavior to another. For instance, if tau is larger than two times, each measurement acts almost independently of the others, which leads to a geometric distribution >

Kai: So for infrequent measurements, they get this geometric distribution where the success probability at each step is related to two- because it’s like rolling a die with sides > <ref:2610.01703#pg1>

Lev: That sounds like something you can test on real hardware, because if you can control those measurement intervals precisely, you could see if that geometric behavior holds or if it breaks down when the times get shorter >

The paper's summary: Kai: Okay so to summarize what they did is they used a space-evolution approach by folding the circuit at the level of the projector P,one to reduce the computation only to what’s happening in that small monitored region > <ref:2610.01703#pg1>

Mira: That folding method is how they manage to compute this exact first-detection probability without having to deal with all those complicated interactions across the whole large system L, which is a massive computational hurdle >

Lev: But I wonder about the assumption there. When they map that projector P,one onto the folded space as zero = zero zero are they assuming something about how well that subregion separates from the rest of the environment <ref:2610.01703#pg3>?

Kai: They state they derive a renewal equation linking this first-detection probability to that subsystem Loschmidt echo, which is their way of encoding those effective open dynamics, and they make sure no weak-coupling separation between the system and its environment is assumed >

Mira: That’s important because if you assume a weak coupling, your entire mathematical framework for this exact calculation falls apart. They manage to compute the FDRP exactly precisely because the structure of their circuit allows them to do that computation even without that separation assumption >

Lev: So, if we were trying to implement this on a real quantum simulator, how critical is it that they can compute it exactly versus just getting a good approximation?

Kai: It’s critical because exact results give us the ground truth. If you only get an approximation, you don't know if your experimental setup is actually hitting the physics they modeled or just getting lucky >

The paper's improvements: Mira: They really highlight that their approach provides a way to characterize measurement backaction effects in these interacting quantum systems with real precision, which is the first major improvement they offer over simpler models >

Kai: And they’re not just stopping there; they provide this framework that allows for the theoretical prediction of whether a specific measurement protocol will lead to uncorrelated or correlated records based on those time scales >

Lev: So you mentioned earlier that they show a transition between uncorrelated and correlated outcomes, and this part suggests you can predict which regime you’re in just by knowing your probing time and the system size >

Mira: Exactly. They distinguish clearly between infrequent monitoring leading to geometric first-detection statistics and frequent monitoring inducing deviations from that geometric behavior, which is a huge step for understanding nonequilibrium dynamics >

Kai: And they provide this exact expression for the coefficient of variation, CV, which measures how much those outcomes deviate from the simple geometric prediction when the probing time is shorter than two times >

Lev: So that CV value you derived—it explicitly signals those quantum correlations we’re talking about, showing exactly how much they deviate from what you'd expect in a purely classical or independent measurement setting >

Conclusion: Mira: So to wrap up the "Exact first-detection probability in a locally monitored solvable quantum circuit" paper, the main point is that measurement statistics aren't always simple; they depend entirely on how long you probe relative to the system’s natural relaxation time >

Kai: They show this by deriving exact formulas for both regimes, showing geometric distribution for infrequent measurements and an exponential decay for late detection when probing is frequent >

Lev: For running this on actual hardware, the main challenge I see is implementing the necessary mid-circuit measurements to control those timing parameters tau exactly as they are modeled in the paper >

Mira: And that brings us to a bigger picture because this work links directly back to recent experimental measurements of the subsystem-resolved Loschmidt echo, which gives us a way to test these theoretical predictions experimentally >

Kai: It’s really useful because it gives us concrete tools for investigating nonequilibrium locally monitored quantum dynamics, and it shows how probing time and subsystem size dictate the statistical outcome >

Cecilia De Fazio, *Igor Lesanovsky, Gabriele Perfetto

Institut f¨ur Theoretische Physik and Center for Integrated Quantum Science and Technology, Universitat Tubingen · School of Physics and Astronomy and Centre for the Mathematics and Theoretical Physics of Quantum Non-Equilibrium Systems, The University of Nottingham · Institut f¨ur Theoretische Physik, ETH Zurich

quant-ph, cond-mat.stat-mech

Submitted: 2026-10-01

Updated: 2026-10-01

Comments: 7 pages, 3 figures; Supplemental Material: 19 pages, 4 figures

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Importance score: 90/100

The gist: The gist The exact first-detection probability in a locally monitored solvable quantum circuit exhibits two regimes set by the competition between measurement probing time and relaxation timescales,

Key concepts

First-Detection Probability (FDRP)
This is the probability that a specific target state is detected for the very first time during a sequence of local measurements. It is calculated by linking it to how quickly the quantum system relaxes after each measurement, effectively encoding information about the system's dynamics.
Relaxation Timescale (2ℓ)
This timescale represents how quickly a small monitored region of qubits returns to its equilibrium state after a measurement. The paper shows that if measurements are slower than this time, the outcomes are uncorrelated; if they are faster, correlations appear.
Geometric Distribution
When measurements are infrequent (slower probing time), the FDRP follows a geometric distribution. This means each measurement event is treated as an independent trial with a constant success probability, similar to rolling a fair die.
Coefficient of Variation (CV)
The CV measures the spread or variability of the detection outcomes around their average. A deviation from the expected value for this ratio signals that the measurement outcomes are not independent, confirming correlations between different detection events.

Terminology

Summary

The gist The exact first-detection probability in a locally monitored solvable quantum circuit exhibits two regimes set by the competition between measurement probing time and relaxation timescales, revealing transitions from uncorrelated to correlated measurement outcomes.

Model and Protocol

The study focuses on the deterministic Floquet-quantum East model (DFQEM) [21], which is an analytically tractable model exhibiting properties similar in spirit to dual unitarity [12]. The local measurement protocol involves interspersed local projective measurements on a subregion of size l << L at stroboscopic times τ, 2τ,..., kτ. The return probabilities are controlled by the size of the monitored subregion and can be accessed on digital quantum simulators via local mid-circuit measurements.

Key Analytical Tools

The first-detection probability (FDRP) is derived via a renewal equation linking it to the subsystem Loschmidt echo, which encodes the effective open dynamics of the monitored qubits. The calculation proceeds using a space-evolution approach, mapping the circuit into a folded space by folding at the level of the projector Pl,1. This method reduces the computation to a problem defined solely on the monitored region.

Regimes of Detection Statistics

The results show a transition from uncorrelated to correlated measurement outcomes as the probing time is decreased below the relaxation timescale of the monitored region.

** Infrequent measurements: For τ ≥ 2l, the FDRP obeys a geometric distribution F(k) = 2(-2l)(1 - 2(-2l))(k-1), where the success probability at each measurement is 2(-2l). This follows from Eqs. (6) and (7), and is consistent with the known relaxation properties of the model [21]. In this regime, each measurement is an independent event, with detecting the target state equivalent to rolling a 2l-sided die. **

** Frequent measurements: For τ < 2l, the FDRP shows cross-measurement correlations. For early detection, F(k) = 0 for 1 < k < n, where n = ceil(2l/τ) compares the two time scales. For late-detection behavior (k >> n), the FDRP exhibits an exponential asymptotic decay F(k) ∼ −Cd z(-k)d, k >> n, with the coefficient Cd = Resz=zd Gˆ(z) < 0. **

Coefficient of Variation

The coefficient of variation (CV), defined as the ratio between the standard deviation σ and the mean µ of the distribution F(k), can be computed exactly for n > 1 by deriving expressions for and from derivatives of the generating function Gˆ(z) evaluated at z = 1. The exact expression reads CV = √2(-nτ+1)(1 - 2(-τ)) - 2(−n/2) - 4l(1 - 2(-τ))(-n/2) + 2(−n/4). This deviation from the geometric value signals correlations between measurement outcomes when τ is shorter than the relaxation time 2l.

Conclusion

The study establishes that the FDRP is fully determined by its measurement-free local dynamics, and it links directly to recent experimental measurements of the subsystem-resolved Loschmidt echo. The techniques developed here can serve as powerful tools for future theoretical and experimental investigations of nonequilibrium locally monitored quantum dynamics.

Improvements for AI systems

  1. textbfTheoretically exact characterization of measurement backaction effects in interacting quantum systems: The improved system can precisely model and predict how local measurement backaction reshapes detection statistics in an interacting quantum many-body system, providing a rare exact characterization of these phenomena through the derived renewal equation (8).

  2. textbfAccurate modeling of non-geometric detection statistics across different monitoring regimes: The improved system can distinguish between two distinct regimes: infrequent monitoring leads to geometric firstdetection statistics and frequent monitoring induces correlations that manifest as deviations from this geometric behavior, allowing for the prediction of whether a protocol exhibits uncorrelated to correlated measurement records.

  3. textbfEnhanced control over quantum simulation protocols: The system enables the design of implementable digital quantum simulators where return probabilities are controlled by the size of the monitored subregion and can therefore be accessed on digital quantum simulators via local mid-circuit measurements, facilitating experimental verification of theoretical predictions.

  4. textbfPredictive capability for large-system scaling: The improved system provides exact results for the FDRP, showing that the FDRP remains at accessible magnitudes over many attempts, with a decay rate set by l and the probing time, allowing researchers to predict how detection probabilities scale with the size of the monitored region, as confirmed by increasing l by four qubits can change log10 F(k) by one order of magnitude.

  5. textbfQuantification of measurement correlations via Coefficient of Variation: The system allows for the exact computation of the coefficient of variation CV, which is explicitly shown to signal correlations between measurement outcomes, as it consistently deviates from the geometric distribution prediction when probing time is shorter than relaxation time, thus quantifying these emergent quantum correlations.

Sources

Related papers