Showing 1–10 of 10 results for author: Pohl, V

On non-detectability of non-computability and the degree of non-computability of solutions of circuit and wave equations on digital computers

Authors: Holger Boche, Volker Pohl

Abstract: It is known that there exist mathematical problems of practical relevance which cannot be computed on a Turing machine. An important example is the calculation of the first derivative of continuously differentiable functions. This paper precisely classifies the non-computability of the first derivative, and of the maximum-norm of the first derivative in the Zheng-Weihrauch hierarchy. Based on this… ▽ More It is known that there exist mathematical problems of practical relevance which cannot be computed on a Turing machine. An important example is the calculation of the first derivative of continuously differentiable functions. This paper precisely classifies the non-computability of the first derivative, and of the maximum-norm of the first derivative in the Zheng-Weihrauch hierarchy. Based on this classification, the paper investigates whether it is possible that a Turing machine detects this non-computability of the first derivative by observing the data of the problem, and whether it is possible to detect upper bounds for the peak value of the first derivative of continuously differentiable functions. So from a practical point of view, the question is whether it is possible to implement an exit-flag functionality for observing non-computability of the first derivative. This paper even studies two different types of exit-flag functionality. A strong one, where the Turing machine always has to stop, and a weak one, where the Turing machine stops if and only if the input lies within the corresponding set of interest. It will be shown that non-computability of the first derivative is not detectable by a Turing machine for two concrete examples, namely for the problem of computing the input--output behavior of simple analog circuits and for solutions of the three-dimensional wave equation. In addition, it is shown that it is even impossible to detect an upper bound for the maximum norm of the first derivative. In particular, it is shown that all three problems are not even semidecidable. Finally, we briefly discuss implications of these results for analog and quantum computing. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Comments: To appear in IEEE Trans. Inf. Theory. This paper influenced the article of F. Fitzek and H. Boche "Metaverse at the campfire of the future" in Germany's major newspaper, the Frankfurter Allgemeine Zeitung (FAZ), https://www.faz.net/aktuell/wirtschaft/digitec/metaverse-am-lagerfeuer-der-zukunft-18051009.html. Technological challenges for the design of the Metaverse are discussed in this article

Compressive phase retrieval of sparse bandlimited signals

Authors: Çağkan Yapar, Volker Pohl, Holger Boche

Abstract: This contribution proposes a two stage strategy to allow for phase retrieval in state of the art sub-Nyquist sampling schemes for sparse multiband signals. The proposed strategy is based on data acquisition via modulated wideband converters known from sub-Nyquist sampling. This paper describes how the modulators have to be modified such that signal recovery from sub-Nyquist amplitude samples becom… ▽ More This contribution proposes a two stage strategy to allow for phase retrieval in state of the art sub-Nyquist sampling schemes for sparse multiband signals. The proposed strategy is based on data acquisition via modulated wideband converters known from sub-Nyquist sampling. This paper describes how the modulators have to be modified such that signal recovery from sub-Nyquist amplitude samples becomes possible and a corresponding recovery algorithm is given which is computational efficient. In addition, the proposed strategy is fairly general, allowing for several constructions and recovery algorithms. △ Less

Submitted 27 September, 2015; originally announced September 2015.

Comments: Submitted to ICASSP 2016

Fast Compressive Phase Retrieval from Fourier Measurements

Authors: Çağkan Yapar, Volker Pohl, Holger Boche

Abstract: This paper considers the problem of recovering a $k$-sparse, $N$-dimensional complex signal from Fourier magnitude measurements. It proposes a Fourier optics setup such that signal recovery up to a global phase factor is possible with very high probability whenever $M \gtrsim 4k\log_2(N/k)$ random Fourier intensity measurements are available. The proposed algorithm is comprised of two stages: An a… ▽ More This paper considers the problem of recovering a $k$-sparse, $N$-dimensional complex signal from Fourier magnitude measurements. It proposes a Fourier optics setup such that signal recovery up to a global phase factor is possible with very high probability whenever $M \gtrsim 4k\log_2(N/k)$ random Fourier intensity measurements are available. The proposed algorithm is comprised of two stages: An algebraic phase retrieval stage and a compressive sensing step subsequent to it. Simulation results are provided to demonstrate the applicability of the algorithm for noiseless and noisy scenarios. △ Less

Submitted 27 October, 2014; originally announced October 2014.

Comments: 8 pages, 4 figures, submitted to ICASSP 2015 on Oct 6th, 2014

System Approximations and Generalized Measurements in Modern Sampling Theory

