A Low-rank Interpolatory Projection Algorithm for Solving Large-scale T-Sylvester Equations

2026-06-04T03:07:53Z

This paper considers large-scale T-Sylvester equations of the form $AX - X^\top E^\top + B_1B_2^\top = 0$, which admit a low-rank solution. It is shown that when the unique solution of the T-Sylvester equation is low-rank, the problem naturally reduces to a tangential interpolation problem via oblique projection. The specific interpolation points and tangential directions needed to obtain the low-rank solution are not known a priori, thus requiring an iterative approach. An iterative interpolatory projection algorithm is proposed based on these interpolation conditions, which iteratively refines the interpolation data as the projection matrices expand in the number of columns. Numerical examples demonstrate that the proposed algorithm converges with projection matrices having significantly fewer columns compared to existing Krylov-subspace-based projection methods, confirming the superiority of the proposed algorithm over existing approaches.

On Parallel and Batch-Cutting Strategies for Norm-Minimization-Based Convex Vector Optimization

2026-06-04T02:41:16Z

We develop parallel and batch-cutting variants of the norm-minimization-based outer approximation algorithm for convex vector optimization. The standard algorithm solves $N_k$ independent subproblems at each iteration~$k$ to evaluate all vertices of the current polyhedral approximation, but processes only the single best cut. We propose two improvements. First, we parallelize the \revise{subproblem evaluations} across $\nw$ workers, reducing per-iteration wall-clock time. Second, we introduce a batch-cutting strategy that adds up to $K$ supporting halfspaces per iteration, using information from all solved subproblems rather than discarding it. We prove that the batch-cutting variant inherits the convergence rate $O(k^{2/(1-q)})$ of the standard algorithm, where $k$ is the number of outer iterations and $q$ is the number of objectives. Computational experiments on eight test problems with $q \in \{2,3,4,5\}$ show that parallelism on 8 cores \revise{increases the speed by a factor of 1.1 to 4.2}, and batch cutting consistently reduces the iteration count by 62--80\%. However, the wall-clock benefit of batch cutting is problem-dependent: the additional cuts per iteration accelerate vertex count growth, so batch cutting is most effective when per-vertex subproblem cost dominates.

Weighted hp-Uniform Decompositions for H^k-Type Tensor-Product Spaces in Arbitrary Dimension

2026-06-04T02:36:42Z

We establish weighted hp-uniform vertex-patch decompositions in arbitrary space dimension d >= 1 for tensor-product discretizations of H^k-type conforming and nonconforming spaces, with arbitrary fixed Sobolev order k >= 1, on fitted interface meshes. The cells are coordinate-compatible cuboids, the local spaces are Q_{p_K}(K) with arbitrary elementwise degrees satisfying p_K >= 2k-1, and the coefficient may have arbitrarily large jumps across material interfaces. Under local coefficient oscillation bounds and a local high-side connectivity condition, both the conforming H^k space and the nonconforming spaces V_h^{(s)}, 0 <= s <= k, admit stable decompositions with constants which may depend on the fixed parameters d and k, but are independent of the mesh size, all polynomial degrees, neighboring degree ratios, and the global coefficient contrast. The argument combines a Hermite endpoint transform for endpoint jets of order 0,...,k-1, its tensor-product extension, weighted broken patch Poincare inequalities, and a successive correction of normal derivative jumps. Numerical experiments for a three-dimensional DG problem with large coefficient jumps and strongly varying local polynomial degrees support the predicted robustness. For k = 1 the same conclusions hold on uniformly regular mapped cubical meshes whose neighboring element maps agree on each common face.

The Exponential of Skew-Symmetric Matrices: A Nearby Inverse and Efficient Computation of Derivatives

2026-06-04T02:30:49Z

