English
Related papers

Related papers: Syzygies among reduction operators

200 papers

Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the…

Functional Analysis · Mathematics 2009-08-10 H. Bercovici , R. G. Douglas , C. Foias , C. Pearcy

To be able to solve operator equations numerically a discretization of those operators is necessary. In the Galerkin approach bases are used to achieve discretized versions of operators. In a more general set-up, frames can be used to…

Functional Analysis · Mathematics 2016-12-20 Peter Balazs , Georg Rieckh

Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most…

Logic in Computer Science · Computer Science 2010-10-22 Arno Pauly

Recently, Gavazzo has developed a relational theory of symbolic manipulation, that allows to study syntax-based rewriting systems without relying on specific notions of syntax. This theory was obtained by extending the algebra of relations…

Logic in Computer Science · Computer Science 2023-12-07 Lorenzo Pace

In this paper, we consider a question of sum-keeping about a multiplicative subsemigroup and its generator subsets in a semiring, and develop some elementary (collapse) process of the sum-keeping retraction through subsets until one minimal…

Number Theory · Mathematics 2025-04-04 Derong Qiu

Inspired by a recent work about distribution frames, the definition of multiplier operator is extended in the rigged Hilbert spaces setting and a study of its main properties is carried on. In particular, conditions for the density of…

Functional Analysis · Mathematics 2023-10-31 Rosario Corso , Francesco Tschinke

A key notion bridging the gap between {\it quantum operator algebras} \cite{LZ10} and {\it vertex operator algebras} \cite{Bor}\cite{FLM} is the definition of the commutativity of a pair of quantum operators (see section 2 below). This is…

q-alg · Mathematics 2008-02-03 Bong H. Lian , Gregg J. Zuckerman

The relationship between fuzzy algebras and semirings is explored with fuzzy algebra operators replacing the arithmetic operators of semirings. A new class of fuzzy structures which are similar to semirings is defined. Results of partial…

Rings and Algebras · Mathematics 2010-03-15 V. S. S. Kartikeya Vanamali , Shrisha Rao

The goal of this note is to create a sound framework for the interplay between field reduction for finite projective spaces, the general semilinear groups acting on the defining vector spaces and the projective semilinear groups. This…

Combinatorics · Mathematics 2016-07-07 Geertrui Van de Voorde

We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by developing a numerical linear algebra and distributed…

Commutative Algebra · Mathematics 2017-11-10 Juliette Bruce , Daniel Erman , Steve Goldstein , Jay Yang

We obtain boundedness from a product of Lebesgue or Hardy spaces into Hardy spaces under suitable cancellation conditions for a large class of multilinear operators that includes the Coifman-Meyer class, sums of products of linear…

Functional Analysis · Mathematics 2017-02-09 Loukas Grafakos , Shohei Nakamura , Hanh Van Nguyen , Yoshihiro Sawano

This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource management is given, and the respective computational properties of each…

Category Theory · Mathematics 2007-05-23 Yves Guiraud

We consider the computation of syzygies of multivariate polynomials in a finite-dimensional setting: for a $\mathbb{K}[X_1,\dots,X_r]$-module $\mathcal{M}$ of finite dimension $D$ as a $\mathbb{K}$-vector space, and given elements…

Symbolic Computation · Computer Science 2020-06-22 Vincent Neiger , Éric Schost

We provide some insights in the study of branching problems of reductive groups, and a method of investigations into symmetry breaking operators. First, we give geometric criteria for finiteness property of linearly independent continuous…

Representation Theory · Mathematics 2013-12-17 Toshiyuki Kobayashi

We describe a method for solving linear systems over the localization of a commutative ring $R$ at a multiplicatively closed subset $S$ that works under the following hypotheses: the ring $R$ is coherent, i.e., we can compute finite…

Commutative Algebra · Mathematics 2018-06-21 Sebastian Posur

In this paper we revisit Rota's Classification Problem on classifying algebraic identities for linear operator. We reformulate Rota's Classification Problem in the contexts of rewriting systems and Gr\"obner-Shirshov bases, through which…

Rings and Algebras · Mathematics 2017-12-19 Xing Gao , Li Guo

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…

Operator Algebras · Mathematics 2009-07-30 Meghna Mittal , Vern Paulsen

In this paper we characterize the isometries of subspaces of the little Zygmund space. We show that the isometries of these spaces are surjective and represented as integral operators. We also show that all hermitian operators on these…

Functional Analysis · Mathematics 2019-08-15 Fernanda Botelho

Based on the success of a well-known method for solving higher order linear differential equations, a study of two of the most important mathematical features of that method, viz. the null spaces and commutativity of the product of…

Functional Analysis · Mathematics 2023-12-12 Richard Kadison , Simon Levin , Zhe Liu

We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular…

Logic in Computer Science · Computer Science 2016-12-15 Christine Tasson , Lionel Vaux
‹ Prev 1 3 4 5 6 7 10 Next ›