**0**

votes

**1**answer

43 views

### Minimal dimension of a Lie algebra of matrices, with a restrictive property

Let $\mathfrak{g}$ be a sub-Lie-algebra of $\mathfrak{gl}_n(\mathbb{C})$, the Lie algebra of complex $n\times n$ square matrices.
Let us call $(H)$ the hypothesis: for all $x, y\in\mathbb{C}^n$, ...

**5**

votes

**0**answers

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

**1**

vote

**0**answers

47 views

### Notions of consistency / heterogeneity in sets of vector values?

The problem
Let us consider a row vector u of size $n\in\mathbb{N}$, containing only binary values (0,1):
$$u=(u_1 \cdots u_n), n\in\mathbb{N}$$
$$\forall i \in \{1\ldots n\}, u_i \in\{0,1\}$$
I ...

**0**

votes

**0**answers

7 views

### dual basis of cohomology algebra [migrated]

Let $H^*(M)$ be the cohomology algebra of oriented manifold $M$ with rational coefficients.
Let $\{b_i\}$ be a basis of $H^*(M)$ as a vector space over $\mathbb{Q}$.
Let the dual basis be
...

**0**

votes

**1**answer

278 views

### Find the following transformation $G$

I asked this question 6 days ago on math.stackexchange.com (http://math.stackexchange.com/questions/656585/find-the-following-transformation-g). I didn't get any answers yet, so I'm posting here.
I'm ...

**2**

votes

**2**answers

4k views

### Submultiplicative matrix norm: Max Norm

Various sources claim that a maximum norm $||A||_{max}=\max_{i,j}|a_{ij}|$ is not submultiplicative, i.e. $||AB||_{max}\not\leq||A||_{max}||B||_{max}$.
Where can I find what norm a,b satisfy ...

**1**

vote

**1**answer

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

**9**

votes

**1**answer

335 views

### Why does this antisymmetric product factor out a determinant?

Consider a generic $n \times n$ matrix $M$.
Define the $(n-1) \times n$ matrix $M_q$ to be $M$ with the $q$th row omitted, and assume that $M_q$ possesses a right inverse, $R_q$:
$$R_q = M_q^T (M_q ...

**4**

votes

**3**answers

523 views

### Algorithm for the intersection of a vector subspace with a cone of non-negative vectors

Hi,
I would like to know whether there is some more effective way of how to compute an intersection of a vector subspace of $\mathbb{R}^{n}$ with a cone of vectors with non-negative entries than the ...

**0**

votes

**0**answers

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

**3**

votes

**1**answer

225 views

### How to calculate the square root of matrix $A+B$ perturbatively?

$A=diag\{\lambda_1,...,\lambda_n\}$ and $\lambda_i>0$, $B$ is a positive definite symmetric matrix and $max\{B_{ij} \}\ll min\{\lambda_i\}$
Note that the perturbative calculation of square root ...

**11**

votes

**3**answers

1k views

### Diagonalizing a Certain Real and Symmetric Toeplitz Matrix

Consider $0\leq \alpha\leq 1$, and let $A_{\alpha}$ be the Toeplitz $n\times n$ matrix given by
$$
A_\alpha := \begin{bmatrix}
1 & \alpha & \alpha^2 & \ldots &\alpha^{n-1} \\\
\alpha ...

**0**

votes

**1**answer

204 views

### Comparing iterative methods for linear systems

For a tridiagonal matrix of the from
\begin{bmatrix}
a & -b & \newline
-b & a & -b \newline
& \ddots & \ddots & \ddots \newline
& & & & ...

**1**

vote

**1**answer

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

**3**

votes

**2**answers

304 views

### Distributing the Hodge map over the wedge product

Let $(V,\langle,\rangle)$ be a finite dimensional inner product space, $V^{\wedge}$ it exterior algebra, and $\ast$ the Hodge star arising from $\langle,\rangle$. Does there exist any formula to ...

**6**

votes

**5**answers

270 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

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

**1**

vote

**0**answers

82 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

**1**answer

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

**2**

votes

**1**answer

38 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}'$ ...

**4**

votes

**2**answers

229 views

### Eigenvectors of a symmetric positive definite Toeplitz matrix

I wish to efficiently compute the eigenvectors of an n x n symmetric positive definite Toeplitz matrix K. A full eigendecomposition would be even better.
Although I assumed this would be a well ...

**-3**

votes

**0**answers

47 views

### On ranks of matrix products [closed]

Tensor product of two matrices increases simultaneously sizes of product matrix, size of rank multiplicatively.
Is there a function on two matrices which increases size multiplicatively while rank ...

**2**

votes

**1**answer

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

**4**

votes

**0**answers

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

**5**

votes

**1**answer

151 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

169 views

### Theorems about matrices with entries from $0,1,-1$? [closed]

Consider matrices which are of the form $\left [ \begin{matrix}
0 && A\\
A^T && 0 \\
...

**0**

votes

**0**answers

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

**3**

votes

**0**answers

71 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

**1**answer

292 views

### Diagonalization of 4th order tensors

I have been wondering about the following problem...
Let $n$ be a positive integer and denote by $M_n^s$ the space of symmetric $n\times n$ real matrices. Now, we look at the space $\mathcal ...

**0**

votes

**0**answers

21 views

### Determinant of special diagonal matrix [migrated]

Suppose A is a square matrix of any order whose diagonal entries are integers which are pairwise prime and all other entries are 1. Is there any method to find determinant of this matrix A.

**17**

votes

**1**answer

1k views

### Smallest eigenvalue of a tricky random matrix

While experimenting with positive-definite functions, I was led to the following:
Let $n$ be a positive integer, and let $x_1,\ldots,x_n$ be sampled from a zero-mean, unit variance gaussian. Consider ...

**0**

votes

**0**answers

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

**2**

votes

**2**answers

123 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

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

**1**

vote

**1**answer

41 views

### Phase of the inner product between the elements of an ETF

I am doing research in compressive sampling for Cognitive Radio applications. While working on a project I came across with the following question:
Is there any research about the phase of inner ...

**0**

votes

**0**answers

14 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

**0**answers

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

**7**

votes

**1**answer

418 views

### Determine if a matrix is unimodular

Is deciding if an integer square matrix has determinant $\pm 1$ faster that calculating the determinant of the matrix?

**2**

votes

**2**answers

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

votes

**1**answer

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

**5**

votes

**1**answer

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

**1**

vote

**0**answers

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

**0**

votes

**1**answer

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

**1**

vote

**1**answer

154 views

### Bounded domain matrix factorization

Assume we're trying to find $A\in [-1,1]^{n\times d}, B\in [-1,1]^{m\times d}$, from an observed matrix $C\in [-d,d]^{n\times m}$, where $C=AB^T$.
The goal is to return $\widehat A, \widehat B$ such ...

**3**

votes

**2**answers

1k views

### Trace Determinant [closed]

Let $A$ be an $n \times n$ matrix. Are there formulas that convert linear combinations of traces of powers of $A$ to determinant of $A$ and vice versa from linear combinations of determinants of ...

**4**

votes

**2**answers

193 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?

**0**

votes

**0**answers

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

**7**

votes

**2**answers

1k views

### A question on a trace inequality

Let $A, B\in M_{n}(\mathbb{R})$ be symmetric positive definite matrices. It is easy to see $Tr(A^2+AB^2A)=Tr(A^2+BA^2B)$. Numerical experiments indicate $$Tr[(A^2+AB^2A)^{-1}]\ge ...

**1**

vote

**1**answer

62 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

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