arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.14339

A Bilevel Market Equilibrium Model for Natural Gas Pipeline Network Operations: Convex Relaxations and Single-level Reformulations

Novel Kumar Dey·Afrooz Jalilzadeh·Erfan Yazdandoost Hamedani·Saif R. Kazi·Anatoly Zlotnik
View original source ↗Read source document ↗Export metadata ↓

Abstract

We propose an integrated market equilibrium model for determining the spot market prices and flow rates in a natural gas pipeline network. The traditional approach solves the market equilibrium model separately from the natural gas network flow allocation problem in a sequential manner. Our proposed framework synthesizes marketing and operations by using a bilevel optimization formulation where the market equilibrium model in the upper level is connected and simultaneously solved with the natural gas network flow model in the lower level. We introduce convex relaxations for the nonconvex Weymouth pipe pressure drop equation and a surrogate for the compressor operating cost. Furthermore, we compare multiple single level reformulations of the bilevel problem based on Karush-Kuhn-Tucker (KKT) optimality conditions, Wolfe duality, and Lagrange duality conditions. Numerical studies on a small 6-node network demonstrates the efficacy and accuracy of our model and the comparison between different duality and optimality based reformulations.

Explore related subjects

math.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Novel Kumar Dey, Afrooz Jalilzadeh, Erfan Yazdandoost Hamedani, Saif R. Kazi, Anatoly Zlotnik. 2026-10-09. A Bilevel Market Equilibrium Model for Natural Gas Pipeline Network Operations: Convex Relaxations and Single-level Reformulations. https://arxiv.org/abs/2610.14339

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Behavioral Model for Exploration vs. Exploitation: Theoretical Framework and Experimental Evidence

How do people navigate the exploration-exploitation (EE) trade-off when making repeated choices with unknown rewards? We study this question through the lens of multi-armed bandit problems and introduce a novel behavioral model, Quantal Choice with Adaptive Reduction of Exploration (QCARE). It generalizes Thompson Sampling, allowing for a principled way to quantify the EE trade-off and reflect human decision-making patterns. The model adaptively reduces exploration as information accumulates, with the reduction rate serving as a parameter to quantify the EE trade-off dynamics. We theoretically analyze how varying reduction rates influence decision quality, shedding light on the distinct effects of ``over-exploration'' and ``under-exploration.'' Empirically, we validate QCARE using behavioral data collected from human participants. QCARE not only captures critical behavioral patterns in the EE trade-off but also performs competitively with, and often outperforms, alternative models in out-of-sample prediction. Our analysis reveals a behavioral tendency toward over-exploration.

math.OC↗
arXiv2026

Active-Set Identification in Noisy and Stochastic Optimization

Identifying active constraints from a point near a local minimizer is important both theoretically and practically in constrained continuous optimization as it can help identify optimal Lagrange multipliers and essentially reduce an inequality-constrained problem to an equality-constrained one. Traditional active-set identification guarantees have been proved under various types of constraint qualifications. Importantly, they also assume exact function and derivative values. This work extends such results to settings when both objective and constraint function and derivative values have deterministic or stochastic noise. Two strategies are analyzed. For each strategy, it is shown that, under constraint qualifications and other standard conditions, the active set of a local minimizer can be identified correctly when a point is close enough to the minimizer and the noise is sufficiently small. It is also shown that regularity of a minimizer is critical. Under strict complementarity, a fixed noise level suffices, whereas in the presence of a weakly active constraint the noise must vanish at least linearly in the distance to the minimizer in general, a rate that is also shown to be sufficient for correct identification. Guarantees are also stated for the use of active-set identification strategies within a stochastic algorithm, with explicit sample-size conditions. The theoretical findings are demonstrated with two simple illustrative examples and a more realistic constrained neural-network training task.

math.OC↗
arXiv2026

Regularization in Data-driven Predictive Control: A Convex Relaxation Perspective

This paper explores the role of regularization in data-driven predictive control (DDPC) through the lens of convex relaxation. Using a bi-level optimization framework, we model system identification as an inner problem and predictive control as an outer problem. Within this framework, we show that several regularized DDPC formulations, including l1-norm penalties, projection-based regularizers, and a newly introduced causality-based regularizer, can be viewed as convex relaxations of their respective bi-level problems. This perspective clarifies the conceptual links between direct and indirect data-driven control and highlights how regularization implicitly enforces system identification. We further propose an optimality-based variant, A-DDPC, which approximately solves the inner problem with all identification constraints via an iterative algorithm. Numerical experiments demonstrate that A-DDPC outperforms existing regularized DDPC by reducing both bias and variance errors. These results indicate that further benefits may be obtained by applying system identification techniques to pre-process the trajectory library in nonlinear settings. Overall, our analysis contributes to a unified convex relaxation view of regularization in DDPC and sheds light on its strong empirical performance beyond linear time-invariant systems.

math.OC↗