Related papers: Realizability in OCAs and AKSs
In this work we discuss the elements required for the construction of the operator algebra for the space of paths over a simply laced $SU(3)$ graph. These operators are an important step in the construction of the bialgebra required to find…
We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior…
Recently, in order to broad the application and theoretical areas of rough sets and matroids, some authors have combined them from many different viewpoints, such as circuits, rank function, spanning sets and so on. In this paper, we…
A celebrated 1922 theorem of Kuratowski states that there are at most 14 distinct sets arising from applying the operations of complementation and closure, any number of times, in any order, to a subset of a topological space. In this paper…
The $\mathcal{KS}$ map is revisited in terms of an $S^1$-action in $T^*\mathbb{H}_0$ with the bilinear function as the associated momentum map. Indeed, the $\mathcal{KS}$ transformation maps the $S^1$-fibers related to the mentioned action…
All compact $AC(\sigma)$ operators have a representation analogous to that for compact normal operators. As a partial converse we obtain conditions which allow one to construct a large number of such operators. Using the results in the…
Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…
In this paper, we pursue the discussion of the connections between rational conformal field theories (CFT) and graphs. We generalize our recent work on the relations of operator product algebra (OPA) structure constants of $sl(2)\,$…
Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely…
The concept of complementability is extended from bounded operators to densely defined operators on Hilbert spaces. By introducing appropriate projections and decomposition techniques, a framework is developed for analyzing…
We generalise clones, which are sets of functions $f:A^n \rightarrow A$, to sets of mappings $f:A^n \rightarrow A^m$. We formalise this and develop language that we can use to speak about it. We then look at bijective mappings, which have…
A dynamical map is a map which takes one density operator to another. Such a map can be written in an operator-sum representation (OSR) using a spectral decomposition. The method of the construction applies to more general maps which need…
A kind of combinatorial map, called arrow presentation, is proposed to encode the data of the oriented closed polyhedral complexes $\Sigma$ on which the Hopf algebraic Kitaev model lives. We develop a theory of arrow presentations which…
This paper is an introduction to a series of papers in which we give combinatorial models for certain important operads (including A-infinity and E-infinity operads, the little n-cubes operads, and the framed little disks operad) and…
An operator system $\cl S$ with unit $e$, can be viewed as an Archimedean order unit space $(\cl S,\cl S^+,e)$. Using this Archimedean order unit space, for a fixed $k\in \bb N$ we construct a super k-minimal operator system OMIN$_k(\cl S)$…
We study the complexity of closure operators, with applications to machine learning and decision theory. In machine learning, closure operators emerge naturally in data classification and clustering. In decision theory, they can model…
In this paper, we characterize complementable operators and provide more precise expressions for the Schur complement of these operators using a single Douglas solution. We demonstrate the existence of subspaces where the given operator is…
A closure operator on a set $X$ is a function $\operatorname{cl}: \wp(X) \to \wp(X)$ satisfying, for all $A, B \subseteq X$, the following properties: extensivity, $A \subseteq \operatorname{cl}(A)$; monotonicity, which states that if $A…
We extend the theory of decomposable maps by giving a detailed description of k-positive maps. A relation between transposition and modular theory is established. The structure of positive maps in terms of modular theory (the generalized…
This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher…