All Questions
6,027 questions
17
votes
1
answer
2k
views
Hlawka inequality for determinants of positive definite matrices
It is mentioned here that if $A, B, C\in M_{n}(\mathbb C)$ are positive semidefinite, then $$\det (A+B+C)+\det C\ge \det (A+C)+\det (B+C)$$ (quoted from this article) and the special case ($C=\bf 0$) $...
- 13.4k
17
votes
2
answers
2k
views
Explicit and fast error bounds for polynomial approximation
Main Question
This question is about finding explicit, calculable, and fast error bounds when approximating continuous functions with polynomials to a user-specified error tolerance.
EDIT (Apr. 23): ...
- 697
17
votes
3
answers
1k
views
Prescribing areas of parallelograms (or 2x2 principal minors)
Let $(a_{ij})$ be a $n\times n$ symmetric matrix such that $a_{ij}\geq 0$ for all $i,j$ and $a_{ii}=0$ for all $i$. Under which conditions on the $a_{ij}$'s can one find $n$ vectors $v_1,\ldots,v_n\in{...
- 173
17
votes
2
answers
513
views
On a special type of normed linear spaces
Let $(V,\|.\|)$ be a normed linear space such that for every group $(G,*)$, every function $f:G \to V$ satisfying
$$
\|f(x*y)\|\ge \|f(x)+f(y)\|,\qquad\forall x,y\in G,\tag{Z}
$$ is a group ...
- 1,209
17
votes
0
answers
604
views
Bunnity of multilinear maps
Is there a way to compute the following nullity of multilinear maps? As it is different from any nullity I know of, I call it bunnity after myself:-)) If it already has a name, it be nice to know it. ...
- 12.3k
16
votes
2
answers
1k
views
Spectral symmetry of a certain structured matrix
I have a matrix
$$ A= \begin{pmatrix} 0 & a & d & c\\ \bar a & 0 & b & d \\ \bar d & \bar b & 0 & a \\ \bar c & \bar d & \bar a & 0 \end{pmatrix} $$
As ...
- 536
16
votes
2
answers
2k
views
Proof that block matrix has determinant $1$
The following real $2 \times 2$ matrix has determinant $1$:
$$\begin{pmatrix}
\sqrt{1+a^2} & a \\
a & \sqrt{1+a^2}
\end{pmatrix}$$
The natural generalisation of this to a real $2 \times 2$ ...
- 263
16
votes
4
answers
1k
views
Reference for a linear algebra result
I asked the following question (https://math.stackexchange.com/questions/1487961/reference-for-every-finite-subgroup-of-operatornamegl-n-mathbbq-is-con) on math.stackexchange.com and received no ...
- 26.9k
16
votes
5
answers
8k
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 ...
- 1,890
16
votes
2
answers
2k
views
How to prove the determinant of a Hilbert-like matrix with parameter is non-zero
Consider some positive non-integer $\beta$ and a non-negative integer $p$. Does anyone have any idea how to show that the determinant of the following matrix is non-zero?
$$
\begin{pmatrix}
\frac{1}{\...
- 163
16
votes
4
answers
3k
views
How many minors I need to check to conclude all minors will vanish ?
Given a $m \times n$ matrix $n>m$, I was trying to check if all its $m \times m$ minor vanish.
I remember hearing that one really does not need to check all possible minors in order to conclude ...
- 1,795
16
votes
3
answers
2k
views
Hom(A,C) ⊗ Hom(B,D) injects into Hom(A⊗B,C⊗D): when? why?
Sorry for asking a linear algebra question on a research forum, but this seems to be either a case of extreme blindness on my side, or a case of a result lying much deeper than it seems.
The ...
- 33.8k
16
votes
3
answers
3k
views
A riddle about zeros, ones and minus-ones
I was asked this years ago, but I don't remember by whom, and have never managed to solve it.
Consider the $2^n \times n$ matrix of all vectors in {-1,1}$^n$.
Someone comes and maliciously replaces ...
- 435
16
votes
1
answer
3k
views
How to construct a basis for the dual space of an infinite dimensional vector space?
Let $V$ be an infinite-dimensional vector space over a field $K$. Then it is known that $\dim V < \dim V^*$. More precisely, by a result attributed to Kaplansky and Erdos, we have $\dim V^* = |K|^{\...
- 2,821
16
votes
3
answers
2k
views
Why is the set of Hermitian matrices with repeated eigenvalue of measure zero?
The Hermitian matrices form a real vector space where we have a Lebesgue measure. In the set of Hermitian matrices with Lebesgue measure, how does it follow that the set of Hermitian matrices with ...
- 73
16
votes
1
answer
3k
views
A property that forces the NORM to be induced by an INNER PRODUCT
Let $(E, \|\cdot\|)$ be a real normed vector space such that for any $a,b\in E$,
$$ \|x +y\|^2 + \|x-y\|^2 \geq 4 \|x\|\cdot \|y\| $$
I want to show that the norm is induced by an inner product. Any ...
user36763
16
votes
1
answer
1k
views
Is the theory of vector bundles just linear algebra done in a suitable topos?
Sheaves of sets on a space are somehow "parametrized sets". This is the philosophy by which one can do mathematics internal to a sheaf topos (of which theory I admit I know essentially nothing), with ...
- 23.3k
16
votes
2
answers
2k
views
Bounding the matrix norm of a commutator $[A,B]$ in terms of the norms of $A$ and $B$
The setup is as in this question:
Given a norm $N$ over ${\bf M}_n(\mathbb C)$, it is a natural question to find the best constant $C_N$ such that
$$N([A,B])\le C_N N(A)N(B),\qquad\forall A,B\in{\bf M}...
- 13.4k
16
votes
1
answer
3k
views
positive not completely positive maps
In extension to this question
Positive but not completely positive?
I'd like to know, for $k>1$, examples of $k$-positive linear maps of a matrix algebra into itself that are not $k+1$-positive. (...
- 3,873
16
votes
1
answer
711
views
A weird question about two weird decompositions of $\mathbb{R}$ as a $\mathbb{Q}$-vector space
While working in a question about the affine group $\text{Aff}(\mathbb{R})$, I have come up with the following strange question about the real numbers:
Question: Do there exist a non-trivial ...
- 1,101
16
votes
3
answers
1k
views
symmetric integer matrices
Suppose I have a symmetric positive definite matrix $M$ with integer entries. I want to decide whether $M = A A^t,$ with $A$ likewise integral. I assume that decision problem is NP-complete, as is the ...
- 96.4k
16
votes
2
answers
9k
views
Solving a quadratic matrix equation
This might be a well-known problem but I am having trouble to find this. For square matrices $X, A, B,$ how to obtain the general solution for $X$, for the quadratic matrix equation $X A X^{T} = B$ ? ...
- 1,538
16
votes
6
answers
13k
views
Showing block diagonal structure of matrix by reordering
Suppose we have a block-diagonal matrix $M$, but the block diagonal structure is not immediately apparent from looking at the matrix because the rows/columns are shuffled.
I wish to find a reordering ...
- 911
16
votes
2
answers
1k
views
Definitions of determinant by unique features
A well-known definition of the determinant is:
The determinant is the only function of a vector space of dimension $n$ to its underlying field which is multilinear, alternating and normalized.
See e....
16
votes
4
answers
782
views
$\sup \left\| A x + B y\right\|_2$ subject to $\left\|x\right\|_2 = \left\|y\right\|_2 = 1$
I'm interested in
$$\sup_{x, y} \left\| A x + B y\right\|_2$$ subject to
$$\left\|x\right\|_2 = \left\|y\right\|_2 = 1$$
where $A$, $B$ and $x$, $y$ are real matrices and vectors, respectively, of ...
- 1,667
16
votes
3
answers
15k
views
Interesting relationships between Cholesky decomposition and diagonalization
Let $\Sigma$ be a hermitian positive definite matrix and $L$ be its Cholesky decomposition so that $LL^\ast=\Sigma$. Furthermore, let's diagonalize $\Sigma$ as $\Sigma = P\Lambda P^\ast$. $\Lambda$ is ...
- 1,902
16
votes
1
answer
851
views
Are primes linearly separable?
Let $X_1,\cdots,X_n$ be finite subsets of some set $Z$. Then the symmetric difference metric space:
$$d(X_i,X_j) = \sqrt{ |X_i|+|X_j|-2|X_i\cap X_j|}$$
can be embedded in Euclidean space. The value $|...
user6671
16
votes
1
answer
818
views
Lift chain complex from $\mathbb{F}_2$ to $\mathbb{Z}$
We start with a finite dimensional chain complex over $\mathbb{F}_2$, equipped with a basis. That is, we have finitely many finite dimensional $\mathbb{F}_2$-vector spaces $C_0,\dots,C_k$ with bases $...
- 518
16
votes
1
answer
774
views
Minimizing the excursion of a sum of unit vectors
I have $n$ unit-length vectors $v_i$ in $\mathbb{R}^3$, whose
sum is zero:
$$ v_1 + v_2 + \cdots + v_n = 0 \; .$$
Now I form the closed polygon $P$ in space by placing them head to tail.
So the ...
- 151k
16
votes
4
answers
930
views
Integer matrices whose determinant equals their norm
Let $M$ be an $2 \times 2$ matrix, with all entries in $\mathbb{N}$:
$$
M=
\begin{bmatrix}
a & b \\
c & d
\end{bmatrix} \;.
$$
So
$$
\mathrm{det}(M) = a d - b c \; .
$$
The
Euclidean norm
(...
- 151k
16
votes
3
answers
791
views
Random products of projections: bounds on convergence rate?
The von Neumann-Halperin [vN,H] theorem shows that iterating a fixed product of projection operators converges to the projector onto the intersection subspace of the individual projectors. A good ...
- 181
16
votes
1
answer
537
views
Balls in Hilbert space
I recently noticed an interesting fact which leads to a perhaps difficult question. If $n$ is a natural number, let $k_n$ be the smallest number $k$ such that an open ball of radius $k$ in a real ...
- 2,049
16
votes
1
answer
2k
views
Commuting Matrices and the Weak Nullstellensatz
In the Wikipedia article on Hilbert's Nullstensatz,
http://en.wikipedia.org/wiki/Hilbert%27s_Nullstellensatz
the following application of the Weak Nullstensatz is mentioned:
Commuting matrices
...
- 839
16
votes
1
answer
2k
views
Moore-Penrose Inverse as an adjoint
A Moore-Penrose pseudoinverse of a morphism $f: V \rightarrow W$ between Euclidean vector spaces is a map $g: W \rightarrow V$ in the other direction satisfying the identities
$fgf = f$
$gfg = g$
$(...
- 1,704
16
votes
1
answer
2k
views
Overlapping Gershgorin disks
We all know Gershgorin's Circle Theorem, which I will summarise for convenience. Let $A=(a_{ij})$ be an $n\times n$ complex matrix. Define the disks $D_1,\ldots,D_n$ by $$D_i = \Bigl\{ z : |z-a_{ii}|\...
- 37.7k
16
votes
2
answers
905
views
Eigenvalues of an "oblique diagonal" matrix
I am looking for guidance about the behavior of powers of a particular matrix (call it $A_n$ for $n\ge2$), which has come up in a counting problem about quantum knot mosaics (a good reference for ...
- 537
16
votes
1
answer
897
views
Hankel determinants of binomial coefficients
For $\{h_{n}\}_{n=0}^{\infty}$ a real sequence, denote by $H_{n}$ the $n\times n$ Hankel matrix of the form
$$
H_{n}:=\begin{pmatrix}
h_{0} & h_{1} & \dots & h_{n-1}\\
h_{1} & ...
- 2,188
16
votes
1
answer
2k
views
Playing an (invertible) matrix game with two players
Players $A$ and $B$ take an empty $n \times n$ matrix and place, one by one, an element (say, a rational number) in an unoccupied place of this matrix. Player $A$ starts. The game ends if there is no ...
- 161
16
votes
0
answers
755
views
Is there a "natural" proof of the equality $4^2=2^4$?
This question, or rather any answer that it might receive, would probably belong to the realm of Awfully sophisticated proof for simple facts. Still, I claim that I have quite serious motivation for ...
- 18.4k
16
votes
0
answers
574
views
Are $0, 1, 4, 7, 8$ the only dimensions in which a bivector-valued cross product exists?
It is a well-known mathematical curiosity that ordinary (vector-valued) cross products over $\mathbb{R}$ exist only in dimensions $0, 1, 3$ and $7$ (this fact is related to Hurwitz's theorem that real ...
- 1,206
16
votes
0
answers
488
views
An inequality for matrix norms
Working on a problem in combinatorics I come up with the following inequality on matrix norms, which I checked it also numerically:
Let $A=(a_{ij})$ be a real symmetric $n\times n$ matrix with ...
- 4,484
16
votes
0
answers
809
views
Determinant inequality involving Hermitian, positive definite matrices
Let $A,B,C\in M_{n}(\mathbb C)$ be Hermitian and positive-definite matrices such that $A+B+C=I_{n}$.
Show that
$$\det\left(6(A^3+B^3+C^3)+I_{n}\right)\ge 5^n\det(A^2+B^2+C^2)$$
This question has been ...
- 269
16
votes
0
answers
784
views
How to explain the picturesque patterns in François Brunault's matrix?
How to explain the patterns in the matrix defined in François Brunault's
answer to the question Freeness of a Z[x] module depicted below? --
Choosing colors according to the highest power of 2 which ...
- 19.6k
15
votes
5
answers
18k
views
Proving "almost all matrices over C are diagonalizable".
This is an elementary question, but a little subtle so I hope it is suitable for MO.
Let $T$ be an $n \times n$ square matrix over $\mathbb{C}$.
The characteristic polynomial $T - \lambda I$ splits ...
- 7,442
15
votes
3
answers
4k
views
Non-diagonalizable doubly stochastic matrices
Are there constructive examples of doubly stochastic matrices (whose rows and columns all sum up to $1$ and contain only non-negative entries) that are not diagonalizable?
- 731
15
votes
9
answers
9k
views
Exponential of large matrices
I want to make a diffusion kernel, which involves $e^{\beta A}$, where A is a large matrix (25k by 25k). It is an adjacency matrix, so it's symmetric and very sparse.
Does anyone have a ...
- 151
15
votes
4
answers
1k
views
Determining if some permutation of a vector satisfies a system of linear equations
Let $A$ be a matrix and $x$ a fixed vector. How can we determine whether or not there exists a permutation matrix $P$ such that $APx=0$? Does this problem reduce to anything well-understood?
- 623
15
votes
3
answers
1k
views
Are automorphisms of matrix algebras necessarily determinant preservers?
Is every automorphism $\phi : A \to A$ of a subalgebra $A \subseteq M_n$ necessarily a determinant preserver?
I would assume that the answer is no in general, but I'm unable to find an example (or any ...
- 261
15
votes
3
answers
738
views
Finding lots of discrete vectors in fairly general position
How many vectors can there be in $\mathbb{F}_2^{2n}$ such that no $n$ of them form a linearly dependent set? The bounds I have so far are embarrassingly far apart, though that probably means I should ...
- 29k
15
votes
3
answers
1k
views
Group of matrices in which every matrix is similar to unitary
$\DeclareMathOperator\GL{GL}$Let $G$ be a subgroup of $\GL_n(\mathbb{C})$ such that for every $g \in G$ there exists $c \in \GL_n(\mathbb{C})$ for which $cgc^{-1}$ is unitary (or, which is the same, $...