The matrix exponential restricted to skew-symmetric matrices has numerous applications, notably in view of its interpretation as the Lie group exponential and Riemannian exponential for the special orthogonal group. We characterize the invertibility of the derivative of the skew-restricted exponential, thereby providing a simple expression of the tangent conjugate locus of the orthogonal group. In view of the skew restriction, this characterization differs from the classic result on the invertibility of the derivative of the exponential of real matrices. Based on this characterization, for every skew-symmetric matrix $A$ outside the (zero-measure) tangent conjugate locus, we explicitly construct the domain and image of a smooth inverse -- which we term \emph{nearby logarithm} -- of the skew-restricted exponential around $A$. This nearby logarithm reduces to the classic principal logarithm of special orthogonal matrices when $A=\mathbf{0}$. The symbolic formulae for the differentiation and its inverse are derived and implemented efficiently. The extensive numerical experiments show that the proposed formulae are up to $3.9$-times and $3.6$-times faster than the current state-of-the-art robust formulae for the differentiation and its inversion, respectively.

Infinite sequences with optimal diaphony, periodic $L_2$-discrepancy, and beyond

2026-06-03T22:04:25Z

We investigate the periodic $L_2$-discrepancy of infinite sequences $§_d$ in $[0,1)^d$ and its analytic counterpart, the diaphony. We prove that infinite order-2 digital sequences over $\mathbb{F}_2$ attain the optimal order $L_{2,N}^{\rm per}(§_d) \le C_d (\log N)^{d/2}/N$ for all $N \in \mathbb{N}\setminus \{1\}$, matching known lower bounds for infinitely many $N \in \mathbb{N}$. This confirms the conjectured optimality of order-2 constructions. By this result, we improve upon previously known constructions using order-5 digital sequences, and reduce the underlying dimension for the interlacing construction from $5d$ to $2d$, significantly improving practicality. We establish our bounds within a broader framework of quasi-Monte Carlo integration for periodic Besov spaces $S_{p,q}^rB(\mathbb{T}^d)$ with dominating mixed smoothness $r \in (1/p,2)$, where $p,q\in [1,\infty]$. Rules based on infinite order-2 digital sequences yield worst-case errors of order $(\log N)^{(d-1)(1-1/q)} / N^{ \min(r,1)}$ for $r \not=1$, and $(\log N)^{d(1-1/q)}/N$ for $r=1$, for all $N \in \mathbb{N}\setminus\{1\}$, while preserving extensibility in $N$.

A Two-Channel F-Transform Representation for Early Trajectory Characterization in Iterated Correlation Dynamics

2026-06-03T21:39:55Z

Many nonlinear iterative procedures generate high-dimensional trajectories whose early behavior is informative but difficult to compare directly. This paper studies a soft-computing representation problem: how to convert a short early trajectory segment into compact, interpretable, fixed-dimensional fuzzy coordinates that preserve information about subsequent convergence and trajectory geometry. The problem is investigated for iterated Pearson correlation matrices, a nonlinear matrix iteration historically connected with CONCOR-type blockmodeling and repeated-correlation methods. The proposed descriptor uses two logarithmic signals from the early post-transient regime: a step-size signal, measuring contraction magnitude, and a contraction-ratio signal, measuring local contraction evolution. Each signal is projected onto a three-node triangular fuzzy partition using zero-degree F-transform coefficients and one centered first-degree coefficient. This yields an eight-dimensional two-channel representation separating local level from local trend and contraction magnitude from contraction evolution. Across 22 matrix dimensions with 1000 trajectories per dimension, the descriptor is compared with raw trajectory samples, statistical summaries, and PCA-compressed raw features using Random Forest regression for convergence-length approximation. It achieves mean R^2 = 0.6480, close to raw trajectories (0.6518) and statistical summaries (0.6528), while improving over the step-size-only F-transform descriptor (0.5001). Repeated random-split and shifted-window experiments confirm stability. PCA and clustering further show reproducible low-dimensional organization, with the first two principal components explaining 84.26% of variance and k = 3 favored by the mean silhouette criterion.

Fourier--Galerkin Methods for Subwavelength Resonances in two-dimensional Acoustic Metamaterials

2026-06-03T19:53:01Z

We present a Fourier--Galerkin asymptotic framework for the analysis and computation of subwavelength resonances in two-dimensional scattering problems in finite domains. Starting from the boundary integral formulation, we apply a Fourier--Galerkin discretization to derive an explicit finite-dimensional effective matrix whose kernel characterizes the resonant frequencies. In the subwavelength regime, we obtain asymptotic expansions of this matrix in terms of $ω$ and the material contrast, identifying the leading-order operators and their kernel structure. This reduction transforms the resonance problem into a low-dimensional nonlinear eigenvalue problem, avoiding large-scale discretizations and global root-search procedures. The entries of the effective matrix are explicitly computable and admit fast evaluation using FFT-based quadrature. The resulting approach provides an efficient and robust computational framework for resonances in general smooth geometries.

