Fermat's factorization method: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Quondum
That last edit was good, but let's keep the italics on the variables in the tables
en>Mild Bill Hiccup
m →‎The basic method: Cleaned up using AutoEd
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
:''This article deals with coherent space–time block codes (STBCs). For differential space–time block codes, see [[differential space–time code]]s.


'''Space–time block coding''' is a technique used in [[wireless|wireless communications]] to transmit multiple copies of a data stream across a number of [[antenna (radio)|antenna]]s and to exploit the various received versions of the data to improve the reliability of data-transfer. The fact that the transmitted signal must traverse a potentially difficult environment with [[scattering]], [[reflection (physics)|reflection]], [[refraction]] and so on and may then be further corrupted by [[thermal noise]] in the [[receiver (radio)|receiver]] means that some of the received copies of the data will be 'better' than others. This redundancy results in a higher chance of being able to use one or more of the received copies to correctly decode the received signal. In fact, [[space–time code|space–time coding]] combines ''all'' the copies of the received signal in an optimal way to extract as much information from each of them as possible.


==Introduction==
Hi, I am Nicholas Madruga. To [http://imageshack.us/photos/perform+domino perform domino] is one of the issues he loves most. After being out of my occupation for years I grew to become an office supervisor but soon my wife and I will start our personal company. Hawaii is the only place I've been residing in and my mothers and fathers reside close by. She is operating and sustaining a weblog right here: http://web.seoulmi.hs.kr/wiki/index.php/The_Secret_Life_Of_Nya_Online_Casinon<br><br>Look at my web blog [http://web.seoulmi.hs.kr/wiki/index.php/The_Secret_Life_Of_Nya_Online_Casinon nya online casinon]
 
Most work on wireless communications had focused on having an antenna array at only one end of the wireless link — usually at the receiver.<ref>E. Larsson and P. Stoica,''Space-Time Block Coding For Wireless Communications''. Cambridge University Press, UK, 2003 (Chinese Edition, 2006).</ref> Seminal papers by Gerard J. Foschini and Michael J. Gans,<ref>{{cite journal|author=Gerard J. Foschini and Michael. J. Gans|title=On limits of wireless communications in a fading environment when using multiple antennas|journal=Wireless Personal Communications|pages=311–335|volume=6|issue=3|date=January 1998|doi=10.1023/A:1008889222784}}</ref> Foschini<ref>{{cite journal|author=Gerard J. Foschini|title=Layered space-time architecture for wireless communications in a fading environment when using multi-element antennas|journal=Bell Labs Technical Journal |pages=41–59|volume=1|date=autumn 1996|doi=10.1002/bltj.2015|issue=2}}</ref>  and Emre Telatar<ref>{{cite journal|author=I. Emre Telatar|title=Capacity of multi-antenna gaussian channels|journal=European Transactions on Telecommunications,|date=November 1999|pages=585–595|volume=10|doi=10.1002/ett.4460100604|issue=6}}</ref> enlarged the scope of wireless communication possibilities by showing that for the highly scattering environment substantial capacity gains are enabled when antenna arrays are used at both ends of a link.
An alternative approach to utilizing multiple antennas relies on having multiple transmit antennas and only optionally multiple receive antennas. Proposed by [[Vahid Tarokh]], [[Nambi Seshadri]] and [[Robert Calderbank]], these space–time codes<ref name="sttc">{{cite journal|author=Vahid Tarokh, Nambi Seshadri, and A. R. Calderbank|title=Space–time codes for high data rate wireless communication: Performance analysis and code construction|journal=IEEE Transactions on Information Theory|pages=744–765|volume=44|issue=2|date=March 1998|doi=10.1109/18.661517}}</ref> (STCs) achieve significant [[bit error rate|error rate]] improvements over single-antenna systems. Their original scheme was based on [[convolutional code|trellis codes]] but the simpler [[block code]]s were utilised by [[Siavash Alamouti]],<ref name="alamouti">{{cite journal|author=S.M. Alamouti|title=A simple transmit diversity technique for wireless communications|journal=IEEE Journal on Selected Areas in Communications|pages=1451–1458|volume=16|issue=8|date=October 1998|doi=10.1109/49.730453}}</ref> and later [[Vahid Tarokh]], [[Hamid Jafarkhani]] and [[Robert Calderbank]]<ref name="stbc">{{cite journal|author=Vahid Tarokh, Hamid Jafarkhani, and A. R. Calderbank|title=Space–time block codes from orthogonal designs|journal=[[IEEE Transactions on Information Theory]]|pages=744–765|volume=45|issue=5|date=July 1999|url=http://www.mast.queensu.ca/~math800/W03/papers/TrkhJafarkCldb_IT99.pdf|format=PDF|doi=10.1109/18.771146}}</ref> to develop space–time block-codes (STBCs). STC involves the transmission of multiple redundant copies of data to compensate for [[fading]] and [[thermal noise]] in the hope that some of them may arrive at the receiver in a better state than others. In the case of STBC in particular, the data stream to be transmitted is encoded in [[block code|blocks]], which are distributed among spaced antennas and across time. While it is necessary to have multiple transmit antennas, it is not necessary to have multiple receive antennas, although to do so improves performance. This process of receiving diverse copies of the data is known as [[diversity reception]] and is what was largely studied until Foschini's 1998 paper.
 
An STBC is usually represented by a [[matrix (mathematics)|matrix]]. Each row represents a time slot and each column represents one antenna's transmissions over time.
 
: <math>
\text{time-slots}
\begin{matrix}
\text{transmit antennas}\\
\left \downarrow
\overrightarrow{
\begin{bmatrix}
s_{11} & s_{12} & \cdots & s_{1n_T} \\
s_{21} & s_{22} & \cdots & s_{2n_T} \\
\vdots & \vdots & & \vdots \\
s_{T1} & s_{T2} & \cdots & s_{Tn_T}
\end{bmatrix}
}\right.
\end{matrix}
</math>
 
Here, <math>s_{ij}</math> is the [[modulation|modulated]] symbol to be transmitted in time slot <math>i</math> from antenna <math>j</math>. There are to be <math>T</math> time slots and <math>n_T</math> transmit antennas as well as <math>n_R</math> receive antennas. This block is usually considered to be of 'length' <math>T</math>
 
The [[code rate]] of an STBC measures how many symbols per time slot it transmits on average over the course of one block.<ref name="stbc" /> If a block encodes <math>k</math> symbols, the code-rate is
 
: <math> r = \frac{k}{T}. </math>
 
Only one standard STBC can achieve full-rate (rate 1) — [[#Alamouti's code|Alamouti's code]].
 
===Orthogonality===
STBCs as originally introduced, and as usually studied, are [[orthogonal]]. This means that the STBC is designed such that the [[vector (geometric)|vector]]s representing any pair of columns taken from the coding matrix is orthogonal. The result of this is simple, [[linear]], [[optimization (mathematics)|optimal]] decoding at the receiver. Its most serious disadvantage is that all but one of the codes that satisfy this criterion must sacrifice some proportion of their data rate (see [[#Alamouti's code|Alamouti's code]]).
 
Moreover, there exist [[#Quasi-orthogonal STBCs|quasi-orthogonal STBCs]] that achieve higher data rates at the cost of inter-symbol interference (ISI). Thus, their error-rate performance is lower bounded by the one of orthogonal rate 1 STBCs, that provide ISI free transmissions due to orthogonality.
 
==Design of STBCs==
The design of STBCs is based on the so-called diversity criterion derived by Tarokh et al. in their earlier paper on [[space–time trellis code]]s.<ref name="sttc" /> Orthogonal STBCs can be shown to achieve the maximum diversity allowed by this criterion.
 
===Diversity criterion===
Call a codeword
 
:<math>\mathbf{c} = c_1^1c_1^2\cdots c_1^{n_T}c_2^1c_2^2\cdots c_2^{n_T}\cdots c_T^1c_T^2\cdots c_T^{n_T}</math>
 
and call an erroneously decoded received codeword
 
:<math>\mathbf{e} = e_1^1e_1^2\cdots e_1^{n_T}e_2^1e_2^2\cdots e_2^{n_T}\cdots e_T^1e_T^2\cdots e_T^{n_T}.</math>
 
Then the matrix
 
:<math>\mathbf{B}(\mathbf{c},\mathbf{e}) =
\begin{bmatrix}
e_1^1 - c_1^1 & e_2^1 - c_2^1 & \cdots & e_T^1 - c_T^1\\
e_1^2 - c_1^2 & e_2^2 - c_2^2 & \cdots & e_T^2 - c_T^2\\
\vdots & \vdots & \ddots & \vdots\\
e_1^{n_T} - c_1^{n_T} & e_2^{n_T} - c_2^{n_T} & \cdots & e_T^{n_T} - c_T^{n_T}
\end{bmatrix}
</math>
 
has to be full-[[rank (linear algebra)|rank]] for any pair of distinct codewords <math>\mathbf{c}</math> and <math>\mathbf{e}</math> to give the maximum possible diversity order of <math>n_Tn_R</math>. If instead, <math>\mathbf{B}(\mathbf{c},\mathbf{e})</math> has minimum rank <math>b</math>  over the set of pairs of distinct codewords, then the space–time code offers diversity order <math>bn_R</math>. An examination of the example STBCs shown [[#Encoding|below]] reveals that they all satisfy this criterion for maximum diversity.
 
STBCs offer only diversity gain (compared to single-antenna schemes) and not coding gain. There is no coding scheme included here — the redundancy purely provides diversity in space and time. This is contrast with [[space–time trellis code]]s which provide both diversity and coding gain since they spread a conventional trellis code over space and time.
 
==Encoding==
 
===Alamouti's code===
Alamouti invented the simplest of all the STBCs in 1998,<ref name="alamouti" /> although he did not coin the term "space–time block code" himself. It was designed for a two-transmit antenna system and has the coding matrix:
:<math>C_2 = \begin{bmatrix}
                c_1 & c_2\\
                -c_2^* & c_1^*
            \end{bmatrix},
</math>
where * denotes [[complex conjugate]].
 
It is readily apparent that this is a rate-1 code. It takes two time-slots to transmit two symbols. Using the optimal [[#Decoding|decoding]] scheme discussed below, the [[bit error rate|bit-error rate]] (BER) of this STBC is equivalent to <math>2n_R</math>-branch [[maximal ratio combining]] (MRC). This is a result of the perfect orthogonality between the symbols after receive processing &mdash; there are two copies of each symbol transmitted and <math>n_R</math> copies received.
 
This is a very special STBC. It is the '''only''' orthogonal STBC that achieves rate-1.<ref name="sttc" /> That is to say that it is the only STBC that can achieve its full diversity gain without needing to sacrifice its data rate. Strictly, this is only true for [[complex number|complex]] modulation symbols. Since almost all [[constellation diagram]]s rely on complex numbers however, this property usually gives Alamouti's code a significant advantage over the higher-order STBCs even though they achieve a better error-rate performance. See '[[#Rate limits|Rate limits]]' for more detail.
 
The significance of Alamouti's proposal in 1998 is that it was the first demonstration of a method of encoding which enables full diversity with ''linear'' processing at the receiver. Earlier proposals for [[transmit diversity]] required processing schemes which scaled ''exponentially'' with the number of transmit antennas. Furthermore, it was the first [[open-loop]] [[transmit diversity]] technique which had this capability. Subsequent generalizations of Alamouti's concept have led to a tremendous impact on the wireless communications industry.
 
===Higher order STBCs===
Tarokh et al. discovered a set of STBCs<ref name="stbc" /><ref name="perform">{{cite journal|author=Vahid Tarokh, Hamid Jafarkhani, and A. Robert Calderbank|title=Space–time block coding for wireless communications: performance results|journal=IEEE Journal on Selected Areas in Communications|pages=451–460|volume=17|issue=3|date=March 1999|url=http://www.mast.queensu.ca/~math800/W03/papers/TrkhJafarkCldb_JSAC99.pdf|doi=10.1109/49.753730|format=PDF}}</ref> that are particularly straightforward, and coined the scheme's name. They also proved that no code for more than 2 transmit antennas could achieve full-rate. Their codes have since been improved upon (both by the original authors and by many others). Nevertheless, they serve as clear examples of why the rate cannot reach 1, and what other problems must be solved to produce 'good' STBCs. They also demonstrated the simple, linear [[#Decoding|decoding]] scheme that goes with their codes under perfect [[channel state information]] assumption.
 
====3 transmit antennas====
Two straightforward codes for 3 transmit antennas are:
:<math>
C_{3,1/2}=
\begin{bmatrix}
c_1 & c_2 & c_3\\
-c_2 &c_1& -c_4\\
-c_3&c_4&c_1\\
-c_4&-c_3&c_2\\
c_1^* & c_2^*&c_3^*\\
-c_2^* &c_1^*& -c_4^*\\
-c_3^*&c_4^*&c_1^*\\
-c_4^*&-c_3^*&c_2^*
\end{bmatrix}
\quad\text{and}\quad
C_{3,3/4}=
\begin{bmatrix}
c_1&c_2&\frac{c_3}{\sqrt 2}\\
-c_2^*&c_1^*&\frac{c_3}{\sqrt 2}\\
\frac{c_3^*}{\sqrt 2}&\frac{c_3^*}{\sqrt 2}&\frac{\left(-c_1-c_1^*+c_2-c_2*\right)}{2}\\
\frac{c_3^*}{\sqrt 2}&-\frac{c_3^*}{\sqrt 2}&\frac{\left(c_2+c_2^*+c_1-c_1^*\right)}{2}.
\end{bmatrix}
</math>
 
These codes achieve rate-1/2 and rate-3/4 respectively. These two matrices give examples of why codes for more than two antennas must sacrifice rate &mdash; it is the only way to achieve orthogonality. One particular problem with <math>C_{3,3/4}</math> is that it has uneven power among the symbols it transmits. This means that the signal does not have a [[constant envelope|constant]] [[envelope detector|envelope]] and that the power each antenna must transmit has to vary, both of which are undesirable. Modified versions of this code that overcome this problem have since been designed.
 
====4 transmit antennas====
Two straightforward codes for 4 transmit antennas are:
:<math>
C_{4,1/2}=
\begin{bmatrix}
c_1 & c_2 & c_3&c_4\\
-c_2 &c_1&-c_4&c_3\\
-c_3&c_4&c_1&-c_2\\
-c_4&-c_3&c_2&c_1\\
c_1^* & c_2^*&c_3^*&c_4^*\\
-c_2^* &c_1^*&-c_4^*&c_3^*\\
-c_3^*&c_4^*&c_1^*&-c_2^*\\
-c_4^*&-c_3^*&c_2^*&c_1^*
\end{bmatrix}
\quad\text{and}\quad{}
C_{4,3/4}=
\begin{bmatrix}
c_1&c_2&\frac{c_3}{\sqrt 2}&\frac{c_3}{\sqrt 2}\\
-c_2^*&c_1^*&\frac{c_3}{\sqrt 2}&-\frac{c_3}{\sqrt 2}\\
\frac{c_3^*}{\sqrt 2}&\frac{c_3^*}{\sqrt 2}&\frac{\left(-c_1-c_1^*+c_2-c_2^*\right)}{2}&\frac{\left(-c_2-c_2^*+c_1-c_1^*\right)}{2}\\
\frac{c_3^*}{\sqrt 2}&-\frac{c_3^*}{\sqrt 2}&\frac{\left(c_2+c_2^*+c_1-c_1^*\right)}{2}&-\frac{\left(c_1+c_1^*+c_2-c_2^*\right)}{2}
\end{bmatrix}.
</math>
 
These codes achieve rate-1/2 and rate-3/4 respectively, as for their 3-antenna counterparts. <math>C_{4,3/4}</math> exhibits the same uneven power problems as <math>C_{3,3/4}</math>. An improved version of <math>C_{4,3/4}</math> is<ref>{{cite journal|author=G. Ganesan and P. Stoica|title=Space–time block codes: A maximum SNR approach|journal=IEEE Transactions on Information Theory|pages=1650–1656|volume=47|issue=4|date=May 2001|doi=10.1109/18.923754}}</ref>
:<math>
C_{4,3/4}=
\begin{bmatrix}
c_1&c_2&c_3&0\\
-c_2^*&c_1^*&0&c_3\\
-c_3^*&0&c_1^*&-c_2\\
0&-c_3^*&c_2^*&c_1
\end{bmatrix},
</math>
which has equal power from all antennas in all time-slots.
 
==Decoding==
One particularly attractive feature of orthogonal STBCs is that [[maximum likelihood]] decoding can be achieved at the receiver with only [[linear]] processing. In order to consider a decoding method, a model of the wireless communications system is needed.
 
At time <math>t</math>, the signal <math>r_t^j</math> received at antenna <math>j</math> is:
 
:<math>r_t^j = \sum_{i=1}^{n_T}\alpha_{ij}s_t^i + n_t^j,</math>
 
where <math>\alpha_{ij}</math> is the path gain from transmit antenna <math>i</math> to receive antenna <math>j</math>, <math>s_t^i</math> is the signal transmitted by transmit antenna <math>i</math> and <math>n_t^j</math> is a sample of [[additive white Gaussian noise|additive]] [[white noise|white]] [[Gaussian noise]] ([[AWGN]]).
 
The maximum-likelihood detection rule<ref name="perform" /> is to form the decision variables
:<math>R_i = \sum_{t=1}^{n_T}\sum_{j=1}^{n_R}r_t^j\alpha_{\epsilon_{t}(i)j}\delta_t(i)</math>
where <math>\delta_k(i)</math> is the sign of <math>s_i</math> in the <math>k</math><sup>th</sup> row of the coding matrix, <math>\epsilon_k(p)=q</math> denotes that <math>s_p</math> is (up to a sign difference), the <math>(k,q)</math> element of the coding matrix,
for <math>i=1,2,\ldots,n_T</math> and then decide on [[constellation diagram|constellation symbol]] <math>s_i</math> that satisfies
:<math>s_i = \arg{}\min_{s\in\mathcal{A}}\left(\left|R_i - s\right|^2 + \left(-1 + \sum_{k,l}^{}\left|\alpha_{kl}\right|^2\right)\left|s\right|^2\right),</math>
with <math>\mathcal{A}</math> the [[constellation diagram|constellation alphabet]]. Despite its appearance, this is a simple, linear decoding scheme that provides maximal diversity.
 
==Rate limits==
Apart from there being no full-rate, complex, orthogonal STBC for more than 2 antennas, it has been further shown that, for more than two antennas, the maximum possible rate is 3/4.<ref name="bounds">{{cite journal|author=Haiquan Wang and Xiang-Gen Xia|title=Upper bounds of rates of complex orthogonal space–time block codes|journal=IEEE Transactions on Information Theory|pages=2788–2796|volume=49|issue=10|date=October 2003|doi=10.1109/TIT.2003.817830}}</ref> Codes have been designed which achieve a good proportion of this, but they have very long block-length. This makes them unsuitable for practical use, because decoding cannot proceed until ''all'' transmissions in a block have been received, and so a longer block-length, <math>T</math>, results in a longer decoding delay. One particular example, for 16 transmit antennas, has rate-9/16 and a block length of 22 880 time-slots!<ref>{{cite journal|author=Weifeng Su, Xiang-Gen Xia, and K. J. Ray Liu|title=A systematic design of high-rate complex orthogonal space-time block codes|journal=IEEE Communications Letters|pages=380–382|volume=8|issue=6|date=June 2004|doi=10.1109/LCOMM.2004.827429}}</ref>
 
It has been proven<ref name="COD">{{cite journal|author=Xue-Bin Liang|title=Orthogonal Designs With Maximum Rates|journal=IEEE Transactions on Information Theory|pages=2468–2503|volume=49|issue=10|date=October 2003|doi=10.1109/TIT.2003.817426}}</ref> that the highest rate any <math>n_T</math>-antenna code can achieve is
 
: <math>r_\max = \frac{n_0 + 1}{2n_0},</math>
 
where <math>n_T = 2n_0</math> or <math>n_T = 2n_0 - 1</math>, if no linear processing is allowed in the code matrix (the above maximal rate proved in <ref name="COD"/> only applies to the original definition of orthogonal designs, i.e., any entry in the matrix is <math>0, c_i, -c_i, c_i^*,</math>, or <math>-c_i^*</math>, which forces that any variable <math>c_i</math> can not be repeated in any column of the matrix).  This rate limit is  conjectured to hold for any complex orthogonal space-time block codes even when any linear processing is allowed among the complex variables.<ref name="bounds" /> Closed-form recursive designs have been found.<ref>{{cite journal|author=Kejie Lu, Shengli Fu, and Xiang-Gen Xia|title=Closed-Form Designs of Complex Orthogonal Space-Time Block Codes of Rates (k+1)/(2k) for 2k-1 or 2k Transmit Antennas|journal=IEEE Transactions on Information Theory|pages=4340–4347|volume=51|issue=12|date=December 2005|doi=10.1109/TIT.2005.858943}}</ref>
 
==Quasi-orthogonal STBCs==
These codes exhibit partial orthogonality and provide only part of the diversity gain mentioned [[#Diversity criterion|above]]. An example reported by [[Hamid Jafarkhani]] is:<ref>{{cite journal|author=Hamid Jafarkhani|title=A quasi-orthogonal space&ndash;time block code|journal=IEEE Transactions on Communications|pages=1–4|volume=49|issue=1|date=January 2001|doi=10.1109/26.898239}}</ref>
:<math>C_{4,1} =
\begin{bmatrix}
c_1 & c_2 & c_3 & c_4\\
-c_2^* & c_1^* & -c_4^* & c_3^*\\
-c_3^* & -c_4^* & c_1^* & c_2^*\\
c_4 & -c_3 & -c_2 & c_1
\end{bmatrix}.
</math>
 
The orthogonality criterion only holds for columns (1 and 2), (1 and 3), (2 and 4) and (3 and 4). Crucially, however, the code is full-rate and still only requires linear processing at the receiver, although decoding is slightly more complex than for orthogonal STBCs. Results show that this Q-STBC outperforms (in a bit-error rate sense) the fully orthogonal 4-antenna STBC over a good range of [[signal-to-noise ratio]]s (SNRs). At high SNRs, though (above about 22dB in this particular case), the increased diversity offered by orthogonal STBCs yields a better BER. Beyond this point, the relative merits of the schemes have to be considered in terms of useful data throughput.
 
Q-STBCs have also been developed considerably from the basic example shown.
 
==See also==
*[[Multiple-input and multiple-output]] (MIMO)
*[[Space-time block coding based transmit diversity]] (STTD)
*[[Space–time code]]
*[[Space–time trellis code]]
*[[Differential space–time code]]
 
==References==
{{reflist|2}}
 
{{DEFAULTSORT:Space-time block code}}
[[Category:Wireless]]
[[Category:Iranian inventions]]

Latest revision as of 21:13, 18 December 2014


Hi, I am Nicholas Madruga. To perform domino is one of the issues he loves most. After being out of my occupation for years I grew to become an office supervisor but soon my wife and I will start our personal company. Hawaii is the only place I've been residing in and my mothers and fathers reside close by. She is operating and sustaining a weblog right here: http://web.seoulmi.hs.kr/wiki/index.php/The_Secret_Life_Of_Nya_Online_Casinon

Look at my web blog nya online casinon