Subdimensional single-carrier modulation

CROSS-REFERENCE TO RELATED APPLICATIONS

0001The present application claims priority on the basis of the provisional application Serial Number <patcit id="pcit0001" dnum="US60151680B"><text>60/151,680</text></patcit> entitled "Subdimensional Single-Carrier Modulation" filed on August 31, 1999.

BACKGROUND OF THE INVENTION

FIELD OF THE INVENTION

0002The present invention relates generally to a method and a system for processing a receive sequence.

DESCRIPTION OF RELATED ART

0003Narrowband interference and deep spectral notches in the transmission channel of single-carrier modulation (SCM) systems are common impairments in high-speed digital transmission over twisted-pair subscriber lines, home phone-line networks, upstream transmission in CATV cable systems, and wireless communication systems. For example, these impairments can occur in Very-High Speed Digital Subscriber Line (VDSL) systems, which are currently in a definition phase. In a VDSL system, signals will be transmitted over twisted-pair subscriber lines in the frequency band from a few 100 kHz up to 20 MHz. Cable attenuation and crosstalk from other pairs in the same cable binder are the main impairments. Deep spectral notches in the channel transfer function may be caused by bridged taps. In addition, spectral notches may be intentionally introduced at the transmitter to prevent radiation from the cable into certain RF bands (such as amateur radio bands). Narrowband RF interference must be suppressed by notching the corresponding bands at the receiver. The characteristics of the narrowband impairments are often <i>a priori</i> unknown at the receiver and may change over time.

0004Adaptive decision-feedback equalization (DFE) is conventionally used to deal with these impairments. Good performance is achieved if interference levels and the depth of spectral notches are moderate, or the width of impaired spectral regions is small compared to the Nyquist bandwidth. However, if the impairments are more severe, DFE requires long feedforward and feedback filters, and system performance, as measured by the mean-square error, is generally degraded. Moreover, the coefficients of the feedback filter tend to become large and unending error propagation can occur.

0005This error propagation problem can be avoided by performing the feedback filtering operation together with modulo signal reductions in the transmitter, instead of the receiver. This so-called "precoding" technique allows obtaining a substantially intersymbol interference (ISI) free signal at the output of the feedforward equalizer in the receiver. Precoding also enables the use of trellis-coded modulation (TCM) or similar signal-space coding techniques on ISI channels. However, the capabilities of DFE and precoding are limited. If the impaired spectral regions are too wide, a SCM system must avoid these regions. Moreover, precoding requires sending the feedback filter coefficients from the receiver to the transmitter.

0006Thus, there is a need for SCM systems which can deliver practically ISI-free signals in spite of narrowband interference and deep spectral notches in the transmission channel, and which do not have the problems associated with DFE and precoding.

0007<patcit id="pcit0002" dnum="EP0683576A"><text>EP 0 683 576</text></patcit> describes a digital broadcasting system comprising a transmission system and a receiving system; said transmission system transmits signals by the OFDM (Orthogonal Frequency Division Multiplexing), which is a modulation method using plural frequencies set orthogonally to each other with frequency intervals of 1/(NT), and in which at least one transmission symbol time comprises one guard interval and one effective symbol time following said guard interval, and transmits a pilot signal comprising two or more frequencies selected from said plural frequencies at fixed time intervals, and said receiving system receives signals from said transmission system, wherein said receiving system comprises at least a means to estimate the timing period offset, timing phase offset, frequency offset, phase offset, or some or all of them in itself by estimating the frequency and phase of the pilot signal using the output of said received pilot signal Fourier transformation; and a means to control the sampling timing and/or a means to control the frequency/phase correction to establish the timing and/or frequency synchronization using said estimated values.

0008According to the invention, there are provided a method and a system for processing a receive sequence as defined by independent claims 1 and 5, respectively.

0009Further advantageous features of the invention are defined by the dependent subclaims.

BRIEF DESCRIPTION OF THE DRAWINGS

0010These and other features, aspects and advantages of the present invention will be more fully understood when considered with respect to the following detailed description, appended claims and accompanying drawings, wherein: <ul id="ul0001" list-style="none"><li><figref idref="f0001">FIG. 1</figref> illustrates an exemplary complex-baseband model of a SD-SCM system.</li><li><figref idref="f0002">FIG. 2A</figref> illustrates examples of maximally suppressed bands for the case N=7, K=6.</li><li><figref idref="f0002">FIG. 2B</figref> illustrates examples of maximally suppressed bands for the case N=4, K=2, Ψ={0,1}.</li><li><figref idref="f0003">FIG. 3</figref> illustrates the operation of a time-varying equalizer of length 10 on the received signal sequence {x_n} for the example N=8, K=3, Ψ={0,1,3}.</li><li><figref idref="f0004">FIG. 4</figref> illustrates an embodiment of the time-varying equalizer 114 (<figref idref="f0001">FIG. 1</figref>).</li></ul>

DETAILED DESCRIPTION OF THE INVENTION

0011The present invention provides a method and a system for reliable communication in the presence of narrowband interference and deep spectral notches in the transmission channel. Unlike conventional methods, the method of the present invention does not have the problems associated with DFE and precoding (discussed in the Background section).

0012The method of the present invention is hereinafter referred to as "Subdimensional Single-Carrier Modulation" (SD-SCM) technique, and the corresponding system is hereinafter referred to as SD-SCM system.

0013Generally, subdimensional modulation means that signals are transmitted in a subspace of the signal space supported by a given channel. A channel with single-sided bandwidth of W hertz admits a signal space of 2W real signal dimensions per second. This maximum rate of dimensions per second can be achieved in many ways. Sending W = 1/T complex symbols per second by quadrature-modulated SCM (with ideal "brick wall" pulse shaping filter) is one such example. Restricting modulation to subspaces of the supported signal space can also be accomplished in many ways. The method of the present invention provides one way of restricting the modulation to a K-dimensional subspace of the supported N-dimensional signal space. The important aspect of the present invention is to send signals with spectral support over the full bandwidth of the channel and achieve spectral redundancy by modulation constraints. Spectral redundancy can then be exploited in the receiver to recover the transmitted symbols from the spectral regions that have good transmission characteristics.

0014In a SD-SCM system, the transmitter inserts null symbols periodically in the sequence of data symbols. In the simplest case, one null symbol is inserted after every N-1 data symbols. In the general case, in every period of N symbols, a specified pattern of K data symbols and N-K null symbols is transmitted. The receiver includes a time-varying linear feedforward equalizer with K sets of coefficients. Each of the K sets of coefficients is periodically used to equalize the K data symbols in every N-symbol period. It will be shown that ISI-free symbol transmission can be achieved if the combined bandwidth of severely notched or disturbed spectral regions does not exceed (N-K)/N × (1/T), where 1/T denotes the Nyquist bandwidth.

0015The SD-SCM technique does not preclude adding a decision feedback filter in the receiver, or performing precoding in the transmitter. However, DFE or precoding are not essentially required in a SD-SCM system.

0016The coefficients of the time-varying feedforward equalizer can be adjusted adaptively using the least-mean-squares (LMS) algorithm. The required coordination between the transmitter and the receiver of a SD-SCM system is minimal. Blind equalization is also possible.

0017<figref idref="f0001">FIG. 1</figref> illustrates an exemplary complex-baseband model of a SD-SCM system. The symbol response of the transmit filter and the impulse responses of the channel and the receive filter are denoted by h_T(t), g(t), and g_R(t), respectively. Generally, these functions are complex valued. The corresponding Fourier transforms are H_T(f), G(f), and G_R(f). Complex symbol transmission at modulation rate 1/T is assumed.

