Source author record

Saeid Haghighatshoar

Saeid Haghighatshoar appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

EXODUS: Stable and Efficient Training of Spiking Neural Networks

Spiking Neural Networks (SNNs) are gaining significant traction in machine learning tasks where energy-efficiency is of utmost importance. Training such networks using the state-of-the-art back-propagation through time (BPTT) is, however, very time-consuming. Previous work by Shrestha and Orchard [2018] employs an efficient GPU-accelerated back-propagation algorithm called SLAYER, which speeds up training considerably. SLAYER, however, does not take into account the neuron reset mechanism while computing the gradients, which we argue to be the source of numerical instability. To counteract this, SLAYER introduces a gradient scale hyperparameter across layers, which needs manual tuning. In this paper, (i) we modify SLAYER and design an algorithm called EXODUS, that accounts for the neuron reset mechanism and applies the Implicit Function Theorem (IFT) to calculate the correct gradients (equivalent to those computed by BPTT), (ii) we eliminate the need for ad-hoc scaling of gradients, thus, reducing the training complexity tremendously, (iii) we demonstrate, via computer simulations, that EXODUS is numerically stable and achieves a comparable or better performance than SLAYER especially in various tasks with SNNs that rely on temporal features. Our code is available at https://github.com/synsense/sinabs-exodus.

preprint2022arXiv

Structured Channel Covariance Estimation from Limited Samples for Large Antenna Arrays

In massive multiple-input multiple-output (MIMO) systems, the knowledge of the users' channel covariance matrix is crucial for minimum mean square error (MMSE) channel estimation in the uplink as well as it plays an important role in several multiuser beamforming schemes in the downlink. Due to the large number of base station antennas in massive MIMO, accurate covariance estimation is challenging especially in the case where the number of samples is limited and thus comparable to the channel vector dimension. As a result, the standard sample covariance estimator may yield a too large estimation error which in turn may yield significant system performance degradation with respect to the ideal channel covariance knowledge case. To address such problem, we propose a method based on a parametric representation of the channel angular scattering function. The proposed parametric representation includes a discrete specular component which is addressed using the well-known MUltiple SIgnal Classification (MUSIC) method, and a diffuse scattering component, which is modeled as the superposition of suitable dictionary functions. To obtain the representation parameters we propose two methods, where the first solves a non-negative least-squares problem and the second maximizes the likelihood function using expectation-maximization. Our simulation results show that the proposed methods outperform the state of the art with respect to various estimation quality metrics and different sample sizes.

preprint2020arXiv

Dual-Polarized FDD Massive MIMO: A Comprehensive Framework

We propose a comprehensive scheme for realizing a massive multiple-input multiple-output (MIMO) system with dual-polarized antennas in frequency division duplexing (FDD) mode. Employing dual-polarized elements in a massive MIMO array has been common practice recently and can, in principle, double the number of spatial degrees of freedom with a less-than-proportional increase in array size. However, processing a dual-polarized channel is demanding due to the high channel dimension and the lack of Uplink-Downlink (UL-DL) channel reciprocity in FDD mode. In particular, the difficulty arises in channel covariance acquisition for both UL and DL transmissions and in common training of DL channels in a multi-user setup. To overcome these challenges, we develop a unified framework consisting of three steps: (1) a covariance estimation method to efficiently estimate the UL covariance from noisy, orthogonal UL pilots; (2) a UL-DL covariance transformation method that obtains the DL covariance from the estimated UL covariance in the previous step; (3) a multi-user common DL channel training with limited DL pilot dimension method, which enables the BS to estimate effective user DL channels and use them for interference-free DL beamforming and data transmission. We provide extensive empirical results to prove the applicability and merits of our scheme.

preprint2020arXiv

Joint Approximate Covariance Diagonalization with Applications in MIMO Virtual Beam Design

