-
Blendstrings: an environment for computing with smooth functions
Authors:
Robert M. Corless
Abstract:
A "blendstring" is a piecewise polynomial interpolant with high-degree two-point Hermite interpolational polynomials on each piece, analogous to a cubic spline. Blendstrings are smoother and can be more accurate than cubic splines, and can be used to represent smooth functions on a line segment or polygonal path in the complex plane. I sketch some properties of blendstrings, including efficient me…
▽ More
A "blendstring" is a piecewise polynomial interpolant with high-degree two-point Hermite interpolational polynomials on each piece, analogous to a cubic spline. Blendstrings are smoother and can be more accurate than cubic splines, and can be used to represent smooth functions on a line segment or polygonal path in the complex plane. I sketch some properties of blendstrings, including efficient methods for evaluation, differentiation, and integration, as well as a prototype Maple implementation. Blendstrings can be differentiated and integrated exactly and can be combined algebraically. I also show applications of blendstrings to solving differential equations and computing Mathieu functions and generalized Mathieu eigenfunctions.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
Fully Probabilistic Design for Optimal Transport
Authors:
Sarah Boufelja Y.,
Anthony Quinn,
Martin Corless,
Robert Shorten
Abstract:
The goal of this paper is to introduce a new theoretical framework for Optimal Transport (OT), using the terminology and techniques of Fully Probabilistic Design (FPD). Optimal Transport is the canonical method for comparing probability measures and has been successfully applied in a wide range of areas (computer vision Rubner et al. [2004], computer graphics Solomon et al. [2015], natural languag…
▽ More
The goal of this paper is to introduce a new theoretical framework for Optimal Transport (OT), using the terminology and techniques of Fully Probabilistic Design (FPD). Optimal Transport is the canonical method for comparing probability measures and has been successfully applied in a wide range of areas (computer vision Rubner et al. [2004], computer graphics Solomon et al. [2015], natural language processing Kusner et al. [2015], etc.). However, we argue that the current OT framework suffers from two shortcomings: first, it is hard to induce generic constraints and probabilistic knowledge in the OT problem; second, the current formalism does not address the question of uncertainty in the marginals, lacking therefore the mechanisms to design robust solutions. By viewing the OT problem as the optimal design of a probability density function with marginal constraints, we prove that OT is an instance of the more generic FPD framework. In this new setting, we can furnish the OT framework with the necessary mechanisms for processing probabilistic constraints and deriving uncertainty quantifiers, hence establishing a new extended framework, called FPD-OT. Our main contribution in this paper is to establish the connection between OT and FPD, providing new theoretical insights for both. This will lay the foundations for the application of FPD-OT in a subsequent work, notably in processing more sophisticated knowledge constraints, as well as in designing robust solutions in the case of uncertain marginals.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Bohemian Matrix Geometry
Authors:
Robert M. Corless,
George Labahn,
Dan Piponi,
Leili Rafiee Sevyeri
Abstract:
A Bohemian matrix family is a set of matrices all of whose entries are drawn from a fixed, usually discrete and hence bounded, subset of a field of characteristic zero. Originally these were integers -- hence the name, from the acronym BOunded HEight Matrix of Integers (BOHEMI) -- but other kinds of entries are also interesting. Some kinds of questions about Bohemian matrices can be answered by nu…
▽ More
A Bohemian matrix family is a set of matrices all of whose entries are drawn from a fixed, usually discrete and hence bounded, subset of a field of characteristic zero. Originally these were integers -- hence the name, from the acronym BOunded HEight Matrix of Integers (BOHEMI) -- but other kinds of entries are also interesting. Some kinds of questions about Bohemian matrices can be answered by numerical computation, but sometimes exact computation is better. In this paper we explore some Bohemian families (symmetric, upper Hessenberg, or Toeplitz) computationally, and answer some open questions posed about the distributions of eigenvalue densities.
△ Less
Submitted 26 April, 2022; v1 submitted 15 February, 2022;
originally announced February 2022.
-
Blends in Maple
Authors:
Robert M. Corless,
Erik Postma
Abstract:
A blend of two Taylor series for the same smooth real- or complex-valued function of a single variable can be useful for approximation. We use an explicit formula for a two-point Hermite interpolational polynomial to construct such blends. We show a robust Maple implementation that can stably and efficiently evaluate blends using linear-cost Horner form, evaluate their derivatives to arbitrary ord…
▽ More
A blend of two Taylor series for the same smooth real- or complex-valued function of a single variable can be useful for approximation. We use an explicit formula for a two-point Hermite interpolational polynomial to construct such blends. We show a robust Maple implementation that can stably and efficiently evaluate blends using linear-cost Horner form, evaluate their derivatives to arbitrary order at the same time, or integrate a blend exactly. The implementation is suited for use with evalhf. We provide a top-level user interface and efficient module exports for programmatic use. This work was presented at the Maple Conference 2020. See www.maplesoft.com/mapleconference
△ Less
Submitted 27 November, 2020; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Approximate GCD in a Bernstein basis
Authors:
Robert M. Corless,
Leili Rafiee Sevyeri
Abstract:
We adapt Victor Y. Pan's root-based algorithm for finding approximate GCD to the case where the polynomials are expressed in Bernstein bases. We use the numerically stable companion pencil of Gudbjörn F. Jónsson to compute the roots, and the Hopcroft-Karp bipartite matching method to find the degree of the approximate GCD. We offer some refinements to improve the process.
We adapt Victor Y. Pan's root-based algorithm for finding approximate GCD to the case where the polynomials are expressed in Bernstein bases. We use the numerically stable companion pencil of Gudbjörn F. Jónsson to compute the roots, and the Hopcroft-Karp bipartite matching method to find the degree of the approximate GCD. We offer some refinements to improve the process.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Upper Hessenberg and Toeplitz Bohemians
Authors:
Eunice Y. S. Chan,
Robert M. Corless,
Laureano Gonzalez-Vega,
J. Rafael Sendra,
Juana Sendra
Abstract:
We look at Bohemians, specifically those with population $\{-1, 0, {+1}\}$ and sometimes $\{0,1,i,-1,-i\}$. More, we specialize the matrices to be upper Hessenberg Bohemian. From there, focusing on only those matrices whose characteristic polynomials have maximal height allows us to explicitly identify these polynomials and give useful bounds on their height, and conjecture an accurate asymptotic…
▽ More
We look at Bohemians, specifically those with population $\{-1, 0, {+1}\}$ and sometimes $\{0,1,i,-1,-i\}$. More, we specialize the matrices to be upper Hessenberg Bohemian. From there, focusing on only those matrices whose characteristic polynomials have maximal height allows us to explicitly identify these polynomials and give useful bounds on their height, and conjecture an accurate asymptotic formula. The lower bound for the maximal characteristic height is exponential in the order of the matrix; in contrast, the height of the matrices remains constant. We give theorems about the numbers of normal matrices and the numbers of stable matrices in these families.
△ Less
Submitted 23 July, 2019;
originally announced July 2019.
-
Bohemian Upper Hessenberg Toeplitz Matrices
Authors:
Eunice Y. S. Chan,
Robert M. Corless,
Laureano Gonzalez-Vega,
J. Rafael Sendra,
Juana Sendra,
Steven E. Thornton
Abstract:
We look at Bohemian matrices, specifically those with entries from $\{-1, 0, {+1}\}$. More, we specialize the matrices to be upper Hessenberg, with subdiagonal entries $1$. Even more, we consider Toeplitz matrices of this kind. Many properties remain after these specializations, some of which surprised us. Focusing on only those matrices whose characteristic polynomials have maximal height allows…
▽ More
We look at Bohemian matrices, specifically those with entries from $\{-1, 0, {+1}\}$. More, we specialize the matrices to be upper Hessenberg, with subdiagonal entries $1$. Even more, we consider Toeplitz matrices of this kind. Many properties remain after these specializations, some of which surprised us. Focusing on only those matrices whose characteristic polynomials have maximal height allows us to explicitly identify these polynomials and give a lower bound on their height. This bound is exponential in the order of the matrix.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
-
Bohemian Upper Hessenberg Matrices
Authors:
Eunice Y. S. Chan,
Robert M. Corless,
Laureano Gonzalez-Vega,
J. Rafael Sendra,
Juana Sendra,
Steven E. Thornton
Abstract:
We look at Bohemian matrices, specifically those with entries from $\{-1, 0, {+1}\}$. More, we specialize the matrices to be upper Hessenberg, with subdiagonal entries $\pm1$. Many properties remain after these specializations, some of which surprised us. We find two recursive formulae for the characteristic polynomials of upper Hessenberg matrices. Focusing on only those matrices whose characteri…
▽ More
We look at Bohemian matrices, specifically those with entries from $\{-1, 0, {+1}\}$. More, we specialize the matrices to be upper Hessenberg, with subdiagonal entries $\pm1$. Many properties remain after these specializations, some of which surprised us. We find two recursive formulae for the characteristic polynomials of upper Hessenberg matrices. Focusing on only those matrices whose characteristic polynomials have maximal height allows us to explicitly identify these polynomials and give a lower bound on their height. This bound is exponential in the order of the matrix. We count stable matrices, normal matrices, and neutral matrices, and tabulate the results of our experiments. We prove a theorem about the only possible kinds of normal matrices amongst a specific family of Bohemian upper Hessenberg matrices.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
-
A random walk through experimental mathematics
Authors:
Eunice Y. S. Chan,
Robert M. Corless
Abstract:
We describe our adventures in creating a new first-year course in Experimental Mathematics that uses active learning. We used a state-of-the-art facility, called The Western Active Learning Space, and got the students to "drive the spaceship" (at least a little bit). This paper describes some of our techniques for pedagogy, some of the vignettes of experimental mathematics that we used, and some o…
▽ More
We describe our adventures in creating a new first-year course in Experimental Mathematics that uses active learning. We used a state-of-the-art facility, called The Western Active Learning Space, and got the students to "drive the spaceship" (at least a little bit). This paper describes some of our techniques for pedagogy, some of the vignettes of experimental mathematics that we used, and some of the outcomes. EYSC was a student in the simultaneously-taught senior sister course "Open Problems in Experimental Mathematics" the first time it was taught and an unofficial co-instructor the second time. Jon Borwein attended the Project Presentation Day (the second time) and gave thoughtful feedback to each student. This paper is dedicated to his memory.
△ Less
Submitted 7 February, 2018; v1 submitted 16 January, 2018;
originally announced January 2018.
-
Symbolic-Numeric Integration of Rational Functions
Authors:
Robert M. Corless,
Robert H. C. Moir,
Marc Moreno Maza,
Ning Xie
Abstract:
We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of ill-conditioning to which numerical methods are susceptible. We propose two alternative methods for exact input that compute the rational part of the integral using Hermi…
▽ More
We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of ill-conditioning to which numerical methods are susceptible. We propose two alternative methods for exact input that compute the rational part of the integral using Hermite reduction and then compute the transcendental part two different ways using a combination of exact integration and efficient numerical computation of roots. The symbolic computation is done within BPAS, or Basic Polynomial Algebra Subprograms, which is a highly optimized environment for polynomial computation on parallel architectures, while the numerical computation is done using the highly optimized multiprecision rootfinding package MPSolve. We show that both methods are forward and backward stable in a structured sense and away from singularities tolerance proportionality is achieved by adjusting the precision of the rootfinding tasks.
△ Less
Submitted 25 October, 2018; v1 submitted 5 December, 2017;
originally announced December 2017.
-
A Distributed Algorithm for Least Square Solutions of Linear Equations
Authors:
Xuan Wang,
**gqiu Zhou,
Shaoshuai Mou,
Martin J. Corless
Abstract:
A distributed discrete-time algorithm is proposed for multi-agent networks to achieve a common least squares solution of a group of linear equations, in which each agent only knows some of the equations and is only able to receive information from its nearby neighbors. For fixed, connected, and undirected networks, the proposed discrete-time algorithm results in each agents solution estimate to co…
▽ More
A distributed discrete-time algorithm is proposed for multi-agent networks to achieve a common least squares solution of a group of linear equations, in which each agent only knows some of the equations and is only able to receive information from its nearby neighbors. For fixed, connected, and undirected networks, the proposed discrete-time algorithm results in each agents solution estimate to converging exponentially fast to the same least squares solution. Moreover, the convergence does not require careful choices of time-varying small step sizes.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.