M-ary Passband Modulation: QPSK, M-PSK, M-QAM, and Constellation Geometry

Unit 3 — Receiver estimation and equalization

Why this unit exists

The unit centers on urban wireless receiver, where a moving receiver crosses an area with multipath echoes and oscillator drift. Its controlling difficulty is that the receiver has limited pilot resources and cannot assume a stationary channel. The four lessons isolate different parts of the mechanism, yet the delivered system must satisfy all of them at once. You will link equations to implementation, design measurements and deliberately test situations in which a convenient idealization becomes misleading.

Concept sequence

Lesson 3.1 — Matched filters and ML/MAP decisions

The sufficient statistic for a known pulse in white Gaussian noise is the inner product of the received waveform with that pulse, scaled appropriately. Correlator and matched-filter receivers are mathematically equivalent under the same time-reversal convention. Maximum-likelihood detection selects the symbol maximizing the conditional observation density. Maximum a posteriori detection also incorporates prior symbols and may use a different boundary when symbols are unequally likely. Matched filtering is not automatically optimal when noise is colored or pulse timing is uncertain.

Key relation: For deterministic signal s in AWGN with covariance N0/2 per real dimension, a matched filter maximizes output sample SNR for a specified sampling instant.

Design boundary: A receiver can improve total decision accuracy by using unequal priors while becoming less fair to the rare event. State the cost function before calling the threshold 'optimal'.

Lesson 3.2 — Channels with memory and ISI equalizers

A channel with several resolvable delays spreads each transmitted symbol into neighboring symbol intervals. A zero-forcing equalizer reverses the channel response where possible but can dramatically amplify noise near spectral nulls. A minimum-mean-square-error equalizer trades residual ISI for reduced noise enhancement. Decision-feedback equalizers subtract reconstructed interference from previously detected symbols, often reducing noise amplification while risking error propagation. Tap delay and channel timing must align with the sample grid.

Key relation: A discrete-time channel y[k]=sum_l h[l]x[k-l]+n[k] creates intersymbol interference; a finite-tap linear equalizer attempts to invert or regularize this convolution.

Design boundary: A frequency zero within the signaling band makes exact stable inversion problematic. An equalizer cannot restore information lost below the noise floor without paying an SNR penalty.

Lesson 3.3 — Pilot-based channel estimates and LMS adaptation

Pilots provide a reference known to the receiver and let it infer gain, phase or frequency-selective channel response. More pilots can improve estimates but reduce net payload throughput. An adaptive least-mean-squares filter updates coefficients using the instantaneous error e[k] times the conjugated input vector, following the chosen complex-gradient convention. Its step size controls convergence speed against steady-state misadjustment. Training on detected data after the pilot period works only if decisions are sufficiently reliable.

Key relation: With observed y[k]≈h x[k]+n[k], a scalar pilot least-squares estimate is h_hat=sum x*[k]y[k] / sum |x[k]|^2.

Design boundary: A small training residual does not validate generalization across time, carrier frequency or device temperature. Using pilots that are not actually orthogonal can bias a multichannel estimate.

Lesson 3.4 — Carrier recovery and phase-locked estimation

Coherent demodulation must establish reference phase and often estimate frequency offset before timing and symbol decisions become reliable. A simple phase-tracking loop compares a received pilot or decision-directed symbol to an expected phase, filters its error and updates an oscillator estimate. The loop bandwidth trades tracking speed against noise sensitivity. Phase ambiguity in square-QAM or PSK can require known symbols or differential coding. The carrier loop may interact with equalizer adaptation and is not an isolated block.

Key relation: An oscillator mismatch introduces phase theta[k]=theta0+2piDelta_fkT_s, rotating complex baseband symbols as exp(j theta[k]).

Design boundary: Arctangent phase detectors wrap at ±π; direct unwrapping can fail near deep fades. A loop that tracks a noisy data decision may lock to a wrong stable phase.

Integrated case study

An engineer reviews the architecture for urban wireless receiver. The first review identifies the performance or integrity quantity at the receiver. The second asks which subsystem can change that quantity. The third checks the impact on user payload, energy consumption, delay and operating cost. A favorable conclusion requires comparable conditions; changing both the channel model and signal power while comparing decoders makes it impossible to attribute improvement to one change.

Three-stage assessment plan

1. Analytical baseline. Derive a transparent relation using one of the four listed key models. Describe the allowed parameter region, units and what was held constant in the comparison. For urban wireless receiver, decide which model variable is realistically measurable and which must be inferred.

2. Synthetic controlled test. Isolate one impairment, vary its magnitude and compare to the baseline. Re-run with a different seed and a second numerical implementation. Build a plot with labeled axes and, for error probabilities, uncertainty intervals.

3. Engineering hand-off. Replace the idealized assumption with a more plausible impairment relevant to a moving receiver crosses an area with multipath echoes and oscillator drift. State which earlier conclusion remains reliable and which needs further data. Record what must be checked before a prototype is trusted outside the laboratory.

Unit questions

• Which of the four mechanisms is most likely to control acceptance for urban wireless receiver, and what measured evidence would establish that claim?

• How would the design fail if the assumption “A receiver can improve total decision accuracy by using unequal priors while becoming less fair to the rare event. State the cost function before calling the threshold 'optimal'.” were ignored?

• Identify a numerical sanity check, an implementation test, and a separate real-world validation requirement.

• Where would additional redundancy help and where might it merely increase latency or occupy already-limited bandwidth?

