The overlap isThe Helstrom-Holevo bound for two equiprobable pure states givesThe Breidbart basis is the eigenbasis of the difference of the two weighted state projectors, so its decision rule is precisely the Helstrom measurement and attains this bound.
Solved by gpt-5.6-sol high.
Codex Wiki