-
Robust Incentive Stackelberg Mean Field Stochastic Linear-Quadratic Differential Game with Model Uncertainty
Authors:
Na Xiang,
Jingtao Shi
Abstract:
This paper investigates a robust incentive Stackelberg stochastic differential game problem for a linear-quadratic mean field system, where the model uncertainty appears in the drift term of the leader's state equation. Moreover, both the state average and control averages enter into the leader's dynamics and cost functional. Based on the zero-sum game approach, mean field approximation and dualit…
▽ More
This paper investigates a robust incentive Stackelberg stochastic differential game problem for a linear-quadratic mean field system, where the model uncertainty appears in the drift term of the leader's state equation. Moreover, both the state average and control averages enter into the leader's dynamics and cost functional. Based on the zero-sum game approach, mean field approximation and duality theory, firstly the representation of the leader's limiting cost functional and the closed-loop representation of decentralized open-loop saddle points are given, via decoupling methods. Then by convex analysis and the variational method, the decentralized strategies of the followers' auxiliary limiting problems and the corresponding consistency condition system are derived. Finally, applying decoupling technique, the leader's approximate incentive strategy set is obtained, under which the asymptotical robust incentive optimality of the decentralized mean field strategy is verified. A numerical example is given to illustrate the theoretical results.
△ Less
Submitted 6 July, 2025;
originally announced July 2025.
-
General Linear-Quadratic Mean Field Stochastic Differential Game with Common Noise: a Direct Method
Authors:
Yu Si,
Jingtao Shi
Abstract:
This paper investigates a class of general linear-quadratic mean field games with common noise, where the diffusion terms of the system contain the state variables, control variables, and the average state terms. We solve the problem using both the direct method and the fixed-point method in the paper. First, by using the variational method to solve a finite $N$-players game problem, we obtain the…
▽ More
This paper investigates a class of general linear-quadratic mean field games with common noise, where the diffusion terms of the system contain the state variables, control variables, and the average state terms. We solve the problem using both the direct method and the fixed-point method in the paper. First, by using the variational method to solve a finite $N$-players game problem, we obtain the necessary and sufficient conditions for the centralized open-loop Nash equilibrium strategy. Subsequently, by employing the decoupling technique, we derive the state feedback representation of the centralized open-loop Nash equilibrium strategy in terms of Riccati equations. Next, by studying the asymptotic solvability of the Riccati equations, we construct the decentralized open-loop asymptotic Nash equilibrium strategies. Finally, through some estimates, we prove the asymptotic optimality of the decentralized open-loop Nash equilibrium strategies. Moreover, we find that the decentralized open-loop asymptotic Nash equilibrium strategies obtained via the fixed-point method are identical to those derived using the direct method.
△ Less
Submitted 20 June, 2025;
originally announced June 2025.
-
On an extension of Shlyk's theorem
Authors:
Jiangtao Shi,
Fanjie Xu,
Na Li
Abstract:
In this paper, we prove that the intersection of all non-nilpotent maximal subgroups of a non-solvable group containing the normalizer of some Sylow subgroup is nilpotent, which provides an extension of Shlyk's theorem.
In this paper, we prove that the intersection of all non-nilpotent maximal subgroups of a non-solvable group containing the normalizer of some Sylow subgroup is nilpotent, which provides an extension of Shlyk's theorem.
△ Less
Submitted 8 June, 2025; v1 submitted 3 June, 2025;
originally announced June 2025.
-
Global Maximum Principle for Partially Observed Risk-Sensitive Progressive Optimal Control of FBSDE with Poisson Jumps
Authors:
Jingtao Lin,
Jingtao Shi
Abstract:
This paper is concerned with one kind of partially observed progressive optimal control problems of coupled forward-backward stochastic systems driven by both Brownian motion and Poisson random measure with risk-sensitive criteria. The control domain is not necessarily convex, and the control variable can enters into all the coefficients. The observation equation also has correlated noises with th…
▽ More
This paper is concerned with one kind of partially observed progressive optimal control problems of coupled forward-backward stochastic systems driven by both Brownian motion and Poisson random measure with risk-sensitive criteria. The control domain is not necessarily convex, and the control variable can enters into all the coefficients. The observation equation also has correlated noises with the state equation. Under the Poisson jump setting, the original problem is equivalent to a complete information stochastic recursive optimal control problem of a forward-backward system with quadratic-exponential generator. In order to establish the first- and second-order variations, some new techniques are introduced to overcome difficulties caused by the quadratic-exponential feature. A new global stochastic maximum principle is deduced. As an application, a risk-sensitive optimal investment problem with factor model is studied. Moreover, the risk-sensitive stochastic filtering problem is also studied, which involves both Brownian and Poissonian correlated noises. A modified Zakai equation is obtained.
△ Less
Submitted 6 April, 2025;
originally announced April 2025.
-
A note on the existence of self-similar profiles of the hydrodynamic formulation of the focusing nonlinear Schrödinger equation
Authors:
Gonzalo Cao-Labora,
Javier Gómez-Serrano,
Jia Shi,
Gigliola Staffilani
Abstract:
After performing the Madelung transformation, the nonlinear Schrödinger equation is transformed into a hydrodynamic equation akin to the compressible Euler equations with a certain dissipation. In this short note, we construct self-similar solutions of such system in the focusing case for any mass supercritical exponent. To the best of our knowledge these solutions are new, and may formally arise…
▽ More
After performing the Madelung transformation, the nonlinear Schrödinger equation is transformed into a hydrodynamic equation akin to the compressible Euler equations with a certain dissipation. In this short note, we construct self-similar solutions of such system in the focusing case for any mass supercritical exponent. To the best of our knowledge these solutions are new, and may formally arise as potential blow-up profiles of the focusing NLS equation.
△ Less
Submitted 20 March, 2025;
originally announced March 2025.
-
Linear-Quadratic Partially Observed Mean Field Stackelberg Stochastic Differential Game
Authors:
Yu Si,
Yueyang Zheng,
Jingtao Shi
Abstract:
This paper is concerned with a linear-quadratic partially observed mean field Stackelberg stochastic differential game, which contains a leader and a large number of followers. Specifically, the followers confront a large-population Nash game subsequent to the leader's initial announcement of his strategy. In turn, the leader optimizes his own cost functional, taking into account the anticipated r…
▽ More
This paper is concerned with a linear-quadratic partially observed mean field Stackelberg stochastic differential game, which contains a leader and a large number of followers. Specifically, the followers confront a large-population Nash game subsequent to the leader's initial announcement of his strategy. In turn, the leader optimizes his own cost functional, taking into account the anticipated reactions of the followers. The state equations of both the leader and the followers are general stochastic differential equations, where the drift terms contain both the state average term and the state expectation term. However, the followers' average state terms enter into the drift term of the leader's state equation and the state expectation term of the leader enters into the state equation of the follower, reflecting the mutual influence between the leader and the followers. By utilizing the techniques of state decomposition and backward separation principle, we deduce the open-loop adapted decentralized strategies and feedback decentralized strategies of this leader-followers system, and demonstrate that the decentralized strategies are the corresponding $\varepsilon$-Stackelberg-Nash equilibrium.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
A Smooth Analytical Formulation of Collision Detection and Rigid Body Dynamics With Contact
Authors:
Onur Beker,
Nico Gürtler,
Ji Shi,
A. René Geist,
Amirreza Razmjoo,
Georg Martius,
Sylvain Calinon
Abstract:
Generating intelligent robot behavior in contact-rich settings is a research problem where zeroth-order methods currently prevail. A major contributor to the success of such methods is their robustness in the face of non-smooth and discontinuous optimization landscapes that are characteristic of contact interactions, yet zeroth-order methods remain computationally inefficient. It is therefore desi…
▽ More
Generating intelligent robot behavior in contact-rich settings is a research problem where zeroth-order methods currently prevail. A major contributor to the success of such methods is their robustness in the face of non-smooth and discontinuous optimization landscapes that are characteristic of contact interactions, yet zeroth-order methods remain computationally inefficient. It is therefore desirable to develop methods for perception, planning and control in contact-rich settings that can achieve further efficiency by making use of first and second order information (i.e., gradients and Hessians). To facilitate this, we present a joint formulation of collision detection and contact modelling which, compared to existing differentiable simulation approaches, provides the following benefits: i) it results in forward and inverse dynamics that are entirely analytical (i.e. do not require solving optimization or root-finding problems with iterative methods) and smooth (i.e. twice differentiable), ii) it supports arbitrary collision geometries without needing a convex decomposition, and iii) its runtime is independent of the number of contacts. Through simulation experiments, we demonstrate the validity of the proposed formulation as a "physics for inference" that can facilitate future development of efficient methods to generate intelligent contact-rich behavior.
△ Less
Submitted 14 April, 2025; v1 submitted 14 March, 2025;
originally announced March 2025.
-
Dynamics of a coupled nonlocal PDE-ODE system with spatial memory: well-posedness, stability, and bifurcation analysis
Authors:
Yurij Salmaniw,
Di Liu,
Junping Shi,
Hao Wang
Abstract:
Nonlocal aggregation-diffusion models, when coupled with a spatial map, can capture cognitive and memory-based influences on animal movement and population-level patterns. In this work, we study a one-dimensional reaction-diffusion-aggregation system in which a population's spatiotemporal dynamics are tightly linked to a separate, dynamically updating map. Depending on the local population density…
▽ More
Nonlocal aggregation-diffusion models, when coupled with a spatial map, can capture cognitive and memory-based influences on animal movement and population-level patterns. In this work, we study a one-dimensional reaction-diffusion-aggregation system in which a population's spatiotemporal dynamics are tightly linked to a separate, dynamically updating map. Depending on the local population density, the map amplifies and suppresses certain landscape regions and contributes to directed movement through a nonlocal spatial kernel. After establishing the well-posedness of the coupled PDE-ODE system, we perform a linear stability analysis to identify critical aggregation strengths. We then perform a rigorous bifurcation analysis to determine the precise solution behavior at a steady state near these critical thresholds, deciding whether the bifurcation is sub- or supercritical and the stability of the emergent branch. Based on our analytical findings, we highlight several interesting biological consequences. First, we observe that whether the spatial map functions as attractive or repulsive depends precisely on the map's relative excitation rate versus adaptory rate: when the excitatory effect is larger (smaller) than the adaptatory effect, the map is attractive (repulsive). Second, in the absence of growth dynamics, populations can only form a single aggregate. Therefore, the presence of intraspecific competition is necessary to drive multi-peaked aggregations, reflecting higher-frequency spatial patterns. Finally, we show how subcritical bifurcations can trigger abrupt shifts in average population abundance, suggesting a tipping-point phenomenon in which moderate changes in movement parameters can cause a sudden population decline.
△ Less
Submitted 14 March, 2025;
originally announced March 2025.
-
The Optimal Control Problem of Fully Coupled FBSDEs Driven by Sub-diffusion with Applications
Authors:
Chenhui Hao,
Jingtao Shi,
Shuaiqi Zhang
Abstract:
This paper is devoted to an optimal control problem of fully coupled forward-backward stochastic differential equations driven by sub-diffusion, whose solutions are not Markov processes. The stochastic maximum principle is obtained, where the control domain may not be convex and the diffusion term is independent of the control variable. Additionally, problem with state constraint is researched by…
▽ More
This paper is devoted to an optimal control problem of fully coupled forward-backward stochastic differential equations driven by sub-diffusion, whose solutions are not Markov processes. The stochastic maximum principle is obtained, where the control domain may not be convex and the diffusion term is independent of the control variable. Additionally, problem with state constraint is researched by using Ekeland's variational principle. The theoretical results obtained are applied to a cash management optimization problem in bear market, and the optimal strategy is derived.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Optimistic Noise-Aware Sequential Quadratic Programming for Equality Constrained Optimization with Rank-Deficient Jacobians
Authors:
Albert S. Berahas,
Jiahao Shi,
Baoyu Zhou
Abstract:
We propose and analyze a sequential quadratic programming algorithm for minimizing a noisy nonlinear smooth function subject to noisy nonlinear smooth equality constraints. The algorithm uses a step decomposition strategy and, as a result, is robust to potential rank-deficiency in the constraints, allows for two different step size strategies, and has an early stopping mechanism. Under the linear…
▽ More
We propose and analyze a sequential quadratic programming algorithm for minimizing a noisy nonlinear smooth function subject to noisy nonlinear smooth equality constraints. The algorithm uses a step decomposition strategy and, as a result, is robust to potential rank-deficiency in the constraints, allows for two different step size strategies, and has an early stopping mechanism. Under the linear independence constraint qualification, convergence is established to a neighborhood of a first-order stationary point, where the radius of the neighborhood is proportional to the noise levels in the objective function and constraints. Moreover, in the rank-deficient setting, the merit parameter may converge to zero, and convergence to a neighborhood of an infeasible stationary point is established. Numerical experiments demonstrate the efficiency and robustness of the proposed method.
△ Less
Submitted 9 March, 2025;
originally announced March 2025.
-
On determination of the bifurcation type for a free boundary problem modeling tumor growth
Authors:
Xinyue Evelyn Zhao,
Junping Shi
Abstract:
Many mathematical models in different disciplines involve the formulation of free boundary problems, where the domain boundaries are not predefined. These models present unique challenges, notably the nonlinear coupling between the solution and the boundary, which complicates the identification of bifurcation types. This paper mainly investigates the structure of symmetry-breaking bifurcations in…
▽ More
Many mathematical models in different disciplines involve the formulation of free boundary problems, where the domain boundaries are not predefined. These models present unique challenges, notably the nonlinear coupling between the solution and the boundary, which complicates the identification of bifurcation types. This paper mainly investigates the structure of symmetry-breaking bifurcations in a two-dimensional free boundary problem modeling tumor growth. By expanding the solution to a high order with respect to a small parameter and computing the bifurcation direction at each bifurcation point, we demonstrate that all the symmetry-breaking bifurcations occurred in the model, as established by the Crandall-Rabinowitz Bifurcation From Simple Eigenvalue Theorem, are pitchfork bifurcations. These findings reveal distinct behaviors between the two-dimensional and three-dimensional cases of the same model.
△ Less
Submitted 20 February, 2025;
originally announced February 2025.
-
A Stochastic Linear-Quadratic Leader-Follower Differential Game with Elephant Memory
Authors:
Xinpo Li,
Jingtao Shi
Abstract:
This paper is concerned with a stochastic linear-quadratic leader-follower differential game with elephant memory. The model is general in that the state equation for both the leader and the follower includes the elephant memory of the state and the control, which are part of the diffusion term. Under certain assumptions, the state feedback representation of the open-loop Stackelberg strategy is d…
▽ More
This paper is concerned with a stochastic linear-quadratic leader-follower differential game with elephant memory. The model is general in that the state equation for both the leader and the follower includes the elephant memory of the state and the control, which are part of the diffusion term. Under certain assumptions, the state feedback representation of the open-loop Stackelberg strategy is derived by introducing two Riccati equations and a special matrix-valued equation. Finally, theoretical results are illustrated by means of an example concerning a dynamic advertising problem with elephant memory.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
A Second-order method on graded meshes for fractional Laplacian via Riesz fractional derivative with a singular source term
Authors:
Minghua Chen,
Jianxing Han,
Jiankang Shi,
Fan Yu
Abstract:
The high-order numerical analysis for fractional Laplacian via the Riesz fractional derivative, under the low regularity solution, has presented significant challenges in the past decades. To fill in this gap, we design a grid mapping function on graded meshes to analyse the local truncation errors, which are far less than second-order convergence at the boundary layer. To restore the second-order…
▽ More
The high-order numerical analysis for fractional Laplacian via the Riesz fractional derivative, under the low regularity solution, has presented significant challenges in the past decades. To fill in this gap, we design a grid mapping function on graded meshes to analyse the local truncation errors, which are far less than second-order convergence at the boundary layer. To restore the second-order global errors, we construct an appropriate right-preconditioner for the resulting matrix algebraic equation. We prove that the proposed scheme achieves second-order convergence on graded meshes even if the source term is singular or hypersingular. Numerical experiments illustrate the theoretical results. The proposed approach is applicable for multidimensional fractional diffusion equations, gradient flows and nonlinear equations.
△ Less
Submitted 16 February, 2025;
originally announced February 2025.
-
Stability of composite Wave of Planar Viscous Shock and Rarefaction for 3D Barotropic Navier-Stokes Equations
Authors:
Jiajin Shi,
Yi Wang
Abstract:
We prove the nonlinear time-asymptotic stability of the composite wave consisting of a planar rarefaction wave and a planar viscous shock for the three-dimensional (3D) compressible barotropic Navier-Stokes equations under generic perturbations, in particular, without zero-mass conditions. It is shown that if the composite wave strength and the initial perturbations are suitably small, then 3D Nav…
▽ More
We prove the nonlinear time-asymptotic stability of the composite wave consisting of a planar rarefaction wave and a planar viscous shock for the three-dimensional (3D) compressible barotropic Navier-Stokes equations under generic perturbations, in particular, without zero-mass conditions. It is shown that if the composite wave strength and the initial perturbations are suitably small, then 3D Navier-Stokes system admits a unique global-in-time strong solution which time-asymptotically converges to the corresponding composite wave up to a time-dependent shift for planar viscous shock. Our proof is based on the $a$-contraction method with time-dependent shift and suitable weight function.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Price and Assortment Optimization under the Multinomial Logit Model with Opaque Products
Authors:
Omar El Housni,
Adam N. Elmachtoub,
Harsh Sheth,
Jiaqi Shi
Abstract:
An opaque product is a product for which only partial information is disclosed to the buyer at the time of purchase. Opaque products are common in sectors such as travel and online retail, where the car type or product color is hidden in the opaque product. Opaque products enable sellers to target customers who prefer a price discount in exchange for being flexible about the product they receive.…
▽ More
An opaque product is a product for which only partial information is disclosed to the buyer at the time of purchase. Opaque products are common in sectors such as travel and online retail, where the car type or product color is hidden in the opaque product. Opaque products enable sellers to target customers who prefer a price discount in exchange for being flexible about the product they receive. In this paper, we integrate opaque products and traditional products together into the multinomial logit (MNL) choice model and study the associated price and assortment optimization problems. For the price optimization problem, we surprisingly show that uniform pricing is optimal which implies it has the same optimal pricing solution and value as the traditional MNL model. While adding an opaque product priced at the revenue-maximizing price may enhance revenue given arbitrary traditional product prices, this advantage disappears when all prices are optimized jointly. For the assortment optimization problem, we show that the revenue-maximizing assortment is nested-by-valuation for uniformly priced products. For non-uniformly priced cases, we propose a natural nested-by-revenue-and-valuation heuristic that performs extremely well in an extensive numerical study.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
Finite groups in which every maximal invariant subgroup of order divisible by $p$ is nilpotent
Authors:
Jiangtao Shi,
Mengjiao Shan,
Fanjie Xu
Abstract:
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. For any fixed prime divisor $p$ of $|G|$, we provide a complete characterization of the structure of a group $G$ in which every maximal $A$-invariant subgroup of order divisible by $p$ is nilpotent.
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. For any fixed prime divisor $p$ of $|G|$, we provide a complete characterization of the structure of a group $G$ in which every maximal $A$-invariant subgroup of order divisible by $p$ is nilpotent.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
A note on Frobenius quotient for prime-power divisor of the exponent of finite groups
Authors:
Jiangtao Shi,
Wenjing Liu
Abstract:
Let $G$ be a finite group and $n$ be any prime-power divisor of ${\rm exp}(G)$, the exponent of $G$. Frobenius' theorem indicates that $|\{g\in G\mid g^n=1\}|=f_n\cdot n$ for some positive integer $f_n$. We call $f_n$ a Frobenius quotient of $G$ for $n$. Let $\mathcal{F}_{pp}(G)=\{f_n\mid n$ is any prime-power divisor of ${\rm exp}(G)$$\}$ and ${\rm mf}_{pp}(G)$ be the maximum Frobenius quotient i…
▽ More
Let $G$ be a finite group and $n$ be any prime-power divisor of ${\rm exp}(G)$, the exponent of $G$. Frobenius' theorem indicates that $|\{g\in G\mid g^n=1\}|=f_n\cdot n$ for some positive integer $f_n$. We call $f_n$ a Frobenius quotient of $G$ for $n$. Let $\mathcal{F}_{pp}(G)=\{f_n\mid n$ is any prime-power divisor of ${\rm exp}(G)$$\}$ and ${\rm mf}_{pp}(G)$ be the maximum Frobenius quotient in $\mathcal{F}_{pp}(G)$. In this paper, we provide a complete classification of finite group $G$ with ${\rm mf}_{pp}(G)\leq q$, where $q$ is the smallest prime divisor of $|G|$.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Finite groups in which some particular non-nilpotent maximal invariant subgroups have indices a prime-power
Authors:
Jiangtao Shi,
Mengjiao Shan,
Fanjie Xu
Abstract:
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms, assume that $G$ has a maximal $A$-invariant subgroup $M$ that is a direct product of some isomorphic simple groups, we prove that if $G$ has a non-trivial $A$-invariant normal subgroup $N$ such that $N\leq M$ and every non-nilpotent maximal $A$-invariant subgroup $K$ of $G$ not containing $N$ has index a prime-p…
▽ More
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms, assume that $G$ has a maximal $A$-invariant subgroup $M$ that is a direct product of some isomorphic simple groups, we prove that if $G$ has a non-trivial $A$-invariant normal subgroup $N$ such that $N\leq M$ and every non-nilpotent maximal $A$-invariant subgroup $K$ of $G$ not containing $N$ has index a prime-power and the projective special linear group $PSL_2(7)$ is not a composition factor of $G$, then $G$ is solvable.
△ Less
Submitted 6 February, 2025;
originally announced February 2025.
-
Extending the Leader-First Follower Structure for Bearing-only Formation Control on Directed Graphs
Authors:
Jiacheng Shi,
Daniel Zelazo
Abstract:
This work proposes an extension to the leader-first follower (LFF) class of graphs used to solve the bearing-only formation control problem over directed graphs. The first contribution provides an equilibrium, stability, and convergence analysis for a one-follower, multi-leader system (which is not an LFF graph). We then propose an extension to the LFF structure, termed \emph{ordered} LFF graphs,…
▽ More
This work proposes an extension to the leader-first follower (LFF) class of graphs used to solve the bearing-only formation control problem over directed graphs. The first contribution provides an equilibrium, stability, and convergence analysis for a one-follower, multi-leader system (which is not an LFF graph). We then propose an extension to the LFF structure, termed \emph{ordered} LFF graphs, that allows for additional forward directed edges to be included. Using the results of the one-follower multi-leader system we show that the ordered LFF graphs can be used to solve the directed bearing-only formation control problem. We also show that these structures offer improved convergence speed as compared to the LFF graphs. Numerical simulations are provided to validate the results.
△ Less
Submitted 15 June, 2025; v1 submitted 21 January, 2025;
originally announced January 2025.
-
Mean Field Backward Stochastic Differential Equations with Double Mean Reflections
Authors:
Hanwu Li,
Jin Shi
Abstract:
In this paper, we analyze the mean field backward stochastic differential equations (MFBSDEs) with double mean reflections, whose generator and constraints both depend on the distribution of the solution. When the generator is Lipschitz continuous, based on the backward Skorokhod problem with nonlinear constraints, we investigate the solvability of the doubly mean reflected MFBSDEs by constructing…
▽ More
In this paper, we analyze the mean field backward stochastic differential equations (MFBSDEs) with double mean reflections, whose generator and constraints both depend on the distribution of the solution. When the generator is Lipschitz continuous, based on the backward Skorokhod problem with nonlinear constraints, we investigate the solvability of the doubly mean reflected MFBSDEs by constructing a contraction mapping. Furthermore, if the constraints are linear, the solution can also be constructed by a penalization method. For the case of quadratic growth, we obtain the existence and uniqueness results by using a fixed-point argument, the BMO martingale theory and the θ-method.
△ Less
Submitted 18 January, 2025;
originally announced January 2025.
-
Which price to pay? Auto-tuning building MPC controller for optimal economic cost
Authors:
Jiarui Yu,
Jicheng Shi,
Wenjie Xu,
Colin N. Jones
Abstract:
Model predictive control (MPC) controller is considered for temperature management in buildings but its performance heavily depends on hyperparameters. Consequently, MPC necessitates meticulous hyperparameter tuning to attain optimal performance under diverse contracts. However, conventional building controller design is an open-loop process without critical hyperparameter optimization, often lead…
▽ More
Model predictive control (MPC) controller is considered for temperature management in buildings but its performance heavily depends on hyperparameters. Consequently, MPC necessitates meticulous hyperparameter tuning to attain optimal performance under diverse contracts. However, conventional building controller design is an open-loop process without critical hyperparameter optimization, often leading to suboptimal performance due to unexpected environmental disturbances and modeling errors. Furthermore, these hyperparameters are not adapted to different pricing schemes and may lead to non-economic operations. To address these issues, we propose an efficient performance-oriented building MPC controller tuning method based on a cutting-edge efficient constrained Bayesian optimization algorithm, CONFIG, with global optimality guarantees. We demonstrate that this technique can be applied to efficiently deal with real-world DSM program selection problems under customized black-box constraints and objectives. In this study, a simple MPC controller, which offers the advantages of reduced commissioning costs, enhanced computational efficiency, was optimized to perform on a comparable level to a delicately designed and computationally expensive MPC controller. The results also indicate that with an optimized simple MPC, the monthly electricity cost of a household can be reduced by up to 26.90% compared with the cost when controlled by a basic rule-based controller under the same constraints. Then we compared 12 real electricity contracts in Belgium for a household family with customized black-box occupant comfort constraints. The results indicate a monthly electricity bill saving up to 20.18% when the most economic contract is compared with the worst one, which again illustrates the significance of choosing a proper electricity contract.
△ Less
Submitted 18 January, 2025;
originally announced January 2025.
-
Decentralized Strategies for Backward Linear-Quadratic Mean Field Games and Teams
Authors:
Yu Si,
Jingtao Shi
Abstract:
This paper studies a new class of linear-quadratic mean field games and teams problem, where the large-population system satisfies a class of $N$ weakly coupled linear backward stochastic differential equations (BSDEs), and $z_i$ (a part of solution of BSDE) enter the state equations and cost functionals. By virtue of stochastic maximum principle and optimal filter technique, we obtain a Hamiltoni…
▽ More
This paper studies a new class of linear-quadratic mean field games and teams problem, where the large-population system satisfies a class of $N$ weakly coupled linear backward stochastic differential equations (BSDEs), and $z_i$ (a part of solution of BSDE) enter the state equations and cost functionals. By virtue of stochastic maximum principle and optimal filter technique, we obtain a Hamiltonian system first, which is a fully coupled forward-backward stochastic differential equation (FBSDE). Decoupling the Hamiltonian system, we derive a feedback form optimal strategy by introducing Riccati equations, stochastic differential equation (SDE) and BSDE. Finally, we provide a numerical example to simulate our results.
△ Less
Submitted 1 January, 2025;
originally announced January 2025.
-
On finite groups in which some maximal invariant subgroups have indices a prime or the square of a prime
Authors:
Jiangtao Shi,
Yunfeng Tian
Abstract:
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms, we first prove some results on the solvability of finite groups in which some maximal $A$-invariant subgroups have indices a prime or the square of a prime. Our results generalize Hall's theorem and some other known results. Moreover, we obtain a complete characterization of finite groups in which every non-nilp…
▽ More
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms, we first prove some results on the solvability of finite groups in which some maximal $A$-invariant subgroups have indices a prime or the square of a prime. Our results generalize Hall's theorem and some other known results. Moreover, we obtain a complete characterization of finite groups in which every non-nilpotent maximal $A$-invariant subgroup that contains the normalizer of some $A$-invariant Sylow subgroup has index a prime.
△ Less
Submitted 3 January, 2025;
originally announced January 2025.
-
Linear-Quadratic Stackelberg Mean Field Games and Teams with Arbitrary Population Sizes
Authors:
Wenyu Cong,
Jingtao Shi,
Bingchang Wang
Abstract:
This paper addresses a linear-quadratic Stackelberg mean field (MF) games and teams problem with arbitrary population sizes, where the game among the followers is further categorized into two types: non-cooperative and cooperative, and the number of followers can be finite or infinite. The leader commences by providing its strategy, and subsequently, each follower optimizes its individual cost or…
▽ More
This paper addresses a linear-quadratic Stackelberg mean field (MF) games and teams problem with arbitrary population sizes, where the game among the followers is further categorized into two types: non-cooperative and cooperative, and the number of followers can be finite or infinite. The leader commences by providing its strategy, and subsequently, each follower optimizes its individual cost or social cost. A new de-aggregation method is applied to solve the problem, which is instrumental in determining the optimal strategy of followers to the leader's strategy. Unlike previous studies that focus on MF games and social optima, and yield decentralized asymptotically optimal strategies relative to the centralized strategy set, the strategies presented here are exact decentralized optimal strategies relative to the decentralized strategy set. This distinction is crucial as it highlights a shift in the approach to MF systems, emphasizing the precision and direct applicability of the strategies to the decentralized context. In the wake of the implementation of followers' strategies, the leader is confronted with an optimal control problem driven by high-dimensional forward-backward stochastic differential equations (FBSDEs). By variational analysis, we obtain the decentralized strategy for the leader. By applying the de-aggregation method and employing dimension expansion to decouple the high-dimensional FBSDEs, we are able to derive a set of decentralized Stackelberg-Nash or Stackelberg-team equilibrium solution for all players.
△ Less
Submitted 17 December, 2024;
originally announced December 2024.
-
Three-Level Multi-Leader-Follower Incentive Stackelberg Differential Game with $H_\infty$ Constraint
Authors:
Na Xiang,
Jingtao Shi
Abstract:
This paper is concerned with a three-level multi-leader-follower incentive Stackelberg game with $H_\infty$ constraint. Based on $H_2/H_\infty$ control theory, we firstly obtain the worst-case disturbance and the team-optimal strategy by dealing with a nonzero-sum stochastic differential game. The main objective is to establish an incentive Stackelberg strategy set of the three-level hierarchy in…
▽ More
This paper is concerned with a three-level multi-leader-follower incentive Stackelberg game with $H_\infty$ constraint. Based on $H_2/H_\infty$ control theory, we firstly obtain the worst-case disturbance and the team-optimal strategy by dealing with a nonzero-sum stochastic differential game. The main objective is to establish an incentive Stackelberg strategy set of the three-level hierarchy in which the whole system achieves the top leader's team-optimal solution and attenuates the external disturbance under $H_\infty$ constraint. On the other hand, followers on the bottom two levels in turn attain their state feedback Nash equilibrium, ensuring incentive Stackelberg strategies while considering the worst-case disturbance. By convex analysis theory, maximum principle and decoupling technique, the three-level incentive Stackelberg strategy set is obtained. Finally, a numerical example is given to illustrate the existence of the proposed strategy set.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
A linear-quadratic partially observed Stackelberg stochastic differential game with multiple followers and its application to multi-agent formation control
Authors:
Yichun Li,
Yaozhong Hu,
Jingtao Shi,
Yueyang Zheng
Abstract:
In this paper, we study a linear-quadratic partially observed Stackelberg stochastic differential game problem in which a single leader and multiple followers are involved. We consider more practical formulation for partial information that none of them can observed the complete information and the followers know more than the leader. Some completely different methods including orthogonal decompos…
▽ More
In this paper, we study a linear-quadratic partially observed Stackelberg stochastic differential game problem in which a single leader and multiple followers are involved. We consider more practical formulation for partial information that none of them can observed the complete information and the followers know more than the leader. Some completely different methods including orthogonal decomposition are applied to overcome the difficulties caused by partially observability which improves the tools and relaxes the constraint condition imposed on admissible control in the existing literature. More precisely, the followers encounter the standard linear-quadratic partially observed optimal control problems, however, a kind of forward-backward indefinite linear-quadratic partially observed optimal control problem is considered by the leader. Instead of maximum principle of forward-backward control systems, inspired by the existing work related to definite case and classical forward control system, some distinct forward-backward linear-quadratic decoupling techniques including the method of completion of squares are applied to solve the leader's problem. More interestingly, we develop the deterministic formation control in multi-agent system with a framework of Stackelberg differential game and extend it to the stochastic case. The optimal strategies are obtained by our theoretical result suitably.
△ Less
Submitted 25 April, 2025; v1 submitted 9 December, 2024;
originally announced December 2024.
-
Backward Linear-Quadratic Mean Field Stochastic Differential Games: A Direct Method
Authors:
Yu Si,
Jingtao Shi
Abstract:
This paper studies a linear-quadratic mean-field game of stochastic large-population system, where the large-population system satisfies a class of $N$ weakly coupled linear backward stochastic differential equation. Different from the fixed-point approach commonly used to address large population problems, we first directly apply the maximum principle and decoupling techniques to solve a multi-ag…
▽ More
This paper studies a linear-quadratic mean-field game of stochastic large-population system, where the large-population system satisfies a class of $N$ weakly coupled linear backward stochastic differential equation. Different from the fixed-point approach commonly used to address large population problems, we first directly apply the maximum principle and decoupling techniques to solve a multi-agent problem, obtaining a centralized optimal strategy. Then, by letting $N$ tend to infinity, we establish a decentralized optimal strategy. Subsequently, we prove that the decentralized optimal strategy constitutes an $ε$-Nash equilibrium for this game. Finally, we provide a numerical example to simulate our results.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Large Deviations of Cover Time of Tori in Dimensions $d\geq 3$
Authors:
Xinyi Li,
Jialu Shi,
Qiheng Xu
Abstract:
We consider large deviations of the cover time of the discrete torus $(\mathbb{Z}/N\mathbb{Z})^d$, $d \geq 3$ by simple random walk. We prove a lower bound on the probability that the cover time is smaller than $γ\in (0,1)$ times its expected value, with exponents matching the upper bound from [Goodman-den Hollander, Probab. Theory Related Fields (2014)] and [Comets-Gallesco-Popov-Vachkovskaia, El…
▽ More
We consider large deviations of the cover time of the discrete torus $(\mathbb{Z}/N\mathbb{Z})^d$, $d \geq 3$ by simple random walk. We prove a lower bound on the probability that the cover time is smaller than $γ\in (0,1)$ times its expected value, with exponents matching the upper bound from [Goodman-den Hollander, Probab. Theory Related Fields (2014)] and [Comets-Gallesco-Popov-Vachkovskaia, Electron. J. Probab. (2013)]. Moreover, we derive sharp asymptotics for $γ\in (\frac{d+2}{2d},1)$. The strong coupling of the random walk on the torus and random interlacements developed in a recent work [Prévost-Rodriguez-Sousi, arXiv:2309.03192] serves as an important ingredient in the proofs.
△ Less
Submitted 12 May, 2025; v1 submitted 25 November, 2024;
originally announced November 2024.
-
Finite-time stability of nonlinear conformable fractional-order delayed impulsive systems: Impulsive control and perturbation perspectives
Authors:
L. Luo,
L. Li,
Z. Liu,
J. Shi
Abstract:
This paper investigates the finite-time stability (FTS) of nonlinear conformable fractional-order delayed impulsive systems (CFODISs). Using the conformable fractional-order (CFO) derivative framework, we derive a novel FTS result by extending the existing works on continuous integer-order (IO) systems. This result highlights that the settling time of continuous CFO systems depends on the system o…
▽ More
This paper investigates the finite-time stability (FTS) of nonlinear conformable fractional-order delayed impulsive systems (CFODISs). Using the conformable fractional-order (CFO) derivative framework, we derive a novel FTS result by extending the existing works on continuous integer-order (IO) systems. This result highlights that the settling time of continuous CFO systems depends on the system order and plays a crucial role in discussing FTS scenarios subject to delayed impulses. We establish Lyapunov-based FTS criteria for CFODISs, considering both impulsive control and impulsive perturbation. Additionally, we estimate the settling time for both cases, revealing distinct forms compared to the IO case. We apply the theoretical results to delayed impulsive conformable fractional-order memristive neural networks (CFOMNNs) under an elaborately designed controller. We present several simulations to illustrate the validity and applicability of our results.
△ Less
Submitted 12 October, 2024;
originally announced October 2024.
-
Non-radial implosion for the defocusing nonlinear Schrödinger equation in $\mathbb{T}^d$ and $\mathbb{R}^d$
Authors:
Gonzalo Cao-Labora,
Javier Gómez-Serrano,
Jia Shi,
Gigliola Staffilani
Abstract:
In this paper we construct smooth, non-radial solutions of the defocusing nonlinear Schrödinger equation that develop an imploding finite time singularity, both in the periodic setting and the full space.
In this paper we construct smooth, non-radial solutions of the defocusing nonlinear Schrödinger equation that develop an imploding finite time singularity, both in the periodic setting and the full space.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
Large deviation inequalities for the nonlinear unbalanced urn model
Authors:
Jianan Shi,
Zhenhong Yu,
Yu Miao
Abstract:
In the present paper, we consider the two-color nonlinear unbalanced urn model, under a drawing rule reinforced by an $\mathbb{R}^+$-valued concave function and an unbalanced replacement matrix. The large deviation inequalities for the nonlinear unbalanced urn model are established by using the stochastic approximation theory. As an auxiliary theory, we give a specific large deviation inequality f…
▽ More
In the present paper, we consider the two-color nonlinear unbalanced urn model, under a drawing rule reinforced by an $\mathbb{R}^+$-valued concave function and an unbalanced replacement matrix. The large deviation inequalities for the nonlinear unbalanced urn model are established by using the stochastic approximation theory. As an auxiliary theory, we give a specific large deviation inequality for a general stochastic approximation algorithm.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Difference Between Cyclic and Distributed Approach in Stochastic Optimization for Multi-agent System
Authors:
Jiahao Shi,
James C. Spall
Abstract:
Many stochastic optimization problems in multi-agent systems can be decomposed into smaller subproblems or reduced decision subspaces. The cyclic and distributed approaches are two widely used strategies for solving such problems. In this manuscript, we review four existing methods for addressing these problems and compare them based on their suitable problem frameworks and update rules.
Many stochastic optimization problems in multi-agent systems can be decomposed into smaller subproblems or reduced decision subspaces. The cyclic and distributed approaches are two widely used strategies for solving such problems. In this manuscript, we review four existing methods for addressing these problems and compare them based on their suitable problem frameworks and update rules.
△ Less
Submitted 8 September, 2024;
originally announced September 2024.
-
Stochastic maximum principle for optimal control problem with varying terminal time and non-convex control domain
Authors:
Jin Shi,
Shuzhen Yang
Abstract:
In this paper, we consider a varying terminal time structure for the stochastic optimal control problem under state constraints, in which the terminal time varies with the mean value of the state. In this new stochastic optimal control system, the control domain does not need to be convex and the diffusion coefficient contains the control variable. To overcome the difficulty in the proof of the re…
▽ More
In this paper, we consider a varying terminal time structure for the stochastic optimal control problem under state constraints, in which the terminal time varies with the mean value of the state. In this new stochastic optimal control system, the control domain does not need to be convex and the diffusion coefficient contains the control variable. To overcome the difficulty in the proof of the related Pontryagin's stochastic maximum principle, we develop asymptotic first- and second-order adjoint equations for the varying terminal time, and then establish its variational equation. In the end, two examples are given to verify the main results of this study.
△ Less
Submitted 4 September, 2024;
originally announced September 2024.
-
Potential Hessian Ascent: The Sherrington-Kirkpatrick Model
Authors:
David Jekel,
Juspreet Singh Sandhu,
Jonathan Shi
Abstract:
We present the first iterative spectral algorithm to find near-optimal solutions for a random quadratic objective over the discrete hypercube, resolving a conjecture of Subag [Subag, Communications on Pure and Applied Mathematics, 74(5), 2021].
The algorithm is a randomized Hessian ascent in the solid cube, with the objective modified by subtracting an instance-independent potential function [Ch…
▽ More
We present the first iterative spectral algorithm to find near-optimal solutions for a random quadratic objective over the discrete hypercube, resolving a conjecture of Subag [Subag, Communications on Pure and Applied Mathematics, 74(5), 2021].
The algorithm is a randomized Hessian ascent in the solid cube, with the objective modified by subtracting an instance-independent potential function [Chen et al., Communications on Pure and Applied Mathematics, 76(7), 2023].
Using tools from free probability theory, we construct an approximate projector into the top eigenspaces of the Hessian, which serves as the covariance matrix for the random increments. With high probability, the iterates' empirical distribution approximates the solution to the primal version of the Auffinger-Chen SDE [Auffinger et al., Communications in Mathematical Physics, 335, 2015]. The per-iterate change in the modified objective is bounded via a Taylor expansion, where the derivatives are controlled through Gaussian concentration bounds and smoothness properties of a semiconcave regularization of the Fenchel-Legendre dual to the Parisi PDE.
These results lay the groundwork for (possibly) demonstrating low-degree sum-of-squares certificates over high-entropy step distributions for a relaxed version of the Parisi formula [Open Question 1.8, arXiv:2401.14383].
△ Less
Submitted 3 September, 2024; v1 submitted 5 August, 2024;
originally announced August 2024.
-
Finite groups with some particular maximal invariant subgroups being nilpotent or all non-nilpotent maximal invariant subgroups being normal
Authors:
Jiangtao Shi,
Fanjie Xu
Abstract:
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. We provide a complete classification of a finite group $G$ in which every maximal $A$-invariant subgroup containing the normalizer of some $A$-invariant Sylow subgroup is nilpotent. Moreover, we show that both the hypothesis that every maximal $A$-invariant subgroup of $G$ containing the normalizer of some $A$-i…
▽ More
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. We provide a complete classification of a finite group $G$ in which every maximal $A$-invariant subgroup containing the normalizer of some $A$-invariant Sylow subgroup is nilpotent. Moreover, we show that both the hypothesis that every maximal $A$-invariant subgroup of $G$ containing the normalizer of some $A$-invariant Sylow subgroup is nilpotent and the hypothesis that every non-nilpotent maximal $A$-invariant subgroup of $G$ is normal are equivalent.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
On the Effects of Smoothing Rugged Landscape by Different Toy Problems: A Case Study on UBQP
Authors:
Wei Wang,
Jialong Shi,
Jianyong Sun,
Arnaud Liefooghe,
Qingfu Zhang,
Ye Fan
Abstract:
The hardness of the Unconstrained Binary Quadratic Program (UBQP) problem is due its rugged landscape. Various algorithms have been proposed for UBQP, including the Landscape Smoothing Iterated Local Search (LSILS). Different from other UBQP algorithms, LSILS tries to smooth the rugged landscape by building a convex combination of the original UBQP and a toy UBQP. In this paper, our study further…
▽ More
The hardness of the Unconstrained Binary Quadratic Program (UBQP) problem is due its rugged landscape. Various algorithms have been proposed for UBQP, including the Landscape Smoothing Iterated Local Search (LSILS). Different from other UBQP algorithms, LSILS tries to smooth the rugged landscape by building a convex combination of the original UBQP and a toy UBQP. In this paper, our study further investigates the impact of smoothing rugged landscapes using different toy UBQP problems, including a toy UBQP with matrix ^Q1 (construct by "+/-1"), a toy UBQP with matrix ^Q2 (construct by "+/-i") and a toy UBQP with matrix ^Q3 (construct randomly). We first assess the landscape flatness of the three toy UBQPs. Subsequently, we test the efficiency of LSILS with different toy UBQPs. Results reveal that the toy UBQP with ^Q1 (construct by "+/-1") exhibits the flattest landscape among the three, while the toy UBQP with ^Q3 (construct randomly) presents the most non-flat landscape. Notably, LSILS using the toy UBQP with ^Q2 (construct by "+/-i") emerges as the most effective, while ^Q3 (construct randomly) has the poorest result. These findings contribute to a detailed understanding of landscape smoothing techniques in optimizing UBQP.
△ Less
Submitted 28 July, 2024;
originally announced July 2024.
-
Stochastic Linear-Quadratic Stackelberg Differential Game with Asymmetric Informational Uncertainties: Robust Optimization Approach
Authors:
Na Xiang,
Jingtao Shi
Abstract:
This paper is concerned with a two-person zero-sum indefinite stochastic linear-quadratic Stackelberg differential game with asymmetric informational uncertainties, where both the leader and follower face different and unknown disturbances. We take a robust optimization approach and soft-constraint analysis, a min-max stochastic linear-quadratic optimal control problem is solved by the follower fi…
▽ More
This paper is concerned with a two-person zero-sum indefinite stochastic linear-quadratic Stackelberg differential game with asymmetric informational uncertainties, where both the leader and follower face different and unknown disturbances. We take a robust optimization approach and soft-constraint analysis, a min-max stochastic linear-quadratic optimal control problem is solved by the follower firstly. Then, the leader deal with a max-min stochastic linear-quadratic optimal control problem of forward-backward stochastic differential equations in an augmented space. State feedback representation of the robust Stackelberg equilibrium is given in a more explicit form by decoupling technique, via some Riccati equations.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
A General Maximum Principle for Progressive Optimal Control of Fully Coupled Forward-Backward Stochastic Systems with Jumps
Authors:
Bin Wang,
Yu Si,
Jingtao Shi
Abstract:
This paper is concerned with a general maximum principle for the fully coupled forward-backward stochastic optimal control problem with jumps, where the control domain is not necessarily convex, within the progressively measurable framework. A distinct feature in this paper is that the solution $Z$ of BSDEPs could include the variable ``$e$'', further, the diffusion term of BSDEPs takes the form…
▽ More
This paper is concerned with a general maximum principle for the fully coupled forward-backward stochastic optimal control problem with jumps, where the control domain is not necessarily convex, within the progressively measurable framework. A distinct feature in this paper is that the solution $Z$ of BSDEPs could include the variable ``$e$'', further, the diffusion term of BSDEPs takes the form $\int_{\mathcal{E}}Z_{(t,e)}ν(d e)d W_t$ rather than the conventional $Z_t dW_t$, reflecting the essential coupling between the solution component $Z$ and the Polish space $\mathcal{E}$.
△ Less
Submitted 25 March, 2025; v1 submitted 4 July, 2024;
originally announced July 2024.
-
Modified Line Search Sequential Quadratic Methods for Equality-Constrained Optimization with Unified Global and Local Convergence Guarantees
Authors:
Albert S. Berahas,
Raghu Bollapragada,
Jiahao Shi
Abstract:
In this paper, we propose a method that has foundations in the line search sequential quadratic programming paradigm for solving general nonlinear equality constrained optimization problems. The method employs a carefully designed modified line search strategy that utilizes second-order information of both the objective and constraint functions, as required, to mitigate the Maratos effect. Contrar…
▽ More
In this paper, we propose a method that has foundations in the line search sequential quadratic programming paradigm for solving general nonlinear equality constrained optimization problems. The method employs a carefully designed modified line search strategy that utilizes second-order information of both the objective and constraint functions, as required, to mitigate the Maratos effect. Contrary to classical line search sequential quadratic programming methods, our proposed method is endowed with global convergence and local superlinear convergence guarantees. Moreover, we extend the method and analysis to the setting in which the constraint functions are deterministic but the objective function is stochastic or can be represented as a finite-sum. We also design and implement a practical inexact matrix-free variant of the method. Finally, numerical results illustrate the efficiency and efficacy of the method.
△ Less
Submitted 26 July, 2024; v1 submitted 16 June, 2024;
originally announced June 2024.
-
Linear-Quadratic Mean Field Stackelberg Stochastic Differential Game with Partial Information and Common Noise
Authors:
Yu Si,
Jingtao Shi
Abstract:
This paper is concerned with a linear-quadratic mean field Stackelberg stochastic differential game with partial information and common noise, which contains a leader and a large number of followers. To be specific, the followers face a large population Nash game after the leader first announces his strategy, while the leader will then optimize his own cost functional on consideration of the follo…
▽ More
This paper is concerned with a linear-quadratic mean field Stackelberg stochastic differential game with partial information and common noise, which contains a leader and a large number of followers. To be specific, the followers face a large population Nash game after the leader first announces his strategy, while the leader will then optimize his own cost functional on consideration of the followers' reactions. The state equation of the leader and followers are both general stochastic differential equations, where the diffusion terms contain both the control and state variables. However, the followers' average state terms enter into the drift term of the leader's state equation, reflecting that the leader's state is influenced by the followers' states. By virtue of stochastic maximum principle with partial information and optimal filter technique, we deduce the open-loop adapted decentralized strategies and feedback decentralized strategies of this leader-followers system, and demonstrate that the decentralized strategies are the corresponding $\varepsilon$-Stackelberg-Nash equilibrium.
△ Less
Submitted 23 March, 2025; v1 submitted 5 May, 2024;
originally announced May 2024.
-
Direct Approach of Indefinite Linear-Quadratic Mean Field Games
Authors:
Wenyu Cong,
Jingtao Shi
Abstract:
This paper is concerned with an indefinite linear-quadratic mean field games of stochastic large-population system, where the individual diffusion coefficients can depend on both the state and the control of the agents. Moreover, the control weights in the cost functionals could be indefinite. A direct approach is used to derive the $ε$-Nash equilibrium strategy. First, we formally solving an $N$-…
▽ More
This paper is concerned with an indefinite linear-quadratic mean field games of stochastic large-population system, where the individual diffusion coefficients can depend on both the state and the control of the agents. Moreover, the control weights in the cost functionals could be indefinite. A direct approach is used to derive the $ε$-Nash equilibrium strategy. First, we formally solving an $N$-player game problem within a vast and finite population setting. Subsequently, decoupling or reducing high-dimensional systems by introducing two Riccati equations explicitly yields centralized strategies, contingent on the state of a specific player and the average state of the population. As the population size $N$ goes infinity, the construction of decentralized strategies becomes feasible. Then, we demonstrated they are an $ε$-Nash equilibrium. Numerical examples are provided to demonstrate the effectiveness of the proposed strategies.
△ Less
Submitted 27 June, 2024; v1 submitted 7 April, 2024;
originally announced April 2024.
-
On generalizations of Iwasawa's theorem
Authors:
Jiangtao Shi,
Fanjie Xu,
Mengjiao Shan
Abstract:
Iwasawa's theorem indicates that a finite group $G$ is supersolvable if and only if all maximal chains of the identity in $G$ have the same length. As generalizations of Iwasawa's theorem, we provide some characterizations of the structure of a finite group $G$ in which all maximal chains of every minimal subgroup have the same length. Moreover, let $δ(G)$ be the number of subgroups of $G$ all of…
▽ More
Iwasawa's theorem indicates that a finite group $G$ is supersolvable if and only if all maximal chains of the identity in $G$ have the same length. As generalizations of Iwasawa's theorem, we provide some characterizations of the structure of a finite group $G$ in which all maximal chains of every minimal subgroup have the same length. Moreover, let $δ(G)$ be the number of subgroups of $G$ all of whose maximal chains in $G$ do not have the same length, we prove that $G$ is a non-solvable group with $δ(G)\leq 16$ if and only if $G\cong A_5$.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Relationship between General MP and DPP for the Stochastic Recursive Optimal Control Problem With Jumps: Viscosity Solution Framework
Authors:
Bin Wang,
Jingtao Shi
Abstract:
This paper is concerned with the relationship between general maximum principle and dynamic programming principle for the stochastic recursive optimal control problem with jumps, where the control domain is not necessarily convex. Relations among the adjoint processes, the generalized Hamiltonian function and the value function are proved, under the assumption of a smooth value function and within…
▽ More
This paper is concerned with the relationship between general maximum principle and dynamic programming principle for the stochastic recursive optimal control problem with jumps, where the control domain is not necessarily convex. Relations among the adjoint processes, the generalized Hamiltonian function and the value function are proved, under the assumption of a smooth value function and within the framework of viscosity solutions, respectively. Some examples are given to illustrate the theoretical results.
△ Less
Submitted 2 June, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
A Survey of Resilient Coordination for Cyber-Physical Systems Against Malicious Attacks
Authors:
Zirui Liao,
Jian Shi,
Yuwei Zhang,
Shaoping Wang,
Zhiyong Sun
Abstract:
Cyber-physical systems (CPSs) facilitate the integration of physical entities and cyber infrastructures through the utilization of pervasive computational resources and communication units, leading to improved efficiency, automation, and practical viability in both academia and industry. Due to its openness and distributed characteristics, a critical issue prevalent in CPSs is to guarantee resilie…
▽ More
Cyber-physical systems (CPSs) facilitate the integration of physical entities and cyber infrastructures through the utilization of pervasive computational resources and communication units, leading to improved efficiency, automation, and practical viability in both academia and industry. Due to its openness and distributed characteristics, a critical issue prevalent in CPSs is to guarantee resilience in presence of malicious attacks. This paper conducts a comprehensive survey of recent advances on resilient coordination for CPSs. Different from existing survey papers, we focus on the node injection attack and propose a novel taxonomy according to the multi-layered framework of CPS. Furthermore, miscellaneous resilient coordination problems are discussed in this survey. Specifically, some preliminaries and the fundamental problem settings are given at the beginning. Subsequently, based on a multi-layered framework of CPSs, promising results of resilient consensus are classified and reviewed from three perspectives: physical structure, communication mechanism, and network topology. Next, two typical application scenarios, i.e., multi-robot systems and smart grids are exemplified to extend resilient consensus to other coordination tasks. Particularly, we examine resilient containment and resilient distributed optimization problems, both of which demonstrate the applicability of resilient coordination approaches. Finally, potential avenues are highlighted for future research.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Error analysis of a collocation method on graded meshes for nonlocal diffusion problems with weakly singular kernels
Authors:
Minghua Chen,
Chao Min,
Jiankang Shi,
Jizeng Wang
Abstract:
Can graded meshes yield more accurate numerical solution than uniform meshes? A time-dependent nonlocal diffusion problem with a weakly singular kernel is considered using collocation method. For its steady-state counterpart, under the sufficiently smooth solution, we first clarify that the standard graded meshes are worse than uniform meshes and may even lead to divergence; instead, an optimal co…
▽ More
Can graded meshes yield more accurate numerical solution than uniform meshes? A time-dependent nonlocal diffusion problem with a weakly singular kernel is considered using collocation method. For its steady-state counterpart, under the sufficiently smooth solution, we first clarify that the standard graded meshes are worse than uniform meshes and may even lead to divergence; instead, an optimal convergence rate arises in so-called anomalous graded meshes. Furthermore, under low regularity solutions, it may suffer from a severe order reduction in (Chen, Qi, Shi and Wu, IMA J. Numer. Anal., 41 (2021) 3145--3174). In this case, conversely, a sharp error estimates appears in standard graded meshes, but offering far less than first-order accuracy. For the time-dependent case, however, second-order convergence can be achieved on graded meshes. The related analysis are easily extended for certain multidimensional problems. Numerical results are provided that confirm the sharpness of the error estimates.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Direct Approach of Linear-Quadratic Stackelberg Mean Field Games of Backward-Forward Stochastic Systems
Authors:
Wenyu Cong,
Jingtao Shi
Abstract:
This paper is concerned with a linear-quadratic (LQ) Stackelberg mean field games of backward-forward stochastic systems, involving a backward leader and a substantial number of forward followers. The leader initiates by providing its strategy, and subsequently, each follower optimizes its individual cost. A direct approach is applied to solve this game. Initially, we address a mean field game pro…
▽ More
This paper is concerned with a linear-quadratic (LQ) Stackelberg mean field games of backward-forward stochastic systems, involving a backward leader and a substantial number of forward followers. The leader initiates by providing its strategy, and subsequently, each follower optimizes its individual cost. A direct approach is applied to solve this game. Initially, we address a mean field game problem, determining the optimal response of followers to the leader's strategy. Following the implementation of followers' strategies, the leader faces an optimal control problem driven by high-dimensional forward-backward stochastic differential equations (FBSDEs). Through the decoupling of the high-dimensional Hamiltonian system using mean field approximations, we formulate a set of decentralized strategies for all players, demonstrated to be an $(ε_1, ε_2)$-Stackelberg equilibrium.
△ Less
Submitted 26 June, 2024; v1 submitted 28 January, 2024;
originally announced January 2024.
-
Sum-of-Squares & Gaussian Processes I: Certification
Authors:
Juspreet Singh Sandhu,
Jonathan Shi
Abstract:
We introduce a class of distributions which may be considered as a smoothed probabilistic version of the ultrametric property that famously characterizes the Gibbs distributions of various spin glass models. This class of \emph{high-entropy step} (HES) distributions is expressive enough to capture a distribution achieving near-optimal average energy on spin glass models in the so-called full Repli…
▽ More
We introduce a class of distributions which may be considered as a smoothed probabilistic version of the ultrametric property that famously characterizes the Gibbs distributions of various spin glass models. This class of \emph{high-entropy step} (HES) distributions is expressive enough to capture a distribution achieving near-optimal average energy on spin glass models in the so-called full Replica-Symmetry Breaking (fRSB) regime.
Simultaneously, with high probability, there are polynomial-size certificates on the average energy achievable by \emph{any} HES distribution which are tight within a constant factor. These certificates can be found in polynomial time by a semidefinite program corresponding to a sum-of-squares (SoS) hierarchy we introduce, termed the HES SoS hierarchy. This improves over classical sum-of-squares certificates which are loose by a factor of $n^{\lfloor p/2 - 1\rfloor/2}$.
△ Less
Submitted 6 October, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
High-order BDF convolution quadrature for stochastic fractional evolution equations driven by integrated additive noise
Authors:
Minghua Chen,
Jiankang Shi,
Zhen Song,
Yubin Yan,
Zhi Zhou
Abstract:
The numerical analysis of stochastic time fractional evolution equations presents considerable challenges due to the limited regularity of the model caused by the nonlocal operator and the presence of noise.
The existing time-stepping methods exhibit a significantly low order convergence rate. In this work, we introduce a smoothing technique and develop the novel high-order schemes for solving t…
▽ More
The numerical analysis of stochastic time fractional evolution equations presents considerable challenges due to the limited regularity of the model caused by the nonlocal operator and the presence of noise.
The existing time-stepping methods exhibit a significantly low order convergence rate. In this work, we introduce a smoothing technique and develop the novel high-order schemes for solving the linear stochastic fractional evolution equations driven by integrated additive noise. Our approach involves regularizing the additive noise through an $m$-fold integral-differential calculus, and discretizing the equation using the $k$-step BDF convolution quadrature. This novel method, which we refer to as the ID$m$-BDF$k$ method, is able to achieve higher-order convergence in solving the stochastic models. Our theoretical analysis reveals that the convergence rate of the ID$2$-BDF2 method is $O(τ^{α+ γ-1/2})$ for $1< α+ γ\leq 5/2$, and $O(τ^{2})$ for $5/2< α+ γ<3$, where $α\in (1, 2)$ and $γ\in (0, 1)$ denote the time fractional order and the order of the integrated noise, respectively. Furthermore, this convergence rate could be improved to $O(τ^{α+ γ-1/2})$ for any $α\in (1, 2)$ and $γ\in (0, 1)$, if we employ the ID$3$-BDF3 method. The argument could be easily extended to the subdiffusion model with $α\in (0, 1)$. Numerical examples are provided to support and complement the theoretical findings.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
A Novel Noise-Aware Classical Optimizer for Variational Quantum Algorithms
Authors:
Jeffrey Larson,
Matt Menickelly,
Jiahao Shi
Abstract:
A key component of variational quantum algorithms (VQAs) is the choice of classical optimizer employed to update the parameterization of an ansatz. It is well recognized that quantum algorithms will, for the foreseeable future, necessarily be run on noisy devices with limited fidelities. Thus, the evaluation of an objective function (e.g., the guiding function in the quantum approximate optimizati…
▽ More
A key component of variational quantum algorithms (VQAs) is the choice of classical optimizer employed to update the parameterization of an ansatz. It is well recognized that quantum algorithms will, for the foreseeable future, necessarily be run on noisy devices with limited fidelities. Thus, the evaluation of an objective function (e.g., the guiding function in the quantum approximate optimization algorithm (QAOA) or the expectation of the electronic Hamiltonian in variational quantum eigensolver (VQE)) required by a classical optimizer is subject not only to stochastic error from estimating an expected value but also to error resulting from intermittent hardware noise. Model-based derivative-free optimization methods have emerged as popular choices of a classical optimizer in the noisy VQA setting, based on empirical studies. However, these optimization methods were not explicitly designed with the consideration of noise. In this work we adapt recent developments from the ``noise-aware numerical optimization'' literature to these commonly used derivative-free model-based methods. We introduce the key defining characteristics of these novel noise-aware derivative-free model-based methods that separate them from standard model-based methods. We study an implementation of such noise-aware derivative-free model-based methods and compare its performance on demonstrative VQA simulations to classical solvers packaged in \texttt{scikit-quant}.
△ Less
Submitted 14 June, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
An overlapping information linear-quadratic Stackelberg stochastic differential game with two leaders and two followers
Authors:
Yu Si,
Jingtao Shi
Abstract:
This paper is concerned with an overlapping information linear-quadratic (LQ) Stackelberg stochastic differential game with two leaders and two followers, where the diffusion terms of the state equation contain both the control and state variables. A distinct feature lies in that, the noisy information available to the leaders and the followers may be asymmetric and have overlapping part. Using a…
▽ More
This paper is concerned with an overlapping information linear-quadratic (LQ) Stackelberg stochastic differential game with two leaders and two followers, where the diffusion terms of the state equation contain both the control and state variables. A distinct feature lies in that, the noisy information available to the leaders and the followers may be asymmetric and have overlapping part. Using a coupled system of Riccati equations, the followers first solve an LQ nonzero-sum stochastic differential Nash game with partial information, and then the leaders solve a partial information LQ nonzero-sum stochastic differential Nash game driven by a conditional mean-field type forward-backward stochastic differential equation (CMF-FBSDE). By maximum principle, completion of squares and decoupling methods, the state-estimate feedback representation of the Stackelberg-Nash equilibrium is obtained.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
