Searcharxiv⌕ Search

arXiv subjects

Qifeng Li

Publications and source records attributed to Qifeng Li.

At least 55 records · Page 3Linked to original sources

Minimal rational curves and 1-flat irreducible G-structures

1-flat irreducible G-structures, equivalently, irreducible G-structures admitting torsion-free affine connections, have been studied extensively in differential geometry, especially in connection with the theory of affine holonomy groups. We propose to study them in a setting in algebraic geometry, where they arise from varieties of minimal rational tangents (VMRT) associated to families of minimal rational curves on uniruled projective manifolds. We prove that such a structure is locally symmetric when the dimension of the uniruled projective manifold is at least 5. By the classification result of Merkulov and Schwachhöfer on irreducible affine holonomy, the problem is reduced to the case when the VMRT at a general point of the uniruled projective manifold is isomorphic to a subadjoint variety. In the latter situation, we prove a stronger result that, without the assumption of 1-flatness, the structure arising from VMRT is always locally flat. The proof employs the method of Cartan connections. An interesting feature is that Cartan connections are considered not for the G-structures themselves, but for certain geometric structures on the spaces of minimal rational curves.

math.AG↗

Human Gait Recognition Using Bag of Words Feature Representation Method

In this paper, we propose a novel gait recognition method based on a bag-of-words feature representation method. The algorithm is trained, tested and evaluated on a unique human gait data consisting of 93 individuals who walked with comfortable pace between two end points during two different sessions. To evaluate the effectiveness of the proposed model, the results are compared with the outputs of the classification using extracted features. As it is presented, the proposed method results in significant improvement accuracy compared to using common statistical features, in all the used classifiers.

cs.CV↗

Security-Constrained Optimal Operation of Energy-Water Nexus based on a Fast Contingency Filtering Method

Water and power systems are increasingly interdependent due to the growing number of electricity-driven water facilities. The security of one system can be affected by a contingency in the other system. This paper investigates a security-constrained operation problem of the energy-water nexus (EWN), which is a computationally challenging optimization problem due to the nonlinearity, nonconvexity, and size. We propose a two-step iterative contingency filtering method based on the feasibility and rating of the contingencies to decrease the size of the problem. The optimal power and water flow are obtained in a normal situation by considering the set of contingencies that can not be controlled with corrective actions. The feasibility check of the contingencies is performed in the second step, followed by a rating of the uncontrollable contingencies. Finally, the critical contingencies are obtained and added to the first step for the next iteration. We also employ convex technologies to reduce the computation burden. The proposed method is validated via two case studies. Results indicate that this approach can efficiently attain optimal values.

eess.SY↗

Efficient Solution Strategy for Chance-Constrained Optimal Power Flow based on FAST and Data-driven Convexification

The uncertainty of multiple power loads and renewable energy generations (PLREG) in power systems increases the complexity of power flow analysis for decision-makers. The chance-constrained method can be applied to model the optimization problems of power flow under uncertainty. This paper develops a novel solution approach for chance-constrained AC optimal power flow (CCACOPF) problem based on the data-driven convexification of power flow and a fast algorithm for scenario technique (FAST). This method is computationally effective for mainly two reasons. First, the original nonconvex AC power flow (ACPF) constraints are approximated by a set of learning-based quadratic convex ones. Second, FAST is an advanced scenario-based solution method (SSM) that doesn't rely on the pre-assumed probability distribution, using far less scenarios than the conventional SSM. Eventually, the CCACOPF is converted into a computationally tractable convex optimization problem. The simulation results on IEEE test cases indicate that 1) the proposed solution method can outperform the conventional SSM in computational efficiency, 2) the data-driven convexification of power flow is effective in approximating original complex AC power flow.

math.OC↗

Probability Distribution-free General Scenario Programming

This paper presents a novel solution paradigm of general optimization under both exogenous and endogenous uncertainties. This solution paradigm consists of a probability distribution (PD)-free method of obtaining deterministic equivalents and an innovative approach of scenario reduction. First, dislike the existing methods that use scenarios sampled from pre-known PD functions, the PD-free method uses historical measurements of uncertain variables as input to convert the logical models into a type of deterministic equivalents called General Scenario Program (GSP). Our contributions to the PD-free deterministic equivalent construction reside in generalization (making it applicable to general optimization under uncertainty rather than just chance-constrained optimization) and extension (enabling it to the problems under endogenous uncertainty via developing an iterative and a non-iterative frameworks). Second, this paper reveals some unknown properties of the PD-free deterministic equivalent construction, such as the characteristics of active scenarios and repeated scenarios. Base on this discoveries, we propose a concept and methods of strategic scenario selection which can effectively reduce the required number of scenarios as demonstrated in both mathematical analysis and numerical experiments. Numerical experiments are conducted on two typical smart grid optimization problems under exogenous and endogenous uncertainties.

