# Questions tagged [linear-algebra]

Questions about the properties of vector spaces and linear transformations, including linear systems in general.

935 questions
1k views

### What did Gelfand mean by suggesting to study “Heredity Principle” structures instead of categories?

Israel Gelfand wrote in his remarkable talk "Mathematics as an adequate language (a few remarks)", given at "The Unity of Mathematics" Conference in honor of his 90th birthday, the following ...
2k views

### Correspondence between eigenvalue distributions of random unitary and random orthogonal matrices

In the course of a physics problem (arXiv:1206.6687), I stumbled on a curious correspondence between the eigenvalue distributions of the matrix product $U\bar{U}$, with $U$ a random unitary matrix and ...
748 views

### Real square roots of symmetric matrices

In joint work with Andreas Fischle (TU Dresden, Germany) and Patrizio Neff (U Essen, Germany) we needed to use the following statement: If $S$ is a real $n\times n$ matrix with $S^2$ symmetric, then ...
854 views

### conjectures regarding a new Renyi information quantity

In a recent paper http://arxiv.org/abs/1403.6102, we defined a quantity that we called the "Renyi conditional mutual information" and investigated several of its properties. We have some open ...
4k views

### An $n \times n$ matrix $A$ is similar to its transpose $A^{\top}$: elementary proof?

A famous result in linear algebra is the following. An $n \times n$ matrix $A$ over a field $\mathbb{F}$ is similar to its transpose $A^T$. I know one proof using the Smith Normal Form (SNF). ...
761 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 \...
325 views

### Is it consistent with ZF that $V\to V^{\ast \ast}$ is always surjective?

In a comment to a recent question, Jeremy Rickard asked whether it is consistent with ZF that the map $V \to V^{**}$ from a vector space to its double dual is always surjective. We know that "always ...
688 views

### How to explain the picturesque patterns in François Brunault's matrix?

How to explain the patterns in the matrix defined in François Brunault's answer to the question Freeness of a Z[x] module depicted below? -- Choosing colors according to the highest power of 2 which ...
223 views

### An inequality for matrix norms

Working on a problem in combinatorics I come up with the following inequality on matrix norms, which I checked it also numerically: Let $A=(a_{ij})$ be a real symmetric $n\times n$ matrix with ...
392 views

### Bunnity of multilinear maps

Is there a way to compute the following nullity of multilinear maps? As it is different from any nullity I know of, I call it bunnity after myself:-)) If it already has a name, it be nice to know it. ...
592 views

### Determinant inequality involving Hermitian, positive definite matrices

Let $A,B,C\in M_{n}(\mathbb 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 has been ...
347 views

277 views

363 views

215 views

### When is a product of hyperbolic matrices hyperbolic?

Suppose $A_1,\ldots,A_n$ is a sequence of $2 \times 2$ complex matrices such that $| \det(A_j) | =1$ and $| \mathrm{tr}(A_j) | > 2$ for each $j$. What kinds of reasonable restrictions can one ...
554 views

471 views

### Maximal set on hypersphere that does not contain pairs of orthogonal vectors

Let R be a region on a hypersphere. Each point A of the hypersphere is associated with a vector pointing to A and with origin at the centre of the hypersphere. So let me identify each point with a ...
Hi everyone Let $p$ be a prime number. I am interested to classify $\{ A\in {\rm GL}_{p-1}(\mathbb{Z}): {\rm ord}(A)=p \}$ up to conjugacy. One reason to consider this problem is its relation to ...
Hello: Suppose $A$ is a finite free $B$-algebra and $B$ is a finite free $C$-algebra. Does anyone know a coordinate-free proof (i.e. without choosing bases) of the identity: \$N_{A/C} = N_{B/C}\circ ...