Pith. sign in

REVIEW 4 major objections 5 minor 26 references

Coherence of quantum Gaussian channels

T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Coherence measures for Gaussian channels can be built from state coherence measures.

desk verdict An interesting and clearly written resource-theory framework for Gaussian channel coherence, but the central superchannel representation is asserted rather than proved. read the letter →

arxiv 1908.04912 v1 pith:7H4KY43I submitted 2019-08-14 quant-ph

Jianwei Xu This is my paper · ORCID
classification quant-ph PACS 03.65.Ud03.67.Mn03.65.Aa
keywords Gaussianchannelscoherencemeasuresincoherentsuperchannelsresourcetheorycontinuous-variablequantuminformationrelativeentropyofChoistate
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper extends coherence from quantum states to Gaussian channels, the continuous-variable operations on modes of light used throughout quantum optics. It defines a Gaussian channel as incoherent when it sends every thermal Gaussian state to an incoherent Gaussian state, and it characterizes both these channels and the superchannels that preserve them. The central result is a recipe: given any coherence measure on Gaussian states that is nonnegative, vanishes only on thermal states, and does not increase under incoherent Gaussian channels, the supremum of that measure over thermal inputs defines a genuine coherence measure for Gaussian channels. Applying the recipe to relative entropy yields an explicit, computable measure with closed formulas for constant and displacement channels. If the result stands, the static theory of state coherence transfers wholesale to the dynamic setting of channels.

What carries the argument

The load-bearing object is the Choi state of a Gaussian channel, Eq. (16), a $2n$-mode Gaussian state built from the channel's matrices $T,N$ and a finite squeezing parameter $r$. The proof varies $r$ over all real values, which forces the block matrices in the output covariance matrix to satisfy the identities (A.17)-(A.25); these pin down the form of a Gaussian superchannel and, via two matrix lemmas, force incoherence-preserving superchannels to be conjugation by incoherent channels. The identity $\Sigma_n\Omega\Sigma_n = -\Omega$ is used repeatedly to move between equivalent forms of the superchannel condition. The channel-state correspondence remains at finite $r$ throughout; no infinite-squeezing limit is taken.

What would settle it

A decisive two-mode test is to choose $A=0$ and $O$ a four-by-four orthogonal matrix that mixes the two modes instead of mapping each mode block to a single output block, set $Y = \eta_1 I_2 \oplus \eta_2 I_2$, and ask whether the resulting Gaussian superchannel $\Phi$ maps every incoherent Gaussian channel to an incoherent Gaussian channel. Since Theorem 4 predicts $O$ must lie in $T_n$, an $O$ that mixes modes while preserving the incoherent set would falsify the classification; the same example can be checked against the finite-r Choi equations to test the missing infinite-squeezing limit.

Watch

Extended reading notes

Core claim

The paper's central claim is that a resource theory for the coherence of Gaussian channels is determined by two free-operation definitions. Theorem 1 says an incoherent Gaussian channel has zero displacement, acts on each mode's covariance matrix through at most one orthogonal $2\times 2$ block (up to a scale factor), and adds isotropic noise at least as large as the leakage from mode coupling. Theorem 2 represents every Gaussian superchannel by matrices $(A,O,Y,\bar d)$ acting on the channel parameters as $T' = A T \Sigma_n O^t \Sigma_n$, $N' = A N A^t + Y$, $d' = A d + \bar d$; Theorem 3 rewrites this as $\varphi_2 \circ \varphi \circ \varphi_1$ with fixed Gaussian channels. Theorem 4 proves that the incoherent Gaussian superchannels are exactly those of the form $\chi_2 \circ \varphi \circ \chi_1$ with fixed incoherent Gaussian channels $\chi_1,\chi_2$. Theorem 5 then lifts any Gaussian-state coherence monotone $C$ to a channel coherence measure $C(\varphi) = \sup_{\rho_{\rm th}\in IGS_n} C[\varphi(\rho_{\rm th})]$, and the relative-entropy choice gives $C_r(\varphi)$ with the closed formulas in Eqs. (28)-(31).

