-
Geometry of error amplification in solving Prony system with near-colliding nodes
Authors:
Andrey Akinshin,
Gil Goldman,
Yosef Yomdin
Abstract:
We consider a reconstruction problem for ``spike-train'' signals $F$ of an a priori known form $F(x)=\sum_{j=1}^{d}a_{j}δ\left(x-x_{j}\right),$ from their moments $m_k(F)=\int x^kF(x)dx.$ We assume that the moments $m_k(F)$, $k=0,1,\ldots,2d-1$, are known with an absolute error not exceeding $ε> 0$. This problem is essentially equivalent to solving the Prony system…
▽ More
We consider a reconstruction problem for ``spike-train'' signals $F$ of an a priori known form $F(x)=\sum_{j=1}^{d}a_{j}δ\left(x-x_{j}\right),$ from their moments $m_k(F)=\int x^kF(x)dx.$ We assume that the moments $m_k(F)$, $k=0,1,\ldots,2d-1$, are known with an absolute error not exceeding $ε> 0$. This problem is essentially equivalent to solving the Prony system $\sum_{j=1}^d a_jx_j^k=m_k(F), \ k=0,1,\ldots,2d-1.$ We study the ``geometry of error amplification'' in reconstruction of $F$ from $m_k(F),$ in situations where the nodes $x_1,\ldots,x_d$ near-collide, i.e. form a cluster of size $h \ll 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.
△ Less
Submitted 17 December, 2019; v1 submitted 15 January, 2017;
originally announced January 2017.
-
Accuracy of reconstruction of spike-trains with two near-colliding nodes
Authors:
Andrey Akinshin,
Gil Goldman,
Vladimir Golubyatnikov,
Yosef Yomdin
Abstract:
We consider a signal reconstruction problem for signals $F$ of the form $ F(x)=\sum_{j=1}^{d}a_{j}δ\left(x-x_{j}\right),$ from their moments $m_k(F)=\int x^kF(x)dx.$ We assume $m_k(F)$ to be known for $k=0,1,\ldots,N,$ with an absolute error not exceeding $ε> 0$.
We study the "geometry of error amplification" in reconstruction of $F$ from $m_k(F),$ in situations where two neighboring nodes…
▽ More
We consider a signal reconstruction problem for signals $F$ of the form $ F(x)=\sum_{j=1}^{d}a_{j}δ\left(x-x_{j}\right),$ from their moments $m_k(F)=\int x^kF(x)dx.$ We assume $m_k(F)$ to be known for $k=0,1,\ldots,N,$ with an absolute error not exceeding $ε> 0$.
We study the "geometry of error amplification" in reconstruction of $F$ from $m_k(F),$ in situations where two neighboring nodes $x_i$ and $x_{i+1}$ near-collide, i.e $x_{i+1}-x_i=h \ll 1$. We show that the error amplification is governed by certain algebraic curves $S_{F,i},$ in the parameter space of signals $F$, along which the first three moments $m_0,m_1,m_2$ remain constant.
△ Less
Submitted 5 January, 2017;
originally announced January 2017.
-
Accuracy of spike-train Fourier reconstruction for colliding nodes
Authors:
Andrey Akinshin,
Dmitry Batenkov,
Yosef Yomdin
Abstract:
We consider Fourier reconstruction problem for signals F, which are linear combinations of shifted delta-functions. We assume the Fourier transform of F to be known on the frequency interval [-N,N], with an absolute error not exceeding e > 0. We give an absolute lower bound (which is valid with any reconstruction method) for the "worst case" reconstruction error of F in situations where the nodes…
▽ More
We consider Fourier reconstruction problem for signals F, which are linear combinations of shifted delta-functions. We assume the Fourier transform of F to be known on the frequency interval [-N,N], with an absolute error not exceeding e > 0. We give an absolute lower bound (which is valid with any reconstruction method) for the "worst case" reconstruction error of F in situations where the nodes (i.e. the positions of the shifted delta-functions in F) are known to form an l elements cluster of a size h << 1. Using "decimation" reconstruction algorithm we provide an upper bound for the reconstruction error, essentially of the same form as the lower one. Roughly, our main result states that for N*h of order of (2l-1)-st root of e the worst case reconstruction error of the cluster nodes is of the same order as h, and hence the inside configuration of the cluster nodes (in the worst case scenario) cannot be reconstructed at all. On the other hand, decimation algorithm reconstructs F with the accuracy of order of 2l-st root of e.
△ Less
Submitted 24 February, 2015;
originally announced February 2015.