0018Referring to <figref idref="f0001">FIG.1</figref>, a modulator 102 accepts information bits at its inputs and maps them to data symbols. The modulator 102 also inserts null symbols in the sequence of the data symbols such that a specified pattern of K data symbols and N-K null symbols is formed in every period ofN symbols. N and K are positive integers and K is smaller than N. The positions of the K data symbols within every period ofN symbols are defined by an index set Ψ which is a subset of the set {0, 1, 2,..., N-1}: <maths id="math0001" num="(1)"><math display="block"><mi mathvariant="normal">Ψ</mi><mo mathvariant="normal">=</mo><mfenced open="{" close="}"><msub><mi mathvariant="normal">k</mi><mn mathvariant="normal">0</mn></msub><mo mathvariant="normal">,</mo><msub><mi mathvariant="normal">k</mi><mn mathvariant="normal">1</mn></msub><mo mathvariant="normal">,</mo><mo mathvariant="normal">…</mo><msub><mi mathvariant="normal">k</mi><mrow><mi mathvariant="normal">K</mi><mo mathvariant="normal">-</mo><mn mathvariant="normal">1</mn></mrow></msub><mo mathvariant="normal">;</mo><mspace width="1em" /><mn mathvariant="normal">0</mn><mo mathvariant="normal">≤</mo><msub><mi mathvariant="normal">k</mi><mi mathvariant="normal">i</mi></msub><mo mathvariant="normal">≤</mo><mi mathvariant="normal">N</mi><mo mathvariant="normal">-</mo><mn mathvariant="normal">1</mn><mo mathvariant="normal">,</mo><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mi mathvariant="normal">i</mi></msub><mo mathvariant="normal">≠</mo><msub><mi mathvariant="normal">k</mi><mi mathvariant="normal">j</mi></msub><mspace width="1em" /><mi>for i</mi><mo mathvariant="normal">≠</mo><mi mathvariant="normal">j</mi></mfenced></math><img file="EP1219085B1_D0001.tif" /></maths> It is assumed that Ψ is free of subperiods; otherwise, an N-symbol period can be shortened to contain only one subperiod with correspondingly smaller values ofN and K. Without loss of essential generality, one may require that k₀ = 0.

0019The symbol sequence {a_n = a_iN+k} at the output 103 of the modulator 102 is of the form <maths id="math0002"><math display="block"><msub><mi mathvariant="normal">a</mi><mrow><mi>iN</mi><mo mathvariant="normal">+</mo><mi mathvariant="normal">k</mi></mrow></msub><mo mathvariant="normal">=</mo><mfenced open="{" close="}"><mtable columnalign="left"><mtr><mtd><mi>data symbol</mi></mtd><mtd><mi>if k</mi><mo mathvariant="normal">∈</mo><mi mathvariant="normal">Ψ</mi></mtd></mtr><mtr><mtd><mn mathvariant="normal">0</mn></mtd><mtd><mi>if k</mi><mo mathvariant="normal">∉</mo><mi mathvariant="normal">Ψ</mi></mtd></mtr></mtable></mfenced><mo mathvariant="normal">,</mo><mspace width="1em" /><mi mathvariant="normal">i</mi><mo mathvariant="normal">∈</mo><mi mathvariant="normal">Z</mi><mo mathvariant="normal">,</mo><mspace width="1em" /><mn mathvariant="normal">0</mn><mo mathvariant="normal">≤</mo><mi mathvariant="normal">k</mi><mo mathvariant="normal">≤</mo><mi mathvariant="normal">N</mi><mo mathvariant="normal">-</mo><mn mathvariant="normal">1</mn><mo>,</mo></math><img file="EP1219085B1_D0002.tif" /></maths> where Z denotes the set of integers.

0020The symbol sequence {a_n} is converted to an analog transmit signal by an digital-to-analog converter 104 operating at a clock times nT and a pulse shaping transmit filter 106. The transmit filter may be a raised cosine filter. The communication channel 108 generally distorts the transmitted signal and adds noise to it. For example, in the case of metallic twisted-pair cables, increasing attenuation with frequency and reflections of unused branching sections of the communication line (bridged taps) cause signal distortion. At higher frequencies, bridged taps can lead to deep notches in the spectral of the received signal. Noise may be due to near-end (NEXT) and/or far-end crosstalk (FEXT) from other cables in the same cable binder, ingress of narrowband radio interference, or disturbances from electric motors and household appliances. In <figref idref="f0001">FIG. 1</figref>, N(f) denotes the power spectral density of additive noise.

0021The SD-SCM system may also include in the transmit filter a notch filter to produce notches in spectrum of the transmitted signal at predetermined frequency bands, the notches having an aggregate bandwidth of less than or equal to ((N-K)/N)×(1/T), where 1/T is the Nyquist bandwidth. For example, in VDSL systems such notching may be necessary to prevent egress radiation from a cable into amateur-radio bands.

0022At the input of the receive filter 110, a continuous time (analog) signal x(t) is received. A sampler 112, i.e., an analog-to-digital converter, samples x(t) at clock times nT + τ and produces a signal sequence {x_n}. In this case<u>,</u> the time spacing between the sampled signals is equal to T. In other embodiments of the invention the received signal may be sampled at higher rates.

0023A time-varying equalizer 114 having K sets of coefficients operates on the T-spaced sequence {x_n} and produces an output sequence {y_n}. For every N-symbol period in {x_n}, the equalizer 114 outputs K equalized signals. In the absence of noise, these K signals will practically be equal to the K data symbols in the original transmit signal, i.e., y_iN+k ≈ a_iN+k , k ∈ Ψ, provided the index set Ψ is chosen such that zero-ISI signals can be delivered in the presence of strongly impaired spectral regions of aggregate width of up to (N-K)/(NT) hertz. This can be achieved when the index set Ψ is a "proper set". The definition of a proper set is given in terms of the KxK matrix A_{<i>K</i>×<i>K</i>} (<i>L</i>, Ψ) defined in Equation (18). If A_{<i>K</i>×<i>K</i>}(<i>L</i>, ψ) is non-singular for all possible sets <i>L</i>, then Ψ is called a proper set.

0024One sufficient condition for a proper set Ψ is that N is a prime number. In this case, Ψ can be any K-ary subset of {0, 1, 2,..., N-1}.

0025Another sufficient condition for a proper set Ψ is that the index set Ψ is equal to {k_i = k₀ + iΔ mod N, i = 0,1, 2,..., K -1} , where 0 ≤ k ≤ S N -1 and Δ is an integer such that the greatest common divisor of Δ and N is 1. In this case, the index set Ψ is called "proper sequential". A special set of this type is obtained when K is equal to N-1. The single null symbol may be inserted anywhere in an N-symbol period.

0026Examples of proper sets Ψ with k₀ = 0 (=Ψ₀) are: <ul id="ul0002" list-style="none" compact="compact"><li>N ≥ 2, 1 ≤ K ≤ N-1 , Δ = 1 : Ψ₀ = {0,1,2,...,K-1}</li></ul>

0027N = 8, K = 6, Δ = 3 : Ψ₀ = {0,3,6,1,4,7} = {0,1,3,4,6,7} (elements reordered)

0028N = 11, K = 8: Ψ₀ = {0,2,3,4,5,7,8,9} (N prime).

0029It is noted that there exist also proper sets Ψ, which do not satisfy one of the above two sufficient conditions, for example: <ul id="ul0003" list-style="none" compact="compact"><li>N=8,K=3: Ψ = {0,1,3}</li><li>N=10,K=7: Ψ = {0,1,2,4,5,7,8}.</li></ul>

