https://arxiv.org/api/aT2Wi5KJFyUMR1GdSnkaha6BAQQ 2026-09-10T22:26:38Z 2752 90 15 http://arxiv.org/abs/2607.08872v1 2026-07-09T18:58:05Z

This work surveys the different parallel variants of the mesh adaptive direct search (MADS) algorithm for constrained blackbox optimization. These problems can inherently imply high computational costs due to the possible large number of variables and multi-modality of the search space. In addition, the potential time-intensive nature and time heterogeneity of the blackboxes defining the problem prompts the need for efficient implementations. Parallelism emerges as an actionable solution to mitigate computation time, as modern computer systems rely on multi-core architecture. The reviewed methods employ diverse levels of parallelism and distinct parallel strategies to effectively tackle each aspect outlined above. The manuscript details the practical implementations, provides computational results, and offers insights into the advantages and limitations of each MADS parallel method.

2026-07-09T18:58:05Z Sébastien Le Digabel Antoine Lesage-Landry Samuel Mendoza Christophe Tribes http://arxiv.org/abs/2607.07385v1 2026-07-08T13:17:00Z

We present JAX-FVM, an open-source, fully differentiable finite volume method (FVM) for the two-dimensional compressible Euler and Navier-Stokes equations on unstructured triangular meshes. The solver is written entirely in JAX, so that every operation : mesh connectivity, flux evaluation, slope limiting, and time integration is just-in-time compiled, vectorised, and end-to-end differentiable through automatic differentiation (AD), and runs transparently on CPU or GPU. On the numerical side, JAX-FVM is built around an entropy-conservative Tadmor/Ismail-Roe two-point flux supplemented with entropy-variable Rusanov or Roe dissipation, second-order MUSCL reconstruction of primitive variables with least-squares gradients and Venkatakrishnan limiting, and a family of explicit (RK2-4) and matrix-free implicit (Newton, SDIRK2) time integrators whose Jacobian actions are obtained by AD. The combination of an unstructured-mesh compressible FVM with end-to-end differentiability fills a gap left by existing differentiable CFD frameworks, which are almost exclusively restricted to structured grids or spectral discretisations. We describe the governing equations, the discretisation, the software architecture, and a set of standard verification cases. The code is openly available at https://github.com/guigzair/jax_fvm.

2026-07-08T13:17:00Z Guillaume de Romémont http://arxiv.org/abs/2607.06881v1 2026-07-08T00:44:25Z

A multiple double is an unevaluated sum of doubles. An NVIDIA tensor core is a specialized high performance compute core for matrix multiplication. The Ampere A100, released in 2020, introduced tensor cores capable of 64-bit floating-point arithmetic. Every multiple double arithmetical operation requires renormalization, which involves branching, for which tensor cores are unsuited. To solve this problem caused by renormalization, we apply a solution similar to the Ozaki scheme [Ozaki et al, Numerical Algorithms, 2012]. Our software is available under the GPU GPL license on github.

2026-07-08T00:44:25Z accepted for inclusion in the proceedings of ICMS 2026, the International Conference on Mathematical Software Howard Chen Jan Verschelde http://arxiv.org/abs/2607.06690v1 2026-07-07T18:07:06Z

Finance, sensing, and demand streams violate the exchangeability that IID conformal prediction and the IID bootstrap assume, and existing libraries implement either a general resampling engine or conformal calibration without the other. tsbootstrap provides block, residual, sieve, and wild resampling, classical bootstrap confidence intervals, and adaptive conformal calibrators (EnbPI, ACI, NexCP, AgACI) through a single typed API in which a specification object selects each method. In a controlled coverage study the IID bootstrap undercovers sharply under dependence; dependence-aware methods reduce the coverage deficit, the sieve nearest to nominal under short-memory linear dependence. On the shared fixed-statistic path a compiled backend runs several times faster than arch, and a streaming reduce avoids materializing the $O(Bn)$ replicate tensor, limiting peak extra memory to $O(B)$ for the statistic array. The software is MIT licensed (v0.6.1).

2026-07-07T18:07:06Z 4 + 2 pages. Code: https://github.com/astrogilda/tsbootstrap Sankalp Gilda http://arxiv.org/abs/2605.04629v2 2026-07-07T11:49:23Z

