arXiv subjects

Zhihai Wang

Publications and source records attributed to Zhihai Wang.

At least 55 records · Page 3Linked to original sources

arXiv2024

Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming

Cutting planes (cuts) play an important role in solving mixed-integer linear programs (MILPs), which formulate many important real-world applications. Cut selection heavily depends on (P1) which cuts to prefer and (P2) how many cuts to select. Although modern MILP solvers tackle (P1)-(P2) by human-designed heuristics, machine learning carries the potential to learn more effective heuristics. However, many existing learning-based methods learn which cuts to prefer, neglecting the importance of learning how many cuts to select. Moreover, we observe that (P3) what order of selected cuts to prefer significantly impacts the efficiency of MILP solvers as well. To address these challenges, we propose a novel hierarchical sequence/set model (HEM) to learn cut selection policies. Specifically, HEM is a bi-level model: (1) a higher-level module that learns how many cuts to select, (2) and a lower-level module -- that formulates the cut selection as a sequence/set to sequence learning problem -- to learn policies selecting an ordered subset with the cardinality determined by the higher-level module. To the best of our knowledge, HEM is the first data-driven methodology that well tackles (P1)-(P3) simultaneously. Experiments demonstrate that HEM significantly improves the efficiency of solving MILPs on eleven challenging MILP benchmarks, including two Huawei's real problems.

cs.AI↗

arXiv2024

Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming

Cutting planes (cuts) play an important role in solving mixed-integer linear programs (MILPs), as they significantly tighten the dual bounds and improve the solving performance. A key problem for cuts is when to stop cuts generation, which is important for the efficiency of solving MILPs. However, many modern MILP solvers employ hard-coded heuristics to tackle this problem, which tends to neglect underlying patterns among MILPs from certain applications. To address this challenge, we formulate the cuts generation stopping problem as a reinforcement learning problem and propose a novel hybrid graph representation model (HYGRO) to learn effective stopping strategies. An appealing feature of HYGRO is that it can effectively capture both the dynamic and static features of MILPs, enabling dynamic decision-making for the stopping strategies. To the best of our knowledge, HYGRO is the first data-driven method to tackle the cuts generation stopping problem. By integrating our approach with modern solvers, experiments demonstrate that HYGRO significantly improves the efficiency of solving MILPs compared to competitive baselines, achieving up to 31% improvement.

cs.AI↗

arXiv2024

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications

In an era of digital ubiquity, efficient resource management and decision-making are paramount across numerous industries. To this end, we present a comprehensive study on the integration of machine learning (ML) techniques into Huawei Cloud's OptVerse AI Solver, which aims to mitigate the scarcity of real-world mathematical programming instances, and to surpass the capabilities of traditional optimization techniques. We showcase our methods for generating complex SAT and MILP instances utilizing generative models that mirror multifaceted structures of real-world problem. Furthermore, we introduce a training framework leveraging augmentation policies to maintain solvers' utility in dynamic environments. Besides the data generation and augmentation, our proposed approaches also include novel ML-driven policies for personalized solver strategies, with an emphasis on applications like graph convolutional networks for initial basis selection and reinforcement learning for advanced presolving and cut selection. Additionally, we detail the incorporation of state-of-the-art parameter tuning algorithms which markedly elevate solver performance. Compared with traditional solvers such as Cplex and SCIP, our ML-augmented OptVerse AI Solver demonstrates superior speed and precision across both established benchmarks and real-world scenarios, reinforcing the practical imperative and effectiveness of machine learning techniques in mathematical programming solvers.

cs.AI↗

arXiv2023

Single-photon manipulations based on optically-controlled chiral couplings in waveguide structures of Rydberg giant atoms

Two interacting Rydberg atoms coupled to a waveguide realize a giant-atom platform that exhibits the controllable (phase-dependent) chirality where the direction of nonreciprocal photon scattering can be switched on demand, e.g., by the geometrical tuning of an external driving field. At variance with previous chiral setups, the simplified approach of our proposed platform arises from an optical implementation of the local phase difference between two coupling points of the Rydberg giant atom. Furthermore, employing two or more driving fields, this platform could also be used as a frequency converter with its efficiency exhibiting a strong asymmetry and being significantly enhanced via the chiral couplings. Our results suggest an extendable giant-atom platform that is both innovative and promising for chiral quantum optics and tunable frequency conversion in the optical domain.

quant-ph↗

arXiv2023

Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning

