Related papers: On the accuracy of the state space restriction app…
One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively…
We describe an efficient numerical method for simulating the dynamics of interacting spin ensembles in the presence of dephasing and decay. The method builds on the discrete truncated Wigner approximation for isolated systems, which…
The ability to construct a realistic simulator of financial exchanges, including reproducing the dynamics of the limit order book, can give insight into many counterfactual scenarios, such as a flash crash, a margin call, or changes in…
Spin squeezed states provide a seminal example of how the structure of quantum mechanical correlations can be controlled to produce metrologically useful entanglement. Such squeezed states have been demonstrated in a wide variety of…
Computer experiments have become ubiquitous in science and engineering. Commonly, runs of these simulations demand considerable time and computing, making experimental design extremely important in gaining high quality information with…
We consider linear model reduction in both the control and state variables for unconstrained linear-quadratic optimal control problems subject to time-varying parabolic PDEs. The first-order optimality condition for a state-space reduced…
We have characterized spin-squeezed states produced at a temperature of $26^\circ{\mathrm C}$ on a Nuclear Magnetic Resonance (NMR) quadrupolar system. The implementation is carried out in an ensemble of $^{133}$Cs nuclei with spin $I=7/2$…
Bound-state solutions are obtained numerically in the instantaneous approximation for a spin-0 and spin-1/2 constituent that interact via minimal electrodynamics. To solve the integral equations in momentum space, a method is developed for…
In recent years, several algorithms for system identification with neural state-space models have been introduced. Most of the proposed approaches are aimed at reducing the computational complexity of the learning problem, by splitting the…
We apply the time-dependent local-spin-density approximation as general theory to describe ground states and spin-density oscillations in the linear response regime of two-dimensional nanostructures of arbitrary shape. For this purpose, a…
Alkali metal-noble gas NMR gyroscope is widely used for precision rotation measurement in fundamental and applied physics. By numerically simulating the alkali-nuclear-nuclear tri-spin dynamics, we investigate the dependence of gyroscope…
Despite the tremendous success of Reinforcement Learning (RL) algorithms in simulation environments, applying RL to real-world applications still faces many challenges. A major concern is safety, in another word, constraint satisfaction.…
Quadruped mammals coordinate spinal bending and axial compression to enhance locomotion agility and efficiency. However, existing robotic spines typically lack the active compliance required to support such dynamic behaviours. We present…
We demonstrate the creation of entangled, spin-squeezed states using a collective, or joint, measurement and real-time feedback. The pseudospin state of an ensemble of $N= 5\times 10^4$ laser-cooled $^{87}$Rb atoms is deterministically…
We survey an area of recent development, relating dynamics to theoretical computer science. We discuss the theoretical limits of simulation and computation of interesting quantities in dynamical systems. We will focus on central objects of…
We investigate a quantum dynamical entropy of one-dimesional quantum spin systems. We show that the dynamical entropy is bounded from above by a quantity which is related with group velocity determined by the interaction and mean entropy of…
We present a method for performing atomistic spin dynamic simulations. A comprehensive summary of all pertinent details for performing the simulations such as equations of motions, models for including temperature, methods of extracting…
Stochastic master equations are often used to describe conditional spin squeezing of atomic ensemble, but are limited so far to the systems with few atoms due to the exponentially increased Hilbert space. In this article, we present an…
In the Demand Strip Packing problem (DSP), we are given a time interval and a collection of tasks, each characterized by a processing time and a demand for a given resource (such as electricity, computational power, etc.). A feasible…
We consider nearly-integrable Hamiltonian systems defined over a non-resonant domain. In the neighborhood of resonances, we use Nekhoroshev-like estimates to provide effective stability bounds for the action variables over long time. The…