Last updated: 2021-10-25

Checks: 7 0

Knit directory: misc/analysis/

This reproducible R Markdown analysis was created with workflowr (version 1.6.2). The Checks tab describes the reproducibility checks that were applied when the results were created. The Past versions tab lists the development history.


Great! Since the R Markdown file has been committed to the Git repository, you know the exact version of the code that produced these results.

Great job! The global environment was empty. Objects defined in the global environment can affect the analysis in your R Markdown file in unknown ways. For reproduciblity it’s best to always run the code in an empty environment.

The command set.seed(1) was run prior to running the code in the R Markdown file. Setting a seed ensures that any results that rely on randomness, e.g. subsampling or permutations, are reproducible.

Great job! Recording the operating system, R version, and package versions is critical for reproducibility.

Nice! There were no cached chunks for this analysis, so you can be confident that you successfully produced the results during this run.

Great job! Using relative paths to the files within your workflowr project makes it easier to run your code on other machines.

Great! You are using Git for version control. Tracking code development and connecting the code version to the results is critical for reproducibility.

The results in this page were generated with repository version bdcde14. See the Past versions tab to see a history of the changes made to the R Markdown and HTML files.

Note that you need to be careful to ensure that all relevant files for the analysis have been committed to Git prior to generating the results (you can use wflow_publish or wflow_git_commit). workflowr only checks the R Markdown file, but you know if there are other scripts or data files that it depends on. Below is the status of the Git repository when the results were generated:


Ignored files:
    Ignored:    .DS_Store
    Ignored:    .Rhistory
    Ignored:    .Rproj.user/
    Ignored:    analysis/.RData
    Ignored:    analysis/.Rhistory
    Ignored:    analysis/ALStruct_cache/
    Ignored:    data/.Rhistory
    Ignored:    data/pbmc/

