**1**

vote

**1**answer

109 views

### Dense symmetric unitary integer matrix?

Can someone give me a nontrivial example of a symmetric unitary integer matrix? I'm looking for something as dense as possible (i.e., not too many 0's); 5 <= size <= 8 would be ideal.

**0**

votes

**0**answers

100 views

### Hadamard / matrix product adjoint

First of all I would like to thank everyone over here at mathoverflow for their amazing generosity and help (for both pros and newbies like myself).
I apologize if this question seems dumb; I'm a new ...

**1**

vote

**1**answer

113 views

### Extension of scalars and projective limits

Consider a morphism of commutative rings $h\colon R\rightarrow S$. This gives rise to a functor $h^*\colon{\sf Mod}(R)\rightarrow{\sf Mod}(S)$, called scalar extension by means of $h$. This functor ...

**6**

votes

**5**answers

384 views

### The maximal eigenvalue of a symmetric Toeplitz matrix

Let $0\le x\le 1$ be a real number. Denote by $A_n(x)=(a_{ij})$ the $n$ by $n$ matrix such that $a_{ij}=x^{|i-j|}$ and let $\lambda_n(x)$ be the maximal eigenvalue of $A_n(x)$.
Is there any ...

**1**

vote

**0**answers

92 views

### Showing a wedge product is nonzero

Let $V$ be a complex vector space of dimension $n$, equipped with a Hermitian inner product whose Kahler form we denote by $\omega$. Let's set $P = \bigwedge^{2p} V^*$ and $Q = \bigwedge^{2q} V^*$ for ...

**1**

vote

**2**answers

100 views

### Expectation of Gaussian random vector & arbitrary function thereof?

