I encounter the following problem during the course of my research: Given a random variable $Y=(Y_1,Y_2)$ with values in $\mathbb R^2$ and the cost function $c(x,y)=(x_1-y_1)(x_2-y_2)$ where $x=(x_1,x_2),y=(y_1,y_2)$ are points in $\mathbb R^2$, we consider
$$\min\mathbb E(c(X,Y))$$
where the minimization is taken over all $Y$-measurable random variable $X$ such that $(X,Y)$ forms a 1-step martingale. Equivalently, we would like to minimize $\min\mathbb E(c(T(Y),Y))$ over all measurable map $T:\mathbb R^2\rightarrow \mathbb R^2$, so that $(T(Y),Y)$ is a martingale. (thus this problem is similar to the Monge optimal transport problem in a "backward" sense, plus a martingale constraint).
We know that solution exists if the law of $Y$ is nice(say, absolutely continuous w.r.t. the Lebesgue measure). In general, we expect that solution does not exist.
My question is therefore to construct an example where there is no solution to the above problem.
Any advise and hint are greatly appreciated!