Showing 1–50 of 81 results for author: Cui, J

On the rate of convergence in the CLT for LSS of large-dimensional sample covariance matrices

Authors: Jian Cui, Jiang Hu, Zhidong Bai, Guorong Hu

Abstract: This paper investigates the rate of convergence for the central limit theorem of linear spectral statistic (LSS) associated with large-dimensional sample covariance matrices. We consider matrices of the form ${\mathbf B}_n=\frac{1}{n}{\mathbf T}_p^{1/2}{\mathbf X}_n{\mathbf X}_n^*{\mathbf T}_p^{1/2},$ where ${\mathbf X}_n= (x_{i j} ) $ is a $p \times n$ matrix whose entries are independent and ide… ▽ More This paper investigates the rate of convergence for the central limit theorem of linear spectral statistic (LSS) associated with large-dimensional sample covariance matrices. We consider matrices of the form ${\mathbf B}_n=\frac{1}{n}{\mathbf T}_p^{1/2}{\mathbf X}_n{\mathbf X}_n^*{\mathbf T}_p^{1/2},$ where ${\mathbf X}_n= (x_{i j} ) $ is a $p \times n$ matrix whose entries are independent and identically distributed (i.i.d.) real or complex variables, and ${\mathbf T} _p$ is a $p\times p$ nonrandom Hermitian nonnegative definite matrix with its spectral norm uniformly bounded in $p$. Employing Stein's method, we establish that if the entries $x_{ij}$ satisfy $\mathbb{E}|x_{ij}|^{10}<\infty$ and the ratio of the dimension to sample size $p/n\to y>0$ as $n\to\infty$, then the convergence rate of the normalized LSS of ${\mathbf B}_n$ to the standard normal distribution, measured in the Kolmogorov-Smirnov distance, is $O(n^{-1/2+κ})$ for any fixed $κ>0$. △ Less

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

Comments: Modified some typos and added some references

A general construction of simultaneously hyperbolic elements

Authors: Jiaqi Cui, Renxing Wan

Abstract: In this paper, we give an explicit construction of simultaneously hyperbolic elements in a group acting on finitely many Gromov-hyperbolic spaces under the weakest conditions. This essentially generalizes results of Clay-Uyanik in \cite{CU18}, of Genevois in \cite{Gen19}, and of Balasubramanya-Fernós in \cite{BF24}. Besides, we show that the set of simultaneously hyperbolic elements has strictly p… ▽ More In this paper, we give an explicit construction of simultaneously hyperbolic elements in a group acting on finitely many Gromov-hyperbolic spaces under the weakest conditions. This essentially generalizes results of Clay-Uyanik in \cite{CU18}, of Genevois in \cite{Gen19}, and of Balasubramanya-Fernós in \cite{BF24}. Besides, we show that the set of simultaneously hyperbolic elements has strictly positive density with respect to any proper word metric under the weakest conditions. This recovers many classical counting results, eg. the main result of Wiest in \cite{Wie17}. As an important ingredient in the proof of main results, we show that the set of simultaneously contracting elements in a group acting on finitely many metric spaces with contracting property has strictly positive density with respect to any proper word metric. This generalizes two results of Wan-Xu-Yang in \cite{WXY24} and of Balasubramanya-Fernós in \cite{BF24}. △ Less

Submitted 30 June, 2025; v1 submitted 14 May, 2025; originally announced May 2025.

Comments: 19 pages, 2 figures, 1 table. The original version has been divided into two parts. This is a generalization of the second part

MSC Class: 20F65

Finite difference schemes for Hamilton--Jacobi equation on Wasserstein space on graphs

Authors: Jianbo Cui, Tonghe Dang, Chenchen Mou

Abstract: This work proposes and studies numerical schemes for initial value problems of Hamilton--Jacobi equations (HJEs) with a graph individual noise on the Wasserstein space on graphs. Numerically solving such equations is particularly challenging due to the structural complexity caused by discrete geometric derivatives and logarithmic geometry. Our numerical schemes are constructed using finite differe… ▽ More This work proposes and studies numerical schemes for initial value problems of Hamilton--Jacobi equations (HJEs) with a graph individual noise on the Wasserstein space on graphs. Numerically solving such equations is particularly challenging due to the structural complexity caused by discrete geometric derivatives and logarithmic geometry. Our numerical schemes are constructed using finite difference approximations that are adapted to both the discrete geometry of graphs and the differential structure of Wasserstein spaces. To ensure numerical stability and accuracy of numerical behavior, we use extrapolation-type techniques to simulate the numerical solution on the boundary of density space. By analyzing approximation error of Wasserstein gradient of the viscosity solution, we prove the uniform convergence of the schemes to the original initial value problem, and establish an $L^{\infty}_{\mathrm{loc}}$-error estimate of order one-half. Several numerical experiments are presented to illustrate our theoretical findings and to study the effect of individual noise and Hamiltonians on graphs. To the best of our knowledge, this is the first result on numerical schemes for HJEs on the Wasserstein space with a graph structure. △ Less

Submitted 18 April, 2025; originally announced April 2025.

A Wong--Zakai resonance-based integrator for nonlinear Schrödinger equation with white noise dispersion

Authors: Jianbo Cui, Georg Maierhofer

Abstract: We introduce a novel approach to numerical approximation of nonlinear Schrödinger equation with white noise dispersion in the regime of low-regularity solutions. Approximating such solutions in the stochastic setting is particularly challenging due to randomized frequency interactions and presents a compelling challenge for the construction of tailored schemes. In particular, we design the first r… ▽ More We introduce a novel approach to numerical approximation of nonlinear Schrödinger equation with white noise dispersion in the regime of low-regularity solutions. Approximating such solutions in the stochastic setting is particularly challenging due to randomized frequency interactions and presents a compelling challenge for the construction of tailored schemes. In particular, we design the first resonance-based schemes for this equation, which achieve provable convergence for solutions of much lower regularity than previously required. A crucial ingredient in this construction is the Wong--Zakai approximation of stochastic dispersive system, which introduces piecewise linear phases that capture nonlinear frequency interactions and can subsequently be approximated to construct resonance-based schemes. We prove the well-posedness of the Wong--Zakai approximated equation and establish its proximity to the original full stochastic dispersive system. Based on this approximation, we demonstrate an improved strong convergence rate for our new scheme, which exploits the stochastic nature of the dispersive terms. Finally, we provide numerical experiments underlining the favourable performance of our novel method in practice. △ Less

Submitted 13 May, 2025; v1 submitted 25 March, 2025; originally announced March 2025.

Comments: 36 pages

Model structures on triangulated categories with proper class of triangles

Authors: Jian Cui, Pu Zhang

Abstract: In contrast with the Hovey correspondence of abelian model structures from two compatible complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from one hereditary complete cotorsion pair. The aim of this paper is to extend this result to triangulated categories together with a proper class $ξ$ of triangles. There indeed exist non-trivial pr… ▽ More In contrast with the Hovey correspondence of abelian model structures from two compatible complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from one hereditary complete cotorsion pair. The aim of this paper is to extend this result to triangulated categories together with a proper class $ξ$ of triangles. There indeed exist non-trivial proper classes of triangles, and a proper class of triangles is not closed under rotations, in general. This is quite different from the class of all triangles. Thus one needs to develop a theory of triangles in $ξ$ and hereditary complete cotorsion pairs in a triangulated category $\T$ with respect to $ξ$. The Beligiannis - Reiten correspondence between weakly $ξ$-projective model structures on $\T$ and hereditary complete cotorsion pairs $(\X, \Y)$ with respect to $ξ$ such that the core $ω= \X \cap \Y$ is contravariantly finite in $\T$ is also obtained. To study the homotopy category of a model structure on a triangulated category, the condition in Quillen's Fundamental theorem of model categories needs to be weakened, by replacing the existence of pull-backs and push-outs by homotopy cartesian squares. △ Less

Submitted 16 March, 2025; originally announced March 2025.

MSC Class: 18N40; 18G80; 18E10; 18E35; 18G15

A dynamic domain semi-Lagrangian method for stochastic Vlasov equations

Authors: Jianbo Cui, Derui Sheng, Chenhui Zhang, Tau Zhou

Abstract: We propose a dynamic domain semi-Lagrangian method for stochastic Vlasov equations driven by transport noises, which arise in plasma physics and astrophysics. This method combines the volume-preserving property of stochastic characteristics with a dynamic domain adaptation strategy and a reconstruction procedure. It offers a substantial reduction in computational costs compared to the traditional… ▽ More We propose a dynamic domain semi-Lagrangian method for stochastic Vlasov equations driven by transport noises, which arise in plasma physics and astrophysics. This method combines the volume-preserving property of stochastic characteristics with a dynamic domain adaptation strategy and a reconstruction procedure. It offers a substantial reduction in computational costs compared to the traditional semi-Lagrangian techniques for stochastic problems. Furthermore, we present the first-order convergence analysis of the proposed method, partially addressing the conjecture in the work [C.-E. Bréhier and D. Cohen, J. Comput. Dyn., 2024] on the convergence order of numerical methods for stochastic Vlasov equations. Several numerical tests are provided to show good performance of the proposed method. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Improving Numerical Error Bounds Near Sharp Interface Limit for Stochastic Reaction-Diffusion Equations

