Showing 1–50 of 90 results for author: Zhu, R

S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization

Authors: Richard L. Zhu, Mathias Oster, Yuehaw Khoo

Abstract: Global polynomial optimization is an important tool across applied mathematics, with many applications in operations research, engineering, and physical sciences. In various settings, the polynomials depend on external parameters that may be random. We discuss a stochastic sum-of-squares (S-SOS) algorithm based on the sum-of squares hierarchy that constructs a series of semidefinite programs to jo… ▽ More Global polynomial optimization is an important tool across applied mathematics, with many applications in operations research, engineering, and physical sciences. In various settings, the polynomials depend on external parameters that may be random. We discuss a stochastic sum-of-squares (S-SOS) algorithm based on the sum-of squares hierarchy that constructs a series of semidefinite programs to jointly find strict lower bounds on the global minimum and extract candidates for parameterized global minimizers. We prove quantitative convergence of the hierarchy as the degree increases and use it to solve unconstrained and constrained polynomial optimization problems parameterized by random variables. By employing $n$-body priors from condensed matter physics to induce sparsity, we can use S-SOS to produce solutions and uncertainty intervals for sensor network localization problems containing up to 40 variables and semidefinite matrix sizes surpassing $800 \times 800$. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Continuity estimates for the gradient of solutions to the Monge-Ampère equation with nature boundary conditions

Authors: Huaiyu Jian, Ruixuan Zhu

Abstract: We study the first derivative estimates for solutions to Monge-Ampère equations in terms of modulus of continuity. As a result, we establish the optimal global log-Lipschitz continuity for the gradient of solutions to the Monge-Ampère equation with natural boundary conditions. We study the first derivative estimates for solutions to Monge-Ampère equations in terms of modulus of continuity. As a result, we establish the optimal global log-Lipschitz continuity for the gradient of solutions to the Monge-Ampère equation with natural boundary conditions. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 21 pages

Deep Reinforcement Learning for Traveling Purchaser Problems

Authors: Haofeng Yuan, Rong** Zhu, Wanlu Yang, Shiji Song, Keyou You, Yuli Zhang

Abstract: The traveling purchaser problem (TPP) is an important combinatorial optimization problem with broad applications. Due to the coupling between routing and purchasing, existing works on TPPs commonly address route construction and purchase planning simultaneously, which, however, leads to exact methods with high computational cost and heuristics with sophisticated design but limited performance. In… ▽ More The traveling purchaser problem (TPP) is an important combinatorial optimization problem with broad applications. Due to the coupling between routing and purchasing, existing works on TPPs commonly address route construction and purchase planning simultaneously, which, however, leads to exact methods with high computational cost and heuristics with sophisticated design but limited performance. In sharp contrast, we propose a novel approach based on deep reinforcement learning (DRL), which addresses route construction and purchase planning separately, while evaluating and optimizing the solution from a global perspective. The key components of our approach include a bipartite graph representation for TPPs to capture the market-product relations, and a policy network that extracts information from the bipartite graph and uses it to sequentially construct the route. One significant benefit of our framework is that we can efficiently construct the route using the policy network, and once the route is determined, the associated purchasing plan can be easily derived through linear programming, while, leveraging DRL, we can train the policy network to optimize the global solution objective. Furthermore, by introducing a meta-learning strategy, the policy network can be trained stably on large-sized TPP instances, and generalize well across instances of varying sizes and distributions, even to much larger instances that are never seen during training. Experiments on various synthetic TPP instances and the TPPLIB benchmark demonstrate that our DRL-based approach can significantly outperform well-established TPP heuristics, reducing the optimality gap by 40%-90%, and also showing an advantage in runtime, especially on large-sized instances. △ Less

Submitted 11 April, 2024; v1 submitted 3 April, 2024; originally announced April 2024.

A priori estimates for parabolic Monge-Ampère type equations

Authors: Yang Zhou, Ruixuan Zhu

