Table of Contents
Fetching ...

Gaussian Channel Simulation with Rotated Dithered Quantization

Szymon Kobus, Lucas Theis, Deniz Gündüz

TL;DR

This work presents rotated dithered quantization as a computationally efficient framework for simulating multivariate Gaussian channels. By combining subtractive dithering with random rotations and lattice quantization, the method achieves rotationally invariant error distributions and matches Gaussian noise through careful moment alignment, yielding an $O(n^{-1})$ decay in KL-divergence to the true Gaussian channel. Excess information overhead is shown to shrink significantly with dimension and lattice choice, with reductions up to six-fold per dimension using high-dimensional lattices like the Leech lattice. The approach offers practical benefits for end-to-end lossy compression, federated learning, and privacy-preserving communication due to its scalability and low complexity.

Abstract

Channel simulation involves generating a sample $Y$ from the conditional distribution $P_{Y|X}$, where $X$ is a remote realization sampled from $P_X$. This paper introduces a novel approach to approximate Gaussian channel simulation using dithered quantization. Our method concurrently simulates $n$ channels, reducing the upper bound on the excess information by half compared to one-dimensional methods. When used with higher-dimensional lattices, our approach achieves up to six times reduction on the upper bound. Furthermore, we demonstrate that the KL divergence between the distributions of the simulated and Gaussian channels decreases with the number of dimensions at a rate of $O(n^{-1})$.

Gaussian Channel Simulation with Rotated Dithered Quantization

TL;DR

This work presents rotated dithered quantization as a computationally efficient framework for simulating multivariate Gaussian channels. By combining subtractive dithering with random rotations and lattice quantization, the method achieves rotationally invariant error distributions and matches Gaussian noise through careful moment alignment, yielding an decay in KL-divergence to the true Gaussian channel. Excess information overhead is shown to shrink significantly with dimension and lattice choice, with reductions up to six-fold per dimension using high-dimensional lattices like the Leech lattice. The approach offers practical benefits for end-to-end lossy compression, federated learning, and privacy-preserving communication due to its scalability and low complexity.

Abstract

Channel simulation involves generating a sample from the conditional distribution , where is a remote realization sampled from . This paper introduces a novel approach to approximate Gaussian channel simulation using dithered quantization. Our method concurrently simulates channels, reducing the upper bound on the excess information by half compared to one-dimensional methods. When used with higher-dimensional lattices, our approach achieves up to six times reduction on the upper bound. Furthermore, we demonstrate that the KL divergence between the distributions of the simulated and Gaussian channels decreases with the number of dimensions at a rate of .
Paper Structure (9 sections, 11 theorems, 44 equations, 2 figures, 2 tables)

This paper contains 9 sections, 11 theorems, 44 equations, 2 figures, 2 tables.

Key Result

Proposition 2

Let $V\in\mathbb{R}^n$ be a r.v. with distribution $P_V$, and $R\in\mathbb{R}^{n\times n}$ be drawn from $SO(n)$ according to the Haar measure. Then, the probability density function of $RV$ is rotationally invariant.

Figures (2)

  • Figure 1: Parameters $\lambda(k)$ and $2\sqrt{3}-s(k)$ in Equations (\ref{['equation:s_for_weibull']}) and (\ref{['equation:l_for_weibull']}) with logarithmic scale.
  • Figure 2: The dashed line indicates the $0.521$ excess information in the coding cost of the layered quantization scheme. The orange line corresponds to a numerical estimate of a lower bound on the excess information for a Gaussian source $X \sim \mathcal{N}(0, 1)$, a channel $Y \sim \mathcal{N}(X, \sigma^2)$, and various choices of $\sigma$ which translate to different values of $I(X; Y)$ on the x-axis.

Theorems & Definitions (18)

  • Definition 1: Lattice
  • Proposition 2
  • proof
  • Theorem 3: Theorem 2 in moulin_kullback-leibler_2014
  • Proposition 4
  • proof
  • Proposition 5
  • proof
  • Proposition 6
  • proof
  • ...and 8 more