A study of dynamical features and novel soliton structures of complex-coupled Maccari's system

1.   Introduction

The singular value decomposition (SVD) is a key tool in matrix theory and numerical linear algebra, and plays an important role in many areas of scientific computing and engineering applications, such as least square problem ^[1], data mining ^[2], pattern recognition ^[3], image and signal processing ^[4,5], statistics, engineering, physics and so on (see ^{[1,2,3,4,5,6]}).

Research on the efficient numerical methods for computing the singular values of a matrix has been a hot topic, many practical algorithms have been proposed for this problem. By using the symmetric QR method to $A^TA$, Golub and Kahan ^[7] presented an efficient algorithm named as Golub-Kahan SVD algorithm; Gu and Eisenstat ^[8] introduced a stable and efficient divide-and-conquer algorithm, called as Divide-and-Conquer algorithm as well as Bisection algorithm for computing the singular value decomposition (SVD) of a lower bidiagonal matrix, see also ^[1]; Drmac and Veselic ^[9] given the superior variant of the Jacobi algorithm and proposed a new one-sided Jacobi SVD algorithm for triangular matrices computed by revealing QR factorizations; many researchers such as Zha ^[10], Bojanczyk ^[11], Shirokov ^[12] and Novaković ^[13] came up with some methods for the problem of hyperbolic SVD; A Cross-Product Free (CPF) Jacobi-Davidson (JD) type method is proposed to compute a partial generalized singular value decomposition (GSVD) of a large matrix pair $(A, B)$, which is referred to as the CPF-JDGSVD method ^[14]; many good references for these include ^{[1,2,7,8,9,15,16,17,18,19,20,21,22,23,24,25,26]} and the references therein for details.

There are important relationships between the SVD of a matrix $A$ and the Schur decompositions of the symmetric matrices $A^TA, AA^T$ and $\left(\begin{array}{cc} 0 & A^T \\ A & 0 \\ \end{array}\right)$. These connections to the symmetric eigenproblem allow us to adapt the mathematical and algorithmic developments of the eigenproblem to the singular value problem. So most of the algorithms mentioned above are analogs of algorithms for computing eigenvalues of symmetric matrices. All the algorithms mentioned above except for the Jacobi algorithm, had firstly to reduce $A$ to bi-diagonal form. When the size of the matrix is large, this performance will become very costly. On the other hand, the Jacobi algorithm is rather slowly, though some modification has been added to it (see^[9]).

In some applications, such as the compressed sensing as well as the matrix completion problems ^[3,27] or computing the 2-norm of a matrix, only a few singular values of a large matrix are required. In these cases, it is obvious that those methods, mentioned the above, for computing the SVD is not very suitable. If only the largest singular value and the singular vectors corresponding to the largest singular value of $A$ is needed, the power method, which is used to approximate a largest eigenpair of an $n\times n$ symmetric matrix $A$, should be more suitable.

Computing the largest singular value and corresponding singular vectors of a matrix is one of the most important algorithmic tasks underlying many applications including low-rank approximation, PCA, spectral clustering, dimensionality reduction, matrix completion and topic modeling. This paper consider the problem of computing the largest singular value and singular vectors corresponding to the largest singular value of a matrix. We propose an alternating direction method, a fast general purpose method for computing the largest singular vectors of a matrix when the target matrix can only be accessed through inaccurate matrix-vector products. In the other words, the proposed method is analogous to the well-known power method, but has much better numerical behaviour than the power method. Numerical experiments show that the new method is more effective than the power method in some cases.

The rest of the paper is organized as follows. Section 2 contains some notations and some general results that are used in subsequent sections. In Section 3 we propose the alternating direction power-method in detail and give its convergence analysis. In Section 4, we use some experiments to show the effectiveness of the new method. Finally, we end the paper with a concluding remark in Section 5.

2.   Preliminaries

The following are some notations and definitions we will use later.

