pith. sign in

arxiv: 2606.00429 · v1 · pith:25SLMCC7new · submitted 2026-05-29 · 🪐 quant-ph

Polytopic Quantum Resource Theories: Geometry and Structures

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

classification 🪐 quant-ph
keywords polytopic quantum resource theoriesresource theory equivalencefree states geometryhomomorphism and isomorphismtensorial representationbasis-non-convexityquantum coherencequantum magic
0
0 comments X

The pith

All polytopic quantum resource theories with a fixed number of pure extremal points are equivalent under a physical map up to normalisation.

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

The paper defines polytopic quantum resource theories as those whose free states are convex combinations of a finite set of extremal states. It develops a tensorial representation that makes the geometry of these sets explicit and introduces homomorphism and isomorphism between free-state sets and allowed transformations to decide physical equivalence. The central result is that any two such theories sharing the same number of pure extremal points can be related by a physical map after normalisation. The work also isolates linearly independent polytopic theories whose extremals form a basis for the space of density operators and begins to examine their categorical structure on multiple systems.

Core claim

In any polytopic quantum resource theory the free states form the convex hull of a finite set of extremal points. The tensorial representation and the newly defined homomorphisms between free-state sets and transformation sets show that two theories are physically equivalent precisely when their extremal sets and allowed maps can be matched. Consequently every pair of polytopic theories that possess the same number of pure extremal points becomes equivalent under a physical map up to normalisation.

What carries the argument

Homomorphism and isomorphism between the sets of free states and the sets of allowed transformations, which together determine structural equivalence of two resource theories.

If this is right

  • Theories such as coherence and magic become interchangeable once they are assigned the same number of pure extremal points.
  • Resource quantification and manipulation tasks can be transferred between any two equivalent polytopic theories via the physical map.
  • The geometry of a given theory is completely determined by the choice and number of its pure extremal points.
  • A uniform categorical description applies to all polytopic theories on multiple systems.

Where Pith is reading between the lines

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

  • The result supplies a classification of resource theories indexed by the number of pure extremal points.
  • Quantities such as resource measures or conversion rates derived in one theory can be pulled back to any other theory in the same equivalence class.
  • The tensorial representation may extend to resource theories whose free sets are not polytopes, offering a common language for comparison.

Load-bearing premise

The introduced notions of homomorphism and isomorphism between free-state sets and allowed transformations fully capture physical equivalence of resource theories.

What would settle it

An explicit pair of polytopic theories that share the same number of pure extremal points yet admit no physical map relating their free states and their allowed transformations.

read the original abstract

Quantum resource theories provide a unifying framework to quantify, compare, and manipulate quantum resources under well-defined operational constraints. Here, we consider any resource theory where the set of free states can be expressed as a convex combination of a set of quantum states, referred to as extremal states and name them as polytopic quantum resource theories (PQRT). These include some of the most studied resource theories, such as coherence and magic. We formulate a novel tensorial representation of PQRTs that reveals the underlying geometry of these theories and provides insight into the origin of the resources. We further address a fundamental question in resource theories that when two theories should be regarded as physically equivalent, and to this purpose we introduce notions of homomorphism and isomorphism that compare both the structure of free states and the allowed transformations. Using the tools we develop, we find results revealing the geometrical and structural foundations of such theories. Interestingly, we find that all polytopic resource theories with a fixed number of pure extremal points are equivalent under a physical map, up to normalisation. Additionally, we introduce linearly independent polytopic resource theories (resource theory of ``basis-non-convexity''), where the set of extremal free states forms a basis of the quantum density operators. We further study the categorical structures of PQRTs beyond single systems.

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

1 major / 1 minor

Summary. The paper introduces polytopic quantum resource theories (PQRTs), in which the free states form the convex hull of a finite set of extremal states (including coherence and magic as examples). It develops a tensorial representation of these theories to expose their geometry and the origin of resources. To address when two resource theories are physically equivalent, the authors define notions of homomorphism and isomorphism that act on both the free-state sets and the allowed transformations. The central result is that all PQRTs possessing the same number of pure extremal points are equivalent under a physical map, up to normalisation. The manuscript also introduces linearly independent PQRTs (where the extremal free states form a basis for the space of density operators) and examines categorical structures of PQRTs beyond single systems.

