https://arxiv.org/api/rHtrVokmaIuI+Ctp9tlhf/xbleI 2026-06-22T11:57:14Z 49870 390 15 http://arxiv.org/abs/2601.17452v3 2026-06-05T16:47:24Z

We study dissipative weak (DW) solutions of the Euler equations of gas dynamics using the first-, second-, third-, fifth-, seventh-, and ninth-order local characteristic decomposition-based central-upwind (LCDCU), low-dissipation central-upwind (LDCU), and viscous finite volume (VFV) methods, whose higher-order extensions are obtained via the framework of the alternative weighted essentially non-oscillatory (A-WENO) schemes. These methods are applied to several benchmark problems, including several two-dimensional Riemann problems and a Kelvin-Helmholtz instability test. The numerical results demonstrate that for methods converging only weakly in space and time, the limiting solutions are generalized DW solutions, approximated in the sense of ${\cal K}$-convergence and dependent on the numerical scheme. For all of the studied methods, we compute the associated Young measures and compare the DW solutions using entropy production and energy defect criteria.

2026-01-24T13:04:16Z Shaoshuai Chu Michael Herty Alexander Kurganov Maria Lukacova-Medvidova Changsheng Yu http://arxiv.org/abs/2510.15093v2 2026-06-05T16:47:05Z

We present a generalized, data-driven collisional operator for one-component plasmas, learned from molecular dynamics simulations, to extend the collisional kinetic model beyond the weakly coupled regime. The proposed operator features an anisotropic, non-stationary collision kernel that accounts for particle correlations typically neglected in classical Landau formulations. To enable efficient numerical evaluation, we develop a fast spectral separation method that represents the kernel as a low-rank tensor product of univariate basis functions. This formulation admits an $O(N \log N)$ algorithm via fast Fourier transforms and preserves key physical properties, including discrete conservation laws and the H-theorem, through a structure-preserving central difference discretization. Numerical experiments demonstrate that the proposed model accurately captures plasma dynamics in the moderately coupled regime beyond the standard Landau model while maintaining high computational efficiency and structure-preserving properties.

2025-10-16T19:27:03Z Yue Zhao Huan Lei http://arxiv.org/abs/2605.25413v3 2026-06-05T14:54:43Z

Neural operators learn mappings from function-dependent inputs to solutions, providing an effective framework for solving partial differential equations (PDEs). For time-dependent PDEs, existing methods typically perform long-horizon prediction through autoregressive rollout directly in high-dimensional physical field spaces, where each predicted state is recursively fed back as the input for the next step. Although effective for short-term prediction, this autoregressive rollout and the lack of continuous-time modeling lead to progressive error accumulation over long-horizon rollouts. In this work, we propose Autoregression-Free Neural Operators (AFNO), which map the time evolution of PDEs into a latent space and model continuous-time vector fields within it. AFNO uses flow matching to learn the latent vector field, thereby enabling continuous evolution over extended horizons, avoiding autoregressive rollout and capturing dynamics under varying parameter configurations through explicit conditioning on physical parameters. Theoretical analysis and extensive experiments on six PDEs demonstrate that AFNO improves long-horizon prediction stability and consistently reduces rollout errors compared with the baselines.

2026-05-25T04:28:41Z 23 pages, 18 figures Jiaquan Zhang Caiyan Qin Haoyu Bian Libin Cai Yi Lu Chaoning Zhang Wei Dong Yuanfang Guo Yang Yang Heng Tao Shen http://arxiv.org/abs/2312.07762v3 2026-06-05T14:27:01Z

Psychiatry research seeks to understand the manifestations of psychopathology in behavior, as measured in questionnaire data, by identifying a small number of latent factors that explain them. While factor analysis is the traditional tool for this purpose, the resulting factors may not be interpretable, and may also be subject to confounding variables. Moreover, missing data are common, and explicit imputation is often required. To overcome these limitations, we introduce interpretability constrained questionnaire factorization (ICQF), a non-negative matrix factorization method with regularization tailored for questionnaire data. Our method aims to promote factor interpretability and solution stability. We provide an optimization procedure with theoretical convergence guarantees, and an automated procedure to detect latent dimensionality accurately. We validate these procedures using realistic synthetic data. We demonstrate the effectiveness of our method in a widely used general-purpose questionnaire, in two independent datasets (the Healthy Brain Network and Adolescent Brain Cognitive Development studies). Specifically, we show that ICQF improves interpretability, as defined by domain experts, while preserving diagnostic information across a range of disorders, and outperforms competing methods for smaller dataset sizes. This suggests that the regularization in our method matches domain characteristics. The python implementation for ICQF is available at https://github.com/jefferykclam/ICQF.

