-
Computational Discovery with Newton Fractals, Bohemian Matrices, & Mandelbrot Polynomials
Authors:
Neil J. Calkin,
Eunice Y. S. Chan,
Robert M. Corless
Abstract:
The authors have been using a largely algebraic form of ``computational discovery'' in various undergraduate classes at their respective institutions for some decades now to teach pure mathematics, applied mathematics, and computational mathematics. This paper describes what we mean by ``computational discovery,'' what good it does for the students, and some specific techniques that we used.
The authors have been using a largely algebraic form of ``computational discovery'' in various undergraduate classes at their respective institutions for some decades now to teach pure mathematics, applied mathematics, and computational mathematics. This paper describes what we mean by ``computational discovery,'' what good it does for the students, and some specific techniques that we used.
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
A Fractal Eigenvector
Authors:
Neil J. Calkin,
Eunice Y. S. Chan,
Robert M. Corless,
David J. Jeffrey,
Piers W. Lawrence
Abstract:
The recursively-constructed family of Mandelbrot matrices $M_n$ for $n=1$, $2$, $\ldots$ have nonnegative entries (indeed just $0$ and $1$, so each $M_n$ can be called a binary matrix) and have eigenvalues whose negatives $-λ= c$ give periodic orbits under the Mandelbrot iteration, namely $z_k = z_{k-1}^2+c$ with $z_0=0$, and are thus contained in the Mandelbrot set. By the Perron--Frobenius theor…
▽ More
The recursively-constructed family of Mandelbrot matrices $M_n$ for $n=1$, $2$, $\ldots$ have nonnegative entries (indeed just $0$ and $1$, so each $M_n$ can be called a binary matrix) and have eigenvalues whose negatives $-λ= c$ give periodic orbits under the Mandelbrot iteration, namely $z_k = z_{k-1}^2+c$ with $z_0=0$, and are thus contained in the Mandelbrot set. By the Perron--Frobenius theorem, the matrices $M_n$ have a dominant real positive eigenvalue, which we call $ρ_n$. This article examines the eigenvector belonging to that dominant eigenvalue and its fractal-like structure, and similarly examines (with less success) the dominant singular vectors of $M_n$ from the singular value decomposition.
△ Less
Submitted 29 March, 2021;
originally announced April 2021.
-
Chaos Game Representation
Authors:
Eunice Y. S. Chan,
Robert M. Corless
Abstract:
The chaos game representation (CGR) is an interesting method to visualize one-dimensional sequences. In this paper, we show how to construct a chaos game representation. The applications mentioned here are biological, in which CGR was able to uncover patterns in DNA or proteins that were previously unknown. We also show how CGR might be introduced in the classroom, either in a modelling course or…
▽ More
The chaos game representation (CGR) is an interesting method to visualize one-dimensional sequences. In this paper, we show how to construct a chaos game representation. The applications mentioned here are biological, in which CGR was able to uncover patterns in DNA or proteins that were previously unknown. We also show how CGR might be introduced in the classroom, either in a modelling course or in a dynamical systems course. Some sequences that are tested are taken from the Online Encyclopedia of Integer Sequences, and others are taken from sequences that arose mainly from a course in experimental mathematics.
△ Less
Submitted 15 December, 2020;
originally announced December 2020.
-
Teaching Programming for Mathematical Scientists
Authors:
Jack Betteridge,
Eunice Y. S. Chan,
Robert M. Corless,
James H. Davenport,
James Grant
Abstract:
Over the past thirty years or so the authors have been teaching various programming for mathematics courses at our respective Universities, as well as incorporating computer algebra and numerical computation into traditional mathematics courses. These activities are, in some important ways, natural precursors to the use of Artificial Intelligence in Mathematics Education. This paper reflects on so…
▽ More
Over the past thirty years or so the authors have been teaching various programming for mathematics courses at our respective Universities, as well as incorporating computer algebra and numerical computation into traditional mathematics courses. These activities are, in some important ways, natural precursors to the use of Artificial Intelligence in Mathematics Education. This paper reflects on some of our course designs and experiences and is therefore a mix of theory and practice. Underlying both is a clear recognition of the value of computer programming for mathematics education. We use this theory and practice to suggest good techniques for and to raise questions about the use of AI in Mathematics Education.
△ Less
Submitted 30 October, 2020;
originally announced October 2020.
-
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.
-
Algebraic Linearizations of Matrix Polynomials
Authors:
Eunice Y. S. Chan,
Robert M. Corless,
Laureano Gonzalez-Vega,
J. Rafael Sendra,
Juana Sendra
Abstract:
We show how to construct linearizations of matrix polynomials $z\mathbf{a}(z)\mathbf{d}_0 + \mathbf{c}_0$, $\mathbf{a}(z)\mathbf{b}(z)$, $\mathbf{a}(z) + \mathbf{b}(z)$ (when $\mathrm{deg}\left(\mathbf{b}(z)\right) < \mathrm{deg}\left(\mathbf{a}(z)\right)$), and $z\mathbf{a}(z)\mathbf{d}_0\mathbf{b}(z) + \mathbf{c_0}$ from linearizations of the component parts, $\mathbf{a}(z)$ and $\mathbf{b}(z)$.…
▽ More
We show how to construct linearizations of matrix polynomials $z\mathbf{a}(z)\mathbf{d}_0 + \mathbf{c}_0$, $\mathbf{a}(z)\mathbf{b}(z)$, $\mathbf{a}(z) + \mathbf{b}(z)$ (when $\mathrm{deg}\left(\mathbf{b}(z)\right) < \mathrm{deg}\left(\mathbf{a}(z)\right)$), and $z\mathbf{a}(z)\mathbf{d}_0\mathbf{b}(z) + \mathbf{c_0}$ from linearizations of the component parts, $\mathbf{a}(z)$ and $\mathbf{b}(z)$. This allows the extension to matrix polynomials of a new companion matrix construction.
△ Less
Submitted 29 May, 2018;
originally announced May 2018.
-
Generalized Standard Triples for Algebraic Linearizations of Matrix Polynomials
Authors:
Eunice Y. S. Chan,
Robert M. Corless,
Leili Rafiee Sevyeri
Abstract:
We define \emph{generalized standard triples} $\mathbf{X}$, $\mathbf{Y}$, and $L(z) = z\mathbf{C}_{1} - \mathbf{C}_{0}$, where $L(z)$ is a linearization of a regular matrix polynomial $\mathbf{P}(z) \in \mathbb{C}^{n \times n}[z]$, in order to use the representation $\mathbf{X}(z \mathbf{C}_{1}~-~\mathbf{C}_{0})^{-1}\mathbf{Y}~=~\mathbf{P}^{-1}(z)$ which holds except when $z$ is an eigenvalue of…
▽ More
We define \emph{generalized standard triples} $\mathbf{X}$, $\mathbf{Y}$, and $L(z) = z\mathbf{C}_{1} - \mathbf{C}_{0}$, where $L(z)$ is a linearization of a regular matrix polynomial $\mathbf{P}(z) \in \mathbb{C}^{n \times n}[z]$, in order to use the representation $\mathbf{X}(z \mathbf{C}_{1}~-~\mathbf{C}_{0})^{-1}\mathbf{Y}~=~\mathbf{P}^{-1}(z)$ which holds except when $z$ is an eigenvalue of $\mathbf{P}$. This representation can be used in constructing so-called \emph{algebraic linearizations} for matrix polynomials of the form $\mathbf{H}(z) = z \mathbf{A}(z)\mathbf{B}(z) + \mathbf{C} \in \mathbb{C}^{n \times n}[z]$ from generalized standard triples of $\mathbf{A}(z)$ and $\mathbf{B}(z)$. This can be done even if $\mathbf{A}(z)$ and $\mathbf{B}(z)$ are expressed in differing polynomial bases. Our main theorem is that $\mathbf{X}$ can be expressed using the coefficients of the expression $1 = \sum_{k=0}^\ell e_k φ_k(z)$ in terms of the relevant polynomial basis. For convenience, we tabulate generalized standard triples for orthogonal polynomial bases, the monomial basis, and Newton interpolational bases; for the Bernstein basis; for Lagrange interpolational bases; and for Hermite interpolational bases. We account for the possibility of common similarity transformations.
△ Less
Submitted 25 March, 2021; v1 submitted 11 May, 2018;
originally announced May 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.
-
Minimal height companion matrices for Euclid polynomials
Authors:
Eunice Y. S. Chan,
Robert M. Corless
Abstract:
We define Euclid polynomials $E_{k+1}(λ) = E_{k}(λ)\left(E_{k}(λ) - 1\right) + 1$ and $E_{1}(λ) = λ+ 1$ in analogy to Euclid numbers $e_k = E_{k}(1)$. We show how to construct companion matrices $\mathbb{E}_k$, so $E_k(λ) = \operatorname{det}\left(λ\mathbf{I} - \mathbb{E}_{k}\right)$, of height 1 (and thus of minimal height over all integer companion matrices for $E_{k}(λ)$). We prove various prop…
▽ More
We define Euclid polynomials $E_{k+1}(λ) = E_{k}(λ)\left(E_{k}(λ) - 1\right) + 1$ and $E_{1}(λ) = λ+ 1$ in analogy to Euclid numbers $e_k = E_{k}(1)$. We show how to construct companion matrices $\mathbb{E}_k$, so $E_k(λ) = \operatorname{det}\left(λ\mathbf{I} - \mathbb{E}_{k}\right)$, of height 1 (and thus of minimal height over all integer companion matrices for $E_{k}(λ)$). We prove various properties of these objects, and give experimental confirmation of some unproved properties.
△ Less
Submitted 12 December, 2017;
originally announced December 2017.
-
Narayana, Mandelbrot, and A New Kind of Companion Matrix
Authors:
Eunice Y. S. Chan,
Robert M. Corless
Abstract:
We demonstrate a new kind of companion matrix, for polynomials of the form $c(λ) = λa(λ)b(λ) + c_0$ where upper Hessenberg companions are known for the polynomials $a(λ)$ and $b(λ)$. This construction can generate companion matrices with smaller entries than the Fiedler or Frobenius forms. This generalizes Piers Lawrence's Mandelbrot companion matrix. We motivate the construction by use of Narayan…
▽ More
We demonstrate a new kind of companion matrix, for polynomials of the form $c(λ) = λa(λ)b(λ) + c_0$ where upper Hessenberg companions are known for the polynomials $a(λ)$ and $b(λ)$. This construction can generate companion matrices with smaller entries than the Fiedler or Frobenius forms. This generalizes Piers Lawrence's Mandelbrot companion matrix. We motivate the construction by use of Narayana-Mandelbrot polynomials, which are also new to this paper.
△ Less
Submitted 20 June, 2016;
originally announced June 2016.