Significance. If the equivalence result is valid and the homomorphism/isomorphism definitions are shown to be operationally faithful, the geometric classification would unify several well-studied resource theories under a common framework, potentially streamlining comparisons of resource conversion and quantification. The tensorial representation and the introduction of linearly independent PQRTs could also supply new tools for analysing the structure of free operations.

major comments (1)
  1. [Abstract] Abstract (equivalence claim): The statement that 'all polytopic resource theories with a fixed number of pure extremal points are equivalent under a physical map, up to normalisation' rests on the newly introduced homomorphism and isomorphism between free-state sets and allowed transformations fully capturing physical equivalence. The manuscript provides no explicit check that these maps preserve operationally relevant quantities (resource conversion rates, free-operation sets in known cases such as coherence versus magic, or agreement with prior literature on resource-theory equivalence). Because this validation is load-bearing for the central claim, the geometric equivalence does not automatically translate into the asserted physical equivalence.
minor comments (1)
  1. [Abstract] The phrasing 'name them as polytopic quantum resource theories (PQRT)' in the abstract is grammatically awkward and should be revised for clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback. The major comment concerns the need for explicit operational validation of the homomorphism and isomorphism definitions to support the physical equivalence claim. We address this below and outline the revisions we will make.

read point-by-point responses
  1. Referee: The statement that 'all polytopic resource theories with a fixed number of pure extremal points are equivalent under a physical map, up to normalisation' rests on the newly introduced homomorphism and isomorphism between free-state sets and allowed transformations fully capturing physical equivalence. The manuscript provides no explicit check that these maps preserve operationally relevant quantities (resource conversion rates, free-operation sets in known cases such as coherence versus magic, or agreement with prior literature on resource-theory equivalence). Because this validation is load-bearing for the central claim, the geometric equivalence does not automatically translate into the asserted physical equivalence.

    Authors: We thank the referee for this observation. The homomorphism and isomorphism are defined to preserve both the convex set of free states (including extremal points) and the set of allowed transformations, with the latter required to map free operations to free operations while respecting their action on states. By this construction, operational notions such as the existence of a free operation converting one state to another (and thus conversion rates in the asymptotic or one-shot regimes) are preserved, as the allowed transformation sets are mapped accordingly. The central equivalence result then follows from the existence of such an isomorphism for theories with the same number of pure extremal points. That said, we agree that concrete verification would strengthen the presentation. In the revised manuscript we will add a dedicated subsection that (i) explicitly constructs the maps for the coherence and magic-state examples, (ii) verifies that the induced free-operation sets coincide with the standard ones up to the physical map, and (iii) confirms consistency with existing literature on resource-theory equivalence. This addition will make the operational content of the geometric classification fully explicit. revision: yes

Circularity Check

0 steps flagged

No circularity: equivalence result derived from introduced geometric tools

full rationale

The paper introduces a tensorial representation and new definitions of homomorphism/isomorphism between free-state sets and transformations, then derives that polytopic theories with fixed pure extremal points are equivalent under a physical map. This is presented as a mathematical finding from the geometry, not a redefinition or fit. No self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior work appear in the abstract or described chain. The result is self-contained as a consequence of the developed structures rather than reducing to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

Review based solely on abstract; no explicit free parameters, axioms, or invented entities beyond the definitional framing are extractable.

axioms (1)
  • domain assumption The set of free states can be expressed as a convex combination of a set of quantum states referred to as extremal states
    This is the explicit definition used to introduce PQRTs in the abstract.
invented entities (2)
  • polytopic quantum resource theory (PQRT) no independent evidence
    purpose: To name and study resource theories whose free states form a polytope generated by extremal states
    New classification term introduced to unify coherence, magic, and similar theories.
  • linearly independent polytopic resource theory no independent evidence
    purpose: To define the resource theory of basis-non-convexity where extremal states form a basis for density operators
    New subclass introduced in the abstract.

