Questions tagged [linear-algebra]
Questions about the properties of vector spaces and linear transformations, including linear systems in general.
5,875 questions
9
votes
2
answers
912
views
A Matrix Inequality for positive definite matrices
Let $X$ and $Y$ be positive semi-definite self-adjoint complex matrices of same finite order. The, is it true that $|X-Y|\leq X+Y$ where for any matrix $A$, $|A|$ is defined to be $|A|:=(A^*A)^{\frac{...
- 1,879
9
votes
3
answers
917
views
Matrix determinant inequality proof without using information theory
Let $A$ be a $k \times n$ orthogonal matrix; i.e., $AA^T = I_{k \times k}$. For $1 \leq j \leq n$, let the squared norm of the $j$-th column of $A$ be denoted by $\alpha_j^2$; i.e.,
$$\sum_{i=1}^k a_{...
- 1,034
9
votes
2
answers
2k
views
Jordan Form Over a Polynomial Ring
Let $X$ be the set of $k\times k$ matrix with entries in $\mathbb{C}$, and let $M\in X$. The group $GL(k,\mathbb{C})$ acts on $X$ by conjugation, and according to the Jordan decomposition theorem (...
- 2,097
9
votes
2
answers
868
views
Orbits of real groups, canonical forms of matrices
There are a lot of results in textbooks concerned with canonical forms of matrices under certain complex groups of transformations, e.g. GL(n|C), O(n|C),...
Could anybody give me references where the ...
- 93
9
votes
1
answer
953
views
Is there always a complete, orthogonal set of unitary matrices?
The set of size-$n$ unitary matrices span $\Bbb C^{n \times n}$ (this can be proven nicely using polar decomposition). If we select a maximal linear subset of unitary matrices, then we have a basis ...
- 356
9
votes
3
answers
383
views
convergence of 2nd eigenvalue
Fix $0<h_1<h_2<h_3<1$ reals. All matrices below are $3\times3$ real.
Suppose the sequence of matrices $M(n)$ are symmetric positive definite and these converge (point-wise) to a symmetric ...
- 43.2k
9
votes
2
answers
769
views
Do smooth manifolds admit linear atlases? [duplicate]
There is a theorem of Whitney showing that a smooth manifold can be endowed with a compatible real-analytic atlas (later, it was proven that this analytic structure is essentially unique).
I am ...
- 5,407
9
votes
1
answer
770
views
Is the free product $\mathbb{Z}*\mathbb{Z}/n\mathbb{Z}$ linear over $\mathbb{Z}$?
Let $H:=\mathbb{Z}*\mathbb{Z}/n\mathbb{Z}=\langle p,q| q^n=1\rangle.$ I want to know if $H$ is a ($\mathbb{Z}$)linear group that is to say is there an injective homomorphism $f: H\to GL_m(\mathbb{Z})$ ...
- 305
9
votes
1
answer
3k
views
Inverse of a totally unimodular matrix
A unimodular matrix $M$ is a square integer matrix having determinant $+1$ or $−1$.
A totally unimodular matrix (TU matrix) is a matrix for which every square non-singular submatrix is unimodular. A ...
- 93
9
votes
1
answer
591
views
Waring's problem for matrices
Probably a well-know question, but I haven't solved it, so I'll ask.
I can show that every matrix in $M_2(\mathbb{R})$ is the sum of two squares of matrices in $M_2(\mathbb{R})$.
If $n>2$, I can ...
- 2,829
9
votes
5
answers
2k
views
Rank of a free module without the axiom of choice
Perhaps my question is really naive. I teach this semester in algebra. I am embarassed about the proof that a free module over an integral domain has a well-defined rank. It is based on the theorem ...
- 52.3k
9
votes
3
answers
729
views
Math history research: a copy of "Zur relativen Wertbemessung der Turnierresultate" , eigenvector centrality by Edmund Landau
I'm searching for a copy of an old paper made by Edmund Landau:
Zur relativen Wertbemessung der Turnierresultate, Deutsches Wochenschach, 11. Jahrgang (1895), 366–369.
However, I can't find it ...
- 93
9
votes
3
answers
4k
views
Fast Upper Triangular Matrix Exponentiation
Let $Q_n$ be a $n\times n$ matrix with $Q_n=\begin{pmatrix} -\lambda_1-\mu_1 & \lambda_1 & 0 & \cdots\\ 0 & -\lambda_2-\mu_2 & \lambda_2 & \cdots\\ \vdots & \vdots & \...
- 4,952
9
votes
1
answer
954
views
Convexity of the product of two exponential matrices
Let $S\subset\mathbb{R}$ be a convex set and $\mathbb{S}^{n}$ be the set of real symmetric matrices of order $n\times n$.
A matrix valued function $\Gamma: S \rightarrow \mathbb{S}^{n}$ is said to ...
- 1,590
9
votes
1
answer
401
views
Horn's inequalities for n matrices
Where I can find necessary and sufficient conditions on eigenvalues of Hermitian matrices with the relation $$A_1 + A_2 + ... + A_n = A_0 ,$$
i.e. Horn's inequalities for n matrices?
Can such ...
- 1,318
9
votes
1
answer
894
views
Unusual decomposition of 3x3 real symmetric matrices - is this possible?
If $M$ is a 3x3, real symmetric matrix, then I know there are a few ways to decompose $M$ as
$M = A^T D A$,
where $D$ is a real diagonal matrix: e.g., this can always be done for some $A \in SO(3)$, ...
- 818
9
votes
2
answers
1k
views
Other norms for lattice reduction techniques (LLL, PSLQ)?
LLL and other lattice reduction techniques (such as PSLQ) try to find a short basis vector relative to the 2-norm, i.e. for a given basis that has $ \varepsilon $ as its shortest vector, $ \varepsilon ...
- 513
9
votes
1
answer
566
views
Expected rank of linear combination of matrices
Let $A_1,\dots, A_s \in M_n (\mathbb{R})$ be symmetric matrices and suppose they are linearly independent over $\mathbb{R}$. This means that
$$ m = \min_{(c_1, ..., c_s) \in \mathbb{R}^s \backslash \{...
- 3,625
9
votes
1
answer
483
views
Homomorphism induced by the second exterior power of a linear map
Consider the map from $M(n, \mathbb Z) \rightarrow M(\binom{n}{2}, \mathbb Z)$ taking a matrix A to its second compound, i.e, $\bigwedge^2 A$.
Restricting this map to the invertible matrices we get a ...
- 376
9
votes
1
answer
1k
views
Determinantal formula for the nullspace of a singular matrix
In June 2012, Bill Press and Freeman Dyson published a remarkable paper on the iterated prisoner's dilemma. A key step in their derivation is a simple fact from linear algebra that I feel I should ...
- 82.7k
9
votes
1
answer
808
views
Trace of a functor (or dimension of a category) in extended 2d TQFTs
In an extended 2d TQFT $Z$, a point (with orientation + or -) is assigned a category $Z(+)$ or $Z(-)$. This category should be as close to a vector space as possible: $\mathbb{C}$-linear, monoidal, ...
- 543
9
votes
2
answers
2k
views
Classification of adjoint orbits for orthogonal and symplectic Lie algebras?
This might be standard, but I have not seen it before:
Let $K$ be an algebraically closed field (of characteristic 0 if necessary). Let $G$ be the orthogonal group ${\bf O}(m)$ or the symplectic ...
- 10.7k
9
votes
2
answers
467
views
Can we recover all $k$-minors of a square matrix from some of them?
This is a cross-post.
Let $k,n$ be natural numbers, $1<k<n$. Suppose we have an "unknown" invertible $n \times n$ matrix $A$ over a field of characteristic zero. (we do not know the entries of ...
- 6,741
9
votes
2
answers
1k
views
polynomials with minimal $L_\infty$ norm on multiple disjoint intervals
It is well-known that Chebyshev polynomials are the polynomials of minimal $L_\infty$ norm on [-1,1] with leading coefficient 1. But what if you want the minimal $L_\infty$ polynomial on two disjoint ...
- 223
9
votes
1
answer
1k
views
0 eigenvalue for a symmetric tridiagonal matrix
Let $T\in \mathbb{R}^{n\times n}$ be a symmetric tridiagonal matrix having the off--diagonal entries equal to -1. The diagonal entries are all positive, $a_i>0$, $i=\overline{1,n}$, and there ...
- 143
9
votes
2
answers
245
views
Matrix invariants for simultaneous conjugation by a finite subgroup of $\textrm{GL}_n$
Let $K$ be a field of characteristic 0, and consider $d$ generic $n\times n$ matrices $X_1,\ldots,X_d$ where $X_k = (x_{ijk})_{ij}$ and $ K[x_{ijk}]$ is the polynomial algebra in $n^2 \cdot d$ ...
- 1,124
9
votes
3
answers
861
views
A curious equation on determinant----linear algebra or algebraic geometry?
I recently find a curious and unexplainable(as seems to me) equation on determinant as follows.
$$3\begin{vmatrix}
a_1 & b_1 & c_1 & d_1 \\
a_2 & b_2 & c_2 & d_2 \\
...
- 357
9
votes
3
answers
409
views
Determinant of a block matrix with many $-1$'s
For an array $(n_1,...,n_k)$ of non-negative integers and non-zero reals $a_1,...,a_k$, define a block matrix $M$ of size $n=n_1+\cdots+n_k$ as follows:
The main diagonal has blocks of sizes $n_i$ and ...
- 13.4k
9
votes
1
answer
3k
views
Frobenius-Perron eigenvalue and eigenvector of sum of two matrices
Suppose that I have two positive matrices, $A$, and $B$, and I know their Frobenius-Perron eigenvalues ($\lambda_A$, $\lambda_B$) and eigenvectors ($v_A$, $v_B$). I'm interested in what I can say ...
- 403
9
votes
3
answers
486
views
Representing a real number as the value of a countably infinite game
Is it true that for any real number $p$ between 0 and 1, there exist finite or infinite sequences $x_m$ and $y_n$ of positive real numbers, and a finite or infinite matrix of numbers $\varphi_{mn}$ ...
- 187
9
votes
4
answers
2k
views
Is there a useful generalization of the Schmidt decomposition to the tensoring together of 3 or more vector spaces?
I've rewritten the question in math notation, and I've left the old version in physics bra-ket notation here.
Background
A simple consequence of the singular value decomposition is that any vector $...
- 846
9
votes
2
answers
3k
views
What tensor product of chain complexes satisfies the usual universal property?
Recall that a chain complex is a (finite) diagram of the form
$$ V = \{ \dots \to V_3 \overset{d_3}\to V_2 \overset{d_2}\to V_1 \overset{d_1}\to V_0 \to 0 \} $$
where the $V_n$ are (finite-dimensional)...
- 54.6k
9
votes
1
answer
253
views
Linear subspaces of $\mathrm{GL}_n(\mathbb{R})$ whose inverses are also linear subspaces
$\DeclareMathOperator\GL{GL}$We will call a subset $S \subset \GL_n(\mathbb{R})$ a linear subspace if it is of the form $S = S'\cap \GL_n(\mathbb{R})$ for some $S'\subset M_n(\mathbb{R})$ which is a ...
- 2,178
9
votes
1
answer
1k
views
M-matrix plus S-matrix is P-matrix?
I am trying to prove that a mapping has a unique fixed-point by showing that its Jacobian is a P-matrix. In this particular case the Jacobian can be decomposed as the sum of two matrices and I would ...
- 197
9
votes
1
answer
3k
views
Connection between eigenvalues of matrix and its Laplacian.
Hello!
There are two definitions of graph spectrum:
1) Eigenvalues of adjacency matrix $A$.
2) Eigenvalues of Laplacian of adjacency matrix ($L$).
Different sources offer different properties based ...
- 89
9
votes
1
answer
2k
views
An iterated tensor product integral
In "Differential equations driven by rough paths" (Terry Lyons, et al) section 1.4.2 it's claimed that the symmetric part of the tensor:
$\int_{0 \le u_1 \le \cdots \le u_j \le t} \mathrm{d}X_{u_1} \...
- 4,304
9
votes
1
answer
708
views
Hilbert spaces are induced by a bilinear form. How about n-linear forms?
A Hilbert space is a complete vector space equipped with scalar product, i.e. a symmetric positive definite bilinear form.
What if we replace 'bilinear' by 'n-linear'? One might wonder, whether the $...
- 5,327
9
votes
2
answers
362
views
Solving systems of linear equations without introducing negative numbers
Consider a system of $n$ linear equations with $n$ unknowns, all of whose coefficients and right hand sides are nonnegative integers, with a unique solution consisting of nonnegative rational numbers. ...
- 19.7k
9
votes
1
answer
535
views
Well known matrix inequality?
I suspect that the following matrix inequality is well known, but I can't find a reference or proof:
Given $n \times n$ symmetric matrices $A,B$ such that $I_n \leq A,B$, is the following true?
$${...
- 1,211
9
votes
2
answers
814
views
Regular elementary abelian subgroups of primitive permutation groups
A finite group $B$ is said to be a B-group if every primitive permutation group having a regular (transitive) subgroup isomorphic to B is $2$-transitive.
Schur proved that a cyclic group of ...
- 11.2k
9
votes
1
answer
492
views
When are two binary matrices simultaneously equivalent to their transpose?
For any real square matrix $A$ there is an invertible matrix $P$ such that $A^t = P^{-1}AP$. I have two binary ($0,1$) matrices $A$ and $B$. When does there exist a $P$ such that $A^t = P^{-1}AP$ and $...
- 363
9
votes
2
answers
2k
views
Almost orthogonal vectors in subsets of euclidean space
Given the vector space $\mathbb{R}^n$, endowed with the standard inner (dot) product $\langle\cdot,\cdot\rangle:\mathbb{R}^n\times \mathbb{R}^n\to\mathbb{R}$, the problem of almost-orthogonal sets ...
- 2,075
9
votes
2
answers
1k
views
Rescaling positive definite matrices to force a unit eigenvector
Hello,
Let $X'X$ be a positive definite matrix and let $\mathbf{1}$ denote the vector of ones.
I'm hoping to construct a positive, diagonal matrix $W$ such that
$$(W X'X W) \mathbf{1} = \mathbf{1}$$...
- 193
9
votes
1
answer
904
views
Reference for a formula expressing the characteristic polynomial of a sum of endomorphisms
Let $R$ be a ring, $A$ a (not necessarily commutative) $R$-algebra and $M$ a (left) A-module which is free of finite rank as an $R$-module. If $a\in A$ then multiplication with $a$ on $M$ is an $R$-...
- 1,645
9
votes
1
answer
564
views
Peter–Weyl decomposition of a group representation rather than group algebra
Consider a finite or compact group $G$. The Peter–Weyl decomposition is usually formulated for the group algebra $\mathbb{C}[G]\simeq\bigoplus_i \operatorname{End}(V_i)$, where $V_i$ are the spaces of ...
- 1,731
9
votes
2
answers
515
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 ...
- 557
9
votes
1
answer
605
views
Inverse of a matrix with binomial entries
This is closely related to this question: Eigenvalues of a matrix with binomial entries.
We consider the matrix:
$$M_{ij} = 4^{-j}\binom{2j}{i}$$
where it is understood that the binomial ...
- 884
9
votes
2
answers
296
views
How many multiplications are needed to generate a matrix algebra?
This is similar to an earlier question but I hope that it will be seen as being sufficiently distinct to merit separate consideration.
Let $M_d(\mathbb{C})$ denote the set of all $d \times d$ complex ...
- 6,206
9
votes
1
answer
1k
views
Under what conditions a linear automorphism is an isometry of some norm?
Assume $V$ is a finite-dimensional vector space over $\mathbb{R}$, and $T: V \to V$ is a (linear) isomorphism.
When is it possible to construct a norm on $V$
making $T$ an isometry?
(Hopefully,...
- 6,741
9
votes
1
answer
1k
views
Computation time of Smith normal form in Maple
I am using Maple to compute the Smith normal form (SNF) of a $120 \times 120$ matrix and it seems that I will never get an answer back. I have checked my code for small cases and I believe that it is ...
- 356