Showing 1–6 of 6 results for author: Zuo, F

Improving stabilizer approximation with quantum strategy

Authors: Fen Zuo

Abstract: We introduce a quantum strategy from nonlocal games to improve the stabilizer approximation we proposed previously. The resulting approach turns out to be a qubit-by-qubit gauging procedure for standard stabilizers, which could involve discrete or continuous gauge parameters. We take examples from many-body physics and quantum chemistry to show such a procedure leads to an improvement of the perfo… ▽ More We introduce a quantum strategy from nonlocal games to improve the stabilizer approximation we proposed previously. The resulting approach turns out to be a qubit-by-qubit gauging procedure for standard stabilizers, which could involve discrete or continuous gauge parameters. We take examples from many-body physics and quantum chemistry to show such a procedure leads to an improvement of the performance. △ Less

Submitted 12 February, 2025; v1 submitted 9 December, 2024; originally announced December 2024.

Comments: Hamiltonian formulation of the CHSH game is elaborated; 9 pages

From Maximum Cut to Maximum Independent Set

Authors: Chuixiong Wu, Jianan Wang, Fen Zuo

Abstract: The Maximum Cut (Max-Cut) problem could be naturally expressed either in a Quadratic Unconstrained Binary Optimization (QUBO) formulation, or as an Ising model. It has long been known that the Maximum Independent Set (MIS) problem could also be related to a specific Ising model. Therefore, it would be natural to attack MIS with various Max-Cut/Ising solvers. It turns out that this strategy greatly… ▽ More The Maximum Cut (Max-Cut) problem could be naturally expressed either in a Quadratic Unconstrained Binary Optimization (QUBO) formulation, or as an Ising model. It has long been known that the Maximum Independent Set (MIS) problem could also be related to a specific Ising model. Therefore, it would be natural to attack MIS with various Max-Cut/Ising solvers. It turns out that this strategy greatly improves the approximation for the independence number of random Erdős-Rényi graphs. It also exhibits perfect performance on a benchmark arising from coding theory. These results pave the way for further development of approximate quantum algorithms on MIS, and specifically on the corresponding coding problems. △ Less

Submitted 18 September, 2024; v1 submitted 13 August, 2024; originally announced August 2024.

Comments: Independence number of 1dc.2048 updated, new results for 1dc.4096 included, references added; 22 pages, 5 figures

More on greedy construction heuristics for the MAX-CUT problem

Authors: Jianan Wang, Chuixiong Wu, Fen Zuo

Abstract: A cut of a graph can be represented in many different ways. Here we propose to represent a cut through a ``relation tree'', which is a spanning tree with signed edges. We show that this picture helps to classify the main greedy heuristics for the maximum cut problem, in analogy with the minimum spanning tree problem. Namely, all versions of the Sahni-Gonzalez~(SG) algorithms could be classified as… ▽ More A cut of a graph can be represented in many different ways. Here we propose to represent a cut through a ``relation tree'', which is a spanning tree with signed edges. We show that this picture helps to classify the main greedy heuristics for the maximum cut problem, in analogy with the minimum spanning tree problem. Namely, all versions of the Sahni-Gonzalez~(SG) algorithms could be classified as the Prim class, while various Edge-Contraction~(EC) algorithms are of the Kruskal class. We further elucidate the relation of this framework to the stabilizer formalism in quantum computing, and point out that the recently proposed \textit{ADAPT-Clifford} algorithm is a reformulation of a refined version of the SG algorithm, SG3. Numerical performance of the typical algorithms from the two classes are studied with various kinds of graphs. It turns out that, the Prim-class algorithms perform better for general dense graphs, and the Kruskal-class algorithms performs better when the graphs are sparse enough. △ Less

Submitted 17 December, 2023; originally announced December 2023.

Comments: 41 pages, 15 figures

Stabilizer Approximation III: Maximum Cut

Authors: Chuixiong Wu, Jianan Wang, Fen Zuo

Abstract: We apply the stabilizer formalism to the Maximum Cut problem, and obtain a new greedy construction heuristic. It turns out to be an elegant synthesis of the edge-contraction and differencing edge-contraction approaches. Utilizing the relation between the Maximum Cut problem and the Ising model, the approximation ratio of the heuristic is easily found to be at least $1/2$. Moreover, numerical resul… ▽ More We apply the stabilizer formalism to the Maximum Cut problem, and obtain a new greedy construction heuristic. It turns out to be an elegant synthesis of the edge-contraction and differencing edge-contraction approaches. Utilizing the relation between the Maximum Cut problem and the Ising model, the approximation ratio of the heuristic is easily found to be at least $1/2$. Moreover, numerical results show that the heuristic has very nice performance for graphs with about 100 vertices. △ Less

Submitted 29 May, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: The cut assignment code is amended with the graph scan method

Stabilizer Approximation II: From H$_2$O To C$_6$H$_6$

Authors: Jianan Wang, Chuixiong Wu, Fen Zuo

Abstract: We apply the stabilizer method to the study of some complicated molecules, such as water and benzene. In the minimal STO-3G basis, the former requires 14 qubits, and the latter 72 qubits, which is very challenging. Quite remarkably, We are still able to find the best stabilizer states at all the bond lengths. Just as the previously studied H$_2$, LiH and BeH$_2$ molecules, here the stabilizer stat… ▽ More We apply the stabilizer method to the study of some complicated molecules, such as water and benzene. In the minimal STO-3G basis, the former requires 14 qubits, and the latter 72 qubits, which is very challenging. Quite remarkably, We are still able to find the best stabilizer states at all the bond lengths. Just as the previously studied H$_2$, LiH and BeH$_2$ molecules, here the stabilizer states also approximate the true ground states very well, especially when the molecules are strongly distorted. These results suggest stabilizer states could serve as natural reference states when the system involves strong static correlation. And in the language of quantum computing, one would expect stabilizer states to be natural initial states for chemical simulation. △ Less

Submitted 22 February, 2023; originally announced February 2023.

Comments: 16 pages, 4 figures

Stabilizer Approximation

Authors: Xinying Li, Jianan Wang, Chuixiong Wu, Fen Zuo

Abstract: We propose a heuristic method to obtain the approximate groundstate for a Hamiltonian in the qubit form, based on the stabilizer formalism. These states may serve as proper initial states for further refined computation. It would be interesting to assess the efficiency and scalability of the method. We propose a heuristic method to obtain the approximate groundstate for a Hamiltonian in the qubit form, based on the stabilizer formalism. These states may serve as proper initial states for further refined computation. It would be interesting to assess the efficiency and scalability of the method. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Comments: 10 pages