All Questions
Tagged with linear-algebra reference-request
318 questions
1
vote
2
answers
860
views
Linear independence of exponential functions: a reference
Is there a publication containing this obvious fact: For any real $T>0$, any natural $n$, any complex $c_1,\dots,c_n$, and any distinct complex $z_1,\dots,z_n$ such that $\sum_1^n c_k e^{tz_k}=0$ ...
1
vote
2
answers
763
views
A basis for $\mathbb{Q_p}$ as a vector space over $\mathbb{Q}$
I was looking for a reference that illustrates a $\mathbb{Q}$-vector space basis for the field of p-adic numbers under the following action. Given a rational number $q$. write, $q=\frac{m}{n}$ where $...
1
vote
2
answers
1k
views
Linear Algebra classic books [closed]
I'm learning linear algebra at the moment, so I'm looking for some great old classic books. Something like Fermat's or Gauss books of some great mathematians.
I don't really like the nowadays books ...
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-...
1
vote
1
answer
152
views
Positive solutions to simultaneous real quadratic equations
I have a system of $n$ quadratic equations with $n$ unknowns. It can be written as
$diag(x)Ax=1$
$x$ is an $n$-vector, $A$ is $n\times n$, real, symmetric and positive definite, the diagonal ...
1
vote
1
answer
113
views
Conditions for the consistency of a system of affine polynomials
Let $f_1, f_2,\ldots,f_N$ be some affine polynomials. We consider the question if these polynomials have a common (affine) root. By homogenizing these polynomials, we can associate a projective ...
1
vote
1
answer
76
views
Determinant formula for a certain parametrized M-matrix
Let $P_{ij}$ be variables, and let $A \in \mathbb{R}^{n\times n}$ be the matrix defined by
$$
A_{ij} = \begin{cases}
-P_{ij} & i \neq j,\\
P_{i1} + P_{i2} + \dots + P_{in} & i=j.
\end{cases}
$$...
1
vote
2
answers
285
views
a follow up question on traces of matrices
In a recent MO post, pallab1234 ask for trace inequalities for which counterexample were given. I wish to probe in a different direction.
Suppose $A, B$ are $n\times n$ symmetric matrices (with ...
1
vote
2
answers
333
views
Condition for equality of modules generated by columns of matrices
Let $R$ be a commutative ring with unit. Let $M_A$ denote the submodule of $R^m$ generated by columns of a matrix $A$ with entries in $R$. Suppose we are given two matrices $A,B \in R^{m \times k}$. I ...
1
vote
1
answer
204
views
Interpret this matrix and its determinant
Let $n\geq1$ be an integer. Take the matrix $M(n)$, with entries, $M_{i,j}(n)=\sin\left(\frac{(i+j)\pi}2\right)$ if $i\neq j$ and $M_{i,i}(n)=x_i$.
I wish to ask (this question has been modified from ...
1
vote
1
answer
254
views
When does $\det \begin{pmatrix} A & X \\ X^T & A \end{pmatrix} = (\det A)^2 + (\det X)^2$?
Let $A$ be an $n \times n$ real symmetric matrix.
Let
$$
M = \begin{pmatrix} A & X \\ X^T & A \end{pmatrix}
$$
where $X$ is a real invertible $n \times n$ matrix. I am interested in finding ...
1
vote
1
answer
250
views
characterize certain type of matrices
I am trying to characterize matrices with a certain property :
Define $U$ as an $n \times n$ matrix (over C or R; you can also assume
that it is unitary or orthogonal if it helps). Now take $n$
...
1
vote
1
answer
205
views
Do the support sets of subspaces give the representable matroids?
Fact: Start with $V$ a subspace of $\mathbb R^n$. Take the set of all supports of vectors in $V$. Throw out $\emptyset$. You now have the dependent sets of some matroid.
Not sure you ...
1
vote
1
answer
254
views
references for families of conditionaly negative definite matrices
We say that a matrix $A\in M_n(\mathbb{C})$ is a conditionaly negative definite matrix if it is hermitian and if for all complex numbers $c_1,\ldots,c_n$ such that $c_1+\cdots +c_n=0$ we have
$$
\sum_{...
1
vote
1
answer
1k
views
Characterizing the set of self-orthogonal complex vectors
Let $v\in \mathbb{C}^n$ be an $n$ dimensional complex vector. Define the non-standard bilinear form $\left< u,v \right> = u^T v$ (the usual inner product except without the conjugation). What ...
1
vote
2
answers
3k
views
Fast algorithms for computing nullspace of a positive semidefinite matrix over Z
Let $A \in \mathbb{Z}^{n \times n}$ be a positive semidefinite sparse matrix. I am looking for asymptotically fast algorithms for computing the nullspace basis of $A$ (or just random elements in the ...
1
vote
1
answer
111
views
Decomposition of integral non-generate matrices [closed]
Let $GL_{\eta}(n,\mathbb{Z})=\left\{a\in
GL(n,\mathbb{R})\cap M^{n\times n}(\mathbb{Z})|det(a)=\eta\right\}$. Prove that there exists a
finite number of matrices $a_i$ in $GL_{\eta}(n,\mathbb{Z})$ ...
1
vote
1
answer
271
views
Jordan blocks of directed graphs
Let $G$ be a (possibly weighted) directed graph with $n$ vertices and let $P$ be its transition matrix. That is, $P = D^{-1}A$ where $A$ is the graph's adjacency matrix and $D$ is a diagonal matrix ...
1
vote
1
answer
1k
views
Does this linear algebra construction based on a graph have a name, and where has it been studied?
In the paper Kochen-Specker set with seven contexts by Lisonek, Badziag, Portillo and Cabello, the following construction is used :
Question : Have such constructions been used elsewhere, and if so ...
1
vote
1
answer
113
views
Expected rank - computable approximations
I'm interested in finding the expected rank of some random matrix $A$ (I don't want to specify its distribution right now, since my question makes sense in general).
Computing $\mathbb{E} \ \mathrm{...
1
vote
1
answer
417
views
Decomposition of Matrix to its sub-matrix with constant rank
When we study the structure of simple graphs with a lot of $1$ or $-1$ as its adjacency eigenvalues, the rank of its adjacency matrix is very important. The reason is, in these case, we can study the ...
1
vote
1
answer
160
views
Estimates of product of eigenvalues gaps for Wigner matrices
Let $W_n$ be an $n\times n$ Wigner matrix$^{1}$, and let $\lambda_1\le \lambda_2\le \cdots \le \lambda_n$ be the eigenvalues of $\frac{W_n}{\sqrt{n}}$.
My question. For any fixed $i\in\{1,\dots,n\}$, ...
1
vote
1
answer
247
views
Linearity of the directional derivative of a convex functional at the minimum
Let $H$ be a Hilbert space, $T_+(H)$ the set of positive self-adjoint trace-class operators on $H$, and $f : T_+(H) \to [0,m]$ a non-negative, bounded, convex functional. I don't necessarily know that ...
1
vote
1
answer
52
views
Reference Request: Randomly Generated Contraction
Let $n_1>n_2\geq 1$ be integers. Are there a known algorithms for generating $n_2\times n_1$-dimensional random matrices $A$ such that
$$
\|Ax - Ay\|<\|x-y\| \mbox{ if $x\neq y$}?
$$
1
vote
1
answer
100
views
category of non-welldefined linear maps
I was wondering whether the following category already has been used somewhere and whether it already has been named.
Let us fix a field $k$ (or more generally a ring). An object is just a $k$-vector ...
1
vote
1
answer
260
views
Axiomatic explanation of why the volume of a parallelepiped is equal to the area of its base times its height [closed]
I asked this in MSE, it flashed and disappeared.
Let $V_n$ be the volume on the set of polytopes in $\mathbb R^n$, defined axiomatically, i.e. a functional, that assigns to each polytope $P\subseteq\...
1
vote
0
answers
64
views
Reference request for non-banded Toeplitz matrix
I want to know references that treat the property of eigenvalues and eigenstates of the non-banded Toeplitz matrix.
I mean for example, the Toeplitz matrix $A$ whose matrix element is given by $A_{ij}=...
1
vote
0
answers
29
views
Can all real positive semidefinite Hankel matrices be decomposed into sum of rank 1 real positive semidefinite Hankel matrices?
Denote the set of real positive semidefinite $d\times d$ Hankel matrices as $\mathcal{S}$. Can we always decompose one $S\in \mathcal{S}$ into sum of rank $1$ $S_i\in \mathcal{S}$, i.e., $S=\sum_i S_i$...
1
vote
0
answers
61
views
Discrete-to-continuum convergence of principal Fokker-Planck eigenvalues
I am looking for a reference justifying the following statement.
Let $L^n$ be any "reasonably consistent" finite-difference approximation of the Fokker-Planck operator in dimension $d=1$
$$
...
1
vote
0
answers
158
views
Hankel transform of certain $\pm1$ sequences
The present discussion finds its motivation in the comments by Ira Gessel to my earlier MO question. More specifically,
$$\prod_{i\geq0}(1-x^{2^i})=\sum_{k\geq0}(-1)^{s_2(k)}x^k$$
where $s_2(k)$ is ...
1
vote
0
answers
61
views
Homology of infinite matroids of finite rank
Bjorner has a great paper about the homology of independence complexes of finite matroids, which is the usual context in matroid theory as far as I understand. However, I've also been told that often ...
1
vote
0
answers
83
views
Properties of a matrix built via a "matricization" of a unit vector [closed]
Suppose I have a unit vector $\vec v$, and I write it as a matrix, e.g., $16$-vector $\vec v=(v_1,\dots,v_{16})$, where $v_i$ is the $i$-th entry of the vector $\vec v$, is written as follows
$$\begin{...
1
vote
0
answers
152
views
Reference request: a class of matrices leading to interesting metric geometry
For $0 \le A \in GL(n,\mathbb{R})$, let $Aw = \Delta(A)$, where $\Delta$ denotes the map taking a matrix to a vector of its diagonal entries and/or forming a diagonal matrix from a vector, according ...
1
vote
0
answers
104
views
Convergence rate of Toda/Morse flow
Let $A(t), A_0$ be a $n\times n$ hermitian complex matrices and consider the following matrix flow
\begin{align}
\frac{dA}{dt} &= \left [ C\circ A , A \right ] \\
A(0) &= A_0 \ .
\end{align}
...
1
vote
0
answers
126
views
Algebraic structures on graphs
There are many algebraic structures linked to graphs.
For example one can find zero divisor graphs $[1]$, $[2]$ and many other graphs.
Does there exist any survey paper which characterizes all the ...
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
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 \...
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 ...
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{...
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 ...
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 ...
1
vote
0
answers
47
views
Partial ordering of a matrix entries [closed]
I need this for experimentation in some work, so it is not without purpose.
Consider the in-spiraling and out-spiraling $4\times 4$ matrices
$$\begin{pmatrix} 1&2&3&4 \\ 12&13&14&...
1
vote
0
answers
71
views
Name for a Specific Planar Linear Transformation
Is there a name for linear transformations of the plane, that make $4$ points in general convex configuration co-circular, with the biggest circle through those points and, how can they be determined ...
1
vote
0
answers
84
views
References for a minor variant of the Rayleigh quotient
I believe this variant of the Rayleigh quotient inequality must be well known but I could not find references for it online. It's proof is straightforward.
Let $\mathbf{A}\in\mathbb{R}^{n\times n}$ ...
1
vote
0
answers
90
views
Algorithms to compute the rank of a parametrized matrix [closed]
Motivated by my question on Mathematics StackExchange and by a question by Anirbit on the same site, I ask for some references on the problem of rank computation for a parametrized matrix. References ...
1
vote
0
answers
108
views
Reference request on operator matrices [closed]
I'm looking for a reference on linear, bounded, self-adjoint operators defined on the product space, $T:E\times F\to E\times F$ such that
$$Tx = \begin{pmatrix}A & B \\
C & D
\end{pmatrix}\...
1
vote
0
answers
229
views
Counting equivalence classes in the transitive closure of two equivalence relations
Let $X$ be a finite set, and let $P_i$ and $Q_j$ be two partitions of $X$:
$$\bigsqcup_i P_i = \bigsqcup_j Q_j = X.$$
The finest partition which is nevertheless coarser than both $P$ and $Q$ is ...
1
vote
0
answers
201
views
What is the MP pseudoinverse's role in statistical learning and Self-Organizing Maps?
During a discussion in our lab last month, a professor mentioned to me that the behavior of Self-Organizing Maps can be described in terms of repeated applications of the Moore-Penrose psuedoinverse, ...
1
vote
0
answers
396
views
Notation for bilinear form $y^t M z$, where $M$ is a matrix and $y,z$ are vectors.
I'm working on a problem where I need to consider a bilinear form of the form $y^t M z$ where $M$ is an $n$-by-$n$ real symmetric matrix and $y,z \in \mathbb{R}^n$ are vectors. I also need to consider ...
0
votes
1
answer
129
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$ ...