We study the problem of maximum-likelihood (ML) estimation of an approximate common eigenstructure, i.e. an approximate common eigenvectors set (CES), for an ensemble of covariance matrices given a collection of their associated i.i.d vector realizations. This problem has a direct application in multi-user MIMO communications, where the base station (BS) has access to instantaneous user channel vectors through pilot transmission and attempts to perform joint multi-user Downlink (DL) precoding. It is widely accepted that an efficient implementation of this task hinges upon an appropriate design of a set of common "virtual beams", that captures the common eigenstructure among the user channel covariances. In this paper, we propose a novel method for obtaining this common eigenstructure by casting it as an ML estimation problem. We prove that in the special case where the covariances are jointly diagonalizable, the global optimal solution of the proposed ML problem coincides with the common eigenstructure. Then we propose a projected gradient descent (PGD) method to solve the ML optimization problem over the manifold of unitary matrices and prove its convergence to a stationary point. Through exhaustive simulations, we illustrate that in the case of jointly diagonalizable covariances, our proposed method converges to the exact CES. Also, in the general case where the covariances are not jointly diagonalizable, it yields a solution that approximately diagonalizes all covariances. Besides, the empirical results show that our proposed method outperforms the well-known joint approximate diagonalization of eigenmatrices (JADE) method in the literature.

preprint2019arXiv

Grant-Free Massive Random Access With a Massive MIMO Receiver

We consider the problem of unsourced random access (U-RA), a grant-free uncoordinated form of random access, in a wireless channel with a massive MIMO base station equipped with a large number $M$ of antennas and a large number of wireless single-antenna devices (users). We consider a block fading channel model where the $M$-dimensional channel vector of each user remains constant over a coherence block containing $L$ signal dimensions in time-frequency. In the considered setting, the number of potential users $K_\text{tot}$ is much larger than $L$ but at each time slot only $K_a \ll K_\text{tot}$ of them are active. Previous results, based on compressed sensing, require that $K_a < L$, which is a bottleneck in massive deployment scenarios such as Internet-of-Things and U-RA. In the context of activity detection it is known that such a limitation can be overcome when the number of base station antennas $M$ is sufficiently large and a covariance based recovery algorithm is employed at the receiver. We show that, in the context of U-RA, the same concept allows to achieve high spectral efficiencies in the order of $\mathcal{O}(L \log L)$, although at an exponentially growing complexity. We show also that a concatenated coding scheme can be used to reduce the complexity to an acceptable level while still achieving total spectral efficiencies in the order of $\mathcal{O}(L/\log L)$.

preprint2016arXiv

Capacity and Degree-of-Freedom of OFDM Channels with Amplitude Constraint

In this paper, we study the capacity and degree-of-freedom (DoF) scaling for the continuous-time amplitude limited AWGN channels in radio frequency (RF) and intensity modulated optical communication (OC) channels. More precisely, we study how the capacity varies in terms of the OFDM block transmission time $T$, bandwidth $W$, amplitude $A$, and the noise spectral density $N_0$. We first find suitable discrete encoding spaces for both cases, and prove that they are convex sets that have a semi-definite programming (SDP) representation. Using tools from convex geometry, we find lower and upper bounds on the volume of these encoding sets, which we exploit to drive pretty sharp lower and upper bounds on the capacity. We also study a practical Tone-Reservation (TR) encoding algorithm and prove that its performance can be characterized by the statistical width of an appropriate convex set. Recently, it has been observed that in high-dimensional estimation problems under constraints such as those arisen in Compressed Sensing (CS) statistical width plays a crucial role. We discuss some of the implications of the resulting statistical width on the performance of the TR. We also provide numerical simulations to validate these observations.

preprint2016arXiv

Channel Vector Subspace Estimation from Low-Dimensional Projections

Massive MIMO is a variant of multiuser MIMO where the number of base-station antennas $M$ is very large (typically 100), and generally much larger than the number of spatially multiplexed data streams (typically 10). Unfortunately, the front-end A/D conversion necessary to drive hundreds of antennas, with a signal bandwidth of the order of 10 to 100 MHz, requires very large sampling bit-rate and power consumption. In order to reduce such implementation requirements, Hybrid Digital-Analog architectures have been proposed. In particular, our work in this paper is motivated by one of such schemes named Joint Spatial Division and Multiplexing (JSDM), where the downlink precoder (resp., uplink linear receiver) is split into the product of a baseband linear projection (digital) and an RF reconfigurable beamforming network (analog), such that only a reduced number $m \ll M$ of A/D converters and RF modulation/demodulation chains is needed. In JSDM, users are grouped according to the similarity of their channel dominant subspaces, and these groups are separated by the analog beamforming stage, where the multiplexing gain in each group is achieved using the digital precoder. Therefore, it is apparent that extracting the channel subspace information of the $M$-dim channel vectors from snapshots of $m$-dim projections, with $m \ll M$, plays a fundamental role in JSDM implementation. In this paper, we develop novel efficient algorithms that require sampling only $m = O(2\sqrt{M})$ specific array elements according to a coprime sampling scheme, and for a given $p \ll M$, return a $p$-dim beamformer that has a performance comparable with the best p-dim beamformer that can be designed from the full knowledge of the exact channel covariance matrix. We assess the performance of our proposed estimators both analytically and empirically via numerical simulations.