Untracked files:
    Untracked:  .dropbox
    Untracked:  Icon
    Untracked:  analysis/GHstan.Rmd
    Untracked:  analysis/GTEX-cogaps.Rmd
    Untracked:  analysis/PACS.Rmd
    Untracked:  analysis/Rplot.png
    Untracked:  analysis/SPCAvRP.rmd
    Untracked:  analysis/admm_02.Rmd
    Untracked:  analysis/admm_03.Rmd
    Untracked:  analysis/compare-transformed-models.Rmd
    Untracked:  analysis/cormotif.Rmd
    Untracked:  analysis/cp_ash.Rmd
    Untracked:  analysis/eQTL.perm.rand.pdf
    Untracked:  analysis/eb_prepilot.Rmd
    Untracked:  analysis/eb_var.Rmd
    Untracked:  analysis/ebpmf1.Rmd
    Untracked:  analysis/fa_check_identify.Rmd
    Untracked:  analysis/fa_iterative.Rmd
    Untracked:  analysis/flash_test_tree.Rmd
    Untracked:  analysis/flash_tree.Rmd
    Untracked:  analysis/ieQTL.perm.rand.pdf
    Untracked:  analysis/lasso_em_03.Rmd
    Untracked:  analysis/m6amash.Rmd
    Untracked:  analysis/mash_bhat_z.Rmd
    Untracked:  analysis/mash_ieqtl_permutations.Rmd
    Untracked:  analysis/mixsqp.Rmd
    Untracked:  analysis/mr.ash_lasso_init.Rmd
    Untracked:  analysis/mr.mash.test.Rmd
    Untracked:  analysis/mr_ash_modular.Rmd
    Untracked:  analysis/mr_ash_parameterization.Rmd
    Untracked:  analysis/mr_ash_ridge.Rmd
    Untracked:  analysis/mv_gaussian_message_passing.Rmd
    Untracked:  analysis/nejm.Rmd
    Untracked:  analysis/nmf_bg.Rmd
    Untracked:  analysis/normal_conditional_on_r2.Rmd
    Untracked:  analysis/normalize.Rmd
    Untracked:  analysis/pbmc.Rmd
    Untracked:  analysis/pca_binary_weighted.Rmd
    Untracked:  analysis/pca_l1.Rmd
    Untracked:  analysis/poisson_transform.Rmd
    Untracked:  analysis/pseudodata.Rmd
    Untracked:  analysis/qrnotes.txt
    Untracked:  analysis/ridge_iterative_02.Rmd
    Untracked:  analysis/ridge_iterative_splitting.Rmd
    Untracked:  analysis/samps/
    Untracked:  analysis/sc_bimodal.Rmd
    Untracked:  analysis/shrinkage_comparisons_changepoints.Rmd
    Untracked:  analysis/susie_en.Rmd
    Untracked:  analysis/susie_z_investigate.Rmd
    Untracked:  analysis/svd-timing.Rmd
    Untracked:  analysis/temp.RDS
    Untracked:  analysis/temp.Rmd
    Untracked:  analysis/test-figure/
    Untracked:  analysis/test.Rmd
    Untracked:  analysis/test.Rpres
    Untracked:  analysis/test.md
    Untracked:  analysis/test_qr.R
    Untracked:  analysis/test_sparse.Rmd
    Untracked:  analysis/tree_dist_top_eigenvector.Rmd
    Untracked:  analysis/z.txt
    Untracked:  code/multivariate_testfuncs.R
    Untracked:  code/rqb.hacked.R
    Untracked:  data/4matthew/
    Untracked:  data/4matthew2/
    Untracked:  data/E-MTAB-2805.processed.1/
    Untracked:  data/ENSG00000156738.Sim_Y2.RDS
    Untracked:  data/GDS5363_full.soft.gz
    Untracked:  data/GSE41265_allGenesTPM.txt
    Untracked:  data/Muscle_Skeletal.ACTN3.pm1Mb.RDS
    Untracked:  data/Thyroid.FMO2.pm1Mb.RDS
    Untracked:  data/bmass.HaemgenRBC2016.MAF01.Vs2.MergedDataSources.200kRanSubset.ChrBPMAFMarkerZScores.vs1.txt.gz
    Untracked:  data/bmass.HaemgenRBC2016.Vs2.NewSNPs.ZScores.hclust.vs1.txt
    Untracked:  data/bmass.HaemgenRBC2016.Vs2.PreviousSNPs.ZScores.hclust.vs1.txt
    Untracked:  data/eb_prepilot/
    Untracked:  data/finemap_data/fmo2.sim/b.txt
    Untracked:  data/finemap_data/fmo2.sim/dap_out.txt
    Untracked:  data/finemap_data/fmo2.sim/dap_out2.txt
    Untracked:  data/finemap_data/fmo2.sim/dap_out2_snp.txt
    Untracked:  data/finemap_data/fmo2.sim/dap_out_snp.txt
    Untracked:  data/finemap_data/fmo2.sim/data
    Untracked:  data/finemap_data/fmo2.sim/fmo2.sim.config
    Untracked:  data/finemap_data/fmo2.sim/fmo2.sim.k
    Untracked:  data/finemap_data/fmo2.sim/fmo2.sim.k4.config
    Untracked:  data/finemap_data/fmo2.sim/fmo2.sim.k4.snp
    Untracked:  data/finemap_data/fmo2.sim/fmo2.sim.ld
    Untracked:  data/finemap_data/fmo2.sim/fmo2.sim.snp
    Untracked:  data/finemap_data/fmo2.sim/fmo2.sim.z
    Untracked:  data/finemap_data/fmo2.sim/pos.txt
    Untracked:  data/logm.csv
    Untracked:  data/m.cd.RDS
    Untracked:  data/m.cdu.old.RDS
    Untracked:  data/m.new.cd.RDS
    Untracked:  data/m.old.cd.RDS
    Untracked:  data/mainbib.bib.old
    Untracked:  data/mat.csv
    Untracked:  data/mat.txt
    Untracked:  data/mat_new.csv
    Untracked:  data/matrix_lik.rds
    Untracked:  data/paintor_data/
    Untracked:  data/running_data_chris.csv
    Untracked:  data/running_data_matthew.csv
    Untracked:  data/temp.txt
    Untracked:  data/y.txt
    Untracked:  data/y_f.txt
    Untracked:  data/zscore_jointLCLs_m6AQTLs_susie_eQTLpruned.rds
    Untracked:  data/zscore_jointLCLs_random.rds
    Untracked:  explore_udi.R
    Untracked:  output/fit.k10.rds
    Untracked:  output/fit.varbvs.RDS
    Untracked:  output/glmnet.fit.RDS
    Untracked:  output/test.bv.txt
    Untracked:  output/test.gamma.txt
    Untracked:  output/test.hyp.txt
    Untracked:  output/test.log.txt
    Untracked:  output/test.param.txt
    Untracked:  output/test2.bv.txt
    Untracked:  output/test2.gamma.txt
    Untracked:  output/test2.hyp.txt
    Untracked:  output/test2.log.txt
    Untracked:  output/test2.param.txt
    Untracked:  output/test3.bv.txt
    Untracked:  output/test3.gamma.txt
    Untracked:  output/test3.hyp.txt
    Untracked:  output/test3.log.txt
    Untracked:  output/test3.param.txt
    Untracked:  output/test4.bv.txt
    Untracked:  output/test4.gamma.txt
    Untracked:  output/test4.hyp.txt
    Untracked:  output/test4.log.txt
    Untracked:  output/test4.param.txt
    Untracked:  output/test5.bv.txt
    Untracked:  output/test5.gamma.txt
    Untracked:  output/test5.hyp.txt
    Untracked:  output/test5.log.txt
    Untracked:  output/test5.param.txt

