-
Pseudo-inverse reconstruction of bandlimited signals from nonuniform generalized samples with orthogonal kernels
Authors:
Nguyen T. Thao,
Dominik Rzepka,
Marek Miskowicz
Abstract:
Contrary to the traditional pursuit of research on nonuniform sampling of bandlimited signals, the objective of the present paper is not to find sampling conditions that permit perfect reconstruction, but to perform the best possible signal recovery from any given set of nonuniform samples, whether it is finite as in practice, or infinite to achieve the possibility of unique reconstruction in…
▽ More
Contrary to the traditional pursuit of research on nonuniform sampling of bandlimited signals, the objective of the present paper is not to find sampling conditions that permit perfect reconstruction, but to perform the best possible signal recovery from any given set of nonuniform samples, whether it is finite as in practice, or infinite to achieve the possibility of unique reconstruction in $L^2({\mathbb R})$. This leads us to consider the pseudo-inverse of the whole sampling map as a linear operator of Hilbert spaces. We propose in this paper an iterative algorithm that systematically performs this pseudo-inversion under the following conditions: (i) the input lies in some closed space $\mathscr A$ (such as a space of bandlimited functions); (ii) the samples are formed by inner product of the input with given kernel functions; (iii) these functions are orthogonal at least in a Hilbert space $\mathscr H$ that contains $\mathscr A$. This situation turns out to appear in certain time encoders that are part of the increasingly important area of event-based sampling. As a result of pseudo-inversion, we systematically achieve perfect reconstruction whenever the samples uniquely characterize the input, we obtain minimal-norm estimates when the sampling is insufficient, and the reconstruction errors are controlled in the case of noisy sampling. The algorithm consists in alternating two projections according to the general method of projections onto convex sets (POCS) and can be implemented by iterating time-varying discrete-time filtering. We finally show that our signal and sampling assumptions appear in a nontrivial manner in other existing problems of data acquisition. This includes multi-channel time encoding where $\mathscr H$ is of the type $L^2({\mathbb R})^M$, and traditional point sampling with the adoption of a Sobolev space $\mathscr H$.
△ Less
Submitted 4 April, 2024; v1 submitted 3 March, 2024;
originally announced March 2024.
-
POCS-based framework of signal reconstruction from generalized non-uniform samples
Authors:
Nguyen T. Thao,
Dominik Rzepka,
Marek Miśkowicz
Abstract:
We formalize the use of projections onto convex sets (POCS) for the reconstruction of signals from non-uniform samples in their highest generality. This covers signals in any Hilbert space $\mathscr H$, including multi-dimensional and multi-channel signals, and samples that are most generally inner products of the signals with given kernel functions in $\mathscr H$. An attractive feature of the PO…
▽ More
We formalize the use of projections onto convex sets (POCS) for the reconstruction of signals from non-uniform samples in their highest generality. This covers signals in any Hilbert space $\mathscr H$, including multi-dimensional and multi-channel signals, and samples that are most generally inner products of the signals with given kernel functions in $\mathscr H$. An attractive feature of the POCS method is the unconditional convergence of its iterates to an estimate that is consistent with the samples of the input, even when these samples are of very heterogeneous nature on top of their non-uniformity, and/or under insufficient sampling. Moreover, the error of the iterates is systematically monotonically decreasing, and their limit retrieves the input signal whenever the samples are uniquely characteristic of this signal. In the second part of the paper, we focus on the case where the sampling kernel functions are orthogonal in $\mathscr H$, while the input may be confined in a smaller closed space $\mathscr A$ (of bandlimitation for example). This covers the increasingly popular application of time encoding by integration, including multi-channel encoding. We push the analysis of the POCS method in this case by giving a special parallelized version of it, showing its connection with the pseudo-inversion of the linear operator defined by the samples, and giving a multiplierless discrete-time implementation of it that paradoxically accelerates the convergence of the iteration.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Bandlimited signal reconstruction from leaky integrate-and-fire encoding using POCS
Authors:
Nguyen T. Thao,
Dominik Rzepka,
Marek Miśkowicz
Abstract:
Leaky integrate-and-fire (LIF) encoding is a model of neuron transfer function in biology that has recently attracted the attention of the signal processing and neuromorphic computing communities as a technique of event-based sampling for data acquisition. While LIF enables the implementation of analog-circuit signal samplers of lower complexity and higher accuracy simultaneously, the core difficu…
▽ More
Leaky integrate-and-fire (LIF) encoding is a model of neuron transfer function in biology that has recently attracted the attention of the signal processing and neuromorphic computing communities as a technique of event-based sampling for data acquisition. While LIF enables the implementation of analog-circuit signal samplers of lower complexity and higher accuracy simultaneously, the core difficulty of this technique is the retrieval of an input from its LIF-encoded output. In this article, we study this problem in the context of bandlimited inputs, by extracting the most abstract features of an LIF encoder as a generalized nonuniform sampler. In this view, the LIF output is seen as the transformation of the input by a known linear operator. We show that the signal reconstruction method of projection onto convex sets (POCS) converges to a weighted pseudo-inverse of this operator. This allows perfect recovery under uniqueness of reconstruction, minimum-norm reconstruction under incomplete sampling, as well as a noise shaping of time quantization that outperforms standard pseudo-inversion. On the practical side, a single iteration of the POCS method can be used to improve any estimate whose LIF samples are not consistent with those of the input, and a rigorous discrete-time implementation of this iteration is proposed that does not require a Nyquist-rate representation of the signals.
△ Less
Submitted 27 July, 2022; v1 submitted 9 January, 2022;
originally announced January 2022.
-
Time encoding of bandlimited signals: reconstruction by pseudo-inversion and time-varying multiplierless FIR filtering
Authors:
Nguyen T. Thao,
Dominik Rzepka
Abstract:
We propose an entirely redesigned framework of bandlimited signal reconstruction for the time encoding machine (TEM) introduced by Lazar and Tóth. As the encoding part of TEM consists in obtaining integral values of a bandlimited input over known time intervals, it theoretically amounts to applying a known linear operator on the input. We then approach the general question of signal reconstruction…
▽ More
We propose an entirely redesigned framework of bandlimited signal reconstruction for the time encoding machine (TEM) introduced by Lazar and Tóth. As the encoding part of TEM consists in obtaining integral values of a bandlimited input over known time intervals, it theoretically amounts to applying a known linear operator on the input. We then approach the general question of signal reconstruction by pseudo-inversion of this operator. We perform this task numerically and iteratively using projections onto convex sets (POCS). The algorithm can be implemented exactly in discrete time with multiplications that are all reduced to scaling by signed powers of two, thanks to the use of relaxation coefficients. Meanwhile, the algorithm achieves a rate of convergence similar to that of Lazar and Tóth. For real-time processing, we propose an approximate time-varying FIR implementation, which avoids the splitting of the input into blocks. We finally propose some preliminary analysis of semi-convergence of the algorithm under data noise.
△ Less
Submitted 24 December, 2020; v1 submitted 28 November, 2019;
originally announced November 2019.