Suggested learning order

Read the four lessons in order; complete the simulation, then submit the project with a result table and the associated limitations.

Unit 3, Lesson 1: Matched filters and ML/MAP decisions

Module: Receiver estimation and equalization. Prerequisites: Communication Systems I, introductory probability, linear systems, complex algebra and elementary Python or JavaScript.

Learning outcomes

• Explain matched filters and ml/map decisions from a physical or algorithmic model rather than memorizing an isolated equation.

• Distinguish assumptions, symbols, measured quantities and synthesized values in a complete communications link.

• Perform an independent limiting-case check and identify an operating region where the model fails.

• Design and document a reproducible synthetic experiment that tests a stated prediction.

System context and motivating decision

Consider urban wireless receiver: a moving receiver crosses an area with multipath echoes and oscillator drift. In this setting, the receiver has limited pilot resources and cannot assume a stationary channel. The engineer therefore needs a model that is useful at the right reference plane, not an attractive formula copied from a different link. A quantity measured at the transmitter cannot automatically be used as if it were the receive-filter output, and uncoded symbol reliability cannot be silently treated as packet reliability. The purpose of this lesson is to connect matched filters and ml/map decisions with observable decisions in this chain.

Physical or algorithmic explanation

The sufficient statistic for a known pulse in white Gaussian noise is the inner product of the received waveform with that pulse, scaled appropriately. Correlator and matched-filter receivers are mathematically equivalent under the same time-reversal convention. Maximum-likelihood detection selects the symbol maximizing the conditional observation density. Maximum a posteriori detection also incorporates prior symbols and may use a different boundary when symbols are unequally likely. Matched filtering is not automatically optimal when noise is colored or pulse timing is uncertain.

Core mathematical relationship

For deterministic signal s in AWGN with covariance N0/2 per real dimension, a matched filter maximizes output sample SNR for a specified sampling instant.

Meaning and conventions

The central expression above describes matched filters and ml/map decisions. Before calculating, identify the set of variables, their units and whether the expression applies to discrete or continuous time. When the relevant quantities are probabilities, confirm the conditioning event and whether samples are independent. When complex amplitudes occur, remember that a conjugate, not a real transpose, normally defines an energy inner product. Where a ratio of powers is stated in decibels, 10 log10 rather than 20 log10 is the appropriate conversion; for voltage magnitudes with identical impedances, a 20 log10 form may be suitable. This model is one part of the signal processing chain, not a substitute for a performance measurement.

Derive, calculate and inspect

First mark the source of the input and output quantities in For deterministic signal s in AWGN with covariance N0/2 per real dimension, a matched filter maximizes output sample SNR for a specified sampling instant.. State which symbols are known, which must be estimated and which are chosen by design. Translate the equation into a reproducible step-by-step computation, then test zero or very small noise, an intermediate operating point and a stressed case. A result should remain physically interpretable under these changes. Where the relationship is approximate, determine the approximation error before interpreting small performance improvements as significant. Never add gains or losses twice because the same physical effect appears in two bookkeeping categories.

Fully explained example and verification

In a one-dimensional constellation with symbols s0=-1 and s1=+1 and equal variance, equally likely symbols have a decision threshold at zero. With priors P(s1)=0.8 and P(s0)=0.2, variance sigma^2=0.25, the MAP threshold is (sigma^2/2)ln[P(s0)/P(s1)]≈-0.1733, favoring the common symbol over a larger observation range.

How to verify: Recompute the numeric statement from the specified inputs without reading a plotted curve. Re-run after increasing the most influential input by 10%, and explain the direction and approximate size of the change. Then compare that outcome with the limiting case for the model. A plausible number is not sufficient if the observation plane, normalization or statistical assumptions have changed.

Boundary conditions and common mistakes

A receiver can improve total decision accuracy by using unequal priors while becoming less fair to the rare event. State the cost function before calling the threshold 'optimal'.

An additional failure mode in urban wireless receiver arises when the local mechanism is interpreted as an end-to-end guarantee. For example, packets may be rejected by framing or replay checks even after an error-correcting decoder outputs a plausible bit sequence; conversely, a successful frame may be too late to serve a time-critical application. To separate causes, log the inputs and outputs of each major subsystem, retain the raw observation when possible, and name the exact stage at which a failure is declared.

Guided computational experiment

Calculate matched-filter output on a four-sample pulse with known unit energy. Add impulsive noise to compare standard correlation with a robust empirical detector and identify when AWGN assumptions fail.

Reproducibility protocol. Record the independent variables, their increments and physical units; state random seeds, number of simulated trials and target metrics. Use two numerical implementations for at least one predicted point. When drawing a probability curve, use enough trials to estimate its uncertainty and report the confidence interval; small error counts produce unstable estimates. When a parameter sweep crosses a model limit, annotate the plot rather than truncating inconvenient results.

Problem set with targeted response guidance

Question 1. Reference planes and dimensional consistency

Draw the component-level path through a moving receiver crosses an area with multipath echoes and oscillator drift. Label exactly where the inputs to “For deterministic signal s in AWGN with covariance N0/2 per real dimension, a matched filter maximizes output sample SNR for a specified sampling instant.” are acquired or estimated. Construct a three-column table of quantity, unit, and uncertainty source. Identify one tempting but invalid substitution and explain which physical interface it crosses.

Answer guidance: A complete solution has a block diagram and a clear distinction between physical measurement and algorithmic estimate. For matched filters and ml/map decisions, justify every normalization and explicitly say what is held constant when comparing two conditions.

