| （英） |
In this study, we introduce the bosonic stabilizer formalism for linear optical circuits by analogy with the stabilizer formalism in quantum circuits. This ensures that, by using a linear optical circuit with proper properties, if the input state of a linear optical circuit is in the simultaneous eigenspaces of a specific group, the output state is in the simultaneous eigenspaces of the corresponding group. Unlike the case of quantum circuits, the output of such linear optical circuits is not efficiently simulatable, but many protocols that have been proposed can be understood in a unified manner based on this formulation. As concrete examples, we analyze the Hong-Ou-Mandel interference and the Bell state discrimination problem using this formulation. |