REVIEW 2 major objections 4 minor 62 references
Locally-acting mirror Hamiltonians
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A Hermitian, time-independent mirror Hamiltonian built from position-space photon operators acts only on incoming wave packets and reproduces classical mirror-image scattering for semi-transparent mirrors.
desk verdict A real, useful construction of position-space mirror Hamiltonians with a clean special case, but the general scattering-operator claim in Eq. (53) goes beyond what is proved; the Section 4.4 example is solid. 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 family of truly-local bosonic field operators $A_{s\lambda}(x)$, defined through the Fourier kernel $f(k)=1/\sqrt{2\pi}\,e^{i\,\mathrm{sgn}(k)\varphi}$, which makes single-excitation states at different positions pairwise orthogonal and gives the operators delta-function commutation relations. These operators are the building blocks of the mirror interaction Hamiltonian $H_{\rm int}=\sum_{\lambda=\pm}\int\!\!\int dx\,dx'\,i\hbar\Omega_{xx'}\,[A_{1\lambda}^{(S)}(x)A_{-1\lambda}^{(S)\dagger}(x')-\mathrm{H.c.}]$, whose real coupling profile $\Omega_{xx'}$ is nonzero only near the mirror interface. The argument is carried by the scattering operator $S_I$ obtained from this Hamiltonian: because the interaction-picture Hamiltonian only contains combinations that conserve $|k|$ after the time integration, the resulting exponential acts as a frequency-preserving unitary that swaps left- and right-moving excitations. The phase $\Xi_k$ controls the reflection amplitude and recovers the classical transmission and reflection ratios of a semi-transparent mirror.
What would settle it
Take two incoming wave packets with distinct frequencies $k_1$ and $k_2$ and calculate the exact time-ordered evolution generated by $H_I(t)$ from Eq. (52); if the result differs from the paper's $S_I$ acting on the same two-photon state, the 'no approximations' step from Eq. (50) to Eq. (53) is not valid beyond single-excitation inputs. A simpler check is to evaluate $[H_I(t),H_I(t')]$ for a generic profile $\Omega_{xx'}$: whenever it is nonzero, time-ordering cannot be ignored.
Extended reading notes
Core claim
The central claim is the existence of a Hermitian, time-independent mirror Hamiltonian $H_{\rm mirr}=H_{\rm dyn}+H_{\rm int}$ for light in one dimension that acts locally and only on incoming wave packets. The construction quantises both the positive- and the negative-frequency solutions of Maxwell's equations, effectively doubling the Hilbert space, and defines annihilation operators $A_{s\lambda}(x)$ for truly-localised field excitations with the bosonic commutator relations $[A_{s\lambda}(x),A_{s'\lambda'}^{\dagger}(x')]=\delta_{ss'}\delta_{\lambda\lambda'}\delta(x-x')$. The interaction Hamiltonian $H_{\rm int}$ couples a right-moving excitation at position $x$ to a left-moving excitation at $-x$ near the mirror plane, which is the quantum version of the classical mirror-image method. Working in the interaction picture, the paper derives the scattering operator $S_I=\exp\bigl(-(i/\hbar)\int_{-\infty}^{\infty}dt\,H_I(t)\bigr)$ and simplifies it to $S_I=\exp\!\bigl(-i\sum_{\lambda}\int_{-\infty}^{\infty}dk\,[\Xi_k\,a_{1\lambda}(k)\,a_{-1\lambda}^{\dagger}(k)+\mathrm{H.c.}]\bigr)$, with $\Xi_k=(i/c)\int\!\!\int dx\,dx'\,\Omega_{xx'}e^{ik(x+x')}$. This operator maps incoming to outgoing modes without changing frequency or polarisation, couples positive frequencies only to positive and negative only to negative, and for $|\Xi_k|=\pi/2$ produces complete reflection.
Load-bearing premise
The derivation of the scattering operator treats the time-ordered exponential as an ordinary exponential of the integrated Hamiltonian, which requires the interaction-picture Hamiltonian to commute with itself at different times; the paper does not prove this commutativity, and for the multimode operators it is generally false.
Editorial extensions
If this is right
- Light scattering by a two-sided semi-transparent mirror can be modelled by a Hermitian, time-independent Hamiltonian that acts only on incoming wave packets.
- The scattering operator preserves the frequency and polarisation of incoming photons, so positive-frequency photons remain positive and negative-frequency ones remain negative.
- For coupling strength $|\Xi_k|=\pi/2$, the model gives complete conversion of incoming into outgoing wave packets, i.e., perfect reflection.
- The Hamiltonian reproduces the classical mirror-image dynamics, including shape preservation of reflected wave packets, and can describe light approaching the mirror from both sides without unphysical interference.
Reading between the lines
- A rigorous treatment of the time-ordering in Eq. (50) would likely introduce small corrections for multi-photon inputs; testing two-photon scattering through the same mirror would expose them.
- The same doubled-Hilbert-space construction could yield local Hamiltonians for other optical elements, such as beam splitters with frequency-dependent reflectivity or dispersive media, by choosing $f(k)$ and $\Omega_{xx'}$ appropriately.
- If the scattering operator is truly unitary on the full Hilbert space, it implies an exact mapping between mirror scattering and a beamsplitter transformation on the doubled Hilbert space, which could be exploited in cascaded linear-optics networks.
- The position-space operators resemble temporal-mode descriptions of light, so the construction may connect to ultrafast quantum optics experiments with broadband photonic wave packets.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a position-space quantization of the one-dimensional electromagnetic field using both positive- and negative-frequency photon modes, introduces truly-local bosonic annihilation operators A_{sλ}(x), and uses them to construct a Hermitian, time-independent 'mirror Hamiltonian' H_mirr = H_dyn + H_int (Eq. 41). The authors claim that this Hamiltonian acts only on incoming wave packets and that the resulting scattering operator S_I (Eq. 53) maps incoming modes to outgoing modes, preserving frequency and polarization, with complete reflection when Ξ_k = π/2. They also provide an exactly solvable example in Section 4.4 with Ω_{xx'} = Ω(x) δ(x+x'), where Ehrenfest equations give a closed rotation of incoming and outgoing amplitudes.
Significance. If the general construction were valid, it would provide a local Hamiltonian model of a two-sided semi-transparent mirror and avoid the nonlocality of standard positive-frequency-only input-output treatments. The paper's strengths are its explicit construction of local bosonic position-space operators, the clean separation of the dynamical Hamiltonian from the positive energy observable, and the exactly solvable delta-profile example in Section 4.4, which is self-consistent and supported by a direct Ehrenfest calculation. The main limitation is that the general scattering-operator derivation omits time-ordering, so Eq. (53) is not established as the actual S-matrix of H_mirr for general Ω_{xx'}. The central idea is interesting and the special case works, but the general claim needs repair.
major comments (2)
- [§4.3, Eqs. (50)–(53)] The interaction-picture evolution generated by H_mirr is the time-ordered exponential U_I(∞,-∞) = T exp(-i/ℏ ∫_{-∞}^{∞} dt H_I(t)), not the ordinary exponential in Eq. (50). The latter agrees with the former only if [H_I(t), H_I(t')] = 0 for all t and t'. For the general profile in Eqs. (48)-(49) this commutativity is not established and is generally false: commutators of the beam-splitter terms A_1(x) A_{-1}^†(x') with their Hermitian conjugates contain δ-function factors such as δ(x-y) and δ(x'-y'), and these give a nonzero integrated commutator when the supports of Ω_{x+ct,x'-ct} and Ω_{y+ct',y'-ct'} overlap, as they do for any mirror of finite thickness. Hence Eq. (53) is not the exact S-matrix of the Hamiltonian dynamics, and the sentence after Eq. (53) stating that it 'has been derived without approximations' is not justified in the general case. A Magnus expansion would produce higher-order multi-mode terms that can modify the k-dependent phases and can mix the frequency sectors; only the special profile Ω_{xx'} = Ω(x) δ(x+x') of Section 4.4, where the generators at different positions commute, avoids this problem. Since Eq. (53) is the basis for the no-frequency-mixing conclusion and for the comparison in Eq. (56), this is a load-bearing issue.
- [§3, Eqs. (23) and (17); §4.1] The free dynamical Hamiltonian H_dyn in Eq. (23) has eigenvalues ℏck with k ranging over all real values and is therefore unbounded from below. The paper explicitly distinguishes H_dyn from the positive-definite energy observable H_eng in Eq. (17), but H_dyn remains the generator of time translations in Eq. (24) and is part of H_mirr in Eq. (41). Consequently the vacuum |0⟩ is not the ground state, and the model can in principle release arbitrarily large amounts of energy in transitions to deeply negative-frequency states. The manuscript should either show that the interaction-picture computation and the scattering operator are nevertheless well-defined and physically meaningful, or state clearly that the construction is a formal effective model whose stability is not addressed.
minor comments (4)
- [§4.2] In the paragraph defining incoming and outgoing wave packets, the second occurrence of 'x>0 and s=-1' for outgoing packets should presumably be 'x>0 and s=1'; as written, both outgoing cases have s=-1.
- [§3.2] The word 'locally-acing' should be 'locally-acting'.
- [§4.3, Eqs. (54) and (62)] According to Eq. (54), Ξ_k is defined as i times a real integral, so for real symmetric Ω_{xx'} it is purely imaginary. The condition for complete reflection should be Ξ_k = iπ/2 (or equivalently -iΞ_k = π/2), not Ξ_k = π/2 as stated in the text. In the Section 4.4 example the real rotation angle is ∫Ω dt, so the Ξ_k of Eq. (54) differs from the angle appearing in Eq. (62) by a factor i; the notation should be made consistent.
- [§4.3, Eq. (56)] The comparison of ∫ dt Ω_k with Ξ_k assumes a time-independent Ω_k in Eq. (55). The text should clarify why a time-dependent coupling Ω_k(t) with finite integral is not allowed, since such a coupling could satisfy Eq. (56).
Circularity Check
No significant circularity: the mirror Hamiltonian is an explicit construction, and the scattering operator is a derived consequence, not a fitted or reimported result.
full rationale
The paper's central result is a constructive existence claim: it defines the local mirror interaction H_int in Eq. (44) as an explicit Hamiltonian that annihilates a right-moving local excitation and creates a left-moving one, and then derives the scattering operator S_I in Eq. (53) from that Hamiltonian. This is not circular because the Hamiltonian is the model input, not a hidden rebranding of the target scattering amplitude; the S-matrix is the calculated consequence of the commutator algebra and Fourier transform. The paper is transparent that the Hamiltonian is constructed to reproduce known classical mirror-image dynamics, so there is no disguised fit or predicted quantity that is equal to its own input by construction. The self-citations, especially Refs. [19,20,28] from the same group, are used for context, prior proposals, and further details; they are not the load-bearing justification for the local-boson construction or for the scattering operator. A separate mathematical concern exists: Eq. (50) writes S_I as a bare exponential without a time-ordered product, which is not generally valid for the noncommuting H_I(t) of Eq. (52); however, that is a correctness issue, not a circularity issue, and it does not affect the circularity score.
Assumptions & free parameters
free parameters (3)
- Phase φ in the position-momentum kernel f(k) =
0
- Mirror coupling constants Ω_xx' =
unspecified (free functions)
- Integrated coupling for complete reflection =
∫ dx Ω(x) = cπ/2 (equivalently |Ξ_k|=π/2)
assumptions (4)
- domain assumption Both positive and negative frequency solutions of Maxwell's equations must be quantized, doubling the Hilbert space.
- domain assumption The dynamical Hamiltonian H_dyn may have negative eigenvalues and need not equal the positive energy observable H_eng.
- domain assumption The mirror is represented by a local classical c-number potential Ω_xx'.
- standard math Standard Fourier transform identities and delta-function manipulations are valid for the field operators.
invented entities (1)
-
Negative-frequency photon modes
Cite this review
Pith. "Pith review of Locally-acting mirror Hamiltonians." pith.science (2026). https://pith.science/paper/NVDV634I
@misc{pith2026190807597,
author = {Pith},
title = {Pith review of: Locally-acting mirror Hamiltonians},
year = {2026},
howpublished = {\url{https://pith.science/paper/NVDV634I}},
note = {Machine review of arXiv:1908.07597}
}
read the original abstract
Photons, i.e. the basic energy quanta of monochromatic waves, are highly non-localised and occupy all available space in one dimension. This non-local property can complicate the modelling of the quantised electromagnetic field in the presence of optical elements that are local objects. Therefore, in this paper, we take an alternative approach and quantise the electromagnetic field in position space. Taking into account the negative- {\em and} the positive-frequency solutions of Maxwell's equations, we construct annihilation operators for highly-localised field excitations with bosonic commutator relations. These provide natural building blocks of wave packets of light and enable us to construct locally-acting interaction Hamiltonians for two-sided semi-transparent mirrors.
Figures
Reference graph
Works this paper leans on
- [1]
-
[2]
T. G. Philbin, New J. Phys. 12, 123008 (2010)
work page 2010
-
[3]
S. Y. Buhmann, Dispersion Forces I – Macroscopic Quantum Electrodynamics and Ground-State Casimir, Casimir–Polder and van der Waals Forces , Springer Tracts in Modern Physics 247, Springer (Heidelberg, 2012)
work page 2012
-
[4]
M. B. Nasr, S. Carrasco, B. E. Saleh, A. V. Sergienko, M. C. Teich, J. P. Torres, L. Torner, D. S. Hum, and M. M. Fejer, Phys. Rev. Lett. 100, 183601 (2008)
work page 2008
- [5]
- [6]
-
[7]
U. A. Javid, J. Ling, J. Staffa, M. Li, Y. He and Q. Lin, Ultra-broadband entangled photons on a nanophotonic chip , arXiv:2101.04877 (2021)
work page Pith review arXiv 2021
-
[8]
C. K. Carniglia and L. Mandel, Phys. Rev. D 3, 280 (1971)
work page 1971
Show all 62 references
-
[9]
G. S. Agarwal, Phys. Rev. A 11, 230 (1975)
1975
-
[10]
M. J. Collett and C. W. Gardiner, Phys. Rev. A 30, 1386 (1984)
1984
-
[11]
C. W. Gardiner and M. J. Collett, Phys. Rev. A 31, 3761 (1985)
1985
-
[12]
Dilley, P
J. Dilley, P. Nisbet-Jones, B. W. Shore, and A. Kuhn, Phys. Rev. A 85, 023834 (2012)
2012
-
[13]
Kn¨ oll, W
L. Kn¨ oll, W. Vogel, and D.-G. Welsch, Phys. Rev. A36, 3803 (1987)
1987
-
[14]
Meschede, W
D. Meschede, W. Jhe, and E. A. Hinds, Phys. Rev. A 41, 1587 (1990)
1990
-
[15]
R. J. Glauber and M. Lewenstein, Phys. Rev. A 43, 467 (1991)
1991
-
[16]
Huttner and S
B. Huttner and S. M. Barnett, Phys. Rev. A 46, 4306 (1992)
1992
-
[17]
B. J. Dalton, S. M. Barnett, and P. L. Knight, J. Mod. Opt. 46,1315 (1999)
1999
-
[18]
Creatore and L
C. Creatore and L. C. Andreani, Phys. Rev. A 78, 063825 (2008)
2008
-
[19]
Furtak-Wells, L
N. Furtak-Wells, L. A. Clark, R. Purdy and A. Beige, Phys. Rev. A 97, 043827 (2018)
2018
-
[20]
Dawson, N
B. Dawson, N. Furtak-Wells, T. Mann, G. Jose and A. Beige, The quantum optics of asymmetric mirrors with coherent light absorption , submitted (2021)
2021
-
[21]
Zakowicz, Phys
W. Zakowicz, Phys. Rev. A 52, 882 (1995)
1995
-
[22]
J. D. Jackson, Classical Electrodynamics (John Wiley & Sons, 1998)
1998
-
[23]
Fermi, Rev
E. Fermi, Rev. Mod. Phys. 4, 87 (1932)
1932
-
[24]
G. C. Hegerfeldt, Phys. Rev. Lett. 72, 596 (1994)
1994
-
[25]
Milonni, D
P. Milonni, D. James, and H. Fearn, Phys. Rev. A 52, 1525 (1995)
1995
-
[26]
Bennett, T
R. Bennett, T. M. Barlow, and A. Beige, Eur. J. Phys. 37, 014001 (2016)
2016
-
[27]
R. D. Gray and D. H. Kobe, J. Phys. A 15, 3145 (1982)
1982
-
[28]
Hodgson, J
D. Hodgson, J. Southall, R. Purdy and A. Beige, Quantising the electromagnetic field in position space, arXiv:2104.04499 (2021)
2021 arXiv
-
[29]
Bialinycki-Birula, Acta Phys
I. Bialinycki-Birula, Acta Phys. Pol. A 86, 97 (1994)
1994
-
[30]
J. E. Sipe, Phys. Rev. A 52, 1875 (1995)
1995
-
[31]
Bialinycki-Birula, Prog
I. Bialinycki-Birula, Prog. Opt. 36, 245 (1996)
1996
-
[32]
R. J. Cook, Phys. Rev. A 25, 2164 (1982)
1982
-
[33]
R. J. Cook, Phys. Rev. A 26, 2754 (1982)
1982
-
[34]
Inagaki, Phys
T. Inagaki, Phys. Rev. A 49, 2839 (1994). 20
1994
-
[35]
Pavsic, Theory
M. Pavsic, Theory. Adv. Appl. Clifford Algebras 28, 89 (2018)
2018
-
[36]
J. M. Knight, J. Math. Phys. 2, 459 (1961)
1961
-
[37]
K. W. Chan, C. K. Law, and J. H. Eberly, Phys. Rev. Lett. 88, 100402 (2002)
2002
-
[38]
Keller, Phys
O. Keller, Phys. Rep. 411, 1 (2005)
2005
-
[39]
Bialinycki-Birula and Z
I. Bialinycki-Birula and Z. Bialinycki-Birula, Phys. Rev. A 79, 032112 (2009)
2009
-
[40]
T. D. Newton and E. P. Wigner, Rev. Mod. Phys. 21, 400 (1949)
1949
-
[41]
A. S. Wightmann, Rev. Mod. Phys. 34, 845 (1962)
1962
-
[42]
Hegerfeldt, Phys
G.C. Hegerfeldt, Phys. Rev. Lett. 54, 2395 (1985)
1985
-
[43]
D. B. Malament, In Defense of Dogma: Why There Cannot be a Relativistic Quantum Mechanics of (Localizable) Particles , in R. Clifton, Perspectives on Quantum Reality. The University of Western Ontario Series in Philosophy of Science , Vol. 57 (Springer, Dordrecht, 1996)
1996
-
[44]
Hawton, Phys
M. Hawton, Phys. Rev. A 59, 954 (1999)
1999
-
[45]
Hawton and W
M. Hawton and W. E. Baylis, Phys. Rev. A 64, 012101 (2001)
2001
-
[46]
Hawton, Phys
M. Hawton, Phys. Rev. A 75, 062107 (2007)
2007
-
[47]
Hawton and V
M. Hawton and V. Debierre, Phys. Lett. A 381, 1926 (2017)
2017
-
[48]
Hawton, Phys
M. Hawton, Phys. Rev. A 100, 012122 (2019)
2019
-
[49]
U. M. Titulaer and R. J. Glauber, Phys. Rev. 145, 1041 (1966)
1966
-
[50]
B. J. Smith and M. G. Raymer, New J. Phys. 9, 414 (2007)
2007
-
[51]
M. G. Raymer and I. A. Walmsley, Phys. Scripta 95, 064002 (2020)
2020
-
[52]
Weinberg, The Quantum Theory of Fields , Volume 1, Cambridge University Press (Cambridge, 1995)
S. Weinberg, The Quantum Theory of Fields , Volume 1, Cambridge University Press (Cambridge, 1995)
1995
-
[53]
Schwinger, J
J. Schwinger, J. Math. Phys. 2, 407 (1961)
1961
-
[54]
J. A. Vaccaro, Found. Phys. 41, 1569 (2011)
2011
-
[55]
J. A. Vaccaro, Proc. R. Soc. A 472, 20150670 (2016)
2016
-
[56]
Widom, J
A. Widom, J. Swain, Y. N. Srivastava, M. Blasone and G. Vitiello, Phys. Scr. 94, 115505 (2019)
2019
-
[57]
Bohr and L
N. Bohr and L. Rosenfeld, Phys. Rev. 78, 794 (1950)
1950
-
[58]
Leonhardt, Essential Quantum Optics: From Quantum measurements to Black Holes , Cambridge University Press (Cambridge, 2012)
U. Leonhardt, Essential Quantum Optics: From Quantum measurements to Black Holes , Cambridge University Press (Cambridge, 2012)
2012
-
[59]
T. M. Barlow, R. Bennett and A. Beige, J. Mod. Opt. 62, S11 (2015)
2015
-
[60]
Stokes, P
A. Stokes, P. Deb and A. Beige, J. Mod. Opt. 64 , S7 (2017)
2017
-
[61]
H. F. Hofmann and O. Hess, Phys. Rev. A 59, 2342 (1999)
1999
-
[62]
Maybee, D
B. Maybee, D. Hodgson, A. Beige and R. Purdy, Entropy 21, 844 (2019). 21
2019
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.