All Questions
6,176 questions
0
votes
0
answers
121
views
Representation of anti-commuting matrices in $\mathbb{C}^{2}$
This is a cross posting updated question from MSE. I have not got any answers there yet and I really want to understand this problem.
The basic question is the following. Let $V$ be a finite-...
- 12.9k
2
votes
1
answer
278
views
Continuity of eigenvector of zero eigenvalue
Wonder whether anyone has an idea on showing the following or to point out that it is not true:
Let $A(t) \in \Re^{n \times n}$ be differentiable over an interval $I$, and it has a zero eigenvalue for ...
- 12.9k
3
votes
2
answers
392
views
Monotonicity of matrix conjugation
Let $A$ and $B$ be positive-definite matrices such that $A \le B.$
By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$
I am now curious under ...
- 6,351
0
votes
1
answer
170
views
Isn't every algebraic operad equipped with a trivial weight?
In Loday–Vallette "Algebraic Operads" they state the following result (Theorem 6.6.2, Operadic twisting morphism fundamental theorem):
Let $P$ be a connected weight graded differential ...
- 5,040
2
votes
0
answers
120
views
A sequence linked to irrationality
Let $0 < c < 1$ be a real number and $ x \in \mathbb{R}$. We define the sequence $(u_n)_{n \in \mathbb{N}}$ by :
$$u_0 = x$$
$$ \mathrm{If}, u_n \le c, \mathrm{then}, u_{n + 1} = u_n + (1 - c) $$...
- 4,829
1
vote
2
answers
152
views
Property for bounding matrix exponential
Wikipedia states in the exponential map section about the exponential of a matrix that for any matrices $X$, $Y$ it holds that $\|e^{X+Y}-e^{X}\| \leq \|Y\|e^{\|X\|} e^{\|Y\|}$ where $\|\cdot\|$ ...
- 128k
4
votes
1
answer
237
views
A (bi)alternant formula for Wronskian
We know that there exists similarities between power functions and derivative of a function (in particular, Newton binomial formula and Leibniz rule for derivation of a product can be deduced from ...
CommunityBot
- 1
3
votes
0
answers
58
views
About a circular variant of Vandermonde matrix
Given an arbitrary $(x_1, \dots, x_n) \in [0, 1]^n$, is there any name/known results for the following $n \times n$ matrix (which is constructed by iterating $(x_1 \to \dots \to x_n \to x_1 \to \dots)$...
- 33
4
votes
2
answers
180
views
What does the matrix-valued solution of $X = A X A^T + \operatorname{Id}$ look like?
Let $A \in \mathbb{R}^{n \times n}$ be an invertible contraction, i.e. all singular values are in $(0,1)$. By reformulating the equation
\begin{align*}
& X = A X A^T + \operatorname{Id} \tag{1}
\...
- 621
11
votes
2
answers
550
views
Let $a_1, \dots, a_n$ be a finite set of positive reals. Is there a $\mathbb Q$-basis of $\mathbb R$ where each $a_i$ has nonnegative coordinates?
Let $a_1, \dots, a_n$ be a finite set of positive reals. Is there a $\mathbb Q$-basis of $\mathbb R$ where each $a_i$ has nonnegative coordinates?
Playing around with the case $n = 2$, I’m pretty sure ...
- 105k
1
vote
0
answers
130
views
A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(2,3,2),\cdot\rangle$
I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below)
I want to ...
- 839
0
votes
1
answer
222
views
Low rank matrix in a subspace of matrices
Let $V\subset M_{m,n}(\mathbb{C})$ be a $n$-dimensional subspace ($m\geq 2$).
Is there $X\in V$ such that $1\leq \operatorname{rank} X\leq m-1$?
2
votes
0
answers
101
views
On the irreducible submodules of adjoint representations $\text{ad}^{0}$
Let $k$ be a finite field of characteristic $p$. Let $H$ be a subgroup of $\rm{GL}_{n}(k)$ of order prime to $p$ where $n\geq2$. Assume that the representation $H\hookrightarrow \rm{GL}_{n}(k)$ is ...
- 667
128
votes
13
answers
27k
views
Should the formula for the inverse of a 2x2 matrix be obvious?
As every MO user knows, and can easily prove, the inverse of the matrix $\begin{pmatrix} a & b \\\ c & d \end{pmatrix}$ is $\dfrac{1}{ad - bc} \begin{pmatrix} d & -b \\ -c & a \end{...
2
votes
1
answer
99
views
Stabilizing conjugacy classes of integer matrices
$\DeclareMathOperator{\Conj}{Conj} \DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\id}{id} \newcommand\Z{\mathbb{Z}}$
For an $n \times n$ integer matrix $A \in \GL_n(\Z)$, let $\Conj(A)$
be the ...
- 52.3k
0
votes
0
answers
84
views
some problem about the discrete of the first derivative operator
I am reading a paper
(Parameter Choice Strategies for Multipenalty Regularization Massimo Fornasier, Valeriya Naumova, and Sergei V. Pereverzyev SIAM Journal on Numerical Analysis 2014 52:4, 1770-1794)...
- 2,600
0
votes
0
answers
67
views
Concentration of bilinear forms
This is a bit vague so I'll begin by indicating the motivation. I am looking for ways to [do something interesting or useful] with the self-attention in transformer models. Ultimately the self-...
- 6,962
5
votes
1
answer
582
views
Uniqueness of diagonalizing a matrix over $\mathbb{Z}_{p^k}$
We know from linear algebra that if an $n \times n$ matrix $A$ over a field $k$ is diagonalizable (that is, there exists $P \in GL_n(k)$ such that $PAP^{-1}$ is a diagonal matrix), then this diagonal ...
- 4,991
0
votes
2
answers
62
views
Nondegeneracy of dominant singular value and positivity of dominant singular vector of connected nonnegative matrix
Call a (not necessarily square) nonnegative matrix $M$ connected if there do not exist permutation matrices $P$ and $Q$ such that $PMQ=\begin{pmatrix}A&0\\0&B\end{pmatrix}$ for some $A$ and $B$...
- 674
1
vote
1
answer
205
views
Van der Waerden conjecture and Alexandrov-Fenchel inequality
The Van der Waerden conjecture is a lower estimate of the permanent of a doubly stochastic matrix. In this article in Wikipedia it is stated that Egorychev's proof uses the Alexandrov-Fenchel ...
- 21.8k
8
votes
2
answers
5k
views
About Sylvester's determinant
If $A$ is any $n \times m$ matrix and $B$ is any $m \times n$ matrix then one familiar form of the Sylvester's identity is $\det(I + AB) = \det(I + BA)$.
Now somehow curiously this above identity is ...
- 12.9k
3
votes
1
answer
153
views
Solving a recursion for polynomials defined by a matrix product
Define the polynomial $p_n(X) \in \mathbb{Z}[X_1,...,X_n]$ as the top left entry in $A^n$ for the $(d \times d)$ matrix
\begin{align*}
& A = \left(\begin{matrix}
X_1 & \dots & \...
- 16.9k
4
votes
3
answers
763
views
Non-affine, projective vector field on $\mathbb{R}^n$
I wanted recently to discuss with a fairly elementary mathematics class the kinds of self-maps of Euclidean space that carry triangles to triangles. Obviously linear maps do this, and it seemed just ...
- 12.9k
3
votes
0
answers
83
views
A stochastic matrix $B = \lambda(\lambda I - A)^{-1}$ such that $B-B^2$ has a non-negative diagonal
I apologize if this is too elementary a question, but I have not been able to make much progress.
Consider a real matrix $A$ with $A_{ij} >0$ for $i \ne j$ and $\sum_{j} A_{ij} = 0$ for each $j$. ...
- 251
0
votes
0
answers
184
views
Degree 6 Galois extension over $\mathbb{Q} $
Let L be the splitting field of $ x^3- 2$ over $ \mathbb{Q}$. Then $ G=\operatorname{Gal}(L/K) \cong S_3$. Let $\sigma\in G$ such that the fixed field of $ \sigma$ is $\mathbb{Q}(2^{1/3})$. Let $x,y\...
- 923
11
votes
1
answer
627
views
One question on circulant $\pm1$ matrices
Let $n > 13$ be a positive integer. Is there any $n \times n$ circulant $\pm1$ matrix $A$ satisfying the following property
$$AA^T=(n-1)I+J$$
where $I$ is the $n \times n$ identity matrix and $J$ ...
- 10.4k
1
vote
1
answer
206
views
Reflections on subspaces of $\text{codim} > 1$
Let $V$ be a real finite-dimensional vector space with inner product $\langle \cdot , \cdot \rangle$.
Let $x,y \in V$ be linearly independent. I was wondering how a reflection $s_{x,y}$ through the $\...
- 1,813
9
votes
3
answers
350
views
$G$-module structure of the relation module for a presentation of a finite group $G$
Let $F_n$ be a free group of rank $n\ge 2$, and $F_n\rightarrow G$ a surjection with $G$ finite. Let $R$ be the kernel. From this, we get an action of $G$ on the abelianization $R/R'$ (a free abelian ...
CommunityBot
- 1
2
votes
0
answers
60
views
Perron-Frobenius theory for operators on matrices
Let $A$ be a Hermitian linear operator on the space of $n\times n$ complex matrices. Let's suppose $A$ is "non-negative" in the sense that it preserves the cone of non-negative definite (...
- 53
2
votes
1
answer
87
views
Symmetric and anti-symmetric matrices and maximal eigenvalues
Suppose we start with a symmetric $n \times n$ matrix $A$, the elements of which are either $1$ or $0$. All the diagonal elements of this matrix are set to be $0$. So, $\lambda_{\text{max}}=\sup \...
- 24.2k
1
vote
2
answers
317
views
Right inverse of integer matrix
If I have a rectangular matrix $A$ (say $4 \times 6$) with integer entries, is there a way to tell whether it has a right inverse that also has integer entries. I know that if $AA^T$ has determinant $...
- 3,741
1
vote
1
answer
141
views
Does a random matrix over $\mathbb{Z}_q$ map linearly independent vectors to statistically independent vectors?
Suppose $A \in \mathbb{Z}_q^{n \times m}$ is a random $n \times m$ matrix whose entries are i.i.d. uniform over $\mathbb{Z}_q=\mathbb{Z}/q\mathbb{Z}$, where $q\geq2$. Let $\mathbf{x}_1, \ldots, \...
- 385
0
votes
1
answer
173
views
Show that $\mathrm{PSL}_2(C)$ is complex algebraic [closed]
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\GL{GL}\DeclareMathOperator\M{M}\DeclareMathOperator\im{im}$I meet this problem when reading Artin's book Algebra. ...
- 12.9k
2
votes
0
answers
705
views
Characterizing zeros of Schur functions over $\mathbb{R^n}$ or $\mathbb{C^n}$
Let $m_i\in \mathbb{N}, 1\leq i \leq n $ such that wlog if $m_i < m_j\in \mathbb{Z^+}$ then $i < j$.
Consider the Vandermonde matrix $$V=
\begin{bmatrix}
1 & 1 & 1 & \ldots & 1 ...
- 63.9k
9
votes
9
answers
4k
views
Help me with this proof: Drop a printed map of the land on the land and there must be some common point.
Hi, I have a minor in math and this is not a homework problem - my prof mentioned it 5 years ago and I could not even begin to tackle it until I took a good intro to linear algebra (after work). ...
- 1,446
0
votes
0
answers
79
views
Quick calculation of a symmetric product with two indices
Say I have a product $\prod_{1\le i \le N-1}\prod_{i<j\le N-1} (1+t_i t_j a_{ij})$, where $a_{ij}$s are real number. I want to calculate the coefficient of $\prod_{0 \le i < N} t_i$. Is there an ...
- 397
2
votes
1
answer
142
views
Lipschitz continuity of eigenprojections
This question has the same flavor of this and this questions, but asks for something stronger.
Assume that
$A$ is a symmetric $n \times n$ matrix,
$H$ is a $n \times n$ perturbation matrix.
Moreover ...
- 24.2k
0
votes
0
answers
30
views
Application of greedy approach for optimization
I want to maximize an objective given by $$\max_{\{q_n,p_n\}} \sum_{n=0}^\infty (\alpha_1 - \beta_1 n) p_n + (\alpha_2 - \beta_2 n) q_n$$
where $\alpha_1 > \beta_1 >0$ and $\alpha_2 > \beta_2 ...
- 23
0
votes
1
answer
91
views
Matrix quantization and effect on singular values
Let $A$ and $B$ be an $N\times n$ matrix with $n\le N$, and let $\sigma_1(X),\dots \sigma_n(X)$ denote the singular values of $X\in \{A,B\}$. Do we have upper and lower bounds for
$$
\|
\sigma_i(A)-\...
- 356
1
vote
1
answer
221
views
Methods to tackle this series and get to the limit?
Take a look at the averaging sum
$$\frac{\pi}{n}\sum_{k=1}^n\;\exp{(-\sin\theta_k)}\cdot \sin(\theta_k +\cos\theta_k)\, \qquad\text{where }\;\theta_k=(2k-1)\frac{\pi}{2n}$$
depending on $n\in\...
- 489
5
votes
0
answers
137
views
Given a collection of vectors $x_1,\ldots,x_k$, which inner products $\langle x_i,x_j\rangle$ are needed to uniquely determine all inner products
Given a collection of vectors $x_1,\ldots,x_k$, which inner products $\langle x_i,x_j\rangle$ need to be known to uniquely determine all inner products? I'll begin with the specific case I am ...
- 63.9k
7
votes
1
answer
310
views
Fundamental domain for two Grassmannians
Let $\pi_1, \pi_2$ be two $k$-dimensional subspaces of $\mathbb R^n$. Using elements of the orthogonal group $O(n)$, how much can we simplify $\pi_1, \pi_2$? Certainly there always exists $A \in O(n)$ ...
- 903
5
votes
1
answer
285
views
Are there any applications of the algebraic polar decomposition?
One of the decompositions mentioned in the Wikipedia page on matrix decompositions is the algebraic polar decomposition. This factors a square complex matrix $M$ into $M = SQ$ where $S = S^T$ and $QQ^...
- 188k
7
votes
3
answers
621
views
Reference for partial Hadamard matrices
Definition. An $m\times n$ matrix is said to be a partial Hadamard matrix (let's say PHM) if its entries are chosen from $\lbrace -1, 1 \rbrace$ such that the dot product of each pair of row vectors ...
1
vote
1
answer
178
views
Matrices over a finite field: matrices for which some unipotent $U$ satisfies Trace$(ZU)=0$ for all $Z$ in the commutant
Let $p$ be an odd prime number, let $A\in M_p(\mathbb{F}_p)$ be a $p$-by-$p$ matrix with coefficients in $\mathbb{F}_p$, let $C(A)$ be the commutant of $A$, and let $N\in M_p(\mathbb{F}_p)$ be a ...
- 63.9k
2
votes
1
answer
2k
views
power of a block triangular matrix
I have a matrix in the form :
$$M =
\begin{pmatrix}
A & 0 & 0 \\\
B & A & 0 \\\
C & D & A
\end{pmatrix}
$$
where $A,B,C,D$ are diagonalizable square matrices and I want to ...
- 265
0
votes
1
answer
115
views
Loss of degree for polynomials
Let $q$ be a power of a prime $p$, $m$ be an integer greater than $0$. Does there exist polynomials $P_0,\cdots,P_m$ of $\mathbb F_q[T]$ not all in $\mathbb F_q$ such that there exist polynomials $Q_0,...
- 1,851
2
votes
0
answers
153
views
Spectrum of an almost Hamiltonian matrix
I have a complex-valued block matrix $N=\begin{bmatrix}
A & B \\
C & -A^*
\end{bmatrix}$, where $A$ is diagonal, $B=B^*$, and $C$ is rank-1 but not Hermitian.
If $C$ were Hermitian, $N$ would ...
- 188k
4
votes
1
answer
250
views
Does a generic linear map admit a vector whose iterates span $V$?
We say a linear map $T$ on a finite dimensional vector space $V$ admits spanning vectors if there exists some vector $v \in V$ whose iterates $v, Tv, T^2 v, \dots$ under $T$ span $V$.
Question: ...
0
votes
1
answer
88
views
Find efficiently greatest difference between $2$ vectors from set of vectors [closed]
Let us have a list of vectors in a $3$D space.
Is there a more efficient way to find the greatest difference between any two of them than combining each, computing the size of their difference, and ...
- 6,367