中国科学院数学与系统科学研究院期刊网

15 March 2026, Volume 42 Issue 3
    

  • Select all
    |
    Articles
  • Jinxin Xue
    Acta Mathematica Sinica. 2026, 42(3): 541-567. https://doi.org/10.1007/s10114-026-4598-7
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    In this paper, we develop an approach to the problem of closing lemma based on KAM normal form. The new approach differs from existing $C^1$ perturbation approach and spectral approach, and can handle the high regularity, high dimensional cases and even Riemannian metric perturbations. Moreover, the proof is constructive and effective. We apply the method to the original nearly integrable setting of Poincaré and confirm several old and new conjectures with weak formulations. First, for Poincaré's original setting of nearly integrable systems, we prove that for typical perturbations, periodic orbits are asymptotically dense as the size of perturbation tends to zero. Second, we prove that typical smooth perturbation of the geodesic flow on the flat torus has asymptotically dense periodic orbits, which partially solves an open problem since Pugh-Robinson's $C^1$-closing lemma. Third, we prove that for typical Hamiltonian or contact perturbation of the geodesic flows of the ellipsoid has asymptotically dense orbit on the energy level, which enhances the recent researches on strong closing lemma, and also confirms partially a conjecture of Fish-Hofer in this setting and a problem of Arnold. We also discuss the relation of our models to the recent researches on many-body localization in physics.
  • Jindou Shen, Huicheng Yin
    Acta Mathematica Sinica. 2026, 42(3): 568-582. https://doi.org/10.1007/s10114-026-4633-8
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    It is well-known that there are global small data smooth solutions for the 3-D semilinear Klein-Gordon equations $\square u+u=F(u, \partial u)$ with cubic nonlinearities. However, for the short pulse initial data $\left(u, \partial_t u\right)(0, x)=\left(\delta^{\nu+1} u_0\left(\frac{x}{\delta}\right), \delta^\nu u_1\left(\frac{x}{\delta}\right)\right)$ with $\nu \in \mathbb{R}$ and $\left(u_0, u_1\right) \in C_0^{\infty}(\mathbb{R})$, which are a class of large initial data, we establish that when $\nu \leq-\frac{1}{2}$, the solution $u$ can blow up in finite time for some suitable choices of ($u_0, u_1$) and cubic nonlinearity $F(u, \partial u)$; when $\nu>-\frac{1}{2}$, the smooth solution $u$ exists globally. Therefore, $\nu=-\frac{1}{2}$ is just the critical power corresponding to the global existence or blowup of smooth short pulse solutions for the cubic semilinear Klein-Gordon equations.
  • Armen Sergeev
    Acta Mathematica Sinica. 2026, 42(3): 583-602. https://doi.org/10.1007/s10114-026-4634-7
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    This paper is a review of $K$-theory methods in solid state physics. Our goal is to demonstrate that $K$-theory is a natural language for the mathematical description of solid bodies. Our main tool is the $K$-theory of $C^*$-algebras. We follow Kitaev's idea that the symmetry algebras of solid bodies belong to the class of Clifford algebras which reduces the quantization problem for solid states to the representation theory of Clifford algebras.
  • Fulin Chen, Binyong Sun, Chuyun Wang
    Acta Mathematica Sinica. 2026, 42(3): 603-647. https://doi.org/10.1007/s10114-026-5046-4
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In three previous papers, we introduce the notion of formal manifolds and study their basic theory, focusing on function spaces and Poincaré's lemma. In this paper, we further explore the foundational framework of formal manifolds, including the local structure of constant rank morphisms (such as inverse function theorem and constant rank theorems) as well as the theory of formal submanifolds.
  • Lei Ni, Nolan Wallach
    Acta Mathematica Sinica. 2026, 42(3): 648-662. https://doi.org/10.1007/s10114-025-5100-7
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    The purpose of this paper is to develop a Lie algebraic approach to obtain new proofs of important results of H. C. Wang, Tits and Wolf-Wang-Ziller on compact complex homogenous manifolds emphasizing only those that admit a transitive compact group of biholomorphic transformations. The method only uses some standard results in Lie theory. The new approach provides a method of associating a canonical abelian Lie algebra with a given integral complex structure on a compact Lie algebra which extends the earlier work of Samelson and Pittie.
  • Feng Shao, Dongyi Wei, Zhifei Zhang
    Acta Mathematica Sinica. 2026, 42(3): 663-679. https://doi.org/10.1007/s10114-026-5110-0
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    We consider the axisymmetric incompressible Euler equations without swirl in $\mathbb R^d$ or in a cylinder domain for $d\geq3$. For $3\leq d\leq 6$, we prove the global regularity under the following conditions: $u_0\in L^2(\mathbb R^d)$, $\frac{\omega_0}{r^{d-2}}\in L^{\frac{d}{d-2},\infty}(\mathbb R^d)$ and $\min\{1, r^{3-d}\}\frac{\omega_0}{r^\alpha}\in L^\infty(\mathbb R^d)$ for some $\alpha\in(0,1)$. Moreover, if the domain is a cylinder or if $\omega_0$ is single-signed, we prove the same global regularity result for all $d\geq3$. Additionally, for $3\leq d\leq 6$, we obtain the same growth bounds as in [Lim and Jeong, Arch. Ration. Mech. Anal., 249, Paper No. 32, 31 pp. (2025)], without assuming compact support on the initial data.
  • George Lusztig
    Acta Mathematica Sinica. 2026, 42(3): 680-686. https://doi.org/10.1007/s10114-026-5208-4
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    Let $G$ be a connected reductive group over the complex numbers with a fixed pinning. We define and study the totally positive part of the set of maximal tori of $G$.
  • Fan Bu, Dachun Yang, Wen Yuan, Tuomas Hytönen
    Acta Mathematica Sinica. 2026, 42(3): 687-722. https://doi.org/10.1007/s10114-025-5143-9
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    We provide several new characterizations of $A_{p,\infty}$-matrix weights, originally introduced by A. Volberg in [J. Amer. Math. Soc., 10, 445-466 (1997)] as matrix-valued substitutes of the classical Muckenhoupt $A_\infty$ weights. In analogy with the concept of $A_p$-dimensions of matrix weights introduced in our previous work, we introduce the concepts of the lower and the upper dimensions of $A_{p,\infty}$-matrix weights, which enable us to obtain sharp estimates related to their reducing operators. In a companion article by the same authors, these results play a key role in the study of function spaces with $A_{p,\infty}$-matrix weights, which extends earlier results in the more restricted class of $A_p$-matrix weights.
  • Zeyu Jin, Ruo Li
    Acta Mathematica Sinica. 2026, 42(3): 723-739. https://doi.org/10.1007/s10114-026-5290-7
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    Mixing by incompressible flows is a ubiquitous yet incompletely understood phenomenon in fluid dynamics. While previous studies have focused on optimal mixing rates, the question of its genericity, i.e., whether mixing occurs for typical incompressible flows and typical initial data, remains mathematically unclear. In this paper, it is shown that classical mixing criteria, e.g. topological mixing or non-precompactness in $L^2$ for all nontrivial densities, fail to persist under arbitrarily small perturbations of velocity fields. A Young-measure theory adapted to $L^\infty$ data is then developed to characterize exactly which passive scalars mix. As a consequence, the existence of a single mixed density is equivalent to mixing for generic bounded data, and this equivalence is further tied to the non-precompactness of the associated measure-preserving flow maps in $L^p$. These results provide a foundation for a general theory of generic mixing in non-autonomous incompressible flows.
  • Zhiqiang Xu
    Acta Mathematica Sinica. 2026, 42(3): 740-754. https://doi.org/10.1007/s10114-026-5299-y
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    The recovery of an unknown signal from its linear measurements is a fundamental problem spanning numerous scientific and engineering disciplines. Commonly, prior knowledge suggests that the underlying signal resides within a known algebraic variety. This context naturally leads to a question: what is the minimum number of measurements required to uniquely recover any signal belonging to such an algebraic variety? In this survey paper, we introduce a method that leverages tools from algebraic geometry to address this question. We then demonstrate the utility of this approach by applying it to two problems: phase retrieval and low-rank matrix recovery. We also highlight several open problems, which could serve as a basis for future investigations in this field.
  • Wen Huang, Jiahao Qiu, Song Shao, Xiangdong Ye
    Acta Mathematica Sinica. 2026, 42(3): 755-790. https://doi.org/10.1007/s10114-026-5336-x
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    The investigation of nilpotent structures aims to uncover the underlying nilpotent information in general dynamical systems, as well as the dynamical behaviors of the systems with respect to the nilpotent structures. These structures play crucial roles in ergodic theory and topological dynamics, and their applications across several fields of mathematics, including combinatorial number theory.
    In this paper we will review the results related to the nilpotent structures, with a particular emphasis on topological nilpotent structures of $\mathbb{Z}$-actions. Furthermore, we present applications and state open questions for future research.
  • Zhiyu Tian
    Acta Mathematica Sinica. 2026, 42(3): 791-805. https://doi.org/10.1007/s10114-026-5298-z
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    A theorem of Graber, Harris, and Starr states that a rationally connected fibration over a curve has a section. We study an analogous question in symplectic geometry. Namely, given a rationally connected fibration over a curve, can one find a section which gives a non-zero Gromov-Witten invariant? We observe that for any fibration, the existence of a section which gives a non-zero Gromov-Witten invariant only depends on the generic fiber, i.e., a variety defined over the function field of a curve. Some examples of rationally connected fibrations with this property are given, including all rational surface fibrations. We also prove some results, which says that in certain cases we can "lift" Gromov-Witten invariants of the base to the total space of a rationally connected fibration.
  • Pengzi Miao
    Acta Mathematica Sinica. 2026, 42(3): 806-820. https://doi.org/10.1007/s10114-026-5343-y
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    We derive monotone properties of positive harmonic functions on three dimensional manifolds with nonnegative scalar curvature, with an asymptotically flat end. Rigidity characterization of spatial Schwarzschild manifolds with two ends is also given.
  • Seung-Yeal Ha, Xinyu Wang, Xiaoping Xue
    Acta Mathematica Sinica. 2026, 42(3): 821-880. https://doi.org/10.1007/s10114-026-5431-z
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    We study clustering dynamics for the infinite Cucker-Smale (ICS) model and its connection to the spectrum of the graph Laplacian. For the ICS model, we overcome the challenge of estimating the velocities of particles and derive a system of dissipative differential inequalities (SDDI) in terms of infinite norms. As in the finite ensemble, we show that mono-cluster flocking emerges exponentially fast, and additionally establish a sufficient framework for algebraic multi-cluster flocking. Moreover, for the CS model with a finite system size, we offer a complete spectral characterization of multi-cluster flocking. Specifically, the emergence of $n$-cluster behavior corresponds to the limit of the $n$-th eigenvalue of the time-varying Laplacian approaching zero. In contrast, the lower bound of the ($n$+1)-th eigenvalue remains strictly positive. Furthermore, we extend this framework to the ICS model by characterizing weak $n$-cluster flocking via spectral asymptotics, where the $n$-th eigenvalue tends to zero, while both the ($n$+1)-th eigenvalue and the infimum of the essential spectrum remain strictly positive. Our results bridge spectral analysis and clustering dynamics, providing indirect evidence for the fast emergence of mono-cluster flocking and the slow relaxation of multi-cluster patterns in both finite and infinite particle systems.
  • Gang Tian, Xiaohua Zhu
    Acta Mathematica Sinica. 2026, 42(3): 881-912. https://doi.org/10.1007/s10114-026-5435-8
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    The $H$-invariant was introduced to compute Perelman’s entropy for Kähler-Ricci flow in a paper of Tian-Zhang-Zhang-Zhu more than ten years ago. It turns out that the $H$-invariant is equal to an earlier invariant by Tian-Zhu in their study on Kähler-Ricci solitons. In this largely expository paper, we will discuss definition of the $H$-invariant, its relation to Tian-Zhu's generalization of the Futaki invariants as well as some of its applications. We will also include some new observations and generalizations of results in existing literature. Several examples will be also provided.