I Introduction
We consider the problem of reliable transmission of pure digital information over a twouser MIMO Gaussian BC with an additive interference, modeled as state, which is known in a noncausal manner to the encoder. In our setting, we impose an additional requirement to reduce the knowledge of the receivers regarding the state, measured as a normalized blockwise mutual information between the state sequence and the received sequences, as depicted in Figure 1. The problem under consideration can act as a simplified model to many evolving practical communication systems. Consider, for example, a base station (BS) which is equipped with multiple antennas while the cell is partitioned to various sectors. The BS wishes to prevent leakage of information between the sectors, that is, to minimize the knowledge of mobile users in a specific sector regarding the messages intended for other sectors. In such a scenario, the part of the BS signal intended for other sectors is modeled as a state sequence. The state sequence is known to the BS in a noncausal manner since it is the one that generates it.
Problems of information transmission over channels with a noncausal channel state information (CSI) have been the subject for extensive study. The singleletter expression for the capacity of the pointtopoint discrete memoryless channel (DMC) with noncausal CSI at the encoder (the GP channel) was derived in the seminal work of Gel’fand and Pinsker [1]. One of the most interesting special cases of the GP channel is the Gaussian additive noise and interference setting in which the additive interference plays the role of the state sequence, which is known noncausally to the transmitter. Costa showed in [2] that the capacity of this channel is equal to the capacity of the same channel without additive interference. The capacity achieving scheme of [2] (which is that of [1] applied to the Gaussian case), is termed “writing on dirty paper" (WDP). Cohen and Lapidoth [3] showed that any interference sequence can be totally removed when the channel noise is ergodic and Gaussian.
The general DMBC was introduced by Cover [4]. The capacity region of the DMBC is still an open problem. The largest known inner bound on the capacity region of the DMBC was derived by Marton [5]. The best outer bound for DMBC with common and private messages is due to Nair and El Gamal [6]. There are, however, some special cases in which the capacity region is fully characterized. For example, the capacity region of the degraded DMBC was established by Gallager [7]. The capacity region of the Gaussian BC was derived by Bergmans [8]. Bergmans established the converse result using the conditional version of the Entropy Power Inequality (EPI). It can be shown [9] that the Strengthened Young’s Inequality implies the EPI. An interesting result is the capacity region of the Gaussian MIMO BC which was established by Weingarten et al. [10]. The authors showed that Bergmans technique cannot be directly applied to the MIMO scenario since a certain proportionality condition is not always satisfied, hence they introduced a new notion of an enhanced channel and used it jointly with the EPI to show their result. The capacity achieving scheme relies on the dirty paper coding technique. Liu and Viswanath [11] developed an extremal inequality
proof technique and showed that it can be used to establish a converse result in various Vector Gaussian multiterminal networks, including the Gaussian MIMO BC with private messages. Recently, Geng and Nair
[12] employed the new factorization of concave envelope technique to characterize the capacity region of Gaussian MIMO BC with common and private messages.Degraded DMBC with causal and noncausal CSI was introduced by Steinberg [13]. Inner and outer bounds were derived on the capacity region. For the special case in which the nondegraded user is informed about the channel parameters, it was shown that the bounds are tight, thus deriving the capacity region for that case. The general DMBC with a noncausal CSI at the encoder was studied by Steinberg and Shamai [14]. An inner bound was derived, and it was shown to be tight for the Gaussian BC with independent additive interference at both channels. Outer bounds for DMBC with CSI at the encoder were derived in [15].
The problem of statemasking and information rate tradeoff was introduced in [16]. In that work, the state sequence was treated as an undesired information that leaks to the receiver and is known to the transmitter. The measure of ability of the receiver to learn about the state from the received sequence was defined as the normalized blockwise mutual information between the state sequence and the received sequence , that is, .
The concept of state amplification is a dual problem to state masking. Kim et al. [17] considered the problem of transmitting data at rate over a DMC with random parameters and CSI at the encoder and simultaneously conveying the information about the channel state itself to the receiver. They defined the channel state uncertainty reduction rate to be , where is the receiver list size in list decoding of the state, and found the achievable region.
Courtade [18] considered a joint scenario, with twoencoder source coding setting where one source is to be amplified, while the other source is to be masked. Koyluoglu et al. [19] considered a statedependent BC with state sequence known in a noncausal manner to Alice (the transmitter), and its goal is to effectively convey the state to Bob (receiver 1) while "masking" it from Eve (receiver 2). Liu and Chen [20]
considered the problem of message transmission and state estimation over the Gaussian BC, where both received signals interfered by same additive Gaussian state. Grover and Sahai
[21] related the problem of state masking to Witsenhausen’s Counterexample [22]. Tutuncuoglu et al. [23] studied the problem of state amplification and state masking in an energy harvesting binary channel, where the energy source is modeled as state. A privacyconstrained information extraction problem was recently considered by Asoodeh et al. [24]. A good tutorial on channel coding in the presence of CSI that also covers the state masking setting can be found in [25].In our previous work [26], we extended the state masking scenario to the statedependent DMBC with noncausal CSI at the encoder. We developed inner and outer bounds and showed that they are tight for a special case of zerorates transmission and the scalar Gaussian BC with additive state. Our main goal in this work is to address the MIMO Gaussian BC with additive Gaussian state known to the transmitter in a noncausal manner, for which we show that a new optimization problem should be solved. We develop a new, conditional, extremal inequality, and show that a Gaussian input distribution solves the optimization problem mentioned above. Our approach to evaluate the innerbound, also introduces some novelty on how to properly choose the optimal coefficients, which can contribute to solve other multiterminal Gaussian problems.
Ii Notations and Problem Formulation
Throughout the paper, random variables are denoted using a sansserif font, e.g.,
, their realizations are denoted by the respective lower case letters, e.g., , and their alphabets are denoted by the respective calligraphic letter, e.g., . Let stand for the set of all tuples of elements from . An element from is denoted by. The probability distribution function of
, the joint distribution function of
and , and the conditional distribution of given are denoted by , and respectively. The expectation of is denoted by . The crosscovariance matrix of two random vectors and is denoted as . The probability of an event is denoted as . A set of consecutive integers starting at and ending in is denoted as .An code for the broadcast channel with state sequence known noncausally at the encoder consists of

