Related papers: Opacity of nondeterministic transition systems: A …
We derive an exact solution of an explicitly time-dependent multichannel model of quantum mechanical nonadiabatic transitions. In the limit N >>1, where N is the number of states, we find that the survival probability of the initially…
Data fusion allows the elaboration and the evaluation of a situation synthesized from low level informations provided by different kinds of sensors. The fusion of the collected data will result in fewer and higher level informations more…
The exact contraction of a generic two-dimensional (2D) tensor network state (TNS) is known to be exponentially hard, making simulation of 2D systems difficult. The recently introduced class of isometric TNS (isoTNS) represents a subset of…
A decade ago, Abdulla, Ben Henda and Mayr introduced the elegant concept of decisiveness for denumerable Markov chains [1]. Roughly speaking, decisiveness allows one to lift most good properties from finite Markov chains to denumerable…
Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence. Probabilistic bisimilarity is…
We analyze the quantum-to-classical transition (QCT) for coupled bipartite quantum systems for which the position of one of the two subsystems is continuously monitored. We obtain the surprising result that the QCT can emerge concomitantly…
We study the fidelity approach to quantum phase transitions (QPTs) and apply it to general thermal phase transitions (PTs). We analyze two particular cases: the Stoner-Hubbard itinerant electron model of magnetism and the BCS theory of…
We propose a protocol to realize fast high-fidelity quantum state transfer between distant optomechanical interfaces connected by a continuum waveguide. The scheme consists of three steps: two accelerating adiabatic processes joined by a…
Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity…
Pushing forward the understanding of general non-unitary dynamics in controlled quantum platforms has been fueled by the recent discovery of measurement-induced phases and phase transitions. So far, these transitions remained largely…
Theoretical analysis of a prototypical two-qubit effective non-Hermitian system characterized by asymmetric Heisenberg $XY$ interactions in the absence of external magnetic fields demonstrates that maximal bipartite entanglement and quantum…
Understanding dissipative and decohering processes is fundamental to the study of quantum systems. An accurate and generic method for investigating these processes is to simulate both the system and environment, which, however, is…
The interest in decoherence-free, or noiseless subsystems (DFS/NSs) of quantum systems is both of fundamental and practical interest. Understanding the invariance of a set of states under certain transformations is mutually associated with…
We establish an intriguing connection between quantum phase transitions and bifurcations in the reduced fidelity between two different reduced density matrices for quantum lattice many-body systems with symmetry-breaking orders. Our finding…
We investigate a two-parametric family of one-dimensional non-Hermitian complex potentials with parity-time ($\mathcal{PT}$) symmetry. We find that there exist two distinct types of phase transitions, from an unbroken phase (characterized…
We construct a multi-observable uncertainty equality as well as an inequality based on the sum of standard deviations in the qubit system. The obtained equality indicates that the uncertainty relation can be expressed more accurately, and…
Tensor network states constitute an important variational set of quantum states for numerical studies of strongly correlated systems in condensed-matter physics, as well as in mathematical physics. This is specifically true for finitely…
We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of configurations. In our model events generated by transitions…
Although nonequilibrium work and fluctuation relations have been studied in detail within classical statistical physics, extending these results to open quantum systems has proven to be conceptually difficult. For systems that undergo…
Simulations of scattering processes are essential in understanding the physics of our universe. Computing relevant scattering quantities from ab initio methods is extremely difficult on classical devices because of the substantial…