https://arxiv.org/api/lC9l4m0YbdbzRTPgSzCHg0igSLk 2026-06-22T10:41:44Z 49870 375 15 http://arxiv.org/abs/2606.08053v1 2026-06-06T08:37:37Z

In this work, we propose an operator-splitting variational quantum algorithm, termed Dirac-sVQA, for simulating the nonlinear Dirac equation (NLDE). The main difficulty arises from the state-dependent nonlinear interaction, its time-discrete update depends explicitly on the intermediate spinor state and, in general, cannot be implemented as a fixed state-independent unitary circuit. To address this difficulty, we decompose the NLDE evolution into a structured linear Dirac substep and a nonlinear variational correction. The linear substep is implemented by a spinor-Fourier Dirac propagator on a joint position-spin register, preserving the spin-momentum coupling and mass-induced spin evolution of the Dirac operator. The nonlinear correction is reformulated as a measurement-based variational update through a small set of overlap, self-channel, and cross-channel observables. We provide the corresponding quantum circuits and derive measurement-aware resource and complexity estimates. Numerical experiments in several nonlinear regimes show that Dirac-sVQA accurately captures both the total density and the componentwise spinor dynamics, agrees well with classical Fourier pseudospectral splitting solutions, and exhibits stable error behavior over time. These results provide numerical evidence for the feasibility of operator-splitting variational quantum simulation for nonlinear relativistic wave equations.

2026-06-06T08:37:37Z Qian Zuo Ying He Xiaofei Zhao http://arxiv.org/abs/2606.07984v1 2026-06-06T05:22:03Z

This study investigates a statistical property of Lagrange multipliers in constrained Maximum Likelihood Estimation (MLE) and Least Squares (LS) problems from the perspective of numerical optimization. Building on large-sample theory, we show that the associated Lagrange multipliers converge to zero as the sample size increases, provided the distribution is correctly specified in MLE or the residuals are normally distributed in LS. Although this asymptotic behavior has long been recognized in statistics, it has received little explicit attention in numerical optimization and has rarely been exploited in algorithmic design. Importantly, the insight extends beyond classical low-dimensional settings: even in modern high-dimensional applications, such as deep learning, where the number of parameters may exceed the sample size, the same reasoning applies provided the generalization performance is good. This observation has two main implications. First, many constrained optimization algorithms, including the Augmented Lagrangian Method, Sequential Quadratic Programming, and Interior Point methods, require initial values for the multipliers, and choosing zero is statistically justified. Numerical experiments for constrained regressions and dynamic discrete choice model estimations support this implication by showing that initializing multipliers at zero usually lead to stable and efficient performance. Second, penalty-based approaches that convert constrained problems into unconstrained ones can perform well when the true multipliers are small. This helps explain why penalty-based methods often perform well in practice.

2026-06-06T05:22:03Z Takeshi Fukasawa http://arxiv.org/abs/2606.07979v1 2026-06-06T04:53:24Z

This paper makes several improvements to existing level set based approaches to computing shape optimizers for the Dirichlet eigenvalues subject to a volume constraint. The most notable changes in formulation include an overhaul of the classical level set construction and root-finding procedures as well the use of a regularized approximation to the standard objective function. Our resulting computational minimizers are either comparable to or improvements on the best known minimizers from the literature. We conclude with a survey of subproblems within the field that may benefit from numerical experiments; these include the existence of cusps on the boundary, the end-behavior of eigenfunction weights in the p-parameterized problem, and the nature of Weyl asymptotics as they relate to the Pólya conjecture.

2026-06-06T04:53:24Z 24 pages, 6 figures, 1 table, code and results available at https://github.com/AtharvThakur0/Laplace-LSF-Dirichlet-Eigenvalue-Numerics Atharv Thakur http://arxiv.org/abs/2606.07976v1 2026-06-06T04:32:48Z

Master equations in mean field game theory characterize feedback value functions that depend on time, state (space), and the population distribution. Their numerical approximation is challenging because the unknown is defined on a space of probability measures and the equation involves intrinsic measure derivatives and nonlocal population terms. This paper proposes a measure-consistent operator learning method (MCOL) for infinite-dimensional master equations. The population distribution is represented by an empirical measure and encoded through a symmetric pooling structure, so that the network input is built directly from the particles representing the measure. The same particles are used in the empirical quadrature of the nonlocal residual terms, avoiding additional quadrature grids or auxiliary integration points. A key feature is that the intrinsic derivative appearing in the residual is induced by the same measure-dependent representation that defines the approximation of the value function. Consequently, the value function, its measure derivative, and the empirical residual are tied to a common measure representation, leading to a structurally coupled value-derivative approximation. We also introduce an error decomposition separating neural approximation error from empirical discretization error. Numerical experiments on several master equations show that MCOL accurately approximates the value function, intrinsic measure derivatives, and feedback quantities, and remains robust under changes in the input measures.

2026-06-06T04:32:48Z Chenyao Wang Hongyu Liu Hui Liang http://arxiv.org/abs/2606.07971v1 2026-06-06T04:07:17Z

This paper presents a novel frequency-robust perfectly matched layer (PML) boundary integral equation (BIE) method for solving two-dimensional electromagnetic scattering problems involving periodic arrays of obstacles. In periodic scattering problems, standard BIE formulations based on the quasi-periodic Green's function require the evaluation of lattice sums or challenging Sommerfeld-type integrals, which diverge at Rayleigh--Wood (RW) anomalies. An alternative is to use BIE formulations based on the Helmholtz free-space Green's function, but these are defined on unbounded unit-cell boundaries and therefore require suitable truncation strategies, such as the Windowed Green Function (WGF) method. Although such approaches avoid the use of expensive quasi-periodic Green's functions, they also suffer from breakdowns at RW anomalies unless an appropriate mode correction is incorporated. Similarly, the direct application of PML-BIE techniques to periodic structures experiences comparable difficulties near RW anomalies due to the destruction of exponential convergence near RW anomalies for fixed PML parameters. To overcome this challenge, we propose a modified PML-BIE method that combines the PML technique with a finite-mode correction, ensuring both high accuracy and robustness at and around RW-anomalies. Convergence of the PML-truncated boundary integral operators is proved and several numerical examples are presented to validate the efficiency and performance of the proposed method.

2026-06-06T04:07:17Z 25 pages, 8 figures, 3 tables Yan Tan Carlos Pérez-Arancibia Tao Yin http://arxiv.org/abs/2606.07888v1 2026-06-05T22:49:15Z

For two subspaces $U,V\subseteq\RR^n$, the circumcentered--reflection method (CRM) of Behling, Bello-Cruz, and Santos~\cite{BBS2018} computes the projection onto $U\cap V$ using only the reflections across $U$ and $V$, with known linear-convergence rate $c_F$, the cosine of the Friedrichs angle. We prove that, when CRM is initialized in $V$, it contracts at the strictly smaller rate $ρ_V=(\sin^2θ_p-\sin^2θ_F)/(\sin^2θ_p+\sin^2θ_F)$, where $θ_F\in(0,π/2]$ is the Friedrichs angle and $θ_p\in[θ_F,π/2]$ the largest principal angle between $U$ and $V$. The bound is sharp, attained on an explicit ray in $V$, and optimal among parameter-free single-step iterations. The constant itself is not new: Bauschke, Bello-Cruz, Nghia, Phan, and Wang~\cite{BBNPW2016} identified it as the optimal rate of the relaxed alternating-projection family and of their adaptive linesearch map $B_T$. Our contribution is that the parameter-free geometric circumcenter attains it as well, via Kantorovich's inequality applied to a single self-adjoint operator on $V$. Restricted to $V$, CRM coincides pointwise with the linesearch maps $A_T$ and $B_T$ from the Gubin--Polyak--Raik framework~\cite{GPR1967}. We further prove $ρ_V<c_F^2$ whenever $θ_F<π/2$, with one-step convergence exactly when $θ_F=θ_p$. Over-reflecting either or both of $R_U$, $R_V$ inside the circumcenter does not help. Going faster than $ρ_V$ universally requires memory: Chebyshev semi-iteration applied to $P_VP_U$ attains a strictly smaller rate, beating $ρ_V$ by a factor at most $2$, attained in the limit $θ_F\toθ_p$.

2026-06-05T22:49:15Z 30 pages Yunier Bello-Cruz http://arxiv.org/abs/2603.11250v2 2026-06-05T21:14:53Z

Accurate modeling of gas flow through porous media is critical for many technological applications, including reservoir performance prediction, carbon capture and sequestration, and fuel cells and batteries. However, such modeling remains challenging due to strong nonlinear behavior and uncertainty in model parameters. In particular, gas slippage effects described by the Klinkenberg model introduce pressure-dependent permeability, which complicates numerical simulation and obscures deviations from classical Darcy flow behavior. To address these challenges, we present an integrated modeling framework for gas transport in porous media that combines a Klinkenberg-enhanced constitutive relation, Hopf-Cole-transformed mixed-form linear governing equations, a shared-trunk neural network architecture, and a Deep Least-Squares (DeepLS) solver. The Hopf-Cole transformation reformulates the original nonlinear flow equations into an equivalent linear system closely related to the Darcy model, while the mixed formulation, together with a shared-trunk neural architecture, enables simultaneous and accurate prediction of both pressure and velocity fields. A rigorous convergence analysis is performed both theoretically and numerically, establishing the stability and convergence properties of the proposed solver. Importantly, the proposed framework also naturally facilitates inverse modeling of pressure-dependent permeability and slippage parameters from limited or indirect observations, enabling efficient estimation of flow properties that are difficult to measure experimentally. Numerical results demonstrate accurate recovery of flow dynamics and parameters across a wide range of pressure regimes, highlighting the framework's robustness, accuracy, and computational efficiency for gas transport modeling and inversion in tight formations.