Question 2. Rebuild the numerical case

Independently reconstruct the worked calculation for matched filters and ml/map decisions. Change the leading numerical parameter by 20%, holding other inputs fixed, and explain whether the result changes linearly or nonlinearly. Supply every intermediate numerical step.

Answer guidance: The answer must reproduce the worked statement under its stated assumptions, account for units, and include an inverse or limiting check. If a result disagrees, trace the exact operation; do not round intermediate values until the final display.

Question 3. Competing design changes

For urban wireless receiver, propose two ways to improve the outcome represented by For deterministic signal s in AWGN with covariance N0/2 per real dimension, a matched filter maximizes output sample SNR for a specified sampling instant.: one changes a transmitter or source parameter, the other changes receiver processing. List their respective energy, implementation, latency and spectral costs.

Answer guidance: Grade the response on tradeoffs, not a single optimization metric. For this topic, specify which impairment each intervention addresses and whether a gain in one stage increases overhead elsewhere.

Question 4. Break the assumptions

Create a deliberately unrealistic operating point for matched filters and ml/map decisions and explain a specific broken assumption. Then propose a synthetic observation that would reveal the failure. Describe what a poorly documented analysis might incorrectly conclude.

Answer guidance: The response must identify an assumption explicitly and design a measurement that detects the discrepancy. Replacing one uncertain parameter with a convenient nominal value is not an assumption test.

Further engineering synthesis

To write a defensible report for matched filters and ml/map decisions, separate evidence into three columns: a derivation, a reproducible numerical implementation and a system-level observation. The derivation establishes the modeled relationship; simulation checks implementation and explore cases that are hard to calculate by hand; field observation tests the relevance of modeling assumptions. Failure of a field measurement to match the derivation may reveal either a coding bug or a missing physical effect. Avoid the reflex to adjust free parameters until curves agree, because that conceals rather than explains uncertainty.

Finally trace the effect of matched filters and ml/map decisions onto throughput, occupied bandwidth, energy per delivered information bit and deadline failures for urban wireless receiver. Describe which of these metrics has a monotonic response to parameter changes and which displays a tradeoff. Explain the direction of the tradeoff with one numerical or plotted piece of evidence; where evidence is absent, label the claim as a hypothesis. Every numerical conclusion should be reproducible from recorded inputs.

Cross-reference: See the model for Unit 3, Unit 3 project brief and its assessment. The simulation depicts a deliberately simplified subproblem; it does not certify a live communication system.

Unit 3, Lesson 2: Channels with memory and ISI equalizers

Module: Receiver estimation and equalization. Prerequisites: Communication Systems I, introductory probability, linear systems, complex algebra and elementary Python or JavaScript.

Learning outcomes

• Explain channels with memory and isi equalizers from a physical or algorithmic model rather than memorizing an isolated equation.

• Distinguish assumptions, symbols, measured quantities and synthesized values in a complete communications link.

• Perform an independent limiting-case check and identify an operating region where the model fails.

• Design and document a reproducible synthetic experiment that tests a stated prediction.

System context and motivating decision

Consider urban wireless receiver: a moving receiver crosses an area with multipath echoes and oscillator drift. In this setting, the receiver has limited pilot resources and cannot assume a stationary channel. The engineer therefore needs a model that is useful at the right reference plane, not an attractive formula copied from a different link. A quantity measured at the transmitter cannot automatically be used as if it were the receive-filter output, and uncoded symbol reliability cannot be silently treated as packet reliability. The purpose of this lesson is to connect channels with memory and isi equalizers with observable decisions in this chain.

Physical or algorithmic explanation

A channel with several resolvable delays spreads each transmitted symbol into neighboring symbol intervals. A zero-forcing equalizer reverses the channel response where possible but can dramatically amplify noise near spectral nulls. A minimum-mean-square-error equalizer trades residual ISI for reduced noise enhancement. Decision-feedback equalizers subtract reconstructed interference from previously detected symbols, often reducing noise amplification while risking error propagation. Tap delay and channel timing must align with the sample grid.

Core mathematical relationship

A discrete-time channel y[k]=sum_l h[l]x[k-l]+n[k] creates intersymbol interference; a finite-tap linear equalizer attempts to invert or regularize this convolution.

Meaning and conventions

The central expression above describes channels with memory and isi equalizers. Before calculating, identify the set of variables, their units and whether the expression applies to discrete or continuous time. When the relevant quantities are probabilities, confirm the conditioning event and whether samples are independent. When complex amplitudes occur, remember that a conjugate, not a real transpose, normally defines an energy inner product. Where a ratio of powers is stated in decibels, 10 log10 rather than 20 log10 is the appropriate conversion; for voltage magnitudes with identical impedances, a 20 log10 form may be suitable. This model is one part of the signal processing chain, not a substitute for a performance measurement.

Derive, calculate and inspect

First mark the source of the input and output quantities in A discrete-time channel y[k]=sum_l h[l]x[k-l]+n[k] creates intersymbol interference; a finite-tap linear equalizer attempts to invert or regularize this convolution.. State which symbols are known, which must be estimated and which are chosen by design. Translate the equation into a reproducible step-by-step computation, then test zero or very small noise, an intermediate operating point and a stressed case. A result should remain physically interpretable under these changes. Where the relationship is approximate, determine the approximation error before interpreting small performance improvements as significant. Never add gains or losses twice because the same physical effect appears in two bookkeeping categories.

