# On moments of a polytope

- 107 Downloads

## Abstract

We show that the multivariate generating function of appropriately normalized moments of a measure with homogeneous polynomial density supported on a compact polytope \(\mathcal {P}\subset \mathbb {R}^d\) is a rational function. Its denominator is the product of linear forms dual to the vertices of \(\mathcal {P}\) raised to the power equal to the degree of the density function. Using this, we solve the inverse moment problem for the set of, not necessarily convex, polytopes having a given set *S* of vertices. Under a weak non-degeneracy assumption we also show that the uniform measure supported on any such polytope is a linear combination of uniform measures supported on simplices with vertices in *S*.

## Keywords

Moments of polyhedra Generating functions Hyperplane arrangements Moment problems## Mathematics Subject Classification

Primary 44A60 Secondary 31B20## 1 Introduction

The initial motivation for the present paper came from proposed in [20] efficient algorithm recovering an arbitrary convex polytope from axial moments of a polynomial measure supported on it. This algorithm is based on the formulas for the axial moments of polytopes found over 20 years ago independently by Brion, Lawrence, Khovanskii, Pukhlikov, and Barvinok [7, 12, 22, 27], see [8, 9] for accessible explanation. In [20] the authors made an essential, although implicit, use of a univariate rational generating function for appropriately normalized axial moments. Here a multivariate, and explicit, analog of the latter function is developed. It turns out it provides a very convenient encoding of non-convex polytopes, which is of independent interest. E.g. it leads to a natural definition of *vertices* of such non-convex polytopes, which have similar properties to vertices of convex polytopes. It also allows to find the *exact solutions* of a class of inverse moment problems on non-convex polytopes.

After the first version [19] of this text was released in 2012, it was pointed out to us by Prof. Michèle Vergne that Laplace transform techniques developed for studying hyperplane arrangements in [13] simplify and strengthen a number of our results. We discuss this in the Sect. 5.1, while leaving full details for another publication.

## Notation 1

*I*| the shorthand for \(i_1+\dots +i_d\). For any multiindex

*I*, define the

*moment*\(m_I(\mu )\) of \(\mu \) as

*normalized moment generating function*\(F_{\mu }(\mathbf {u})=F_{\mu }(u_1,\dots ,u_d)\) of \(\mu \) by

*Fantappiè transformation*. For details on the latter, see e.g. [5, Chapter 3]. A proof of (1.3) will be given at the end of Sect. 2; see also Remark 10.

*d*-variate polynomial \(\rho \), it is convenient to define the (re)normalized moment generating function \(F_\mu ^\rho (\mathbf {u})\) for the measure \(\rho \mu \), where by definition, \(\int _{\mathbb {R}^d}f d(\rho \mu )=\int _{\mathbb {R}^d} f \rho d\mu \), in such a way that it can be obtained from \(F_\mu (u)\) by application of the differential operator \(\rho \left( \frac{\partial }{\partial \mathbf {u}}\right) \). Namely, set

## Theorem 1

Here and in what follows \(\circ \) denotes the application of a differential operator to a function. The proof of the latter result is basically an exercise in manipulating formal power series, and we do not claim its novelty. For the sake of completeness, we include a proof in Sect. 2.

### 1.1 Results on convex polytopes

A finite set \(S\subset \mathbb {R}^d\) is called *spanning* if it is not contained in any (affine) hyperplane in \(\mathbb {R}^d\). (Obviously, \(\text {card}(S)\ge d+1\).) As usual, by a (compact, convex) *polytope* \(\mathcal {P}\subset \mathbb {R}^d\) we mean the convex hull of a finite spanning set in \(\mathbb {R}^d\). The set of vertices of a convex polytope \(\mathcal {P}\) is the inclusion-minimal finite set with convex hull \(\mathcal {P}\). A *d-simplex* in \(\mathbb {R}^d\) is the convex hull of a spanning \((d+1)\)-tuple of points. By an *open polytope (resp. simplex)* we mean the set of interior points of a compact polytope (resp. simplex).

Given a convex polytope \(\mathcal {P}\) let \(\mathcal {V}=(\mathbf {v}_1,\ldots ,\mathbf {v}_N)\) denote the set of its vertices. Assume that \(\mathcal {P}\) is simple, i.e. each \(\mathbf {v}\in \mathcal {V}\) has exactly *d* incident edges \(\mathbf {v}\mathbf {v}_{e_1}\), ..., \(\mathbf {v}\mathbf {v}_{e_d}\). Set \(w_k(\mathbf {v}):=\mathbf {v}_{e_k}-\mathbf {v}\), for \(1\le k\le d\). The non-negative real span \(K_{\mathbf {v}}\) of \(w_1(\mathbf {v})\),..., \(w_d(\mathbf {v})\) is called *the tangent cone* of \(\mathcal {P}\) at \(\mathbf {v}\). For each \(K_{\mathbf {v}},\) define \(|\det K_{\mathbf {v}}|=|\det (w_1(\mathbf {v}),\ldots ,w_d(\mathbf {v}))|\) to be the volume of the parallelepiped formed by \(w_1(\mathbf {v}),\ldots , w_d(\mathbf {v})\).

*standard measure*of \(\Omega \).

For a simple convex polytope \(\mathcal {P}\), we have the following explicit representation of \(F_{\mu _\mathcal {P}}(\mathbf {u}).\)

## Theorem 2

## Remark 1

Instead of the explicit choice of \(w_k(\mathbf {v})\) for \(\mathbf {v}\in \mathcal {V}\) made above, we can take any fixed set of non-zero vectors \(w_1(\mathbf {v}),\ldots ,w_d(\mathbf {v})\), spanning the tangent cone of \(\mathbf {v}\) in \(\mathcal {P}\). This does not affect the validity of (1.8) and (1.9).

Theorem 2 implies

## Corollary 3

*d*-simplex. Then

## Remark 2

As we discovered after we proved the above results, statements similar to Corollary 3 in the complex setting can be found in [5, Sect. 3.5] and in particular [5, Corollary 3.5.6].

A variation of (1.10) also appears in [6], in the context of designing an efficient procedure for integration of polynomials over simplices.

Notice that an arbitrary convex polytope \(\mathcal {P}\) admits a triangulation which only uses the existing vertices of \(\mathcal {P}\), see e.g. [9, Theorem 3.1]. Applying Corollary 3 and Theorem 1 to the sum of measures corresponding to such a triangulation we get the following.

## Corollary 4

## Example 1

### 1.2 Results on non-convex polytopes

Our second group of results addresses the problem of distinguishing different polytopes with the same underlying set of vertices from information on their moments. The problem of restoring the vertices of a polygon or a polytope with a constant mass density from information on its moments was addressed earlier in e.g. [14, 18, 20, 21, 24, 31]. However, the latter do not provide the recovery of the vertices in the generality required in the present paper. Below we concentrate on the case of constant density and known vertices, and plan to return to the general inverse problem for polytopes with unknown polynomial density and unknown location of their vertices in the future.

First we need to define what we mean by a polytope. It turned out that there is no general consensus about this notion. Instead there exist several competing definitions having their own advantages in different situations. We shall study the following class of polytopal objects.

## Definition 1

A subset \(\mathcal {P}\subset \mathbb {R}^d\) coinciding with a finite union of arbitrary convex *d*-dimensional polytopes is called a *generalized polytope*.

## Definition 2

The *number of components* of a generalized polytope \(\mathcal {P}\) is the number of connected components of the set \(\mathcal {P}^o\subset \mathcal {P}\) of interior points of \(\mathcal {P}\). The closure of each connected component of \(\mathcal {P}^o\) is called a *component* of \(\mathcal {P}\). A generalized polytope with one component is called *indecomposable*.

## Remark 3

We say that a simplicial complex in \(\mathbb {R}^d\) is *pure* if all its maximal simplices have dimension *d*. Clearly any generalized polytope in \(\mathbb {R}^d\) can be represented as the topological space of an appropriate pure simplicial complex.

## Remark 4

Often one considers a more restricted class of objects, namely *polytopes*. A polytope \(\mathcal {P}\subset \mathbb {R}^d\) is a generalized polytope homeomorphic to a *d*-dimensional manifold with boundary.

We need to introduce the notion of a vertex of a generalized polytope.

## Definition 3

Given a generalized polytope \(\mathcal {P}\subset \mathbb {R}^d,\) we call a finite collection of open disjoint *d*-dimensional simplices in \(\mathbb {R}^d\) a *dissection* of \(\mathcal {P}\) if the closure of their union coincides with \(\mathcal {P}\).

A wealth of material on dissections of polytopes can be found in [25], see also [16].

## Definition 4

Given a generalized polytope \(\mathcal {P}\subset \mathbb {R}^d\), we call a point \(\mathbf {v}\) a *vertex* of \(\mathcal {P}\), if \(\mathbf {v}\) is a vertex of (the closure of) some open simplex in every dissection of \(\mathcal {P}\).

## Definition 5