Authors: Jianbo Cui, Feng-Yu Wang

Abstract: In the study of geometric surface evolutions, stochastic reaction-diffusion equation provides a powerful tool for capturing and simulating complex dynamics. A critical challenge in this area is developing numerical approximations that exhibit error bounds with polynomial dependence on $\vv^{-1}$, where the small parameter $\vv>0$ represents the diffuse interface thickness. The existence of such bo… ▽ More In the study of geometric surface evolutions, stochastic reaction-diffusion equation provides a powerful tool for capturing and simulating complex dynamics. A critical challenge in this area is developing numerical approximations that exhibit error bounds with polynomial dependence on $\vv^{-1}$, where the small parameter $\vv>0$ represents the diffuse interface thickness. The existence of such bounds for fully discrete approximations of stochastic reaction-diffusion equations remains unclear in the literature. In this work, we address this challenge by leveraging the asymptotic log-Harnack inequality to overcome the exponential growth of $\vv^{-1}$. Furthermore, we establish the numerical weak error bounds under the truncated Wasserstein distance for the spectral Galerkin method and a fully discrete tamed Euler scheme, with explicit polynomial dependence on $\vv^{-1}$. △ Less

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

Comments: 45 pages

MSC Class: 60H15; 60H35; 60D05; 65M1

Asymptotic-preserving approximations for stochastic incompressible viscous fluids and SPDEs on graph

Authors: Jianbo Cui, Derui Sheng

Abstract: The long-term dynamics of particles involved in an incompressible flow with a small viscosity ($ε>0$) and slow chemical reactions, is depicted by a class of stochastic reaction-diffusion-advection (RDA) equations with a fast advection term of magnitude $1/ε$. It has been shown in [7] the fast advection asymptotics of stochastic RDA equation in $\mathbb{R}^2$ can be characterized through a stochast… ▽ More The long-term dynamics of particles involved in an incompressible flow with a small viscosity ($ε>0$) and slow chemical reactions, is depicted by a class of stochastic reaction-diffusion-advection (RDA) equations with a fast advection term of magnitude $1/ε$. It has been shown in [7] the fast advection asymptotics of stochastic RDA equation in $\mathbb{R}^2$ can be characterized through a stochastic partial differential equation (SPDE) on the graph associated with certain Hamiltonian. To simulate such fast advection asymptotics, we introduce and study an asymptotic-preserving (AP) exponential Euler approximation for the multiscale stochastic RDA equation. There are three key ingredients in proving asymptotic-preserving property of the proposed approximation. First, a strong error estimate, which depends on $1/ε$ linearly, is obtained via a variational argument. Second, we prove the consistency of exponential Euler approximations on the fast advection asymptotics between the original problem and the SPDE on graph. Last, a graph weighted space is introduced to quantify the approximation error for SPDE on graph, which avoids the possible singularity near the vertices. Numerical experiments are carried out to support the theoretical results. △ Less

Submitted 16 April, 2024; v1 submitted 14 April, 2024; originally announced April 2024.

A supervised learning scheme for computing Hamilton-Jacobi equation via density coupling

Authors: Jianbo Cui, Shu Liu, Haomin Zhou

Abstract: We propose a supervised learning scheme for the first order Hamilton-Jacobi PDEs in high dimensions. The scheme is designed by using the geometric structure of Wasserstein Hamiltonian flows via a density coupling strategy. It is equivalently posed as a regression problem using the Bregman divergence, which provides the loss function in learning while the data is generated through the particle form… ▽ More We propose a supervised learning scheme for the first order Hamilton-Jacobi PDEs in high dimensions. The scheme is designed by using the geometric structure of Wasserstein Hamiltonian flows via a density coupling strategy. It is equivalently posed as a regression problem using the Bregman divergence, which provides the loss function in learning while the data is generated through the particle formulation of Wasserstein Hamiltonian flow. We prove a posterior estimate on $L^1$ residual of the proposed scheme based on the coupling density. Furthermore, the proposed scheme can be used to describe the behaviors of Hamilton-Jacobi PDEs beyond the singularity formations on the support of coupling density.Several numerical examples with different Hamiltonians are provided to support our findings. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Comments: 29 pages

MSC Class: 65M75; 65P10; 49Q22; 68T07

Applications of Tao General Difference in Discrete Domain

Authors: Linmi Tao, Ruiyang Liu, Donglai Tao, Wu Xia, Feilong Ma, Yu Cheng, Jingmao Cui

Abstract: Numerical difference computation is one of the cores and indispensable in the modern digital era. Tao general difference (TGD) is a novel theory and approach to difference computation for discrete sequences and arrays in multidimensional space. Built on the solid theoretical foundation of the general difference in a finite interval, the TGD operators demonstrate exceptional signal processing capab… ▽ More Numerical difference computation is one of the cores and indispensable in the modern digital era. Tao general difference (TGD) is a novel theory and approach to difference computation for discrete sequences and arrays in multidimensional space. Built on the solid theoretical foundation of the general difference in a finite interval, the TGD operators demonstrate exceptional signal processing capabilities in real-world applications. A novel smoothness property of a sequence is defined on the first- and second TGD. This property is used to denoise one-dimensional signals, where the noise is the non-smooth points in the sequence. Meanwhile, the center of the gradient in a finite interval can be accurately location via TGD calculation. This solves a traditional challenge in computer vision, which is the precise localization of image edges with noise robustness. Furthermore, the power of TGD operators extends to spatio-temporal edge detection in three-dimensional arrays, enabling the identification of kinetic edges in video data. These diverse applications highlight the properties of TGD in discrete domain and the significant promise of TGD for the computation across signal processing, image analysis, and video analytic. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: This paper is the application part of the paper "Tao General Differential and Difference: Theory and Application". The theory part of the paper is renamed as "A Theory of General Difference in Continuous and Discrete Domain", which is Arxived in arXiv:2305.08098v2

Model structure from one hereditary complete cortorsion pair

Authors: Jian Cui, Xue-Song Lu, Pu Zhang

Abstract: In contrast with the Hovey correspondence of abelian model structures from two complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from only one complete cotorsion pair. The aim of this paper is to extend this result to weakly idempotent complete exact categories, by adding the condition of heredity of the complete cotorsion pair. In fact,… ▽ More In contrast with the Hovey correspondence of abelian model structures from two complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from only one complete cotorsion pair. The aim of this paper is to extend this result to weakly idempotent complete exact categories, by adding the condition of heredity of the complete cotorsion pair. In fact, even for abelian categories, this condition of heredity should be added. This construction really gives model structures which are not necessarily exact in the sense of Gillespie. The correspondence of Beligiannis and Reiten of weakly projective model structures also holds for weakly idempotent complete exact categories. △ Less

Submitted 4 March, 2025; v1 submitted 15 January, 2024; originally announced January 2024.

Some New Results on Pseudo n-Strong Drazin Inverses in Rings

Authors: Jian Cui, Peter Danchev, Yuedi Zeng

Abstract: In this paper, we give a further study in-depth of the pseudo $n$-strong Drazin inverses in an associative unital ring $R$. The characterizations of elements $a,b\in R$ for which $aa^{\tiny{\textcircled{\qihao D}}}=bb^{\tiny{\textcircled{\qihao D}}}$ are provided, and some new equivalent conditions on pseudo $n$-strong Drazin inverses are obtained. In particular, we show that an element $a\in R$ i… ▽ More In this paper, we give a further study in-depth of the pseudo $n$-strong Drazin inverses in an associative unital ring $R$. The characterizations of elements $a,b\in R$ for which $aa^{\tiny{\textcircled{\qihao D}}}=bb^{\tiny{\textcircled{\qihao D}}}$ are provided, and some new equivalent conditions on pseudo $n$-strong Drazin inverses are obtained. In particular, we show that an element $a\in R$ is pseudo $n$-strong Drazin invertible if, and only if, $a$ is $p$-Drazin invertible and $a-a^{n+1}\in \sqrt{J(R)}$ if, and only if, there exists $e^2=e\in {\rm comm}^2(a)$ such that $ae\in \sqrt{J(R)}$ and $1-(a+e)^n\in \sqrt{J(R)}$. We also consider pseudo $n$-strong Drazin inverses with involution, and discuss the extended versions of Cline's formula and Jacobson's lemma of this new class of generalized inverses. Likewise, we define and explore the so-called {\it pseudo $π$-polar} rings and demonstrate their relationships with periodic rings and strongly $π$-regular rings, respectively. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 18 pages

Calico Salmon Migration Algorithm: A novel meta-heuristic optimization algorithm

