arxiv: 2605.14299 · v1 · submitted 2026-05-14 · 🪐 quant-ph

Recognition: 2 theorem links

· Lean Theorem

Imaginarity Resource Theory of Gaussian Quantum Channels

Ting Zhang , Jinchuan Hou , Xiaofei Qi

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:33 UTC · model grok-4.3

classification 🪐 quant-ph

keywords imaginarityGaussian quantum channelsresource theorysuperchannelsquantum Brownian motionquantum information

0 comments

The pith

Imaginarity of Gaussian quantum channels can be quantified using two resource theories built from real superchannels.

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

The paper develops two frameworks to measure the imaginarity resource in Gaussian quantum channels. The first treats all real superchannels as free operations and defines two measures: I_s^GC derived from existing imaginarity measures of Gaussian states, and I_d^GC derived directly from the channel's intrinsic parameters for computational simplicity. The second framework restricts free operations to a proper subset of real superchannels and introduces the measure I_c^GC, which depends only on inherent channel parameters, is continuous, and is easy to compute. These measures are then used to track the full dynamical evolution of imaginarity in Quantum Brownian Motion Gaussian channels. A sympathetic reader would care because this supplies concrete tools for understanding how complex phases behave under channel evolution in quantum information processing.

Core claim

The authors propose two resource theories for the imaginarity of Gaussian channels. In the first framework, all real superchannels are considered free, leading to imaginarity measures I_s^GC based on Gaussian state measures and I_d^GC from intrinsic parameters. In the second framework, a proper subset of real superchannels are free, yielding the measure I_c^GC which is continuous, determined by inherent parameters, and used to analyze the full evolution of Quantum Brownian Motion Gaussian channels.

What carries the argument

The central mechanism is the definition of free operations via real superchannels (all or a subset) to construct imaginarity measures for Gaussian channels based on their parameters.

If this is right

Imaginarity can be tracked continuously through the entire evolution of Gaussian channels such as those describing quantum Brownian motion.
The parameter-based measures I_d^GC and I_c^GC enable simple numerical computation without requiring full state tomography.
Channel resource theories can be constructed by lifting state-level imaginarity measures through superchannel operations.
Different choices of free superchannel sets produce distinct but related measures with varying degrees of continuity and computational ease.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The parameter-driven measures could be adapted to quantify imaginarity in non-Gaussian channels by identifying analogous intrinsic parameters.
The distinction between the full set and subset of real superchannels may map to different experimental constraints on allowed operations in physical systems.
Tracking imaginarity evolution could guide the design of quantum channels that preserve or suppress complex phases for specific information-processing tasks.

Load-bearing premise

The chosen sets of real superchannels correctly define the free operations without omitting any that could create or destroy imaginarity in unaccounted ways.

What would settle it

A real superchannel operation applied to a Gaussian channel that changes its imaginarity but is classified as free by one of the measures would falsify the corresponding framework.

Figures

Figures reproduced from arXiv: 2605.14299 by Jinchuan Hou, Ting Zhang, Xiaofei Qi.

