Showing 1–50 of 54 results for author: Gong, Y

Highly efficient linear energy stable methods for preserving the original energy dissipation law of the incompressible Navier-Stokes equation

Authors: Zihan Weng, Qi Hong, Yuezheng Gong

Abstract: In this paper, we introduce a comprehensive computational framework to construct highly efficient linear energy stable methods for the incompressible Navier-Stokes equation, which preserve the original energy dissipation law. By multiplying the convection term by an identity-one term and incorporating a zero stabilization term, we recast the original model as a strongly equivalent system, while en… ▽ More In this paper, we introduce a comprehensive computational framework to construct highly efficient linear energy stable methods for the incompressible Navier-Stokes equation, which preserve the original energy dissipation law. By multiplying the convection term by an identity-one term and incorporating a zero stabilization term, we recast the original model as a strongly equivalent system, while ensuring the retention of the original energy dissipation law. Such nonlinear system is then discretized in time based on the Crank-Nicolson schemes and the backward differentiation formulas, resulting in highly efficient time-discrete schemes. The proposed schemes are designed to preserve the original energy dissipation law while requiring only the solutions of three linear Stokes systems and a $2\times 2$ linear system at each time step. The finite difference approximation on a staggered grid is employed for the time-discrete systems to derive fully discrete energy stable schemes, which are proven to preserve the original energy dissipation law and be uniquely solvable. We present the efficient implementation of these methods. Various numerical experiments are carried out to verify the accuracy, efficacy, and advantageous performance of our newly developed methods. △ Less

Submitted 8 June, 2025; originally announced June 2025.

TL;DR: Too Long, Do Re-weighting for Efficient LLM Reasoning Compression

Authors: Zhong-Zhi Li, Xiao Liang, Zihao Tang, Lei Ji, Peijie Wang, Haotian Xu, Xing W, Haizhen Huang, Weiwei Deng, Yeyun Gong, Zhijiang Guo, Xiao Liu, Fei Yin, Cheng-Lin Liu

Abstract: Large Language Models (LLMs) have recently achieved remarkable progress by leveraging Reinforcement Learning and extended Chain-of-Thought (CoT) techniques. However, the challenge of performing efficient language reasoning--especially during inference with extremely long outputs--has drawn increasing attention from the research community. In this work, we propose a dynamic ratio-based training pip… ▽ More Large Language Models (LLMs) have recently achieved remarkable progress by leveraging Reinforcement Learning and extended Chain-of-Thought (CoT) techniques. However, the challenge of performing efficient language reasoning--especially during inference with extremely long outputs--has drawn increasing attention from the research community. In this work, we propose a dynamic ratio-based training pipeline that does not rely on sophisticated data annotations or interpolation between multiple models. We continuously balance the weights between the model's System-1 and System-2 data to eliminate redundant reasoning processes while preserving the model's reasoning capability. We validate our approach across models on DeepSeek-R1-Distill-7B and DeepSeek-R1-Distill-14B and on a diverse set of benchmarks with varying difficulty levels. Our method significantly reduces the number of output tokens by nearly 40% while maintaining the accuracy of the reasoning. Our code and data will be available soon. △ Less

Submitted 14 June, 2025; v1 submitted 3 June, 2025; originally announced June 2025.

Sublinear lower bounds of eigenvalues for twisted Laplacian on compact hyperbolic surfaces

Authors: Yulin Gong, Long Jin

Abstract: We investigate the asymptotic spectral distribution of the twisted Laplacian associated with a real harmonic 1-form on a compact hyperbolic surface. In particular, we establish a sublinear lower bound on the number of eigenvalues in a sufficiently large strip determined by the pressure of the harmonic 1-form. Furthermore, following an observation by Anantharaman \cite{nalinideviation}, we show tha… ▽ More We investigate the asymptotic spectral distribution of the twisted Laplacian associated with a real harmonic 1-form on a compact hyperbolic surface. In particular, we establish a sublinear lower bound on the number of eigenvalues in a sufficiently large strip determined by the pressure of the harmonic 1-form. Furthermore, following an observation by Anantharaman \cite{nalinideviation}, we show that quantum unique ergodicity fails to hold for certain twisted Laplacians. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 23 pages

Optional intervals event, sequential operation and their applications in physics, computer science and applied mathematics

Authors: Zhongyuan. Li, Yanlei. Gong, Lei. Yu, Yue. Cao, Bo. Yin

Abstract: In this paper, we introduce algebraic theories such as set theory and group theory into the analysis of event execution order. We propose concepts like "optional intervals event" and "sequential operation", summarize their algebraic properties and draw Cayley tables. Based on these efforts, we offer new interpretations for certain physical phenomena and computer application scenarios. Finally, we… ▽ More In this paper, we introduce algebraic theories such as set theory and group theory into the analysis of event execution order. We propose concepts like "optional intervals event" and "sequential operation", summarize their algebraic properties and draw Cayley tables. Based on these efforts, we offer new interpretations for certain physical phenomena and computer application scenarios. Finally, we present other issues derived from this paradigm. These concepts can deepen our understanding of motion and find applications in areas such as event arrangement, physical simulation, and computer modeling △ Less

Submitted 13 April, 2025; originally announced April 2025.

A two-stage search framework for constrained multi-gradient descent

Authors: Yuan-Zheng Lei, Yaobang Gong, Xianfeng Terry Yang

Abstract: The multi-gradient descent algorithm (MGDA) finds a common descent direction that can improve all objectives by identifying the minimum-norm point in the convex hull of the objective gradients. This method has become a foundational tool in large-scale multi-objective optimization, particularly in multi-task learning. However, MGDA may struggle with constrained problems, whether constraints are inc… ▽ More The multi-gradient descent algorithm (MGDA) finds a common descent direction that can improve all objectives by identifying the minimum-norm point in the convex hull of the objective gradients. This method has become a foundational tool in large-scale multi-objective optimization, particularly in multi-task learning. However, MGDA may struggle with constrained problems, whether constraints are incorporated into the gradient hull or handled via projection onto the feasible region. To address this limitation, we propose a two-stage search algorithm for constrained multi-objective optimization. The first stage formulates a min-max problem that minimizes the upper bound of directional derivatives under constraints, yielding a weakly Pareto stationary solution with balanced progress across objectives. The second stage refines this solution by minimizing the lower bound of directional derivatives to achieve full Pareto stationarity. We evaluate the proposed method on three numerical examples. In a simple case with a known analytical Pareto front, our algorithm converges rapidly. In more complex real-world problems, it consistently outperforms the evolutionary baselines NSGA-II and NSGA-III. △ Less

Submitted 14 April, 2025; v1 submitted 19 February, 2025; originally announced February 2025.

Poincaré Inequality for Local Log-Polyak-Lojasiewicz Measures : Non-asymptotic Analysis in Low-temperature Regime

Authors: Yun Gong, Zebang Shen, Niao He

Abstract: Potential functions in highly pertinent applications, such as deep learning in over-parameterized regime, are empirically observed to admit non-isolated minima. To understand the convergence behavior of stochastic dynamics in such landscapes, we propose to study the class of \logPLmeasure\ measures $μ_ε\propto \exp(-V/ε)$, where the potential $V$ satisfies a local Polyak-Łojasiewicz (PŁ) inequalit… ▽ More Potential functions in highly pertinent applications, such as deep learning in over-parameterized regime, are empirically observed to admit non-isolated minima. To understand the convergence behavior of stochastic dynamics in such landscapes, we propose to study the class of \logPLmeasure\ measures $μ_ε\propto \exp(-V/ε)$, where the potential $V$ satisfies a local Polyak-Łojasiewicz (PŁ) inequality, and its set of local minima is provably \emph{connected}. Notably, potentials in this class can exhibit local maxima and we characterize its optimal set S to be a compact $\mathcal{C}^2$ \emph{embedding submanifold} of $\mathbb{R}^d$ without boundary. The \emph{non-contractibility} of S distinguishes our function class from the classical convex setting topologically. Moreover, the embedding structure induces a naturally defined Laplacian-Beltrami operator on S, and we show that its first non-trivial eigenvalue provides an \emph{$ε$-independent} lower bound for the \Poincare\ constant in the \Poincare\ inequality of $μ_ε$. As a direct consequence, Langevin dynamics with such non-convex potential $V$ and diffusion coefficient $ε$ converges to its equilibrium $μ_ε$ at a rate of $\tilde{\mathcal{O}}(1/ε)$, provided $ε$ is sufficiently small. Here $\tilde{\mathcal{O}}$ hides logarithmic terms. △ Less

