**3**

votes

**1**answer

109 views

### The spectral radius of a modified graph

Let $H$ be a graph and let $G=H \vee K_{1}$ be obtained by creating a new vertex and joining it to every vertex in $H$.
This situation has many different names: $G$ is called the cone or the ...

**1**

vote

**2**answers

115 views

### Bound on smallest entry of inverse matrix

For a symmetric, invertible matrix $A=(a_{ij})\in \mathbb{R}^{n\times n}$ with (at least two) nonzero off-diagonal elements, is it possible to bound in absolute value the smallest entry of its inverse ...

**10**

votes

**1**answer

296 views

### Hölder's inequality for matrices

I was wondering if the Hölder's inequality was true for matrix induced norms, i.e. if
$$\|AB\|_1 \leq \|A\|_p\|B\|_q, \quad\forall p,q \in [1,\infty] \text{ s.t. } \tfrac{1}{p}+\tfrac{1}{q} = 1.$$
But ...

**3**

votes

**1**answer

185 views

### Calculating a generalized inverse (Moore–Penrose pseudoinverse)

I am considering a graph with $n$ edges with the following nicely structured adjacency matrix:
\begin{equation}
A_n=
\begin{pmatrix}
0 & 0 & 0 &\cdots & 0 & 0 & 1\\
0 & 0 ...

**1**

vote

**0**answers

81 views

### Dimension of $L(E,F)$

Let $E,F$ be two vector spaces over a field $k$.
$L(E,F)$ is the $k$-vector space of linear maps $E \rightarrow F$.
In ZFC, is there a functionnal relation between $dim(L(E,F))$ and ...

**1**

vote

**2**answers

101 views

### Mixing Numerical Range and inner product

Let $\mathbf{A}$ and $\mathbf{b}$ be a symmetric $N\times N$ real matrix and $N\times 1$ real vector respectively. Then consider the set of points in $\mathbb{R}^2$ defined as
\begin{align}
...

**2**

votes

**0**answers

115 views

### Algorithms to compute largest gap between smallest nonzero eigenvalues of sparse symmetric matrix

I am looking mainly for implementations but also for theoretical algorithms to compute gaps between smallest positive eigenvalues of symmetric, singular matrix or real numbers.
To be precise, I want ...

**4**

votes

**0**answers

81 views

### Groups of operators between local unitaries and full unitaries

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...

**5**

votes

**1**answer

121 views

### Are there any known results on numerical ranges of rank-one positive semi-definite matrices?

In my problem, I came across numerical ranges of rank-one positive semidefinite matrices. Through Toeplitz-Hausdorff theorem and some other extensions, I know if there are at most three matrices, then ...

**4**

votes

**1**answer

136 views

### Finite generation of vector identities

This question is partially motivated by Looking for a comprehensive referece for vector identities, although that question may not be appropriate for MO.
Consider the set $\mathcal{E}$ of all valid ...

**6**

votes

**2**answers

140 views

### How to write this result (successive Schur complements compose nicely)

There is an easy theorem in linear algebra that "successive Schur complementations compose nicely": for instance, let's say I have a matrix
$$
M_0=
\begin{bmatrix}
A & B & C \\ D & E & ...

**3**

votes

**1**answer

190 views

### When is this matrix singular?

Consider matrix $A$ with $(j,k)$′th entry $A_{j,k}=\sin(\omega_j t_k+\phi_j),\,\forall j,k\in\{1,2,...,n\}$, where $\omega_j,t_k,\phi_j\in \mathbf R$.
1) For $t_k=k$, what is the condition on ...

**1**

vote

**0**answers

64 views

### range of the difference-of-two-qubit-$4 \times 4$-density-matrix-determinants