Authors: Chao Min, Junyi Cui, Liwen Zhou, Qian Yin, Yijia Wang

Abstract: A novel population-based optimization method is proposed in this paper, the Calico Salmon Migration Algorithm (CSMA), which is inspired by the natural behavior of calico salmon during their migration for mating. The CSMA optimization process comprises four stages: selecting the search space by swimming into the river, expanding the search space from the river into the ocean, performing precise sea… ▽ More A novel population-based optimization method is proposed in this paper, the Calico Salmon Migration Algorithm (CSMA), which is inspired by the natural behavior of calico salmon during their migration for mating. The CSMA optimization process comprises four stages: selecting the search space by swimming into the river, expanding the search space from the river into the ocean, performing precise search during the migrating process, and breeding new subspecies by the remaining calico salmon population. To evaluate the effectiveness of the new optimizer, we conducted a series of experiments using different optimization problems and compared the results with various optimization algorithms in the literature. The numerical experimental results for benchmark functions demonstrate that the proposed CSMA outperforms other competing optimization algorithms in terms of convergence speed, accuracy, and stability. Furthermore, the Friedman ranking test shows that the CSMA is ranked first among similar algorithms. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Statistical higher-order multi-scale method for nonlinear thermo-mechanical simulation of random composite materials with temperature-dependent properties

Authors: Hao Dong, Junzhi Cui

Abstract: Stochastic multi-scale modeling and simulation for nonlinear thermo-mechanical problems of composite materials with complicated random microstructures remains a challenging issue. In this paper, we develop a novel statistical higher-order multi-scale (SHOMS) method for nonlinear thermo-mechanical simulation of random composite materials, which is designed to overcome limitations of prohibitive com… ▽ More Stochastic multi-scale modeling and simulation for nonlinear thermo-mechanical problems of composite materials with complicated random microstructures remains a challenging issue. In this paper, we develop a novel statistical higher-order multi-scale (SHOMS) method for nonlinear thermo-mechanical simulation of random composite materials, which is designed to overcome limitations of prohibitive computation involving the macro-scale and micro-scale. By virtue of statistical multi-scale asymptotic analysis and Taylor series method, the SHOMS computational model is rigorously derived for accurately analyzing nonlinear thermo-mechanical responses of random composite materials both in the macro-scale and micro-scale. Moreover, the local error analysis of SHOMS solutions in the point-wise sense clearly illustrates the crucial indispensability of establishing the higher-order asymptotic corrected terms in SHOMS computational model for keeping the conservation of local energy and momentum. Then, the corresponding space-time multi-scale numerical algorithm with off-line and on-line stages is designed to efficiently simulate nonlinear thermo-mechanical behaviors of random composite materials. Finally, extensive numerical experiments are presented to gauge the efficiency and accuracy of the proposed SHOMS approach. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Rings whose Nil-Clean and Clean Elements are Uniquely Nil-Clean

Authors: Jian Cui, Peter Danchev, Danya-Jin

Abstract: We consider and study those rings in which each nil-clean or clean element is uniquely nil-clean. We establish that, for abelian rings, these rings have a satisfactory description and even it is shown that the classes of abelian rings and the rings in which nil-clean elements are uniquely nil-clean do coincide. Moreover, we prove that the rings in which clean elements are uniquely nil-clean coinci… ▽ More We consider and study those rings in which each nil-clean or clean element is uniquely nil-clean. We establish that, for abelian rings, these rings have a satisfactory description and even it is shown that the classes of abelian rings and the rings in which nil-clean elements are uniquely nil-clean do coincide. Moreover, we prove that the rings in which clean elements are uniquely nil-clean coincide with the subclass of abelian rings consisting of only unipotent units and, in particular, that in the semipotent case we have a complete characterization only in terms of the former ring and its divisions. Likewise, some extension properties and group rings for such kinds of rings are also considered. △ Less

Submitted 30 July, 2023; originally announced July 2023.

Comments: 14

Higher-order multi-scale deep Ritz method for multi-scale problems of authentic composite materials

Authors: Jiale Linghu, Hao Dong, Junzhi Cui, Yufeng Nie

Abstract: The direct deep learning simulation for multi-scale problems remains a challenging issue. In this work, a novel higher-order multi-scale deep Ritz method (HOMS-DRM) is developed for thermal transfer equation of authentic composite materials with highly oscillatory and discontinuous coefficients. In this novel HOMS-DRM, higher-order multi-scale analysis and modeling are first employed to overcome l… ▽ More The direct deep learning simulation for multi-scale problems remains a challenging issue. In this work, a novel higher-order multi-scale deep Ritz method (HOMS-DRM) is developed for thermal transfer equation of authentic composite materials with highly oscillatory and discontinuous coefficients. In this novel HOMS-DRM, higher-order multi-scale analysis and modeling are first employed to overcome limitations of prohibitive computation and Frequency Principle when direct deep learning simulation. Then, improved deep Ritz method are designed to high-accuracy and mesh-free simulation for macroscopic homogenized equation without multi-scale property and microscopic lower-order and higher-order cell problems with highly discontinuous coefficients. Moreover, the theoretical convergence of the proposed HOMS-DRM is rigorously demonstrated under appropriate assumptions. Finally, extensive numerical experiments are presented to show the computational accuracy of the proposed HOMS-DRM. This study offers a robust and high-accuracy multi-scale deep learning framework that enables the effective simulation and analysis of multi-scale problems of authentic composite materials. △ Less

Submitted 10 August, 2023; v1 submitted 27 July, 2023; originally announced July 2023.

Regularization effect of noise on fully discrete approximation for stochastic reaction-diffusion equation near sharp interface limit

Authors: Jianbo Cui

Abstract: To capture and simulate geometric surface evolutions, one effective approach is based on the phase field methods. Among them, it is important to design and analyze numerical approximations whose error bound depends on the inverse of the diffuse interface thickness (denoted by $\frac 1ε$) polynomially. However, it has been a long-standing problem whether such numerical error bound exists for stocha… ▽ More To capture and simulate geometric surface evolutions, one effective approach is based on the phase field methods. Among them, it is important to design and analyze numerical approximations whose error bound depends on the inverse of the diffuse interface thickness (denoted by $\frac 1ε$) polynomially. However, it has been a long-standing problem whether such numerical error bound exists for stochastic phase field equations. In this paper, we utilize the regularization effect of noise to show that near sharp interface limit, there always exists the weak error bound of numerical approximations, which depends on $\frac 1ε$ at most polynomially. To illustrate our strategy, we propose a polynomial taming fully discrete scheme and present novel numerical error bounds under various metrics. Our method of proof could be also extended to a number of other fully numerical approximations for semilinear stochastic partial differential equations (SPDEs). △ Less

Submitted 17 April, 2024; v1 submitted 17 July, 2023; originally announced July 2023.

Comments: We need a lot of time to modify it and then update in the future

MSC Class: 65M75; 65N12 60H35; 65N15; 60H15

Weak approximation for stochastic reaction-diffusion equation near sharp interface limit

Authors: Jianbo Cui, Liying Sun

Abstract: It is known that when the diffuse interface thickness $ε$ vanishes, the sharp interface limit of the stochastic reaction-diffusion equation is formally a stochastic geometric flow. To capture and simulate such geometric flow, it is crucial to develop numerical approximations whose error bounds depends on $\frac 1ε$ polynomially. However, due to loss of spectral estimate of the linearized stochasti… ▽ More It is known that when the diffuse interface thickness $ε$ vanishes, the sharp interface limit of the stochastic reaction-diffusion equation is formally a stochastic geometric flow. To capture and simulate such geometric flow, it is crucial to develop numerical approximations whose error bounds depends on $\frac 1ε$ polynomially. However, due to loss of spectral estimate of the linearized stochastic reaction-diffusion equation, how to get such error bound of numerical approximation has been an open problem. In this paper, we solve this weak error bound problem for stochastic reaction-diffusion equations near sharp interface limit. We first introduce a regularized problem which enjoys the exponential ergodicity. Then we present the regularity analysis of the regularized Kolmogorov and Poisson equations which only depends on $\frac 1ε$ polynomially. Furthermore, we establish such weak error bound. This phenomenon could be viewed as a kind of the regularization effect of noise on the numerical approximation of stochastic partial differential equation (SPDE). As a by-product, a central limit theorem of the weak approximation is shown near sharp interface limit. Our method of proof could be extended to a number of other spatial and temporal numerical approximations for semilinear SPDEs. △ Less

Submitted 15 May, 2024; v1 submitted 17 July, 2023; originally announced July 2023.

Comments: 58 pages

MSC Class: 60H35; 35R60; 60H15

Horizontal inverse mean curvature flow in the Heisenberg group

Authors: Jingshi Cui, Peibiao Zhao

