-
Roots and Logarithms of Multipliers
Authors:
**gbo Xia,
Congquan Yan,
Danjun Zhao,
**gming Zhu
Abstract:
By now it is a well-known fact that if $f$ is a multiplier for the Drury-Arveson space $H^2_n$, and if there is a $c>0$ such that $|f(z)|\geq c$ for every $z\in B$, then the reciprocal function 1/f is also a multiplier for $H^2_n$. We show that for such an $f$ and for every $t\in \mathbb{R}$, $f^t$ is also a multiplier for $H^2_n$. We do so by deriving a differentiation formula for $R^m(f^th)$.Mor…
▽ More
By now it is a well-known fact that if $f$ is a multiplier for the Drury-Arveson space $H^2_n$, and if there is a $c>0$ such that $|f(z)|\geq c$ for every $z\in B$, then the reciprocal function 1/f is also a multiplier for $H^2_n$. We show that for such an $f$ and for every $t\in \mathbb{R}$, $f^t$ is also a multiplier for $H^2_n$. We do so by deriving a differentiation formula for $R^m(f^th)$.Moreover, by this formula the same result holds for spaces $H_{m,s}$ of the Besov-Dirichlet type. The same technique also gives us the result that for a non-vanishing multiplier $f$ of $H^2_n$, $log f$ is a multiplier of $H^2_n$ if and only if log $f$ is bounded on $B$.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Feedback Stability Under Mixed Gain and Phase Uncertainty
Authors:
Jia** Liang,
Di Zhao,
Li Qiu
Abstract:
In this study, we investigate the robust feedback stability problem for multiple-input-multiple-output linear time-invariant systems involving sectored-disk uncertainty, namely, dynamic uncertainty subject to simultaneous gain and phase constraints. This problem is thereby called a sectored-disk problem. Employing a frequency-wise analysis approach, we derive a fundamental static matrix problem th…
▽ More
In this study, we investigate the robust feedback stability problem for multiple-input-multiple-output linear time-invariant systems involving sectored-disk uncertainty, namely, dynamic uncertainty subject to simultaneous gain and phase constraints. This problem is thereby called a sectored-disk problem. Employing a frequency-wise analysis approach, we derive a fundamental static matrix problem that serves as a key component in addressing the feedback stability. The study of this matrix problem heavily relies on the Davis-Wielandt (DW) shells of matrices, providing a profound insight into matrices subjected to simultaneous gain and phase constraints. This understanding is pivotal for establishing a less conservative sufficient condition for the matrix sectored-disk problem, from which we formulate several robust feedback stability conditions against sectored-disk uncertainty. Finally, several conditions based on linear matrix inequalities are developed for efficient computation and verification of feedback robust stability against sectored-disk uncertainty.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Discrete Opial type inequalities for interval-valued functions
Authors:
Dafang Zhao,
Xuexiao You,
Delfim F. M. Torres
Abstract:
We introduce the forward (backward) gH-difference operator of interval sequences, and establish some new discrete Opial type inequalities for interval-valued functions. Further, we obtain generalizations of classical discrete Opial type inequalities. Some examples are presented to illustrate our results.
We introduce the forward (backward) gH-difference operator of interval sequences, and establish some new discrete Opial type inequalities for interval-valued functions. Further, we obtain generalizations of classical discrete Opial type inequalities. Some examples are presented to illustrate our results.
△ Less
Submitted 22 November, 2023;
originally announced March 2024.
-
Bivariate $Q$-polynomial structures for the nonbinary Johnson scheme and the association scheme obtained from attenuated spaces
Authors:
Eiichi Bannai,
Hirotake Kurihara,
Da Zhao,
Yan Zhu
Abstract:
The study of $P$-polynomial association schemes (distance-regular graphs) and $Q$-polynomial association schemes, and in particular $P$- and $Q$-polynomial association schemes, has been a central theme not only in the theory of association schemes but also in the whole study of algebraic combinatorics in general. Leonard's theorem (1982) says that the spherical functions (or the character tables)…
▽ More
The study of $P$-polynomial association schemes (distance-regular graphs) and $Q$-polynomial association schemes, and in particular $P$- and $Q$-polynomial association schemes, has been a central theme not only in the theory of association schemes but also in the whole study of algebraic combinatorics in general. Leonard's theorem (1982) says that the spherical functions (or the character tables) of $P$- and $Q$-polynomial association schemes are described by Askey-Wilson orthogonal polynomials or their relatives. These polynomials are one-variable orthogonal polynomials. It seems that the new attempt to define and study higher rank $P$- and $Q$-polynomial association schemes had been hoped for, but had gotten only limited success. The first very successful attempt was initiated recently by Bernard-Crampé-d'Andecy-Vinet-Zaimi [arXiv:2212.10824], and then followed by Bannai-Kurihara-Zhao-Zhu [arXiv:2305.00707]. The general theory and some explicit examples of families of higher rank (multivariate) $P$- and/or $Q$-polynomial association schemes have been obtained there. The main purpose of the present paper is to prove that some important families of association schemes are shown to be bivariate $Q$-polynomial. Namely, we show that all the nonbinary Johnson association schemes and all the attenuated space association schemes are bivariate $Q$-polynomial. It should be noted that the parameter restrictions needed in the previous papers are completely lifted in this paper. Our proofs are done by explicitly calculating the Krein parameters of these association schemes. At the end, we mention some speculations and indications of what we can expect in the future study.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Uncertainty-Informed Renewable Energy Scheduling: A Scalable Bilevel Framework
Authors:
Dongwei Zhao,
Vladimir Dvorkin,
Stefanos Delikaraoglou,
Alberto J. Lamadrid L.,
Audun Botterud
Abstract:
This work proposes an uncertainty-informed bid adjustment framework for integrating variable renewable energy sources (VRES) into electricity markets. This framework adopts a bilevel model to compute the optimal VRES day-ahead bids. It aims to minimize the expected system cost across day-ahead and real-time stages and approximate the cost efficiency of the stochastic market design. However, solvin…
▽ More
This work proposes an uncertainty-informed bid adjustment framework for integrating variable renewable energy sources (VRES) into electricity markets. This framework adopts a bilevel model to compute the optimal VRES day-ahead bids. It aims to minimize the expected system cost across day-ahead and real-time stages and approximate the cost efficiency of the stochastic market design. However, solving the bilevel optimization problem is computationally challenging for large-scale systems. To overcome this challenge, we introduce a novel technique based on strong duality and McCormick envelopes, which relaxes the problem to a linear program, enabling large-scale applications. The proposed bilevel framework is applied to the 1576-bus NYISO system and benchmarked against a myopic strategy, where the VRES bid is the mean value of the probabilistic power forecast. Results demonstrate that, under high VRES penetration levels (e.g., 40%), our framework can significantly reduce system costs and market-price volatility, by optimizing VRES quantities efficiently in the day-ahead market. Furthermore, we find that when transmission capacity increases, the proposed bilevel model will still reduce the system cost, whereas the myopic strategy may incur a much higher cost due to over-scheduling of VRES in the day-ahead market and the lack of flexible conventional generators in real time.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
A Cyclic Small Phase Theorem
Authors:
Chao Chen,
Wei Chen,
Di Zhao,
Jianqi Chen,
Li Qiu
Abstract:
This paper introduces a brand-new phase definition called the segmental phase for multi-input multi-output linear time-invariant systems. The underpinning of the definition lies in the matrix segmental phase which, as its name implies, is graphically based on the smallest circular segment covering the matrix normalized numerical range in the unit disk. The matrix segmental phase has the crucial pr…
▽ More
This paper introduces a brand-new phase definition called the segmental phase for multi-input multi-output linear time-invariant systems. The underpinning of the definition lies in the matrix segmental phase which, as its name implies, is graphically based on the smallest circular segment covering the matrix normalized numerical range in the unit disk. The matrix segmental phase has the crucial product eigen-phase bound, which makes itself stand out from several existing phase notions in the literature. The proposed bound paves the way for stability analysis of a cyclic feedback system consisting of multiple subsystems. A cyclic small phase theorem is then established as our main result, which requires the loop system phase to lie between $-π$ and $π$. The proposed theorem complements a cyclic version of the celebrated small gain theorem. In addition, a generalization of the proposed theorem is made via the use of angular scaling techniques for reducing conservatism.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Model-free Reinforcement Learning for ${H_{2}/H_{\infty}}$ Control of Stochastic Discrete-time Systems
Authors:
Xiushan Jiang,
Li Wang,
Dongya Zhao,
Ling Shi
Abstract:
This paper proposes a reinforcement learning (RL) algorithm for infinite horizon $\rm {H_{2}/H_{\infty}}$ problem in a class of stochastic discrete-time systems, rather than using a set of coupled generalized algebraic Riccati equations (GAREs). The algorithm is able to learn the optimal control policy for the system even when its parameters are unknown. Additionally, the paper explores the effect…
▽ More
This paper proposes a reinforcement learning (RL) algorithm for infinite horizon $\rm {H_{2}/H_{\infty}}$ problem in a class of stochastic discrete-time systems, rather than using a set of coupled generalized algebraic Riccati equations (GAREs). The algorithm is able to learn the optimal control policy for the system even when its parameters are unknown. Additionally, the paper explores the effect of detection noise as well as the convergence of the algorithm, and shows that the control policy is admissible after a finite number of iterations. The algorithm is also able to handle multi-objective control problems within stochastic fields. Finally, the algorithm is applied to the F-16 aircraft autopilot with multiplicative noise.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
-
Converse negative imaginary theorems
Authors:
Sei Zhen Khong,
Di Zhao,
Alexander Lanzon
Abstract:
Converse negative imaginary theorems for linear time-invariant systems are derived. In particular, we provide necessary and sufficient conditions for a feedback system to be robustly stable against various types of negative imaginary (NI) uncertainty. Uncertainty classes of marginally stable NI systems and stable strictly NI systems with restrictions on their static or instantaneous gains are cons…
▽ More
Converse negative imaginary theorems for linear time-invariant systems are derived. In particular, we provide necessary and sufficient conditions for a feedback system to be robustly stable against various types of negative imaginary (NI) uncertainty. Uncertainty classes of marginally stable NI systems and stable strictly NI systems with restrictions on their static or instantaneous gains are considered. It is shown that robust stability against the former class entails the strictly NI property, whereas the latter class entails the NI property. We also establish a non-existence result that no stable system can robustly stabilise all marginally stable NI uncertainty, thereby showing that the uncertainty class of NI systems is too large as far as robust feedback stability is concerned, thus justifying the consideration of subclasses of NI systems with constrained static or instantaneous gains.
△ Less
Submitted 20 November, 2023; v1 submitted 3 June, 2023;
originally announced June 2023.
-
The set of maximal points of an $ω$-domain need not be a $G_δ$-set
Authors:
Gaolin Li,
Chong Shen,
Kaiyun Wang,
Xiaoyong Xi,
Dongsheng Zhao
Abstract:
A topological space has a domain model if it is homeomorphic to the maximal point space $\mbox{Max}(P)$ of a domain $P$. Lawson proved that every Polish space $X$ has an $ω$-domain model $P$ and for such a model $P$, $\mbox{Max}(P)$ is a $G_δ$-set of the Scott space of $P$. Martin (2003) then asked whether it is true that for every $ω$-domain $Q$, $\mbox{Max}(Q)$ is $G_δ$-set of the Scott space of…
▽ More
A topological space has a domain model if it is homeomorphic to the maximal point space $\mbox{Max}(P)$ of a domain $P$. Lawson proved that every Polish space $X$ has an $ω$-domain model $P$ and for such a model $P$, $\mbox{Max}(P)$ is a $G_δ$-set of the Scott space of $P$. Martin (2003) then asked whether it is true that for every $ω$-domain $Q$, $\mbox{Max}(Q)$ is $G_δ$-set of the Scott space of $Q$. In this paper, we give a negative answer to Martin's long standing open problem by constructing a counterexample. The counterexample here actually shows that the answer is no even for $ω$-algebraic domains.
△ Less
Submitted 6 May, 2023;
originally announced May 2023.
-
Multivariate P- and/or Q-polynomial association schemes
Authors:
Eiichi Bannai,
Hirotake Kurihara,
Da Zhao,
Yan Zhu
Abstract:
The classification problem of $P$- and $Q$-polynomial association schemes has been one of the central problems in algebraic combinatorics. Generalizing the concept of $P$- and $Q$-polynomial association schemes to multivariate cases, namely to consider higher rank $P$- and $Q$-polynomial association schemes, has been tried by some authors, but it seems that so far there were neither very well-esta…
▽ More
The classification problem of $P$- and $Q$-polynomial association schemes has been one of the central problems in algebraic combinatorics. Generalizing the concept of $P$- and $Q$-polynomial association schemes to multivariate cases, namely to consider higher rank $P$- and $Q$-polynomial association schemes, has been tried by some authors, but it seems that so far there were neither very well-established definition nor results. Very recently, Bernard, Crampé, d'Andecy, Vinet, and Zaimi [arXiv:2212.10824], defined bivariate $P$-polynomial association schemes, as well as bivariate $Q$-polynomial association schemes. In this paper, we study these concepts and propose a new modified definition concerning a general monomial order, which is more general and more natural and also easy to handle. We prove that there are many interesting families of examples of multivariate $P$- and/or $Q$-polynomial association schemes.
△ Less
Submitted 15 August, 2023; v1 submitted 1 May, 2023;
originally announced May 2023.
-
Scattering and Rigidity for Nonlinear Elastic Waves
Authors:
Dongbing Zha
Abstract:
For the Cauchy problem of nonlinear elastic wave equations of three dimensional isotropic, homogeneous and hyperelastic materials satisfying the null condition, global existence of classical solutions with small initial data was proved in R. Agemi (Invent. Math. 142 (2000) 225--250) and T. C. Sideris (Ann. Math. 151(2000) 849--874), independently. In this paper, we will consider the asymptotic beh…
▽ More
For the Cauchy problem of nonlinear elastic wave equations of three dimensional isotropic, homogeneous and hyperelastic materials satisfying the null condition, global existence of classical solutions with small initial data was proved in R. Agemi (Invent. Math. 142 (2000) 225--250) and T. C. Sideris (Ann. Math. 151(2000) 849--874), independently. In this paper, we will consider the asymptotic behavior of global solutions. We first show that the global solution will scatter, i.e., it will converge to some solution of linear elastic wave equations as time tends to infinity, in the energy sense. We also prove the following rigidity result: if the scattering data vanish, then the global solution will also vanish identically. The variational structure of the system will play a key role in our argument.
△ Less
Submitted 10 December, 2022;
originally announced December 2022.
-
Fast gradient method for Low-Rank Matrix Estimation
Authors:
Hongyi Li,
Zhen Peng,
Chengwei Pan,
Di Zhao
Abstract:
Projected gradient descent and its Riemannian variant belong to a typical class of methods for low-rank matrix estimation. This paper proposes a new Nesterov's Accelerated Riemannian Gradient algorithm by efficient orthographic retraction and tangent space projection. The subspace relationship between iterative and extrapolated sequences on the low-rank matrix manifold provides a computational con…
▽ More
Projected gradient descent and its Riemannian variant belong to a typical class of methods for low-rank matrix estimation. This paper proposes a new Nesterov's Accelerated Riemannian Gradient algorithm by efficient orthographic retraction and tangent space projection. The subspace relationship between iterative and extrapolated sequences on the low-rank matrix manifold provides a computational convenience. With perturbation analysis of truncated singular value decomposition and two retractions, we systematically analyze the local convergence of gradient algorithms and Nesterov's variants in the Euclidean and Riemannian settings. Theoretically, we estimate the exact rate of local linear convergence under different parameters using the spectral radius in a closed form and give the optimal convergence rate and the corresponding momentum parameter. When the parameter is unknown, the adaptive restart scheme can avoid the oscillation problem caused by high momentum, thus approaching the optimal convergence rate. Extensive numerical experiments confirm the estimations of convergence rate and demonstrate that the proposed algorithm is competitive with first-order methods for matrix completion and matrix sensing.
△ Less
Submitted 2 June, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Further studies on open well-filtered spaces
Authors:
Chong Shen,
Xiaoyong Xi,
Dongsheng Zhao
Abstract:
The open well-filtered spaces were introduced by Shen, Xi, Xu and Zhao to answer the problem whether every core-compact well-filtered space is sober. In the current paper we explore further properties of open well-filtered spaces. One of the main results is that if a space is open well-filtered, then so is its upper space (the set of all nonempty saturated compact subsets equipped with the upper V…
▽ More
The open well-filtered spaces were introduced by Shen, Xi, Xu and Zhao to answer the problem whether every core-compact well-filtered space is sober. In the current paper we explore further properties of open well-filtered spaces. One of the main results is that if a space is open well-filtered, then so is its upper space (the set of all nonempty saturated compact subsets equipped with the upper Vietoris topology). Some other properties on open well-filtered spaces are also studied.
△ Less
Submitted 17 March, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
The sheaf representation of residuated lattices
Authors:
Huarong Zhang,
Dongsheng Zhao
Abstract:
The residuated lattices form one of the most important algebras of fuzzy logics and have been heavily studied by people from various different points of view. Sheaf presentations provide a topological approach to many algebraic structures. In this paper, we study the topological properties of prime spectrum of residuated lattices, and then construct a sheaf space to obtain a sheaf representation f…
▽ More
The residuated lattices form one of the most important algebras of fuzzy logics and have been heavily studied by people from various different points of view. Sheaf presentations provide a topological approach to many algebraic structures. In this paper, we study the topological properties of prime spectrum of residuated lattices, and then construct a sheaf space to obtain a sheaf representation for each residuated lattice.
△ Less
Submitted 18 March, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Quasiexact posets and the moderate meet-continuity
Authors:
Zhaorong He,
Zhongqiang Yang,
Dongsheng Zhao
Abstract:
The study of weak domains and quasicontinuous domains leads to the consideration of two types generalizations of domains. In the current paper, we define the weak way-below relation between two nonempty subsets of a poset and quasiexact posets. We prove some connections among quasiexact posets, quasicontinuous domains and weak domains. Furthermore, we introduce the weak way-below finitely determin…
▽ More
The study of weak domains and quasicontinuous domains leads to the consideration of two types generalizations of domains. In the current paper, we define the weak way-below relation between two nonempty subsets of a poset and quasiexact posets. We prove some connections among quasiexact posets, quasicontinuous domains and weak domains. Furthermore, we introduce the weak way-below finitely determined topology and study its links to Scott topology and the weak way-below topology first considered by Mushburn. It is also proved that a dcpo is a domain if it is quasiexact and moderately meet continuous with the weak way-below relation weakly increasing.
△ Less
Submitted 17 March, 2023; v1 submitted 26 November, 2022;
originally announced November 2022.
-
A Scalable Bilevel Framework for Renewable Energy Scheduling
Authors:
Dongwei Zhao,
Vladimir Dvorkin,
Stefanos Delikaraoglou,
Alberto J. Lamadrid L.,
Audun Botterud
Abstract:
Accommodating the uncertain and variable renewable energy sources (VRES) in electricity markets requires sophisticated and scalable tools to achieve market efficiency. To account for the uncertain imbalance costs in the real-time market while remaining compatible with the existing sequential market-clearing structure, our work adopts an uncertainty-informed adjustment toward the VRES contract quan…
▽ More
Accommodating the uncertain and variable renewable energy sources (VRES) in electricity markets requires sophisticated and scalable tools to achieve market efficiency. To account for the uncertain imbalance costs in the real-time market while remaining compatible with the existing sequential market-clearing structure, our work adopts an uncertainty-informed adjustment toward the VRES contract quantity scheduled in the day-ahead market. This mechanism requires solving a bilevel problem, which is computationally challenging for practical large-scale systems. To improve the scalability, we propose a technique based on strong duality and McCormick envelopes, which relaxes the original problem to linear programming. We conduct numerical studies on both IEEE 118-bus and 1814-bus NYISO systems. Results show that the proposed relaxation can achieve good performance in accuracy (0.7%-gap in the system cost wrt. the least-cost stochastic clearing benchmark) and scalability (solving the NYISO system in minutes). Furthermore, the benefit of this bilevel VRES-quantity adjustment is more significant under higher penetration levels of VRES (e.g., 70%), under which the system cost can be reduced substantially compared to a myopic day-ahead offer strategy of VRES.
△ Less
Submitted 16 May, 2023; v1 submitted 25 November, 2022;
originally announced November 2022.
-
One-step closure, weak one-step closure and meet continuity
Authors:
Hualin Miao,
Qingguo Li,
Dongsheng Zhao
Abstract:
This paper studies the weak one-step closure and one-step closure properties concerning the structure of Scott closures. We deduce that every quasicontinuous domain has weak one-step closure and show that a quasicontinuous poset need not have weak one-step closure. We also constructed a non-continuous poset with one-step closure, which gives a negative answer to an open problem posed by Zou et al.…
▽ More
This paper studies the weak one-step closure and one-step closure properties concerning the structure of Scott closures. We deduce that every quasicontinuous domain has weak one-step closure and show that a quasicontinuous poset need not have weak one-step closure. We also constructed a non-continuous poset with one-step closure, which gives a negative answer to an open problem posed by Zou et al.. Finally, we investigate the relationship between weak one-step closure property and one-step closure property and prove that a poset has one-step closure if and only if it is meet continuous and has weak one-step closure.
△ Less
Submitted 17 March, 2023; v1 submitted 18 November, 2022;
originally announced November 2022.
-
Quantum walks on simplexes and multiple perfect state transfer
Authors:
Hiroshi Miki,
Satoshi Tsujimoto,
Da Zhao
Abstract:
In this paper, we study quantum walks on the extension of association schemes. Various state transfers can be achieved on these graphs, such as multiple state transfer among extreme points of a simplex, fractional revival on subsimplexes. Since only few examples of multiple (perfect) state transfer are known, we aim to make some additions in this collection.
In this paper, we study quantum walks on the extension of association schemes. Various state transfers can be achieved on these graphs, such as multiple state transfer among extreme points of a simplex, fractional revival on subsimplexes. Since only few examples of multiple (perfect) state transfer are known, we aim to make some additions in this collection.
△ Less
Submitted 26 July, 2023; v1 submitted 24 October, 2022;
originally announced October 2022.
-
SurCo: Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems
Authors:
Aaron Ferber,
Taoan Huang,
Daochen Zha,
Martin Schubert,
Benoit Steiner,
Bistra Dilkina,
Yuandong Tian
Abstract:
Optimization problems with nonlinear cost functions and combinatorial constraints appear in many real-world applications but remain challenging to solve efficiently compared to their linear counterparts. To bridge this gap, we propose $\textbf{SurCo}$ that learns linear $\underline{\text{Sur}}$rogate costs which can be used in existing $\underline{\text{Co}}$mbinatorial solvers to output good solu…
▽ More
Optimization problems with nonlinear cost functions and combinatorial constraints appear in many real-world applications but remain challenging to solve efficiently compared to their linear counterparts. To bridge this gap, we propose $\textbf{SurCo}$ that learns linear $\underline{\text{Sur}}$rogate costs which can be used in existing $\underline{\text{Co}}$mbinatorial solvers to output good solutions to the original nonlinear combinatorial optimization problem. The surrogate costs are learned end-to-end with nonlinear loss by differentiating through the linear surrogate solver, combining the flexibility of gradient-based methods with the structure of linear combinatorial optimization. We propose three $\texttt{SurCo}$ variants: $\texttt{SurCo}-\texttt{zero}$ for individual nonlinear problems, $\texttt{SurCo}-\texttt{prior}$ for problem distributions, and $\texttt{SurCo}-\texttt{hybrid}$ to combine both distribution and problem-specific information. We give theoretical intuition motivating $\texttt{SurCo}$, and evaluate it empirically. Experiments show that $\texttt{SurCo}$ finds better solutions faster than state-of-the-art and domain expert approaches in real-world optimization problems such as embedding table sharding, inverse photonic design, and nonlinear route planning.
△ Less
Submitted 19 July, 2023; v1 submitted 22 October, 2022;
originally announced October 2022.
-
On the exponential convergence of input-output signals of nonlinear feedback systems
Authors:
Lanlan Su,
Di Zhao,
Sei Zhen Khong
Abstract:
This note studies the exponential convergence of input-output signals of discrete-time nonlinear systems composed of a feedback interconnection of a linear time-invariant system and a nonlinear uncertainty. Both the open-loop subsystems are allowed to be unbounded. Integral-quadratic-constraint-based conditions are proposed for these uncertain feedback systems, including the Lurye type, to exhibit…
▽ More
This note studies the exponential convergence of input-output signals of discrete-time nonlinear systems composed of a feedback interconnection of a linear time-invariant system and a nonlinear uncertainty. Both the open-loop subsystems are allowed to be unbounded. Integral-quadratic-constraint-based conditions are proposed for these uncertain feedback systems, including the Lurye type, to exhibit the property that the endogenous input-output signals enjoy an exponential convergence rate for all initial conditions of the linear time-invariant subsystem. The conditions are established via a combination of tools, including integral quadratic constraints, directed gap, and exponential weightings.
△ Less
Submitted 12 June, 2024; v1 submitted 4 June, 2022;
originally announced June 2022.
-
A nonparametric regression alternative to empirical Bayes approaches to simultaneous estimation
Authors:
Alton Barbehenn,
Sihai Dave Zhao
Abstract:
The simultaneous estimation of multiple unknown parameters lies at heart of a broad class of important problems across science and technology. Currently, the state-of-the-art performance in the such problems is achieved by nonparametric empirical Bayes methods. However, these approaches still suffer from two major issues. First, they solve a frequentist problem but do so by following Bayesian reas…
▽ More
The simultaneous estimation of multiple unknown parameters lies at heart of a broad class of important problems across science and technology. Currently, the state-of-the-art performance in the such problems is achieved by nonparametric empirical Bayes methods. However, these approaches still suffer from two major issues. First, they solve a frequentist problem but do so by following Bayesian reasoning, posing a philosophical dilemma that has contributed to somewhat uneasy attitudes toward empirical Bayes methodology. Second, their computation relies on certain density estimates that become extremely unreliable in some complex simultaneous estimation problems. In this paper, we study these issues in the context of the canonical Gaussian sequence problem. We propose an entirely frequentist alternative to nonparametric empirical Bayes methods by establishing a connection between simultaneous estimation and penalized nonparametric regression. We use flexible regularization strategies, such as shape constraints, to derive accurate estimators without appealing to Bayesian arguments. We prove that our estimators achieve asymptotically optimal regret and show that they are competitive with or can outperform nonparametric empirical Bayes methods in simulations and an analysis of spatially resolved gene expression data.
△ Less
Submitted 29 May, 2023; v1 submitted 30 April, 2022;
originally announced May 2022.
-
Not every countable complete lattice is sober
Authors:
Hualin Miao,
Xiaoyong Xi,
Qingguo Li,
Dongsheng Zhao
Abstract:
The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober. Johnstone constructed the first directed complete poset whose Scott space is non-sober. Not long after, Isbell gave a complete lattice with non-sober Scott space. Base…
▽ More
The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober. Johnstone constructed the first directed complete poset whose Scott space is non-sober. Not long after, Isbell gave a complete lattice with non-sober Scott space. Based on Isbell's example, Xu, Xi and Zhao showed that there is even a complete Heyting algebra whose Scott space is non-sober. Achim Jung then asked whether every countable complete lattice has a sober Scott space.
Let $ΣP$ be the Scott space of poset $P$. In this paper, we first prove that the topology of the product space $ΣP\times ΣQ$ coincides with the Scott topology on the product poset $P\times Q$ if the set $Id(P)$ and $Id(Q)$ of all non-trivial ideals of posets $P$ and $Q$ are both countable. Based on this result, we deduce that a directed complete poset $P$ has a sober Scott space, if $Id(P)$ is countable and the space $ΣP$ is coherent and well-filtered. Thus a complete lattice $L$ with $Id(L)$ countable has a sober Scott space. Making use the obtained results, we then construct a countable complete lattice whose Scott space is non-sober and thus give a negative answer to Jung's problem.
△ Less
Submitted 30 April, 2022;
originally announced May 2022.
-
Some statistics on generalized Motzkin paths with vertical steps
Authors:
Yidong Sun,
Di Zhao,
Wenle Shi,
Weichen Wang
Abstract:
Recently, several authors have considered lattice paths with various steps, including vertical steps permitted. In this paper, we consider a kind of generalized Motzkin paths, called {\it G-Motzkin paths} for short, that is lattice paths from $(0, 0)$ to $(n, 0)$ in the first quadrant of the $XOY$-plane that consist of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps…
▽ More
Recently, several authors have considered lattice paths with various steps, including vertical steps permitted. In this paper, we consider a kind of generalized Motzkin paths, called {\it G-Motzkin paths} for short, that is lattice paths from $(0, 0)$ to $(n, 0)$ in the first quadrant of the $XOY$-plane that consist of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. We mainly count the number of G-Motzkin paths of length $n$ with given number of $\mathbf{z}$-steps for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, and enumerate the statistics "number of $\mathbf{z}$-steps" at given level in G-Motzkin paths for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, some explicit formulas and combinatorial identities are given by bijective and algebraic methods, some enumerative results are linked with Riordan arrays according to the structure decompositions of G-Motzkin paths. We also discuss the statistics "number of $\mathbf{z}_1\mathbf{z}_2$-steps" in G-Motzkin paths for $\mathbf{z}_1, \mathbf{z}_2\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, the exact counting formulas except for $\mathbf{z}_1\mathbf{z}_2=\mathbf{dd}$ are obtained by the Lagrange inversion formula and their generating functions.
△ Less
Submitted 23 January, 2022;
originally announced January 2022.
-
Symmetric and asymmetric peaks or valleys in (partial) Dyck paths
Authors:
Yidong Sun,
Wenle Shi,
Di Zhao
Abstract:
The concepts of symmetric and asymmetric peaks in Dyck paths were introduced by Flórez and Ramírez, who counted the total number of such peaks over all Dyck paths of a given length. Elizalde generalized their results by giving multivariate generating functions that keep track of the number of symmetric peaks and the number of asymmetric peaks. Elizalde also considered the analogous notion of symme…
▽ More
The concepts of symmetric and asymmetric peaks in Dyck paths were introduced by Flórez and Ramírez, who counted the total number of such peaks over all Dyck paths of a given length. Elizalde generalized their results by giving multivariate generating functions that keep track of the number of symmetric peaks and the number of asymmetric peaks. Elizalde also considered the analogous notion of symmetric valleys by a continued fraction method. In this paper, mainly by bijective methods, we devote to enumerating the statistics "symmetric peaks", "asymmetric peaks", "symmetric valleys" and "asymmetric valleys" of weight $k+1$ over all (partial) Dyck paths of a given length. Our results refine some consequences of Flórez and Ramírez, and Elizalde.
△ Less
Submitted 27 December, 2021;
originally announced December 2021.
-
Time-of-use Pricing for Energy Storage Investment
Authors:
Dongwei Zhao,
Hao Wang,
Jianwei Huang,
Xiaojun Lin
Abstract:
Time-of-use (ToU) pricing is widely used by the electricity utility to shave peak load. Such a pricing scheme provides users with incentives to invest in behind-the-meter energy storage and to shift peak load towards low-price intervals. However, without considering the implication on energy storage investment, an improperly designed ToU pricing scheme may lead to significant welfare loss, especia…
▽ More
Time-of-use (ToU) pricing is widely used by the electricity utility to shave peak load. Such a pricing scheme provides users with incentives to invest in behind-the-meter energy storage and to shift peak load towards low-price intervals. However, without considering the implication on energy storage investment, an improperly designed ToU pricing scheme may lead to significant welfare loss, especially when users over-invest the storage, which leads to new energy consumption peaks. In this paper, we will study how to design a social-optimum ToU pricing scheme by explicitly considering its impact on storage investment. We model the interactions between the utility and users as a two-stage optimization problem. To resolve the challenge of asymmetric information due to users' private storage cost, we propose a ToU pricing scheme based on different storage types and the aggregate demand per type. Each user does not need to reveal his private cost information. We can further compute the optimal ToU pricing with only a linear complexity. Simulations based on real-world data show that the suboptimality gap of our proposed ToU pricing, compared with the social optimum achieved under complete information, is less than 5%.
△ Less
Submitted 18 December, 2021; v1 submitted 12 December, 2021;
originally announced December 2021.
-
Over-Conservativeness of Variance-Based Efficiency Criteria and Probabilistic Efficiency in Rare-Event Simulation
Authors:
Yuanlu Bai,
Zhiyuan Huang,
Henry Lam,
Ding Zhao
Abstract:
In rare-event simulation, an importance sampling (IS) estimator is regarded as efficient if its relative error, namely the ratio between its standard deviation and mean, is sufficiently controlled. It is widely known that when a rare-event set contains multiple "important regions" encoded by the so-called dominating points, IS needs to account for all of them via mixing to achieve efficiency. We a…
▽ More
In rare-event simulation, an importance sampling (IS) estimator is regarded as efficient if its relative error, namely the ratio between its standard deviation and mean, is sufficiently controlled. It is widely known that when a rare-event set contains multiple "important regions" encoded by the so-called dominating points, IS needs to account for all of them via mixing to achieve efficiency. We argue that in typical experiments, missing less significant dominating points may not necessarily cause inefficiency, and the traditional analysis recipe could suffer from intrinsic looseness by using relative error, or in turn estimation variance, as an efficiency criterion. We propose a new efficiency notion, which we call probabilistic efficiency, to tighten this gap. In particular, we show that under the standard Gartner-Ellis large deviations regime, an IS that uses only the most significant dominating points is sufficient to attain this efficiency notion. Our finding is especially relevant in high-dimensional settings where the computational effort to locate all dominating points is enormous.
△ Less
Submitted 28 October, 2022; v1 submitted 24 October, 2021;
originally announced October 2021.
-
The reflectivity of some categories of T0 spaces in domain theory
Authors:
Chong Shen,
Xiaoyong Xi,
Dongsheng Zhao
Abstract:
Keimel and Lawson proposed a set of conditions for proving a category of topological spaces to be reflective in the category of all T0 spaces. These conditions were recently used to prove the reflectivity of the category of all well-filtered spaces. In this paper, we prove that, in certain sense, these conditions are not just sufficient but also necessary for a category of T0 spaces to be reflecti…
▽ More
Keimel and Lawson proposed a set of conditions for proving a category of topological spaces to be reflective in the category of all T0 spaces. These conditions were recently used to prove the reflectivity of the category of all well-filtered spaces. In this paper, we prove that, in certain sense, these conditions are not just sufficient but also necessary for a category of T0 spaces to be reflective. Using this general result, we easily deduce that several categories proposed in domain theory are not reflective, thus answered a few open problems.
△ Less
Submitted 3 October, 2021;
originally announced October 2021.
-
The Singular Angle of Nonlinear Systems
Authors:
Chao Chen,
Wei Chen,
Di Zhao,
Sei Zhen Khong,
Li Qiu
Abstract:
In this paper, we introduce an angle notion, called the singular angle, for stable nonlinear systems from an input-output perspective. The proposed system singular angle, based on the angle between $\mathcal{L}_2$-signals, describes an upper bound for the "rotating effect" from the system input to output signals. It is, thus, different from the recently appeared nonlinear system phase which adopts…
▽ More
In this paper, we introduce an angle notion, called the singular angle, for stable nonlinear systems from an input-output perspective. The proposed system singular angle, based on the angle between $\mathcal{L}_2$-signals, describes an upper bound for the "rotating effect" from the system input to output signals. It is, thus, different from the recently appeared nonlinear system phase which adopts the complexification of real-valued signals using the Hilbert transform. It can quantify the passivity and serve as an angular counterpart to the system $\mathcal{L}_2$-gain. It also provides an alternative to the nonlinear system phase. A nonlinear small angle theorem, which involves a comparison of the loop system angle with $π$, is established for feedback stability analysis. When dealing with multi-input multi-output linear time-invariant (LTI) systems, we further come up with the frequency-wise and $\mathcal{H}_\infty$ singular angle notions based on the matrix singular angle, and develop corresponding LTI small angle theorems.
△ Less
Submitted 3 September, 2021;
originally announced September 2021.
-
Global wellposedness for 2D quasilinear wave without Lorentz
Authors:
Xinyu Cheng,
Dong Li,
Jiao Xu,
Dongbing Zha
Abstract:
We consider the two-dimensional quasilinear wave equations with standard null-form type quadratic nonlinearities. We prove global wellposedness without using the Lorentz boost vector fields.
We consider the two-dimensional quasilinear wave equations with standard null-form type quadratic nonlinearities. We prove global wellposedness without using the Lorentz boost vector fields.
△ Less
Submitted 23 May, 2021;
originally announced May 2021.
-
Phase of Nonlinear Systems
Authors:
Chao Chen,
Di Zhao,
Wei Chen,
Sei Zhen Khong,
Li Qiu
Abstract:
In this paper, we propose a definition of phase for a class of stable nonlinear systems called semi-sectorial systems, from an input-output perspective. The definition involves the Hilbert transform as a critical instrument to complexify real-valued signals since the notion of phase arises most naturally in the complex domain. The proposed nonlinear system phase, serving as a counterpart of…
▽ More
In this paper, we propose a definition of phase for a class of stable nonlinear systems called semi-sectorial systems, from an input-output perspective. The definition involves the Hilbert transform as a critical instrument to complexify real-valued signals since the notion of phase arises most naturally in the complex domain. The proposed nonlinear system phase, serving as a counterpart of $\mathcal{L}_2$-gain, quantifies the passivity and is highly related to the dissipativity. It also possesses a nice physical interpretation which quantifies the tradeoff between the real energy and reactive energy. A nonlinear small phase theorem is then established for feedback stability analysis of semi-sectorial systems. Additionally, its generalized version is proposed via the use of multipliers. These nonlinear small phase theorems generalize a version of the classical passivity theorem and a recently appeared linear time-invariant small phase theorem.
△ Less
Submitted 2 May, 2021; v1 submitted 30 November, 2020;
originally announced December 2020.
-
Low Phase-Rank Approximation
Authors:
Di Zhao,
Axel Ringh,
Li Qiu,
Sei Zhen Khong
Abstract:
In this paper, we propose and solve a low phase-rank approximation problem, which serves as a counterpart to the well-known low-rank approximation problem and the Schmidt-Mirsky theorem. More specifically, a nonzero complex number can be specified by its gain and phase, and while it is generally accepted that the gains of a matrix may be defined by its singular values, there is no widely accepted…
▽ More
In this paper, we propose and solve a low phase-rank approximation problem, which serves as a counterpart to the well-known low-rank approximation problem and the Schmidt-Mirsky theorem. More specifically, a nonzero complex number can be specified by its gain and phase, and while it is generally accepted that the gains of a matrix may be defined by its singular values, there is no widely accepted definition for its phases. In this work, we consider sectorial matrices, whose numerical ranges do not contain the origin, and adopt the canonical angles of such matrices as their phases. Similarly to the rank of a matrix defined to be the number of its nonzero singular values, we define the phase-rank of a sectorial matrix as the number of its nonzero phases. While a low-rank approximation problem is associated with matrix arithmetic means, as a natural parallel we formulate a low phase-rank approximation problem using matrix geometric means to measure the approximation error. A characterization of the solutions to the proposed problem is then obtained, when both the objective matrix and the approximant are restricted to be positive-imaginary. Moreover, the obtained solution has the same flavor as the Schmidt-Mirsky theorem on low-rank approximation problems. In addition, we provide an alternative formulation of the low phase-rank approximation problem using geodesic distances between sectorial matrices. The two formulations give rise to the exact same set of solutions when the involved matrices are additionally assumed to be unitary.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
-
Rare-Event Simulation for Neural Network and Random Forest Predictors
Authors:
Yuanlu Bai,
Zhiyuan Huang,
Henry Lam,
Ding Zhao
Abstract:
We study rare-event simulation for a class of problems where the target hitting sets of interest are defined via modern machine learning tools such as neural networks and random forests. This problem is motivated from fast emerging studies on the safety evaluation of intelligent systems, robustness quantification of learning models, and other potential applications to large-scale simulation in whi…
▽ More
We study rare-event simulation for a class of problems where the target hitting sets of interest are defined via modern machine learning tools such as neural networks and random forests. This problem is motivated from fast emerging studies on the safety evaluation of intelligent systems, robustness quantification of learning models, and other potential applications to large-scale simulation in which machine learning tools can be used to approximate complex rare-event set boundaries. We investigate an importance sampling scheme that integrates the dominating point machinery in large deviations and sequential mixed integer programming to locate the underlying dominating points. Our approach works for a range of neural network architectures including fully connected layers, rectified linear units, normalization, pooling and convolutional layers, and random forests built from standard decision trees. We provide efficiency guarantees and numerical demonstration of our approach using a classification model in the UCI Machine Learning Repository.
△ Less
Submitted 9 October, 2020;
originally announced October 2020.
-
Classification of partially metric Q-polynomial association schemes with $m_1 = 4$
Authors:
Da Zhao
Abstract:
We classify the Q-polynomial association schemes with $m_{1} = 4$ which are partially metric with respect to the nearest neighbourhood relation. An association scheme is partially metric with respect to a relation $R_1$ if the scheme graph of $R_2$ is exactly the distance-2 graph of the scheme graph of $R_1$ under a certain ordering of the relations.
We classify the Q-polynomial association schemes with $m_{1} = 4$ which are partially metric with respect to the nearest neighbourhood relation. An association scheme is partially metric with respect to a relation $R_1$ if the scheme graph of $R_2$ is exactly the distance-2 graph of the scheme graph of $R_1$ under a certain ordering of the relations.
△ Less
Submitted 25 September, 2020;
originally announced September 2020.
-
Explicit construction of exact unitary designs
Authors:
Eiichi Bannai,
Yoshifumi Nakata,
Takayuki Okuda,
Da Zhao
Abstract:
The purpose of this paper is to give explicit constructions of unitary $t$-designs in the unitary group $U(d)$ for all $t$ and $d$. It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss wha…
▽ More
The purpose of this paper is to give explicit constructions of unitary $t$-designs in the unitary group $U(d)$ for all $t$ and $d$. It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss what are the best such unitary $4$-designs in $U(4)$ obtained by these methods.
Indeed we give an inductive construction of designs on compact groups by using Gelfand pairs $(G,K)$. Note that $(U(n),U(m) \times U(n-m))$ is a Gelfand pair. By using the zonal spherical functions for $(G,K)$, we can construct designs on $G$ from designs on $K$.
We remark that our proofs use the representation theory of compact groups crucially. We also remark that this method can be applied to the orthogonal groups $O(d)$, and thus provides another explicit construction of spherical $t$-designs on the $d$ dimensional sphere $S^{d-1}$ by the induction on $d$.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
$ω$-Rudin spaces, well-filtered determined spaces and first-countable spaces
Authors:
Xiaoquan Xu,
Chong Shen,
Xiaoyong Xi,
Dongsheng Zhao
Abstract:
We investigate some versions of $d$-space, well-filtered space and Rudin space concerning various countability properties. The main results include: (i) if the sobrification of a $T_0$ space $X$ is first-countable, then $X$ is an $ω$-Rudin space; (ii) every $ω$-well-filtered space is sober if its sobrification is first-countable; (iii) if a $T_0$ space is second-countable or first-countable and wi…
▽ More
We investigate some versions of $d$-space, well-filtered space and Rudin space concerning various countability properties. The main results include: (i) if the sobrification of a $T_0$ space $X$ is first-countable, then $X$ is an $ω$-Rudin space; (ii) every $ω$-well-filtered space is sober if its sobrification is first-countable; (iii) if a $T_0$ space is second-countable or first-countable and with a countable underlying set, then it is a $ω$-Rudin space; (iv) every first-countable $T_0$ space is well-filtered determined; (v) every irreducible closed subset in a first-countable $ω$-well-filtered space is countably-directed; (vi) every first-countable $ω$-well-filtered $ω^\ast$-$d$-space is sober.
△ Less
Submitted 23 August, 2020;
originally announced August 2020.
-
The complex conjugate invariants of Clifford groups
Authors:
Eiichi Bannai,
Manabu Oura,
Da Zhao
Abstract:
Nebe, Rains and Sloane studied the polynomial invariants for real and complex Clifford groups and they relate the invariants to the space of complete weight enumerators of certain self-dual codes. The purpose of this paper is to show that very similar results can be obtained for the invariants of the complex Clifford group $\mathcal{X}_m$ acting on the space of conjugate polynomials in $2^m$ varia…
▽ More
Nebe, Rains and Sloane studied the polynomial invariants for real and complex Clifford groups and they relate the invariants to the space of complete weight enumerators of certain self-dual codes. The purpose of this paper is to show that very similar results can be obtained for the invariants of the complex Clifford group $\mathcal{X}_m$ acting on the space of conjugate polynomials in $2^m$ variables of degree $N_1$ in $x_f$ and of degree $N_2$ in their complex conjugates $\overline{x_f}$. In particular, we show that the dimension of this space is $2$, for $(N_1,N_2)=(5,5)$. This solves the Conjecture 2 given in Zhu, Kueng, Grassl and Gross affirmatively. In other words if an orbit of the complex Clifford group is a projective $4$-design, then it is automatically a projective $5$-design.
△ Less
Submitted 31 May, 2020;
originally announced June 2020.
-
A Compound Decision Approach to Covariance Matrix Estimation
Authors:
Huiqin Xin,
Sihai Dave Zhao
Abstract:
Covariance matrix estimation is a fundamental statistical task in many applications, but the sample covariance matrix is sub-optimal when the sample size is comparable to or less than the number of features. Such high-dimensional settings are common in modern genomics, where covariance matrix estimation is frequently employed as a method for inferring gene networks. To achieve estimation accuracy…
▽ More
Covariance matrix estimation is a fundamental statistical task in many applications, but the sample covariance matrix is sub-optimal when the sample size is comparable to or less than the number of features. Such high-dimensional settings are common in modern genomics, where covariance matrix estimation is frequently employed as a method for inferring gene networks. To achieve estimation accuracy in these settings, existing methods typically either assume that the population covariance matrix has some particular structure, for example sparsity, or apply shrinkage to better estimate the population eigenvalues. In this paper, we study a new approach to estimating high-dimensional covariance matrices. We first frame covariance matrix estimation as a compound decision problem. This motivates defining a class of decision rules and using a nonparametric empirical Bayes g-modeling approach to estimate the optimal rule in the class. Simulation results and gene network inference in an RNA-seq experiment in mouse show that our approach is comparable to or can outperform a number of state-of-the-art proposals.
△ Less
Submitted 2 June, 2022; v1 submitted 9 May, 2020;
originally announced May 2020.
-
Some open problems on well-filtered spaces and sober spaces
Authors:
Xiaoquan Xu,
Dongsheng Zhao
Abstract:
In the past few years, the research on sober spaces and well-filtered spaces has got some breakthrough progress. In this paper, we shall present a brief summarising survey on some of such development. Furthermore, we shall pose and illustrate some open problems on well-filtered spaces and sober spaces.
In the past few years, the research on sober spaces and well-filtered spaces has got some breakthrough progress. In this paper, we shall present a brief summarising survey on some of such development. Furthermore, we shall pose and illustrate some open problems on well-filtered spaces and sober spaces.
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
Boundedness to a logistic chemotaxis system with singular sensitivity
Authors:
X. D. Zhao
Abstract:
In this paper, we study the parabolic-elliptic Keller-Segel system with singular sensitivity and logistic-type source: $ u_t=Δu-χ\nabla\cdot(\frac{u}{v}\nabla v)+ru-μu^k$, $0=Δv-v+u$ under the non-flux boundary conditions in a smooth bounded convex domain $Ω\subset\mathbb{R}^n$, $χ,r,μ>0$, $k>1$ and $n\ge 2$. It is shown that the system possesses a globally bounded classical solution if…
▽ More
In this paper, we study the parabolic-elliptic Keller-Segel system with singular sensitivity and logistic-type source: $ u_t=Δu-χ\nabla\cdot(\frac{u}{v}\nabla v)+ru-μu^k$, $0=Δv-v+u$ under the non-flux boundary conditions in a smooth bounded convex domain $Ω\subset\mathbb{R}^n$, $χ,r,μ>0$, $k>1$ and $n\ge 2$. It is shown that the system possesses a globally bounded classical solution if $k>\frac{3n-2}{n}$, and $r>\frac{χ^2}{4}$ for $0<χ\le 2$, or $r> χ-1$ for $χ>2$. In addition, under the same condition for $r,χ$, the system admits a global generalized solution when $k\in(2-\frac{1}{n},\frac{3n-2}{n}]$, moreover this global generalized solution should be globally bounded provided $\frac{r}μ$ and the initial data $u_0$ suitably small.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Improving operational flexibility of integrated energy system with uncertain renewable generations considering thermal inertia of buildings
Authors:
Yang Li,
Chunling Wang,
Guoqing Li,
**long Wang,
Dongbo Zhao,
Chen Chen
Abstract:
Insufficient flexibility in system operation caused by traditional "heat-set" operating modes of combined heat and power (CHP) units in winter heating periods is a key issue that limits renewable energy consumption. In order to reduce the curtailment of renewable energy resources through improving the operational flexibility, a novel optimal scheduling model based on chance-constrained programming…
▽ More
Insufficient flexibility in system operation caused by traditional "heat-set" operating modes of combined heat and power (CHP) units in winter heating periods is a key issue that limits renewable energy consumption. In order to reduce the curtailment of renewable energy resources through improving the operational flexibility, a novel optimal scheduling model based on chance-constrained programming (CCP), aiming at minimizing the lowest generation cost, is proposed for a small-scale integrated energy system (IES) with CHP units, thermal power units, renewable generations and representative auxiliary equipments. In this model, due to the uncertainties of renewable generations including wind turbines and photovoltaic units, the probabilistic spinning reserves are supplied in the form of chance-constrained; from the perspective of user experience, a heating load model is built with consideration of heat comfort and inertia in buildings. To solve the model, a solution approach based on sequence operation theory (SOT) is developed, where the original CCP-based scheduling model is tackled into a solvable mixed-integer linear programming (MILP) formulation by converting a chance constraint into its deterministic equivalence class, and thereby is solved via the CPLEX solver. The simulation results on the modified IEEE 30-bus system demonstrate that the presented method manages to improve operational flexibility of the IES with uncertain renewable generations by comprehensively leveraging thermal inertia of buildings and different kinds of auxiliary equipments, which provides a fundamental way for promoting renewable energy consumption.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
On open well-filtered spaces
Authors:
Chong Shen,
Xiaoyong Xi,
Xiaoquan Xu,
Dongsheng Zhao
Abstract:
We introduce and study a new class of $T_0$ spaces, called open well-filtered spaces. The main results we proved include (1) every well-filtered space is an open well-filtered space; (2) every core-compact open well-filtered space is sober. As an immediate corollary, we deduce that every core-compact well-filtered space is sober. This provides another different and relatively more straight forward…
▽ More
We introduce and study a new class of $T_0$ spaces, called open well-filtered spaces. The main results we proved include (1) every well-filtered space is an open well-filtered space; (2) every core-compact open well-filtered space is sober. As an immediate corollary, we deduce that every core-compact well-filtered space is sober. This provides another different and relatively more straight forward method to answer the open problem posed by Jia and Jung: Is every core-compact well-filtered space sober?
△ Less
Submitted 17 December, 2020; v1 submitted 21 January, 2020;
originally announced January 2020.
-
On the Hermite-Hadmard inequalities for interval-valued coordinated convex functions
Authors:
Dafang Zhao,
Muhammad Aamir Ali,
Ghulam Murtaza
Abstract:
In this paper, we establish Hermite-Hadamard inequality for interval-valued convex function on the co-ordinates on the rectangle from the plane. We also present Hermite-Hadamard inequality for the product of interval-valued convex functions on co-ordinates. Some examples are also given to clarify our new results
In this paper, we establish Hermite-Hadamard inequality for interval-valued convex function on the co-ordinates on the rectangle from the plane. We also present Hermite-Hadamard inequality for the product of interval-valued convex functions on co-ordinates. Some examples are also given to clarify our new results
△ Less
Submitted 27 December, 2019;
originally announced December 2019.
-
On one-dimension quasilinear wave equations with null conditions
Authors:
Dongbing Zha
Abstract:
In this paper, we show that one-dimension systems of quasilinear wave equations with null conditions admit global classical solutions for small initial data. This result extends Luli, Yang and Yu's seminal work [G. Luli, S. Yang, P. Yu, On one-dimension semi-linear wave equations with null conditions, Adv. Math.329 (2018) 174-188] from the semilinear case to the quasilinear case. Furthermore, we a…
▽ More
In this paper, we show that one-dimension systems of quasilinear wave equations with null conditions admit global classical solutions for small initial data. This result extends Luli, Yang and Yu's seminal work [G. Luli, S. Yang, P. Yu, On one-dimension semi-linear wave equations with null conditions, Adv. Math.329 (2018) 174-188] from the semilinear case to the quasilinear case. Furthermore, we also prove that the global solution is asymptotically free in the energy sense. In order to achieve these goals, we will employ Luli, Yang and Yu's weighted energy estimates with positive weights, introduce some space-time weighted energy estimates and pay some special attentions to the highest order energies, then use some suitable bootstrap process to close the argument.
△ Less
Submitted 10 May, 2020; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Global existence for a system of multiple-speed wave equations violating the null condition
Authors:
Kunio Hidano,
Kazuyoshi Yokoyama,
Dongbing Zha
Abstract:
We discuss the Cauchy problem for a system of semilinear wave equations in three space dimensions with multiple wave speeds. Though our system does not satisfy the standard null condition, we show that it admits a unique global solution for any small and smooth data. This generalizes a preceding result due to Pusateri and Shatah.
The proof is carried out by the energy method involving a collecti…
▽ More
We discuss the Cauchy problem for a system of semilinear wave equations in three space dimensions with multiple wave speeds. Though our system does not satisfy the standard null condition, we show that it admits a unique global solution for any small and smooth data. This generalizes a preceding result due to Pusateri and Shatah.
The proof is carried out by the energy method involving a collection of generalized derivatives. The multiple wave speeds disable the use of the Lorentz boost operators, and our proof therefore relies upon the version of Klainerman and Sideris. Due to the presence of nonlinear terms violating the standard null condition, some of components of the solution may have a weaker decay as $t\to\infty$, which makes it difficult even to establish a mildly growing (in time) bound for the high energy estimate. We overcome this difficulty by relying upon the ghost weight energy estimate of Alinhac and the Keel-Smith-Sogge type $L^2$ weighted space-time estimate for derivatives.
△ Less
Submitted 27 March, 2022; v1 submitted 7 December, 2019;
originally announced December 2019.
-
Cyclotomic $q$-Schur superalgebras
Authors:
Deke Zhao
Abstract:
The paper aims to introduce the cyclotomic $q$-Schur superalgebra via the permutation supermodules of the cyclotomic Hekce algebra and investigate its structure. In particular, we show that the cyclotomic $q$-Schur superalgebra is a cellular superalgebra and establish the Schur-Weyl duality between the cyclotomic Hecke algebra and the cyclotomic $q$-Schur superalgebra.
The paper aims to introduce the cyclotomic $q$-Schur superalgebra via the permutation supermodules of the cyclotomic Hekce algebra and investigate its structure. In particular, we show that the cyclotomic $q$-Schur superalgebra is a cellular superalgebra and establish the Schur-Weyl duality between the cyclotomic Hecke algebra and the cyclotomic $q$-Schur superalgebra.
△ Less
Submitted 22 May, 2022; v1 submitted 2 December, 2019;
originally announced December 2019.
-
On topological Rudin's lemma, well-filtered spaces and sober spaces
Authors:
Xiaoquan Xu,
Dongsheng Zhao
Abstract:
Based on topological Rudin's Lemma, we investigate two new kinds of sets - Rudin sets and well-filtered determined sets in $T_0$ topological spaces. Using such sets, we formulate and prove some new characterizations for well-filtered spaces and sober spaces. Part of the work was inspired by Xi and Lawson's work on well-filtered spaces. Our study also lead to a new class of spaces - strong $d$-spac…
▽ More
Based on topological Rudin's Lemma, we investigate two new kinds of sets - Rudin sets and well-filtered determined sets in $T_0$ topological spaces. Using such sets, we formulate and prove some new characterizations for well-filtered spaces and sober spaces. Part of the work was inspired by Xi and Lawson's work on well-filtered spaces. Our study also lead to a new class of spaces - strong $d$-spaces and some problems whose solutions will strengthen our understanding of the related structures.
△ Less
Submitted 25 November, 2019;
originally announced November 2019.
-
Finding Modular Functions for Ramanujan-Type Identities
Authors:
William Y. C. Chen,
Julia Q. D. Du,
Jack C. D. Zhao
Abstract:
This paper is concerned with a class of partition functions $a(n)$ introduced by Radu and defined in terms of eta-quotients. By utilizing the transformation laws of Newman, Schoeneberg and Robins, and Radu's algorithms, we present an algorithm to find Ramanujan-type identities for $a(mn+t)$. While this algorithm is not guaranteed to succeed, it applies to many cases. For example, we deduce a witne…
▽ More
This paper is concerned with a class of partition functions $a(n)$ introduced by Radu and defined in terms of eta-quotients. By utilizing the transformation laws of Newman, Schoeneberg and Robins, and Radu's algorithms, we present an algorithm to find Ramanujan-type identities for $a(mn+t)$. While this algorithm is not guaranteed to succeed, it applies to many cases. For example, we deduce a witness identity for $p(11n+6)$ with integer coefficients. Our algorithm also leads to Ramanujan-type identities for the overpartition functions $\overline{p}(5n+2)$ and $\overline{p}(5n+3)$ and Andrews--Paule's broken $2$-diamond partition functions $\triangle_{2}(25n+14)$ and $\triangle_{2}(25n+24)$. It can also be extended to derive Ramanujan-type identities on a more general class of partition functions. For example, it yields the Ramanujan-type identities on Andrews' singular overpartition functions $\overline{Q}_{3,1}(9n+3)$ and $ \overline{Q}_{3,1}(9n+6)$ due to Shen, the $2$-dissection formulas of Ramanujan and the $8$-dissection formulas due to Hirschhorn.
△ Less
Submitted 16 November, 2019;
originally announced November 2019.
-
On Hermite-Hadamard type inequalities for harmonical $h$-convex interval-valued functions
Authors:
Dafang Zhao,
Tianqing An,
Guoju Ye,
Delfim F. M. Torres
Abstract:
We introduce and investigate the concept of harmonical $h$-convexity for interval-valued functions. Under this new concept, we prove some new Hermite-Hadamard type inequalities for the interval Riemann integral.
We introduce and investigate the concept of harmonical $h$-convexity for interval-valued functions. Under this new concept, we prove some new Hermite-Hadamard type inequalities for the interval Riemann integral.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
RSK superinsertion and super Frobenius formulae
Authors:
Deke Zhao
Abstract:
In this paper we extend the Robinson-Schensted-Knuth (RSK) superinsertion algorithm to hook-multipartitions and derive the super Frobenius formula for the characters of cyclotomic Hecke algebras (Linear and Multilinear Algebra, DOI: 10.1080/03081087.2019.1663140) via the RSK superinsertion algorithm. In particular, we obtain a new proof of Mitsuhashi's super Frobenius formula for the characters of…
▽ More
In this paper we extend the Robinson-Schensted-Knuth (RSK) superinsertion algorithm to hook-multipartitions and derive the super Frobenius formula for the characters of cyclotomic Hecke algebras (Linear and Multilinear Algebra, DOI: 10.1080/03081087.2019.1663140) via the RSK superinsertion algorithm. In particular, we obtain a new proof of Mitsuhashi's super Frobenius formula for the characters of Iwahori-Hecke algebras.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
On $T_0$ spaces determined by well-filtered spaces
Authors:
Xiaoquan Xu,
Chong Shen,
Xiaoyong Xi,
Dongsheng Zhao
Abstract:
We first introduce and study two new classes of subsets in $T_0$ spaces - Rudin sets and $\wdd$ sets lying between the class of all closures of directed subsets and that of irreducible closed subsets. Using such subsets, we define three new types of topological spaces - $\mathsf{DC}$ spaces, Rudin spaces and $\wdd$ spaces. The class of Rudin spaces lie between the class of $\wdd$ spaces and that o…
▽ More
We first introduce and study two new classes of subsets in $T_0$ spaces - Rudin sets and $\wdd$ sets lying between the class of all closures of directed subsets and that of irreducible closed subsets. Using such subsets, we define three new types of topological spaces - $\mathsf{DC}$ spaces, Rudin spaces and $\wdd$ spaces. The class of Rudin spaces lie between the class of $\wdd$ spaces and that of $\dc$ spaces, while the class of $\dc$ spaces lies between the class of Rudin spaces and that of sober spaces. Using Rudin sets and $\wdd$ sets, we formulate and prove a number of new characterizations of well-filtered spaces and sober spaces. For a $T_0$ space $X$, it is proved that $X$ is sober if{}f $X$ is a well-filtered Rudin space if{}f $X$ is a well-filtered $\mathsf{WD}$ space. We also prove that every locally compact $T_0$ space is a Rudin space, and every core compact $T_0$ space is a $\wdd$ space. One immediate corollary is that every core compact well-filtered space is sober, giving a positive answer to Jia-Jung problem. Using $\wdd$ sets, we present a more directed construction of the well-filtered reflections of $T_0$ spaces, and prove that the products of any collection of well-filtered spaces are well-filtered. Our study also leads to a number of problems, whose answering will deepen our understanding of the related spaces and structures.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.