相关论文: Labelled transition systems as a Stone space

A cuf space (set, resp.) is a space (set, resp.) which is a countable union of finite subspaces (subsets, resp.). It is proved in $\mathbf{ZF}$ (with the absence of the axiom of choice) that all countable unions of cuf (denumerable, resp.)…

We develop a general framework to calculate the many-body density of states (DOS) of isolated and interacting quantum systems. Based on the generalized coherent state formalism and the Simon-Lieb bounds for a quantum partition function, our…

This work introduces and rigorously analyzes a novel operator-splitting finite element scheme for approximating viscosity solutions of a broad class of constrained second-order partial differential equations. By decoupling the primary PDE…

We examine thermodynamic formalism for a class of renormalizable dynamical systems which in the symbolic space is generated by the Thue-Morse substitution, and in complex dynamics by the Feigenbaum-Coullet-Tresser map. The basic question…

In contrast to the usual Lipschitz seminorms associated to ordinary metrics on compact spaces, we show by examples that Lipschitz seminorms on possibly non-commutative compact spaces are usually not determined by the restriction of the…

Using the mapping of the Fokker-Planck description of classical stochastic dynamics onto a quantum Hamiltonian, we argue that a dynamical glass transition in the former must have a precise definition in terms of a quantum phase transition…

In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from…

We study equivariant localization formulas for phase space path integrals when the phase space is a multiply connected compact Riemann surface. We consider the Hamiltonian systems to which the localization formulas are applicable and show…

We show that, near periodic orbits, a class of hybrid models can be reduced to or approximated by smooth continuous-time dynamical systems. Specifically, near an exponentially stable periodic orbit undergoing isolated transitions in a…

We present a unified framework for the quantization of a family of discrete dynamical systems of varying degrees of "chaoticity". The systems to be quantized are piecewise affine maps on the two-torus, viewed as phase space, and include the…

We study the Hausdorff and the box dimensions of closed invariant subsets of the space of pointed trees, equipped with a pseudogroup action. This pseudogroup dynamical system can be regarded as a generalization of a shift space. We show…

Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…

In an N-level quantum mechanical system, the problem of unitary feedback stabilization of mixed density operators to periodic orbits admits a natural Lyapunov-based time-varying feedback design. A global description of the domain of…

We present a formalism of the transition matrix Monte Carlo method. A stochastic matrix in the space of energy can be estimated from Monte Carlo simulation. This matrix is used to compute the density of states, as well as to construct…

In this paper, we address the phase space formulation of the Jaynes-Cummings model through the explicit construction of the full Wigner function for a hybrid bipartite quantum system composed of a two-level atom and a quantized coherent…

We introduce a sound and complete coinductive proof system for reachability properties in transition systems generated by logically constrained term rewriting rules over an order-sorted signature modulo builtins. A key feature of the…

The Stone-von Neumann Theorem is a fundamental result which unified the competing quantum mechanical models of matrix mechanics and wave mechanics. It's mechanism of proof ultimately involved the study of unitary group representations on a…

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this…

We apply the generalized Wigner function formalism to detect and characterize a range of quantum phase transitions in several cyclic, finite-length, spin-$\frac{1}{2}$ one-dimensional spin-chain models, viz., the Ising and anisotropic $XY$…

Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted…