Skip to main content
`\eqref`, and `\cdots` and `\ddots` in matrices
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

"circulant "Circulant-Vandermonde" matrix: in search of a formula

An $n\times n$ circulant matrix $\mathbf{X}_n$ has the form

\begin{align} \mathbf{X}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2 & x_3 & \dots & x_n& x_1 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1} &x_n & \dots & x_{n-3} & x_{n-2} \\ x_n & x_1 & \dots & x_{n-2} & x_{n-1} \\ \end{bmatrix}. \end{align}\begin{align} \mathbf{X}_n= \begin{bmatrix} x_1 & x_2 & \cdots & x_{n-1} & x_n \\ x_2 & x_3 & \cdots & x_n& x_1 \\ \vdots & \vdots& \ddots & \vdots & \vdots \\ x_{n-1} &x_n & \cdots & x_{n-3} & x_{n-2} \\ x_n & x_1 & \cdots & x_{n-2} & x_{n-1} \\ \end{bmatrix}. \end{align} If $f(z)=x_1+x_2z+\cdots+x_{n-1}z^{n-2}+x_nz^{n-1}$$f(z)=x_1+x_2z+\dotsb+x_{n-1}z^{n-2}+x_nz^{n-1}$ and $\xi=e^{\frac{2\pi i}n}$ with $i=\sqrt{-1}$ then we've the determinant $$\det(\mathbf{X}_n)=\prod_{k=0}^{n-1}f(\xi^k).\tag1$$$$\det(\mathbf{X}_n)=\prod_{k=0}^{n-1}f(\xi^k).\tag1\label1$$ For example, $\det(\mathbf{X}_1)=x_1, \det(\mathbf{X}_2)=x_1^2-x_2^2, \det(\mathbf{X}_3)=x_1^3+ x_2^3 + x_3^3-3x_1x_2x_3$$\det(\mathbf{X}_1)=x_1$, $\det(\mathbf{X}_2)=x_1^2-x_2^2$, $\det(\mathbf{X}_3)=x_1^3+ x_2^3 + x_3^3-3x_1x_2x_3$ and \begin{align} \det(\mathbf{X}_4) &=x_1^4-x_2^4+x_3^4-x_4^4-4x_1^2x_2x_4+4x_1x_2^2x_3+4x_1x_3x_4^2- 4x_2x_3^2x_4 \\ &\,\,\, \qquad -2x_1^2x_3^2+2x_2^2x_4^2.\end{align} I like to change this a little bit to the matrix $\widetilde{\mathbf{X}}_n$ given by \begin{align} \widetilde{\mathbf{X}}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2^2 & x_3^2 & \dots & x_n^2& x_1^2 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1}^{n-1} &x_n^{n-1} & \dots & x_{n-3}^{n-1} & x_{n-2}^{n-1} \\ x_n^n & x_1^n & \dots & x_{n-2}^n & x_{n-1}^n \\ \end{bmatrix}. \end{align}\begin{align} \widetilde{\mathbf{X}}_n= \begin{bmatrix} x_1 & x_2 & \cdots & x_{n-1} & x_n \\ x_2^2 & x_3^2 & \cdots & x_n^2& x_1^2 \\ \vdots & \vdots& \ddots & \vdots & \vdots \\ x_{n-1}^{n-1} &x_n^{n-1} & \cdots & x_{n-3}^{n-1} & x_{n-2}^{n-1} \\ x_n^n & x_1^n & \cdots & x_{n-2}^n & x_{n-1}^n \\ \end{bmatrix}. \end{align} For example, $\det(\widetilde{\mathbf{X}}_1)=x_1, \det(\widetilde{\mathbf{X}}_2)=x_1^3-x_2^3$$\det(\widetilde{\mathbf{X}}_1)=x_1$, $\det(\widetilde{\mathbf{X}}_2)=x_1^3-x_2^3$ and $$\det(\widetilde{\mathbf{X}}_3)= x_1^6+x_2^6+x_3^6-x_1^3x_2x_3^2-x_1^2x_2^3x_3-x_1x_2^2x_3^3.$$ In view of these and more examples, there seem to be some structure, so I would like to ask:

QUESTION. Is there a formula for $\det(\widetilde{\mathbf{X}}_n)$ similar to that of (\eqref{1)}?

"circulant-Vandermonde" matrix: in search of a formula

