Questions about the properties of vector spaces and linear transformations, including linear systems in general.

learn more… | top users | synonyms

0
votes
0answers
99 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 ...
3
votes
0answers
94 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
2answers
140 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
0answers
103 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 ...
0
votes
0answers
21 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
1answer
115 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 ...
0
votes
1answer
202 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$.
2
votes
2answers
162 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
vote
0answers
166 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? ...
1
vote
0answers
58 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 ...
5
votes
1answer
170 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 ...
0
votes
1answer
106 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 ...
0
votes
0answers
64 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, ...
1
vote
1answer
77 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
2answers
208 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?
1
vote
1answer
46 views

proving that a smooth curve in Euclidean n-space contains n+1 affinely independent points

If I let $f(\theta)=((\mathrm{cos} \theta)X+(\mathrm{sin} \theta)Y)^{n-1}$ and view the range of this curve as a subset of the space of homogeneous polynomials of degree $n-1$ in two variables viewed ...
4
votes
2answers
117 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 ...
2
votes
0answers
284 views

Good covering of a sphere

Consider a sphere $S_r(0)$ with center at zero and radius $r$ in the Hamming space $\{0,1\}^n$. We will be interested in covering this sphere with balls of radius $\rho < r$. We know that there ...
2
votes
1answer
85 views

Bounds on Hilbert-Schmidt norm of difference of products of matrices

I suspect the following is well-known, but don't know of a reference (and it is not close to the area I normally work in). I have two sequences of matrices $Q_{1},\ldots,Q_{k}$ and ...
1
vote
2answers
153 views

Inverse of a matrix expression

Let $$X_i = \left(I - P\left(I - t_it_i^T\right)\right)^{-1}$$ where $P$ is an $N\times N$ matrix and $t_i$ is a vector of $N$ elements. Is there a way to simplify this expression in order to ...
1
vote
0answers
58 views

Can we give efficiently the solution of a bilinear system of equations over a finite field?

Consider a finite field $F$ and suppose we have a system of equations $$h_1(\alpha,\beta)=0,h_2(\alpha,\beta)=0,...,h_t(\alpha,\beta)=0$$ where $\alpha=(\alpha_1,...,\alpha_s)$ and ...
3
votes
1answer
89 views

Probe permutationally matrix extreme properties

Suppose given $M\in\{0,1\}^{n\times n}$ of rank $r$. Assume that changing even a single $1$ to $0$ in $M$ raises rank. Does it follow that $M$ is permutationally equivalent to a block diagonal ...
3
votes
1answer
558 views

Why are 1 and -1 eigenvalues of this matrix?

This is a subject I've been working on for a very long time now, but still did not manage to fully understand the interesting properties of this matrix $\mathbf{A}$. First, let's define two matrices: ...
1
vote
0answers
52 views

How to define the determinant of a morphism between graded Lie algebras?

I have the following question. Suppose $g_1$ and $g_2$ are two finite dimensional, nilpotent, stratified Lie algebras and $A:g_1\to g_2$ is a morphism of the graded Lie algebra. I wonder whether there ...
1
vote
0answers
43 views

Probability of non-negative matrix relaxation

Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, take $\mathscr{M}[M]=\{Q\in R_{\geq0}^{n\times n}:Q[ij]>0\iff M[ij]=1\}$. Does ...
4
votes
1answer
111 views

Maximizing Frobenius Norm of Commutator (an opposite Procrustes problem)

I was wondering if anybody has any suggestions on the following problem: Let $S$ be an $n\times n$ positive definite symmetric matrix. I wish to find an $n\times n$ orthogonal matrix $R$ which ...
11
votes
1answer
428 views

A generalization of the Powers-Stormer inequality

The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)) \leq \| A^2 - B^2 \|_1$, where $\| \cdot \|_1$ ...
3
votes
1answer
98 views

Upper bounds on elements of a matrix

During my research I have come across matrices this type $$C=B\left(B^T B\right)^{-1}B^T\ ,$$ where $B$ is an $m\times n$ real matrix. If $B^TB$ is not invertible, then $\left(B^T B\right)^{-1}$ ...
5
votes
0answers
171 views

