# Questions tagged [linear-algebra]

Questions about the properties of vector spaces and linear transformations, including linear systems in general.

**5**

votes

**5**answers

3k views

### A random walk matrix has eigenvalue 1 with multiplicty 1 - why?

A random walk matrix has largest eigenvalue 1 with multiplicty 1 - why?
Let $G$ be a non-directed, regular connected graph with degree $d$. Let $A$ be its random walk matrix, i.e. it's adjacency ...

**19**

votes

**4**answers

4k views

### Definition of inner product for vector spaces over arbitrary fields

Is there a canonical definition of the concept of inner products for vector spaces over arbitrary fields, i.e. other fields than $\mathbb R$ or $\mathbb C$?

**4**

votes

**1**answer

163 views

### factorization of the product of a matrix element and its cofactor

Hi,
this is kind of continuation of this thread to concentrate on a specific problem from linear algebra and analysis that, I think, is rather interesting for itself.
Here we go:
1) Main problem: ...

**3**

votes

**1**answer

234 views

### Asymptotically multiplicative functions and matrices

Hi,
Let $\mathbb{N}_{cop}^2$ denote the set of all pairs of coprime natural numbers. A function $f:\mathbb{C}\rightarrow\mathbb{C}$ is called asymptotically multiplicative, iff $\epsilon_{m,n}:=f(mn)...

**5**

votes

**1**answer

551 views

### Hermite normal form in families

How does Hermite normal form (over $Z$) vary in families? I.e. if I have an $n\times m$ matrix $M$ whose entries are integral polynomials in some integral variable $x$, how does the Hermite normal ...

**1**

vote

**1**answer

955 views

### Real and Complex Projections

A projection $P$ on a real vector space is defined to be a linear mapping such that $P^2 = P$. For projections on complex vector spaces why does one require the extra condition that $P^* = P$, where $...

**15**

votes

**2**answers

3k views

### How to compute the rank of a matrix?

Okay, that's a misleading title. This is a somewhat subtler problem than undergraduate linear algebra, although I suspect there's still an easy answer. But I couldn't resist :D.
Here's the actual ...

**7**

votes

**4**answers

2k views

### Is there a name for the matrix equation A X B + B X A + C X C = D?

