---
title: Polytopic Quantum Resource Theories (PQRT)
url: https://www.emergentmind.com/topics/polytopic-quantum-resource-theories-pqrt
type: topic
---

# Polytopic Quantum Resource Theories (PQRT)

Searching arXiv for the specified paper and closely related context.
arxiv_search.query 
Searching for arXiv id 2606.00429.
<tool name="arxiv_search.query">
{"query":"2606.00429","max_results":5}
</tool>
Searching arXiv now.
{"query":"2606.00429","max_results":5}
Polytopic quantum resource theories (PQRTs) are quantum resource theories in which the set of free states is a convex polytope generated by a finite set of extremal free states. In the formulation of "Polytopic Quantum Resource Theories: Geometry and Structures" [2606.00429], a PQRT is any resource theory where the free states can be expressed as a convex combination of a set of quantum states, referred to as extremal states. This class includes some of the most studied resource theories, such as coherence and magic. The framework introduces a tensorial representation that separates linear structure from Hilbert-space inner product structure, defines homomorphism and isomorphism for comparing theories at the level of both free states and allowed transformations, proves rigidity and universality results, studies linearly independent PQRTs under the name basis-non-convexity, and extends the formalism to a compositional symmetric monoidal setting [2606.00429].

## 1. Definition of a polytopic quantum resource theory

Let $\mathcal{H}$ be a finite-dimensional Hilbert space of dimension $d$. Fix a finite set of vertex or extremal free states
$$
S_{\mathrm{ver}}^N=\{\sigma_i \mid \sigma_i\in D(\mathcal{H}),\ i=1\ldots N\}
$$
such that none of the $\sigma_i$ can be written as a convex combination of the others. The corresponding PQRT $\mathcal{R}$ is defined by its free states and its maximal free operations [2606.00429].

The free-state set is
$$
F_s := \operatorname{conv} S_{\mathrm{ver}}^N,
$$
so every $\rho_{\mathrm{free}}\in F_s$ admits
$$
\rho_{\mathrm{free}}=\sum_{i=1}^N p_i \sigma_i,\qquad p_i\ge 0,\ \sum_i p_i=1.
$$
The maximal free operations are
$$
F_O := \{\Lambda\in \mathrm{CPTP}\mid \Lambda(\sigma)\in F_s\ \forall \sigma\in F_s\}.
$$
By Lemma 1, it suffices to check $\Lambda(\sigma_i)\in F_s$ for $i=1\ldots N$.

This definition places the geometry of the free-state set at the center of the resource theory. In particular, the standard resource theory of coherence in a fixed basis $B=\{|0\rangle,\ldots,|d-1\rangle\}$ is the case $N=d$ with $\sigma_i=|i\rangle\langle i|$, while the magic theory is the case where $S_{\mathrm{ver}}$ consists of the pure stabilizer states. The paper’s conclusion further presents PQRTs as unifying all resource theories whose free state set is a finite convex polytope, including coherence, magic, and imaginarity [2606.00429].

## 2. Tensorial representation and geometric content

A central construction separates the linear structure of states from the Hilbert-space inner product. One chooses an abstract vector space $V$ of dimension $d$, a basis $B=\{|e_k\rangle\}_{k=0}^{d-1}$ for $V$, and a dual basis $B'=\{f_k\}_k$ for $V^*$ satisfying $f_j(|e_k\rangle)=\delta_{jk}$ [2606.00429].

Any density operator $\rho$ on $\mathcal{H}$ is then written as an element of $V\otimes V^*$ by
$$
\rho \equiv \sum_i |v_i\rangle\langle v_i|
      = \sum_i \bigl(|v_i\rangle\otimes f_{v_i}\bigr),
$$
where $f_{v_i}(\cdot)=\langle v_i|\cdot\rangle$. In this abstract picture the set of all density operators is
$$
D=\operatorname{conv}\{\,|v\rangle\otimes f_v : |v\rangle\in V,\ f_v(|v\rangle)=1\,\}.
$$
For a PQRT with pure vertices $S_{\mathrm{ver}}=\{|\alpha_i\rangle\}$, the free-state polytope is
$$
F_s=\operatorname{conv}\{\,|\alpha_i\rangle\otimes f_{\alpha_i}\,\}.
$$

Within this representation, the key geometric data sit entirely in the abstract polytope $\operatorname{conv}\{v_i\}$:

