REVIEW 3 cited by
Linear Growth of Circuit Complexity from Brownian Dynamics
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Linear Growth of Circuit Complexity from Brownian Dynamics
read the original abstract
We calculate the frame potential for Brownian clusters of $N$ spins or fermions with time-dependent all-to-all interactions. In both cases the problem can be mapped to an effective statistical mechanics problem which we study using a path integral approach. We argue that the $k$th frame potential comes within $\epsilon$ of the Haar value after a time of order $t \sim k N + k \log k + \log \epsilon^{-1}$. Using a bound on the diamond norm, this implies that such circuits are capable of coming very close to a unitary $k$-design after a time of order $t \sim k N$. We also consider the same question for systems with a time-independent Hamiltonian and argue that a small amount of time-dependent randomness is sufficient to generate a $k$-design in linear time provided the underlying Hamiltonian is quantum chaotic. These models provide explicit examples of linear complexity growth that are also analytically tractable.
Forward citations
Cited by 3 Pith papers
-
Unitary Designs from Two Chaotic Hamiltonians and a Random Pauli Operation
Unitary designs emerge from the temporal ensemble of two chaotic Hamiltonian evolutions separated by a random Pauli operation, based on the universal Pauli spectrum.
-
Preparing High-Fidelity Thermofield Double States
A gapped parent Hamiltonian built from two copies of a target Hamiltonian plus ultra-local inter-copy couplings allows adiabatic preparation of high-fidelity thermofield double states for ETH-obeying systems.
-
Non-Clifford Cost of Random Unitaries
Rigorous bounds establish that t = Theta(k^2) non-Clifford gates are necessary and sufficient for frame-potential approximation to unitary k-designs while t = Theta(nk) suffices for relative-error k-designs.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.