An $n\times n$ circulant matrix $\mathbf{X}_n$ has the form

\begin{align} \mathbf{X}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2 & x_3 & \dots & x_n& x_1 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1} &x_n & \dots & x_{n-3} & x_{n-2} \\ x_n & x_1 & \dots & x_{n-2} & x_{n-1} \\ \end{bmatrix}. \end{align} If $f(z)=x_1+x_2z+\cdots+x_{n-1}z^{n-2}+x_nz^{n-1}$ and $\xi=e^{\frac{2\pi i}n}$ with $i=\sqrt{-1}$ then we've the determinant $$\det(\mathbf{X}_n)=\prod_{k=0}^{n-1}f(\xi^k).\tag1$$ For example, $\det(\mathbf{X}_1)=x_1, \det(\mathbf{X}_2)=x_1^2-x_2^2, \det(\mathbf{X}_3)=x_1^3+ x_2^3 + x_3^3-3x_1x_2x_3$ and \begin{align} \det(\mathbf{X}_4) &=x_1^4-x_2^4+x_3^4-x_4^4-4x_1^2x_2x_4+4x_1x_2^2x_3+4x_1x_3x_4^2- 4x_2x_3^2x_4 \\ &\,\,\, \qquad -2x_1^2x_3^2+2x_2^2x_4^2.\end{align} I like to change this a little bit to the matrix $\widetilde{\mathbf{X}}_n$ given by \begin{align} \widetilde{\mathbf{X}}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2^2 & x_3^2 & \dots & x_n^2& x_1^2 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1}^{n-1} &x_n^{n-1} & \dots & x_{n-3}^{n-1} & x_{n-2}^{n-1} \\ x_n^n & x_1^n & \dots & x_{n-2}^n & x_{n-1}^n \\ \end{bmatrix}. \end{align} For example, $\det(\widetilde{\mathbf{X}}_1)=x_1, \det(\widetilde{\mathbf{X}}_2)=x_1^3-x_2^3$ and $$\det(\widetilde{\mathbf{X}}_3)= x_1^6+x_2^6+x_3^6-x_1^3x_2x_3^2-x_1^2x_2^3x_3-x_1x_2^2x_3^3.$$ In view of these and more examples, there seem to be some structure, so I would like to ask:

QUESTION. Is there a formula for $\det(\widetilde{\mathbf{X}}_n)$ similar to that of (1)?

"Circulant-Vandermonde" matrix: in search of a formula

An $n\times n$ circulant matrix $\mathbf{X}_n$ has the form

\begin{align} \mathbf{X}_n= \begin{bmatrix} x_1 & x_2 & \cdots & x_{n-1} & x_n \\ x_2 & x_3 & \cdots & x_n& x_1 \\ \vdots & \vdots& \ddots & \vdots & \vdots \\ x_{n-1} &x_n & \cdots & x_{n-3} & x_{n-2} \\ x_n & x_1 & \cdots & x_{n-2} & x_{n-1} \\ \end{bmatrix}. \end{align} If $f(z)=x_1+x_2z+\dotsb+x_{n-1}z^{n-2}+x_nz^{n-1}$ and $\xi=e^{\frac{2\pi i}n}$ with $i=\sqrt{-1}$ then we've the determinant $$\det(\mathbf{X}_n)=\prod_{k=0}^{n-1}f(\xi^k).\tag1\label1$$ For example, $\det(\mathbf{X}_1)=x_1$, $\det(\mathbf{X}_2)=x_1^2-x_2^2$, $\det(\mathbf{X}_3)=x_1^3+ x_2^3 + x_3^3-3x_1x_2x_3$ and \begin{align} \det(\mathbf{X}_4) &=x_1^4-x_2^4+x_3^4-x_4^4-4x_1^2x_2x_4+4x_1x_2^2x_3+4x_1x_3x_4^2- 4x_2x_3^2x_4 \\ &\,\,\, \qquad -2x_1^2x_3^2+2x_2^2x_4^2.\end{align} I like to change this a little bit to the matrix $\widetilde{\mathbf{X}}_n$ given by \begin{align} \widetilde{\mathbf{X}}_n= \begin{bmatrix} x_1 & x_2 & \cdots & x_{n-1} & x_n \\ x_2^2 & x_3^2 & \cdots & x_n^2& x_1^2 \\ \vdots & \vdots& \ddots & \vdots & \vdots \\ x_{n-1}^{n-1} &x_n^{n-1} & \cdots & x_{n-3}^{n-1} & x_{n-2}^{n-1} \\ x_n^n & x_1^n & \cdots & x_{n-2}^n & x_{n-1}^n \\ \end{bmatrix}. \end{align} For example, $\det(\widetilde{\mathbf{X}}_1)=x_1$, $\det(\widetilde{\mathbf{X}}_2)=x_1^3-x_2^3$ and $$\det(\widetilde{\mathbf{X}}_3)= x_1^6+x_2^6+x_3^6-x_1^3x_2x_3^2-x_1^2x_2^3x_3-x_1x_2^2x_3^3.$$ In view of these and more examples, there seem to be some structure, so I would like to ask:

