arXiv Science⌕ Search

arXiv subjects

Runlong Yu

Publications and source records attributed to Runlong Yu.

At least 19 recordsLinked to original sources
arXiv2026

TIDE: A Physically Diverse 3D Turbulence Benchmark Dataset for Advancing Scientific Machine Learning

Turbulence is a central testbed for machine learning on physical dynamics because its governing laws are known exactly. However, most existing studies remain in 2D, while 3D turbulence has fundamentally different physics and is far more costly to simulate. Existing 3D resources also typically provide only one realization per configuration, making it difficult to distinguish learning the dynamics from fitting the statistics of a single flow. In this paper, we introduce TIDE (Turbulent Incompressible DNS Ensembles), a 256^3 DNS corpus and benchmark for 3D incompressible turbulence, with 15 configurations on eight controlled axes, independent ensembles, pressure fields, and equation-level verification. The benchmark includes five tasks, standardized learned baselines, controlled generalization splits, and physical-fidelity metrics alongside pointwise error. Across the main forecasting configurations, current learned models barely outperform persistence and still make about twice the error of a spectral solver given the true equations. Moreover, lower pointwise error can coincide with severely distorted small-scale dynamics, showing that accuracy alone does not ensure physical fidelity. Generalization results further show that most regime shifts reflect limited training coverage, whereas forced-to-decay transfer exposes a missing conditioning variable: operators trained under forcing continue to predict driven evolution when the external drive is removed. Closing these accuracy, fidelity, and conditioning gaps is the central open problem made measurable by TIDE.

physics.flu-dyn↗
arXiv2026

PIER: Physics-Informed Environmental Retrieval for Time-Series Modeling

Accurate modeling of environmental systems is fundamental to scientific understanding and decision-making, yet remains challenging because observations are limited and physical dynamics vary across systems. Retrieval-augmented approaches offer a natural path to transfer knowledge across systems, but standard embedding-based retrieval does not guarantee consistency of underlying physical processes, since scenarios with similar embeddings may arise from different underlying mechanisms. We propose Physics-Informed Environmental Retrieval (PIER), a model-agnostic framework that augments embedding-based retrieval with a physics-aware stream that scores candidates by flux-response consistency with the target, using local verifiers trained on physics-derived flux features. A weight adjustment mechanism then learns per-scenario weights that adaptively balance the two retrieval streams based on diagnostic features summarizing physics-stream reliability. Experiments on 356 lakes across the Midwestern United States spanning 41 years show that PIER consistently outperforms baselines for water temperature and dissolved oxygen prediction, and serves as a general augmentation strategy across diverse backbones.

cs.LG↗
arXiv2026

Filtered Vortex Stretching and Subgrid Defects for the Three-Dimensional Navier-Stokes Equations

We prove a finite-scale estimate for vortex stretching in spatially filtered three-dimensional Navier--Stokes flow. The positive near-field part of the filtered stretching is bounded by a pairwise defect of filtered vorticity directions. A magnitude-weighted direction inequality converts this angular defect into a first-order difference quotient of filtered vorticity, and the resulting term is absorbed by filtered diffusion up to a lower-order enstrophy reservoir. In the localized filtered enstrophy balance, the remaining positive surplus is assigned to far-field strain, commutator forcing, and localization residuals. The far-field term is reduced to weighted packing and conditional annular Carleson embedding. The differentiated commutator stress is controlled by a scale-invariant increment defect adapted to the filter and its derivative. At the critical exponent, bounded increment defects generate cylindrical generalized Young-measure profiles.

math.AP↗
arXiv2026

Coarse-Grained Resolution and Pressure-Flux Work Depletion for Navier-Stokes CKN Badness

