Evaluate a determinant of square matrix of complex binomial values

Algebra Level 4

d = { x C , n N + } ( ( j + x i 1 ) { i i N + , i n } { j j N + , j n } ) d=\{x\in\mathbb{C},n\in \mathbb{N}_+\}\rightarrow\left|\left(\left( \begin{array}{c} j+x \\ i-1 \\ \end{array} \right)_{\begin{array}{c}\{i|\forall i\in \mathbb{N}_+,i\leq n\}\\ \{j|\forall j\in \mathbb{N}_+,j\leq n\} \\ \end{array}}\right)\right|

An approximation of the above in English, d d is a function mapping an ordered tuple of a complex value x x and a positive integer n n to the determinant of the square matrix of size n × n n\times n of binomial values ( j + x i 1 ) \left(\begin{array}{c} j+x \\ i-1 \\ \end{array}\right) .

Evaluate d ( π + e i , 31 ) d(\pi +\mathbb{e}\ \mathbb{i},31)

Note: A specification was missing from the original statement of this problem. As originally stated, there was nothing in the problem specification about the i i and j j value sequences. The missing specification is that the j j sequence has to be a even parity permutation of the i i sequence.


The answer is 1.0.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Mark Hennings
Feb 16, 2020

This can be proved a little more simply than is done in the linked paper. If A ( n , x ) A(n,x) is the n × n n \times n matrix with components A ( n , x ) i , j = ( j + x i 1 ) 1 i , j n A(n,x)_{i,j} \; = \; \binom{j+x}{i-1} \hspace{2cm} 1 \le i,j \le n Then it is clear that A ( n , x ) 1 , j = 1 A(n,x)_{1,j} = 1 for all 1 j n 1 \le j \le n . If we apply the following elementary column operations to A ( n , x ) A(n,x) in turn:

  • Subtract column n 1 n-1 from column n n ,
  • Subtract column n 2 n-2 from column n 1 n-1 ,
  • Subtract column n 3 n-3 from column n 2 n-2 ,
  • ....
  • Subtract column 1 1 from column 2 2

then A ( n , x ) A(n,x) is transformed into a matrix B ( n , x ) B(n,x) of the form B ( n , x ) = ( 1 0 0 0 0 A ( n , x ) 2 , 1 A ( n , x ) 3 , 1 C ( n , x ) A ( n , x ) n 1 , 1 A ( n , x ) n , 1 ) B(n,x) \; = \; \left(\begin{array}{cccccc} 1 & 0 & 0 & \cdots & 0 & 0 \\ A(n,x)_{2,1} & & & & & \\ A(n,x)_{3,1} & & & & & \\ \vdots & & & C(n,x) & & \\ A(n,x)_{n-1,1} & & & & \\ A(n,x)_{n,1} & & & & \end{array}\right) so that d ( x , n ) = d e t A ( n , x ) = d e t C ( n , x ) d(x,n) \; = \; \mathrm{det}\,A(n,x) \; = \; \mathrm{det}\,C(n,x) , where C ( n , x ) C(n,x) is an ( n 1 ) × ( n 1 ) (n-1) \times (n-1) matrix with coefficients C ( n , x ) i , j = A ( n , x ) i + 1 , j + 1 A ( n , x ) i + 1 , j = ( j + x + 1 i ) ( j + x i ) = ( j + x i 1 ) 1 i , j n 1 C(n,x)_{i,j} \; = \; A(n,x)_{i+1,j+1} - A(n,x)_{i+1,j} \; = \; \binom{j+x+1}{i} - \binom{j+x}{i} \; = \; \binom{j+x}{i-1} \hspace{2cm} 1 \le i,j \le n-1 so that C ( n , x ) = A ( n 1 , x ) C(n,x) \; = \; A(n-1,x) . Hence we deduce that d e t A ( n , x ) = d e t A ( n 1 , x ) \mathrm{det}\,A(n,x) = \mathrm{det}\,A(n-1,x) for any integer n 2 n \ge 2 , which implies that d e t A ( n , x ) = d e t A ( 1 , x ) = 1 \mathrm{det}\,A(n,x) = \mathrm{det}\,A(1,x) = 1 for all n N n \in \mathbb{N} .