math.OC↗

Optimal Operation of Power Systems with Energy Storage under Uncertainty: A Scenario-based Method with Strategic Sampling

The multi-period dynamics of energy storage (ES), intermittent renewable generation and uncontrollable power loads, make the optimization of power system operation (PSO) challenging. A multi-period optimal PSO under uncertainty is formulated using the chance-constrained optimization (CCO) modeling paradigm, where the constraints include the nonlinear energy storage and AC power flow models. Based on the emerging scenario optimization method which does not rely on pre-known probability distribution functions, this paper develops a novel solution method for this challenging CCO problem. The proposed meth-od is computationally effective for mainly two reasons. First, the original AC power flow constraints are approximated by a set of learning-assisted quadratic convex inequalities based on a generalized least absolute shrinkage and selection operator. Second, considering the physical patterns of data and motived by learning-based sampling, the strategic sampling method is developed to significantly reduce the required number of scenarios through different sampling strategies. The simulation results on IEEE standard systems indicate that 1) the proposed strategic sampling significantly improves the computational efficiency of the scenario-based approach for solving the chance-constrained optimal PSO problem, 2) the data-driven convex approximation of power flow can be promising alternatives of nonlinear and nonconvex AC power flow.

eess.SY↗

Fast Security Evaluation for Operation of Water Distribution Systems Against Extreme Conditions

This paper defines a security injection region (SIR) to guarantee reliable operation of water distribution systems (WDS) under extreme conditions. The model of WDSs is highly nonlinear and nonconvex. Understanding the accurate SIRs of WDSs involves the analysis of nonlinear constraints, which is computationally expensive. To reduce the computational burden, this paper first investigates the convexity of the SIR of WDSs under certain conditions. Then, an algorithm based on a monotone inner polytope sequence is proposed to effectively and accurately determine these SIRs. The proposed algorithm estimates a sequence of inner polytopes that converge to the whole convex region. Each polytope adds a new area to the SIR. The algorithm is validated on two different WDSs, and the conclusion is drawn. The computational study shows this method is applicable and fast for both systems.

eess.SY↗

Unbendable rational curves of Goursat type and Cartan type

We study unbendable rational curves, i.e., nonsingular rational curves in a complex manifold of dimension $n$ with normal bundles isomorphic to $\mathcal{O}_{\mathbb{P}^1}(1)^{\oplus p} \oplus \mathcal{O}_{\mathbb{P}^1}^{\oplus (n-1-p)}$ for some nonnegative integer $p$. Well-known examples arise from algebraic geometry as general minimal rational curves of uniruled projective manifolds. After describing the relations between the differential geometric properties of the natural distributions on the deformation spaces of unbendable rational curves and the projective geometric properties of their varieties of minimal rational tangents, we concentrate on the case of $p=1$ and $n \leq 5$, which is the simplest nontrivial situation. In this case, the families of unbendable rational curves fall essentially into two classes: Goursat type or Cartan type. Those of Goursat type arise from ordinary differential equations and those of Cartan type have special features related to contact geometry. We show that the family of lines on any nonsingular cubic 4-fold is of Goursat type, whereas the family of lines on a general quartic 5-fold is of Cartan type, in the proof of which the projective geometry of varieties of minimal rational tangents plays a key role.

math.AG↗

Uncertainty-aware Three-phase Optimal Power Flow based on Data-driven Convexification

This paper presents a novel optimization framework of formulating the three-phase optimal power flow that involves uncertainty. The proposed uncertainty-aware optimization (UaO) framework is: 1) a deterministic framework that is less complex than the existing optimization frameworks involving uncertainty, and 2) convex such that it admits polynomial-time algorithms and mature distributed optimization methods. To construct this UaO framework, a methodology of learning-aided uncertainty-aware modeling, with prediction errors of stochastic variables as the measurement of uncertainty, and a theory of data-driven convexification are proposed. Theoretically, the UaO framework is applicable for modeling general optimization problems under uncertainty.

math.OC↗

Achieving Disaster-Resilient Distribution Systems via Emergency Response Resources: A Practical Approach

