Some Proof Derivations and Further Simulation Results for "Semidefinite Relaxation and Approximation Analysis of a Beamformed Alamouti Scheme for Relay Beamforming Networks"

TL;DR

This paper provides detailed mathematical derivations and additional simulation results to support the analysis of a semidefinite relaxation approach for a beamformed Alamouti scheme in relay networks.

Contribution

It offers in-depth derivations of key lemmas and supplementary simulations that validate the proposed relay beamforming scheme's effectiveness.

Findings

Derivations of Lemma 1-2 are provided in detail.

Additional simulations confirm the scheme's viability.

Results support the effectiveness of the semidefinite relaxation approach.

Abstract

This is a companion technical report of the main manuscript "Semidefinite Relaxation and Approximation Analysis of a Beamformed Alamouti Scheme for Relay Beamforming Networks". The report serves to give detailed derivations of Lemma 1-2 in the main manuscript, which are too long to be included in the latter. In addition, more simulation results are presented to verify the viability of the BF Alamouti AF schemes developed in the main manuscript.