A Note on the Probability of Rectangles for Correlated Binary Strings

Or Ordentlich*, Yury Polyanskiy, Ofer Shayevitz

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Abstract

Consider two sequences of ${n}$ independent and identically distributed fair coin tosses, ${X}=({X}_{1},\ldots,{X}_{n})$ and ${Y}=({Y}_{1},\ldots,{Y}_{n})$ , which are $\rho $ -correlated for each ${j}$ , i.e. $\mathbb {P}[{X}_{j}={Y}_{j}] = {\frac{1+\rho }{ 2}}$. We study the question of how large (small) the probability $\mathbb {P}[{X} \in {A}, {Y}\in {B}]$ can be among all sets ${A},{B}\subset \{0,1\}^{n}$ of a given cardinality. For sets $|{A}|,|{B}| = \Theta (2^{n})$ it is well known that the largest (smallest) probability is approximately attained by concentric (anti-concentric) Hamming balls, and this can be proved via the hypercontractive inequality (reverse hypercontractivity). Here we consider the case of $|{A}|,|{B}| = 2^{\Theta ({n})}$. By applying a recent extension of the hypercontractive inequality of Polyanskiy-Samorodnitsky (J. Functional Analysis, 2019), we show that Hamming balls of the same size approximately maximize $\mathbb {P}[{X} \in {A}, {Y}\in {B}]$ in the regime of $\rho \to 1$. We also prove a similar tight lower bound, i.e. show that for $\rho \to 0$ the pair of opposite Hamming balls approximately minimizes the probability $\mathbb {P}[{X} \in {A}, {Y}\in {B}]$.

Original languageEnglish
Article number9171899
Pages (from-to)7878-7886
Number of pages9
JournalIEEE Transactions on Information Theory
Volume66
Issue number12
DOIs
StatePublished - Dec 2020

Bibliographical note

Publisher Copyright:
© 1963-2012 IEEE.

Keywords

  • Isoperimetric inequalities
  • binary adder multiple access channel (MAC)
  • hypercontractivity

Fingerprint

Dive into the research topics of 'A Note on the Probability of Rectangles for Correlated Binary Strings'. Together they form a unique fingerprint.

Cite this