Abstract: Huisken and Ilmanen in [37] created the theory of weak solutions for inverse mean curvature flows (IMCF) of hypersurfaces on Riemannian manifolds, and proved successfully a Riemannian version of the Penrose inequality. The present paper investigates and constructs a sub-Riemannian version of the theory of weak solutions for inverse mean curvature flows of hypersurfaces in the first Heisenberg gr… ▽ More Huisken and Ilmanen in [37] created the theory of weak solutions for inverse mean curvature flows (IMCF) of hypersurfaces on Riemannian manifolds, and proved successfully a Riemannian version of the Penrose inequality. The present paper investigates and constructs a sub-Riemannian version of the theory of weak solutions for inverse mean curvature flows of hypersurfaces in the first Heisenberg group $\mathbb{H}^{1}$, and provides a positive answer to an open problem: the Heintze-Karcher inequality in $\mathbb{H}^{1}$. Furthermore, we introduce a $\mathbb{H}$-perimeter preserving flow (1.8) in the first Heisenberg group $\mathbb{H}^{1}$, which is derived by applying the Heisenberg dilation to HIMCF. This rescaled flow is subsequently applied to establish a Minkowski-type formula in $\mathbb{H}^{1}$. △ Less

Submitted 6 December, 2024; v1 submitted 27 June, 2023; originally announced June 2023.

Quantifying the effect of random dispersion for logarithmic Schrödinger equation

Authors: Jianbo Cui, Liying Sun

Abstract: This paper is concerned with the random effect of the noise dispersion for stochastic logarithmic Schrödinger equation emerged from the optical fibre with dispersion management. The well-posedness of the logarithmic Schrödinger equation with white noise dispersion is established via the regularization energy approximation and a spatial scaling property. For the small noise case, the effect of the… ▽ More This paper is concerned with the random effect of the noise dispersion for stochastic logarithmic Schrödinger equation emerged from the optical fibre with dispersion management. The well-posedness of the logarithmic Schrödinger equation with white noise dispersion is established via the regularization energy approximation and a spatial scaling property. For the small noise case, the effect of the noise dispersion is quantified by the proven large deviation principle under additional regularity assumptions on the initial datum. As an application, we show that for the regularized model, the exit from a neighborhood of the attractor of deterministic equation occurs on a sufficiently large time scale. Furthermore, the exit time and exit point in the small noise case, as well as the effect of large noise dispersion, is also discussed for the stochastic logarithmic Schrödinger equation. △ Less

Submitted 11 June, 2023; originally announced June 2023.

MSC Class: 35Q55; 35R60; 60H15; 60F10

A Theory of General Difference in Continuous and Discrete Domain

Authors: Linmi Tao, Ruiyang Liu, Donglai Tao, Wu Xia, Feilong Ma, Yu Cheng, Jingmao Cui

Abstract: Though a core element of the digital age, numerical difference algorithms struggle with noise susceptibility. This stems from a key disconnect between the infinitesimal quantities in continuous differentiation and the finite intervals in its discrete counterpart. This disconnect violates the fundamental definition of differentiation (Leibniz and Cauchy). To bridge this gap, we build a novel genera… ▽ More Though a core element of the digital age, numerical difference algorithms struggle with noise susceptibility. This stems from a key disconnect between the infinitesimal quantities in continuous differentiation and the finite intervals in its discrete counterpart. This disconnect violates the fundamental definition of differentiation (Leibniz and Cauchy). To bridge this gap, we build a novel general difference (Tao General Difference, TGD). Departing from derivative-by-integration, TGD generalizes differentiation to finite intervals in continuous domains through three key constraints. This allows us to calculate the general difference of a sequence in discrete domain via the continuous step function constructed from the sequence. Two construction methods, the rotational construction and the orthogonal construction, are proposed to construct the operators of TGD. The construction TGD operators take same convolution mode in calculation for continuous functions, discrete sequences, and arrays across any dimension. Our analysis with example operations showcases TGD's capability in both continuous and discrete domains, paving the way for accurate and noise-resistant differentiation in the digital era. △ Less

Submitted 25 January, 2024; v1 submitted 14 May, 2023; originally announced May 2023.

Energy regularized models for logarithmic SPDEs and their numerical approximations

Authors: Jianbo Cui, Dianming Hou, Zhonghua Qiao

Abstract: Understanding the properties of the stochastic phase field models is crucial to model processes in several practical applications, such as soft matters and phase separation in random environments. To describe such random evolution, this work proposes and studies two mathematical models and their numerical approximations for parabolic stochastic partial differential equation (SPDE) with a logarithm… ▽ More Understanding the properties of the stochastic phase field models is crucial to model processes in several practical applications, such as soft matters and phase separation in random environments. To describe such random evolution, this work proposes and studies two mathematical models and their numerical approximations for parabolic stochastic partial differential equation (SPDE) with a logarithmic Flory--Huggins energy potential. These multiscale models are built based on a regularized energy technique and thus avoid possible singularities of coefficients. According to the large deviation principle, we show that the limit of the proposed models with small noise naturally recovers the classical dynamics in deterministic case. Moreover, when the driving noise is multiplicative, the Stampacchia maximum principle holds which indicates the robustness of the proposed model. One of the main advantages of the proposed models is that they can admit the energy evolution law and asymptotically preserve the Stampacchia maximum bound of the original problem. To numerically capture these asymptotic behaviors, we investigate the semi-implicit discretizations for regularized logrithmic SPDEs. Several numerical results are presented to verify our theoretical findings. △ Less

Submitted 9 March, 2023; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: 26 pages, 5 figures

Characterizations of $A_\infty$ Weights in Martingale Spaces

Authors: Jie Ju, Wei Chen, Jingya Cui, Chao Zhang

Abstract: Grafakos systematically proved that $A_\infty$ weights have different characterizations for cubes in Euclidean spaces in his classical text book. Very recently, Duoandikoetxea, Martín-Reyes, Ombrosi and Kosz discussed several characterizations of the $A_{\infty}$ weights in the setting of general bases. By conditional expectations, we study $A_\infty$ weights in martingale spaces. Because conditio… ▽ More Grafakos systematically proved that $A_\infty$ weights have different characterizations for cubes in Euclidean spaces in his classical text book. Very recently, Duoandikoetxea, Martín-Reyes, Ombrosi and Kosz discussed several characterizations of the $A_{\infty}$ weights in the setting of general bases. By conditional expectations, we study $A_\infty$ weights in martingale spaces. Because conditional expectations are Radon-Nikodým derivatives with respect to sub$\hbox{-}σ\hbox{-}$fields which have no geometric structures, we need new ingredients. Under a regularity assumption on weights, we obtain equivalent characterizations of the $A_{\infty}$ weights. Moreover, using weights modulo conditional expectations, we have one-way implications of different characterizations. △ Less

Submitted 20 April, 2024; v1 submitted 14 January, 2023; originally announced January 2023.

Comments: This paper has now been accepted for publication in The Journal of Geometric Analysis. 22 pages; 22pages

MSC Class: 60G46; 60G48; 60G42

On Strongly pi-Regular Rings with Involution

Authors: Jian Cui, Peter Danchev

Abstract: Recall that a ring R is called strongly pi-regular if, for every a in R, there is a positive integer n, depending on a, such that a^n belongs to the intersection of a^{n+1}R and Ra^{n+1}. In this paper we give a further study of the notion of a strongly pi-star-regular ring, which is the star-version of strongly pi-regular rings and which was originally introduced by Cui-Wang in J. Korean Math. So… ▽ More Recall that a ring R is called strongly pi-regular if, for every a in R, there is a positive integer n, depending on a, such that a^n belongs to the intersection of a^{n+1}R and Ra^{n+1}. In this paper we give a further study of the notion of a strongly pi-star-regular ring, which is the star-version of strongly pi-regular rings and which was originally introduced by Cui-Wang in J. Korean Math. Soc. (2015). We also establish various properties of these rings and give several new characterizations in terms of (strong) pi-regularity and involution. Our results also considerably extend recent ones in the subject due to Cui-Yin in Algebra Colloq. (2018) proved for pi-star-regular rings and due to Cui-Danchev in J. Algebra Appl. (2020) proved for star-periodic rings. △ Less

Submitted 10 November, 2022; v1 submitted 6 November, 2022; originally announced November 2022.

Comments: 8 pages

MSC Class: 16E50; 16W10

Journal ref: Communications in Mathematics, Volume 31 (2023), Issue 1 (November 11, 2022) cm:10273

Michael-Simon type inequalities in hyperbolic space $\mathbb{H}^{n+1}$ via Brendle-Guan-Li's flows

Authors: Jingshi Cui, Peibiao Zhao

