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

We compactify the moduli stack of maps from curves to certain quotient stacks $\mathcal{X}=[W/G]$ with a projective good moduli space, extending previous results from quasimap theory. For doing so, we introduce a new birational…

We analyze a coupled Cahn-Hilliard-Forchheimer system featuring concentration-dependent mobility, mass source and convective transport. The velocity field is governed by a generalized quasi-incompressible Forchheimer equation with…

The port-Hamiltonian formulation is a powerful method for modeling and interconnecting systems of different natures. In this paper, the port-Hamiltonian formulation in tensorial form of a thick plate described by the Mindlin-Reissner model…

We obtain a complete classification of hypercomplex manifolds, on which a compact group of automorphisms acts transitively. The description of the spaces as well as the proofs of our results use only the structure theory of reductive…

The global coupling of few-level quantum systems ("spins") to a discrete set of bosonic modes is a key ingredient for many applications in quantum science, including large-scale entanglement generation, quantum simulation of the dynamics of…

We say that a finite metric space $X$ can be embedded almost isometrically into a class of metric spaces $C$, if for every $\epsilon > 0$ there exists an embedding of $X$ into one of the elements of $C$ with the bi-Lipschitz distortion less…

Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a finite set of modes. In the past few years several different…

The modified XY model is a variation of the XY model extended by a half periodic term, exhibiting a rich phase structure. As the Goldstone model, also known as the linear O(2) model, can be obtained as a continuum and regular model for the…

We investigate the efficacy of shared purity, a measure of quantum correlation that is independent of the separability-entanglement paradigm, as a quantum phase transition indicator in comparison with concurrence, a bipartite entanglement…

We consider Smale spaces, a particular class of hyperbolic topological dynamical systems, which include the basic sets for Smale's Axiom A systems. We present a homology theory for such systems which is based on the dimension group in the…

We are interested in proving input-output properties of functions that handle infinite data such as streams or non-wellfounded trees. We provide a finitary refinement type system which is (sound and) complete for Scott-open properties…

We prove the validity over $\mathbb{R}$ of a commutative differential graded algebra model of configuration spaces for simply connected closed smooth manifolds, answering a conjecture of Lambrechts--Stanley. We get as a result that the real…

Spin dimer systems are a promising playground for the detailed study of quantum phase transitions. Using the magnetic field as the tuning parameter it is in principle possible to observe a crossover from the characteristic scaling near…

Huerta et al. [Phys. Rev. Research 2, 033351 (2020)] report a power-law decay of positional order in numerical simulations of hard disks confined within hard parallel walls, which they interpret as a Kosterlitz-Thouless-type caging-uncaging…

Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal…

The Kosterlitz-Thouless transition is studied from the representation of the systems's ground state wave functions in terms of Matrix Product States for a quantum system on an infinite-size lattice in one spatial dimension. It is found…

For a generalized Su-Schrieffer-Heeger model the energy zero is always critical and hyperbolic in the sense that all reduced transfer matrices commute and have their spectrum off the unit circle. Disorder driven topological phase…

What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are equivalent when their classifying…

We introduce closed-form transition density expansions for multivariate affine jump-diffusion processes. The expansions rely on a general approximation theory which we develop in weighted Hilbert spaces for random variables which possess…

Stone duality is an indispensable tool for the study of compact, zero-dimensional, Hausdorff spaces. In the case of general compact Hausdorff spaces one can get quite a bit of mileage by considering the `Wallman duality' between compact…