I saw in a paper (https://www.princeton.edu/~wbialek/rome/refs/bialek+ruyter_05.pdf Eq.37) the following identity:
where the <.> operator refers to a population average.
No source or ...

**7**

votes

**0**answers

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

**4**

votes

**0**answers

94 views

### Geometric interpretation for partial trace?

This MO question asks for a geometric interpretation of the trace of a linear transformation. I'm wondering about a geometric interpretation of partial trace.
Given a linear transformation $f: ...

**4**

votes

**1**answer

206 views

### Matrix Elements of Real Representations

I asked this question over at Math.StackExchange and despite having had a bounty on it I did not receive an answer.
Suppose that $G$ is a finite group and we have a unitary irreducible representation ...

**0**

votes

**0**answers

131 views

### About distinct eigenvalues of a graph

if a graph with adjacency matrix $A$ and Laplacian $L$ has $k$ distinct eigenvalues then does this fact naturally help define or prove existence of a polynomial $p$ of degree $k-1$ such that ...

**2**

votes

**1**answer

70 views

### Reducing eigenvalues of symmetric PSD matrix towards 0: effect on ratios of original matrix elements?

Let $\boldsymbol{S}$ be $k \times k$ positive semi-definite real symmetric matrix with eigen decomposition $\boldsymbol{S} = \boldsymbol{X} \boldsymbol{\Lambda} \boldsymbol{X}'$ ...

**5**

votes

**1**answer

168 views

### Dimensions of a vector space akin to modular symbols

The group $\operatorname{SL}_2(\mathbb Z)$ acts on polynomials in two variables $\mathbb C[x,y]$ via $A\cdot f(x,y)\mapsto f(A^{-1}.(x,y))$ where $(x,y)$ is regarded as a column vector. There are two ...

**0**

votes

**0**answers

99 views

### Changes in singular Values of matrix when adding row

I know that if a column is added to a matrix then the matrix largest signular value increases and the smallest singular value decreases. That is:
Given matrix $A \in R^{m \text{x} n}$, $m>n$, and ...

**3**

votes

**0**answers

94 views

### Bound on the ratio of top 2 eigenvalues

Let $P$ be a $(n+1) \times (n+1)$ stochastic matrix such that $P_{ij}=\tau$ if $i \neq j$ and $P_{ii} = (1 - n\tau)$ where $0<\tau < \frac{1}{n+1}$. It is clear that the largest eigenvalue of ...

**2**

votes

**2**answers

140 views

### Matrix inequality

Let $\mathbf{Z,R}$ two Hermitian semidefinite positive matrices with all eigenvalues larger than one. Intuition drives me that
$\mathbf{R}^{-1/2}\mathbf{Z} \left(\mathbf{R}^{-1/2}\right)^H - ...

**5**

votes

**0**answers

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

**0**

votes

**0**answers

20 views

### On the stability analysis of a discrete difference system with multiplicative noise

If we assume that
\begin{equation*}
\rho \{\phi \otimes \phi+\psi \otimes \psi\}<1
\end{equation*}
where $\rho$ denotes the spectral radius, then can we verify the following inequality holds
...

**1**

vote

**1**answer

105 views

### Computation of extreme rays of rational polyhedral cones - Hemmecke's project and lift algorithm

I am working on an implementation of Raymond Hemmecke's algorithm for finding generating sets of cones: http://arxiv.org/abs/math/0203105
Unfortunately I am struggling to make the algorithm work on ...

**0**

votes

**1**answer

202 views

### Suppose that $G$ is a subgroup of $GL_n(\mathbb C)$ with finite exponent. Then is $G$ a finite group? [closed]

As title. the exponent of $G$ is the least number $n$ (if exists) such that $g^n=e$ holds for all $g\in G$ or $+\infty$.

**2**

votes

**2**answers

154 views

### What is the maximal number of sub spaces of a fixed dimension such that there is another sub space which intersects them are all null

Let $\mathbb F_q$ be the finite field with $q$ elements. Suppose $V$ is a linear space of dimension $n$ over $\mathbb F_q$, and $r<n$. What is the maximal $k$ such that for arbitrary $k$ subspaces ...

**1**

vote

**0**answers

164 views

### Is there a method to simultaneously block-diagonalize a set of group matrices?

Assume that you are explicitly given the representation matrices of a group.
How does one go about finding that common basis which will find the irreducible components of all of them simultaneously?
...

**1**

vote

**0**answers

58 views

### What are good bounds on ratios of subdeterminants?

Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...

**5**

votes

**1**answer

168 views

### The Maximal $\ell_2$ norm of a signed sum of vectors

Suppose we have $n$ vectors in $\mathbb{R}^n.$ Consider the signed sum of these vectors:
$$U(s_1,\ldots,s_n)=s_1 v_1+s_2 v_2 + \ldots + s_n v_n$$
where $s_j$'s can only take values of $+1$ or $-1.$ I ...

**0**

votes

**1**answer

103 views

### Scalar restriction and scalar extension

Consider a morphism of commutative rings $h\colon R\rightarrow S$. This yields the two functors $h_*\colon{\sf Mod}(S)\rightarrow{\sf Mod}(R)$ (scalar restriction) and $h^*\colon{\sf ...

**0**

votes

**0**answers

64 views

### About bounding values of quadratic forms

It would be helpful if someone can share (either as references) examples of calculations/analysis which achieves bounding of values of quadratic forms in say either of the following situations,
...

**1**

vote

**1**answer

75 views

### Traces and projectors

Suppose that $V$ is a $\mathbb C$-vector space. I'm eventually interested in the infinite-dimensional case, but let's say for now that it's finite dimensional. Suppose that $\mathscr S$ is a ...

**4**

votes

**2**answers

208 views

### Fixed space of the square of a symmetric matrix over $\mathbb{F}_2$

Let $M$ be an invertible symmetric $2n \times 2n$ matrix with entries in the finite field $\mathbb{F}_2$. Is $\mathrm{Ker}\ (M^2 - I_{2n})$ necessarily even dimensional?

**1**

vote

**1**answer

46 views

### proving that a smooth curve in Euclidean n-space contains n+1 affinely independent points

If I let $f(\theta)=((\mathrm{cos} \theta)X+(\mathrm{sin} \theta)Y)^{n-1}$ and view the range of this curve as a subset of the space of homogeneous polynomials of degree $n-1$ in two variables viewed ...

**4**

votes

**2**answers

113 views

### Convexity of a (non-symmetric) function of matrices

Let $f : H_{n\times n} (\mathbb{C}) \rightarrow \mathbb{R}$ be the function on Hermitian, positive semidefinite matrices $f(A) = \frac{M_i (A)}{\det(A)}$ where $M_i(A)$ is the determinant of the the ...

**2**

votes

**0**answers

280 views

### Good covering of a sphere

Consider a sphere $S_r(0)$ with center at zero and radius $r$ in the Hamming space $\{0,1\}^n$.
We will be interested in covering this sphere with balls of radius $\rho < r$.
We know that there ...

**2**

votes

**1**answer

82 views

### Bounds on Hilbert-Schmidt norm of difference of products of matrices

I suspect the following is well-known, but don't know of a reference (and it is not close to the area I normally work in).
I have two sequences of matrices $Q_{1},\ldots,Q_{k}$ and ...

**1**

vote

**2**answers

153 views

### Inverse of a matrix expression

Let
$$X_i = \left(I - P\left(I - t_it_i^T\right)\right)^{-1}$$
where $P$ is an $N\times N$ matrix and $t_i$ is a vector of $N$ elements.
Is there a way to simplify this expression in order to ...

**1**

vote

**0**answers

56 views

### Can we give efficiently the solution of a bilinear system of equations over a finite field?

Consider a finite field $F$ and suppose we have a system of equations
$$h_1(\alpha,\beta)=0,h_2(\alpha,\beta)=0,...,h_t(\alpha,\beta)=0$$
where $\alpha=(\alpha_1,...,\alpha_s)$ and ...

**3**

votes

**1**answer

89 views

### Probe permutationally matrix extreme properties

Suppose given $M\in\{0,1\}^{n\times n}$ of rank $r$.
Assume that changing even a single $1$ to $0$ in $M$ raises rank. Does it follow that $M$ is permutationally equivalent to a block diagonal ...

**3**

votes

**1**answer

542 views

### Why are 1 and -1 eigenvalues of this matrix?

This is a subject I've been working on for a very long time now, but still did not manage to fully understand the interesting properties of this matrix $\mathbf{A}$.
First, let's define two matrices:
...

**1**

vote

**0**answers

52 views

### How to define the determinant of a morphism between graded Lie algebras?

I have the following question. Suppose $g_1$ and $g_2$ are two finite dimensional, nilpotent, stratified Lie algebras and $A:g_1\to g_2$ is a morphism of the graded Lie algebra. I wonder whether there ...

**1**

vote

**0**answers

43 views

### Probability of non-negative matrix relaxation

Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, take $\mathscr{M}[M]=\{Q\in R_{\geq0}^{n\times n}:Q[ij]>0\iff M[ij]=1\}$.
Does ...

**4**

votes

**1**answer

108 views

### Maximizing Frobenius Norm of Commutator (an opposite Procrustes problem)

I was wondering if anybody has any suggestions on the following problem:
Let $S$ be an $n\times n$ positive definite symmetric matrix. I wish to find an $n\times n$ orthogonal matrix $R$ which ...

**10**

votes

**0**answers

322 views

### A matrix trace inequality

The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)^\dagger) \leq \| A^2 - B^2 \|_1$, where $\| \cdot ...

