library(rsvddpd)
library(microbenchmark)
library(matrixStats)
library(pcaMethods)
#> Loading required package: Biobase
#> Loading required package: BiocGenerics
#> Loading required package: parallel
#>
#> Attaching package: 'BiocGenerics'
#> The following objects are masked from 'package:parallel':
#>
#> clusterApply, clusterApplyLB, clusterCall, clusterEvalQ,
#> clusterExport, clusterMap, parApply, parCapply, parLapply,
#> parLapplyLB, parRapply, parSapply, parSapplyLB
#> The following objects are masked from 'package:stats':
#>
#> IQR, mad, sd, var, xtabs
#> The following objects are masked from 'package:base':
#>
#> Filter, Find, Map, Position, Reduce, anyDuplicated, append,
#> as.data.frame, basename, cbind, colnames, dirname, do.call,
#> duplicated, eval, evalq, get, grep, grepl, intersect, is.unsorted,
#> lapply, mapply, match, mget, order, paste, pmax, pmax.int, pmin,
#> pmin.int, rank, rbind, rownames, sapply, setdiff, sort, table,
#> tapply, union, unique, unsplit, which.max, which.min
#> Welcome to Bioconductor
#>
#> Vignettes contain introductory material; view with
#> 'browseVignettes()'. To cite Bioconductor, see
#> 'citation("Biobase")', and for packages 'citation("pkgname")'.
#>
#> Attaching package: 'Biobase'
#> The following objects are masked from 'package:matrixStats':
#>
#> anyMissing, rowMedians
#>
#> Attaching package: 'pcaMethods'
#> The following object is masked from 'package:stats':
#>
#> loadings
Singular Value Decomposition (SVD) is a very popular technique which is abundantly used in different applications from Bioinformatics, Image and Signal processing, Textual Analysis, Dimensional Reduction techniques etc.
However, it is often the case that the data matrix, on which SVD is generally applied on, contains outliers which are not in accord with the data generating mechanism. In such a case, usual SVD performs poorly in a sense that the singular values and the left and right singular vectors are found to be very different from the ones that would have been obtained if the data matrix was free of outliers. Hence, the dire need of a robust version of SVD is extremely prevalent, since hardly any data in practice becomes free of any type of outliers.
For illustration, consider the simple \(4\times 3\) matrix, where the elements go from \(1\) to \(12\).
<- matrix(1:12, nrow = 4, ncol = 3, byrow = TRUE)
X
X#> [,1] [,2] [,3]
#> [1,] 1 2 3
#> [2,] 4 5 6
#> [3,] 7 8 9
#> [4,] 10 11 12
and the singular value decomposition turns out the singular values as approximately \(25, 1.3\) and \(0\).
svd(X)
#> $d
#> [1] 2.546241e+01 1.290662e+00 2.503310e-15
#>
#> $u
#> [,1] [,2] [,3]
#> [1,] -0.1408767 -0.82471435 0.5418041
#> [2,] -0.3439463 -0.42626394 -0.6625522
#> [3,] -0.5470159 -0.02781353 -0.3003078
#> [4,] -0.7500855 0.37063688 0.4210560
#>
#> $v
#> [,1] [,2] [,3]
#> [1,] -0.5045331 0.76077568 -0.4082483
#> [2,] -0.5745157 0.05714052 0.8164966
#> [3,] -0.6444983 -0.64649464 -0.4082483
Now, note what happens when we contaminate a single entry of the matrix by a large outlying value.
2, 2] <- 100
X[svd(X)
#> $d
#> [1] 101.431313 18.313121 1.148165
#>
#> $u
#> [,1] [,2] [,3]
#> [1,] -0.02260136 0.1500488 0.9516017926
#> [2,] -0.98805726 -0.1540849 0.0008289283
#> [3,] -0.08969187 0.5758535 0.1322532569
#> [4,] -0.12323712 0.7887559 -0.2774210109
#>
#> $v
#> [,1] [,2] [,3]
#> [1,] -0.05752705 0.62535728 -0.778215212
#> [2,] -0.99499917 -0.09966888 -0.006539692
#> [3,] -0.08165348 0.77394728 0.627963626
All the singular values are now much different, being \(101.4, 18.3\) and \(1.14\). However, in practical cases, where \(X\) actually represent a data matrix, this can pose a serious problem.
On the other hand, using rSVDdpd
function from rsvddpd
package enables us a mitigate the effect of this outlier.
rSVDdpd(X, alpha = 0.3)
#> $d
#> [1] 25.4729767 1.2901311 0.0280741
#>
#> $u
#> [,1] [,2] [,3]
#> [1,] 0.1408240 -0.82503969 0.4775454
#> [2,] 0.3450057 -0.42538876 -0.8366693
#> [3,] 0.5467891 -0.02773026 0.2395712
#> [4,] 0.7497742 0.37092445 0.1205841
#>
#> $v
#> [,1] [,2] [,3]
#> [1,] 0.5043113 0.76325808 0.4038653
#> [2,] 0.5749968 0.05211381 -0.8164942
#> [3,] 0.6442428 -0.64398856 0.4125894
Since the function does some randomized initialization under the hood, the result might not be exactly same when you run the code again. However, you should get the singular values pretty close to the singular values of the original \(X\) before we added the outlier.
Let us take a look at what rSVDdpd
does under the hood. Before that, singular value decomposition (SVD) of a matrix \(X\) is splitting it as;
\[X_{n\times p} = U_{n \times r} D_{r\times r}V_{p\times r}^T\] Here, \(r\) is the rank of the matrix \(X\), \(D\) is a diagonal matrix with non-negative real entries, and \(U, V\) are orthogonal matrices. Since, we usually observe data matrix \(X\) with errors, the model ends up being \(X = UDV^T + \epsilon\), where \(\epsilon\) is the errors.
For simplicity, we consider \(r = 1\), i.e. \(X \approx \lambda ab^T\), where \(a, b\) are vectors of appropriate dimensions. The usual SVD can be viewed as solving the problem \(\sum_{i, j} (X_{ij} - \lambda a_i b_j)^2\), with respect to the choices of \(a_i, b_j\)’s and \(\lambda\). This \(L_2\) norm is essentially susceptible to outliers, hence people have generally tried to use \(L_1\) norm instead and tried to minimize that.
Here, we use Density Power Divergence (which is popularly used in robust estimation techniques bridging robustness and efficiency) to quantify the norm of the error. In particular, we try to minimize the function,
\[ H = \int \phi\left( \dfrac{x - \lambda a_ib_j}{\sigma} \right)^{(1 + \alpha)}dx - \dfrac{1}{np} \sum_{i=1}^{n} \sum_{j = 1}^{p} \phi\left( \dfrac{X_{ij} - \lambda a_ib_j}{\sigma} \right)^{\alpha} \] with respect to the unknowns \(\lambda, a_i, b_j\) and \(\sigma^2\), where \(\phi(\cdot)\) is the standard normal density function. However, since the above problem is actually non-convex, but is convex when one of \(a_i\)’s or \(b_j\)’s are held fixed, we iterate between situations fixing \(a_i\)’s and \(b_j\)’s and finding minimum of the other quantities respectively.
Because of the usage of standard normal density, and exponential functions, the usual algorithm suffers from underflow and overflow and the estimates tend to become NAN
or Inf
in some iterations for reasonably large or reasonably small values in the data matrix. To deal with this, rSVDdpd
function first scales all elements of the data matrix to a suitable range, and then perform the robust SVD algorithm. Finally, the scaling factor can be adjusted to obtain the original singular values.
rSVDdpd(X * 1e6, alpha = 0.3)
#> $d
#> [1] 25472980.29 1290130.68 28091.52
#>
#> $u
#> [,1] [,2] [,3]
#> [1,] 0.1408240 0.82503991 0.4775451
#> [2,] 0.3450068 0.42538806 -0.8366692
#> [3,] 0.5467889 0.02773012 0.2395718
#> [4,] 0.7497739 -0.37092478 0.1205851
#>
#> $v
#> [,1] [,2] [,3]
#> [1,] 0.5043113 -0.76326003 0.4038617
#> [2,] 0.5749969 -0.05210988 -0.8164944
#> [3,] 0.6442427 0.64398656 0.4125926
rSVDdpd(X * 1e-6, alpha = 0.3)
#> $d
#> [1] 2.547297e-05 1.290132e-06 2.804355e-08
#>
#> $u
#> [,1] [,2] [,3]
#> [1,] 0.1408241 0.82503930 0.4775461
#> [2,] 0.3450038 0.42538999 -0.8366694
#> [3,] 0.5467895 0.02773051 0.2395703
#> [4,] 0.7497747 -0.37092388 0.1205824
#>
#> $v
#> [,1] [,2] [,3]
#> [1,] 0.5043115 -0.7632546 0.4038716
#> [2,] 0.5749965 -0.0521207 -0.8164940
#> [3,] 0.6442429 0.6439921 0.4125837
As it can be seen, the function rSVDdpd
handles the very large or very small elements nicely.
<- X[, c(3, 1, 2)]
Y rSVDdpd(Y, alpha = 0.3)
#> $d
#> [1] 25.4729806 1.2901307 0.0280928
#>
#> $u
#> [,1] [,2] [,3]
#> [1,] 0.1408240 -0.82503992 0.4775450
#> [2,] 0.3450069 -0.42538801 -0.8366692
#> [3,] 0.5467889 -0.02773011 0.2395718
#> [4,] 0.7497738 0.37092480 0.1205852
#>
#> $v
#> [,1] [,2] [,3]
#> [1,] 0.6442427 -0.64398641 0.4125928
#> [2,] 0.5043112 0.76326017 0.4038615
#> [3,] 0.5749970 0.05210959 -0.8164944
As expected, the singular values do not change when the columns of the data matrix is permuted, however, the singular vector permutes in the same manner of the permutation of the columns.
An important property of SVD is that the matrix corresponding to the left and right singular vectors are orthogonal matrices. A sanity check of this property can also be verified very easily.
crossprod(rSVDdpd(X, alpha = 0.3)$u)
#> [,1] [,2] [,3]
#> [1,] 1.000000e+00 5.551115e-17 -4.163336e-17
#> [2,] 5.551115e-17 1.000000e+00 9.714451e-17
#> [3,] -4.163336e-17 9.714451e-17 1.000000e+00
As it seems, the off diagonal entries are very small values. This is ensured by introducing a Gram Schimdt Orthogonalization step between successive iterations of the algorithm.
In presence of outliers with large deviation, the performance of rSVDdpd
is fairly robust to the choice of \(\alpha\), the robustness parameter. With \(\alpha = 0\), rSVDdpd
corresponds to usual svd
function from base
package. However, with increasing \(\alpha\), the robustness increases, i.e. even a smaller deviation would not affect the singular values, while with higher \(\alpha\), the variance of the estimators generally increase.
To demonstrate the effect of \(\alpha\) on time complexity, microbenchmark
package will be used.
::microbenchmark(svd(X), rSVDdpd(X, alpha = 0), rSVDdpd(X, alpha = 0.25),
microbenchmarkrSVDdpd(X, alpha = 0.5), rSVDdpd(X, alpha = 0.75),
rSVDdpd(X, alpha = 1), times = 30)
#> Unit: microseconds
#> expr min lq mean median uq max neval
#> svd(X) 42.8 63.5 100.9700 87.75 123.0 304.1 30
#> rSVDdpd(X, alpha = 0) 136.4 172.7 292.9767 286.45 365.6 1002.5 30
#> rSVDdpd(X, alpha = 0.25) 191.9 234.1 332.5533 264.85 453.0 590.8 30
#> rSVDdpd(X, alpha = 0.5) 207.6 254.2 341.4333 302.95 442.5 566.5 30
#> rSVDdpd(X, alpha = 0.75) 220.0 253.0 377.1700 323.40 486.6 649.6 30
#> rSVDdpd(X, alpha = 1) 205.4 276.4 390.7900 380.35 474.9 868.0 30
Therefore, the execution time slightly increases with higher \(\alpha\).
To compare performances of usual SVD algorithm with that of rSVDdpd
, one can use simSVD
function, which is used to simulate data matrices based on a model and then obtain an estimate of Bias and MSE of the estimates using a Monte Carlo approach.
First, we create the true data matrix, with singular vectors taken from coefficients of orthogonal polynomials.
<- as.matrix(stats::contr.poly(10)[, 1:3])
U <- as.matrix(stats::contr.poly(4)[, 1:3])
V <- list(d = c(10, 5, 3), u = U, v = V) # true svd of the data matrix trueSVD
We can now call simSVD
function to see the performance of usual SVD algorithm under contamination from outlier.
<- simSVD(trueSVD, svdfun = svd, B = 100, seed = 2021, outlier = TRUE, out_value = 25, tau = 0.9) res
res#> $Bias
#> [1] 28.20376 21.39073 11.20089
#>
#> $MSE
#> [1] 845.4570 527.2264 208.7107
#>
#> $Variance
#> [1] 50.00523 69.66283 83.25073
#>
#> $Left
#> [1] 0.6713628 0.7145263 0.7491816
#>
#> $Right
#> [1] 0.5724405 0.5660693 0.6095304
Following is the performance of robustSvd
function from pcaMethods
package.
<- simSVD(trueSVD, svdfun = pcaMethods::robustSvd, B = 100, seed = 2021, outlier = TRUE, out_value = 25, tau = 0.9) res
res#> $Bias
#> [1] 16.29930 14.78907 16.33431
#>
#> $MSE
#> [1] 477.2494 378.6364 387.5905
#>
#> $Variance
#> [1] 211.5821 159.9197 120.7808
#>
#> $Left
#> [1] 0.4711769 0.6602616 0.7136883
#>
#> $Right
#> [1] 0.4039576 0.5323604 0.5199647
Now we compare rSVDdpd
function’s performance with the other SVD implementations.
<- simSVD(trueSVD, svdfun = rSVDdpd, B = 100, seed = 2021, outlier = TRUE, out_value = 25, tau = 0.9, alpha = 0.25) res
res#> $Bias
#> [1] 3.47466190 0.05686266 -0.22769722
#>
#> $MSE
#> [1] 104.9849391 0.6843969 0.2378147
#>
#> $Variance
#> [1] 92.9116638 0.6811636 0.1859687
#>
#> $Left
#> [1] 0.08385757 0.09691123 0.10080858
#>
#> $Right
#> [1] 0.05255743 0.07546599 0.08511308
And with \(\alpha = 0.75\), we have;
<- simSVD(trueSVD, svdfun = rSVDdpd, B = 100, seed = 2021, outlier = TRUE, out_value = 25, tau = 0.9, alpha = 0.75) res
res#> $Bias
#> [1] 0.1903417 -0.1843705 -0.2716241
#>
#> $MSE
#> [1] 0.4822773 0.1357128 0.1671783
#>
#> $Variance
#> [1] 0.44604734 0.10172035 0.09339867
#>
#> $Left
#> [1] 0.01421574 0.03210005 0.04942867
#>
#> $Right
#> [1] 0.006691835 0.020217527 0.029774606
As it can be seen, the bias and MSE are much lesser in rSVDdpd
algorithm.