This paper presents a practical approach to utilizing emergency response resources (ERRs) and post-disaster available distributed energy resources (PDA-DERs) to improve the resilience of power distribution systems against natural disasters. The proposed approach consists of two sequential steps: first, the minimum amount of ERRs is determined in a pre-disaster planning model; second, a post-disaster restoration model is proposed to co-optimize the dispatch of pre-planned ERRs and PDA-DERs to minimize the impact of disasters on customers, i.e., unserved energy for the entire restoration window. Compared with existing restoration strategies using ERRs, the proposed approach is more tractable since 1) in the pre-disaster stage, the needed EERs are determined based on the prediction of energy shortage and disaster-induced damages using machine learning-based algorithms (i.e., cost-sensitive-RFQRF for prediction of outage customers, random forest for prediction of outage duration, and CART for prediction of disaster-induced damages); 2) in the post-disaster stage, the super-node approximation (SNA) and the convex hull relaxation (CHR) of distribution networks are introduced to achieve the best trade-off between computational burden and accuracy. Tests of the proposed approach on IEEE test feeders demonstrated that a combination of SNA and CHR remarkably reduces the solution time of the post-disaster restoration model.

eess.SY↗

Ensemble Learning Based Convex Approximation of Three-Phase Power Flow

Though the convex optimization has been widely used in power systems, it still cannot guarantee to yield a tight (accurate) solution to some problems. To mitigate this issue, this paper proposes an ensemble learning based convex approximation for AC power flow equations that differs from the existing convex relaxations. The proposed approach is based on quadratic power flow equations in rectangular coordinates and it can be used in both balanced and unbalanced three-phase power networks. To develop this data-driven convex approximation of power flows, the polynomial regression (PR) is first deployed as a basic learner to fit convex relationships between the independent and dependent variables. Then, ensemble learning algorithms such as gradient boosting (GB) and bagging are introduced to combine learners to boost model performance. Based on the learned convex approximation of power flows, optimal power flow (OPF) is formulated as a convex quadratic programming problem. The simulation results on IEEE standard cases show that, in the context of solving OPF, the proposed data-driven convex approximation outperforms the conventional SDP relaxation in both accuracy and computational efficiency, especially in the cases that the conventional SDP relaxation fails.

eess.SY↗

Mathematical Models for Optimization of Grid-Integrated Energy Storage Systems

Energy storage has been proven to yield positive effects on planning, operation and control of electric grids. It has become a crucial task to properly model the energy storage systems (ESS) under the framework of grid optimization on transmission and distribution networks including microgrids. This paper presents a review on mathematical models and test cases of ESSs used for grid optimization studies, where the network constraints of power systems are included. The existing ESS models are mainly classified into two categories; linear and nonlinear models. The two main categories are further divided into several subcategories respectively; such as mixed integer linear and convex nonlinear subcategories. Based on the review and discussions, this paper aims at providing suggestions for choosing proper ESS models for specific grid optimization studies considering the chosen power network model.

math.OC↗

Characterizing symplectic Grassmannians by varieties of minimal rational tangents

We show that if the variety of minimal rational tangents (VMRT) of a uniruled projective manifold at a general point is projectively equivalent to that of a symplectic or an odd-symplectic Grassmannian, the germ of a general minimal rational curve is biholomorphic to the germ of a general line in a presymplectic Grassmannian. As an application, we characterize symplectic and odd-symplectic Grassmannians, among Fano manifolds of Picard number 1, by their VMRT at a general point and prove their rigidity under global Kähler deformation. Analogous results for $G/P$ associated with a long root were obtained by Mok and Hong-Hwang a decade ago by using Tanaka theory for parabolic geometries. When $G/P$ is associated with a short root, for which symplectic Grassmannians are most prominent examples, the associated local differential geometric structure is no longer a parabolic geometry and standard machinery of Tanaka theory cannot be applied because of several degenerate features. To overcome the difficulty, we show that Tanaka's method can be generalized to a setting much broader than parabolic geometries, by assuming a pseudo-concavity type condition that certain vector bundles arising from Spencer complexes have no nonzero sections. The pseudo-concavity type condition is checked by exploiting geometry of minimal rational curves.

math.AG↗

Fano deformation rigidity of rational homogeneous spaces of submaximal Picard numbers

