-
Load Estimation in a Two-Priority mMTC Random Access Channel
Authors:
Ahmed O. Elmeligy,
Ioannis Psaromiligkos,
Au Minh
Abstract:
The use of cellular networks for massive machine-type communications (mMTC) is an appealing solution due to the wide availability of cellular infrastructure. Estimating the number of devices (network load) is vital for efficient allocation of the available resources, especially for managing the random access channel (RACH) of the network. This paper considers a two-priority RACH and proposes two n…
▽ More
The use of cellular networks for massive machine-type communications (mMTC) is an appealing solution due to the wide availability of cellular infrastructure. Estimating the number of devices (network load) is vital for efficient allocation of the available resources, especially for managing the random access channel (RACH) of the network. This paper considers a two-priority RACH and proposes two network load estimators: a maximum likelihood (ML) estimator and a reduced complexity (RCML) variant. The estimators are based on a novel model of the random access behavior of the devices coupled with a flexible analytical framework to calculate the involved probabilities. Monte Carlo simulations demonstrate the accuracy of the proposed estimators for different network configurations.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Channel Estimation for Reconfigurable Intelligent Surface MIMO with Tensor Signal Modelling
Authors:
Alexander James Fernandes,
Ioannis Psaromiligkos
Abstract:
We consider a narrowband MIMO reconfigurable intelligent surface (RIS)-assisted wireless communication system and use tensor signal modelling techniques to individually estimate all communication channels including the non-RIS channels (direct path) and decoupled RIS channels. We model the received signal as a third-order tensor composed of two CANDECOMP/PARAFAC decomposition terms for the non-RIS…
▽ More
We consider a narrowband MIMO reconfigurable intelligent surface (RIS)-assisted wireless communication system and use tensor signal modelling techniques to individually estimate all communication channels including the non-RIS channels (direct path) and decoupled RIS channels. We model the received signal as a third-order tensor composed of two CANDECOMP/PARAFAC decomposition terms for the non-RIS and the RIS-assisted links, respectively, and we propose two channel estimation methods based on an iterative alternating least squares (ALS) algorithm: The two-stage RIS OFF-ON method estimates each of the non-RIS and RIS-assisted terms in two pilot training stages, whereas the enhanced alternating least squares (E-ALS) method improves upon the ALS algorithm to jointly estimate all channels over the full training duration. A key benefit of both methods compared to the traditional least squares (LS) solution is that they exploit the structure of the tensor model to obtain decoupled estimates of all communication channels. We provide the computational complexities to obtain each of the channel estimates for our two proposed methods. Numerical simulations are used to evaluate the accuracy and verify the computational complexities of the proposed two-stage RIS OFF-ON, and E-ALS, and compare them to the traditional LS methods. Results show that E-ALS will obtain the most accurate estimate while only having a slightly higher run-time than the two-stage method.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
CNN-based automatic segmentation of Lumen & Media boundaries in IVUS images using closed polygonal chains
Authors:
Pavel Sinha,
Ioannis Psaromiligkos,
Zeljko Zilic
Abstract:
We propose an automatic segmentation method for lumen and media with irregular contours in IntraVascular ultra-sound (IVUS) images. In contrast to most approaches that broadly label each pixel as either lumen, media, or background, we propose to approximate the lumen and media contours by closed polygonal chains. The chain vertices are placed at fixed angles obtained by dividing the entire 360\deg…
▽ More
We propose an automatic segmentation method for lumen and media with irregular contours in IntraVascular ultra-sound (IVUS) images. In contrast to most approaches that broadly label each pixel as either lumen, media, or background, we propose to approximate the lumen and media contours by closed polygonal chains. The chain vertices are placed at fixed angles obtained by dividing the entire 360\degree~angular space into equally spaced angles, and we predict their radius using an adaptive-subband-decomposition CNN. We consider two loss functions during training. The first is a novel loss function using the Jaccard Measure (JM) to quantify the similarities between the predicted lumen and media segments and the corresponding ground-truth image segments. The second loss function is the traditional Mean Squared Error. The proposed architecture significantly reduces computational costs by replacing the popular auto-encoder structure with a simple CNN as the encoder and the decoder is reduced to simply joining the consecutive predicted points. We evaluated our network on the publicly available IVUS-Challenge-2011 dataset using two performance metrics, namely JM and Hausdorff Distance (HD). The evaluation results show that our proposed network mostly outperforms the state-of-the-art lumen and media segmentation methods.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
A Structurally Regularized CNN Architecture via Adaptive Subband Decomposition
Authors:
Pavel Sinha,
Ioannis Psaromiligkos,
Zeljko Zilic
Abstract:
We propose a generalized convolutional neural network (CNN) architecture that first decomposes the input signal into subbands by an adaptive filter bank structure, and then uses convolutional layers to extract features from each subband independently. Fully connected layers finally combine the extracted features to perform classification. The proposed architecture restrains each of the subband CNN…
▽ More
We propose a generalized convolutional neural network (CNN) architecture that first decomposes the input signal into subbands by an adaptive filter bank structure, and then uses convolutional layers to extract features from each subband independently. Fully connected layers finally combine the extracted features to perform classification. The proposed architecture restrains each of the subband CNNs from learning using the entire input signal spectrum, resulting in structural regularization. Our proposed CNN architecture is fully compatible with the end-to-end learning mechanism of typical CNN architectures and learns the subband decomposition from the input dataset. We show that the proposed CNN architecture has attractive properties, such as robustness to input and weight-and-bias quantization noise, compared to regular full-band CNN architectures. Importantly, the proposed architecture significantly reduces computational costs, while maintaining state-of-the-art classification accuracy.
Experiments on image classification tasks using the MNIST, CIFAR-10/100, Caltech-101, and ImageNet-2012 datasets show that the proposed architecture allows accuracy surpassing state-of-the-art results. On the ImageNet-2012 dataset, we achieved top-5 and top-1 validation set accuracy of 86.91% and 69.73%, respectively. Notably, the proposed architecture offers over 90% reduction in computation cost in the inference path and approximately 75% reduction in back-propagation (per iteration) with just a single-layer subband decomposition. With a 2-layer subband decomposition, the computational gains are even more significant with comparable accuracy results to the single-layer decomposition.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Branchwidth is (1,g)-self-dual
Authors:
Georgios Kontogeorgiou,
Alexandros Leivaditis,
Kostas I. Psaromiligkos,
Giannos Stamoulis,
Dimitris Zoros
Abstract:
A graph parameter is self-dual in some class of graphs embeddable in some surface if its value does not change in the dual graph by more than a constant factor. We prove that the branchwidth of connected hypergraphs without bridges and loops that are embeddable in some surface of Euler genus at most g is an (1,g)-self-dual parameter. This is the first proof that branchwidth is an additively self-d…
▽ More
A graph parameter is self-dual in some class of graphs embeddable in some surface if its value does not change in the dual graph by more than a constant factor. We prove that the branchwidth of connected hypergraphs without bridges and loops that are embeddable in some surface of Euler genus at most g is an (1,g)-self-dual parameter. This is the first proof that branchwidth is an additively self-dual width parameter.
△ Less
Submitted 5 June, 2023; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Channel Estimation for Reconfigurable Intelligent Surface-Assisted Full-Duplex MIMO with Hardware Impairments
Authors:
Alexander James Fernandes,
Ioannis Psaromiligkos
Abstract:
We consider the problem of channel estimation in a multiple-input-multiple-output (MIMO) full-duplex (FD) wireless communication system assisted by a reconfigurable intelligent surface (RIS) with hardware impairments (HI) occurring at the transceivers and RIS elements. We propose an unbiased channel estimator that requires knowledge of only the first and second order statistics of the HI, for whic…
▽ More
We consider the problem of channel estimation in a multiple-input-multiple-output (MIMO) full-duplex (FD) wireless communication system assisted by a reconfigurable intelligent surface (RIS) with hardware impairments (HI) occurring at the transceivers and RIS elements. We propose an unbiased channel estimator that requires knowledge of only the first and second order statistics of the HI, for which we derive closed form expressions. The proposed estimator reduces to the maximum likelihood estimator (MLE) in the case of ideal hardware. We also describe FD and HD orthogonal pilot schemes that minimize the mean square error of the MLE in the case of ideal hardware. We verify the performance of the estimator under varying conditions of transceiver and RIS HI via numerical simulations.
△ Less
Submitted 23 July, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
The Lafforgue variety and irreducibility of induced representations
Authors:
Kostas I. Psaromiligkos
Abstract:
We construct the Lafforgue variety, an affine scheme equipped with an open dense subscheme parametrizing the simple modules of a non-commutative unital algebra $R$ over any field $k$, provided that the center $Z(R)$ is finitely generated and $R$ is finitely generated as a $Z(R)$-module. Our main technical tool is a generalization of the Hilbert scheme for non-commutative algebras, which may be of…
▽ More
We construct the Lafforgue variety, an affine scheme equipped with an open dense subscheme parametrizing the simple modules of a non-commutative unital algebra $R$ over any field $k$, provided that the center $Z(R)$ is finitely generated and $R$ is finitely generated as a $Z(R)$-module. Our main technical tool is a generalization of the Hilbert scheme for non-commutative algebras, which may be of independent interest.
Applying our construction in the case of Hecke algebras of Bernstein components, we derive a characterization for the irreducibility of induced representations in terms of the vanishing of a generalized discriminant on the Bernstein variety. We explicitly compute the discriminant in the case of an Iwahori-Hecke algebra of a split reductive $p$-adic group.
△ Less
Submitted 23 April, 2024; v1 submitted 21 November, 2022;
originally announced November 2022.
-
Character sheaves in characteristic $p$ have nilpotent singular support
Authors:
Kostas I. Psaromiligkos
Abstract:
We prove that character sheaves have nilpotent singular support in any characteristic, partially extending the work of Mirkovic, Vilonen and independently Ginzburg to positive characteristic. We do this by introducing a category of tame perverse sheaves and studying its properties.
We prove that character sheaves have nilpotent singular support in any characteristic, partially extending the work of Mirkovic, Vilonen and independently Ginzburg to positive characteristic. We do this by introducing a category of tame perverse sheaves and studying its properties.
△ Less
Submitted 16 May, 2024; v1 submitted 20 November, 2022;
originally announced November 2022.
-
Energy-Efficient D2D-Aided Fog Computing under Probabilistic Time Constraints
Authors:
Onur Karatalay,
Ioannis Psaromiligkos,
Benoit Champagne
Abstract:
Device-to-device (D2D) communication is an enabling technology for fog computing by allowing the sharing of computation resources between mobile devices. However, temperature variations in the device CPUs affect the computation resources available for task offloading, which unpredictably alters the processing time and energy consumption. In this paper, we address the problem of resource allocation…
▽ More
Device-to-device (D2D) communication is an enabling technology for fog computing by allowing the sharing of computation resources between mobile devices. However, temperature variations in the device CPUs affect the computation resources available for task offloading, which unpredictably alters the processing time and energy consumption. In this paper, we address the problem of resource allocation with respect to task partitioning, computation resources and transmit power in a D2D-aided fog computing scenario, aiming to minimize the expected total energy consumption under probabilistic constraints on the processing time. Since the formulated problem is non-convex, we propose two sub-optimal solution methods. The first method is based on difference of convex (DC) programming, which we combine with chance-constraint programming to handle the probabilistic time limitations. Considering that DC programming is dependent on a good initial point, we propose a second method that relies on only convex programming, which eliminates the dependence on user-defined initialization. Simulation results demonstrate that the latter method outperforms the former in terms of energy efficiency and run-time.
△ Less
Submitted 7 January, 2022;
originally announced January 2022.
-
A Structurally Regularized Convolutional Neural Network for Image Classification using Wavelet-based SubBand Decomposition
Authors:
Pavel Sinha,
Ioannis Psaromiligkos,
Zeljko Zilic
Abstract:
We propose a convolutional neural network (CNN) architecture for image classification based on subband decomposition of the image using wavelets. The proposed architecture decomposes the input image spectra into multiple critically sampled subbands, extracts features using a single CNN per subband, and finally, performs classification by combining the extracted features using a fully connected lay…
▽ More
We propose a convolutional neural network (CNN) architecture for image classification based on subband decomposition of the image using wavelets. The proposed architecture decomposes the input image spectra into multiple critically sampled subbands, extracts features using a single CNN per subband, and finally, performs classification by combining the extracted features using a fully connected layer. Processing each of the subbands by an individual CNN, thereby limiting the learning scope of each CNN to a single subband, imposes a form of structural regularization. This provides better generalization capability as seen by the presented results. The proposed architecture achieves best-in-class performance in terms of total multiply-add-accumulator operations and nearly best-in-class performance in terms of total parameters required, yet it maintains competitive classification performance. We also show the proposed architecture is more robust than the regular full-band CNN to noise caused by weight-and-bias quantization and input quantization.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
A Rational Distributed Process-level Account of Independence Judgment
Authors:
Ardavan S. Nobandegani,
Ioannis N. Psaromiligkos
Abstract:
It is inconceivable how chaotic the world would look to humans, faced with innumerable decisions a day to be made under uncertainty, had they been lacking the capacity to distinguish the relevant from the irrelevant---a capacity which computationally amounts to handling probabilistic independence relations. The highly parallel and distributed computational machinery of the brain suggests that a sa…
▽ More
It is inconceivable how chaotic the world would look to humans, faced with innumerable decisions a day to be made under uncertainty, had they been lacking the capacity to distinguish the relevant from the irrelevant---a capacity which computationally amounts to handling probabilistic independence relations. The highly parallel and distributed computational machinery of the brain suggests that a satisfying process-level account of human independence judgment should also mimic these features. In this work, we present the first rational, distributed, message-passing, process-level account of independence judgment, called $\mathcal{D}^\ast$. Interestingly, $\mathcal{D}^\ast$ shows a curious, but normatively-justified tendency for quick detection of dependencies, whenever they hold. Furthermore, $\mathcal{D}^\ast$ outperforms all the previously proposed algorithms in the AI literature in terms of worst-case running time, and a salient aspect of it is supported by recent work in neuroscience investigating possible implementations of Bayes nets at the neural level. $\mathcal{D}^\ast$ nicely exemplifies how the pursuit of cognitive plausibility can lead to the discovery of state-of-the-art algorithms with appealing properties, and its simplicity makes $\mathcal{D}^\ast$ potentially a good candidate for pedagogical purposes.
△ Less
Submitted 30 January, 2018;
originally announced January 2018.
-
An interactive version of the Lovász local lemma
Authors:
Lefteris Kirousis,
John Livieratos,
Kostas I. Psaromiligkos
Abstract:
Assume we are given (finitely many) mutually independent variables and (finitely many) "undesirable" events, each depending on a subset of the variables of at most $k$ elements, called the scope of the event. Assume that the probability of a variable belonging to the scope of an occurring event is bounded by $q$. We prove that if $ekq \leq 1$ then there exists at least one assignment to the variab…
▽ More
Assume we are given (finitely many) mutually independent variables and (finitely many) "undesirable" events, each depending on a subset of the variables of at most $k$ elements, called the scope of the event. Assume that the probability of a variable belonging to the scope of an occurring event is bounded by $q$. We prove that if $ekq \leq 1$ then there exists at least one assignment to the variables for which none of the events occurs. Examples are given where the criterion $ekq \leq 1$ is applicable, whereas that of the classical version of the Lovász local lemma is not. The proof of the result is through an interactive, private-coin implementation of the algorithm by Moser. The original implementation, which yields the classical result, finds efficiently, but probabilistically, an assignment to the events that avoids all undesirable events. Interestingly, the interactive implementation given in this work does not constitute an efficient, even if probabilistic, algorithm to find an assignment as desired under the weaker assumption $ekq \leq 1$. We can only conclude that under the hypothesis that $ekq \leq 1$, the interactive protocol will produce an assignment as desired within $n$ rounds, with probability high with respect to $n$; however, the provers' choices remain non-deterministic. Plausibly finding such an assignment is inherently hard, as the situation is reminiscent, in a probabilistic framework, of problems complete for syntactic subclasses of TFNP.
△ Less
Submitted 7 August, 2018; v1 submitted 13 August, 2017;
originally announced August 2017.
-
The Causal Frame Problem: An Algorithmic Perspective
Authors:
Ardavan Salehi Nobandegani,
Ioannis N. Psaromiligkos
Abstract:
The Frame Problem (FP) is a puzzle in philosophy of mind and epistemology, articulated by the Stanford Encyclopedia of Philosophy as follows: "How do we account for our apparent ability to make decisions on the basis only of what is relevant to an ongoing situation without having explicitly to consider all that is not relevant?" In this work, we focus on the causal variant of the FP, the Causal Fr…
▽ More
The Frame Problem (FP) is a puzzle in philosophy of mind and epistemology, articulated by the Stanford Encyclopedia of Philosophy as follows: "How do we account for our apparent ability to make decisions on the basis only of what is relevant to an ongoing situation without having explicitly to consider all that is not relevant?" In this work, we focus on the causal variant of the FP, the Causal Frame Problem (CFP). Assuming that a reasoner's mental causal model can be (implicitly) represented by a causal Bayes net, we first introduce a notion called Potential Level (PL). PL, in essence, encodes the relative position of a node with respect to its neighbors in a causal Bayes net. Drawing on the psychological literature on causal judgment, we substantiate the claim that PL may bear on how time is encoded in the mind. Using PL, we propose an inference framework, called the PL-based Inference Framework (PLIF), which permits a boundedly-rational approach to the CFP to be formally articulated at Marr's algorithmic level of analysis. We show that our proposed framework, PLIF, is consistent with a wide range of findings in causal judgment literature, and that PL and PLIF make a number of predictions, some of which are already supported by existing findings.
△ Less
Submitted 26 January, 2017;
originally announced January 2017.
-
Directed Lovász Local Lemma and Shearer's Lemma
Authors:
Lefteris Kirousis,
John Livieratos,
Kostas I. Psaromiligkos
Abstract:
Moser and Tardos (2010) gave an algorithmic proof of the lopsided Lovász local lemma (LLL) in the variable framework, where each of the undesirable events is assumed to depend on a subset of a collection of independent random variables. For the proof, they define a notion of a lopsided dependency between the events suitable for this framework. In this work, we strengthen this notion, defining a no…
▽ More
Moser and Tardos (2010) gave an algorithmic proof of the lopsided Lovász local lemma (LLL) in the variable framework, where each of the undesirable events is assumed to depend on a subset of a collection of independent random variables. For the proof, they define a notion of a lopsided dependency between the events suitable for this framework. In this work, we strengthen this notion, defining a novel directed notion of dependency and prove LLL for the corresponding graph. We show that this graph can be strictly sparser (thus the sufficient condition for LLL weaker) compared with graphs that correspond to other extant lopsided versions of dependency. Thus, in a sense, we address the problem "find other simple local conditions for the constraints (in the variable framework) that advantageously translate to some abstract lopsided condition" posed by Szegedy (2013). We also give an example where our notion of dependency graph gives better results than the classical Shearer lemma. Finally, we prove Shearer's lemma for the dependency graph we define. For the proofs, we perform a direct probabilistic analysis that yields an exponentially small upper bound for the probability of the algorithm that searches for the desired assignment to the variables not to return a correct answer within $n$ steps. In contrast, the method of proof that became known as the entropic method, gives an estimate of only the expectation of the number of steps until the algorithm returns a correct answer, unless the probabilities are tinkered with.
△ Less
Submitted 15 June, 2020; v1 submitted 2 November, 2016;
originally announced November 2016.
-
Probabilistic Structural Controllability in Causal Bayesian Networks
Authors:
Ardavan Salehi Nobandegani,
Ioannis N. Psaromiligkos
Abstract:
Humans routinely confront the following key question which could be viewed as a probabilistic variant of the controllability problem: While faced with an uncertain environment governed by causal structures, how should they practice their autonomy by intervening on driver variables, in order to increase (or decrease) the probability of attaining their desired (or undesired) state for some target va…
▽ More
Humans routinely confront the following key question which could be viewed as a probabilistic variant of the controllability problem: While faced with an uncertain environment governed by causal structures, how should they practice their autonomy by intervening on driver variables, in order to increase (or decrease) the probability of attaining their desired (or undesired) state for some target variable? In this paper, for the first time, the problem of probabilistic controllability in Causal Bayesian Networks (CBNs) is studied. More specifically, the aim of this paper is two-fold: (i) to introduce and formalize the problem of probabilistic structural controllability in CBNs, and (ii) to identify a sufficient set of driver variables for the purpose of probabilistic structural controllability of a generic CBN. We also elaborate on the nature of minimality the identified set of driver variables satisfies. In this context, the term "structural" signifies the condition wherein solely the structure of the CBN is known.
△ Less
Submitted 6 December, 2015;
originally announced December 2015.
-
An alternative proof for the constructive Asymmetric Lovász Local Lemma
Authors:
Ioannis Giotis,
Lefteris Kirousis,
Kostas I. Psaromiligkos,
Dimitrios M. Thilikos
Abstract:
We provide an alternative constructive proof of the Asymmetric Lovász Local Lemma. Our proof uses the classic algorithmic framework of Moser and the analysis introduced by Giotis, Kirousis, Psaromiligkos, and Thilikos in "On the algorithmic Lovász Local Lemma and acyclic edge coloring", combined with the work of Bender and Richmond on the multivariable Lagrange Inversion formula.
We provide an alternative constructive proof of the Asymmetric Lovász Local Lemma. Our proof uses the classic algorithmic framework of Moser and the analysis introduced by Giotis, Kirousis, Psaromiligkos, and Thilikos in "On the algorithmic Lovász Local Lemma and acyclic edge coloring", combined with the work of Bender and Richmond on the multivariable Lagrange Inversion formula.
△ Less
Submitted 11 May, 2015;
originally announced May 2015.
-
Multi-Context Models for Reasoning under Partial Knowledge: Generative Process and Inference Grammar
Authors:
Ardavan Salehi Nobandegani,
Ioannis N. Psaromiligkos
Abstract:
Arriving at the complete probabilistic knowledge of a domain, i.e., learning how all variables interact, is indeed a demanding task. In reality, settings often arise for which an individual merely possesses partial knowledge of the domain, and yet, is expected to give adequate answers to a variety of posed queries. That is, although precise answers to some queries, in principle, cannot be achieved…
▽ More
Arriving at the complete probabilistic knowledge of a domain, i.e., learning how all variables interact, is indeed a demanding task. In reality, settings often arise for which an individual merely possesses partial knowledge of the domain, and yet, is expected to give adequate answers to a variety of posed queries. That is, although precise answers to some queries, in principle, cannot be achieved, a range of plausible answers is attainable for each query given the available partial knowledge. In this paper, we propose the Multi-Context Model (MCM), a new graphical model to represent the state of partial knowledge as to a domain. MCM is a middle ground between Probabilistic Logic, Bayesian Logic, and Probabilistic Graphical Models. For this model we discuss: (i) the dynamics of constructing a contradiction-free MCM, i.e., to form partial beliefs regarding a domain in a gradual and probabilistically consistent way, and (ii) how to perform inference, i.e., to evaluate a probability of interest involving some variables of the domain.
△ Less
Submitted 18 June, 2015; v1 submitted 13 December, 2014;
originally announced December 2014.
-
In-Network Linear Regression with Arbitrarily Split Data Matrices
Authors:
François D. Côté,
Ioannis N. Psaromiligkos,
Warren J. Gross
Abstract:
In this paper, we address the problem of how a network of agents can collaboratively fit a linear model when each agent only ever has an arbitrary summand of the regression data. This problem generalizes previously studied data-matrix-splitting scenarios, allowing for some agents to have more measurements of some features than of others and even have measurements that other agents have. We present…
▽ More
In this paper, we address the problem of how a network of agents can collaboratively fit a linear model when each agent only ever has an arbitrary summand of the regression data. This problem generalizes previously studied data-matrix-splitting scenarios, allowing for some agents to have more measurements of some features than of others and even have measurements that other agents have. We present a variable-centric framework for distributed optimization in a network, and use this framework to develop a proximal algorithm, based on the Douglas-Rachford method, that solves the problem.
△ Less
Submitted 5 August, 2014;
originally announced August 2014.
-
Acyclic Edge Coloring through the Lovász Local Lemma
Authors:
Ioannis Giotis,
Lefteris Kirousis,
Kostas I. Psaromiligkos,
Dimitrios M. Thilikos
Abstract:
We give a probabilistic analysis of a Moser-type algorithm for the Lovász Local Lemma (LLL), adjusted to search for acyclic edge colorings of a graph. We thus improve the best known upper bound to acyclic chromatic index, also obtained by analyzing a similar algorithm, but through the entropic method (basically counting argument). Specifically we show that a graph with maximum degree $Δ$ has an ac…
▽ More
We give a probabilistic analysis of a Moser-type algorithm for the Lovász Local Lemma (LLL), adjusted to search for acyclic edge colorings of a graph. We thus improve the best known upper bound to acyclic chromatic index, also obtained by analyzing a similar algorithm, but through the entropic method (basically counting argument). Specifically we show that a graph with maximum degree $Δ$ has an acyclic proper edge coloring with at most $\lceil 3.74(Δ-1)\rceil+1 $ colors, whereas, previously, the best bound was $4(Δ-1)$. The main contribution of this work is that it comprises a probabilistic analysis of a Moser-type algorithm applied to events pertaining to dependent variables.
△ Less
Submitted 7 January, 2018; v1 submitted 21 July, 2014;
originally announced July 2014.
-
EM-based Semi-blind Channel Estimation in AF Two-Way Relay Networks
Authors:
Saeed Abdallah,
Ioannis N. Psaromiligkos
Abstract:
We propose an expectation maximization (EM)-based algorithm for semi-blind channel estimation of reciprocal channels in amplify-and-forward (AF) two-way relay networks (TWRNs). By incorporating both data samples and pilots into the estimation, the proposed algorithm provides substantially higher accuracy than the conventional training-based approach. Furthermore, the proposed algorithm has a linea…
▽ More
We propose an expectation maximization (EM)-based algorithm for semi-blind channel estimation of reciprocal channels in amplify-and-forward (AF) two-way relay networks (TWRNs). By incorporating both data samples and pilots into the estimation, the proposed algorithm provides substantially higher accuracy than the conventional training-based approach. Furthermore, the proposed algorithm has a linear computational complexity per iteration and converges after a small number of iterations.
△ Less
Submitted 24 April, 2013;
originally announced April 2013.
-
Exact Cramer-Rao Bounds for Semi-blind Channel Estimation in Amplify-and-Forward Two-Way Relay Networks
Authors:
Saeed Abdallah,
Ioannis N. Psaromiligkos
Abstract:
In this paper, we derive for the first time the exact Cramer-Rao bounds (CRBs) on semi-blind channel estimation for amplify-and-forward two-way relay networks. The bounds cover a wide range of modulation schemes that satisfy a certain symmetry condition. In particular, the important classes of PSK and square QAM are covered. For the case square QAM, we also provide simplified expressions that lend…
▽ More
In this paper, we derive for the first time the exact Cramer-Rao bounds (CRBs) on semi-blind channel estimation for amplify-and-forward two-way relay networks. The bounds cover a wide range of modulation schemes that satisfy a certain symmetry condition. In particular, the important classes of PSK and square QAM are covered. For the case square QAM, we also provide simplified expressions that lend themselves more easily to numerical implementation. The derived bounds are used to show that the semi-blind approach, which exploits both the transmitted pilots and the transmitted data symbols, can provide substantial improvements in estimation accuracy over the training-based approach which only uses pilot symbols to estimate the channel parameters. We also derive the more tractable modified CRB which accurately approximates the exact CRB at high SNR for low modulation orders.
△ Less
Submitted 23 July, 2012;
originally announced July 2012.
-
A Chernoff-type Lower Bound for the Gaussian Q-function
Authors:
François D. Côté,
Ioannis N. Psaromiligkos,
Warren J. Gross
Abstract:
A lower bound for the Gaussian Q-function is presented in the form of a single exponential function with parametric order and weight. We prove the lower bound by introducing two functions, one related to the Q-function and the other similarly related to the exponential function, and by obtaining inequalities that indicate the sign of the difference of the two functions.
A lower bound for the Gaussian Q-function is presented in the form of a single exponential function with parametric order and weight. We prove the lower bound by introducing two functions, one related to the Q-function and the other similarly related to the exponential function, and by obtaining inequalities that indicate the sign of the difference of the two functions.
△ Less
Submitted 22 March, 2012; v1 submitted 29 February, 2012;
originally announced February 2012.
-
Partially-blind Estimation of Reciprocal Channels for AF Two-Way Relay Networks Employing M-PSK Modulation
Authors:
Saeed Abdallah,
Ioannis N. Psaromiligkos
Abstract:
We consider the problem of channel estimation for amplify-and-forward two-way relays assuming channel reciprocity and M-PSK modulation. In an earlier work, a partially-blind maximum-likelihood estimator was derived by treating the data as deterministic unknowns. We prove that this estimator approaches the true channel with high probability at high signal-to-noise ratio (SNR) but is not consistent.…
▽ More
We consider the problem of channel estimation for amplify-and-forward two-way relays assuming channel reciprocity and M-PSK modulation. In an earlier work, a partially-blind maximum-likelihood estimator was derived by treating the data as deterministic unknowns. We prove that this estimator approaches the true channel with high probability at high signal-to-noise ratio (SNR) but is not consistent. We then propose an alternative estimator which is consistent and has similarly favorable high SNR performance. We also derive the Cramer-Rao bound on the variance of unbiased estimators.
△ Less
Submitted 15 February, 2012;
originally announced February 2012.
-
Widely Linear vs. Conventional Subspace-Based Estimation of SIMO Flat-Fading Channels: Mean-Squared Error Analysis
Authors:
Saeed Abdallah,
Ioannis N. Psaromiligkos
Abstract:
We analyze the mean-squared error (MSE) performance of widely linear (WL) and conventional subspace-based channel estimation for single-input multiple-output (SIMO) flat-fading channels employing binary phase-shift-keying (BPSK) modulation when the covariance matrix is estimated using a finite number of samples. The conventional estimator suffers from a phase ambiguity that reduces to a sign ambig…
▽ More
We analyze the mean-squared error (MSE) performance of widely linear (WL) and conventional subspace-based channel estimation for single-input multiple-output (SIMO) flat-fading channels employing binary phase-shift-keying (BPSK) modulation when the covariance matrix is estimated using a finite number of samples. The conventional estimator suffers from a phase ambiguity that reduces to a sign ambiguity for the WL estimator. We derive closed-form expressions for the MSE of the two estimators under four different ambiguity resolution scenarios. The first scenario is optimal resolution, which minimizes the Euclidean distance between the channel estimate and the actual channel. The second scenario assumes that a randomly chosen coefficient of the actual channel is known and the third assumes that the one with the largest magnitude is known. The fourth scenario is the more realistic case where pilot symbols are used to resolve the ambiguities. Our work demonstrates that there is a strong relationship between the accuracy of ambiguity resolution and the relative performance of WL and conventional subspace-based estimators, and shows that the less information available about the actual channel for ambiguity resolution, or the lower the accuracy of this information, the higher the performance gap in favor of the WL estimator.
△ Less
Submitted 15 June, 2011;
originally announced June 2011.
-
Blind Channel Estimation for Amplify-and-Forward Two-Way Relay Networks Employing M-PSK Modulation
Authors:
Saeed Abdallah,
Ioannis N. Psaromiligkos
Abstract:
We consider the problem of channel estimation for amplify-and-forward (AF) two-way relay networks (TWRNs). Most works on this problem focus on pilot-based approaches which impose a significant training overhead that reduces the spectral efficiency of the system. To avoid such losses, this work proposes blind channel estimation algorithms for AF TWRNs that employ constant-modulus (CM) signaling. Ou…
▽ More
We consider the problem of channel estimation for amplify-and-forward (AF) two-way relay networks (TWRNs). Most works on this problem focus on pilot-based approaches which impose a significant training overhead that reduces the spectral efficiency of the system. To avoid such losses, this work proposes blind channel estimation algorithms for AF TWRNs that employ constant-modulus (CM) signaling. Our main algorithm is based on the deterministic maximum likelihood (DML) approach. Assuming M-PSK modulation, we show that the resulting estimator is consistent and approaches the true channel with high probability at high SNR for modulation orders higher than 2. For BPSK, however, the DML performs poorly and we propose an alternative algorithm that performs much better by taking into account the BPSK structure of the data symbols. For comparative purposes, we also investigate the Gaussian maximum-likelihood (GML) approach which treats the data symbols as Gaussian-distributed nuisance parameters. We derive the Cramer-Rao bound and use Monte-Carlo simulations to investigate the mean squared error (MSE) performance of the proposed algorithms. We also compare the symbol-error rate (SER) performance of the DML algorithm with that of the training-based least-squares (LS) algorithm and demonstrate that the DML offers a superior tradeoff between accuracy and spectral efficiency.
△ Less
Submitted 1 March, 2012; v1 submitted 21 January, 2011;
originally announced January 2011.