2026-03-11T19:17:18Z V. S. Maduri K. B. Nakshatrala http://arxiv.org/abs/2606.07840v1 2026-06-05T20:59:29Z

We construct and analyze an exactly divergence-free Scott-Vogelius finite element method for the surface Stokes problem. The proposed scheme simultaneously enforces the tangentiality and incompressibility constructs exactly and has the same number of unknowns as the two-dimensional Euclidean discretization. Our construction extends the surface finite element framework of [10,11] to Scott--Vogelius discretizations defined on curved Clough--Tocher triangulations. In contrast to previous isoparametric Scott--Vogelius methods based on macro-element constructions, the present approach defines the finite element spaces directly on the refined surface triangulation, leading to a substantially simpler and more practical implementation. We prove inf-sup stability of the method and derive optimal-order convergence in the isoparametric regime.

2026-06-05T20:59:29Z Yerim Kone Michael Neilan David Poling http://arxiv.org/abs/2311.05009v5 2026-06-05T19:02:55Z

We present a consensus-based framework that unifies phase space exploration with posterior-residual-based adaptive sampling for surrogate construction in high-dimensional energy landscapes. Unlike standard approximation tasks where sampling points can be freely queried, physical systems with complex energy landscapes such as molecular dynamics (MD) do not have direct access to arbitrary sampling regions due to the physical constraints and energy barriers; the surrogate construction further relies on the dynamical exploration of phase space, posing a significant numerical challenge. We formulate the problem as a minimax optimization that jointly adapts both the surrogate approximation and residual-enhanced sampling. The construction of free energy surfaces (FESs) for high-dimensional collective variables (CVs) of MD systems is used as a motivating example to illustrate the essential idea. Specifically, the maximization step establishes a stochastic interacting particle system to impose adaptive sampling through both exploitation of a Laplace approximation of the max-residual region and exploration of uncharted phase space via temperature control. The minimization step updates the FES surrogate with the new sample set. Numerical results demonstrate the effectiveness of the present approach for biomolecular systems with up to 30 CVs. While we focus on the FES construction, the developed framework is general for efficient surrogate construction for complex systems with high-dimensional energy landscapes.

2023-11-08T20:32:27Z Liyao Lyu Huan Lei http://arxiv.org/abs/2605.01446v3 2026-06-05T18:30:10Z

Support vector regression with Mean Absolute Percentage Error (MAPE) loss is theoretically well-motivated for forecasting applications where accuracy is evaluated in relative terms, but the sample-dependent dual box constraints it induces have not been addressed in the published SMO literature. We derive a Sequential Minimal Optimization algorithm for this setting and prove a structural-invariance result: the MAPE modification affects exactly two components of the SMO iteration -- working-set selection and analytic-update clipping -- leaving gradient bookkeeping and curvature computation identical to classical epsilon-SVR. Building on this invariance, we establish four efficiency improvements (asymmetric freeze-counters, warm-starting, block working-set updates of size four, and per-pair tolerance scaling) and resolve a previously-open convergence problem for the odd-symmetry kernel variant via adaptive spectral regularization. Numerical validation against three reference solvers across eleven synthetic configurations certifies solution agreement within standard tolerance. Wall-time benchmarks show the present algorithm achieves the lowest median runtime on every tested configuration against OSQP, MOSEK, and Clarabel. At production scale, the algorithm converges on the California Housing benchmark while the patched LIBSVM reference implementation reaches its iteration ceiling without satisfying optimality -- demonstrating the practical necessity of the theoretical efficiency mechanisms. An open-source R package and an explicit solver-adaptation recipe are provided.

2026-05-02T13:51:46Z 82 pages, 3 figure, 13 tables Pablo Benavides-Herrera Riemann Ruiz-Cruz Juan Diego Sánchez-Torres http://arxiv.org/abs/2507.15805v2 2026-06-05T17:33:50Z

This work develops a framework to discover relations between the components of the solution to a given initial-value problem for a first-order system of ordinary differential equations. This is done by using sparse identification techniques on the data represented by the numerical solution of the initial-value problem at hand. The only assumption is that there are only a few terms that connects the components, so that the mathematical relations to be discovered are sparse in the set of possible functions. We illustrate the method through examples of applications.

