Skip to main content
added 1004 characters in body
Source Link
d.k.o.
  • 185
  • 9

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ (independent of $Z$) s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

In particular, does the inequality hold for $\mathcal{C}=\{x,z\in\mathbb{R}^d,t\in\mathbb{R}:x^{\top}z\le t\}$?


The case $d=1$ is relatively simple. Assume, for simplicity, that $Z>0$ a.s. and let $P_X(A,\cdot)$ be the Markov kernel corresponding to $\mathsf{P}(X\in A\mid \mathcal{F})$ ($P_Y(A,\cdot)$ is defined similarly). Then \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad =|P_X((-\infty,w])-P_Y((-\infty,w])| \quad\text{a.s.}, \end{align} where $w=t/Z$ and $w$ is $\mathcal{F}$-measurable. Approximating $w$ from above by a sequence of step functions and taking the limit ($\because$ the map $t\mapsto |P_X((-\infty,t],\omega)-P_Y((-\infty,t],\omega)|$ is right-continuous) we get \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}, \end{align} where $\mathcal{C}=\{(-\infty,t]:t\in\mathbb{R}\}$. However, I don't see a straightforward way to generalize this for $d>1$.

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ (independent of $Z$) s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

In particular, does the inequality hold for $\mathcal{C}=\{x,z\in\mathbb{R}^d,t\in\mathbb{R}:x^{\top}z\le t\}$?

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ (independent of $Z$) s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

In particular, does the inequality hold for $\mathcal{C}=\{x,z\in\mathbb{R}^d,t\in\mathbb{R}:x^{\top}z\le t\}$?


The case $d=1$ is relatively simple. Assume, for simplicity, that $Z>0$ a.s. and let $P_X(A,\cdot)$ be the Markov kernel corresponding to $\mathsf{P}(X\in A\mid \mathcal{F})$ ($P_Y(A,\cdot)$ is defined similarly). Then \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad =|P_X((-\infty,w])-P_Y((-\infty,w])| \quad\text{a.s.}, \end{align} where $w=t/Z$ and $w$ is $\mathcal{F}$-measurable. Approximating $w$ from above by a sequence of step functions and taking the limit ($\because$ the map $t\mapsto |P_X((-\infty,t],\omega)-P_Y((-\infty,t],\omega)|$ is right-continuous) we get \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}, \end{align} where $\mathcal{C}=\{(-\infty,t]:t\in\mathbb{R}\}$. However, I don't see a straightforward way to generalize this for $d>1$.

added 21 characters in body
Source Link
d.k.o.
  • 185
  • 9

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ (independent of $Z$) s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

In particular, does the inequality hold for $\mathcal{C}=\{x,z\in\mathbb{R}^d,t\in\mathbb{R}:x^{\top}z\le t\}$?

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ (independent of $Z$) s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ (independent of $Z$) s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

In particular, does the inequality hold for $\mathcal{C}=\{x,z\in\mathbb{R}^d,t\in\mathbb{R}:x^{\top}z\le t\}$?

added 21 characters in body
Source Link
d.k.o.
  • 185
  • 9

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ (independent of $Z$) s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

Let $X,Y$ and $Z$ be random vectors in $\mathbb{R}^d$ defined on $(\Omega,\mathcal{H},\mathsf{P})$ s.t. $Z$ is $\mathcal{F}$-measurable for some $\mathcal{F}\subset\mathcal{H}$. Define a family of random, convex, closed sets: $$ A_t(\omega):=\{x\in \mathbb{R}^d:x^{\top}Z(\omega)\le t\} $$ indexed by $t\in\mathbb{R}$. Is there a family of sets $\mathcal{C}\subset\mathcal{B}(\mathbb{R}^d)$ (independent of $Z$) s.t. for each $t\in \mathbb{R}$, \begin{align} &|\mathsf{P}(X\in A_t\mid\mathcal{F})-\mathsf{P}(Y\in A_t\mid \mathcal{F})| \\ &\qquad\le \operatorname{esssup_{C\in\mathcal{C}}}|\mathsf{P}(X\in C\mid\mathcal{F})-\mathsf{P}(Y\in C\mid \mathcal{F})| \quad\text{a.s.}? \end{align}

added 28 characters in body
Source Link
d.k.o.
  • 185
  • 9
Loading
edited title
Link
d.k.o.
  • 185
  • 9
Loading
Source Link
d.k.o.
  • 185
  • 9
Loading