**0**

votes

**1**answer

255 views

### Is there a Gröbner basis analogue that exists for vector spaces?

Suppose I have a coordinate system $t_1,\ldots t_N$ with a lexicographical ordering. Let LT denote choosing the lowest term of a polynomial with respect to this ordering. e.g. LT$(t_1 + t_2)=t_2$.
...

**0**

votes

**2**answers

103 views

### Can any antilinear involution be trivialized by a change of basis?

Consider an antilinear involution, that is an antilinear map on a complex vector space, whose matrix $M$ obeys $MM^*=1$ where the star denotes complex conjugation. Can we find a change of basis whose ...

**4**

votes

**1**answer

214 views

### Generalized Cauchy-Binet sum over a fixed subset of indices

I originally posted this on math.stackexchange, but it quickly got buried. I removed it not too long after, thinking of rewriting it for MO, but I didn’t have a chance to post it until now. Apologies ...

**3**

votes

**2**answers

139 views

### Linearly independent family of sequences of rationals with a cardinal equal to the continuum

I'm coming back to this question. Is it possible to have "an explicit" linearly independent family of sequences of rationals with a cardinal equal to the continuum?
PS: sorry for the duplicate on the ...

**0**

votes

**0**answers

55 views

### The space of sequences of rationals and its dimension [duplicate]

In the following page, I give an example of a vector space not isomorphic to its double dual.
I use the space $E$ of sequences of reals. Its dimension (over the field of the reals) is the one of the ...

**2**

votes

**0**answers

40 views

### Random matrices whose limit gives exact Wigner surmise

Let $M$ come from an ensemble of $N\times N$ matrices. The Wigner surmise is density function $p^W_0(s)=\frac{\pi}{2}se^{-\pi s^2/4}$. From a random matrix point of view, we can write ...

**1**

vote

**0**answers

74 views

### MInors related problem [closed]

