-
RSK tableaux and the weak order on fully commutative permutations
Authors:
Emily Gunawan,
Jian** Pan,
Heather M. Russell,
Bridget Eileen Tenner
Abstract:
For each fully commutative permutation, we construct a "boolean core," which is the maximal boolean permutation in its principal order ideal under the right weak order. We partition the set of fully commutative permutations into the recently defined crowded and uncrowded elements, distinguished by whether or not their RSK insertion tableaux satisfy a sparsity condition. We show that a fully commut…
▽ More
For each fully commutative permutation, we construct a "boolean core," which is the maximal boolean permutation in its principal order ideal under the right weak order. We partition the set of fully commutative permutations into the recently defined crowded and uncrowded elements, distinguished by whether or not their RSK insertion tableaux satisfy a sparsity condition. We show that a fully commutative element is uncrowded exactly when it shares the RSK insertion tableau with its boolean core. We present the dynamics of the right weak order on fully commutative permutations, with particular interest in when they change from uncrowded to crowded. In particular, we use consecutive permutation patterns and descents to characterize the minimal crowded elements under the right weak order.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Box-ball systems and RSK recording tableaux
Authors:
Marisa Cofie,
Olivia Fugikawa,
Emily Gunawan,
Madelyn Stewart,
David Zeng
Abstract:
A box-ball system (BBS) is a discrete dynamical system consisting of n balls in an infinite strip of boxes. During each BBS move, the balls take turns jum** to the first empty box, beginning with the smallest-numbered ball. The one-line notation of a permutation can be used to define a BBS state. This paper proves that the Robinson-Schensted (RS) recording tableau of a permutation completely det…
▽ More
A box-ball system (BBS) is a discrete dynamical system consisting of n balls in an infinite strip of boxes. During each BBS move, the balls take turns jum** to the first empty box, beginning with the smallest-numbered ball. The one-line notation of a permutation can be used to define a BBS state. This paper proves that the Robinson-Schensted (RS) recording tableau of a permutation completely determines the dynamics of the box-ball system containing the permutation.
Every box-ball system eventually reaches steady state, decomposing into solitons. We prove that the rightmost soliton is equal to the first row of the RS insertion tableau and it is formed after at most one BBS move. This fact helps us compute the number of BBS moves required to form the rest of the solitons. First, we prove that if a permutation has an L-shaped soliton decomposition then it reaches steady state after at most one BBS move. Permutations with L-shaped soliton decompositions include noncrossing involutions and column reading words. Second, we make partial progress on the conjecture that every permutation on n objects reaches steady state after at most n-3 BBS moves. Furthermore, we study the permutations whose soliton decompositions are standard; we conjecture that they are closed under consecutive pattern containment and that the RS recording tableaux belonging to such permutations are counted by the Motzkin numbers.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Superunitary regions of cluster algebras
Authors:
Emily Gunawan,
Greg Muller
Abstract:
This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary regi…
▽ More
This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary region implies that each Dynkin diagram admits finitely many positive integral friezes.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Runs and RSK tableaux of boolean permutations
Authors:
Emily Gunawan,
Jian** Pan,
Heather M. Russell,
Bridget Eileen Tenner
Abstract:
We define and construct the "canonical reduced word" of a boolean permutation, and show that the RSK tableaux for that permutation can be read off directly from this reduced word. We also describe those tableaux that can correspond to boolean permutations, and enumerate them. In addition, we generalize a result of Mazorchuk and Tenner, showing that the "run" statistic influences the shape of the R…
▽ More
We define and construct the "canonical reduced word" of a boolean permutation, and show that the RSK tableaux for that permutation can be read off directly from this reduced word. We also describe those tableaux that can correspond to boolean permutations, and enumerate them. In addition, we generalize a result of Mazorchuk and Tenner, showing that the "run" statistic influences the shape of the RSK tableau of arbitrary permutations, not just of those that are boolean.
△ Less
Submitted 7 February, 2024; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Concatenated Code Design for Constrained DNA Data Storage with Asymmetric Errors
Authors:
Yixin Wang,
Li Deng,
Md. Noor-A-Rahim,
Erry Gunawan,
Yong L. Guan,
Zhi P. Shi,
Chueh L. Poh
Abstract:
DNA Data storage has recently attracted much attention due to its durable preservation and extremely high information density (bits per gram) properties. In this work, we propose a hybrid coding strategy comprising of generalized constrained codes to tackle homopolymer (run-length) limit and a protograph based low-density parity-check (LDPC) code to correct asymmetric nucleotide level (i.e., A/T/C…
▽ More
DNA Data storage has recently attracted much attention due to its durable preservation and extremely high information density (bits per gram) properties. In this work, we propose a hybrid coding strategy comprising of generalized constrained codes to tackle homopolymer (run-length) limit and a protograph based low-density parity-check (LDPC) code to correct asymmetric nucleotide level (i.e., A/T/C/G) substitution errors that may occur in the process of DNA sequencing. Two sequencing techniques namely, Nanopore sequencer and Illumina sequencer with their equivalent channel models and capacities are analyzed. A coding architecture is proposed to potentially eliminate the catastrophic errors caused by the error-propagation in the constrained decoding while enabling high coding potential. We also show the log likelihood ratio (LLR) calculation method for the belief propagation decoding with this coding architecture. The simulation results and the theoretical analysis show that the proposed coding scheme exhibits good bit-error rate (BER) performance and high coding potential ($\sim1.98$ bits per nucleotide).
△ Less
Submitted 17 December, 2021;
originally announced December 2021.
-
RSK tableaux and box-ball systems
Authors:
Ben Drucker,
Eli Garcia,
Emily Gunawan,
Aubrey Rumbolt,
Rose Silver
Abstract:
A box-ball system is a discrete dynamical system whose dynamics come from the balls jum** according to certain rules. A permutation on n objects gives a box-ball system state by assigning its one-line notation to n consecutive boxes. After a finite number of steps, a box-ball system will reach a steady state. From any steady state, we can construct a tableau called the soliton decomposition of t…
▽ More
A box-ball system is a discrete dynamical system whose dynamics come from the balls jum** according to certain rules. A permutation on n objects gives a box-ball system state by assigning its one-line notation to n consecutive boxes. After a finite number of steps, a box-ball system will reach a steady state. From any steady state, we can construct a tableau called the soliton decomposition of the box-ball system. We prove that if the soliton decomposition of a permutation w is a standard tableau or if its shape coincides with the Robinson-Schensted (RS) partition of w, then the soliton decomposition of w and the RS insertion tableau of w are equal. We also use row reading words, Knuth moves, RS recording tableaux, and a localized version of Greene's theorem (proven recently by Lewis, Lyu, Pylyavskyy, and Sen) to study various properties of a box-ball system.
△ Less
Submitted 6 October, 2023; v1 submitted 7 December, 2021;
originally announced December 2021.
-
Thermodynamically Stable DNA Code Design using a Similarity Significance Model
Authors:
Yixin Wang,
Md Noor-A-Rahim,
Erry Gunawan,
Yong Liang Guan,
Chueh Loo Poh
Abstract:
DNA code design aims to generate a set of DNA sequences (codewords) with minimum likelihood of undesired hybridizations among sequences and their reverse-complement (RC) pairs (cross-hybridization). Inspired by the distinct hybridization affinities (or stabilities) of perfect double helix constructed by individual single-stranded DNA (ssDNA) and its RC pair, we propose a novel similarity significa…
▽ More
DNA code design aims to generate a set of DNA sequences (codewords) with minimum likelihood of undesired hybridizations among sequences and their reverse-complement (RC) pairs (cross-hybridization). Inspired by the distinct hybridization affinities (or stabilities) of perfect double helix constructed by individual single-stranded DNA (ssDNA) and its RC pair, we propose a novel similarity significance (SS) model to measure the similarity between DNA sequences. Particularly, instead of directly measuring the similarity of two sequences by any metric/approach, the proposed SS works in a way to evaluate how more likely will the undesirable hybridizations occur over the desirable hybridizations in the presence of the two measured sequences and their RC pairs. With this SS model, we construct thermodynamically stable DNA codes subject to several combinatorial constraints using a sorting-based algorithm. The proposed scheme results in DNA codes with larger code sizes and wider free energy gaps (hence better cross-hybridization performance) compared to the existing methods.
△ Less
Submitted 14 May, 2020;
originally announced May 2020.
-
Cambrian combinatorics on quiver representations (type A)
Authors:
Emily Barnard,
Emily Gunawan,
Emily Meehan,
Ralf Schiffler
Abstract:
This paper presents a geometric model of the Auslander-Reiten quiver of a type A quiver together with a stability function for which all indecomposable modules are stable. We also introduce a new Catalan object which we call a maximal almost rigid representation. We show that its endomorphism algebra is a tilted algebra of type A. We define a partial order on the set of maximal almost rigid repres…
▽ More
This paper presents a geometric model of the Auslander-Reiten quiver of a type A quiver together with a stability function for which all indecomposable modules are stable. We also introduce a new Catalan object which we call a maximal almost rigid representation. We show that its endomorphism algebra is a tilted algebra of type A. We define a partial order on the set of maximal almost rigid representations and use our new geometric model to show that this partial order is a Cambrian lattice.
△ Less
Submitted 7 October, 2022; v1 submitted 5 December, 2019;
originally announced December 2019.
-
Cluster algebras and binary subwords
Authors:
Rachel Bailey,
Emily Gunawan
Abstract:
This paper establishes a connection between binary subwords and perfect matchings of a snake graph, an important tool in the theory of cluster algebras. Every binary expansion w can be associated to a piecewise-linear poset P and a snake graph G. We construct a tree structure called the antichain trie which is isomorphic to the trie of subwords introduced by Leroy, Rigo, and Stipulanti. We then pr…
▽ More
This paper establishes a connection between binary subwords and perfect matchings of a snake graph, an important tool in the theory of cluster algebras. Every binary expansion w can be associated to a piecewise-linear poset P and a snake graph G. We construct a tree structure called the antichain trie which is isomorphic to the trie of subwords introduced by Leroy, Rigo, and Stipulanti. We then present bijections from the subwords of w to the antichains of P and to the perfect matchings of G.
△ Less
Submitted 4 May, 2021; v1 submitted 16 October, 2019;
originally announced October 2019.
-
Frieze Vectors and Unitary Friezes
Authors:
Emily Gunawan,
Ralf Schiffler
Abstract:
Let Q be a quiver without loops and 2-cycles, let A(Q) be the corresponding cluster algebra and let x be a cluster. We introduce a new class of integer vectors which we call frieze vectors relative to x. These frieze vectors are defined as solutions of certain Diophantine equations given by the cluster variables in the cluster algebra. We show that every cluster gives rise to a frieze vector and t…
▽ More
Let Q be a quiver without loops and 2-cycles, let A(Q) be the corresponding cluster algebra and let x be a cluster. We introduce a new class of integer vectors which we call frieze vectors relative to x. These frieze vectors are defined as solutions of certain Diophantine equations given by the cluster variables in the cluster algebra. We show that every cluster gives rise to a frieze vector and that the frieze vector determines the cluster.
We also study friezes of type Q as homomorphisms from the cluster algebra to an arbitrary integral domain. In particular, we show that every positive integral frieze of affine Dynkin type A is unitary, which means it is obtained by specializing each cluster variable in one cluster to the constant 1. This completes the answer to the question of unitarity for all positive integral friezes of Dynkin and affine Dynkin types.
△ Less
Submitted 31 October, 2020; v1 submitted 3 June, 2018;
originally announced June 2018.
-
Cluster algebraic interpretation of infinite friezes
Authors:
Emily Gunawan,
Gregg Musiker,
Hannah Vogel
Abstract:
Originally studied by Conway and Coxeter, friezes appeared in various recreational mathematics publications in the 1970s. More recently, in 2015, Baur, Parsons, and Tschabold constructed periodic infinite friezes and related them to matching numbers in the once-punctured disk and annulus. In this paper, we study such infinite friezes with an eye towards cluster algebras of type D and affine A, res…
▽ More
Originally studied by Conway and Coxeter, friezes appeared in various recreational mathematics publications in the 1970s. More recently, in 2015, Baur, Parsons, and Tschabold constructed periodic infinite friezes and related them to matching numbers in the once-punctured disk and annulus. In this paper, we study such infinite friezes with an eye towards cluster algebras of type D and affine A, respectively. By examining infinite friezes with Laurent polynomial entries, we discover new symmetries and formulas relating the entries of this frieze to one another. Lastly, we also present a correspondence between Broline, Crowe and Isaacs's classical matching tuples and combinatorial interpretations of elements of cluster algebras from surfaces.
△ Less
Submitted 18 June, 2019; v1 submitted 9 November, 2016;
originally announced November 2016.
-
Kirillov-Reshetikhin crystals $B^{1,s}$ for $\widehat{\mathfrak{sl}}_n$ using Nakajima monomials
Authors:
Emily Gunawan,
Travis Scrimshaw
Abstract:
We give a realization of the Kirillov--Reshetikhin crystal $B^{1,s}$ using Nakajima monomials for $\widehat{\mathfrak{sl}}_n$ using the crystal structure given by Kashiwara. We describe the tensor product $\bigotimes_{i=1}^N B^{1,s_i}$ in terms of a shift of indices, allowing us to recover the Kyoto path model. Additionally, we give a model for the KR crystals $B^{r,1}$ using Nakajima monomials.
We give a realization of the Kirillov--Reshetikhin crystal $B^{1,s}$ using Nakajima monomials for $\widehat{\mathfrak{sl}}_n$ using the crystal structure given by Kashiwara. We describe the tensor product $\bigotimes_{i=1}^N B^{1,s_i}$ in terms of a shift of indices, allowing us to recover the Kyoto path model. Additionally, we give a model for the KR crystals $B^{r,1}$ using Nakajima monomials.
△ Less
Submitted 8 July, 2019; v1 submitted 28 October, 2016;
originally announced October 2016.
-
Noncrossing partitions, toggles, and homomesies
Authors:
David Einstein,
Miriam Farber,
Emily Gunawan,
Michael Joseph,
Matthew Macauley,
James Propp,
Simon Rubinstein-Salzedo
Abstract:
We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomeno…
▽ More
We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomenon: the average of $f$ over the elements of a $T$-orbit is the same for all $T$-orbits. We can apply our method of proof more broadly to toggle operations back on the collection of independent sets of certain graphs. We utilize this generalization to prove a theorem about toggling on a family of graphs called "$2$-cliquish". More generally, the philosophy of this "toggle-action", proposed by Striker, is a popular topic of current and future research in dynamic algebraic combinatorics.
△ Less
Submitted 1 November, 2016; v1 submitted 21 October, 2015;
originally announced October 2015.
-
T-Path Formula and Atomic Bases for Cluster Algebras of Type D
Authors:
Emily Gunawan,
Gregg Musiker
Abstract:
We extend a T-path expansion formula for arcs on an unpunctured surface to the case of arcs on a once-punctured polygon and use this formula to give a combinatorial proof that cluster monomials form the atomic basis of a cluster algebra of type D.
We extend a T-path expansion formula for arcs on an unpunctured surface to the case of arcs on a once-punctured polygon and use this formula to give a combinatorial proof that cluster monomials form the atomic basis of a cluster algebra of type D.
△ Less
Submitted 28 July, 2015; v1 submitted 11 September, 2014;
originally announced September 2014.
-
Balancing Weighted Substreams in MIMO Interference Channels
Authors:
Cenk M. Yetis,
Yong Zeng,
Kushal Anand,
Yong Liang Guan,
Erry Gunawan
Abstract:
Substreams refer to the streams of each user in a system. Substream weighting, where the weights determine the prioritization order, can be important in multiple-input multiple-output interference channels. In this letter, a distributed algorithm is proposed for the problem of power minimization subject to weighted SINR constraint. The algorithm is based on two basic features, the well known distr…
▽ More
Substreams refer to the streams of each user in a system. Substream weighting, where the weights determine the prioritization order, can be important in multiple-input multiple-output interference channels. In this letter, a distributed algorithm is proposed for the problem of power minimization subject to weighted SINR constraint. The algorithm is based on two basic features, the well known distributed power control algorithm by Yates in 1995 and a simple linear search to find feasible SINR targets. The power control law used in the proposed algorithm is proven to linearly converge to a unique fixed-point.
△ Less
Submitted 29 June, 2014;
originally announced June 2014.
-
Sub-Stream Fairness and Numerical Correctness in MIMO Interference Channels
Authors:
Cenk M. Yetis,
Yong Zeng,
Kushal Anand,
Yong Liang Guan,
Erry Gunawan
Abstract:
Stream fairness, fairness between all streams in the system, is a more restrictive condition than sub-stream fairness, fairness between all streams of each user. Thus sub-stream fairness alleviates utility loss as well as complexity and overhead compared to stream fairness. Moreover, depending on algorithmic parameters, conventional algorithms including distributed interference alignment (DIA) may…
▽ More
Stream fairness, fairness between all streams in the system, is a more restrictive condition than sub-stream fairness, fairness between all streams of each user. Thus sub-stream fairness alleviates utility loss as well as complexity and overhead compared to stream fairness. Moreover, depending on algorithmic parameters, conventional algorithms including distributed interference alignment (DIA) may not provide sub-stream fairness, and generate sub-streams with poor signal-to-interference plus noise ratios (SINRs), thus with poor bit error rates (BERs). To this end, we propose a distributed power control algorithm to render sub-stream fairness in the system, and establish initiatory connections between sub-stream SINRs, BERs, and rates. Algorithms have particular responses to parameters. In the paper, important algorithmic parameters are analyzed to exhibit numerical correctness in benchmarking. The distinction between separate filtering schemes that design each stream of a user separately and group filtering schemes that jointly design the streams of a user is also underscored in the paper. Finally, the power control law used in the proposed algorithm is proven to linearly converge to a unique fixed-point, and the algorithm is shown to achieve feasible SINR targets.
△ Less
Submitted 19 September, 2013;
originally announced September 2013.
-
Sub-Stream Fairness and Numerical Correctness in MIMO Interference Channels
Authors:
Cenk M. Yetis,
Yong Zeng,
Kushal Anand,
Yong Liang Guan,
Erry Gunawan
Abstract:
Signal-to-interference plus noise ratio (SINR) and rate fairness in a system are substantial quality-of-service (QoS) metrics. The acclaimed SINR maximization (max-SINR) algorithm does not achieve fairness between user's streams, i.e., sub-stream fairness is not achieved. To this end, we propose a distributed power control algorithm to render sub-stream fairness in the system. Sub-stream fairness…
▽ More
Signal-to-interference plus noise ratio (SINR) and rate fairness in a system are substantial quality-of-service (QoS) metrics. The acclaimed SINR maximization (max-SINR) algorithm does not achieve fairness between user's streams, i.e., sub-stream fairness is not achieved. To this end, we propose a distributed power control algorithm to render sub-stream fairness in the system. Sub-stream fairness is a less restrictive design metric than stream fairness (i.e., fairness between all streams) thus sum-rate degradation is milder. Algorithmic parameters can significantly differentiate the results of numerical algorithms. A complete picture for comparison of algorithms can only be depicted by varying these parameters. For example, a predetermined iteration number or a negligible increment in the sum-rate can be the stop** criteria of an algorithm. While the distributed interference alignment (DIA) can reasonably achieve sub-stream fairness for the later, the imbalance between sub-streams increases as the preset iteration number decreases. Thus comparison of max-SINR and DIA with a low preset iteration number can only depict a part of the picture. We analyze such important parameters and their effects on SINR and rate metrics to exhibit numerical correctness in executing the benchmarks. Finally, we propose group filtering schemes that jointly design the streams of a user in contrast to max-SINR scheme that designs each stream of a user separately.
△ Less
Submitted 16 June, 2013; v1 submitted 31 May, 2013;
originally announced May 2013.
-
Optimized Transmission with Improper Gaussian Signaling in the K-User MISO Interference Channel
Authors:
Yong Zeng,
Rui Zhang,
Erry Gunawan,
Yong Liang Guan
Abstract:
This paper studies the achievable rate region of the K-user Gaussian multiple-input single-output interference channel (MISO-IC) with the interference treated as noise, when improper or circularly asymmetric complex Gaussian signaling is applied. The transmit optimization with improper Gaussian signaling involves not only the signal covariance matrix as in the conventional proper or circularly sym…
▽ More
This paper studies the achievable rate region of the K-user Gaussian multiple-input single-output interference channel (MISO-IC) with the interference treated as noise, when improper or circularly asymmetric complex Gaussian signaling is applied. The transmit optimization with improper Gaussian signaling involves not only the signal covariance matrix as in the conventional proper or circularly symmetric Gaussian signaling, but also the signal pseudo-covariance matrix, which is conventionally set to zero in proper Gaussian signaling. By exploiting the separable rate expression with improper Gaussian signaling, we propose a separate transmit covariance and pseudo-covariance optimization algorithm, which is guaranteed to improve the users' achievable rates over the conventional proper Gaussian signaling. In particular, for the pseudo-covariance optimization, we establish the optimality of rank-1 pseudo-covariance matrices, given the optimal rank-1 transmit covariance matrices for achieving the Pareto boundary of the rate region. Based on this result, we are able to greatly reduce the number of variables in the pseudo-covariance optimization problem and thereby develop an efficient solution by applying the celebrated semidefinite relaxation (SDR) technique. Finally, we extend the result to the Gaussian MISO broadcast channel (MISO-BC) with improper Gaussian signaling or so-called widely linear transmit precoding.
△ Less
Submitted 9 October, 2013; v1 submitted 11 March, 2013;
originally announced March 2013.
-
Degrees of Freedom of the 3-User Rank-Deficient MIMO Interference Channel
Authors:
Yong Zeng,
Xiaoli Xu,
Yong Liang Guan,
Erry Gunawan,
Chenwei Wang
Abstract:
We provide the degrees of freedom (DoF) characterization for the $3$-user $M_T\times M_R$ multiple-input multiple-output (MIMO) interference channel (IC) with \emph{rank-deficient} channel matrices, where each transmitter is equipped with $M_T$ antennas and each receiver with $M_R$ antennas, and the interfering channel matrices from each transmitter to the other two receivers are of ranks $D_1$ an…
▽ More
We provide the degrees of freedom (DoF) characterization for the $3$-user $M_T\times M_R$ multiple-input multiple-output (MIMO) interference channel (IC) with \emph{rank-deficient} channel matrices, where each transmitter is equipped with $M_T$ antennas and each receiver with $M_R$ antennas, and the interfering channel matrices from each transmitter to the other two receivers are of ranks $D_1$ and $D_2$, respectively. One important intermediate step for both the converse and achievability arguments is to convert the fully-connected rank-deficient channel into an equivalent partially-connected full-rank MIMO-IC by invertible linear transformations. As such, existing techniques developed for full-rank MIMO-IC can be incorporated to derive the DoF outer and inner bounds for the rank-deficient case. Our result shows that when the interfering links are weak in terms of the channel ranks, i.e., $D_1+D_2\leq \min(M_T, M_R)$, zero forcing is sufficient to achieve the optimal DoF. On the other hand, when $D_1+D_2> \min(M_T, M_R)$, a combination of zero forcing and interference alignment is in general required for DoF optimality. The DoF characterization obtained in this paper unifies several existing results in the literature.
△ Less
Submitted 24 March, 2014; v1 submitted 18 November, 2012;
originally announced November 2012.
-
Transmit Optimization with Improper Gaussian Signaling for Interference Channels
Authors:
Yong Zeng,
Cenk M. Yetis,
Erry Gunawan,
Yong Liang Guan,
Rui Zhang
Abstract:
This paper studies the achievable rates of Gaussian interference channels with additive white Gaussian noise (AWGN), when improper or circularly asymmetric complex Gaussian signaling is applied. For the Gaussian multiple-input multiple-output interference channel (MIMO-IC) with the interference treated as Gaussian noise, we show that the user's achievable rate can be expressed as a summation of th…
▽ More
This paper studies the achievable rates of Gaussian interference channels with additive white Gaussian noise (AWGN), when improper or circularly asymmetric complex Gaussian signaling is applied. For the Gaussian multiple-input multiple-output interference channel (MIMO-IC) with the interference treated as Gaussian noise, we show that the user's achievable rate can be expressed as a summation of the rate achievable by the conventional proper or circularly symmetric complex Gaussian signaling in terms of the users' transmit covariance matrices, and an additional term, which is a function of both the users' transmit covariance and pseudo-covariance matrices. The additional degrees of freedom in the pseudo-covariance matrix, which is conventionally set to be zero for the case of proper Gaussian signaling, provide an opportunity to further improve the achievable rates of Gaussian MIMO-ICs by employing improper Gaussian signaling. To this end, this paper proposes widely linear precoding, which efficiently maps proper information-bearing signals to improper transmitted signals at each transmitter for any given pair of transmit covariance and pseudo-covariance matrices. In particular, for the case of two-user Gaussian single-input single-output interference channel (SISO-IC), we propose a joint covariance and pseudo-covariance optimization algorithm with improper Gaussian signaling to achieve the Pareto-optimal rates. By utilizing the separable structure of the achievable rate expression, an alternative algorithm with separate covariance and pseudo-covariance optimization is also proposed, which guarantees the rate improvement over conventional proper Gaussian signaling.
△ Less
Submitted 11 March, 2013; v1 submitted 22 July, 2012;
originally announced July 2012.
-
Improving Achievable Rate for the Two-User SISO Interference Channel with Improper Gaussian Signaling
Authors:
Yong Zeng,
Cenk M. Yetis,
Erry Gunawan,
Yong Liang Guan,
Rui Zhang
Abstract:
This paper studies the achievable rate region of the two-user single-input-single-output (SISO) Gaussian interference channel, when the improper Gaussian signaling is applied. Under the assumption that the interference is treated as additive Gaussian noise, we show that the user's achievable rate can be expressed as a summation of the rate achievable by the conventional proper Gaussian signaling,…
▽ More
This paper studies the achievable rate region of the two-user single-input-single-output (SISO) Gaussian interference channel, when the improper Gaussian signaling is applied. Under the assumption that the interference is treated as additive Gaussian noise, we show that the user's achievable rate can be expressed as a summation of the rate achievable by the conventional proper Gaussian signaling, which depends on the users' input covariances only, and an additional term, which is a function of both the users' covariances and pseudo-covariances. The additional degree of freedom given by the pseudo-covariance, which is conventionally set to be zero for the case of proper Gaussian signaling, provides an opportunity to improve the achievable rate by employing the improper Gaussian signaling. Since finding the optimal solution for the joint covariance and pseudo-covariance optimization is difficult, we propose a sub-optimal but efficient algorithm by separately optimizing these two sets of parameters. Numerical results show that the proposed algorithm provides a close-to-optimal performance as compared to the exhaustive search method, and significantly outperforms the optimal proper Gaussian signaling and other existing improper Gaussian signaling schemes.
△ Less
Submitted 9 May, 2012; v1 submitted 1 May, 2012;
originally announced May 2012.
-
Improved Linear Precoding over Block Diagonalization in Multi-cell Cooperative Networks
Authors:
Yong Zeng,
Erry Gunawan,
Yong Liang Guan
Abstract:
In downlink multiuser multiple-input multiple-output (MIMO) systems, block diagonalization (BD) is a practical linear precoding scheme which achieves the same degrees of freedom (DoF) as the optimal linear/nonlinear precoding schemes. However, its sum-rate performance is rather poor in the practical SNR regime due to the transmit power boost problem. In this paper, we propose an improved linear pr…
▽ More
In downlink multiuser multiple-input multiple-output (MIMO) systems, block diagonalization (BD) is a practical linear precoding scheme which achieves the same degrees of freedom (DoF) as the optimal linear/nonlinear precoding schemes. However, its sum-rate performance is rather poor in the practical SNR regime due to the transmit power boost problem. In this paper, we propose an improved linear precoding scheme over BD with a so-called "effective-SNR-enhancement" technique. The transmit covariance matrices are obtained by firstly solving a power minimization problem subject to the minimum rate constraint achieved by BD, and then properly scaling the solution to satisfy the power constraints. It is proved that such approach equivalently enhances the system SNR, and hence compensates the transmit power boost problem associated with BD. The power minimization problem is in general non-convex. We therefore propose an efficient algorithm that solves the problem heuristically. Simulation results show significant sum rate gains over the optimal BD and the existing minimum mean square error (MMSE) based precoding schemes.
△ Less
Submitted 22 February, 2012;
originally announced February 2012.
-
Group-Decodable Space-Time Block Codes with Code Rate > 1
Authors:
Tian Peng Ren,
Yong Liang Guan,
Chau Yuen,
Erry Gunawan,
Er Yang Zhang
Abstract:
High-rate space-time block codes (STBC with code rate > 1) in multi-input multi-output (MIMO) systems are able to provide both spatial multiplexing gain and diversity gain, but have high maximum likelihood (ML) decoding complexity. Since group-decodable (quasi-orthogonal) code structure can reduce the decoding complexity, we present in this paper systematic methods to construct group-decodable hig…
▽ More
High-rate space-time block codes (STBC with code rate > 1) in multi-input multi-output (MIMO) systems are able to provide both spatial multiplexing gain and diversity gain, but have high maximum likelihood (ML) decoding complexity. Since group-decodable (quasi-orthogonal) code structure can reduce the decoding complexity, we present in this paper systematic methods to construct group-decodable high-rate STBC with full symbol-wise diversity gain for arbitrary transmit antenna number and code length. We show that the proposed group-decodable STBC can achieve high code rate that increases almost linearly with the transmit antenna number, and the slope of this near-linear dependence increases with the code length. Comparisons with existing low-rate and high-rate codes (such as orthogonal STBC and algebraic STBC) are conducted to show the decoding complexity reduction and good code performance achieved by the proposed codes.
△ Less
Submitted 18 November, 2010; v1 submitted 14 November, 2010;
originally announced November 2010.