Antiflat Majorization in Quantum Spectra

• Antiflat majorization is defined as a partial order on bipartite states using the full Rényi entropy spread to capture fluctuation structures in the entanglement spectrum.
• It contrasts with standard majorization by focusing not on overall purity but on the variation in the Rényi curve, which distinguishes flat states from those with pronounced spectral fluctuations.
• The framework underpins resource-theoretic insights, linking flatness-preserving operations to necessary convertibility conditions in quantum information processing.

Searching arXiv for recent and foundational papers on “antiflat majorization” and closely related majorization frameworks. Antiflat majorization is a partial order on bipartite quantum states that compares the fluctuation structure of the entanglement spectrum, rather than its overall concentration, by requiring the Rényi entropy spread of one reduced state to be no larger than that of another for every pair of Rényi parameters $\alpha<\beta$ (Jasser et al., 20 May 2026). It was introduced to address a limitation of standard majorization: ordinary spectral majorization orders states by concentration or purity, but it is structurally insensitive to whether a spectrum is internally uniform on its support or instead exhibits pronounced fluctuations. In this framework, flat states are those whose reduced density operator is uniform on its support, while antiflatness quantifies the nontrivial spread of the full Rényi curve and thereby supplies second-order information about entanglement-spectrum structure (Jasser et al., 20 May 2026).

1. Formal definition and basic objects

The setting is bipartite. For a state $$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$, the reduced density operator on subsystem $A$ is

$\rho_A=\operatorname{Tr}_B(\rho),$

and its eigenvalues form the entanglement spectrum. Since the antiflatness quantities depend only on that spectrum, $\rho_A$ may be viewed as a probability vector $\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$ with $\lambda_i\ge 0$ and $\sum_i\lambda_i=1$ (Jasser et al., 20 May 2026).

The free objects are the flat-on-support states,

$$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$

equivalently

$\rho_A=\frac{\Pi_A}{\mathrm{rank}(\Pi_A)}$

for a projector $$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$0 onto the support of $$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$1. This includes pure states on $$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$2, maximally mixed states on full support, and any normalized rank-$$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$3 projector with spectrum $$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$4 (Jasser et al., 20 May 2026).

The basic spectral function is the Rényi entropy,

$$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$5

and the fundamental antiflatness diagnostic is the Rényi entropy spread

$$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$6

Because $$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$7 is nonincreasing in $$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$8, this spread is nonnegative, and it vanishes for all $$\rho \in \mathcal D(\mathcal H_A\otimes \mathcal H_B)$$9 exactly on $A$0 (Jasser et al., 20 May 2026). A state is therefore flat precisely when its Rényi curve is constant on its support; antiflatness measures the failure of that constancy.

2. Contrast with standard majorization

Classical majorization compares ordered spectra by cumulative concentration. For vectors $A$1 in nonincreasing order, one standard form is

$A$2

so the more peaked vector majorizes the flatter one (Nathanson, 2021). In the normalized simplex, the completely flat vector

$A$3

is majorized by every vector, while the basis vectors are maximally concentrated extremes (Nathanson, 2021).

Antiflat majorization was introduced because this purity-based order does not resolve internal spectral fluctuations. In particular, the antiflatness measures

$A$4

are neither strictly Schur-convex nor strictly Schur-concave, so ordinary majorization does not determine their ordering (Jasser et al., 20 May 2026). The underlying obstruction is structural: both pure states and maximally mixed states are flat in the sense of $A$5, hence both have zero antiflatness, yet they occupy opposite ends of the usual majorization order (Jasser et al., 20 May 2026).

This mismatch is especially sharp on the iso-purity manifold

$A$6

On $A$7, standard majorization effectively freezes: if a transformation obeys ordinary majorization inside $A$8, then it is restricted to local isometries, because equality of purity plus majorization forces equality of the ordered spectra (Jasser et al., 20 May 2026). Antiflat majorization remains nontrivial there because it compares the full Rényi-curve shape rather than a single Schur-concave scalar.

3. The antiflat majorization order

The defining relation is

$A$9

Thus $\rho_A=\operatorname{Tr}_B(\rho),$0 is at least as antiflat as $\rho_A=\operatorname{Tr}_B(\rho),$1 when the entire Rényi spread profile of $\rho_A=\operatorname{Tr}_B(\rho),$2 dominates that of $\rho_A=\operatorname{Tr}_B(\rho),$3 (Jasser et al., 20 May 2026).

