-
On the Value of Linear Quadratic Zero-sum Difference Games with Multiplicative Randomness: Existence and Achievability
Authors:
Songfu Cai,
Xuanyu Cao
Abstract:
We consider a wireless networked control system (WNCS) with multiple controllers and multiple attackers. The dynamic interaction between the controllers and the attackers is modeled as a linear quadratic (LQ) zero-sum difference game with multiplicative randomness induced by the multiple-input and multiple-output (MIMO) wireless fading channels of the controllers and attackers. We focus on analyzi…
▽ More
We consider a wireless networked control system (WNCS) with multiple controllers and multiple attackers. The dynamic interaction between the controllers and the attackers is modeled as a linear quadratic (LQ) zero-sum difference game with multiplicative randomness induced by the multiple-input and multiple-output (MIMO) wireless fading channels of the controllers and attackers. We focus on analyzing the existence and achievability of the value of the zero-sum game. We first establish a general sufficient and necessary condition for the existence of the game value. This condition relies on the solvability of a modified game algebraic Riccati equation (MGARE) under an implicit concavity constraint, which is generally difficult to verify due to the intermittent controllability or almost sure uncontrollability caused by the multiplicative randomness. We then introduce a new positive semidefinite (PSD) kernel decomposition method induced by multiplicative randomness, through which we obtain a closed-form tight verifiable sufficient condition. Under the existence condition, we finally construct a saddle-point policy that is able to achieve the game value in a certain class of admissible policies. We demonstrate that the proposed saddle-point policy is backward compatible to the existing strictly feedback stabilizing saddle-point policy.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
New Characterizations and Efficient Local Search for General Integer Linear Programming
Authors:
Peng Lin,
Shaowei Cai,
Mengchuan Zou,
**kun Lin
Abstract:
Integer linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes new characterizations of ILP with the concept of boundary solutions. Motivated by the new characterizations, we develop a new local search algorithm Local-ILP, which is efficient for solving general ILP validated on a la…
▽ More
Integer linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes new characterizations of ILP with the concept of boundary solutions. Motivated by the new characterizations, we develop a new local search algorithm Local-ILP, which is efficient for solving general ILP validated on a large heterogeneous problem dataset. We propose a new local search framework that switches between three modes, namely Search, Improve, and Restore modes. Two new operators are proposed, namely the tight move and the lift move operators, which are associated with appropriate scoring functions. Different modes apply different operators to realize different search strategies and the algorithm switches between three modes according to the current search state. Putting these together, we develop a local search ILP solver called Local-ILP. Experiments conducted on the MIPLIB dataset show the effectiveness of our algorithm in solving large-scale hard ILP problems. In the aspect of finding a good feasible solution quickly, Local-ILP is competitive and complementary to the state-of-the-art commercial solver Gurobi and significantly outperforms the state-of-the-art non-commercial solver SCIP. Moreover, our algorithm establishes new records for 6 MIPLIB open instances. The theoretical analysis of our algorithm is also presented, which shows our algorithm could avoid visiting unnecessary regions.
△ Less
Submitted 1 March, 2024; v1 submitted 29 April, 2023;
originally announced May 2023.
-
Accelerated Distributed Aggregative Optimization
Authors:
Jiaxu Liu,
Song Chen,
Shengze Cai,
Chao Xu
Abstract:
In this paper, we investigate a distributed aggregative optimization problem in a network, where each agent has its own local cost function which depends not only on the local state variable but also on an aggregated function of state variables from all agents. To accelerate the optimization process, we combine heavy ball and Nesterov's accelerated methods with distributed aggregative gradient tra…
▽ More
In this paper, we investigate a distributed aggregative optimization problem in a network, where each agent has its own local cost function which depends not only on the local state variable but also on an aggregated function of state variables from all agents. To accelerate the optimization process, we combine heavy ball and Nesterov's accelerated methods with distributed aggregative gradient tracking, and propose two novel algorithms named DAGT-HB and DAGT-NES for solving the distributed aggregative optimization problem. We analyse that the DAGT-HB and DAGT-NES algorithms can converge to an optimal solution at a global $\mathbf{R}-$linear convergence rate when the objective function is smooth and strongly convex, and when the parameters (e.g., step size and momentum coefficients) are selected within certain ranges. A numerical experiment on the optimal placement problem is given to verify the effectiveness and superiority of our proposed algorithms.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
The Novel Adaptive Fractional Order Gradient Decent Algorithms Design via Robust Control
Authors:
Jiaxu Liu,
Song Chen,
Shengze Cai,
Chao Xu
Abstract:
The vanilla fractional order gradient descent may oscillatively converge to a region around the global minimum instead of converging to the exact minimum point, or even diverge, in the case where the objective function is strongly convex. To address this problem, a novel adaptive fractional order gradient descent (AFOGD) method and a novel adaptive fractional order accelerated gradient descent (AF…
▽ More
The vanilla fractional order gradient descent may oscillatively converge to a region around the global minimum instead of converging to the exact minimum point, or even diverge, in the case where the objective function is strongly convex. To address this problem, a novel adaptive fractional order gradient descent (AFOGD) method and a novel adaptive fractional order accelerated gradient descent (AFOAGD) method are proposed in this paper. Inspired by the quadratic constraints and Lyapunov stability analysis from robust control theory, we establish a linear matrix inequality to analyse the convergence of our proposed algorithms. We prove that the proposed algorithms can achieve R-linear convergence when the objective function is $\textbf{L-}$smooth and $\textbf{m-}$strongly-convex. Several numerical simulations are demonstrated to verify the effectiveness and superiority of our proposed algorithms.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems
Authors:
Song Chen,
Shengze Cai,
Tehuan Chen,
Chao Xu,
Jian Chu
Abstract:
In this paper, we propose a novel nonlinear observer based on neural networks, called neural observer, for observation tasks of linear time-invariant (LTI) systems and uncertain nonlinear systems. In particular, the neural observer designed for uncertain systems is inspired by the active disturbance rejection control, which can measure the uncertainty in real-time. The stability analysis (e.g., ex…
▽ More
In this paper, we propose a novel nonlinear observer based on neural networks, called neural observer, for observation tasks of linear time-invariant (LTI) systems and uncertain nonlinear systems. In particular, the neural observer designed for uncertain systems is inspired by the active disturbance rejection control, which can measure the uncertainty in real-time. The stability analysis (e.g., exponential convergence rate) of LTI and uncertain nonlinear systems (involving neural observers) are presented and guaranteed, where it is shown that the observation problems can be solved only using the linear matrix inequalities (LMIs). Also, it is revealed that the observability and controllability of the system matrices are required to demonstrate the existence of solutions of LMIs. Finally, the effectiveness of neural observers is verified on three simulation cases, including the X-29A aircraft model, the nonlinear pendulum, and the four-wheel steering vehicle.
△ Less
Submitted 16 January, 2023; v1 submitted 27 August, 2022;
originally announced August 2022.
-
The Elliptic Net Algorithm Revisited
Authors:
Shi** Cai,
Zhi Hu,
Zheng-An Yao,
Chang-An Zhao
Abstract:
Pairings have been widely used since their introduction to cryptography. They can be applied to identity-based encryption, tripartite Diffie-Hellman key agreement, blockchain and other cryptographic schemes. The Acceleration of pairing computations is crucial for these cryptographic schemes or protocols. In this paper, we will focus on the Elliptic Net algorithm which can compute pairings in polyn…
▽ More
Pairings have been widely used since their introduction to cryptography. They can be applied to identity-based encryption, tripartite Diffie-Hellman key agreement, blockchain and other cryptographic schemes. The Acceleration of pairing computations is crucial for these cryptographic schemes or protocols. In this paper, we will focus on the Elliptic Net algorithm which can compute pairings in polynomial time, but it requires more storage than Miller's algorithm. We use several methods to speed up the Elliptic Net algorithm. Firstly, we eliminate the inverse operation in the improved Elliptic Net algorithm. In some circumstance, this finding can achieve further improvements. Secondly, we apply lazy reduction technique to the Elliptic Net algorithm, which helps us achieve a faster implementation. Finally, we propose a new derivation of the formulas for the computation of the Optimal Ate pairing on the twisted curve. Results show that the Elliptic Net algorithm can be significantly accelerated especially on the twisted curve. The algorithm can be $80\%$ faster than the previous ones on the twisted 381-bit BLS12 curve and $71.5\%$ faster on the twisted 676-bit KSS18 curve respectively.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Online Optimal State Feedback Control of Linear Systems over Wireless MIMO Fading Channels
Authors:
Songfu Cai,
Vincent Lau
Abstract:
We consider the optimal control of linear systems over wireless MIMO fading channels, where the MIMO wireless fading and random access of the remote controller may cause intermittent controllability or uncontrollability of the closed-loop control system. We formulate the optimal control design over random access MIMO fading channels as an infinite horizon average cost Markov decision process (MDP)…
▽ More
We consider the optimal control of linear systems over wireless MIMO fading channels, where the MIMO wireless fading and random access of the remote controller may cause intermittent controllability or uncontrollability of the closed-loop control system. We formulate the optimal control design over random access MIMO fading channels as an infinite horizon average cost Markov decision process (MDP), and we propose a novel state reduction technique such that the optimality condition is transformed into a time-invariant reduced-state Bellman optimality equation. We provide the closed-form characterizations on the existence and uniqueness of the optimal control solution via analyzing the reduced-state Bellman optimality equation. Specifically, in the case that the closed-loop system is almost surely controllable, we show that the optimal control solution always exists and is unique. In the case that MIMO fading channels and the random access of the remote controller destroy the closed-loop controllability, we propose a novel controllable and uncontrollable positive semidefinite (PSD) cone decomposition induced by the singular value decomposition (SVD) of the MIMO fading channel contaminated control input matrix. Based on the decomposed fine-grained reduced-state Bellman optimality equation, we further propose a closed-form sufficient condition for both the existence and the uniqueness of the optimal control solution. The closed-form sufficient condition reveals the fact that the optimal control action may still exist even if the closed-loop system suffers from intermittent controllability or almost sure uncontrollability.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Rankings in directed configuration models with heavy tailed in-degrees
Authors:
Xing Shi Cai,
Pietro Caputo,
Guillem Perarnau,
Matteo Quattropani
Abstract:
We consider the extremal values of the stationary distribution of sparse directed random graphs with given degree sequences and their relation to the extremal values of the in-degree sequence. The graphs are generated by the directed configuration model. Under the assumption of bounded $(2+η)$-moments on the in-degrees and of bounded out-degrees, we obtain tight comparisons between the maximum val…
▽ More
We consider the extremal values of the stationary distribution of sparse directed random graphs with given degree sequences and their relation to the extremal values of the in-degree sequence. The graphs are generated by the directed configuration model. Under the assumption of bounded $(2+η)$-moments on the in-degrees and of bounded out-degrees, we obtain tight comparisons between the maximum value of the stationary distribution and the maximum in-degree. Under the further assumption that the order statistics of the in-degrees have a power-law behavior, we show that the extremal values of the stationary distribution also have a power-law behavior with the same index. In the same setting, we prove that these results extend to the PageRank scores of the random digraph, thus confirming a version of the so-called power-law hypothesis. Along the way, we establish several facts about the model, including the mixing time cutoff and the characterization of the typical values of the stationary distribution, which were previously obtained under the assumption of bounded in-degrees.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
On the spatially homogeneous Boltzmann equation for Bose-Einstein particles with balanced potentials
Authors:
Shuzhe Cai
Abstract:
The paper is concerned with the spatially homogeneous isotropic Boltzmann equation for Bose-Einstein particles with quantum collision kernel where the interaction potential $φ({\bf x})$ can be approximately written as the delta function plus a certain attractive potential such that the Fourier transform $\widehatφ$ of $φ$ behaves like $0 \le \widehatφ(ξ) \le {\rm const.} |ξ|^η$ for $|ξ|<<1$ for so…
▽ More
The paper is concerned with the spatially homogeneous isotropic Boltzmann equation for Bose-Einstein particles with quantum collision kernel where the interaction potential $φ({\bf x})$ can be approximately written as the delta function plus a certain attractive potential such that the Fourier transform $\widehatφ$ of $φ$ behaves like $0 \le \widehatφ(ξ) \le {\rm const.} |ξ|^η$ for $|ξ|<<1$ for some constant $η\ge 1$. We prove that in this case, there is no condensation in finite time for all temperatures and all solutions, and thus it is completely different from the case $\widehatφ(ξ) \ge {\rm const.}|ξ|^η$ for $|ξ|<<1$ with $0\le η<1/4$ as considered in \cite{Cai-Lu}. For a class of initial data that have some nice integrability near the origin, we also get some regularity, stability and $L^{\infty}$ estimate.
△ Less
Submitted 31 December, 2020;
originally announced January 2021.
-
Equivariant Map** Class Group and Orbit Braid Group
Authors:
Shuya Cai,
Hao Li
Abstract:
Motivated by the work of Birman about the relationship between map** class groups and braid groups, we discuss the relationship between the orbit braid group and the equivariant map** class group on the closed surface $M$ with a free and proper group action in this article. Our construction is based on the exact sequence given by the fibration $\mathcal{F}_{0}^{G}M \rightarrow F(M/G,n)$. The c…
▽ More
Motivated by the work of Birman about the relationship between map** class groups and braid groups, we discuss the relationship between the orbit braid group and the equivariant map** class group on the closed surface $M$ with a free and proper group action in this article. Our construction is based on the exact sequence given by the fibration $\mathcal{F}_{0}^{G}M \rightarrow F(M/G,n)$. The conclusion is closely connected with the braid group of the quotient space. Comparing with the situation without the group action, there is a big difference when the quotient space is $\mathbb{T}^{2}$.
△ Less
Submitted 10 November, 2020;
originally announced November 2020.
-
Minimum stationary values of sparse random directed graphs
Authors:
Xing Shi Cai,
Guillem Perarnau
Abstract:
We consider the stationary distribution of the simple random walk on the directed configuration model with bounded degrees. Provided that the minimum out-degree is at least $2$, with high probability (whp) there is a unique stationary distribution. We show that the minimum positive stationary value is whp $n^{-(1+C+o(1))}$ for some constant $C \ge 0$ determined by the degree distribution. In parti…
▽ More
We consider the stationary distribution of the simple random walk on the directed configuration model with bounded degrees. Provided that the minimum out-degree is at least $2$, with high probability (whp) there is a unique stationary distribution. We show that the minimum positive stationary value is whp $n^{-(1+C+o(1))}$ for some constant $C \ge 0$ determined by the degree distribution. In particular, $C$ is the competing combination of two factors: (1) the contribution of atypically "thin" in-neighbourhoods, controlled by subcritical branching processes; and (2) the contribution of atypically "light" trajectories, controlled by large deviation rate functions. Additionally, our proof implies that whp the hitting and the cover time are both $n^{1+C+o(1)}$. Our results complement those of Caputo and Quattropani who showed that if the minimum in-degree is at least 2, stationary values have logarithmic fluctuations around $n^{-1}$.
△ Less
Submitted 19 February, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
The giant component of the directed configuration model revisited
Authors:
Xing Shi Cai,
Guillem Perarnau
Abstract:
We prove a law of large numbers for the order and size of the largest strongly connected component in the directed configuration model. Our result extends previous work by Cooper and Frieze.
We prove a law of large numbers for the order and size of the largest strongly connected component in the directed configuration model. Our result extends previous work by Cooper and Frieze.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
The diameter of the directed configuration model
Authors:
Xing Shi Cai,
Guillem Perarnau
Abstract:
We show that the diameter of the directed configuration model with $n$ vertices rescaled by $\log n$ converges in probability to a constant. Our assumptions are the convergence of the in- and out-degree of a uniform random vertex in distribution, first and second moment. Our result extends previous results on the diameter of the model and applies to many other random directed graphs.
We show that the diameter of the directed configuration model with $n$ vertices rescaled by $\log n$ converges in probability to a constant. Our assumptions are the convergence of the in- and out-degree of a uniform random vertex in distribution, first and second moment. Our result extends previous results on the diameter of the model and applies to many other random directed graphs.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
The $k$-cut model in deterministic and random trees
Authors:
Gabriel Berzunza,
Xing Shi Cai,
Cecilia Holmgren
Abstract:
The $k$-cut number of rooted graphs was introduced by Cai et al. as a generalization of the classical cutting model by Meir and Moon. In this paper, we show that all moments of the k-cut number of conditioned Galton-Watson trees converges after proper rescaling, which implies convergence in distribution to the same limit law regardless of the offspring distribution of the trees. This extends the r…
▽ More
The $k$-cut number of rooted graphs was introduced by Cai et al. as a generalization of the classical cutting model by Meir and Moon. In this paper, we show that all moments of the k-cut number of conditioned Galton-Watson trees converges after proper rescaling, which implies convergence in distribution to the same limit law regardless of the offspring distribution of the trees. This extends the result of Janson. Using the same method, we also show that the k-cut number of various random or deterministic trees of logarithmic height converges in probability to a constant after rescaling, such as random split-trees, uniform random recursive trees, and scale-free random trees.
△ Less
Submitted 16 October, 2020; v1 submitted 5 July, 2019;
originally announced July 2019.
-
The fluctuations of the giant cluster for percolation on random split trees
Authors:
Gabriel Berzunza,
Xing Shi Cai,
Cecilia Holmgren
Abstract:
A split tree of cardinality $n$ is constructed by distributing $n$ "balls" in a subset of vertices of an infinite tree which encompasses many types of random trees such as $m$-ary search trees, quad trees, median-of-$(2k+1)$ trees, fringe-balanced trees, digital search trees and random simplex trees. In this work, we study Bernoulli bond percolation on arbitrary split trees of large but finite car…
▽ More
A split tree of cardinality $n$ is constructed by distributing $n$ "balls" in a subset of vertices of an infinite tree which encompasses many types of random trees such as $m$-ary search trees, quad trees, median-of-$(2k+1)$ trees, fringe-balanced trees, digital search trees and random simplex trees. In this work, we study Bernoulli bond percolation on arbitrary split trees of large but finite cardinality $n$. We show for appropriate percolation regimes that depend on the cardinality $n$ of the split tree that there exists a unique giant cluster, the fluctuations of the size of the giant cluster as $n \rightarrow \infty$ are described by an infinitely divisible distribution that belongs to the class of stable Cauchy laws. This work generalizes the results for the random $m$-ary recursive trees in Berzunza (2015). Our approach is based on a remarkable decomposition of the size of the giant percolation cluster as a sum of essentially independent random variables which may be useful for studying percolation on other trees with logarithmic height; for instance in this work we study also the case of regular trees.
△ Less
Submitted 26 May, 2021; v1 submitted 21 February, 2019;
originally announced February 2019.
-
Cutting resilient networks -- complete binary trees
Authors:
Xing Shi Cai,
Cecilia Holmgren
Abstract:
In our previous work, we introduced the random $k$-cut number for rooted graphs. In this paper, we show that the distribution of the $k$-cut number in complete binary trees of size $n$, after rescaling, is asymptotically a periodic function of $\lg n - \lg \lg n$. Thus there are different limit distributions for different subsequences, where these limits are similar to weakly 1-stable distribution…
▽ More
In our previous work, we introduced the random $k$-cut number for rooted graphs. In this paper, we show that the distribution of the $k$-cut number in complete binary trees of size $n$, after rescaling, is asymptotically a periodic function of $\lg n - \lg \lg n$. Thus there are different limit distributions for different subsequences, where these limits are similar to weakly 1-stable distributions. This generalizes the result for the case $k = 1$, i.e., the traditional cutting model, by Janson.
△ Less
Submitted 11 November, 2019; v1 submitted 14 November, 2018;
originally announced November 2018.
-
The Spatially Homogeneous Boltzmann Equation for Bose-Einstein Particles: Rate of Strong Convergence to Equilibrium
Authors:
Shuzhe Cai,
Xuguang Lu
Abstract:
The paper is a continuation of our previous work on the spatially homogeneous Boltzmann equation for Bose-Einstein particles with quantum collision kernel that includes the hard sphere model. Solutions $F_t$ under consideration that conserve the mass, momentum, and energy and converge at least weakly to equilibrium $F_{\rm be}$ as $t\to\infty$ have been proven to exist at least for radially symmet…
▽ More
The paper is a continuation of our previous work on the spatially homogeneous Boltzmann equation for Bose-Einstein particles with quantum collision kernel that includes the hard sphere model. Solutions $F_t$ under consideration that conserve the mass, momentum, and energy and converge at least weakly to equilibrium $F_{\rm be}$ as $t\to\infty$ have been proven to exist at least for radially symmetric and non-singular initial data, and for the case of low temperature, $F_t$ have to be positive Borel measures. The new progress is as follows: we prove that the long time convergence of $F_t(\{0\})$ to the Bose-Einstein condensation $F_{\rm be}(\{0\})$ for low temperature holds for all radially symmetric and non-singular initial data $F_0$. This immediately implies the long time strong convergence to equilibrium. We also obtain an algebraic rate of the strong convergence for arbitrary temperature. Our proofs are based on the entropy control, Villani's inequality for the entropy dissipation, a suitable time-dependent convex combination between the solution and a fixed positive function (in order to overcome the lack of positive lower bound), the convex-positivity of the cubic collision integral, and an iteration technique for obtaining a positive lower bound of condensation.
△ Less
Submitted 8 July, 2021; v1 submitted 12 August, 2018;
originally announced August 2018.
-
A note on the asymptotic expansion of the Lerch's transcendent
Authors:
Xing Shi Cai,
José L. López
Abstract:
In a previous paper by Ferreira and López [Journal of Mathematical Analysis and Applications, 298(1), 2004], the authors derived an asymptotic expansion of the Lerch's transcendent $Φ(z,s,a)$ for large $\vert a\vert$, valid for $\mathrm{Re}(a)>0$, $\mathrm{Re}(s)>0$ and $z\in\mathbb{C}\setminus[1,\infty)$. In this paper we study the special case $z\ge 1$ not covered in the previous result, derivin…
▽ More
In a previous paper by Ferreira and López [Journal of Mathematical Analysis and Applications, 298(1), 2004], the authors derived an asymptotic expansion of the Lerch's transcendent $Φ(z,s,a)$ for large $\vert a\vert$, valid for $\mathrm{Re}(a)>0$, $\mathrm{Re}(s)>0$ and $z\in\mathbb{C}\setminus[1,\infty)$. In this paper we study the special case $z\ge 1$ not covered in the previous result, deriving a complete asymptotic expansion of the Lerch's transcendent $Φ(z,s,a)$ for $z > 1$ and $\mathrm{Re}(s)>0$ as $\mathrm{Re}(a)$ goes to infinity. We also show that when $a$ is a positive integer, this expansion is convergent for $\mathrm{Re}(z) \ge 1$. As a corollary, we get a full asymptotic expansion for the sum $\sum_{n=1}^{m} z^{n}/n^{s}$ for fixed $z >1 $ as $m \to \infty$. Some numerical results show the accuracy of the approximation.
△ Less
Submitted 4 June, 2018;
originally announced June 2018.
-
K-cut on paths and some trees
Authors:
Xing Shi Cai,
Luc Devroye,
Cecilia Holmgren,
Fiona Skerman
Abstract:
We define the (random) $k$-cut number of a rooted graph to model the difficulty of the destruction of a resilient network. The process is as the cut model of Meir and Moon except now a node must be cut $k$ times before it is destroyed. The first order terms of the expectation and variance of $\mathcal{X}_{n}$, the $k$-cut number of a path of length $n$, are proved. We also show that…
▽ More
We define the (random) $k$-cut number of a rooted graph to model the difficulty of the destruction of a resilient network. The process is as the cut model of Meir and Moon except now a node must be cut $k$ times before it is destroyed. The first order terms of the expectation and variance of $\mathcal{X}_{n}$, the $k$-cut number of a path of length $n$, are proved. We also show that $\mathcal{X}_{n}$, after rescaling, converges in distribution to a limit $\mathcal{B}_{k}$, which has a complicated representation. The paper then briefly discusses the $k$-cut number of some trees and general graphs. We conclude by some analytic results which may be of interest.
△ Less
Submitted 30 January, 2019; v1 submitted 9 April, 2018;
originally announced April 2018.
-
Non-fringe subtrees in conditioned Galton--Watson trees
Authors:
Xing Shi Cai,
Svante Janson
Abstract:
We study $S(\mathcal T_{n})$, the number of subtrees in a conditioned Galton--Watson tree of size $n$. With two very different methods, we show that $\log(S(\mathcal T_{n}))$ has a Central Limit Law and that the moments of $S(\mathcal T_{n})$ are of exponential scale.
We study $S(\mathcal T_{n})$, the number of subtrees in a conditioned Galton--Watson tree of size $n$. With two very different methods, we show that $\log(S(\mathcal T_{n}))$ has a Central Limit Law and that the moments of $S(\mathcal T_{n})$ are of exponential scale.
△ Less
Submitted 6 March, 2018;
originally announced March 2018.
-
Linear complexity of Ding-Helleseth generalized cyclotomic sequences of order eight
Authors:
Yana Liang,
Jiali Cao,
Xingfa Chen,
Shi** Cai,
Xiang Fan
Abstract:
During the last two decades, many kinds of periodic sequences with good pseudo-random properties have been constructed from classical and generalized cyclotomic classes, and used as keystreams for stream ciphers and secure communications. Among them are a family DH-GCS$_{d}$ of generalized cyclotomic sequences on the basis of Ding and Helleseth's generalized cyclotomy, of length $pq$ and order…
▽ More
During the last two decades, many kinds of periodic sequences with good pseudo-random properties have been constructed from classical and generalized cyclotomic classes, and used as keystreams for stream ciphers and secure communications. Among them are a family DH-GCS$_{d}$ of generalized cyclotomic sequences on the basis of Ding and Helleseth's generalized cyclotomy, of length $pq$ and order $d=\mathrm{gcd}(p-1,q-1)$ for distinct odd primes $p$ and $q$. The linear complexity (or linear span), as a valuable measure of unpredictability, is precisely determined for DH-GCS$_{8}$ in this paper. Our approach is based on Edemskiy and Antonova's computation method with the help of explicit expressions of Gaussian classical cyclotomic numbers of order $8$. Our result for $d=8$ is compatible with Yan's low bound $(pq-1)/2$ of the linear complexity for any order $d$, which means high enough to resist security attacks of the Berlekamp-Massey algorithm. Finally, we include SageMath codes to illustrate the validity of our result by examples.
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
Inversions in split trees and conditional Galton--Watson trees
Authors:
Xing Shi Cai,
Cecilia Holmgren,
Svante Janson,
Tony Johansson,
Fiona Skerman
Abstract:
We study $I(T)$, the number of inversions in a tree $T$ with its vertices labeled uniformly at random, which is a generalization of inversions in permutations. We first show that the cumulants of $I(T)$ have explicit formulas involving the $k$-total common ancestors of $T$ (an extension of the total path length). Then we consider $X_n$, the normalized version of $I(T_n)$, for a sequence of trees…
▽ More
We study $I(T)$, the number of inversions in a tree $T$ with its vertices labeled uniformly at random, which is a generalization of inversions in permutations. We first show that the cumulants of $I(T)$ have explicit formulas involving the $k$-total common ancestors of $T$ (an extension of the total path length). Then we consider $X_n$, the normalized version of $I(T_n)$, for a sequence of trees $T_n$. For fixed $T_{n}$'s, we prove a sufficient condition for $X_n$ to converge in distribution. As an application, we identify the limit of $X_n$ for complete $b$-ary trees. For $T_n$ being split trees, we show that $X_n$ converges to the unique solution of a distributional equation. Finally, when $T_n$'s are conditional Galton--Watson trees, we show that $X_n$ converges to a random variable defined in terms of Brownian excursions. By exploiting the connection between inversions and the total path length, we are able to give results that are stronger and much broader compared to previous work by Panholzer and Seitz.
△ Less
Submitted 3 September, 2018; v1 submitted 1 September, 2017;
originally announced September 2017.
-
A study of large fringe and non-fringe subtrees in conditional Galton-Watson trees
Authors:
Xing Shi Cai,
Luc Devroye
Abstract:
We study the conditions for families of subtrees to exist with high probability (whp) in a Galton-Walton tree of size $n$. We first give a Poisson approximation of fringe subtree counts, which yields the height of the maximal complete $r$-ary fringe subtree. Then we determine the maximal $K_n$ such that every tree of size at most $K_n$ appears as fringe subtree whp. Finally, we study non-fringe su…
▽ More
We study the conditions for families of subtrees to exist with high probability (whp) in a Galton-Walton tree of size $n$. We first give a Poisson approximation of fringe subtree counts, which yields the height of the maximal complete $r$-ary fringe subtree. Then we determine the maximal $K_n$ such that every tree of size at most $K_n$ appears as fringe subtree whp. Finally, we study non-fringe subtree counts and determine the height of the maximal complete $r$-ary non-fringe subtree.
△ Less
Submitted 11 February, 2016;
originally announced February 2016.
-
Peak-Aware Online Economic Dispatching for Microgrids
Authors:
Ying Zhang,
Mohammad H. Hajiesmaili,
Sinan Cai,
Minghua Chen,
Qi Zhu
Abstract:
By employing local renewable energy sources and power generation units while connected to the central grid, microgrid can usher in great benefits in terms of cost efficiency, power reliability, and environmental awareness. Economic dispatching is a central problem in microgrid operation, which aims at effectively scheduling various energy sources to minimize the operating cost while satisfying the…
▽ More
By employing local renewable energy sources and power generation units while connected to the central grid, microgrid can usher in great benefits in terms of cost efficiency, power reliability, and environmental awareness. Economic dispatching is a central problem in microgrid operation, which aims at effectively scheduling various energy sources to minimize the operating cost while satisfying the electricity demand. Designing intelligent economic dispatching strategies for microgrids, however, is drastically different from that for conventional central grids, due to two unique challenges. First, the erratic renewable energy emphasizes the need for online algorithms. Second, the widely-adopted peak-based pricing scheme brings out the need for new peak-aware strategy design. In this paper, we tackle these critical challenges and devise peak-aware online economic dispatching algorithms. For microgrids with fast-responding generators, we prove that our deterministic and randomized algorithms achieve the best possible competitive ratios $2-β$ and $e/(e-1+β)$, respectively, where $β\in[0,1]$ is the ratio between the minimum grid spot price and the local-generation price. Our results characterize the fundamental \emph{price of uncertainty} of the problem. For microgrids with slow-responding generators, we first show that a large competitive ratio is inevitable. Then we leverage limited prediction of electricity demand and renewable generation to improve the competitiveness of the algorithms. By extensive empirical evaluations using real-world traces, we show that our online algorithms achieve near offline-optimal performance. In a representative scenario, our algorithm achieves $17.5\%$ and $9.24\%$ cost reduction as compared to the case without local generation units and the case using peak-oblivious algorithms, respectively.
△ Less
Submitted 30 September, 2015; v1 submitted 17 August, 2015;
originally announced August 2015.
-
The graph structure of a deterministic automaton chosen at random: full version
Authors:
Xing Shi Cai,
Luc Devroye
Abstract:
A deterministic finite automaton (DFA) of $n$ states over a $k$-letter alphabet can be seen as a digraph with $n$ vertices which all have exactly $k$ labeled out-arcs ($k$-out digraph). In 1973 Grusho first proved that with high probability (whp) in a random $k$-out digraph there is a strongly connected component (SCC) of linear size that is reachable from all vertices, i.e., a giant. He also prov…
▽ More
A deterministic finite automaton (DFA) of $n$ states over a $k$-letter alphabet can be seen as a digraph with $n$ vertices which all have exactly $k$ labeled out-arcs ($k$-out digraph). In 1973 Grusho first proved that with high probability (whp) in a random $k$-out digraph there is a strongly connected component (SCC) of linear size that is reachable from all vertices, i.e., a giant. He also proved that the size of the giant follows a central limit law. We show that whp the part outside the giant contains at most a few short cycles and mostly consists of overlap** tree-like structures. Thus the directed acyclic graph (DAG) of a random $k$-out digraph is almost the same as the digraph with the giant contracted into one vertex. These findings lead to a new, concise and self-contained proof of Grusho's theorem. This work also contains some other results including the structure outside the giant, the phase transition phenomenon in strong connectivity, the typical distance, and an extension to simple digraphs.
△ Less
Submitted 9 August, 2016; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Acyclic edge colourings of graphs with large girth
Authors:
Xing Shi Cai,
Guillem Perarnau,
Bruce Reed,
Adam Bene Watts
Abstract:
An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours.
An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours.
△ Less
Submitted 23 June, 2016; v1 submitted 11 November, 2014;
originally announced November 2014.
-
A Computer-Assisted Stability Proof for a Stationary Solution of Reaction-Diffusion Equations
Authors:
Shuting Cai,
**g Zeng
Abstract:
The main subject of this paper is a computer assisted stability proof for a stationary solution of reaction diffusion equations in one dimensional space. We use Nakao's numerical verification method to enclose a stationary solution of reaction-diffusion equations. Considering the linearized stability of the solution, a method of excluding eigenvalues in a half plane is adopted. We first focus on t…
▽ More
The main subject of this paper is a computer assisted stability proof for a stationary solution of reaction diffusion equations in one dimensional space. We use Nakao's numerical verification method to enclose a stationary solution of reaction-diffusion equations. Considering the linearized stability of the solution, a method of excluding eigenvalues in a half plane is adopted. We first focus on the eigenvalues for an operator linearized at an approximate solution. An excluding theorem is presented such that we know under some condition, and there is no eigenvalue in some disks. Some computable criteria are constructed to apply the theorem in a computer. And also the invertibility of some operator is proved theoretically in the paper. However, we need the information of the eigenvalues for the operator linearized at the exact solution. This can be obtained by combining with the verification results of the solution. Then we judge the stability of the solution from the domain where the eigenvalues are located. At last there are some verification results.
△ Less
Submitted 19 January, 2015; v1 submitted 20 August, 2014;
originally announced August 2014.
-
Hypothesis testing in the presence of multiple samples under density ratio models
Authors:
Song Cai,
Jiahua Chen,
James V. Zidek
Abstract:
This paper presents a hypothesis testing method given independent samples from a number of connected populations. The method is motivated by a forestry project for monitoring change in the strength of lumber. Traditional practice has been built upon nonparametric methods which ignore the fact that these populations are connected. By pooling the information in multiple samples through a density rat…
▽ More
This paper presents a hypothesis testing method given independent samples from a number of connected populations. The method is motivated by a forestry project for monitoring change in the strength of lumber. Traditional practice has been built upon nonparametric methods which ignore the fact that these populations are connected. By pooling the information in multiple samples through a density ratio model, the proposed empirical likelihood method leads to a more efficient inference and therefore reduces the cost in applications. The new test has a classical chi-square null limiting distribution. Its power function is obtained under a class of local alternatives. The local power is found increased even when some underlying populations are unrelated to the hypothesis of interest. Simulation studies confirm that this test has better power properties than potential competitors, and is robust to model misspecification. An application example to lumber strength is included.
△ Less
Submitted 14 May, 2015; v1 submitted 18 September, 2013;
originally announced September 2013.
-
Parametric inference and forecasting in continuously invertible volatility models
Authors:
Olivier Wintenberger,
Sixiang Cai
Abstract:
We introduce the notion of continuously invertible volatility models that relies on some Lyapunov condition and some regularity condition. We show that it is almost equivalent to the ability of the volatilities forecasting using the parametric inference approach based on the SRE given in [16]. Under very weak assumptions, we prove the strong consistency and the asymptotic normality of the parametr…
▽ More
We introduce the notion of continuously invertible volatility models that relies on some Lyapunov condition and some regularity condition. We show that it is almost equivalent to the ability of the volatilities forecasting using the parametric inference approach based on the SRE given in [16]. Under very weak assumptions, we prove the strong consistency and the asymptotic normality of the parametric inference. Based on this parametric estimation, a natural strongly consistent forecast of the volatility is given. We apply successfully this approach to recover known results on univariate and multivariate GARCH type models and to the EGARCH(1,1) model. We prove the strong consistency of the forecasting as soon as the model is invertible and the asymptotic normality of the parametric inference as soon as the limiting variance exists. Finally, we give some encouraging empirical results of our approach on simulations and real data.
△ Less
Submitted 3 November, 2011; v1 submitted 24 June, 2011;
originally announced June 2011.
-
Predicting Sequences of Progressive Events Times with Time-dependent Covariates
Authors:
Song Cai,
James V. Zidek,
Nathaniel Newlands
Abstract:
This paper presents an approach to modeling progressive event-history data when the overall objective is prediction based on time-dependent covariates. This approach does not model the hazard function directly. Instead, it models the process of the state indicators of the event history so that the time-dependent covariates can be incorporated and predictors of the future events easily formulated.…
▽ More
This paper presents an approach to modeling progressive event-history data when the overall objective is prediction based on time-dependent covariates. This approach does not model the hazard function directly. Instead, it models the process of the state indicators of the event history so that the time-dependent covariates can be incorporated and predictors of the future events easily formulated. Our model can be applied to a range of real-world problems in medical and agricultural science.
△ Less
Submitted 5 September, 2010;
originally announced September 2010.
-
Integral curves of noisy vector fields and statistical problems in diffusion tensor imaging: nonparametric kernel estimation and hypotheses testing
Authors:
Vladimir Koltchinskii,
Lyudmila Sakhanenko,
Songhe Cai
Abstract:
Let $v$ be a vector field in a bounded open set $G\subset {\mathbb {R}}^d$. Suppose that $v$ is observed with a random noise at random points $X_i, i=1,...,n,$ that are independent and uniformly distributed in $G.$ The problem is to estimate the integral curve of the differential equation \[\frac{dx(t)}{dt}=v(x(t)),\qquad t\geq 0,x(0)=x_0\in G,\] starting at a given point $x(0)=x_0\in G$ and to…
▽ More
Let $v$ be a vector field in a bounded open set $G\subset {\mathbb {R}}^d$. Suppose that $v$ is observed with a random noise at random points $X_i, i=1,...,n,$ that are independent and uniformly distributed in $G.$ The problem is to estimate the integral curve of the differential equation \[\frac{dx(t)}{dt}=v(x(t)),\qquad t\geq 0,x(0)=x_0\in G,\] starting at a given point $x(0)=x_0\in G$ and to develop statistical tests for the hypothesis that the integral curve reaches a specified set $Γ\subset G.$ We develop an estimation procedure based on a Nadaraya--Watson type kernel regression estimator, show the asymptotic normality of the estimated integral curve and derive differential and integral equations for the mean and covariance function of the limit Gaussian process. This provides a method of tracking not only the integral curve, but also the covariance matrix of its estimate. We also study the asymptotic distribution of the squared minimal distance from the integral curve to a smooth enough surface $Γ\subset G$. Building upon this, we develop testing procedures for the hypothesis that the integral curve reaches $Γ$. The problems of this nature are of interest in diffusion tensor imaging, a brain imaging technique based on measuring the diffusion tensor at discrete locations in the cerebral white matter, where the diffusion of water molecules is typically anisotropic. The diffusion tensor data is used to estimate the dominant orientations of the diffusion and to track white matter fibers from the initial location following these orientations. Our approach brings more rigorous statistical tools to the analysis of this problem providing, in particular, hypothesis testing procedures that might be useful in the study of axonal connectivity of the white matter.
△ Less
Submitted 18 October, 2007;
originally announced October 2007.