Abstract:Schemes of classical shadows have been developed to facilitate the read-out of digital quantum devices, but similar tools for analog quantum simulators are scarce and experimentally impractical. In this work, we provide a measurement scheme for fermionic quantum devices that estimates second and fourth order correlation functions by means of free fermionic, translationally invariant evolutions - or quenches - and measurements in the mode occupation number basis. We precisely characterize what correlation functions can be recovered and equip the estimates with rigorous bounds on sample complexities, a particularly important feature in light of the difficulty of getting good statistics in reasonable experimental platforms, with measurements being slow. Finally, we demonstrate how our procedure can be approximately implemented with just nearest-neighbour, translationally invariant hopping quenches, a very plausible procedure under current experimental requirements, and requiring only random time-evolution with respect to a single native Hamiltonian. On a conceptual level, this work brings the idea of classical shadows to the realm of large scale analog quantum simulators.
What problem does this paper attempt to address?
This paper aims to solve the measurement problems in simulating fermion systems, especially for analog quantum simulators. Specifically, the researchers have developed a new measurement scheme for estimating second - and fourth - order correlation functions in fermionic quantum devices. This scheme is achieved by using free fermions, translation - invariant evolution (or quenching), and measurements in the mode - occupation - number basis. The key of this method is that it can be approximately implemented using only nearest - neighbor, translation - invariant transition quenching, which is very practical under current experimental conditions.
### Problems mainly solved in the paper
1. **Lack of effective read - out methods**: For digital quantum computers, various random measurement methods, benchmarking methods, and classical shadow methods have been developed, which are valued for their generality and practicality. However, in analog quantum simulators, similar efficient read - out tools are relatively scarce and difficult to achieve experimentally. The method proposed in this paper fills this gap.
2. **Resource efficiency**: It is difficult to obtain good statistical data on experimental platforms because the measurement process is usually slow. Therefore, reducing the required sample complexity (i.e., the number of measurements required) is an important consideration.
3. **Limitations of translation - invariance**: Many existing methods require the implementation of complex mode transformations, which are difficult to achieve in current optical lattice experiments. The method in this paper limits the allowed evolution to be translation - invariant, while the measurement is site - resolved, which is more experimentally feasible.
### Main contributions
- **New measurement scheme**: A classical shadow method based on random measurement is proposed, which is suitable for analog quantum simulators. This method only requires free - fermion (particle - number - conserving) evolution and translation - invariant transition quenching.
- **Theoretical analysis**: The subset of observables that can be recovered is analyzed in detail, and strict bounds on sample complexity are provided.
- **Experimental feasibility**: It is shown how to approximately implement this protocol by adding a small number of auxiliary modes, only requiring random - time evolution of a single - eigen - Hamiltonian.
- **Numerical verification**: The effectiveness of this method is verified by numerical simulation, especially its performance under different system sizes and parameters.
### Formula presentation
Some of the key formulas involved in the paper are as follows:
- **Measurement channel \( M \)**:
\[
M(\cdot):=\sum_{n \in \{0,1\}^L}\mathbb{E}_U\langle n|U(\cdot)U^{\dagger}|n\rangle U^{\dagger}|n\rangle\langle n|U
\]
where the sum is over all Fock basis vectors \( |n\rangle \) of the fermionic Hilbert space, and \(\mathbb{E}_U\) is the expected value of \( U \) sampled from a certain unitary group \( U \).
- **Image of the 2 - point correlation function**:
\[
M^{(2)}_{ij,lm}=\frac{1}{L}(\delta_{i,j}\delta_{l,m}+\delta_{i,l}\delta_{j,m}-\frac{1}{L}\delta_{i - j,l - m})
\]
- **Tensor expression of the 4 - point correlation function**:
\[
M^{(4)}_{ij,lm}=\sum_p\pi\in S_k\text{sgn}(\pi)\Phi_{2k}(i,m,\pi j,l;p,p,p,p)
\]
where \(\Phi_{2k}\) is the matrix element of the 2k - th - order moment operator of the unitary group \( U \).
### Conclusion
This paper proposes a new method for measuring fermionic correlation functions in analog quantum simulators. This method is highly experimentally feasible, can effectively reduce sample complexity, and has been strictly analyzed and verified theoretically. This result is expected to play an important role in future quantum simulation experiments.