**0**

votes

**0**answers

47 views

### Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action

I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...

**3**

votes

**1**answer

53 views

### Vanishing Restricted Isometric Constant

In compressed sensing, we are interested in the restricted isometry property. Suppose the design matrix is $n$ by $p$, consisting of $np$ iid $\mathcal{N}(0, 1/n)$ entries. Assume both $n$ and $p$ are ...

**30**

votes

**3**answers

2k views

### A curious determinantal inequality

In my study, I come across the following curious inequality, which I do not know a proof yet (so I am asking it here).
Let $A, B$ be $n\times n$ (Hermitian) positive definite matrices. It is very ...

**3**

votes

**0**answers

88 views

### Determining Nullspace Basis such that only one column is deleted or added as row is added or deleted, and remaining columns of basis stay the same

I would like to compute, in MATLAB, the basis Z for the nullspace of an m by n matrix A, such that if one row of A is added (resulting in A_a), the basis for A_a is n-m-1 of the n-m columns of Z, ...

**2**

votes

**1**answer

40 views

### Information on special matrices similar to Jacobi matrices

Jacobi matrices are well known and deeply investigated mathematical objects from various point of view. One can arrive at these operators while studying discrete systems of particles interacting with ...

**0**

votes

**0**answers

61 views

### Characterisation of vector fields solution to a simple equation

This question is complementary to another question I asked on math.stackexchange. I believe it is more subtle than it seems - it will become clearer when I provide more context - and probably hides ...

**2**

votes

**2**answers

170 views

### Permutation covering of a $G$-lattice

Let $G$ be a finite group.
By a $G$-lattice we mean a finitely generated free abelian group $L$ with an action of $G$.
We say that $L$ is a permutation $G$-lattice if $L$ has a ${{\mathbf{Z}}}$-basis ...

**5**

votes

**1**answer

257 views

### Can I find the gap between the two least eigenvalues of this special matrix A(t)?

I am interested in finding the gap between the two least eigenvalues of $A(t)$, a Hermitian $N\times N$ sparse matrix whose diagonal elements are $a_it+b_i\,(1\leq i\leq N)$, and all off-diagonal ...

**3**

votes

**1**answer

108 views

### Sum of two parts of a continuous stochastic process

Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all ...

**2**

votes

**1**answer

143 views

### Prove or disprove a matrix logarithm equation

Let $\Bbb{S}_{++}^n$ denote the space of symmetric positive definite (SPD) $n\times n$ real matrices, and let $A,B\in\Bbb{S}_{++}^n$.
Is it possible to express the logarithm of $A^{-1}B$ as a ...

**0**

votes

**0**answers

63 views

### Minimum rank of certain matrices

Let $\mathscr{M}[n]$ be collection of $n\times n$ matrices with real entries from $\{0,1\}$ such that every row is distinct and every column is distinct.
What is minimum real rank of matrices in ...

**1**

vote

**0**answers

65 views

### Volume element of symmetric definite matrices in polar coordinates

I have a difficulty to understand the following statement. I don't ask for a proof but just understand the statement concretely (what it does mean, how to apply it...)
Let $\mathcal P_n$ be the ...

**1**

vote

**0**answers

50 views

### Spectral radius of a rank-1 perturbation

Suppose that $A$ is an $n \times n$ matrix, and $u$ and $v$ are vectors. The matrix determinant lemma lets us easily compute the determinant of $A+uv^T$, while the Sherman-Morrison formula gives us ...

**0**

votes

**1**answer

192 views

### Axiomatic explanation of why the volume of a parallelepiped is equal to the area of its base times its height [closed]

I asked this in MSE, it flashed and disappeared.
Let $V_n$ be the volume on the set of polytopes in $\mathbb R^n$, defined axiomatically, i.e. a functional, that assigns to each polytope ...

**1**

vote

**0**answers

42 views

### Products of random permutations with fixed matrix

This question originates from an engineering problem, which I am solving. Any related references are highly appreciated.
Let $M_k(T)=\prod_{t=1}^T P_t S_k$ over some field (finite or reals), where ...

**3**

votes

**1**answer

125 views

### Determinant of a Certain Positive-Definite Block Matrix

