Imaginarity-generating power of unitaries: A resource-theoretic approach
Pith reviewed 2026-05-07 13:14 UTC · model grok-4.3
The pith
Unitary operations generate imaginarity from real states, with exact power formulas depending only on the unitary for pure inputs.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors introduce the imaginarity-generating power (IGP) of unitary dynamics, quantified as the maximum Hilbert-Schmidt imaginarity inducible from real input states of fixed purity. They obtain an exact expression for the purity-constrained IGP that, for pure real inputs, reduces to quantities determined solely by the unitary. The IGP is shown to obey the monotonicity and other axioms required of a resource monotone in the dynamical resource theory of imaginarity. For Haar-random unitaries the IGP concentrates near its upper bound in large dimensions.
What carries the argument
The imaginarity-generating power (IGP) of a unitary, defined as the maximum Hilbert-Schmidt imaginarity it can produce from real states of given purity.
If this is right
- Closed-form expressions allow direct computation of IGP without numerical optimization.
- IGP qualifies as a resource monotone for the dynamical theory of imaginarity.
- Unitaries that maximize IGP are fully characterized, supplying explicit upper bounds.
- Haar-random unitaries achieve IGP values that concentrate near the maximum in high dimensions.
Where Pith is reading between the lines
- The dependence on only intrinsic unitary properties for pure inputs may simplify laboratory verification of imaginarity generation.
- The concentration result implies that generic high-dimensional dynamics will reliably produce high imaginarity without fine-tuning.
- The framework could be extended to quantify how well typical quantum channels generate imaginarity beyond the unitary case.
Load-bearing premise
The Hilbert-Schmidt norm measure of imaginarity is monotone under real unital operations.
What would settle it
An explicit unitary together with a pure real input state for which the measured Hilbert-Schmidt imaginarity after the evolution differs from the value predicted by the closed-form expression, or a real unital operation that increases the measure.
Figures
read the original abstract
Imaginarity, stemming from the complex structure of quantum mechanics, has recently emerged as a fundamental resource, yet its dynamical generation remains largely unexplored. In this work, we introduce the notion of imaginarity-generating power (IGP) of unitary dynamics, which quantifies the ability of unitary operations to produce imaginarity from initially real quantum states. To quantify imaginarity, we employ a measure based on the Hilbert--Schmidt norm, which we show to be monotone under real unital operations. Within the framework of dynamical resource theories, we derive an exact expression for the purity-constrained IGP in arbitrary dimensions and show that, for pure real input states, it depends solely on intrinsic and experimentally accessible properties of the unitary. We further analyze its average behavior over ensembles of states with varying purity under both uniform and Hilbert--Schmidt distributions. We prove that it satisfies the essential properties of a valid resource monotone within the dynamical resource theory of imaginarity. We also characterize the unitaries that maximize the IGP and determine the corresponding bounds. Moreover, for Haar-random unitaries, we show that the IGP concentrates near its maximal value in high dimensions with small fluctuations, indicating that typical high-dimensional quantum dynamics are highly effective at generating imaginarity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces the imaginarity-generating power (IGP) of unitary dynamics within the dynamical resource theory of imaginarity. It employs a Hilbert-Schmidt norm-based measure of imaginarity, which is shown to be monotone under real unital operations. An exact expression for the purity-constrained IGP is derived in arbitrary dimensions, reducing for pure real input states to intrinsic and experimentally accessible properties of the unitary. The average behavior is analyzed over state ensembles of varying purity under uniform and Hilbert-Schmidt distributions. The IGP is proven to satisfy the properties of a valid resource monotone, the maximizing unitaries and corresponding bounds are characterized, and concentration of the IGP near its maximum (with small fluctuations) is established for Haar-random unitaries in high dimensions.
Significance. If the results hold, the work is significant for providing a rigorous resource-theoretic framework to quantify the dynamical generation of imaginarity from real states. The exact expressions, monotonicity proofs, and high-dimensional concentration results are notable strengths that offer concrete, falsifiable characterizations and could guide experimental protocols. The reduction to unitary-intrinsic properties for pure inputs and the analysis under different distributions add practical value to the dynamical resource theory of imaginarity.
minor comments (2)
- The abstract is information-dense; splitting some sentences would improve readability without altering content.
- Notation for the purity-constrained IGP and related quantities should be introduced with explicit definitions in the main text to avoid any ambiguity for readers.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for the positive assessment, which highlights the significance of the imaginarity-generating power framework, the exact expressions derived, the monotonicity proofs, and the high-dimensional concentration results. We are pleased that the referee recommends acceptance.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper introduces IGP as the maximum imaginarity (via HS-norm distance to real states) generatable by a unitary from real inputs, subject to purity constraint. The exact expression for pure real inputs is obtained by direct computation of the HS distance after unitary action, reducing only to the unitary's matrix elements in the real basis (experimentally accessible via real/imaginary parts). Monotonicity of the HS imaginarity measure under real unital maps is established by explicit inequality proof using the definition of the norm and properties of real operations, without invoking prior results as load-bearing. Average behavior over state ensembles follows from integration over uniform/HS measures on the state space. Concentration for Haar unitaries uses standard Levy concentration on the unitary group, independent of the target IGP value. No step equates a derived quantity to a fitted input or renames a known result; all reductions are explicit algebraic or analytic derivations from the stated definitions.
Axiom & Free-Parameter Ledger
free parameters (1)
- purity level
axioms (2)
- domain assumption The Hilbert-Schmidt norm provides a valid measure of imaginarity that is monotone under real unital operations.
- domain assumption Dynamical resource theories provide the appropriate framework for analyzing generation of imaginarity by unitaries.
invented entities (1)
-
Imaginarity-generating power (IGP)
no independent evidence
Reference graph
Works this paper leans on
-
[1]
={Θ : Λ d1→d2 Θ − →Λd′ 1→d′ 2 }while preserv- ing the complete positivity and trace preservation [76, 77]. We now describe the general framework of a dynamical re- source theory, consisting of three key components: (i)Free superoperations(Fdyn O ⊆Π (d1,d2)→(d′ 1,d′ 2)) – a class of higher- order maps that transform quantum channels inΛ d1→d2 into quantum ...
-
[2]
∈ F dyn O , i.e.,F dyn S F dyn O − − → Fdyn S ; (iii)Dynamical resource monotone(f) – a function that as- signs a non-negative real value to each quantum channel, i.e.,f: Λ d1→d2 →R ≥0, with the defining property that it does not increase under free superoperations, namely, i.e., f(Λ d1→d2)≥f(Θ(Λ d1→d2))∀Θ∈ F SO. In essence, it serves as a quantitative me...
-
[3]
In the preceding discussion, we derived the IGP, ¯IB(U) P , for a fixed purityP, as given in Eq
Average of ¯IB(U) P over the purityP Let us evaluate the IGP of a unitary operatorUover the set of all real states. In the preceding discussion, we derived the IGP, ¯IB(U) P , for a fixed purityP, as given in Eq. (7). We now extend this notion by averaging over all possible values ofP, thereby obtaining the IGP ofUover the entire set of real states. Since...
-
[4]
Prepare a maximally entangled state|ϕ +⟩= 1√ d Pd i=1 |ii⟩. 6
-
[5]
Prepare two copies ofUand apply them locally, i.e., implementU⊗Uon the state|ϕ +⟩, leading to the output stateρ out =U⊗U|ϕ +⟩⟨ϕ+|U † ⊗U †
-
[6]
Measure the fidelityF=⟨ϕ +|ρout|ϕ+⟩of the resulting state with respect to|ϕ +⟩from which one immediately obtains|Tr U †U ∗ |2 =d 2 F[89–93]. 1 2Apply local unitaries 3Measure fidelity |ϕ+⟩=1 d d ∑i |ii⟩ (U⊗U)|ϕ+⟩ F=|⟨ϕ+|U⊗U|ϕ+⟩|2 A1 A2 U U |ϕ+⟩ Maximally entangled Still maximally entangled U⊗U|ϕ+⟩ Projection on |ϕ+⟩ Prepare Bell state FIG. 1.Schematic illu...
-
[7]
Technology Vertical - Quantum Communi- cation
= 1 2 Tr(ρ2 R)−Tr(U 1ρR U † 1 U ∗ 1 ρR U T 1 ) = 1 2 Tr(ρ2 R)−Tr(M ∗ 1 ρR M1ρR) ,(17) whereM 1 = (O 1U O2)†(O1U O2)∗ =O T 2 U †U ∗O2 = OT 2 M O2, withM=U †U ∗, andU ∗ denoting the complex conjugate ofUin the basisB. 7 We now perform the Haar average over the setΣ1, yielding ¯IB(U1) = 1 2 Tr(ρ2 R) ρR ∈Σ1 − Tr(M∗ 1 ρR M1ρR) ρR ∈Σ1 = 1 2 Tr(ρ′2 R ) ρ′ R ∈Σ1 ...
work page 2024
-
[8]
E. Chitambar and G. Gour, Quantum resource theories, Rev. Mod. Phys.91, 025001 (2019)
work page 2019
-
[9]
C. H. Bennett, H. J. Bernstein, S. Popescu, and B. Schu- macher, Concentrating partial entanglement by local opera- 15 tions, Phys. Rev. A53, 2046 (1996)
work page 2046
-
[10]
C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters, Mixed-state entanglement and quantum error cor- rection, Phys. Rev. A54, 3824 (1996)
work page 1996
- [11]
-
[12]
V . Vedral and M. B. Plenio, Entanglement measures and pu- rification procedures, Phys. Rev. A57, 1619 (1998)
work page 1998
-
[13]
Vidal, Entanglement of pure states for a single copy, Phys
G. Vidal, Entanglement of pure states for a single copy, Phys. Rev. Lett.83, 1046 (1999)
work page 1999
-
[15]
Vidal, Entanglement monotones, Journal of Modern Optics 47, 355 (2000)
G. Vidal, Entanglement monotones, Journal of Modern Optics 47, 355 (2000)
work page 2000
-
[16]
T. Baumgratz, M. Cramer, and M. Plenio, Quantifying coher- ence, Physical Review Letters113, 140401 (2014)
work page 2014
-
[17]
A. Streltsov, G. Adesso, and M. B. Plenio, Colloquium : Quantum coherence as a resource, Reviews of Modern Physics 89, 041003 (2017)
work page 2017
-
[18]
A. Winter and D. Yang, Operational resource theory of coher- ence, Phys. Rev. Lett.116, 120404 (2016)
work page 2016
-
[19]
A. Streltsov, U. Singh, H. S. Dhar, M. N. Bera, and G. Adesso, Measuring quantum coherence with entanglement, Physical Review Letters115, 020403 (2015)
work page 2015
-
[20]
A. Streltsov, H. Kampermann, S. W ¨olk, M. Gessner, and D. Bruß, Maximal coherence and the resource theory of pu- rity, New Journal of Physics20, 053058 (2018)
work page 2018
-
[21]
F. G. S. L. Brand ˜ao, M. Horodecki, J. Oppenheim, J. M. Renes, and R. W. Spekkens, Resource theory of quantum states out of thermal equilibrium, Physical Review Letters 111, 250404 (2013)
work page 2013
-
[22]
D. Janzing, P. Wocjan, R. Zeier, R. Geiss, and T. Beth, Ther- modynamic cost of reliability and low temperatures: Tight- ening landauer’s principle and the second law, International Journal of Theoretical Physics39, 2717 (2000)
work page 2000
-
[23]
L. Masanes and J. Oppenheim, A general derivation and quan- tification of the third law of thermodynamics, Nature Commu- nications8, 14538 (2017)
work page 2017
-
[24]
F. Brand ˜ao, M. Horodecki, N. Ng, J. Oppenheim, and S. Wehner, The second laws of quantum thermodynamics, Proceedings of the National Academy of Sciences112, 3275 (2015)
work page 2015
-
[25]
G. Gour, D. Jennings, F. Buscemi, R. Duan, and I. Marvian, Quantum majorization and a complete set of entropic condi- tions for quantum thermodynamics, Nature Communications 9, 5352 (2018)
work page 2018
-
[26]
N. H. Y . Ng and M. P. Woods, Resource theory of quantum thermodynamics: Thermal operations and second laws (2018) pp. 625–650
work page 2018
- [27]
-
[28]
M. Howard and E. Campbell, Application of a resource theory for magic states to fault-tolerant quantum computing, Phys. Rev. Lett.118, 090501 (2017)
work page 2017
-
[29]
Fault-Tolerant Postselected Quantum Computation: Schemes
E. Knill, Fault-tolerant postselected quantum computation: Schemes (2004), arXiv:quant-ph/0402171 [quant-ph]
work page Pith review arXiv 2004
- [30]
-
[31]
L. Leone and L. Bittel, Stabilizer entropies are monotones for magic-state resource theory, Phys. Rev. A110, L040403 (2024)
work page 2024
-
[32]
S. Bravyi and A. Kitaev, Universal quantum computation with ideal clifford gates and noisy ancillas, Physical Review A71, 022316 (2005)
work page 2005
-
[33]
A. Hickey and G. Gour, Quantifying the imaginarity of quan- tum mechanics, Journal of Physics A: Mathematical and The- oretical51, 414009 (2018)
work page 2018
-
[34]
W. K. Wootters, Entanglement sharing in real-vector-space quantum theory, Foundations of Physics42, 19 (2012)
work page 2012
-
[35]
L. Hardy and W. K. Wootters, Limited holism and real-vector- space quantum theory, Foundations of Physics42, 454 (2012)
work page 2012
-
[36]
A. Aleksandrova, V . Borish, and W. K. Wootters, Real-vector- space quantum theory with a universal quantum bit, Phys. Rev. A87, 052106 (2013)
work page 2013
-
[37]
W. K. Wootters, Optimal information transfer and real-vector- space quantum theory (2013), arXiv:1301.2018 [quant-ph]
work page Pith review arXiv 2013
-
[38]
V . Moretti and M. Oppio, Quantum theory in real hilbert space: How the complex hilbert space structure emerges from poincar´e symmetry, Reviews in Mathematical Physics29, 1750021 (2017)
work page 2017
- [39]
- [40]
-
[41]
M.-C. Chen, C. Wang, F.-M. Liu, J.-W. Wang, C. Ying, Z.-X. Shang, Y . Wu, M. Gong, H. Deng, F.-T. Liang, Q. Zhang, C.- Z. Peng, X. Zhu, A. Cabello, C.-Y . Lu, and J.-W. Pan, Ruling out real-valued standard formalism of quantum theory, Phys. Rev. Lett.128, 040403 (2022)
work page 2022
-
[42]
D. Wu, Y .-F. Jiang, X.-M. Gu, L. Huang, B. Bai, Q.-C. Sun, X. Zhang, S.-Q. Gong, Y . Mao, H.-S. Zhong, M.-C. Chen, J. Zhang, Q. Zhang, C.-Y . Lu, and J.-W. Pan, Experimental refutation of real-valued quantum mechanics under strict lo- cality conditions, Phys. Rev. Lett.129, 140401 (2022)
work page 2022
-
[43]
A. Bednorz and J. Batle, Optimal discrimination between real and complex quantum theories, Phys. Rev. A106, 042207 (2022)
work page 2022
-
[44]
J. Yao, H. Chen, Y .-L. Mao, Z.-D. Li, and J. Fan, Proposals for ruling out real quantum theories in an entanglement-swapping quantum network with causally independent sources, Phys. Rev. A109, 012211 (2024)
work page 2024
-
[45]
K.-D. Wu, T. V . Kondra, S. Rana, C. M. Scandolo, G.-Y . Xi- ang, C.-F. Li, G.-C. Guo, and A. Streltsov, Operational re- source theory of imaginarity, Phys. Rev. Lett.126, 090401 (2021)
work page 2021
-
[46]
Zhu, Hiding and masking quantum information in com- plex and real quantum mechanics, Phys
H. Zhu, Hiding and masking quantum information in com- plex and real quantum mechanics, Phys. Rev. Res.3, 033176 (2021)
work page 2021
-
[47]
J. Miyazaki and K. Matsumoto, Imaginarity-free quantum multiparameter estimation, Quantum6, 665 (2022)
work page 2022
- [48]
-
[49]
A. Budiyono and H. K. Dipojono, Quantifying quantum coher- ence via kirkwood-dirac quasiprobability, Phys. Rev. A107, 022408 (2023)
work page 2023
-
[50]
Z.-W. Wei and S.-M. Fei, Nonlocal advantages of quantum imaginarity, Phys. Rev. A110, 052202 (2024)
work page 2024
-
[51]
T. Haug, K. Bharti, and D. E. Koh, Pseudorandom unitaries are neither real nor sparse nor noise-robust, Quantum9, 1759 (2025). 16
work page 2025
-
[52]
P. Zanardi, C. Zalka, and L. Faoro, Entangling power of quan- tum evolutions, Phys. Rev. A62, 030301 (2000)
work page 2000
-
[53]
T. Linowski, G. Rajchel-Mieldzio ´c, and K. ˙Zyczkowski, Entangling power of multipartite unitary gates, Journal of Physics A: Mathematical and Theoretical53, 125303 (2020)
work page 2020
-
[54]
Eisert, Entangling power and quantum circuit complexity, Phys
J. Eisert, Entangling power and quantum circuit complexity, Phys. Rev. Lett.127, 020501 (2021)
work page 2021
-
[55]
X. Qiu, Z. Song, and L. Chen, Multipartite entangling power by von neumann entropy, Phys. Rev. A111, 022407 (2025)
work page 2025
- [56]
-
[57]
M. Samanta, S. Mondal, S. K. Hazra, and A. Sen (De), Hier- archies among genuine multipartite entangling capabilities of quantum gates, Phys. Rev. A113, 012612 (2026)
work page 2026
-
[58]
M. Samanta, S. Mondal, and A. S. De, Disparity between multipartite entangling and disentangling powers of unitaries: Even vs odd (2025), arXiv:2505.18539 [quant-ph]
- [59]
-
[60]
P. Zanardi, G. Styliaris, and L. Campos Venuti, Coherence- generating power of quantum unitary maps and beyond, Phys. Rev. A95, 052306 (2017)
work page 2017
-
[61]
P. Zanardi, G. Styliaris, and L. Campos Venuti, Measures of coherence-generating power for quantum unital operations, Phys. Rev. A95, 052307 (2017)
work page 2017
-
[62]
G. Styliaris, L. Campos Venuti, and P. Zanardi, Coherence- generating power of quantum dephasing processes, Phys. Rev. A97, 032304 (2018)
work page 2018
-
[63]
M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information(Cambridge University Press, 2012)
work page 2012
-
[64]
T. J. Elliott, Strict advantage of complex quantum theory in a communication task, Phys. Rev. A111, 062401 (2025)
work page 2025
-
[65]
K.-D. Wu, T. V . Kondra, C. M. Scandolo, S. Rana, G.-Y . Xi- ang, C.-F. Li, G.-C. Guo, and A. Streltsov, Resource theory of imaginarity in distributed scenarios, Communications Physics 7, 171 (2024)
work page 2024
-
[66]
M. B. Ruskai, S. Szarek, and E. Werner, An analysis of completely-positive trace-preserving maps on m2, Linear Al- gebra and its Applications347, 159 (2002)
work page 2002
- [67]
- [68]
- [69]
-
[70]
M. Guo, S. Huang, B. Li, and S. Fei, Quantifying the imaginar- ity via different distance measures, Advanced Quantum Tech- nologies8, 10.1002/qute.202400562 (2025)
-
[71]
Q. Chen, T. Gao, and F. Yan, Measures of imaginarity and quantum state order, Science China Physics, Mechanics amp; Astronomy66, 10.1007/s11433-023-2126-9 (2023)
-
[72]
B. Zhou, M. Chen, H. Wen, and H. Cao, Geometric robustness and infidelity of imaginarity, Laser Physics Letters22, 115205 (2025)
work page 2025
-
[73]
D. P ´erez-Garc´ıa, M. M. Wolf, D. Petz, and M. B. Ruskai, Contractivity of positive and trace-preserving maps under lp norms, Journal of Mathematical Physics47, 10.1063/1.2218675 (2006)
-
[74]
X. Wang and S. G. Schirmer, Contractivity of the hilbert- schmidt distance under open-system dynamics, Physical Re- view A79, 052326 (2009)
work page 2009
-
[75]
G. Gour and C. M. Scandolo, Dynamical resources (2020), arXiv:2101.01552 [quant-ph]
-
[76]
G. Gour and C. M. Scandolo, Dynamical entanglement, Phys. Rev. Lett.125, 180505 (2020)
work page 2020
- [77]
-
[78]
Hsieh, Resource preservability, Quantum4, 244 (2020)
C.-Y . Hsieh, Resource preservability, Quantum4, 244 (2020)
work page 2020
- [79]
-
[80]
P. Skrzypczyk and N. Linden, Robustness of measurement, discrimination games, and accessible information, Phys. Rev. Lett.122, 140403 (2019)
work page 2019
-
[81]
Resource theories of quantum channels and the universal role of resource erasure
Z.-W. Liu and A. Winter, Resource theories of quantum channels and the universal role of resource erasure (2019), arXiv:1904.04201 [quant-ph]
work page Pith review arXiv 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.