Given a point \(p\in \mathcal {P}\) of a generalized polytope \(\mathcal {P},\) we denote by the tangent cone \(T_p(\mathcal {P})\) of \(\mathcal {P}\) at *p* the set obtained as follows. For a sufficiently small \(\epsilon >0,\) set \(\mathcal {P}_p(\epsilon )=\mathcal {P}\cap B_p(\epsilon )\) where \(B_p(\epsilon )\) is the \(\epsilon \)-ball centered at *p*. Define \(T_p(\mathcal {P})\) as the set obtained by taking a ray through *p* and every point of \(\mathcal {P}_p(\epsilon )\). In other words, \(T_p(\mathcal {P})\) is the cone with the apex at *p* and the base \(B_p(\epsilon )\). (Obviously, \(T_p(\mathcal {P})\) is independent of \(\epsilon \) for a sufficiently small \(\epsilon >0\), and it need not be convex.)

## Lemma 5

A point \(\mathbf {v}\) is a *vertex* of \(\mathcal {P}\) if and only if \(T_\mathbf {v}(\mathcal {P})\) does not admit a decomposition in the disjoint union of convex polyhedral subcones, such that each subcone in the decomposition has a translation-invariant direction (i.e. is not pointed). In particular, if the tangent cone to \(\mathcal {P}\) at \(\mathbf {v}\) has a connected component with no translation-invariant direction, then \(\mathbf {v}\) is a vertex.

We denote by \(\mathrm {conv}(S)\) the convex hull of an arbitrary set \(S\subset \mathbb {R}^d\). The above lemma implies that any vertex of \(\mathrm {conv}(\mathcal {P})\) is a vertex of \(\mathcal {P}\).

The following result extends Corollary 4 to the case of generalized polytopes.

## Proposition 6

## Remark 5

There exist generalized polytopes which do not admit dissections with only existing vertices. The simplest example of this kind is the *Schönhardt polyhedron*, see Fig. 1 and [30]. Absence of a dissection \(\mathcal {T}\) which uses only its 6 vertices can be established by observing that none of the edges *AC*, \(A'B\), and \(B'C'\) can appear in a simplex of \(\mathcal {T}\), yet any simplex on these 6 vertices must contain one of them. Therefore, Proposition 6 is not an immediate consequence of Corollary 3.

## Remark 6

Now we introduce several finite-dimensional linear spaces related to a given finite spanning set \(S\subset \mathbb {R}^d\). Let \(\mathcal {P}(S)\) be the set of all generalized polytopes \(\mathcal {P}\) whose sets \(\mathcal {V}(\mathcal {P})\) of vertices are contained in *S*. For \(\mathcal {P}\in \mathcal {P}(S)\), we denote by \(\mu _\mathcal {P}\) its standard measure. (Obviously, \(\mu _\mathcal {P}\) is supported on \(\mathcal {P}\subseteq \mathrm {conv}(S)\).)

Denote by \(\mathfrak M(S)\) the linear space of all signed measures, i.e. the linear span of all standard measures \(\mu _\mathcal {P}\) for \(\mathcal {P}\in \mathcal {P}(S)\). Let \(\mathfrak M^\Delta (S)\subseteq \mathfrak M(S)\) be its subspace spanned by \(\mu _\Delta \), for \(\Delta \in \mathcal {P}(S)\) a *d*-dimensional simplex. (The space \(\mathfrak M^\Delta (S)\) has earlier appeared in [2, 3, 4] in a somewhat different context.) We shall refer to elements of \(\mathfrak M(S)\) as to *polytopal measures* with the vertex set *S*. The following conjecture was central to our study; it was pointed out to us that it follows from results in [13] after [19] was released (cf. Sect. 5.1 for a discussion). As well, at the same time authors of [1] started working on this question; their [1, Theorem 1], proved using a distinct from [13] set of ideas, implies the conjecture.

## Conjecture 7

(Corollary to [1, Theorem 1]) For an arbitrary spanning set *S* and any \(\mathcal {P}\in \mathcal {P}(S)\), its standard measure \(\mu _\mathcal {P}\) belongs to \(\mathfrak M^\Delta (S)\). In other words, \(\mathfrak M(S)=\mathfrak M^\Delta (S)\).

By Remark 5, the above is non-trivial. In fact, [1] shows a stronger result, namely that the coefficients in a decomposition of \(\mu _cP\) into a sum of \(\mu _\Delta \) are integers, in particular resolving in the affirmative [19, Problem 3]. In view of this, we can make a stronger, “inclusion-exclusion”-like conjecture.

## Conjecture 8

*S*and any \(\mathcal {P}\in \mathcal {P}(S)\), its standard measure \(\mu _\mathcal {P}\) can be decomposed as

*d*-dimensional simplices in \(\mathcal {P}(S)\).

Note that this holds true for \(d=2\), as well as for any convex \(\mathcal {P}\), with a stronger condition that all \(\sigma _\Delta =1\).

While we did not have a proof of Conjecture 7 in its full generality, we have succeeded in proving it for a rather large class of spanning sets. Roughly speaking, the latter should be close to “generic”. Specifically, given a finite spanning set \(S\subset \mathbb {R}^d,\) we say that *S* is *weakly non-degenerate* if any \((d+2)\)-tuple of points from *S* is spanning. If *S* satisfies the stronger condition that each \((d+1)\)-subset of *S* is spanning then we call the latter *S* *strongly non-degenerate*.

## Theorem 9

Conjecture 7 holds for any weakly non-degenerate finite set *S*.

## Remark 7

Theorem 9 would imply Conjecture 7 if one could prove that the standard measure of an arbitrary generalized polytope \(\mathcal {P}\) can be obtained as the limit of the standard measures of a 1-parameter family of generalized polytopes \(\mathcal {P}(t)\) with \(\mathcal {P}(0)=\mathcal {P}\) such that for \(t\ne 0\) the vertices of \(\mathcal {P}(t)\) are weakly non-degenerate, and each vertex of \(\mathcal {P}(t)\) tending to a vertex of \(\mathcal {P}\) as \(t\rightarrow 0\). We are unable to prove the existence of such deformations in general.

The key idea in the proof of Theorem 9 is to study the corresponding spaces of Fantappiè transformations of signed measures in \(\mathfrak M(S)\). In particular, we are able to compute the corresponding dimensions^{1}. In more detail, let \(\mathfrak F(S)\) (resp. \(\mathfrak F^\Delta (S)\)) be the linear space of Fantappiè transformations of signed measures in \(\mathfrak M(S)\) (resp. \(\mathfrak M^\Delta (S)\)). In other words, \(\mathfrak F(S)\) (resp. \(\mathfrak F^\Delta (S)\)) is the space of normalized moment generating functions of signed measures in \(\mathfrak M(S)\) (resp. \(\mathfrak M^\Delta (S)\)).

## Proposition 10

\(\mathfrak F^\Delta (S)\) coincides with \(\mathfrak {Rat}(S)\) if and only if *S* is strongly non-degenerate.

## Corollary 11

If *S* is strongly non-degenerate then \(\mathfrak M^\Delta (S)=\mathfrak M(S)\).

Corollary 11 implies that for strongly non-degenerate *S*, the dimension of all these linear spaces equals \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \). Note that Corollary 11 settles Theorem 9 for the strongly non-degenerate *S*.

Our final goal is to explicitly solve the following inverse moment problem.

## Problem 1

Given a strongly non-degenerate spanning set \(S\subset \mathbb {R}^d\), \(|S|=N\), find the unique polytopal measure in \(\mathfrak M(S)\) with a given set of all moments up to order \(N-d-1\).

We start with the following simple observation.

## Lemma 12

Given an arbitrary spanning set \(S\subset \mathbb {R}^d\), \(|S|=N\), and an arbitrary polynomial \(T(\mathbf {u})\) of degree at most \(N-d-1\), there exists a unique rational function \(R(\mathbf {u})=P(\mathbf {u})/\Phi _S(\mathbf {u})\) with Taylor polynomial of degree \(N-d-1\) at the origin equal to \(T(\mathbf {u})\). Namely, \(P(\mathbf {u})=\left[ T(\mathbf {u}) \Phi _S(\mathbf {u})\right] _{N-d-1}\), where \(\left[ \cdot \right] _{N-d-1}\) stands for the truncated polynomial with all monomials up to degree \(N-d-1\).

For \(S=\{\mathbf {v}_1,\ldots , \mathbf {v}_N\}\subset \mathbb {R}^d\) strongly non-degenerate, we give an explicit inversion formula determining the densities of an unknown polytopal measure having a given set of moments up to order \(N-d-1\) on each simplex in a natural basis of \(\mathfrak M^\Delta (S)\). In view of Lemma 12 we can assume that we are already given an arbitrary rational function \(R(\mathbf {u})=P(\mathbf {u})/\Phi _S(\mathbf {u})\), where \(\deg P(\mathbf {u})\le N-d-1\), and we want to determine the densities of the required signed measure from \(\mathfrak M(S)\) in terms of numerator \(P(\mathbf {u})\).

