Related papers: The cocycle identity holds under stopping
We give a simple and direct treatment of the strong convergence of quantum random walks to quantum stochastic operator cocycles, via the semigroup decomposition of such cocycles. Our approach also delivers convergence of the pointwise…
Nonlinear classical dissipative systems present a rich phenomenology in their "route to chaos", including period-doubling, i.e. the system evolves with a period which is twice that of the driving. However, typically the attractor of a…
The classical limit of polymer quantum theories yields a one parameter family of `effective' theories labeled by \lambda. Here we consider such families for constrained theories and pose the problem of taking the `continuum limit', \lambda…
We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the use of so-called barrier certificates. Automata-based…
Credential brokers offer a way to separate identity from access in CI/CD systems. This paper shows how verifiable identities issued at runtime, such as those from SPIFFE, can be used with brokers to enable short-lived, policy-driven…
The halting of universal quantum computers is shown to be incompatible with the constraint of unitarity of the dynamics.
The purpose of this thesis is to give a formal definition of quantum Kolmogorov complexity (QC), and rigorous mathematical proofs of its basic properties. The definition used here is similar to that by Berthiaume, van Dam, and Laplante. It…
We prove analytical results showing that decoherence can be useful for mixing time in a continuous-time quantum walk on finite cycles. This complements the numerical observations by Kendon and Tregenna (Physical Review A 67 (2003), 042315)…
As the second part of a series on linear cocycles over chaotic systems, this paper establishes a "multiple covering principle" that robustly yields positive-entropy ergodic measures supported on fiberwise uniformly bounded orbits. Using…
For a class of coalescing stochastic flows on the real line the existence of dual flows is proved. A stochastic flow and its dual are constructed as a forward and backward perfect cocycles over the same metric dynamical system. The metric…
In this paper we establish a general dynamical Central Limit Theorem (CLT) for group actions which are exponentially mixing of all orders. In particular, the main result applies to Cartan flows on finite-volume quotients of simple Lie…
A theorem is proved to verify incremental stability of a feedback system via a homotopy from a known incrementally stable system. A first corollary of that result is that incremental stability may be verified by separation of Scaled…
A discrete time quantum walk is considered in which the step lengths are chosen to be either $1$ or $2$ with the additional feature that the walker is persistent with a probability $p$. This implies that with probability $p$, the walker…
We investigate the quantum recurrence phenomena in periodically driven systems. We calculate the classical period and the quantum recurrence time and develop their interdependence. We further predict the behavior of the recurrence phenomena…
We study a quantum Otto cycle in which the strokes are performed in finite time. The cycle involves energy measurements at the end of each stroke to allow for the respective determination of work. We then optimize for the work and…
Topology identification comprises reconstructing the interaction Hamiltonian of a quantum network by properly processing measurements of its density operator within a fixed time interval. It finds application in several quantum technology…
We use a first-order energy quantity to prove a strengthened statement of uniqueness for the Ricci flow. One consequence of this statement is that if a complete solution on a noncompact manifold has uniformly bounded Ricci curvature, then…
An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative…
Periodically driven parametric oscillators offer a convenient way to simulate classical Ising spins. When many parametric oscillators are coupled dissipatively, they can be analogous to networks of Ising spins, forming an effective coherent…
Despite its putative robustness, the realization of and control over topological quantum matter is an ongoing grand challenge. Looking forward, robust characterization protocols are needed to first certify topological substrates before they…