amari 0.12.2

Advanced mathematical computing library with geometric algebra, tropical algebra, and automatic differentiation
Documentation

Amari v0.12.2

Comprehensive Mathematical Computing Platform with Geometric Algebra, Differential Calculus, Measure Theory, and Holographic Memory

A unified mathematical computing library featuring geometric algebra, differential calculus, measure theory, relativistic physics, tropical algebra, automatic differentiation, holographic associative memory, and information geometry. The library provides multi-GPU infrastructure with intelligent workload distribution and complete WebAssembly support for browser deployment.

Rust WebAssembly TypeScript License

Features

Core Mathematical Systems

  • Geometric Algebra (Clifford Algebra): Multivectors, rotors, and geometric products for 3D rotations and spatial transformations
  • Differential Calculus: Unified geometric calculus with scalar/vector fields, gradients, divergence, curl, and Lie derivatives
  • Measure Theory: Sigma-algebras, measurable functions, integration on geometric spaces, and probability measures
  • Relativistic Physics: Complete spacetime algebra (Cl(1,3)) with Minkowski signature for relativistic calculations
  • Tropical Algebra: Max-plus semiring operations for optimization and neural network applications
  • Automatic Differentiation: Forward-mode AD with dual numbers for exact derivatives
  • Fusion Systems: Tropical-dual-Clifford fusion combining three algebraic systems with holographic associative memory
  • Information Geometry: Statistical manifolds, KL/JS divergences, and Fisher information
  • Optimization: Gradient-based optimization with geometric constraints
  • Network Analysis: Geometric network analysis and graph neural networks
  • Cellular Automata: Geometric automata with configurable rules
  • Enumerative Geometry: Algebraic curves and enumerative computations

Multi-GPU Infrastructure

  • Multi-GPU Architecture: Infrastructure supporting up to 8 GPUs with intelligent workload distribution
  • Advanced Load Balancing: Five strategies including Balanced, CapabilityAware, MemoryAware, LatencyOptimized, and Adaptive
  • Performance Profiling: Timeline analysis with microsecond precision and automatic bottleneck detection
  • Comprehensive Benchmarking: Production-ready validation across all mathematical domains
  • Graceful Degradation: Automatic fallback to single GPU or CPU when multi-GPU unavailable

Platform Support

  • Native Rust: High-performance execution with rug (GMP/MPFR) backend for high-precision arithmetic
  • WebAssembly: Full-featured WASM bindings with dashu backend for browser compatibility
  • GPU Acceleration: WebGPU support for large-scale parallel computations
  • TypeScript Support: Complete TypeScript definitions included
  • Cross-Platform: Linux, macOS, Windows, browsers, Node.js, and edge computing environments

Installation

Rust Crates

Add to your Cargo.toml:

[dependencies]
# Complete library with all features
amari = "0.12.2"

# Or individual crates:

# Core geometric algebra and mathematical foundations
amari-core = "0.12.2"

# Differential calculus with geometric algebra
amari-calculus = "0.12.2"

# Measure theory and integration
amari-measure = "0.12.2"

# High-precision relativistic physics
amari-relativistic = { version = "0.12.2", features = ["high-precision"] }

# GPU acceleration
amari-gpu = "0.12.2"

# Optimization algorithms
amari-optimization = "0.12.2"

# Additional mathematical systems
amari-tropical = "0.12.2"
amari-dual = "0.12.2"
amari-info-geom = "0.12.2"
amari-automata = "0.12.2"
amari-fusion = "0.12.2"
amari-network = "0.12.2"
amari-enumerative = "0.12.2"

JavaScript/TypeScript (WebAssembly)

npm install @justinelliottcobb/amari-wasm

Or with yarn:

yarn add @justinelliottcobb/amari-wasm

Quick Start

Rust: Geometric Algebra

use amari_core::{Multivector, basis::Basis, rotor::Rotor};

// 3D Euclidean Clifford algebra Cl(3,0,0)
type Cl3 = Multivector<3, 0, 0>;

