A proof of the log-concavity conjecture related to the computation of the ergodic capacity of MIMO channels

Published in: CoRR (2009)

Keyphrases

fading channels
multi channel
closely related
mimo systems
data sets
computational complexity
efficient computation
end to end
theorem prover
communication channels
multiple input multiple output