Otto Bound: Efficiency Limits in Quantum Otto Engines

• Otto Bound is a term that defines the efficiency limits of four-stroke Otto cycles, including the canonical adiabatic result and tighter bounds arising from quantum discreteness and nonadiabaticity.
• It encompasses models from harmonic oscillators to interacting spin systems, highlighting the impact of quantum coherence, coupling strengths, and control parameters.
• The bounds guide practical trade-offs between power, efficiency, and fluctuations, shaping design strategies for both finite-time and relativistic quantum engines.

Searching arXiv for recent and foundational papers on Otto efficiency bounds to ground the article. {"query":"Otto bound quantum Otto engine efficiency bound arXiv", "max_results": 10, "sort_by": "relevance"} Searching arXiv for relevant papers on Otto bounds and quantum Otto engine efficiency bounds. to=arxiv_search 玩北京赛车 ฝ่ายขายข่าว code: {"query":"Otto bound quantum Otto engine efficiency bound", "max_results": 10, "sort_by": "relevance"} “Otto bound” denotes a class of upper bounds associated with four-stroke Otto cycles. In the most familiar usage, it is the efficiency limit of an Otto heat engine in the adiabatic, frictionless regime; in later quantum-thermodynamic work, the same expression is also used for tighter efficiency bounds produced by level discreteness, coupling, squeezing, relativistic motion, or nonadiabatic driving, and for related constraints on fluctuation ratios and power–efficiency trade-offs. For the harmonic-oscillator Otto cycle, the canonical adiabatic result is $\eta_{\rm Otto}=1-\omega_c/\omega_h$, while more recent analyses show that this textbook form is neither the only nor always the tightest Otto bound in quantum settings (Kosloff et al., 2016, Park et al., 2019, Watson et al., 28 May 2025).

1. Canonical Otto efficiency and the scope of the term

The standard Otto cycle consists of two isochoric thermalization strokes and two unitary work strokes. In the harmonic-oscillator realization, the working medium alternates between frequencies $\omega_h$ and $\omega_c$, and in the frictionless adiabatic limit the corner energies scale linearly with frequency. This yields the textbook efficiency

$\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$

with the further inequality $\eta_{\rm Otto}\le 1-T_c/T_h$ under the positive-work condition. In the review treatment of the quantum harmonic Otto cycle, this is the central “Otto bound,” and finite-time coherence generation reduces the efficiency below it (Kosloff et al., 2016).

Across the literature, however, the phrase acquires a broader meaning. In sudden-quench many-body cycles it denotes the universal bound $\eta\le 1-c_l/c_h$ for Hamiltonians of the form $H(c)=H_0+cV$. In Markovian finite-time harmonic engines it denotes a power–efficiency trade-off relation rather than a pure efficiency ceiling. This usage reflects a shift from quasistatic thermodynamic limits to model-specific but analytically controlled finite-time or strongly quantum bounds (Watson et al., 28 May 2025, Shim et al., 1 Jun 2026).

Setting	Otto bound	Citation
Adiabatic harmonic oscillator	$\eta_{\rm Otto}=1-\omega_c/\omega_h$	(Kosloff et al., 2016)
Lindblad–Fokker–Planck harmonic engine	$\eta\le 1-\tilde T_c/\tilde T_h$	(Park et al., 2019)
Sudden-quench cycle $H(c)=H_0+cV$	$\omega_h$0	(Watson et al., 28 May 2025)
Markovian power–efficiency trade-off	$\omega_h$1	(Shim et al., 1 Jun 2026)

A persistent misconception is that the Carnot efficiency is always the operative upper bound for a quantum Otto engine. The cited works show that Carnot remains universal, but in many quantum Otto settings a stricter bound exists and is the relevant performance limit.

2. Quantum-mechanical tightening for the harmonic-oscillator Otto engine

A particularly explicit quantum Otto bound was derived for a single harmonic oscillator with Hamiltonian $\omega_h$2, whose isochoric strokes are governed by a Lindblad equation and whose Husimi $\omega_h$3-function obeys an exactly equivalent Fokker–Planck equation. In this representation, the Lindblad dynamics on an isochore maps to a classical Ornstein–Uhlenbeck process with an effective bath temperature

$\omega_h$4

The relevant entropy is the Shannon or Wehrl entropy

$\omega_h$5