Is there a lower bound for the determinant or minimum eigenvalue of the following $d$ by $d$ matrix in terms of $d$?
$$\Gamma=\left( {\begin{array}{cc}
I & B \\
B^{*} & I \\
\end{array} ...

**2**

votes

**0**answers

117 views

### Determinant Evaluation

Is there a closed form (something involving a ratio of products) for:
$$\det\left[\binom{a_i+c}{a_i-i+j}\right]_{1\leq i,j\leq t},$$
where $a_i,c$ are positive integers? I think with $c=0$ this is ...

**3**

votes

**1**answer

258 views

### Classes of finite resoluble groups which are (faithfully) representable by triangular matrices?

Let $G$ be a group, $k$ a field and $T(n,k)\subset Gl(n,k)$,
the group of invertible upper triangular $n\times n$ matrices.
I know that if $\rho : G\rightarrow T(n,k)$ is faithful
(i.e. into) then ...

**6**

votes

**1**answer

125 views

### Monte-Carlo computation of the Smith normal form

Quite some time ago I saw an article where a Monte-Carlo algorithm for computing the Smith normal form of an integer matrix was described. In this article the following problem was posed:
Suppose $P, ...

**3**

votes

**1**answer

270 views

### simultaneous action of GL(n) on the matrices

Consider the action of GL(n,k) on the set MxM where M is the set of all n-by-n matrices over k given by $g.(h,l) \mapsto (ghg^{-1}, glg^t)$. Individually these actions are well studied and good ...

**3**

votes

**1**answer

143 views

### minimal polynomial of unipotents in orthogonal group

Consider split orthogonal group O(2l) over a field of characteristic zero. We may assume the matrix of bilinear form to be $\begin{pmatrix} O&I\\ I&0\end{pmatrix}$. Let u be a unipotent in ...

**0**

votes

**0**answers

56 views

### Bounds on the smallest eigenvalue of a Hankel matrix

Let $H=H_n$ be a positive definite Hankel matrix of size $n$ with $\lambda_n$ is it's smallest eigenvalue.
What bounds are known on $\lambda_n$ in terms of the entries on $H$.
I can see some results ...

**5**

votes

**1**answer

182 views

### Under what conditions a linear automorphism is an isometry of some norm?

Assume $V$ is a finite-dimensional vector space over $\mathbb{R}$, and $T: V \to V$ is a (linear) isomorphism.
When is it possible to construct a norm on $V$
making $T$ an isometry?
...

**28**

votes

**4**answers

986 views

### Why there is a relation among the second-order minors of a symmetric $4\times 4$ matrix?

A $4\times 4$ symmetric matrix
$$
\left(
\begin{array}{cccc}
a_{11} & a_{12} & a_{13} & a_{14} \\
a_{12} & a_{22} & a_{23} & a_{24} \\
a_{13} & a_{23} & a_{33} & ...

**-1**

votes

**1**answer

136 views

### Orthogonal decomposition of conditional expectations

Suppose I have a random variable $x$ and a set of conditional distributions on $x$. Here is an example where the conditionals are nested:
$$q_1 := E(x|y_1), \quad q_2 := E(x|y_1,y_2),\quad q_3 := ...

**0**

votes

**1**answer

52 views

### Do the support sets of subspaces give the representable matroids?

Fact: Start with $V$ a subspace of $\mathbb R^n$. Take the set of all supports of vectors in $V$. Throw out $\emptyset$. You now have the dependent sets of some matroid.
Not sure you ...

**0**

votes

**1**answer

47 views

### Lower bound on Spectral Gap of Rank one + Diagonal

For some $x\in\mathbb{R}^n, \|x\|_2^2=1$ and $\alpha\geq 0$, consider the positive semi-definite matrix
$$
X_\alpha := xx^T + \alpha\sum_{k=1}^nx_k^2e_ke_k^T.
$$
Suppose for simplicity that the ...

**1**

vote

**1**answer

89 views

### Conditions for the consistency of a system of affine polynomials

Let $f_1, f_2,\ldots,f_N$ be some affine polynomials. We consider the question if these polynomials have a common (affine) root. By homogenizing these polynomials, we can associate a projective ...

**0**

votes

**0**answers

33 views

### Stochastic independence of columns of projection matrix to the rest of the columns of a random matrix

First let me describe the setting of the problem.
I have a random matrix $A\in \mathbb{R}^{m\times n},\ (m<n)$ with $a_{ij}\sim \mathcal{N}(0,I)$ i.i.d. Let there be a given set of $K (K<m)$ ...

**0**

votes

**1**answer

154 views

### Prove that the following two optimization problems are equivalent

I am trying to solve the following optimization problem for the vector $ y $, where $ A_i $ are some given matrix (maybe low rank) and $ x_i $ are unconstrained
$$ \min_{y, x_i} \sum_{i=1}^J || y - ...

**2**

votes

**2**answers

261 views

### A $d$-form on ${\mathbb R}^n$ that vanishes on $\binom{d+n-1}{n-1}$ general points, vanishes identically

I'm looking for a reference for the fact that a $d$-form on ${\mathbb R}^n$ that vanishes on $p_1,..,p_{\binom{d+n-1}{n-1}}$ general points, vanishes identically.
A specific construction of a set of ...

**1**

vote

**1**answer

70 views

### arg min_X ||A X B - C||^2, with X diagonal [closed]

Let $A, B, C$ be known matrices, and let $X$ be an unknown matrix.
Given that $C = AXB \Leftrightarrow \text{vec}(C) = K \text{vec}(X)$, where $\text{vec}(\cdot)$ denotes the vectorization of a ...

**0**

votes

**2**answers

54 views

### Solving sparse linear least squares or a positive definite 5-band matrix system fast

I want to quickly solve linear least squares problem for $x \in \mathbb{R}^n$
$$min_x \left\| A x - b \right\|_2^2$$
with a special sparse structure where each row in $A$ has only up to 4 ...

**9**

votes

**3**answers

308 views

### Real and Quaternionic Representations according to Weights

According to this question, it is easy to know whether a representation is self dual or not: just check if the weight distribution in space is symmetric about the origin.
Now, for self dual ...

**0**

votes

**0**answers

67 views

### Partial Vandermonde Circulant Determinant Expression

Consider following partial Vandermonde type, circulant matrix
$\begin{bmatrix}
x_1 & x_2 & 0 & \dots & 0 & x_n\\
x_1^2 & x_2^2 & x_3^2 & \dots & 0 & 0\\
\vdots ...

**1**

vote

**0**answers

72 views

### Perturbation of eigenvalues of some special matrices

In perturbation theory of linear operators, one major question is how the eigenvalues of a linear operator $A$ change under a small perturbation, $A(x) = A + xP$, with $x\in\mathbb{R}$. For instance, ...

**1**

vote

**0**answers

50 views

### Analogs of the paralleloram identity in higher degrees

I asked this two months ago in MSE, but nobody answered, so I hope it will be suitable here.
A homogenious polynomial of degree $k\in{\Bbb N}$ on a finite dimensional vector space $X$ over $\Bbb R$ ...

**8**

votes

**1**answer

255 views

### For a ring $k$ and a set $X$, what are the $k$-algebra homomorphisms $k^X \to k$?

Let $k$ be a commutative ring. Feel free to assume it's a field.
Let $X$ be a set. This question is only interesting when $X$ is infinite.
Write $k^X$ for the $k$-algebra of functions $X \to k$, ...

**11**

votes

**2**answers

457 views

### which norms can be realized as operator norms?

Assume $(V,∥∥_V),(W,∥∥_W)$ are both finite dimensional normed spaces. We have the induced operator norm on ${\rm Hom}(V,W)$.
It turns out that the operator norm is induced by an inner product iff ...

**6**

votes

**1**answer

169 views

### Computation Time of Smith Normal Form in Maple

I am using maple to compute the Smith Normal Form of a matrix of size 120*120 and it seems that I will never get an answer back. I have checked my code for small cases and I believe that it is ...

**1**

vote

**1**answer

44 views

### rank minimization over vector subsets

Let $S$ be a set of $n$ vectors from $\mathbb{Q}^d$. For every $k=1,2,\dots,n$, define
$$r_k = \min_{T\subset S, |T|=k} \mathrm{rank}(T),$$
where $\mathrm{rank}(T)$ is the rank of a matrix formed by ...

**2**

votes

**1**answer

144 views

### Is there some quantitative version of interlacing of eigenvalues of a matrix under rank-1 update?

Given a real symmetric matrix $A$ and a vector $v$ of the same dimension we know that the eigenvalues of $A + vv^T$ are left interlaced by the eigenvalues of $A$.
But do we have any quantitative ...

**3**

votes

**1**answer

141 views

### Condition number after preconditioning

Suppose $A$ and $P$ are symmetric, positive definite matrices and that we factor $P^{-1}=EE^\top.$ Is it true that the condition number of $PA$ is upper-bounded by the condition number of ...

**0**

votes

**1**answer

118 views

### Hadamard Product and Eigendecomposition

I just found this related question in here Q1.
Given a positive definite matrix $\mathbf{A}$, consider its eigendecomposition $(\mathbf{A}\mathbf{V} = \mathbf{V}\mathbf{D})$. Consider an arbitrary ...

**1**

vote

**0**answers

59 views

### Epsilon-net of operator norm ball around Identity

Suppose I look at the set of matrices which are invertible and satisfy
$$
\left\|A-Id\right\|_{op}<r
$$
for some $r<1$, where $Id$ is the $n\times n$ identity matrix. An $\epsilon$-net of such ...

**3**

votes

**2**answers

118 views

### Spectral theorem from Jordan decomposition in infinite dimensions

The finite-dimensional spectral theorem is a simple special case of the finite-dimensional Jordan decomposition. We also have various infinite-dimensional generalizations of the spectral theorem; can ...

**3**

votes

**1**answer

225 views

### Eigenvectors as continuous functions of matrix - diagonal perturbations

The general question has been treated here, and the response was negative. My question is about more particular perturbations. The counterexamples given in the previous question have variations not ...

**0**

votes

**0**answers

30 views

### On the induced norms of stochastic operator and its adjoint operator

The background: when studying the paper published in Automatica named '$H_{\infty}$ control and filtering of discrete-time stochastic systems with multiplicative noise' (volume 37, pp. 409-417), I ...

**6**

votes

**2**answers

210 views

### What methods do we have to understand the spectrum of matrices with restricted entries?

Consider questions of the form (or the "most probable value of" version of these questions rather than the "largest possible"),
What is the largest possible spectral radius of a $n \times n$ matrix ...

**0**

votes

**0**answers

52 views

### Completing Karlin's proof of variation diminishing transformation theorem

In S Karlin's book total positivity there's a theorem
that says if $K(x,y)$ is $TP_r$ (totally positive with degree $r$) and the sign change count of function $h$, $S(h) = n\leq r-1$,
then ...