-
Quantum recurrences and the arithmetic of Floquet dynamics
Authors:
Amit Anand,
Dinesh Valluri,
Jack Davis,
Shohini Ghose
Abstract:
The Poincaré recurrence theorem shows that conservative systems in a bounded region of phase space eventually return arbitrarily close to their initial state after a finite amount of time. An analogous behavior occurs in certain quantum systems where quantum states can recur after sufficiently long unitary evolution, a phenomenon known as quantum recurrence. Periodically driven (i.e. Floquet) quan…
▽ More
The Poincaré recurrence theorem shows that conservative systems in a bounded region of phase space eventually return arbitrarily close to their initial state after a finite amount of time. An analogous behavior occurs in certain quantum systems where quantum states can recur after sufficiently long unitary evolution, a phenomenon known as quantum recurrence. Periodically driven (i.e. Floquet) quantum systems in particular exhibit complex dynamics even in small dimensions, motivating the study of how interactions and Hamiltonian structure affect recurrence behavior. While most existing studies treat recurrence in an approximate, distance-based sense, here we address the problem of exact, state-independent recurrences in a broad class of finite-dimensional Floquet systems, spanning both integrable and non-integrable models. Leveraging techniques from algebraic field theory, we construct an arithmetic framework that identifies all possible recurrence times by analyzing the cyclotomic structure of the Floquet unitary's spectrum. This computationally efficient approach yields both positive results, enumerating all candidate recurrence times and definitive negative results, rigorously ruling out exact recurrences for given Hamiltonian parameters. We further prove that rational Hamiltonian parameters do not, in general, guarantee exact recurrence, revealing a subtle interplay between system parameters and long-time dynamics. Our findings sharpen the theoretical understanding of quantum recurrences, clarify their relationship to quantum chaos, and highlight parameter regimes of special interest for quantum metrology and control.
△ Less
Submitted 13 August, 2025;
originally announced August 2025.
-
Multi-qutrit exact synthesis
Authors:
Amolak Ratan Kalra,
Manimugdha Saikia,
Dinesh Valluri,
Sam Winnick,
Jon Yard
Abstract:
We present an exact synthesis algorithm for qutrit unitaries in $\mathcal{U}_{3^n}(\mathbb{Z}[1/3,e^{2πi/3}])$ over the Clifford$+T$ gate set with at most one ancilla. This extends the already known result of qutrit metaplectic gates being a subset of Clifford$+T$ gate set with one ancilla. As an intermediary step, we construct an algorithm to convert 3-level unitaries into multiply-controlled gat…
▽ More
We present an exact synthesis algorithm for qutrit unitaries in $\mathcal{U}_{3^n}(\mathbb{Z}[1/3,e^{2πi/3}])$ over the Clifford$+T$ gate set with at most one ancilla. This extends the already known result of qutrit metaplectic gates being a subset of Clifford$+T$ gate set with one ancilla. As an intermediary step, we construct an algorithm to convert 3-level unitaries into multiply-controlled gates, analogous to Gray codes converting 2-level unitaries into multiply-controlled gates. Finally, using catalytic embeddings, we present an algorithm to exactly synthesize unitaries $\mathcal{U}_{3^n}(\mathbb{Z}[1/3,e^{2πi/9}])$ over the Clifford$+T$ gate set with at most 2 ancillas. This, in particular, gives an exact synthesis algorithm of single-qutrit Clifford$+\mathcal{D}$ over the multi-qutrit Clifford$+T$ gate set with at most two ancillas.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Synthesis and Arithmetic of Single Qutrit Circuits
Authors:
Amolak Ratan Kalra,
Michele Mosca,
Dinesh Valluri
Abstract:
In this paper we study single qutrit circuits consisting of words over the Clifford$+D$ cyclotomic gate set, where $D=\text{diag}(\pmξ^{a},\pmξ^{b},\pmξ^{c})$, $ξ$ is a primitive $9$-th root of unity and $a,b,c$ are integers. We characterize classes of qutrit unit vectors $z$ with entries in $\mathbb{Z}[ξ, \frac{1}χ]$ based on the possibility of reducing their smallest denominator exponent (sde) w…
▽ More
In this paper we study single qutrit circuits consisting of words over the Clifford$+D$ cyclotomic gate set, where $D=\text{diag}(\pmξ^{a},\pmξ^{b},\pmξ^{c})$, $ξ$ is a primitive $9$-th root of unity and $a,b,c$ are integers. We characterize classes of qutrit unit vectors $z$ with entries in $\mathbb{Z}[ξ, \frac{1}χ]$ based on the possibility of reducing their smallest denominator exponent (sde) with respect to $χ:= 1 - ξ,$ by acting an appropriate gate in Clifford$+D$. We do this by studying the notion of `derivatives mod $3$' of an arbitrary element of $\mathbb{Z}[ξ]$ and using it to study the smallest denominator exponent of $HDz$ where $H$ is the qutrit Hadamard gate and $D$. In addition, we reduce the problem of finding all unit vectors of a given sde to that of finding integral solutions of a positive definite quadratic form along with some additional constraints. As a consequence we prove that the Clifford$+D$ gates naturally arise as gates with sde $0$ and $3$ in the group $U(3,\mathbb{Z}[ξ, \frac{1}χ])$ of $3 \times 3$ unitaries with entries in $\mathbb{Z}[ξ, \frac{1}χ]$. We illustrate the general applicability of these methods to obtain an exact synthesis algorithm for Clifford$+R$ and recover the previous exact synthesis algorithm in \cite{kmm}. The framework developed to formulate qutrit gate synthesis for Clifford$+D$ extends to qudits of arbitrary prime power.
△ Less
Submitted 18 February, 2025; v1 submitted 14 November, 2023;
originally announced November 2023.
-
On the space of coefficients of a Feed Forward Neural Network
Authors:
Dinesh Valluri,
Rory Campbell
Abstract:
We define and establish the conditions for `equivalent neural networks' - neural networks with different weights, biases, and threshold functions that result in the same associated function. We prove that given a neural network $\mathcal{N}$ with piece-wise linear activation, the space of coefficients describing all equivalent neural networks is given by a semialgebraic set. This result is obtaine…
▽ More
We define and establish the conditions for `equivalent neural networks' - neural networks with different weights, biases, and threshold functions that result in the same associated function. We prove that given a neural network $\mathcal{N}$ with piece-wise linear activation, the space of coefficients describing all equivalent neural networks is given by a semialgebraic set. This result is obtained by studying different representations of a given piece-wise linear function using the Tarski-Seidenberg theorem.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
On the essential (p)-dimension of parabolic bundles on a curve
Authors:
Ajneet Dhillon,
Dinesh Valluri
Abstract:
We study the essential dimension and essential p-dimension of the moduli stack of vector bundles over a smooth orbifold curve containing a rational point. We improve the known bounds on this essential dimension and obtain an equality modulo the famous conjecture of Colliot-Thelene, Karpenko and Merkurjev. In the case of essential p-dimension we obtain an equality.
We study the essential dimension and essential p-dimension of the moduli stack of vector bundles over a smooth orbifold curve containing a rational point. We improve the known bounds on this essential dimension and obtain an equality modulo the famous conjecture of Colliot-Thelene, Karpenko and Merkurjev. In the case of essential p-dimension we obtain an equality.
△ Less
Submitted 20 April, 2021; v1 submitted 14 January, 2020;
originally announced January 2020.
