---
title: Information Convex Set in Quantum Topology
url: https://www.emergentmind.com/topics/information-convex-set
type: topic
---

# Information Convex Set in Quantum Topology

The **information convex** is a set of reduced density matrices associated with a subsystem of a many-body quantum system, defined by local energy-minimization conditions rather than by a single global ground-state wavefunction. In the setting of 2D topological order governed by frustration-free local Hamiltonians, it provides a quantum-information characterization of bulk anyons, boundary superselection sectors, quantum dimensions, and bulk-to-boundary condensation rules through the convex geometry of locally consistent reduced states [1801.01519]. In that literature, the object is denoted $\Sigma(\Omega)$ for a region $\Omega$. The same phrase also appears in unrelated convex-analysis and information-design contexts, where it refers respectively to characteristic-cone constructions for convex sets and to achievable expected-value sets under Bayesian information design [1503.09014], [1804.05752].

## 1. Formal definition and basic structure

For a lattice model with a local, frustration-free Hamiltonian
$$
H=\sum_i h_i,
$$
each $h_i$ is Hermitian, supported on a finite-radius neighborhood, and has minimal eigenvalue $0$. Frustration-free means every ground state $|\psi\rangle$ satisfies $h_i|\psi\rangle=0$ for all $i$, so $\operatorname{tr}(h_i\rho)=0$ for the ground-state density matrix $\rho=|\psi\rangle\langle\psi|$ [1801.01519].

