How to compute the determinant of this Toeplitz matrix?

Question

Given a positive integer $n$, express$$ f_n(x) = \left|\begin{array}{c c c c c} 1 & x & \cdots & x^{n - 1} & x^n\\ x & 1 & x & \cdots & x^{n - 1} \\ \vdots & x & \ddots & \ddots & \vdots\\ x^{n - 1} & \vdots & \ddots & 1 & x\\ x^n & x^{n - 1} & \cdots & x & 1 \end{array}\right| $$ as a polynomial of $x$.

I tried to find a recurrence relation of $\{f_n\}_{n \geqslant 1}$ using Laplace expansion, but there seems to be no patterns in the minors in the expansion. Is there a somewhat simple recurrence relation of $\{f_n\}_{n \geqslant 1}$ or these determinants can be computed with other methods?

Answer 1

Subtract $x$ times row $2$ from row $1$, then $x$ times row $3$ from row $2$ etc. I get a lower triangular matrix with $n$ instances of $1-x^2$ on the diagonal and one $1$.

Answer 2

The answer is: $f_n(x)=(1-x^2)^n$.

You can prove that this is true by induction. If you subtract from the first row the second row times $x$, all the entries of the first line after the first one become $0$ (and the first one is $1-x^2$). Therefore, $f_n(x)=(1-x^2)f_{n-1}(x)$. Since $f_1(x)=1-x^2$, you're done.

Answer 3

Let matrix-valued function $\mathrm M_1 : \mathbb R \to \mathbb R^{2 \times 2}$ be defined as follows

$$\mathrm M_1 (x) := \begin{bmatrix} 1 & x\\ x & 1\end{bmatrix}$$

and let matrix-valued function $\mathrm M_n : \mathbb R \to \mathbb R^{(n+1) \times (n+1)}$ be defined by

$$\mathrm M_n (x) := \begin{bmatrix} \mathrm M_{n-1} (x) & \mathrm v_{n} (x)\\ \mathrm v_{n}^\top (x) & 1\end{bmatrix}$$

where $\mathrm v_{n}^\top (x) := \begin{bmatrix} x^n & \cdots & x^2 & x\end{bmatrix}$. Let function $f_n : \mathbb R \to \mathbb R$ be defined by

$$f_n (x) := \det \mathrm M_n (x) = \det \begin{bmatrix} \mathrm M_{n-1} (x) & \mathrm v_{n} (x)\\ \mathrm v_{n}^\top (x) & 1\end{bmatrix} = \det \left( \mathrm M_{n-1} (x) - \mathrm v_{n} (x) \, \mathrm v_{n}^\top (x) \right)$$

Using the matrix determinant lemma,

$$f_n (x) = \underbrace{\det \left( \mathrm M_{n-1} (x) \right)}_{= f_{n-1} (x)} \cdot \left( 1 - \mathrm v_{n}^\top (x) \, \mathrm M_{n-1}^{-1} (x) \, \mathrm v_{n} (x) \right)$$

Let $\mathrm y (x) := \mathrm M_{n-1}^{-1} (x) \, \mathrm v_{n} (x)$ be the solution of the linear system $\mathrm M_{n-1} (x) \,\mathrm y (x) = \mathrm v_{n} (x)$. Since $\mathrm v_{n} (x)$ is equal to the $n$-th column of $\mathrm M_{n-1} (x)$ multiplied by $x$, the solution is $\mathrm y (x) = x \, \mathrm e_n$. Thus,

$$f_n (x) = f_{n-1} (x) \cdot \left( 1 - \mathrm v_{n}^\top (x) \, \mathrm y (x) \right) = f_{n-1} (x) \cdot \left( 1 - x^2 \right)$$

Since $f_1 (x) = 1 - x^2$, we obtain $\color{blue}{f_n (x) = (1-x^2)^n}$, as found by José Carlos Santos via other means.

Answer 4

This is simply an illustration of José Carlos Santos' answer.

---

Subtracting $x$ times the second column from the first gives $$ \begin{align} f_n(x) &=\det\begin{bmatrix} 1&x&x^2&x^3&\cdots&x^n\\ x&1&x&x^2&\cdots&x^{n-1}\\ x^2&x&1&x&\cdots&x^{n-2}\\ x^3&x^2&x&1&\cdots&x^{n-3}\\ \vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ x^n&x^{n-1}&x^{n-2}&x^{n-3}&\cdots&1 \end{bmatrix}\\ &=\det\begin{bmatrix} \color{#C00}{1-x^2}&x&x^2&x^3&\cdots&x^n\\ 0&\color{#090}{1}&\color{#090}{x}&\color{#090}{x^2}&\color{#090}{\cdots}&\color{#090}{x^{n-1}}\\ 0&\color{#090}{x}&\color{#090}{1}&\color{#090}{x}&\color{#090}{\cdots}&\color{#090}{x^{n-2}}\\ 0&\color{#090}{x^2}&\color{#090}{x}&\color{#090}{1}&\color{#090}{\cdots}&\color{#090}{x^{n-3}}\\ \vdots&\color{#090}{\vdots}&\color{#090}{\vdots}&\color{#090}{\vdots}&\color{#090}{\ddots}&\color{#090}{\vdots}\\ 0&\color{#090}{x^{n-1}}&\color{#090}{x^{n-2}}&\color{#090}{x^{n-3}}&\color{#090}{\cdots}&\color{#090}{1} \end{bmatrix}\\[6pt] &=\color{#C00}{\left(1-x^2\right)}\color{#090}{f_{n-1}(x)} \end{align} $$ Since $f_0(x)=1$, we have that $$ f_n(x)=\left(1-x^2\right)^n $$