Learning finitely correlated states: stability of the spectral reconstruction

2312.07516

YC

0

Reddit

0

Published 5/3/2024 by Marco Fanizza, Niklas Galke, Josep Lumbreras, Cambyse Rouz'e, Andreas Winter

👁️

Abstract

We show that marginals of blocks of $t$ systems of any finitely correlated translation invariant state on a chain can be learned, in trace distance, with $O(t^2)$ copies -- with an explicit dependence on local dimension, memory dimension and spectral properties of a certain map constructed from the state -- and computational complexity polynomial in $t$. The algorithm requires only the estimation of a marginal of a controlled size, in the worst case bounded by the minimum bond dimension, from which it reconstructs a translation invariant matrix product operator. In the analysis, a central role is played by the theory of operator systems. A refined error bound can be proven for $C^*$-finitely correlated states, which have an operational interpretation in terms of sequential quantum channels applied to the memory system. We can also obtain an analogous error bound for a class of matrix product density operators reconstructible by local marginals. In this case, a linear number of marginals must be estimated, obtaining a sample complexity of $tilde{O}(t^3)$. The learning algorithm also works for states that are only close to a finitely correlated state, with the potential of providing competitive algorithms for other interesting families of states.

Create account to get full access

or

If you already have an account, we'll log you in

Overview

  • The paper shows that the marginals (or reduced density matrices) of blocks of t systems in a finitely correlated translation invariant state on a chain can be learned with O(t^2) copies and computational complexity polynomial in t.
  • The algorithm only requires estimating a marginal of a controlled size, bounded by the minimum bond dimension, from which it reconstructs a translation invariant matrix product operator.
  • The analysis relies on the theory of operator systems, and the authors prove a refined error bound for C^*-finitely correlated states with an operational interpretation in terms of sequential quantum channels.
  • The authors also obtain an analogous error bound for a class of matrix product density operators reconstructible by local marginals, with a sample complexity of tilde(O)(t^3).
  • The learning algorithm can also handle states that are only close to a finitely correlated state, with the potential of providing competitive algorithms for other families of states.

Plain English Explanation

The paper discusses a technique for efficiently learning the quantum state of a system, even when the system is made up of multiple parts that are

correlated
with each other. The key idea is that you don't need to measure the entire system to learn its state - instead, you can just measure smaller
marginals
(or reduced parts) of the system and use that information to reconstruct the full state.

The authors show that this can be done for a special class of quantum states called

finitely correlated translation invariant states
. These are states where the different parts of the system are related to each other in a regular, predictable way. By exploiting this structure, the authors develop an algorithm that can learn the state of the entire system by only measuring a small number of the marginals.

Importantly, the algorithm is

efficient
, meaning it doesn't require an exponential amount of resources (like measurement samples or computation time) as the system size grows. This makes it a potentially useful tool for learning the state of complex quantum systems that are too large to measure directly.

The analysis of the algorithm relies on some advanced mathematical concepts from operator systems and quantum information theory. But the key takeaway is that by exploiting the

structure
of the quantum state, we can learn it efficiently using only a few measurements.

Technical Explanation

The paper presents a technique for learning the marginals (or reduced density matrices) of blocks of t systems in a finitely correlated translation invariant state on a chain. The authors show that this can be done with O(t^2) copies and computational complexity polynomial in t.

The core of the algorithm is the estimation of a marginal of controlled size, bounded by the minimum bond dimension, from which the authors reconstruct a translation invariant matrix product operator. This reconstruction is enabled by the theory of operator systems, which plays a central role in the analysis.

For the class of C^*-finitely correlated states, the authors prove a refined error bound. These states have an operational interpretation in terms of sequential quantum channels applied to the memory system. The authors also obtain an analogous error bound for a class of matrix product density operators reconstructible by local marginals, with a sample complexity of tilde(O)(t^3).

Importantly, the learning algorithm can also handle states that are only close to a finitely correlated state. This suggests the potential for the algorithm to provide competitive results for other families of quantum states as well.

Critical Analysis

The paper presents an impressive technical result, showing how the structure of finitely correlated translation invariant states can be leveraged to efficiently learn their marginals. The use of operator system theory to enable the reconstruction from a small number of marginals is a particularly clever and insightful aspect of the work.

That said, the paper does note some limitations. The analysis relies on the states having a specific structure, and it's not clear how well the algorithm would perform on more general quantum states. Additionally, the sample complexity and computational complexity, while polynomial, may still be prohibitive for very large systems.

It would also be interesting to see more experimental validation of the algorithm, beyond the theoretical analysis. Applying it to realistic quantum systems and comparing its performance to other state tomography techniques could provide valuable insights.

More broadly, the paper highlights the importance of exploiting the structure of quantum systems in order to overcome the challenges of quantum state tomography. As quantum technologies continue to advance, developing efficient algorithms for characterizing these systems will be crucial.

Conclusion