QUESTION. Is there a formula for $\det(\widetilde{\mathbf{X}}_n)$ similar to that of \eqref{1}?

edited title
Link
T. Amdeberhan
  • 43.1k
  • 5
  • 57
  • 217

"circulant-Vandermonde" matrix: Inin search of a formula

added 20 characters in body
Source Link
T. Amdeberhan
  • 43.1k
  • 5
  • 57
  • 217

An $n\times n$ circulant matrix $\mathbf{X}_n$ has the form

\begin{align} \mathbf{X}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2 & x_3 & \dots & x_n& x_1 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1} &x_n & \dots & x_{n-3} & x_{n-2} \\ x_n & x_1 & \dots & x_{n-2} & x_{n-1} \\ \end{bmatrix}. \end{align} If $f(z)=x_1+x_2z+\cdots+x_{n-1}z^{n-2}+x_nz^{n-1}$ and $\xi=e^{\frac{2\pi i}n}$ with $i=\sqrt{-1}$ then we've the determinant $$\det(\mathbf{X}_n)=\prod_{k=0}^{n-1}f(\xi^k).\tag1$$ For example, $\det(\mathbf{X}_1)=x_1, \det(\mathbf{X}_2)=x_1^2-x_2^2, \det(\mathbf{X}_3)=x_1^3+ x_2^3 + x_3^3-3x_1x_2x_3$ and \begin{align} \det(\mathbf{X}_4) &=x_1^4-x_2^4+x_3^4-x_4^4-4x_1^2x_2x_4+4x_1x_2^2x_3+4x_1x_3x_4^2- 4x_2x_3^2x_4 \\ &\,\,\, \qquad -2x_1^2x_3^2+2x_2^2x_4^2.\end{align} I like to change this a little bit to the matrix $\widetilde{\mathbf{X}}_n$ given by \begin{align} \widetilde{\mathbf{X}}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2^2 & x_3^2 & \dots & x_n^2& x_1^2 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1}^{n-1} &x_n^{n-1} & \dots & x_{n-3}^{n-1} & x_{n-2}^{n-1} \\ x_n^n & x_1^n & \dots & x_{n-2}^n & x_{n-1}^n \\ \end{bmatrix}. \end{align} For example, $\det(\widetilde{\mathbf{X}}_1)=x_1, \det(\widetilde{\mathbf{X}}_2)=x_1^3-x_2^3$ and $$\det(\widetilde{\mathbf{X}}_3)= x_1^6+x_2^6+x_3^6-x_1^3x_2x_3^2-x_1^2x_2^3x_3-x_1x_2^2x_3^3.$$ In view of these examples and more experimentationexamples, there seem to be some structure, so I would like to ask:

QUESTION. Is there a formula for $\det(\widetilde{\mathbf{X}}_n)$ similar to that of (1)?

An $n\times n$ circulant matrix $\mathbf{X}_n$ has the form

