We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Symbolic Computation

Title: Compatible rewriting of noncommutative polynomials for proving operator identities

Abstract: The goal of this paper is to prove operator identities using equalities between noncommutative polynomials. In general, a polynomial expression is not valid in terms of operators, since it may not be compatible with domains and codomains of the corresponding operators. Recently, some of the authors introduced a framework based on labelled quivers to rigorously translate polynomial identities to operator identities. In the present paper, we extend and adapt the framework to the context of rewriting and polynomial reduction. We give a sufficient condition on the polynomials used for rewriting to ensure that standard polynomial reduction automatically respects domains and codomains of operators. Finally, we adapt the noncommutative Buchberger procedure to compute additional compatible polynomials for rewriting. In the package OperatorGB, we also provide an implementation of the concepts developed.
Comments: 17 pages
Subjects: Symbolic Computation (cs.SC); Representation Theory (math.RT)
Cite as: arXiv:2002.03626 [cs.SC]
  (or arXiv:2002.03626v1 [cs.SC] for this version)

Submission history

From: Clemens Raab [view email]
[v1] Mon, 10 Feb 2020 10:08:43 GMT (18kb)

Link back to: arXiv, form interface, contact.