This paper presents an important advance in the efficient learning of quantum states, by showing how the structure of finitely correlated translation invariant states can be leveraged to reconstruct their marginals using only a small number of measurements. The technical insights, particularly the use of operator system theory, are quite impressive.

While the approach has some limitations in terms of the specific types of states it can handle, the paper demonstrates the power of exploiting structure to overcome the challenges of quantum state tomography. As the field of quantum computing and simulation continues to evolve, techniques like this will be essential for characterizing and understanding the behavior of large-scale quantum systems.



This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!

Related Papers

📈

Accurate Learning of Equivariant Quantum Systems from a Single Ground State

v{S}tv{e}p'an v{S}m'id, Roberto Bondesan

YC

0

Reddit

0

Predicting properties across system parameters is an important task in quantum physics, with applications ranging from molecular dynamics to variational quantum algorithms. Recently, provably efficient algorithms to solve this task for ground states within a gapped phase were developed. Here we dramatically improve the efficiency of these algorithms by showing how to learn properties of all ground states for systems with periodic boundary conditions from a single ground state sample. We prove that the prediction error tends to zero in the thermodynamic limit and numerically verify the results.

Read more

5/22/2024

📊

Multivariate trace estimation using quantum state space linear algebra

Liron Mor Yosef, Shashanka Ubaru, Lior Horesh, Haim Avron

YC

0

Reddit

0

In this paper, we present a quantum algorithm for approximating multivariate traces, i.e. the traces of matrix products. Our research is motivated by the extensive utility of multivariate traces in elucidating spectral characteristics of matrices, as well as by recent advancements in leveraging quantum computing for faster numerical linear algebra. Central to our approach is a direct translation of a multivariate trace formula into a quantum circuit, achieved through a sequence of low-level circuit construction operations. To facilitate this translation, we introduce emph{quantum Matrix States Linear Algebra} (qMSLA), a framework tailored for the efficient generation of state preparation circuits via primitive matrix algebra operations. Our algorithm relies on sets of state preparation circuits for input matrices as its primary inputs and yields two state preparation circuits encoding the multivariate trace as output. These circuits are constructed utilizing qMSLA operations, which enact the aforementioned multivariate trace formula. We emphasize that our algorithm's inputs consist solely of state preparation circuits, eschewing harder to synthesize constructs such as Block Encodings. Furthermore, our approach operates independently of the availability of specialized hardware like QRAM, underscoring its versatility and practicality.

Read more

5/3/2024

🏷️

Efficient Learning of Quantum States Prepared With Few Non-Clifford Gates

Sabee Grewal, Vishnu Iyer, William Kretschmer, Daniel Liang

YC

0

Reddit

0

We give a pair of algorithms that efficiently learn a quantum state prepared by Clifford gates and $O(log n)$ non-Clifford gates. Specifically, for an $n$-qubit state $|psirangle$ prepared with at most $t$ non-Clifford gates, our algorithms use $mathsf{poly}(n,2^t,1/varepsilon)$ time and copies of $|psirangle$ to learn $|psirangle$ to trace distance at most $varepsilon$. The first algorithm for this task is more efficient, but requires entangled measurements across two copies of $|psirangle$. The second algorithm uses only single-copy measurements at the cost of polynomial factors in runtime and sample complexity. Our algorithms more generally learn any state with sufficiently large stabilizer dimension, where a quantum state has stabilizer dimension $k$ if it is stabilized by an abelian group of $2^k$ Pauli operators. We also develop an efficient property testing algorithm for stabilizer dimension, which may be of independent interest.

Read more

4/8/2024

Learning to Stabilize Unknown LTI Systems on a Single Trajectory under Stochastic Noise

Learning to Stabilize Unknown LTI Systems on a Single Trajectory under Stochastic Noise

Ziyi Zhang, Yorie Nakahira, Guannan Qu

YC

0

Reddit

0

We study the problem of learning to stabilize unknown noisy Linear Time-Invariant (LTI) systems on a single trajectory. It is well known in the literature that the learn-to-stabilize problem suffers from exponential blow-up in which the state norm blows up in the order of $Theta(2^n)$ where $n$ is the state space dimension. This blow-up is due to the open-loop instability when exploring the $n$-dimensional state space. To address this issue, we develop a novel algorithm that decouples the unstable subspace of the LTI system from the stable subspace, based on which the algorithm only explores and stabilizes the unstable subspace, the dimension of which can be much smaller than $n$. With a new singular-value-decomposition(SVD)-based analytical framework, we prove that the system is stabilized before the state norm reaches $2^{O(k log n)}$, where $k$ is the dimension of the unstable subspace. Critically, this bound avoids exponential blow-up in state dimension in the order of $Theta(2^n)$ as in the previous works, and to the best of our knowledge, this is the first paper to avoid exponential blow-up in dimension for stabilizing LTI systems with noise.

Read more

6/4/2024