Mamba-Assisted Non-Markovian Closure for Reduced-Order Modeling

2026-06-03T19:18:50Z

Reduced-order modeling of high-dimensional dynamical systems is often hindered by the non-Markovian closure term that represents the effect of unresolved variables on the resolved dynamics. Inspired by the Mori--Zwanzig formalism, in which the closure takes the form of a memory functional of the resolved trajectory, we recast closure modeling as a sequence modeling problem and propose the Mamba-Assisted Closure (MAC) framework: a Mamba-based sequence model, trained to predict the closure from the resolved trajectory, is coupled with the reduced-order governing equations through a numerical integrator to advance the resolved variables in time. A key feature of the framework is its exploitation of the dual representation of state-space models -- the model is trained in a sequence-to-sequence fashion via the convolutional form, and deployed for step-by-step autoregressive rollout via the recurrent form, yielding both efficient long-trajectory training and constant per-step inference cost. On the viscous Burgers' equation and the chaotic two-scale Lorenz '96 system, the MAC model substantially outperforms the Markovian reduced-order model, the GRU-based sequence model, and the Wilks method in predictive accuracy and long-time rollout stability.

Optimizing Irreversible Perturbations of the Unadjusted Langevin Algorithm

2026-06-03T18:10:12Z

Irreversible perturbations accelerate the convergence of Langevin dynamics, breaking detailed balance while preserving the invariant measure. The design of optimal irreversible perturbations has been studied in the continuous-time Gaussian setting, but extensions to non-Gaussian target distributions, and the impact of time discretization on the design of optimal perturbations, have not been well understood. Numerical discretizations of Langevin dynamics introduce bias, which is typically exacerbated by irreversible perturbations; handling this interaction demands a joint treatment of acceleration and accuracy. This paper develops a systematic framework for optimizing position-independent irreversible perturbations of the unadjusted Langevin algorithm (ULA). We formulate a constrained optimization problem that simultaneously accounts for mixing efficiency and discretization bias, where the former is characterized by a spectral gap analogue and the latter is quantified via a weighted expected squared jump distance. Within this framework, we derive an explicit characterization of the optimal position-independent irreversible perturbation. Extensive numerical experiments demonstrate that our design yields faster convergence with controlled bias, and improves mean squared estimation errors compared to other choices of irreversible perturbation.

Novel approaches for the reliable and efficient numerical evaluation of Landau-type operators

2026-06-03T18:03:23Z

Numerical approximations of Landau-type operators represent fundamental components of time integration methods for demanding problems such as inhomogeneous Vlasov-Landau-type equations. Substantial computational issues arise from the treatment of the physically most relevant three-dimensional case with Coulomb-type interaction. This work is concerned with the introduction and numerical comparison of novel approaches for the reliable and efficient evaluation of Landau-type collision operators, where the focus is on the treatment of integral operators involving general singular kernels. In the spirit of collocation, common tools are the identification of fundamental integrals, series expansions of the integral kernel and the density function on the main part of the velocity domain, and interpolation as well as quadrature approximation nearby the singularity of the kernel. Focusing on the favourable choice of the Fourier spectral method, their practical implementation uses the reduction to basic integrals, fast Fourier techniques, and summations along certain directions. Moreover, an important observation is that a significant percentage of the overall computational effort can be transferred to precomputations which are independent of the density function. For the purpose of exposition and numerical validation, the cases of constant, regular, and singular integral kernels are distinguished, and the procedure is adapted accordingly to the increasing complexity of the problem.

High-Order Summation-By-Parts Schemes for First-Order Hyperbolic Systems in Curvilinear Coordinates with Singularities

2026-06-03T17:56:17Z