Large-scale LP problems from industry usually contain much redundancy that severely hurts the efficiency and reliability of solving LPs, making presolve (i.e., the problem simplification module) one of the most critical components in modern LP solvers. However, how to design high-quality presolve routines -- that is, the program determining (P1) which presolvers to select, (P2) in what order to execute, and (P3) when to stop -- remains a highly challenging task due to the extensive requirements on expert knowledge and the large search space. Due to the sequential decision property of the task and the lack of expert demonstrations, we propose a simple and efficient reinforcement learning (RL) framework -- namely, reinforcement learning for presolve (RL4Presolve) -- to tackle (P1)-(P3) simultaneously. Specifically, we formulate the routine design task as a Markov decision process and propose an RL framework with adaptive action sequences to generate high-quality presolve routines efficiently. Note that adaptive action sequences help learn complex behaviors efficiently and adapt to various benchmarks. Experiments on two solvers (open-source and commercial) and eight benchmarks (real-world and synthetic) demonstrate that RL4Presolve significantly and consistently improves the efficiency of solving large-scale LPs, especially on benchmarks from industry. Furthermore, we optimize the hard-coded presolve routines in LP solvers by extracting rules from learned policies for simple and efficient deployment to Huawei's supply chain. The results show encouraging economic and academic potential for incorporating machine learning to modern solvers.

cs.LG↗

arXiv2023

A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design

Logic Synthesis (LS) plays a vital role in chip design -- a cornerstone of the semiconductor industry. A key task in LS is to transform circuits -- modeled by directed acyclic graphs (DAGs) -- into simplified circuits with equivalent functionalities. To tackle this task, many LS operators apply transformations to subgraphs -- rooted at each node on an input DAG -- sequentially. However, we found that a large number of transformations are ineffective, which makes applying these operators highly time-consuming. In particular, we notice that the runtime of the Resub and Mfs2 operators often dominates the overall runtime of LS optimization processes. To address this challenge, we propose a novel data-driven LS operator paradigm, namely PruneX, to reduce ineffective transformations. The major challenge of developing PruneX is to learn models that well generalize to unseen circuits, i.e., the out-of-distribution (OOD) generalization problem. Thus, the major technical contribution of PruneX is the novel circuit domain generalization framework, which learns domain-invariant representations based on the transformation-invariant domain-knowledge. To the best of our knowledge, PruneX is the first approach to tackle the OOD problem in LS operators. We integrate PruneX with the aforementioned Resub and Mfs2 operators. Experiments demonstrate that PruneX significantly improves their efficiency while keeping comparable optimization performance on industrial and very large-scale circuits, achieving up to $3.1\times$ faster runtime.

cs.AR↗

arXiv2023

Quantum interference and controllable magic cavity QED via a giant atom in coupled resonator waveguide

We study the Markovian and Non-Markovian dynamics in a giant atom system which couples to a coupled resonator waveguide (CRW) via two distant sites. Under certain conditions, we find that the giant atom population can exhibit an oscillating behavior and the photon can be trapped in the giant atom regime. These phenomena are induced by the interference effect among the bound states both in and outside the continuum. As an application of the photon trapping, we theoretically propose a magic cavity model where the giant atom serve as either a perfect or leaky cavity, depending on the distance between the coupling sites. The controllability of the magic cavity from perfect to leaky one can not be realized in the traditional cavity or circuit QED setup. The predicted effects can be probed in state-of-the-art waveguide QED experiments and provide a striking example of how the different kinds of bound states modify the dynamics of quantum open system in a structured environment.

quant-ph↗

arXiv2023

Controlling photons by phonons via giant atom in a waveguide QED setup

We investigate the single photon scattering in a phonon-photon hybrid system in the waveguide QED scheme. In our consideration, an artificial giant atom, which is dressed by the phonons in a surface acoustic wave resonator, interacts with a coupled resonator waveguide (CRW) nonlocally via two connecting sites. Together with the interference effect by the nonlocal coupling, the phonon serves as a controller to the transport of the photon in the waveguide. On the one hand, the coupling strength between the giant atom and the surface acoustic wave resonator modulates the width of the transmission valley or window in the near resonant regime. On the other hand, the two reflective peaks induced by the Rabi splitting degrade into a single one when the giant atom is large detuned from the surface acoustic resonator, which implies an effective dispersive coupling. Our study paves the way for the potential application of giant atoms in the hybrid system.

quant-ph↗

arXiv2023

Nonreciprocal and chiral single-photon scattering for giant atoms

