SearcharxivSearch

arXiv subjects

Xiaofeng Zong

Publications and source records attributed to Xiaofeng Zong.

7 recordsLinked to original sources

Graphon Particle Systems, Part I: Spatio-Temporal Approximation and Law of Large Numbers

We study a class of graphon particle systems with time-varying random coefficients. In a graphon particle system, the interactions among particles are characterized by the coupled mean field terms through an underlying graphon and the randomness of the coefficients comes from exogenous stochastic processes. By constructing two-level approximated sequences converging in 2-Wasserstein distance, we prove the existence and uniqueness of the solution to the system. Besides, by constructing two-level approximated functions converging to the graphon mean field terms, we establish the law of large numbers, which reveals that if the number of particles tends to infinity and the discretization step tends to zero, then the discrete-time interacting particle system over a large-scale network converges to the graphon particle system. As a byproduct, we discover that the graphon particle system can describe the limiting dynamics of the distributed stochastic gradient descent algorithm over the large-scale network and prove that if the gradients of the local cost functions are Lipschitz continuous, then the graphon particle system can be regarded as the spatio-temporal approximation of the discrete-time distributed stochastic gradient descent algorithm as the number of network nodes tends to infinity and the algorithm step size tends to zero.

eess.SY

Graphon Particle Systems, Part II: Dynamics of Distributed Stochastic Continuum Optimization

We study the distributed optimization problem over a graphon with a continuum of nodes, which is regarded as the limit of the distributed networked optimization as the number of nodes goes to infinity. Each node has a private local cost function. The global cost function, which all nodes cooperatively minimize, is the integral of the local cost functions on the node set. We propose stochastic gradient descent and gradient tracking algorithms over the graphon. We establish a general lemma for the upper bound estimation related to a class of time-varying differential inequalities with negative linear terms, based upon which, we prove that for both kinds of algorithms, the second moments of the nodes' states are uniformly bounded. Especially, for the stochastic gradient tracking algorithm, we transform the convergence analysis into the asymptotic property of coupled nonlinear differential inequalities with time-varying coefficients and develop a decoupling method. For both kinds of algorithms, we show that by choosing the time-varying algorithm gains properly, all nodes' states achieve $\mathcal{L}^{\infty}$-consensus for a connected graphon. Furthermore, if the local cost functions are strongly convex, then all nodes' states converge to the minimizer of the global cost function and the auxiliary states in the stochastic gradient tracking algorithm converge to the gradient value of the global cost function at the minimizer uniformly in mean square.

eess.SY

Differentially Private Consensus for Time-Delay Multi-agent Systems

This paper is concerned with the differentially private consensus problem for discrete-time multi-agent systems with communication delays. The purpose of the paper is to achieve differentially private consensus for such systems while protecting the entire delayed initial histories of all agents. A novel adjacency relation for delayed histories is introduced, and a Laplace-noise-based privacy mechanism is developed, where the noise variance is allowed to vary with time and even increase. By using the difference resolvent function method, decay estimates for the fundamental solutions of the delayed difference equations are derived. Based on these estimates and a backstepping technique, mean square weak consensus, mean square strong consensus, and almost sure strong consensus are established. The estimates for the fundamental solutions are also used to derive an explicit sensitivity bound. Furthermore, a constructive parameter design is provided to achieve a prescribed infinite-horizon $ε^\star$-differential privacy level. Numerical simulations illustrate the theoretical results.

eess.SY

Fully distributed consensus control for stochastic multi-agent systems under undirected and directed topologies

This work aims to address the design of fully distributed control protocols for stochastic consensus, and, for the first time, establishes the existence and uniqueness of solutions for the path-dependent and highly nonlinear closed-loop systems under both undirected and directed topologies, bridging a critical gap in the literature. For the case of directed graphs, a unified fully distributed control protocol is designed for the first time to guarantee mean square and almost sure consensus of stochastic multi-agent systems under directed graphs. Moreover, an enhanced fully distributed protocol with additional tunable parameters designed for undirected graphs is proposed, which guarantees stochastic consensus while achieving superior convergence speed. Additionally, our work provides explicit exponential estimates for the corresponding convergence rates of stochastic consensus, elucidating the relationship between the exponential convergence rate and the system parameters. Simulations validate the theoretical results.

eess.SY

Observer-based Differentially Private Consensus for Linear Multi-agent Systems

This paper investigates the differentially private consensus problem for general linear multi-agent systems (MASs) based on output feedback protocols. To protect the output information, which is considered private data and may be at high risk of exposure, Laplace noise is added to the information exchange. The conditions for achieving mean square and almost sure consensus in observer-based MASs are established using the backstepping method and the convergence theory for nonnegative almost supermartingales. It is shown that the separation principle remains valid for the consensus problem of linear MASs with decaying Laplace noise. Furthermore, the convergence rate is provided. Then, a joint design framework is developed for state estimation gain, feedback control gain, and noise to ensure the preservation of ε-differential privacy. The output information of each agent is shown to be protected at every time step. Finally, sufficient conditions are established for simultaneously achieving consensus and preserving differential privacy for linear MASs utilizing both full-order and reduced-order observers. Meanwhile, an ε*-differentially private consensus is achieved to meet the desired privacy level. Two simulation examples are provided to validate the theoretical results.

eess.SY

Consensus conditions of continuous-time multi-agent systems with time-delays and measurement noises

This work is concerned with stochastic consensus conditions of multi-agent systems with both time-delays and measurement noises. For the case of additive noises, we develop some necessary conditions and sufficient conditions for stochastic weak consensus by estimating the differential resolvent function for delay equations. By the martingale convergence theorem, we obtain necessary conditions and sufficient conditions for stochastic strong consensus. For the case of multiplicative noises, we consider two kinds of time-delays, appeared in the measurement term and the noise term, respectively. We first show that stochastic weak consensus with the exponential convergence rate implies stochastic strong consensus. Then by constructing degenerate Lyapunov functional, we find the sufficient consensus conditions and show that stochastic consensus can be achieved by carefully choosing the control gain according to the noise intensities and the time-delay in the measurement term.

eess.SY

Convergence and stability of two classes of theta-Milstein schemes for stochastic differential equations

This paper examines convergence and stability of the two classes of theta-Milstein schemes for stochastic differential equations (SDEs) with non-global Lipschitz continuous coefficients: the split-step theta-Milstein (SSTM) scheme and the stochastic theta-Milstein (STM) scheme. For θ\in[1/2,1], this paper concludes that the two classes of theta-Milstein schemes converge strongly to the exact solution with the order 1. For θ\in [0,1/2], under the additional linear growth condition for the drift coefficient, these two classes of the theta-Milstein schemes are also strongly convergent with the standard order. This paper also investigates exponential mean-square stability of these two classes of the theta-Milstein schemes. For θ\in(1/2, 1], these two theta-Milstein schemes can share the exponential mean-square stability of the exact solution. For θ\in[0, 1/2], similar to the convergence, under the additional linear growth condition, these two theta-Milstein schemes can also reproduce the exponential mean-square stability of the exact solution.

math.NA