On Block Noncoherent Communication with LowPrecision Phase Quantization at the Receiver
Abstract
We consider communication over the block noncoherent AWGN channel with lowprecision AnalogtoDigital Converters (ADCs) at the receiver. For standard uniform Phase Shift Keying (PSK) modulation, we investigate the performance of a receiver architecture that quantizes only the phase of the received signal; this has the advantage of being implementable without automatic gain control, using multiple 1bit ADCs preceded by analog multipliers. We study the structure of the transition density of the resulting channel model. Several results, based on the symmetry inherent in the channel, are provided to characterize this transition density. A low complexity procedure for computing the channel capacity is obtained using these results. Numerical capacity computations for QPSK show that bin phase quantization of the received signal recovers more than % of the capacity attained with unquantized observations, while bin phase quantization recovers above % of the unquantized capacity. Dithering the constellation is shown to improve the performance in the face of drastic quantization.
I Introduction
As communication systems scale up in speed and bandwidth, the cost and power consumption of highprecision AnalogtoDigital Conversion (ADC) becomes the limiting factor in modern receiver architectures based on Digital Signal Processing (DSP) [2]. One possible approach for the design of such DSPcentric architectures is to reduce the precision of the ADC. In our prior work [3, 4], we analyzed the impact of lowprecision quantization on the capacity of the ideal real baseband discretetime Additive White Gaussian Noise (AWGN) channel. In this paper, we consider a block noncoherent complex baseband AWGN channel that models the effect of carrier asynchronism. If the receiver’s local oscillator is not synchronized with that of the transmitter, the phase after downconversion is a priori unknown, but, for practical values of carrier offset, well approximated as constant over a block of symbols.
The classical approach to noncoherent communication is to approximate the phase as constant over two symbols, and to apply differential modulation and demodulation. Divsalar and Simon [5] were the first to point out the gains that may be achieved by performing multiple symbol differential demodulation over a block of symbols. More recent work [6, 7, 8] has shown that block demodulation, even for large values of , can be implemented efficiently, and exhibits excellent performance for both coded and uncoded systems.
In this work, we study the effect of lowprecision receiver quantization for the block noncoherent AWGN channel, under ary Phase Shift Keying (MPSK) modulation. Since PSK encodes the information in the phase of the transmitted symbol, we investigate an architecture in which the receiver simply quantizes the phase of the received signal, disregarding the amplitude information. Such phase quantization can be efficiently implemented using bit ADCs preceded by analog multipliers: the use of bit ADCs is attractive since it results in significant power savings and also eliminates the need for Automatic Gain Control (AGC). We study the structure of the inputoutput relationship of the resulting phase quantizedblock noncoherent AWGN channel. Based on the symmetry inherent in the channel model, we derive several results characterizing the output probability distribution over a block of symbols, both conditioned on the input, and without conditioning. These results are used to provide a lowcomplexity procedure for computing the capacity of the channel (brute force computation has complexity exponential in block length ). As in prior work on the unquantized block noncoherent channel, our capacity computations assume that the channel phase is independent from block to block, (this yields a pessimistic estimate of performance, since the phase correlation across blocks can, in principle, be exploited to improve performance). Numerical results are provided for Quaternary Phase Shift Keying (QPSK) with 8bin and 12bin phase quantization at the receiver, and compared with the unquantized capacity obtained earlier in [9]. We also provide results that indicate that dithering the constellation improves performance in the face of drastic quantization.
Notation: Throughout the paper, we denote random variables by capital letters, and the specific value they take using small letters. Bold faced notation is used to denote vectors of random variables. is the expectation operator.
Ii Channel Model and Receiver Architecture
The received signal over a block of length , after quantization is represented as
(1) 
where,

is the transmitted vector,

is an unknown constant with uniform distribution on ,

is a vector of i.i.d. complex Gaussian noise with variance in each dimension,

denotes a quantization function that maps each point in the complex plane to one of the quantization indices, and