Fully explained example and verification

For a two-tap channel h=[1,0.5], inputs x[0]=1 and x[1]=-1 give noise-free y[0]=1, y[1]=-0.5 and y[2]=-0.5. Sampling y[1] without equalization and treating it as x[1] would underestimate symbol magnitude. The trailing sample depends on the previous symbol, not a new input.

How to verify: Recompute the numeric statement from the specified inputs without reading a plotted curve. Re-run after increasing the most influential input by 10%, and explain the direction and approximate size of the change. Then compare that outcome with the limiting case for the model. A plausible number is not sufficient if the observation plane, normalization or statistical assumptions have changed.

Boundary conditions and common mistakes

A frequency zero within the signaling band makes exact stable inversion problematic. An equalizer cannot restore information lost below the noise floor without paying an SNR penalty.

An additional failure mode in urban wireless receiver arises when the local mechanism is interpreted as an end-to-end guarantee. For example, packets may be rejected by framing or replay checks even after an error-correcting decoder outputs a plausible bit sequence; conversely, a successful frame may be too late to serve a time-critical application. To separate causes, log the inputs and outputs of each major subsystem, retain the raw observation when possible, and name the exact stage at which a failure is declared.

Guided computational experiment

Convolve a 100-symbol pseudorandom BPSK sequence with [1,0.5] and add Gaussian noise. Implement zero forcing and regularized least squares, and report separate noise amplification and residual ISI.

Reproducibility protocol. Record the independent variables, their increments and physical units; state random seeds, number of simulated trials and target metrics. Use two numerical implementations for at least one predicted point. When drawing a probability curve, use enough trials to estimate its uncertainty and report the confidence interval; small error counts produce unstable estimates. When a parameter sweep crosses a model limit, annotate the plot rather than truncating inconvenient results.

Problem set with targeted response guidance

Question 1. Reference planes and dimensional consistency

Draw the component-level path through a moving receiver crosses an area with multipath echoes and oscillator drift. Label exactly where the inputs to “A discrete-time channel y[k]=sum_l h[l]x[k-l]+n[k] creates intersymbol interference; a finite-tap linear equalizer attempts to invert or regularize this convolution.” are acquired or estimated. Construct a three-column table of quantity, unit, and uncertainty source. Identify one tempting but invalid substitution and explain which physical interface it crosses.

Answer guidance: A complete solution has a block diagram and a clear distinction between physical measurement and algorithmic estimate. For channels with memory and isi equalizers, justify every normalization and explicitly say what is held constant when comparing two conditions.

Question 2. Rebuild the numerical case

Independently reconstruct the worked calculation for channels with memory and isi equalizers. Change the leading numerical parameter by 20%, holding other inputs fixed, and explain whether the result changes linearly or nonlinearly. Supply every intermediate numerical step.

Answer guidance: The answer must reproduce the worked statement under its stated assumptions, account for units, and include an inverse or limiting check. If a result disagrees, trace the exact operation; do not round intermediate values until the final display.

Question 3. Competing design changes

For urban wireless receiver, propose two ways to improve the outcome represented by A discrete-time channel y[k]=sum_l h[l]x[k-l]+n[k] creates intersymbol interference; a finite-tap linear equalizer attempts to invert or regularize this convolution.: one changes a transmitter or source parameter, the other changes receiver processing. List their respective energy, implementation, latency and spectral costs.

Answer guidance: Grade the response on tradeoffs, not a single optimization metric. For this topic, specify which impairment each intervention addresses and whether a gain in one stage increases overhead elsewhere.

Question 4. Break the assumptions

Create a deliberately unrealistic operating point for channels with memory and isi equalizers and explain a specific broken assumption. Then propose a synthetic observation that would reveal the failure. Describe what a poorly documented analysis might incorrectly conclude.

Answer guidance: The response must identify an assumption explicitly and design a measurement that detects the discrepancy. Replacing one uncertain parameter with a convenient nominal value is not an assumption test.

Further engineering synthesis

To write a defensible report for channels with memory and isi equalizers, separate evidence into three columns: a derivation, a reproducible numerical implementation and a system-level observation. The derivation establishes the modeled relationship; simulation checks implementation and explore cases that are hard to calculate by hand; field observation tests the relevance of modeling assumptions. Failure of a field measurement to match the derivation may reveal either a coding bug or a missing physical effect. Avoid the reflex to adjust free parameters until curves agree, because that conceals rather than explains uncertainty.

Finally trace the effect of channels with memory and isi equalizers onto throughput, occupied bandwidth, energy per delivered information bit and deadline failures for urban wireless receiver. Describe which of these metrics has a monotonic response to parameter changes and which displays a tradeoff. Explain the direction of the tradeoff with one numerical or plotted piece of evidence; where evidence is absent, label the claim as a hypothesis. Every numerical conclusion should be reproducible from recorded inputs.

Cross-reference: See the model for Unit 3, Unit 3 project brief and its assessment. The simulation depicts a deliberately simplified subproblem; it does not certify a live communication system.

Unit 3, Lesson 3: Pilot-based channel estimates and LMS adaptation

Module: Receiver estimation and equalization. Prerequisites: Communication Systems I, introductory probability, linear systems, complex algebra and elementary Python or JavaScript.

Learning outcomes

• Explain pilot-based channel estimates and lms adaptation from a physical or algorithmic model rather than memorizing an isolated equation.

• Distinguish assumptions, symbols, measured quantities and synthesized values in a complete communications link.

