https://arxiv.org/api/T7qj4WHkuxAeicbXlUrQZ7FYtHs 2026-09-10T21:19:45Z 2752 75 15 http://arxiv.org/abs/2607.16228v2 2026-07-21T16:12:17Z

Most tensor-kernel correctness tests go through a fixed-shape all close-style check with hand-picked absolute and relative tolerances. The thresholds are copied across the corpus and rarely revisited. We mine the element-wise error distribution of every test case from accumulated cloud GPU runs across the 26-entry gpuemu corpus and 2 dtypes (8,076 result rows). We then ask one empirical question: what absolute tolerance would the kernel itself, observed under its correct implementation, justify? The answer is much tighter than the current hand-picked atol. The largest tightening is attention_triton fp16 at $2{,}184\times$. Restricted to the seven LLM-style buggy variants for which the corpus ships a paired correct counterpart, calibrated per-(op, dtype) tolerances raise bug-detection recall from 73.2% (1,805 of 2,467) to 82.4% (2,034 of 2,467), an absolute gain of 9.3 percentage points (+229 new detections). The control false-positive count rises from 0 to 20 out of 1,882 correct-control cases (+1.1 percentage points).

2026-06-23T20:50:36Z 8 pages, 1 figure, LNCS format. Companion paper: arXiv:2606.20128 (P1) Dipankar Sarkar http://arxiv.org/abs/2607.18758v1 2026-07-21T06:27:43Z

Summation error depends on partial-sum order, which standard worst-case bounds omit. To capture this dependence, we derive an exact mean-square error (MSE) recurrence for a binary reduction tree T under conditionally unbiased rounding. With unit roundoff u, the constant-nu model sets the local variance at pre-rounding value x to nu u^2 x^2. Its leading tree-dependent cost for the input vector p is p^T K_T p, where the common-ancestor kernel K_T counts the internal ancestors shared by each pair of leaves. For i.i.d. inputs of mean mu and variance tau^2, this expected cost is tau^2 Lambda_1(T) + mu^2 Lambda_2(T), where Lambda_1 is total leaf depth and Lambda_2 sums squared internal-subtree sizes; Lambda_1 governs centered inputs, while Lambda_2 captures nonzero means. We use these statistics to characterize optimal tree topologies and schedules. Balanced and sequential trees attain the centered extrema. For k inputs, optimal two-stage sequential blocking yields root-mean-square (RMS) error scaling as k^{3/4}. For fixed-stage hierarchies, geometric schedules are optimal for centered inputs, whereas the optimal noncentered stage exponents halve successively. For independent centered inputs with unequal variances, Huffman coding minimizes variance-weighted depth over free leaf assignments. We extend the kernel to matrix multiplication through operand Gram matrices. We then test the approximation under round-to-nearest using exact residuals. Across binary64, binary32, and software-emulated binary16 and bfloat16, the model recovers the ordering among tree topologies; K_T tracks AR(1) partial-sum costs. For GEMM, independently calibrated predictions differ from measurements by at most 3% on the tested grid. A reduction tree extracted from an array library predicts the measured RMS scaling. However, stagnation and bias in positive low-precision sums limit the model's applicability.

2026-07-21T06:27:43Z 20 pages, 14 figures, 3 tables Piyush Sao Narasinga Miniskar Pedro Valero-Lara Keita Teranishi Sudip Seal http://arxiv.org/abs/2607.18415v1 2026-07-20T18:03:17Z

$\texttt{codesign-mcdp}$ is a Python library for formulating and solving $\textit{Monotone Co-Design Problems}$ (MCDPs) in the framework of Censi (2015). A design problem is a relation between two posets, a functionality poset $F$ and a resource poset $R$; given a target functionality, the problem asks for the antichain of minimal resources needed to deliver it. Design problems compose under three operators (series, parallel, feedback), and the resulting class is closed under composition. The library implements the antichain calculus, six primitive design-problem types, the three composition operators, a Kleene fixed-point solver, and two high-level builders (an MCDPL-style declarative builder and a modular $\texttt{System}$ builder). Further layers add set-based and stochastic uncertainty, compositional online learning, and temporal, vector-state, and online co-design, alongside a suite of worked examples.