preprint2016arXiv

Enhancing the Estimation of mm-Wave Large Array Channels by Exploiting Spatio-Temporal Correlation and Sparse Scattering

In order to cope with the large path-loss exponent of mm-Wave channels, a high beamforming gain is needed. This can be achieved with small hardware complexity and high hardware power efficiency by Hybrid Digital-Analog (HDA) beamforming, where a very large number $M\gg 1$ of antenna array elements requires only a relatively small $m\ll M$ number of A/D converters and modulators/demodulators. As such, the estimation of mm-Wave MIMO channels must deal with two specific problems: 1) high Doppler, due to the large carrier frequency; 2) impossibility of observing directly the M-dimensional channel vector at the antenna array elements, due to the mentioned HDA implementation. In this paper, we consider a novel scheme inspired by recent results on gridless multiple measurement vectors problem in compressed sensing, that is able to exploit the inherent mm-Wave channel sparsity in the angular domain in order to cope with both the above problems simultaneously. Our scheme uses past pilot-symbol observations in a window of length $T$ in order to estimate a low-dimensional subspace that approximately contains the channel vector at the current time. This subspace information can be used directly, in order to separate users in the spatial domain, or indirectly, in order to improve the estimate of the user channel vector from the current pilot-symbol observation.

preprint2015arXiv

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

In this paper, we prove a new identity for the least-square solution of an over-determined set of linear equation $Ax=b$, where $A$ is an $m\times n$ full-rank matrix, $b$ is a column-vector of dimension $m$, and $m$ (the number of equations) is larger than or equal to $n$ (the dimension of the unknown vector $x$). Generally, the equations are inconsistent and there is no feasible solution for $x$ unless $b$ belongs to the column-span of $A$. In the least-square approach, a candidate solution is found as the unique $x$ that minimizes the error function $\|Ax-b\|_2$. We propose a more general approach that consist in considering all the consistent subset of the equations, finding their solutions, and taking a weighted average of them to build a candidate solution. In particular, we show that by weighting the solutions with the squared determinant of their coefficient matrix, the resulting candidate solution coincides with the least square solution.

preprint2015arXiv

An Active-Sensing Approach to Channel Vector Subspace Estimation in mm-Wave Massive MIMO Systems

Millimeter-wave (mm-Wave) cellular systems are a promising option for a very high data rate communication because of the large bandwidth available at mm-Wave frequencies. Due to the large path-loss exponent in the mm-Wave range of the spectrum, directional beamforming with a large antenna gain is necessary at the transmitter, the receiver or both for capturing sufficient signal power. This in turn implies that fast and robust channel estimation plays a central role in systems performance since without a reliable estimate of the channel state the received signal-to-noise ratio (SNR) would be much lower than the minimum necessary for a reliable communication. In this paper, we mainly focus on single-antenna users and a multi-antenna base-station. We propose an adaptive sampling scheme to speed up the user's signal subspace estimation. In our scheme, the beamforming vector for taking every new sample is adaptively selected based on all the previous beamforming vectors and the resulting output observations. We apply the theory of optimal design of experiments in statistics to design an adaptive algorithm for estimating the signal subspace of each user. The resulting subspace estimates for different users can be exploited to efficiently communicate to the users and to manage the interference. We cast our proposed algorithm as low-complexity optimization problems, and illustrate its efficiency via numerical simulations.

preprint2015arXiv

Unlabeled Sensing with Random Linear Measurements

