Questions tagged [determinants]
Questions about the determinant of square matrices or linear endomorphisms. Also for closely related topics such as minors or regularized determinants.
500
questions
0
votes
1
answer
123
views
A variant of numeric Vandermonde which failed symbolically?
Given some variables $x_1, x_2, \dots, x_n$, the Vandermonde determinant is given by
$$V_n(x_1,\dots,x_n):=\det(x_j^{i-1})_{i,j=1}^n=\prod_{i<j}(x_j-x_i).$$
One can take as special cases: $x_j=j$ ...
- 30.6k
3
votes
0
answers
171
views
"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&...
- 11.4k
10
votes
1
answer
531
views
Identities involving derangements and roots of unity
For a positive integer $n$, a derangement of $\{1,\ldots,n\}$ is a permutation $\tau$ of $\{1,\ldots,n\}$ with $\tau(j)\not=j$ for all $j=1,\ldots,n$. For convenience, we let $D(n)$ denote the set of ...
- 4,618
5
votes
0
answers
419
views
Determinant of Hankel matrix with $a_n=(n!)^2$
Consider a Hankel matrix of the form
$H_n(a_0(n))=\begin{pmatrix}
a_0(n) & (1!)^2 & (2!)^2 & \cdots & (n!)^2\\
(1!)^2 & (2!)^2 & (3!)^2& \cdots & ((n+1)!)^2\\
(2!)^2 &...
- 11.9k
1
vote
1
answer
215
views
A determinant involving the cotangent function
Let $n>1$ be odd. In my 2019 preprint On some determinants involving the tangent function, I proved that
$$\det\left[\tan\pi\frac{aj+bk}n\right]_{1\le j,k\le n-1}=\left(\frac{-ab}n\right)n^{n-2}$$
...
- 5,632
6
votes
1
answer
374
views
Values of the determinants $\det[(j-k)^m+\delta_{jk}]_{1\le j,k\le n}\ (m=1,2,3,\ldots)$
For positive integers $m$ and $n$, let $D_m(n)$ denote the determinant $\det[(j-k)^m+\delta_{jk}]_{1\le j,k\le n}$, where the Kronecker delta $\delta_{jk}$ is $1$ or $0$ according as $j=k$ or not.
...
- 161
1
vote
0
answers
173
views
Some $p$-adic congruences involving permutations
Motivated by my study of determinants and permanents, here I present several conjectures on $p$-adic congruences involving permutations.
As usual, we let $S_n$ be the symmetric group consisting of all ...
- 14.5k
15
votes
2
answers
1k
views
Definitions of determinant by unique features
A well-known definition of the determinant is:
The determinant is the only function of a vector space of dimension $n$ to its underlying field which is multilinear, alternating and normalized.
See e....
- 19.5k
3
votes
2
answers
292
views
Vandermonde $V_n$ mod $n$
Consider the all-familiar Vandermonde determinant $V_n(x_1,\dots,x_n)$ of the matrix of $(i,j)$-entries $M_n(i,j)=x_j^{i-1}$ so that
$$V_n(x_1,\dots,x_n)=\prod_{1\leq i<j\leq n}(x_j-x_i).$$
Let's ...
- 6,571
2
votes
1
answer
489
views
Integer eigenvalues of a class of matrices inspired by Prof. Zhi-Wei Sun's conjecture
Theorem: Let $n>1$ be an odd number and $\zeta$ a primitive $n$-th root of unity. Then
\begin{eqnarray}
&&\sum_{\tau\in D(n-1)}\mathrm{sign}(\tau)\prod_{j=1}^{n-1}\frac{1}{1-\zeta^{j-\tau(j)...
0
votes
0
answers
86
views
Finding the matrix for a given determinant
In my previous question asking about the co-intersection of three circles, a degree six polynomial in twelve variables was found for a special case. This polynomial has precisely 720 terms, of which ...
- 371
6
votes
1
answer
507
views
A novel identity connecting permanents to Bernoulli numbers
For a matrix $[a_{j,k}]_{1\le j,k\le n}$ over a field, its permanent is defined by
$$\mathrm{per}[a_{j,k}]_{1\le j,k\le n}:=\sum_{\pi\in S_n}\prod_{j=1}^n a_{j,\pi(j)}.$$
In a recent preprint of mine, ...
CommunityBot
- 1
24
votes
2
answers
3k
views
A Putnam problem with a twist
This question is motivated by one of the problem set from this year's Putnam Examination. That is,
Problem. Let $S_1, S_2, \dots, S_{2^n-1}$ be the nonempty subsets of $\{1,2,\dots,n\}$ in some ...
- 11.4k
2
votes
0
answers
146
views
Applying 1D integral to matrix integral
In the proof for finding an analytic solution to the propagation of a Hermite-Gaussian beam though a paraxial system given in the paper "The elliptical Hermite–Gaussian beam and its propagation ...
- 73
0
votes
0
answers
96
views
Invertible matrices with bounded nonnegative coefficients
I am teaching a class in linear algebra and I asked myself the following question: what is the chance to get an invertible matrix if I write a random one? My impulsive answer is "very likely"...
CommunityBot
- 1
4
votes
0
answers
157
views
An identity for Schur polynomials
Given a partition $\lambda$, the Schur polynomials can be defined, among many other ways, as
$$S_{\lambda}(\xi_1,\dots,\xi_a)=\frac{\det\left(\xi_i^{\lambda_j+a-j}\right)_{i,j=1}^a}{\det\left(\xi_i^{a-...
- 41.8k
7
votes
2
answers
773
views
Determinant of matrix with Stirling numbers as elements
After noticing that the determinant of an $n \times n$ matrix $A_n$ with elements $a_{i,j}=i^j$, $1 \le i \le n$, $1 \le j \le n$, is the superfactorial (product of the first $n$ factorials), I wanted ...
- 6,571
2
votes
0
answers
184
views
$\det(I+A) \leq 1$ with equality if and only if $A$ is nilpotent
Suppose we are given the following:
An $n \times n$ matrix $A$ (with rational entries).
$\operatorname{trace}(A)=0$
$B=A+I$ where $I$ is the $n \times n$ identity matrix.
Question. What conditions ...
- 4,618
0
votes
0
answers
53
views
Determinant of barycenter of a hyperbolic-matrix
Let $A \in \operatorname{GL}(d, \mathbb{R})$ be a hyperbolic matrix. I want to show that $$\det((1-\alpha)A+\alpha\operatorname{Id})\geq 1,$$
where $0<\alpha<1$.
Attempt:
In $\operatorname{SL}(2,...
- 1,011
7
votes
1
answer
474
views
How can one define a kind of "determinant" on a reduced group $C^*$ algebra?
Let $A$ be a unital $C^*$-algebra which is equipped with a faithful trace $T$. In particular we may consider $A=C^*_{\text{red}} (G)$ for some discrete group $G$. We consider the following ...
- 4,618
17
votes
4
answers
2k
views
Possible values of the determinant for matrices with elements $\{1, 0, -1\}$
For matrices with elements $\{-1, 1\}$ it is known from here that the possible absolute values of determinants of $n \times n$, $n \leq 6$ matrices with entries $\{-1, 1\}$ are as follows:
...
- 1,944
5
votes
1
answer
340
views
Log determinant of quadratic form
I am reading a paper Cook and Forzani - Likelihood-Based Sufficient Dimension Reduction where the author uses the following result from matrix analysis but does not explain why it is true nor provide ...
- 1,498
1
vote
0
answers
101
views
Determinant Inequality with unitary matrix
I come up with the following conjecture while doing my research, which is a determinant inequality.
I have tried to run the MatLab simulation to verify its sanity. It seems that the inequality is true....
CommunityBot
- 1
6
votes
0
answers
215
views
Lindström-Gessel-Viennot from properties of the $Alt^k$ functor?
Let $A$ be the directed adjacency matrix of an acyclic directed graph, with variables as its nonzero entries (one for each edge). The $(a,b)$ entry of the matrix $(I-A)^{-1}$ is the sum over all paths ...
- 27.7k
19
votes
2
answers
561
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, ...
- 13.2k
5
votes
0
answers
342
views
Divisibility properties of minors of matrices
Let $A$ be an $m\times n$ matrix with integer entries. Let $d_i(A)$ be the greatest common divisor of all $i\times i$ minors of $A$, and define $d_0(A)=1$. Whenever $i\leq j$, one has that $d_i(A)$ ...
- 61
0
votes
0
answers
87
views
Number of roots of a Vandermonde like complex determinant
I am originally interested in the determinant
$$
\left|\begin{array}{cccc}\exp(i\lambda_1\cdot x_1) & \exp(i\lambda_2\cdot x_1) & ... & \exp(i\lambda_n\cdot x_1) \\\exp(i\lambda_1\cdot x_2)...
- 1,268
3
votes
0
answers
188
views
On a variation of the Vandermonde matrix
The ubiquitous Vandermonde matrix, of entries $(x_i^{j-1})_{i,j}^{1,n}$, and its determinant
$$\prod_{i<j}^{1,n}(x_j-x_i)$$
have found many utilities in Combinatorics and Physics, among other ...
- 41.8k
1
vote
0
answers
121
views
Determinants associated with Stern's diatomic sequence
Consider the so-called Stern's triangle (refer to these slides by R. Stanley), we denote here by $a_n(k)$. In an article Some linear recurrences motivated by Stern’s diatomic array, Stanley provided ...
- 41.8k
1
vote
0
answers
133
views
Hankel determinants of the sequence $(\binom{n}{m})_{n\ge0}$ and related sequences
I posted (https://math.stackexchange.com/questions/4363151/generating-functions-of-hankel-determinants-related-to-hoggatt-triangles) this question on Mathematics StackExchange but have not received a ...
- 5,572
3
votes
0
answers
248
views
Learning about determinantal varieties
In my research I recently stumbled upon a problem which involves trying to identify whether a given projective variety is determinantal or, even stronger, determinantal of a particular form. For ...
- 1,021
9
votes
2
answers
466
views
Minors of low rank skew-symmetric matrix
Let $A$ be an $n\times n$ skew-symmetric matrix of rank $r$.
Given subsets $X$ and $Y$ of row and column indices respectively, let $A_{X,Y}$ denote the submatrix of $A$ obtained by only keeping rows ...
- 33.2k
2
votes
2
answers
287
views
Determinants of minors occurring 'within' determinant of full matrix
$A= (a_{ij})$ is an $n\times n$ symmetric positive matrix. It induces a quadratic form $f(x):= x^tAx$ on $\mathbb{R}^n$. $D_m$ denotes the determinant of the top left $m\times m$ submatrix of $A$ (or ...
5
votes
1
answer
250
views
Hankel determinants for q-Catalan numbers where q is a root of unity?
Let ${C_n}(q)$ be the weight of the Dyck paths of semilength $n$ where the upsteps have weight $1$ and the downsteps which end on height $i$ have weight $q^i$.
They satisfy ${C_n}(q) = \sum\limits_{j ...
- 5,563
1
vote
0
answers
66
views
On perfect matchings on planar graphs - is there a linear time deterministic algorithm?
The slides here provide a way to get a pfaffian orientation from Minimum Spanning Tree.
MST can be found in linear time if graph is planar and weights are $1$ and the slides give a linear time ...
- 13.7k
0
votes
0
answers
205
views
Determinant of chain complexes
Let $\mathcal{C}$ be the category of bounded cochain complexes of $R$-modules for a commutative ring $R$. I am trying to prove the following formula involving determinant $\text{Det}(F)$ of a map of ...
CommunityBot
- 1
2
votes
1
answer
160
views
Monotonicity of the determinant of symmetric Toeplitz Matrices
For simplicity, i focus on a particular Toeplitz symmetric matrix, so let $A_{ij} = a^{|i-j|}$ for $i,j=1,\dots,n$ and $0<a<1$ be a Kac-Murdock-Szegő (KMS) matrix, e.g., for n=4
\begin{equation}
...
- 1,821
2
votes
0
answers
110
views
Can the absolute value of fixed sized minors be arbitrarily ordered?
In an $m \times n$ matrix $X$, there are exactly $\binom{m}{r}\binom{n}{r}$ minors of size $r \times r$. Is it always possible to construct a real matrix $X$ such that the absolute value of the ...
- 263
1
vote
0
answers
208
views
How to calculate Toeplitz-type determinant expansion?
We want to calculate next sum in different point in limit of large $N, N_f$.
Initial expression is expansion around $h=0$ by definition. And the answer is known . This is ($N_f/N= \kappa$)
$$
\lim_{N ...
1
vote
1
answer
247
views
Condition on the probabilities for the $J\times J$ matrix $[ \Pr(X=j \mid Y=k) ]$ to be invertible
$\DeclareMathOperator\Pr{P}\newcommand\cPr[2]{\Pr(#1 \mid #2)}$I have a $J \times J$ matrix:
$$
M:= \begin{bmatrix}
\cPr{X=1}{Y=1} & \cPr{X=2}{Y = 1} & \cdots & \cPr{X=J}{Y = 1} \\
\cPr{X=...
- 117k
3
votes
0
answers
209
views
Combinatorial interpretation of a determinant
This is a continuation of Worpitzky-like identities?.
Let $ r_k(x)=\prod_{j=1}^k {(\frac{x+j}{j}})^{\min(j,k-j)}.$
As Sam Hopkins has remarked $r_k(x)$ is the number of plane partitions in a $ \...
- 5,572
6
votes
0
answers
74
views
Rank of matrix coming from cobordism computations
In a computation of Pontryagin-numbers of certain manifolds (see the appendix of https://arxiv.org/pdf/2109.10306.pdf for more context) we came across the following elementary problem:
Consider the ...
- 6,766
23
votes
4
answers
3k
views
What are Picard categories, where can I learn more about them, and why should I care to?
I have the category-theoretic background of the occasional stroll through MacLane's text, so excuse my ignorance in this regard. I was trying to learn all that I could on the subject of tensor ...
- 11.4k
4
votes
2
answers
187
views
Computation of the pfaffian of a particular matrix
This question was originally asked in (https://math.stackexchange.com/questions/4265063/computation-of-the-pfaffian-of-a-particular-matrix). I did not find any satisfactory answer there. So I am ...
- 1,693
7
votes
1
answer
234
views
Reference for permanent integral identity
$\DeclareMathOperator\perm{perm}\DeclareMathOperator\diag{diag}$Using MacMahon's master theorem, the properties of complex gaussian integrals, and Cauchy's integral theorem one can show that the ...
- 241
2
votes
1
answer
137
views
Existence of matrices with some invertibility properties
Prove that there exists five matrices $B_i \in \mathbb{F}_2^{5\times 10}$, $i\in \{1,2,3,4,5\}$, such that any two $B_i$'s form an invertible matrix in $\mathbb{F}_2^{10\times 10}$.
I am interested ...
CommunityBot
- 1
1
vote
0
answers
87
views
Evaluate $\det[[\lfloor\frac{aj-(a+1)k}n\rfloor]_q]_{1\le j,k\le n}$ and $\det[[\lceil\frac{(a+1)j-ak}n\rceil]_q]_{1\le j,k\le n}$
The $q$-analogue of an integer $m$ is defined by
$[m]_q=(1-q^m)/(1-q)$. Note that $\lim_{q\to1}[m]_q=m$.
I have formulated the following conjecture on determinants involving the floor function and the ...
- 14.5k
1
vote
0
answers
82
views
How to prove that $\|A^tv\|_2 \leq \|Av\|_2^t$ for every $0<t<1$? [closed]
Consider a unit norm $\|V\|_2=1$ and a symmetric matrix $A$.
I wish to prove that $\|A^tv\|_2 \leq \|Av\|_2^t$ for every $0<t<1$.
My belief is that this is true is motivated by empirical ...
- 60.2k
1
vote
1
answer
170
views
Properties of the generic matrix - struggles with constructive proofs
Write $A=(x_{ij})$ for the generic matrix (comprised of indeterminates) defined over $\mathbb Z[x_{11},\dots,x_{nn}]$. In their constructive commutative algebra book, Lombardi and Quitte write that ...
- 33.2k
4
votes
1
answer
398
views
Generating functions for Hankel determinants of Catalan numbers
The Hankel determinants of the Catalan numbers are well known and can be written as
$d(k,n)= \det \left( C_{k + i + j} \right)_{i,j = 0}^{n - 1}=\prod_{i=1}^{k-1}\frac{\binom{2n+2j}{j}}{\binom{2j}{j}}$...
- 22.9k