0030Mathematically, usage of a pattern of K data symbols out of N symbols can be interpreted as K-dimensional subspace modulation in an N-dimensional signal-vector space. The modulation subspace can be rotated by multiplying N-dimensional signal vectors by an arbitrary NxN unitary matrix.

0031Any pattern that can be expressed as a rotation of a given pattern is considered equivalent to the given pattern for the purpose of the method of the present invention.

0032When the index set Ψ is a proper set, the time-varying equalizer 114 can suppress strongly impaired spectral regions of aggregate width of up to (N-K)/(NT) hertz while delivering practically zero-ISI signals. This will be shown mathematically later.

0033The impaired spectral regions do not have to be in connected bands. As long as their aggregate bandwidth is less than or equal to (N-K)/(NT) hertz in the Nyquist band f ∈ [0,1/T), the time-varying equalizer 114 can produce practically ISI-free signals. Examples illustrating zero-ISI achievement with maximally suppressed bands are shown in <figref idref="f0002">FIG. 2A and FIG. 2B</figref>.

0034<figref idref="f0002">FIG. 2A</figref> illustrates examples of maximally suppressed bands for the case N=7, K=6. In this case, there are 6 data symbols and a single null symbol in every period of 7 symbols. The maximum aggregate width of strongly impaired spectral regions is (N-K)/(NT) = 1/7T hertz. In part (a) of <figref idref="f0002">FIG. 2A</figref>, the suppressed spectral region in is one subband of width 1/7T. In part (b) of <figref idref="f0002">FIG. 2A</figref>, the suppressed spectral regions are two non-contiguous regions of unequal widths, the aggregate width of which is equal to 1/7T. In part(c) of <figref idref="f0002">FIG. 2A</figref>, the suppressed spectral regions are three non-contiguous regions in the Nyquist band f ∈ [0,1/T), the aggregate width of which is equal to 1/7T.

0035<figref idref="f0002">FIG. 2B</figref> illustrates examples of maximally suppressed bands for the case N=4, K=₂, Ψ={0,1}. In this case, there are 2 data symbols and two null symbols in every period of 4 symbols. As indicated by Ψ, the data symbols are at positions 0 and 1 in every 4-symbol period. The maximum aggregate width of strongly impaired spectral regions is (N-K)/(NT) = 1/2T hertz. In part (a) of <figref idref="f0002">FIG. 2B</figref>, the suppressed spectral region in is one band of width 1/2T. In part (b) of <figref idref="f0002">FIG. 2B</figref>, the suppressed spectral regions are three non-contiguous regions of unequal widths in the Nyquist band f ∈ [0,1/T), the aggregate width of which is equal to 1/2T. In part(c) of <figref idref="f0002">FIG. 2B</figref>, the suppressed spectral regions are seven non-contiguous regions in the Nyquist band f ∈ [0,1/T), the aggregate width of which is equal to 1/2T.

0036The following describes the operation of the time-varying equalizer 114 (<figref idref="f0001">FIG. 1</figref>) on the T-spaced sequence {x_n} with K sets of coefficients. For clarity, the description will be for a specific example. The example is the case N=8, K=3, Ψ={0,1,3} (a proper set, as stated above). In one embodiment, the time-varying equalizer 114 (<figref idref="f0001">FIG. 1</figref>) is a finite impulse response filter of sufficient length M (generally greater than N). For example, M=10. The time-varying equalizer has M-1=9 delay elements. The time-varying equalizer operates on the T-spaced sequence {x_n} with K=3 sets of coefficients as follows. The symbols of the sequence {x_n} are shifted into the equalizer 114 one symbol at a time. Except for the current symbol, the symbols are stored in the delay elements of the equalizer. The input symbols are multiplied by the coefficients of the currently used set of coefficients. The results are combined to produce an output symbol. The equalizer has 3 sets of coefficients. Each of the 3 sets has 10 coefficients and is used periodically.

0037The equalizer uses the first set of coefficients, corresponding to k=0, i.e., the first element of Ψ, to operate on the following 10 input symbols and outputs symbol y_iN: <ul id="ul0004" list-style="none" compact="compact"><li>{x_(i-I)N-1 x_(i-1)N x_iN-7 x_iN-6 x_iN-5 x_iN-4 x_iN-3 x_iN-2 x_iN-1 x_iN }</li></ul>

0038The equalizer uses the second set of coefficients, corresponding to k=1, i.e., the second element of Ψ, to operate on the following 10 input symbols and outputs symbol y_iN+1: <ul id="ul0005" list-style="none" compact="compact"><li>{x_(i-1)N x_iN-7 x_iN-6 x_iN-5 x_iN-4 x_iN-3 x_iN-2 x_iN-1 x_iN x_iN+1}</li></ul>

0039The equalizer uses the third set of coefficients, corresponding to k=3, i.e., the third element of Ψ, to operate on the following 10 input symbols and outputs symbol y_iN+3: <ul id="ul0006" list-style="none" compact="compact"><li>{x_iN-6 x_iN-5 x_iN-4 x_iN-3 x_iN-2 x_iN-1 x_iN x_iN+1 x_iN+2 x_iN+3}</li></ul>

0040<figref idref="f0003">FIG. 3</figref> illustrates the operation of the time-varying equalizer on the input symbol sequence {x_n}. After the first set of coefficients is used to operate on the 10 input symbols with x_iN being the most current input symbol, a new input symbol x_iN+1 is shifted into the equalizer. The second set of coefficients is then used to operate on the group of 10 input symbols with x_iN+1 being the most current input symbol. Then, x_iN+2 is shifted in, but the equalizer does not operate on this group of 10 symbols. Then, x_iN+3 is shifted in, and the third set of coefficients is used to operate on the group of 10 symbols with x_iN+3 being the most current input symbol. The elements in the index set Ψ={0,1,3} determine at what positions in every N-symbol period of the input sequence the K sets of coefficients are used. In the above example, they are used at positions 0, 1, 3. After the third set of coefficients is used, the first set of coefficients is used again when x_(i+1)N is shifted in as the most current input symbol. And the cycle continues.

0041<figref idref="f0004">FIG. 4</figref> illustrates an embodiment of the time-varying equalizer 114 (<figref idref="f0001">FIG. 1</figref>). The K sets of M coefficients {c₀, c₁,..., c_M-1} are stored in M circular buffers 402, one circular buffer for each of the M coefficient positions of the equalizer. During every N-symbol period, the K coefficient values in every circular buffer are cyclically applied to generate K equalizer output signals. Additional control may be necessary to ensure that the sequence of obtained K equalized signals corresponds to the sequence of data symbols defined by Ψ without duplication or omission of symbols.

0042This is just one exemplary implementation of the time-varying equalizer. Other architectures are possible.

0043The following discussion will show that when the index set Ψ is a proper set, the time-varying equalizer 114 can suppress strongly impaired spectral regions of aggregate width of up to (N-K)/(NT) hertz while delivering practically zero-ISI signals.