Given a region $\Omega'$, containing all local terms that overlap a smaller region $\Omega\subset\Omega'$, one defines the restricted local Hamiltonian $H_{\Omega'}$ from those $h_i$ supported within $\Omega'$. A state $\rho_{\Omega'}$ is a local energy minimizer on $\Omega'$ when
$$
\operatorname{tr}(H_{\Omega'}\rho_{\Omega'})=0.
$$
The information convex is then
$$
\Sigma(\Omega,\Omega')=\left\{\sigma_\Omega=\operatorname{Tr}_{\Omega'\setminus\Omega}(\rho_{\Omega'}) : \operatorname{tr}(H_{\Omega'}\rho_{\Omega'})=0\right\}.
$$
The notation $\Sigma(\Omega)$ denotes the minimal choice of $\Omega'$ that contains all terms overlapping $\Omega$.

This construction filters reduced states on $\Omega$ to those compatible with a locally gapped environment. Its geometric role is immediate: $\Sigma(\Omega,\Omega')$ is convex, compact, and embedded in a finite-dimensional real vector space isomorphic to the Hermitian matrices on the Hilbert space of $\Omega$. If $\sigma_\Omega^{(1)},\sigma_\Omega^{(2)}\in\Sigma(\Omega,\Omega')$, then for any $p\in[0,1]$,
$$
p\,\sigma_\Omega^{(1)}+(1-p)\,\sigma_\Omega^{(2)}\in\Sigma(\Omega,\Omega').
$$
Moreover, every extremal point of $\Sigma(\Omega,\Omega')$ has a purification in $\Omega'$ by a pure state $|\phi\rangle_{\Omega'}$ that is itself a local minimizer.

A common misconception is that topological characterization from local reduced states must begin with ground-state wavefunctions alone. The information convex formulation explicitly works with density matrices and therefore organizes local sectors directly at the reduced-state level.

## 2. Convex geometry, extremal points, and restriction maps

The information convex is not merely a collection of locally admissible reduced states; its extremal structure is the carrier of superselection data. Extremal points correspond to pure local-minimizing sectors, and their labels and overlaps are determined by bulk or boundary superselection sectors and their quantum dimensions [1801.01519].

For nested regions $\Omega\subset\tilde{\Omega}\subset\Omega'$, there is a natural restriction map
$$
\pi:\Sigma(\tilde{\Omega},\Omega')\to\Sigma(\Omega,\Omega'),\qquad
\pi(\sigma_{\tilde{\Omega}})=\operatorname{Tr}_{\tilde{\Omega}\setminus\Omega}(\sigma_{\tilde{\Omega}}).
$$
This map is linear, completely positive and trace-preserving, and surjective. It preserves convex structure in the sense that images of line segments are line segments. Physically, it implements forgetting degrees of freedom while retaining the local minimizing condition. Faces map to faces, and extremal points in the larger region can map either to extremal points or to convex combinations in the smaller region, depending on whether the corresponding superselection data remain distinguishable inside $\Omega$.

This suggests a useful operational interpretation: inclusion maps encode the loss of topological distinguishability under coarse localization. In particular, when a region is deformed so that it touches a gapped boundary, the same CPTP structure constrains how bulk labels reduce to boundary labels. In the topological-order setting, the geometry is therefore not ancillary to the physics; it is a representation of physically allowed sector reduction under partial trace.

## 3. Bulk annuli, anyon sectors, and topological entanglement entropy

Let $\Omega_1$ be a bulk annulus. In a 2D topological order governed by a frustration-free commuting-projector Hamiltonian, $\Sigma(\Omega_1)$ is a simplex whose extremal points are in one-to-one correspondence with bulk superselection sectors $a$ [1801.01519]. Its convex decomposition is
$$
\Sigma(\Omega_1)=\left\{\sigma_{\Omega_1}=\sum_a p_a\,\sigma_{\Omega_1}^a\right\},
\qquad
\sum_a p_a=1,\quad p_a\ge 0.
$$

The extremal points satisfy orthogonality and overlap relations
$$
\sigma_{\Omega_1}^a\cdot \sigma_{\Omega_1}^b=0\qquad (a\neq b),
$$
and
$$
\frac{\operatorname{tr}[\sigma_{\Omega_1}^a\sigma_{\Omega_1}^a]}
{\operatorname{tr}[\sigma_{\Omega_1}^1\sigma_{\Omega_1}^1]}
=\frac{1}{d_a^2},
$$
where $d_a$ is the quantum dimension of anyon $a$ and $1$ denotes the vacuum. Their entropies obey
$$
S(\sigma_{\Omega_1}^a)=S(\sigma_{\Omega_1}^1)+\ln d_a^2.
$$
These entropy shifts are topological invariants of the annular topology and are independent of microscopic details or deformations of $\Omega_1$.

The entropy-maximizing center element is
$$
\tilde{\sigma}_{\Omega_1}
=\sum_a \frac{d_a^2}{\mathcal{D}^2}\,\sigma_{\Omega_1}^a,
\qquad
\mathcal{D}\equiv \sqrt{\sum_a d_a^2}.
$$
Partitioning the annulus as in the Levin-Wen construction yields
$$
S_{\mathrm{topo}}
=
\left[S_{AB}+S_{BC}-S_B-S_{ABC}\right]_{\sigma^1}
=
I(A:C|B)_{\sigma^1}.
$$
A general lower bound is
$$
S_{\mathrm{topo}}\ge S(\tilde{\sigma}_{\Omega_1})-S(\sigma_{\Omega_1}^1)=\ln\mathcal{D}^2,
$$
and in the frustration-free commuting-projector setting, and more generally under mild assumptions, the bound is saturated:
$$
S_{\mathrm{topo}}=\ln\mathcal{D}^2.
$$

The significance is twofold. First, $\mathcal{D}$ is encoded by the geometry of $\Sigma(\Omega_1)$ through entropy maximization. Second, topological entanglement entropy appears not as an independent diagnostic but as a derived invariant of the information convex. This rules out the misconception that the formalism merely reproduces sector labels; it also captures global quantum-dimension data.

## 4. Boundary regions, boundary sectors, and condensation rules

When the region touches a gapped boundary, the information convex resolves boundary superselection sectors. Let $\Omega_2$ be a strip annulus adjacent to an untwisted gapped boundary specified by a subgroup $K\subset G$. Then
$$
\Sigma(\Omega_2)=\left\{\sigma_{\Omega_2}=\sum_\alpha p_\alpha\,\sigma_{\Omega_2}^\alpha\right\},
\qquad
\sum_\alpha p_\alpha=1,\quad p_\alpha\ge 0,
$$
where $\alpha$ runs over deconfined boundary excitations [1801.01519].

The extremal boundary sectors satisfy
$$
\sigma_{\Omega_2}^\alpha\cdot \sigma_{\Omega_2}^\beta=0\qquad (\alpha\neq\beta),
$$
$$
\frac{\operatorname{tr}[\sigma_{\Omega_2}^\alpha\sigma_{\Omega_2}^\alpha]}
{\operatorname{tr}[\sigma_{\Omega_2}^1\sigma_{\Omega_2}^1]}
=\frac{1}{d_\alpha^2},
$$
and
$$
S(\sigma_{\Omega_2}^\alpha)=S(\sigma_{\Omega_2}^1)+\ln d_\alpha^2.
$$
For $D(G)$ with untwisted boundary $K\subset G$, boundary labels are
$$
\alpha\equiv (T,R),
$$
where $T\in K\backslash G/K$ is a double coset and $R$ is an irrep of
$$
K^{r_T}=K\cap r_T K r_T^{-1}
$$
for a representative $r_T\in T$. The corresponding quantum dimension is
$$
d_\alpha=\frac{|T|\,n_R}{|K|}=\frac{|K|\,n_R}{|K^{r_T}|},
$$
with $n_R=\dim R$.

Bulk-to-boundary condensation is encoded by the restriction map. If a bulk anyon $a$ decomposes at the boundary as
$$
a\to \sum_\alpha N_a^\alpha\,\alpha,
$$
with nonnegative integers $N_a^\alpha$, then the relation between extremal density matrices is
$$
\sigma_{\Omega_2}^a
=
\sum_\alpha \left(\frac{N_a^\alpha d_\alpha}{d_a}\right)\sigma_{\Omega_2}^\alpha.
$$
In this way, condensation multiplicities, boundary sector content, and quantum dimensions are recovered directly from reduced density matrices.

A plausible implication is that the information convex provides a boundary-sensitive substitute for more operator-centric diagnostics. The data explicitly state that it recovers condensation rules without requiring string operators or modular matrices directly.

## 5. Quantum doubles and explicit solvable examples

For quantum doubles $D(G)$, bulk anyons are labeled by pairs
$$
a=(c,R),
$$
where $c$ is a conjugacy class in $G$ with representative $r_c$ and $R$ is an irrep of the centralizer
$$
E(c)=\{g\in G:gr_c=r_cg\}.
$$
Their quantum dimension is
$$
d_a=|c|\,n_R,
$$
and the total quantum dimension satisfies
$$
\mathcal{D}=\sqrt{\sum_a d_a^2}=|G|.
$$
The paper constructs extremal elements explicitly by minimal diagram reductions: for a bulk annulus, $\sigma_{\Omega_1}^a$ is obtained by applying appropriate ribbon operators and tracing out complements; for boundary-adjacent regions, $\sigma_{\Omega_2}^\alpha$ is obtained similarly using boundary ribbons [1801.01519].

Two examples organize the general structure.

| Model | Key bulk structure | Key boundary structure |
|---|---|---|
| Toric code, $G=\mathbb{Z}_2$ | Anyons $1,e,m,\epsilon$, all with $d_a=1$ and $\mathcal{D}=2$ | Rough boundary: $e\to 1$ and $m$ is confined; smooth boundary: $m\to 1$ and $e$ is confined |
| $S_3$ quantum double, $K=\{1\}$ | Eight sectors with $d_a\in\{1,1,2,2,2,2,3,3\}$ | Six boundary extremal points with $d_\alpha=1$; bulk processes reach only conjugacy-class averages |

In the toric code, $\Sigma(\Omega_1)$ has four extremal points $\sigma_{\Omega_1}^a$, all with identical entropy because $\ln d_a^2=0$, and $S_{\mathrm{topo}}=\ln 4$. For a rough boundary, boundary sectors satisfy $\alpha\in G\cong\mathbb{Z}_2$ with $d_\alpha=1$, the charge $e$ condenses to vacuum, and $m$ is confined. For a smooth boundary, the roles of $e$ and $m$ are reversed.

The non-Abelian $S_3$ example is more intricate. The bulk sectors are
$$
a\in \{1,A,J^w,J^x,J^y,J^z,K^a,K^b\},
$$
with quantum dimensions listed above. The boundary extremals are labeled by $\alpha\in G$ and all satisfy $d_\alpha=1$. However, the subset accessible by bulk processes is only
$$
\Sigma(\Omega_2)_{\mathrm{bulk}}
=
\{p_1\sigma^1+p_{c_r}\sigma^{c_r}+p_{c_s}\sigma^{c_s}\},
$$
with
$$
\sigma^{c_r}=(\sigma^r+\sigma^{r^2})/2,\qquad
\sigma^{c_s}=(\sigma^s+\sigma^{sr}+\sigma^{sr^2})/3.
$$
Thus bulk processes do not reach all boundary extremals for non-Abelian $G$; boundary-string processes do.

The corresponding condensation rules include
$$
J^w\to 2\cdot 1,\qquad
J^x\to r+r^2,\qquad
J^y\to r+r^2,\qquad
J^z\to r+r^2,
$$
$$
K^a\to s+sr+sr^2,\qquad
K^b\to s+sr+sr^2,\qquad
A\to 1.
$$
A particularly distinctive feature appears for the boundary annulus $\Omega_3$: $\Sigma(\Omega_3)$ has extremal points $\sigma_{\Omega_3}^1$, $\sigma_{\Omega_3}^A$, and a continuous family $\sigma_{\Omega_3}^{J^w}(\theta,\phi)$ lying on a sphere $S^2$ due to the multiplicity-$2$ condensation $J^w\to 2\cdot 1$. Their overlap relation is
$$
\frac{\operatorname{tr}[\sigma_{\Omega_3}^{J^w}(\theta,\phi)\sigma_{\Omega_3}^{J^w}(\theta',\phi')]}
{\operatorname{tr}[\sigma_{\Omega_3}^1\sigma_{\Omega_3}^1]}
=
\frac{1}{d_{J^w}}\cdot \frac{1+\mathbf{n}\cdot \mathbf{n}'}{2},
$$
and the entropies satisfy
$$
S(\sigma_{\Omega_3}^{A})=S(\sigma_{\Omega_3}^1)+\ln d_A,\qquad
S(\sigma_{\Omega_3}^{J^w}(\theta,\phi))=S(\sigma_{\Omega_3}^1)+\ln d_{J^w}.
$$
Boundary loop unitaries $W(\alpha)$ act by rotations on this $S^2$ family, realizing the $S_3$ group action.

## 6. Robustness, experimental access, and limitations

The convex structure of $\Sigma(\Omega)$ depends only on the topology of $\Omega$ and on how $\Omega$ meets the boundary. The labels, orthogonality relations, and entropy shifts are stable under continuous deformations of $\Omega$ and under small local deformations of the Hamiltonian within the phase [1801.01519]. For gapped phases with finite correlation length $\xi$, the construction can be generalized to allow a small local energy density $\epsilon$:
$$
\Sigma(\Omega,\Omega'|\epsilon)
=
\{\sigma_\Omega(\epsilon): \operatorname{tr}(H_{\Omega'}\rho_{\Omega'})\in[0,\epsilon],\ 
\sigma_\Omega(\epsilon)=\operatorname{Tr}_{\Omega'\setminus\Omega}(\rho_{\Omega'})\}.
$$
The deviation from the $\epsilon=0$ convex set is controlled by the fidelity bound
$$
1-F(\sigma_\Omega(\epsilon),\sigma_\Omega)\le \epsilon/\Delta,
$$
where $\Delta$ is the local gap of $H_{\Omega'}$. Choosing $\Omega'$ thicker than $\Omega$ by several $\xi$ keeps $\Sigma(\Omega,\Omega'|\epsilon)$ close in fidelity to $\Sigma(\Omega,\Omega')$ and preserves the convex-topological structure.

The formalism also has a direct experimental interpretation through overlap measurements. Interference of two copies can probe
$$
\operatorname{tr}[\sigma_\Omega^{(1)}\sigma_\Omega^{(2)}].
$$
The protocol described in the data consists of preparing two identical systems and two states $|\phi^{(1)}\rangle,|\phi^{(2)}\rangle$, cooling subsystems $\Omega$ while keeping excitations outside $\Omega$, and measuring the overlap via swap/interference. Predicted signals include
- for a bulk annulus $\Omega_1$ with anyon $a\neq 1$ in one copy and vacuum in the other,
  $$
  \operatorname{tr}[\sigma_{\Omega_1}^{(1)}\sigma_{\Omega_1}^{(2)}]=0;
  $$
- for a boundary region $\Omega_2$ with boundary excitation $\alpha\neq 1$ in one copy and vacuum in the other,
  $$
  \operatorname{tr}[\sigma_{\Omega_2}^{(1)}\sigma_{\Omega_2}^{(2)}]=0;
  $$
- for the $S_3$ family on $\Omega_3$,
  $$
  \operatorname{tr}[\sigma_{\Omega_3}^{J^w}(\theta,\phi)\sigma_{\Omega_3}^{J^w}(\theta',\phi')]
  \propto \frac{1+\mathbf{n}\cdot \mathbf{n}'}{2}.
  $$

The data also delimit the scope of current explicit constructions. They assume frustration-free, commuting-projector Hamiltonians, specifically quantum doubles with untwisted gapped boundaries. Extensions to twisted boundaries, gapless edges, non-commuting local terms, and 3D topological orders remain open. While the framework is robust under small perturbations in gapped phases, precise bounds and generalizations to long-range correlated models are still under investigation.

## 7. Terminological disambiguation across research literatures

The phrase **information convex set** has distinct meanings in other arXiv literatures. In convex analysis, a related object is the **characteristic cone** of a set
$$
C(S)=\{(x,\lambda)\in\mathbb{R}^n\times\mathbb{R}_+ : x\in \lambda S\},
$$
used to study decomposition of closed convex sets containing no line, maximal elements, relative interior points of polyhedra, and strictly complementary solutions in linear programming [1503.09014]. There the central statements concern correspondences between extreme points and directions of $S$ and vertical or horizontal extreme rays of $C(S)$, together with the representation
$$
S=\operatorname{conv}(E(S))\oplus \operatorname{coni}(D(S)).
$$

In information design, the phrase denotes the set of achievable expected objective vectors under Bayes-plausible signal structures. For finite state space $\Omega$, prior $\mu$, and continuous objectives $\{f_i\}_{i=1}^k$, the set is
$$
\mathcal{V}(\mu)
=
\left\{
\left(\mathbb{E}_\tau[f_1(p)],\dots,\mathbb{E}_\tau[f_k(p)]\right):
\tau\in\Delta(\Delta(\Omega)),\ \mathbb{E}_\tau[p]=\mu
\right\},
$$
which is nonempty, convex, compact, and continuous as a correspondence in $\mu$ [1804.05752]. That usage is tied to Bayesian persuasion, finite-support implementation, and Lagrange concavification, not to topological order.

Accordingly, “information convex set” is not a universally fixed technical term. In the topological-order literature, it specifically denotes $\Sigma(\Omega)$, the convex set of locally energy-minimizing reduced density matrices. In optimization and information design, it refers to different convex-geometric constructions. The shared terminology reflects convexity and information constraints, but the mathematical objects, ambient spaces, and physical or economic interpretations are distinct.

Source: https://www.emergentmind.com/topics/information-convex-set