Related papers: Model-Checking Linear-Time Properties of Quantum S…
To study quantum computation, it might be helpful to generalize structures from language and automata theory to the quantum case. To that end, we propose quantum versions of finite-state and push-down automata, and regular and context-free…
Inspired by biological molecular machines we explore the idea of an active quantum robot whose purpose is delaying decoherence. A conceptual model capable of partially protecting arbitrary logical qubit states against single physical qubit…
The complex Hilbert space of standard quantum mechanics may be treated as a real Hilbert space. The pure states of the complex theory become mixed states in the real formulation. It is then possible to generalize standard quantum mechanics,…
Model checking temporal properties of software is algorithmically hard. To be practically feasible, it usually requires the creation of simpler, abstract models of the software, over which the properties are checked. However, creating…
Changing some of its parameters over time is a paradigmatic way of driving an otherwise isolated many-body quantum system out of equilibrium, and a vital ingredient for building quantum computers and simulators. Here, we further develop a…
Modern quantum engineering techniques enabled successful foundational tests of quantum mechanics. Yet, the universal validity of quantum postulates is an open question. Here we propose a new theoretical framework of Q-data tests, which…
We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In…
The question of whether quantum real-time one-counter automata (rtQ1CAs) can outperform their probabilistic counterparts has been open for more than a decade. We provide an affirmative answer to this question, by demonstrating a…
This paper surveys some recent results on the theory of quantum linear systems and presents them within a unified framework. Quantum linear systems are a class of systems whose dynamics, which are described by the laws of quantum mechanics,…
A quantum mechanical theory is proposed which abandons an external parameter ``time'' in favor of a self-adjoint operator on a Hilbert space whose elements represent measurement events rather than system states. The standard quantum…
Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean $\omega$-automata. Despite…
This paper considers a generalization of the notion of quantum observables in ontological models of quantum mechanics. Within this framework it is possible to construct physical models where quantum noncommutativity can arise dynamically.…
As ultracold atom experiments become highly controlled and scalable quantum simulators, they require sophisticated control over high-dimensional parameter spaces and generate increasingly complex measurement data that need to be analyzed…
This work develops a measurement-driven and model-based formal verification approach, applicable to systems with partly unknown dynamics. We provide a principled method, grounded on reachability analysis and on Bayesian inference, to…
This paper concerns with the time-reversal characteristics of intrinsic normal diffusion in quantum systems. Time-reversible properties are quantified by the time-reversal test; the system evolved in the forward direction for a certain…
Universality of quantum mechanics -- its applicability to physical systems of quite different nature and scales -- indicates that quantum behavior can be a manifestation of general mathematical properties of systems containing…
The random matrix ensembles are applied to the quantum statistical two-dimensional systems of electrons. The quantum systems are studied using the finite dimensional real, complex and quaternion Hilbert spaces of the eigenfunctions. The…
This paper considers the problem of identifying the parameters of an uncertain linear system by means of feedback control. The problem is approached by considering time-varying controllers. It is shown that even when the uncertainty set is…
Understanding and controlling engineered quantum systems is key to developing practical quantum technology. However, given the current technological limitations, such as fabrication imperfections and environmental noise, this is not always…
In analogy with conventional quantum mechanics, non-commutative quantum mechanics is formulated as a quantum system on the Hilbert space of Hilbert-Schmidt operators acting on non-commutative configuration space. It is argued that the…