---
title: Uncertainty Relations in Unitary Implementation
url: https://www.emergentmind.com/topics/desired-relations
type: topic
---

# Uncertainty Relations in Unitary Implementation

Searching arXiv for the target paper and closely related context papers.
“Uncertainty relations in implementation of unitary operations” studies the physical realization of a target unitary transformation on a quantum system when the transformation is implemented through interaction with an external apparatus rather than postulated as an abstract gate. In this formulation, the system $S$ and apparatus $E$ undergo closed joint unitary dynamics generated by a time-independent total Hamiltonian, while the reduced dynamics on $S$ approximates a desired unitary $U_S$. The central result is a set of uncertainty-type trade-off relations: if $U_S$ does not commute with the system Hamiltonian $H_S$, then high-accuracy implementation requires large initial energy fluctuation in the apparatus, and, more strongly, a large quantum-coherent component of that fluctuation [1709.06920].

## 1. Physical setting and operational definition

The framework considers a system $S$ with Hilbert space $\mathcal H_S$ and Hamiltonian $H_S$, together with an external apparatus $E$ with Hilbert space $\mathcal H_E$ and Hamiltonian $H_E$. The apparatus starts in a state $\sigma_E$, which may be pure or mixed. The intended operation on $S$ is a fixed unitary $U_S$, while the actual implementation is induced by closed evolution of $S\otimes E$ under
$$
H = H_S + H_{SE} + H_E,
$$
so that at time $\tau$ the joint dynamics is
$$
\Lambda_{SE}(\cdot)=e^{-iH\tau}(\cdot)e^{iH\tau},
$$
and the reduced map on $S$ is
$$
\Lambda_S(\rho_S)=\operatorname{Tr}_E\!\left[e^{-iH\tau}(\rho_S\otimes \sigma_E)e^{iH\tau}\right].
$$
This reduced map is CPTP, whereas the composite $S+E$ dynamics is closed and unitary [1709.06920].

The main results assume energy conservation in the sense
$$
[H_S+H_E,e^{-iH\tau}] = 0.
$$
A generalized setting allows weak violation of this condition, measured by
$$
\chi := \|[H_S+H_E,e^{-iH\tau}]\|,
$$
which weakens but does not eliminate the resulting bounds as long as $\chi$ remains smaller than the energy change implied by the target [1709.06920].

Operationally, an implementation is specified by
$$
I := (H_E, H_E, \sigma_E, H_{SE}, \tau).
$$
A “good” implementation is one for which $\Lambda_S$ is close to the target unitary channel generated by $U_S$. This setup makes the resource question sharply physical: a unitary gate is not treated as an abstract primitive, but as a transformation that must emerge from a controller or apparatus with its own Hamiltonian and quantum state [1709.06920].

## 2. Accuracy measures and energy-fluctuation quantifiers

The implementation error is defined through a worst-case state approximation metric based on a Bures-type distance. The paper defines
$$
L_B(\rho_1,\rho_2):=[1-F(\rho_1,\rho_2)]^{1/2},
$$
with
$$
F(\rho_1,\rho_2):=\operatorname{Tr}\!\left[\sqrt{\sqrt{\rho_1}\rho_2\sqrt{\rho_1}}\right],
$$
and then
$$
\delta_U := \left[\max_{\rho_S} L_B(\Lambda_S(\rho_S),U_S\rho_S U_S^\dagger)\right]^{1/2}.
$$
Notably, this definition inserts an additional square root, so $\delta_U^2$ is the maximal Bures-type distance appearing in the paper’s convention [1709.06920].

A second, entanglement-sensitive accuracy measure is also introduced. It is based on entanglement fidelity and the corresponding entanglement-Bures length:
$$
\delta_{Ue} := \max_{\rho_S} L_e(\Lambda_S,U_S,\rho_S),
$$
where
$$
L_e(\Lambda_S,U_S,\rho_S):=\arccos F_e(\Lambda_S,U_S,\rho_S).
$$
This variant yields stronger constants in the trade-off relations, but uses a different metric [1709.06920].

On the resource side, the first relevant quantity is the total energy standard deviation in the apparatus initial state,
$$
\delta_E := \left[\langle(H_E-\langle H_E\rangle)^2\rangle_{\sigma_E}\right]^{1/2}.
$$
The second is the quantum-coherent component of that fluctuation, defined by a convex-roof construction over pure-state decompositions of $\sigma_E$:
$$
\delta_{EQ}:=\min_{\sigma_E=\sum_j p_j|\phi_j\rangle\langle \phi_j|}
\left[\sum_j p_j\,\operatorname{Var}_{|\phi_j\rangle}(H_E)\right]^{1/2}.
$$
This quantity vanishes for mixtures of energy eigenstates and equals $\delta_E$ for pure apparatus states. The paper identifies $\delta_{EQ}$ as the fluctuation arising from quantum superposition across energy eigenstates and notes that it is equivalent, up to a known constant factor, to the quantum Fisher information for phase shifts generated by $H_E$ [1709.06920].

