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

83
votes
0answers
2k views

How prove this matrix inequality $\det\left(6(A^3+B^3+C^3)+I_{n}\right)\ge 5^n\det(A^2+B^2+C^2)$?

Question: let matrices $A,B,C\in M_{n}(C)$ be Hermitian and Positive definite matrices, such that:$$A+B+C=I_{n}$$ Show that: $$\det\left(6(A^3+B^3+C^3)+I_{n}\right)\ge 5^n\det(A^2+B^2+C^2)$$ ...
23
votes
0answers
1k views

Limit of sequence of growing matrices

Let $$ H=\left(\begin{array}{cccc} 0 & 1/2 & 0 & 1/2 \\ 1/2 & 0 & 1/2 & 0 \\ 1/2 & 0 & 0 & 1/2\\ 0 & 1/2 & 1/2 & 0 \end{array}\right), $$ ...
13
votes
0answers
193 views

determinant of a standard magic square

What is the lowest positive, what the highest possible value for the determinant of a standard-magic-square-matrix of order n ? Are there singular standard-magic-square-matrices of any order ...
11
votes
0answers
319 views

Determining the kernel of a Vandermonde-like matrix

The kernel of a Vandermonde matrix can be determined using this formula. The following type of matrix has a similar structure, and should also have a one-dimensional kernel. $V= \begin{bmatrix} 1 ...
11
votes
0answers
446 views

Inverse of Toeplitz Matrix Property

Sorry if this question has been asked already but I didn't find it. Given a symmetric Toeplitz matrix of the form $$\left[\begin{array}{llll} a_0 & a_1 & \dots & a_n\\ a_1 & a_0 ...
10
votes
0answers
170 views

Minimal and characteristic polynomials on tensor product spaces

Given two finite-dimensional vector spaces $V$ and $W$ over a common field $k$ as well as $k$-linear transformations $\varphi \colon V \to V$ and $\psi \colon W \to W$, what can be said in general ...
9
votes
0answers
175 views

Algorithm for obtaining the surface of a mirror

My colleague and I have been trying to implement an algorithm described in the paper "Recovering local shape of a mirror surface from reflection of a regular grid", primary author of which being ...
9
votes
0answers
2k views

Inverse of a Toeplitz Matrix

A Toeplitz matrix or diagonal-constant matrix is a matrix in which each descending diagonal from left to right is constant. For instance, the following matrix is an $n\times n$ Toeplitz matrix: $$ A ...
8
votes
0answers
284 views

How can I construct a solution for this system of many inequalities?

Let there be types $\omega\in\{0,1\}^n$ drawn according to some probability distribution. Suppose that these types are relayed through some imperfect message service. Specifically, any type $\omega$'s ...
8
votes
0answers
95 views

Linear functional equation

During my mathematical musings I encountered the following functional equation : denote by $L$ the set of all functions ${\mathbb Z}^2 \to {\mathbb C}$ satisfying $$ \begin{array}{cl} ...
8
votes
0answers
127 views

On the maximum number of polynomials in a certain subspace

I've already asked this question on mathoverflow, but no one answered. So I put this problem also here. Sorry for that. Let $\mathbb F_q$ be a finite field and let $e, k$ be positive integers with ...
8
votes
0answers
205 views

How is $\mathrm{PGL}(V)$ a subgroup of $\mathrm{P\Gamma L}(V)$?

I've stumbled upon a strange exercise while reading "Notes on Infinite Permutation Groups" by Bhattacharjee, Möller, Macpherson and Neumann. If you have the book, the exercise is 7(ix) on page 66. ...
8
votes
0answers
501 views

Eigenvalues of doubly stochastic matrices

There was a long standing conjecture stating that the geometric location of eigenvalues of doubly stochastic matrices of order $n$ is exactly the union of regular $k$-gons anchored at $1$ in the unit ...
7
votes
0answers
65 views

Is a normal matrix satisfying $A^TA=…$ circulant?

