REVIEW 4 major objections 4 minor 33 references
Morris-Shore transformation for non-degenerate systems
T0 review · 4 major / 4 minor · reviewed 2026-08-27 · deepseek-v4-flash
Pith's one-line read The paper claims that the Morris-Shore decomposition of multistate systems into independent two-state systems and dark states survives small energy shifts, built on an effective Hamiltonian with first-order matched eigenvalues.
desk verdict Useful extension of the Morris-Shore transformation to non-degenerate manifolds, with clean worked examples, but the central "dynamical equivalence" claim is unsupported and in fact fails at first order in the examples shown. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the effective Hamiltonian $H_{\rm eff} = S^\dagger Q S H_0$, with $S$ the unitary that diagonalizes the degenerate Hamiltonian $H_0$ and $Q$ a diagonal matrix whose elements $1 + \delta_i \kappa_i / \chi_i$ are chosen so that the product $Q\Xi$ matches the first-order perturbed eigenvalues $\varepsilon_i \approx \chi_i + \delta_i \kappa_i$ of the non-degenerate Hamiltonian. A second unitary $P$, obtained by diagonalizing the degenerate MS Hamiltonian, converts $Q\Xi$ into the MS Hamiltonian $H_{\rm MS} = P Q \Xi P^\dagger$. The machinery transfers the small energy shifts out of the eigenvectors and into shifted eigenvalues of otherwise unchanged two-state blocks, preserving the MS structure while accounting for the lifted degeneracy.
What would settle it
Numerically propagate the exact $\Lambda$ Hamiltonian of Eq. (31) and the effective Hamiltonian $H_{\rm eff} = S^\dagger Q S H_0$ from the same initial state over one pulse at $\delta/\Omega_{\rm rms} = 0.01$, $0.05$ and $0.10$, and compare the final populations and coherences; any first-order-in-$\delta$ discrepancy between the two propagators would show that eigenvalue matching alone does not give the claimed dynamical equivalence.
Extended reading notes
Core claim
In the paper's own terms, the central claim is that for small detunings from degeneracy the Hamiltonian $H = H_0 + D$ is dynamically equivalent to the effective Hamiltonian $H_{\rm eff} = S^\dagger Q S H_0$, where $S$ diagonalizes the degenerate Hamiltonian $H_0$, $Q$ is a diagonal matrix chosen so that $Q\Xi$ reproduces the eigenvalues of $H$ to first order in the energy shifts, and $\Xi$ is the diagonal form of $H_0$. Acting on this effective Hamiltonian with the two-step unitary $U = P S$, where $P$ diagonalizes the degenerate MS Hamiltonian, gives a Morris-Shore Hamiltonian with diagonal blocks: independent two-state systems and dark states. The paper compares the approximated eigenvalues with the exact ones for the $\Lambda$ system and derives explicit MS Hamiltonians for the tripod, double-$\Lambda$ and diamond systems, including the first-order shift of the dark-state eigenvalue. The practical consequence is that multistate systems whose degeneracy is lifted by external fields or light shifts can still be treated with the MS reduction, provided the shifts are small compared with the root-mean-square Rabi frequency.
Load-bearing premise
The argument assumes that matching the eigenvalues of the effective Hamiltonian to the first-order shifted eigenvalues of the real Hamiltonian is sufficient for the two dynamics to be equivalent, although the real eigenvectors also shift at first order.
Editorial extensions
If this is right
- For detunings with $\delta/\Omega_{\rm rms}$ of order $10^{-2}$, the dynamics of non-degenerate $\Lambda$, tripod, double-$\Lambda$ and diamond systems can be replaced by the corresponding two-state MS Hamiltonians plus dark states, with the same couplings as in the degenerate case.
- The dark state of the tripod system acquires a first-order phase shift controlled by one Rabi frequency while its superposition in the original basis remains unchanged, offering a way to manipulate that phase without disturbing the state content.
- In the double-$\Lambda$ diamond system, setting the direct and cross couplings equal removes the coupling in one MS block entirely, so an initial population in those MS states stays untouched, a conclusion that is not evident from the original Hamiltonian.
- The construction yields explicit first-order corrections to all MS eigenvalues, which are exactly the detunings entering the effective two-state systems.
Reading between the lines
- Beyond the paper: a direct numerical comparison of the full and effective propagators for the $\Lambda$ or tripod system would settle whether the claimed dynamical equivalence holds for state amplitudes, not only eigenvalues; the first-order shift of the eigenvectors suggests the amplitude error may be of order $\delta/\Omega_{\rm rms}$ even where eigenvalues match.
- Beyond the paper: incorporating first-order eigenvector corrections into $S$ rather than only into $Q$ would produce an effective Hamiltonian whose time evolution matches the true one to first order, likely extending the useful range of the method.
- Beyond the paper: the two-step perturbative construction should carry over to the three-manifold generalization of the MS transformation, reducing non-degenerate tripod-like systems to chains of three-state systems.
- Beyond the paper: the controllable dark-state phase in the tripod suggests a concrete application to phase gates on decoherence-free subspaces, where one Rabi frequency tunes the accumulated phase without changing the encoded superposition.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes an extension of the Morris-Shore (MS) transformation to multistate systems with non-degenerate energy levels. The authors define an effective Hamiltonian H_eff = S† Q S H0 (Eq. 20) whose eigenvalues are matched, to first order in the energy shifts δ, to the eigenvalues of the exact non-degenerate Hamiltonian H = H0 + D. They then map this effective Hamiltonian to the MS basis via a two-step similarity transformation, obtaining block-diagonal MS Hamiltonians. The method is illustrated on the Λ, tripod, double-Λ, and diamond systems, and the paper claims these effective Hamiltonians are dynamically equivalent to the original non-degenerate Hamiltonians, reducing the dynamics to independent two-state systems and dark states.
Significance. If the central claim were valid, this would be a practically useful extension of the MS transformation, allowing the reduction of non-degenerate multistate dynamics to simpler two-state problems in the small-detuning limit. The two-step transformation formalism is clearly presented, and the explicit examples are worked out in detail. However, the central claim of dynamical equivalence is not established by the paper: the only quantitative check is a comparison of a single eigenvalue in Fig. 3, and the construction matches eigenvalues by design while retaining the degenerate eigenbasis. As shown in the major comments, the paper's own examples contain first-order couplings in the exact dynamics that are absent from the effective MS Hamiltonians, contradicting the claimed equivalence.
major comments (4)
- [§III, Eqs. (20)-(27)] The effective Hamiltonian is constructed so that its eigenvalues match the first-order perturbed eigenvalues of H, but it keeps the degenerate eigenbasis S fixed. The true Hamiltonian H = H0 + D has eigenvectors that acquire O(δ) corrections, so the time-evolution operators differ at first order in δ, not at second order. Matching eigenvalues alone therefore does not imply the claimed dynamical equivalence. The paper provides neither a derivation nor a numerical test of state-level dynamics; the only comparison is one eigenvalue for the Λ system in Fig. 3.
- [§IV.B, tripod, Eqs. (40) and (47)] In the exact Hamiltonian transformed to the degenerate MS basis, the two dark states v1 and v2 from Eq. (40) are coupled by D, with ⟨v1|D|v2⟩ = -2δ Ωp Ωc Ωs / [Ω_rms(Ω_p² + Ω_c²)] ≠ 0. The effective MS Hamiltonian in Eq. (47) has exactly zero in this position. Thus the exact dynamics exhibits dark-state population exchange at a frequency set by this O(δ) coupling, while H_MS_T predicts no exchange. This directly contradicts the claim of dynamical equivalence.
- [§IV.A, Λ system, Eq. (38)] The transformed perturbation UDU† contains an O(δ) dark-bright coupling δ Ωp Ωs / Ω_rms², which is absent from H_MS_Λ in Eq. (38). Starting in the nominal dark state therefore produces first-order leakage in the exact dynamics, while H_MS_Λ predicts the dark state remains uncoupled. This is a second concrete counterexample to the universal claim of dynamical equivalence.
- [§III, text after Eq. (14)] The authors state that the off-diagonal terms of UDU† 'cannot simply be ignored, since they introduce couplings among the otherwise independent Hamiltonians and more importantly among the potential dark states.' The construction in Eqs. (20)-(27) nonetheless drops these terms by choosing Q diagonal. This internal inconsistency is the source of the failures in the Λ and tripod examples.
minor comments (4)
- [Eq. (20)] The notation H_eff = S†QSH0 is ambiguous: the ordering of the factors and the dimensions of Q should be stated explicitly.
- [Fig. 3] The figure compares only one eigenvalue of the Λ system; the label should specify that it is the third eigenvalue (bottom-right element of Eq. (37)) and that no dynamic comparison is made.
- [§IV.B, Eq. (46)] The definitions of Ω̃+ and Ω̃- in Eqs. (46a)-(46b) are easy to confuse; clearer names such as Ω̃p = Ω_p² + Ω_c² and Ω̃m = Ω_p² − Ω_c² would improve readability.
- [Throughout] The phrase 'approximated eigenvalues' is used repeatedly; 'approximate eigenvalues' is more natural in English. The abstract's claim of 'dynamically equivalent' should be aligned with the more cautious wording in Section V.
Circularity Check
H_eff's eigenvalues are set equal to the non-degenerate spectrum by construction, so the spectral agreement in Fig. 3 is not an independent prediction; the block MS structure is independent, but the claimed dynamic equivalence is asserted rather than derived.
-
self definitional
[Section III, Eqs. (20)-(27); Fig. 3 caption]
"This will be the case if the effective Hamiltonian has approximately the same eigenvalues as Eq. (13). In order to utilize the two-step approach we choose the effective Hamiltonian as H_eff = S^† Q S H0, (20) ... we have to set Q such that S H_eff S^† = QΞ = W = R H R^† (22) ... The simplest choice ... Q_i = 1 + δ_i κ_i / χ_i, (27), since this choice yields ε_i ≈ Q_i χ_i."
H_eff is constructed, not derived, so that its eigenvalues equal those of the non-degenerate Hamiltonian: Eq. (22) imposes QΞ = W, and Eq. (27) defines Q_i precisely from the condition Q_i χ_i ≈ ε_i. The paper then reads the central claim 'dynamically equivalent' off this spectral match ('This will be the case if the effective Hamiltonian has approximately the same eigenvalues'). Consequently, the eigenvalue agreement displayed in Fig. 3 is the input of the construction, not a prediction: the approximate eigenvalues of Eq. (37) are manufactured by the same Q that was chosen to produce them.
full rationale
The derivation chain is self-contained and does not rely on load-bearing self-citations: the MS transformation is introduced from the standard external Morris-Shore reference and no uniqueness theorem from the present authors is invoked. However, the effective Hamiltonian is defined through Eq. (20) and Q is chosen, via Eqs. (22) and (27), so that H_eff has approximately the same eigenvalues as the non-degenerate Hamiltonian. The spectral comparison in Fig. 3 therefore validates only the accuracy of the first-order eigenvalue expansion, which is exactly what Q was built to reproduce. The paper's stronger conclusion, that H_eff is dynamically equivalent to H, is inferred from this spectral equality alone; that inference is not a derivation and is not supported by any state-evolution test. In the explicit examples, the exact U D U† terms that couple dark states at first order in δ are dropped from the effective MS Hamiltonians, which is consistent with the effective dynamics not being equivalent to the original dynamics. Thus the central dynamic-equivalence claim has a self-definitional component, while the block-diagonal MS structure retains independent content. This is partial circularity rather than a fully forced or citation-driven result, so the score is 4.
Assumptions & free parameters
assumptions (5)
- domain assumption The rotating-wave approximation is valid, so the Hamiltonian has the block form of Eq. (2).
- domain assumption There are no couplings between states within each set and all couplings share the same time dependence.
- ad hoc to paper The energy shifts delta are small enough that the first-order Taylor expansion in Eq. (25) accurately represents the eigenvalues.
- ad hoc to paper Matching the eigenvalues of the effective Hamiltonian to the non-degenerate eigenvalues is enough to guarantee dynamical equivalence.
- standard math Standard spectral theorem and unitary diagonalization of Hermitian matrices.
Cite this review
Pith. "Pith review of Morris-Shore transformation for non-degenerate systems." pith.science (2026). https://pith.science/paper/JVXOSDBH
@misc{pith2026200911191,
author = {Pith},
title = {Pith review of: Morris-Shore transformation for non-degenerate systems},
year = {2026},
howpublished = {\url{https://pith.science/paper/JVXOSDBH}},
note = {Machine review of arXiv:2009.11191}
}
read the original abstract
The Morris-Shore (MS) transformation is a powerful tool for decomposition of the dynamics of multistate quantum systems to a set of two-state systems and uncoupled single states. It assumes two sets of states wherein any state in the first set can be coupled to any state in the second set but the states within each set are not coupled between themselves. Another important condition is the degeneracy of the states in each set, although all couplings between the states from different sets can be detuned from resonance by the same detuning. The degeneracy condition limits the application of the MS transformation in various physically interesting situations, e.g. in the presence of electric and/or magnetic fields or light shifts, which lift the degeneracy in each set of states, e.g. when these sets comprise the magnetic sublevels of levels with nonzero angular momentum. This paper extends the MS transformation to such situations, in which the states in each of the two sets are nondegenerate. To this end, we develop an alternative way for the derivation of Morris-Shore transformation, which can be applied to non-degenerate sets of states. We present a generalized eigenvalue approach, by which, in the limit of small detunings from degeneracy, we are able to generate an effective Hamiltonian that is dynamically equivalent to the non-degenerate Hamiltonian. The effective Hamiltonian can be mapped to the Morris-Shore basis with a two-step similarity transformation. After the derivation of the general framework, we demonstrate the application of this technique to the popular Lambda three-state system, and the four-state tripod, double-Lambda and diamond systems. In all of these systems, our formalism allows us to reduce their quantum dynamics to simpler two-state systems even in the presence of various detunings, e.g. generated by external fields of frequency drifts.
Figures
Reference graph
Works this paper leans on
-
[1]
L. Allen and J. H. Eberly, Optical Resonance and Two- Level Atoms (Dover, New York, 1975)
work page 1975
-
[2]
Shore, The Theory of Coherent Atomic Excitation (Wiley, New York, 1990)
B.W. Shore, The Theory of Coherent Atomic Excitation (Wiley, New York, 1990)
work page 1990
-
[3]
I. I. Rabi, Phys. Rev. 51, 652 (1937)
1937
-
[4]
L. D. Landau, Phys. Z. Sowjetunion 2, 46 (1932)
1932
-
[5]
Zener, Proc
C. Zener, Proc. R. Soc. A 137, 696 (1932)
1932
-
[6]
E. C. G. Stueckelberg , Helv. Phys. Acta 5, 369 (1932)
work page 1932
-
[7]
Majorana, Nuovo Cimento 9, 43 (1932)
E. Majorana, Nuovo Cimento 9, 43 (1932)
1932
-
[8]
Rosen and C
N. Rosen and C. Zener, Phys. Rev. 40, 502 (1932)
1932
Show all 33 references
-
[9]
N. V. Vitanov, A. A. Rangelov, B. W. Shore, and K. Bergmann, Rev. Mod. Phys. 89, 015006 (2017)
2017
-
[10]
Rangelov, A. A. and Vitanov, N. V. and Yatsenko, L. P. and Shore, B. W. and Halfmann, T. and Bergmann, K., Phys. Rev. A 72, 053403 (2005)
2005
-
[11]
and Ospelkaus, C
Warring, U. and Ospelkaus, C. and Colombe, Y. and J¨ ordens, R. and Leibfried, D. and Wineland, D. J., Phys. Rev. Lett. 110, 173002 (2013)
2013
-
[12]
and Braun, A
Johanning, M. and Braun, A. and Timoney, N. and El- man, V. and Neuhauser, W. and Wunderlich, Chr., Phys. Rev. Lett. 102, 073004 (2009)
2009
-
[13]
Nielsen and I.L
M.A. Nielsen and I.L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, 2000)
2000
-
[14]
Zimmer, F. E. and Otterbach, J. and Unanyan, R. G. and Shore, B. W. and Fleischhauer, M., Phys. Rev. A 77, 063823 (2008)
2008
-
[15]
Finkelstein-Shapiro, Daniel and Felicetti, Simone and Hansen, Thorsten and Pullerits, T˜ onu and Keller, Arne, Phys. Rev. A 99, 053829 (2019)
2019
-
[16]
and Lvovsky, A
Appel, J¨ urgen and Marzlin, K.-P. and Lvovsky, A. I., Phys. Rev. A 73, 013804 (2006)
2006
-
[17]
Pillet, C
P. Pillet, C. Valentin, R.-L. Yuan, and J. Yu, Phys. Rev. A 48, 845 (1993)
1993
-
[18]
L. S. Goldner, C. Gerz, R. J. C. Spreeuw, S. L. Rolston, C. I. Westbrook, W. D. Phillips, P. Marte, and P. Zoller, Phys. Rev. Lett. 72, 997 (1994)
1994
-
[19]
Weitz, B
M. Weitz, B. C. Young, and S. Chu, Phys. Rev. Lett. 73, 2563 (1994)
1994
-
[20]
P. D. Featonby, G. S. Summy, C. L. Webb, R. M. Go- dun, M. K. Oberthaler, A. C. Wilson, C. J. Foot, and K. Burnett, Phys. Rev. Lett. 81, 495 (1998)
1998
-
[21]
Theuer and K
H. Theuer and K. Bergmann, Eur. Phys. J. D 2, 279 (1998)
1998
-
[22]
B. W. Shore, J. Mod. Optics 61, 787 (2013)
2013
-
[23]
Morris and Bruce W
James R. Morris and Bruce W. Shore, Phys. Rev. A 27, 906 (1983)
1983
-
[24]
Rangelov, A. A. and Vitanov, N. V. and Shore, B. W., Phys. Rev. A 74, 053402 (2006)
2006
-
[25]
Bergmann, H
K. Bergmann, H. Theuer, and B. W. Shore Rev. Mod. Phys. 70, 1003 (1998)
1998
-
[26]
Torosov, N.V
B.T. Torosov, N.V. Vitanov, J. Phys. B: At. Mol. Opt. Phys.45, 135502 (2012)
2012
-
[27]
B., and Mølmer, K
Møller, D., Madsen, L. B., and Mølmer, K. Phys. Rev. A 75, 062302 (2007)
2007
-
[28]
Santosh Kumar, Thomas Lauprˆ etre, Fabien Bretenaker, Fabienne Goldfarb, and Rupamanjari Ghosh Phys. Rev. A 88, 023852 (2013)
2013
-
[29]
Olga Kocharovskaya and Paul Mandel Phys. Rev. A 42, 523 (1990)
1990
-
[30]
Karawajczyk, J
A. Karawajczyk, J. Zakrzewski, and W. Gawlik, Phys. Rev. A 45, 420 (1992)
1992
-
[31]
E. A. Korsunsky and D. V. Kosachiov, Phys. Rev. A 60, 4996 (1999)
1999
-
[32]
Liu, Z., Xiao, J., Lin, J. et al. Sci. Rep. 7, 15796 (2017)
2017
-
[33]
Hamid Reza Hamedi, Emmanuel Paspalakis, Giedrius ˇZlabys, Gediminas Juzeli¯ unas, and Julius Ruseckas, Phys. Rev. A 100, 023811 (2019)
2019
Reviewed August 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.