Related papers: Roughness in BO/BH/Z-ALGEBRA
We propose a new framework that generalizes the parameters of neural network models to $C^*$-algebra-valued ones. $C^*$-algebra is a generalization of the space of complex numbers. A typical example is the space of continuous functions on a…
Various notions of joint majorization are examined in continuous matrix algebras. The relative strengths of these notions are established via proofs and examples. In addition, the closed convex hulls of joint unitary orbits are completely…
Hom-algebras over a PROP are defined and studied. Several twisting constructions for Hom-algebras over a large class of PROPs are proved, generalizing many such results in the literature. Partial classification of Hom-algebras over a PROP…
The Hodge theory of complex algebraic varieties is at heart a transcendental comparison of two algebraic structures. We survey the recent advances bounding this transcendence, mainly due to the introduction of o- minimal geometry as a…
Covering-based rough set theory is an extension to classical rough set. The main purpose of this paper is to study covering rough sets from a topological point of view. The relationship among upper approximations based on topological spaces…
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools. The project includes formal…
Rigid, hard and soft problems and results in arithmetic geometry are presented. "Soft" and "hard" in our paper are limited to the framework of solutions of quadratic forms over rings of integers of local and global fields, the…
In this paper, we investigate the rigidity problems for geometric ideals in uniform Roe algebras associated to discrete metric spaces of bounded geometry. These ideals were introduced by Chen and Wang, and can be fully characterised in…
In algebraic geometry specialisations and valuations play and important role. In this paper we start investigating analogous structures for Zariski structures. Specifically, we look into the existence and uniqueness properties of extensions…
We generalize all known results on rigidity of uniform Roe algebras to the setting of arbitrary uniformly locally finite coarse spaces. For instance, we show that isomorphism between uniform Roe algebras of uniformly locally finite coarse…
Square root is a useful tool to study the properties of (ordered) algebraic structures. In this article, we are going to employ this tool to study hoop algebras. To do so, we define square root and make the first attempt to explore the…
The main purpose of this paper is to study the lattice structure of variable precision rough sets. The notion of variation in precision of rough sets have been further extended to variable precision rough set with variable classification…
In this paper, we show how one can view certain models in regularity structures as some form of geometric rough paths. This is performed by identifying the deformed Butcher-Connes-Kreimer Hopf algebra with a quotient of the shuffle Hopf…
We define the weak-normalization and the seminormalization of a real algebraic variety relative to its central locus. The study is related to the properties of the rings of continuous rational functions and hereditarily rational functions…
After the first heuristic ideas about `the field of one element' F_1 and `geometry in characteristics 1' (J.~Tits, C.~Deninger, M.~Kapranov, A.~Smirnov et al.), there were developed several general approaches to the construction of…
Theory of representations of universal algebra is a natural development of the theory of universal algebra. Morphism of the representation is the map that conserve the structure of the representation. Exploring of morphisms of the…
We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…
Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…
In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general…
The method of refined algebraic quantization of constrained systems which is based on modification of the inner product of the theory rather than on imposing constraints on the physical states is generalized to the case of constrained…