2020
DOI: 10.1103/physrevresearch.2.013010
|View full text |Cite
|
Sign up to set email alerts
|

Contracting projected entangled pair states is average-case hard

Abstract: An accurate calculation of the properties of quantum many-body systems is one of the most important yet intricate challenges of modern physics and computer science. In recent years, the tensor network ansatz has established itself as one of the most promising approaches enabling striking efficiency of simulating static properties of one-dimensional systems and abounding numerical applications in condensed matter theory. In higher dimensions, however, a connection to the field of computational complexity theory… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
20
0

Year Published

2020
2020
2024
2024

Publication Types

Select...
7
1

Relationship

0
8

Authors

Journals

citations
Cited by 47 publications
(20 citation statements)
references
References 90 publications
(89 reference statements)
0
20
0
Order By: Relevance
“…PEPS intuitively reproduces the structure of the lattice with one tensor for each physical site and the bond indices directly follow the lattice grid. The resulting TN follows the area-law of entanglement but it contains loops, making the contractions for computing expectation values exponentially hard 125 . Furthermore, the computational cost for performing the variational optimization of PEPS, as for instance in the ground state searching, scales as O(χ 10 ) as a function of the bond dimension.…”
Section: Methodsmentioning
confidence: 99%
“…PEPS intuitively reproduces the structure of the lattice with one tensor for each physical site and the bond indices directly follow the lattice grid. The resulting TN follows the area-law of entanglement but it contains loops, making the contractions for computing expectation values exponentially hard 125 . Furthermore, the computational cost for performing the variational optimization of PEPS, as for instance in the ground state searching, scales as O(χ 10 ) as a function of the bond dimension.…”
Section: Methodsmentioning
confidence: 99%
“…Specifically, it will be worth exploring if the states in 2D noisy circuits can be faithfully represented by a PEPO with a constant bond dimension that depends only on the gate error rate p. However, unlike in the case of MPO, exactly computing an observable from a PEPO is not feasible because exactly contracting PEPSs is #P complete in the worst case [93] and in the average case [94]. Nevertheless, these hardness results do not immediately rule out the possibility of efficient and approximate simulation of 2D noisy RCS because it may be possible to efficiently contract the output PEPOs approximately.…”
Section: Summary and Open Questionsmentioning
confidence: 99%
“…[31], we can prepare tensor network representations for arbitrary Gibbs states in the polynomial time of n OðβÞ . However, the classical simulation of the tensor network is #P complete problem [67,68] except in 1D cases. To the best of our knowledge, our result, for the first time, provides the fully-polynomial-time approximation scheme (FPTAS [69]) for the classical simulation of quantum Gibbs states, which is a quantum generalization of the FPTAS for classical Gibbs states [70][71][72].…”
mentioning
confidence: 99%