A Degenerate Version of Brion's Formula

Basic Information

• Paper ID: 2409.09544
• Title: A degenerate version of Brion's formula
• Author: Carsten Peterson (Sorbonne Université, Université Paris Cité, CNRS, IMJ-PRG)
• Classification: math.CO (Combinatorics), Related classifications: 52B11, 52B20, 52C07, 11H06, 32A17
• Publication Date: September 14, 2024 (arXiv v3: December 7, 2025)
• Paper Link: https://arxiv.org/abs/2409.09544

Abstract

This paper establishes a degenerate version of the Fourier-Laplace transform ( I(\mathfrak{p}; \alpha) := \int_{\mathfrak{p}} e^{\langle \alpha, x \rangle} dx ) for polytopes (\mathfrak{p} \subset V) and co-weight elements (\xi \in V_{\mathbb{C}}^*). The expression is a sum of meromorphic functions parameterized by faces (\mathfrak{f}) of (\mathfrak{p}) where (\langle \xi, x \rangle) is constant. Each term depends only on the local geometry of (\mathfrak{p}) near (\mathfrak{f}) (and (\xi)) and is holomorphic at (\alpha = \xi). When (\langle \xi, \cdot \rangle) is constant only at vertices, the formula reduces to the classical Brion formula.

For rational polytopes with respect to a lattice (\Lambda), the authors establish analogous expressions for the discrete version ( S(\mathfrak{p}; \alpha) := \sum_{\lambda \in \mathfrak{p} \cap \Lambda} e^{\langle \alpha, \lambda \rangle} ). These formulas are particularly useful for understanding variations of (I(\mathfrak{p}(h); \xi)) and (S(\mathfrak{p}(h); \xi)) in families of polytopes (\mathfrak{p}(h)), and can be seen as polytopal analogues of the Laplace method and stationary phase method, naturally arising in the analysis of symmetric spaces and affine buildings.

Research Background and Motivation

Core Problem

Brion's formula is a fundamental result in algebraic combinatorics and toric geometry, expressing the Fourier-Laplace transform over a polytope as a sum of integrals over vertex tangent cones: $\int_{\mathfrak{p}} e^{\langle \alpha, x \rangle} dx = \sum_{v \in \text{Vert}(\mathfrak{p})} \int_{t_v^{\mathfrak{p}}} e^{\langle \alpha, x \rangle} dx$

However, this formula has a fundamental issue: each integral on the right-hand side is meromorphic and absolutely convergent only in specific regions. When (\alpha) is constant on some edges ("degenerate" case), "$\infty - \infty$"-type indeterminacies arise, preventing direct term-by-term summation.

Research Importance

1. Theoretical Completeness: Classical Brion formula is valid only in "generic" positions; extension to degenerate cases is needed
2. Practical Application Needs: Degenerate cases naturally occur and are crucial in harmonic analysis of symmetric spaces and Bruhat-Tits buildings
3. Polytope Family Analysis: Unified formulas are needed to understand integral variations with parameters for polytope families (\mathfrak{p}(h)) with identical normal fans

Limitations of Existing Methods

• Original Brion Formula: Only applicable when (\xi) is non-degenerate at vertices
• Author's Previous Work 38: Only for integral polytopes and real functions; expressions depend on non-canonical choices and lack geometric interpretation

Innovations of This Paper

This paper introduces the concept of alternating Levi cones, providing a fully geometricized degenerate Brion formula independent of non-canonical choices, and proves key holomorphy theorems.

Core Contributions

1. Degenerate Brion Formula in Continuous Case (Theorem 1.2 and Corollary 1.3):
   • Introduces alternating Levi cones (\text{LC}_g^{\mathfrak{p}}(\xi)), proving (I(\text{LC}_g^{\mathfrak{p}}(\xi); \tau)) is holomorphic at (\tau = \xi)
   • Provides explicit formula: (\int_{\mathfrak{p}} e^{\langle \xi, x \rangle} dx = \sum_{f \in {\mathfrak{p}}_{\xi}} \text{vol}(f) \cdot I(\text{LC}_f^{\mathfrak{p}}(\xi); \xi))
2. New Polytope Decomposition Theorem (Theorem 1.1):
   • Proves identity generalizing Brianchon-Gram decomposition: (\mathfrak{p} \equiv \sum_{f \in {\mathfrak{p}}_{\xi}} f^f \times \text{LC}_f^{\mathfrak{p}}(\xi))
