Questions tagged [linear-algebra]

For questions about 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.

26,337 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
327 votes
0 answers
18k 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(\...
user avatar
  • 7,327
46 votes
0 answers
806 views

probability for a $n\times n$ matrix to have no complex eigenvalues

Let $A$ be a $n\times n$ random matrix where every entry is i.i.d. and uniformly distributed on $[0,1]$. What is the probability that $A$ has no complex eigenvalues? The answer cannot be 0 or 1, since ...
user avatar
  • 9,164
43 votes
0 answers
1k 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} & \...
user avatar
30 votes
0 answers
1k 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} ...
user avatar
  • 313
29 votes
0 answers
2k 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 ...
user avatar
  • 7,534
29 votes
0 answers
2k 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 ...
user avatar
  • 557
25 votes
0 answers
526 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 ...
user avatar
  • 9,960
23 votes
0 answers
1k 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 ...
user avatar
22 votes
0 answers
898 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 ...
user avatar
  • 9,433
20 votes
0 answers
487 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{...
user avatar
19 votes
0 answers
9k 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&...
user avatar
  • 4,461
16 votes
0 answers
284 views

Is the power of $2$ in the Euclidean norm related to the fact that the algebraic closure of the reals is $2$-dimensional?

Consider any local field $K$, endowed with its topological field structure. We define the function $| \cdot | : K \to \mathbb{R}_{\ge 0}$ as $$|x| = \frac{\mu(xS)}{\mu(S)},$$ where $\mu$ is any Haar ...
user avatar
  • 4,601
16 votes
0 answers
388 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 ...
user avatar
16 votes
0 answers
738 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 ...
user avatar
  • 16.7k
16 votes
0 answers
629 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 ...
user avatar
  • 2,244
16 votes
0 answers
10k views

What do you call the product of a matrix's diagonal elements?

The trace of $A$, an $N\times N$ matrix, is $\displaystyle\sum_{i=1}^N A_{ii}$. What do you call $\displaystyle\prod_{i=1}^N A_{ii}$?
user avatar
15 votes
0 answers
312 views

A puzzling KKT for LMI vs. scalar constraint

I am trying to understand the KKT conditions for LMI constraints in order to solve my original question in KKT conditions for $\max \log \det(X)$ with LMI constraints. In the meantime, I found a much ...
user avatar
  • 544
15 votes
0 answers
532 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)+...
user avatar
  • 58.7k
15 votes
0 answers
5k 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$ ...
user avatar
  • 4,302
15 votes
0 answers
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 &...
user avatar
  • 1,160
14 votes
0 answers
262 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 $\...
user avatar
  • 3,296
14 votes
0 answers
269 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},$ ...
user avatar
14 votes
0 answers
175 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 ...
user avatar
14 votes
0 answers
3k 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) ...
user avatar
13 votes
0 answers
317 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$ ...
user avatar
  • 3,296
12 votes
0 answers
1k 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-...
user avatar
  • 121
11 votes
0 answers
336 views

Studying representations of orthogonal group via symmetric group?

Let $V$ be the vector space of $n\times n$ symmetric matrices with real entries. On $V$ we have the natural action of the orthogonal group $\textrm{O}(n)$ defined by $g.A:=g\cdot A\cdot g^{t}$ for $g\...
user avatar
  • 3,157
11 votes
0 answers
414 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 ...
user avatar
  • 2,740
11 votes
0 answers
534 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 ...
user avatar
10 votes
1 answer
400 views

Finding a minimal set of equations that determine a variable.

I have a system of $m$ linear equations on $n$ variables, which I'm representing as $Ax=b$, with $A$ an $m\times n$ matrix representing the equations and $b$ an $\mathbb R^m$ vector representing the ...
user avatar
10 votes
0 answers
244 views

Can an orthogonal matrix move monotonically toward a signed permutation matrix?

The question is motivated by this question on Mathematics SE. Let $A \in O(n)$ be an orthogonal matrix that is not a signed permutation matrix, and let $P$ be the nearest signed permutation matrix to $...
user avatar
  • 335
