An Ideal Characterization of the Clifford Operators

TL;DR

This paper provides a universal, minimal, and assumption-free characterization of Clifford operators across all finite dimensions, enhancing understanding and analysis of quantum operations without relying on additional resources.

Contribution

It introduces the first comprehensive characterization of Clifford operators that is consistent across all finite dimensions, minimal in gate set, and constructive.

Findings

First ideal characterization of Clifford operators in all finite dimensions

Application to analyzing logical Clifford operations in qudit embeddings

Framework does not depend on ancillary resources or measurements

Abstract

The Clifford operators are an important and well-studied subset of quantum operations, in both the qubit and higher-dimensional qudit cases. While there are many ways to characterize this set, this paper aims to provide an ideal characterization, in the sense that it has the same characterization in every finite dimension, is characterized by a minimal set of gates, is constructive, and does not make any assumptions about non-Clifford operations or resources (such as the use of ancillas or the ability to make measurements). While most characterizations satisfy some of these properties, this appears to be the first characterization satisfying all of the above. As an application, we use these results to briefly analyze characterizations of Clifford embeddings, that is, the action of logical Clifford operations acting on qunits embedded in higher-dimensional qudits, inside the qudit Clifford framework.