**1**

vote

**0**answers

154 views

### Is there a method to simultaneously block-diagonalize a set of group matrices?

Assume that you are explicitly given the representation matrices of a group.
How does one go about finding that common basis which will find the irreducible components of all of them simultaneously?
...

**1**

vote

**0**answers

55 views

### What are good bounds on ratios of subdeterminants?

Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...

**5**

votes

**1**answer

159 views

### The Maximal $\ell_2$ norm of a signed sum of vectors

Suppose we have $n$ vectors in $\mathbb{R}^n.$ Consider the signed sum of these vectors:
$$U(s_1,\ldots,s_n)=s_1 v_1+s_2 v_2 + \ldots + s_n v_n$$
where $s_j$'s can only take values of $+1$ or $-1.$ I ...

**0**

votes

**1**answer

82 views

### Scalar restriction and scalar extension

Consider a morphism of commutative rings $h\colon R\rightarrow S$. This yields the two functors $h_*\colon{\sf Mod}(S)\rightarrow{\sf Mod}(R)$ (scalar restriction) and $h^*\colon{\sf ...

**0**

votes

**0**answers

60 views

### About bounding values of quadratic forms

It would be helpful if someone can share (either as references) examples of calculations/analysis which achieves bounding of values of quadratic forms in say either of the following situations,
...

**1**

vote

**1**answer

67 views

### Traces and projectors

Suppose that $V$ is a $\mathbb C$-vector space. I'm eventually interested in the infinite-dimensional case, but let's say for now that it's finite dimensional. Suppose that $\mathscr S$ is a ...

**4**

votes

**2**answers

205 views

### Fixed space of the square of a symmetric matrix over $\mathbb{F}_2$

Let $M$ be an invertible symmetric $2n \times 2n$ matrix with entries in the finite field $\mathbb{F}_2$. Is $\mathrm{Ker}\ (M^2 - I_{2n})$ necessarily even dimensional?

**1**

vote

**1**answer

42 views

### proving that a smooth curve in Euclidean n-space contains n+1 affinely independent points

If I let $f(\theta)=((\mathrm{cos} \theta)X+(\mathrm{sin} \theta)Y)^{n-1}$ and view the range of this curve as a subset of the space of homogeneous polynomials of degree $n-1$ in two variables viewed ...

**4**

votes

**2**answers

107 views

### Convexity of a (non-symmetric) function of matrices

Let $f : H_{n\times n} (\mathbb{C}) \rightarrow \mathbb{R}$ be the function on Hermitian, positive semidefinite matrices $f(A) = \frac{M_i (A)}{\det(A)}$ where $M_i(A)$ is the determinant of the the ...

**2**

votes

**0**answers

269 views

### Good covering of a sphere

Consider a sphere $S_r(0)$ with center at zero and radius $r$ in the Hamming space $\{0,1\}^n$.
We will be interested in covering this sphere with balls of radius $\rho < r$.
We know that there ...

**2**

votes

**1**answer

74 views

### Bounds on Hilbert-Schmidt norm of difference of products of matrices

I suspect the following is well-known, but don't know of a reference (and it is not close to the area I normally work in).
I have two sequences of matrices $Q_{1},\ldots,Q_{k}$ and ...

**1**

vote

**2**answers

143 views

### Inverse of a matrix expression

Let
$$X_i = \left(I - P\left(I - t_it_i^T\right)\right)^{-1}$$
where $P$ is an $N\times N$ matrix and $t_i$ is a vector of $N$ elements.
Is there a way to simplify this expression in order to ...

**1**

vote

**0**answers

40 views

### Can we give efficiently the solution of a bilinear system of equations over a finite field?

Consider a finite field $F$ and suppose we have a system of equations
$$h_1(\alpha,\beta)=0,h_2(\alpha,\beta)=0,...,h_t(\alpha,\beta)=0$$
where $\alpha=(\alpha_1,...,\alpha_s)$ and ...

**3**

votes

**1**answer

88 views

### Probe permutationally matrix extreme properties

Suppose given $M\in\{0,1\}^{n\times n}$ of rank $r$.
Assume that changing even a single $1$ to $0$ in $M$ raises rank. Does it follow that $M$ is permutationally equivalent to a block diagonal ...

**3**

votes

**1**answer

523 views

### Why are 1 and -1 eigenvalues of this matrix?

This is a subject I've been working on for a very long time now, but still did not manage to fully understand the interesting properties of this matrix $\mathbf{A}$.
First, let's define two matrices:
...

**1**

vote

**0**answers

52 views

### How to define the determinant of a morphism between graded Lie algebras?

I have the following question. Suppose $g_1$ and $g_2$ are two finite dimensional, nilpotent, stratified Lie algebras and $A:g_1\to g_2$ is a morphism of the graded Lie algebra. I wonder whether there ...

**1**

vote

**0**answers

43 views

### Probability of non-negative matrix relaxation

Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, take $\mathscr{M}[M]=\{Q\in R_{\geq0}^{n\times n}:Q[ij]>0\iff M[ij]=1\}$.
Does ...

**3**

votes

**1**answer

88 views

### Maximizing Frobenius Norm of Commutator (an opposite Procrustes problem)

I was wondering if anybody has any suggestions on the following problem:
Let $S$ be an $n\times n$ positive definite symmetric matrix. I wish to find an $n\times n$ orthogonal matrix $R$ which ...

**9**

votes

**0**answers

312 views

### A matrix trace inequality

The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)^\dagger) \leq \| A^2 - B^2 \|_1$, where $\| \cdot ...