Submitted 15 February, 2025; v1 submitted 7 February, 2025; originally announced February 2025.

Comments: This work was intended as a replacement of arXiv:2501.00429 and any subsequent updates will appear there

Finite volume element method for Landau-Lifshitz equation

Authors: Yunjie Gong, Rui Du, Panchi Li

Abstract: The Landau-Lifshitz equation describes the dynamics of magnetization in ferromagnetic materials. Due to the essential nonlinearity and nonconvex constraint, it is typically solved numerically. In this paper, we developed a finite volume element method (FVEM) with the Gauss-Seidel projection method (GSPM) for the micromagnetics simulations. We give the error estimate for FVEM in space and depict th… ▽ More The Landau-Lifshitz equation describes the dynamics of magnetization in ferromagnetic materials. Due to the essential nonlinearity and nonconvex constraint, it is typically solved numerically. In this paper, we developed a finite volume element method (FVEM) with the Gauss-Seidel projection method (GSPM) for the micromagnetics simulations. We give the error estimate for FVEM in space and depict the discretized energy dissipation. Owing to the application of the GSPM, the nonlinear vector system is decoupled and the computational complexity is comparable to that of implicitly solving the scalar heat equation, which accelerates the real simulations significantly. We present several numerical experiments to verify the theoretical analysis. Furthermore, we study the blow-up solution and efficiently simulate the 2D magnetic textures using the proposed method. △ Less

Submitted 7 February, 2025; originally announced February 2025.

Comments: 27 pages, 11 figures

MSC Class: 35K51 ACM Class: G.1.8

Poincare Inequality for Local Log-Polyak-Łojasiewicz Measures: Non-asymptotic Analysis in Low-temperature Regime

Authors: Yun Gong, Niao He, Zebang Shen

Abstract: Potential functions in highly pertinent applications, such as deep learning in over-parameterized regime, are empirically observed to admit non-isolated minima. To understand the convergence behavior of stochastic dynamics in such landscapes, we propose to study the class of log-PŁ$^\circ$ measures $μ_ε\propto \exp(-V/ε)$, where the potential $V$ satisfies a local Polyak-Łojasiewicz (PŁ) inequalit… ▽ More Potential functions in highly pertinent applications, such as deep learning in over-parameterized regime, are empirically observed to admit non-isolated minima. To understand the convergence behavior of stochastic dynamics in such landscapes, we propose to study the class of log-PŁ$^\circ$ measures $μ_ε\propto \exp(-V/ε)$, where the potential $V$ satisfies a local Polyak-Łojasiewicz (PŁ) inequality, and its set of local minima is provably connected. Notably, potentials in this class can exhibit local maxima and we characterize its optimal set $S$ to be a compact ${C}^2$ embedding submanifold of ${R}^d$ without boundary. The non-contractibility of $S$ distinguishes our function class from the classical convex setting topologically. Moreover, the embedding structure induces a naturally defined Laplacian-Beltrami operator on $S$, and we show that its first non-trivial eigenvalue provides an $ε$-independent lower bound for the Poincaré constant in the Poincaré inequality of $μ_ε$. As a direct consequence, Langevin dynamics with such non-convex potential $V$ and diffusion coefficient $ε$ converges to its equilibrium $μ_ε$ at a rate of $\tilde{O}(1/ε)$, provided $ε$ is sufficiently small. Here $\tilde{O}$ hides logarithmic terms. △ Less

Submitted 15 February, 2025; v1 submitted 31 December, 2024; originally announced January 2025.

Comments: 29 pages; This is a shorter version that contains only the 2-local-PŁ case. For results in the more general $α$-PL case, $α<= 2$, please refer to the previous version; Previously this version appeared as arXiv:2502.06862 which was submitted as a new work by accident;

Propagation of Chaos for 2D Log Gas on the Whole Space

Authors: Shuzhe Cai, Xuanrui Feng, Yun Gong, Zhenfu Wang

Abstract: We derive the quantitative propagation of chaos in the sense of relative entropy for the first time for the 2D Log gas or the weakly interacting particle systems with 2D Coulomb interactions on the whole space. We resolve this problem by adapting the modulated free energy method in [BJW23] to the whole space setting and establishing the crucial logarithmic growth estimates for the mean-field Poiss… ▽ More We derive the quantitative propagation of chaos in the sense of relative entropy for the first time for the 2D Log gas or the weakly interacting particle systems with 2D Coulomb interactions on the whole space. We resolve this problem by adapting the modulated free energy method in [BJW23] to the whole space setting and establishing the crucial logarithmic growth estimates for the mean-field Poisson-Nernst-Planck (PNP) equation of single component via the parabolic maximum principle. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Comments: 30 pages

The spectral concentration for damped waves on compact Anosov manifolds

Authors: Yulin Gong

Abstract: We study the spectral distribution of damped waves on compact Anosov manifolds. Sjöstrand \cite{SJ1} proved that the imaginary parts of the majority of the eigenvalues concentrate near the average of the damping function, see also Anantharaman \cite{AN2}. In this paper, we prove that the most of eigenvalues actually lie in certain regions with imaginary parts that approach the average logarithmica… ▽ More We study the spectral distribution of damped waves on compact Anosov manifolds. Sjöstrand \cite{SJ1} proved that the imaginary parts of the majority of the eigenvalues concentrate near the average of the damping function, see also Anantharaman \cite{AN2}. In this paper, we prove that the most of eigenvalues actually lie in certain regions with imaginary parts that approach the average logarithmically as the real parts tend to infinity. The proof relies on the moderate deviation principles for Anosov geodesic flows. As an application, we show the concentration of non-trivial zeros of twisted Selberg zeta functions in a logarithmic region asymptotically close to $\Re s=\frac{1}{2}$. △ Less

Submitted 4 February, 2025; v1 submitted 5 November, 2024; originally announced November 2024.

Comments: In the updated version, we apply the moderate deviation principles for Anosov contact flows to improve the width of the concentration for damped waves to |\log h|^{-1/2+α}, for any α>0

Uniform-in-time propagation of chaos for second order interacting particle systems

Authors: Yun Gong, Zhenfu Wang, Pengzhi Xie

Abstract: We study the long time behavior of second order particle systems interacting through global Lipschitz kernels. Combining hypocoercivity method in [37] and relative entropy method in [25], we are able to overcome the degeneracy of diffusion in position direction by controlling the relative entropy and relative Fisher information together. This implies the uniform-in-time propagation of chaos throug… ▽ More We study the long time behavior of second order particle systems interacting through global Lipschitz kernels. Combining hypocoercivity method in [37] and relative entropy method in [25], we are able to overcome the degeneracy of diffusion in position direction by controlling the relative entropy and relative Fisher information together. This implies the uniform-in-time propagation of chaos through the strong convergence of all marginals. Our method works at the level of Liouville equation and relies on the log Sobolev inequality of equilibrium of Vlasov-Fokker-Planck equation. △ Less

Submitted 4 September, 2024; originally announced September 2024.

Comments: 60 pages

PFWNN: A deep learning method for solving forward and inverse problems of phase-field models

Authors: Gang Bao, Chang Ma, Yuxuan Gong

Abstract: Phase-field models have been widely used to investigate the phase transformation phenomena. However, it is difficult to solve the problems numerically due to their strong nonlinearities and higher-order terms. This work is devoted to solving forward and inverse problems of the phase-field models by a novel deep learning framework named Phase-Field Weak-form Neural Networks (PFWNN), which is based… ▽ More Phase-field models have been widely used to investigate the phase transformation phenomena. However, it is difficult to solve the problems numerically due to their strong nonlinearities and higher-order terms. This work is devoted to solving forward and inverse problems of the phase-field models by a novel deep learning framework named Phase-Field Weak-form Neural Networks (PFWNN), which is based on the weak forms of the phase-field equations. In this framework, the weak solutions are parameterized as deep neural networks with a periodic layer, while the test function space is constructed by functions compactly supported in small regions. The PFWNN can efficiently solve the phase-field equations characterizing the sharp transitions and identify the important parameters by employing the weak forms. It also allows local training in small regions, which significantly reduce the computational cost. Moreover, it can guarantee the residual descending along the time marching direction, enhancing the convergence of the method. Numerical examples are presented for several benchmark problems. The results validate the efficiency and accuracy of the PFWNN. This work also sheds light on solving the forward and inverse problems of general high-order time-dependent partial differential equations. △ Less

