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

learn more… | top users | synonyms

-1
votes
0answers
11 views

Linear transformation from n-dimensinal vector space to Rn

Suppose: U is a real n-dimensional vector space, and B = {$u_1$, $u_2$,...,$u_n$} be a basis for U, let $T: U \to R^n$ be the linear transformation defined by $$ T(u) = [u]_B $$ How to prove: ...
3
votes
1answer
107 views

Polynomial roots in the ring extension

Let $R$ be a ring with identity (not necessarily commutative) and $R[x]$ be a ring of polynomials over $R$. We say that a ring $S$ is an extension of $R$ if there is a subring $\tilde{R}$ in $S$ ...
1
vote
0answers
23 views

Perturbations on SVD decompostions

Given a symmetric matrix $A\in \mathbb{R}^{n\times n}$, with all the entries greater than zero $A_{i,j}>0$ with rank $k<n$, we can calculate its SVD decomposition: $$ A = USU' $$ from which we ...
2
votes
0answers
45 views

Bounding entries of the inverse of certain zero-one matrices

It is known that the entries of the inverse of an (invertible) $n \times n$ zero-one matrix $A$ can grow exponentially in $n$. See this MO question: Bounding the absolute sum of entries of the ...
1
vote
1answer
65 views

Size of connected components of a graph via its spectrum

I know that we can determine the number of connected components of a graph from the eigenvalues of its Laplacian matrix. My question is: Is there a way to understand the size of each connected ...
-2
votes
0answers
77 views

proof that ${\rm SL}_n (R)=E_n(R)$ in a local ring? [on hold]

I have to prove that ${\rm SL}_n (R)=E_n(R)$ and I need some help. $R =R_1\cdot R_2\cdots R_n$ , and every $R_i$ is a local ring . $E_n(R)$ is the elementary group and ${\rm SL}_n(R)$ is the special ...
3
votes
0answers
65 views

Number of linearly independent subsets in arbitrary set