**3**

votes

**1**answer

93 views

### Upper bounds on elements of a matrix

During my research I have come across matrices this type
$$C=B\left(B^T B\right)^{-1}B^T\ ,$$
where $B$ is an $m\times n$ real matrix. If $B^TB$ is not invertible, then $\left(B^T B\right)^{-1}$ ...

**5**

votes

**0**answers

163 views

### Characterizing matrices with rank constraint

Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, is there a nice method to characterize $$\mathscr{D}[M]=\{Q\in\Bbb\{0,1\}^{n\times n}:\mathsf{rank}(M-Q)= \mathsf{rank}(Q),\quad M-Q\in\Bbb\{0,1\}^{n\times ...

**0**

votes

**0**answers

104 views

### Anticommuting operators with positive properties

Which classes of $M\in \mathsf M_k(\Bbb R)^{n\times n}$ admit solutions $N\in \mathsf M_k(\Bbb R)^{n\times n}$ such that
$$(M\otimes N+N\otimes M)(u\otimes u)=0$$ forall $u\in \mathsf D_k(\Bbb ...

**3**

votes

**0**answers

28 views

### Quasi-M matrices?

Does any body know a reference on lower triangular matrices with negative entries everywhere except for the diagonal and subdiagonal where entries are positive (when all entries are negative with ...

**8**

votes

**3**answers

295 views

### Distinguishing combinatorial maps by their linearizations

Every (not-necessarily invertible) map $f$ from $[n]:=\{1,2,,,,.n\}$ to itself determines a linear map $L_f$ from ${\bf R}^n$ to itself that sends the basis vector $e_k$ to $e_{f(k)}$ for $1 \leq k ...

**1**

vote

**0**answers

53 views

### Zero as a repeated permanental root for a matrix over a finite field

All,
Suppose $A \in Mat(n, \mathbb{F}_{q})$ for $q$ prime, $q \geq 5$, and $n \geq 2^{q-2}$ . Let $\pi_A(x)$ be the permanental polynomial for $A$. That is,
\begin{equation*}
\pi_{A}(x)=per(xI-A).
...

**3**

votes

**1**answer

100 views

### A norm description for singular matrices

For $n>2$, are there norms $\parallel.\parallel_{a}$ and $\parallel.\parallel_{b}$ on $M_{n}(\mathbb{R})$ with the following property:
$A\in M_{n}(\mathbb{R})$ is singular if and only if ...

**0**

votes

**0**answers

16 views

### Dense Symmetric Rank Deficient Linear System

What are some of the best methods for solving a Dense Rank Deficient Linear System Ax = b, where A is Dense, Symmetric but possibly Rank Deficient. I know SVD can solve it pretty nicely while ...

**4**

votes

**1**answer

68 views

### On primitive type matrix ranks

Given a non-negative matrix $A$, we call $A$ primitive if $A^k$ has all strictly positive entries with some $k>0$. Given primitive $A$, is there relation between smallest $k$ such that $A^k>0$ ...

**0**

votes

**1**answer

59 views

### Stationary distribution of random walk alias solving uncountably many linear equations [closed]

Let us have interval $I = (i_1,i_2)$, function $f_1 : I \mapsto I$, function $f_2 : I \mapsto I$.
Let $x_0$, $x_1$, $x_2$, ... be series of random variables from interval $I$ denoting random walk. ...

**1**

vote

**1**answer

155 views

### A geometric property of singular matrices

Let $S\subset M_{n}(\mathbb{R})$ be the singular points of the equation $Det=0$. That is $S$ is the critical points of the determinant function.
What matrices belongs to $S$, precisely?
Let ...

**0**

votes

**0**answers

64 views

### Specific optimization problem solution procedures

Is there a standard procedure to solve following two optimization problems?
$$\mathsf{Problem\mbox{ }I}:\mbox{ }\min_{A\in\{0,1\}^{n\times n}:rk(A)=r}\mbox{ }\max_{R,S\in\Bbb R^{n\times ...

**1**

vote

**0**answers

100 views

### Classifying 1 cycle permutation matrices

Given a permutation matrix that is not full rank, is there a linear algebraic and corresponding algebraic criterion to tell if matrix contains more than one disjoint non-trivial cycle or exactly one ...

**4**

votes

**1**answer

151 views

### Matrix-convexity of inverse of the cofactor matrix

Consider the matrix-valued function $f(A) = \frac{A}{\det(A)}$ on the set of $3\times 3$ positive-definite matrices. Is this function matrix-convex ? (i.e., is $tf(A) + (1-t)f(B) - f(tA+(1-t)B)$ ...

**1**

vote

**0**answers

107 views

### Reference: Continuity of Eigenvectors [closed]

I am looking for an appropriate reference for the following fact. I already posted on math.stackexchange, but got no answer.
For each $X \in \mathbb{R}^{n \times n}_{\text{sym}}$ (symmetric ...

**3**

votes

**2**answers

121 views

### Positive definiteness of infinite tridiagonal matrices

I am interested in the following problem: I have an infinite symmetric tridiagonal matrix
$$
A=
\begin{bmatrix}
a_1 & b_1 & & & \\
b_1 & a_2 & b_2 & & ...

**1**

vote

**0**answers

85 views

### Curve associated to bipartite graph

Given real biadjacency matrix $A\in\{0,1\}^{n\times n}$ of a bipartite graph with rank $r\in[2,n-1]$, denote $A(x)$ to be matrix where $0$ is replaced by $x$ and $1$ by $1-x$. Denote ...

**0**

votes

**1**answer

45 views

### Characterisation of a matrix ordering property

Let $n$ be a positive integer; we consider all matrices mentioned henceforth to be $n$-by-$n$ matrices. Let $A$ and $B$ be matrices wherein all entries are nonnegative (such matrices will be called ...

**2**

votes

**2**answers

158 views

### Matrices with real spectrum

Assume you have a non-symmetric real square matrix of all whose eigenvalues are real. Can anything be said about it? Is it unitarily equivalent to a symmetric matrix?
EDIT: Is it at least similar to ...

**1**

vote

**0**answers

111 views

### Eigenvalue of product of self adjoint compact operators

Suppose A is a self adjoint $m \times m$ real matrix with eigenpairs $\{e_j, \lambda_j\}$ such that $\lambda_j > \lambda_{j + 1}$. Let $B$ be another self adjoint real $m \times m$ matrix such that ...

**1**

vote

**1**answer

113 views

### Matrix Submodular Inequality

Given $a,b,x > 0$ I know following the submodularity property holds:
\begin{align}
\frac{1}{a} - \frac{1}{a+x} \geq \frac{1}{a+b} - \frac{1}{a+b+x}
\end{align}
My question is, does this property ...

**4**

votes

**2**answers

217 views

### Convexity of a function of matrices

Let $A$ be an $n\times n$ positive-definite matrix. Let $0<\lambda _1 \leq \lambda_2 \leq \lambda _3 \ldots \leq \lambda _n$ be the eigenvalues of $A$. Let $n\geq k\geq 1$. Is the function $f(A) = ...

**3**

votes

**0**answers

69 views

### Where does this identity involving sums of Hankel-like determinants over partitions come from?

For a partition $\lambda=( \lambda_1,\dots,\lambda_n)\vdash n$ with $\lambda_1\ge\dots\ge\lambda_n\ge0$ and any function $f:\mathbb Z\to\mathbb C$, define a Hankel-like $n\times n$ matrix ...

**6**

votes

**1**answer

254 views

### Jordan decomposition of the tensor product of two matrices

I asked this question on Math.SE here, but did not get a lot of attention.
I am interested in the problem of determining the Jordan decomposition of the tensor product of two unipotent matrices over ...

**1**

vote

**0**answers

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

**8**

votes

**3**answers

287 views

### Lower bound for spectral radius on $\operatorname{GL}(n,\mathbb{Z})$

Consider the group of matrices $G =\operatorname{GL}(n,\mathbb{Z})$ with integer entries and determinant $\pm 1$. For each matrix $D \in G$, the product of the eigenvalues of $D$ is equal to $\det D ...

**0**

votes

**0**answers

37 views

### Multiplicity of Ritz eigenvalues

Consider a Krylov subspace $K_m=\mathrm{span}\{v,Pv,...,P^{m-1}v\}$, for $P$ a square matrix and a nonzero vector $v$. Let $H_m$ represent the projection of $P$ (seen as an application) restricted to ...

**2**

votes

**1**answer

244 views

### Geometric mean of two matrices

Suppose $D_1$ and $D_2$ are two $3\times 3$ diagonal matrices with real positive entries on their diagonal. Let $K$ be a symmetric $3\times 3$ matrix with zeroes on its diagonal but with arbitrary ...

**0**

votes

**0**answers

47 views

### Orthogonalization technique after cosparse dictionary update

I'm trying to adapt the cosparse dictionary learning (DL) approach described in Analysis K-SVD to a DL method that creates the dictionary as a union of orthonormal blocks (UONB).
For this I apply the ...

**3**

votes

**3**answers

418 views

### classifying space and cohomology of integer general linear group

I have obtained that the classifying space
$$
BGL(\mathbb{R}^n)=BO(\mathbb{R}^n)=G_n(\mathbb{R}^\infty)
$$
is the Grassmannian.
I have also obtained that the mod 2 cohomology is the polynomial ...

**1**

vote

**0**answers

50 views

### cone and its scaled image

Let $C$ be a polyhedral cone in $\mathbb{R}^m$ defined by
$C = \{R y : y \in \mathbb{R}^m_+\}$ and $R\in\mathbb{R}^{m\times m}$.
Let $S: \mathbb{R}^m \to \mathbb{R}^m$, be a scaling map, i.e. $S = ...