**18**

votes

**0**answers

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

**18**

votes

**0**answers

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

**15**

votes

**0**answers

479 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

719 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

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

**12**

votes

**0**answers

316 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

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

**11**

votes

**0**answers

238 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

587 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

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

**8**

votes

**0**answers

85 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

172 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

372 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

484 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

304 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

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

**7**

votes

**0**answers

272 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

189 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

187 views

### Product $PVPVP$ is elementwise nonnegative?

Let $P\in \mathbb{R}^{n\times n}$ be the inverse of a positive definite M-matrix and $V\in \mathbb{R}^{n\times n}$ be any diagonal matrix. Prove (or disprove) that $PVPVP$ is elementwise nonnegative.
...

**6**

votes

**0**answers

356 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

644 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

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

**5**

votes

**0**answers

93 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

167 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

75 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

205 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

145 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

166 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

587 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

272 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

97 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

121 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

207 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

91 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

165 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

180 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

225 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

606 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

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

**4**

votes

**0**answers

48 views

### Expected size of determinant of $AA^T$ for non-square random Toeplitz $A$

If $A$ is chosen uniformly at random over all possible $m$ by $n$ Toeplitz (0,1)-matrices, what is the expected size of the value of the determinant of $AA^T$? We can assume $m \leq n$ and all ...

**4**

votes

**0**answers

70 views

### Relation between Euclidean distance matrices and squared-distance matrices

Let us refer to $D$ as the matrix with $D_{ij} = ||x_i - x_j||_2$ and $H = D \circ D$ e.g. the matrix with $H_{ij} = ||x_i - x_j||_2^2$ as its entries. Are the spectra of these matrices related at ...

**4**

votes

**0**answers

83 views

### Can we replace 2-fold cover by n rectangles with 1-fold cover by n rectangles?

Suppose that $n$ rectangles cover every point of their union exactly twice (except for points on their boundaries).
Can we partition this union into at most $n$ rectangles?
I think it's pretty ...

**4**

votes

**0**answers

44 views

### Counting cosets of matrices of determinant > 1 under the action of a congruence subgroup

I tried asking this on math exchange, but no luck, so thought I'd try here.
Let $M_2(m,\mathbb{Z}) $ be the $2\times 2$ matrices with integer entries and determinant $m$. Let $\Gamma^0(N)$ be the ...

**4**

votes

**0**answers

256 views

### How to find the unitary matrices in this exponential matrix representation

In the following post
Representing a product of matrix exponentials as the exponential of a sum
there is a statement regarding the result of the multiplication of two matrix exponentials:
if $A$ and ...

**4**

votes

**0**answers

144 views

### Preconditioner for finding the smallest eigenpairs of a large, but structured, matrix

I'm trying to find the eigenvector corresponding to the second smallest eigenvalue of a large $(4,000,000 \times 4,000,000)$ matrix $L$. $L$ is a graph Laplacian, with the following structure: $L = D ...

**4**

votes

**0**answers

154 views

### Examples of functions from matrices to real numbers with certain properties

Let $M(\mathbb{R})$ be the set of all matrices (of any size) over $\mathbb{R}$. Let $v : M(\mathbb{R}) \rightarrow \mathbb{R}$ be a function which satisfies the following 5 properties:
If ...

**4**

votes

**0**answers

552 views

### determinant of fibonacci-sum graphs

We have a simple graph with vertices $\{v_1, v_2, ... v_n\}$.
The adjacency matrix of this graph is $A= (a_{ij})$ so that
$a_{ij}=1$ if $i+j$ belongs to the Fibonacci sequence;
$a_{ij}=0$ ...

**4**

votes

**0**answers

439 views

### A generalization of Liouville formula for the determinant of a system of ODE?

Let $\Phi(t)$ be an $n\times n$ complex matrix whose columns are (independent) solutions of the system of ordinary differential equations (ODE):
$\frac{d}{dt}y= A(t) y$, where $A(t)$ is a ...

**4**

votes

**0**answers

147 views

### connectivity in automata by words of length n-1

Let $A$ be a complete strongly connected automaton with $n$ states. Does always exist a word $v$ of length at most $n-1$ such that its underlying graph is connected?
That is for any pair of distinct ...

**4**

votes

**0**answers

514 views

### Characteristic polynomial of a symmetric integer matrix

I am wondering what, if anything, is known about the characteristic polynomials of integer symmetric matrices. I believe I read somewhere that not every polynomial with integer coefficients can be a ...