The Donkey on the Edge Vol. II · The Paper · Result III May MMXXVI
The Donkey on the Edge
Result the Third

The Product-Class Law, Conditional

For random product (low-entanglement) bulk states, the disagreement falls off only as the negative one-half power – far slower than the Haar case. The exponent and prefactor are derived analytically. Stated conditional on the product-class replacement principle, because product states have tiny probability entries that make the entropy perturbation delicate.

Theorem 3Product ClassConditional

The Product-Class Law, Conditional

For random product (low-entanglement) bulk states, the disagreement falls off only as the negative one-half power – far slower than the Haar case.

ESASB  =  4(π2/33)πdB1/2(1+o(1))    0.608dB1/2.\mathbb{E}|S_A - S_B| \;=\; \sqrt{\tfrac{4(\pi^2/3 - 3)}{\pi}}\, d_B^{-1/2}\,(1+o(1)) \;\approx\; 0.608\, d_B^{-1/2}.

Why conditional, and on what. This law is stated conditional on the product-class replacement principle. The Haar replacement (Result I) is proved unconditionally because Haar bulk states spread probability evenly; the entropy perturbation analysis behaves. Product states do the opposite: almost all probability lives on a few entries, almost none on the rest. The entropy function’s derivative blows up as a probability goes to zero, so the clean bound that works for spread-out distributions does not obviously survive when they are concentrated.

We could have papered over this. The product-class numerics match the prediction at the precision the rest of the paper holds itself to. But matching numerics is the standard we explicitly refused on Result II, and we will not apply it selectively. So Theorem 3 wears the word conditional – in the abstract, on this card, and in the discussion – until somebody (us or anyone else) supplies the small-mass control that turns it unconditional.

The integer exponent gap (Result IV) between this law and Result II’s Haar law is the same in either case. Its claim survives the conditional intact.

See also