2026-07-20T18:03:17Z 123 pages Corentin Briat http://arxiv.org/abs/2607.17577v1 2026-07-20T05:46:25Z

The Harmonic Balance (HB) method is widely used to compute and analyze the periodic responses of nonlinear systems. However, its application to high-dimensional complex systems is limited by the burden of handling the partial derivatives of the nonlinearities. This work presents pyHB, an open-source, automatic-differentiation-enhanced semi-analytical framework that integrates the complete HB workflow for general user-defined nonlinear systems. The proposed formulation exploits localized nonlinearities and applies PyTorch-based automatic differentiation (AD) only to the reduced nonlinear force, thereby avoiding the need for user-supplied derivatives of the nonlinear force and maintaining controllable GPU memory usage. Weighted arc-length continuation, sparse matrix assembly, a blocked solution strategy for the augmented continuation equations, and Floquet-based stability analysis are incorporated within a modular architecture that separates model definition from reusable numerical procedures. Hence, pyHB can provide a complete landscape of the nonlinear system's periodic response based solely on the user-defined dynamical equations. Four examples, including a quasi-zero-stiffness isolator, a nonlinear piezoelectric energy harvester, a 284 degrees of freedom (DOFs) aeroengine model, and a 2000 DOFs Bernoulli beam, demonstrate the ability of pyHB to trace stable and unstable solution branches and capture subharmonic resonance, combination resonance, and mixed-order electromechanical responses. Notably, in the Bernoulli beam example with 202000 HB unknowns, the AD-enhanced solver requires approximately 0.44s per continuation point, achieving several-hundred-fold speedup compared to the Newmark-$β$ method and remaining 637.8MB of additional RAM and 243.5MB of GPU memory. The proposed pyHB provides a general, one-stop benchmark platform for HB-based nonlinear dynamics analysis.

2026-07-20T05:46:25Z 32 pages, 8 figures, 1 table Yuhong Jin Qi Liu Lei Hou Yi Chen Qingye Meng Jun Xu Hongyuan Fang http://arxiv.org/abs/2607.15470v1 2026-07-16T21:41:09Z

Optimization models are built in a variety of modeling languages and solved by a variety of solvers, but once a solution exists, the information needed to understand it is fragmented: each solver exposes a partial, differently named set of native diagnostics, and the modeling language has already canonicalized the formulation the user wrote. We present pyoptexplain, a practitioner-first Python library for post-optimality analysis of optimization models that sits above this layer. It adapts a model authored in any of five modeling front ends, namely cvxpy, Pyomo, gurobipy, docplex, and OR-Tools, into a normalized internal representation, solves it through a choice of backends, and answers the why and what-if questions of an optimization decision through one uniform interface. The design rests on two observations. First, a post-optimality quantity requested from different backends for the same problem can come back as an exception, a structurally meaningless zero or a basis-dependent value that disagrees across solvers, so reporting whatever one solver returns is unreliable. pyoptexplain reports a quantity only when both the representation and the chosen backend can justify it, and does not approximate unavailable information. Second, repeated scenario analysis can amortize its cost by extracting the model once and reusing a warm solver session across a batch of scenarios. pyoptexplain builds a single scalable what-if interface, uniform across its modeling languages and backends and returning a certified report for every scenario, at a cost within a small constant factor of the bare solver. A reproducible computational study substantiates both claims. Source code is available at https://github.com/h-fellahi/pyoptexplain and installation can be done through the Python Package Index https://pypi.org/project/pyoptexplain/.

2026-07-16T21:41:09Z Hussein Fellahi http://arxiv.org/abs/2602.08639v4 2026-07-16T09:03:09Z

