Abstract:Having spectral correlations that, over small enough energy scales, are described by random matrix theory is regarded as the most general defining feature of quantum chaotic systems as it applies in the many-body setting and away from any semiclassical limit. Although this property is extremely difficult to prove analytically for generic many-body systems, a rigorous proof has been achieved for dual-unitary circuits -- a special class of local quantum circuits that remain unitary upon swapping space and time. Here we consider the fate of this property when moving from dual-unitary to generic quantum circuits focussing on the \emph{spectral form factor}, i.e., the Fourier transform of the two-point correlation. We begin with a numerical survey that, in agreement with previous studies, suggests that there exists a finite region in parameter space where dual-unitary physics is stable and spectral correlations are still described by random matrix theory, although up to a maximal quasienergy scale. To explain these findings, we develop a perturbative expansion: it recovers the random matrix theory predictions, provided the terms occurring in perturbation theory obey a relatively simple set of assumptions. We then provide numerical evidence and a heuristic analytical argument supporting these assumptions.
Statistical Mechanics,High Energy Physics - Theory,Mathematical Physics,Chaotic Dynamics,Quantum Physics
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to explore and verify the structural stability of dual - unitary quantum circuits in quantum chaotic systems. Specifically, the paper focuses on the following core issues:
1. **Structural stability hypothesis**:
- When the dual - unitary quantum circuits are subject to small perturbations, can their chaotic characteristics remain stable? In particular, do these circuits still exhibit chaotic behavior under small time - translation - invariant perturbations?
- This hypothesis can be transformed into the stability of the linear growth characteristic of the spectral form factor (SFF) in the thermodynamic limit.
2. **Stability of the spectral form factor**:
- The spectral form factor (SFF) is a standard tool for measuring the energy - level correlations in quantum systems. For dual - unitary quantum circuits, the SFF exhibits a linear growth feature in the thermodynamic limit, which is a typical sign of chaotic systems.
- Through numerical simulations and theoretical analysis, the paper studies whether the linear growth characteristic of the SFF still exists when transitioning from dual - unitary circuits to general quantum circuits.
3. **Hypothesis and verification**:
- To verify the structural stability hypothesis, the paper proposes two key hypotheses:
1. **Non - crossing hypothesis**: That is, the principal eigenvalues of the transfer matrix \(T\) do not cross during the change of the parameter \(\epsilon\).
2. **Exponential bound of multi - point correlation functions**: That is, some multi - point correlation functions satisfy the condition of the exponential bound.
- Through numerical simulations and heuristic analysis, the paper verifies the validity of these two hypotheses.
### Mathematical representation
- **Spectral form factor (SFF)**:
\[
K(t, L)=\mathbb{E}\left[\left|\text{tr}(U^t)\right|^2\right]
\]
where \(U\) is the Floquet operator, \(t\) is the number of time steps, \(L\) is the system size, and \(\mathbb{E}\) represents the expected value for similar systems.
- **Transfer matrix \(T\)**:
\[
T_x = (\tilde{V}\otimes_r\tilde{V}^*)((u_x\otimes 1)\otimes_t\otimes_r(u_x^*\otimes 1)\otimes_t)((1\otimes v_x^T)\otimes_t\otimes_r(1\otimes v_x^\dagger)\otimes_t)(\Pi_{2t}\otimes_r\Pi_{2t}^*) (\tilde{W}\otimes_r\tilde{W}^*)
\]
\[
(\Pi_{2t}^\dagger\otimes_r\Pi_{2t}^T)((u_{x + 1/2}^T\otimes 1)\otimes_t\otimes_r(u_{x + 1/2}^\dagger\otimes 1)\otimes_t)((1\otimes v_{x + 1/2})\otimes_t\otimes_r(1\otimes v_{x + 1/2}^*)\otimes_t)
\]
- **Eigenvalue decomposition**:
\[
T = R(D + K)R^{-1}
\]
where \(R\) is an invertible matrix, \(D\) is a diagonal matrix, \(K\) is a strictly upper - triangular matrix, and the elements on the diagonal are zero.
- **Eigenvalue degeneracy**:
\[
\lambda_a^{(\nu,\nu')},\quad \nu,\nu'= 0,\ldots,t - 1
\]
where \(a = 0,\ldots,N(\nu,\nu')