clopen.solutions

The location of the most isolated point\ in a polyhedral sample

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Kaiwen Jin

Let $A$ be a compact convex polyhedron in $\mathbb R^3$ with nonempty interior, and sample independent uniform points in $A$. We prove that the point with the largest nearest-neighbour distance converges in distribution to normalized surface area on $\partial A$ when every interior dihedral angle exceeds $\pi/2$. When the smallest angle is less than $\pi/2$, its limit is normalized length on the union of all edges with that angle. The proof computes spatial empty-ball intensities and joint exceedance probabilities for the fixed-size sample. The critical angle is excluded.

Claims

SOLUTION CLAIMED OP-00819 — Location of the most isolated point in a random polyhedral sample
Full resolution · fidelity not yet established

Files and sources

Paper
AIM @ 24edaad, paper/polyhedral_isolation.pdf ↗
Posted on GitHub
14 October 2026

No verification run is on record for this version.