A matrix $A$ has $m$ rows and $n$ colums, such that $m \leq n$. We know that each row of $A$ has the norm $1$ (the norm of an element $x=(x_1,x_2,...,x_n) \in \mathbb{R}^n$ is ...

**5**

votes

**3**answers

202 views

### Why is the spectrum of this matrix product invariant with respect to order of the multiplicants?

I've been chewing on the following problem for some time and I just don't have any more ideas how to tackle it. I have matrices $A_1,...,A_k \in \mathbb R^{n\times n}$ and I'm observing that the ...

**11**

votes

**1**answer

200 views

### Hlawka inequality for determinants of positive definite matrices

It is mentioned here that if $A, B, C\in M_{n}(\mathbb C)$ are positive semidefinite, then $$\det (A+B+C)+\det C\ge \det (A+C)+\det (B+C)$$ (quoted from this article) and the special case ($C=\bf 0$) ...

**2**

votes

**0**answers

157 views

### Eigenvalues of this matrix

I have a linear map that is defined by $$T:\text{lin}(1,...,x^m) \rightarrow \text{lin}(1,...,x^m) \text{ with}$$ $$x^k \mapsto 2w(k-m)x^{k+1}+(k^2-k-w^2)x^k-2kwx^{k-1}+(k-k^2)x^{k-2}$$
Let me give a ...

**7**

votes

**1**answer

145 views

### Compute only selected components of an eigenvector

I am wondering whether it is possible to compute portions of the eigenvectors of a given (possibly very big) matrix. More formally, consider the eigenvalue problem $\mathbf{Ax} = \lambda \mathbf{x}$, ...

**4**

votes

**1**answer

176 views

### $n$ columns of a specific “infinite” Vandermonde matrix always linearly independent? [closed]

Consider the "infinite" Vandermonde matrix
$$
V (x_1, x_2, \ldots , x_n) =
\begin{pmatrix}
1 & x_1 & x_1^2 & \cdots & x_1^{n-1} & x_1^n & x_1^{n+1} & \cdots \\
...

**3**

votes

**1**answer

97 views

### Let $A\in\operatorname{M}_n(F)$ be a matrix, how to prove $\bigcap_{X\in C(A)}C(X)=F[A]=\frac{F[x]}{(m_A(x))}$

I asked the following question on Math Stack Exchange, but no people reply. I know MO is more professional and it is for mathematicians to discuss research problems. Maybe this question is unsuitable ...

**-1**

votes

**1**answer

84 views

### Action of rotation group on Matrices [closed]

Is the following assertion true?
Suppose $p, q \geq 3$. Consider the action of $SO(p,\mathbb{R})$ on $p \times q$ matrices by left multiplication. I want to show that $MA = A$, where $M \in ...

**-3**

votes

**1**answer

123 views

### A problem that involves matrix and Lorentz Transformation [closed]

To be clear I address the question in two parts as below. All matrixes involved are real four-dimensional matrixes.
$1.$Let $G$ be the matrix $diag(1,-1,-1,-1)$. $A$ is a matrix satisfying $A G ...

**1**

vote

**1**answer

76 views

### Connection between eigenvalues of A and its LDL decomposition

Consider an undirected graph $G$ with $N$ vertices and its adjacency matrix $n_{ij}$: $n_{ij} = 1$ if vertices $i$ and $j$ are connected by an edge and $n_{ij} = 0$ otherwise. Consider $A_{ij} \equiv ...

**1**

vote

**2**answers

110 views

### The set of matrices with same spectral radius

I am working on an optimization problem over the set of positive matrices (that is, matrices where all entries are positive numbers) that have the same spectral radius. My main problem is how to ...

**3**

votes

**0**answers

62 views

### Dimension of the sum of images of transpose

$\newcommand{\rank}{\operatorname{rank}}\newcommand{\im}{\operatorname{im}}$
Given $A,B\in M_{n\times n}(k)$, define $\rank(A,B):=\dim(\im A+\im B)$. I'm looking for results regarding relationships ...

**9**

votes

**1**answer

253 views

### What is known about the distribution of eigenvectors of random matrices?

Let $A$ be a real asymmetric $n \times n$ matrix with i.i.d. random, zero-mean elements. What results, if any, are there for the eigenvectors of $A$? In particular:
How are individual eigenvectors ...

**2**

votes

**1**answer

81 views

### Solution to generalized Sylvester equation

I am interested in solving generalized Sylvester equations (for $X$) of the form:
$$ \sum_{j=1}^k A_j X B_j^T = F, $$
where $A_j,B_j,X,F\in\mathbb{C}^{n\times n}$ and $k$, $n$ are integers. I will ...

**1**

vote

**0**answers

79 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
...

**0**

votes

**1**answer

99 views

### Symmetric Zero-Diagonal Matrices

Consider matrices with entries in a field $F$ of characteristic $2$. Let $\Omega$ denote the $2n\times2n$ matrix $\left[\begin{array}{ll}0&1_n\\1_n&0\end{array}\right]$. Then $X^t\Omega X$ is ...

**0**

votes

**0**answers

62 views

### Speed up Linear programming

I have a linear programming problem like this:
minimize $c^t X$
under the constraint that $AX \ge b$.
I will need to solve this linear programming problem online many times. I need it to be as fast ...

**0**

votes

**0**answers

26 views

### Find relationships between events

I have a set of Events $(E_i)_i$ which have a probability $(P_i)_i$.
I am able to write each event as a sum of distinct events that form a partition of the space.
My goal is to find all the ...

**1**

vote

**1**answer

98 views

### Checking the intersection of two sets

Let $E\subset{\mathbb R}^n$ be a set of the type $I_1\times \dots \times I_n$, where $I_k$ are real intervals, and $X$ be and $n\times p$ real matrix. Suppose also that $rank(X)=p$ and $n>p$. Is ...

**0**

votes

**0**answers

43 views

### Multiplicative Symmetrization of Bilinear Forms

Let $F$ be a field of characteristic $2$, let $V$ be an even dimensional $F$-vector space, let $B$ be a non-degenerate symplectic bilinear form on $V$ and let $^*$ be the adjoint of $B$ on ${\rm ...

**0**

votes

**0**answers

54 views

### Applying a linear operator to a basis set following SVD orthonormalization

Define $\Phi$ as an $N$x$N$ dense, symmetric matrix, who's columns represent a set of $N$ non-orthogonal bases.
My intention is to:
decompose $\Phi$ via SVD:
$U \Lambda V^T = \Phi$
to create it's ...

**1**

vote

**0**answers

116 views

### Bounds on the effect of a matrix product on the Frobenius norm

I was wondering if there was a way to put upper and lower bounds on the Frobenius norm of a matrix product in relation to the Frobenios norm of one of the individual matrices, i.e,
...

**5**

votes

**0**answers

195 views

### Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course.
Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...

**9**

votes

**0**answers

206 views

### Determinant inequality involving Hermitian, positive definite matrices

Question:
Let $A,B,C\in M_{n}(C)$ be Hermitian and positive definite matrices such that:$$A+B+C=I_{n}$$
Show that:
$$\det\left(6(A^3+B^3+C^3)+I_{n}\right)\ge 5^n\det(A^2+B^2+C^2)$$
This question ...

**0**

votes

**1**answer

86 views

### Action of $(\mathbb{Z}/2g\mathbb{Z})$ on quadratic forms on $\mathbb{Z}/2\mathbb{Z}$-vector space

Let $\mathbb{Z}/2\mathbb{Z}$ the 2 elements field, with additive notation.
I need some clarifications on the relation between quadratic forms on a $\mathbb{Z}/2\mathbb{Z}$-vector space (say, of ...

**0**

votes

**0**answers

83 views

### determinant inequality for symmetric positive definite matrices

Assume that A and B are symmetric, positive definite matrices of the same size.
For which set of real parameters $\alpha $ and $\beta$ the following relation holds
...

**3**

votes

**1**answer

119 views

### Two matrix Fisher distributions on SO(3)?

After the uniform distribution (normalized Haar measure), the matrix Fisher distribution seems to be the most popular probability distribution on the Lie group SO(3). The density is proportional to ...

**19**

votes

**1**answer

814 views

### Recognize this strange expression from linear algebra?

I've come across an odd-looking expression and oh how I wish I had a more elegant description of it. Maybe someone who enjoys symmetric bilinear forms in characteristic two will recognize it? Or ...

**0**

votes

**2**answers

140 views

### Proof for a Rank-One Decomposition Theorem of Positive (semi) Definite Matrices

Consider the following result which I recently came across in a research paper in my area (Signal Processing)
Let $X$ be a $N\times N$ positive semidefinite (psd) matrix whose rank
is $r$. Let ...

**0**

votes

**1**answer

220 views

### Largest eigenvalue of the sum of hermitian matricies [closed]

Is there an expression for the largest eigenvalue of the sum of two hermitian matricies in terms of the spectrum of the same matricies?

**0**

votes

**1**answer

60 views

### Schur norm for self-adjoint operators

If $A$ is a $n \times n$ complex matrix then the Schur norm of $A$ is given by $$ || A||_S := \max_{||B||=1} ||A*B||,$$ where $||. ||$ is the operator norm and $*$ is the Hadamard (entry-wise) ...

**4**

votes

**1**answer

55 views

### What are the upper bound and stability conditions for the following simple linear system?

Consider the following linear system
$$\dot{x}=\sum\limits_{i=1}^{m}{{{\alpha }_{i}}}\left( t \right)\cdot {{A}_{i}}\cdot x \quad (1)
$$
where, $x\in {{\mathbb{R}}^{n}}$ represents the state vector, ...

**4**

votes

**0**answers

88 views

### Strong convexity of the trace of the square root of a matrix function

Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...

**0**

votes

**1**answer

117 views

### Dimension of Commutator Space [closed]

For each $n\times n$ matrix $A$ with real entries the set
$$C(A)=\{X\in M_n(\mathbb{R}): AX=XA\}$$
is obviously a linear subspace of $M_n(\mathbb{R})$.
Can we recognize the dimension of this ...

**0**

votes

**1**answer

134 views

### Proving that the eigenvalues of a certain matrix product are positive

Let $A$ be an $m \times n$ matrix, and define:
\begin{align*}
U &= {\rm diag} \{ \frac{1}{\beta_j} \}, \beta_j = \sum_{k=1}^m |a_{kj}|, j = 1 \dots n \\
V &= {\rm diag} \{ \frac{1}{\alpha_i} ...

**2**

votes

**0**answers

69 views

### Multi-dimensional permanent of structured tensor

I am facing the multidimensional permanent
\begin{equation} \text{perm}(W) = \sum_{\sigma, \rho \in S_n} \prod_{j=1}^n W_{j, \sigma_j, \rho_j } \end{equation}
of a 3-tensor $W_{j,k,l}$ of ...

**0**

votes

**1**answer

47 views

### Adjusting matrix in generalized eigenvalue problem for the design of eigenfunctions

Take two matrices $A,B \in \mathbb{R}^{n\times n}$. I am considering the generalized eigenvalue problem ($\gamma \in \mathbb{R}, \phi \in \mathbb{R}^n$)
$$A\phi = \gamma B\phi.$$
Is there a ...

**7**

votes

**1**answer

233 views

### Block Matrix determinant

Consider the $k \times k$ block matrix:
$ C = \left(\begin{array}{ccccc} A & B & B & \cdots & B \\ B & A & B &\cdots & B \\ \vdots & \vdots & \ddots & ...

**2**

votes

**1**answer

98 views

### How can I prove that the negative biased triangular kernel is positive semidefinite

How can I prove that the following triangular kernel function defined in $[0, 1] \subset R^1$
$k(x, x') = (1 - 2|x-x'|)$
is a positive semidefinite function?
It turns out to be psd function when ...

**3**

votes

**1**answer

110 views

### $\mathcal{H}$-polyhedron under a linear map

Let $P = \{ x \in \mathbb{R}^n \mid Ax \leq b \}$ be a (bounded) polyhedron for $A \in \mathbb{R}^{m \times n}$ and $b \in \mathbb{R}^m$, $n,m > 0$.
Moreover, let $M \colon \mathbb{R}^n \to ...

**2**

votes

**0**answers

74 views

### Separating duality for TVS?

What is the modern concept (term) for "separating duality" (dualité séparante in french) in the sense of Bourbaki (TVS Ch II § 6) as explained in the following ?
...

**0**

votes

**0**answers

65 views

### Bounding multiplications of PSD random matrices

Consider the following setup,
$(X, \hat{X}, Y, \hat{Y})$ are four $n \times n$ real, symmetric, full-rank, positive-definite matrices with entries between zero and one and operator norm $O(n)$.
The ...

**9**

votes

**2**answers

356 views

### Is there a hyperplane avoiding two independent sets?

Let $V$ be a vector space over a field with $5$ elements, $A,B \subseteq V$ independent subsets. Must there be a subspace of $V$ of codimension 1 disjoint from $A \cup B$?

**2**

votes

**1**answer

353 views

### Who defined and who coined “module”?

The title of my Q. says it all:
QUESTION: Who defined and who coined: module?
Would it be Emmy Noether?
EDIT In view of @anon's and KConrad's answers, and as it could have been ...