# Tagged Questions

**2**

votes

**1**answer

80 views

### Number of Plücker relations for a Grassmannian

Is it true that the number of Plücker relations for a Grassmannian $Gr(k,n)$ is equal to the dimension $k(n-k)$ of said Grassmannian? So far, for $Gr(2,5)$, I get exactly five Plücker relations: ...

**1**

vote

**1**answer

32 views

### Pragmatic Test for Total Unimodularity

I want perform a simple check for total unimodularity.
Question:
what, if anything, can be concluded from the fact, that $$det(A)=1,\ a_{ij}\in\{-1,0,+1\}\ \wedge\ a_{ij}^{-1}\in\{-1,0,+1\}$$
...

**2**

votes

**1**answer

67 views

### Minimal Support Solutions of a Linear System (Dissertation)

For a given $n \times m$ matrix A with $m>>n$ and a given vector $\vec b \in \mathbb{F}^{n \times 1}$, and given that $A\vec{x}=\vec{b}$ for at least one $\vec{x} \in \mathbb{F}^{m \times ...

**1**

vote

**0**answers

20 views

### Boundary of pseudospectra

Suppose:
$B_i \in \mathbb{C}^{n \times n}$, $0<w_i\in \mathbb{R}$ $(i = 0,1,2,\ldots,m)$
${\rm P}(x) ={\rm{B}_m} x ^m + \cdots + B_1 x + B_0$ is a matrix polynomial, and $x $ is a complex ...

**2**

votes

**0**answers

99 views

### Deligne-Simpson problem for classical groups

Additive Deligne-Simpson problem was partially prooved by Kostov. Also there is Crawley-Boevey's approach to the question. The problem is about existence of a solution of the equation
$$
A_1 +...+A_n ...

**2**

votes

**2**answers

106 views

### A reference about Grassmannian over finite fields

Suppose $Gr_k(k,n)$ the Grassmannian which classifies all the dimension $k+1$ sub-spaces of a dimension $n+1$ linear space over the field $k$. For the case over a finite field $\mathbb F_{q}$, we can ...

**1**

vote

**1**answer

375 views

### sign-flipping inverse

Consider this matrix:
$Z=\begin{bmatrix}23.9 & -7 & -17 \\\\ -7 & 23.9 & -17 \\\\ -17 & -17 & 33.9 \end{bmatrix}$
Its inverse is entrywise negative (you can check...) and ...

**4**

votes

**0**answers

120 views

+50

### Complexity of approximating the size of the range of a matrix

Given an $m$ by $n$ matrix $M$ with $m \leq n$ and elements from $\{-1,1\}$, let us define:
$$S_M = |\{Mx : x \in \{-1,1\}^n\}.$$
It is NP-hard to compute $S_M$ exactly I believe by applying the ...

**2**

votes

**0**answers

69 views

### Set of Special Unitary Matrices that are dense in SU(4) and obey certain relations

I'm trying to find a finite set of 4x4 Unitary matricies $\{U_1,U_2,\ldots U_N\}$ such that the matrices are dense in SU(4), and obey the relations:
$[U_i, U_j] = 0$ for $|i-j|>1$
...

**2**

votes

**0**answers

53 views

### Weyl-type inequality for non-Hermitian matrices?

What is the weakest known condition under which a Weyl-type eigenvalue perturbation inequality holds? Does some analogue hold for normal matrices, for example?

**2**

votes

**0**answers

155 views

### Inverting a matrix with entries equal to positive or negative infinity

I would like to define an inverse on matrices whose entries may be positive or negative infinity.
To formulate my problem precisely, suppose that I have a matrix $A$ and another matrix $B$. How do I ...

**0**

votes

**0**answers

20 views

### Inequality for coefficient of ergodicity

Let $Α$, $B$, $C$ stochastic matrices and $τ(Α)= \max(A^T(e^i - e^j) )$, coefficient of ergodicity. We know that $τ(ΑΒ)\le τ(Α)τ(Β)$. Is true that $τ(ΑΒC)\le τ(ΑC)$
if $B$ has positive digonal ...

**-3**

votes

**1**answer

55 views

### A question on matrix polynomial [on hold]

Suppose
${P_\Delta }(\lambda ) = ({A_m} + {\Delta _m}){\lambda ^m} + ....... + ({A_1} + {\Delta _1}){\lambda ^1} + ({A_0} + {\Delta _0})$ is a matrix polynomial, and $\lambda $ is a complex ...

**9**

votes

**4**answers

3k views

### When is an algebra of commuting matrices (contained in one) generated by a single matrix?

Let C be an nxn matrix, then the polynomials in C (with appropriate coefficients) form an algebra of commuting matrices. I feel that I should know if the converse is true but I do not. So my first ...

**4**

votes

**1**answer

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

**-5**

votes

**0**answers

29 views

### Algebra math word problem to be solved using elimination or substitution method [on hold]

A two-digit number is such that the sum of its digits is 1/4 of the number. When the digits of the number are reversed and the number is subtracted from the original number, the result obtained is ...

**-1**

votes

**0**answers

18 views

### Uniqueness of Smith normal form in Z (ring of integers) [migrated]

It is a very well known fact that Smith Normal Form has proven useful when dealing with the development of the structure theorem of finitely generated abelian groups. In this context, there is an ...

**4**

votes

**1**answer

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

**-2**

votes

**0**answers

64 views

### Degree of a rational Function [closed]

This might sound a very trivial question but I found different answers on the web.
Assume on has a rational function f(x)/g(x) where f(x) and g(x) are polynomials. What is the degree of the rational ...

**1**

vote

**3**answers

1k views

### Laplacian spectrum for product graphs

Let $G$ and $H$ be simple graphs.
I am interested in the Laplacian spectrum for various products of $G$ and $H$ namely the cartesian product, tensor product, lexicographical product and strong ...

**6**

votes

**0**answers

175 views

### Dimensions of dual vector spaces

Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...

**1**

vote

**0**answers

34 views

### Eigenvectors of a perturbed reducible stochastic matrix

Let $Q$ be a $n\times n$ reducible stochastic matrix. Let $J$ be such that $[J]_{ij}={1 \over n}$. Now for a small positive constant $\alpha\in [0,1]$, consider the matrix ...

**2**

votes

**0**answers

49 views

### Zauner's conjecture [migrated]

The conjecture is as follow: In $\mathbb{C}^{n}$, there exists $\{v_1,\cdots,v_{n^2}\}$ such that the following holds:
$$ \left| \left \langle v_i, v_j \right \rangle \right| = \begin{cases} 1 ...

**4**

votes

**2**answers

123 views

### Relation between eigenvalues of $A$ and $A^TA$?

For an $n\times n$ diagonizable matrix $A$, is there a relation between the eigenvalues of $A$ and the eigenvalues of $A^TA$?
I ask this because I am looking into the relation between $A$ and $A+cI$, ...

**2**

votes

**1**answer

163 views

### Sampling from random totally unimodular matrices of a particular type?

Is there a way to parametrize totally unimodular $(3n+2)\times(2n+2)$ matrices of form
$$\begin{bmatrix}
\pm1 & \pm1 & 0 & 0 &\dots & 0 & 0 & 0 & 0\\
A_{2n} & ...

**9**

votes

**0**answers

226 views

### How to prove this determinant is positive-II?

Question: Given an arbitrary number of real matrices of the form $ A_i=
\biggl(\begin{matrix}
C_i+E_i & B_i \\
B_i^T & D_i-F_i
\end{matrix} \biggr)
$, where $B_i$ is an arbitrary $n\times n$ ...

**-4**

votes

**0**answers

51 views

### Why do n linearly independant vectors in $\mathbb{R}^n$ span $\mathbb{R}^n$? [closed]

I'm really not sure how to prove this, I've been googling around with no luck.
Any help would be lovely!

**1**

vote

**1**answer

134 views

### Is there a nice choice-free argument to count the number of sublattices?

It's a well known fact that the number of index $n$ sublattices of a rank two lattice $\Lambda$ is given by $\sigma_1(n) = \sum_{d\mid n} d$.
Here is a proof of this fact:
Proof: choosing a basis of ...

**1**

vote

**1**answer

103 views

### Rank of a fat random matrix

Let $\mathbf{R} \in \mathbb{C}^{~n \times k} $ with $n \leq k $ be a random matrix, whose entries are i.i.d zero mean random variables with circularly symmetric Normal distribution. Two questions:
...

**12**

votes

**1**answer

301 views

### Expected size of determinant of $AA^T$ for random circulant and Toeplitz matrices

If $A$ is chosen uniformly at random over all possible $n$ by $n$ Toeplitz (or circulant) (0,1)-matrices, can we give any bounds for the expected size of the determinant of $AA^T$? All arithmetic is ...

**1**

vote

**0**answers

44 views

### Directed graph Laplacian with exactly one negative eigenvalue

Let $G$ be a digraph with adjacency matrix $A =(A_{ij})$ where $A_{ij}=1$ if and only if there is a directed edge $i \to j$ and $A_{ij}=0$ otherwise. Let $D= (D_{ij})$ be the degree matrix with ...

**-1**

votes

**1**answer

110 views

### How should $A^α$ be defined for real $α ∈ [0,∞)$ and $A\in M_n(\mathbb C)$? [closed]

Let $A\in M_n(\mathbb C)$ be arbitrary. I'm interested to know How should $A^{\alpha}$ be defined for real $\alpha\in [0,\infty)$? When $A$ is nonsingular, we can define $A^{\alpha}=\exp(\alpha ...

**6**

votes

**1**answer

184 views

### Bounds for maximum determinant of circulant matrices

The Hadamard circulant conjecture states that there do not exist circulant Hadamard matrices with more than $4$ columns.
An $n$ by $n$ Hadamard matrix where the entries are chosen from $\{-1,1\}$ ...

**4**

votes

**1**answer

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

**2**

votes

**1**answer

150 views

### Extracting a full rank matrix from a 0-1 matrix

If $A$ is a $n\!\times\!n$ $0$-$1$ matrix of rank $k<n$. If ever possible, what would be an efficient way of extracting a full rank $k\!\times\!k$ sub-matrix of $A$ by removing columns and rows of ...

**3**

votes

**1**answer

145 views

### Existence of $SO(n)$-isotropic inner products which are not $O(n)$-isotropic

$\newcommand{\al}{\alpha}$
Let $M_n$ be the space of $n \times n$ real matrices.
Question:
For which $n$, is there an inner product on $M_n$ which satisfies:
$$(*) \, \, \langle Q^TXQ,Q^TYQ ...

**-1**

votes

**0**answers

11 views

### How can i get real analog of complex function? [migrated]

I have a function:
sin(wt-jT) (1.1), where j - complex number
I transform it to function with real arguments:
...

**2**

votes

**1**answer

148 views

### programming to compute kernel quotient image of a $\mathbb{Z}$-module endomorphism

Let the integers $n\geq 2$, $k\geq 1$, $v=0$ or $1$ and $n_1,\cdots,n_k\geq 1$ such that
$$
\sum_{i=1}^k n_i+v=n.
$$
Define $P_a^b=0$ if both $a,b$ are odd and $P_a^b={{[a/2]}\choose {[(a+b)/2]}}$ ...

**4**

votes

**2**answers

232 views

### Derivative of eigenvectors of a matrix with respect to its components

Suppose that $B$ is a real, positive-definitive symmetric ($3\times3$) matrix (more accurately, $B$ is a tensor) with distinct eigenvalues, and that we can write it as
$$
B= \sum_{i=1}^3 ...

**1**

vote

**2**answers

74 views

### Orthogonal Procrustes problem with Absolute Values

Given a non-negative matrix $T$, how to find a orthogonal matrix $O$ minimising
$$ \left\lVert \, |O| - T \right\lVert_F,$$
where $\lVert \cdot \lVert_F$ denotes the Frobenius norm, and $| \cdot |$ ...

**0**

votes

**0**answers

17 views

### Norm of a linear operator in a tight frame

My question certainly has a simple answer, but I am not sure about how to formalize my thoughts, to put it simply, I am looking for the norm of a linear operator that is a composition of 2 linear ...

**2**

votes

**1**answer

41 views

### Spectral radius of perturbed bipartite graphs

I am looking into how perturbation(s) on a bipartite graph affect its spectrum (specifically its spectral radius or largest eigenvalue). Actually, I'm not exactly looking into bipartite but my ...

**9**

votes

**1**answer

174 views

### Exact determinant of a circulant matrix

The wikipedia gives us a formula for the determinant of a circulant matrix. That is:
$$\mathrm{det}(C)
= \prod_{j=0}^{n-1} (c_0 + c_{n-1} \omega_j + c_{n-2} \omega_j^2 + \dots + c_1\omega_j^{n-1})= ...

**3**

votes

**3**answers

660 views

### Matrix decomposition the other way

First of all, this is no useful way to decompose a matrix -
you need to know the eigenvalues beforehand. But it popped up
naturally during my knot theory dabblings.
Assume that you know the ...

**4**

votes

**2**answers

125 views

### Collection of projection operators in finite dimension and algebraic techinques

Consider a set of linearly independent vectors $\{x_1,\dots,x_n\}$ in some finite-dimensional Hilbert space $H$. For any subset $S \subset [n]$, let $P_S$ be the (orthogonal) projection (operator) ...

**6**

votes

**1**answer

138 views

### Fast Symbolic Linear Algebra CAS?

I am a regular user of Mathematica, Julia, and MATLAB but I am looking for something different. The problem I am trying to solve in Mathematica only requires (dense) linear algebra to specify but is ...

**4**

votes

**2**answers

164 views

### Describing Levi factors and unipotent radicals of parabolic subgroups in classical groups

I asked this question before at Math.SE (link) but got no answer.
Let $G$ be an algebraic group over an algebraically closed field $k$ of characteristic $p \geq 0$. Then any parabolic subgroup $P$ ...

**2**

votes

**2**answers

152 views

### Intersection of Subspaces with $O(3)$

Sorry for the confusion from earlier. I tried to fix the thread. The old version can be found below.
For $6$-dimensional subspaces $V$ of the space $\mathbb{R}^{3\times 3}$ of real three-times-three ...

**4**

votes

**0**answers

193 views

### stochastic control / geometric mean

Consider the following problem:
Given $\Omega$ and $U$ two symmetric definite positive matrices, choose a matrix $K$ to minimize the expectation $x' \Omega x + x'K'UKx$ when $x$ follows the invariant ...

**0**

votes

**1**answer

115 views

### Why is the Fano variety of lines on a smooth three-dimensional quadric isomorphic to $\mathbb{P}^3$?

Let $Q \subset \mathbb{P}^4$ be a smooth three-dimensional quadric over an algebraically closed field $k$ ($\mathrm{char}(k) \neq 2$) and let $F$ be the Fano variety of lines on $Q$.
In "Iskovskikh ...