User:Thomas DiFiore

Thomas DiFiore is an independent researcher working in combinatorics, order theory, and formal verification. His current work develops causal-algebraic geometry, a framework for extracting geometric invariants from partially ordered sets. Results include the exact growth constant ρ = 16 for order-convex subsets of the square grid [m]², a dimension law log|CC([m]^d)| = Θ(m^{d-1}) for all d ≥ 2, and applications to discrete quantum gravity. The core theorems are formally verified in Lean 4 with Mathlib. Papers are available on Zenodo. Code is at https://github.com/tomdif/causal-algebraic-geometry-lean. Contact: [email protected]