All Questions
Tagged with linear-algebra reference-request
318 questions
3
votes
0
answers
122
views
Algebra of block matrices with scalar diagonals
I am interested in block matrices $A$, that is $A\in M_{n\times n}(R)$ where $R=M_{s\times s}(k)$ and $k$ is a field, such that for every positive integer $m$ the matrix $A^m$ has only scalar blocks ...
4
votes
1
answer
237
views
Convex Hull of Outer Products of (Normalised) Nonnegative Vectors
If I define $\mathcal{A} = \{ xx^T : x \in \mathbb{R}^d, \| x \|_2 \leqslant 1 \}$, then (assuming I recall correctly) it is known that the convex hull of $\mathcal{A}$ is given by
\begin{align}
\...
5
votes
4
answers
839
views
Norm bounds on spectral variation and eigenvalue variation
Let $A$ and $B$ be two matrices of eigenvalues $\lambda_i$ and $\mu_i$, respectively.
The spectral variation of $B$ w.r.t. $A$ and the eigenvalue variation of $B$ and $A$ are, respectively,
\begin{...
5
votes
0
answers
150
views
monomer-dimer tiling of a Young diagram
As a modest start, I propose the below problem for a special set of partitions. Perhaps it is known.
Let $\lambda_n=(n,n-1,\dots,2,1)$ be the staircase partition and its corresponding Young diagram $...
3
votes
1
answer
486
views
Is this line of thought (using linear algebra to get number theoretic results) already being pursued in the literature?
Let $Log(n) = \sum_{i=1}^r \alpha_i \cdot e_i$, where $n = \prod_{i=1}^r p_i^{\alpha_i}$ and $p_i$ is the $i$-th prime, $\alpha_i \ge 0$, $e_i$ is the $i$-th standard basis vector. For example $6 = 2\...
6
votes
0
answers
210
views
Lambek calculus, linear logic, and linear algebra
In his 1958 paper, The Mathematics of Sentence Structure, Joachim Lambek introduced the Lambek calculus. In modern terms, it could be understood as a syntax for biclosed
monoidal categories, and he ...
10
votes
1
answer
537
views
Coefficient-wise powers of matrices. Reference wanted
Let $K$ be a commutative field and ${\rm M}_n (K)$ be the ring of $n\times n$ square matrices with coefficients in $K$ ($n\geqslant 1$ is an integer). For $k\geqslant 1$ and $A =(a_{ij})_{1\leqslant i,...
1
vote
0
answers
159
views
Non-trivial ways for generating matrices $A$ for which $A + A^T$ is positive-definite?
Disclaimer: This might be an SE question, but I'm not quite sure...
Thanks in advance!
Setup
So, it is known (see Proposition 5.2) that if $A + A^T$ is positive-definite then $A$ must be a $P$-...
1
vote
1
answer
151
views
Counting monomials in skew-symmetric+diagonal matrices
This question is motivated by Richard Stanley's answer to this MO question.
Let $g(n)$ be the number of distinct monomials in the expansion of the determinant of an $n\times n$ generic "skew-...
3
votes
0
answers
114
views
Jacobian of the action of a matrix on a Grassmannian
I'm looking for a reference concerning a calculation found in Furstenberg's 1963 paper "Non-commuting random products".
Lemma 8.8 of this paper states that if one takes a $d\times d$ invertible real ...
18
votes
2
answers
1k
views
Is a matrix similar to its transpose over $\mathbb{Z}_p$?
Is every $n \times n$ matrix with entries in $\mathbb{Z}_p$ (or even $\mathbb{Z}$) conjugate to its transpose via a matrix in $GL_n(\mathbb{Z}_p)$?
On the one hand, I know the analogous fact is false ...
1
vote
1
answer
95
views
A question on a special "metric"
Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...
4
votes
2
answers
1k
views
Reference request: Oldest linear algebra books with exercises?
Inspired by the recent success of my "soft question" here, I also have to ask, what are some of the oldest linear algebra books out there with exercises? I'm fine with or without solutions, either way....
5
votes
2
answers
250
views
Eigenvalue density of a symmetric tridiagonal matrix
Let $A_n\in\mathbb{R}^{n\times n}$ be defined as
$$
A_n=\begin{bmatrix} a & b & 0 & \cdots & \cdots & 0 & 0\\ b & a & b & \cdots & \cdots & 0 & 0\\ 0 &...
7
votes
3
answers
1k
views
Determinant of correlation matrix of autoregressive model
I wonder if there is a paper that can point out how to compute the determinant of a $d \times d$ autoregressive correlation matrix of the form
$$R = \begin{pmatrix}
1 & r & \cdots & r^{d-...
2
votes
1
answer
553
views
Upper Bounds on the Largest Eigenvalue of Jacobi Matrices
Suppose I have a symmetric tridiagonal (Jacobi) matrix in the following form:
$ \begin{pmatrix}
1 & a_{1} & 0 & ... & 0 \\\
a_{1} & 1 & a_{2} & & ... \\\
0 & a_{...
11
votes
1
answer
731
views
Reference request: Volume 2 of Abhyankar's lectures on algebra?
Abhyankar has a magnificent, if meandering (check them out if you want to see what I mean), set of lectures on algebra.
The description:
This book is a timely survey of much of the algebra developed ...
3
votes
1
answer
325
views
Reference on completely positive maps which are isometries
Let $\Phi:\mathcal{L}(H)\rightarrow \mathcal{L}(K)$ be a completely positive map sending positive self-adoint operators on a finite-dimensional Hilbert space $H$ to positive self-adoint operators on a ...
4
votes
3
answers
382
views
Extending a continuous map over projective space
Let $X = P^{n-1}(\Bbb C)$ ($(n-1)$-dimensional projective space) with $n \geq 3$, and let $K \subset X$ denote a compact subset. I have a bijective, continuous map $\phi:K \to K$ which satisfies the ...
4
votes
0
answers
98
views
Ref. request: Enumerating elements of Bruhat cells
Given a field $F$ and a natural number $n$, let $B$ be the group of lower triangular, invertible $n \times n$ matrices over $F$. Then
$$GL_n(F) = \biguplus_{\pi \in S_n} B \pi B,$$
where we embed the ...
34
votes
4
answers
2k
views
If $A,B$ are upper triangular matrices such that $AX=XA\implies BX=XB$ for upper triangular $X$, is $B$ a polynomial in $A$?
A professor of mine told me that this is true, but he doesn't remember what the proof was or where to find it, and I haven't been able to find a source for it yet. As such I am looking for one here.
...
1
vote
0
answers
620
views
On the basis of a finite dimensional vector space (revised)
Revision in response to the comments to earlier version:
To introduce the notion of a basis of a finite dimensional vector space over an arbitrary field $\Lambda$, without performing any computation ...
5
votes
1
answer
369
views
Connection between Gram matrix and Riemannian invariants?
Recall that the Gram matrix of vectors $v_1, \dots, v_k\in\mathbb{R}^n$ is the $k\times k$ matrix $G_{ij}=(v_i,v_j)$. Now suppose that the vectors $v_i$ have been sampled uniformly from some ...
2
votes
1
answer
255
views
Efficient algorithm for solving a convex quadratic program [duplicate]
Let $A \in \mathbb{R}^{n \times m}$ and $b \in \mathbb{R}^n$. Suppose $m \ll n$. How to solve this quadratic program efficiently?
$$\min_{x \in \mathbb{R}^n} \frac{1}{2} x^\top AA^\top x + b^\top x$$
1
vote
0
answers
148
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{...
0
votes
1
answer
150
views
General results regarding linear separability?
I'm reading up on the theory behind support vector machines and would like a good reference with some general results about linear separability.
Specifically, questions like below:
Given two ...
2
votes
0
answers
55
views
Lower bounds on eigenvalues of Lyapunov solutions
Let $A\in\mathbb{R}^{n\times n}$, $B\in\mathbb{R}^{n\times m}$ and let $X\in\mathbb{R}^{n\times n}$, $X=X^\top>0$ be the solution of the following Lyapunov algebraic equation
$$
AX+XA^\top=-BB^\top....
4
votes
1
answer
414
views
A Handbook of Matrix Factorizations
I am looking for a good collection of facts regarding the various types of matrix factorizations, something like a "Handbook of Matrix Factorizations" or a very-thorough review paper. I am hoping for ...
6
votes
1
answer
257
views
Families of subsets whose characteristic vectors are spanning sets
Let $X$ be a finite set and $\mathbb CX$ be a vector space with basis $X$. If $Y\subseteq X$ is a subset, then by the characteristic vector of $Y$ I mean $\sum_{y\in Y}y$.
My question is:
...
3
votes
1
answer
552
views
Is this result on an unconstrained inverse quadratic programming problem new or known already?
Is this problem and solution actually new, or has someone done this earlier?
The details can be found in the preprint: arxiv:1701.01477.
Let us consider a direct quadratic programming problem:
$$
\...
2
votes
1
answer
217
views
Diagonalising a symmetric matrix with polynomial entries
Suppose I have a symmetric $2$ by $2$ matrix $M$ whose $(i,j)$-th entry $F_{i,j}(\mathbf{x})$ belongs to $\mathbb{R}[x_1, \ldots, x_n]$ for each $i,j$. I know that for each $\mathbf{x} \in \mathbb{R}^...
8
votes
2
answers
950
views
Best known bounds on (border) ranks of small matrix multiplication tensors?
The $(m,n,p)$-matrix multiplication tensor is a representation of the bilinear map $T\colon\mathbb{R}^{m\times n}\times\mathbb{R}^{n\times p}\rightarrow\mathbb{R}^{m\times p}$ given by $T(A,B)=AB$. ...
0
votes
0
answers
98
views
Eigenvalues of a sequence of matrices involving the divisor function
Let $A_{n,k},k=1,\ldots,n$ be a sequence of $n\times n$ upper triangular matrices where $A_{n,1}=I_n$ and $A_{n,k},\quad 2\leq k\leq n$ be a regularly shifted and scaled matrix, with $P_{n,k}$ an $n\...
11
votes
1
answer
633
views
How do computer algebra packages like Sagemath implement rank of a matrix
I am not sure if this is the right place to ask this question, but I believe there will be people here who do computations on computer algebra packages like Sage in their work.
I have been using ...
5
votes
1
answer
315
views
Rank-constrained least-squares solution of the Sylvester matrix equation
For the Sylvester matrix equation $AX+XB=C$, I want to find the least-squares solution $X$ via
$$\begin{array}{ll} \text{minimize} & \| AX + XB - C \|_{\text{F}}^2\\ \text{subject to} & \mbox{...
4
votes
0
answers
245
views
On the sum of the first row of the inverse of a certain symmetric Toeplitz matrix
(i) Consider a Toeplitz matrix $A_n = (a_{i, j})_{1 \le i, j \le n}$ of size $n$ defined as follows:
$$ a_{i, j} := |i-j|^{-1/2}, \text{ if } i \ne j; \ \ a_{i, j} := 2, \text{ if }i = j. $$
Let $...
0
votes
0
answers
283
views
A symmetric matrix with nonzero principal minors is cogredient to a diagonal matrix via an upper triangular
A paper I'm reading in representation theory states the following result:
Let $F$ be a field of characteristic zero, and $x$ a symmetric matrix in $M_n(F)$ all of whose principal minors are not zero. ...
1
vote
0
answers
422
views
Difference between largest two eigenvalues of a graph Laplacian
The difference between the smallest eigenvalue and the next-smallest of a graph Laplacian (equivalently, the difference between the largest and next-largest of the random walk Markov chain on the ...
2
votes
0
answers
275
views
Maximum spectral norm of matrices with given anti-Hermitian part and Hermitian part's spectrum
Let $M\in M_n(\mathbb C)$ be a $n\times n$ matrix over the complex field. It can be written uniquely as $M=H+A$, where $H=H^*$ denotes its Hermitian part and $A=-A^*$ its anti-Hermitian part.
Its ...
2
votes
2
answers
446
views
Entrywise modulus matrix and the largest eigenvector
Disclaimer. This is a cross-post from math.SE where I asked a variant of this question two days ago which has been positively received but not has not received any answers.
Let $A$ be a complex ...
3
votes
0
answers
105
views
Can one do better than using general purpose determinant algorithms when using the Fisher-Kasteleyn-Temperley method for perfect matchings?
Questions.
(numerical.generalPfaffian) Is it proved anywhere that in general it is not easier0 to calculate the determinant (over $\mathbb{Q}$) of the skew-symmetric signed adjacency matrix defined ...
2
votes
0
answers
102
views
Eigenvalue distribution for a real-valued random matrix with correlated Gaussian entries
I'm working on an application where I would greatly benefit from knowing the distributions of the eigenvalues of a real-valued random matrix whose elements can be assumed to be Gaussian, but where I ...
4
votes
2
answers
2k
views
Advanced reference and roadmap about random matrices theory
There is few posts on MO that asked about reference on this topic, and I found some difficulty during the process of getting myself into the subject so here is the question.
I really want to hear ...
1
vote
0
answers
188
views
Maximum singular value of sum of an Hermitian and an anti-Hermitian matrix
Let $H$ be an $n\times n$ Hermitian matrix and $A$ an $n\times n$ anti-Hermitian matrix, i.e. $H^\dagger = H$, $A^\dagger = -A$. Consider their sum $S= H+A$. Let $\{\sigma_i(S)\}_{i=1,\dots,r}$ denote ...
2
votes
0
answers
29
views
Terminology question- Antihermitian elements
Let $V$ be a vector-space over a field $F$, and let $B$ be a non-degenerate bilinear form on $V$.
Question: Is there a common term to call an operator $x\in End(V)$ satisfying $$B(xu,v)+B(u,xv)=0\...
3
votes
0
answers
43
views
Sequence of neighboring orthogonal vectors
Let $v_1v_2...v_n$ be a sequence of vectors in $\mathbb{F}_2^{m}$. We say that this sequence is neighboring orthogonal if $\langle v_i, v_{i+1}\rangle = 0$ for each $i\in \{1,...,n\}$, where for each $...
4
votes
2
answers
209
views
Geometrical interpretation of pictures transforms and other "high dimensional everyday objects"
During the preparation of a general audience talk on why mathematicians use dimensions higher than three (or four) even for concrete applications, I came up with the following enjoyable observation : ...
10
votes
3
answers
830
views
Find the inverse of a matrix that is very similar to the Hilbert matrix
The standard Hilbert matrix $H$ is given by
$$H_{ij}=\frac{1}{i+j-1},$$
and it has an inverse given for example in this MO question.
Now I have encountered a matrix $M$ of similar form, namely,
$$...
2
votes
1
answer
325
views
Determinant and inverse of a "stars and stripes" matrix
This is a variant of another MO question. Consider the matrix
$$M_n:=\begin{bmatrix}c_1& a & b&a& \ddots & a \\ b & c_2 & a& b&\ddots & b\\ a & b & c_3&...
27
votes
6
answers
6k
views
Origin of exact sequences
I have seen exact sequences appearing a lot in algebraic texts with different purposes. But I've never seen names of the people associated with it. Also I don't understand what's so good about showing ...