Gravity from Information Geometry: A Lean 4 Formalization of Emergent Spacetime(academia.edu)

3 pointsby kristintynski6 maanden geleden5 comments

Gravity from Information Geometry: A Lean 4 Formalization of Emergent Spacetime

https://www.academia.edu/146192044/Gravity_from_Information_Geometry_A_Lean_4_Formalization_of_Emergent_Spacetime_From_Coherence_Fields_to_Einsteins_Equations

5 comments

kristintynski6 maanden geleden

We have presented a formally veriﬁed Lean4 proof that gravity emerges from information geometry.

The key insights: 1. The spacetime metric g µν is derived from a coherence ﬁeld Ψ : M → Cl(3, 1)

2. Einstein’s equations emerge from coherence dynamics

3. No gravitons are required; gravity is eﬀective, not fundamental

4. The golden ratio φ provides natural UV regularization

5. The entire framework is mechanically veriﬁed in Lean 4 Gravity is not a fundamental force to be quantized. It is an emergent phenomenon arising from information-geometry backreaction of a coherence ﬁeld valued in the Cliﬀord algebra Cl(3, 1). The mathematics is governed by a single self-consistency principle: the golden ratio φ 2 = φ + 1.

The code is available at: https://github.com/ktynski/ParsimoniousFlow

andsoitis6 maanden geleden

I'd be curious to hear what you think of: New Framework Proposes Spacetime as an Emergent Irreversible Information Process https://news.ycombinator.com/item?id=46674020

Jblx26 maanden geleden

You should compare notes with this guy, who derived everything with pi instead of the golden ratio:

https://news.ycombinator.com/item?id=46533108

Jblx26 maanden geleden

Paywall. Unfortunately, in this day-and-age, the question arises: how much of this was generated by AI agents?

https://news.ycombinator.com/item?id=44907440#44907441

LargoLasskhyfv6 maanden geleden

For me, at least with desktop Firefox with uBlockOrigin, I can scroll through the full 17 pages to the bottom. Without having to 'login' with/via whomever.