Load-bearing premise

The proof treats the finite-squeezing Choi state as a faithful stand-in for the channel and draws conclusions from matrix equations that hold as the squeezing parameter $r$ varies, but it never passes to the infinite-squeezing limit; if some Gaussian superchannel acts differently on that limit, the structural characterization in Theorem 4 is not established.

Editorial extensions

If this is right

  • Any state coherence measure satisfying faithfulness and monotonicity under incoherent Gaussian channels automatically defines a valid Gaussian-channel coherence measure by Eq. (26), so the existing menu of state measures becomes a menu of channel measures.
  • The free operations are exactly composition with incoherent Gaussian channels before and after the channel: by Theorem 4, monotonicity under the pair of conditions (C3a) and (C3b) is equivalent to the full monotonicity axiom (C2).
  • The relative-entropy measure $C_r$ is additive under tensor products, and for a multimode displacement channel it evaluates as $C_r[D(\lambda)] = \sum_j f(|\lambda_j|^2)$, giving a closed, mode-by-mode formula.
  • Constant Gaussian channels have channel coherence equal to the state coherence of their fixed output state, so creating a coherent output from a thermal input costs exactly the coherence of that output state.
  • Because the definitions are resource-nongenerating, no free operation can increase the coherence of a channel, making the measure operationally meaningful as a monotone.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same supremum construction should generalize beyond Gaussian channels: the proof of Theorem 5 uses only faithfulness, monotonicity, and closure of the free operations, so any resource theory of states whose free operations form a closed set of channels inherits a channel-level measure by the same formula; the paper does not state this extension.
  • The divergence caveat the paper flags is likely to matter in practice: for some state measures (Bures or Hellinger based) the supremum over unbounded thermal squeezing may be infinite, so a usable theory may need finite-energy cutoffs or a renormalized version of Eq. (26).
  • A natural next test is to compute $C_r$ for elementary continuous-variable gates such as beam splitters, squeezers, and amplifiers; additivity and the displacement formula give the base values, and axiom (C2) predicts concrete inequalities among these gate coherences that can be checked numerically.
  • Theorem 4 implies the Gaussian coherence resource theory has no hidden free superchannels beyond pre- and post-composition with incoherent channels, which if correct makes the monotonicity axiom fully determined by the free operations alone.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper develops a resource theory for coherence of Gaussian channels in continuous-variable systems. It defines incoherent Gaussian channels (IGC) as Gaussian channels that map every thermal Gaussian state to a thermal Gaussian state, and characterizes them in Theorem 1 as channels with zero displacement, a block-permuted orthogonal matrix T, and diagonal noise satisfying an inequality. It then defines incoherent Gaussian superchannels (IGSC) as superchannels that preserve IGC, and claims in Theorem 4 that a Gaussian superchannel is incoherent iff it acts as Phi(phi)=chi2 o phi o chi1 with fixed chi1,chi2 in IGC. Theorem 5 constructs a coherence measure for Gaussian channels from any coherence monotone for Gaussian states via C(phi)=sup_{rho_th in IGS_n} C[phi(rho_th)], with the relative-entropy measure giving an explicit formula; two examples (constant channels and displacement channels) are computed.

Significance. If the structural results were correct, the paper would provide a clean framework for dynamic coherence in the Gaussian setting: an explicit characterization of free operations and a generic lifting of state coherence measures to channel coherence measures. The displacement-channel formula Cr[D(lambda)] = sum_j f(|lambda_j|^2) is concrete and testable, and the idea of defining channel coherence by maximizing a state coherence monotone over thermal inputs is natural. The main weakness is that the central structural theorem for Gaussian superchannels is not established as stated and appears to be false for a natural class of superchannels. This affects the derivation of the free-operation set and hence the monotonicity axiom (C2) for the proposed resource theory.

