-
Deep Learning Method for Computing Committor Functions with Adaptive Sampling
Authors:
Bo Lin,
Weiqing Ren
Abstract:
The committor function is a central object for quantifying the transitions between metastable states of dynamical systems. Recently, a number of computational methods based on deep neural networks have been developed for computing the high-dimensional committor function. The success of the methods relies on sampling adequate data for the transition, which still is a challenging task for complex sy…
▽ More
The committor function is a central object for quantifying the transitions between metastable states of dynamical systems. Recently, a number of computational methods based on deep neural networks have been developed for computing the high-dimensional committor function. The success of the methods relies on sampling adequate data for the transition, which still is a challenging task for complex systems at low temperatures. In this work, we propose a deep learning method with two novel adaptive sampling schemes (I and II). In the two schemes, the data are generated actively with a modified potential where the bias potential is constructed from the learned committor function. We theoretically demonstrate the advantages of the sampling schemes and show that the data in sampling scheme II are uniformly distributed along the transition tube. This makes a promising method for studying the transition of complex systems. The efficiency of the method is illustrated in high-dimensional systems including the alanine dipeptide and a solvated dimer system.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Computing Transition Pathways for the Study of Rare Events Using Deep Reinforcement Learning
Authors:
Bo Lin,
Yangzheng Zhong,
Weiqing Ren
Abstract:
Understanding the transition events between metastable states in complex systems is an important subject in the fields of computational physics, chemistry and biology. The transition pathway plays an important role in characterizing the mechanism underlying the transition, for example, in the study of conformational changes of bio-molecules. In fact, computing the transition pathway is a challengi…
▽ More
Understanding the transition events between metastable states in complex systems is an important subject in the fields of computational physics, chemistry and biology. The transition pathway plays an important role in characterizing the mechanism underlying the transition, for example, in the study of conformational changes of bio-molecules. In fact, computing the transition pathway is a challenging task for complex and high-dimensional systems. In this work, we formulate the path-finding task as a cost minimization problem over a particular path space. The cost function is adapted from the Freidlin-Wentzell action functional so that it is able to deal with rough potential landscapes. The path-finding problem is then solved using a actor-critic method based on the deep deterministic policy gradient algorithm (DDPG). The method incorporates the potential force of the system in the policy for generating episodes and combines physical properties of the system with the learning process for molecular systems. The exploitation and exploration nature of reinforcement learning enables the method to efficiently sample the transition events and compute the globally optimal transition pathway. We illustrate the effectiveness of the proposed method using three benchmark systems including an extended Mueller system and the Lennard-Jones system of seven particles.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Multiple Control Functionals for Interconnected Time-Delay Systems
Authors:
Zhuo-Rui Pan,
Wei Ren,
Xi-Ming Sun
Abstract:
Safety is essential for autonomous systems, in particular for interconnected systems in which the interactions among subsystems are involved. Motivated by the recent interest in cyber-physical and interconnected autonomous systems, we address the safe stabilization problem of interconnected systems with time delays. We propose multiple control Lyapunov and barrier functionals for the stabilization…
▽ More
Safety is essential for autonomous systems, in particular for interconnected systems in which the interactions among subsystems are involved. Motivated by the recent interest in cyber-physical and interconnected autonomous systems, we address the safe stabilization problem of interconnected systems with time delays. We propose multiple control Lyapunov and barrier functionals for the stabilization and safety control problems, respectively. In order to investigate the safe stabilization control problem, the proposed multiple control functionals are combined together via two methods: the optimization-based method and the sliding mode based method. The resulting controllers can be of either explicit or implicit forms, both of which ensure the safe stabilization objective of the whole system. The derived results are illustrated via a reach-avoid problem of multi-robot systems.
△ Less
Submitted 30 November, 2023;
originally announced December 2023.
-
Augmented Flexible Krylov Subspace methods with applications to Bayesian inverse problems
Authors:
Malena Sabate Landman,
Jiahua Jiang,
Jianru Zhang,
Wuwei Ren
Abstract:
This paper presents two new augmented flexible (AF)-Krylov subspace methods, AF-GMRES and AF-LSQR, to compute solutions of large-scale linear discrete ill-posed problems that can be modeled as the sum of two independent random variables, exhibiting smooth and sparse stochastic characteristics respectively. Following a Bayesian modelling approach, this corresponds to adding a covariance-weighted qu…
▽ More
This paper presents two new augmented flexible (AF)-Krylov subspace methods, AF-GMRES and AF-LSQR, to compute solutions of large-scale linear discrete ill-posed problems that can be modeled as the sum of two independent random variables, exhibiting smooth and sparse stochastic characteristics respectively. Following a Bayesian modelling approach, this corresponds to adding a covariance-weighted quadratic term and a sparsity enforcing $\ell_1$ term in the original least-squares minimization scheme. To handle the $\ell_1$ regularization term, the proposed approach constructs a sequence approximating quadratic problems that are partially solved using augmented flexible Krylov-Tikhonov methods.
Compared to other traditional methods used to solve this minimization problem, such as those based on iteratively reweighted norm schemes, the new algorithms build a single (augmented, flexible) approximation (Krylov) subspace that encodes information about the different regularization terms through adaptable "preconditioning". The solution space is then expanded as soon as a new problem within the sequence is defined. This also allows for the regularization parameters to be chosen on-the-fly at each iteration. Compared to most recent work on generalized flexible Krylov methods, our methods offer theoretical assurance of convergence and a more stable numerical performance. The efficiency of the new methods is shown through a variety of experiments, including a synthetic image deblurring problem, a synthetic atmospheric transport problem, and fluorescence molecular tomography reconstructions using both synthetic and real-world experimental data.
△ Less
Submitted 8 October, 2023;
originally announced October 2023.
-
Ascent and descent of Gorenstein homological properties
Authors:
Jian Liu,
Wei Ren
Abstract:
Let $\varphi\colon R\rightarrow A$ be a ring homomorphism, where $R$ is a commutative noetherian ring and $A$ is a finite $R$-algebra. We give criteria for detecting the ascent and descent of Gorenstein homological properties. As an application, we get a result that supports a question of Avramov and Foxby. We observe that the ascent and descent of Gorenstein homological property can detect the Go…
▽ More
Let $\varphi\colon R\rightarrow A$ be a ring homomorphism, where $R$ is a commutative noetherian ring and $A$ is a finite $R$-algebra. We give criteria for detecting the ascent and descent of Gorenstein homological properties. As an application, we get a result that supports a question of Avramov and Foxby. We observe that the ascent and descent of Gorenstein homological property can detect the Gorensein properties of rings along $\varphi$. Finally, we describe when $\varphi$ induces a triangle equivalence between the stable categories of finitely generated Gorenstein projective modules.
△ Less
Submitted 5 October, 2023; v1 submitted 5 September, 2023;
originally announced September 2023.
-
MSAT: Matrix stability analysis tool for shock-capturing schemes
Authors:
Weijie Ren,
Wenjia Xie,
Ye Zhang,
Hang Yu,
Zhengyu Tian
Abstract:
The simulation of supersonic or hypersonic flows often suffers from numerical shock instabilities if the flow field contains strong shocks, limiting the further application of shock-capturing schemes. In this paper, we develop the unified matrix stability analysis method for schemes with three-point stencils and present MSAT, an open-source tool to quantitatively analyze the shock instability prob…
▽ More
The simulation of supersonic or hypersonic flows often suffers from numerical shock instabilities if the flow field contains strong shocks, limiting the further application of shock-capturing schemes. In this paper, we develop the unified matrix stability analysis method for schemes with three-point stencils and present MSAT, an open-source tool to quantitatively analyze the shock instability problem. Based on the finite-volume approach on the structured grid, MSAT can be employed to investigate the mechanism of the shock instability problem, evaluate the robustness of numerical schemes, and then help to develop robust schemes. Also, MSAT has the ability to analyze the practical simulation of supersonic or hypersonic flows, evaluate whether it will suffer from shock instabilities, and then assist in selecting appropriate numerical schemes accordingly. As a result, MSAT is a helpful tool that can investigate the shock instability problem and help to cure it.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Numerical stability analysis of shock-capturing methods for strong shocks II: high-order finite-volume schemes
Authors:
Weijie Ren,
Wenjia Xie,
Ye Zhang,
Hang Yu,
Zhengyu Tian
Abstract:
The shock instability problem commonly arises in flow simulations involving strong shocks, particularly when employing high-order schemes, limiting their applications in hypersonic flow simulations. This study focuses on exploring the numerical characteristics and underlying mechanisms of shock instabilities in fifth-order finite-volume WENO schemes. To this end, for the first time, we have establ…
▽ More
The shock instability problem commonly arises in flow simulations involving strong shocks, particularly when employing high-order schemes, limiting their applications in hypersonic flow simulations. This study focuses on exploring the numerical characteristics and underlying mechanisms of shock instabilities in fifth-order finite-volume WENO schemes. To this end, for the first time, we have established the matrix stability analysis method for the fifth-order scheme. By predicting the evolution of perturbation errors in the exponential growth stage, this method provides quantitative insights into the behavior of shock-capturing and helps elucidate the mechanisms that cause shock instabilities. Results reveal that even dissipative solvers also suffer from shock instabilities when the spatial accuracy is increased to fifth-order. Further investigation indicates that this is due to the excessively high spatial accuracy of the WENO scheme near the numerical shock structure. Moreover, the shock instability problem of fifth-order schemes is demonstrated to be a multidimensional coupling problem. To stably capture strong shocks, it is crucial to have sufficient dissipation on transverse faces and ensure at least two points within the numerical shock structure in the direction perpendicular to the shock. The source location of instability is also clarified by the matrix stability analysis method, revealing that the instability arises from the numerical shock structure. Additionally, stability analysis demonstrates that local characteristic decomposition helps mitigate shock instabilities in high-order schemes, although the instability still persists. These conclusions pave the way for a better understanding of the shock instability in fifth-order schemes and provide guidance for the development of more reliable high-order shock-capturing methods for compressible flows with high Mach numbers.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
A Unified Distributed Method for Constrained Networked Optimization via Saddle-Point Dynamics
Authors:
Yi Huang,
Ziyang Meng,
Jian Sun,
Wei Ren
Abstract:
This paper develops a unified distributed method for solving two classes of constrained networked optimization problems, i.e., optimal consensus problem and resource allocation problem with non-identical set constraints. We first transform these two constrained networked optimization problems into a unified saddle-point problem framework with set constraints. Subsequently, two projection-based pri…
▽ More
This paper develops a unified distributed method for solving two classes of constrained networked optimization problems, i.e., optimal consensus problem and resource allocation problem with non-identical set constraints. We first transform these two constrained networked optimization problems into a unified saddle-point problem framework with set constraints. Subsequently, two projection-based primal-dual algorithms via Optimistic Gradient Descent Ascent (OGDA) method and Extra-gradient (EG) method are developed for solving constrained saddle-point problems. It is shown that the developed algorithms achieve exact convergence to a saddle point with an ergodic convergence rate $O(1/k)$ for general convex-concave functions. Based on the proposed primal-dual algorithms via saddle-point dynamics, we develop unified distributed algorithm design and convergence analysis for these two networked optimization problems. Finally, two numerical examples are presented to demonstrate the theoretical results.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Numerical stability analysis of shock-capturing methods for strong shocks I: second-order MUSCL schemes
Authors:
Weijie Ren,
Wenjia Xie,
Ye Zhang,
Hang Yu,
Zhengyu Tian
Abstract:
Modern shock-capturing schemes often suffer from numerical shock anomalies if the flow field contains strong shocks, which may limit their further application in hypersonic flow computations. In the current study, we devote our efforts to exploring the primary numerical characteristics and the underlying mechanism of shock instability for second-order finite-volume schemes. To this end, we, for th…
▽ More
Modern shock-capturing schemes often suffer from numerical shock anomalies if the flow field contains strong shocks, which may limit their further application in hypersonic flow computations. In the current study, we devote our efforts to exploring the primary numerical characteristics and the underlying mechanism of shock instability for second-order finite-volume schemes. To this end, we, for the first time, develop the matrix stability analysis method for the finite-volume MUSCL approach. Such a linearized analysis method allows to investigate the shock instability problem of the finite-volume shock-capturing schemes in a quantitative and efficient manner. Results of the stability analysis demonstrate that the shock stability of second-order scheme is strongly related to the Riemann solver, Mach number, limiter function, numerical shock structure, and computational grid. Unique stability characteristics associated with these factors for second-order methods are revealed quantitatively with the established method. Source location of instability is also clarified by the matrix stability analysis method. Results show that the shock instability originates from the numerical shock structure. Such conclusions pave the way to better understand the shock instability problem and may shed new light on develo** more reliable shock-capturing methods for compressible flows with high Mach number.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Collatz Dynamics is Partitioned by Residue Class Regularly
Authors:
Wei Ren
Abstract:
We propose Reduced Collatz Conjecture that is equivalent to Collatz Conjecture, which states that every positive integer can return to an integer less than it, instead of 1. Reduced Collatz Conjecture is easier to explore because certain structures must be presented in reduced dynamics, rather than in original dynamics (as original dynamics is a mixture of original dynamics). Reduced dynamics is a…
▽ More
We propose Reduced Collatz Conjecture that is equivalent to Collatz Conjecture, which states that every positive integer can return to an integer less than it, instead of 1. Reduced Collatz Conjecture is easier to explore because certain structures must be presented in reduced dynamics, rather than in original dynamics (as original dynamics is a mixture of original dynamics). Reduced dynamics is a computation sequence from starting integer to the first integer less than it, in terms of ``I'' that represents (3*x+1)/2 and ``O'' that represents x/2. We formally prove that all positive integers are partitioned into two halves and either presents ``I'' or ``O'' in next ongoing computation. More specifically, (1) if any positive integer x that is i module $2^t$ (i is an odd integer) is given, then the first t computations (each one is either ``I'' or ``O'' corresponding to whether current integer is odd or even) will be identical with that of i. (2) If current integer after t computations (in terms of ``I'' or ``O'') is less than x, then reduced dynamics of x is available. Otherwise, the residue class of x (namely, i module $2^t$) can be partitioned into two halves (namely, i module $2^{t+1}$ and $i+2^t$ module $2^{t+1}$), and either half presents ``I'' or ``O'' in intermediately forthcoming (t+1)-th computation. This discovery will be helpful to the final proof of Collatz conjecture - if the union of residue classes who present reduced dynamics that become larger with the growth of residue module, equals all positive integers asymptotically, then Reduced Collatz Conjecture (or equivalently, Collatz Conjecture) will be true.
△ Less
Submitted 22 April, 2023;
originally announced April 2023.
-
Reduced Collatz Dynamics is Periodical and the Period Equals 2 to the Power of the Count of x/2
Authors:
Wei Ren
Abstract:
In this paper, we prove that reduced dynamics on Collatz conjecture is periodical, and its period equals 2 to the power of the count of x/2 computation in the reduced dynamics. More specifically, if there exists reduced dynamics of x (that is, start from an integer x and the computation will go to an integer less than x), then there must also exist reduced dynamics of x+P (that is, if starting fro…
▽ More
In this paper, we prove that reduced dynamics on Collatz conjecture is periodical, and its period equals 2 to the power of the count of x/2 computation in the reduced dynamics. More specifically, if there exists reduced dynamics of x (that is, start from an integer x and the computation will go to an integer less than x), then there must also exist reduced dynamics of x+P (that is, if starting from an integer x+P, then computation will go to an integer less than x+P), where P equals 2 to the power of L, and L is the total count of x/2 computations (i.e., computational times) in the reduced dynamics of x (note that, equivalently, L is also the length of the reduced dynamics of x). Therefore, the power (or output) of this period property, which is discovered and proved in this paper, is - the study of the existence of reduced dynamics of x will result in the existence of reduced dynamics of x+P (and iteratively x+n*P, n is a positive integer). Hence, only partition of integers needs to be verified for the existence of their reduced dynamics. Finally, if any starting integer x can be verified for the existence of its reduced dynamics, then Collatz Conjecture will be True (due to our proposed Reduced Collatz Conjecture).
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Micromagnetics simulations and phase transitions of ferromagnetics with Dzyaloshinskii-Moriya interaction
Authors:
Panchi Li,
Shuting Gu,
** Lan,
**grun Chen,
Weiqing Ren,
Rui Du
Abstract:
Magnetic skyrmions widely exist in a diverse range of magnetic systems, including chiral magnets with a non-centrosymmetric structure characterized by Dzyaloshinkii-Moriya interaction~(DMI). In this study, we propose a generalized semi-implicit backward differentiation formula projection method, enabling the simulations of the Landau-Lifshitz~(LL) equation in chiral magnets in a typical time step-…
▽ More
Magnetic skyrmions widely exist in a diverse range of magnetic systems, including chiral magnets with a non-centrosymmetric structure characterized by Dzyaloshinkii-Moriya interaction~(DMI). In this study, we propose a generalized semi-implicit backward differentiation formula projection method, enabling the simulations of the Landau-Lifshitz~(LL) equation in chiral magnets in a typical time step-size of $1$ ps, markedly exceeding the limit subjected by existing numerical methods of typically $0.1$ ps. Using micromagnetics simulations, we show that the LL equation with DMI reveals an intriguing dynamic instability in magnetization configurations as the dam** varies. Both the isolated skyrmionium and skyrmionium clusters can be consequently produced using a simple initialization strategy and a specific dam** parameter. Assisted by the string method, the transition path between skyrmion and skyrmionium, along with the escape of a skyrmion from the skyrmion clusters, are then thoroughly examined. The numerical methods developed in this work not only provide a reliable paradigm to investigate the skyrmion-based textures and their transition paths, but also facilitate the understandings for magnetization dynamics in complex magnetic systems.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Safe Stabilization for Stochastic Time-Delay Systems
Authors:
Zhuo-Rui Pan,
Wei Ren,
Xi-Ming Sun
Abstract:
This paper addresses the safe stabilization problem of stochastic nonlinear time-delay systems. Based on theKrasovskii approach, we first propose a stochastic control Lyapunov-Krasovskii functional to guarantee the stabilization objective and a stochastic control barrier-Krasovskii functional to ensure the safety objective. Both functionals are developed respectively for each control objectives fo…
▽ More
This paper addresses the safe stabilization problem of stochastic nonlinear time-delay systems. Based on theKrasovskii approach, we first propose a stochastic control Lyapunov-Krasovskii functional to guarantee the stabilization objective and a stochastic control barrier-Krasovskii functional to ensure the safety objective. Both functionals are developed respectively for each control objectives for the first time. Since the optimization problem is not easy to be resolved for stochastic time-delay systems, we derive a sliding mode based approach to combine the proposed two functionals and to mediate stabilization and safety objectives, which allows to achieve the stabilization objective under the safety requirement. The proposed approach is illustrated via a numerical example.
△ Less
Submitted 3 November, 2023; v1 submitted 20 November, 2022;
originally announced November 2022.
-
Gorenstein homological dimension and some invariants of groups
Authors:
Wei Ren,
Gang Yang
Abstract:
For any group $G$, the Gorenstein homological dimension ${\rm Ghd}_RG$ is defined to be the Gorenstein flat dimension of the coefficient ring $R$, which is considered as an $RG$-module with trivial group action. We prove that ${\rm Ghd}_RG < \infty$ if and only if the Gorenstein flat dimension of any $RG$-module is finite, if and only if there exists an $R$-pure $RG$-monic $R\rightarrow A$ with…
▽ More
For any group $G$, the Gorenstein homological dimension ${\rm Ghd}_RG$ is defined to be the Gorenstein flat dimension of the coefficient ring $R$, which is considered as an $RG$-module with trivial group action. We prove that ${\rm Ghd}_RG < \infty$ if and only if the Gorenstein flat dimension of any $RG$-module is finite, if and only if there exists an $R$-pure $RG$-monic $R\rightarrow A$ with $A$ being $R$-flat and ${\rm Ghd}_RG = {\rm fd}_{RG}A$, where $R$ is a commutative ring with finite Gorenstein weak global dimension. As applications, properties of ${\rm Ghd}$ on subgroup, quotient group, extension of groups as well as Weyl group are investigated. Moreover, we compare the relations between some invariants such as ${\rm sfli}RG$, ${\rm silf}RG$, ${\rm spli}RG$, ${\rm silp}RG$, and Gorenstein projective, Gorenstein flat and PGF dimensions of $RG$-modules; a sufficient condition for Gorenstein projective-flat problem over group rings is given.
△ Less
Submitted 18 April, 2023; v1 submitted 3 November, 2022;
originally announced November 2022.
-
Gorenstein cohomological dimension and stable categories for groups
Authors:
Wei Ren
Abstract:
First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature obtained over the coefficient ring $\mathbb{Z}$ or rings of finite global dimension are generalized to more general cases. Moreover, we establish a model structure o…
▽ More
First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature obtained over the coefficient ring $\mathbb{Z}$ or rings of finite global dimension are generalized to more general cases. Moreover, we establish a model structure on the weakly idempotent complete exact category $\mathcal{F}ib$ consisting of fibrant $RG$-modules, and show that the homotopy category $\mathrm{Ho}(\mathcal{F}ib)$ is triangle equivalent to both the stable category $\underline{\mathcal{C}of}(RG)$ of Benson's cofibrant modules, and the stable module category ${\rm StMod}(RG)$. The relation between cofibrant modules and Gorenstein projective modules is discussed, and we show that under some conditions such that ${\rm Gcd}_RG<\infty$, ${\rm Ho}(\mathcal{F}ib)$ is equivalent to the stable category of Gorenstein projective $RG$-modules, the singularity category, and the homotopy category of totally acyclic complexes of projective $RG$-modules.
△ Less
Submitted 11 June, 2024; v1 submitted 20 June, 2022;
originally announced June 2022.
-
On Gorenstein homological dimension of groups
Authors:
Yuxiang Luo,
Wei Ren
Abstract:
Let $G$ be a group and $R$ be a ring. We define the Gorenstein homological dimension of $G$ over $R$, denoted by ${\rm Ghd}_{R}G$, as the Gorenstein flat dimension of trivial $RG$-module $R$. It is proved that ${\rm Ghd}_SG \leq {\rm Ghd}_RG$ for any flat extension of commutative rings $R\rightarrow S$; in particular, ${\rm Ghd}_{R}G$ is a refinement of ${\rm Ghd}_{\mathbb{Z}}G$ if $R$ is…
▽ More
Let $G$ be a group and $R$ be a ring. We define the Gorenstein homological dimension of $G$ over $R$, denoted by ${\rm Ghd}_{R}G$, as the Gorenstein flat dimension of trivial $RG$-module $R$. It is proved that ${\rm Ghd}_SG \leq {\rm Ghd}_RG$ for any flat extension of commutative rings $R\rightarrow S$; in particular, ${\rm Ghd}_{R}G$ is a refinement of ${\rm Ghd}_{\mathbb{Z}}G$ if $R$ is $\mathbb{Z}$-torsion-free. We show a Gorenstein homological version of Serre's theorem, i.e. ${\rm Ghd}_{R}G = {\rm Ghd}_{R}H$ for any subgroup $H$ of $G$ with finite index. As an application, $G$ is a finite group if and only if ${\rm Ghd}_{R}G = 0$; this is different from the fact that the homological dimension of any non-trivial finite group is infinity.
△ Less
Submitted 21 February, 2023; v1 submitted 31 May, 2022;
originally announced May 2022.
-
A dichotomy result for closed characteristics on compact star-shaped hypersurfaces in $\mathbf{R}^{2n}$
Authors:
Huagui Duan,
Hui Liu,
Wenyan Ren
Abstract:
In this paper, we prove that if all closed characteristics on a compact non-degenerate star-shaped hypersurface $Σ$ in $\mathbf{R}^{2n}$ are elliptic, then either there exist exactly $n$ geometrically distinct closed characteristics, or there exist infinitely many geometrically distinct closed characteristics.
In this paper, we prove that if all closed characteristics on a compact non-degenerate star-shaped hypersurface $Σ$ in $\mathbf{R}^{2n}$ are elliptic, then either there exist exactly $n$ geometrically distinct closed characteristics, or there exist infinitely many geometrically distinct closed characteristics.
△ Less
Submitted 29 May, 2022;
originally announced May 2022.
-
Optimal Resource Scheduling and Allocation under Allowable Over-Scheduling
Authors:
Wei Ren,
Eleftherios Vlahakis,
Nikolaos Athanasopoulos,
Raphael M. Jungers
Abstract:
This paper studies optimal scheduling and resource allocation under allowable over-scheduling. Formulating an optimisation problem where over-scheduling is embedded, we derive an optimal solution that can be implemented by means of a new additive increase multiplicative decrease (AIMD) algorithm. After describing the AIMD-like scheduling mechanism as a switching system, we show convergence of the…
▽ More
This paper studies optimal scheduling and resource allocation under allowable over-scheduling. Formulating an optimisation problem where over-scheduling is embedded, we derive an optimal solution that can be implemented by means of a new additive increase multiplicative decrease (AIMD) algorithm. After describing the AIMD-like scheduling mechanism as a switching system, we show convergence of the scheme, based on the joint spectral radius of symmetric matrices, and propose two methods for fitting an optimal AIMD tuning to the optimal solution derived. Finally, we demonstrate the overall optimal design strategy via an illustrative example.
△ Less
Submitted 31 March, 2022;
originally announced April 2022.
-
Frobenius functors, stable equivalences and $K$-theory of Gorenstein projective modules
Authors:
Wei Ren
Abstract:
Owing to the difference in $K$-theory, an example by Dugger and Shipley implies that the equivalence of stable categories of Gorenstein projective modules should not be a Quillen equivalence. We give a sufficient and necessary condition for the Frobenius pair of faithful functors between two abelian categories to be a Quillen equivalence, which is also equivalent to that the Frobenius functors ind…
▽ More
Owing to the difference in $K$-theory, an example by Dugger and Shipley implies that the equivalence of stable categories of Gorenstein projective modules should not be a Quillen equivalence. We give a sufficient and necessary condition for the Frobenius pair of faithful functors between two abelian categories to be a Quillen equivalence, which is also equivalent to that the Frobenius functors induce mutually inverse equivalences between stable categories of Gorenstein projective objects.
We show that the category of Gorenstein projective objects is a Waldhausen category, then Gorenstein $K$-groups are introduced and characterized. As applications, we show that stable equivalences of Morita type preserve Gorenstein $K$-groups, CM-finiteness and CM-freeness. Two specific examples of path algebras are presented to illustrate the results, for which the Gorenstein $K_0$ and $K_1$-groups are calculated.
△ Less
Submitted 30 September, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Computing the Invariant Distribution of Randomly Perturbed Dynamical Systems Using Deep Learning
Authors:
Bo Lin,
Qianxiao Li,
Weiqing Ren
Abstract:
The invariant distribution, which is characterized by the stationary Fokker-Planck equation, is an important object in the study of randomly perturbed dynamical systems. Traditional numerical methods for computing the invariant distribution based on the Fokker-Planck equation, such as finite difference or finite element methods, are limited to low-dimensional systems due to the curse of dimensiona…
▽ More
The invariant distribution, which is characterized by the stationary Fokker-Planck equation, is an important object in the study of randomly perturbed dynamical systems. Traditional numerical methods for computing the invariant distribution based on the Fokker-Planck equation, such as finite difference or finite element methods, are limited to low-dimensional systems due to the curse of dimensionality. In this work, we propose a deep learning based method to compute the generalized potential, i.e. the negative logarithm of the invariant distribution multiplied by the noise. The idea of the method is to learn a decomposition of the force field, as specified by the Fokker-Planck equation, from the trajectory data. The potential component of the decomposition gives the generalized potential. The method can deal with high-dimensional systems, possibly with partially known dynamics. Using the generalized potential also allows us to deal with systems at low temperatures, where the invariant distribution becomes singular around the metastable states. These advantages make it an efficient method to analyze invariant distributions for practical dynamical systems. The effectiveness of the proposed method is demonstrated by numerical examples.
△ Less
Submitted 21 October, 2021;
originally announced October 2021.
-
A Thermodynamically Consistent Model and Its Conservative Numerical Approximation for Moving Contact Lines with Soluble Surfactants
Authors:
Quan Zhao,
Weiqing Ren,
Zhen Zhang
Abstract:
We derive a continuum sharp-interface model for moving contact lines with soluble surfactants in a thermodynamically consistent framework. The model consists of the isothermal two-phase incompressible Navier-Stokes equations for the fluid dynamic and the bulk\slash surface convection-diffusion equations for the surfactant transportation. The interface condition, the slip boundary condition, the dy…
▽ More
We derive a continuum sharp-interface model for moving contact lines with soluble surfactants in a thermodynamically consistent framework. The model consists of the isothermal two-phase incompressible Navier-Stokes equations for the fluid dynamic and the bulk\slash surface convection-diffusion equations for the surfactant transportation. The interface condition, the slip boundary condition, the dynamic contact angle condition, and the adsorption\slash desorption condition are derived based on the principle of the total free energy dissipation. In particular, we recover classical adsorption isotherms from different forms of the surface free energy. The model is then numerically solved in two spatial dimensions. We present an Eulerian weak formulation for the Navier-Stokes equations together with an arbitrary Lagrangian-Eulerian weak formulation for the surfactant transport equations. Finite element approximations are proposed to discretize the two weak formulations on the moving mesh. The resulting numerical method is shown to conserve the total mass of the surfactants exactly. By using the proposed model and its numerical method, we investigate the droplet spreading and migration in the presence of surfactants and study their dependencies on various dimensionless adsorption parameters.
△ Less
Submitted 6 April, 2021;
originally announced April 2021.
-
A Data Driven Method for Computing Quasipotentials
Authors:
Bo Lin,
Qianxiao Li,
Weiqing Ren
Abstract:
The quasipotential is a natural generalization of the concept of energy functions to non-equilibrium systems. In the analysis of rare events in stochastic dynamics, it plays a central role in characterizing the statistics of transition events and the likely transition paths. However, computing the quasipotential is challenging, especially in high dimensional dynamical systems where a global landsc…
▽ More
The quasipotential is a natural generalization of the concept of energy functions to non-equilibrium systems. In the analysis of rare events in stochastic dynamics, it plays a central role in characterizing the statistics of transition events and the likely transition paths. However, computing the quasipotential is challenging, especially in high dimensional dynamical systems where a global landscape is sought. Traditional methods based on the dynamic programming principle or path space minimization tend to suffer from the curse of dimensionality. In this paper, we propose a simple and efficient machine learning method to resolve this problem. The key idea is to learn an orthogonal decomposition of the vector field that drives the dynamics, from which one can identify the quasipotential. We demonstrate on various example systems that our method can effectively compute quasipotential landscapes without requiring spatial discretization or solving path-space optimization problems. Moreover, the method is purely data driven in the sense that only observed trajectories of the dynamics are required for the computation of the quasipotential. These properties make it a promising method to enable the general application of quasipotential analysis to dynamical systems away from equilibrium.
△ Less
Submitted 12 December, 2020;
originally announced December 2020.
-
Distributed Continuous-Time Optimization with Time-Varying Objective Functions and Inequality Constraints
Authors:
Shan Sun,
Wei Ren
Abstract:
This paper is devoted to the distributed continuous-time optimization problem with time-varying objective functions and time-varying nonlinear inequality constraints. Different from most studied distributed optimization problems with time-invariant objective functions and constraints, the optimal solution in this paper is time varying and forms a trajectory. To minimize the global time-varying obj…
▽ More
This paper is devoted to the distributed continuous-time optimization problem with time-varying objective functions and time-varying nonlinear inequality constraints. Different from most studied distributed optimization problems with time-invariant objective functions and constraints, the optimal solution in this paper is time varying and forms a trajectory. To minimize the global time-varying objective function subject to time-varying local constraint functions using only local information and local interaction, we present a distributed control algorithm that consists of a sliding-mode part and a Hessian-based optimization part. The asymptotical convergence of the proposed algorithm to the optimal solution is studied under suitable assumptions. The effectiveness of the proposed scheme is demonstrated through a simulation example.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Frobenius functors and Gorenstein homological properties
Authors:
Xiao-Wu Chen,
Wei Ren
Abstract:
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius functor preserves the stable categories of Gorenstein projective objects, the singularity categories and the Gorenstein defect categories, respectively. In the…
▽ More
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius functor preserves the stable categories of Gorenstein projective objects, the singularity categories and the Gorenstein defect categories, respectively. In the appendix, we give a direct proof of the following known result: for an abelian category with enough projectives and injectives, its global Gorenstein projective dimension coincides with its global Gorenstein injective dimension.
△ Less
Submitted 2 September, 2020; v1 submitted 26 August, 2020;
originally announced August 2020.
-
A Finite Element Method for Electrowetting on Dielectric
Authors:
Quan Zhao,
Weiqing Ren
Abstract:
We consider the problem of electrowetting on dielectric (EWoD). The system involves the dynamics of a conducting droplet, which is immersed in another dielectric fluid, on a dielectric substrate under an applied voltage. The fluid dynamics is modeled by the two-phase incompressible Navier-Stokes equations with the standard interface conditions, the Navier slip condition on the substrate, and a con…
▽ More
We consider the problem of electrowetting on dielectric (EWoD). The system involves the dynamics of a conducting droplet, which is immersed in another dielectric fluid, on a dielectric substrate under an applied voltage. The fluid dynamics is modeled by the two-phase incompressible Navier-Stokes equations with the standard interface conditions, the Navier slip condition on the substrate, and a contact angle condition which relates the dynamic contact angle and the contact line velocity, as well as the kinematic condition for the evolution of the interface. The electric force acting on the fluid interface is modeled by Maxwell's equations in the domain occupied by the dielectric fluid and the dielectric substrate. We develop a numerical method for the model based on its weak form. This method combines the finite element method for the Navier-Stokes equations on a fixed bulk mesh with a parametric finite element method for the dynamics of the fluid interface, and the boundary integral method for the electric force along the fluid interface. Numerical examples are presented to demonstrate the accuracy and convergence of the numerical method, the effect of various physical parameters on the interface profile, and other interesting phenomena such as the transportation of droplet driven by the applied non-uniform electric potential difference.
△ Less
Submitted 13 June, 2020;
originally announced June 2020.
-
The Graph Limit of The Minimizer of The Onsager-Machlup Functional and Its Computation
Authors:
Qiang Du,
Tiejun Li,
Xiaoguang Li,
Weiqing Ren
Abstract:
The Onsager-Machlup (OM) functional is well-known for characterizing the most probable transition path of a diffusion process with non-vanishing noise. However, it suffers from a notorious issue that the functional is unbounded below when the specified transition time $T$ goes to infinity. This hinders the interpretation of the results obtained by minimizing the OM functional. We provide a new per…
▽ More
The Onsager-Machlup (OM) functional is well-known for characterizing the most probable transition path of a diffusion process with non-vanishing noise. However, it suffers from a notorious issue that the functional is unbounded below when the specified transition time $T$ goes to infinity. This hinders the interpretation of the results obtained by minimizing the OM functional. We provide a new perspective on this issue. Under mild conditions, we show that although the infimum of the OM functional becomes unbounded when $T$ goes to infinity, the sequence of minimizers does contain convergent subsequences on the space of curves. The graph limit of this minimizing subsequence is an extremal of the abbreviated action functional, which is related to the OM functional via the Maupertuis principle with an optimal energy. We further propose an energy-climbing geometric minimization algorithm (EGMA) which identifies the optimal energy and the graph limit of the transition path simultaneously. This algorithm is successfully applied to several typical examples in rare event studies. Some interesting comparisons with the Freidlin-Wentzell action functional are also made.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Distributed velocity-constrained consensus of discrete-time multi-agent systems with nonconvex constraints, switching topologies, and delays
Authors:
Peng Lin,
Wei Ren,
Huijun Gao
Abstract:
In this paper, a distributed velocity-constrained consensus problem is studied for discrete-time multi-agent systems, where each agent's velocity is constrained to lie in a nonconvex set. A distributed constrained control algorithm is proposed to enable all agents to converge to a common point using only local information. {The gains of the algorithm for all agents need not to be the same or prede…
▽ More
In this paper, a distributed velocity-constrained consensus problem is studied for discrete-time multi-agent systems, where each agent's velocity is constrained to lie in a nonconvex set. A distributed constrained control algorithm is proposed to enable all agents to converge to a common point using only local information. {The gains of the algorithm for all agents need not to be the same or predesigned and can be adjusted by each agent itself based on its own and neighbors' information.}
It is shown that the algorithm is robust to arbitrarily bounded communication delays and arbitrarily switching communication graphs provided that the union of the graphs has directed spanning trees among each certain time interval. The analysis approach is based on multiple novel model transformations, proper control parameter selections, boundedness analysis of state-dependent stochastic matrices, exploitation of the convexity of stochastic matrices, and the joint connectivity of the communication graphs. Numerical examples are included to illustrate the theoretical results.
△ Less
Submitted 3 March, 2020;
originally announced March 2020.
-
Computing Committor Functions for the Study of Rare Events Using Deep Learning
Authors:
Qianxiao Li,
Bo Lin,
Weiqing Ren
Abstract:
The committor function is a central object of study in understanding transitions between metastable states in complex systems. However, computing the committor function for realistic systems at low temperatures is a challenging task, due to the curse of dimensionality and the scarcity of transition data. In this paper, we introduce a computational approach that overcomes these issues and achieves…
▽ More
The committor function is a central object of study in understanding transitions between metastable states in complex systems. However, computing the committor function for realistic systems at low temperatures is a challenging task, due to the curse of dimensionality and the scarcity of transition data. In this paper, we introduce a computational approach that overcomes these issues and achieves good performance on complex benchmark problems with rough energy landscapes. The new approach combines deep learning, data sampling and feature engineering techniques. This establishes an alternative practical method for studying rare transition events between metastable states in complex, high dimensional systems.
△ Less
Submitted 14 June, 2019;
originally announced June 2019.
-
Distributed optimization with nonconvex velocity constraints, nonuniform position constraints and nonuniform stepsizes
Authors:
Peng Lin,
Wei Ren,
Chunhua Yang,
Weihua Gui
Abstract:
This note is devoted to the distributed optimization problem of multi-agent systems with nonconvex velocity constraints, nonuniform position constraints and nonuniform stepsizes. Two distributed constrained algorithms with nonconvex velocity constraints and nonuniform stepsizes are proposed in the absence and the presence of nonuniform position constraints by introducing a switching mechanism to g…
▽ More
This note is devoted to the distributed optimization problem of multi-agent systems with nonconvex velocity constraints, nonuniform position constraints and nonuniform stepsizes. Two distributed constrained algorithms with nonconvex velocity constraints and nonuniform stepsizes are proposed in the absence and the presence of nonuniform position constraints by introducing a switching mechanism to guarantee all agents' position states to remain in a bounded region. The algorithm gains need not to be predesigned and can be selected by each agent using its own and neighbours' information. By a model transformation, the original nonlinear time-varying system is converted into a linear time-varying one with a nonlinear error term. Based on the properties of stochastic matrices, it is shown that the optimization problem can be solved as long as the communication topologies are jointly strongly connected and balanced. Numerical examples are given to show the obtained theoretical results.
△ Less
Submitted 28 February, 2020; v1 submitted 13 June, 2019;
originally announced June 2019.
-
On pure derived and pure singularity categories
Authors:
Tianya Cao,
Wei Ren
Abstract:
Firstly, we compare the bounded derived categories with respect to the pure-exact and the usual exact structures, and describe bounded derived category by pure-projective modules, under a fairly strong assumption on the ring. Then, we study Verdier quotient of bounded pure derived category modulo the bounded homotopy category of pure-projective modules, which is called a pure singularity category…
▽ More
Firstly, we compare the bounded derived categories with respect to the pure-exact and the usual exact structures, and describe bounded derived category by pure-projective modules, under a fairly strong assumption on the ring. Then, we study Verdier quotient of bounded pure derived category modulo the bounded homotopy category of pure-projective modules, which is called a pure singularity category since we show that it reflects the finiteness of pure-global dimension of rings. Moreover, invariance of pure singularity in a recollement of bounded pure derived categories is studied.
△ Less
Submitted 6 May, 2019;
originally announced May 2019.
-
Quillen equivalence of singular model categories
Authors:
Wei Ren
Abstract:
Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact complexes of projective modules and the homotopy category of exact complexes of injective modules is given.
Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact complexes of projective modules and the homotopy category of exact complexes of injective modules is given.
△ Less
Submitted 8 September, 2020; v1 submitted 7 January, 2019;
originally announced January 2019.
-
Gorenstein projective and injective dimensions over Frobenius extensions
Authors:
Wei Ren
Abstract:
Let $R\subset A$ be a Frobenius extension of rings. We prove that: (1) for any left $A$-module $M$, $_{A}M$ is Gorenstein projective (injective) if and only if the underlying left $R$-module $_{R}M$ is Gorenstein projective (injective). (2) if $\mathrm{G}\text{-}\mathrm{proj.dim}_{A}M<\infty$, then $\mathrm{G}\text{-}\mathrm{proj.dim}_{A}M = \mathrm{G}\text{-}\mathrm{proj.dim}_{R}M$, the dual for…
▽ More
Let $R\subset A$ be a Frobenius extension of rings. We prove that: (1) for any left $A$-module $M$, $_{A}M$ is Gorenstein projective (injective) if and only if the underlying left $R$-module $_{R}M$ is Gorenstein projective (injective). (2) if $\mathrm{G}\text{-}\mathrm{proj.dim}_{A}M<\infty$, then $\mathrm{G}\text{-}\mathrm{proj.dim}_{A}M = \mathrm{G}\text{-}\mathrm{proj.dim}_{R}M$, the dual for Gorenstein injective dimension also holds. (3) if the extension is split, then $\mathrm{G}\text{-}\mathrm{gldim}(A)= \mathrm{G}\text{-}\mathrm{gldim}(R)$.
△ Less
Submitted 11 July, 2019; v1 submitted 22 January, 2018;
originally announced January 2018.
-
Robustness Analysis of Asynchronous Sampled-Data Multi-Agent Networks With Time-Varying Delays
Authors:
Feng Xiao,
Yang Shi,
Wei Ren
Abstract:
In this paper, we study the simultaneous stability problem of a finite number of locally inter-connected linear subsystems under practical constraints, including asynchronous and aperiodic sampling, time-varying delays, and measurement errors. We establish a new Lyapunov-based stability result for such a decentralized system. This system has a particular simple structure of interconnections, but i…
▽ More
In this paper, we study the simultaneous stability problem of a finite number of locally inter-connected linear subsystems under practical constraints, including asynchronous and aperiodic sampling, time-varying delays, and measurement errors. We establish a new Lyapunov-based stability result for such a decentralized system. This system has a particular simple structure of interconnections, but it captures some key characteristics of a large class of intermediate models derived from the consensus analysis of multi-agent systems. The stability result is applicable to the estimation of the maximum allowable inter-sampling periods and time delays based on individual dynamics and coupling structures in the scenarios of consensus control via asynchronous sampling of relative states and asynchronous broadcasting of self-sampled states respectively. The asynchrony of aperiodic sampling and the existence of measurement errors allow the utilization of some kinds of quantizing devices, such as Logarithmic quantizers, in the process of data sampling, and allow the introduction of a period of dwell time after each update of state measurement to eliminate the Zeno behavior of events in event-based control. The extension in the case with input saturations and input delays is also discussed.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
Remarks on the singular set of suitable weak solutions to the 3D Navier-Stokes equations
Authors:
Wei Ren,
Yanqing Wang,
Gang Wu
Abstract:
In this paper, let $\mathcal{S}$ denote the possible interior singular set of suitable weak solutions of the 3D Navier-Stokes equations. We improve the known upper box-counting dimension of this set from $360/277(\approx1.300)$ in [24] to $975/758(\approx1.286)$. It is also shown that $Λ(\mathcal{S},r(\log(e/r))^σ)=0(0\leqσ<27/113)$, which extends the previous corresponding results concerning the…
▽ More
In this paper, let $\mathcal{S}$ denote the possible interior singular set of suitable weak solutions of the 3D Navier-Stokes equations. We improve the known upper box-counting dimension of this set from $360/277(\approx1.300)$ in [24] to $975/758(\approx1.286)$. It is also shown that $Λ(\mathcal{S},r(\log(e/r))^σ)=0(0\leqσ<27/113)$, which extends the previous corresponding results concerning the improvement of the classical Caffarelli-Kohn-Nirenberg theorem by a logarithmic factor in Choe and Lewis [3, J. Funct. Anal., 175: 348-369, 2000] and in Choe and Yang et al. [4, Comm. Math. Phys, 336: 171-198, 2015]. The proof is inspired by a new $\varepsilon$-regularity criterion proved by Guevara and Phuc in [7, Calc. Var. 56:68, 2017].
△ Less
Submitted 30 October, 2017; v1 submitted 5 September, 2017;
originally announced September 2017.
-
Asymptotic Analysis of Mean Field Games with Small Common Noise
Authors:
Saran Ahuja,
Weiluo Ren,
Tzu-Wei Yang
Abstract:
In this paper, we consider a mean field game (MFG) model perturbed by small common noise. Our goal is to give an approximation of the Nash equilibrium strategy of this game using a solution from the original no common noise MFG whose solution can be obtained through a coupled system of partial differential equations. We characterize the first order approximation via linear mean-field forward-backw…
▽ More
In this paper, we consider a mean field game (MFG) model perturbed by small common noise. Our goal is to give an approximation of the Nash equilibrium strategy of this game using a solution from the original no common noise MFG whose solution can be obtained through a coupled system of partial differential equations. We characterize the first order approximation via linear mean-field forward-backward stochastic differential equations whose solution is a centered Gaussian process with respect to the common noise. The first order approximate strategy can be described as follows: at time $t \in [0,T]$, applying the original MFG optimal strategy for a sub game over $[t,T]$ with the initial being the current state and distribution. We then show that this strategy gives an approximate Nash equilibrium of order $ε^2$.
△ Less
Submitted 27 July, 2017;
originally announced July 2017.
-
Gorenstein projective modules and Frobenius extensions
Authors:
Wei Ren
Abstract:
We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective, then its underlying module over the the base ring is Gorenstein projective; the converse holds if the Frobenius extension is either left-Gorenstein or separable (e.g. the integral group ring extension $\mathbb{Z}\subset \mathbb{Z}G$).
Moreover, for the Frobenius extension…
▽ More
We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective, then its underlying module over the the base ring is Gorenstein projective; the converse holds if the Frobenius extension is either left-Gorenstein or separable (e.g. the integral group ring extension $\mathbb{Z}\subset \mathbb{Z}G$).
Moreover, for the Frobenius extension $R\subset A=R[x]/(x^2)$, we show that: a graded $A$-module is Gorenstein projective in $\mathrm{GrMod}(A)$, if and only if its ungraded $A$-module is Gorenstein projective, if and only if its underlying $R$-module is Gorenstein projective. It immediately follows that an $R$-complex is Gorenstein projective if and only if all its items are Gorenstein projective $R$-modules.
△ Less
Submitted 18 July, 2017;
originally announced July 2017.
-
Distributed Average Tracking of Heterogeneous Physical Second-order Agents With No Input Signals Constraint
Authors:
Sheida Ghapani,
Salar Rahili,
Wei Ren
Abstract:
This paper addresses distributed average tracking of physical second-order agents with heterogeneous nonlinear dynamics, where there is no constraint on input signals. The nonlinear terms in agents' dynamics are heterogeneous, satisfying a Lipschitz-like condition that will be defined later and is more general than the Lipschitz condition. In the proposed algorithm, a control input and a filter ar…
▽ More
This paper addresses distributed average tracking of physical second-order agents with heterogeneous nonlinear dynamics, where there is no constraint on input signals. The nonlinear terms in agents' dynamics are heterogeneous, satisfying a Lipschitz-like condition that will be defined later and is more general than the Lipschitz condition. In the proposed algorithm, a control input and a filter are designed for each agent. Each agent's filter has two outputs and the idea is that the first output estimates the average of the input signals and the second output estimates the average of the input velocities asymptotically. In parallel, each agent's position and velocity are driven to track, respectively, the first and the second outputs. Having heterogeneous nonlinear terms in agents' dynamics necessitates designing the filters for agents. Since the nonlinear terms in agents' dynamics can be unbounded and the input signals are arbitrary, novel state-dependent time-varying gains are employed in agents' filters and control inputs to overcome these unboundedness effects. Finally the results are improved to achieve the distributed average tracking for a group of double-integrator agents, where there is no constraint on input signals and the filter is not required anymore. Numerical simulations are also presented to illustrate the theoretical results.
△ Less
Submitted 27 March, 2017;
originally announced March 2017.
-
Distributed Continuous-Time and Discrete-Time Optimization With Nonuniform Unbounded Convex Constraint Sets and Nonuniform Stepsizes
Authors:
Peng Lin,
Wei Ren,
Chunhua Yang,
Weihua Gui
Abstract:
This paper is devoted to distributed continuous-time and discrete-time optimization problems with nonuniform convex constraint sets and nonuniform stepsizes for general differentiable convex objective functions. The communication graphs are not required to be strongly connected at any time, the gradients of the local objective functions are not required to be bounded when their independent variabl…
▽ More
This paper is devoted to distributed continuous-time and discrete-time optimization problems with nonuniform convex constraint sets and nonuniform stepsizes for general differentiable convex objective functions. The communication graphs are not required to be strongly connected at any time, the gradients of the local objective functions are not required to be bounded when their independent variables tend to infinity, and the constraint sets are not required to be bounded. For continuous-time multi-agent systems, a distributed continuous algorithm is first introduced where the stepsizes and the convex constraint sets are both nonuniform. It is shown that all agents reach a consensus while minimizing the team objective function even when the constraint sets are unbounded. After that, the obtained results are extended to discrete-time multi-agent systems and then the case where each agent remains in a corresponding convex constraint set is studied. To ensure all agents to remain in a bounded region, a switching mechanism is introduced in the algorithms. It is shown that the distributed optimization problems can be solved, even though the discretization of the algorithms might deviate the convergence of the agents from the minimum of the objective functions. Finally, numerical examples are included to show the obtained theoretical results.
△ Less
Submitted 1 March, 2020; v1 submitted 26 March, 2017;
originally announced March 2017.
-
Distributed Adaptive Gradient Optimization Algorithm
Authors:
Peng Lin,
Wei Ren
Abstract:
In this paper, a distributed optimization problem with general differentiable convex objective functions is studied for single-integrator and double-integrator multi-agent systems. Two distributed adaptive optimization algorithm is introduced which uses the relative information to construct the gain of the interaction term. The analysis is performed based on the Lyapunov functions, the analysis of…
▽ More
In this paper, a distributed optimization problem with general differentiable convex objective functions is studied for single-integrator and double-integrator multi-agent systems. Two distributed adaptive optimization algorithm is introduced which uses the relative information to construct the gain of the interaction term. The analysis is performed based on the Lyapunov functions, the analysis of the system solution and the convexity of the local objective functions. It is shown that if the gradients of the convex objective functions are continuous, the team convex objective function can be minimized as time evolves for both single-integrator and double-integrator multi-agent systems. Numerical examples are included to show the obtained theoretical results.
△ Less
Submitted 26 March, 2017;
originally announced March 2017.
-
Heterogeneous Distributed Average Tracking
Authors:
Salar Rahili,
Wei Ren
Abstract:
This paper addresses distributed average tracking for a group of heterogeneous physical agents consisting of single-integrator, double-integrator and Euler-Lagrange dynamics. Here, the goal is that each agent uses local information and local interaction to calculate the average of individual time-varying reference inputs, one per agent. Two nonsmooth algorithms are proposed to achieve the distribu…
▽ More
This paper addresses distributed average tracking for a group of heterogeneous physical agents consisting of single-integrator, double-integrator and Euler-Lagrange dynamics. Here, the goal is that each agent uses local information and local interaction to calculate the average of individual time-varying reference inputs, one per agent. Two nonsmooth algorithms are proposed to achieve the distributed average tracking goal. In our first proposed algorithm, each agent tracks the average of the reference inputs, where each agent is required to have access to only its own position and the relative positions between itself and its neighbors. To relax the restrictive assumption on admissible reference inputs, we propose the second algorithm. A filter is introduced for each agent to generate an estimation of the average of the reference inputs. Then, each agent tracks its own generated signal to achieve the average tracking goal in a distributed manner. Finally, numerical example is included for illustration.
△ Less
Submitted 3 December, 2016;
originally announced December 2016.
-
Forward-backward stochastic differential equations with monotone functionals and mean field games with common noise
Authors:
Saran Ahuja,
Weiluo Ren,
Tzu-Wei Yang
Abstract:
In this paper, we consider a system of forward-backward stochastic differential equations (FBSDEs) with monotone functionals. We show the existence and uniqueness of such a system by the method of continuation similarly to Peng and Wu (1999) for classical FBSDEs and obtain estimates under conditional probability. As applications, we prove the well-posedness result for a mean field FBSDE with condi…
▽ More
In this paper, we consider a system of forward-backward stochastic differential equations (FBSDEs) with monotone functionals. We show the existence and uniqueness of such a system by the method of continuation similarly to Peng and Wu (1999) for classical FBSDEs and obtain estimates under conditional probability. As applications, we prove the well-posedness result for a mean field FBSDE with conditional law and show the existence of a decoupling function. In addition, we show that mean field games with common noise are uniquely solvable under a linear controlled process with convex and weak-monotone cost functions and prove that the optimal control is in a feedback form depending only on the current state and conditional law.
△ Less
Submitted 5 August, 2018; v1 submitted 14 November, 2016;
originally announced November 2016.
-
Platooning of Connected Vehicles with Undirected Topologies: Robustness Analysis and Distributed H-infinity Controller Synthesis
Authors:
Yang Zheng,
Shengbo Eben Li,
Keqiang Li,
Wei Ren
Abstract:
This paper considers the robustness analysis and distributed $\mathcal{H}_{\infty}$ (H-infinity) controller synthesis for a platoon of connected vehicles with undirected topologies. We first formulate a unified model to describe the collective behavior of homogeneous platoons with external disturbances using graph theory. By exploiting the spectral decomposition of a symmetric matrix, the collecti…
▽ More
This paper considers the robustness analysis and distributed $\mathcal{H}_{\infty}$ (H-infinity) controller synthesis for a platoon of connected vehicles with undirected topologies. We first formulate a unified model to describe the collective behavior of homogeneous platoons with external disturbances using graph theory. By exploiting the spectral decomposition of a symmetric matrix, the collective dynamics of a platoon is equivalently decomposed into a set of subsystems sharing the same size with one single vehicle. Then, we provide an explicit scaling trend of robustness measure $γ$-gain, and introduce a scalable multi-step procedure to synthesize a distributed $\mathcal{H}_{\infty}$ controller for large-scale platoons. It is shown that communication topology, especially the leader's information, exerts great influence on both robustness performance and controller synthesis. Further, an intuitive optimization problem is formulated to optimize an undirected topology for a platoon system, and the upper and lower bounds of the objective are explicitly analyzed, which hints us that coordination of multiple mini-platoons is one reasonable architecture to control large-scale platoons. Numerical simulations are conducted to illustrate our findings.
△ Less
Submitted 16 July, 2017; v1 submitted 4 November, 2016;
originally announced November 2016.
-
Distributed Average Tracking for Second-order Agents with Nonlinear Dynamics
Authors:
Sheida Ghapani,
Salar Rahili,
Wei Ren
Abstract:
This paper addresses distributed average tracking of physical second-order agents with nonlinear dynamics, where the interaction among the agents is described by an undirected graph. In both agents' and reference inputs' dynamics, there is a nonlinear term that satisfying the Lipschitz-type condition. To achieve the distributed average tracking problem in the presence of nonlinear term, a non-smoo…
▽ More
This paper addresses distributed average tracking of physical second-order agents with nonlinear dynamics, where the interaction among the agents is described by an undirected graph. In both agents' and reference inputs' dynamics, there is a nonlinear term that satisfying the Lipschitz-type condition. To achieve the distributed average tracking problem in the presence of nonlinear term, a non-smooth filter and a control input are designed for each agent. The idea is that each filter outputs converge to the average of the reference inputs and the reference velocities asymptotically and in parallel each agent's position and velocity are driven to track its filter outputs. To overcome the nonlinear term unboundedness effect, novel state-dependent time varying gains are employed in each agent's filter and control input. In the proposed algorithm, each agent needs its neighbors' filters outputs besides its own filter outputs, absolute position and absolute velocity and its neighbors' reference inputs and reference velocities. Finally, the algorithm is simplified to achieve the distributed average tracking of physical second-order agents in the presence of an unknown bounded term in both agents' and reference inputs' dynamics.
△ Less
Submitted 23 March, 2016;
originally announced March 2016.
-
Distributed Subgradient-based Multi-agent Optimization with More General Step Sizes
Authors:
Peng Wang,
Wei Ren
Abstract:
A wider selection of step sizes is explored for the distributed subgradient algorithm for multi-agent optimization problems, for both time-invariant and time-varying communication topologies. The square summable requirement of the step sizes commonly adopted in the literature is removed. The step sizes are only required to be positive, vanishing and non-summable. It is proved that in both unconstr…
▽ More
A wider selection of step sizes is explored for the distributed subgradient algorithm for multi-agent optimization problems, for both time-invariant and time-varying communication topologies. The square summable requirement of the step sizes commonly adopted in the literature is removed. The step sizes are only required to be positive, vanishing and non-summable. It is proved that in both unconstrained and constrained optimization problems, the agents' estimates reach consensus and converge to the optimal solution with the more general choice of step sizes. The idea is to show that a weighted average of the agents' estimates approaches the optimal solution, but with different approaches. In the unconstrained case, the optimal convergence of the weighted average of the agents' estimates is proved by analyzing the distance change from the weighted average to the optimal solution and showing that the weighted average is arbitrarily close to the optimal solution. In the constrained case, this is achieved by analyzing the distance change from the agents' estimates to the optimal solution and utilizing the boundedness of the constraints. Then the optimal convergence of the agents' estimates follows because consensus is reached in both cases. These results are valid for both a strongly connected time-invariant graph and time-varying balanced graphs that are jointly strongly connected.
△ Less
Submitted 29 January, 2016;
originally announced February 2016.
-
Distributed Convex Optimization for Continuous-Time Dynamics with Time-Varying Cost Function
Authors:
Salar Rahili,
Wei Ren
Abstract:
In this paper, a time-varying distributed convex optimization problem is studied for continuous-time multi-agent systems. Control algorithms are designed for the cases of single-integrator and double-integrator dynamics. Two discontinuous algorithms based on the signum function are proposed to solve the problem in each case. Then in the case of double-integrator dynamics, two continuous algorithms…
▽ More
In this paper, a time-varying distributed convex optimization problem is studied for continuous-time multi-agent systems. Control algorithms are designed for the cases of single-integrator and double-integrator dynamics. Two discontinuous algorithms based on the signum function are proposed to solve the problem in each case. Then in the case of double-integrator dynamics, two continuous algorithms based on, respectively, a time-varying and a fixed boundary layer are proposed as continuous approximations of the signum function. Also, to account for inter-agent collision for physical agents, a distributed convex optimization problem with swarm tracking behavior is introduced for both single-integrator and double-integrator dynamics.
△ Less
Submitted 6 September, 2016; v1 submitted 17 July, 2015;
originally announced July 2015.
-
Distributed Average Tracking for Double-integrator Multi-agent Systems with Reduced Requirement on Velocity Measurements
Authors:
Sheida Ghapani,
Wei Ren,
Fei Chen,
Yongduan Song
Abstract:
This paper addresses distributed average tracking for a group of physical double-integrator agents under an undirected graph with reduced requirement on velocity measurements. The idea is that multiple agents track the average of multiple time-varying input signals, each of which is available to only one agent, under local interaction with neighbors. We consider two cases. First, a distributed dis…
▽ More
This paper addresses distributed average tracking for a group of physical double-integrator agents under an undirected graph with reduced requirement on velocity measurements. The idea is that multiple agents track the average of multiple time-varying input signals, each of which is available to only one agent, under local interaction with neighbors. We consider two cases. First, a distributed discontinuous algorithm and filter are proposed, where each agent needs the relative positions between itself and its neighbors and its neighbors' filter outputs obtained through communication but the requirement for either absolute or relative velocity measurements is removed. The agents' positions and velocities must be initialized correctly, but the algorithm can deal with a wide class of input signals with bounded acceleration deviations. Second, a distributed discontinuous algorithm and filter are proposed to remove the requirement for communication and accurate initialization. Here each agent needs to measure the relative position between itself and its neighbors and its own velocity but the requirement for relative velocity measurements between itself and its neighbors is removed. The algorithm can deal with the case where the input signals and their velocities and accelerations are all bounded. Numerical simulations are also presented to illustrate the theoretical results.
△ Less
Submitted 22 July, 2015; v1 submitted 16 July, 2015;
originally announced July 2015.
-
Fully Distributed Flocking with a Moving Leader for Lagrange Networks with Parametric Uncertainties
Authors:
Sheida Ghapani,
Jie Mei,
Wei Ren,
Yongduan Song
Abstract:
This paper addresses the leader-follower flocking problem with a moving leader for networked Lagrange systems with parametric uncertainties under a proximity graph. Here a group of followers move cohesively with the moving leader to maintain connectivity and avoid collisions for all time and also eventually achieve velocity matching. In the proximity graph, the neighbor relationship is defined acc…
▽ More
This paper addresses the leader-follower flocking problem with a moving leader for networked Lagrange systems with parametric uncertainties under a proximity graph. Here a group of followers move cohesively with the moving leader to maintain connectivity and avoid collisions for all time and also eventually achieve velocity matching. In the proximity graph, the neighbor relationship is defined according to the relative distance between each pair of agents. Each follower is able to obtain information from only the neighbors in its proximity, involving only local interaction. We consider two cases: i) the leader moves with a constant velocity, and ii) the leader moves with a varying velocity. In the first case, a distributed continuous adaptive control algorithm accounting for unknown parameters is proposed in combination with a distributed continuous estimator for each follower. In the second case, a distributed discontinuous adaptive control algorithm and estimator are proposed. Then the algorithm is extended to be fully distributed with the introduction of gain adaptation laws. In all proposed algorithms, only one-hop neighbors' information (e.g., the relative position and velocity measurements between the neighbors and the absolute position and velocity measurements) is required, and flocking is achieved as long as the connectivity and collision avoidance are ensured at the initial time and the control gains are designed properly. Numerical simulations are presented to illustrate the theoretical results.
△ Less
Submitted 22 July, 2015; v1 submitted 16 July, 2015;
originally announced July 2015.
-
Distributed Convex Optimization of Time-Varying Cost Functions with Swarm Tracking Behavior for Continuous-time Dynamics
Authors:
Salar Rahili,
Wei Ren,
Sheida Ghapani
Abstract:
In this paper, a distributed convex optimization problem with swarm tracking behavior is studied for continuous-time multi-agent systems. The agents' task is to drive their center to track an optimal trajectory which minimizes the sum of local time-varying cost functions through local interaction, while maintaining connectivity and avoiding inter-agent collision. Each local cost function is only k…
▽ More
In this paper, a distributed convex optimization problem with swarm tracking behavior is studied for continuous-time multi-agent systems. The agents' task is to drive their center to track an optimal trajectory which minimizes the sum of local time-varying cost functions through local interaction, while maintaining connectivity and avoiding inter-agent collision. Each local cost function is only known to an individual agent and the team's optimal solution is time-varying. Here two cases are considered, single-integrator dynamics and double-integrator dynamics. For each case, a distributed convex optimization algorithm with swarm tracking behavior is proposed where each agent relies only on its own position and the relative positions (and velocities in the double-integrator case) between itself and its neighbors. It is shown that the center of the agents tracks the optimal trajectory, the the connectivity of the agents will be maintained and inter-agent collision is avoided. Finally, numerical examples are included for illustration.
△ Less
Submitted 16 July, 2015;
originally announced July 2015.
-
Partial regularity of suitable weak solutions to the multi-dimensional generalized magnetohydrodynamics equations
Authors:
Wei Ren,
Yanqing Wang,
Gang Wu
Abstract:
In this paper, we are concerned with the partial regularity of the suitable weak solutions to the fractional MHD equations in $\mathbb{R}^{n}$ for $n=2,\,3$. In comparison with the work of the 3D fractional Navier-Stokes equations obtained by Tang and Yu in [24, Commun. Math. Phys. 334: 1455--1482, 2015], our results include their endpoint case $α=3/4$ and the external force belongs to more genera…
▽ More
In this paper, we are concerned with the partial regularity of the suitable weak solutions to the fractional MHD equations in $\mathbb{R}^{n}$ for $n=2,\,3$. In comparison with the work of the 3D fractional Navier-Stokes equations obtained by Tang and Yu in [24, Commun. Math. Phys. 334: 1455--1482, 2015], our results include their endpoint case $α=3/4$ and the external force belongs to more general parabolic Morrey space. Moreover, we prove some interior regularity criteria just via the scaled mixed norm of the velocity for the suitable weak solutions to the fractional MHD equations.
△ Less
Submitted 20 May, 2015;
originally announced May 2015.
-
Relative Derived Category with respect to a Subcategory
Authors:
Zhenxing Di,
Xiaoxiang Zhang,
Wei Ren,
Jianlong Chen
Abstract:
The notion of relative derived category with respect to a subcategory is introduced. A triangle-equivalence, which extends a theorem of Gao and Zhang [Gorenstein derived categories, \emph{J. Algebra} \textbf{323} (2010) 2041-2057] to the bounded below case, is obtained. Moreover, we interpret the relative derived functor $\mathrm{Ext}_{\mathcal{X}\mathcal {A}}(-,-)$ as the morphisms in such derive…
▽ More
The notion of relative derived category with respect to a subcategory is introduced. A triangle-equivalence, which extends a theorem of Gao and Zhang [Gorenstein derived categories, \emph{J. Algebra} \textbf{323} (2010) 2041-2057] to the bounded below case, is obtained. Moreover, we interpret the relative derived functor $\mathrm{Ext}_{\mathcal{X}\mathcal {A}}(-,-)$ as the morphisms in such derived category and give two applications.
△ Less
Submitted 14 October, 2014;
originally announced October 2014.