The actual matrix of the question asks for one where either the rows and columns are both even permutations of the rows and columns of A ( n , x ) A(n,x) , or else they are both odd permutations. In either case the determinant of the matrix does not change under these permutations.

Thus we have shown that d ( x , n ) = 1 d(x,n) = \boxed{1} for all x C x \in \mathbb{C} and all n N n\in \mathbb{N} .

A specification was missed. But a row and column shuffling argument which does not change the determinant can address that issue.

A Former Brilliant Member - 1 year, 3 months ago

Log in to reply

What specification was missed? My argument is not a “shuffling” argument, but one which uses the fact that the determinant is an antisymmetric multilinear function of the columns of the matrix...

Mark Hennings - 1 year, 3 months ago

Log in to reply

The amendment to the problem statement was lost. I replaced that material. Your comment: "antisymmetric multilinear function of the columns [and rows] of the matrix" is exactly the point of the missing specification.

A Former Brilliant Member - 1 year, 3 months ago

E.g., in both cases, the i i sequence is { 3 , 1 , 2 , 4 } \{3,1,2,4\} .

The j j sequence is { 3 , 1 , 2 , 4 } \{3,1,2,4\} .

( 1 2 ( x + 2 ) ( x + 3 ) 1 2 x ( x + 1 ) 1 2 ( x + 1 ) ( x + 2 ) 1 2 ( x + 3 ) ( x + 4 ) 1 1 1 1 x + 3 x + 1 x + 2 x + 4 1 6 ( x + 1 ) ( x + 2 ) ( x + 3 ) 1 6 x ( x 2 1 ) 1 6 x ( x + 1 ) ( x + 2 ) 1 6 ( x + 2 ) ( x + 3 ) ( x + 4 ) ) = 1 \left| \left( \begin{array}{cccc} \frac{1}{2} (x+2) (x+3) & \frac{1}{2} x (x+1) & \frac{1}{2} (x+1) (x+2) & \frac{1}{2} (x+3) (x+4) \\ 1 & 1 & 1 & 1 \\ x+3 & x+1 & x+2 & x+4 \\ \frac{1}{6} (x+1) (x+2) (x+3) & \frac{1}{6} x \left(x^2-1\right) & \frac{1}{6} x (x+1) (x+2) & \frac{1}{6} (x+2) (x+3) (x+4) \\ \end{array} \right)\right|=1

The j j sequence is { 2 , 4 , 1 , 3 } \{2,4,1,3\} .

( 1 2 ( x + 1 ) ( x + 2 ) 1 2 ( x + 3 ) ( x + 4 ) 1 2 x ( x + 1 ) 1 2 ( x + 2 ) ( x + 3 ) 1 1 1 1 x + 2 x + 4 x + 1 x + 3 1 6 x ( x + 1 ) ( x + 2 ) 1 6 ( x + 2 ) ( x + 3 ) ( x + 4 ) 1 6 ( x 1 ) x ( x + 1 ) 1 6 ( x + 1 ) ( x + 2 ) ( x + 3 ) ) = 1 \left| \left( \begin{array}{cccc} \frac{1}{2} (x+1) (x+2) & \frac{1}{2} (x+3) (x+4) & \frac{1}{2} x (x+1) & \frac{1}{2} (x+2) (x+3) \\ 1 & 1 & 1 & 1 \\ x+2 & x+4 & x+1 & x+3 \\ \frac{1}{6} x (x+1) (x+2) & \frac{1}{6} (x+2) (x+3) (x+4) & \frac{1}{6} (x-1) x (x+1) & \frac{1}{6} (x+1) (x+2) (x+3) \\ \end{array} \right)\right|=-1

A Former Brilliant Member - 1 year, 3 months ago

The complex value x x has no effect on the result. d ( 0 , n ) { n n N + } = 1 d(0,n)\ \{\forall n|n\in \mathbb{N}_+\}=1 .

Please, see this document .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...