Finite-state superhedging alternative (source code)

= Finite-state superhedging alternative

Let $P$ be the state-by-asset matrix of discounted gains. There exists $\theta$ with $Y-P\theta\geq0$ exactly when
$$
q^TY\geq0
$$
for every $q\geq0$ satisfying $P^Tq=0$. This is the finite-dimensional cone-separation, or Farkas-duality, form of superhedging.