Stabilizer entropy cones as self-dual slices of linear rank cones: a five-party gap and dependence on the local dimension
Abstract
Entanglement entropies of multipartite pure states satisfy linear inequalities; for stabilizer states, the backbone of quantum error correction, the achievable entropy vectors generate a convex cone. We show that, after a linear lift, the closure of this cone is exactly the self-dual slice of a classical object on one more element than there are parties: the closed cone generated by the rank functions of arrangements of subspaces over GF(d) for a prime local dimension d, and of subgroups of abelian groups of exponent dividing d in general. This correspondence brings two features of rank inequalities into play. First, the purifier acts as an extra variable: already for five parties the stabilizer cone is strictly smaller than the quantum linear rank cone, with which earlier evidence suggested it might coincide; an explicit six-variable inequality witnesses the gap. Second, the characteristic of the field enters, so the cone depends on the local dimension. It does not for up to four parties. With enough parties, the cone of ℤd qudits is contained in that of ℤd' qudits if and only if d divides d', and already for six parties the logical zero state of Steane's code lies outside the stabilizer cone of every odd local dimension. For this last result we show that the seven-variable characteristic-dependent inequalities we checked all follow from Shannon inequalities on the self-dual slice, and instead transfer one of them through a family of subgroups derived from the Fano plane.
Related
- Lifting an [n,k,d] Binary Linear Code to an $[[n,k,d]]$ Quantum Stabilizer Code
- Continuity for random walks in hyperbolic percolation: drift, entropy, and dimension
- An Entropy Bound for Mean Dimension of Open Covers
- Penalties for change-points and outliers in linear models: localisation cost versus dimension cost
- Default-Distance Entropy and Metric Dimension in Finite Geometries
BibTeX
@misc{song2026stabilizer,
title = {{Stabilizer entropy cones as self-dual slices of linear rank cones: a five-party gap and dependence on the local dimension}},
author = {Xidan Song and Ruifeng Cao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.18905},
eprint = {2610.18905},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.18905},
}
RIS
TY - UNPB
TI - Stabilizer entropy cones as self-dual slices of linear rank cones: a five-party gap and dependence on the local dimension
AU - Xidan Song
AU - Ruifeng Cao
PY - 2026
DA - 2026/10/11
PB - arXiv
DO - 10.48550/arxiv.2610.18905
UR - https://arxiv.org/abs/2610.18905
AB - Entanglement entropies of multipartite pure states satisfy linear inequalities; for stabilizer states, the backbone of quantum error correction, the achievable entropy vectors generate a convex cone. We show that, after a linear lift, the closure of this cone is exactly the self-dual slice of a classical object on one more element than there are parties: the closed cone generated by the rank functions of arrangements of subspaces over GF(d) for a prime local dimension d, and of subgroups of abelian groups of exponent dividing d in general. This correspondence brings two features of rank inequalities into play. First, the purifier acts as an extra variable: already for five parties the stabilizer cone is strictly smaller than the quantum linear rank cone, with which earlier evidence suggested it might coincide; an explicit six-variable inequality witnesses the gap. Second, the characteristic of the field enters, so the cone depends on the local dimension. It does not for up to four parties. With enough parties, the cone of ℤ_d qudits is contained in that of ℤ_d' qudits if and only if d divides d', and already for six parties the logical zero state of Steane's code lies outside the stabilizer cone of every odd local dimension. For this last result we show that the seven-variable characteristic-dependent inequalities we checked all follow from Shannon inequalities on the self-dual slice, and instead transfer one of them through a family of subgroups derived from the Fano plane.
ER -