Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions about the determinant of square matrices or linear endomorphisms. Also for closely related topics such as minors or regularized determinants.

7
votes
1answer
204 views

Block matrices and their determinants

For $n\in\Bbb{N}$, define three matrices $A_n(x,y), B_n$ and $M_n$ as follows: (a) the $n\times n$ tridiagonal matrix $A_n(x,y)$ with main diagonal all $y$'s, superdiagonal all $x$'s and subdiagonal ...
1
vote
0answers
116 views

Evaluate a curious determinant with Legendre symbol entries

Let $p$ be an odd prime and let $(\frac{\cdot}p)$ be the Legendre symbol. R. Chapman's conjecture on the exact value of the determinant of $$C_p:=\left[\left(\frac{i-j}p\right)\right]_{0\le i,j\le (p-...
7
votes
1answer
349 views

A new determinant question for primes $p\equiv3\pmod4$

Let $p$ be an odd prime, and let $(\frac{\cdot}p)$ denote the Legendre symbol. Motivated by my question http://mathoverflow.net/questions/310301, here I introduce the matrices $A^+_p$ and $A^-_p$ ...
10
votes
0answers
223 views

A determinant problem for primes $p\equiv 1\pmod4$

Let $p$ be an odd prime, and let $A_p$ denote the matrix $$[a_{ij}]_{1\le i,j\le (p-1)/2},$$ where $$a_{1j}=\left(\frac jp\right),\ \ \text{and}\ \ a_{ij}=\left(\frac{i^2+j^2}p\right)\ \text{for}\ i&...
13
votes
3answers
597 views

Is $-\det\big[\big(\frac{i^2+j^2}p\big)\big]_{1\le i,j\le (p-1)/2}$ always a square for each prime $p\equiv 3\pmod 4$?

Let $p$ be an odd prime and let $S_p$ denote the determinant $$\det\left[\left(\frac{i^2+j^2}p\right)\right]_{1\le i,j\le (p-1)/2}$$ with $(\frac{\cdot}p)$ the Legendre symbol. By Theorem 1.2 of my ...
5
votes
0answers
147 views

Determinant arising in a problem from probability

Consider the determinant: $$\Delta:= \left|\begin{array}{cccc} A_{j_1} & A_{k_1} & A_{j_1}A_{k_1} & 1 \\ A_{j_2} & A_{k_2} & A_{j_2}A_{k_2} & 1 \\ A_{j_3 } & A_{k_3 } &...
1
vote
0answers
52 views

Determinant and restriction of scalar

Let $E/F$ be a finite separable extension of fields, and $V$ a finite dimensional vector space over $E$. Let $T\in\operatorname{End}_EV$ be a linear operator on $V$, and let $\det(T)$ be its ...
16
votes
1answer
519 views

Lang's Jacobian identity: slicker, elementary proof?

In Jeffrey Lang, A Jacobian identity in positive characteristic, J. Commut. Algebra, Volume 7, Number 3 (2015), pp. 393--409, the following result is proven: Theorem 1. Let $p$ be a prime. Let $\...
3
votes
0answers
276 views

Evaluating a HUGE determinant

Fix a $k\times k$ positive definite symmetric real matrix $Y=(Y_{pq})$. Denote by $I_p$ the $p\times p$ identity matrix, $0_{p\times q}$ the $p\times q$ zero matrix, and $\delta_{pq}$ the Kronecker ...
4
votes
0answers
100 views

Generalization of a determinant with Lucas numbers and totient functions

Let $\gcd(a,b)$ denote the greatest common divisor function. H. J. S. Smith proved that $$\det\left[\gcd(i,j)\right]_{i,j=1}^n=\prod_{k=1}^n\varphi(k),$$ where $\varphi(k)$ denotes Euler's totient ...
16
votes
2answers
368 views

Eigenvalues and eigenvectors of the matrix with entries $\dbinom{n+1}{2j-i}$ for $i, j = 1, 2, \ldots, n$

