--- title: Quantum Polytropic Cavity-Optomechanical Cycle url: https://www.emergentmind.com/topics/quantum-polytropic-cavity-optomechanical-cycle type: topic --- # Quantum Polytropic Cavity-Optomechanical Cycle Searching arXiv for the cited papers to ground the article in current records. {"query":"2607.01811 Extracting Work from Discrete Quantum Polytropic Processes", "max_results": 5} Searching arXiv for "Extracting Work from Discrete Quantum Polytropic Processes" and the earlier cavity-optomechanical cycle paper. arxiv_search(query="Extracting Work from Discrete Quantum Polytropic Processes", max_results=5) A quantum polytropic cavity-optomechanical cycle is a quantum heat-engine construction in which the character of each thermodynamic stroke is continuously tuned between adiabatic and thermal limits by discretely alternating coherent system control and system–bath contact. In the discrete finite-bath formulation, the working medium is a restricted two-level system describing a collectively excited atomic ensemble inside a tunable optical cavity, while a finite vibrational mode of the cavity mirrors acts as the active bath; the resulting engine is explicitly non-Markovian because the bath is a persistent finite mode rather than a stream of fresh ancillae [2607.01811]. In a complementary optomechanical formulation, spectral-density engineering of the mirror reservoir provides an “on–off” mechanism for heat flow and a pressure–volume mapping for cavity radiation pressure, furnishing a cavity-optomechanical route to polytropic thermodynamic control [1402.3787]. ## 1. Definition and thermodynamic meaning Classically, a polytropic process satisfies \(P V^{\zeta}=\mathrm{constant}\), with polytropic index \(\zeta\) interpolating between isothermal and adiabatic limits. In the discrete quantum construction, a polytropic stroke is defined operationally as an alternation of infinitesimal adiabatic and isochoric steps, and the relative time spent in these sub-steps plays the role of a quantum polytropic index \(\kappa \in [0,1]\) [2607.01811]. During the \(k\)-th iteration of a stroke of duration \(\epsilon=\epsilon_1+\epsilon_2\), the protocol applies a system-only adiabatic step of duration \(\epsilon_1=\kappa \epsilon\) and a system–bath isochoric step of duration \(\epsilon_2=(1-\kappa)\epsilon\). The limits are explicit: \(\kappa \to 1\) yields purely adiabatic evolution with no heat exchange, \(\kappa \to 0\) yields purely isochoric thermalisation with no work, and \(0<\kappa<1\) defines a genuine quantum polytropic interpolation. The working-medium Hamiltonian is \[ H_S(\omega)=\omega \sigma_z, \] so the generalized force conjugate to the control parameter \(\omega\) is \[ X=\frac{\partial H_S}{\partial \omega}=\sigma_z. \] The system energy is \[ E_S=\mathrm{Tr}[\rho_S H_S]=\omega\,\mathrm{Tr}[\rho_S \sigma_z]. \] With a time-dependent Hamiltonian, work and heat are separated in the standard way: \[ W=\int \mathrm{Tr}[\rho_S(t)\,\partial_t H_S(t)]\,dt,\qquad Q=\int \mathrm{Tr}[\dot{\rho}_S(t)\,H_S(t)]\,dt. \] Thus work arises from explicit variation of the cavity-controlled transition frequency, whereas heat arises from state changes at fixed Hamiltonian during system–bath contact [2607.01811]. A related cavity-optomechanical interpretation identifies an effective thermodynamic volume \(V=AL\), with \(A\) the cavity cross-section and \(L\) the mirror separation, and radiation pressure \[ P_{\mathrm{rad}}=\frac{\hbar \omega_c \langle n\rangle}{V}, \] so that \(P \leftrightarrow P_{\mathrm{rad}}\), \(V \leftrightarrow AL\), and the optomechanical equation of state becomes \(P_{\mathrm{rad}}V=\hbar \omega_c \langle n\rangle\). In that picture, a polytropic stroke is implemented by co-controlling \(\langle n\rangle\) and \(V\) so that \(PV^n=C_n\) [1402.3787]. ## 2. Microscopic model and stroke construction In the finite-bath realization, the engine uses two bath sectors, a hot sector at inverse temperature \(\beta_h\) and a cold sector at inverse temperature \(\beta_c>\beta_h\). The cavity length tunes the two-level transition frequency between \(\omega_h\) for the short-cavity hot resonance and \(\omega_c\) for the long-cavity cold resonance. The resonant TLS–mode interaction in each isochoric sub-step is \[ H=\omega_i \sigma_z \otimes I+\omega_i I\otimes \sigma_z+g(\sigma_- \otimes \sigma_+ + \sigma_+ \otimes \sigma_-), \] where \(g\) is the TLS–mode coupling and \(\omega_i\in\{\omega_c,\omega_h\}\) is the active resonance frequency [2607.01811]. The discrete generators for the \(k\)-th iteration are \[ H_{\mathrm{ad},(k)}=\omega_k \sigma_z\otimes I, \] \[ H_{\mathrm{iso},(k)}=\omega_k \sigma_z\otimes I+\omega_{\mathrm{ini}} I\otimes \sigma_z+g X_{\mathrm{int}}, \] with \[ \omega_k=\omega_{\mathrm{ini}}+\frac{k(\omega_{\mathrm{fin}}-\omega_{\mathrm{ini}})}{M},\qquad X_{\mathrm{int}}=\sigma_- \otimes \sigma_+ + \sigma_+ \otimes \sigma_-. \] The elementary propagators are \[ U^{(k)}_S(\epsilon_1)=e^{-i H_{\mathrm{ad},(k)}\epsilon_1},\qquad U^{(k)}_{SE}(\epsilon_2)=e^{-i H_{\mathrm{iso},(k)}\epsilon_2}, \] and the total polytropic propagator is \[ U_{\mathrm{pol}}=\prod_{k=1}^{M} U^{(k)}_{SE}(\epsilon_2)U^{(k)}_S(\epsilon_1). \] The reduced system map is \[ \Phi_{\mathrm{pol}}(\rho_S)=\mathrm{Tr}_E\!\left[U_{\mathrm{pol}}(\rho_S\otimes \tau_E)U_{\mathrm{pol}}^\dagger\right]. \] To leading order in \(\epsilon_1,\epsilon_2\), the product admits a Suzuki–Trotter form with a commutator correction, \[ U^{(k)}_{SE}(\epsilon_2)U^{(k)}_S(\epsilon_1)\simeq \exp\!\left\{-i[H_{\mathrm{iso},(k)}\epsilon_2+H_{\mathrm{ad},(k)}\epsilon_1] -\frac{\epsilon_1\epsilon_2}{2}[H_{\mathrm{iso},(k)},H_{\mathrm{ad},(k)}]\right\}, \] where \[ [H_{\mathrm{iso},(k)},H_{\mathrm{ad},(k)}] =-g\omega_k(\sigma_-\otimes \sigma_+ - \sigma_+\otimes \sigma_-) \equiv -g\omega_k Y_{\mathrm{int}}. \] Summing over \(k\) yields an effective generator \(S\) with \[ U_{\mathrm{pol}}=e^S, \] \[ S=- i t \bar{\omega}\,\sigma_z \otimes I -i(1-\kappa)t\omega_{\mathrm{ini}} I\otimes \sigma_z -i(1-\kappa)t g X_{\mathrm{int}} +\frac{1}{6}g(1-\kappa)t^2\Delta \omega\,Y_{\mathrm{int}}, \] where \(t=M\epsilon\), \(\bar{\omega}=(\omega_{\mathrm{ini}}+\omega_{\mathrm{fin}})/2\), and \(\Delta\omega=\omega_{\mathrm{fin}}-\omega_{\mathrm{ini}}\) [2607.01811]. A full cycle contains four strokes: | Stroke | Control | Role | |---|---|---| | \(A\to B\) | \(\omega_h \to \omega_c\), fixed \(\kappa\), hot-sector contact during isochoric sub-steps | Polytropic expansion | | \(B\to C\) | \(\omega=\omega_c\), cold-sector contact for duration \(t_{BC}\) | Isochoric cooling | | \(C\to D\) | \(\omega_c \to \omega_h\), fixed \(\kappa\), cold-sector contact during isochoric sub-steps | Polytropic compression | | \(D\to A\) | \(\omega=\omega_h\), hot-sector contact for duration \(t_{DA}\) | Isochoric heating | The cavity-optomechanical paper provides a related Hamiltonian for a standard driven optomechanical setup, \[ H_{\mathrm{sys}}=\hbar \omega_c c^\dagger c+\hbar \omega_m b^\dagger b-\hbar g_0 c^\dagger c(b+b^\dagger), \] together with a structured mirror reservoir that modulates the effective cavity level spacing \(\Omega(t)\). By choosing a comb-like spectral density and phase profile, the modulation can approximate a square wave, \(\Omega(t)\approx \Omega_0 + A\,\mathrm{sgn}[\sin(\omega_0 t)]\), producing “on–off” heat exchange that naturally supports four-stroke thermodynamic sequencing [1402.3787]. ## 3. Thermodynamic bookkeeping and the finite-bath work bound For a driven bipartite system–bath process with time-dependent Hamiltonian \[ H(t)=H_S(t)+H_E+H_{\mathrm{int}}(t), \] thermodynamic bookkeeping is expressed as \[ W=\int_0^\tau \mathrm{Tr}[\rho(t)\,\partial_t H(t)]\,dt,\qquad Q=\int_0^\tau \mathrm{Tr}[\dot{\rho}(t)\,H(t)]\,dt,\qquad \Delta E_S = Q + W_{\mathrm{gen}}, \] where \(W_{\mathrm{gen}}\) denotes the work generated on the system, not all of which is necessarily extractable [2607.01811]. The central bound on extractable work is \[ W_{\mathrm{ext}}\le -\Delta F^{\mathrm{eff}}_S - W_{\mathrm{drive}} -\frac{1}{\beta}\bigl[\Delta I_{S:E}+\Delta S^{\mathrm{eff}}_E\bigr] -\Delta E_{\mathrm{int}}. \] Here \(\Delta F^{\mathrm{eff}}_S\) is the change in the system’s effective nonequilibrium free energy, \(W_{\mathrm{drive}}=-(1/\beta)\ln(Z'/Z)\) is the external driving work associated with variation of the bare partition function, \(\Delta I_{S:E}\) is the change in system–environment mutual information, \(\Delta S^{\mathrm{eff}}_E\) is the bath’s departure from its instantaneous Gibbs state, and \(\Delta E_{\mathrm{int}}\) is the change in residual interaction energy [2607.01811]. The decomposition isolates three distinct finite-bath penalties: work locked in correlations, irreversible dissipation from bath nonequilibrium, and energy stored in the interaction sector. In the large-bath, weak-coupling limit, with \(\Delta I_{S:E}\approx 0\), \(\Delta S^{\mathrm{eff}}_E\approx 0\), \(W_{\mathrm{drive}}=0\), and \(\Delta E_{\mathrm{int}}=0\), the bound reduces to the standard free-energy form \(W_{\mathrm{ext}}\le -\Delta F\). Equality is approached when battery coupling is ideal, the bath remains thermal, and the interaction energy is cyclically recovered [2607.01811]. For the cycle as a whole, \[ \eta=\frac{W_{\mathrm{out}}}{Q_{\mathrm{in}}},\qquad P=\frac{W_{\mathrm{out}}}{\tau_{\mathrm{cycle}}}, \] and the operationally optimal efficiency is bounded by \[ \eta_{\mathrm{pol}}\le \eta^{\mathrm{opt}}_{\mathrm{pol}} =\frac{W^{\mathrm{upp}}_{\mathrm{con}}+W^{\mathrm{upp}}_{\mathrm{exp}}}{Q^{h}_{\mathrm{iso}}+Q^{h}_{\mathrm{pol}}}. \] The formalism also yields closed expressions for stroke heats and upper-bounded work. For a generic polytropic stroke contacting sector \(r\in\{h,c\}\), \[ x_r=(1-\kappa)tg,\qquad y_r=\frac{1}{6}g(1-\kappa)t^2\Delta \omega_r,\qquad z_r=t\bar{\omega}_r-(1-\kappa)t\omega_r, \] \[ \Omega_r=\sqrt{x_r^2+y_r^2+z_r^2},\qquad |\mathcal{B}_r|^2=(x_r^2+y_r^2)\left[\frac{\sin \Omega_r}{\Omega_r}\right]^2. \] If the stroke starts from \(\rho=\mathrm{diag}(1-p,p)\) and the bath-mode ground-state population is \(q_{r,0}=[1+e^{-\beta_r \omega_r}]^{-1}\), then \[ Q^{\mathrm{pol}}_r = 2\omega_r |\mathcal{B}_r|^2 (p-q_{r,0}), \] \[ W^{\mathrm{upp}}_{\mathrm{pol},r} =(1-2p)\Delta \omega_r +2\omega_r |\mathcal{B}_r|^2 (p-q_{r,0}) +\frac{2g(p-q_{r,0})\sin \Omega_r}{\Omega_r^2} \bigl[y_r\Omega_r \cos \Omega_r + x_r z_r \sin \Omega_r\bigr]. \] For a generic isochoric stroke at fixed \(\omega_r\), \[ Q^{\mathrm{iso}}_r=2\omega_r \sin^2(gt)(p-q_{r,0}),\qquad W^{\mathrm{iso}}_r=0 \] [2607.01811]. ## 4. Non-Markovian memory and the quasi-static versus finite-time split The defining physical feature of the finite-bath cycle is non-Markovian memory. Because the bath is a persistent finite mode, coherent system–environment exchange occurs at rate \(g\) and is encoded in the oscillatory factor \(\sin \Omega/\Omega\). The coherent transfer amplitude \[ |\mathcal{B}|^2=(x^2+y^2)\left[\frac{\sin \Omega}{\Omega}\right]^2 \] is maximized at resonant values \(\Omega \approx (n+\tfrac12)\pi\), subject to the detuning parameter \(z\) [2607.01811]. As \(\kappa \to 1\), both \(x\) and \(y\) vanish at fixed \(t\), so maintaining finite coherent exchange requires scaling \(t\) such that \((1-\kappa)tg=O(1)\), and, when \(\Delta\omega\neq 0\), also \((1-\kappa)t^2 g|\Delta\omega|=O(1)\). This is the quasi-static regime. Within that regime, optimization revealed increasingly sparse resonances near \(\kappa \to 1\), and the search range was extended up to \(t_{\max}\approx 2.2\times 10^4\) to capture them [2607.01811]. Efficiency then exhibits sharp oscillatory enhancements, while power vanishes. The same paper states that near-Carnot values can be approached under favorable resonant conditions, with \[ \eta_{\mathrm{Carnot}}=1-\frac{T_c}{T_h}=1-\frac{\beta_h}{\beta_c}, \] but only in this quasi-static memory-exploiting regime and with an oscillatory interaction-severing cost that must still be paid. By contrast, maximizing power forces a strict finite-time regime. At small \(t\), when \((1-\kappa)tg\ll 1\) and \((1-\kappa)t^2 g|\Delta\omega|\ll 1\), the coherent amplitude is suppressed, coherent ringing disappears, and system–environment correlations do not build up. The dynamics then collapse to the memoryless Otto limit, with efficiency approaching \[ \eta_{\mathrm{Otto}}=1-\frac{\omega_c}{\omega_h}. \] For \(\omega_h=2\) and \(\omega_c=1\), this yields \(\eta_{\mathrm{Otto}}=0.5\), which is the reported efficiency at maximum power in that regime [2607.01811]. A recurring misconception is that non-Markovian memory necessarily enhances practical engine performance. The discrete finite-bath analysis does not support that conclusion in general form. Instead, it separates two operational regimes: memory harvesting with quasi-static timing and vanishing power, and finite-power operation with negligible correlation and bath penalties but Otto-like performance [2607.01811]. A plausible implication is that quantum memory is not a universally usable thermodynamic resource; its usefulness depends on a control regime that is incompatible with the same hardware conditions that optimize power. ## 5. Discrete control, Trotterization, and interaction-energy costs Discrete alternation between adiabatic and isochoric sub-steps introduces Suzuki–Trotter errors governed by the commutator \([H_{\mathrm{iso},(k)},H_{\mathrm{ad},(k)}]\propto g\omega_k Y_{\mathrm{int}}\). Per iteration, the leading correction scales as \(\epsilon_1\epsilon_2\), and over a full stroke the cumulative effective term appears in \(S\) as \[ \frac{1}{6}g(1-\kappa)t^2\Delta \omega\,Y_{\mathrm{int}}. \] Accordingly, at fixed \(\kappa\) and \(t\), Trotterization error scales as \(O((1-\kappa)t^2 g|\Delta\omega|)\) [2607.01811]. Under realistic hardware constraints, the minimal switching time \(\epsilon\) bounds the number of iterations \(M=t/\epsilon\). Finite-time operation therefore forces larger discrete steps, and the paper expects the Trotter correction to manifest not merely as a formal approximation error but as a physical dephasing noise source. In that interpretation, the damping of the \(\sin \Omega/\Omega\) structure suppresses \(|\mathcal{B}|^2\), destroys non-Markovian memory harvesting, and drives the engine toward the Markovian Otto limit [2607.01811]. This identifies a second common misconception: discretization is not thermodynamically innocuous when control granularity is hardware-limited. Interaction switching produces an additional nonzero residual cost. For a polytropic stroke beginning from \(\rho=\mathrm{diag}(1-p,p)\) and bath thermal population \(q_{r,0}\), \[ \Delta E_{\mathrm{int}} = -\frac{2g(p-q_{r,0})\sin \Omega}{\Omega^2} \bigl[y\Omega \cos \Omega + xz \sin \Omega\bigr]. \] This term oscillates with the resonance structure and accumulates across the cycle as a permanent energetic tax [2607.01811]. In the quasi-static, memory-exploiting regime it is substantial and oscillatory; in the fast finite-time regime it becomes negligible because correlations do not build up. The analyzed parameter sets were \[ \omega_h=2.0,\qquad \omega_c=1.0,\qquad \beta_h=0.2,\qquad \beta_c=1.0,\qquad g\in\{0.01,0.05,0.1\}, \] with units \(\hbar=k_B=1\) [2607.01811]. Stronger coupling increases coherent exchange rates and amplifies both resonance features and \(\Delta E_{\mathrm{int}}\), whereas weaker coupling diminishes both. Near \(\kappa \to 1\), resonance resolution requires very long \(t\) so that \((1-\kappa)tg\) remains \(O(1)\); otherwise \(|\mathcal{B}|^2\to 0\). ## 6. Cavity-optomechanical realization, diagnostics, and relation to standard cycles The cavity-optomechanical implementation can be described either in the reduced TLS-plus-finite-mode language of the discrete polytropic engine or in the fuller optomechanical language of a driven cavity mode \(c\) coupled by radiation pressure to a mirror mode \(b\). In the latter formulation, the drive Hamiltonian is \[ H_{\mathrm{drive}}= i\hbar(E c^\dagger e^{-i\omega_L t} - E^* c e^{i\omega_L t}), \] the single-photon coupling is \(g_0=(\omega_c/L)x_{\mathrm{zpf}}\), and a structured mirror reservoir with spectral density \[ J(\omega)=\sum_j |\eta_j|^2 \delta(\omega-\omega_j) \] dynamically shifts the effective cavity spacing \(\Omega(t)\) [1402.3787]. By choosing odd harmonics \(\omega_j=(2j-1)\omega_0\) and matching phases, the modulation synthesizes a square-wave pattern with plateaus and fast edges. During plateaus, the effective Hamiltonian is constant and heat exchange is effectively “off”; during edges, the bath injects or extracts energy and heat exchange is “on” [1402.3787]. This construction maps naturally onto known thermodynamic cycles. When the work strokes are fully adiabatic-like and the heat strokes are isochoric, the cycle reduces to an Otto-like engine. When heat exchange is partially retained during work strokes, a continuous family of polytropic exponents connects isothermal-like and adiabatic-like behavior [1402.3787]. The discrete finite-bath analysis sharpens that comparison by showing that the finite-time, low-memory regime indeed converges to the Markovian Otto limit, whereas the quasi-static resonant regime can approach near-Carnot efficiency but only with vanishing power and non-negligible interaction costs [2607.01811]. The operational blueprint for the discrete cycle specifies state preparation and diagnostics. The initial TLS state is taken as \(\rho_A=\mathrm{diag}(1-p_A,p_A)\) with the engine-regime heat-flow condition \[ q_{h,0}