Effective computation of Moore-Penrose inverses over fields of rational functions by specializations

Juana Sendra

Home/Archive/arXiv

arXiv · 2610.08676

Effective computation of Moore-Penrose inverses over fields of rational functions by specializations

Juana Sendra

View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we consider matrices whose entries are rational functions of several parameters over a Moore-Penrose field, that is, a field with an involutory automorphism over which every matrix has Moore-Penrose inverse. We prove that over any such field the Penrose conditions can be solved with linear algebra alone, even though they form a polynomial system of degree two. We then bound the degrees of the numerator and of the denominator of the pseudoinverse in terms of the degree of the entries and of the rank, and not of the dimensions of the matrix. Specialization is the thread: the closed form is computed once over the field of rational functions, and the question is at which parameter values it still returns the pseudoinverse of the specialized matrix. We determine the values where it does not, from the matrix alone and before computing the pseudoinverse. They are the zeros of a polynomial built from the maximal minors, and they are the values at which the rank decreases. This turns previous sufficient conditions into an exact characterization. The theory also gives symbolic algorithms for the real, the complex and the parametric case, which we implement in Maple and test on 972 timed replications. We also apply them to a Leontief economic model, where the excluded value is the point at which the economy stops being viable.

Explore related subjects

math.NA cs.NA math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Juana Sendra. 2026-10-07. Effective computation of Moore-Penrose inverses over fields of rational functions by specializations. https://arxiv.org/abs/2610.08676

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Interface Energy and Phase Transformations: A Comparative Analysis of Cahn-Hilliard and CALPHAD-based Models in Ternary Substitutional Alloys

Diffusional phase transformations in alloys are modeled either by phase-field methods of Cahn-Hilliard type, in which a double-well free energy and a gradient term impose an interface energy, or by reactive diffusion models, in which the driving forces follow from the CALPHAD methodology, the convex hull of the molar free energy, and the interface carries no energy. Their numerical schemes are tied to their free energies: phase-field schemes break down when the interface energy is set to zero, and reactive diffusion codes rely on finite differences. We derive, from the thermodynamic extremal principle, a single finite element scheme that covers both limits: the stationarity of the Rayleighian functional (free energy rate plus one half of the dissipation, with mass conservation imposed by multipliers) with respect to the rates, fluxes and multipliers at a frozen state. Fluxes and chemical affinities are primary unknowns, so no derivative of the affinity is required. The time-discrete scheme is the corresponding incremental minimization; it conserves mass exactly and satisfies a discrete energy-dissipation inequality for every convex molar free energy, including the convex hull without regularization. We make explicit that this last case is a degenerate parabolic problem of Stefan type, whose degeneracy can be removed, without altering the free energy, only by a moving mesh; since our aim is the coupling to continuum mechanics and damage on a fixed mesh, we operate at the boundary of degeneracy and show that mass conservation, the energy balance and the second law remain intact there. Thermodynamic consistency is proved for multi-component systems, a scheme relating Onsager and diffusion coefficients is proposed, and the role of interface energy is studied in binary and ternary examples, the latter with vacancies as a non-conserved component.

math.NA↗

arXiv2026

A posteriori existence for the Keller-Segel model via a finite volume - finite element scheme

We derive two forms of conditional a posteriori error estimates for a finite volume scheme approximating the parabolic-elliptic Keller-Segel system. The estimates control the error in the $L^\infty(0,T, L^2(Ω))$-norm and exhibit linear convergence in the mesh size, as observed in numerical experiments. Crucially, we show that, as long as the condition of the error estimate is satisfied, a weak solution exists. This means, as long as the numerical solution has good properties, we can rigorously infer existence of an exact solution.

math.NA↗

arXiv2026

A nonlocal model for heterogeneous material flow on conveyor belts

In this paper, a finite volume approximation scheme is used to solve a nonlocal macroscopic material flow model in two space dimensions, accounting for the presence of boundaries in the nonlocal terms. Based on a previous result for the scalar case, we extend the setting to a system of heterogeneous material on bounded domains. We prove the convergence of the approximate solutions constructed using the Roe scheme with dimensional splitting. We consider a regularized version of the flux function and establish BV bounds for a Roe-type scheme. Numerical tests show a good agreement with microscopic simulations.

math.NA↗