major comments (4)
  1. [Section II, Theorem 2] The representation in Theorem 2 is not valid for all Gaussian superchannels. Let U_S be the Gaussian unitary associated with a real symplectic matrix S that is not orthogonal (e.g., single-mode squeezing), and consider the superchannel Phi(phi)=U_S o phi o U_S^dagger. This is a completely positive linear map sending Gaussian channels to Gaussian channels, hence it belongs to GSC_n by the paper's definition. It acts on the channel parameters as T'=S T S^{-1}, N'=S N S^t, d'=S d. If Theorem 2 held, then for the identity channel (T=I,N=0,d=0) the equations T'=A T R with R=Sigma O^t Sigma and R R^t=I would give A R=I and Y=0,d=0. Hence T'=A T A^{-1} for all T. This forces A^{-1}S to commute with all matrices, so A=lambda S and R=lambda^{-1} S^{-1}. Since R must be orthogonal, S must be orthogonal up to scale, hence S orthogonal. This contradicts the assumption that S is a non-orthogonal symplectic matrix. Thus Theorem 2 needs either a symplectic (not necessarily orthogonal) O or an explicit restriction of the class of Gaussian superchannels; the proof in Appendix B does not address this issue.
  2. [Section II, Eq. (16) and Appendix B] Independently of the previous comment, the proof of Theorem 2 does not rigorously justify the Choi-state argument. The state rho_phi in Eq. (16) is defined with a finite squeezing parameter r, and it is not the standard Choi-Jamiolkowski operator, which requires an infinite-squeezing limit or a proper normalization. The proof merely says 'we will find a Gaussian channel' that transforms rho_phi into rho_{Phi(phi)}, and then matches coefficients as r varies in Eqs. (A17)-(A25). No limit r -> infinity is taken, and no argument is given that the matrices A,O,Y can be chosen independently of r and of the input channel phi. Since Theorems 3 and 4 inherit this representation, and Theorem 5's monotonicity axiom (C2) depends on Theorem 4, this is a load-bearing gap that must be fixed with a rigorous Choi-isomorphism argument or an alternative derivation.
  3. [Appendix D] The proof of (1) implies (2) in Theorem 4 is too compressed. The key step showing that O belongs to T_n is summarized in the sentence 'Varying t_j, T_j, for all j, and using the facts of Lemma 1 and lemma 2, we can get O' in T_n.' The proofs of Lemma 1 and especially Lemma 2 are also only sketched. Because Theorem 4 is the structural characterization of the free operations of the resource theory, this derivation must be presented in full. In addition, if Theorem 2 is reformulated as suggested in the first major comment, the proof of Theorem 4 will need to be reworked.
  4. [Section III, Theorem 5] The proof of Theorem 5 is omitted ('the proof is simple'). The paper does not explicitly verify conditions (C1) and (C2), and the closing remark acknowledges a possible divergence of the supremum in Eq. (26) without stating whether infinite values are admissible for a coherence measure. Since Theorem 5 is the central construction of the resource-theoretic measure, a complete proof and a clear statement of the admissible range of the measure are needed.
minor comments (5)
  1. [Section III] The headings of Examples 1 and 2 read 'Exmple' and should be 'Example'.
  2. [Introduction] The Introduction refers to 'Section VI' but the paper has only four sections; this should be 'Section IV'.
  3. [Abstract] The abstract has the inconsistent capitalization 'We establish'; 'We' should be lowercase, or the sentence should be rephrased.
  4. [Section II, Eq. (16) and Appendix B] The symbol Phi is used both for the Gaussian superchannel and for the Gaussian channel on Choi states in Appendix B; these should be distinguished to avoid confusion.
  5. [Example 2] In Example 2, D(lambda) denotes both a displacement operator and a displacement channel; the distinction should be made explicit in the notation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the channel-coherence measure in Theorem 5 is a monotone lifting from state coherence, and the cited prior result is used only as an external ingredient.

full rationale