We prove a finite-scale coarse-grained decomposition for the three-dimensional incompressible Navier-Stokes equations near the Caffarelli-Kohn-Nirenberg local regularity framework. The first part is a local resolution lemma for the scale-critical quantity: for every spatial filter length ell > 0, Psi(r) <= 4 Psi^ell(r) + 4 Omega^ell(r), where Psi^ell(r) is the corresponding coarse-grained velocity-pressure quantity and Omega^ell(r) is the explicitly defined subfilter residual. Thus a CKN-bad scale is either visible at the resolved level or is carried by unresolved velocity-pressure oscillation. The second part is an exact fixed-chain depletion theorem for the combined pressure-flux work distribution G^ell = Pi^ell + div(P^ell U^ell), Pi^ell = -R^ell : grad U^ell, which is the signed work density appearing in the localized resolved-energy balance. For finite-dimensional active test families with common endpoint traces, we obtain a constructive active-work extraction and a weighted telescoping inequality: forward combined work and resolved dissipation are paid by the initial localized kinetic energy, explicit localization leakage, and negative combined work/backscatter.

math.AP↗
arXiv2026

A Structural Audit of Navier-Stokes Obstruction Calculus

We audit a finite-scale program for the local regularity problem of the three-dimensional incompressible Navier--Stokes equations. The program develops critical ledgers, coarse-grained defect decompositions, pressure--flux work identities, quotient cleanings, and bad-scale counting mechanisms. These results form an obstruction calculus: they locate how Caffarelli--Kohn--Nirenberg badness may be transported, hidden, or reproduced across scales, but they do not by themselves provide a coercive estimate excluding a surviving obstruction. We prove a resolution lemma separating full CKN badness into coarse badness and subfilter residual, and show that no unconditional single-scale domination by a signed combined-work detector is available. The audit therefore identifies the next necessary target: a filtered stretching--diffusion estimate, including subgrid forcing, leakage, pressure tails, and direction-incoherence defects, capable of converting the existing decomposition theory into a genuine regularity or obstruction-exclusion mechanism.

math.AP↗
arXiv2026

Physics-Preserving Latent Compression for Zero-Shot Resolution Transfer in 3D Turbulence

High-resolution turbulence modeling is essential for scientific computing, but remains constrained by the cost of direct numerical simulation and the scarcity of full-resolution data. Existing scientific compressors reduce storage but typically operate on per-frame representations, whereas learned compressors yield compact latents that are often resolution-dependent and weakly aligned with the physics of turbulence. This raises the need for a compression framework that reduces data size, preserves physical diagnostics, and transfers from low-resolution training fields to high-resolution test fields without retraining. In this paper, we propose Physics-Preserving Latent Compression (PPLC), a patch-local latent compressor for three-dimensional turbulence. Motivated by inertial-range scale similarity, PPLC treats fixed-size patches as transferable units and applies a shared variational autoencoder independently of the global grid size. It combines exact mean preservation, zero-mean fluctuation encoding, an invertible Haar wavelet front-end, shift-consistency regularization, and overlap-aware reconstruction. Instantiated on forced isotropic turbulence, PPLC is trained only on stride-downsampled 256^3 fields and transfers zero-shot to 1024^3 fields. Experiments show that PPLC improves the balance between reconstruction accuracy and physical fidelity over classical and learned baselines, keeping diagnostics such as dissipation, enstrophy, energy spectra, and incompressibility closer to the ground truth. Beyond turbulence compression, PPLC offers a general strategy for physics-preserving latent representations that support data-efficient scientific surrogate modeling.

physics.flu-dyn↗
arXiv2026

Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

This paper proves a finite-chain counting theorem for Caffarelli--Kohn--Nirenberg bad scales of suitable weak solutions to the three-dimensional incompressible Navier--Stokes equations. The main standard-PDE result bounds the weighted size of a finite set of CKN-bad scales by nonnegative channel costs consisting of vertical one-component concentration, annular leakage, pressure-tail terms, and pressure--flux--energy residuals. The proved closing mechanism is qualitative one-component compactness under a full local critical bound: small vertical component forces CKN smallness at a smaller radius. The paper then gives a canonical detector realization of the same finite-window counting philosophy. The original abstract detector is not identified with standard PDE channels; instead, a new amended canonical detector is defined using energy, flux, pressure-tail, retained low-pressure-mode, and finite-dimensional residual coordinates. For this amended detector, we prove upper realization, lower audit, CKN extraction, and finite-chain bad-scale counting.

