The alternating direction multiplier method (ADMM) is widely used in computer graphics for solving optimization problems that can be nonsmooth and nonconvex. It converges quickly to an approximate solution, but can take a long time to converge to a solution of high‐accuracy. Previously, Anderson acceleration has been applied to ADMM, by treating it as a fixed‐point iteration for the concatenation of the dual variables and a subset of the primal variables. In this paper, we note that the equivalence between ADMM and Douglas‐Rachford splitting reveals that ADMM is in fact a fixed‐point iteration in a lower‐dimensional space. By applying Anderson acceleration to such lower‐dimensional fixed‐point iteration, we obtain a more effective approach for accelerating ADMM. We analyze the convergence of the proposed acceleration method on nonconvex problems, and verify its effectiveness on a variety of computer graphics including geometry processing and physical simulation.

We obtain two-sided sub-Gaussian estimates of heat kernels for strongly local Dirichlet forms on intervals, equipped with self-similar measures generated by iterated function systems (IFS's) that do not satisfy the open set condition (OSC) and have overlaps. We first give a framework for heat kernel estimates on intervals, and then consider examples of self-similar measures to illustrate this phenomenon. These examples include the infinite Bernoulli convolution associated with the golden ratio, and a family of convolutions of Cantor-type measures. We make use of Strichartz second-order identities defined by auxiliary IFS's to compute measures of cells on different levels. These auxiliary IFS's do satisfy the OSC and are used to define new metrics. The walk dimensions obtained under these new metrics are strictly greater than 2 and are closely related to the spectral dimension of fractal Laplacians.

Peskin's Immersed Boundary (IB) method is one of the most popular numerical methods for many years and has been applied to problems in mathematical biology, fluid mechanics, material sciences, and many other areas. Peskiness IB method is associated with discrete delta functions. It is believed that the IB method is first order accurate in the $L^{\infty}$ norm. But almost no rigorous proof could be found in the literature until recently [Mori, Comm. Pure. Appl. Math: 61:2008] in which the author showed that the velocity is indeed first order accurate for the Stokes equations with a periodic boundary condition. In this paper, we show first order convergence with a $\log h$ factor of the IB method for elliptic interface problems with Dirichlet boundary conditions.

We study the well-posedness of a unified system of coupled forward-backward stochastic differential equations (FB-SDEs) with Levy jumps and double completely-S skew reflections. Owing to the reflections, the solution to an embedded Skorohod problem may be not unique, i.e., bifurcations may occur at reflection boundaries, the well-known contraction mapping approach can not be extended directly to solve our problem. Thus, we develop a weak convergence method to prove the well-posedness of an adapted 6-tuple weak solution in the sense of distribution to the unified system. The proof heavily depends on newly established Malliavin calculus for vector-valued Levy processes together with a generalized linear growth and Lipschitz condition that guarantees the well-posedness of the unified system even under a random environment. Nevertheless, if a more strict boundary condition is imposed, i.e., the spectral radii in certain sense for the reflections are strictly less than the unity, a unique adapted 6-tuple strong solution in the sense of sample pathwise is concerned. In addition, as applications and economical studies of our unified system, we also develop new techniques including deriving a generalized mutual information formula for signal processing over possible non-Gaussian channels with multi-input multi-output (MIMO) antennas and dynamics driven by Levy processes.

We prove that if a connected Lie group action on a complete Riemannian manifold preserves the geodesics (considered as unparameterized curves), then the metric has constant positive sectional curvature, or the group acts by affine transformations.