Formulating stable numerical methods for hyperbolic systems in curvilinear coordinate with singularities, e.g. spherical coordinates, is complicated by the presence of these singularities. We present a method for constructing high-order accurate, energy-stable finite difference operators satisfying the Summation-by-Parts (SBP) property on spherical domains, extending ideas presented by [C. Gundlach, J. M. Martín-García, and D. Garfinkle, CQG 30, 145003 (2013)]. We define discrete gradient and divergence operators that mirror the continuous integration-by-parts principle, even though there is a $1/r^p$ coordinate singularity present at the origin. We explicitly construct such operators up to order six. Our operators place a grid point directly on the origin. We also review how to construct stable SBP operators that straddle the origin. We analyze the accuracy and spectral radii of these operators, and we show example evolutions of the scalar wave equation to demonstrate the advantages of such operators.

Deep Embedded Multiplicative DMD for Algebra-Preserving Koopman Learning

2026-06-03T17:37:06Z

Koopman theory turns nonlinear dynamics into a linear spectral problem. In computation, however, everything depends on a hard finite-dimensional choice: the observables must be expressive, nearly invariant under the dynamics, and, ideally, compatible with composition. Deep Koopman methods learn flexible coordinates, whereas structure-preserving methods enforce operator identities on fixed dictionaries. We combine these ideas by introducing Deep Embedded Multiplicative Dynamic Mode Decomposition (DeepMDMD), a method that learns a latent space and a partition of it, while enforcing the Koopman product rule as an exact algebraic constraint. Training alternates between an exact multiplicative operator update and a differentiable latent-clustering step that promotes Koopman closure. The result is a finite transition map on learned latent cells. Its nonzero spectrum lies on the unit circle, its dictionary is shaped by the dynamics rather than by ambient geometry, and forecasts are made in latent coordinates before being decoded to physical space. Across Hamiltonian, chaotic, and fluid examples, DeepMDMD learns dictionaries that are far more compact and dynamically coherent than those produced by geometric MDMD partitions. It reduces spectral pollution, reveals richer continuous-spectrum structure, and gives stable forecasts under severe noise. In high-dimensional flows, including a 158,624-dimensional cylinder wake and a noisy $Re=20,000$ lid-driven cavity, it preserves coherent structures and long-time spectral statistics where state-space MDMD fails. These results suggest a practical rule for Koopman learning: learn the coordinates, constrain the algebra.

Bregman divergences and error control via convex duality

2026-06-03T16:52:42Z

Convex duality relations are a useful tool for deriving error estimates for challenging nonlinear and non-smooth variational problems. Applied at the continuous level they can deliver nonlinear analogues of the Prager-Synge a posteriori error identity, while at the discrete level they allow the derivation of minimal regularity a priori estimates. By leveraging elementary properties of Bregman divergences, we obtain three results on the error control via convex duality for a general class of problems: first, we prove a local efficiency bound for the duality gap error estimator, secondly, we derive a guaranteed a posteriori bound for non-conforming fields, and finally, we prove a minimal-regularity quasioptimal estimate for a Crouzeix-Raviart discretisation of the $\varphi$-Laplace problem.

On the Spectral Clustering in Algebraic Multigrid Methods

2026-06-03T16:20:01Z

We introduce a new direct multilevel method for solving arbitrary complex square linear systems that uses a regular smoother and an arbitrary but equal number of pre- and post-smoothings. Through careful analysis of the error propagation operator, we cluster the spectrum of this operator. This allows us to write a direct K-cycle version of the method.

Convergence of parallel overlapping domain decomposition methods with impedance boundary conditions for time-harmonic Maxwell equations in heterogeneous media

2026-06-03T15:04:22Z

This paper analyzes the convergence of parallel overlapping domain-decomposition methods with impedance boundary conditions for the time-harmonic Maxwell equations in heterogeneous media. We prove that the parallel iterative method is well-posed in an appropriate function space, and characterize the error propagation operator through impedance-to-impedance maps that describe interactions between neighboring subdomains. For strip domain decompositions, we derive explicit convergence estimates in terms of the norms of the impedance-to-impedance maps. At the discrete level, we develop the finite-element counterpart of these results based on Nédélec-element discretisations. Under the assumption that the discrete impedance-to-impedance maps approximate their continuous counterparts as the mesh is refined, we show that the discrete method inherits the convergence behavior of the continuous method. We illustrate this theory with numerical experiments for strip domain decompositions, and also present numerical experiments for checkerboard domain decompositions that go beyond our theory.