2023-12-12T22:10:38Z Ka Chun Lam Bridget W Mahony Armin Raznahan Francisco Pereira http://arxiv.org/abs/2606.07281v1 2026-06-05T13:56:33Z

This paper develops a natural decomposition method (NDM)for imposing essential boundary conditions in noninterpolatory meshfree Galerkin spaces without boundary parameter tuning or auxiliary constraint construction. In such spaces, algebraic coefficients generally do not coincide with boundary values; hence coefficient assignment or nodal boundary prescription is not equivalent to imposing the continuous trace required by the variational problem. NDM introduces boundary data before discretization through a natural transfer mechanism: a source subproblem accounts for the forcing term, a weighted curl correction transfers the remaining trace mismatch, and a scalar recovery step reconstructs the solution from the corrected weighted gradient. For topologically trivial single domains with connected boundary, the reconstructed solution is equivalent, at the continuous level, to the solution satisfying the prescribed essential boundary data. The discrete analysis separates the approximation defect of the recovery space from the upstream transfer error visible to that space. Numerical experiments on benchmark problems evaluate the proposed transfer mechanism and report the associated conditioning, computational cost, and boundary perturbation behavior.

2026-06-05T13:56:33Z Jingkai Zhang Tiexiang Li Shuo Zhang http://arxiv.org/abs/2606.06165v2 2026-06-05T13:53:41Z

We study quantum algorithms for nonlinear and stochastic homogenization via a Young-measure based linear programming (LP) formulation, which lifts the nonlinear problem to a linear one in higher dimensions by treating the microscale, the gradient, and possible random variables as independent variables, thereby capturing effective macroscopic quantities without directly resolving fine-scale oscillations. The resulting LP is large but structured, and its high-dimensional nature creates regimes in which quantum LP solvers outperform direct classical solvers: in the deterministic setting, polynomial quantum speedup arises when moderate homogenized accuracy suffices; in the stochastic setting, encoding all random realizations simultaneously in a single LP yields a quantum square-root reduction in stochastic sampling cost that grows with the number of random variables. Regularity or sparsity of the Young measure may further extend these advantages to fine-scale accuracy. Numerical experiments on one- and two-dimensional benchmarks confirm the correctness of the Young-measure LP formulation.

2026-06-04T13:37:06Z Siqi Chen Shi Jin Lei Zhang http://arxiv.org/abs/2606.07220v1 2026-06-05T12:33:59Z

We present a novel adaptive isogeometric method for solving the biharmonic equation over planar multi-patch domains with possibly extraordinary vertices, parametrized by analysis-suitable G^1 multi-patch geometries. The proposed technique relies on the concept of Dual-Primal Isogeometric Tearing and Interconnecting (IETI-DP), which enforces the required C^1-smoothness of the solution across a common edge of two neighboring patches by imposing appropriate continuity conditions by means of Lagrange multipliers. The resulting saddle point problem is solved using a dual-primal formulation, first by a small linear problem for the Lagrange multipliers and then by local, parallelizable linear problems on the individual patches for the coefficients of the numerical solution. While for the local problems on the single patches standard diagonally scaling is used as preconditioner, a suitable preconditioner for the problem of finding the Lagrange multipliers is introduced. To perform adaptive refinement, the solution of the biharmonic equation on the single patches of the multi-patch domain is discretized by employing (truncated) hierarchical B-splines, and an appropriate refinement strategy of the underlying mesh is presented. Finally, the potential of the developed adaptive IETI-DP method for solving the biharmonic equation over planar multi-patch geometries is numerically tested on the basis of several numerical examples. Thereby, the numerical results show on the one hand optimal convergence behavior with respect to adaptive refinement, and on the other hand a good performance of the proposed preconditioner for the linear problem of determining the Lagrange multipliers.