The Cahn-Hilliard-Navier-Stokes (CHNS) system utilizes a diffusive phase-field for interface tracking of multi-phase fluid flows. Recently structure preserving methods for CHNS have moved into focus to construct numerical schemes that, for example, are mass conservative or obey initial bounds of the phase-field variable. In this work decoupled implicit-explicit formulations based on the Discontinuous Galerkin (DG) methodology are considered and compared to existing schemes from the literature. For the fluid flow a standard continuous Galerkin approach is applied. An adaptive conforming grid is utilized to further draw computational focus on the interface regions, while coarser meshes are utilized around pure phases. All presented methods are compared against each other in terms of bound preservation, mass conservation, and energy dissipation for different examples found in the literature, including a classical rising droplet problem.

2026-02-09T13:34:48Z 52 pages, 19 figures Jimmy Kornelije Gunnarsson Robert Klöfkorn http://arxiv.org/abs/2607.12915v1 2026-07-14T15:50:40Z

We present MXsim v0.1: a MATLAB library for simulating the OCP MX block floating-point arithmetic and formats. The library is built on top of a custom-precision floating-point simulator, CPFloat, which allows custom variants of non-block IEEE 754 floating-point formats to be simulated. MXsim is a MATLAB simulator, and is targeted at mixed-precision algorithm development community to perform experimentation in OCP MX block floating-point arithmetic by using a simple and well-documented interface in MATLAB, which is especially useful when access to the latest NVIDIA and AMD GPUs is not available. Furthermore, due to full customisation of exponents, precisions of input and output formats, and the precision of the accumulator within the dot product operation, MXsim allows experimenting with custom variants of the OCP MX block floating point for research. Finally, since the bit-wise numerical behavior of OCP MX formats is not documented by GPU vendors, and the precision and rounding are not prescribed by the OCP specification itself, MXsim allows experiments with various possible settings in order to determine the effects on mixed-precision numerical algorithms.

2026-07-14T15:50:40Z Maliha Islam Mantas Mikaitis http://arxiv.org/abs/2607.05668v2 2026-07-14T13:13:08Z

Multiphysics simulation with lattice Boltzmann methods (LBM) requires a scheme hand-derived for each partial differential equation (PDE), a labor-intensive, error-prone bottleneck. We recognize our recently proposed class of LBM schemes as a discrete-kinetic relaxation approximation of conservation laws and generalize its hand derivation to an automated one for systems of hyperbolic, parabolic, and mixed-type conservation laws. The derivation splits into three steps: First, the PDE system is equivalently rearranged into a first-order cascade of conservation laws: every spatial derivative in flux or source becomes an auxiliary variable, recursively for higher derivatives, so all fluxes are algebraic and updates stay local. Second, the augmented system is approximated by a discrete-velocity kinetic relaxation model with linear, constant-coefficient transport: all nonlinearity resides in a local equilibrium embedding the flux exactly in its first moment, trading the low-Mach truncation for an a priori checkable sub-characteristic wave-speed bound. Third, the relaxation system is discretized by a standard LBM, yielding collide-and-stream algorithms running unchanged on existing solvers. A symbolic compiler using a domain-specific language encapsulates these steps: unlike existing LBM code generators, which start from the discrete scheme, it automatically derives equilibrium, gradient-tracking cascade, and grid scaling from the declared PDE alone. We exercise it across twelve PDE systems, including compressible Navier--Stokes--Fourier flow, resistive magnetohydrodynamics, and nonlinear elasticity. Manufactured-solution verification confirms convergence at or near second order in double precision, retained in single precision by a reference- and equilibrium-shifted formulation. Targeting OpenLB, the generated GPU kernels reach up to 96% of the memory-bandwidth roofline.

2026-07-06T22:17:42Z Adrian Kummerländer Fedor Bukreev Mathias J. Krause http://arxiv.org/abs/2607.12155v1 2026-07-13T21:03:53Z

