Related papers: A Classification of Symbolic Transition Systems
Transfer systems on finite posets have recently been gaining traction as a key ingredient in equivariant homotopy theory. Additionally, they also naturally occur in the data of a model structure. We give a complete characterization of all…
We study transitions between phases of matter with topological order. By studying these transitions in exactly solvable lattice models we show how universality classes may be identified and critical properties described. As a familiar…
In a pedagogical but exhaustive manner, this survey reviews the main results on input-to-state stability (ISS) for infinite-dimensional systems. This property allows estimating the impact of inputs and initial conditions on both the…
In the paper we study the structure of hyperplanes of so called binomial partial Steiner triple systems (BSTS's, in short) i.e. of configurations with $\binom{n}{2}$ points and $\binom{n}{3}$ lines, each line of the size $3$. Consequently,…
We analyze superpositions of ortho- and para-Helium states, considering the possible existence of stationary and metastable states in the system. In particular, the metastable superposition of 1s2s ortho and para states seems to be…
We consider two types of dynamical systems namely non-autonomous discrete dynamical systems(NDDS) and generic dynamical systems(GDS). In both of them, we study various notions of transitivity. We give many equivalent conditions for each of…
Co-existence of different states is a profound concept, which possibly underlies the phase transition and the symmetry breaking. Because of a property inherent to quantum mechanics (cf. uncertainty), the co-existence is expected to appear…
We analyse the topology of the state space of two systems: i) N Ising spins +/-1 with the antiferromagnetic interactions on a triangular lattice, with the condition of minimum of energy, ii) a roundabout of three access roads and three exit…
This paper addresses characterizations of integral input-to-state stability (iISS) for hybrid systems. In particular, we give a Lyapunov characterization of iISS unifying and generalizing the existing theory for pure continuous-time and…
We investigate input-to-state stability (ISS) of infinite-dimensional collocated control systems subject to saturated feedback. Here, the unsaturated closed loop is dissipative and uniformly globally asymptotically stable. Under an…
We consider concurrent systems consisting of a finite but unknown number of components, that are replicated instances of a given set of finite state automata. The components communicate by executing interactions which are simultaneous…
In this paper new $1$-rotational 2-Steiner systems for different admissible $v,k$ pairs are introduced. In particular, $1$-rotational unitals of order $4$ are enumerated.
We introduce a model of vortices in type-II superconductors with a four-fold anisotropy in the vortex-vortex interaction potential. Using numerical simulations we show that the vortex lattice undergoes structural transitions as the…
We discuss the stochastic interpretation of a control system determined by a system of differential equations on a tree. For example, such a system on a finite tree arises after replacing the coefficients of the equation on an interval with…
Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the set of reachable states of a system requires acceleration techniques that can…
An exhaustive classification scheme of topological insulators and superconductors is presented. The key property of topological insulators (superconductors) is the appearance of gapless degrees of freedom at the interface/boundary between a…
The recent discovery of heavy-fermion superconductor UTe$_2$ has broadened the possibility of realizing exotic time-reversal-symmetry-breaking superconductivity. However, a comprehensive understanding of the topological phases in the…
We announce the classification of two related classes of flag-transitive geometries. There is an infinite family of such geometries, related to the nonsplit extensions $3^{[{n\atop 2}]_{_2}}\cdot \SP_{2n}(2)$, and twelve sporadic examples…
In tri-partite systems, there are three basic biseparability, $A$-$BC$, $B$-$CA$ and $C$-$AB$ biseparability according to bipartitions of local systems. We begin with three convex sets consisting of these basic biseparable states in the…
It is found that $15$ different types of two-qubit $X$-states split naturally into two sets (of cardinality $9$ and $6$) once their entanglement properties are taken into account. We {characterize both the validity and entangled nature of…