We use $\mathbb{R}^{m\times n}$ to denote the set of all real $m\times n$ matrices, and $\mathbb{R}^{n}$ the set of real $n\times 1$ vectors. The symbol $I$ denotes the $n\times n$ identity matrix. For a vector $x\in \mathbb{R}^{n}$, $\|x\|_2$ denotes the 2-norm of $x$. For a matrix $A\in \mathbb{R}^{n\times n}$, $A^{T}$ is used to express the transpose of $A$, rank$(A)$ is equal to the rank of a matrix $A$, $\|A\|_2$ denotes the 2-norm of $A$ and the Frobenius norm by $\|A\|_{F}$ is the maximum absolute value of the matrix entries of a matrix $A$. diag$(a_1, a_2, \ldots, a_n)$ represents the diagonal matrix with diagonal elements $a_1, a_2, \ldots, a_n$.

If $A\in \mathbb{R}^{m\times n}$, then there exist two orthogonal matrices

such that

where $\Sigma_r = \text{diag}(\sigma_1, \sigma_2, \ldots, \sigma_r)$, $\sigma_1\geq\sigma_2\geq\cdots\geq\sigma_r > 0, r = \text{rank}(A)\leqslant\min\{m, n\}$. The $\sigma_i$ are the singular values of $A$ and the vectors $u_i$ and $v_i$ are the $i$th left singular vector and the $i$th right singular vector respectively. And we have the SVD expansion

This is the well-known singular value decomposition (SVD) theorem^[2].

Lemma 2.1. (see Lemma 1.7 and Theorem 3.3 of ^[1]) Let $A\in \mathbb{R}^{m\times n}$. Then $\|A\|_2 = \|A^T\|_2 = \sqrt{\|AA^T\|_2} = \sigma_1$, where $\sigma_1$ is the largest singular value of $A$.

Lemma 2.2. (see Theorem 3.3 of ^[1]) Let $A\in \mathbb{R}^{m\times n}$ and $\sigma_i$, $u_i$, $v_i$, $i = 1, 2, \ldots, r$ be the singular values and the corresponding singular vectors of $A$ respectively. Then

Lemma 2.3. (refer to Section 2.4 of ^[2] or Theorem 3.3 of ^[1])) Assume the matrix $A\in \mathbb{R}^{m\times n}$ has rank $r > k$ and the SVD of $A$ be (2.1). The matrix approximation problem $\min\limits_{\text{rank}(Z) = k}\|A-Z\|_F$ has the solution

where $U_k = (u_1, \ldots, u_k)$, $V_k = (v_1, \ldots, v_k)$ and $\Sigma_k = \text{diag}(\sigma_1, \ldots, \sigma_k)$.

Let $A\in \mathbb{R}^{n\times n}$. The power method for computing the module largest eigenvalue of $A$ is as follows (see as Algorithm 4.1 of ^[1]).

The power method is very simple and easy to implement and is applied in many applications, for example, for the PCA problem (see ^[28]).

To compute the largest singular value and the corresponding singular vectors of $A$, we can apply the power method to $AA^T$ or $A^TA$, without actually computing $AA^T$ or $A^TA$.

However, the power method will cost extra operations if the two singular vectors are needed and, in some cases, it converges very slowly. So, in the next section, we will propose a new iteration method for computing the largest singular value and the corresponding singular vectors of a matrix, which is similar to the power method but needs fewer operations in the iterations.

3.   An alternating direction power-method

In this section, we will introduce an alternating direction power iteration method. The new method is based on an important property of the SVD.

From Lemma 2.3, it is known that the largest singular value $\sigma_1$ and the corresponding singular vectors $u_1$, $v_1$ of $A$ satisfy the following condition

where $u\in \mathbb{R}^{m}$ and $v\in \mathbb{R}^{n}$. Thus the problem of computing $\sigma_1$, $u_1$ and $v_1$ is equivalent to solve the optimization problem

Let $f(u, v) = \frac{1}{2}\|A-uv^T \|_F^2$. For the sake of simplicity, we will solve the equivalent optimization problem

