Showing 1–50 of 118 results for author: Cao, M

Distributed Event-Triggered Bandit Convex Optimization with Time-Varying Constraints

Authors: Kunpeng Zhang, Xinlei Yi, Guanghui Wen, Ming Cao, Karl H. Johansson, Tianyou Chai, Tao Yang

Abstract: This paper considers the distributed bandit convex optimization problem with time-varying inequality constraints over a network of agents, where the goal is to minimize network regret and cumulative constraint violation. Existing distributed online algorithms require that each agent broadcasts its decision to its neighbors at each iteration. To better utilize the limited communication resources, w… ▽ More This paper considers the distributed bandit convex optimization problem with time-varying inequality constraints over a network of agents, where the goal is to minimize network regret and cumulative constraint violation. Existing distributed online algorithms require that each agent broadcasts its decision to its neighbors at each iteration. To better utilize the limited communication resources, we propose a distributed event-triggered online primal--dual algorithm with two-point bandit feedback. Under several classes of appropriately chosen decreasing parameter sequences and non-increasing event-triggered threshold sequences, we establish dynamic network regret and network cumulative constraint violation bounds. These bounds are comparable to the results achieved by distributed event-triggered online algorithms with full-information feedback. Finally, a numerical example is provided to verify the theoretical results. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 34 pages, 4 figures. arXiv admin note: text overlap with arXiv:2311.01957

Strategic control for a Boltzmann like decision-making model

Authors: Luis Guillermo Venegas-Pineda, Hildeberto Jardón-Kojakhmetov, Maximilian Engel, Jobst Heitzig, Muhittin Cenk Eser, Ming Cao

Abstract: We study a prototypical non-polynomial decision-making model for which agents in a population potentially alternate between two consumption strategies, one related to the exploitation of an unlimited but considerably expensive resource and the other a comparably cheaper but restricted and slowly renewable source. In particular, we study a model following a Boltzmann-like exploration policy, enhanc… ▽ More We study a prototypical non-polynomial decision-making model for which agents in a population potentially alternate between two consumption strategies, one related to the exploitation of an unlimited but considerably expensive resource and the other a comparably cheaper but restricted and slowly renewable source. In particular, we study a model following a Boltzmann-like exploration policy, enhancing the accuracy at which the exchange rates are captured with respect to classical polynomial approaches by considering sigmoidal functions to represent the cost-profit relation in both exploit strategies. Additionally, given the intrinsic timescale separation between the decision-making process and recovery rates of the renewable resource, we use geometric singular perturbation theory to analyze the model. We further use numerical analysis to determine parameter ranges for which the model undergoes bifurcations. These bifurcations, being related to critical states of the system, are relevant to the fast transitions between strategies. Hence, we design controllers to regulate such rapid transitions by taking advantage of the system's criticality. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 40 pages, 20 figures

A characterization of compactness via bilinear $T1$ theorem

Authors: Mingming Cao, Honghai Liu, Zengyan Si, Kôzô Yabuta

Abstract: We establish a bilinear $T1$ theorem to characterize the weighted compactness of bilinear Calderón--Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear Calderón--Zygmund kernel. We demonstrate that $T$ can be extended to a compact bilinear operator from $L^{p_1}(w_1^{p_1}) \times L^{p_2}(w_2^{p_2})$ to $L^p(w^p)$ for all exponents… ▽ More We establish a bilinear $T1$ theorem to characterize the weighted compactness of bilinear Calderón--Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear Calderón--Zygmund kernel. We demonstrate that $T$ can be extended to a compact bilinear operator from $L^{p_1}(w_1^{p_1}) \times L^{p_2}(w_2^{p_2})$ to $L^p(w^p)$ for all exponents $\frac{1}{p} = \frac{1}{p_1} + \frac{1}{p_2}$ with $1<p_1, p_2< \infty$ and for all weights $(w_1, w_2) \in A_{(p_1, p_2)}$ if and only if the following conditions hold: (i) $T$ is associated with a compact bilinear Calderón--Zygmund kernel, (ii) $T$ satisfies the weak compactness property, and (iii) $T(1,1), T^{*1}(1,1), T^{*2}(1,1) \in \mathrm{CMO}(\mathbb{R}^n)$. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: This is just a draft, but we post the file in its current form now, in response to several queries about the result and method. Eventually, these results will be a part of a more extensive work about compactness of bilinear singular integrals

MSC Class: 42B20; 42B35

Treewidth of generalized Hamming graph, bipartite Kneser graph and generalized Petersen graph

Authors: Yichen Wang, Mengyu Cao, Zequn Lv, Mei Lu

Abstract: Let $t,q$ and $n$ be positive integers. Write $[q] = \{1,2,\ldots,q\}$. The generalized Hamming graph $H(t,q,n)$ is the graph whose vertex set is the cartesian product of $n$ copies of $[q]$$(q\ge 2)$, where two vertices are adjacent if their Hamming distance is at most $t$. In particular, $H(1,q,n)$ is the well-known Hamming graph and $H(1,2,n)$ is the hypercube. In 2006, Chandran and Kavitha des… ▽ More Let $t,q$ and $n$ be positive integers. Write $[q] = \{1,2,\ldots,q\}$. The generalized Hamming graph $H(t,q,n)$ is the graph whose vertex set is the cartesian product of $n$ copies of $[q]$$(q\ge 2)$, where two vertices are adjacent if their Hamming distance is at most $t$. In particular, $H(1,q,n)$ is the well-known Hamming graph and $H(1,2,n)$ is the hypercube. In 2006, Chandran and Kavitha described the asymptotic value of $tw(H(1,q,n))$, where $tw(G)$ denotes the treewidth of $G$. In this paper, we give the exact pathwidth of $H(t,2,n)$ and show that $tw(H(t,q,n)) = Θ(tq^n/\sqrt{n})$ when $n$ goes to infinity. Based on those results, we show that the treewidth of bipartite Kneser graph $BK(n,k)$ is $\binom{n}{k} - 1$ when $n$ is sufficient large relative to $k$ and the bounds of $tw(BK(2k+1,k))$ are given. Moreover, we present the bounds of the treewidth of generalized Petersen graph. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Reinforcement Learning for Inverse Non-Cooperative Linear-Quadratic Output-feedback Differential Games

Authors: Emin Martirosyan, Ming Cao

Abstract: In this paper, we address the inverse problem for linear-quadratic differential non-cooperative games with output-feedback. Given players' stabilizing feedback laws, the goal is to find cost function parameters that lead to a game for which the observed game dynamics are at a Nash equilibrium. Using the given feedback laws, we introduce a model-based algorithm that generates cost function paramete… ▽ More In this paper, we address the inverse problem for linear-quadratic differential non-cooperative games with output-feedback. Given players' stabilizing feedback laws, the goal is to find cost function parameters that lead to a game for which the observed game dynamics are at a Nash equilibrium. Using the given feedback laws, we introduce a model-based algorithm that generates cost function parameters solving the above inverse problem. We introduce a correction procedure that at each iteration of the algorithm guarantees the existence of the feedback laws, which addresses a key challenge of output-feedback control designs. As an intermediate stage of the algorithm, we have developed a procedure for the initial stabilization of the multiple-input system with output-feedback information structure. We prove convergence and stability of the algorithm, and show the way to generate new games with necessary properties without requiring to run the complete algorithm repeatedly. Then the algorithm is extended to a model-free version that uses data samples generated by unknown dynamics and has the same converging and stabilizing properties as the model-based version. Finally, we show how the inverse problem can be solved in a distributed manner and provide possible extensions. Simulation results validate the effectiveness of the proposed algorithms. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible

A Communication-Efficient Stochastic Gradient Descent Algorithm for Distributed Nonconvex Optimization

Authors: Antai Xie, Xinlei Yi, Xiaofan Wang, Ming Cao, Xiaoqiang Ren

Abstract: This paper studies distributed nonconvex optimization problems with stochastic gradients for a multi-agent system, in which each agent aims to minimize the sum of all agents' cost functions by using local compressed information exchange. We propose a distributed stochastic gradient descent (SGD) algorithm, suitable for a general class of compressors. We show that the proposed algorithm achieves th… ▽ More This paper studies distributed nonconvex optimization problems with stochastic gradients for a multi-agent system, in which each agent aims to minimize the sum of all agents' cost functions by using local compressed information exchange. We propose a distributed stochastic gradient descent (SGD) algorithm, suitable for a general class of compressors. We show that the proposed algorithm achieves the linear speedup convergence rate $\mathcal{O}(1/\sqrt{nT})$ for smooth nonconvex functions, where $T$ and $n$ are the number of iterations and agents, respectively. If the global cost function additionally satisfies the Polyak--Łojasiewicz condition, the proposed algorithm can linearly converge to a neighborhood of the global optimum, regardless of whether the stochastic gradient is unbiased or not. Numerical experiments are carried out to verify the efficiency of our algorithm. △ Less

Submitted 2 March, 2024; originally announced March 2024.

Optimally combined incentive for cooperation among interacting agents in population games

Authors: Shengxian Wang, Ming Cao, Xiaojie Chen

Abstract: Combined prosocial incentives, integrating reward for cooperators and punishment for defectors, are effective tools to promote cooperation among competing agents in population games. Existing research concentrated on how to adjust reward or punishment, as two mutually exclusive tools, during the evolutionary process to achieve the desired proportion of cooperators in the population, and less atten… ▽ More Combined prosocial incentives, integrating reward for cooperators and punishment for defectors, are effective tools to promote cooperation among competing agents in population games. Existing research concentrated on how to adjust reward or punishment, as two mutually exclusive tools, during the evolutionary process to achieve the desired proportion of cooperators in the population, and less attention has been given to exploring a combined incentive-based control policy that can steer the system to the full cooperation state at the lowest cost. In this work we propose a combined incentive scheme in a population of agents whose conflicting interactions are described by the prisoner's dilemma game on complete graphs and regular networks, respectively. By devising an index function for quantifying the implementation cost of the combined incentives, we analytically construct the optimally combined incentive protocol by using optimal control theory. By means of theoretical analysis, we identify the mathematical conditions, under which the optimally combined incentive scheme requires the minimal amount of cost. In addition to numerical calculations, we further perform computer simulations to verify our theoretical results and explore their robustness on different types of network structures. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Elliptic operators in rough sets, and the Dirichlet problem with boundary data in Hölder spaces

