Quantum Max-Flow Min-Cut theorem
- URL: http://arxiv.org/abs/2110.00905v1
- Date: Sun, 3 Oct 2021 02:11:39 GMT
- Title: Quantum Max-Flow Min-Cut theorem
- Authors: Nengkun Yu
- Abstract summary: We establish a quantum max-flow min-cut theorem for a new definition of quantum maximum flow.
Our result implies that the ratio of the quantum max-flow to the quantum min-cut converges to $1$ as the dimension $n$ tends to infinity.
- Score: 11.98034899127065
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The max-flow min-cut theorem is a cornerstone result in combinatorial
optimization. Calegari et al. (arXiv:0802.3208) initialized the study of
quantum max-flow min-cut conjecture, which connects the rank of a tensor
network and the min-cut. Cui et al. (arXiv:1508.04644) showed that this
conjecture is false generally. In this paper, we establish a quantum max-flow
min-cut theorem for a new definition of quantum maximum flow. In particular, we
show that for any quantum tensor network, there are infinitely many $n$, such
that quantum max-flow equals quantum min-cut, after attaching dimension $n$
maximally entangled state to each edge as ancilla. Our result implies that the
ratio of the quantum max-flow to the quantum min-cut converges to $1$ as the
dimension $n$ tends to infinity. As a direct application, we prove the validity
of the asymptotical version of the open problem about the quantum max-flow and
the min-cut, proposed in Cui et al. (arXiv:1508.04644 ).
Related papers
- Circuit Complexity of Sparse Quantum State Preparation [0.0]
We show that any $n$-qubit $d$-sparse quantum state can be prepared by a quantum circuit of size $O(fracdnlog d)$ and depth $Theta(log dn)$ using at most $O(fracndlog d )$ ancillary qubits.
We also establish the lower bound $Omega(fracdnlog(n + m) + log d + n)$ on the circuit size with $m$ ancillary qubits available.
arXiv Detail & Related papers (2024-06-23T15:28:20Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
We study the power of unentangled quantum proofs with non-negative amplitudes, a class which we denote $textQMA+(2)$.
In particular, we design global protocols for small set expansion, unique games, and PCP verification.
We show that QMA(2) is equal to $textQMA+(2)$ provided the gap of the latter is a sufficiently large constant.
arXiv Detail & Related papers (2024-02-29T01:35:46Z) - The classical limit of Quantum Max-Cut [0.18416014644193066]
We show that the limit of large quantum spin $S$ should be understood as a semiclassical limit.
We present two families of classical approximation algorithms for $mathrmQMaxCut_S$ based on rounding the output of a semidefinite program to a product of Bloch coherent states.
arXiv Detail & Related papers (2024-01-23T18:53:34Z) - Towards large-scale quantum optimization solvers with few qubits [59.63282173947468]
We introduce a variational quantum solver for optimizations over $m=mathcalO(nk)$ binary variables using only $n$ qubits, with tunable $k>1$.
We analytically prove that the specific qubit-efficient encoding brings in a super-polynomial mitigation of barren plateaus as a built-in feature.
arXiv Detail & Related papers (2024-01-17T18:59:38Z) - Quantum Lower Bounds for Finding Stationary Points of Nonconvex
Functions [8.495749905129278]
Despite progress in classical lower bounds for non optimization, these bounds are still widely open.
Omegabig(frac-1+ppp)$ regarding the first setting.
Omegano()$ regarding the second setting.
Omega()$ if gradient function is meand smooth.
Omega()$ if gradient function is meand smooth.
Omega()$ if gradient function is meand smooth.
Omega()$ if gradient function is meand smooth.
arXiv Detail & Related papers (2022-12-07T19:02:36Z) - The Quantum and Classical Streaming Complexity of Quantum and Classical
Max-Cut [0.07614628596146598]
We investigate the space complexity of two graph streaming problems: Max-Cut and its quantum analogue, Quantum Max-Cut.
Our work resolves the quantum and classical approximability of quantum and classical Max-Cut using $textrmo(n)$ space.
arXiv Detail & Related papers (2022-06-01T03:40:56Z) - QAOA-in-QAOA: solving large-scale MaxCut problems on small quantum
machines [81.4597482536073]
Quantum approximate optimization algorithms (QAOAs) utilize the power of quantum machines and inherit the spirit of adiabatic evolution.
We propose QAOA-in-QAOA ($textQAOA2$) to solve arbitrary large-scale MaxCut problems using quantum machines.
Our method can be seamlessly embedded into other advanced strategies to enhance the capability of QAOAs in large-scale optimization problems.
arXiv Detail & Related papers (2022-05-24T03:49:10Z) - A lower bound on the space overhead of fault-tolerant quantum computation [51.723084600243716]
The threshold theorem is a fundamental result in the theory of fault-tolerant quantum computation.
We prove an exponential upper bound on the maximal length of fault-tolerant quantum computation with amplitude noise.
arXiv Detail & Related papers (2022-01-31T22:19:49Z) - Quantum Gram-Schmidt Processes and Their Application to Efficient State
Read-out for Quantum Algorithms [87.04438831673063]
We present an efficient read-out protocol that yields the classical vector form of the generated state.
Our protocol suits the case that the output state lies in the row space of the input matrix.
One of our technical tools is an efficient quantum algorithm for performing the Gram-Schmidt orthonormal procedure.
arXiv Detail & Related papers (2020-04-14T11:05:26Z) - Asymptotic theory of quantum channel estimation [3.3852463130297448]
We show that a simple criterion can determine whether the scaling is linear or quadratic.
When the scaling is linear, we show the QFI is still in general larger than $N$ times the single-channel QFI.
arXiv Detail & Related papers (2020-03-23T21:50:12Z) - Communication Cost of Quantum Processes [49.281159740373326]
A common scenario in distributed computing involves a client who asks a server to perform a computation on a remote computer.
An important problem is to determine the minimum amount of communication needed to specify the desired computation.
We analyze the total amount of (classical and quantum) communication needed by a server in order to accurately execute a quantum process chosen by a client.
arXiv Detail & Related papers (2020-02-17T08:51:42Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.