where $u\in \mathbb{R}^{m}$ and $v\in \mathbb{R}^{n}$. However, the problem (3.1) is difficult to solve since it is not convex for $u$ and $v$. Fortunately, it is convex for $u$ individually and so is $v$, so we can use the alternating direction method to solve it. Alternating minimization is widely used in optimization problems due to its simplicity, low memory and flexibility (see ^[20,29]). In the following we apply an alternating method to solve the unconstrained optimization problem (3.1).

Suppose $v_k$ was known, then (3.1) can be reduced to the unconstrained optimization problem

The (3.2) can be solved by many efficient methods, such as steepest decent method, Newton method, conjugate gradient (CG) method and so on (see ^[29]). Because Newton method is simple and converges fast, we will choose to use the Newton method. By direct calculation, we get

Then applying Newton method, we get

Alternatively, when $u_{k+1}$ is known, the problem (3.1) can be reduced to

Also,

it is obtained that by applying Newton method

Solving (3.2) and (3.3) to high accuracy is both computationally expensive and of limited value if $u_k$ and $v_k$ are far from stationary points. So, in the following, we apply the two iterations alternately. Thus the alternating directional Newton method for solving (3.1) is

where $u_0\in \mathbb{R}^{m}$ and $v_0\in \mathbb{R}^{n}$ are both initial guesses. At each iteration, only two matrix-vector multiplications are required and the operation costs are about $4mn$, which is less than that of the power method.

Next, the convergence analysis of (3.4) would be provided.

Theorem 3.1 Let $A\in \mathbb{R}^{m\times n}$ and $\sigma_1$, $u$, $v$ be the largest singular value and the corresponding singular vectors of $A$ respectively. If $u_0\in \mathbb{R}^{m}$ and $v_0\in \mathbb{R}^{n}$ are both initial guesses such that the projections on $u$ and $v$ are not zero, then the iteration (3.4) is convergent with

and

Proof. From (3.4) we can deduce that

As in the proof of the power method (see as ^[2]), if the projections of $u_0$ on $u$, and $v_0$ on $v$ are not zero, then we have

On the other hand, we have

Thus the sequence $\{\|u_{k}\|_2\cdot\|v_{k}\|_2\}$ is bounded from the above. By

we can conclude that when $k\rightarrow \infty$

Therefore,

We now propose the alternating direction power-method with the discussions above for computing the largest singular value and corresponding singular vectors of a matrix as follows.

4.   Numerical experiments

Here, we use several examples to show the effectiveness of the alternating direction power-method (ADPM). We compare ADPM with the power method (PM) and present numerical results in terms of the numbers of iterations (IT), CPU time (CPU) in seconds and the residue (RES), where the measurement method of CPU time in seconds is uniformly averages over multiple runs by embed MATLAB functions ${\tt tic/toc}$ at each iteration step and

The initial vectors $u_0$ and $v_0$ are chosen randomly by the MATLAB statements $u_0 = rand(m, 1)$ and $v_0 = rand(n, 1)$. In our implementations all iterations are performed in MATLAB (R2016a) on the same workstation with an Intel(R) Core(TM) i7-6700 CPU @ 3.40GHz that has 16GB memory and 32-bit operating system, and are terminated when the current iterate satisfies RES$< e^{-12}$ or the number of iterations is more than 9000, which is denoted by '-'.

Experiment 4.1. In the first experiment, we generate random matrices with uniformly distributed elements by the MATLAB statement

For different sizes of $m$ and $n$, we apply the power method and the alternating direction power-method with numerical results reported in Table 1.

Table 1.  Numerical results of Experiment 4.1.

$m$	$n$	Method	IT	CPU	RES	RATIO(%)
500	100	PM	7	0.001340	1.4211e-13
		ADPM	4	0.000471	1.4172e-15	35.15
500	200	PM	7	0.002753	5.6843e-14
		ADPM	4	0.000641	2.8422e-14	23.28
1000	200	PM	7	0.015660	2.8422e-14
		ADPM	4	0.003914	1.7053e-13	24.99
1000	500	PM	6	0.017024	2.8422e-13
		ADPM	3	0.004934	2.8422e-13	28.98
2000	500	PM	6	0.030742	5.6843e-14
		ADPM	3	0.016660	1.1369e-13	54.19