Consider $n$-dimensional vector space $\mathbb{F}_p^n$ over finite field $\mathbb{F}_p$ and a function $a: \mathbb{F}_p^n\rightarrow\mathbb{C}$. Let $$ F(a) = \sum_{\substack{S\subset \mathbb{F}_p^n ...
2
votes
0answers
56 views

Eigenvalues of the imaginary part of the Symplectic action on Siegel upper half plane

Let $A,B\in M_n(\mathbb{R})$ and $U=A+iB$ unitary. $R=diag(r_1,r_2,…,r_n)$ is a diagonal matrix with $r_i>0, \forall i $. I need to calculate $\det(Ae^{-R}A^T+Be^{R}B^T)$. This matrix ...
1
vote
1answer
31 views

range of singular values of sub-matrices

Assume we have a $m \times n$ matrix $A$ with real entries representing an operator $T$ on $n$ dimensional real vector space $V$. Then we select a $n-1$ dimensional subspace of $E$ of $V$ and ...
3
votes
0answers
79 views

Can the matrix exponential be equal to the elementwise exponential [on hold]

Just out of curiosity: does there exist a matrix $A=(a_{i,j}) \in \mathbb{C}^{n\times n}, n>1$ such that $(e^{a_{i,j}})\in \mathbb{C}^{n\times n}$ is equal to the matrix exponential ...
-5
votes
0answers
51 views

Can we show numerically? [on hold]

Ee have a decomposition of a unitary matrix $U$ by $WAW^*$ where $A$ is diagonal matrix, the symbol $^*$ means transconjugate. An infinitesimal shift $dU$ changes the matrices by $dA$ and $dW$. Can ...
1
vote
3answers
153 views

The functional equation $T(x\otimes y)=T(x)\otimes T(y)$ on the matrix algebra

Is there a non trivial sequence $(T_{n})$ of linear operators $T_{n}$ on $M_{n}(\mathbb{C})$ such that $$T_{nm}(X\otimes Y)=T_{n}(X) \otimes T_{m}(Y) $$ where $X$ and $Y$ are in $M_{n}(\mathbb{C})$ ...
1
vote
1answer
105 views

Modified interlacing of eigenvalues

Let $A$ be a real symmetric matrix of order $n$ and $B=\begin{bmatrix}v &v &v &v\end{bmatrix}$ where $v$ is a non zero real column vector of dimension $n$. Consider $$C=\begin{bmatrix}A ...
-2
votes
1answer
71 views

Maximal commutative subrings of the endomorphism ring of a vector space

Let $\mathbb{F}$ be a field, and $\mathbf{V}$ a possibly uncountably generated $\mathbb{F}$-vector space. Let $\mbox{End}_\mathbb{F}(\mathbf{V})$ be the endomorphism ring of $\mathbf{V}$. That the ...
3
votes
1answer
184 views

Recursively calculate the determinant

A generic $k \times k$ block symmetric matrix $\Sigma$ is denoted as \begin{align} \Sigma = \begin{bmatrix}\Sigma_{11} & \Sigma_{12} & \ldots & \Sigma_{1k} \\ \Sigma_{21} & \Sigma_{22} ...
-1
votes
0answers
18 views

Singular Vectors of Matrix sums

I have found some literature on the eigenvalue and the singular value of a matrix sum, and the relevant inequalities. However, I could not find much on the eigenvectors/singular vectors, and my level ...
1
vote
0answers
32 views

Matrix diagonalization after a completely positive transformation

I have a hermitian matrix $A$ which can be diagonalized: $$A=UDU^+,$$ where U is the unitary matrix and D is the diagonal matrix. Next, I have a completely positive transformation over it, which is ...
1
vote
1answer
58 views

Spectral radius's relation with row sum

Let $A$ be a non-negative $N \times N$ square matrix with $a_{i,i}=0, 1 \leq i \leq N$. Also, let $r_i$ be the $i$-th row sum of $A$. I know that $\rho(A)$, the spectral radius of $A$, is bounded as ...
1
vote
0answers
36 views

The application of recursive SVD [closed]

Given an n*m matrix A, the SVD decomposition of A is ${\rm SVD}(A)$= $USV^t$. The application of SVD to the product of U and S gives as a result the same matrices multiplied by the identity matrix, ...
3
votes
2answers
70 views

Complexity of solving systems of linear diophantine equations

It is "well known" that a matrix system $Ax=b$ where $A\in \Bbb Z^{m\times n}$, $x\in \Bbb Z^n,b\in\Bbb Z^m$ for some $m,n \in \Bbb N$, can be solved in polynomial time, using Smith/Hermite Normal ...
3
votes
0answers
110 views

Conditions for continuity of non-simple eigenvectors

Here, http://math.stackexchange.com/a/1146455, it is noted that eigenprojections are continuous, but eigenvectors are not. Are there any conditions where the eigenvalues are not simple, but the ...
10
votes
1answer
413 views

Pfaffian equals complex determinant?

Let $V$ be a Euclidean vector space and let $V^{\mathbb{C}} = V \oplus V$ be its complexification, with complex structure $$J = \begin{pmatrix} 0 & -\mathrm{id}\\ \mathrm{id} & 0 ...
2
votes
0answers
66 views

What are the eigenvalues of a square matrix added to a diagonal matrix with different diagonal elements?

Suppose that we have a positive definite matrix $A$ of size $n$ and a diagonal matrix $D$ with only two different eigenvalues $d_1$ and $d_2$ on its diagonal. We know the eigenvalues and eigenvectors ...
2
votes
1answer
75 views

multiplicity-free action on $SO(n+1)/SO(n-1)$

I'm trying to show that the Lie group $G=SO(n+1) \times SO(2)$ acts multiplicity-free on the cotangentbundle $T^* (SO(n+1)/SO(n-1))$. That means: 1) There exists an ...
1
vote
2answers
87 views

Spectral radius of a non-negative matrix after moving and replicating an element

Let $A$ be a non-negative square matrix and its spectral radius (i.e., it's largest eigenvalue) be $\rho(A)$. I need to do the following operation to $A$ and compare the resulting spectral radii. ...
7
votes
2answers
231 views

How to estimate a specific infinite matrix sum

Let $M$ be an $n$ by $n$ matrix with each diagonal element equal to $k$ and each non-diagonal element equal to $k-1$ where $n$ and $k$ are positive integers. Let $k < n$ and we can assume both $k$ ...
1
vote
1answer
87 views

Why polynomial $\psi^\top(t) A^{-1} \psi(t)$ attains maximum on $[-1, 1]$ at $t = \pm 1$, where $\psi_k(t) = t^k$?

Problem. Let $\psi(t) = (1, t, t^2, \ldots, t^{p-1})^\top$ - a polynomial basis. Suppose there is a matrix $$ A = \int_{-1}^1 \psi(t) \psi^\top(t) dt, \ \text{i.e. } \ A_{ij} = [2 \, | \, i+j] ...
1
vote
0answers
64 views

Number of positive eigenvalues of the product of two matrices

Let $A\in\mathbb{R}^{n\times n}$ be a matrix that has at least one positive eigenvalue with positive real part. Let $B\in\mathbb{R}^{n\times n}$ be a matrix where all its eigenvalues have positive ...
1
vote
0answers
51 views

Existence of Nonnegative Solutions of Linear Systems of Equations and Inequalities with particular constraints

Suppose we have an n by m nonnegative matrix A, where each row sums to 1. I wonder whether there exists an m by n nonnegative matrix X that satisfies the following constraints: each row of X sums to ...
3
votes
1answer
75 views

Transitivity of $Spin(7)$ in triples of vectors

I have a simple question: transitivity of $Spin(7)$ in triples of orthogonal vectors. Let $Spin(7)\subset SO(8)$ act on $\mathbb{R}^8$, and $e_1,e_2,e_3$, $v_1,v_2,v_3$ be two triples of mutually ...
-6
votes
1answer
54 views

Does $\|(I-A)^{-1}\|_{2} \leq 1/(1-\|A\|_{2})$ holds for matrices with spectral radius smaller then 1?

Given a symmetric positive semidefinite matrix matrix $A$, if its spectral radius $0<\rho(A)<1$, does the inequality $\|(I-A)^{-1}\|_{2} \leq 1/(1-\|A\|_{2})$ hold true? $\|A\|_{2}$ denotes ...
3
votes
0answers
85 views

How do I ensure that my matrix is positive definite? [closed]

I require a positive definite matrix, $M$, with dimensions $2n\times2n$ of the form \begin{equation} M=\begin{pmatrix} \Sigma&P'\\ P&\Sigma \end{pmatrix} \end{equation} where $\Sigma$ is a ...
0
votes
0answers
85 views

Does this set of (structured) equations always have a solution?

Let $r_1,\ldots,r_K$ be arbitrary positive numbers. Does $$|\mathcal{A}|\log\left(1+\frac{1}{|\mathcal{A}|}\left(\sum_{n\in \mathcal{A}} \sqrt{x_n(\exp(r_n)-1)}\right)^2\right)\leq \sum_{n\in ...
1
vote
1answer
79 views

Symmetric tensors as sum of powers

I am looking for formulas for writing a basis element of $ Sym^k(H) $ as sum of elements of the form $ v^{\otimes k} $ where $ v\in H $. Here $ H $ is a hilbert space and by basis element I mean the ...
2
votes
0answers
64 views

A problem of defining addition in a Quotient space

Let $\mathcal{C}$ be the space of all parametric curves $x:[0,1]\rightarrow \mathbb{R}^2$. Let the set of all re-parameterizations of curves is $\Gamma = \{\gamma : [0, 1] \rightarrow [0, 1]| \gamma ...
1
vote
1answer
87 views

Find a square, stochastic matrix (w/ non-neg entries) of odd size, not a permutation matrix, with an eigenvalue other than 1 on the unit circle

...or prove that none exists. Note that such a matrix M couldn't be primitive, so there would be at least one entry equal to zero in every power M^k (Perron-Frobenius theory). Preferably the ...
1
vote
1answer
39 views

Dual lattices up to a q scaling factor

In this paper : https://eprint.iacr.org/2011/501.pdf There is an equality page 10, in the second paragraph considered by the authors as "easy to check". If someone could explain to me why the set at ...
1
vote
0answers
42 views

The state-transition-matrix of a physical system,

Here's a simple but potential research problem that I am learning about. Let's say I am studying a physical system that is governed by N objects. At each time, each object is either "active" and ...
2
votes
0answers
60 views

SVD when only off-diagonal terms are known

I have a real matrix $A \in \mathbb{R}^{n\times n}$ such that: $A$ is symmetric All the off-diagonal terms are known and positive Has rank $k<n$ Unfortunately I don't know the values of the ...
15
votes
0answers
594 views

A curious eigenvalue inequality

Suppose $A, B$ are positive definite Hermitian matrices, $U$ is a unitary matrix such that $AUB$ is Hermitian. The spectral radius of a square matrix $X$ is denoted by $\rho(X)$. In my study, I ...
1
vote
0answers
61 views

Does this system of equations have a closed form solution? [closed]

I am faced with the following system of equations and I'm looking for tools that allow me to characterize its solutions. The unknowns are $\{x_i\}$, $\{y_i\}$, and $\lambda$, for $i=1,...,N$. So there ...
8
votes
0answers
177 views

How bad can $SK_1$ of a commutative ring be?

For a commutative ring $R$ define $\mathrm{SK}_1(n, R)=\mathrm{SL}(n, R)/\mathrm{E}(n, R)$, the quotient of the special linear group by its subgroup generated by the elementary matrices. When ...
1
vote
3answers
112 views

Norm of an operator formed using a unitary operator

Suppose, $ A $ is a unitary matrix in $ M_n(\mathbb{C}) $ given by $ (a_{i,j})_{1\le i,j\le n} $ which has the property that, for all the basis elements $ e_i $, $ Ae_i\ne |\lambda| e_j $ for all $i,j ...
2
votes
1answer
84 views

Inverse Hadamard determinant inequality

As far as I remembered there is an inverse Hadamard inequality for the determinant of the form $$ |D|>\prod_j \sqrt{(a_{jj}^2-\sum_{i\neq j}a_{ij}^2)} $$ providing all values in $(\cdot)>0$. ...
8
votes
0answers
223 views

Conjecture on matrix with reciprocal principal minors

Some notation: $A(\alpha|\beta)$ is the submatrix of $A \in \mathbb{R}^{n \times n}$ with with rows $\alpha$ and columns $\beta$. $\textrm{det } A(\alpha|\alpha) =: \textrm{det } A(\alpha)$ are the ...
-2
votes
0answers
53 views

Closed form solution to this equation (inner product of matrix inverse)

Is there a way to simplify this equation, so I can get a closed form expression for $T$? In the following, $\beta$ and $\mathbf{1}$ are $n \times 1$ vectors, and $\beta \cdot \mathbf{1}=1$. $B$ is ...
0
votes
0answers
57 views

Optimization with vectors

I am trying to solve the following optimization problem as a small part of a research project, and I do not know if there exists closed form solutions. My linear algebra is very rusty and I am looking ...
1
vote
1answer
49 views

Inverting two paraboloid relations

Let's suppose we have two variables $(\alpha, \beta)$ on two functions $k_1, k_2$ that can be defined in terms of matrix relations: $$ k_1 = \left| \xi^T \mathcal{F}^T \mathcal{F} \xi \right| $$ $$ ...
7
votes
1answer
174 views

Hopfian modules

My question is slightly motivated by basic results in linear algebra, for example, that if $F$ is a field then a surjective linear map $F^n \rightarrow F^n$ is injective. More generally, any ...
0
votes
1answer
85 views

Positive definite - Inverse of sparse symmetric matrix

Consider a matrix $P\in \mathbb{R}^{n\times n}$ such that at most $m<n$ elements of each column are non zero and $P$ is symmetric. I would like to find the sufficient condition(s) such that ...