• Perform an independent limiting-case check and identify an operating region where the model fails.

• Design and document a reproducible synthetic experiment that tests a stated prediction.

System context and motivating decision

Consider urban wireless receiver: a moving receiver crosses an area with multipath echoes and oscillator drift. In this setting, the receiver has limited pilot resources and cannot assume a stationary channel. The engineer therefore needs a model that is useful at the right reference plane, not an attractive formula copied from a different link. A quantity measured at the transmitter cannot automatically be used as if it were the receive-filter output, and uncoded symbol reliability cannot be silently treated as packet reliability. The purpose of this lesson is to connect pilot-based channel estimates and lms adaptation with observable decisions in this chain.

Physical or algorithmic explanation

Pilots provide a reference known to the receiver and let it infer gain, phase or frequency-selective channel response. More pilots can improve estimates but reduce net payload throughput. An adaptive least-mean-squares filter updates coefficients using the instantaneous error e[k] times the conjugated input vector, following the chosen complex-gradient convention. Its step size controls convergence speed against steady-state misadjustment. Training on detected data after the pilot period works only if decisions are sufficiently reliable.

Core mathematical relationship

With observed y[k]≈h x[k]+n[k], a scalar pilot least-squares estimate is h_hat=sum x*[k]y[k] / sum |x[k]|^2.

Meaning and conventions

The central expression above describes pilot-based channel estimates and lms adaptation. Before calculating, identify the set of variables, their units and whether the expression applies to discrete or continuous time. When the relevant quantities are probabilities, confirm the conditioning event and whether samples are independent. When complex amplitudes occur, remember that a conjugate, not a real transpose, normally defines an energy inner product. Where a ratio of powers is stated in decibels, 10 log10 rather than 20 log10 is the appropriate conversion; for voltage magnitudes with identical impedances, a 20 log10 form may be suitable. This model is one part of the signal processing chain, not a substitute for a performance measurement.

Derive, calculate and inspect

First mark the source of the input and output quantities in With observed y[k]≈h x[k]+n[k], a scalar pilot least-squares estimate is h_hat=sum x*[k]y[k] / sum |x[k]|^2.. State which symbols are known, which must be estimated and which are chosen by design. Translate the equation into a reproducible step-by-step computation, then test zero or very small noise, an intermediate operating point and a stressed case. A result should remain physically interpretable under these changes. Where the relationship is approximate, determine the approximation error before interpreting small performance improvements as significant. Never add gains or losses twice because the same physical effect appears in two bookkeeping categories.

Fully explained example and verification

If three identical unit pilots yield y=[0.8+0.1j,0.9-0.1j,1.0+0.0j], then h_hat=0.9+0.0j. A fourth pilot of -1 should predict y=-0.9; a measured -0.7 is a residual of +0.2, which could reflect noise or a changing channel.

How to verify: Recompute the numeric statement from the specified inputs without reading a plotted curve. Re-run after increasing the most influential input by 10%, and explain the direction and approximate size of the change. Then compare that outcome with the limiting case for the model. A plausible number is not sufficient if the observation plane, normalization or statistical assumptions have changed.

Boundary conditions and common mistakes

A small training residual does not validate generalization across time, carrier frequency or device temperature. Using pilots that are not actually orthogonal can bias a multichannel estimate.

An additional failure mode in urban wireless receiver arises when the local mechanism is interpreted as an end-to-end guarantee. For example, packets may be rejected by framing or replay checks even after an error-correcting decoder outputs a plausible bit sequence; conversely, a successful frame may be too late to serve a time-critical application. To separate causes, log the inputs and outputs of each major subsystem, retain the raw observation when possible, and name the exact stage at which a failure is declared.

Guided computational experiment

Simulate a slowly rotating complex channel and compare blockwise least squares, pilot interpolation and an LMS filter. Plot estimation error separately from data error rate.

Reproducibility protocol. Record the independent variables, their increments and physical units; state random seeds, number of simulated trials and target metrics. Use two numerical implementations for at least one predicted point. When drawing a probability curve, use enough trials to estimate its uncertainty and report the confidence interval; small error counts produce unstable estimates. When a parameter sweep crosses a model limit, annotate the plot rather than truncating inconvenient results.

Problem set with targeted response guidance

Question 1. Reference planes and dimensional consistency

Draw the component-level path through a moving receiver crosses an area with multipath echoes and oscillator drift. Label exactly where the inputs to “With observed y[k]≈h x[k]+n[k], a scalar pilot least-squares estimate is h_hat=sum x*[k]y[k] / sum |x[k]|^2.” are acquired or estimated. Construct a three-column table of quantity, unit, and uncertainty source. Identify one tempting but invalid substitution and explain which physical interface it crosses.

Answer guidance: A complete solution has a block diagram and a clear distinction between physical measurement and algorithmic estimate. For pilot-based channel estimates and lms adaptation, justify every normalization and explicitly say what is held constant when comparing two conditions.

Question 2. Rebuild the numerical case

Independently reconstruct the worked calculation for pilot-based channel estimates and lms adaptation. Change the leading numerical parameter by 20%, holding other inputs fixed, and explain whether the result changes linearly or nonlinearly. Supply every intermediate numerical step.

Answer guidance: The answer must reproduce the worked statement under its stated assumptions, account for units, and include an inverse or limiting check. If a result disagrees, trace the exact operation; do not round intermediate values until the final display.

Question 3. Competing design changes

