6
$\begingroup$

In computational geometry and other fields, it is of interest to have degeneracy measures for shapes of simplices, which quantitatively seperate the regular simplex from degenerate simplices.

In two dimensions, two such shape measures are the minimum angle of a triangle and its aspect ratio, i.e. the quotient of the radii of insphere and circumsphere.

While many of these shape measures naturally generalize to higher dimensions, and are documented in literature for arbitrary dimension, I haven't found any source which relates the minimum solid angle of a simplex with any such shape measure in arbitrary dimensions. It is "obvious" that simplices with small solid angles at the corner vertices are degenerate, but I haven't found any source on this literature.

Question or reference request: Can you relate the minimum solid angle of a $d$-dimensional simplex with its aspect ratio for arbitrary $d$?

A possible answer would generalize Theorem 6.1 of "A. Liu and B. Joe. Relationship between tetrahedron shape measures, BIT, 34 (1994)" which states:

For any tetrahedron $T$ we have $\sqrt{3}/24 \rho^2 \leq \sigma_{\min} \leq (2/(3^{1/4})) \sqrt{\rho}$, where $\sigma_{\min}$ is the minimum solid angle of $T$ and $\rho$ denotes the aspect ratio of $T$.

$\endgroup$
5
  • $\begingroup$ Of course you cannot have an equality relating $\sigma_{\min}$ to $\rho$ because you could fix $\sigma_{\min}$ (say, in a "needle" tetrahedron) while varying $\rho$. So are you asking for tighter bounds than provided by Liu-Joe? Do they say the bounds are not tight? $\endgroup$ Feb 29, 2012 at 1:40
  • $\begingroup$ I conjecture he is asking for this in arbitrary dimension... $\endgroup$
    – Igor Rivin
    Feb 29, 2012 at 3:35
  • $\begingroup$ Well, I have corrected an error. Of course, the quotient is insphere to circumsphere, not the other way around. - Any falsification of this, which I don't believe to be true, would pose some conceptual problems in computational geometry for higher dimensions, so this question is indeed motivated. And yes, I am asking for this in arbitrary dimension. I made it explicit in the text body. $\endgroup$
    – shuhalo
    Feb 29, 2012 at 10:40
  • $\begingroup$ @Martin & @Igor: OK, I see the question now. Thanks. $\endgroup$ Feb 29, 2012 at 11:13
  • $\begingroup$ See Boris Bukh's question, Angle of a regular simplex. $\endgroup$ Nov 21, 2015 at 17:50

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.