Applying stochastic thermodynamics to the Fokker–Planck system gives, for each isochore, the Clausius-type inequality $\omega_h$6, and summing over the cycle yields

$\omega_h$7

For hot and cold parameters $\omega_h$8 and $\omega_h$9,

$\omega_c$0

This bound is $\omega_c$1-dependent, reduces to Carnot in the high-temperature limit, and is strictly tighter whenever quantum level discreteness is resolved by the baths (Park et al., 2019).

The derivation identifies the physical origin of the tightening. When $\omega_c$2 becomes comparable to $\omega_c$3, Boltzmann suppression reduces thermal occupation, the effective temperature satisfies $\omega_c$4, and the second-law inequality for the equivalent Fokker–Planck process becomes stronger than the classical Clausius constraint. The paper introduces the quantumness parameter $\omega_c$5 and finds $\omega_c$6 for all $\omega_c$7, with $\omega_c$8 as $\omega_c$9. In the reversible low-temperature limit, the engine approaches $\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$0, so the tighter bound is not merely formal but asymptotically saturable (Park et al., 2019).

This framework also sharpens the thermodynamic interpretation of quantum discreteness. The point is not that quantum mechanics permits super-Carnot operation, but that quantum occupation constraints can suppress heat uptake, work extraction, and power simultaneously.

3. Interaction-induced Otto bounds in spin working media

In coupled-spin Otto engines, the Otto bound is modified by interaction terms that alter both the spectrum and the thermodynamic bookkeeping. For the isotropic Heisenberg model of two spin-$\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$1 particles in a magnetic field, with Hamiltonian

$\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$2

the exact heat and work expressions imply

$\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$3

in the regime where coupling enhances efficiency over the uncoupled Otto value $\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$4. The hierarchy $\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$5 holds whenever $\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$6 and $\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$7, and the interaction term $\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$8 is interpreted as an interaction-induced heat flow between the reservoirs. The same analysis also shows that apparently anomalous local heat flows are resolved by introducing local effective temperatures for the reduced spin states (Thomas et al., 2010).

A later quasi-static analysis with two effectively two-level systems, each having a degenerate excited state and coupled by isotropic exchange, recovered precisely the same upper bound,

$\eta_{\rm Otto}=1-\frac{\omega_c}{\omega_h},$9

while proving that the bound is independent of the excited-state degeneracies and of the reservoir temperatures, aside from the positive-work requirement $\eta_{\rm Otto}\le 1-T_c/T_h$0. In that model, degeneracy can increase the amount of extracted work without altering the fundamental efficiency bound (Mehta et al., 2017).

The majorization program generalizes this logic from specific spectra to order-theoretic constraints on populations. For a spin-based working medium in which the hot canonical distribution is majorized by the cold one, the majorization relation implies positive work and yields, for the coupled $\eta_{\rm Otto}\le 1-T_c/T_h$1 model,

$\eta_{\rm Otto}\le 1-T_c/T_h$2

This bound reduces to the uncoupled value at $\eta_{\rm Otto}\le 1-T_c/T_h$3 and remains below Carnot whenever $\eta_{\rm Otto}\le 1-T_c/T_h$4, with equality at the limiting coupling. The same framework furnishes sufficient criteria for positive work extraction in isotropically coupled spin systems (Sonkar et al., 2022).

The Dzyaloshinski–Moriya case modifies the exchange scale from $\eta_{\rm Otto}\le 1-T_c/T_h$5 to $\eta_{\rm Otto}\le 1-T_c/T_h$6. In the positive-work regime $\eta_{\rm Otto}\le 1-T_c/T_h$7, the efficiency bound becomes

$\eta_{\rm Otto}\le 1-T_c/T_h$8

The same bound applies for ferro- and antiferromagnetic coupling because the thermodynamic expressions depend only on $\eta_{\rm Otto}\le 1-T_c/T_h$9 (Zhao et al., 2017).

Taken together, these spin models show that the Otto bound is often governed primarily by controllable Hamiltonian parameters—field ratios, coupling strengths, and symmetry structure—rather than by the bare bath temperatures alone. This suggests a structural distinction between Carnot bounds, which are reservoir-defined, and Otto bounds, which are cycle- and control-defined.

4. Nonadiabaticity, sudden quenches, and finite-time bounds