Authors: Holger Boche, Volker Pohl

Abstract: This paper studies several aspects of signal reconstruction of sampled data in spaces of bandlimited functions. In the first part, signal spaces are characterized in which the classical sampling series uniformly converge, and we investigate whether adaptive recovery algorithms can yield uniform convergence in spaces where non-adaptive sampling series does not. In particular, it is shown that the i… ▽ More This paper studies several aspects of signal reconstruction of sampled data in spaces of bandlimited functions. In the first part, signal spaces are characterized in which the classical sampling series uniformly converge, and we investigate whether adaptive recovery algorithms can yield uniform convergence in spaces where non-adaptive sampling series does not. In particular, it is shown that the investigation of adaptive signal recovery algorithms needs completely new analytic tools since the methods used for non-adaptive reconstruction procedures, which are based on the celebrated Banach-Steinhaus theorem, are not applicable in the adaptive case. The second part analyzes the approximation of the output of stable linear time-invariant (LTI) systems based on samples of the input signal, and where the input is assumed to belong to the Paley-Wiener space of bandlimited functions with absolute integrable Fourier transform. If the samples are acquired by point evaluations of the input signal f, then there exist stable LTI systems H such that the approximation process does not converge to the desired output H(f) even if the oversampling factor is arbitrarily large. If one allows generalized measurements of the input signal, then the output of every stable LTI system can be uniformly approximated in terms of generalized measurements of the input signal. The last section studies the situation where only the amplitudes of the signal samples are known. It is shown that one can find specific measurement functionals such that signal recovery of bandlimited signals from amplitude measurement is possible, with an overall sampling rate of four times the Nyquist rate. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Comments: This is a preprint of an invited chapter which appears in "Sampling Theory - a Renaissance", Editor: Götz Pfander, Springer-Birkhäuser, 2015

Phase retrieval from low-rate samples

Authors: Volker Pohl, Fanny Yang, Holger Boche

Abstract: The paper considers the phase retrieval problem in N-dimensional complex vector spaces. It provides two sets of deterministic measurement vectors which guarantee signal recovery for all signals, excluding only a specific subspace and a union of subspaces, respectively. A stable analytic reconstruction procedure of low complexity is given. Additionally it is proven that signal recovery from these m… ▽ More The paper considers the phase retrieval problem in N-dimensional complex vector spaces. It provides two sets of deterministic measurement vectors which guarantee signal recovery for all signals, excluding only a specific subspace and a union of subspaces, respectively. A stable analytic reconstruction procedure of low complexity is given. Additionally it is proven that signal recovery from these measurements can be solved exactly via a semidefinite program. A practical implementation with 4 deterministic diffraction patterns is provided and some numerical experiments with noisy measurements complement the analytic approach. △ Less

Submitted 18 July, 2014; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: Preprint accepted for publication in Sampling Theory in Signal and Image Processing -- Special issue on SampTa 2013

MSC Class: 49N45; 90C22; 94A12; 94A20

Phaseless Signal Recovery in Infinite Dimensional Spaces using Structured Modulations

Authors: Volker Pohl, Fanny Yang, Holger Boche

Abstract: This paper considers the recovery of continuous signals in infinite dimensional spaces from the magnitude of their frequency samples. It proposes a sampling scheme which involves a combination of oversampling and modulations with complex exponentials. Sufficient conditions are given such that almost every signal with compact support can be reconstructed up to a unimodular constant using only its m… ▽ More This paper considers the recovery of continuous signals in infinite dimensional spaces from the magnitude of their frequency samples. It proposes a sampling scheme which involves a combination of oversampling and modulations with complex exponentials. Sufficient conditions are given such that almost every signal with compact support can be reconstructed up to a unimodular constant using only its magnitude samples in the frequency domain. Finally it is shown that an average sampling rate of four times the Nyquist rate is enough to reconstruct almost every time-limited signal. △ Less

Submitted 10 July, 2014; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: Preprint accepted for publication in the Journal of Fourier Analysis and Applications

MSC Class: 30D10; 94A20 (Primary) 42C15; 94A12 (Secondary)

Phase Retrieval via Structured Modulations in Paley-Wiener Spaces

Authors: Fanny Yang, Volker Pohl, Holger Boche