\begin{align} \mathbf{X}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2 & x_3 & \dots & x_n& x_1 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1} &x_n & \dots & x_{n-3} & x_{n-2} \\ x_n & x_1 & \dots & x_{n-2} & x_{n-1} \\ \end{bmatrix}. \end{align} If $f(z)=x_1+x_2z+\cdots+x_{n-1}z^{n-2}+x_nz^{n-1}$ and $\xi=e^{\frac{2\pi i}n}$ with $i=\sqrt{-1}$ then we've the determinant $$\det(\mathbf{X}_n)=\prod_{k=0}^{n-1}f(\xi^k).\tag1$$ For example, $\det(\mathbf{X}_1)=x_1, \det(\mathbf{X}_2)=x_1^2-x_2^2, \det(\mathbf{X}_3)=x_1^3+ x_2^3 + x_3^3-3x_1x_2x_3$ and \begin{align} \det(\mathbf{X}_4) &=x_1^4-x_2^4+x_3^4-x_4^4-4x_1^2x_2x_4+4x_1x_2^2x_3+4x_1x_3x_4^2- 4x_2x_3^2x_4 \\ &\,\,\, \qquad -2x_1^2x_3^2+2x_2^2x_4^2.\end{align} I like to change this a little bit to the matrix $\widetilde{\mathbf{X}}_n$ given by \begin{align} \widetilde{\mathbf{X}}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2^2 & x_3^2 & \dots & x_n^2& x_1^2 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1}^{n-1} &x_n^{n-1} & \dots & x_{n-3}^{n-1} & x_{n-2}^{n-1} \\ x_n^n & x_1^n & \dots & x_{n-2}^n & x_{n-1}^n \\ \end{bmatrix}. \end{align} For example, $\det(\widetilde{\mathbf{X}}_1)=x_1, \det(\widetilde{\mathbf{X}}_2)=x_1^3-x_2^3$ and $$\det(\widetilde{\mathbf{X}}_3)= x_1^6+x_2^6+x_3^6-x_1^3x_2x_3^2-x_1^2x_2^3x_3-x_1x_2^2x_3^3.$$ In view of these examples and more experimentation, I would like to ask:

QUESTION. Is there a formula for $\det(\widetilde{\mathbf{X}}_n)$ similar to that of (1)?

An $n\times n$ circulant matrix $\mathbf{X}_n$ has the form

\begin{align} \mathbf{X}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2 & x_3 & \dots & x_n& x_1 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1} &x_n & \dots & x_{n-3} & x_{n-2} \\ x_n & x_1 & \dots & x_{n-2} & x_{n-1} \\ \end{bmatrix}. \end{align} If $f(z)=x_1+x_2z+\cdots+x_{n-1}z^{n-2}+x_nz^{n-1}$ and $\xi=e^{\frac{2\pi i}n}$ with $i=\sqrt{-1}$ then we've the determinant $$\det(\mathbf{X}_n)=\prod_{k=0}^{n-1}f(\xi^k).\tag1$$ For example, $\det(\mathbf{X}_1)=x_1, \det(\mathbf{X}_2)=x_1^2-x_2^2, \det(\mathbf{X}_3)=x_1^3+ x_2^3 + x_3^3-3x_1x_2x_3$ and \begin{align} \det(\mathbf{X}_4) &=x_1^4-x_2^4+x_3^4-x_4^4-4x_1^2x_2x_4+4x_1x_2^2x_3+4x_1x_3x_4^2- 4x_2x_3^2x_4 \\ &\,\,\, \qquad -2x_1^2x_3^2+2x_2^2x_4^2.\end{align} I like to change this a little bit to the matrix $\widetilde{\mathbf{X}}_n$ given by \begin{align} \widetilde{\mathbf{X}}_n= \begin{bmatrix} x_1 & x_2 & \dots & x_{n-1} & x_n \\ x_2^2 & x_3^2 & \dots & x_n^2& x_1^2 \\ \vdots & \vdots& & \vdots & \vdots \\ x_{n-1}^{n-1} &x_n^{n-1} & \dots & x_{n-3}^{n-1} & x_{n-2}^{n-1} \\ x_n^n & x_1^n & \dots & x_{n-2}^n & x_{n-1}^n \\ \end{bmatrix}. \end{align} For example, $\det(\widetilde{\mathbf{X}}_1)=x_1, \det(\widetilde{\mathbf{X}}_2)=x_1^3-x_2^3$ and $$\det(\widetilde{\mathbf{X}}_3)= x_1^6+x_2^6+x_3^6-x_1^3x_2x_3^2-x_1^2x_2^3x_3-x_1x_2^2x_3^3.$$ In view of these and more examples, there seem to be some structure, so I would like to ask:

QUESTION. Is there a formula for $\det(\widetilde{\mathbf{X}}_n)$ similar to that of (1)?

edited title
Source Link
T. Amdeberhan
  • 43.1k
  • 5
  • 57
  • 217
Loading
Source Link
T. Amdeberhan
  • 43.1k
  • 5
  • 57
  • 217
Loading