3. Degenerate Brion Formula in Discrete Case (Corollaries 1.5-1.7):
   • Uses Berline-Vergne local Euler-Maclaurin formula
   • Proves holomorphy of (S_{\Lambda^{f^{\perp}}}(\text{LC}_f^{\mathfrak{p}}(\xi); \tau)) under appropriate conditions (Theorem 5.2)
   • Provides three explicit versions, unifying Brion formula and Ehrhart quasi-polynomials
4. Connection to Asymptotic Analysis (Section 6):
   • Shows degenerate Brion formula as polytopal analogue of Laplace and stationary phase methods
   • Analyzes asymptotic behavior of (I(t \cdot \mathfrak{p}; \xi)) and (S_{\Lambda}(t \cdot \mathfrak{p}; \xi)) as (t \to \infty)

Methodological Details

Core Concept Definitions

(\xi)-Constant Face Decomposition

Given (\xi \in V_{\mathbb{C}}^*), define:

• (\xi)-Constant Face: Face (f) where (\langle \xi, x \rangle) is constant
• (\xi)-Maximal Face: (\xi)-constant face not contained in larger (\xi)-constant faces
• ({\mathfrak{p}}_{\xi}): Set of all (\xi)-constant faces

Alternating Levi Cones

For (\xi)-constant face (g), recursively define (living in space (\text{lin}(g)^{\perp})):

1. If (g) is (\xi)-maximal: ${}^0\text{LC}_g^{\mathfrak{p}}(\xi) := {}^0t_g^{\mathfrak{p}}$
2. General Case: ${}^0\text{LC}_g^{\mathfrak{p}}(\xi) := [{}^0t_g^{\mathfrak{p}}] - \sum_{f \in \{\mathfrak{p}\}_{\xi}, g \subset f} [{}^0t_g^f] \times {}^0\text{LC}_f^{\mathfrak{p}}(\xi)$

Expanded recursive definition yields: ${}^0\text{LC}_g^{\mathfrak{p}}(\xi) = \sum_{g = h_0 \subset \cdots \subset h_{\ell} \in \text{mFl}_g^{\mathfrak{p}}(\xi)} (-1)^{\ell} [{}^0t_g^{h_1} \times {}^0t_{h_1}^{h_2} \times \cdots \times {}^0t_{h_{\ell}}^{\mathfrak{p}}]$

Where (\text{mFl}_g^{\mathfrak{p}}(\xi)) is the set of (\xi)-maladapted flags starting from (g).

Geometric Meaning: Alternating Levi cones capture "transverse geometry" near face (g), eliminating singularities in (\xi)-degenerate directions via inclusion-exclusion.

Key Technical Theorems

Theorem 3.8 (Holomorphy Theorem)

Let (g) be a (\xi)-constant face, then (I({}^0\text{LC}g^{\mathfrak{p}}(\xi); \tau)) ((\tau \in (\text{lin}(g)^{\perp}){\mathbb{C}}^*)) is holomorphic at (\tau = \xi).

Proof Idea (Section 3.7):

1. Use Stokes' theorem to establish original degenerate Brion formula (Proposition 3.2)
2. Analyze rational function reductions via algebraic lemmas (Lemma 3.14)
3. Key observation: Though individual cones (I(k; \tau)) are singular at (\tau = \xi), alternating sums cancel singularities