Abstract: In the present paper, we first establish and verify a new sharp hyperbolic version of the Michael-Simon inequality for mean curvatures in hyperbolic space $\mathbb{H}^{n+1}$ based on the locally constrained inverse curvature flow introduced by Brendle, Guan and Li, provided that $M$ is $h$-convex and $f$ is a positive smooth function, where $λ^{'}(r)=\rm{cosh}$$r$. In particular, when $f$ is of co… ▽ More In the present paper, we first establish and verify a new sharp hyperbolic version of the Michael-Simon inequality for mean curvatures in hyperbolic space $\mathbb{H}^{n+1}$ based on the locally constrained inverse curvature flow introduced by Brendle, Guan and Li, provided that $M$ is $h$-convex and $f$ is a positive smooth function, where $λ^{'}(r)=\rm{cosh}$$r$. In particular, when $f$ is of constant, (0.1) coincides with the Minkowski type inequality stated by Brendle, Hung, and Wang. Further, we also establish and confirm a new sharp Michael-Simon inequality for the $k$-th mean curvatures in $\mathbb{H}^{n+1}$ by virtue of the Brendle-Guan-Li's flow, provided that $M$ is $h$-convex and $Ω$ is the domain enclosed by $M$. In particular, when $f$ is of constant and $k$ is odd, (0.2) is exactly the weighted Alexandrov-Fenchel inequalities proven by Hu, Li, and Wei. △ Less

Submitted 4 February, 2024; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 14 pages

Global stability of a time-delayed malaria model with standard incidence rate

Authors: Songbai Guo, Min He, Jing-An Cui

Abstract: A four-dimensional delay differential equations (DDEs) model of malaria with standard incidence rate is proposed. By utilizing the limiting system of the model and Lyapunov direct method, the global stability of equilibria of the model is obtained with respect to the basic reproduction number ${R}_{0}$. Specifically, it shows that the disease-free equilibrium ${E}^{0}$ is globally asymptotically s… ▽ More A four-dimensional delay differential equations (DDEs) model of malaria with standard incidence rate is proposed. By utilizing the limiting system of the model and Lyapunov direct method, the global stability of equilibria of the model is obtained with respect to the basic reproduction number ${R}_{0}$. Specifically, it shows that the disease-free equilibrium ${E}^{0}$ is globally asymptotically stable (GAS) for ${R}_{0}<1$, and globally attractive (GA) for ${R}_{0}=1$, while the endemic equilibrium $E^{\ast}$ is GAS and ${E}^{0}$ is unstable for ${R}_{0}>1$. Especially, to obtain the global stability of the equilibrium $E^{\ast}$ for $R_{0}>1$, the weak persistence of the model is proved by some analysis techniques. △ Less

Submitted 31 October, 2022; originally announced October 2022.

MSC Class: 34K20; 37N25; 92D25

Journal ref: Acta Mathematicae Applicatae Sinica-English Series, 2023

A Polynomial-time Algorithm to Solve the Airplane Refueling Problem: the Sequential Search Algorithm

Authors: Jinchuan Cui, Xiaoya Li

Abstract: Airplane refueling problem is a nonlinear unconstrained optimization problem with $n!$ feasible solutions. Given a fleet of $n$ airplanes with mid-air refueling technique, the question is to find the best refueling policy to make the last remaining airplane travel the farthest. In order to solve airplane refueling problem, we proposed the definition of sequential feasible solution by employing the… ▽ More Airplane refueling problem is a nonlinear unconstrained optimization problem with $n!$ feasible solutions. Given a fleet of $n$ airplanes with mid-air refueling technique, the question is to find the best refueling policy to make the last remaining airplane travel the farthest. In order to solve airplane refueling problem, we proposed the definition of sequential feasible solution by employing the refueling properties of data structure. We proved that if an airplane refueling instance has feasible solutions, it must have sequential feasible solutions; and the optimal feasible solution must be the optimal sequential feasible solution. So we need to numerate all the sequential feasible solutions to get an exact algorithm. We proposed the sequential search algorithm which consists of two steps, the first step of which aims to seek out all of the sequential feasible solutions, and the second step aims to search for the maximal sequential feasible solution by bubble sorting all of the sequential feasible solutions. We observed that the number of the sequential feasible solutions will change to grow at a polynomial rate when the input size of $n$ is greater than an inflection point $N$. Then we proved that the sequential search algorithm is a polynomial-time algorithm to solve the airplane refueling problem. Moreover, we built an efficient computability scheme, according to which we could forecast within a polynomial time the computational complexity of the sequential search algorithm that runs on any given airplane refueling instance. Thus we could provide a computational strategy for decision makers or algorithm users by considering with their available computing resources. △ Less

Submitted 25 November, 2024; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: 21 pages, 1 figure

MSC Class: 68Q25; 68Q17

Optimal control for stochastic nonlinear Schrodinger equation on graph

Authors: Jianbo Cui, Shu Liu, Haomin Zhou

Abstract: We study the optimal control formulation for stochastic nonlinear Schrodinger equation (SNLSE) on a finite graph. By viewing the SNLSE as a stochastic Wasserstein Hamiltonian flow on density manifold, we show the global existence of a unique strong solution for SNLSE with a linear drift control or a linear diffusion control on graph. Furthermore, we provide the gradient formula, the existence of… ▽ More We study the optimal control formulation for stochastic nonlinear Schrodinger equation (SNLSE) on a finite graph. By viewing the SNLSE as a stochastic Wasserstein Hamiltonian flow on density manifold, we show the global existence of a unique strong solution for SNLSE with a linear drift control or a linear diffusion control on graph. Furthermore, we provide the gradient formula, the existence of the optimal control and a description on the optimal condition via the forward and backward stochastic differential equations. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Semi-implicit energy-preserving numerical schemes for stochastic wave equation via SAV approach

Authors: Jianbo Cui, Jialin Hong, Liying Sun

Abstract: In this paper, we propose and analyze semi-implicit numerical schemes for the stochastic wave equation (SWE) with general nonlinearity and multiplicative noise. These numerical schemes, called stochastic scalar auxiliary variable (SAV) schemes, are constructed by transforming the considered SWE into a higher dimensional stochastic system with a stochastic SAV. We prove that they can be solved expl… ▽ More In this paper, we propose and analyze semi-implicit numerical schemes for the stochastic wave equation (SWE) with general nonlinearity and multiplicative noise. These numerical schemes, called stochastic scalar auxiliary variable (SAV) schemes, are constructed by transforming the considered SWE into a higher dimensional stochastic system with a stochastic SAV. We prove that they can be solved explicitly and preserve the modified energy evolution law and the regularity structure of the original system. These structure-preserving properties are the keys to overcoming the mutual effect of the noise and nonlinearity. By proving new regularity estimates of the introduced SAV, we establish the strong convergence rate of stochastic SAV schemes and the further fully-discrete schemes with the finite element method in spatial direction. To the best of our knowledge, this is the first result on the construction and strong convergence of semi-implicit energy-preserving schemes for nonlinear SWE. △ Less

Submitted 29 August, 2022; originally announced August 2022.

Cotorsion pairs and model structures on Morita rings

Authors: Pu Zhang, Jian Cui, Shi Rong

Abstract: This paper is to study cotorsion pairs and abelian model structures on some Morita rings \ $Λ=\left(\begin{smallmatrix} A & {}_AN_B {}_BM_A & B\end{smallmatrix}\right)$. From cotorsion pairs $(\mathcal U, \mathcal X)$ and $(\mathcal V, \mathcal Y)$, respectively in $A$-Mod and $B$-Mod, one constructs 4 kinds of cotorsion pairs in $Λ$-Mod. There even exists an algebra $Λ$ such that the four cotor… ▽ More This paper is to study cotorsion pairs and abelian model structures on some Morita rings \ $Λ=\left(\begin{smallmatrix} A & {}_AN_B {}_BM_A & B\end{smallmatrix}\right)$. From cotorsion pairs $(\mathcal U, \mathcal X)$ and $(\mathcal V, \mathcal Y)$, respectively in $A$-Mod and $B$-Mod, one constructs 4 kinds of cotorsion pairs in $Λ$-Mod. There even exists an algebra $Λ$ such that the four cotorsion pairs above are pairwise different. The heredity and completeness of these cotorsion pairs are studied. The problem of identifications, namely, when the first two cotorsion pairs are the same, and when the second two cotorsion pairs are the same, is investigated. Various model structures on $Λ$\mbox{-}{\rm Mod} are obtained, by explicitly giving the corresponding Hovey triples and Quillen's homotopy categories. In particular, cofibrantly generated Hovey triples, and the Gillespie-Hovey triples induced by compatible generalized projective (respectively, injective) cotorsion pairs, are explicitly contructed. △ Less

Submitted 11 December, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: 68 pages

Weak error estimates of fully-discrete schemes for the stochastic Cahn-Hilliard equation

Authors: Charles-Edouard Bréhier, Jianbo Cui, Xiaojie Wang

