arXiv subjects

Zhibin Deng

Publications and source records attributed to Zhibin Deng.

8 recordsLinked to original sources

arXiv2026

One- and two-dimensional cluster states for topological phase simulation and measurement-based quantum computation

Quantum entanglement is a fundamental resource for quantum information processing and serves as a critical benchmark for quantum hardware performance. Cluster states are a special class of entangled states that serve as universal resources for measurement-based quantum computation and possess an intrinsic symmetry-protected topological order, which confers robustness against symmetry-respecting noise. Here we report the scalable preparation and verification of genuine multipartite cluster states on the 105-qubit Zuchongzhi 3.1 superconducting processor. We achieve one-dimensional cluster states of up to 95 qubits and two-dimensional cluster states of up to 72 qubits. The symmetry-protected topological cluster states exhibit input-state-dependent robustness under symmetry-breaking perturbations due to an operational parity structure that enhances the performance of measurement-based quantum computation. Furthermore, we use our two-dimensional cluster states to implement the Deutsch-Jozsa algorithm within the measurement-based quantum computation framework, achieving higher output-state fidelity compared with traditional circuit-based models and a query efficiency advantage over classical approaches. Our work establishes a scalable platform that combines large-scale entanglement generation, symmetry-protected topological order and practical quantum algorithms to enable robust, fault-tolerant measurement-based quantum computation.

quant-ph↗

arXiv2026

New reformulations for 0-1 quadratic programming problem using quadratic nonconvex reformulation techniques and valid inequalities

It is well-known that the quadratic convex reformulation (QCR) technique can speed up some general-purpose solvers such as CPLEX and Gurobi. Recently, the method of quadratic nonconvex reformulation (QNR) was proposed, which provides an alternative way for accelerating a solver via reformulation technique. This paper proposes several new reformulations for 0-1 quadratic programming problems using the QNR technique. Such a technique provides more flexibility in adding nonconvex quadratic constraints into the problem formulation, so that some valid inequalities, such as the triangle inequalities, can be incorporated into the formulation to tighten the lower bound of the problem. We analyze the effects of the proposed reformulations on the lower bounds implemented in the solver, and propose some methods to maximize the McCormick relaxation bounds of the reformulations. Our numerical experiments compare the proposed reformulations with the existing quadratic convex reformulations, showing the effectiveness of the proposed reformulations on 0-1 quadratic programming problems.

math.OC↗

arXiv2026

Variable Aggregation-based Perspective Reformulation for Mixed-Integer Convex Optimization with Symmetry

This paper addresses the challenging issue of symmetry in mixed-integer convex optimization problems, which frequently arise in real-world applications such as the unit commitment problem. Although variable aggregation techniques have been employed to mitigate symmetry, their impact on tightening the corresponding continuous relaxation has not been thoroughly investigated. In this work, we propose a new formulation that integrates the perspective reformulation method into the variable aggregation framework, yielding a tighter continuous relaxation for mixed-integer convex optimization problems with symmetric structures. We prove that, in the presence of symmetry, the convex hull of the feasible region associated with each set of aggregated variables can be exactly characterized. These results demonstrate the effectiveness of the proposed reformulation and establish new theoretical foundations for achieving tightness in variable aggregation-based mixed-integer programming formulations.

math.OC↗

arXiv2025

An Efficient Solution Method for Solving Convex Separable Quadratic Optimization Problems

Convex separable quadratic optimization problems occur in many practical applications. In this paper, based on an iterative resolution scheme of the KKT system, we develop an efficient method for solving a quadratic programming problem with a convex separable objective function subject to multiple convex separable constraints. We show that the proposed approach leads to a dual coordinate ascent algorithm and provide a convergence proof. Numerical experiments support the superior performance of the proposed method to that of the Gurobi solver, especially for solving large-scale convex separate quadratic programming problems.

math.OC↗

arXiv2025

Variable aggregation-based formulations for pumped storage hydro model in the day-ahead unit commitment problem

Pumped storage hydro (PSH) plants can improve the flexibility of power systems. A well-designed formulation for a PSH model is essential when incorporating the PSH units into a day-ahead unit commitment model. In the literature, the formulation of a PSH model is generally based on the individual PSH unit. This formulation is tight if there is only one PSH unit in the reservoir. However, when there are multiple units sharing the same reservoir in a PSH plant, the existing formulation may introduce some symmetric structures which degrade the efficiency of a mixed-integer programming solver significantly. In this paper, to cope with the symmetric structure in the PSH plants that have multiple units, we propose two new formulations. The first formulation considers the case in which there are multiple identical units sharing the same reservoir. The second formulation considers a general case in which the units sharing the same reservoir have the same generating and pumping efficiency. Using the new formulations, the symmetric structures in the problem can be effectively broken. Numerical results are presented to study the computational efficiency of the new formulations.

math.OC↗

arXiv2025

Enhancing Quadratic Programming Solvers via Quadratic Nonconvex Reformulation

In this paper, we consider solving nonconvex quadratic programming problems using modern solvers such as Gurobi and SCIP. It is well-known that the classical techniques of quadratic convex reformulation can improve the computational efficiency of global solvers for mixed-integer quadratic optimization problems. In contrast, the use of quadratic nonconvex reformulation (QNR) has not been previously explored. This paper introduces a QNR framework--an unconventional yet highly effective approach for improving the performance of state-of-the-art quadratic programming solvers such as Gurobi and SCIP. Our computational experiments on diverse nonconvex quadratic programming problem instances demonstrate that QNR can substantially accelerate both Gurobi and SCIP. Notably, with QNR, Gurobi achieves state-of-the-art performance on several benchmark and randomly generated instances.

math.OC↗

arXiv2024

Establishing a New Benchmark in Quantum Computational Advantage with 105-qubit Zuchongzhi 3.0 Processor

In the relentless pursuit of quantum computational advantage, we present a significant advancement with the development of Zuchongzhi 3.0. This superconducting quantum computer prototype, comprising 105 qubits, achieves high operational fidelities, with single-qubit gates, two-qubit gates, and readout fidelity at 99.90%, 99.62% and 99.18%, respectively. Our experiments with an 83-qubit, 32-cycle random circuit sampling on Zuchongzhi 3.0 highlight its superior performance, achieving one million samples in just a few hundred seconds. This task is estimated to be infeasible on the most powerful classical supercomputers, Frontier, which would require approximately $6.4\times 10^9$ years to replicate the task. This leap in processing power places the classical simulation cost six orders of magnitude beyond Google's SYC-67 and SYC-70 experiments [Nature 634, 328(2024)], firmly establishing a new benchmark in quantum computational advantage. Our work not only advances the frontiers of quantum computing but also lays the groundwork for a new era where quantum processors play an essential role in tackling sophisticated real-world challenges.

quant-ph↗

arXiv2023

New semidefinite relaxations for a class of complex quadratic programming problems

In this paper, we propose some new semidefinite relaxations for a class of nonconvex complex quadratic programming problems, which widely appear in the areas of signal processing and power system. By deriving new valid constraints to the matrix variables in the lifted space, we derive some enhanced semidefinite relaxations of the complex quadratic programming problems. Then, we compare the proposed semidefinite relaxations with existing ones and show that the newly proposed semidefinite relaxations could be strictly tighter than the previous ones. Moreover, the proposed semidefinite relaxations can be applied to more general cases of complex quadratic programming problems, whereas the previous ones are only designed for special cases. Numerical results indicate that the proposed semidefinite relaxations not only provide tighter relaxation bounds but also improve some existing approximation algorithms by finding better sub-optimal solutions.

math.OC↗