Neural Eigenfluid Bases: Spectral Objectives, Gauge, and Topology
Organizations: Zhejiang University · University of Toronto
Abstract
Reduced-order models simplify fluid simulation by representing complex flows with a small number of spatial modes. Building on Laplacian Eigenfluids, we introduce Neural Eigenfluid Bases (NEB), a neural representation whose basis functions can be evaluated anywhere in space. We enforce incompressibility and impermeable boundaries directly through differential lifts and potential boundary conditions. Geometry-local orthogonalization and Rayleigh minimization then learn an ordered basis. We connect learning in potential and velocity spaces, and derive a spectral-variance relation explaining why these objectives weight approximate modes differently, even though their exact positive spectra agree. Gauge fixing reduces the number of spatial derivatives needed for potential learning, while a Dirichlet energy loss learns independent circulation fields around obstacles. With 1024 modes, both objectives keep velocity errors below 1% in periodic vortex merger. For random flows around obstacles, potential-based learning captures more initial energy and gives lower final errors than numerical Laplacian bases of the same size. The reduced state is about a thousand times smaller than the full reference model. Three-dimensional tests separate spatial reconstruction errors from errors in coefficient evolution. Precomputed Galerkin operators allow millisecond-scale updates when the same basis is reused across simulations. This provides a physically constrained basis for continuous flow reconstruction and efficient reduced-order simulation.
Figures & tables
| Case | Comparison | Validation |
|---|---|---|
| Periodic | Learned spectral and kinematic bases; same-capacity Laplacian | Neural eigenfluid and potential-space feasibility; autonomous accuracy and decay. |
| Multi-hole | Random small-scale fields and large-scale vortices; fixed-budget allocation and lift conditioning | Topology-aware circulation completion, energy capture and harmonic conditioning. |
| Metaball | Velocity-basis capacity; full-grid and assembled coefficient operators | 3D feasibility, capacity-dependent representation and coefficient-space acceleration. |
| Basis | Velocity MSE |
|---|---|
| Laplacian | |
| Velocity | |
| Potential | |
| NKB |
| Holes | Basis | ||
|---|---|---|---|
| 1 | Laplacian | +0.004 | +0.020 |
| 1 | Potential | -0.045 | +0.092 |
| 2 | Laplacian | +0.018 | +0.087 |
| 2 | Potential | +0.102 | -0.243 |
| 3 | Laplacian | -0.014 | +0.021 |
| 3 | Potential | +0.305 | +0.942 |
| Holes | Numerical | Learned |
|---|---|---|
| 1 | 32.542 | 32.124 |
| 2 | 34.197 | 33.963 |
| 3 | 36.685 | 36.707 |
Appendix figures & tables37 assets
Supplementary material from the paper’s appendix.
Appendix
| Matched Potential-FG | Laplacian | |
|---|---|---|
| 32 | ||
| 64 | ||
| 128 | ||
| 256 |
| Potential | Velocity | Laplacian | Potential-AL/FG | |
|---|---|---|---|---|
| 32 | 0.843112 | 0.839273 | 0.845281 | 0.917776 (AL) |
| 64 | 0.515772 | 0.622647 | 0.521114 | 0.878704 (AL) |
| 128 | 0.343194 | 0.400527 | 0.348509 | 0.869497 (AL) |
| 256 | 0.235699 | 0.281845 | 0.242727 | 0.994937 (FG) |
| 512 | 0.201610 | 0.209542 | 0.196530 | — |
| 1024 | — | 0.170499 | 0.178991 | — |
| Method | Size | Harm. | Wall tan. | Forward | Reverse | Setup | Assess. |
|---|---|---|---|---|---|---|---|
| Fourier–MFS | 0.0177 | 0.6904 | 49.07 | 138.60 | |||
| Fourier–MFS, reuse | 0.0177 | 0.6904 | 48.28 | 136.12 | |||
| Spline 12 | 3,106 | 0.0181 | 0.0012 | 6.63 | 6.98 | 1.98 | 5.90 |
| Spline 20 | 10,648 | 0.0015 | 0.0012 | 15.40 | 16.60 | 4.75 | 5.91 |
| Spline 24 + two-level | 17,086 | 0.0036 | 0.0012 | 71.00 | 78.96 | 11.69 | 5.84 |
| Volume FMM 32 | 0.0242 | 4.8727 | 12.15 | 13.43 | 22.99 | 61.76 |
| Arithmetic | (%) | Source forward (s) |
|---|---|---|
| Training arithmetic | 7.989593 | 37.24 |
| FP32 source, FP64 FFT | 7.989595 | 37.24 |
| FP64 source and FFT | 7.989582 | 266.41 |
| Method | Relative error (%) |
|---|---|
| Laplacian | |
| Velocity | |
| NKB |
| Method | Normal training | State recovery | Boundary to all basis | |
|---|---|---|---|---|
| 32 | Laplacian | — | — | 3467.56 |
| 32 | Velocity | 3042.38 | 0.00 | 267.91 |
| 32 | Potential | 8170.08 | 200.31 | 255.50 |
| 32 | Potential-AL | 6316.24 | 0.00 | 259.52 |
| 32 | Potential-FG (matched) | 7332.09 | 0.00 | 291.39 |
| 64 | Laplacian | — | — | 2545.51 |
| Geometry | Learned | Numerical | |
|---|---|---|---|
| 128 | Training geometry, independent points | .398468 | .346917 |
| 256 | Training geometry, independent points | .281388 | .241861 |
| 256 | Unseen geometry 2 | .751690 | .222570 |
| 256 | Unseen geometry 3 | .744673 | .254720 |
| 256 | Unseen geometry 4 | .770144 | .230048 |
| Case | Capacity | Reference / assessment | Autonomous horizon |
|---|---|---|---|
| Periodic | 1024 | DNS / observations | 241 frames, |
| Multi-hole P1 | 32 | Common circulation-aware P1 mesh | 51 frames, |
| Multi-hole analytic | 1024 | Finest level-2 reference, common points | 51 frames, |
| Metaball | 128–1024 | , fluid nodes | 30 frames, |
| Holes | Potential | Potential | Numerical |
|---|---|---|---|
| 1 | 53.23 | 40.04 | 39.76 |
| 2 | 52.99 | 40.49 | 40.13 |
| 3 | 54.59 | 40.49 | 39.72 |
| Holes | P3 nodes | (%) | (%) | ||
|---|---|---|---|---|---|
| 1 | 881,793 | 872,578 | 32 | 2.27 | 2.13 |
| 1 | 881,793 | 872,578 | 1024 | 75.32 | 75.34 |
| 2 | 669,533 | 656,077 | 32 | 2.37 | 2.16 |
| 2 | 669,533 | 656,077 | 1024 | 79.66 | 79.73 |
| 3 | 1,390,768 | 1,368,343 | 32 | 1.79 | 1.60 |
| 3 | 1,390,768 | 1,368,343 | 1024 | 54.48 | 54.52 |
| Holes | |||
|---|---|---|---|
| 1 | 32 | 618.62 | 581.29 |
| 1 | 1024 | 641.84 | 641.99 |
| 2 | 32 | 485.62 | 442.04 |
| 2 | 1024 | 510.41 | 510.82 |
| 3 | 32 | 767.13 | 685.73 |
| 3 | 1024 | 728.05 | 728.60 |
| Holes | Basis | (%) | (%) | Improved | |
|---|---|---|---|---|---|
| 1 | Laplacian | 2.269 | 2.132 | -0.137 | 2/20 |
| 1 | Potential | 2.252 | 2.178 | -0.075 | 5/20 |
| 1 | Velocity | 2.269 | 2.145 | -0.124 | 2/20 |
| 2 | Laplacian | 2.369 | 2.156 | -0.213 | 3/20 |
| 2 | Potential | 2.370 | 2.174 | -0.197 | 3/20 |
| 2 | Velocity | 2.345 | 2.216 | -0.129 | 3/20 |
| Holes | Basis | ||||
|---|---|---|---|---|---|
| 1 | Laplacian | 99.28325 | 99.29712 | -0.01387 | -0.01336 |
| 1 | Potential | 99.26077 | 99.26889 | -0.00812 | -0.00733 |
| 1 | Velocity | 99.27255 | 99.29087 | -0.01832 | -0.01817 |
| 2 | Laplacian | 98.75970 | 98.79192 | -0.03221 | -0.02997 |
| 2 | Potential | 98.79390 | 98.84504 | -0.05114 | -0.05093 |
| 2 | Velocity | 98.81309 | 98.91302 | -0.09993 | -0.10682 |
| Best representation | In-span evolution | |
|---|---|---|
| 128 | 67.0459 | 44.5447 |
| 256 | 55.5999 | 45.6442 |
| 512 | 43.9777 | 49.7599 |
| 1024 | 35.0357 | 49.6553 |
| Case | Initial velocity error (%) |
|---|---|
| Periodic | |
| One hole | 20.760 |
| Two holes | 22.566 |
| Three holes | 22.201 |
| Mean error (%) | RHS discrepancy | Time-step difference | ||
|---|---|---|---|---|
| 128 | 90.170 | |||
| 256 | 85.572 | |||
| 512 | 78.442 | |||
| 1024 | 66.826 |
| Divergence | Boundary normal | Grid correction | ||||
|---|---|---|---|---|---|---|
| Initial | Final | Initial | Final | Initial | Final | |
| 128 | 0.447 | 0.328 | 0.395 | 0.212 | 0.401 | 0.312 |
| 256 | 0.472 | 0.385 | 0.431 | 0.272 | 0.373 | 0.519 |
| 512 | 0.430 | 0.391 | 0.368 | 0.222 | 0.304 | 0.470 |
| 1024 | 0.364 | 0.385 | 0.271 | 0.175 | 0.224 | 0.435 |
| Case | Potential | Velocity | |
|---|---|---|---|
| Periodic | 1024 | ||
| 1 hole | 1024 | 232.61 | 423.97 |
| 2 holes | 1024 | 235.48 | 376.76 |
| 3 holes | 1024 | 233.88 | 388.71 |
| Fwd. | Rev. | Geometry | Ortho. | Validate | Save | Opt./sample | |
|---|---|---|---|---|---|---|---|
| 128 | 10.52 | 35.97 | 25.14 | 0.21 | 8.35 | 4.67 | 0.22 |
| 256 | 20.85 | 72.05 | 25.22 | 0.62 | 10.76 | 9.26 | 0.22 |
| 512 | 42.17 | 145.88 | 25.61 | 2.20 | 15.95 | 1.82 | 0.35 |
| 1024 | 89.94 | 298.41 | 29.88 | 8.86 | 28.61 | 3.77 | 0.67 |
| Case | Seed | Updates | Validate | Total | |
|---|---|---|---|---|---|
| Periodic | 1024 | 0 | 151.75 | 3.17 | 159.13 |
| Periodic | 1024 | 1 | 151.59 | 3.19 | 158.98 |
| Periodic | 1024 | 2 | 151.45 | 3.17 | 158.78 |
| 1 hole | 1024 | 1 | 153.04 | 3.28 | 160.96 |
| 2 holes | 1024 | 1 | 154.53 | 3.33 | 162.52 |
| 3 holes | 1024 | 1 | 159.76 | 3.52 | 167.91 |
| Case | Basis | Basis eval. | Projection | Derived | ||
|---|---|---|---|---|---|---|
| 3D | 512 | Velocity | 18.50 | 3036.39 | 3645.51 | |
| 3D | 1024 | Velocity | 41.25 | 10381.08 | 32434.41 | |
| Periodic s0 | 1024 | Potential | 143.21 | 1.73 | incl. | m.f. |
| Periodic s1 | 1024 | Potential | 142.83 | 1.73 | incl. | m.f. |
| Periodic s2 | 1024 | Potential | 143.98 | 1.63 | incl. | m.f. |
| Periodic s0 | 1024 | Velocity | 144.22 | 1.63 | incl. | m.f. |
| Method | Execution | Coarse | Fine | Output | |
|---|---|---|---|---|---|
| 128 | NKB | Coefficient | 3.57 | 6.84 | |
| 256 | NKB | Coefficient | 4.90 | 9.78 | |
| 512 | Velocity | Coefficient | 3.85 | 7.03 | 20.41 |
| 512 | Laplacian | Grid ROM | 119.45 | 238.71 | |
| 512 | NKB | Coefficient | 8.29 | 16.58 | 7.98 |
| 1024 | Velocity | Coefficient | 24.30 | 48.59 | 32.72 |
| Case | Method | Time (s) | Timer scope | |
|---|---|---|---|---|
| Periodic s0 | Potential | 182.62 | Integration + coefficient capture | |
| Periodic s1 | Potential | 182.63 | Integration + coefficient capture | |
| Periodic s2 | Potential | 182.64 | Integration + coefficient capture | |
| Periodic s0 | Velocity | 185.97 | Integration + coefficient capture | |
| Periodic s1 | Velocity | 183.62 | Integration + coefficient capture | |
| Periodic s2 | Velocity | 181.99 | Integration + coefficient capture |
| Stage | 1 hole | 2 holes | 3 holes |
|---|---|---|---|
| Boundary fields and assessment | 60.05 | 70.07 | 70.04 |
| Initial projection | 20.01 | 40.03 | 40.02 |
| Linear/operator preparation | 874.27 | 977.54 | 978.13 |
| Nonlinear tensor | 3484.71 | 3504.59 | 3501.97 |
| ROM execution | 520.06 | 610.08 | 610.08 |
| Reference fields and error assessment | 570.13 | 2250.30 | 2280.28 |
| Velocity load | Velocity check | Refined proj. | Velocity eval. | NKB eval. | Lap. refresh | |
|---|---|---|---|---|---|---|
| 512 | 0.71 | 183.30 | 19.37 | 386.33 | 69.50 | 376.58 |
| 1024 | 3.36 | 438.64 | 35.32 | 761.22 | 2337.10 | 407.83 |
| Training only | + assembly | + derived fields | |
|---|---|---|---|
| 512 | 123 | 154 | 179 |
| 1024 | 359 | 774 | 907 |
Reduced-Order Modeling
Reduced-order modeling builds compact approximations of complex systems to make simulation, prediction, and control more efficient.
See all 96 papers