PIIDG extension of the orthogonality lemma for separable-IID functions

At least 3 years old · documented by

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.