1: \begin{abstract}

2: We explicate the combinatorial/geometric ingredients of Arthur's proof of the convergence and polynomiality, in a truncation parameter, 

3: of his non-invariant trace formula.  Starting with a fan in a real, finite dimensional, vector space and a collection of functions, one for 

4: each cone in the fan, we introduce a combinatorial truncated function with respect to a polytope normal to the fan and prove the 

5: analogues of Arthur's results on the convergence and polynomiality of the integral of this truncated function over the vector space.  

6: The convergence statements clarify the important role of certain combinatorial subsets that appear in Arthur's work and provide 

7: a crucial partition that amounts to a so-called nearest face partition.  

8: The polynomiality statements can be thought of as far reaching extensions of the Ehrhart polynomial. Our proof of polynomiality relies on 

9: the Lawrence-Varchenko conical decomposition and readily implies an extension of the well-known combinatorial lemma of Langlands. 

10: The Khovanskii-Pukhlikov virtual polytopes are an important ingredient here. 

11: Finally, we give some geometric interpretations of our combinatorial truncation on toric varieties as a measure and a Lefschetz number.  

12: \end{abstract}

13: