Showing 1–50 of 66 results for author: Zhao, P

Gauss curvature flow to the $L_p$-Gaussian chord Minkowski problem

Authors: Xia Zhao, Peibiao Zhao

Abstract: Recently, Huang and Qin \cite{HY01} introduced the Gaussian chord measure and $L_p$-Gaussian chord measure by variational methods. Meanwhile, they posed Gaussian chord Minkowski problem for $p=1$ and used variational methods to obtain an origin-symmetric normalized measure solution for the Gaussian chord Minkowski problem. The smooth solution, up to now, to the $L_p$-Gaussian chord Minkowski probl… ▽ More Recently, Huang and Qin \cite{HY01} introduced the Gaussian chord measure and $L_p$-Gaussian chord measure by variational methods. Meanwhile, they posed Gaussian chord Minkowski problem for $p=1$ and used variational methods to obtain an origin-symmetric normalized measure solution for the Gaussian chord Minkowski problem. The smooth solution, up to now, to the $L_p$-Gaussian chord Minkowski problem is still open. Motivated by the forgoing works by Huang and Qin in \cite{HY01}, we propose in the present paper the $L_p(p>0)$-Gaussian chord Minkowski problem and log-Gaussian chord Minkowski problem, and obtain the smooth even solutions to these two types of problems by the method of a Gauss curvature flow. △ Less

Submitted 10 July, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2404.19266

MSC Class: 52A20 \ \ 35K96\ \ 58J35

Universal Online Convex Optimization with $1$ Projection per Round

Authors: Wenhao Yang, Yibo Wang, Peng Zhao, Lijun Zhang

Abstract: To address the uncertainty in function types, recent progress in online convex optimization (OCO) has spurred the development of universal algorithms that simultaneously attain minimax rates for multiple types of convex functions. However, for a $T$-round online problem, state-of-the-art methods typically conduct $O(\log T)$ projections onto the domain in each round, a process potentially time-con… ▽ More To address the uncertainty in function types, recent progress in online convex optimization (OCO) has spurred the development of universal algorithms that simultaneously attain minimax rates for multiple types of convex functions. However, for a $T$-round online problem, state-of-the-art methods typically conduct $O(\log T)$ projections onto the domain in each round, a process potentially time-consuming with complicated feasible sets. In this paper, inspired by the black-box reduction of Cutkosky and Orabona (2018), we employ a surrogate loss defined over simpler domains to develop universal OCO algorithms that only require $1$ projection. Embracing the framework of prediction with expert advice, we maintain a set of experts for each type of functions and aggregate their predictions via a meta-algorithm. The crux of our approach lies in a uniquely designed expert-loss for strongly convex functions, stemming from an innovative decomposition of the regret into the meta-regret and the expert-regret. Our analysis sheds new light on the surrogate loss, facilitating a rigorous examination of the discrepancy between the regret of the original loss and that of the surrogate loss, and carefully controlling meta-regret under the strong convexity condition. In this way, with only $1$ projection per round, we establish optimal regret bounds for general convex, exponentially concave, and strongly convex functions simultaneously. Furthermore, we enhance the expert-loss to exploit the smoothness property, and demonstrate that our algorithm can attain small-loss regret for multiple types of convex and smooth functions. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Flow by Gauss Curvature to the Orlicz Minkowski Problem for q-torsional rigidity

Authors: Xia Zhao, Peibiao Zhao

Abstract: The Minkowski problem for torsional rigidity ($2$-torsional rigidity) was firstly studied by Colesanti and Fimiani \cite{CA} using variational method. Moreover, Hu, Liu and Ma \cite{HJ00} also studied this problem by method of curvature flows and obtain the existence of smooth even solutions. In addition, the Minkowski problem for $2$-torsional rigidity was also extended to $L_p$ version and Orlic… ▽ More The Minkowski problem for torsional rigidity ($2$-torsional rigidity) was firstly studied by Colesanti and Fimiani \cite{CA} using variational method. Moreover, Hu, Liu and Ma \cite{HJ00} also studied this problem by method of curvature flows and obtain the existence of smooth even solutions. In addition, the Minkowski problem for $2$-torsional rigidity was also extended to $L_p$ version and Orlicz version. Recently, Hu and Zhang \cite{HJ2} introduced the concept of Orlicz mixed $q$-torsional rigidity and obtained Orlicz $q$-torsional measure through the variational method for $q>1$.Specially, they established the functional Orlicz Brunn-Minkowski inequality and the functional Orlicz Minkowski inequality. Motivated by the forgoing works, we can propose the Orlicz Minkowski problem for $q$-torsional rigidity, and then confirm the existence of smooth non-even solutions to the Orlicz Minkowski problem for $q$-torsional rigidity with $q>1$ by method of a Gauss curvature flow. △ Less

Submitted 25 May, 2024; v1 submitted 30 April, 2024; originally announced April 2024.

MSC Class: 52A20 35K96 58J35

Adapprox: Adaptive Approximation in Adam Optimization via Randomized Low-Rank Matrices

Authors: Pengxiang Zhao, ** Li, Yingjie Gu, Yi Zheng, Stephan Ludger Kölker, Zhefeng Wang, Xiaoming Yuan

Abstract: As deep learning models exponentially increase in size, optimizers such as Adam encounter significant memory consumption challenges due to the storage of first and second moment data. Current memory-efficient methods like Adafactor and CAME often compromise accuracy with their matrix factorization techniques. Addressing this, we introduce Adapprox, a novel approach that employs randomized low-rank… ▽ More As deep learning models exponentially increase in size, optimizers such as Adam encounter significant memory consumption challenges due to the storage of first and second moment data. Current memory-efficient methods like Adafactor and CAME often compromise accuracy with their matrix factorization techniques. Addressing this, we introduce Adapprox, a novel approach that employs randomized low-rank matrix approximation for a more effective and accurate approximation of Adam's second moment. Adapprox features an adaptive rank selection mechanism, finely balancing accuracy and memory efficiency, and includes an optional cosine similarity guidance strategy to enhance stability and expedite convergence. In GPT-2 training and downstream tasks, Adapprox surpasses AdamW by achieving 34.5% to 49.9% and 33.8% to 49.9% memory savings for the 117M and 345M models, respectively, with the first moment enabled, and further increases these savings without the first moment. Besides, it enhances convergence speed and improves downstream task performance relative to its counterparts. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Asymptotic distribution of spiked eigenvalues in the large signal-plus-noise models

Authors: Zeqin Lin, Guangming Pan, Peng Zhao, Jia Zhou

Abstract: Consider large signal-plus-noise data matrices of the form $S + Σ^{1/2} X$, where $S$ is a low-rank deterministic signal matrix and the noise covariance matrix $Σ$ can be anisotropic. We establish the asymptotic joint distribution of its spiked singular values when the dimensionality and sample size are comparably large and the signals are supercritical under general assumptions concerning the str… ▽ More Consider large signal-plus-noise data matrices of the form $S + Σ^{1/2} X$, where $S$ is a low-rank deterministic signal matrix and the noise covariance matrix $Σ$ can be anisotropic. We establish the asymptotic joint distribution of its spiked singular values when the dimensionality and sample size are comparably large and the signals are supercritical under general assumptions concerning the structure of $(S, Σ)$ and the distribution of the random noise $X$. It turns out that the asymptotic distributions exhibit nonuniversality in the sense of dependence on the distributions of the entries of $X$, which contrasts with what has previously been established for the spiked sample eigenvalues in the context of spiked population models. Such a result yields the asymptotic distribution of the sample spiked eigenvalues associated with mixture models. We also explore the application of these findings in detecting mean heterogeneity of data matrices. △ Less

Submitted 21 January, 2024; originally announced January 2024.

Comments: 59 pages

MSC Class: 60F05; 60E05

Interior Hulls of Clean Lattice Parallelograms and Continued Fractions

Authors: Gabriel Khan, Mizan R. Khan, Riaz R. Khan, Peng Zhao

Abstract: The interior hull of a lattice polygon is the convex closure of the lattice points in the interior of the polygon. In this paper we give a concrete description of the interior hull of a clean lattice parallelogram. A clean parallelogram in $\mathbb{R}^2$ is a lattice parallelogram whose boundary contains no lattice points other than its vertices. Using unimodular maps we can identify a clean paral… ▽ More The interior hull of a lattice polygon is the convex closure of the lattice points in the interior of the polygon. In this paper we give a concrete description of the interior hull of a clean lattice parallelogram. A clean parallelogram in $\mathbb{R}^2$ is a lattice parallelogram whose boundary contains no lattice points other than its vertices. Using unimodular maps we can identify a clean parallelogram with a parallelogram, $P_{a,n}$, whose vertices are $(0,0), (1,0), (a,n)$ and $(a+1,n)$, with $0<a <n$ and $\gcd(a,n)=1$. Following Stark's geometric approach to continued fractions we show that the convergents of the continued fraction of $n/a$ (viewed as lattice points) appear in a one-to-two correspondence with the vertices of the interior hull of this parallelogram. Consequently, if the continued fraction of $n/a$ has many partial quotients, then the interior hull of the corresponding parallelogram has many vertices. A pleasing consequence of our work is that we obtain an elementary geometric interpretation of the sum of the partial quotients of the continued fraction of $n/a$. Specifically, it is the difference between the area of the clean parallelogram $P_{a,n}$ and the area of its interior hull. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 29 pages, 4 figures, Python code in the appendix

