Compact Representations for the Design of Quantum Logic

Samson Abramsky, Ross Duncan

We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes. 1

Alejandro Díaz-Caro

Samson Abramsky, ROSS DUNCAN

We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes.

Peter D. Finch

Lu He, Dongning Liu, Jing‐Xing Gao +8 more

Integrated quantum photonic circuit is a promising platform for the realization of quantum information processing in the future. To achieve the large-scale quantum photonic circuits, the applied quantum logic gates should be as small as possible for the high-density integration on chips. Here, we report the implementation of super-compact universal quantum logic gates on silicon chips by the method of inverse design. In particular, the fabricated controlled-NOT gate and Hadamard gate are both nearly a vacuum wavelength, being the smallest optical quantum gates reported up to now. We further design the quantum circuit by cascading these fundamental gates to perform arbitrary quantum processing, where the corresponding size is about several orders smaller than that of previous quantum photonic circuits. Our study paves the way for the realization of large-scale quantum photonic chips with integrated sources and can have important applications in the field of quantum information processes.

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini +1 more