We present CombOL (Combinatorial Objects Library), an open-source library for the enumeration and Boltzmann sampling of combinatorial classes. Classes can be specified by a concise string syntax, and may depend on an arbitrary number of parameters. CombOL automatically derives the associated generating functions, enabling the generation of counting sequences and the compilation of Boltzmann samplers. The library supports exact and approximate-size Boltzmann rejection sampling with automatic parameter tuning to target specific sizes. In addition to implementing established methods, CombOL contributes a novel early-rejection scheme, as well as guaranteed statistical correctness by dynamically increasing the numerical precision, eliminating bias due to floating-point rounding errors. Through the Python interface, sampled structures can be mapped to application-specific objects, enabling direct sampling of domain objects such as graphs, chemical structure representations, or other complex data types. CombOL is available from PyPI as 'combol' (pypi.org/project/combol). The source code is available at gitlab.com/casbjorn/combol.

2026-05-06T08:16:38Z 10 pages, 2 figures. Accepted at ICMS (International Congress on Mathematical Software) 2026 Casper Asbjørn Eriksen Daniel Merkle http://arxiv.org/abs/2607.05078v1 2026-07-06T13:39:45Z

Monetary risk measures have gained popularity for expressing decision-makers' risk aversion. Value-at-Risk (VaR) and Conditional-Value-at-Risk (CVaR), in particular, are used commonly for this purpose. This paper proposes new efficient algorithms to compute these risk measures for a discrete random variable in expected linear time with respect to the size of its domain. First, we propose a QuickVaR algorithm that computes the VaR of a discrete random variable. Then, we leverage QuickVaR to propose QuickDivergence, an algorithm for computing a class of $\varphi$-divergence risk measures, including the popular CVaR risk measure. The QuickVaR algorithm adapts the well-known Quickselect algorithm, while QuickDivergence builds on polymatroid optimization algorithms. Numerical results show that our new algorithms offer an order-of-magnitude speedup for large domains, and a library implementation of the algorithms is available at https://github.com/RiskAverseRL/RiskMeasures.jl.

2026-07-06T13:39:45Z Palash Agrawal Gersi Doko Maeve Burwell Marek Petrik http://arxiv.org/abs/2607.04497v1 2026-07-05T20:47:08Z

We present an open, reproducible branch-and-cut (B&C) algorithm for the capacitated profitable tour problem (CPTP) and its open s-t path variant, the capacity-constrained elementary shortest-path problem. The solver re-implements the formulation and cut families of Jepsen et al. (2014) on a fully open mixed-integer programming stack (HiGHS; Huangfu and Hall, 2018), and adds bound-based preprocessing, domain propagation, and reduced-cost variable fixing. We claim no new method; the contribution is twofold. First, an open, reproducible artifact: to our knowledge the first branch-and-cut for this problem class on a fully open stack, with the formulation, every separator, and all benchmark scripts released, so the results below can be rerun and the solver reused and extended as a baseline. Second, a component study on this common modern stack, benchmarked against a dynamic-programming/labelling reference, that decomposes which components pay off and where the running time goes. We find that the capacity-class cuts account for essentially the entire benefit (adding them to a connectivity-only baseline lifts the number of instances solved from 52 to 64 of 76 and shrinks the search tree more than tenfold), while comb and rounded generalized-large-multistar cuts, reduced-cost fixing, and bound-based propagation add nothing measurable. We also report a negative result: the shortest-path-incompatibility (SPI) cut, a variant of the node-precedence inequalities of García (2009), finds no violated inequality on any instance. The solver and all experiments are released as open, reproducible software (Spoorendonk, 2026).

2026-07-05T20:47:08Z Simon Spoorendonk http://arxiv.org/abs/2607.05437v1 2026-07-03T15:02:49Z

We introduce the mmatrix toolbox, a Matlab software package for componentwise accurate computations with M-matrices described through left or right triplet representations. The core of the toolbox is a Fortran implementation, in the Lapack style, of the unblocked, recursive, and blocked versions of the GTH algorithm and its applications for the accurate computation of the solution of linear systems with M-matrix coefficient and nonnegative right-hand side, the LU factorization of an M-matrix and its inverse. These algorithms avoid subtractive cancellation; this property ensures high componentwise accuracy even for ill-conditioned problems. The toolbox contains also accurate algorithms for related problems, such as computing the Schur complement, the singular values, the square root of an M-matrix, and the solution of nonsymmetric algebraic Riccati equations associated with M-matrices. The Matlab interface is based on an object-oriented implementation allowing one to use standard Matlab operations on M-matrices with triplet representation.

