Approximate Quantum Compiling with Error Mitigation

A computer-implemented method, comprising:

• generating, by a system operatively coupled to a processor, an approximating unitary from an original unitary, the approximating unitary based on a symmetry of the original unitary and omitting a selected operator of an exponentiated sum of operators comprised by the original unitary;
• and
• directing, by the system, operation of a check quantum circuit at a quantum computer, the check quantum circuit based on a quantum circuit output of an operation of the approximating unitary at the quantum computer, resulting in a determination of a violation of the symmetry.

A computer program product facilitating a process to reduce a gate count of a quantum operation at a quantum computer, the computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to cause the processor to:

• generate, by the processor, an approximating unitary from an original unitary, the approximating unitary based on a symmetry of the original unitary and omitting a selected operator of an exponentiated sum of operators comprised by the original unitary;
• and
• direct, by the processor, operation of a check quantum circuit at a quantum computer, the check quantum circuit based on a quantum circuit output of an operation of the approximating unitary at the quantum computer, resulting in a determination of a violation of the symmetry.