A random matrix model for random approximate t -designs
Piotr Dulian,Adam Sawicki
DOI: https://doi.org/10.1109/tit.2024.3367787
IF: 2.5
2024-01-01
IEEE Transactions on Information Theory
Abstract:For a Haar random set S ⊂ U(d) of quantum gates we consider the uniform measure υS whose support is given by S. The measure υS can be regarded as a δ(υS, t)-approximate t-design, t ∈ Z+. We propose a random matrix model that aims to describe the probability distribution of δ(υS, t) for any t. Our model is given by a block diagonal matrix whose blocks are independent, given by Gaussian or Ginibre ensembles, and their number, size and type is determined by t. We prove that, the operator norm of this matrix, δ(t), is the random variable to which √|S|δ(υS, t) converges in distribution when the number of elements in S grows to infinity. Moreover, we characterize our model giving explicit bounds on the tail probabilities P(δ(t) > 2+ϵ), for any ϵ > 0. We also show that our model satisfies the so-called spectral gap conjecture, i.e. we prove that with the probability 1 there is t ∈ Z+ such that supk∈Z+ δ(k) = δ(t). Numerical simulations give convincing evidence that the proposed model is actually almost exact for any cardinality of S. The heuristic explanation of this phenomenon, that we provide, leads us to conjecture that the tail probabilities P( √Sδ(υS, t) > 2 + ϵ) are bounded from above by the tail probabilities P(δ(t) > 2 + ε) of our random matrix model. In particular our conjecture implies that a Haar random set S ⊂ U(d) satisfies the spectral gap conjecture with the probability 1.
computer science, information systems,engineering, electrical & electronic