MétaCan
Menu
Back to cohort
Record W3190043294 · doi:10.82308/11265

Sparsity and structure exploiting diagonally dominant relaxation of the OPF problem

2020· article· en· W3190043294 on OpenAlex

Why this work is in the frame

A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.

fundA Canadian funder is recorded on the work.
no affNo Canadian affiliation: this work is invisible to an affiliation-only frame.
No Canadian affiliation. An affiliation-only frame, the usual design, would never have seen this work. It is one of the works that make the case for inverting the frame.

Bibliographic record

VenueeScholarship@McGill (McGill) · 2020
Typearticle
Languageen
FieldEngineering
TopicOptimal Power Flow Distribution
Canadian institutionsnot available
FundersNatural Sciences and Engineering Research Council of CanadaMcGill University
KeywordsRelaxation (psychology)Diagonally dominant matrixMathematicsComputer scienceMathematical optimizationAlgorithmPsychologyPure mathematics

Abstract

fetched live from OpenAlex

The Optimal Power Flow (OPF) is an optimization problem which tackles both the economy and physics of power systems operation. Due to high non-linearity in the power flow equations, the OPF problem is non-convex. Consequently, optimally solving for the OPF problem at a reasonable computational time presents a serious challenge. Several approaches were presented to solve the OPF problem. These include local solvers, heuristic methods and the approximation of non-linear equations. However, these approaches either do not bound the true value of the objective function or are lacking in the trade-off they provide between solution time and quality. As an alternative, convex relaxation techniques could be used to address this challenge. A convex relaxation is obtained by means of finding a convex representation of the problem’s feasible space. As a natural byproduct of the convexity of the resulting problem, a wide array of convex optimization techniques could be utilized. Furthermore, the solution obtained presents a lower bound on the global solution of the original non-convex problem. Several factors influence the tightness and scalability of convex relaxations. Those include the number and type of constraints used in the relaxation of the original non-convex problem. Most relaxations of the optimal power flow problem are based on second order conic or positive semidefinite type of constraints. Alternatively, in this dissertation we address the utilization of the linearly representable diagonally dominant cone in relaxing the optimal power flow problem. First, we investigate the diagonally-dominant-sum-of-squares relaxation of the problem. We evaluate the reasons behind its poor optimality gaps and scalability issue. We demonstrate that diagonal dominance could be utilized in creating a similar, yet tighter relaxation. The relaxation we propose is based on the semidefinite relaxation of the problem. This dissertation then follows to improve the tractability of the aforementioned relaxation. We achieve that by an investigation into the optimal exploitation of the sparsity and structure of the OPF problem. Several methods exist for the exploitation of sparsity in semidefininte programming. Specifically, chordal decomposition has been applied with great success to improve the tractability of the semidefinite relaxation of the optimal power flow problem. Accordingly, we investigate the utilization of chordal decomposition in improving the diagonal dominance based relaxation proposed in this thesis. We find that the direct exploitation of sparsity requires a number of linear inequalities that scales linearly with the size of the problem. Alternatively, chordal decomposition introduces equality and inequality constraints into the problem which needlessly increases its computational demand. We prove the direct exploitation of sparsity to be more beneficial in the case of a relaxation similar to that of this dissertation. Additionally, we exploit the structure of the problem in further reducing the number of linear inequalities by half. We further suggest two more relaxations based on the empirical results of the improved relaxation proposed

Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.

Full frame distilled prediction

Teacher imitation

Not calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.

metaresearch head score (Codex)0.000
metaresearch head score (Gemma)0.000
Version: codex-gemma-dda1882f352aValidation status: machine_predicted_unvalidated
Candidate categoriesnone
Consensus categoriesnone
DomainCandidate signal: none · Consensus signal: none
Study designCandidate signal: Bench or experimental · Consensus signal: Bench or experimental
GenreCandidate signal: Empirical · Consensus signal: Empirical
Teacher disagreement score0.034
Threshold uncertainty score0.936

Codex and Gemma teacher scores by category

CategoryCodexGemma
Metaresearch0.0000.000
Meta-epidemiology (narrow)0.0000.000
Meta-epidemiology (broad)0.0000.000
Bibliometrics0.0000.000
Science and technology studies0.0000.000
Scholarly communication0.0000.001
Open science0.0000.000
Research integrity0.0000.001
Insufficient payload (model declined to judge)0.0000.000

Machine scores (provisional)

The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.

Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.

Opus teacher head0.011
GPT teacher head0.182
Teacher spread0.171 · how far apart the two teachers sit on this one work
Validation statusscore_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it