Submitted 21 July, 2024; originally announced July 2024.

Discrete trace formulas and holomorphic functional calculus for the adjacency matrix of regular graphs

Authors: Yulin Gong, Wenbo Li, Shiping Liu

Abstract: We study the holomorphic functional calculus for the adjacency matrices on possibly infinite regular graphs. More precisely, we show an expansion of $h(A)$ in terms of non-backtracking matrices, where $A$ is the adjacency matrix and $h$ is a holomorphic function on the interior of a particular ellipse containing the spectrum of $A$. Furthermore, we prove related trace formulas for regular graphs.… ▽ More We study the holomorphic functional calculus for the adjacency matrices on possibly infinite regular graphs. More precisely, we show an expansion of $h(A)$ in terms of non-backtracking matrices, where $A$ is the adjacency matrix and $h$ is a holomorphic function on the interior of a particular ellipse containing the spectrum of $A$. Furthermore, we prove related trace formulas for regular graphs. Our results provide a simple and direct approach to the study of resolvent, heat and Schrödinger equations, Ihara zeta functions, and combinatorial enumeration problems on regular graphs. △ Less

Submitted 14 October, 2024; v1 submitted 25 June, 2024; originally announced June 2024.

Comments: 38 pages. The article has been updated and restructured. All comments are welcome

MSC Class: 05C30; 05C31; 05C50; 05C62

Spectral convergence of random regular graphs: Chebyshev polynomials, non-backtracking walks, and unitary-color extensions

Authors: Yulin Gong, Wenbo Li, Shiping Liu

Abstract: In this paper, we give a short proof of the weak convergence to the Kesten-McKay distribution for the normalized spectral measures of random $N$-lifts. This result is derived by generalizing a formula of Friedman involving Chebyshev polynomials and non-backtracking walks. We also extend a criterion of Sodin on the convergence of graph spectral measures to regular graphs of growing degree. As a res… ▽ More In this paper, we give a short proof of the weak convergence to the Kesten-McKay distribution for the normalized spectral measures of random $N$-lifts. This result is derived by generalizing a formula of Friedman involving Chebyshev polynomials and non-backtracking walks. We also extend a criterion of Sodin on the convergence of graph spectral measures to regular graphs of growing degree. As a result, we show that for a sequence of random $(q_n+1)$-regular graphs $G_n$ with $n$ vertices, if $q_n = n^{o(1)}$ and $q_n$ tends to infinity, the normalized spectral measure converges almost surely in $p$-Wasserstein distance to the semicircle distribution for any $p \in [1, \infty)$. This strengthens a result of Dumitriu and Pal. Many of the results are extended to unitary-colored regular graphs. △ Less

Submitted 14 October, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

Comments: 28 pages, 5 figures. We tbank the anonymous referee for bringing the work of Sasha Sodin to our attention. We have attributed proper credits of Theorem 3.1 to Sasha Sodin in this version. We further modify the whole article accordingly. All comments are welcome!

MSC Class: 05C31; 05C50; 05C80; 60B20

LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation

Authors: Zeyuan Ma, Hongshu Guo, Jiacheng Chen, Guojun Peng, Zhiguang Cao, Yining Ma, Yue-Jiao Gong

Abstract: Recent research explores optimization using large language models (LLMs) by either iteratively seeking next-step solutions from LLMs or directly prompting LLMs for an optimizer. However, these approaches exhibit inherent limitations, including low operational efficiency, high sensitivity to prompt design, and a lack of domain-specific knowledge. We introduce LLaMoCo, the first instruction-tuning f… ▽ More Recent research explores optimization using large language models (LLMs) by either iteratively seeking next-step solutions from LLMs or directly prompting LLMs for an optimizer. However, these approaches exhibit inherent limitations, including low operational efficiency, high sensitivity to prompt design, and a lack of domain-specific knowledge. We introduce LLaMoCo, the first instruction-tuning framework designed to adapt LLMs for solving optimization problems in a code-to-code manner. Specifically, we establish a comprehensive instruction set containing well-described problem prompts and effective optimization codes. We then develop a novel two-phase learning strategy that incorporates a contrastive learning-based warm-up procedure before the instruction-tuning phase to enhance the convergence behavior during model fine-tuning. The experiment results demonstrate that a CodeGen (350M) model fine-tuned by our LLaMoCo achieves superior optimization performance compared to GPT-4 Turbo and the other competitors across both synthetic and realistic problem sets. The fine-tuned model and the usage instructions are available at https://anonymous.4open.science/r/LLaMoCo-722A. △ Less

Submitted 5 March, 2024; v1 submitted 2 March, 2024; originally announced March 2024.

A Generalized Primal-Dual Correction Method for Saddle-Point Problems with a Nonlinear Coupling Operator

Authors: Sai Wang, Yi Gong

Abstract: The saddle-point problems (SPPs) with nonlinear coupling operators frequently arise in various control systems, such as dynamic programming optimization, H-infinity control, and Lyapunov stability analysis. However, traditional primal-dual methods are constrained by fixed regularization factors. In this paper, a novel generalized primal-dual correction method (GPD-CM) is proposed to adjust the val… ▽ More The saddle-point problems (SPPs) with nonlinear coupling operators frequently arise in various control systems, such as dynamic programming optimization, H-infinity control, and Lyapunov stability analysis. However, traditional primal-dual methods are constrained by fixed regularization factors. In this paper, a novel generalized primal-dual correction method (GPD-CM) is proposed to adjust the values of regularization factors dynamically. It turns out that this method can achieve the minimum theoretical lower bound of regularization factors, allowing for larger step sizes under the convergence condition being satisfied. The convergence of the GPD-CM is directly achieved through a unified variational framework. Theoretical analysis shows that the proposed method can achieve an ergodic convergence rate of $O(1/t)$. Numerical results support our theoretical analysis for an SPP with an exponential coupling operator. △ Less

Submitted 20 March, 2025; v1 submitted 10 August, 2023; originally announced August 2023.

Comments: This paper has been published in the International Journal of Control, Automation and Systems, Vol. 23, No. 2, pp. 638-645, 2025, DOI: 10.1007/s12555-024-0453-8

Nonlinear Convex Optimization: From Relaxed Proximal Point Algorithm to Prediction Correction Method

Authors: Sai Wang, Yi Gong

Abstract: Nonlinear convex problems arise in various areas of applied mathematics and engineering. Classical techniques such as the relaxed proximal point algorithm (PPA) and the prediction correction (PC) method were proposed for linearly constrained convex problems. However, these methods have not been investigated for nonlinear constraints. In this paper, we customize the varying proximal matrix to devel… ▽ More Nonlinear convex problems arise in various areas of applied mathematics and engineering. Classical techniques such as the relaxed proximal point algorithm (PPA) and the prediction correction (PC) method were proposed for linearly constrained convex problems. However, these methods have not been investigated for nonlinear constraints. In this paper, we customize the varying proximal matrix to develop the relaxed PPA for nonlinear convex problems. We also extend the PC method to nonlinear convex problems. As both methods are an extension of the PPA-based contraction method, their sequence convergence can be directly established. Moreover, we theoretically demonstrate that both methods can achieve a convergence rate of $O(1/t)$. Numerical results once again support the theoretical analysis. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: We are grateful to Bingsheng He for their insightful feedback on early drafts of this manuscript. These comments greatly improved the quality of this paper

Spectral Distribution of Twisted Laplacian on Typical Hyperbolic Surfaces of High Genus

Authors: Yulin Gong

Abstract: We investigate the spectral distribution of the twisted Laplacian associated with uniform square-integrable bounded harmonic 1-form on typical hyperbolic surfaces of high genus. First, we estimate the spectral distribution by the supremum norm of the corresponding harmonic form. Subsequently, we show that the square-integrable bounded harmonic form exhibits a small supremum norm for typical hyperb… ▽ More We investigate the spectral distribution of the twisted Laplacian associated with uniform square-integrable bounded harmonic 1-form on typical hyperbolic surfaces of high genus. First, we estimate the spectral distribution by the supremum norm of the corresponding harmonic form. Subsequently, we show that the square-integrable bounded harmonic form exhibits a small supremum norm for typical hyperbolic surfaces of high genus. Based on these findings, we prove a uniform Weyl law for the distribution of real parts of the spectrum on typical hyperbolic surfaces. △ Less

