Table of Contents
Fetching ...

Valid Cuts for the Design of Potential-based Flow Networks

Pascal Börner, Max Klimm, Annette Lutz, Marc E. Pfetsch, Martin Skutella, Lea Strubberg

TL;DR

This work tackles the problem of designing cost-efficient networks for flows governed by a potential-based physics model, formulated as a challenging MINLP with binary arc choices and nonlinear flow constraints. The authors develop a novel, polynomial-time separable family of valid inequalities for fractional relaxations, enabling a branch-and-cut approach that tightens the relaxations and guides the search. They extend these inequalities from simple multi-path and s-t flows to general b-transshipments and, crucially, to the topology-optimization setting by introducing an induced network N^x and proving polynomial-time separability via disjoint cuts and submodular optimization. Computational experiments on real-world gas networks demonstrate meaningful performance improvements, showing the practical potential of the approach for infrastructure design under physically grounded flow models. Overall, the paper provides a principled, scalable method to integrate physics-based flow constraints into combinatorial network design through cut-based inequalities and efficient separation routines.

Abstract

The construction of a cost minimal network for flows obeying physical laws is an important problem for the design of electricity, water, hydrogen, and natural gas infrastructures. We formulate this problem as a mixed-integer non-linear program with potential-based flows. The non-convexity of the constraints stemming from the potential-based flow model together with the binary variables indicating the decision to build a connection make these programs challenging to solve. We develop a novel class of valid inequalities on the fractional relaxations of the binary variables. Further, we show that this class of inequalities can be separated in polynomial time for solutions to a fractional relaxation. This makes it possible to incorporate these inequalities into a branch-and-cut framework. The advantage of these inequalities is lastly demonstrated in a computational study on the design of real-world gas transport networks.

Valid Cuts for the Design of Potential-based Flow Networks

TL;DR

This work tackles the problem of designing cost-efficient networks for flows governed by a potential-based physics model, formulated as a challenging MINLP with binary arc choices and nonlinear flow constraints. The authors develop a novel, polynomial-time separable family of valid inequalities for fractional relaxations, enabling a branch-and-cut approach that tightens the relaxations and guides the search. They extend these inequalities from simple multi-path and s-t flows to general b-transshipments and, crucially, to the topology-optimization setting by introducing an induced network N^x and proving polynomial-time separability via disjoint cuts and submodular optimization. Computational experiments on real-world gas networks demonstrate meaningful performance improvements, showing the practical potential of the approach for infrastructure design under physically grounded flow models. Overall, the paper provides a principled, scalable method to integrate physics-based flow constraints into combinatorial network design through cut-based inequalities and efficient separation routines.

Abstract

The construction of a cost minimal network for flows obeying physical laws is an important problem for the design of electricity, water, hydrogen, and natural gas infrastructures. We formulate this problem as a mixed-integer non-linear program with potential-based flows. The non-convexity of the constraints stemming from the potential-based flow model together with the binary variables indicating the decision to build a connection make these programs challenging to solve. We develop a novel class of valid inequalities on the fractional relaxations of the binary variables. Further, we show that this class of inequalities can be separated in polynomial time for solutions to a fractional relaxation. This makes it possible to incorporate these inequalities into a branch-and-cut framework. The advantage of these inequalities is lastly demonstrated in a computational study on the design of real-world gas transport networks.

Paper Structure

This paper contains 11 sections, 10 theorems, 27 equations, 1 figure.

Key Result

theorem thmcountertheorem

A network $\mathcal{N}=(G,\beta,r)$ with terminal nodes $T=\{s,t\}\subseteq V$ is equivalent to the network $((T,\{(s,t)\}),\beta',r)$ with $\beta'_{(s,t)} = R^\mathcal{N}_{s,t}>0$.

Figures (1)

  • Figure 1: Assuming $\mu = \mathbf{1}$, we can send a flow of $3\sqrt[r]{\bar{\pi}/2}$ over $A_1$, and $2\sqrt[r]{\bar{\pi}/2}$ over $A_2$. Thus, by \ref{['lem:eff_cond_inequality']} a feasible potential-based $(s,t)$-flow in the depicted network has at most a value of $5/2 \sqrt[r]{\bar{\pi}/2}$.

Theorems & Definitions (19)

  • theorem thmcountertheorem: Gross19Reduction23
  • lemma thmcounterlemma: Reduction23
  • proposition thmcounterproposition: Reduction23Raber22
  • lemma thmcounterlemma
  • proof
  • lemma thmcounterlemma
  • proof
  • theorem thmcountertheorem
  • proof
  • theorem thmcountertheorem
  • ...and 9 more