Struct QuantumGroup 

pub struct QuantumGroup {
    pub name: String,
    pub deformation_param: f64,
}

A compact quantum group with deformation parameter q.

Quantum groups (Drinfeld, Woronowicz) are Hopf C*-algebras that deform classical Lie groups. At q = 1 one recovers the classical group.

Fields

name: String

Name of the underlying classical group (e.g. “SU(2)”, “SO(3)”).

deformation_param: f64

Deformation parameter q (q = 1 gives the classical group).

Implementations

impl QuantumGroup

pub fn new(name: impl Into<String>, q: f64) -> Self

Construct the quantum group deformation of the named classical group.

pub fn is_unimodular(&self) -> bool

A compact quantum group is unimodular when the Haar state is a trace.

Classical compact groups are always unimodular; quantum deformations need not be (e.g. SUq(2) for q ≠ 1 is not unimodular in general).

pub fn classical_limit(&self) -> String

At q → 1 the quantum group specializes to the classical Lie group.

impl QuantumGroup

pub fn haar_measure_exists(&self) -> bool

Returns true when a Haar measure (state) exists on the quantum group.

Every compact quantum group in the sense of Woronowicz has a unique Haar state (the analogue of the Haar measure on a compact group).