Authors: Mingming Cao, Pablo Hidalgo-Palencia, José María Martell, Cruz Prisuelos-Arribas, Zihui Zhao

Abstract: In this paper we study the Dirichlet problem for real-valued second order divergence form elliptic operators with boundary data in Hölder spaces. Our context is that of open sets $Ω\subset \mathbb{R}^{n+1}$, $n \ge 2$, satisfying the capacity density condition, without any further topological assumptions. Our main result states that if $Ω$ is either bounded, or unbounded with unbounded boundary, t… ▽ More In this paper we study the Dirichlet problem for real-valued second order divergence form elliptic operators with boundary data in Hölder spaces. Our context is that of open sets $Ω\subset \mathbb{R}^{n+1}$, $n \ge 2$, satisfying the capacity density condition, without any further topological assumptions. Our main result states that if $Ω$ is either bounded, or unbounded with unbounded boundary, then the corresponding Dirichlet boundary value problem is well-posed; when $Ω$ is unbounded with bounded boundary, we establish that solutions exist, but they fail to be unique in general. These results are optimal in the sense that solvability of the Dirichlet problem in Hölder spaces is shown to imply the capacity density condition. As a consequence of the main result, we present a characterization of the Hölder spaces in terms of the boundary traces of solutions, and obtain well-posedness of several related Dirichlet boundary value problems. All the results above are new even for 1-sided chord-arc domains, and can be extended to generalized Hölder spaces associated with a natural class of growth functions. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 52 pages

MSC Class: 35J25 (Primary); 26A16; 35B65; 31B05; 31B25; 42B37; 42B35 (Secondary)

Reinforcement Learning for Inverse Linear-quadratic Dynamic Non-cooperative Games

Authors: Emin Martirosyan, Ming Cao

Abstract: In this paper, we address the inverse problem in the case of linear-quadratic discrete-time dynamic non-cooperative games. Given feedback laws of players that are known to be a Nash equilibrium pair for a discrete-time linear system, we want find cost function parameters for which the observed feedback laws are optimal and stabilizing. Using the given feedback laws, we introduce a model-based algo… ▽ More In this paper, we address the inverse problem in the case of linear-quadratic discrete-time dynamic non-cooperative games. Given feedback laws of players that are known to be a Nash equilibrium pair for a discrete-time linear system, we want find cost function parameters for which the observed feedback laws are optimal and stabilizing. Using the given feedback laws, we introduce a model-based algorithm that generates cost function parameters solving the problem. We provide theoretical results that guarantee the convergence and stability of the algorithm as well as the way to generate new games with necessary properties without requiring to run the complete algorithm repeatedly . Then the algorithm is extended to a model-free version that uses data samples generated by unknown dynamics and has the same properties as the model-based version. Simulation results validate the effectiveness of the proposed algorithms. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Distributed online constrained convex optimization with event-triggered communication

Authors: Kunpeng Zhang, Xinlei Yi, Yuzhe Li, Ming Cao, Tianyou Chai, Tao Yang

Abstract: This paper focuses on the distributed online convex optimization problem with time-varying inequality constraints over a network of agents, where each agent collaborates with its neighboring agents to minimize the cumulative network-wide loss over time. To reduce communication overhead between the agents, we propose a distributed event-triggered online primal-dual algorithm over a time-varying dir… ▽ More This paper focuses on the distributed online convex optimization problem with time-varying inequality constraints over a network of agents, where each agent collaborates with its neighboring agents to minimize the cumulative network-wide loss over time. To reduce communication overhead between the agents, we propose a distributed event-triggered online primal-dual algorithm over a time-varying directed graph. With several classes of appropriately chose decreasing parameter sequences and non-increasing event-triggered threshold sequences, we establish dynamic network regret and network cumulative constraint violation bounds. Finally, a numerical simulation example is provided to verify the theoretical results. △ Less

Submitted 2 May, 2024; v1 submitted 3 November, 2023; originally announced November 2023.

Comments: 12 pages, 3 figures

Inverse linear-quadratic nonzero-sum differential games

Authors: Emin Martirosyan, Ming Cao

Abstract: $ $This paper addresses the inverse problem for Linear-Quadratic (LQ) nonzero-sum $N… ▽ More $ $This paper addresses the inverse problem for Linear-Quadratic (LQ) nonzero-sum $N$-player differential games, where the goal is to learn parameters of an unknown cost function for the game, called observed, given the demonstrated trajectories that are known to be generated by stationary linear feedback Nash equilibrium laws. Towards this end, using the demonstrated data, a synthesized game needs to be constructed, which is required to be equivalent to the observed game in the sense that the trajectories generated by the equilibrium feedback laws of the $N$ players in the synthesized game are the same as those demonstrated trajectories. We show a model-based algorithm that can accomplish this task using the given trajectories. We then extend this model-based algorithm to a model-free setting to solve the same problem in the case when the system's matrices are unknown. The algorithms combine both inverse optimal control and reinforcement learning methods making extensive use of gradient descent optimization for the latter. The analysis of the algorithm focuses on the proof of its convergence and stability. To further illustrate possible solution characterization, we show how to generate an infinite number of equivalent games, not requiring to run repeatedly the complete algorithm. Simulation results validate the effectiveness of the proposed algorithms. △ Less

Submitted 6 March, 2024; v1 submitted 9 October, 2023; originally announced October 2023.

Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible

Hilton-Milner theorem for bounded multisets

Authors: Jiaqi Liao, Zequn Lv, Mengyu Cao, Mei Lu

Abstract: Let $ k, n \in \mathbb{N}^+ $ and $ m \in \mathbb{N}^+ \cup \{\infty \} $. A $ k $-multiset in $ [n]_m $ is a $ k $-set whose elements are integers from $ \{1, 2, \ldots, n\} $, and each element is allowed to have at most $ m $ repetitions. A family of $ k $-multisets in $ [n]_m $ is said to be intersecting if every pair of $ k $-multisets from the family have non-empty intersection. In this paper… ▽ More Let $ k, n \in \mathbb{N}^+ $ and $ m \in \mathbb{N}^+ \cup \{\infty \} $. A $ k $-multiset in $ [n]_m $ is a $ k $-set whose elements are integers from $ \{1, 2, \ldots, n\} $, and each element is allowed to have at most $ m $ repetitions. A family of $ k $-multisets in $ [n]_m $ is said to be intersecting if every pair of $ k $-multisets from the family have non-empty intersection. In this paper, we give the size and structure of the largest non-trivial intersecting family of $ k $-multisets in $ [n]_m $. △ Less

Submitted 22 May, 2024; v1 submitted 7 August, 2023; originally announced August 2023.

Comments: 13 pages

MSC Class: 05D05; 05C35; 05A15

Differentially Private and Communication-Efficient Distributed Nonconvex Optimization Algorithms

Authors: Antai Xie, Xinlei Yi, Xiaofan Wang, Ming Cao, Xiaoqiang Ren

Abstract: This paper studies the privacy-preserving distributed optimization problem under limited communication, where each agent aims to keep its cost function private while minimizing the sum of all agents' cost functions. To this end, we propose two differentially private distributed algorithms under compressed communication. We show that the proposed algorithms achieve sublinear convergence for smooth… ▽ More This paper studies the privacy-preserving distributed optimization problem under limited communication, where each agent aims to keep its cost function private while minimizing the sum of all agents' cost functions. To this end, we propose two differentially private distributed algorithms under compressed communication. We show that the proposed algorithms achieve sublinear convergence for smooth (possibly nonconvex) cost functions and linear convergence when the global cost function additionally satisfies the Polyak-Łojasiewicz condition, even for a general class of compressors with bounded relative compression error. Furthermore, we rigorously prove that the proposed algorithms ensure $ε$-differential privacy. Unlike methods in the literature, the analysis of privacy under the proposed algorithms do not rely on the specific forms of compressors. Simulations are presented to demonstrate the effectiveness of our proposed approach. △ Less

Submitted 1 May, 2024; v1 submitted 31 July, 2023; originally announced July 2023.

Comments: 51 pages

A compact $T1$ theorem for singular integrals associated with Zygmund dilations

Authors: Mingming Cao, Jiao Chen, Zhengyang Li, Fanghui Liao, Kôzô Yabuta, Juan Zhang

Abstract: We, for the first time, prove a compact version of $T1$ theorem for singular integrals of Zygmund type on $\mathbb{R}^3$. That is, if a singular integral operator $T$ associated with Zygmund dilations admits the compact full and partial kernel representations, and satisfies the weak compactness property and the cancellation condition, then $T$ can be extended to a compact operator on… ▽ More We, for the first time, prove a compact version of $T1$ theorem for singular integrals of Zygmund type on $\mathbb{R}^3$. That is, if a singular integral operator $T$ associated with Zygmund dilations admits the compact full and partial kernel representations, and satisfies the weak compactness property and the cancellation condition, then $T$ can be extended to a compact operator on $L^p(\mathbb{R}^3)$ for all $p \in (1, \infty)$. Let $θ\in (0, 1]$ be the kernel parameter, and let $A_{p, \mathcal{R}}$ and $A_{p, \mathcal{Z}}$ respectively denote the class of of strong $A_p$ weights and the class of $A_p$ weights adapted to Zygmund dilations. Under the same assumptions as above, we establish more general results: if $θ\in (0, 1)$, $T$ is compact on $L^p(w)$ for all $p \in (1, \infty)$ and $w \in A_{p, \mathcal{R}}$; if $θ=1$, $T$ is compact on $L^p(w)$ for all $p \in (1, \infty)$ and $w \in A_{p, \mathcal{Z}}$. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Comments: arXiv admin note: text overlap with arXiv:2303.10965

