Vectors of type II Hermite-Padé approximations and a new linear independence criterion

DOI10.1007/S10231-021-01104-7zbMATH Open1476.11100arXiv2006.11260OpenAlexW3157999779WikidataQ114228205 ScholiaQ114228205MaRDI QIDQ2048664FDOQ2048664

Authors: Raffaele Marcovecchio 

Publication date: 23 August 2021

Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)

Abstract: We propose a linear independence criterion, and outline an application of it. Down to its simplest case, it aims at solving this problem: given three real numbers, typically as special values of analytic functions, how to prove that the $mathbbQ$-vector space spanned by $1$ and those three numbers has dimension at least 3, whenever we are unable to achieve full linear independence, by using simultaneous approximations, i.e. those usually arising from Hermite-Pad'e approximations of type II and their suitable generalizations. It should be recalled that approximations of type I and II are related, at least in principle: when the numerical application consists in specializing actual functional constructions of the two types, they can be obtained, one from the other, as explained in a well-known paper by K.Mahler [34]. That relation is reflected in a relation between the asymptotic behavior of the approximations at the infinite place of $mathbbQ$. Rather interestingly, the two view-points split away regarding the asymptotic behaviors at finite places (i.e. primes) of $mathbbQ$, and this makes the use of type II more convenient for particular purposes. In addition, sometimes we know type II approximations to a given set of functions, for which type I approximations are not known explicitly. Our approach can be regarded as a dual version of the standard linear independence criterion, which goes back to Siegel.

Full work available at URL: https://arxiv.org/abs/2006.11260

Recommendations

• On the existence and uniqueness of type II Hermite-Padé polynomials
• Type II Hermite-Padé approximations of generalized hypergeometric series
• ON LINEAR INDEPENDENCE MEASURES OF SOME ABELIAN INTEGRALS
• On linear independence measures of the values of Mahler functions
• On the convergence of type I Hermite-Padé approximants

zbMATH Keywords

difference equationsorthogonal polynomialslinear independencematrices and determinantssimultaneous approximations

Mathematics Subject Classification ID

Matrices, determinants in number theory (11C20) Special sequences and polynomials (11B83) Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Applications of difference equations (39A60) Orthogonal functions and polynomials, general theory of nontrigonometric harmonic analysis (42C05) Simultaneous approximation (41A28) Irrationality; linear independence over a field (11J72)

Cites Work

• Multiple polylogarithms, cyclotomy and modular complexes
• Disconjugacy
• Title not available (Why is that?)
• Advanced determinant calculus
• 𝐂²-saddle method and Beukers’ integral
• More on Poincaré’s and Perron’s Theorems for Difference Equations∗
• A link between the Perron-Frobenius theorem and Perron's theorem for difference equations
• Quantitative generalizations of Nesterenkos's linear independence criterion
• On Siegel's lemma
• Title not available (Why is that?)
• Algebraic independence criteria.
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• On a permutation group related to ζ(2)
• Difference Equations: Disconjugacy, Principal Solutions, Green's Functions, Complete Monotonicity
• Approximants de Padé simultanés de logarithmes. (Simultaneous Padé approximants of logarithms)
• Title not available (Why is that?)
• Rational approximations to π and some other numbers
• On the linear independence of numbers
• Nesterenko's linear independence criterion for vectors
• Generalization of the criteria for linear independence of Nesterenko, Amoroso, Colmez, Fischler and Zudilin
• Title not available (Why is that?)
• On the criteria for linear independence of Nesterenko, Fischler and Zudilin
• On a criterion of linear independence of \(p\)-adic numbers
• A converse to linear independence criteria, valid almost everywhere
• On the linear independence of the values of polylogarithmic functions
• A refinement of Nesterenko's linear independence criterion with applications to zeta values
• The Sylvester-Franke Theorem
• Criteria of algebraic independence with multiplicities and approximation by surfaces
• A determinantal approach to irrationality
• Rational Approximations to the Dilogarithm
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lower estimate for rational approximations of \(\ln 2\)
• On the linear independence of numbers over number fields
• On the linear independence in algebraic number fields
• On linear independence
• On Induced and Compound Matrices
• Two hypergeometric tales and a new irrationality measure of \(\zeta (2)\)
• Nesterenko's criterion when the small linear forms oscillate
• Some Identities in the Theory of Determinants
• An axiomatization of Nesterenko's method and applications on Mahler functions
• Title not available (Why is that?)
• Linear independence of linear forms in polylogarithms
• The saddle-point method in \(\mathbb{C}^N\) and the generalized Airy functions
• RELATIONS FOR THE COEFFICIENTS, AND SINGULAR POINTS OF A FUNCTION
• Linear independence of values of \(G\)-functions
• Title not available (Why is that?)
• Linear independence of 1, \(\operatorname{Li}_1\) and \(\operatorname{Li}_2\)
• Linear independence of dilogarithmic values
• Multiple Legendre polynomials in diophantine approximation
• Multiple zeta values, Padé approximation and Vasilyev's conjecture
• Can polylogarithms at algebraic points be linearly independent?
• Linear independence of polylogarithms at algebraic points
• ON LOGARITHMS OF NATURAL NUMBERS
• A Note on the Sylvester-Franke Theorem

Uses Software

• PARI/GP

This page was built for publication: Vectors of type II Hermite-Padé approximations and a new linear independence criterion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2048664)