2026-07-03T15:02:49Z Bruno Iannazzo Mehdi Najafi Kalyani Federico Poloni http://arxiv.org/abs/2604.22242v2 2026-07-03T02:11:57Z

We describe the Bandicoot GPU linear algebra toolkit for C++, which prioritises ease of use without compromising efficiency. Bandicoot's API aims for compatibility with the popular Armadillo CPU linear algebra library, enabling easy transition for existing CPU-based codebases. Unlike other GPU-focused toolkits, Bandicoot uses template metaprogramming to generate fused GPU kernels directly at compile-time, yielding efficient kernels that can saturate memory bandwidth. This removes the need for run-time overhead or JIT infrastructure. Empirical results show that Bandicoot outperforms (sometimes by considerable margins) commonly-used linear algebra toolkits including PyTorch, TensorFlow, and JAX.

2026-04-24T05:34:59Z Ryan R. Curtin Marcus Edel Conrad Sanderson http://arxiv.org/abs/2606.06310v2 2026-07-01T03:11:13Z

We introduce a new algorithm for computing persistent homology of Vietoris--Rips filtrations, which in many cases offers a considerable improvement both in terms of time and memory over the existing implementations of the persistence pairing algorithm. The key innovation, called active enumeration, is made possible by a new theoretical framework of Reduction to Zero Differentials (hence RedZeD) in which to view persistent homology.

2026-06-04T15:51:27Z 34 pages; comments welcome Chris Kapulkin Nathan Kershaw http://arxiv.org/abs/2606.31003v1 2026-06-30T00:28:16Z

The unitary-triangular (QR) factorization of linear algebra may be used to robustly and efficiently solve a linear system. Toward a comparable numerical method to solve a polynomial system of higher degree, this paper proposes an any-degree unitary-triangular (Qr) factorization, which for a degree-one system reduces to the QR factorization. The work develops a tensor framework, i.e., codesigned algebra and software, where polynomial system coefficients are represented by a vector-shaped sparse tensor, a multidimensional array whose number of Ricci-notation indices, called the tensor degree, equals the highest monomial degree of the system. With the proposed Qr factorization, the coefficient tensor decomposes into a product of unitary and triangular factors that, in general, also have Ricci-notation indices and sparse entries. The unitary factor defines a unitary transform, a generalization of the related linear algebra concept to tensor algebra, that can triangularize a polynomial system while preserving its solution set, whether zero- or positive-dimensional. The work extends the author's Ricci-notation tensor framework, providing new algebra and new software to model, construct, and factorize polynomial systems in this manner. After applying the approach to numerically triangularize two zero-dimensional systems, chosen for educational value, results are compared to the Gröbner-basis (GB) method for triangularizing polynomial systems symbolically. One problem is of degree three, with three equations and unknowns, and the other of degree two, with four equations and unknowns. Although it resembles GB triangularization, the proposed Qr factorization has a completely different pedigree associated with numerical methods.

2026-06-30T00:28:16Z 16 pages, 4 figures, 5 tables, 1 algorithm Dileepan Joseph http://arxiv.org/abs/2606.30985v1 2026-06-29T23:49:12Z

We present CppSim, a C++/GPU 2D Ising simulator for Heisenberg-picture tensor network time evolution on GPUs. The key computational contributions are: first, a zero-malloc GPU workspace that pre-allocates all buffers at startup; second, a custom GPU tensor permutation kernel replacing host-side index shuffling with a pure device-to-device operation, yielding a 7.6x trotter speedup; third, a hybrid QR strategy selecting Cholesky-QR for tall-skinny matrices and Householder-QR otherwise; fourth, adaptive Belief Propagation with log-space Bethe partition function evaluation and explicit sign tracking.

2026-06-29T23:49:12Z 36 pages, 13 figures, 12 tables Paolo D'Alberto http://arxiv.org/abs/2606.30847v1 2026-06-29T19:23:57Z

