Table of Contents
Fetching ...

On Representing Convex Quadratically Constrained Quadratic Programs via Graph Neural Networks

Chenyang Wu, Qian Chen, Akang Wang, Tian Ding, Ruoyu Sun, Wenguo Yang, Qingjiang Shi

TL;DR

This work introduces a tripartite graph representation for convex QCQPs and couples it with tripartite MP-GNNs to represent key QCQP properties. The authors prove a universal approximation result for convex QCQPs, showing MP-GNNs can approximate feasibility, boundedness, optimal value, and the unique minimal-norm optimal solution with arbitrary accuracy. They also show inherent limitations for non-convex QCQPs under this architecture via counterexamples. Empirical experiments on GP, CLS, and TRS datasets demonstrate favorable learning curves, improved generalization with more data and larger models, and substantial runtime speedups over traditional solvers, with validation on real-world-like data. The work advances learning-to-optimize for QCQPs, offering a scalable, structure-aware ML framework and establishing a theoretical connection between QCQPs and GNN representations.

Abstract

Convex quadratically constrained quadratic programs (QCQPs) involve finding a solution within a convex feasible region defined by quadratic constraints while minimizing a convex quadratic objective function. These problems arise in various industrial applications, including power systems and signal processing. Traditional methods for solving convex QCQPs primarily rely on matrix factorization, which quickly becomes computationally prohibitive as the problem size increases. Recently, graph neural networks (GNNs) have gained attention for their potential in representing and solving various optimization problems such as linear programs and linearly constrained quadratic programs. In this work, we investigate the representation power of GNNs in the context of QCQP tasks. Specifically, we propose a new tripartite graph representation for general convex QCQPs and properly associate it with message-passing GNNs. We demonstrate that there exist GNNs capable of reliably representing key properties of convex QCQPs, including feasibility, optimal value, and optimal solution. Our result deepens the understanding of the connection between QCQPs and GNNs, paving the way for future machine learning approaches to efficiently solve QCQPs.

On Representing Convex Quadratically Constrained Quadratic Programs via Graph Neural Networks

TL;DR

This work introduces a tripartite graph representation for convex QCQPs and couples it with tripartite MP-GNNs to represent key QCQP properties. The authors prove a universal approximation result for convex QCQPs, showing MP-GNNs can approximate feasibility, boundedness, optimal value, and the unique minimal-norm optimal solution with arbitrary accuracy. They also show inherent limitations for non-convex QCQPs under this architecture via counterexamples. Empirical experiments on GP, CLS, and TRS datasets demonstrate favorable learning curves, improved generalization with more data and larger models, and substantial runtime speedups over traditional solvers, with validation on real-world-like data. The work advances learning-to-optimize for QCQPs, offering a scalable, structure-aware ML framework and establishing a theoretical connection between QCQPs and GNN representations.

Abstract

Convex quadratically constrained quadratic programs (QCQPs) involve finding a solution within a convex feasible region defined by quadratic constraints while minimizing a convex quadratic objective function. These problems arise in various industrial applications, including power systems and signal processing. Traditional methods for solving convex QCQPs primarily rely on matrix factorization, which quickly becomes computationally prohibitive as the problem size increases. Recently, graph neural networks (GNNs) have gained attention for their potential in representing and solving various optimization problems such as linear programs and linearly constrained quadratic programs. In this work, we investigate the representation power of GNNs in the context of QCQP tasks. Specifically, we propose a new tripartite graph representation for general convex QCQPs and properly associate it with message-passing GNNs. We demonstrate that there exist GNNs capable of reliably representing key properties of convex QCQPs, including feasibility, optimal value, and optimal solution. Our result deepens the understanding of the connection between QCQPs and GNNs, paving the way for future machine learning approaches to efficiently solve QCQPs.

Paper Structure

This paper contains 36 sections, 11 theorems, 46 equations, 3 figures, 8 tables.

Key Result

Lemma 1

Let $\mathcal{I},\Bar{\mathcal{I}}$ (with given sizes $m,n$, encoded by $G,\Bar{G}\in\mathcal{G}^{m,n}_{\mathrm{QCQP}}$) be two QCQP instances. If the tripartite WL-test cannot separate $G$ from $\Bar{G}$, then for any feasible solution $x$ of $\mathcal{I}$, there exists a feasible solution $\Bar{x}

Figures (3)

  • Figure 1: A tripartite representation of QCQPs. It consists of three types of nodes: variable nodes, quadratic-term nodes, and constraint nodes. All nodes and the edges connecting them are associated with coefficients from the formulation as features.
  • Figure 2: An overview of the GNN architecture.
  • Figure 3: Left: two QCQP instances for proving Prop. \ref{['prop:can_not_represent_non_convex']}. Right: Parts of the corresponding tripartite graph representations to show the difference.

Theorems & Definitions (21)

  • Definition 1: Spaces of Convex QCQP-graphs
  • Definition 2: Spaces of GNNs
  • Definition 3: Target mappings
  • Lemma 1
  • Theorem 1
  • Proposition 1
  • Proposition 2
  • Proposition 3: Tripartite WL-test terminates in finite iterations
  • proof
  • Proposition 4: Tripartite MP-GNNs have equal separation power as the Tripartite WL-Test
  • ...and 11 more