Quantum optics with giant atoms has provided a new paradigm to study photon scatterings. In this work, we investigate the nontrivial single-photon scattering properties of giant atoms being an effective platform to realize nonreciprocal and chiral quantum optics. For two-level giant atoms, we identify the condition for nonreciprocal transmission: the external atomic dissipation is further required other than the breaking of time-reversal symmetry by local coupling phases. Especially, in the non-Markovian regime, unconventional revival peaks periodically appear in the reflection spectrum. To explore more interesting scattering behaviors, we extend the two-level giant-atom system to Δ-type and {\nabla}-type three-level giant atoms coupled to double waveguides with different physical mechanisms to realize nonreciprocal and chiral scatterings. Our proposed giant-atom structures have potential applications of high-efficiency targeted routers that can transport single photons to any desired port deterministically and circulators that can transport single photons between four ports in a cyclic way.

quant-ph↗

arXiv2023

Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model

Cutting planes (cuts) are important for solving mixed-integer linear programs (MILPs), which formulate a wide range of important real-world applications. Cut selection -- which aims to select a proper subset of the candidate cuts to improve the efficiency of solving MILPs -- heavily depends on (P1) which cuts should be preferred, and (P2) how many cuts should be selected. Although many modern MILP solvers tackle (P1)-(P2) by manually designed heuristics, machine learning offers a promising approach to learn more effective heuristics from MILPs collected from specific applications. However, many existing learning-based methods focus on learning which cuts should be preferred, neglecting the importance of learning the number of cuts that should be selected. Moreover, we observe from extensive empirical results that (P3) what order of selected cuts should be preferred has a significant impact on the efficiency of solving MILPs as well. To address this challenge, we propose a novel hierarchical sequence model (HEM) to learn cut selection policies via reinforcement learning. Specifically, HEM consists of a two-level model: (1) a higher-level model to learn the number of cuts that should be selected, (2) and a lower-level model -- that formulates the cut selection task as a sequence to sequence learning problem -- to learn policies selecting an ordered subset with the size determined by the higher-level model. To the best of our knowledge, HEM is the first method that can tackle (P1)-(P3) in cut selection simultaneously from a data-driven perspective. Experiments show that HEM significantly improves the efficiency of solving MILPs compared to human-designed and learning-based baselines on both synthetic and large-scale real-world MILPs, including MIPLIB 2017. Moreover, experiments demonstrate that HEM well generalizes to MILPs that are significantly larger than those seen during training.

cs.LG↗

arXiv2022

Efficient Exploration in Resource-Restricted Reinforcement Learning

In many real-world applications of reinforcement learning (RL), performing actions requires consuming certain types of resources that are non-replenishable in each episode. Typical applications include robotic control with limited energy and video games with consumable items. In tasks with non-replenishable resources, we observe that popular RL methods such as soft actor critic suffer from poor sample efficiency. The major reason is that, they tend to exhaust resources fast and thus the subsequent exploration is severely restricted due to the absence of resources. To address this challenge, we first formalize the aforementioned problem as a resource-restricted reinforcement learning, and then propose a novel resource-aware exploration bonus (RAEB) to make reasonable usage of resources. An appealing feature of RAEB is that, it can significantly reduce unnecessary resource-consuming trials while effectively encouraging the agent to explore unvisited states. Experiments demonstrate that the proposed RAEB significantly outperforms state-of-the-art exploration strategies in resource-restricted reinforcement learning environments, improving the sample efficiency by up to an order of magnitude.

cs.LG↗

arXiv2022

Witness of topological phase transition and Weyl points in an open topological system

Recently, the tunable Weyl-semimetal bands and the associate topological phase transition have been successfully simulated in superconducting quantum circuits [X. Tan, \textit{et al.} Phys. Rev. Lett. {\bf 122}, 010501 (2019)]. Since the superconducting quantum circuits inevitably couple to the environment, we here focus on the steady state and decoherence process by taking the reservoir into consideration via quantum master equation. Our results show that the purity of the steady state can be used to indicate the topological phase transition and Weyl points. Furthermore, the coherence will exponentially decay to zero at the Weyl points, and decay to a nonzero value with oscillation at other points in the momentum space. Our work may have significant impact on the study of quantum open topological system.

quant-ph↗

arXiv2022

Vibration induced transparency: Simulating an optomechanical system via the cavity QED setup with a movable atom

