The Proper Forcing Axiom is a powerful extension of the Baire Category Theorem which has proved highly effective in settling mathematical statements which are independent of ZFC. In contrast to the Continuum Hypothesis, it eliminates a large number of the pathological constructions which can be carried out using additional axioms of set theory. Mathematics Subject Classification (2000). Primary...

Due to the large number of users and the time-varying characteristics of wireless channels, it is very tough to inform the transmitter of full channel information in real multi-user MIMO broadcast systems. On the other hand, the capacity of multi-user systems greatly depends on the knowledge of the channel at the transmitter while this is not always the case in single-user MIMO systems. In this...

The focus of this paper is on spatial precoding in correlated multi-antenna channels, where the number of independent data-streams is adapted to trade-off the data-rate with the transmitter complexity. Towards the goal of a low-complexity implementation, a structured precoder is proposed, where the precoder matrix evolves fairly slowly at a rate comparable with the statistical evolution of the ...

To reduce acoustic feedback in hearing aids, adaptive filters are commonly used to estimate the feedback contribution in the microphone(s). While theoretically allowing for perfect feedback cancellation, in practice the solution is typically biased due to the closed-loop acoustical system. For an earpiece with multiple integrated microphones and loudspeakers, we propose to use a fixed beamforme...

This correspondence examines Tomlinson–Harashima precoding (THP) on discrete-time channels having intersymbol interference and additive white Gaussian noise. An exact expression for the maximum achievable information rate of zero-forcing (ZF) THP is derived as a function of the channel impulse response, the input power constraint, and the additive white Gaussian noise variance. Information rate...