On n-Dimensional Sequences. I |
| |
Affiliation: | Centre for Communications Research, University of Bristol, UK |
| |
Abstract: | Let R be a commutative ring and let n ≥ 1. We study Γ(s), the generating function and Ann(s), the ideal of characteristic polynomials of s, an n-dimensional sequence over R .We express f(X1,…,Xn) · Γ(s)(X-11,…,X-1n) as a partitioned sum. That is, we give (i) a 2n-fold "border" partition (ii) an explicit expression for the product as a 2n-fold sum; the support of each summand is contained in precisely one member of the partition. A key summand is βo(f, s), the "border polynomial" of f and s, which is divisible by X1 … Xn.We say that s is eventually rectilinear if the elimination ideals Ann(s)∩RXi] contain an fi (Xi) for 1 ≤ i ≤ n. In this case, we show that Ann(s) is the ideal quotient ().When R and RX1, X2 ,…, Xn]] are factorial domains (e.g. R a principal ideal domain or F X1,…, Xn]), we compute the monic generator γi of Ann(s) ∩ RXi] from known fi ? Ann(s) ∩ RXi] or from a finite number of 1-dimensional linear recurring sequences over R. Over a field F this gives an O() algorithm to compute an F-basis for Ann(s). |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|