English
Related papers

Related papers: Ladder operators and rational extensions

200 papers

Extended multi-adjoint logic programming arises as an extension of multi-adjoint normal logic programming where constraints and a special type of aggregator operator have been included. The use of this general aggregator operator permits to…

Logic in Computer Science · Computer Science 2024-10-08 M. Eugenia Cornejo , David Lobo , Jesús Medina

Inspired by a recent article \cite[JFAA, 28(2):1-34, (2022)]{Skrettingland2022JoFAaA}, this paper is devoted to the study of suitable window class in the framework of bounded linear operators on $L^2(\rd)$. We establish a natural and…

Functional Analysis · Mathematics 2022-10-12 Weichao Guo , Guoping Zhao

We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…

Logic in Computer Science · Computer Science 2019-02-20 Pierre Hyvernat

An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…

Optimization and Control · Mathematics 2014-03-13 Andreas H. Hamel , Carola Schrage

This article presents a natural extension of the tensor algebra. In addition to "left multiplications" by vectors, we can consider "derivations" by covectors as basic operators on this extended algebra. These two types of operators satisfy…

Representation Theory · Mathematics 2011-05-23 Minoru Itoh

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can…

Logic in Computer Science · Computer Science 2007-05-23 Ian Horrocks , Ulrike Sattler , Stephan Tobies

A natural consequence of the fractional calculus is its extension to a matrix order of differentiation and integration. A matrix-order derivative definition and a matrix-order integration arise from the generalization of the gamma function…

General Mathematics · Mathematics 2020-05-04 C. B. da Porciuncula

Using the theory introduced by Casper and Yakimov, we investigate the structure of algebras of differential and difference operators acting on matrix valued orthogonal polynomials (MVOPs) on $\mathbb{R}$, and we derive algebraic and…

Classical Analysis and ODEs · Mathematics 2020-11-17 Alfredo Deaño , Bruno Eijsvoogel , Pablo Román

In this paper we introduce a notion of $\mathbf{O}$-monoidal $\infty$-categories for a finite sequence $\mathbf{O}^{\otimes}$ of $\infty$-operads, which is a generalization of the notion of higher monoidal categories in the setting of…

Category Theory · Mathematics 2021-11-02 Takeshi Torii

The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the…

Category Theory · Mathematics 2009-07-03 M. A. Batanin

The real theory of the Dunkl operators has been developed very extensively, while there still lacks the corresponding complex theory. In this paper we introduce the complex Dunkl operators for certain Coxeter groups. These complex Dunkl…

Complex Variables · Mathematics 2009-12-31 Guangbin Ren , Helmuth R. Malonek

In this paper we {\em discuss} diverse aspects of mutual relationship between adjoints and formal adjoints of unbounded operators bearing a matrix structure. We emphasize on the behaviour of row and column operators as they turn out to be…

Functional Analysis · Mathematics 2007-06-18 M. Möller , F. H. Szafraniec

A criterion for comonadicity of the extension-of- scalars functor associated to an extension of (not necessarily commutative) rings is given. As an application of this criterion, some known results on the comonadicity of such functors are…

Quantum Algebra · Mathematics 2007-05-23 Bachuki Mesablishvili

An O-operator is a relative version of a Rota-Baxter operator and, in the Lie algebra context, is originated from the operator form of the classical Yang-Baxter equation. We generalize the well-known construction of dendriform dialgebras…

Rings and Algebras · Mathematics 2015-10-15 Chengming Bai , Li Guo , Xiang Ni

We derive certain systems of differential equations for matrix elements of products and iterates of logarithmic intertwining operators among strongly graded generalized modules for a strongly graded conformal vertex algebra under suitable…

Quantum Algebra · Mathematics 2016-05-25 Jinwei Yang

This course, intended for undergraduates familiar with elementary calculus and linear algebra, introduces the extension of differential calculus to functions on more general vector spaces, such as functions that take as input a matrix and…

History and Overview · Mathematics 2025-01-28 Paige Bright , Alan Edelman , Steven G. Johnson

Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…

Category Theory · Mathematics 2015-08-11 Joaquín Díaz Boils

We enhance the calculus of string diagrams for monoidal categories with hierarchical features in order to capture closed monoidal (and cartesian closed) structure. Using this new syntax we formulate an automatic differentiation algorithm…

Programming Languages · Computer Science 2021-07-29 Mario Alvarez-Picallo , Dan R. Ghica , David Sprunger , Fabio Zanasi

In literature ladder operators of different nature exist. The most famous are those obeying canonical (anti-) commutation relations, but they are not the only ones. In our knowledge, all ladder operators have a common feature: the lowering…

Quantum Physics · Physics 2024-01-24 Fabio Bagarello

Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…

Quantum Algebra · Mathematics 2007-05-23 Jeffrey Morton
‹ Prev 1 4 5 6 7 8 10 Next ›