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

We introduce and study smooth compactifications of the moduli space of n labeled points with weights in projective space, which have normal crossings boundary and are defined as GIT quotients of the weighted Fulton-MacPherson…

We formalize a transfinite Phi process that treats all possibility embeddings as operators on structured state spaces including complete lattices, Banach and Hilbert spaces, and orthomodular lattices. We prove a determinization lemma…

We study the confining/deconfining phase transition in the mass deformed Yang-Mills matrix model which is obtained by the dimensional reduction of the bosonic sector of the four-dimensional maximally supersymmetric Yang-Mills theory…

A connected component labeling algorithm is developed for implicitly-defined domains specified by multivariate polynomials. The algorithm operates by recursively subdividing the constraint domain into hyperrectangular subcells until the…

This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the…

Systems obtained by quotienting a subshift of finite type (SFT) by another SFT are called finitely presented in the literature. Analogously, if a sofic shift is quotiented by a sofic equivalence relation, we call the resulting system…

For a compact Hausdorff space $K$, we give descriptions of the dual of $C(K)^\delta$, the Dedekind completion of the Banach lattice $C(K)$ of continuous, real-valued functions on $K$. We characterize those functionals which are…

In the area of bipedal locomotion, the spring loaded inverted pendulum (SLIP) model has been proposed as a unified framework to explain the dynamics of a wide variety of gaits. In this paper, we present a novel analysis of the mathematical…

For any compactly generated triangulated category we introduce two topological spaces, the shift-spectrum and the shift-homological spectrum. We use them to parametrise a family of thick subcategories of the compact objects, which we call…

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

Since their introduction by Thurston, measured geodesic laminations on hyperbolic surfaces occur in many contexts. In [Mor], we have introduced a notion of flat laminations on surfaces endowed with a half-translation structure (that is a…

We introduce the concept of a "transitory" dynamical system---one whose time-dependence is confined to a compact interval---and show how to quantify transport between two-dimensional Lagrangian coherent structures for the Hamiltonian case.…

Transition systems are often used to describe the behaviour of software systems. If viewed as a graph then, at their most basic level, vertices correspond to the states of a program and each edge represents a transition between states via…

The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…

The phase transition in the mean-field XY model is shown analytically to be related to a topological change in its configuration space. Such a topology change is completely described by means of Morse theory allowing a computation of the…

This work deals with planar dynamical systems with and without noise. In the first part, we seek to gain a refined understanding of such systems by studying their differential-geometric transformation properties under an arbitrary smooth…

Is the dynamical evolution of physical systems objectively a manifestation of information processing by the universe? We find that an affirmative answer has important consequences for the measurement problem. In particular, we calculate the…

The folded node is a singularity associated with loss of normal hyperbolicity in systems where mixtures of slow and fast timescales arise due to singular perturbations. Canards are special solutions that reveal a counteractive feature of…

We develop a symmetry-aware toolkit for finite mixtures whose components are only identifiable up to a finite \emph{folding} group action. The correct estimand is the multiset of parameter orbits in the quotient space, not an ordered list…

Muon ionization cooling involves passing particles through solid or liquid absorbers. Careful simulations are required to design muon cooling channels. New features have been developed for inclusion in the transfer map code COSY Infinity to…