From now on we shall choose the basis of \(\mathfrak M^\Delta (S)\) consisting of the standard measures of all simplices containing the last vertex \(\mathbf {v}_N\), see Lemma 16 below. Let \(\mathfrak L=\{l_1,l_2,\ldots .,l_{N-1}\}\) be the \((N-1)\)-tuple of linear forms corresponding to vertices \(\mathbf {v}_1,\mathbf {v}_2,\ldots , \mathbf {v}_{N-1}\), where \(l_i(\mathbf {u})=1-\langle \mathbf {v}_i,\mathbf {u}\rangle \). Consider the linear span \(V_\mathfrak L\) of all possible products of the form \(l_{j_1}\cdot l_{j_2} \cdot \cdots \cdot l_{j_{N-d-1}},\; 1\le j_1<j_2<\cdots <j_{N-d-1}\). There are \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \) such products, and each of them is a polynomial of degree at most \(N-d-1\). On the other hand, the dimension of the space \(Pol(N-d-1,d)\) of all (inhomogeneous) polynomials of degree at most \(N-d-1\) in *d* variables equals \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \), as well.

Define the square matrix \(Mat_{S}\) of size \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \) with entries being coefficients of the above products of linear forms with respect to the standard monomial basis in \(Pol(N-d-1,d)\). We assume that \(Mat_{S}\) acts on the space \(V_\mathfrak L\) of *column* vectors.

## Theorem 13

## Remark 8

A detailed explanation of the meaning of (1.13) can be found in the proof of Theorem 13, see also Example 2 below. An explicit formula for the matrix \(Mat_{S}^{-1}\) is given in Lemma 19.

Recall that a spanning set *S* is weakly non-degenerate if any \((d+2)\)-tuple of its points is spanning. With minor changes, the above solution of the inverse moment problem can be adapted to this more general case. In order not to overload the introduction we refer the readers interested in this situation to Sect. 4. The case of an arbitrary spanning set *S*, however, remains unsolved and offers several interesting challenges in matroid theory. We hope to return to it in the future.

It will be convenient to work with scaled volumes of simplices, which we call *weights*.

## Definition 6

*d*-dimensional simplex \(\Delta \subset \mathbb {R}^d\), we define the

*weight*\(w_\Delta \) of \(\Delta \) by the formula:

We finish the introduction by explicitly solving the above inverse problem for a concrete 5-tuple of points in \(\mathbb {R}^2\).

## Example 2

*Pol*(2, 2) as \((1,u_1,u_2,u_1^2,u_1u_2, u_2^2)\), we get the \(6\times 6\)-matrix \(Mat_S\) and its inverse \(Mat_S^{-1}\) as follows(For Open image in new window nical reasons we give \(4Mat_S^{-1}\) above.) Thus, given an arbitrary rational function \(R(u_1,u_2)=P(u_1,u_2)/\Phi _S(u_1,u_2)\) where \(P(u_1,u_2)=a_{00}+a_{1,0}u_1+a_{0,1}u_2+a_{2,0}u_1^2+a_{11}u_1u_2+a_{02}u_2^2\) is a polynomial of degree at most 2 and \(\Phi _S(u_1,u_2)=l_1l_2l_3l_4l_5\), we get

*S*and (ad hoc chosen) moments \(m_{00}=1, m_{10}=2, m_{01}=3, m_{20}=4, m_{11}=5, m_{02}=6\). Then its normalized moment generating function \(F_\mu (\mathbf {u})\) satisfies the relation

*S*, one has to decompose \(\mathrm {conv}(S)\) into domains obtained by removing from \(\mathrm {conv}(S)\) the set of all hyperplanes spanned by vertices in

*S*. For each such domain, we should add up the densities of all basic simplices containing this domain. The resulting measure is shown in Fig. 2.

## Remark 9

Domains into which the convex hull \(\mathrm {conv}(S)\) is cut by the hyperplanes spanned by *S* were introduced in [2] where they were called *chambers*. The incidence matrix of the simplices spanned by *S* and those chambers was studied in some detail in [3, 4]. This matrix allows to formalize the last step of construction of the above polygonal measure, where information on the densities of the simplices is transformed into information on the densities of the chambers. But, in general, already the number of chambers is a complicated invariant of the set *S*. It seems that the general problem of constructing the set of chambers and the corresponding incidence matrix in terms of a given *S* is quite non-trivial.

## 2 Proving results on convex polytopes

*j*-th

*axial*moment \(\mu _j(\mathbf {z})\) of a simple convex polytope \(\mathcal {P}\) with respect to \(\mathbf {z}\) as

## Theorem 14

## Proof of Theorem 2

In view of relations (2.2), the right-hand side of (1.8) can be rewritten as (1.9). Indeed, writing \((1-\langle \mathbf {v},\mathbf {u}\rangle )^{-1}=\sum _{j=0}^\infty \langle \mathbf {v},\mathbf {u}\rangle ^j\) and expanding (1.8) with respect to *j*th powers of \(\langle \mathbf {v},\mathbf {u}\rangle \), we see that (2.2) implies that for \(j<d\) the sum of all terms \(\langle \mathbf {v},\mathbf {u}\rangle ^j\) vanishes. \(\square \)

## Proof of Corollary 3

*i*and equals \(d! \mathrm {Vol}(\Delta )\). The right-hand side of (1.8) becomes

## Lemma 15

## Proof

## Proof of (1.3)

*d*-variate polynomial \(g(\mathbf {z})\), we denote by \(g\left( \mathbf {u}\frac{\partial }{\partial \mathbf {u}}\right) \) the differential operator \(g\left( u_1\frac{\partial }{\partial u_1},\dots ,u_d\frac{\partial }{\partial u_d}\right) \). We use the identity

*d*-variate power series \(\sum _I a_I \mathbf {x}^I\mathbf {u}^I\) and any

*d*-variate polynomial \(g(\mathbf {z})\). (It can be easily verified for monomial \(g(\mathbf {z})\) and then extended by linearity.) Setting \(h(\mathbf {z}):=\prod _{\ell =1}^d\left( \sum _{k=1}^d z_k +\ell \right) ,\) notice that \(h(I)=(|I|+1)(|I|+2)\cdots (|I|+d)\). Now using (2.5) together with the obvious identity:

## Remark 10

Another point of view on (1.3) is that it is the result of the application of the differential operator \(g\left( \mathbf {u}\frac{\partial }{\partial \mathbf {u}}\right) \) to the integral transformation \(\int _{\mathbb {R}^d}\frac{d\mu (\mathbf {x})}{1-\langle \mathbf {x},\mathbf {u}\rangle }\) of the measure \(\mu \) (also known as the Fantappiè transform of \(\mu \)); see e.g. [23].

In [26] a similar idea was applied to the harmonic polygonal measures in the plane.

## Proof of Theorem 1

*I*and |

*K*| but not on particular entries of

*K*. Therefore, for an arbitrary homogeneous \(\rho \) of degree \(\delta \), one gets by additivity

## 3 Inverse moment problem for strongly non-degenerate *S*

## Proof of Lemma 5

We prove first that the tangent cone at any non-vertex allows a decomposition into convex polytopal cones each having a translation-invariant direction.

Let \(\mathbf {v}\) be a point in \(\mathcal {P}\) which is not a vertex. Then there is a dissection \(\mathcal {T}\) of \(\mathcal {P}\) such that \(\mathbf {v}\) is not a vertex of any simplex of \(\mathcal {T}\). Let *U* be the set of simplices \(S_u\) of \(\mathcal {T}\) with closures containing \(\mathbf {v}\). Take the dissection of the tangent cone \(T_v(\mathcal {P})\) into the tangent cones to simplices from *U*, \(T_\mathbf {v}(\mathcal {P})=\cup _{u\in U} T_\mathbf {v}(S_u)\). Clearly, every subcone \(T_v(S_u)\) contains a translation-invariant direction (any direction parallel to the minimal face containing \(\mathbf {v}\)).

Vice versa, to prove the converse implication, let us take a dissection of the tangent cone \(T_\mathbf {v}(\mathcal {P})\) into a disjoint union of convex polytopal cones \(Q_1,\dots ,Q_k\). By definition of the tangent cone and since \(\mathcal {P}\) can be represented as a finite union of simplices, we obtain that any sufficiently small neighborhood of \(\mathbf {v}\) in the tangent cone \(T_\mathbf {v}(\mathcal {P})\) is a neighborhood of \(\mathbf {v}\) in the entire \(\mathcal {P}\). Consider the parallelepiped \(\text {Box}_\varepsilon \) centered at \(\mathbf {v}\) that is the \(\varepsilon \)-ball centered at \(\mathbf {v}\), in the \(L_1\)-norm. Note that each convex polytopal set \(Q_i\cap \text {Box}_\varepsilon \) can be decomposed into a union of simplices that do not contain \(\mathbf {v}\) as a vertex.

Further notice that the set \(\mathcal {P}\setminus \text {Box}_\varepsilon \) can be represented as a finite disjoint union of simplices, since \(\text {Box}_\varepsilon \) is the intersection of a finite number of half-spaces and \(\mathcal {P}\) is a disjoint union of simplices. Clearly, every simplex in this union should not have \(\mathbf {v}\) as a vertex. Now combining the dissections of each \(Q_i\cap \text {Box}_\varepsilon \) and \(\mathcal {P}\setminus \text {Box}_\varepsilon \) we obtain the required dissection of \(\mathcal {P}\). \(\square \)

## Proof of Proposition 6

The case of arbitrary homogeneous \(\rho \) follows immediately by applying Theorem 1 to the already covered case \(\rho \equiv 1\). \(\square \)

## Proof of Proposition 10

