All Questions
5,884 questions
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
3
votes
1
answer
327
views
Derivative norm estimates
Assume $\Phi$ is some diffeomorphism of a certain manifold. Let $\Phi^{-1}$ denote the inverse map and let $(D\Phi)^{-1}$ denote the matrix inverse of $D\Phi$.
QUESTION. Does this norm estimate hold? ...
- 43.2k
7
votes
4
answers
557
views
Reference request: "Higher order eigentuples" as generalized eigenvectors?
I stumbled upon a cute generalization of the eigenvalue problem and would like to know if anybody has seen something like this and can provide references.
The eigenvalue problem for a square matrix $M$...
- 12.7k
2
votes
0
answers
38
views
Constructing an $n$-simplex at the border of a $n$-ball by orthogonal hyperplanes
I want to construct an $n$-simplex the following way:
Choose $n$ vectors in the boundary of an $n$ dimensional ball, which are forming an $(n-1)$-simplex together.
Place the orthogonal affine $n-1$-...
3
votes
1
answer
143
views
A problem about matrix inverse and regularization methods
I'm researching the problem of solving the equation $A\mathbf{x}=\mathbf{b}$ with ill-conditioned matrices. We know that if we solve it directly, like $\mathbf{x}=\mathrm{inv}(A)\ast\mathbf{b}$, then ...
- 33
1
vote
1
answer
133
views
Graceful labeling of the complete bipartite graph and its laplacian quadratic form diagonalized
A graceful labeling of a connected simple undirected graph $G=(V,E)$ is a map $f:V\to\lbrace 1,...,|E|+1\rbrace$ such that for all $t\in\lbrace 1,...,|E|\rbrace$ there is a (trivially unique) $\langle ...
- 91
3
votes
1
answer
232
views
Non-degeneracy in hyperplane intersections of canonical curves
Let $C$ be a smooth projective non-hyperelliptic curve over $\mathbb{C}$ of genus $g = 4$. The canonical bundle $\omega_C$ induces a canonical embedding $C \longrightarrow \mathbb{CP}^3 $ such that $C$...
- 343
2
votes
1
answer
173
views
Maximizing a quadratic form involving a trace-bounded positive definite matrix?
$\newcommand{\tr}{\mathrm{tr}}$Suppose $P, Q$ are two real, symmetric positive definite matrices and $v$ a nonzero unit vector.
Consider
$$
f(X) = v^T(P + X^{-1})^{-1} v + v^T(Q + X^{-1})^{-1} v.
$$
...
- 380
1
vote
0
answers
40
views
learning about split cut (Integer Programming)
Here is a part of Integer Programming (Graduate Texts in Mathematics, 271) 2014th Edition.
In lemma 5.9, aiming at showing that a finite number
of splits ${(\pi, \pi_0)}$ are sufficient to generate ...
- 11
1
vote
1
answer
153
views
How to solve for bounds restricting ${\Sigma}$ to symmetric-positive-semi-definiteness?
Scenario
I have a equation for a covariance matrix ${\Sigma}$ where everything but a vector of correlations is known aka $x=(x_{1}, \dots, x_{D})$ for $x_{i}\in [-1, 1]$.
Problem
I know that ${x}$ ...
4
votes
1
answer
170
views
About $CW(512,16^2)$
Definitions: A weighing matrix $W = W(n,k)$ with weight $k$ is a square matrix of order $n$ and entries $w_{ij}$ in $\{0, \pm 1\}$ such that $WW^T=kI$,
where $I$ is the identity matrix. A circulant ...
- 696
1
vote
0
answers
27
views
Seeking Help with Classifying Polygons: Waterholes and Airpockets in 2D Space
I am currently in the process of writing software and have encountered a mathematical problem. Perhaps there are some experts here who are familiar with this. It involves the classification of ...
- 11
3
votes
0
answers
118
views
A matrix-valued analogue of a classical inequality
Let $p \geq 4$ be an even integer. In the study of variational problems in $W^{1, p}$, it is handy to know that for $a, b \in \mathbb R^d$,
$$|a - b|^p \leq 2^{p - 1} (|a|^{p - 2} + |b|^{p - 2}) |a - ...
- 708
1
vote
1
answer
132
views
Can I find $n$ points on the boundary of an $n$-dimensional ball with certain properties?
My problem is the following: I want to construct $n$ rays all starting at a point $v$ that is not in the $n$-dimensional ball around $0$ such that the following is true:
The $n$-dimensional ball is a ...
1
vote
0
answers
68
views
Low rank matrix completion with additional constraints
I have an $n \times n$ matrix $M$ of the form
$$ \sum_{i=1}^r \pi_i \frac 1 {1 - s_i} (1 - s_i)^\top,$$
where the $s_i$'s are $n \times 1$ vectors with positive entries that sum to 1, $1 - s_i$ is the ...
- 301
0
votes
1
answer
66
views
Correct conditions for the image of a matrix to intersect a cone?
Given an $m \times n$ real (or rational) matrix $A = (a_{ij})$, what are necessary and sufficient conditions for the image of this matrix to intersect a cone? I am specifically interested in the cone $...
- 11
5
votes
2
answers
189
views
Bisymmetric Hadamard matrices
Definitions: An $n\times n$ Hadamard matrix is a matrix whose entries are either $1$ or $−1$ and whose rows are mutually orthogonal.
A symmetric matrix is a square matrix that is equal to its own ...
- 696
1
vote
0
answers
40
views
Bound of entries of inverse of a unimodular matrix whose row sum is bounded
Many questions have been asked about the bound of the entries of the inverse of a matrix subject to certain conditions. Here my condition is slightly different: let $A=(a_{ij})$ be an $n \times n$ ...
- 895
10
votes
3
answers
455
views
When does $\det(\frac{A+A^T}{2})=\det(A)$ for positive-definite $\frac{A+A^T}{2}$?
Setup: Let $A$ be a real square matrix and assume its symmetric part $\frac{A+A^T}{2}$ is positive-definite. The inequality
$$
\det\left(\frac{A+A^T}{2}\right) \leq \lvert\det(A)\rvert
$$
is known as ...
- 145
0
votes
1
answer
158
views
Techniques for bounding the operator norm of the expectation of random matrix?
Let $\mu$ be a distribution on the unit sphere in $\mathbb{R}^n$. Let $u \sim \mu$ and consider the random matrix
$$
A = I_n - uu^T.
$$
Question: What techniques are available to provide (reasonably ...
- 380
3
votes
1
answer
192
views
Vanishing of principal minors implies upper triangular up to permutation
Let $A$ be a square matrix. If $A$ satisfies the following two conditions
(1) $A$ is upper triangular
(2) all diagonal entries of $A$ are zero
then it is easy to see that all principal minors of $A$...
- 357
0
votes
0
answers
51
views
Minimizer of forward and reverse Kullback-Leibler divergence with sum constraints on marginals
Consider minimization of the Kullback Leibler divergence between two discrete distributions $p$ and $q$:
\begin{align*}
D_{KL} \left( p \parallel q \right) = \sum_i p_i \log \left( \frac{p_i}{q_i} \...
0
votes
0
answers
31
views
What is the Fisher information matrix of the von Mises-Fisher distribution?
Assuming the von Mises-Fisher distribution as
$$f_{p}(\mathbf{x}; \boldsymbol{\mu}, \kappa) = C_{p}(\kappa) \exp \left( {\kappa \boldsymbol{\mu}^\mathsf{T} \mathbf{x} } \right),$$
where $\kappa \ge 0$,...
- 287
0
votes
0
answers
96
views
When can a point be reconstructed from relative angle measurements?
Given a set of points $p_1,\dots,p_n$ in $\mathbb{R}^d$ and a target point $x\in\mathbb{R}^d$, I measure all the angles between all pairs of points and the target point. In other words, I have the ...
- 427
14
votes
0
answers
601
views
Is the Zariski density proof of Cayley-Hamilton circular?
This old MO thread and its comments contains a discussion of the Zariski density proof of Cayley-Hamilton (I have also asked a separate question about the proof Victor gives in the comments here). ...
- 118k
24
votes
3
answers
866
views
Mark some vectors in $\mathbb{R}^n$ in a way that every orthonormal basis has an odd number of marked vectors
Let $n$ be a natural number. Is there a set $S$ of vectors of norm $1$ in $\mathbb{R}^n$ such that every orthonormal basis of $\mathbb{R}^n$ contains an odd number of vectors from $S$?
If $n$ is odd, ...
- 679
4
votes
1
answer
184
views
Is there a nice basis for a pair of linear maps?
By using splitting fields I know you can put a (single) matrix in upper triangular form. This gives in my opinion the cleanest proof of the Cayley-Hamilton theorem.
consider the following...
WRONG ...
2
votes
0
answers
79
views
Does every $(n-1)^2 + 1$-dimensional subspace of $n\times n$ Hermitian matrices that contains identity, contain a rank-1 matrix?
Let $M_i$, $i=1,\dots,(n-1)^2+1$, $M_1 = 1_{n\times n}$ be a set of linearly-independent Hermitian $n\times n$ matrices. Show that there exists a rank-1 matrix $P$, which is a linear combination of $...
- 628
2
votes
1
answer
326
views
Full rank of Hadamard product matrix
Let $\circ$ be the Hadamard product and consider two matrices $C \in\{0,1\}^{N \times n}$ and $W\in \mathbb{R}^{N\times n}$:
$$
C:=\left[\begin{array}{cccc}
c_1^1 & c_2^1 & \cdots & c_n^1 \...
- 43
0
votes
0
answers
22
views
Eigenvalues of Composition of Hadamard Operations of Low Rank Matrices
I am interested in the eigenvalues of $$ee^T \oslash (aa^T - a^{\odot2}(a^{\odot2})^T )^{\odot \frac{1}{2}},$$ where $a \in \mathbb{R}^n$ and $e$ is the vector with all entries equal to one.
Can we ...
0
votes
0
answers
93
views
Orthogonalization of symmetric non-degenerate bilinear forms
It is well-known that given a field $k$ with characteristic different from $2$, every symmetric non-degenerate bilinear form $B$ over a finite-dimensional space can be orthogonalized. This means that ...
- 1,485
4
votes
0
answers
284
views
Institutional approach to linear algebra
In Diaconescu's book Institution Independent Model Theory, it is mentioned on p. 37 that linear algebra can be viewed as an institution. Specifically, we have the following
Definition. An institution ...
- 10.1k
1
vote
1
answer
142
views
Operator norm of some type of discrete Fourier matrix
Let $N$ be a natural number and let $w$ be a complex number.
We define the $N\times N$ matrix $C_w=(a_{k,l})_{k,l=1}^N$ as follows,
$$
a_{k,l}=\begin{cases}1 & l=k+1\\
w &...
- 4,058
2
votes
1
answer
122
views
Is it possible to solve this kind of quadratic simultaneous equations?
$$\mathbf{x} = (x_1, x_2, ..., x_N)^T \in \mathbb{R}^{N} \\
\mathbf{A}_i \in \mathbb{R}^{N \times N},
\mathbf{b}_i \in \mathbb{R}^N ,
\mathbf{c}_i \in \mathbb{R}\\
\mathbf{x}^T\mathbf{A}_i\mathbf{x}...
- 23
5
votes
1
answer
429
views
Lower bound for the rank of the sum of $n$ matrices
I found a mathematical note by George Marsaglia entitiled "Bounds for the rank of the sum of two matrices", where he proves the following result.
Let $A_1$ and $A_2$ be two complex matrices ...
- 5,215
3
votes
1
answer
99
views
Eigenvectors of $P^\top P$ for 0/1 matrices $P$
Let $P$ be an $m \times N$ matrix of zeros and ones (think $N \gg m$), and let $\mathbf{u} \in \mathbb{R}^N$ be a unit vector satisfying $P^\top P\mathbf{u} = \lambda^2 \mathbf{u}$ for some $\lambda &...
- 161
3
votes
1
answer
252
views
Two isotropic subspaces in a symplectic vector space
Let $k$ be a field of characteristic $0$, let $V$ be a finite-dimensional vector space over $V$, and let $\omega(-,-)$ be a symplectic bilinear form on $V$. In other words, $\omega(-,-)$ is an ...
- 33
3
votes
1
answer
189
views
Rank properties of matrix valued in linear forms
Let $R(X,Y) \in \text{Mat}_{d,d+1}(\mathbb{C}[X,Y]_{(1)})$ be a $d \times (d+1)$-matrix valued in linear forms $\mathbb{C}[X,Y]_{(1)}:= \{aX+bY \ \vert \ a,b \in \Bbb C \}$.
Let denote $v_j(X,Y)$ its $...
- 6,018
8
votes
4
answers
379
views
Traceless Hermitian matrices with simultaneously vanishing Rayleigh quotients
Let $D$ be an integer greater than 1. What is the largest number $N$, such that for all sets of $N$ Hermitian $D\times D$ traceless matrices $M_i$, $i=1,\dots,N$, there exists a non-zero complex ...
- 628
0
votes
0
answers
43
views
Absolute value of elements of b=Ax and the minimum singular value of A
For $b=Ax$, is there a way to relate the minimum absolute value of the element of $b$, $\min|b_i|$, and the minimum singular value, $\sigma_\text{min}$, of $A$?
What I want is something like: $\sigma_\...
2
votes
0
answers
75
views
Smallest dimension, on which a set of matrices acts non-trivially
Let $A_i$, $i=1,\dots,N$, be a finite set of $D<\infty$ dimensional Hermitian matrices. Let $d$ be the smallest number for which there exists a unitary $D$-dimensional matrix $U$, and Hermitian $d$-...
- 628
1
vote
1
answer
391
views
How one can show that this matrix is full rank?
Fix $d\in\mathbb{N}$ and consider $e_{i,j}\in\mathbb{C}$ for $i=1,\dots,d+3$ and $j=1,\dots,d-1$. Suppose to have the following matrices
$$N_{i,1}=\begin{pmatrix}
1 & 0 \\
e_{i,1} & 1
\end{...
- 11
0
votes
0
answers
40
views
Eigendecomposition of Toeplitz matrix
I am working with Toeplitz matrix, I know that a Toeplitz Matrix $T$ can be decompose as a sum of a circulant and skew circulant matrix which can be diagonalized using the DFT matrix
$T=C+S = F\...
- 1
1
vote
1
answer
145
views
Prove or disprove that the matrix equation of the form $AX+XA^{-T}=0$ has a nonsingular anti-symmetric solution $X$
I’m trying to prove that for $A=J_n(i)$, that is, the Jordan block matrix corresponding to the eigenvalue $i$ of size $n$, where $n$ is even, the matrix equation $AX+XA^{-T}=0$ has a nonsingular anti-...
- 11
3
votes
1
answer
196
views
Deriving the "Explicit" formula for inverse of Hilbert/Cauchy matrices
My exact question is, how to derive the formula for $H^{-1}$, in which $H_{ij}=\frac{1}{i+j-1}$.
I am currently working my way through Hoffman&Kunze Linear Algebra. I noticed that a question on ...
- 183
1
vote
0
answers
139
views
Integral convex polytopes formed from the weight diagrams of representations of $\mathfrak {sl}_4$($\mathbb{C}$)
I'm a student studying undergraduate abstract algebra and doing a summer research project in the mathematics department at my school. I'm barely familiar with the rudiments of representation theory; I ...
- 111
0
votes
0
answers
129
views
Linearly independent Kronecker product construction
I have a question regarding a constructive argument about Kronecker products which came up while trying to solve a more general problem.
Let $n\in \mathbb{N}$ and $E \subseteq [n] \times [n]$ with $d^...
3
votes
0
answers
109
views
How much a general a theory of matrices equivalence under group actions we have?
Let $F$ be a field and let $M_{m,n}\,(F)$ be the $F$-linear space of $m \times n$ matrices over $F$. Let $G$ be a group acting on $M_{m,n}\,(F)$.
My question is: Do we have some theory about the ...
- 157
1
vote
0
answers
39
views
Constructing a centered distribution absolutely continuous with respect to uniform measure on the sphere with a pre-specified covariance?
Let $\mathcal{K}_n$ denote the space of $n \times n$, real symmetric positive semidefinite matrices $K$ having unit trace.
It is easy to verify that for each $K \in \mathcal{K}_n$, there exists a ...
- 380
0
votes
0
answers
32
views
Finding measure representation for rank 2 moment matrices
Assuming the following equation has a solution, I'm interested in finding any concrete values of $x_{1},\dots x_{n},y_{1},\dots y_{n},c_{1},c_{2},R$ that fulfills it.
$$
\begin{bmatrix}
1 & 1 \\
...
- 275