Abstract:
The Peak-to-Average Power Ratio in an OFDM transmission system is reduced based on a complementary parity coding in which the coding rules are derived from an appropriate auto-correlation property of transmitted symbol sequences.

Description:
CROSS REFERENCE TO RELATED APPLICATIONS 
       [0001]    This application is based on and hereby claims priority to European Application No. 06002385 filed on Feb. 6, 2006, the contents of which are hereby incorporated by reference. 
       BACKGROUND 
       [0002]    Described below is a method for reducing Peak-to-Average Power Ratio in an OFDM transmission system. 
         [0003]    One of the promising technologies for mobile communications systems beyond 3G (B3G) is multi-carrier modulation based on Orthogonal Frequency Division Multiplex (OFDM). Among other expected features like interactive multimedia services, high capacity, etc., the most crucial seems to be the capability of reaching much higher date rates than it is achievable with current 2G and 3G mobile communications systems. Currently, a considerable number of studies on B3G systems are based on an objective to achieve data rate up to 100 Mbit/s. Assuming typical phenomena of mobile channels like reflections, diffractions and scattering of a propagated radio signal, makes the goal of higher data rates even harder. For single carrier systems data rate of 100 Mbits/s means drastic reduction of symbol duration. If the channel delay spread exceeds the symbol duration then such a system is subject to inter-symbol interference (ISI) caused by a frequency selective fading, and without advanced equalization it is practically unusable. 
         [0004]    The basic idea of OFDM is to divide the transmitted bit stream into many different sub-streams and send these over many different sub-channels (sub-carriers). The data rate on each of the sub-channels is much less than the total data rate, and the corresponding sub-channel bandwidth is much less than the total system bandwidth. The number of sub-streams is chosen in a way ensuring that each sub-channel has a bandwidth less than the coherence bandwidth of the channel. Hence, the sub-channels experience relatively flat fading and channel induced ISI on each sub-channel is small. 
         [0005]    On the other hand, OFDM can be considered as a technique that transmits data in parallel on a number of equally spaced sinusoidal waveforms which means that the data to be transmitted determine the relative phases of the sinusoids. This results in the main drawback. If the amplitudes of the sinusoids occur at the same time, they add up most constructively producing high peak in resulted signal, greatly exceeding the average level. Since the peak in the signal level defines the peak in the power of the signal, a power amplifier (PA) has to track these peaks in order not to produce distortion. This leads to uneven demands on PA, e.g. it operates most of the time at levels much below its capacity which degrades energy efficiency. 
         [0006]    In order to quantify the power peak, the use of the so called Peak-to-Average Power Ratio (PAPR), which is defined in dB as the power peak value relative to the average power of the signal, is made. Such a definition is widely accepted and reasonable also in other systems dealing with high signal peak values. 
         [0007]    There is a wide range of methods developed to combat the problem of high PAPR. The most promising methods are based on coding. 
         [0008]    The idea of these techniques is to avoid the transmission of symbols that exhibit high PAPR by a properly chosen coding, as described in S. H. Han, J. H. Lee, “An overview of Peak-To-Average Power Ratio Reduction Techniques for Multicarrier Transmission”,  IEEE Wireless Communications , April 2005, pp. 56-65. A common example was originally presented in A. E. Jones, T. A. Wilkinson and S. K. Barton, “Block Coding Scheme for Reduction of Peak to Mean Envelope Power Ratio of Multicarrier Transmission Schemes”,  Elect Letters, Vol.  30, No. 25, December 1994, pp. 2098-2099. It is shown that for the case of BPSK (Binary Phase Shift Keying) modulation and 4 sub-carriers, PAPR in the worst case is 6.02 dB. They noticed that by proper coding (one redundant bit out of four) they would be able to avoid data sequences which exploit high PAPR, resulting in the 3.54 dB PAPR gain. Unfortunately, for a number of sub-carriers greater than 4, they were unable to guarantee the same PAPR gain using simple coding, but were forced to perform an exhaustive search to find the best sequences and make use of look-up tables thereafter. However, such a solution proves infeasible for practical purposes, since length of the look-up table grows rapidly as the number of sub-carriers increases. 
         [0009]    Slightly improved approach is to use code words drawn from offsets of a linear code. The code is chosen for its error correction capabilities, whereas the offset to reduce the PAPR of the resulting signals. Algorithm is easy to implement, but requires extensive calculations to find good codes and offsets, as described in A. E. Jones and T. A. Wilkinson, “Combined Coding for Error Control and Increased Robustness to System Non-linearities in OFDM”,  Proc. IEEE VTC &#39; 96, Atlanta, Ga., April-May 1996, pp. 904-908. Even though a computationally efficient geometrical approach to offset selection was proposed in V. Tarokh and H. Jafarkhani, “On the Computation and Reduction of the Peak-to-Average Power Ratio in Multicarrier Communications”,  IEEE Trans. Commun ., Vol. 48, No. 1, January 2000, pp. 37-44, this does not guarantee the PAPR reduction. 
         [0010]    Another attractive way is to employ Golay complementary sequences, which provide ideal value of PAPR (no greater than 2 dB), as code words. It has been shown in J. A. Davis and J. Jedwab, “Peak-To-Mean Power Control and Error Correction for OFDM Transmission Using Golay Sequences and Reed-Muller Codes”,  Elect. Letters , Vol. 33, No. 4. February 1997, pp. 267-268; and J. A. Davis and J. Jedwab, “Peak-To-Mean Power Control in OFDM, Golay Complementary Sequences, and Reed-Muller Codes, “ IEEE Trans. Info. Theory ”, Vol. 45, No. 7, November 1999, pp. 2397-2417 that large set of binary length 2 m ;m ε N Golay complementary pairs can be obtained from the second-order Reed-Muller code. Consequently, it seems possible to combine Reed-Muller block coding (including error control capabilities) along with Golay complementary sequences providing good PAPR. Anyway, this can only be done for the case of MPSK modulation and is again infeasible for large number of sub-carriers due to computations complexity. Moreover, the code rate also decreases with the number of sub-carriers. 
         [0011]    Recently, a new method called complement block coding has been proposed in T. Jiang and G. Zhu, “Complement Block Coding for reduction in Peak-to-Average power Ratio of OFDM Signals”,  IEEE Comm. Mag ., September 2005, pp. S17- S22. It uses simple bit inversions of certain bits on predefined positions. It is claimed to obtain interesting PAPR reduction of at most 3.5 dB. In this method, the code rate can be kept constant. Advantageous simplicity of the encoding operation does not, however, guarantee the PAPR gain for any number of sub-carriers. What is more, error correction capabilities of the code are limited to correcting only those bits that had been complemented. 
         [0012]    To sum up, all the methods mentioned above do reduce PAPR for the cost of sacrificing other parameters. They introduce a lot of overhead (Reed-Muller code) or do not guarantee PAPR low enough at all. The main disadvantage, however, is that they are impractical for large numbers of sub-carriers due to either high complexity or small PAPR gain. 
       SUMMARY 
       [0013]    Therefore an aspect is to preserve high PAPR reduction while increasing the effective bit rate. 
         [0014]    Another aspect is reducing Peak-to-Average Power Ratio in an OFDM transmission system based on a complementary parity coding in which the coding rules are derived from an appropriate auto-correlation property of transmitted symbol sequences. 
         [0015]    There is an embodiment of the method for PAPR reduction based on coding. The coding procedure is derived from ideal N/2-shift Aperiodic Auto-Correlation Property and combines features like high PAPR reduction (6.02 dB) independent of number of sub-carriers and low complexity implementation. The used coding relies on complementary parity codes which enable to achieve better performance than common OFDM systems. On the other hand, this solution introduces redundancy of ¼ and thus decreases effective bit rate. 
         [0016]    All these abovementioned drawbacks can be compensated by a method which guarantees high PAPR reduction at the expense of introducing some amount of redundancy. 
     
    
     
       BRIEF DESCRIPTION OF THE DRAWINGS 
         [0017]    These and other aspects and advantages will become more apparent and more readily appreciated from the following description of the exemplary embodiments, taken in conjunction with the accompanying drawings of which: 
           [0018]      FIG. 1  is a graph that depicts a constellation points for k=0, E(n,0), 
           [0019]      FIG. 2  is a graph that depicts a constellation points for k=1, E(n,1), 
           [0020]      FIG. 3  is a graph that shows a resulting constellation for k=1, 
           [0021]      FIG. 4  is a graph that depicts a constellation points for k=31, E(n,31), 
           [0022]      FIG. 5  is a graph that shows a resulting constellation for k=31, 
           [0023]      FIG. 6  is a graph that shows PAPR CCDF of proposed system for N=16 sub-carriers, 
           [0024]      FIG. 7  is a graph that shows PAPR CCDF of proposed system for N=32 sub-carriers, 
           [0025]      FIG. 8  is a graph that depicts PAPR CCDF of proposed system for N=512 sub-carriers and 10 7  randomly generated frames, 
           [0026]      FIG. 9  is a graph that depicts PAPR reduction for different numbers of sub-carriers, 
           [0027]      FIG. 10  is a block diagram of a complementary parity encoder, 
           [0028]      FIG. 11  is a block diagram of a basis encoder, 
           [0029]      FIG. 12  is a block diagram of a proposal for BPSK OFDM transmitter, 
           [0030]      FIG. 13  is a block diagram of a basis decoder, 
           [0031]      FIG. 14  is a block diagram of a proposal for BPSK OFDM receiver, 
           [0032]      FIG. 15  is a graph that shows comparison of performance between the reference system and proposed systems, 
           [0033]      FIG. 16  is a block diagram of a complementary parity encoder, 
           [0034]      FIG. 17  is a graph that shows a power envelope of common OFDM system for m=100 randomly generated frames, 
           [0035]      FIG. 18  is a graph that shows a power envelope of proposed OFDM system for m=100 randomly generated frames, 
           [0036]      FIG. 19  is a graph that shows PAPR CCDF of proposed system for N=32 sub-carriers, 
           [0037]      FIG. 20  is a graph that shows PAPR CCDF of proposed system for N=512 sub-carriers and 10 7  randomly generated frames, 
           [0038]      FIG. 21  is a block diagram of proposal for OFDM transmitter, 
           [0039]      FIG. 22  is a block diagram of proposal for OFDM receiver, 
           [0040]      FIG. 23  is a graph that shows comparison of performance between the reference system and proposed systems with and without error correction in AWGN channel, 
           [0041]      FIG. 24  is a table depicting evaluation of 
           [0000]    
         
           
             
               cos 
                
               
                 ( 
                 
                   
                     
                       2 
                        
                       π 
                     
                     T 
                   
                    
                   τ 
                    
                   
                       
                   
                    
                   t 
                 
                 ) 
               
             
           
         
       
           [0000]    sampled at t ε          0, T). 
       
    
    
     DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT 
       [0042]    Reference will now be made in detail to the preferred embodiments, examples of which are illustrated in the accompanying drawings, wherein like reference numerals refer to like elements throughout. 
         [0043]    Firstly an introduction and definition of some notation conventions used throughout this specification is given, followed by the detailed analysis and synthesis of the proposed solution. 
         [0044]    It is defined by ā a complex-valued vector of length N=2 n ; n ε N, i.e. 
         [0000]        ā =( a   0   , a   1   , . . . , a   N−1 )   (1) 
         [0045]    Then the Aperiodic AutoCorrelation (MC) function of ā for the integer shifts τ is defined by: 
         [0000]    
       
         
           
             
               
                 
                   
                     A 
                      
                     
                       ( 
                       
                         
                           a 
                           _ 
                         
                         ; 
                         τ 
                       
                       ) 
                     
                   
                   = 
                   
                     { 
                     
                       
                         
                           
                             
                               ∑ 
                               
                                 i 
                                 = 
                                 0 
                               
                               
                                 N 
                                 - 
                                 1 
                                 - 
                                 τ 
                               
                             
                              
                             
                               
                                 a 
                                 i 
                               
                                
                               
                                 a 
                                 
                                   i 
                                   + 
                                   τ 
                                 
                                 * 
                               
                             
                           
                         
                         
                           
                             0 
                             ≤ 
                             τ 
                             &lt; 
                             N 
                           
                         
                       
                       
                         
                           
                             
                               ∑ 
                               
                                 i 
                                 = 
                                 0 
                               
                               
                                 N 
                                 - 
                                 1 
                                 + 
                                 τ 
                               
                             
                              
                             
                               
                                 a 
                                 
                                   i 
                                   - 
                                   τ 
                                 
                               
                                
                               
                                 a 
                                 i 
                                 * 
                               
                             
                           
                         
                         
                           
                             
                               - 
                               N 
                             
                             ≤ 
                             τ 
                             &lt; 
                             0 
                           
                         
                       
                       
                         
                           0 
                         
                         
                           otherwise 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   2 
                   ) 
                 
               
             
           
         
       
     
         [0000]    where a i * denotes complex conjugate of a i . 
         [0046]    An OFDM signal can be considered as the sum of many independent signals modulated onto equally spaced sub-carriers (sub-channels). Therefore, there is a model of a transmitted m-th baseband OFDM signal as the sum of the contributions of all sub-carriers, i.e. the real part of following complex signal 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         s 
                         m 
                       
                        
                       
                         ( 
                         t 
                         ) 
                       
                     
                     = 
                     
                       Re 
                        
                       
                         { 
                         
                           
                             ∑ 
                             
                               k 
                               = 
                               0 
                             
                             
                               N 
                               - 
                               1 
                             
                           
                            
                           
                             
                               a 
                               k 
                               m 
                             
                              
                             
                                
                               
                                 j 
                                  
                                 
                                     
                                 
                                  
                                 2 
                                  
                                 
                                     
                                 
                                  
                                 π 
                                  
                                 
                                   k 
                                   T 
                                 
                                  
                                 t 
                               
                             
                           
                         
                         } 
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   3 
                   ) 
                 
               
             
           
         
       
     
         [0000]    for t ε          0, T), wherein T stands for the whole symbol duration. 
         [0047]    As it was mentioned above, in general, the principal drawback of the multi-carrier modulation schemes is high variation of the signal power envelope. The most common way of defining the instantaneous power of a signal, say r(t), in signal and communications theory is |r(t)| 2 . A general definition of the main parameter known as Peak-to-Average Power Ratio (PAPR) which expresses fluctuation of the envelope power is: 
         [0000]    
       
         
           
             
               
                 
                   PAPR 
                   = 
                   
                     
                       
                         max 
                          
                         
                           
                              
                             
                               s 
                                
                               
                                 ( 
                                 t 
                                 ) 
                               
                             
                              
                           
                           2 
                         
                       
                       
                         
                           1 
                           T 
                         
                          
                         
                           
                             ∫ 
                             0 
                             T 
                           
                            
                           
                             
                               
                                  
                                 
                                   s 
                                    
                                   
                                     ( 
                                     t 
                                     ) 
                                   
                                 
                                  
                               
                               2 
                             
                              
                             
                                 
                             
                              
                             
                                
                               t 
                             
                           
                         
                       
                     
                     . 
                   
                 
               
               
                 
                   ( 
                   4 
                   ) 
                 
               
             
           
         
       
     
         [0048]    In some sources also acronyms PAR (Peak-to-Average-power-Ratio) or PMERP (Peak-to-Mean-Envelope-Ratio-Power) are used to express the same. The variation of the signal power can be also described using the power of real part of (3). However, since square of the real part of any complex number is less or equal to its squared absolute value, the upper bound on the envelope power is also an upper bound on the power of the real signal. Moreover, approach based on the envelope enables us to define PAPR by an AAC function which simplifies analysis of the signal envelope power variation. 
         [0049]    Further, the instantaneous envelope power of the signal s(t) is defined as follows: 
         [0000]        P[s   m ( t )]=| s   m ( t )| 2   =s   m ( t ) s   m ( t )*   (5) 
         [0050]    Substitution of (3) into (5) leads to: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         
                           P 
                            
                           
                             [ 
                             
                               
                                 s 
                                 m 
                               
                                
                               
                                 ( 
                                 t 
                                 ) 
                               
                             
                             ] 
                           
                         
                         = 
                         
                           
                             ∑ 
                             
                               k 
                               = 
                               0 
                             
                             
                               N 
                               - 
                               1 
                             
                           
                            
                           
                             
                               a 
                               k 
                               m 
                             
                              
                             
                                
                               
                                 j 
                                  
                                 
                                     
                                 
                                  
                                 2 
                                  
                                 
                                     
                                 
                                  
                                 π 
                                  
                                 
                                   k 
                                   T 
                                 
                                  
                                 t 
                               
                             
                              
                             
                               
                                 ∑ 
                                 
                                   i 
                                   = 
                                   0 
                                 
                                 
                                   N 
                                   - 
                                   1 
                                 
                               
                                
                               
                                 
                                   
                                     ( 
                                     
                                       a 
                                       i 
                                       m 
                                     
                                     ) 
                                   
                                   * 
                                 
                                  
                                 
                                    
                                   
                                     
                                       - 
                                       j 
                                     
                                      
                                     
                                         
                                     
                                      
                                     2 
                                      
                                     
                                         
                                     
                                      
                                     π 
                                      
                                     
                                       i 
                                       T 
                                     
                                      
                                     t 
                                   
                                 
                               
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           
                             ∑ 
                             
                               k 
                               , 
                               i 
                             
                           
                            
                           
                             
                               
                                 
                                   a 
                                   k 
                                   m 
                                 
                                  
                                 
                                   ( 
                                   
                                     a 
                                     i 
                                     m 
                                   
                                   ) 
                                 
                               
                               * 
                             
                              
                             
                               
                                  
                                 
                                   j 
                                    
                                   
                                     
                                       2 
                                        
                                       
                                           
                                       
                                        
                                       π 
                                     
                                     T 
                                   
                                    
                                   
                                     ( 
                                     
                                       k 
                                       - 
                                       i 
                                     
                                     ) 
                                   
                                    
                                   t 
                                 
                               
                               . 
                             
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   6 
                   ) 
                 
               
             
           
         
       
     
         [0051]    Additional manipulation of (6) by substitution τ=k−i and substitution of (2) at the relevant points gives: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         
                           P 
                            
                           
                             [ 
                             
                               
                                 s 
                                 m 
                               
                                
                               
                                 ( 
                                 t 
                                 ) 
                               
                             
                             ] 
                           
                         
                         = 
                           
                          
                         
                           
                             
                               ∑ 
                               
                                 k 
                                 = 
                                 0 
                               
                               
                                 N 
                                 - 
                                 1 
                               
                             
                              
                             
                               
                                 
                                   a 
                                   k 
                                   m 
                                 
                                  
                                 
                                   ( 
                                   
                                     a 
                                     k 
                                     m 
                                   
                                   ) 
                                 
                               
                               * 
                             
                           
                           + 
                           
                             
                               ∑ 
                               
                                 k 
                                 &lt; 
                                 i 
                               
                             
                              
                             
                               
                                 
                                   
                                     a 
                                     k 
                                     m 
                                   
                                    
                                   
                                     ( 
                                     
                                       a 
                                       i 
                                       m 
                                     
                                     ) 
                                   
                                 
                                 * 
                               
                                
                               
                                  
                                 
                                   j 
                                    
                                   
                                     
                                       2 
                                        
                                       
                                           
                                       
                                        
                                       π 
                                     
                                     T 
                                   
                                    
                                   
                                     ( 
                                     
                                       k 
                                       - 
                                       i 
                                     
                                     ) 
                                   
                                    
                                   t 
                                 
                               
                             
                           
                           + 
                         
                       
                     
                   
                   
                     
                       
                           
                          
                         
                           
                             ∑ 
                             
                               k 
                               &gt; 
                               i 
                             
                           
                            
                           
                             
                               
                                 
                                   a 
                                   k 
                                   m 
                                 
                                  
                                 
                                   ( 
                                   
                                     a 
                                     i 
                                     m 
                                   
                                   ) 
                                 
                               
                               * 
                             
                              
                             
                                
                               
                                 j 
                                  
                                 
                                   
                                     2 
                                      
                                     
                                         
                                     
                                      
                                     π 
                                   
                                   T 
                                 
                                  
                                 
                                   ( 
                                   
                                     k 
                                     - 
                                     i 
                                   
                                   ) 
                                 
                                  
                                 t 
                               
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             A 
                              
                             
                               ( 
                               
                                 
                                   
                                     a 
                                     _ 
                                   
                                   m 
                                 
                                 ; 
                                 0 
                               
                               ) 
                             
                           
                           + 
                           
                             
                               ∑ 
                               
                                 τ 
                                 = 
                                 1 
                               
                               
                                 N 
                                 - 
                                 1 
                               
                             
                              
                             
                               
                                 ∑ 
                                 
                                   k 
                                   = 
                                   0 
                                 
                                 
                                   N 
                                   - 
                                   1 
                                   - 
                                   τ 
                                 
                               
                                
                               
                                 
                                   
                                     
                                       a 
                                       k 
                                       m 
                                     
                                      
                                     
                                       ( 
                                       
                                         a 
                                         
                                           k 
                                           + 
                                           τ 
                                         
                                         m 
                                       
                                       ) 
                                     
                                   
                                   * 
                                 
                                  
                                 
                                    
                                   
                                     
                                       - 
                                       j 
                                     
                                      
                                     
                                       
                                         2 
                                          
                                         
                                             
                                         
                                          
                                         π 
                                       
                                       T 
                                     
                                      
                                     τ 
                                      
                                     
                                         
                                     
                                      
                                     t 
                                   
                                 
                               
                             
                           
                           + 
                         
                       
                     
                   
                   
                     
                       
                           
                          
                         
                           
                             ∑ 
                             
                               τ 
                               = 
                               
                                 - 
                                 1 
                               
                             
                             
                               1 
                               - 
                               N 
                             
                           
                            
                           
                             
                               ∑ 
                               
                                 k 
                                 = 
                                 0 
                               
                               
                                 N 
                                 - 
                                 1 
                                 + 
                                 τ 
                               
                             
                              
                             
                               
                                 
                                   
                                     a 
                                     
                                       k 
                                       - 
                                       τ 
                                     
                                     m 
                                   
                                    
                                   
                                     ( 
                                     
                                       a 
                                       k 
                                       m 
                                     
                                     ) 
                                   
                                 
                                 * 
                               
                                
                               
                                  
                                 
                                   
                                     - 
                                     j 
                                   
                                    
                                   
                                     
                                       2 
                                        
                                       
                                           
                                       
                                        
                                       π 
                                     
                                     T 
                                   
                                    
                                   τ 
                                    
                                   
                                       
                                   
                                    
                                   t 
                                 
                               
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             A 
                              
                             
                               ( 
                               
                                 
                                   
                                     a 
                                     _ 
                                   
                                   m 
                                 
                                 ; 
                                 0 
                               
                               ) 
                             
                           
                           + 
                           
                             
                               ∑ 
                               
                                 τ 
                                 = 
                                 1 
                               
                               
                                 N 
                                 - 
                                 1 
                               
                             
                              
                             
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     τ 
                                   
                                   ) 
                                 
                               
                                
                               
                                  
                                 
                                   
                                     - 
                                     j 
                                   
                                    
                                   
                                     
                                       2 
                                        
                                       
                                           
                                       
                                        
                                       π 
                                     
                                     T 
                                   
                                    
                                   τ 
                                    
                                   
                                       
                                   
                                    
                                   t 
                                 
                               
                             
                           
                           + 
                         
                       
                     
                   
                   
                     
                       
                           
                          
                         
                           
                             ∑ 
                             
                               τ 
                               = 
                               
                                 - 
                                 1 
                               
                             
                             
                               1 
                               - 
                               N 
                             
                           
                            
                           
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   τ 
                                 
                                 ) 
                               
                             
                              
                             
                                
                               
                                 
                                   - 
                                   j 
                                 
                                  
                                 
                                   
                                     2 
                                      
                                     
                                         
                                     
                                      
                                     π 
                                   
                                   T 
                                 
                                  
                                 τ 
                                  
                                 
                                     
                                 
                                  
                                 t 
                               
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             A 
                              
                             
                               ( 
                               
                                 
                                   
                                     a 
                                     _ 
                                   
                                   m 
                                 
                                 ; 
                                 0 
                               
                               ) 
                             
                           
                           + 
                           
                             
                               ∑ 
                               
                                 τ 
                                 = 
                                 1 
                               
                               
                                 N 
                                 - 
                                 1 
                               
                             
                              
                             
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     τ 
                                   
                                   ) 
                                 
                               
                                
                               
                                  
                                 
                                   
                                     - 
                                     j 
                                   
                                    
                                   
                                     
                                       2 
                                        
                                       
                                           
                                       
                                        
                                       π 
                                     
                                     T 
                                   
                                    
                                   τ 
                                    
                                   
                                       
                                   
                                    
                                   t 
                                 
                               
                             
                           
                           + 
                         
                       
                     
                   
                   
                     
                       
                           
                          
                         
                           
                             ∑ 
                             
                               τ 
                               = 
                               
                                 - 
                                 1 
                               
                             
                             
                               1 
                               - 
                               N 
                             
                           
                            
                           
                             
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     τ 
                                   
                                   ) 
                                 
                               
                               * 
                             
                              
                             
                                
                               
                                 j 
                                  
                                 
                                   
                                     2 
                                      
                                     
                                         
                                     
                                      
                                     π 
                                   
                                   T 
                                 
                                  
                                 τ 
                                  
                                 
                                     
                                 
                                  
                                 t 
                               
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             A 
                              
                             
                               ( 
                               
                                 
                                   
                                     a 
                                     _ 
                                   
                                   m 
                                 
                                 ; 
                                 0 
                               
                               ) 
                             
                           
                           + 
                           
                             2 
                              
                             
                                 
                             
                              
                             Re 
                              
                             
                               
                                 { 
                                 
                                   
                                     ∑ 
                                     
                                       τ 
                                       = 
                                       1 
                                     
                                     
                                       N 
                                       - 
                                       1 
                                     
                                   
                                    
                                   
                                     
                                       A 
                                        
                                       
                                         ( 
                                         
                                           
                                             
                                               a 
                                               _ 
                                             
                                             m 
                                           
                                           ; 
                                           τ 
                                         
                                         ) 
                                       
                                     
                                      
                                     
                                        
                                       
                                         
                                           - 
                                           j 
                                         
                                          
                                         
                                           
                                             2 
                                              
                                             
                                                 
                                             
                                              
                                             π 
                                           
                                           T 
                                         
                                          
                                         τ 
                                          
                                         
                                             
                                         
                                          
                                         t 
                                       
                                     
                                   
                                 
                                 } 
                               
                               . 
                             
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   7 
                   ) 
                 
               
             
           
         
       
     
         [0052]    There is a data sequence ā m  of the m-th OFDM symbol with entries of BPSK symbols, a i  ε {±1}, with bit mapping defined by the following rule: 1→+1 and 0→−1. According to (7), the instantaneous envelope power is defined as follows: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         
                           P 
                            
                           
                             [ 
                             
                               
                                 s 
                                 m 
                               
                                
                               
                                 ( 
                                 t 
                                 ) 
                               
                             
                             ] 
                           
                         
                         = 
                         
                           N 
                           + 
                           
                             2 
                              
                             
                               { 
                               
                                 
                                   ∑ 
                                   
                                     τ 
                                     = 
                                     1 
                                   
                                   
                                     N 
                                     - 
                                     1 
                                   
                                 
                                  
                                 
                                   
                                     A 
                                      
                                     
                                       ( 
                                       
                                         
                                           
                                             a 
                                             _ 
                                           
                                           m 
                                         
                                         ; 
                                         τ 
                                       
                                       ) 
                                     
                                   
                                    
                                   
                                     cos 
                                      
                                     
                                       ( 
                                       
                                         
                                           - 
                                           
                                             
                                               2 
                                                
                                               
                                                   
                                               
                                                
                                               π 
                                             
                                             T 
                                           
                                         
                                          
                                         τ 
                                          
                                         
                                             
                                         
                                          
                                         t 
                                       
                                       ) 
                                     
                                   
                                 
                               
                               } 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           N 
                           + 
                           
                             2 
                              
                             
                               
                                 { 
                                 
                                   
                                     ∑ 
                                     
                                       τ 
                                       = 
                                       1 
                                     
                                     
                                       N 
                                       - 
                                       1 
                                     
                                   
                                    
                                   
                                     
                                       A 
                                        
                                       
                                         ( 
                                         
                                           
                                             
                                               a 
                                               _ 
                                             
                                             m 
                                           
                                           ; 
                                           τ 
                                         
                                         ) 
                                       
                                     
                                      
                                     
                                       cos 
                                        
                                       
                                         ( 
                                         
                                           
                                             
                                               2 
                                                
                                               
                                                   
                                               
                                                
                                               π 
                                             
                                             T 
                                           
                                            
                                           τ 
                                            
                                           
                                               
                                           
                                            
                                           t 
                                         
                                         ) 
                                       
                                     
                                   
                                 
                                 } 
                               
                               . 
                             
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   8 
                   ) 
                 
               
             
           
         
       
     
         [0053]    A first solution to solve the above mentioned problem is: 
         [0054]    From (8) follows that in the case data are BPSK modulated, the maximum envelope power of the m-th OFDM symbol is equal to N 2  and the mean power is N. Therefore, PAPR according to (4) is 10 log N [dB]. Further, variation of the envelope power and thus resulting PAPR directly depends on the second term of (8), i.e. the sidelobes of AAC of the data sequence to be transmitted. This fact will be used to derive the formula ensuring significant PAPR reduction. 
         [0055]    For simplicity, in the following a number of sub-carriers N=8 is assumed, normalized OFDM symbol duration T=1 (without loss of generality). Generalizing for any N will happen later on. AAC for shifts τ=0, 1, . . . , 7 is to evaluate: 
         [0000]        A ( ā;  0)= a   0   2   +a   1   2   +a   2   2   +a   3   2   +a   4   2   +a   5   2   +a   6   2   +a   7   2 =8 
         [0000]        A ( ā;  1)= a   0   a   1   +a   1   a   2   +a   2 a 3   +a   3   a   4   +a   5   +a   5   a   6   +a   6   a   7    
         [0000]        A ( ā;  2)= a   0   a   2   +a   1   a   3   +a   2   a   4   +a   3   a   5   +a   4   a   6   +a   5   a   7    
         [0000]        A ( ā;  3)= a   0   a   3   +a   1   a   4   +a   2   a   5   +a   3   a   6   +a   4   a   7    
         [0000]        A ( ā;  4)= a   0   a   4   +a   1   a   5   +a   2   a   6   +a   3   a    7    
         [0000]        A ( ā;  5)= a   0   a   5   +a   1   a   6   +a   2 a 7    
         [0000]        A ( ā;  6)= a   0   a   6   +a   1   a   7    
         [0000]        A ( ā;  7)= a   0   a   7    (9) 
         [0056]    Considering fixed AAC in (8), the instantaneous power envelope depends only on 
         [0000]    
       
         
           
             
               cos 
                
               
                 ( 
                 
                   
                     
                       2 
                        
                       
                           
                       
                        
                       π 
                     
                     T 
                   
                    
                   τ 
                    
                   
                       
                   
                    
                   t 
                 
                 ) 
               
             
             . 
           
         
       
     
         [0000]    FIG. 2 evaluates this harmonic function for all possible combinations of τ and discrete time samples at 
         [0000]    
       
         
           
             
               t 
               = 
               0 
             
             , 
             
               1 
               8 
             
             , 
             … 
              
             
                 
             
             , 
             
               
                 7 
                 8 
               
               . 
             
           
         
       
     
         [0057]    It shows that for shift τ=4, cosine function does not return zero for any time t. As a result, AAC value for this shift, A(ā; 4) contributes the most to the power envelope with alternating positive and negative sign depending on time. Therefore, our aim is to minimize (rather set to zero) A(ā; 4) by setting explicit conditions on BPSK symbols a i . The AAC for shift τ=4 is given by 
         [0000]        A ( ā;  4)= a   0   a   4   +a   1   a   5   +a   2   a   6   +a   3   a   7    (10) 
         [0058]    It is a purpose to make A(ā; 4) zero by stating 2 conditions 
         [0000]        a   0   a   4   +a   1   a   5 =0 
         [0000]        a   2   a   6   +a   3   a   7 =0   (11) 
         [0059]    With BPSK symbols, division equals multiplication, so it is obtained: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       a 
                       0 
                     
                     = 
                     
                       
                         - 
                         
                           
                             
                               a 
                               1 
                             
                              
                             
                               a 
                               5 
                             
                           
                           
                             a 
                             
                               4 
                                
                               
                                   
                               
                             
                           
                         
                       
                       = 
                       
                         
                           a 
                           1 
                         
                          
                         
                           a 
                           4 
                         
                          
                         
                           a 
                           5 
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       a 
                       2 
                     
                     = 
                     
                       
                         - 
                         
                           
                             
                               a 
                               3 
                             
                              
                             
                               a 
                               7 
                             
                           
                           
                             a 
                             
                               6 
                                
                               
                                   
                               
                             
                           
                         
                       
                       = 
                       
                         
                           a 
                           3 
                         
                          
                         
                           a 
                           6 
                         
                          
                         
                           a 
                           7 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   12 
                   ) 
                 
               
             
           
         
       
     
         [0060]    Substituting this to AAC relations of (9), the result is 
         [0000]        A ( ā;  1)=− a   4   a   5   −a   1   a   3   a   6   a   7   −a   6   a   7   +a   3   a   4   +a   4   a   5   +a   5   a   6   +a   6   a   7    
         [0000]        A ( ā;  2)=a 1   a   3   a   4   a   5   a   6   a   7   +a   1   a   3   −a   3   a   4   a   6   a   7   +a   3   a   5   +a   4   a   6   +a   5   a   7    
         [0000]        A ( ā;  3)=− a   1   a   3   a   4   a   5   +a   1   a   4   −a   3   a   5   a   6   a   7   +a   3   a   6   +a   4   a   7    
         [0000]        A ( ā;  4)=− a   1   a   5   +a   1   a   5   −a   3   a   7   +a   3   a   7 =0 
         [0000]        A ( ā;  5)=− a   1   a   4   +a   1   a   6   −a   3   a   6    
         [0000]        A ( ā;  6)=− a   1   a   4   a   5   a   6   +a   1   a   7    
         [0000]        A ( ā;  7)=− a   1   a   4   a   5   a   7    (13) 
         [0061]    According to  FIG. 24  the maximum power should occur at time t=0, when all the autocorrelation values add up most constructively. Although this is not true for all possible data sequences ā=a 0  . . . a 7 , (since AAC can also be negative) it is sufficient to consider t=0, and the worst case occurring when all symbols a i =+1. This is due to the fact that if the maximum power peak occurs at another time, it clearly cannot be greater than in this case, as the sum in rows with t other than t=0 in absolute value is always less than in row t=0. 
         [0062]    Consider first the case without applying relations of (12). Maximum power peak we obtain when each a i =+1, so we evaluate 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         
                           P 
                            
                           
                             [ 
                             
                               
                                 s 
                                 m 
                               
                                
                               
                                 ( 
                                 0 
                                 ) 
                               
                             
                             ] 
                           
                         
                         = 
                         
                           N 
                           + 
                           
                             2 
                              
                             
                               { 
                               
                                 
                                   ∑ 
                                   
                                     τ 
                                     = 
                                     1 
                                   
                                   
                                     N 
                                     - 
                                     1 
                                   
                                 
                                  
                                 
                                   A 
                                    
                                   
                                     ( 
                                     
                                       
                                         
                                           a 
                                           _ 
                                         
                                         m 
                                       
                                       ; 
                                       τ 
                                     
                                     ) 
                                   
                                 
                               
                               } 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           8 
                           + 
                           
                             2 
                              
                             
                               
                                 ∑ 
                                 
                                   τ 
                                   = 
                                   1 
                                 
                                 7 
                               
                                
                               
                                 ( 
                                 
                                   8 
                                   - 
                                   τ 
                                 
                                 ) 
                               
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           8 
                           + 
                           
                             2 
                              
                             
                               
                                 ∑ 
                                 
                                   τ 
                                   = 
                                   1 
                                 
                                 7 
                               
                                
                               τ 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           
                             8 
                             + 
                             
                               2 
                               · 
                               28 
                             
                           
                           = 
                           64. 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   14 
                   ) 
                 
               
             
           
         
       
     
         [0063]    It can be easily shown that average power is P avg =8. This result corresponds with the mentioned well-known fact that power peak for uncoded BPSK modulation is P peak =N 2  and average power P avg =N. As we know, PAPR is 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         PAPR 
                         = 
                         
                           10 
                            
                           
                               
                           
                            
                           
                             
                               log 
                               10 
                             
                              
                             
                               ( 
                               
                                 
                                   P 
                                   peak 
                                 
                                 
                                   P 
                                   avg 
                                 
                               
                               ) 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           10 
                            
                           
                               
                           
                            
                           
                             
                               log 
                               10 
                             
                              
                             
                               ( 
                               N 
                               ) 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           10 
                            
                           
                               
                           
                            
                           
                             
                               log 
                               10 
                             
                              
                             
                               ( 
                               8 
                               ) 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           9.03 
                            
                           
                               
                           
                            
                           
                             dB 
                             . 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   15 
                   ) 
                 
               
             
           
         
       
     
         [0064]    Evaluating now PAPR for the system applying equations of (12), then for the worst case a i =+1, the result is 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         
                           P 
                            
                           
                             [ 
                             
                               
                                 s 
                                 m 
                               
                                
                               
                                 ( 
                                 0 
                                 ) 
                               
                             
                             ] 
                           
                         
                         = 
                         
                           N 
                           + 
                           
                             2 
                              
                             
                               { 
                               
                                 
                                   ∑ 
                                   
                                     τ 
                                     = 
                                     1 
                                   
                                   
                                     N 
                                     - 
                                     1 
                                   
                                 
                                  
                                 
                                   A 
                                    
                                   
                                     ( 
                                     
                                       
                                         
                                           a 
                                           _ 
                                         
                                         m 
                                       
                                       ; 
                                       τ 
                                     
                                     ) 
                                   
                                 
                               
                               } 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         
                           8 
                           + 
                           
                             2 
                              
                             
                               ( 
                               
                                 1 
                                 + 
                                 4 
                                 + 
                                 1 
                                 + 
                                 0 
                                 - 
                                 1 
                                 + 
                                 0 
                                 - 
                                 1 
                               
                               ) 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                         16. 
                       
                     
                   
                 
               
               
                 
                   ( 
                   16 
                   ) 
                 
               
             
           
         
       
     
         [0065]    Since average power is always O avg =N, PAPR is 
         [0000]    
       
         
           
             
               
                 
                   
                     PAPR 
                     = 
                     
                       
                         10 
                          
                         
                             
                         
                          
                         
                           
                             log 
                             10 
                           
                            
                           
                             ( 
                             
                               16 
                               8 
                             
                             ) 
                           
                         
                       
                       = 
                       
                         
                           10 
                            
                           
                               
                           
                            
                           
                             
                               log 
                               10 
                             
                              
                             
                               ( 
                               2 
                               ) 
                             
                           
                         
                         = 
                         
                           3.01 
                            
                           
                               
                           
                            
                           dB 
                         
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   17 
                   ) 
                 
               
             
           
         
       
     
         [0000]    which results in 6.02 dB PAPR reduction. 
         [0066]    Generalizing for any number of sub-carriers, N is needed. Evaluating AAC is needed first: 
         [0000]    
       
         
           
             
               
                 
                   
                       
                   
                    
                   
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               a 
                               _ 
                             
                             ; 
                             0 
                           
                           ) 
                         
                       
                       = 
                       N 
                     
                      
                     
                       
 
                     
                      
                     
                         
                     
                      
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               a 
                               _ 
                             
                             ; 
                             1 
                           
                           ) 
                         
                       
                       = 
                       
                         
                           
                             a 
                             0 
                           
                            
                           
                             a 
                             1 
                           
                         
                         + 
                         
                           
                             a 
                             1 
                           
                            
                           
                             a 
                             2 
                           
                         
                         + 
                         … 
                         + 
                         
                           
                             a 
                             
                               N 
                               - 
                               2 
                             
                           
                            
                           
                             a 
                             
                               N 
                               - 
                               1 
                             
                           
                         
                       
                     
                      
                     
                       
 
                     
                      
                     
                         
                     
                      
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               a 
                               _ 
                             
                             ; 
                             2 
                           
                           ) 
                         
                       
                       = 
                       
                         
                           
                             a 
                             0 
                           
                            
                           
                             a 
                             2 
                           
                         
                         + 
                         
                           
                             a 
                             1 
                           
                            
                           
                             a 
                             3 
                           
                         
                         + 
                         … 
                         + 
                         
                           
                             a 
                             
                               N 
                               - 
                               3 
                             
                           
                            
                           
                             a 
                             
                               N 
                               - 
                               1 
                             
                           
                         
                       
                     
                      
                     
                       
 
                     
                      
                     
                         
                     
                      
                     … 
                      
                     
                       
 
                     
                      
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               a 
                               _ 
                             
                             ; 
                             
                               N 
                               2 
                             
                           
                           ) 
                         
                       
                       = 
                       
                         
                           
                             a 
                             0 
                           
                            
                           
                             a 
                             
                               N 
                               2 
                             
                           
                         
                         + 
                         
                           
                             a 
                             1 
                           
                            
                           
                             a 
                             
                               
                                 N 
                                 2 
                               
                               + 
                               1 
                             
                           
                         
                         + 
                         
                           
                             a 
                             2 
                           
                            
                           
                             a 
                             
                               
                                 N 
                                 2 
                               
                               + 
                               2 
                             
                           
                         
                         + 
                         
                           
                             a 
                             3 
                           
                            
                           
                             a 
                             
                               
                                 N 
                                 2 
                               
                               + 
                               3 
                             
                           
                         
                         + 
                         … 
                         + 
                         
                           
                             a 
                             
                               
                                 N 
                                 2 
                               
                               - 
                               2 
                             
                           
                            
                           
                             a 
                             
                               
                                 N 
                                 2 
                               
                               + 
                               
                                 N 
                                 2 
                               
                               - 
                               2 
                             
                           
                         
                         + 
                         
                           
                             a 
                             
                               
                                 N 
                                 2 
                               
                               - 
                               1 
                             
                           
                            
                           
                             a 
                             
                               
                                 N 
                                 2 
                               
                               + 
                               
                                 N 
                                 2 
                               
                               - 
                               1 
                             
                           
                         
                       
                     
                      
                     
                       
 
                     
                      
                     
                         
                     
                      
                     … 
                      
                     
                       
 
                     
                      
                     
                         
                     
                      
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               a 
                               _ 
                             
                             ; 
                             
                               N 
                               - 
                               1 
                             
                           
                           ) 
                         
                       
                       = 
                       
                         
                           a 
                           0 
                         
                          
                         
                           a 
                           
                             N 
                             - 
                             1 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   18 
                   ) 
                 
               
             
           
         
       
     
         [0067]    Further, it is set 
         [0000]    
       
         
           
             A 
              
             
               ( 
               
                 
                   a 
                   _ 
                 
                 ; 
                 
                   N 
                   2 
                 
               
               ) 
             
           
         
       
     
         [0000]    to zero by setting: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       a 
                       0 
                     
                     = 
                     
                       
                         - 
                         
                           a 
                           1 
                         
                       
                        
                       
                         a 
                         
                           N 
                           2 
                         
                       
                        
                       
                         a 
                         
                           
                             N 
                             2 
                           
                           + 
                           1 
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       a 
                       2 
                     
                     = 
                     
                       
                         - 
                         
                           a 
                           3 
                         
                       
                        
                       
                         a 
                         
                           
                             N 
                             2 
                           
                           + 
                           2 
                         
                       
                        
                       
                         a 
                         
                           
                             N 
                             2 
                           
                           + 
                           3 
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   … 
                    
                   
                     
 
                   
                    
                   
                     
                       a 
                       
                         
                           N 
                           2 
                         
                         - 
                         2 
                       
                     
                     = 
                     
                       
                         - 
                         
                           a 
                           
                             
                               N 
                               2 
                             
                             - 
                             1 
                           
                         
                       
                        
                       
                         a 
                         
                           
                             N 
                             2 
                           
                           + 
                           
                             N 
                             2 
                           
                           - 
                           2 
                         
                       
                        
                       
                         a 
                         
                           
                             N 
                             2 
                           
                           + 
                           
                             N 
                             2 
                           
                           - 
                           1 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   19 
                   ) 
                 
               
             
           
         
       
     
         [0068]    The condition of 
         [0000]    
       
         
           
             
               A 
                
               
                 ( 
                 
                   
                     a 
                     _ 
                   
                   ; 
                   
                     N 
                     2 
                   
                 
                 ) 
               
             
             = 
             0 
           
         
       
     
         [0000]    means that AAC sampled at 
         [0000]    
       
         
           
             
               τ 
               = 
               
                 - 
                 
                   N 
                   2 
                 
               
             
             , 
             0 
             , 
             
               N 
               2 
             
           
         
       
     
         [0000]    gives δ function, i.e. ideal AAC function, whereby 
         [0000]    
       
         
           
             
               δ 
                
               
                 ( 
                 τ 
                 ) 
               
             
             = 
             
               { 
               
                 
                   
                     N 
                   
                   
                     
                       τ 
                       = 
                       0 
                     
                   
                 
                 
                   
                     0 
                   
                   
                     
                       τ 
                       ≠ 
                       0. 
                     
                   
                 
               
             
           
         
       
     
         [0069]    Constructing the equations for AAC similar to those of (13)is not needed. Rather calculating is necessary how many negative signs would occur in them. For the worst case (a i =+1), a total number of negative symbols 
         [0000]    
       
         
           
             
               a 
               0 
             
             , 
             
               a 
               2 
             
             , 
             … 
              
             
                 
             
             , 
             
               a 
               
                 
                   N 
                   2 
                 
                 - 
                 2 
               
             
           
         
       
     
         [0000]    will be 
         [0000]    
       
         
           
             
               
                 
                   
                     N 
                     2 
                   
                   - 
                   2 
                 
                 2 
               
               + 
               1 
             
             = 
             
               
                 N 
                 4 
               
               . 
             
           
         
       
     
       Thus, 
       [0070]    
       
         
           
             
               3 
                
               
                   
               
                
               N 
             
             4 
           
         
       
     
         [0000]    symbols will be positive. It is now clear that writing the equations for AAC, there would have been 
         [0000]    
       
         
           
             
               
                 N 
                 4 
               
               × 
               
                 
                   3 
                    
                   
                       
                   
                    
                   N 
                 
                 4 
               
             
             = 
             
               
                 3 
                  
                 
                     
                 
                  
                 
                   N 
                   2 
                 
               
               16 
             
           
         
       
     
         [0000]    negative signs. The total number of terms in those equations is simply the sum of an arithmetic sequence 
         [0000]    
       
         
           
             
               1 
               + 
               2 
               + 
               … 
               + 
               
                 ( 
                 
                   N 
                   - 
                   1 
                 
                 ) 
               
             
             = 
             
               
                 
                   N 
                    
                   
                     ( 
                     
                       N 
                       - 
                       1 
                     
                     ) 
                   
                 
                 2 
               
               . 
             
           
         
       
     
         [0000]    As known, 
         [0000]    
       
         
           
             
               3 
                
               
                   
               
                
               
                 N 
                 2 
               
             
             16 
           
         
       
     
         [0000]    of those terms are negative, which means 
         [0000]    
       
         
           
             
               
                 
                   N 
                    
                   
                     ( 
                     
                       N 
                       - 
                       1 
                     
                     ) 
                   
                 
                 2 
               
               - 
               
                 
                   3 
                    
                   
                       
                   
                    
                   
                     N 
                     2 
                   
                 
                 16 
               
             
             = 
             
               
                 
                   5 
                    
                   
                       
                   
                    
                   
                     N 
                     2 
                   
                 
                 - 
                 
                   8 
                    
                   
                       
                   
                    
                   N 
                 
               
               16 
             
           
         
       
     
         [0000]    are positive. Thus, the difference between the number of positive and negative signs is 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       5 
                        
                       
                           
                       
                        
                       
                         N 
                         2 
                       
                     
                     - 
                     
                       8 
                        
                       
                           
                       
                        
                       N 
                     
                   
                   16 
                 
                 - 
                 
                   
                     3 
                      
                     
                         
                     
                      
                     
                       N 
                       2 
                     
                   
                   16 
                 
               
               = 
               
                 
                   
                     N 
                     2 
                   
                   - 
                   
                     4 
                      
                     
                         
                     
                      
                     N 
                   
                 
                 8 
               
             
             , 
           
         
       
     
         [0000]    which is the result of the sum in (8) obtaining for the worst case. So, the power peak is 
         [0000]    
       
         
           
             
               
                 
                   
                     P 
                     peak 
                   
                   = 
                   
                     
                       N 
                       + 
                       
                         2 
                          
                         
                           ( 
                           
                             
                               
                                 N 
                                 2 
                               
                               - 
                               
                                 4 
                                  
                                 
                                     
                                 
                                  
                                 N 
                               
                             
                             8 
                           
                           ) 
                         
                       
                     
                     = 
                     
                       
                         N 
                         2 
                       
                       4 
                     
                   
                 
               
               
                 
                   ( 
                   20 
                   ) 
                 
               
             
           
         
       
     
         [0071]    Hence, if it is set 
         [0000]    
       
         
           
             
               
                 A 
                  
                 
                   ( 
                   
                     
                       a 
                       _ 
                     
                     ; 
                     
                       N 
                       2 
                     
                   
                   ) 
                 
               
               = 
               0 
             
             , 
           
         
       
     
         [0000]    PAPR in the worst case is 
         [0000]    
       
         
           
             
               
                 
                   
                     10 
                      
                     
                         
                     
                      
                     
                       
                         log 
                         10 
                       
                       ( 
                       
                         
                           
                             N 
                             2 
                           
                           4 
                         
                         N 
                       
                       ) 
                     
                   
                   = 
                   
                     10 
                      
                     
                         
                     
                      
                     
                       
                         
                           log 
                           10 
                         
                          
                         
                           ( 
                           
                             N 
                             4 
                           
                           ) 
                         
                       
                       . 
                     
                   
                 
               
               
                 
                   ( 
                   21 
                   ) 
                 
               
             
           
         
       
     
         [0072]    If it is not applied conditions (19), PAPR is 10 log 10 (N). Consequently, the amount of PAPR reduction is always 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         10 
                          
                         
                             
                         
                          
                         
                           
                             log 
                             10 
                           
                            
                           
                             ( 
                             N 
                             ) 
                           
                         
                       
                       - 
                       
                         10 
                          
                         
                             
                         
                          
                         
                           
                             log 
                             10 
                           
                            
                           
                             ( 
                             
                               N 
                               4 
                             
                             ) 
                           
                         
                       
                     
                     = 
                     
                       
                         10 
                          
                         
                             
                         
                          
                         
                           
                             log 
                             10 
                           
                            
                           
                             ( 
                             4 
                             ) 
                           
                         
                       
                       = 
                       
                         6.02 
                          
                         
                             
                         
                          
                         dB 
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   22 
                   ) 
                 
               
             
           
         
       
     
         [0000]    independent of number of sub-carriers, N. Verifying this result by simulations is useful. 
         [0073]    The condition of (19) is to be considered and how they can be transformed back to the bit basis is to see. Generally, it is set the condition 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       a 
                       i 
                     
                     = 
                     
                       
                         
                           - 
                           
                             a 
                             
                               i 
                               + 
                               1 
                             
                           
                         
                          
                         
                           a 
                           
                             
                               N 
                               2 
                             
                             + 
                             i 
                           
                         
                          
                         
                           
                             a 
                             
                               
                                 N 
                                 2 
                               
                               + 
                               i 
                               + 
                               1 
                             
                           
                           . 
                           
                             
 
                           
                            
                           with 
                         
                          
                         
                             
                         
                          
                         i 
                       
                       = 
                       0 
                     
                   
                   , 
                   2 
                   , 
                   … 
                    
                   
                       
                   
                   , 
                   
                     
                       N 
                       2 
                     
                     - 
                     
                       2. 
                        
                       
                           
                       
                        
                       It 
                        
                       
                           
                       
                        
                       is 
                        
                       
                         
                             
                         
                          
                         
                             
                         
                       
                        
                       written 
                     
                   
                 
               
               
                 
                   ( 
                   23 
                   ) 
                 
               
             
             
               
                 
                   
                     a 
                     i 
                   
                   = 
                   
                     
                       - 
                       
                         a 
                         j 
                       
                     
                      
                     
                       a 
                       k 
                     
                      
                     
                       a 
                       l 
                     
                   
                 
               
               
                 
                   ( 
                   24 
                   ) 
                 
               
             
           
         
       
     
         [0000]    for brevity. For the BPSK symbols, only negative symbols a j , a k , a l  do cause a change in the sign of a i . Therefore, it is clear that if the number of {+1} symbols out of a j , a k , a l  is even (0 or 2), then a i =+1, and a i =−1 otherwise. Putting this to the bit level, the following result is got. If the number of ones out of three bits b j , b k , b l  (corresponding to symbols a j , a k , a l ) is even, the resulted bit b i  is a one, and if the number of ones is odd, the resulted bit b i  is a zero. This is the formula of the complementary parity code, which may be defined by 
         [0000]      b i =b j ⊕b k ⊕b l ⊕1   (25) 
         [0000]    where ⊕ denotes the operation sum modulo 2 (XOR). The term “parity” expresses parity encoding operation while term “complementary” is used to express negation of the result. 
         [0074]    Having found the encoding operation of (25) enables to perform coding before applying BPSK modulation, guaranteeing that relations of (19) will hold. 
         [0075]    A further solution to solve the above mentioned problem is: 
         [0076]    There is a further assumption of normalized symbol duration, i.e. T=1. The term on right hand side of (8) can be written as follows: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       ∑ 
                       
                         τ 
                         = 
                         1 
                       
                       
                         N 
                         - 
                         1 
                       
                     
                      
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               
                                 a 
                                 _ 
                               
                               m 
                             
                             ; 
                             τ 
                           
                           ) 
                         
                       
                        
                       
                         cos 
                          
                         
                           ( 
                           
                             2 
                              
                             πτ 
                              
                             
                                 
                             
                              
                             t 
                           
                           ) 
                         
                       
                     
                   
                   = 
                   
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               
                                 a 
                                 _ 
                               
                               m 
                             
                             ; 
                             1 
                           
                           ) 
                         
                       
                        
                       
                         cos 
                          
                         
                           ( 
                           
                             2 
                              
                             π 
                              
                             
                                 
                             
                              
                             t 
                           
                           ) 
                         
                       
                     
                     + 
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               
                                 a 
                                 _ 
                               
                               m 
                             
                             ; 
                             2 
                           
                           ) 
                         
                       
                        
                       
                         
                           cos 
                            
                           
                             ( 
                             
                               2 
                                
                               π2 
                                
                               
                                   
                               
                                
                               t 
                             
                             ) 
                           
                         
                         ++ 
                       
                        
                       
                           
                       
                        
                       … 
                     
                     + 
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               
                                 a 
                                 _ 
                               
                               m 
                             
                             ; 
                             
                               N 
                               - 
                               2 
                             
                           
                           ) 
                         
                       
                        
                       
                         cos 
                          
                         
                           ( 
                           
                             2 
                              
                             
                               π 
                                
                               
                                 ( 
                                 
                                   N 
                                   - 
                                   2 
                                 
                                 ) 
                               
                             
                              
                             t 
                           
                           ) 
                         
                       
                     
                     + 
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               
                                 a 
                                 _ 
                               
                               m 
                             
                             ; 
                             
                               N 
                               - 
                               1 
                             
                           
                           ) 
                         
                       
                        
                       
                         
                           cos 
                            
                           
                             ( 
                             
                               2 
                                
                               
                                 π 
                                  
                                 
                                   ( 
                                   
                                     N 
                                     - 
                                     1 
                                   
                                   ) 
                                 
                               
                                
                               t 
                             
                             ) 
                           
                         
                         . 
                       
                     
                   
                 
               
               
                 
                   ( 
                   26 
                   ) 
                 
               
             
           
         
       
     
         [0077]    Since cos(2πkt)=cos(2π(N−k)t) for k=&lt;N/2+1, N−1&gt;, (26) can be rewritten as 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       ∑ 
                       
                         τ 
                         = 
                         1 
                       
                       
                         N 
                         - 
                         1 
                       
                     
                      
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               
                                 a 
                                 _ 
                               
                               m 
                             
                             ; 
                             τ 
                           
                           ) 
                         
                       
                        
                       
                         cos 
                          
                         
                           ( 
                           
                             2 
                              
                             πτ 
                              
                             
                                 
                             
                              
                             t 
                           
                           ) 
                         
                       
                     
                   
                   = 
                   
                       
                     
                       
                         
                           cos 
                            
                           
                             ( 
                             
                               2 
                                
                               π 
                                
                               
                                   
                               
                                
                               t 
                             
                             ) 
                           
                         
                          
                         
                           [ 
                           
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   1 
                                 
                                 ) 
                               
                             
                             + 
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   
                                     N 
                                     - 
                                     1 
                                   
                                 
                                 ) 
                               
                             
                           
                           ] 
                         
                       
                       + 
                       
                           
                         
                             
                         
                          
                         
                           
                             … 
                              
                             
                                 
                             
                             ++ 
                           
                            
                           
                             
 
                           
                            
                           
                               
                           
                            
                           
                               
                             
                                 
                               
                                   
                                 
                                     
                                   
                                     
                                       
                                         
                                           cos 
                                            
                                           
                                             ( 
                                             
                                               2 
                                                
                                               
                                                 π 
                                                  
                                                 
                                                   ( 
                                                   
                                                     
                                                       N 
                                                       2 
                                                     
                                                     - 
                                                     1 
                                                   
                                                   ) 
                                                 
                                               
                                                
                                               t 
                                             
                                             ) 
                                           
                                         
                                          
                                         
                                           [ 
                                           
                                             
                                               A 
                                                
                                               
                                                 ( 
                                                 
                                                   
                                                     
                                                       a 
                                                       _ 
                                                     
                                                     m 
                                                   
                                                   ; 
                                                   
                                                     
                                                       N 
                                                       2 
                                                     
                                                     - 
                                                     1 
                                                   
                                                 
                                                 ) 
                                               
                                             
                                             + 
                                             
                                               A 
                                                
                                               
                                                 ( 
                                                 
                                                   
                                                     
                                                       a 
                                                       _ 
                                                     
                                                     m 
                                                   
                                                   ; 
                                                   
                                                     
                                                       N 
                                                       2 
                                                     
                                                     + 
                                                     1 
                                                   
                                                 
                                                 ) 
                                               
                                             
                                           
                                           ] 
                                         
                                       
                                       ++ 
                                     
                                      
                                     
                                       cos 
                                        
                                       
                                         ( 
                                         
                                           2 
                                            
                                           π 
                                            
                                           
                                             N 
                                             2 
                                           
                                            
                                           t 
                                         
                                         ) 
                                       
                                     
                                      
                                     
                                       
                                         A 
                                          
                                         
                                           ( 
                                           
                                             
                                               
                                                 a 
                                                 _ 
                                               
                                               m 
                                             
                                             ; 
                                             
                                               N 
                                               2 
                                             
                                           
                                           ) 
                                         
                                       
                                       . 
                                     
                                   
                                 
                               
                             
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   27 
                   ) 
                 
               
             
           
         
       
     
         [0078]    As an example, let N=16. Evaluation of (27) gives: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       ∑ 
                       
                         τ 
                         = 
                         1 
                       
                       15 
                     
                      
                     
                       
                         A 
                          
                         
                           ( 
                           
                             
                               
                                 a 
                                 _ 
                               
                               m 
                             
                             ; 
                             τ 
                           
                           ) 
                         
                       
                        
                       
                         cos 
                          
                         
                           ( 
                           
                             2 
                              
                             πτ 
                              
                             
                                 
                             
                              
                             t 
                           
                           ) 
                         
                       
                     
                   
                   = 
                   
                     
                       
                         cos 
                          
                         
                           ( 
                           
                             2 
                              
                             π 
                              
                             
                                 
                             
                              
                             t 
                           
                           ) 
                         
                       
                        
                       
                         [ 
                         
                           
                             A 
                              
                             
                               ( 
                               
                                 
                                   
                                     a 
                                     _ 
                                   
                                   m 
                                 
                                 ; 
                                 1 
                               
                               ) 
                             
                           
                           + 
                           
                             A 
                              
                             
                               ( 
                               
                                 
                                   
                                     a 
                                     _ 
                                   
                                   m 
                                 
                                 ; 
                                 15 
                               
                               ) 
                             
                           
                         
                         ] 
                       
                     
                     + 
                     
                         
                     
                      
                     
                       
                         
                           
                             cos 
                              
                             
                               ( 
                               
                                 2 
                                  
                                 π2 
                                  
                                 
                                     
                                 
                                  
                                 t 
                               
                               ) 
                             
                           
                            
                           
                             [ 
                             
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     2 
                                   
                                   ) 
                                 
                               
                               + 
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     14 
                                   
                                   ) 
                                 
                               
                             
                             ] 
                           
                         
                         ++ 
                       
                        
                       
                         
                           cos 
                            
                           
                             ( 
                             
                               2 
                                
                               π3 
                                
                               
                                   
                               
                                
                               t 
                             
                             ) 
                           
                         
                          
                         
                           [ 
                           
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   3 
                                 
                                 ) 
                               
                             
                             + 
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   13 
                                 
                                 ) 
                               
                             
                           
                           ] 
                         
                       
                     
                     + 
                     
                       
                         
                           
                             cos 
                              
                             
                               ( 
                               
                                 2 
                                  
                                 π4 
                                  
                                 
                                     
                                 
                                  
                                 t 
                               
                               ) 
                             
                           
                            
                           
                             [ 
                             
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     4 
                                   
                                   ) 
                                 
                               
                               + 
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     12 
                                   
                                   ) 
                                 
                               
                             
                             ] 
                           
                         
                         ++ 
                       
                        
                       
                         
                           cos 
                            
                           
                             ( 
                             
                               2 
                                
                               π 
                                
                               
                                   
                               
                                
                               5 
                                
                               t 
                             
                             ) 
                           
                         
                          
                         
                           [ 
                           
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   5 
                                 
                                 ) 
                               
                             
                             + 
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   11 
                                 
                                 ) 
                               
                             
                           
                           ] 
                         
                       
                     
                     + 
                     
                       
                         
                           
                             cos 
                              
                             
                               ( 
                               
                                 2 
                                  
                                 π 
                                  
                                 
                                     
                                 
                                  
                                 6 
                                  
                                 t 
                               
                               ) 
                             
                           
                            
                           
                             [ 
                             
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     6 
                                   
                                   ) 
                                 
                               
                               + 
                               
                                 A 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         a 
                                         _ 
                                       
                                       m 
                                     
                                     ; 
                                     10 
                                   
                                   ) 
                                 
                               
                             
                             ] 
                           
                         
                         ++ 
                       
                        
                       
                         
                           cos 
                            
                           
                             ( 
                             
                               2 
                                
                               π 
                                
                               
                                   
                               
                                
                               7 
                                
                               t 
                             
                             ) 
                           
                         
                          
                         
                           [ 
                           
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   7 
                                 
                                 ) 
                               
                             
                             + 
                             
                               A 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       a 
                                       _ 
                                     
                                     m 
                                   
                                   ; 
                                   9 
                                 
                                 ) 
                               
                             
                           
                           ] 
                         
                       
                     
                     + 
                     
                       
                         cos 
                          
                         
                           ( 
                           
                             2 
                              
                             π8 
                              
                             
                                 
                             
                              
                             t 
                           
                           ) 
                         
                       
                        
                       
                         
                           A 
                            
                           
                             ( 
                             
                               
                                 
                                   a 
                                   _ 
                                 
                                 m 
                               
                               ; 
                               8 
                             
                             ) 
                           
                         
                         . 
                       
                     
                   
                 
               
               
                 
                   ( 
                   28 
                   ) 
                 
               
             
           
         
       
     
         [0079]    For notational convenience A(ā m ; τ)=A(τ) is further used. By applying recursive formula cos nx=2 cos [(n−1)x] cos x−cos [(n−2)x] and substitution 2πt=x, and n=1, . . . 8 in (28) it is got: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       ∑ 
                       
                         τ 
                         = 
                         1 
                       
                       15 
                     
                      
                     
                       
                         A 
                          
                         
                           ( 
                           τ 
                           ) 
                         
                       
                        
                       
                         cos 
                          
                         
                           ( 
                           
                             x 
                              
                             
                                 
                             
                              
                             τ 
                           
                           ) 
                         
                       
                     
                   
                   = 
                   
                     
                       128 
                        
                       
                         A 
                          
                         
                           ( 
                           8 
                           ) 
                         
                       
                        
                       
                         
                           cos 
                           8 
                         
                          
                         
                           ( 
                           x 
                           ) 
                         
                       
                     
                     + 
                     
                         
                       
                         
                           
                             [ 
                             
                               
                                 64 
                                  
                                 
                                     
                                 
                                  
                                 
                                   A 
                                    
                                   
                                     ( 
                                     9 
                                     ) 
                                   
                                 
                               
                               + 
                               
                                 64 
                                  
                                 
                                     
                                 
                                  
                                 
                                   A 
                                    
                                   
                                     ( 
                                     7 
                                     ) 
                                   
                                 
                               
                             
                             ] 
                           
                            
                           
                             
                               
                                 
                                   cos 
                                   7 
                                 
                                  
                                 
                                   ( 
                                   x 
                                   ) 
                                 
                               
                               ++ 
                             
                              
                             
                               [ 
                               
                                 
                                   32 
                                    
                                   
                                     A 
                                      
                                     
                                       ( 
                                       6 
                                       ) 
                                     
                                   
                                 
                                 + 
                                 
                                   32 
                                    
                                   
                                     A 
                                      
                                     
                                       ( 
                                       10 
                                       ) 
                                     
                                   
                                 
                                 - 
                                 
                                   256 
                                    
                                   
                                     A 
                                      
                                     
                                       ( 
                                       8 
                                       ) 
                                     
                                   
                                 
                               
                               ] 
                             
                           
                            
                           
                               
                           
                            
                           
                             
                               cos 
                               6 
                             
                              
                             
                               ( 
                               x 
                               ) 
                             
                           
                         
                         + 
                         
                           
                             [ 
                             
                               
                                 16 
                                  
                                 
                                   A 
                                    
                                   
                                     ( 
                                     5 
                                     ) 
                                   
                                 
                               
                               + 
                               
                                 16 
                                  
                                 
                                   A 
                                    
                                   
                                     ( 
                                     11 
                                     ) 
                                   
                                 
                               
                               - 
                               
                                 112 
                                  
                                 
                                     
                                 
                                  
                                 
                                   A 
                                    
                                   
                                     ( 
                                     7 
                                     ) 
                                   
                                 
                               
                               - 
                               
                                 112 
                                  
                                 A 
                                  
                                 
                                     
                                 
                                  
                                 
                                   ( 
                                   9 
                                   ) 
                                 
                               
                             
                             ] 
                           
                            
                           
                             
                               
                                 cos 
                                 5 
                               
                                
                               
                                 ( 
                                 x 
                                 ) 
                               
                             
                             ++ 
                           
                            
                           
                               
                           
                            
                           
                               
                             
                               
                                 
                                   [ 
                                   
                                     
                                       
                                         - 
                                         48 
                                       
                                        
                                       
                                         A 
                                          
                                         
                                           ( 
                                           6 
                                           ) 
                                         
                                       
                                     
                                     - 
                                     
                                       48 
                                        
                                       
                                         A 
                                          
                                         
                                           ( 
                                           10 
                                           ) 
                                         
                                       
                                     
                                     + 
                                     
                                       8 
                                        
                                       
                                         A 
                                          
                                         
                                           ( 
                                           4 
                                           ) 
                                         
                                       
                                     
                                     + 
                                     
                                       8 
                                        
                                       
                                         A 
                                          
                                         
                                           ( 
                                           12 
                                           ) 
                                         
                                       
                                     
                                     + 
                                     
                                       160 
                                        
                                       
                                         A 
                                          
                                         
                                           ( 
                                           8 
                                           ) 
                                         
                                       
                                     
                                   
                                   ] 
                                 
                                  
                                 
                                   cos 
                                   4 
                                 
                                  
                                 
                                   
                                     x 
                                     ++ 
                                   
                                    
                                   
                                     [ 
                                     
                                       
                                         
                                           - 
                                           20 
                                         
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             5 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         4 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             13 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         4 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             3 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         56 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             7 
                                             ) 
                                           
                                         
                                       
                                       - 
                                       
                                         20 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             11 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         56 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             9 
                                             ) 
                                           
                                         
                                       
                                     
                                     ] 
                                   
                                 
                                  
                                 
                                   cos 
                                   3 
                                 
                                  
                                 
                                   
                                     x 
                                     ++ 
                                   
                                    
                                   
                                     [ 
                                     
                                       
                                         2 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             2 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         18 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             10 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         2 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             14 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         18 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             6 
                                             ) 
                                           
                                         
                                       
                                       - 
                                       
                                         32 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             8 
                                             ) 
                                           
                                         
                                       
                                       - 
                                       
                                         8 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             4 
                                             ) 
                                           
                                         
                                       
                                       - 
                                       
                                         8 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             12 
                                             ) 
                                           
                                         
                                       
                                     
                                     ] 
                                   
                                 
                                  
                                 
                                   cos 
                                   2 
                                 
                                  
                                 
                                   
                                     x 
                                     ++ 
                                   
                                    
                                   
                                     [ 
                                     
                                       
                                         A 
                                          
                                         
                                           ( 
                                           1 
                                           ) 
                                         
                                       
                                       + 
                                       
                                         A 
                                          
                                         
                                           ( 
                                           15 
                                           ) 
                                         
                                       
                                       - 
                                       
                                         7 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             7 
                                             ) 
                                           
                                         
                                       
                                       - 
                                       
                                         3 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             3 
                                             ) 
                                           
                                         
                                       
                                       - 
                                       
                                         3 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             13 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         5 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             5 
                                             ) 
                                           
                                         
                                       
                                       + 
                                       
                                         5 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             11 
                                             ) 
                                           
                                         
                                       
                                       - 
                                       
                                         7 
                                          
                                         
                                           A 
                                            
                                           
                                             ( 
                                             9 
                                             ) 
                                           
                                         
                                       
                                     
                                     ] 
                                   
                                 
                                  
                                 cos 
                                  
                                 
                                     
                                 
                                  
                                 
                                   x 
                                   ++ 
                                 
                                  
                                 
                                   A 
                                    
                                   
                                     ( 
                                     8 
                                     ) 
                                   
                                 
                               
                               - 
                               
                                 A 
                                  
                                 
                                   ( 
                                   14 
                                   ) 
                                 
                               
                               + 
                               
                                 A 
                                  
                                 
                                   ( 
                                   4 
                                   ) 
                                 
                               
                               + 
                               
                                 A 
                                  
                                 
                                   ( 
                                   12 
                                   ) 
                                 
                               
                               - 
                               
                                 A 
                                  
                                 
                                   ( 
                                   6 
                                   ) 
                                 
                               
                               - 
                               
                                 A 
                                  
                                 
                                   ( 
                                   10 
                                   ) 
                                 
                               
                               - 
                               
                                 
                                   A 
                                    
                                   
                                     ( 
                                     2 
                                     ) 
                                   
                                 
                                 . 
                               
                             
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   29 
                   ) 
                 
               
             
           
         
       
     
         [0080]    As can be seen for absolute term, cos 0  x of (29), there are only three shifts of AAC with sign “+”, i.e. A(8) A(4) and A(12) Furthermore, the shift A(8) is multiplied in each term by the highest coefficient. This causes fluctuation of the envelope power. Therefore, in order to lower the fluctuation it would be necessary to minimize A(8). 
         [0081]    It is expressed AAC for shift τ=8: 
         [0000]        A (8)= a   0   a   8   +a   1   a   9   +a   2   a   10   +a   3   a   11   +a   4   a   12   +a   5   a   13   +a   6   a   14   +a   7   a   15    (30) 
         [0082]    A(8) is not set to zero as it was suggested in the first solution, but it is minimized in another way. The conditions are presented in the first solution for three symbols a 2 , a 4 , a 6 . But, the condition is altered for the first symbol, a 0 : 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       a 
                       0 
                     
                     = 
                     
                       
                         
                           
                             a 
                             1 
                           
                            
                           
                             a 
                             9 
                           
                         
                         
                           a 
                           8 
                         
                       
                       = 
                       
                         
                           + 
                           
                             a 
                             1 
                           
                         
                          
                         
                           a 
                           8 
                         
                          
                         
                           a 
                           9 
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       a 
                       2 
                     
                     = 
                     
                       
                         - 
                         
                           
                             
                               a 
                               3 
                             
                              
                             
                               a 
                               11 
                             
                           
                           
                             a 
                             10 
                           
                         
                       
                       = 
                       
                         
                           - 
                           
                             a 
                             3 
                           
                         
                          
                         
                           a 
                           10 
                         
                          
                         
                           a 
                           11 
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       a 
                       4 
                     
                     = 
                     
                       
                         - 
                         
                           
                             
                               a 
                               5 
                             
                              
                             
                               a 
                               13 
                             
                           
                           
                             a 
                             12 
                           
                         
                       
                       = 
                       
                         
                           - 
                           
                             a 
                             5 
                           
                         
                          
                         
                           a 
                           12 
                         
                          
                         
                           a 
                           13 
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       a 
                       6 
                     
                     = 
                     
                       
                         - 
                         
                           
                             
                               a 
                               7 
                             
                              
                             
                               a 
                               15 
                             
                           
                           
                             a 
                             14 
                           
                         
                       
                       = 
                       
                         
                           - 
                           
                             a 
                             7 
                           
                         
                          
                         
                           a 
                           14 
                         
                          
                         
                           a 
                           15 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   31 
                   ) 
                 
               
             
           
         
       
     
         [0000]    This means that A(8) will no longer be equal to zero, rather A(8)=2a 0 a 8 . 
         [0083]    Calculating PAPR exactly the same way as it was done in the first solution. Following this argument, it can be shown that the difference between positive and negative signs in equations for MC would be 42. This results in power peak peak P peak =16+2(42)=100. 
         [0084]    Hence, PAPR in the worst case is: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         PAPR 
                         = 
                           
                          
                         
                           10 
                            
                           
                             
                               log 
                               10 
                             
                              
                             
                               ( 
                               
                                 
                                   P 
                                   peak 
                                 
                                 
                                   P 
                                   avg 
                                 
                               
                               ) 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           10 
                            
                           
                             
                               log 
                               10 
                             
                              
                             
                               ( 
                               
                                 100 
                                 16 
                               
                               ) 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           10 
                            
                           
                             
                               log 
                               10 
                             
                              
                             
                               ( 
                               6.25 
                               ) 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         
                           = 
                             
                            
                           
                             7.96 
                              
                             
                                 
                             
                              
                             dB 
                           
                         
                         , 
                       
                     
                   
                 
               
               
                 
                   ( 
                   32 
                   ) 
                 
               
             
           
         
       
     
         [0000]    and the amount of PAPR reduction 
         [0000]      10 log 10 (16)−PAPR=12.04−7.96=4.08 dB.   (33) 
         [0085]    This result will be verified by simulations. Of course, since A(8) is not set to zero, PAPR reduction is less than 6.02 dB presented in the first solution. However, there is another advantage of the proposed system. 
         [0086]    First of all, it is clear that the proposed conditions of (31) are not the only ones that guarantee 7.96 dB PAPR. For instance, the condition is altered for a 2  instead of a 0 , which would lead to a 2 =+a 3 a 10 a 11 . There are 4 possibilities of choosing the symbol to alter the condition for. In each of these cases, there will be 3 negative signs and 1 positive sign in the resulted conditions, similar to (31). Further, each case guarantees 4.08 dB PAPR reduction. Position of sign “+” determines four possibilities which are mutually exclusive, i.e. choosing one position only the conditions stated for this case hold. The following formulae define four mutually exclusive possibilities preserving PAPR reduction of 4.08 dB: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         a 
                         0 
                       
                       = 
                       
                         
                           
                             
                               a 
                               1 
                             
                              
                             
                               a 
                               9 
                             
                           
                           
                             a 
                             8 
                           
                         
                         = 
                         
                           
                             + 
                             
                               a 
                               1 
                             
                           
                            
                           
                             a 
                             8 
                           
                            
                           
                             a 
                             9 
                           
                         
                       
                     
                     ; 
                     
                         
                     
                      
                     
                       
                         a 
                         2 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 3 
                               
                                
                               
                                 a 
                                 11 
                               
                             
                             
                               a 
                               10 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               3 
                             
                           
                            
                           
                             a 
                             10 
                           
                            
                           
                             a 
                             11 
                           
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       
                         a 
                         4 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 5 
                               
                                
                               
                                 a 
                                 13 
                               
                             
                             
                               a 
                               12 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               5 
                             
                           
                            
                           
                             a 
                             12 
                           
                            
                           
                             a 
                             13 
                           
                         
                       
                     
                     ; 
                     
                         
                     
                      
                     
                       
                         a 
                         6 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 7 
                               
                                
                               
                                 a 
                                 15 
                               
                             
                             
                               a 
                               14 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               7 
                             
                           
                            
                           
                             a 
                             14 
                           
                            
                           
                             a 
                             15 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   I 
                   ) 
                 
               
             
             
               
                 
                   
                     
                       
                         a 
                         0 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 1 
                               
                                
                               
                                 a 
                                 9 
                               
                             
                             
                               a 
                               8 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               1 
                             
                           
                            
                           
                             a 
                             8 
                           
                            
                           
                             a 
                             9 
                           
                         
                       
                     
                     ; 
                     
                         
                     
                      
                     
                       
                         a 
                         2 
                       
                       = 
                       
                         
                           
                             
                               a 
                               3 
                             
                              
                             
                               a 
                               11 
                             
                           
                           
                             a 
                             10 
                           
                         
                         = 
                         
                           
                             + 
                             
                               a 
                               3 
                             
                           
                            
                           
                             a 
                             10 
                           
                            
                           
                             a 
                             11 
                           
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       
                         a 
                         4 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 5 
                               
                                
                               
                                 a 
                                 13 
                               
                             
                             
                               a 
                               12 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               5 
                             
                           
                            
                           
                             a 
                             12 
                           
                            
                           
                             a 
                             13 
                           
                         
                       
                     
                     ; 
                     
                         
                     
                      
                     
                       
                         a 
                         6 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 7 
                               
                                
                               
                                 a 
                                 15 
                               
                             
                             
                               a 
                               14 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               7 
                             
                           
                            
                           
                             a 
                             14 
                           
                            
                           
                             a 
                             15 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   II 
                   ) 
                 
               
             
             
               
                 
                   
                     
                       
                         a 
                         0 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 1 
                               
                                
                               
                                 a 
                                 9 
                               
                             
                             
                               a 
                               8 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               1 
                             
                           
                            
                           
                             a 
                             8 
                           
                            
                           
                             a 
                             9 
                           
                         
                       
                     
                     ; 
                     
                         
                     
                      
                     
                       
                         a 
                         2 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 3 
                               
                                
                               
                                 a 
                                 11 
                               
                             
                             
                               a 
                               10 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               3 
                             
                           
                            
                           
                             a 
                             10 
                           
                            
                           
                             a 
                             11 
                           
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       
                         a 
                         4 
                       
                       = 
                       
                         
                           
                             
                               a 
                               5 
                             
                              
                             
                               a 
                               13 
                             
                           
                           
                             a 
                             12 
                           
                         
                         = 
                         
                           
                             + 
                             
                               a 
                               5 
                             
                           
                            
                           
                             a 
                             12 
                           
                            
                           
                             a 
                             13 
                           
                         
                       
                     
                     ; 
                     
                         
                     
                      
                     
                       
                         a 
                         6 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 7 
                               
                                
                               
                                 a 
                                 15 
                               
                             
                             
                               a 
                               14 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               7 
                             
                           
                            
                           
                             a 
                             14 
                           
                            
                           
                             a 
                             15 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   III 
                   ) 
                 
               
             
             
               
                 
                   
                     
                       
                         a 
                         0 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 1 
                               
                                
                               
                                 a 
                                 9 
                               
                             
                             
                               a 
                               8 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               1 
                             
                           
                            
                           
                             a 
                             8 
                           
                            
                           
                             a 
                             9 
                           
                         
                       
                     
                     ; 
                     
                         
                     
                      
                     
                       
                         a 
                         2 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 3 
                               
                                
                               
                                 a 
                                 11 
                               
                             
                             
                               a 
                               10 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               3 
                             
                           
                            
                           
                             a 
                             10 
                           
                            
                           
                             a 
                             11 
                           
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   
                     
                       
                         a 
                         4 
                       
                       = 
                       
                         
                           - 
                           
                             
                               
                                 a 
                                 5 
                               
                                
                               
                                 a 
                                 13 
                               
                             
                             
                               a 
                               12 
                             
                           
                         
                         = 
                         
                           
                             - 
                             
                               a 
                               5 
                             
                           
                            
                           
                             a 
                             12 
                           
                            
                           
                             a 
                             13 
                           
                         
                       
                     
                     ; 
                     
                         
                     
                      
                     
                       
                         a 
                         6 
                       
                       = 
                       
                         
                           
                             
                               a 
                               7 
                             
                              
                             
                               a 
                               15 
                             
                           
                           
                             a 
                             14 
                           
                         
                         = 
                         
                           
                             + 
                             
                               a 
                               7 
                             
                           
                            
                           
                             a 
                             14 
                           
                            
                           
                             a 
                             15 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   IV 
                   ) 
                 
               
             
           
         
       
     
         [0087]    These 4 possible sets in radix-2 form are numbered according to the following rule: 
         [0000]      (I)→00; (II)→10; (III)→11; (IV)→01.   (34) 
         [0088]    This suggests the idea for position modulation which can modulate further information in the position of the sign “+”. Such a unique modulation technique is named as Sign Position Modulation (SPM). 
         [0089]    Apart from 12 information bits carried directly in the frame, receiver will determine which of the 4 possible sets of conditions hold and generate 2 further information bits. 
         [0090]    The code rate for such a system is evaluated. There are 12 information bits and 4 redundant bits inserted by one set of conditions, e.g. that of (31). This results in 16 bits being transmitted. Further 2 bits are carried by the applied conditions, so 14 information bits are transmitted. Hence the code rate is This is 
         [0000]    
       
         
           
             R 
             = 
             
               
                 14 
                 16 
               
               = 
               
                 0.875 
                 . 
               
             
           
         
       
     
         [0000]    This is a significant increase in code rate, compared to the reference of 
         [0000]    
       
         
           
             R 
             = 
             
               
                 12 
                 16 
               
               = 
               
                 0.75 
                 . 
               
             
           
         
       
     
         [0091]    Now, there is the rule for encoding procedure of BPSK symbols given in (I) and an analysis of the rules for bits corresponding to these symbols. The first equation which defines redundant symbol a 0  can be mapped to the bit level by common parity code, i.e. 
         [0000]      b 0 =b 1 ⊕b 8 ⊕b 9    (35) 
         [0000]    where ⊕ denotes the operation sum modulo 2. Similarly, relation at the bit level also for b 2 , b 4  and b 6  in (II), (III) and (IV), respectively is defined. 
         [0092]    The remaining symbols a 2 , a 4  and a 6  in (I) meet, at the bit level, the rule for complementary parity code, i.e. 
         [0000]      b 2 =b 3 ⊕b 10 ⊕b 11 ⊕1 
         [0000]      b 4 =b 5 ⊕b 12 ⊕b 13 ⊕1 
         [0000]      b 6 =b 7 ⊕b 14 ⊕b 15 ⊕1   (36) 
         [0093]    In the same way it is possible to define relations, at the bit level, for other symbols in (II), (III) and (IV). This feature enables for exploiting parity relation between the bits for error correction. 
         [0094]    The system with larger number of sub-carriers, e.g. 32 is taken into consideration. In such a case, there would be 8 possibilities of altering the conditions presented in the first solution, which means that further 3 bits could be transferred by taking one possibility. So, 24+3=27 information bits would be transferred, resulting in the code rate 
         [0000]    
       
         
           
             R 
             = 
             
               
                 27 
                 32 
               
               = 
               
                 0.844 
                 . 
               
             
           
         
       
     
         [0000]    It is now clear that increasing the number of sub-carriers would lead to decreased code rate. Therefore it is proposed to use the system with 16 sub-carriers. 
         [0095]    In real systems, larger number of sub-carriers is usually used, so separately coded blocks of length 16 may be combined to produce larger sizes. For instance, system with 64 sub-carriers would employ 4 blocks of individually coded data. Since we guarantee PAPR reduction of 4.08 dB only for 16 sub-carriers, a key question now is, how large will be the PAPR reduction if we combine individual blocks of length 16, followed by IFFT to produce OFDM symbol. 
         [0096]    l should be a positive integer and N=2 l . f 1  and f 2  should be 2 complex-valued sequences of length N and f=(f 1 , f 2 ) be the combined sequence of length 2N=2 l+1 . Then, the 2N-point Inverse Fast Fourier Transform (IFFT) of the sequence f, IFFT 2N (f), may be computed by the well-known decimation in frequency algorithm, which calculates the even and odd components (samples) of the resulted time domain signal separately. Even components are given by the formula: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       ( 
                       
                         
                           IFFT 
                           
                             2 
                              
                             N 
                           
                         
                          
                         
                           { 
                           f 
                           } 
                         
                       
                       ) 
                     
                     
                       2 
                        
                       n 
                     
                   
                   = 
                   
                     
                       ( 
                       
                         
                           
                             
                               IFFT 
                               N 
                             
                              
                             
                               { 
                               
                                 f 
                                 1 
                               
                               } 
                             
                           
                           + 
                           
                             
                               IFFT 
                               N 
                             
                              
                             
                               { 
                               
                                 f 
                                 2 
                               
                               } 
                             
                           
                         
                         2 
                       
                       ) 
                     
                     n 
                   
                 
               
               
                 
                   ( 
                   37 
                   ) 
                 
               
             
           
         
       
     
         [0000]    where N-point IFFT of the subsequent spectra f 1 , f 2  is used and n=0, 1, . . . , N−1 denotes the n-th component of the resulted signal. Odd components are given by: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         ( 
                         
                           
                             IFFT 
                             
                               2 
                                
                               N 
                             
                           
                            
                           
                             { 
                             f 
                             } 
                           
                         
                         ) 
                       
                       
                         
                           2 
                            
                           n 
                         
                         + 
                         1 
                       
                     
                     = 
                     
                       
                         ( 
                         
                           
                             
                               
                                 IFFT 
                                 N 
                               
                                
                               
                                 { 
                                 
                                   
                                     f 
                                     1 
                                   
                                   · 
                                   
                                      
                                     
                                       j 
                                        
                                       
                                         π 
                                         N 
                                       
                                        
                                       n 
                                     
                                   
                                 
                                 } 
                               
                             
                             - 
                             
                               
                                 IFFT 
                                 N 
                               
                                
                               
                                 { 
                                 
                                   
                                     f 
                                     2 
                                   
                                   · 
                                   
                                      
                                     
                                       j 
                                        
                                       
                                         π 
                                         N 
                                       
                                        
                                       n 
                                     
                                   
                                 
                                 } 
                               
                             
                           
                           2 
                         
                         ) 
                       
                       n 
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   38 
                   ) 
                 
               
             
           
         
       
     
         [0000]    where the n-th components of the spectra f 1 , f 2  are pre-multiplied by 
         [0000]    
       
         
           
              
             
               j 
                
               
                 π 
                 N 
               
                
               n 
             
           
         
       
     
         [0000]    before applying IFFT. 
         [0097]    Since peak in power is determined by the peak of the absolute value of the time domain signal, the purpose is to find the resulting component after IFFT with maximum absolute value. 
         [0098]    The case when two sequences (blocks) f 1 , f 2  of length N=16 are combined to produce the sequence f of length 2N=32 Performing IFFT of the combined sequence yields time domain signal (transformed sequence) F=FFT 2 N {f}. The maximum absolute values of the even and odd components of F separately is considered. 
         [0099]    f 1  should be the sequence (after encoding operation) of length N which results in maximum possible peak of the absolute value, i.e. max {|IFFT N {f 1 }|}≧max {|FFT N {f k }|} for all possible encoded sequences f k . It has to be stressed at this point that more than one such sequence f i  may exist. However, it is straightforward from (37) that maximum absolute value of even components will occur when f 1 =f i  and f 2 =f i , i.e. the two combined blocks are represented by the same sequence. In this case, the right-hand side of (37) is 
         [0000]    
       
         
           
             
               
                 
                   
                     IFFT 
                      
                     
                       { 
                       
                         f 
                         i 
                       
                       } 
                     
                   
                   + 
                   
                     IFFT 
                      
                     
                       { 
                       
                         f 
                         i 
                       
                       } 
                     
                   
                 
                 2 
               
               = 
               
                 IFFT 
                  
                 
                   { 
                   
                     f 
                     i 
                   
                   } 
                 
               
             
             , 
           
         
       
     
         [0000]    so the peak of the transformed combined sequence f at even components, max {|(IFFT 2N {f}) 2k |} is the same as that of sequence f i , max {|IFFT N {f i }|}. Anyway, power peak remains the same, but the average power of F (length 32) is half the average power of any sequence of length 16. This means that PAPR in linear scale doubles, or increases by 3.01 dB compared to the system with 16 sub-carriers. However, PAPR of the reference OFDM system without coding also doubles from N to 2N, or increases by 3.01 dB, so the amount of PAPR reduction remains the same, 4.08 dB. 
         [0100]    The maximum of odd components is now considered. f i  should be the encoded sequence of length N that results in the maximum possible peak of absolute value of the transformed pre-multiplied sequence 
         [0000]    
       
         
           
             
               ( 
               
                 
                   f 
                   i 
                 
                 · 
                 
                    
                   
                     j 
                      
                     
                       π 
                       N 
                     
                      
                     n 
                   
                 
               
               ) 
             
             , 
           
         
       
     
         [0000]    i.e. 
         [0000]    
       
         
           
             
               
                 
                   
                     max 
                      
                     
                       { 
                       
                          
                         
                           IFFT 
                            
                           
                             { 
                             
                               
                                 f 
                                 i 
                               
                               · 
                               
                                  
                                 
                                   j 
                                    
                                   
                                     π 
                                     N 
                                   
                                    
                                   n 
                                 
                               
                             
                             } 
                           
                         
                          
                       
                       } 
                     
                   
                   ≥ 
                   
                     max 
                      
                     
                       { 
                       
                          
                         
                           IFFT 
                            
                           
                             { 
                             
                               
                                 f 
                                 k 
                               
                               · 
                               
                                  
                                 
                                   j 
                                    
                                   
                                     π 
                                     N 
                                   
                                    
                                   n 
                                 
                               
                             
                             } 
                           
                         
                          
                       
                       } 
                     
                   
                 
               
               
                 
                   ( 
                   39 
                   ) 
                 
               
             
           
         
       
     
         [0000]    holds for any encoded sequence f k . Again, more than one such a sequence f i  may exist. It follows from (38) that maximum of odd components will occur when f 1 =f i  and f 2 =−f i , i.e. the second sequence is equal the first one multiplied by −1. In such a case, right-hand side of (38) is 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         
                           RHS 
                            
                           
                             ( 
                             21 
                             ) 
                           
                         
                         = 
                           
                          
                         
                           
                             
                               
                                 IFFT 
                                 N 
                               
                                
                               
                                 { 
                                 
                                   
                                     f 
                                     i 
                                   
                                   · 
                                   
                                      
                                     
                                       j 
                                        
                                       
                                         π 
                                         N 
                                       
                                        
                                       n 
                                     
                                   
                                 
                                 } 
                               
                             
                             - 
                             
                               
                                 IFFT 
                                 N 
                               
                                
                               
                                 { 
                                 
                                   
                                     ( 
                                     
                                       - 
                                       
                                         f 
                                         i 
                                       
                                     
                                     ) 
                                   
                                   · 
                                   
                                      
                                     
                                       j 
                                        
                                       
                                         π 
                                         N 
                                       
                                        
                                       n 
                                     
                                   
                                 
                                 } 
                               
                             
                           
                           2 
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             
                               
                                 IFFT 
                                 N 
                               
                                
                               
                                 { 
                                 
                                   
                                     f 
                                     i 
                                   
                                   · 
                                   
                                      
                                     
                                       j 
                                        
                                       
                                         π 
                                         N 
                                       
                                        
                                       n 
                                     
                                   
                                 
                                 } 
                               
                             
                             + 
                             
                               
                                 IFFT 
                                 N 
                               
                                
                               
                                 { 
                                 
                                   
                                     f 
                                     i 
                                   
                                   · 
                                   
                                      
                                     
                                       j 
                                        
                                       
                                         π 
                                         N 
                                       
                                        
                                       n 
                                     
                                   
                                 
                                 } 
                               
                             
                           
                           2 
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             IFFT 
                             N 
                           
                            
                           
                             { 
                             
                               
                                 f 
                                 i 
                               
                               · 
                               
                                  
                                 
                                   j 
                                    
                                   
                                     π 
                                     N 
                                   
                                    
                                   n 
                                 
                               
                             
                             } 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   40 
                   ) 
                 
               
             
           
         
       
     
         [0101]    Therefore, it is enough to calculate the maximum possible peak of the transformed pre-multiplied sequence, 
         [0000]    
       
         
           
             max 
              
             
               
                 { 
                 
                    
                   
                     IFFT 
                      
                     
                       { 
                       
                         
                           f 
                           i 
                         
                         · 
                         
                            
                           
                             j 
                              
                             
                               π 
                               N 
                             
                              
                             n 
                           
                         
                       
                       } 
                     
                   
                    
                 
                 } 
               
               . 
             
           
         
       
     
         [0000]    Evaluating this absolute value for N=16 gives 
         [0000]    
       
         
           
             
               
                 
                   
                      
                     
                       F 
                        
                       
                         ( 
                         k 
                         ) 
                       
                     
                      
                   
                   = 
                   
                     
                        
                       
                         IFFT 
                          
                         
                           { 
                           
                             
                               f 
                               i 
                             
                             · 
                             
                                
                               
                                 j 
                                  
                                 
                                   π 
                                   16 
                                 
                                  
                                 n 
                               
                             
                           
                           } 
                         
                       
                        
                     
                      
                     
                       
 
                     
                      
                     
                         
                     
                     = 
                     
                       
                          
                         
                           
                             ∑ 
                             
                               n 
                               = 
                               0 
                             
                             15 
                           
                            
                           
                             
                               
                                 f 
                                 i 
                               
                                
                               
                                 ( 
                                 n 
                                 ) 
                               
                             
                              
                             
                                
                               
                                 j 
                                  
                                 
                                   π 
                                   16 
                                 
                                  
                                 n 
                               
                             
                              
                             
                                
                               
                                 j 
                                  
                                 
                                   
                                     2 
                                      
                                     π 
                                   
                                   16 
                                 
                                  
                                 nk 
                               
                             
                           
                         
                          
                       
                        
                       
                         
 
                       
                        
                       
                           
                       
                       = 
                       
                          
                         
                           
                             ∑ 
                             
                               n 
                               = 
                               0 
                             
                             15 
                           
                            
                           
                             
                               
                                 f 
                                 i 
                               
                                
                               
                                 ( 
                                 n 
                                 ) 
                               
                             
                              
                             
                                
                               
                                 j 
                                  
                                 
                                   π 
                                   16 
                                 
                                  
                                 
                                   n 
                                    
                                   
                                     ( 
                                     
                                       
                                         2 
                                          
                                         k 
                                       
                                       + 
                                       1 
                                     
                                     ) 
                                   
                                 
                               
                             
                           
                         
                          
                       
                     
                   
                 
               
               
                 
                   ( 
                   41 
                   ) 
                 
               
             
           
         
       
     
         [0102]    Which can be further expressed as 
         [0000]    
       
         
           
             
               
                 
                   
                      
                     
                       F 
                        
                       
                         ( 
                         k 
                         ) 
                       
                     
                      
                   
                   = 
                   
                     
                        
                       
                         
                           ∑ 
                           
                             n 
                             = 
                             0 
                           
                           15 
                         
                          
                         
                           
                             
                               f 
                               i 
                             
                              
                             
                               ( 
                               n 
                               ) 
                             
                           
                            
                           
                             [ 
                             
                               
                                 
                                   
                                     
                                       cos 
                                        
                                       
                                         ( 
                                         
                                           
                                             π 
                                             16 
                                           
                                            
                                           
                                             n 
                                              
                                             
                                               ( 
                                               
                                                 
                                                   2 
                                                    
                                                   k 
                                                 
                                                 + 
                                                 1 
                                               
                                               ) 
                                             
                                           
                                         
                                         ) 
                                       
                                     
                                     + 
                                   
                                 
                               
                               
                                 
                                   
                                     j 
                                      
                                     
                                         
                                     
                                      
                                     
                                       sin 
                                        
                                       
                                         ( 
                                         
                                           
                                             π 
                                             16 
                                           
                                            
                                           
                                             n 
                                              
                                             
                                               ( 
                                               
                                                 
                                                   2 
                                                    
                                                   k 
                                                 
                                                 + 
                                                 1 
                                               
                                               ) 
                                             
                                           
                                         
                                         ) 
                                       
                                     
                                   
                                 
                               
                             
                             ] 
                           
                         
                       
                        
                     
                     = 
                     
                       
 
                     
                      
                     
                         
                     
                      
                     
                       = 
                       
                         
                            
                           
                             
                               
                                 
                                   
                                     
                                       ∑ 
                                       
                                         n 
                                         = 
                                         0 
                                       
                                       15 
                                     
                                      
                                     
                                       
                                         f 
                                         i 
                                       
                                        
                                       
                                         ( 
                                         n 
                                         ) 
                                       
                                        
                                       cos 
                                        
                                       
                                         ( 
                                         
                                           
                                             π 
                                             16 
                                           
                                            
                                           
                                             n 
                                              
                                             
                                               ( 
                                               
                                                 
                                                   2 
                                                    
                                                   k 
                                                 
                                                 + 
                                                 1 
                                               
                                               ) 
                                             
                                           
                                         
                                         ) 
                                       
                                     
                                   
                                   + 
                                 
                               
                             
                             
                               
                                 
                                   j 
                                    
                                   
                                     
                                       ∑ 
                                       
                                         n 
                                         = 
                                         0 
                                       
                                       15 
                                     
                                      
                                     
                                       
                                         
                                           f 
                                           i 
                                         
                                          
                                         
                                           ( 
                                           n 
                                           ) 
                                         
                                       
                                        
                                       
                                           
                                       
                                        
                                       
                                         sin 
                                          
                                         
                                           ( 
                                           
                                             
                                               π 
                                               16 
                                             
                                              
                                             
                                               n 
                                                
                                               
                                                 ( 
                                                 
                                                   
                                                     2 
                                                      
                                                     k 
                                                   
                                                   + 
                                                   1 
                                                 
                                                 ) 
                                               
                                             
                                           
                                           ) 
                                         
                                       
                                     
                                   
                                 
                               
                             
                           
                            
                         
                         = 
                         
                           
 
                         
                          
                         
                             
                         
                          
                         
                           = 
                           
                             
                               
                                 
                                   
                                     
                                       
                                         
                                           ( 
                                           
                                             
                                               ∑ 
                                               
                                                 n 
                                                 = 
                                                 0 
                                               
                                               15 
                                             
                                              
                                             
                                               
                                                 
                                                   f 
                                                   i 
                                                 
                                                  
                                                 
                                                   ( 
                                                   n 
                                                   ) 
                                                 
                                               
                                                
                                               
                                                 cos 
                                                  
                                                 
                                                   ( 
                                                   
                                                     
                                                       π 
                                                       16 
                                                     
                                                      
                                                     
                                                       n 
                                                        
                                                       
                                                         ( 
                                                         
                                                           
                                                             2 
                                                              
                                                             k 
                                                           
                                                           + 
                                                           1 
                                                         
                                                         ) 
                                                       
                                                     
                                                   
                                                   ) 
                                                 
                                               
                                             
                                           
                                           ) 
                                         
                                         2 
                                       
                                       + 
                                     
                                   
                                 
                                 
                                   
                                     
                                       
                                         ( 
                                         
                                           
                                             ∑ 
                                             
                                               n 
                                               = 
                                               0 
                                             
                                             15 
                                           
                                            
                                           
                                             
                                               
                                                 f 
                                                 i 
                                               
                                                
                                               
                                                 ( 
                                                 n 
                                                 ) 
                                               
                                             
                                              
                                             
                                                 
                                             
                                              
                                             
                                               sin 
                                                
                                               
                                                 ( 
                                                 
                                                   
                                                     π 
                                                     16 
                                                   
                                                    
                                                   
                                                     n 
                                                      
                                                     
                                                       ( 
                                                       
                                                         
                                                           2 
                                                            
                                                           k 
                                                         
                                                         + 
                                                         1 
                                                       
                                                       ) 
                                                     
                                                   
                                                 
                                                 ) 
                                               
                                             
                                           
                                         
                                         ) 
                                       
                                       2 
                                     
                                   
                                 
                               
                             
                             . 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   42 
                   ) 
                 
               
             
           
         
       
     
         [0103]    The purpose is to find the global maximum of absolute values |F(k)| of (41) for all possible encoded sequences f i  and k=0, 1, . . . , 15. It is clear from (41) that absolute value of sum of complex numbers has to be examined that form a constellation on the unit circle.  FIG. 1  shows the constellation of the points 
         [0000]    
       
         
           
             
               E 
                
               
                 ( 
                 
                   n 
                   , 
                   k 
                 
                 ) 
               
             
             = 
             
                
               
                 j 
                  
                 
                   π 
                   16 
                 
                  
                 
                   n 
                    
                   
                     ( 
                     
                       
                         2 
                          
                         k 
                       
                       + 
                       1 
                     
                     ) 
                   
                 
               
             
           
         
       
     
         [0000]    for k=0, n=0, 1, . . . , 15. The quadrants of the complex plain by angles is defined 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       Q 
                       1 
                     
                     = 
                     
                       〈 
                       
                         0 
                         , 
                         
                           π 
                           2 
                         
                       
                       〉 
                     
                   
                   , 
                   
                       
                   
                    
                   
                     
                       Q 
                       2 
                     
                     = 
                     
                       ( 
                       
                         
                           π 
                           2 
                         
                         , 
                         π 
                       
                       ) 
                     
                   
                   , 
                   
                       
                   
                    
                   
                     
                       Q 
                       3 
                     
                     = 
                     
                       〈 
                       
                         π 
                         , 
                         
                           
                             3 
                              
                             π 
                           
                           2 
                         
                       
                       〉 
                     
                   
                   , 
                   
                       
                   
                    
                   
                     
                       Q 
                       4 
                     
                     = 
                     
                       ( 
                       
                         
                           
                             3 
                              
                             π 
                           
                           2 
                         
                         , 
                         
                           2 
                            
                           π 
                         
                       
                       ) 
                     
                   
                 
               
               
                 
                   ( 
                   43 
                   ) 
                 
               
             
           
         
       
     
         [0104]      FIG. 2  shows the constellation points for k=1 Consider now multiplying of these constellation points by BPSK modulated sequence f i (n) ε {−1, 1}. If the given point is multiplied by f i (n)=1, its position on the unit circle remains the same, whereas multiplying by f i (n)=−1 moves the point from Q 1  to Q 3  and vice versa or from Q 2  to Q 4  and vice versa. Anyway, the absolute value remains unchanged when multiplying by 1 or −1. Therefore, it is apparent that multiplication by +1 and −1 will map all constellation points to unit circle. 
         [0105]    The maximum of |F(k)| for k=0 is observed. It is easy to check that the maximum can be achieved when all constellation points are multiplied by all-ones sequence. However, due to encoding procedure this case cannot occur. Anyway, we can use this approach to find the maximum of |F(k)| for k≠0 which cannot exceed the maximum for k=0. In contrast to the case when k=0, the deployment of the constellation points for k≠0 multiplied by the encoded sequence f i  can reach the maximum of |F(k)| . In order to evaluate the maximum for k≠0 it is sufficient to show that under specific conditions, mapping of the constellation points for k≠0 becomes the same as in the worst case for k=0 (except for the order of the points on unit circle). This can be done by simple multiplication of each constellation point in the quadrants Q 3  and Q 4  by −1.  FIG. 3  illustrates the resulting constellation for k=1. One can check that the positions of the points on the unit circle are the same as for the case when k=0.  FIGS. 4 and 5  show the constellation points for k=31 before and after multiplication by −1, respectively. Transforming the constellation to the same case is possible. It is important to show that this concept guarantees a unique position of each constellation point in quadrants Q 1  and Q 2  after the multiplication. This means that Q 1  and Q 2  will contain all the points, i.e. 
         [0000]    
       
         
           
             
                
               
                 j 
                  
                 
                   π 
                   16 
                 
                  
                 n 
               
             
             , 
             
               n 
               = 
               0 
             
             , 
             1 
             , 
             … 
              
             
                 
             
             , 
             15. 
           
         
       
     
         [0106]    Proof is made by a contradiction. There is an assumption that for a given k a case when any two different points appear in Q 1  and Q 2  at the same position could happen, i.e. there exist two points, say n i  and n j ; n i ≠n j  and 0≦n i , n j ≦15, for which the following holds: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       π 
                       16 
                     
                      
                     
                       
                         n 
                         i 
                       
                        
                       
                         ( 
                         
                           
                             2 
                              
                             k 
                           
                           + 
                           1 
                         
                         ) 
                       
                     
                   
                   ≡ 
                   
                     
                       π 
                       16 
                     
                      
                     
                       
                         n 
                         j 
                       
                        
                       
                         ( 
                         
                           
                             2 
                              
                             k 
                           
                           + 
                           1 
                         
                         ) 
                       
                     
                      
                     
                       
                         ( 
                         
                           mod 
                            
                           
                               
                           
                            
                           π 
                         
                         ) 
                       
                       . 
                     
                   
                 
               
               
                 
                   ( 
                   44 
                   ) 
                 
               
             
           
         
       
     
         [0107]    By manipulating of (44), the result is 
         [0000]      n i (2k+1)≡n j (2k+1) (mod 16)   (45) 
         [0000]    which can be further expressed by 
         [0000]    
       
         
           
             
               
                 
                   
                     n 
                     i 
                   
                   ≡ 
                   
                     
                       n 
                       j 
                     
                      
                     
                       ( 
                       
                         mod 
                          
                         
                           16 
                           
                             gcd 
                              
                             
                               ( 
                               
                                 
                                   
                                     2 
                                      
                                     k 
                                   
                                   + 
                                   1 
                                 
                                 , 
                                 16 
                               
                               ) 
                             
                           
                         
                       
                       ) 
                     
                   
                 
               
               
                 
                   ( 
                   46 
                   ) 
                 
               
             
           
         
       
     
         [0108]    Because gcd(2k+1,16)=1, from (46) it follows that n i =n j , which is in contradiction with the assumption. Note that gcd(2k+1, N)=1 holds only if N can be expressed as integer powers of two, i.e. N=2 l ; l ε N. 
         [0109]    The fact that deployment of the constellation points for k≠ 0  can be transformed to the deployment of k=0, allows for evaluation of the maxima which correspond to the maximum of the deployment when k=0, i.e.: 
         [0000]    
       
         
           
             
               
                 
                   
                     max 
                      
                     
                       { 
                       
                          
                         
                           IFFT 
                            
                           
                             { 
                             
                               
                                 f 
                                 i 
                               
                                
                               
                                  
                                 
                                   j 
                                    
                                   
                                     π 
                                     16 
                                   
                                    
                                   n 
                                 
                               
                             
                             } 
                           
                         
                          
                       
                       } 
                     
                   
                   = 
                   
                     
                       max 
                        
                       
                         { 
                         
                            
                           
                             IFFT 
                              
                             
                               { 
                               
                                  
                                 
                                   j 
                                    
                                   
                                     π 
                                     16 
                                   
                                    
                                   n 
                                 
                               
                               } 
                             
                           
                            
                         
                         } 
                       
                     
                      
                     
                       = 
                       . 
                     
                      
                     0.63764 
                   
                 
               
               
                 
                   ( 
                   47 
                   ) 
                 
               
             
           
         
       
     
         [0110]    This gives the following PAPR: 
         [0000]    
       
         
           
             
               
                 
                   PAPR 
                   = 
                   
                     
                       10 
                        
                       
                         
                           log 
                           10 
                         
                          
                         
                           ( 
                           
                             
                               P 
                               peak 
                             
                             
                               P 
                               avg 
                             
                           
                           ) 
                         
                       
                     
                      
                     
                       
 
                     
                      
                     
                         
                     
                     = 
                     
                       
                         10 
                          
                         
                           
                             log 
                             10 
                           
                            
                           
                             ( 
                             
                               
                                 0.63764 
                                 2 
                               
                               0.03125 
                             
                             ) 
                           
                         
                       
                        
                       
                         
 
                       
                        
                       
                           
                       
                       = 
                       
                         
                           10 
                            
                           
                             
                               log 
                               10 
                             
                              
                             
                               ( 
                               13.01071 
                               ) 
                             
                           
                         
                          
                         
                           
 
                         
                          
                         
                             
                         
                          
                         
                           = 
                           . 
                         
                          
                         
                           11.14301 
                            
                           
                               
                           
                            
                           
                             dB 
                             . 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   48 
                   ) 
                 
               
             
           
         
       
     
         [0111]    Compared to the maximal PAPR, the proposed solution results in the gain of 
         [0000]      10 log 10 (32)−PAPR=15.05150−11.14301=3.90850 dB.   (49) 
         [0112]    Notice that (49) evaluates gain in PAPR reduction for odd bins. As it was shown above, PAPR reduction on even bins is different and therefore, the total gain has to be evaluated as a minimum of the gains corresponding to even and odd bins, respectively. In our case, it is min(4.08,3.91)=3.91 dB 
         [0113]    As a generalization for N=2 l , maximum of |F(k)| for odd bins is 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       max 
                        
                       
                         { 
                         
                            
                           
                             IFFT 
                              
                             
                               { 
                               
                                 
                                   f 
                                   i 
                                 
                                  
                                 
                                    
                                   
                                     j 
                                      
                                     
                                       π 
                                       N 
                                     
                                      
                                     n 
                                   
                                 
                               
                               } 
                             
                           
                            
                         
                         } 
                       
                     
                     ≤ 
                     
                       max 
                        
                       
                         { 
                         
                            
                           
                             IFFT 
                              
                             
                               { 
                               
                                  
                                 
                                   j 
                                    
                                   
                                     π 
                                     N 
                                   
                                    
                                   n 
                                 
                               
                               } 
                             
                           
                            
                         
                         } 
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   50 
                   ) 
                 
               
             
           
         
       
     
         [0000]    where n=0, 1, . . . , N−1. The sign “≦” in (50) is used to express that encoded sequence f i  cannot exceed the maximum determined by the all-ones sequence. 
         [0114]    It is mentioned that efficiency of the encoding procedure defined by (I), (II), (III) or (IV) due to increasing redundancy degrades with increasing number of sub-carriers (FFT size). Therefore, it is proposed for higher number of sub-carriers to use the so called block approach (block of 16 sub-carriers is used as a basis to form higher number of sub-carriers). Comparison between PAPR reduction gain for block of 16 and 32 sub-carriers shows that block approach slightly decreases the gain. Therefore, one can expect that for higher number of sub-carriers, e.g. 512 or 1024, the PAPR reduction gain would significantly degrade. Surprisingly, numerical experiments according to (47) have shown that this does not happen.  FIG. 9  shows that the block approach negligibly improves the gain with increasing number of sub-carriers. The most important result is that the assumption for decreasing gain derived from experiments with 32 sub-carriers is not valid. Hence, example of 32 sub-carriers can be considered as a worst case from PAPR reduction point of view. 
         [0115]    A novel concept of PAPR reduction designated for the OFDM system with BPSK modulation is proposed. The core of the concept relies on introducing the redundancy of N/4 bits after the encoding procedure. This redundancy lowers spectral efficiency (increases the bandwidth required). Since it is well-known that spectral efficiency of multi-carrier modulation schemes is higher than that of single-carrier ones, the decreased spectral efficiency of OFDM system due to inserted redundancy is still higher compared to a single carrier modulation (the same is considered in A. E. Jones, T. A. Wilkinson and S. K. Barton for the same amount of redundancy). In despite of the fact that BPSK modulation does not provide high data rates, there are applications that do not require very high data rates, however the most crucial point is to ensure low PAPR, e.g. uplink data transmissions. 
         [0116]    The proposal is suitable for the systems of this kind. Furthermore, it has to be stressed that the principle presented in the proposal is not strictly restricted to BPSK modulation, but is also applicable with QPSK (Quadrature Phase Shift Keying) and other coherent modulations. It is considered, e.g. QPSK modulation, as two mutually orthogonal BPSK modulations. Therefore, it is natural that PAPR reduction will be smaller than in case of one BPSK modulation. 
         [0117]    There are several advantages gained by the proposed scheme. It is to point out the most significant ones.
       Constant PAPR reduction. In the previous section it is proved that the amount of PAPR reduction does not change with the number of sub-carriers. This is a very important characteristic, which methods described previously definitely lack. Practical applications use large numbers of sub-carriers, typically 128 to 512, or even higher. The techniques for PAPR reduction, known in the art, have not proved or shown ability to guarantee required level of PAPR for high numbers of sub-carriers.   High PAPR reduction. It was also derived that the amount of PAPR reduction is 6.02 dB. In comparison to other methods, which on average gain about 3 dB (for a given number of sub-carriers), this is a very high PAPR reduction. In linear scale, this means that we are able to reduce dynamic range of the OFDM signal to a quarter.  FIG. 17  shows the power envelope of standard OFDM system with 16 sub-carriers for m=100 random frames. It can be seen that the envelope varies considerably, exhibiting several high peaks.  FIG. 18  shows the power envelope of the proposed system for the same parameters. It is apparent that the power envelope variation is much less and the peaks are eliminated. Theoretical bound on PAPR reduction has been validated against simulations, for number of sub-carriers N=32 and N=512. For FFT size N=32, all possible input sequences (2 24  sequences) were generated (redundant bits are inserted, which together with 24 information bits gives 32 coded bits for BPSK modulation). PAPR results are presented in the form of Complementary Cumulative Distribution Function (CCDF) in  FIG. 19 . For the common system, PAPR in the worst case is 15.05 dB. In the proposed system, a reduction of 6.02 dB is expected, resulting in PAPR of 9.03 dB. This is exactly what we can observe in  FIG. 19 . Since it is practically impossible to generate all possible input sequences for FFT size 512, we used statistical approach and generated 10 7  random sequences. The results are shown in  FIG. 20  in the form of CCDF again. For the common system, PAPR for the worst case is 27.09 dB. As can be seen from  FIG. 20 , theoretical PAPR reduction bound of 6.02 dB was not exceeded or achieved for 10 7  random sequences, which shows that our proposal is applicable also for large FFT sizes. Note that “stairs” on the CCDF only mean that there is a set of discrete values that PAPR may obtain.   Low complexity implementation.  FIG. 16  shows the principal scheme of the Complementary Parity Encoder. Three input data bits are, in a systematic way, appended by one redundant bit computed as their complementary parity. It is clear that complexity of the encoder is minimal since it has only of exclusive or (XOR) operation.  FIG. 21  shows the block diagram of the suggested transmitter for OFDM system using complementary parity code (for simplicity, we have omitted cyclic prefix insertion since it has no influence on envelope power spectrum of the resulted OFDM signal). After serial to parallel conversion, data bits are split into N/4 groups, each of three bits. The fourth bit is generated by the encoder assigned to each group. Encoded outputs are formed in the order which guarantees desired PAPR. Subsequently, BPSK modulation is applied followed by IFFT modulation and, in the end, parallel to serial conversion to produce OFDM baseband signal. In  FIG. 22 , a receiver with all reverted transmitter&#39;s operations is depicted.   Error correction. It was shown that the conditions derived to ensure PAPR reduction represent coding by complementary parity code. The output of each encoder introduces redundancy by inserting additional bit. This redundancy can be represented by the code rate which is defined as a ratio of number of information bits to number of all bits. As energy per coded bit decreases with decreased code rate, the performance of the system degrades proportionally. Such an effect can be recognized in many applications based on coding for PAPR reduction and is considered as a primary drawback. However, if we apply soft decoding in the proposal, it is possible to correct, at least to some extent, all the bits involved in the parity relation of (25). Since each symbol a i  is included in equations (19), each of the N bits in the OFDM frame could be corrected. This fact can be used to compensate for the redundancy and thus for improving performance of the system.  FIG. 23  compares performance of the following three systems. The first one (solid line) represents performance of the OFDM BPSK system without redundancy. The second one (dotted line) uses redundancy only for PAPR reduction, and, as expected, the performance is worse. The last one (dash-dotted line) depicts improved performance when redundancy is used also for error correcting. All these simulations were performed in AWGN channel and the performance was evaluated by uncoded BER. It can be seen that by using our proposal, it is possible not only to decrease PAPR but also to compensate for the decreased energy per coded bit and reach better performance than the reference system.   No restrictions for FFT size (number of sub-carriers). As it was mentioned in the previous chapter, there are methods which can combine PAPR reduction and error controlling. However, they are either too complex from the implementation point of view or not designed for higher number of sub-carriers or both. These methods often become too complex as the number of sub-carriers increases, making them impractical for real system applications. The complexity of our proposal grows linearly with the number of sub-carriers, as well. However, this means only increased demand for XOR operations which is not a limited factor from computational and implementation complexity point of view.       
 
         [0123]    As a conclusion, the presented proposal combines features like high PAPR reduction (6.02 dB) independently on number of sub-carriers, low complexity implementation and improved performance. 
         [0124]    A further novel concept of PAPR reduction designated for the OFDM system with BPSK modulation by SPM is proposed. From a certain point view, techniques for PAPR reduction can be divided into two main categories. 
         [0125]    The first one relies on coding and introduces redundancy which is used to decrease PAPR. Methods of this kind can exhibit high PAPR reduction, e.g. up to 6.02 dB, however, at the expense of degraded spectral efficiency caused by introduced redundancy. Therefore, it is intended to use them in the applications that do not require very high data rates but require low PAPR, e.g. uplink data transmissions. 
         [0126]    The second category includes methods, like Constellation Shaping (CS), that do not employ redundancy for PAPR reduction but the gain is smaller than e.g. that of the first proposal. 
         [0127]    The proposal can be considered as a balance between both these categories. It is based on a unique combination of coding and position modulation. These features enable to reach PAPR reduction gain that is not as high as in the first proposal, but still higher than the methods based on CS or other known methods guarantee. In fact it is based on coding with indirectly decreased redundancy. Hence, the gain in PAPR reduction is not as high as in the first solution but the code rate is increased to 7/8. 
         [0128]    There are several advantages gained by the proposed scheme. It is to point out the most significant ones.
       Block approach. It was proposed to use position modulation for reduction of the redundancy. For higher number of sub-carriers, efficiency of SPM degrades due to decreasing code rate. Therefore, it is proposed for higher number of sub-carriers to use so called block approach. Since the efficiency of SPM is the highest for 16 sub-carriers, this number was selected as a basis. Larger number of sub-carriers, which has to be integer powers of two, to guarantee PAPR gain of approx. 4 dB, has to be then constructed from this basis. Such an approach does not limit any practical applications, rather, on the contrary, exhibits a big variability. It can be used either in TDMA or FDMA manner. For example, if it is necessary to reach high bit rates, high frequency diversity or transmit information in a short burst, then TDMA scheme can be used. This means that all blocks (bases) can be assigned to a certain user in a certain time slot. On the other hand, block approach brings plenty of benefits also in case of FDMA concept. For instance, OFDM systems employing block approach, which is known as OFDMA, allow for frequency hopping. The hopping enables to compensate low frequency diversity in comparison to OFDM-TDMA scheme, and to average the interference, which in the end means higher capacity. Further, it allows for FDMA intercell allocation which is important for clustering and for requirements on time synchronization accuracy (time synchronization accuracy is a primary drawback of OFDM-TDMA, which limits the size of cluster). In addition, for low mobility with OFDMA concept there is minimum pilot overhead compared to TDMA scheme, etc.   Quasi-constant PAPR reduction. In the previous section we have proved that the amount of PAPR reduction for the basis, i.e. 16 sub-carriers is 4.08 dB. For higher number of sub-carriers the gain in PAPR reduction decreases from 4.08 dB to 3.91 dB which corresponds to the case when 32 sub-carriers are used. It was shown that 32 sub-carriers represent the worst case since for higher number of sub-carriers the PAPR reduction gain converges back to 4 dB. This is very important characteristic for practical applications which mainly employ large number of sub-carriers (FFT sizes), typically 128, 256, 512 or even higher. In those cases, PAPR reduction is almost 4 dB, which means discrepancy against the basis less than 0.09 dB. The gain of approx. 4 dB is guaranteed only if larger number of sub-carriers can be expressed as integer powers of two. This does not limit the use in practical applications since also fast algorithm for Fourier transform is defined for sizes expressed as integer powers of two. Because the gain of PAPR reduction for larger number of sub-carriers converges to 4 dB it is used the term quasi-constant rather than constant for PAPR reduction even if discrepancies between different amounts of sub-carriers are negligible.       
 
         [0131]    Validation of the theoretical bounds on PAPR reduction has been carried out by simulations. Validating PAPR reduction for three instances is needed. The first two represent BPSK OFDM system with N=16 and N=32 sub-carriers, for which all possible input sequences (2 14  and 2 28  sequences) were generated. (For example, if N=32, 8 redundant bits are inserted (4 in each basis), however, with the aid of SPM the redundancy is decreased to half (only 4 bits). This gives together with 28 information bits 32 coded bits for BPSK modulation.) The third instance corresponds to the system with N=512 sub-carriers. Since it is practically impossible to generate all possible input sequences for FFT size 512, statistical approach and generated 10 7  random sequences are used. PAPR results for all cases are presented in the form of Complementary Cumulative Distribution Function (CCDF).  FIG. 6  depicts the CCDF for N=16 sub-carriers. For this system, a PAPR reduction of 4.08 dB (from 12.04 to 7.96) is expected. This is what we observe in this figure.  FIG. 7  depicts CCDF for N=32 sub-carriers. For the common system, PAPR in the worst case is 15.05 dB. In the proposed system, according to the theoretical analysis, a reduction of 3.91 dB is expected. This gives PAPR of 11.14 dB for the worst case. As can be observed from  FIG. 7 , the same value was reached by the simulation. The results for N=512 are shown in  FIG. 8 . For the common system, PAPR for the worst case is 27.09 dB.  FIG. 8  shows that theoretical PAPR reduction bound of 3.92234 dB was not exceeded or achieved for 10 7  random sequences, which proves that our proposal is applicable also for large FFT sizes. Note that “stairs” on the CCDF only mean that there is a set of discrete values over which PAPR is defined. In  FIG. 9 , the gain in PAPR reduction is plot for different number of sub-carriers, N. It is seen that the gain grows slightly for higher numbers of sub-carriers. It is considered the powers of 2 from the range N=32 to N=2048. As can be observed, the smallest gain is achieved for 32 sub-carriers. Anyway, real systems use at least 64 sub-carriers, which promise a slightly higher gain. Remember that for N=16 sub-carriers, the gain is 4.08 dB. There is a conclusion at this point that the PAPR gain of the proposed scheme is quasi-constant with respect to the number of sub-carriers with the value of roughly 4 dB.
       Low complexity implementation.  FIG. 10  shows an exemplary scheme of the Complemented Parity Encoder. Three input data bits are, in a systematic way, appended by one redundant bit. This non-systematic redundant bit is computed as the sum-modulo 2 over the data bits, fixed-one bit and finally the sign modulating bit. It is clear that the complexity of the encoder is minimal since it has only of exclusive-or (XOR) operation.  FIG. 11  depicts the scheme of the Basis Encoder. 14 information bits are input to the basis and 16 bits run out of the basis. The numbering of the information bits in the scheme is chosen to match the output bits, rather than to follow some ascending order. There are four Complementary Parity Encoders (CPE) employed in the basis, each producing one redundant bit. The Selector (S) determines which of the sets of conditions (I), (II), (III) or (IV) will be applied, depending upon the last 2 information bits. Having chosen one set, Selector connects the logical 1 input to one of the four CPE by controlling the switch. This corresponds to the “+” sign in the given set of conditions, i.e. common parity code is applied. Notice that in 75 percent occasions, the sign modulating fixed-one bit remains unplugged to the given CPE, which corresponds to “−” sign in the conditions (complementary parity code is applied).       
 
         [0133]      FIG. 12  shows the block diagram of the suggested transmitter for BPSK OFDM system. After serial to parallel conversion, data are split into (N/16) groups, each of 14 bits. These bits are encoded by the above explained procedure and further modulated to the BPSK symbols. IFFT transform, subsequently followed by parallel to serial conversion, gives the time domain samples of the OFDM signal. In  FIG. 13 , proposed scheme of the Basis Decoder is depicted. It has four Complementary Parity Decoders (CPD). Output of each decoder is sent as a soft value, rather than absolute one, to the block called Sign Position Demodulator (SPD). It estimates which of CPDs exploits common parity encoding procedure. The estimation is carried out by simple division (which is equal to multiplication for BPSK symbols) of the redundant symbol and the information symbols. For instance, if the condition for the redundant symbol a 0  was a 0 =−a 1 a 8 a 9 , the division should ideally yield 
         [0000]    
       
         
           
             
               
                 a 
                 0 
               
               
                 
                   a 
                   1 
                 
                  
                 
                   a 
                   8 
                 
                  
                 
                   a 
                   9 
                 
               
             
             = 
             
               
                 
                   a 
                   0 
                 
                  
                 
                   a 
                   1 
                 
                  
                 
                   a 
                   8 
                 
                  
                 
                   a 
                   9 
                 
               
               = 
               
                 - 
                 1. 
               
             
           
         
       
     
         [0000]    Of course, the estimation will not be exactly −1 due to channel characteristics and imperfections. Ideally, three negative and one positive estimates should be provided to SPD. If this is not the case, for the position of sign “+” a soft approach is used, that is, the sign “+” position is selected by the value, which is the greatest one. After the decision has been made, SPD generates according to the detected position 2 further information bits. Then it controls the switch which in turn passes the control signal c to the corresponding CPD. The CPD which has received the control signal c uses the common parity decoding while the other CPDs work in default mode of the decoding, i.e. complementary parity decoding. As soon as the CPD knows the mode of decoding, it can also perform error correction. This is performed if the condition for the redundant symbol (we consider hard decision of the symbols in the relation) does not hold, and the correction is made based on the reliability of the symbols. 
         [0134]    In  FIG. 14 , the principal scheme of the receiver is depicted. As can be seen, its structure is not directly reversed to that of the transmitter. The reason is that decoding is performed over the BPSK symbols.
       Error correction. It was shown that the conditions derived to ensure PAPR reduction represent either common or complementary parity coding. The output of each encoder introduces redundancy by inserting parity bit. The amount of redundancy is expressed by the code rate which is defined as a ratio of the number of information bits to the number of all bits. As the energy per coded bit decreases with decreased code rate, the performance of the system degrades proportionally. Such an effect can be recognized in many applications based on coding for PAPR reduction and is considered as a primary drawback. However, applying soft decoding in our proposal, it is possible to correct, at least to some extent, all the bits involved in the parity relation. In addition, the core of the proposed solution lies in indirect reduction of introduced redundancy by SPM. As it was discussed in previous sections, SPM indirectly decreases redundancy by modulating the data on sign “+” position while preserving the volume of redundancy necessary for PAPR reduction and error correction. Now, it is to observe plausibility of this approach by uncoded BER in AWGN channel.  FIG. 15  compares the proposed solution (dashed line) with common OFDM BPSK system (solid line). It shows that performance of the system employing SPM is worse for low Eb/No values. This comes from unreliable procedure, the goal of which is to determine CPD using common parity decoding. Additionally, the performance is also degraded by the introduced redundancy (code rate=7/8). For low Eb/No unreliability of SPD is high resulting in wrong bit generating. Therefore, the performance of the proposed system is worse in comparison to the reference system. However, with rising Eb/No, reliability of SPD increases causing successive dropping in performance degradation. This can be observed in the range of Eb/No values from 0 to 4 dB. Beyond Eb/No=4 dB, performance of the proposed system significantly improves, since reliability of SPD is high enough and thus error correction can work properly. It can be seen that by using our proposal it is possible not only to decrease PAPR but, from a certain Eb/No value, also to compensate for the decreased energy per coded bit and reach better performance than the reference system.   No restrictions for FFT size (number of sub-carriers). Methods that combine PAPR reduction and error controlling usually suffer from high implementation and computational complexity or are not designed for higher number of sub-carriers at all in terms of PAPR reduction ability. The complexity of our proposal grows linearly with the number of sub-carriers. However, this means only increased demand for XOR operations which is not a limiting factor from computational and implementation complexity point of view. Our proposal guarantees PAPR reduction for FFT sizes which may be expressed as a power of 2. This is not a restriction as real applications use fast algorithm for Fourier transform (FFT) that is defined only for these sizes.       
 
         [0137]    As a conclusion, the presented proposal uses a unique SPM (Sign Position Modulation) for indirect redundancy reduction of an OFDM system employing coding for PAPR reduction. The proposed system guarantees quasi-constant PAPR reduction and is almost independent of number of sub-carriers, exhibits low complexity implementation and improved performance. 
         [0138]    The system also includes permanent or removable storage, such as magnetic and optical discs, RAM, ROM, etc. on which the process and data structures of the present invention can be stored and distributed. The processes can also be distributed via, for example, downloading over a network such as the Internet. The system can output the results to a display device, printer, readily accessible memory or another computer on a network. 
         [0139]    A description has been provided with particular reference to preferred embodiments thereof and examples, but it will be understood that variations and modifications can be effected within the spirit and scope of the claims which may include the phrase “at least one of A, B and C” as an alternative expression that means one or more of A, B and C may be used, contrary to the holding in  Superguide v. DIRECTV,  358 F3d 870, 69 USPQ2d 1865 (Fed. Cir. 2004).