Probabilistic Representation of Commutative Quantum Circuit Models

In commuting parametric quantum circuits, the Fourier series of the pairwise fidelity can be expressed as the characteristic function of random variables. Furthermore, expressiveness can be cast as the recurrence probability of a random walk on a lattice. This construction had previously been applied to the group composed only of Pauli-Z rotations. In this paper, we generalize this probabilistic strategy to any commuting set of Pauli operators. To this end, we can leverage an algorithm that uses the tableau representation of Pauli strings to yield a unitary from the Clifford group that, under conjugation, simultaneously diagonalizes our commuting set of Pauli rotations. Furthermore, we fully characterize the underlying distribution of the random walk using stabilizer states and their basis state representations. This would allow us to tractably compute the lattice volume and variance matrix used to express the frame potential. Together, this demonstrates a scalable strategy to calculate the expressiveness of parametric quantum models.