Related papers: Labelled transition systems as a Stone space
The purpose of this work is to build a framework that allows for an in-depth study of various generalisations to inhomogeneous space of models of Borodin-Ferrari, Dieker-Warren, Nordenstam, Warren-Windridge of interacting particles in…
We introduce entropic measures to quantify non-classical resource in hybrid spin-boson systems. We discuss the stabilizer R\'enyi entropy in the framework of phase space quantisation and define an analogous hybrid magic entropy and a mutual…
A parametrized double-well potential is proposed to address the issue of the impact of shape deformability of some bistable physical systems, on their quantum dynamics and classical statistical mechanics. The parametrized double-well…
A {\it dynamical system\/} is a pair $(X,\langle T_s\rangle_{s\in S})$, where $X$ is a compact Hausdorff space, $S$ is a semigroup, for each $s\in S$, $T_s$ is a continuous function from $X$ to $X$, and for all $s,t\in S$, $T_s\circ…
We study a model of two-dimensional classical dimers on the square lattice with strong geometric constraints (there is exactly one bond with the nearest point for every point in the lattice). This model corresponds to the quantum dimer…
To develop IoT and/or CSP systems, we need consider both continuous data from physical world and discrete data in computer systems. Such a system is called a hybrid system. Because of density of continuous data, it is not easy to do…
We study ground-state quantum entanglement in the one-dimensional Bose-Hubbard model in the presence of a harmonic trap. We focus on two transitions that occur upon increasing the characteristic particle density: the formation of a…
A general relation between quantum phase transitions and the second derivative of the fidelity (or the "fidelity susceptibility") is proposed. The validity and the limitation of the fidelity susceptibility in characterizing quantum phase…
A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be reasoned about (probabilistic, cyber-physical, etc.), the focus shifted to…
In this paper, we investigate signatures of topological phase transitions in interacting systems. We show that the key signature is the existence of a topologically protected level crossing, which is robust and sharply defines the…
Using a supervised neural network (NN) trained once on a one-dimensional lattice of 200 sites, we calculate the Berezinskii--Kosterlitz--Thouless phase transitions of the two-dimensional (2D) classical $XY$ and the 2D generalized classical…
We develop a novel approach to phase transitions in quantum spin models based on a relation to their classical counterparts. Explicitly, we show that whenever chessboard estimates can be used to prove a phase transition in the classical…
The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic $\vDash_{\Delta}$ associated with an infinitary variety $\Delta$ and show…
A mass-conservative high-order unfitted finite element method for convection-diffusion equations in evolving domains is proposed. The space-time method presented in [P. Hansbo, M. G. Larson, S. Zahedi, Comput. Methods Appl. Mech. Engrg. 307…
Smooth entropies are a tool for quantifying resource trade-offs in (quantum) information theory and cryptography. In typical bi- and multi-partite problems, however, some of the sub-systems are often left unchanged and this is not reflected…
We discuss how to locate critical points in the Berezinskii-Kosterlitz-Thouless (BKT) universality class by means of gap-scaling analyses. While accurately determining such points using gap extrapolation procedures is usually challenging…
In the first part of this paper, we establish a conditional optimality result for an adaptive mixed finite element method for the stationary Stokes problem discretized by the standard Taylor-Hood elements, under the assumption of the…
In this article, we discuss the stability of soft quasicrystalline phases in a coupled-mode Swift-Hohenberg model for three-component systems, where the characteristic length scales are governed by the positive-definite gradient terms.…
In this paper, for a given sequentially Yoneda-complete T_1 quasi-metric space (X,d), the domain theoretic models of the hyperspace K_0(X) of nonempty compact subsets of (X,d) are studied. To this end, the $\omega$-Plotkin domain of the…
As the volume of digital image data increases, the effectiveness of image classification intensifies. This study introduces a robust multi-label classification system designed to assign multiple labels to a single image, addressing the…