Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 11142

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

5 votes
1 answer
233 views

A conjecturally easier version of matrix Descartes rule of signs.

This is (quite obviously) inspired by this question. Let $C_i$ be symmetric positive definite matrices. Then is it true that there is exactly one symmetric positive definite $X$ such that $F(X) = X^n …
Igor Rivin's user avatar
  • 96.4k
4 votes
0 answers
3k views

Intersection of subspaces

If you have two linear subspaces $V_1$ and $V_2$ of a vector space $V,$ both given by their bases, there is fairly heavy handed way of computing their intersection: write down the projection matrices …
Igor Rivin's user avatar
  • 96.4k
13 votes
3 answers
4k views

Signature of a quadratic form

This may be a really dumb question, but here goes: is there any algorithm to compute the signature of a quadratic form (or a symmetric matrix, if you prefer) more efficient (asymptotically or otherwi …
Igor Rivin's user avatar
  • 96.4k
2 votes
0 answers
45 views

signatures of quasi-gram matrices

Suppose I have a finite subset $\mathcal{M}$ of a Banach space $B$ $\mathcal{M}=p_1, \dots, p_n,$ and I create the following ``Gram'' matrix $G_{\mathcal{M}}:$ $$g_{ij} = \frac{\|p_i\|^2 + \|p_j\|^2 …
Igor Rivin's user avatar
  • 96.4k
2 votes
2 answers
218 views

Obstructions to Smith normal form of a special type

Suppose I have a Smith normal form $S,$ and I want to have an $M \in SL(n, \mathbb{Z}),$ such that $M - I$ has SNF $S.$ Is this always possible? For a (potentially) somewhat harder question, what if I …
Igor Rivin's user avatar
  • 96.4k
8 votes
1 answer
511 views

Casson invariant

Part of the definition of the Casson invariant is that if you have an integer homology sphere $\Sigma$ and a knot $k,$ then $$\lambda(\Sigma + \frac{1}{m} k) - \lambda(\Sigma + \frac{1}{m+1} k)$$ does …
Igor Rivin's user avatar
  • 96.4k
18 votes
6 answers
6k views

Computing signature

I have a feeling that this might have already been asked, but can't find the question. Anyway, the question is: given a symmetric $n\times n$ matrix, is there a faster way to compute its signature tha …
Igor Rivin's user avatar
  • 96.4k
10 votes
2 answers
2k views

Characteristic polynomial of exterior power

Suppose $f$ is a linear map, and consider $\Lambda^k f$ as the usual exterior power of $f$ (if you prefer matrices, it is a matrix whose entries are the $k\times k$ minors of $f.$) The coefficients of …
Igor Rivin's user avatar
  • 96.4k
12 votes
3 answers
3k views

elementwise functions of positive definite matrix

The fact that the Schur (that is, element wise) product of two positive definite (symmetric) matrices is positive definite immediately implies (using the convexity of the positive semi definite cone) …
Igor Rivin's user avatar
  • 96.4k
6 votes
0 answers
123 views

mean distance between subspaces

Consider the Haar measure $\mu$ on the Grassmannian $G(n, k)$ of $k$-dimensional subspaces in $\mathbb{R}^n.$ Now, pick pairs of subspaces uniformly at random with respect to $\mu,$ and compute their …
Igor Rivin's user avatar
  • 96.4k
4 votes
1 answer
503 views

Checking irreducibility

This is related to this question. Suppose I have an $n$-dimensional representation of a finitely generated group, and I want to know whether it is absolutely irreducible. This can, of course, be done …
Igor Rivin's user avatar
  • 96.4k
4 votes
1 answer
135 views

Characterization(?) of coersive(?) elements in the special linear group

Take your favorite matrix norm $\|\bullet\|$ (my favorite is the Frobenius norm $\|A\| = \sqrt{\operatorname{tr} A A^t}$). Now consider the set $S_x$ of matrices $A,$ such that $\|A\| < x$ and $\|A^{ …
Igor Rivin's user avatar
  • 96.4k
2 votes
1 answer
296 views

equations over (some) lie groups

To be concrete, let $G=SL(n, \mathbb{C}),$ $\phi$ an automorphism of $G.$ Is there a characterization of those $x$ for which there exists a $y$ such that $x = y \phi(y)?$ In the special case, the auto …
Igor Rivin's user avatar
  • 96.4k
5 votes
1 answer
404 views

determining symplecticity (if that's a word)

Suppose you have a matrix $M$ in $SL(n, \mathbb{Z}).$ Question: is there a necessary and sufficient condition for $M$ to be conjugate to $N \in Sp(n, \mathbb{Z}).$ It is clearly necessary that the cha …
Igor Rivin's user avatar
  • 96.4k
4 votes
1 answer
403 views

power log distance between matrices

In this thesis, Pedro Freitas discusses the properties of distance functions on matrices defined by $d_p(A, B) = (\sum (\log (\sigma_i(A^{-1} B)))^p)^{1/p}.$ Here $\sigma_i$ are the singular values of …
Igor Rivin's user avatar
  • 96.4k

15 30 50 per page