{"id":"fc8f2ea8-3a09-414a-852b-2ee0b2a5f803","arxiv_id":"2608.02521","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":10,"one_line_summary":"A two-qubit Rabi-model Otto engine with squeezing as fuel and measurement-induced cooling is analyzed; the claimed above-Otto efficiency is not supported by the paper's analytic formulas, which yield exactly the Otto bound.","lead":"A proposed quantum Otto engine uses two qubits in a cavity, with a squeezed cavity field as fuel and a measurement on the cavity replacing the cold bath. The authors report that squeezing raises power and efficiency above the standard Otto limit, but their own equations show the efficiency equals that limit when the fuel cost is excluded.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's own analytic formulas—Eqs. (9), (21), and (30)—combine to give η = 1 − B_L/B_H identically, independent of squeezing, so the claimed above-Otto efficiency is absent from the derivation; numerical above-Otto values must rely on an inconsistent or different definition of work/heat.","rationale":"The reader's strongest claim correctly identified the exact cancellation: Eqs. (9), (21), and (30) combine to give the standard Otto efficiency independent of squeezing. This is a fatal internal inconsistency with the numerical reporting. However, the reader's stated 'weakest_assumption' focused on post-selection without averaging and the omission of resource costs. While those are valid additional concerns, the more load-bearing and decisive issue is that the analytic derivation itself precludes any above-Otto efficiency; the numerical curves claiming otherwise cannot be reconciled with the analytic formulas unless different definitions are used. This is what makes the headline claim unsupported. Appendix D and the Conclusion explicitly concede the operational character of the efficiency, confirming the analytic cancellation is not rescued by including measurement or squeezing costs. My concern lands on this internal inconsistency, not merely on a missing average over measurement outcomes. Therefore I agree with the reader's REJECT verdict, though via the analytic-contradiction route rather than the post-selection route.","tokens_in":22270,"tokens_out":3680,"duration_ms":39099,"concrete_test":"Independently derive η = −W/Q_H from Eqs. (9), (21), and (30) and verify it simplifies algebraically to 1 − B_L/B_H for all parameter values. Then take the parameters of Fig. 2 (B_L=0.5, B_H=5, ω=5, τ=1, τ_h=1, T=1, α=0.5, φ=0) and compute W and Q_H using the analytic expressions for various r (0, 0.1, 0.2, 0.3). If the analytic η equals 0.9 (i.e., 1−0.5/5) for every r, while Fig. 2 reports η>0.9 for r>0, then the numerical implementation uses different formulas—likely including the measurement stroke in W or redefining Q_H. The definitive check is to inspect the simulation code or a reproducibility run that prints W, Q_H, and P exactly as defined in Sec. III A; any deviation from the analytic cancellation reveals the discrepancy.","verdict_should_be":"REJECT","load_bearing_attack":"The abstract's central claim—that cavity squeezing drives efficiency above the standard quantum Otto limit—is contradicted by the paper's own analytic derivation. Combining Eq. (9) W1 = −(B_H − B_L), Eq. (21) QH = B_H (1 − e^{−Φ})(1 − tanh β_H B_H), and Eq. (30) W2 = (B_H − B_L)[tanh β_H B_H + e^{−Φ}(1 − tanh β_H B_H)] yields total work W = W1 + W2 = −(B_H − B_L)(1 − tanh β_H B_H)(1 − e^{−Φ}), so η = −W/QH = (B_H − B_L)/B_H = 1 − B_L/B_H exactly. The squeezing parameter r, phase φ, stroke time τ_h, and bath parameters all cancel. Thus the analytic model predicts no squeezing-enhanced efficiency, contrary to the headline claim. The numerical curves in Figs. 2–4 that show η exceeding the Otto bound for r>0 therefore must be using a different definition of work or heat—for example, including the post-selected measurement stroke's energy change in W or excluding part of QH—or the numerics are erroneous. This is not merely a physical limitation but an internal inconsistency: the analytic and numerical results cannot both be correct. The paper's Appendix D further concedes the resource-inclusive efficiency η_tot does not exceed the generalized bound (Eq. D7), and the Conclusion admits the 'operational gain' is 'supplied and paid for' by squeezing and measurement resources. Hence the central claim rests on an efficiency definition that omits the costs it itself tabulates, and the reported super-Otto behavior is not a consequence of the model.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a four-stroke quantum Otto engine built from two qubits in a cavity (the two-qubit quantum Rabi model), with a single non-Markovian hot bath treated via HEOM, a projective measurement on the cavity replacing the cold bath, and a squeezing drive as a purported fuel. It derives perturbative expressions for stroke work and hot heat, and reports numerical HEOM simulations showing power–efficiency curves, phase–squeezing contour maps, and multi-cycle convergence. The headline claim is that cavity squeezing raises both power and efficiency, driving the efficiency above the standard Otto limit and asymptotically converging to it from above in the limit-cycle regime.","tokens_in":22803,"tokens_out":7188,"duration_ms":81991,"significance":"Some ingredients are genuinely valuable: a symmetry-reduced two-qubit Rabi model with solvable structure, an explicit attempt to quantify the squeezing and measurement costs in Appendix D, and a HEOM-based numerical treatment of non-Markovian effects. However, the central claim fails: the analytic work and heat formulas imply the standard Otto efficiency exactly, independent of squeezing; the numerical 'super-Otto' results rely on an efficiency definition that omits exactly the resource costs the paper itself identifies, and on post-selecting a single measurement outcome without branch averaging. The resource-inclusive efficiency defined in Eq. (D7) does not beat the generalized bound, as the authors concede. Thus the manuscript as submitted does not establish the advertised result. The main value is a structured framework and an honest resource-cost appendix, not the claimed demonstration.","major_comments":[{"comment":"Combining W1 = −(B_H−B_L), Q_H = B_H(1−e^{−Φ})(1−tanh β_H B_H), and W2 = (B_H−B_L)[tanh β_H B_H + e^{−Φ}(1−tanh β_H B_H)] gives W = W1+W2 = −(B_H−B_L)(1−tanh β_H B_H)(1−e^{−Φ}), so η = −W/Q_H = 1−B_L/B_H identically. All dependence on r, φ, τ_h, and bath parameters cancels. This directly contradicts the abstract's central claim that squeezing drives the efficiency above the standard Otto limit. The numerical curves in Figs. 2–4 that show η above this value must be using a different work/heat definition or different initial conditions than Eqs. (9), (21), and (30); the manuscript does not reconcile the analytic and numerical results.","section":"§II (Eqs. (9), (21), (30))"},{"comment":"The analytic calculation assumes the expansion starts from the pure state |Ψ⟩=|−−⟩⊗|ξ_{−−}^{(n)}⟩, so P(0)=−1. In the multi-cycle limit-cycle analysis of §III.B, the initial state at vertex A is the post-measurement state from the previous cycle. Unless the cold stroke always projects onto a branch that exactly reproduces a pure |−−⟩ state with unit probability, the analytic formulas for Q_H and W do not describe the limit-cycle engine, and the claimed saturation to η_Otto in Fig. 5 cannot be inferred from them. A limit-cycle calculation must use the actual fixed point of the map, not a single-cycle pure-state ansatz.","section":"§II.A, Eq. (7) and Eq. (20); §III.B"},{"comment":"The cold stroke post-selects the outcome n* that minimizes qubit energy and reports Q_C, W, and P without multiplying by the outcome probability p_{n*}. Work and power are not linear in the post-selection survival probability; if p_{n*} is not close to unity, the true cycle-averaged power is substantially lower and the engine is not deterministic. The manuscript does not report p_{n*} or provide a properly averaged treatment of all measurement branches. This is load-bearing for the numerical power–efficiency claims.","section":"§II.A.4 (Eqs. (31)–(32)) and §III"},{"comment":"The efficiency η=−W/Q_H used in Figs. 2–4 excludes the squeezing preparation cost W_sq=ω sinh²r and the measurement cost W_meas (Eqs. (D3), (D6)). Appendix D defines η_tot = −W/(Q_H+W_sq+W_meas) and states it does not exceed the generalized bound; the Conclusion explicitly says the operational gain is 'supplied and paid for' by squeezing and measurement resources. As written, the headline above-Otto result is an artifact of the resource-excluded efficiency definition. The paper should either report η_tot as the main efficiency or clearly frame the result as an operational gain with externally paid resources; it cannot claim 'above the standard quantum Otto limit' while omitting those costs.","section":"§III.A, Appendix D, Conclusion"}],"minor_comments":[{"comment":"The text says 'Note that ⟨E_q^A⟩=B_L' but Eq. (7) gives ⟨E_q^A⟩=−B_L for the state |−−⟩. Please correct this typo.","section":"§II.A, after Eq. (7)"},{"comment":"The transient correction δΓ^(2)(t)=−κ_0 μ²ω²e^{−Γ_eff t} with κ_0≈α²+1/2, and the squeezing overlap correction R_sq(τ)≈1+r f(ω,φ,τ), involve coefficients that are not derived from a complete calculation. As written, the claim of fully analytic expressions is overstated; a derivation or a clearly stated numerical extraction procedure is needed.","section":"Appendix C, Eqs. (C21), (C37)"},{"comment":"The abstract says the efficiency remains above the Otto bound throughout and asymptotically converges to it from above, while §III.B states the cumulative efficiency 'saturates to the Otto bound'. Please clarify whether the cumulative efficiency and the single-cycle efficiency plotted in Figs. 2–4 are different quantities and how the two statements are consistent.","section":"§III.B and Abstract"},{"comment":"The phrase 'ideal projective measurements is unbounded upwards' is unclear and likely means 'the resource cost of ideal projective measurements can diverge'. Please rephrase.","section":"Appendix D.2"}],"recommendation":"reject","confidential_remarks":"I verified the algebra in §II: the cancellation of all squeezing dependence in η=−W/Q_H is immediate from the paper's own equations. The numerical section does not rescue the claim because no code or post-selection probabilities are provided, and the definitions used to compute Figs. 2–4 are not reconciled with Eqs. (9), (21), and (30). The manuscript could potentially be reshaped as an 'operational gain with paid resources' study, but that would require the central claims and efficiency definitions to be substantially changed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: the headline claim does not survive contact with the paper's own equations. Combining Eqs. (9), (21), and (30) gives η = 1 − B_L/B_H identically. The squeezing strength r, the phase φ, the stroke time, and all bath parameters cancel. So the above-Otto efficiencies shown in Figs. 2–4 cannot be consequences of the analytic model as written; they must come from a different, unreconciled definition of work or heat. The paper never addresses that mismatch. This is the central problem.\n\nWhat is genuinely new: the specific architecture—two-qubit Rabi model working medium, single non-Markovian HEOM hot bath, projective cavity-measurement cold stroke, and intramode cavity squeezing as fuel—is a combination I have not seen before. The perturbative expressions for Γ_eff, δQ_H, and the coherence source term S_sq are new for this model. The multi-cycle limit-cycle analysis with trace-distance convergence is a sensible idea, and the data availability statement is fine. Appendix D is also candid: it defines a resource-inclusive efficiency η_tot and concedes that the super-Otto operation is “paid for” by squeezing and measurement costs. That honesty makes the abstract harder to excuse.\n\nSoft spots, in proportion: the post-selection issue is real and load-bearing. The cold stroke picks the measurement outcome n* that minimizes qubit energy, but the probability p_{n*} of that outcome is never reported. If p_{n*} is not near unity, the true cycle-averaged power is p_{n*} times the claimed value, and the engine cannot be treated as deterministic. That alone could invalidate the power claims. Second, the efficiency denominator excludes W_sq and W_meas; Appendix D’s own Eq. (D7) shows that including them keeps η_tot below the generalized bound. So the “above Otto” language is at best an operational figure of merit, not a fundamental advantage. Third, several perturbative coefficients (κ_0, f(ω, φ, τ)) are asserted without derivation, and HEOM convergence is stated but not shown with convergence plots. These are minor by comparison but still worth tightening.\n\nWho is this for? Researchers working on measurement-assisted quantum engines and on the thermodynamic bookkeeping of quantum resources. It is a useful cautionary example and a starting point for a corrected analysis. But the paper should not be published with the current abstract and efficiency claims. The fix is clear: report conditional performance with the success probability, include resource costs in the headline efficiency, and reconcile the analytic and numerical definitions of work and heat.\n\nMy recommendation: send it to peer review, not desk reject. The model and derivations are substantive enough to warrant referee time, but the authors need to do major revision to make the claims match the math. If I were the editor, I would make acceptance conditional on resolving the central inconsistency.","headline":"The paper's own analytic formulas imply Otto efficiency exactly; the above-Otto claim rests on excluding resource costs the paper later admits, so the abstract overstates the result.","tokens_in":23305,"tokens_out":3287,"would_cite":false,"duration_ms":35726,"reading_group":"yes","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that a two-qubit quantum Otto engine, run on a single hot bath with measurement-induced cooling and cavity squeezing as fuel, operates above the standard quantum Otto efficiency bound while delivering more power.","keywords":["quantum Otto engine","two-qubit quantum Rabi model","cavity squeezing","measurement-induced cooling","non-Markovian bath","hierarchical equations of motion","quantum fuel","cavity QED thermodynamic engine"],"falsifier":"Evaluate the paper's own formulas: substituting W1 from Eq. (9), W2 from Eq. (30), and Q_H from Eq. (21) into η = -W/Q_H yields η = 1 - B_L/B_H exactly, so a numerical scan that instead multiplies the reported power by the post-selection probability p_{n*} and adds W_sq = ω sinh²r plus W_meas to the denominator would settle whether any efficiency above the Otto bound actually survives.","tokens_in":21998,"feed_emoji":"⚙️","tokens_out":8894,"duration_ms":86847,"temperature":0.7,"pith_summary":"The paper proposes a quantum Otto engine whose working medium is two qubits in a cavity (two-qubit quantum Rabi model), with a single non-Markovian hot bath, a projective measurement on the cavity replacing the cold bath, and a squeezing drive on the cavity playing the role of quantum fuel. The central aim is to show that cavity squeezing systematically improves both power output and efficiency, driving the engine above the standard quantum Otto limit while the limit-cycle efficiency asymptotically approaches that limit from above. The authors derive a perturbative analytic treatment of the squeezing, obtaining closed-form expressions for work and heat, and support the claim with numerical power-efficiency curves and phase-dependent contour maps. A sympathetic reader would care because the architecture points to an experimentally accessible cavity-QED route for quantum heat engines that convert squeezed vacuum and measurement information into work.","feed_headline":"Squeezing and a measurement are claimed to beat the Otto limit","feed_subtitle":"Two qubits in a cavity turn a single hot bath, a squeezed field, and one measurement into work.","key_machinery":"The carrying machinery is the two-qubit quantum Rabi Hamiltonian in sector A plus the single-mode squeezing perturbation V = (μω/2)(e^{iφ}a^2 + e^{-iφ}(a†)^2). The principal analytic object is the squeezing-renormalised relaxation kernel Γ_eff = Γ_0(1 + 4rα²cosφ), where r is the squeezing parameter, α = g/ω the displacement amplitude, and φ the squeezing phase; it makes the heat absorbed during the hot isochore phase-dependent, so the squeezing phase acts as a thermal valve. The cold stroke is implemented by projective measurements Π_n(α) = D(α)|n>