Let $n$ be a nonnegative integer, and let $B$ be the $n \times n$-matrix (over the rational numbers) whose $\left(i, j\right)$-th entry is $\dbinom{n+1}{2j-i}$ for all $i, j \in \left\{ 1, 2, \ldots, ...
4
votes
1answer
131 views

Is there a fast algorithm to test positivity of all principal minors of non-symmetric matrix?

I have a matrix $A \in \mathbb{R}^{n \times n}$ with positive eigenvalues. In the symmetric case, Sylvester's criterion implies that all the principal minors are positive. In the non-symmetric case, ...
10
votes
0answers
401 views

multi-dimensional integral of modified Vandermonde determinant

I'm looking for suggestions on how one might try to compute the following $(N-1)$-dimensional integral: $$I_N= \frac{1}{(2\pi)^{N-1}(N-1)!} \int\cdots\int \\ \begin{vmatrix} 1 ...
2
votes
0answers
113 views

lower bounding the absolute value of a determinant

In a problem that I'm working on currently, the following question came up and I feel this should be fairly elementary, but I couldn't prove it myself/couldn't find a reference. Any pointers or ...
9
votes
2answers
356 views

Prove that the matrix $[\Gamma(\lambda_{i}+\mu_{j})]$ is nonsingular

Let A is a $n\times n$ matrix given by \begin{align*} a_{ij} = [\Gamma(\lambda_{i}+\mu_{j})] \end{align*} where $0 < \lambda_{1} < \ldots < \lambda_{n}$ and $0 < \mu_{1} < \ldots < \...
1
vote
0answers
77 views

Decomposition of Determinant of Sub-Matrices of a Matrix

Consider an $n \times n$ matrix $\bf A$ over a field. Let $\bf A$ is constructed by the product of $n \times n$ matrices $B_i$, for $1\leq i \leq m$ which means $$ {\bf A}=\prod_{i=1}^m\, {\bf B}_i\, ...
8
votes
0answers
351 views

Determinant as a Hamiltonian

Are there two symplectic structures $\omega_1, \omega_2$ on $M_{2n}(\mathbb{R})$ such that the function $Det:M_{2n}(\mathbb{R})\to \mathbb{R}$ is completely integrable with respect to $\omega_{1}$...
17
votes
2answers
1k views

How to prove positivity of determinant for these matrices?

Let $g(x) = e^x + e^{-x}$. For $x_1 < x_2 < \dots < x_n$ and $b_1 < b_2 < \dots < b_n$, I'd like to show that the determinant of the following matrix is positive, regardless of $n$: ...
2
votes
0answers
41 views

Quasi-symmetric functions and determinants

In the field of symmetric functions, determinants show up all the time. For example, Jacobi-Trudi, Giambelli identity, definition of Schur polynomials as a quotient of determinants, and so on. This ...
4
votes
1answer
166 views

Is the map $A \to \bigwedge^{k}A $ from matrices above rank $k$ proper?

$\newcommand{\End}{\operatorname{End}}$ Let $V$ be a $d$-dimensional real vector space. ($d \ge 3$). Fix an odd $2 \le k \le d-1$. Define $H_{>k}=\{ A \in \End(V) \mid \operatorname{rank}(A) > ...
13
votes
2answers
296 views

Does $n^2$ divide $\det\left[\left(\frac{i^2+2ij+3j^2}n\right)\right]_{1\le i,j\le n-1}$ for each odd integer $n>3$?

For any odd integer $n>1$ and integers $c$ and $d$, define $$(c,d)_n:=\det\left[\left(\frac{i^2+cij+dj^2}n\right)\right]_{1\le i,j\le n-1},$$ where $(\frac{\cdot}n)$ is the Jacobi symbol. It is ...
5
votes
1answer
130 views

If $A \in \text{End}(\bigwedge^k \mathbb{R}^d)$ equals $\bigwedge^k B$ for some complex matrix $B$, does it have a real source?

Let $1<k<d$ be an integer. Let $A \in \text{End}(\bigwedge^k \mathbb{R}^d)$, and suppose that $A=\bigwedge^k B$ for some complex $B \in \text{End}(\mathbb{C}^d)$. Does there exist $M \in \...
8
votes
2answers
310 views

Does $\det\left[\left(\frac{i^2-\frac{p-1}2!\,j}p\right)\right]_{1\le i,j\le(p-1)/2}$ vanish for every prime $p\equiv3\pmod 4$?

For any odd prime $p$, let $D_p$ denote the determinant $$\det\left[\left(\frac{i^2-\frac{p-1}2!\times j}p\right)\right]_{1\le i,j\le (p-1)/2},$$ where $(\frac{\cdot}p)$ is the Legendre symbol. Then \...
7
votes
2answers
407 views

Does $(2n)!$ divide $\det[(i^2+j^2)^n]_{0\le i,j\le n-1}$ for each integer $n>2$?

For $n=1,2,3,\ldots$ let $a_n$ denote the determinant $\det[(i^2+j^2)^n]_{0\le i,j\le n-1}$. Then $$a_1=0,\ a_2=-1,\ a_3=-17280,\ a_4= 1168415539200.$$ QUESTION: Is it true that $(2n)!\mid a_n$ for ...
4
votes
0answers
159 views

Does $n^2$ divide $\det[(i+j)^n]_{0\le i,j\le n-1}$ for each integer $n>2$?

For $n=1,2,3,\ldots$ let $a(n)$ denote the determinant $\det[(i+j)^n]_{0\le i,j\le n-1}$. QUESTION: Is it true that $n^2\mid a(n)$ for all $n=3,4,\ldots$? I even conjecture that $$b(n)=\frac{(-1)^{...
4
votes
1answer
162 views

Are the determinants $\det[\mu(i+j-1)]_{1\le i,j\le n}$ and $\det[\mu(i+j)^2]_{1\le i,j\le n}$ always nonzero?

Let $\mu$ be the well-known Mobius function. QUESTION: Are the Hankel-type determinants $$\det[\mu(i+j-1)]_{1\le i,j\le n}\ \ \text{and}\ \ \det[\mu(i+j)^2]_{1\le i,j\le n}$$ always nonzero? It ...
12
votes
1answer
352 views

Is the image of the map $A \to \bigwedge^k A$ closed over $\mathbb{R}$?

Let $V$ a real vector space of dimension $d$. Let $1<k < d-1$. Consider the map induced by the exterior algebra functor: $$ \psi:\text{End}(V) \to \text{End}(\bigwedge^kV) \, \, \, \, , \, \, ...
8
votes
0answers
134 views

Nonzero subdeterminants conjecture: has anybody seen this anywhere?

I already posted this question on Mathematics StackExchange. A user there suggested that I rather post it on mathoverflow, since it is a research question. So here it is. Let $m\geq2$, $n\geq1$ be ...
6
votes
2answers
290 views

Probability of a large random integer Matrix to have zero determinant

Suppose we have a matrix $A \in \{0,1\}^{n \times n}$ where $$A_{ij} = \begin{cases} 1 & \text{with probability} \quad p\\ 0 &\text{with probability} \quad 1-p\end{cases}$$ I would like to ...
3
votes
1answer
109 views

Distribution of eigenvalues of a Wishart matrix

Is there a known expression for the eigenvalue distribution of a matrix of the form $$\sum\limits_{i=1}^n k_ia_ia_i^T$$ where $a_i \in \mathcal{R}^m$, with $n > m$, $a_i \sim \mathcal{N}(0,\Sigma)...
9
votes
2answers
455 views

Parallelepiped is defined by the volumes of its faces

Let $v_1,...,v_n\in \mathbb{R}^n$ be linearly independent. The parallelepiped defined by these vectors is $P(v_1,...,v_n)=\{\sum_{i=1}^{n}\alpha_i v_i|~0\le\alpha_i\le 1\}$. Observe that while the ...
0
votes
1answer
142 views

Prove a special form of Schur polynomial identity [closed]

Let $A_k$ be the $n\times n$ matrix defined by $$ A_k=\left[ \begin{array}{} 1 & x_1 & x_1^2 & \cdots & x_1^{n-2} & x_1^k \\ 1 & x_2 & x_2^2 & \cdots & x_2^{n-...
12
votes
1answer
257 views

Some more binomial coefficient determinants

The setup is similar to this question, but generalizes the size of the Hankel matrix. We'll define $$d(n,k,r):=\det\left(\binom{2i+2j+k+r}{i+j}\right)_{i,j=0}^{kn-1}.$$ Edit: Thanks to Johann ...
13
votes
1answer
400 views

A difficult determinant

(EDIT: I have removed the denominators I had in a previous version as they were superfluous) The $N\times N$ determinant $$D(a,\vec{b})=\det\left((2N+a+b_j-i-j)!\right)$$ has the nice form $$D(a,\...
16
votes
5answers
1k views

Expected value of determinant of simple infinite random matrix

Suppose we have a matrix $A \in \mathbb{R}^{n\times n}$ where $$A_{ij} = \begin{cases} 1 & \text{with probability} \quad p\\ 0 &\text{with probability} \quad1-p\end{cases}$$ I would like to ...
1
vote
0answers
81 views

Traces in associative algebras

Are there some books or papers about the general definition of traces: If $\mathscr{A}$ is an associative algebra over $K$ then the space of traces is the set of all linear functionals $\tau:\mathscr{...
26
votes
2answers
1k views

Some binomial coefficient determinants

It is well known that for $n>0$ $$d(n)=\det\left(\binom{2i+2j+1}{i+j}\right)_{i,j=0}^{n-1}=1.$$ Computer experiments suggest that more generally $$d(n,k)=\det\left(\binom{2i+2j+2k+1}{i+j}\right)_{i,...
5
votes
3answers
142 views

How many $40$-vertex cubic bipartite graphs have determinant $\pm 3$?

To get some feel for the size of a particular computation, I would like to know the approximate number of (pairwise-nonisomorphic) cubic bipartite graphs on $40$ vertices whose bipartite adjacency ...
8
votes
2answers
610 views

Does there exist a nonsingular graph for which the determinant of its adjacency matrix remains the same upon deleting a vertex?

Consider simple graphs. Any simple graph $G$ is called nonsingular if its $(0,1)$-adjacency matrix $A(G)$ has nonzero determinant. Does there exist any nonsingular simple graph whose determinant value ...
2
votes
0answers
49 views

evolution of Grassmannians along geodesic line

Let $p_0$, $p_1$ be two $n \times 2$ orthonormal matrices that represent two points on the real $Gr_{2,n}$, i.e. two 2-d subspaces in $\mathbb{R}^n$. Let $p(t): [0,1] \rightarrow Gr_{2,n}$ be a ...
3
votes
0answers
48 views

Fast Comparing of the Volume of Simplices Defined by Sidelengths

I have a problem, that requires sorting a set of simplices, that are defined via their sidelengths, according to volume; the value of the individual volumes isn't relevant in my problem. Question:...
0
votes
1answer
66 views

$A_{n \times m} D_{m \times m} A^T_{m \times n} + \alpha I_{n \times n}$

Assume that we have a matrix product of form $B=A_{n \times m} D_{m \times m} A^T_{m \times n} + \alpha I_{n \times n}$. $D$ is a positive diagonal matrix, $I$ is identity matrix, $\alpha>0$ and $m ...
2
votes
1answer
75 views

Equality or inequality for determinant of $A_{n \times m} D_{m \times m} A^T_{m \times n}$

Assume that we have a matrix product of form $B=A_{n \times m} D_{m \times m} A^T_{m \times n}$. $D$ is a positive diagonal matrix and $m > n$. Is there any equality or inequality over $|B|$, $|AA^...
11
votes
1answer
549 views

Determinant of identity matrix plus Hilbert matrix

I am looking for the determinant $$ \det(I_n + H_n) $$ where $I_n$ is the $n \times n$ identity matrix and $H_n$ is the $n \times n$ Hilbert matrix, whose entries are given by $$ [H_n]_{ij} = \frac{...
1
vote
0answers
81 views

Has this logarithmic volume functional been studied?

$\newcommand{\M}{\mathcal{M}} \newcommand{\N}{\mathcal{N}} \newcommand{\VolM}{\text{Vol}_{\M}} \newcommand{\VolN}{\text{Vol}_{\N}}$ This question is mainly a reference request. (It is a cross-post ...
3
votes
2answers
291 views

Determinant of Jacobian and directional derivatives

I have a function $f: \Re^2 \to \Re^2$ and would like to understand why $$|Jf(x)|=\max_\theta|D_\theta f(x)|\cdot\min_\theta|D_\theta f(x)|$$ that is, why the determinant of the Jacobian of $f$ at $...
6
votes
0answers
361 views

Strange determinant inequality $\det(C+ xA) \det(C-xA) \le (\det C)^2$

Let $A$ be an all-one $3$-by-$3$ matrix, let $C$ be a $3$-by-$3$ matrix, and let $x$ be a real number. How might one prove the following inequality? $$\det(C+ xA) \det(C-xA) \le (\det C)^2$$
3
votes
0answers
94 views

Determinant of structurally symmetric $n$-banded matrix?

Is there a formula to compute the determinant of a structurally symmetric $n$-banded matrix? I am specifically interested in the 5-banded matrix: $$ \left[\begin{matrix} c_{0} & s_{0} & 0 &...
1
vote
0answers
40 views

Relation between the sum of principal minors of different orders

Let $A$ be a symmetric (0,1)-square matrix of order $n$ having the diagonal entries zero. Let $m$ be the nullity of $A$ (number of zero eigenvalues), denoted by $\eta(A)$. Let $A_1$ be the square ...
5
votes
1answer
251 views

A curious determinant of quadratic forms

In a work about the Wave Equation, I encountered the following symmetric matrix of size $1+n$, whose entries are quadratic forms. The arguments are a scalar $a$ and a vector $X\in k^n$. $$S(a,X)=\...