MSC Class: 52C05; 11A55; 11A05

Machine Learning-Enhanced Aircraft Landing Scheduling under Uncertainties

Authors: Yutian Pang, Peng Zhao, Jueming Hu, Yongming Liu

Abstract: This paper addresses aircraft delays, emphasizing their impact on safety and financial losses. To mitigate these issues, an innovative machine learning (ML)-enhanced landing scheduling methodology is proposed, aiming to improve automation and safety. Analyzing flight arrival delay scenarios reveals strong multimodal distributions and clusters in arrival flight time durations. A multi-stage conditi… ▽ More This paper addresses aircraft delays, emphasizing their impact on safety and financial losses. To mitigate these issues, an innovative machine learning (ML)-enhanced landing scheduling methodology is proposed, aiming to improve automation and safety. Analyzing flight arrival delay scenarios reveals strong multimodal distributions and clusters in arrival flight time durations. A multi-stage conditional ML predictor enhances separation time prediction based on flight events. ML predictions are then integrated as safety constraints in a time-constrained traveling salesman problem formulation, solved using mixed-integer linear programming (MILP). Historical flight recordings and model predictions address uncertainties between successive flights, ensuring reliability. The proposed method is validated using real-world data from the Atlanta Air Route Traffic Control Center (ARTCC ZTL). Case studies demonstrate an average 17.2% reduction in total landing time compared to the First-Come-First-Served (FCFS) rule. Unlike FCFS, the proposed methodology considers uncertainties, instilling confidence in scheduling. The study concludes with remarks and outlines future research directions. △ Less

Submitted 27 November, 2023; originally announced November 2023.

A Semiparametric Instrumented Difference-in-Differences Approach to Policy Learning

Authors: Pan Zhao, Yifan Cui

Abstract: Recently, there has been a surge in methodological development for the difference-in-differences (DiD) approach to evaluate causal effects. Standard methods in the literature rely on the parallel trends assumption to identify the average treatment effect on the treated. However, the parallel trends assumption may be violated in the presence of unmeasured confounding, and the average treatment effe… ▽ More Recently, there has been a surge in methodological development for the difference-in-differences (DiD) approach to evaluate causal effects. Standard methods in the literature rely on the parallel trends assumption to identify the average treatment effect on the treated. However, the parallel trends assumption may be violated in the presence of unmeasured confounding, and the average treatment effect on the treated may not be useful in learning a treatment assignment policy for the entire population. In this article, we propose a general instrumented DiD approach for learning the optimal treatment policy. Specifically, we establish identification results using a binary instrumental variable (IV) when the parallel trends assumption fails to hold. Additionally, we construct a Wald estimator, novel inverse probability weighting (IPW) estimators, and a class of semiparametric efficient and multiply robust estimators, with theoretical guarantees on consistency and asymptotic normality, even when relying on flexible machine learning algorithms for nuisance parameters estimation. Furthermore, we extend the instrumented DiD to the panel data setting. We evaluate our methods in extensive simulations and a real data application. △ Less

Submitted 14 October, 2023; originally announced October 2023.

The Minkowski problem in Heisenberg groups

Authors: Bin Chen, Juan Zhang, Peibiao Zhao, Xia Zhao

Abstract: As we all know, the Minkowski type problem is the cornerstone of the Brunn-Minkowski theory in Euclidean space. The Heisenberg group as a sub-Riemannian space is the simplest non-Abelian degenerate Riemannian space that is completely different from a Euclidean space. By analogy with the Minkowski type problem in Euclidean space, the Minkowski type problem in Heisenberg groups is still open. In the… ▽ More As we all know, the Minkowski type problem is the cornerstone of the Brunn-Minkowski theory in Euclidean space. The Heisenberg group as a sub-Riemannian space is the simplest non-Abelian degenerate Riemannian space that is completely different from a Euclidean space. By analogy with the Minkowski type problem in Euclidean space, the Minkowski type problem in Heisenberg groups is still open. In the present paper, we develop for the first time a sub-Riemannian version of Minkowski type problem in the horizontal distributions of Heisenberg groups, and further give a positive answer to this sub-Riemannian Minkowski type problem via the variational method. △ Less

Submitted 3 September, 2023; originally announced September 2023.

Comments: 24 pages

Flow by Gauss Curvature to the orlicz Chord Minkowski Problem

Authors: Xia Zhao, Peibiao Zhao

Abstract: The $L_p$ chord Minkowski problem based on Chord measures and $L_p$ chord measures introduced firstly by Lutwak, Xi, Yang and Zhang [38] is a very important and meaningful geometric measure problem in the $L_p$ Brunn-Minkowski theory. Xi, Yang, Zhang and Zhao [45] using variational methods gave a measure solution when $p > 1$ and $0<p<1$ in the symmetric case. Recently, Guo, Xi and Zhao [18] also… ▽ More The $L_p$ chord Minkowski problem based on Chord measures and $L_p$ chord measures introduced firstly by Lutwak, Xi, Yang and Zhang [38] is a very important and meaningful geometric measure problem in the $L_p$ Brunn-Minkowski theory. Xi, Yang, Zhang and Zhao [45] using variational methods gave a measure solution when $p > 1$ and $0<p<1$ in the symmetric case. Recently, Guo, Xi and Zhao [18] also obtained a measure solution for $0\leq p<1$ by similar methods without the symmetric assumption. In the present paper, we investigate and confirm the orlicz chord Minkowski problem, which generalizes the $L_p$ chord Minkowski problem by replacing $p$ with a fixed continuous function $\varphi:(0,\infty)\rightarrow(0,\infty)$, and achieve the existence of smooth solutions to the orlicz chord Minkowski problem by using methods of Gauss curvature flows. △ Less

Submitted 30 April, 2024; v1 submitted 10 August, 2023; originally announced August 2023.

Comments: 18 pages. arXiv admin note: text overlap with arXiv:2212.01822, arXiv:2001.08862 by other authors

Universal Online Learning with Gradient Variations: A Multi-layer Online Ensemble Approach

Authors: Yu-Hu Yan, Peng Zhao, Zhi-Hua Zhou

Abstract: In this paper, we propose an online convex optimization approach with two different levels of adaptivity. On a higher level, our approach is agnostic to the unknown types and curvatures of the online functions, while at a lower level, it can exploit the unknown niceness of the environments and attain problem-dependent guarantees. Specifically, we obtain $\mathcal{O}(\log V_T)$,… ▽ More In this paper, we propose an online convex optimization approach with two different levels of adaptivity. On a higher level, our approach is agnostic to the unknown types and curvatures of the online functions, while at a lower level, it can exploit the unknown niceness of the environments and attain problem-dependent guarantees. Specifically, we obtain $\mathcal{O}(\log V_T)$, $\mathcal{O}(d \log V_T)$ and $\hat{\mathcal{O}}(\sqrt{V_T})$ regret bounds for strongly convex, exp-concave and convex loss functions, respectively, where $d$ is the dimension, $V_T$ denotes problem-dependent gradient variations and the $\hat{\mathcal{O}}(\cdot)$-notation omits $\log V_T$ factors. Our result not only safeguards the worst-case guarantees but also directly implies the small-loss bounds in analysis. Moreover, when applied to adversarial/stochastic convex optimization and game theory problems, our result enhances the existing universal guarantees. Our approach is based on a multi-layer online ensemble framework incorporating novel ingredients, including a carefully designed optimism for unifying diverse function types and cascaded corrections for algorithmic stability. Notably, despite its multi-layer structure, our algorithm necessitates only one gradient query per round, making it favorable when the gradient evaluation is time-consuming. This is facilitated by a novel regret decomposition equipped with carefully designed surrogate losses. △ Less

Submitted 15 April, 2024; v1 submitted 17 July, 2023; originally announced July 2023.

Comments: NeurIPS 2023

Horizontal inverse mean curvature flow in the Heisenberg group

Authors: **gshi Cui, Peibiao Zhao