I happen to be working on a problem that reduces to solving the following equation:
$$\mathbf{A X B} + \mathbf{B X A} + \mathbf{C X C} = \mathbf{D}$$
where A through D are known matrices ( A, B, D ...

**8**

votes

**5**answers

2k views

### How can I learn about doing linear algebra with trace diagrams?

There is a wikipedia article. There is a paper by Elisha Peterson. I tried reading these but they don't seem to click for me.
Are there books or other resources for learning how to do linear ...

**8**

votes

**8**answers

853 views

### Ways to Synthesize Topics in Linear Algebra

Hello, I am currently studying linear algebra right now. In general, the material is pretty straight-forward but it doesn't seem particularly interesting. I suppose that the main thing that I am ...

**16**

votes

**2**answers

542 views

### Which quadratic forms on $\Lambda^2 V$ come from quadratic forms on $V$?

Let $V$ be a finite dimensional vector space, say over $\mathbf R$. Let $g \in S^2 V^*$ be a quadratic form on $V$. Then $g$ induces a quadratic form $\Lambda^2 g \in S^2 \Lambda^2 V^*$ on $\Lambda^...

**3**

votes

**4**answers

611 views

### How can I generate (suitably random) symplectic matrices?

I would like to write a computer script to generate a lot of symplectic matrices. How can I do this? Is there a parameterization of all symplectic matrices?

**15**

votes

**5**answers

6k views

### Which graphs have incidence matrices of full rank?

This is a follow-up to a previous question. What graphs have incidence matrices of full rank?
Obvious members of the class: complete graphs.
Obvious counterexamples: Graph with more than two ...

**8**

votes

**1**answer

567 views

### Composite Residues with Determinant Denominators

I am looking for a good reference on composite residues of multi-variable contour integrals (something better and more explicit than Griffiths and Harris or Tsikh). This means I want to evaluate $\...

**4**

votes

**5**answers

3k views

### Notions of Matrix Differentiation

There are a few standard notions of matrix derivatives, e.g.
If f is a function defined on the entries of a matrix A, then one can talk about the matrix of partial derivatives of f.
If the entries of ...

**2**

votes

**2**answers

307 views

### Is there a specific name for matrices with nonsingular principal submatrices?

Is there a specific name for matrices with nonsingular principal submatrices?

**3**

votes

**1**answer

882 views

### How do you construct a symplectic basis on a lattice?

Is this possible to do constructively? The only sources that I have for the possibility of this construction is an exercise in Lang's Algebra (on p. 598, I believe) which states that one can be ...

**-2**

votes

**1**answer

148 views

### What is the weakest condition on the matrices A_k that guarantees v_k->0 => A_kv_k->0 ? [closed]

What is the weakest condition on the sequence of real matrices A_k that guarantees that whenever a sequence of real vectores v_k converges to zero, the product A_kv_k also converges to zero?
Edit: ...

**7**

votes

**1**answer

1k views

### Graphs with incidence matrices whose pseudoinverses are proportional to their transposes

When I was working on my PhD dissertation, I came across a physical situation involving nodes and flows between them. It turned out that I was working with a complete oriented graph $K_n$ (all nodes ...

**2**

votes

**3**answers

302 views

### In an n-dimensional linear 2nd-order ODE, why is the transpose-inverse to a system of solutions also a solution?

I'm at a sticky spot in my research. Namely, I have a particular fact, and it ought to have a short proof, but the only way I know how to show it is long and drawn out, and I don't like it and worry ...

**8**

votes

**2**answers

994 views

### Hermitian matrices with prescribed number of positive and negative eigenvalues

Let $H$ be a linear subspace of the space of Hermitian $n\times n$ matrices. Is there a good characterization of those $H$ such that every $A\in H$ has at least $k$ positive and $k$ negative ...

**26**

votes

**10**answers

6k views

### When to pick a basis?

Picking a specific basis is often looked upon with disdain when making statements that are about basis independent quantities. For example, one might define the trace of a matrix to be the sum of the ...

**1**

vote

**4**answers

353 views

### Is it that only with normal matrices, the transition matrix to its [del: inherent] [ins: own] basis is unitary?

Does this even make sense what I translated into english?
PS. I am probably gonna delete this question eventually

**51**

votes

**4**answers

52k views

### Eigenvalues of matrix sums

Is there a relationship between the eigenvalues of individual matrices and the eigenvalues of their sum? What about the special case when the matrices are Hermitian and positive definite?
I am ...

**1**

vote

**4**answers

4k views

### What are the components of a transpose operator from $\mathbb R^{n\times n}$ to $\mathbb R^{n\times n}$?

Say I'm working in the space of linear transformations from $\mathbb R^n$ to $\mathbb R^n$ and I've picked a basis so I can identify with any operator a component matrix in $\mathbb R^{n\times n}$. ...

**2**

votes

**2**answers

3k views

### Shear transformations

Where can I learn more about shear matrices?
The Wikipedia article is not enough, and sadly it does not have any references.
I understand they are linear transformations. Do they form a group? How ...

**1**

vote

**8**answers

1k views

### Bivectors in 3 and 4 dimensions

The big questions behind are:
Is a bivector a two-form?
Why a bivector is simply a vector in 3 dimensions?
How to distinguish between vectors and bivectors in 3D?
Why all bivectors are not vectors ...

**25**

votes

**7**answers

3k views

### When is a monic integer polynomial the characteristic polynomial of a non-negative integer matrix?

Suppose $P(x)$ is a monic integer polynomial with roots $r_1, ... r_n$ such that $p_k = r_1^k + ... + r_n^k$ is a non-negative integer for all positive integers $k$. Is $P(x)$ necessarily the ...

**1**

vote

**1**answer

622 views

### Quantifying Aggregate Vector Strength/Vector Arithmatic

Say I have 5 vectors and I measure the similarity of each one to a fixed reference vector using cosine similarity. But now what I want to do is understand the aggregate or collective strength of these ...

**20**

votes

**5**answers

3k views

### Generators for congruence subgroups of SL_2

For positive integers $n$ and $L$, denote by $SL_n(Z,L)$ the level $L$ congruence subgroup of $SL_n(Z)$, i.e. the kernel of the homomorphism $SL_n(Z)\rightarrow SL_n(Z/LZ)$.
For $n$ at least $3$, it ...

**12**

votes

**2**answers

531 views

### Matrices into path algebras

I was thinking about quivers recently, and the following idea came to me.
Let ei,j denote the matrix unit in Mn for 1 ≤ i,j ≤ n. Let Γ denote the complete quiver on vertices {1, …,...

**5**

votes

**2**answers

675 views

### Abelianization of Lie groups

If G is a group, its abelianization is the abelian group A and the map G → A such that any map G → B with B abelian factors through A. Abelianization is a functor, and in general a very ...

**16**

votes

**3**answers

1k views

### elementary Ext^1 intuition

I am wondering what sort of basic basic intuitive meaning Ext1(M,N) has.
As a base case: if <...

**9**

votes

**8**answers

5k views

### Which computer algebra system should I be using to solve large systems of sparse linear equations over a number field?

This is related to Noah's recent question about solving quadratics in a number field, but about an even earlier and easier step.
Suppose I have a huge system of linear equations, say ~10^6 equations ...

**2**

votes

**1**answer

794 views

### Question about orthogonal matching pursuit

Let y be a n-vector, X a n-by-p matrix of full rank (p < n) and b a p-vector, so that y = Xb + e, for some noise vector e. I am not sure how to show reduction of error in orthogonal matching ...

**17**

votes

**4**answers

2k views

### Variation on a matrix game

The original problem appeared on last year's Putnam exam:
"Alan and Barbara play a game in which they take turns filling entries of an initially empty 2008×2008 array. Alan plays ﬁrst. At each turn, ...

**22**

votes

**2**answers

8k views

### Infinite matrices and the concept of “determinant”

Suppose we have an infinite matrix A = (aij) (i, j positive integers). What is the "right" definition of determinant of such a matrix? (Or does such a notion even exist?) Of course, I don't ...

**6**

votes

**2**answers

687 views

### Orbits of real groups, canonical forms of matrices

There are a lot of results in textbooks concerned with canonical forms of matrices under certain complex groups of transformations, e.g. GL(n|C), O(n|C),...
Could anybody give me references where the ...

**7**

votes

**1**answer

427 views

### Lifting bases for (Z/pZ)^n to Z^n

The following question came up in my research. I suspect that it has a slick answer,
but I can't seem to find it.
Fix an integer n>=2 and a prime p. Define X(n) to be the set of primitive
vectors ...

**4**

votes

**1**answer

468 views

### How do you rotate a matrix to maximum sparsity?

Given a matrix M, I want to find an orthogonal matrix U that maximizes the number of entries that are zero in the product MU. How do I go about doing this?

**2**

votes

**2**answers

334 views

### Is the center of a free (as a module) algebra free?

A submodule of a free module need not be free (for instance, in the free Z[X]-module Z[X] the submodule generated by 2 and X is not free). But over a principal ideal domain, submodules of free modules ...

**-1**

votes

**1**answer

261 views

### Change of basis with Multilinear fucntion [closed]

Take a multi-linear function(or functional) M that takes m arguments V1…Vm, each with a dimension n. Consider only the case where m=n. Let there be a change of basis performed on the arguments(V1...Vm)...

**10**

votes

**2**answers

985 views

### What is the size of the category of finite dimensional F_q vector spaces?

The size of a finite skeletal category C in the sense of Leinster is defined as follows: Label the objects of C by integers 1,2,...,n and let aij be the number of morphisms from i to j (for i and j ...

**0**

votes

**2**answers

2k views

### Friedberg, Insel, and Spence Linear Algebra example

In the chapter 6.4 on normal and self-adjoint operators, there is an example of an infinite dimensional inner product space H that has a normal operator but that has no eigenvectors.
The space is the ...

**3**

votes

**3**answers

1k views

### Conjugation in SU(2)

For any two matrices $P,Q \in SU(2)$, with $tr(P)=tr(Q)=0$, does there always exist some $G\in SU(2)$ such that $G P G^{-1} = -P$, and $G Q G^{-1} = -Q\ ?$

**9**

votes

**1**answer

327 views

### An “existence contra partition of unity” statement for integer matrices?

While reading a blog post on partitions of unity at the Secret Blogging Seminar the following question came into my mind.
Let $n$ be a positive integer and let $B_1$ and $B_2$ be $n \times n$ ...

**4**

votes

**2**answers

520 views

### Linear Algebra Over $F_{2}$

Suppose we call a subset S of $F^{n}$ ($F$ is the field with two elements) good if for any $x$ and $y$ (possibly $x=y$) we have $[x,y]=1$ where $[ , ]$ denotes the obvious bilinear form on F. What's ...

**9**

votes

**5**answers

797 views

### Non-conjugate words with the same trace

Let n>=2, p a large prime, G = SL_n(Z/pZ).
If n=2, there are words that, while not conjugate in the free group, do have identical trace in G. For example, tr(g h^2 g^2 h)= tr(g^2 h^2 g h) for all g, ...

**19**

votes

**4**answers

3k views

### Linear transformation that preserves the determinant

It seems "common knowledge" that the following holds:
Let $T$ be a linear transformation on nxn matrices with complex coefficients that preserves the determinant. Then there exists matrices U and V ...

**18**

votes

**4**answers

3k views

### Rings over which every module is free

We know that modules over skewfields are free. Is the converse true? In other words, is it true that a nontrivial ring over which every module is free is a skewfield?
If the ring A is commutative, ...