Coherence-gated quantum devices via real-time weak measurement
Extracted source text · arXiv 2604.18662
\documentclass[aps,prxquantum,twocolumn,superscriptaddress,longbibliography]{revtex4-2}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{physics}
\usepackage{amsmath,amssymb,amsfonts}
\usepackage{graphicx}
\usepackage{xcolor}
\usepackage{hyperref}
\usepackage{booktabs}
\usepackage{tikz}
\usetikzlibrary{arrows.meta,positioning}
\hypersetup{
colorlinks=true,
linkcolor=blue,
citecolor=blue,
urlcolor=blue
}
\newcommand{\grel}{\gamma_{\mathrm{rel}}}
\newcommand{\gdeph}{\gamma_\phi}
\newcommand{\gx}{\gamma_x}
\newcommand{\gz}{\gamma_z}
\newcommand{\Ox}{\Omega_x}
\newcommand{\Sth}{S_{\mathrm{th}}}
\newcommand{\Sss}{S_{\mathrm{ss}}}
\newcommand{\etatrue}{\eta_{\mathrm{true}}}
\newcommand{\etaa}{\eta_{\mathrm{a}}}
\newcommand{\Ga}{\Gamma_a}
\newcommand{\Gb}{\Gamma_b}
\newcommand{\Gc}{\Gamma_c}
\newcommand{\Fgate}{F_{\mathrm{gate}}}
\newcommand{\Fmm}{F_{\mathrm{mm}}}
\begin{document}
\title{Coherence-gated quantum devices via real-time weak measurement}
\author{Priyank Singh}
\affiliation{Centre for Quantum Science and Technology (CQST),
Indian Institute of Technology Mandi, Himachal Pradesh 175005, India}
\date{\today}
\begin{abstract}
Single-photon routers in cavity and circuit QED direct photons based
on which energy eigenstate a qubit occupies---a projective decision
that destroys coherence. We propose a fundamentally different
primitive: \emph{coherence-gated routing}, where the routing decision
depends not on the qubit's eigenstate but on the magnitude of its
quantum coherence, estimated in real time from simultaneous weak
measurements of two non-commuting observables ($\sigma_x$ and
$\sigma_z$). A photon is accepted or rejected depending on whether
the coherence score
$S(T) = \sqrt{\langle\sigma_x\rangle_c^2 +
\langle\sigma_y\rangle_c^2}$, extracted from the conditional density
matrix via the stochastic master equation, exceeds a tunable
threshold~$\Sth$ at decision time~$T$.
Because the qubit's coherence is certified at the moment the photon
is emitted, the protocol enables two applications that conventional
heralded sources cannot provide: (i)~a quantum random number
generator whose min-entropy is bounded by Bloch-sphere geometry,
$H_\infty \geq
-\log_2\!\bigl(\frac{1+\sqrt{1-\Sth^2}}{2}\bigr)$, and (ii)~a
phase-tracked photon source for quantum networks, where independent
coherence certification at two remote nodes bounds the achievable
matter--matter entanglement fidelity after Bell-state measurement.
The real-time estimator is not merely a numerical tool---it is a
security primitive. We benchmark seven estimator configurations
across 3000 quantum trajectories and show that deliberately
underestimating the detector efficiency ($\etaa < \etatrue$)
simultaneously stabilizes the numerics and suppresses coherence
overcertification. We trace this connection analytically through a
purity monotonicity result, identify a geometric loophole that
amplifies purity undercertification into coherence overcertification
by a factor of~$45$, and develop two complementary pointwise bounds:
an Ornstein--Uhlenbeck comparison yielding a $4.5\%$ operational
overcertification bound (validated at $3.6\%$ from $10^6$
trajectories), and an exponential supermartingale establishing the
structural existence of an exponential tail. The gap between the
two---a single polynomial optimization problem---defines a clear
path to fully composable security.
\end{abstract}
\maketitle
\section{Introduction}
\label{sec:intro}
Single-photon routing---directing individual photons to specified
output ports---is a fundamental primitive in quantum
networks~\cite{Kimble2008_QuantumInternet,Wehner2018_QuantumInternet}.
Existing schemes based on cavity quantum electrodynamics
(QED)~\cite{Hoi2011_Router,Shomroni2014_AllOpticalRouter,
Aoki2009_EfficientRouter} and circuit
QED~\cite{Zhou2013_DualChannel,Sliwa2015_Circulator} typically condition
the routing decision on the qubit's energy eigenstate: the photon is
directed one way if the qubit is in $\ket{g}$ (ground state) and another if it is
in~$\ket{e}$ (excited state). This state-based approach requires projective measurement,
which destroys any pre-existing coherence and limits the router to binary
classical control.
In this work we introduce a fundamentally different paradigm:
\emph{coherence-gated routing}, where the routing decision is conditioned
not on which eigenstate the qubit occupies, but on the degree of quantum
coherence---the magnitude of the off-diagonal elements of the conditional
density matrix. This shifts the question from ``what state is the qubit
in?'' to ``how well-defined is the qubit's quantum state?'' and uses that
answer to certify photon quality in a way no post-processing on the
photon alone can achieve.
Coherence is a basis-dependent quantity; here we use the
$\ell_1$-norm of coherence in the $\sigma_z$
eigenbasis~\cite{Baumgratz2014_Coherence,Streltsov2017_Colloquium}---a
choice dictated by a self-consistency requirement between the
measurement axes, the coherence basis, and the Hamiltonian drive,
developed fully in Sec.~\ref{sec:triad}:
\begin{equation}
S(t) \equiv C_{\ell_1}(\rho_c) = 2|\rho_{01}^{(c)}(t)|
= \sqrt{\langle\sigma_x\rangle_c^2
+ \langle\sigma_y\rangle_c^2},
\label{eq:coherence}
\end{equation}
which requires access to the \emph{conditional} state $\rho_c(t)$---the
Bayesian posterior over quantum states given the measurement record up to
time~$t$. Extracting this conditional coherence demands continuous weak
measurement of two non-commuting
observables~\cite{Murch2013_trajectories,
Weber2016_review,HacohenGourgy2016_Simultaneous,
Jordan2006_QubitFeedback},
followed by real-time state estimation via the stochastic master equation
(SME)~\cite{Wiseman2009_Book,Jacobs2014_Book}. This scheme lies at the
intersection of quantum trajectory
theory~\cite{Carmichael1993_Book,Dalibard1992_WaveFunctionApproach},
quantum state
estimation~\cite{VanHandel2005_StabilityFilter,Ralph2011_ContinuousEstimation},
and quantum coherence as a
resource~\cite{Baumgratz2014_Coherence,Streltsov2017_Colloquium}.
The key insight of this paper is that coherence certification at the
moment of photon emission enables applications qualitatively
inaccessible to conventional heralded sources:
\begin{enumerate}
\item A \emph{coherence-certified quantum random number generator}
(QRNG) whose min-entropy per bit is bounded by Bloch-sphere
geometry (Sec.~\ref{sec:qrng}).
\item A \emph{coherence-certified, phase-tracked photon source}
for quantum networks, with classical feedforward phase correction
(Sec.~\ref{sec:qnet}).
\end{enumerate}
We further show how independent coherence certification at two nodes
constrains the achievable entanglement quality under an idealized
Bell-state measurement model, and discuss the assumptions
required (Sec.~\ref{sec:entanglement}).
In both primary applications, the estimator's fidelity to the true
conditional state is not merely a numerical concern---it is a
\emph{security and fidelity requirement}. This elevates the real-time
estimation problem from a methods exercise to an application-critical
component of the device, and motivates the systematic estimator
benchmarking in Sec.~\ref{sec:estimators} and the pointwise
overcertification analysis in Sec.~\ref{sec:pointwise}.
The paper is organized as follows. Section~\ref{sec:protocol} describes
the protocol and theoretical model.
Section~\ref{sec:triad} establishes the measurement--coherence--drive
self-consistency triad.
Section~\ref{sec:qrng} develops the QRNG application, including a
comparison with existing protocols.
Sections~\ref{sec:qnet} and~\ref{sec:entanglement} develop quantum
networking and entanglement distribution.
Section~\ref{sec:certification} analyzes certification integrity and
the geometric loophole from purity to coherence.
Section~\ref{sec:pointwise} develops two complementary pointwise
overcertification bounds and the composable security statement.
Section~\ref{sec:estimators} presents the estimator hierarchy.
Section~\ref{sec:analytical} derives the optimal assumed-efficiency
formula. Section~\ref{sec:discussion} discusses hardware scaling and
experimental prospects. Section~\ref{sec:conclusions} concludes the work.
\section{Protocol and theoretical framework}
\label{sec:protocol}
\begin{figure}[t]
\centering
\begin{tikzpicture}[x=0.9cm, y=0.9cm, >=Latex,
box/.style={draw, thick, rounded corners=2pt, minimum height=0.7cm,
inner sep=3pt, font=\footnotesize},
circ/.style={draw, thick, circle, minimum size=0.6cm,
font=\footnotesize}]
\node[circ, fill=blue!15] (Q) at (0,0) {$Q$};
\node[font=\scriptsize, below=1pt] at (Q.south) {qubit};
\node[box, fill=green!10] (Mx) at (-2.2,1.5) {$I_x(t)$};
\node[box, fill=green!10] (Mz) at (2.2,1.5) {$I_z(t)$};
\draw[->, thick] (Q) -- node[left, font=\tiny] {$\sigma_x$} (Mx);
\draw[->, thick] (Q) -- node[right, font=\tiny] {$\sigma_z$} (Mz);
\node[box, fill=red!10, minimum width=2.5cm] (FPGA) at (0,3)
{FPGA: $\rho_c(t)$};
\draw[->, thick] (Mx) -- (FPGA);
\draw[->, thick] (Mz) -- (FPGA);
\node[box, fill=orange!10] (Dec) at (0,4.5)
{$S(T) \gtrless \Sth$};
\draw[->, thick] (FPGA) -- (Dec);
\node[box, fill=yellow!10] (RA) at (-2,6) {Port A};
\node[box, fill=yellow!10] (RB) at (2,6) {Port B};
\draw[->, thick] (Dec) -- node[left, font=\tiny] {$S > \Sth$} (RA);
\draw[->, thick] (Dec) -- node[right, font=\tiny] {$S \le \Sth$} (RB);
\node[circ, fill=purple!10] (S) at (0,6) {$a_S$};
\draw[->, dashed, thick] (S) -- (RA);
\draw[->, dashed, thick] (S) -- (RB);
\end{tikzpicture}
\caption{Architecture of the coherence-gated single-photon router.
Simultaneous weak measurements of $\sigma_x$ and $\sigma_z$ yield
homodyne currents $I_x(t)$ and $I_z(t)$. An FPGA updates the
conditional state $\rho_c(t)$ in real time and computes the coherence
score $S(T)$ at decision time $T$. Based on the comparison
$S(T) \gtrless \Sth$, a routing pulse directs the photon from the
source cavity $a_S$ to port~A (high coherence) or port~B (low
coherence).}
\label{fig:architecture}
\end{figure}
\subsection{Qubit Hamiltonian and decoherence}
We consider a qubit with Hamiltonian
\begin{equation}
H_q = \tfrac{1}{2}\Ox\sigma_x + \tfrac{1}{2}\Delta\sigma_z,
\label{eq:Hq}
\end{equation}
where $\Ox$ is the transverse Rabi drive strength, $\Delta$ is the
detuning and $\sigma_k$ are the Pauli matrices. The qubit is subject to two intrinsic decoherence channels:
energy relaxation at rate $\grel$ (described by the Lindblad operator
$\sqrt{\grel}\,\sigma_-$, where $\sigma_- = \ket{0}\bra{1}$) and
pure dephasing at rate $\gdeph$ (Lindblad operator
$\sqrt{\gdeph}\,\sigma_z$). We denote the sum of intrinsic
rates as $\gamma_\mathrm{dec} = \grel + \gdeph$.
(The exact transverse dephasing contribution from relaxation is
$\grel/2$, not $\grel$; this distinction is absorbed into the
approximate character of $S_\mathrm{typ}$ in Sec.~\ref{sec:analytical}.)
\subsection{Simultaneous weak measurement}
In addition to intrinsic decoherence, the qubit is simultaneously
monitored by two homodyne detection channels that weakly measure
$\sigma_x$ and $\sigma_z$ with measurement rates $\gx$ and $\gz$,
respectively. Each channel produces a continuous photocurrent. In
practice, only a fraction of the outgoing signal is captured by the
detector; this fraction is quantified by the \emph{measurement
efficiency} $\eta_k \in [0,1]$ for channel $k$. The monitored fraction
$\eta_k$ contributes measurement backaction that is captured in the
conditional state update, while the unmonitored fraction $(1-\eta_k)$
acts as additional dephasing. For simplicity we take $\eta_x = \eta_z
\equiv \eta$ throughout.
The homodyne photocurrents are~\cite{Wiseman2009_Book,Jacobs2014_Book}
\begin{equation}
I_k(t) = \sqrt{4\eta\gamma_k}\,\langle\sigma_k\rangle_c(t)
+ \xi_k(t), \quad k \in \{x,z\},
\label{eq:currents}
\end{equation}
where $\langle\sigma_k\rangle_c(t) = \mathrm{Tr}[\sigma_k \rho_c(t)]$
is the conditional expectation of $\sigma_k$ and $\xi_k(t)$ is Gaussian
white noise satisfying $\langle \xi_k(t)\xi_{k'}(t')\rangle =
\delta_{kk'}\delta(t-t')$. The factor of~4 arises because the
signal is proportional to
$\langle L_k + L_k^\dagger \rangle = 2\sqrt{\gamma_k}\,
\langle\sigma_k\rangle_c$ for Hermitian $\sigma_k$.
The signal-to-noise ratio of each current
is set by the product $\eta\gamma_k$: larger measurement rate or
higher efficiency produces a stronger signal relative to the shot noise
floor.
\subsection{Stochastic master equation}
The conditional density matrix $\rho_c(t)$ evolves under the stochastic
master equation (SME) in It\=o
form~\cite{Wiseman2009_Book,Jacobs2014_Book}:
\begin{align}
d\rho_c &= -i[H_q,\rho_c]\,dt \nonumber\\
&\quad + \grel\,\mathcal{D}[\sigma_-]\rho_c\,dt
+ \gdeph\,\mathcal{D}[\sigma_z]\rho_c\,dt \nonumber\\
&\quad + \sum_{k=x,z} \gamma_k\,
\mathcal{D}[\sigma_k]\rho_c\,dt \nonumber\\
&\quad + \sum_{k=x,z}\sqrt{\eta\gamma_k}\,
\mathcal{H}[\sigma_k]\rho_c\,dW_k.
\label{eq:SME}
\end{align}
Here $\mathcal{D}[L]\rho = L\rho L^\dagger - \frac{1}{2}(L^\dagger L
\rho + \rho L^\dagger L)$ is the Lindblad dissipator and
$\mathcal{H}[L]\rho = L\rho + \rho L^\dagger -
\mathrm{Tr}[(L+L^\dagger)\rho]\,\rho$ is the measurement backaction
(innovation) superoperator. The Wiener increments
$dW_k$ satisfy $dW_k\,dW_{k'} = \delta_{kk'}\,dt$ and are related
to the photocurrents by $dW_k = I_k(t)\,dt -
\sqrt{4\eta\gamma_k}\,\langle\sigma_k\rangle_c\,dt$.
The structure of Eq.~\eqref{eq:SME} reflects the standard decomposition
of homodyne monitoring with efficiency $\eta < 1$
(Ref.~\cite{Wiseman2009_Book}, Eq.~4.238). Each measurement channel
couples to the qubit at the full rate $\gamma_k$, contributing
$\gamma_k\,\mathcal{D}[\sigma_k]\rho_c$ to the deterministic
evolution regardless of detector efficiency.
The efficiency $\eta$ enters only in the stochastic
$\mathcal{H}[\cdot]$ term: the monitored fraction of the output
field provides the innovation signal that updates the conditional
state.
In the limit $\eta \to 1$ \emph{and} with intrinsic decoherence
negligible ($\gamma_\mathrm{dec} \ll \eta\gamma$), the stochastic
update fully compensates the measurement-induced dephasing, and
the conditional state can remain nearly pure. For finite
$\grel, \gdeph$, residual decoherence from the unmonitored
intrinsic channels bounds the achievable purity even at $\eta = 1$.
In the limit $\eta \to 0$, no information is extracted, the
$\mathcal{H}[\cdot]$ term vanishes, and the measurement acts as
pure dephasing---recovering the unconditional master equation.
\subsection{Coherence metric and routing decision}
The coherence score $S(t)$ defined in Eq.~\eqref{eq:coherence}
quantifies the $\ell_1$-norm of coherence in the $\sigma_z$ eigenbasis.
It takes values in $[0, 1]$: $S = 0$ for a state diagonal in the
$\sigma_z$ basis (no coherence), and $S = 1$ for a pure equatorial
state such as $\ket{+} = (\ket{0}+\ket{1})/\sqrt{2}$.
At the decision time $T$, the FPGA computes $S(T)$ from the estimated
conditional state and applies the routing rule:
\begin{equation}
\text{Route} =
\begin{cases}
A & \text{if } S(T) > \Sth, \\
B & \text{otherwise},
\end{cases}
\label{eq:routing}
\end{equation}
where $\Sth \in [0,1]$ is a tunable threshold that controls the
tradeoff between certification quality and heralding efficiency.
Higher $\Sth$ demands stronger coherence, accepting fewer trajectories
but certifying higher photon quality.
It is important to emphasize that the conditional coherence $S(t)$ is
not a pre-existing property of the qubit that the measurement merely
reveals. Rather, it is a property of the \emph{Bayesian posterior}:
the best estimate of the qubit state given the measurement record up to
time $t$. The unconditional coherence (obtained by averaging over all
possible measurement records) decays rapidly to a small steady-state
value $S_\mathrm{uncond}^\mathrm{ss} \ll \Sth$ on a timescale
$\sim 1/\Gb$, where $\Gb = (\Gamma_x + \Gamma_y)/2$ is the
phase-averaged transverse dephasing rate, with
$\Gamma_x = 2\gz + 2\gdeph + \grel/2$ and
$\Gamma_y = 2\gx + 2\gz + 2\gdeph + \grel/2$ being the
component-specific rates.
(With the Rabi drive present,
the unconditional steady state retains a small residual coherence from
the driven dynamics; for our parameters,
$S_\mathrm{uncond}^\mathrm{ss} \approx 0.02$.) The conditional coherence, by contrast, can remain of order
unity, because measurement backaction continuously regenerates it on
individual trajectories~\cite{Jacobs2014_Book}. This distinction---between the
unconditional suppression and the trajectory-level persistence of
coherence---is the physical foundation of the protocol, demonstrated
directly in Sec.~\ref{sec:demonstration}.
We also define the conditional purity
\begin{equation}
\mathcal{P}(t) \equiv \mathrm{Tr}[\rho_c(t)^2]
= \frac{1 + |\mathbf{r}(t)|^2}{2},
\label{eq:purity}
\end{equation}
where $|\mathbf{r}|^2 = S^2 + z^2$ is the squared Bloch-vector length,
with $S$ and $z \equiv \langle\sigma_z\rangle_c$ as defined above.
While the coherence score $S$ captures only the equatorial
projection of $\mathbf{r}$, the purity $\mathcal{P}$ depends on the full
length $|\mathbf{r}|$. This distinction underlies a geometric
subtlety in the certification analysis
(Sec.~\ref{sec:geometric_loophole}): an estimator can underestimate
$\mathcal{P}$ while overestimating $S$.
\subsection{Simulation parameters}
\begin{table}[b]
\centering
\caption{Simulation parameters. All rates are in units of
$2\pi$\,MHz. The time step is $dt = T/(N_t - 1) \approx 0.005$.}
\label{tab:params}
\begin{tabular}{lll}
\toprule
Symbol & Value & Description \\
\midrule
$\Ox / 2\pi$ & 1.0 & Rabi drive strength \\
$\Delta / 2\pi$ & 0.5 & Detuning \\
$\gx / 2\pi$ & 0.1 & $\sigma_x$ measurement rate \\
$\gz / 2\pi$ & 0.1 & $\sigma_z$ measurement rate \\
$\grel / 2\pi$ & 0.01 & Relaxation rate \\
$\gdeph / 2\pi$ & 0.01 & Pure dephasing rate \\
$\eta$ & 0.7 & Measurement efficiency (both channels) \\
$\Sth$ & 0.7 & Routing threshold \\
$T$ & 10.0 & Decision time \\
$N_t$ & 2001 & Time steps \\
$N_\mathrm{traj}$ & 3000 & Number of trajectories \\
\bottomrule
\end{tabular}
\end{table}
All simulations use the parameters in Table~\ref{tab:params}. With
these values, the measurement rates ($\gx/2\pi = \gz/2\pi = 0.1$~MHz)
are ten times larger than the intrinsic decoherence rates
($\grel/2\pi = \gdeph/2\pi = 0.01$~MHz), placing the system in a
regime where measurement-induced dynamics dominate. The QuTiP
package~\cite{Johansson2012_Qutip,Johansson2013_Qutip2} generates
ground-truth trajectories via \texttt{smesolve}; the same measurement
records are then fed to each estimator for fair comparison.
The pointwise overcertification analysis (Sec.~\ref{sec:pointwise})
uses $N_\mathrm{traj} = 10^6$ Bloch-vector trajectories for improved
statistics.
\section{The measurement--coherence--drive triad}
\label{sec:triad}
The coherence score $S$ defined in Eq.~\eqref{eq:coherence} quantifies the length of the
Bloch vector's projection onto the $x$-$y$ equatorial plane. This
choice of basis is not arbitrary: it is dictated by a self-consistency
requirement between the measurement axes, the coherence basis, and the
Hamiltonian drive, which we now explain.
In our protocol, the two measurement channels ($\sigma_x$ and
$\sigma_z$) introduce dephasing in complementary directions. The
$\sigma_z$ channel dephases the $x$-$y$ components at rate $2\gz$,
while the $\sigma_x$ channel dephases the $y$-$z$ components at rate
$2\gx$. Crucially, both channels are \emph{monitored}: their
backaction is captured by the $\mathcal{H}[\cdot]$ terms in the SME
[Eq.~\eqref{eq:SME}], and the conditional state compensates for the
measurement-induced dephasing. The residual, unrecoverable damage to
coherence comes only from the unmonitored fraction $(1-\eta)$.
Had we instead measured $\sigma_x$ and $\sigma_y$ and defined
coherence in the $\sigma_x$ eigenbasis as
$\tilde{S} = \sqrt{\langle\sigma_y\rangle_c^2 +
\langle\sigma_z\rangle_c^2}$, the $z$-component would appear in the
coherence metric and would suffer dephasing from \emph{both}
measurement channels ($\mathcal{D}[\sigma_x]$ and
$\mathcal{D}[\sigma_y]$ each dephase $z$ at rate $2\gamma$), leading
to larger total measurement backaction on the quantity of interest.
This analysis reveals that three elements of the protocol must be
chosen self-consistently:
\begin{enumerate}
\item The \textbf{coherence basis} ($\sigma_z$ eigenstates) defines
which off-diagonal elements of $\rho_c$ constitute the resource to
be certified.
\item The \textbf{measurement axes} ($\sigma_x$, $\sigma_z$)
provide information about the Bloch-vector components while
introducing dephasing that is complementary to each measurement
axis.
\item The \textbf{transverse drive} ($\Ox\sigma_x$)
continuously regenerates equatorial coherence by driving population
between $\ket{0}$ and $\ket{1}$, counteracting the
measurement-induced dephasing of the $x$-$y$ plane.
\end{enumerate}
We refer to this trio as the \emph{measurement--coherence--drive triad}.
Any alternative measurement scheme faces the same
information--disturbance tradeoff: measurement of an observable $O$
provides information about $\langle O \rangle_c$ but dephases the
components complementary to $O$, and coherence is always defined in
terms of those complementary components.
Our particular configuration maps onto the two-tone dispersive scheme
demonstrated by Hacohen-Gourgy \emph{et al.}~\cite{HacohenGourgy2016_Simultaneous},
in which a single readout resonator is driven with two microwave
tones at frequencies chosen so that one tone's dispersive shift
couples to $\sigma_z$ while the stroboscopic average of the other
couples to $\sigma_x$ in the rotating frame. The two channels are
separated by demodulation of the reflected signal at the respective
sideband frequencies. Transverse microwave drives implement the
Rabi term $\Ox\sigma_x$ via standard single-qubit control. This
realization is not merely conceptual: simultaneous $\sigma_x$--$\sigma_z$
monitoring has been demonstrated at efficiencies $\eta \sim
0.4$--$0.5$ in current hardware~\cite{HacohenGourgy2016_Simultaneous},
though our protocol's quantitative guarantees (Table~\ref{tab:composable})
assume $\eta = 0.7$---achievable with improved parametric amplifier
chains and reduced circulator losses.
\subsection{Conditional versus unconditional coherence: Simulation}
\label{sec:demonstration}
Before developing applications, we establish empirically the central
claim of the protocol: the conditional coherence $S_\mathrm{cond}(t)$
on individual quantum trajectories remains large and volatile, hovering
near the analytical estimate $S_\mathrm{typ}$, while the unconditional
(Lindblad) coherence $S_\mathrm{uncond}(t)$ collapses irreversibly to
near zero. This gap between the trajectory-level and ensemble-level
pictures is the physical foundation of coherence-gated routing.
\begin{figure}[h]
\centering
\includegraphics[width=\columnwidth]{fig_uncond_vs_cond.png}
\caption{Conditional versus unconditional coherence from $N = 3000$
trajectories (Table~\ref{tab:params}).
(a)~Individual conditional trajectories $S_\mathrm{cond}(t)$ (colored)
oscillate near the analytical estimate $S_\mathrm{typ} = 0.76$
(dotted), while the unconditional (Lindblad) solution
$S_\mathrm{uncond}(t)$ (bold black) decays to $\approx 0.02$ within
$t \lesssim 2$.
(b)~Distribution of $S_\mathrm{cond}(T)$
over all 3000 trajectories at $t = T$.}
\label{fig:uncond_vs_cond}
\end{figure}
Figure~\ref{fig:uncond_vs_cond}(a) shows ten representative conditional
trajectories alongside the Lindblad solution. The individual
$S_\mathrm{cond}(t)$ traces remain of order unity throughout the
evolution, regularly crossing the threshold $\Sth = 0.7$ and enabling
certification. The Lindblad solution decays to a near-zero steady state
$S_\mathrm{uncond}^\mathrm{ss} \approx 0.02$.
Figure~\ref{fig:uncond_vs_cond}(b) shows the final-time distribution
$P[S_\mathrm{cond}(T)]$ across 3000 trajectories. The distribution is
broad and centred near $S_\mathrm{typ}$, with a substantial fraction of
events falling to the right of $\Sth = 0.7$. The routing decision
therefore selects from a genuine population of high-coherence events,
not from a uniformly degraded ensemble.
\section{Certified quantum random number generation}
\label{sec:qrng}
We now turn to the first application of coherence-gated routing:
certified quantum random number generation. The key observation is
that the Bloch-sphere geometry imposes a rigid constraint between the
coherence score $S$ and the $z$-component of the conditional Bloch
vector, $z(T) \equiv \langle\sigma_z\rangle_c(T)$, which governs the
Born-rule outcome statistics.
\subsection{Min-entropy bound from Bloch-sphere geometry}
For a trajectory accepted at threshold $\Sth$, the geometric constraint
$|z| \leq \delta \equiv \sqrt{1 - \Sth^2}$ bounds the Born-rule
probability:
\begin{equation}
P_z \in \left[\frac{1 - \delta}{2},\; \frac{1 + \delta}{2}\right].
\label{eq:Pz_bound}
\end{equation}
The worst-case (minimum) min-entropy per bit is therefore:
\begin{equation}
\boxed{H_\infty(\Sth) = -\log_2\!\left(\frac{1 + \sqrt{1 - \Sth^2}}{2}
\right).}
\label{eq:Hmin}
\end{equation}
At $\Sth = 0.95$, this gives $H_\infty \geq 0.61$ bits per event;
at $\Sth = 0.99$, $H_\infty \geq 0.81$ bits.
\subsection{Numerical validation}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_qrng_certification.png}
\caption{QRNG certification from $N = 3000$ trajectories.
(a)~Distribution of $P_z$ at
$\Sth = 0.3$ (broad) and $\Sth = 0.9$ (narrow).
(b)~Min-entropy: empirical values (circles) lie above
the analytical bound (solid) at all thresholds.}
\label{fig:qrng}
\end{figure}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_diagnostic_Sz.png}
\caption{Bloch-sphere diagnostic: $S(T)$ vs.\
$z(T) = \langle\sigma_z\rangle_c(T)$ across 3000 trajectories.
All points lie within the Bloch-sphere boundary $S^2 + z^2 \leq 1$
(dashed curve).}
\label{fig:bloch_diagnostic}
\end{figure}
Figures~\ref{fig:qrng} and~\ref{fig:bloch_diagnostic} validate the
certification mechanism. In Fig.~\ref{fig:qrng}(a), the distribution
of $P_z$ narrows sharply around $0.5$ as $\Sth$ increases.
Panel~(b) confirms that the empirical
min-entropy lies above the analytical bound at all thresholds.
\subsection{Security role of the estimator}
The min-entropy guarantee of Eq.~\eqref{eq:Hmin} holds only if the
coherence estimate is faithful---specifically, only if
$S_\mathrm{est}(T) \leq S_\mathrm{true}(T)$, so that the certified
threshold is a genuine lower bound on the true conditional coherence.
This requirement is analyzed in detail in
Secs.~\ref{sec:certification}--\ref{sec:pointwise}, where we develop
both average-case guarantees (Proposition~1) and pointwise tail bounds
(Theorem~2).
\subsection{Comparison with existing QRNG protocols}
\label{sec:qrng_comparison}
Quantum random number generators span a hierarchy of trust
assumptions~\cite{Herrero2017_QRNG_Review,Ma2016_QRNG}. At one extreme,
\emph{fully device-independent} (DI) QRNGs derive randomness from
Bell-inequality violation~\cite{Pironio2010_DI_QRNG,Liu2018_DI_QRNG}.
At the other,
\emph{trusted-device} QRNGs assume full knowledge of the
source~\cite{Jennewein2000_QRNG,Symul2011_QRNG}. Our coherence-certified
QRNG occupies intermediate ground.
The min-entropy bound [Eq.~\eqref{eq:Hmin}] requires three conditions:
(i)~the SME [Eq.~\eqref{eq:SME}] is a correct model of the
qubit--measurement dynamics;
(ii)~the measurement efficiency $\eta$ is calibrated to within the
conservative margin provided by $\etaa < \etatrue$;
(iii)~the estimator's coherence estimate does not
systematically overcertify the true conditional coherence.
With the composable bound developed in Sec.~\ref{sec:pointwise},
condition~(iii) is quantified:
$\Pr[\hat{S}(T) > S_\mathrm{true}(T) + \varepsilon]
\leq \delta(\varepsilon)$, where $\delta$ is given by
Eq.~\eqref{eq:OU_bound}.
This places our protocol in a
\emph{model-certified} regime---stronger than a fully trusted device
but weaker than semi-device-independent protocols that certify randomness
from dimension witnesses alone~\cite{Li2011_SemiDI,Bowles2014_DimensionWitness,Lunghi2015_SemiDI}.
Two features are specific to our approach: (i)~certification and
bit generation occur in the same measurement cycle---no separate test
rounds are needed; (ii)~the conservative-$\eta$ estimator suppresses
overcertification, with the optimal ratio $\etaa/\etatrue$ given
approximately by Eq.~\eqref{eq:rstar}.
\section{Coherence-certified photon sources for quantum networks}
\label{sec:qnet}
The second application serves as a
certified photon source for quantum networks.
When a photon is accepted
at high $\Sth$, the network node receives not only the photon but also
a classical side-channel message from the FPGA containing the
equatorial angle
$\varphi = \arctan(\langle\sigma_y\rangle_c /
\langle\sigma_x\rangle_c)$ and the coherence $S(T)$.
\subsection{Phase-aware feedforward}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_phase_distribution.png}
\caption{Distribution of the equatorial phase angle
$\varphi$ among $n = 1562$ trajectories accepted
at $\Sth = 0.7$. Feedforward correction
$R_z(-\varphi)$ removes this per-trajectory phase.}
\label{fig:phase}
\end{figure}
The equatorial angle $\varphi$ differs for each trajectory because the
interplay between the deterministic Rabi drive and the stochastic
measurement backaction produces a different phase evolution on each run
(Fig.~\ref{fig:phase}). Since the FPGA already knows $\varphi$, it
applies a compensating $R_z(-\varphi)$ rotation before the photon
enters the network.
\subsection{Quality-of-service routing}
The tunable threshold $\Sth$ allows a single physical device to serve
multiple protocols by adjusting $\Sth$ in software.
\subsection{Multiplexed operation}
For $N = 10$ modules
at $\eta_h = 10\%$ ($\Sth \approx 0.9$) and $T = 10\;\mu$s,
$R_\mathrm{eff} = N \eta_h / T \sim 10^5$~certified photons/s---competitive
with existing heralded single-photon sources~\cite{MeyerScott2020}.
%% =====================================================================
%% SECTION VI — OPTION 2: qubit–photon Bell pair, NOT π-swap
%% =====================================================================
\section{Toward certified entanglement distribution}
\label{sec:entanglement}
Consider two remote nodes (Fig.~\ref{fig:entanglement}), each running
the coherence-gated router independently under four idealizing
assumptions (A1--A4; see Supplemental Material for details).
We emphasize that this section is a forward-looking application
sketch rather than a demonstrated networking protocol: the analysis
isolates how coherence certification constrains the achievable
\emph{matter--matter entanglement fidelity} after a downstream
Bell-state measurement (BSM), but does not model the full photonic
transduction stack (finite gate fidelity, BSM efficiency $\leq 1/2$,
photon indistinguishability) that would determine the final
entanglement rate and fidelity in practice. Relaxing A1--A4
introduces additional loss factors that degrade the bounds; the
product structure of Eq.~\eqref{eq:Fent} is preserved for
independent multiplicative imperfections (e.g., finite $\Fgate$),
though correlated errors such as photon distinguishability in the
BSM may modify the functional form.
\begin{figure}[t]
\centering
\begin{tikzpicture}[x=0.8cm, y=0.8cm, >=Latex,
box/.style={draw, thick, rounded corners=2pt, minimum height=0.6cm,
inner sep=3pt, font=\footnotesize},
circ/.style={draw, thick, circle, minimum size=0.5cm,
font=\footnotesize}]
\node[box, fill=blue!10, minimum width=1.8cm] (NA) at (-4,0) {Node A};
\node[font=\scriptsize] at (-4,-0.7) {$S_A \geq \Sth$};
\node[box, fill=red!10, minimum width=1.8cm] (NB) at (4,0) {Node B};
\node[font=\scriptsize] at (4,-0.7) {$S_B \geq \Sth$};
\node[box, fill=green!10, minimum width=1.5cm] (BSM) at (0,0) {BSM};
\draw[->, thick, blue!60] (NA) -- node[above, font=\tiny] {$\gamma_A$} (BSM);
\draw[->, thick, red!60] (NB) -- node[above, font=\tiny] {$\gamma_B$} (BSM);
\draw[->, dashed] (NA) -- ++(0,-1.5) -| node[below, font=\tiny, pos=0.25]
{$S_A, \varphi_A$} (BSM);
\draw[->, dashed] (NB) -- ++(0,-1.5) -| node[below, font=\tiny, pos=0.25]
{$S_B, \varphi_B$} (BSM);
\end{tikzpicture}
\caption{Two-node entanglement distribution protocol. Each node
performs a controlled qubit--cavity interaction that produces a
qubit--photon Bell pair; the photon is sent to the central BSM
station while the matter qubit is retained. A successful BSM
projects the two remote matter qubits into an entangled state.}
\label{fig:entanglement}
\end{figure}
After feedforward correction $R_z(-\varphi_i)$, node~$i$ performs a
controlled qubit--cavity interaction (e.g., conditional photon
emission~\cite{Kurpiers2018} or a transmon--resonator
iSWAP~\cite{Zhong2021}) that maps the data qubit's state into a
qubit--photon Bell pair:
\begin{equation}
\alpha\ket{0}_q + \beta\ket{1}_q \;\longrightarrow\;
\alpha\ket{0}_q\ket{0}_\gamma + \beta\ket{1}_q\ket{1}_\gamma.
\label{eq:bell_pair}
\end{equation}
Crucially, the matter qubit \emph{retains} its half of the
entanglement; the photon $\gamma$ is emitted into the transmission
line.
To see how coherence certification controls the Bell-pair quality,
consider the idealized case: after phase correction, the conditional
state at the moment of emission is
$\rho_i = \frac{1}{2}\bigl(\mathbb{I} + S_i\,\sigma_x
+ z_i\,\sigma_z\bigr)$.
For a trajectory accepted at threshold $\Sth$, the coherence
$S_i \geq \Sth$ dominates the Bloch vector (since
$|z_i| \leq \sqrt{1-S_i^2}$ is geometrically suppressed).
The fidelity of the resulting Bell pair
[Eq.~\eqref{eq:bell_pair}] with the ideal maximally entangled state
$\ket{\Phi^+} = (\ket{00}+\ket{11})/\sqrt{2}$ is
\begin{equation}
F_i = \bra{\Phi^+}
\bigl(\rho_i \otimes \ket{0}\!\bra{0}\bigr)_{\!\mathrm{ent.\,map}}
\ket{\Phi^+}
= \frac{1 + S_i}{2}
\geq \frac{1 + \Sth}{2},
\label{eq:Fi}
\end{equation}
where the second equality follows from the overlap of $\rho_i$ with
the $\ket{+}$ state along the equatorial direction selected by the
feedforward correction.
For an ideal entangling gate ($\Fgate = 1$), the
input product-state fidelity available to the downstream BSM is
\begin{equation}
F_\mathrm{input} = F_A \cdot F_B
\geq \left(\frac{1 + \Sth}{2}\right)^2.
\label{eq:Fent}
\end{equation}
A successful BSM on the two photons projects the retained matter
qubits at nodes~A and~B into an entangled state. We denote the
fidelity of this matter--matter state with the target Bell state as
$\Fmm$; under ideal BSM (assumption~A3),
$\Fmm \geq F_\mathrm{input}$.
For imperfect entangling gates with
$\Fgate < 1$, the bound acquires a multiplicative prefactor:
$\Fmm \geq \Fgate^2 \cdot [(1+\Sth)/2]^2$; the
coherence-certification contribution factorizes cleanly from the
gate-engineering parameter. Current circuit-QED implementations
achieve $\Fgate \approx 0.97$~\cite{Kurpiers2018,Zhong2021},
degrading the bound by ${\sim}6\%$.
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_entanglement_fidelity.png}
\caption{Input product-state quality (ideal $\Fgate = 1$).
(a)~Single-node Bell-pair fidelity distribution at $\Sth = 0.7$.
(b)~$F_\mathrm{input}$ vs.\ $\Sth$; empirical (circles)
above the analytical bound (solid).}
\label{fig:entanglement_fidelity}
\end{figure}
\begin{table}[t]
\centering
\caption{Input product-state fidelity bound under idealized BSM
(assuming $\Fgate = 1$; see text for finite-$\Fgate$ correction).
$R_\mathrm{2\text{-}node}$ denotes the ideal two-node coincidence
rate before BSM efficiency ($\leq 1/2$ for linear optics) and
channel losses.}
\label{tab:entanglement}
\begin{tabular}{ccccc}
\toprule
$\Sth$ & $F_i \geq$ & $F_\mathrm{input} \geq$ & $\eta_h$ &
$R_\mathrm{2\text{-}node}$ (ideal) \\
\midrule
0.50 & 0.750 & 0.563 & $\sim 80\%$ & $\sim 6 \times 10^5$/s \\
0.70 & 0.850 & 0.722 & $\sim 50\%$ & $\sim 3 \times 10^5$/s \\
0.90 & 0.950 & 0.903 & $\sim 7\%$ & $\sim 5 \times 10^3$/s \\
0.95 & 0.975 & 0.951 & $\sim 2\%$ & $\sim 4 \times 10^2$/s \\
\bottomrule
\end{tabular}
\end{table}
With the composable security framework of Sec.~\ref{sec:pointwise},
these bounds acquire explicit failure probabilities:
$\Fmm \geq [(1+\Sth-\varepsilon)/2]^2$ with probability
$\geq (1-\delta(\varepsilon))^2$ (Corollary~2).
\section{Certification integrity: the estimator as security primitive}
\label{sec:certification}
The applications developed above depend critically on the faithfulness
of the coherence estimate. An estimator that systematically
overestimates $S(T)$ compromises the QRNG min-entropy bound,
degrades Bell-pair fidelity for networking, and weakens the
matter--matter entanglement fidelity $\Fmm$ for entanglement
distribution.
Conversely, an estimator
that underestimates $S(T)$ is conservative: it rejects good
trajectories but never falsely certifies.
\subsection{Purity monotonicity}
\medskip
\noindent\textbf{Proposition 1} (Purity monotonicity).
\textit{For a qubit monitored at efficiency $\eta$ via homodyne
detection, the expected conditional purity satisfies
$\partial\,\mathbb{E}[\mathcal{P}]/\partial\eta > 0$.}
\medskip
\noindent\textit{Proof.}
From It\=o calculus applied to $\mathcal{P} = \mathrm{Tr}(\rho_c^2)$
[Eq.~\eqref{eq:purity}] under the
SME [Eq.~\eqref{eq:SME}], the $\eta$-dependent contribution to
$d\mathbb{E}[\mathcal{P}]/dt$ is
\begin{equation}
\left.\frac{\partial}{\partial\eta}
\frac{d\mathbb{E}[\mathcal{P}]}{dt}\right|_\eta
= 4\sum_{k=x,z} \gamma_k\,
\mathbb{E}\!\left[\mathrm{Var}_c(\sigma_k)^2\right],
\label{eq:purity_mono}
\end{equation}
where $\mathrm{Var}_c(\sigma_k) = 1 - \langle\sigma_k\rangle_c^2$.
Since $\mathrm{Var}_c(\sigma_k)^2 \geq 0$ with equality only
for an eigenstate, the right-hand side is strictly positive,
establishing that expected purity increases
monotonically with~$\eta$~\cite{Jacobs2014_Book}. \hfill$\square$
\subsection{The geometric loophole: from purity to coherence}
\label{sec:geometric_loophole}
Proposition~1 concerns \emph{purity}
$\mathcal{P} = (1+|\mathbf{r}|^2)/2$, not coherence
$S = \sqrt{|\mathbf{r}|^2 - z^2}$.
A shorter Bloch vector ($|\hat{\mathbf{r}}| < |\mathbf{r}|$) can
point closer to the equatorial plane (smaller $|\hat{z}|/|\hat{\mathbf{r}}|$),
yielding $\hat{S} > S$ even though
$\hat{\mathcal{P}} < \mathcal{P}$. We call this the
\emph{geometric loophole}.
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_geometric_mechanism.png}
\caption{Geometric mechanism of overcertification from $10^6$
trajectories.
(a)~Polar angle distribution: the estimated
state (red) is slightly more equatorial than the true state (blue).
(b)~Exceedance probability for purity (blue) and coherence (red)
differences. At threshold $\tau = 0$, coherence
overcertification ($3.6\%$) exceeds purity overcertification
($0.08\%$) by a factor of~$45$.}
\label{fig:geometric}
\end{figure}
Figure~\ref{fig:geometric} quantifies this loophole from $10^6$
Bloch-vector trajectories. The mechanism is traced to the
$\eta$-independent Rabi drive $\Ox\sigma_x$, which pushes the
estimated state equatorially just as hard as the true state, while the
weaker ($\propto\!\sqrt{\etaa}$) $\sigma_z$ backaction provides less
polar localization. On $96.4\%$ of trajectories the Bloch-vector
length deficit dominates; on $3.6\%$, the angular shift wins.
\subsection{Bias structure across estimators}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_bias_repairs.png}
\caption{(a)~Mean coherence bias for each estimator.
(b)~Mean PSD repair events per trajectory.}
\label{fig:bias_repairs}
\end{figure}
Figure~\ref{fig:bias_repairs} quantifies the bias structure across all
estimator configurations. The conservative Direct SME ($\etaa = 0.35$)
accepts a modest negative bias of $-0.13$ and reduces PSD repairs to
${\lesssim}0.1$ per trajectory. Both EKF configurations show a large
conservative bias of $\approx -0.65$.
\section{Pointwise overcertification bound}
\label{sec:pointwise}
Having established the average-case argument (Proposition~1) and
identified the geometric loophole (Sec.~\ref{sec:geometric_loophole}),
we now develop two complementary pointwise bounds on
overcertification.
\subsection{The error process}
Both the true state $\mathbf{r}(t)$ and the estimate
$\hat{\mathbf{r}}(t)$ evolve under the SME in Bloch form,
driven by the same measurement record but with efficiencies $\etatrue$
and $\etaa$. The measurement backaction on Bloch
component $r_j$ from channel $k$ is
\begin{equation}
\delta r_j = 2\sqrt{\eta\gamma_k}\,
(\delta_{jk} - r_j r_k)\,dW_k,
\label{eq:bloch_backaction}
\end{equation}
following from
$\mathrm{Tr}[\sigma_j\,\mathcal{H}[\sigma_k]\rho]
= 2(\delta_{jk} - r_j r_k)$.
Define the squared-coherence error
\begin{equation}
E(t) \equiv \hat{S}^2(t) - S^2(t)
= (\hat{x}^2 + \hat{y}^2) - (x^2 + y^2).
\label{eq:E_def}
\end{equation}
By It\=o's formula, $E(t)$ is a continuous semimartingale:
\begin{equation}
dE = b(X)\,dt + \beta_x(X)\,dW^{(x)} + \beta_z(X)\,dW^{(z)},
\label{eq:E_sde}
\end{equation}
where $X = (\mathbf{r}, \hat{\mathbf{r}}) \in K \subset \mathbb{R}^6$
with $K = \{|\mathbf{r}| \leq 1,\; |\hat{\mathbf{r}}| \leq 1\}$.
The drift decomposes as
\begin{align}
b(X) &= \underbrace{-2R_x(\hat{x}^2 - x^2) - 2R_y(\hat{y}^2 - y^2)
+ 2\Ox(\hat{y}\hat{z} - yz)}_{\text{deterministic (restoring $+$ coupling)}}
\nonumber\\
&\quad + \underbrace{4(\etaa - \etatrue)\left[\gx(1-x^2)^2
+ \gz S^2 z^2\right]
+ \ldots\;}_{\text{It\=o correction (forcing, $< 0$)}},
\label{eq:drift_decomp}
\end{align}
where $R_x = \grel/2 + 2\gdeph + 2\gz$ and
$R_y = \grel/2 + 2\gdeph + 2\gx + 2\gz$.
\subsection{Ornstein--Uhlenbeck comparison (operational bound)}
\label{sec:OU_bound}
The coupled measurement-and-drive dynamics generate a noisy but
approximately restoring evolution for the error process, which motivates
an Ornstein--Uhlenbeck (hereafter OU) approximation:
$dE \approx -\mu(E - \bar{E})\,dt + \sigma_E\,d\tilde{W}$,
with steady-state mean $\bar{E} = \nu/\mu < 0$.
We extract the OU parameters from
$10^6$ trajectories by conditional drift fitting
(bin by $E$, compute $\langle dE/dt \mid E \rangle$, fit the
linear relation).
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_pointwise_E.png}
\caption{OU characterization from $10^6$ trajectories.
(a)~Distribution of $E(T)$; the OU Gaussian (red) fits well.
(b)~Conditional drift $\langle dE/dt \mid E \rangle$ is linear
in $E$ (blue dots), with OU fit (red) giving $\mu = 1.20$,
$\bar{E} = -0.157$.}
\label{fig:pointwise_E}
\end{figure}
Figure~\ref{fig:pointwise_E} validates the OU model.
The extracted parameters are:
\begin{equation}
\mu = 1.20, \quad \bar{E} = -0.157, \quad
\sigma_E = 0.142, \quad \nu = -0.188.
\label{eq:OU_params}
\end{equation}
The OU stationary distribution gives:
\begin{equation}
\Pr[\hat{S}(T) > S_\mathrm{true}(T)]
\leq \tfrac{1}{2}\,\mathrm{erfc}\!\left(
\frac{|\bar{E}|}{\sqrt{2\sigma_E^2/\mu}}\right)
= 4.5\%.
\label{eq:OU_bound}
\end{equation}
The empirical overcertification rate is $3.6\%$, confirming that the
OU bound is conservative (Table~\ref{tab:overcert}).
\begin{table}[t]
\centering
\caption{Overcertification rates from $10^6$ trajectories.}
\label{tab:overcert}
\begin{tabular}{lcc}
\toprule
Quantity & OU bound & Empirical \\
\midrule
$\Pr[\hat{S} > S_\mathrm{true}]$ & $4.52\%$ & $3.62\%$ \\
$\Pr[\hat{S} > S + 0.1]$ & $0.71\%$ & $0.23\%$ \\
$\Pr[\hat{S} > S + 0.2]$ & $0.023\%$ & $< 0.01\%$ \\
\midrule
$\Pr[\hat{\mathcal{P}} > \mathcal{P}]$ (purity) & --- & $0.08\%$ \\
Geometric amplification & --- & $45\times$ \\
\bottomrule
\end{tabular}
\end{table}
\subsection{Exponential supermartingale (structural bound)}
A fully rigorous bound follows from an exponential supermartingale.
\medskip
\noindent\textbf{Theorem 2} (Exponential overcertification bound).
\textit{Define}
\begin{equation}
c_\alpha = \sup_{X \in K}\!\left[
\alpha\,b(X) + \tfrac{\alpha^2}{2}\bigl(\beta_x(X)^2
+ \beta_z(X)^2\bigr)\right].
\label{eq:c_alpha}
\end{equation}
\textit{Then for every $\varepsilon \geq 0$ and $T > 0$,}
\begin{equation}
\Pr[\hat{S}_T \geq S_T + \varepsilon]
\leq \inf_{\alpha > 0}
\exp\!\bigl(-\alpha\varepsilon^2 + T c_\alpha\bigr).
\label{eq:sm_bound}
\end{equation}
\medskip
\noindent\textit{Proof.}
Define $M_t^{(\alpha)} = \exp\!\bigl(\alpha E_t -
\int_0^t \Lambda_\alpha(X_s)\,ds\bigr)$ with
$\Lambda_\alpha(X) = \alpha\,b(X) +
\frac{\alpha^2}{2}(\beta_x^2 + \beta_z^2)$.
By It\=o's formula, $M^{(\alpha)}$ is the Dol\'eans exponential
of a continuous local martingale. Since $\beta_x, \beta_z$ are
bounded on $K$, Novikov's condition holds and $M^{(\alpha)}$ is a
true martingale.
At the stopping time $\tau_a = \inf\{t \leq T : E_t \geq a\}$,
$M_{\tau_a} \geq e^{\alpha a - T c_\alpha}$, so
$\Pr(\tau_a \leq T) \leq e^{-\alpha a + T c_\alpha}$.
Setting $a = \varepsilon^2$ (since $\hat{S} \geq S + \varepsilon
\Rightarrow E \geq \varepsilon^2$) and optimizing over $\alpha$
gives the result. \hfill$\square$
\subsection{The gap between operational and rigorous bounds}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_tail_bounds.png}
\caption{Overcertification tail bounds.
Red: empirical $\Pr[\hat{S} \geq S + \varepsilon]$.
Blue dashed: OU bound [Eq.~\eqref{eq:OU_bound}], conservative at
all $\varepsilon$. Green dotted: supermartingale bound
[Eq.~\eqref{eq:sm_bound}] using $c_\alpha = \sup_K \Lambda_\alpha$,
numerically vacuous because the drift $b(X)$ can be positive at
states the dynamics rarely visits.}
\label{fig:tail_bounds}
\end{figure}
Figure~\ref{fig:tail_bounds} compares the three bounds. The OU bound
tracks the empirical tail with a $1.25\times$ safety factor. The
supermartingale bound sits at $\geq 1$ everywhere: the
supremum $c_\alpha$ is too large because
$b(X)$ attains positive values ($\max b \approx 0.74$) at states
the dynamics rarely visits.
The theorem is mathematically rigorous; the gap is computational,
concentrated in $c_\alpha$---the supremum of a degree-4 polynomial
over a semialgebraic set. Two approaches can tighten it:
(i)~restricting $K$ to the forward-invariant reachable set; or
(ii)~sum-of-squares (SOS) polynomial optimization~\cite{Parrilo2003}.
\subsection{Composable security statement}
Regardless of which bound is used for the failure probability
$\delta(\varepsilon)$, the composable structure is the same.
\medskip
\noindent\textbf{Corollary 1} (Composable min-entropy).
\textit{The min-entropy of accepted bits satisfies}
\begin{equation}
H_\infty \geq -\log_2\!\left(
\frac{1 + \sqrt{1 - (\Sth - \varepsilon)^2}}{2}\right)
\label{eq:Hmin_composable}
\end{equation}
\textit{with probability $\geq 1 - \delta(\varepsilon)$.}
\medskip
\noindent\textbf{Corollary 2} (Composable entanglement fidelity).
\textit{For two-node entanglement distribution under assumptions
A1--A4, the matter--matter entanglement fidelity after BSM satisfies}
\begin{equation}
\Fmm \geq \left(
\frac{1 + \Sth - \varepsilon}{2}\right)^{\!2}
\;\;\text{w.p.}\; \geq (1 - \delta(\varepsilon))^2.
\label{eq:Fent_composable}
\end{equation}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_composable_security.png}
\caption{Composable security.
(a)~Min-entropy $H_\infty$ vs.\ security margin $\varepsilon$ for
various $\Sth$.
(b)~OU failure probability $\delta(\varepsilon)$.}
\label{fig:composable}
\end{figure}
\begin{table}[t]
\centering
\caption{Composable security operating points (OU bound).}
\label{tab:composable}
\begin{tabular}{ccccc}
\toprule
$\Sth$ & $\varepsilon$ & $\delta(\varepsilon)$ &
$H_\infty$ (bits) & $\Fmm$ \\
\midrule
0.70 & 0.05 & $3.6\%$ & 0.18 & 0.68 \\
0.70 & 0.10 & $0.7\%$ & 0.15 & 0.64 \\
0.90 & 0.05 & $3.6\%$ & 0.39 & 0.86 \\
0.90 & 0.10 & $0.7\%$ & 0.32 & 0.81 \\
0.95 & 0.05 & $3.6\%$ & 0.48 & 0.90 \\
\bottomrule
\end{tabular}
\end{table}
At $\Sth = 0.9$ and $\varepsilon = 0.05$, the protocol certifies
$H_\infty \geq 0.39$ bits per accepted photon with $96.4\%$
confidence (Table~\ref{tab:composable}).
\section{Estimator hierarchy and numerical benchmarking}
\label{sec:estimators}
To evaluate the impact of estimator choice on certification quality, we
implement four estimator classes spanning seven configurations
(Table~\ref{tab:estimators}), each receiving the same QuTiP-generated
measurement records for fair comparison.
\begin{table}[b]
\centering
\caption{Estimator configurations benchmarked.}
\label{tab:estimators}
\begin{tabular}{lcl}
\toprule
Label & Dynamics & $\etaa$ \\
\midrule
QuTiP SME & Full (reference) & 0.7 \\
Direct SME & Full, PSD repair & 0.7, 0.35, 0.3 \\
Zakai & Linear, unnormalized & 0.7 \\
EKF & Linear, Bloch-ball projection & 0.7, 1.0 \\
\bottomrule
\end{tabular}
\end{table}
\subsection{Results: estimator hierarchy}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_performance_summary.png}
\caption{Estimator performance across 3000 trajectories.
(a)~Decision mismatch rate at $\Sth = 0.7$.
(b)~Mean coherence estimation error.}
\label{fig:performance}
\end{figure}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_single_trajectory.png}
\caption{Single-trajectory comparison.
(a)~Direct SME ($\etaa = 0.7$) vs.\ QuTiP.
(b)~Direct SME ($\etaa = 0.35$) vs.\ QuTiP.
(c)~Coherence $S(t)$ from all estimator classes.}
\label{fig:trajectory}
\end{figure}
\begin{figure}[t]
\centering
\includegraphics[width=\columnwidth]{fig_threshold_sweep.png}
\caption{Threshold sweep across $\Sth \in [0.05, 0.95]$.
(a)~Heralding efficiency vs.\ $\Sth$.
(b)~Conditional routing probability vs.\ $\Sth$.}
\label{fig:threshold}
\end{figure}
Figures~\ref{fig:performance}--\ref{fig:threshold} summarize the
estimator hierarchy. Each estimator class exhibits a distinct failure
mode:
\begin{itemize}
\item \textbf{Direct SME (matched $\etaa = 0.7$):}
Low-bias and low-mismatch, but ${\sim}7$ PSD violations per
trajectory. Numerically unsafe.
\item \textbf{Direct SME (conservative $\etaa = 0.35$, $0.3$):}
Negative bias ($-0.13$ to $-0.16$), ${\lesssim}0.1$ PSD repairs.
Safe for all downstream applications; preferred for FPGA deployment.
\item \textbf{Zakai:} Low bias and mismatch, zero PSD repairs,
but weight drift at long times.
\item \textbf{EKF:} ${\sim}-0.65$ coherence bias; unsuitable.
\end{itemize}
The conservative Direct SME ($\etaa = 0.35$) emerges as the
recommended solution: numerically stable, safely biased, and
hardware-efficient at ${\sim}300$ operations per step.
\section{Optimal assumed efficiency}
\label{sec:analytical}
Both the EKF and the direct SME benefit empirically from
$\etaa < \etatrue$. A heuristic balance between measurement-induced
estimation error accumulation and relaxation suggests the scaling law
\begin{equation}
\frac{\etaa^*}{\etatrue} = \frac{1}{1 + \xi}, \qquad
\xi = \frac{4\gamma\,S_\mathrm{typ}^2}{\Gb},
\label{eq:rstar}
\end{equation}
where $\gamma = \gx + \gz$ is the total measurement rate,
$S_\mathrm{typ} \approx
\sqrt{2\eta\gamma/[3(\eta\gamma+\gamma_\mathrm{dec})]}$, and
$\Gb = (\Gamma_x + \Gamma_y)/2$.
For the parameters of Table~\ref{tab:params}, the formula with
$S_\mathrm{typ} \approx 0.76$ gives $\xi \approx 1.44$, while using
the empirical steady-state mean $\langle S \rangle \approx 0.67$
gives $\xi \approx 1.10$ and $r^* \approx 0.48$. The latter tracks
the empirical optimum $r^* \approx 0.52$ within sampling error.
Across the six parameter sets in the Supplemental Material validation
sweep, the scaling law predicts $r^*$ with RMSE $= 0.067$, with
larger errors (up to $|\Delta r| = 0.11$) in the weak-measurement
and fast-Rabi regimes where the underlying balance assumption is
less accurate. We therefore present Eq.~\eqref{eq:rstar} as a useful
engineering estimate rather than a universally tight prediction.
\section{Discussion}
\label{sec:discussion}
\subsection{Hardware scaling: the role of $T_1$}
State-of-the-art transmon qubits with
$T_1 \sim 300$--$1000\;\mu$s~\cite{Wang2022_Transmon,Place2021_Tantalum,Somoroff2023,Tuokkola2025}
would push the measurement-to-decoherence ratio to ${\sim}50\times$,
where $S_\mathrm{typ} \to \sqrt{2/3} \approx 0.82$.
\subsection{Experimental feasibility}
The individual ingredients have been demonstrated in current
circuit-QED hardware: two-tone dispersive monitoring of $\sigma_x$
and $\sigma_z$ on a single transmon~\cite{HacohenGourgy2016_Simultaneous},
real-time FPGA-based Bayesian state
estimation~\cite{Vijay2012_Stabilizing,Ficheux2018}, tunable
couplers for conditional photon release~\cite{Chen2014_TunableCoupler},
and controlled qubit--cavity entangling interactions for
qubit--photon Bell-pair generation~\cite{Kurpiers2018,Zhong2021}.
Integrating all four in a single device
has not yet been demonstrated and represents the principal
experimental challenge. The key hurdle is achieving $\eta \gtrsim 0.5$
on both measurement channels simultaneously while preserving the
coherence budget required for $\Sth \geq 0.7$ at realistic
$T \sim \mu$s decision times. The conservative Direct SME requires
${\sim}300$ multiply-accumulate operations per update, fitting
within the per-step budget at practical FPGA update rates of
${\sim}100$--$200$\,ns.
\subsection{Trajectory-conditioned quantum devices}
Coherence-gated routing is the first instance of a broader class of
\emph{trajectory-conditioned quantum devices}. The methodology
developed here---estimator benchmarking, certification integrity
analysis, the OU comparison for pointwise bounds, and the
supermartingale structural result---applies directly to devices
conditioned on other trajectory features such as entanglement measures,
purity, or quantum discord.
\section{Conclusions}
\label{sec:conclusions}
We have introduced coherence-gated routing: a single-photon routing
primitive conditioned on the real-time quantum coherence of a driven
qubit. The measurement basis, coherence basis, and Hamiltonian drive
axis form a self-consistent triad natural for circuit-QED hardware.
The central physical phenomenon---that individual quantum trajectories
retain large coherence while the ensemble average collapses to near
zero---was demonstrated directly (Fig.~\ref{fig:uncond_vs_cond}) and
provides the foundation for all subsequent results.
The coherence certification enables two primary applications:
(i)~a coherence-certified QRNG with min-entropy
bound $H_\infty \geq -\log_2\!\bigl(\frac{1+\sqrt{1-\Sth^2}}{2}\bigr)$,
and (ii)~a phase-tracked photon source for quantum networks.
Independent coherence certification at two nodes constrains the
matter--matter entanglement fidelity achievable via BSM to
$\Fmm \geq [(1+\Sth)/2]^2$
under idealized assumptions.
Through systematic estimator benchmarking, the conservative Direct SME
($\etaa < \etatrue$) emerged as the recommended solution: numerically
stable, safely biased, and hardware-efficient. Proposition~1 proves
that the conservative estimator has lower expected purity.
We developed two complementary pointwise overcertification bounds.
The Ornstein--Uhlenbeck comparison provides an operational bound of
$4.5\%$ overcertification probability, validated against an empirical
rate of $3.6\%$ from $10^6$ trajectories, enabling composable
security statements (Corollaries~1 and~2). The exponential
supermartingale (Theorem~2) establishes the structural existence of
an exponential tail bound, with the computational gap concentrated
in a single polynomial optimization over the reachable state space.
We identified the geometric mechanism underlying the $45\times$
amplification from purity to coherence overcertification: the
$\eta$-independent Rabi drive makes the estimated state slightly
more equatorial, partially compensating its shorter Bloch vector.
Closing the gap between the OU and supermartingale
bounds---via reachable-set restriction or sum-of-squares
optimization over the forward-invariant reachable set---is the
remaining step toward a fully rigorous composable security
statement; the OU-based bound already provides an operational
guarantee sufficient for near-term implementations. The broader
connection between numerical regularization and application-level
security applies to the class of trajectory-conditioned quantum
devices introduced here.
\begin{acknowledgments}
P.S.\ acknowledges fruitful discussions with Dr.\ Vasilii Vadimov and Dr.\ Ujjwal Pratap.
\end{acknowledgments}
\section*{Data and code availability}
The simulation code and data supporting the findings of this work
are available from the corresponding author upon reasonable request.
\section*{Supplemental Material}
Supplemental Material accompanies this paper, providing coherence
score distributions, heralding scatter plots, confusion matrices,
precision--recall curves, $r^*$ validation sweep panels, the universal
$r^*$ vs.\ $\xi$ curve, the min-entropy certification table,
the Zakai and Direct SME update equations, and the idealized
entanglement distribution assumptions (A1--A4).
\bibliography{bibliography}
\end{document}