Finite-time operation introduces inner friction: coherence generated during the work strokes is later dissipated on the isochores, reducing performance below the adiabatic Otto value. In the harmonic-oscillator review literature, this is the basic mechanism by which finite-time quantum Otto cycles depart from $\eta\le 1-c_l/c_h$0, unless one uses shortcuts to adiabaticity that suppress coherence generation (Kosloff et al., 2016).

The strongest nonadiabatic limit is the sudden-switch or sudden-quench regime. For a harmonic Otto engine coupled to a squeezed reservoir and driven by abrupt expansion and compression, the universal engine bound is

$\eta\le 1-c_l/c_h$1

In the high-temperature limit, a more detailed bound $\eta\le 1-c_l/c_h$2 depends on squeezing and the Carnot efficiency, but as $\eta\le 1-c_l/c_h$3 it still approaches $\eta\le 1-c_l/c_h$4. The same work also emphasizes a central controversy: claims of unit efficiency under squeezing refer to quasi-static, zero-power limits, whereas the high-power sudden-switch engine is capped at $\eta\le 1-c_l/c_h$5 by nonadiabatic friction (Singh et al., 2020).

Asymmetric driving makes the frictional structure directional. For a harmonic oscillator with one sudden and one adiabatic work stroke, the high-temperature efficiencies are

$\eta\le 1-c_l/c_h$6

with distinct analytic upper bounds obtained by maximizing over $\eta\le 1-c_l/c_h$7. A simple all-temperature loose bound holds for sudden expansion, $\eta\le 1-c_l/c_h$8, and the analysis concludes that friction in the expansion stroke is significantly more detrimental than friction in the compression stroke. The same work also states that the asymmetrically driven cycle cannot operate as a heat engine in the low-temperature regime (Singh et al., 2023).

For arbitrary many-body models under sudden quenches, the bound becomes model-independent at the level of control parameters. If

$\eta\le 1-c_l/c_h$9

and the work strokes are sudden, then

$H(c)=H_0+cV$0

and the efficiency obeys

$H(c)=H_0+cV$1

Because the derivation does not require $H(c)=H_0+cV$2 to be a two-body operator, it extends to general $H(c)=H_0+cV$3 and identifies the work output as fully determined by the equilibrium expectation difference of the quenched term (Watson et al., 28 May 2025).

Shortcut-to-adiabaticity protocols modify the finite-time question. For a counter-diabatic harmonic Otto engine with minimum total unitary time

$H(c)=H_0+cV$4

the efficiency at maximum power is

$H(c)=H_0+cV$5

where

$H(c)=H_0+cV$6

This is explicitly not universal: it depends on the STA validity condition, the counter-diabatic protocol, and the neglect of isochoric durations (Abah et al., 2018).

5. Squeezed-reservoir and relativistic generalizations

Squeezed hot reservoirs enlarge the operational domain of Otto engines but do not remove the importance of stroke ordering. For the asymmetric harmonic engine with hot squeezing parameter $H(c)=H_0+cV$7, cold-to-hot frequency ratio $H(c)=H_0+cV$8, and temperature ratio $H(c)=H_0+cV$9, both sudden-expansion/adiabatic-compression and sudden-compression/adiabatic-expansion configurations admit analytic upper bounds and analytic efficiencies at maximum work. In both configurations the optimal ratio is

$\eta_{\rm Otto}=1-\omega_c/\omega_h$0

but the maximum efficiencies differ qualitatively: in the sudden-expansion case $\eta_{\rm Otto}=1-\omega_c/\omega_h$1 for all $\eta_{\rm Otto}=1-\omega_c/\omega_h$2 and approaches $\eta_{\rm Otto}=1-\omega_c/\omega_h$3 as $\eta_{\rm Otto}=1-\omega_c/\omega_h$4, whereas in the sudden-compression case the bound exceeds $\eta_{\rm Otto}=1-\omega_c/\omega_h$5 for finite $\eta_{\rm Otto}=1-\omega_c/\omega_h$6 and approaches unity in the large-squeezing limit. The full phase diagram shows that increasing squeezing enlarges the engine regime at the expense of the refrigerator regime (Monika et al., 2024).

The physical interpretation offered there is explicitly frictional. Sudden expansion stores parasitic energy in coherences that are later dumped irreversibly, producing a universal half-efficiency cap, while sudden compression places the nonadiabatic excitations before contact with the hot squeezed bath, allowing the bath to harvest them more effectively. The result is a split Otto bound: $\eta_{\rm Otto}=1-\omega_c/\omega_h$7 for sudden expansion, but $\eta_{\rm Otto}=1-\omega_c/\omega_h$8 as $\eta_{\rm Otto}=1-\omega_c/\omega_h$9 for sudden compression (Monika et al., 2024).

