Struct SpectralTripleData 

pub struct SpectralTripleData {
    pub algebra_name: String,
    pub hilbert_dim: usize,
    pub dirac_eigenvalues: Vec<f64>,
    pub ko_dim: u32,
}

Data for verifying whether a candidate (A, H, D) forms a valid spectral triple.

A valid spectral triple requires:

1. A acts faithfully on H.
2. D is self-adjoint with compact resolvent.
3. [D, a] is bounded for all a ∈ A.

Fields

algebra_name: String

Name of the algebra A.

hilbert_dim: usize

Dimension of the Hilbert space (finite approximation; 0 = infinite).

dirac_eigenvalues: Vec<f64>

Eigenvalues of |D| in non-decreasing order (finite sample).

ko_dim: u32

KO-dimension of the triple.

Implementations

impl SpectralTripleData

pub fn new( algebra_name: impl Into<String>, hilbert_dim: usize, ko_dim: u32, ) -> Self

Construct a SpectralTripleData record.

pub fn with_eigenvalues(self, eigenvalues: Vec<f64>) -> Self

Add a sample of Dirac eigenvalues (should be given in non-decreasing order).

pub fn resolvent_is_compact(&self) -> bool

Check that the supplied eigenvalues are consistent with compact resolvent (eigenvalues must accumulate only at +∞).

pub fn estimate_metric_dimension(&self) -> f64

Estimate the metric dimension from the growth rate λ_n ~ C · n^{1/p}.

Fits p by least-squares on log(n) vs log(λ_n).

pub fn summary(&self) -> String

Returns a summary description of this spectral triple.

Trait Implementations

impl Clone for SpectralTripleData

fn clone(&self) -> SpectralTripleData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpectralTripleData

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

Formats the value using the given formatter.