Submitted 25 June, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Journal ref: Commun. Math. Phys. 405, 158 (2024)

Low-Complexity Iterative Methods for Complex-Variable Matrix Optimization Problems in Frobenius Norm

Authors: Sai Wang, Yi Gong

Abstract: Complex-variable matrix optimization problems (CMOPs) in Frobenius norm emerge in many areas of applied mathematics and engineering applications. In this letter, we focus on solving CMOPs by iterative methods. For unconstrained CMOPs, we prove that the gradient descent (GD) method is feasible in the complex domain. Further, in view of reducing the computation complexity, constrained CMOPs are solv… ▽ More Complex-variable matrix optimization problems (CMOPs) in Frobenius norm emerge in many areas of applied mathematics and engineering applications. In this letter, we focus on solving CMOPs by iterative methods. For unconstrained CMOPs, we prove that the gradient descent (GD) method is feasible in the complex domain. Further, in view of reducing the computation complexity, constrained CMOPs are solved by a projection gradient descent (PGD) method. The theoretical analysis shows that the PGD method maintains a good convergence in the complex domain. Experiment results well support the theoretical analysis. △ Less

Submitted 17 March, 2023; v1 submitted 13 March, 2023; originally announced March 2023.

Comments: This paper has been submitted to IEEE signal processing letter for possible publication

A simple reaction-diffusion system as a possible model for the origin of chemotaxis

Authors: Yishu Gong, Alexander Kiselev

Abstract: Chemotaxis is a directed cell movement in response to external chemical stimuli. In this paper, we propose a simple model for the origin of chemotaxis - namely how a directed movement in response to an external chemical signal may occur based on purely reaction-diffusion equations reflecting inner working of the cells. The model is inspired by the well-studied role of the rho-GTPase Cdc42 regulato… ▽ More Chemotaxis is a directed cell movement in response to external chemical stimuli. In this paper, we propose a simple model for the origin of chemotaxis - namely how a directed movement in response to an external chemical signal may occur based on purely reaction-diffusion equations reflecting inner working of the cells. The model is inspired by the well-studied role of the rho-GTPase Cdc42 regulator of cell polarity, in particular in yeast cells. We analyze several versions of the model in order to better understand its analytic properties, and prove global regularity in one and two dimensions. Using computer simulations, we demonstrate that in the framework of this model, at least in certain parameter regimes, the speed of the directed movement appears to be proportional to the size of the gradient of signalling chemical. This coincides with the form of the chemical drift in the most studied mean field model of chemotaxis, the Keller-Segel equation. △ Less

Submitted 29 June, 2023; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: 15 pages, 10 figures

MSC Class: 92-10

stochastic Leray-α model of Euler equations

Authors: Yong Chen, Yuanyuan Gong

Abstract: We study the stochastic Leray-α model of Euler equations with transport noise. We first use weak convergence approach to show the large deviations of the stochastic Leray-α model of Euler equations in a suitable scaling limit. Then, we establish the quantitative convergence rate by semigroup approach. Moreover, we obtain a central limit theorem with strong convergence and get the explicit rate. We study the stochastic Leray-α model of Euler equations with transport noise. We first use weak convergence approach to show the large deviations of the stochastic Leray-α model of Euler equations in a suitable scaling limit. Then, we establish the quantitative convergence rate by semigroup approach. Moreover, we obtain a central limit theorem with strong convergence and get the explicit rate. △ Less

Submitted 8 May, 2023; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: there was an error

A Remark on the Invariant Energy Quadratization (IEQ) Method for Preserving the Original Energy Dissipation Laws

Authors: Zengyan Zhang, Yuezheng Gong, Jia Zhao

Abstract: In this letter, we revisit the IEQ method and provide a new perspective on its ability to preserve the original energy dissipation laws. The invariant energy quadratization (IEQ) method has been widely used to design energy stable numerical schemes for phase-field or gradient flow models. Although there are many merits of the IEQ method, one major disadvantage is that the IEQ method usually respec… ▽ More In this letter, we revisit the IEQ method and provide a new perspective on its ability to preserve the original energy dissipation laws. The invariant energy quadratization (IEQ) method has been widely used to design energy stable numerical schemes for phase-field or gradient flow models. Although there are many merits of the IEQ method, one major disadvantage is that the IEQ method usually respects a modified energy law, where the modified energy is expressed in the auxiliary variables. Still, the dissipation laws in terms of the original energy are not guaranteed. Using the widely-used Cahn-Hilliard equation as an example, we demonstrate that the Runge-Kutta IEQ method indeed can preserve the original energy dissipation laws for certain situations up to arbitrary high-order accuracy. Interested readers are highly encouraged to apply our idea to other phase-field equations or gradient flow models. △ Less

Submitted 25 November, 2021; originally announced November 2021.

Computing Groebner bases of ideal interpolation

Authors: Xue Jiang, Yihe Gong

Abstract: We present algorithms for computing the reduced Gröbner basis of the vanishing ideal of a finite set of points in a frame of ideal interpolation. Ideal interpolation is defined by a linear projector whose kernel is a polynomial ideal. In this paper, we translate interpolation condition functionals into formal power series via Taylor expansion, then the reduced Gröbner basis is read from formal pow… ▽ More We present algorithms for computing the reduced Gröbner basis of the vanishing ideal of a finite set of points in a frame of ideal interpolation. Ideal interpolation is defined by a linear projector whose kernel is a polynomial ideal. In this paper, we translate interpolation condition functionals into formal power series via Taylor expansion, then the reduced Gröbner basis is read from formal power series by Gaussian elimination. Our algorithm has a polynomial time complexity. It compares favorably with MMM algorithm in single point ideal interpolation and some several points ideal interpolation. △ Less

Submitted 14 January, 2024; v1 submitted 14 November, 2021; originally announced November 2021.

Comments: arXiv admin note: text overlap with arXiv:2007.11830

BFGS-ADMM for Large-Scale Distributed Optimization

Authors: Yichuan Li, Yonghai Gong, Nikolaos M. Freris, Petros Voulgaris, Dusan Stipanovic

Abstract: We consider a class of distributed optimization problem where the objective function consists of a sum of strongly convex and smooth functions and a (possibly nonsmooth) convex regularizer. A multi-agent network is assumed, where each agent holds a private cost function and cooperates with its neighbors to compute the optimum of the aggregate objective. We propose a quasi-Newton Alternating Direct… ▽ More We consider a class of distributed optimization problem where the objective function consists of a sum of strongly convex and smooth functions and a (possibly nonsmooth) convex regularizer. A multi-agent network is assumed, where each agent holds a private cost function and cooperates with its neighbors to compute the optimum of the aggregate objective. We propose a quasi-Newton Alternating Direction Method of Multipliers (ADMM) where the primal update is solved inexactly with approximated curvature information. By introducing an intermediate consensus variable, we achieve a block diagonal Hessian which eliminates the need for inner communication loops within the network when computing the update direction. We establish global linear convergence to the optimal primal-dual solution without the need for backtracking line search, under the assumption that component cost functions are strongly convex with Lipschitz continuous gradients. Numerical simulations on real datasets demonstrate the advantages of the proposed method over state of the art. △ Less

Submitted 29 September, 2021; originally announced September 2021.

A novel class of energy-preserving Runge-Kutta methods for the Korteweg-de Vries equation

Authors: Yue Chen, Yuezheng Gong, Qi Hong, Chuwu Wang

Abstract: In this paper, we present a quadratic auxiliary variable approach to develop a new class of energy-preserving Runge-Kutta methods for the Korteweg-de Vries equation. The quadratic auxiliary variable approach is first proposed to reformulate the original model into an equivalent system, which transforms the energy conservation law of the Korteweg-de Vries equation into two quadratic invariants of t… ▽ More In this paper, we present a quadratic auxiliary variable approach to develop a new class of energy-preserving Runge-Kutta methods for the Korteweg-de Vries equation. The quadratic auxiliary variable approach is first proposed to reformulate the original model into an equivalent system, which transforms the energy conservation law of the Korteweg-de Vries equation into two quadratic invariants of the reformulated system. Then the symplectic Runge-Kutta methods are directly employed for the reformulated model to arrive at a new kind of time semi-discrete schemes for the original problem. Under the consistent initial condition, the proposed methods are rigorously proved to maintain the original energy conservation law of the Korteweg-de Vries equation. In addition, the Fourier pseudo-spectral method is used for spatial discretization, resulting in fully discrete energy-preserving schemes. To implement the proposed methods effectively, we present a very efficient iterative technique, which not only greatly saves the calculation cost, but also achieves the purpose of practically preserving structure. Ample numerical results are addressed to confirm the expected order of accuracy, conservative property and efficiency of the proposed algorithms. △ Less