10 votes
0 answers
77 views

Identities for subspaces and linear maps

Wikipedia has a nice list of identities for how intersections, unions, and complements interact with images and preimages of set functions. But if $f:V \to W$ is a linear map, many of the identities ...
user avatar
10 votes
0 answers
120 views

Exemples of applications of "groupoidification" to linear algebra

I just read Baez's very nice blog notes about groupoidification, and around the beginning, he states : "From all this, you should begin to vaguely see that starting from any sort of incidence ...
user avatar
  • 41.4k
10 votes
0 answers
410 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 ...
user avatar
  • 2,117
10 votes
3 answers
531 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 ...
user avatar
10 votes
0 answers
165 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}(...
user avatar
  • 23.1k
10 votes
0 answers
175 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 &...
user avatar
  • 14.4k
10 votes
0 answers
202 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} = ...
user avatar
  • 15.8k
10 votes
1 answer
770 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 ...
user avatar
  • 453
10 votes
1 answer
663 views

Is there a name for the group of real matrices whose determinant is an element of $\pm 1$?

The group of matrices whose determinant is non-zero is called the "general linear group", and the group of matrices whose determinant is $1$ is called the "special linear group". In between these two ...
user avatar
  • 65.1k
10 votes
0 answers
429 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 $\...
user avatar
  • 1,897
10 votes
1 answer
155 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 ...
user avatar
  • 101
10 votes
1 answer
482 views

Determinant of $n\times n$ matrix with parameter

Problem: Let $\delta \in \mathbb{R}^+$ and $n\in \mathbb{N}$. The matrix $A_n = (a_{i,j}) \in \mathbb{R}^{n\times n}$ is defined as $$ a_{i,j} = \prod_{k=0}^{i-2}\left((j-1)\delta +n-k\right) $...
user avatar
  • 13.2k
10 votes
0 answers
2k views

Proof of rank-nullity via the first isomorphism theorem

I was thinking about the proof of the rank-nullity theorem and I thought about proving it as follows. I just wondered whether this proof worked? Lemma. If $V$ is a finite-dimensional $F$-vector space ...
user avatar
10 votes
0 answers
1k views

Is kernel density estimation a GMM with uniform mixture weight?

recall that for a Gaussian Mixture Model, the density of p(x) (multivariate) is $$P(x) = \Sigma_{i=1}^{C}\pi(c_i)\mathcal{N}(\mu_i,\Sigma_i)$$ On the other hand, non-parametric density estimation ...
user avatar
  • 1,979
9 votes
0 answers
1k views

Why can't we define traces and determinants for non-square matrices?

I'm reading a book that claims that determinants and traces are only defined for square matrices, but doesn’t really explain why. From a calculation standpoint, this seems correct because I wouldn’t ...
user avatar
9 votes
0 answers
551 views

If nilpotent matrix $A$ and $AB−BA$ commute, show that $AB$ is nilpotent.

Let $A$ and $B$ be $n×n$ complex matrices. If $A$ is a nilpotent matrix, and $A$ commute with $AB−BA$, show that $AB$ is nilpotent. Equivalently, the question can be expressed as following ...
user avatar
9 votes
0 answers
258 views

Determinant of a symmetric matrix with entries on diagonals

I am interested in the calculation of the determinant of the $N\times N$ symmetric matrix \begin{equation*} \mathbf B = \left(\begin{array}{*{20}c} 2 & & -1& &-1& &\\ & 2 &...
user avatar
  • 673
9 votes
0 answers
82 views

Matrix performing local differintegral analysis being its own inverse. Coincidence?

I found a curious matrix $$T = \begin{bmatrix}1&2&1\\1&0&-1\\1&-2&1\end{bmatrix}$$ This matrix (or actually $\frac 1 2 T$) performs Local mean value (integral) estimation. ...
user avatar
  • 24.1k
9 votes
0 answers
156 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 ...
user avatar
  • 1,406

1
2 3 4 5
527