All Questions
6,292 questions
3
votes
1
answer
419
views
Maximal size of an almost-disjoint linearly independent family in $K^{\mathbb{N}}$
Let $K$ be a field, say infinite, and denote by $L$ the $K$-vector space $K^{\mathbb{N}}$. What is the maximal cardinality of a $K$-linearly independent subset $X$ of $L$ such that any two distinct ...
- 76
2
votes
0
answers
46
views
Bases witnessing orthogonality of maps
Say $A$ and $B$ are finite-dimensional inner product spaces, and $L$ and $M$ are linear maps from $A$ to $B$.
If there are orthonormal bases $\mathcal{A}$ for $A$ and $\mathcal{B}$ for $B$ such that ...
- 2,284
2
votes
3
answers
355
views
Geometric means of matrices beyond the positive definite cone
Recently a lot of work has been done on geometric means of positive definite matrices (see here and here for example). Has anyone extended this concept to larger sets of matrices (copositive, for ...
- 6,962
3
votes
1
answer
1k
views
What is the significance of matrix ordered algebras?
I am trying to grok matrix ordered operator algebras, but I am having a hard time understanding their significance from the definition. Here is the definition (or at least, one way of stating it):
...
1
vote
2
answers
2k
views
Alternative to Choleski Decomposition for Correlation Matrix
Let $\Sigma$ be a correlation matrix, ie. symmetric. The Choleski decompositon gives upper triangular $A$ such that $A^TA = \Sigma$. Instead of upper triangularity, we are looking for $A$ that is not ...
- 11
2
votes
1
answer
928
views
Paralel bezier curve
If I have a cubic Bezier curve specified by two endpoints and two control points, how can I find an offset curve which is "parallel" to the original at some given distance, after i have determined the ...
- 123
3
votes
1
answer
346
views
Iterated Lefschetz numbers
Given a pseudo Anosov mapping class $f:S_{g,n}\rightarrow S_{g,n}$ is the Lefschetz number for $f^m$ negative for some $m$ depending only on $(g,n)$?
The Lefschetz number of a mapping class $f$ can ...
- 105
2
votes
1
answer
2k
views
Iwasawa Decomposition for Matrices [closed]
I was asked to prove that if
$$ T_{n}^{+}(\mathbb{R}) \subseteq M_{n}(\mathbb{R})$$
denotes the set of upper triangular matrices with positive diagonal entries, then prove that the multiplication ...
- 339
1
vote
0
answers
205
views
A generalization of strictly upper triangular matrces
Let $A = [a_{ij}]_{n\times n}$ be a real matrix with the property $a_{ij}a_{ji} = 0$. What can be said about the eigenvalues of$A$ ? I want to know when $A$ is non-singular and when $A$ is nilpotent. (...
- 191
6
votes
1
answer
763
views
a question of ranks of matrices
Let $S=\{A_{1}, ..., A_{m}\}$ be a set of $n \times n$ symmetric matrices and $m>n$, the rank $r(A_{i})=1$ for each $i$. Suppose that for any $m-1$ matrices $\{A_{i_{1}},...,A_{i_{m-1}}\}$ in $S$, ...
- 1,921
5
votes
1
answer
227
views
Uniform hyperbolicity decay estimate
I have been trying to understand the proof of the following result, which is considered well-known.
Theorem: Fix a compact metric space $X$, a homeomorphism $T:X \to X$, and a continuous map $ A : ...
- 437
4
votes
1
answer
214
views
The d-dimensional matrix with columns (1,0,0…), (1/2,1/2,0,…), (1/3,1/3,1/3,0,…),…, (1/d,1/d,…,1/d)
During the course of physics research on nonequilibirum statistical mechanics involving the theory of majorization, I have come across a linear transformation on a d-dimensional vector space that I ...
- 41
5
votes
1
answer
490
views
A naive question on eigensheaves for group actions on derived categories
In this Mathoverflow question, Examples of Eigensheaves outside of langlands, David Ben-Zvi says
" Given a G -space X you can recover quasicoherent sheaves on X from sheaves on X/G (ie equivariant ...
- 1,331
1
vote
1
answer
514
views
Semidefinite relaxation for a quadratic feasibility problem using CVX
The following decides the feasibility of a semidefinite program (SDP)
\begin{align}
\max_{\mathbf{Z}}~0 \\\
\mathrm{trace}(\mathbf{Z})\leq \rho \\\
\mathrm{trace}(\mathbf{S}_1\mathbf{Z}) \geq \alpha \...
- 1,421
7
votes
3
answers
301
views
Sets from $(F_2)^n$ which are not fixed by any non-identity isomorphism
This is a followup question to the discussion in the comments of
Sets which are not fixed by any non-identity isomorphism
So consider a finite $n$-dimensional vector space $V$ over $F_2$. For which ...
- 407
8
votes
3
answers
461
views
Sets which are not fixed by any non-identity isomorphism
Consider a finite dimensional vector space $V$ over a field (finite or infinite but big enough). I am looking for a subset $W$ of $V$ such that for any bijective but non-identity linear map $T: V \...
user38140
6
votes
2
answers
2k
views
What is known about the spectrum of a Cauchy matrix?
Math people:
A Cauchy matrix is an $m$-by-$n$ matrix $A$ whose elements have the form
$a_{i,j} = \frac{1}{x_i-y_j}$, with $x_i \neq y_j$ for all $(i, j)$, and the $x_i$'s and $y_i$'s belong to a ...
- 533
2
votes
0
answers
395
views
A conjecture about vector space (repost from math.SE)
This post is copied from math.SE in the following link:
https://math.stackexchange.com/questions/456398/a-conjecture-about-vector-space
I have posted the question two days ago, but receive no answer ...
- 29
4
votes
3
answers
394
views
Algebraically Independent Numbers and Affine Linear Maps
Suppose I have two lists $\alpha_1,\dots,\alpha_k$ and $\beta_1,\dots,\beta_k$ of real numbers such that all $2k$ numbers are mutually algebraically-independent over the rationals. For each $i \in \{1,...
- 143
3
votes
1
answer
944
views
numerical range of a column-zero-sum matrix
I am trying to produce an example of a (necessarily non-normal) matrix that has only eigenvalues with positive real part, but whose numerical range contains elements with strictly negative real part. ...
- 3,388
5
votes
3
answers
3k
views
A nice necessary and sufficient condition on positive semi-definiteness of a matrix with a special structure
Let
$$
A =
\begin{pmatrix}
\sum_{j\ne 1}a_{1j} & -a_{12} & \cdots & -a_{1n}\\
-a_{21} & \sum_{j\ne 2}a_{2j} & \cdots & -a_{2n}\\
\vdots & \vdots & \ddots & \...
0
votes
1
answer
261
views
Name for a Specific Type of Non-Symmetric Bilinear Form
Let $V$ be a finite dimensional vector space, with some choice of basis $\{e_i\}_{i \in I}$. With respect to an idempotent bijection $B:I \to I$, define a bilinear form by
$$
g = \sum_{i=1}^N \lambda_{...
7
votes
3
answers
622
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 ...
- 2,075
9
votes
3
answers
4k
views
Is there a reference for compact imbedding theory of Hölder space?
This question is posted and unanswered from math.stackexchange.
Suppose $0 < \alpha < \beta$ and $\Omega$ is bounded. Then, the Hölder space $C^\beta(\Omega)$ is compactly imbedded to $C^\alpha(...
- 1,399
7
votes
1
answer
531
views
Are dual spaces barreled?
Let $X$ denote a topological affine space (with no additional assumptions). Let $X^*$ denote its dual space of continuous affine functionals, equipped with the weak-$*$ topology. It is easy to see ...
- 8,512
2
votes
2
answers
269
views
Is my use of the eigendecomposition correct here?
I'm exploring different techniques to efficiently solve some matrix equations. My situation is that I have a matrix $\textbf{H} = \textbf{J}^T \textbf{J}$, where $\textbf{J}$ is a matrix with no ...
- 123
1
vote
0
answers
1k
views
Do skew symmetric matrices ever naturally represent linear transformations?
I am used to thinking of matrices in terms of linear transformations, but it occurred to me that skew-symmetric matrices are a potential counterexample.
I can think of at least two examples in which ...
- 7,347
2
votes
1
answer
123
views
Iterated Reduced Tensor Power of Graded Vector spaces
This might be inappropriate for the MO-level. If so I'll delete it...
Suppose $V$ is a $\mathbb{Z}$-graded vector space and
$\overline{T}(V):=V \oplus V\otimes V \oplus \otimes^3 V \ldots$
is the '...
- 624
4
votes
2
answers
359
views
A certain type of constrained Rayleigh-Ritz ratio
Let $\mathbf{A_1}$ and $\mathbf{A_2}$ be two hermitian matrices. Consider the problem
\begin{align}
\max_{\mathbf{u}^H\mathbf{u}=1}~\mathbf{u}^H\mathbf{A}_1\mathbf{u} \\\
\mathbf{u}^H\mathbf{A}_2\...
- 1,421
2
votes
1
answer
276
views
Possible pathological properties of positive definite matrix
Suppose $A$ is a positive definite matrix such that$$ I \preceq A \preceq 1.01I.$$ Is it possible that $\sum\limits_{i=1}^n A_{1i}$ can be arbitrarily large?
- 55
1
vote
1
answer
181
views
Estimating the relation between the covariance of a vector and a monotone function of the same vector
Let $\boldsymbol{X}\in\mathbb{R}^n$ be a random variable with positive entries ($X_i\geq a>0$). I want to characterize the relation between the second moment matrix $\boldsymbol{M}$, defined as
$$ ...
- 137
2
votes
1
answer
461
views
Positive definite to nonnegative
A simple question that I was pondering on while examining some algorithms that work similarly for positive definite and nonnegative matrices.
Let $\mathcal{H}$ be the space of (let's say for now $2\...
- 20.2k
0
votes
3
answers
2k
views
rank of outer product
I would like to ask if you may know how to prove this claim or any theorem related:
Given 9 points (x,y,z) lie on unit sphere in 3 dimensional space such that any 4 points are not on the same plane. ...
- 3
3
votes
2
answers
2k
views
Invariants of Matrix Reordering
are there any invariants of matrices, that are not affected by row- and/or column permutations?
To me it seems that the sequence of singular values could be such an invariant; am I right, resp. are ...
- 13.2k
3
votes
1
answer
259
views
Classifying all Equivariant Bilinear Forms on a Finite-Dimensional Module
Given a finite dimensional (real) vector space $V$, and two non-degenerate bilinear forms $(\cdot,\cdot)_1$ and $(\cdot,\cdot)_2$, one can use a basic linear algebra argument to show that there exists ...
20
votes
4
answers
2k
views
Does Anyone Know Anything about the Determinant and/or Inverse of this Matrix?
The matrix I am inquiring about here is the $n \times n$ matrix where the entry $A_{ij}$ is $\frac{1}{(i+j-1)^2}$. The $2 \times 2$ matrix looks like
$$
\begin{pmatrix}
1 & 1/4 \\
1/4 & 1/9
\...
- 209
4
votes
3
answers
756
views
On tensor products of "generic" vectors
Suppose that $x_1,\ldots,x_n$ are $n$ vectors in $\mathbb{R}^m$ (where $m<n\leq m^2$) such that any subset of $m$ of them are linearly independent (i.e., they are "generic"). Now, form the $m^2\...
- 168
6
votes
3
answers
148
views
Algorithm to quickly compute the individual inverses of a linear sequence of matrices
Fix $n \times n$ real symmetric positive definite matrices $A$ and $B$. Fix vectors $x$ and $y$ in $\mathbf{R}^n$. I want to compute the following bilinear products quickly: $\{x^T (A+mB)^{-1} y\}_{m=...
- 328
4
votes
3
answers
784
views
A textbook on linear algebra where involutions on linear spaces are considered
Let us call an involution on a complex linear space $X$ an arbitrary $\mathbb R$-linear map $x\in X\mapsto x^*\in X$ that satisfies the following identities:
$$
x^{**}=x,\qquad (\lambda\cdot x)^*=\...
- 7,426
3
votes
0
answers
125
views
Copositivity in matrix pencils
Given two square symmetric matrices $A,B$ of the same order, the matrix pencil $P(A,B)$ is the set of linear combinations of $A$ and $B$. Finsler's theorem gives an elegant criterion for $P(A,B)$ to ...
- 6,962
11
votes
2
answers
6k
views
Canonic identification of the tangent space of the Grassmannian
let $Gr(k,V)$ be the grassmannian of k-dimensional subspaces of the complex vector space $V$ of dimension $n>k$.
I know that, given $K\in Gr(k,V)$, $T_{Gr(k,V),K}\simeq Hom(K,V/K)$, but i want to ...
- 175
3
votes
2
answers
270
views
Equivariant cohomology and complex non-degenerate bilinear forms
Let $M = GL(n,\mathbb{C})$ be the set of non-degenerate bilinear forms on $\mathbb{C}^n$ (not necessarily symmetric). The general linear group $G = GL(n,\mathbb{C})$ acts on $M$ in the usual way
$$G\...
- 96
0
votes
0
answers
266
views
Finding the effective maximum number of subspaces in a finite dimensional vector space
Hi mathoverflow community, may be some one may give me a hint on the following problem before I spend much time on brute force search.
For $q$ a prime number and $n=6$, let $\mathbb {F}_{q}^{n}$ be ...
4
votes
1
answer
480
views
Isomorphisms between topological vector spaces [closed]
Let $f : X \to Y$ be a continuous map of complete topological vector spaces. Suppose that $A \subseteq X$ and $B \subseteq Y$ are proper, dense linear subspaces, and that the restriction map $f : A \...
- 8,512
5
votes
0
answers
153
views
What is the composition in SesquiAlg?
To motivate my question, I will describe a famous 2-category. First, there is the 1-category $\text{Vect}$ of vector spaces (over some fixed field). This category has a tensor product $\otimes$, and ...
- 54.6k
4
votes
1
answer
370
views
Norms for complex measures
I'm searching for a state of the art introduction to norms on the space of complex measures (on $\mathbb R^n $, for example, or some compact subset thereof). I'd be interested in inequalities of the ...
- 123
4
votes
1
answer
317
views
primitive polynomial in $F_2$
Let $d$ be a prime number. Is the polynomial $x^d+x+1$ a primitive polynomial? In other words I need the minimal polynomial of $\alpha$ in $F_{2^d}=F_{2}(\alpha)$.
Thank you.
- 153
2
votes
1
answer
822
views
Diagonalization of Quaternion Hermitian matrices
How do I go about diagonalizing such a matrix.
I ask because I need to sort out the following problem:
Let $D$ be the quaternion algebra over $\mathbb{Q}$ with $i^2 = -1, j^2 = -11, ij=-ji=k$.
...
- 562
1
vote
0
answers
324
views
Linearization of cones
Suppose that $K$ is a closed convex cone in $R^{n}$. Is there a "nice" function $f:R^{n} \rightarrow R^{m}$ so that $f(K)$ is a subspace? What about an approximate subspace?
- 6,962
3
votes
0
answers
262
views
Matrix-tree for matrices with constant diagonal
I've got a symmetric matrix $A$ whose entries are in $\{0,-1,1\}$, with the diagonal entries all equal to $1$. I'm interested in finding a combinatorial description of the entries of the inverse of $A$...
- 6,962