We study the question whether rational homogeneous spaces are rigid under Fano deformation. In other words, given any smooth connected family f:X -> Zof Fano manifolds, if one fiber is biholomorphic to a rational homogeneous space S, whether is f an S-fibration? The cases of Picard number one were studied in a series of papers by J.-M. Hwang and N. Mok. For higher Picard number cases, we notice that the Picard number of a rational homogeneous space G/P is less or equal to the rank of G. Recently A. Weber and J. A. Wisniewski proved that rational homogeneous spaces G/P with Picard numbers equal to the rank of G (i.e. complete flag manifolds) are rigid under Fano deformation. In this paper we show that the rational homogeneous space G/P is rigid under Fano deformation, providing that G is a simple algebraic group of type ADE, the Picard number equal to rank(G)-1 and G/P is not biholomorphic to F(1, 2, P^3) or F(1, 2, Q^6). The variety F(1, 2, P^3) is the set of flags of projective lines and planes in P^3, and F(1, 2, Q^6) is the set of flags of projective lines and planes in 6-dimensional smooth quadric hypersurface. We show that F(1, 2, P^3) have a unique Fano degeneration, which is explicitly constructed. The structure of possible Fano degeneration of F(1, 2, Q^6) is also described explicitly. To prove our rigidity result, we firstly show that the Fano deformation rigidity of a homogeneous space of type ADE can be implied by that property of suitable homogeneous submanifolds. Then we complete the proof via the study of Fano deformation rigidity of rational homogeneous spaces of small Picard numbers. As a byproduct, we also show the Fano deformation rigidity of other manifolds such as F(0, 1, ..., k_1, k_2, k_2+1, ..., n-1, P^n) and F(0, 1, ..., k_1, k_2, k_2+1, ..., n, Q^{2n+2}) with 0 <= k_1 < k_2 <= n-1.

math.AG↗

Stability-constrained Optimization for Nonlinear Systems based on Convex Lyapunov Functions

This paper presents a novel scalable framework to solve the optimization of a nonlinear system with differential algebraic equation (DAE) constraints that enforce the asymptotic stability of the underlying dynamic model with respect to certain disturbances. Existing solution approaches to analogous DAE-constrained problems are based on discretization of DAE system into a large set of nonlinear algebraic equations representing the time-marching schemes. These approaches are not scalable to large size models. The proposed framework, based on LaSalle's invariance principle, uses convex Lyapunov functions to develop a novel stability certificate which consists of a limited number of algebraic constraints. We develop specific algorithms for two major types of nonlinearities, namely Lur'e, and quasi-polynomial systems. Quadratic and convex-sum-of-square Lyapunov functions are constructed for the Lur'e-type and quasi-polynomial systems respectively. A numerical experiment is performed on a 3-generator power network to obtain a solution for transient-stability-constrained optimal power flow.

math.OC↗

Micro Water-Energy Nexus: Optimal Demand-Side Management and Quasi-Convex Hull Relaxation

This paper investigates the water network's potential ability to provide demand response services to the power grid under the framework of a distribution-level water-energy nexus (micro-WEN). In particular, the hidden controllability of water loads, such as irrigation systems, was closely studied to improve the flexibility of electrical grids. A optimization model is developed for the demand-side management (DSM) of micro-WEN, and the simulation results assert that grid flexibility indeed benefits from controllable water loads. Although the proposed optimal DSM model is an intractable mixed-integer nonlinear programming (MINLP) problem, quasi-convex hull techniques were developed to relax the MINLP into a mixed-integer convex programming (MICP) problem. The numerical study shows that the quasi-convex hull relaxation is tight and that the resulting MICP problem is computationally efficient.

math.OC↗

Deformation of product of complex Fano manifolds

Let X be a connected family of complex Fano manifolds. We show that if some fiber is the product of two manifolds of lower dimensions, then so is every fiber. Combining with previous work of Hwang and Mok, this implies immediately that if a fiber is (possibly reducible) Hermitian symmetric space of compact type, then all fibers are isomorphic to the same variety.

math.AG↗

A Stability-constrained Optimization Framework for Lur'e Systems with Applications in Power Grids

For many nonlinear control systems, the chosen equilibrium determines both the steady-state efficiency and the dynamic performance. This paper addresses the issue of obtaining an optimal equilibrium in terms of some steady-state operation criteria for a Lur'e-type system and such an equilibrium can also guarantee a sufficiently large stability region in the dynamic domain such that the system can tolerate some given disturbance. For this purpose, a set of computationally tractable algebraic constraints, which can properly represent the stability certificate under the optimization framework, are proposed. The existing methods formulate the dynamic performance under the optimization framework by discretizing the differential-algebraic equations, which are computationally intractable for large-scale Lur'e systems like power grids. Dissimilarly, the introduced approach first constructs the stability region based on quadratic Lyapunov functions. Then, a novel method is proposed to project the stability region onto the feasible domain of the optimization problem such that the stability certificate can be incorporated into the optimization framework easily. In the transient stability-constrained optimal power flow (TSCOPF) problem of power systems, researchers look for a steady-state operating point with the minimum generation costs that can maintain system stability under some given transient disturbances. The proposed approach is applied to develop a scalable TSCOPF framework for power systems. The TSCOPF model is tested on the IEEE 118-Bus power system.

math.OC↗