Abstract: We study a class of fully-discrete schemes for the numerical approximation of solutions of stochastic Cahn--Hilliard equations with cubic nonlinearity and driven by additive noise. The spatial (resp. temporal) discretization is performed with a spectral Galerkin method (resp. a tamed exponential Euler method). We consider two situations: space-time white noise in dimension $d=1$ and trace-class no… ▽ More We study a class of fully-discrete schemes for the numerical approximation of solutions of stochastic Cahn--Hilliard equations with cubic nonlinearity and driven by additive noise. The spatial (resp. temporal) discretization is performed with a spectral Galerkin method (resp. a tamed exponential Euler method). We consider two situations: space-time white noise in dimension $d=1$ and trace-class noise in dimensions $d=1,2,3$. In both situations, we prove weak error estimates, where the weak order of convergence is twice the strong order of convergence with respect to the spatial and temporal discretization parameters. To prove these results, we show appropriate regularity estimates for solutions of the Kolmogorov equation associated with the stochastic Cahn--Hilliard equation, which have not been established previously and may be of interest in other contexts. △ Less

Submitted 19 July, 2022; originally announced July 2022.

Locally constrained flows and sharp Michael-Simon inequalities in hyperbolic space

Authors: Jingshi Cui, Peibiao Zhao

Abstract: Brendle [6] successfully establishes the sharp Michael-Simon inequality for mean curvature on Riemannian manifolds with nonnegative sectional curvature ($\mathcal{K} \geq 0$), and the proof relies on the Alexandrov-Bakelman-Pucci method. Nevertheless, this result cannot be extended to hyperbolic space $\mathbb{H}^{n+1}$ ($\mathcal{K} = -1$), as demonstrated by Counterexample 1.7. In the present… ▽ More Brendle [6] successfully establishes the sharp Michael-Simon inequality for mean curvature on Riemannian manifolds with nonnegative sectional curvature ($\mathcal{K} \geq 0$), and the proof relies on the Alexandrov-Bakelman-Pucci method. Nevertheless, this result cannot be extended to hyperbolic space $\mathbb{H}^{n+1}$ ($\mathcal{K} = -1$), as demonstrated by Counterexample 1.7. In the present paper, we propose Conjectures 1.8 and 1.9 concerning the hyperbolic version of the sharp Michael-Simon type inequality for $k$-th mean curvatures. However, the proof method in \cite{B21} failed to verify the validity of these conjectures. Recently, the authors [12] proved Conjectures 1.8 and 1.9 only for $h$-convex hypersurfaces by means of the Brendle-Guan-Li's flow. This paper aims to utilize other types of curvature flows to prove Conjectures 1.8 and 1.9 for hypersurfaces with weaker convexity conditions. For $k = 1$, we first investigate a new locally constrained mean curvature flow (1.9) in $\mathbb{H}^{n+1}$ and prove its longtime existence and exponential convergence. Then, the sharp Michael-Simon type inequality for mean curvature of starshaped hypersurfaces in $\mathbb{H}^{n+1}$ is confirmed through the flow (1.9). For $k \geq 2$, the sharp Michael-Simon inequality for $k$-th mean curvatures of starshaped, strictly $k$-convex hypersurfaces in $\mathbb{H}^{n+1}$ is proven using the locally constrained inverse curvature flow (1.11) introduced by Scheuer and Xia [31]. △ Less

Submitted 2 February, 2025; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 22 pages

Homogenization with quasistatic Tresca's friction law: qualitative and quantitative results

Authors: Changqing Ye, Eric T. Chung, Junzhi Cui

Abstract: Modeling of frictional contacts is crucial for investigating mechanical performances of composite materials under varying service environments. The paper considers a linear elasticity system with strongly heterogeneous coefficients and quasistatic Tresca friction law, and studies the homogenization theories under the frameworks of H-convergence and small $ε$-periodicity. The qualitative result is… ▽ More Modeling of frictional contacts is crucial for investigating mechanical performances of composite materials under varying service environments. The paper considers a linear elasticity system with strongly heterogeneous coefficients and quasistatic Tresca friction law, and studies the homogenization theories under the frameworks of H-convergence and small $ε$-periodicity. The qualitative result is based on H-convergence, which shows the original oscillating solutions will converge weakly to the homogenized solution, while our quantitative result provides an estimate of asymptotic errors in $H^1$-norm for the periodic homogenization. This paper also designs several numerical experiments to validate the convergence rates in the quantitative analysis. △ Less

Submitted 20 July, 2023; v1 submitted 20 April, 2022; originally announced April 2022.

MSC Class: 74Q05; 74Q10; 35J86

Wasserstein Hamiltonian flow with common noise on graph

Authors: Jianbo Cui, Shu Liu, Haomin Zhou

Abstract: We study the Wasserstein Hamiltonian flow with a common noise on the density manifold of a finite graph. Under the framework of stochastic variational principle, we first develop the formulation of stochastic Wasserstein Hamiltonian flow and show the local existence of a unique solution. We also establish a sufficient condition for the global existence of the solution. Consequently, we obtain the… ▽ More We study the Wasserstein Hamiltonian flow with a common noise on the density manifold of a finite graph. Under the framework of stochastic variational principle, we first develop the formulation of stochastic Wasserstein Hamiltonian flow and show the local existence of a unique solution. We also establish a sufficient condition for the global existence of the solution. Consequently, we obtain the global well-posedness for the nonlinear Schrödinger equations with common noise on graph. In addition, using Wong-Zakai approximation of common noise, we prove the existence of the minimizer for an optimal control problem with common noise. We show that its minimizer satisfies the stochastic Wasserstein Hamiltonian flow on graph as well. △ Less

Submitted 3 April, 2022; originally announced April 2022.

An expanding curvature flow and the (p,q)-Christoffel-Minkowski problems

Authors: Bin Chen, Jingshi Cui, Peibiao Zhao

Abstract: The present paper introduces a new class of geometric measures, the k-th (p,q)-mixed curvature measures, and a natural correspondence-(p,q)-Christoffel-Minkowski problem is proposed. The (p,q)-Christoffel-Minkowski problem posed here can be regarded as a natural generalization of the L_p Christoffel-Minkowski problem and Lp dual Minkowski problem. We investigate and arrive at the existence of sm… ▽ More The present paper introduces a new class of geometric measures, the k-th (p,q)-mixed curvature measures, and a natural correspondence-(p,q)-Christoffel-Minkowski problem is proposed. The (p,q)-Christoffel-Minkowski problem posed here can be regarded as a natural generalization of the L_p Christoffel-Minkowski problem and Lp dual Minkowski problem. We investigate and arrive at the existence of smooth solution to the (p,q)-Christoffel-Minkowski problem by a type of expanding curvature flow. Furthermore, the uniqueness result of solutions to the (p,q)-Christoffel-Minkowski problem shall be discussed. △ Less

Submitted 25 June, 2024; v1 submitted 9 March, 2022; originally announced March 2022.

Comments: 19 pages

Improved normal-boundary intersection algorithm: a method for energy optimization strategy in smart buildings

Authors: Jia Cui, Jiang Pan, Shunjiang Wang, Martin Onyeka Okoye, Junyou Yang, Yang Li, Hao Wang

Abstract: With the widespread use of distributed energy sources, the advantages of smart buildings over traditional buildings are becoming increasingly obvious. Subsequently, its energy optimal scheduling and multi-objective optimization have become more and more complex and need to be solved urgently. This paper presents a novel method to optimize energy utilization in smart buildings. Firstly, multiple tr… ▽ More With the widespread use of distributed energy sources, the advantages of smart buildings over traditional buildings are becoming increasingly obvious. Subsequently, its energy optimal scheduling and multi-objective optimization have become more and more complex and need to be solved urgently. This paper presents a novel method to optimize energy utilization in smart buildings. Firstly, multiple transfer-retention ratio (TRR) parameters are added to the evaluation of distributed renewable energy. Secondly, the normal-boundary intersection (NBI) algorithm is improved by the adaptive weight sum, the adjust uniform axes method, and Mahalanobis distance to form the improved normal-boundary intersection (INBI) algorithm. The multi-objective optimization problem in smart buildings is solved by the parameter TRR and INBI algorithm to improve the regulation efficiency. In response to the needs of decision-makers with evaluation indicators, the average deviation is reduced by 60% compared with the previous case. Numerical examples show that the proposed method is superior to the existing technologies in terms of three optimization objectives. The objectives include 8.2% reduction in equipment costs, 7.6% reduction in power supply costs, and 1.6% improvement in occupants' comfort. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Comments: Accepted by Building and Environment

Journal ref: Building and Environment 212 (2022) 108846

Explicit Numerical Methods for High Dimensional Stochastic Nonlinear Schrödinger Equation: Divergence, Regularity and Convergence

Authors: Jianbo Cui