two message sets and ,

an encoder that assigns a codeword to each messagestate triple ,

two decoders, where decoder 1 assigns an estimate and to each received sequence , and decoder 2 assigns an estimate to each received sequence .
Let and denote the outputs of decoder and decoder , respectively. We assume that the message pair
is uniformly distributed over
. The average probability of error is defined as(1) 
We are interested in the interplay between reliable coding at rate pairs which we would like to keep as high as possible and the (normalized) mutual informations and , which we would like to make as small as possible.
Definition 1.
For a given covariance matrix , a quadruple is said to be achievable if for every and sufficiently large , there exists a sequence of codes such that the following conditions are simultaneously satisfied:
(2a)  
(2b)  
(2c) 
Definition 2.
The achievable region is the closure of the set of all achievable quadruples .
Iii Preliminaries
We use inner and outer bounds that were derived in [26] for the general DMBC with random parameters and particularly utilize the private messages only case by setting .
Lemma 1 (Proposition 1 in [26]).
An achievable region consists of a quadruple that satisfies the following conditions
(3a)  
(3b)  
(3c)  
(3d)  
(3e) 
for some pdf .
The main idea behind the proof of the inner bound is an integration of the Marton and the GP coding schemes, where for each message, a subcodebook is generated, whose size is large enough such that for every state sequence , a jointly typical auxiliary codeword can be found in the subcodebook.
Next, we provide the outer bound on .
Lemma 2 (Proposition 2 in [26]).
If a rate quadruple is achievable for the DMBC with random parameters and CSI known noncausally at the transmitter, then there exists a distribution such that the following inequalities are satisfied:
(4a)  
(4b)  
(4c)  
(4d)  
(4e) 
where .
Iv MIMO Gaussian Broadcast Channel
Our goal in this paper is to characterize the achievable region for the MIMO Gaussian StateDependent BC with masking constraints. We show that a Gaussian input distribution maximizes the outer bound in Lemma 2. In order to show this a new proof technique is needed and we show the motivation to develop such technique.
The general twouser MIMO Gaussian BC with state [10], is an additive interference and noise channel where each time sample can be represented using the following equations:
(5)  
(6) 
where , , , , are all real vectors of size and

is the input vector whose covariance matrix satisfies for some ,

is the output vector, ,

is a real Gaussian random vector with zero mean and a covariance matrix ,

