Search

Generalizing wavelets by adding desired redundancy and flexibility, framelets (i.e., wavelet frames) are of interest and importance in many applications such as image processing and numerical algorithms. Several key properties of framelets are high vanishing moments for sparse multiscale representation, fast framelet transforms for numerical efficiency, and redundancy for robustness. However, it is a challenging problem to study and construct multivariate nonseparable framelets, mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices. Moreover, all the known multivariate tight framelets derived from spline refinable scalar functions have only one vanishing moment, and framelets derived from refinable vector functions are barely studied yet in the literature. In this paper, we circumvent the above difficulties through the approach of quasi-tight framelets, which behave almost identically to tight framelets. Employing the popular oblique extension principle (OEP), from an arbitrary compactly supported M-refinable vector function ϕ with multiplicity greater than one, we prove that we can always derive from ϕ a compactly supported multivariate quasi-tight framelet such that: (i) all the framelet generators have the highest possible order of vanishing moments; (ii) its associated fast framelet transform has the highest balancing order and is compact. For a refinable scalar function ϕ (i.e., its multiplicity is one), the above item (ii) often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP-based multivariate quasi-tight framelet derived from ϕ satisfying item (i). We point out that constructing OEP-based quasi-tight framelets is closely related to the generalized spectral factorization of Hermitian trigonometric polynomial matrices. Our proof is critically built on a newly developed result on the normal form of a matrix-valued filter, which is of interest and importance in itself for greatly facilitating the study of refinable vector functions and multiwavelets/multiframelets. This paper provides a comprehensive investigation on OEP-based multivariate quasi-tight multiframelets and their associated framelet transforms with high balancing orders. This deepens our theoretical understanding of multivariate quasi-tight multiframelets and their associated fast multiframelet transforms.

In the study of the constant in Ahlfors' second fundamental theorem involving a set E_{q} of q points, branch values of covering surfaces outside E_{q} bring a lot of troubles. To avoid this situation, for a given surface S, it is useful to construct a new surface So such that L(So) =H(S), and all branch values of So are contained in E_{q}. The goal of this paper is to prove the existence of such So, which generalizes Lemma 9.1 and Theorem 10.1 in Zhang G.Y.: The precise bound for the area-length ratio in Ahifors' theory of covering surfaces. Invent math 191:197-253(2013), This paper is a preparation for the further research on Ahlfors' theorey of covering surfaces

Let $A$ be a (left and right) Noetherian ring that is semiperfect. Let $e$ be an idempotent of $A$ and consider the ring $\Gamma:=(1-e)A(1-e)$ and the semi-simple right $A$-module $S_e : = eA/e{\rm rad}A$. In this paper, we investigate the relationship between the global dimensions of $A$ and $\Gamma$, by using the homological properties of $S_e$. More precisely, we consider the Yoneda ring $Y(e):={\rm Ext}^*_A(S_e,S_e)$ of $e$. We prove that if $Y(e)$ is artinian of finite global dimension, then $A$ has finite global dimension if and only if so is $\Gamma$. We also investigate the situation where both $A,\Gamma$ have finite global dimension. When $A$ is Koszul and finite dimensional, this implies that $Y(e)$ has finite global dimension. We end the paper with a reduction technique to compute the Cartan determiant of artin algebras. We prove that if $Y(e)$ has finite global dimension, then the Cartan determinants of $A$ and $\Gamma$ coincide. This provides a new way to approach the long-standing Cartan determinant conjecture., Comment: 14 pages

In this paper, we introduce the notions of differential graded (DG) Poisson algebra and DG Poisson module. Let $A$ be any DG Poisson algebra. We construct the universal enveloping algebra of $A$ explicitly, which is denoted by $A^{ue}$. We show that $A^{ue}$ has a natural DG algebra structure and it satisfies certain universal property. As a consequence of the universal property, it is proved that the category of DG Poisson modules over $A$ is isomorphic to the category of DG modules over $A^{ue}$. Furthermore, we prove that the notion of universal enveloping algebra $A^{ue}$ is well-behaved under opposite algebra and tensor product of DG Poisson algebras. Practical examples of DG Poisson algebras are given throughout the paper including those arising from differential geometry and homological algebra., Comment: Accepted by Science China Mathematics

In this paper, we study isoparametric hypersurfaces in Finsler space forms by investigating focal points, tubes and parallel hypersurfaces of submanifolds. We prove that the focal submanifolds of isoparametric hypersurfaces are anisotropic-minimal and obtain the Cartan-type formula in a Finsler space form with vanishing reversible torsion, from which we give some classifications on the number of distinct principal curvatures or their multiplicities., Comment: 22 pages, comments are welcome!

The present paper is concerned with a class of quasi-linear elliptic degenerate equations. The degenerate operator arises from analysis of manifolds with singularities. The variational methods are applied here to verify the existence of infinitely many solutions for the problem.

