Related papers: Matrix-ordered Duals of Operator Systems and Proje…

Over a closed manifold, we consider the sectorial projection of an elliptic pseudo-differential operator A of positive order with two rays of minimal growth. We show that it depends continuously on A when the space of pseudo-differential…

We show that various combinatorial invariants of matroids such as Chow rings and Orlik--Solomon algebras may be assembled into "operad-like" structures. Specifically, one obtains several operads over a certain Feynman category which we…

Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these…

For a given C*-algebra $\mathcal{A}$, we establish the existence of maximal and minimal operator $\mathcal{A}$-system structures on an AOU $\mathcal{A}$-space. In the case $\mathcal{A}$ is a W*-algebra, we provide an abstract…

The aim of this paper is twofold: First we classify all abstract light dual multinets of order $6$ which have a unique line of length at least two. Then we classify the weak projective embeddings of these objects in projective planes over…

We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial…

Let A be a finite-dimensional associative algebra and $\phi$ a symmetric linear function on $A$. In this note, we will show that the pseudotrace maps are obtained as special cases of well-known symmetric linear functions on the endomorphism…

It is well known that two finite sequences of vectors in inner product spaces are unitarily equivalent if and only if their respective inner products (Gram matrices) are equal. Here we present a corresponding result for the projective…

Using linear functional-based duality of modules, we generalize the syndrome decoding algorithm of linear codes over finite fields to those over finite commutative rings. Moreover, If the ring is local the algorithm is simplified by…

In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…

In this paper, it is shown that the projectivity of a rational module for an infinitesimal unipotent group scheme over an algebraically closed field of positive characteristic can be detected on a family of closed subgroups.

The present paper is devoted to the boundedness of fractional integral operators in Morrey spaces defined on quasimetric measure spaces. In particular, Sobolev, trace and weighted inequalities with power weights for potential operators are…

We give a purely category-theoretic proof of the result of Makkai and Par\'e saying that the category $\bf Lin$ of linearly ordered sets and order preserving injective mappings is a minimal finitely accessible category. We also discuss the…

Ordered, linear, and other substructural type systems allow us to expose deep properties of programs at the syntactic level of types. In this paper, we develop a family of unary logical relations that allow us to prove consequences of…

We characterize inclusions of compact noncommutative convex sets with the property that every continuous affine function on the smaller set can be extended to a continuous affine function on the larger set with a uniform bound. As an…

In this paper, we extend the notion of orthogonality to the general elements of an absolute matrix order unit space and relate it to the orthogonality among positive elements. We introduce the notion of a partial isometry in an absolute…

We establish a general theory for projective dimensions of the logarithmic derivation modules of hyperplane arrangements. That includes the addition-deletion and restriction theorem, Yoshinaga-type result, and the division theorem for…

We prove a noetherian criterion for a sequence of modules with linear maps between them. This generalizes a noetherian criterion of Gan and Li for infinite EI categories. We apply our criterion to the linear categories associated to certain…

We establish lower bounds for the operator norms of the Fourier restriction/extension operators associated to monomial curves with affine arclength measure. Furthermore, we prove that the set of all extremizing sequences of such an operator…

We study finitary 2-categories associated to dual projection functors for finite dimensional associative algebras. In the case of path algebras of admissible tree quivers (which includes all Dynkin quivers of type A) we show that the monoid…