All Questions
Tagged with linear-algebra reference-request
318 questions
5
votes
2
answers
389
views
Pfaffian of several skew-linear transformations / matrices
Introduction: Let's assume we have a 2-form $\alpha=(1/2)\sum_{j,k=1}^n a_{jk}\ e_j\wedge e_k$, where $n=2m$, and $a_{jk}\in\mathbb C$. We know that $\alpha^{\wedge m}=\alpha\wedge\alpha\dots\wedge\...
- 8,597
0
votes
0
answers
290
views
Need any information about an affine lattice
Motivation - I was thinking about calculating the integrals from An interesting integral expression for $\pi^n$? using old plain Riemann sums. There, one needs integrating over that part of $[0,1]^n$ ...
- 8,071
4
votes
1
answer
313
views
The characteristic polynomial of the product of two linear recurrences
Let $\mathbb{F}$ be a field and let $(a_n)_{n \geq 0}$, $(b_n)_{n \geq 0}$ be two linear recurrences with terms in $\mathbb{F}$ and respective characteristic polynomials $f(X), g(X) \in \mathbb{F}[X]$....
- 263
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&...
- 43.2k
7
votes
2
answers
648
views
Laplace-like / cofactor expansion for Pfaffian
Wikipedia presents a recursive definition of the Pfaffian of a skew-symmetric matrix as $$ \operatorname{pf}(A)=\sum_{{j=1}\atop{j\neq i}}^{2n}(-1)^{i+j+1+\theta(i-j)}a_{ij}\operatorname{pf}(A_{\hat{\...
- 34.7k
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})$ ...
- 333
8
votes
2
answers
2k
views
Bounding the minimum singular value of a block triangular matrix
Question:
What is the sharpest known lower bound for the minimum singular value of the block triangular matrix
$$M:=\begin{bmatrix}
A & B \\ 0 & D
\end{bmatrix}$$
in terms of the properties ...
CommunityBot
- 1
3
votes
1
answer
3k
views
Diagonalize the simultaneous matrices and its background [closed]
For two $n \times n$ nonnegative definite Hermitian matrices $A$ and $B$ over the real number field $\mathbb R$:
Question1:Is there always a
nonsingular matrix $P$ over the same
field $F$ which ...
- 682
11
votes
3
answers
918
views
yet another determinant and inverse of a matrix
This problem is some variation of another MO question. Consider the matrix
$$M_n:=\begin{bmatrix}-c& a & a& \dots & a \\ b & c & a& \ddots & a\\ b & b & -c &...
CommunityBot
- 1
7
votes
1
answer
483
views
Generalized Rayleigh-quotient gradient flow on Grassmannian
The following theorem appears without proof in :
Helmke, Uwe, and John B. Moore. Optimization and dynamical systems. Springer Science & Business Media, 2012.
Let $A$ be a symmetric $n\times n$ ...
- 6,813
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 ...
CommunityBot
- 1
5
votes
1
answer
199
views
Find the inverse of a more general matrix that is similar to the Hilbert matrix
In the last MO question , the following matrix is given:
$$M_{ij}=\left[\frac{1+(-1)^{i+j}}{i+j-1}\right]$$
and its inverse has been discussed.
Now the problem is further extended to a more general ...
CommunityBot
- 1
2
votes
1
answer
668
views
Elementary bound on operator norm on symmetric tensors: reference request
My education didn't really cover Tensors very well, so I'm getting stumped by a quite elementary question.
Let $T_k$ be a type k symmetric tensor. We can define the "operator norm" (or the induced ...
- 11
15
votes
4
answers
4k
views
Kernel of skew-symmetric matrix of rank $n-1$ with $n$ odd: is this a known result?
When $n$ is odd, the kernel of a skew-symmetric matrix $M$ of size $n\times n$ and rank $n-1$ is the span of $v$, where $v$ is a vector whose $i$-th component is the Pfaffian of the matrix obtained by ...
- 52.3k
3
votes
1
answer
655
views
Upper bounds on the condition number of the eigenvector matrix
Let $A$ be an $n\times n$ real matrix with entries in a fixed interval $[a_\min,a_\max]$, with $a_\min$, $a_\max>0$.
Question: Are there any upper bounds on the condition number of the ...
- 2,286
3
votes
0
answers
174
views
Reference for a statement about upper triangular unipotent matrices
I am revising a paper, and a referee of that paper asked if the following little lemma we proved there is known:
``Let $X$ be an $n\times n$ upper triangular unipotent matrix over $\mathbb R$. There ...
- 29.8k
3
votes
0
answers
119
views
Increasing sequence of closed subspaces of $L^2$ and error estimate of a product of orthogonal projections
We define an increasing sequence of closed subspaces
\begin{align*}
V_{0} \subset V_{1} \subset V_{\ell} \subset \dots
\end{align*}
of $L^2(I)$ where $I=(0,x_{max})$, and each $V_{\ell}$ is equipped ...
- 131
2
votes
2
answers
3k
views
Linear programming with infinitely many constraints
I wish to study the following linear program
$$\begin{array}{ll} \text{minimize} & \mathrm c^{\top} \mathrm x\\ \text{subject to} & \mathrm A \mathrm x = \mathrm b\\ & \mathrm x \geq 0\...
5
votes
3
answers
1k
views
adjoint of multiplication operator in a commutative algebra
Dan Popescu asked me the following question, and since I'm not an expert I'm throwing his question on MO.
Suppose that $A$ is a finite-dimensional vector space over an ordered field $k$ with $\...
- 3,738
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 ...
12
votes
2
answers
4k
views
How can one construct a sparse null space basis using recursive LU decomposition?
Given an $m$ by $n$ matrix $A$ I'm familiar with the standard method to compute a basis for the null space of $A$ by computing a QR factorization of $A^T$. If $A$ is large and sparse, we can use ...
- 6,045
2
votes
0
answers
181
views
Size of Jordan blocks under random perturbations
Let $A \in \mathbb{C}^{n \times n}$ be some (fixed) matrix with eigenvalues $\lambda_{1},\ldots,\lambda_{n}$. Let $E$ be some random, small-normed, perturbation such that $\tilde{A} = A+E$ has ...
- 225
4
votes
1
answer
234
views
A trivialization of an almost complex structure
Recently, I have been studying the Carleman Similiarity Principle, which is used to study the regularity and unique continuation of J-holomorphic curves.
Roughly, one takes a solution $ u $ of a ...
- 337
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 ...
- 13.2k
10
votes
1
answer
520
views
Homogeneous polynomials, mixed determinants, positive definiteness
Are there $n\times n$ real matrices $A_{1}, \ldots, A_{n}$ such that the $n$-homogeneous polynomial
$$
f(x_{1}, \ldots, x_{n}) = \det(x_{1} A_{1}+\cdots +x_{n} A_{n})
$$
never vanishes on $\...
- 109k
2
votes
1
answer
306
views
distance from the mean of a normal distribution to the span of a random sample
Let $W$ be a $d\times k$ matrix whose columns are sampled from a multivariate normal distribution with mean $\mu$ and unit covariance. I'm interested in $|\mu - WW^+\mu|$, that is the distance from ...
4
votes
2
answers
890
views
Partitioning an orthogonal matrix into full rank square submatrices
Let $U$ be an $n \times n$ orthogonal matrix. Given an arbitrary partition ${\mathcal P}_c=\{y_1,y_2,\ldots,y_k\}$ of the columns of
$U$, does there always exist a corresponding partition ${\mathcal ...
- 81
6
votes
1
answer
456
views
How often does a pair of linear maps generate a Zariski-dense subgroup of $GL(d,\mathbb{R})$?
I am an analyst working on a number of problems which in some way relate to random matrix products. In this context I frequently find that the analytic properties I am interested in depend in some way ...
- 11.2k
13
votes
4
answers
2k
views
Groups of matrices in which all elements have all eigenvalues equal in modulus
I am writing a research article in which I need to use the following fact: if $G$ is a subgroup of $GL_3(\mathbb{R})$ which is irreducible in the sense that no proper nontrivial subspace of $\mathbb{R}...
- 63.9k
0
votes
1
answer
317
views
Some questions related to the unitary operators
A unitary operator is a surjective linear operator between complex inner product spaces, which preserves the inner product.
What is the name of the analogue for the real case? Orthogonal operator ...
- 5,529
5
votes
2
answers
2k
views
Bounding the minimal maximum norm of a solution of a linear system.
I would be grateful for pointing me out a reference to some general bound on the $\ell_{\infty}$ norm of a solution of a linear system. To be specific, suppose that we have an underdetermined linear ...
- 791
7
votes
4
answers
1k
views
Minimum negative eigenvalue of zero-one matrices
The following question must have been answered decades ago.
For $n$ fixed, what is the most negative eigenvalue among all trace zero zero-one matrices (that is, all entries are either zero or one, ...
- 24.2k
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 ...
- 54.2k
2
votes
2
answers
297
views
Looking for (information about) long diamonds
I was given an open problem as a birthday present recently. While I can probably handle spoilers at this point, what I really want are literature and other references. Also acceptable would be ...
- 3,946
2
votes
1
answer
223
views
Minimal Support Solutions of a Linear System (Dissertation)
For a given $n \times m$ matrix A with $m>>n$ and a given vector $\vec b \in \mathbb{F}^{n \times 1}$, and given that $A\vec{x}=\vec{b}$ for at least one $\vec{x} \in \mathbb{F}^{m \times 1}$, ...
- 32.1k
4
votes
2
answers
2k
views
A reference about Grassmannian over finite fields
Suppose $Gr_k(k,n)$ the Grassmannian which classifies all the dimension $k+1$ sub-spaces of a dimension $n+1$ linear space over the field $k$. For the case over a finite field $\mathbb F_{q}$, we can ...
- 1,590
13
votes
1
answer
1k
views
An inequality for the spectral radius of matrices used by J. Bochi
I am interested in the history of an inequality for the spectral radius of a $d\times d$ real or complex matrix, which occurs in Jairo Bochi's 2002 article Inequalities for numerical invariants of ...
- 6,206
16
votes
4
answers
1k
views
Reference for a linear algebra result
I asked the following question (https://math.stackexchange.com/questions/1487961/reference-for-every-finite-subgroup-of-operatornamegl-n-mathbbq-is-con) on math.stackexchange.com and received no ...
CommunityBot
- 1
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}$ ...
- 6,813
10
votes
0
answers
477
views
Name for an operation on matrices?
Given two matrices $A$ and $B$ of size $a \times n$ and $b \times m$ consider the following operation $A \dagger B$ whose result is an $a b^n \times n m$ matrix. $A \dagger B$ is a block matrix with $...
- 33.8k
5
votes
0
answers
135
views
Relative invariants of $P\oplus P^*$
Let $P$ be a $\mathrm{GL}(V)$-module, and assume that the decomposition of $P$ into irreducible submodules is known. By a relative invariant of the module $P\oplus P^*$, I mean a homogeneous nonzero ...
- 2,527
0
votes
1
answer
229
views
Reference request: Strong Connectivity and the Incidence Matrix
Question: What would be a good reference for characterizations of strong connectivity of a digraph in terms of its incidence matrix?
Details: Consider a digraph $(V, E)$ with vertex set
$$V = \{v_1,...
CommunityBot
- 1
4
votes
2
answers
758
views
Riemannian metric of hyperbolic plane
I'm fishing for the origin of the idea to consider "trace scalar product" on the space of ($G$-)orthogonal projectors as means of defining a Riemannian metric on some subset of lines in a vector space....
- 8,597
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$
...
- 443
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,590
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\...
CommunityBot
- 1
6
votes
1
answer
192
views
Monte-Carlo computation of the Smith normal form
Quite some time ago I saw an article where a Monte-Carlo algorithm for computing the Smith normal form of an integer matrix was described. In this article the following problem was posed:
Suppose $P, ...
- 39.9k
35
votes
4
answers
2k
views
Why there is a relation among the second-order minors of a symmetric $4\times 4$ matrix?
A $4\times 4$ symmetric matrix
$$
\left(
\begin{array}{cccc}
a_{11} & a_{12} & a_{13} & a_{14} \\
a_{12} & a_{22} & a_{23} & a_{24} \\
a_{13} & a_{23} & a_{33} & ...
- 156k
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 ...
- 44.7k
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 ...
- 156k