// Create basis vectors
let e1: Cl3 = Basis::e1();
let e2: Cl3 = Basis::e2();

// Geometric product: e1 * e2 = e1 ∧ e2 (bivector)
let e12 = e1.geometric_product(&e2);

// Create rotor for 90° rotation in xy-plane
let rotor = Rotor::from_bivector(&e12, std::f64::consts::PI / 2.0);

// Apply rotation: e1 → e2
let rotated = rotor.apply(&e1);

Rust: Differential Calculus

use amari_calculus::{ScalarField, VectorField, VectorDerivative};
use amari_core::Multivector;

// Define a scalar field f(x,y,z) = x² + y² + z²
let field = ScalarField::<3, 0, 0>::new(|pos| {
    pos[0] * pos[0] + pos[1] * pos[1] + pos[2] * pos[2]
});

// Compute gradient at a point
let point = [1.0, 2.0, 3.0];
let gradient = field.gradient(&point, 1e-6);

// Define a vector field
let vector_field = VectorField::<3, 0, 0>::new(|pos| {
    [pos[1] * pos[2], pos[0] * pos[2], pos[0] * pos[1]]
});

// Compute divergence and curl
let derivative = VectorDerivative::<3, 0, 0>::new(1e-6);
let div = derivative.divergence(&vector_field, &point);
let curl = derivative.curl(&vector_field, &point);

Rust: Tropical Algebra

use amari_tropical::TropicalNumber;

// Create tropical numbers using the constructor
let a = TropicalNumber::new(3.0);
let b = TropicalNumber::new(5.0);

// Tropical operations
let sum = a.tropical_add(&b);     // max(3, 5) = 5
let product = a.tropical_mul(&b); // 3 + 5 = 8

// Access values
println!("Tropical sum: {}", sum.value());
println!("Tropical product: {}", product.value());

// Tropical identities
let zero = TropicalNumber::<f64>::tropical_zero(); // -∞ (additive identity)
let one = TropicalNumber::<f64>::tropical_one();   // 0 (multiplicative identity)

Rust: Automatic Differentiation

use amari_dual::DualNumber;

// Create dual number for differentiation
// f(x) = x² at x = 3, with seed derivative 1
let x = DualNumber::new(3.0, 1.0);

// Compute f(x) = x²
let result = x * x;

// Extract value and derivative
println!("f(3) = {}", result.value());       // 9.0
println!("f'(3) = {}", result.derivative()); // 6.0

// For constants (derivative = 0)
let c = DualNumber::constant(2.0);
let scaled = x * c; // 2x, derivative = 2

Rust: Tropical-Dual-Clifford Fusion

use amari_fusion::TropicalDualClifford;

// Create from logits (common in ML applications)
let logits = vec![1.5, 2.0, 0.8, 1.2];
let tdc = TropicalDualClifford::<f64, 4>::from_logits(&logits);

// Evaluate using all three algebras simultaneously
let other = TropicalDualClifford::from_logits(&[2.0, 1.5, 1.0, 0.9]);
let evaluation = tdc.evaluate(&other);

// Extract features from each algebra
let tropical_features = tdc.extract_tropical_features(); // Fast path-finding
let dual_features = tdc.extract_dual_features();         // Automatic gradients

// Perform sensitivity analysis
let sensitivity = tdc.sensitivity_analysis();
let most_sensitive = sensitivity.most_sensitive(2);

println!("Combined score: {}", evaluation.combined_score);
println!("Most sensitive components: {:?}", most_sensitive);

Rust: Holographic Associative Memory

use amari_fusion::TropicalDualClifford;
use amari_fusion::holographic::{HolographicMemory, BindingAlgebra, Bindable};

// Create holographic memory
let mut memory = HolographicMemory::<f64, 8>::new(BindingAlgebra::default());

// Store key-value associations
let key1 = TropicalDualClifford::random_vector();
let value1 = TropicalDualClifford::random_vector();
memory.store(&key1, &value1);