MSC Class: 42B20; 42B25

The refined solution to the Capelli eigenvalue problem for $\mathfrak{gl}(m|n)\oplus\mathfrak{gl}(m|n)$ and $\mathfrak{gl}(m|2n)$

Authors: Mengyuan Cao, Monica Nevins, Hadi Salmasian

Abstract: Let $\mathfrak g$ be either the Lie superalgebra $\mathfrak{gl}(V)\oplus\mathfrak{gl}(V)$ where $V:=\mathbb C^{m|n}$ or the Lie superalgebra $\mathfrak{gl}(V)$ where $V:=\mathbb C^{m|2n}$. Furthermore, let $W$ be the $\mathfrak g$-module defined by $W:=V\otimes V^*$ in the former case and $W:=\mathcal S^2(V)$ in the latter case. Associated to $(\mathfrak g,W)$ there exists a distinguished basis of… ▽ More Let $\mathfrak g$ be either the Lie superalgebra $\mathfrak{gl}(V)\oplus\mathfrak{gl}(V)$ where $V:=\mathbb C^{m|n}$ or the Lie superalgebra $\mathfrak{gl}(V)$ where $V:=\mathbb C^{m|2n}$. Furthermore, let $W$ be the $\mathfrak g$-module defined by $W:=V\otimes V^*$ in the former case and $W:=\mathcal S^2(V)$ in the latter case. Associated to $(\mathfrak g,W)$ there exists a distinguished basis of Capelli operators $\left\{D^λ\right\}_{λ\inΩ}$, naturally indexed by a set of hook partitions $Ω$, for the subalgebra of $\mathfrak g$-invariants in the superalgebra $\mathcal{PD}(W)$ of superdifferential operators on $W$. Let $\mathfrak b$ be a Borel subalgebra of $\mathfrak g$. We compute eigenvalues of the $D^λ$ on the irreducible $\mathfrak g$-submodules of $\mathcal{P}(W)$ and obtain them explicitly as the evaluation of the interpolation super Jack polynomials of Sergeev--Veselov at suitable affine functions of the $\mathfrak b$-highest weight. While the former case is straightforward, the latter is significantly more complex. This generalizes a result by Sahi, Salmasian and Serganova for these cases, where such formulas were given for a fixed choice of Borel subalgebra. △ Less

Submitted 23 May, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

MSC Class: 17B10; 05E05

Journal ref: Indagationes Mathematicae, 2024 (special issue in memory of Gerrit van Dijk)

Compressed Differentially Private Distributed Optimization with Linear Convergence

Authors: Antai Xie, Xinlei Yi, Xiaofan Wang, Ming Cao, Xiaoqiang Ren

Abstract: This paper addresses the problem of differentially private distributed optimization under limited communication, where each agent aims to keep their cost function private while minimizing the sum of all agents' cost functions. In response, we propose a novel Compressed differentially Private distributed Gradient Tracking algorithm (CPGT). We demonstrate that CPGT achieves linear convergence for sm… ▽ More This paper addresses the problem of differentially private distributed optimization under limited communication, where each agent aims to keep their cost function private while minimizing the sum of all agents' cost functions. In response, we propose a novel Compressed differentially Private distributed Gradient Tracking algorithm (CPGT). We demonstrate that CPGT achieves linear convergence for smooth and strongly convex cost functions, even with a class of biased but contractive compressors, and achieves the same accuracy as the idealized communication algorithm. Additionally, we rigorously prove that CPGT ensures differential privacy. Simulations are provided to validate the effectiveness of the proposed algorithm. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: To appear in IFAC WC 2023

A compact extension of Journé's $T1$ theorem on product spaces

Authors: Mingming Cao, Kôzô Yabuta, Dachun Yang

Abstract: We prove a compact version of the $T1$ theorem for bi-parameter singular integrals. That is, if a bi-parameter singular integral operator $T$ admits the compact full and partial kernel representations, and satisfies the weak compactness property, the diagonal $\mathrm{CMO}$ condition, and the product $\mathrm{CMO}$ condition, then $T$ can be extended to a compact operator on $L^p(w)$ for all… ▽ More We prove a compact version of the $T1$ theorem for bi-parameter singular integrals. That is, if a bi-parameter singular integral operator $T$ admits the compact full and partial kernel representations, and satisfies the weak compactness property, the diagonal $\mathrm{CMO}$ condition, and the product $\mathrm{CMO}$ condition, then $T$ can be extended to a compact operator on $L^p(w)$ for all $1<p<\infty$ and $w \in A_p(\mathbb{R}^{n_1} \times \mathbb{R}^{n_2})$. Even in the unweighted setting, it is the first time to give a compact extension of Journé's $T1$ theorem on product spaces. △ Less

Submitted 27 May, 2024; v1 submitted 20 March, 2023; originally announced March 2023.

MSC Class: 42B20; 42B25; 42B35

Journal ref: Trans. Amer. Soc. Math. (2024)

Erdős-Ko-Rado Theorem for Bounded Multisets

Authors: Jiaqi Liao, Zequn Lv, Mengyu Cao, Mei Lu

Abstract: Let $ k, m, n $ be positive integers with $ k \geq 2 $. A $ k $-multiset of $ [n]_m $ is a collection of $ k $ integers from the set $ \{1, 2, \ldots, n\} $ in which the integers can appear more than once but at most $ m $ times. A family of such $ k $-multisets is called an intersecting family if every pair of $ k $-multisets from the family have non-empty intersection. A finite sequence of real… ▽ More Let $ k, m, n $ be positive integers with $ k \geq 2 $. A $ k $-multiset of $ [n]_m $ is a collection of $ k $ integers from the set $ \{1, 2, \ldots, n\} $ in which the integers can appear more than once but at most $ m $ times. A family of such $ k $-multisets is called an intersecting family if every pair of $ k $-multisets from the family have non-empty intersection. A finite sequence of real numbers $\{a_1,a_2,\ldots,a_n\}$ is said to be unimodal if there is some $k\in \{1,2,\ldots,n\}$, such that $a_1\leq a_2\leq\ldots\leq a_{k-1}\leq a_k\geq a_{k+1}\geq \ldots\geq a_n$. Given $m,n,k$, denote $C_{k,l}$ as the coefficient of $x^k$ in the generating function $(\sum_{i=1}^mx^i)^l$, where $1\leq l\leq n$. In this paper, we first show that the sequence of $\{C_{k,1},C_{k,2},\ldots,C_{k,n}\}$ is unimodal. Then we use this as a tool to prove that the intersecting family in which every $ k $-multiset contains a fixed element attains the maximum cardinality for $ n \geq k + \lceil k/m\rceil $. In the special case when $m = 1$ and $m=\infty$, our result gives rise to the famous Erdős-Ko-Rado Theorem and an unbounded multiset version for this problem given by Meagher and Purdy, respectively. The main result in this paper can be viewed as a bounded multiset version of the Erdős-Ko-Rado Theorem. △ Less

Submitted 12 March, 2023; originally announced March 2023.

Comments: 16 pages

MSC Class: 05C35; 05D05; 05A15

Stable Chimera States: A Geometric Singular Perturbation Approach

Authors: Luis Guillermo Venegas-Pineda, Hildeberto Jardón-Kojakhmetov, Ming Cao

Abstract: Over the past decades chimera states have attracted considerable attention given their unexpected symmetry-breaking spatio-temporal nature, simultaneously exhibiting synchronous and incoherent behaviours under specific conditions. Despite relevant precursory results of such unforeseen states for diverse physical and topological configurations, there remain structures and mechanisms yet to be unvei… ▽ More Over the past decades chimera states have attracted considerable attention given their unexpected symmetry-breaking spatio-temporal nature, simultaneously exhibiting synchronous and incoherent behaviours under specific conditions. Despite relevant precursory results of such unforeseen states for diverse physical and topological configurations, there remain structures and mechanisms yet to be unveiled. In this work, using mean-field techniques, we analyze a multilayer network composed by two populations of heterogeneous Kuramoto phase oscillators with coevolutive coupling strengths. Moreover, we employ Geometric Singular Perturbation Theory (GSPT) with the inclusion of a time-scale separation between the dynamics of the network elements and the adaptive coupling strength connecting them, gaining a better insight into the behaviour of the system from a fast-slow dynamics perspective. Consequently, we derive the necessary and sufficient condition to produce stable chimera states when considering a co-evolutionary intercoupling strength. Additionally, under the aforementioned constraint and with a suitable adaptive law election, it is possible to generate intriguing patterns, such as persistent breathing chimera states. Thereafter, we analyze the geometric properties of the mean-field system with a co-evolutionary intracoupling strength and demonstrate the production of stable chimera states which depend on the associated network. Finally, relaxation oscillations and canard cycles, also related to breathing chimeras, are numerically produced under identified conditions due to the geometry of our system. △ Less

Submitted 19 July, 2023; v1 submitted 17 January, 2023; originally announced January 2023.

Comments: 36 pages, 10 figures, 25 images in total

Evolutionary dynamics under periodic switching of update rules on regular networks

Authors: Shengxian Wang, Weijia Yao, Ming Cao, Xiaojie Chen

