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)

56
votes
0answers
3k 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), $$ ...
29
votes
0answers
455 views

What is that thing that keeps showing in papers on different fields?

A few months ago, when I was studying strategies for the evaluation of functional programs, I found that the optimal algorithm uses something called Interaction Combinators, a graph system based on a ...
24
votes
0answers
713 views

Is this determinant identity known?

Let $A$ be an $n \times n$ matrix that is 'almost upper triangular' in the following sense: entries on and above the main diagonal can be whatever they want, entries on the diagonal just below the ...
14
votes
0answers
169 views

Integrating a matrix function involving a determinant and exponential trace

I am trying to find the normalizing constant for a probability distribution and ran into a difficult integral. When $X$ is an $p \times k$ matrix, $a>0,$ and $g>0,$ how can I compute $$\int ...
14
votes
0answers
469 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} ...
13
votes
0answers
411 views

How do I find the common invariant subspaces of a span of matrices?

Let $G_1, \ldots, G_n$ be a set of $m\times m$ linearly-independent complex matrices. Let $\mathcal{G} = \operatorname{span}\left\{ G_1, \ldots , G_n\right\}$ be the vector space that spans the set ...
12
votes
0answers
119 views

Description of Levi factors and unipotent radicals of parabolic subgroups in classical groups

For an algebraic group $G$ over an algebraically closed field $k$, a parabolic subgroup $P$ has factorization $P = Q \rtimes L$, where $Q$ is the unipotent radical of $P$ and $L$ is some Levi factor ...
12
votes
0answers
137 views

$k[x_1, \dots, x_n]$ free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism.

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set ...
11
votes
0answers
204 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 ...
11
votes
0answers
575 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
307 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. I have already asked a (viewed but unanswered) ...
10
votes
0answers
198 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 ...
10
votes
0answers
152 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 \\ ...
10
votes
0answers
386 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 ...
10
votes
0answers
199 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 ...
9
votes
0answers
85 views

Simultaneously vanishing quadratic forms?

Given a set of Hermitian matrices $\{A_i\}$, is there a simple way to check if there exists a vector $c$ such that for all $i$: $$c^* A_i c = 0?$$ Namely, when can the quadratic forms defined by the ...
9
votes
0answers
117 views

How to solve linear system of form $(A \otimes B + C^{T}C)x = b$ when $A \otimes B$ is too large to compute?

For the given linear system: $$(A \otimes B + C^{T}C)x = b$$ where $\otimes$ is the Kronecker product, $A$ and $B$ are dense and symmetric positive-definite, and $C^{T}C$ is a sparse symmetric block ...
9
votes
0answers
156 views

What is the precise mathematical definition of what a wavelet is and what is its relation to linear algebra?

I was reading on wavelets and it seems that its hard to find a precise mathematical definition of what this concept is. My confusion first arose due to Gilbert Stang's linear algebra book. In ...
9
votes
0answers
348 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 ...
9
votes
0answers
136 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} ...
9
votes
0answers
285 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 ...
9
votes
0answers
266 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 ...
9
votes
0answers
2k views

Tensor Product is associative, distributive, not commutative.

Tensor Product is associative, distributive, not commutative. Here is my attempt to show tensor product is associative, is it legit? If $T$ is a $p$-tensor and $S$ a $q$ tensor, then $T \otimes ...
9
votes
0answers
517 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 ...
8
votes
0answers
38 views

Geometric interpretation of the determinant of a complex matrix

A complex $n$-dimensional vector space $V$ can be thought of as a real $2n$-dimensional vector space equipped with a map $J:V \to V$ with $J^2 = -I$. Complex-linear maps are then linear maps $V \to V$ ...
8
votes
0answers
48 views

Find the cardinality of a subset of $GL_n( \bf F_p)$

Let $m,n \in \bf N$.Let $\bf F_p$ denote the prime field of characteristic $p$.Consider the set $$ X_m = \{A \in GL_n( \bf F_p): A^m=1 \}$$ Compute the cardinality of $X_m$. Its clear ...
8
votes
0answers
192 views

Inverse (finite group) isomorphism of a certain form exists

I have been working something in group theory for a long time and I have everything worked out but this one problem. I have reduced that problem to a conjecture. It takes some work to set it up, but I ...
8
votes
0answers
904 views

Linearity of the determinant

I'd like to prove the following properties of the determinant map. $\det I = 1$ $\det$ is linear in the rows of the input matrix The determinant map is defined on $n\times n$ matrices $A$ by: ...
8
votes
0answers
521 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 ...
8
votes
0answers
527 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 ...
7
votes
0answers
78 views

Algebra defined by $a^2=a,b^2=b,c^2=c,(a+b+c)^2=a+b+c$

Let $\cal A$ be the (noncommutative) unitary $\mathbb Z$-algebra defined by three generators $a,b,c$ and four relations $a^2=a,b^2=b,c^2=c,(a+b+c)^2=a+b+c$. Is it true that $ab\neq 0$ in $A$ ? This ...
7
votes
0answers
84 views

Does anyone know a reference to best-fitting lines with integral coefficients?