First we show that for an arbitrary finite spanning set \(S\subset \mathbb {R}^d\), the space \(\mathfrak M^\Delta (S)\) has a basis of *d*-dimensional simplices containing a fixed vertex \(\mathbf {v}\in S\). In particular, the set of all *d*-dimensional simplices containing \(\mathbf {v}\) spans \(\mathfrak M^\Delta (S)\) but is not necessarily a basis. Consequently, their Fantappiè transformations span \(\mathfrak F^\Delta (S)\). The following result is formulated as Theorem 4.2 of [3] and in a different form in [2]. (We omit the proof of this statement here.)

Given two points *p* and *q* and a set *M* in \(\mathbb {R}^d\), we say that *q* is *visible* from *p* with respect to *M* if the line segment *pq* is disjoint from *M*.

## Lemma 16

*d*-dimensional simplex \(\sigma \subset \mathbb {R}^d\), denote by \(\mathcal {V}(\sigma )\) the set of vertices of \(\sigma \). Let \(\sigma ^0\) be the interior of \(\sigma \). Let

*p*be any point in \(\mathbb {R}^d\) and let \(Q^+\) (resp. \(Q^-\)) be the set of all \((d-1)\)-dimensional faces of \(\sigma \) which are visible (resp. not visible) from

*p*with respect to \(\sigma ^0\). Then the standard measures of all

*d*-dimensional simplices with vertices in \(\mathcal {V}(\sigma )\cup \{ p\}\) satisfy

*d*-dimensional simplex spanned by the vertices of \(\sigma _i\) and the point

*p*.

## Remark 11

If \(\sigma _{i,p}\) is a degenerate simplex, i.e., *p* lies in the hyperplane spanned by \(\sigma _i\), we simply exclude the corresponding term \(\mu _{\sigma _{i,p}}\) from the above formula.

To prove Proposition 10, we need to show that \(\mathfrak F^\Delta (S)\) coincides with \(\mathfrak {Rat}(S)\) if and only if *S* is strongly non-degenerate. Indeed, \(\mathfrak F^\Delta (S)\subseteq \mathfrak {Rat}(S)\) for an arbitrary spanning *S*, by Proposition 6. The Fantappiè transform \(F_\mu : \mathfrak M^\Delta (S)\rightarrow \mathfrak F^\Delta (S)\) is a linear isomorphism which implies that \(\dim \mathfrak M^\Delta (S)=\dim \mathfrak F^\Delta (S)\). By Lemma 16, the space \(\mathfrak M^\Delta (S)\) is spanned by the standard measures \(\mu _\Delta \) of the set \(\mathcal {B}_{i}\) of all *d*-dimensional simplices containing the fixed vertex \(\mathbf {v}_{i}\). Let us fix the vertex \(\mathbf {v}_{_N}\) and consider the set \(\mathcal {B}_{_N}\). For *S* strongly non-degenerate, the cardinality of \(\mathcal {B}_{_N}\) equals \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \).

Now we show that \(\mathfrak F^\Delta (S)=\mathfrak {Rat}(S)\), where \(\mathfrak {Rat}(S)\) has the dimension \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \), as it is isomorphic to the space \(Pol(N-d-1, d)\) of all *d*-variate polynomials of degree at most \(N-d-1\). This would immediately imply that the standard measures of simplices in \(\mathcal {B}_{_N}\) are linearly independent.

## Lemma 17

If *S* is strongly non-degenerate, then \(\mathfrak F^\Delta (S)=\mathfrak {Rat}(S)\).

## Proof

*n*-tuple \(\mathfrak L=\{l_1,l_2,\ldots .,l_{n}\}\) of linear \((d+1)\)-variate forms, let \(V_\mathfrak L\) be the linear span of all possible products of the form \(l_{i_1} l_{i_2} \dots l_{i_{n-d}},\; 1\le i_1<i_2<\cdots <i_{n-d}\le n\). Observe that \(V_\mathfrak L\) is the space of all numerators that one can obtain in \(\mathfrak F^\Delta (S)\). We need to show that \(V_\mathfrak L\) contains \(HPoly(n-d,d+1)\), the space of all \((d+1)\)-variate homogeneous polynomials of degree \(n-d\). Recall that any \(d+1\)-tuple of linear forms \(l_{i_1},\dots ,l_{i_{d+1}}\) is linearly independent due to the strong degeneracy assumption. Thus we can express each single variable \(u_0,\dots , u_d\) as a linear combination of these forms. Since \(V_\mathfrak L\) contains all products \(l_{i_1} l_{i_2} \dots l_{i_{n-d-1}} l_j\), where \(j\in \{1,\dots ,n\}\setminus \{i_1,\dots ,i_{n-d-1}\}\), we conclude that \(V_\mathfrak L\) contains all homogeneous polynomials of the form

For an arbitrary spanning *S*, the cardinality of \(\mathcal {B}_{_N}\) is at most \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) =\dim \mathfrak {Rat}(S)\). Furthermore, if *S* is not strongly non-degenerate the cardinality of \(\mathcal {B}_{_N}\) is strictly smaller than \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \), as there will be linear dependencies among the standard measures on the simplices in \(B_{_N}\). Therefore, \(\dim \mathfrak F^\Delta (S)<\dim \mathfrak {Rat}(S)\). \(\square \)

We define the square matrix \(Mat_{\mathfrak L}\) of size \(\left( {\begin{array}{c}n\\ d\end{array}}\right) \) with entries being coefficients of the above products of linear forms w.r.t. the standard monomial basis in \(HPol(n-d,d+1)\).

## Lemma 18

The determinant of \(Mat_{\mathfrak L}\) is proportional to the product of the determinants of all \((d+1)\)-tuples \((l_{i_1},l_{i_2},\ldots , l_{i_{d+1}}),\; i_1<i_2<\ldots <i_{d+1}\). (By the determinant of a \((d+1)\)-tuple of vectors in \(\mathbb {R}^{d+1}\) with a fixed basis we mean the determinant of the matrix formed by the coordinates of these vectors in a chosen basis.)

## Proof

Indeed, \(\det (Mat_{\mathfrak L})\) is a form of degree \((d+1)\left( {\begin{array}{c}n\\ d\end{array}}\right) \) in the coefficients of the linear forms \(l_1,\ldots , l_n\). Thus the product \(\prod _{i_1,\ldots , {i_{d+1}}}\det (l_{i_1},l_{i_2},\ldots , l_{i_{d+1}})\) has the same degree as \(\det (Mat_{\mathfrak L})\). Therefore it suffices to show that \(\det (Mat_{\mathfrak L})\) vanishes as soon as some of \(\det (l_{i_1},l_{i_2},\ldots , l_{i_{d+1}})\) vanishes. (Observe that all polynomials \(\det (Mat_{\mathfrak L})\) are coprime.) Without loss of generality, assume that \(l_1\) is a linear combination of \(l_2,\ldots ,l_{d+1}\). But then the column of \(Mat_{\mathfrak L}\) corresponding to the \((n-d)\)-tuple \((1,d+2,d+3,\ldots , n)\) will be a linear combination of those corresponding to \((2,d+2,d+3,\ldots , n),\) ...\((d+1,d+2,d+3,\ldots , n)\).

## Proof of Corollary 11

As we mentioned above, \(\mathfrak M(S)\) is isomorphic to \(\mathfrak F(S)\) and, analogously, \(\mathfrak M^\Delta (S)\) is isomorphic to \(\mathfrak F^\Delta (S)\). Thus, if we prove the equality \( \mathfrak F(S)=\mathfrak F^\Delta (S)\), then we get \(\mathfrak M(S)=\mathfrak M^\Delta (S)\). By Lemma 17, the space \(\mathfrak F^\Delta (S)\) coincides with the linear space of all rational functions with the numerator an arbitrary polynomial of degree at most \(N-d-1\) and the denominator \(\Phi _S(\mathbf {u})\) equal to the product of all linear forms dual to all vertices in *S*. By Proposition 6 an arbitrary function in \(\mathfrak F(S)\) is a rational function with denominator of desired form and numerator of degree at most \(N-d-1\), for obvious reasons—take an arbitrary dissection and sum over its simplices. Since all such functions are already in \(\mathfrak F^\Delta (S)\) we are done. \(\square \)

## Proof of Theorem 13

Given a strongly non-degenerate set \(S=\{\mathbf {v}_1,\ldots , \mathbf {v}_{N-1}, \mathbf {v}_{N}\}\) and the Fantappiè transform \(R(\mathbf {u})=P(\mathbf {u})/\Phi _S(\mathbf {u})\), where \(\Phi _S(\mathbf {u})=\prod _{j=1}^Nl_{j}(\mathbf {u})\), we want to solve the inverse moment problem. (It is easy to obtain \(P(\mathbf {u})\) from information on the moments of order at most \(N-d-1\) using Lemma 12.)

*d*-dimensional simplex \(\mathrm {conv}(\mathbf {v}_{i_1},\mathbf {v}_{i_2},\ldots , \mathbf {v}_{i_d}, \mathbf {v}_{N})\) so that