A further key quantity is the target-dependent incompatibility measure
$$
\|[H_S,U_S]\|.
$$
The paper gives the operational expression
$$
\|[H_S,U_S]\|=\max_{\rho_S}\left|\operatorname{Tr}[H_S(\rho_S-U_S\rho_SU_S^\dagger)]\right|,
$$
so it quantifies the maximum possible change in system energy under the desired unitary. This makes the subsequent bounds explicitly about energy-changing gates, rather than about unitary control in general [1709.06920].

## 3. Main uncertainty relations

Under exact energy conservation, the primary bound relates total apparatus energy fluctuation to implementation accuracy. For sufficiently accurate implementations satisfying
$$
\delta_U < \frac{\|[H_S,U_S]\|}{40\|H_S\|},
$$
the paper proves
$$
\delta_E\,\delta_U \ge \frac{\|[H_S,U_S]\|}{40}.
$$
If $[H_S,U_S]\neq 0$, then arbitrarily accurate implementation forces $\delta_E$ to grow, and perfect implementation with vanishing apparatus energy fluctuation is impossible unless the target commutes with the system Hamiltonian [1709.06920].

The more distinctive result concerns the coherent part of the apparatus fluctuation. For implementations satisfying
$$
\delta_U < \frac{\|[H_S,U_S]\|}{64\|H_S\|},
$$
one has
$$
\delta_{EQ}\,\delta_U \ge \frac{\|[H_S,U_S]\|}{81}.
$$
This excludes high-fidelity implementation by an apparatus that is merely a classical mixture over energy eigenstates. In the paper’s formulation, coherent superposition across many energy levels with broad support is necessary for accurate realization of an energy-changing unitary [1709.06920].

When energy conservation is only approximate, the same structure persists with an effective incompatibility reduced by $\chi$. If
$$
\delta_U < \frac{\|[U_S,H_S]\|-\chi}{128\max\{\|H_S\|,\chi\}},
$$
then
$$
\delta_E\,\delta_U \ge \frac{\|[U_S,H_S]\|-\chi}{40},
\qquad
\delta_{EQ}\,\delta_U \ge \frac{\|[U_S,H_S]\|-\chi}{81}.
$$
Thus, so long as the degree of energy non-conservation is smaller than the energy change implied by the target, the essential resource-pressure remains [1709.06920].

Using the entanglement-fidelity metric yields a stronger constant. If
$$
\delta_{Ue}\le \frac{\|[H_S,U_S]\|}{16\|H_S\|},
$$
then
$$
\delta_{Ue}\,\delta_E \ge \frac{\|[H_S,U_S]\|}{8}.
$$
The paper does not claim the constants $40$, $81$, and $1/8$ are optimal, and explicitly notes that equalities are generally unattainable except in the trivial commuting case $[H_S,U_S]=0$ [1709.06920].

## 4. Derivation strategy and conceptual structure

The derivation combines two inequalities. The first is a variance–distance relation for a Hermitian observable $A$ and states $\sigma_1,\sigma_2$. Writing
$$
\Delta:=|\operatorname{Tr}[A(\sigma_1-\sigma_2)]|,
$$
and
$$
\delta_A(\sigma):=[\operatorname{Tr}[A^2\sigma]-\operatorname{Tr}[A\sigma]^2]^{1/2},
$$
the paper uses
$$
\Delta \le \sqrt{2}\,L_B(\sigma_1,\sigma_2)\big(\delta_A(\sigma_1)+\delta_A(\sigma_2)+\Delta\big).
$$
This bounds expectation-value differences in terms of variance and Bures distance [1709.06920].

The second ingredient is a no-information back-action statement for the apparatus. For orthogonal pure inputs $\rho_{S,\nu_1}$ and $\rho_{S,\nu_2}$, let the corresponding apparatus outputs be $\sigma'_{E,\nu_1}$ and $\sigma'_{E,\nu_2}$. If $\delta_U\le 1/4$, then
$$
L_B(\sigma'_{E,\nu_1},\sigma'_{E,\nu_2})\le 4\delta_U.
$$
Hence, accurate implementation implies that the apparatus marginal is almost independent of which orthogonal input state was used, so the apparatus cannot significantly record which-input information [1709.06920].

The proof then chooses system inputs that maximize and minimize the energy change under $U_S$, namely eigenvectors of $H_S-U_S^\dagger H_S U_S$. Combining the two inequalities with conservation of $H_S+H_E$ links three quantities: the apparatus expectation change in $H_E$ across the two runs, the post-interaction apparatus energy variances, and the commutator norm $\|[H_S,U_S]\|$, up to corrections of order $\delta_U^2\|H_S\|$. Rearrangement yields the uncertainty-type inequalities [1709.06920].