I'm writing up a manual on how to generate "nice" Linear Algebra problems; that is, where the solutions tend to be integral. I "discovered" the following fact about the best-fitting line: Theorem. ...
7
votes
0answers
71 views

In a finite dimensional inner product space with $T ∈ L(V)$, show that $\langle u,v\rangle = \langle T(u),T(v)\rangle$ implies $T$ is invertible.

Here is how I've tried to go about it, and I'm curious if it's true or if I'm way off base. T is invertible iff null$(T)=\{0\}$. Let $v∈V$ and suppose $T(v)=0$. If we can show that $v=0$, then $T$ is ...
7
votes
0answers
73 views

Generators for a matrix group

Lets denote $\Gamma_0(4)$ the subgroup of $SL_2(\mathbb Z)$ : $$\Gamma_0(4):=\left\{\begin{pmatrix} a &b\\ 4c&d \end{pmatrix}\in SL_2(\mathbb Z)\right\}.$$ We also define $A$ and $B$ in ...
7
votes
0answers
87 views

If $A$ has eigenvalues $\lambda_1,…,\lambda_n$, is there a relationship between the eigenvalues of $A$ and $\hat{A}$

Suppose a square matrix $A$ has eigenvalues $\lambda_1,...,\lambda_n$. Note that A is a $n\times n$ matrix where $n$ is even. Let $\widehat{A}$ be a matrix that is obtained from $A$ only by ...
7
votes
0answers
160 views

A conjecture on Schatten 1-norm

I have a conjecture on Schatten 1-norm. Before presenting the conjecture, let us first specify the notions used here. A matrix $A$ is said to be a density operator if $A$ is positive semidefinite ...
7
votes
0answers
142 views

Galois' theory: fixed subfield formula.

In a homework dealing with Galois' theory, I am asked to prove the following standard statement, known as the fixed subfield formula: Theorem. Let $L$ be a field and $G$ be a finite subgroup of ...
7
votes
0answers
102 views

Does it follow that any element of $J(A)$ is necessarily nilpotent?

Let $A[x]$ be the algebra of polynomials with coefficients in a $k$-algebra $A$. Assume that, for any simple $A[x]$-module $M$, one has $\text{End}_{A[x]}M = k$. Does it follow that any element of ...
7
votes
0answers
79 views

What is the criterion for a matrix containing vectors and their permutations being invertible?

Consider the matrix $A\in\mathbb{R}^{m\times 2m}$. Let any arbitrary choice of $m$ columns of $A$ be linearly independent. Together with a permutation $P\in\mathcal{P_{2m}}$, one can build the matrix ...
7
votes
0answers
128 views

Linear Algebra Book Recommendation like Tao's Analysis

I am looking for a book that explains Linear Algebra, where it is build from axioms to higher level of Linear Algebra. It does not have to be a book on elementary level. As example from other fields, ...
7
votes
0answers
162 views

Eigenvalues of a quasi-circulant matrix

The following matrix cropped up in a model I am building of a dynamical system: $$A= \begin{bmatrix} 1 - \alpha & \alpha/2 & 0 & 0 &\cdots & 0 & 0 & \alpha/2\\ \alpha/2 ...
7
votes
0answers
186 views

Hadamard matrices and sub-matrices (Converse of Sylvester Construction)

Let $H$ be a $d$ by $d$ real Hadamard matrix, namely: $$HH^{T}=d I$$ where $I$ is the identity matrix and $d=2^{k}$ for some natural number $k\geq 2$. The entries of $H$ are either $1$ or $-1$ and it ...
7
votes
0answers
164 views

Exactly $n-1$ nonzero elements if $\det(A)=0$ for every arrangement

Let $x_1,x_2,\dots,x_{n^2}\in\mathbb{R}$ with the property that any $n\times n$ matrix with exactly these elements has determinant $0$. Suppose also that there are at least $n$ distinct elements. ...
7
votes
0answers
81 views

Let $\mathbb{K} $ be a field of characteristic $p>0$ and $\mathbb{F} | \mathbb{K} $ a finite and separable extension.

Let $\mathbb{K}$ be a field of characteristic $p>0$ and $\mathbb{F}/ \mathbb{K}$ a finite and separable extension. Show that if $B=\{\alpha_1,\dots,\alpha_n\}$ is a basis, then ...
7
votes
0answers
241 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
108 views

Counting the number of elements in a double coset

Let $G$ denote the groups of $n\times n$ invertible matrices and $H$ be the subgroup of invertible upper triangular matrices. For $n=2$, by row reduction, or equivalently LU decomposition, it is ...
7
votes
0answers
523 views

Generating a stochastic matrix with a given second dominant eigenvalue

I need a procedure (iterative or otherwise) that, given a positive integer $N$ and a (possibly complex) number $\lambda$ such that $0 < \vert \lambda \vert < 1$, will be able to generate an $N ...
7
votes
0answers
286 views

What can we say about two graphs if they have similar adjacency matrices?

Suppose we have two (finite, simple, undirected) graphs, what can we say about these graphs if they have similar adjacency matrices? Observations to begin with: If $G_1$ and $G_2$ are isomorphic, ...
7
votes
0answers
102 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 ...
7
votes
0answers
490 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\ ...