The central construction in Eq. (26) defines a channel coherence measure as a supremum over thermal input states of a state coherence measure. This is a standard monotone-lifting argument: the axioms (C1) and (C2) are verified from the assumed state axioms (B1)/(B2) together with the independent structural characterization of incoherent Gaussian superchannels in Theorem 4. The proof does not presuppose that the channel measure already satisfies (C2); it derives it. Theorem 4 is established through Theorems 1–3 and elementary matrix lemmas, not by invoking the target result. The analytical formula in Eq. (28) is cited from the author's prior work [16], but that result is parameter-free, published, and is used only to supply an explicit state coherence measure and to evaluate examples; the framework of Theorem 5 does not depend on the correctness of that specific formula. Similarly, Definition 1's identification of diagonal Gaussian states with thermal states is a mathematical fact cited to [16], and it only fixes the free states of the theory. The main structural weakness—the finite-squeezing Choi-state lifting in Theorem 2 and Appendix B—is a proof gap or completeness concern rather than circularity: no equation in the paper reduces to its own input by construction, and no fitted parameter is renamed as a prediction. There is no self-citation chain that forces the central claim, so the appropriate finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No empirical data are used, so no fitted free parameters appear. The central claim rests on standard Gaussian quantum information assumptions, on a self-cited formula for state coherence, and on a finite-squeezing Choi-state correspondence whose infinite-squeezing limit is not rigorously justified. No new physical entities are postulated.

assumptions (5)
  • domain assumption A Gaussian state is completely characterized by its covariance matrix and displacement, and a Gaussian channel by the affine map (T,N,d) with complete positivity condition N + iOmega - iT Omega T^t >= 0.
    Invoked in Section II, Eqs. (4)-(10), following standard results [13,14,24]. This is the standard framework for Gaussian quantum information.
  • domain assumption Incoherent Gaussian states are exactly the thermal states, i.e., Fock-diagonal Gaussian states.
    Definition 1, with proof attributed to [16]. This self-cited fact underpins Definitions 2 and 3.
  • domain assumption The Choi state rho_phi of a Gaussian channel, defined with finite squeezing r in Eq. (16), together with the statement that it is a Gaussian state, provides a faithful correspondence between Gaussian superchannels and Gaussian channels acting on Choi states.
    Used in the proof of Theorem 2 and to derive Theorem 3. The infinite-squeezing limit needed for faithfulness is not rigorously handled.
  • domain assumption The functional Cr(rho) = inf_{sigma in IGS_n} S(rho || sigma) has the analytical expression in Eq. (28).
    Taken from the author's prior paper [16]; the proof is not reproduced. It is the concrete input for the channel coherence measure.
  • standard math The set T_n is closed under multiplication, and Lemma 1 and Lemma 2 classify the 2x2 matrix equations needed in Theorem 4.
    Used in Appendix D; the proofs of the lemmas are sketched but not fully detailed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Coherence of quantum Gaussian channels." pith.science (2026). https://pith.science/paper/7H4KY43I

@misc{pith2026190804912,
  author       = {Pith},
  title        = {Pith review of: Coherence of quantum Gaussian channels},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7H4KY43I}},
  note         = {Machine review of arXiv:1908.04912}
}
read the original abstract

Coherence is a basic notion for quantum states. Instead of quantum states, in this work, We establish a resource theory for quantifying the coherence of Gaussian channels. To do this, we propose the definitions of incoherent Gaussian channels and incoherent Gaussian superchannels.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 16 canonical work pages

  1. [11]

    Liu and A

    Z.-W. Liu and A. Winter, arXiv:1904.04201 (2019)

    arXiv 2019

  2. [1]

    Such constant Gaussian channel can be represented as φ(T,N,d ) = φ(T = 0,N =V ′,d =d′ 0)

    ∈ GS n is fixed. Such constant Gaussian channel can be represented as φ(T,N,d ) = φ(T = 0,N =V ′,d =d′ 0). Exmple 1. For a constant Gaussian channel, according to Eq. (31), Cr[φ(T = 0,N =V ′,d =d′ 0)] = Cr[ρ′(V ′,d ′ 0)]. (32) Exmple 2. Coherence of displacement channels. The displacement operator D(λ) = Π n j=1D(λ j) in Eqs. (2, 3) is a unitary Gaussian c...

    work page

  3. [2]

    Streltsov, G

    A. Streltsov, G. Adesso, and M. B. Plenio, Rev. Mod. Phys. 89, 041003 (2017)

    2017

  4. [3]

    M.-L. Hu, X. Hu, J. Wang, Y. Peng, Y.-R. Zhang, and H. Fan, Physics Reports 762-764, 1 (2018)

    work page 2018

  5. [4]

    Gour, IEEE Transactions on Information Theory , 1 (2019)

    G. Gour, IEEE Transactions on Information Theory , 1 (2019)

    work page 2019

  6. [5]

    Devetak, A

    I. Devetak, A. W. Harrow, and A. J. Winter, IEEE Transactions on Information Theory 54, 4587 (2008)

    work page 2008

  7. [6]

    Ben Dana, M

    K. Ben Dana, M. Garc´ ıa D´ ıaz, M. Mejatty, and A. Win- ter, Phys. Rev. A 95, 062327 (2017)

    work page 2017

  8. [7]

    Korzekwa, S

    K. Korzekwa, S. Czach´ orski, Z. Pucha/suppress la, and K. ˙Zyczkowski, New Journal of Physics 20, 043028 (2018)

    work page 2018