Abstract: Huisken and Ilmanen in [25] created the theory of weak solutions for inverse mean curvature flows (IMCF) of hypersurfaces on Riemannian manifolds, and proved successfully a Riemannian version of the Penrose inequality. In this paper we investigate and construct the sub-Riemannian version of the theory of weak solutions for inverse mean curvature flows of hypersurfaces in sub-Riemannian Heisenber… ▽ More Huisken and Ilmanen in [25] created the theory of weak solutions for inverse mean curvature flows (IMCF) of hypersurfaces on Riemannian manifolds, and proved successfully a Riemannian version of the Penrose inequality. In this paper we investigate and construct the sub-Riemannian version of the theory of weak solutions for inverse mean curvature flows of hypersurfaces in sub-Riemannian Heisenberg groups. We extend the weak solution theory in [25] to the first Heisenberg group and prove the existence, uniqueness and basic geometric properties of horizontal inverse mean curvature flows (HIMCF). By a Heisenberg dilation on HIMCF, we find a horizontal perimeter preserving flow (1.7) in the first Heisenberg group, and prove the existence and uniqueness of weak solutions to (1.7). Using this existential result, the present paper gives a positive answer to an open problem: Heintze-Karcher type inequality in the Heisenberg group. At the same time, this article also proves a Minkowski type formula in the first Heisenberg group. △ Less

Submitted 3 July, 2023; v1 submitted 27 June, 2023; originally announced June 2023.

Equivalence of Strong Brunn-Minkowski Inequalities and CD Conditions in Heisenberg Groups

Authors: Juan Zhang, Peibiao Zhao

Abstract: The present paper investigates the sub-Riemannian version of the equivalence between the curvature-dimension conditions and strong Brunn-Minkowski inequalities in the sub-Riemannian Heisenberg group Hn. We adopt the optimal transport and approximation of Hn developed by Ambrosio and Rigot [1] and combine the celebrated works by M. Magnabosco, L. Portinale and T. Rossi [17] to confirm this. The present paper investigates the sub-Riemannian version of the equivalence between the curvature-dimension conditions and strong Brunn-Minkowski inequalities in the sub-Riemannian Heisenberg group Hn. We adopt the optimal transport and approximation of Hn developed by Ambrosio and Rigot [1] and combine the celebrated works by M. Magnabosco, L. Portinale and T. Rossi [17] to confirm this. △ Less

Submitted 14 October, 2023; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: arXiv admin note: text overlap with arXiv:1605.06839 by other authors

Robust Nonparametric Regression under Poisoning Attack

Authors: Puning Zhao, Zhiguo Wan

Abstract: This paper studies robust nonparametric regression, in which an adversarial attacker can modify the values of up to $q$ samples from a training dataset of size $N$. Our initial solution is an M-estimator based on Huber loss minimization. Compared with simple kernel regression, i.e. the Nadaraya-Watson estimator, this method can significantly weaken the impact of malicious samples on the regression… ▽ More This paper studies robust nonparametric regression, in which an adversarial attacker can modify the values of up to $q$ samples from a training dataset of size $N$. Our initial solution is an M-estimator based on Huber loss minimization. Compared with simple kernel regression, i.e. the Nadaraya-Watson estimator, this method can significantly weaken the impact of malicious samples on the regression performance. We provide the convergence rate as well as the corresponding minimax lower bound. The result shows that, with proper bandwidth selection, $\ell_\infty$ error is minimax optimal. The $\ell_2$ error is optimal with relatively small $q$, but is suboptimal with larger $q$. The reason is that this estimator is vulnerable if there are many attacked samples concentrating in a small region. To address this issue, we propose a correction method by projecting the initial estimate to the space of Lipschitz functions. The final estimate is nearly minimax optimal for arbitrary $q$, up to a $\ln N$ factor. △ Less

Submitted 11 December, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

An inverse Gauss curvature flow and its application to p-capacitary Orlicz-Minkowski problem

Authors: Bin Chen, Weidong Wang, Xia Zhao, Peibiao Zhao

Abstract: In [Calc. Var., 57:5 (2018)], Hong-Ye-Zhang proposed the $p$-capacitary Orlicz-Minkowski problem and proved the existence of convex solutions to this problem by variational method for $p\in(1,n)$. However, the smoothness and uniqueness of solutions are still open. Notice that the $p$-capacitary Orlicz-Minkowski problem can be converted equivalently to a Monge-Ampère type equation in smooth cas… ▽ More In [Calc. Var., 57:5 (2018)], Hong-Ye-Zhang proposed the $p$-capacitary Orlicz-Minkowski problem and proved the existence of convex solutions to this problem by variational method for $p\in(1,n)$. However, the smoothness and uniqueness of solutions are still open. Notice that the $p$-capacitary Orlicz-Minkowski problem can be converted equivalently to a Monge-Ampère type equation in smooth case: \begin{align}\label{0.1} fφ(h_K)|\nablaΨ|^p=τG \end{align} for $p\in(1,n)$ and some constant $τ>0$, where $f$ is a positive function defined on the unit sphere $\mathcal{S}^{n-1}$, $φ$ is a continuous positive function defined in $(0,+\infty)$, and $G$ is the Gauss curvature. In this paper, we confirm the existence of smooth solutions to $p$-capacitary Orlicz-Minkowski problem with $p\in(1,n)$ for the first time by a class of inverse Gauss curvature flows, which converges smoothly to the solution of Equation (\ref{0.1}). Furthermore, we prove the uniqueness result for Equation (\ref{0.1}) in a special case. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Spatial-sign based High Dimensional White Noises Test

Authors: ** Zhao, Dachuan Chen, Zhaojun Wang

Abstract: A spatial-sign based test procedure is proposed for high dimensional white noise test in this paper. We establish the limit null distribution and give the asymptotical relative efficient of our test with respect to the test proposed by Feng et al. (2022) under some special alternative hypothesis. Simulation studies also demonstrate the efficiency and robustness of our test for heavy-tailed distrib… ▽ More A spatial-sign based test procedure is proposed for high dimensional white noise test in this paper. We establish the limit null distribution and give the asymptotical relative efficient of our test with respect to the test proposed by Feng et al. (2022) under some special alternative hypothesis. Simulation studies also demonstrate the efficiency and robustness of our test for heavy-tailed distributions. △ Less

Submitted 19 March, 2023; originally announced March 2023.

Michael-Simon type inequalities in hyperbolic space $\mathbb{H}^{n+1}$ via Brendle-Guan-Li's flows

Authors: **gshi Cui, Peibiao Zhao

Abstract: In the present paper, we first establish and verify a new sharp hyperbolic version of the Michael-Simon inequality for mean curvatures in hyperbolic space $\mathbb{H}^{n+1}$ based on the locally constrained inverse curvature flow introduced by Brendle, Guan and Li, provided that $M$ is $h$-convex and $f$ is a positive smooth function, where $λ^{'}(r)=\rm{cosh}$$r$. In particular, when $f$ is of co… ▽ More In the present paper, we first establish and verify a new sharp hyperbolic version of the Michael-Simon inequality for mean curvatures in hyperbolic space $\mathbb{H}^{n+1}$ based on the locally constrained inverse curvature flow introduced by Brendle, Guan and Li, provided that $M$ is $h$-convex and $f$ is a positive smooth function, where $λ^{'}(r)=\rm{cosh}$$r$. In particular, when $f$ is of constant, (0.1) coincides with the Minkowski type inequality stated by Brendle, Hung, and Wang. Further, we also establish and confirm a new sharp Michael-Simon inequality for the $k$-th mean curvatures in $\mathbb{H}^{n+1}$ by virtue of the Brendle-Guan-Li's flow, provided that $M$ is $h$-convex and $Ω$ is the domain enclosed by $M$. In particular, when $f$ is of constant and $k$ is odd, (0.2) is exactly the weighted Alexandrov-Fenchel inequalities proven by Hu, Li, and Wei. △ Less

Submitted 4 February, 2024; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 14 pages

Rainbow vertex pair-pancyclicity of strongly edge-colored graphs

Authors: Peixue Zhao, Fei Huang

