3

The following sum is the volume of the hyperplane that bisects a $D$-dimensional cube, midway between opposite corners. Does it have a limit as $D\to\infty$? Numerically, the limit seems to be $\sqrt{6/\pi}$.
$$\left(\frac D2\right)^{D-1}\frac{D^{3/2}}{D!}\sum_{k=0}^{\lfloor D/2\rfloor}(-1)^k{D\choose k}\left(\frac{D-2k}D\right)^{D-1}$$

Given a hypercube with coordinates $\{0,1\}^n$, what is the $n-1$-volume of the set of points within it equidistant from $(0,0,...,0)$ and $(1,1,...,1)$ ?
This thought follows on from the question What is the maximum volume of $N$-D slice of an $M$-D hypercube?
For $n=2$, the diagonal has length $\sqrt2$. For $n=3$, the hexagon has area $3\sqrt3/4\approx 1.299$ and for $n=4$, I think it is an octahedron with volume $4/3$.
I suppose the bisector's vertices in general are those points whose coordinates sum to $n/2$ with $\lfloor n/2\rfloor$ coordinates equal to each of $0$ and $1$.
I did simulations for 2 to 10 dimensions.

  1. The simplex with vertices at the origin and the standard basis,
    $(0,0,...,0),(1,0,...,0),(0,1,0,...,0),...,(0,0,...,0,1)$ has volume $1/D!$.
  2. Regard the origin as the top and the other vertices as the base, the height is $1/\sqrt D$ and the volume is $base×height/D$, so the base is $D^{3/2}/D!$ This base is the positive part of the hyperplane $\sum x_i=1$.
  3. To pick random points on that base, I chose $D-1$ uniformly distributed numbers between 0 and 1 and let $\{y_i\}$ be those numbers in sorted order. Let $y_0=0,y_D=1$ and $x_i=y_i-y_{i-1}$.
  4. The frequency with which all coordinates $x_i$ were below $2/D$ let me estimate the volume of the hyperplane that bisects the hypercube.
  5. Results of $10^7$ points for each dimension gave these estimates for the volume:

Dim Volume
2 1.4142
3 1.2988
4 1.3331
5 1.3385
6 1.3476
7 1.3520
8 1.3551
9 1.3585
10 1.3597

  1. Take the $n-1$-simplex and scale it up by a factor $D/2$, its volume is now $(D/2)^{D-1}D^{3/2}/D!$. This is the plane that bisects the unit cube.
  2. Trim from each vertex a smaller simplex of relative size $(D-2)/D$ to prevent each $x_i$ going above $2/D$.
  3. When $D\ge5$ these corners overlap, so by Inclusion-Exclusion replace $D\choose2$ smaller simplexes of relative size $(D-4)/D$, and so on.
  4. The result is $$\left(\frac D2\right)^{D-1}\frac{D^{3/2}}{D!}\sum_{k=0}^{\lfloor D/2\rfloor}(-1)^k{D\choose k}\left(\frac{D-2k}D\right)^{D-1}$$
    which gives $115\sqrt5/192$ and $11\sqrt6/20$ for the next two.
Empy2
  • 48,850
  • 1
  • 38
  • 87
  • 1
    Not an answer; The sum seems similar to [this post](https://math.stackexchange.com/questions/307510/a-sine-integral-int-0-infty-left-frac-sin-x-x-rightn-mathrmdx?noredirect=1&lq=1) I've read few months ago. – dust05 Aug 08 '21 at 16:25
  • Yes, I can turn mine into the sinc integral. For large $n$, the bulk of the integral is near $x=0$, where Taylor series etc. should work. – Empy2 Aug 08 '21 at 18:36
  • It came to $\sqrt{6/\pi}(1-0.15/D)+O(1/D^2)$ – Empy2 Aug 09 '21 at 01:33

0 Answers0