math.AP↗
arXiv2026

Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages

We develop a finite-window recursive audit framework for Navier--Stokes-generated packages. On a fixed window, the underlying anti-phantom certificate asserts that a baseline-visible package is either detected locally or charged to an explicit residual ledger. The first component of the framework is a broad one-step admissibility criterion for pressure-admissible finite-energy Navier--Stokes-generated audit packages under an explicit ledger of synchronization, localization, projection, harmonic-tail, chart, clean-gap, gate/slack, and detector mismatches. The second component is a finite-chain propagation theorem: once one-step admissibility supplies a finite renormalized chain of packages and a static finite-window audit certificate is available at each scale, variable-coefficient error recursion and weighted summation yield a recursive finite-window anti-phantom lower bound. We also give compact/effective pressure projection criteria, reduced quotient chart visibility, clean detector gaps, a pressure--flux--energy matrix kernel condition, a smooth reduced NS-generated verification class, and a conditional Caffarelli--Kohn--Nirenberg compatible defect-extraction criterion.

math.AP↗
arXiv2026

Finite-Window Local-to-Clean Transfer and Anti-Phantom Detection for Sharp Navier-Stokes Packages

We prove a fixed finite-window structural theorem for sharp localized Navier-Stokes packages, formulated as both a local-to-clean detection theorem and an anti-phantom principle. The result addresses whether a defect visible in the baseline quotient geometry can disappear after pressure-tail enrichment, residual transfer, quotienting, and clean-to-local detector comparison. Under synchronized representatives, baseline-to-tail visibility, component comparison, residual-ledger closure, detector comparison, chart visibility, and a clean quotient gap, any baseline-visible defect is either detected by the localized detector or charged to an explicit quotient-residual ledger. Quantitatively, M_Lambda^loc(D-zeta_*) >= c_{Lambda,0} Dist_{loc,intg,0}(D,Gamma^{intg}*{Lambda,adm}) - E^{quot}*{Lambda,0}(D). The proof assembles three modules: pressure-tail visibility, componentwise residual-ledger closure, and detector comparison. The anti-phantom interpretation is that a baseline-visible defect cannot be simultaneously detector-silent and residual-cheap. We also record provenance for the imported quotient interface, finite-dimensional pressure-tail models, explicit matrix realizations of the structural inputs, NS-generated coordinate realizability, compactness criteria for clean pressure images, and reduced pressure/tax kernel-free criteria.

math.AP↗
arXiv2026

Tail Criteria, No-Go Audits, and Ap\'ery-Type Certificate Obstructions for the Irrationality of e+\pi

The irrationality of e+pi remains open, despite the separate transcendence of e and pi. This paper studies the problem from the viewpoint of finite irrationality certificates and gives a bounded no-go audit for low-complexity Ap\'ery-type proof mechanisms. First, we prove exact equivalences between the hypothesis e+pi in Q and eventual factorial-arithmetic phenomena: a ceiling recurrence, a factorial-Cantor digit condition, and a divisibility criterion. These criteria identify what rationality would force, while showing why tail conditions are not finite obstructions. Second, we formulate an Ap\'ery-type certificate framework based on integer linear forms L_n = A_n(e+pi)+B_n with A_n,B_n in Z, L_n nonzero, and |L_n| tending to zero. A mixed integration-by-parts identity produces such forms from integer polynomials. We then audit several low-complexity constructions, including mixed Pad\'e approximation, crossed separate approximations to e and pi, simple J-fractions, holonomic ansatzes, Rodrigues-type families, and an integer kernel-lattice search. The main contribution is a rigid boundary probe: no-go filters marking a tested zone where analytic smallness is destroyed by denominator clearing, coefficient growth, primitive reduction, or continued-fraction shadows. In the final kernel-lattice audit, 145 raw candidates reduce to 133 primitive records; the best signals are dominated by continued-fraction shadows, while non-CF candidates do not form a degree-continuing family. Thus, within the tested low-complexity families, no non-circular Ap\'ery-type mechanism for e+pi is found.