2025-07-21T17:05:12Z 11 pages Nicolae Tarfulea http://arxiv.org/abs/2606.07477v1 2026-06-05T17:31:03Z

We introduce and analyze a mixed Virtual Element Method for the $p$-Laplace equation in a non-Hilbertian setting, covering the full range $p \in (1, \infty)$. The discrete framework combines standard mixed Virtual Element spaces with a novel non-linear stabilization term designed to mimic the power-law structure of the continuous operator. We establish discrete inf-sup stability under non-Hilbertian norms and rigorously prove the continuity and coercivity of the discrete form. This guarantees the well-posedness of the problem and allows us to derive a priori error estimates for the primal variable and the flux. A set of numerical tests supports the theoretical derivations.

2026-06-05T17:31:03Z Kirubell B. Haile Giuseppe Vacca http://arxiv.org/abs/2606.07469v1 2026-06-05T17:22:44Z

This paper sets out the most general computational and econometric implications of the rigorous stochastic equilibrium theory from SELCKE (Staines (2024a)) arXiv:2312.16214. The analytical backbone is the discovery that the system converges geometrically to long-run equilibrium, at a rate given by the greater of the eigenvalue or inverse eigenvalue (from outside) closest to the unit circle and the maximum shock persistence. High-order shocks converge faster. I develop a simulation procedure to test, with asymptotic power, whether stochastic equilibrium exists for a particular model. The fundamental approximation result asserts that, whatever the order of expansion or loss function, the stochastic steady state delivers the most accurate perturbation solution. I also show that super-consistent parameter estimators $O(1/T)$ arise whenever second-order terms vanish. Besides Calvo, I study stochastic equilibrium in two alternative pricing models. Dynamics simplify considerably. I bound the time the impulse response peaks, by the maximum lag in the errors. This lends empirical support to Taylor contracts, although there are issues surrounding unit roots and the strong cost-channel. For menu costs, I demonstrate that the initial price distribution decays away super-exponentially, producing a system equivalent to Calvo with an endogenous reset probability. The impact of idiosyncratic disturbances appears as an additional wedge between actual and efficient output. Blow-up of the objective function at the boundary is proven, with the help of new distributional arguments, so the model meets existing eigenvalue existence conditions for the recursive equilibrium. Along the way, new light is shone on existing theoretical models and statistical procedures.

2026-06-05T17:22:44Z 91 Pages: 63 Main Text, 28 Suppelementary Materials David Staines http://arxiv.org/abs/2508.12950v3 2026-06-05T17:21:03Z

This paper presents the first method for constructing bases for polynomial spline spaces over an arbitrary T-meshes (PT-splines for short). We construct spline basis functions for an arbitrary T-mesh by first converting the T-mesh into a diagonalizable one via edge extension, ensuring a stable dimension of the spline space. Basis functions over the diagoalizable T-mesh are constructed according to the three components in the dimension formula corresponding to cross-cuts, rays, and T $l$-edges in the diagonalizable T-mesh, and each component is assigned some local tensor product B-splines as the basis functions. We prove this set of functions constitutes a basis for the diagonalizable T-mesh. To remove redundant edges from extension, we introduce a technique, termed Extended Edge Elimination (EEE) to construct a basis for an arbitrary T-mesh while reducing structural constraints and unnecessary refinements. The resulting PT-spline basis ensures linear independence and completeness, supported by a dedicated construction algorithm. A comparison with LR B-splines, which may lack linear independence and are limited to LR-meshes, highlights the PT-spline's versatility across any T-mesh. Examples are also provided to demonstrate that dimensional instability in spline spaces is related with basis function degradation and that PT-splines are advantageous over HB-splines for certain hierarchical T-meshes.

2025-08-18T14:25:47Z Zhong S, Huang B, Chen F. Basis construction for polynomial spline spaces over arbitrary T-meshes[J]. Computer Aided Geometric Design, 2026: 102534 Shicong Zhong Bingru Huang Falai Chen 10.1016/j.cagd.2026.102534 http://arxiv.org/abs/2411.09734v3 2026-06-05T17:03:31Z

In this paper, we propose a continuous-time formulation for the AdaGrad, RMSProp, and Adam optimization algorithms by modeling them as first-order integro-differential equations. We perform numerical simulations of these equations, along with stability and convergence analyses, to demonstrate their validity as accurate approximations of the original algorithms. Our results indicate a strong agreement between the behavior of the continuous-time models and the discrete implementations, thus providing a new perspective on the theoretical understanding of adaptive optimization methods.

2024-11-14T19:00:01Z 60 pages, 15 figures; v3 - Section 4 corrected Carlos Heredia