**20**

votes

**0**answers

563 views

### Cauchy matrices with elementary symmetric polynomials

$\newcommand{\vx}{\mathbf{x}}$
Let $e_k(\vx)$ denote the elementary symmetric polynomial, defined for $k=0,1,\ldots,n$ over a vector $\vx=(x_1,\ldots,x_n)$ by
\begin{equation*}
e_k(\vx) := \sum_{1 ...

**18**

votes

**0**answers

1k views

### The Fourier Transform of taking Eigenvalues

The purpose of this question is to ask about the Fourier transform of the map which associate to an $n$ by $n$ matrix its $n$ eigenvalues, or some function of the $n$ eigenvalues. The main motivation ...

**16**

votes

**0**answers

512 views

### How boundedly generated is $SL_3(\mathbb{Z})$?

The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...

**15**

votes

**0**answers

510 views

### Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials

While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...

**13**

votes

**0**answers

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

**13**

votes

**0**answers

722 views

### Diagonalizing some matrices arising from Fourier transform on $S_n$.

Consider the function $f$ on $S_n$ which equals $1/n$ on all adjacent transpositions $(i,i+1)$, where we let $n+1 = 1$, and $0$ otherwise, and its Fourier transform $\hat{f}(\rho)$ evaluated at the ...

**12**

votes

**0**answers

347 views

### Why is a matrix pencil called a pencil?

I'm trying to understand the historical context behind the word pencil in matrix pencils, or pencil of curves so on.
I am aware that even Gantmacher 1959 has this terminology however I don't know ...

**12**

votes

**0**answers

337 views

### Descartes rule of signs for a noncommutative polynomial in matrix variables

Recently, while studying certain notions of "averaging" a set of input matrices, I obtained a nonlinear polynomial in matrix variables. A simple example is
\begin{equation*}
\mathcal{G}(X) := X^n - ...

**11**

votes

**0**answers

247 views

### Ratio of entries of A and log A where A is a triangular matrix

Consider triangular matrices $A = \left( {a(n,k)} \right)$ of arbitrary order with $a(n,k) = 0$ if $n + k$ is odd and $a(n,n - 2k) = \frac{{n!}}{{k!(n - 2k)!}}\frac{{(m + n - k - 1)!}}{{(m + n - ...

**11**

votes

**0**answers

594 views

### Regular languages of matrices and their generating functions

My question is somewhat related to this question.
Let us fix natural numbers $k$ and $C$. Let $A$ be an automaton whose alphabet consists of $k\times k$ matrices with integer coefficients of ...

**10**

votes

**0**answers

538 views

### Is “being a full ring of quotients” a Morita invariant property?

Definition and context:
An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...

**9**

votes

**0**answers

93 views

### What is the symmetry group fixing norms of elements of a unitary matrix?

Let $N\geq1$ be an integer and let us say that two matrices $U,V\in U(N)$ are related if $|U_{ij}|=|V_{ij}|$ for all indices $1\leq i,j\leq N$.
When exactly are two unitary matrices related in this ...

**8**

votes

**0**answers

178 views

### Determining the kernel of a Vandermonde-like matrix

The kernel of a Vandermonde matrix can be determined using >this< formula.
The following type of matrix has a similar structure, and should also have a one-dimensional kernel.
$V=
...

**8**

votes

**0**answers

402 views

### Eigenvalues of permutations of a real matrix: how complex can they be?

This is sort of complementary to this thread. I’ll repeat the definitions here:
For a matrix $M\in GL(n,\mathbb R)$, consider the $n!$ matrices obtained by permutations of the rows (say) of $M$ and ...

**8**

votes

**0**answers

491 views

### Bounding sum of first singular values squared for Kronecker sum of traceless matrices

Let $A$ and $B$ be $4\times4$ traceless matrices with Hilbert-Schmidt norms summing up to $1/4$, i.e.
$$\text{Tr}\left[ A\right]=\text{Tr}\left[ B\right] = 0,\qquad\text{Tr}\left[ A^\dagger A + ...

**8**

votes

**0**answers

308 views

### What is the “positive part” of the unit ball in $M_n(R)$ ?

In ${\bf M}_n(\mathbb R)$, let us consider the usual operator norm
$$\|A\|=\sup\frac{\|Ax\|}{\|x\|},$$
where $\|x\|$ is the Euclidian norm.
The closed unit ball $B$ is the set of contractions (in the ...

**8**

votes

**0**answers

225 views

### Generalized Classical Adjoints and Factorizations of the Characteristic Polynomial

This is idle noodling, and I'm prepared to learn that it's foolish as well as idle. But....
Let $M$ be an $n\times n$ matrix over, oh, let's say an algebraically closed field for now. There have ...

**8**

votes

**0**answers

189 views

### Standard polynomials applied to matrices (bis)

The standard polynomial in $r$ non-commuting indeterminates $x_1,\ldots,x_r$ is defined by
$${\mathcal S}_r(x_1,\ldots,x_r):=\sum_{\sigma\in S_r}\epsilon(\sigma)x_{\sigma(1)}x_{\sigma(2)}\cdots ...

**7**

votes

**0**answers

64 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}+ ...

**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, ...

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

**7**

votes

**0**answers

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

**7**

votes

**0**answers

112 views

### Does $\varphi: \mathbb{P}^{n} \to \mathbb{P}^{n}$ have periodic points missing the critical hypersurface?

I am trying to prove that if $\varphi: \mathbb{P}^{n} \to \mathbb{P}^{n}$ is an algebraic morphism of degree $d > 1$ (by which I mean $\varphi^{*}(\mathcal{O}(1)) = \mathcal{O}(d)$, so the ...

**7**

votes

**0**answers

282 views

### Does this inequality always hold?

Denote the adjacency matrix of a given undirected graph by $g$. It is an $n$-by-$n$ symmetric Boolean matrix with elements on the diagonal to be zero ($n\geq 3$). Let $g_{12}=g_{21}=g_{13}=g_{31}=1$ ...

**7**

votes

**0**answers

229 views

### Product $PVPVP$ is elementwise nonnegative?

Let $P\in \mathbb{R}^{n\times n}$ be the inverse of a positive definite M-matrix, i.e. the off-diagonal entries of $P$ are non-positive, and $V\in \mathbb{R}^{n\times n}$ be any diagonal matrix. Prove ...

**7**

votes

**0**answers

198 views

### Solving $P=AB,Q=BA$, in the unknowns $A,B$

Let $p\geq q$ $P\in M_p(\mathbb{C}),Q\in M_q(\mathbb{C})$. We seek $A\in M_{p,q},B\in M_{q,p}$ s.t. $P=AB,Q=BA$. The NS conditions for the existence of $(A,B)$ are given in
On the matrices AB and BA. ...

**6**

votes

**0**answers

131 views

### Finding $U,V$ in Thompson's Formula

Thompson's formula says, given $A,B \in \mathfrak{su}(n)$, there exists $U,V \in SU(n)$ such that:
$e^{A}e^{B}=e^{UAU^{\dagger} + VBV^{\dagger}}$
Given $a,b \in \mathfrak{su}(4)$ defined by:
$a=J_x ...

**6**

votes

**0**answers

129 views

### Geometric interpretation of the Desnanot-Jacobi Identity

Given a square $n\times n$ matrix $M$, let $M_i^j$ denote the $(n-1)\times(n-1)$ matrix obtained from M by omitting the i-th row and j-th column of $M$.
The Desnanot-Jacobi Identity states
...

**6**

votes

**0**answers

370 views

### Spaces of matrices with same eigenvalue/Great circles in O(n)-orbits

Let $Sym^2(V)$ be the set of symmetric matrices of a real $n$-dimensional vector space $V$. Given an element $\underline{\lambda}=[\lambda_1,\ldots \lambda_n]\in \mathbb{RP}^n$, where ...

**6**

votes

**0**answers

660 views

### inverse eigenvalue problem on graph laplacian

I am trying to construct a graph Laplacian matrix from a set of eigenvalue. I've read several papers about inverse eigenvalue problems but to be honest I didn't understand clearly. Could somebody ...

**5**

votes

**0**answers

138 views

### Mapping the standard $(n!-1)$-simplex into $GL_n(\mathbb C)$

Let $\Delta^{n!-1}$ be the standard $(n!-1)$-simplex whose vertices are indexed by the elements of the symmetric group $S_n$, that is
\begin{equation}
\Delta^{n!-1} = \left\{ (t_\sigma)_{\sigma\in ...

**5**

votes

**0**answers

93 views

### Possible values of eigenvalues of Hadamard product of Hermitian matrices

One of the most important (and very well-known) result in the study of the spectrum of Hermitian matrices is Horn's conjecture (or theorem?), which provides a complete answer to the following problem:
...

**5**

votes

**0**answers

156 views

### Non-linear positive map

In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...

**5**

votes

**0**answers

108 views

### A weak Perron-Frobenius property for sets of positive matrices

A popular form of the Perron-Frobenius theorem states the following result: if $A$ is a $d \times d$ real matrix all of whose entries are positive, then the spectral radius of $A$ is a simple ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

91 views

### Eigenvalues of Random Regular Bipartite Graphs

I am looking for a way of getting a good estimate of the eigenvalues of random bipartite d-regular graphs. The literature has very precise values the proofs of which are very involved and since I am ...

**5**

votes

**0**answers

211 views

### Existence of a matrix product from its eigenvalues

Let A and B be two positive definite, real, symmetric matrices. The eigenvalues of A, B and AB, denoted by $\lambda(X)$, obey the relation (from Bhatia):
$$
\lambda^\downarrow(A) \cdot ...

**5**

votes

**0**answers

152 views

### Is there any study about positive definiteness of some matrix space whose matrices don't have to be positive-definite?

--Updated description--
I'm trying to investigate the stability of tensegrity structures, and this question is related to the second order test.
Suppose there is a vector space ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

666 views

### A stronger Cauchy-Schwarz inequality for traces of compression matrices

Assume that $A$ and $B$ are contractions, so
$I-AA^T$ and $I-BB^T$ are positive-definite matrices. Let
$C=(I-AB^T)^{-1}(I-AA^{T})(I-BA^{T})^{-1}$, and show that:
...

**5**

votes

**0**answers

282 views

### Symmetric matrices with $\rho(A)\gg\|A\|_\infty$

For a symmetric real matrix $A$, denote by $\rho(A)$ the spectral radius of $A$, and by $\sigma(A)$ the largest absolute row sum of $A$; that is, $\sigma(A)=\max_i \sum_j |a_{ij}|$, where $a_{ij}$ are ...

**5**

votes

**0**answers

100 views

### Groups of operators between local unitaries and full unitaries

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...

**5**

votes

**0**answers

129 views

### Concept of eigenvector restricted to nonnegative entries

Let $X\in \mathbb{R}^{n\times n}$ be a positive semidefinite matrix. The leading eigenvector $v\in \mathbb{R}^n$ of $X$ is the solution to the problem
$\arg \max_{v:\lVert v\rVert_2=1} \lambda\quad$ ...

**5**

votes

**0**answers

211 views

### Singularity of an $l\times l$ matrix whose entries are $2l$-th roots of unity

Let $l$ be a positive integer, $\zeta$ be a primitive $2l$-th root of unity in $\mathbb{C}$, and $\alpha,\beta$ be $\pm1$ sequences of length $l$, i.e. $\alpha_k=\pm1,\beta_k=\pm1$ for ...

**5**

votes

**0**answers

93 views

### Inverses of the sums of all possible subsets of a set of symmetric and positive definite matrices

I have a set of $c$ matrices $A_1 ... A_c$ which are all symmetric and positive definite. I would like to calculate the inverses of all the possible sums, i.e.
...

**5**

votes

**0**answers

169 views

### Bound on number of multiplications required to generate a matrix algebra from generators?

I've got a question about matrices and matrix algebras that offhand seems difficult, I'm wondering there is any sharp solution? Or perhaps it's known to not have any solution at all?
Suppose you have ...

**5**

votes

**0**answers

186 views

### Largest entry of the inverse matrix?

I wonder if there is a "qualitative way" of predicting from the structure ix of the matrix $A$ which entry of $A^{-1}$ will be the largest. I am specially interested in the case
that $A$ is a ...

**5**

votes

**0**answers

240 views

### concentration for eigenvectors

I am interested in bounding from above the ratio between the maximum and minimum entries of a Perron vector. The only results that I found in the literature are from the classic masters (Ostrowski and ...

**5**

votes

**0**answers

637 views

### Status of Hadamard matrix conjecture

I would like to know if any progress has been made on Hadamard conjecture : There exists a Hadamard matrix of order $n=4k$ $\forall k \in \mathbb{N}$.

**5**

votes

**0**answers

401 views

### symplectic matrices

If $( A B | C D)$ is a symplectic matrix with entries in the finite field with two elements, is it necessarily the case that
$\sum_{i,j,k} a_{ij}b_{ij}c_{ik}d_{ik} = 0$?
This arose in connection ...