Bayesian Weak Commutativity Does Not Guarantee Attainability of the Nagaoka–Hayashi Bound

Research summary

Constructs a full-rank four-level model satisfying Bayesian weak commutativity whose optimal estimation risk nevertheless exceeds the Nagaoka–Hayashi bound. It determines the optimal risk and a seven-outcome measurement, and proves positive gap bounds across a family of models.