کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8896414 1630415 2018 41 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Matrix coefficient realization theory of noncommutative rational functions
ترجمه فارسی عنوان
تئوری تحقق ضریب ماتریس توابع عقلانی غیر
کلمات کلیدی
ترجمه چکیده
از اهمیت ویژه ای، تحقق حداقل است، که جبران عدم وجود یک فرم کانونی برای توابع عقلانی غیرمعمول. غیرممکن بودن یک تحقق توسط ماژول های انسداد مرتبط با آن ارزیابی می شود؛ آنها ما را قادر میسازند یک روش کارآمد برای به دست آوردن حداقل تحقق ایجاد کنند. با آنها، دامنه پایدار توسعه یافته یک تابع منطقی غیرمعمول را توصیف می کنیم و یک تابع غیر عددی را تعیین می کنیم که پیچیدگی آن را اندازه گیری می کند. با استفاده از این نتایج، معیارهای اندازه بتن برای آزمایش هویت منطقی را تعیین می کنیم، مفهوم های مینیمم متقارن را ایجاد می کنیم و یک اصل موثر محلی-جهانی برای وابستگی خطی توابع عقلانی غیرمعمول را اثبات می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات اعداد جبر و تئوری
پیش نمایش مقاله
تئوری تحقق ضریب ماتریس توابع عقلانی غیر
چکیده انگلیسی
Of special interest are the minimal realizations, which compensate the absence of a canonical form for noncommutative rational functions. The non-minimality of a realization is assessed by obstruction modules associated with it; they enable us to devise an efficient method for obtaining minimal realizations. With them we describe the stable extended domain of a noncommutative rational function and define a numerical invariant that measures its complexity. Using these results we determine concrete size bounds for rational identity testing, construct minimal symmetric realizations and prove an effective local-global principle for linear dependence of noncommutative rational functions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Algebra - Volume 499, 1 April 2018, Pages 397-437
نویسندگان
,