Questions tagged [linear-algebra]

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 concerning matrices, use the (matrices) tag. For questions specifically concerning matrix equations, use the (matrix-equations) tag.

19,786 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
199
votes
0answers
11k 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), $$ $K_1=\left(\...
39
votes
0answers
883 views

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

Let $k$ be a field $\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 with repeated eigenvalues over $\...
24
votes
0answers
565 views

Determinant of a matrix that contains the first $n^2$ primes.

Let $n$ be an integer and $p_1,\ldots,p_{n^2}$ be the first prime numbers. Writing them down in a matrix $$ \left(\begin{matrix} p_1 & p_2 & \cdots & p_n \\ p_{n+1} & p_{n+2} & \...
23
votes
0answers
801 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} ...
22
votes
0answers
1k 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 ...
19
votes
0answers
411 views

Can some proof that $\det(A) \ne 0$ be checked faster than matrix multiplication?

We can compute a determinant of an $n \times n$ matrix in $O(n^3)$ operations in several ways, for example by LU decomposition. It's also known (see, e.g., Wikipedia) that if we can multiply two $n \...
18
votes
0answers
536 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 ...
17
votes
0answers
510 views

The longest list of analogies between vector spaces and categories ever made

I suspect this question exists in different forms, elsewhere. I would like to know what's going on with this table, how to fill the missing items and how to continue the list, and what is the ...
16
votes
0answers
264 views

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

Let $m,n \in \mathbb N$. Let $\mathbb F_p$ denote the prime field of characteristic $p$. Consider the set $$ X_m = \{A \in GL_n( {\mathbb F_p}): A^m=1 \}$$ Compute the cardinality of $X_m$. Its ...
15
votes
1answer
392 views

The number of non-singular $n\times n$ matrices over $\mathbb{F}_2$ with exactly $k$ non-zero entries

Suppose $M_{n}^{k}$ is the number of non-singular $n\times n$ matrices over $\mathbb{F}_2$, that have exactly $k$ non-zero entries. Is there some sort of formula to calculate $M_n^k$? If $k < n$ ...
15
votes
0answers
1k views

Matrix generated by prime numbers

Let $p$ be the vector of dimension $n^2$ consisting of ordered prime numbers i.e. $p= [ 1 \ 2 \ 3 \ 5 \ 7 \ldots]^T$ and $A$ be the matrix of dimension $n\times{n}$ constructed with this vector by ...
14
votes
0answers
183 views

Toeplitz matrices question with Fourier coefficients

Denote: $f(e^{i\theta})$ is continuous and strictly positive on the interval $ 0 \le \theta \le 2\pi$ with Fourier coefficients $$ t_j = \frac{1}{2\pi}\int_0^{2\pi}f(e^{i\theta})e^{-ij\theta} \quad ...
13
votes
1answer
246 views

Is this matrix function bounded from above by a norm

Given two symmetric, positive definite matrices $A$ and $B$, let $$ d(A, B) = \textrm{tr}(A) + \textrm{tr}(B) - 2 \, \textrm{tr} \, \left((A^{1/2} B A^{1/2})^{1/2}\right). $$ This function coincides ...
13
votes
0answers
333 views

Bounding the minimum singular value of a block triangular matrix

Question: What is the sharpest known lower bound for the minimum singular value of the block triangular matrix $$M:=\begin{bmatrix} A & B \\ 0 & D \end{bmatrix}$$ in terms of the properties ...
13
votes
1answer
261 views

Projective equivalence: Linear subspaces under the action of $PGL_n$

A pair of ordered collections linear subspaces $\Lambda_1, \ldots, \Lambda_k$ and $\Lambda'_1, \ldots, \Lambda'_k$ of $\mathbb{P}^n$ are called projectively equivalent if there exists a regular ...
13
votes
0answers
4k 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 S$ ...
12
votes
0answers
311 views

Fastest way to check existence of solution for a linear system of inequalities

What is the fastest way to check if there exists a solution to the inequality $A x \leq b$, with $A \in \mathbb R^{n \times m}$? I know this can be checked through the phase 1 of a linear programming ...
12
votes
0answers
624 views

Lowest dimensional faithful representation of a finite group

How does one compute the lowest dimensional faithful representation of a finite group? This question originated in the context of given a finite group $G$: trying to find the lowest dimensional shape ...
12
votes
0answers
6k views

Simpson's Rule for Double Integrals

Simpson's Rule for double integrals: $$\int_a^b\int_c^df(x,y) \,dx \,dy$$ is given by $$S_{mn}=\frac{(b-a)(d-c)}{9mn} \sum_{i,j=0,0}^{m,n} W_{i+1,j+1} f(x_i,y_j) $$ where: $$W= \begin{pmatrix} 1&...
12
votes
0answers
340 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} &f(x+a,y+b)+...
12
votes
0answers
476 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 ...
12
votes
0answers
1k 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 &...
12
votes
0answers
890 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 A_{\sigma(2i-...
11
votes
0answers
232 views

Does there exist a continuous path between two sets of oriented basis for a vector space out of a collection of subspaces?

Let $V_1, V_2, \dots, V_n$ be a collection of vector subspaces in $\mathbb R^n$. For each $j=1, \dots, n$, $\dim(V_j) = m$ with $2 \le m < n$. We also have the condition: for any collection of $\...
11
votes
0answers
326 views

A conjecture on the Lyapunov equation

Let $A\in\mathbb{R}^{n\times n}$ be a Hurwitz stable matrix (i.e., all the eigenvalues of $A$ have strictly negative real part). Let $X\in\mathbb{R}^{n\times n}$ be a positive semi-definite matrix of ...
11
votes
0answers
168 views

Coordinate free proof that $\operatorname{trace}(A)=0\:\Longrightarrow\:A=BC-CB$

As you probably know, the trace function on square matrices has the property that $$\operatorname{trace}(AB-BA)=0\,.$$ You might also know that the converse is true: $$\operatorname{trace}(A)=0\;\text{...
11
votes
0answers
216 views

Finding the ratio between two $8$-dimensional volumes

EDIT: At this point, geometric interpretations of conditions 2-4 would qualify as an answer. This can include symmetries of the region. I have a real $3 \times 3$ matrix $A$ with entries $a_{ij},$ ...
11
votes
0answers
246 views

Is there a sense in which the Chi-squared distribution is an inner product?

I have been self-studying statistics recently, and the apparent similarities between linear algebra (especially Hilbert spaces) and statistics have been popping out to me. Linear independence gets ...
11
votes
0answers
381 views

given the inverse of a matrix, is there an efficient way to find the determinant?

Suppose one has the inverse $A^{-1}$ of an $N\times N$ non-singular matrix $A$. Is there an ''efficient'' way to obtain $\det{A}$? With ''efficient'' I mean anything that has a better scaling ...
11
votes
0answers
154 views

$\text{SL}(2, \mathbb{F}_q)$, for which characters is the $G$-representation irreducible?

Followup to here. Let $\mathbb{F}$ be a finite field with $q$ elements, and let $G = \text{SL}_2(\mathbb{F})$. The group $G$ acts linearly on the $2$-dimensional vector space $\mathbb{F}^2$ and fixes ...
11
votes
1answer
169 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 ...
11
votes
0answers
524 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 ...
10
votes
3answers
417 views

Box-constrained orthogonal matrix

Given constants $\ell, u \in \mathbb{R}^{3 \times 3}$ and the following system of constraints in $P \in \mathbb{R}^{3 \times 3}$ $$ P^T P = I_{3 \times 3},\quad \ell_{ij} \leq P_{ij} \leq u_{ij}, $$ I ...
10
votes
0answers
382 views

Flipping Summation of Kronecker Products

Question Suppose $\mathbf A$ is an $n\times n$ matrix, and that $\mathbf B_i$ is an $m\times m$ matrix, for all $i\in\{1,\dots, n\}$. Is it possible to find $n\times n$ matrices $\mathbf U$ and $\...
10
votes
1answer
125 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 ...
10
votes
0answers
223 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 ...
10
votes
1answer
228 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 ...
10
votes
0answers
2k views

Simultaneous diagonalization of quadratic forms

I would like to collect references (or direct quotations) about as many "simultaneous diagonalization" results in linear algebra as possible. Let $V$ be an $n$-dimentional ($n$ finite) vector space ...
9
votes
0answers
175 views

Can we show that the determinant of this matrix is non-zero?

Consider the following symmetric matrix $M= \begin{bmatrix} f(x) & f(2x) & \dots & f(nx)\\ f(2x) & f(4x) & \dots & f(2nx)\\ \vdots & \vdots & \dots &...
9
votes
1answer
145 views

How many connected components could the intersection of $\{A \in M_n(\mathbb R): \rho(A) < 1\}$ and an affine subspace in $M_n(\mathbb R)$ have?

Let $\mathcal E = \{A \in M_n(\mathbb R): \rho(A) < 1\}$ where $\rho(\cdot)$ is the spectral radius and $\mathcal U$ be an affine space in $M_n(\mathbb R)$. If we assume $\mathcal E \cap \mathcal U ...
9
votes
0answers
148 views

Reference request: arranging distinct numbers into a full rank matrix

I thought of the following problem: Let $n\ge 2$. Suppose you have $n^2$ distinct numbers in some field. Is it necessarily possible to arrange the numbers into an $n\times n$ matrix of full ...
9
votes
1answer
195 views

Is there a homeomorphism between the sets of Schur stable and Hurwitz stable matrices in companion forms?

The set of Schur stable matrices is \begin{align*} \mathcal S = \{A \in M_n(\mathbb R): \rho(A) < 1\}, \end{align*} where $\rho(\cdot)$ denotes the spectral radius of a matrix and the set of ...
9
votes
0answers
109 views

Does the space of matrices above rank $k$ admit a transitive Lie group action?

$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ Let $V$ be a real $d$-dimensional vector space ($d \ge 4$). Let $2 \le k \le d-2$. Define $H_{>k}=\{ A \in \text{End}(...
9
votes
0answers
109 views

What is $\ \overline{\bigcup_{p≥ 1}\ \{A\in M_n(\mathbb C), \ A^p = I_n\}} \ $?

Let $\Gamma_p = \{A\in M_n(\mathbb C), A^p = I_n\}$ and let $\Gamma = \bigcup_{p≥ 1}\ \Gamma_p$. What is the closure of $\Gamma$ ? (This is from an oral exam). Let $B \in M_n(\mathbb C)$ such that ...
9
votes
0answers
273 views

Number of simultaneously solvable linear equations with nonnegative variables

Let $N$ variables $x_i \ge 0$ but not all of them be zero. One may fix $\sum_{i=1}^N x_i = 1$. There are $P$ equations which need to be solved, with coefficients $a^k_i$ indexed with superscripts $k =...
9
votes
0answers
220 views

Convergence of a linear recurrence equation

Let $T \colon \mathbb{C}^n \to \mathbb{C}^n$ be a linear operator. Let $\{u_k\} \subset \mathbb{C}^n$ and $\{v_k\} \subset \mathbb{C}^n$ be two sequences of vectors. Suppose the spectral radius of $T$ ...
9
votes
0answers
148 views

Matrix exponential, containing a thermal state

Define an infinite matrix $$ M = \begin{bmatrix} 0 & -1 & 0 & 0 & \cdots \\ 1 & 0 & -2 & 0 & \cdots \\ 0 & 2 & 0 & -3 & \cdots \\ 0 & 0 & 3 &...
9
votes
0answers
120 views

Finite group of “linear substitutions”

From what I can tell, a linear substitution is an operation on a set of variables $x_1,\ldots,x_n$ which sends them to a new set of variables $y_1,\ldots, y_n$ via a linear transformation $$\vec{y} = ...
9
votes
1answer
427 views

Generalisation of prime numbers to matrices?

Is it possible to generalise prime numbers to matrices? I'm trying to solve a Rubix cube in the minimum number of steps and I think this would be useful. I think it's possible to represent Rubix cube ...
9
votes
0answers
239 views

Questions on color theory, expressed in linear algebra

I'm reading into color theory and there were a few questions which I asked myself along the way, maybe you can put me forward to some source where I can find answers or give them directly. The ...