arXiv subjects

Adolfo R. Escobedo

Publications and source records attributed to Adolfo R. Escobedo.

9 recordsLinked to original sources

arXiv2026

Polynomial-time algorithms for setting tight big-M coefficients in transmission expansion planning with disconnected buses

The increasing penetration of renewable energy and rising electricity demand are driving the need to integrate new buses and transmission lines into transmission grids. These trends are reshaping transmission expansion planning (TEP), motivating the development of effective methodologies to manage the resulting complexity. This paper introduces the longest shortest-path connection (LSPC) algorithm, a graph-based method to enhance the mixed-integer linear programming disjunctive formulation of TEP using valid inequalities (VIs). Traditional approaches for determining big-M coefficients in disconnected TEP networks typically rely on solving the computationally intensive longest path problem (LPP). In contrast, LSPC circumvents these limitations by efficiently identifying relevant power-flow paths between disconnected buses within the expansion network. We demonstrate that the VIs generated from these identified paths dominate those derived from LPP-based methods and other existing approaches.

cs.DM↗

arXiv2026

The Bidirectionality-Preserving Feedback Arc Set Problem with an Application to Faculty Hiring Network Analysis

This work introduces a novel combinatorial optimization problem to uncover strict and non-strict hierarchical structures underlying digraphs with bidirected arcs. We show that the problem includes the seminal feedback arc set problem as a special case, and that its solution extends a tournament solution known as Slater's rule. We introduce and compare two binary programming formulations and also introduce a polynomial-time search algorithm for obtaining an ordered hierarchy from their solution. The methodology is applied to the faculty hiring network problem using a dataset previously collected by Del Castillo et al. (2020) to characterize the prestige/rank of Industrial/Systems/Operations Research (IEOR) departments using faculty hiring transactions.

cs.DM↗

arXiv2026

The Edge-based Contiguous p-median Problem with Connections to Logistics Districting

This paper introduces the edge-based contiguous p-median (ECpM) problem to partition the roads in a network into a given number of compact and contiguous territories. Two binary programming models are introduced, both of which incorporate a network distance. The first model requires an exponential number of cut set-based constraints to model contiguity; it is paired with a separation scheme that usually generates only a small number of these constraints, namely, a branch-and-cut (B&C) algorithm. The second model utilizes a polynomial number of shortest-path constraints to model contiguity and can be solved with off-the-shelf solvers. The respective solution approaches are tested on road networks with over 2,700 nodes and close to 3,400 edges, yielding models with over 9.6 million binary variables. Solving the model based on shortest path contiguity (SPC) constraints via standard branch and bound attains speedups in computational time of up to 17x relative to the cut set-based B&C implementation. In addition, the SPC constraints are demonstrated to be supervalid inequalities of the edge-based p-median (EpM) model (i.e., for which contiguity is not explicitly required), meaning that they may cut off integer-feasible solutions and some, but not all, of the optimal solutions of this simpler problem. Finally, the paper explores structural insights and connections between ECpM and the edge-based districting (EBD) problem, which enforces an additional work balance criterion. An existing model that utilizes cut set-based contiguity constraints was unable to find a feasible solution within 12 hours for any of the tested instances, while an SPC-based EBD model was able to solve most of these to optimality.

cs.AI↗

arXiv2026

Facet-Defining Inequalities for the Angle-Based DC Optimal Transmission Switching Formulation

The switching of transmission lines can significantly improve the economic and operational efficiency of power systems. The Direct-Current Optimal Transmission Switching (DC-OTS) problem provides a formal framework for minimizing power generation costs by reconfiguring the transmission network topology under a linearized power flow model. DC-OTS is typically formulated as a mixed-integer linear program that incorporates disjunctive constraints to capture the required relationships between certain variables via big-M parameters. More specifically, these parameters represent upper bounds on voltage angle differences across non-operational transmission lines. In practice, overly conservative (and arbitrary) bounds tend to be used. The belief is that tightening these values requires the solution of the computationally intractable longest path problem. This work challenges that view through a novel polyhedral analysis of the angle-based DC-OTS formulation. We construct an extended formulation for the convex hull of an angle-based relaxation and derive facet-defining inequalities that tighten angle-difference bounds.

cs.DM↗

arXiv2022

Exact Matrix Factorization Updates for Nonlinear Programming

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.

math.NA↗

arXiv2021

Transmission and Capacity Expansion Planning Against Rising Temperatures: A Case Study in Arizona

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.

math.OC↗

arXiv2020

Derivations of large classes of facet-defining inequalities of the weak order polytope using ranking structures

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.

math.CO↗

arXiv2019

Derivation and Generation of Path-Based Valid Inequalities for Transmission Expansion Planning

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.

math.OC↗

arXiv2018

A New Correlation Coefficient for Aggregating Non-strict and Incomplete Rankings

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.

stat.AP↗