Geometry of error amplification in solving the Prony system with near-colliding nodes.

We consider a reconstruction problem for ''spike-train'' signals F of an a priori known form F(x) = ∑_{j = 1}^da_jδ(x−x_j), from their moments m_k(F) = ∫ x^kF(x)dx. We assume that the moments m_k(F), k = 0,1, . . . ,2d−1, are known with an absolute error not exceeding ε > 0. This problem is essentially equivalent to solving the Prony system ∑_{j = 1}^d a_jx_j^k = m_k(F), k = 0,1, . . . ,2d−1. We study the ''geometry of error amplification'' in reconstruction of F from m_k(F), in situations where the nodes x₁, . . . ,x_d near-collide, i.e., form a cluster of size h << 1. We show that in this case, error amplification is governed by certain algebraic varieties in the parameter space of signals F, which we call the ''Prony varieties''. Based on this we produce lower and upper bounds, of the same order, on the worst case reconstruction error. In addition we derive separate lower and upper bounds on the reconstruction of the amplitudes and the nodes. Finally we discuss how to use the geometry of the Prony varieties to improve the reconstruction accuracy given additional a priori information. [ABSTRACT FROM AUTHOR]