Linear algebra is concerned with vector spaces of all dimensions and linear transformations between them, including systems of linear equations, bases, dimensions, subspaces, matrices, determinants, traces, eigenvalues and eigenvectors, diagonalization, Jordan forms, etc. For questions specifically ...

learn more… | top users | synonyms (1)

4
votes
0answers
132 views

Understanding a sentence in a paper.

I am trying to read this paper. At page $34$, the authors define a symplectic form $\omega$ on some $\mathbb{C}$-vector space $V\oplus W^*$ (I don't want to go too much into the details here, because ...
4
votes
0answers
258 views

Cross Product - Moments :: Dynamics

Some background: I am self studying dynamics and I have encountered a fundamental problem with either my understanding of linear algebra, or I am just plain dumb. So, I print screened the page of the ...
4
votes
0answers
71 views

Find the rank of the matrix

Let $X,Y\in\mathbb R^n$ be two non zero (column) vectors. Let $Y^T$ denote the transpose of Y. Let A = $X Y^T$. What is the rank of $A$ and what is the necessary and sufficient condition for the ...
4
votes
0answers
98 views

Non Existence of matrices $A,B\in M_n(\mathbb{R})$ such that $(I-(AB-BA))^n=0$

Question is to Prove: Non Existence of matrices $A,B\in M_n(\mathbb{R})$ such that $(I-(AB-BA))^n=0$. This question has already been asked already but then i am asking for clarification of another ...
4
votes
0answers
82 views

Identifying the joint distribution from some values of $t \cdot X$

Suppose that $S$ is a subset of $\mathbb{R}^n$ and $X, Y$ are $\mathbb{R}^n$ valued RVs. We already know that $X$ and $Y$ are equidistributed iff $t \cdot X=^d t\cdot Y$ for all $t \in \mathbb{R}^n$. ...
4
votes
0answers
85 views

Smallest value that a certain variable can take in a system of equations.

Consider the solutions $(x,y,z,u)$ of the system of equations: $$\begin{cases} x+y=3(z+u)\\ x+z=4(y+u)\\ x+u=5(y+z)\\ \end{cases}$$ where $x,y,z \text{ and } u$ are positive integers. What ...
4
votes
0answers
95 views

Linear dimension of banach spaces

Let $X$ be some vector space (over $\mathbb{C}$). Note that if $X$ is of finite dimension we can identify $X$ with $\mathbb{C}^n$ for some natural $n$ and endow it with a norm $||x||=|x_1|+...+|x_n|$. ...
4
votes
0answers
82 views

Show $r(F)=r(F^2)$ implies $Im(F) \cap Ker(F)=\{0\}$

I wonder if I've made some mistakes in the proof of the following or if there is some simpler solution. Problem: Let $V$ be a finite dimensional vectorspace and $F:V \rightarrow V$ a linear operator. ...
4
votes
0answers
79 views

Which polynomials are characteristic polynomials of a symmetric matrix?

Let $f(x)$ be a polynomial of degree $n$ with coefficients in $\mathbb{Q}$. There are well-known ways to construct a $n \times n$ matrix $A$ with entries in $\mathbb{Q}$ whose characteristic ...
4
votes
0answers
210 views

The close form expression of a Pfaffian

Recall Schur's Pfaffian identity: $$ \mathrm{Pf}\left(\frac{x_j-x_i}{x_j+x_i}\right)_{1\le i,j\le 2n} = \prod_{1\le i<j \le 2n}\frac{x_j-x_i}{x_j+x_i}. $$ Here $x_1,x_2\cdots x_{2n}$ are $2n$ ...
4
votes
0answers
83 views

How to quickly approximate the eigenvectors of a symmetric matrix

Given a symmetric $n \times n$ matrix $A$, is there any algorithm that can quickly approximate all of its eigenvectors? By "quickly", I mean with time complexity less than $\mathcal{O}(n^3)$.
4
votes
0answers
91 views

The determinant of a special matrix

Recently, I encounter the problem of calculating the determinant of the following matrix $$\left(\begin{array}{cccc} \sin(\theta_1) & \sin(\theta_1 + \delta_1) & \cdots & \sin(\theta_1 + ...
4
votes
0answers
62 views

Decomposability in the tensor product sense of functions of two variables

Let $S$ and $T$ be "nice" metric spaces, e.g. complete normed fields like $\Bbb R$, $\Bbb C$ or $\Bbb Q_p$. Let $F$ be a function $$ F:S\times T\longrightarrow K $$ where $K$ is a topological field ...
4
votes
0answers
1k views

Proof of rank nullity theorem

I read about rank nullity theorem (with proof) but then tried to prove it in different way. Please can you read my proof and tell me if it is correct? The rank nullity theorem: If $T:V\to W$ is a ...
4
votes
0answers
514 views

Upper bound for smallest eigenvalue

I am looking for a (simple) upper bound for the smallest eigenvalue of an $n\times n$ matrix, involving determinant or trace or something else that can be easily computed. I've got an upper bound from ...
4
votes
0answers
62 views

Subgroup consisting of unipotent elements centralizes a flag

Is there a reasonably elementary and short proof that a subgroup of consisting of unipotent matrices over a field centralizes a flag? By elementary, I mean accessible to students who have had a ...
4
votes
0answers
97 views

Structure of a fuzzy subspace

Let $V$ be a vector space over a field $F$ and let $f$ be a function from $V$ to the interval $I:=[0,1]$ satisfying the condition that for any $a \in I$ the set $V_a:=\{v \in V | f(v) \ge a\}$ is a ...
4
votes
0answers
117 views

Prove that $\phi_1 \wedge \cdots \wedge \phi_k (v_1, \cdots, v_k) = \frac{1}{k!}\det[\phi_i(v_j)].$

I have proved these two exercises: (1) Suppose that $T \in \Lambda^p(V^*)$ and $v_1, \ldots, v_p \in V$ are linearly dependent. Prove that $T(v_1, \ldots, v_p) = 0$ for all $T \in \Lambda^p(V^*)$. ...
4
votes
0answers
93 views

Linear independence of $\cos(n\theta)$

I was trying to see if the cosines of the (certain) integer multiples of a certain angle were linearly independent over $\mathbf{Q}$. In particular I was looking at when $\theta = ...
4
votes
0answers
433 views

Tensors as mutlilinear maps

I am aware that many books on differential geometry define tensors as multilinear maps. Namely $$ V\otimes W := L_2(V^*\times W^*,\Bbb F) $$ I am also aware that this space is isomorphic to the tensor ...
4
votes
0answers
230 views

When is a matrix congruent to a diagonal matrix and how to find the congruent transformation?

What matrix can be congruent to a diagonal matrix and how can we find the congruent transform and the diagonal matrix? One special case is when the congruence is also similarity. For example, for a ...
4
votes
0answers
39 views

what to do if it's not direct sum?

Suppose $X=Y+Z$ is Banach, $Y$ and $Z$ are closed subspaces. I want to show there exists $\alpha>0$ such that $\forall x \in X, \exists$ $y \in Y$ and $z \in Z$ such that $x=y+z$ and $\|y\|+\|z\| ...
4
votes
0answers
94 views

Linear Independence Game

Suppose you have a set $X$ of vectors in $\mathbb{F}_2^n$, with $|X| \ge n+1$, and consider the following game. On their turn, each player (2 player game) chooses from $X$ one vector and sets it aside ...
4
votes
0answers
161 views

A basis of the symmetric power consisting of powers

Let $V$ be a complex vector space of dimension $n$. Denote by $v_1\odot\cdots\odot v_k$ the image of $v_1\otimes\cdots\otimes v_k$ in the symmetric power $\newcommand{\Sym}{\mathrm{Sym}}\Sym^k(V)$. It ...
4
votes
0answers
329 views

Geometric intuition for Jordan normal forms (invariant subspaces, shearing, scaling, etc.)

I'm trying to visualize what a linear operator does to a vector space if that operator can be put into Jordan normal form. For concrete motivation, let's take $V = \mathbb{R}^3$, with some linear ...
4
votes
0answers
258 views

Low-rank approximation to the Graph Laplacian matrix of a regular grid.

As mentioned in the title, does anybody know any methods of efficient low-rank approximation $LL^T$ to the Graph Laplacian matrix $A$ corresponding to a square lattice? (except PCA)
4
votes
0answers
1k views

Is sub-vector an established mathematical entity?

Reading the following paragraph I was wondering how this entity that the authors [1] call a sub-vector should be named. In Matlab a sub-vector has to be contiguous. Let ...
4
votes
0answers
274 views

Linear least squares: overdetermined system necessary? and finding solutions?

The wikipedia article on linear least squares only considers overdetermined systems (rows $\geq$ columns). I'm confused if this assumption is really necessary or not. Given any matrix $A, \|Ax - ...
4
votes
0answers
178 views

Understanding Blackwell's Approachability Theorem

I'm not super solid on my linear algebra, so I am getting lost in the discussions of halfspaces. Can someone give me an intuitive explanation (possibly with a concrete toy problem) of Blackwell's ...
4
votes
0answers
414 views

Understanding a proof about Hilbert Matrix

EDIT: I asked 3 questions. The first one I was able to solve myself, and the other two I cross-posted to MO. Lately I've been interested in the Hilbert Matrix (its definition will come later). I went ...
4
votes
0answers
77 views

Jacobi's Rotation has two possibilities, why do they both result in same upper triangular magnitude norm?

The Jacobi's rotation is the complex Givens rotation (unitary similarity) that results in a zero for a specified element of a matrix. If the element is not adjacent to the diagonal, then there are ...
4
votes
0answers
165 views

On the integer feasibility of polytopes defined by idempotent integer matrices

EDIT: I realized that while writing this question, I was reasoning about orthogonal projections. Thus, I forgot to transpose when forming the projection on to the space orthogonal to the image of $P$. ...
4
votes
0answers
689 views

Recovering a Matrix knowing its eigenvectors and eigenvalues

Given the eigenvalues and eigenvectors of a matrix $R^{n\times n}$ is that possible to recover the same matrix from smaller matrices $R^{(n-1) \times (n-1)}$ where one of its eigenvalues and ...
4
votes
0answers
146 views

Curvature of particular Riemannian metric

Let $U = \{ (x_1, \dots, x_n) \mid x_j > 0 \text{ for all } j\}$ and let $\|x\|^2 = \sum_j x_j^2$. The function $x \mapsto -\log \|x\|^2$ is strictly convex on $U$ and thus defines a Riemannian ...
4
votes
0answers
2k views

Good introductory book for matrix calculus

Hi I am an electronics graduate and working on image processing for the past one year...I have a basic exposure to linear algebra(thanks to Gilbert Strang..!!!). Now I am facing problems with matrix ...
4
votes
0answers
94 views

Condition number of $A^{-1}B$ where $A$ and $B$ are banded toeplitz matrices.

I'm looking at a filtering problem with feedback, which can be represented by the equation $A\underline{y} = B\underline{x}$, where $A$ and $B$ are lower triangular banded toeplitz matrices and ...
4
votes
0answers
176 views

Proof that the Arf invariant is independent of choice of basis

I'm confused about the proof of the following claim: Set $Z_2 = \mathbb{Z}/2\mathbb{Z} = \mathbb{F}_2$. Let $V$ be a $Z_2$-vector space of dimension $2n$ and let $e_i, f_i$ be a symplectic basis. Let ...
4
votes
0answers
97 views

Nested “Formal” Block Determinants

I found this interesting formula on Wikipedia on blocked determinant of a square matrix: $$\begin{vmatrix} A_{11} & A_{12} \\ A_{21} & A_{22} \end{vmatrix}= \begin{vmatrix} ...
4
votes
0answers
82 views

Extension of Cheeger's inequality with distinguished vertices

The standard Cheeger's inequality for graph $G$ states that $\frac{1}{2}$ $\lambda$ < $\phi(G)$ < $\sqrt{2\lambda}$ where $\lambda$ is the second smallest eigenvalue of the normalized ...
4
votes
0answers
481 views

Random binary invertible matrix

For implementation of McEliece cryptosystem, I'm trying to generate a random binary invertible matrix and its inverse. Because this is usually the most time-consuming part of generating a McEliece ...
4
votes
0answers
1k views

Symmetrizing matrix properties

A symmetrizer $P$ is a $n\times n$ symmetric matrix such that for a $n\times n$ matrix $A$ it holds that $AP=PA^T$. There exists a symmetrizer for any square matrix, and in general it is not unique. ...
4
votes
0answers
804 views

General properties of eigenvalues of a Jacobian matrix when premultiplied by a symmetric, positive definite matrix?

For a particular engineering problem that I'm working on, I have computed a Jacobian matrix $J$ and there is another matrix $M$ associated with the problem. $M$ is known to be symmetric, real-valued, ...
4
votes
0answers
470 views

Fourier matrix - multiplicity of eigenvalues?

This question is Miscellaneous Exercise M.10 in Chapter 8 (Bilinear Forms) of Artin's Algebra. (The sentences in italics are due to me.) The row and column indices in the $n \times n$ Fourier ...
4
votes
0answers
412 views

The Space of Bilinear Forms

Background Consider the set of all bilinear forms $\text{Bil}_F(X \times Y)$ over finite dimensional vector spaces $X$ and $Y$ with common ground field F. If we choose bases for $(u_1, \dots, u_m)$ ...
4
votes
0answers
376 views

How to generate an $n \times n$ rotation matrix?

It is well known that the $2 \times 2$ rotation matrix is given by, $$\left[ \begin{array}{cc} \cos(\theta) & -\sin(\theta) \\ \sin(\theta) & \cos(\theta) \\ \end{array} \right]$$ and ...
4
votes
0answers
339 views

basis free volume form for a symplectic vector space

It's easy to show, using a symplectic basis, that if $\omega$ is a symplectic form on a $2n$-dimensional vector space $V$, then $\omega^n \neq 0$ (see for example Jason DeVito's excellent answer to ...
4
votes
0answers
124 views

Orthogonality of the decomposition of a vector space over one of its endomorphisms

Let $V$ be a finite-dimensional real inner product space and let $\tau$ be an endomorphism of $V$. Let $V=V_1 \bigoplus \cdots \bigoplus V_r$ be the decomposition of $V$ into $\tau$-invariant and ...
4
votes
0answers
107 views

Why are root systems presented in this confusing way?

I quote Bjorner and Brenti, "Combinatorics of Coxeter Groups." We begin with a simple geometric lemma. Let $m \geq 3$ be an integer, let $\gamma = \pi/m$, and let $k, k'$ be real numbers ...
4
votes
0answers
118 views

image of symmetric matrices under representation of $GL_2(\mathbb{R})$

Let $W$ be a real vector space of dimension $2$ and let $\rho_k:GL_2(\mathbb{R}) \to GL(\mathbf{S}^kW)$ be the standard representation of $GL_2(\mathbb{R})$. Since $\rho_k$ is polynomial, it naturally ...
4
votes
0answers
98 views

Efficiently solving a large, sparse linear system $M(s)ab(s)=c(s)$ (determined by smooth functions) over some range of $s$

I'm looking at a differential equation on the edges of a graph (the application is neuroscience), and the Laplace transform of the solution on most of the edges has a general solution more-or-less of ...