Dice Question Streamline Icon: https://streamlinehq.com

Bombelli’s finite-parameter geometry distance conjecture

Prove that for any subset of Lorentzian geometries parameterized by finitely many parameters (analogous to minisuperspace models), there exists a finite n such that the Bhattacharyya-based statistical angle dn—defined from Poisson-sprinkling-induced probability distributions over n-element causal sets—is a true distance function (positive-definite) on that subset.

Information Square Streamline Icon: https://streamlinehq.com

Background

Bombelli’s proposal defines a scale-dependent statistical distance between Lorentzian geometries via the Bhattacharyya angle between their Poisson-induced distributions on finite causal sets with n elements. For general geometries and finite n, dn is only a pseudo-distance because it depends on finitely many parameters and can vanish for non-isometric manifolds.

The conjecture asserts that restricting attention to finite-parameter families of geometries should suffice to make dn a genuine metric for some finite n, strengthening the mathematical underpinnings of comparing continuum spacetimes via causal-set sampling. The conjecture is stated as reasonable but remains unproven.

References

This prompts Bombelli to conjecture: For any subset of geometries labeled by a finite number of parameters (analogous to the “minisuperspaces” used for spatial geometries), there is a finite n such that dn is a true distance function on this set. Bombelli calls both these conjectures ‘reasonable’: with which I think all would concur (though of course the first needs a precise definition of ‘geometry labeled by a finite number of parameters’). But they remain unproven—and so, an invitation to mathematicians.

En Route to Reduction: Lorentzian Manifolds and Causal Sets (2401.15474 - Butterfield, 27 Jan 2024) in Section 6.2