Let $A=\{a_{ij}\}$ be a normal matrix such that $a_{ij}\geq 0$ with equality iff $i=j$. Suppose that $$ A^TA=\begin{pmatrix} a & b & \cdots & b\\ b & a & \ddots & \vdots\\ ...
7
votes
0answers
189 views

Proof of the conjecture that the kernel is of dimension 2, extended

Pursuing my research, I am now looking for a proof of an extension of the problem proposed here and answered. It's an extension in the sense that I'm now considering two different $t_1$ and $t_2$. The ...
7
votes
0answers
103 views

What does the space of non-diagonalizable matrices look like?

Let $k$ be a field (I would be happy working entirely over $\mathbb C$). Consider the action of $G=GL_n(k)$ by conjugation on the set of $n\times n$ matrices over $k$. The collection $X$ of matrices ...
7
votes
0answers
99 views

Invariant tensors in adjoint representation

Suppose we have a simple Lie group $G$ with algebra $\mathfrak{g}=\{X_a\}$, where the generators $X_a$ are in some matrix representation. Is it true that the only invariant rank $n$ tensor in the ...
7
votes
0answers
144 views

Is this matrix decomposition possible?

Given a $2\times2$ matrix $S$ with entries in $\mathbb{Z}$ or $\mathbb{Q}$ , when is it possible to write $S=\frac{1}{3}(ABC+CAB+BCA)$ such that $A+B+C=0$, where $A, B, C$ are matrices over the same ...
7
votes
0answers
85 views

Is $(V_1\otimes\cdots\otimes V_k)^\ast \simeq V_1^\ast\otimes \cdots \otimes V_k^\ast$ true for infinite dimensional spaces?

Suppose $V_1,\dots,V_k$ are vector spaces of finite dimension. Then I could prove easily that $(V_1\otimes\cdots\otimes V_k)^\ast\simeq V_1^\ast\otimes\cdots\otimes V_k^\ast$. My proof was like that: ...
7
votes
0answers
118 views

Infer distance from a point to a line, from the distance from a point to a plane [Stewart P793 12.4.44]

I'm able to prove $44$, but how would one deduce $43$ from it without further industry, forthwith? $43$ seems like a reduced, 2D version of $44$? I'm not enquiring about individual proofs. $44.$ ...
7
votes
0answers
66 views

Intuiting Product of Elimination Matrices (and NOT by Matrix Multiplication)

