Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [linear-algebra]

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

5
votes
5answers
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
4answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
4answers
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
5answers
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
8answers
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
2answers
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
4answers
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
5answers
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
1answer
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
5answers
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
2answers
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
1answer
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
1answer
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
1answer
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
3answers
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
2answers
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
10answers
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
4answers
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
4answers
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
4answers
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
2answers
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
8answers
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
7answers
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
1answer
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
5answers
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
2answers
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
2answers
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
3answers
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
8answers
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
1answer
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
4answers
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 first. At each turn, ...
22
votes
2answers
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
2answers
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
2answers
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
3answers
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
1answer
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
2answers
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
5answers
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
4answers
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
4answers
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, ...