Positive-Curvature Discrete Einstein Metrics on Trees

This repository contains verification code and data for the paper:

A Classification of Positive-Curvature Discrete Einstein Metrics on Trees

Author: Haoxuan Cheng

Contents

• code/: scripts for the exact finite verification
• data/: boundary tables and zero-level examples

Description

The code verifies the finite short-spine cases using exact rational characteristic polynomials and Sturm root counts. It also records the maximal negative caterpillar parameters and the zero-level boundary examples.

Citation

If you use this repository, please cite the associated arXiv paper.