FISTA

Struct FISTA 

Source
pub struct FISTA { /* private fields */ }
Expand description

FISTA (Fast Iterative Shrinkage-Thresholding Algorithm).

Accelerated proximal gradient method for minimizing composite objectives:

minimize f(x) + g(x)

where f is smooth and convex, g is convex (possibly non-smooth but “simple”).

FISTA achieves O(1/k²) convergence rate using Nesterov acceleration, compared to O(1/k) for standard proximal gradient (ISTA).

§Key Applications

  • Lasso regression: f(x) = ½‖Ax - b‖², g(x) = λ‖x‖₁
  • Elastic Net: f(x) = ½‖Ax - b‖², g(x) = λ₁‖x‖₁ + λ₂‖x‖₂²
  • Total variation: Image denoising with TV regularization
  • Non-negative least squares: f(x) = ½‖Ax - b‖², g(x) = indicator(x ≥ 0)

§Example

use aprender::optim::{FISTA, Optimizer, prox};
use aprender::primitives::Vector;

// Minimize: ½(x - 5)² + 2|x|  (L1-regularized quadratic)
let smooth = |x: &Vector<f32>| 0.5 * (x[0] - 5.0).powi(2);
let grad_smooth = |x: &Vector<f32>| Vector::from_slice(&[x[0] - 5.0]);
let proximal = |v: &Vector<f32>, _alpha: f32| prox::soft_threshold(v, 2.0);

let mut fista = FISTA::new(1000, 0.1, 1e-5);
let x0 = Vector::from_slice(&[0.0]);
let result = fista.minimize(smooth, grad_smooth, proximal, x0);

// Check that optimization completed successfully
assert!(!result.solution[0].is_nan());

§References

  • Beck & Teboulle (2009). “A fast iterative shrinkage-thresholding algorithm for linear inverse problems.” SIAM Journal on Imaging Sciences, 2(1), 183-202.

Implementations§

Source§

impl FISTA

Source

pub fn new(max_iter: usize, step_size: f32, tol: f32) -> Self

Creates a new FISTA optimizer.

§Arguments
  • max_iter - Maximum number of iterations
  • step_size - Step size α (should be ≤ 1/L where L is Lipschitz constant of ∇f)
  • tol - Convergence tolerance
§Returns

New FISTA optimizer instance

§Example
use aprender::optim::FISTA;

let optimizer = FISTA::new(1000, 0.01, 1e-6);
Source

pub fn minimize<F, G, P>( &mut self, smooth: F, grad_smooth: G, prox: P, x0: Vector<f32>, ) -> OptimizationResult
where F: Fn(&Vector<f32>) -> f32, G: Fn(&Vector<f32>) -> Vector<f32>, P: Fn(&Vector<f32>, f32) -> Vector<f32>,

Minimizes a composite objective function using FISTA.

Solves: minimize f(x) + g(x) where f is smooth, g is “simple” (has easy prox).

§Type Parameters
  • F - Smooth objective function type
  • G - Gradient of smooth part type
  • P - Proximal operator type
§Arguments
  • smooth - Smooth part f(x)
  • grad_smooth - Gradient ∇f(x)
  • prox - Proximal operator prox_g(v, α)
  • x0 - Initial point
§Returns

OptimizationResult with solution and convergence information

Trait Implementations§

Source§

impl Clone for FISTA

Source§

fn clone(&self) -> FISTA

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for FISTA

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Optimizer for FISTA

Source§

fn step(&mut self, _params: &mut Vector<f32>, _gradients: &Vector<f32>)

Stochastic update (mini-batch mode) - for SGD, Adam, RMSprop. Read more
Source§

fn reset(&mut self)

Resets the optimizer state (momentum, history, etc.). Read more
Source§

fn minimize<F, G>( &mut self, _objective: F, _gradient: G, _x0: Vector<f32>, ) -> OptimizationResult
where F: Fn(&Vector<f32>) -> f32, G: Fn(&Vector<f32>) -> Vector<f32>,

Batch optimization (deterministic mode) - for L-BFGS, CG, Damped Newton. Read more

Auto Trait Implementations§

§

impl Freeze for FISTA

§

impl RefUnwindSafe for FISTA

§

impl Send for FISTA

§

impl Sync for FISTA

§

impl Unpin for FISTA

§

impl UnwindSafe for FISTA

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V