Related papers: Labelled transition systems as a Stone space
We investigate projections to odometers (group rotations over adic groups) of topological invertible dynamical systems with discrete time and compact Hausdorff phase space. For a dynamical system $(X, f)$ with a compact phase space we…
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge…
In this work, we are interested in characterizing typical (generic) dimensional properties of invariant measures associated with the full-shift system, $T$, in a product space whose alphabet is a perfect and separable metric space (thus,…
Wasserstein barycenters provide a principled approach for aggregating probability measures, while preserving the geometry of their ambient space. Existing discrete methods are not scalable as they assume access to the complete set of…
According to the Belinski-Khalatnikov-Lifshitz conjecture, close to a spacelike singularity different spatial points decouple, and the dynamics can be described in terms of the Mixmaster (vacuum Bianchi IX) model. In order to understand the…
The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical Computer Science: - Domain Theory, the mathematical theory of computation introduced by Scott as a foundation for…
Quantum kinetically constrained models can exhibit a wealth of dynamical phenomena ranging from anomalous transport to Hilbert-space fragmentation (HSF). We study a class of one-dimensional particle number conserving systems where particle…
Embedded random matrix ensembles are generic models for describing statistical properties of finite isolated interacting quantum many-particle systems. For the simplest spinless systems, with say $m$ particles in $N$ single particle states…
A construction of integrable hamiltonian systems associated with different graded realizations of untwisted loop algebras is proposed. Such systems have the form of Euler - Arnold equations on orbits of loop algebras. The proof of…
An efficient approach to calculate approximate pure-state and transition reduced density matrices in the framework of the multireference relativistic Fock-space coupled cluster (FS CC) theory is proposed. The method is based on the…
A mathematically and physically sound three-degree-of-freedom dynamical model that emulates low- to high-confinement mode (L--H) transitions is elicited from a singularity theory critique of earlier fragile models. We construct a smooth map…
In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other…
Training deep neural networks (DNNs) in the presence of noisy labels is an important and challenging task. Probabilistic modeling, which consists of a classifier and a transition matrix, depicts the transformation from true labels to noisy…
We study genericity of dynamical properties in the space of homeomorphisms of the Cantor set and in the space of subshifts of a suitably large shift space. These rather different settings are related by a Glasner-King type correspondence:…
An effective Hamiltonian describing fluctuation effects in the magnetic phases of the Hubbard model in terms of spinon excitations is derived. A comparison of spin-rotational Kotliar-Ruckenstein slave boson and Ribeiro-Wen dopon…
We present a semi-supervised fine-tuning framework for foundation models that utilises mutual information decomposition to address the challenges of training for a limited amount of labelled data. Our approach derives two distinct lower…
Regularity properties of the pressure are related to phase transitions. In this article we study thermodynamic formalism for systems defined in non-compact phase spaces, our main focus being countable Markov shifts. We produce metric…
The higher-order pi-calculus is an extension of the pi-calculus to allow communication of abstractions of processes rather than names alone. It has been studied intensively by Sangiorgi in his thesis where a characterisation of a contextual…
First, we extend Leifer-Milner RPO theory, by giving general conditions to obtain IPO labelled transition systems (and bisimilarities) with a reduced set of transitions, and possibly finitely branching. Moreover, we study the weak variant…
We extend Yosida's 1941 version of Stone-Gelfand duality to metrically complete unital lattice-ordered groups that are no longer required to be real vector spaces. This calls for a generalised notion of compact Hausdorff space whose points…