Skip to main content

All Questions

Filter by
Sorted by
Tagged with
18 votes
3 answers
2k views

Torsion in GL_n(Z)

Fix some $n \geq 3$. It's hopeless to classify the torsion elements in $\text{GL}_n(\mathbb{Z})$, but I have a couple of less ambitious questions. It's well-known that for any odd prime $p$, the map ...
-1 votes
1 answer
2k views

Absolute values and Frobenius norm [closed]

The Frobenius, or Hilbert-Schmidt, norm of an $n$ by $n$ matrix $A$ is defined as $\|A\|_2 = \sqrt{\sum_{i,j=1}^n |A_{ij}|^2}$. The absolute value of $A$ is the unique positive matrix $|A|$ satisfying ...
0 votes
0 answers
608 views

Orthogonal Projections in Lie Theory

I have been studying a finite element method where rigid & elastic spatial motions are separated using an orthogonal projection (actually two: one for translations/stretches, the other for ...
3 votes
1 answer
572 views

When is a finite matrix a "good" approximate representation of an operator?

I am interested in representing an arbitrary charge density (say, of atoms in a molecule) $\rho(r), \; r\in \mathbb{R}^3$ by a finite linear combination of basis functions $\rho(r) = \sum_{i=1}^N q_i ...
6 votes
3 answers
757 views

How many products specify a sum?

Suppose that I have $n$ unknown variables $x_1,\ldots,x_n$. I wish to compute their sum: $$Sum(x) = \sum_{i=1}^nx_i$$ However, the only access to these variables is through products: that is, for any ...
1 vote
1 answer
369 views

A matrix with trace entries.

This question is related to On a positivity of a matrix with trace entries. Let $A_1, \cdots, A_m$ be strictly contractive $n\times n$ complex matrices .Is it true that $$\left(\begin{array}{cccc}Tr\...
4 votes
2 answers
442 views

A mapping from a lattice to itself

Consider $\mathbb{Z}^{n}$ for $n = 2^r$ where $r \geq 1$ . Look at the iterates of the following function $T$ from $\mathbb{Z}^n$ to itself. $T((a_1, a_2, \ldots, a_n)) = (|a_1 - a_n|, |a_2 - a_1|, |...
13 votes
0 answers
713 views

Regular languages of matrices and their generating functions

My question is somewhat related to this question. Let us fix natural numbers $k$ and $C$. Let $A$ be an automaton whose alphabet consists of $k\times k$ matrices with integer coefficients of ...
4 votes
1 answer
1k views

Integer vectors in the kernel of an integer matrix

Let $A$ be a non-zero symmetric $n \times n$-matrix with integer entries and suppose that $\det(A) =0$. Question: How long is the shortest non-zero integer vector in the kernel of $A$? Example: If ...
1 vote
2 answers
156 views

How to study the behavior of a particular function on a Vector Space.

Let, $V$ be a vector space over a field $K.$ Let, $T$ be a function from $V$ to $V$ such that $T(kX) = kT(X)$ for all $k \in K$ and for all $X \in V$ and also $T(k + X) = T(X)$ for all $k \in K$ ...
2 votes
3 answers
1k views

how to get nonzero eigenvalues of a large symmetric matrix with lots of duplicate rows

Is there a nice trick for this? I would like to compute the eigenvalues more efficiently.
7 votes
3 answers
2k views

Is there a field which is the union of finitely many proper subfields?

Is there a field which is the union of finitely many proper subfields?
6 votes
1 answer
520 views

Bisymmetric Matrix, solving set of linear equations.

A bisymmetric matrix is a square matrix that is symmetric about both of its main diagonals. If $A$ is a bisymmetric matrix and I'm interested in solving $Ax=b$. Are there techniques used to ...
-2 votes
1 answer
470 views

Little conjecture about sums of reciprocals

Given a finite list $x_i$ of $N$ positive reals, it seems that $\sum_{i=1}^N x_i = \sum_{i=1}^N x_i {}^{-1} \Rightarrow \sum_{i=1}^N x_i \geq N$. Can anyone give me a proof?
4 votes
0 answers
453 views

Convergence of the relaxation method for every parameter in the relevant disk

For large size matrices, the resolution of linear systems $Ax=b$ is often done iteratively. The matrix $A$ is split as $A=M-N$, with $M$ invertible, and one performs $$x^{k+1}=M^{-1}(Nx^k+b).$$ The ...
3 votes
1 answer
1k views

problems of subspace of M_n(C)

let $M_n(c)$ denote the n times n matrices over the complex number field. $N$ be a subspace of $M_n(C)$. 1 If there is no unitary lies in $N$, what is the maximum of the dimension of $N$ can be? ...
1 vote
1 answer
383 views

Relaxation Scheme for $Au=f$ error analysis

Hello I'm trying to answer this question, but am completely stuck. Argue that in analyzing the error in a stationery linear relaxation scheme applied to $Au=f$, it is sufficient to consider $Au=0$ ...
6 votes
0 answers
267 views

Is there a straightforward way to solve unmixed, homogeneous systems of polynomials?

I came across this problem in my research. It might just be an easy algebraic geometry question, but I don't know much algebraic geometry. Suppose we have a system of $k\leq n$ polynomials in $\...
2 votes
1 answer
4k views

Bidiagonalization and SVD of matrix

I can't find a single solid explanation of how to implement this -- whitepapers too detailed/confusing. Closest I came to an answer was this: http://www.hep.ucl.ac.uk/~bino/libbpm/doc/pro/html/...
3 votes
2 answers
4k views

Matrix products under which the determinant behaves multiplicatively

The determinant behaves multiplicatively with respect to the usual matrix product $$ \det(AB) = \det(A)\det(B), $$ and also with respect to the Kronecker (or tensor) product of square matrices $$ \...
2 votes
0 answers
241 views

subspace separation and M-matrices

The separation between two square matrices $A$ and $B$, often used as a measure of the sensitivity of invariant subspace problems, is defined as $$ \operatorname{sep}(A,B)=\min_{X\neq 0}\frac{\left\...
13 votes
1 answer
2k views

Banach-Mazur distance between $\ell^p$-norms

Let $E^n$ be the real or complex space of dimension $n$. If $N$ and $M$ are two norms over $E^n$, and if $A$ is an endomorphism, then $$\|A\|^M_N:=\sup_{x\ne0}\frac{M(Ax)}{N(x)}$$ is an operator norm ...
10 votes
5 answers
990 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, ...
1 vote
1 answer
2k views

Principal Minors of Matrix Product

Suppose $A$ is a positive definite matrix and $B$ is a non-symmetric matrix with all positive principal minors. Is their product $AB$ a matrix with all positive principal minors? I believe the ...
1 vote
1 answer
940 views

maximal number of mutually orthogonal vectors

Let $F$ be a field, $n$ be a positive integer. Denote by $h_{F}(n)$ the maximal dimension of a subspace $X\subset F^n$ such that $(x,y)=0$ for any two (not necessary distinct) vectors $x,y\in F^n$, ...
0 votes
1 answer
637 views

Rational solutions of homogeneous equations

Can every solution of a homogeneous linear system be approximated by a solution in rational numbers? In mathematical terms: Let $$Ax=0$$ be a homogeneous linear system in $n$ determinates for an $m\...
3 votes
0 answers
328 views

Integer relation detection for Subset Sum or NPP?

Is there a way to encode an instance of Subset Sum or the Number Partition Problem so that a (small) solution to an integer relation yields an answer? If not definitely, then in some probabilistic ...
5 votes
2 answers
3k views

Closedness of finite-dimensional subspaces

Is the (algebraic) span a finite set of vectors in a Hausdorff topological vector space over a complete field always closed? I suspect yes, but I can't come up with a proof, and it seems like locally ...
8 votes
2 answers
679 views

To what extent can algorithms in undergraduate linear algebra be made continuous/polynomial/etc.?

I feel like many of the algorithms that I learned — indeed, that I have taught — in undergraduate linear algebra classes depend sensitively on whether certain numbers are $0$. For example,...
4 votes
1 answer
254 views

Embedding into Permutation Representation

Let $\rho$ be irreducible representation of group $G$. How one can characterize all subgroups $H< G$ such that $\rho$ can be embedded into permutation representation $F^X$, where $X=G/H$.
2 votes
0 answers
658 views

Alternating bilinear forms over local rings

Suppose k is a field and V a vector space over k. If b is an alternating nondegenerate bilinear form in V, it has a symplectic basis. A symplectic basis is a basis where the basis vectors come in ...
7 votes
3 answers
744 views

Looking for applications of a nice result in linear algebra

Hello everybody There is a nice classical result in linear algebra: if $A, B$ are two matrices in $M_n(k),$ where $k$ is a field, and $B$ commutes with every element of $M_n(k)$ which commutes with $...
8 votes
5 answers
15k views

Eigenvalues of A+B where A is symmetric positive definite and B is diagonal

If I have a symmetric positive definite matrix A and a diagonal matrix B, and I know the eigenvalues of both A and B (by iterative numerical computation in A's case and trivially for B), is there any ...
7 votes
1 answer
372 views

Simultaneously orthogonally transform two SPD matrices to tridiagonal form?

Supposing you have two SPD matrices $A,B\in\mathbb{R}^{n\times n}$ are there any known results on the existence or non-existence of a unitary matrix $Q$ such that $Q^\top A Q=T_A$ and $Q^\top B Q=T_B$ ...
-1 votes
1 answer
1k views

Sum of two unitary matrix is equal to every matrix? [closed]

Let $R=M_{n}(Z_{2})$, can we write every matrices of $R$ as sum of two matrices of $GL_{n}(Z_{2})$?
12 votes
3 answers
3k views

How to combine linear constraints on a matrix and its inverse?

Suppose there exists a $(n \times n)$ matrix $A$ that is real and invertible (nothing unusual or special about $A$). We do not know the entries of $A$. However, we do have linear constraints, some of ...
8 votes
0 answers
1k views

roots of quadratic forms

This may be a very silly question, but I was wondering what is known about the roots of a quadratic form over variables $x_1,\ldots,x_n,y_1,\ldots,y_m$ in the finite field $\mathbb{F}_p$. I'm not ...
2 votes
0 answers
299 views

Uniqueness of dimension for topological vector spaces

Let $V$ be a complete Hausdorff locally convex topological vector space over the field $\mathbb{K}$. Let $B$ be a subset of $V$ satisfying . Linearly Independent: For all functions $f$ in $\mathbb{...
1 vote
3 answers
206 views

Linear space of translatable functions.

What are the functions $f$ so that a set $\{a \cdot f(x+b) : a \in \mathbb{R}, b \in \mathbb{R}\}$ is a finite dimensional linear vector space ? Is there a complete characterization of such functions?...
1 vote
2 answers
3k views

matrices self-adjoint with respect to some inner product

Is it possible to give a nice characterization of matrices $A \in R^{n \times n}$ which are self-adjoint with respect to some inner product? These matrices include all symmetric matrices (of course) ...
5 votes
2 answers
687 views

Dependence of trace norm on matrix size for smooth vs. random matrices.

Problem Consider two d x d complex matrices, R and S, whose entries lie in the unit disk: $\quad |R_{i,j}|<1 \quad$ and $\quad |S_{i,j}|<1 $. Say that R is constructed by randomly choosing ...
1 vote
1 answer
715 views

Find a matrix's nullspace from submatrix nullspace

This is probably a basic question, but my linear algebra is weak. Suppose I want to compute the nullspace of a matrix A using some iterative method (e.g. Lanczos). Suppose further that I know a ...
4 votes
2 answers
1k views

Under what conditions will a unitary matrix fix a subspace which does not diagonalize the generating Hamiltonian?

Hello, this is my first post here. I hope that it is not too vague; I will be as precise as I can, but I have more of a meta-problem so please forgive me if this is inappropriate. My question is ...
1 vote
1 answer
201 views

How can I characterize the type of solution vector that comes out of a matrix?

Ax = b. I need a way to analyze a square matrix A to see if its solution vector x will ...
0 votes
1 answer
1k views

For Ax = b, x and b unknown vectors, how do I solve the x that maximizes min(b_i)?

Given a matrix $A$, each element $A_{i,j} \geq 0$, find the vector $\vec x$ that maximizes the minimum element in $\vec b$ ($\vec b = A \vec x$). Note that this is not a linear equation system as I ...
3 votes
2 answers
3k views

distributed incremental SVD

Hello all, I need some theoretical pointers (formulas, articles, online links) on how to merge Singular Value Decompositions (SVD) of two matrices (two different sets of observations over the same ...
13 votes
2 answers
1k views

Combinatorial proof of (a special case of) the spectral theorem?

The spectral theorem for a real $n \times n$ symmetric matrix $A$ says that $A$ is diagonalizable with all eigenvalues real. If $A$ happens to have non-negative integer entries, it can be interpreted ...
34 votes
2 answers
4k views

Symmetric powers and duals of vector bundles in char p

Suppose that $X$ is a smooth projective variety (eg $P^n$) and $E$ is a vector bundle (eg the tangent bundle). If the characteristic is zero, then taking symmetric powers "commutes" with taking duals: ...
9 votes
2 answers
2k views

A generalization of Boolean matrix multiplication for order-3 tensors

The Boolean matrix product of two 0-1 $n \times n$ matrices $A$ and $B$ is the matrix $C$ defined as $$C[i,j] = \vee_{k=1}^n (A[i,k] \wedge B[k,j]).$$ If $A = B$ and the matrix is an adjacency matrix ...
5 votes
2 answers
457 views

fast merging of orthogonal bases

Given two matrices $U_1, U_2$, we can use QR factorization to find orthogonal basis for the subspace spanned by (columns of) $\begin{bmatrix}U_1,U_2\end{bmatrix}$. Now this generally makes no use of ...