-
Near-Optimal Parameter Tuning of Level-1 QAOA for Ising Models
Authors:
V Vijendran,
Dax Enshan Koh,
Eunok Bae,
Hyukjoon Kwon,
Ping Koy Lam,
Syed M Assad
Abstract:
The Quantum Approximate Optimisation Algorithm (QAOA) is a hybrid quantum-classical algorithm for solving combinatorial optimisation problems. QAOA encodes solutions into the ground state of a Hamiltonian, approximated by a $p$-level parameterised quantum circuit composed of problem and mixer Hamiltonians, with parameters optimised classically. While deeper QAOA circuits can offer greater accuracy…
▽ More
The Quantum Approximate Optimisation Algorithm (QAOA) is a hybrid quantum-classical algorithm for solving combinatorial optimisation problems. QAOA encodes solutions into the ground state of a Hamiltonian, approximated by a $p$-level parameterised quantum circuit composed of problem and mixer Hamiltonians, with parameters optimised classically. While deeper QAOA circuits can offer greater accuracy, practical applications are constrained by complex parameter optimisation and physical limitations such as gate noise, restricted qubit connectivity, and state-preparation-and-measurement errors, limiting implementations to shallow depths. This work focuses on QAOA$_1$ (QAOA at $p=1$) for QUBO problems, represented as Ising models. Despite QAOA$_1$ having only two parameters, $(γ, β)$, we show that their optimisation is challenging due to a highly oscillatory landscape, with oscillation rates increasing with the problem size, density, and weight. This behaviour necessitates high-resolution grid searches to avoid distortion of cost landscapes that may result in inaccurate minima. We propose an efficient optimisation strategy that reduces the two-dimensional $(γ, β)$ search to a one-dimensional search over $γ$, with $β^*$ computed analytically. We establish the maximum permissible sampling period required to accurately map the $γ$ landscape and provide an algorithm to estimate the optimal parameters in polynomial time. Furthermore, we rigorously prove that for regular graphs on average, the globally optimal $γ^* \in \mathbb{R}^+$ values are concentrated very close to zero and coincide with the first local optimum, enabling gradient descent to replace exhaustive line searches. This approach is validated using Recursive QAOA (RQAOA), where it consistently outperforms both coarsely optimised RQAOA and semidefinite programs across all tested QUBO instances.
△ Less
Submitted 15 May, 2025; v1 submitted 27 January, 2025;
originally announced January 2025.
-
Modified Recursive QAOA for Exact Max-Cut Solutions on Bipartite Graphs: Closing the Gap Beyond QAOA Limit
Authors:
Eunok Bae,
Hyukjoon Kwon,
V Vijendran,
Soojoon Lee
Abstract:
Quantum Approximate Optimization Algorithm (QAOA) is a quantum-classical hybrid algorithm proposed with the goal of approximately solving combinatorial optimization problems such as the MAX-CUT problem. It has been considered a potential candidate for achieving quantum advantage in the Noisy Intermediate-Scale Quantum era and has been extensively studied. However, the performance limitations of lo…
▽ More
Quantum Approximate Optimization Algorithm (QAOA) is a quantum-classical hybrid algorithm proposed with the goal of approximately solving combinatorial optimization problems such as the MAX-CUT problem. It has been considered a potential candidate for achieving quantum advantage in the Noisy Intermediate-Scale Quantum era and has been extensively studied. However, the performance limitations of low-level QAOA have also been demonstrated across various instances. In this work, we first analytically prove the performance limitations of level-1 QAOA in solving the MAX-CUT problem on bipartite graphs. To this end, we derive an upper bound for the approximation ratio based on the average degree of bipartite graphs. Second, we demonstrate that Recursive QAOA (RQAOA), which recursively reduces graph size using QAOA as a subroutine, outperforms the level-1 QAOA. However, the performance of RQAOA exhibits limitations as the graph size increases. Finally, we show that RQAOA with a restricted parameter regime can fully address these limitations. Surprisingly, this modified RQAOA always finds the exact maximum cut for any bipartite graphs and even for a more general graph with parity-signed weights.
△ Less
Submitted 25 November, 2024; v1 submitted 23 August, 2024;
originally announced August 2024.
-
Investigating controlled teleportation capability of quantum states with respect to $k$-separability
Authors:
Minjin Choi,
Jeonghyeon Shin,
Gunho Lee,
Eunok Bae
Abstract:
Quantum teleportation is an essential application of quantum entanglement. The examination of teleportation fidelity in two-party standard teleportation schemes reveals a critical threshold distinguishing separable and entangled states. For separable states, their teleportation fidelities cannot exceed the threshold, emphasizing the significance of entanglement. We extend this analysis to multi-pa…
▽ More
Quantum teleportation is an essential application of quantum entanglement. The examination of teleportation fidelity in two-party standard teleportation schemes reveals a critical threshold distinguishing separable and entangled states. For separable states, their teleportation fidelities cannot exceed the threshold, emphasizing the significance of entanglement. We extend this analysis to multi-party scenarios known as controlled teleportation. Our study provides thresholds that $N$-qudit $k$-separable states cannot exceed in a controlled teleportation scheme, where $N \ge 3$ and $2 \le k \le N$. This not only establishes a standard for utilizing a given quantum state as a resource in controlled teleportation but also enhances our understanding of the influence of the entanglement structure on controlled teleportation performance. In addition, we show that genuine multipartite entanglement is not a prerequisite for achieving a high controlled teleportation capability.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Genuine multipartite entanglement measures based on multi-party teleportation capability
Authors:
Minjin Choi,
Eunok Bae,
Soojoon Lee
Abstract:
Quantifying entanglement is vital to understand entanglement as a resource in quantum information processing, and many entanglement measures have been suggested for this purpose. When mathematically defining an entanglement measure, we should consider the distinguishability between entangled and separable states, the invariance under local transformation, the monotonicity under local operations an…
▽ More
Quantifying entanglement is vital to understand entanglement as a resource in quantum information processing, and many entanglement measures have been suggested for this purpose. When mathematically defining an entanglement measure, we should consider the distinguishability between entangled and separable states, the invariance under local transformation, the monotonicity under local operations and classical communication, and the convexity. These are reasonable requirements but may be insufficient, in particular when taking into account the usefulness of quantum states in multi-party quantum information processing. Therefore, if we want to investigate multipartite entanglement as a resource, then it can be necessary to consider the usefulness of quantum states in multi-party quantum information processing when we define a multipartite entanglement measure. In this paper, we define new multipartite entanglement measures for three-qubit systems based on the three-party teleportation capability, and show that these entanglement measures satisfy the requirements for being genuine multipartite entanglement measures. We also generalize our entanglement measures for $N$-qubit systems, where $N \ge 4$, and discuss that these quantities may be good candidates to measure genuine multipartite entanglement.
△ Less
Submitted 29 August, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Recursive QAOA outperforms the original QAOA for the MAX-CUT problem on complete graphs
Authors:
Eunok Bae,
Soojoon Lee
Abstract:
Quantum approximate optimization algorithms are hybrid quantum-classical variational algorithms designed to approximately solve combinatorial optimization problems such as the MAX-CUT problem. In spite of its potential for near-term quantum applications, it has been known that quantum approximate optimization algorithms have limitations for certain instances to solve the MAX-CUT problem, at any co…
▽ More
Quantum approximate optimization algorithms are hybrid quantum-classical variational algorithms designed to approximately solve combinatorial optimization problems such as the MAX-CUT problem. In spite of its potential for near-term quantum applications, it has been known that quantum approximate optimization algorithms have limitations for certain instances to solve the MAX-CUT problem, at any constant level $p$. Recently, the recursive quantum approximate optimization algorithm, which is a non-local version of quantum approximate optimization algorithm, has been proposed to overcome these limitations. However, it has been shown by mostly numerical evidences that the recursive quantum approximate optimization algorithm outperforms the original quantum approximate optimization algorithm for specific instances. In this paper, we analytically prove that the recursive quantum approximate optimization algorithm is more competitive than the original one to solve the MAX-CUT problem for complete graphs with respect to the approximation ratio.
△ Less
Submitted 21 February, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Quantum algorithm based on the $\varepsilon$-random linear disequations for the continuous hidden shift problem
Authors:
Eunok Bae,
Soojoon Lee
Abstract:
There have been several research works on the hidden shift problem, quantum algorithms for the problem, and their applications. However, all the results have focused on discrete groups with discrete oracle functions. In this paper, we define the continuous hidden shift problem on $\mathbb{R}^n$ with a continuous oracle function as an extension of the hidden shift problem, and also define the…
▽ More
There have been several research works on the hidden shift problem, quantum algorithms for the problem, and their applications. However, all the results have focused on discrete groups with discrete oracle functions. In this paper, we define the continuous hidden shift problem on $\mathbb{R}^n$ with a continuous oracle function as an extension of the hidden shift problem, and also define the $\varepsilon$-random linear disequations which is a generalization of the random linear disequations. By employing the newly defined concepts, we show that there exists a quantum computational algorithm which solves this problem in time polynomial in $n$.
△ Less
Submitted 26 October, 2021; v1 submitted 12 April, 2019;
originally announced April 2019.
-
Stability theorem of depolarizing channels for the minimal output quantum Rényi entropies
Authors:
Eunok Bae,
Gilad Gour,
Soojoon Lee,
Jeonghoon Park,
Barry C. Sanders
Abstract:
We show that the stability theorem of the depolarizing channel holds for the output quantum $p$-Rényi entropy for $p \ge 2$ or $p=1$, which is an extension of the well known case $p=2$. As an application, we present a protocol in which Bob determines whether Alice prepares a pure quantum state close to a product state. In the protocol, Alice transmits to Bob multiple copies of a pure state through…
▽ More
We show that the stability theorem of the depolarizing channel holds for the output quantum $p$-Rényi entropy for $p \ge 2$ or $p=1$, which is an extension of the well known case $p=2$. As an application, we present a protocol in which Bob determines whether Alice prepares a pure quantum state close to a product state. In the protocol, Alice transmits to Bob multiple copies of a pure state through a depolarizing channel, and Bob estimates its output quantum $p$-Rényi entropy. By using our stability theorem, we show that Bob can determine whether her preparation is appropriate.
△ Less
Submitted 27 October, 2015;
originally announced October 2015.
-
Quantum computational algorithm for hidden symmetry subgroup problems on semi-direct product of cyclic groups
Authors:
Jeong San Kim,
Eunok Bae,
Soojoon Lee
Abstract:
We characterize the algebraic structure of semi-direct product of cyclic groups, $\Z_{N}\rtimes\Z_{p}$, where $p$ is an odd prime number which does not divide $q-1$ for any prime factor $q$ of $N$, and provide a polynomial-time quantum computational algorithm solving hidden symmetry subgroup problem of the groups.
We characterize the algebraic structure of semi-direct product of cyclic groups, $\Z_{N}\rtimes\Z_{p}$, where $p$ is an odd prime number which does not divide $q-1$ for any prime factor $q$ of $N$, and provide a polynomial-time quantum computational algorithm solving hidden symmetry subgroup problem of the groups.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