Abstract: This paper focuses on the construction and analysis of explicit numerical methods of high dimensional stochastic nonlinear Schrodinger equations (SNLSEs). We first prove that the classical explicit numerical methods are unstable and suffer from the numerical divergence phenomenon. Then we propose a kind of explicit splitting numerical methods and prove that the structure-preserving splitting strat… ▽ More This paper focuses on the construction and analysis of explicit numerical methods of high dimensional stochastic nonlinear Schrodinger equations (SNLSEs). We first prove that the classical explicit numerical methods are unstable and suffer from the numerical divergence phenomenon. Then we propose a kind of explicit splitting numerical methods and prove that the structure-preserving splitting strategy is able to enhance the numerical stability. Furthermore, we establish the regularity analysis and strong convergence analysis of the proposed schemes for SNLSEs based on two key ingredients. One ingredient is proving new regularity estimates of SNLSEs by constructing a logarithmic auxiliary functional and exploiting the Bourgain space. Another one is providing a dedicated error decomposition formula and a novel truncated stochastic Gronwall's lemma, which relies on the tail estimates of underlying stochastic processes. In particular, our result answers the strong convergence problem of numerical methods for 2D SNLSEs emerged from [C. Chen, J. Hong and A. Prohl, Stoch. Partial Differ. Equ. Anal. Comput. 4 (2016), no. 2, 274-318] and [J. Cui and J. Hong, SIAM J. Numer. Anal. 56 (2018), no. 4, 2045-2069]. △ Less

Submitted 19 December, 2021; originally announced December 2021.

Comments: 30 pages

Stochastic Wasserstein Hamiltonian Flows

Authors: Jianbo Cui, Shu Liu, Haomin Zhou

Abstract: In this paper, we study the stochastic Hamiltonian flow in Wasserstein manifold, the probability density space equipped with $L^2$-Wasserstein metric tensor, via the Wong--Zakai approximation. We begin our investigation by showing that the stochastic Euler-Lagrange equation, regardless it is deduced from either variational principle or particle dynamics, can be interpreted as the stochastic kineti… ▽ More In this paper, we study the stochastic Hamiltonian flow in Wasserstein manifold, the probability density space equipped with $L^2$-Wasserstein metric tensor, via the Wong--Zakai approximation. We begin our investigation by showing that the stochastic Euler-Lagrange equation, regardless it is deduced from either variational principle or particle dynamics, can be interpreted as the stochastic kinetic Hamiltonian flows in Wasserstein manifold. We further propose a novel variational formulation to derive more general stochastic Wassersetin Hamiltonian flows, and demonstrate that this new formulation is applicable to various systems including the stochastic Schrödinger equation, Schrödinger equation with random dispersion, and Schrödinger bridge problem with common noise. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 34 pages

Structure-preserving splitting methods for stochastic logarithmic Schrödinger equation via regularized energy approximation

Authors: Jianbo Cui, Jialin Hong, Liying Sun

Abstract: In this paper, we study two kinds of structure-preserving splitting methods, including the Lie--Trotter type splitting method and the finite difference type method, for the stochasticlogarithmic Schrödinger equation (SlogS equation) via a regularized energy approximation. We first introduce a regularized SlogS equation with a small parameter $0<ε\ll1$ which approximates the SlogS equation and avoi… ▽ More In this paper, we study two kinds of structure-preserving splitting methods, including the Lie--Trotter type splitting method and the finite difference type method, for the stochasticlogarithmic Schrödinger equation (SlogS equation) via a regularized energy approximation. We first introduce a regularized SlogS equation with a small parameter $0<ε\ll1$ which approximates the SlogS equation and avoids the singularity near zero density. Then we present a priori estimates, the regularized entropy and energy, and the stochastic symplectic structure of the proposed numerical methods. Furthermore, we derive both the strong convergence rates and the convergence rates of the regularized entropy and energy. To the best of our knowledge, this is the first result concerning the construction and analysis of numerical methods for stochastic Schrödinger equations with logarithmic nonlinearities. △ Less

Submitted 9 November, 2021; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: 25

Mean curvature type flow and sharp Micheal-Simon inequalities

Authors: J. Cui, P. Zhao

Abstract: In this paper, we first investigate a new locally constrained mean curvature flow (1.5) and prove that if the initial hypersurface is of smoothly compact starshaped, then the solution of the flow (1.5) exists for all time and converges to a sphere in smooth topology. Following this flow argument, not only do we achieve a new proof of the celebrated sharp Michael-Simon inequality for mean curvature… ▽ More In this paper, we first investigate a new locally constrained mean curvature flow (1.5) and prove that if the initial hypersurface is of smoothly compact starshaped, then the solution of the flow (1.5) exists for all time and converges to a sphere in smooth topology. Following this flow argument, not only do we achieve a new proof of the celebrated sharp Michael-Simon inequality for mean curvature in (n+1) dimensional Euclidean space, but we also get the necessary and sufficient condition for the establishment of the equality. In the second part of this paper, we study a mean curvature type flow (1.7) of static convex hypersurfaces in (n+1) dimensional Euclidean space, and prove that the flow (1.7) has a unique smooth solution for all time t>0, and the static convexity of the hypersurface is preserved along the flow (1.7). Moreover, The solution of the flow (1.7) converges exponentially to a sphere of radius R in smooth topology as time tends to infinity. By exploiting the properties of this flow, we develop and present a new sharp Michael-Simon inequality for kth mean curvature. △ Less

Submitted 29 October, 2021; originally announced November 2021.

Comments: 32 pages

A continuation multiple shooting method for Wasserstein geodesic equation

Authors: Jianbo Cui, Luca Dieci, Haomin Zhou

Abstract: In this paper, we propose a numerical method to solve the classic $L^2$-optimal transport problem. Our algorithm is based on use of multiple shooting, in combination with a continuation procedure, to solve the boundary value problem associated to the transport problem. We exploit the viewpoint of Wasserstein Hamiltonian flow with initial and target densities, and our method is designed to retain t… ▽ More In this paper, we propose a numerical method to solve the classic $L^2$-optimal transport problem. Our algorithm is based on use of multiple shooting, in combination with a continuation procedure, to solve the boundary value problem associated to the transport problem. We exploit the viewpoint of Wasserstein Hamiltonian flow with initial and target densities, and our method is designed to retain the underlying Hamiltonian structure. Several numerical examples are presented to illustrate the performance of the method. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: 25 pages

MSC Class: 49Q22; 49M25; 65L09; 34A55

Arbitrary high-order linear structure-preserving schemes for the regularized long-wave equation

Authors: Chaolong Jiang, Xu Qian, Songhe Song, Jin Cui

Abstract: In this paper, a class of arbitrarily high-order linear momentum-preserving and energy-preserving schemes are proposed, respectively, for solving the regularized long-wave equation. For the momentum-preserving scheme, the key idea is based on the extrapolation/prediction-correction technique and the symplectic Runge-Kutta method in time, together with the standard Fourier pseudo-spectral method in… ▽ More In this paper, a class of arbitrarily high-order linear momentum-preserving and energy-preserving schemes are proposed, respectively, for solving the regularized long-wave equation. For the momentum-preserving scheme, the key idea is based on the extrapolation/prediction-correction technique and the symplectic Runge-Kutta method in time, together with the standard Fourier pseudo-spectral method in space. We show that the scheme is linear, high-order, unconditionally stable and preserves the discrete momentum of the system. For the energy-preserving scheme, it is mainly based on the energy quadratization approach and the analogous linearized strategy used in the construction of the linear momentum-preserving scheme. The proposed scheme is linear, high-order and can preserve a discrete quadratic energy exactly. Numerical results are addressed to demonstrate the accuracy and efficiency of the proposed scheme. △ Less

Submitted 5 December, 2021; v1 submitted 9 May, 2021; originally announced May 2021.

Comments: 26 pages, 52 figures

A Note on the Boundedness of Doob Maximal Operators on a Filtered Measure Space

Authors: Wei Chen, Jingya Cui

Abstract: Let $M$ be the Doob maximal operator on a filtered measure space and let $v$ be an $A_p$ weight with $1<p<+\infty$. We try proving that \begin{equation}\lVert M f\rVert _{L ^{p}(v) }\leq p^{\prime}[v]^{\frac{1}{p-1}}_{A_p}\lVert f\rVert _{L ^{p} (v)},\end{equation} where $1/p+1/p^{\prime}=1.$ Although we do not find an approach which gives the constant $p^{\prime},$ we obtain that \begin{equation}… ▽ More Let $M$ be the Doob maximal operator on a filtered measure space and let $v$ be an $A_p$ weight with $1<p<+\infty$. We try proving that \begin{equation}\lVert M f\rVert _{L ^{p}(v) }\leq p^{\prime}[v]^{\frac{1}{p-1}}_{A_p}\lVert f\rVert _{L ^{p} (v)},\end{equation} where $1/p+1/p^{\prime}=1.$ Although we do not find an approach which gives the constant $p^{\prime},$ we obtain that \begin{equation}\lVert M f\rVert _{L ^{p}(v) }\leq p^{\frac{1}{p-1}}p^{\prime}[v]^{\frac{1}{p-1}}_{A_p}\lVert f\rVert _{L ^{p} (v)}, \end{equation} with $\lim\limits_{p\rightarrow+\infty}p^{\frac{1}{p-1}}=1.$ △ Less