Submitted 28 October, 2021; v1 submitted 26 August, 2021; originally announced August 2021.

Comments: 22 pages, 15 figures

Random search in fluid flow aided by chemotaxis

Authors: Yishu Gong, Siming He, Alexander Kiselev

Abstract: In this paper, we consider the dynamics of a 2D target-searching agent performing Brownian motion under the influence of fluid shear flow and chemical attraction. The analysis is motivated by numerous situations in biology where these effects are present, such as broadcast spawning of marine animals and other reproduction processes or workings of the immune systems. We rigorously characterize the… ▽ More In this paper, we consider the dynamics of a 2D target-searching agent performing Brownian motion under the influence of fluid shear flow and chemical attraction. The analysis is motivated by numerous situations in biology where these effects are present, such as broadcast spawning of marine animals and other reproduction processes or workings of the immune systems. We rigorously characterize the limit of the expected hit time in the large flow amplitude limit as corresponding to the effective one-dimensional problem. We also perform numerical computations to characterize the finer properties of the expected duration of the search. The numerical experiments show many interesting features of the process, and in particular existence of the optimal value of the shear flow that minimizes the expected target hit time and outperforms the large flow limit. △ Less

Submitted 27 May, 2022; v1 submitted 6 July, 2021; originally announced July 2021.

Chemotactic Reaction Enhancement in One Dimension

Authors: Yishu Gong, Alexander Kiselev

Abstract: Chemotaxis, the directional locomotion of cells towards a source of a chemical gradient, is an integral part of many biological processes - for example, bacteria motion, single-cell or multicellular organisms development, immune response, etc. Chemotaxis directs bacteria's movement to find food (e.g., glucose) by swimming toward the highest concentration of food molecules. In multicellular organis… ▽ More Chemotaxis, the directional locomotion of cells towards a source of a chemical gradient, is an integral part of many biological processes - for example, bacteria motion, single-cell or multicellular organisms development, immune response, etc. Chemotaxis directs bacteria's movement to find food (e.g., glucose) by swimming toward the highest concentration of food molecules. In multicellular organisms, chemotaxis is critical to early development (e.g., movement of sperm towards the egg during fertilization). Chemotaxis also helps mobilize phagocytic and immune cells at sites of infection, tissue injury, and thus facilitates immune reactions. In this paper, we study a PDE system that describes such biological processes in one dimension, which may correspond to a thin channel, the setting relevant in many applications: for example, spermatozoa progression to the ovum inside a Fallopian tube or immune response in a blood vessel. △ Less

Submitted 26 March, 2021; originally announced March 2021.

Comments: 18 pages, 1 figure

A Discrete Scheme for Computing Image's Weighted Gaussian Curvature

Authors: Yuanhao Gong, Wenming Tang, Lebin Zhou, Lantao Yu, Guoping Qiu

Abstract: Weighted Gaussian Curvature is an important measurement for images. However, its conventional computation scheme has low performance, low accuracy and requires that the input image must be second order differentiable. To tackle these three issues, we propose a novel discrete computation scheme for the weighted Gaussian curvature. Our scheme does not require the second order differentiability. More… ▽ More Weighted Gaussian Curvature is an important measurement for images. However, its conventional computation scheme has low performance, low accuracy and requires that the input image must be second order differentiable. To tackle these three issues, we propose a novel discrete computation scheme for the weighted Gaussian curvature. Our scheme does not require the second order differentiability. Moreover, our scheme is more accurate, has smaller support region and computationally more efficient than the conventional schemes. Therefore, our scheme holds promise for a large range of applications where the weighted Gaussian curvature is needed, for example, image smoothing, cartoon texture decomposition, optical flow estimation, etc. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Numerical solution of an inverse random source problem for the time fractional diffusion equation via PhaseLift

Authors: Yuxuan Gong, Peijun Li, Xu Wang, Xiang Xu

Abstract: This paper is concerned with the inverse random source problem for a stochastic time fractional diffusion equation, where the source is assumed to be driven by a Gaussian random field. The direct problem is shown to be well-posed by examining the well-posedness and regularity of the solution for the equivalent stochastic two-point boundary value problem in the frequency domain. For the inverse pro… ▽ More This paper is concerned with the inverse random source problem for a stochastic time fractional diffusion equation, where the source is assumed to be driven by a Gaussian random field. The direct problem is shown to be well-posed by examining the well-posedness and regularity of the solution for the equivalent stochastic two-point boundary value problem in the frequency domain. For the inverse problem, the Fourier modulus of the diffusion coefficient of the random source is proved to be uniquely determined by the variance of the Fourier transform of the boundary data. As a phase retrieval for the inverse problem, the PhaseLift method with random masks is applied to recover the diffusion coefficient from its Fourier modulus. Numerical experiments are reported to demonstrate the effectiveness of the proposed method. △ Less

Submitted 20 December, 2020; originally announced December 2020.

An explicit and practically invariants-preserving method for conservative systems

Authors: Wenjun Cai, Yuezheng Gong, Yushun Wang

Abstract: An explicit numerical strategy that practically preserves invariants is derived for conservative systems by combining an explicit high-order Runge-Kutta (RK) scheme with a simple modification of the standard projection approach, which is named the explicit invariants-preserving (EIP) method. The proposed approach is shown to have the same order as the underlying RK method, while the error of invar… ▽ More An explicit numerical strategy that practically preserves invariants is derived for conservative systems by combining an explicit high-order Runge-Kutta (RK) scheme with a simple modification of the standard projection approach, which is named the explicit invariants-preserving (EIP) method. The proposed approach is shown to have the same order as the underlying RK method, while the error of invariants is analyzed in the order of $\mathcal{O}\left(h^{2(p+1)}\right),$ where $h$ is the time step and $p$ represents the order of the method. When $p$ is appropriately large, the EIP method is practically invariants-conserving because the error of invariants can reach the machine accuracy. The method is illustrated for the cases of single and multiple invariants, with regard to both ODEs and high-dimensional PDEs. Extensive numerical experiments are presented to verify our theoretical results and demonstrate the superior behaviors of the proposed method in a long time numerical simulation. Numerical results suggest that the fourth-order EIP method preserves much better the qualitative properties of the flow than the standard fourth-order RK method and it is more efficient in practice than the fully implicit integrators. △ Less

Submitted 15 September, 2020; originally announced September 2020.

Comments: 25 pages, 61 figures

A Residual Solver and Its Unfolding Neural Network for Total Variation Regularized Models

Authors: Yuanhao Gong

Abstract: This paper proposes to solve the Total Variation regularized models by finding the residual between the input and the unknown optimal solution. After analyzing a previous method, we developed a new iterative algorithm, named as Residual Solver, which implicitly solves the model in gradient domain. We theoretically prove the uniqueness of the gradient field in our algorithm. We further numerically… ▽ More This paper proposes to solve the Total Variation regularized models by finding the residual between the input and the unknown optimal solution. After analyzing a previous method, we developed a new iterative algorithm, named as Residual Solver, which implicitly solves the model in gradient domain. We theoretically prove the uniqueness of the gradient field in our algorithm. We further numerically confirm that the residual solver can reach the same global optimal solutions as the classical method on 500 natural images. Moreover, we unfold our iterative algorithm into a convolution neural network (named as Residual Solver Network). This network is unsupervised and can be considered as an "enhanced version" of our iterative algorithm. Finally, both the proposed algorithm and neural network are successfully applied on several problems to demonstrate their effectiveness and efficiency, including image smoothing, denoising, and biomedical image reconstruction. The proposed network is general and can be applied to solve other total variation regularized models. △ Less

Submitted 7 September, 2020; originally announced September 2020.

Groebner basis structure of ideal interpolation

Authors: Yihe Gong, Xue Jiang

Abstract: We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a polynomial ideal. In this paper, we propose the notion of "reverse" complete reduced basis. Based on the notion, we present a fast algorithm to compute the reduced… ▽ More We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a polynomial ideal. In this paper, we propose the notion of "reverse" complete reduced basis. Based on the notion, we present a fast algorithm to compute the reduced Groebner basis for the kernel of ideal projector under an arbitrary compatible ordering. As an application, we show that knowing the affine variety makes available information concerning the reduced Groebner basis. △ Less