Core Algebraic Lemma 3.14: For rational functions of specific form $Q(a, x) = \sum_{\varepsilon \in \mathcal{B}_k} (-1)^{\#1(\varepsilon)} P(\varepsilon; b)$ can be expressed as (f(x, a)/g(x, a)), where denominator (g) contains no (M(\varepsilon'; b; t)) factors ((1 \leq t \leq k)), ensuring holomorphy at (a_1 = \cdots = a_k = 0).

Discrete Case Technical Handling

Challenges

1. Lattice Point Condition Mismatch: (e^{\langle \xi, \lambda \rangle} = 1) ≠ (\langle \xi, \lambda \rangle = 0) (e.g., (\xi \in 2\pi i \Lambda^*))
2. Non-obvious Holomorphy: Need to prove (S_{\Lambda}(\text{LC}_g^{\mathfrak{p}}(\xi); \tau)) is holomorphic at (\tau = \xi)
3. Non-decomposability: Cannot simply decompose into (S_{\Lambda}(f^f; \alpha^f) \cdot S_{\Lambda}(\text{LC}_g^{\mathfrak{p}}(\xi); \alpha^{f^{\perp}}))

Solutions

Introduce ((\xi, \Lambda))-Decomposition:

• Construct (\tilde{\xi}) and finite-index sublattice (\tilde{\Lambda} \leq \Lambda) such that:
  • (e^{\langle \xi, \lambda \rangle} = e^{\langle \tilde{\xi}, \lambda \rangle}) for all (\lambda \in \tilde{\Lambda})
  • (\tilde{\xi} \in (V_{\mathbb{C}}^*)^{\tilde{\Lambda}}) (i.e., (e^{\langle \tilde{\xi}, \lambda \rangle} = 1 ⇒ \langle \tilde{\xi}, \lambda \rangle = 0))
  • ({\mathfrak{p}}{\xi, \Lambda} := {\mathfrak{p}}{\tilde{\xi}})

Use Berline-Vergne Local Euler-Maclaurin Formula (Theorem 4.2): $S_{\Lambda}(q; \alpha) = \sum_{f \in \text{Face}(q)} \mu_{\text{lin}(f)^{\perp}}^{\Lambda^{f^{\perp}}}(t_f^q; \alpha) \cdot I^{\Lambda_f}(f; \alpha)$

Where (\mu)-function satisfies key property (Proposition 4.3): If (\xi \in (V_{\mathbb{C}}^*)^{\Lambda}), then (\mu_V^{\Lambda}(k; \alpha)) is holomorphic at (\alpha = \xi).

Decomposition Technique (Proposition 5.6): For orthogonal decomposition (V = W_1 \oplus W_2), $S_{\Lambda}(q_1 \times q_2; \alpha) = \sum_{[\gamma] \in \Lambda/(\Lambda_1 \oplus \Lambda_2)} S_{\varphi_1([\gamma]) + \Lambda_1}(q_1; \alpha_1) \cdot S_{\varphi_2([\gamma]) + \Lambda_2}(q_2; \alpha_2)$

Experimental Setup

Detailed Example Analysis

This paper is primarily theoretical, validating formulas through concrete examples.

Example 1.3 (Section 1.3)

Setup:

• Polytope (\mathfrak{p}) is triangle with vertices (v_1 = (-1, 0)), (v_2 = (1, 2)), (v_3 = (1, 0))
• Edge (e) connects (v_1) and (v_2)
• (\alpha = (\alpha_1, \alpha_2)), (\Lambda = \mathbb{Z}^2)
• Degenerate choice: (\xi = (1, -1))

Calculation Results: $\{\mathfrak{p}\}_{\xi} = \{e, v_1, v_2, v_3\}$

Alternating Levi cones:

• (\text{LC}e^{\mathfrak{p}}(\xi) = t_e^{\mathfrak{p}} = \mathbb{1}{{(-0.5, 0.5) + t(1, -1) : t \in [0, \infty)}})
• (\text{LC}^{\mathfrak{p}}(\xi) = t^{\mathfrak{p}} - t_^e \times t_e^{\mathfrak{p}}) (virtual cone with coefficient -1)
• (\text{LC}^{\mathfrak{p}}(\xi) = t^{\mathfrak{p}}) ((v_3) is (\xi)-maximal)

Continuous Case: $I(t \cdot \mathfrak{p}; \xi) = (2\sqrt{2}t)\left(\frac{\sqrt{2}e^{-t}}{2}\right) - \frac{e^{-t}}{2} - \frac{e^{-t}}{2} + \frac{e^t}{1}$

Discrete Case: Since (\Lambda_e \oplus \Lambda^{e^{\perp}}) has index 2 in (\Lambda), sum over two cosets (Figure 2 shows lattice point distribution).

Geometric Visualization

• Figure 1: Shows polytope decomposition from Theorem 1.1
• Figure 2: Illustrates coset decomposition of (\Lambda) relative to (\Lambda_e \oplus \Lambda^{e^{\perp}})
• Figure 3: Another 2D example where alternating Levi cone is "positive" virtual cone

Experimental Results

Main Validations

Consistency with Classical Formulas

1. Reduces to Brion Formula: When (\xi) is generic (all vertices are (\xi)-maximal), formula simplifies to: $I(\mathfrak{p}; \xi) = \sum_{v \in \text{Vert}(\mathfrak{p})} I(t_v^{\mathfrak{p}}; \xi)$
2. Reduces to Ehrhart Quasi-Polynomial: When (\xi = 0) (Corollary 1.6): $S_{\Lambda}(\mathfrak{p}; 0) = \sum_{g \in \text{Face}(\mathfrak{p})} \text{vol}_{\Lambda_g}(g) \cdot \mu_{\text{lin}(g)^{\perp}}^{\Lambda^{g^{\perp}}}(t_g^{\mathfrak{p}}; 0)$ This matches Pommersheim-Thomas and Berline-Vergne results.

Asymptotic Behavior Analysis (Section 6)

Comparison with Laplace Method

For smooth strictly convex set (C) and real function (\xi), Laplace method gives: $\int_{t \cdot C} e^{\langle \xi, x \rangle} dx \sim \frac{(2\pi)^{(n-1)/2}}{\|\xi\|^{(n+1)/2}\sqrt{\kappa(x_0)}} \cdot t^{(n-1)/2} \cdot e^{t \langle \xi, x_0 \rangle}$

Where (x_0) is maximizer and (\kappa(x_0)) is Gaussian curvature.

For polytopes, degenerate Brion formula gives: $\int_{t \cdot \mathfrak{p}} e^{\langle \xi, x \rangle} dx = \text{vol}(g_0) \cdot I({}^0t_{g_0}^{\mathfrak{p}}; \xi) \cdot t^{\dim(g_0)} \cdot e^{t \langle \xi, g_0 \rangle} + O(t^{\dim(g_0) - 1})$

Where (g_0) is (\xi)-maximal face maximizing (\langle \xi, \cdot \rangle).

Correspondence:

• Smooth case (t^{(n-1)/2}) ↔ Polytope (t^{\dim(g_0)}) (polynomial growth)
• Curvature information ((2\pi)^{(n-1)/2}/\sqrt{\kappa}) ↔ Transverse cone integral (I({}^0t_^{\mathfrak{p}}; \xi))
• Homogeneity: (-\frac{n+1}{2}) ↔ (\dim(g_0) - n)

Discrete Case

For integral polytopes: $S_{\Lambda}(t \cdot \mathfrak{p}; \xi) = \text{vol}_{\Lambda_{g_0}}(g_0) \cdot S_{\Lambda^{g_0^{\perp}}}({}^0t_{g_0}^{\mathfrak{p}}; \xi) \cdot t^{\dim(g_0)} \cdot e^{t \langle \xi, g_0 \rangle} + O(t^{\dim(g_0) - 1})$

For rational polytopes, (\mu)-function introduces periodicity in (t).

Special Case Findings

Examples 6.3-6.4: When (\xi \in \pi i V_{\mathbb{Q}}^*), due to character sum cancellation, actual growth rate may be lower than expected:

• Unit interval (a, b) with (\xi = \pi i): (S_{\mathbb{Z}}(ta, b; \pi i) = (-1)^{t(a-b)}) ((O(t^0)) rather than (O(t^1)))
• Unit square with (\xi = \pi i(1, 1)): Growth rate (O(1)) rather than (O(t^2))

This indicates need for finer geometric analysis to determine exact growth rates when (\xi \in \pi i V_{\mathbb{Q}}^*).

Related Work

Core Related Literature

1. Brion's Original Work 10: Proved Brion formula using equivariant K-theory of toric varieties
2. Barvinok 5: Provided initial elementary proof of Brion formula, establishing connection to Stokes' theorem
3. Euler-Maclaurin Formula Development:
   • Pukhlikov-Khovanskii 40: Connected Euler-Maclaurin formula to Riemann-Roch theorem for toric varieties
   • Cappell-Shaneson 14, Brion-Vergne 11: Extended to arbitrary rational polytopes
   • Berline-Vergne 9: Local Euler-Maclaurin formula (key tool in this paper)
4. Polytope Decompositions:
   • Brianchon-Gram decomposition (classical)
   • Brion-Vergne decomposition 12 (related to Theorem 1.1)
5. Application Directions:
   • Symmetric space harmonic analysis 29, 30, 13
   • Bruhat-Tits buildings 32, 20, 21, 38
   • Representation theory 18, 36, 17, 1

Advantages Over Related Work

1. Compared to Author's Previous Work 38:
   • Extended to general rational polytopes (not just integral)
   • Extended to complex functions (\xi \in V_{\mathbb{C}}^*) (not just real)
   • Provides fully geometricized formula independent of non-canonical choices
   • Gives geometric interpretation of polynomial coefficients
2. Compared to Equivariant Cohomology Methods 8, Theorem 7.13:
   • This paper's formula is explicit version of Atiyah-Bott-Berline-Vergne localization theorem after choosing inner product
   • May provide explicit formula for inverse of equivariant Euler class
3. Theoretical Completeness: Unifies Brion formula, Ehrhart theory and Euler-Maclaurin formula

Conclusion and Discussion

Main Conclusions

1. Theoretical Contribution: Established complete theory of degenerate Brion formula for both continuous and discrete cases
2. Core Tool: Alternating Levi cones provide geometric framework for handling degenerate cases
3. Holomorphy: Proved key holomorphy theorems (Theorems 3.8 and 5.2), ensuring formula validity at degenerate points
4. Unification: Unified multiple classical results (Brion formula, Ehrhart quasi-polynomials, Euler-Maclaurin formula)

Limitations

1. Computational Complexity:
   • Computing alternating Levi cones involves enumerating all (\xi)-maladapted flags
   • For high-dimensional polytopes, computation may be prohibitive
2. Optimality Questions:
   • In some cases (e.g., Remark 3.7), alternating Levi cones may simplify to actual cones
   • Unclear when simplification is possible or if simpler expressions exist
3. Asymptotic Analysis Precision:
   • For (\xi \in \pi i V_{\mathbb{Q}}^*), determining exact growth rates requires deeper study
   • Related to Ehrhart quasi-polynomial variations on finite-index sublattices
4. Practical Applications:
   • Though applications in symmetric spaces and buildings are indicated, concrete computational examples are limited
   • Further work needed for practical implementation

Future Directions

Author-proposed directions:

1. Connection to Toric Geometry and Symplectic Geometry:
   • Explore precise relationship with Atiyah-Bott-Berline-Vergne localization in equivariant cohomology
   • Understand alternating Levi cones as explicit expressions for inverse equivariant Euler classes
2. Applications to Symmetric Spaces and Buildings:
   • Compute volume growth under polyhedral Finsler metrics
   • Analyze eigenvalues of spherical Hecke operators
   • Quantum ergodicity problems (as in 38)
3. Representation Theory Applications:
   • Extend applications in Arthur trace formula 18, 1
   • Combinatorial formulas for Hall-Littlewood polynomials 17
4. Multivariate Meromorphic Function Theory:
   • Connections to renormalization in quantum field theory and multiple zeta functions 24, 25, 26, 27

Potential future directions:

5. Algorithm Optimization: Develop efficient algorithms for computing alternating Levi cones
6. High-Dimensional Extensions: Study virtual cone structures in high codimension cases
7. Non-Rational Cases: Explore possible extensions to non-rational polytopes

In-Depth Evaluation

Strengths

Theoretical Innovation

1. Conceptual Innovation: Alternating Levi cones are original concept, cleverly capturing geometric essence of degenerate cases
2. Technical Depth: Holomorphy proof (Theorem 3.8) is technically challenging, skillfully using algebraic lemmas for rational function reduction
3. Unified Framework: First unification of Brion formula, Ehrhart theory and Euler-Maclaurin formula under single framework

Mathematical Rigor

1. Complete Proofs: All main theorems have detailed proofs with clear logical chains
2. Multi-Angle Validation: Formula validity verified through concrete examples, limiting cases and comparison with known results
3. Fine Technical Handling: Provides solutions to three discrete case difficulties (Section 5.1)

Depth of Results

1. New Polytope Decomposition (Theorem 1.1): Generalizes classical Brianchon-Gram decomposition, has independent value
2. Holomorphy Theorem: Phenomenon of alternating sums eliminating singularities despite individual cone singularities is profound
3. Connection to Asymptotic Analysis: Reveals deep connections between polytopal geometry and classical analysis methods

Application Potential

1. Clear Application Scenarios: Concrete applications in harmonic analysis of symmetric spaces and buildings
2. Computational Tool: Provides practical tool for handling polytope families
3. Cross-Disciplinary Impact: Connects combinatorics, algebraic geometry, harmonic analysis and representation theory

Weaknesses

Technical Level

1. Computational Complexity:
   • Alternating Levi cone definition involves exponential-level flag enumeration
   • Lacks complexity analysis and optimization algorithms
2. Expression Simplification:
   • Equivalence proofs between three discrete versions (Corollaries 1.5-1.7) are not sufficiently clear
   • Formulas may be overly complex in some cases
3. Technical Assumptions:
   • Requires choosing rational inner product; though claimed non-essential, affects formula's intrinsic nature

Theoretical Completeness

1. Optimality Unknown:
   • Unclear if alternating Levi cones are simplest expression
   • High codimension cases (e.g., Remark 3.7) need further structural study
2. Incomplete Asymptotic Analysis:
   • Growth rate analysis for (\xi \in \pi i V_{\mathbb{Q}}^*) not sufficiently deep
   • Lacks general growth rate characterization theorems
3. Relationship to Equivariant Theory:
   • Though connection to Atiyah-Bott-Berline-Vergne theorem is noted, precise correspondence not given

Experiments/Examples

1. Limited Examples: Mainly 2D examples; lacks concrete high-dimensional computations
2. Application Examples: Though application scenarios are discussed, lacks detailed computational examples
3. Numerical Validation: No numerical experiments validating formula effectiveness in complex cases

Impact Assessment

Contribution to Field

1. Theoretical Foundation: Provides new fundamental tool for polytope theory
2. Problem Resolution: Solves long-standing problem of Brion formula in degenerate cases
3. New Research Directions: Opens new directions in virtual cone theory and degenerate case analysis

Practical Value

1. Computational Tool: Provides effective method for handling polytope families with identical normal fans
2. Application Potential: Clear application prospects in harmonic analysis and representation theory
3. Algorithmic Basis: Provides theoretical foundation for developing new polytope computation algorithms

Reproducibility

1. Theoretically Reproducible: Detailed proofs allow verification
2. Computationally Implementable: Implementable in principle, but requires specialized software
3. Examples Verifiable: Provided examples can be manually verified

Long-Term Impact

1. Foundational Work: May become standard tool in polytope theory
2. Cross-Disciplinary Bridge: Strengthens connections between combinatorics, analysis and geometry
3. Follow-Up Research: Clear follow-up research directions exist

Applicable Scenarios

Theoretical Research

1. Polytopal Combinatorics: Studying polytope volumes, lattice point counting, etc.
2. Toric Geometry: Analyzing invariants of toric varieties
3. Representation Theory: Arthur trace formula, Hall-Littlewood polynomials, etc.

Application Scenarios

1. Symmetric Space Analysis:
   • Compute volumes under polyhedral metrics
   • Analyze harmonic function growth
2. Bruhat-Tits Buildings:
   • Compute sphere sizes
   • Analyze Hecke operators
   • Quantum ergodicity problems
3. Optimization and Computational Geometry:
   • Handle parameterized polytope families
   • Asymptotic analysis

Particularly Suitable Cases

1. Degenerate Cases: When classical Brion formula fails
2. Polytope Families: Families with identical normal fans
3. Dilation Analysis: Studying (t \cdot \mathfrak{p}) as (t \to \infty)

Unsuitable Cases

1. Generic Positions: If (\xi) is generic, direct Brion formula is simpler
2. Non-Rational Cases: Current theory only applies to rational polytopes
3. High-Dimensional Complex Polytopes: Computational cost may be prohibitive

References (Key Literature)

1. 10 Brion, M. (1988): Points entiers dans les polyèdres convexes - Original work on Brion formula
2. 5 Barvinok, A.I. (1993): Computing the volume... - Elementary proof of Brion formula
3. 9 Berline, N., Vergne, M. (2007): Local Euler-Maclaurin formula - Key tool for discrete case
4. 11 Brion, M., Vergne, M. (1997a): Lattice points in simple polytopes - Extension of Euler-Maclaurin formula
5. 38 Peterson, C. (2023b): Quantum ergodicity on Bruhat-Tits building - Author's previous related work
6. 8 Berline, N., Getzler, E., Vergne, M. (1992): Heat kernels and Dirac operators - Equivariant cohomology background
7. 40 Pukhlikov, A.V., Khovanskiĭ, A.G. (1992): Riemann-Roch theorem - Connection between Euler-Maclaurin and Riemann-Roch

Overall Evaluation: This is an excellent paper with significant theoretical contributions and technical depth. The author successfully resolves the long-standing problem of Brion's formula in degenerate cases, introduces the original concept of alternating Levi cones, and establishes a complete theoretical framework. The paper's main strengths lie in its theoretical innovation, mathematical rigor, and potential application value. Main weaknesses include insufficient computational complexity analysis, lack of high-dimensional examples, and absence of precise correspondence with equivariant theory. Despite these limitations, this paper provides important new tools for polytope theory and has significant impact in the interdisciplinary field of combinatorics, algebraic geometry, and harmonic analysis.