pith. sign in

arxiv: 2606.04763 · v1 · pith:PL5DGWSQnew · submitted 2026-06-03 · 🪐 quant-ph

Imaginarity witness

Zhiqi Liang , Yufan Lin , Yu Guo , Yuqi Sun This is my paper

Pith reviewed 2026-06-28 06:18 UTC · model grok-4.3

classification 🪐 quant-ph
keywords imaginarity witnessquantum resourceHermitian operatortrace normrobustnessquantum information
0
0 comments X

The pith

Any nonreal Hermitian operator serves as a witness for imaginarity in quantum states.

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

This paper develops a theory of witnesses for imaginarity, a quantum resource. It proves that any nonreal Hermitian operator relative to a chosen reference basis acts as an imaginarity witness. A finite number of such operators can identify every state possessing imaginarity. The authors define a measure based on these witnesses and show it equals both the trace norm of imaginarity and its robustness.

Core claim

The central claim is that in this framework any nonreal Hermitian operator under the reference basis is an imaginarity witness and only finite of them can detect all the imaginarity states. Relations between witnesses are studied in cases of common detections, same sets, and finer relations. The witnessed imaginarity measure coincides with the trace norm of imaginarity and the robustness of imaginarity.

What carries the argument

The imaginarity witness, which is any nonreal Hermitian operator under the reference basis.

Load-bearing premise

There is a fixed reference basis that determines which operators count as nonreal.

What would settle it

An experiment showing a nonreal Hermitian operator that does not detect imaginarity in any state, or a quantum state where the witnessed imaginarity differs from the trace norm value.

read the original abstract

Imaginarity has shown to be an important resource in quantum information. The witness theory of quantum resource, such as entanglement witness, coherence witness, and imaginarity witness, has been established, in particular entanglement witness and coherence witness have been extensively explored. We present here another class of imaginarity witnesses beyond the one in [{Phys. Lett. A} \textbf{530}, 130135 (2025)]. Within our framework, any nonreal Hermitian operator under the reference basis is an imaginarity witness and only finite of them can detect all the imaginarity states. As the common approaches that were explored in the witness theories of entanglement and coherence, we then explore the relations between these imaginarity witnesses in different cases: (i) when they can detect common imaginary states, (ii) when they can detect the same sets of imaginary states, and (ii) when they obey the finer relation. Finally, we define an imaginarity measure in terms of witnesses, termed witnessed imaginarity, and prove that it coincides with both the trace norm of imaginarity and the robustness of imaginarity.

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.

Referee Report

2 major / 1 minor

Summary. The manuscript develops a theory of imaginarity witnesses, asserting that any nonreal Hermitian operator (in a fixed reference basis) qualifies as an imaginarity witness, that only finitely many such witnesses suffice to detect all imaginary states, exploring relations among witnesses (common detection, identical detection sets, finer relations), and defining a witnessed imaginarity measure that is proven to equal both the trace norm of imaginarity and the robustness of imaginarity.

Significance. If the central claims hold after correction, the work would extend witness-based resource theories from entanglement and coherence to imaginarity, with the equivalence to trace-norm and robustness measures providing a concrete link to existing quantifiers and the finite-detection result offering a practical completeness property.

major comments (2)
  1. [Abstract] Abstract (and the framework statement): the claim that 'any nonreal Hermitian operator under the reference basis is an imaginarity witness' does not hold. A valid witness W must satisfy Tr(W ρ) ≥ 0 for every real density operator ρ. Because every real ρ has real matrix elements, Tr(W ρ) = Tr(Re(W) ρ); the imaginary part of W contributes nothing. Consequently any W whose real part violates the condition (e.g., a negative diagonal entry) yields Tr(W |k⟩⟨k|) < 0 for the real projector |k⟩⟨k|, so W is not a witness. This directly undermines the asserted class of witnesses and is load-bearing for all subsequent results.
  2. [Section on witnessed imaginarity measure] Section defining witnessed imaginarity and proving equivalence to trace norm / robustness: the equivalence proof must be re-examined once the witness set is corrected, because the optimization over an incorrectly characterized set of witnesses may not recover the trace-norm or robustness values; explicit verification that the minimum is attained only over valid witnesses (i.e., those with Re(W) satisfying the positivity condition on real states) is required.