**3**

votes

**1**answer

97 views

### Upper bounds on elements of a matrix

During my research I have come across matrices this type
$$C=B\left(B^T B\right)^{-1}B^T\ ,$$
where $B$ is an $m\times n$ real matrix. If $B^TB$ is not invertible, then $\left(B^T B\right)^{-1}$ ...

**5**

votes

**0**answers

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

**0**

votes

**0**answers

110 views

### Anticommuting operators with positive properties

Which classes of $M\in \mathsf M_k(\Bbb R)^{n\times n}$ admit solutions $N\in \mathsf M_k(\Bbb R)^{n\times n}$ such that
$$(M\otimes N+N\otimes M)(u\otimes u)=0$$ forall $u\in \mathsf D_k(\Bbb ...

**3**

votes

**0**answers

30 views

### Quasi-M matrices?

Does any body know a reference on lower triangular matrices with negative entries everywhere except for the diagonal and subdiagonal where entries are positive (when all entries are negative with ...

**8**

votes

**3**answers

301 views

### Distinguishing combinatorial maps by their linearizations

Every (not-necessarily invertible) map $f$ from $[n]:=\{1,2,,,,.n\}$ to itself determines a linear map $L_f$ from ${\bf R}^n$ to itself that sends the basis vector $e_k$ to $e_{f(k)}$ for $1 \leq k ...

**1**

vote

**0**answers

55 views

### Zero as a repeated permanental root for a matrix over a finite field

All,
Suppose $A \in Mat(n, \mathbb{F}_{q})$ for $q$ prime, $q \geq 5$, and $n \geq 2^{q-2}$ . Let $\pi_A(x)$ be the permanental polynomial for $A$. That is,
\begin{equation*}
\pi_{A}(x)=per(xI-A).
...

**3**

votes

**1**answer

105 views

### A norm description for singular matrices

For $n>2$, are there norms $\parallel.\parallel_{a}$ and $\parallel.\parallel_{b}$ on $M_{n}(\mathbb{R})$ with the following property:
$A\in M_{n}(\mathbb{R})$ is singular if and only if ...

**0**

votes

**0**answers

16 views

### Dense Symmetric Rank Deficient Linear System

What are some of the best methods for solving a Dense Rank Deficient Linear System Ax = b, where A is Dense, Symmetric but possibly Rank Deficient. I know SVD can solve it pretty nicely while ...

**4**

votes

**1**answer

70 views

### On primitive type matrix ranks

Given a non-negative matrix $A$, we call $A$ primitive if $A^k$ has all strictly positive entries with some $k>0$. Given primitive $A$, is there relation between smallest $k$ such that $A^k>0$ ...

**0**

votes

**1**answer

63 views

### Stationary distribution of random walk alias solving uncountably many linear equations [closed]

Let us have interval $I = (i_1,i_2)$, function $f_1 : I \mapsto I$, function $f_2 : I \mapsto I$.
Let $x_0$, $x_1$, $x_2$, ... be series of random variables from interval $I$ denoting random walk. ...

**1**

vote

**1**answer

166 views

### A geometric property of singular matrices

Let $S\subset M_{n}(\mathbb{R})$ be the singular points of the equation $Det=0$. That is $S$ is the critical points of the determinant function.
What matrices belongs to $S$, precisely?
Let ...