We discuss the problem of characterizing upper bounds on entanglement in a bipartite quantum system when only the reduced density matrices (marginals) are known. In particular, starting from the known two-qubit case, we propose a family of candidates for maximally entangled mixed states with respect to fixed marginals for two qutrits. These states are extremal in the convex set of two-qutrit states with fixed marginals. Moreover, it is shown that they are always quasidistillable. As a by-product we prove that any maximally correlated state that is quasidistillable must be pure. Our observations for two qutrits are supported by numerical analysis.
Absolutely maximally entangled states require every reduction of at most half of the parties to be maximally mixed, a condition that is both rigid and often impossible for qubit systems. Previous work introduced the quantum extremal number, which maximizes the number of exactly maximally mixed half-body marginals, and determined the exact value Qex(8,4)=56. The present work develops a robust extension of this extremal problem. For a subsystem A, the marginal maximal-mixing defect is defined by DA=2∣A∣Tr(ρA2)−1=2∣A∣ρA−2∣A∣IA22, and Qex,εD(n,k) is defined as the maximum number of k-body marginals satisfying DA≤ε in an n-qubit pure state. This counting problem differs from approximate k-uniformity, which requires all k-body marginals to obey a common error bound.
For pure states on 4m qubits, the following local stability inequality is established: ∑i∈TDT∖{i}≥1(∣T∣=2m+1). It follows that, whenever ε<1/(2m+1), the hypergraph of ε-good 2m-subsets is K2m+1(2m)-free. Combined with the known exact eight-qubit construction, this yields the stability plateau Qex,εD(8,4)=56,0≤ε<51. For odd systems of 2k+1 qubits, the exact forbidden hypergraph Hk is used to derive explicit finite-error stability radii. In particular, Qex,εD(9,4)≤120 for 0≤ε<1/17. These results turn exact quantum Turán obstructions into quantitative robustness statements and identify intervals on which quantum extremal numbers are stable under imperfect marginal mixedness.