Abstract:We use the residue theorem to derive an expression for the number of lattice oints in a dilated n-dimensional tetrahedron with vertices at lattice points on each coordinate axis and the origin. This expression is known as the Ehrhart polynomial. We show that it is a polynomial in t, where t is the integral dilation parameter. We prove the Ehrhart-Macdonald reciprocity law for these tetrahedra, relating the Ehrhart polynomials of the interior and the closure of the tetrahedra. To illustrate our method, we compute the Ehrhart coefficient for codimension 2. Finally, we show how our ideas can be used to compute the Ehrhart polynomial for an arbitrary convex lattice polytope.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: Why can't the Lie algebra structure of certain spacetime diffeomorphisms be realized in the canonical formalization framework of General Relativity (GR)? Specifically, the paper explores the following two related problems:
1. **Why can't certain diffeomorphisms in the tangent space be projected onto the phase space?**
- The paper points out that in a generally covariant theory, there is a Noether obstruction, which hinders certain diffeomorphisms in the tangent space from being projected onto the phase space. This finding reveals why the Lie algebra structure of diffeomorphisms cannot be fully realized in the canonical formalization framework of General Relativity.
2. **Why is the gauge generator algebra in the phase space a soft algebra rather than a Lie algebra?**
- Related to this, in the phase space of General Relativity or other generally covariant theories, the algebra of gauge generators (i.e., constraint conditions) only closes to a soft algebra, not a Lie algebra. The paper explains the deep connection between these two problems and points out that the second problem is actually a side effect of the method adopted to solve the first problem.
### Main Conclusions
- **Noether Obstruction**: By extending Noether's theorem to constrained systems, the paper shows that certain diffeomorphisms in the tangent space cannot be projected onto the phase space because these diffeomorphisms introduce field - dependent terms during the projection process.
- **Inevitability of Soft Algebra**: In order to enable certain diffeomorphisms to be projected onto the phase space, diffeomorphisms that depend on the metric must be introduced. This causes the gauge generator algebra in the phase space to become a soft algebra, and its structure functions replace the structure constants in the Lie algebra.
### Formula Summary
1. **Basic Relationship of Noether's Theorem**:
\[
[L]_i \delta q^i+\frac{d}{dt} G_L = 0
\]
where \( [L]_i \) represents the Euler - Lagrange equation and \( G_L \) is the Noether conserved quantity.
2. **Conservation Quantity Conditions in the Phase Space**:
\[
\frac{\partial G_H}{\partial t}+\{G_H, H_c\}^* = s_c + p_c
\]
\[
\{G_H, \phi^0_\mu\}^* = s_c + p_c
\]
where \( s_c \) and \( p_c \) represent linear combinations of secondary and primary constraints respectively, \( H_c \) is the gauge Hamiltonian, and \( \phi^0_\mu \) is the primary constraint.
3. **Reconstruction of Noether Transformation**:
\[
\delta q^L = F_L^* \left( \{q, G_H - A_{\mu_0} \phi^0_{\mu_0}\}^* \right)-v^{\mu_0} F_L^* \left( B^{\nu_0}_{\mu_0} \{q, \phi^0_{\nu_0}\}^* \right)
\]
Through these formulas and analysis, the paper reveals the fundamental reason why diffeomorphisms in General Relativity cannot be projected onto the phase space and explains why the gauge generator algebra can only close to a soft algebra.