let key2 = TropicalDualClifford::random_vector();
let value2 = TropicalDualClifford::random_vector();
memory.store(&key2, &value2);

// Retrieve with a key
let result = memory.retrieve(&key1);
println!("Confidence: {:.2}", result.confidence);
println!("Retrieved similarity: {:.2}", result.value.similarity(&value1));

// Binding operations
let bound = key1.bind(&value1);           // key ⊛ value
let recovered = bound.unbind(&key1);       // Approximately recovers value1
println!("Recovery similarity: {:.2}", recovered.similarity(&value1));

// Check capacity
let info = memory.capacity_info();
println!("Items: {}, SNR: {:.2}", info.item_count, info.estimated_snr);

JavaScript/TypeScript: Mathematical Computing

import init, { WasmMultivector, WasmTropicalNumber, WasmDualNumber } from '@justinelliottcobb/amari-wasm';

async function main() {
  // Initialize the WASM module
  await init();

  // Geometric Algebra: Create and rotate vectors
  const e1 = WasmMultivector.basisVector(0);
  const e2 = WasmMultivector.basisVector(1);
  const bivector = e1.geometricProduct(e2);
  console.log('Geometric product:', bivector.toString());

  // Tropical Algebra: Neural network operations
  const trop1 = WasmTropicalNumber.new(3.0);
  const trop2 = WasmTropicalNumber.new(5.0);
  const sum = trop1.tropicalAdd(trop2); // max(3, 5) = 5
  const product = trop1.tropicalMul(trop2); // 3 + 5 = 8
  console.log('Tropical operations:', sum.getValue(), product.getValue());

  // Automatic Differentiation: Compute derivatives
  const x = WasmDualNumber.new(2.0, 1.0);
  const xSquared = x.mul(x); // f(x) = x², f'(x) = 2x
  console.log('f(2) =', xSquared.getValue(), "f'(2) =", xSquared.getDerivative());

  // Clean up WASM memory
  e1.free(); e2.free(); bivector.free();
  trop1.free(); trop2.free(); sum.free(); product.free();
  x.free(); xSquared.free();
}

main();

Architecture

Crate Hierarchy

Domain Crates (provide mathematical APIs):

  • amari-core: Core Clifford algebra types and CPU implementations
  • amari-measure: Measure theory, sigma-algebras, and integration
  • amari-calculus: Differential calculus with geometric algebra
  • amari-tropical: Tropical (max-plus) algebra for optimization
  • amari-dual: Dual numbers for automatic differentiation
  • amari-fusion: Unified Tropical-Dual-Clifford system with holographic associative memory
  • amari-info-geom: Information geometry and statistical manifolds
  • amari-automata: Cellular automata with geometric algebra
  • amari-network: Graph neural networks and network analysis
  • amari-relativistic: Spacetime algebra and relativistic physics
  • amari-enumerative: Enumerative geometry and algebraic curves
  • amari-optimization: Gradient-based optimization algorithms
  • amari-flynn: Probabilistic verification contracts

Integration Crates (consume domain APIs):

  • amari-gpu: Multi-GPU acceleration with WebGPU
  • amari-wasm: WebAssembly bindings for TypeScript/JavaScript
  • amari: Umbrella crate re-exporting all features

Key Types

// Multivector in Clifford algebra Cl(P,Q,R)
// P: positive signature, Q: negative signature, R: zero signature
Multivector<const P: usize, const Q: usize, const R: usize>

// Tropical numbers (max-plus semiring)
TropicalNumber<T: Float>  // Use TropicalNumber::new(value)

// Dual numbers for automatic differentiation
DualNumber<T: Float>      // Use DualNumber::new(value, derivative)

// Multi-variable dual numbers
MultiDualNumber<T: Float> // Use MultiDualNumber::new(value, gradients)

// Tropical-Dual-Clifford unified system
TropicalDualClifford<T: Float, const DIM: usize>

