All Questions
6,027 questions
1
vote
0
answers
58
views
Linear algebraic group, absolute root system, computing roots
Let $G(F)$ be a reductive linear algebraic group, where $F$ is a local field. Let $T(F)$ be a maximal anisotropic torus of $G$ that splits over a quadratic extension of $F$. Is there an efficient ...
- 11
10
votes
3
answers
2k
views
Partial inverse of a matrix - or does it have its own name?
In my calculations I need to use something which is "between" a matrix and its inverse. That is, I invert only some dimensions. I am interested if it has an established name.
That is, a matrix (here ...
- 21
2
votes
2
answers
227
views
Is a probabilistic implementation of unitaries invertible?
Let $\{p_j\}_j$ be a set of probabilities, $\sum_j p_j = 1$, let $\{h_j\}_j$ be a set of $n \times n$ Hermitian matrices, and define $ad_h(A) $ be the adjoint.
Define the following linear mapping
$$ E(...
7
votes
3
answers
958
views
Vector of integers such that almost all dot products are positive
Let $x_1<x_2<\cdots<x_n$ be $n$ real numbers such that $\sum\limits_{j=1}^n x_j\ne0$. Do there always exist $n$ integers $a_1,a_2,\ldots,a_n$ such that
$$
\sum_{j=1}^n a_j\cdot x_j <0
\...
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
7
votes
4
answers
558
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$...
- 128k
0
votes
2
answers
252
views
“Smallest” non-zero linear combination of vectors to obtain a non-negative vector
We say that a vector $\mathbf{x}$ in $\mathbb{Z}^j$ is non-negative if it is of the form
\begin{bmatrix}
x_1 \\
x_2 \\
\vdots \\
x_j \\
\end{bmatrix}
where $x_{i} \geq 0$ for all $i=1,\...
- 651
3
votes
1
answer
202
views
Intermediate lattices $C\mathbb{Z}^n \subseteq \Lambda \subseteq \mathbb{Z}^n$
Let $C \in \mathfrak{gl}(\mathbb{Z},n)$ be a symmetric full rank integer valued matrix (in my case it is the symmetric part of a Cartan matrix). Let $\Lambda \subseteq \mathbb{Z}^n$ be a full rank ...
- 4,219
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}$ ...
- 126
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$-...
- 63.9k
0
votes
1
answer
533
views
Follow up: Show that these vectors are linearly independent almost surely
I posted this question some time ago here. I started a bounty for it and received an answer which helped me a lot. However, I still have some issues I want to discuss regarding it. Unfortunately I can'...
CommunityBot
- 1
2
votes
1
answer
174
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.
$$
...
- 3,741
1
vote
1
answer
737
views
How do the singular values of a Hankel matrix, generated by some data time series, change when we add/remove rows and columns?
Suppose I have a smooth time series $C(t)$ defined on the interval $t=[0,T]$, from which I extract the sub-series $c=\{x_1,\cdots,x_N\}$ of $N$ entries, where $x_i=C(i*T/N)$. Naturally, the number $N$ ...
CommunityBot
- 1
3
votes
1
answer
144
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 ...
- 12.7k
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
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 ...
- 1,021
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 - ...
- 6,215
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 ...
- 35.5k
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 ...
0
votes
1
answer
123
views
Explicit expression of Padé–Hermite approximant of type I
It is well known that the Padé approximants $(P,Q)$ of an analytic function in the neighborhood of $0$ can be expressed as a quotient of Hankel determinants built on the coefficients of the function $...
CommunityBot
- 1
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
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
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
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, ...
- 133
1
vote
0
answers
41
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
4
votes
1
answer
507
views
Degree four polynomials with no real roots
Consider a degree four polynomial
$$
f = a_4x^4 + a_3x^3 + a_2x^2 + a_1x+ a_0 \in \mathbb{R}[x]
$$
with real coefficients. The discriminant $\Delta_f$ of $f$ is a homogeneous polynomials of degree six ...
- 326
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 ...
- 1,724
2
votes
1
answer
277
views
Fast inverse of asymmetric diagonally dominant matrix with diagonal 1 and non-positive off-diagonals
I am interested in ways to obtain (even approximately) the inverse of an asymmetric diagonally dominant matrix with diagonal 1 and non-positive off-diagonals.
Formally, let $A$ be a $n\times n$ matrix ...
CommunityBot
- 1
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$...
- 16.2k
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} \...
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 \...
- 37.7k
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
1
vote
2
answers
231
views
A real root of a cubic equation for a stationary point
Let us consider the quartic polynomial in $x$
\begin{equation}
F(x) = (2 a p +2)x^4+ (6a(1-a)p^2+(6-12a)p-6)x^3
+ p(2(a-2)(a-1)a p^2 + 3(5a^2-9a+2)p +12a-18)x^2
- p^2 ((a-2)(4a^2 ...
- 371
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
602
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). ...
CommunityBot
- 1
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 ...
- 20.2k
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 ...
- 6,351
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
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 ...
- 5,031
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}...
- 3,741
38
votes
6
answers
11k
views
Is there a version of inclusion/exclusion for vector spaces?
I am asking for a way to compute the rank of the 'join' of a bunch of subspaces whose pairwise intersections might be non-zero. So in the case n=2 this is just $\dim(A_1+A_2) = \dim(A_1) + \dim(A_2) - ...
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
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 ...
- 10.1k
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,028
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
5
votes
1
answer
148
views
A general form of a maximal totally isotropic subspace in the split octonion algebra
$\DeclareMathOperator\Ker{Ker}$Let $\mathbb O'$ be the split octonion algebra over $\mathbb R$. For each nonzero divisor of zero $x\in \mathbb O'$ ($x \neq 0$, $N(x)=0$) the kernel of the left ...
- 12.9k
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 ...
- 12.9k
9
votes
3
answers
729
views
Math history research: a copy of "Zur relativen Wertbemessung der Turnierresultate" , eigenvector centrality by Edmund Landau
I'm searching for a copy of an old paper made by Edmund Landau:
Zur relativen Wertbemessung der Turnierresultate, Deutsches Wochenschach, 11. Jahrgang (1895), 366–369.
However, I can't find it ...