0044The continuous-time signal at the receive-filter output is x(t) = Σ_n a_nh(t-nT)+v(t). Sampling at times nT + τ yields <maths id="math0003" num="(2)"><math display="block"><msub><mi mathvariant="normal">x</mi><mi mathvariant="normal">n</mi></msub><mo>=</mo><mi mathvariant="normal">x</mi><mo>⁢</mo><mfenced><mi>nT</mi><mo>+</mo><mi mathvariant="normal">τ</mi></mfenced><mo>=</mo><mstyle displaystyle="false"><mstyle displaystyle="true"><munder><mo>∑</mo><mi mathvariant="normal">n</mi></munder></mstyle><msub><mi mathvariant="normal">h</mi><mo>ℓ</mo></msub><mo>⁢</mo><msub><mi mathvariant="normal">a</mi><mrow><mi mathvariant="normal">n</mi><mo>-</mo><mo>ℓ</mo></mrow></msub><mo>+</mo><msub><mi mathvariant="normal">v</mi><mi mathvariant="normal">n</mi></msub></mstyle><mo>,</mo></math><img file="EP1219085B1_D0003.tif" /></maths> where <maths id="math0004" num="(3)"><math display="block"><msub><mi mathvariant="normal">h</mi><mo>ℓ</mo></msub><mo>=</mo><mi mathvariant="normal">h</mi><mo>⁢</mo><mfenced><mo>ℓ</mo><mi mathvariant="normal">T</mi><mo>+</mo><mi mathvariant="normal">τ</mi></mfenced><mo>=</mo><mo>∫</mo><mi mathvariant="normal">H</mi><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>⁢</mo><mfenced><mo>ℓ</mo><mi mathvariant="normal">T</mi><mo>+</mo><mi mathvariant="normal">τ</mi></mfenced></mrow></msup><mo>⁢</mo><mi>df</mi><mo>;</mo><mspace width="1em" /><mi mathvariant="normal">H</mi><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>=</mo><msub><mi mathvariant="normal">H</mi><mi mathvariant="normal">T</mi></msub><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><mi mathvariant="normal">G</mi><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msub><mi mathvariant="normal">G</mi><mi mathvariant="normal">R</mi></msub><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>,</mo></math><img file="EP1219085B1_D0004.tif" /></maths><maths id="math0005" num="(4)"><math display="block"><mi mathvariant="normal">E</mi><mfenced open="{" close="}"><msub><mover><mi mathvariant="normal">v</mi><mo>‾</mo></mover><mi mathvariant="normal">n</mi></msub><mspace width="1em" /><msub><mi mathvariant="normal">v</mi><mrow><mi mathvariant="normal">n</mi><mo>+</mo><mo>ℓ</mo></mrow></msub></mfenced><mo>=</mo><mo>∫</mo><mi mathvariant="normal">V</mi><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>ℓ</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>⁢</mo><mi>df</mi><mo>;</mo><mspace width="1em" /><mi mathvariant="normal">V</mi><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>=</mo><mi mathvariant="normal">N</mi><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msup><mfenced open="|" close="|"><msub><mi mathvariant="normal">G</mi><mi mathvariant="normal">R</mi></msub><mfenced><mi mathvariant="normal">f</mi></mfenced></mfenced><mn>2</mn></msup><mn>.</mn></math><img file="EP1219085B1_D0005.tif" /></maths>

0045Hereinafter, 1/T-periodic spectral functions are denoted with a tilde and considered in the Nyquist band f ∈ [0,1/T), rather than [-1/2T,+1/2T). The 1/T-periodic spectral symbol response H̃(f) and the power spectral density of the noise Ṽ(f) are: <maths id="math0006" num="(5)"><math display="block"><mover><mi mathvariant="normal">H</mi><mo mathvariant="normal">˜</mo></mover><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>=</mo><mstyle displaystyle="false"><mstyle displaystyle="true"><munder><mo>∑</mo><mo>ℓ</mo></munder></mstyle></mstyle><msub><mi mathvariant="normal">h</mi><mo>ℓ</mo></msub><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mo>-</mo><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>ℓ</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>=</mo><mfrac><mn>1</mn><mi mathvariant="normal">T</mi></mfrac><mstyle displaystyle="true"><munder><mo>∑</mo><mi mathvariant="normal">i</mi></munder></mstyle><mi mathvariant="normal">H</mi><mo>⁢</mo><mfenced><mi mathvariant="normal">f</mi><mo>+</mo><mi mathvariant="normal">i</mi><mo mathvariant="normal">/</mo><mi mathvariant="normal">T</mi></mfenced><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">π</mi><mo>⁢</mo><mfenced><mi mathvariant="normal">f</mi><mo>+</mo><mi mathvariant="normal">i</mi><mo mathvariant="normal">/</mo><mi mathvariant="normal">T</mi></mfenced><mo>⁢</mo><mi mathvariant="normal">τ</mi></mrow></msup><mo>,</mo><mi mathvariant="normal">f</mi><mo mathvariant="normal">∈</mo><mrow><mo>[</mo><mrow><mn>0</mn><mo>,</mo><mn>1</mn><mo>/</mo><mi mathvariant="normal">T</mi><mo>)</mo></mrow></mrow><mo>,</mo></math><img file="EP1219085B1_D0006.tif" /></maths><maths id="math0007" num="(6)"><math display="block"><mover><mi mathvariant="normal">V</mi><mo mathvariant="normal">˜</mo></mover><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>=</mo><mstyle displaystyle="false"><mstyle displaystyle="true"><munder><mo>∑</mo><mo>ℓ</mo></munder></mstyle></mstyle><mi mathvariant="normal">E</mi><mfenced open="{" close="}"><msub><mover><mi mathvariant="normal">v</mi><mo mathvariant="normal">‾</mo></mover><mi mathvariant="normal">n</mi></msub><mspace width="1em" /><msub><mi mathvariant="normal">v</mi><mrow><mi mathvariant="normal">n</mi><mo>+</mo><mo>ℓ</mo></mrow></msub></mfenced><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mo>-</mo><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>ℓ</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>=</mo><mfrac><mn>1</mn><mi mathvariant="normal">T</mi></mfrac><mstyle displaystyle="true"><munder><mo>∑</mo><mi mathvariant="normal">i</mi></munder></mstyle><mi mathvariant="normal">V</mi><mo>⁢</mo><mfenced><mi mathvariant="normal">f</mi><mo>+</mo><mi mathvariant="normal">i</mi><mo mathvariant="normal">/</mo><mi mathvariant="normal">T</mi></mfenced><mo>,</mo><mspace width="1em" /><mi mathvariant="normal">f</mi><mo mathvariant="normal">∈</mo><mrow><mo>[</mo><mrow><mn>0</mn><mo>,</mo><mn>1</mn><mo>/</mo><mi mathvariant="normal">T</mi><mo>)</mo></mrow></mrow><mn>.</mn></math><img file="EP1219085B1_D0007.tif" /></maths>

