Efficient Computation for Invertibility Sequence of Banded Toeplitz Matrices
Abstract
When solving systems of banded Toeplitz equations or calculating their inverses, it is necessary to determine the invertibility of the matrices beforehand. In this paper, we equate the invertibility of an -order banded Toeplitz matrix with bandwidth to that of a small matrix. By utilizing a specially designed algorithm, we compute the invertibility sequence of a class of banded Toeplitz matrices with a time complexity of and a space complexity of where is the size of the largest matrix. This enables efficient preprocessing when solving equation systems and inverses of banded Toeplitz matrices.
keywords:
banded Toeplitz matrix , invertibility sequence , computational complexity1 Introduction and preliminaries
An -order banded Toeplitz matrix with bandwidth takes the form:
(1) |
Banded Toeplitz matrices, as transition matrices for convolutions, frequently appear in the numerical solutions of partial differential equations using finite difference methods, finite element methods, and spectral methods [1, 2, 14]. They can be applied in the mathematical representation of high-dimensional nonlinear electromagnetic interference signals [13, 16].
Currently, the majority of computations on banded Toeplitz matrices, including solving equation systems [9, 10] and inverses [3, 11, 17], require that the banded Toeplitz matrices are non-singular, meaning the determination of their invertibility is necessary. At present, most methods determine the invertibility by calculating determinants [4, 6, 7, 8, 15]. This leads to computational waste because we are not concerned with the specific value of their determinants.
Based on the reasons mentioned above, we propose a rapid determination method for the invertibility of banded Toeplitz matrices. We equate the invertibility of an -order banded Toeplitz matrix with bandwidth to that of a small matrix and introduce a new algorithm, which can solve the invertibility sequence of a class of banded Toeplitz matrices with time complexity and space complexity where is the size of the largest matrix. Additionally, while most other studies focus on tridiagonal or pentadiagonal Toeplitz matrices, our algorithm is compatible with larger values of . This enables efficient preprocessing when solving equation systems and inverses of banded Toeplitz matrices. Since the invertibility of banded Toeplitz matrices over finite fields is equivalent to the reversibility of one-dimensional null-boundary linear cellular automata [12], we compare our determination algorithm with the latest equivalent invertibility determination algorithms in cellular automata [5]. The results show that our algorithm has significant efficiency advantages.
algorithm | time complexity |
---|---|
SBP [5] | |
ours |
This paper consists of three sections. The second section presents the main theorem and algorithm of this paper. The third section summarizes the work of the entire paper.
2 Invertibility of banded Toeplitz matrices
The invertibility of a matrix is a simpler problem than the determinant, so we aim to completely compute the invertibility sequence for a class of banded Toeplitz matrices:
Definition 1.
The invertibility sequence is a binary sequence of length where the -th number indicates whether the -th order banded Toeplitz matrix is invertible.
Next, we will begin our calculations, assuming the bandwidth is . Consider the following sequence:
(2) |
Let be a matrix, with its elements as described in Eq. 3.
(3) |
We have the following important theorem:
Theorem 1.
An -order banded Toeplitz matrix with bandwidth () is invertible if and only if is invertible.
Proof.
Let matrices and be defined as follows:
(4) |
We have the following equation, where is the -order identity matrix.
(5) |
First, we prove the necessity: if is an invertible matrix, then when it is multiplied by a column full-rank matrix, the result is a column full-rank matrix. The rank of is , so is invertible.
Next, we prove the sufficiency: if is invertible, then is also invertible. Multiplying both sides of the Eq. 5 by on the right, there exist vectors that make:
(6) |
At this point, we can construct a unique matrix ] such that , where for , and is the vector of order of the canonical basis of .
(7) |
∎
We have equated the invertibility of a banded Toeplitz matrix with bandwidth to the invertibility of a small matrix, which significantly enhances our computational efficiency.
Corollary 1.
The invertibility sequence of tridiagonal Toeplitz matrices can be calculated with a time complexity of .
Proof.
In this case, , which means the invertibility determining matrix consists of a single element. We only need to determine whether it is zero. The cost of calculating to using Eq. 2 is . ∎
Corollary 2.
The invertibility sequence of pentadiagonal Toeplitz matrices can be calculated with a time complexity of .
Proof.
In this case, , which means the invertibility determining matrix is a matrix. We only need to determine if the ratio of the two elements in each row of is equal to that in the next row, which costs . The cost of calculating to using Eq. 2 is . Therefore, the total cost is . ∎
Corollary 3.
The invertibility sequence of -diagonal Toeplitz matrices can be calculated with time complexity and space complexity .
Proof.
Calculating the invertibility sequence for banded Toeplitz matrices involves determining the invertibility of , where each is a matrix. If Gaussian elimination is used for each matrix to row-echelon form, the time complexity could reach . Since rows are the same between and , this means that the computations performed on can be utilized for . This reuse of calculations can optimize the overall process and reduce the computational cost.
Consider the initial situation, set , where is the identity matrix, a row-echelon form of a full-rank matrix. By removing the first row of and adding the bottom row of , a new matrix is formed. It can be seen that the invertibility of and is the same. At this point, the first rows of are quasi-row-echelon which can be transformed into row-echelon form through row swapping. Assuming that is the index of the first non-zero element from the left in the -th row of each , there are two scenarios:
-
1.
If , , this indicates that is quasi-row-echelon. In this scenario, we can quickly determine the invertibility of , whether there exists a row that is entirely zero.
-
2.
If , , then use the -th row to perform Gaussian elimination on the -th row (). After Gaussian elimination, will grow and be updated. If at this point, , , then use the lower row to perform Gaussian elimination on the upper one. Continue this process until achieves a quasi-row-echelon form. Then, we can quickly determine the invertibility of .
We continuously remove the first row of and add the last row of to construct . Since the first rows of are already in quasi-row-echelon form, we need at most Gaussian eliminations to transform into quasi-row-echelon form, rather than eliminations. Since we always use the larger-index rows to perform Gaussian elimination on the small-index ones during the Gaussian elimination, the -th row of is only linearly expressed by the -th to -th rows of . Therefore, when we use and to construct , we can remove the first row of and ensure that and have the same invertibility, as shown in Eq. 8, where is the -th row of and function represents linear combination.
(8) |
Algorithm 1 shows the calculations in detail.
The time cost analysis of this algorithm is as follows:
-
1.
Step 1 (lines 1 to 17) is for initialization and involves no computation.
-
2.
Step 2 (lines 19 to 24) calculates each element with a time cost of . Since there are elements, the total time cost for this step is .
-
3.
Step 3 (lines 25 to 36) requires at most Gaussian eliminations to transform each into quasi-row-echelon form, with a time cost of for each cycle. As this while-loop is repeated times, the total cost for this step is .
In summary, the total time cost of the program is . This algorithm is more space-efficient: the size of is , and the size of is , therefore, the total space consumption of the algorithm is only .
∎
3 Conclusion
We equate the invertibility of an -order banded Toeplitz matrix with bandwidth to that of a small matrix. This allows us to calculate the invertibility sequence of a class of banded Toeplitz matrices with a time complexity of . This algorithm can be applied in solving equation systems and inverses of banded Toeplitz matrices.
Acknowledgments
This study is financed by Tianjin Science and Technology Bureau, finance code: 21JCYBJC00210.
Declaration of generative AI
Generative AI is only used for translation and language polishing in this paper.
References
- Aceto et al. [2012a] Aceto, L., Ghelardoni, P., Magherini, C., 2012a. Boundary value methods for the reconstruction of sturm–liouville potentials. Applied Mathematics and Computation 219, 2960–2974. URL: https://www.sciencedirect.com/science/article/pii/S0096300312009204, doi:https://doi.org/10.1016/j.amc.2012.09.021.
- Aceto et al. [2012b] Aceto, L., Ghelardoni, P., Magherini, C., 2012b. Pgscm: A family of p-stable boundary value methods for second-order initial value problems. Journal of Computational and Applied Mathematics 236, 3857–3868. URL: https://www.sciencedirect.com/science/article/pii/S0377042712001525, doi:https://doi.org/10.1016/j.cam.2012.03.024. 40 years of numerical analysis: “Is the discrete world an approximation of the continuous one or is it the other way around?”.
- Arslan et al. [2013] Arslan, S., Köken, F., Bozkurt, D., 2013. Positive integer powers and inverse for one type of even order symmetric pentadiagonal matrices. Applied Mathematics and Computation 219, 5241–5248.
- Cinkir [2014] Cinkir, Z., 2014. A fast elementary algorithm for computing the determinant of toeplitz matrices. Journal of computational and applied mathematics 255, 353–361.
- Du et al. [2022] Du, X., Wang, C., Wang, T., Gao, Z., 2022. Efficient methods with polynomial complexity to determine the reversibility of general 1d linear cellular automata over zp. Information Sciences 594, 163–176.
- Jia et al. [2016] Jia, J., Yang, B., Li, S., 2016. On a homogeneous recurrence relation for the determinants of general pentadiagonal toeplitz matrices. Computers & Mathematics with Applications 71, 1036–1044.
- Jia and Wang [2023] Jia, J.T., Wang, F.R., 2023. A cost-efficient numerical algorithm for the determinants of heptadiagonal matrices with toeplitz structure. Journal of Mathematical Chemistry 61, 1275–1291.
- Kilic and El-Mikkawy [2008] Kilic, E., El-Mikkawy, M., 2008. A computational algorithm for special nth-order pentadiagonal toeplitz determinants. Applied mathematics and computation 199, 820–822.
- Kumar [1985] Kumar, R., 1985. A fast algorithm for solving a toeplitz system of equations. IEEE transactions on acoustics, speech, and signal processing 33, 254–267.
- Liu et al. [2020] Liu, Z., Li, S., Yin, Y., Zhang, Y., 2020. Fast solvers for tridiagonal toeplitz linear systems. Computational and Applied Mathematics 39, 1–10.
- Lv et al. [2008] Lv, X.G., Huang, T.Z., Le, J., 2008. A note on computing the inverse and the determinant of a pentadiagonal toeplitz matrix. Applied Mathematics and Computation 206, 327–331.
- Martı´n del Rey and Rodrı´guez Sánchez [2011] Martı´n del Rey, A., Rodrı´guez Sánchez, G., 2011. Reversibility of linear cellular automata. Applied Mathematics and Computation 217, 8360–8366. URL: https://www.sciencedirect.com/science/article/pii/S0096300311003997, doi:https://doi.org/10.1016/j.amc.2011.03.033.
- Patil and Swamy [2008] Patil, P.G., Swamy, Y., 2008. An eficient model for vibration control by piezoelectric smart structure using finite element method. Eur. J. Comput. Sci. Netw. Secu 8, 258–264.
- Poletti and Teal [2021] Poletti, M.A., Teal, P.D., 2021. A superfast toeplitz matrix inversion method for single-and multi-channel inverse filters and its application to room equalization. IEEE/ACM Transactions on Audio, Speech, and Language Processing 29, 3144–3157.
- Talibi et al. [2018] Talibi, B., Hadj, D., Sarsri, D., 2018. A numerical algorithm for computing the inverse of a toeplitz pentadiagonal matrix. Journal of Applied Mathematics and Computational Mechanics 17.
- Tang [2006] Tang, T., 2006. Spectral and high-order methods with applications. Science Press Beijing.
- Wang et al. [2015] Wang, C., Li, H., Zhao, D., 2015. An explicit formula for the inverse of a pentadiagonal toeplitz matrix. Journal of Computational and Applied Mathematics 278, 12–18.