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

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

**0**

votes

**1**answer

81 views

### Reference for measures of commutativity needed

I'm looking for an appropriate measure to quantify the extent to which two matrices commute. In other words, if A and B are two n×n Hermitian matrices, and [A,B]=C.
I'd like a function μ:Cn×n→[0,∞) ...

**1**

vote

**1**answer

55 views

### Splines linearly independent

Let $N_1:=\chi_{[0,1]}$ be defined as this characteristic function and $N_n:=N_{n-1}*N_1$ then this leads to polynomials with support $[0,n]$. These splines are well-studied click for wikipedia My ...

**6**

votes

**2**answers

393 views

### Is there a nice “synthetic” way for doing differential geometry on infinite dimensional vector spaces?

If $V$ is an infinite dimensional vector space, for example the space of smooth functions on $\mathbb{R}$, we can introduce some differential geometry concepts by choosing a topology on $V$ and doing ...

**0**

votes

**0**answers

31 views

### How to treat non-identifiable states in Kalman filtering/dynamic linear models?

Let $x_t = G_tx_{t-1}+\omega_t$ with $\omega_t \sim \mathrm{N}(\mathbf{0}, \mathbf{W}_t)$ be a state equation, and let $y_t = F_tx_t+\nu_t$ with $\nu_t \sim \mathrm{N}(\mathbf{0}, \mathbf{V}_t)$ be a ...

**4**

votes

**2**answers

309 views

### “Typical” convergence rate for the von Neumann mean ergodic theorem

The von-Neumann theorem states that for a unitary operator $U: {\cal H} \mapsto {\cal H}$,
where ${\cal H}$ is a Hilbert space, the following holds:
$$
\lim_{N\to \infty} \frac{1}{N} \sum_{n=1}^N U^n ...

**5**

votes

**2**answers

304 views

### Minimum of squared sum minus sum of squares

I know that
$$
\min_{\|x\|_2=1=\|y\|_2} \left(\sum_{k=1}^nx_ky_k\right)^2-\sum_{k=1}^nx_k^2y_k^2 \geq -1/2
$$
with equality whenever $|x_k|=\frac{1}{\sqrt{2}}=|y_k|$ for two coordinates.
I'm ...

**1**

vote

**0**answers

53 views

### non-intersecting families of subspaces

Given $V$, a vector space over a finite field $F$ of size $k$, if $\dim(V)=m$, and $r$ divides $m$, there exists a family of $r$-dimensional subspaces, whose size is equal to $(k^m-1)/(k^r-1)$ and ...

**6**

votes

**1**answer

253 views

### Convexity of the product of two exponential matrices

Let $S\subset\mathbb{R}$ be a convex set and $\mathbb{S}^{n}$ be the set of real symmetric matrices of order $n\times n$.
A matrix valued function $\Gamma: S \rightarrow \mathbb{S}^{n}$ is said to ...

**1**

vote

**2**answers

148 views

### Nonlinear matrix differential equation

I want to solve the equilibrium of the following differential equation:
$\dot{x_i} = \sum_j A_{ij} x_j + x_i \sum_j B_{ij}x_j$
which is essentiall in matrix notation:
$\dot{\mathbf{x}} = ...

**1**

vote

**0**answers

115 views

### What is the trace of this operator in $L^\infty$ (if this question make sense)?

Let $\Omega$ be a closed domain in $\mathbb{R}^N$, and $\lambda$ the corresponding Lebesgue measure. We define in $(L^\infty(\Omega), \Vert \cdot \Vert_\infty)$ the following operator :
...

**1**

vote

**0**answers

63 views

### Smallest sum of original column entries in 2d matrix [closed]

I have an interesting optimization problem I am trying to solve now and I thought I'd share it here in order to find the best answer. The problem itself is not complicated and it is stated like this:
...

**3**

votes

**1**answer

145 views

### Dimension of a certain subspace of univariate polynomials

Let $\mathbb{F}$ be an arbitrary field. For a polynomial $f\in\mathbb{F}[x]$,
we use $Z(f)$ to denote set of roots of $f$ in $\mathbb{F}$. Let $S$
and $T$ be sets of elements of $\mathbb{F}$ of size ...

**1**

vote

**1**answer

65 views

### Given $M$, minimize $|Mx|_0$

Given a matrix $M \in \mathbb{R}^{n \times m}$, I would like to find
$\min_{x \in \mathbb{R}^m} \|Mx\|_0$ such that $x \neq 0^m$,
where the $\ell_0$ "norm" is measured by simply counting the number ...

**5**

votes

**1**answer

351 views

### How many random matrices does it take to generate a matrix algebra?

Let $\mathbb{F}$ be a finite field.
Let $A\le \mbox{Mat}_n(\mathbb{F})$ be a matrix algebra.
Is there a good bound on the number $k$ of random elements $a_1,\dots,a_k\in A$
that one needs to take ...

**11**

votes

**0**answers

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

**1**

vote

**1**answer

1k views

### Does this linear algebra construction based on a graph have a name, and where has it been studied?