For the $\delta_{EQ}$ bound, the same argument is repeated on each pure component of an ensemble decomposition of $\sigma_E$, followed by minimization over all decompositions. This convex-roof step isolates the genuinely quantum part of the resource, excluding classical mixing as a substitute for coherent energy spread [1709.06920].

The paper explicitly situates these results as an implementation analogue of Wigner–Araki–Yanase limitations and as echoing Ozawa-type measurement-disturbance trade-offs, but with the object of study shifted from measurement to unitary control [1709.06920].

## 5. Scaling, examples, and physical interpretation

The dependence on $\|[H_S,U_S]\|$ makes the bounds sensitive to the energetic noncommutativity of the target operation. If $U_S$ significantly reshuffles energy under an extensive Hamiltonian $H_S$, then $\|[H_S,U_S]\|$ can scale with system size $N$. For fixed target accuracy $\delta_U$, the paper therefore identifies the necessary scaling
$$
\delta_E = \Omega(\|[H_S,U_S]\|/\delta_U),
$$
so the required apparatus energy fluctuation is at least extensive for macroscopic energy-changing unitaries [1709.06920].

A direct asymptotic consequence is that, when $[H_S,U_S]\neq 0$ and $\delta_U\to 0$, both $\delta_E$ and $\delta_{EQ}$ must diverge. This suggests that near-perfect implementation requires asymptotically unbounded apparatus energy fluctuation and coherent bandwidth [1709.06920].

The paper illustrates the bounds with the Jaynes–Cummings model, using
$$
H_S=\epsilon(\sigma_z+1),\qquad H_E=2\epsilon b^\dagger b,\qquad
H_{SE}=\lambda(\sigma_+b+b^\dagger\sigma_-),
$$
and a coherent apparatus state $|\alpha\rangle$ with
$$
\delta_E=2\alpha\epsilon.
$$
In the limit $\lambda\to 0$ with $\lambda\alpha$ fixed, the system evolves under
$$
U_S=e^{-i\tau\epsilon\sigma_z}e^{-i\tau\alpha\lambda\sigma_x}.
$$
For the choice $\alpha\lambda\tau=\pi/2$, one gets $\|[H_S,U_S]\|=2\epsilon$, so the main bound implies
$$
\delta_E \ge \frac{2\epsilon}{40\delta_U}=\frac{\epsilon}{20\delta_U}.
$$
The paper gives the numerical example $\epsilon=10$ and $\delta_U=10^{-2}$, which yields $\delta_E\ge 50$ and therefore $\alpha\ge 2.5$ [1709.06920].

By contrast, if $[H_S,U_S]=0$, for example when $U_S$ is a function of $H_S$, the bounds become vacuous. In that commuting case, zero apparatus energy fluctuation is compatible with perfect implementation [1709.06920].

## 6. Scope, limitations, and significance

The results are model-independent within the stated assumptions. They hold for arbitrary apparatus Hilbert space and Hamiltonian, arbitrary interaction Hamiltonian $H_{SE}$, and arbitrary target $U_S$, provided the closed dynamics is unitary and the total evolution satisfies exact or approximate conservation of $H_S+H_E$ [1709.06920].

Several limitations are explicit. The constants are not optimized; the small-error conditions are sufficient rather than necessary; the bounds do not contain the gate time $\tau$ except indirectly through $U_S$ and $\chi$; and the analysis addresses single-shot, one-step implementations, although the paper states that multi-step and feedback schemes still inherit the same resource-pressure through the net target and energy conservation [1709.06920].

The practical interpretation is direct. For energy-changing gates such as transverse rotations on a Zeeman qubit, low error demands an apparatus with large energy fluctuation. Moreover, the fluctuation must be quantum-coherent rather than merely classical. The paper states that classical mixtures lead to dissipation rather than coherent control, whereas coherent superpositions with broad energy support—such as highly populated coherent fields or other energy-spread states—supply the required resource [1709.06920].

A common misconception is that increasing control precision merely requires stronger classical driving amplitude. The trade-off with $\delta_{EQ}$ shows that, under energy conservation, accuracy is tied not just to apparatus energy variance in the aggregate, but to its coherent component. Another misconception is that the result is restricted to a specific model such as Jaynes–Cummings; in fact, the paper emphasizes universality across apparatus dimension, interaction form, and target operation [1709.06920].

In that sense, the work converts an intuitive control-theoretic idea into a quantitative impossibility statement: when a desired unitary changes system energy, precise coherent implementation is not free. It consumes apparatus-side quantum energy fluctuation as a fundamental resource, and the required amount diverges in the limit of perfect accuracy [1709.06920].

Source: https://www.emergentmind.com/topics/desired-relations