In this paper, we study transitive partially hyperbolic diffeomorphisms with one-dimensional topologically neutral center, meaning that the length of the iterate of small center segments remains small. Such systems are dynamically coherent. We show that there exists a continuous metric along the center foliation which is invariant under the dynamics. As an application, we classify the transitive partially hyperbolic diffeomorphisms on 3-manifolds with topologically neutral center., 29 pages, 2 figures

In this paper, we deal with a singular quasilinear critical elliptic equation of Lichnerowicz type involving the p-Laplacian operator. With the help of the subcritical approach from variational method, we obtain the non-existence, existence, and multiplicity results under some given assumptions., 32 pages,2 figures. It has been accepted for publication in SCIENCE CHINA Mathematics

In this paper, we obtain a necessary and sufficient condition for a $U(n)$-invariant complex Finsler metric $F$ on domains in $\mathbb{C}^n$ to be strongly convex, which also makes it possible to investigate relationship between real and complex Finsler geometry via concrete and computable examples. We prove a rigid theorem which states that a $U(n)$-invariant strongly convex complex Finsler metric $F$ is a real Berwald metric if and only if $F$ comes from a $U(n)$-invariant Hermitian metric. We give a characterization of $U(n)$-invariant weakly complex Berwald metrics with vanishing holomorphic sectional curvature and obtain an explicit formula for holomorphic curvature of $U(n)$-invariant strongly pseudoconvex complex Finsler metric. Finally, we prove that the real geodesics of some $U(n)$-invariant complex Finsler metric restricted on the unit sphere $\pmb{S}^{2n-1}\subset\mathbb{C}^n$ share a specific property as that of the complex Wrona metric on $\mathbb{C}^n$.cc, 22 pages, has been accepted for publication in SCIENCE CHINA Mathematics

We give the extension formulae on almost complex manifolds and give decompositions of the extension formulae. As applications, we study $(n,0)$-forms, the $(n,0)$-Dolbeault cohomology group and $(n,q)$-forms on almost complex manifolds., a new subsection about $(n,q)$-forms added, some typos revised, no change in mathematical content. This paper has been accepted for publication in SCIENCE CHINA Mathematics

Let $\fg$ be an affine Kac-Moody algebra, and $\mu$ a diagram automorphism of $\fg$. In this paper, we give an explicit realization for the universal central extension $\wh\fg[\mu]$ of the twisted loop algebra of $\fg$ related to $\mu$, which provides a Moody-Rao-Yokonuma presentation for the algebra $\wh\fg[\mu]$ when $\mu$ is non-transitive, and the presentation is indeed related to the quantization of toroidal Lie algebras.

In this paper, we study the integrals of the Ricci curvature over metric balls in a Finsler manifold, which can be viewed as an Lq-norm of the Ricci curvature. By bounding such integrals from above, we obtain several Myers type theorems.

In this paper, we firstly extend Theorem 5.1.1 in \cite {Helein} due to H\'elein to a rescaled branched conformal immersed sequence(c.f. Theorem 1.5). By virtue of this local convergence theorem, we study the blowup behavior of a sequence of branched conformal immersions of closed Riemannian surface in $\mathbb{R}^{n}$ with uniformly bounded areas and Willmore energies. Furthermore, we prove that the integral identity of Gauss curvature is true., Comment: some typos corrected; accepted for publication in SCIENCE CHINA Mathematics

Motivated by the study of coupled K\"ahler-Einstein metrics by Hultgren and Witt Nystr\"om and coupled K\"ahler-Ricci solitons by Hultgren, we study in this paper coupled Sasaki-Einstein metrics and coupled Sasaki-Ricci solitons. We first show an isomorphism between the Lie algebra of all transverse holomorphic vector fields and certain space of coupled basic functions related to coupled twisted Laplacians for basic functions, and obtain extensions of the well-known obstructions to the existence of K\"ahler-Einstein metrics to this coupled case. These results are reduced to coupled K\"ahler-Einstein metrics when the Sasaki structure is regular. Secondly we show the existence of toric coupled Sasaki-Einstein metrics when the basic first Chern class is positive extending the work of Hultgren., Comment: Final version. To appear in Science China Math

In this paper, we study the Poisson stability (in particular, stationarity, periodicity, quasi-periodicity, Bohr almost periodicity, almost automorphy, recurrence in the sense of Birkhoff, Levitan almost periodicity, pseudo periodicity, almost recurrence in the sense of Bebutov, pseudo recurrence, Poisson stability) of motions for monotone nonautonomous dynamical systems and of solutions for some classes of monotone nonautonomous evolution equations (ODEs, FDEs and parabolic PDEs). As a byproduct, some of our results indicate that all the trajectories of monotone systems converge to the above mentioned Poisson stable trajectories under some suitable conditions, which is interesting in its own right for monotone dynamics., Comment: 31 pages, no figures