We introduce fkcompute, an open-source package for computing the Gukov--Manolescu invariant of links from a braid presentation. fkcompute implements Park's inverted state sum through a three-phase pipeline. First, a search is performed for a suitable braid presentation and for an additional inversion data on the braid. Then, the state space of the inverted sum is encoded as a polytope, bounded by the associated linear constraint system. Finally, the invariant is constructed by multiplication of R-matrices associated to the states. Benchmarks show that prime knots up to 12 crossings, and prime links up to 10 crossings and of at most 3 components, are comfortably within reach. As a result, fkcompute is used to compile the first public database of the Gukov--Manolescu invariant. The package is available as a Python library, a command-line tool, and a Mathematica paclet.

2026-07-13T21:03:53Z 17 pages, 1 figure, 1 table, GitHub repository: github.com/caltech-quantum-topology/fkcompute, database: topology.fyi Paul Orland Davide Passaro Lara San Martín Suárez Toby Saunders-A'Court Josef Svoboda http://arxiv.org/abs/2605.25282v3 2026-07-13T10:56:57Z

The multi-dimensional compressible Euler equations admit non-unique entropy solutions in turbulent regimes, and extreme-Mach astrophysical flows are a natural setting in which this breakdown of deterministic well-posedness becomes computationally visible. We compute statistical solutions of a Mach~2000 astrophysical jet, defined as the pushforward of an initial probability measure through a vectorial lattice Boltzmann method, by Monte Carlo sampling with $M=1000$ realizations on grids of up to $12.8$ million cells. Under mesh refinement the individual realizations diverge pathwise, while the statistical solution converges: Wasserstein distances of the one- and two-point marginals, the ensemble mean, and the ensemble standard deviation all exhibit stable positive convergence rates. A spatially resolved analysis along the jet axis traces this dichotomy to the structure of the one-point laws, which are numerically Dirac in the undisturbed core, skewed in the sheared turbulent regions, and intermittent two-state mixtures at the random leading front. We conclude that the computed statistical solution is non-Dirac and remains stable in the extreme compressible regime, in which no strong solution is expected to exist.

2026-05-24T22:34:25Z Stephan Simonis Gauthier Wissocq http://arxiv.org/abs/2607.10867v1 2026-07-12T18:06:22Z

GroupFunctions.jl is a Julia library for computing individual matrix elements of irreducible representations of U(d). These matrix elements, called group functions, can be evaluated symbolically or numerically. For SU(2), they reduce to the Wigner D-functions. The library computes these matrix elements in a carrier-space basis enumerated by Gelfand-Tsetlin patterns. It can also compute entire representation operators, construct input unitaries from parameterisations common in quantum optics, translate Gelfand-Tsetlin patterns into occupation-number kets, and compute the associated Schur functions. Results can be exported in a form compatible with Mathematica.

2026-07-12T18:06:22Z 4 pages, to be submitted to JOSS David Amaro-Alcalá Konrad Szymański http://arxiv.org/abs/2607.10615v1 2026-07-12T07:24:25Z

We present a reproducible, parameter-driven software workflow for optimizing approximate mutually unbiased basis (AMUB) configurations in arbitrary dimensions d using a Lie-algebra unitary parameterization. The workflow is designed for portable execution across CPU, Apple MPS, CUDA-capable GPU, and HPC backends, using a Taylor-series matrix exponential layer as an accelerator compatibility pathway. As a dimension-six case study, we optimize unanchored configurations across 100 random seeds for basis counts n = 3, 4, 5, 6 in complex128 and complex64 arithmetic. The workflow recovers exact three-basis configurations, identifies a recurrent four-basis partial-exact hub-and-triangle structure, and finds no near-exact pairs for n = 5 or n = 6 in the reported campaigns under the primary tolerance. As a hardware-execution check, we embed the representative d = 6, n = 4 transition unitaries into three-qubit 8x8 unitaries and execute the resulting circuits on the 156-qubit Heron processor ibm-marrakesh using subspace post-selection. The measured QPU pairwise losses are dominated by a hardware and compilation noise floor of approximately 0.02-0.08, associated with compiled circuits averaging 37 native CZ gates, which obscures the distinction between classically near-exact and defective pairs. The results provide a reproducible computational framework for exploring AMUB landscapes, together with an initial assessment of the challenges involved in executing optimized dimension-six unitaries on current quantum hardware.

