 Research
 Open access
 Published:
Singular Value Homogenization: a simple preconditioning technique for linearly constrained optimization and its potential applications in medical therapy
Journal of Mathematics in Industry volume 6, Article number: 1 (2016)
Abstract
A wealth of problems occurring naturally in the applied sciences can be reformulated as optimization tasks whose argument is constrained to the solution set of a system of linear equations. Solving these efficiently typically requires computation of feasible descent directions and proper step sizes  the quality of which depends largely on conditioning of the linear equality constraint. In this paper we present a way of transforming such illconditioned problems into easily solvable, equivalent formulations by means of directly changing the singular values of the system’s associated matrix. This transformation allows us to solve problems for which corresponding routines in the LAPACK library as well as widely used projection methods converged either very slowly or not at all.
1 Introduction
In many experimental settings the information^{Footnote 1} \(z\in\mathbb{R}^{n}\) to be processed and analyzed computationally is obtained through measuring some real world data \(x\in\mathbb{R}^{m}\). The action of performing such measurement oftentimes introduces distortions or errors in the real data which, given that the distortion \(A:\mathbb{R}^{m}\rightarrow\mathbb{R}^{n}\) is known, may be inverted to recover the original data. A particularly common case (e.g. in image processing, dose computation^{Footnote 2} or convolution and deconvolution processes in general [1, 2]) occurs when this relation A between measurements and data is in fact linear or easily linearizable, i.e. if \(A\in\mathbb{R}^{m\times n}\).
It is thus natural to consider the following optimization problem
where \(f:\mathbb{R}^{n}\rightarrow\mathbb{R}\) is a continuously differentiable function and A is a real \(m\times n\) matrix. Typical (first order) approaches for solving (1.1) involve estimates of the gradient, see for example the classical works of Levitin and Polyak [3], Goldstein and Tretyakov [4] and more recent and related results [5, 6]. Hence there is the need to evaluate the term
where \(z=Ax\). In the case of illconditioned A, (1.2) gives only little information and hence long runtimes ensue, see also [7, 8].
The purpose of this paper is introduce a new preconditioning process through altering the singular value spectrum of A and then transforming (1.1) into a more benign problem. Our proposed algorithmic scheme can be used as a preconditioning process in many optimization procedures; but due to their simplicity and nice geometrical interpretation we focus here on Projection Methods. For related work using preconditioning in optimization with applications see [9, 10] and the many references therein.
The paper is organized as follows. In Section 2 we present some preliminaries and definitions that will be needed in the sequel. Later, in Section 3 the new Singular Value Homogenization (SVH) transformation is presented and analyzed. In Section 4 we present numerical experiments to linear least squares and dose deposition computation in IMRT; these results are conducted and compared with LAPACK solvers and projection methods. Finally we summarize our findings and put them into larger context in Section 5.
2 Preliminaries
In our terminology we shall always adhere to the subsequent definitions. We denote by \(\mathcal{C}^{1}(\mathbb{R}^{m}) \) the set of all continuously differentiable functions \(f:\mathbb{R}^{m}\rightarrow\mathbb{R}\).
Definition 2.1
Let \(a\in \mathbb{R} ^{n}\), \(a\neq0\) and \(\beta\in \mathbb{R} \), then \(H_{}(\alpha,\beta)\) is called a halfspace, and it is defined as
When there is equality in (2.1) then it is called a hyperplane and it is denoted by \(H(\alpha,\beta)\).
Definition 2.2
Let C be nonempty, closed and convex subset of \(\mathbb{R} ^{n}\). For any point \(x\in \mathbb{R} ^{n}\), there exists a point \(P_{C}(x)\) in C that is the unique point in C closest to x, in the sense of the Euclidean norm; that is,
The mapping \(P_{C}:\mathbb{R} ^{n}\rightarrow C\) is called the orthogonal or metric projection of \(\mathbb{R} ^{n}\) onto C. The metric projection \(P_{C}\) is characterized [11], Section 3, by the following two properties:
and
where equality in (2.4) is reached, if C is a hyperplane.
A simple example when the projection has a close formula is the following.
Example 2.3
The orthogonal projection of a point \(x\in \mathbb{R} ^{n}\) onto \(H_{}(\alpha,\beta) \) is defined as
2.1 Projection methods
Projection methods (see, e.g., [12–14]) were first used to solve systems of linear equations in Euclidean spaces in the 1930s and were subsequently extended to systems of linear inequalities. The basic step in these early algorithms consists of a projection onto a hyperplane or a halfspace. Modern projection methods are more sophisticated and they can solve the general Convex Feasibility Problem (CFP) in a Hilbert space, see, e.g., [15].
In general, projection methods are iterative algorithms that use projections onto sets while relying on the general principle that when a family of (usually closed and convex) sets is present, then projections onto the given individual sets are easier to perform than projections onto other sets (intersections, image sets under some transformation, etc.) that are derived from the given individual sets. These methods have a nice geometrical interpretation, moreover their main advantage is low computational effort and stability. This is the major reason they are so successful in realworld applications, see [16, 17].
As two prominent classical examples of projection methods, we avail the Kaczmarz [18] and Cimmino [19] algorithms for solving linear systems of the form \(Ax=b\) as above. Denote by \(a^{i}\) the ith row of A. In our presentation of these algorithms here, they are restricted to exact projection onto the corresponding hyperplane while in general relaxation is also permitted.
Algorithm 2.4
(Kaczmarz method)
 Step 0::

