PIIDG extension of the orthogonality lemma for separable-IID functions

From papers

Let a\bm{a} and u\bm{u} be PIIDG vectors, meaning partially independent and identically distributed Gaussian vectors, and assume that they are entry-wise jointly Gaussian. Let π=π(a)\bm{\boldsymbol\pi}=\pi(\bm{a}) be generated by a separable-IID function, and suppose

E{a}=E{u}=0,E{aTπ}=0.\operatorname{E}\{\bm{a}\}=\operatorname{E}\{\bm{u}\}=\bm{0},\qquad \operatorname{E}\{\bm{a}^{\rm T}\bm{\boldsymbol\pi}\}=0.

PIIDG orthogonality conjecture. Then

1NaTπLLN0\frac{1}{N}\bm{a}^{\rm T}\bm{\boldsymbol\pi}\overset{\rm LLN}{\longrightarrow}0

and

1NuTπLLN0.\frac{1}{N}\bm{u}^{\rm T}\bm{\boldsymbol\pi}\overset{\rm LLN}{\longrightarrow}0.

This conjecture extends the stated extended Stein lemma from IIDG vectors to PIIDG vectors. The source gives no resolution or proof.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Lei Liu, Yiyao Cheng, Shansuo Liang, Jonathan H. Manton and Li Ping, “On Orthogonal Approximate Message Passing”, arXiv:2203.00224 (2023).

Solutions 0

No solutions have been posted yet.