math.GM↗
arXiv2026

Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier-Stokes

We develop a finite-window audit and transfer framework for the local regularity problem of the three-dimensional incompressible Navier--Stokes equations. The paper has two logically separate components. First, a finite-scale critical ledger estimate shows that a persistent non-CKN branch cannot survive without cumulative untaxed critical supply or accumulated localization leakage. Second, a local-to-clean transfer theorem shows how a clean finite-window anti-phantom gap gives a localized coercive estimate for Navier--Stokes defect packages, provided three structural inputs hold: quotient-lifting stability, componentwise detection comparison, and a normalized residual budget. The technical contribution is an explicit bookkeeping of the residuals that can obstruct this transfer. Pressure tails, cutoff leakage, truncation loss, nonlinear cutoff mismatch, reproduction drift, gauge mismatch, and profit discrepancy are separated as finite-window ledger entries and then assembled into a concrete absorption criterion. The main transfer theorem is algebraic once these entries satisfy the stated normalized bounds; the PDE-facing work left open is precisely to prove the corresponding component compatibility estimates against the localized quotient distance. Thus the article is a conditional reduction. Its conclusion is structural: any surviving obstruction must either defeat the stated compatibility/growth controls or appear as an NS-realizable, cleaned, scale-critical, combined-invisible, profitable, reproducible defect cascade.

math.AP↗
arXiv2026

Finite-Window Computational Anti-Phantom Theorems for Scale-Critical Navier-Stokes Defects

We prove a finite-window anti-phantom principle for scale-critical Navier--Stokes defect packages and develop a conditional localized transfer framework around it. In a fixed clean quotient, the main compactness theorem shows that if the only defect that is simultaneously invisible, exactly reproducible, and tax-free is a gauge artifact, then observation, reproduction failure, and tax control the clean quotient distance by a positive finite-window gap. We then isolate the additional localized inputs needed to use this clean gap for Navier--Stokes packages: pressure-source observability, enhanced pressure-tail geometry, chart visibility, and residual sub-budgets for localization, reproduction, and gate/tax mismatch. The localized results are conditional finite-window reductions with explicit error constants, including a comparison theorem between the enhanced-tail geometry and the original intrinsic geometry under stated projection and harmonic tail approximation assumptions. The paper should be read as a rigorous finite-window obstruction framework, not as a proof of Navier--Stokes regularity, a construction of a singular solution, or a scale-uniform regularity criterion.

math.AP↗
arXiv2026

Critical Ledgers and Scale-Defect Cascades for Navier-Stokes

We prove a finite-scale supply--tax reduction for suitable weak solutions of the three-dimensional incompressible Navier--Stokes equations near the local regularity threshold. Along an admissible chain of parabolic windows, let B_k = A_k + C_k + D_k denote the scale-critical reservoir badness. The main PDE theorem says that if B_k stays outside a decay basin for many consecutive scales, then either cutoff/window leakage accumulates or the solution generates a positive cumulative amount of untaxed critical supply. The supply terms come from nonlinear flux, pressure transport, interpolation amplification, and pressure regeneration; the tax terms come from viscous dissipation, expected decay of old reservoir coordinates, and harmonic pressure decay. The theorem is deliberately finite-scale. It is not a proof of global regularity and it is not a construction of a singular solution. Its role is to turn persistent scale-critical badness into an explicit accounting alternative: badness can survive only by paying through untaxed supply or through non-negligible leakage. The second part of the paper interprets the ledger coordinates as a PDE-realizable finite-scale defect package. This leads to a dynamic obstruction language in which a dangerous mechanism must be profitable, reproducible, Navier--Stokes-realizable, and visible or invisible through specified pressure, flux, energy, and trace channels. The final part records finite-window quotient tests, a clean positive-cone anti-phantom theorem, and a conditional localized transfer framework. These results are finite-window or conditional tools built around the main ledger theorem, not an unconditional Navier--Stokes regularity theorem.