minor comments (1)
  1. [References] The citation 'Phys. Lett. A 530, 130135 (2025)' should be verified for volume and page accuracy.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which identify a critical issue in the definition of imaginarity witnesses. We agree that the original claim requires correction and will revise the manuscript accordingly. Point-by-point responses follow.

read point-by-point responses

  1. Referee: [Abstract] The claim that 'any nonreal Hermitian operator under the reference basis is an imaginarity witness' does not hold. A valid witness W must satisfy Tr(W ρ) ≥ 0 for every real density operator ρ. Because every real ρ has real matrix elements, Tr(W ρ) = Tr(Re(W) ρ); the imaginary part of W contributes nothing. Consequently any W whose real part violates the condition (e.g., a negative diagonal entry) yields Tr(W |k⟩⟨k|) < 0, so W is not a witness.

    Authors: We agree with the referee. The witness condition Tr(W ρ) ≥ 0 for real ρ depends only on Re(W), so not every nonreal Hermitian operator qualifies. We will revise the abstract and framework to define imaginarity witnesses as Hermitian operators W such that Tr(Re(W) ρ) ≥ 0 for all real ρ while W is not real (i.e., has nonzero imaginary part). This corrected class will be used throughout. revision: yes

  2. Referee: [Section on witnessed imaginarity measure] the equivalence proof must be re-examined once the witness set is corrected, because the optimization over an incorrectly characterized set of witnesses may not recover the trace-norm or robustness values; explicit verification that the minimum is attained only over valid witnesses is required.

    Authors: We accept this. With the corrected witness set, we will re-examine the optimization defining witnessed imaginarity, add explicit verification that the minimum is achieved only over valid witnesses (those satisfying the real-part condition), and confirm equivalence to the trace norm and robustness of imaginarity. Revised proofs and details will be included. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper introduces a class of imaginarity witnesses and defines witnessed imaginarity as a measure constructed from them, then proves its equivalence to the independently defined trace norm of imaginarity and robustness of imaginarity. These equivalences are presented as theorems rather than identities by construction, and the framework relies on standard witness positivity conditions with respect to a fixed reference basis without reducing the central claims to self-citations, fitted parameters, or definitional loops. The cited prior work is invoked only to position the new class as an extension, not as load-bearing justification for the main results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard quantum resource theory assumptions about imaginarity being basis-dependent; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Imaginarity is defined relative to a fixed reference basis.
    Invoked when stating that nonreal Hermitian operators under the reference basis are witnesses.

pith-pipeline@v0.9.1-grok · 5715 in / 1185 out tokens · 42098 ms · 2026-06-28T06:18:10.622485+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

