Related papers: Hermite Reduction for D-finite Functions via Integ…
Given a square, nonsingular matrix of univariate polynomials $\mathbf{F} \in \mathbb{K}[x]^{n \times n}$ over a field $\mathbb{K}$, we give a fast, deterministic algorithm for finding the Hermite normal form of $\mathbf{F}$ with complexity…
In the present paper, we characterize all possible Hilbert functions of graded ideals in a polynomial ring whose regularity is smaller than or equal to $d$, where $d$ is a positive integer. In addition, we prove the following result which…
We derive a priori residual-type bounds for the Arnoldi approximation of a matrix function and a strategy for setting the iteration accuracies in the inexact Arnoldi approximation of matrix functions. Such results are based on the decay…
An efficient procedure for error-value calculations based on fast discrete Fourier transforms (DFT) in conjunction with Berlekamp-Massey-Sakata algorithm for a class of affine variety codes is proposed. Our procedure is achieved by…
Ihe first author presented an efficient algorithm for computing involutive (and reduced Groebner) bases. In this paper, we consider a modification of this algorithm which simplifies matters to understand it and to implement. We prove…
We introduce a kind of finite truncation of the hypergeometric series and provide its discretized integral representation. This is motivated by recent results of Maesaka-Seki-Watanabe and Hirose-Matsusaka-Seki on the identity between…
A mathematical framework for reduced density matrix functional theory (RDMFT) is proposed. The work is inspired by and generalizes the work by E.H.~Lieb [E.H. Lieb, Int. J. Quant. Chem. 24(1983), pp.243--277] on density-functional theory…
En utilisant des approximants de Hermite-Pad\'e de fonctions exponentielles, ainsi que des d\'eterminants d'interpolation de Laurent, nous minorons la distance entre un nombre alg\'ebrique et l'exponentielle d'un nombre alg\'ebrique non…
Discrete transforms such as the discrete Fourier transform (DFT) or the discrete Hartley transform (DHT) furnish an indispensable tool in signal processing. The successful application of transform techniques relies on the existence of the…
This paper is concerned with the Taylor-reduced basis method (Taylor-RBM) for the efficient approximation of eigenspaces of large scale parametric Hermitian matrices. The Taylor-RBM is a local model order reduction method, which constructs…
We present a further extension of the HYPERDIRE project, which is devoted to the creation of a set of Mathematica-based program packages for manipulations with Horn-type hypergeometric functions on the basis of differential equations.…
In this paper, we describe improved algorithms to compute Janet and Pommaret bases. To this end, based on the method proposed by Moller et al., we present a more efficient variant of Gerdt's algorithm (than the algorithm presented by…
In this note we extend the Differential Transfer Matrix Method (DTMM) for a second-order linear ordinary differential equation to the complex plane. This is achieved by separation of real and imaginary parts, and then forming a system of…
In this paper, we analyze a function space consisting of functions for which both the function and its Fourier transform exhibit Gaussian decay together with exponential growth governed by suitable weight functions. First, we examine…
An integral equation is a way to encapsulate the relationships between a function and its integrals. We develop a systematic way of describing Volterra integral equations -- specifically an algorithm that reduces any separable Volterra…
This work provides closed-form solutions and minimum achievable errors for a large class of low-rank approximation problems in Hilbert spaces. The proposed theorem generalizes to the case of bounded linear operators the previous results…
We describe a general approach for constructing a broad class of operators approximating high-dimensional curves based on geometric Hermite data. The geometric Hermite data consists of point samples and their associated tangent vectors of…
In the paper, we propose two new conjectures about the convergence of Hermite Approximants of multivalued analytic functions of Laguerre class ${\mathscr L}$. The conjectures are based in part on the numerical experiments, made recently by…
We derive the fusion hierarchy of functional equations for critical A-D-E lattice models related to, the sl(2) unitary minimal models, the parafermionic models and the supersymmetric models of conformal field theory, and deduce the related…
We present a combination of the Mixed-Echelon-Hermite transformation and the Double-Bounded Reduction for systems of linear mixed arithmetic that preserve satisfiability and can be computed in polynomial time. Together, the two…