Modulo Sampling: Performance Guarantees in The Presence of Quantization

In this paper, we investigate the relationship between the dynamic range and quantization noise power in modulo analog-to-digital converters (ADCs). Two modulo ADC systems are considered: (1) a modulo ADC which outputs the folded samples and an additional 1-bit folding information signal, and (2) a modulo ADC without the 1-bit information. A recovery algorithm that unfolds the quantized modulo samples using the extra 1-bit folding information is analyzed. Using the dithered quantization framework, we show that an oversampling factor of $\mathrm{OF} > 3$ and a quantizer resolution of $b > 3$ are sufficient conditions to unfold the modulo samples. When these conditions are met, we demonstrate that the mean squared error (MSE) performance of modulo ADC with an extra 1-bit folding information signal is better than that of a conventional ADC with the same number of bits used for amplitude quantization. Since folding information is typically not available in modulo ADCs, we also propose and analyze a recovery algorithm based on orthogonal matching pursuit (OMP) that does not require the 1-bit folding information. In this case, we prove that $\mathrm{OF} > 3$ and $b > 3 + \log_2(\delta)$ for some $\delta > 1$ are sufficient conditions to unfold the modulo samples. For the two systems considered, we show that, with sufficient number of bits for amplitude quantization, the mean squared error (MSE) of a modulo ADC is $\mathcal{O}\left(\frac{1}{\mathrm{OF}^3}\right)$ whereas that of a conventional ADC is only $\mathcal{O}\left(\frac{1}{\mathrm{OF}}\right)$. We extend the analysis to the case of simultaneous acquisition of weak and strong signals occupying different frequency bands. Finally, numerical results are presented to validate the derived performance guarantees.

Compressed Sensing Based Residual Recovery Algorithms and Hardware for Modulo Sampling

Analog-to-Digital Converters (ADCs) are essential components in modern data acquisition systems. A key design challenge is accommodating high dynamic range (DR) input signals without clipping. Existing solutions, such as oversampling, automatic gain control (AGC), and compander-based methods, have limitations in handling high-DR signals. Recently, the Unlimited Sampling Framework (USF) has emerged as a promising alternative. It uses a non-linear modulo operator to map high-DR signals within the ADC range. Existing recovery algorithms, such as higher-order differences (HODs), prediction-based methods, and beyond bandwidth residual recovery (B2R2), have shown potential but are either noise-sensitive, require high sampling rates, or are computationally intensive. To address these challenges, we propose LASSO-B2R2, a fast and robust recovery algorithm. Specifically, we demonstrate that the first-order difference of the residual (the difference between the folded and original samples) is sparse, and we derive an upper bound on its sparsity. This insight allows us to formulate the recovery as a sparse signal reconstruction problem using the least absolute shrinkage and selection operator (LASSO). Numerical simulations show that LASSO-B2R2 outperforms prior methods in terms of speed and robustness, though it requires a higher sampling rate at lower DR. To overcome this, we introduce the bits distribution mechanism, which allocates 1 bit from the total bit budget to identify modulo folding events. This reduces the recovery problem to a simple pseudo-inverse computation, significantly enhancing computational efficiency. Finally, we validate our approach through numerical simulations and a hardware prototype that captures 1-bit folding information, demonstrating its practical feasibility.

Optimization Guarantees of Unfolded ISTA and ADMM Networks With Smooth Soft-Thresholding

