Search arXiv⌕ Search

arXiv · 2610.15143

When Is Local Time Stepping Worthwhile? A Cost Analysis for Nested Adaptive Mesh Refinement

Abstract

In deep hierarchies of adaptive mesh refinement, the update work that subcycling avoids is set mainly by the dimension of what is refined, not of the space. Subcycling (local time stepping) does less work than global stepping, advancing each level with the finest step, provided its extra coordination cost stays below an overhead budget $β=1-1/\Sid$ as a fraction of the global-stepping work. Here $\Sid$ is the ideal speedup that the cell counts give for equal update costs. When each level follows a feature of box-counting dimension $δ$ and the counts grow geometrically, the budget of a code that advances every cell tends to $(r-1)/(r^{δ+1}-1)$ for refinement ratio r. A point leaves a budget near one, while a surface in three dimensions leaves 1/7 at r=2 and 1/21 at r=4, values implied by the planar estimates of Dursi and Zingale. Published comparisons in discontinuous Galerkin and octree codes with local time stepping imply overheads of 0.1 to 5 percent of the work, below 1/7 and comparable with 1/21. In paired runs of one AMReX code on one core, a cost model fixed in advance and fitted on points and filled regions predicted the speedups of curves and surfaces with a median error of 7 percent (22 percent on the saving); post hoc, the update counts alone did as well except for points. The overhead, as defined here, was negative in all 17 configurations, but when computed from speedups like the published values, it ranged from -0.11 to 0.19, and no configuration came near break-even. When an update costs the same under both schedules, one profiled run can show that subcycling pays.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

James M. Hyman. 2026-10-10. When Is Local Time Stepping Worthwhile? A Cost Analysis for Nested Adaptive Mesh Refinement. https://arxiv.org/abs/2610.15143

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Viscosity-uniform error estimates for a semi-implicit Fourier method in Besov spaces

We prove error estimates for a semi-implicit Fourier--Galerkin method for two-dimensional incompressible flow on the torus, with viscosity $0\leν\le1$. The temporal error is first order in $H^s$ for $H^{s+2}$ initial data and integer $s\ge1$. For data in $B^m_{2,1}$, with integer $m\ge3$, the fully discrete error is of order $τ+N^{-(m-2)}$ in $B^1_{2,1}$ and $B^0_{\infty,1}$. These estimates hold on a common local interval, with constants and time-step thresholds independent of viscosity and Fourier resolution. For data in $B^{2+\varepsilon}_{2,1}$, $0<\varepsilon<1$, the error relative to Euler flow is bounded by $C(τ^{(1+\varepsilon)/2}+N^{-\varepsilon} +ν^{(1+\varepsilon)/2})$. The consistency bounds use viscosity-weighted regularity. Orthogonality of the Leray and Fourier projectors in the block energies gives the endpoint estimates, and stability with respect to the initial data yields the fractional rate. An $L^2$ residual tolerance $δ$ contributes $CNδ$ to the endpoint error of computed iterates. We report refinement studies for smooth and fixed multiscale data, together with qualitative flow comparisons. An exactly solvable rough shear has fractional errors, up to logarithms, in $B^1_{2,1}$ and first-order errors in $B^0_{\infty,1}$.

math.NA↗

Quantum circuits for the advection-diffusion equation with boundary conditions based on LCHS

This paper proposes a systematic and explicit quantum circuit framework for solving advection-diffusion equations with boundary conditions, based on the Linear Combination of Hamiltonian Simulations (LCHS) method.By employing the Finite Volume Method (FVM) combined with various flux construction schemes, we elaborate the design of quantum circuits tailored explicitly for Robin boundary conditions (including Dirichlet and Neumann boundary conditions as special cases) and periodic boundary conditions. The Robin boundary elimination is encoded by newly constructed endpoint-projector circuits, and all physical and boundary-induced inhomogeneous terms are incorporated through an outer linear combination of unitaries (LCU). The error analysis adopts an LCU-weighted form, preserving the decay of the LCHS kernel in the product-formula bounds. Complementing this analysis, a comprehensive gate complexity analysis demonstrates the quantum advantages over classical computing in high-dimensional scenarios. We simulate the proposed circuits on a fault-tolerant emulator, and numerical results validate the effectiveness of the proposed framework across homogeneous, inhomogeneous, and high-dimensional cases.The proposed framework is compatible with numerous spatial discretization methods and numerical schemes, extends naturally to other linear PDEs, and establishes a practical foundation for solving large-scale PDE problems on future fault-tolerant quantum computers.

math.NA↗

Generalized Modulo Hysteresis Encoding

Unlimited sensing and its extension via modulo hysteresis provide an efficient encoding scheme for high dynamic range signals by folding the signal's amplitude into the range of the analog-to-digital converter prior to sampling. Motivated by shortcomings of the modulo hysteresis model, in this work we introduce generalized modulo encoders that flexibly design the folding by incorporating a general transition function and allowing the folding times to depend on the nonideality of the folding transition. We rigorously study mathematical properties of the respective operators and derive conditions under which a bandlimited signal is uniquely determined by its generalized modulo samples. Finally, we propose a recovery algorithm backed by mathematical guarantees and illustrate our theoretical results through numerical experiments.

math.NA↗