Abstract: Microscopic strategy update rules play an important role in the evolutionary dynamics of cooperation among interacting agents on complex networks. Many previous related works only consider one \emph{fixed} rule, while in the real world, individuals may switch, sometimes periodically, between rules. It is of particular theoretical interest to investigate under what conditions the periodic switching… ▽ More Microscopic strategy update rules play an important role in the evolutionary dynamics of cooperation among interacting agents on complex networks. Many previous related works only consider one \emph{fixed} rule, while in the real world, individuals may switch, sometimes periodically, between rules. It is of particular theoretical interest to investigate under what conditions the periodic switching of strategy update rules facilitates the emergence of cooperation. To answer this question, we study the evolutionary prisoner's dilemma game on regular networks where agents can periodically switch their strategy update rules. We accordingly develop a theoretical framework of this periodically switched system, where the replicator equation corresponding to each specific microscopic update rule is used for describing the subsystem, and all the subsystems are activated in sequence. By utilizing switched system theory, we identify the theoretical condition for the emergence of cooperative behavior. Under this condition, we have proved that the periodically switched system with different switching rules can converge to the full cooperation state. Finally, we consider an example where two strategy update rules, that is, the imitation and pairwise-comparison updating, are periodically switched, and find that our numerical calculations validate our theoretical results. △ Less

Submitted 19 August, 2023; v1 submitted 16 January, 2023; originally announced January 2023.

Modeling the Co-evolution of Climate Impact and Population Behavior: A Mean-Field Analysis

Authors: Kathinka Frieswijk, Lorenzo Zino, A. Stephen Morse, Ming Cao

Abstract: Motivated by the climate crisis that is currently ravaging the planet, we propose and analyze a novel framework for the evolution of anthropogenic climate impact in which the evolution of human environmental behavior and environmental impact is coupled. Our framework includes a human decision-making process that captures social influence, government policy interventions, and the cost of environmen… ▽ More Motivated by the climate crisis that is currently ravaging the planet, we propose and analyze a novel framework for the evolution of anthropogenic climate impact in which the evolution of human environmental behavior and environmental impact is coupled. Our framework includes a human decision-making process that captures social influence, government policy interventions, and the cost of environmentally-friendly behavior, modeled within a game-theoretic paradigm. By taking a mean-field approach in the limit of large populations, we derive the equilibria and their local stability characteristics. Subsequently, we study global convergence, whereby we show that the system converges to a periodic solution for almost all initial conditions. Numerical simulations confirm our findings and suggest that, before the system reaches such a periodic solution, the level of environmental impact might become dangerously high, calling for the design of optimal control strategies to influence the system trajectory. △ Less

Submitted 20 November, 2022; originally announced November 2022.

Comments: Submitted to the 22nd World Congress of the International Federation of Automatic Control (IFAC 2023)

A class of multilinear bounded oscillation operators on measure spaces and applications

Authors: Mingming Cao, Gonzalo Ibañez-Firnkorn, Israel P. Rivera-Ríos, Qingying Xue, Kôzô Yabuta

Abstract: In this paper, we develop a comprehensive weighted theory for a class of Banach-valued multilinear bounded oscillation operators on measure spaces, which merges multilinear Calderón-Zygmund operators with a quantity of operators beyond the multilinear Calderón-Zygmund theory. We prove that such multilinear operators and corresponding commutators are locally pointwise dominated by two sparse dyadic… ▽ More In this paper, we develop a comprehensive weighted theory for a class of Banach-valued multilinear bounded oscillation operators on measure spaces, which merges multilinear Calderón-Zygmund operators with a quantity of operators beyond the multilinear Calderón-Zygmund theory. We prove that such multilinear operators and corresponding commutators are locally pointwise dominated by two sparse dyadic operators, respectively. We also establish three kinds of typical estimates: local exponential decay estimates, mixed weak type estimates, and sharp weighted norm inequalities. Beyond that, based on Rubio de Francia extrapolation for abstract multilinear compact operators, we obtain weighted compactness for commutators of specific multilinear operators on spaces of homogeneous type. A compact extrapolation allows us to get full range of exponents, while weighted interpolation for multilinear compact operators is crucial to the compact extrapolation. These are due to a weighted Fréchet-Kolmogorov theorem in the quasi-Banach range, which gives a characterization of relative compactness of subsets in weighted Lebesgue spaces. As applications, we illustrate multilinear bounded oscillation operators with examples including multilinear Hardy-Littlewood maximal operators on measure spaces, multilinear $ω$-Calderón-Zygmund operators on spaces of homogeneous type, multilinear Littlewood-Paley square operators, multilinear Fourier integral operators, higher order Calderón commutators, maximally modulated multilinear singular integrals, and $q$-variation of $ω$-Calderón-Zygmund operators. △ Less

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

MSC Class: 42B20; 42B25; 42B35

Journal ref: Math. Ann. 388 (2024), 3627-3755

A Polarized Temporal Network Model to Study the Spread of Recurrent Epidemic Diseases in a Partially Vaccinated Population

Authors: Kathinka Frieswijk, Lorenzo Zino, Ming Cao

Abstract: Motivated by massive outbreaks of COVID-19 that occurred even in populations with high vaccine uptake, we propose a novel multi-population temporal network model for the spread of recurrent epidemic diseases. We study the effect of human behavior, testing, and vaccination campaigns on the control of local outbreaks and infection prevalence. Our modeling framework decouples the vaccine effectivenes… ▽ More Motivated by massive outbreaks of COVID-19 that occurred even in populations with high vaccine uptake, we propose a novel multi-population temporal network model for the spread of recurrent epidemic diseases. We study the effect of human behavior, testing, and vaccination campaigns on the control of local outbreaks and infection prevalence. Our modeling framework decouples the vaccine effectiveness in protecting against transmission and the development of severe symptoms. Furthermore, the framework accounts for the polarizing effect of the decision to vaccinate and captures homophily, i.e., the tendency of people to interact with like-minded individuals. By means of a mean-field approach, we analytically derive the epidemic threshold. Our theoretical results suggest that, while vaccination campaigns reduce pressure on hospitals, they might facilitate resurgent outbreaks, highlighting the key role that testing campaigns may have in eradicating the disease. Numerical simulations are then employed to confirm and extend our theoretical findings to more realistic scenarios. Our numerical and analytical results agree that vaccination is not sufficient to achieve full eradication, without employing massive testing campaigns or relying on the population's responsibility. Furthermore, we show that homophily plays a critical role in the control of local outbreaks, highlighting the peril of a polarized network structure. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Comments: Submitted to IEEE Transactions on Network Science and Engineering

Triangles in r-wise t-intersecting families

Authors: Jiaqi Liao, Mengyu Cao, Mei Lu

Abstract: Let $t$, $r$, $k$ and $n$ be positive integers and $\mathcal{F}$ a family of $k$-subsets of an $n$-set $V$. The family $ \CF $ is $ r $-wise $ t $-intersecting if for any $ F_1, \ldots, F_r \in \CF $, we have $ \abs{\cap_{i = 1}^{r}F_i}\gs t $. An $ r $-wise $ t $-intersecting family of $ r + 1 $ sets $ \{T_1, \ldots, T_{r + 1}\} $ is called an $ (r + 1,t) $-triangle if… ▽ More Let $t$, $r$, $k$ and $n$ be positive integers and $\mathcal{F}$ a family of $k$-subsets of an $n$-set $V$. The family $ \CF $ is $ r $-wise $ t $-intersecting if for any $ F_1, \ldots, F_r \in \CF $, we have $ \abs{\cap_{i = 1}^{r}F_i}\gs t $. An $ r $-wise $ t $-intersecting family of $ r + 1 $ sets $ \{T_1, \ldots, T_{r + 1}\} $ is called an $ (r + 1,t) $-triangle if $ |T_1 \cap \cdots \cap T_{r + 1}| \ls t - 1 $. In this paper, we prove that if $ n \gs n_0(r, t, k) $, then the $ r $-wise $ t $-intersecting family $ \CF \subseteq \binom{[n]}{k} $ containing the most $ (r + 1,t) $-triangles is isomorphic to $ \curlybraces{F \in \binom{[n]}{k}: \abs{F \cap [r + t]} \gs r + t - 1} $. This can also be regarded as a generalized Turán type result. △ Less

Submitted 29 July, 2022; originally announced July 2022.

Comments: 14 pages

MSC Class: 05C36; 52A37; 05A30

Edge pancyclic derangement graphs

Authors: Zequn Lv, Mengyu Cao, Mei Lu

Abstract: We consider the derangement graph in which the vertices are permutations of $\{ 1,\ldots, n\}$. Two vertices are joined by an edge if the corresponding permutations differ in every position. The derangement graph is known to be Hamiltonian and Hamilton-connected. In this note, we show that the derangement graph is edge pancyclic if $n\ge 4$. We consider the derangement graph in which the vertices are permutations of $\{ 1,\ldots, n\}$. Two vertices are joined by an edge if the corresponding permutations differ in every position. The derangement graph is known to be Hamiltonian and Hamilton-connected. In this note, we show that the derangement graph is edge pancyclic if $n\ge 4$. △ Less

Submitted 13 July, 2022; originally announced July 2022.

Comments: 7 pages, 1 figure

Limited range extrapolation with quantitative bounds and applications

Authors: Mingming Cao, Honghai Liu, Zengyan Si, Kôzô Yabuta

