1.2NADec 28, 2017
A novel divergence-free Finite Element Method for the MHD Kinematics equations using Vector-potentialLingxiao Li
We propose a new mixed finite element method for the three-dimensional steady magnetohydrodynamic (MHD) kinematics equations for which the velocity of the fluid is given. Although prescribing the velocity field leads to a simpler model than full MHD equations, its conservative and efficient numerical methods are still active research topic. The distinctive feature of our discrete scheme is that the divergence-free conditions for current density and magnetic induction are both satisfied. To reach this goal, we use magnetic vector potential to represent magnetic induction and resort to H(div)-conforming element to discretize the current density. We develop an preconditioned iterative solver based on a block preconditioner for the algebraic systems arising from the discretization. Several numerical experiments are implemented to verify the divergence-free properties, the convergence rate of the finite element scheme and the robustness of the preconditioner.
8.5NAMay 5
Optimal error estimate of an isoparametric upwind discontinuous Galerkin method for radiation transport equation on curved domainsChanghui Yao, Yunpan Ma, Lingxiao Li
In recent years, high-order finite element methods on high-order meshes have attracted considerable attention. This work investigates the isoparametric upwind discontinuous Galerkin method for the radiation transport equation on a bounded domain with a piecewise $C^{k+1}$ smooth curved boundary. We use the isoparametric mapping to approximate the curved domain and construct a curved upwind discontinuous Galerkin scheme. The first-order hyperbolic nature and the complexity introduced by non-affine transformation, lead to additional difficulties for geometric approximation, numerical stability and the optimal error estimate. To address these issues, with the help of an isoparametric auxiliary operator, we first prove that the bilinear form is continuous with respect to the DG norm when its first argument is the isoparametric projection error. Then the geometric approximation error of inflow boundary of original domain is precisely estimated. The error order between discrete normal vectors and the continuous ones are also proven. Finally, the rigorous analysis yields an optimal convergence rate in the DG norm. Two- and three-dimensional numerical tests are conducted to support the theoretical results.
Learning Proximal Operators to Discover Multiple OptimaLingxiao Li, Noam Aigerman, Vladimir G. Kim et al.
Finding multiple solutions of non-convex optimization problems is a ubiquitous yet challenging task. Most past algorithms either apply single-solution optimization methods from multiple random initial guesses or search in the vicinity of found solutions using ad hoc heuristics. We present an end-to-end method to learn the proximal operator of a family of training problems so that multiple local minima can be quickly obtained from initial guesses by iterating the learned operator, emulating the proximal-point algorithm that has fast convergence. The learned proximal operator can be further generalized to recover multiple optima for unseen problems at test time, enabling applications such as object detection. The key ingredient in our formulation is a proximal regularization term, which elevates the convexity of our training loss: by applying recent theoretical results, we show that for weakly-convex objectives with Lipschitz gradients, training of the proximal operator converges globally with a practical degree of over-parameterization. We further present an exhaustive benchmark for multi-solution optimization to demonstrate the effectiveness of our method.
Large-Scale Wasserstein Gradient FlowsPetr Mokrov, Alexander Korotin, Lingxiao Li et al.
Wasserstein gradient flows provide a powerful means of understanding and solving many diffusion equations. Specifically, Fokker-Planck equations, which model the diffusion of probability measures, can be understood as gradient descent over entropy functionals in Wasserstein space. This equivalence, introduced by Jordan, Kinderlehrer and Otto, inspired the so-called JKO scheme to approximate these diffusion processes via an implicit discretization of the gradient flow in Wasserstein space. Solving the optimization problem associated to each JKO step, however, presents serious computational challenges. We introduce a scalable method to approximate Wasserstein gradient flows, targeted to machine learning applications. Our approach relies on input-convex neural networks (ICNNs) to discretize the JKO steps, which can be optimized by stochastic gradient descent. Unlike previous work, our method does not require domain discretization or particle simulation. As a result, we can sample from the measure at each time step of the diffusion and compute its probability density. We demonstrate our algorithm's performance by computing diffusions following the Fokker-Planck equation and apply it to unnormalized density sampling as well as nonlinear filtering.
25.4CVNov 22, 2018
Supervised Fitting of Geometric Primitives to 3D Point CloudsLingxiao Li, Minhyuk Sung, Anastasia Dubrovina et al.
Fitting geometric primitives to 3D point cloud data bridges a gap between low-level digitized 3D data and high-level structural information on the underlying 3D shapes. As such, it enables many downstream applications in 3D data processing. For a long time, RANSAC-based methods have been the gold standard for such primitive fitting problems, but they require careful per-input parameter tuning and thus do not scale well for large datasets with diverse shapes. In this work, we introduce Supervised Primitive Fitting Network (SPFN), an end-to-end neural network that can robustly detect a varying number of primitives at different scales without any user control. The network is supervised using ground truth primitive surfaces and primitive membership for the input points. Instead of directly predicting the primitives, our architecture first predicts per-point properties and then uses a differential model estimation module to compute the primitive type and parameters. We evaluate our approach on a novel benchmark of ANSI 3D mechanical component models and demonstrate a significant improvement over both the state-of-the-art RANSAC-based methods and the direct neural prediction.