Theorem 13 solves the inverse moment problem for strongly non-degenerate spanning set *S*. We can make this solution more explicit by giving a closed formula for the inverse matrix \(Mat_{S}^{-1}\). To do this, we introduce an extra variable \(u_0\in \mathbb {R}\) and identify the space \(Pol(N-d-1,d)\) with the space \(HPol(N-d-1, d+1)\) of homogeneous forms of degree \(N-d-1\) in \(d+1\) variables \((u_0,u_1,\dots , u_d)\). We homogenize each linear form \(l_i(\mathbf {u})\) in \(\mathfrak L\) as \(l_i(\mathbf {u},u_0)=u_0-\langle \mathbf {v}_i,\mathbf {u}\rangle \). (The matrix \(Mat_{S}\) remains unchanged.)

*d*distinct columns of \(\mathbb {L}\), consider the linear in \(\mathbf {u}\) function \(\mathbb {L}_{\mathbf {i}[d]}(\mathbf {u})\) given by:

*S*the corresponding \(d+1\) linear forms are linearly independent. On the other hand, if \(j\in \mathbf {i}[d]\), then we have \(\mathbb {L}(j,\mathbf {i}[d])= 0.\)

The matrix \(Mat_{S}^{-1}\) has the following explicit description.

## Lemma 19

## Proof of Lemma 19

In order to show that \(Mat_{S}^{-1}\) defined by (3.4) is indeed the inverse of \(Mat_{S}\) we need to verify that \(Mat_{S}^{-1}\cdot Mat_{S}\) is the identity operator on \(V_\mathfrak L\).

## 4 Inverse moment problem for weakly non-degenerate *S*

Given an arbitrary spanning set \(S=\{\mathbf {v}_1,\mathbf {v}_2,\ldots , \mathbf {v}_N\}\), consider the linear space \(\Theta (S)\subseteq Pol(N-d-1,d)\) spanned by all products \(l_{j_1}l_{j_2}\ldots l_{j_{N-d-1}},\; j_1<j_2<\ldots <j_{N-d-1}\). The next statement explains why we can extend our solution of the inverse moment problem from the case of strongly non-degenerate *S* to the case of weakly non-degenerate *S*.

## Lemma 20

\(\Theta (S)=Pol(N-d-1, d)\) if and only if *S* is weakly non-degenerate, i.e., each \((d+2)\)-tuple of points of *S* is spanning.

## Proof

We have *N* (non-homogeneous) linear forms \(l_1\dots ,l_N\) in variables \(\mathbf {u}=(u_1,\dots , u_d)\) and the linear space \(V_\mathfrak L\) spanned by all possible products of \((N-d-1)\)-tuples of distinct forms. We need to investigate whether \(V_\mathfrak L\) coincides with \(Pol(N-d-1, d)\). Homogenizing, we consider the same question for the linear homogeneous forms and the homogeneous polynomials of degree \(N-d-1\) in variables \((u_0,u_1,\dots , u_d)\).

First assume that there are \(d+2\) linear forms \(l_1,\dots ,l_{d+2}\) which are not spanning. Then one can find a non-zero vector \(\mathbf {z}_0\in \mathbb {R}^{d+1}\), such that \(l_1(z)=\dots =l_{d+2}(z)=0\). Note that each product of \(N-d-1\) different forms chosen from \(l_1,\dots , l_N\) contains at least one form among \(\{l_1,\dots ,l_{d+2}\}\). Therefore any linear combination of products of \(N-d-1\) forms vanishes at \(\mathbf {z}_0\). Thus \(V_\mathfrak L\) cannot coincide with \(HPol(N-d-1,d+1)\).

Conversely, assume that every \((d+2)\)-tuple of distinct forms among \(l_1,\dots , l_N\) is spanning. First, we notice that \(HPol(N-d-1,d+1)\) can be spanned by the all possible products of \(N-d-1\) linear forms (not necessarily pairwise distinct). Indeed, since first \(d+2\) forms span the dual space of \(\mathbb {R}^{d+1}\), we can express each variable \(x_i\) as a linear combination of these forms. Therefore every monomial of degree \(N-d-1\) can be expressed as a linear combination of products of \(N-d-1\) forms.

Now we show that each product of \(N-d-1\), not necessarily distinct, forms can be expressed as a linear combination of the products of distinct ones. Assume the contrary and consider monomials \(l_1^{i_1}\dots l_N^{i_N}\) of degree \(N-d-1\) which cannot be expressed as a linear combination of products with all distinct forms. Among those monomials we take a monomial \(\mathbf {m}= l_1^{k_1}\dots l_N^{k_N}\) having the maximal number of distinct forms in the product. Since \(\mathbf {m}\) is not a product of all distinct forms, it should contain a form \(l_i\) in some power \(k_i\ge 2\). Given that \(k_i\ge 2\) and the degree of \(\mathbf {m}\) is \(N-d-1\), one can find \(d+2\) distinct forms \(l_{i_1},\dots ,l_{i_{d+2}}\) that do not appear in \(\mathbf {m}\). Since any \(d+2\) of our forms span the dual space of \(\mathbb {R}^{d+1}\), we can express \(l_i\) as a linear combination of \(l_{i_1},\dots ,l_{i_{d+2}}\). Now rewrite \(\mathbf {m}\) as \(\left( \alpha _1\cdot l_{i_1}+\dots +\alpha _{d+2}\cdot l_{i_{d+2}}\right) l_1^{k_1}\dots l_i^{k_i-1}\dots l_N^{k_N}\), where \(\alpha _1\cdot l_{i_1}+\dots +\alpha _{d+2}\cdot l_{i_{d+2}}=l_i.\) Thus we get an expression of \(\mathbf {m}\) as a linear combination of monomials \(\alpha _j\cdot l_{i_{j}}l_1^{k_1}\dots l_i^{k_i-1}\dots l_N^{k_N}\), where each such monomial has more distinct forms than \(\mathbf {m}\). Each of such monomials can be expressed as a linear combination of products of all distinct forms, since \(\mathbf {m}\) was chosen as a monomial with the maximal possible number of distinct forms, which cannot be expressed in such a way. This is a contradiction. Therefore \(\mathbf {m}\) can also be expressed as a linear combination of products of all distinct forms. \(\square \)

Below we consider the inverse problem for a weakly non-degenerate *S*, using notation from (3.1) and (3.3). Here we no longer have a natural basis of all simplices sharing a common vertex \(\mathbf {v}_N\). Because of that we need to consider all *N* points and include one more linear form \(l_N\) into the corresponding matrix \(\mathbb {L}\). Slightly abusing our notation, we denote by \(\mathbb {L}\) the same matrix as before, although it contains one more (last) column corresponding to \(\mathbf {v}_N\). Similarly to notation (3.3), for a given set *J* of \(d+1\) linear forms, we denote by \(\mathbb {L}(J)\) the determinant of the corresponding \((d+1)\times (d+1)\)-minor of \(\mathbb {L}\).

We introduce the extended \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \times \left( {\begin{array}{c}N\\ d+1\end{array}}\right) \)-matrix \(\widetilde{Mat}_{S}\) with columns consisting of the coefficients of the homogeneous polynomial \(l_{i_1}(\mathbf {u})\dots l_{i_{N-d-1}}(\mathbf {u})\) with respect to the monomial basis in the variables \((u_0,u_1,\dots ,u_d).\) By Lemma 20, \(\widetilde{Mat}_{S}\) has full rank, since it determines a surjective linear map *onto* \(HPol(N-d-1,d+1)\). Thus \(\widetilde{Mat}_{S}\) has a maximal minor with a non-vanishing determinant. Formula (4.1) holds for the determinant of any maximal minor of \(\widetilde{Mat}_{S}\).

## Lemma 21

## Proof

Fix the set \(\mathfrak {S}\) as above. In what follows, we treat both sides of (4.1) as complex-valued polynomials in \(N\cdot (d+1)\) variables, these variables being the entries of matrix \(\mathbb {L}\).

We first show that every determinant \(\mathbb {L}(J)\) divides \(\det \left[ \widetilde{Mat}_{S}(\mathfrak {S})\right] \). Indeed, let \(J=\{j_1,\dots ,j_{d+1}\}\) be a set of \((d+1)\) forms which has a nonempty intersection with any \((N-d-1)\)-tuple of forms in \(\mathfrak {S}\). Let \(\mathbf {z}=(z_1,\dots ,z_{N\cdot (d+1)})\) be a zero of the polynomial \(\mathbb {L}(J)\), which means that forms \(l_{j_1},\dots ,l_{j_{d+1}}\) comprised of the corresponding coordinates of \(\mathbf {z}\) are linearly dependent. Therefore, there is a non-zero vector \(\mathbf {u}_0\in \mathbb {R}^{d+1}\), such that \(l_{j_1}(\mathbf {u}_0)=\dots =l_{j_{d+1}}(\mathbf {u}_0)=0\). Consider the row vector \((\mathbf {u}_0^{I})\) consisting of \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \) homogeneous monomials of degree \(N-d-1\) evaluated at \(\mathbf {u}_0.\) We notice that \((\mathbf {u}_0^{I})\) is in the kernel of \(\widetilde{Mat}_{S}(\mathfrak {S})\), as the product of \((\mathbf {u}_0^{I})\) with each column vector \(T\in \mathfrak {S}\) of \(\widetilde{Mat}_{S}(\mathfrak {S})\) is equal to \(\prod _{j\in T}l_j(\mathbf {u}_0)\); and every set \(T\in \mathfrak {S}\) contains at least one of the forms \(l_{j_1},\dots ,l_{j_{d+1}}\) in such a product. Thus \(\det \left[ \widetilde{Mat}_{S}(\mathfrak {S})\right] \) also vanishes at such \(\mathbf {z}\).