In the paper Kochen-Specker set with seven contexts by Lisonek, Badziag, Portillo and Cabello, the following construction is used :
Question : Have such constructions been used elsewhere, and if so ...

**-1**

votes

**1**answer

284 views

### Which operators other than self-adjoint operators have no purely imaginary eigenvalues? [closed]

Given an operator mapping between suitable spaces, what is the condition that guarantees all eigenvalues have nonzero real part? Obviously self-adjointness implies all eigenvalues are real, but how ...

**0**

votes

**0**answers

71 views

### Degree of permutation of hypercube

Given $S_0\cup S_1=T_0\cup T_1=\{0,1\}^n$, $S_0\cap S_1=T_0\cap T_1=\emptyset$, with $|S_i|=|T_i|$ for both $i\in\{0,1\}$, what is degree of transformation that simultaneously maps $S_i$ to $T_i$ for ...

**2**

votes

**1**answer

143 views

### Linear independence of +/- 1 strings/vectors II

Let $V=\left\{-1,1\right\}^{n}$. Consider three vectors $v_1,v_2,v_3\in V$. I would like to know whether these vectors are linearly independent over $\mathbb{Z}$. To be more precise - I need a ...

**1**

vote

**0**answers

168 views

### Is there a way to simplify this apparently huge characteristic polynomial calculation?

Say I am given the $0/1$ adjacency matrix of an undirected graph. Also I am given a representation $\rho$ of some group $G$ and an orientation has been arbitrarily chosen along each edge. Let ...

**1**

vote

**1**answer

121 views

### Linear independence of +/- 1 strings/vectors

Let $V=\left\{-1,1\right\}^{n}$. Consider three vectors $v_1,v_2,v_3\in V$. I would like to know whether these vectors are linearly independent over $\mathbb{Z}$. To be more precise - I need a ...

**8**

votes

**5**answers

613 views

### Analogue of Cayley Hamilton theorem for operators on Hilbert space

Is there an analogue of Cayley Hamilton theorem which holds for operators on a separable Hilbert space. Obviously the characteristic polynomial will be replaced by something else.

**5**

votes

**1**answer

239 views

### Dimension of the span of all partial derivatives of a given symmetric polynomial $f$ and the polynomial $E(f)$

I need some help on the problem below.
Let $d\geq 4$ and $f$ a symmetric polynomial, homogeneous of degree $d$, in $n$ variables $x_1,\dots,x_n$, with real coefficients. We set
$$ ...

**3**

votes

**3**answers

405 views

### A table for irreducible integral representation of finite cyclic groups

Is there such a table where the irreducible integral representations of finite cyclic groups
are listed?
Edited:
Thanks for Todd Leason's comment.Acutally,i want to know all inequivalent ...

**1**

vote

**1**answer

214 views

### Projectors onto the invariant subspaces of a unitary representation $U \otimes U^* \otimes U \otimes U^*$

Let $$U \mapsto U \otimes U^* \otimes U \otimes U^*$$ be a unitary representation of the unitary group $U(n)$ acting on the vector space $V$ (where $U^*$ is the complex conjugate of $U$). We can ...

**48**

votes

**7**answers

3k views

### How to prove this determinant is positive?