Characterizing matrices with rank constraint

Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, is there a nice method to characterize $$\mathscr{D}[M]=\{Q\in\Bbb\{0,1\}^{n\times n}:\mathsf{rank}(M-Q)= \mathsf{rank}(Q),\quad M-Q\in\Bbb\{0,1\}^{n\times ...
0
votes
0answers
114 views

Anticommuting operators with positive properties

Which classes of $M\in \mathsf M_k(\Bbb R)^{n\times n}$ admit solutions $N\in \mathsf M_k(\Bbb R)^{n\times n}$ such that $$(M\otimes N+N\otimes M)(u\otimes u)=0$$ forall $u\in \mathsf D_k(\Bbb ...
3
votes
0answers
31 views

Quasi-M matrices?

Does any body know a reference on lower triangular matrices with negative entries everywhere except for the diagonal and subdiagonal where entries are positive (when all entries are negative with ...
8
votes
3answers
301 views

Distinguishing combinatorial maps by their linearizations

Every (not-necessarily invertible) map $f$ from $[n]:=\{1,2,,,,.n\}$ to itself determines a linear map $L_f$ from ${\bf R}^n$ to itself that sends the basis vector $e_k$ to $e_{f(k)}$ for $1 \leq k ...
1
vote
0answers
55 views

Zero as a repeated permanental root for a matrix over a finite field

All, Suppose $A \in Mat(n, \mathbb{F}_{q})$ for $q$ prime, $q \geq 5$, and $n \geq 2^{q-2}$ . Let $\pi_A(x)$ be the permanental polynomial for $A$. That is, \begin{equation*} \pi_{A}(x)=per(xI-A). ...
3
votes
1answer
107 views

A norm description for singular matrices

For $n>2$, are there norms $\parallel.\parallel_{a}$ and $\parallel.\parallel_{b}$ on $M_{n}(\mathbb{R})$ with the following property: $A\in M_{n}(\mathbb{R})$ is singular if and only if ...
0
votes
0answers
16 views

Dense Symmetric Rank Deficient Linear System

What are some of the best methods for solving a Dense Rank Deficient Linear System Ax = b, where A is Dense, Symmetric but possibly Rank Deficient. I know SVD can solve it pretty nicely while ...
4
votes
1answer
71 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$ ...
0
votes
1answer
63 views

Stationary distribution of random walk alias solving uncountably many linear equations [closed]

Let us have interval $I = (i_1,i_2)$, function $f_1 : I \mapsto I$, function $f_2 : I \mapsto I$. Let $x_0$, $x_1$, $x_2$, ... be series of random variables from interval $I$ denoting random walk. ...
1
vote
1answer
168 views

A geometric property of singular matrices

Let $S\subset M_{n}(\mathbb{R})$ be the singular points of the equation $Det=0$. That is $S$ is the critical points of the determinant function. What matrices belongs to $S$, precisely? Let ...
0
votes
0answers
67 views

Specific optimization problem solution procedures

Is there a standard procedure to solve following two optimization problems? $$\mathsf{Problem\mbox{ }I}:\mbox{ }\min_{A\in\{0,1\}^{n\times n}:rk(A)=r}\mbox{ }\max_{R,S\in\Bbb R^{n\times ...
1
vote
0answers
110 views

Classifying 1 cycle permutation matrices

Given a permutation matrix that is not full rank, is there a linear algebraic and corresponding algebraic criterion to tell if matrix contains more than one disjoint non-trivial cycle or exactly one ...
4
votes
1answer
155 views

Matrix-convexity of inverse of the cofactor matrix

Consider the matrix-valued function $f(A) = \frac{A}{\det(A)}$ on the set of $3\times 3$ positive-definite matrices. Is this function matrix-convex ? (i.e., is $tf(A) + (1-t)f(B) - f(tA+(1-t)B)$ ...
1
vote
0answers
124 views

Reference: Continuity of Eigenvectors [closed]

I am looking for an appropriate reference for the following fact. I already posted on math.stackexchange, but got no answer. For each $X \in \mathbb{R}^{n \times n}_{\text{sym}}$ (symmetric ...
3
votes
2answers
131 views

Positive definiteness of infinite tridiagonal matrices

I am interested in the following problem: I have an infinite symmetric tridiagonal matrix $$ A= \begin{bmatrix} a_1 & b_1 & & & \\ b_1 & a_2 & b_2 & & ...
1
vote
0answers
86 views

Curve associated to bipartite graph

Given real biadjacency matrix $A\in\{0,1\}^{n\times n}$ of a bipartite graph with rank $r\in[2,n-1]$, denote $A(x)$ to be matrix where $0$ is replaced by $x$ and $1$ by $1-x$. Denote ...
0
votes
1answer
46 views

Characterisation of a matrix ordering property

Let $n$ be a positive integer; we consider all matrices mentioned henceforth to be $n$-by-$n$ matrices. Let $A$ and $B$ be matrices wherein all entries are nonnegative (such matrices will be called ...
2
votes
2answers
166 views

Matrices with real spectrum

Assume you have a non-symmetric real square matrix of all whose eigenvalues are real. Can anything be said about it? Is it unitarily equivalent to a symmetric matrix? EDIT: Is it at least similar to ...
1
vote
0answers
118 views

Eigenvalue of product of self adjoint compact operators

Suppose A is a self adjoint $m \times m$ real matrix with eigenpairs $\{e_j, \lambda_j\}$ such that $\lambda_j > \lambda_{j + 1}$. Let $B$ be another self adjoint real $m \times m$ matrix such that ...
1
vote
1answer
117 views

Matrix Submodular Inequality

Given $a,b,x > 0$ I know following the submodularity property holds: \begin{align} \frac{1}{a} - \frac{1}{a+x} \geq \frac{1}{a+b} - \frac{1}{a+b+x} \end{align} My question is, does this property ...
4
votes
2answers
232 views

Convexity of a function of matrices

Let $A$ be an $n\times n$ positive-definite matrix. Let $0<\lambda _1 \leq \lambda_2 \leq \lambda _3 \ldots \leq \lambda _n$ be the eigenvalues of $A$. Let $n\geq k\geq 1$. Is the function $f(A) = ...
3
votes
0answers
76 views

Where does this identity involving sums of Hankel-like determinants over partitions come from?

For a partition $\lambda=( \lambda_1,\dots,\lambda_n)\vdash n$ with $\lambda_1\ge\dots\ge\lambda_n\ge0$ and any function $f:\mathbb Z\to\mathbb C$, define a Hankel-like $n\times n$ matrix ...