Let \(x^{0}\) be arbitrary initial point in \(\mathbb{R} ^{n}\), and set \(k=0\).
 Step 1::

Given the current iterate \(x^{k}\), compute the next iterate by
$$ x^{k+1}=P_{H(a^{i},b_{i})}\bigl(x^{k}\bigr):=x^{k}+ \frac{b_{i} \langle a^{i},x^{k} \rangle}{ \Vert a^{i}\Vert ^{2}}a^{i}, $$(2.6)where \(i=k\) mod \(m+1\).
 Step 2::

Set \(k\leftarrow(k+1)\) and return to Step 1.
Algorithm 2.5
(Cimmino method)
 Step 0::

Let \(x^{0}\) be arbitrary initial point in \(\mathbb{R} ^{n}\), and set \(k=0\).
 Step 1::

Given the current iterate \(x^{k}\), compute the next iterate by
$$ x^{k+1}:=\frac{1}{n}\sum_{i=1}^{n} \biggl( x^{k}+2\frac{b_{i} \langle a^{i},x^{k} \rangle}{ \Vert a^{i}\Vert ^{2}}a^{i} \biggr) . $$(2.7)  Step 2::

Set \(k\leftarrow(k+1)\) and return to Step 1.
Moreover, in order to develop the process by which we improve a matrix’s condition, understanding of the following concepts is essential.
Definition 2.6
Let A be an \(m\times n\) real (complex) matrix of rank r. The singular value decomposition of A is a factorization of the form \(A=U\Sigma V^{\ast}\) where U is an \(m\times m\) real or complex unitary matrix, Σ is an \(m\times n\) rectangular diagonal matrix with nonnegative real numbers on the diagonal, and \(V^{\ast}\) is an \(n\times n\) real or complex unitary matrix. The diagonal entries \(\sigma_{i}\) of Σ, for which holds \(\sigma_{1}\geq\sigma_{2}\geq\cdots\geq\sigma_{r}>0=\sigma_{r+1}=\cdots =\sigma_{n}\), are known as the singular values of A. The m columns \(\langle u_{1},\dots,u_{m}\rangle\) of U and the n columns \(\langle v_{1},\dots,v_{n}\rangle\) of V are called the leftsingular vectors and rightsingular vectors of A, respectively.
Definition 2.7
The condition number \(\kappa(A)\) of an \(m\times n\) matrix A is given by
and is a measure of its degeneracy. We speak of A being wellconditioned if \(\kappa(A)\approx1\) and the more illconditioned the farther away \(\kappa(A)\) is from unity.
3 Singular Value Homogenization
The illconditioning of a linear inverse problem \(Ax=z\) is directly seen in the singular value decomposition (SVD) \(A=U\Sigma V^{T}\) of its associated matrix, namely as the ratio of \(\sigma_{\mathrm{max}}/\sigma_{\mathrm{min}}\). Changes in the data along the associated first and last right singular vectors (or more generally along any two right singular vectors whose ratio of corresponding singular values is large) are only reflected in measurement changes along the major left singular vector  which poses challenges in achieving sufficient accuracy with respect to the minor singular vectors.^{Footnote 3}
A new geometrical interpretation of the above can be described in the language of projection methods. This conflicting behavior along singular vectors corresponds to projections onto hyperplanes whose normal vectors are to a high degree identically aligned, i.e. for any two such normal vectors \(n_{1},n_{2}\in\mathbb{R}^{n}\) their dot product is close to unity. A toy example for \(A\in\mathbb{R}^{3\times2}\) that will be used for visualization is provided on the left in Figure 1.
Such high degree of alignment poses challenges to classical projection methods since the progress made in each iteration is clearly humble. A much more favorable situation applies when the normal vectors’ directions are spread close to evenly over the unit circle so as to lower the conditioning of the problem. The system depicted on the right in Figure 1 is obtained from the previous illconditioned one through the easily invertible Singular Value Homogenization (SVH) transformation (described below) and visibly features such better condition. Also plotted is the progress made by the classical Kaczmarz projection method which confirms the improved runtime (left: first 50 iterations without convergence, right: convergence after seven steps).
3.1 The transformation
To achieve better condition number \(\kappa(A)\) of A we directly manipulate its SVD through introducing the SVH matrix \(\Gamma =\operatorname{diag}(\gamma_{1},\gamma_{2},\dots,\gamma_{n})\in\mathbb{R}^{n\times n}\) (\(\gamma_{i}\neq0\)) to multiply the singular values \((\sigma_{1},\sigma _{2},\dots,\sigma_{r})\), where \(r\leq\min\{n,m\}\) is the rank of A:
By proper choice of \(\gamma_{1},\dots,\gamma_{r}\), the singular values \(\tilde{\sigma_{1}},\dots,\tilde{\sigma_{r}}\) of Ã can be set to any arbitrary values. In particular, they may be chosen such \(\kappa (\tilde{A})=1\). Consequently, solving the transformed problem
iteratively does not pose difficulties to most (projection) solvers. Assume (3.2) admits a solution \(\tilde{x_{0}}\), the question then is whether we can recover (easily) a solution \(x_{0}\) satisfying
that is, the original linear subproblem.
Since Γ leaves the range of A, \(\operatorname{ran}A\subset \mathbb{R}^{n}\), invariant, solutions to (3.2) exist if and only if (3.3) admits such. Moreover, setting
a solution to (3.3) is obtained:
Thus by a scaling of the components of \(\tilde{x}_{0}\) in the coordinate system of A’s right singular vectors, which computationally does not pose any difficulties, we can solve the original problem (3.3) by working out the solution to the simpler formulation (3.2).
Example 3.1
For geometric intuition, the assignment in (3.4) can be rewritten as
where \(\tilde{\alpha}_{i}\) are the Vcoordinates of \(\tilde{x}_{0}\) and \(v_{i}\) the right singular vectors.
Equation (3.6) illustrates that the Γtransformation is in fact a translation of the solution set along these right singular vectors, proportional to the choice of \(\gamma_{i}\). The toy example from Figure 1 is used to demonstrate this effect in Figure 2.
Here
with
and rightsingular vectors visualized in red.
Applying the Γtransformation with \(\gamma_{1}=\sigma_{1}\) and \(\gamma_{2}=\sigma_{1}/\sigma_{2}\) the transformed inverse problem \(\tilde{A}x=z\) is optimally conditioned with \(\kappa(\tilde{A})=1\) and hence easily solvable with solution
which is exactly the translation expected from (3.6).
3.2 Main result
The application of this preconditioning process to optimization problems with linear subproblems as in (1.1) is the natural next step.
Theorem 3.2
Given a convex function \(f\in\mathcal{C}^{1}(\mathbb{R}^{n})\), then the minimization problem
has solution
where Γ is a diagonal matrix with nonzero diagonal elements and \(\tilde{x}_{0}\) solves
with Ã as in (3.1).
Proof
For the minimizer \(x_{0}\) we have
and hence
The statement of the theorem is thus equivalent to showing
which follows from our previous observation that Γtransformations leave kernel and range of A invariant together with (3.5). □
3.3 The algorithmic scheme
The results of the previous two sections are straightforward to encode into a program usable for actual computation. What follows is a pseudocode of the general scheme.
Algorithm 3.3
(Singular Value Homogenization)
 Step 0::