*p*divides

*q*. We conclude that \(\mathbb {L}(J)\) divides \(\det \left[ \widetilde{Mat}_{S}(\mathfrak {S})\right] \).

Using the fact that each \(\mathbb {L}(J)\) is an irreducible polynomial and all \(\mathbb {L}(J)\)’s are pairwise distinct (i.e., have distinct sets of projective zeros) we conclude that the product of \(\mathbb {L}(J)\)’s in the right-hand side of (4.1) divides \(\det \left[ \widetilde{Mat}_{S}(\mathfrak {S})\right] .\)

*J*. We notice further that these complements are the only exceptions for the choice of

*J*. Therefore as a feasible

*J*we can pick any of \(\left( {\begin{array}{c}N\\ d+1\end{array}}\right) \) \((d+1)\)-tuples except those \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \) complements of a \(T\in \mathfrak {S}\). Therefore, (4.2) equals

Hence \(\widetilde{Mat}_{S}(\mathfrak {S})\) coincides with the product of \(\mathbb {L}(J)\)’s up to a constant factor which might vanish. This constant does not depend on the entries of matrix \(\mathbb {L}\) and hence it is completely determined by the set \(\mathfrak {S}\), regardless of the location of points of *S* in \(\mathbb {R}^{d}\).

\(\square \)

*d*-dimensional simplex spanned by these vertices.

If \(\mathbf {v}_{i_1}, \mathbf {v}_{i_2},\dots , \mathbf {v}_{i_{d+1}}\) only span a hyperplane *H* in \(\mathbb {R}^d\) then (4.3) corresponds to a singular (w.r.t. to the Lebesgue measure on \(\mathbb {R}^d\)) measure \(\mu _\delta \) supported on \(\delta =\mathrm {conv}(\mathbf {v}_{i_1},\dots , \mathbf {v}_{i_{d+1}})\). One way to define it as the weak limit of a sequence of (absolutely continuous with respect to the Lebesgue measure on \(\mathbb {R}^d\)) measures—the appropriately scaled standard measures \(\mu _{\delta _t}\) of family of *d*-dimensional simplices \(\delta _t\) which degenerate into \(\delta \) when \(t=0\). There is no loss in generality in assuming \(K_{i_1i_2\dots i_{d+1}}=1\), i.e., to deal with probability measures.

## Proposition 22

## Proof

Without loss of generality assume that \(\mathbf {W}=\{\mathbf {w}_1,\dots ,\mathbf {w}_{d}, \mathbf {w}_{d+1}\}\) is ordered in such a way that \(\{\mathbf {w}_1,\dots , \mathbf {w}_{d}\}\) span *H*. Then, \(\delta _t\) is defined as \(\delta _t=\mathrm {conv}(\delta , \mathbf {w}_{i_{d+1}}+t\mathbf {z})\), with \(\mathbf {z}\) a unit normal to *H*, and \(\mu _{\delta _t}\) as the uniform density probability measure supported on \(\delta _t\). Then \(\lim \limits _{t\rightarrow 0}\mu _{\delta _t}=\mu _\delta \), where \(\lim \) is understood in sense of *weak convergence of distributions (measures)*, i.e., that \(\lim \limits _{t\rightarrow 0}\int f d\mu _{\delta _t}=\int f d\mu _{\delta }\) for any bounded, continuous real function on \(\mathbb {R}^d\), cf. e.g. [10]. Then, this measure has compact support, and thus is determined by its moments, cf. e.g. [28, Proposition 3.2]. \(\square \)

## Remark 12

One can prove that the integration of a smooth compactly supported function \(\phi \) with respect to the limiting measure \(\mu _{\mathbf {W}}\) is given by the integration of \(\phi \) over \(\delta \) with a continuous piecewise linear weight function uniquely determined by \(\delta \). Similar limits appear frequently in the theory of splines. Since we only need the existence of \(\mu _{\mathbf {W}}\) we do not pursue this topic here.

*S*and the set of moments up to order \(N-d-1\) we

- (i)
produce the rational function \(R(\mathbf {u})\in \mathfrak {Rat}(S)\) with Taylor coefficients coinciding with the normalized moments;

- (ii)
represent \(R(\mathbf {u})\) in the form (4.3);

- (iii)
for each term as in (4.4), determine the underlying measure supported on the (probably degenerate) convex hull of the vertices \(\mathbf {v}_{i_1},\mathbf {v}_{i_2},\dots ,\mathbf {v}_{i_{d+1}}\).

*S*.

## Proof of Theorem 9

Theorem 9 is already settled in Corollary 11 for the case of strongly non-degenerate *S*. It remains to consider the case of weakly non-degenerate *S*. The denominator of the moment generating function \(F_\mathcal {P}(\mathbf {u})\) for an arbitrary generalized polytope \(\mathcal {P}\) with the vertex set *S* is of the form \(\Pi _{i=1}^Nl_i\) by Proposition 6, and its numerator belongs to \(Pol(N-d-1,d)\). As *S* is weakly non-degenerate, \(F_\mathcal {P}(\mathbf {u})\) can be written as a linear combination of the fractions as in (4.3), where \((i_1,i_2,\ldots i_{d+1})\) runs over the set of \((d+1)\)-tuples of indices. If a \((d+1)\)-tuple \(l_{i_1}, l_{i_2}, \ldots l_{i_{d+1}}\) is spanning then \(\frac{K}{l_{i_1}l_{i_2} \ldots l_{i_{d+1}}}\) is the moment generating function of the measure supported on the simplex \(\Delta \), determined by its denominator, with the uniform density \(K/d!\text {Vol}(\Delta )\). By Proposition 22, if a \((d+1)\)-tuple \(l_{i_1}, l_{i_2}, \ldots l_{i_{d+1}}\) is not spanning then \(\frac{K}{l_{i_1}l_{i_2} \ldots l_{i_{d+1}}}\) is the moment generating function of a singular measure supported on a degenerate simplex. As \(\mathcal {P}\) is a generalized polytope, its standard measure has no singular components. Therefore, no degenerate simplices can appear in its decomposition. \(\square \)

## Remark 13

The latter proof demonstrates that if one starts from the set of moments of the standard measure \(\mu \) of a polytope with the vertex set *S* then we never obtain degenerate simplices while solving the inverse moment problem. This is why \(\mathfrak M^\Delta (S)=\mathfrak M(S)\). However, an explicit description of \(\mathfrak F^\Delta (S)\) for a general weakly non-degenerate *S* is missing at present. For concrete Examples 3 and 4, we give these descriptions below.

Our final result computes \(\dim \mathfrak M^\Delta (S)\) and describes a procedure to construct a basis for \(\mathfrak M^\Delta (S)\).

## Proposition 23

- (i)
\(\dim \mathfrak M^\Delta (S) =\left( {\begin{array}{c}N-1\\ d\end{array}}\right) -\sharp _{deg}\) where \(\sharp _{deg}\) is the number of degenerate simplices, i.e., the number of non-spanning \((d+1)\)-tuples of points of

*S*. - (ii)
If \(\delta \) is a degenerate

*d*-dimensional simplex with vertices in \(S\setminus \{\mathbf {v}_i\}\) then there is exactly one linear dependence among the standard measures of all*d*-dimensional simplices on \(\mathbf {v}_i\) and*d*vertices of \(\delta \). - (iii)
The standard measure of any

*d*-dimensional simplex on \(\mathbf {v}_i\) is contained in at most one dependence as in (ii). - (iv)For any vertex \(\mathbf {v}_i\), one can construct a (in general, non-unique) basis \(\mathcal {B}_i\) of \(\mathfrak M^\Delta (S)\) consisting of standard measures of
*d*-dimensional simplices on \(\mathbf {v}_i\), as follows.Thus we obtain \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) -\sharp _{deg}\) standard measures of- (a)
Start from the set \(\mathcal {B}_i\) of the

*d*-dimensional simplices on \(\mathbf {v}_i\). - (b)
For each degenerate simplex \(\delta \) not containing \(\mathbf {v}_i\), remove from \(\mathcal {B}_i\) the standard measure of an arbitrary simplex on \(\mathbf {v}_i\) from the corresponding to \(\delta \) linear dependence, cf. (i).

*d*-dimensional simplices, forming a basis of \(\mathfrak M^\Delta (S)\). - (a)

## Proof

To prove (i), notice that \(\dim \widetilde{\mathfrak M}(S)=\dim \mathfrak {Rat}(S)=\left( {\begin{array}{c}N-1\\ d\end{array}}\right) \). As well, \(\widetilde{\mathfrak M}(S)=\mathfrak M(S)\oplus \mathfrak M_{deg}(S)\), where \(\mathfrak M_{deg}(S)\) is the linear span of the measures \(\mu _\delta ^{(1)}\) with \(\delta \) running over the set of all degenerate simplices spanned by \((d+1)\)-tuples of dependent vertices in *S*, cf. Proposition 22. Observe that these measures \(\mu _\delta ^{(1)}\) are linearly independent, as each degenerate simplex defines a singular measure supported in a proper hyperplane, and these hyperplanes differ for different degenerate simplices. We are done with (i).