Submitted 22 October, 2021; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: 15 pages; We modify our result in this version

MSC Class: 60G46

High-order linearly implicit structure-preserving exponential integrators for the nonlinear Schrödinger equation

Authors: Chaolong Jiang, Jin Cui, Xu Qian, Songhe Song

Abstract: A novel class of high-order linearly implicit energy-preserving integrating factor Runge-Kutta methods are proposed for the nonlinear Schrödinger equation. Based on the idea of the scalar auxiliary variable approach, the original equation is first reformulated into an equivalent form which satisfies a quadratic energy. The spatial derivatives of the system are then approximated with the standard F… ▽ More A novel class of high-order linearly implicit energy-preserving integrating factor Runge-Kutta methods are proposed for the nonlinear Schrödinger equation. Based on the idea of the scalar auxiliary variable approach, the original equation is first reformulated into an equivalent form which satisfies a quadratic energy. The spatial derivatives of the system are then approximated with the standard Fourier pseudo-spectral method. Subsequently, we apply the extrapolation technique/prediction-correction strategy to the nonlinear terms of the semi-discretized system and a linearized energy-conserving system is obtained. A fully discrete scheme is gained by further using the integrating factor Runge-Kutta method to the resulting system. We show that, under certain circumstances for the coefficients of a Runge-Kutta method, the proposed scheme can produce numerical solutions along which the modified energy is precisely conserved, as is the case with the analytical solution and is extremely efficient in the sense that only linear equations with constant coefficients need to be solved at every time step. Numerical results are addressed to demonstrate the remarkable superiority of the proposed schemes in comparison with other existing structure-preserving schemes. △ Less

Submitted 5 December, 2021; v1 submitted 27 February, 2021; originally announced March 2021.

Comments: 28 pages, 49 figures

Stochastic logarithmic Schrodinger equations: energy regularized approach

Authors: Jianbo Cui, Liying Sun

Abstract: In this paper, we prove the global existence and uniqueness of the solution of the stochastic logarithmic Schrödinger (SlogS) equation driven by additive noise or multiplicative noise. The key ingredient lies on the regularized stochastic logarithmic Schrödinger (RSlogS) equation with regularized energy and the strong convergence analysis of the solutions of (RSlogS) equations. In addition, tempor… ▽ More In this paper, we prove the global existence and uniqueness of the solution of the stochastic logarithmic Schrödinger (SlogS) equation driven by additive noise or multiplicative noise. The key ingredient lies on the regularized stochastic logarithmic Schrödinger (RSlogS) equation with regularized energy and the strong convergence analysis of the solutions of (RSlogS) equations. In addition, temporal Hölder regularity estimates and uniform estimates in energy space $\mathbb H^1(\mathcal O)$ and weighted Sobolev space $L^2_α(\mathcal O)$ of the solutions for both SlogS equation and RSlogS equation are also obtained. △ Less

Submitted 28 February, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: 32 pages

MSC Class: 60H15; 35Q55; 47J05; 81Q05

What is a stochastic Hamiltonian process on finite graph? An optimal transport answer

Authors: Jianbo Cui, Shu liu, Haomin Zhou

Abstract: We present a definition of stochastic Hamiltonian process on finite graph via its corresponding density dynamics in Wasserstein manifold. We demonstrate the existence of stochastic Hamiltonian process in many classical discrete problems, such as the optimal transport problem, Schrödinger equation and Schrödinger bridge problem (SBP). The stationary and periodic properties of Hamiltonian processes… ▽ More We present a definition of stochastic Hamiltonian process on finite graph via its corresponding density dynamics in Wasserstein manifold. We demonstrate the existence of stochastic Hamiltonian process in many classical discrete problems, such as the optimal transport problem, Schrödinger equation and Schrödinger bridge problem (SBP). The stationary and periodic properties of Hamiltonian processes are also investigated in the framework of SBP. △ Less

Submitted 20 January, 2021; originally announced January 2021.

Comments: 29 pages

MSC Class: 35R02; 60J20; 53C22; 49Q22

Convergence of Density Approximations for Stochastic Heat Equation

Authors: Chuchu Chen, Jianbo Cui, Jialin Hong, Derui Sheng

Abstract: This paper investigates the convergence of density approximations for stochastic heat equation in both uniform convergence topology and total variation distance. The convergence order of the densities in uniform convergence topology is shown to be exactly $1/2$ in the nonlinear case and nearly $1$ in the linear case. This result implies that the distributions of the approximations always converge… ▽ More This paper investigates the convergence of density approximations for stochastic heat equation in both uniform convergence topology and total variation distance. The convergence order of the densities in uniform convergence topology is shown to be exactly $1/2$ in the nonlinear case and nearly $1$ in the linear case. This result implies that the distributions of the approximations always converge to the distribution of the origin equation in total variation distance. As far as we know, this is the first result on the convergence of density approximations to the stochastic partial differential equation. △ Less

Submitted 2 August, 2020; v1 submitted 25 July, 2020; originally announced July 2020.

Mass- and energy-preserving exponential Runge-Kutta methods for the nonlinear Schrödinger equation

Authors: Jin Cui, Zhuangzhi Xu, Yushun Wang, Chaolong Jiang

Abstract: In this paper, a family of arbitrarily high-order structure-preserving exponential Runge-Kutta methods are developed for the nonlinear Schrödinger equation by combining the scalar auxiliary variable approach with the exponential Runge-Kutta method. By introducing an auxiliary variable, we first transform the original model into an equivalent system which admits both mass and modified energy conser… ▽ More In this paper, a family of arbitrarily high-order structure-preserving exponential Runge-Kutta methods are developed for the nonlinear Schrödinger equation by combining the scalar auxiliary variable approach with the exponential Runge-Kutta method. By introducing an auxiliary variable, we first transform the original model into an equivalent system which admits both mass and modified energy conservation laws. Then applying the Lawson method and the symplectic Runge-Kutta method in time, we derive a class of mass- and energy-preserving time-discrete schemes which are arbitrarily high-order in time. Numerical experiments are addressed to demonstrate the accuracy and effectiveness of the newly proposed schemes. △ Less

Submitted 12 September, 2020; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: 7 pages, 4 figures

Time Discretizations of Wasserstein-Hamiltonian Flows

Authors: Jianbo Cui, Luca Dieci, Haomin Zhou

Abstract: We study discretizations of Hamiltonian systems on the probability density manifold equipped with the $L^2$-Wasserstein metric. Based on discrete optimal transport theory, several Hamiltonian systems on graph (lattice) with different weights are derived, which can be viewed as spatial discretizations to the original Hamiltonian systems. We prove the consistency and provide the approximate orders f… ▽ More We study discretizations of Hamiltonian systems on the probability density manifold equipped with the $L^2$-Wasserstein metric. Based on discrete optimal transport theory, several Hamiltonian systems on graph (lattice) with different weights are derived, which can be viewed as spatial discretizations to the original Hamiltonian systems. We prove the consistency and provide the approximate orders for those discretizations. By regularizing the system using Fisher information, we deduce an explicit lower bound for the density function, which guarantees that symplectic schemes can be used to discretize in time. Moreover, we show desirable long time behavior of these schemes, and demonstrate their performance on several numerical examples. △ Less

Submitted 16 June, 2020; originally announced June 2020.

Comments: 34 pages

MSC Class: Primary 65P10; Secondary 35R02; 58B20; 65M12

Arbitrarily high-order structure-preserving schemes for the Gross-Pitaevskii equation with angular momentum rotation in three dimensions

Authors: Jin Cui, Yushun Wang, Chaolong Jiang

Abstract: In this paper, we design a novel class of arbitrarily high-order structure-preserving numerical schemes for the time-dependent Gross-Pitaevskii equation with angular momentum rotation in three dimensions. Based on the idea of the scalar auxiliary variable approach which is proposed in the recent papers [J. Comput. Phys., 416 (2018) 353-407 and SIAM Rev., 61(2019) 474-506] for developing energy sta… ▽ More In this paper, we design a novel class of arbitrarily high-order structure-preserving numerical schemes for the time-dependent Gross-Pitaevskii equation with angular momentum rotation in three dimensions. Based on the idea of the scalar auxiliary variable approach which is proposed in the recent papers [J. Comput. Phys., 416 (2018) 353-407 and SIAM Rev., 61(2019) 474-506] for developing energy stable schemes for gradient flow systems, we firstly reformulate the Gross-Pitaevskii equation into an equivalent system with a modified energy conservation law. The reformulated system is then discretized by the Gauss collocation method in time and the standard Fourier pseudo-spectral method in space, respectively. We show that the proposed schemes can preserve the discrete mass and modified energy exactly. Numerical results are addressed to verify the efficiency and high-order accuracy of the proposed schemes. △ Less

Submitted 18 April, 2020; originally announced April 2020.

Comments: 18pages, 40 figures