BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Viktor Levandovskyy

Viktor Levandovskyy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Symbolic Computationmath.RAmath.AGmath.OCMathematical Softwaremath.ACmath.COmath.NAmath.RTSoftware Engineering

Catalog footprint

What is connected

15works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2021arXiv

Gröbner bases for fusion products

We provide a new approach towards the analysis of the fusion products defined by B.~Feigin and S.~Loktev in the representation theory of (truncated) current Lie algebras. We understand the fusion product as a degeneration using Gröbner theory of non-commutative algebras and outline a strategy on how to prove a conjecture about the defining relations for the fusion product of two evaluation modules. We conclude with following this strategy for $\mathfrak{sl}_2(\mathbb{C}[t]) $ and hence provide yet another proof for the conjecture in this case.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Constructive Arithmetics in Ore Localizations Enjoying Enough Commutativity

This paper continues a research program on constructive investigations of non-commutative Ore localizations, initiated in our previous papers, and particularly touches the constructiveness of arithmetics within such localizations. Earlier we have introduced monoidal, geometric and rational types of localizations of domains as objects of our studies. Here we extend this classification to rings with zero divisors and consider Ore sets of the mentioned types which are commutative enough: such a set either belongs to a commutative algebra or it is central or its elements commute pairwise. By using the systematic approach we have developed before, we prove that arithmetic within the localization of a commutative polynomial algebra is constructive and give the necessary algorithms. We also address the important question of computing the local closure of ideals which is also known as the desingularization, and present an algorithm for the computation of the symbolic power of a given ideal in a commutative ring. We also provide algorithms to compute local closures for certain non-commutative rings with respect to Ore sets with enough commutativity.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Constructive Arithmetics in Ore Localizations of Domains

For a non-commutative domain $R$ and a multiplicatively closed set $S$ the (left) Ore localization of $R$ at $S$ exists if and only if $S$ satisfies the (left) Ore property. Since the concept has been introduced by Ore back in the 1930's, Ore localizations have been widely used in theory and in applications. We investigate the arithmetics of the localized ring $S^{-1}R$ from both theoretical and practical points of view. We show that the key component of the arithmetics is the computation of the intersection of a left ideal with a submonoid $S$ of $R$. It is not known yet, whether there exists an algorithmic solution of this problem in general. Still, we provide such solutions for cases where $S$ is equipped with additional structure by distilling three most frequently occurring types of Ore sets. We introduce the notion of the (left) saturation closure and prove that it is a canonical form for (left) Ore sets in $R$. We provide an implementation of arithmetics over the ubiquitous $G$-algebras in \textsc{Singular:Plural} and discuss questions arising in this context. Numerous examples illustrate the effectiveness of the proposed approach.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Certifying solutions to square systems of polynomial-exponential equations

Smale's alpha-theory certifies that Newton iterations will converge quadratically to a solution of a square system of analytic functions based on the Newton residual and all higher order derivatives at the given point. Shub and Smale presented a bound for the higher order derivatives of a system of polynomial equations based in part on the degrees of the equations. For a given system of polynomial-exponential equations, we consider a related system of polynomial-exponential equations and provide a bound on the higher order derivatives of this related system. This bound yields a complete algorithm for certifying solutions to polynomial-exponential systems, which is implemented in alphaCertified. Examples are presented to demonstrate this certification algorithm.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra

We present algorithms to factorize weighted homogeneous elements in the first polynomial Weyl algebra and $q$-Weyl algebra, which are both viewed as a $\mathbb{Z}$-graded rings. We show, that factorization of homogeneous polynomials can be almost completely reduced to commutative univariate factorization over the same base field with some additional uncomplicated combinatorial steps. This allows to deduce the complexity of our algorithms in detail. Furthermore, we will show for homogeneous polynomials that irreducibility in the polynomial first Weyl algebra also implies irreducibility in the rational one, which is of interest for practical reasons. We report on our implementation in the computer algebra system \textsc{Singular}. It outperforms for homogeneous polynomials currently available implementations dealing with factorization in the first Weyl algebra both in speed and elegancy of the results.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Factoring Differential Operators in n Variables

In this paper, we present a new algorithm and an experimental implementation for factoring elements in the polynomial n'th Weyl algebra, the polynomial n'th shift algebra, and ZZ^n-graded polynomials in the n'th q-Weyl algebra. The most unexpected result is that this noncommutative problem of factoring partial differential operators can be approached effectively by reducing it to the problem of solving systems of polynomial equations over a commutative ring. In the case where a given polynomial is ZZ^n-graded, we can reduce the problem completely to factoring an element in a commutative multivariate polynomial ring. The implementation in Singular is effective on a broad range of polynomials and increases the ability of computer algebra systems to address this important problem. We compare the performance and output of our algorithm with other implementations in commodity computer algebra systems on nontrivial examples.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

