Let S = ⟨ X 0 , . . , X m ⟩ S = \langle {X_0},..,{X_m}\rangle be an m-simplex in R n {{\mathbf {R}}^n} . We define "bisection" of S as follows. We find the longest edge ⟨ X i , X j ⟩ \langle {X_i},{X_j}\rangle of S, calculate its midpoint M = ( X i + X j ) / 2 M = ({X_i} + {X_j})/2 , and define two new m-simplexes S 1 {S_1} and S 2 {S_2} by replacing X i {X_i} by M or X j {X_j} by M. Suppose we bisect S 1 {S_1} and S 2 {S_2} , and continue the process for p iterations. It is shown that the diameters of the resulting Simplexes are no greater then ( 3 / 2 ) ⌊ p / m ⌋ {(\sqrt 3 /2)^{\left \lfloor {p/m} \right \rfloor }} times the diameter of the original simplex, where ⌊ p / m ⌋ \left \lfloor {p/m} \right \rfloor is the largest integer less than or equal to p / m p/m .
Read full abstract