Unstaged changes:
    Modified:   analysis/mr_ash_pen.Rmd
    Modified:   analysis/susie_flash.Rmd

Note that any generated files, e.g. HTML, png, CSS, etc., are not included in this status report because it is ok for generated content to have uncommitted changes.


These are the previous versions of the repository in which changes were made to the R Markdown (analysis/spca_objective1.Rmd) and HTML (docs/spca_objective1.html) files. If you’ve configured a remote Git repository (see ?wflow_git_remote), click on the hyperlinks in the table below to view the files as they were in that past version.

File Version Author Date Message
Rmd bdcde14 Matthew Stephens 2021-10-25 workflowr::wflow_publish(“spca_objective1.Rmd”)

Introduction

My goal here is to make some notes on a specific approach to PCA that we could extend to sparse PCA.

In brief let \(X\) be an \(n \times p\) data matrix, and consider seeking matrices \(L\) (\(n \times k\)) and \(F\) (\(p \times k\)) to \[\text{min}_{L,F} ||X - LF'||_2^2 \text{ subject to } L'L=I_k\] Here \(||A||_2^2\) denotes the squared Frobenius norm of \(A\) (the sum of squared entries of the matrix).

Obviously one can write the above as \[\text{min}_{F} \text{min}_{L:L'L=I_k} ||X - LF'||_2^2 \] We will show that the inner part of this minimization:

\[h(F; X):= \text{min}_{L:L'L=I_k} ||X - LF'||_2^2\] depends on \(F\) only through \(FF'\) and depends on \(X\) only through \(X'X\). Furthermore \(h(F;X)=0\) if \(FF'=X'X\). This demonstrates that the above formulation of PCA is finding an \(F\) such that \(FF'\) approximates \(X'X\).

Notation

For a matrix \(A=(a_{ij})\) let \(A'\) denote its transpose, and \(||A||_2^2\) denote the squared Frobenius norm, \[||A||_2^2 = \sum a_{ij}^2 = \tr(A'A)\] If \(A\) has svd \(A=UDV'\) then let \(\sigma(A)=diag(D)\) denote the vector of singular values, and \(\text{Polar}(A):=UV'\) (which is the \(U\) part of the polar decomposition of \(A=UP\)). If \(A\) is psd then let \(\sqrt{A}\) denote the matrix \(A=UD^{0.5}V'\) (\(=UD^{0.5}U'\) since \(U=V\) for psd \(A\)). Thus if \(A=UDV'\) then \(\sqrt(AA')= UDU'\).

