return the equivalent matrix recurrence system with nonsingular leading or trailing matrix
reveal the rank of a recurrence system
MatrixTriangularization(mat, m, x, lt)
Rank(mat, m, x, lt, res)
explicit matrix of the system
number of matrix blocks
name specifying which matrix should be triangularized; one of 'lead' or 'trail'
(optional) name to return the result of invocation of MatrixTriangularization needed to reveal the rank
The MatrixTriangularization function returns the equivalent matrix recurrence system with nonsingular leading or trailing matrix. The Rank function reveals the rank of a recurrence system by constructing the equivalent matrix recurrence system with nonsingular leading or trailing matrix.
The matrix recurrence system is represented by its explicit matrix (the matrix k by l*m, where k is the number of recurrences in the system, l is the number of the undetermined sequences in the system, and m is the number of blocks in the matrix (each block corresponds to the coefficient of the shift operator of some order in the system, so m corresponds to the order of the system in respect to the shift operator). So the leading and trailing matrices are of size k by l), as well as all other blocks in the explicit matrix. The determinants (or all minors of the maximal order for non-square blocks) of the leading and/or trailing matrix could vanish for all values of x, however, the leading and trailing matrices of the system are non-zero (that is, they are singular). For algorithms such as those used in LinearFunctionalSystems[PolynomialSolution] and LinearFunctionalSystems[UniversalDenominator], this matrix should be non-singular.
The MatrixTriangularization function solves the problem by using the method by S.A. Abramov & M.Bronstein. It is based on the set of transformations of the given recurrent system to the equivalent one where possibly some additional constraints for the finite number of coefficients could appear (that is, to the system which has the same solutions as the given one does, but with the leading (or trailing) matrix being non-singular).
This technique is named EG-eliminations, because EG-eliminations have similarities to the Euclid algorithm and the Gauss method (E = Euclidean, G = Gaussian). They either allow one to recognize the dependency of the recurrences, or else lead to a system of the desired form. It is possible that the transformation additionally results in a finite set of relations for the initial values of each of the solutions of the new system. The package implements an improved version of EG-eliminations (EG') by S.A.Abramov and M.Bronstein.
The elementary steps of this transformation are Gaussian eliminations, and horizontal shifts of the rows of the explicit matrix and vertical shifts of its columns.
An output of MatrixTriangularization is a list of the following entries needed in order to interpret the result:
matrix - the transformed explicit matrix itself.
constraints - the additional constraints represented as a table. For each entry of the table (if any), the index specifies the fixed x and the value specifies the list of the rows of the explicit matrix corresponding to this x.
vshifts - the vertical shifts represented as a vector of size n. Each element of the vector specifies the number of times the corresponding column of the square block was vertically shifted.
rows - a set of indices of dependent rows (if any).
columns - a set of indices of columns with total zeroes in all blocks (if any).
The Rank function determines the rank of a recurrence system by computing the equivalent one with a non-singular leading or trailing matrix that reveals the rank. If the name res is given then the result of the corresponding invocation of MatrixTriangularization is assigned to this name.
These functions are part of the LinearFunctionalSystems package, and so they can be used in the form MatrixTriangularization(..) only after executing the command with(LinearFunctionalSystems). However, they can always be accessed through the long form of the command by using the form LinearFunctionalSystems[MatrixTriangularization](..) and LinearFunctionalSystems[Rank](..).
M ≔ Matrix⁡2,4,−1,−1,n+1,0,−1,−1,0,n+1:
M ≔ Matrix⁡4,6,1,4=n−2,1,5=−1,2,5=n−2,3,2=−n−1,3,4=1,3,6=3,4,3=n+1
Abramov, S. A. "EG-Eliminations." Journal of Difference Equations and Applications, (1999): 393-433.
Abramov, S. A., and Bronstein, M. "On Solutions of Linear Functional Systems." In Proceedings of ISSAC '01, pp. 1-6. Edited by Bernard Mourrain. New York: ACM Press, 2001.
Download Help Document