Show all 26 references
  1. [8]

    Datta, S

    C. Datta, S. Sazim, A. K. Pati, and P. Agrawal, Annals of Physics 397, 243 (2018)

    2018

  2. [9]

    Theurer, D

    T. Theurer, D. Egloff, L. Zhang, and M. B. Plenio, Phys. Rev. Lett. 122, 190405 (2019)

    2019

  3. [10]

    Liu and X

    Y. Liu and X. Yuan, arXiv:1904.02680 (2019)

    2019 arXiv

  4. [12]

    Xu, arXiv:1907.07289 (2019)

    J. Xu, arXiv:1907.07289 (2019)

    2019 arXiv

  5. [13]

    Baumgratz, M

    T. Baumgratz, M. Cramer, and M. B. Plenio, Phys. Rev. Lett. 113, 140401 (2014)

    2014

  6. [14]

    Weedbrook, S

    C. Weedbrook, S. Pirandola, R. Garc´ ıa-Patr´ on, N. J. Cerf, T. C. Ralph, J. H. Shapiro, and S. Lloyd, Rev. Mod. Phys. 84, 621 (2012)

    2012

  7. [15]

    Serafini, Quantum Continuous Variables (CRC Press, Boca Raton, 2017)

    A. Serafini, Quantum Continuous Variables (CRC Press, Boca Raton, 2017)

    2017

  8. [16]

    Y. Peng, Y. Jiang, and H. Fan, Phys. Rev. A 93, 032326 (2016)

    2016

  9. [17]

    Xu, Phys

    J. Xu, Phys. Rev. A 93, 032111 (2016)

    2016

  10. [18]

    Zheng, J

    Q. Zheng, J. Xu, Y. Yao, and Y. Li, Phys. Rev. A 94, 052314 (2016)

    2016

  11. [19]

    Buono, G

    D. Buono, G. Nocerino, G. Petrillo, G. Torre, G. Zonzo, and F. Illuminati, arXiv:1609.00913 (2016)

    2016 arXiv

  12. [20]

    K. C. Tan, T. Volkoff, H. Kwon, and H. Jeong, Phys. Rev. Lett. 119, 190405 (2017)

    2017

  13. [21]

    Albarelli, M

    F. Albarelli, M. G. Genoni, and M. G. A. Paris, Phys. Rev. A 96, 012337 (2017)

    2017

  14. [22]

    Chitambar and G

    E. Chitambar and G. Gour, Rev. Mod. Phys. 91, 025001 (2019)

    2019

  15. [23]

    Simon, N

    R. Simon, N. Mukunda, and B. Dutta, Phys. Rev. A 49, 1567 (1994)

    1994

  16. [24]

    M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2000)

    2000

  17. [25]

    A. S. Holevo, M. Sohma, and O. Hirota, Phys. Rev. A 59, 1820 (1999)

    1999

  18. [26]

    Chiribella, G

    G. Chiribella, G. M. DAriano, and P. Perinotti, EPL (Europhysics Letters) 83, 30004 (2008)

    2008

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.