English
Related papers

Related papers: Faithful Dynamic Timing Analysis of Digital Circui…

200 papers

Graph states are entangled states that are essential for quantum information processing. As experimental advances enable the realization of large-scale graph states, efficient fidelity estimation methods are crucial for assessing their…

Optical communication is developing rapidly in the directions of hardware resource diversification, transmission system flexibility, and network function virtualization. Its proliferation poses a significant challenge to traditional optical…

Networking and Internet Architecture · Computer Science 2020-11-11 Danshi Wang , Zhiguo Zhang , Min Zhang , Meixia Fu , Jin Li , Shanyong Cai , Chunyu Zhang , Xue Chen

Hybridizing different physical systems or degrees of freedom offers significant advantages for realizing practical, universal, scalable, and fault-tolerant quantum computation (FTQC). Here, we propose optical FTQC schemes with low squeezing…

Quantum Physics · Physics 2025-03-27 Peilin Du

We present the DRYVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph specifying mode switches. The framework includes (a) a…

Systems and Control · Computer Science 2017-02-23 Chuchu Fan , Bolun Qi , Sayan Mitra , Mahesh Viswanathan

We show that open-loop dynamical control techniques may be used to synthesize unitary transformations in open quantum systems in such a way that decoherence is perturbatively compensated for to a desired (in principle arbitrarily high)…

Quantum Physics · Physics 2010-07-20 Kaveh Khodjasteh , Daniel A. Lidar , Lorenza Viola

We present a comprehensive analysis of the dynamic diversity associated with superradiant phase transitions within a one-dimensional tight-binding electronic chain that is intrinsically coupled to a single-mode optical cavity. By employing…

Quantum Physics · Physics 2025-05-12 Xing Su , Jian-Jian Cheng , Lin Zhang

Foundation models have transformed language, vision, and time series data analysis, yet progress on dynamic predictions for physical systems remains limited. Given the complexity of physical constraints, two challenges stand out. $(i)$…

Machine Learning · Computer Science 2026-02-05 Haoran Li , Chenhan Xiao , Lihao Mai , Yang Weng , Erik Blasch

A hybrid digital twin framework is presented for bridge condition monitoring using existing traffic cameras and weather APIs, reducing reliance on dedicated sensor installations. The approach is demonstrated on the Peace Bridge (99 years in…

Artificial Intelligence · Computer Science 2026-03-17 Phani Raja Bharath Balijepalli , Bulent Soykan , Veeraraghava Raju Hasti

Coupling together distinct correlated and topologically non-trivial electronic phases of matter can potentially induce novel electronic orders and phase transitions among them. Transition metal dichalcogenide compounds serve as a bedrock…

The implementation of quantum gates with fidelities that exceed the threshold for reliable quantum computing requires robust gates whose performance is not limited by the precision of the available control fields. The performance of these…

Quantum Physics · Physics 2015-12-30 Alexandre M. Souza , Roberto S. Sarthour , Ivan S. Oliveira , Dieter Suter

Experiments with trapped ions and neutral atoms typically employ optical modulators in order to control the phase, frequency, and amplitude of light directed to individual atoms. These elements are expensive, bulky, consume substantial…

Dephasing -- phase randomization of a quantum superposition state -- is a major obstacle for the realization of high fidelity quantum logic operations. Here, we implement a two-qubit Controlled-NOT gate using dynamical decoupling (DD),…

Quantum Physics · Physics 2013-07-17 Ch. Piltz , B. Scharfenberger , A. Khromova , A. F. Varón , Ch. Wunderlich

We present a formal proof of a time-triggered hardware interface. The design implements the bit-clock synchronization mechanism specified by the FlexRay standard for automotive embedded systems. The design is described at the gate-level. It…

Logic in Computer Science · Computer Science 2011-03-14 Julien Schmaltz

Dynamic digital timing analysis is a promising alternative to analog simulations for verifying particularly timing-critical parts of a circuit. A necessary prerequisite is a digital delay model, which allows to accurately predict the…

Other Computer Science · Computer Science 2023-04-10 Daniel Öhlinger , Ulrich Schmid

We demonstrate that the coherence of a single mobile atomic qubit can be well preserved during a transfer process among different optical dipole traps (ODTs). This is a prerequisite step in realizing a large-scale neutral atom quantum…

A hybrid system is a system whose dynamics are controlled by a mixture of both continuous and discrete transitions. The integrability of Hamiltonian systems is often identified with complete integrability or Liouville integrability, that…

Mathematical Physics · Physics 2024-10-31 Asier López-Gordón , Leonardo J. Colombo

We consider the problem of achieving prescribed-time stability (PT-S) in a class of hybrid dynamical systems that incorporate switching nonlinear dynamics, exogenous inputs, and resets. By "prescribed-time stability", we refer to the…

Optimization and Control · Mathematics 2023-09-01 Daniel E. Ochoa , Nicolas Espitia , Jorge I. Poveda

We experimentally demonstrate a controlled-phase gate for continuous variables in a fully measurement-based fashion. In our scheme, the two independent input states of the gate, encoded in two optical modes, are teleported into a four-mode…

Quantum Physics · Physics 2012-01-30 Ryuji Ukai , Shota Yokoyama , Jun-ichi Yoshikawa , Peter van Loock , Akira Furusawa

Trapped-ion quantum computing can utilize all motional modes of the ion-crystal, to entangle multiple qubits simultaneously, enabling universal computation with multi-qubit gates supplemented by single-qubit rotations. Using multiple tones…

Quantum Physics · Physics 2025-09-19 Yakov Solomons , Yotam Kadish , Lee Peleg , Jonathan Nemirovsky , Amit Ben Kish , Yotam Shapira

The study of controlled hybrid systems requires practical tools for approximation and comparison of system behaviors. Existing approaches to these problems impose undue restrictions on the system's continuous and discrete dynamics.…

Optimization and Control · Mathematics 2015-04-15 Samuel Burden , Humberto Gonzalez , Ramanarayan Vasudevan , Ruzena Bajcsy , S. Shankar Sastry