I want to intuit, and NOT compute with matrix multiplication, $M:=\color{green}{E_{P_3 \rightarrow P_4}}\color{#CA790F}{E_{P_2 \rightarrow P_3}}E_{P_1 \rightarrow P_2},$ where: $E_{P_1 \rightarrow ...
7
votes
0answers
362 views

Monotone matrix norms

[Ciarlet 2.2-10] Let $\mathscr{S}_n$ be the set of symmetric matrices and $\mathscr{S}_n^+$ the subset of non-negative definite symmetric matrices. A matrix norm $\|\cdot\|$ to be monotone if ...
7
votes
0answers
465 views

Condition of an eigenvector problem

Please, somebody help me with this problem. [Ciarlet 2.3-5] Let ${A}$ and ${B} = {A} + \delta{A}$ be two symmetric matrices with eigenvalues $$\alpha_1\ \leq\ \alpha_2\ \leq\ \ldots\ \leq\ ...
7
votes
0answers
283 views

Computing the SVD factorization on C++ (using the proof of the existence of the SVD factorization)

I am doing a C++ program that computes the SVD factorization of a real matrix A without using any known library of algebra that contains the implementation. In addition, QR descomposition is not ...
7
votes
0answers
174 views

Reference suggestion: eigenvalues of tridiagonal matrices

I would like to ask for a reference on the problem of computing the eigenvalues/eigenvectors of tridiagonal matrices (not necessarily with constant diagonals). I have seen authors use continued ...
7
votes
0answers
116 views

Continuous choice of basis for subspaces

Consider the flag variety (or flag manifold, depending on who you are) $V=\mathrm {Fl} (3,\mathbb C)$ of complete flags of subspaces of $\mathbb C^3$. That is, an element of M is a tuple (L , P) ...
7
votes
0answers
363 views

Pfaffian properties

Given a $2n\times 2n$ real skew-symmetric matrix $A$, its Pfaffian $\mathrm{Pf}$ is defined as: $$ \mathrm{Pf}(A) = \frac1{2^n n!}\sum_{\sigma\in S_{2n}}\mathrm{sgn}(\sigma)\prod_{i=1}^n ...
6
votes
0answers
37 views

why similarity over $\bar{\mathbb{F}}$ of $A,B\in M_n(\mathbb{F})$ implies similarity over $\mathbb{F}$?

A clasic problem in linear algebra is to determine if two matrices $A,B\in M_n(\mathbb{F})$ are similar one to another. When $\mathbb{F}=\bar{\mathbb{F}}$, we know that $A,B$ are similar if and only ...
6
votes
0answers
86 views

Geometric interpretation of $x_1^2y_1^2+x_2^2y_2^2+x_3^2y_3^2+\dots$

Say $x$ and $y$ are two $L_2$ unit vectors of size $n$. In that case the inner product: $$x_1y_1+x_2y_2+x_3y_3+\dots+x_ny_n$$ Is the cosine of the angle between them. For an application I was ...
6
votes
0answers
81 views

A very difficult problem about the existence of following $SU(2)$ matrices?

Let $G_i$ be a sequence of $2\times2$ $SU(2)$ matrices, where $i=1,2,...,n$; and $P$ represents a permutation of $\left \{ 1,2,...,n \right \}$. The question is: Does there exist a sequence of ...
6
votes
0answers
243 views

Another Algebraic de Rham Cohomology question…

NOTE: scroll down to read my latest edit first if you're reading this for the first time :) My aim is to calculate the de Rham cohomology of the variety $U = \text{Spec} \ A$, where: $$A = ...
6
votes
0answers
87 views

Maximum determinant of latin squares

I strongly conjecture that the maximum absolute determinant of a latin square can be attained by a circulant matrix. For example, $\pmatrix {5&4&2&3&1 \\ 1&5&4&2&3 \\ ...
6
votes
0answers
93 views

A power of the characteristic polynomial

Let $A$ be a square matrix with real or complex coefficients of size $n$. Define its characteristic polynomial by $\chi_A(X) = \det(A-XI_n)$ (or $\det(XI_n-A)$ if you prefer). The question is : Prove ...
6
votes
0answers
177 views

Set geometry and inclusion

I would like to prove that the set of the symmetric positive semi-definite matrices which is defined as $$\Delta_2= \{S\in\mathbb{S}_{m,m} \quad \text{s.t.}\quad ...
6
votes
0answers
175 views

Holder inequality for matrices

I am interested in the following version of the Holder inequality. Let $D \in M_n(\mathbb{C})$ be a positive semi-definite matrix of trace $1$ and $A, B \in M_n(\mathbb{C}).$ Does it follow that $$ ...
6
votes
0answers
194 views

Matrix diagonalization theorems and counterexamples: reference-request.

I'm looking for exhaustive list of diagonalization theorems and counterexamples in linear algebra. In this question I understand the question of matrix diagonalization very broadly: suppose we have ...
6
votes
0answers
169 views

Coefficients in expansion of $(\sqrt[3]{2} - 1)^m$

In trying to solve $a^3 - 2b^3 = 1$ over the integers I came across the need to answer the question: when does $(1+ \sqrt[3]{2} + \sqrt[3]{2}^2)^n$ have no $\sqrt[3]{2}^2$ term in it's expansion (in ...
6
votes
0answers
74 views

Columns of A - Linear independence, span, rank. [GStrang P180, 3.5.19]

The columns of $A$ are $n$ vectors from $\mathbb{R^m}$. If they're linearly independent, what's $rank(A)$? If they span $\mathbb{R^m},$ what's $rank(A)$? If they're a basis for $\mathbb{R^m},$ ...
6
votes
0answers
309 views

Finding the maximum number of subspaces of a vector space over finite field that satisfy these relations

I have a question and I am stuck. I was wondering if anyone has a thought, before I start a brute-force search. For $q$ a prime number and $n =6$, let $\mathbb {F}_{q}^{n}$ be an $n$-dimensional ...
6
votes
0answers
84 views

Duality of $Z(G)$ and $[G,G]$ in representation?

This question and its many wonderful answers illustrate many faces of the duality of $Z(G)$ and $[G,G]$, the centre/ commutator duality of a group. I was thinking about its manifestation in group ...
6
votes
0answers
802 views

Farkas Lemma proof

I am trying to prove the Farkas Lemma using the Fourier-Motzkin elimination algorithm. From Wikipedia: Let A be an $m \times n$ matrix and $b$ an $m$-dimensional vector. Then, exactly one of the ...
6
votes
0answers
388 views

Generalized Eigenvalue Problem with one matrix having low rank

I have a specific Generalized Eigenvalue Problem (GEVP) where i am primary not interested in solving this problem but concluding from a standard EVP the spectrum of the GEVP. The Problem Let $A$ be ...
6
votes
0answers
122 views

Piecewise Affine Bijections of $\mathbb{R}^n$

I have a min-max function $f:\mathbb{R}^n\to\mathbb{R}^n$ of the form $$f(x) = \min_{i=1,\dots,n}\max_{j=1,\dots,n}(\alpha_{ij}^Tx + \beta_{ij})\quad\text{where each } \alpha_{ij}\in ...
6
votes
0answers
200 views

Is there a Mazur–Ulam theorem equivalent for vector spaces over finite fields?

I know that Mazur–Ulam theorem holds for normed linear spaces over $\mathbb{R}$. I wanted to know whether under some "weak" conditions on the map $f$, can we have Mazur-Ulam theorem for a vector ...
6
votes
0answers
210 views

Uses of Chevalley-Warning

In the recent IMC 2011, the last problem of the 1st day (no. 5, the hardest of that day) was as follows: We have $4n-1$ vectors in $F_2^{2n-1}$: $\{v_i\}_{i=1}^{4n-1}$. The problem asks : Prove the ...
6
votes
0answers
461 views

Hardness of finding eigenvalues over finite fields

How hard is it (computationally) to find eigenvalues/eigenvectors of matrices over finite fields? Suppose the field has size exponential in the input. (Does the QR algorithm still converge?) How ...
5
votes
0answers
29 views

Computing N cofactors

I have an $N\times N$ matrix of small size (say $N=20$). Is there a way to evaluate the $N$ cofactors of the elements of the first row, faster than in the obvious way as $N$ independent determinant ...
5
votes
0answers
39 views
+50

$L^2$ Bounds for Markov Chains.

Consider a non-negative, square stochastic $n \times n$ matrix $P$ (rows sum to one, $P$ is ergodic). We are interested in characterizing the set of $n \times n$ invertible matrices $A$ such that we ...
5
votes
0answers
53 views

Is every complex Lie algebra a complexification?

I'm wondering if every finite-dimensional complex Lie algebra can be written as a complexification of a real Lie algebra. At the vector space level, clearly every $\mathbb{C}^n$ is a complexification ...
5
votes
0answers
43 views

Show that $(1+a_1x+\ldots+a_rx^r)^k=1+x+x^{r+1}q(x)$

Fixed $k\ge 1$. Show that for each $r$, you can find $a_1,\cdot\cdot\cdot,a_r\in \mathbb{F}$ such that :$$(1+a_1x+\cdot\cdot\cdot+a_rx^r)^k=1+x+x^{r+1}q(x)$$ where $q(x)$ is a polynomial. Any ...