Encrypted SVD

L4 · Application Components
svd · 1 specification · 0 implementations · no benchmarks yet
WHAT IT ISCompute the singular values of an encrypted matrix under CKKS.
CKKS
SIGNATURE
kernel svd<N: u32>(
%a: secret<tensor<N x N x f64>>,
) -> %s: secret<tensor<N x f64>>
Sizes and element types are left open here. A specification fixes them; an implementation says over which of them it works.
DESCRIPTION

Definition

The singular value decomposition factors a matrix AA of order NN as

A=UΣV,A = U\,\Sigma\,V^{\top},

where UU and VV are orthogonal and Σ\Sigma is diagonal, carrying the singular values

σ1σ2σN0\sigma_1 \ge \sigma_2 \ge \cdots \ge \sigma_N \ge 0

on its diagonal. The singular values are the nonnegative square roots of the eigenvalues of AAA^{\top}A (equivalently AAA A^{\top}); they always exist and are real and nonnegative for any real matrix. This kernel takes an encrypted square matrix and returns its singular values.

Mathematical Domain

The decomposition is defined for matrices over the reals or complexes. Under a homomorphic scheme the entries are held encrypted; over the reals under CKKS the arithmetic is approximate, so the returned singular values are numerical approximations of the true ones.

Singular values are harder to obtain homomorphically than a matrix product because the classical algorithms rest on operations a homomorphic scheme does not provide natively: square roots, comparisons and sorting, normalization, and convergence tests. Approaches over encrypted data are therefore iterative and lean on polynomial approximations of these primitives, converging toward the singular values with repeated ring operations. The kernel prescribes no particular method; the number of steps and the accuracy reached depend on the technique and on the spectrum of AA.

Parameters Defined by Specifications

A specification narrows the general operation into a concrete problem by fixing:

  • the entry domain and homomorphic scheme (for example f64 under CKKS)
  • the matrix order NN and its shape (here, square)
  • which quantities are required — here the singular values only, not the factors UU and VV
  • any range or conditioning assumptions that make the accuracy well-defined
  • the accuracy rule and how closeness is scored

Applications

Singular values drive principal-component analysis and dimensionality reduction, low-rank and best-rank-kk approximation, rank and condition-number estimation, total least squares, denoising, and recommendation systems. Computing them over encrypted data lets these analytics run on confidential matrices — feature tables, covariance data, or user–item ratings — without revealing the underlying data or its spectrum.

MAINTAINER
FM
fairmathreviews specifications · resolves disputes
USED BY · 0 KERNELS
Kernels above this one. If this kernel is wrong, or slow, they are wrong or slow with it.Nothing depends on this kernel yet.
BUILDS ON · 0 KERNELS
Kernels this one is stated in terms of. Not a call graph — a statement of dependence between problems.Nothing. This kernel sits at the bottom of the graph.
RECENT ACTIVITYNothing yet.