-
Exact Matrix Factorization Updates for Nonlinear Programming
Authors:
Adolfo R. Escobedo
Abstract:
LU and Cholesky matrix factorization algorithms are core subroutines used to solve systems of linear equations (SLEs) encountered while solving an optimization problem. Standard factorization algorithms are highly efficient but remain susceptible to the accumulation of roundoff errors, which can lead solvers to return feasibility and optimality claims that are actually invalid. This paper introduc…
▽ More
LU and Cholesky matrix factorization algorithms are core subroutines used to solve systems of linear equations (SLEs) encountered while solving an optimization problem. Standard factorization algorithms are highly efficient but remain susceptible to the accumulation of roundoff errors, which can lead solvers to return feasibility and optimality claims that are actually invalid. This paper introduces a novel approach for solving sequences of closely related SLEs encountered in nonlinear programming efficiently and without roundoff errors. Specifically, it introduces rank-one update algorithms for the roundoff-error-free (REF) factorization framework, a toolset built on integer-preserving arithmetic that has led to the development and implementation of fail-proof SLE solution subroutines for linear programming. The formal guarantees of the proposed algorithms are established through the derivation of theoretical insights. Their advantages are supported with computational experiments, which demonstrate upwards of 75x-improvements over exact factorization run-times on fully dense matrices with over one million entries. A significant advantage of the methodology is that the length of any coefficient calculated via the proposed algorithms is bounded polynomially in the size of the inputs without having to resort to greatest common divisor operations, which are required by and thereby hinder an efficient implementation of exact rational arithmetic approaches.
△ Less
Submitted 22 July, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Transmission and Capacity Expansion Planning Against Rising Temperatures: A Case Study in Arizona
Authors:
J. Kyle Skolfield,
Jose Ramirez-Vergara,
Adolfo R. Escobedo
Abstract:
The stable and efficient operation of the transmission network is fundamental to the power system's ability to deliver electricity reliably and cheaply. As average temperatures continue to rise, the ability of the transmission network to meet demand is diminished. Higher temperatures lead to congestion by reducing thermal limits of lines while simultaneously reducing generation potential. Due to p…
▽ More
The stable and efficient operation of the transmission network is fundamental to the power system's ability to deliver electricity reliably and cheaply. As average temperatures continue to rise, the ability of the transmission network to meet demand is diminished. Higher temperatures lead to congestion by reducing thermal limits of lines while simultaneously reducing generation potential. Due to prohibitive costs and limited real estate for building new lines, it is necessary to consider capacity expansion as well to improve the functioning and efficiency of the grid. Optimal control, however, requires many discrete choices, rendering fully accurate models intractable. Furthermore, temperature changes will impact different regions and climate differently. As such, it is necessary to model both temperature changes and transmission flows with high spatial resolution. This work proposes a case study of the transmission grid centered in Arizona, using a DC optimal power flow mathematical formulation to plan for future transmission expansion and capacity expansion to efficiently meet demand. The effects of rising temperatures on transmission and generation are modeled at the regional level. Several classes of valid inequalities are employed to speed up the solution process. Multiple experiments considering different temperature and demand trends are considered which include each of the above technologies.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Derivations of large classes of facet-defining inequalities of the weak order polytope using ranking structures
Authors:
Adolfo R. Escobedo,
Romena Yasmin
Abstract:
The study of ordering polytopes has been essential to the solution of various challenging combinatorial optimization problems. For instance, the incorporation of facet defining inequalities (FDIs) from these polytopes in branch-and-cut approaches represents among the most effective solution methodologies known to date for some of these problems. The weak order polytope, defined as the convex hull…
▽ More
The study of ordering polytopes has been essential to the solution of various challenging combinatorial optimization problems. For instance, the incorporation of facet defining inequalities (FDIs) from these polytopes in branch-and-cut approaches represents among the most effective solution methodologies known to date for some of these problems. The weak order polytope, defined as the convex hull of the characteristic vectors of all binary orders on $n$ alternatives that are reflexive, transitive, and complete, has been particularly important for tackling problems in computational social choice, preference aggregation, and comparative probability. For the most part, FDIs for the weak order polytope have been obtained through enumeration and through derivation from FDIs of other combinatorial polytopes. This paper derives new classes of FDIs for the weak order polytope by utilizing the equivalent representation of a weak order as a ranking of $n$ objects that allows ties and by grouping characteristic vectors that share certain ranking structures. Furthermore, we demonstrate that a number of FDIs previously obtained through enumeration are actually special cases of these ranking-based FDIs.
△ Less
Submitted 25 March, 2021; v1 submitted 9 August, 2020;
originally announced August 2020.
-
Derivation and Generation of Path-Based Valid Inequalities for Transmission Expansion Planning
Authors:
J. Kyle Skolfield,
Laura M. Escobar,
Adolfo R. Escobedo
Abstract:
This paper seeks to solve the long-term transmission expansion planning problem more effectively by reducing the solution search space and the computational effort. The proposed methodology finds and adds cutting planes based on structural insights about bus angle-differences along paths. Several theorems are proposed which show the validity of these cutting planes onto the underlying mathematical…
▽ More
This paper seeks to solve the long-term transmission expansion planning problem more effectively by reducing the solution search space and the computational effort. The proposed methodology finds and adds cutting planes based on structural insights about bus angle-differences along paths. Several theorems are proposed which show the validity of these cutting planes onto the underlying mathematical formulations. The path-based bus angle-difference constraints, which tighten the relaxed feasible region, are used in combination with branch-and-bound to find lower bounds on the optimal investment of the transmission expansion planning problem. This work also creates an algorithm that automates the process of finding and applying the discussed valid inequalities, resulting in significantly reduced testing and computation time. The algorithm is implemented in Python, using the solver CPLEX to add constraints and solve the transmission expansion problem. This paper uses two different-sized systems to illustrate the effectiveness of the proposed framework: a modified IEEE 118-bus system and the Polish 2383-bus system.
△ Less
Submitted 3 October, 2019; v1 submitted 11 April, 2019;
originally announced April 2019.
-
A New Correlation Coefficient for Aggregating Non-strict and Incomplete Rankings
Authors:
Yeawon Yoo,
Adolfo R. Escobedo,
J. Kyle Skolfield
Abstract:
We introduce a correlation coefficient that is designed to deal with a variety of ranking formats including those containing non-strict (i.e., with-ties) and incomplete (i.e., unknown) preferences. The correlation coefficient is designed to enforce a neutral treatment of incompleteness whereby no assumptions are made about individual preferences involving unranked objects. The new measure, which c…
▽ More
We introduce a correlation coefficient that is designed to deal with a variety of ranking formats including those containing non-strict (i.e., with-ties) and incomplete (i.e., unknown) preferences. The correlation coefficient is designed to enforce a neutral treatment of incompleteness whereby no assumptions are made about individual preferences involving unranked objects. The new measure, which can be regarded as a generalization of the seminal Kendall tau correlation coefficient, is proven to satisfy a set of metric-like axioms and to be equivalent to a recently developed ranking distance function associated with Kemeny aggregation. In an effort to further unify and enhance both robust ranking methodologies, this work proves the equivalence of an additional distance and correlation-coefficient pairing in the space of non-strict incomplete rankings. These connections induce new exact optimization methodologies: a specialized branch and bound algorithm and an exact integer programming formulation. Moreover, the bridging of these complementary theories reinforces the singular suitability of the featured correlation coefficient to solve the general consensus ranking problem. The latter premise is bolstered by an accompanying set of experiments on random instances, which are generated via a herein developed sampling technique connected with the classic Mallows distribution of ranking data. Associated experiments with the branch and bound algorithm demonstrate that, as data becomes noisier, the featured correlation coefficient yields relatively fewer alternative optimal solutions and that the aggregate rankings tend to be closer to an underlying ground truth shared by a majority.
△ Less
Submitted 16 February, 2019; v1 submitted 23 January, 2018;
originally announced January 2018.