A one-parameter equivalent formulation uses

$\rho_A=\operatorname{Tr}_B(\rho),$4

Then

$\rho_A=\operatorname{Tr}_B(\rho),$5

equivalently, $\rho_A=\operatorname{Tr}_B(\rho),$6 is non-increasing on $\rho_A=\operatorname{Tr}_B(\rho),$7 (Jasser et al., 20 May 2026). This converts the all-pairs spread comparison into a monotonicity test on a single function.

Flat states are minimal elements because their spreads vanish identically. The order is not total: if there exist intervals on which the Rényi-spread comparison reverses, then neither state antiflat-majorizes the other (Jasser et al., 20 May 2026). Such crossing behavior is intrinsic to the framework and distinguishes it from one-parameter entropy orderings.

Several antiflatness measures are monotone under $\rho_A=\operatorname{Tr}_B(\rho),$8. If

$\rho_A=\operatorname{Tr}_B(\rho),$9

then

$\rho_A$0

If, in addition,

$\rho_A$1

then also

$\rho_A$2

(Jasser et al., 20 May 2026). This makes antiflat majorization a common order-theoretic umbrella for several inequivalent fluctuation diagnostics.

4. Antiflatness measures and information geometry

Three measures are central. The Capacity of Entanglement is

$\rho_A$3

and also

$\rho_A$4

The Linear Rényi spread is

$\rho_A$5

and the logarithmic antiflatness is

$\rho_A$6

Near $\rho_A$7, the Rényi spread has the local expansion

$\rho_A$8

so $\rho_A$9 is the local Rényi-spread density at $\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$0 (Jasser et al., 20 May 2026).

These measures are unified by escort distributions. For a probability vector $\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$1, the escort distribution of order $\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$2 is

$\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$3

and, for a full-rank density matrix,

$\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$4

The escort partition function

$\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$5

generates the Rényi family, and the three antiflatness measures admit the unified expressions

$\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$6

$\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$7

$\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$8

(Jasser et al., 20 May 2026).

The same framework yields a geometric interpretation through Bregman divergences. Along the escort trajectory, the Capacity of Entanglement is the KL-curvature

$\lambda(\rho_A)=(\lambda_1,\dots,\lambda_r)$9

and, because the escort path commutes spectrally with $\lambda_i\ge 0$0, this curvature coincides with the scalar Quantum Fisher Information along that path (Jasser et al., 20 May 2026). A plausible implication is that antiflatness is not merely a family of ad hoc fluctuation measures, but a coherent information-geometric structure attached to the reduced spectrum.

5. Resource-theoretic interpretation

Flatness-Preserving Operations are defined as the maximal class of CPTP maps that never increase Rényi spread: $\lambda_i\ge 0$1 They are therefore exactly the channels that do not generate antiflatness (Jasser et al., 20 May 2026).

For bipartite pure states $\lambda_i\ge 0$2 and $\lambda_i\ge 0$3, antiflat majorization gives a necessary convertibility condition: $\lambda_i\ge 0$4 The converse is not known; sufficiency remains open (Jasser et al., 20 May 2026). Antiflat majorization is thus presently a necessary monotonicity criterion, not a complete operational characterization.

The framework is intentionally distinct from standard entanglement-resource operations. LOCC is not generally FPO, local projective measurements and dephasing are not generally FPO, and unital channels are not generally FPO (Jasser et al., 20 May 2026). In particular, a flat reduced spectrum can be converted by LOCC into a non-flat one, so LOCC can generate antiflatness.

On the iso-purity manifold $\lambda_i\ge 0$5, if

$\lambda_i\ge 0$6

then

$\lambda_i\ge 0$7

Since $\lambda_i\ge 0$8 is fixed, this implies the endpoint constraints

$\lambda_i\ge 0$9

equivalently

$\sum_i\lambda_i=1$0

(Jasser et al., 20 May 2026). The same regime exhibits a rank obstruction: if $\sum_i\lambda_i=1$1 have the same rank and $\sum_i\lambda_i=1$2, then their ordered spectra must coincide. Consequently, any nontrivial antiflat ordering at fixed purity must involve a change of support rank (Jasser et al., 20 May 2026).