2026-06-05T12:33:59Z Mario Kapl Aljaž Kosmač Vito Vitrih http://arxiv.org/abs/2606.07198v1 2026-06-05T12:05:46Z

This work presents a differentiable framework for the parametrization and shape optimization of industrial CAD geometries represented by multi-patch NURBS surfaces. The method enables the deformation of complex CAD models through a physics-informed geometric parametrization, allowing direct morphing driven by physical constraints without the need to prescribe a predefined deformation strategy. A neural displacement field, implemented as a multi-layer perceptron acting on the NURBS control points, provides a compact parametrization of the admissible design space while preserving patch connectivity. Global geometric quantities relevant to hydrostatic design, including displaced volume, wetted surface area and buoyancy centroid, are formulated as differentiable integral operators evaluated on the parametric domain. These quantities are computed through Gauss-Legendre quadrature combined with analytical B-spline derivatives for surface metric evaluation, allowing gradient propagation to the deformation parameters while limiting the computational overhead of automatic differentiation. The proposed framework operates directly on CAD representations without intermediate mesh generation. Numerical experiments on a modified KVLCC2 hull demonstrate the capability of the method to satisfy competing hydrostatic constraints while producing smooth CAD-compatible geometries and showing stable convergence across multiple random initializations.

2026-06-05T12:05:46Z Federico Tamburlin Giovanni Canali Giuseppe Alessio D'Inverno Nicola Demo Andrea Mola Gianluigi Rozza http://arxiv.org/abs/2606.07195v1 2026-06-05T12:01:59Z

Tumor perfusion and vascular properties are important determinants of a cancer's response to therapy. In this paper, we discuss the estimation of spatially varying blood flow velocities and perfusion parameters from time-resolved contrast agent concentration data. We compare a standard parabolic advection-diffusion model against a two-compartment model governed by a coupled system of hyperbolic advection-reaction equations, which is physiologically more sound. To address the inherent ill-posedness of this parameter identification problem, we employ Tikhonov regularization and derive continuous adjoint equations necessary for efficient, gradient-based minimization. We discuss the numerical discretization of the state and adjoint systems using state-of-the-art schemes, and demonstrate the efficacy of the proposed reconstruction algorithms through numerical experiments on synthetic data and in vivo dynamic contrast-enhanced ultrasound measurements.

2026-06-05T12:01:59Z Sophie Externbrink Ahmed El Kaffas Dimitre Hristov Sebastian Götschel http://arxiv.org/abs/2606.07176v1 2026-06-05T11:43:11Z

This paper provides the spectral decompositions of $(\star,ε_1,ε_2)$-structured matrix polynomials $P(λ)$ in the unified form by a standard pair and parameter matrix. Using the recursive relationship between the coefficient matrices of $P(λ)$, equivalent expressions of these coefficient matrices are provided. And then the spectral decomposition is applied to solve the inverse eigenvalue problem and the eigenvalue embedding problem with no spill-over.

2026-06-05T11:43:11Z Kang Zhao Shifang Yuan http://arxiv.org/abs/2606.07164v1 2026-06-05T11:34:26Z

We discuss the numerical approximation of the stochastic Cahn--Hilliard equation with a singular double-obstacle potential and multiplicative conservative noise. We propose a regularised fully discrete finite element approximation scheme for the problem and show that it satisfies stability estimates which are uniform with respect to the discretization parameters. We show convergence of the approximation for vanishing discretization parameters towards a regularised version of the singular stochastic Cahn--Hilliard equation by monotonicity arguments. Hence, thanks to a uniform $H^1$-estimate for the regularised problem we show that the regularised solution converges towards the pathwise unique probabilistically strong solution of the original singular stochastic Cahn--Hilliard equation. We conclude by presenting numerical simulations where we compare the regularised numerical approximation to its unregularised counterpart and illustrate the effect of the conservative noise.

2026-06-05T11:34:26Z Ľubomír Baňas Stefan Metzger http://arxiv.org/abs/2604.22057v2 2026-06-05T11:28:45Z

In this paper, we propose an a-priori error estimate for the model order reduction (MOR) method of space-time proper orthogonal decomposition (space-time POD). The original space-time POD approach extends standard POD by reducing not only the space dimension but simultaneously the time dimension as well. The proposed a-priori error estimate is developed for a linear parabolic partial differential equation and estimates the error between the numerical solution to a linear parabolic partial differential equation (PDE) and its space-time POD reduced solution. Numerical examples illustrate the occurring errors and analyze them in comparison to the theoretical bounds.

