Related papers: From contact relations to modal operators, and bac…
It is well known that modal satisfiability is PSPACE-complete (Ladner 1977). However, the complexity may decrease if we restrict the set of propositional operators used. Note that there exist an infinite number of propositional operators,…
We present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar…
The powerful concept of an operator ideal on the class of all Banach spaces makes sense in the real and in the complex case. In both settings we may, for example, consider compact, nuclear, or $2$--summing operators, where the definitions…
We show that the cone associated with a moment map for an action of a torus on a contact compact connected manifold is a convex polyhedral cone and that the moment map has connected fibers provided the dimension of the torus is bigger than…
We show that the class of Metropolis-Rota implication algebras can be given a universal axiomatization using an operation closely related to composition in oriented matroids. Lastly we describe the role of our new operation in the collapse…
We introduce syntactic modal operator $\BOX$ for \textit{being a thesis} into first-order logic. This logic is a modern realization of R. Carnap's old ideas on modality, as logical necessity (J. Symb. Logic, 1946) \cite{Ca46}. We place it…
This paper is about the orbifold theory for vertex operator superalgebras. Given a vertex operator superalgebra V and a finite automorphism group G of V, we show that the trace functions associated to the twisted sectors are holomorphic in…
We develop a categorical and algebro-geometric treatment of localization for cohomological theories endowed with an open--closed recollement. Starting from a class on a space whose restriction to the open complement vanishes, we show that…
Practically and intrinsically, inclusions of operator algebras are of fundamental interest. The subject of this paper is intermediate operator algebras of inclusions. There are two previously known theorems which naturally and completely…
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a semantic environment of various input/output logics. In…
We construct Baxter operators for the homogeneous closed $\mathrm{XXX}$ spin chain with the quantum space carrying infinite or finite dimensional $s\ell_2$ representations. All algebraic relations of Baxter operators and transfer matrices…
Rota-Baxter operators and more generally $\mathcal{O}$-operators play a crucial role in broad areas of mathematics and physics, such as integrable systems, the Yang-Baxter equation and pre-Lie algebras. The main objects of study in the…
An averaging operator on an associative algebra $A$ is an algebraic abstraction of the time average operator on the space of real-valued functions defined in time-space. In this paper, we consider relative averaging operators on a bimodule…
We summarize interactions between vertex operator algebras and number theory through the lens of Zhu theory. The paper begins by recalling basic facts on vertex operator algebras (VOAs) and modular forms, and then explains Zhu's theorem on…
We study tautological classes on the moduli space of stable $n$-pointed hyperelliptic curves of genus $g$ with rational tails. Our result gives a complete description of tautological relations. The method is based on the approach of Yin in…
A modal logic is \emph{non-iterative} if it can be defined by axioms that do not nest modal operators, and \emph{rank-1} if additionally all propositional variables in axioms are in scope of a modal operator. It is known that every…
Coulomb systems in which the particles interact through the $d$-dimensional Coulomb potential but are confined in a flat manifold of dimension $d - 1$ are considered. The Coulomb potential is defined with some boundary condition involving a…
A theorem of Weil and Atiyah says that a holomorphic vector bundle $E$ on a compact Riemann surface $X$ admits a holomorphic connection if and only if the degree of every direct summand of $E$ is zero. Fix a finite subset $S$ of $X$, and…
We provide a combinatorial recipe for constructing all posets of height at most two for which the corresponding type-A Lie poset algebra is contact. In the case that such posets are connected, a discrete Morse theory argument establishes…
This note presents an analysis of a class of operator algebras constructed as cross-sectional algebras of flat holomorphic matrix bundles over a finitely bordered Riemann surface. These algebras are partly inspired by the bundle shifts of…