Let Ω⊂$R$^{$n$}be an arbitrary open set. In this paper it is shown that if a Sobolev function$f$∈$W$^{1,$p$}(Ω) possesses a zero trace (in the sense of Lebesgue points) on ϖΩ, then$f$is weakly zero on ϖΩ in the sense that$f$∈$W$_{0}^{1,$p$}(Ω).

The dynamic formulation of optimal transport has attracted growing interests in scientific computing and machine learning, and its computation requires to solve a PDE-constrained optimization problem. The classical Eulerian discretization based approaches suffer from the curse of dimensionality, which arises from the approximation of high-dimensional velocity field. In this work, we propose a deep learning based method to solve the dynamic optimal transport in high dimensional space. Our method contains three main ingredients: a carefully designed representation of the velocity field, the discretization of the PDE constraint along the characteristics, and the computation of high dimensional integral by Monte Carlo method in each time step. Specifically, in the representation of the velocity field, we apply the classical nodal basis function in time and the deep neural networks in space domain with the H1-norm regularization. This technique promotes the regularity of the velocity field in both time and space such that the discretization along the characteristic remains to be stable during the training process. Extensive numerical examples have been conducted to test the proposed method. Compared to other solvers of optimal transport, our method could give more accurate results in high dimensional cases and has very good scalability with respect to dimension. Finally, we extend our method to more complicated cases such as crowd motion problem.

No abstract uploaded!

No abstract uploaded!

In this paper, we introduce a motivic version of To¨en’s derived Hall algebra. Then we point out that the two kinds of Hall algebras in the sense of To¨en and Kontsevich–Soibelman, respectively, are Drinfeld dual pairs, not only in the classical case (by counting over finite fields) but also in the motivic version. Consequently they are canonically isomorphic. All proofs, including that for the most important associative property, are deduced in a self-contained way by analyzing the symmetry properties around the octahedral axiom, a method we used previously