We simulate an optomechanical system via a cavity QED scenario with a movable atom and investigate its application in the tiny mass sensing. We find that the steady-state solution of the system exhibits a multiple stability behavior, which is similar to that in the optomechanical system. We explain this phenomenon by the opto-mechanical interaction term in the effective Hamiltonian. Due to the dressed states formed by the effective coupling between the vibration degree of the atom and the optical mode in the cavity, we observe a narrow transparent window in the output field. We utilize this vibration induced transparency phenomenon to perform the tiny mass sensing. We hope our study will broaden the application of the cavity QED system to quantum technologies.

quant-ph↗

arXiv2022

Topology and retardation effect of a giant atom in a topological waveguide

The interaction between the quantum emitter and topological photonic system makes both the emitter and the photon behave in exotic ways. We here study a system that a giant atom is coupled to two points of a one-dimensional topological waveguide formed by the Su-Schrieffer-Heeger (SSH) chain. The topological nature of the hybrid system is studied. We find that the giant atom can act as an effective boundary and induce the chiral zero energy modes for the waveguide under the periodical boundary. The properties of these modes are similar to those in the SSH model with open boundary. Meanwhile, the SSH waveguide, as a structured environment, induces the retarded effect and the non-Markovian dissipation of the giant atom. Our work may promote more studies on the interaction between matter and topological environment. Experimental demonstration for our study using superconducting quantum circuits is very possible within current technology.

quant-ph↗

arXiv2022

Retardation effect and dark state in a waveguide QED setup with rectangle cross section

In this paper, we investigate the dynamics of a two-atom system which couples to a quasi-one dimensional waveguide with rectangle cross section. The waveguide supports different TM and TE modes and the former ones play as environment by on-demand choosing the dipole moment of the atoms. Such environment induces the interaction and collective dissipation of the atoms. When both of the two atoms are located in the middle of the waveguide, we observe a retardation effect, which is broken by moving one of the atom to be off-centered. To preserve the complete dissipation of the system via dark state mechanism, we propose a scheme where the connection of the atoms are perpendicular to the axis of the waveguide. We hope our study will be useful in quantum information processing based on state-to-art waveguide structure.

quant-ph↗

arXiv2022

Superconducting giant atom waveguide QED: Quantum Zeno and Anti-Zeno effects in ultrastrong coupling regime

The giant atom system is a new paradigm in quantum optics, in which the traditional dipole approximation is not available. In this paper, we construct an artificial giant atom model by coupling a superconducting circuits to a transmission line by two coupling points. In the ultrastrong coupling regime, we show that the Lamb shift of the giant atom, which is induced by the non-negligible counter-rotating atom-waveguide coupling term, will modify its dissipation process. Furthermore, we investigate quantum Zeno and anti-Zeno effect where the size of the giant atom serves as a sensitive controller. Specifically, by comparing the critical measurement interval and the life time of the giant atom, we clarify the condition for the occurring of quantum anti-Zeno effect. We hope our work is useful for the application of giant atom system in the investigation of fundamental problems of quantum mechanics.

quant-ph↗

arXiv2022

Quantum interferometry for rotation sensing in an optical microresonator

We theoretically propose a scheme to perform rotation sensing in a Whispering-gallery-mode resonator setup. With the assistance of a large detuned two-level atom, which induces the effective coupling between clockwise and counterclockwise propagating modes in the resonator, we realize an effective interferometry with SU(2) algebraic structure. By studying the quantum Fisher information of the system, we find that the estimate accuracy for the angular velocity of the rotation can achieve and even break the Heisenberg limit in linear and nonlinear setup, respectively. The high performance of quantum metrology is proved to be associated with the state compressibility during the time evolution. We hope that our investigation will be useful in the design of a quantum gyroscope based on spinning resonators.

quant-ph↗

arXiv2022

Exact solvability and two-frequency Rabi oscillation in cavity-QED setup with moving emitter

In this paper, we investigate the energy spectrum and coherent dynamical process in a cavity-QED setup with a moving emitter, which is subject to a harmonic potential. We find that the vibration of the emitter will induce the effective Kerr and optomechanical interactions. We generalize the Bogliubov operators approach which dealt with quantum Rabi model, to our cavity-emitter-vibration system and obtain the energy spectrum exactly. With the assistance of Bogliubov operators approach, we obtain the energy spectrum of the system exactly. Furthermore, we show that the dynamics of the system exhibit a two-frequency Rabi oscillation behavior. We explain such behavior by optomechanical interaction induced quantum transition between emitter-cavity dressed states. We hope that the interaction between cavity mode and moving emitter will provide a versatile platform to explore more exotic effects and potential applications in cavity-QED scenario.

quant-ph↗