**Figure 2.** Figure 2: FIG. 2: Behavior of [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗

read the original abstract

Complex numbers play an indispensable role in quantum mechanics and quantum information, as validated by both theoretical analysis and experimental verification. Since quantum information processing inherently relies on quantum channels, the resource theory for quantum channels is equally fundamental to that for quantum states. In this paper, we propose two frameworks for quantifying the imaginarity of Gaussian channels. The first framework regards all real superchannels as free superchannels. Within this setting, we introduce two concrete imaginarity measures for Gaussian channels: I_s^GC based on existing imaginarity measures of Gaussian states, and I_d^GC derived directly from the intrinsic parameters of Gaussian channels, which enjoys high computational simplicity. The second framework adopts only a proper subset of real superchannels as free superchannels. Under this framework, we put forward another imaginarity measure I_c^GC , which is fully determined by the inherent parameters of Gaussian channels and features continuity as well as tractable computation. As a practical application, we employ I_c^GC to investigate the dynamical behavior of Quantum Brownian Motion Gaussian channels throughout the entire evolutionary process.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines three new imaginarity measures for Gaussian channels across two frameworks and applies one to Brownian motion dynamics, but the monotonicity under the chosen free superchannels is the key point to verify.

read the letter

The main thing here is that the authors have defined three new measures for the imaginarity of Gaussian quantum channels, split across two frameworks, and used one to look at how it evolves in quantum Brownian motion. What stands out is the attempt to make these measures computable directly from channel parameters, which could be useful for continuous-variable work where states are often Gaussian. The Brownian motion application shows how the measure changes over the full evolution, which is a concrete use case. The soft spots are around the free operations. In the first framework, taking all real superchannels as free sounds broad, but it's not obvious from the setup that the measures I_s^GC and I_d^GC actually decrease or stay the same under every possible real superchannel. The second framework narrows it to a subset for I_c^GC to get continuity, but without a clear description of what that subset is in terms of the channel's covariance or displacement, it's hard to see if the dynamics in the application really stay inside it. If some step in the Brownian motion uses something outside, the tracking wouldn't hold as a monotone. The paper seems to assume the definitions work without showing explicit checks against the axioms in the visible parts, though the full text might have them. The citation pattern looks standard for resource theory papers. This is for researchers in quantum information who deal with Gaussian states and channels, especially those interested in resource theories beyond states. A reader working on channel discrimination or quantum optics might find the measures handy if they hold up. I would send it to peer review because the topic is relevant and the application is practical, but the referees will need to check the monotonicity proofs carefully.

Referee Report

3 major / 2 minor

Summary. The paper proposes two resource-theoretic frameworks for quantifying imaginarity of Gaussian quantum channels. The first treats all real superchannels as free operations and defines two measures: I_s^GC (built from existing Gaussian-state imaginarity measures) and I_d^GC (derived directly from channel parameters for computational simplicity). The second framework restricts to a proper subset of real superchannels and introduces I_c^GC, which is claimed to be continuous, fully determined by channel parameters, and tractable; this measure is then applied to track the imaginarity dynamics of Quantum Brownian Motion Gaussian channels over their full evolution.

Significance. If the proposed measures satisfy the required monotonicity axioms under their respective free-superchannel sets, the work would supply the first explicit, computable imaginarity quantifiers for continuous-variable Gaussian channels together with a concrete dynamical application. This could enable systematic study of imaginarity as a resource in Gaussian quantum information processing, where covariance-matrix descriptions already dominate practical calculations.

major comments (3)

[Section 3 (first framework definitions)] The central claim that I_s^GC and I_d^GC are valid imaginarity monotones under the set of all real superchannels is not supported by any explicit proof in the manuscript. No verification is given that these measures are non-increasing when an arbitrary real superchannel acts on a Gaussian channel, nor that they vanish exactly on the free set; without such a check the first framework remains formally incomplete.
[Section 4 (second framework and I_c^GC definition)] For I_c^GC the manuscript restricts the free operations to an unspecified proper subset of real superchannels but neither characterizes this subset (e.g., by its action on the covariance matrix or displacement vector) nor proves closure under composition. Consequently it is impossible to confirm that I_c^GC is a monotone on the chosen set, which directly undermines the subsequent application to the full evolution of Quantum Brownian Motion channels.
[Section 5 (application to QBM)] The dynamical analysis of Quantum Brownian Motion Gaussian channels in the final section applies I_c^GC throughout the entire evolution without demonstrating that every superchannel appearing in the dynamics belongs to the restricted free set used to define the measure. If any intermediate map lies outside that set, the reported monotonicity or decay behavior is no longer guaranteed.

minor comments (2)

Notation for the three measures (I_s^GC, I_d^GC, I_c^GC) is introduced without a compact comparison table; adding such a table would clarify the differences in computational cost and continuity properties.
The abstract states that I_c^GC is 'fully determined by the inherent parameters' but the explicit functional dependence on the covariance matrix and displacement is only sketched; a single displayed equation collecting all parameters would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their thorough review and constructive comments on our manuscript. We have carefully considered each major point and will revise the paper to address the concerns by adding the required proofs, characterizations, and verifications. Below we respond point by point.

read point-by-point responses

Referee: [Section 3 (first framework definitions)] The central claim that I_s^GC and I_d^GC are valid imaginarity monotones under the set of all real superchannels is not supported by any explicit proof in the manuscript. No verification is given that these measures are non-increasing when an arbitrary real superchannel acts on a Gaussian channel, nor that they vanish exactly on the free set; without such a check the first framework remains formally incomplete.

Authors: We acknowledge that explicit proofs of monotonicity were not included. In the revised manuscript we will add a dedicated subsection (or appendix) containing rigorous proofs that both I_s^GC and I_d^GC are non-increasing under arbitrary real superchannels and vanish if and only if the Gaussian channel belongs to the free set. This will complete the formal justification of the first framework. revision: yes
Referee: [Section 4 (second framework and I_c^GC definition)] For I_c^GC the manuscript restricts the free operations to an unspecified proper subset of real superchannels but neither characterizes this subset (e.g., by its action on the covariance matrix or displacement vector) nor proves closure under composition. Consequently it is impossible to confirm that I_c^GC is a monotone on the chosen set, which directly undermines the subsequent application to the full evolution of Quantum Brownian Motion channels.

Authors: We agree that the proper subset must be explicitly defined. In the revision we will characterize the subset by its precise action on covariance matrices and displacement vectors, and we will prove that the set is closed under composition. These additions will establish that I_c^GC is a valid monotone on the chosen set. revision: yes
Referee: [Section 5 (application to QBM)] The dynamical analysis of Quantum Brownian Motion Gaussian channels in the final section applies I_c^GC throughout the entire evolution without demonstrating that every superchannel appearing in the dynamics belongs to the restricted free set used to define the measure. If any intermediate map lies outside that set, the reported monotonicity or decay behavior is no longer guaranteed.

Authors: We will add an explicit verification in the revised Section 5 showing that every superchannel arising in the Quantum Brownian Motion evolution lies within the restricted free set. This will confirm that the application of I_c^GC is justified and that the reported dynamical behavior respects the monotonicity properties. revision: yes

Circularity Check

0 steps flagged

No significant circularity; measures derive independently from parameters or prior state results

full rationale

The derivation introduces I_s^GC by direct reference to existing Gaussian-state imaginarity measures, I_d^GC by explicit formulas on channel parameters (displacement and covariance), and I_c^GC likewise from intrinsic parameters with added continuity. Free-operation sets are stipulated by definition (all real superchannels or a subset) rather than derived from the measures themselves. No equation reduces a claimed prediction to a fitted input, no self-citation supplies a uniqueness theorem that forces the result, and the Brownian-motion tracking applies the already-defined I_c^GC without re-fitting. The construction therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The frameworks rest on standard quantum-information definitions of Gaussian channels, superchannels, and imaginarity for states; no new free parameters or invented entities are mentioned in the abstract.

axioms (2)

domain assumption Gaussian channels and states obey the standard symplectic formalism and covariance matrix representation from quantum optics.
All measures are defined in terms of these intrinsic parameters.
domain assumption Real superchannels form a valid set of free operations for an imaginarity resource theory.
Central to both frameworks; choice of subset in second framework is presented without further justification in abstract.

pith-pipeline@v0.9.0 · 5479 in / 1318 out tokens · 53978 ms · 2026-05-15T02:33:19.364368+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

I_GC_d (ϕ) := h(∥Q'_n P_n T P_n^T Q_n^T∥_Tr) + ... + h(∥Q'_n P_n d∥_1) (Eq. 13); I_GC_c uses continuous trace norms (Eq. 23); monotonicity under F_O = {Φ : ∥A∥=1} (Theorem 6)
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

real Gaussian superchannels characterized by block conditions on A,O,Y,d (Theorem 1, Eqs. 10-12); imaginarity breaking iff Eqs. 10-11 (Theorem 2)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · 1 internal anchor

[1]

Imaginarity Resource Theory of Gaussian Quantum Channels

and quantum channel identification [18]. Gaussian quantum channels, as a special class of completely positive and trace-preserving (CPTP) linear maps, play irreplaceable roles in quantum information processing, particularly in continuous-variable (CV) sys- tems such as optical quantum communication networks [19], and they can be implemented by current exp...

work page internal anchor Pith review Pith/arXiv arXiv 2026
[2]

Hardy, W

L. Hardy, W. K. Wootters, Limited holism and real- vector-space quantum theory, Found. Phys., 42 (2012), 454

work page 2012
[3]

Aleksandrova, V

A. Aleksandrova, V. Borish, W. K. Wootters, Real- vector-space quantum theory with a universal quantum bit, Phys. Rev. A, 87 (2013), 052106

work page 2013
[4]

M. O. Renou, D. Trillo, M. Weilenmann, et al, Quan- tum theory based on real numbers can be experimentally falsified, Nature, 600 (2021), 625

work page 2021
[5]

Wu, Y.-F

D. Wu, Y.-F. Jiang, X.-M. Gu, et al, Experimental refu- 11 (a) (b) (c) (d) FIG. 2: Behavior ofI GC(ϕ(τ)) as a function of the dimensionless timeτ=ω ctin a low-temperature Ohmic reservoir with kBT /ℏωc = 10. (a) Plots ofI GC(ϕ(τ)) as a function of the parameterτfor fixedx= ωc ω0 = 0.5 and differentα= 0.01,0.03,0.05, respectively. (b) Plots ofI GC(ϕ(τ)) in ...

work page 2022
[6]

Horodecki, J

M. Horodecki, J. Oppenheim, (Quantumness in the con- text of) resource theories, Int. J. Mod. Phys. B, 27 (2013), 1345019

work page 2013
[7]

Chitambar, G

E. Chitambar, G. Gour, Quantum resource theories, Rev. Mod. Phys., 91 (2019), 025001

work page 2019
[8]

Hickey, G

A. Hickey, G. Gour, Quantifying the imaginarity of quan- tum mechanics, J. Phys. A: Math. Theor., 51 (2018), 414009

work page 2018
[9]

Zhu, Hiding and masking quantum information in complex and real quantum mechanics, Phys

H. Zhu, Hiding and masking quantum information in complex and real quantum mechanics, Phys. Rev. Res., 3 (2021), 033176

work page 2021
[10]

Miyazaki, K

J. Miyazaki, K. Matsumoto, Imaginarity-free quantum multiparameter estimation, Quantum, 6 (2022), 665

work page 2022
[11]

Sajjan, V

M. Sajjan, V. Singh, R. Selvarajan, et al, Imaginary components of out-of-time-order correlator and informa- tion scrambling for navigating the learning landscape of a quantum machine learning model, Phys. Rev. Res., 5 (2023), 013146

work page 2023
[12]

Budiyono, Operational interpretation and estima- tion of quantum trace-norm asymmetry based on weak value measurement and some bounds, Phys

A. Budiyono, Operational interpretation and estima- tion of quantum trace-norm asymmetry based on weak value measurement and some bounds, Phys. Rev. A, 108 (2023), 012431

work page 2023
[13]

Budiyono, H

A. Budiyono, H. K. Dipojono, Quantifying quantum co- herence via Kirkwood-Dirac quasiprobability, Phys. Rev. A, 107 (2023), 022408

work page 2023
[14]

Budiyono, M

A. Budiyono, M. Agusta, B. Nurhandoko, et al, Quantum coherence as asymmetry from complex weak values, J. Phys. A: Math. Theor., 56 (2023), 235304

work page 2023
[15]

Wagner, Z

R. Wagner, Z. Schwartzman-Nowik, I. Paiva, et al, Quan- tum circuits for measuring weak values, Kirkwood Dirac quasiprobability distributions, and state spectra, Quan- tum Sci. Technol., 9 (2024), 015030

work page 2024
[16]

Wagner, E

R. Wagner, E. F. Galv˜ ao, Simple proof that anomalous weak values require coherence, Phys. Rev. A, 108 (2023), 12 L040202

work page 2023
[17]

Wei, S.-M

Z.-W. Wei, S.-M. Fei, Nonlocal advantages of quantum imaginarity, Phys. Rev. A, 110 (2024), 052202

work page 2024
[18]

K.-D. Wu, T. V. Kondra, S. Rana, et al, Resource theory of imaginarity: quantification and state conversion, Phys. Rev. A, 103 (2021), 032401

work page 2021
[19]

K.-D. Wu, T.V. Kondra, C. M. Scandolo, et al, Resource theory of imaginarity: New distributed scenarios, Com- mun. Phys., 7 (2024), 171

work page 2024
[20]

Weedbrook, S

C. Weedbrook, S. Pirandola, R. Garca-Patr´ on, et al, Gaussian quantum information, Rev. Mod. Phys., 84 (2012), 621

work page 2012
[21]

Serafini, Quantum continuous variables, Taylor & Francis Group, Boca Raton: CRC Press, 2017

A. Serafini, Quantum continuous variables, Taylor & Francis Group, Boca Raton: CRC Press, 2017

work page 2017
[22]

A. S. Holevo, M. Sohma, O. Hirota, Capacity of quantum Gaussian channels, Phys. Rev. A, 59 (1999), 1820

work page 1999
[23]

M. M. Wolf, D. P´ erez-Gar´ cia, G. Giedke, Quantum ca- pacities of bosonic channels, Phys. Rev. Lett., 98 (2007), 130501

work page 2007
[24]

Niset, J

J. Niset, J. Fiur´ aˇ sek, N. J. Cerf, No-go theorem for Gaus- sian quantum error correction, Phys. Rev. Lett., 102 (2009), 120501

work page 2009
[25]

A. S. Holevo, Entanglement-breaking channels in infinite dimensions, Probl. Inf. Transmiss., 44 (2008), 3

work page 2008
[26]

Wang, Z.-W

X.-B. Wang, Z.-W. Yu, J.-Z. Hu, Entanglement- distribution maximization over one-sided Gaussian noisy channels, Phys. Rev. A, 82 (2010), 022316

work page 2010
[27]

Wang, Y.-P

Z.-X. Wang, Y.-P. Gao, T.-J. Wang, et al., Generation of one-way Gaussian steering by Gaussian channel and converting one-way Gaussian steering by beamsplitters, Ann. Phys., 530 (2018), 1700328

work page 2018
[28]

Ma, Y.-J

R.-F. Ma, Y.-J. Sun, X.-F. Qi, Several kinds of Gaussian quantum channels related to Einstein-Podolsky-Rosen steering, Phys. Rev. A, 113 (2026), 042422

work page 2026
[29]

K.-D. Wu, T. V. Kondra, S. Rana, et al, Operational resource theory of imaginarity, Phys. Rev. Lett., 126 (2021), 090401

work page 2021
[30]

Xia, J.-W

T.-T. Xia, J.-W. Xu, M.-J. Zhao, A Note on geometric imaginarity, Int. J. Theor. Phys., 63 (2024), 319

work page 2024
[31]

T. V. Kondra, C. Datta, A. Streltsov, Real quantum operations and state transformations, New J. Phys., 25 (2023), 093043

work page 2023
[32]

S. Xue, J. Guo, P. Li, et al, Quantification of resource theory of imaginarity, Quantum Inf. Process., 20 (2021), 383

work page 2021
[33]

Du, Z.-F

S.-P. Du, Z.-F. Bai, Quantifying imaginarity in terms of pure-state imaginarity, Phys. Rev. A, 111 (2025), 022405

work page 2025
[34]

X.-Y. Chen, Q. Chen, Imaginarity measures induced by relative entropy, Rep. Math. Phys., 95 (2025), 1

work page 2025
[35]

Xu, Imaginarity of Gaussian states, Phys

J.-W. Xu, Imaginarity of Gaussian states, Phys. Rev. A, 108 (2023), 062203

work page 2023
[36]

Xu, Quantifying the imaginarity of quantum states via Tsallis relative entropy, Phys

J.-W. Xu, Quantifying the imaginarity of quantum states via Tsallis relative entropy, Phys. Lett. A, 528 (2024), 130024

work page 2024
[37]

Zhang, J.-C

T. Zhang, J.-C. Hou, X.-F. Qi, An easily computable measure of Gaussian quantum imaginarity, Ann. Phys., (2025), e2500171

work page 2025
[38]

S. L. Braunstein, P. van Loock, Quantum information with continuous variables, Rev. Mod. Phys., 77 (2005), 513

work page 2005
[39]

Simon, N

R. Simon, N. Mukunda, B. Dutta, Quantum-noise matrix for multimode systems:U(n) invariance, squeezing, and normal forms, Phys. Rev. A, 49 (1994), 1567

work page 1994
[40]

Caruso, J

F. Caruso, J. Eisert, V. Giovannetti, et al, Multi-mode bosonic Gaussian channels, New J. Phys., 10 (2008), 083030

work page 2008
[41]

Gour, Comparison of quantum channels by superchan- nels, IEEE Trans

G. Gour, Comparison of quantum channels by superchan- nels, IEEE Trans. Inf. Theory, 65 (2019), 5880

work page 2019
[42]

Chiribella, G

G. Chiribella, G. M. DAriano, P. Perinotti, Transforming quantum operations: Quantum supermaps, Europhys. Lett., 83 (2008), 30004

work page 2008
[43]

Xu, Coherence of quantum Gaussian channels, Phys

J.-W. Xu, Coherence of quantum Gaussian channels, Phys. Lett. A, 387 (2021), 127028

work page 2021
[44]

Intravaia, S

F. Intravaia, S. Maniscalco, A. Messina, Density-matrix operatorial solution of the non-Markovian master equa- tion for quantum Brownian motion, Phys. Rev. A, 67 (2003), 042108

work page 2003
[45]

Torre, F

G. Torre, F. Illuminati, Exact non-Markovian dynamics of Gaussian quantum channels: Finite-time and asymp- totic regimes, Phys. Rev. A, 98 (2018), 012124

work page 2018
[46]

Jo˜ ao C. P. Porto, Carlos H. S. Vieira, Irismar G. da Paz, et al., Temperature and non-Markovian parameter esti- mation in quantum Brownian motion, Phys. Rev. A, 112 (2025), 042424

work page 2025
[47]

Wu, Z.-Q

C.-F. Wu, Z.-Q. Wu, Quantifying imaginarity of quantum operations, Sci. China-Phys. Mech. Astron., 69 (2026), 230316

work page 2026
[48]

Zhang, Y

J.-Y. Zhang, Y. Luo, Y.-M. Li, Imaginaring and deimag- inaring power of quantum channels and the trade-off be- tween imaginarity and entanglement, Quantum Inf. Pro- cess., 22 (2023), 405

work page 2023