is the vector of quantized received symbols, so that each .
Each is picked in an i.i.d. manner from a uniform MPSK constellation denoted by the set of points , where ^{1}^{1}1Unless stated otherwise, any arithmetic operations for phase angles are assumed to be performed modulo . For the output symbols , the arithmetic is modulo , while for the input symbols (introduced immediately after in the text ), it is modulo M., for .
We now introduce the random vector , with each picked in an i.i.d. manner from a uniform distribution on the set . Our channel model (1) can now equivalently be written as
(2) 
with every output symbol as before, and every input symbol . The set of all possible input vectors is denoted by , while denotes the set of all possible output vectors.
We consider bin (or sector) phase quantization: our quantizer divides the interval into equal parts, and the quantization indices go from to in the counterclockwise direction. Fig. 1(b) depicts the scenario for =8. Thus, our quantization function is , where , and denotes the greatest integer less than or equal to . Such phase quantization can be implemented using bit ADCs preceded by analog multipliers which provide linear combinations of the and channel samples. For instance, employing bit ADC on and channels results in uniform sector phase quantization, while uniform sector quantization can be achieved simply by adding two new linear combinations, + and , corresponding to a rotation of / axes (no analog multipliers needed in this case), as shown in Fig. 1(a).
Note: Throughout the paper, we will assume that the PSK constellation size , and the number of quantization bins , are such that for some positive integer .
Iii InputOutput Relationship
In this section, we study the relationship between the channel input and output, and present results that govern the structure of the output probability distribution, both conditioned on the input (i.e., ), and without conditioning (i.e., ). These distributions are integral to computing the channel capacity (our focus in this paper), as well as for soft decision decoding (not considered here). While brute force computation (computing for every and every ) of these distributions has exponential complexity in the block length, we show that their inherent structure can be exploited to obtain significant complexity reduction. We illustrate our results throughout with the running example of QPSK with sector quantization, depicted in Fig. 2(a).
Conditioned on the channel phase , is a product of individual symbol probabilities . We therefore begin by analyzing the symmetries in the latter.
Iiia Properties of
We have that is the probability that belongs to the interval In other words, it is the probability that the complex Gaussian noise takes the point on the unit circle, to another point whose phase belongs to . Due to the circular symmetry of the complex Gaussian noise, this is the same as the probability that takes the point on the unit circle, to another point whose phase belongs to , where is an integer. We thus get our first two results.
Property A1:
Property A2:
Note that , which gives Property A2.
Property  simply states that if we jump from one point in the MPSK constellation to the next, then we must jump quantization sectors in order to keep the conditional probability invariant. This is intuitive, since the separation between consecutive points in the input constellation is , while each quantization sector covers an angle of . For QPSK with , Figs. 2(b) and 2(c) depict example scenarios for the two properties.
If we put in Property A2, we get the following special case, which relates the conditioning on a general to the conditioning on .
Property A3:
To motivate our final property, we consider our example of QPSK with . While we have distinct quantization sectors, if we look at Fig. 2(a), the orientation of these sectors relative to the constellation points (shown as squares) can be described by dividing the sectors into groups : , and . For instance, the positioning of the first sector () w.r.t. is identical to the positioning of the third sector () w.r.t. (and similarly w.r.t , and w.r.t ). On the other hand, the positioning of the second sector () w.r.t. is identical to the positioning of the fourth sector () w.r.t. (and similarly w.r.t , and w.r.t ). In terms of the conditional probabilities, this implies, for example, that we will have , and similarly, . In general, we can relate the conditional probability of every odd with that of , and similarly of every even with that of , with corresponding rotations of the symbol . For general values of and , the number of groups equals , and we can relate the probability of any with that of .
Property A4: Let , where is the quotient on dividing by , and is the remainder, i.e, . Then, .
While this result follows directly from Property  by putting , it is an important special case, as it enables us to restrict attention to only the first sectors (), rather than having to work with all the sectors. As detailed later, this leads to significant complexity reduction in capacity computation.
We now use these properties to present results for .
IiiB Properties of
Property B1: Let denote the row vector with all entries as . Then .
Proof: For a fixed , increasing each by the same number leaves the conditional probability unchanged, because the phase in the channel model (1) is uniformly distributed in . A detailed proof follows. We have
The second equality follows by the fact that the components of are independent conditioned on and . Property  gives the third equality. A change of variables, gives the fourth equality (since is uniformly distributed on , so is ), thereby completing the proof.
Remark 1: For the rest of the paper, we refer to the operation as constant addition.
Our next result concerns the observation that the conditional probability remains invariant under an identical permutation of the components of the vectors and .
Property B2: Let denote a permutation operation, and the vector obtained on permuting under this operation. Then, .
Proof: As in the proof of Property , the idea is to condition on and work with the symbol probabilities . Consider , and . Since multiplication is a commutative operation, we have . Taking expectation w.r.t. completes the proof.
The next two results extend properties  and .
Property B3: Define the input vector . Then, , where , and the subtraction is performed modulo .
Property B4: Let , where is the quotient on dividing by , and is the remainder, i.e, . Define , and, . Then .
Proofs: The properties follow from  and  respectively, by first noting that the vector probability is the product of the scalar ones, and then integrating over .
IiiC Properties of
We now consider the unconditional distribution . The first result states that is invariant under constant addition.
Property C1: .
Proof: Using Property , this follows directly by taking expectation over on both sides.
On similar lines, we now extend Property  to show that is invariant under any permutation of .
Property C2: .
Proof: We have . Using Property , we get Since is just a permutation operation, every unique choice of results in a unique . Hence, we can rewrite the last equation as
Our final result extends Property 4.
Property C3: Let . Then .
Proof: Using the same notation as in Property , we have . Noting that the transformation is a onetoone mapping, the proof follows on the same lines as the proof of Property .
Example: For QPSK with and , .
We now apply these results for low complexity capacity computation.
Iv Efficient Capacity Computation
We wish to compute the mutual information
We first discuss computation of the conditional entropy.
A . Computation of the conditional entropy
We have , where is the entropy of the output when the input vector takes on the specific value . Our main result in this section is that is constant .
Property D1: is a constant.
Proof: We show that for any input vector , where as defined before. We have
(3) 
where the second equality follows from Property . Now, since is just a subtraction operation, it is easy to see that every unique choice of results in a unique choice of . Hence, we can rewrite (3) as
(4) 
Thus, , but brute force computation of still has exponential complexity, must be computed for each of the possible output vectors . However, we show that it suffices to compute for a much smaller set of vectors.
Using Property , we have . Since , any permutation of gives back . Hence, . Combined with Property , we thus get that it suffices to compute for a set of vectors in which no vector can be obtained from another by performing the operations of constant addition and permutation. For and , the cardinality of the entire set of vectors, , evaluates to , while the cardinality of is , illustrating the large reduction in complexity. For simplicity of exposition, we do not delve into the exact details of how we can obtain the set . Fast algorithms to do this, and their associated complexity are currently being investigated. More details are available from the authors upon request, and will be provided in future publications as well.
Once we have the set , we can numerically compute the probability for every vector in . The entropy can then be obtained as follows. For , let denote the number of distinct vectors that can be generated from it by performing the operations of constant addition and permutation. This is straightforward to compute. The conditional entropy then is .
B. Computation of the output entropy
The output entropy is . A brute force computation requires us to know , which clearly has exponential complexity. However, using Properties ,  and , we get that it is sufficient to compute for a set of vectors in which no vector can be obtained from another one by performing the operations of constant addition and permutation, and also, the vector components . This is similar to the situation we encountered earlier in the last subsection, except that the vector components there were allowed to be in .
Example: For QPSK with sectors (so ), the relevant vectors for block length are and .
Computation of
For each of the vectors in the set defined above, we now need to obtain . A brute force approach is to compute for each . However, we can exploit the structure in to reduce the number of vectors for which we need . Specifically, we have that each . Since there are only different types of components in , for block length , some of the components in will be repeated. For any , we can then use Property  to rearrange the components at those locations for which the components in are identical, without changing the conditional probability. For instance, let for some . Then, , where is obtained from by rearranging the components at locations and . To sum up, we can restrict attention to a set of vectors in which no vector can be obtained from another one by permutations between those locations for which the elements in are identical. While for large , the potential reduction in complexity may not be large, for small values of (which is the paradigm of interest in this work), the savings will be significant. As before, the algorithmic details for obtaining the set will be provided in upcoming publications.
V Numerical Results
We now present capacity results (obtained using the lowcomplexity procedure outlined in the last section) for QPSK with 8sector and 12sector phase quantization, for different block lengths L. For all our results, we normalized the mutual information by 1 to obtain the per symbol capacity, since in practice the successive blocks can be overlapped by one symbol due to slow phase variation from one block to the next.
8sector quantization: In Fig. 3, we plot the channel capacity with 8sector quantization, at different SNR values .(To avoid clutter, we show the results for only.) Also shown for reference are the capacity values for the coherent case, and for the block noncoherent case without any quantization. We see that, for 23 dB, our simple sector quantization scheme recovers more than % of the spectral efficiency obtained with unquantized observations. This is encouraging, given that our work is targeted towards future high bandwidth systems (such as those operating in the GHz mmwave band), for which a small reduction in spectral efficiency is acceptable. On the other hand, if we measure the power loss for fixed spectral efficiency, we see that at rates of up to about bits/channel use, there is a loss of about  dB compared to the unquantized case. However, the loss is more significant as increases: the capacity approaches bits/channel use rather slowly at high . Since the input entropy is constant, this in turn implies that falls off very slowly as . A more detailed analysis of the likelihood ratio (omitted here due to lack of space) provides insight into this behavior. We find that in addition to the symmetries in that we exploited to reduce the complexity of capacity computations, there are certain other symmetries with adverse consequences as well : they make it impossible to distinguish between the effect of the unknown phase offset and the phase modulation on the received signal. More specifically, if we consider the maximum likelihood (ML) estimator , we find that for certain outputs , irrespective of the (and also the block length), the estimator always returns two distinct equally likely solutions and . In an informationtheoretic sense, this ambiguity indicates a significant conditional entropy . As , the probability of these ambiguous outputs does go to zero, but very slowly, leading to a slow decrease in as well.
Possible ways to break the undesirable symmetries could be to use nonuniform phase quantization, or to employ dithering across symbols in a block. Here we investigate the role of the latter. We can dither either at the transmitter by rotating the QPSK constellation points, or at the receiver by using analog premultipliers to shift the phase quantization boundaries. We use a simple transmit dither scheme in which we rotate the QPSK constellation by an angle of from one symbol to the next. Fig. 4(a) shows this scheme for block length L=2 and K=8. The constellation used for the second symbol (shown by the diamond shape) is dithered from the constellation used for the first symbol by an angle of With this choice of transmit constellations, we find that the ambiguity in the ML estimator is removed, and hence the performance is expected to improve. The plot in Fig. 3 shows the performance improvement for L=6. ^{2}^{2}2Since the lowcomplexity procedure outlined in Section IV does not work once we dither, we used Monte Carlo simulations to compute the capacity with dithering.
While the preceding simple transmit dither scheme has improved the performance for 8sector quantization, we hasten to add that there is no optimality associated with it. A more detailed investigation of different dithering schemes and their potential gains is therefore an important topic for future research.
12sector quantization: In Fig. 5, we plot the performance curves for QPSK with 12sector quantization, for block length L=2,4,6,8. Also shown for reference are the coherent and unquantized block noncoherent performance curves. For identical block lengths, the loss in capacity (at a fixed 23 dB) compared to the unquantized case is less than 510 %, while the loss in power efficiency (for fixed capacity) varies between 0.52 dB, and dithering is not required.
Vi Conclusions
We have investigated the capacity limits imposed by the use of lowprecision phase quantization at a carrierasynchronous receiver. The symmetries in inputoutput relationship of the resulting channel have been exploited to reduce the complexity of capacity computation. Important topics for future research include a more detailed investigation of different dithering schemes (motivated by the performance improvement obtained using the simple scheme considered here), as well as development of practical capacityapproaching coded modulation strategies. An important practical issue is determining whether timing synchronization (which is assumed in the model here) can also be attained using phasequantized samples, or whether some form of additional information (perhaps using analog techniques prior to the ADC) is required.
References
References
 [1]
 [2] R. Walden, AnalogtoDigital Converter survey and analysis, IEEE J. Select. Areas Comm., 17(4):539–550, Apr. 1999.
 [3] J. Singh, O. Dabeer and U. Madhow, Capacity of the discretetime AWGN channel under output quantization, In Proc. ISIT 2008.
 [4] J. Singh, O. Dabeer and U. Madhow, On the limits of communication with lowprecision analogtodigital conversion at the receiver, Submitted for publication.
 [5] D. Divsalar and M. K. Simon, Multiplesymbol differential detection of MPSK, IEEE Trans. on Comm., vol. 38, pp. 300308, Mar. 1990.
 [6] D. Warrier and U. Madhow, Spectrally efficient noncoherent communication, IEEE Trans. Info. Theory, vol. 48, pp. 651668, Mar. 2002.
 [7] W. Sweldens, Fast block noncoherent decoding, IEEE Comm. Letters, Apr. 2001.
 [8] RR Chen, R. Koetter, U. Madhow and D. Agrawal, Joint noncoherent demodulation and decoding for the block fading channel: a practical framework for approaching Shannon capacity, IEEE Trans. on Comm., Oct. 2003.
 [9] M. Peleg and S. Shamai, On the capacity of the blockwise incoherent MPSK channel, IEEE Trans. Comm., vol. 46, pp. 603609, May 1998.