Solving linear inverse problems plays a crucial role in numerous applications. Algorithm unfolding based, model-aware data-driven approaches have gained significant attention for effectively addressing these problems. Learned iterative soft-thresholding algorithm (LISTA) and alternating direction method of multipliers compressive sensing network (ADMM-CSNet) are two widely used such approaches, based on ISTA and ADMM algorithms, respectively. In this work, we study optimization guarantees, i.e., achieving near-zero training loss with the increase in the number of learning epochs, for finite-layer unfolded networks such as LISTA and ADMM-CSNet with smooth soft-thresholding in an over-parameterized (OP) regime. We achieve this by leveraging a modified version of the Polyak-Lojasiewicz, denoted PL$^*$, condition. Satisfying the PL$^*$ condition within a specific region of the loss landscape ensures the existence of a global minimum and exponential convergence from initialization using gradient descent based methods. Hence, we provide conditions, in terms of the network width and the number of training samples, on these unfolded networks for the PL$^*$ condition to hold. We achieve this by deriving the Hessian spectral norm of these networks. Additionally, we show that the threshold on the number of training samples increases with the increase in the network width. Furthermore, we compare the threshold on training samples of unfolded networks with that of a standard fully-connected feed-forward network (FFNN) with smooth soft-thresholding non-linearity. We prove that unfolded networks have a higher threshold value than FFNN. Consequently, one can expect a better expected error for unfolded networks than FFNN.

A New Signal Representation Using Complex Conjugate Pair Sums

This letter introduces a real valued summation known as Complex Conjugate Pair Sum (CCPS). The space spanned by CCPS and its one circular downshift is called {\em Complex Conjugate Subspace (CCS)}. For a given positive integer $N\geq3$, there exists $\frac{\varphi(N)}{2}$ CCPSs forming $\frac{\varphi(N)}{2}$ CCSs, where $\varphi(N)$ is the Euler's totient function. We prove that these CCSs are mutually orthogonal and their direct sum form a $\varphi(N)$ dimensional subspace $s_N$ of $\mathbb{C}^N$. We propose that any signal of finite length $N$ is represented as a linear combination of elements from a special basis of $s_d$, for each divisor $d$ of $N$. This defines a new transform named as Complex Conjugate Periodic Transform (CCPT). Later, we compared CCPT with DFT (Discrete Fourier Transform) and RPT (Ramanujan Periodic Transform). It is shown that, using CCPT we can estimate the period, hidden periods and frequency information of a signal. Whereas, RPT does not provide the frequency information. For a complex valued input signal, CCPT offers computational benefit over DFT. A CCPT dictionary based method is proposed to extract non-divisor period information.

Orthogonal and Non-Orthogonal Signal Representations Using New Transformation Matrices Having NPM Structure

In this paper, we introduce two types of real-valued sums known as Complex Conjugate Pair Sums (CCPSs) denoted as CCPS$^{(1)}$ and CCPS$^{(2)}$, and discuss a few of their properties. Using each type of CCPSs and their circular shifts, we construct two non-orthogonal Nested Periodic Matrices (NPMs). As NPMs are non-singular, this introduces two non-orthogonal transforms known as Complex Conjugate Periodic Transforms (CCPTs) denoted as CCPT$^{(1)}$ and CCPT$^{(2)}$. We propose another NPM, which uses both types of CCPSs such that its columns are mutually orthogonal, this transform is known as Orthogonal CCPT (OCCPT). After a brief study of a few OCCPT properties like periodicity, circular shift, etc., we present two different interpretations of it. Further, we propose a Decimation-In-Time (DIT) based fast computation algorithm for OCCPT (termed as FOCCPT), whenever the length of the signal is equal to $2^v,\ v{\in} \mathbb{N}$. The proposed sums and transforms are inspired by Ramanujan sums and Ramanujan Period Transform (RPT). Finally, we show that the period (both divisor and non-divisor) and frequency information of a signal can be estimated using the proposed transforms with a significant reduction in the computational complexity over Discrete Fourier Transform (DFT).

On Complex Conjugate Pair Sums and Complex Conjugate Subspaces

In this letter, we study a few properties of Complex Conjugate Pair Sums (CCPSs) and Complex Conjugate Subspaces (CCSs). Initially, we consider an LTI system whose impulse response is one period data of CCPS. For a given input x(n), we prove that the output of this system is equivalent to computing the first order derivative of x(n). Further, with some constraints on the impulse response, the system output is also equivalent to the second order derivative. With this, we show that a fine edge detection in an image can be achieved using CCPSs as impulse response over Ramanujan Sums (RSs). Later computation of projection for CCS is studied. Here the projection matrix has a circulant structure, which makes the computation of projections easier. Finally, we prove that CCS is shift-invariant and closed under the operation of circular cross-correlation.