The determinant of a two-qubit $4 \times 4$ density matrix--that is, a Hermitian, nonnegative definite matrix with unit trace--lies between $0$ and $(\frac{1}{2})^8$. (A "pure state" has determinant ...

**6**

votes

**4**answers

299 views

### Infinite matrix leading eigenvector problem

This question is cross-posted at Math.StackExchange.com.
I'm trying to find the leading eigenvalue and corresponding left and right eigenvectors of the following infinite matrix, for $\lambda>0$:
...

**15**

votes

**4**answers

641 views

### Smallest non-zero eigenvalue of a (0,1) matrix

What's the smallest absolute value possible of a non-zero eigenvalue of an $n$ by $n$ square matrix whose entries are either $0$ or $1$ (all operations are over $\mathbb{R}$)? I would be interested ...

**0**

votes

**0**answers

62 views

### Cycles of Permutation Related to Rectangular Matrix Transposition

let the entries of a rectangular matrix $A\in\mathbb{C}^{m\times n}; m,n\in\mathbb{N}$ be stored in row-order in a linear vector $v$, i.e. $A_{i,j}=v_{i*m+j}$
Question:
How can the first element ...

**2**

votes

**1**answer

26 views

### Separations between notions of rank for modules over commutative (semi-)rings with no zero divisors.

Let $M$ be an $m$-by-$n$ matrix, here are three definitions$^5$ that we could use for rank:
$rk(M) = \min k$ such that for matrices $P$, and $Q$ with $P$ of size $m$-by-$k$ and $Q$ of size ...

**3**

votes

**1**answer

91 views

### Circuits in a linear oriented matroid

Given $E$ a finite subset of a real vector space $V$, a circuit of the associated matroid is a minimal linearly dependent subset of $E$. For each circuit $\underline C$, a minimal linear dependence
...

**6**

votes

**1**answer

265 views

### Injectivity of matrix “fingerprint”

Consider $S$, the set of all $n\times m$ real matrices with specified row sums $(r_1,...,r_n)$, column sums $(c_1,...,c_m)$, and strictly positive entries.
For any matrix $A$, define
$$ ...

**1**

vote

**0**answers

52 views

### A lower bound on the number of matrices whose image contains all multiples of $p^e$

Let $0\leq e<e^\prime$ be integers. Now suppose $N$ is the number of $n\times n$ matrices over the ring $R:=\mathbb{Z}/p^{e^\prime}\mathbb{Z}$ (where $p$ is prime) such that ...

**3**

votes

**0**answers

65 views

### Orthonormal basis with small $\ell_{\infty}$ norm for a subspace

(Note: I posted this question on stackexchange but was told it might be more suited for mathoverflow. There has been some discussion about the problem there.)
Let $U \subset \mathbb{R}^n$ be a ...

**1**

vote

**0**answers

171 views

### Closed-form solution to a system of linear equations

Consider the following $n \times n$ matrix with a particularly nice structure:
\begin{equation}\mathbf{P}=\begin{pmatrix}
0 & 0& \dots&0 & 0 &1\\
0 & 0& \dots&0 & ...

**6**

votes

**1**answer

169 views

### Almost Hadamard matrices

As well-known, a Hadamard matrix is a square matrix with all coefficients $\pm 1$
and pairwise orthogonal rows or columns. Such matrices exist conjecturally
in every dimension divisible by $4$. Call ...

**0**

votes

**1**answer

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

**11**

votes

**0**answers

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

**2**

votes

**1**answer

194 views

### Can sparse matrices satisfy the Null Space Property?

Definition A matrix $A \in \mathbb{C}^{m \times N}$ with $m < N$ satisfies the Null Space Property (NSP) of order $s$ if
$$\|x_S\|_1 < \|x_{\bar{S}}\|_1, \quad \forall x \in \ker A \setminus ...

**3**

votes

**1**answer

206 views

### Reconstructing a (unitary) matrix from the determinant of its sub-matrices

I want to find the unitary $N \times N$ matrix U from the following data. Let $M$ be an integer $(1< M<N-1)$ and let $\mathcal S$ be the space of all the possible subsets of $\{1,2,\dots, N\}$ ...

**0**

votes

**1**answer

140 views

### Irreducibility of a resultant of real and imaginary parts of a characteristic polynomial

The following question is motivated by the study of a stability border for a robust linear time-invariant control system.
Let us we have an affine family of $n\times n$ matrices with indeterminate ...

**1**

vote

**0**answers

163 views

### Incoherence of the row/column span

Due to V.Chandrasekaran., et al (p.11) : In general for any $k$-dimensional subspace of $A_{n×n}$ we have that:
$$\sqrt{(k/n)} \leq incoherence(A)\leq 1$$
where the lower bound is achieved (for ...

**2**

votes

**0**answers

48 views

### Convergence of Symmetric Iterative Proportional Fitting

Let $A$ denote a symmetric matrix of non-negative entries, whose rows (and columns) sum up to the all-positive vector $d := A\mathbf{1}$ with $\mathbf{1}$ the all-one-vector. Denote $D := diag(d)$ by ...

**7**

votes

**2**answers

857 views

### Linear independence of the square roots over Q

Does there exist a real number $a$ such that the numbers $\sqrt{n^2 + a^2}$ (for all natural $n$) are linearly independent over the field of rational numbers? It is evident that $a$ cannot be ...

**3**

votes

**0**answers

128 views

### Kasteleyn, Gessel-Viennot and eigenvalues

The Kasteleyn matrix (for counting perfect matchings) and the Lindström-Gessel-Viennot matrix (for counting families of nonintersecting lattice paths) are tightly related, as observed many times by ...

**6**

votes

**0**answers

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

**4**

votes

**1**answer

232 views

### Is there a generalization of linear algebra that allows fractional ranks?

The rank is the number of linearly independent rows/cols of a matrix. Generally, we think of linear independence as a binary property. But we could imagine an alternative definition that allows for ...

**1**

vote

**2**answers

200 views

### Möbius transformation by 3 points in the Minkowski model

Goal
I'm interested in describing Möbius transformations in the plane, and I'd like to define them in terms of three points and their images.
What I have tried
I know that a projective ...

**11**

votes

**4**answers

534 views

### Eigenvectors of a particular transition matrix

I am considering a Markov chain with $n$ states with a particularly nice structure. The transition matrix is as follows:
\begin{equation}\mathbf{P}=\begin{pmatrix}
0 & 0& \dots&0 & 0 ...

**-1**

votes

**1**answer

122 views

### Inequality between two matrices

Given a full rank $n \times m$ matrix $K$ with $m<n$ and an invertible symmetric matrix $J$. Let $A$ be a symmetric positive semi-definite $n \times n$ matrix such that
\begin{equation}
(K^T ...

**0**

votes

**1**answer

61 views

### Regular or elliptic elements in the multiplicative group of central division algebra

For an element $g$ of a connected reductive group $G$ over a field $F$,
$g$ is called $regular$ if the dimension of the centralizer of $g$ is equal to the rank of the algebraic group $G$,
$g$ is ...

**1**

vote

**1**answer

131 views

### Compatibility of two definitions of elliptic elements in GLn

For an element $g$ of a connected reductive group $G$ (over a local field),
$g$ is called $elliptic$ if it is semisimple and the maximal split subtorus of the center of the centralizer of $g$ is ...

**4**

votes

**1**answer

205 views

### Eigenvalues of generalized Vandermonde matrices

Given a strictly increasing sequence $0<x_1<x_2<\dots<x_n$ of $n$ strictly positive real numbers and a second strictly increasing sequence $e_1<\dots e_n$
of $n$ real numbers, the ...

**18**

votes

**3**answers

978 views

### Example of a space for which $V \cong Hom(V,V)$

Let $V$ be a topological linear space, and let $\operatorname{Hom}(V,V)$ be the space of continuous linear maps from $V$ back to $V$, equipped with a suitable topology.
Is there a non-trivial ...

**9**

votes

**1**answer

256 views

### Determinant of $V^* V$ where $V$ is rectangular Vandermonde matrix with nodes on unit circle

Let $z_{1},\dots,z_{k}$
be distinct complex numbers with $\left|z_{j}\right|=1,\;j=1,\dots,k$. For any natural $N\geqslant k$
consider the rectangular Vandermonde matrix
$$
V_{N}=\begin{pmatrix}1 ...

**2**

votes

**1**answer

191 views

### Angle between two subspaces

Let $f:M\to M$ be a diffeomorphism on a compact riemannian manifold $M$.In the definition of a hyperbolic set we know that for all $x\in M$ there is a splitting of tangent space
$T_xM=E^s(x)\oplus ...

**0**

votes

**1**answer

136 views

### Constructing a continuous matrix valued function

Given $d<k$. Let ${\cal M}_{d\times k}(\mathbb{R})$ denotes the set of all $d\times k$ real matrices and suppose that $H:\mathbb{R}^k\rightarrow {\cal M}_{d\times k}(\mathbb{R})$ is a continuous ...

**2**

votes

**1**answer

66 views

### Relating joint probability to norm of vector of probabilities

I have a set of Bernoulli random variables $X_1,X_2,\ldots, X_n$ and I would want to bound the joint probability $P(X_1=0,X_2=0,\ldots, X_n=0)$ using the norm $\lvert \lvert \mathbf{p}\rvert \rvert$, ...

**2**

votes

**1**answer

198 views

### Powers of linear functions span the space of polynomial functions?

Let $P_n$ be the space of polynomials in $n$ variables over a field of characteristic 0.
I'm very sure that the space spanned by powers of linear functions is the whole space $P_n$.
Anyone can come ...

**0**

votes

**0**answers

120 views

### Invariants of the Determinant Form

Consider a form of degree $r$ in $n$, that is, a homogeneous polynomial
$$f(x_1, \ldots, x_n)=\sum_{i_1+\ldots i_n=r}\alpha_{i_1 ... i_n}x_1^{i_1} ... x_n^{i_n}
$$
After the linear change of ...

**0**

votes

**0**answers

60 views

### Union of subspaces not contained in algebraic variety

Consider an $n \times n$-matrix $A$ and an $m \times n$-matrix $C$ where $m < n$.
I am asking myself whether it is possible to formulate an algebraic condition on $A$ and $C$ such that the union
...

**6**

votes

**3**answers

322 views

### On the rank of a matrix $S$ with coefficients in $\mathbb F_{2^m}$

Let $\mathbb F$ be a finite field with characteristic 2 and let $S \in M(2k, 2k, \mathbb F)$ be the matrix defined as follows
$$ S=\left[\begin{array}{ccccccc}
0 & ...

**3**

votes

**0**answers

145 views

### Finding a basis for the (linear combinations) span of a matrix group, efficiently?

I have an algorithm whose bottleneck is the following task:
Let $\mathbb{F}$ be a finite field.
Given a set of $k$ invertible matrices $g_1,\dots,g_k\in GL_n(\mathbb{F})$, let
$G=\langle ...