Saved in:
Bibliographic Details
Main Authors: Rashwan, Ahmed, Briggs, Keith, Budd, Chris, Kreusser, Lisa
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2510.11227
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915549783523328
author Rashwan, Ahmed
Briggs, Keith
Budd, Chris
Kreusser, Lisa
author_facet Rashwan, Ahmed
Briggs, Keith
Budd, Chris
Kreusser, Lisa
contents Many machine learning applications require outputs that satisfy complex, dynamic constraints. This task is particularly challenging in Graph Neural Network models due to the variable output sizes of graph-structured data. In this paper, we introduce ProjNet, a Graph Neural Network framework which satisfies input-dependant constraints. ProjNet combines a sparse vector clipping method with the Component-Averaged Dykstra (CAD) algorithm, an iterative scheme for solving the best-approximation problem. We establish a convergence result for CAD and develop a GPU-accelerated implementation capable of handling large-scale inputs efficiently. To enable end-to-end training, we introduce a surrogate gradient for CAD that is both computationally efficient and better suited for optimization than the exact gradient. We validate ProjNet on four classes of constrained optimisation problems: linear programming, two classes of non-convex quadratic programs, and radio transmit power optimization, demonstrating its effectiveness across diverse problem settings.
format Preprint
id arxiv_https___arxiv_org_abs_2510_11227
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Enforcing convex constraints in Graph Neural Networks
Rashwan, Ahmed
Briggs, Keith
Budd, Chris
Kreusser, Lisa
Machine Learning
Many machine learning applications require outputs that satisfy complex, dynamic constraints. This task is particularly challenging in Graph Neural Network models due to the variable output sizes of graph-structured data. In this paper, we introduce ProjNet, a Graph Neural Network framework which satisfies input-dependant constraints. ProjNet combines a sparse vector clipping method with the Component-Averaged Dykstra (CAD) algorithm, an iterative scheme for solving the best-approximation problem. We establish a convergence result for CAD and develop a GPU-accelerated implementation capable of handling large-scale inputs efficiently. To enable end-to-end training, we introduce a surrogate gradient for CAD that is both computationally efficient and better suited for optimization than the exact gradient. We validate ProjNet on four classes of constrained optimisation problems: linear programming, two classes of non-convex quadratic programs, and radio transmit power optimization, demonstrating its effectiveness across diverse problem settings.
title Enforcing convex constraints in Graph Neural Networks
topic Machine Learning
url https://arxiv.org/abs/2510.11227