vix.ing · top · new · best · stats · spec

Reconstructing the whole from its parts

2022/09/28 by Daniel Uzcátegui Contreras, Contreras, Daniel Uzcátegui, Dardo Goyeneche +1
Computer Science · #FOS: Physical sciences #Mathematical Physics (math-ph) #Neural Networks and Reservoir Computing #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)

paper · pdf · doi:10.48550/arxiv.2209.14154

openalex publication_date 2022/09/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

The quantum marginal problem consists in deciding whether a given set of marginal reductions is compatible with the existence of a global quantum state or not. In this work, we formulate the problem from the perspective of dynamical systems theory and study its advantages with respect to the standard approach. The introduced formalism allows us to analytically determine global quantum states from a wide class of self-consistent marginal reductions in any multipartite scenario. In particular, we show that any self-consistent set of multipartite marginal reductions is compatible with the existence of a global quantum state, after passing through a depolarizing channel. This result reveals that the complexity associated to the marginal problem can be drastically reduced when restricting the attention to sufficiently mixed marginals. We also formulate the marginal problem in a compressed way, in the sense that the total number of scalar constraints is smaller than the one required by the standard approach. This fact suggests an exponential speedup in runtime when considering semi-definite programming techniques to solve it, in both classical and quantum algorithms. Finally, we reconstruct n-qubit quantum states from all the \binomnk marginal reductions to k parties, generated from randomly chosen mixed states. Numerical simulations reveal that the fraction of cases where we can find a global state equals 1 when 5≤ n≤12 and \lfloor(n-1)/√(2)\rfloor≤ k≤ n-1, where \lfloor⋅\rfloor denotes the floor function.

Related