We study the problem of solving a linear sensing system when the observations are unlabeled. Specifically we seek a solution to a linear system of equations y = Ax when the order of the observations in the vector y is unknown. Focusing on the setting in which A is a random matrix with i.i.d. entries, we show that if the sensing matrix A admits an oversampling ratio of 2 or higher, then with probability 1 it is possible to recover x exactly without the knowledge of the order of the observations in y. Furthermore, if x is of dimension K, then any 2K entries of y are sufficient to recover x. This result implies the existence of deterministic unlabeled sensing matrices with an oversampling factor of 2 that admit perfect reconstruction. The result is universal in that recovery is guaranteed for all possible choices of x. While the proof is constructive, it uses a combinatorial algorithm which is not practical, leaving the question of complexity open. We also analyze a noisy version of the problem and show that local stability is guaranteed by the solution. In particular, for every x, the recovery error tends to zero as the signal-to-noise-ratio tends to infinity. The question of universal stability is unclear. We also obtain a converse of the result in the noiseless case: If the number of observations in y is less than 2K, then with probability 1, universal recovery fails, i.e., with probability 1, there exists distinct choices of x which lead to the same unordered list of observations in y. In terms of applications, the unlabeled sensing problem is related to data association problems encountered in different domains including robotics where it is appears in a method called "simultaneous localization and mapping" (SLAM), multi-target tracking applications, and in sampling signals in the presence of jitter.

preprint2014arXiv

Multi Terminal Probabilistic Compressed Sensing

In this paper, the `Approximate Message Passing' (AMP) algorithm, initially developed for compressed sensing of signals under i.i.d. Gaussian measurement matrices, has been extended to a multi-terminal setting (MAMP algorithm). It has been shown that similar to its single terminal counterpart, the behavior of MAMP algorithm is fully characterized by a `State Evolution' (SE) equation for large block-lengths. This equation has been used to obtain the rate-distortion curve of a multi-terminal memoryless source. It is observed that by spatially coupling the measurement matrices, the rate-distortion curve of MAMP algorithm undergoes a phase transition, where the measurement rate region corresponding to a low distortion (approximately zero distortion) regime is fully characterized by the joint and conditional Renyi information dimension (RID) of the multi-terminal source. This measurement rate region is very similar to the rate region of the Slepian-Wolf distributed source coding problem where the RID plays a role similar to the discrete entropy. Simulations have been done to investigate the empirical behavior of MAMP algorithm. It is observed that simulation results match very well with predictions of SE equation for reasonably large block-lengths.

preprint2013arXiv

A new entropy power inequality for integer-valued random variables

The entropy power inequality (EPI) provides lower bounds on the differential entropy of the sum of two independent real-valued random variables in terms of the individual entropies. Versions of the EPI for discrete random variables have been obtained for special families of distributions with the differential entropy replaced by the discrete entropy, but no universal inequality is known (beyond trivial ones). More recently, the sumset theory for the entropy function provides a sharp inequality $H(X+X')-H(X)\geq 1/2 -o(1)$ when $X,X'$ are i.i.d. with high entropy. This paper provides the inequality $H(X+X')-H(X) \geq g(H(X))$, where $X,X'$ are arbitrary i.i.d. integer-valued random variables and where $g$ is a universal strictly positive function on $\mR_+$ satisfying $g(0)=0$. Extensions to non identically distributed random variables and to conditional entropies are also obtained.

preprint2012arXiv

Adaptive sensing using deterministic partial Hadamard matrices

This paper investigates the construction of deterministic matrices preserving the entropy of random vectors with a given probability distribution. In particular, it is shown that for random vectors having i.i.d. discrete components, this is achieved by selecting a subset of rows of a Hadamard matrix such that (i) the selection is deterministic (ii) the fraction of selected rows is vanishing. In contrast, it is shown that for random vectors with i.i.d. continuous components, no partial Hadamard matrix of reduced dimension allows to preserve the entropy. These results are in agreement with the results of Wu-Verdu on almost lossless analog compression. This paper is however motivated by the complexity attribute of Hadamard matrices, which allows the use of efficient and stable reconstruction algorithms. The proof technique is based on a polar code martingale argument and on a new entropy power inequality for integer-valued random variables.