math.AP↗
arXiv2026

Strict 2.5D Shadows for One-Component Navier-Stokes Regularity

We formulate and prove a conditional finite-scale reduction theorem for the local one-component regularity problem for suitable weak solutions of the three-dimensional Navier--Stokes equations. Starting from a scale-invariant bound Phi(1) <= M and smallness of the critical vertical component C_3(1) = delta, the argument compares the solution with a strict two-and-a-half-dimensional shadow class. The comparison is made in the harmonic-pressure quotient, which is the natural local topology for pressure compactness. The Reynolds commutator produced by coarse graining is treated as a positive covariance stress and is absorbed by an unresolved-variance buffer; consequently this stress contributes additively, while the genuinely vertical residuals carry a positive power of delta and may pass through finite-stage exponential constants. The theorem is deliberately stated as a reduction theorem. Under the explicitly listed structural inputs--prepared pressure-covariance closure, weak horizontal-defect admissibility, sharp admissible-time trace tightness, singular-stratum tangent-cone inputs, strict limiting smoothing and decay, finite-window trace-cost/Newton solvability, and the vertical-duality active-residual estimate--we derive r_reg(0,0) >= c_{M,theta} |log C_3(1)|^{-sigma/3}. The paper does not constitute an unconditional resolution of the logarithmic one-component regularity problem. Its contribution is a theorem-driven reduction: strict-shadow selection failure is reduced to a finite-mode flat trace obstruction, and that obstruction is eliminated, conditionally, by vertical duality forced by the full three-dimensional vertical momentum equation.

math.AP↗
arXiv2026

Schur Visibility and Anti-Phantom Reduction in One-Component Navier-Stokes Degeneration

We study the finite-scale one-component degeneration problem for suitable weak solutions of the three-dimensional incompressible Navier--Stokes equations under a scale-invariant bound and smallness of the vertical component. Qualitative compactness gives convergence, in the harmonic-pressure quotient, toward the strict two-and-a-half-dimensional boundary, but it does not provide a quantitative rate. This paper proves, in an explicitly abstract trace-obstruction skeleton associated with the old observable closure, that the standard old observable package is insufficient to force a logarithmic or power selected-trace rate. The negative result is an envelope/skeleton theorem, not a Navier--Stokes counterexample. After excluding elementary high-frequency escape by parabolic trace drop and fixed-window analytic obstruction by finite-dimensional Lojasiewicz control, the remaining obstruction is an all-order finite-mode flat branch. We identify the Navier--Stokes-specific mechanism needed to control this branch: strict Schur trace-projectability may fail, but the resulting defect can be visible through the relaxed vertical-pressure channel. In active finite-window models, strict Schur phantoms are relaxed-visible. The final theorem is a conditional dichotomy: either relaxed anti-phantom closure holds and yields conditional logarithmic strict-shadow selection, or there exists an NS-realizable, cleaned, relaxed-invisible, unaligned left-singular cascade.

math.AP↗
arXiv2026

Invisible Defect Cascades for Navier-Stokes Regularity