- **Vertices**: $\{v_i\otimes f_i\}$.
- **Facets**: linear inequalities separating the convex hull.
- **Dimension**: $\dim F_s=\operatorname{rank}\{v_i\}-1$ as affine dimension.

Theorem III.1 states that any PQRT is uniquely, up to unitary, given by the triple
$$
(S_{\mathrm{ver}}, B, B'),
$$
with free states generated by
$$
\operatorname{conv}\{V_i=\sum_k W_{ki}\in \mathcal{D}(V): \operatorname{rank} W_{ki}\le 1\}.
$$
This tensorial view exposes the geometry of the free-state polytope while distinguishing it from the choice of inner-product structure. A plausible implication is that questions about resource origin and theory comparison can be reformulated in terms of polytope structure before imposing Hilbert-space-specific identifications.

## 3. Homomorphism, isomorphism, and physical equivalence

The framework addresses the question of when two resource theories should be regarded as physically equivalent. Consider two PQRTs
$$
\mathcal{R}_1=(F_{s,1},F_{O,1})\quad\text{on }\mathcal{H}_1,\qquad
\mathcal{R}_2=(F_{s,2},F_{O,2})\quad\text{on }\mathcal{H}_2.
$$
A CPTP-homomorphism $\mathcal{R}_1\to\mathcal{R}_2$ is a pair of maps [2606.00429]
$$
M:\mathcal{B}(\mathcal{H}_1)\to\mathcal{B}(\mathcal{H}_2)
\quad\text{and}\quad
Z:F_{O,1}\to F_{O,2},
$$
where $M$ is CPTP, such that:

- $M(F_{s,1})\subseteq F_{s,2}$,
- $Z(\Lambda)\in F_{O,2}$ for all $\Lambda\in F_{O,1}$,
- $Z(\Lambda)\circ M = M\circ \Lambda$.

If $M$ and $Z$ are invertible with inverse maps satisfying the same conditions, the theories are CPTP-isomorphic.

A weaker notion is CP-homomorphism. In that case $Z(\Lambda)$ is allowed to be merely CP-norm-non-increasing, and the intertwining condition holds only up to a positive scalar $\alpha>0$:
$$
Z(\Lambda)(M(\rho))=\alpha\cdot M(\Lambda(\rho)),
\qquad
Z(\Lambda)/\operatorname{Tr}\circ Z(\Lambda)\in F_{O,2}.
$$
Invertibility yields CP-isomorphism.

The distinction between CPTP-isomorphism and CP-isomorphism is structurally significant. Deterministic equivalence is stricter than stochastic equivalence: the former preserves the theory at the level of CPTP dynamics, whereas the latter identifies theories up to normalization. This resolves a potential misconception that equality of polytope combinatorics alone suffices for full physical equivalence; in the PQRT setting, the answer depends on whether the comparison is made in the CPTP or CP sense.

## 4. Classification theorems

Two structural theorems organize the theory-comparison problem [2606.00429]. The first is a rigidity result:

> If two PQRTs are CPTP-isomorphic then they must be geometrically equivalent, in the sense that their vertex sets are related by a unitary.

In particular, there is no nontrivial CPTP-isomorphism between inequivalent polytopes. The paper’s conclusion summarizes this as a unique deterministic equivalence only when the polytopes are unitarily equivalent.

The second theorem is a universality result:

> Any two PQRTs with the same number $N\le d$ of pure extremal vertices are CP-isomorphic.

Equivalently, all $N$-vertex polytopic theories are operationally equivalent up to stochastic normalization. Concretely, the isomorphism is constructed as
$$
M(\rho)=\frac{[I\otimes T](\rho)}{\operatorname{Tr}[\,I\otimes T\,](\rho)},
$$
where $T$ is the invertible linear map sending one dual basis to the other, together with
$$
Z(\Lambda)=M'\circ \Lambda\circ (M')^{-1},\qquad M'=I\otimes T.
$$
The proof sketch proceeds by showing that any two sets of $N$ linearly independent pure vertices in $V$ can be related by an invertible linear map on $V^*$, after which the map is extended to density operators by normalization and $Z$ is defined by conjugation.

These two theorems establish a sharp dichotomy. On the one hand, CPTP-isomorphism is rigid and unitary-geometric. On the other hand, CP-isomorphism is universal for pure $N$-vertex PQRTs. This suggests that the physically relevant notion of sameness depends on whether normalization-preserving implementations are required.