2000	1000	PM	6	0.060125	4.5475e-13
		ADPM	3	0.014466	1.1369e-13	24.05

---

 | Show Table

DownLoad: CSV

Experiment 4.2. In this experiment, we generate random matrices with normally distributed elements by

For different sizes of $m$ and $n$, we apply the power method and the alternating direction power-method to $A$.

Numerical results are reported in Table 2.

Table 2.  Numerical results of Experiment 4.2.

$m$	$n$	Method	IT	CPU	RES	RATIO (%)
500	100	PM	711	0.084958	9.2371e-13
		ADPM	372	0.046376	9.6634e-13	54.59
500	200	PM	652	0.084715	8.8818e-13
		ADPM	449	0.058401	9.3081e-13	68.94
1000	200	PM	1124	0.159432	9.9476e-13
		ADPM	700	0.121118	9.7344e-13	75.96
1000	500	PM	1288	1.122289	9.8055e-13
		ADPM	782	0.378765	9.8765e-13	33.75
2000	500	PM	1744	3.627609	9.6634e-13
		ADPM	961	1.221796	9.0949e-13	33.68
2000	1000	PM	4364	20.032671	9.9476e-13
		ADPM	2377	5.696365	9.0949e-13	28.42

---

 | Show Table

DownLoad: CSV

Experiment 4.3. In this experiment, we use some test matrices with size $n\times n$ from the university of Florida sparse matrix collection ^[30]. Numerical results are reported in Table 3.

Table 3.  Numerical results of Experiment 4.3.

Matrix	size	Method	IT	CPU	RES	RATIO(%)
lshp1009	1009	PM	1488	0.064107	9.9298e-13
		ADPM	745	0.019718	9.9654e-13	30.76
dwt_1005	1035	PM	40	0.005109	7.2120e-13
		ADPM	35	0.003844	6.2172e-13	75.24
bcsstk13	2003	PM	1519	0.511403	9.7877e-13
		ADPM	842	0.174025	9.9920e-13	34.03
dwt_2680	2680	PM	514	0.070507	1.4172e-09
		ADPM	239	0.046361	9.7167e-13	65.75
rw5151	5151	PM	1006	0.128023	9.8632e-13
		ADPM	590	0.057257	9.7056e-13	44.72
g7jac040	11790	PM	26	0.038169	0
		ADPM	17	0.012170	0	31.88
epb1	14734	PM	-	-	-	-
		ADPM	6132	1.541585	9.9926e-13	-

---

 | Show Table

DownLoad: CSV

In particular, compared with the cost of the power method, we can find that the cost of the alternating direction power-method is discounted, up to 23.28%. The "RATIO", defined in the following, in the Tables 1–3 can show this effectiveness.

In order to show numerical behave of two methods, the cost curves of the methods are clearly given, which are shown in Figures 1–3.

Figure 1.  Comparison curve of the PM and ADPM methods for Example 4.1.

DownLoad: Full-Size Img PowerPoint

Figure 2.  Comparison curve of the PM and ADPM methods for Example 4.2.

DownLoad: Full-Size Img PowerPoint

Figure 3.  Comparison curve of the PM and ADPM methods for Example 4.3.

DownLoad: Full-Size Img PowerPoint

From Tables 1–3, we can conclude that ADPM needs fewer iterations and less CPU time than the power method. So it is feasible and is effective in some cases.

5.   Conclusions

In this study, we have proposed an alternating direction power-method for computing the largest singular value and singular vector of a matrix, which is analogs to the power method but needs fewer operations in the iterations since using the technique of alternating. Convergence of the alternating direction power-method is proved under suitable conditions. Numerical experiments have shown that the alternating direction power-method is feasible and more effective than the power method in some cases.

Acknowledgments

The authors are very much indebted to the anonymous referees for their helpful comments and suggestions which greatly improved the original manuscript of this paper. The authors are so thankful for the support from the NSF of Shanxi Province (201901D211423) and the scientific research project of Taiyuan University, China (21TYKY02).

Conflict of interest

The authors declare that they have no conflict of interests.