Skip to content
#

anderson-model

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Python 2 Lean 1

cadamcat / anderson-ac-lean4

Star 0

Lean 4 proof of absolutely continuous spectrum for the Anderson model in dimension d ≥ 3 (Simon's Problem 1): for small uniform disorder the spectrum is almost surely purely absolutely continuous on an open energy interval; formalization with Mathlib

theorem-proving lean formal-verification mathematical-physics mathlib anderson-model lean4 formal-proof spectral-theory random-schrodinger-operators absolutely-continuous-spectrum
  • Updated Oct 15, 2026
  • Lean

simahashemi / Network-Inference-Random-Matrix-Models

Star 0

Implements the Cavity Method on a 1D Ising model, derives the Wigner semicircle law via Random Matrix Theory, and explores electron conduction in disordered systems using the Anderson model.

network-inference computational-physics belief-propagation statistical-physics random-matrix-theory ising-model-1d anderson-model disordered-systems spectral-density cavity-method wigner-semicircle-law
  • Updated May 25, 2025
  • Python

Add this topic to your repo

To associate your repository with the anderson-model topic, visit your repo's landing page and select "manage topics."

Learn more