For urban wireless receiver, propose two ways to improve the outcome represented by With observed y[k]≈h x[k]+n[k], a scalar pilot least-squares estimate is h_hat=sum x*[k]y[k] / sum |x[k]|^2.: one changes a transmitter or source parameter, the other changes receiver processing. List their respective energy, implementation, latency and spectral costs.

Answer guidance: Grade the response on tradeoffs, not a single optimization metric. For this topic, specify which impairment each intervention addresses and whether a gain in one stage increases overhead elsewhere.

Question 4. Break the assumptions

Create a deliberately unrealistic operating point for pilot-based channel estimates and lms adaptation and explain a specific broken assumption. Then propose a synthetic observation that would reveal the failure. Describe what a poorly documented analysis might incorrectly conclude.

Answer guidance: The response must identify an assumption explicitly and design a measurement that detects the discrepancy. Replacing one uncertain parameter with a convenient nominal value is not an assumption test.

Further engineering synthesis

To write a defensible report for pilot-based channel estimates and lms adaptation, separate evidence into three columns: a derivation, a reproducible numerical implementation and a system-level observation. The derivation establishes the modeled relationship; simulation checks implementation and explore cases that are hard to calculate by hand; field observation tests the relevance of modeling assumptions. Failure of a field measurement to match the derivation may reveal either a coding bug or a missing physical effect. Avoid the reflex to adjust free parameters until curves agree, because that conceals rather than explains uncertainty.

Finally trace the effect of pilot-based channel estimates and lms adaptation onto throughput, occupied bandwidth, energy per delivered information bit and deadline failures for urban wireless receiver. Describe which of these metrics has a monotonic response to parameter changes and which displays a tradeoff. Explain the direction of the tradeoff with one numerical or plotted piece of evidence; where evidence is absent, label the claim as a hypothesis. Every numerical conclusion should be reproducible from recorded inputs.

Cross-reference: See the model for Unit 3, Unit 3 project brief and its assessment. The simulation depicts a deliberately simplified subproblem; it does not certify a live communication system.

Unit 3, Lesson 4: Carrier recovery and phase-locked estimation

Module: Receiver estimation and equalization. Prerequisites: Communication Systems I, introductory probability, linear systems, complex algebra and elementary Python or JavaScript.

Learning outcomes

• Explain carrier recovery and phase-locked estimation from a physical or algorithmic model rather than memorizing an isolated equation.

• Distinguish assumptions, symbols, measured quantities and synthesized values in a complete communications link.

• Perform an independent limiting-case check and identify an operating region where the model fails.

• Design and document a reproducible synthetic experiment that tests a stated prediction.

System context and motivating decision

Consider urban wireless receiver: a moving receiver crosses an area with multipath echoes and oscillator drift. In this setting, the receiver has limited pilot resources and cannot assume a stationary channel. The engineer therefore needs a model that is useful at the right reference plane, not an attractive formula copied from a different link. A quantity measured at the transmitter cannot automatically be used as if it were the receive-filter output, and uncoded symbol reliability cannot be silently treated as packet reliability. The purpose of this lesson is to connect carrier recovery and phase-locked estimation with observable decisions in this chain.

Physical or algorithmic explanation

Coherent demodulation must establish reference phase and often estimate frequency offset before timing and symbol decisions become reliable. A simple phase-tracking loop compares a received pilot or decision-directed symbol to an expected phase, filters its error and updates an oscillator estimate. The loop bandwidth trades tracking speed against noise sensitivity. Phase ambiguity in square-QAM or PSK can require known symbols or differential coding. The carrier loop may interact with equalizer adaptation and is not an isolated block.

Core mathematical relationship

An oscillator mismatch introduces phase theta[k]=theta0+2piDelta_fkT_s, rotating complex baseband symbols as exp(j theta[k]).

Meaning and conventions

The central expression above describes carrier recovery and phase-locked estimation. Before calculating, identify the set of variables, their units and whether the expression applies to discrete or continuous time. When the relevant quantities are probabilities, confirm the conditioning event and whether samples are independent. When complex amplitudes occur, remember that a conjugate, not a real transpose, normally defines an energy inner product. Where a ratio of powers is stated in decibels, 10 log10 rather than 20 log10 is the appropriate conversion; for voltage magnitudes with identical impedances, a 20 log10 form may be suitable. This model is one part of the signal processing chain, not a substitute for a performance measurement.

Derive, calculate and inspect

First mark the source of the input and output quantities in An oscillator mismatch introduces phase theta[k]=theta0+2piDelta_fkT_s, rotating complex baseband symbols as exp(j theta[k]).. State which symbols are known, which must be estimated and which are chosen by design. Translate the equation into a reproducible step-by-step computation, then test zero or very small noise, an intermediate operating point and a stressed case. A result should remain physically interpretable under these changes. Where the relationship is approximate, determine the approximation error before interpreting small performance improvements as significant. Never add gains or losses twice because the same physical effect appears in two bookkeeping categories.

Fully explained example and verification

At a symbol rate of 100 ksym/s, frequency offset 1 kHz introduces phase advance 2π(1000/100000)=0.06283 radians (3.6 degrees) per symbol. After 50 symbols the uncorrected rotation is 180 degrees, enough to invert BPSK decisions.

How to verify: Recompute the numeric statement from the specified inputs without reading a plotted curve. Re-run after increasing the most influential input by 10%, and explain the direction and approximate size of the change. Then compare that outcome with the limiting case for the model. A plausible number is not sufficient if the observation plane, normalization or statistical assumptions have changed.

