Gradient-Free Generation for Hard-Constrained Systems
About
Generative models that satisfy hard constraints are critical in many scientific and engineering applications, where physical laws or system requirements must be strictly respected. Many existing constrained generative models, especially those developed for computer vision, rely heavily on gradient information, which is often sparse or computationally expensive in some fields, e.g., partial differential equations (PDEs). In this work, we introduce a novel framework for adapting pre-trained, unconstrained flow-matching models to satisfy constraints exactly in a zero-shot manner without requiring expensive gradient computations or fine-tuning. Our framework, ECI sampling, alternates between extrapolation (E), correction (C), and interpolation (I) stages during each iterative sampling step of flow matching sampling to ensure accurate integration of constraint information while preserving the validity of the generation. We demonstrate the effectiveness of our approach across various PDE systems, showing that ECI-guided generation strictly adheres to physical constraints and accurately captures complex distribution shifts induced by these constraints. Empirical results demonstrate that our framework consistently outperforms baseline approaches in various zero-shot constrained generation tasks and also achieves competitive results in the regression tasks without additional fine-tuning.
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Generative Modeling | Darcy flow 1024 samples (test) | Relative Error3.045 | 7 | |
| Forward problem | Helmholtz (test) | RE8.53 | 5 | |
| Inverse Problem | Darcy (test) | Relative Error3.23 | 5 | |
| Forward problem | Darcy (test) | RE5.72 | 5 | |
| Joint sparse reconstruction | Helmholtz equation | Relative Error (RE)12.6 | 5 | |
| Joint sparse reconstruction | Darcy equation | Reconstruction Error (RE)30.1 | 5 | |
| Trajectory reconstruction | Burgers' Equation (Boundary Condition) | Reconstruction Error (RE)4.52 | 5 | |
| Trajectory reconstruction | 1-dimensional dynamic Burgers' equation Sparse Obs. (test) | RE5.04 | 5 | |
| Forward problem | Poisson (test) | RE5.05 | 5 | |
| Inverse Problem | Helmholtz (test) | RE5.70e+3 | 5 |