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.
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.