Boundary conditions and common mistakes

Arctangent phase detectors wrap at ±π; direct unwrapping can fail near deep fades. A loop that tracks a noisy data decision may lock to a wrong stable phase.

An additional failure mode in urban wireless receiver arises when the local mechanism is interpreted as an end-to-end guarantee. For example, packets may be rejected by framing or replay checks even after an error-correcting decoder outputs a plausible bit sequence; conversely, a successful frame may be too late to serve a time-critical application. To separate causes, log the inputs and outputs of each major subsystem, retain the raw observation when possible, and name the exact stage at which a failure is declared.

Guided computational experiment

Sweep normalized frequency offset and loop gain for QPSK pilot symbols. Plot phase estimation error versus time; test acquisition from both small and large initial offsets.

Reproducibility protocol. Record the independent variables, their increments and physical units; state random seeds, number of simulated trials and target metrics. Use two numerical implementations for at least one predicted point. When drawing a probability curve, use enough trials to estimate its uncertainty and report the confidence interval; small error counts produce unstable estimates. When a parameter sweep crosses a model limit, annotate the plot rather than truncating inconvenient results.

Problem set with targeted response guidance

Question 1. Reference planes and dimensional consistency

Draw the component-level path through a moving receiver crosses an area with multipath echoes and oscillator drift. Label exactly where the inputs to “An oscillator mismatch introduces phase theta[k]=theta0+2piDelta_fkT_s, rotating complex baseband symbols as exp(j theta[k]).” are acquired or estimated. Construct a three-column table of quantity, unit, and uncertainty source. Identify one tempting but invalid substitution and explain which physical interface it crosses.

Answer guidance: A complete solution has a block diagram and a clear distinction between physical measurement and algorithmic estimate. For carrier recovery and phase-locked estimation, justify every normalization and explicitly say what is held constant when comparing two conditions.

Question 2. Rebuild the numerical case

Independently reconstruct the worked calculation for carrier recovery and phase-locked estimation. Change the leading numerical parameter by 20%, holding other inputs fixed, and explain whether the result changes linearly or nonlinearly. Supply every intermediate numerical step.

Answer guidance: The answer must reproduce the worked statement under its stated assumptions, account for units, and include an inverse or limiting check. If a result disagrees, trace the exact operation; do not round intermediate values until the final display.

Question 3. Competing design changes

For urban wireless receiver, propose two ways to improve the outcome represented by An oscillator mismatch introduces phase theta[k]=theta0+2piDelta_fkT_s, rotating complex baseband symbols as exp(j theta[k]).: one changes a transmitter or source parameter, the other changes receiver processing. List their respective energy, implementation, latency and spectral costs.

Answer guidance: Grade the response on tradeoffs, not a single optimization metric. For this topic, specify which impairment each intervention addresses and whether a gain in one stage increases overhead elsewhere.

Question 4. Break the assumptions

Create a deliberately unrealistic operating point for carrier recovery and phase-locked estimation and explain a specific broken assumption. Then propose a synthetic observation that would reveal the failure. Describe what a poorly documented analysis might incorrectly conclude.

Answer guidance: The response must identify an assumption explicitly and design a measurement that detects the discrepancy. Replacing one uncertain parameter with a convenient nominal value is not an assumption test.

Further engineering synthesis

To write a defensible report for carrier recovery and phase-locked estimation, separate evidence into three columns: a derivation, a reproducible numerical implementation and a system-level observation. The derivation establishes the modeled relationship; simulation checks implementation and explore cases that are hard to calculate by hand; field observation tests the relevance of modeling assumptions. Failure of a field measurement to match the derivation may reveal either a coding bug or a missing physical effect. Avoid the reflex to adjust free parameters until curves agree, because that conceals rather than explains uncertainty.

Finally trace the effect of carrier recovery and phase-locked estimation onto throughput, occupied bandwidth, energy per delivered information bit and deadline failures for urban wireless receiver. Describe which of these metrics has a monotonic response to parameter changes and which displays a tradeoff. Explain the direction of the tradeoff with one numerical or plotted piece of evidence; where evidence is absent, label the claim as a hypothesis. Every numerical conclusion should be reproducible from recorded inputs.

Cross-reference: See the model for Unit 3, Unit 3 project brief and its assessment. The simulation depicts a deliberately simplified subproblem; it does not certify a live communication system.

Unit 3 project — Receiver estimation and equalization

Design brief

Create an original computer-based engineering investigation of urban wireless receiver: a moving receiver crosses an area with multipath echoes and oscillator drift. The stakeholder fears that the receiver has limited pilot resources and cannot assume a stationary channel. Deliver a short technical report that combines the four models in Unit 3, an independent numeric calculation, a simple synthetic implementation and a comparison between two candidate solutions.

Required artifact A — model assumptions and operating points

Write a system block diagram and a table defining the reference points for all quantities in the four lessons. Include a benign operating point and two stresses, one concerning channels with memory and isi equalizers and the other concerning carrier recovery and phase-locked estimation. Give symbolic units and numerical values. Make clear which values are synthetic; do not label simulated observations as measured data.

Required artifact B — two methods, one controlled comparison

Implement an equation or algorithm from Matched filters and ML/MAP decisions, then independently recompute a selected point. Next vary an input related to Pilot-based channel estimates and LMS adaptation while holding the baseline model fixed. Record the dependent metric at at least ten settings; if the output is an estimated failure probability, run multiple seeds and show sampling uncertainty. Report a parameter setting at which the second candidate outperforms the first and one at which it does not.

