energy-conditions

Here are 2 public repositories matching this topic...

arcticoder / wormhole-anec-analysis

Morris-Thorne wormholes satisfy ANEC globally but require exotic matter (ρ~-10²⁶ J/m³). Quantum realizability gap: 10²⁹× vs Casimir effect. Research closed - exotic matter sourcing infeasible.

wormhole general-relativity numerical anec gr-qc morris-thorne energy-conditions quantum-inequalities

Updated Oct 19, 2025
Python

DawsonInstitute / energy-tensor-cone

Star

Formal verification and computational exploration of the convex cone of stress-energy tensors satisfying Averaged Quantum Energy Inequalities (AQEI). Lean 4 formalization with Mathematica computational search.

formal-verification quantum-field-theory mathematical-physics convex-geometry lean4 energy-conditions

Updated Feb 22, 2026
Lean

Improve this page

Add a description, image, and links to the energy-conditions 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 energy-conditions topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly