Related papers: Contact join-semilattices
We lay the foundations of convex hypersurface theory in contact topology, extending the work of Giroux in dimension three. Specifically, we prove that any closed hypersurface in a contact manifold can be $C^0$-approximated by a convex one.…
Many interesting examples of operator algebras, both self-adjoint and non-self-adjoint, can be constructed from directed graphs. In this survey, we overview the construction of $C^*$-algebras from directed graphs and from two…
We introduce a notion of strong proximity join-semilattice, a predicative notion of continuous lattice which arises as the Karoubi envelop of the category of algebraic lattices. Strong proximity join-semilattices can be characterised by the…
This is an account of the theory of JSJ decompositions of finitely generated groups, as developed in the last twenty years or so. We give a simple general definition of JSJ decompositions (or rather of their Bass-Serre trees), as maximal…
In this paper we propose an algebraic formalization of connectors in the quantitative setting, in order to address their non-functional features in architectures of component-based systems. We firstly present a weighted Algebra of…
Convex semilattices are algebras that are at the same time a convex algebra and a semilattice, together with a distributivity axiom. These algebras have attracted some attention in the last years as suitable algebras for probability and…
Let S be the Stone space of a complete, non-atomic Boolean algebra. Let G be a countably infinite group of homeomorphisms of S. Let the action of G on S have a free dense orbit. Then we prove that, on a generic subset of S, the orbit…
We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J\'onsson admit, in place…
In this study we follow a new framework for the theory that offers us, other than traditional, a new angle to observe and investigate some relations between finite sets, F-lattice L and their elements. The theory is based on the Fuzzy…
A lattice is a partially ordered set supporting a meet (or join) operation that returns the largest lower bound (smallest upper bound) of two elements. Just like graphs, lattices are a fundamental structure that occurs across domains…
We investigate relations on elements in C*-algebras, including *-polynomial relations, order relations and all relations that correspond to universal C*-algebras. We call these C*-relations and define them axiomatically. Within these are…
We develop a unified geometric framework for dissipative mechanical systems based on uniform $q$-contact manifolds, which provide an extended phase space equipped with multiple contact $1$-forms. Within this setting, we construct both…
Based on the vertex-face correspondence, we give an algebraic analysis formulation of correlation functions of the $k\times k$ fusion eight-vertex model in terms of the corresponding fusion SOS model. Here $k\in Z_{>0}$. A general formula…
A $n$-dimensional Lie algebra $g=(V,\mu)$ is called $2$-compatible if it is isomorphic to a quadratic deformation of a Lie algebra $g_0=(V,\mu_0)$. By quadratic deformation we means a formal deformation $\mu_t=\mu_0+t\varphi_1+t^2\varphi_2$…
The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…
In this paper, we show that the lattice of C*-covers of a non-selfadjoint operator algebra is either one point or uncountable. We prove that there are non-selfadjoint operator algebras with a one-point lattice in two ways: as an explicit…
The algebraic approach to the Constraint Satisfaction Problem (CSP) uses high order symmetries of relational structures -- polymorphisms -- to study the complexity of the CSP. In this paper we further develop one of the methods the…
In this paper we study ideas which have proved useful in topological network theory in the context of lattices of numbers. A number lattice $L_S$ is a collection of row vectors, over $\mathbb{Q}$ on a finite column set $S,$ generated by…
The contact values $g_{ij}(\sigma_{ij})$ of the radial distribution functions of a $d$-dimensional mixture of (additive) hard spheres are considered. A `universality' assumption is put forward, according to which…
Systems of partial differential equations which appear in classical field theories can be studied geometrically using different geometrical structures, for example, k-symplectic geometry, k-cosymplectic geometry, multisymplectic geometry,…