REVIEW 2 major objections 5 minor 34 references
Gravitational redshift as a quantum channel: modeling the effects of gravitational redshift in quantum optics
T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Gravitational redshift cannot be reduced to a finite multi-mode mixer; the paper replaces it with a Gaussian quantum channel.
desk verdict A solid no-go theorem plus a useful Gaussian channel model for gravitational redshift; the central results hold, but the fidelity section needs fixing and the auxiliary vacuum is a stipulated convention, not a derivation. 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 load-bearing object is the unitary frequency-shift operator $U_\chi$, defined by $(U_\chi f)(\omega)=\chi^{-1}f(\chi^{-2}\omega)$, which encodes how a wave-packet spectrum transforms between stationary observers with redshift parameter $\chi$. Its moments scale as $\mu_k[U_\chi f]=\chi^{2k}\mu_k[f]$, and that scaling is what forces the no-go theorem: a finite invariant subspace would have to consist of spectra with infinite moments. The paper then works with the finite-dimensional compression $u_\chi = P_V U_\chi|_V$, whose entries are the measurable transition amplitudes, and with the Halmos unitary dilation $\Upsilon_\chi$ on $V\oplus V$. Second-quantizing that dilation yields a Bogolyubov transformation, and restricting to the physical modes produces the Gaussian channel $\mathcal{N}_\chi(\Sigma)=X_\chi \Sigma X_\chi^\dagger + Y_\chi$ with $Y_\chi=I-u_\chi u_\chi^\dagger$. This machinery turns a functional-analytic obstruction into a concrete channel-plus-noise description.
What would settle it
Send a squeezed single-mode state through a well-characterized stationary gravitational redshift, such as a ground-to-geostationary uplink, and tomograph the output covariance matrix; the channel predicts added noise $Y_\chi=I-u_\chi u_\chi^\dagger$ and, for an initially pure state, a fidelity that stays $1$ for unsqueezed states. Observing different added noise, or any fidelity drop for an unsqueezed coherent state, would refute the model.
Extended reading notes
Core claim
The core claim is a no-go theorem plus a constructive solution. For any finite set $B=\{f_i\}$ of frequency spectra with finite moments of some order $k>0$, the span of $B$ is invariant under the redshift operator $(U_\chi f)(\omega)=\chi^{-1} f(\chi^{-2}\omega)$ if and only if $\chi=1$. Therefore, for $\chi\neq 1$, the matrix $u_{ij}(\chi)=(f_i, U_\chi f_j)$ is a non-unitary compression of $U_\chi$ rather than a restriction, and no finite collection of physically reasonable mode functions can close under redshift. The paper's resolution is to treat that compression as the complete single-photon description, or to dilate it with the Halmos construction to a unitary $\Upsilon_\chi$ on $V\oplus V$; second-quantizing $\Upsilon_\chi$ and tracing out the auxiliary modes gives the Gaussian channel $\mathcal{N}_\chi(\Sigma)=X_\chi \Sigma X_\chi^\dagger + Y_\chi$ with $Y_\chi = I - u_\chi u_\chi^\dagger$. The non-unitarity of $u_\chi$ is thus not photon loss but the natural shadow of a unitary operator on a finite, non-invariant mode set.
Load-bearing premise
The load-bearing physical convention is that the auxiliary modes introduced by the Halmos dilation begin in the vacuum state and remain completely unobservable, since the noise term $Y_\chi=I-u_\chi u_\chi^\dagger$ is derived from that choice even though the field theory does not force it; the finite-moment regularity condition on the spectra is a second, milder premise.
Editorial extensions
If this is right
- Single-photon transmission amplitudes between stationary observers are exactly $(f_i, U_\chi f_j)$, so no auxiliary perpendicular modes are needed for predictions, and photon number is preserved for arbitrarily strong shifts.
- No finite unitary matrix can represent the redshift of well-behaved spectra unless $\chi=1$; the non-unitarity seen in earlier models is a projection artifact rather than photon loss.
- For Gaussian input states the redshift becomes a computable Gaussian channel, opening the covariance-matrix toolbox for satellite-based quantum communication and channel-capacity studies.
- The channel nonunitarity $\eta(\chi)=1-\frac{1}{n}\sum_{i,j}|u_{ij}(\chi)|^2$ is state-independent, symmetric under $\chi\leftrightarrow 1/\chi$, and the filtered round trip obeys $\eta_{\updownarrow}(\chi)\geq \eta_{\uparrow}(\chi)$, making round trips strictly more nonunitary.
- For an initially pure state, fidelity reduction under redshift appears only when the state is squeezed; unsqueezed coherent states keep unit fidelity, so squeezing is the resource that makes the effect visible.
Reading between the lines
- If the channel is truly Gaussian, the classical and quantum capacities of a redshifted link are fixed by $X_\chi$ and $Y_\chi$; computing them would show whether gravitational redshift itself can degrade or assist communication beyond the loss implied by the noise term.
- The vacuum state chosen for the auxiliary modes is one convention among many; equipping the dilation with thermal or squeezed auxiliary states would produce different effective channels, and comparing these with multi-photon field-theoretic amplitudes could identify the physically correct dilation.
- The no-go theorem implies that any finite-dimensional frequency-mode code will suffer an irreducible redshift-induced noise floor; encoding over a continuum of modes may be required to keep the shift effectively unitary.
- A tabletop test could use a tunable frequency-shifting element that approximates $U_\chi$ and tomograph squeezed vacuum before and after; the predicted added-noise matrix $Y_\chi=I-u_\chi u_\chi^\dagger$ is specific enough that failure would point to non-Gaussian or non-vacuum auxiliary dynamics.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates the quantum-mechanical description of the gravitational frequency shift of photons in stationary spacetimes. The authors identify the frequency-shift operator U_χ on L^2(R_+) defined in Eq. (11), and prove a no-go theorem: if {f_i} is a finite set of spectra with finite moments of some order k>0, then their span is invariant under U_χ if and only if χ=1. Hence, for χ≠1, the matrix u_ij(χ)=(f_i,U_χ f_j) is a non-unitary compression of U_χ, which explains the reported failure of unitarity in the multi-mode mixer (MMM) model. The paper proposes two corrections: a 'self-contained' field-theoretic approach that uses the compression directly without matrix representations, and a unitary Halmos dilation Υ_χ on V⊕V (Eq. (39)) that reproduces the transmission amplitudes while remaining unitary. From this dilation, the authors construct a Gaussian quantum channel N_χ(Σ)=X_χ Σ X_χ† + Y_χ (Eq. (52)) by tracing out auxiliary modes that are initially in the vacuum state. They study the channel fidelity, introduce a state-independent 'channel nonunitarity' measure, and analyze a round-trip protocol with a spectral filter at the intermediate station.
Significance. The paper makes a substantive contribution to a current debate in quantum optics about the validity of the MMM model for gravitational redshift. The no-go theorem identifies a clear mathematical obstruction (the absence of regular finite-dimensional invariant subspaces), and the explicit Halmos dilation provides a constructive way to apply quantum-information-theoretic tools, including the covariance-matrix formalism for Gaussian states. The channel formula and the nonunitarity measure are explicit, analytically derived, and ready for numerical implementation. If the issues raised below are addressed, the paper should be of interest to the relativistic-quantum-information community.
major comments (2)
- [Section II, Eq. (27)] In the proof of the Theorem, the bound in Eq. (27) is not a valid application of Cauchy–Schwarz and is false in general: for a single normalized function f with μ_k(f)<1 it would give μ_k(f) ≤ μ_k(f)^2. The correct bound is μ_k(f'_i) ≤ (∑_j |α_ij| ∥f_j∥ √(μ_k(f_j)))^2 / ∥f'_i∥^2, where ∥f'_i∥=1 for the orthonormal basis employed. Since the Theorem also follows directly from the Proposition, the conclusion is not in doubt, but the proof as written needs a corrected inequality or should be replaced by the direct argument.
- [Section IV.B, Eqs. (50a)-(50b)] The Gaussian channel N_χ of Eq. (52) is derived under the assumption that the auxiliary degrees of freedom of the Halmos dilation are initially in the vacuum state and are unobservable after the trace. This condition is called 'natural' but is not derived from the field theory of Section III.A. The dilation is not unique, and different initial states of the auxiliary modes would yield different reduced channels, changing predictions such as fidelity and channel capacity. The authors should either justify this vacuum boundary condition from the physical setup or explicitly state that the channel is one possible effective model and examine the sensitivity of the results to this convention.
minor comments (5)
- [Section IV.D, Eq. (63)] The round-trip channel is stated without a derivation. Please show explicitly how the composition of N_χ, the spectral filter at the intermediate node, and N_{1/χ} leads to the form (63), particularly the noise term I - Z_χ Z_χ†.
- [Section II, Eq. (18)] The notation |n|! for negative n is nonstandard; please define it (presumably (−n)! for n<0) or rewrite the Laurent expansion with separate sums over positive and negative n.
- [Figure 2] The caption defines α = ln(ω_0/σ) but does not give the actual values of ω_0 and σ used in the numerical plots; please state the full parametrization of the Gaussian spectra and the integration method used.
- [Throughout] The abbreviation 'mmm' appears in lowercase in the abstract and in uppercase 'MMM' in the body; please unify.
- [Section V] The statement that 'the present analysis extends these results to arbitrarily strong gravitational frequency shifts' is supported for the formal model, but the authors should note that the stationary-spacetime assumption (and restriction to geostationary orbits for satellite applications) remains a limitation.
Circularity Check
No significant circularity: the no-go theorem and channel construction are self-contained, and prior self-citations are not load-bearing.
full rationale
The paper's central no-go theorem (Section II) is proved in-line from the definition of U_chi and the moment scaling relation mu_k[U_chi f] = chi^(2k) mu_k[f]: if a finite set of spectra with finite moments spanned an invariant subspace, then chi would have to equal 1. This is an independent mathematical argument and does not rely on the cited criticism [12], even though that criticism is acknowledged as motivation. The compression u_chi in Eq. (29) and the Halmos dilation in Eq. (39) are standard constructions, and the Gaussian channel N_chi in Eq. (52) is explicitly assembled from u_chi, with the stated assumption of vacuum auxiliary modes in Eq. (50). That assumption is a transparent modeling convention rather than a fitted parameter disguised as a prediction, and the channel is presented as a model that reproduces the field-theoretic amplitudes (43) by construction. The predictions derived from the channel, such as fidelity and the channel nonunitarity, are computed consequences of this explicit model rather than independent empirical outputs that secretly coincide with the inputs. Prior self-citations [10-12,19] supply motivation, notation, and comparison, but the load-bearing steps are either rederived in the text or proved from first principles here. There is therefore no circularity of the kind prohibited; the main caveat, that the channel depends on the vacuum state of the unobserved auxiliary modes, is a physical modeling assumption and not a circular step.
Assumptions & free parameters
assumptions (7)
- domain assumption Stationary spacetime with timelike Killing vector; observer frequency relates to Killing frequency by ω_a ζ_a = constant, giving the Uχ transformation of Eq. (11).
- domain assumption The wave-packet inner product and rescaled spectra are defined so that Uχ is unitary on L2(R+) (Eqs. (5)-(11)).
- domain assumption Standard Fock quantization in curved spacetime: single-photon states are created by ladder operators â†(f) with commutators given by Klein-Gordon products, and â(f) = b̂(Uχ f).
- domain assumption Physically relevant frequency spectra have finite moments of some order k>0 (regularity), excluding irregular invariant subspaces.
- standard math Halmos dilation theorem: any contraction u on a Hilbert space has a unitary dilation on V⊕V of the form Eq. (39).
- ad hoc to paper Auxiliary modes introduced by the dilation are initially in the vacuum state and are unobservable after tracing (Eq. (50)).
- standard math Gaussian states are fully characterized by displacement and covariance; the fidelity formulas (56)-(60) as applied assume two-mode Gaussian states (or correct n-mode normalization).
invented entities (1)
-
Auxiliary modes added by the Halmos dilation
Cite this review
Pith. "Pith review of Gravitational redshift as a quantum channel: modeling the effects of gravitational redshift in quantum optics." pith.science (2026). https://pith.science/paper/AK5D733J
@misc{pith2026260803549,
author = {Pith},
title = {Pith review of: Gravitational redshift as a quantum channel: modeling the effects of gravitational redshift in quantum optics},
year = {2026},
howpublished = {\url{https://pith.science/paper/AK5D733J}},
note = {Machine review of arXiv:2608.03549}
}
read the original abstract
The gravitational frequency shift of light is well understood in the theory of classical electromagnetism. Nevertheless, its description in quantum theory is not yet fully developed. Recent work pointed out inconsistencies in previously developed models aimed at describing the gravitational redshift as an effective multi-mode mixer (MMM) acting on modes of light, but so far a complete solution of these issues was not obtained. Here, we identify the root cause of the MMM model's inconsistency and provide two complementary approaches to correct it: a "natural" one from a field-theoretic perspective, and another adapted to the language of quantum mechanics of finite-dimensional systems. We show that the second approach allows for modeling of the redshift in a multi-mode transmission setup as a quantum channel that can be characterized using standard quantum information-theoretic techniques when restricting the input states to Gaussian states of light.
Figures
Figures from the paper (1 more)
Reference graph
Works this paper leans on
-
[1]
A. Einstein, Über das Relativitätsprinzip und die aus dem- selben gezogenen Folgerungen, Jahrbuch der Radioaktivität und Elektronik4, 411 (1908)
work page 1908
-
[2]
R. V. Pound and G. A. Rebka, Apparent Weight of Photons, Phys. Rev. Lett.4, 337 (1960)
work page 1960
-
[3]
J. I. González Hernández, R. Rebolo, L. Pasquini, G. Lo Curto,P.Molaro,E.Caffau,H.-G.Ludwig,M.Steffen,M.Es- posito,A.SuárezMascareño,B.Toledo-Padrón,R.A.Probst, T. W. Hänsch, R. Holzwarth, A. Manescau, T. Steinmetz, T.Udem,andT.Wilken,Thesolargravitationalredshiftfrom HARPS-LFC Moon spectra. A test of the general theory of relativity, A&A643, A146 (2020),...
work page Pith review arXiv 2020
- [4]
-
[5]
R. M. Wald,General relativity(Chicago University Press, 1984)
work page 1984
-
[6]
A. Harvey, E. Schucking, and E. J. Surowitz, Redshifts and Killingvectors,AmericanJournalofPhysics74,1017(2006), arXiv:gr-qc/0508125 [gr-qc]
work page Pith review arXiv 2006
-
[7]
Spherical scalar waves and gravity - red shift and backscattering
E. Malec, N. Ó Murchadha, and T. Chmaj, Spherical scalar waves and gravity - redshift and backscattering, Classical and Quantum Gravity15, 1653 (1998), arXiv:gr-qc/9712022 [gr-qc]
work page Pith review arXiv 1998
-
[8]
Schwarzschild horizon and the gravitational redshift formula
E. Malec, Schwarzschild horizon and the gravitational red- shiftformula,ClassicalandQuantumGravity19,571(2002), arXiv:gr-qc/0110073 [gr-qc]
work page Pith review arXiv 2002
Show all 34 references
-
[9]
Karkowski and E
J. Karkowski and E. Malec, Gravitational redshifts in elec- tromagnetic bursts occurring near Schwarzschild horizon, Classical and Quantum Gravity20, 85 (2003), arXiv:gr- qc/0211104 [gr-qc]
2003
-
[10]
D. E. Bruschi and A. W. Schell, Gravitational Redshift Induces Quantum Interference, Annalen der Physik535, 2200468 (2023), arXiv:2109.00728 [quant-ph]
2023 arXiv
-
[11]
L. A. Alanís Rodríguez, A. W. Schell, and D. E. Bruschi, Introduction to gravitational redshift of quantum photons propagating in curved spacetime, inJournal of Physics Conference Series, Journal of Physics Conference Series, Vol. 2531 (IOP, 2023) p. 012016, arXiv:2303.17412 [...
2023 arXiv
-
[12]
Leber, L
N. Leber, L. A. Alanís Rodríguez, A. Ferreri, A. W. Schell, and D. E. Bruschi, Limits to the validity of gravitational redshift as a quantum-optical multimode mixer, Interna- tional Journal of Theoretical Physics65, 10.1007/s10773- 026-06297-2 (2026)
2026 doi
-
[13]
T. B. Mieling and M. Hudelist, Fiber optics in curved space-times, Physical Review Research7, 013162 (2025), arXiv:2410.23048 [gr-qc]
2025 arXiv
-
[14]
T. B. Mieling, T. Morling, C. Hilweg, and P. Walther, Quantum interferometry in external gravitational fields, Phys. Rev. A112, 062211 (2025), arXiv:2507.21808 [gr- qc]
2025
-
[15]
A. I. Harte, Self-forces from generalized Killing fields, Classical and Quantum Gravity25, 235020 (2008), arXiv:0807.1150 [gr-qc]
2008 arXiv
-
[16]
R. M. Wald,Quantum Field Theory in Curved Space-Time and Black Hole Thermodynamics, Chicago Lectures in Physics (University of Chicago Press, Chicago, IL, 1995)
1995
-
[17]
Srednicki,Quantum Field Theory(Cambridge University Press, Cambridge, 2007)
M. Srednicki,Quantum Field Theory(Cambridge University Press, Cambridge, 2007)
2007
-
[18]
C.ItzyksonandJ.-B.Zuber,QuantumFieldTheory(McGraw- Hill International Book Company, 1980)
1980
-
[19]
D. E. Bruschi, T. C. Ralph, I. Fuentes, T. Jennewein, and M. Razavi, Spacetime effects on satellite-based quan- tum communications, Phys. Rev. D90, 045041 (2014), arXiv:1309.3088 [quant-ph]
2014 arXiv
-
[20]
D. E. Bruschi, S. Chatzinotas, F. K. Wilhelm, and A. W. Schell, Spacetime effects on wavepackets of coherent light, Phys. Rev. D104, 085015 (2021), arXiv:2106.12424 [quant- ph]
2021 arXiv
-
[21]
J.DerezińskiandC.Gérard,MathematicsofQuantizationand Quantum Fields, Cambridge Monographs on Mathematical Physics (Cambridge University Press, 2022)
2022
-
[22]
K.HoffmanandR.Kunze,LinearAlgebra,2nded.(Prentice- Hall, 1971)
1971
-
[23]
P. R. Halmos,A Hilbert Space Problem Book, 2nd ed. (Springer, 1982)
1982
-
[24]
Ashtekar and A
A. Ashtekar and A. Magnon, Quantum Fields in Curved Space-Times, Proceedings of the Royal Society of London Series A346, 375 (1975)
1975
-
[25]
S. A. Fulling,Aspects of Quantum Field Theory in Curved Spacetime, London Mathematical Society Student Texts No. 17 (Cambridge University Press, 1989)
1989
-
[26]
P. L. Robinson, Julia operators and Halmos dilations (2018), arXiv:1803.09329 [math.FA]
2018 arXiv
-
[27]
Adesso, S
G. Adesso, S. Ragy, and A. R. Lee, Continuous variable quantum information: Gaussian states and beyond, Open Systems & Information Dynamics21, 1440001 (2014)
2014
-
[28]
J.EisertandM.M.Wolf,Gaussianquantumchannels(2005), arXiv:quant-ph/0505151 [quant-ph]
2005 arXiv
-
[29]
M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information(Cambridge University Press, 2010)
2010
-
[30]
Paraoanu and H
G.-S. Paraoanu and H. Scutaru, Fidelity for multimode ther- mal squeezed states, Phys. Rev. A61, 022306 (2000)
2000
-
[31]
Marian and T
P. Marian and T. A. Marian, Uhlmann fidelity between two- mode gaussian states, Phys. Rev. A86, 022340 (2012)
2012
-
[32]
T.Heib,P.Lageyre,A.Ferreri,F.K.Wilhelm,G.S.Paraoanu, D.Burgarth,A.W.Schell,andD.EdwardBruschi,Bounding the rotating wave approximation for coupled harmonic oscil- lators, Journal of Physics A: Mathematical and Theoretical 58, 175304 (2025)
2025
-
[33]
Williamson, On the algebraic problem concerning the normalformsoflineardynamicalsystems,AmericanJournal of Mathematics58, 10.2307/2371062 (1936)
H. Williamson, On the algebraic problem concerning the normalformsoflineardynamicalsystems,AmericanJournal of Mathematics58, 10.2307/2371062 (1936)
1936 doi
-
[34]
S. L. Braunstein, Squeezing as an irreducible resource, Phys. Rev. A71, 055801 (2005)
2005
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.