We formulate a conditional scale-critical defect-cascade reduction for the local regularity problem of the three-dimensional incompressible Navier--Stokes equations. The theorem concerns a potential singular point for which no sufficiently small dyadic scale enters the Caffarelli--Kohn--Nirenberg smallness regime. Under the structural hypotheses of the framework, such a point cannot be explained by an undifferentiated concentration of energy or pressure. It must lead either to non-effective moving-window observability or to an NS-realizable, cleaned, scale-critical defect cascade invisible to the combined active-pressure, flux, energy, and adjoint-trace tests. The reduction is built from dyadic rescaling, coarse graining, active/harmonic pressure splitting, Reynolds covariance positivity, pressure compatibility, and local energy-flux identities. Finite-window observability reduces possible invisible directions to explicitly defined residual kernels, while budget compatibility and sign coherence convert visible pressure--flux activity into depletion. Consequently, within a controlled window class where dyadic defect extraction, observable depletion, and moving-window growth control hold, effective observability together with exclusion of NS-realizable combined-invisible cascades yields a CKN scale and hence local regularity. The final component interprets the remaining obstruction as a critical recurrence problem and proposes diagnostics for vortex stretching, active pressure work, and interscale flux. Spatially harmonic pressure is retained as a physical local pressure component; only purely time-dependent pressure functions are treated as gauge.

math.AP↗
arXiv2026

Finite-Scale One-Component Regularity via Harmonic Pressure for the 3D Navier-Stokes Equations

We study a finite-scale one-component regularity mechanism for suitable weak solutions of the three-dimensional incompressible Navier--Stokes equations. The results are organized in three layers. The first layer is unconditional. Under a fixed scale-invariant local bound Phi(1)=A(1)+E(1)+C(1)+D(1) <= M, smallness of the critical vertical-component quantity C_3(1)=int_{Q_1} |u_3|^3 dx dt yields a positive lower bound, depending only on M, for the local regularity radius at the origin. The proof converts one-component smallness into approximation by the two-and-a-half-dimensional limiting class and then into Caffarelli--Kohn--Nirenberg smallness at a smaller scale. The pressure approximation is measured in a quotient by spatially harmonic functions. This pressure topology reflects a genuine obstruction: time-dependent harmonic pressures may have bounded scale-invariant L^{3/2}-oscillation while their pointwise gradients lie beyond the control provided by the available scale-invariant quantities. The second layer is a conditional logarithmic refinement. A prepared two-shadow comparison package replaces the abstract compactness modulus by a logarithmic modulus and gives a logarithmic finite-scale decay. The third layer is a conditional relaxed-shadowing refinement. The comparison class is enlarged to smooth no-stretching horizontal flows V=(v_h,0), with the comparison pressure allowed to have partial_3 pi not equal to 0. The resulting vertical residual pairs with the small component u_3 in the relative-energy identity. Under the buffered strong-flow and localized relaxed stability inputs stated below, this gives a power-type relaxed harmonic approximation and a power-type finite-scale decay. The unconditional theorem is separated from the logarithmic and power-type assumptions; the latter two layers identify the quantitative stability mechanisms needed to upgrade the compactness modulus.

math.AP↗
arXiv2026

LLM-as-a-Reviewer: Benchmarking Their Ability, Divergence, and Prompt Injection Resistance as Paper Reviewers

Large language models (LLMs) are increasingly used in academic peer review, yet their reliability, alignment with human judgment, and robustness to adversarial attacks remain poorly understood. We present a systematic benchmark of LLM-as-a-Reviewer on 898 papers stratified from NeurIPS and ICLR, evaluating 12 LLMs along three axes: rating calibration, divergence from human reviewers, and resistance to prompt injection embedded via an invisible font-mapping attack. We find that LLMs systematically overrate weaker submissions and diverge from humans in topical emphasis, under-flagging Clarity and over-flagging Reproducibility, while producing reviews two to three times longer with lower lexical diversity and a more standardized vocabulary. Prompt injection remains highly effective. Simple hidden instructions can promote low-scoring papers to acceptance-level ratings in a substantial fraction of cases, with effectiveness varying sharply across model families. While LLMs offer utility in structuring evaluations, their integration into peer review requires safeguards against both intrinsic biases and adversarial risks.

cs.CL↗