Let \(||A||_*\) denote the trace norm (nuclear norm) of \(A\). \[||A||_* = \sum_i \sigma_i(A) = \sum_i \sigma_i(\sqrt{A'A}) = tr(\sqrt{A'A}) = ||\sqrt{A'A}||_*\] Note that the trace norm is unitarily invariant (eg see https://nhigham.com/2021/02/02/what-is-a-unitarily-invariant-norm/). That is, if \(U\) and \(V\) are unitary (meaning \(UU'=I\), and \(U'U=I\)) then \[||U'AV||_* = ||A||_*.\]

Derivations

Recall that we defined \[h(F; X) := min_{L:L'L=I_k} ||X - LF'||_2^2\]

We state two key results. First, the minimum over \(L\) is attained by \(\hat{L}=Polar(XF)\). Second \(h(F;X)\) depends on \(F\) only through \(FF'\) and on \(X\) only through \(X'X\). Also if \(FF'=X'X\) then \(h(F;X)=0\). So \(h\) is a measure of difference between \(FF'\) and \(X'X\).

The first result follows directly from Theorem 4 in Zou et al ("Sparse Principal Components analysis), so we focus on the second.

First note that if \(XF=UDV'\) then \(\hat{L}=Polar(XF)=UV'\) so \[\hat{L}F'X' = UV'VDU'=UDU'= \sqrt{XFF'X'}\]

Also for any \(L'L=I\) we have \[||X - LF'||_2^2 = \text{Tr}{(X-LF')'(X-LF')} = \text{Tr}(X'X - 2X'LF' + FL'LF') = \text{Tr}(X'X - 2LF'X' + FF')\]

Putting this together: \[||X - \hat{L}F'||_2^2 = \text{Tr}(X'X - 2\sqrt{XFF'X'} + FF')\]

Note that \[Tr(\sqrt{XFF'X'}) = ||XF||_* = ||\sqrt{X'X}\sqrt{FF'}||_*\] This can be proved by the unitary property of \(||.||_*\).

Note: initially I mistakenly thought that this could be further simplified to \(||\sqrt{X'X}\sqrt{FF'}||_* = \text{Tr}(\sqrt{X'X}\sqrt{FF'})\). However, this is not true because \(\sqrt{X'X}\sqrt{FF'}\) is generally not SPD (and indeed, not symmetric).

Here was some code I used to make some numeric checks of some of these results.

n = 10
p = 5
k= 6
X = matrix(rnorm(n*p),nrow=n,ncol=p)
F = matrix(rnorm(k*p), nrow= p, ncol=k)

XF = X %*% F
norm = function(A){sum(svd(A)$d)}
sqrt_AtA = function(A){A.e = eigen(t(A)%*%A); d = A.e$values; v = A.e$vectors; return(v %*% diag(ifelse(d>0,sqrt(d),0)) %*% t(v))}

tr = function(A){return(sum(diag(A)))}

norm(X %*% F) - norm(sqrt_AtA(X) %*% sqrt_AtA(t(F)))
[1] -2.4869e-14
X.svd = svd(X)
X.u = X.svd$u
X.d = X.svd$d
X.v = X.svd$v

norm(X)
[1] 11.8675
norm(X.u %*% diag(X.d) %*% t(X.v))
[1] 11.8675
norm(diag(X.d) %*% t(X.v))
[1] 11.8675
norm(X.v %*% diag(X.d) %*% t(X.v))
[1] 11.8675
tr(X.v %*% diag(X.d) %*% t(X.v))
[1] 11.8675
F.svd = svd(F)
F.u = F.svd$u
F.d = F.svd$d
F.v = F.svd$v

norm(X %*% F)
[1] 24.88342
norm(X.u %*% diag(X.d) %*% t(X.v) %*% F.u %*% diag(F.d) %*% t(F.v))
[1] 24.88342
norm(diag(X.d) %*% t(X.v) %*% F.u %*% diag(F.d))
[1] 24.88342
norm(X.v %*% diag(X.d) %*% t(X.v) %*% F.u %*% diag(F.d) %*% t(F.u))
[1] 24.88342

sessionInfo()
R version 4.1.0 Patched (2021-07-20 r80657)
Platform: aarch64-apple-darwin20 (64-bit)
Running under: macOS Big Sur 11.6

Matrix products: default
BLAS:   /Library/Frameworks/R.framework/Versions/4.1-arm64/Resources/lib/libRblas.0.dylib
LAPACK: /Library/Frameworks/R.framework/Versions/4.1-arm64/Resources/lib/libRlapack.dylib

locale:
[1] en_US.UTF-8/en_US.UTF-8/en_US.UTF-8/C/en_US.UTF-8/en_US.UTF-8

attached base packages:
[1] stats     graphics  grDevices utils     datasets  methods   base     

loaded via a namespace (and not attached):
 [1] Rcpp_1.0.7        whisker_0.4       knitr_1.33        magrittr_2.0.1   
 [5] workflowr_1.6.2   R6_2.5.1          rlang_0.4.11      fansi_0.5.0      
 [9] stringr_1.4.0     tools_4.1.0       xfun_0.24         utf8_1.2.2       
[13] git2r_0.28.0      htmltools_0.5.1.1 ellipsis_0.3.2    rprojroot_2.0.2  
[17] yaml_2.2.1        digest_0.6.27     tibble_3.1.4      lifecycle_1.0.1  
[21] crayon_1.4.1      later_1.2.0       vctrs_0.3.8       fs_1.5.0         
[25] promises_1.2.0.1  glue_1.4.2        evaluate_0.14     rmarkdown_2.9    
[29] stringi_1.7.3     compiler_4.1.0    pillar_1.6.3      httpuv_1.6.1     
[33] pkgconfig_2.0.3