Submitted 14 January, 2024; v1 submitted 23 July, 2020; originally announced July 2020.

Comments: "Computing Groebner bases of ideal interpolation"(arXiv:2111.07340) is the new version of this one

The Randers metrics of weakly isotropic scalar curvature

Authors: Xinyue Cheng, Yannian Gong

Abstract: In this paper, we study the Randers metrics of weakly isotropic scalar curvature. We prove that a Randers metric of weakly isotropic scalar curvature must be of isotropic $S$-curvature. Further, we prove that a conformally flat Randers metric of weakly isotropic scalar curvature is either Minkowskian or Riemannian. In this paper, we study the Randers metrics of weakly isotropic scalar curvature. We prove that a Randers metric of weakly isotropic scalar curvature must be of isotropic $S$-curvature. Further, we prove that a conformally flat Randers metric of weakly isotropic scalar curvature is either Minkowskian or Riemannian. △ Less

Submitted 18 June, 2020; originally announced June 2020.

MSC Class: 53B40; 53C60

Supplementary Variable Method for Developing Structure-Preserving Numerical Approximations to Thermodynamically Consistent Partial Differential Equations

Authors: Yuezheng Gong, Qi Hong, Qi Wang

Abstract: We present a new temporal discretization paradigm for developing energy-production-rate preserving numerical approximations to thermodynamically consistent partial differential equation systems, called the supplementary variable method. The central idea behind it is to introduce a supplementary variable to the thermodynamically consistent model to make the over-determined equation system, consisti… ▽ More We present a new temporal discretization paradigm for developing energy-production-rate preserving numerical approximations to thermodynamically consistent partial differential equation systems, called the supplementary variable method. The central idea behind it is to introduce a supplementary variable to the thermodynamically consistent model to make the over-determined equation system, consisting of the thermodynamically consistent PDE system, the energy definition and the energy dissipation equation, structurally stable. The supplementary variable allows one to retain the consistency between the energy dissipation equation and the PDE system after the temporal discretization. We illustrate the method using a dissipative gradient flow model. Among virtually infinite many possibilities, we present two ways to add the supplementary variable in the gradient flow model to develop energy-dissipation-rate preserving algorithms. Spatial discretizations are carried out using the pseudo-spectral method. We then compare the two new schemes with the energy stable SAV scheme and the fully implicit Crank-Nicolson scheme. The results favor the new schemes in the overall performance. This new numerical paradigm can be applied to any thermodynamically consistent models. △ Less

Submitted 8 June, 2020; originally announced June 2020.

Computing monomial interpolating basis for multivariate polynomial interpolation

Authors: Y. H. Gong, X. Jiang, B. X. Shang

Abstract: In this paper, we study how to quickly compute the <-minimal monomial interpolating basis for a multivariate polynomial interpolation problem. We address the notion of "reverse" reduced basis of linearly independent polynomials and design an algorithm for it. Based on the notion, for any monomial ordering we present a new method to read off the <-minimal monomial interpolating basis from monomials… ▽ More In this paper, we study how to quickly compute the <-minimal monomial interpolating basis for a multivariate polynomial interpolation problem. We address the notion of "reverse" reduced basis of linearly independent polynomials and design an algorithm for it. Based on the notion, for any monomial ordering we present a new method to read off the <-minimal monomial interpolating basis from monomials appearing in the polynomials representing the interpolation conditions. △ Less

Submitted 22 May, 2020; originally announced May 2020.

Efficient energy-preserving numerical approximations for the sine-Gordon equation with Neumann boundary conditions

Authors: Qi Hong, Yushun Wang, Yuezheng Gong

Abstract: We present two novel classes of fully discrete energy-preserving algorithms for the sine-Gordon equation subject to Neumann boundary conditions. The cosine pseudo-spectral method is first used to develop structure-preserving spatial discretizations under two different meshes, which result two finite-dimensional Hamiltonian ODE systems. Then we combine the prediction-correction Crank-Nicolson schem… ▽ More We present two novel classes of fully discrete energy-preserving algorithms for the sine-Gordon equation subject to Neumann boundary conditions. The cosine pseudo-spectral method is first used to develop structure-preserving spatial discretizations under two different meshes, which result two finite-dimensional Hamiltonian ODE systems. Then we combine the prediction-correction Crank-Nicolson scheme with the projection approach to arrive at fully discrete energy-preserving methods. Alternatively, we introduce a supplementary variable to transform the initial model into a relaxation system, which allows us to construct structure-preserving algorithms more easily. We then discretize the relaxation system directly by using the cosine pseudo-spectral method in space and the prediction-correction Crank-Nicolson scheme in time to derive a new class of energy-preserving schemes. The proposed methods can be solved effectively by the discrete Cosine transform. Some benchmark examples and numerical comparisons are presented to demonstrate the accuracy, efficiency and superiority of the proposed schemes. △ Less

Submitted 11 August, 2020; v1 submitted 23 April, 2020; originally announced April 2020.

On the $8π$-critical mass threshold of a Patlak-Keller-Segel-Navier-Stokes system

Authors: Yishu Gong, Siming He

Abstract: In this paper, we proposed a coupled Patlak-Keller-Segel-Navier-Stokes system, which has dissipative free energy. On the plane $\rr^2$, if the total mass of the cells is strictly less than $8π$, classical solutions exist for any finite time, and their $H^s$-Sobolev norms are almost uniformly bounded in time. For the radially symmetric solutions, this $8π$-mass threshold is critical. On the torus… ▽ More In this paper, we proposed a coupled Patlak-Keller-Segel-Navier-Stokes system, which has dissipative free energy. On the plane $\rr^2$, if the total mass of the cells is strictly less than $8π$, classical solutions exist for any finite time, and their $H^s$-Sobolev norms are almost uniformly bounded in time. For the radially symmetric solutions, this $8π$-mass threshold is critical. On the torus $\mathbb{T}^2$, the solutions are uniformly bounded in time under the same mass constraint. △ Less

Submitted 17 January, 2021; v1 submitted 26 March, 2020; originally announced March 2020.

Translating solutions of the nonparametric mean curvature flow with nonzero Neumann boundary data in product manifold $M^{n}\times\mathbb{R}$

Authors: Ya Gao, Yi-Juan Gong, Jing Mao

Abstract: In this paper, we can prove the existence of translating solutions to the nonparametric mean curvature flow with nonzero Neumann boundary data in a prescribed product manifold $M^{n}\times\mathbb{R}$, where $M^{n}$ is an $n$-dimensional ($n\geq2$) complete Riemannian manifold with nonnegative Ricci curvature, and $\mathbb{R}$ is the Euclidean $1$-space. In this paper, we can prove the existence of translating solutions to the nonparametric mean curvature flow with nonzero Neumann boundary data in a prescribed product manifold $M^{n}\times\mathbb{R}$, where $M^{n}$ is an $n$-dimensional ($n\geq2$) complete Riemannian manifold with nonnegative Ricci curvature, and $\mathbb{R}$ is the Euclidean $1$-space. △ Less

Submitted 28 January, 2020; v1 submitted 27 January, 2020; originally announced January 2020.

Comments: 22 pages. A related paper [Y. Gao, J. Mao, C.-L. Song, Existence and uniqueness of solutions to the constant mean curvature equation with nonzero Neumann boundary data in product manifold $M^{n}\times\mathbb{R}$, preprint.] will be put on arXiv very soon. Comments are welcome. Several revisions have been made in Section 1 of v1

MSC Class: 53C42; 53B20; 35B50; 35K93

Explicit high-order energy-preserving methods for general Hamiltonian partial differential equations

Authors: Chaolong Jiang, Yushun Wang, Yuezheng Gong

Abstract: A novel class of explicit high-order energy-preserving methods are proposed for general Hamiltonian partial differential equations with non-canonical structure matrix. When the energy is not quadratic, it is firstly done that the original system is reformulated into an equivalent form with a modified quadratic energy conservation law by the energy quadratization approach. Then the resulting system… ▽ More A novel class of explicit high-order energy-preserving methods are proposed for general Hamiltonian partial differential equations with non-canonical structure matrix. When the energy is not quadratic, it is firstly done that the original system is reformulated into an equivalent form with a modified quadratic energy conservation law by the energy quadratization approach. Then the resulting system that satisfies the quadratic energy conservation law is discretized in time by combining explicit high-order Runge-Kutta methods with orthogonal projection techniques. The proposed schemes are shown to share the order of explicit Runge-Kutta method and thus can reach the desired high-order accuracy. Moreover, the methods are energy-preserving and explicit because the projection step can be solved explicitly. Numerical results are addressed to demonstrate the remarkable superiority of the proposed schemes in comparison with other structure-preserving methods. △ Less

