Abstract:Consider a non-negative number $t$ and a hyperplane $H$ of $\mathbb{R}^d$ whose distance to the center of the hypercube $[0,1]^d$ is $t$. If $t$ is equal to $0$ and $H$ is orthogonal to a diagonal of $[0,1]^d$, it is known that the $(d-1)$-dimensional volume of $H\cap[0,1]^d$ is a strictly increasing function of $d$ when $d$ is at least $3$. The study of the monotonicity of this volume is extended for $t$ up to above $1/2$ and, when $d$ is large enough, for every non-negative $t$. In particular, a range for $t$ is identified such that this volume is a strictly decreasing function of $d$ over the positive integers. The local extremality of the $(d-1)$-dimensional volume of $H\cap[0,1]^d$ when $H$ is orthogonal to a diagonal of either $[0,1]^d$ or a lower dimensional face is also determined for the same values of $t$. It is shown for instance that when $t$ is above an explicit constant and $d$ is large enough, this volume is always strictly locally maximal when $H$ is orthogonal to a diagonal of $[0,1]^d$. A precise estimate for the convergence rate of the Eulerian numbers to their limit Gaussian behavior is provided along the way.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on studying the volume properties of the intersections between high - dimensional cubes (hypercubes) and specific hyperplanes. Specifically, the paper explores the monotonicity and local extremum characteristics of the (d - 1)-dimensional volume V of the intersection as the distance t between the hyperplane and the center of the high - dimensional cube changes. The main contributions of the paper include:
1. **Extended study of volume monotonicity**: The paper extends the known result that the volume V strictly increases as the dimension d increases when t = 0, and generalizes it to cases where t is greater than 0 and within certain ranges. In particular, the paper determines a range of t within which the volume V strictly decreases as the dimension d increases.
2. **Determination of local extrema**: The paper studies the local extremum characteristics of the intersection volume V when the hyperplane H is orthogonal to a diagonal of the high - dimensional cube or the diagonal of its lower - dimensional face. For example, when t exceeds a certain explicit constant and d is large enough, the volume V is always a strictly local maximum.
3. **Asymptotic behavior of the Euler number**: The paper provides a specific convergence rate estimate for the Euler number converging to the Gaussian distribution. This result not only verifies the previous conclusion about the asymptotic normality of the Euler number, but also gives a more precise convergence speed.
### Main Theorems
- **Theorem 1.1**: When d approaches infinity, the limit of \(d^2 (I_{d + 1}(t)-I_d(t))\) is:
\[
\frac{3\sqrt{6}(1 - 24t^2 + 48t^4)}{20\sqrt{\pi}e^{6t^2}}
\]
where \(I_d(t)\) represents the (d - 1)-dimensional volume of the intersection between the hyperplane at a distance t from the center of the high - dimensional cube and the high - dimensional cube.
- **Corollary 1.2**: For non - negative numbers t (not equal to \(\gamma_-\) and \(\gamma_+\)), when \(0\leq t <\gamma_-\) or \(\gamma_+ < t\), for a large enough integer d, the difference \(I_{d + 1}(t)-I_d(t)\) is positive; when \(\gamma_- < t <\gamma_+\), the difference is negative.
- **Theorem 1.3**: Two intervals of t are determined such that \(I_d(t)\) is strictly monotonic on positive integers d. The specific intervals are as follows:
- If \(\alpha^-_{2,3}<t<\alpha^-_{3,4}\), then \(I_d(t)\) is strictly increasing.
- If \(\alpha^\circ_{3,4}<t\leq1/2\), then \(I_d(t)\) is strictly decreasing.
- **Theorem 1.4**: Several intervals of t are determined such that when the hyperplane H is orthogonal to the diagonal of the high - dimensional cube or the diagonal of its lower - dimensional face, the (d - 1)-dimensional volume of the intersection is not the maximum.
- **Theorem 1.5**: If d is large enough, then for any non - negative number t, we have:
\[
\left|I_d(t)-\frac{\sqrt{6}}{\pi}e^{-6t^2}\left(1-\frac{3 - 72t^2 + 144t^4}{20d}\right)\right|<\frac{1}{d^{3/2}}
\]
### Methods and Tools
The paper uses mathematical tools such as integral estimation, Taylor series expansion, and Lagrange remainder. Through detailed analysis and calculation, the above results are obtained. These results not only deepen the understanding of high - dimensional geometric structures, but also provide a theoretical basis for further research in related fields.