arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.25297

Walk in Envelopes: Efficient Branching Walk-on-Spheres via Certified Solution Bounds

Yunfeng Liao·Zhenhao Qiu·Xinyang Chen·Xiucheng Li
View original source ↗Read source document ↗Export metadata ↓

Abstract

Branching Walk-on-Spheres (WoS) solves semilinear PDEs without meshes, but its computational cost grows sharply near critical branching rates. We introduce Walk in Envelopes (WiE), which uses certified solution bounds to transform branching diffusion rather than prune existing trees. The transformation suppresses reproduction, introduces controlled termination, and preserves unbiasedness with an envelope-dependent variance bound. We realize the transformed process through exact rejection sampling using standard screened WoS kernels, supported by certified spline envelopes and adaptive sampling, and further prove that suitable harmonic envelopes yield bounded expected reproduction counts even as conventional BBM diverges.

Explore related subjects

cs.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yunfeng Liao, Zhenhao Qiu, Xinyang Chen, Xiucheng Li. 2026-10-18. Walk in Envelopes: Efficient Branching Walk-on-Spheres via Certified Solution Bounds. https://arxiv.org/abs/2610.25297

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

KEEP EXPLORING

Related papers

arXiv2026

Quantized High-Performance High-Order Moment-Encoded LBM

Lattice Boltzmann methods (LBM) are widely used for visually rich fluid simulation, but their high memory bandwidth and storage requirements limit GPU performance and scalability, especially when coupled with complex geometry. Recent high-order moment-encoded LBM (HOME-LBM) reduces memory cost by storing compact velocity moments and performing collision directly in moment space, but its tightly coupled boundary treatment introduces divergent control flow. We present a high-performance, quantized HOME-LBM framework for large-scale turbulent fluid-solid simulations on a single GPU. Our geometry-decoupled computation scheme separates the regular fluid update from a sparse solid-correction stage, isolating geometry-dependent computations to improve GPU efficiency. To further reduce storage and memory traffic, we develop a reduced-precision representation for HOME-LBM by combining von Neumann stability analysis, empirical moment-range estimation, and runtime decomposition of second-order moments to control quantization error. We evaluate our approach on real-time demonstrations and large-scale examples using both D3Q19 and D3Q27 lattices, with additional 2D and 3D numerical experiments assessing accuracy and stability. Across the tested benchmarks, our framework substantially accelerates the original FP32 HOME-LBM implementation, with a maximum speedup of 32.5x on the Hilbert-curve geometry. Moment storage is reduced by 50% in fluid-only simulations and 25% in fluid-solid coupling examples, while maintaining numerical stability, fidelity, and high visual quality. In the static delta-wing benchmark, our solver achieves a 5.2x speedup over Leapfrog Flow Maps (LFM) under the tested configuration.

cs.GR↗
arXiv2026

Skin Tokens: A Learned Compact Representation for Unified Autoregressive Rigging

The rapid proliferation of generative 3D models has created a critical bottleneck in animation pipelines: rigging. Existing automated methods are fundamentally limited by their approach to skinning, treating it as an ill-posed, high-dimensional regression task that is inefficient to optimize and is typically decoupled from skeleton generation. We posit this is a representation problem and introduce SkinTokens: a learned, compact, and discrete representation for skinning weights. By leveraging an FSQ-CVAE to capture the intrinsic sparsity of skinning, we reframe the task from continuous regression to a more tractable token sequence prediction problem. This representation enables TokenRig, a unified autoregressive framework that models the entire rig as a single sequence of skeletal parameters and SkinTokens, learning the complicated dependencies between skeletons and skin deformations. The unified model is then amenable to a reinforcement learning stage, where tailored geometric and semantic rewards improve generalization to complex, out-of-distribution assets. Quantitatively, the SkinTokens representation leads to a 98%-133% percents improvement in skinning accuracy over state-of-the-art methods, while the full TokenRig framework, refined with RL, enhances bone prediction by 17%-22%. Our work presents a unified, generative approach to rigging that yields higher fidelity and robustness, offering a scalable solution to a long-standing challenge in 3D content creation.

cs.GR↗
arXiv2026

Assessing the CAD Capabilities of General-Purpose AI Models: A Case Study of GPT-6 Astra

Recent advances in general-purpose AI models and agentic systems have enabled them to perform some CAD tasks. A systematic assessment is now needed to establish what these systems can accomplish and how well their outputs meet engineering requirements. This paper presents an empirical study of GPT-6 Astra, a SOTA general-purpose AI model, across four basic CAD tasks: model understanding, generation, editing, and evaluation. We design test cases spanning different levels of complexity and engineering requirements. The results show that GPT-6 Astra can support multiple stages of CAD workflows, with successful outcomes in cases involving nontrivial geometric complexity. This suggests that general-purpose AI is beginning to offer practical value in almost all steps in CAD workflow. However, gaps remain between generating visually plausible geometry and producing valid, functional, and editable CAD models. Recurring errors in freeform geometry, parameter dependencies, and mating relationships between parts limit engineering usefulness. Agentic iterative refinement can improve results but does not consistently resolve critical errors; long completion times further constrain practical use.

cs.GR↗