All Questions
6,028 questions
5
votes
3
answers
560
views
An inequality in an Euclidean space
For $n\geq 1$, endow $\mathbb{R}^n$ with the usual scalar product. Let $u=(1,1,\dots,1)\in\mathbb{R}^n$, $v\in {]0,+\infty[^n}$ and denote by $p_{u^\perp}$ and $p_{v^\perp}$ the orthographic ...
- 449
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
0
answers
30
views
Analytic / algebraic characterization of the limiting value of the unique nonnegative root of a polynomial
I'm interested in the following problem which arises from some "random matrix theory" calculations. Let $\phi,s_1,s_2, p > 0$ with $p \in [0,1]$, and set $p_1=p$, $p_2=1-p$, and $q_k := ...
- 6,853
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
13
votes
1
answer
580
views
Identifying two definitions of orientation on a vector space
Let $V$ be an $n$-dimensional real vector space. Here are two definitions of an orientation on $V$:
A generator of the $1$-dimensional vector space $\wedge^n V$, up to multiplication by positive ...
- 133
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$-...
4
votes
1
answer
314
views
Some but not all eigenvectors mutually orthogonal
Suppose an $n\times n$ matrix has real entries and has $n$ real eigenvalues and its eigenvectors span $\mathbb R^n.$ Are there any interesting conditions under which $k$ of its eigenvectors are ...
3
votes
1
answer
286
views
Unitary transformations of Vandermonde matrices forms a smooth manifold?
The space of all Vandermonde matrices $V$ with $r$ variables and degree $n$ (as below) forms an embedded submanifold of $\mathbb{R}^{(n+1) \times r}$ when $x_{i} \in \mathbb{R}$. It is naturally a ...
- 275
2
votes
1
answer
239
views
Geometric interpretation of trace of a linear operator
This question is really an addendum to Geometric interpretation of trace
There is a nice account of the trace in Chris Doran's thesis here: http://geometry.mrao.cam.ac.uk/wp-content/uploads/2015/02/...
- 21
3
votes
2
answers
453
views
Guess the next polynoms in the sequence (MO vs. AI :), count anticommuting $F_p$-matrices, P. Hrubeš conjecture
Here is a sequence of polynoms - (presumably) counting N-tuples of ANTI-commuting 2x2 matrices over $F_p, p>2$. (That is just the case of 2x2 matrices, and (surprisingly) it is not so easy to see a ...
- 24.9k
3
votes
1
answer
193
views
Differentiability along hyperplanes
Definition. Let us say that a function $f\colon \mathbb R^d\to \mathbb R$ is differentiable along hyperplanes in the point $0\in \mathbb R^d$, if $f\circ \varphi\colon \mathbb R^{d-1}\to \mathbb R$ is ...
- 779
5
votes
0
answers
583
views
Dimension inequality for subspaces in field extensions
Let $K\subset L$ be a field extension and $A, B\subset L$ be $K$-subspaces of $L$ of finite positive dimensions. Assume further that for every $a, b \in L$ and every nontrivial proper finite ...
- 429
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
9
votes
3
answers
350
views
$G$-module structure of the relation module for a presentation of a finite group $G$
Let $F_n$ be a free group of rank $n\ge 2$, and $F_n\rightarrow G$ a surjection with $G$ finite. Let $R$ be the kernel. From this, we get an action of $G$ on the abelianization $R/R'$ (a free abelian ...
- 7,527
9
votes
3
answers
861
views
A curious equation on determinant----linear algebra or algebraic geometry?
I recently find a curious and unexplainable(as seems to me) equation on determinant as follows.
$$3\begin{vmatrix}
a_1 & b_1 & c_1 & d_1 \\
a_2 & b_2 & c_2 & d_2 \\
...
- 357
2
votes
1
answer
215
views
Forming real positive semidefinite matrices from complex matrices
I have asked this question on the Mathematics Stack Exchange: https://math.stackexchange.com/questions/4924554/forming-real-symmetric-positive-semidefinite-matrices-from-complex-matrices.
Let $Q \in \...
- 31
4
votes
1
answer
342
views
rank of an integer valued matrix
I make some numerical experiments, involving rank of integer valued matrices of the size about $14\times 24$. As the matrix is integer valued, theoretically there should be no room for errors. However ...
- 728
3
votes
0
answers
212
views
Differentiability along hyperplanes for rational functions
This is a follow up to my previous question.
Let $f\colon \mathbb R^3\to \mathbb R$ be a continuous function that is rational and differentiable along all planes through $0$, that is, we assume:
...
- 779
3
votes
2
answers
251
views
Minimum-norm solution of $A = X B + B^T X^T$
Let $A, B, X$ be invertible square matrices, and let $A$ additionally be symmetric. I'd like to solve the following minimization problem:
$$\text{argmin}_X |\!| X |\!|_F \ \ \ \ \text{s.t.} \ \ \ \ A =...
- 453
3
votes
1
answer
102
views
Literature containing basic knowledge of homogeneous functions
Let $D$ be a nonempty open subset of $\mathbb{R}\times\mathbb{R}$ and $f:D\to\mathbb{R}$ be a function of two variables. For all $(x,y)\in D$ and $t>0$ such that $(tx,ty)\in D$, if the equality $f(...
- 1,101
0
votes
0
answers
15
views
Change in two spectral deviations due to edge deletion in a signed graph
Prove (or disprove) the following. Let $\Sigma=(G,\sigma)$ be a given signed graph. If $\lambda_1\ge\lambda_2\ge\cdots\ge \lambda_n$ and $\mu_1\ge\mu_2\ge\cdots \ge \mu_n$ are the eigenvalues of the ...
- 61
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
5
votes
1
answer
349
views
Commutator subgroup of $\mathrm{GL}_n(R)$ when $R$ is a PID with unity
Hua and Reiner in their paper titled "Automorphisms of the unimodular group" have established what will be the commutator subgroup of $\mathrm{GL}_n(\mathbb{Z})$, $\forall n\geq 0$. I have ...
- 51
5
votes
2
answers
420
views
Maximum determinant of binary matrices with special properties
Let $A$ be an $n$-by-$n$ binary matrix (all elements are in $\{0,1\}$). It is known that the determinant of $A$ is bounded by $O(n^{n/2} / 2^n)$. I am looking for tighter upper bounds for matrices ...
- 3,549
4
votes
1
answer
101
views
Extension of scalars for bounded chain complexes of $kG$-modules
I'm wondering if a generalization regarding a statement from Curtis-Reiner holds. The original statement is as follows:
(30.33) Theorem: Let $R$ and $S$ be complete discrete valuation rings, with $S$ ...
- 175
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
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
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,\...
- 227
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
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
0
answers
160
views
An "almost" true inequality for Hermitian matrices
Let $A$ be an $N\times N$ Hermitian matrix. For $p+q$ even, consider the following inequality:
$$\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} (A^q)_{ii} \geq \Big(\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} \Big) \Big(\...
- 593
3
votes
0
answers
138
views
What is the probability that the absolute value of the root of a polynomial is greater than $x$?
Note: This question was unanswered in MSE for a month so posting it in MO.
Let $f(x) = 0$ be an equation of degree $n$. WLOG we can assume that the its coefficients are in $(-1,1)$. This is because we ...
- 5,470
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
3
votes
3
answers
421
views
Maximal set of $n$-bit strings that does not span $\mathbb{R}^n$
I am trying to find out the maximum-sized subset $S\subseteq \{0,1\}^n$ of $n$-bit strings that does not span $\mathbb{R}^n$.
It is easy to show that $S$ has size at least $2^{n-1}$ when $S$ exactly ...
- 45
6
votes
2
answers
647
views
Is there a name for matrices of the form $a_{ij}=\frac{1}{a_{ji}}$?
I have a matrix that is “kind of symmetric.” Specifically, it is an $n \times n$ real matrix such that the entries $a_{ij}=1/a_{ji}$ whenever $j \ne i$. I want to investigate the properties of this ...
- 79
5
votes
1
answer
196
views
What is the "natural" or "physical" norm on the Hessian matrix (and other higher derivatives)?
Let $u : \mathbb R^n \rightarrow \mathbb R$ and let $H : \mathbb R^n \rightarrow \mathbb R^{n \times n}$ be its Hessian matrix. What is the "natural" choice of pointwise norm on the Hessian ...
- 641
8
votes
1
answer
882
views
Is there a conceptual reason why every square complex matrix is similar to a complex-symmetric matrix?
The question is maybe a bit vague, but like the title says: Every square complex-matrix $M$ is equal to $P S P^{-1}$ where $S = S^T$. The proof begins by taking the Jordan Normal Form of $M$, and then ...
- 4,943
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^...
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
0
votes
1
answer
131
views
Function of eigenvalues of Laplacian matrix
Let $G$ be a simple $n$-vertex graph and let $\mu_n\geq\mu_{n-1}\geq\dots\geq\mu_1$ be the eigenvalues of its Laplacian matrix, how can I find a function $$f(\mu_1,\mu_2,\dots\mu_n) \text{ such that } ...
- 53
1
vote
1
answer
114
views
Sum of squares of $k\times k$ cofactors is $1$ for an orthonormal matrix [closed]
Let $n,k\in \mathbb N$ with $k\leq n$. Let $A$ be an $n\times n$ real orthonormal matrix. Fix any $k$ rows of $A$ and from there consider every possible $k\times k$ cofactors and there will be exactly ...
- 49
6
votes
1
answer
244
views
Linear independence over field of rational functions
To prove that functions $f_1(x), \dots, f_n(x)$ with $x \in \mathbb R$ are linearly independent, we only need to show that the Wronskian of these functions is non-zero at a certain value of $x$. Now ...
- 1,608
2
votes
1
answer
345
views
What's the explicit value of this determinant
Let $n\ge2$ be a positive integer, and let $b_1,\cdots,b_n, c_1,\cdots, c_n$ be variables.
Recently, I met the following determinant:
$$\det A=\left|\begin{array}{cccc}
1 & b_1+c_1 & b_1^2+c_1^...
- 87
6
votes
0
answers
130
views
Bent vectors and $\pm 1$ eigenvectors with respect to non-Sylvester Hadamard matrices
A Hadamard matrix is an $n\times n$-matrix $H$ where each entry in $H$ is $\pm 1$ and where $H/\sqrt{n}$ is orthogonal. It is well-known that if $H$ is an $n\times n$-Hadamard matrix, then $n<3$ or ...
0
votes
0
answers
109
views
Linear independence in $\mathbb{Z}_q^n$
Consider $\mathbb{Z}_q \equiv \mathbb{Z}/q\mathbb{Z}$, where $q \geqslant 2$. A set of vectors in $\mathbb{Z}_q^n$ is said to be linearly independent if no nontrivial linear combination of them ...
- 503
2
votes
1
answer
188
views
Maximum of $\sum_{n=1}^N z^T X(P_n X + I)^{-1}z$ over unit trace, positive semidefinite matrices?
Let $z$ denote a unit vector.
Fix a finite collection of positive semidefinite matrices $\mathcal{P}$.
Define the function and set
$$
f_{\mathcal{P}}(X) = \sum_{P \in \mathcal{P}} z^T X(PX + I)^{-1} z,...
- 420
37
votes
17
answers
13k
views
Listing applications of the SVD
The SVD (singular value decomposition) is taught in many linear algebra courses. It's taken for granted that it's important. I have helped teach a linear algebra course before, and I feel like I need ...
15
votes
2
answers
1k
views
Positive quadratic polynomial
Let $S$ be solutions of a system of quadratic polynomials on $\mathbb{R}^n$.
Suppose $q$ is another quadratic polynomial such that $q|_S\geqslant 0$.
Is it possible to find a polynomial $\tilde q$ ...
- 45k
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
128
votes
13
answers
27k
views
Should the formula for the inverse of a 2x2 matrix be obvious?
As every MO user knows, and can easily prove, the inverse of the matrix $\begin{pmatrix} a & b \\\ c & d \end{pmatrix}$ is $\dfrac{1}{ad - bc} \begin{pmatrix} d & -b \\ -c & a \end{...
- 7,347