Required artifact C — intentionally broken assumption

The limitations you must investigate include: (1) A receiver can improve total decision accuracy by using unequal priors while becoming less fair to the rare event. State the cost function before calling the threshold 'optimal'. (2) A small training residual does not validate generalization across time, carrier frequency or device temperature. Using pilots that are not actually orthogonal can bias a multichannel estimate. Choose the more relevant limitation for urban wireless receiver, inject an impairment that invalidates the original assumption, and explain in technical language why the ideal calculation no longer predicts the result. An analysis that merely says “noise got worse” will not pass this requirement.

Required artifact D — user-level consequence

The application is a moving receiver crosses an area with multipath echoes and oscillator drift. Define payload size, raw resource rate, protocol overhead, retransmission rule and the deadline for an accepted message. Trace low-level failure through framing and decoding into delivery success, delay and useful goodput. Prefer a table containing both one-attempt performance and end-to-end outcomes. Explain what real deployment measurements would be required.

Reproducibility and reporting rubric

Submit the source code, version or runtime description, seed list, parameter ranges and generated CSV. Use descriptive filenames, include a short README with instructions for a fresh run, and test one identity or limiting case. Cite the assumptions that make each formula valid. Allocate 30% to physics and mathematical correctness, 25% to experiment design, 20% to interpretation and failure analysis, 15% to reproducibility, and 10% to clarity. An unsupported claim of production readiness receives no credit.

Oral defense prompts

Explain why Channels with memory and ISI equalizers was included or excluded in the final design. Which numerical result is most sensitive to a poorly known parameter? What single new piece of hardware or field evidence would most change the conclusion? Finally, explain why the synthetic model is adequate for learning but does not establish a radio license, an optical product certification or safety compliance.

Unit 3 assessment — Receiver estimation and equalization

Context: a moving receiver crosses an area with multipath echoes and oscillator drift

Problems (at least three required per unit)

Question 1: Matched filters and ML/MAP decisions

Problem: Starting with For deterministic signal s in AWGN with covariance N0/2 per real dimension, a matched filter maximizes output sample SNR for a specified sampling instant., produce a dimensionally consistent worked example and one limiting case, then identify the violated assumption in this scenario: A receiver can improve total decision accuracy by using unequal priors while becoming less fair to the rare event. State the cost function before calling the threshold 'optimal'.

Mark scheme (10 points): 3 for model and assumptions, 3 for correct arithmetic or logical steps, 2 for limiting-case check, 2 for explaining why the stated limitation changes the conclusion. A correct final number without units and reference plane earns no more than 5 points.

Question 2: Channels with memory and ISI equalizers

Problem: Starting with A discrete-time channel y[k]=sum_l h[l]x[k-l]+n[k] creates intersymbol interference; a finite-tap linear equalizer attempts to invert or regularize this convolution., produce a dimensionally consistent worked example and one limiting case, then identify the violated assumption in this scenario: A frequency zero within the signaling band makes exact stable inversion problematic. An equalizer cannot restore information lost below the noise floor without paying an SNR penalty.

Mark scheme (10 points): 3 for model and assumptions, 3 for correct arithmetic or logical steps, 2 for limiting-case check, 2 for explaining why the stated limitation changes the conclusion. A correct final number without units and reference plane earns no more than 5 points.

Question 3: Pilot-based channel estimates and LMS adaptation

Problem: Starting with With observed y[k]≈h x[k]+n[k], a scalar pilot least-squares estimate is h_hat=sum x*[k]y[k] / sum |x[k]|^2., produce a dimensionally consistent worked example and one limiting case, then identify the violated assumption in this scenario: A small training residual does not validate generalization across time, carrier frequency or device temperature. Using pilots that are not actually orthogonal can bias a multichannel estimate.

Mark scheme (10 points): 3 for model and assumptions, 3 for correct arithmetic or logical steps, 2 for limiting-case check, 2 for explaining why the stated limitation changes the conclusion. A correct final number without units and reference plane earns no more than 5 points.

Question 4: Carrier recovery and phase-locked estimation

Problem: Starting with An oscillator mismatch introduces phase theta[k]=theta0+2piDelta_fkT_s, rotating complex baseband symbols as exp(j theta[k])., produce a dimensionally consistent worked example and one limiting case, then identify the violated assumption in this scenario: Arctangent phase detectors wrap at ±π; direct unwrapping can fail near deep fades. A loop that tracks a noisy data decision may lock to a wrong stable phase.

Mark scheme (10 points): 3 for model and assumptions, 3 for correct arithmetic or logical steps, 2 for limiting-case check, 2 for explaining why the stated limitation changes the conclusion. A correct final number without units and reference plane earns no more than 5 points.

Question 5: Joint design

Combine two lessons in the urban wireless receiver case. Propose a before/after experiment where only one controlled variable changes and show how you will report both a link-level metric and a delivered-payload metric.

Mark scheme: prioritize controlled comparison (4), technically justified outcome (4), reproducible evidence (2).

Question 6: Critical evidence review

Find a plausible but unsupported claim of improvement, identify which additional variable may account for the effect, and design one negative control to disprove your own conclusion.

Mark scheme: claims supported by computed or experimentally generated data receive credit; appeals to authority or unsupported statements do not.

Submission policy

Use explicit parameter values, code or workings, and a conclusion that distinguishes verified arithmetic from engineering assumptions.