**60**

votes

**0**answers

2k views

### A naive question about the double dual of a vector space

Let $K$ be a field. Are there non-scalar endomorphisms of the endofunctor
$$
V\mapsto V^{**}/V
$$
of the category of $K$-vector spaces?
I asked a related question on Mathematics Stackexchange, but ...

**26**

votes

**0**answers

1k 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 ...

**20**

votes

**0**answers

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

**19**

votes

**0**answers

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

**19**

votes

**0**answers

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

**13**

votes

**0**answers

342 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

187 views

### How does a permutation $P$ affect the singular value $\sigma_{\text{max}}(Q^\top P^\top Q)$ for orthogonal $Q$?

Let $q_i$ for $i=1,\ldots,m$ be the columns of the matrix $Q\in\mathbb{R}^{n\times m}$, $n\geq 2m$, which are pairwise orthonormal ( i.e.
$q_i^\top q_j = \begin{cases} 1 & \text{if}\quad i=j \\ 0 ...

**12**

votes

**0**answers

316 views

### Who stated and proved the “Hopf lemma” on bilinear maps?

If $A\otimes B\rightarrow C$ is a nondegenerate linear map, where $A, B, C$ are vector spaces over an algebraically closed field, then $\dim C\ge \dim A + \dim B -1$.
Nondegenerate here means ...

**12**

votes

**0**answers

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

**11**

votes

**0**answers

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

**11**

votes

**0**answers

252 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

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

**11**

votes

**0**answers

304 views

### Matroids with prescribed independent sets

Let $A$ be a finite set. Let $B$ be a family of subsets of $A$. We are interested in a matroid with a minimum rank such that every element of $B$ is independent. The answer is obvious - a uniform ...

**10**

votes

**0**answers

366 views

### Dimensions of dual vector spaces

Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...

**10**

votes

**0**answers

493 views

### On a tentative generalization of the Schmidt decomposition

Background
I am a PhD student in Physics and I am currently developing quite refined computer codes that allow to simulate many-body quantum systems living on a lattice. The difficulty resides in ...

**10**

votes

**0**answers

447 views

### Which doubly stochastic matrices can be written as products of pairwise averaging matrices?

A matrix $A$ is called doubly stochastic if its entries are nonnegative, and if all of its rows and columns add up to $1$. A subset of doubly stochastic matrices is the set of pairwise averaging ...

**9**

votes

**0**answers

158 views

### $A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here.
Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...

**9**

votes

**0**answers

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

**8**

votes

**0**answers

226 views

### Conjecture on matrix with reciprocal principal minors

Some notation: $A(\alpha|\beta)$ is the submatrix of $A \in \mathbb{R}^{n \times n}$ with with rows $\alpha$ and columns $\beta$. $\textrm{det } A(\alpha|\alpha) =: \textrm{det } A(\alpha)$ are the ...

**8**

votes

**0**answers

149 views

### $k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set ...

**8**

votes

**0**answers

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

**8**

votes

**0**answers

149 views

### Intersection of Springer fibre and Schubert cell

Let us consider intersections of Springer fibres and Schubert cells in type A.
Let $ Y : \mathbb C^n \rightarrow \mathbb C^n $ be a nilpotent operator. Let
$$
F_Y = \{ V_0 = 0 \subset V_1 \subset ...

**8**

votes

**0**answers

419 views

### On the number of polynomials that divide $x^{q-1}-1$ in some subspaces of $\mathbb F_q[x]$

Let $\mathbb F_q$ be a finite field (where $q$ is in general a power of a prime), and let $e, k$ be positive integers with $k \leq e < q-1$. Let $f_0(x), \ldots,
f_k(x) \in \mathbb F_q[x]$ be ...

**8**

votes

**0**answers

445 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

344 views

### An identity for Hankel determinants

Is the following result about Hankel determinants known or a simple consequence of some known results?
Let
$f(x) = \frac{\displaystyle 1}{{\displaystyle 1 - \frac{{a x^{m + 2}}}{\displaystyle {1 - ...

**8**

votes

**0**answers

496 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

550 views

### An elementary linear algebra problem

Let $K$ be a field, and let $E$ be the algebra of $n\times n$ matrices over $K$. Let $V_0$ and $V_1$ be the (left) $E$-modules of matrices of size $n\times n_0$ and $n\times n_1$. Let $W \subseteq ...

**8**

votes

**0**answers

228 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

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

**8**

votes

**0**answers

415 views

### integral matrix of order p

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

**8**

votes

**0**answers

692 views

### coordinate-free proof of transitivity of norms or traces

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

1k views

### roots of quadratic forms

This may be a very silly question, but I was wondering what is known about the roots of a quadratic form over variables $x_1,\ldots,x_n,y_1,\ldots,y_m$ in the finite field $\mathbb{F}_p$. I'm not ...

**7**

votes

**0**answers

178 views

### How bad can $SK_1$ of a commutative ring be?

For a commutative ring $R$ define $\mathrm{SK}_1(n, R)=\mathrm{SL}(n, R)/\mathrm{E}(n, R)$, the quotient of the special linear group by its subgroup generated by the elementary matrices. When ...

**7**

votes

**0**answers

119 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

401 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

172 views

### When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...

**7**

votes

**0**answers

292 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

141 views

### Approximate singular value decomposition in Banach spaces

I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are ...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

199 views

### Problems where Conjugate gradient works much better than GMRES

I am interested in cases where Conjugate gradient works much better than GMRES method.
In general, CG is preferable choice in many cases of SPD because it requires less storage and theoretical bound ...

**7**

votes

**0**answers

317 views

### maximal subgroups of $GL_2(Z/p^kZ)$

Hello,
is there any classification of proper maximal subroups of $GL_2(\mathbb{Z}/p^k\mathbb{Z})$ for $k>1$ (analogous to the one which exist for $GL_2(\mathbb{Z}/p\mathbb{Z})$)?
Could you give ...

**7**

votes

**0**answers

783 views

### Inverse of a matrix with binomial coefficients

Let $a(n,k)=(-1)^k {{2n-k}\choose k}$ for $0 \le k \le n$ and $a(n,k)=0$ else. Then it is known (cf. OEIS A005439 and A098435) that the first column of the inverse matrix of $(a(i,j))_{i,j\ge0}$ is ...

**6**

votes

**0**answers

180 views

### Complexity of approximating the size of the range of a matrix

Given an $m$ by $n$ matrix $M$ with $m \leq n$ and elements from $\{-1,1\}$, let us define:
$$S_M = |\{Mx : x \in \{-1,1\}^n\}.$$
It is NP-hard to compute $S_M$ exactly I believe by applying the ...

**6**

votes

**0**answers

142 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

228 views

### A variant of an Eventown problem for modulo a prime number

Consider the following problem, called the 'Eventown problem':
In a town, residents can form different clubs. The town council establishes the following rules:
1) Every club must have an even ...

**6**

votes

**0**answers

161 views

### Numerical linear algebra: how to compute $B^TC^{−1}B$ efficiently

Hi,
my question is similar to this one. I have to compute $B^TC^{−1}B$, where $C$ is a strictly positive definite $n\times n$ matrix and $B$ is $n\times m$.
The matrix $C$ is huge ($n$ up to a ...

**6**

votes

**0**answers

396 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

424 views

### Can we write unitary matrices as positive linear combinations of Hermitian matrices?

The space $M_n:=M_n(\mathbb{C})$ of complex $n\times n$ matrices has the structure of a finite-dimensional complex vector space.
The space of Hermitian matrices forms a cone in this vector space ...

**6**

votes

**0**answers

233 views

### Is there a straightforward way to solve unmixed, homogeneous systems of polynomials?

I came across this problem in my research. It might just be an easy algebraic geometry question, but I don't know much algebraic geometry.
Suppose we have a system of $k\leq n$ polynomials in ...