2026-07-12T07:24:25Z This work is under review at a peer-reviewed journal Abdul Fatah Ian McLoughlin Saim Ghafoor http://arxiv.org/abs/2606.06386v2 2026-07-11T16:12:02Z

This paper presents the issues arising in implementing a fast integer division algorithm on general purpose GPUs. The algorithm uses a Newton iteration based on the shifted inverse operation, keeping all arithmetic in the integer domain and relying on data-parallel operators. The principal contribution is an efficient GPU/CUDA implementation for integer precisions from $2^{15}$ to $2^{18}$ -- sizes not supported by \cgbn{} division. We propose algorithmic refinements, define a cost model in terms of multiplications, build on prefix sums and previous work on multi-precision multiplication, and present an evaluation showing near-optimal performance relative to the model for the target precision.

2026-06-04T16:51:22Z Martin B. Marchioro Aske N. Raahauge Marc I. Løvenskjold Cosmin E. Oancea Stephen M. Watt http://arxiv.org/abs/2607.10017v1 2026-07-10T22:40:33Z

Academic and project maps are often produced through a fragmented workflow: researchers locate boundaries, manage shapefiles, join tabular data, assemble locator insets, add cartographic decorations, and export figures through desktop GIS or multi-package Python scripts. This creates an accessibility barrier for non-GIS users and a reproducibility problem when data sources, styling choices, and manual edits are not captured in executable form. We present AcadGIS, a free and open-source Python package that creates publication-oriented research maps from high-level commands under one namespace, import acadgis as agis. AcadGIS provides place-name boundary access, automated study-area locator layouts, thematic cartography, raster and vector layers, curated Earth-observation products, terrain and hydrology context, and configurable PNG, PDF, and SVG export without requiring desktop GIS expertise or hand-managed shapefiles. Its design combines one-import access to the scientific-Python stack, publication-oriented defaults with progressive control, local caching, source attribution, and figure specifications based on code, named data, and a pinned package version. Through three representative use cases, we demonstrate how common paper, thesis, and project maps can be expressed as compact, inspectable scripts. Source code: https://github.com/riponcm/AcadGIS.

2026-07-10T22:40:33Z 19 pages, 8 figures, 2 tables, and 6 code listings. AcadGIS v0.2.0: https://github.com/riponcm/AcadGIS/releases/tag/v0.2.0 Ripon Chandra Malo Shatabdi Roy Tong Qiu http://arxiv.org/abs/2607.09217v1 2026-07-10T09:07:12Z

In this system paper, we present OpenProver, an open-source system for LLM-driven automated theorem proving (ATP) with integrated Lean 4 formal verification. OpenProver integrates a Planner-Worker-Verifier architecture inspired by recent ATP agentic systems such as Aletheia. A Planner agent maintains a compact Whiteboard scratchpad and an unbounded Repository of intermediate findings, and decomposes mathematical work into parallel Workers. OpenProver is fully open-source, offers reproducible evaluation through automatic formal verification of generated proofs, and provides an interactive terminal interface for human-guided proof search. In interactive mode, OpenProver allows the human operator to monitor and steer the proof search process, motivated by the established human-AI synergy in interactive code generation. To showcase the potential for quantitative ablation experiments enabled by automatic formal verification, we evaluate OpenProver on ProofNet and compare it with a simple baseline. OpenProver is publicly available at https://github.com/kripner/OpenProver.

2026-07-10T09:07:12Z 7 pages, 2 figures. Accepted at the 19th Conference on Intelligent Computer Mathematics (CICM 2026) Matěj Kripner Milan Straka