**0**

votes

**0**answers

56 views

### Advanced use of commutation matrices [on hold]

I am aware of matrix operators vec and kronecker product, commutation matrices and various related identities like stated in ...

**11**

votes

**2**answers

213 views

### Factorization of a matrix as a product of a symmetric and a skew-symmetric matrix

When can an $n\times n$ matrix $M$ be written as a product $M=AB$, where $A^T=A$ and $B^T=-B$?
For example, a necessary condition is that the trace of $M$ vanishes. In this case, it is easy ...

**2**

votes

**0**answers

48 views

### When is $\left[\begin{smallmatrix} D_1 & B \\\\ -B^T & D_2 \end{smallmatrix} \right]$ $\mathbb{R}$-diagonalizable?

Is there some block-wise characterization of $\mathbb{R}$-diagonalizability (by similarities) of
$$\begin{bmatrix} D_1 & B \\\\ -B^T & D_2 \end{bmatrix},$$
where $D_1$ and $D_2$ are real ...

**0**

votes

**0**answers

14 views

### Reducing the degrees of freedom in unitary columns

Let $U = diag([U_1, U_2, ..., U_N])$ be a block-diagonal $NM \times NM$ unitary matrix, where each $U_j$ is a unitary $M \times M$ matrix.
Furthermore, let $Q_e = kron(I_M, Q)$ be the Kronecker ...

**-2**

votes

**0**answers

24 views

### $M = P_1U_1$ and $N = P_2U_2$ ,$M $ and $N$ are unitarily equivalent $ \Rightarrow $ $P_1$ and $P_2$ are unitarily similar [on hold]

Let $M, N ∈ M_n$. Let $M = P_1U_1$ and $N = P_2U_2$ be polar decompositions. ($P_i$ is positive semidefinite and $U_i$ is unitary matrix).
Suppose $M $ and $N$ are unitarily equivalent.
Why are ...

**7**

votes

**2**answers

149 views

### Computer Algebra Systems that support variable sized matrices

I'm familiar with sympy, the matlab symbolic package, reduce, and have tried out a few other computer algebra systems. However, as far as I can tell, none of them seem to be able to do algebra on ...

**3**

votes

**1**answer

98 views

### The action of $GL(\mathbb{R}^{n})\otimes GL(\mathbb{R}^{m})$ on $\mathbb{R}P^{(mn-1)}$

Motivated by the following RG question we ask a related question as follows:
We identify $\mathbb{R}^{n} \otimes \mathbb{R}^{m}$ with $\mathbb{R}^{mn}$. We define $GL(\mathbb{R}^{n})\otimes ...

**7**

votes

**0**answers

62 views

### Which ordering of factors is needed to obtain this kind of determinantal inequalities?