Abstract: We prove the existence and regularity of convex solutions to the first initial-boundary value problem of the parabolic Monge-Ampère equation $$ \left\{\begin{eqnarray} &u_t=\det D^2u\quad\text{ in } Q_T, \\ &u=φ\quad\text{ on }\partial_pQ_T, \end{eqnarray}\right. $$ where $φ$ is a smooth function, $Q_T=Ω\times(0,T]$, $\partial_p Q_T$ is the parabolic boundary of $Q_T$, and $Ω$ is a uniform… ▽ More We prove the existence and regularity of convex solutions to the first initial-boundary value problem of the parabolic Monge-Ampère equation $$ \left\{\begin{eqnarray} &u_t=\det D^2u\quad\text{ in } Q_T, \\ &u=φ\quad\text{ on }\partial_pQ_T, \end{eqnarray}\right. $$ where $φ$ is a smooth function, $Q_T=Ω\times(0,T]$, $\partial_p Q_T$ is the parabolic boundary of $Q_T$, and $Ω$ is a uniformly convex domain in $\mathbb{R}^n$ with smooth boundary. Our approach can also be used to prove similar results for $γ$-Gauss curvature flow with any $0<γ\le 1$. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 27 pages

MSC Class: 35K96; 35B65

Global well-posedness for 2D generalized Parabolic Anderson Model via paracontrolled calculus

Authors: Hao Shen, Rongchan Zhu, Xiangchan Zhu

Abstract: This article revisits the problem of global well-posedness for the generalized parabolic Anderson model on $\mathbb{R}^+\times \mathbb{T}^2$ within the framework of paracontrolled calculus \cite{GIP15}. The model is given by the equation: \begin{equation*} (\partial_t-Δ) u=F(u)η \end{equation*} where $η\in C^{-1-κ}$ with $1/6>κ>0$, and $F\in C_b^2(\mathbb{R})$. Assume that $η\in C^{-1-κ}$… ▽ More This article revisits the problem of global well-posedness for the generalized parabolic Anderson model on $\mathbb{R}^+\times \mathbb{T}^2$ within the framework of paracontrolled calculus \cite{GIP15}. The model is given by the equation: \begin{equation*} (\partial_t-Δ) u=F(u)η \end{equation*} where $η\in C^{-1-κ}$ with $1/6>κ>0$, and $F\in C_b^2(\mathbb{R})$. Assume that $η\in C^{-1-κ}$ and can be lifted to enhanced noise, we derive new a priori bounds. The key idea follows from the recent work \cite{CFW24} by A.Chandra, G.L. Feltes and H.Weber to represent the leading error term as a transport type term, and our techniques encompass the paracontrolled calculus, the maximum principle, and the localization approach (i.e. high-low frequency argument). △ Less

Submitted 29 February, 2024; originally announced February 2024.

Comments: 19 pages

Langevin dynamics of lattice Yang-Mills-Higgs and applications

Authors: Hao Shen, Rongchan Zhu, Xiangchan Zhu

Abstract: We investigate the Langevin dynamics of various lattice formulations of the Yang-Mills-Higgs model, where the Higgs component takes values in $\mathbb{R}^N$, $\mathbb{S}^{N-1}$ or a Lie group. We prove the exponential ergodicity of the dynamics on the whole lattice via functional inequalities. As an application, we establish that correlations for a broad range of observables decay exponentially. S… ▽ More We investigate the Langevin dynamics of various lattice formulations of the Yang-Mills-Higgs model, where the Higgs component takes values in $\mathbb{R}^N$, $\mathbb{S}^{N-1}$ or a Lie group. We prove the exponential ergodicity of the dynamics on the whole lattice via functional inequalities. As an application, we establish that correlations for a broad range of observables decay exponentially. Specifically, the infinite volume measure exhibits a strictly positive mass gap under strong coupling conditions. Moreover, appropriately rescaled observables exhibit factorized correlations in the large $N$ limit when the state space is compact. Our approach involves disintegration and a nuanced analysis of correlations to effectively control the unbounded Higgs component. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 54 pages

Stationary solutions to stochastic 3D Euler equations in Hölder space

Authors: Lin Lü, Rongchan Zhu

Abstract: We establish the existence of infinitely many global and stationary solutions in $C(\mathbb{R};C^{\vartheta})$ space for some $\vartheta>0$ to the three dimensional Euler equations driven by an additive noise. The result is based on a new stochastic version of the convex integration method, incorporating the stochastic convex integration method developed in \cite{HZZ22b} and pathwise estimates to… ▽ More We establish the existence of infinitely many global and stationary solutions in $C(\mathbb{R};C^{\vartheta})$ space for some $\vartheta>0$ to the three dimensional Euler equations driven by an additive noise. The result is based on a new stochastic version of the convex integration method, incorporating the stochastic convex integration method developed in \cite{HZZ22b} and pathwise estimates to derive uniform moment estimates independent of time. △ Less

Submitted 25 January, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: 38 pages

Quantum toroidal algebras and solvable structures in gauge/string theory

Authors: Yutaka Matsuo, Satoshi Nawata, Go Noshita, Rui-Dong Zhu

Abstract: This is a review article on the quantum toroidal algebras, focusing on their roles in various solvable structures of 2d conformal field theory, supersymmetric gauge theory, and string theory. Using $\mathcal{W}$-algebras as our starting point, we elucidate the interconnection of affine Yangians, quantum toroidal algebras, and double affine Hecke algebras. Our exploration delves into the represen… ▽ More This is a review article on the quantum toroidal algebras, focusing on their roles in various solvable structures of 2d conformal field theory, supersymmetric gauge theory, and string theory. Using $\mathcal{W}$-algebras as our starting point, we elucidate the interconnection of affine Yangians, quantum toroidal algebras, and double affine Hecke algebras. Our exploration delves into the representation theory of the quantum toroidal algebra of $\mathfrak{gl}_1$ in full detail, highlighting its connections to partitions, $\mathcal{W}$-algebras, Macdonald functions, and the notion of intertwiners. Further, we also discuss integrable models constructed on Fock spaces and associated $\mathcal{R}$-matrices, both for the affine Yangian and the quantum toroidal algebra of $\mathfrak{gl}_1$. The article then demonstrates how quantum toroidal algebras serve as a unifying algebraic framework that bridges different areas in physics. Notably, we cover topological string theory and supersymmetric gauge theories with eight supercharges, incorporating the AGT duality. Drawing upon the representation theory of the quantum toroidal algebra of $\mathfrak{gl}_1$, we provide a rather detailed review of its role in the algebraic formulations of topological vertex and $qq$-characters. Additionally, we briefly touch upon the corner vertex operator algebras and quiver quantum toroidal algebras. △ Less

Submitted 10 January, 2024; v1 submitted 14 September, 2023; originally announced September 2023.

Comments: 151+42 pages, Comments are welcome, v2: fixed typos and added references

Non-uniqueness of Leray-Hopf solutions for stochastic forced Navier-Stokes equations

Authors: Martina Hofmanová, Rongchan Zhu, Xiangchan Zhu

Abstract: We consider stochastic forced Navier--Stokes equations on $\mathbb{R}^{3}$ starting from zero initial condition. The noise is linear multiplicative and the equations are perturbed by an additional body force. Based on the ideas of Albritton, Brué and Colombo \cite{ABC22}, we prove non-uniqueness of local-in-time Leray--Hopf solutions as well as joint non-uniqueness in law for solutions on… ▽ More We consider stochastic forced Navier--Stokes equations on $\mathbb{R}^{3}$ starting from zero initial condition. The noise is linear multiplicative and the equations are perturbed by an additional body force. Based on the ideas of Albritton, Brué and Colombo \cite{ABC22}, we prove non-uniqueness of local-in-time Leray--Hopf solutions as well as joint non-uniqueness in law for solutions on $\mathbb{R}^{+}$. In the deterministic setting, we show that the set of forces, for which Leray--Hopf solutions are non-unique, is dense in $L^{1}_{t}L^{2}_{x}$. In addition, by a simple controllability argument we show that for every divergence-free initial condition in $L^{2}_{x}$ there is a force so that non-uniqueness of Leray--Hopf solutions holds. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: 24 pages

Surface quasi-geostrophic equation perturbed by derivatives of space-time white noise

Authors: Martina Hofmanová, Xiaoyutao Luo, Rongchan Zhu, Xiangchan Zhu

Abstract: We consider a family of singular surface quasi-geostrophic equations $$ \partial_{t}θ+u\cdot\nablaθ=-ν(-Δ)^{γ/2}θ+(-Δ)^{α/2}ξ,\qquad u=\nabla^{\perp}(-Δ)^{-1/2}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, where $ν\geq 0$, $γ\in [0,3/2)$, $α\in [0,1/4)$ and $ξ$ is a space-time white noise. For the first time, we establish the existence of infinitely many non-Gaussian $\bullet$ probabilistically stron… ▽ More We consider a family of singular surface quasi-geostrophic equations $$ \partial_{t}θ+u\cdot\nablaθ=-ν(-Δ)^{γ/2}θ+(-Δ)^{α/2}ξ,\qquad u=\nabla^{\perp}(-Δ)^{-1/2}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, where $ν\geq 0$, $γ\in [0,3/2)$, $α\in [0,1/4)$ and $ξ$ is a space-time white noise. For the first time, we establish the existence of infinitely many non-Gaussian $\bullet$ probabilistically strong solutions for every initial condition in $C^η$, $η>1/2$ $\bullet$ ergodic stationary solutions The result presents a single approach applicable in the subcritical, critical as well as supercritical regime in the sense of Hairer (M. Hairer, A theory of regularity structures). It also applies in the particular setting $α=γ/2$ which formally possesses a Gaussian invariant measure. In our proof, we first introduce a modified Da Prato--Debussche trick which, on the one hand, permits to convert irregularity in time into irregularity in space and, on the other hand, increases the regularity of the linear solution. Second, we develop a convex integration iteration for the corresponding nonlinear equation which yields non-unique non-Gaussian solutions satisfying powerful global-in-time estimates and generating stationary as well as ergodic stationary solutions. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Comments: 32 pages

Large $N$ limit and $1/N$ expansion of invariant observables in $O(N)$ linear $σ$-model via SPDE

Authors: Hao Shen, Rongchan Zhu, Xiangchan Zhu

Abstract: In this paper, we continue the study of large $N$ problems for the Wick renormalized linear sigma model, i.e. $N$-component $Φ^4$ model, in two spatial dimensions, using stochastic quantization methods and Dyson--Schwinger equations. We identify the large $N$ limiting law of a collection of Wick renormalized $O(N)$ invariant observables. In particular, under a suitable scaling, the quadratic obser… ▽ More In this paper, we continue the study of large $N$ problems for the Wick renormalized linear sigma model, i.e. $N$-component $Φ^4$ model, in two spatial dimensions, using stochastic quantization methods and Dyson--Schwinger equations. We identify the large $N$ limiting law of a collection of Wick renormalized $O(N)$ invariant observables. In particular, under a suitable scaling, the quadratic observables converge in the large $N$ limit to a mean-zero (singular) Gaussian field denoted by $\mathcal{Q}$ with an explicit covariance; and the observables which are renormalized powers of order $2n$ converge in the large $N$ limit to suitably renormalized $n$-th powers of $\mathcal{Q}$. The quartic interaction term of the model has no effect on the large $N$ limit of the field, but has nontrivial contributions to the limiting law of the observables, and the renormalization of the $n$-th powers of $\mathcal{Q}$ in the limit has an interesting finite shift from the standard one. Furthermore, we derive the $1/N$ asymtotic expansion for the $k$-point functions of the quadratic observables by employing graph representations and analyzing the order of each graph from Dyson--Schwinger equations. Finally, turning to the stationary solutions to the stochastic quantization equations, with the Ornstein--Uhlenbeck process being the large $N$ limiting dynamic, we derive here its next order correction in stationarity, as described by an SPDE with the right-hand side having explicit fixed-time marginal law which involves the above field $\mathcal{Q}$. △ Less

Submitted 28 June, 2023; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: 54 pages

Anomalous and total dissipation due to advection by solutions of randomly forced Navier-Stokes equations

Authors: Martina Hofmanová, Umberto Pappalettera, Rongchan Zhu, Xiangchan Zhu

Abstract: We propose a novel approach to induce anomalous dissipation through advection driven by turbulent fluid flows. Specifically, we establish the existence of a velocity field $v$ satisfying randomly forced Navier-Stokes equations, leading to total dissipation of kinetic energy in finite time when advecting a passive scalar. This dissipation phenomenon is uniform across viscosity parameters and initia… ▽ More We propose a novel approach to induce anomalous dissipation through advection driven by turbulent fluid flows. Specifically, we establish the existence of a velocity field $v$ satisfying randomly forced Navier-Stokes equations, leading to total dissipation of kinetic energy in finite time when advecting a passive scalar. This dissipation phenomenon is uniform across viscosity parameters and initial conditions, representing a case of anomalous dissipation. We further explore dissipation induced by individual realizations of $v$. Our results extend to scenarios where the passive scalar is replaced by solutions to two or three-dimensional deterministic Navier-Stokes equations advected by $v$. △ Less

Submitted 13 February, 2024; v1 submitted 14 May, 2023; originally announced May 2023.

Comments: 27 pages

Kolmogorov $4/5$ law for the forced 3D Navier-Stokes equations

Authors: Martina Hofmanová, Umberto Pappalettera, Rongchan Zhu, Xiangchan Zhu

Abstract: We identify a sufficient condition under which solutions to the 3D forced Navier--Stokes equations satisfy an $L^p$-in-time version of the Kolmogorov 4/5 law for the behavior of the averaged third order longitudinal structure function along the vanishing viscosity limit. The result has a natural probabilistic interpretation: the predicted behavior is observed on average after waiting for some suff… ▽ More We identify a sufficient condition under which solutions to the 3D forced Navier--Stokes equations satisfy an $L^p$-in-time version of the Kolmogorov 4/5 law for the behavior of the averaged third order longitudinal structure function along the vanishing viscosity limit. The result has a natural probabilistic interpretation: the predicted behavior is observed on average after waiting for some sufficiently generic random time. The sufficient condition is satisfied e.g. by the solutions constructed by Bruè, Colombo, Crippa, De~Lellis, and Sorella. In this particular case, our results can be applied to derive a bound for the exponent of the third order absolute structure function in accordance with the Kolmogorov turbulence theory. △ Less

Submitted 7 June, 2024; v1 submitted 27 April, 2023; originally announced April 2023.

G-dimensions for DG-modules over commutative DG-rings

Authors: Jiangsheng Hu, Xiaoyan Yang, Rongmin Zhu

Abstract: We define and study a notion of G-dimension for DG-modules over a non-positively graded commutative noetherian DG-ring $A$. Some criteria for the finiteness of the G-dimension of a DG-module are given by applying a DG-version of projective resolution introduced by Minamoto [Israel J. Math. 245 (2021) 409-454]. Moreover, it is proved that the finiteness of G-dimension characterizes the local Gorens… ▽ More We define and study a notion of G-dimension for DG-modules over a non-positively graded commutative noetherian DG-ring $A$. Some criteria for the finiteness of the G-dimension of a DG-module are given by applying a DG-version of projective resolution introduced by Minamoto [Israel J. Math. 245 (2021) 409-454]. Moreover, it is proved that the finiteness of G-dimension characterizes the local Gorenstein property of $A$. Applications go in three directions. The first is to establish the connection between G-dimensions and the little finitistic dimensions of &\mathcal{A}&. The second is to characterize Cohen-Macaulay and Gorenstein DG-rings by the relations between the class of maximal local-Cohen-Macaulay DG-modules and a special G-class of DG-modules. The third is to extend the classical Buchwtweiz-Happel Theorem and its inverse from commutative noetherian local rings to the setting of commutative noetherian local DG-rings. △ Less

Submitted 19 October, 2023; v1 submitted 2 April, 2023; originally announced April 2023.

Comments: 18 pages. Any comments or suggestions are welcome!

Monte Carlo Neural PDE Solver for Learning PDEs via Probabilistic Representation

Authors: Rui Zhang, Qi Meng, Rongchan Zhu, Yue Wang, Wenlei Shi, Shihua Zhang, Zhi-Ming Ma, Tie-Yan Liu

Abstract: In scenarios with limited available data, training the function-to-function neural PDE solver in an unsupervised manner is essential. However, the efficiency and accuracy of existing methods are constrained by the properties of numerical algorithms, such as finite difference and pseudo-spectral methods, integrated during the training stage. These methods necessitate careful spatiotemporal discreti… ▽ More In scenarios with limited available data, training the function-to-function neural PDE solver in an unsupervised manner is essential. However, the efficiency and accuracy of existing methods are constrained by the properties of numerical algorithms, such as finite difference and pseudo-spectral methods, integrated during the training stage. These methods necessitate careful spatiotemporal discretization to achieve reasonable accuracy, leading to significant computational challenges and inaccurate simulations, particularly in cases with substantial spatiotemporal variations. To address these limitations, we propose the Monte Carlo Neural PDE Solver (MCNP Solver) for training unsupervised neural solvers via the PDEs' probabilistic representation, which regards macroscopic phenomena as ensembles of random particles. Compared to other unsupervised methods, MCNP Solver naturally inherits the advantages of the Monte Carlo method, which is robust against spatiotemporal variations and can tolerate coarse step size. In simulating the trajectories of particles, we employ Heun's method for the convection process and calculate the expectation via the probability density function of neighbouring grid points during the diffusion process. These techniques enhance accuracy and circumvent the computational issues associated with Monte Carlo sampling. Our numerical experiments on convection-diffusion, Allen-Cahn, and Navier-Stokes equations demonstrate significant improvements in accuracy and efficiency compared to other unsupervised baselines. The source code will be publicly available at: https://github.com/optray/MCNP. △ Less

Submitted 20 May, 2024; v1 submitted 10 February, 2023; originally announced February 2023.

Mean-field limit of Non-exchangeable interacting diffusions with singular kernels

Authors: Zhenfu Wang, Xianliang Zhao, Rongchan Zhu

Abstract: The mean-field limit of interacting diffusions without exchangeability, caused by weighted interactions and non-i.i.d. initial values, are investigated. The weights could be signed and unbounded. The result applies to a large class of singular kernels including the Biot-Savart law. We demonstrate a flexible type of mean-field convergence, in contrast to the typical convergence of… ▽ More The mean-field limit of interacting diffusions without exchangeability, caused by weighted interactions and non-i.i.d. initial values, are investigated. The weights could be signed and unbounded. The result applies to a large class of singular kernels including the Biot-Savart law. We demonstrate a flexible type of mean-field convergence, in contrast to the typical convergence of $\frac{1}{N}\sum_{i=1}^Nδ_{X_i}$. More specifically, the sequence of signed empirical measure processes with arbitrary uniform $l^r$-weights, $r>1$, weakly converges to a coupled PDE's, such as the dynamics describing the passive scalar advected by the 2D Navier-Stokes equation. Our method is based on a tightness/compactness argument and makes use of the systems' uniform Fisher information. The main difficulty is to determine how to propagate the regularity properties of the limits of empirical measures in the absence of the DeFinetti-Hewitt-Savage theorem for the non-exchangeable case. To this end, a sequence of random measures, which merges weakly with a sequence of weighted empirical measures and has uniform Sobolev regularity, is constructed through the disintegration of the joint laws of particles. △ Less

Submitted 23 November, 2022; v1 submitted 28 September, 2022; originally announced September 2022.

Comments: 34 pages

Non-unique ergodicity for deterministic and stochastic 3D Navier--Stokes and Euler equations

Authors: Martina Hofmanová, Rongchan Zhu, Xiangchan Zhu

Abstract: We establish existence of infinitely many stationary solutions as well as ergodic stationary solutions to the three dimensional Navier--Stokes and Euler equations in the deterministic as well as stochastic setting, driven by an additive noise. The solutions belong to the regularity class $C(\mathbb{R};H^{\vartheta})\cap C^{\vartheta}(\mathbb{R};L^{2})$ for some $\vartheta>0$ and satisfy the equati… ▽ More We establish existence of infinitely many stationary solutions as well as ergodic stationary solutions to the three dimensional Navier--Stokes and Euler equations in the deterministic as well as stochastic setting, driven by an additive noise. The solutions belong to the regularity class $C(\mathbb{R};H^{\vartheta})\cap C^{\vartheta}(\mathbb{R};L^{2})$ for some $\vartheta>0$ and satisfy the equations in an analytically weak sense. Moreover, we are able to make conclusions regarding the vanishing viscosity limit and the anomalous dissipation. The result is based on a new stochastic version of the convex integration method which provides uniform moment bounds locally in the aforementioned function spaces. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 45 pages

Deep Random Vortex Method for Simulation and Inference of Navier-Stokes Equations

Authors: Rui Zhang, Peiyan Hu, Qi Meng, Yue Wang, Rongchan Zhu, Bingguang Chen, Zhi-Ming Ma, Tie-Yan Liu

Abstract: Navier-Stokes equations are significant partial differential equations that describe the motion of fluids such as liquids and air. Due to the importance of Navier-Stokes equations, the development on efficient numerical schemes is important for both science and engineer. Recently, with the development of AI techniques, several approaches have been designed to integrate deep neural networks in simu… ▽ More Navier-Stokes equations are significant partial differential equations that describe the motion of fluids such as liquids and air. Due to the importance of Navier-Stokes equations, the development on efficient numerical schemes is important for both science and engineer. Recently, with the development of AI techniques, several approaches have been designed to integrate deep neural networks in simulating and inferring the fluid dynamics governed by incompressible Navier-Stokes equations, which can accelerate the simulation or inferring process in a mesh-free and differentiable way. In this paper, we point out that the capability of existing deep Navier-Stokes informed methods is limited to handle non-smooth or fractional equations, which are two critical situations in reality. To this end, we propose the \emph{Deep Random Vortex Method} (DRVM), which combines the neural network with a random vortex dynamics system equivalent to the Navier-Stokes equation. Specifically, the random vortex dynamics motivates a Monte Carlo based loss function for training the neural network, which avoids the calculation of derivatives through auto-differentiation. Therefore, DRVM not only can efficiently solve Navier-Stokes equations involving rough path, non-differentiable initial conditions and fractional operators, but also inherits the mesh-free and differentiable benefits of the deep-learning-based solver. We conduct experiments on the Cauchy problem, parametric solver learning, and the inverse problem of both 2-d and 3-d incompressible Navier-Stokes equations. The proposed method achieves accurate results for simulation and inference of Navier-Stokes equations. Especially for the cases that include singular initial conditions, DRVM significantly outperforms existing PINN method. △ Less

Submitted 20 July, 2022; v1 submitted 20 June, 2022; originally announced June 2022.

A class of supercritical/critical singular stochastic PDEs: existence, non-uniqueness, non-Gaussianity, non-unique ergodicity

Authors: Martina Hofmanova, Rongchan Zhu, Xiangchan Zhu

Abstract: We study the surface quasi-geostrophic equation with an irregular spatial perturbation $$ \partial_{t }θ+ u\cdot\nablaθ= -ν(-Δ)^{γ/2}θ+ ζ,\qquad u=\nabla^{\perp}(-Δ)^{-1}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, with $ν\geq 0$, $γ\in [0,3/2)$ and $ζ\in B^{-2+κ}_{\infty,\infty}(\mathbb{T}^{2})$ for some $κ>0$. This covers the case of $ζ= (-Δ)^{α/2}ξ$ for $α<1$ and $ξ$ a spatial white noise on… ▽ More We study the surface quasi-geostrophic equation with an irregular spatial perturbation $$ \partial_{t }θ+ u\cdot\nablaθ= -ν(-Δ)^{γ/2}θ+ ζ,\qquad u=\nabla^{\perp}(-Δ)^{-1}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, with $ν\geq 0$, $γ\in [0,3/2)$ and $ζ\in B^{-2+κ}_{\infty,\infty}(\mathbb{T}^{2})$ for some $κ>0$. This covers the case of $ζ= (-Δ)^{α/2}ξ$ for $α<1$ and $ξ$ a spatial white noise on $\mathbb{T}^{2}$. Depending on the relation between $γ$ and $α$, our setting is subcritical, critical or supercritical in the language of Hairer's regularity structures \cite{Hai14}. Based on purely analytical tools from convex integration and without the need of any probabilistic arguments including renormalization, we prove existence of infinitely many analytically weak solutions in $L^{p}_{\rm{loc}}(0,\infty;B_{\infty,1}^{-1/2})\cap C_{b}([0,\infty);B^{-1/2-δ}_{\infty,1})\cap C^{1}_{b}([0,\infty);B^{-3/2-δ}_{\infty,1})$ for all $p\in [1,\infty)$ and $δ>0$. We are able to prescribe an initial as well as a terminal condition at a finite time $T>0$, and to construct steady state, i.e. time independent, solutions. In all cases, the solutions are non-Gaussian, but we may as well prescribe Gaussianity at some given times. Moreover, a coming down from infinity with respect to the perturbation and the initial condition holds. Finally, we show that the our solutions generate statistically stationary solutions as limits of ergodic averages, and we obtain existence of infinitely many non-Gaussian time dependent ergodic stationary solutions. We also extend our results to a more general class of singular SPDEs. △ Less

Submitted 21 February, 2023; v1 submitted 26 May, 2022; originally announced May 2022.

Auslander theorem for PI Artin-Schelter regular algebras

Authors: Ruipeng Zhu

Abstract: We prove a version of a theorem of Auslander for finite group actions or coactions on noetherian polynomial identity Artin-Schelter regular algebra. We prove a version of a theorem of Auslander for finite group actions or coactions on noetherian polynomial identity Artin-Schelter regular algebra. △ Less

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

Comments: 13 pages, comments welcome

MSC Class: 16W22; 16T05; 16E65

A stochastic analysis approach to lattice Yang--Mills at strong coupling

Authors: Hao Shen, Rongchan Zhu, Xiangchan Zhu

Abstract: We develop a new stochastic analysis approach to the lattice Yang--Mills model at strong coupling in any dimension $d>1$, with t' Hooft scaling $βN$ for the inverse coupling strength. We study their Langevin dynamics, ergodicity, functional inequalities, large $N$ limits, and mass gap. Assuming $|β| < \frac{N-2}{32(d-1)N}$ for the structure group $SO(N)$, or $|β| < \frac{1}{16(d-1)}$ for… ▽ More We develop a new stochastic analysis approach to the lattice Yang--Mills model at strong coupling in any dimension $d>1$, with t' Hooft scaling $βN$ for the inverse coupling strength. We study their Langevin dynamics, ergodicity, functional inequalities, large $N$ limits, and mass gap. Assuming $|β| < \frac{N-2}{32(d-1)N}$ for the structure group $SO(N)$, or $|β| < \frac{1}{16(d-1)}$ for $SU(N)$, we prove the following results. The invariant measure for the corresponding Langevin dynamic is unique on the entire lattice, and the dynamic is exponentially ergodic under a Wasserstein distance. The finite volume Yang--Mills measures converge to this unique invariant measure in the infinite volume limit, for which Log-Sobolev and Poincaré inequalities hold. These functional inequalities imply that the suitably rescaled Wilson loops for the infinite volume measure has factorized correlations and converges in probability to deterministic limits in the large $N$ limit, and correlations of a large class of observables decay exponentially, namely the infinite volume measure has a strictly positive mass gap. Our method improves earlier results or simplifies the proofs, and provides some new perspectives to the study of lattice Yang--Mills model. △ Less

Submitted 27 April, 2022; originally announced April 2022.

Comments: 43 pages

Robust Dual-Graph Regularized Moving Object Detection

Authors: **g Qin, Ruilong Shen, Ruihan Zhu, Biyun Xie

Abstract: Moving object detection and its associated background-foreground separation have been widely used in a lot of applications, including computer vision, transportation and surveillance. Due to the presence of the static background, a video can be naturally decomposed into a low-rank background and a sparse foreground. Many regularization techniques, such as matrix nuclear norm, have been imposed on… ▽ More Moving object detection and its associated background-foreground separation have been widely used in a lot of applications, including computer vision, transportation and surveillance. Due to the presence of the static background, a video can be naturally decomposed into a low-rank background and a sparse foreground. Many regularization techniques, such as matrix nuclear norm, have been imposed on the background. In the meanwhile, sparsity or smoothness based regularizations, such as total variation and $\ell_1$, can be imposed on the foreground. Moreover, graph Laplacians are further imposed to capture the complicated geometry of background images. Recently, weighted regularization techniques including the weighted nuclear norm regularization have been proposed in the image processing community to promote adaptive sparsity while achieving efficient performance. In this paper, we propose a robust dual-graph regularized moving object detection model based on the weighted nuclear norm regularization, which is solved by the alternating direction method of multipliers (ADMM). Numerical experiments on body movement data sets have demonstrated the effectiveness of this method in separating moving objects from background, and the great potential in robotic applications. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Neural Operator with Regularity Structure for Modeling Dynamics Driven by SPDEs

Authors: Peiyan Hu, Qi Meng, Bingguang Chen, Shiqi Gong, Yue Wang, Wei Chen, Rongchan Zhu, Zhi-Ming Ma, Tie-Yan Liu

Abstract: Stochastic partial differential equations (SPDEs) are significant tools for modeling dynamics in many areas including atmospheric sciences and physics. Neural Operators, generations of neural networks with capability of learning maps between infinite-dimensional spaces, are strong tools for solving parametric PDEs. However, they lack the ability to modeling SPDEs which usually have poor regularity… ▽ More Stochastic partial differential equations (SPDEs) are significant tools for modeling dynamics in many areas including atmospheric sciences and physics. Neural Operators, generations of neural networks with capability of learning maps between infinite-dimensional spaces, are strong tools for solving parametric PDEs. However, they lack the ability to modeling SPDEs which usually have poor regularity due to the driving noise. As the theory of regularity structure has achieved great successes in analyzing SPDEs and provides the concept model feature vectors that well-approximate SPDEs' solutions, we propose the Neural Operator with Regularity Structure (NORS) which incorporates the feature vectors for modeling dynamics driven by SPDEs. We conduct experiments on various of SPDEs including the dynamic Phi41 model and the 2d stochastic Navier-Stokes equation, and the results demonstrate that the NORS is resolution-invariant, efficient, and achieves one order of magnitude lower error with a modest amount of data. △ Less

Submitted 17 July, 2022; v1 submitted 13 April, 2022; originally announced April 2022.

Yoneda Ext-algebras of Takeuchi smash products

Authors: Quanshui Wu, Ruipeng Zhu

Abstract: We prove that the Yoneda Ext-algebra of a Takeuchi smash product is the graded Takeuchi smash product of the Yoneda Ext-algebras of the two algebras or modules involved. As an application, we prove that graded Takeuchi smash products preserve Artin-Schelter regularity, and describe the Nakayama automorphism of the product. We prove that the Yoneda Ext-algebra of a Takeuchi smash product is the graded Takeuchi smash product of the Yoneda Ext-algebras of the two algebras or modules involved. As an application, we prove that graded Takeuchi smash products preserve Artin-Schelter regularity, and describe the Nakayama automorphism of the product. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 16 pages, comments welcome

MSC Class: 16E30; 16E45; 16S40; 16E65

Gorenstein and duality pair over triangular matrix rings

Authors: Haiyu Liu, Rongmin Zhu

Abstract: Let $A$, $B$ be two rings and $T=\left(\begin{smallmatrix} A & M \\ 0 & B \\\end{smallmatrix}\right)$ with $M$ an $A$-$B$-bimodule. We first construct a semi-complete duality pair $\mathcal{D}_{T}$ of $T$-modules using duality pairs in $A$-Mod and $B$-Mod respectively. Then we characterize when a left $T$-module is Gorenstein $D_{T}$-projective, Gorenstein $D_{T}$-injective or Gorenstein $D_{T}$-f… ▽ More Let $A$, $B$ be two rings and $T=\left(\begin{smallmatrix} A & M \\ 0 & B \\\end{smallmatrix}\right)$ with $M$ an $A$-$B$-bimodule. We first construct a semi-complete duality pair $\mathcal{D}_{T}$ of $T$-modules using duality pairs in $A$-Mod and $B$-Mod respectively. Then we characterize when a left $T$-module is Gorenstein $D_{T}$-projective, Gorenstein $D_{T}$-injective or Gorenstein $D_{T}$-flat. These three class of $T$-modules will induce model structures on $T$-Mod. Finally we show that the homotopy category of each of model structures above admits a recollement relative to corresponding stable categories. Our results give new characterizations to earlier results in this direction. △ Less

Submitted 26 February, 2022; originally announced February 2022.

A new derivation of the finite $N$ master loop equation for lattice Yang-Mills

Authors: Hao Shen, Scott A. Smith, Rongchan Zhu

Abstract: We give a new derivation of the finite $N$ master loop equation for lattice Yang-Mills theory with structure group $SO(N)$, $U(N)$ or $SU(N)$. The $SO(N)$ case was initially proved by Chatterjee in \cite{Cha}, and $SU(N)$ was analyzed in a follow-up work by Jafarov \cite{Jafar}. Our approach is based on the Langevin dynamic, an SDE on the manifold of configurations, and yields a simple proof via I… ▽ More We give a new derivation of the finite $N$ master loop equation for lattice Yang-Mills theory with structure group $SO(N)$, $U(N)$ or $SU(N)$. The $SO(N)$ case was initially proved by Chatterjee in \cite{Cha}, and $SU(N)$ was analyzed in a follow-up work by Jafarov \cite{Jafar}. Our approach is based on the Langevin dynamic, an SDE on the manifold of configurations, and yields a simple proof via Itô's formula. △ Less

Submitted 5 February, 2024; v1 submitted 2 February, 2022; originally announced February 2022.

Comments: 16 pages

Global existence and non-uniqueness for 3D Navier--Stokes equations with space-time white noise

Authors: Martina Hofmanová, Rongchan Zhu, Xiangchan Zhu

Abstract: We establish global-in-time existence and non-uniqueness of probabilistically strong solutions to the three dimensional Navier--Stokes system driven by space-time white noise. In this setting, solutions are expected to have space regularity at most $-1/2-κ$ for any $κ>0$. Consequently, the convective term is ill-defined analytically and probabilistic renormalization is required. Up to now, only lo… ▽ More We establish global-in-time existence and non-uniqueness of probabilistically strong solutions to the three dimensional Navier--Stokes system driven by space-time white noise. In this setting, solutions are expected to have space regularity at most $-1/2-κ$ for any $κ>0$. Consequently, the convective term is ill-defined analytically and probabilistic renormalization is required. Up to now, only local well-posedness has been known. With the help of paracontrolled calculus we decompose the system in a way which makes it amenable to convex integration. By a careful analysis of the regularity of each term, we develop an iterative procedure which yields global non-unique probabilistically strong paracontrolled solutions.Our result applies to any divergence free initial condition in $L^{2}\cup B^{-1+κ}_{\infty,\infty}$, $κ>0$, and implies also non-uniqueness in law. △ Less

Submitted 28 December, 2021; originally announced December 2021.

Comments: 57 pages

The factorizations of $H^ρ(\mathbb{R}^n)$ via multilinear Calderón-Zygmund operators on weighted Lebesgue spaces

Authors: Dinghuai Wang, Rongxiang Zhu, Lisheng Shu

Abstract: We extend the recently much-studied Hardy factorization theorems to the weight case. The key point of this paper is to establish the factorization theorems without individual condition on the weight functions. As a direct application, we obtain the characterizations of $BMO(\mathbb{R}^n)$ space and Lipschitz spaces via the weighted boundedness of commutators of multilinear Calderón-Zygmund operato… ▽ More We extend the recently much-studied Hardy factorization theorems to the weight case. The key point of this paper is to establish the factorization theorems without individual condition on the weight functions. As a direct application, we obtain the characterizations of $BMO(\mathbb{R}^n)$ space and Lipschitz spaces via the weighted boundedness of commutators of multilinear Calderón-Zygmund operators with the genuinely multilinear weights. △ Less

Submitted 12 December, 2021; originally announced December 2021.

Comments: 22 pages

Weak factorizations of the Hardy space in terms of multilinear fractional integral operator

Authors: Dinghuai Wang, Rongxiang Zhu

Abstract: We give a constructive proof of the factorization theorem for the classical Hardy space in terms of fractional integral operator. Moreover, the result is extended to the multilinear case and weighted case. As an application, we obtain the characterization of $BMO$ via the weighted boundedness of commutators of the multilinear fractional integral operator, without individual conditions on the weigh… ▽ More We give a constructive proof of the factorization theorem for the classical Hardy space in terms of fractional integral operator. Moreover, the result is extended to the multilinear case and weighted case. As an application, we obtain the characterization of $BMO$ via the weighted boundedness of commutators of the multilinear fractional integral operator, without individual conditions on the weights class. △ Less

Submitted 12 December, 2021; originally announced December 2021.

Comments: 12 pages

Recollements induced by left Frobenius pairs

Authors: Yajun Ma, Dandan Sun, Rongmin Zhu, Jiangsheng Hu

Abstract: Given a right exact functor from an abelian category into another abelian category, there is an associated abelian category called the comma category of the functor. In this paper, we characterize when left Frobenius pairs (resp. strong left Frobenius pairs) in abelian categories can induce left Frobenius pairs (resp. strong left Frobenius pairs) in their comma categories. This leads to the constr… ▽ More Given a right exact functor from an abelian category into another abelian category, there is an associated abelian category called the comma category of the functor. In this paper, we characterize when left Frobenius pairs (resp. strong left Frobenius pairs) in abelian categories can induce left Frobenius pairs (resp. strong left Frobenius pairs) in their comma categories. This leads to the construction of recollements of right triangulated categories (resp. triangulated categories) from the stable categories of left Frobenius pairs (resp. strong left Frobenius pairs). Applications are given to complete hereditary cotorsion pairs and Gorenstein projective objects. △ Less

Submitted 19 October, 2023; v1 submitted 2 September, 2021; originally announced September 2021.

Comments: Minor revisions. Final version, to appear in Bull. Malays. Math. Sci. Soc.; 24 pp

An SPDE approach to perturbation theory of $Φ^4_2$: asymptoticity and short distance behavior

Authors: Hao Shen, Rongchan Zhu, Xiangchan Zhu

Abstract: In this paper we study the perturbation theory of $Φ^4_2$ model on the whole plane via stochastic quantization. We use integration by parts formula (i.e. Dyson-Schwinger equations) to generate the perturbative expansion for the $k$-point correlation functions, and prove bounds on the remainder of the truncated expansion using PDE estimates; this in particular proves that the expansion is asymptoti… ▽ More In this paper we study the perturbation theory of $Φ^4_2$ model on the whole plane via stochastic quantization. We use integration by parts formula (i.e. Dyson-Schwinger equations) to generate the perturbative expansion for the $k$-point correlation functions, and prove bounds on the remainder of the truncated expansion using PDE estimates; this in particular proves that the expansion is asymptotic. Furthermore, we derive short distance behaviors of the $2$-point function and the connected $4$-point function, also via suitable Dyson-Schwinger equations combined with PDE arguments. △ Less

Submitted 4 May, 2023; v1 submitted 25 August, 2021; originally announced August 2021.

Comments: 37 pages. Small fixes in Appendix A

Singular kinetic equations and applications

Authors: Zimo Hao, Xicheng Zhang, Rongchan Zhu, Xiangchan Zhu

Abstract: In this paper we study singular kinetic equations on $\mathbb{R}^{2d}$ by the paracontrolled distribution method introduced in \cite{GIP15}. We first develop paracontrolled calculus in the kinetic setting, and use it to establish the global well-posedness for the linear singular kinetic equations under the assumptions that the products of singular terms are well-defined. We also demonstrate how th… ▽ More In this paper we study singular kinetic equations on $\mathbb{R}^{2d}$ by the paracontrolled distribution method introduced in \cite{GIP15}. We first develop paracontrolled calculus in the kinetic setting, and use it to establish the global well-posedness for the linear singular kinetic equations under the assumptions that the products of singular terms are well-defined. We also demonstrate how the required products can be defined in the case that singular term is a Gaussian random field by probabilistic calculation. Interestingly, although the terms in the zeroth Wiener chaos of regularization approximation are not zero, they converge in suitable weighted Besov spaces and no renormalization is required. As applications the global well-posedness for a nonlinear kinetic equation with singular coefficients is obtained by the entropy method. Moreover, we also solve the martingale problem for nonlinear kinetic distribution dependent stochastic differential equations with singular drifts. △ Less

Submitted 11 August, 2021; originally announced August 2021.

Comments: 67 pages

A note on the discriminant of reflection Hopf algebras

Authors: Ruipeng Zhu

Abstract: We provide a formula for commputing the discriminant of skew Calabi-Yau algebra over a central Calabi-Yau algebra. This method is applied to study the Jacobian and discriminant for reflection Hopf algebras. We provide a formula for commputing the discriminant of skew Calabi-Yau algebra over a central Calabi-Yau algebra. This method is applied to study the Jacobian and discriminant for reflection Hopf algebras. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 20 pages, comments welcome

MSC Class: 11R29; 12W22; 16G30

Derived equivalences for a class of PI algebras

Authors: Quanshui Wu, Ruipeng Zhu

Abstract: A description of tilting complexes is given for a class of PI algebras whose prime spectrum is canonically homeomorphic to the prime spectrum of its center. Some Sklyanin algebras are the kind of algebras considered. As an application, it is proved that any algebra derived equivalent to such kind of algebra, is Morita equivalent to it. A description of tilting complexes is given for a class of PI algebras whose prime spectrum is canonically homeomorphic to the prime spectrum of its center. Some Sklyanin algebras are the kind of algebras considered. As an application, it is proved that any algebra derived equivalent to such kind of algebra, is Morita equivalent to it. △ Less

Submitted 23 November, 2021; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 8 pages

MSC Class: 16D90; 16E35; 18E30

Some invariant subalgebras are graded isolated singularities

Authors: Ruipeng Zhu

Abstract: In this note, we prove that the invariant subalgebra of the (-1)-skew polynomial algebra under a permutation action is a graded isolated singularity, and thus a conjecture of Chan-Young-Zhang is true. In this note, we prove that the invariant subalgebra of the (-1)-skew polynomial algebra under a permutation action is a graded isolated singularity, and thus a conjecture of Chan-Young-Zhang is true. △ Less

Submitted 27 February, 2022; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 5 pages, comments welcome

MSC Class: 16S35; 16S38; 16W22

Gaussian fluctuations for interacting particle systems with singular kernels

Authors: Zhenfu Wang, Xianliang Zhao, Rongchan Zhu

Abstract: We consider the asymptotic behavior of the fluctuations for the empirical measures of interacting particle systems with singular kernels. We prove that the sequence of fluctuation processes converges in distribution to a generalized Ornstein-Uhlenbeck process. Our result considerably extends classical results to singular kernels, including the Biot-Savart law. The result applies to the point vorte… ▽ More We consider the asymptotic behavior of the fluctuations for the empirical measures of interacting particle systems with singular kernels. We prove that the sequence of fluctuation processes converges in distribution to a generalized Ornstein-Uhlenbeck process. Our result considerably extends classical results to singular kernels, including the Biot-Savart law. The result applies to the point vortex model approximating the 2D incompressible Navier-Stokes equation and the 2D Euler equation. We also obtain Gaussianity and optimal regularity of the limiting Ornstein-Uhlenbeck process. The method relies on the martingale approach and the Donsker-Varadhan variational formula, which transfers the uniform estimate to some exponential integrals. Estimation of those exponential integrals follows by cancellations and combinatorics techniques and is of the type of large deviation principle. △ Less

Submitted 13 December, 2021; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: 46 pages. Submit version with more references and acknowledgments

MSC Class: 60 Probability theory and stochastic processes

Networked Aggregative Games with Linear Convergence

Authors: Rong** Zhu, Jiaqi Zhang, Keyou You

Abstract: This paper considers a networked aggregative game (NAG) where the players are distributed over a communication network. By only communicating with a subset of players, the goal of each player in the NAG is to minimize an individual cost function that depends on its own action and the aggregate of all the players' actions. To this end, we design a novel distributed algorithm that jointly exploits t… ▽ More This paper considers a networked aggregative game (NAG) where the players are distributed over a communication network. By only communicating with a subset of players, the goal of each player in the NAG is to minimize an individual cost function that depends on its own action and the aggregate of all the players' actions. To this end, we design a novel distributed algorithm that jointly exploits the ideas of the consensus algorithm and the conditional projection descent. Under strongly monotone assumption on the pseudo-gradient map**, the proposed algorithm with fixed step-sizes is proved to converge linearly to the unique Nash equilibrium of the NAG. Then the theoretical results are validated by numerical experiments. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: 6 pages, 2 figures, submitted to the IEEE CDC 2021

Global-in-time probabilistically strong and Markov solutions to stochastic 3D Navier--Stokes equations: existence and non-uniqueness

Authors: Martina Hofmanová, Rongchan Zhu, Xiangchan Zhu

Abstract: We are concerned with the three dimensional incompressible Navier--Stokes equations driven by an additive stochastic forcing of trace class. First, for every divergence free initial condition in $L^{2}$ we establish existence of infinitely many global-in-time probabilistically strong and analytically weak solutions, solving one of the open problems in the field. This result in particular implies n… ▽ More We are concerned with the three dimensional incompressible Navier--Stokes equations driven by an additive stochastic forcing of trace class. First, for every divergence free initial condition in $L^{2}$ we establish existence of infinitely many global-in-time probabilistically strong and analytically weak solutions, solving one of the open problems in the field. This result in particular implies non-uniqueness in law. Second, we prove non-uniqueness of the associated Markov processes in a suitably chosen class of analytically weak solutions satisfying a relaxed form of an energy inequality. Translated to the deterministic setting, we obtain non-uniqueness of the associated semiflows. △ Less

Submitted 19 February, 2022; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 52 pages

Large $N$ limit of the $O(N)$ linear sigma model in 3D

Authors: Hao Shen, Rongchan Zhu, Xiangchan Zhu

Abstract: In this paper we study the large N limit of the $O(N)$-invariant linear sigma model, which is a vector-valued generalization of the $Φ^4$ quantum field theory, on the three dimensional torus. We study the problem via its stochastic quantization, which yields a coupled system of N interacting SPDEs. We prove tightness of the invariant measures in the large N limit. For large enough mass or small en… ▽ More In this paper we study the large N limit of the $O(N)$-invariant linear sigma model, which is a vector-valued generalization of the $Φ^4$ quantum field theory, on the three dimensional torus. We study the problem via its stochastic quantization, which yields a coupled system of N interacting SPDEs. We prove tightness of the invariant measures in the large N limit. For large enough mass or small enough coupling constant, they converge to the (massive) Gaussian free field at a rate of order $1/\sqrt N$ with respect to the Wasserstein distance. We also obtain tightness results for certain $O(N)$ invariant observables. These generalize some of the results in \cite{SSZZ20} from two dimensions to three dimensions. The proof leverages the method recently developed by \cite{GH18} and combines many new techniques such as uniform in $N$ estimates on perturbative objects as well as the solutions. △ Less

Submitted 14 June, 2022; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: 46 pages

Gluing compactly generated t-structures over stalks of affine schemes

Authors: Michal Hrbek, Jiangsheng Hu, Rongmin Zhu

Abstract: We show that compactly generated t-structures in the derived category of a commutative ring $R$ are in a bijection with certain families of compactly generated t-structures over the local rings $R_\mathfrak{m}$ where $\mathfrak{m}$ runs through the maximal ideals in the Zariski spectrum $\mathrm{Spec}(R)$. The families are precisely those satisfying a gluing condition for the associated sequence o… ▽ More We show that compactly generated t-structures in the derived category of a commutative ring $R$ are in a bijection with certain families of compactly generated t-structures over the local rings $R_\mathfrak{m}$ where $\mathfrak{m}$ runs through the maximal ideals in the Zariski spectrum $\mathrm{Spec}(R)$. The families are precisely those satisfying a gluing condition for the associated sequence of Thomason subsets of $\mathrm{Spec}(R)$. As one application, we show that the compact generation of a homotopically smashing t-structure can be checked locally over localizations at maximal ideals. In combination with a result due to Balmer and Favi, we conclude that the $\otimes$-Telescope Conjecture for a quasi-coherent and quasi-separated scheme is a stalk-local property. Furthermore, we generalize the results of Trlifaj and Şahinkaya and establish an explicit bijection between cosilting objects of cofinite type over $R$ and compatible families of cosilting objects of cofinite type over all localizations $R_\mathfrak{m}$ at maximal primes. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Comments: 27 pages

MSC Class: Primary: 13D09; 18G80; Secondary: 13D30; 13B30; 13C05

Asynchronous Networked Aggregative Games

Authors: Rong** Zhu, Jiaqi Zhang, Keyou You, Tamer Başar

Abstract: We propose a fully asynchronous networked aggregative game (Asy-NAG) where each player minimizes a cost function that depends on its local action and the aggregate of all players' actions. In sharp contrast to the existing NAGs, each player in our Asy-NAG can compute an estimate of the aggregate action at any wall-clock time by only using (possibly stale) information from nearby players of a direc… ▽ More We propose a fully asynchronous networked aggregative game (Asy-NAG) where each player minimizes a cost function that depends on its local action and the aggregate of all players' actions. In sharp contrast to the existing NAGs, each player in our Asy-NAG can compute an estimate of the aggregate action at any wall-clock time by only using (possibly stale) information from nearby players of a directed network. Such an asynchronous update does not require any coordination among players. Moreover, we design a novel distributed algorithm with an aggressive mechanism for each player to adaptively adjust the optimization stepsize per update. Particularly, the slow players in terms of updating their estimates smartly increase their stepsizes to catch up with the fast ones. Then, we develop an augmented system approach to address the asynchronicity and the information delays between players, and rigorously show the convergence to a Nash equilibrium of the Asy-NAG via a perturbed coordinate algorithm which is also of independent interest. Finally, we evaluate the performance of the distributed algorithm through numerical simulations. △ Less

Submitted 22 January, 2021; originally announced January 2021.

Comments: 19 pages, 11 figures

Gluing and lifting exact model structures for the recollement of exact categories

Authors: Jiangsheng Hu, Haiyan Zhu, Rongmin Zhu

Abstract: In this paper, we first provide an explicit procedure to glue together hereditary exact model structures for the recollement of exact categories. To that end, we use the notion of cotorsion pairs and we investigate the gluing of complete hereditary cotorsion pairs along the recollement of exact categories. Moreover, we study liftings of recollements of hereditary exact model structures to recollem… ▽ More In this paper, we first provide an explicit procedure to glue together hereditary exact model structures for the recollement of exact categories. To that end, we use the notion of cotorsion pairs and we investigate the gluing of complete hereditary cotorsion pairs along the recollement of exact categories. Moreover, we study liftings of recollements of hereditary exact model structures to recollements of their associated homotopy categories. This leads to a new method to produce recollements of triangulated categories. Applications are given to contraderived categories, projective stable derived categories and stable categories of Gorenstein injective modules over an upper triangular matrix ring. △ Less

Submitted 6 November, 2023; v1 submitted 10 December, 2020; originally announced December 2020.

Comments: Correct typos;29 pages; comments are welcome!

On ill- and well-posedness of dissipative martingale solutions to stochastic 3D Euler equations

Authors: Martina Hofmanová, Rongchan Zhu, Xiangchan Zhu

Abstract: We are concerned with the question of well-posedness of stochastic three dimensional incompressible Euler equations. In particular, we introduce a novel class of dissipative solutions and show that (i) existence; (ii) weak--strong uniqueness; (iii) non-uniqueness in law; (iv) existence of a strong Markov solution; (v) non-uniqueness of strong Markov solutions; all hold true within this class. More… ▽ More We are concerned with the question of well-posedness of stochastic three dimensional incompressible Euler equations. In particular, we introduce a novel class of dissipative solutions and show that (i) existence; (ii) weak--strong uniqueness; (iii) non-uniqueness in law; (iv) existence of a strong Markov solution; (v) non-uniqueness of strong Markov solutions; all hold true within this class. Moreover, as a byproduct of (iii) we obtain existence and non-uniqueness of probabilistically strong and analytically weak solutions defined up to a stop** time and satisfying an energy inequality. △ Less

Submitted 21 September, 2020; v1 submitted 20 September, 2020; originally announced September 2020.

Singular HJB equations with applications to KPZ on the real line

Authors: Xicheng Zhang, Rongchan Zhu, Xiangchan Zhu

Abstract: This paper is devoted to studying the Hamilton-Jacobi-Bellman equations with distribution-valued coefficients, which is not well-defined in the classical sense and shall be understood by using paracontrolled distribution method introduced in \cite{GIP15}. By a new characterization of weighted Hölder space and Zvonkin's transformation we prove some new a priori estimates, and therefore, establish t… ▽ More This paper is devoted to studying the Hamilton-Jacobi-Bellman equations with distribution-valued coefficients, which is not well-defined in the classical sense and shall be understood by using paracontrolled distribution method introduced in \cite{GIP15}. By a new characterization of weighted Hölder space and Zvonkin's transformation we prove some new a priori estimates, and therefore, establish the global well-posedness for singular HJB equations. As an application, the global well-posedness for KPZ equations on the real line in polynomial weighted Hölder spaces is obtained without using Cole-Hopf's transformation. In particular, we solve the conjecture posed in \cite[Remark 1.1]{PR18}. △ Less

Submitted 13 July, 2020; originally announced July 2020.

Comments: 50 pages

Large $N$ Limit of the $O(N)$ Linear Sigma Model via Stochastic Quantization

Authors: Hao Shen, Scott Smith, Rongchan Zhu, Xiangchan Zhu

Abstract: This article studies large $N$ limits of a coupled system of $N$ interacting $Φ^4$ equations posed over $\mathbb{T}^{d}$ for $d=2$, known as the $O(N)$ linear sigma model. Uniform in $N$ bounds on the dynamics are established, allowing us to show convergence to a mean-field singular SPDE, also proved to be globally well-posed. Moreover, we show tightness of the invariant measures in the large $N$… ▽ More This article studies large $N$ limits of a coupled system of $N$ interacting $Φ^4$ equations posed over $\mathbb{T}^{d}$ for $d=2$, known as the $O(N)$ linear sigma model. Uniform in $N$ bounds on the dynamics are established, allowing us to show convergence to a mean-field singular SPDE, also proved to be globally well-posed. Moreover, we show tightness of the invariant measures in the large $N$ limit. For large enough mass, they converge to the (massive) Gaussian free field, the unique invariant measure of the mean-field dynamics, at a rate of order $1/\sqrt{N}$ with respect to the Wasserstein distance. We also consider fluctuations and obtain tightness results for certain $O(N)$ invariant observables, along with an exact description of the limiting correlations. △ Less

Submitted 8 January, 2021; v1 submitted 19 May, 2020; originally announced May 2020.

Comments: 60 pages

Stochastic mSQG equations with multiplicative transport noises: white noise solutions and scaling limit

Authors: Dejun Luo, Rongchan Zhu

Abstract: We consider the modified Surface Quasi-Geostrophic (mSQG) equation on the 2D torus $\mathbb{T}^2$, perturbed by multiplicative transport noise. The equation admits the white noise measure on $\mathbb{T}^2$ as the invariant measure. We first prove the existence of white noise solutions to the stochastic equation via the method of point vortex approximation, then, under a suitable scaling limit of t… ▽ More We consider the modified Surface Quasi-Geostrophic (mSQG) equation on the 2D torus $\mathbb{T}^2$, perturbed by multiplicative transport noise. The equation admits the white noise measure on $\mathbb{T}^2$ as the invariant measure. We first prove the existence of white noise solutions to the stochastic equation via the method of point vortex approximation, then, under a suitable scaling limit of the noise, we show that the solutions converge weakly to the unique stationary solution of the dissipative mSQG equation driven by space-time white noise. The weak uniqueness of the latter equation is also proved by following Gubinelli and Perkowski's approach in \cite{GP-18}. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Comments: 49 pages

Journal ref: Stochastic Process. Appl. 140 (2021), 236-286

Secure multiparty computations in floating-point arithmetic

Authors: Chuan Guo, Awni Hannun, Brian Knott, Laurens van der Maaten, Mark Tygert, Ruiyu Zhu

Abstract: Secure multiparty computations enable the distribution of so-called shares of sensitive data to multiple parties such that the multiple parties can effectively process the data while being unable to glean much information about the data (at least not without collusion among all parties to put back together all the shares). Thus, the parties may conspire to send all their processed results to a tru… ▽ More Secure multiparty computations enable the distribution of so-called shares of sensitive data to multiple parties such that the multiple parties can effectively process the data while being unable to glean much information about the data (at least not without collusion among all parties to put back together all the shares). Thus, the parties may conspire to send all their processed results to a trusted third party (perhaps the data provider) at the conclusion of the computations, with only the trusted third party being able to view the final results. Secure multiparty computations for privacy-preserving machine-learning turn out to be possible using solely standard floating-point arithmetic, at least with a carefully controlled leakage of information less than the loss of accuracy due to roundoff, all backed by rigorous mathematical proofs of worst-case bounds on information loss and numerical stability in finite-precision arithmetic. Numerical examples illustrate the high performance attained on commodity off-the-shelf hardware for generalized linear models, including ordinary linear least-squares regression, binary and multinomial logistic regression, probit regression, and Poisson regression. △ Less

Submitted 9 January, 2020; originally announced January 2020.

Comments: 31 pages, 13 figures, 6 tables

Journal ref: Information and Inference: a Journal of the IMA, iaaa038: 1-33, 2021

Non-uniqueness in law of stochastic 3D Navier--Stokes equations

Authors: Martina Hofmanová, Rongchan Zhu, Xiangchan Zhu

Abstract: We consider the stochastic Navier--Stokes equations in three dimensions and prove that the law of analytically weak solutions is not unique. In particular, we focus on three examples of a stochastic perturbation: an additive, a linear multiplicative and a nonlinear noise of cylindrical type, all driven by a Wiener process. In these settings, we develop a stochastic counterpart of the convex integr… ▽ More We consider the stochastic Navier--Stokes equations in three dimensions and prove that the law of analytically weak solutions is not unique. In particular, we focus on three examples of a stochastic perturbation: an additive, a linear multiplicative and a nonlinear noise of cylindrical type, all driven by a Wiener process. In these settings, we develop a stochastic counterpart of the convex integration method introduced recently by Buckmaster and Vicol. This permits to construct probabilistically strong and analytically weak solutions defined up to a suitable stop** time. In addition, these solutions fail the corresponding energy inequality at a prescribed time with a prescribed probability. Then we introduce a general probabilistic construction used to extend the convex integration solutions beyond the stop** time and in particular to the whole time interval $[0,\infty)$. Finally, we show that their law is distinct from the law of solutions obtained by Galerkin approximation. In particular, non-uniqueness in law holds on an arbitrary time interval $[0,T]$, $T>0$. △ Less

Submitted 27 October, 2021; v1 submitted 26 December, 2019; originally announced December 2019.

Comments: 80 pages

A note on the asymptotic behavior of the height for a birth-and-death process

Authors: Feng Wang, Xian-Yuan Wu, Rui Zhu

Abstract: This paper focuses on the asymptotic behaviors of the {\it height} for a birth-and-death process which related to a mean-field model \cite{FFS}(or the Anick-Mitra-Sondhi model \cite{DDM}). Recently, the asymptotic mean value of the height for the model is given in \cite{LAV}. In this paper, first, the asymptotic variance of the height is given, and as a consequence, a weak Law of Large Number for… ▽ More This paper focuses on the asymptotic behaviors of the {\it height} for a birth-and-death process which related to a mean-field model \cite{FFS}(or the Anick-Mitra-Sondhi model \cite{DDM}). Recently, the asymptotic mean value of the height for the model is given in \cite{LAV}. In this paper, first, the asymptotic variance of the height is given, and as a consequence, a weak Law of Large Number for the height is obtained. Second, the centered and normalized height is proved to converge in distribution to a degenerate distribution, this indicates that the desired Central Limit Theorem fails. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: 11 pages

Recollements induced by good silting objects

Authors: Rongmin Zhu, Jiaqun Wei

Abstract: Let $U$ be a silting object in a derived category over a dg-algebra $A$, and let $B$ be the endomorphism dg-algebra of $U$. Under some appropriate hypotheses, we show that if $U$ is good, then there exist a dg-algebra $C$, a homological epimorphism $B\rightarrow C$ and a recollement among the (unbounded) derived categories $\mathbf{D}(C,d)$ of $C$, $\mathbf{D}(B,d)$ of $B$ and $\mathbf{D}(A,d)$ of… ▽ More Let $U$ be a silting object in a derived category over a dg-algebra $A$, and let $B$ be the endomorphism dg-algebra of $U$. Under some appropriate hypotheses, we show that if $U$ is good, then there exist a dg-algebra $C$, a homological epimorphism $B\rightarrow C$ and a recollement among the (unbounded) derived categories $\mathbf{D}(C,d)$ of $C$, $\mathbf{D}(B,d)$ of $B$ and $\mathbf{D}(A,d)$ of $A$. In particular, the kernel of the left derived functor $-\otimes^{\mathbb{L}}_{B}U$ is triangle equivalent to the derived category $\mathbf{D}(C,d)$. Conversely, if $-\otimes^{\mathbb{L}}_{B}U$ admits a fully faithful left adjoint functor, then $U$ is good. Moreover, we establish a criterion for the existence of a recollement of the derived category of a dg-algebra relative to two derived categories of weak non-positive dg-algebras. Finally, some applications are given related to good cosilting objects, good 2-term silting complexes, good tilting complexes and modules, which recovers a recent result by Chen and Xi. △ Less

Submitted 5 December, 2019; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: arXiv admin note: text overlap with arXiv:1707.07353, arXiv:arXiv:1012.2176, arXiv:1705.10981 by other authors