## 5. Linearly independent PQRTs and basis-non-convexity

A distinguished subclass arises when the extremal free states form a basis of the real space of Hermitian operators. In that case, the extremal free states $\{\sigma_i\}_{1\le i\le d^2}$ are linearly independent, and the free-state set $F_s$ is a full-dimensional polytope of dimension $d^2-1$ [2606.00429]. The complementary resource is termed basis-non-convexity.

Every state $\rho$ then admits a unique expansion
$$
\rho=\sum_i \alpha_i(\rho)\sigma_i,\qquad \sum_i \alpha_i=1,\qquad \alpha_i\in\mathbb{R}.
$$
This unique affine decomposition makes it possible to define a negativity measure:
$$
\mathcal{M}_N(\rho)=-\sum_i \min\{0,\alpha_i(\rho)\}.
$$
It satisfies
$$
\mathcal{M}_N(\rho)=0 \iff \rho\in F_s.
$$
The paper shows that $\mathcal{M}_N$ is monotonic under free operations since free operations act by a column-stochastic map on the $\alpha$-vector.

A second monotone is geometric:
$$
\mathcal{M}_F(\rho)=1-\max_{\sigma\in F_s} F(\rho,\sigma),
$$
which is likewise a free-operation monotone.

These constructions are specific to the linearly independent setting. Because the extremal free states form a basis, coefficient negativity directly detects departure from the free polytope. This gives the basis-non-convexity theory a structurally transparent relation between polytope geometry, affine coordinates, and monotone construction.

## 6. Compositional and categorical structure

The paper extends PQRTs beyond single systems by introducing a full compositional framework. For each finite-dimensional system $\mathcal{H}$ one chooses a set $S_{\mathrm{ver}}^{\mathcal{H}}$ and imposes the consistency condition
$$
S_{\mathrm{ver}}^K\otimes S_{\mathrm{ver}}^L \subseteq \operatorname{conv} S_{\mathrm{ver}}^{K\otimes L}.
$$
One then defines
$$
F_s^{\mathcal{H}}=\operatorname{conv} S_{\mathrm{ver}}^{\mathcal{H}}
$$
and
$$
F_O^{\mathcal{H}\to K}
:=\{\Lambda\in \mathrm{CPTP}^{\mathcal{H}\to K} : (\Lambda\otimes \mathrm{id}_L)(\sigma)\in F_s^{K\otimes L}\ \forall \sigma\in F_s^{H\otimes L},\ \text{all }L\}.
$$
Under these definitions, the collection of all systems and free CPTP maps forms a symmetric monoidal subcategory of the category of all CPTP maps, and identities, swaps, sequential compositions, and parallel compositions of free maps remain free [2606.00429].

In this setting, a compositional CPTP-homomorphism $\mathcal{R}_1\to\mathcal{R}_2$ is given by:

- a function $\xi$ sending each system $\mathcal{H}_1$ in $\mathcal{R}_1$ to a system $\xi(\mathcal{H}_1)$ in $\mathcal{R}_2$;
- for each $\mathcal{H}_1$, a CPTP map $M_{\mathcal{H}}:\mathcal{B}(\mathcal{H}_1)\to\mathcal{B}(\xi(\mathcal{H}_1))$ such that $M_{\mathcal{H}}(F_{s,1}^{\mathcal{H}})\subseteq F_{s,2}^{\xi(\mathcal{H})}$;
- a monoidal functor $Z$ on free operations, preserving sequential and parallel composition, with intertwining
$$
Z(\Lambda)\circ M_{\mathcal{H}} = M_K\circ \Lambda.
$$

CPTP-isomorphism becomes isomorphism of monoidal subcategories. The paper explicitly notes that one can lift the definition of CPTP-homomorphism to a monoidal functor plus a monoidal natural transformation, cf. categorical resource theories à la Coecke, et al.

Two examples illustrate the framework. Coherence in the two qubit bases $\{|0\rangle,|1\rangle\}$ and $\{|+\rangle,|-\rangle\}$ are CPTP-isomorphic via the unitary $H$. More generally, any $N$-vertex PQRT, for example any choice of $N$ pure states, is CP-isomorphic to the standard $N$-level coherence theory. These examples instantiate the broader distinction between deterministic unitary equivalence and stochastic universality established by the classification theorems.

Source: https://www.emergentmind.com/topics/polytopic-quantum-resource-theories-pqrt