Abstract: An edge-colored graph is \emph{rainbow }if no two edges of the graph have the same color. An edge-colored graph $G^c$ is called \emph{properly colored} if every two adjacent edges of $G^c$ receive distinct colors in $G^c$. A \emph{strongly edge-colored} graph is a proper edge-colored graph such that every path of length $3$ is rainbow. We call an edge-colored graph $G^c$ \emph{rainbow vertex pair-… ▽ More An edge-colored graph is \emph{rainbow }if no two edges of the graph have the same color. An edge-colored graph $G^c$ is called \emph{properly colored} if every two adjacent edges of $G^c$ receive distinct colors in $G^c$. A \emph{strongly edge-colored} graph is a proper edge-colored graph such that every path of length $3$ is rainbow. We call an edge-colored graph $G^c$ \emph{rainbow vertex pair-pancyclic} if any two vertices in $G^c$ are contained in a rainbow cycle of length $\ell$ for each $\ell$ with $3 \leq \ell \leq n$. In this paper, we show that every strongly edge-colored graph $G^c$ of order $n$ with minimum degree $δ\geq \frac{2n}{3}+1$ is rainbow vertex pair-pancyclicity. △ Less

Submitted 4 May, 2023; v1 submitted 11 October, 2022; originally announced October 2022.

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (May 16, 2023) dmtcs:10142

Safety Embedded Stochastic Optimal Control of Networked Multi-Agent Systems via Barrier States

Authors: Lin Song, Pan Zhao, Neng Wan, Naira Hovakimyan

Abstract: This paper presents a novel approach for achieving safe stochastic optimal control in networked multi-agent systems (MASs). The proposed method incorporates barrier states (BaSs) into the system dynamics to embed safety constraints. To accomplish this, the networked MAS is factorized into multiple subsystems, and each one is augmented with BaSs for the central agent. The optimal control law is obt… ▽ More This paper presents a novel approach for achieving safe stochastic optimal control in networked multi-agent systems (MASs). The proposed method incorporates barrier states (BaSs) into the system dynamics to embed safety constraints. To accomplish this, the networked MAS is factorized into multiple subsystems, and each one is augmented with BaSs for the central agent. The optimal control law is obtained by solving the joint Hamilton-Jacobi-Bellman (HJB) equation on the augmented subsystem, which guarantees safety via the boundedness of the BaSs. The BaS-based optimal control technique yields safe control actions while maintaining optimality. The safe optimal control solution is approximated using path integrals. To validate the effectiveness of the proposed approach, numerical simulations are conducted on a cooperative UAV team in two different scenarios. △ Less

Submitted 3 April, 2023; v1 submitted 7 October, 2022; originally announced October 2022.

Structured Optimal Variational Inference for Dynamic Latent Space Models

Authors: Peng Zhao, Anirban Bhattacharya, Debdeep Pati, Bani K. Mallick

Abstract: We consider a latent space model for dynamic networks, where our objective is to estimate the pairwise inner products of the latent positions. To balance posterior inference and computational scalability, we present a structured mean-field variational inference framework, where the time-dependent properties of the dynamic networks are exploited to facilitate computation and inference. Additionally… ▽ More We consider a latent space model for dynamic networks, where our objective is to estimate the pairwise inner products of the latent positions. To balance posterior inference and computational scalability, we present a structured mean-field variational inference framework, where the time-dependent properties of the dynamic networks are exploited to facilitate computation and inference. Additionally, an easy-to-implement block coordinate ascent algorithm is developed with message-passing type updates in each block, whereas the complexity per iteration is linear with the number of nodes and time points. To facilitate learning of the pairwise latent distances, we adopt a Gamma prior for the transition variance different from the literature. To certify the optimality, we demonstrate that the variational risk of the proposed variational inference approach attains the minimax optimal rate under certain conditions. En route, we derive the minimax lower bound, which might be of independent interest. To best of our knowledge, this is the first such exercise for dynamic latent space models. Simulations and real data analysis demonstrate the efficacy of our methodology and the efficiency of our algorithm. Finally, our proposed methodology can be readily extended to the case where the scales of the latent nodes are learned in a nodewise manner. △ Less

Submitted 29 September, 2022; originally announced September 2022.

Locally constrained flows and sharp Michael-Simon inequalities in hyperbolic space

Authors: **gshi Cui, Peibiao Zhao

Abstract: In the present paper, we first investigate a new locally constrained mean curvature flow (1.9) for starshaped hypersurfaces in hyperbolic space Hn+1 and prove its longtime existence, exponential convergence. As an application, we establish a new sharp Michael-Simon inequality for mean curvature in Hn+1. In the second part of this paper, we use a locally constrained inverse curvature flow (1.11) in… ▽ More In the present paper, we first investigate a new locally constrained mean curvature flow (1.9) for starshaped hypersurfaces in hyperbolic space Hn+1 and prove its longtime existence, exponential convergence. As an application, we establish a new sharp Michael-Simon inequality for mean curvature in Hn+1. In the second part of this paper, we use a locally constrained inverse curvature flow (1.11) in Hn+1, which was introduced by Scheuer and Xia [30] to establish a new sharp Michael-Simon inequality for k-th mean curvatures of starshaped and strictly k-convex domain. △ Less

Submitted 7 June, 2022; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 22 pages

The Lp Minkowski problem for q-torsional rigidity

Authors: Bin Chen, Xia Zhao, Weidong Wang, Peibiao Zhao

Abstract: In this paper, we introduce the so-called $L_p$ $q$-torsional measure for $p\in\mathbb{R}$ and $q>1$ by establishing the $L_p$ variational formula for the $q$-torsional rigidity of convex bodies without smoothness conditions. Moreover, we achieve the existence of solutions to the $L_p$ Minkowski problem $w.r.t.$ the $q$-torsional rigidity for discrete measure and general measure when $0<p<1$ and… ▽ More In this paper, we introduce the so-called $L_p$ $q$-torsional measure for $p\in\mathbb{R}$ and $q>1$ by establishing the $L_p$ variational formula for the $q$-torsional rigidity of convex bodies without smoothness conditions. Moreover, we achieve the existence of solutions to the $L_p$ Minkowski problem $w.r.t.$ the $q$-torsional rigidity for discrete measure and general measure when $0<p<1$ and $q>1$. △ Less

Submitted 20 May, 2022; originally announced May 2022.

Comments: 26 pages

Network Bandwidth Allocation Problem For Cloud Computing

Authors: Changpeng Yang, **tao You, Xiaoming Yuan, Pengxiang Zhao

Abstract: Cloud computing enables ubiquitous, convenient, and on-demand network access to a shared pool of computing resources. Cloud computing technologies create tremendous commercial values in various areas, while many scientific challenges have arisen accordingly. The process of transmitting data through networks is characterized by some distinctive characteristics such as nonlinear, nonconvex and even… ▽ More Cloud computing enables ubiquitous, convenient, and on-demand network access to a shared pool of computing resources. Cloud computing technologies create tremendous commercial values in various areas, while many scientific challenges have arisen accordingly. The process of transmitting data through networks is characterized by some distinctive characteristics such as nonlinear, nonconvex and even noncontinuous cost functions generated by pricing schemes, periodically updated network topology, as well as replicable data within network nodes. Because of these characteristics, data transfer scheduling is a very challenging problem both engineeringly and scientifically. On the other hand, the cost for bandwidth is a major component of the operating cost for cloud providers, and thus how to save bandwidth cost is extremely important for them to supply service with minimized cost. We propose the Network Bandwidth Allocation (NBA) problem for cloud computing and formulate it as an integer programming model on a high level, with which more comprehensive and rigorous scientific studies become possible. We also show that the NBA problem captures some of the major cloud computing scenarios including the content delivery network (CDN), the live video delivery network (LVDN), the real-time communication network (RTCN), and the cloud wide area network (Cloud-WAN). △ Less

Submitted 13 March, 2022; originally announced March 2022.

Comments: 28 pages, 4 figures

An expanding curvature flow and the (p,q)-Christoffel-Minkowski problems

Authors: Bin Chen, **gshi Cui, Peibiao Zhao

Abstract: The present paper introduces a new class of geometric measures, the k-th (p,q)-mixed curvature measures, and a natural correspondence-(p,q)-Christoffel-Minkowski problem is proposed. The (p,q)-Christoffel-Minkowski problem posed here can be regarded as a natural generalization of the L_p Christoffel-Minkowski problem and Lp dual Minkowski problem. We investigate and arrive at the existence of sm… ▽ More The present paper introduces a new class of geometric measures, the k-th (p,q)-mixed curvature measures, and a natural correspondence-(p,q)-Christoffel-Minkowski problem is proposed. The (p,q)-Christoffel-Minkowski problem posed here can be regarded as a natural generalization of the L_p Christoffel-Minkowski problem and Lp dual Minkowski problem. We investigate and arrive at the existence of smooth solution to the (p,q)-Christoffel-Minkowski problem by a type of expanding curvature flow. Furthermore, the uniqueness result of solutions to the (p,q)-Christoffel-Minkowski problem shall be discussed. △ Less

Submitted 25 June, 2024; v1 submitted 9 March, 2022; originally announced March 2022.

Comments: 19 pages

Testing the number of common factors by bootstrapped sample covariance matrix in high-dimensional factor models

Authors: Long Yu, Peng Zhao, Wang Zhou

Abstract: This paper studies the impact of bootstrap procedure on the eigenvalue distributions of the sample covariance matrix under a high-dimensional factor structure. We provide asymptotic distributions for the top eigenvalues of bootstrapped sample covariance matrix under mild conditions. After bootstrap, the spiked eigenvalues which are driven by common factors will converge weakly to Gaussian limits a… ▽ More This paper studies the impact of bootstrap procedure on the eigenvalue distributions of the sample covariance matrix under a high-dimensional factor structure. We provide asymptotic distributions for the top eigenvalues of bootstrapped sample covariance matrix under mild conditions. After bootstrap, the spiked eigenvalues which are driven by common factors will converge weakly to Gaussian limits after proper scaling and centralization. However, the largest non-spiked eigenvalue is mainly determined by the order statistics of the bootstrap resampling weights, and follows extreme value distribution. Based on the disparate behavior of the spiked and non-spiked eigenvalues, we propose innovative methods to test the number of common factors. Indicated by extensive numerical and empirical studies, the proposed methods perform reliably and convincingly under the existence of both weak factors and cross-sectionally correlated errors. Our technical details contribute to random matrix theory on spiked covariance model with convexly decaying density and unbounded support, or with general elliptical distributions. △ Less

Submitted 20 November, 2023; v1 submitted 12 February, 2022; originally announced February 2022.

Comments: 102 pages, 9 figures, 6 tables

MSC Class: 62H25; 60B20

A Gauss curvature flow related to the Orlicz-Aleksandrov problem

Authors: Bin Chen, Peibiao Zhao

Abstract: In this paper we first obtain the existence of smooth solutions to Orlicz-Aleksandrov problem via a Gauss-like curvature flow. In this paper we first obtain the existence of smooth solutions to Orlicz-Aleksandrov problem via a Gauss-like curvature flow. △ Less

Submitted 25 November, 2021; originally announced November 2021.

Comments: arXiv admin note: text overlap with arXiv:1712.07774, arXiv:2001.08862, arXiv:2005.02376, arXiv:2012.11367 by other authors

Mean curvature type flow and sharp Micheal-Simon inequalities

Authors: J. Cui, P. Zhao

Abstract: In this paper, we first investigate a new locally constrained mean curvature flow (1.5) and prove that if the initial hypersurface is of smoothly compact starshaped, then the solution of the flow (1.5) exists for all time and converges to a sphere in smooth topology. Following this flow argument, not only do we achieve a new proof of the celebrated sharp Michael-Simon inequality for mean curvature… ▽ More In this paper, we first investigate a new locally constrained mean curvature flow (1.5) and prove that if the initial hypersurface is of smoothly compact starshaped, then the solution of the flow (1.5) exists for all time and converges to a sphere in smooth topology. Following this flow argument, not only do we achieve a new proof of the celebrated sharp Michael-Simon inequality for mean curvature in (n+1) dimensional Euclidean space, but we also get the necessary and sufficient condition for the establishment of the equality. In the second part of this paper, we study a mean curvature type flow (1.7) of static convex hypersurfaces in (n+1) dimensional Euclidean space, and prove that the flow (1.7) has a unique smooth solution for all time t>0, and the static convexity of the hypersurface is preserved along the flow (1.7). Moreover, The solution of the flow (1.7) converges exponentially to a sphere of radius R in smooth topology as time tends to infinity. By exploiting the properties of this flow, we develop and present a new sharp Michael-Simon inequality for kth mean curvature. △ Less

Submitted 29 October, 2021; originally announced November 2021.

Comments: 32 pages

Notes on Worldsheet-Like Variables for Cluster Configuration Spaces

Authors: Song He, Yihong Wang, Yong Zhang, Peng Zhao

Abstract: We continue the exploration of various appearances of cluster algebras in scattering amplitudes and related topics in physics. The cluster configuration spaces generalize the familiar moduli space ${\mathcal M}_{0,n}$ to finite-type cluster algebras. We study worldsheet-like variables, which for classical types have also appeared in the study of the symbol alphabet of Feynman integrals. We provide… ▽ More We continue the exploration of various appearances of cluster algebras in scattering amplitudes and related topics in physics. The cluster configuration spaces generalize the familiar moduli space ${\mathcal M}_{0,n}$ to finite-type cluster algebras. We study worldsheet-like variables, which for classical types have also appeared in the study of the symbol alphabet of Feynman integrals. We provide a systematic derivation of these variables from $Y$-systems, which allows us to express the dihedral coordinates in terms of them and to write the corresponding cluster string integrals in compact forms. We mainly focus on the $D_n$ type and show how to reach the boundaries of the configuration space, and write the saddle-point equations in terms of these variables. Moreover, these variables make it easier to study various topological properties of the space using a finite-field method. We propose conjectures about quasi-polynomial point count, dimensions of cohomology, and the number of saddle points for the $D_n$ space up to $n=10$, which greatly extend earlier results. △ Less

Submitted 12 July, 2023; v1 submitted 28 September, 2021; originally announced September 2021.

Journal ref: SIGMA 19 (2023), 045, 24 pages

$\mathcal{L}_1$ Adaptive Control with Switched Reference Models: Application to Learn-to-Fly

Authors: Steven Snyder, Pan Zhao, Naira Hovakimyan

Abstract: Learn-to-Fly (L2F) is a new framework that aims to replace the traditional iterative development paradigm for aerial vehicles with a combination of real-time aerodynamic modeling, guidance, and learning control. To ensure safe learning of the vehicle dynamics on the fly, this paper presents an $\mathcal{L}_1$ adaptive control ($\mathcal{L}_1$AC) based scheme, which actively estimates and compensat… ▽ More Learn-to-Fly (L2F) is a new framework that aims to replace the traditional iterative development paradigm for aerial vehicles with a combination of real-time aerodynamic modeling, guidance, and learning control. To ensure safe learning of the vehicle dynamics on the fly, this paper presents an $\mathcal{L}_1$ adaptive control ($\mathcal{L}_1$AC) based scheme, which actively estimates and compensates for the discrepancy between the intermediately learned dynamics and the actual dynamics. First, to incorporate the periodic update of the learned model within the L2F framework, this paper extends the $\mathcal{L}_1$AC architecture to handle a switched reference system subject to unknown time-varying parameters and disturbances. The paper also includes an analysis of both transient and steady-state performance of the $\mathcal{L}_1$AC architecture in the presence of non-zero initialization error for the state predictor. Second, the paper presents how the proposed $\mathcal{L}_1$AC scheme is integrated into the L2F framework, including its interaction with the baseline controller and the real-time modeling module. Finally, flight tests on an unmanned aerial vehicle (UAV) validate the efficacy of the proposed control and learning scheme. △ Less

Submitted 5 August, 2022; v1 submitted 18 August, 2021; originally announced August 2021.

Comments: 34 pages, 11 figures

Journal ref: Journal of Guidance, Control, and Dynamics, 2022

On semi-Quasi-Einstein Manifold

Authors: Yanling Han, Avik De, Peibiao Zhao

Abstract: In the present paper we introduce a semi-quasi-Einstein manifold from a semi symmetric metric connection. Among others, the popular Schwarzschild and Kottler spacetimes are shown to possess this structure. Certain curvature conditions are studied in such a manifold with a Killing generator. In the present paper we introduce a semi-quasi-Einstein manifold from a semi symmetric metric connection. Among others, the popular Schwarzschild and Kottler spacetimes are shown to possess this structure. Certain curvature conditions are studied in such a manifold with a Killing generator. △ Less

Submitted 8 July, 2021; originally announced July 2021.

MSC Class: 53C20; 53D11

Journal ref: Journal of Geometry and Physics, Volume 155, September 2020, 103739

On the finiteness of the Morse index of self-shrinkers

Authors: Xu-Yong Jiang, He-Jun Sun, Peibiao Zhao

Abstract: In this paper, we present a sufficient condition for finite Morse index of complete properly self-shrinkers. We prove that a complete properly embedded self-shrinker in $\mathbb{R}^{n+1}$ with finite asymptotically conical ends or asymptotically cylindrical ends must have finite Morse index. Moreover, as an application of this result, we show that a complete properly embedded self-shrinker in… ▽ More In this paper, we present a sufficient condition for finite Morse index of complete properly self-shrinkers. We prove that a complete properly embedded self-shrinker in $\mathbb{R}^{n+1}$ with finite asymptotically conical ends or asymptotically cylindrical ends must have finite Morse index. Moreover, as an application of this result, we show that a complete properly embedded self-shrinker in $\mathbb{R}^3$ with finite genus has finite Morse index. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: 13 pages

MSC Class: 53C24; 53C42; 53C21

Sufficient conditions for a pseudosymmetric spacetime to be a perfect fluid spacetime

Authors: Peibiao Zhao, Uday Chand De, Bülent Ünal, Krishnendu De

Abstract: The aim of the present paper is to obtain the condition under which a pseudosymmetric spacetime to be a perfect fluid spacetime. It is proven that a pseudosymmetric generalized Robertson-Walker spacetime is a perfect fluid spacetime. Moreover, we establish that a conformally flat pseudosymmetric spacetime is a generalized Robertson-Walker spacetime. Next, it is shown that a pseudosymmetric dust fl… ▽ More The aim of the present paper is to obtain the condition under which a pseudosymmetric spacetime to be a perfect fluid spacetime. It is proven that a pseudosymmetric generalized Robertson-Walker spacetime is a perfect fluid spacetime. Moreover, we establish that a conformally flat pseudosymmetric spacetime is a generalized Robertson-Walker spacetime. Next, it is shown that a pseudosymmetric dust fluid with constant scalar curvature satisfying Einstein's field equations without cosmological constant is vacuum. Finally, we construct a non-trivial example of pseudosymmetric spacetime. △ Less

Submitted 8 May, 2021; originally announced May 2021.

MSC Class: 53D10; 53D15; 53D25; 53D35

Journal ref: Int. J. Geom. Methods Mod. Phys. 18, no. 13, (2021), 2150217 (12 pages)

$\mathcal{L}_1$ Adaptive Control for Switching Reference Systems: Application to Flight Control

Authors: Steven Snyder, Pan Zhao, Naira Hovakimyan

Abstract: This paper presents a framework for the design and analysis of an $\mathcal{L}_1$ adaptive controller with a switching reference system. The use of a switching reference system allows the desired behavior to be scheduled across the operating envelope, which is often required in aerospace applications. The analysis uses a switched reference system that assumes perfect knowledge of uncertainties and… ▽ More This paper presents a framework for the design and analysis of an $\mathcal{L}_1$ adaptive controller with a switching reference system. The use of a switching reference system allows the desired behavior to be scheduled across the operating envelope, which is often required in aerospace applications. The analysis uses a switched reference system that assumes perfect knowledge of uncertainties and uses a corresponding non-adaptive controller. Provided that this switched reference system is stable, it is shown that the closed-loop system with unknown parameters and disturbances and the $\mathcal{L}_1$ adaptive controller can behave arbitrarily close to this reference system. Simulations of the short period dynamics of a transport class aircraft during the approach phase illustrate the theoretical results. △ Less

Submitted 31 December, 2020; originally announced January 2021.

Comments: Published in IFAC-PapersOnLine

The Minkowski problem based on the (p,q)-mixed quermassintegrals

Authors: Bin Chen, Weidong Wang, Peibiao Zhao

Abstract: Lutwak, Yang and Zhang [23] introduced the concept of Lp dual curvature measure for convex bodies and star bodies, and studied the Minkowski problem. We in this paper establish a new unified concept, in briefly, the (p,q)-mixed quermassintegrals, via (p,q)-dual mixed curvature measure, and further have a deep discussion on Minkowski problem with respect to the (p,q)-dual mixed curvature measure. B… ▽ More Lutwak, Yang and Zhang [23] introduced the concept of Lp dual curvature measure for convex bodies and star bodies, and studied the Minkowski problem. We in this paper establish a new unified concept, in briefly, the (p,q)-mixed quermassintegrals, via (p,q)-dual mixed curvature measure, and further have a deep discussion on Minkowski problem with respect to the (p,q)-dual mixed curvature measure. By the way, we derive at some important properties and geometric inequalities for (p,q)-mixed quermassintegrals. △ Less

Submitted 15 December, 2020; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 28 pages, 1 figure

MSC Class: 52A20 (Primary) 52A40; 52A39 (Secondary)

Should the Ransomware be Paid?

Authors: Rui Fang, Maochao Xu, Peng Zhao

Abstract: Ransomware has emerged as one of the most concerned cyber risks in recent years, which has caused millions of dollars monetary loss over the world. It typically demands a certain amount of ransom payment within a limited timeframe to decrypt the encrypted victim's files. This paper explores whether the ransomware should be paid in a novel game-theoretic model from the perspective of Bayesian game.… ▽ More Ransomware has emerged as one of the most concerned cyber risks in recent years, which has caused millions of dollars monetary loss over the world. It typically demands a certain amount of ransom payment within a limited timeframe to decrypt the encrypted victim's files. This paper explores whether the ransomware should be paid in a novel game-theoretic model from the perspective of Bayesian game. In particular, the new model analyzes the ransom payment strategies within the framework of incomplete information for both hacker and victim. Our results show that there exist pure and randomized Bayesian Nash equilibria under some mild conditions for the hacker and victim. The sufficient conditions that when the ransom should be paid are presented when an organization is compromised by the ransomware attack. We further study how the costs and probabilities of cracking or recovering affect the expected payoffs of the hacker and the victim in the equilibria. In particular, it is found that the backup option for computer files is not always beneficial, which actually depends on the related cost. Moreover, it is discovered that fake ransomware may be more than expected because of the potential high payoffs. Numerical examples are also presented for illustration. △ Less

Submitted 11 October, 2020; originally announced October 2020.

Adaptive Robust Quadratic Programs using Control Lyapunov and Barrier Functions

Authors: Pan Zhao, Yanbing Mao, Chuyuan Tao, Naira Hovakimyan, Xiaofeng Wang

Abstract: This paper presents adaptive robust quadratic program (QP) based control using control Lyapunov and barrier functions for nonlinear systems subject to time-varying and state-dependent uncertainties. An adaptive estimation law is proposed to estimate the pointwise value of the uncertainties with pre-computable estimation error bounds. The estimated uncertainty and the error bounds are then used to… ▽ More This paper presents adaptive robust quadratic program (QP) based control using control Lyapunov and barrier functions for nonlinear systems subject to time-varying and state-dependent uncertainties. An adaptive estimation law is proposed to estimate the pointwise value of the uncertainties with pre-computable estimation error bounds. The estimated uncertainty and the error bounds are then used to formulate a robust QP, which ensures that the actual uncertain system will not violate the safety constraints defined by the control barrier function. Additionally, the accuracy of the uncertainty estimation can be systematically improved by reducing the estimation sampling time, leading subsequently to reduced conservatism of the formulated robust QP. The proposed approach is validated in simulations on an adaptive cruise control problem and through comparisons with existing approaches. △ Less

Submitted 19 October, 2020; v1 submitted 9 October, 2020; originally announced October 2020.

Comments: Accepted by the 59th IEEE Conference on Decision and Control

Tail-adaptive Bayesian shrinkage

Authors: Se Yoon Lee, Peng Zhao, Debdeep Pati, Bani K. Mallick

Abstract: Robust Bayesian methods for high-dimensional regression problems under diverse sparse regimes are studied. Traditional shrinkage priors are primarily designed to detect a handful of signals from tens of thousands of predictors in the so-called ultra-sparsity domain. However, they may not perform desirably when the degree of sparsity is moderate. In this paper, we propose a robust sparse estimation… ▽ More Robust Bayesian methods for high-dimensional regression problems under diverse sparse regimes are studied. Traditional shrinkage priors are primarily designed to detect a handful of signals from tens of thousands of predictors in the so-called ultra-sparsity domain. However, they may not perform desirably when the degree of sparsity is moderate. In this paper, we propose a robust sparse estimation method under diverse sparsity regimes, which has a tail-adaptive shrinkage property. In this property, the tail-heaviness of the prior adjusts adaptively, becoming larger or smaller as the sparsity level increases or decreases, respectively, to accommodate more or fewer signals, a posteriori. We propose a global-local-tail (GLT) Gaussian mixture distribution that ensures this property. We examine the role of the tail-index of the prior in relation to the underlying sparsity level and demonstrate that the GLT posterior contracts at the minimax optimal rate for sparse normal mean models. We apply both the GLT prior and the Horseshoe prior to a real data problem and simulation examples. Our findings indicate that the varying tail rule based on the GLT prior offers advantages over a fixed tail rule based on the Horseshoe prior in diverse sparsity regimes. △ Less

Submitted 19 February, 2024; v1 submitted 4 July, 2020; originally announced July 2020.

Joint Cyber Risk Assessment of Network Systems with Heterogeneous Components

Authors: Gaofeng Da, Maochao Xu, **gshi Zhang, Peng Zhao

Abstract: Cyber risks are the most common risks encountered by a modern network system. However, it is significantly difficult to assess the joint cyber risk owing to the network topology, risk propagation, and heterogeneities of components. In this paper, we propose a novel backward elimination approach for computing the joint cyber risk encountered by different types of components in a network system; mor… ▽ More Cyber risks are the most common risks encountered by a modern network system. However, it is significantly difficult to assess the joint cyber risk owing to the network topology, risk propagation, and heterogeneities of components. In this paper, we propose a novel backward elimination approach for computing the joint cyber risk encountered by different types of components in a network system; moreover, explicit formulas are also presented. Certain specific network topologies including complete, star, and complete bi-partite topologies are studied. The effects of propagation depth and compromise probabilities on the joint cyber risk are analyzed using stochastic comparisons. The variances and correlations of cyber risks are examined by a simulation experiment. It was discovered that both variances and correlations change rapidly when the propagation depth increases from its initial value. Further, numerical examples are also presented. △ Less

Submitted 29 June, 2020; originally announced June 2020.

An Efficient Quadratic Programming Relaxation Based Algorithm for Large-Scale MIMO Detection

Authors: **-Fan Zhao, Qing-Na Li, Wei-Kun Chen, Ya-Feng Liu

Abstract: Multiple-input multiple-output (MIMO) detection is a fundamental problem in wireless communications and it is strongly NP-hard in general. Massive MIMO has been recognized as a key technology in the fifth generation (5G) and beyond communication networks, which on one hand can significantly improve the communication performance, and on the other hand poses new challenges of solving the correspondi… ▽ More Multiple-input multiple-output (MIMO) detection is a fundamental problem in wireless communications and it is strongly NP-hard in general. Massive MIMO has been recognized as a key technology in the fifth generation (5G) and beyond communication networks, which on one hand can significantly improve the communication performance, and on the other hand poses new challenges of solving the corresponding optimization problems due to the large problem size. While various efficient algorithms such as semidefinite relaxation (SDR) based approaches have been proposed for solving the small-scale MIMO detection problem, they are not suitable to solve the large-scale MIMO detection problem due to their high computational complexities. In this paper, we propose an efficient sparse quadratic programming (SQP) relaxation based algorithm for solving the large-scale MIMO detection problem. In particular, we first reformulate the MIMO detection problem as an SQP problem. By drop** the sparse constraint, the resulting relaxation problem shares the same global minimizer with the SQP problem. In sharp contrast to the SDRs for the MIMO detection problem, our relaxation does not contain any (positive semidefinite) matrix variable and the numbers of variables and constraints in our relaxation are significantly less than those in the SDRs, which makes it particularly suitable for the large-scale problem. Then we propose a projected Newton based quadratic penalty method to solve the relaxation problem, which is guaranteed to converge to the vector of transmitted signals under reasonable conditions. By extensive numerical experiments, when applied to solve large-scale problems, the proposed algorithm achieves better detection performance than a recently proposed generalized power method. △ Less

Submitted 7 March, 2021; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: 28 pages, 6 figures, accepted for publication in SIAM Journal on Optimization

MSC Class: 90C22; 90C20; 90C27

Safe, Optimal, Real-time Trajectory Planning with a Parallel Constrained Bernstein Algorithm

Authors: Shreyas Kousik, Bohao Zhang, Pengcheng Zhao, Ram Vasudevan

Abstract: To move through the world, mobile robots typically use a receding-horizon strategy, wherein they execute an old plan while computing a new plan to incorporate new sensor information. A plan should be dynamically feasible, meaning it obeys constraints like the robot's dynamics and obstacle avoidance; it should have liveness, meaning the robot does not stop to plan so frequently that it cannot accom… ▽ More To move through the world, mobile robots typically use a receding-horizon strategy, wherein they execute an old plan while computing a new plan to incorporate new sensor information. A plan should be dynamically feasible, meaning it obeys constraints like the robot's dynamics and obstacle avoidance; it should have liveness, meaning the robot does not stop to plan so frequently that it cannot accomplish tasks; and it should be optimal, meaning that the robot tries to satisfy a user-specified cost function such as reaching a goal location as quickly as possible. Reachability-based Trajectory Design (RTD) is a planning method that can generate provably dynamically-feasible plans. However, RTD solves a nonlinear polynmial optimization program at each planning iteration, preventing optimality guarantees; furthermore, RTD can struggle with liveness because the robot must brake to a stop when the solver finds local minima or cannot find a feasible solution. This paper proposes RTD*, which certifiably finds the globally optimal plan (if such a plan exists) at each planning iteration. This method is enabled by a novel Parallelized Constrained Bernstein Algorithm (PCBA), which is a branch-and-bound method for polynomial optimization. The contributions of this paper are: the implementation of PCBA; proofs of bounds on the time and memory usage of PCBA; a comparison of PCBA to state of the art solvers; and the demonstration of PCBA/RTD* on a mobile robot. RTD* outperforms RTD in terms of optimality and liveness for real-time planning in a variety of environments with randomly-placed obstacles. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Comments: 20 pages, 8 figures

suboptimal error estimates for homogenization of linear elasticity systems on perforated domains

Authors: Li Wang, Qiang Xu, Peihao Zhao

Abstract: In the present work, we established almost-sharp error estimates for linear elasticity systems in periodically perforated domains. The first result was $L^{\frac{2d}{d-1-τ}}$-error estimates $O\big(\varepsilon^{1-\fracτ{2}}\big)$ with $0<τ<1$ for a bounded smooth domain. It followed from weighted Hardy-Sobolev's inequalities and a suboptimal error estimate for the square function of the first-orde… ▽ More In the present work, we established almost-sharp error estimates for linear elasticity systems in periodically perforated domains. The first result was $L^{\frac{2d}{d-1-τ}}$-error estimates $O\big(\varepsilon^{1-\fracτ{2}}\big)$ with $0<τ<1$ for a bounded smooth domain. It followed from weighted Hardy-Sobolev's inequalities and a suboptimal error estimate for the square function of the first-order approximating corrector (which was earliest investigated by C. Kenig, F. Lin, Z. Shen \cite{KLS} under additional regularity assumption on coefficients). The new approach relied on the weighted quenched Calderón-Zygmund estimate (initially appeared in A. Gloria, S. Neukamm, F. Otto's work \cite{Gloria_Neukamm_Otto_2015} for a quantitative stochastic homogenization theory). The second effort was $L^2$-error estimates $O\big(\varepsilon^{\frac{5}{6}}\ln^{\frac{2}{3}}(1/\varepsilon)\big)$ for a Lipschitz domain, followed from a new duality scheme coupled with interpolation inequalities. Also, we developed a new weighted extension theorem for perforated domains, and a real method imposed by Z. Shen \cite{S3} played a fundamental role in the whole project. △ Less

Submitted 29 May, 2020; v1 submitted 19 January, 2020; originally announced January 2020.

Comments: 48 pages. Some referees had read the previous version and kindly pointed out a fatal mistake therein. The authors were grateful for this, since it started a real improvement. Again, the authors welcome any comment and remark from readers

Quantitative estimates for homogenization of nonlinear elliptic operators in perforated domains

Authors: Li Wang, Qiang Xu, Peihao Zhao

Abstract: This paper was devoted to study the quantitative homogenization problems for nonlinear elliptic operators in perforated domains. We obtained a sharp error estimate $O(\varepsilon)$ when the problem was anchored in the reference domain $\varepsilonω$. If concerning a bounded perforated domain, one will see a bad influence from the boundary layers, which leads to the loss of the convergence rate by… ▽ More This paper was devoted to study the quantitative homogenization problems for nonlinear elliptic operators in perforated domains. We obtained a sharp error estimate $O(\varepsilon)$ when the problem was anchored in the reference domain $\varepsilonω$. If concerning a bounded perforated domain, one will see a bad influence from the boundary layers, which leads to the loss of the convergence rate by $O(\varepsilon^{1/2})$. Equipped with the error estimates, we developed both interior and boundary Lipschitz estimates at large-scales. As an application, we received the so-called quenched Calderón-Zygumund estimates by Shen's real arguments. To overcome some difficulties, we improved the extension theory from (\cite[Theorem 4.3]{OSY}) to $L^p$-versions with $\frac{2d}{d+1}-ε<p<\frac{2d}{d-1}+ε$ and $0<ε\ll1$. Appealing to this, we established Poincaré-Sobolev inequalities of local type on perforated domains. Some of results in the present literature are new even for related linear elliptic models. △ Less

Submitted 7 August, 2020; v1 submitted 16 January, 2020; originally announced January 2020.

Comments: 45 pages. Compared to the previous version, this has been improved a lot, and we welcome comments on this job

Local Morrey estimate in Musielak-Orlicz-Sobolev space

Authors: Duchao Liu, Peihao Zhao

Abstract: Under appropriate assumptions on the $N(Ω)$-fucntion, Morrey estimate is presented in the Musielak-Orlicz-Sobolev space.The assumptions include a new increasing condition on the $x$-derivative of the Young complementary function of the $N(Ω)$-fucntion. The conclusion applies to several important nonlinear examples frequently appeared in mathematical literature. Under appropriate assumptions on the $N(Ω)$-fucntion, Morrey estimate is presented in the Musielak-Orlicz-Sobolev space.The assumptions include a new increasing condition on the $x$-derivative of the Young complementary function of the $N(Ω)$-fucntion. The conclusion applies to several important nonlinear examples frequently appeared in mathematical literature. △ Less

Submitted 8 May, 2020; v1 submitted 24 October, 2019; originally announced October 2019.

Comments: 12 pages. arXiv admin note: text overlap with arXiv:1805.11469, arXiv:1711.11229

MSC Class: 35B38; 35B65

Minimax Rate Optimal Adaptive Nearest Neighbor Classification and Regression

Authors: Puning Zhao, Lifeng Lai

Abstract: k Nearest Neighbor (kNN) method is a simple and popular statistical method for classification and regression. For both classification and regression problems, existing works have shown that, if the distribution of the feature vector has bounded support and the probability density function is bounded away from zero in its support, the convergence rate of the standard kNN method, in which k is the s… ▽ More k Nearest Neighbor (kNN) method is a simple and popular statistical method for classification and regression. For both classification and regression problems, existing works have shown that, if the distribution of the feature vector has bounded support and the probability density function is bounded away from zero in its support, the convergence rate of the standard kNN method, in which k is the same for all test samples, is minimax optimal. On the contrary, if the distribution has unbounded support, we show that there is a gap between the convergence rate achieved by the standard kNN method and the minimax bound. To close this gap, we propose an adaptive kNN method, in which different k is selected for different samples. Our selection rule does not require precise knowledge of the underlying distribution of features. The new proposed method significantly outperforms the standard one. We characterize the convergence rate of the proposed adaptive method, and show that it matches the minimax lower bound. △ Less

Submitted 22 October, 2019; originally announced October 2019.

A Conjectural Inequality for Visible Points in Lattice Parallelograms

Authors: Gabriel Khan, Mizan R. Khan, Joydip Saha, Peng Zhao

Abstract: Let $a,n \in \mathbb{Z}^+$, with $a<n$ and $\gcd(a,n)=1$. Let $P_{a,n}$ denote the lattice parallelogram spanned by $(1,0)$ and $(a,n)$, that is, $$P_{a,n} = \left\{ t_1(1,0)+ t_2(a,n) \, : \, 0\leq t_1,t_2 \leq 1 \right\}, $$ and let $$V(a,n) = \# \textrm{ of visible lattice points in the interior of } P_{a,n}.$$ In this paper we prove some elementary (and straightforward) results for $V(a,n)$. T… ▽ More Let $a,n \in \mathbb{Z}^+$, with $a<n$ and $\gcd(a,n)=1$. Let $P_{a,n}$ denote the lattice parallelogram spanned by $(1,0)$ and $(a,n)$, that is, $$P_{a,n} = \left\{ t_1(1,0)+ t_2(a,n) \, : \, 0\leq t_1,t_2 \leq 1 \right\}, $$ and let $$V(a,n) = \# \textrm{ of visible lattice points in the interior of } P_{a,n}.$$ In this paper we prove some elementary (and straightforward) results for $V(a,n)$. The most interesting aspects of the paper are in Section 5 where we discuss some numerics and display some graphs of $V(a,n)/n$. (These graphs resemble an integral sign that has been rotated counter-clockwise by $90^\circ$.) The numerics and graphs suggest the conjecture that for $a\not= 1, n-1$, $V(a,n)/n$ satisfies the inequality $$ 0.5 < V(a,n)/n< 0.75.$$ △ Less

Submitted 3 September, 2019; originally announced September 2019.

Comments: 14 pages, 4 figures

MSC Class: 11H06; 11P21; 52C05

High-Dimensional Linear Regression via Implicit Regularization

Authors: Peng Zhao, Yun Yang, Qiao-Chu He

Abstract: Many statistical estimators for high-dimensional linear regression are M-estimators, formed through minimizing a data-dependent square loss function plus a regularizer. This work considers a new class of estimators implicitly defined through a discretized gradient dynamic system under overparameterization. We show that under suitable restricted isometry conditions, overparameterization leads to im… ▽ More Many statistical estimators for high-dimensional linear regression are M-estimators, formed through minimizing a data-dependent square loss function plus a regularizer. This work considers a new class of estimators implicitly defined through a discretized gradient dynamic system under overparameterization. We show that under suitable restricted isometry conditions, overparameterization leads to implicit regularization: if we directly apply gradient descent to the residual sum of squares with sufficiently small initial values, then under some proper early stop** rule, the iterates converge to a nearly sparse rate-optimal solution that improves over explicitly regularized approaches. In particular, the resulting estimator does not suffer from extra bias due to explicit penalties, and can achieve the parametric root-n rate when the signal-to-noise ratio is sufficiently high. We also perform simulations to compare our methods with high dimensional linear regression with explicit regularization. Our results illustrate the advantages of using implicit regularization via gradient descent after overparameterization in sparse vector estimation. △ Less

Submitted 12 February, 2022; v1 submitted 22 March, 2019; originally announced March 2019.

Comments: Accepted by Biometrika

Semiclassical states of a linearly coupled critical fractional Schrödinger system

Authors: Shijie Qi, Peihao Zhao

Abstract: This paper focuses on the linearly coupled critical fractional Schrödinger system \begin{equation*} \begin{cases} ε^{2s}(-\triangle)^s u +a(x)u=u^p+λv\quad &\text{in}\ \mathbb{R}^N,\\ ε^{2s}(-\triangle)^s v +b(x)v=v^{2_s^*-1}+λu\quad &\text{in}\ \mathbb{R}^N, \end{cases} \end{equation*} where $N>2s,$ $s\in(0,1),$ $p\in(1,2_s^*),$ $ε$ and $λ$ are positive parameters, $a,b\in C{(\mathbb{R}^N)}$ are… ▽ More This paper focuses on the linearly coupled critical fractional Schrödinger system \begin{equation*} \begin{cases} ε^{2s}(-\triangle)^s u +a(x)u=u^p+λv\quad &\text{in}\ \mathbb{R}^N,\\ ε^{2s}(-\triangle)^s v +b(x)v=v^{2_s^*-1}+λu\quad &\text{in}\ \mathbb{R}^N, \end{cases} \end{equation*} where $N>2s,$ $s\in(0,1),$ $p\in(1,2_s^*),$ $ε$ and $λ$ are positive parameters, $a,b\in C{(\mathbb{R}^N)}$ are positive potentials, and $(-\triangle)^s$ is the fractional Laplacian operator. Under certain assumptions on $a$ and $λ,$ we obtain the existence, decay estimates and concentration property of positive vector ground states for small $ε.$ Furthermore, under an additional assumption on potentials $a$ and $b$, we consider the multiplicity of positive vector solutions for small $ε$, which turn out to have similar decay estimate and concentration property to those of the ground state for small $ε$. △ Less

Submitted 19 December, 2018; originally announced December 2018.

Comments: 49 pages

Convergence rates on periodic homogenization of p-Laplace type equations

Authors: Li Wang, Qiang Xu, Peihao Zhao

Abstract: In this paper, we find some error estimates for periodic homogenization of p-Laplace type equations under the same structure assumption on homogenized equations. The main idea is that by adjusting the size of the difference quotient of the correctors to make the convergence rate visible. In order to reach our goal, the corresponding flux corrector with some properties are developed. Meanwhile, the… ▽ More In this paper, we find some error estimates for periodic homogenization of p-Laplace type equations under the same structure assumption on homogenized equations. The main idea is that by adjusting the size of the difference quotient of the correctors to make the convergence rate visible. In order to reach our goal, the corresponding flux corrector with some properties are developed. Meanwhile, the shift-arguments is in fact applied down to $\varepsilon$ scale, which leads to a new weighted type inequality for smoothing operator with the weight satisfying Harnack's inequality in small scales. As a result, it is possible to develop some large-scale estimates. We finally mention that our approach brought in a systematic error (this phenomenon will disappear in linear and non-degenerated cases), which was fortunately a quantity $o(\varepsilon)$ here. △ Less

Submitted 12 December, 2018; originally announced December 2018.

Comments: 44pages

Analysis of KNN Information Estimators for Smooth Distributions

Authors: Puning Zhao, Lifeng Lai

Abstract: KSG mutual information estimator, which is based on the distances of each sample to its k-th nearest neighbor, is widely used to estimate mutual information between two continuous random variables. Existing work has analyzed the convergence rate of this estimator for random variables whose densities are bounded away from zero in its support. In practice, however, KSG estimator also performs well f… ▽ More KSG mutual information estimator, which is based on the distances of each sample to its k-th nearest neighbor, is widely used to estimate mutual information between two continuous random variables. Existing work has analyzed the convergence rate of this estimator for random variables whose densities are bounded away from zero in its support. In practice, however, KSG estimator also performs well for a much broader class of distributions, including not only those with bounded support and densities bounded away from zero, but also those with bounded support but densities approaching zero, and those with unbounded support. In this paper, we analyze the convergence rate of the error of KSG estimator for smooth distributions, whose support of density can be both bounded and unbounded. As KSG mutual information estimator can be viewed as an adaptive recombination of KL entropy estimators, in our analysis, we also provide convergence analysis of KL entropy estimator for a broad class of distributions. △ Less

Submitted 24 October, 2019; v1 submitted 26 October, 2018; originally announced October 2018.

Quantitative Estimates on Periodic Homogenization of Nonlinear Elliptic Operators

Authors: Li Wang, Qiang Xu, Peihao Zhao

Abstract: In this paper, we are interested in the periodic homogenization of quasilinear elliptic equations. We obtain error estimates $O(\varepsilon^{1/2})$ for a $C^{1,1}$ domain, and $O(\varepsilon^σ)$ for a Lipschitz domain, in which $σ\in(0,1/2)$ is close to zero. Based upon the convergence rates, an interior Lipschitz estimate, as well as a boundary Hölder estimate can be developed at large scales wit… ▽ More In this paper, we are interested in the periodic homogenization of quasilinear elliptic equations. We obtain error estimates $O(\varepsilon^{1/2})$ for a $C^{1,1}$ domain, and $O(\varepsilon^σ)$ for a Lipschitz domain, in which $σ\in(0,1/2)$ is close to zero. Based upon the convergence rates, an interior Lipschitz estimate, as well as a boundary Hölder estimate can be developed at large scales without any smoothness assumption, and these will implies reverse Hölder estimates established for a $C^1$ domain. By a real method developed by Z.Shen \cite{S3}, we consequently derive a global $W^{1,p}$ estimate for $2\leq p<\infty$. This work may be regarded as an extension of \cite{MAFHL,S5} to a nonlinear operator, and our results may be extended to the related Neumann boundary problems without any real difficulty. △ Less

Submitted 27 July, 2018; originally announced July 2018.

Comments: pages 29