The present invention generally relates to digital communication systems and more specifically to digital communication systems that employ cooperation facilitators.
The term “cooperation facilitator” (CF) can be used to describe a device within a network that receives rate-limited information from multiple encoders that share a multiple terminal channel, such as (but not limited to) a multiple access channel (MAC), and sends rate-limited information back to the encoders. After exchanging information the CF, the encoders can transmit their codewords, which are functions of each encoder's message and what it received from the CF, over the channel. In the context of an encoder with multiple antennas (e.g., a MIMO scenario) the encoder is often described as sending multiple codewords (one codeword on each antenna). From an information-theoretic perspective, however, transmissions via multiple antennas in this way is more appropriately considered as transmitting one codeword encompassing the symbols transmitted via the multiple antennas. In this regard, CFs can be utilized to enable an encoder within a MIMO or MISO system to select the codeword to transmit via its multiple antennas. One metric that can be used to evaluate the benefits of using a CF is a metric referred to herein as sum-capacity. The sum-capacity of a network is the maximum amount of information that is possible to transmit over that network. Cooperation gain can be defined as the difference between the sum-capacity of a network with cooperation and the sum-capacity of the same network without cooperation. In certain instances, it can be shown that even a very low rate cooperation between the MAC encoders can vastly increase the total rate that can be delivered through the MAC. The cost of utilizing a CF can be measured as the number of bits the CF shares with the encoders and the benefit as the gain in sum-capacity.
Systems and methods in accordance with various embodiments of the invention utilize a cooperation facilitator (CF) to obtain cooperation benefits in networks, where the CF can communicate state information between at least some encoders that share a multiple access channel (MAC). In many embodiments, cooperation is achieved using a CF that has access to message and/or network state information. In several embodiments, this new type of CF is utilized within networks in which distributed state information is available at multiple encoders and at least partial or full state information is available at at least one decoder. In many instances, the cooperation gain of coding strategies in accordance with various embodiments of the invention grows faster than any linear function, when viewed as a function of the total number of bits the CF shares with the encoders/transmitters. This means that a small increase in the number of bits shared with the encoders/transmitters can result in a large cooperation gain. Importantly, the use of CFs that can exchange message and/or network state information can result in significant increases in sum capacity for MACs for which the infinite slope phenomenon does not occur using CFs that lack network state information.
It is important to note, that the benefits obtained using a CF are not limited to wireline/wireless communications, but may also include a variety of other areas where information theory is frequently used, such as data storage. It is likewise important to note that increasing sum capacity is not the only potential benefit of cooperation; a variety of other benefits are possible including improved reliability and increased individual rates.
One embodiment of the invention includes: a plurality of transmitters; a receiver that has access to at least partial network state information and that includes a decoder configured to decode signals received via a multiple terminal channel from the plurality of transmitters using the at least partial network state information; and a cooperation facilitator. In addition, at least some of the plurality of transmitters are configured to transmit message information to the cooperation facilitator. Furthermore, the cooperation facilitator is configured to generate cooperation parameters based upon the message information received from the plurality of transmitters and the manner in which the at least partial network state information by the receiver to decode signals received via the multiple terminal channel. In addition, the cooperation facilitator is configured to transmit cooperation parameters to the plurality of transmitters. Additionally, an encoder in at least one of the plurality of transmitters selects at least one codeword from a plurality of codewords based at least in part upon a cooperation parameter received from the cooperation facilitator, and the plurality of transmitters are configured to transmit selected codewords via the multiple terminal channel to the receiver.
In a further embodiment, at least some of the plurality of transmitters have access to at least partial network state information, at least some of the plurality of transmitters are configured to transmit message and network state information to the cooperation facilitator, and the cooperation facilitator is configured to generate cooperation parameters based upon the message and network state information received from the plurality of transmitters.
In another embodiment, selection of at least one codeword from the plurality of codewords by an encoder based at least in part upon a cooperation parameter received from the communication facilitator results in selection of at least one codeword in a manner that is dependent upon network state.
In a still further embodiment, selection of at least one codeword from the plurality of codewords by an encoder based at least in part upon a cooperation parameter received from the communication facilitator results in selection of at least one codeword in a manner that is also dependent upon codewords transmitted by other transmitters via the multiple terminal channel.
In still another embodiment, selection of at least one codeword from the plurality of codewords by an encoder based at least in part upon a cooperation parameter received from the communication facilitator results in selection of at least one codeword in a manner that is also dependent upon message information transmitted to the cooperation facilitator by at least one of the plurality of transmitters.
In a yet further embodiment, a first value of a network performance metric of the communication system achieved using codewords selected at least in part based upon the cooperation parameters received from the cooperation facilitator is greater than a second value of the network performance metric of the communication system achieved where each of the plurality of encoders encodes data without communicating with the cooperation facilitator.
In yet another embodiment, the first value of the network performance metric is a first sum-capacity of the communication system and the second value of the network performance metric is a second sum-capacity of the communication system.
In a further embodiment again, the first value of the network performance metric is a first reliability of the communication system and the second value of the network performance metric is a second reliability of the communication system.
In another embodiment again, at least some of the plurality of transmitters have access to partial network state information.
In a further additional embodiment, the network state information is selected from the group consisting of strictly causal state information and causal state information.
In another additional embodiment, the network state information non-causal.
In a still yet further embodiment, at least some of the plurality of transmitters are configured to transmit message and network state information to the cooperation facilitator while at least one of the plurality of transmitters is transmitting symbols via the multiple terminal channel to the receiver, an encoder in at least one of the plurality of transmitters receives at least one cooperation parameter from the cooperation facilitator while at least one of the plurality of transmitters transmitting symbols via the multiple terminal channel to the receiver, and the encoder that receives the at least one cooperation parameter from the cooperation facilitator selects a next symbol of a codeword based upon the received at least one cooperation parameter.
In still yet another embodiment, at least some of the plurality of transmitters are configured to transmit message and network state information to the cooperation facilitator that is selected from the group consisting of:
partial raw message information and partial raw network state information;
complete raw message information and partial raw network state information;
partial raw message information and complete raw network state information;
complete raw message information and complete raw network state information;
partial encoded message information and partial raw network state information;
complete encoded message information and partial raw network state information;
partial encoded message information and complete raw network state information;
complete encoded message information and complete raw network state information;
partial raw message information and partial encoded network state information;
complete raw message information and partial encoded network state information;
partial raw message information and complete encoded network state information;
complete raw message information and complete encoded network state information;
partial encoded message information and partial encoded network state information;
complete encoded message information and partial encoded network state information;
partial encoded message information and complete encoded network state information; and
complete encoded message information and complete encoded network state information.
In a still further embodiment again, the multiple terminal channel is a multiple access channel.
In still another embodiment again, the multiple access channel is a shared wireless channel.
In a still further additional embodiment, the multiple access channel is a Gaussian multiple access channel with binary fading.
In a yet further embodiment again, the plurality of transmitters is two transmitters.
In yet another embodiment again, the plurality of transmitters is at least three transmitters.
In a further additional embodiment again, cooperation parameters are transmitted by the cooperation facilitator by a first channel to the plurality of transmitters separate from the multiple terminal channel.
Another further embodiment includes: a transmitter; a receiver; and a cooperation facilitator controller. In addition, the cooperation facilitator controller is configured to:
receive message information from a plurality of transmitter nodes via the receiver;
generate cooperation parameters based upon the message information received from the plurality of transmitter nodes and the manner in which a receiver node utilizes at least partial network state information to decode signals received via a multiple terminal channel; and
transmit cooperation parameters via the transmitter to the plurality of transmitter nodes, where the cooperation parameters enable encoders in each of the plurality of transmitter nodes to select a codeword from a plurality of codewords for transmission in a manner that is dependent upon network state.
In still another further embodiment, the cooperation facilitator controller is configured to:
receive message and network state information from the plurality of transmitter nodes via the receiver;
generate cooperation parameters based upon the message and network state information received from the plurality of transmitter nodes; and
transmit cooperation parameters via the transmitter to the plurality of transmitter nodes, where the cooperation parameters enable encoders in each of the plurality of transmitter nodes to select a codeword from a plurality of codewords for transmission in a manner that is dependent upon network state.
In yet another further embodiment, the cooperation facilitator is configured to transmit cooperation parameters to the plurality of transmitter nodes that enable an encoder to select a codeword from a plurality of codewords for transmission in a manner that is dependent upon network state and at least one message transmitted via a multiple terminal channel that is encoded by another encoder.
In another further embodiment again, a first value of a network performance metric of the cooperation facilitator achieved using codewords selected at least in part based upon the cooperation parameters received from the cooperation facilitator is greater than a second value of a network performance metric of the cooperation facilitator achieved with each of the plurality of encoders encodes data without communicating with the cooperation facilitator.
In another further additional embodiment, the first value of the network performance metric is a first sum-capacity of the cooperation facilitator and the second value of the network performance metric is a second sum-capacity of the cooperation facilitator.
In still yet another further embodiment, the first value of the network performance metric is a first reliability of the cooperation facilitator and the second value of the network performance metric is a second reliability of the cooperation facilitator.
In still another further embodiment again, the received network state information is partial network state information.
In still another further additional embodiment, the network state information is selected from the group consisting of strictly causal state information and causal state information.
In yet another further embodiment again, the network state information is non-causal.
In yet another further additional embodiment, the plurality of nodes is two nodes.
In another further additional embodiment again, the plurality of nodes is at least three nodes.
Turning now to the drawings, systems and methods for transmitting data using encoder cooperation based upon shared network state information in accordance with various embodiments of the invention are illustrated. In many embodiments, cooperation between encoders that communicate via a MAC is achieved using a cooperation facilitator. The term cooperation facilitator (CF) can be used to describe any network node that enables other nodes to cooperate. By sharing message information and/or state information via a cooperation facilitator, encoders can work together to increase transmission rates.
The use of cooperation facilitators in the absence of state information is disclosed in U.S. Patent Publication No. 2016/0365940, which details conditions under which the sum-capacity gain of cooperation has an infinite slope in the limit of small cooperation rate. Specifically, U.S. Patent Publication No. 2016/0365940 describes single-letter conditions on the channel transition matrix of the MAC that provide an infinite slope in sum-capacity as a function of the capacities of the CF output edges. For example, the additive Gaussian MAC provides an important example of a scenario where the infinite slope phenomenon can occur in the absence of network state information. The disclosure of U.S. Patent Publication No. 2016/0365940 including the disclosure related to network configurations involving cooperation facilitators that achieve a sum-capacity gain of cooperation that has an infinite slope in the limit of small cooperation rate is incorporated herein by reference in its entirety. Systems and methods in accordance with many embodiments of the invention utilize a new type of CF in network scenarios where distributed state information is available at multiple encoders and at least partial or full state information is available at at least one decoder. Systems and methods in accordance with a number of embodiments communicate via MACS for which the cooperation gain can have an infinite slope in the presence of state information, interestingly, this includes channels for which the infinite slope phenomenon is not observed as arising in the absence of state information. Encoders in accordance with a number of embodiments of the invention can transmit raw message and state information available at the encoders to the CF and/or an encoded version of partial message and/or state information as appropriate to the requirements of a given application. Therefore, references to message and/or state information should be understood as encompassing raw message and/or state information and/or at least partially encoded message and/or state information as appropriate to the requirements of a given application. In a number of embodiments, the channel state information is distributed across encoders; that is, different encoders have potentially different partial channel state information regarding the channel state. In many embodiments, one or more encoders can possess partial channel state information that is the same and/or complete channel state information.
While much of the discussion that follows relates to systems in which two encoders communicate with a cooperation facilitator, in many other embodiments more than two encoders communicate with a cooperation facilitator. In addition, communication can be between multiple transmitters and a single receiver or between multiple transmitters and multiple receivers or between transmitters and/or receivers and devices that are both transmitters and receivers in accordance with various embodiments of the invention. Cooperation facilitators and networks incorporating cooperation facilitators that exchange message and/or network state information (that may be encoded) between encoders that share a MAC in accordance with various embodiments of the invention discussed further below.
Many applications involve the use of a network where state information is available to at least some nodes, including (but not limited to) wireless channels with fading, cognitive radios, and computer memory with defects. Depending on the application at hand, channel state information may be either fully available at all network nodes or available in a distributed manner.
Practical application of a CF in a network 100 in which state information is available to at least some nodes is conceptually illustrated in
In a number of embodiments, network state information is available in a distributed manner, such that each node can access a component or a function of the network state sequence. Furthermore, the network state information may be available non-causally, or alternatively, may be subject to causality constraints. For example, when state information models fading effects experienced during wireless communication, the transmitters' knowledge of network state information can be strictly causal or causal. On the other hand, when the network state sequence models a signal that the transmitter sends to another receiver, then the state sequence is available non-causally at the transmitter.
While cooperation facilitation based upon message and/or network state information is discussed above with respect to a variety of examples, the applications in which CFs in accordance with various embodiments of the invention be utilized are not limited to any specific example. Indeed, CFs can be utilized in a variety of other circumstances including (but not limited to) multiple cell phone handsets transmitting on a congested MAC (e.g., at a stadium or crowded public event) and/or multiple radios on a cell phone handset transmitting via different networks (e.g., 5G and WiFi). Particular characteristics of CFs and channels in which use of CFs can achieve increases in capacity, reliability and/or performance in accordance with several embodiments of the invention are discussed further below.
The presence of distributed state information in a network can provide an opportunity for cooperation. In many embodiments, cooperation between network nodes such as (but not limited to) encoders that share a MAC is achieved using a CF. In this network architecture, encoders can cooperate indirectly, rather than directly. The CF can enable both message and network state cooperation, which can prove crucial to the cooperation gain obtained through the activities of the CF within the network.
A network 200 incorporating a CF that receives message and/or network state information from multiple encoders that share a MAC in accordance with an embodiment of the invention is illustrated in
In the illustrated embodiment, the state information available at the encoders 202, 204 is distributed; that is, S=(S1,S2) is assumed, where for i∈{1,2}, Si is available at encoder i. Throughout the discussion that follows, no assumptions are made regarding the dependence between S1 and S2 and the results apply to the limiting cases of independent states (i.e., independent S1 and S2) and common state (i.e., S1=S2).
Since the decoder starts the decoding process only after receiving all the output symbols in a given transmission block, causality constraints at the decoder do not impose limitations on the availability of network state information. Thus the decoder can be assumed to have at least partial, full state information, or no state information. In the illustrated embodiment, full state information is available at the decoder. At time t∈[n], partial state information Ŝit is available encoder i∈{1,2}.
In order to analyze the network 100, S1, S2, X1, X2, and can be modeled as discrete or continuous alphabets. A MAC with input alphabet X1×X2, output alphabet , and state alphabet S:=S1×S2 can be represented by the sequence
The MAC is said to be memoryless and stationary if for some p(s)p(y|s,x1,x2) and all positive integers n.
The capacity region of a MAC with a CF that enables message cooperation can be defined with respect to four scenarios based on the availability of state information at the encoders: (i) no state information, (ii) strictly causal state information, (iii) causal state information, and (iv) non-causal state information. In case (i), the CF is used for sharing message information (a strategy here called “message cooperation”) since no state information is available at the encoders. The term strictly causal state information refers to the situation in which at each time t, to the extent that an encoder has access to state information, the encoder has access to state information only up to time t−1. The term “causal state information” refers to the situation in which at each time t, to the extent that an encoder has access to state information, the encoder has access to state information only up to time t. The term “non-causal state information” refers to the situation in which, to the extent that an encoder has access to state information, at each time t the encoder has access to state information of all times. In cases (ii)-(iv), the CF enables both message and state cooperation. The discussion that follows considers message and state cooperation only in case (iv), but it can readily be appreciated that message and state cooperation can be utilized in these other scenarios. Use of joint message and state cooperation can lead to a weaker sufficient condition an infinite-slope gain compared to the sole use of message cooperation. Whether in cases (ii) and (iii), the use of joint message and state cooperation likewise leads to a weaker sufficient condition for an infinite-slope gain compared to message cooperation alone, remains an open problem. The impact of cooperation based upon joint message and network state information in accordance with various embodiments of the invention discussed further below.
Referring again to
A (2nR
Each encoder i, for i∈{1,2} (202, 204), can be represented by (φini, (fit)t=1n), the CF 210 can be represented by (φout1,φout2) and the decoder 206 can be represented by g. These mappings are defined in the order of their use below.
For i∈{1,2}, the transmission from encoder i (202, 204) to the CF 210 can be represented by the mapping
φini:[2nR
and the transmission from the C 210 to encoder i (202, 204) can be represented by
φouti:[2nC
For simplicity, the transmissions to and from the CF 210 are assumed to occur prior to the transmission of codewords over the MAC 208 by the encoders 202, 204.
At time t∈[n], for i∈{1,2}, the transmission of encoder i (202, 204) over the channel 208 can be represented by the mapping
fit:[2nR
Here Ŝit represents any knowledge about the state gathered by encoder i (202, 204) in times {1, . . . , t}. Let * be a symbol not in S1∪S2. For i∈{1,2} and t∈[n], we have
For every message pair (w1,w2), the codeword of encoder i (202, 204) can be required to satisfy the cost constraint
As noted above, the decoder 206 is assumed to have full state information and can be represented by the mapping
g:Sn×n→[2nR
The average probability of error is given by
P
e
(n)
=Pr{g(Sn,Yn)≠(W1,W2)},
where (W1,W2) is uniformly distributed over [2nR
The subscript τ∈{0,T−1,T,∞} can be used to specify the dependence of the capacity region and sum-capacity on the availability of state information at the encoders 202, 204. The following table makes this dependence clear.
The capacity region τ(Cin,Cout) can be given by the closure of all achievable rate pairs. The sum-capacity, denoted by Cτ(Cin,Cout), can be defined as
For example, T(Cin,Cout) and CT(Cin,Cout) denote the capacity region and sum-capacity, respectively, of a MAC with a (Cin,Cout)-CF and distributed causal state information available at the encoders.
In the scenario where non-causal state information is available at the encoders, a CF in accordance with various embodiments of the invention can generate benefits within the network through joint message and state cooperation. A code for the case where non-causal state information is available at the encoders, for i∈{1,2} can be defined by replacing (1) and (3) above with
The capacity region and sum-capacity can be denoted with ∞,s(Cin,Cout) and C∞,s(Cin,Cout), respectively. The subscript “s” indicates the dependence of the cooperation strategy on the channel state information.
In a number of embodiments, coding strategies are utilized to encode data at multiple encoders that are based on random coding arguments. Since the aim, in many instances, is to determine conditions sufficient for an infinite slope cooperation gain, coding strategies can be used that specifically focus on achieving large gains for small cooperation rates. In particular, in the coding strategies discussed below, the CF does not simply use its rate for forwarding message or state information, since the gain of such a strategy is understood to be at most linear in the cooperation rate. Instead, more complex cooperation strategies involving the forwarding of cooperation parameters that achieve sum-capacity gains are considered. The analysis presented below first considers message cooperation and concludes with a discussion of message and state cooperation.
Referring again to
Lemma 1. Consider a memoryless stationary MAC. For any (Cin,Cout)∈>02×≥02, there exists μ>0, depending only on Cin, such that for all τ∈{0,T−1,T,∞},
C
τ(Cin,Cout)−Cτ(Cin,0)≥μ(Cτ(C*in,Cout)−Cτ(C*in,0)).
The inner bound can be described for the case There the encoders 202, 204 do not have access to state information. In this case, even though the decoder 210 has access to full state information, a suitable inner bound can be found by applying results where state information is absent at both the encoders 202, 204 and the decoder 210 to a modified channel.
Specifically, applying the following description of the channel from US Patent Publication No. 2016/0365940 and entitled “Communication Systems and Methods of Communicating Utilizing Cooperation Facilitators” to Noorzad et al.
(X1×X2,p(y,s|x1,x2),×S),
where
p(y,s|x1,x2)=p(s)p(y|s,x1,x2),
gives an inner bound for the channel p(y|s,x1,x2) when full state information is available at the decoder. The relevant disclosure from US Patent Publication No. 2016/0365940 is hereby incorporated by reference in its entirety. Applying Lemma 2 together with the outer bound presented in the section “Outer Bounds in the Absence of Cooperation” below gives the capacity region in the absence of cooperation (Cout=0) both in the case where no network state information is available at the encoders 202, 204 and in the case where the state information available at the encoders 202, 204 is strictly causal.
Lemma 2. The set of all rate pairs (R1,R2) satisfying
R
1
≤I(X1;Y|S1,S2,X2)
R
2
≤I(X2;Y|S1,S2,X1)
R
1
+R
2
≤I(X1;X2;Y|S1,S2)
for some distribution p(x1)p(x2) with
I(X1;X2)≤Cout1+Cout2
and [bi(Xi)]≤Bi for i∈{1,2}, is contained in 0(C*in,C*out).
In the case where the encoders 202, 204 have access to causal state information, the codeword transmitted by an encoder can depend both on its message and the present state information. Lemma 3 provides an inner bound for the capacity region in this scenario. In this inner bound, for i∈{1,2}, Ui encodes the message of encoder i (202, 204) in addition to the information it receives from the CF 210. Note that this inner bound is tight when Cout=0, even if non-causal state information is available at the encoders 202, 204. As is discussed further below, X1 and X2 can be chosen to be deterministic functions of (U1,S1) and (U2,S2), respectively. A proof of this lemma can be found in U.S. Provisional Patent Application Ser. No. 62/507,925, the disclosure of which is incorporated by reference in its entirety above.
Lemma 3. The set of all rate pairs satisfying
R
1
≤I(U1;Y|S1,S2,U2)
R
2
≤I(U2;Y|S1,S2,U1)
R
1
+R
2
≤I(U1,U2;Y|S1,S2)
for some distribution p(u1,u2)p(x1|u1,s1)p(x2|u2,s2) with
I(U1;U2)≤Cout1+Cout2
and [bi(Xi)]≤Bi for i∈{1,2}, is contained in T(C*in,C*out).
As discussed above, message and state cooperation can be considered in the scenario where non-causal state information is available at the encoders 202, 204. In some embodiments, the assumption can be made that the state alphabet S=S1×S2 is discrete and H(S1,S2) is finite. Furthermore, in several embodiments, the CF 210 can be assumed not only to have access to both messages, but also to know the state sequences S1n and S2n; equivalently, in a number of embodiments the assumption can be made that Cin=
Lemma 4. Fix a memoryless stationary MAC. For any (Cin,Cout)∈>02×≥02, there exists μ>0, depending only on Cin, such that
C
(∞,s)(Cin,Cout)−C(∞,s)(Cin,0)≥μ(C(∞,s)(
A coding strategy for the MAC can also be developed assuming message and state cooperation. In some embodiments, the code is designed using a random code design algorithm as follows.
Codebook Generation. Choose a distribution p(x1,x2|s1,s2). For i∈{1,2}, wi∈[2nR
Encoding. In some embodiments, the CF 210, having access to (w1,w2) and (S1n,S2n), looks for a pair of cooperation parameters (Z1,Z2)∈[2nC
(S1n,S2n,X1n(w1,Z1|S1n),X2n(w2,Z2|S2n))∈Aδ(n), (5)
where Aδ(n) is the weakly typical set with respect to the distribution p(s1,s2)p(x1,x2|s1,s2). If there is more than one such pair, in several embodiments the CF can choose the smallest pair according to the lexicographical order. If there is no such pair, it can set the cooperation parameters (Z1,Z2)=(1,1). The CF can send Zi to encoder i for i∈{1,2}. Encoder i can then transmit Xin(wi,Zi|Sin) over n uses of the channel.
Using lemma. A.1.1 on p. 130 of P. Noorzad, Network effects in small networks: A study of cooperation, Ph.D. dissertation, California Institute of Technology, 2017, the disclosure of which including (but not limited to) the disclosure of lemma A.1.1. is hereby incorporated by reference in its entirety, it follows that as n goes to infinity, the probability that a pair (Z1,Z2) satisfying (5) exists goes to one if
C
out
1
>H(X1|S1)−H(X1|S1,S2)+24δ
C
out
2
>H(X2|S2)−H(X2|S1,S2)+24δ
C
out
1
+C
out
2
>H(X1|S1)+H(X2|S2)−H(X1,X2|S1,S2)+6δ.
Decoding. Once the decoder 206 receives Yn, using (S1n,S2n), in several embodiments it can look for a pair (ŵ1,ŵ2) that satisfies
(S1n,S2n,X1n(ŵ1,{circumflex over (Z)}1|S1n),X2n(ŵ2,{circumflex over (Z)}2|S2n),Yn)∈Aε(n).
Here Aε(n) is the weakly typical set with respect to the distribution
p(s1,s2)p(x1,x2|s1,s2)p(y|s1,s2,x1,x2).
If there is no such pair, or there is such a pair but it is not unique, in a number of embodiments the decoder can set (ŵ1,ŵ2)=(1,1).
The error analysis of the above coding scheme leads to the following lemma, which provides an inner bound for ∞,s(
Lemma 5. The set of all rate pairs satisfying
R
1
≤I(X1;Y|S1,S2,X2)
R
2
≤I(X2;Y|S1,S2,X1)
R
1
+R
2
≤I(X1,X2;Y|S1,S2)
for some distribution p(x1,x2|s1,s2) with
C
out
1
≤H(X1|S1)−H(X1|S1,S2)
C
out
2
≤H(X2|S2)−H(X2|S1,S2)
C
out
1
+C
out
2
≥H(X1|S1)+H(X2|S2)−H(X1,X2|S1,S2)
and [bi(Xi)]≤Bi for i∈{1,2}, is contained in ∞,s(
In light of the inner and outer bounds described above with respect to different availability of network state information and/or type of network state information, the following discussion identifies conditions on a MAC that, if satisfied, for every fixed Cin∈>02, guarantee an infinite slope in sum-capacity as a function of Cout. As sum-capacity depends on the availability of state formation at the encoders 202, 204, so do the identified conditions. These conditions, here denoted by Cτ(S,X1,X2,) are described in the sections below.
Theorem 6. Let S, X1, X2, and be finite sets. For any τ∈{0,T−1,T,∞,(∞,s)}, any MAC in Cτ(S,X1,X2,), and any (Cin,v)∈>02×>02,
The relevant proof for the above theorem appears in U.S. Provisional Patent Application Ser. No. 62/507,925, the relevant disclosure from which is incorporated herein by reference in its entirety.
Cτ(S,X1,X2,) can be specifically defined for each subscript τ∈{0,T−1,T,∞,(∞,s)}, where τ specifies the availability of state information at the encoders. Note that the definition of Cτ provides sufficient conditions for a large cooperation gain; these conditions may not be necessary.
In the descriptions below, all mentioned distributions satisfy
[bi(Xi)]≤Bi for i∈{1,2}.
A number of classes of MACs, which exhibit a large message cooperation gain as described in Theorem 6, can be identified. In many embodiments, systems that operate with respect to these classes of MACs employ non-CSI (Channel-State-Information) cooperation.
No state information. A MAC is in C0(S,X1,X2,) if
(i) for some p0(x1)p0(x2) that satisfies
there exists p1(x1,x2) that satisifes
I
1(X1,X2;Y|S)+[D(p1(y|S)∥p0(y|S))]>I0(X1,X2;Y|S); and
(ii) supp(p1(x1,x2))⊆supp(p0(x1)p0(x2)), where “supp” denotes the support.
Intuitively, condition (i) ensures that a channel has the property that the dependence created through message cooperation increases sum-capacity. Condition (ii) allows the CF 210 to use a small rate (i.e., small Cout) to help the encoders 202, 204, whose codewords are generated according to p0(x1)p0(x2), to transmit codewords whose distribution is sufficiently close to p1(x1,x2) to achieve a large gain in sum-capacity.
Strictly causal state information. As mentioned above, the availability of strictly causal state information at the encoders of a MAC without cooperation does not enlarge the capacity region, thus CT-1(S,X1,X2,):=C0(S,X1,X2,).
Causal state information. A MAC is in CT(S,X1,X2,) if
(i) for some p0(x1|s1)p0(x2|s2) that satisfies
there exists alphabets 1, 2, distributions p0(u1)p0(u2) and p1(u1,u2), and mappings fi:×
In (7), the expressions are calculated using the input distributions
p
0(u0)p0(u2)1{x1=f1(u1,s1)}1{x2=f2(u2,s2)}, and
p
1(u1,u2)1{x1=f1(uu,s1)}1{x2=f2(u2,s2)}.
Non-causal state information. In the absence of cooperation, the capacity region is the same regardless of whether the state information at the encoders is causal or non-causal. Thus, similar to the strictly causal case, C∞(S,X1,X2,):=CT(S,X1,X2,).
Conditions can be expressed that are sufficient for a CF to achieve a large gain using joint message and state cooperation.
Non-causal state information. A MAC is in C∞,s(S,X1,X2,) if
(i) for some p0(x1/|s1)p0(x2|s2) that satisfies
there exists p1(x1,x2|s1,s2) that satisfies
I
1(X1,X2;Y|S)+[D(p1(y|S)∥p0(y|S))]>I0(X1,X2;Y|S), and
(ii) for all (s1,s2)∈S, supp(p1(x1,x2|s1,s2))⊆supp(p0(x1|s1)p0(x2|s2)).
While Theorem 6 is stated only for finite alphabet MACs, the esu is not limited to such MACs. Specifically, for a given MAC, the inner bounds described above can be used to calculate an inner bound for sum-capacity and verify be result of Theorem 6 directly.
Assume for example, that the MAC 208 in
Y=S
1
X
1
+S
2
X
2
+Z,
where (S1,S2) is uniformly distributed on {0,1}2, and Z is a Gaussian random variable with mean zero and variance N. In addition, for i∈{1,2} the cost function can be set to bi(x)=x2 subject to the cost constraint Bi=Pi, so that the cost constraints correspond to the usual power constraints of the Gaussian MAC.
Proposition 7. Consider the Gaussian MAC with binary fading. Fix (Cin,v)∈>02×>02. Then for all τ∈{0,T−1,T,∞,(∞,s)},
The relevant proof for the above proposition appears in U.S. Provisional Patent Application Ser. No. 62/507,925, the relevant disclosure from which is incorporated herein by reference in its entirety
As the above proposition indicates, the use of a CF that facilitates joint message and network state cooperation can result in an increase in sum-capacity has infinite slope in the iiniit of small cooperation rate. Just as the analysis presented above in the content of the discussion of
Cooperation Facilitator controllers which implement network state based cooperation applications in accordance with many embodiments of the invention arc described in
Although a variety of CF controllers are described above with reference to
An overview of a coordinated data transmission process 400 that utilizes a CF to encode cooperation parameters using message and network state information received from multiple transmitters that share a MAC in accordance with several embodiments of the invention is illustrated in
In many embodiments, the use of a CF can improve data transmission. In some embodiments, for example in noisy environments, the rate of data transmission can be increased. In many other embodiments, the reliability of data transmissioncan be increased. Increase in data rate and increase in data reliability will be discussed in further detail below. Although a variety of data transmission processes are described above with reference to
A process 500 for coordinating joint message and state cooperation that can be performed by a cooperation facilitator node in accordance with an embodiment of the invention is illustrated in
Although a variety of processes for achieving joint message and network state cooperation are described above with reference to
An encoding process 600 that utilizes data from a CF to select codewords in a manner that makes the codewords dependent upon codewords selected by other encoders sharing a MAC and the network state in accordance with various embodiments of the invention is illustrated in
Although a variety of encoding processes are described above with reference to
Although the present invention has been described in certain specific aspects, many additional modifications and variations would be apparent to those skilled in the art. For example, the discussion provided above references use of cooperation facilitators in the context of Guassian MACs including binary fading. Cooperation facilitators that achieve joint message and network state cooperation in accordance with various embodiments of the invention can improve network performance in a variety of contexts involving shared resources including (but not limited to) other channel types. Furthermore, although specific techniques for building code books are described above, the processes presented herein can be utilized to generate code books that can be readily implemented in encoders used in typical communication devices to achieve low latency encoding of message data based upon data received from communication facilitators. It is therefore to be understood that the present invention can be practiced otherwise than specifically described without departing from the scope and spirit of the present invention. Thus, embodiments of the present invention should be considered in all respects as illustrative and not restrictive. Accordingly, the scope of the invention should be determined not by the embodiments illustrated, but by the appended claims and their equivalents.
The present invention claims priority to U.S. Provisional Patent Application Ser. No. 62/507,925 entitled “Cooperation Facilitators in State-Dependent Networks” to Noorzad et al., filed May 18, 2017. The disclosure of U.S. Provisional Patent Application Ser. No. 62/507,925 is herein incorporated by reference in its entirety.
This invention was made with government support under Grant No(s). CCF1527524 and CCF1526771 awarded by the National Science Foundation. The government has certain rights in the invention.
Number | Date | Country | |
---|---|---|---|
62507925 | May 2017 | US |