English
Related papers

Related papers: Additive units of product system

200 papers

This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…

Logic in Computer Science · Computer Science 2012-07-18 Bart Jacobs , Jorik Mandemaker

We extend some classical constructions in commutative algebra to the setting of modules over orders in (non-commutative) semisimple algebras. Our theory incorporates, inter alia, `reduced' versions of the notions of higher Fitting…

Number Theory · Mathematics 2025-09-16 David Burns , Takamichi Sano

The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…

Category Theory · Mathematics 2015-11-26 Juan Pablo Ramirez

In this technical report, certain interesting classification of arithmetical functions is proposed. The notion of additively decomposable and multiplicatively decomposable arithmetical functions is proposed. The concepts of arithmetical…

General Mathematics · Mathematics 2012-12-10 Garimella Rama Murthy

A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…

Representation Theory · Mathematics 2010-09-20 Mikhail Khovanov

Motivated by the model theory of higher order logics, a certain kind of topological spaces had been introduced on ultraproducts. These spaces are called ultratopologies. Ultratopologies provide a natural extra topological structure for…

Logic · Mathematics 2007-05-23 Gabor Sagi , Saharon Shelah

Given a semisimple compact Lie group $G$ and a nonzero dominant integral weight $\lambda$, the highest weight $G_q$-modules $V_{n\lambda}$ form a subproduct system of finite dimensional Hilbert spaces. Using a conjectural asymptotic…

Operator Algebras · Mathematics 2025-12-22 Suvrajit Bhattacharjee , Olof Giselsson , Sergey Neshveyev

The study of images of noncommutative polynomials on algebras has attracted considerable attention. We investigate polynomial images and the additive structures they generate in associative algebras, focusing on sums and products of values.…

Rings and Algebras · Mathematics 2026-05-07 Tsiu-Kwen Lee , Tran Nam Son

We define higher categorical invariants (gerbes) of codimension two algebraic cycles and provide a categorical interpretation of the intersection of divisors on a smooth proper algebraic variety. This generalization of the classical…

Algebraic Geometry · Mathematics 2015-10-08 Ettore Aldrovandi , Niranjan Ramachandran

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

Representation Theory · Mathematics 2025-04-30 Alex Martsinkovsky

We study the ring of arithmetical functions with unitary convolution, giving an isomorphism to a generalized power series ring on infinitely many variables, similar to the isomorphism of Cashwell-Everett between the ring of arithmetical…

Commutative Algebra · Mathematics 2007-05-23 Jan Snellman

The generating function for restricted partitions is a finite product with a Laurent expansion at each root of unity. The question of the behavior of these Laurent coefficients as the size of the product increases goes back to Rademacher…

Number Theory · Mathematics 2020-01-23 Cormac O'Sullivan

An algebraic structure underlying the quantity calculus is proposed consisting in an algebraic fiber bundle, that is, a base structure which is a free Abelian group together with fibers which are one dimensional vector spaces, all of them…

General Mathematics · Mathematics 2016-11-07 Alvaro P. Raposo

There is a generic way to add any new feature to a system. It involves 1) identifying the basic units which build up the system and 2) introducing the new feature to each of these basic units. In the case where the system is argumentation…

Artificial Intelligence · Computer Science 2015-03-19 D. M. Gabbay , O. Rodrigues

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary "propositional" logic should in general be the logic of subsets of a given universe set. Partitions on…

Logic · Mathematics 2009-12-30 David Ellerman

For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some…

Representation Theory · Mathematics 2026-02-02 Henning Krause , Balduin Stoye

We introduce a subproduct system of finite-dimensional Hilbert spaces by using the Motzkin planar algebra and its Motzkin Jones-Wenzl idempotents, which generalizes the Temperley-Lieb subproduct system of Habbestad and Neshveyev. We provide…

Operator Algebras · Mathematics 2025-11-18 Valeriano Aiello , Simone Del Vecchio , Stefano Rossi

This article introduces pre-Hilbert $*$-categories: an abstraction of categories exhibiting "algebraic" aspects of Hilbert-space theory. Notably, finite biproducts in pre-Hilbert $*$-categories can be orthogonalised using the Gram-Schmidt…

Category Theory · Mathematics 2025-11-18 Matthew Di Meglio

We study finite systems of subspaces of a complex Hilbert space such that each pair of subspaces satisfies a certain condition as described in the following. For each subspace excepting the first one an angle between this subspace and the…

Functional Analysis · Mathematics 2012-01-18 Ivan Feshchenko , Alexander Strelets

We introduce a class of metric spaces called $p$-additive combinations and show that for such spaces we may deduce information about their $p$-negative type behaviour by focusing on a relatively small collection of almost disjoint metric…

Metric Geometry · Mathematics 2013-08-16 Stephen Sanchez