Let $A$ and $B$ be $n\times n$ Hermitian positive definite matrices. The curious determinantal inequality given here, which can be stated as $$\det (A^{4}+ ABBA+BAAB+B^{4})\ge\det(A^{4}+ ...

**-3**

votes

**0**answers

26 views

### If $A = P_1U_1$ and $B = P_2U_2$ and $P_1$ and $P_2$ are unitarily equivalent then $A$ and $B$ are unitarily similar [closed]

Let $A, B \in M_n$. Let $A = P_1U_1$ and $B = P_2U_2$ be polar decompositions.($P_i$ is positive semidefinite and $U_i$ is unitary. )
Suppose
$P_1$ and $P_2$ are unitarily equivalent.
Why are $A$ ...

**0**

votes

**0**answers

35 views

### Expected value of minimum rank of random matrices

I have $n$ random vectors ${\bf r}_i$ for $i=1,2,\dots,n$ each with dimension $1 \times m$ and $n$ random matrices ${\bf S}_i$ for $i=1,2,\dots,n$ each with dimension $M \times m$. The elements of ...

**-2**

votes

**0**answers

110 views

### Truth Table Ranking - I'm no genius. I need help [closed]

I have several billion truth tables that I need to sort by usefulness.
Ideally, I would like a function that would take the table as input and return a ranking between %0 and 100%. Let's call it a ...

**8**

votes

**2**answers

150 views

### generalizations of Vandermonde matrix to high dimensions

Let $x_1,x_2,\cdots,x_n\in\mathbb{R} $ or $\mathbb{C}$. By the non-degeneracy of Vandermonde matrix
the maps
$$
f: \mathbb{R}\longrightarrow\mathbb{R}^n,$$ $$
x\longmapsto ...

**9**

votes

**1**answer

193 views

### The intuition behind the Hilbert projective metric and the Perron Frobenius Theorem

Recently I have read a proof of the Perron Frobenius Theorem for positive aperiodic matrices. In this proof, the trick is to put a metric in the "positive quadrant" of $\mathbb{R}^n$, ...

**1**

vote

**0**answers

24 views

### Approximating logarithm of operator norm of a submatrix

This is a matrix approximation-theoretic question that arose in my study of Markov chains.
Let $\|B\|:=\sup_{v: \|v\|=1} \|Bv\|$ denote the operator norm of a matrix $B.$
Let $\sqrt{B}$ be the ...

**6**

votes

**1**answer

139 views

### Are the integer matrices in SO(3,2) “boundedly generated”?

Let $G$ be the subgroup of integer matrices in $\mathrm{SO}(3,2)$.
(The invertible linear maps from a $5$ dimensional real vector space to itself which leave invariant a nondegenerate symmetric ...

**9**

votes

**3**answers

309 views

### Integer matrix that does not belong to a free group of rank 2

I'm given two matrices in $SL_2(\mathbb{Z})$
$$
A = \left(\begin{array}{cc}
2 & 3\\
3 & 5
\end{array}\right), \ \
B = \left(\begin{array}{cc}
5 & 3\\
3 ...

**1**

vote

**0**answers

31 views

### Efficient SVD of a matrix without some of the columns

I have a matrix $A \in \mathbb{R}^{p \times q}$ of rank $r$ and its SVD decomposition, i.e,
$$
A = U S V^\top,
$$
where $U \in \mathbb{R}^{p \times r}$ and $V \in \mathbb{R}^{q \times r}$ are ...

**1**

vote

**0**answers

95 views

### Lower bound on the value $\textbf{1}^Tx$ such as $Ax\geq b$

The problem may be formulated as follows:
We are given a set of $m$ positive numbers $\{b_1,...,b_m\}$ and a set of $n$ positive numbers $\{v_1,...,v_n\}$. We have $v_j\leq K$, $j=1,...,n$, for a ...

**17**

votes

**1**answer

374 views

### Almost commuting unitary matrices

Suppose that $A_1,\dots, A_k$ are unitary matrices such that any two of them can be approximated by commuting unitary matrices. i.e. for any $i$ and $j$, there are unitary matrices $A_i'$ and $A_j'$ ...

**-1**

votes

**1**answer

32 views

### finding a unitary submatrix inside a random matrix

Let $\mathbf{R} \in \mathbb{C}^{~m \times n} $ with $m \leq n $ be a random matrix, whose entries are i.i.d zero mean random variables with circularly symmetric Normal distribution. Let where $r$ be ...

**2**

votes

**0**answers

25 views

### Nonconvex function on the singular value vectors of projected matrix

For a nonconvex function $p_\lambda(\cdot)$, with hyper-parameter $\lambda$, it can be decomposed into two parts that $p_\lambda(t) = \lambda |t| + q_\lambda(t)$, where $q_\lambda(t)$ is the concave ...

**0**

votes

**0**answers

23 views

### transform a matrix into block circulant form

What's known about transforming a matrix into block circulant form?
Given an $K \times N$ matrix $M$ (over GF(2) for now although the case
over ${\mathbb C}$ or ${\mathbb R}$ are also of interest), ...

**-1**

votes

**1**answer

169 views

### How bad could $\|A^k\|$ be when $\rho(A) < 1-\delta$ [closed]

(Sorry, I do hate editing this many many times but let me try the last time)
Gelfand's formula says that
$$\lim_{k\rightarrow \infty} \|A^k\|^{1/k} = \rho(A)$$
I am wondering whether there is any ...

**1**

vote

**0**answers

124 views

### Is there a brute force method for determining irreducible representations?

Suppose I have some groups $G_1$, $G_2$, $G_3$, etc... Then the direct product is given by $G = G_1 \times G_2 \times G_3 \ldots$
I know that the sub-representations of a reducible representation ...

**3**

votes

**1**answer

177 views

### Prediction with positive weights?

Consider a covariance function (positive definite function) on $\mathbb{Z}$:
$$
\gamma(k)=(1+|k|)^{-\alpha},\quad \alpha>0.
$$
It is guaranteed to be positive definite by Polya's criterion ...

**5**

votes

**1**answer

94 views

### What is the criterion for a matrix containing vectors and their permutations being invertible?

Consider the matrix $A\in\mathbb{R}^{m\times 2m}$. Let any arbitrary choice of $m$ columns of $A$ be linearly independent. Together with a permutation $P\in\mathcal{P_{2m}}$, one can build the matrix ...

**9**

votes

**2**answers

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

**6**

votes

**1**answer

137 views

### Exchange determinant and integral of a matrix-valued function

Assume $A(x)=(a_{ij}(x))_{k\times k}$ is a Hermitian matrix function on some manifold $M$, is there any inequality relates the integral of its determinant $\int_M det(A)$ and the determinant of its ...

**11**

votes

**1**answer

217 views

### Have “sturdy squares” been studied before?

Over on PPCG I've just made a question that involves arranging the numbers 1 to 9 on a 3 by 3 grid such that every 2 by 2 subgrid has the same sum. I'm calling such 3 by 3 grids and their N by N ...

**7**

votes

**0**answers

104 views

### A $k \times n$ matrix with a lot of invertible $k \times k$ submatrices over $\mathbb{F}_2$

In the appendix of the paper by Tolhuizen (
http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=841182) there is a very fast and easy probabilistic proof that for $k=cn$ where $c \in [0,1]$ is fixed, ...

**1**

vote

**0**answers

78 views

### For of a special case of $Ax>=b$, are there always integer solutions?

The input consists of two integers $n\geq 2$ and $K\geq 2$, and a vector of positive integers $b$ of size $n$. We assume that $\sum_i b_i$ is a multiple of $K$.
The output is a matrix $A(n\times n)$ ...

**1**

vote

**0**answers

39 views

### Product of elementary divisors

Let $A$ be an $(m \times n)$ integer matrix (if it helps, we can assume that a is a square matrix). Let $d_i,\ldots,d_s$ be the elementary divisors of $A$. I am interested in the product ...

**0**

votes

**0**answers

35 views

### log convexity for the norm of vector-valued function

Log convexity of various functions defined on the space of Hermitian matrices plays an important role in matrix analysis and probability theory.
Given $v \in \mathbb{C}^n$, $D$ a diagonal matrix with ...

**4**

votes

**0**answers

59 views

### How does scaling rows to sum to 1, of a positive matrix change the perron vector?

Reposting from math.sx due to lack of response. Let $A$ be a $N\times N$ positive matrix such that $A_{ij}>0$. By Perron-Frobenius theorem, there is a unique positive left eigenvector called Perron ...

**5**

votes

**0**answers

322 views

### How the idea of adjugate matrix has been designed? [closed]

I can understand the adjugate matrix and the motivation of that to find the inverse, but I can't see how this idea was invented by mathematicians. It's just brilliance or someone understand how the ...

**2**

votes

**0**answers

47 views

### Singularities of the Quantum propagator (baby version)

Given $a,b \in \mathfrak{su}(4)$ which are taken to generate the whole algebra, consider the following map $V:\mathbb{R}^{2} \rightarrow SU(4)$:
$V : (w_1, w_{2}) \mapsto e^{(a+w_2 b)} e^{(a+w_1 b)}$
...

**7**

votes

**0**answers

155 views

### A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers

In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that:
For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$
contains infinitely many finite index ...

**9**

votes

**1**answer

118 views

### a generalization of gamma matrices

Is it possible to find matrix solutions to the following :
$$\left(\sum_1^m M_k x_k\right)^n=\left(\sum_1^m x_k^n\right)I_d$$
where $M_k$ are the desired $d \times d$ matrices (no restriction on $d$) ...

**7**

votes

**0**answers

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

**2**

votes

**1**answer

74 views

### The maximal possible rank of a subgroup of a product of special linear groups

In this question I ask for a generalization of What is the maximal possible rank of a subgroup of a special linear group mod a prime?
Let $p_1, \dots, p_r$ be $r$ distinct odd primes.
Set $$G = ...

**7**

votes

**1**answer

97 views

### What is the maximal possible rank of a subgroup of a special linear group mod a prime?

Let $p$ be a prime number, and let $\mathbb{F}_p$ be the unique field of cardinality $p$.
What is $\max \{d(H) : H \leq \mathrm{SL}_3(\mathbb{F}_p)\}$?
Here we denote by $d(G)$ the smallest ...

**2**

votes

**0**answers

50 views

### Integral of a parametrized commutator

I am trying to solve the following integral
$$
\int_{-1}^{1}\;db\;||[t_{b}(A),J]||_{F}^{2}
$$
where $t_{b}$ is the entrywise threshold of the matrix A ($0$ if $a_{ij}<b$, $a_{ij}$ if $a_{ij}>b$, ...

**6**

votes

**1**answer

92 views

### “Additive version” of Kronecker product

Let $A$ and $B$ be two square matrices with complex entries.
Let $\lambda_1, \ldots, ,\lambda_n$ be the Eigenvalues of $A$ and
$\mu_1, \ldots, ,\mu_m$ be the Eigenvalues of $B$.
Then the Eigenvalues ...

**5**

votes

**1**answer

162 views

### Maximal subgroups of special linear groups over finite fields

Let $p$ be a prime number, and denote by $\mathbb{F}_p$ the field with $p$ elements.
Is there a classification of the maximal subgroups of $G = \mathrm{SL}_3(\mathbb{F}_p)$ ?
I am interested in ...

**0**

votes

**0**answers

51 views

### A question on boundary set

Suppose:
${A_j} \in {\mathbb{C}^{n \times n}},0<{w_j}\in \mathbb{R} (j = 0,1,2....m)$
${\rm{P(}}\lambda {\rm{) = }}{{\rm{A}}_m}{\lambda ^m} + .....{A_1}\lambda + {A_0}$ is a matrix polynomial, ...

**22**

votes

**3**answers

838 views

### On determinants formed by binomial coefficients

Let $q$ be a number. Let us consider the $q^2-1$-th line of the Pascal triangle (i.e. numbers ${{q^2-1} \choose i}$, $i=0,1,...q^2-1$). We have $q^2$ numbers.
Let us form naively a $q \times q$ ...

**15**

votes

**1**answer

477 views

### Is SL(n,Z[x]) generated by transvections?

Is $\mathrm{SL}(n,\mathbb{Z}[x])$ equal to $E(n,\mathbb{Z}[x])$, the subgroup generated by transvections?

**3**

votes

**0**answers

86 views

### Relating Numerical Range and Perron-frobenius theorem for positive matrices?

Let $A$ be any matrix with all entries positive (which means Perron-Frobenius theorem can be applied). Then its numerical range is defined as the set of complex numbers
$$W(A)=\{x^HAx\lvert ...

**1**

vote

**1**answer

80 views

### Is this matrix positive semi-definite? [closed]

Consider $K$ vectors $x_1,\dots,x_K$ in $\mathbb{R}^N$. Define the $K\times K$ matrix $A$ whose $(i,j)$ entry is given as $$A_{ij}=\exp(-\frac{||x_i-x_j||^2}{2})$$ Is this matrix Positive ...

**1**

vote

**0**answers

62 views

### On triangular Toeplitz matrices

Let $R(x)$ be the upper triangular Toeplitz matrix with first row $x$, so that $R_{ik}=x_{k-i+1}$ if $i\le k$ and $R_{ik}=0$ otherwise. Let $N(n)$ be the smallest number $N$ such that there exist ...