Unimodular Completions and Orthogonal Complements of Matrices over Univariate Ore Extensions

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Abstract

We generalize an efficient hyper-regularity and unimodularity test from differential Ore polynomial matrices to arbitrary Ore polynomial matrices. The core of the contribution consists of algorithms for unimodular row and column completions of arbitrary univariate Ore polynomial matrices, respectively. After a possible degree reduction using noncommutative companion matrices, this is done by a systematic projection of suitable coordinates with a subsequent elimination. Based on previous work for differential Ore polynomial matrices, we remove rather restrictive conditions, which now allows for the application of this algorithm to a larger class of systems that may contain pure algebraic equations.

Details

OriginalspracheEnglisch
Seiten (von - bis)128-155
Seitenumfang28
FachzeitschriftSIAM Journal on Matrix Analysis and Applications
Jahrgang44
Ausgabenummer1
PublikationsstatusVeröffentlicht - 2023
Peer-Review-StatusJa

Externe IDs

Scopus 85151058718
WOS 000974412700004
Mendeley 8163a649-a1d4-3703-88b8-ada7e3b6ecc3

Schlagworte

Forschungsprofillinien der TU Dresden

ASJC Scopus Sachgebiete

Schlagwörter

  • Algorithms, Hyper-regularity, Ore extensions, Ore polynomial matrices, Pseudolinear algebra, Unimodularity, algorithms, pseudolinear algebra, hyper-regularity, unimodularity