// Common algebras
type Cl3 = Multivector<3, 0, 0>;      // 3D Euclidean
type Spacetime = Multivector<1, 3, 0>; // Minkowski spacetime
type PGA3D = Multivector<3, 0, 1>;    // Projective Geometric Algebra

Mathematical Foundation

Clifford Algebra Cl(P,Q,R)

  • P: Basis vectors with e²ᵢ = +1 (positive signature)
  • Q: Basis vectors with e²ᵢ = -1 (negative signature)
  • R: Basis vectors with e²ᵢ = 0 (degenerate)
ab = a·b + a∧b      // Geometric product = inner + outer product

Tropical Algebra (Max-Plus)

a ⊕ b = max(a, b)    // Tropical addition
a ⊙ b = a + b        // Tropical multiplication

Applications: Path optimization, sequence decoding, dynamic programming

Dual Numbers

a + εb where ε² = 0
(a + εb) + (c + εd) = (a + c) + ε(b + d)
(a + εb) × (c + εd) = ac + ε(ad + bc)

Applications: Automatic differentiation, gradient computation

Information Geometry

  • Fisher Information Metric: Riemannian metric on statistical manifolds
  • α-Connections: Generalized connections parameterized by α ∈ [-1,1]
  • Dually Flat Manifolds: Manifolds with e-connection (α=+1) and m-connection (α=-1)
  • Bregman Divergences: Information-geometric divergences

v0.12.0 Breaking Changes

Version 0.12.0 introduced significant API improvements for better encapsulation:

TropicalNumber

// Before (v0.11.x)
let a = TropicalNumber(3.0);
let value = a.0;
let sum = a.tropical_add(b);

// After (v0.12.0+)
let a = TropicalNumber::new(3.0);
let value = a.value();
let sum = a.tropical_add(&b);  // Now takes reference

DualNumber

// Before (v0.11.x)
let x = DualNumber { real: 3.0, dual: 1.0 };
let value = x.real;

// After (v0.12.0+)
let x = DualNumber::new(3.0, 1.0);
let value = x.value();
let deriv = x.derivative();

See MIGRATION_v0.12.0.md for complete migration guide.

GPU Module Status (v0.12.2)

Module Status Feature Flag
Core GA ✅ Enabled default
Info Geometry ✅ Enabled default
Relativistic ✅ Enabled default
Network ✅ Enabled default
Measure ✅ Enabled measure
Calculus ✅ Enabled calculus
Dual ✅ Enabled dual
Enumerative ✅ Enabled enumerative
Automata ✅ Enabled automata
Fusion (Holographic) ✅ Enabled fusion
Tropical ❌ Disabled -

Note: Tropical GPU module temporarily disabled due to Rust orphan impl rules. Use CPU implementations from domain crates.

Building

Prerequisites

  • Rust 1.75+ with cargo
  • Node.js 16+ (for TypeScript bindings)
  • wasm-pack (for WASM builds)

Build and Test

# Run all tests
cargo test --workspace

# Run with all features
cargo test --workspace --all-features

# Build documentation
cargo doc --workspace --open

WebAssembly Build

cd amari-wasm
wasm-pack build --target web

Performance

The library is optimized for high-performance applications:

  • SIMD: Vectorized operations where supported
  • Cache Alignment: 64-byte aligned data structures
  • Const Generics: Zero-cost abstractions for dimensions
  • GPU Fallback: Automatic CPU/GPU dispatch based on workload size
  • Batch Operations: Efficient batch processing for large datasets

Documentation

Contributing

Contributions are welcome. For development setup:

git clone https://github.com/justinelliottcobb/Amari.git
cd Amari
cargo test --workspace

License

This project is licensed under either of:

at your option.

Acknowledgments

  • Inspired by the geometric algebra community and research in Information Geometry
  • Built with modern Rust performance idioms and WebAssembly best practices
  • Named after Shun-ichi Amari's contributions to Information Geometry

Support

"Geometry is the art of correct reasoning from incorrectly drawn figures." - Henri Poincaré