6. Extremal spectra, Pareto structure, and typicality

Absolute maximal antiflatness is not achieved by a single universal state. Instead, the extremal shape is a jump spectrum of the form

$\sum_i\lambda_i=1$3

with one distinguished eigenvalue and an equal tail (Jasser et al., 20 May 2026). Different antiflatness measures select different optimal $\sum_i\lambda_i=1$4, so the extremal set is a continuous Pareto frontier rather than a single maximizer. For large dimension,

$\sum_i\lambda_i=1$5

(Jasser et al., 20 May 2026).

This frontier is encoded by the Pareto-optimal set

$\sum_i\lambda_i=1$6

which formalizes the fact that optimization at one Rényi scale can degrade performance at another (Jasser et al., 20 May 2026).

Typicality calculations place these extremal spectra in context. For Haar-random bipartite pure states,

$\sum_i\lambda_i=1$7

and in the regime $\sum_i\lambda_i=1$8,

$\sum_i\lambda_i=1$9

Moreover,

$$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$0

so $$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$1 concentrates (Jasser et al., 20 May 2026). For Bures–Hall random states with $$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$2,

$$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$3

(Jasser et al., 20 May 2026). In both ensembles, typical reduced states become asymptotically flat in spectral structure even while remaining highly entangled. The paper also studies doped Clifford ensembles, where antiflatness interpolates between stabilizer-like and Haar-like behavior as non-Clifford doping increases (Jasser et al., 20 May 2026).

7. Related notions and broader majorization context

The exact phrase “antiflat majorization” is recent and, in the cited literature, appears as a formal term only in the quantum-spectral framework above (Jasser et al., 20 May 2026). Earlier and neighboring literatures discuss related ideas without that name.

In classical vector majorization, the relation $$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$4 already admits a flat-versus-peaked reading: $$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$5 is more concentrated and less flat, while $$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$6 is more equalized, and the normalized simplex ranges from the completely flat vector $$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$7 to the basis-vector extremes $$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$8 (Nathanson, 2021). Approximate majorization introduces the steepest $$\mathrm{FLAT}_A:= \Big\{ \rho \in \mathcal{D}(\mathcal{H}_A \otimes \mathcal{H}_{B}) \ \Big|\ \rho_A^2=\frac{\rho_A}{\mathrm{rank}(\rho_A)} \Big\},$$9-approximation $\rho_A=\frac{\Pi_A}{\mathrm{rank}(\Pi_A)}$0, which majorizes every distribution in the $\rho_A=\frac{\Pi_A}{\mathrm{rank}(\Pi_A)}$1-ball $\rho_A=\frac{\Pi_A}{\mathrm{rank}(\Pi_A)}$2, and the flattest approximation $\rho_A=\frac{\Pi_A}{\mathrm{rank}(\Pi_A)}$3, which is majorized by every such distribution (Horodecki et al., 2017). That steepest/flattest duality is a close precursor of later antiflat language, although it remains within ordinary majorization.

In quantum information, related extremal contrasts appear without an antiflat-majorization order. One example is the comparison between SIC states, which make characteristic-function data as flat as allowed, and stabilizer states, which are maximally peaked in the corresponding majorization sense (Stacey, 20 Sep 2025). In another direction, lattice reduction has been analyzed through T-transforms on the Gram–Schmidt log-profile, where each non-degenerate Lovász swap makes the profile less spread out: $\rho_A=\frac{\Pi_A}{\mathrm{rank}(\Pi_A)}$4 so every strictly Schur-convex spread functional decreases (Blanco-Romero et al., 30 Apr 2026). Symplectic weak supermajorization provides yet another neighboring notion, comparing lower tails of ordered symplectic spectral data by

$\rho_A=\frac{\Pi_A}{\mathrm{rank}(\Pi_A)}$5

with full majorization recovered only under restrictive saturation conditions (Huang et al., 2024).

These neighboring frameworks suggest a broader pattern. Standard majorization, approximate steepening, weak supermajorization, and spectral-smoothing dynamics all encode aspects of flatness and anti-flatness, but they do so through concentration order, local averaging, or lower-tail control. Antiflat majorization, in the strict sense, departs from those by taking the full Rényi spread as primary and by ordering spectra according to fluctuation structure rather than purity alone (Jasser et al., 20 May 2026).