Relativistic motion leads to a different type of generalization. For a relativistic harmonic Otto engine in the adiabatic regime, the efficiency remains $\eta\le 1-\tilde T_c/\tilde T_h$0, but the positive-work condition becomes $\eta\le 1-\tilde T_c/\tilde T_h$1, where

$\eta\le 1-\tilde T_c/\tilde T_h$2

The maximum achievable adiabatic efficiency is therefore

$\eta\le 1-\tilde T_c/\tilde T_h$3

which reduces to the standard Carnot efficiency in the nonrelativistic limit. In the sudden-switch regime, by contrast, one obtains

$\eta\le 1-\tilde T_c/\tilde T_h$4

with $\eta\le 1-\tilde T_c/\tilde T_h$5. The analysis therefore separates relativistic Doppler-induced enhancement from friction-induced tightening: relativity can raise the adiabatic bound, but sudden-switch inner friction still imposes a half-efficiency cap (Shaghaghi et al., 28 Aug 2025).

These results clarify that squeezing and relativity do not define a single monotonic notion of “quantum advantage.” They can enlarge the admissible engine region or even raise adiabatic generalized Carnot-like bounds, yet once nonadiabaticity is included the relevant Otto bound may become far more restrictive.

6. Fluctuation bounds and power–efficiency trade-offs

In linear response, “Otto bound” also refers to universal inequalities for fluctuation ratios. Using a Schwinger–Keldysh non-equilibrium Green’s-function treatment of a generic many-body Otto cycle, the engine-regime fluctuation ratio

$\eta\le 1-\tilde T_c/\tilde T_h$6

obeys the lower bound $\eta\le 1-\tilde T_c/\tilde T_h$7, while the upper bound $\eta\le 1-\tilde T_c/\tilde T_h$8 may be violated. In the refrigerator regime, the analogous upper bound $\eta\le 1-\tilde T_c/\tilde T_h$9 holds, while the lower bound $H(c)=H_0+cV$0 may be violated. The origin is the quantum breakdown of the work fluctuation–dissipation relation, whereas the heat FDR remains valid. The same framework connects these Otto bounds to thermodynamic uncertainty relations and yields the hierarchy

$H(c)=H_0+cV$1

in the engine regime (Mohanta et al., 2023).

A complementary finite-time fluctuation theory for asymmetrically driven Otto cycles obtains exact two-sided bounds after symmetrizing over forward and reverse cycles. For a qubit working medium in the engine regime,

$H(c)=H_0+cV$2

together with the Fano-factor hierarchy

$H(c)=H_0+cV$3

For a parametrically driven harmonic oscillator, the same structure persists numerically, but the lower bound is expressed by the true cycle-averaged efficiency rather than the bare Otto value:

$H(c)=H_0+cV$4

The same study derives corresponding refrigerator bounds and TUR hierarchies (Mohanta et al., 2022).

A different use of the term appears in finite-time Markovian harmonic engines, where the Otto bound is a power–efficiency trade-off. Under Lindblad dynamics on the isochores,

$H(c)=H_0+cV$5

with

$H(c)=H_0+cV$6

An exact non-Markovian Brownian-motion treatment then shows that system–bath interaction energy contributes to both work and heat through

$H(c)=H_0+cV$7

and numerically the resulting $H(c)=H_0+cV$8–$H(c)=H_0+cV$9 clouds lie strictly below the Lindblad bound. For Ohmic–Lorentz–Drude baths, $\omega_h$00 in all steady states sampled, so both $\omega_h$01 and $\omega_h$02 are reduced relative to the Markovian expressions (Shim et al., 1 Jun 2026).

The modern literature therefore uses “Otto bound” in three technically distinct senses: as the adiabatic efficiency ceiling of the Otto cycle, as a generalized efficiency bound tightened by quantum structure or finite-time irreversibility, and as a finite-time constraint on fluctuations or power at fixed efficiency. What unifies these senses is that the bound is set not by abstract reversibility alone, but by the specific kinematics of the Otto protocol: how control parameters are changed, how the baths act during the isochores, and how quantum coherence, correlations, or interaction energy enter the bookkeeping.