Abstract: In recent years, sharp or quantitative weighted inequalities have attracted considerable attention on account of $A_2$ conjecture solved by Hytönen. Advances have greatly improved conceptual understanding of classical objects such as Calderón-Zygmund operators. However, plenty of operators do not fit into the class of Calderón-Zygmund operators and fail to be bounded on all $L^p(w)$ spaces for… ▽ More In recent years, sharp or quantitative weighted inequalities have attracted considerable attention on account of $A_2$ conjecture solved by Hytönen. Advances have greatly improved conceptual understanding of classical objects such as Calderón-Zygmund operators. However, plenty of operators do not fit into the class of Calderón-Zygmund operators and fail to be bounded on all $L^p(w)$ spaces for $p \in (1, \infty)$ and $w \in A_p$. In this paper we develop Rubio de Francia extrapolation with quantitative bounds to investigate quantitative weighted inequalities for operators beyond the (multilinear) Calderón-Zygmund theory. We mainly establish a quantitative multilinear limited range extrapolation in terms of exponents $p_i \in (\mathfrak{p}_i^-, \mathfrak{p}_i^+)$ and weights $w_i^{p_i} \in A_{p_i/\mathfrak{p}_i^-} \cap RH_{(\mathfrak{p}_i^+/p_i)'}$, $i=1, \ldots, m$, which refines a result of Cruz-Uribe and Martell. We also present an extrapolation from multilinear operators to the corresponding commutators. Additionally, our result is quantitative and allows us to extend special quantitative estimates in the Banach space setting to the quasi-Banach space setting. Our proof is based on an off-diagonal extrapolation result with quantitative bounds. Finally, we present various applications to illustrate the utility of extrapolation by concentrating on quantitative weighted estimates for some typical multilinear operators such as bilinear Bochner-Riesz means, bilinear rough singular integrals, and multilinear Fourier multipliers. In the linear case, based on the Littlewood-Paley theory, we include weighted jump and variational inequalities for rough singular integrals. △ Less

Submitted 28 June, 2022; v1 submitted 25 June, 2022; originally announced June 2022.

MSC Class: 42B20; 42B25

Journal ref: J. Fourier Anal. Appl. 30 (2024), No. 7

Coevolutionary Dynamics of Actions and Opinions in Social Networks

Authors: Hassan Dehghani Aghbolagh, Mengbin Ye, Lorenzo Zino, Ming Cao, Zhiyong Chen

Abstract: Empirical studies suggest a deep intertwining between opinion formation and decision-making processes, but these have been treated as separate problems in the study of dynamical models for social networks. In this paper, we bridge the gap in the literature by proposing a novel coevolutionary model, in which each individual selects an action from a binary set and has an opinion on which action they… ▽ More Empirical studies suggest a deep intertwining between opinion formation and decision-making processes, but these have been treated as separate problems in the study of dynamical models for social networks. In this paper, we bridge the gap in the literature by proposing a novel coevolutionary model, in which each individual selects an action from a binary set and has an opinion on which action they prefer. Actions and opinions coevolve on a two-layer network. For homogeneous parameters, undirected networks, and under reasonable assumptions on the asynchronous updating mechanics, we prove that the coevolutionary dynamics is an ordinal potential game, enabling analysis via potential game theory. Specifically, we establish global convergence to the Nash equilibria of the game, proving that actions converge in a finite number of time steps, while opinions converge asymptotically. Next, we provide sufficient conditions for the existence of, and convergence to, polarized equilibria, whereby the population splits into two communities, each selecting and supporting one of the actions. Finally, we use simulations to examine the social psychological phenomenon of pluralistic ignorance. △ Less

Submitted 25 June, 2023; v1 submitted 14 June, 2022; originally announced June 2022.

Comments: Final accepted version of paper in IEEE Transactions on Automatic Control

The $\mathrm{CMO}$-Dirichlet problem for elliptic systems in the upper half-space

Authors: Mingming Cao

Abstract: We prove that for any second-order, homogeneous, $N \times N$ elliptic system $L$ with constant complex coefficients in $\mathbb{R}^n$, the Dirichlet problem in $\mathbb{R}^n_+$ with boundary data in $\mathrm{CMO}(\mathbb{R}^{n-1}, \mathbb{C}^N)$ is well-posed under the assumption that $dμ(x', t) := |\nabla u(x)|^2\, t \, dx' dt$ is a strong vanishing Carleson measure in $\mathbb{R}^n_+$ in some s… ▽ More We prove that for any second-order, homogeneous, $N \times N$ elliptic system $L$ with constant complex coefficients in $\mathbb{R}^n$, the Dirichlet problem in $\mathbb{R}^n_+$ with boundary data in $\mathrm{CMO}(\mathbb{R}^{n-1}, \mathbb{C}^N)$ is well-posed under the assumption that $dμ(x', t) := |\nabla u(x)|^2\, t \, dx' dt$ is a strong vanishing Carleson measure in $\mathbb{R}^n_+$ in some sense. This solves an open question posed by Martell et al. The proof relies on a quantitative Fatou-type theorem, which not only guarantees the existence of the pointwise nontangential boundary trace for smooth null-solutions satisfying a strong vanishing Carleson measure condition, but also includes a Poisson integral representation formula of solutions along with a characterization of $\mathrm{CMO}(\mathbb{R}^{n-1}, \mathbb{C}^N)$ in terms of the traces of solutions of elliptic systems. Moreover, we are able to establish the well-posedness of the Dirichlet problem in $\mathbb{R}^n_+$ for a system $L$ as above in the case when the boundary data belongs to $\mathrm{XMO}(\mathbb{R}^{n-1}, \mathbb{C}^N)$, which lines in between $\mathrm{CMO}(\mathbb{R}^{n-1}, \mathbb{C}^N)$ and $\mathrm{VMO}(\mathbb{R}^{n-1}, \mathbb{C}^N)$. Analogously, we formulate a new brand of strong Carleson measure conditions and a characterization of $\mathrm{XMO}(\mathbb{R}^{n-1}, \mathbb{C}^N)$ in terms of the traces of solutions of elliptic systems. △ Less

Submitted 1 June, 2022; originally announced June 2022.

MSC Class: 35J25; 35J47; 35J57; 35J67; 42B20; 42B35; 42B37

Journal ref: Potential Anal. 60 (2024), 895-915

Some intersection theorems for finite sets

Authors: Mengyu Cao, Mei Lu, Benjian Lv, Kaishun Wang

Abstract: Let $n$, $r$, $k_1,\ldots,k_r$ and $t$ be positive integers with $r\geq 2$, and $\mathcal{F}_i\ (1\leq i\leq r)$ a family of $k_i$-subsets of an $n$-set $V$. The families $\mathcal{F}_1,\ \mathcal{F}_2,\ldots,\mathcal{F}_r$ are said to be $r$-cross $t$-intersecting if $|F_1\cap F_2\cap\cdots\cap F_r|\geq t$ for all $F_i\in\mathcal{F}_i\ (1\leq i\leq r),$ and said to be non-trivial if… ▽ More Let $n$, $r$, $k_1,\ldots,k_r$ and $t$ be positive integers with $r\geq 2$, and $\mathcal{F}_i\ (1\leq i\leq r)$ a family of $k_i$-subsets of an $n$-set $V$. The families $\mathcal{F}_1,\ \mathcal{F}_2,\ldots,\mathcal{F}_r$ are said to be $r$-cross $t$-intersecting if $|F_1\cap F_2\cap\cdots\cap F_r|\geq t$ for all $F_i\in\mathcal{F}_i\ (1\leq i\leq r),$ and said to be non-trivial if $|\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F|<t$. If the $r$-cross $t$-intersecting families $\mathcal{F}_1,\ldots,\mathcal{F}_r$ satisfy $\mathcal{F}_1=\cdots=\mathcal{F}_r=\mathcal{F}$, then $\mathcal{F}$ is well known as $r$-wise $t$-intersecting family. In this paper, we describe the structure of non-trivial $r$-wise $t$-intersecting families with maximum size, and give a stability result for these families. We also determine the structure of non-trivial $2$-cross $t$-intersecting families with maximum product of their sizes. △ Less

Submitted 22 May, 2022; originally announced May 2022.

Comments: 28 pages. arXiv admin note: text overlap with arXiv:2201.06339

MSC Class: 05D05; 05A10

Limit Cycles Analysis and Control of Evolutionary Game Dynamics with Environmental Feedback

Authors: Lulu Gong, Weijia Yao, Jian Gao, Ming Cao

Abstract: Recently, an evolutionary game dynamics model taking into account the environmental feedback has been proposed to describe the co-evolution of strategic actions of a population of individuals and the state of the surrounding environment; correspondingly a range of interesting dynamic behaviors have been reported. In this paper, we provide new theoretical insight into such behaviors and discuss con… ▽ More Recently, an evolutionary game dynamics model taking into account the environmental feedback has been proposed to describe the co-evolution of strategic actions of a population of individuals and the state of the surrounding environment; correspondingly a range of interesting dynamic behaviors have been reported. In this paper, we provide new theoretical insight into such behaviors and discuss control options. Instead of the standard replicator dynamics, we use a more realistic and comprehensive model of replicator-mutator dynamics, to describe the strategic evolution of the population. After integrating the environment feedback, we study the effect of mutations on the resulting closed-loop system dynamics. We prove the conditions for two types of bifurcations, Hopf bifurcation and Heteroclinic bifurcation, both of which result in stable limit cycles. These limit cycles have not been identified in existing works, and we further prove that such limit cycles are in fact persistent in a large parameter space and are almost globally stable. In the end, an intuitive control policy based on incentives is applied, and the effectiveness of this control policy is examined by analysis and simulations. △ Less

Submitted 22 May, 2022; originally announced May 2022.

Comments: 19 pages, 6 figures

On the $ P_3 $-hull numbers of $ q $-Kneser graphs and Grassmann graphs

Authors: Jiaqi Liao, Mengyu Cao, Mei Lu

Abstract: Let $S$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, where $q$ is necessarily a prime power. Denote $K_q(n,k)$ (resp. $J_q(n,k)$) to be the \emph{$q$-Kneser graph} (resp. \emph{Grassmann graph}) for $k\geq 1$ whose vertices are the $k$-dimensional subspaces of $S$ and two vertices $v_1$ and $v_2$ are adjacent if $\dim(v_1\cap v_2)=0$ (resp. $\dim(v_1\cap v_2)=k-1$). We… ▽ More Let $S$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, where $q$ is necessarily a prime power. Denote $K_q(n,k)$ (resp. $J_q(n,k)$) to be the \emph{$q$-Kneser graph} (resp. \emph{Grassmann graph}) for $k\geq 1$ whose vertices are the $k$-dimensional subspaces of $S$ and two vertices $v_1$ and $v_2$ are adjacent if $\dim(v_1\cap v_2)=0$ (resp. $\dim(v_1\cap v_2)=k-1$). We consider the infection spreading in the $ q $-Kneser graphs and the Grassmann graphs: a vertex gets infected if it has at least two infected neighbors. In this paper, we compute the $ P_3 $-hull numbers of $K_q(n,k)$ and $J_q(n,k)$ respectively, which is the minimum size of a vertex set that eventually infects the whole graph. △ Less

Submitted 8 April, 2022; originally announced April 2022.

MSC Class: 05C36; 52A37; 05A30

A mean-field analysis of a network behavioural-epidemic model

Authors: Kathinka Frieswijk, Lorenzo Zino, Mengbin Ye, Alessandro Rizzo, Ming Cao

Abstract: The spread of an epidemic disease and the population's collective behavioural response are deeply intertwined, influencing each other's evolution. Such a co-evolution typically has been overlooked in mathematical models, limiting their real-world applicability. To address this gap, we propose and analyse a behavioural-epidemic model, in which a susceptible-infected-susceptible epidemic model and a… ▽ More The spread of an epidemic disease and the population's collective behavioural response are deeply intertwined, influencing each other's evolution. Such a co-evolution typically has been overlooked in mathematical models, limiting their real-world applicability. To address this gap, we propose and analyse a behavioural-epidemic model, in which a susceptible-infected-susceptible epidemic model and an evolutionary game-theoretic decision-making mechanism concerning the use of self-protective measures are coupled. Through a mean-field approach, we characterise the asymptotic behaviour of the system, deriving conditions for global convergence to a disease-free equilibrium and characterising the endemic equilibria of the system and their (local) stability. Interestingly, for a certain range of the model parameters, we prove global convergence to a limit cycle, characterised by periodic epidemic outbreaks. △ Less

Submitted 13 April, 2022; v1 submitted 8 March, 2022; originally announced March 2022.

Comments: Accepted for publication by IEEE Control Systems Letters (L-CSS)

Carleson measure estimates, corona decompositions, and perturbation of elliptic operators without connectivity

Authors: Mingming Cao, Pablo Hidalgo-Palencia, José María Martell

Abstract: Let $Ω$ be an open set with Ahlfors-David regular boundary satisfying the corkscrew condition. When $Ω$ is connected in some quantitative form one can establish that for any real elliptic operator with bounded coefficients, the quantitative absolute continuity of elliptic measures is equivalent to the fact that all bounded null solutions satisfy Carleson measure estimates. In turn, in the same set… ▽ More Let $Ω$ be an open set with Ahlfors-David regular boundary satisfying the corkscrew condition. When $Ω$ is connected in some quantitative form one can establish that for any real elliptic operator with bounded coefficients, the quantitative absolute continuity of elliptic measures is equivalent to the fact that all bounded null solutions satisfy Carleson measure estimates. In turn, in the same setting these equivalent properties are stable under Fefferman-Kenig-Pipher perturbations. However, without connectivity, there is no Fefferman-Kenig-Pipher perturbation result available. In this paper, we work with a corona decomposition associated with the elliptic measure and show that it is equivalent to the fact that bounded null solutions satisfy partial/weak Carleson measure estimates, or to the fact that the Green function is comparable to the distance to the boundary in the corona sense. This characterization has profound consequences. We extend Fefferman-Kenig-Pipher's perturbation to non-connected settings. For the Laplacian, these corona decompositions or, equivalently, the partial/weak Carleson measure estimates are meaningful enough to characterize the uniform rectifiability of the boundary. As a consequence, we obtain that the boundary of the set is uniformly rectifiable if bounded null solutions for any Fefferman-Kenig-Pipher perturbation of the Laplacian satisfy Carleson measure estimates. For Kenig-Pipher operators any of the properties of the characterization is stable under transposition or symmetrization of the matrices of coefficients. As a result, we obtain that Carleson measure estimates for bounded null-solutions of non-symmetric variable operators satisfying an $L^1$-Kenig-Pipher condition occur if and only if the boundary of the open set is uniformly rectifiable. Our results generalize previous work in settings where quantitative connectivity. △ Less

Submitted 13 February, 2022; originally announced February 2022.

MSC Class: 42B37; 28A75; 28A78; 31A15; 31B05; 35J08; 35J25; 42B25; 42B35

On Wilson's theorem about domains of attraction and tubular neighborhoods

Authors: Bohuan Lin, Weijia Yao, Ming Cao

Abstract: In this paper, we show that the domain of attraction of a compact asymptotically stable submanifold of a finite-dimensional smooth manifold of an autonomous system is homeomorphic to its tubular neighborhood. The compactness of the attractor is crucial, without which this result is false; two counterexamples are provided to demonstrate this. In this paper, we show that the domain of attraction of a compact asymptotically stable submanifold of a finite-dimensional smooth manifold of an autonomous system is homeomorphic to its tubular neighborhood. The compactness of the attractor is crucial, without which this result is false; two counterexamples are provided to demonstrate this. △ Less

Submitted 1 February, 2022; originally announced February 2022.

$r$-cross $t$-intersecting families for vector spaces

Authors: Mengyu Cao, Mei Lu, Benjian Lv, Kaishun Wang

Abstract: Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. The families $\mathcal{F}_1\subseteq{V\brack k_1},\mathcal{F}_2\subseteq{V\brack k_2},\ldots,\mathcal{F}_r\subseteq{V\brack k_r}$ are said to be $r$-cross $t$-intersecting if $\dim(F_1\cap F_2\cap\cdots\cap F_r)\geq t$ for all… ▽ More Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. The families $\mathcal{F}_1\subseteq{V\brack k_1},\mathcal{F}_2\subseteq{V\brack k_2},\ldots,\mathcal{F}_r\subseteq{V\brack k_r}$ are said to be $r$-cross $t$-intersecting if $\dim(F_1\cap F_2\cap\cdots\cap F_r)\geq t$ for all $F_i\in\mathcal{F}_i,\ 1\leq i\leq r.$ The $r$-cross $t$-intersecting families $\mathcal{F}_1$, $\mathcal{F}_2,\ldots,\mathcal{F}_r$ are said to be non-trivial if $\dim(\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F)<t$. In this paper, we first determine the structure of $r$-cross $t$-intersecting families with maximum product of their sizes. As a consequence, we partially prove one of Frankl and Tokushige's conjectures about $r$-cross $1$-intersecting families for vector spaces. Then we describe the structure of non-trivial $r$-cross $t$-intersecting families $\mathcal{F}_1$, $\mathcal{F}_2,\ldots,\mathcal{F}_r$ with maximum product of their sizes under the assumptions $r=2$ and $\mathcal{F}_1=\mathcal{F}_2=\cdots=\mathcal{F}_r=\mathcal{F}$, respectively, where the $\mathcal{F}$ in the latter assumption is well known as $r$-wise $t$-intersecting family. Meanwhile, stability results for non-trivial $r$-wise $t$-intersecting families are also been proved. △ Less

Submitted 17 January, 2022; originally announced January 2022.

Comments: 29 pages

MSC Class: 05D05; 05A30

Modelling the Effect of Vaccination and Human Behaviour on the Spread of Epidemic Diseases on Temporal Networks

Authors: Kathinka Frieswijk, Lorenzo Zino, Ming Cao

Abstract: Motivated by the increasing number of COVID-19 cases that have been observed in many countries after the vaccination and relaxation of non-pharmaceutical interventions, we propose a mathematical model on time-varying networks for the spread of recurrent epidemic diseases in a partially vaccinated population. The model encapsulates several realistic features, such as the different effectiveness of… ▽ More Motivated by the increasing number of COVID-19 cases that have been observed in many countries after the vaccination and relaxation of non-pharmaceutical interventions, we propose a mathematical model on time-varying networks for the spread of recurrent epidemic diseases in a partially vaccinated population. The model encapsulates several realistic features, such as the different effectiveness of the vaccine against transmission and development of severe symptoms, testing practices, the possible implementation of non-pharmaceutical interventions to reduce the transmission, isolation of detected individuals, and human behaviour. Using a mean-field approach, we analytically derive the epidemic threshold of the model and, if the system is above such a threshold, we compute the epidemic prevalence at the endemic equilibrium. These theoretical results show that precautious human behaviour and effective testing practices are key toward avoiding epidemic outbreaks. Interestingly, we found that, in many realistic scenarios, vaccination is successful in mitigating the outbreak by reducing the prevalence of seriously ill patients, but it could be a double-edged sword, whereby in some cases it might favour resurgent outbreaks, calling for higher testing rates, more cautiousness and responsibility among the population, or the reintroduction of non-pharmaceutical interventions to achieve complete eradication. △ Less

Submitted 10 November, 2021; originally announced November 2021.

Comments: Submitted to the 20th European Control Conference (ECC)

Absolute continuity of degenerate elliptic measure

Authors: Mingming Cao, Kôzô Yabuta

Abstract: Let $Ω\subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $Ω$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on $Ω$ and $μ$ on $\partial Ω$ with appropriate size conditions. Let $Lu=-\mathrm{div}(A\nabla u)$ be a real (not necessarily symmetric) degenerate elliptic operator in $Ω$. Writ… ▽ More Let $Ω\subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $Ω$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on $Ω$ and $μ$ on $\partial Ω$ with appropriate size conditions. Let $Lu=-\mathrm{div}(A\nabla u)$ be a real (not necessarily symmetric) degenerate elliptic operator in $Ω$. Write $ω_L$ for the associated degenerate elliptic measure. We establish the equivalence between the following properties: (i) $ω_L \in A_{\infty}(μ)$, (ii) $L$ is $L^p(μ)$-solvable for some $p \in (1, \infty)$, (iii) every bounded null solution of $L$ satisfies a Carleson measure estimate with respect to $μ$, (iv) the conical square function is controlled by the non-tangential maximal function in $L^q(μ)$ for some (or for all) $q \in (0, \infty)$ for any null solution of $L$, and (v) $L$ is $\mathrm{BMO}(μ)$-solvable. On the other hand, we obtain a qualitative analogy of the previous equivalence. Indeed, we characterize the absolute continuity of $ω_L$ with respect to $μ$ in terms of local $L^2(μ)$ estimates of the truncated conical square function for any bounded null solution of $L$. This is also equivalent to the finiteness $μ$-almost everywhere of the truncated conical square function for any bounded null solution of $L$. △ Less

Submitted 24 January, 2022; v1 submitted 10 September, 2021; originally announced September 2021.

Comments: text overlap with arXiv:2101.06064

MSC Class: 35J25; 42B37; 31B05; 35J08; 42B25

DIRECT: A Differential Dynamic Programming Based Framework for Trajectory Generation

Authors: Kun Cao, Muqing Cao, Shenghai Yuan, Lihua Xie

Abstract: This paper introduces a differential dynamic programming (DDP) based framework for polynomial trajectory generation for differentially flat systems. In particular, instead of using a linear equation with increasing size to represent multiple polynomial segments as in literature, we take a new perspective from state-space representation such that the linear equation reduces to a finite horizon cont… ▽ More This paper introduces a differential dynamic programming (DDP) based framework for polynomial trajectory generation for differentially flat systems. In particular, instead of using a linear equation with increasing size to represent multiple polynomial segments as in literature, we take a new perspective from state-space representation such that the linear equation reduces to a finite horizon control system with a fixed state dimension and the required continuity conditions for consecutive polynomials are automatically satisfied. Consequently, the constrained trajectory generation problem (both with and without time optimization) can be converted to a discrete-time finite-horizon optimal control problem with inequality constraints, which can be approached by a recently developed interior-point DDP (IPDDP) algorithm. Furthermore, for unconstrained trajectory generation with preallocated time, we show that this problem is indeed a linear-quadratic tracking (LQT) problem (DDP algorithm with exact one iteration). All these algorithms enjoy linear complexity with respect to the number of segments. Both numerical comparisons with state-of-the-art methods and physical experiments are presented to verify and validate the effectiveness of our theoretical findings. The implementation code will be open-sourced, △ Less

Submitted 10 September, 2021; originally announced September 2021.

Comments: 8 pages, 5 figures

Optimal policy design to mitigate epidemics on networks using an SIS model

Authors: Carlo Cenedese, Lorenzo Zino, Michele Cucuzzella, Ming Cao

Abstract: Understanding how to effectively control an epidemic spreading on a network is a problem of paramount importance for the scientific community. The ongoing COVID-19 pandemic has highlighted the need for policies that mitigate the spread, without relying on pharmaceutical interventions, that is, without the medical assurance of the recovery process. These policies typically entail lockdowns and mobi… ▽ More Understanding how to effectively control an epidemic spreading on a network is a problem of paramount importance for the scientific community. The ongoing COVID-19 pandemic has highlighted the need for policies that mitigate the spread, without relying on pharmaceutical interventions, that is, without the medical assurance of the recovery process. These policies typically entail lockdowns and mobility restrictions, having thus nonnegligible socio-economic consequences for the population. In this paper, we focus on the problem of finding the optimum policies that "flatten the epidemic curve" while limiting the negative consequences for the society, and formulate it as a nonlinear control problem over a finite prediction horizon. We utilize the model predictive control theory to design a strategy to effectively control the disease, balancing safety and normalcy. An explicit formalization of the control scheme is provided for the susceptible--infected--susceptible epidemic model over a network. Its performance and flexibility are demonstrated by means of numerical simulations. △ Less

Submitted 12 September, 2021; v1 submitted 8 September, 2021; originally announced September 2021.

Robust optimal policies for team Markov games

Authors: Feng Huang, Ming Cao, Long Wang

Abstract: In stochastic dynamic environments, team Markov games have emerged as a versatile paradigm for studying sequential decision-making problems of fully cooperative multi-agent systems. However, the optimality of the derived policies is usually sensitive to model parameters, which are typically unknown and required to be estimated from noisy data in practice. To mitigate the sensitivity of optimal pol… ▽ More In stochastic dynamic environments, team Markov games have emerged as a versatile paradigm for studying sequential decision-making problems of fully cooperative multi-agent systems. However, the optimality of the derived policies is usually sensitive to model parameters, which are typically unknown and required to be estimated from noisy data in practice. To mitigate the sensitivity of optimal policies to these uncertain parameters, we propose a robust model of team Markov games in this paper, where agents utilize robust optimization approaches to update strategies. This model extends team Markov games to the scenario of incomplete information and meanwhile provides an alternative solution concept of robust team optimality. To seek such a solution, we develop a robust iterative learning algorithm of team policies and prove its convergence. This algorithm, compared with robust dynamic programming, not only possesses a faster convergence rate, but also allows for using approximation calculations to alleviate the curse of dimensionality. Moreover, some numerical simulations are presented to demonstrate the effectiveness of the algorithm by generalizing the game model of sequential social dilemmas to uncertain scenarios. △ Less

Submitted 2 May, 2022; v1 submitted 16 May, 2021; originally announced May 2021.

Comments: under review

Different Environment Feedback in Fast-slow Eco-evolutionary Dynamics

Authors: Lulu Gong, Ming Cao

Abstract: The fast-slow dynamics of an eco-evolutionary system are studied, where we consider the feedback actions of environmental resources that are classified into those that are self-renewing and those externally supplied. We show although these two types of resources are drastically different, the resulting closed-loop systems bear close resemblances, which include the same equilibria and their stabili… ▽ More The fast-slow dynamics of an eco-evolutionary system are studied, where we consider the feedback actions of environmental resources that are classified into those that are self-renewing and those externally supplied. We show although these two types of resources are drastically different, the resulting closed-loop systems bear close resemblances, which include the same equilibria and their stability conditions on the boundary of the phase space, and the similar appearances of equilibria in the interior. After closer examination of specific choices of parameter values, we disclose that the global dynamical behaviors of the two types of closed-loop systems can be fundamentally different in terms of limit cycles: the system with self-renewing resources undergoes a generalized Hopf bifurcation such that one stable limit cycle and one unstable limit cycle can coexist; the system with externally supplied resources can only have the stable limit cycle induced by a supercritical Hopf bifurcation. Finally, the explorative analysis is carried out to show the discovered dynamic behaviors are robust in even larger parameter space. △ Less

Submitted 19 May, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 9 pages

Journal ref: IEEE Control Systems Letters, vol. 6, pp. 1184-1189, 2022

Non-trivial $t$-intersecting families for the distance-regular graphs of bilinear forms

Authors: Mengyu Cao, Benjian Lv, Kaishun Wang

Abstract: Let $V$ be an $(n+\ell)$-dimensional vector space over a finite field, and $W$ a fixed $\ell$-dimensional subspace of $V$. Write ${V\brack n,0}$ to be the set of all $n$-dimensional subspaces $U$ of $V$ satisfying $\dim(U\cap W)=0$. A family $\mathcal{F}\subseteq{V\brack n,0}$ is $t$-intersecting if $\dim(A\cap B)\geq t$ for all $A,B\in\mathcal{F}$. A $t$-intersecting family… ▽ More Let $V$ be an $(n+\ell)$-dimensional vector space over a finite field, and $W$ a fixed $\ell$-dimensional subspace of $V$. Write ${V\brack n,0}$ to be the set of all $n$-dimensional subspaces $U$ of $V$ satisfying $\dim(U\cap W)=0$. A family $\mathcal{F}\subseteq{V\brack n,0}$ is $t$-intersecting if $\dim(A\cap B)\geq t$ for all $A,B\in\mathcal{F}$. A $t$-intersecting family $\mathcal{F}\subseteq{V\brack n,0}$ is called non-trivial if $\dim(\cap_{F\in\mathcal{F}}F)<t$. In this paper, we describe the structure of non-trivial $t$-intersecting families of ${V\brack n,0}$ with large size. In particular, we show the structure of the non-trivial $t$-intersecting families with maximum size, which extends the Hilton-Milner Theorem for ${V\brack n,0}$. △ Less

Submitted 20 March, 2021; originally announced March 2021.

Comments: 25 pages

MSC Class: 05D05; 05A30

Convergence Analysis of Dual Decomposition Algorithm in Distributed Optimization: Asynchrony and Inexactness

Authors: Yifan Su, Zhaojian Wang, Ming Cao, Mengshuo Jia, Feng Liu

Abstract: Dual decomposition is widely utilized in distributed optimization of multi-agent systems. In practice, the dual decomposition algorithm is desired to admit an asynchronous implementation due to imperfect communication, such as time delay and packet drop. In addition, computational errors also exist when individual agents solve their own subproblems. In this paper, we analyze the convergence of the… ▽ More Dual decomposition is widely utilized in distributed optimization of multi-agent systems. In practice, the dual decomposition algorithm is desired to admit an asynchronous implementation due to imperfect communication, such as time delay and packet drop. In addition, computational errors also exist when individual agents solve their own subproblems. In this paper, we analyze the convergence of the dual decomposition algorithm in distributed optimization when both the asynchrony in communication and the inexactness in solving subproblems exist. We find that the interaction between asynchrony and inexactness slows down the convergence rate from $\mathcal{O} ( 1 / k )$ to $\mathcal{O} ( 1 / \sqrt{k} )$. Specifically, with a constant step size, the value of objective function converges to a neighborhood of the optimal value, and the solution converges to a neighborhood of the exact optimal solution. Moreover, the violation of the constraints diminishes in $\mathcal{O} ( 1 / \sqrt{k} )$. Our result generalizes and unifies the existing ones that only consider either asynchrony or inexactness. Finally, numerical simulations validate the theoretical results. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Two characterizations of the grid graphs

Authors: Brhane Gebremichel, Meng-Yue Cao, Jack H. Koolen

Abstract: In this paper we give two characterizations of the $p \times q$-grid graphs as co-edge-regular graphs with four distinct eigenvalues. In this paper we give two characterizations of the $p \times q$-grid graphs as co-edge-regular graphs with four distinct eigenvalues. △ Less

Submitted 31 July, 2021; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: 18 pages, 1 table

MSC Class: 05C50 (Primary); 05E99 (secondary)

Journal ref: B. Gebremichel, M. Y. Cao, J. H. Koolen, Two characterizations of the grid graphs, Discrete Mathematics, 344(2021) 112550

Analysis, Prediction, and Control of Epidemics: A Survey from Scalar to Dynamic Network Models

Authors: Lorenzo Zino, Ming Cao

Abstract: During the ongoing COVID-19 pandemic, mathematical models of epidemic spreading have emerged as powerful tools to produce valuable predictions of the evolution of the pandemic, hel** public health authorities decide which intervention policies should be implemented. The study of these models -- grounded in the systems theory and often analyzed using control-theoretic tools -- is an extremely imp… ▽ More During the ongoing COVID-19 pandemic, mathematical models of epidemic spreading have emerged as powerful tools to produce valuable predictions of the evolution of the pandemic, hel** public health authorities decide which intervention policies should be implemented. The study of these models -- grounded in the systems theory and often analyzed using control-theoretic tools -- is an extremely important research area for many researchers from different fields, including epidemiology, engineering, physics, mathematics, computer science, sociology, economics, and management. In this survey, we review the history and present the state of the art in the modeling, analysis, and control of epidemic dynamics. We discuss different approaches to epidemic modeling, either deterministic or stochastic, ranging from the first implementations of scalar systems of differential equations to describing the epidemic spreading at the population level, and to more recent models on dynamic networks, which capture the spatial spread and the time-varying nature of human interactions. △ Less

Submitted 27 February, 2021; originally announced March 2021.

Comments: 38 pages, 11 figures. Accepted for publication in the IEEE Circuits and Systems Magazine (\c{opyright} 2021 IEEE)

Journal ref: IEEE Circuits and Systems Magazine, vol. 21, no. 4, pp. 4-23, Fourthquarter 2021

Maximality of Seidel matrices and switching roots of graphs

Authors: Meng-Yue Cao, Jack H. Koolen, Akihiro Munemasa, Kiyoto Yoshino

Abstract: In this paper, we discuss maximality of Seidel matrices with a fixed largest eigenvalue. We present a classification of maximal Seidel matrices of largest eigenvalue $3$, which gives a classification of maximal equiangular lines in a Euclidean space with angle $\arccos1/3$. Motivated by the maximality of the exceptional root system $E_8$, we define strong maximality of a Seidel matrix, and show th… ▽ More In this paper, we discuss maximality of Seidel matrices with a fixed largest eigenvalue. We present a classification of maximal Seidel matrices of largest eigenvalue $3$, which gives a classification of maximal equiangular lines in a Euclidean space with angle $\arccos1/3$. Motivated by the maximality of the exceptional root system $E_8$, we define strong maximality of a Seidel matrix, and show that every Seidel matrix achieving the absolute bound is strongly maximal. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 18 pages

MSC Class: 05C50; 05C22

Stability of Remote Synchronization in Star Networks of Kuramoto Oscillators

Authors: Yuzhen Qin, Yu Kawano, Ming Cao

Abstract: Synchrony of neuronal ensembles is believed to facilitate information exchange among cortical regions in the human brain. Recently, it has been observed that distant brain areas which are not directly connected by neural links also experience synchronization. Such synchronization between remote regions is sometimes due to the presence of a mediating region connecting them, e.g., \textit{the thalam… ▽ More Synchrony of neuronal ensembles is believed to facilitate information exchange among cortical regions in the human brain. Recently, it has been observed that distant brain areas which are not directly connected by neural links also experience synchronization. Such synchronization between remote regions is sometimes due to the presence of a mediating region connecting them, e.g., \textit{the thalamus}. The underlying network structure of this phenomenon is star-like and motivates us to study the \textit{remote synchronization} of Kuramoto oscillators, {modeling neural dynamics}, coupled by a directed star network, for which peripheral oscillators get phase synchronized, remaining the accommodating central mediator at a different phase. We show that the symmetry of the coupling strengths of the outgoing links from the central oscillator plays a crucial role in enabling stable remote synchronization. We also consider the case when there is a phase shift in the model which results from synaptic and conduction delays. Sufficient conditions on the coupling strengths are obtained to ensure the stability of remotely synchronized states. To validate our obtained results, numerical simulations are also performed. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Journal ref: in Proceedings of 57th IEEE Conference on Decision and Control, 2018

Highway Traffic Control via Smart e-Mobility -- Part II: Dutch A13 Case Study

Authors: Carlo Cenedese, Michele Cucuzzella, Jacquelien M. A. Scherpen, Sergio Grammatico, Ming Cao

Abstract: In this paper, we study how to alleviate highway traffic congestions by encouraging plug-in electric and hybrid vehicles to stop at charging stations around peak congestion times. Specifically, we focus on a case study and simulate the adoption of a dynamic charging price depending on the traffic congestion. We use real traffic data of the A13 highway stretch between The Hague and Rotterdam, in Th… ▽ More In this paper, we study how to alleviate highway traffic congestions by encouraging plug-in electric and hybrid vehicles to stop at charging stations around peak congestion times. Specifically, we focus on a case study and simulate the adoption of a dynamic charging price depending on the traffic congestion. We use real traffic data of the A13 highway stretch between The Hague and Rotterdam, in The Netherlands, to identify the Cell Transmission Model. Then, we apply the algorithm proposed in (Part I: Theory) to different scenarios, validating the theoretical results and showing the benefits of our strategy in terms of traffic congestion alleviation. Finally, we carry out a sensitivity analysis of the proposed algorithm and discuss how to optimize its performance. △ Less

Submitted 23 February, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 10 pages, 14 figures, 3 tables

Highway Traffic Control via Smart e-Mobility -- Part I: Theory

Authors: Carlo Cenedese, Michele Cucuzzella, Jacquelien M. A. Scherpen, Sergio Grammatico, Ming Cao

Abstract: In this paper, we study how to alleviate highway traffic congestion by encouraging plug-in hybrid and electric vehicles to stop at a charging station around peak congestion times. Specifically, we design a pricing policy to make the charging price dynamic and dependent on the traffic congestion, predicted via the cell transmission model, and the availability of charging spots. Furthermore, we deve… ▽ More In this paper, we study how to alleviate highway traffic congestion by encouraging plug-in hybrid and electric vehicles to stop at a charging station around peak congestion times. Specifically, we design a pricing policy to make the charging price dynamic and dependent on the traffic congestion, predicted via the cell transmission model, and the availability of charging spots. Furthermore, we develop a novel framework to model how this policy affects the drivers' decisions by formulating a mixed-integer potential game. Technically, we introduce the concept of "road-to-station" (r2s) and "station-to-road" (s2r) flows, and show that the selfish actions of the drivers converge to charging schedules that are individually optimal in the sense of Nash. In the second part of this work, submitted as a separate paper (Part II: Case Study), we validate the proposed strategy on a simulated highway stretch between The Hague and Rotterdam, in The Netherlands. △ Less

Submitted 23 February, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 10 pages, 2 figures

A two-layer model for coevolving opinion dynamics and collective decision-making in complex social systems

Authors: Lorenzo Zino, Mengbin Ye, Ming Cao

Abstract: Motivated by the literature on opinion dynamics and evolutionary game theory, we propose a novel mathematical framework to model the intertwined coevolution of opinions and decision-making in a complex social system. In the proposed framework, the members of a social community update their opinions and revise their actions as they learn of others' opinions shared on a communication channel, and ob… ▽ More Motivated by the literature on opinion dynamics and evolutionary game theory, we propose a novel mathematical framework to model the intertwined coevolution of opinions and decision-making in a complex social system. In the proposed framework, the members of a social community update their opinions and revise their actions as they learn of others' opinions shared on a communication channel, and observe of others' actions through an influence channel; these interactions determine a two-layer network structure. We offer an application of the proposed framework by tailoring it to study the adoption of a novel social norm, demonstrating that the model is able to capture the emergence of several real-world collective phenomena such as paradigm shifts and unpopular norms. Through the establishment of analytical conditions and Monte Carlo numerical simulations, we shed light on the role of the coupling between opinion dynamics and decision-making, and of the network structure, in sha** the emergence of complex collective behavior in social systems. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Comments: This article may be downloaded for personal use only. Any other use requires prior permission of the author and AIP Publishing. This article appeared in Chaos 30, 083107 (2020) and may be found at https://doi.org/10.1063/5.0004787

Journal ref: Chaos 30(8), 083107 (2020)