Abstract: This paper considers the recovery of continuous time signals from the magnitude of its samples. It uses a combination of structured modulation and oversampling and provides sufficient conditions on the signal and the sampling system such that signal recovery is possible. In particular, it is shown that an average sampling rate of four times the Nyquist rate is sufficient to reconstruct a signal fr… ▽ More This paper considers the recovery of continuous time signals from the magnitude of its samples. It uses a combination of structured modulation and oversampling and provides sufficient conditions on the signal and the sampling system such that signal recovery is possible. In particular, it is shown that an average sampling rate of four times the Nyquist rate is sufficient to reconstruct a signal from its magnitude measurements. △ Less

Submitted 18 February, 2013; originally announced February 2013.

Comments: Submitted to SAMPTA 2013

Recovering Signals from Lowpass Data

Authors: Yonina C. Eldar, Volker Pohl

Abstract: The problem of recovering a signal from its low frequency components occurs often in practical applications due to the lowpass behavior of many physical systems. Here we study in detail conditions under which a signal can be determined from its low-frequency content. We focus on signals in shift-invariant spaces generated by multiple generators. For these signals, we derive necessary conditions… ▽ More The problem of recovering a signal from its low frequency components occurs often in practical applications due to the lowpass behavior of many physical systems. Here we study in detail conditions under which a signal can be determined from its low-frequency content. We focus on signals in shift-invariant spaces generated by multiple generators. For these signals, we derive necessary conditions on the cutoff frequency of the lowpass filter as well as necessary and sufficient conditions on the generators such that signal recovery is possible. When the lowpass content is not sufficient to determine the signal, we propose appropriate pre-processing that can improve the reconstruction ability. In particular, we show that modulating the signal with one or more mixing functions prior to lowpass filtering, can ensure the recovery of the signal in many cases, and reduces the necessary bandwidth of the filter. △ Less

Submitted 21 July, 2009; originally announced July 2009.

Comments: submitted to IEEE Trans. Signal Process. Jul. 2009

Journal ref: IEEE Signal Process., vol. 58, no. 5, pp. 2636-2646 , May 2010

Zero-Forcing Precoding for Frequency Selective MIMO Channels with $H^\infty$ Criterion and Causality Constraint

Authors: Sander Wahls, Holger Boche, Volker Pohl

Abstract: We consider zero-forcing equalization of frequency selective MIMO channels by causal and linear time-invariant precoders in the presence of intersymbol interference. Our motivation is twofold. First, we are concerned with the optimal performance of causal precoders from a worst case point of view. Therefore we construct an optimal causal precoder, whereas contrary to other works our construction… ▽ More We consider zero-forcing equalization of frequency selective MIMO channels by causal and linear time-invariant precoders in the presence of intersymbol interference. Our motivation is twofold. First, we are concerned with the optimal performance of causal precoders from a worst case point of view. Therefore we construct an optimal causal precoder, whereas contrary to other works our construction is not limited to finite or rational impulse responses. Moreover we derive a novel numerical approach to computation of the optimal perfomance index achievable by causal precoders for given channels. This quantity is important in the numerical determination of optimal precoders. △ Less

Submitted 27 October, 2008; v1 submitted 4 March, 2008; originally announced March 2008.

Comments: Minor Revisions, mainly in introduction and problem statement. Submitted to Signal Processing

Journal ref: Signal Processing, Vol. 89, No. 9, pp. 1754-1761, Sep. 2009

Spectral Factorization, Whitening- and Estimation Filter -- Stability, Smoothness Properties and FIR Approximation Behavior

Authors: Holger Boche, Volker Pohl

Abstract: A Wiener filter can be interpreted as a cascade of a whitening- and an estimation filter. This paper gives a detailed investigates of the properties of these two filters. Then the practical consequences for the overall Wiener filter are ascertained. It is shown that if the given spectral densities are smooth (Hoelder continuous) functions, the resulting Wiener filter will always be stable and ca… ▽ More A Wiener filter can be interpreted as a cascade of a whitening- and an estimation filter. This paper gives a detailed investigates of the properties of these two filters. Then the practical consequences for the overall Wiener filter are ascertained. It is shown that if the given spectral densities are smooth (Hoelder continuous) functions, the resulting Wiener filter will always be stable and can be approximated arbitrarily well by a finite impulse response (FIR) filter. Moreover, the smoothness of the spectral densities characterizes how fast the FIR filter approximates the desired filter characteristic. If on the other hand the spectral densities are continuous but not smooth enough, the resulting Wiener filter may not be stable. △ Less

Submitted 2 August, 2005; originally announced August 2005.

Comments: To appear in the proceedings of the IEEE International Symposium on Information Theory, Adelaide, Astralia, Sept. 4-9, 2005