Let f and A be given as in (1.1).
 Step 1::

Compute the SVD of \(A=U\Sigma V^{T}\) and choose \(\Gamma= \operatorname{diag} (\gamma_{1},\dots,\gamma_{m})\) such that
$$ \kappa \bigl(\tilde{A}=U\Sigma\Gamma V^{T} \bigr)\approx1. $$(3.16)  Step 2::

Apply any optimization procedure to solve (3.12) and obtain a solution \(\tilde{x}_{0}\).
 Step 3::

Reconstruct the original solution \(x_{0}\) of (3.10) via
$$ x_{0}=V\Gamma V^{T}\tilde{x}_{0}. $$(3.17)
The optimal choices of Γ in Step 1 and the concrete solver to find \(\tilde{x}_{0}\) in Step 2 are likely problem specific and are as of now left as user parameters. A parameter exploration to find allpurpose configurations is included in the next section.
Furthermore, due to the nearoptimal conditioning in Step 1 the time complexity of Algorithm 3.3 is \(\mathcal{O}(\min\{ mn^{2},m^{2}n\}) \) since it is dominated by the SVD of A.
This does not necessarily prohibit from solving large linear systems as in many cases (e.g. in IMRT [20]) either the spectral gap of A is big or large and small singular values cluster together  which allows for reliable kSVD schemes that can be computed in \(\mathcal{O}(mn\log k)\) time.
4 Numerical experiments
All testing was done in both Matlab and Mathematica with negligible performance differences between the two (as both implement the same set of standard minimization algorithms).
4.1 Linear feasibility and linear least squares
The first series of experiments concerns the simplest and most often encountered formulation of (1.1) with
which corresponds to solving a linear system of equations exactly if a solution exist or in the least squares sense if it has empty intersection (here \(b\in\mathbb{R}^{n}\) is fixed).
As projection methods in general, and the Kaczmarz and Cimmino algorithms in particular, are known to perform well in such settings, we chose to compare execution of Algorithm 3.3 to these two for benchmarking. Moreover, to isolate the effects of the Γtransformation most visibly, these two algorithms are used as subroutines in Step 2 as well.
Performance was measured on a set \(\{A_{i}\in\mathbb{R}^{100\times3}\} \) of 3,000 randomly generated matrices with \(\kappa(A_{i})\in [1,10^{5}]\) and data \(x_{0}=(1,1,1)^{T}\) that the respective algorithms were run on. The convergence threshold in all cases was set to 10^{−3} and Γ chosen^{Footnote 4} such that \(\Sigma\Gamma=\sigma_{2}\cdot I\). The results are depicted in Figure 3 and Figure 4 (the presence of two graphs for Algorithm 3.3 indicate whether Kaczmarz (green) or Cimmino (red) was used as subroutine).
As expected from the results obtained in the preceding sections, both projection solvers scale poorly (indeed exponentially) with the condition number of A while Algorithm 3.3 retains constant time (≈ 0.02 s and^{Footnote 5} ≈ 0.06 s respectively) and numbers of iteration (≈ 10) necessary.
In addition, reducing the accuracy threshold (<10^{−4}) or constructing matrices of extreme condition (\(\kappa(A) \geq10^{6}\)) that result in failure to converge of Cimmino, Kaczmarz and LAPACK solvers native to Matlab and Mathematica does not impair the performance of Algorithm 3.3. That is, through appropriate Γtransformation we were able to solve very illconditioned linear problems for the first time to 10^{−5} accuracy within seconds.
4.2 \(L^{p}\) penalties and onesided \(L^{p}\) penalties
In the biomedical field of cancer treatment planning problems of the kind (1.1) occur often in calculating the optimal dose deposition in patient tissue. A typical formulation involves the linearized convolution A of radiation x into dose d and a reference dose \(r\in\mathbb{R}^{n}\) which is to be achieved under \(L^{p}\) penalties \(\Vert Axr\Vert_{p}\) or their onesided variations \(\Vert\max\{0,Axr\}\Vert_{p}\) and \(\Vert \min \{0,Axr\}\Vert_{p}\).
We examined five^{Footnote 6} cases \(\{A_{i},r_{i}\}\) that were collected from patient data under the penalties
where \(s_{i}\in\{0,1\}^{n}\) with \(\sum s_{i}=\boldsymbol{1}_{\mathbb{R} ^{n}} \) is a partition of the unit vector accounting for varied sensitivity of distinct body tissue to radiation.
The performance of Algorithm 3.3 in comparison to native Matlab and Mathematica methods is given in Table 1. \(t_{i}^{\bullet }\) is the time in seconds until convergence that Mathematica’s NMinimize and Matlab’s fminunc routines require on average whereas \(t_{i}^{\circ}\) seconds are needed for Algorithm 3.3 to converge. In the case of neither Mathematica nor Matlab finding a solution (nC for not converging), the accuracy of Algorithm 3.3’s output \(x_{0}\) is tested through the parameter μ. This is done by randomly sampling a neighborhood of \(x_{0}\) and counting instances that improve the objective. These hits are then sampled similarly until no further such points can detected. μ is the total number of neighborhoods so checked. In all cases, the improvement in f remained below 10^{−4}.
The results are parallel to what could be seen in the linear feasibility formulation and encourage further exploration.
5 Conclusion
We were able to reduce the time needed to solve a general convex optimization problem with linear subproblem for modestly sized matrices. The performance of the proposed algorithm was compared to classical LAPACK and projection methods which showed an improvement in runtimes by a factor of up to 1,190. Additionally, in many cases where LAPACK and projection solvers failed to converge, the singular value homogenization found 10^{−4} accurate solutions. These results are promising and encourage further exploration of SVH. Especially its application to structured large matrices and constrained optimization as well as indepth parameter explorations may well turn out to be worthwhile.
Notes
We chose \(\mathbb{R}\) only as it is more pertinent to most practical applications, the extension of all results to \(\mathbb{C}\) is straightforward.
Which is particularly important in intensity modulated radiation therapy IMRT from which later numerical experiments will be drawn.
Major and minor here refer to the size of the singular values associated with a singular vector.
Experimental evidence suggests that in this setting of randomized matrices such homogenization to one singular value represents the most reasonable choice; different Γ display similar behavior with overall longer runtimes.
This time difference is due to the higher overhead required for the block projections of the Cimmino algorithm.
The dose calculations are of cancerous tissue in the brain, the neck region and the prostate.
References
Sadek RA. SVD based image processing applications: state of the art, contributions and research challenges. Int J Adv Comput Sci Appl. 2012;3:2634.
Rajwade A, Rangarajan A, Banerjee A. Image denoising using the higher order singular value decomposition. IEEE Trans Pattern Anal Mach Intell. 2013;35:84961.
Levitin ES, Polyak BT. Constrained minimization problems. USSR Comput Math Math Phys. 1966;6:150.
Golshtein EG, Tretyakov NV. Modified Lagrangians and monotone maps in optimization. New York: Wiley; 1996.
Erhel J, Guyomarc’h F, Saad Y. Leastsquares polynomial filters for illconditioned linear system. Thème 4  Simulation et optimisation de systèmes complexes. Projet ALADIN, Rapport de recherche N^{∘}4175, Mai 2001, 28 pp.
Meng X, Saunders MA, Mahoney MW. LSRN: a parallel iterative solver for strongly over or underdetermined systems. SIAM J Sci Comput. 2014;36:95118.
Engl HW, Hanke M, Neubauer A. Regularization of inverse problems. Dordrecht: Kluwer Academic; 1996.
Vogel CR. Computational methods for inverse problems. Philadelphia: Society for Industrial and Applied Mathematics; 2002.
Orkisz J, Pazdanowski M. On a new feasible directions solution approach in constrained optimization. In: Onate E, Periaux J, Samuelsson A, editors. The finite element method in the 1990’s. Berlin: Springer; 1991. p. 62132.
Pazdanowski M. SVD as a preconditioner in nonlinear optimization. Comput Assist Mech Eng Sci. 2014;21:14150.
Goebel K, Reich S. Uniform convexity, hyperbolic geometry, and nonexpansive mappings. New York: Marcel Dekker; 1984.
Censor Y, Zenios SA. Parallel optimization: theory, algorithms, and applications. New York: Oxford University Press; 1997.
Galántai A. Projectors and projection methods. Dordrecht: Kluwer Academic; 2004.
Escalante R, Raydan M. Alternating projection methods. Philadelphia: Society for Industrial and Applied Mathematics; 2011.
Bauschke HH, Combettes PL. Convex analysis and monotone operator theory in Hilbert spaces. Berlin: Springer; 2011.
Censor Y, Chen W, Combettes PL, Davidi R, Herman GT. On the effectiveness of projection methods for convex feasibility problems with linear inequality constraints. Comput Optim Appl. 2012;51:106588.
Bauschke HH, Koch VR. Projection methods: Swiss Army knives for solving feasibility and best approximation problems with halfspaces. Contemp Math. 2015;636:140.
Kaczmarz S. Angenäherte Auflösung von Systemen linearer Gleichungen. Bull Int Acad Pol Sci Let. 1937;35:3557.
Cimmino G. Calcolo approssimato per le soluzioni dei sistemi di equazioni lineari. Ric Sci, Ser II. 1938;9:32633.
Webb S. Intensitymodulated radiation therapy. Boca Raton: CRC Press; 2001.
Acknowledgements
This work was supported by the Fraunhofer Institute for Industrial Mathematics  ITWM.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
D.D. ErdmannPham, A. Gibali and P. Süss contributed equally to the writing of this paper. K.H. Küfer, the head of the Optimization Department in Fraunhofer  ITWM provide technical and general support. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
ErdmannPham, DD., Gibali, A., Küfer, KH. et al. Singular Value Homogenization: a simple preconditioning technique for linearly constrained optimization and its potential applications in medical therapy. J.Math.Industry 6, 1 (2016). https://doi.org/10.1186/s1336201600175
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1336201600175