Submitted 30 May, 2020; v1 submitted 3 January, 2020; originally announced January 2020.

Comments: 22 pages, 29 figures

Arbitrarily High-order Linear Schemes for Gradient Flow Models

Authors: Yuezheng Gong, Jia Zhao, Qi Wang

Abstract: We present a paradigm for developing arbitrarily high order, linear, unconditionally energy stable numerical algorithms for gradient flow models. We apply the energy quadratization (EQ) technique to reformulate the general gradient flow model into an equivalent gradient flow model with a quadratic free energy and a modified mobility. Given solutions up to $t_n=n Δt$ with $Δt$ the time step size, w… ▽ More We present a paradigm for developing arbitrarily high order, linear, unconditionally energy stable numerical algorithms for gradient flow models. We apply the energy quadratization (EQ) technique to reformulate the general gradient flow model into an equivalent gradient flow model with a quadratic free energy and a modified mobility. Given solutions up to $t_n=n Δt$ with $Δt$ the time step size, we linearize the EQ-reformulated gradient flow model in $(t_n, t_{n+1}]$ by extrapolation. Then we employ an algebraically stable Runge-Kutta method to discretize the linearized model in $(t_n, t_{n+1}]$. Then we use the Fourier pseudo-spectral method for the spatial discretization to match the order of accuracy in time. The resulting fully discrete scheme is linear, unconditionally energy stable, uniquely solvable, and may reach arbitrarily high order. Furthermore, we present a family of linear schemes based on prediction-correction methods to complement the new linear schemes. Some benchmark numerical examples are given to demonstrate the accuracy and efficiency of the schemes. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: 25 pages, 9 figures

Adaptive linear second-order energy stable schemes for time-fractional Allen-Cahn equation with volume constraint

Authors: Bingquan Ji, Hong-lin Liao, Yuezheng Gong, Luming Zhang

Abstract: A time-fractional Allen-Cahn equation with volume constraint is first proposed by introducing a nonlocal time-dependent Lagrange multiplier. Adaptive linear second-order energy stable schemes are developed for the proposed model by combining invariant energy quadratization and scalar auxiliary variable approaches with the recent L1$^{+}$ formula. The new developed methods are proved to be volume-p… ▽ More A time-fractional Allen-Cahn equation with volume constraint is first proposed by introducing a nonlocal time-dependent Lagrange multiplier. Adaptive linear second-order energy stable schemes are developed for the proposed model by combining invariant energy quadratization and scalar auxiliary variable approaches with the recent L1$^{+}$ formula. The new developed methods are proved to be volume-preserving and unconditionally energy stable on arbitrary nonuniform time meshes. The accelerated algorithm and adaptive time strategy are employed in numerical implement. Numerical results show that the proposed algorithms are computationally efficient in multi-scale simulations, and appropriate for accurately resolving the intrinsically initial singularity of solution and for efficiently capturing the fast dynamics away initial time. △ Less

Submitted 24 September, 2019; originally announced September 2019.

Comments: 21 pages, 75 figures, 3 tables

MSC Class: 35Q99; 65M06; 65M12; 74A50

Journal ref: Communications in Nonlinear Science and Numerical Simulation, 90, 2020, 105366

Arbitrarily High-order Unconditionally Energy Stable Schemes for Thermodynamically Consistent Gradient Flow Models

Authors: Yuezheng Gong, Jia Zhao, Qi Wang

Abstract: We present a systematical approach to developing arbitrarily high order, unconditionally energy stable numerical schemes for thermodynamically consistent gradient flow models that satisfy energy dissipation laws. Utilizing the energy quadratization (EQ) method, We formulate the gradient flow model into an equivalent form with a corresponding quadratic free energy functional. Based on the equivalen… ▽ More We present a systematical approach to developing arbitrarily high order, unconditionally energy stable numerical schemes for thermodynamically consistent gradient flow models that satisfy energy dissipation laws. Utilizing the energy quadratization (EQ) method, We formulate the gradient flow model into an equivalent form with a corresponding quadratic free energy functional. Based on the equivalent form with a quadratic energy, we propose two classes of energy stable numerical approximations. In the first approach, we use a prediction-correction strategy to improve the accuracy of linear numerical schemes. In the second approach, we adopt the Gaussian collocation method to discretize the equivalent form with a quadratic energy, arriving at an arbitrarily high-order scheme for gradient flow models. Schemes derived using both approaches are proved rigorously to be unconditionally energy stable. The proposed schemes are then implemented in four gradient flow models numerically to demonstrate their accuracy and effectiveness. Detailed numerical comparisons among these schemes are carried out as well. These numerical strategies are rather general so that they can be readily generalized to solve any thermodynamically consistent PDE models. △ Less

Submitted 11 July, 2019; originally announced July 2019.

Arbitrarily High-order Unconditionally Energy Stable Schemes for Gradient Flow Models Using the Scalar Auxiliary Variable Approach

Authors: Yuezheng Gong, Jia Zhao, Qi Wang

Abstract: In this paper, we propose a novel family of high-order numerical schemes for the gradient flow models based on the scalar auxiliary variable (SAV) approach, which is named the high-order scalar auxiliary variable (HSAV) method. The newly proposed schemes could be shown to reach arbitrarily high order in time while preserving the energy dissipation law without any restriction on the time step size… ▽ More In this paper, we propose a novel family of high-order numerical schemes for the gradient flow models based on the scalar auxiliary variable (SAV) approach, which is named the high-order scalar auxiliary variable (HSAV) method. The newly proposed schemes could be shown to reach arbitrarily high order in time while preserving the energy dissipation law without any restriction on the time step size (i.e., unconditionally energy stable). The HSAV strategy is rather general that it does not depend on the specific expression of the effective free energy, such that it applies to a class of thermodynamically consistent gradient flow models arriving at semi-discrete high-order energy-stable schemes. We then employ the Fourier pseudospectral method for spatial discretization. The fully discrete schemes are also shown to be unconditionally energy stable. Furthermore, we present several numerical experiments on several widely-used gradient flow models, to demonstrate the accuracy, efficiency and unconditionally energy stability of the HSAV schemes. The numerical results verify that the HSAV schemes can reach the expected order of accuracy, and it allows a much larger time step size to reach the same accuracy than the standard SAV schemes. △ Less

Submitted 9 July, 2019; originally announced July 2019.

A linearly implicit structure-preserving scheme for the Camassa-Holm equation based on multiple scalar auxiliary variables approach

Authors: Chaolong Jiang, Yuezheng Gong, Wenjun Cai, Yushun Wang

Abstract: In this paper, we present a linearly implicit energy-preserving scheme for the Camassa-Holm equation by using the multiple scalar auxiliary variables approach, which is first developed to construct efficient and robust energy stable schemes for gradient systems. The Camassa-Holm equation is first reformulated into an equivalent system by utilizing the multiple scalar auxiliary variables approach,… ▽ More In this paper, we present a linearly implicit energy-preserving scheme for the Camassa-Holm equation by using the multiple scalar auxiliary variables approach, which is first developed to construct efficient and robust energy stable schemes for gradient systems. The Camassa-Holm equation is first reformulated into an equivalent system by utilizing the multiple scalar auxiliary variables approach, which inherits a modified energy. Then, the system is discretized in space aided by the standard Fourier pseudo-spectral method and a semi-discrete system is obtained, which is proven to preserve a semi-discrete modified energy. Subsequently, the linearized Crank-Nicolson method is applied for the resulting semi-discrete system to arrive at a fully discrete scheme. The main feature of the new scheme is to form a linear system with a constant coefficient matrix at each time step and produce numerical solutions along which the modified energy is precisely conserved, as is the case with the analytical solution. Several numerical results are addressed to confirm accuracy and efficiency of the proposed scheme. △ Less

Submitted 16 March, 2020; v1 submitted 29 June, 2019; originally announced July 2019.

Comments: 21 pages, 13 figures

Adaptive second-order Crank-Nicolson time-stepping schemes for time fractional molecular beam epitaxial growth models