Given the matrices $ A_i=
\biggl(\begin{matrix}
0 & B_i \\
B_i^T & 0
\end{matrix} \biggr)
$, where $B_i$ are real matrices and $i=1,2,\ldots,N$, how to prove that $\det(I + ...

**1**

vote

**0**answers

55 views

### Is there a relation between covariance matrices and real and imaginary part of eigenvectors?

Apology if my question not clear or appropriate. Consider a complex positive definite sample covariance matrix (SCM) A, generated by a band limited signal on a set of sensors which is termed as data ...

**1**

vote

**1**answer

70 views

### How to characterize a linearly-constrained subspace in a projection [closed]

I hope this one is easy. Suppose I have an underdetermined, rectangular matrix $A$ and vector $b$. I want to reason about the subspace where $Ax = b$ and specifically the projection $y:= Tx$. Is there ...

**4**

votes

**0**answers

171 views

### What is the complexity of intersecting two matrix algebras over a finite field?

The following question arose in a joint project with Arkadius Kalka and Adi Ben-Zvi.
Let $\mathbb{F}$ be a finite field, and $M_n(\mathbb{F})$ be the $n\times n$ matrices over $\mathbb{F}$.
For a ...

**2**

votes

**2**answers

198 views

### constant rank theorem for banach spaces

Is there a similar statement to the constant rank theorem for finite dim real smooth manifolds which holds for a smooth map $F:B \rightarrow M$ where $B$ is an infinite (countable) dim Banach space ...

**0**

votes

**0**answers

83 views

### Convenient basis presentation of Lefschetz decomposition

Let $V$ be an almost-complex vector space, equipped with a symplectic element $\omega \in V^{(1,1)}$. In terms of a basis $b^+_i \in V^{(1,0)}$, $b^-_i \in V^{(0,1)}$, does there exist a "simple" ...

**7**

votes

**1**answer

336 views

### Number of matrices with given Smith normal form

Denote with $\mathcal{M}$ the set of $(m \times n)$-matrices with integer coefficients bounded by some $K$. Given a matrix $B \in \mathcal{M}$ that is in Smith normal form, is anything known about the ...

**2**

votes

**0**answers

83 views

### Do copairings provide dualities in derived categories?

Here is an elementary fact about vector spaces. Let $V,W$ be vector spaces over a field $\mathbb K$ and let $c : \mathbb K \to V \otimes W$ be an element of the tensor product. Then $c$ determines ...

**1**

vote

**0**answers

39 views

### Lattice-isotopic essentialization of arrangements

I'm working on a problem related to
$\textbf{Randell's isotopy theorem}$ for complex hyperplane arrangements. I have a question which seems quite obvious. However, I haven't found a rigorous proof ...

**0**

votes

**0**answers

143 views

### Symmetric kernel of tensor product

Let $V,W$ be two vector spaces, and let $L_i:V\rightarrow W$, $i=1,\ldots,n$ be $n$ linear maps with disjoint kernels $K_i$ of dimension $1$.
Consider the tensor product of these maps $L_1\otimes ...

**2**

votes

**0**answers

43 views

### A tensor equation related to an invariant of a diffeomorphism

Let $M$ be an $n$-dimensional differentiable manifold, $f : U
\rightarrow V$ a diffeomorphism between open neighbourhoods $U$, $V$
of $M$ with $f(x)=x$ for some $x \in U$, and let $R$, $S$, $T$ be
...

**1**

vote

**0**answers

39 views

### LU growth factor applied to LDL of a Positive Semidefinite matrix [closed]

For a Positive Semidefinite matrix $A$, which we can decompose through $LDL$ decomposition as follows: $A=LDL^\text{T}$; how can we prove that for a decomposition $A=LU=L(DL^\text{T})$, the growth ...

**3**

votes

**1**answer

106 views

### Create matrix containing values in [0,1] where sum of all diagonals and anti-diagonals is fixed

The problem I am facing sounds at first glance pretty simple. However, as very often, it seems more complicated than I first assumed:
I want to calculate a matrix $P = (p_{j,k}) \in \mathbb{R}^{n ...

**9**

votes

**2**answers

320 views

### Determinant of a checkerboard Hankel matrix with Catalan numbers

My goal is to compute
\begin{equation}
I = \det \left(\mathbf{I} + \mathbf{A}\right)
\end{equation}
where $\mathbf{A}$ is a $n \times n$ checkerboard matrix filled with Catalan numbers:
$$
\left\{
...

**1**

vote

**0**answers

87 views

### Is my particular finite dimension Toeplitz matrix always strictly positive?

Let $H(\omega), \; -\pi \leq \omega \leq \pi$ be a real-valued function with a continuous band of zeros, that is (for simplicity) $H(\omega)=0, \; |\omega|\geq \beta \pi$.
Define a sequence of banded ...

**2**

votes

**1**answer

147 views

### Proof of eigenvalue stability inequality via Courant-Fischer min-max theorem

Dr. Tao in his notes on eigenvalue inequalities uses Courant-Fischer min-max theorem to prove the eigenvalue stability inequality. Specifically, I am looking for proof of Eq. (13) where Dr. Tao ...

**3**

votes

**2**answers

204 views

### Is the exterior power of a primitive matrix still primitive?

the question is already in the title. Here some more details.
I have a primitive matrix $M$ (primitive means $\exists k\geq 0$ such that $M^k > 0$). I take exterior powers $\wedge^n M$ and I would ...

**2**

votes

**1**answer

247 views

### Lebesgue measure of set of $y\in\mathbb{R}^n$ such that $x,y,Ay$ are linearly dependent

I've asked this question here on math.stackexchange, but I have been unable to solve this yet, so I'm hoping I can get some advice here.
Consider a vector $x\in \mathbb{R}^n$ and a real $n\times n$ ...

**8**

votes

**1**answer

329 views

### Samuel Karlin's problem: Probability of positive solution to system of random linear equations

I came to know this problem from Dr. W. Bryc's slides (at University of Cincinnati), and I have been continually working on this problem for almost 5 days using different techniques. But I am only ...

**1**

vote

**1**answer

80 views

### Self adjoint operator and vertex conditions in quantum graphs

Let $\Gamma$ be a metric graph with finitely many edges. Consider the operator H acting as $\frac{-d^2}{dx_e^2}$ on each edge $e$, with the domain consisting of functions that belong to $H^2(e)$ on ...

**15**

votes

**1**answer

922 views

### How many values determine a norm?

It is well known that for a bilinear form over an n-dimensional vector space, $n^2$ values (on all pairs of basis-vectors) determine it uniquely.
How many values do we need to specify in order to ...

**22**

votes

**4**answers

1k views

### Dividing by two in the category of vector spaces

Does every invertible linear map $M$ between $V \oplus V$ and $W \oplus W$ naturally yield an invertible linear map $L$ between $V$ and $W$?
Here "naturally" means "in an $GL(V) \times ...