Struct RipVerifier 

pub struct RipVerifier {
    pub sparsity: usize,
    pub num_trials: usize,
}

Verifier for the Restricted Isometry Property (RIP) of a matrix.

Checks the RIP-s condition: for all s-sparse vectors x, (1 - delta) ||x||^2 <= ||Ax||^2 <= (1 + delta) ||x||^2.

Uses a greedy approximation by testing random sparse vectors.

Fields

sparsity: usize

Sparsity level s to check.

num_trials: usize

Number of random tests to perform.

Implementations

impl RipVerifier

pub fn new(sparsity: usize, num_trials: usize) -> Self

Create a new RIP verifier.

pub fn estimate_rip_constant(&self, a: &[Vec<f64>]) -> (f64, f64)

Estimate the RIP constant delta_s for matrix A by testing sparse vectors.

Returns (delta_lower, delta_upper): the tightest bounds found over trials. A small delta_upper < 1 indicates A likely satisfies RIP-s.

pub fn satisfies_rip(&self, a: &[Vec<f64>], delta: f64) -> bool

Check whether matrix A satisfies RIP-s with parameter delta.

Returns true if the estimated RIP constant is less than delta.

pub fn soft_threshold(x: &[f64], lambda: f64) -> Vec<f64>

Soft thresholding operator for basis pursuit denoising / LASSO.

Returns the element-wise soft threshold: sign(x_i) * max(|x_i| - lambda, 0).

Trait Implementations

impl Clone for RipVerifier

fn clone(&self) -> RipVerifier

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RipVerifier

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.