Authors: Bingquan Ji, Hong-lin Liao, Yuezheng Gong, Luming Zhang

Abstract: Adaptive second-order Crank-Nicolson time-stepping methods using the recent scalar auxiliary variable (SAV) approach are developed for the time-fractional Molecular Beam Epitaxial models with Caputo's derivative. Based on the piecewise linear interpolation, the Caputo's fractional derivative is approximated by a novel second-order formula, which is naturally suitable for a general class of nonunif… ▽ More Adaptive second-order Crank-Nicolson time-stepping methods using the recent scalar auxiliary variable (SAV) approach are developed for the time-fractional Molecular Beam Epitaxial models with Caputo's derivative. Based on the piecewise linear interpolation, the Caputo's fractional derivative is approximated by a novel second-order formula, which is naturally suitable for a general class of nonuniform meshes and essentially preserves the positive semi-definite property of integral kernel. The resulting Crank-Nicolson SAV time-stepping schemes are unconditional energy stable on nonuniform time meshes, and are computationally efficient in multiscale time simulations when combined with adaptive time steps, such as are appropriate for accurately resolving the intrinsically initial singularity of solution and for efficiently capturing fast dynamics away from the initial time. Numerical examples are presented to show the effectiveness of our methods. △ Less

Submitted 27 June, 2019; originally announced June 2019.

Comments: 23 pages, 23 figures

MSC Class: 35Q99; 65M06; 65M12; 74A50

Journal ref: SIAM Journal on Scientific Computing, 2020, 42(3), B738-B760

Arbitrarily high-order energy-preserving schemes for the Camassa-Holm equation

Authors: Chaolong Jiang, Yushun Wang, Yuezheng Gong

Abstract: In this paper, we develop a novel class of arbitrarily high-order energy-preserving schemes for the Camassa-Holm equation. With the aid of the invariant energy quadratization approach, the Camassa-Holm equation is first reformulated into an equivalent system, which inherits a quadratic energy. {The new system is then discretized} by the standard Fourier pseudo-spectral method, which can exactly pr… ▽ More In this paper, we develop a novel class of arbitrarily high-order energy-preserving schemes for the Camassa-Holm equation. With the aid of the invariant energy quadratization approach, the Camassa-Holm equation is first reformulated into an equivalent system, which inherits a quadratic energy. {The new system is then discretized} by the standard Fourier pseudo-spectral method, which can exactly preserve the semi-discrete energy conservation law. Subsequently, { a symplectic Runge-Kutta method such as the Gauss collocation method is applied} for the resulting semi-discrete system to arrive at an arbitrarily high-order fully discrete scheme. {We prove that the obtained schemes can conserve the discrete energy conservation law}. Numerical results are addressed to confirm accuracy and efficiency of the proposed schemes. △ Less

Submitted 9 November, 2019; v1 submitted 17 June, 2019; originally announced June 2019.

Comments: 17pages, 17 figures

Feedback Control of a Cassie Bipedal Robot: Walking, Standing, and Riding a Segway

Authors: Yukai Gong, Ross Hartley, Xingye Da, Ayonga Hereid, Omar Harib, Jiunn-Kai Huang, Jessy Grizzle

Abstract: The Cassie bipedal robot designed by Agility Robotics is providing academics a common platform for sharing and comparing algorithms for locomotion, perception, and navigation. This paper focuses on feedback control for standing and walking using the methods of virtual constraints and gait libraries. The designed controller was implemented six weeks after the robot arrived at the University of Mich… ▽ More The Cassie bipedal robot designed by Agility Robotics is providing academics a common platform for sharing and comparing algorithms for locomotion, perception, and navigation. This paper focuses on feedback control for standing and walking using the methods of virtual constraints and gait libraries. The designed controller was implemented six weeks after the robot arrived at the University of Michigan and allowed it to stand in place as well as walk over sidewalks, grass, snow, sand, and burning brush. The controller for standing also enables the robot to ride a Segway. A model of the Cassie robot has been placed on GitHub and the controller will also be made open source if the paper is accepted. △ Less

Submitted 19 September, 2018; originally announced September 2018.

Comments: Associated software will be made open source when paper review is completed

Optimal error estimate of two linear and momentum-preserving Fourier pseudo-spectral schemes for the RLW equation

Authors: Qi Hong, Yushun Wang, Yuezheng Gong

Abstract: In this paper, two novel linear-implicit and momentum-preserving Fourier pseudo-spectral schemes are proposed and analyzed for the regularized long-wave equation. The numerical methods are based on the blend of the Fourier pseudo-spectral method in space and the linear-implicit Crank-Nicolson method or the leap-frog scheme in time. The two fully discrete linear schemes are shown to possess the dis… ▽ More In this paper, two novel linear-implicit and momentum-preserving Fourier pseudo-spectral schemes are proposed and analyzed for the regularized long-wave equation. The numerical methods are based on the blend of the Fourier pseudo-spectral method in space and the linear-implicit Crank-Nicolson method or the leap-frog scheme in time. The two fully discrete linear schemes are shown to possess the discrete momentum conservation law, and the linear systems resulting from the schemes are proved uniquely solvable. Due to the momentum conservative property of the proposed schemes, the Fourier pseudo-spectral solution is proved to be bounded in the discrete $L^{\infty}$ norm. Then by using the standard energy method, both the linear-implicit Crank-Nicolson momentum-preserving scheme and the linear-implicit leap-frog momentum-preserving scheme are shown to have the accuracy of $\mathcal{O}(τ^2+N^{-r})$ in the discrete $L^{\infty}$ norm without any restrictions on the grid ratio, where $N$ is the number of nodes and $τ$ is the time step size. Numerical examples are carried out to verify the correction of the theory analysis and the efficiency of the proposed schemes. △ Less

Submitted 11 September, 2018; v1 submitted 25 June, 2018; originally announced June 2018.

Second-order linear structure-preserving modified finite volume schemes for the regularized long-wave equation

Authors: Qi Hong, Jialing Wang, Yuezheng Gong

Abstract: In this paper, based on the weak form of the Hamiltonian formulation of the regularized long-wave equation and a novel approach of transforming the original Hamiltonian energy into a quadratic functional, a fully implicit and three linear-implicit energy conservation numerical schemes are respectively proposed. The resulting numerical schemes are proved theoretically to satisfy the energy conserva… ▽ More In this paper, based on the weak form of the Hamiltonian formulation of the regularized long-wave equation and a novel approach of transforming the original Hamiltonian energy into a quadratic functional, a fully implicit and three linear-implicit energy conservation numerical schemes are respectively proposed. The resulting numerical schemes are proved theoretically to satisfy the energy conservation law in the discrete level. Moreover, these linear-implicit schemes are efficient in practical computation because only a linear system need to be solved at each time step. The proposed schemes are both second order accurate in time and space. Numerical experiments are presented to show all the proposed schemes have satisfactory performance in providing accurate solution and the remarkable energy-preserving property. △ Less

Submitted 23 June, 2018; originally announced June 2018.

Structure-Preserving Galerkin POD Reduced-Order Modeling of Hamiltonian Systems

Authors: Yuezheng Gong, Qi Wang, Zhu Wang

Abstract: The proper orthogonal decomposition reduced-order models (POD-ROMs) have been widely used as a computationally efficient surrogate models in large-scale numerical simulations of complex systems. However, when it is applied to a Hamiltonian system, a naive application of the POD method can destroy its Hamiltonian structure in the reduced-order model. In this paper, we develop a new reduce-order mod… ▽ More The proper orthogonal decomposition reduced-order models (POD-ROMs) have been widely used as a computationally efficient surrogate models in large-scale numerical simulations of complex systems. However, when it is applied to a Hamiltonian system, a naive application of the POD method can destroy its Hamiltonian structure in the reduced-order model. In this paper, we develop a new reduce-order modeling approach for the Hamiltonian system, which uses the traditional framework of Galerkin projection-based model reduction but modifies the ROM so that the appropriate Hamiltonian structure is preserved. Since the POD truncation can degrade the approximation of the Hamiltonian function, we propose to use the POD basis from shifted snapshots to improve the Hamiltonian function approximation. We further derive a rigorous a priori error estimate of the structure-preserving ROM and demonstrate its effectiveness in several numerical examples. This approach can be readily extended to dissipative Hamiltonian systems, port-Hamiltonian systems etc. △ Less

Submitted 11 August, 2016; originally announced August 2016.

Comments: 24 pages, 10 figures