Detailed Steps of the Fourier-Motzkin Elimination

TL;DR

This paper provides a detailed procedural explanation for deriving bounds on certain rate variables in the context of a two-user linear deterministic interference channel, supporting the main research on capacity regions and network coding.

Contribution

It offers an in-depth step-by-step methodology for Fourier-Motzkin elimination applied to capacity region analysis in interference channels.

Findings

Clarifies the elimination process for rate bounds.

Supports the main paper's capacity region characterization.

Facilitates understanding of multi-session network coding applications.

Abstract

This file provide the detailed steps for obtaining the bounds on $R_1$, $R_2$ via the obtained results on $(R_{1c},R_{1p},R_{2c},R_{2p})$. It is subplementary material for the paper titled "On the Capacity Region of Two-User Linear Deterministic Interference Channel and Its Application to Multi-Session Network Coding"