pith-pipeline@v0.9.1-grok · 5773 in / 1324 out tokens · 25209 ms · 2026-06-28T21:42:20.864812+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Induced Resource Theories and Harvesting via Quantum Probes

    quant-ph 2026-06 unverdicted novelty 7.0

    Introduces induced resource theories with precise conditions for interpreting quantum probe harvesting as evidence of resources in environments without complete resource-theoretic descriptions.

Reference graph

Works this paper leans on

50 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [1]

    on average

    if in addition the vertex states are linearly independent pure states, it has the same fidelity with all the free states. We refer to the Appendix for the proofs and the de- tails. From these results, we immediately conclude that if the PQRT is defined via the pure vertices{|ν i⟩ ⟨νi|}, then we can represent the golden state as|Ψ G⟩= ∑i Ci|νi⟩withC i ̸=0....

  2. [2]

    Horodecki, P

    R. Horodecki, P . Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys.81, 865 (2009)

  3. [3]

    C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wootters, Teleporting an unknown quantum state via dual classical and einstein-podolsky-rosen chan- nels, Phys. Rev. Lett.70, 1895 (1993)

  4. [4]

    C. H. Bennett and S. J. Wiesner, Communication via one- and two-particle operators on einstein-podolsky-rosen states, Phys. Rev. Lett.69, 2881 (1992)

  5. [5]

    A. K. Ekert, Quantum cryptography based on bell’s theo- rem, Phys. Rev. Lett.67, 661 (1991)

  6. [6]

    Baumgratz, M

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

  7. [7]

    Streltsov, G

    A. Streltsov, G. Adesso, and M. B. Plenio, Colloquium: Quantum coherence as a resource, Rev. Mod. Phys.89, 041003 (2017)

  8. [8]

    J. H. Selby and C. M. Lee, Compositional resource theo- ries of coherence, Quantum4, 319 (2020)

  9. [9]

    Hickey and G

    A. Hickey and G. Gour, Quantifying the imaginarity of quantum mechanics, Journal of Physics A: Mathematical and Theoretical51, 414009 (2018)

  10. [10]

    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)

  11. [11]

    T. V . Kondra, C. Datta, and A. Streltsov, Real quantum operations and state transformations, New Journal of Physics25, 093043 (2023)

  12. [12]

    Horodecki, P

    M. Horodecki, P . Horodecki, and J. Oppenheim, Re- versible transformations from pure to mixed states and the unique measure of information, Phys. Rev. A67, 062104 (2003)

  13. [13]

    G. Gour, M. P . Müller, V . Narasimhachar, R. W. Spekkens, and N. Yunger Halpern, The resource theory of informa- tional nonequilibrium in thermodynamics, Physics Re- ports583, 1 (2015), the resource theory of informational nonequilibrium in thermodynamics

  14. [14]

    Streltsov, H

    A. Streltsov, H. Kampermann, S. Wölk, M. Gessner, and D. Bruß, Maximal coherence and the resource theory of purity, New Journal of Physics20, 053058 (2018)

  15. [15]

    Gour and R

    G. Gour and R. W. Spekkens, The resource theory of quan- tum reference frames: manipulations and monotones, New Journal of Physics10, 033023 (2008)

  16. [16]

    Veitch, S

    V . Veitch, S. A. Hamed Mousavian, D. Gottesman, and J. Emerson, The resource theory of stabilizer quantum computation, New Journal of Physics16, 013009 (2014)

  17. [17]

    Chitambar and G

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

  18. [18]

    Coecke, T

    B. Coecke, T. Fritz, and R. W. Spekkens, A mathematical theory of resources, Information and Computation250, 59 (2016)

  19. [19]

    Fritz, Resource convertibility and ordered commutative monoids, Mathematical Structures in Computer Science 27, 850–938 (2017)

    T. Fritz, Resource convertibility and ordered commutative monoids, Mathematical Structures in Computer Science 27, 850–938 (2017)

  20. [20]

    C. H. Bennett, D. P . DiVincenzo, C. A. Fuchs, T. Mor, E. Rains, P . W. Shor, J. A. Smolin, and W. K. Wootters, Quantum nonlocality without entanglement, Phys. Rev. A59, 1070 (1999)

  21. [21]

    M. A. Nielsen, Conditions for a class of entanglement transformations, Phys. Rev. Lett.83, 436 (1999)

  22. [22]

    Horodecki and J

    M. Horodecki and J. Oppenheim, (quantumness in the context of) resource theories, International Journal of Modern Physics B27, 1345019 (2013)

  23. [23]

    F. G. S. L. Brandão and G. Gour, Reversible framework for quantum resource theories, Phys. Rev. Lett.115, 070503 (2015)

  24. [24]

    Korzekwa, C

    K. Korzekwa, C. T. Chubb, and M. Tomamichel, Avoid- ing irreversibility: Engineering resonant conversions of quantum resources, Phys. Rev. Lett.122, 110403 (2019)

  25. [25]

    Z.-W. Liu, K. Bu, and R. Takagi, One-shot operational quantum resource theory, Phys. Rev. Lett.123, 020401 (2019)

  26. [27]

    Takagi and B

    R. Takagi and B. Regula, General resource theories in quantum mechanics and beyond: Operational character- ization via discrimination tasks, Phys. Rev. X9, 031053 (2019)

  27. [28]

    Fang and Z.-W

    K. Fang and Z.-W. Liu, No-go theorems for quantum re- source purification, Phys. Rev. Lett.125, 060405 (2020)

  28. [29]

    Regula, K

    B. Regula, K. Bu, R. Takagi, and Z.-W. Liu, Benchmark- ing one-shot distillation in general quantum resource the- ories, Phys. Rev. A101, 062315 (2020)

  29. [30]

    M. K. Vijayan, E. Chitambar, and M.-H. Hsieh, Simple bounds for one-shot pure-state distillation in general re- source theories, Phys. Rev. A102, 052403 (2020)

  30. [31]

    Kuroiwa and H

    K. Kuroiwa and H. Yamasaki, General Quantum Re- source Theories: Distillation, Formation and Consistent Resource Measures, Quantum4, 355 (2020)

  31. [32]

    Sarkar and C

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

  32. [33]

    Theurer, N

    T. Theurer, N. Killoran, D. Egloff, and M. B. Plenio, Resource theory of superposition, Phys. Rev. Lett.119, 230401 (2017)

  33. [34]

    S. Das, C. Mukhopadhyay, S. S. Roy, S. Bhattacharya, A. Sen(De), and U. Sen, Wave-particle duality em- ploying quantum coherence in superposition with non- orthogonal pointers, Journal of Physics A: Mathematical and Theoretical53, 115301 (2020)

  34. [35]

    Surpassing the en- ergy resolution limit with ferromagnetic torque sensors,

    C. Srivastava, S. Das, and U. Sen, Resource theory of quantum coherence with probabilistically nondistin- guishable pointers and corresponding wave-particle duality, Physical Review A103, 10.1103/phys- reva.103.022417 (2021)

  35. [36]

    Banerjee, K

    I. Banerjee, K. Sen, C. Srivastava, and U. Sen, Quan- tum coherence with incomplete set of pointers and corre- sponding wave-particle duality (2021), arXiv:2108.05849 [quant-ph]

  36. [37]

    Fabian, P

    M. Fabian, P . Habala, P . Hájek, V . Montesinos, and V . Zi- zler,Banach space theory: The basis for linear and non- linear analysis, Vol. 1 (Springer, 2011)

  37. [38]

    Napoli, T

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

  38. [39]

    Piani, M

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

  39. [40]

    Mukhopadhyay, U

    C. Mukhopadhyay, U. K. Sharma, and I. Chakrabarty, Brief report robustness of coherence for multipartite quantum states, Pramana93, 10.1007/s12043-019-1828-x (2019)

  40. [41]

    Vidal and R

    G. Vidal and R. Tarrach, Robustness of entanglement, Phys. Rev. A59, 141 (1999)

  41. [42]

    Steiner, Generalized robustness of entanglement, Phys

    M. Steiner, Generalized robustness of entanglement, Phys. Rev. A67, 054305 (2003). [42]ρ=ρ † =⇒ ∑i αi(ρ)|νi⟩ ⟨νi|= ∑i αi(ρ)∗|νi⟩ ⟨νi|=⇒ ∑i(αi(ρ)−α i(ρ)∗)|νi⟩ ⟨νi|=0=⇒α i(ρ) =α i(ρ)∗ as |νi⟩ ⟨νi|are linearly independent

  42. [43]

    Specifically, if we view these resource theories as being defined by symmetric monoidal subcategories, F i i∈ {1, 2}, of the category of CPTP maps giving us monoidal inclusion functorsι i : Fi →CPTP, then a homomorphism is by a monoidal functorZ: F 1 →F 2 together with a monoidal natural transformationM:ι 1 ⇒(ι 2 ◦Z). This defines a categorySub[CPTP]where...

  43. [44]

    Takagi, B

    R. Takagi, B. Regula, K. Bu, Z.-W. Liu, and G. Adesso, Op- erational advantage of quantum resources in subchannel discrimination, Phys. Rev. Lett.122, 140402 (2019)

  44. [45]

    Naseri, T

    M. Naseri, T. V . Kondra, S. Goswami, M. Fellous-Asiani, and A. Streltsov, Entanglement and coherence in the bernstein-vazirani algorithm, Physical Review A106, 062429 (2022)

  45. [46]

    Naseri, Quantum resources in quantum technologies, University of Warsaw (2025)

    M. Naseri, Quantum resources in quantum technologies, University of Warsaw (2025)

  46. [47]

    Fellous-Asiani, M

    M. Fellous-Asiani, M. Naseri, C. Datta, A. Streltsov, and M. Oszmaniec, Scalable noisy quantum circuits for biased-noise qubits, npj Quantum Information11, 145 (2025)

  47. [48]

    Agrawal, M

    G. Agrawal, M. Wilson, and J. H. Selby, Generalised re- source theories, forthcoming

  48. [49]

    Watrous,The theory of quantum information(Cam- bridge university press, 2018)

    J. Watrous,The theory of quantum information(Cam- bridge university press, 2018)

  49. [50]

    Contreras-Tejada, C

    P . Contreras-Tejada, C. Palazuelos, and J. I. de Vicente, A resource theory of entanglement with a unique multipar- tite maximally entangled state, Physical Review Letters 122, 120503 (2019). Appendix A: Fidelity-Based SDP for Distinguishing Free Operations in PQRTs A straightforward way to characterise free operations can be summarised in the following ...

  50. [51]

    Therefore,| ˜v⟩ ⟨˜v|+ 1 2 |−′⟩ ⟨−′|is rank 2 and consequently 1 2 |0′⟩ ⟨0′|+ 1 2 |1′⟩ ⟨1′|+ 1 2 |+′⟩ ⟨+′| must be rank 2

    Then the left-hand side must also be rank 1, which meansM(|0⟩ ⟨0|) =M(|+⟩ ⟨+|), which is a contradiction becauseMis injective. Therefore,| ˜v⟩ ⟨˜v|+ 1 2 |−′⟩ ⟨−′|is rank 2 and consequently 1 2 |0′⟩ ⟨0′|+ 1 2 |1′⟩ ⟨1′|+ 1 2 |+′⟩ ⟨+′| must be rank 2. For this, a necessary condition is that |+′⟩ ⟨+′| ∈span{|0 ′⟩ ⟨1′|,|1 ′⟩ ⟨0′|,|0 ′⟩ ⟨0′|,|1 ′⟩ ⟨1′|}. This m...