Open computational mathematics. AI-audited, not peer-reviewed. All code and data open for independent verification.

by cahlen Silver
SILVER AI Literature Audit · 3 reviews
Consensus ACCEPT_WITH_REVISION
Models gemini-2.5-pro + gpt-4.1 + o3-pro
Level SILVER — Published literature supports approach

Review Ledger

2026-05-31 gemini-2.5-pro (Google) SILVER ACCEPT_WITH_REVISION
2026-05-31 gpt-4.1 (OpenAI) SILVER ACCEPT_WITH_REVISION
2026-05-31 o3-pro (OpenAI) SILVER ACCEPT_WITH_REVISION

Issues Identified (8/8 resolved)

minor Add References for BKM (1984), Orszag dealiasing, Canuto/Rogallo pseudospectr... resolved
important Include Δt (and viscosity) in results table for reproducibility. resolved
minor Confirm fp64 usage explicitly in the method section. resolved
minor Include GPU device-query evidence in published dataset/logs. resolved
minor Clarify Taylor–Green vs random-blob IC roles relative to benchmark literature. resolved
minor Document k=0 handling in velocity inversion to avoid division by zero. resolved
important State resolution limits, scalability ceiling, and comparison to blowup-search... resolved
important Provide solver stability evidence (NaN/Inf certificate; enstrophy/BKM monitor... resolved

3-model review (2026-05-31); revisions applied

3D NS BKM Infrastructure: First Certifying Pseudospectral Blowup-Monitor Runs

The Finding

We extended the 2D BKM diagnostic to three-dimensional vorticity-form incompressible Navier–Stokes with explicit vortex stretching (ω)u(\boldsymbol{\omega}\cdot\nabla)\mathbf{u} — the mechanism absent in 2D and central to Beale–Kato–Majda blowup criteria in 3D.

Each run tracks max vorticity ωL\|\omega\|_{L^\infty}, enstrophy, and the cumulative BKM integral

0Tω(,t)Ldt\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\, dt

on a single NVIDIA RTX 5090 using a custom CUDA + cuFFT pseudospectral kernel.

RunGridν\nuΔt\Delta tICStepsResult
Smoke64³0.010.002Taylor–Green200BKM ≈ 1.63; max ω4.17\|\omega\| \approx 4.17 at t=0.4t=0.4
Standard128³1e-30.002Random blob1000BKM ≈ 1.24; max ω0.614\|\omega\| \approx 0.614 at t=2.0t=2.0
Blowup search256³1e-40.001Random blob500BKM ≈ 0.44; max ω0.878\|\omega\| \approx 0.878 at t=0.5t=0.5; 2.3 steps/s
Blowup search (long)256³1e-40.001Random blob2000BKM ≈ 1.76; max ω0.887\|\omega\| \approx 0.887 at t=2.0t=2.0; 880 s
Blowup search (5000)256³1e-40.001Random blob5000BKM ≈ 4.45; max ω0.903\|\omega\| \approx 0.903 at t=5.0t=5.0; 2190 s
Taylor–Green256³1e-30.001Taylor–Green1000BKM ≈ 4.23; max ω4.44\|\omega\| \approx 4.44 at t=1.0t=1.0
Kerr (ν sweep)256³1e-40.001Kerr tubes2000BKM ≈ 9.99; max ω5.0\|\omega\| \approx 5.0; 5.7× random BKM
Kerr (ν sweep)256³1e-30.001Kerr tubes1000BKM ≈ 4.99 vs random 0.88 at t=1.0t=1.0

Both runs: zero NaN/Inf (exit certificate). No finite-time blowup signal at these resolutions and Reynolds numbers.

3D BKM diagnostic

Method

Governing equation on a periodic cube:

tω+(u)ω=(ω)u+ν2ω\partial_t \omega + (\mathbf{u}\cdot\nabla)\omega = (\boldsymbol{\omega}\cdot\nabla)\mathbf{u} + \nu \nabla^2 \omega

Velocity from Fourier space: u^=i(k×ω^)/k2\hat{\mathbf{u}} = i(\mathbf{k}\times\hat{\boldsymbol{\omega}})/\|\mathbf{k}\|^2. 2/3 Orszag dealiasing, RK4, fp64 throughout.

Hardware. Physical RTX 5090 (32 GB, Blackwell, CC 12.0), compiled with -arch=sm_120.

Limitations. No spatial convergence study; moderate Re only; 512³ OOM on 32 GB RTX 5090 (grid must be power of 2); 256³ is far below resolutions used in state-of-the-art 3D blowup-search DNS (e.g. Kerr 1993).

References

  • Beale, Kato, Majda (1984) — BKM blowup criterion
  • Orszag (1971) — 2/3 dealiasing rule
  • Canuto et al. (1988); Rogallo (1981) — pseudospectral methods
  • Kerr (1993) — landmark 3D Euler blowup-search DNS

Claim validation

ClaimStatusEvidence
3D vortex-stretching DNS runsValid infrastructureCSV logs, certifying exit code
BKM integral monitoringImplementedCumulative 0tωds\int_0^t \|\omega\|_\infty ds each step
Finite-time blowupNot claimedVorticity bounded at tested (N,ν,T)(N,\nu,T)
Resolution of blowup candidatesNot claimed128³ certifying sweep only

What we do not claim

  • Evidence of Navier–Stokes singularity or blowup
  • Sufficient resolution to resolve inertial-range turbulence or blowup-scale structures
  • Comparison to published 3D benchmark DNS at identical Re

Phase 5: Kerr-type IC and viscosity sweep

We added a Kerr-class antiparallel vortex-tube initializer (z-aligned Gaussian filaments at x=π±0.55x = \pi \pm 0.55, Crow-type 3D perturbation) and ran a 256³ viscosity sweep:

ICν\nuTTBKMmax ω\|\omega\|_\infty
Kerr10310^{-3}1.04.995.0
Random10310^{-3}1.00.880.88
Kerr10410^{-4}2.09.995.0
Random10410^{-4}2.01.760.89
Kerr10510^{-5}1.04.995.0

Structured Kerr IC drives ~5–6× higher BKM than random blob at matched (N,ν,T)(N, \nu, T) — better aligned with blowup-search literature (Kerr 1993). Still zero NaN/Inf; vorticity bounded at tested resolution. HF configs kerr_nu1e-03, kerr_nu1e-04, kerr_nu1e-05.

Kerr vs random BKM at ν=10⁻⁴

We ran 256³ random-IC sweeps at ν=104\nu = 10^{-4}, Δt=0.001\Delta t = 0.001: 500-, 2000-, and 5000-step certifying runs (BKM ≈ 4.45 by t=5.0t=5.0). A 256³ Taylor–Green benchmark at ν=103\nu = 10^{-3} reached BKM ≈ 4.23 by t=1.0t=1.0. Vorticity remains bounded in all runs — zero NaN/Inf. 512³ exceeds 32 GB VRAM on RTX 5090. Data in Hugging Face configs blowup_search, blowup_search_long, blowup_search_5000, and taylor_green_256.

Data: Hugging Face cahlen/cfd-ns3d-bkm · Experiment · Phase 2 finding

Reproduction

git clone https://github.com/cahlen/idontknow.git
cd idontknow
./scripts/experiments/cfd-ns3d-bkm/run.sh 64 0.01 200 0.002 taylor-green
./scripts/experiments/cfd-ns3d-bkm/run.sh 128 0.001 1000 0.002 random
./scripts/experiments/cfd-ns3d-bkm/run.sh 256 0.0001 500 0.001 random
./scripts/experiments/cfd-ns3d-bkm/run.sh 256 0.0001 2000 0.001 random
./scripts/experiments/cfd-ns3d-bkm/run.sh 256 0.0001 5000 0.001 random
./scripts/experiments/cfd-ns3d-bkm/run.sh 256 0.001 1000 0.001 taylor-green
./scripts/experiments/cfd-ns3d-bkm/run.sh 256 0.001 1000 0.001 kerr
./scripts/experiments/cfd-ns3d-bkm/run.sh 256 0.0001 2000 0.001 kerr
./scripts/experiments/cfd-ns3d-bkm/run_phase5_kerr_sweep.sh   # full ν sweep

Human–AI collaboration. Silver-certified (2026-05-31). All code open for verification.

Recent Updates

updateRegenerate llms-full.txt for agent discovery.