We study the circumradius of a random section of an -ellipsoid, , and compare it with the minimal circumradius over all sections with subspaces of the same codimension. Our main result is an upper bound for random sections, which we prove using techniques from asymptotic geometric analysis if and compressed sensing if . This can be interpreted as a bound on the quality of random (Gaussian) information for the recovery of vectors from an -ellipsoid for which the radius of optimal information is given by the Gelfand numbers of a diagonal operator. In the case where the semiaxes decay polynomially and , we conjecture that, as the amount of information increases, the radius of random information either decays like the radius of optimal information or is bounded from below by a constant, depending on whether the exponent of decay is larger than the critical value or not. If , we prove this conjecture by providing a matching lower bound. This extends the recent work of Hinrichs et al. [Random sections of ellipsoids and the power of random information, Trans. Amer. Math. Soc., 2021] for the case .
{"title":"Random sections of ℓp-ellipsoids, optimal recovery and Gelfand numbers of diagonal operators","authors":"Aicke Hinrichs , Joscha Prochno , Mathias Sonnleitner","doi":"10.1016/j.jat.2023.105919","DOIUrl":"https://doi.org/10.1016/j.jat.2023.105919","url":null,"abstract":"<div><p>We study the circumradius of a random section of an <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>-ellipsoid, <span><math><mrow><mn>0</mn><mo><</mo><mi>p</mi><mo>≤</mo><mi>∞</mi></mrow></math></span>, and compare it with the minimal circumradius over all sections with subspaces of the same codimension. Our main result is an upper bound for random sections, which we prove using techniques from asymptotic geometric analysis if <span><math><mrow><mn>1</mn><mo>≤</mo><mi>p</mi><mo>≤</mo><mi>∞</mi></mrow></math></span> and compressed sensing if <span><math><mrow><mn>0</mn><mo><</mo><mi>p</mi><mo>≤</mo><mn>1</mn></mrow></math></span>. This can be interpreted as a bound on the quality of random (Gaussian) information for the recovery of vectors from an <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>-ellipsoid for which the radius of optimal information is given by the Gelfand numbers of a diagonal operator. In the case where the semiaxes decay polynomially and <span><math><mrow><mn>1</mn><mo>≤</mo><mi>p</mi><mo>≤</mo><mi>∞</mi></mrow></math></span>, we conjecture that, as the amount of information increases, the radius of random information either decays like the radius of optimal information or is bounded from below by a constant, depending on whether the exponent of decay is larger than the critical value <span><math><mrow><mn>1</mn><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>p</mi></mrow></mfrac></mrow></math></span> or not. If <span><math><mrow><mn>1</mn><mo>≤</mo><mi>p</mi><mo>≤</mo><mn>2</mn></mrow></math></span>, we prove this conjecture by providing a matching lower bound. This extends the recent work of Hinrichs et al. [Random sections of ellipsoids and the power of random information, Trans. Amer. Math. Soc., 2021] for the case <span><math><mrow><mi>p</mi><mo>=</mo><mn>2</mn></mrow></math></span>.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50191929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.jat.2023.105943
Gaurav Bhatnagar , Krishnan Rajkumar
In this paper, we introduce telescoping continued fractions to find lower bounds for the error term in Stirling’s approximation This improves lower bounds given earlier by Cesàro (1922), Robbins (1955), Nanjundiah (1959), Maria (1965) and Popov (2017). The expression is in terms of a continued fraction, together with an algorithm to find successive terms of this continued fraction. The technique we introduce allows us to experimentally obtain upper and lower bounds for a sequence of convergents of a continued fraction in terms of a difference of two continued fractions.
{"title":"Telescoping continued fractions for the error term in Stirling’s formula","authors":"Gaurav Bhatnagar , Krishnan Rajkumar","doi":"10.1016/j.jat.2023.105943","DOIUrl":"10.1016/j.jat.2023.105943","url":null,"abstract":"<div><p>In this paper, we introduce telescoping continued fractions to find lower bounds for the error term <span><math><msub><mrow><mi>r</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> in Stirling’s approximation <span><math><mrow><mi>n</mi><mo>!</mo><mo>=</mo><msqrt><mrow><mn>2</mn><mi>π</mi></mrow></msqrt><msup><mrow><mi>n</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><msup><mrow><mi>e</mi></mrow><mrow><mo>−</mo><mi>n</mi></mrow></msup><msup><mrow><mi>e</mi></mrow><mrow><msub><mrow><mi>r</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></msup><mo>.</mo></mrow></math></span><span> This improves lower bounds given earlier by Cesàro (1922), Robbins (1955), Nanjundiah (1959), Maria (1965) and Popov (2017). The expression is in terms of a continued fraction, together with an algorithm to find successive terms of this continued fraction. The technique we introduce allows us to experimentally obtain upper and lower bounds for a sequence of convergents of a continued fraction in terms of a difference of two continued fractions.</span></p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42705947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.jat.2023.105913
V.N. Temlyakov
We consider infinitely dimensional classes of functions and instead of the relative error setting, which was used in previous papers on the integral norm discretization, we consider the absolute error setting. We demonstrate how known results from two areas of research – supervised learning theory and numerical integration – can be used in sampling discretization of the square norm on different function classes. We prove a general result, which shows that the sequence of entropy numbers of a function class in the uniform norm dominates, in a certain sense, the sequence of errors of sampling discretization of the square norm of this class. Then we use this result for establishing new error bounds for sampling discretization of the square norm on classes of multivariate functions with mixed smoothness.
{"title":"Sampling discretization error of integral norms for function classes with small smoothness","authors":"V.N. Temlyakov","doi":"10.1016/j.jat.2023.105913","DOIUrl":"https://doi.org/10.1016/j.jat.2023.105913","url":null,"abstract":"<div><p><span>We consider infinitely dimensional classes of functions and instead of the relative error setting, which was used in previous papers on the integral norm discretization, we consider the absolute error setting. We demonstrate how known results from two areas of research – supervised learning theory and numerical integration – can be used in sampling discretization of the square norm on different function classes. We prove a general result, which shows that the sequence of entropy numbers of a function class in the uniform norm dominates, in a certain sense, the sequence of errors of sampling discretization of the square norm of this class. Then we use this result for establishing new error bounds for sampling discretization of the square norm on classes of </span>multivariate functions with mixed smoothness.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50191924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.jat.2023.105921
Dawid Hanrahan , Dariusz Kosz
We prove genuinely sharp estimates for the Jacobi heat kernels introduced in the context of the multidimensional cone and its surface . To do so, we combine the theory of Jacobi polynomials on the cone explored by Xu with the recent techniques by Nowak, Sjögren, and Szarek, developed to find genuinely sharp estimates for the spherical heat kernel.
{"title":"Sharp estimates for Jacobi heat kernels in conic domains","authors":"Dawid Hanrahan , Dariusz Kosz","doi":"10.1016/j.jat.2023.105921","DOIUrl":"10.1016/j.jat.2023.105921","url":null,"abstract":"<div><p>We prove genuinely sharp estimates for the Jacobi heat kernels introduced in the context of the multidimensional cone <span><math><msup><mrow><mi>V</mi></mrow><mrow><mi>d</mi><mo>+</mo><mn>1</mn></mrow></msup></math></span> and its surface <span><math><msubsup><mrow><mi>V</mi></mrow><mrow><mn>0</mn></mrow><mrow><mi>d</mi><mo>+</mo><mn>1</mn></mrow></msubsup></math></span><span>. To do so, we combine the theory of Jacobi polynomials on the cone explored by Xu with the recent techniques by Nowak, Sjögren, and Szarek, developed to find genuinely sharp estimates for the spherical heat kernel.</span></p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42715263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.jat.2023.105918
Diego Dominici , Juan José Moreno-Balcázar
In this paper we tackle the asymptotic behavior of a family of orthogonal polynomials with respect to a nonstandard inner product involving the forward operator . Concretely, we treat the generalized Charlier weights in the framework of -Sobolev orthogonality. We obtain an asymptotic expansion for these orthogonal polynomials where the falling factorial polynomials play an important role.
{"title":"Asymptotic analysis of a family of Sobolev orthogonal polynomials related to the generalized Charlier polynomials","authors":"Diego Dominici , Juan José Moreno-Balcázar","doi":"10.1016/j.jat.2023.105918","DOIUrl":"10.1016/j.jat.2023.105918","url":null,"abstract":"<div><p><span><span>In this paper we tackle the asymptotic behavior of a family of </span>orthogonal polynomials with respect to a nonstandard inner product involving the forward operator </span><span><math><mi>Δ</mi></math></span>. Concretely, we treat the generalized Charlier weights in the framework of <span><math><mi>Δ</mi></math></span><span><span>-Sobolev orthogonality. We obtain an </span>asymptotic expansion<span> for these orthogonal polynomials where the falling factorial polynomials play an important role.</span></span></p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46496151","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.jat.2023.105917
F.E. Levis , C.V. Ridolfi , L. Zabala
In this paper, we give a strong uniqueness characterization theorem for the Chebyshev center of a set of infinitely many functions relative to a finite-dimensional linear space on a compact Hausdorff space. Additionally, we derive an alternation theorem for Chebyshev centers relative to a weak Chebyshev space on any compact set of the real line. Furthermore, we show an intrinsic characterization of those linear spaces where an alternation theorem holds.
{"title":"Strong uniqueness and alternation theorems for relative Chebyshev centers","authors":"F.E. Levis , C.V. Ridolfi , L. Zabala","doi":"10.1016/j.jat.2023.105917","DOIUrl":"10.1016/j.jat.2023.105917","url":null,"abstract":"<div><p><span>In this paper, we give a strong uniqueness characterization theorem for the Chebyshev center of a set of infinitely many functions relative to a finite-dimensional linear space on a </span>compact Hausdorff space. Additionally, we derive an alternation theorem for Chebyshev centers relative to a weak Chebyshev space on any compact set of the real line. Furthermore, we show an intrinsic characterization of those linear spaces where an alternation theorem holds.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46731540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.jat.2023.105920
Michael S. Floater
In this paper we discuss a conjecture of Schumaker that the principal submatrices of collocation matrices of bivariate Bernstein polynomials over triangular grids have positive determinant. It is easy to show that the conjecture holds for the 2 × 2 submatrices. In this paper we show that it also holds for the 3 × 3 submatrices, working with the equivalent ‘monomial form’ of the conjecture. This result generalizes to a class of 3 × 3 matrices which will be described.
{"title":"On a conjecture concerning interpolation by bivariate Bernstein polynomials","authors":"Michael S. Floater","doi":"10.1016/j.jat.2023.105920","DOIUrl":"10.1016/j.jat.2023.105920","url":null,"abstract":"<div><p>In this paper we discuss a conjecture of Schumaker that the principal submatrices<span><span> of collocation matrices of bivariate </span>Bernstein polynomials<span> over triangular grids have positive determinant. It is easy to show that the conjecture holds for the 2 × 2 submatrices. In this paper we show that it also holds for the 3 × 3 submatrices, working with the equivalent ‘monomial form’ of the conjecture. This result generalizes to a class of 3 × 3 matrices which will be described.</span></span></p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44510297","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-08-22DOI: 10.1016/j.jat.2023.105958
Morten Nielsen
We construct smooth localized orthonormal bases compatible with homogeneous mixed-norm Triebel–Lizorkin spaces in an anisotropic setting on . The construction is based on tensor products of so-called univariate brushlet functions that are constructed using local trigonometric bases in the frequency domain. It is shown that the associated decomposition system form unconditional bases for the homogeneous mixed-norm Triebel–Lizorkin spaces.
In the second part of the paper we study nonlinear -term approximation with the constructed basis in the mixed-norm setting, where the behavior, in general, for , is shown to be fundamentally different from the unmixed case. However, Jackson and Bernstein inequalities for -term approximation can still be derived.
{"title":"Stable decomposition of homogeneous Mixed-norm Triebel–Lizorkin spaces","authors":"Morten Nielsen","doi":"10.1016/j.jat.2023.105958","DOIUrl":"10.1016/j.jat.2023.105958","url":null,"abstract":"<div><p>We construct smooth localized orthonormal bases compatible with homogeneous mixed-norm Triebel–Lizorkin spaces in an anisotropic setting on <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span>. The construction is based on tensor products of so-called univariate brushlet functions that are constructed using local trigonometric bases in the frequency domain. It is shown that the associated decomposition system form unconditional bases for the homogeneous mixed-norm Triebel–Lizorkin spaces.</p><p>In the second part of the paper we study nonlinear <span><math><mi>m</mi></math></span>-term approximation with the constructed basis in the mixed-norm setting, where the behavior, in general, for <span><math><mrow><mi>d</mi><mo>≥</mo><mn>2</mn></mrow></math></span>, is shown to be fundamentally different from the unmixed case. However, Jackson and Bernstein inequalities for <span><math><mi>m</mi></math></span>-term approximation can still be derived.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47586801","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-08-16DOI: 10.1016/j.jat.2023.105957
Cleonice F. Bracciali , Karina S. Rampazzi , Luana L. Silva Ribeiro
We consider orthogonal polynomials on the unit circle associated with certain semi-classical weight functions. This means that the Pearson-type differential equations satisfied by these weight functions involve two polynomials of degree at most 2. We determine all such semi-classical weight functions and this also includes an extension of the Jacobi weight function on the unit circle. General structure relations for the orthogonal polynomials and non-linear difference equations for the associated complex Verblunsky coefficients are established. As application, we present several new structure relations and non-linear difference equations associated with some of these semi-classical weight functions.
{"title":"On semi-classical weight functions on the unit circle","authors":"Cleonice F. Bracciali , Karina S. Rampazzi , Luana L. Silva Ribeiro","doi":"10.1016/j.jat.2023.105957","DOIUrl":"10.1016/j.jat.2023.105957","url":null,"abstract":"<div><p>We consider orthogonal polynomials on the unit circle associated with certain semi-classical weight functions. This means that the Pearson-type differential equations satisfied by these weight functions involve two polynomials of degree at most 2. We determine all such semi-classical weight functions and this also includes an extension of the Jacobi weight function on the unit circle. General structure relations for the orthogonal polynomials and non-linear difference equations for the associated complex Verblunsky coefficients are established. As application, we present several new structure relations and non-linear difference equations associated with some of these semi-classical weight functions.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41608382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-08-01DOI: 10.1016/j.jat.2023.105910
Adam Doliwa, Artur Siemaszko
We show that solution to the Hermite–Padé type I approximation problem leads in a natural way to a subclass of solutions of the Hirota (discrete Kadomtsev–Petviashvili) system and of its adjoint linear problem. Our result explains the appearance of various ingredients of the integrable systems theory in application to multiple orthogonal polynomials, numerical algorithms, random matrices, and in other branches of mathematical physics and applied mathematics where the Hermite–Padé approximation problem is relevant. We present also the geometric algorithm, based on the notion of Desargues maps, of construction of solutions of the problem in the projective space over the field of rational functions. As a byproduct we obtain the corresponding generalization of the Wynn recurrence. We isolate the boundary data of the Hirota system which provide solutions to Hermite–Padé problem showing that the corresponding reduction lowers dimensionality of the system. In particular, we obtain certain equations which, in addition to the known ones given by Paszkowski, can be considered as direct analogs of the Frobenius identities. We study the place of the reduced system within the integrability theory, which results in finding multidimensional (in the sense of number of variables) extension of the discrete-time Toda chain equations.
{"title":"Hermite–Padé approximation and integrability","authors":"Adam Doliwa, Artur Siemaszko","doi":"10.1016/j.jat.2023.105910","DOIUrl":"https://doi.org/10.1016/j.jat.2023.105910","url":null,"abstract":"<div><p><span>We show that solution to the Hermite–Padé type I approximation problem leads in a natural way to a subclass of solutions of the Hirota (discrete Kadomtsev–Petviashvili) system and of its adjoint linear problem. Our result explains the appearance of various ingredients of the integrable systems theory in application to multiple orthogonal polynomials, numerical algorithms, random matrices, and in other branches of </span>mathematical physics<span> and applied mathematics<span> where the Hermite–Padé approximation problem is relevant. We present also the geometric algorithm, based on the notion of Desargues<span><span> maps, of construction of solutions of the problem in the projective space over the field of rational functions. As a byproduct we obtain the corresponding generalization of the Wynn recurrence. We isolate the boundary data of the Hirota system which provide solutions to Hermite–Padé problem showing that the corresponding reduction lowers dimensionality of the system. In particular, we obtain certain equations which, in addition to the known ones given by Paszkowski, can be considered as direct analogs of the </span>Frobenius identities. We study the place of the reduced system within the integrability theory, which results in finding multidimensional (in the sense of number of variables) extension of the discrete-time Toda chain equations.</span></span></span></p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50186872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}