Let \(\Sigma _0\) be a dependent \(d+1\)-subset of *S*, and \(\delta =\mathrm {conv}(\Sigma _0)\) be as in (ii). Then \(\delta \) spans a hyperplane \(H_0\). As each *d*-dimensional simplex on \(\sigma _0:=\mathbf {v}_i\) and *d* vertices from \(\Sigma _0\) is uniquely defined by the latter, it suffices to analyze dependencies between the standard measures of \(d-1\)-simplices with vertices in \(\Sigma _0\).

We can view \(\Sigma _0\) as a weakly non-degenerate subset in \(\mathbb {R}^{d-1}\cong H_0\). By (i), we have \(\dim \mathfrak M^\Delta (\Sigma _0)=\left( {\begin{array}{c}d\\ d-1\end{array}}\right) -\sharp _{deg}(\Sigma _0)\). If \(\Sigma _0\) is strongly non-degenerate as a subset of \(H_0\cong \mathbb {R}^{d-1}\), i.e. \(\sharp _{deg}(\Sigma _0)=0\), then \(\dim \mathfrak M^\Delta (\Sigma _0)=d\), i.e., there is exactly one linear dependence between the standard measures of \(d-1\)-simplices with vertices in \(\Sigma _0\), and we are done. Otherwise, \(\Sigma _0=\{\sigma _1\}\cup \Sigma _1\), with \(\Sigma _1\) spanning a hyperplane \(H_1\) in \(H_0\). Moreover, this can only happen if \(d\ge 3\). Now, we can repeat the whole argument with \(\sigma _1\) in place of \(\sigma _0\), \(\Sigma _1\) in place of \(\Sigma _0\), and \(H_1\) in place of \(H_0\). Again, we either have \(\Sigma _1\) strongly degenerate, and we are done, or we repeat this argument, etc., until we hit a strongly non-degenerate \(\Sigma _k\), which is bound to happen, as the dimension goes down each iteration. This completes the proof of (ii).

Then, (iii) stems from the fact that the vertices of *d*-dimensional simplex on \(\mathbf {v}_i\) distinct from \(\mathbf {v}_i\) span a hyperplane, and the only possibility for a degenerate simplex \(\delta \) as in (ii) is to lie in this hyperplane.

Finally, to prove (iv), observe that the set \(\mathcal {B}_i'\) of the standard measures of *d*-dimensional simplices containing a given vertex \(\mathbf {v}_i\) always spans \(\mathfrak M^\Delta (S)\), see Lemma 16. Now for each degenerate *d*-simplex \(\delta \), we prune \(\mathcal {B}_i'\) by removing the standard measure of a simplex in the linear dependence corresponding to \(\delta \). In view of (ii) and (iii) this process is well-defined and unambiguous. In the end we obtain \(\left( {\begin{array}{c}N-1\\ d\end{array}}\right) -\sharp _{deg}\) standard measures of *d*-dimensional simplices. In view of (i) they form a basis of \(\mathfrak M^\Delta (S)\), as claimed. \(\square \)

## Remark 14

The above discussions show that the columns of \(\widetilde{Mat}_S\) corresponding to degenerate simplices must necessarily be included in any non-vanishing maximal minor \(\widetilde{Mat}_S(\mathfrak {S})\).

## Example 3

*Pol*(2, 2) we obtain the following \(6\times 10\)-matrix \(\widetilde{Mat}_S\)Its rank equals 6 and one of non-vanishing maximal minors consists of the columns with numbers \(\mathfrak {S}=\{5,6,7,8,9,10\}\). (Recall that any non-vanishing maximal minor must include columns 6 and 9 corresponding to degenerate triples \((\mathbf {v}_1,\mathbf {v}_3,\mathbf {v}_5)\) and \((\mathbf {v}_1,\mathbf {v}_2,\mathbf {v}_4)\) resp.) The corresponding submatrix \(\widetilde{Mat}_S(\mathfrak {S})\) equalsFurther,Thus, given an arbitrary rational function \(R(u_1,u_2)=P(u_1,u_2)/\Phi _S(u_1,u_2)\), where \(P(u_1,u_2)=a_{00}+a_{1,0}u_1+a_{0,1}u_2+a_{2,0}u_1^2+a_{11}u_1u_2+a_{02}u_2^2\) is any polynomial of degree at most 2 and \(\Phi _S(u_1,u_2)=l_1l_2l_3l_4l_5\), we obtain

Our last example is more degenerate than the previous one, although still weakly non-degenerate. In fact, in this example *S* is a multiset since \(\mathbf {v}_1=\mathbf {v}_5\). It shows that our technique can be generalized to a certain class of multisets as well.

## Example 4

*Pol*(2, 2), we obtain the following \(6\times 10\)-matrix \(\widetilde{Mat}_S\):Its rank equals 6 and a non-vanishing maximal minor consists of the columns with numbers \(\mathfrak {S}=\{1,3,4,5,6,8\}\). The corresponding submatrix \(\widetilde{Mat}_S(\mathfrak {S})\) equalsFurther,Thus, given an arbitrary rational function \(R(u_1,u_2)=P(u_1,u_2)/\Phi _S(u_1,u_2)\), where \(P(u_1,u_2)=a_{00}+a_{1,0}u_1+a_{0,1}u_2+a_{2,0}u_1^2+a_{11}u_1u_2+a_{02}u_2^2\) is any polynomial of degree at most 2 and \(\Phi _S(u_1,u_2)=l_1l_2l_3l_4l_5\), we obtain

## 5 Remarks and open problems

## Remark 15

A weaker form of Corollary 4 (i.e., the rationality of \(F_{\mathcal {P}}^\rho (\mathbf {u})\), but without the claim on the particular shape of the denominator) can be derived directly from (1.3) by using Stokes formula, along the lines of [7, Lemma 1].

## Problem 2

Find an appropriate version of Theorem 2, applicable to non-simple and/or non-convex polytopes.

## Remark 16

Choose an arbitrary basis \(\{\Delta _j\}\) of \(\mathfrak M^\Delta (S)\) consisting of the standard measures of simplices. The set \(\{\Delta _j\}\) spans an integer lattice in \(\mathfrak M^\Delta (S)\). (One can easily see that this lattice is invariantly defined independently of the choice of a basis of standard measures of simplices.) Denote by \(\mathfrak M_\mathbb {Z}^\Delta (S)\) the space \(\mathfrak M^\Delta (S)\) with the latter lattice. We can prove the following.

## Proposition 24

Any generalized polytope \(\mathcal {P}\in \mathcal {P}(S)\) with standard measure \(\mu _\mathcal {P}\) corresponds to a rational point in \(\mathfrak M^\Delta _\mathbb {Z}(S)\).

## Proof

As Conjecture 7 follows from [1, Theorem 1], one has \(\mu _\mathcal {P}\in \mathfrak M^\Delta (S)\). One can easily show that \(\mathcal {P}\) can be represented as the union of the closures of connected components of \(\mathbb {R}^d\setminus H(S)\), where *H*(*S*) is the hyperplane arrangement consisting of all hyperplanes spanned by *d*-tuples of points in *S*. (The converse is obviously not true.) Let \(\tilde{S}\supseteq S\) be the *extended set of vertices* obtained by adding to *S* all vertices of the hyperplane arrangement *H*(*S*). Since each connected component in \(\mathbb {R}^d\setminus H(S)\) is convex, it can be triangulated on \(\tilde{S}\). Consider the space \(\mathfrak M^\Delta _\mathbb {Z}(\tilde{S})\). Obviously, \(\mu _\mathcal {P}\) is an integer point in \(\mathfrak M^\Delta _\mathbb {Z}(\tilde{S})\). Also, \(\mathfrak M^\Delta _\mathbb {Z}(S)\) is contained in \(\mathfrak M^\Delta _\mathbb {Z}(\tilde{S})\) as a sublattice. Thus, if \(\mu _\mathcal {P}\) belongs to \(\mathfrak M^\Delta _\mathbb {Z}(S)\) it is a rational point there. \(\square \)

## Problem 3

One can also define a rational convex cone \(\mathfrak {Pos}(S)\subset \mathfrak M_\mathbb {Z}(S)\) by taking non-negative linear combinations of all \(\mu _\mathcal {P}\), where \(\mathcal {P}\) runs over the set of all generalized polytopes in \(\mathcal {P}(S)\).

## Conjecture 25

The rational cone \(\mathfrak {Pos}(S)\) is uniquely determined by the oriented matroid associated to *S*.

We conclude this section with the following question.

## Problem 4

Is it possible to describe the extremal rays of \(\mathfrak {Pos}(S)\)?

One can easily show that a simplex from \(\mathcal {P}(S)\) spans an extremal ray of \(\mathfrak {Pos}(S)\) if and only if it does not contain any points of *S* distinct from its vertices. Problem 4 is apparently closely related to the problem of classification of combinatorial types of point arrangements, see e.g. [17] and references therein.

### 5.1 Hyperplane arrangements and Laplace transform

After the first version [19] of this text was released, it was pointed out to us that Laplace transform technique developed for studying hyperplane arrangements in [13] (see also [15, Sect. II.8]) and the corresponding knowledge accummulated simplify and strengthen a number of our results. Here we sketch the key ideas, leaving full details for another publication.

