English
Related papers

Related papers: Quantized State Hybrid Automata for Cyber-Physical…

200 papers

Engineering design processes involve iterative design evaluations requiring numerous computationally intensive numerical simulations. Quantum algorithms promise substantial speedups for specific tasks relevant to engineering simulations.…

Quantum Physics · Physics 2026-03-26 Leonhard Hölscher , Lukas Müller , Or Samimi , Tamuz Danzig

Hybrid dynamical systems, which include continuous flow and discrete mode switching, can model robotics tasks like legged robot locomotion. Model-based methods usually depend on predefined gaits, while model-free approaches lack explicit…

Robotics · Computer Science 2025-04-08 Hang Liu , Sangli Teng , Ben Liu , Wei Zhang , Maani Ghaffari

We introduce a unified formulation of variational methods for simulating ground state properties of quantum many-body systems. The key feature is a novel variational method over quantum circuits via infinitesimal unitary transformations,…

Quantum Physics · Physics 2009-11-13 Christopher M. Dawson , Jens Eisert , Tobias J. Osborne

The development of single-platform qubits, predominant for most of the last few decades, has driven the progress of quantum information technologies but also highlighted the limitations of various platforms. Some inherent issues such as…

Quantum Physics · Physics 2024-04-09 Cleaven Chia , Ding Huang , Victor Leong , Jian Feng Kong , Kuan Eng Johnson Goh

Motivated by recent progress in the experimental development of quantum simulators based on Rydberg atoms, we introduce and investigate the dynamics of a class of $(1+1)$-dimensional quantum cellular automata. These non-equilibrium…

Quantum Physics · Physics 2020-09-09 Edward Gillman , Federico Carollo , Igor Lesanovsky

Optimizing Reconfigurable Intelligent Surfaces (RIS) is a high-dimensional combinatorial challenge. Current quantum algorithms often simplify this problem by ignoring physical constraints like mutual coupling, which significantly degrades…

Computational Engineering, Finance, and Science · Computer Science 2026-05-08 Marco Pasquale , Erik M. Åsgrim , Stefano Markidis , Oscar Quevedo-Teruel

The rapid development of quantum computing technologies already made it possible to manipulate a collective state of several dozen of qubits. This success poses a strong demand on efficient and reliable methods for characterization and…

Coherent states, known as displaced vacuum states, play an important role in quantum information processing, quantum machine learning,and quantum optics. In this article, two ways to digitally prepare coherent states in quantum circuits are…

Simulating chemical systems is highly sought after and computationally challenging, as the number of degrees of freedom increases exponentially with the size of the system. Quantum computers have been proposed as a computational means to…

It is crucial to reduce the resources required to run quantum algorithms and simulate physical systems on quantum computers due to coherence time limitations. With regards to Hamiltonian simulation, a significant effort has focused on…

Quantum Physics · Physics 2022-12-01 Diana B. Chamaki , Stuart Hadfield , Katherine Klymko , Bryan O'Gorman , Norm M. Tubman

Discrete event systems (DES) have been deeply developed and applied in practice, but state complexity in DES still is an important problem to be better solved with innovative methods. With the development of quantum computing and quantum…

Quantum Physics · Physics 2023-05-05 Daowen Qiu

In this paper we have studied analytically and numerically dynamics of spin crossover induced by time-dependent pressure. We show that quasi static pressure, with a slow dependence on time, yields a spin crossover leading to transition from…

Strongly Correlated Electrons · Physics 2015-06-11 Alexander I. Nesterov , Sergey G. Ovchinnikov

The quantum speed limit (QSL) provides a fundamental upper bound on the speed of quantum evolution, but its evaluation in generic open quantum systems still presents a formidable computational challenge. Herein, we introduce a hybrid…

Quantum Physics · Physics 2019-04-30 Junjie Liu , Dvira Segal , Gabriel Hanna

Modern cyberattacks are increasingly complex, posing significant challenges to classical machine learning methods, particularly when labeled data is limited and feature interactions are highly non-linear. In this study we investigates the…

Cryptography and Security · Computer Science 2026-01-06 Jessica A. Sciammarelli , Waqas Ahmed

Variational quantum algorithms (VQAs) are prominent candidates for near-term quantum advantage but lack rigorous guarantees of convergence and generalization. By contrast, quantum phase estimation (QPE) provides provable performance under…

Quantum Physics · Physics 2025-10-09 Tuyen Nguyen , Mária Kieferová

Gradient descent is a fundamental algorithm in both theory and practice for continuous optimization. Identifying its quantum counterpart would be appealing to both theoretical and practical quantum applications. A conventional approach to…

Quantum Physics · Physics 2023-03-03 Jiaqi Leng , Ethan Hickman , Joseph Li , Xiaodi Wu

Supervised quantum learning is an emergent multidisciplinary domain bridging between variational quantum algorithms and classical machine learning. Here, we study experimentally a hybrid classifier model accelerated by a quantum simulator -…

Universal quantum algorithms (UQA) implemented on fault-tolerant quantum computers are expected to achieve an exponential speedup over classical counterparts. However, the deep quantum circuits makes the UQA implausible in the current era.…

Quantum Physics · Physics 2023-04-18 Jin-Min Liang , Qiao-Qiao Lv , Zhi-Xi Wang , Shao-Ming Fei

The critical point and the critical exponents for a phase transition can be determined using the Finite-Size Scaling (FSS) analysis. This method assumes that the phase transition occurs only in the infinite size limit. However, there has…

Quantum Physics · Physics 2022-02-02 Bilal Khalid , Shree Hari Sureshbabu , Arnab Banerjee , Sabre Kais

Cyber-physical systems (CPS) such as autonomous cars, aircraft, and robots are often also safety-critical; thus it is imperative that they operate as intended with a high degree of certainty. Formal verification has been employed to verify…

Programming Languages · Computer Science 2026-05-07 Serra Z. Dane , Jiawei Chen , Marc Pouzet , Jean-Baptiste Jeannin