0046The equalizer is a time-varying FIR filter operating on the T-spaced sequence {x_n} with K sets of coefficients <maths id="math0008"><math display="inline"><mfenced open="{" close="}"><msubsup><mi mathvariant="normal">d</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup></mfenced><mo>,</mo></math><img file="EP1219085B1_D0008.tif" /></maths> k ∈ Ψ. The K symbol responses at the K equalizer outputs are: <maths id="math0009" num="(7)"><math display="block"><mo>∀</mo><mspace width="1em" /><mi>k</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>:</mo><mspace width="1em" /><msubsup><mi mathvariant="normal">s</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mo>=</mo><mstyle displaystyle="false"><mstyle displaystyle="true"><munder><mo>∑</mo><mrow><mo>ℓ</mo><mo>′</mo></mrow></munder></mstyle><msubsup><mi mathvariant="normal">d</mi><mrow><mo>ℓ</mo><mi>ʹ</mi></mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup></mstyle><msub><mi mathvariant="normal">h</mi><mrow><mo>ℓ</mo><mo>-</mo><mo>ℓ</mo><mi>ʹ</mi></mrow></msub><mo>=</mo><munderover><mo>∫</mo><mn>0</mn><mrow><mn>1</mn><mo>/</mo><mi mathvariant="normal">T</mi></mrow></munderover><mover><mi mathvariant="normal">H</mi><mo>˜</mo></mover><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msup><mover><mi mathvariant="normal">D</mi><mo>˜</mo></mover><mfenced><mi mathvariant="normal">k</mi></mfenced></msup><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>ℓ</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>⁢</mo><mi>df</mi><mo>=</mo><munderover><mo>∫</mo><mn>0</mn><mrow><mn>1</mn><mo>/</mo><mi mathvariant="normal">T</mi></mrow></munderover><msup><mover><mi mathvariant="normal">S</mi><mo>˜</mo></mover><mfenced><mi mathvariant="normal">k</mi></mfenced></msup><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>ℓ</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>⁢</mo><mi>df</mi><mo>,</mo></math><img file="EP1219085B1_D0009.tif" /></maths> where <maths id="math0010" num="(8)"><math display="block"><mo mathvariant="normal">∀</mo><mspace width="1em" /><mi>k</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>:</mo><mspace width="1em" /><msup><mover><mi mathvariant="normal">D</mi><mo>˜</mo></mover><mfenced><mi mathvariant="normal">k</mi></mfenced></msup><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>=</mo><mstyle displaystyle="false"><mstyle displaystyle="true"><munder><mo>∑</mo><mo>ℓ</mo></munder></mstyle></mstyle><msubsup><mi mathvariant="normal">d</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mo>-</mo><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>ℓ</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>,</mo><mspace width="2em" /><mi>f</mi><mo>∈</mo><mrow><mo>[</mo></mrow><mn>0</mn><mo>,</mo><mn>1</mn><mo>/</mo><mi mathvariant="normal">T</mi><mrow><mo>)</mo></mrow><mo>,</mo></math><img file="EP1219085B1_D0010.tif" /></maths><maths id="math0011" num="(9)"><math display="block"><mrow><mo mathvariant="normal">∀</mo><mspace width="1em" /><mi>k</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>:</mo><mspace width="1em" /><msup><mrow><mover><mrow><mi mathvariant="normal">S</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msup><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>=</mo><mstyle displaystyle="false"><mrow><mstyle displaystyle="true"><mrow><munder><mrow><mo>∑</mo></mrow><mrow><mo>ℓ</mo></mrow></munder></mrow></mstyle></mrow></mstyle><msubsup><mrow><mi mathvariant="normal">s</mi></mrow><mrow><mo>ℓ</mo></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msubsup><mo>⁢</mo><msup><mrow><mi mathvariant="normal">e</mi></mrow><mrow><mo>-</mo><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>ℓ</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>=</mo><mover><mrow><mi mathvariant="normal">H</mi></mrow><mrow><mo>˜</mo></mrow></mover><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msup><mrow><mover><mrow><mi mathvariant="normal">D</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msup><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>,</mo><mspace width="2em" /><mi>f</mi><mo>∈</mo><mrow><mo>[</mo></mrow><mn>0</mn><mo>,</mo><mn>1</mn><mo>/</mo><mi mathvariant="normal">T</mi><mrow><mo>)</mo></mrow><mn>.</mn></mrow></math><img file="EP1219085B1_D0011.tif" /></maths>

0047In the absence of noise, the K outputs of the equalizer in the i-<i>th</i> N-symbol period are given by <maths id="math0012" num="(10)"><math display="block"><mrow><mo mathvariant="normal">∀</mo><mspace width="1em" /><mi>k</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>:</mo><mspace width="1em" /><msub><mrow><mi mathvariant="normal">y</mi></mrow><mrow><mi mathvariant="normal">iN</mi><mo mathvariant="normal">+</mo><mi mathvariant="normal">k</mi></mrow></msub><mo>=</mo><mstyle displaystyle="false"><mrow><mstyle displaystyle="true"><mrow><munder><mrow><mo>∑</mo></mrow><mrow><mo>ℓ</mo></mrow></munder></mrow></mstyle></mrow></mstyle><msubsup><mrow><mi mathvariant="normal">d</mi></mrow><mrow><mo>ℓ</mo></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msubsup><mo>⁢</mo><msub><mrow><mi mathvariant="normal">x</mi></mrow><mrow><mi mathvariant="normal">iN</mi><mo mathvariant="normal">+</mo><mi mathvariant="normal">k</mi><mo>-</mo><mo>ℓ</mo></mrow></msub><mo>=</mo><mstyle displaystyle="false"><mrow><mstyle displaystyle="true"><mrow><munder><mrow><mo>∑</mo></mrow><mrow><mi mathvariant="normal">k</mi><mo>-</mo><mo>ℓ</mo><mspace width="1em" /><mi>mod N</mi><mo>∈</mo><mi mathvariant="normal">K</mi></mrow></munder></mrow></mstyle></mrow></mstyle><msubsup><mrow><mi mathvariant="normal">s</mi></mrow><mrow><mo>ℓ</mo></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msubsup><mo>⁢</mo><msub><mrow><mi mathvariant="normal">a</mi></mrow><mrow><mi mathvariant="normal">iN</mi><mo mathvariant="normal">+</mo><mi mathvariant="normal">k</mi><mo>-</mo><mo>ℓ</mo></mrow></msub><mn>.</mn></mrow></math><img file="EP1219085B1_D0012.tif" /></maths> The second summation in (10) accounts for data symbols only, i.e., null symbols are excluded.

0048The following discussion addresses the conditions for zero intersymbol interference (ISI) at the equalizer output. In a subdimensional SCM system with a rate of K/N, ISI-free transmission can be accomplished within a minimal one-sided bandwidth of K/NT Hz. Available choices for spectral suppression in the Nyquist bandwidth 1/T Hz will be examined. Absence of noise is assumed.