We present $\texttt{bucket-graph-spprc}$ ($\texttt{bgspprc}$ for short), an open-source, header-only C++23 library for the shortest path problem with resource constraints (SPPRC), the pricing subproblem at the heart of branch-cut-and-price for vehicle routing and related problems. The library implements the bucket-graph labelling algorithm of Sadykov, Uchoa and Pessoa (2021), with bidirectional labelling, across-arc concatenation, bucket fixing and arc elimination, and a structure-of-arrays label store with SIMD-accelerated dominance. Its central design feature is a compile-time resource concept: a new SPPRC variant is added by implementing a fixed seven-function interface, and resources compose into a label state with no runtime dispatch, the state layout fixed at compile time. Five resources ship built in: time/capacity, ng-path elementarity relaxation, rank-1 cuts, cumulative cost, and pickup-and-delivery. In a reproducible, head-to-head comparison on shared public instances at an identical bound, $\texttt{bgspprc}$ outperforms PathWyse (Salani, Basso and Giuffrida, 2024), the main open-source comparator, by $1.3\times$--$2.35\times$ in shifted geometric mean (and by $1.3\times$--$2.3\times$ even when itself run single-threaded), and runs within $1.9\times$--$2.4\times$ of parallel pull labelling (Petersen and Spoorendonk, 2025), a different labelling technique for the same problem. The library, benchmark scripts, and pinned instances are publicly available.

2026-06-29T19:23:57Z Simon Spoorendonk http://arxiv.org/abs/2606.29129v1 2026-06-28T00:37:25Z

Ozaki scheme II emulates high-precision matrix multiplication using low-precision integer matrix operations based on the Chinese remainder theorem (CRT). It first scales the high-precision matrices to convert them into integer matrices. For this scaling step, Ozaki scheme II provides two modes: accurate mode, which uses INT8 matrix multiplication to estimate scaling factors, and fast mode, which applies the Cauchy--Schwarz inequality at lower computational cost. We show that the existing formula lacks scale invariance; multiplying the input matrices by a constant changes the effective bit width of the integer matrices in the scaling step, causing accuracy degradation or CRT recovery failure. To address this, we propose a revised scaling formula derived from the CRT uniqueness condition via the Cauchy--Schwarz inequality. The proposed formula is scale-invariant by construction, guarantees that the CRT uniqueness condition is always satisfied, and introduces no additional overhead over the original fast mode. Experiments on an NVIDIA GH200 GPU show that the proposed method achieves accuracy comparable to that of accurate mode while maintaining throughput comparable to that of fast mode. In the accuracy--throughput trade-off, the proposed method overcomes the accuracy limitation of fast mode and the throughput constraint of accurate mode, offering a superior accuracy and performance.

2026-06-28T00:37:25Z Shota Kawakami Daisuke Takahashi http://arxiv.org/abs/2502.14256v3 2026-06-25T13:25:43Z

Low-discrepancy (LD) sequences are widely used as efficient experimental designs for high-dimensional numerical integration and function approximation. This article presents QMCPy, an open-source Python library that provides a unified framework for randomized LD sequences, quasi-Monte Carlo (QMC) methods, and fast kernel-based computations. We systematically describe the supported rank-$1$ lattices, digital nets (including higher-order constructions), and Halton point sets, together with randomization techniques such as random shifts, linear matrix scrambling (LMS), nested uniform scrambling (NUS), digital shifts, and digital permutations. We emphasize practical implementation issues such as extensible sequence generation, Gray code ordering, and efficient digital operations. Beyond integration, QMCPy supports fast kernel methods in reproducing kernel Hilbert spaces (RKHSs) by pairing LD point sets with shift-invariant (SI) and digitally shift-invariant (DSI) kernels, including higher-order variants, which yields structured Gram matrices. In particular, the resulting Gram matrices have circulant or recursive symmetric block Toeplitz (RSBT) structure, allowing the costs of matrix-vector products and linear solves to be reduced from $\mathcal{O}(n^2)- \mathcal{O}(n^3)$ to $\mathcal{O}(n \log n)$ by using fast Fourier transforms (FFTs) and fast Walsh-Hadamard transforms (FWHTs). We derive a new computable form of an order-$4$ DSI kernel, develop efficient eigenvalue and transform-update algorithms, and present numerical experiments that demonstrate the accuracy, convergence rates, and computational efficiency of the implemented methods across a range of test integrands and dimensions. These capabilities in QMCPy provide a practical, reproducible platform for applying randomized QMC and kernel-based techniques in computational science and engineering.

2025-02-20T04:45:12Z Aleksei G. Sorokin