-
Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
Authors:
Xiaolong Liang,
Yì N. Wáng
Abstract:
The study of group knowledge concepts such as mutual, common, and distributed knowledge is well established within the discipline of epistemic logic. In this work, we incorporate epistemic abilities of agents to refine the formal definition of distributed knowledge and introduce a formal characterization of field knowledge. We propose that field knowledge serves as a dual to distributed knowledge.…
▽ More
The study of group knowledge concepts such as mutual, common, and distributed knowledge is well established within the discipline of epistemic logic. In this work, we incorporate epistemic abilities of agents to refine the formal definition of distributed knowledge and introduce a formal characterization of field knowledge. We propose that field knowledge serves as a dual to distributed knowledge. Our approach utilizes epistemic logics with various group knowledge constructs, interpreted through weighted models. We delve into the eight logics that stem from these considerations, explore their relative expressivity and develop sound and complete axiomatic systems.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Return time sets and product recurrence
Authors:
Jian Li,
Xianjuan Liang,
Yini Yang
Abstract:
Let $G$ be a countable infinite discrete group. We show that a subset $F$ of $G$ contains a return time set of some piecewise syndetic recurrent point $x$ in a compact Hausdorff space $X$ with a $G$-action if and only if $F$ is a quasi-central set. As an application, we show that if a nonempty closed subsemigroup $S$ of the Stone-Čech compactification $βG$ contains the smallest ideal $K(βG)$ of…
▽ More
Let $G$ be a countable infinite discrete group. We show that a subset $F$ of $G$ contains a return time set of some piecewise syndetic recurrent point $x$ in a compact Hausdorff space $X$ with a $G$-action if and only if $F$ is a quasi-central set. As an application, we show that if a nonempty closed subsemigroup $S$ of the Stone-Čech compactification $βG$ contains the smallest ideal $K(βG)$ of $βG$ then $S$-product recurrent is equivalent to distality, which partially answers a question of Auslander and Furstenberg (Trans. Amer. Math. Soc. 343, 1994, 221--232).
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
On the Almgren minimality of the product of a paired calibrated set with a calibrated set of codimension 1 with singularities, and new Almgren minimal cones
Authors:
Xiangyu Liang
Abstract:
In this paper, we prove that the product of a paired calibrated set and a set of codimension 1 calibrated by a coflat calibration with small singularity set is Almgren minimal. This is motivated by the attempt to classify all possible singularities for Almgren minimal sets--Plateau's problem in the setting of sets. In particular, a direct application of the above result leads to various types of n…
▽ More
In this paper, we prove that the product of a paired calibrated set and a set of codimension 1 calibrated by a coflat calibration with small singularity set is Almgren minimal. This is motivated by the attempt to classify all possible singularities for Almgren minimal sets--Plateau's problem in the setting of sets. In particular, a direct application of the above result leads to various types of new singularities for Almgren minimal sets, e.g. the product of any paired calibrated cone (such as the cone over the $d-2$ skeleton of the unit cube in $\R^d, d\ge 4$) with homogeneous area minimizing hypercones (such as the Simons cone).
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Sliding stability and uniqueness for the set YXY
Authors:
Xiangyu Liang
Abstract:
This article is dedicated to discuss the sliding stability and the uniqueness property for the 2-dimensional minimal cone YXY in R4. This problem is motivated by the classification of singularities for Almgren minimal sets, a model for Plateau's problem in the setting of sets. Minimal cones are blow up limits of Almgren minimal sets, thus the list of all minimal cones gives all possible types of s…
▽ More
This article is dedicated to discuss the sliding stability and the uniqueness property for the 2-dimensional minimal cone YXY in R4. This problem is motivated by the classification of singularities for Almgren minimal sets, a model for Plateau's problem in the setting of sets. Minimal cones are blow up limits of Almgren minimal sets, thus the list of all minimal cones gives all possible types of singularities that can occur for minimal sets.
As proved in [16], when several 2-dimensional Almgren (resp. topological) minimal cones are Almgren (resp. topological) sliding stable, and Almgren (resp. topological) unique, the almost orthogonal union of them stays minimal. Hence if several minimal cones admit sliding stability and uniqueness properties, then we can use their almost orthogonal unions to generate new families of minimal cones. One then naturally ask which minimal cones admit these two properties.
Among all the known 2-dimensional minimal cones, YXY is the only one whose stability and uniqueness properties were left unsolved.
We give affirmative answers to this problem for the stability and uniqueness properties for YXY in this paper: we prove that the set YXY is both Almgren sliding stable, and Almgren unique; for the topological case, we prove its topological sliding stability and topological uniqueness for the coefficient group Z2. This result, along with the results in [16, 18, 17], allows us to use all the known 2-dimensional minimal cones to generate new 2-dimensional minimal cones by taking almost orthogonal unions.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
On the dimension of k-medial axis for arbitrary closed set
Authors:
Xiangyu Liang
Abstract:
We prove that the k-medial axis of an arbitrary closed set in Rn is n-k+1-rectifiable (and hence of dimension at most n-k+1). This result gives a first stratification for medial axis of any closed set, which has been widely studied and used in pure and applied mathematics. This also answers a question proposed by Erdos[4], and leads to more further interesting investigations (see the end of the ar…
▽ More
We prove that the k-medial axis of an arbitrary closed set in Rn is n-k+1-rectifiable (and hence of dimension at most n-k+1). This result gives a first stratification for medial axis of any closed set, which has been widely studied and used in pure and applied mathematics. This also answers a question proposed by Erdos[4], and leads to more further interesting investigations (see the end of the article).
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
The q-ary Gilbert-Varshamov bound can be improved for all but finitely many positive integers q
Authors:
Xue-Bin Liang
Abstract:
For any positive integer $q\geq 2$ and any real number $δ\in(0,1)$, let $α_q(n,δn)$ denote the maximum size of a subset of $\mathbb{Z}_q^n$ with minimum Hamming distance at least $δn$, where $\mathbb{Z}_q=\{0,1,\dotsc,q-1\}$ and $n\in\mathbb{N}$. The asymptotic rate function is defined by $ R_q(δ) = \limsup_{n\rightarrow\infty}\frac{1}{n}\log_qα_q(n,δn).$ The famous $q$-ary asymptotic Gilbert-Vars…
▽ More
For any positive integer $q\geq 2$ and any real number $δ\in(0,1)$, let $α_q(n,δn)$ denote the maximum size of a subset of $\mathbb{Z}_q^n$ with minimum Hamming distance at least $δn$, where $\mathbb{Z}_q=\{0,1,\dotsc,q-1\}$ and $n\in\mathbb{N}$. The asymptotic rate function is defined by $ R_q(δ) = \limsup_{n\rightarrow\infty}\frac{1}{n}\log_qα_q(n,δn).$ The famous $q$-ary asymptotic Gilbert-Varshamov bound, obtained in the 1950s, states that \[ R_q(δ) \geq 1 - δ\log_q(q-1)-δ\log_q\frac{1}δ-(1-δ)\log_q\frac{1}{1-δ} \stackrel{\mathrm{def}}{=}R_\mathrm{GV}(δ,q) \] for all positive integers $q\geq 2$ and $0<δ<1-q^{-1}$. In the case that $q$ is an even power of a prime with $q\geq 49$, the $q$-ary Gilbert-Varshamov bound was firstly improved by using algebraic geometry codes in the works of Tsfasman, Vladut, and Zink and of Ihara in the 1980s. These algebraic geometry codes have been modified to improve the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ at a specific tangent point $δ=δ_0\in (0,1)$ of the curve $R_\mathrm{GV}(δ,q)$ for each given integer $q\geq 46$. However, the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ at $δ=1/2$, i.e., $R_\mathrm{GV}(1/2,q)$, remains the largest known lower bound of $R_q(1/2)$ for infinitely many positive integers $q$ which is a generic prime and which is a generic non-prime-power integer. In this paper, by using codes from geometry of numbers introduced by Lenstra in the 1980s, we prove that the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ with $δ\in(0,1)$ can be improved for all but finitely many positive integers $q$. It is shown that the growth defined by $η(δ)= \liminf_{q\rightarrow\infty}\frac{1}{\log q}\log[1-δ-R_q(δ)]^{-1}$ for every $δ\in(0,1)$ has actually a nontrivial lower bound.
△ Less
Submitted 21 March, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
ISC: an RADI-type method for stochastic continuous-time algebraic Riccati equations
Authors:
Zhen-Chen Guo,
Xin Liang
Abstract:
In this paper, we propose an RADI-type method for large-scale stochastic continuous-time algebraic Riccati equations with sparse and low-rank structures. The so-called ISC method is developed by using the Incorporation idea together with different Shifts to accelerate the convergence and Compressions to reduce the storage and complexity. Numerical experiments are given to show its efficiency.
In this paper, we propose an RADI-type method for large-scale stochastic continuous-time algebraic Riccati equations with sparse and low-rank structures. The so-called ISC method is developed by using the Incorporation idea together with different Shifts to accelerate the convergence and Compressions to reduce the storage and complexity. Numerical experiments are given to show its efficiency.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Learning the subspace of variation for global optimization of functions with low effective dimension
Authors:
Coralia Cartis,
Xinzhu Liang,
Estelle Massart,
Adilet Otemissov
Abstract:
We propose an algorithmic framework, that employs active subspace techniques, for scalable global optimization of functions with low effective dimension (also referred to as low-rank functions). This proposal replaces the original high-dimensional problem by one or several lower-dimensional reduced subproblem(s), capturing the main directions of variation of the objective which are estimated here…
▽ More
We propose an algorithmic framework, that employs active subspace techniques, for scalable global optimization of functions with low effective dimension (also referred to as low-rank functions). This proposal replaces the original high-dimensional problem by one or several lower-dimensional reduced subproblem(s), capturing the main directions of variation of the objective which are estimated here as the principal components of a collection of sampled gradients. We quantify the sampling complexity of estimating the subspace of variation of the objective in terms of its effective dimension and hence, bound the probability that the reduced problem will provide a solution to the original problem. To account for the practical case when the effective dimension is not known a priori, our framework adaptively solves a succession of reduced problems, increasing the number of sampled gradients until the estimated subspace of variation remains unchanged. We prove global convergence under mild assumptions on the objective, the sampling distribution and the subproblem solver, and illustrate numerically the benefits of our proposed algorithms over those using random embeddings.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
MGARD: A multigrid framework for high-performance, error-controlled data compression and refactoring
Authors:
Qian Gong,
Jieyang Chen,
Ben Whitney,
Xin Liang,
Viktor Reshniak,
Tania Banerjee,
Jaemoon Lee,
Anand Rangarajan,
Lipeng Wan,
Nicolas Vidal,
Qing Liu,
Ana Gainaru,
Norbert Podhorszki,
Richard Archibald,
Sanjay Ranka,
Scott Klasky
Abstract:
We describe MGARD, a software providing MultiGrid Adaptive Reduction for floating-point scientific data on structured and unstructured grids. With exceptional data compression capability and precise error control, MGARD addresses a wide range of requirements, including storage reduction, high-performance I/O, and in-situ data analysis. It features a unified application programming interface (API)…
▽ More
We describe MGARD, a software providing MultiGrid Adaptive Reduction for floating-point scientific data on structured and unstructured grids. With exceptional data compression capability and precise error control, MGARD addresses a wide range of requirements, including storage reduction, high-performance I/O, and in-situ data analysis. It features a unified application programming interface (API) that seamlessly operates across diverse computing architectures. MGARD has been optimized with highly-tuned GPU kernels and efficient memory and device management mechanisms, ensuring scalable and rapid operations.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Spatiotemporally adaptive compression for scientific dataset with feature preservation -- a case study on simulation data with extreme climate events analysis
Authors:
Qian Gong,
Chengzhu Zhang,
Xin Liang,
Viktor Reshniak,
Jieyang Chen,
Anand Rangarajan,
Sanjay Ranka,
Nicolas Vidal,
Lipeng Wan,
Paul Ullrich,
Norbert Podhorszki,
Robert Jacob,
Scott Klasky
Abstract:
Scientific discoveries are increasingly constrained by limited storage space and I/O capacities. For time-series simulations and experiments, their data often need to be decimated over timesteps to accommodate storage and I/O limitations. In this paper, we propose a technique that addresses storage costs while improving post-analysis accuracy through spatiotemporal adaptive, error-controlled lossy…
▽ More
Scientific discoveries are increasingly constrained by limited storage space and I/O capacities. For time-series simulations and experiments, their data often need to be decimated over timesteps to accommodate storage and I/O limitations. In this paper, we propose a technique that addresses storage costs while improving post-analysis accuracy through spatiotemporal adaptive, error-controlled lossy compression. We investigate the trade-off between data precision and temporal output rates, revealing that reducing data precision and increasing timestep frequency lead to more accurate analysis outcomes. Additionally, we integrate spatiotemporal feature detection with data compression and demonstrate that performing adaptive error-bounded compression in higher dimensional space enables greater compression ratios, leveraging the error propagation theory of a transformation-based compressor.
To evaluate our approach, we conduct experiments using the well-known E3SM climate simulation code and apply our method to compress variables used for cyclone tracking. Our results show a significant reduction in storage size while enhancing the quality of cyclone tracking analysis, both quantitatively and qualitatively, in comparison to the prevalent timestep decimation approach. Compared to three state-of-the-art lossy compressors lacking feature preservation capabilities, our adaptive compression framework improves perfectly matched cases in TC tracking by 26.4-51.3% at medium compression ratios and by 77.3-571.1% at large compression ratios, with a merely 5-11% computational overhead.
△ Less
Submitted 6 January, 2024;
originally announced January 2024.
-
Parabolic Anderson model with rough initial condition: continuity in law of the solution
Authors:
Xiao Liang
Abstract:
The parabolic Anderson model (PAM) is one of the most interesting and challenging SPDEs related to various physical phenomena, and can be described mathematically as a stochastic heat equation driven by linear multiplicative noise. In this paper, we consider PAM with initial condition given by a signed Borel measure on $R^d$. The forcing term under investigation is examined in two cases: (i) the r…
▽ More
The parabolic Anderson model (PAM) is one of the most interesting and challenging SPDEs related to various physical phenomena, and can be described mathematically as a stochastic heat equation driven by linear multiplicative noise. In this paper, we consider PAM with initial condition given by a signed Borel measure on $R^d$. The forcing term under investigation is examined in two cases: (i) the regular noise, with the spatial covariance given by the Riesz kernel of order $α\in (0, d)$ in spatial dimension $d \ge 1$; (ii) the rough noise, which is a fractional noise in space with Hurst index $H < 1/2$ and $d = 1$. In both cases, the noise is assumed to be colored in time and we consider a general initial condition. The objective of this article is to show that the solution is continuous in law with respect to the spatial noise parameter. The similar problem for the constant initial condition has been recently studied in Balan and Liang (2023).
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
On the (non-)existence of tight distance-regular graphs: a local approach
Authors:
Jack H. Koolen,
Jae-Ho Lee,
Shuang-Dong Li,
Yun-Han Li,
Xiaoye Liang,
Ying-Ying Tan
Abstract:
Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$. Jurišić and Vidali conjectured that if $Γ$ is tight with classical parameters $(D,b,α,β)$, $b\geq 2$, then $Γ$ is not locally the block graph of an orthogonal array nor the block graph of a Steiner system. In the present paper, we prove this conjecture and, furthermore, extend it from the following aspect. Assume that for every tripl…
▽ More
Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$. Jurišić and Vidali conjectured that if $Γ$ is tight with classical parameters $(D,b,α,β)$, $b\geq 2$, then $Γ$ is not locally the block graph of an orthogonal array nor the block graph of a Steiner system. In the present paper, we prove this conjecture and, furthermore, extend it from the following aspect. Assume that for every triple of vertices $x, y, z$ of $Γ$, where $x$ and $y$ are adjacent, and $z$ is at distance $2$ from both $x$ and $y$, the number of common neighbors of $x$, $y$, $z$ is constant. We then show that if $Γ$ is locally the block graph of an orthogonal array (resp. a Steiner system) with smallest eigenvalue $-m$, $m\geq 3$, then the intersection number $c_2$ is not equal to $m^2$ (resp. $m(m+1)$). Using this result, we prove that if a tight distance-regular graph $Γ$ is not locally the block graph of an orthogonal array or a Steiner system, then the valency (and hence diameter) of $Γ$ is bounded by a function in the parameter $b=b_1/(1+θ_1)$, where $b_1$ is the intersection number of $Γ$ and $θ_1$ is the second largest eigenvalue of $Γ$.
△ Less
Submitted 30 April, 2024; v1 submitted 9 December, 2023;
originally announced December 2023.
-
Non-geometric distance-regular graphs of diameter at least $3$ with smallest eigenvalue at least $-3$
Authors:
Jack Koolen,
Kefan Yu,
Xiaoye Liang,
Harrison Choi,
Greg Markowsky
Abstract:
In this paper, we classify non-geometric distance-regular graphs of diameter at least $3$ with smallest eigenvalue at least $-3$. This is progress towards what is hoped to be an eventual complete classification of distance-regular graphs with smallest eigenvalue at least $-3$, analogous to existing classification results available in the case that the smallest eigenvalue is at least $-2$.
In this paper, we classify non-geometric distance-regular graphs of diameter at least $3$ with smallest eigenvalue at least $-3$. This is progress towards what is hoped to be an eventual complete classification of distance-regular graphs with smallest eigenvalue at least $-3$, analogous to existing classification results available in the case that the smallest eigenvalue is at least $-2$.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Optimal Monotone Mean-Variance Problem in a Catastrophe Insurance Model
Authors:
Bohan Li,
Junyi Guo,
Xiaoqing Liang
Abstract:
This paper explores an optimal investment and reinsurance problem involving both ordinary and catastrophe insurance businesses. The catastrophic events are modeled as following a compound Poisson process, impacting the ordinary insurance business. The claim intensity for the ordinary insurance business is described using a Cox process with a shot-noise intensity, the jump of which is proportional…
▽ More
This paper explores an optimal investment and reinsurance problem involving both ordinary and catastrophe insurance businesses. The catastrophic events are modeled as following a compound Poisson process, impacting the ordinary insurance business. The claim intensity for the ordinary insurance business is described using a Cox process with a shot-noise intensity, the jump of which is proportional to the size of the catastrophe event. This intensity increases when a catastrophe occurs and then decays over time. The insurer's objective is to maximize their terminal wealth under the Monotone Mean-Variance (MMV) criterion. In contrast to the classical Mean-Variance (MV) criterion, the MMV criterion is monotonic across its entire domain, aligning better with fundamental economic principles. We first formulate the original MMV optimization problem as an auxiliary zero-sum game. Through solving the Hamilton-Jacobi-Bellman-Isaacs (HJBI) equation, explicit forms of the value function and optimal strategies are obtained. Additionally, we provides the efficient frontier within the MMV criterion. Several numerical examples are presented to demonstrate the practical implications of the results.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge
Authors:
Xiaolong Liang,
Yì N. Wáng
Abstract:
In this paper, we delve into the study of epistemic logics, interpreted through similarity models based on weighted graphs. We explore eight languages that extend the traditional epistemic language by incorporating modalities of common, distributed, and mutual knowledge. The concept of individual knowledge is redefined under these similarity models. It is no longer just a matter of personal knowle…
▽ More
In this paper, we delve into the study of epistemic logics, interpreted through similarity models based on weighted graphs. We explore eight languages that extend the traditional epistemic language by incorporating modalities of common, distributed, and mutual knowledge. The concept of individual knowledge is redefined under these similarity models. It is no longer just a matter of personal knowledge, but is now enriched and understood as knowledge under the individual's epistemic ability. Common knowledge is presented as higher-order knowledge that is universally known to any degree, a definition that aligns with existing literature. We reframe distributed knowledge as a form of knowledge acquired by collectively leveraging the abilities of a group of agents. In contrast, mutual knowledge is defined as the knowledge obtained through the shared abilities of a group. We then focus on the resulting logics, examining their relative expressivity, semantic correspondence to the classical epistemic logic, proof systems and the computational complexity associated with the model checking problem and the satisfiability/validity problem. This paper offers significant insights into the logical analysis and understanding of these enriched forms of knowledge, contributing to the broader discourse on epistemic logic.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
An annotated bibliography for comparative prime number theory
Authors:
Greg Martin,
Pu Justin Scarfy Yang,
Aram Bahrini,
Prajeet Bajpai,
Kübra Benli,
Jenna Downey,
Yuan Yuan Li,
Xiaoxuan Liang,
Amir Parvardi,
Reginald Simpson,
Ethan Patrick White,
Chi Hoi Yip
Abstract:
The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory together with a summary of its results. We use a unified system of notation for the quantities being studied and for the hypotheses under which results are obtained. We encourage feedback on this manuscript (see the end of Section~1 for details).
The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory together with a summary of its results. We use a unified system of notation for the quantities being studied and for the hypotheses under which results are obtained. We encourage feedback on this manuscript (see the end of Section~1 for details).
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Quasi-Score Matching Estimation for Spatial Autoregressive Model with Random Weights Matrix and Regressors
Authors:
Xuan Liang,
Tao Zou
Abstract:
With the rapid advancements in technology for data collection, the application of the spatial autoregressive (SAR) model has become increasingly prevalent in real-world analysis, particularly when dealing with large datasets. However, the commonly used quasi-maximum likelihood estimation (QMLE) for the SAR model is not computationally scalable to handle the data with a large size. In addition, whe…
▽ More
With the rapid advancements in technology for data collection, the application of the spatial autoregressive (SAR) model has become increasingly prevalent in real-world analysis, particularly when dealing with large datasets. However, the commonly used quasi-maximum likelihood estimation (QMLE) for the SAR model is not computationally scalable to handle the data with a large size. In addition, when establishing the asymptotic properties of the parameter estimators of the SAR model, both weights matrix and regressors are assumed to be nonstochastic in classical spatial econometrics, which is perhaps not realistic in real applications. Motivated by the machine learning literature, this paper proposes quasi-score matching estimation for the SAR model. This new estimation approach is still likelihood-based, but significantly reduces the computational complexity of the QMLE. The asymptotic properties of parameter estimators under the random weights matrix and regressors are established, which provides a new theoretical framework for the asymptotic inference of the SAR-type models. The usefulness of the quasi-score matching estimation and its asymptotic inference is illustrated via extensive simulation studies and a case study of an anti-conflict social network experiment for middle school students.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
Continuity in law for solutions of SPDEs with space-time homogeneous Gaussian noise
Authors:
Raluca M. Balan,
Xiao Liang
Abstract:
In this article, we study the continuity in law of the solutions of two linear multiplicative SPDEs (the parabolic Anderson model and the hyperbolic Anderson model) with respect to the spatial parameter of the noise. The solution is interpreted in the Skorohod sense, using Malliavin calculus. We consider two cases: (i) the regular noise, whose spatial covariance is given by the Riesz kernel of ord…
▽ More
In this article, we study the continuity in law of the solutions of two linear multiplicative SPDEs (the parabolic Anderson model and the hyperbolic Anderson model) with respect to the spatial parameter of the noise. The solution is interpreted in the Skorohod sense, using Malliavin calculus. We consider two cases: (i) the regular noise, whose spatial covariance is given by the Riesz kernel of order $α\in (0,d)$, in spatial dimension $d\geq 1$; (ii) the rough noise, which is fractional in space with Hurst index $H<1/2$, in spatial dimension $d=1$. We assume that the noise is colored in time. The similar problem for the white noise in time was considered in Bezdek (2016) and Giordano, Jolis and Quer-Sardanyons (2020).
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
On Generalizing Trace Minimization Principles, II
Authors:
Xin Liang,
Ren-Cang Li
Abstract:
This paper is concerned with establishing a trace minimization principle for two Hermitian matrix pairs. Specifically, we will answer the question: when is $\inf_X\operatorname{tr}(\widehat AX^{\rm H}AX)$ subject to $\widehat BX^{\rm H}BX=I$ (the identity matrix of apt size) finite? Sufficient and necessary conditions are obtained and, when the infimum is finite, an explicit formula for it is pres…
▽ More
This paper is concerned with establishing a trace minimization principle for two Hermitian matrix pairs. Specifically, we will answer the question: when is $\inf_X\operatorname{tr}(\widehat AX^{\rm H}AX)$ subject to $\widehat BX^{\rm H}BX=I$ (the identity matrix of apt size) finite? Sufficient and necessary conditions are obtained and, when the infimum is finite, an explicit formula for it is presented in terms of the finite eigenvalues of the matrix pairs. Our results extend Fan's trace minimization principle (1949) for a Hermitian matrix, a minimization principle of Kovač-Striko and Veselić (1995) for a Hermitian matrix pair, and most recent ones by the authors and their collaborators for a Hermitian matrix pair and a Hermitian matrix.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
A randomized multi-index sequential Monte Carlo method
Authors:
Xinzhu Liang,
Shangda Yang,
Simon L. Cotter,
Kody J. H. Law
Abstract:
We consider the problem of estimating expectations with respect to a target distribution with an unknown normalizing constant, and where even the unnormalized target needs to be approximated at finite resolution. Under such an assumption, this work builds upon a recently introduced multi-index Sequential Monte Carlo (SMC) ratio estimator, which provably enjoys the complexity improvements of multi-…
▽ More
We consider the problem of estimating expectations with respect to a target distribution with an unknown normalizing constant, and where even the unnormalized target needs to be approximated at finite resolution. Under such an assumption, this work builds upon a recently introduced multi-index Sequential Monte Carlo (SMC) ratio estimator, which provably enjoys the complexity improvements of multi-index Monte Carlo (MIMC) and the efficiency of SMC for inference. The present work leverages a randomization strategy to remove bias entirely, which simplifies estimation substantially, particularly in the MIMC context, where the choice of index set is otherwise important. Under reasonable assumptions, the proposed method provably achieves the same canonical complexity of MSE$^{-1}$ as the original method (where MSE is mean squared error), but without discretization bias. It is illustrated on examples of Bayesian inverse and spatial statistics problems.
△ Less
Submitted 28 June, 2023; v1 submitted 27 October, 2022;
originally announced October 2022.
-
Stochastic algebraic Riccati equations are almost as easy as deterministic ones theoretically
Authors:
Zhen-Chen Guo,
Xin Liang
Abstract:
Stochastic algebraic Riccati equations, also known as rational algebraic Riccati equations, arising in linear-quadratic optimal control for stochastic linear time-invariant systems, were considered to be not easy to solve. The-state-of-art numerical methods most rely on differentiability or continuity, such as Newton-type method, LMI method, or homotopy method. In this paper, we will build a novel…
▽ More
Stochastic algebraic Riccati equations, also known as rational algebraic Riccati equations, arising in linear-quadratic optimal control for stochastic linear time-invariant systems, were considered to be not easy to solve. The-state-of-art numerical methods most rely on differentiability or continuity, such as Newton-type method, LMI method, or homotopy method. In this paper, we will build a novel theoretical framework and reveal the intrinsic algebraic structure appearing in this kind of algebraic Riccati equations. This structure guarantees that to solve them is almost as easy as to solve deterministic/classical ones, which will shed light on the theoretical analysis and numerical algorithm design for this topic.
△ Less
Submitted 2 March, 2023; v1 submitted 22 July, 2022;
originally announced July 2022.
-
A dynamical approach to nonhomogeneous spectra
Authors:
Jian Li,
XianJuan Liang
Abstract:
Let $α>0$ and $0<γ<1$. Define $g_{α,γ}\colon \mathbb{N}\to\mathbb{N}_0$ by $g_{α,γ}(n)=\lfloor nα+γ\rfloor$, where $\lfloor x \rfloor$ is the largest integer less than or equal to $x$. The set $g_{α,γ}(\mathbb{N})=\{g_{α,γ}(n)\colon n\in\mathbb{N}\}$ is called the $γ$-nonhomogeneous spectrum of $α$. By extension, the functions $g_{α,γ}$ are referred to as spectra. In 1996, Bergelson, Hindman and K…
▽ More
Let $α>0$ and $0<γ<1$. Define $g_{α,γ}\colon \mathbb{N}\to\mathbb{N}_0$ by $g_{α,γ}(n)=\lfloor nα+γ\rfloor$, where $\lfloor x \rfloor$ is the largest integer less than or equal to $x$. The set $g_{α,γ}(\mathbb{N})=\{g_{α,γ}(n)\colon n\in\mathbb{N}\}$ is called the $γ$-nonhomogeneous spectrum of $α$. By extension, the functions $g_{α,γ}$ are referred to as spectra. In 1996, Bergelson, Hindman and Kra showed that the functions $g_{α,γ}$ preserve some largeness of subsets of $\mathbb{N}$, that is, if a subset $A$ of $\mathbb{N}$ is an IP-set, a central set, an IP$^*$-set, or a central$^*$-set, then $g_{α,γ}(A)$ is the corresponding object for all $α>0$ and $0<γ<1$. In 2012, Hindman and Johnson extended this result to include several other notions of largeness: C-sets, J-sets, strongly central sets, and piecewise syndetic sets. We adopt a dynamical approach to this issue and build a correspondence between the preservation of spectra and the lift property of suspension. As an application, we give a unified proof of some known results and also obtain some new results.
△ Less
Submitted 28 November, 2023; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Bistable pulsating fronts in slowly oscillating environments
Authors:
Weiwei Ding,
François Hamel,
Xing Liang
Abstract:
We consider reaction-diffusion fronts in spatially periodic bistable media with large periods. Whereas the homogenization regime associated with small periods had been well studied for bistable or Fisher-KPP reactions and, in the latter case, a formula for the limit minimal speeds of fronts in media with large periods had also been obtained thanks to the linear formulation of these minimal speeds…
▽ More
We consider reaction-diffusion fronts in spatially periodic bistable media with large periods. Whereas the homogenization regime associated with small periods had been well studied for bistable or Fisher-KPP reactions and, in the latter case, a formula for the limit minimal speeds of fronts in media with large periods had also been obtained thanks to the linear formulation of these minimal speeds and their monotonicity with respect to the period, the main remaining open question is concerned with fronts in bistable environments with large periods. In bistable media the unique front speeds are not linearly determined and are not monotone with respect to the spatial period in general, making the analysis of the limit of large periods more intricate. We show in this paper the existence of and an explicit formula for the limit of bistable front speeds as the spatial period goes to infinity. We also prove that the front profiles converge to a family of front profiles associated with spatially homogeneous equations. The main results are based on uniform estimates on the spatial width of the fronts, which themselves use zero number properties and intersection arguments.
△ Less
Submitted 1 July, 2024; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Almost-periodic ground state of the non-self-adjoint Jacobi operator and its applications
Authors:
Xing Liang,
Honngze Wang,
Qi Zhou
Abstract:
We study the ground states of the one-dimensional non-self-adjoint Jacobi operators in the almost periodic media by using the method of dynamical systems. We show the existence of the ground state. Particularly, in the quasi-periodic media, we show that the lower regularity of coefficients can guarantee the existence of ground states. Besides that, we give two applications: the first application i…
▽ More
We study the ground states of the one-dimensional non-self-adjoint Jacobi operators in the almost periodic media by using the method of dynamical systems. We show the existence of the ground state. Particularly, in the quasi-periodic media, we show that the lower regularity of coefficients can guarantee the existence of ground states. Besides that, we give two applications: the first application is to show the existence and uniqueness of the positive steady state of the discrete Fisher-KPP type equation; the second application is to investigate the asymptotic behavior of the discrete stationary parabolic equation with large lower order terms.
△ Less
Submitted 26 March, 2022;
originally announced March 2022.
-
Optimal Reinsurance to Minimize the Probability of Drawdown under the Mean-Variance Premium Principle: Asymptotic Analysis
Authors:
Pablo Azcue,
Xiaoqing Liang,
Nora Muler,
Virginia R. Young
Abstract:
In this paper, we consider an optimal reinsurance problem to minimize the probability of drawdown for the scaled Cramér-Lundberg risk model when the reinsurance premium is computed according to the mean-variance premium principle. We extend the work of Liang et al. [16] to the case of minimizing the probability of drawdown. By using the comparison method and the tool of adjustment coefficients, we…
▽ More
In this paper, we consider an optimal reinsurance problem to minimize the probability of drawdown for the scaled Cramér-Lundberg risk model when the reinsurance premium is computed according to the mean-variance premium principle. We extend the work of Liang et al. [16] to the case of minimizing the probability of drawdown. By using the comparison method and the tool of adjustment coefficients, we show that the minimum probability of drawdown for the scaled classical risk model converges to the minimum probability for its diffusion approximation, and the rate of convergence is of order $O(n^{-1/2})$. We further show that using the optimal strategy from the diffusion approximation in the scaled classical risk model is $O(n^{-1/2})$-optimal.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
The intrinsic Toeplitz structure and its applications in algebraic Riccati equations
Authors:
Zhen-Chen Guo,
Xin Liang
Abstract:
In this paper we derive a Toeplitz-structured closed form of the unique positive semi-definite stabilizing solution for the discrete-time algebraic Riccati equations, especially for the case that the state matrix is not stable. Based on the found form and fast Fourier transform, we propose a new algorithm for solving both discrete-time and continuous-time large-scale algebraic Riccati equations wi…
▽ More
In this paper we derive a Toeplitz-structured closed form of the unique positive semi-definite stabilizing solution for the discrete-time algebraic Riccati equations, especially for the case that the state matrix is not stable. Based on the found form and fast Fourier transform, we propose a new algorithm for solving both discrete-time and continuous-time large-scale algebraic Riccati equations with low-rank structure. It works without unnecessary assumptions, complicated shift selection strategies, or matrix calculations of the cubic order with respect to the problem scale. Numerical examples are given to illustrate its features. Besides, we show that it is theoretically equivalent to several algorithms existing in the literature in the sense that they all produce the same sequence under the same parameter setting.
△ Less
Submitted 8 September, 2022; v1 submitted 25 November, 2021;
originally announced November 2021.
-
A duality of scaffolds for translation association schemes
Authors:
Xiaoye Liang,
Ying-Ying Tan,
Hajime Tanaka,
Tao Wang
Abstract:
Scaffolds are certain tensors arising in the study of association schemes, and have been (implicitly) understood diagrammatically as digraphs with distinguished "root" nodes and with matrix edge weights, often taken from Bose-Mesner algebras. In this paper, we first present a slight modification of Martin's conjecture (2021) concerning a duality of scaffolds whose digraphs are embedded in a closed…
▽ More
Scaffolds are certain tensors arising in the study of association schemes, and have been (implicitly) understood diagrammatically as digraphs with distinguished "root" nodes and with matrix edge weights, often taken from Bose-Mesner algebras. In this paper, we first present a slight modification of Martin's conjecture (2021) concerning a duality of scaffolds whose digraphs are embedded in a closed disk in the plane with root nodes all lying on the boundary circle, and then show that this modified conjecture holds true if we restrict ourselves to the class of translation association schemes, i.e., those association schemes that admit abelian regular automorphism groups.
△ Less
Submitted 16 December, 2021; v1 submitted 29 October, 2021;
originally announced October 2021.
-
On Cogenerating and Finitely cogenerated S-acts
Authors:
Roghaieh Khosravi,
Xingliang Liang,
Mohammad Roueentan
Abstract:
In this paper, cogenerating classes of $S$-acts are introduced as those that can be used to cogenerate $S$-acts in an appropriate sense. Next, finitely cogenerated $S$-acts are introduced. Such an $S$-act is then characterized as one whose socle is finitely cogenerated and large in it. Further, we investigate the $S$-acts cogenerating $S_S$, or generating the injective envelope $E(S)$ of $S_S$. Th…
▽ More
In this paper, cogenerating classes of $S$-acts are introduced as those that can be used to cogenerate $S$-acts in an appropriate sense. Next, finitely cogenerated $S$-acts are introduced. Such an $S$-act is then characterized as one whose socle is finitely cogenerated and large in it. Further, we investigate the $S$-acts cogenerating $S_S$, or generating the injective envelope $E(S)$ of $S_S$. This leads us to introduce the classes of cofaithful and subgenerator $S$-acts as the dual notions of faithful $S$-acts, lying strictly between the classes of generator and faithful $S$-acts. Ultimately, we investigate the relationship between the mentioned classes of $S$-acts.
△ Less
Submitted 27 August, 2021;
originally announced September 2021.
-
Graph maps with zero topological entropy and sequence entropy pairs
Authors:
Jian Li,
Xianjuan Liang,
Piotr Oprocha
Abstract:
We show that graph map with zero topological entropy is Li-Yorke chaotic if and only if it has an NS-pair (a pair of non-separable points containing in a same solenoidal $ω$-limit set), and a non-diagonal pair is an NS-pair if and only if it is an IN-pair if and only if it is an IT-pair. This completes characterization of zero topological sequence entropy for graph maps.
We show that graph map with zero topological entropy is Li-Yorke chaotic if and only if it has an NS-pair (a pair of non-separable points containing in a same solenoidal $ω$-limit set), and a non-diagonal pair is an NS-pair if and only if it is an IN-pair if and only if it is an IT-pair. This completes characterization of zero topological sequence entropy for graph maps.
△ Less
Submitted 15 August, 2021;
originally announced August 2021.
-
Traveling fronts for Fisher-KPP lattice equations in almost periodic media
Authors:
Xing Liang,
Hongze Wang,
Qi Zhou,
Tao Zhou
Abstract:
This paper investigates the existence of almost periodic traveling fronts for Fisher-KPP lattice equations in one-dimensional almost periodic media. By the Lyapunov exponent of the linearized operator near the unstable steady state, we give sufficient condition of the existence of minimal speed of traveling fronts. Furthermore, it is showed that almost periodic traveling fronts share the same recu…
▽ More
This paper investigates the existence of almost periodic traveling fronts for Fisher-KPP lattice equations in one-dimensional almost periodic media. By the Lyapunov exponent of the linearized operator near the unstable steady state, we give sufficient condition of the existence of minimal speed of traveling fronts. Furthermore, it is showed that almost periodic traveling fronts share the same recurrence property as the structure of the media.
As applications, we give some typical examples which have minimal speed, and the proof of this depends on dynamical system approach to almost periodic Schrodinger operator.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
Minimizing the Probability of Lifetime Exponential Parisian Ruin
Authors:
Xiaoqing Liang,
Virginia R. Young
Abstract:
We find the optimal investment strategy in a Black-Scholes market to minimize the probability of so-called {\it lifetime exponential Parisian ruin}, that is, the probability that wealth exhibits an excursion below zero of an exponentially distributed time before the individual dies. We find that leveraging the risky asset is worse for negative wealth when minimizing the probability of lifetime exp…
▽ More
We find the optimal investment strategy in a Black-Scholes market to minimize the probability of so-called {\it lifetime exponential Parisian ruin}, that is, the probability that wealth exhibits an excursion below zero of an exponentially distributed time before the individual dies. We find that leveraging the risky asset is worse for negative wealth when minimizing the probability of lifetime exponential Parisian ruin than when minimizing the probability of lifetime ruin. Moreover, when wealth is negative, the optimal amount invested in the risky asset increases as the hazard rate of the exponential ``excursion clock'' increases. In view of the heavy leveraging when wealth is negative, we also compute the minimum probability of lifetime exponential Parisian ruin under a constraint on investment. Finally, we derive an asymptotic expansion of the minimum probability of lifetime exponential Parisian ruin for small values of the hazard rate of the excursion clock. It is interesting to find that, for small values of this hazard rate, the minimum probability of lifetime exponential Parisian ruin is proportional to the minimum occupation time studied in Bayraktar and Young, and the proportion equals the hazard rate. To the best of our knowledge, our work is the first to {\it control} the probability of Parisian ruin.
△ Less
Submitted 26 April, 2021;
originally announced April 2021.
-
On the Optimality of the Oja's Algorithm for Online PCA
Authors:
Xin Liang
Abstract:
In this paper we analyze the behavior of the Oja's algorithm for online/streaming principal component subspace estimation. It is proved that with high probability it performs an efficient, gap-free, global convergence rate to approximate an principal component subspace for any sub-Gaussian distribution. Moreover, it is the first time to show that the convergence rate, namely the upper bound of the…
▽ More
In this paper we analyze the behavior of the Oja's algorithm for online/streaming principal component subspace estimation. It is proved that with high probability it performs an efficient, gap-free, global convergence rate to approximate an principal component subspace for any sub-Gaussian distribution. Moreover, it is the first time to show that the convergence rate, namely the upper bound of the approximation, exactly matches the lower bound of an approximation obtained by the offline/classical PCA up to a constant factor.
△ Less
Submitted 18 January, 2022; v1 submitted 31 March, 2021;
originally announced April 2021.
-
On Generalizing Trace Minimization
Authors:
Xin Liang,
Li Wang,
Lei-Hong Zhang,
Ren-Cang Li
Abstract:
Ky Fan's trace minimization principle is extended along the line of the Brockett cost function $\mathrm{trace}(DX^H AX)$ in $X$ on the Stiefel manifold, where $D$ of an apt size is positive definite. Specifically, we investigate $\inf_X \mathrm{trace}(DX^H AX)$ subject to $X^H BX=I_k$ or $J_k=\mathrm{diag}(\pm 1)$. We establish conditions under which the infimum is finite and when it is finite, an…
▽ More
Ky Fan's trace minimization principle is extended along the line of the Brockett cost function $\mathrm{trace}(DX^H AX)$ in $X$ on the Stiefel manifold, where $D$ of an apt size is positive definite. Specifically, we investigate $\inf_X \mathrm{trace}(DX^H AX)$ subject to $X^H BX=I_k$ or $J_k=\mathrm{diag}(\pm 1)$. We establish conditions under which the infimum is finite and when it is finite, analytic solutions are obtained in terms of the eigenvalues and eigenvectors of the matrix pencil $A-λB$, where $B$ is possibly indefinite and singular, and $D$ is also possibly indefinite.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
On quasi-similarity of multiplication operator on the weighted Bergman space in the unit ball
Authors:
C. Chen,
Y. Wang,
Y. X. Liang
Abstract:
For $α>-1$, let $A_α^2(\mathbb{B}_N)$ be the weighted Bergman space on the unit ball $\mathbb{B}_N$ in $\mathbb{C}^N$. In this paper, we prove that the multiplication operator $M_{z^n}$ is quasi-similar to $\oplus_1^{\prod_{i=1}^N n_i}M_z$ on $A_α^2(\mathbb{B}_N)$ for the multi-index $n=(n_1,n_2,\cdots,n_N)$.
For $α>-1$, let $A_α^2(\mathbb{B}_N)$ be the weighted Bergman space on the unit ball $\mathbb{B}_N$ in $\mathbb{C}^N$. In this paper, we prove that the multiplication operator $M_{z^n}$ is quasi-similar to $\oplus_1^{\prod_{i=1}^N n_i}M_z$ on $A_α^2(\mathbb{B}_N)$ for the multi-index $n=(n_1,n_2,\cdots,n_N)$.
△ Less
Submitted 6 February, 2021;
originally announced February 2021.
-
Triangles with Vertices Equidistant to a Pedal Triangle
Authors:
Xuming Liang,
Ivan Zelich
Abstract:
In this paper, we present a synthetic solution to a geometric open problem involving the radical axis of two strangely defined circumcircles. The solution encapsulates two generalizations, one of which uses a powerful projective result relating isogonal conjugation and polarity with respect to circumconics.
In this paper, we present a synthetic solution to a geometric open problem involving the radical axis of two strangely defined circumcircles. The solution encapsulates two generalizations, one of which uses a powerful projective result relating isogonal conjugation and polarity with respect to circumconics.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Bifurcation Analysis of the Eigenstructure of the Discrete Single-curl Operator in Three-dimensional Maxwell's Equations with Pasteur Media
Authors:
Xin Liang,
Zhen-Chen Guo,
Tsung-Ming Huang,
Tiexiang Li,
Wen-Wei Lin
Abstract:
This paper focuses on studying the bifurcation analysis of the eigenstructure of the $γ$-parameterized generalized eigenvalue problem ($γ$-GEP) arising in three-dimensional (3D) source-free Maxwell's equations with Pasteur media, where $γ$ is the magnetoelectric chirality parameter. For the weakly coupled case, namely, $γ< γ_{*} \equiv$ critical value, the $γ$-GEP is positive definite, which has b…
▽ More
This paper focuses on studying the bifurcation analysis of the eigenstructure of the $γ$-parameterized generalized eigenvalue problem ($γ$-GEP) arising in three-dimensional (3D) source-free Maxwell's equations with Pasteur media, where $γ$ is the magnetoelectric chirality parameter. For the weakly coupled case, namely, $γ< γ_{*} \equiv$ critical value, the $γ$-GEP is positive definite, which has been well-studied by Chern et.\ al, 2015. For the strongly coupled case, namely, $γ> γ_{*}$, the $γ$-GEP is no longer positive definite, introducing a totally different and complicated structure. For the critical strongly coupled case, numerical computations for electromagnetic fields have been presented by Huang et.\ al, 2018. In this paper, we build several theoretical results on the eigenstructure behavior of the $γ$-GEPs. We prove that the $γ$-GEP is regular for any $γ> 0$, and the $γ$-GEP has $2 \times 2$ Jordan blocks of infinite eigenvalues at the critical value $γ_{*}$. Then, we show that the $2 \times 2$ Jordan block will split into a complex conjugate eigenvalue pair that rapidly goes down and up and then collides at some real point near the origin. Next, it will bifurcate into two real eigenvalues, with one moving toward the left and the other to the right along the real axis as $γ$ increases. A newly formed state whose energy is smaller than the ground state can be created as $γ$ is larger than the critical value. This stunning feature of the physical phenomenon would be very helpful in practical applications. Therefore, the purpose of this paper is to clarify the corresponding theoretical eigenstructure of 3D Maxwell's equations with Pasteur media.
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
Nonlinear Cooperative Control of Double Drone-Bar Transportation System
Authors:
Peng Zhang,
Yongchun Fang,
Xiao Liang,
He Lin,
Wei He
Abstract:
Due to the limitation of the drone's load capacity, various specific tasks need to be accomplished by multiple drones in collaboration. In some transportation tasks, two drones are required to lift the load together, which brings even more significant challenges to the control problem because the transportation system is underactuated and it contains very complex dynamic coupling. When transportin…
▽ More
Due to the limitation of the drone's load capacity, various specific tasks need to be accomplished by multiple drones in collaboration. In some transportation tasks, two drones are required to lift the load together, which brings even more significant challenges to the control problem because the transportation system is underactuated and it contains very complex dynamic coupling. When transporting bar-shaped objects, the load's attitude, the rope's swing motion, as well as the distance between the drones, should be carefully considered to ensure the security of the system. So far, few works have been implemented for double drone transportation systems to guarantee their transportation performance, especially in the aforementioned aspect. In this paper, a nonlinear cooperative control method is proposed, with both rigorous stability analysis and experimental results demonstrating its great performance. Without the need to distinguish the identities between the leader and the follower, the proposed method successfully realizes effective control for the two drones separately, mainly owning to the deep analysis for the system dynamics and the elaborate design for the control law. By utilizing Lyapunov techniques, the proposed controller achieves simultaneous positioning and mutual distance control of the drones, meanwhile, it efficiently eliminates the swing of the load. Flight experiments are presented to demonstrate the performance of the proposed nonlinear cooperative control strategy.
△ Less
Submitted 15 November, 2020;
originally announced November 2020.
-
Decoupled Structure-Preserving Doubling Algorithm with Truncation for Large-Scale Algebraic Riccati Equations
Authors:
Zhen-Chen Guo,
Eric King-Wah Chu,
Xin Liang,
Wen-Wei Lin
Abstract:
In \emph{Guo et al, arXiv:2005.08288}, we propose a decoupled form of the structure-preserving doubling algorithm (dSDA). The method decouples the original two to four coupled recursions, enabling it to solve large-scale algebraic Riccati equations and other related problems. In this paper, we consider the numerical computations of the novel dSDA for solving large-scale continuous-time algebraic R…
▽ More
In \emph{Guo et al, arXiv:2005.08288}, we propose a decoupled form of the structure-preserving doubling algorithm (dSDA). The method decouples the original two to four coupled recursions, enabling it to solve large-scale algebraic Riccati equations and other related problems. In this paper, we consider the numerical computations of the novel dSDA for solving large-scale continuous-time algebraic Riccati equations with low-rank structures (thus possessing numerically low-rank solutions). With the help of a new truncation strategy, the rank of the approximate solution is controlled. Consequently, large-scale problems can be treated efficiently. Illustrative numerical examples are presented to demonstrate and confirm our claims.
△ Less
Submitted 3 November, 2020;
originally announced November 2020.
-
Highly accurate decoupled doubling algorithm for large-scale M-matrix algebraic Riccati equations
Authors:
Zhen-Chen Guo,
Eric King-wah Chu,
Xin Liang
Abstract:
We consider the numerical solution of large-scale M-matrix algebraic Riccati equations with low-rank structures. We derive a new doubling iteration, decoupling the four original iteration formulae in the alternating-directional doubling algorithm. We prove that the kernels in the decoupled algorithm are small M-matrices. Illumined by the highly accurate algorithm proposed by Xue and Li in 2017, we…
▽ More
We consider the numerical solution of large-scale M-matrix algebraic Riccati equations with low-rank structures. We derive a new doubling iteration, decoupling the four original iteration formulae in the alternating-directional doubling algorithm. We prove that the kernels in the decoupled algorithm are small M-matrices. Illumined by the highly accurate algorithm proposed by Xue and Li in 2017, we construct the triplet representations for the small M-matrix kernels in a highly accurate doubling algorithm. Illustrative numerical examples will be presented on the efficiency of our algorithm.
△ Less
Submitted 7 December, 2020; v1 submitted 1 November, 2020;
originally announced November 2020.
-
The Boundary Element Method of Peridynamics
Authors:
Xue Liang,
Linjuan Wang,
Jifeng Xu,
Jianxiang Wang
Abstract:
The peridynamic theory brings advantages in dealing with discontinuities, dynamic loading, and non-locality. The integro-differential formulation of peridynamics poses challenges to numerical solutions of complicated and practical problems. Some important issues attract much attention, such as the computation of infinite domains, the treatment of softening of boundaries due to an incomplete horizo…
▽ More
The peridynamic theory brings advantages in dealing with discontinuities, dynamic loading, and non-locality. The integro-differential formulation of peridynamics poses challenges to numerical solutions of complicated and practical problems. Some important issues attract much attention, such as the computation of infinite domains, the treatment of softening of boundaries due to an incomplete horizon, and time error accumulation in dynamic processes. In this work, we develop the \textit{peridynamic boundary element method} (PD-BEM). The numerical examples demonstrate that the PD-BEM exhibits several features. First, for non-destructive cases, the PD-BEM can be one to two orders of magnitude faster than the peridynamic meshless particle method (PD-MPM) that directly discretizes the computational domains; second, it eliminates the time accumulation error, and thus conserves the total energy much better than the PD-MPM; third, it does not exhibit spurious boundary softening phenomena. For destructive cases where new boundaries emerge during the loading process, we propose a coupling scheme where the PD-MPM is applied to the cracked region and the PD-BEM is applied to the un-cracked region such that the time of computation can be significantly reduced.
△ Less
Submitted 31 May, 2021; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Optimal Reinsurance under the Mean-Variance Premium Principle to Minimize the Probability of Ruin
Authors:
Xiaoqing Liang,
Zhibin Liang,
Virginia R. Young
Abstract:
We consider the problem of minimizing the probability of ruin by purchasing reinsurance whose premium is computed according to the mean-variance premium principle, a combination of the expected-value and variance premium principles. We derive closed-form expressions of the optimal reinsurance strategy and the corresponding minimum probability of ruin under the diffusion approximation of the classi…
▽ More
We consider the problem of minimizing the probability of ruin by purchasing reinsurance whose premium is computed according to the mean-variance premium principle, a combination of the expected-value and variance premium principles. We derive closed-form expressions of the optimal reinsurance strategy and the corresponding minimum probability of ruin under the diffusion approximation of the classical Cramér-Lundberg risk process perturbed by a diffusion. We find an explicit expression for the reinsurance strategy that maximizes the adjustment coefficient for the classical risk process perturbed by a diffusion. Also, for this risk process, we use stochastic Perron's method to prove that the minimum probability of ruin is the unique viscosity solution of its Hamilton-Jacobi-Bellman equation with appropriate boundary conditions. Finally, we prove that, under an appropriate scaling of the classical risk process, the minimum probability of ruin converges to the minimum probability of ruin under the diffusion approximation.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
A decoupled form of the structure-preserving doubling algorithm with low-rank structures
Authors:
Zhen-Chen Guo,
Eric King-Wah Chu,
Xin Liang,
Wen-Wei Lin
Abstract:
The structure-preserving doubling algorithm (SDA) is a fairly efficient method for solving problems closely related to Hamiltonian (or Hamiltonian-like) matrices, such as computing the required solutions to algebraic Riccati equations. However, for large-scale problems in $\mathbb{C}^n$ (also $\mathbb{R}^n$), the SDA with an $O(n^3)$ computational complexity does not work well. In this paper, we p…
▽ More
The structure-preserving doubling algorithm (SDA) is a fairly efficient method for solving problems closely related to Hamiltonian (or Hamiltonian-like) matrices, such as computing the required solutions to algebraic Riccati equations. However, for large-scale problems in $\mathbb{C}^n$ (also $\mathbb{R}^n$), the SDA with an $O(n^3)$ computational complexity does not work well. In this paper, we propose a new decoupled form of the SDA (we name it as dSDA), building on the associated Krylov subspaces thus leading to the inherent low-rank structures. Importantly, the approach decouples the original two to four iteration formulae. The resulting dSDA is much more efficient since only one quantity (instead of the original two to four) is computed iteratively. For large-scale problems, further efficiency is gained from the low-rank structures. This paper presents the theoretical aspects of the dSDA. A practical algorithm dSDA t with truncation and many illustrative numerical results will appear in a second paper.
△ Less
Submitted 17 May, 2020;
originally announced May 2020.
-
Convergence Analysis of Extended LOBPCG for Computing Extreme Eigenvalues
Authors:
Peter Benner,
Xin Liang
Abstract:
This paper is concerned with the convergence analysis of an extended variation of the locally optimal preconditioned conjugate gradient method (LOBPCG) for the extreme eigenvalue of a Hermitian matrix polynomial which admits some extended form of Rayleigh quotient. This work is a generalization of the analysis by Ovtchinnikov (SIAM J. Numer. Anal., 46(5):2567-2592, 2008). As instances, the algorit…
▽ More
This paper is concerned with the convergence analysis of an extended variation of the locally optimal preconditioned conjugate gradient method (LOBPCG) for the extreme eigenvalue of a Hermitian matrix polynomial which admits some extended form of Rayleigh quotient. This work is a generalization of the analysis by Ovtchinnikov (SIAM J. Numer. Anal., 46(5):2567-2592, 2008). As instances, the algorithms for definite matrix pairs and hyperbolic quadratic matrix polynomials are shown to be globally convergent and to have an asymptotically local convergence rate. Also, numerical examples are given to illustrate the convergence.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Lie Biderivations on Triangular Algebras
Authors:
Xinfeng Liang,
Dandan Ren,
Feng Wei
Abstract:
Let $\mathcal{T}$ be a triangular algebra over a commutative ring $\mathcal{R}$ and $\varphi: \mathcal{T} \times \mathcal{T}\longrightarrow \mathcal{T}$ be an arbitrary Lie biderivation of $\mathcal{T}$. We will address the question of describing the form of $\varphi$ in the current work. It is shown that under certain mild assumptions, $\varphi$ is the sum of an inner biderivation and an extremal…
▽ More
Let $\mathcal{T}$ be a triangular algebra over a commutative ring $\mathcal{R}$ and $\varphi: \mathcal{T} \times \mathcal{T}\longrightarrow \mathcal{T}$ be an arbitrary Lie biderivation of $\mathcal{T}$. We will address the question of describing the form of $\varphi$ in the current work. It is shown that under certain mild assumptions, $\varphi$ is the sum of an inner biderivation and an extremal biderivation and a some central bilinear map**. Our results is immediately applied to block upper triangular algebras and Hilbert space nest algebras .
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
SPAN: A Stochastic Projected Approximate Newton Method
Authors:
Xunpeng Huang,
Xianfeng Liang,
Zhengyang Liu,
Yitan Li,
Linyun Yu,
Yue Yu,
Lei Li
Abstract:
Second-order optimization methods have desirable convergence properties. However, the exact Newton method requires expensive computation for the Hessian and its inverse. In this paper, we propose SPAN, a novel approximate and fast Newton method. SPAN computes the inverse of the Hessian matrix via low-rank approximation and stochastic Hessian-vector products. Our experiments on multiple benchmark d…
▽ More
Second-order optimization methods have desirable convergence properties. However, the exact Newton method requires expensive computation for the Hessian and its inverse. In this paper, we propose SPAN, a novel approximate and fast Newton method. SPAN computes the inverse of the Hessian matrix via low-rank approximation and stochastic Hessian-vector products. Our experiments on multiple benchmark datasets demonstrate that SPAN outperforms existing first-order and second-order optimization methods in terms of the convergence wall-clock time. Furthermore, we provide a theoretical analysis of the per-iteration complexity, the approximation error, and the convergence rate. Both the theoretical analysis and experimental results show that our proposed method achieves a better trade-off between the convergence rate and the per-iteration efficiency.
△ Less
Submitted 2 March, 2020; v1 submitted 10 February, 2020;
originally announced February 2020.
-
Minimizing the Discounted Probability of Exponential Parisian Ruin via Reinsurance
Authors:
Xiaoqing Liang,
Virginia R. Young
Abstract:
We study the problem of minimizing the discounted probability of exponential Parisian ruin, that is, the discounted probability that an insurer's surplus exhibits an excursion below zero in excess of an exponentially distributed clock. The insurer controls its surplus via reinsurance priced according to the mean-variance premium principle, as in Liang, Liang, and Young (2019). We consider the clas…
▽ More
We study the problem of minimizing the discounted probability of exponential Parisian ruin, that is, the discounted probability that an insurer's surplus exhibits an excursion below zero in excess of an exponentially distributed clock. The insurer controls its surplus via reinsurance priced according to the mean-variance premium principle, as in Liang, Liang, and Young (2019). We consider the classical risk model and apply stochastic Perron's method, as introduced by Bayraktar and Sirbu (2012,2013,2014), to show that the minimum discounted probability of exponential Parisian ruin is the unique viscosity solution of its Hamilton-Jacobi-Bellman equation with boundary conditions at $\pm \infty$. A major difficulty in proving the comparison principle arises from the discontinuity of the Hamiltonian.
△ Less
Submitted 6 July, 2020; v1 submitted 22 January, 2020;
originally announced January 2020.
-
Variance Reduced Local SGD with Lower Communication Complexity
Authors:
Xianfeng Liang,
Shuheng Shen,
**gchang Liu,
Zhen Pan,
Enhong Chen,
Yifei Cheng
Abstract:
To accelerate the training of machine learning models, distributed stochastic gradient descent (SGD) and its variants have been widely adopted, which apply multiple workers in parallel to speed up training. Among them, Local SGD has gained much attention due to its lower communication cost. Nevertheless, when the data distribution on workers is non-identical, Local SGD requires…
▽ More
To accelerate the training of machine learning models, distributed stochastic gradient descent (SGD) and its variants have been widely adopted, which apply multiple workers in parallel to speed up training. Among them, Local SGD has gained much attention due to its lower communication cost. Nevertheless, when the data distribution on workers is non-identical, Local SGD requires $O(T^{\frac{3}{4}} N^{\frac{3}{4}})$ communications to maintain its \emph{linear iteration speedup} property, where $T$ is the total number of iterations and $N$ is the number of workers. In this paper, we propose Variance Reduced Local SGD (VRL-SGD) to further reduce the communication complexity. Benefiting from eliminating the dependency on the gradient variance among workers, we theoretically prove that VRL-SGD achieves a \emph{linear iteration speedup} with a lower communication complexity $O(T^{\frac{1}{2}} N^{\frac{3}{2}})$ even if workers access non-identical datasets. We conduct experiments on three machine learning tasks, and the experimental results demonstrate that VRL-SGD performs impressively better than Local SGD when the data among workers are quite diverse.
△ Less
Submitted 30 December, 2019;
originally announced December 2019.
-
Optimal Decentralized Control with Asymmetric Partial Information Sharing
Authors:
Xiao Liang,
Qingyuan Qi,
Huanshui Zhang,
Lihua Xie
Abstract:
This paper considers the optimal decentralized control for networked control systems (NCSs) with asymmetric partial information sharing between two controllers. In this NCSs model, the controller 2 (C2) shares its observations and part of its historical control inputs with the controller 1 (C1), whereas C2 cannot obtain the information of C1 due to network constraints. We present the optimal estim…
▽ More
This paper considers the optimal decentralized control for networked control systems (NCSs) with asymmetric partial information sharing between two controllers. In this NCSs model, the controller 2 (C2) shares its observations and part of its historical control inputs with the controller 1 (C1), whereas C2 cannot obtain the information of C1 due to network constraints. We present the optimal estimators for C1 and C2 respectively based on asymmetric observations. Since the information for C1 and C2 are asymmetric, the estimation error covariance (EEC) is coupled with the controller which means that the classical separation principle fails. By applying the Pontryagin's maximum principle, we obtain a solution to the forward and backward stochastic difference equations. Based on this solution, we derive the optimal controllers to minimize a quadratic cost function. Combining the optimal controllers with the EEC, the controller C1 is decoupled from the ECC. It should be emphasized that the control gain is dependent on the estimation gain. What's more, the estimation gain satisfies the forward Riccati equation and the control gain satisfies the backward Riccati equation which makes the problem more challenging. We propose iterative solutions to the Riccati equations and give a suboptimal solution to the optimal decentralized control problem.
△ Less
Submitted 6 November, 2019;
originally announced November 2019.
-
Counting acyclic and strong digraphs by descents
Authors:
Kassie Archer,
Ira M. Gessel,
Christina Graves,
Xuming Liang
Abstract:
A descent of a labeled digraph is a directed edge (s, t) with s > t. We count strong tournaments, strong digraphs, and acyclic digraphs by descents and edges. To count strong tournaments we use Eulerian generating functions and to count strong and acyclic digraphs we use a new type of generating function that we call a graphic Eulerian generating function.
A descent of a labeled digraph is a directed edge (s, t) with s > t. We count strong tournaments, strong digraphs, and acyclic digraphs by descents and edges. To count strong tournaments we use Eulerian generating functions and to count strong and acyclic digraphs we use a new type of generating function that we call a graphic Eulerian generating function.
△ Less
Submitted 20 March, 2020; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Optimal Control and Stabilization for Networked Control Systems with Asymmetric Information
Authors:
Xiao Liang,
Huanshui Zhang,
Juanjuan Xu
Abstract:
This paper considers the optimal control and stabilization problems for networked control systems (NCSs) with asymmetric information. In this NCSs model, the remote controller can receive packet-dropout states of the plant, and the available information for the embedded controller are observations of states and packet-dropout states sent from the remote controller. The two controllers operate the…
▽ More
This paper considers the optimal control and stabilization problems for networked control systems (NCSs) with asymmetric information. In this NCSs model, the remote controller can receive packet-dropout states of the plant, and the available information for the embedded controller are observations of states and packet-dropout states sent from the remote controller. The two controllers operate the plant simultaneously to make the quadratic performance minimized and stabilize the linear plant. For the finite-horizon case, since states of the plant cannot be obtained perfectly, we develop the optimal estimators for the embedded and remote controllers based on asymmetric information respectively. Then we give the necessary and sufficient condition for the optimal control based on the solution to the forward-backward stochastic difference equations (FBSDEs). For the infinite-horizon case, on one hand, the necessary and sufficient condition is given for the stabilization in the mean-square sense of the system without the additive noise. On the other hand, it is shown that the system with the additive noise is bounded in the mean-square sense if and only if there exist the solutions to the two coupled algebraic Riccati equations. Numerical examples on the unmanned underwater vehicle are presented to show the effectiveness of the given algorithm.
△ Less
Submitted 2 September, 2019;
originally announced September 2019.