67 extracted references

  1. [1]

    Oxford University Press, Oxford (2010)

    Smith, W.F.: Waves and oscillations: a prelude to quan- tum mechanics. Oxford University Press, Oxford (2010)

    2010

  2. [2]

    Nottale, L., C´ el´ erier, M.N.: Emergence of complex and spinor wave functions in scale relativity. I. Nature of scale variables. J. Math. Phys.54, 11 (2013)

    2013

  3. [3]

    Tatzko, S., Jahn, M.: On the use of complex numbers in equations of nonlinear structural dynamics. Mech. Syst. Signal Process.126, 626-635 (2019)

    2019

  4. [4]

    Wu, K.D., Kondra, T.V., Rana, S., Scandolo, C.M., Xi- ang, G.Y., Li, C.F, Guo, G.C., Streltsov, A.: Operational Resource Theory of Imaginarity. Phys. Rev. Lett.126, 090401 (2021)

    2021

  5. [5]

    Herzog, U., Bergou, J.A.: Minimum-error discrimination between subsets of linearly dependent quantum states. Phys. Rev. A65, 050305 (2002)

    2002

  6. [6]

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

    2021

  7. [7]

    Sajjan, M., Singh, V., Selvarajan, R., Kais, S.: 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, 013146 (2023)

    2023

  8. [8]

    Quan- tum9, 1759 (2025)

    Haug, T., Bharti, K., Koh, D.E.: Pseudorandom uni- taries are neither real nor sparse nor noise-robust. Quan- tum9, 1759 (2025)

    2025

  9. [9]

    Carollo, A., Spagnolo, B., Valenti, D.: Uhlmann curva- ture in dissipative phase transitions. Sci. Rep.8, 9852 11 (2018)

    2018

  10. [10]

    Carollo, A., Spagnolo, B., Dubkov, A.A., Valenti, D.: On quantumness in multi-parameter quantum estimation. J. Stat. Mech. Theory Exp.2019, 094010 (2019)

    2019

  11. [11]

    Quantum6, 665 (2022)

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

    2022

  12. [12]

    Jones, A.E., Kumar, S., D’Aurelio, S., Bayerbach, M., Menssen, A.J., Barz, S.: Distinguishability and mixed- ness in quantum interference. Phys. Rev. A108, 053701 (2023)

    2023

  13. [13]

    W.S., Walmsley, I.A.: Distin- guishability and many-particle interference

    Menssen, A.J., Jones, A.E., Metcalf, B.J., Tichy, M.C., Barz, S., Kolthammer. W.S., Walmsley, I.A.: Distin- guishability and many-particle interference. Phys. Rev. Lett.118, 153603 (2017)

    2017

  14. [14]

    Shchesnovich, V.S., Bezerra, M.E.O.: Collective phases of identical particles interfering on linear multiports. Phys. Rev. A98, 033805 (2018)

    2018

  15. [15]

    Quantum Sci

    Wagner, R., Schwartzman-Nowik, Z., Paiva, I.L., Te’eni, A., Ruiz-Molero, A., Barbosa, R.S., Cohen, E., Gal- vao, E.F.: Quantum circuits for measuring weak values, Kirkwood-Dirac quasiprobability distributions, and state spectra. Quantum Sci. Technol.9, 015030 (2024)

    2024

  16. [16]

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

    2023

  17. [17]

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

    2023

  18. [18]

    Budiyono, A., Agusta, M.K., Nurhandoko, B.E.B., Dipo- jono, H.K.: Quantum coherence as asymmetry from com- plex weak values. J. Phys. A: Math. Theor.56, 235304 (2023)

    2023

  19. [19]

    Wagner, R., Galvao, E.F.: Simple proof that anoma- lous weak values require coherence. Phys. Rev. A108, L040202 (2023)

    2023

  20. [20]

    Kedem, Y.: Using technical noise to increase the signal- to-noise ratio of measurements via imaginary weak val- ues. Phys. Rev. A85, 060102 (2012)

    2012

  21. [21]

    Dixon, P.B., Starling, D.J., Jordan, A.N., Howell, J.C.: Ultrasensitive beam deflection measurement via interfer- ometric weak value amplification. Phys. Rev. Lett.102, 173601 (2009)

    2009

  22. [22]

    Science319, 787 (2008)

    Hosten, O., Kwiat, P.: Observation of the Spin Hall Ef- fect of Light via Weak Measurements. Science319, 787 (2008)

    2008

  23. [23]

    Brunner, N., Simon, C.: Measuring small longitudinal phase shifts: weak measurements or standard interfer- ometry? Phys. Rev. Lett.105, 010405 (2010)

    2010

  24. [24]

    Hofmann, H.F.: Uncertainty limits for quantum metrol- ogy obtained from the statistics of weak measurements. Phys. Rev. A83, 022106 (2011)

    2011

  25. [25]

    Kunjwal, R., Lostaglio, M., Pusey, M.F.: Anomalous weak values and contextuality: Robustness, tightness, and imaginary parts. Phys. Rev. A100, 042116 (2019)

    2019

  26. [26]

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

    2018

  27. [27]

    Zhang, L., Li, N.: On imaginarity witnesses. Phys. Lett. A530, 130135 (2025)

    2025

  28. [28]

    Wu, K.D., Kondra, T.V., Rana, S., Scandolo, C.M., Xi- ang, G.Y., Li, C.F, Guo, G.C., Streltsov, A.: Resource theory of imaginarity: Quantification and state conver- sion. Phys. Rev. A103, 032401 (2021)

    2021

  29. [29]

    Quantum Inf

    Xue, S., Guo, J., Li, P., Ye, M., Li, Y.: Quantification of resource theory of imaginarity. Quantum Inf. Process. 20, 1 (2021)

    2021

  30. [30]

    Xu, J.: Quantifying the imaginarity of quantum states via Tsallis relative entropy. Phys. Lett. A528, 130024 (2024)

    2024

  31. [31]

    Wu, Y.C., Han, Y.J., Guo, G.C.: When different entan- glement witnesses can detect the same entangled states. Phys. Lett. A356, 402-405 (2006)

    2006

  32. [32]

    Hou, J., Guo, Y.: When different entanglement wit- nesses detect the same entangled states. Phys. Rev. A 82, 052301 (2010)

    2010

  33. [33]

    Lewenstein, M., Kraus, B., Cirac, J.I., Horodecki, P.: Optimization of entanglement witnesses. Phys. Rev. A 62, 052310 (2000)

    2000

  34. [34]

    Wu, Y.C., Guo, G.C.: Determining the existence of the common entanglement witnesses for some entangled states. Phys. Rev. A75, 052333 (2007)

    2007

  35. [35]

    Hansen, L.O., Hauge, A., Myrheim, J., Sollid, P.: Ex- tremal entanglement witnesses. Int. J. Quantum Inf.13, 1550060 (2015)

    2015

  36. [36]

    Brandao, F.G.S.L.: Quantifying entanglement with wit- ness operators. Phys. Rev. A72, 022310 (2005)

    2005

  37. [37]

    Qi, X., Hou, J.: Characterization of optimal entangle- ment witnesses. Phys. Rev. A85, 022334 (2012)

    2012

  38. [38]

    Napoli, C., Bromley, T.R., Cianciaruso, M., Piani, M., Johnston, N., Adesso, G.: Robustness of coherence: an operational and observable measure of quantum coher- ence. Phys. Rev. Lett.116, 150502 (2016)

    2016

  39. [39]

    Entropy 23, 1136 (2021)

    Wang, B.H., Ding, Z.H., Ma, Z., Fei, S.M.: Common co- herence witnesses and common coherent states. Entropy 23, 1136 (2021)

    2021

  40. [40]

    Li, M.S., Xu, W., Fei, S.M., Zheng, Z.J., Wang, Y.L.: Witnessing quantum coherence with prior knowledge of observables. Phys. Rev. A109, 032422 (2024)

    2024

  41. [41]

    Ren, H., Lin, A., He, S., Hu, X.: Quantitative coherence witness for finite dimensional states. Ann. Phys.387, 281-289 (2017)

    2017

  42. [42]

    Zhu, X.N., Jin, Z.X., Bao, G., Fei, S.M.: Classifying coherence with a finite set of witnesses. J. Phys. A: Math. Theor.57, 455208 (2024)

    2024

  43. [43]

    Quantum Inf

    Wang, B.H., Zhou, S.Q., Ma, Z., Fei, S.M.: Tomo- graphic witnessing and holographic quantifying of coher- ence. Quantum Inf. Process.20, 181 (2021)

    2021

  44. [44]

    Ma, Z., Zhang, Z., Dai, Y., Dong, Y.,Zhang, C.: Detect- ing and estimating coherence based on coherence wit- nesses. Phys. Rev. A103, 012409 (2021)

    2021

  45. [45]

    Bertlmann, R.A., Krammer, P.: Bloch vectors for qudits. J. Phys. A: Math. Theor.41, 235303 (2008)

    2008

  46. [46]

    Verstraete, F.: Quantum entanglement and quantum in- formation. Ph. D. thesis, Katholieke Universiteit Leuven (unpublished) (2002)

    2002

  47. [47]

    Nikaidˆ o, H.: On von Neumann’s minimax theorem

    H. Nikaidˆ o, H.: On von Neumann’s minimax theorem. Pac. J. Math4, 65-72 (1954)

    1954

  48. [48]

    Sion, M.: On general minimax theorems. Pac. J. Math. 8, 171-176 (1958)

    1958

  49. [49]

    Wu, K.D., Kondra, T.V., Scandolo, C.M., Rana, S., Xi- ang, G.Y., Li, C.F, Guo, G.C., Streltsov, A.: Resource theory of imaginarity in distributed scenarios. Commun. Phys. 7, 171 (2024)

    2024

  50. [50]

    Nature (London)600, 625–629 (2021) 12

    Renou, M.O., Trillo, D., Weilenmann, M., Le, T.P., Tavakoli, A., Gisin, N., Ac´ ın, A., Navascu´ es, M.: Quan- tum theory based on real numbers can be experimentally falsified. Nature (London)600, 625–629 (2021) 12

    2021

  51. [51]

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

    2012

  52. [52]

    K.: Entanglement sharing in real-vector- space quantum theory

    Wootters, W. K.: Entanglement sharing in real-vector- space quantum theory. Found. Phys.42, 19-28 (2012)

    2012

  53. [53]

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

    2013

  54. [54]

    Cambridge university press, Cam- bridge (2010)

    Nielsen, M.A., Chuang, I.L.: Quantum computation and quantum information. Cambridge university press, Cam- bridge (2010)

    2010

  55. [55]

    Stueckelberg, E.C.G.: Quantum theory in real Hilbert space. Helv. Phys. Acta.33, 458 (1960)

    1960

  56. [56]

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

    2019

  57. [57]

    Piani, M., Cianciaruso, M., Bromley, T.R., Napoli, C., Johnston, N., Adesso, G.: Robustness of asymmetry and coherence of quantum states. Phys. Rev. A93, 042107 (2016)

    2016

  58. [58]

    Chen, Q., Gao, T., Yan, F.: Measures of imaginarity and quantum state order. Sci. China-Phys. Mech. Astro.66, 280312 (2023)

    2023

  59. [59]

    Guo, M.L., Li, B., Fei, S.M.: Geometric-like imaginar- ity: quantification and state conversion. Sci. China-Phys. Mech. Astro68, 220311 (2025)

    2025

  60. [60]

    Du, S., Bai, Z.: Quantifying imaginarity in terms of pure- state imaginarity. Phys. Rev. A111, 022405 (2025)

    2025

  61. [61]

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

    2026

  62. [62]

    Fernandes, C., Wagner, R., Novo, L., Galv˜ ao, E.F.: Unitary-invariant witnesses of quantum imaginarity. Phys. Rev. Lett.133, 190201 (2024)

    2024

  63. [63]

    Sarkar, S., Datta, C.: Detecting quantum resources in a semi-device-independent framework. Phys. Rev. A111, L040402 (2025)

    2025

  64. [64]

    Zheng, B., Guo, Z., Zhang, C., Cao, H.: Freezing imagi- narity measures with real operations. J. Phys. A: Math. Theor.58, 035304 (2025)

    2025

  65. [65]

    Lett.148, 28002 (2024)

    Zhang, L., Li, N.: Coherence as maximal imaginarity generated by incoherent operations, Europhys. Lett.148, 28002 (2024)

    2024

  66. [66]

    Moretti, V., Oppio, M.: Quantum theory in real Hilbert space: How the complex Hilbert space structure emerges from Poincar´ e symmetry. Rev. Math. Phys.29, 1750021 (2017)

    2017

  67. [67]

    Chen, X., Lei, Q.: Imaginarity measures induced by rel- ative entropy. Rep. Math. Phys.95, 1-10 (2025)

    2025