No abstract uploaded!

In this article, we present a second-order in time implicit-explicit (IMEX) local discontinuous Galerkin (LDG) method for computing the Cahn-Hilliard equation, which describes the phase separation phenomenon. It is well-known that the Cahn-Hilliard equation has a nonlinear stability property, i.e., the free-energy functional decreases with respect to time. The discretized Cahn-Hilliard system modeled by the IMEX LDG method can inherit the nonlinear stability of the continuous model. We apply a stabilization technique and prove unconditional energy stability of our scheme. Numerical experiments are performed to validate the analysis. Computational efficiency can be significantly enhanced by using this IMEX LDG method with a large time step.

In this paper, we propose a conjectural multiplicity formula for general spherical varieties. For all the cases where a multiplicity formula has been proved, including Whittaker model, Gan-Gross-Prasad model, Ginzburg-Rallis model, Galois model and Shalika model, we show that the multiplicity formula in our conjecture matches the multiplicity formula that has been proved. We also give a proof of this multiplicity formula in two new cases.

The classical uncertainty principles deal with functions on abelian groups. In this paper, we discuss the uncertainty principles for finite index subfactors which include the cases for finite groups and finite dimensional Kac algebras. We prove the HausdorffYoung inequality, Young's inequality, the HirschmanBeckner uncertainty principle, the DonohoStark uncertainty principle. We characterize the minimizers of the uncertainty principles and then we prove Hardy's uncertainty principle by using minimizers. We also prove that the minimizer is uniquely determined by the supports of itself and its Fourier transform. The proofs take the advantage of the analytic and the categorial perspectives of subfactor planar algebras. Our method to prove the uncertainty principles also works for more general cases, such as Popa's <i></i>-lattices, modular tensor categories, etc.

We present a method for organizing a heterogeneous collection of 3D shapes for overview and exploration. Instead of relying on quantitative distances, which may become unreliable between dissimilar shapes, we introduce a qualitative analysis which utilizes multiple distance measures but only in cases where the measures can be reliably compared. Our analysis is based on the notion of quartets, each defined by two pairs of shapes, where the shapes in each pair are close to each other, but far apart from the shapes in the other pair. Combining the information from many quartets computed across a shape collection using several distance measures, we create a hierarchical structure we call categorization tree of the shape collection. This tree satisfies the topological (qualitative) constraints imposed by the quartets creating an effective organization of the shapes. We present categorization trees computed on various collections of shapes and compare them to ground truth data from human categorization. We further introduce the concept of degree of separation chart for every shape in the collection and show the effectiveness of using it for interactive shapes exploration.