Supplementary Material for Sensing Enhancement Design for MIMO-OFDM Integrated Sensing and Communication Systems With Subcarrier Allocation

This document serves as supplementary material to the paper “Sensing Enhancement Design for MIMO-OFDM Integrated Sensing and Communication Systems With Subcarrier Allocation.” It presents the proof that a specific function qualifies as a surrogate for a quadratic fractional objective employed in the main text. The proof is excluded from the manuscript due to space limitations.