Write and . The ancilla condition implies and lets every occurrence of on the state be replaced by . Define the two parity projectors
Their factors square to one, so they are valid fermion-parity measurement projectors. Expanding , using the Majorana anticommutation relations, replacing with on , and using
gives
The proportionality absorbs the probability amplitude for obtaining the two displayed measurement outcomes. This realizes the four-Majorana phase gate using one braid and parity measurements.

Articles by others on the same topic (0)

There are currently no matching articles.