Related papers: Labelled transition systems as a Stone space
This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement over modal transition systems, and the covariant-contravariant simulation and the partial bisimulation…
The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…
Fidelity approach has been widely used to detect various types of quantum phase transitions, including some that are beyond the Landau symmetry breaking theory, in condensed matter models. However, challenges remain in locating the…
This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic…
We analyze in detail, beyond the usual scaling hypothesis, the finite-size convergence of static quantities toward the thermodynamic limit. In this way we are able to obtain sequences of pseudo-critical points which display a faster…
We assess the descriptive complexity of *bisimilarity* or "equality of behavior" on a family of Markov decision processes over uncountable standard Borel spaces, namely *nondeterministic labelled Markov processes* (NLMP). We show that…
A labeled metric space is intuitively speaking a metric space together with a special set of points to be understood as the geometric boundary of the space. We study basic properties of a recently introduced labeled Gromov-Hausdorff…
We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulation that is coarser than the classic bisimulation: it relates…
We investigate a variant of spin ice whose degenerate ground states are densely packed monopole configurations. An applied field drives this model through a Z2 confinement transition. This phase change is a variant of the U(1) Kasteleyn…
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…
This paper revisits soundness and completeness of proof systems for proving that sets of states in infinite-state labeled transition systems satisfy formulas in the modal mu-calculus. Our results rely on novel results in lattice theory,…
We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to modal (dual- and bi-)intuitionistic logics. Our main technical…
Transitions between steady dynamical regimes in diverse applications are often modelled using discontinuities, but doing so introduces problems of uniqueness. No matter how quickly a transition occurs, its inner workings can affect the…
This paper considers systems subject to nonholonomic constraints which are not uniform on the whole configuration manifold. When the constraints change, the system undergoes a transition in order to comply with the new imposed conditions.…
We present an analytical and numerical study of the fluorescence spectra of a bistable driven system by means of Keldysh diagram technique in pseudo--particle representation. The spectra exhibit smooth transition between ultra-quantum and…
This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with time-out transitions. It supports this concept through a modal characterisation, congruence results for a standard process algebra…
Motivated by the unexpected Monte Carlo results as well as the theoretical proposal of a large correction to scaling for the critical theory of the 2-d staggered-dimer spin-1/2 Heisenberg model on the square lattice, we study the phase…
We study quantum phase transitions by measuring the bond energy, the number density, and the half-chain entanglement entropy in the one-dimensional ionic Hubbard model. By performing the infinite density matrix renormalization group with…
We propose a trajectory-based quasiclassical method for approximating dynamics in condensed phase systems. Building upon the previously developed Optimized Mean Trajectory (OMT) approximation that has been used to compute linear and…
Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…