Related papers: Modal operators for meet-complemented lattices
The theory of one-sided $M$-ideals and multipliers of operator spaces is simultaneously a generalization of classical $M$-ideals, ideals in operator algebras, and aspects of the theory of Hilbert $C^*$-modules and their maps. Here we give a…
We study approximations of compact linear multivariate operators defined over Hilbert spaces. We provide necessary and sufficient conditions on various notions of tractability. These conditions are mainly given in terms of sums of certain…
Previous works by Gor\'e, Postniece and Tiu have provided sound and cut-free complete proof systems for modal logics extended with path axioms using the formalism of nested sequent. Our aim is to provide (i) a constructive cut-elimination…
We define a convenient $\infty$-operad parametrizing modules over commutative algebras in $\infty$-categories.
In this paper we study the Weihrauch complexity of projection operators onto closed subsets of the Euclidean space. We show that some fundamental degrees of the Weihrauch lattice can be characterized in terms of such operators.
We give conditions when not necessarily adjointable operators between Hilbert modules allow for a polar decomposition involving not necessarily adjointable partial isometries. While the latter have been introduced and discussed by Shalit…
In this paper necessary conditions and sufficient conditions are given for a linear operator to be a positive operators of an Extended Lorentz cone. Similarities and differences with the positive operators of Lorentz cones are investigated.
Differential constraints compatible with the linearized equations of partial differential equations are examined. Recursion operators are obtained by integrating the differential constraints.
A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have…
In the present paper, we introduce and investigate the multiplicative order compact operators from vector lattices to $l$-algebras. A linear operator $T$ from a vector lattice $X$ to an $l$-algebra $E$ is said to be $\mathbb{omo}$-compact…
Using the operators of taking upper and lower cones in a poset with a unary operation, we define operators M(x,y) and R(x,y) in the sense of multiplication and residuation, respectively, and we show that by using these operators, a general…
Operator matrices have played a significant role in studying Hilbert space operators. In this paper, we discuss further properties of operator matrices and present new estimates for the operator norms and numerical radii of such operators.…
The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too…
Continuing earlier investigations, we analyze the convergence of operator splitting procedures combined with spatial discretization and rational approximations.
We present maximality results in the setting of non necessarily bounded operators. In particular, we discuss and establish results showing when the "inclusion" between operators becomes a full equality.
We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsemimodules and posets of splitting subsemimodules and…
We consider finite-dimensional nonlinear systems with linear part described by a parity-time (PT-) symmetric operator. We investigate bifurcations of stationary nonlinear modes from the eigenstates of the linear operator and consider a…
We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.
In this work we address the classical problem of classifying tuples of linear operators and linear functions on a finite dimensional vector space up to base change. Having adopted for the situation considered a construction of framed moduli…
We introduce a concept of multiplicity lattices of 2-multiarrangements, determine the combinatorics and geometry of that lattice, and give a criterion and method to construct a basis for derivation modules effectively.