https://github.com/acgetchell/cdt-rs

Causal Dynamical Triangulations using Constrained Delaunay Triangulations in Rust
https://github.com/acgetchell/cdt-rs

causal-dynamical-triangulations cdt quantum-gravity rust-lang

Last synced: over 1 year ago
JSON representation

Causal Dynamical Triangulations using Constrained Delaunay Triangulations in Rust

• Host: GitHub
• URL: https://github.com/acgetchell/cdt-rs
• Owner: acgetchell
• License: bsd-3-clause
• Created: 2023-09-12T05:18:57.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-11-08T20:54:06.000Z (over 1 year ago)
• Last Synced: 2025-01-07T04:55:25.773Z (over 1 year ago)
• Topics: causal-dynamical-triangulations, cdt, quantum-gravity, rust-lang
• Language: Rust
• Homepage:
• Size: 108 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

README

          
# cdt-rs

[![CI](https://github.com/acgetchell/cdt/actions/workflows/ci.yml/badge.svg)](https://github.com/acgetchell/cdt/actions/workflows/ci.yml)

[![rust-clippy analyze](https://github.com/acgetchell/cdt-rs/actions/workflows/rust-clippy.yml/badge.svg)](https://github.com/acgetchell/cdt-rs/actions/workflows/rust-clippy.yml)

[![Codecov](https://codecov.io/gh/acgetchell/cdt-rs/graph/badge.svg?token=CsbOJBypGC)](https://codecov.io/gh/acgetchell/cdt-rs)

[![Kani CI](https://github.com/acgetchell/cdt-rs/actions/workflows/kani.yml/badge.svg)](https://github.com/acgetchell/cdt-rs/actions/workflows/kani.yml)

[![Audit dependencies](https://github.com/acgetchell/cdt-rs/actions/workflows/audit.yml/badge.svg)](https://github.com/acgetchell/cdt-rs/actions/workflows/audit.yml)

Causal Dynamical Triangulations using Constrained Delaunay Triangulations in Rust

## Introduction

For an introduction to Causal Dynamical Triangulations, see [this paper](https://arxiv.org/abs/hep-th/0105267).

## Roadmap

- [x] Use [Kani] to verify correctness

- [x] Use an existing Rust Delaunay triangulation library (e.g. [Spade]), or write one that can be verified by [Kani]?

- [x] 2D Delaunay triangulation

- [ ] 1+1 foliation

- [ ] 2D ergodic moves

- [ ] 2D Metropolis-Hastings

- [ ] Diffusion-accelerated MCMC?

- [ ] Visual output

- [ ] 3D Delaunay triangulation

- [ ] 2+1 foliation

- [ ] 3D ergodic moves

- [ ] 3D Metropolis-Hastings

- [ ] Visual output

- [ ] 4D Delaunay triangulation

- [ ] 3+1 foliation

- [ ] 4D ergodic moves

- [ ] 4D Metropolis-Hastings

- [ ] Initialize masses in 3D with Constrained Delaunay Triangulation

- [ ] Initialize masses in 4D with Constrained Delaunay Triangulation

- [ ] Shortest path

- [ ] Geodesic distance

- [ ] Einstein tensor

- [ ] Quantize spacetime!

## Issues

- [x] [Spade] 2.3.0 is [broken](https://github.com/Stoeoef/spade/issues/94) - Fixed with [Spade] 2.3.1

[Spade]: https://github.com/Stoeoef/spade

[Kani]: https://model-checking.github.io/kani/install-guide.html