Related papers: Faithful Dynamic Timing Analysis of Digital Circui…
The verification of cyber-physical systems operating in a safety-critical environment requires formal system models. The validity of the verification hinges on the precision of the model: possible behavior not captured in the model can…
Individual neutral atoms excited to Rydberg states are a promising platform for quantum simulation and quantum information processing. However, experimental progress to date has been limited by short coherence times and relatively low gate…
We present an entangling gate scheme for trapped-ion chains that achieves high-fidelity operations with excited motional states despite multiple error sources. Our approach incorporates all relevant motional modes and exhibits enhanced…
This work investigates the transient and dynamical behavior of hybrid AC/DC systems using dual-port grid-forming (GFM) control. A generalized modeling framework for hybrid AC/DC networks is first introduced that accounts for converter,…
We introduce the Composable Involution Delay Model (CIDM) for fast and accurate digital simulation. It is based on the Involution Delay Model (IDM) [F\"ugger et al., IEEE TCAD 2020], which has been shown to be the only existing candidate…
Methods of optimal control are applied to a model system of interacting two-level particles (e.g., spin-half atomic nuclei or electrons or two-level atoms) to produce high-fidelity quantum gates while simultaneously negating the detrimental…
Quantum holonomic gates hold built-in resilience to local noises and provide a promising approach for implementing fault-tolerant quantum computation. We propose to realize high-fidelity holonomic $(N+1)$-qubit controlled gates using…
Conditional multi-qubit gates are a key component for elaborate quantum algorithms. In a recent work, Rasmussen et al. (Phys. Rev. A 101, 022308) proposed an efficient single-step method for a prototypical multi-qubit gate, a Toffoli gate,…
The time-dependent Hartree-Fock (TDHF) method is an approach to simulate the mean field dynamics of electrons within the assumption that the electrons move independently in their self-consistent average field and within the space of single…
Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challenge by introducing an approach for adapting probabilistic…
Developing embodied AI for intelligent surgical systems requires safe, controllable environments for continual learning and evaluation. However, safety regulations and operational constraints in operating rooms (ORs) limit agents from…
We introduce a novel scheme that combines phonon-mediated quantum logic gates in trapped ions with the benefits of continuous dynamical decoupling. We demonstrate theoretically that a strong driving of the qubit decouples it from external…
This article aims to study coupled mean-field equation and ODEs with discrete events motivated by vehicular traffic flow. Precisely, multi-lane traffic flow in presence of human-driven and autonomous vehicles is considered, with the…
Moir\'e transition metal dichalcogenide (TMD) systems provide a tunable platform for studying electron-correlation driven quantum phases. Such phases have so far been found at rational fillings of the moir\'e superlattice, and it is…
Trapped ions provide a platform for quantum technologies that offers long coherence times and high degrees of scalability and controllability. Here, we use this platform to develop a realistic model of a thermal device consisting of two…
Decoherence-Free Subsystems (DFS) are a powerful means of protecting quantum information against noise with known symmetry properties. Although Hamiltonians theoretically exist that can implement a universal set of logic gates on DFS…
Reactive metal electrodes (Nb, Ti, Cr, Ta, and Hf) are shown to play an important role in controlling the volatile switching characteristics of metal/Nb2O5/Pt devices. In particular, devices are shown to exhibit stable threshold switching…
Time-dependent frequency harmonic oscillators (TDFHO's) are studied through the theory of Lie systems. We show that they are related to a certain kind of equations in the Lie group SL(2,R). Some integrability conditions appear as conditions…
Trapped-ion systems are one of the leading platforms for quantum information processing, where a key challenge is to scale up system size while maintaining high-fidelity two-qubit operations. A promising approach is to build…
Hybrid qubit-qumode quantum computing platforms provide a natural setting for simulating interacting bosonic quantum field theories. However, existing continuous-variable gate constructions rely predominantly on polynomial functions of…