{"id":"1a996c37-0ca5-4adc-9abc-76b3606b21e8","arxiv_id":"2411.11535","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A closed-form, truncation-free expression for the Schrieffer-Wolff generator is derived for finite-plus-bosonic quantum systems, with a Fourier-space extension for periodic drives.","lead":"Researchers derive a closed-form formula for the generator of Schrieffer-Wolff transformations in quantum systems made of discrete levels plus bosonic modes, and extend it to periodically driven systems. This gives a systematic, truncation-free recipe for computing effective low-energy Hamiltonians, demonstrated on a driven anharmonic resonator coupled to a two-level system.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Universal generator formula is only formal: no bound on S or BCH truncation is provided, so the no-truncation claim rests on an unproven smallness condition.","rationale":"The reader's weakest assumption — operator-valued detuning invertibility and BCH truncation convergence — is exactly the soft spot I identify. The paper proves an algebraic identity, not a perturbative guarantee. Since the central claim is advertised as universal and truncation-free, the absence of any quantitative control on 1/ω and on higher-order BCH terms is the most load-bearing concern. I do not see an internal algebraic error in the main derivation; the time-dependent version Eq. (23) also follows from Eq. (20) with consistent signs once the convention P = -V is used. The sign issue in Eq. (25) is real but localized and does not undermine the main construction. Numerically testing the third-order correction in the paper's own model would settle whether the missing smallness condition is actually satisfied in the demonstrated regime. If such a bound cannot be established, the correct verdict is CONDITIONAL: the formal generator is valid, but the universal applicability claim requires an explicit detuning and convergence condition. Since the reader already assigned CONDITIONAL, I keep the verdict unchanged.","tokens_in":13161,"tokens_out":9281,"duration_ms":101318,"concrete_test":"For the Sec. 4 model, compute the generator and effective Hamiltonian to third order in g using Eq. (16) for N = 0,...,50, with g = 0.05Ω_T and Ω chosen on a plateau away from the poles. If the ratio ||S^(3)||/||S^(2)|| grows with N or is not bounded by C(g/δ)^2 for δ = min_{n}|ω_k(N) - nℏΩ| with a moderate constant C, then BCH truncation is not justified. Independently re-derive Eq. (25) from Eq. (23) by direct Fourier integration to check whether the integral term has the correct sign.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The centerpiece of the paper is the claim that Eq. (16) — s^(Δ)_μν(N) = -p^(Δ)_μν(N)/ω^(Δ)_μν(N) with ω^(Δ)_μν(N) = f_ν(N+Δ) - f_μ(N) — provides a universal, truncation-free generator. The algebraic derivation via a^Δ f(N) = f(N+Δ) a^Δ is correct, and the equivalence to the interaction-picture formula in Appendix C is sound. The load-bearing gap is that Eq. (16) only defines a formal inverse of the adjoint action; it does not establish that (i) ω is invertible with bounded inverse over all N, or (ii) the resulting S is small enough for the BCH/Magnus expansion in Eq. (3) to be truncated at the claimed order. For a bosonic subspace, N is unbounded; even if ω(N)≠0 for every N, ||p(N)/ω(N)|| can be unbounded if ω(N)→0 as N→∞. The paper's only condition is that eliminated channels remain 'sufficiently detuned,' but no quantitative criterion or remainder estimate is given. The poles of Eq. (36) mark exact ω - nℏΩ = 0 points; near them the generator diverges and the perturbative expansion must fail, but the text does not characterize the neighborhood in which Eq. (33) is reliable. This does not refute the formal result, but it means the advertised universality and no-truncation guarantee are not established. A secondary but genuine issue is the sign inconsistency between Eq. (24) and Eq. (25) in the high-frequency simplification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes a closed-form solution for the Schrieffer-Wolff transformation generator in Hilbert spaces of the form H_f ⊗ H_b, where H_f is finite-dimensional and H_b is bosonic. Starting from an operator decomposition `O = Σ g^{(Δ)}_{μν}(N) a^Δ σ_{μν} + h.c.` and a diagonal unperturbed Hamiltonian `H0 = Σ f_μ(N) σ_{μμ}`, it solves `[H0,S]=P` by `s^{(Δ)}_{μν}(N) = -p^{(Δ)}_{μν}(N)/ω^{(Δ)}_{μν}` with `ω^{(Δ)}_{μν}=f_ν(N+Δ)-f_μ(N)` (Eq. (16)). The construction is extended to time-periodic perturbations, where the generator satisfies a first-order differential equation whose Fourier solution is `s_k(N,t) = -Σ_n p^{(n)}_k(N) e^{inΩt}/(ω_k - nℏΩ_k)` (Eq. (23)). The formalism is then applied to a two-level system coupled to an anharmonic resonator with a periodically modulated coupling, yielding a closed-form dispersive shift `χ(N)` (Eq. (36)) and plots of its divergence lines and plateaus. The paper claims that this provides a universal, truncation-free method valid across static and driven systems.","tokens_in":13514,"tokens_out":28614,"duration_ms":251624,"significance":"The algebraic core of the paper is clean and useful. The derivation of Eq. (16) is elementary and self-contained, and the equivalence with the interaction-picture integral formula in Appendix C is a valuable unifying observation. The application produces explicit, parameter-free analytical formulas (Eqs. (33) and (36)) that make the pole structure of the dispersive shift visible without truncating the bosonic subspace. If the technical issues below are repaired, the framework could serve as a convenient reference tool for constructing Schrieffer-Wolff generators in quantum-optics and condensed-matter settings. The main reservations are that the advertised 'universal, no-truncation' claim relies on an unproven smallness/invertibility condition, and that the time-dependent part of the paper contains sign inconsistencies that affect the effective-Hamiltonian formula.","major_comments":[{"comment":"The solution `s = -p/ω` is only formal as written. For a bosonic subspace, N is unbounded, and `ω^{(Δ)}_{μν}(N)=f_ν(N+Δ)-f_μ(N)` may approach zero as N grows even if it never vanishes; in that case `||p/ω||` need not be small, and the paper gives no bound on `S` or any remainder estimate for the BCH/Magnus truncation in Eq. (3). The condition that eliminated channels remain 'sufficiently detuned' is qualitative. Consequently the central claim that Eq. (16) provides a truncation-free universal generator is not fully established. I recommend either supplying a quantitative smallness criterion for the class of functions `f_μ` considered, or stating explicitly that the result is a formal perturbative series whose convergence is left open.","section":"Sec. 3, Eqs. (16)-(17)"},{"comment":"The sign of the derivative term in the effective-Hamiltonian definition is inconsistent with the subsequent derivation. From Eq. (18) and Eq. (19), the first-order contribution of the derivative term is `-iℏ ∂S/∂t`. Therefore cancellation of first-order terms requires `[H0,S] - iℏ ∂S/∂t = -V`. Eq. (20), however, imposes `[H0,S] + iℏ ∂S/∂t = -V`. Substituting Eq. (20) into the expansion of Eq. (18) leaves first-order terms `-2iℏ ∂S/∂t` and an extra second-order term `-iℏ [∂_t S, S]`; Eq. (31), `H_eff = H0 + 1/2[V,S]`, does not follow. The same sign ambiguity appears in Section 4, where the condition is written as `[H(0),S(t)] = -V(t) + iℏ ∂S/∂t`, which is inconsistent with Eq. (20). The convention in Eq. (18), Eq. (20), or both must be corrected, and the application in Section 4 should be rederived accordingly.","section":"Sec. 3.1, Eqs. (18)-(20) and Eq. (31)"},{"comment":"Equation (25) does not follow from Eq. (24). For a Fourier component `p^{(n)} e^{inΩt}` with `n ≠ 0`, the high-frequency limit of Eq. (23) is `s = p^{(n)} e^{inΩt}/(nℏΩ)`, as stated in Eq. (24). However, `-i/ℏ ∫_0^t p(τ)dτ` contributes `p^{(n)}(1 - e^{inΩt})/(nℏΩ)`, which differs from the Eq. (24) term by a non-oscillatory constant and by the sign of the oscillating part. Hence Eq. (25) is not the high-frequency simplification of Eq. (23), and Eq. (26) is unsupported as derived. This issue directly affects the claimed simplified generator for fast periodic drives.","section":"Sec. 3.1, Eqs. (24)-(25)"}],"minor_comments":[{"comment":"There are several typographical errors: 'Lödwin' should be 'Löwdin', 'undersdood' should be 'understood', 'preturba-tive' should be 'perturbative', 'close-form' should be 'closed-form', and 'inifinite' should be 'infinite'.","section":"Throughout"},{"comment":"The notation `[∂S/∂t, S]^{(l)}` for the repeated commutator is not defined in the text; please define it explicitly.","section":"Eq. (19)"},{"comment":"The selection of the particular solution of Eq. (20) is justified only by a reference to the 'macromotion' condition in Ref. [60]; a brief statement of this condition would make the derivation self-contained.","section":"Sec. 3.1, Eq. (20)-(23)"},{"comment":"The notation `p^{(n=0)}_k` is inconsistent with `p^{(n)}_k` used elsewhere; it should be written as `p^{(0)}_k`.","section":"Eq. (24)"},{"comment":"The figure captions refer to 'Panel 1' and 'Panel 2'; using 'left/right' or 'top/bottom' would be clearer for readers.","section":"Sec. 4, Figs. 1-2"},{"comment":"The dispersive shift is displayed as a single long expression. Presenting it as a sum of individual pole terms would make the divergence structure more transparent and easier to verify.","section":"Eq. (36)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the scope of the journal and the central algebraic idea is sound. The main technical obstacles are the sign inconsistencies in the time-dependent formalism and the absence of a quantitative convergence/smallness criterion for the claimed universal truncation-free result. Both are fixable, but the application section should be rechecked after the sign conventions are corrected. I do not see a novelty disclosure problem; the prior literature is cited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: the paper gives a clean operator-valued expression for the Schrieffer-Wolff generator in systems made of a finite-dimensional part plus one bosonic mode. Eq. (16), s = -p/(fν(N+Δ)-fμ(N)), is the whole story. It comes straight from solving [H0,S]=P with H0 diagonal in the number basis, using a^Δ f(N)=f(N+Δ)a^Δ. That is genuinely useful: it removes the guesswork from a standard step, it does not truncate the bosonic Hilbert space, and it recovers the integral representation of [34] as a special case. Prior work by Kim et al. [37] did not cover mixed finite+bosonic spaces, so this is a real extension. The time-periodic version, Eq. (23), is a straightforward Fourier solution of the first-order ODE (20), and it naturally produces the dispersive-shift application. The anharmonic-resonator example is worked carefully; the analytic expression (36) for χ(N) and the plateau structure in the figures follow from the algebra, not from fitting.\n\nNow the soft spots. There is a concrete sign inconsistency: for large |nℏΩ|, Eq. (23) gives s^(n) ~ +p^(n)/(nℏΩ), while Eq. (25) claims a negative sign via the integral. One of the two is wrong; it is easy to fix, but it should be fixed before publication. A second, more conceptual gap: the paper advertises a 'universal, truncation-free' solution, but what is actually proven is the formal invertibility of [H0, ·] on the chosen basis. There is no quantitative statement about when the second-order BCH truncation is accurate, and no bound on the generator S when ω approaches zero for some N. That is a limitation of the paper, not a fatal flaw: for a fixed perturbation in a detuned regime the formula is exactly what everyone uses. But the authors should add a sentence or a short remark distinguishing Hilbert-space truncation (avoided) from perturbative-order truncation (still present), and state the resonance condition explicitly. A third, minor issue: the paper contains no numerical verification of the effective Hamiltonian against exact evolution. The plots only evaluate the analytic formula. Some readers will want a check.\n\nOn the citation pattern: the references to [34],[37],[38] are accurate, and the self-citation to the companion library [69] is justified.\n\nBottom line: this is a solid method paper with one real but localized error. It deserves a serious referee. I would accept it for review; the referee can ask for the sign fix, a short domain-of-validity discussion, and, ideally, one numerical cross-check.","headline":"Handy closed-form Schrieffer-Wolff generator with a real but easily fixed sign slip; the central formula is new and the paper is worth refereeing once the convergence conditions are stated honestly.","tokens_in":14067,"tokens_out":4523,"would_cite":true,"duration_ms":48439,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that the generator of any perturbative unitary transformation for systems built from finite-dimensional and bosonic subspaces is fixed by a single closed-form operator expression…","keywords":["Schrieffer-Wolff transformation","perturbative transformations","effective Hamiltonian","dispersive shift","periodic driving","anharmonic resonator","bosonic Hilbert space","closed-form generator"],"falsifier":"Choose an anharmonic light-matter Hamiltonian of the paper's class with parameters arranged so that $f_\\nu(N+\\Delta)-f_\\mu(N)=0$ at an integer $N$ within the physical spectrum (for example, tune $\\alpha$ and $\\Omega_z$ to make a detuning cross zero), then compare the second-order effective Hamiltonian predicted by Eq. (16) with high-precision exact diagonalization on a convergent truncated basis: the formula predicts a divergence in the generator and a resonance in $\\chi(N)$ at that point, while a finite exact result away from the pole would show the assumption has failed. For the driven case, the analogous test is to sweep $\\Omega$ through $\\omega_k/n\\hbar$ and check that the generator and effective couplings diverge exactly where Eq. (23) has its poles.","tokens_in":12928,"feed_emoji":"⚛️","tokens_out":8170,"duration_ms":75486,"temperature":0.7,"pith_summary":"The paper aims to settle a long-standing practical problem in the Schrieffer-Wolff transformation: how to construct the generator $S$ of the unitary rotation that decouples low- and high-energy subspaces without guessing its form or truncating infinite-dimensional Hilbert spaces. It claims that for any system whose Hilbert space is a product of finite-dimensional and bosonic parts, every perturbative defining equation $[H^{(0)},S^{(j)}]=P^{(j)}$ is solved by $s_{\\mu\\nu}^{(\\Delta)}(N)=-p_{\\mu\\nu}^{(\\Delta)}(N)/(f_\\nu(N+\\Delta)-f_\\mu(N))$, an operator-valued closed form. For time-periodic perturbations the same logic yields $s_k(N,t)=-\\sum_n p_k^{(n)}(N)e^{in\\Omega t}/(\\omega_k-n\\hbar\\Omega_k)$, valid across frequency regimes if transition channels remain sufficiently detuned. The authors demonstrate the recipe by deriving the dispersive shift of an anharmonic resonator coupled to a two-level system with a periodic coupling, obtaining an analytical $\\chi(N)$ that exhibits a pole and plateau structure tied to the system parameters. A sympathetic reader should care because the result converts the often heuristic search for a Schrieffer-Wolff generator into direct algebra, and extends that algebra to driven systems.","feed_headline":"Closed form found for quantum perturbation generators","feed_subtitle":"One operator identity builds effective Hamiltonians for static and periodically driven systems without truncating the Hilbert space.","key_machinery":"The load-bearing object is the operator-valued decomposition of every term by the pair $(\\mu,\\nu,\\Delta)$: a transition on the finite-dimensional factor, $\\sigma_{\\mu\\nu}$, and a net change $\\Delta$ in boson number carried by $a^\\Delta$ (or $(a^\\dagger)^\\Delta$), with a coefficient that is a function of the number operator $N$. The identity that makes the argument work is the commutation relation $a^\\Delta f(N)=f(N+\\Delta)a^\\Delta$, which converts the operator equation $[H^{(0)},S]=P$ into the algebraic ratio $s=-p/\\omega$ with the operator-valued detuning $\\omega_{\\mu\\nu}^{(\\Delta)}=f_\\nu(N+\\Delta)-f_\\mu(N)$. In the periodically driven case the same machinery is applied mode by mode in a Fourier expansion, producing $s_k(N,t)=-\\sum_n p_k^{(n)}(N)e^{in\\Omega t}/(\\omega_k-n\\hbar\\Omega_k)$; the paper adds the condition that the transformation preserve the system's macromotion, i.e., the slow component of its dynamics. This machinery carries the whole argument because every later formula, including the eight-pole dispersive shift $\\chi(N)$, is an explicit evaluation of these ratios.","core_discovery":"On the paper's own terms, the central discovery is a universal solution to the generator equation of the Schrieffer-Wolff transformation. Writing any operator as $O_\\pm=\\sum_{\\mu\\nu}\\sum_{\\Delta\\ge0} g_{\\mu\\nu}^{(\\Delta)}(N)a^\\Delta\\sigma_{\\mu\\nu}+\\mathrm{h.c.}$, with $N=a^\\dagger a$ the boson number and $\\sigma_{\\mu\\nu}=|\\mu\\rangle\\langle\\nu|$ on the finite subspace, the unperturbed Hamiltonian takes diagonal form $H^{(0)}=\\sum_\\mu f_\\mu(N)\\sigma_{\\mu\\mu}$. The commutator $[H^{(0)},S^{(j)}]=P^{(j)}$ then becomes a pointwise algebraic condition, because $a^\\Delta f(N)=f(N+\\Delta)a^\\Delta$, and the generator coefficients are $s_{\\mu\\nu}^{(\\Delta)}(N)=-p_{\\mu\\nu}^{(\\Delta)}(N)/\\omega_{\\mu\\nu}^{(\\Delta)}$ with $\\omega_{\\mu\\nu}^{(\\Delta)}=f_\\nu(N+\\Delta)-f_\\mu(N)$. Since $P^{(j)}$ is kept general, the formula applies not only to the standard two-subspace Schrieffer-Wolff transformation but to any perturbative scheme whose defining equations fix $P^{(j)}$, including multi-block diagonalization. The time-periodic extension replaces the static detuning by the shifted detuning $\\omega_k-n\\hbar\\Omega_k$ and requires the drive's fundamental frequency to stay away from resonance. The authors state that these expressions hold without truncating the bosonic Hilbert space and that they recover earlier integral and matrix-element formulations as special cases.","pith_inferences":["One step the paper leaves implicit is convergence: the Baker-Campbell-Hausdorff expansion that defines the effective Hamiltonian is truncated at finite order, and the formula itself does not control the radius of that expansion. A natural follow-up would be to state quantitative smallness conditions on $\\|p/\\omega\\|$ per order.","Because the generator is an explicit rational function of $N$, the construction suggests an efficient numerical recipe: evaluate $p_{\\mu\\nu}^{(\\Delta)}(N)/\\omega_{\\mu\\nu}^{(\\Delta)}(N)$ on the spectrum of $N$, then build $S$ by summing the resulting operator terms. That could make high-order effective Hamiltonians computable without ever constructing a large truncated matrix.","The time-periodic result could be tested as a Floquet tool: in the regime where $\\omega_k-n\\hbar\\Omega_k$ never vanishes, one could compare the effective Hamiltonian from Eq. (23) against direct Floquet diagonalization for moderate driving amplitudes to see where the perturbative breakdown actually occurs.","The pole structure of $\\chi(N)$ suggests a spectroscopic fingerprint: measuring the dispersive shift as a function of drive frequency should reveal the predicted plateaus, with plateau widths controlled by $2\\Omega_z$ and $2\\Omega_z+2\\alpha$; this is a concrete, testable extension of the paper's example."],"forward_implications":["Effective Hamiltonians for systems like anharmonic resonators coupled to few-level systems can be written down analytically to any desired perturbative order without fixing a photon-number cutoff.","For time-periodic drives, the same closed form covers low-, intermediate-, and high-frequency regimes, so the choice of perturbation scheme no longer dictates which frequency window can be treated.","When the drive has no static Fourier component and oscillates fast, the generator collapses to $S^{(j)}(t)=-(i/\\hbar)\\int_0^t P^{(j)}(\\tau)d\\tau$, eliminating the need to compute detuning frequencies.","The dispersive shift $\\chi(N)$ of the worked example splits into eight divergences, four depending on $N$ when anharmonicity is present, giving a direct map of the plateaus where dispersive readout operates.","Because $P^{(j)}$ is left general, the same formula applies to any perturbative transformation whose defining equation is brought to the form $[H^{(0)},S^{(j)}]=P^{(j)}$, including multi-block and full diagonalizations."],"supporting_citations":[{"why":"Prior general SWT generator solution, limited to purely bosonic or purely fermionic Hilbert spaces; the paper's formula extends it to mixed finite-plus-bosonic systems.","marker":"[37]"},{"why":"Provides the formal integral expression for the generator that Eq. (16) is shown to solve in closed form.","marker":"[34]"},{"why":"Supplies the standard matrix-element formulation of the SWT that the paper unifies with operator-level methods.","marker":"[35]"},{"why":"Matrix-element-based block-diagonalization method whose truncation requirement the new formula is designed to remove.","marker":"[36]"},{"why":"Presents the eigenoperator perspective connecting $\\omega_{\\mu\\nu}^{(\\Delta)}$ to eigenvalues of the $p a^\\Delta\\sigma$ operators in the absence of anharmonicity.","marker":"[38]"},{"why":"Gives the expansion of the time-derivative term used to derive the driven-case generator equation.","marker":"[62]"},{"why":"Defines the macromotion condition invoked to select the time-periodic solution for $S_k(N,t)$.","marker":"[60]"}],"fun_headline_variants":["Universal closed-form generator for quantum perturbative systems","One closed-form operator for all quantum perturbation generators","Closed-form generator unveiled for static and driven quantum systems","Perturbative generator closed form: static and driven cases unified","Unified closed-form generator for quantum perturbation schemes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the operator-valued detuning $\\omega_{\\mu\\nu}^{(\\Delta)}(N)=f_\\nu(N+\\Delta)-f_\\mu(N)$ is invertible at every occupation number the dynamics visits, and in the driven case that $\\omega_k-n\\hbar\\Omega_k$ never vanishes; the paper requires the removed channels to be 'sufficiently detuned' but does not provide a general quantitative bound on how small $p/\\omega$ must be for the truncated Baker-Campbell-Hausdorff series to converge.","fun_headline_variants_meta":{"raw":{"variants":["Universal closed-form generator for quantum perturbative systems","One closed-form operator for all quantum perturbation generators","Closed-form generator unveiled for static and driven quantum systems","Perturbative generator closed form: static and driven cases unified","Unified closed-form generator for quantum perturbation schemes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000567,"raw_usage":{"total_tokens":2719,"prompt_tokens":1015,"completion_tokens":1704,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":631,"completion_tokens_details":{"reasoning_tokens":1638}},"tokens_in":631,"tokens_out":1704,"duration_ms":52069,"temperature":1.0,"reasoning_tokens":1638,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T18:25:34.344524+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose an anharmonic light-matter Hamiltonian of the paper's class with parameters arranged so that $f_\\nu(N+\\Delta)-f_\\mu(N)=0$ at an integer $N$ within the physical spectrum (for example, tune $\\alpha$ and $\\Omega_z$ to make a detuning cross zero), then compare the second-order effective Hamiltonian predicted by Eq. (16) with high-precision exact diagonalization on a convergent truncated basis: the formula predicts a divergence in the generator and a resonance in $\\chi(N)$ at that point, while a finite exact result away from the pole would show the assumption has failed. For the driven case, the analogous test is to sweep $\\Omega$ through $\\omega_k/n\\hbar$ and check that the generator and effective couplings diverge exactly where Eq. (23) has its poles.","supporting_citations":[{"cited_title":"Kim, S.-Y","cited_arxiv_id":null,"evidence_quote":"Prior general SWT generator solution, limited to purely bosonic or purely fermionic Hilbert spaces; the paper's formula extends it to mixed finite-plus-bosonic systems."},{"cited_title":"Hillmann and F","cited_arxiv_id":null,"evidence_quote":"Provides the formal integral expression for the generator that Eq. (16) is shown to solve in closed form."},{"cited_title":"Winkler, Spin-orbit coupling effects in two-dimensional electron and hole systems , Springer tracts in modern physics (Springer, Berlin, 2003)","cited_arxiv_id":null,"evidence_quote":"Supplies the standard matrix-element formulation of the SWT that the paper unifies with operator-level methods."},{"cited_title":"Bravyi, D","cited_arxiv_id":null,"evidence_quote":"Matrix-element-based block-diagonalization method whose truncation requirement the new formula is designed to remove."},{"cited_title":"Romhányi, G","cited_arxiv_id":null,"evidence_quote":"Gives the expansion of the time-derivative term used to derive the driven-case generator equation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the macromotion condition invoked to select the time-periodic solution for $S_k(N,t)$."}],"review_version":1}