We consider a class of structured nonsmooth difference-of-convex minimization. We allow non-smoothness in both the convex and concave components in the objective function, with a finite max structure in the concave part. Our focus is on algorithms that compute a (weak or standard) directional-stationary point as advocated in a recent work of Pang et al. (Math Oper Res 42:95–118, 2017). Our linear convergence results are based on direct generalizations of the assumptions of error bounds and separation of isocost surfaces proposed in the seminal work of Luo and Tseng (Ann Oper Res 46–47:157–178, 1993), as well as one additional assumption of locally linear regularity regarding the intersection of certain stationary sets and dominance regions.

In this talk, we will present couple of recent works about the convex floating bodies of equilibrium, asking whether there exists a non-ball convex body floating in the water in equilibrium position.

Let F be a family of sets in R^d. A set M〖⊂R〗^d is called F- convex if for any pair of distinct points x,y∈M, there is a set F∈F such that x,y∈F and

It is a survey talk on the Cheeger and Gromoll's well-known Soul Theorem, which states that any noncompact complete manifold M with nonnegative sectional curvature contains a compact totally geodesic submanifold Σ in M, called the soul of M, whose normal bundle is diffeomorphic to M. As a consequence, all the topology of M is concentrated in Σ, therefore is of finite type. Cheeger and Gromoll also conjectured that if M is of strictly positive curvature at one point, then the soul is also a point (thus M is diffeomorphic to the Euclidean space). The solution of this Soul Conjecture is one of G. Perelman's famous works, where some essential geometric structures from M to the soul were established. The soul theorem provides a guideline in understanding of manifolds with various curvatures, e.g., why the unsolved Milnor conjecture is reasonalble for nonnegative Ricci curvature. Many works have been invoked by Cheeger-Gromoll and Perelman's work.

In this talk, we will review the classical Gehring’s linked sphere problem. Gage’s solution to this problem will be sketched. We will also discuss Gromov’s point of view of this problem and his approach to the isoperimetric inequality in an infinite dimensional Banach space. Our spherical version of this linked sphere problem will also be mentioned. 腾讯会议：https://meeting.tencent.com/s/vjvTdiIhDfQv

In this talk, I will survey the classical results on blow-up analysis of 2d harmonic maps, including the bubble-tree construction. Then I will introduce some recent progress in this area.

This talk concerns the global existence of smooth sonic-supersonic potential flows in a two-dimensional expanding nozzle with the critical geometry at the inlet. The flow is governed by a quasilinear non-strictly hyperbolic equation with degeneracy at the inlet. An interesting phenomenon is that the existence of such sonic-supersonic flows depends on the height of the inlet. These results, together with other works, describe completely the geometry of the de Laval nozzles where there are smooth transonic flows of Meyer type whose sonic points are all exceptional.

Coding theory is a research field that spans across mathematics, computer science and engineering. It makes use of classical and modern algebraic techniques involving finite fields, group theory, polynomial algebra, etc, and it is concerned with metric structures of codes. Constructing codes from shorter ones and investigating their properties via those of shorter ones is an important and hot topic in coding theory. Blackmore and Norton (2001) introduced the notion of matrix product codes over finite fields, which is a generalization of many well-known constructions of codes, such as the (u|u + v)-construction, etc. In this talk, we will summarize some recent works on matrix product codes.