SymbolicData:SDEval - Benchmarking for Everyone

In this paper we will present SDeval, a software project that contains tools for creating and running benchmarks with a focus on problems in computer algebra. It is built on top of the Symbolic Data project, able to translate problems in the database into executable code for various computer algebra systems. The included tools are designed to be very flexible to use and to extend, such that they can be utilized even in contexts of other communities. With the presentation of SDEval, we will also address particularities of benchmarking in the field of computer algebra. Furthermore, with SDEval, we provide a feasible and automatizable way of reproducing benchmarks published in current research works, which appears to be a difficult task in general due to the customizability of the available programs. We will simultaneously present the current developments in the Symbolic Data project.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Skew polynomial rings, Groebner bases and the letterplace embedding of the free associative algebra

In this paper we introduce an algebra embedding $ι:K< X >\to S$ from the free associative algebra $K< X >$ generated by a finite or countable set $X$ into the skew monoid ring $S = P * Σ$ defined by the commutative polynomial ring $P = K[X\times N^*]$ and by the monoid $Σ= < σ>$ generated by a suitable endomorphism $σ:P\to P$. If $P = K[X]$ is any ring of polynomials in a countable set of commuting variables, we present also a general Gröbner bases theory for graded two-sided ideals of the graded algebra $S = \bigoplus_i S_i$ with $S_i = P σ^i$ and $σ:P \to P$ an abstract endomorphism satisfying compatibility conditions with ordering and divisibility of the monomials of $P$. Moreover, using a suitable grading for the algebra $P$ compatible with the action of $Σ$, we obtain a bijective correspondence, preserving Gröbner bases, between graded $Σ$-invariant ideals of $P$ and a class of graded two-sided ideals of $S$. By means of the embedding $ι$ this results in the unification, in the graded case, of the Gröbner bases theories for commutative and non-commutative polynomial rings. Finally, since the ring of ordinary difference polynomials $P = K[X\times N]$ fits the proposed theory one obtains that, with respect to a suitable grading, the Gröbner bases of finitely generated graded ordinary difference ideals can be computed also in the operators ring $S$ and in a finite number of steps up to some fixed degree.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On Two-generated Non-commutative Algebras Subject to the Affine Relation

We consider algebras over a field K, generated by two variables x and y subject to the single relation yx = qxy + ax + by + c for q in K^* and a, b, c in K. We prove, that among such algebras there are precisely five isomorphism classes. The representatives of these classes, which are ubiquitous operator algebras, are called model algebras. We derive explicit multiplication formulas for y^m*x^n in terms of standard monomials x^i*y^j for many algebras of the considered type. Such formulas are used in establishing formulas of binomial type and in implementing non-commutative multiplication in a computer algebra system. By using the formulas we also study centers and ring-theoretic properties of the non-commutative model algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Algorithms for Checking Rational Roots of $b$-functions and their Applications

Bernstein-Sato polynomial of a hypersurface is an important object with numerous applications. It is known, that it is complicated to obtain it computationally, as a number of open questions and challenges indicate. In this paper we propose a family of algorithms called \texttt{checkRoot} for optimized check of whether a given rational number is a root of Bernstein-Sato polynomial and the computations of its multiplicity. This algorithms are used in the new approach to compute the whole global or local Bernstein-Sato polynomial and $b$-function of a holonomic ideal with respect to weights. They are applied in numerous situations, where there is a possibility to compute an upper bound for the polynomial. Namely, it can be achieved by means of embedded resolution, for topologically equivalent singularities or using the formula of A'Campo and spectral numbers. We also present approaches to the logarithmic comparison problem and the intersection homology D-module. Several applications are presented as well as solutions to some challenges which were intractable with the classical methods. One of the main applications consists of computing of a stratification of affine space with the local $b$-function being constant on each stratum. Notably, the algorithm we propose does not employ primary decomposition. Also we apply our results for the computation of Bernstein-Sato polynomials for varieties. The methods from this paper have been implemented in {\sc Singular:Plural} as libraries {\tt dmod.lib} and {\tt bfun.lib}. All the examples from the paper have been computed with this implementation.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases

In this paper we present two algorithms for the computation of a diagonal form of a matrix over non-commutative Euclidean domain over a field with the help of Gröbner bases. This can be viewed as the pre-processing for the computation of Jacobson normal form and also used for the computation of Smith normal form in the commutative case. We propose a general framework for handling, among other, operator algebras with rational coefficients. We employ special "polynomial" strategy in Ore localizations of non-commutative $G$-algebras and show its merits. In particular, for a given matrix $M$ we provide an algorithm to compute $U,V$ and $D$ with fraction-free entries such that $UMV=D$ holds. The polynomial approach allows one to obtain more precise information, than the rational one e. g. about singularities of the system. Our implementation of polynomial strategy shows very impressive performance, compared with methods, which directly use fractions. In particular, we experience quite moderate swell of coefficients and obtain uncomplicated transformation matrices. This shows that this method is well suitable for solving nontrivial practical problems. We present an implementation of algorithms in SINGULAR:PLURAL and compare it with other available systems. We leave questions on the algorithmic complexity of this algorithm open, but we stress the practical applicability of the proposed method to a bigger class of non-commutative algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Constructive $D$-module Theory with \textsc{Singular}

We overview numerous algorithms in computational $D$-module theory together with the theoretical background as well as the implementation in the computer algebra system \textsc{Singular}. We discuss new approaches to the computation of Bernstein operators, of logarithmic annihilator of a polynomial, of annihilators of rational functions as well as complex powers of polynomials. We analyze algorithms for local Bernstein-Sato polynomials and also algorithms, recovering any kind of Bernstein-Sato polynomial from partial knowledge of its roots. We address a novel way to compute the Bernstein-Sato polynomial for an affine variety algorithmically. All the carefully selected nontrivial examples, which we present, have been computed with our implementation. We address such applications as the computation of a zeta-function for certain integrals and revealing the algebraic dependence between pairwise commuting elements.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Effective Methods for the Computation of Bernstein-Sato polynomials for Hypersurfaces and Affine Varieties

This paper is the widely extended version of the publication, appeared in Proceedings of ISSAC'2009 conference \citep*{ALM09}. We discuss more details on proofs, present new algorithms and examples. We present a general algorithm for computing an intersection of a left ideal of an associative algebra over a field with a subalgebra, generated by a single element. We show applications of this algorithm in different algebraic situations and describe our implementation in \textsc{Singular}. Among other, we use this algorithm in computational $D$-module theory for computing e. g. the Bernstein-Sato polynomial of a single polynomial with several approaches. We also present a new method, having no analogues yet, for the computation of the Bernstein-Sato polynomial of an affine variety. Also, we provide a new proof of the algorithm by Briançon-Maisonobe for the computation of the $s$-parametric annihilator of a polynomial. Moreover, we present new methods for the latter computation as well as optimized algorithms for the computation of Bernstein-Sato polynomial in various settings.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Exact linear modeling using Ore algebras

Linear exact modeling is a problem coming from system identification: Given a set of observed trajectories, the goal is find a model (usually, a system of partial differential and/or difference equations) that explains the data as precisely as possible. The case of operators with constant coefficients is well studied and known in the systems theoretic literature, whereas the operators with varying coefficients were addressed only recently. This question can be tackled either using Gröbner bases for modules over Ore algebras or by following the ideas from differential algebra and computing in commutative rings. In this paper, we present algorithmic methods to compute "most powerful unfalsified models" (MPUM) and their counterparts with variable coefficients (VMPUM) for polynomial and polynomial-exponential signals. We also study the structural properties of the resulting models, discuss computer algebraic techniques behind algorithms and provide several examples.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Obstructions to Genericity in Study of Parametric Problems in Control Theory

We investigate systems of equations, involving parameters from the point of view of both control theory and computer algebra. The equations might involve linear operators such as partial (q-)differentiation, (q-)shift, (q-)difference as well as more complicated ones, which act trivially on the parameters. Such a system can be identified algebraically with a certain left module over a non-commutative algebra, where the operators commute with the parameters. We develop, implement and use in practice the algorithm for revealing all the expressions in parameters, for which e.g. homological properties of a system differ from the generic properties. We use Groebner bases and Groebner basics in rings of solvable type as main tools. In particular, we demonstrate an optimized algorithm for computing the left inverse of a matrix over a ring of solvable type. We illustrate the article with interesting examples. In particular, we provide a complete solution to the "two pendula, mounted on a cart" problem from the classical book of Polderman and Willems, including the case, where the friction at the joints is essential . To the best of our knowledge, the latter example has not been solved before in a complete way.

0 citations0 reviewsNo code linkedOpen access