-
Bridging Smoothness and Approximation: Theoretical Insights into Over-Smoothing in Graph Neural Networks
Authors:
Guangrui Yang,
Jianfei Li,
Ming Li,
Han Feng,
Ding-Xuan Zhou
Abstract:
In this paper, we explore the approximation theory of functions defined on graphs. Our study builds upon the approximation results derived from the $K$-functional. We establish a theoretical framework to assess the lower bounds of approximation for target functions using Graph Convolutional Networks (GCNs) and examine the over-smoothing phenomenon commonly observed in these networks. Initially, we…
▽ More
In this paper, we explore the approximation theory of functions defined on graphs. Our study builds upon the approximation results derived from the $K$-functional. We establish a theoretical framework to assess the lower bounds of approximation for target functions using Graph Convolutional Networks (GCNs) and examine the over-smoothing phenomenon commonly observed in these networks. Initially, we introduce the concept of a $K$-functional on graphs, establishing its equivalence to the modulus of smoothness. We then analyze a typical type of GCN to demonstrate how the high-frequency energy of the output decays, an indicator of over-smoothing. This analysis provides theoretical insights into the nature of over-smoothing within GCNs. Furthermore, we establish a lower bound for the approximation of target functions by GCNs, which is governed by the modulus of smoothness of these functions. This finding offers a new perspective on the approximation capabilities of GCNs. In our numerical experiments, we analyze several widely applied GCNs and observe the phenomenon of energy decay. These observations corroborate our theoretical results on exponential decay order.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
On the rates of convergence for learning with convolutional neural networks
Authors:
Yunfei Yang,
Han Feng,
Ding-Xuan Zhou
Abstract:
We study approximation and learning capacities of convolutional neural networks (CNNs) with one-side zero-padding and multiple channels. Our first result proves a new approximation bound for CNNs with certain constraint on the weights. Our second result gives new analysis on the covering number of feed-forward neural networks with CNNs as special cases. The analysis carefully takes into account th…
▽ More
We study approximation and learning capacities of convolutional neural networks (CNNs) with one-side zero-padding and multiple channels. Our first result proves a new approximation bound for CNNs with certain constraint on the weights. Our second result gives new analysis on the covering number of feed-forward neural networks with CNNs as special cases. The analysis carefully takes into account the size of the weights and hence gives better bounds than the existing literature in some situations. Using these two results, we are able to derive rates of convergence for estimators based on CNNs in many learning problems. In particular, we establish minimax optimal convergence rates of the least squares based on CNNs for learning smooth functions in the nonparametric regression setting. For binary classification, we derive convergence rates for CNN classifiers with hinge loss and logistic loss. It is also shown that the obtained rates for classification are minimax optimal in some common settings.
△ Less
Submitted 8 April, 2024; v1 submitted 25 March, 2024;
originally announced March 2024.
-
Knot data analysis using multiscale Gauss link integral
Authors:
Li Shen,
Hongsong Feng,
Fengling Li,
Fengchun Lei,
Jie Wu,
Guo-Wei Wei
Abstract:
In the past decade, topological data analysis (TDA) has emerged as a powerful approach in data science. The main technique in TDA is persistent homology, which tracks topological invariants over the filtration of point cloud data using algebraic topology. Although knot theory and related subjects are a focus of study in mathematics, their success in practical applications is quite limited due to t…
▽ More
In the past decade, topological data analysis (TDA) has emerged as a powerful approach in data science. The main technique in TDA is persistent homology, which tracks topological invariants over the filtration of point cloud data using algebraic topology. Although knot theory and related subjects are a focus of study in mathematics, their success in practical applications is quite limited due to the lack of localization and quantization. We address these challenges by introducing knot data analysis (KDA), a new paradigm that incorporating curve segmentation and multiscale analysis into the Gauss link integral. The resulting multiscale Gauss link integral (mGLI) recovers the global topological properties of knots and links at an appropriate scale but offers multiscale feature vectors to capture the local structures and connectivities of each curve segment at various scales. The proposed mGLI significantly outperforms other state-of-the-art methods in benchmark protein flexibility analysis, including earlier persistent homology-based methods. Our approach enables the integration of artificial intelligence (AI) and KDA for general curve-like objects and data.
△ Less
Submitted 2 October, 2023;
originally announced November 2023.
-
A new approach for stability analysis of 1-D wave equation with time delay
Authors:
Shijie Zhou,
Hongyin** Feng,
Zhiqiang Wang
Abstract:
In our manuscript, we develop a new approach for stability analysis of one-dimensional wave equation with time delay. The major contribution of our work is to develop a new method for spectral analysis. We derive sufficient and necessary conditions for the feedback gain and time delay which guarantee the exponential stability of the closed-loop system. Comparing with similar conditions developed i…
▽ More
In our manuscript, we develop a new approach for stability analysis of one-dimensional wave equation with time delay. The major contribution of our work is to develop a new method for spectral analysis. We derive sufficient and necessary conditions for the feedback gain and time delay which guarantee the exponential stability of the closed-loop system. Comparing with similar conditions developed in the past literatures, we discuss all the situation when the time delay is positive, including when it is irrational. We prove that the exponential stability can be achieved if and only if the time delay is an even number. We also get the general formula term of the stability region of the coupling gain for different even multiples of time delay, and from this we easily obtain the shrink of the stability region as time delay increases. In addition, we explore the impact of slight perturbations in time delay on high frequency robustness.
△ Less
Submitted 27 July, 2023;
originally announced July 2023.
-
Permutation Equivariant Graph Framelets for Heterophilous Graph Learning
Authors:
Jianfei Li,
Ruigang Zheng,
Han Feng,
Ming Li,
Xiaosheng Zhuang
Abstract:
The nature of heterophilous graphs is significantly different from that of homophilous graphs, which causes difficulties in early graph neural network models and suggests aggregations beyond the 1-hop neighborhood. In this paper, we develop a new way to implement multi-scale extraction via constructing Haar-type graph framelets with desired properties of permutation equivariance, efficiency, and s…
▽ More
The nature of heterophilous graphs is significantly different from that of homophilous graphs, which causes difficulties in early graph neural network models and suggests aggregations beyond the 1-hop neighborhood. In this paper, we develop a new way to implement multi-scale extraction via constructing Haar-type graph framelets with desired properties of permutation equivariance, efficiency, and sparsity, for deep learning tasks on graphs. We further design a graph framelet neural network model PEGFAN (Permutation Equivariant Graph Framelet Augmented Network) based on our constructed graph framelets. The experiments are conducted on a synthetic dataset and 9 benchmark datasets to compare performance with other state-of-the-art models. The result shows that our model can achieve the best performance on certain datasets of heterophilous graphs (including the majority of heterophilous datasets with relatively larger sizes and denser connections) and competitive performance on the remaining.
△ Less
Submitted 17 October, 2023; v1 submitted 7 June, 2023;
originally announced June 2023.
-
A Hitting Time Analysis for Stochastic Time-Varying Functions with Applications to Adversarial Attacks on Computation of Markov Decision Processes
Authors:
Ali Yekkehkhany,
Han Feng,
Donghao Ying,
Javad Lavaei
Abstract:
Stochastic time-varying optimization is an integral part of learning in which the shape of the function changes over time in a non-deterministic manner. This paper considers multiple models of stochastic time variation and analyzes the corresponding notion of hitting time for each model, i.e., the period after which optimizing the stochastic time-varying function reveals informative statistics on…
▽ More
Stochastic time-varying optimization is an integral part of learning in which the shape of the function changes over time in a non-deterministic manner. This paper considers multiple models of stochastic time variation and analyzes the corresponding notion of hitting time for each model, i.e., the period after which optimizing the stochastic time-varying function reveals informative statistics on the optimization of the target function. The studied models of time variation are motivated by adversarial attacks on the computation of value iteration in Markov decision processes. In this application, the hitting time quantifies the extent that the computation is robust to adversarial disturbance. We develop upper bounds on the hitting time by analyzing the contraction-expansion transformation appeared in the time-variation models. We prove that the hitting time of the value function in the value iteration with a probabilistic contraction-expansion transformation is logarithmic in terms of the inverse of a desired precision. In addition, the hitting time is analyzed for optimization of unknown continuous or discrete time-varying functions whose noisy evaluations are revealed over time. The upper bound for a continuous function is super-quadratic (but sub-cubic) in terms of the inverse of a desired precision and the upper bound for a discrete function is logarithmic in terms of the cardinality of the function domain. Improved bounds for convex functions are obtained and we show that such functions are learned faster than non-convex functions. Finally, we study a time-varying linear model with additive noise, where hitting time is bounded with the notion of shape dominance.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
SignReLU neural network and its approximation ability
Authors:
Jianfei Li,
Han Feng,
Ding-Xuan Zhou
Abstract:
Deep neural networks (DNNs) have garnered significant attention in various fields of science and technology in recent years. Activation functions define how neurons in DNNs process incoming signals for them. They are essential for learning non-linear transformations and for performing diverse computations among successive neuron layers. In the last few years, researchers have investigated the appr…
▽ More
Deep neural networks (DNNs) have garnered significant attention in various fields of science and technology in recent years. Activation functions define how neurons in DNNs process incoming signals for them. They are essential for learning non-linear transformations and for performing diverse computations among successive neuron layers. In the last few years, researchers have investigated the approximation ability of DNNs to explain their power and success. In this paper, we explore the approximation ability of DNNs using a different activation function, called SignReLU. Our theoretical results demonstrate that SignReLU networks outperform rational and ReLU networks in terms of approximation performance. Numerical experiments are conducted comparing SignReLU with the existing activations such as ReLU, Leaky ReLU, and ELU, which illustrate the competitive practical performance of SignReLU.
△ Less
Submitted 30 August, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Approximation analysis of CNNs from a feature extraction view
Authors:
Jianfei Li,
Han Feng,
Ding-Xuan Zhou
Abstract:
Deep learning based on deep neural networks has been very successful in many practical applications, but it lacks enough theoretical understanding due to the network architectures and structures. In this paper we establish some analysis for linear feature extraction by a deep multi-channel convolutional neural networks (CNNs), which demonstrates the power of deep learning over traditional linear t…
▽ More
Deep learning based on deep neural networks has been very successful in many practical applications, but it lacks enough theoretical understanding due to the network architectures and structures. In this paper we establish some analysis for linear feature extraction by a deep multi-channel convolutional neural networks (CNNs), which demonstrates the power of deep learning over traditional linear transformations, like Fourier, wavelets, redundant dictionary coding methods. Moreover, we give an exact construction presenting how linear features extraction can be conducted efficiently with multi-channel CNNs. It can be applied to lower the essential dimension for approximating a high dimensional function. Rates of function approximation by such deep networks implemented with channels and followed by fully-connected layers are investigated as well. Harmonic analysis for factorizing linear features into multi-resolution convolutions plays an essential role in our work. Nevertheless, a dedicate vectorization of matrices is constructed, which bridges 1D CNN and 2D CNN and allows us to have corresponding 2D analysis.
△ Less
Submitted 2 January, 2024; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Learning of Dynamical Systems under Adversarial Attacks -- Null Space Property Perspective
Authors:
Han Feng,
Baturalp Yalcin,
Javad Lavaei
Abstract:
We study the identification of a linear time-invariant dynamical system affected by large-and-sparse disturbances modeling adversarial attacks or faults. Under the assumption that the states are measurable, we develop necessary and sufficient conditions for the recovery of the system matrices by solving a constrained lasso-type optimization problem. In addition, we provide an upper bound on the es…
▽ More
We study the identification of a linear time-invariant dynamical system affected by large-and-sparse disturbances modeling adversarial attacks or faults. Under the assumption that the states are measurable, we develop necessary and sufficient conditions for the recovery of the system matrices by solving a constrained lasso-type optimization problem. In addition, we provide an upper bound on the estimation error whenever the disturbance sequence is a combination of small noise values and large adversarial values. Our results depend on the null space property that has been widely used in the lasso literature, and we investigate under what conditions this property holds for linear time-invariant dynamical systems. Lastly, we further study the conditions for a specific probabilistic model and support the results with numerical experiments.
△ Less
Submitted 5 October, 2022; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Boundary stabilization and observation of a multi-dimensional unstable heat equation
Authors:
Yusen Meng,
Hongyin** Feng
Abstract:
In this paper, we consider the boundary stabilization and observation of the multidimensional unstable heat equation. Since we consider the heat equation in a general domain, the usual partial differential equation back-step** method is hard to apply to the considered problems. The unstable dynamics of the heat equation are treated by combining the finite-dimensional spectral truncation method a…
▽ More
In this paper, we consider the boundary stabilization and observation of the multidimensional unstable heat equation. Since we consider the heat equation in a general domain, the usual partial differential equation back-step** method is hard to apply to the considered problems. The unstable dynamics of the heat equation are treated by combining the finite-dimensional spectral truncation method and the dynamics compensation method. By introducing additional finite-dimensional actuator/sensor dynamics, the unbounded stabilization/observation turns to be a bounded one. As a result, the controller/observer design becomes more easier. Both the full state feedback stabilizer and the state observer are designed. The exponential stability of the closed-loop and the wellposedness of the observer are obtained.
△ Less
Submitted 24 March, 2022;
originally announced March 2022.
-
Convolutional Neural Networks for Spherical Signal Processing via Spherical Haar Tight Framelets
Authors:
Jianfei Li,
Han Feng,
Xiaosheng Zhuang
Abstract:
In this paper, we develop a general theoretical framework for constructing Haar-type tight framelets on any compact set with a hierarchical partition. In particular, we construct a novel area-regular hierarchical partition on the 2-sphere and establish its corresponding spherical Haar tight framelets with directionality. We conclude by evaluating and illustrating the effectiveness of our area-regu…
▽ More
In this paper, we develop a general theoretical framework for constructing Haar-type tight framelets on any compact set with a hierarchical partition. In particular, we construct a novel area-regular hierarchical partition on the 2-sphere and establish its corresponding spherical Haar tight framelets with directionality. We conclude by evaluating and illustrating the effectiveness of our area-regular spherical Haar tight framelets in several denoising experiments. Furthermore, we propose a convolutional neural network (CNN) model for spherical signal denoising which employs the fast framelet decomposition and reconstruction algorithms. Experiment results show that our proposed CNN model outperforms threshold methods, and processes strong generalization and robustness properties.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Radial Basis Function Approximation with Distributively Stored Data on Spheres
Authors:
Han Feng,
Shao-Bo Lin,
Ding-Xuan Zhou
Abstract:
This paper proposes a distributed weighted regularized least squares algorithm (DWRLS) based on spherical radial basis functions and spherical quadrature rules to tackle spherical data that are stored across numerous local servers and cannot be shared with each other. Via develo** a novel integral operator approach, we succeed in deriving optimal approximation rates for DWRLS and theoretically d…
▽ More
This paper proposes a distributed weighted regularized least squares algorithm (DWRLS) based on spherical radial basis functions and spherical quadrature rules to tackle spherical data that are stored across numerous local servers and cannot be shared with each other. Via develo** a novel integral operator approach, we succeed in deriving optimal approximation rates for DWRLS and theoretically demonstrate that DWRLS performs similarly as running a weighted regularized least squares algorithm with the whole data on a large enough machine. This interesting finding implies that distributed learning is capable of sufficiently exploiting potential values of distributively stored spherical data, even though every local server cannot access all the data.
△ Less
Submitted 13 November, 2022; v1 submitted 5 December, 2021;
originally announced December 2021.
-
Test of Significance for High-dimensional Thresholds with Application to Individualized Minimal Clinically Important Difference
Authors:
Huijie Feng,
**gyi Duan,
Yang Ning,
Jiwei Zhao
Abstract:
This work is motivated by learning the individualized minimal clinically important difference, a vital concept to assess clinical importance in various biomedical studies. We formulate the scientific question into a high-dimensional statistical problem where the parameter of interest lies in an individualized linear threshold. The goal is to develop a hypothesis testing procedure for the significa…
▽ More
This work is motivated by learning the individualized minimal clinically important difference, a vital concept to assess clinical importance in various biomedical studies. We formulate the scientific question into a high-dimensional statistical problem where the parameter of interest lies in an individualized linear threshold. The goal is to develop a hypothesis testing procedure for the significance of a single element in this parameter as well as of a linear combination of this parameter. The difficulty dues to the high-dimensional nuisance in develo** such a testing procedure, and also stems from the fact that this high-dimensional threshold model is nonregular and the limiting distribution of the corresponding estimator is nonstandard. To deal with these challenges, we construct a test statistic via a new bias-corrected smoothed decorrelated score approach, and establish its asymptotic distributions under both null and local alternative hypotheses. We propose a double-smoothing approach to select the optimal bandwidth in our test statistic and provide theoretical guarantees for the selected bandwidth. We conduct simulation studies to demonstrate how our proposed procedure can be applied in empirical studies. We apply the proposed method to a clinical trial where the scientific goal is to assess the clinical importance of a surgery procedure.
△ Less
Submitted 26 March, 2023; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Boundary Stabilization and Observation of an Unstable Heat Equation in a General Multi-dimensional Domain
Authors:
Hongyin** Feng,
Pei-Hua Lang,
Jiankang Liu
Abstract:
In this paper, we consider the exponential stabilization and observation of an unstable heat equation in a general multi-dimensional domain by combining the finite-dimensional spectral truncation technique and the recently developed dynamics compensation approach. In contrast to the unstable one-dimensional partial differential equation (PDE), such as the transport equation, wave equation and the…
▽ More
In this paper, we consider the exponential stabilization and observation of an unstable heat equation in a general multi-dimensional domain by combining the finite-dimensional spectral truncation technique and the recently developed dynamics compensation approach. In contrast to the unstable one-dimensional partial differential equation (PDE), such as the transport equation, wave equation and the heat equation, that can be treated by the well-known PDE backstep** method, stabilization of unstable PDE in a general multi-dimensional domain is still a challenging problem. We treat the stabilization and observation problems separately. A dynamical state feedback law is proposed firstly to stabilize the unstable heat equation exponentially and then a state observer is designed via a boundary measurement. Both the stability of the closed-loop system and the well-posedness of the observer are proved. Some of the theoretical results are validated by the numerical simulations.
△ Less
Submitted 4 February, 2021;
originally announced February 2021.
-
Extended Dynamics Observer for Linear Systems with Disturbance
Authors:
Hongyin** Feng,
Bao-Zhu Guo
Abstract:
This is the last part of four series papers, aiming at stabilization for signal-input-signaloutput (SISO) linear finite-dimensional systems corrupted by general input disturbances. A new observer, referred to as Extended Dynamics Observer (EDO), is proposed to estimate both the state and disturbance simultaneously. The working mechanism of EDO consists of two parts: The disturbance with known dyna…
▽ More
This is the last part of four series papers, aiming at stabilization for signal-input-signaloutput (SISO) linear finite-dimensional systems corrupted by general input disturbances. A new observer, referred to as Extended Dynamics Observer (EDO), is proposed to estimate both the state and disturbance simultaneously. The working mechanism of EDO consists of two parts: The disturbance with known dynamics is canceled completely by its dynamics and the disturbance with unknown dynamics is absorbed by high-gain. It is found that the high-gain is always working as long as the control plant with unknown input disturbance is observable which is the only assumption for the observer design. When the disturbance dynamics are completely unknown except some boundedness, the EDO is reduced to an extension of the well-known extended state observer or high-gain observer. The main advantage of the developed method is that the prior information about both the control plant and the disturbance can be utilized as much as possible. The more the prior information we have, the better performance the observer would be. An EDO based stabilizing output feedback is also developed in the spirit of estimation/cancellation strategy. The stability of the resulting closed-loop system is established and some of the theoretical results are validated by numerical simulations.
△ Less
Submitted 12 November, 2020;
originally announced November 2020.
-
Dynamics Compensation in Observation of Abstract Linear Systems
Authors:
Hongyin** Feng,
Xiao-Hui Wu,
Bao-Zhu Guo
Abstract:
This is the second part of four series papers, aiming at the problem of sensor dynamics compensation for abstract linear systems. Two major issues are addressed. The first one is about the sensor dynamics compensation in system observation and the second one is on the disturbance dynamics compensation in output regulation for linear system. Both of them can be described by the problem of state obs…
▽ More
This is the second part of four series papers, aiming at the problem of sensor dynamics compensation for abstract linear systems. Two major issues are addressed. The first one is about the sensor dynamics compensation in system observation and the second one is on the disturbance dynamics compensation in output regulation for linear system. Both of them can be described by the problem of state observation for an abstract cascade system. We consider these two apparently different problems from the same abstract linear system point of view. A new scheme of the observer design for the abstract cascade system is developed and the exponential convergence of the observation error is established. It is shown that the error based observer design in the problem of output regulation can be converted into a sensor dynamics compensation problem by the well known regulator equations. As a result, a tracking error based observer for output regulation problem is designed by exploiting the developed method. As applications, the ordinary differential equations (ODEs) with output time-delay and an unstable heat equation with ODE sensor dynamics are fully investigated to validate the theoretical results. The numerical simulations for the unstable heat system are carried out to validate the proposed method visually.
△ Less
Submitted 3 September, 2020;
originally announced September 2020.
-
Actuator Dynamics Compensation in Stabilization of Abstract Linear Systems
Authors:
Hongyin** Feng,
Xiao-Hui Wu,
Bao-Zhu Guo
Abstract:
This is the first part of four series papers, aiming at the problem of actuator dynamics compensation for linear systems. We consider the stabilization of a type of cascade abstract linear systems which model the actuator dynamics compensation for linear systems where both the control plant and its actuator dynamics can be infinite-dimensional. We develop a systematic way to stabilize the cascade…
▽ More
This is the first part of four series papers, aiming at the problem of actuator dynamics compensation for linear systems. We consider the stabilization of a type of cascade abstract linear systems which model the actuator dynamics compensation for linear systems where both the control plant and its actuator dynamics can be infinite-dimensional. We develop a systematic way to stabilize the cascade systems by a full state feedback. Both the well-posedness and the exponential stability of the resulting closed-loop system are established in the abstract framework. A sufficient condition of the existence of compensator for ordinary differential equation (ODE) with partial differential equation (PDE) actuator dynamics is obtained. The feedback design is based on a novelly constructed upper-block-triangle transform and the Lyapunov function design is not needed in the stability analysis. As applications, an ODE with input delay and an unstable heat equation with ODE actuator dynamics are investigated to validate the theoretical results. The numerical simulations for the unstable heat system are carried out to validate the proposed approach visually.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Theory of Deep Convolutional Neural Networks II: Spherical Analysis
Authors:
Zhiying Fang,
Han Feng,
Shuo Huang,
Ding-Xuan Zhou
Abstract:
Deep learning based on deep neural networks of various structures and architectures has been powerful in many practical applications, but it lacks enough theoretical verifications. In this paper, we consider a family of deep convolutional neural networks applied to approximate functions on the unit sphere $\mathbb{S}^{d-1}$ of $\mathbb{R}^d$. Our analysis presents rates of uniform approximation wh…
▽ More
Deep learning based on deep neural networks of various structures and architectures has been powerful in many practical applications, but it lacks enough theoretical verifications. In this paper, we consider a family of deep convolutional neural networks applied to approximate functions on the unit sphere $\mathbb{S}^{d-1}$ of $\mathbb{R}^d$. Our analysis presents rates of uniform approximation when the approximated function lies in the Sobolev space $W^r_\infty (\mathbb{S}^{d-1})$ with $r>0$ or takes an additive ridge form. Our work verifies theoretically the modelling and approximation ability of deep convolutional neural networks followed by downsampling and one fully connected layer or two. The key idea of our spherical analysis is to use the inner product form of the reproducing kernels of the spaces of spherical harmonics and then to apply convolutional factorizations of filters to realize the generated linear features.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Boundary layer in linear viscoelasticity
Authors:
Hualong Feng
Abstract:
It is well known that a boundary layer develops along an infinite plate under oscillatory motion in a Newtonian fluid. In this work, this oscillatory boundary layer theory is generalized to the case of linear viscoelastic(LVE) flow. We demonstrate that the dynamics in LVE are generically different than those for flow of similar settings in Newtonian fluids, in several aspects. These new discoverie…
▽ More
It is well known that a boundary layer develops along an infinite plate under oscillatory motion in a Newtonian fluid. In this work, this oscillatory boundary layer theory is generalized to the case of linear viscoelastic(LVE) flow. We demonstrate that the dynamics in LVE are generically different than those for flow of similar settings in Newtonian fluids, in several aspects. These new discoveries are expected to have consequences on related engineering applications. Mimicking the theory for Stokes oscillatory layers along an infinite plate in Newtonian flow, we derive a similar oscillatory boundary layer formula for the case of LVE. In fact, the new theory includes the Stokes layer theory as a special case. For the disturbance flow caused by particles undergoing oscillatory motion in linear viscoelasticity(LVE), a numerical investigation is necessary. A boundary integral method is developed for this purpose. We verify our numerical method by comparing its results to an existing analytic solution, in the simple case of a spherical particle. Then the numerical method is applied in case studies of more general geometries. Two geometries are considered because of their prevalence in applications: spheroids; dumbbells and biconcave disks.
△ Less
Submitted 12 December, 2019;
originally announced December 2019.
-
Dispersive estimates for inhomogeneous fourth-order Schrödinger operator in 3D with zero energy obstructions
Authors:
Hongliang Feng
Abstract:
We study the $L^1-L^\infty$ dispersive estimate of the inhomogeneous fourth-order Schrödinger operator $H=Δ^{2}-Δ+V(x)$ with zero energy obstructions in $\mathbf{R}^{3}$. For the related propagator $e^{-itH}$, we prove that for $0<t\leq 1$, then $e^{-itH}P_{ac}(H)$ satisfies the $|t|^{-3/4}$-estimate. For $t>1$, we prove that:\,\, 1) if zero is a regular point of $H$, then $e^{-itH}P_{ac}(H)$ sati…
▽ More
We study the $L^1-L^\infty$ dispersive estimate of the inhomogeneous fourth-order Schrödinger operator $H=Δ^{2}-Δ+V(x)$ with zero energy obstructions in $\mathbf{R}^{3}$. For the related propagator $e^{-itH}$, we prove that for $0<t\leq 1$, then $e^{-itH}P_{ac}(H)$ satisfies the $|t|^{-3/4}$-estimate. For $t>1$, we prove that:\,\, 1) if zero is a regular point of $H$, then $e^{-itH}P_{ac}(H)$ satisfies the $|t|^{-3/2}$- dispersive estimate.\,\, 2) if zero is a resonance of $H$, there exists a time dependent operator $F_{t}$ such that $e^{-itH}P_{ac}(H)-F_{t}$ satisfies the $|t|^{-3/2}$- dispersive estimate.\,\, 3) if zero is a resonance and~/~or an eigenvalue of $H$, then there exists a time dependent operator $G_{t}$ such that $e^{-itH}P_{ac}(H)-G_{t}$ satisfies the $|t|^{-3/2}$- dispersive estimate. Here $F_{t}$ and $G_{t}$ satisfy $|t|^{-1/2}$-dispersive estimates.
△ Less
Submitted 27 January, 2021; v1 submitted 7 September, 2019;
originally announced September 2019.
-
Bayesian Design of Sampling Set for Bandlimited Graph Signals
Authors:
Xuan Xie,
Junhao Yu,
Hui Feng,
Bo Hu
Abstract:
The design of sampling set (DoS) for bandlimited graph signals (GS) has been extensively studied in recent years, but few of them exploit the benefits of the stochastic prior of GS. In this work, we introduce the optimization framework for Bayesian DoS of bandlimited GS. We also illustrate how the choice of different sampling sets affects the estimation error and how the prior knowledge influences…
▽ More
The design of sampling set (DoS) for bandlimited graph signals (GS) has been extensively studied in recent years, but few of them exploit the benefits of the stochastic prior of GS. In this work, we introduce the optimization framework for Bayesian DoS of bandlimited GS. We also illustrate how the choice of different sampling sets affects the estimation error and how the prior knowledge influences the result of DoS compared with the non-Bayesian DoS by the aid of analyzing Gershgorin discs of error metric matrix. Finally, based on our analysis, we propose a heuristic algorithm for DoS to avoid solving the optimization problem directly.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
Nonregular and Minimax Estimation of Individualized Thresholds in High Dimension with Binary Responses
Authors:
Huijie Feng,
Yang Ning,
Jiwei Zhao
Abstract:
Given a large number of covariates $Z$, we consider the estimation of a high-dimensional parameter $θ$ in an individualized linear threshold $θ^T Z$ for a continuous variable $X$, which minimizes the disagreement between $\text{sign}(X-θ^TZ)$ and a binary response $Y$. While the problem can be formulated into the M-estimation framework, minimizing the corresponding empirical risk function is compu…
▽ More
Given a large number of covariates $Z$, we consider the estimation of a high-dimensional parameter $θ$ in an individualized linear threshold $θ^T Z$ for a continuous variable $X$, which minimizes the disagreement between $\text{sign}(X-θ^TZ)$ and a binary response $Y$. While the problem can be formulated into the M-estimation framework, minimizing the corresponding empirical risk function is computationally intractable due to discontinuity of the sign function. Moreover, estimating $θ$ even in the fixed-dimensional setting is known as a nonregular problem leading to nonstandard asymptotic theory. To tackle the computational and theoretical challenges in the estimation of the high-dimensional parameter $θ$, we propose an empirical risk minimization approach based on a regularized smoothed loss function. The statistical and computational trade-off of the algorithm is investigated. Statistically, we show that the finite sample error bound for estimating $θ$ in $\ell_2$ norm is $(s\log d/n)^{β/(2β+1)}$, where $d$ is the dimension of $θ$, $s$ is the sparsity level, $n$ is the sample size and $β$ is the smoothness of the conditional density of $X$ given the response $Y$ and the covariates $Z$. The convergence rate is nonstandard and slower than that in the classical Lasso problems. Furthermore, we prove that the resulting estimator is minimax rate optimal up to a logarithmic factor. The Lepski's method is developed to achieve the adaption to the unknown sparsity $s$ and smoothness $β$. Computationally, an efficient path-following algorithm is proposed to compute the solution path. We show that this algorithm achieves geometric rate of convergence for computing the whole path. Finally, we evaluate the finite sample performance of the proposed estimator in simulation studies and a real data analysis.
△ Less
Submitted 26 May, 2019;
originally announced May 2019.
-
Esca** Locally Optimal Decentralized Control Polices via Dam**
Authors:
Han Feng,
Javad Lavaei
Abstract:
We study the evolution of locally optimal decentralized controllers with the dam** of the control system. Empirically it is shown that even for instances with an exponential number of connected components, dam** merges all local solutions to the one global solution. We characterize the evolution of locally optimal solutions with the notion of hemi-continuity and further derive asymptotic prope…
▽ More
We study the evolution of locally optimal decentralized controllers with the dam** of the control system. Empirically it is shown that even for instances with an exponential number of connected components, dam** merges all local solutions to the one global solution. We characterize the evolution of locally optimal solutions with the notion of hemi-continuity and further derive asymptotic properties of the objective function and of the locally optimal controllers as the dam** becomes large. Especially, we prove that with enough dam**, there is no spurious locally optimal controller with favorable control structures. The convoluted behavior of the locally optimal trajectory is illustrated with numerical examples.
△ Less
Submitted 23 May, 2019;
originally announced May 2019.
-
Decay estimates for higher order elliptic operators
Authors:
Hongliang Feng,
Avy Soffer,
Zhao Wu,
Xiaohua Yao
Abstract:
This paper is mainly devoted to study time decay estimates of the higher-order Schrödinger type operator $H=(-Δ)^{m}+V(x)$ in $\mathbf{R}^{n}$ for $n>2m$ and $m\in\mathbf{N}$. For certain decay potentials $V(x)$, we first derive the asymptotic expansions of resolvent $R_{V}(z)$ near zero threshold with the presence of zero resonance or zero eigenvalue, as well identify the resonance space for each…
▽ More
This paper is mainly devoted to study time decay estimates of the higher-order Schrödinger type operator $H=(-Δ)^{m}+V(x)$ in $\mathbf{R}^{n}$ for $n>2m$ and $m\in\mathbf{N}$. For certain decay potentials $V(x)$, we first derive the asymptotic expansions of resolvent $R_{V}(z)$ near zero threshold with the presence of zero resonance or zero eigenvalue, as well identify the resonance space for each kind of zero resonance which displays different effects on time decay rate. Then we establish Kato-Jensen type estimates and local decay estimates for higher order Schrödinger propagator $e^{-itH}$ in the presence of zero resonance or zero eigenvalue. As a consequence, the endpoint Strichartz estimate and $L^{p}$-decay estimates can also be obtained. Finally, by a virial argument, a criterion on the absence of positive embedded eigenvalues is given for $(-Δ)^{m}+V(x)$ with a repulsive potential.
△ Less
Submitted 10 September, 2019; v1 submitted 28 April, 2019;
originally announced April 2019.
-
Aggressive Local Search for Constrained Optimal Control Problems with Many Local Minima
Authors:
Yuhao Ding,
Han Feng,
Javad Lavaei
Abstract:
This paper is concerned with numerically finding a global solution of constrained optimal control problems with many local minima. The focus is on the optimal decentralized control (ODC) problem, whose feasible set is recently shown to have an exponential number of connected components and consequently an exponential number of local minima. The rich literature of numerical algorithms for nonlinear…
▽ More
This paper is concerned with numerically finding a global solution of constrained optimal control problems with many local minima. The focus is on the optimal decentralized control (ODC) problem, whose feasible set is recently shown to have an exponential number of connected components and consequently an exponential number of local minima. The rich literature of numerical algorithms for nonlinear optimization suggests that if a local search algorithm is initialized in an arbitrary connected component of the feasible set, it would search only within that component and find a stationary point there. This is based on the fact that numerical algorithms are designed to generate a sequence of points (via searching for descent directions and adjusting the step size), whose corresponding continuous path is trapped in a single connected component. In contrast with this perception rooted in convex optimization, we numerically illustrate that local search methods for non-convex constrained optimization can obliviously jump between different connected components to converge to a global minimum, via an aggressive step size adjustment using backtracking and the Armijio rule. To support the observations, we prove that from almost every arbitrary point in any connected component of the feasible set, it is possible to generate a sequence of points using local search to jump to different components and converge to a global solution. However, due to the NP-hardness of the problem, such fine-tuning of the parameters of a local search algorithm may need prior knowledge or be time consuming. This paper offers the first result on esca** non-global local solutions of constrained optimal control problems with complicated feasible sets.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
An equivalence theorem of a class of Minkowski norms and its applications
Authors:
Huitao Feng,
Yuhua Han,
Ming Li
Abstract:
In this paper, the Cartan tensors of the $(α,β)$-norms are investigated in details. Then an equivalence theorem of $(α,β)$-norms is proved. As a consequence in Finsler geometry, general $(α,β)$-metrics on smooth manifolds of dimension $n\geq4$ with vanishing Landsberg curvatures must be Berwald manifolds.
In this paper, the Cartan tensors of the $(α,β)$-norms are investigated in details. Then an equivalence theorem of $(α,β)$-norms is proved. As a consequence in Finsler geometry, general $(α,β)$-metrics on smooth manifolds of dimension $n\geq4$ with vanishing Landsberg curvatures must be Berwald manifolds.
△ Less
Submitted 1 December, 2020; v1 submitted 31 December, 2018;
originally announced December 2018.
-
Time Asymptotic expansions of solution for fourth-order Schrödinger equation with zero resonance or eigenvalue
Authors:
Hongliang Feng,
Zhao Wu,
Xiaohua Yao
Abstract:
In this paper, we first deduce the asymptotic expansions of resolvent of $H=(-Δ)^2+V$ with the presence of resonance or eigenvalue at the degenerate zero threshold for $d\geq5$. In particular, we identify these resonance spaces for full kinds of zero resonances. As a consequence, we then establish the {\it time asymptotic expansions} and {\it Kato-Jensen estimates} for the solution of fourth-order…
▽ More
In this paper, we first deduce the asymptotic expansions of resolvent of $H=(-Δ)^2+V$ with the presence of resonance or eigenvalue at the degenerate zero threshold for $d\geq5$. In particular, we identify these resonance spaces for full kinds of zero resonances. As a consequence, we then establish the {\it time asymptotic expansions} and {\it Kato-Jensen estimates} for the solution of fourth-order Schrödinger equation under the presence of zero resonance or eigenvalue.
△ Less
Submitted 28 March, 2019; v1 submitted 1 December, 2018;
originally announced December 2018.
-
Complex Finsler vector bundles with positive Kobayashi curvature
Authors:
Huitao Feng,
Kefeng Liu,
Xueyuan Wan
Abstract:
In this short note, we prove that a complex Finsler vector bundle with positive Kobayashi curvature must be ample, which partially solves a problem of S. Kobayashi posed in 1975. As applications, a strongly pseudoconvex complex Finsler manifold with positive Kobayashi curvature must be biholomorphic to the complex projective space; we also show that all Schur polynomials are numerically positive f…
▽ More
In this short note, we prove that a complex Finsler vector bundle with positive Kobayashi curvature must be ample, which partially solves a problem of S. Kobayashi posed in 1975. As applications, a strongly pseudoconvex complex Finsler manifold with positive Kobayashi curvature must be biholomorphic to the complex projective space; we also show that all Schur polynomials are numerically positive for complex Finsler vector bundles with positive Kobayashi curvature.
△ Less
Submitted 18 December, 2019; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Best polynomial approximation on the triangle
Authors:
Han Feng,
Christian Krattenthaler,
Yuan Xu
Abstract:
Let $E_n(f)_{α,β,γ}$ denote the error of best approximation by polynomials of degree at most $n$ in the space $L^2(\varpi_{α,β,γ})$ on the triangle $\{(x,y): x, y \ge 0, x+y \le 1\}$, where $\varpi_{α,β,γ}(x,y) := x^αy ^β(1-x-y)^γ$ for $α,β,γ> -1$. Our main result gives a sharp estimate of $E_n(f)_{α,β,γ}$ in terms of the error of best approximation for higher order derivatives of $f$ in appropria…
▽ More
Let $E_n(f)_{α,β,γ}$ denote the error of best approximation by polynomials of degree at most $n$ in the space $L^2(\varpi_{α,β,γ})$ on the triangle $\{(x,y): x, y \ge 0, x+y \le 1\}$, where $\varpi_{α,β,γ}(x,y) := x^αy ^β(1-x-y)^γ$ for $α,β,γ> -1$. Our main result gives a sharp estimate of $E_n(f)_{α,β,γ}$ in terms of the error of best approximation for higher order derivatives of $f$ in appropriate Sobolev spaces. The result also leads to a characterization of $E_n(f)_{α,β,γ}$ by a weighted $K$-functional.
△ Less
Submitted 13 November, 2017;
originally announced November 2017.
-
Geodesic-Einstein metrics and nonlinear stabilities
Authors:
Huitao Feng,
Kefeng Liu,
Xueyuan Wan
Abstract:
In this paper, we introduce notions of nonlinear stabilities for a relative ample line bundle over a holomorphic fibration and define the notion of a geodesic-Einstein metric on this line bundle, which generalize the classical stabilities and Hermitian-Einstein metrics of holomorphic vector bundles. We introduce a Donaldson type functional and show that this functional attains its absolute minimum…
▽ More
In this paper, we introduce notions of nonlinear stabilities for a relative ample line bundle over a holomorphic fibration and define the notion of a geodesic-Einstein metric on this line bundle, which generalize the classical stabilities and Hermitian-Einstein metrics of holomorphic vector bundles. We introduce a Donaldson type functional and show that this functional attains its absolute minimum at geodesic-Einstein metrics, and we also discuss the relations between the existence of geodesic-Einstein metrics and the nonlinear stabilities of the line bundle. As an application, we will prove that a holomorphic vector bundle admits a Finsler-Einstein metric if and only if it admits a Hermitian-Einstein metric, which answers a problem posed by S. Kobayashi.
△ Less
Submitted 20 August, 2018; v1 submitted 27 October, 2017;
originally announced October 2017.
-
Compact Kähler manifolds with positive orthogonal bisectional curvature
Authors:
Huitao Feng,
Kefeng Liu,
Xueyuan Wan
Abstract:
In this short note, using Siu-Yau's method [14], we give a new proof that any n-dimensional compact Kahler manifold with positive orthogonal bisectional curvature must be biholomorphic to $\mathbb{P}^n$.
In this short note, using Siu-Yau's method [14], we give a new proof that any n-dimensional compact Kahler manifold with positive orthogonal bisectional curvature must be biholomorphic to $\mathbb{P}^n$.
△ Less
Submitted 27 October, 2017;
originally announced October 2017.
-
Chebyshev-type cubature formulas for doubling weights on spheres, balls and simplexes
Authors:
Feng Dai,
Han Feng
Abstract:
This paper proves that given a doubling weight $w$ on the unit sphere $\mathbb{S}^{d-1}$ of $\mathbb{R}^d$, there exists a positive constant $K_w$ such that for each positive integer $n$ and each integer $N\geq \max_{x\in \mathbb{S}^{d-1}} \frac {K_w} {w(B(x, n^{-1}))}$, there exists a set of $N$ distinct nodes $z_1,\cdots, z_N$ on $\mathbb{S}^{d-1}$ which admits a strict Chebyshev-type cubature f…
▽ More
This paper proves that given a doubling weight $w$ on the unit sphere $\mathbb{S}^{d-1}$ of $\mathbb{R}^d$, there exists a positive constant $K_w$ such that for each positive integer $n$ and each integer $N\geq \max_{x\in \mathbb{S}^{d-1}} \frac {K_w} {w(B(x, n^{-1}))}$, there exists a set of $N$ distinct nodes $z_1,\cdots, z_N$ on $\mathbb{S}^{d-1}$ which admits a strict Chebyshev-type cubature formula (CF) of degree $n$ for the measure $w(x) dσ_d(x)$, $$ \frac 1{w(\mathbb{S}^{d-1})} \int_{\mathbb{S}^{d-1}} f(x) w(x)\, dσ_d(x)=\frac 1N \sum_{j=1}^N f(z_j),\ \ \forall f\inΠ_n^d, $$ and which, if in addition $w\in L^\infty(\mathbb{S}^{d-1})$, satisfies $$\min_{1\leq i\neq j\leq N}\mathtt{d}(z_i,z_j)\geq c_{w,d} N^{-\frac1{d-1}}$$ for some positive constant $c_{w,d}$. Here, $dσ_d$ and $\mathtt{d}(\cdot, \cdot)$ denote the surface Lebesgue measure and the geodesic distance on $\mathbb{S}^{d-1}$ respectively, $B(x,r)$ denotes the spherical cap with center $x\in\mathbb{S}^{d-1}$ and radius $r>0$, $w(E)=\int_E w(x) \, dσ_d(x)$ for $E\subset\mathbb{S}^{d-1}$, and $Π_n^d$ denotes the space of all spherical polynomials of degree at most $n$ on $\mathbb{S}^{d-1}$. It is also shown that the minimal number of nodes $\mathcal{N}_{n} (wdσ_d)$ in a strict Chebyshev-type CF of degree $n$ for a doubling weight $w$ on $\mathbb{S}^{d-1}$ satisfies $$\mathcal{N}_n (wdσ_d) \sim \max_{x\in \mathbb{S}^{d-1}} \frac 1 {w(B(x, n^{-1}))},\ \ n=1,2,\cdots.$$ Proofs of these results rely on new convex partitions of $\mathbb{S}^{d-1}$ that are regular with respect to a given weight $w$ and integer $N$. Our results extend the recent results of Bondarenko, Radchenko, and Viazovska on spherical designs ({\it Ann. of Math. (2)} {\bf 178}(2013), no. 2, 443--452,{\it Constr. Approx.} {\bf 41}(2015), no. 1, 93--112).
△ Less
Submitted 12 July, 2017; v1 submitted 13 May, 2017;
originally announced May 2017.
-
Decay Estimates and Strichartz Estimates of Fourth-order Schrödinger Operator
Authors:
Hongliang Feng,
Avy Soffer,
Xiaohua Yao
Abstract:
We study time decay estimates of the fourth-order Schrödinger operator $H=(-Δ)^{2}+V(x)$ in $\mathbb{R}^{d}$ for $d=3$ and $d\geq5$. We analyze the low energy and high energy behaviour of resolvent $R(H; z)$, and then derive the Jensen-Kato dispersion decay estimate and local decay estimate for $e^{-itH}P_{ac}$ under suitable spectrum assumptions of $H$. Based on Jensen-Kato decay estimate and loc…
▽ More
We study time decay estimates of the fourth-order Schrödinger operator $H=(-Δ)^{2}+V(x)$ in $\mathbb{R}^{d}$ for $d=3$ and $d\geq5$. We analyze the low energy and high energy behaviour of resolvent $R(H; z)$, and then derive the Jensen-Kato dispersion decay estimate and local decay estimate for $e^{-itH}P_{ac}$ under suitable spectrum assumptions of $H$. Based on Jensen-Kato decay estimate and local decay estimate, we obtain the $L^1\rightarrow L^{\infty}$ estimate of $e^{-itH}P_{ac}$ in $3$-dimension by Ginibre argument, and also establish the endpoint global Strichartz estimates of $e^{-itH}P_{ac}$ for $d\geq5$. Furthermore, using the local decay estimate and the Georgescu-Larenas-Soffer conjugate operator method, we prove the Jensen-Kato type decay estimates for some functions of $H$.
△ Less
Submitted 24 October, 2017; v1 submitted 1 March, 2017;
originally announced March 2017.
-
Optimal Control of a Levy Inventory System: The Optimality of Control Band Policy
Authors:
**biao Wu,
Haolin Feng,
Dacheng Yao
Abstract:
We consider an inventory system whose state is modeled by a Lévy process. There are two types of costs--the running costs and the inventory control costs. The running costs (also known as the holding/penalty costs) are incurred continuously at some rate as a function of the inventory state. The inventory control costs, incurred only when interventions of the inventory state are placed, have both a…
▽ More
We consider an inventory system whose state is modeled by a Lévy process. There are two types of costs--the running costs and the inventory control costs. The running costs (also known as the holding/penalty costs) are incurred continuously at some rate as a function of the inventory state. The inventory control costs, incurred only when interventions of the inventory state are placed, have both a fixed and a variable component. The objective is to minimize the expectation of the infinite horizon discounted costs. We formulate this as a stochastic impulse control problem. In our setting, we obtain analytical results that are of significant implications. Specifically, we establish the existence of the optimal control, and we provide the solution in closed-form. More importantly, we prove the optimality of the simple control band policy. Furthermore, we investigate the transient and the steady-state behavior of the controlled process and the stochastic decomposition property.
△ Less
Submitted 31 August, 2016; v1 submitted 28 July, 2016;
originally announced July 2016.
-
Superconnections and An Intrinsic Gauss-Bonnet-Chern Formula for Finsler Manifolds
Authors:
Huitao Feng,
Ming Li
Abstract:
In this paper, we establish an intrinsic Gauss-Bonnet-Chern formula for Finsler manifolds by using the Mathai-Quillen's superconnection formalism, in which no extra vector field is involved. Furthermore, we prove a more general Lichnerowicz formula in this direction through a geometric localization procedure.
In this paper, we establish an intrinsic Gauss-Bonnet-Chern formula for Finsler manifolds by using the Mathai-Quillen's superconnection formalism, in which no extra vector field is involved. Furthermore, we prove a more general Lichnerowicz formula in this direction through a geometric localization procedure.
△ Less
Submitted 17 January, 2021; v1 submitted 22 July, 2016;
originally announced July 2016.
-
Flat vector bundles and open coverings
Authors:
Huitao Feng,
Wei** Zhang
Abstract:
We establish a generic counting formula for the Euler number of a flat vector bundle of rank $2n$ over a $2n$ dimensional closed manifold, in terms of vertices of transversal open coverings of the underlying manifold. We use the Mathai-Quillen formalism to prove our result.
We establish a generic counting formula for the Euler number of a flat vector bundle of rank $2n$ over a $2n$ dimensional closed manifold, in terms of vertices of transversal open coverings of the underlying manifold. We use the Mathai-Quillen formalism to prove our result.
△ Less
Submitted 20 September, 2017; v1 submitted 23 March, 2016;
originally announced March 2016.
-
Uncertainty Principles on weighted spheres, balls and simplexes
Authors:
Han Feng
Abstract:
This paper studies the uncertainty principle for spherical $h$-harmonic expansions on the unit sphere of $\mathbb{R}^d$ associated with a weight function invariant under a general finite reflection group, which is in full analogy with the classical Heisenberg inequality. Our proof is motivated by a new decomposition of the Dunkl-Laplace-Beltrami operator on the weighted sphere.
This paper studies the uncertainty principle for spherical $h$-harmonic expansions on the unit sphere of $\mathbb{R}^d$ associated with a weight function invariant under a general finite reflection group, which is in full analogy with the classical Heisenberg inequality. Our proof is motivated by a new decomposition of the Dunkl-Laplace-Beltrami operator on the weighted sphere.
△ Less
Submitted 16 November, 2015;
originally announced November 2015.
-
Human Behavior Algorithms for Highly Efficient Global Optimization
Authors:
Da-Zheng Feng,
Han-Zhe Feng,
Hai-Qin Zhang
Abstract:
The global optimization have the very extensive applications in econometrics, science and engineering. However, the global optimization for non-convex objective functions is particularly difficult since most of the existing global optimization methods depend on the local linear search algorithms that easily traps into a local point, or the random search strategies that may frequently not produce g…
▽ More
The global optimization have the very extensive applications in econometrics, science and engineering. However, the global optimization for non-convex objective functions is particularly difficult since most of the existing global optimization methods depend on the local linear search algorithms that easily traps into a local point, or the random search strategies that may frequently not produce good off-springs. According to human behavior, a one-dimensional global search method in the global optimization should adopt alternating descent and ascent (up-hill and down hill) strategies. This paper proposes the human behavior algorithms (HBA) based on alternating descent and ascent approaches along a direction or multiple different directions. Very fortunately, the proposed HBA make a global optimization method have high possibility for finding a global minimum point. Several benchmark experiments test that our HBA are highly effective for solving some benchmark optimization problems.
△ Less
Submitted 14 July, 2015;
originally announced July 2015.
-
A Donaldson type functional on a holomorphic Finsler vector bundle
Authors:
Huitao Feng,
Kefeng Liu,
Xueyuan Wan
Abstract:
In this paper, we solve a problem of Kobayashi posed in \cite{Ko4} by introducing a Donaldson type functional on the space $F^+(E)$ of strongly pseudo-convex complex Finsler metrics on $E$ -- a holomorphic vector bundle over a closed Kähler manifold $M$. This Donaldson type functional is a generalization in the complex Finsler geometry setting of the original Donaldson functional and has Finsler-E…
▽ More
In this paper, we solve a problem of Kobayashi posed in \cite{Ko4} by introducing a Donaldson type functional on the space $F^+(E)$ of strongly pseudo-convex complex Finsler metrics on $E$ -- a holomorphic vector bundle over a closed Kähler manifold $M$. This Donaldson type functional is a generalization in the complex Finsler geometry setting of the original Donaldson functional and has Finsler-Einstein metrics on $E$ as its only critical points, at which this functional attains the absolute minimum.
△ Less
Submitted 4 April, 2018; v1 submitted 5 July, 2015;
originally announced July 2015.
-
Chern forms of holomorphic Finsler vector bundles and some applications
Authors:
Huitao Feng,
Kefeng Liu,
Xueyuan Wan
Abstract:
In this paper, we present two kinds of total Chern forms $c(E,G)$ and $\mathcal{C}(E,G)$ as well as a total Segre form $s(E,G)$ of a holomorphic Finsler vector bundle $π:(E,G)\to M$ expressed by the Finsler metric $G$, which answers a question of J. Faran (\cite{Faran}) to some extent. As some applications, we show that the signed Segre forms $(-1)^ks_k(E,G)$ are positive $(k,k)$-forms on $M$ when…
▽ More
In this paper, we present two kinds of total Chern forms $c(E,G)$ and $\mathcal{C}(E,G)$ as well as a total Segre form $s(E,G)$ of a holomorphic Finsler vector bundle $π:(E,G)\to M$ expressed by the Finsler metric $G$, which answers a question of J. Faran (\cite{Faran}) to some extent. As some applications, we show that the signed Segre forms $(-1)^ks_k(E,G)$ are positive $(k,k)$-forms on $M$ when $G$ is of positive Kobayashi curvature; we prove, under an extra assumption, that a Finsler-Einstein vector bundle in the sense of Kobayashi is semi-stable; we introduce a new definition of a flat Finsler metric, which is weaker than Aikou's one (\cite{Aikou}) and prove that a holomorphic vector bundle is Finsler flat in our sense if and only if it is Hermitian flat.
△ Less
Submitted 4 April, 2018; v1 submitted 5 July, 2015;
originally announced July 2015.
-
Rational curves on Hermitian manifolds
Authors:
Huitao Feng,
Kefeng Liu,
Xueyuan Wan,
Xiaokui Yang
Abstract:
By using analytic method, we prove that there exist rational curves on compact Hermitian manifolds with positive holomorphic bisectional curvature. It confirms a question of S.-T. Yau. It is well-known that Mori proved in \cite{Mori79} that every compact complex manifold $N$ with $c_1(N)>0$ contains at least one rational curve. However, as a borderline example, we show that the standard Hopf surfa…
▽ More
By using analytic method, we prove that there exist rational curves on compact Hermitian manifolds with positive holomorphic bisectional curvature. It confirms a question of S.-T. Yau. It is well-known that Mori proved in \cite{Mori79} that every compact complex manifold $N$ with $c_1(N)>0$ contains at least one rational curve. However, as a borderline example, we show that the standard Hopf surface $S^1\times S^3$ has a Hermitian metric with non-negative holomorphic bisectional curvature (in particular, $c_1(S^1\times S^3)\geq 0$), but it contains no rational curve.
△ Less
Submitted 5 October, 2014; v1 submitted 8 September, 2014;
originally announced September 2014.
-
Reverse Hölder's inequality for spherical harmonics
Authors:
Feng Dai,
Han Feng,
Sergey Tikhonov
Abstract:
This paper determines the sharp asymptotic order of the following reverse Hölder inequality for spherical harmonics $Y_n$ of degree $n$ on the unit sphere $\mathbb{S}^{d-1}$ of $\mathbb{R}^d$ as $n\to \infty$:
\[\|Y_n\|_{L^q(\mathbb{S}^{d-1})}\leq C n^{α(p,q)}\|Y_n\|_{L^p(\mathbb{S}^{d-1})},\quad 0<p<q\leq \infty.\] In many cases, these sharp estimates turn out to be significantly better than th…
▽ More
This paper determines the sharp asymptotic order of the following reverse Hölder inequality for spherical harmonics $Y_n$ of degree $n$ on the unit sphere $\mathbb{S}^{d-1}$ of $\mathbb{R}^d$ as $n\to \infty$:
\[\|Y_n\|_{L^q(\mathbb{S}^{d-1})}\leq C n^{α(p,q)}\|Y_n\|_{L^p(\mathbb{S}^{d-1})},\quad 0<p<q\leq \infty.\] In many cases, these sharp estimates turn out to be significantly better than the corresponding estimates in the Nilkolskii inequality for spherical polynomials. Furthermore, they allow us to improve two recent results on the restriction conjecture and the sharp Pitt inequalities for the Fourier transform on $\mathbb{R}^d$.
△ Less
Submitted 6 August, 2014;
originally announced August 2014.
-
Gambling in contests with random initial law
Authors:
Han Feng,
David Hobson
Abstract:
This paper studies a variant of the contest model introduced in Seel and Strack [J. Econom. Theory 148 (2013) 2033-2048]. In the Seel-Strack contest, each agent or contestant privately observes a Brownian motion, absorbed at zero, and chooses when to stop it. The winner of the contest is the agent who stops at the highest value. The model assumes that all the processes start from a common value…
▽ More
This paper studies a variant of the contest model introduced in Seel and Strack [J. Econom. Theory 148 (2013) 2033-2048]. In the Seel-Strack contest, each agent or contestant privately observes a Brownian motion, absorbed at zero, and chooses when to stop it. The winner of the contest is the agent who stops at the highest value. The model assumes that all the processes start from a common value $x_0>0$ and the symmetric Nash equilibrium is for each agent to utilise a stop** rule which yields a randomised value for the stopped process. In the two-player contest, this randomised value has a uniform distribution on $[0,2x_0]$. In this paper, we consider a variant of the problem whereby the starting values of the Brownian motions are independent, nonnegative random variables that have a common law $μ$. We consider a two-player contest and prove the existence and uniqueness of a symmetric Nash equilibrium for the problem. The solution is that each agent should aim for the target law $ν$, where $ν$ is greater than or equal to $μ$ in convex order; $ν$ has an atom at zero of the same size as any atom of $μ$ at zero, and otherwise is atom free; on $(0,\infty)$ $ν$ has a decreasing density; and the density of $ν$ only decreases at points where the convex order constraint is binding.
△ Less
Submitted 4 February, 2016; v1 submitted 30 May, 2014;
originally announced May 2014.
-
Analysis of a Mixed Finite Element Method for a Cahn-Hilliard-Darcy-Stokes System
Authors:
Amanda E. Diegel,
Xiaobing H. Feng,
Steven M. Wise
Abstract:
In this paper we devise and analyze a mixed finite element method for a modified Cahn-Hilliard equation coupled with a non-steady Darcy-Stokes flow that models phase separation and coupled fluid flow in immiscible binary fluids and diblock copolymer melts. The time discretization is based on a convex splitting of the energy of the equation. We prove that our scheme is unconditionally energy stable…
▽ More
In this paper we devise and analyze a mixed finite element method for a modified Cahn-Hilliard equation coupled with a non-steady Darcy-Stokes flow that models phase separation and coupled fluid flow in immiscible binary fluids and diblock copolymer melts. The time discretization is based on a convex splitting of the energy of the equation. We prove that our scheme is unconditionally energy stable with respect to a spatially discrete analogue of the continuous free energy of the system and unconditionally uniquely solvable. We prove that the phase variable is bounded in $L^\infty \left(0,T,L^\infty\right)$ and the chemical potential is bounded in $L^\infty \left(0,T,L^2\right)$ absolutely unconditionally in two and three dimensions, for any finite final time $T$. We subsequently prove that these variables converge with optimal rates in the appropriate energy norms in both two and three dimensions.
△ Less
Submitted 21 December, 2013; v1 submitted 4 December, 2013;
originally announced December 2013.
-
On the Cauchy problem for axi-symmetric vortex rings
Authors:
Hao Feng,
Vladimír Šverák
Abstract:
We consider the classical Cauchy problem for the 3d Navier-Stokes equation with the initial vorticity $ω_0$ concentrated on a circle, or more generally, a linear combination of such data for circles with common axis of symmetry. We show that natural approximations of the problem obtained by smoothing the initial data satisfy good a-priori estimates which enable us to conclude that the original pro…
▽ More
We consider the classical Cauchy problem for the 3d Navier-Stokes equation with the initial vorticity $ω_0$ concentrated on a circle, or more generally, a linear combination of such data for circles with common axis of symmetry. We show that natural approximations of the problem obtained by smoothing the initial data satisfy good a-priori estimates which enable us to conclude that the original problem with the singular initial distribution of vorticity has a solution. We impose no restriction on the size of the initial data.
△ Less
Submitted 26 January, 2013;
originally announced January 2013.
-
Adiabatic limit and connections in Finsler Geometry
Authors:
Huitao Feng,
Ming Li
Abstract:
In this paper, we identify the Bott connection on the natural foliation of the projective sphere bundle of a Finsler manifold to the Chern connection of this manifold. As a consequence, the symmetrization of the Bott connection turns out to be the Cartan connection of the Finsler manifold. Following Liu-Zhang \cite{LiuZ}, the Cartan connection can also be obtained through an adiabatic limit proces…
▽ More
In this paper, we identify the Bott connection on the natural foliation of the projective sphere bundle of a Finsler manifold to the Chern connection of this manifold. As a consequence, the symmetrization of the Bott connection turns out to be the Cartan connection of the Finsler manifold. Following Liu-Zhang \cite{LiuZ}, the Cartan connection can also be obtained through an adiabatic limit process. Furthermore, a Chern-Simons type form is defined and its conformal properties are discussed.
△ Less
Submitted 29 October, 2012; v1 submitted 6 July, 2012;
originally announced July 2012.
-
A Poincaré-Hopf type formula for Chern character numbers
Authors:
Huitao Feng,
Wei** Li,
Wei** Zhang
Abstract:
For two complex vector bundles admitting a homomorphism with isolated singularities between them, we establish a Poincaré-Hopf type formula for the difference of the Chern character numbers of these two vector bundles. As a consequence, we extend the original Poincaré-Hopf index formula to the case of complex vector fields (to appear in Mathematische Zeitschrift)
For two complex vector bundles admitting a homomorphism with isolated singularities between them, we establish a Poincaré-Hopf type formula for the difference of the Chern character numbers of these two vector bundles. As a consequence, we extend the original Poincaré-Hopf index formula to the case of complex vector fields (to appear in Mathematische Zeitschrift)
△ Less
Submitted 10 June, 2010; v1 submitted 23 August, 2009;
originally announced August 2009.
-
Real embeddings, eta invariant and Chern-Simons current
Authors:
Huitao Feng,
Guangbo Xu,
Wei** Zhang
Abstract:
We present an alternate proof of the Bismut-Zhang localization formula for $η$-invariants without using the analytic techniques developed by Bismut-Lebeau. A Riemann-Roch property for Chern-Simons currents, which is of independent interest, is established in due course.
We present an alternate proof of the Bismut-Zhang localization formula for $η$-invariants without using the analytic techniques developed by Bismut-Lebeau. A Riemann-Roch property for Chern-Simons currents, which is of independent interest, is established in due course.
△ Less
Submitted 28 July, 2007;
originally announced July 2007.
-
Holomorphic Equivariant Cohomology via a Transversal Holomorphic Vector Field
Authors:
Huitao Feng
Abstract:
In this paper an analytic proof of a generalization of a theorem of Bismut ([Bis1, Theorem 5.1]) is given, which says that, when $v$ is a transversal holomorphic vector field on a compact complex manifold $X$ with a zero point set $Y$, the embedding $j:Y\to X$ induces a natural isomorphism between the holomorphic equivariant cohomology of $X$ via $v$ with coefficients in $ξ$ and the Dolbeault co…
▽ More
In this paper an analytic proof of a generalization of a theorem of Bismut ([Bis1, Theorem 5.1]) is given, which says that, when $v$ is a transversal holomorphic vector field on a compact complex manifold $X$ with a zero point set $Y$, the embedding $j:Y\to X$ induces a natural isomorphism between the holomorphic equivariant cohomology of $X$ via $v$ with coefficients in $ξ$ and the Dolbeault cohomology of $Y$ with coefficients in $ξ|_Y$, where $ξ\to X$ is a holomorphic vector bundle over $X$.
△ Less
Submitted 16 April, 2003; v1 submitted 15 April, 2003;
originally announced April 2003.