Consider the SDE system with coefficients satisfying Assumption~ and ϵ=1. For k∈N, let deterministic initial data (Xi(k)(0))i∈[Nk] and (wi,j(k)(0))i,j∈[Nk] satisfy Assumption~, and suppose
k→∞limk1,k2≥ksupγW1,□(((Xi(k1)(0))i∈[Nk1],(wi,j(k1)(0))i,j∈[Nk1],[Nk1]),((Xi(k2)(0))i∈[Nk2],(wi,j(k2)(0))i,j∈[Nk2],[Nk2]))=0.
Partial homogenization conjecture. If the corresponding solutions of are denoted by (Xi(k)(t))i∈[Nk] and (wi,j(k)(t))i,j∈[Nk], then
t→∞limk→∞limsupk1,k2≥ksupE[δW1,□(((Xi(k1)(t))i∈[Nk1],(wi,j(k1)(t))i,j∈[Nk1],[Nk1]),((Xi(k2)(t))i∈[Nk2],(wi,j(k2)(t))i,j∈[Nk2],[Nk2]))]=0.
The claim predicts that initial data asymptotically indistinguishable in the weaker metric become indistinguishable in the stronger metric at long times, expressing partial homogenization of the weight structures.