# Tagged Questions

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 ...

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),$$ ...
265 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 ...
518 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 ...
120 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 ...
369 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 ...
436 views

188 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 ...
551 views

132 views

336 views

361 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 ...
132 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) ...
65 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 ...
109 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, ...
172 views

### compare norms on $\mathcal{B}(H)$

Given a Hilbert space $H$ and $a$ be a real numbers $\geq‎‎‎ 1$ , let $S_1(H)$ denote the space of trace-class operators on $H$, with the trace-class norm or Schatten 1-norm. That is  \Vert T ...
70 views

### Solving a matrix differential equation

I am trying to solve: $\frac{d U_t}{dt} = Tr(G^{\dagger}U_t)G - Tr(U_t^{\dagger}G)U_t G^{\dagger} U_t$ Where $U_t \in SU(4)$ and $G \in SU(4)$ is given and constant. Is it possible to solve this ...
81 views

### Linear combination of a vector and its negative

I'm having trouble understanding the question's answer from #19. How does the combination of a vector v and its negative fill a half space? Doesn't it only fill a line?
72 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 ...
141 views

### Is there a mathematical way to fold a $20 dollar bill for compactness? I had a strange thought. I used to carry a pill fob on my keys with an emergency$20 bill in it, before the whole thing got stolen. I always had some trouble fitting the bill inside the fob and ...
Let $n\in2\mathbb{N}$ be given. Let $H\in Mat_{n\times n}(\mathbb{C})$ be a Hermitian traceless matrix such that its eigenvalues have at most pairwise degeneracy. (That is, if the eigenvalues are ...