Skip to content
#

transfer-operator

Star

Here is 1 public repository matching this topic...

m4cd4r4 / collatz-conjecture-spectral-gap

Star 0

Uniform spectral gap for the Syracuse (3n+1) mod-2^k transfer operator, proved elementarily for all scales (cert <= 0.8536). The earlier cycle-elimination claim is retracted (3x-1 control) - see README/THEOREM.md. Not a proof of Collatz.

mathematics proof-assistant dynamical-systems formal-verification number-theory collatz collatz-conjecture 2-adic syracuse mathlib lean4 spectral-gap transfer-operator
  • Updated Jul 6, 2026
  • Python

Improve this page

Add a description, image, and links to the transfer-operator topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more