Quantum optical ABCD theorem in two-mode case

By introducing the entangled Fresnel operator (EFO) this paper demonstrates that there exists ABCD theorem for two-mode entangled case in quantum optics. The canonical operator method as mapping of ray-transfer ABCD matrix is explicitly shown by EFO's normally ordered expansion through the coherent state representation and the technique of integration within an ordered product of operators.