-
Toward Decision-Oriented Prognostics: An Integrated Estimate-Optimize Framework for Predictive Maintenance
Authors:
Zhuojun Xie,
Adam Abdin,
Yiping Fang
Abstract:
Recent research increasingly integrates machine learning (ML) into predictive maintenance (PdM) to reduce operational and maintenance costs in data-rich operational settings. However, uncertainty due to model misspecification continues to limit widespread industrial adoption. This paper proposes a PdM framework in which sensor-driven prognostics inform decision-making under economic trade-offs wit…
▽ More
Recent research increasingly integrates machine learning (ML) into predictive maintenance (PdM) to reduce operational and maintenance costs in data-rich operational settings. However, uncertainty due to model misspecification continues to limit widespread industrial adoption. This paper proposes a PdM framework in which sensor-driven prognostics inform decision-making under economic trade-offs within a finite decision space. We investigate two key questions: (1) Does higher predictive accuracy necessarily lead to better maintenance decisions? (2) If not, how can the impact of prediction errors on downstream maintenance decisions be mitigated? We first demonstrate that in the traditional estimate-then-optimize (ETO) framework, errors in probabilistic prediction can result in inconsistent and suboptimal maintenance decisions. To address this, we propose an integrated estimate-optimize (IEO) framework that jointly tunes predictive models while directly optimizing for maintenance outcomes. We establish theoretical finite-sample guarantees on decision consistency under standard assumptions. Specifically, we develop a stochastic perturbation gradient descent algorithm suitable for small run-to-failure datasets. Empirical evaluations on a turbofan maintenance case study show that the IEO framework reduces average maintenance regret up to 22% compared to ETO. This study provides a principled approach to managing prediction errors in data-driven PdM. By aligning prognostic model training with maintenance objectives, the IEO framework improves robustness under model misspecification and improves decision quality. The improvement is particularly pronounced when the decision-making policy is misaligned with the decision-maker's target. These findings support more reliable maintenance planning in uncertain operational environments.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Accelerating Optimization via Differentiable Stopping Time
Authors:
Zhonglin Xie,
Yiman Fong,
Haoran Yuan,
Zaiwen Wen
Abstract:
Optimization is an important module of modern machine learning applications. Tremendous efforts have been made to accelerate optimization algorithms. A common formulation is achieving a lower loss at a given time. This enables a differentiable framework with respect to the algorithm hyperparameters. In contrast, its dual, minimizing the time to reach a target loss, is believed to be non-differenti…
▽ More
Optimization is an important module of modern machine learning applications. Tremendous efforts have been made to accelerate optimization algorithms. A common formulation is achieving a lower loss at a given time. This enables a differentiable framework with respect to the algorithm hyperparameters. In contrast, its dual, minimizing the time to reach a target loss, is believed to be non-differentiable, as the time is not differentiable. As a result, it usually serves as a conceptual framework or is optimized using zeroth-order methods. To address this limitation, we propose a differentiable stopping time and theoretically justify it based on differential equations. An efficient algorithm is designed to backpropagate through it. As a result, the proposed differentiable stopping time enables a new differentiable formulation for accelerating algorithms. We further discuss its applications, such as online hyperparameter tuning and learning to optimize. Our proposed methods show superior performance in comprehensive experiments across various problems, which confirms their effectiveness.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Classification of silted algebras for two quivers of Dynkin type $\mathbb{A}_{n}$
Authors:
Zongzhen Xie,
Dong Yang,
Houjun Zhang
Abstract:
In this paper, we give a complete classification of silted algebras for the quiver $\overrightarrow{\mathbb{A}}_{n}$ of type $\mathbb{A}_{n}$ with linear orientation and for the quiver obtained from $\overrightarrow{\mathbb{A}}_{n}$ by reversing the arrow at the unique source. Based on the classification, we also compute the number of silted algebras for these two quivers.
In this paper, we give a complete classification of silted algebras for the quiver $\overrightarrow{\mathbb{A}}_{n}$ of type $\mathbb{A}_{n}$ with linear orientation and for the quiver obtained from $\overrightarrow{\mathbb{A}}_{n}$ by reversing the arrow at the unique source. Based on the classification, we also compute the number of silted algebras for these two quivers.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
Classification of sextic curves in the Fano 3-fold $\mathcal{V}_5$ with rational Galois covers in ${\mathbb P}^3$
Authors:
Quo-Shin Chi,
Zhenxiao Xie,
Yan Xu
Abstract:
In this paper, we classify sextic curves in the Fano $3$-fold $\bf \mathcal{V}_5$ (the smooth quintic del Pezzo $3$-fold) that admit rational Galois covers in the complex ${\mathbb P}^3$. We show that the moduli space of such sextic curves is of complex dimension $2$ through the invariants of the engaged Galois groups for the explicit constructions. This raises the intriguing question of understan…
▽ More
In this paper, we classify sextic curves in the Fano $3$-fold $\bf \mathcal{V}_5$ (the smooth quintic del Pezzo $3$-fold) that admit rational Galois covers in the complex ${\mathbb P}^3$. We show that the moduli space of such sextic curves is of complex dimension $2$ through the invariants of the engaged Galois groups for the explicit constructions. This raises the intriguing question of understanding the moduli space of sextic curves in ${\mathcal V}_5$ through their Galois covers in ${\mathbb P}^3$.
△ Less
Submitted 18 April, 2025;
originally announced April 2025.
-
Minimal isometric immersions of flat n-tori into spheres
Authors:
Ying Lv,
Peng Wang,
Zhenxiao Xie
Abstract:
In 1985, Bryant stated that a flat $2$-torus admits a minimal isometric immersion into some round sphere if and only if it satisfies a certain rationality condition. We extend this rationality criterion to arbitrary dimensional flat tori, providing a sufficient condition for minimal isometric immersions of flat $n$-tori. For the case $n=3$, we prove that if a flat $3$-torus admits a minimal isomet…
▽ More
In 1985, Bryant stated that a flat $2$-torus admits a minimal isometric immersion into some round sphere if and only if it satisfies a certain rationality condition. We extend this rationality criterion to arbitrary dimensional flat tori, providing a sufficient condition for minimal isometric immersions of flat $n$-tori. For the case $n=3$, we prove that if a flat $3$-torus admits a minimal isometric immersion into some sphere, then its algebraic irrationality degree must be no more than 4, and we construct explicit embedded minimal irrational flat $3$-tori realizing each possible degree. Furthermore, we establish the upper bound $n^2+n-1$ for the minimal target dimension of flat $n$-tori admitting minimal isometric immersions into spheres.
△ Less
Submitted 17 April, 2025;
originally announced April 2025.
-
Accelerated Natural Gradient Method for Parametric Manifold Optimization
Authors:
Chenyi Li,
Shuchen Zhu,
Zhonglin Xie,
Zaiwen Wen
Abstract:
Parametric manifold optimization problems frequently arise in various machine learning tasks, where state functions are defined on infinite-dimensional manifolds. We propose a unified accelerated natural gradient descent (ANGD) framework to address these problems. By incorporating a Hessian-driven damping term into the manifold update, we derive an accelerated Riemannian gradient (ARG) flow that m…
▽ More
Parametric manifold optimization problems frequently arise in various machine learning tasks, where state functions are defined on infinite-dimensional manifolds. We propose a unified accelerated natural gradient descent (ANGD) framework to address these problems. By incorporating a Hessian-driven damping term into the manifold update, we derive an accelerated Riemannian gradient (ARG) flow that mitigates oscillations. An equivalent first-order system is further presented for the ARG flow, enabling a unified discretization scheme that leads to the ANGD method. In our discrete update, our framework considers various advanced techniques, including least squares approximation of the update direction, projected momentum to accelerate convergence, and efficient approximation methods through the Kronecker product. It accommodates various metrics, including $H^s$, Fisher-Rao, and Wasserstein-2 metrics, providing a computationally efficient solution for large-scale parameter spaces. We establish a convergence rate for the ARG flow under geodesic convexity assumptions. Numerical experiments demonstrate that ANGD outperforms standard NGD, underscoring its effectiveness across diverse deep learning tasks.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
Numerical Analysis and Dimension Splitting for A Semi-Lagrangian Discontinuous Finite Element Scheme Based on the Characteristic Galerkin Method
Authors:
Zhengrong Xie
Abstract:
A characteristic Galerkin-type semi-Lagrangian discontinuous Galerkin methods (CSLDG) is investigated, which directly discretizes an integral invariant model derived from the coupling of a transport equation and its dual equation. First, the existence and uniqueness of the CSLDG numerical solutions are proven, along with the stability of the numerical scheme. Subsequently, in contrast to the commo…
▽ More
A characteristic Galerkin-type semi-Lagrangian discontinuous Galerkin methods (CSLDG) is investigated, which directly discretizes an integral invariant model derived from the coupling of a transport equation and its dual equation. First, the existence and uniqueness of the CSLDG numerical solutions are proven, along with the stability of the numerical scheme. Subsequently, in contrast to the commonly used interpolation-based dimensional splitting schemes within the CSLDG framework, a separated-variable dimensional splitting approach based on the tensor product is proposed and applied to the two-dimensional case.
△ Less
Submitted 22 March, 2025; v1 submitted 19 March, 2025;
originally announced March 2025.
-
Existence, Stability and Uniqueness of the Integral Invariant in A Characteristic-type Semi-Lagrangian Discontinuous Galerkin Scheme
Authors:
Zhengrong Xie
Abstract:
A characteristic Galerkin-type semi-Lagrangian discontinuous finite element scheme (CSLDG) is investigated, which directly discretizes an integral invariant model derived from the coupling of a transport equation and its dual equation. Despite extensive research on the numerical implementation of this method, no studies have yet explored the well-posedness of the integral invariant model itself. T…
▽ More
A characteristic Galerkin-type semi-Lagrangian discontinuous finite element scheme (CSLDG) is investigated, which directly discretizes an integral invariant model derived from the coupling of a transport equation and its dual equation. Despite extensive research on the numerical implementation of this method, no studies have yet explored the well-posedness of the integral invariant model itself. To address this gap, a weak solution theory for CSLDG is developed: A precise definition of the weak solution for the integral invariant model is formulated. Utilizing the slice method, which is frequently employed in existence proofs for parabolic equations, the existence of the weak solution is established through the application of the Riesz Representation Theorem and mollifier techniques. The stability of the integral invariant weak solution is subsequently demonstrated by the strategic selection of the test function Psi, leading to the proof of its uniqueness.
△ Less
Submitted 22 March, 2025; v1 submitted 10 March, 2025;
originally announced March 2025.
-
Equivalence of different definitions of higher $ρ$ invariants
Authors:
Hongzhi Liu,
Zhizhang Xie,
Guoliang Yu
Abstract:
For each orientation-preserving homotopy equivalence between two closed oriented smooth manifolds, there are mainly two different approaches to the higher $ρ$ invariant associated to this homotopy equivalence. In this article, we show that these two definitions of the higher $ρ$ invariant are equivalent.
For each orientation-preserving homotopy equivalence between two closed oriented smooth manifolds, there are mainly two different approaches to the higher $ρ$ invariant associated to this homotopy equivalence. In this article, we show that these two definitions of the higher $ρ$ invariant are equivalent.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
Runge-Kutta Discontinuous Galerkin Method Based on Flux Vector Splitting with Constrained Optimization-based TVB(D)-minmod Limiter for Solving Hyperbolic Conservation Laws
Authors:
Zhengrong Xie
Abstract:
The flux vector splitting (FVS) method has firstly been incorporated into the discontinuous Galerkin (DG) framework for reconstructing the numerical fluxes required for the spatial semi-discrete formulation, setting it apart from the conventional DG approaches that typically utilize the Lax-Friedrichs flux scheme or classical Riemann solvers. The control equations of hyperbolic conservation system…
▽ More
The flux vector splitting (FVS) method has firstly been incorporated into the discontinuous Galerkin (DG) framework for reconstructing the numerical fluxes required for the spatial semi-discrete formulation, setting it apart from the conventional DG approaches that typically utilize the Lax-Friedrichs flux scheme or classical Riemann solvers. The control equations of hyperbolic conservation systems are initially reformulated into a flux-split form. Subsequently, a variational approach is applied to this flux-split form, from which a DG spatial semi-discrete scheme based on FVS is derived. In order to suppress numerical pseudo-oscillations, the smoothness measurement function IS from the WENO limiter is integrated into the TVB(D)-minmod limiter, constructing an optimization problem based on the smoothness factor constraint, thereby realizing a TVB(D)-minmod limiter applicable to arbitrary high-order polynomial approximation. Subsequently, drawing on the ``reconstructed polynomial and the original high-order scheme's L2 -error constraint'' from the literature [1] , combined with our smoothness factor constraint, a bi-objective optimization problem is formulated to enable the TVB(D)-minmod limiter to balance oscillation suppression and high precision. As for hyperbolic conservation systems, limiters are typically required to be used in conjunction with local characteristic decomposition. To transform polynomials from the physical space to the characteristic space, an interpolation-based characteristic transformation scheme has been proposed, and its equivalence with the original moment characteristic transformation has been demonstrated in one-dimensional scenarios. Finally, the concept of ``flux vector splitting based on Jacobian eigenvalue decomposition'' has been applied to the conservative linear scalar transport equations and the nonlinear Burgers' equation.
△ Less
Submitted 10 December, 2024; v1 submitted 25 November, 2024;
originally announced November 2024.
-
$\ell^p$-coarse Baum-Connes conjecture for $\ell^{q}$-coarse embeddable spaces
Authors:
Jinmin Wang,
Zhizhang Xie,
Guoliang Yu,
Bo Zhu
Abstract:
We prove an $\ell^p$-version of the coarse Baum-Connes conjecture for spaces that coarsely embedds into $\ell^q$-spaces for any $p$ and $q$ in $[1,\infty)$.
We prove an $\ell^p$-version of the coarse Baum-Connes conjecture for spaces that coarsely embedds into $\ell^q$-spaces for any $p$ and $q$ in $[1,\infty)$.
△ Less
Submitted 26 May, 2025; v1 submitted 22 November, 2024;
originally announced November 2024.
-
Almost Sure Convergence Rates and Concentration of Stochastic Approximation and Reinforcement Learning with Markovian Noise
Authors:
Xiaochi Qian,
Zixuan Xie,
Xinyu Liu,
Shangtong Zhang
Abstract:
This paper establishes the first almost sure convergence rate and the first maximal concentration bound with exponential tails for general contractive stochastic approximation algorithms with Markovian noise. As a corollary, we also obtain convergence rates in $L^p$. Key to our successes is a novel discretization of the mean ODE of stochastic approximation algorithms using intervals with diminishi…
▽ More
This paper establishes the first almost sure convergence rate and the first maximal concentration bound with exponential tails for general contractive stochastic approximation algorithms with Markovian noise. As a corollary, we also obtain convergence rates in $L^p$. Key to our successes is a novel discretization of the mean ODE of stochastic approximation algorithms using intervals with diminishing (instead of constant) length. As applications, we provide the first almost sure convergence rate for $Q$-learning with Markovian samples without count-based learning rates. We also provide the first concentration bound for off-policy temporal difference learning with Markovian samples.
△ Less
Submitted 20 November, 2024;
originally announced November 2024.
-
On the relative cone conjecture for families of IHS manifolds
Authors:
Andreas Höring,
Gianluca Pacienza,
Zhixin Xie
Abstract:
We study the relative cone conjecture for families of $K$-trivial varieties with vanishing irregularity. As an application we prove that the relative movable and the relative nef cone conjectures hold for fibrations in projective IHS manifolds of the 4 known deformation types.
We study the relative cone conjecture for families of $K$-trivial varieties with vanishing irregularity. As an application we prove that the relative movable and the relative nef cone conjectures hold for fibrations in projective IHS manifolds of the 4 known deformation types.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
BDF schemes for accelerated gradient flows in projection-free approximation of nonconvex constrained variational minimization
Authors:
Guozhi Dong,
Zikang Gong,
Ziqing Xie,
Shuo Yang
Abstract:
We propose novel algorithms combining accelerated gradient flows with linearized projection-free treatments of non-convex constraints and BDF pseudo-temporal discretization for quadratic energy minimization. A general framework is developed to analyze constraint violations in such projection-free techniques for quadratic constraints. This analysis proves to be universal to all projection-free iter…
▽ More
We propose novel algorithms combining accelerated gradient flows with linearized projection-free treatments of non-convex constraints and BDF pseudo-temporal discretization for quadratic energy minimization. A general framework is developed to analyze constraint violations in such projection-free techniques for quadratic constraints. This analysis proves to be universal to all projection-free iterative methods, and constraint error bounds depend solely on iterate regularity. For BDF-k(k=1,2,3,4), we derive both unconditional and conditional high-order constraint violation estimates for accelerated gradient flows using our framework. We further discover a new family of BDF-k accelerated gradient methods achieving modified energy stability for arbitrary positive integer k. Numerical experiments validate our theoretical results and demonstrate superior efficiency and accuracy compared to existing gradient flow approaches.
△ Less
Submitted 11 June, 2025; v1 submitted 22 September, 2024;
originally announced September 2024.
-
MMP for Enriques pairs and singular Enriques varieties
Authors:
Francesco Antonio Denisi,
Ángel David Ríos Ortiz,
Nikolaos Tsakanikas,
Zhixin Xie
Abstract:
We introduce and study the class of primitive Enriques varieties, whose smooth members are Enriques manifolds. We provide several examples and we demonstrate that this class is stable under the operations of the Minimal Model Program (MMP). In particular, given an Enriques manifold $Y$ and an effective $\mathbb{R}$-divisor $B_Y$ on $Y$ such that the pair $(Y,B_Y)$ is log canonical, we prove that a…
▽ More
We introduce and study the class of primitive Enriques varieties, whose smooth members are Enriques manifolds. We provide several examples and we demonstrate that this class is stable under the operations of the Minimal Model Program (MMP). In particular, given an Enriques manifold $Y$ and an effective $\mathbb{R}$-divisor $B_Y$ on $Y$ such that the pair $(Y,B_Y)$ is log canonical, we prove that any $(K_Y+B_Y)$-MMP terminates with a minimal model $(Y',B_{Y'})$ of $(Y,B_Y)$, where $Y'$ is a $\mathbb{Q}$-factorial primitive Enriques variety with canonical singularities. Finally, we investigate the asymptotic theory of Enriques manifolds.
△ Less
Submitted 31 October, 2024; v1 submitted 18 September, 2024;
originally announced September 2024.
-
Modified Meta-Thompson Sampling for Linear Bandits and Its Bayes Regret Analysis
Authors:
Hao Li,
Dong Liang,
Zheng Xie
Abstract:
Meta-learning is characterized by its ability to learn how to learn, enabling the adaptation of learning strategies across different tasks. Recent research introduced the Meta-Thompson Sampling (Meta-TS), which meta-learns an unknown prior distribution sampled from a meta-prior by interacting with bandit instances drawn from it. However, its analysis was limited to Gaussian bandit. The contextual…
▽ More
Meta-learning is characterized by its ability to learn how to learn, enabling the adaptation of learning strategies across different tasks. Recent research introduced the Meta-Thompson Sampling (Meta-TS), which meta-learns an unknown prior distribution sampled from a meta-prior by interacting with bandit instances drawn from it. However, its analysis was limited to Gaussian bandit. The contextual multi-armed bandit framework is an extension of the Gaussian Bandit, which challenges agent to utilize context vectors to predict the most valuable arms, optimally balancing exploration and exploitation to minimize regret over time. This paper introduces Meta-TSLB algorithm, a modified Meta-TS for linear contextual bandits. We theoretically analyze Meta-TSLB and derive an $ O((m+\log(m))\sqrt{n\log(n)})$ bound on its Bayes regret, in which $m$ represents the number of bandit instances, and $n$ the number of rounds of Thompson Sampling. Additionally, our work complements the analysis of Meta-TS for linear contextual bandits. The performance of Meta-TSLB is evaluated experimentally under different settings, and we experimente and analyze the generalization capability of Meta-TSLB, showcasing its potential to adapt to unseen instances.
△ Less
Submitted 11 September, 2024; v1 submitted 10 September, 2024;
originally announced September 2024.
-
Scalar curvature rigidity of spheres with subsets removed and $L^\infty$ metrics
Authors:
Jinmin Wang,
Zhizhang Xie
Abstract:
We prove the scalar curvature rigidity for $L^\infty$ metrics on $\mathbb S^n\backslashΣ$, where $\mathbb S^n$ is the $n$-dimensional sphere with $n\geq 3$ and $Σ$ is a closed subset of $\mathbb S^n$ of codimension at least $\frac{n}{2}+1$ that satisfies the wrapping property. The notion of wrapping property was introduced by the second author for studying related scalar curvature rigidity problem…
▽ More
We prove the scalar curvature rigidity for $L^\infty$ metrics on $\mathbb S^n\backslashΣ$, where $\mathbb S^n$ is the $n$-dimensional sphere with $n\geq 3$ and $Σ$ is a closed subset of $\mathbb S^n$ of codimension at least $\frac{n}{2}+1$ that satisfies the wrapping property. The notion of wrapping property was introduced by the second author for studying related scalar curvature rigidity problems on spheres. For example, any closed subset of $\mathbb S^n$ contained in a hemisphere and any finite subset of $\mathbb S^n$ satisfy the wrapping property. The same techniques also apply to prove an analogous scalar rigidity result for $L^\infty$ metrics on tori that are smooth away from certain subsets of codimension at least $\frac{n}{2}+1$. As a corollary, we obtain a positive mass theorem for complete asymptotically flat spin manifolds with arbitrary ends for $L^\infty$ metrics.
△ Less
Submitted 22 November, 2024; v1 submitted 30 July, 2024;
originally announced July 2024.
-
Parallel Ising Annealer via Gradient-based Hamiltonian Monte Carlo
Authors:
Hao Wang,
Zixuan Liu,
Zhixin Xie,
Langyu Li,
Zibo Miao,
Wei Cui,
Yu Pan
Abstract:
Ising annealer is a promising quantum-inspired computing architecture for combinatorial optimization problems. In this paper, we introduce an Ising annealer based on the Hamiltonian Monte Carlo, which updates the variables of all dimensions in parallel. The main innovation is the fusion of an approximate gradient-based approach into the Ising annealer which introduces significant acceleration and…
▽ More
Ising annealer is a promising quantum-inspired computing architecture for combinatorial optimization problems. In this paper, we introduce an Ising annealer based on the Hamiltonian Monte Carlo, which updates the variables of all dimensions in parallel. The main innovation is the fusion of an approximate gradient-based approach into the Ising annealer which introduces significant acceleration and allows a portable and scalable implementation on the commercial FPGA. Comprehensive simulation and hardware experiments show that the proposed Ising annealer has promising performance and scalability on all types of benchmark problems when compared to other Ising annealers including the state-of-the-art hardware. In particular, we have built a prototype annealer which solves Ising problems of both integer and fraction coefficients with up to 200 spins on a single low-cost FPGA board, whose performance is demonstrated to be better than the state-of-the-art quantum hardware D-Wave 2000Q and similar to the expensive coherent Ising machine. The sub-linear scalability of the annealer signifies its potential in solving challenging combinatorial optimization problems and evaluating the advantage of quantum hardware.
△ Less
Submitted 14 July, 2024;
originally announced July 2024.
-
ODE-based Learning to Optimize
Authors:
Zhonglin Xie,
Wotao Yin,
Zaiwen Wen
Abstract:
Recent years have seen a growing interest in understanding acceleration methods through the lens of ordinary differential equations (ODEs). Despite the theoretical advancements, translating the rapid convergence observed in continuous-time models to discrete-time iterative methods poses significant challenges. In this paper, we present a comprehensive framework integrating the inertial systems wit…
▽ More
Recent years have seen a growing interest in understanding acceleration methods through the lens of ordinary differential equations (ODEs). Despite the theoretical advancements, translating the rapid convergence observed in continuous-time models to discrete-time iterative methods poses significant challenges. In this paper, we present a comprehensive framework integrating the inertial systems with Hessian-driven damping equation (ISHD) and learning-based approaches for developing optimization methods through a deep synergy of theoretical insights. We first establish the convergence condition for ensuring the convergence of the solution trajectory of ISHD. Then, we show that provided the stability condition, another relaxed requirement on the coefficients of ISHD, the sequence generated through the explicit Euler discretization of ISHD converges, which gives a large family of practical optimization methods. In order to select the best optimization method in this family for certain problems, we introduce the stopping time, the time required for an optimization method derived from ISHD to achieve a predefined level of suboptimality. Then, we formulate a novel learning to optimize (L2O) problem aimed at minimizing the stopping time subject to the convergence and stability condition. To navigate this learning problem, we present an algorithm combining stochastic optimization and the penalty method (StoPM). The convergence of StoPM using the conservative gradient is proved. Empirical validation of our framework is conducted through extensive numerical experiments across a diverse set of optimization problems. These experiments showcase the superior performance of the learned optimization methods.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
There are no good infinite families of toric codes
Authors:
Jason P. Bell,
Sean Monahan,
Matthew Satriano,
Karen Situ,
Zheng Xie
Abstract:
Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.
Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.
△ Less
Submitted 17 January, 2025; v1 submitted 31 May, 2024;
originally announced June 2024.
-
Nehari manifold optimization and its application for finding unstable solutions of semilinear elliptic PDEs
Authors:
Zhaoxing Chen,
Wei Liu,
Ziqing Xie,
Wenfan Yi
Abstract:
A Nehari manifold optimization method (NMOM) is introduced for finding 1-saddles, i.e., saddle points with the Morse index equal to one, of a generic nonlinear functional in Hilbert spaces. Actually, it is based on the variational characterization that 1-saddles of this functional are local minimizers of the same functional restricted on the associated Nehari manifold. The framework contains two i…
▽ More
A Nehari manifold optimization method (NMOM) is introduced for finding 1-saddles, i.e., saddle points with the Morse index equal to one, of a generic nonlinear functional in Hilbert spaces. Actually, it is based on the variational characterization that 1-saddles of this functional are local minimizers of the same functional restricted on the associated Nehari manifold. The framework contains two important ingredients: one is the retraction mapping to make the iterative points always lie on the Nehari manifold; the other is the tangential search direction to decrease the functional with suitable step-size search rules. Particularly, the global convergence is rigorously established by virtue of some crucial analysis techniques (including a weak convergence method) that overcome difficulties in the infinite-dimensional setting. In practice, combining with an easy-to-implement Nehari retraction and the negative Riemannian gradient direction, the NMOM is successfully applied to compute the unstable ground-state solutions of a class of typical semilinear elliptic PDEs, such as the stationary nonlinear Schrödinger equation and the Hénon equation. In particular, the symmetry-breaking phenomenon of the ground states of the Hénon equation is explored numerically in 1D and 2D with interesting numerical findings on the critical value of the symmetry-breaking reported.
△ Less
Submitted 23 March, 2025; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Scalar curvature rigidity of the four-dimensional sphere
Authors:
Simone Cecchini,
Jinmin Wang,
Zhizhang Xie,
Bo Zhu
Abstract:
Let $(M,g)$ be a closed connected oriented (possibly non-spin) smooth four-dimensional manifold with scalar curvature bounded below by $n(n-1)$. In this paper, we prove that if $f$ is a smooth map of non-zero degree from $(M, g)$ to the unit four-sphere, then $f$ is an isometry. Following ideas of Gromov, we use $μ$-bubbles and a version with coefficients of the rigidity of the three-sphere to rul…
▽ More
Let $(M,g)$ be a closed connected oriented (possibly non-spin) smooth four-dimensional manifold with scalar curvature bounded below by $n(n-1)$. In this paper, we prove that if $f$ is a smooth map of non-zero degree from $(M, g)$ to the unit four-sphere, then $f$ is an isometry. Following ideas of Gromov, we use $μ$-bubbles and a version with coefficients of the rigidity of the three-sphere to rule out the case of strict inequality. Our proof of rigidity is based on the harmonic map heat flow coupled with the Ricci flow.
△ Less
Submitted 20 March, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Second-order flows for approaching stationary points of a class of non-convex energies via convex-splitting schemes
Authors:
Haifan Chen,
Guozhi Dong,
José A. Iglesias,
Wei Liu,
Ziqing Xie
Abstract:
This paper contributes to the exploration of a recently introduced computational paradigm known as second-order flows, which are characterized by novel dissipative hyperbolic partial differential equations extending accelerated gradient flows to energy functionals defined on Sobolev spaces, and exhibiting significant performance particularly for the minimization of non-convex energies. Our approac…
▽ More
This paper contributes to the exploration of a recently introduced computational paradigm known as second-order flows, which are characterized by novel dissipative hyperbolic partial differential equations extending accelerated gradient flows to energy functionals defined on Sobolev spaces, and exhibiting significant performance particularly for the minimization of non-convex energies. Our approach hinges upon convex-splitting schemes, a tool which is not only pivotal for clarifying the well-posedness of second-order flows, but also yields a versatile array of robust numerical schemes through temporal (and spatial) discretization. We prove the convergence to stationary points of such schemes in the semi-discrete setting. Further, we establish their convergence to time-continuous solutions as the timestep tends to zero. Finally, these algorithms undergo thorough testing and validation in approaching stationary points of representative non-convex variational models in scientific computing.
△ Less
Submitted 22 January, 2025; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Rigid currents in birational geometry
Authors:
Vladimir Lazić,
Zhixin Xie
Abstract:
A rigid current on a compact complex manifold is a closed positive current whose cohomology class contains only one closed positive current. Rigid currents occur in complex dynamics, algebraic and differential geometry. The goals of the present paper are: (a) to give a systematic treatment of rigid currents, (b) to demonstrate how they appear within the Minimal Model Program, and (c) to give many…
▽ More
A rigid current on a compact complex manifold is a closed positive current whose cohomology class contains only one closed positive current. Rigid currents occur in complex dynamics, algebraic and differential geometry. The goals of the present paper are: (a) to give a systematic treatment of rigid currents, (b) to demonstrate how they appear within the Minimal Model Program, and (c) to give many new examples of rigid currents.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Fast Sampling for Linear Inverse Problems of Vectors and Tensors using Multilinear Extensions
Authors:
Hao Li,
Dong Liang,
Zixi Zhou,
Zheng Xie
Abstract:
This paper studies the problem of sampling vector and tensor signals, which is the process of choosing sites in vectors and tensors to place sensors for better recovery. A small core tensor and multiple factor matrices can be used to sparsely represent a dense higher-order tensor within a linear model. Using this linear model, one can effectively recover the whole signals from a limited number of…
▽ More
This paper studies the problem of sampling vector and tensor signals, which is the process of choosing sites in vectors and tensors to place sensors for better recovery. A small core tensor and multiple factor matrices can be used to sparsely represent a dense higher-order tensor within a linear model. Using this linear model, one can effectively recover the whole signals from a limited number of measurements by solving linear inverse problems (LIPs). By providing the closed-form expressions of multilinear extensions for the frame potential of pruned matrices, we develop an algorithm named fast Frank-Wolfe algorithm (FFW) for sampling vectors and tensors with low complexity. We provide the approximation factor of our proposed algorithm for the factor matrices that are non-orthogonal and have elements of the same sign in each row. Moreover, we conduct experiments to verify the higher performance and lower complexity of our proposed algorithm for general factor matrix. Finally, we demonstrate that sampling by FFW and reconstruction by least squares methods yield better results for image data compared to convCNP completion with random sampling.
△ Less
Submitted 2 July, 2024; v1 submitted 3 December, 2023;
originally announced December 2023.
-
Filling Radius, Quantitative $K$-theory and Positive Scalar Curvature
Authors:
Jinmin Wang,
Zhizhang Xie,
Guoliang Yu,
Bo Zhu
Abstract:
We prove a quantitative upper bound on the filling radius of complete, spin manifolds with uniformly positive scalar curvature using the quantitative operator $K$-theory and index theory.
We prove a quantitative upper bound on the filling radius of complete, spin manifolds with uniformly positive scalar curvature using the quantitative operator $K$-theory and index theory.
△ Less
Submitted 28 February, 2024; v1 submitted 26 November, 2023;
originally announced November 2023.
-
The Novikov conjecture, the group of diffeomorphisms and continuous fields of Hilbert-Hadamard spaces
Authors:
Sherry Gong,
Jianchao Wu,
Zhizhang Xie,
Guoliang Yu
Abstract:
In this paper, we prove the Novikov conjecture for a class of highly non-linear groups, namely discrete subgroups of the diffeomorphism group of a compact smooth manifold. This removes the volume-preserving condition in a previous work. This result is proved by studying operator $K$-theory and group actions on continuous fields of infinite dimensional non-positively curved spaces.
In this paper, we prove the Novikov conjecture for a class of highly non-linear groups, namely discrete subgroups of the diffeomorphism group of a compact smooth manifold. This removes the volume-preserving condition in a previous work. This result is proved by studying operator $K$-theory and group actions on continuous fields of infinite dimensional non-positively curved spaces.
△ Less
Submitted 21 February, 2025; v1 submitted 2 October, 2023;
originally announced October 2023.
-
On the relative Novikov conjecture for coarsely embeddable groups
Authors:
Geng Tian,
Zhizhang Xie,
Guoliang Yu
Abstract:
In this paper, we prove the strong relative Novikov conjecture for any pair of groups that are coarsely embeddable into Hilbert space. As an application, we show that the relative Novikov conjecture on the homotopy invariance of relative higher signatures holds for manifolds with boundary, provided the fundamental groups of the manifolds and their boundary are coarsely embeddable into Hilbert spac…
▽ More
In this paper, we prove the strong relative Novikov conjecture for any pair of groups that are coarsely embeddable into Hilbert space. As an application, we show that the relative Novikov conjecture on the homotopy invariance of relative higher signatures holds for manifolds with boundary, provided the fundamental groups of the manifolds and their boundary are coarsely embeddable into Hilbert space.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
Comparison and uniruledness of asymptotic base loci
Authors:
Nikolaos Tsakanikas,
Zhixin Xie
Abstract:
We prove that the asymptotic base loci of an NQC klt generalized pair with big canonical class are uniruled. We also show that the non-nef locus and the diminished base locus of the adjoint divisor of an NQC log canonical generalized pair coincide. As applications, we study the uniruledness of the asymptotic base loci associated with pseudo-effective divisors on generalized log Calabi-Yau type var…
▽ More
We prove that the asymptotic base loci of an NQC klt generalized pair with big canonical class are uniruled. We also show that the non-nef locus and the diminished base locus of the adjoint divisor of an NQC log canonical generalized pair coincide. As applications, we study the uniruledness of the asymptotic base loci associated with pseudo-effective divisors on generalized log Calabi-Yau type varieties.
△ Less
Submitted 24 April, 2024; v1 submitted 2 September, 2023;
originally announced September 2023.
-
Convergence analysis of a spectral-Galerkin-type search extension method for finding multiple solutions to semilinear problems
Authors:
Wei Liu,
Ziqing Xie,
Yongjun Yuan
Abstract:
In this paper, we develop an efficient spectral-Galerkin-type search extension method (SGSEM) for finding multiple solutions to semilinear elliptic boundary value problems. This method constructs effective initial data for multiple solutions based on the linear combinations of some eigenfunctions of the corresponding linear eigenvalue problem, and thus takes full advantage of the traditional searc…
▽ More
In this paper, we develop an efficient spectral-Galerkin-type search extension method (SGSEM) for finding multiple solutions to semilinear elliptic boundary value problems. This method constructs effective initial data for multiple solutions based on the linear combinations of some eigenfunctions of the corresponding linear eigenvalue problem, and thus takes full advantage of the traditional search extension method in constructing initials for multiple solutions. Meanwhile, it possesses a low computational cost and high accuracy due to the employment of an interpolated coefficient Legendre-Galerkin spectral discretization. By applying the Schauder's fixed point theorem and other technical strategies, the existence and spectral convergence of the numerical solution corresponding to a specified true solution are rigorously proved. In addition, the uniqueness of the numerical solution in a sufficiently small neighborhood of each specified true solution is strictly verified. Numerical results demonstrate the feasibility and efficiency of our algorithm and present different types of multiple solutions.
△ Less
Submitted 12 August, 2023;
originally announced August 2023.
-
Scalar curvature rigidity of degenerate warped product spaces
Authors:
Jinmin Wang,
Zhizhang Xie
Abstract:
In this paper we prove the scalar curvature extremality and rigidity for a class of warped product spaces that are possibly degenerate at the two ends. The leaves of these warped product spaces can be any closed Riemannian manifolds with nonnegative curvature operators and nonvanishing Euler characteristics, flat tori, round spheres and their direct products. In particular, we obtain the scalar cu…
▽ More
In this paper we prove the scalar curvature extremality and rigidity for a class of warped product spaces that are possibly degenerate at the two ends. The leaves of these warped product spaces can be any closed Riemannian manifolds with nonnegative curvature operators and nonvanishing Euler characteristics, flat tori, round spheres and their direct products. In particular, we obtain the scalar curvature extremality and rigidity for certain degenerate toric bands and also for round spheres with two antipodal points removed. This answers positively the corresponding questions of Gromov in all dimensions.
△ Less
Submitted 18 December, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Willmore surfaces in 4-dimensional conformal manifolds
Authors:
Changping Wang,
Zhenxiao Xie
Abstract:
This paper is dedicated to the exploration of the conformal Willmore functional for surfaces within 4-dimensional conformal manifolds. We provide a detailed calculation of both the first and second variations, and present the Euler-Lagrange equation of this functional in a conformally invariant form. Utilizing the second variation formula we derived, we demonstrate that the Clifford torus in…
▽ More
This paper is dedicated to the exploration of the conformal Willmore functional for surfaces within 4-dimensional conformal manifolds. We provide a detailed calculation of both the first and second variations, and present the Euler-Lagrange equation of this functional in a conformally invariant form. Utilizing the second variation formula we derived, we demonstrate that the Clifford torus in $\mathbb{C}P^2$ is strictly Willmore-stable. This finding strongly supports the conjecture proposed by Montiel and Urbano [J. reine angew. Math. 546 2002, 139-154], which posits that the Clifford torus in $\mathbb{C}P^2$ minimizes the Willmore functional among all tori. Moreover, by applying our formula to complex curves in $\mathbb{C}P^2$, we establish that the first nonzero eigenvalue of the Jacobi operator is at least 12. In the context of 4-dimensional locally symmetric spaces, we construct several holomorphic differentials to show that among all minimal 2-spheres, only those super-minimal ones can be Willmore.
△ Less
Submitted 26 January, 2025; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Nakayama-Zariski decomposition and the termination of flips
Authors:
Vladimir Lazić,
Zhixin Xie
Abstract:
We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a Minimal Model Program.
We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a Minimal Model Program.
△ Less
Submitted 31 January, 2024; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Dihedral rigidity for submanifolds of warped product manifolds
Authors:
Jinmin Wang,
Zhizhang Xie
Abstract:
In this paper, we prove a dihedral extremality and rigidity theorem for a large class of codimension zero submanifolds with polyhedral boundary in warped product manifolds. We remark that the spaces considered in this paper are not necessarily warped product manifolds themselves. In particular, the results of this paper are applicable to submanifolds (of warped product manifolds) with faces that a…
▽ More
In this paper, we prove a dihedral extremality and rigidity theorem for a large class of codimension zero submanifolds with polyhedral boundary in warped product manifolds. We remark that the spaces considered in this paper are not necessarily warped product manifolds themselves. In particular, the results of this paper are applicable to submanifolds (of warped product manifolds) with faces that are neither orthogonal nor parallel to the radial direction of the warped product metric. Generally speaking, the dihedral rigidity results require the leaf of the underlying warped space to have positive Ricci curvature and the warping function to be strictly log-concave. Nevertheless, we prove a dihedral rigidity theorem for a large class of hyperbolic polyhedra, where the leaf of the underlying warped product space is flat and the warping function is not strictly log-concave.
△ Less
Submitted 3 April, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Cones of divisors on $\mathbb{P}^3$ blown up at eight very general points
Authors:
Isabel Stenger,
Zhixin Xie
Abstract:
Let $X$ be the blowup of $\mathbb{P}^3$ at eight very general points. We give a complete description of its nef and effective cones. Moreover, we show that there exists a rational polyhedral fundamental domain for the action of a certain Weyl group on the effective movable cone of $X$.
Let $X$ be the blowup of $\mathbb{P}^3$ at eight very general points. We give a complete description of its nef and effective cones. Moreover, we show that there exists a rational polyhedral fundamental domain for the action of a certain Weyl group on the effective movable cone of $X$.
△ Less
Submitted 17 May, 2023; v1 submitted 21 March, 2023;
originally announced March 2023.
-
On the Uniqueness of Convex Central Configurations in the Planar $4$-Body Problem
Authors:
Shanzhong Sun,
Zhifu Xie,
Peng You
Abstract:
In this paper, we provide a rigorous computer-assisted proof (CAP) of the conjecture that there exists a unique convex central configuration for any four fixed positive masses in a given order belonging to a closed domain in the mass space. The proof employs the Krawczyk operator and the implicit function theorem. Notably, we demonstrate that the implicit function theorem can be combined with inte…
▽ More
In this paper, we provide a rigorous computer-assisted proof (CAP) of the conjecture that there exists a unique convex central configuration for any four fixed positive masses in a given order belonging to a closed domain in the mass space. The proof employs the Krawczyk operator and the implicit function theorem. Notably, we demonstrate that the implicit function theorem can be combined with interval analysis, enabling us to estimate the size of the region where the implicit function exists and extend our findings from one mass point to its surrounding neighborhood.
△ Less
Submitted 27 July, 2023; v1 submitted 28 February, 2023;
originally announced March 2023.
-
Rationally connected threefolds with nef and bad anticanonical divisor, II
Authors:
Zhixin Xie
Abstract:
Let $X$ be a smooth complex projective rationally connected threefold with $-K_X$ nef and not semi-ample. In our previous work, we classified all such threefolds when $|{-}K_X|$ has no fixed divisor. In this paper, we continue our classification when $|{-}K_X|$ has a non-zero fixed divisor.
Let $X$ be a smooth complex projective rationally connected threefold with $-K_X$ nef and not semi-ample. In our previous work, we classified all such threefolds when $|{-}K_X|$ has no fixed divisor. In this paper, we continue our classification when $|{-}K_X|$ has a non-zero fixed divisor.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Some Tucker-like approximations based on the modal semi-tensor product
Authors:
Ze-Jia Xie,
Xiao-Qing Jin,
Zhi Zhao
Abstract:
Approximating higher-order tensors by the Tucker format has been applied in many fields such as psychometrics, chemometrics, signal processing, pattern classification, and so on. In this paper, we propose some new Tucker-like approximations based on the modal semi-tensor product (STP), especially, a new singular value decomposition (SVD) and a new higher-order SVD (HOSVD) are derived. Algorithms f…
▽ More
Approximating higher-order tensors by the Tucker format has been applied in many fields such as psychometrics, chemometrics, signal processing, pattern classification, and so on. In this paper, we propose some new Tucker-like approximations based on the modal semi-tensor product (STP), especially, a new singular value decomposition (SVD) and a new higher-order SVD (HOSVD) are derived. Algorithms for computing new decompositions are provided. We also give some numerical examples to illustrate our theoretical results.
△ Less
Submitted 15 January, 2023;
originally announced January 2023.
-
A tensor SVD-like decomposition based on the semi-tensor product of tensors
Authors:
Zhuo-Ran Chen,
Seak-Weng Vong,
Ze-Jia Xie
Abstract:
In this paper, we define a semi-tensor product for third-order tensors. Based on this definition, we present a new type of tensor decomposition strategy and give the specific algorithm. This decomposition strategy actually generalizes the tensor SVD based on semi-tensor product. Due to the characteristic of semi-tensor product for compressing the data scale, we can therefore achieve data compressi…
▽ More
In this paper, we define a semi-tensor product for third-order tensors. Based on this definition, we present a new type of tensor decomposition strategy and give the specific algorithm. This decomposition strategy actually generalizes the tensor SVD based on semi-tensor product. Due to the characteristic of semi-tensor product for compressing the data scale, we can therefore achieve data compression in this way. Numerical comparisons are given to show the advantages of this decomposition.
△ Less
Submitted 14 January, 2023;
originally announced January 2023.
-
Combinatorial Properties for a Class of Simplicial Complexes Extended from Pseudo-fractal Scale-free Web
Authors:
Zixuan Xie,
Yucheng Wang,
Wanyue Xu,
Liwang Zhu,
Wei Li,
Zhongzhi Zhang
Abstract:
Simplicial complexes are a popular tool used to model higher-order interactions between elements of complex social and biological systems. In this paper, we study some combinatorial aspects of a class of simplicial complexes created by a graph product, which is an extension of the pseudo-fractal scale-free web. We determine explicitly the independence number, the domination number, and the chromat…
▽ More
Simplicial complexes are a popular tool used to model higher-order interactions between elements of complex social and biological systems. In this paper, we study some combinatorial aspects of a class of simplicial complexes created by a graph product, which is an extension of the pseudo-fractal scale-free web. We determine explicitly the independence number, the domination number, and the chromatic number. Moreover, we derive closed-form expressions for the number of acyclic orientations, the number of root-connected acyclic orientations, the number of spanning trees, as well as the number of perfect matchings for some particular cases.
△ Less
Submitted 9 January, 2023;
originally announced January 2023.
-
Positive Scalar Curvature Meets Ricci Limit Spaces
Authors:
Jinmin Wang,
Zhizhang Xie,
Bo Zhu,
Xingyu Zhu
Abstract:
We investigate the influence of uniformly positive scalar curvature on the size of a non-collapsed Ricci limit space coming from a sequence of $n$-manifolds with non-negative Ricci curvature and uniformly positive scalar curvature. We prove that such a limit space splits at most $n-2$ lines or $\mathbb{R}$-factors. When this maximal splitting occurs, we obtain a uniform upper bound on the diameter…
▽ More
We investigate the influence of uniformly positive scalar curvature on the size of a non-collapsed Ricci limit space coming from a sequence of $n$-manifolds with non-negative Ricci curvature and uniformly positive scalar curvature. We prove that such a limit space splits at most $n-2$ lines or $\mathbb{R}$-factors. When this maximal splitting occurs, we obtain a uniform upper bound on the diameter of the non-splitting factor. Moreover, we obtain a volume gap estimate and a volume growth order estimate of geodesic balls on such manifolds.
△ Less
Submitted 24 October, 2024; v1 submitted 20 December, 2022;
originally announced December 2022.
-
Dynamic mutation enhanced greedy strategy for wavefront shaping
Authors:
Chuncheng Zhang,
Xiubao Sui,
Zheyi Yao,
Guohua Gu,
Qian Chen,
Zhihua Xie,
Zhihua Xiong,
Guodong Liu
Abstract:
Optical focusing through scattering media has important implications for optical applications in medicine, communications, and detection. In recent years, many wavefront shaping methods have been successfully applied to the field, among which the population optimization algorithm has achieved remarkable results. However, the current population optimization algorithm has some drawbacks: 1. the offs…
▽ More
Optical focusing through scattering media has important implications for optical applications in medicine, communications, and detection. In recent years, many wavefront shaping methods have been successfully applied to the field, among which the population optimization algorithm has achieved remarkable results. However, the current population optimization algorithm has some drawbacks: 1. the offspring do not fully inherit the good genes from the parent. 2. more efforts are needed to tune the parameters. In this paper, we propose the mutate greedy algorithm. It combines greedy strategies and real-time feedback of mutation rates to generate offspring. In wavefront shaping, people can realize high enhancement and fast convergence without a parameter-tuning process.
△ Less
Submitted 27 November, 2022;
originally announced December 2022.
-
Classification of Minimal Immersions of Conformally Flat $3$-Tori and $4$-Tori in Spheres by The First Eigenfunctions
Authors:
Ying Lv,
Peng Wang,
Zhenxiao Xie
Abstract:
This paper is devoted to the study of minimal immersions of flat $n$-tori into spheres, especially those immersed by the first eigenfunctions (such immersion is called $λ_1$-minimal immersion), which also play important roles in spectral geometry. It is known that there are only two non-congruent $λ_1$-minimal $2$-tori in spheres, which are both flat. For higher dimensional case, the Clifford $n$-…
▽ More
This paper is devoted to the study of minimal immersions of flat $n$-tori into spheres, especially those immersed by the first eigenfunctions (such immersion is called $λ_1$-minimal immersion), which also play important roles in spectral geometry. It is known that there are only two non-congruent $λ_1$-minimal $2$-tori in spheres, which are both flat. For higher dimensional case, the Clifford $n$-torus in $\mathbb{S}^{2n-1}$ might be the only known example in the literature. In this paper, by discussing the general construction of homogeneous minimal flat $n$-tori in spheres, we construct many new examples of $λ_1$-minimal flat $3$-tori and $4$-tori. In contrast to the rigidity in the case of $2$-tori, we show that there exists a $2$-parameter family of non-congruent $λ_1$-minimal flat $4$-tori. It turns out that the examples we constructed exhaust all $λ_1$-minimal immersions of conformally flat $3$-tori and $4$-tori in spheres. The classification involves some detailed investigations of shortest vectors in lattices, which can also be used to solve the Berger's problem on flat $3$-tori and $4$-tori. The dilation-invariant functional $λ_1(g)V(g)^{\frac{2}{n}}$ about the first eignvalue is proved to have maximal value among all flat $3$-tori and $4$-tori.
△ Less
Submitted 19 January, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
A constrained gentlest ascent dynamics and its applications to finding excited states of Bose-Einstein condensates
Authors:
Wei Liu,
Ziqing Xie,
Yongjun Yuan
Abstract:
In this paper, the gentlest ascent dynamics (GAD) developed in [W. E and X. Zhou, Nonlinearity, 24 (2011), pp. 1831--1842] is extended to a constrained gentlest ascent dynamics (CGAD) to find constrained saddle points with any specified Morse indices. It is proved that the linearly stable steady state of the proposed CGAD is exactly a nondegenerate constrained saddle point with a corresponding Mor…
▽ More
In this paper, the gentlest ascent dynamics (GAD) developed in [W. E and X. Zhou, Nonlinearity, 24 (2011), pp. 1831--1842] is extended to a constrained gentlest ascent dynamics (CGAD) to find constrained saddle points with any specified Morse indices. It is proved that the linearly stable steady state of the proposed CGAD is exactly a nondegenerate constrained saddle point with a corresponding Morse index. Meanwhile, the locally exponential convergence of an idealized CGAD near nondegenerate constrained saddle points with corresponding indices is also verified. The CGAD is then applied to find excited states of single-component Bose--Einstein condensates (BECs) in the order of their Morse indices via computing constrained saddle points of the corresponding Gross--Pitaevskii energy functional under the normalization constraint. In addition, properties of the excited states of BECs in the linear/nonlinear cases are mathematically/numerically studied. Extensive numerical results are reported to show the effectiveness and robustness of our method and demonstrate some interesting physics.
△ Less
Submitted 29 October, 2022; v1 submitted 10 September, 2022;
originally announced September 2022.
-
Fano 3-folds and classification of constantly curved holomorphic $2$-spheres of degree $6$ in the complex Grassmannian $G(2,5)$
Authors:
Quo-Shin Chi,
Zhenxiao Xie,
Yan Xu
Abstract:
Up to now the only known constantly curved sextic curve, i.e., holomorphic 2-sphere of degree 6, in the complex $G(2,5)$ has been the first associated curve of the Veronese curve of degree 4, which indicates that such curves are rare to find. Exploring the rich interplay between the ramification of harmonic sequences in differential geometry and algebro-geometric properties of projectively equival…
▽ More
Up to now the only known constantly curved sextic curve, i.e., holomorphic 2-sphere of degree 6, in the complex $G(2,5)$ has been the first associated curve of the Veronese curve of degree 4, which indicates that such curves are rare to find. Exploring the rich interplay between the ramification of harmonic sequences in differential geometry and algebro-geometric properties of projectively equivalent Fano 3-folds of index 2 and degree 5, we invoke the moduli space structure of sextic curves in the Fano 3-fold often referred to as $V_5$ to confirm the rarity of constancy of curvature, by establishing that the harmonic sequence of a generic sextic curve in $G(2, 5)$ is totally unramified. This paper proposes to investigate from the Galois viewpoint the way ramification can appear in relation to the constancy of curvature among nongeneric sextic curves in $G(2, 5)$. We prove through elaborate $PSL_2$-transvectant and engaged unitary analyses that, up to the ambient unitary equivalence, the moduli space of constantly curved sextic curves in $G(2,5)$ that are $GL(5,{\mathbb C})$-equivalent to those in $V_5$ ramified at the $PSL_2$-invariant 1-dimensional singular locus somewhere, is semialgebraic of dimension 2 all members of which barring the above Veronese curve are nonhomogeneous. Many explicit examples can be constructed.
△ Less
Submitted 17 September, 2024; v1 submitted 17 August, 2022;
originally announced August 2022.
-
Rigidity of strictly convex domains in Euclidean spaces
Authors:
Jinmin Wang,
Zhizhang Xie
Abstract:
In this paper, we prove a rigidity theorem for smooth strictly convex domains in Euclidean spaces.
In this paper, we prove a rigidity theorem for smooth strictly convex domains in Euclidean spaces.
△ Less
Submitted 18 July, 2022; v1 submitted 12 July, 2022;
originally announced July 2022.
-
$l^1$-higher index, $l^1$-higher rho invariant and cyclic cohomology
Authors:
Jinmin Wang,
Zhizhang Xie,
Guoliang Yu
Abstract:
In this paper, we study $l^1$-higher index theory and its pairing with cyclic cohomology for both closed manifolds and compact manifolds with boundary. We first give a sufficient geometric condition for the vanishing of the $l^1$-higher indices of Dirac-type operators on closed manifolds. This leads us to define an $l^1$-version of higher rho invariants. We prove a product formula for these $l^1$-…
▽ More
In this paper, we study $l^1$-higher index theory and its pairing with cyclic cohomology for both closed manifolds and compact manifolds with boundary. We first give a sufficient geometric condition for the vanishing of the $l^1$-higher indices of Dirac-type operators on closed manifolds. This leads us to define an $l^1$-version of higher rho invariants. We prove a product formula for these $l^1$-higher rho invariants. A main novelty of our product formula is that it works in the general Banach algebra setting, in particular, the $l^1$-setting.
On compact spin manifolds with boundary, we also give a sufficient geometric condition for Dirac operators to have well-defined $l^1$-higher indices. More precisely, we show that, on a compact spin manifold $M$ with boundary equipped with a Riemannian metric which has product structure near the boundary, if the scalar curvature on the boundary is sufficiently large, then the $l^1$-higher index of its Dirac operator $D_M$ is well-defined and lies in the $K$-theory of the $l^1$-algebra of the fundamental group. As an immediate corollary, we see that if the Bost conjecture holds for the fundamental group of $M$, then the $C^\ast$-algebraic higher index of $D_M$ lies in the image of the Baum-Connes assembly map.
By pairing the above $K$-theoretic $l^1$-index results with cyclic cocycles, we prove an $l^1$-version of the higher Atiyah-Patodi-Singer index theorem for manifolds with boundary. A key ingredient of its proof is the product formula for $l^1$-higher rho invariants mentioned above.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Second-order flows for computing the ground states of rotating Bose-Einstein condensates
Authors:
Haifan Chen,
Guozhi Dong,
Wei Liu,
Ziqing Xie
Abstract:
Second-order flows in this paper refer to some artificial evolutionary differential equations involving second-order time derivatives distinguished from gradient flows which are considered to be first-order flows. This is a popular topic due to the recent advances of inertial dynamics with damping in convex optimization. Mathematically, the ground state of a rotating Bose-Einstein condensate (BEC)…
▽ More
Second-order flows in this paper refer to some artificial evolutionary differential equations involving second-order time derivatives distinguished from gradient flows which are considered to be first-order flows. This is a popular topic due to the recent advances of inertial dynamics with damping in convex optimization. Mathematically, the ground state of a rotating Bose-Einstein condensate (BEC) can be modeled as a minimizer of the Gross-Pitaevskii energy functional with angular momentum rotational term under the normalization constraint. We introduce two types of second-order flows as energy minimization strategies for this constrained non-convex optimization problem, in order to approach the ground state. The proposed artificial dynamics are novel second-order nonlinear hyperbolic partial differential equations with dissipation. Several numerical discretization schemes are discussed, including explicit and semi-implicit methods for temporal discretization, combined with a Fourier pseudospectral method for spatial discretization. These provide us a series of efficient and robust algorithms for computing the ground states of rotating BECs. Particularly, the newly developed algorithms turn out to be superior to the state-of-the-art numerical methods based on the gradient flow. In comparison with the gradient flow type approaches: When explicit temporal discretization strategies are adopted, the proposed methods allow for larger stable time step sizes; While for semi-implicit discretization, using the same step size, a much smaller number of iterations are needed for the proposed methods to reach the stopping criterion, and every time step encounters almost the same computational complexity. Rich and detailed numerical examples are documented for verification and comparison.
△ Less
Submitted 6 January, 2023; v1 submitted 2 May, 2022;
originally announced May 2022.
-
The nonexistence of expansive polycyclic group actions on the circle $\mathbb S^1$
Authors:
Enhui Shi,
Suhua Wang,
Zhiwen Xie,
Hui Xu
Abstract:
We show that the circle $\mathbb S^1$ admits no expansive polycyclic group actions.
We show that the circle $\mathbb S^1$ admits no expansive polycyclic group actions.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
On Gromov's flat corner domination conjecture and Stoker's conjecture
Authors:
Jinmin Wang,
Zhizhang Xie
Abstract:
In this paper, we prove Gromov's flat corner domination conjecture in all dimensions. As a consequence, we answer positively the Stoker conjecture for convex Euclidean polyhedra in all dimensions. By applying the same techniques, we also prove a rigidity theorem for strictly convex domains in Euclidean spaces.
In this paper, we prove Gromov's flat corner domination conjecture in all dimensions. As a consequence, we answer positively the Stoker conjecture for convex Euclidean polyhedra in all dimensions. By applying the same techniques, we also prove a rigidity theorem for strictly convex domains in Euclidean spaces.
△ Less
Submitted 21 March, 2023; v1 submitted 17 March, 2022;
originally announced March 2022.
