English
Related papers

Related papers: Quantum Feedback Control: How to use Verification …

200 papers

Control of quantum systems via time-varying external fields optimized to maximize a fidelity measure at a given time is a mainstay in modern quantum control. However, save for specific systems, current analysis techniques for such quantum…

Quantum Physics · Physics 2024-01-10 Sean Patrick O'Neil , Edmond Jonckheere , Sophie Schirmer

The traditional approach to feedback control is to apply forces to a system by modifying the Hamiltonian. Here we show that quantum systems can be controlled without any Hamiltonian feedback, purely by exploiting the random quantum…

Quantum Physics · Physics 2015-05-13 Kurt Jacobs

A pivotal task in quantum metrology, and quantum parameter estimation in general, is to de- sign schemes that achieve the highest precision with given resources. Standard models of quantum metrology usually assume the dynamics is fixed, the…

Quantum Physics · Physics 2017-07-18 Jing Liu , Haidong Yuan

Experimental validation and control of quantum traits for an open quantum system are important for any quantum information purpose. We consider a traveling atom qubit as a quantum memory with adjustable velocity inside a leaky cavity,…

Quantum Physics · Physics 2020-01-22 Farzam Nosrati , Ali Mortezapour , Rosario Lo Franco

Quantum error correction (QEC) is fundamental for suppressing noise in quantum hardware and enabling fault-tolerant quantum computation. In this paper, we propose an efficient verification framework for QEC programs. We define an assertion…

Programming Languages · Computer Science 2025-10-30 Qifan Huang , Li Zhou , Wang Fang , Mengyu Zhao , Mingsheng Ying

Individually trapped Rydberg atoms show significant promise as a platform for scalable quantum simulation and for development of programmable quantum computers. In particular, the Rydberg blockade effect can be used to facilitate both fast…

Quantum Physics · Physics 2023-10-02 Valerio Crescimanna , Jacob Taylor , Aaron Z. Goldberg , Khabat Heshami

Precise definitions for different degrees of controllability for quantum systems are given, and necessary and sufficient conditions are discussed. The results are applied to determine the degree of controllability for various atomic systems…

Quantum Physics · Physics 2009-11-07 S. G. Schirmer , J. V. Leahy , A. I. Solomon

In this manuscript, we study optimal control problems for stochastic delay differential equations using the dynamic programming approach in Hilbert spaces via viscosity solutions of the associated Hamilton-Jacobi-Bellman equations. We show…

Optimization and Control · Mathematics 2024-12-24 Filippo de Feo , Andrzej Święch

We investigate feedback control of linear quantum systems subject to feedback-loop time delays. In particular, we examine the relation between the potentially achievable control performance and the time delays, and provide theoretical…

Quantum Physics · Physics 2013-05-29 Kazunori Nishio , Kenji Kashima , Jun-ichi Imura

The purpose of this paper is to present a theoretic and numerical study of utilizing squeezing and phase shift in coherent feedback control of linear quantum optical systems. A quadrature representation with built-in phase shifters is…

Quantum Physics · Physics 2012-06-19 Guofeng Zhang , Heung Wing Joseph Lee , Bo Huang , Hu Zhang

We employ the viscosity solution technique to analyze optimal stopping problems with regime switching. Specifically, we obtain the viscosity property of value functions, the uniqueness of viscosity solutions, the regularity of value…

Optimization and Control · Mathematics 2015-12-25 Yong-Chao Zhang , Na Zhang

Optimal control theory provides recipes to achieve quantum operations with high fidelity and speed, as required in quantum technologies such as quantum sensing and computation. While technical advances have achieved the ultrastrong driving…

Quantum Physics · Physics 2015-11-25 M. Hirose , P. Cappellaro

Quantum computers are expected to offer substantial speedups over their classical counterparts and to solve problems that are intractable for classical computers. Beyond such practical significance, the concept of quantum computation opens…

Quantum Physics · Physics 2014-11-13 Stefanie Barz , Joseph F. Fitzsimons , Elham Kashefi , Philip Walther

Increasing fidelity is the ultimate challenge of quantum information technology. In addition to decoherence and dissipation, fidelity is affected by internal imperfections such as impurities in the system. Here we show that the quality of…

Quantum Physics · Physics 2013-01-28 E. Rasanen , E. J. Heller

Quantum systems, in general, output data that cannot be simulated efficiently by a classical computer, and hence is useful for solving certain mathematical problems and simulating quantum many-body systems. This also implies, unfortunately,…

Quantum Physics · Physics 2017-10-04 Keisuke Fujii , Masahito Hayashi

The purpose of this tutorial is to give a brief introduction to linear quantum control systems. The mathematical model of linear quantum control systems is presented first, then some fundamental control-theoretic notions such as stability,…

Quantum Physics · Physics 2022-05-26 Guofeng Zhang , Zhiyuan Dong

In this work we focus on a recently introduced method [1] to construct the external potential $v$ that, for a given initial state, produces a prescribed time-dependent density in an interacting quantum many-body system. We show how this…

Quantum Physics · Physics 2014-12-12 S. E. B. Nielsen , M. Ruggenthaler , R. van Leeuwen

During their operation, due to shifts in environmental conditions, devices undergo various forms of detuning from their optimal settings. Typically, this is addressed through control loops, which monitor variables and the device…

Quantum Physics · Physics 2024-04-17 T. Crosta , L. Rebón , F. Vilariño , J. M. Matera , M. Bilkis

Entanglement is an important resource that allows quantum technologies to go beyond the classically possible. There are many ways quantum systems can be entangled, ranging from the archetypal two-qubit case to more exotic scenarios of…

Quantum Physics · Physics 2019-06-27 Nicolai Friis , Giuseppe Vitagliano , Mehul Malik , Marcus Huber

Interactive verification protocols for quantum computations allow to build trust between a client and a service provider, ensuring the former that the instructed computation was carried out faithfully. They come in two variants, one without…

Quantum Physics · Physics 2026-04-01 Amit Saha , Harold Ollivier