Let \(\mathcal {P}\) be a generalized polytope. It is natural to homogenize its normalized moment generating function—the rational function \(F^\rho _\mathcal {P}(\mathbf {u})\) from Proposition 6—so that its numerator and denominator become homogeneous, using an extra variable \(\mathbf {u}_0\). E.g. this allows to account for the origin appearing as a vertex of \(\mathcal {P}\). It also has a natural interpretation in terms of measures. Namely, embed \(\mathcal {P}\) in the hyperplane \(\{\mathbf {u}\mid \mathbf {u}_0=1\}\), and consider the cone spanned by \(\mathcal {P}\); equip this cone with exponentially decaying in the direction \(\mathbf {u}_0\) measure. Then the Laplace transform of this measure is the homogenization \(\tilde{F}_\mathcal {P}(\tilde{\mathbf {u}})\) of \(F^\rho _\mathcal {P}(\mathbf {u})\), where we denoted \(\tilde{\mathbf {u}}:=(\mathbf {u}_0,\mathbf {u}_1,\dots ,\mathbf {u}_d)\).

Note that the denominator of \(\tilde{F}_\mathcal {P}(\tilde{\mathbf {u}})\) is the product of powers of linear forms \(\ell _\mathbf {v}(\tilde{\mathbf {u}})\), with \(\mathbf {v}\in \mathcal {V}(\mathcal {P})\). The paper [13] associates to the hyperplane arrangement specified by the corresponding hyperplanes the algebra of rational functions generated by the reciprocials of the \(\ell _\mathbf {v}\), endowed with the natural action of the polynomial differential operators. Then it proceeds to show that \(\tilde{F}_\mathcal {P}(\tilde{\mathbf {u}})\) admits a decomposition into a sum of \(\tilde{F}_\Delta (\tilde{\mathbf {u}})\), with \(\Delta \) ranging through *d*-simplices with vertices in \(\mathcal {V}(\mathcal {P})\), whenever \(\tilde{F}(\tilde{\mathbf {u}})\) corresponds to a non-singular polynomial density measure. This in particular implies Conjecture 7, and much more.

## Footnotes

## Notes

### Acknowledgements

The second author is grateful to the Mathematics Department of Stockholm University for the hospitality in June 2011 when this project was initiated. The third author wants to acknowledge the hospitality of the School of Physical and Mathematical Sciences, Nanyang Technological University in April 2012 when this project was completed. We want to thank Sinai Robins and Michèle Vergne for numerous discussions of the topic. We acknowledge extremely helpful answers and comments on our questions on mathoverflow.net, in particular ones by David Eppstein, Dirk Lorenz, Igor Pak, David Speyer, and Gjergji Zaimi. Finally, the third author wants to thank late Mikael Passare (who unfortunately left us so early) for discussions of the properties of Fantappiè transformation and for pointing out reference [5] in September 2011.

## References

- 1.Akopyan, A., Bárány, I., Robins, S.: Algebraic vertices of non-convex polyhedra. Adv. Math.
**308**, 627–644 (2017)MathSciNetCrossRefMATHGoogle Scholar - 2.Alekseevskaya, T.V., Gel’fand, I.M., Zelevinskiĭ, A.V.: Distribution of real hyperplanes and the partition function connected with it. Dokl. Akad. Nauk SSSR
**297**(6), 1289–1293 (1987)Google Scholar - 3.Alekseyevskaya, T.: Bases in systems of simplices and chambers. ArXiv e-prints (1997). arXiv:math/9707218
- 4.Alekseyevskaya, T.V.: Combinatorial bases in systems of simplices and chambers. In: Proceedings of the 6th Conference on Formal Power Series and Algebraic Combinatorics (New Brunswick, NJ, 1994), pp. 15– 37 (1996)Google Scholar
- 5.Andersson, M., Passare, M., Sigurdsson, R.: Complex convexity and analytic functionals. Progress in Mathematics, vol. 225. Birkhäuser, Basel (2004)Google Scholar
- 6.Baldoni, V., Berline, N., De Loera, J.A., Köppe, M., Vergne, M.: How to integrate a polynomial over a simplex. Math. Comput.
**80**(273), 297–325 (2011)MathSciNetCrossRefMATHGoogle Scholar - 7.Barvinok, A.I.: Exponential integrals and sums over convex polyhedra. Funktsional. Anal. i Prilozhen.
**26**(2), 64–66 (1992)MathSciNetCrossRefMATHGoogle Scholar - 8.Barvinok, A.: Integer points in polyhedra, Zurich Lectures in Advanced Mathematics. European Mathematical Society, EMS), Zürich (2008)CrossRefMATHGoogle Scholar
- 9.Beck, M., Robins, S.: Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra. Undergraduate Texts in Mathematics. Springer, New York (2007)MATHGoogle Scholar
- 10.Billingsley, P.: Convergence of probability measures, Second. Probability and Statistics. Wiley., New York. A Wiley-Interscience Publication, Wiley Series in Probability and Statistics (1999)CrossRefMATHGoogle Scholar
- 11.Bôcher, M.: Introduction to Higher Algebra. Dover Publications Inc., New York (1964)MATHGoogle Scholar
- 12.Brion, M.: Points entiers dans les polyèdres convexes. Ann. Sci. École Norm. Sup. (4)
**21**(4), 653–663 (1988)Google Scholar - 13.Brion, M., Vergne, M.: Arrangement of hyperplanes. I. Rational functions and Jeffrey-Kirwan residue. Ann. Sci. École Norm. Sup. (4)
**32**(5), 715–741 (1999)Google Scholar - 14.Brodsky, M.A.: On the uniqueness of the inverse potential problem for homogeneous polyhedrons. SIAM J. Appl. Math.
**46**(2), 345–350 (1986)MathSciNetCrossRefMATHGoogle Scholar - 15.De Concini, C., Procesi, C.: Topics in Hyperplane Arrangements. Polytopes and Box-Splines. Universitext, Springer, New York (2011)MATHGoogle Scholar
- 16.De Loera, J.A., Rambau, J., Santos, F.: Triangulations, Structures for Algorithms and Applications. Algorithms and Computation in Mathematics, vol. 25. Springer, Berlin (2010)Google Scholar
- 17.Fukuda, K., Miyata, H., Moriyama, S.: Complete enumeration of small realizable oriented matroids. ArXiv e-prints (2012). arXiv:1204.0645
- 18.Golub, G.H., Milanfar, P., Varah, J.: A stable numerical method for inverting shape from moments. SIAM J. Sci. Comput.
**21**(4), 1222–1243 (1999). (electronic)Google Scholar - 19.Gravin, N., Pasechnik, D.V., Shapiro, B., Shapiro, M.: On moments of a polytope. ArXiv e-prints (2012). arXiv:1210.3193v1
- 20.Gravin, N., Lasserre, J.B., Pasechnik, D.V., Robins, S.: The inverse moment problem for convex polytopes. Discrete Comput. Geom.
**48**(3), 596–621 (2011). ArXiv eprint arXiv:1106.5723 - 21.Gustafsson, B., He, C., Milanfar, P., Putinar, M.: Reconstructing planar domains from their moments. Inverse Probl.
**16**(4), 1053–1070 (2000)MathSciNetCrossRefMATHGoogle Scholar - 22.Lawrence, J.: Polytope volume computation. Math. Comput.
**57**(195), 259–271 (1991)MathSciNetCrossRefMATHGoogle Scholar - 23.McCarthy, J.E., Putinar, M.: Positivity aspects of the Fantappiè transform. J. Anal. Math.
**97**, 57–82 (2005)MathSciNetCrossRefMATHGoogle Scholar - 24.Milanfar, P., Putinar, M., Varah, J., Gustafsson, B., Golub, G.H.: Shape reconstruction from moments: theory, algorithms, and applications. In: Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series, pp. 406–416 (2000)Google Scholar
- 25.Pak, I.: Lectures on discrete and polyhedral geometry, UCLA (2008). http://www.math.ucla.edu/~pak/book.htm
- 26.Pasechnik, D., Shapiro, B.: On polygonal measures with vanishing harmonic moments. J. d’Analyse Math.
**123**, 281–301 (2014). ArXiv eprint arXiv:1209.4014 - 27.Pukhlikov, A.V., Khovanskiĭ, A.G.: The Riemann-Roch theorem for integrals and sums of quasipolynomials on virtual polytopes. Algebra i Analiz
**4**(4), 188–216 (1992)MathSciNetMATHGoogle Scholar - 28.Putinar, M., Scheiderer, C.: Multivariate moment problems: geometry and indeterminateness. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)
**5**(2), 137–157 (2006)Google Scholar - 29.Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill Book Co., New York (1987)MATHGoogle Scholar
- 30.Schönhardt, E.: Über die Zerlegung von Dreieckspolyedern in Tetraeder. Math. Ann.
**98**(1), 309–312 (1928)MathSciNetCrossRefMATHGoogle Scholar - 31.Strakhov, V.N., Brodsky, M.A.: On the uniqueness of the inverse logarithmic potential problem. SIAM. J. Appl. Math.
**46**(2), 324–344 (1986)MathSciNetCrossRefMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.