The price of precision: usable entanglement in nonlocal games and the geometry of groups

In a nonlocal game of quantum value one that no finite-dimensional strategy wins, near-perfect play needs growing dimension, which separable states can have. We ask how much usable entanglement it needs: the demand at loss ε is the least one-way distillable entanglement of the original state of a strategy of loss at most ε. For synchronous games with tested diagonals and for constraint-variable consistency games, demand diverges exactly when no finite-dimensional strategy is perfect; then, for any number of Bell pairs and any fidelity below one, every sufficiently good mixed strategy yields that many at that fidelity by local isometries. For rational synchronous or binary constraint games, a loss guaranteeing this is computable under a promise, but boundedness of demand is undecidable among games of value one. Demand is at least logarithmic if near-winners have a sign relation and an even dilation mirrored by both players, as in a game from Abels' group. For agreement games the directions agree up to a factor three in loss, optimal among Bob-fixed deterministic local symmetrizations. The geometry of the group behind a game, not its presentation, sets the rates. Fixed games demand αlog(1/ε) for every α=12∑ᵢlogmᵢqᵢ with qᵢ≥2 a power of two dividing mᵢ, a dense set containing all positive rationals and some transcendentals, such as 12log₆2; a configuration-lamp game demands ε⁻¹⁺ᵒ⁽¹⁾; Pauli lamps on the points of Houghton's three rays give demand between ε-0.0690 and ε-1/4. If group relations hold exactly and Alice matches Bob to error e, demand counts qubits addressable by short words: Θ(1/e), Θ(e⁻ᵏ) for integers k≥1, or 2Θ(1/e). Conditional on our attainment and tail bounds, the I₃₃₂₂ optimum needs bounded usable entanglement.