is a real Gaussian random vector with zero mean and a covariance matrix .
In the following we evaluate the bounds from Lemma 1 and Lemma 2 for the MIMO Gaussian BC setting. We first state this result in the following theorem.
Let,
(7) 
Theorem 1.
A rateleakage region of the MIMO Gaussian StateDependent BC with private messages is the quadruple such that
(8)  
(9)  
(10)  
(11) 
for some covariance matrices , such that , where
(12) 
V Proof of Theorem 1
Denote .
Va Proof of the converse part of Theorem 1
Consider the RHS of (4b), applied to the vector case
where follows since and hence . Thus the weighted sum rate upper bound of can be written as
where .
Consider the term
(13) 
The first term in the RHS of (13) can be upper bounded as
(14) 
and the second term is simply
(15) 
As for the difference between mutual informations, we obtain
Consider the following optimization problem, denoted as :
(16) 
In Section VI
we show using a conditional version of an extremal inequality that a conditional Gaussian distribution
maximizes (16), that is(17) 
Finally, by collecting (14), (15), (VA) and (17), we obtain
Next we proceed to lower bound the leakage rates for
(18) 
The conditional differential entropy can be upper bounded as follows
where and . Hence
(19) 
where the second equality is due to Sylvester’s Identity Theorem. The middle determinant in the last equality can be further reformulated as follows
(20) 
Gathering (18), (19) and (20), we obtain
(21) 
which concludes the proof of the converse part of Theorem 1.
VB Proof of the direct part of Theorem 1
Let
(22)  
(23)  
(24) 
such that , , and are mutually independent.
The achievability of Theorem 1 follows by evaluating (3) with the above choice of Gaussian random vectors and the following choice of matrix coefficients
(25)  
(26)  
(27)  
(28)  
(29)  
(30) 
The main idea for this choice of coefficients is to eliminate the state variables from the mutual information terms in Lemma 1. The complete proof is given in Appendix A.
Vi An Extremal Inequality
In this section we give a sketch of the proof of the conditional extremal inequality, i.e., is the solution to (16). The idea is a simple extension to the original extremal inequality given in [6]. The complementary proof is given in Appendix B.
Assume . Let be such that , where . The main tool used in the proof is the conditional EPI by Bergmans [8], for which equality in
(31) 
holds iff with the same for every and is proportional to . The problem is that the proportionality condition is not always satisfied. Hence we introduce the enhanced channel
where , are constructed such that
(32a)  
(32b) 
and the following proportionality condition is satisfied
Hence, for the enhanced channel, the conditional EPI holds with equality for . Furthermore, it is straightforward to show that this distribution solves the following equivalent optimization problem of (VA) applied to the enhanced channel, i.e.,
where the constant is introduced to make the optimum value of the objective functions of , which is constrained to conditional Gaussian , and coincide.
It remains to show, that the objective function of is less than or equal to the objective function of for any choice of . This observation follows from the partial ordering in (32) and application of Data Processing Inequality and Worst Additive Noise Lemma [27, Lemma II.2].
To conclude, we have shown that . Furthermore for any choice of . Thus, also solves .
Vii Conclusions
In this paper we addressed the problem of simultaneous communication and state masking over a MIMO Gaussian BC with additive interference modeled as state and given as a noncausal CSI to the encoder. We developed a new conditional extremal inequality in order to characterize the achievable region for the private messages scenario. Moreover, the standard results of pointtopoint masking [16] and statedependent BC [14] (no masking requirements), emerge as special cases of the bounds here. An extension to the MIMO Gaussian BC with an additional common message is under current study.
Acknowledgment
The work of M. Dikshtein and S. Shamai (Shitz) has been supported by the European Union’s Horizon 2020 Research And Innovation Programme, grant agreement no. 694630. The work of A. SomekhBaruch and S. Shamai (Shitz) was also supported by the Heron consortium via the Israel ministary of economy and science.
Appendix A
Let and let
(33)  
(34)  
(35) 
such that , , and are mutually independent. We also define
(36) 
With these definitions and applying Lemma 1, the achievability of in the RHS of (9) can be shown as follows:
(37) 
where and
(38) 
where and follow since are jointly Gaussian.
In order to obtain the WDP property, we require that would not contain or , hence
Thus
(39)  
(40) 
with such choice of and we have
(41) 
We proceed by requiring that would be the MMSE estimator of given ,
(42) 
Thus
(43)  
(44) 
and
(45) 
Finally
(46) 
Similarly, the RHS of (8) can be achieved as follows:
(47) 
where and
(48) 
where and follow since are jointly Gaussian.
Similarly as for , we require that would not contain , or , hence
Thus
(49)  
(50)  
(51) 
with such choice of , and we have
(52) 
We proceed by requiring that would be the MMSE estimator of given , hence
(53) 
Thus
(54)  
(55)  
(56) 
and
(57) 
Hence
(58) 
Comments
There are no comments yet.