Related papers: Subcentric linking systems
In this paper we revisit two concepts which were originally introduced by Aschbacher and are crucial in the theory of saturated fusion systems: Firstly, we give a new approach to defining the centralizer of a normal subsystem. Secondly, we…
Multiplex networks describe a large variety of complex systems, whose elements (nodes) can be connected by different types of interactions forming different layers (networks) of the multiplex. Multiplex networks include social networks,…
In recent work we have shown how it is possible to define very precise type systems for object-oriented languages by abstractly compiling a program into a Horn formula f. Then type inference amounts to resolving a certain goal w.r.t. the…
The topological classification of gapped band structures depends on the particular definition of topological equivalence. For translation-invariant systems, stable equivalence is defined by a lack of restrictions on the numbers of occupied…
The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…
Hypersemitoric systems are 2-degree-of-freedom integrable systems on 4-dimensional manifolds that have an underlying $S^1$-symmetry and no degenerate singularities apart from maybe a finite number of families of so-called parabolic…
In this paper, we develop the concept of multiple cylinder of relations which is a generalization of the relation cylinder, extending the multiple non-Hausdorff mapping cylinder to sequences of finite T0-spaces linked by a series of…
There are many systems in different subjects such as industry, medicine, transport, social and others, can be discribed on their dynamic of flows. Nowadays models of flows consist of micro- and macro-models. In practice there is a problem…
We classify all (saturated) fusion systems on bicyclic 2-groups. Here, a bicyclic group is a product of two cyclic subgroups. This extends previous work on fusion systems on metacyclic 2-groups (see [Craven-Glesser, 2012] and [Sambale,…
We consider two categories related to symplectic manifolds: 1. Objects are symplectic manifolds and morphisms are symplectic embeddings. 2. Objects are symplectic manifolds endowed with compatible almost complex structure and morphisms are…
The finite set of subsystems of a finite quantum system with variables in ${\mathbb Z}(n)$, is studied as a Heyting algebra. The physical meaning of the logical connectives is discussed. It is shown that disjunction of subsystems is more…
Projected Hartree-Fock theory provides an accurate description of many kinds of strong correlations but does not properly describe weakly-correlated systems. On the other hand, single-reference methods such as configuration interaction or…
Many visual scenes can be described as compositions of latent factors. Effective recognition, reasoning, and editing often require not only forming such compositional representations, but also solving the decomposition problem. One popular…
We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…
This survey gives a short and comprehensive introduction to a class of finite-dimensional integrable systems known as hypersemitoric systems, recently introduced by Hohloch and Palmer in connection with the solution of the problem how to…
For a prime $p$, we describe a protocol for handling a specific type of fusion system on a $p$-group by computer. These fusion systems contain all saturated fusion systems. This framework allows us to computationally determine whether or…
We make some elementary observations concerning subcritically Stein fillable contact structures on 5-manifolds. Specifically, we determine the diffeomorphism type of such contact manifolds in the case the fundamental group is finite cyclic,…
Many networks in real-life typically contain parts in which some nodes are more highly connected to each other than the other nodes of the network. The collection of such nodes are usually called clusters, communities, cohesive groups or…
We formalize the concept of a centralizer-respecting homomorphism, surjective homomorphisms which are equivariant with respect to taking the centralizer of a subgroup. There is a functor from the category of centralizer-respecting…
A paratopological group $G$ has a {\it suitable set} $S$. The latter means that $S$ is a discrete subspace of $G$, $S\cup \{e\}$ is closed, and the subgroup $\langle S\rangle$ of $G$ generated by $S$ is dense in $G$. Suitable sets in…