0049Zero ISI requires y_iN+k = a_iN+k , k ∈ Ψ. From Equation (10), the time-domain conditions for zero-ISI are: <maths id="math0013" num="(11)"><math display="block"><mrow><mo>∀</mo><mspace width="1em" /><mi>k</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>:</mo><mspace width="1em" /><msubsup><mrow><mi mathvariant="normal">s</mi></mrow><mrow><mo>ℓ</mo></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msubsup><mo>=</mo><mrow><mo>{</mo><mtable columnalign="left"><mtr><mtd><msub><mrow><mi>δ</mi></mrow><mrow><mo>ℓ</mo></mrow></msub></mtd><mtd><mi>if</mi><mspace width="1em" /><mfenced><mi mathvariant="normal">k</mi><mo>-</mo><mo>ℓ</mo><mrow><mspace width="1em" /><mi>mod N</mi></mrow></mfenced><mo>∈</mo><mi mathvariant="normal">Ψ</mi></mtd></mtr><mtr><mtd><msubsup><mrow><mi mathvariant="normal">u</mi></mrow><mrow><mo>ℓ</mo></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msubsup></mtd><mtd><mi>if</mi><mspace width="1em" /><mfenced><mi mathvariant="normal">k</mi><mo>-</mo><mo>ℓ</mo><mrow><mspace width="1em" /><mi>mod N</mi></mrow></mfenced><mo>∉</mo><mi mathvariant="normal">Ψ</mi></mtd></mtr></mtable></mrow><mn>.</mn></mrow></math><img file="EP1219085B1_D0013.tif" /></maths> In Equation (11), δ_ℓ is the Kronecker indicator function, defined as being equal to zero for all ℓ ≠ 0 and equal to 1 for ℓ = 0 . The values of <maths id="math0014"><math display="inline"><mtable><mtr><mtd><msubsup><mi mathvariant="normal">u</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup></mtd></mtr></mtable></math><img file="EP1219085B1_D0014.tif" /></maths> can be arbitrary.

0050The following shows the values of the symbol responses <maths id="math0015"><math display="inline"><mtable><mtr><mtd><msubsup><mi mathvariant="normal">s</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup></mtd></mtr></mtable></math><img file="EP1219085B1_D0015.tif" /></maths> for the example where N = 4, K = 3, Ψ = {0,1,2}. <maths id="math0016"><math display="block"><mtable><mtr><mtd columnalign="right"><mo>ℓ</mo><mo>:</mo></mtd><mtd><mo>…</mo></mtd><mtd><mo>-</mo><mn>7</mn></mtd><mtd><mo>-</mo><mn>6</mn></mtd><mtd><mo>-</mo><mn>5</mn></mtd><mtd><mo>-</mo><mn>4</mn></mtd><mtd><mo>-</mo><mn>3</mn></mtd><mtd><mo>-</mo><mn>2</mn></mtd><mtd><mo>-</mo><mn>1</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>1</mn></mtd><mtd><mn>2</mn></mtd><mtd><mn>3</mn></mtd><mtd><mn>4</mn></mtd><mtd><mn>5</mn></mtd><mtd><mn>6</mn></mtd><mtd><mn>7</mn></mtd><mtd><mn>8</mn></mtd><mtd><mn>9</mn></mtd><mtd><mo>…</mo></mtd></mtr><mtr><mtd columnalign="right"><msubsup><mi mathvariant="normal">s</mi><mo>ℓ</mo><mfenced><mn>0</mn></mfenced></msubsup><mo>:</mo></mtd><mtd><mo>…</mo></mtd><mtd><mi mathvariant="normal">u</mi></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><msubsup><mi mathvariant="normal">u</mi><mrow><mo>-</mo><mn>3</mn></mrow><mfenced><mn>0</mn></mfenced></msubsup></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>1</mn></mtd><mtd><msubsup><mi mathvariant="normal">u</mi><mn>1</mn><mfenced><mn>0</mn></mfenced></msubsup></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mi mathvariant="normal">u</mi></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mi mathvariant="normal">u</mi></mtd><mtd><mo>…</mo></mtd></mtr><mtr><mtd columnalign="right"><msubsup><mi mathvariant="normal">s</mi><mo>ℓ</mo><mfenced><mn>1</mn></mfenced></msubsup><mo>:</mo></mtd><mtd><mo>…</mo></mtd><mtd><mn>0</mn></mtd><mtd><mi mathvariant="normal">u</mi></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><msubsup><mi mathvariant="normal">u</mi><mrow><mo>-</mo><mn>2</mn></mrow><mfenced><mn>1</mn></mfenced></msubsup></mtd><mtd><mn>0</mn></mtd><mtd><mn>1</mn></mtd><mtd><mn>0</mn></mtd><mtd><msubsup><mi mathvariant="normal">u</mi><mn>2</mn><mfenced><mn>1</mn></mfenced></msubsup></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mi mathvariant="normal">u</mi></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mo>…</mo></mtd></mtr><mtr><mtd columnalign="right"><msubsup><mi mathvariant="normal">s</mi><mo>ℓ</mo><mfenced><mn>2</mn></mfenced></msubsup><mo>:</mo></mtd><mtd><mo>…</mo></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mi mathvariant="normal">u</mi></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><msubsup><mi mathvariant="normal">u</mi><mrow><mo>-</mo><mn>1</mn></mrow><mfenced><mn>2</mn></mfenced></msubsup></mtd><mtd><mn>1</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><msubsup><mi mathvariant="normal">u</mi><mn>3</mn><mfenced><mn>2</mn></mfenced></msubsup></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mi mathvariant="normal">u</mi></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mo>…</mo></mtd></mtr></mtable></math><img file="EP1219085B1_D0016.tif" /></maths>

0051The ambiguity of the symbol responses in the locations of the <maths id="math0017"><math display="inline"><mtable><mtr><mtd><msubsup><mi mathvariant="normal">u</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup></mtd></mtr></mtable><mo>,</mo><mi mathvariant="normal">s</mi></math><img file="EP1219085B1_D0017.tif" /></maths> implies spectral redundancy. The nature of this redundancy will become apparent by expressing the fixed part of Equation (11), i.e., the upper part in Equation (11), in frequency-domain terms.

0052It is appropriate to divide the Nyquist band [0,1/T) into N subbands [ℓ/NT, (ℓ+1)/NT), ℓ = 0,1,...N-1, and denote the spectral symbol responses in these subbands of equal width 1/NT by: <maths id="math0018" num="(12)"><math display="block"><mo>∀</mo><mspace width="1em" /><mi>k</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>,</mo><mo>ℓ</mo><mo>=</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>…</mo><mi mathvariant="normal">N</mi><mo>-</mo><mn>1</mn><mo>:</mo><mspace width="1em" /><msubsup><mi mathvariant="normal">S</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mfenced><mi>fʹ</mi></mfenced><mo>=</mo><msup><mover><mi mathvariant="normal">S</mi><mo mathvariant="normal">˜</mo></mover><mfenced><mi mathvariant="normal">k</mi></mfenced></msup><mo>⁢</mo><mfenced><mi>fʹ</mi><mo>+</mo><mo>ℓ</mo><mo>/</mo><mi>NT</mi></mfenced><mo>,</mo><mspace width="1em" /><mi>fʹ</mi><mo>∈</mo><mrow><mo>[</mo><mrow><mn>0</mn><mo>,</mo><mn>1</mn><mo>/</mo><mi>NT</mi><mo>)</mo></mrow></mrow><mn>.</mn></math><img file="EP1219085B1_D0018.tif" /></maths>

0053With ℓ = k-k'+iN, k' ∈ Ψ, the fixed part of Equation (11) is written as: <maths id="math0019" num="(13)"><math display="block"><mrow><mo>∀</mo><mspace width="1em" /><mi mathvariant="normal">k</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>,</mo><mi>kʹ</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>:</mo><mspace width="1em" /><mstyle displaystyle="false"><mrow><mstyle displaystyle="true"><mrow><munder><mrow><mo>∑</mo></mrow><mrow><mi mathvariant="normal">i</mi></mrow></munder></mrow></mstyle></mrow></mstyle><msubsup><mrow><mi mathvariant="normal">s</mi></mrow><mrow><mi mathvariant="normal">k</mi><mo>-</mo><mi>kʹ</mi><mo>+</mo><mi>iN</mi></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msubsup><mo>⁢</mo><msup><mrow><mi mathvariant="normal">e</mi></mrow><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">πf</mi><mo>⁢</mo><mfenced><mi mathvariant="normal">k</mi><mo>-</mo><mi>kʹ</mi><mo>+</mo><mi>iN</mi></mfenced><mo>⁢</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>=</mo><msub><mrow><mi mathvariant="normal">δ</mi></mrow><mrow><mi mathvariant="normal">k</mi><mo>-</mo><mi>kʹ</mi></mrow></msub><mn>.</mn></mrow></math><img file="EP1219085B1_D0019.tif" /></maths> Substitution of <maths id="math0020" num="(14)"><math display="block"><msubsup><mi mathvariant="normal">s</mi><mrow><mi mathvariant="normal">k</mi><mo>-</mo><mi>kʹ</mi><mo>+</mo><mi>iN</mi></mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mo>=</mo><mi mathvariant="normal">T</mi><mo>⁢</mo><msubsup><mo mathvariant="normal">∫</mo><mn mathvariant="normal">0</mn><mrow><mn mathvariant="normal">1</mn><mo mathvariant="normal">/</mo><mi mathvariant="normal">T</mi></mrow></msubsup><mo>⁢</mo><msup><mover><mi mathvariant="normal">S</mi><mo mathvariant="normal">˜</mo></mover><mfenced><mi mathvariant="normal">k</mi></mfenced></msup><mfenced><mi mathvariant="normal">f</mi></mfenced><mo>⁢</mo><msup><mi mathvariant="normal">e</mi><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">π</mi><mo>⁢</mo><mover><mi mathvariant="normal">f</mi><mo>‾</mo></mover><mo>⁢</mo><mfenced><mi mathvariant="normal">k</mi><mo>-</mo><mi>kʹ</mi><mo>+</mo><mi>iN</mi></mfenced><mo>⁢</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>⁢</mo><mi>dt</mi><mo>=</mo><mi mathvariant="normal">T</mi><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mo>ℓ</mo><mo>=</mo><mn>0</mn></mrow><mrow><mi mathvariant="normal">N</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><mspace width="1em" /><munderover><mo>∫</mo><mn>0</mn><mrow><mn>1</mn><mo>/</mo><mi>NT</mi></mrow></munderover><msup><mi mathvariant="normal">S</mi><mfenced><mi mathvariant="normal">k</mi></mfenced></msup><mfenced><mi>fʹ</mi></mfenced><mspace width="1em" /><msup><mi mathvariant="normal">e</mi><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">π</mi><mo>⁢</mo><mfenced><mi>fʹ</mi><mo>+</mo><mo>ℓ</mo><mo>/</mo><mi>NT</mi></mfenced><mo>⁢</mo><mfenced><mi mathvariant="normal">k</mi><mo>-</mo><mi>kʹ</mi><mo>+</mo><mi>iN</mi></mfenced><mo>⁢</mo><mi mathvariant="normal">T</mi></mrow></msup><mo>⁢</mo><mi>dfʹ</mi></math><img file="EP1219085B1_D0020.tif" /></maths> into Equation (13) yields the zero-ISI conditions in the frequency-domain form: <maths id="math0021" num="(15)"><math display="block"><mrow><mo>∀</mo><mspace width="1em" /><mi mathvariant="normal">k</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>,</mo><mi>kʹ</mi><mo>∈</mo><mi mathvariant="normal">Ψ</mi><mo>:</mo><mspace width="1em" /><mstyle displaystyle="true"><mrow><munderover><mrow><mo>∑</mo></mrow><mrow><mo>ℓ</mo><mo>=</mo><mn>0</mn></mrow><mrow><mi mathvariant="normal">N</mi><mo>-</mo><mn>1</mn></mrow></munderover></mrow></mstyle><msubsup><mrow><mi mathvariant="normal">S</mi></mrow><mrow><mo>ℓ</mo></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msubsup><mfenced><mi>fʹ</mi></mfenced><mspace width="1em" /><msup><mrow><mi mathvariant="normal">e</mi></mrow><mrow><mi mathvariant="normal">j</mi><mo>⁢</mo><mn mathvariant="normal">2</mn><mo>⁢</mo><mi mathvariant="normal">π</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi><mo>-</mo><mi>kʹ</mi></mfenced><mo>/</mo><mi mathvariant="normal">N</mi></mrow></msup><mo>=</mo><mi mathvariant="normal">N</mi><mo>⁢</mo><msub><mrow><mi mathvariant="normal">δ</mi></mrow><mrow><mi mathvariant="normal">k</mi><mo>-</mo><mi>kʹ</mi></mrow></msub><mo>,</mo><mi>fʹ</mi><mo>∈</mo><mrow><mo>[</mo><mrow><mn>0</mn><mo>,</mo><mn>1</mn><mo>/</mo><mi>NT</mi><mo>)</mo></mrow></mrow><mn>.</mn></mrow></math><img file="EP1219085B1_D0021.tif" /></maths>

0054The trivial solutions of (15) are <maths id="math0022"><math display="inline"><mtable><mtr><mtd><msubsup><mi mathvariant="normal">S</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mfenced><mi>fʹ</mi></mfenced><mo>=</mo><mn>1</mn></mtd></mtr></mtable></math><img file="EP1219085B1_D0022.tif" /></maths> for all ℓ = {0,1,2,...N-1}. This corresponds to the well-known Nyquist criterion S̃^(k)(f) = H̃(f)D̃^(k)(f) = 1 for zero-ISI in unconstrained successions of modulation symbols (K = N). This solution is achievable with D̃^(k)(f) = H̃^-1(f), if H̃(f) exhibits spectral support in the entire Nyquist band [0,1/T). If H̃(f) does not have full spectral support, or the equalizer has to suppress severe narrowband interference at certain frequencies, then S̃^(k) (f) should vanish in the affected spectral regions.

0055It will be shown that solutions of Equation (15) exist with <maths id="math0023"><math display="inline"><mtable><mtr><mtd><msubsup><mi mathvariant="normal">S</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mfenced><mi>fʹ</mi></mfenced><mo>≠</mo><mn>0</mn><mo>,</mo></mtd></mtr></mtable></math><img file="EP1219085B1_D0023.tif" /></maths> ℓ ∈ <i>L</i>, and <maths id="math0024"><math display="inline"><mtable><mtr><mtd><msubsup><mi mathvariant="normal">S</mi><mo>ℓ</mo><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mfenced><mi>fʹ</mi></mfenced><mo>=</mo><mn>0</mn></mtd></mtr></mtable></math><img file="EP1219085B1_D0024.tif" /></maths> (or arbitrary fixed values), ℓ ∉ <i>L</i>, for all possible <i>L</i>: <maths id="math0025" num="(16)"><math display="block"><mi>L</mi><mo>=</mo><mfenced open="{" close="}"><msub><mo>ℓ</mo><mn>0</mn></msub><mo>,</mo><msub><mo>ℓ</mo><mn>1</mn></msub><mo>,</mo><mo>…</mo><msub><mo>ℓ</mo><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub><mo>:</mo><mn>0</mn><mo>≤</mo><msub><mo>ℓ</mo><mi mathvariant="normal">i</mi></msub><mo>≤</mo><mi mathvariant="normal">N</mi><mo>-</mo><mn>1</mn><mo>;</mo><msub><mo>ℓ</mo><mi mathvariant="normal">i</mi></msub><mo>≠</mo><msub><mo>ℓ</mo><mi mathvariant="normal">j</mi></msub><mo>,</mo><mi mathvariant="normal">i</mi><mo mathvariant="normal">≠</mo><mi mathvariant="normal">j</mi></mfenced><mn>.</mn></math><img file="EP1219085B1_D0025.tif" /></maths>

0056In other words, S̃^(k) (f) can vanish at any combination of up to N-K frequencies in the set of frequencies {f = f'+ℓ / NT, ℓ = 0,1,2,...N -1)}, for every frequency -f'∈ [0,1 / NT). The suppression of (N-K)/NT Hz in not necessarily connected bands is illustrated in <figref idref="f0002">FIG. 2A and FIG. 2B</figref> by several examples (discussed above).

0057Let k ∈ Ψ and <maths id="math0026"><math display="inline"><mrow><mtable><mtr><mtd><msubsup><mrow><mi mathvariant="normal">S</mi></mrow><mrow><mo>ℓ</mo></mrow><mrow><mfenced><mi mathvariant="normal">k</mi></mfenced></mrow></msubsup></mtd></mtr></mtable><mfenced><mi>fʹ</mi></mfenced><mo>=</mo><mn>0</mn><mo>,</mo></mrow></math><img file="EP1219085B1_D0026.tif" /></maths> ℓ ∉ <i>L</i>. Then, with α_N = e^j2π/N, Equation (15) can be written as a system of K linear equations for K unknowns: <maths id="math0027" num="(17)"><math display="block"><msub><mi mathvariant="bold">A</mi><mrow><mi mathvariant="normal">K</mi><mo mathvariant="normal">×</mo><mi mathvariant="normal">K</mi></mrow></msub><mfenced><mi>L</mi><mi mathvariant="normal">Ψ</mi></mfenced><mo>×</mo><mfenced open="[" close="]"><mtable><mtr><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>0</mn></msub><mspace width="1em" /><mi>k</mi></mrow></msubsup><mo>⁢</mo><msubsup><mi mathvariant="normal">S</mi><msub><mo>ℓ</mo><mn>0</mn></msub><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mfenced><mi>fʹ</mi></mfenced></mtd></mtr><mtr><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>1</mn></msub><mspace width="1em" /><mi>k</mi></mrow></msubsup><mo>⁢</mo><msubsup><mi mathvariant="normal">S</mi><msub><mo>ℓ</mo><mn>1</mn></msub><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mfenced><mi>fʹ</mi></mfenced></mtd></mtr><mtr><mtd><mo>:</mo></mtd></mtr><mtr><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub><mspace width="1em" /><mi>k</mi></mrow></msubsup><mo>⁢</mo><msubsup><mi mathvariant="normal">S</mi><msub><mo>ℓ</mo><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub><mfenced><mi mathvariant="normal">k</mi></mfenced></msubsup><mfenced><mi>fʹ</mi></mfenced></mtd></mtr></mtable></mfenced><mo>=</mo><mi mathvariant="normal">N</mi><mo>⁢</mo><mfenced open="[" close="]"><mtable><mtr><mtd><msub><mi mathvariant="normal">δ</mi><mrow><mi mathvariant="normal">k</mi><mo mathvariant="normal">-</mo><msub><mi mathvariant="normal">k</mi><mn mathvariant="normal">0</mn></msub></mrow></msub></mtd></mtr><mtr><mtd><msub><mi mathvariant="normal">δ</mi><mrow><mi mathvariant="normal">k</mi><mo mathvariant="normal">-</mo><msub><mi mathvariant="normal">k</mi><mn>1</mn></msub></mrow></msub></mtd></mtr><mtr><mtd><mo>:</mo></mtd></mtr><mtr><mtd><msub><mi mathvariant="normal">δ</mi><mrow><mi mathvariant="normal">k</mi><mo mathvariant="normal">-</mo><msub><mi mathvariant="normal">k</mi><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub></mrow></msub></mtd></mtr></mtable></mfenced><mo>,</mo></math><img file="EP1219085B1_D0027.tif" /></maths> and <maths id="math0028" num="(18)"><math display="block"><msub><mi mathvariant="bold">A</mi><mrow><mi mathvariant="normal">K</mi><mo mathvariant="normal">×</mo><mi mathvariant="normal">K</mi></mrow></msub><mfenced><mi>L</mi><mi mathvariant="normal">Ψ</mi></mfenced><mo>=</mo><mfenced open="[" close="]"><mtable><mtr><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>0</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>0</mn></msub></mrow></msubsup></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>1</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>0</mn></msub></mrow></msubsup></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>2</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>0</mn></msub></mrow></msubsup></mtd><mtd><mo>…</mo></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>0</mn></msub></mrow></msubsup></mtd></mtr><mtr><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>0</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>1</mn></msub></mrow></msubsup></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>1</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>1</mn></msub></mrow></msubsup></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>2</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>1</mn></msub></mrow></msubsup></mtd><mtd><mo>…</mo></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>1</mn></msub></mrow></msubsup></mtd></mtr><mtr><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>0</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>2</mn></msub></mrow></msubsup></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>1</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>2</mn></msub></mrow></msubsup></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>2</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>2</mn></msub></mrow></msubsup></mtd><mtd><mo>…</mo></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mn>2</mn></msub></mrow></msubsup></mtd></mtr><mtr><mtd><mo>:</mo></mtd><mtd><mo>:</mo></mtd><mtd><mo>:</mo></mtd><mtd><mo>:</mo></mtd><mtd><mo>:</mo></mtd></mtr><mtr><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>0</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub></mrow></msubsup></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>1</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub></mrow></msubsup></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mn>2</mn></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub></mrow></msubsup></mtd><mtd><mo>…</mo></mtd><mtd><msubsup><mi mathvariant="normal">α</mi><mi mathvariant="normal">N</mi><mrow><mo>-</mo><msub><mo>ℓ</mo><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub><mspace width="1em" /><msub><mi mathvariant="normal">k</mi><mrow><mi mathvariant="normal">K</mi><mo>-</mo><mn>1</mn></mrow></msub></mrow></msubsup></mtd></mtr></mtable></mfenced><mn>.</mn></math><img file="EP1219085B1_D0028.tif" /></maths> The K×K matrix A_{<i>K</i>×<i>K</i>}(<i>L</i>,Ψ) is a submatrix of the N×N transformation matrix of an N-point DFT.

0058For a solution of (17) to exist, A_{<i>K</i>×<i>K</i>}(<i>L</i>,Ψ) must be non-singular, i.e. det(A_{<i>K</i>×<i>K</i>}(<i>L</i>,Ψ) ≠ 0. All elements of the solution vector must then be non-zero. If A_{<i>K</i>×<i>K</i>}(<i>L</i>,Ψ) is non-singular for all possible sets <i>L</i>, then Ψ is called a "proper set".

0059Only sets <i>L</i>₀ with ℓ₀ = 0 need to be tested, because dividing the elements in every row of A_{<i>K</i>×<i>K</i>}(<i>L</i>,Ψ) by the first row element does not change the matrix rank. Similarly, only sets Ψ₀ with k₀ = 0 need to be examined. Adding a non-zero integer value c modulo N to all elements of a set Ψ₀ gives an equivalent set Ψ = Ψ₀ + <i>c</i> mod N ( denoted as <maths id="math0029"><math display="inline"><mi mathvariant="normal">Ψ</mi><mo>⁢</mo><mover><mo>≡</mo><mi mathvariant="normal">c</mi></mover><mo>⁢</mo><msub><mi mathvariant="normal">Ψ</mi><mn>0</mn></msub></math><img file="EP1219085B1_D0029.tif" /></maths>), corresponding to a situation where the N-periods are shifted by c.

0060Two sufficient conditions for a proper set Ψ₀ are (as stated previously): <ol id="ol0001"><li>1. Ψ₀ = {k_i = iΔ mod N, i = 0, 1 ,2,... K-1}; g cd(Δ,N) = 1. In this case, the set Ψ₀ is called "proper sequential")</li><li>2. N is a prime number.</li></ol>

0061While certain exemplary embodiments have been described in detail and shown in the accompanying drawings, it is to be understood that such embodiments are merely illustrative of and not restrictive on the broad invention. It will thus be recognized that various modifications may be made to the illustrated and other embodiments of the invention described above, without departing from the broad inventive scope thereof. It will be understood, therefore, that the invention is not limited to the particular embodiments or arrangements disclosed, but is rather intended to cover any changes, adaptations or modifications which are within the scope of the invention as defined by the appended claims.