2026-04-23T20:23:23Z Carmen Gräßle Jan Heiland Jannis Marquardt http://arxiv.org/abs/2606.07155v1 2026-06-05T11:13:31Z

Shallow water equations (SWE) are fundamental models in fluid dynamics that are essential for studying a wide range of geophysical and engineering phenomena. In many practical applications, uncertainties arising from initial conditions and bottom topography must be taken into account, motivating the development of stable and accurate numerical methods for stochastic SWE. Building on the hyperbolicity-preserving stochastic Galerkin formulation for SWE [Dai, Epshteyn, Narayan, 2021 SISC] and a stochastic extension of the entropy stable discontinuous Galerkin methods for skew-symmetric SWE [Fu, 2022 JSC], we develop a structure-preserving, entropy conservative, and entropy stable discontinuous Galerkin--stochastic Galerkin method for the stochastic shallow water system, with the well-balanced property. We demonstrate the accuracy, applicability, and robustness of the proposed structure-preserving algorithms through several numerical experiments.

2026-06-05T11:13:31Z 28 pages, 7 figures Yekaterina Epshteyn Akil Narayan Yinqian Yu http://arxiv.org/abs/2606.07153v1 2026-06-05T11:11:06Z

Physics-informed learning is increasingly used for partial differential equation (PDE)-governed inverse problems, but its reliability remains difficult to certify. This paper develops a no-harm certification-and-selection framework for physics-informed inverse learning. A learned reconstruction is accepted only when its residual-calibrated radius is no worse than the baseline radius, namely when $$R_{\mathrm{learn}}\le R_{\mathrm{base}}+\varepsilon_{\mathrm{safe}};$$otherwise, the method returns the baseline. The certificate combines data, physics, boundary or initial-condition, and optimization residuals. Under a conditional stability estimate, these residuals yield an a posteriori reconstruction-error bound and a deterministic uncertainty radius. A high-probability certificate is also derived for physics residuals estimated from independent random collocation points. Numerical tests on Poisson source recovery, inverse heat reconstruction, limited-angle tomography, elliptic coefficient identification, and stochastic residual validation show that the selector accepts certified improvements, rejects shifted, hallucinated, or unfinished candidates, and becomes conservative in strongly ill-posed regimes. The framework is therefore a certification-and-selection layer, not another reconstruction architecture.

2026-06-05T11:11:06Z 25 pages, 10 Tables, 12 Figures Ronald Katende http://arxiv.org/abs/2606.07149v1 2026-06-05T11:04:53Z

In this paper we present a construction for unstructured splines over quadrilateral meshes by iterative averaging and refinement. We represent the spline as a multi-patch B-spline, where the degrees of freedom are those B-spline coefficients on the quadrilateral patches that are not associated with interior edges and vertices of the mesh, i.e., their corresponding Greville points lie inside the patches. In every averaging step, we replace the remaining B-spline coefficients associated with interior edges and vertices by suitable averages of neighboring degrees of freedom. In the refinement step we apply regular splits to all patches by knot insertion. This process results in a subdivision scheme that, for degree $p=2$, is similar to the almost-$C^1$ spline construction from (Takacs, Toshniwal. CMAME, 2023) and behaves similar to Doo-Sabin subdivision, cf. (Doo, Sabin. CAD, 1978), and that can be defined for arbitrary degrees and regularities inside the patches. We derive two families of spline constructions, based on simple and coplanar averaging, respectively, and analyze their spectral properties when interpreted as subdivision schemes. Using this interpretation, we show that they are $C^1$ in the limit. Moreover, the coplanar averaging scheme produces splines that are $C^1$ at all vertices for every level of refinement, whereas the simple averaging is $C^1$ only in the limit. For both constructions, we have control over the subdominant eigenvalue, which has multiplicity two and can range between $\frac{1}{4}$ and $1$, with $\frac{1}{2}$ often being the desired option. The resulting basis functions form a partition of unity. Moreover, they form a non-negative partition of unity for suitably selected averaging parameters.

2026-06-05T11:04:53Z Syeda Hijab Zahra Thomas Takacs