In this paper, we develop a semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we define the semi-classical measures of bounded families of square integrable functions which consists of a pair formed by a measure defined on the product of the group and its unitary dual, and by a field of trace class positive operators acting on the Hilbert spaces of the representations. We illustrate the theory by analyzing examples, which show in particular that this semi-classical analysis takes into account the finite-dimensioned representations of the group, even though they are negligible with respect to the Plancherel measure., Comment: 29 pages

The combinatorial Mandelbrot set is a continuum in the plane, whose boundary can be defined, up to a homeomorphism, as the quotient space of the unit circle by an explicit equivalence relation. This equivalence relation was described by Douady and, in different terms, by Thurston. Thurston used quadratic invariant laminations as a major tool. As has been previously shown by the authors, the combinatorial Mandelbrot set can be interpreted as a quotient of the space of all limit quadratic invariant laminations. The topology in the space of laminations is defined by the Hausdorff distance. In this paper, we describe two similar quotients. In the first case, the identifications are the same but the space is smaller than that taken for the Mandelbrot set. The result (the quotient space) is obtained from the Mandelbrot set by "unpinching" the transitions between adjacent hyperbolic components. In the second case, we do not identify non-renormalizable laminations while identifying renormalizable laminations according to which hyperbolic lamination they can be "unrenormalised" to., Comment: 29 pages, 4 figures

In this paper we develop the theory of variable exponent Hardy spaces associated with discrete Laplacians on infinite graphs. Our Hardy spaces are defined by square integrals, atomic and molecular decompositions. Also we study boundedness properties of Littlewood-Paley functions, Riesz transforms, and spectral multipliers for discrete Laplacians on variable exponent Hardy spaces.

In this paper, we study the persistence of invariant tori of integrable Hamiltonian systems satisfying R\"{u}ssmann's non-degeneracy condition when symplectic integrators are applied to them. Meanwhile, we give an estimate of the measure of the set occupied by the invariant tori in the phase space. On an invariant torus, the one-step map of the scheme is conjugate to a one parameter family of linear rotations with a step size dependent frequency vector in terms of iteration. These results are a generalization of Shang's theorems (1999, 2000), where the non-degeneracy condition is assumed in the sense of Kolmogorov. In comparison, R\"{u}ssmann's condition is the weakest non-degeneracy condition for the persistence of invariant tori in Hamiltonian systems. These results provide new insight into the nonlinear stability of symplectic integrators., Comment: It has been accepted for publication in SCIENCE CHINA Mathematics

A quantum Capelli identity is given on the multiparameter quantum general linear group based on the $(p_{ij}, u)$-condition. The multiparameter quantum Pfaffian of the $(p_{ij}, u)$-quantum group is also introduced and the transformation under the congruent action is given. Generalization to the multiparameter hyper-Pfaffian and relationship with the quantum minors are also investigated., 22 pages. Accepted for publication in SCIENCE CHINA Mathematics. Part of the paper (eg transformation formula for multiparameter Pfaffians) was contained in arXiv:1701.07458, which will be either withdrewn or updated

This paper proves that the restriction of a Specht module for a (degenerate or non-degenerate) cyclotomic Hecke algebra, or KLR algebra, of type A has a Specht filtration., 12 pages. Minor corrections. Footnote added. Accepted for publication in SCIENCE CHINA Mathematics

The purpose of this paper is to complement the results in [LS-1] by showing the dense definability of the Cauchy-Leray transform for the domains that give the counterexamples of [LS-1], where $L^p$-boundedness is shown to fail when either the "near" $C^2$ boundary regularity, or the strong $\mathbb C$-linear convexity assumption is dropped., Comment: 19 pages

In this paper, we introduce a type of path-dependent quasilinear (parabolic) partial differential equations in which the (continuous) paths on an interval [0,t] becomes the basic variables in the place of classical variables (t,x). This new type of PDE are formulated through a classical backward stochastic differential equation (BSDEs, for short) in which the terminal values and the generators are allowed to be general functions of Brownian paths. In this way we have established a new type of nonlinear Feynman-Kac formula for a general non-Markovian BSDE. Some main properties of regularities for this new PDE was obtained.

International audience; The properties of uniform hyperbolicity and dominated splitting have been introduced to study the stability of the dynamics of diffeomorphisms. One meets difficulties when one tries to extend these definitions to vector fields and Shantao Liao has shown that it is more relevant to consider the linear Poincar\'e flow rather than the tangent flow in order to study the properties of the derivative. In this paper we define the notion of singular domination, an analog of the dominated splitting for the linear Poincar\'e flow which is robust under perturbations. Based on this, we give a new definition of multi-singular hyperbolicity which is equivalent to the one recently introduced by Bonatti-da Luz. The novelty of our definition is that it does not involve the blowup of the singular set and the renormalization cocycle of the linear flows.