All Questions
6,176 questions
3
votes
1
answer
68
views
What is the best known bound for the bilinear complexity of $4\times 4$ matrices product
Assume we work on the complex field $\mathbb{C}$. And we use $\langle p,q,r\rangle$ to denote the bilinear complexity of product of a $p\times q$ matrix and a $q\times r$. Recently I read a paper on ...
- 561
0
votes
0
answers
36
views
Telling if matrix is contractive from the spectrum of its Choi-Jamiołkowski isomorphism?
Suppose $T$ is a ${d^2}\times {d^2}$ completely positive matrix, and $M$ is ${d^2}\times {d^2}$ matrix obtained by taking Choi-Jamiołkowski isomorphism of $T$. Is it possible to tell if $T$ is ...
- 2,242
0
votes
1
answer
104
views
How far is the slice rank of a tensor from its CP rank
Assume we work on any infinite field and 3-ordered tensor. Clearly for any tensor $T$, we have $\operatorname{srk}(T)\le \operatorname{rk}(T)$. Here, $\operatorname{srk}(T)$ (resp. $\operatorname{rk}(...
2
votes
0
answers
83
views
Closed form solutions to polynomial operator equations
To the best of my knowledge the problem at hand is a generalisation of monic matrix polynomials. Can a closed form solution to the following equation be found,
$$u_3A_3X^3B_3 + u_2A_2X^2B_2 + ...
5
votes
1
answer
186
views
What is expected (border) rank of the knonecker product of 3-tensors
Given two three order tensors $T$ and $S$ in $F^{m\times n\times p}$ and $F^{a\times b\times c}$. Clearly $\operatorname{rk}(T\otimes S)\le \operatorname{rk}(T)\operatorname{rk}(S)$. Does the equality ...
- 561
1
vote
0
answers
152
views
Eigenvalues of an Infinite Matrix - No Diagonal Dominance
I was wondering if anyone could help me or point me to resources to find the eigenvalue of the following infinite matrix: $g_{ij}=\text{exp}\left(\frac{-i j}{2}\right)$.
Most resources I have found ...
- 6,696
1
vote
1
answer
1k
views
Spectral radius sum of two matrices
Let $W = S + cT$, where $|c| \le 1$ is a real constant and where $S$ and $T$ are square matrices containing real numbers from the interval $[0,1]$.
Assume moreover that the all eigenvalues $\lambda$ ...
- 1
1
vote
2
answers
360
views
Recurrence relation with two variables
I am stuck on a recurrence relation with two variables. I'm familiar with techniques to solve recurrence relations with one variable and looked into ways to solve recurrence relations with multiple ...
- 128k
21
votes
3
answers
1k
views
Which doubly stochastic matrices can be written as products of pairwise averaging matrices?
A matrix $A$ is called doubly stochastic if its entries are nonnegative, and if all of its rows and columns add up to $1$. A subset of doubly stochastic matrices is the set of pairwise averaging ...
- 1,446
15
votes
1
answer
2k
views
Necessary and sufficient conditions for a sum of idempotents to be idempotent
Given: a finite list of $n$-by-$n$ idempotent complex matrices $E_1, E_2, \ldots, E_k$.
If all pairwise products $E_i E_j$ (with $i \neq j$) are zero, it is trivial to show the sum $E_1 + E_2 + \cdots ...
2
votes
0
answers
112
views
Invariant factors and commuting matrices over a discrete valuation ring
$\DeclareMathOperator\Im{Im}\DeclareMathOperator\Ker{Ker}$Let $A$ be a discrete valuation ring with uniformizer $p$. Let $X, Y\in M_n(A)$ be square matrices such that $XY=YX$, and let $X^T$, $Y^T$ be ...
- 12.9k
5
votes
2
answers
551
views
Adjacency matrix of tournament
I met a question in Bondy and Murty’s Graph theory (§1.5.13)
The adjacency matrix of a digraph $D$ is the $n \times n$ matrix $\mathbf{A}_D = (a_{uv})$, where $a_{uv}$ is the number of arcs in $D$ ...
- 1,446
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 ...
- 13.4k
3
votes
0
answers
239
views
Metrizing pointwise convergence of *sequences* of functionals in a dual space
This question was asked by myself on the math stackexchange a few days ago. I thought I'd repeat it here:
Let $X$ be a normed, real vector space of uncountable dimension. Let $X^*$ denote the set of ...
3
votes
0
answers
70
views
Admissibility of Ulm's invariants
Let $G$ be a reduced abelian $p$-group. We set $G_0=G$. Let $\alpha$ be an ordinal. Inductively, if $\alpha=\beta+1$ is a successor ordinal, we define
$$G_{\alpha}=pG_{\beta}.$$
If $\alpha$ is a limit ...
- 63.9k
56
votes
21
answers
14k
views
Linear algebra proofs in combinatorics?
Simple linear algebra methods are a surprisingly powerful tool to prove combinatorial results. Some examples of combinatorial theorems with linear algebra proofs are the (weak) perfect graph theorem, ...
- 5,822
5
votes
1
answer
1k
views
Determinant of an updated Covariance matrix
I am faced with the following problem :
Originally (at time $0$) I have a number of data samples $x^0_{1,\ldots,n}$ (normalised : $E[x] = 0, \operatorname{Var}[x] = 1$) from which I have calculated ...
7
votes
2
answers
347
views
Matrices over $\mathbb{F}_p$ that have nonzero determinant under any element permutation
$\DeclareMathOperator\GL{GL}$A few months ago, the following discussion took place on AoPS, concerning matrices that have nonzero determinant under any permutation of their entries: https://...
- 54.2k
2
votes
1
answer
423
views
Simple proof for convexity of a real valued matrix function
I am looking for a simple and short proof showing that $X \to \|X X^\top\|_F^2$ is a convex function where $\|\cdot\|_F$ is the Frobenius norm. I have one proof by showing that the derivative is ...
- 7,633
36
votes
4
answers
2k
views
Determinant of the random matrix $X^2+Y^2$
$\DeclareMathOperator\Prob{Prob}$Let $X,Y\in M_n(\mathbb{R})$ be $2$ random matrices. The entries of $X,Y$ are i.i.d. variables. They follow the standard normal law $N(0,1)$.
i) When $n=2,3,4$, one ...
- 63.9k
6
votes
1
answer
427
views
When are the chirp signals orthogonal?
Assume that we have two bounded-time chirp signals,
\begin{align}
x(t)&=\exp\Big(j\pi(\alpha t^2+\beta t+\gamma)\Big),\quad 0\leq t\leq T,\\
y(t)&=\exp\Big(j\pi(\alpha' t^2+\beta' t+\gamma')\...
- 188k
2
votes
1
answer
131
views
Name for a sum of dyadic vector products
Question:
is there a name for the following operation
$$\sum_{i=1}^n\sum_{j=1}^mx_iy_j^T,\ x_i,y_j\in \mathbb{R}^k$$ i.e. for generating a square matrix that is the sum of the cartesian product of a ...
2
votes
1
answer
264
views
Continuous path of unitary matrices with prescribed first column?
Consider a continuous curve $u \colon [0,1] \to \mathbb{C}^n$ where $u(t)$ is always a unit vector, $u(t)^* u(t) = 1$.
Question 1: Does there exist a continuous curve $U \colon [0,1] \to \mathbb{C}^{n ...
- 12.9k
6
votes
2
answers
470
views
Alternating multilinear invariants of GL(n) on End (k^n)
Introduction. Let $k$ be a field of characteristic $0$, and let $n\in\mathbb N$. Let $V=k^n$. The group $\mathrm{GL}_n\left(k\right)=\mathrm{GL} V$ acts on $\mathrm{End} V$ by conjugation, and thus ...
- 1,446
2
votes
0
answers
55
views
Quadratic surjective map between spheres
The quadratic function $f:\mathbb R^4\to\mathbb R^3$
$$f(a,b,c,d)=\begin{bmatrix} 2(ac + bd)&2(ad - bc)&a^2 + b^2 - c^2 - d^2\end{bmatrix}$$
surjectively maps the sphere $S^3$ to the sphere $S^...
- 479
1
vote
1
answer
184
views
Average distance between points of lower dimensional simplices in $\mathbb R^n$
Notation: By a simplex, we mean the convex hull of a finite set of distinct points in $\mathbb R^n$, which are called the vertices of the simplex. $\mathcal H^n$ will denote the $n$-dimensional ...
- 128k
5
votes
0
answers
169
views
Is there a sharper Golden–Thompson inequality?
For any two Hermitian matrices $A$ and $B$, the Golden–Thompson inequality
$$\mathrm{Tr} (e^A e^B) \geq \mathrm{Tr} \, e^{A + B}$$
holds, and it is known to be a strict inequality whenever $[A, B] \...
- 51
3
votes
1
answer
332
views
Sparse representation for continuous function?
I recently came across the field of "Sparse representation".
A talk is given here : https://www.youtube.com/watch?v=2bW4TkfTk-M.
The goal of sparse representation is taking a signal and ...
- 12.7k
6
votes
1
answer
392
views
How to show that $\log 2(1/2\log 2\log 4 + 1/3\log 3\log 6 + \dotsb) + 1/2\log 2 - 1/3\log 3 + 1/4\log 4 - \dotsb = 1/\log 2$ [closed]
I've been studying Ramanujan's work and I stumbled upon this question in the book: Collected Papers of Srinivasa Ramanujan. In there I found question number 769 which is about an infinite sum with ...
- 63.9k
3
votes
1
answer
155
views
Does this matrix equation always have a solution?
Let $\{A_i, i\ge 3\}$ be the matrices whose columns represent numbers from $0$ to $2^i-1$ in binary form. For example,
$A_3 = \begin{bmatrix} 0 & 0 & 0 & 0 & 1 & 1 & 1 & 1 \...
- 6,351
5
votes
1
answer
304
views
Recover unknown vector through shifted argmax queries
$\DeclareMathOperator*{\argmax}{arg\,max}$
I am interested in finding an efficient algorithm for the following problem:
Let $x \in [0,1]^n$ be some vector, with $x_n = 1$.
We want to recover $x$, ...
- 10.4k
2
votes
1
answer
192
views
Does every real number $r\in [0,1]$ have a rational sequence $q_n\to r$ s.t. $q_n$ has (simplified) denominator $n$? [closed]
This seems pretty trivial but I can't seem to figure it out. I think it's obviously true, given an unconstrained convergent sequence we just have to add some filler elements, but I'm having trouble ...
- 3,319
1
vote
1
answer
142
views
Diagonalizability, orthogonal diagonalizability of higher order tensors and their being or not being dense in some suitable topology
For our discussion, we'll assume that we're working with $\mathbb{R}^m$ only, but much or all of the following discussion should be carried over immediately to any finite dimensional inner product ...
- 561
1
vote
0
answers
33
views
Eigendecomposition of hyper-complex multiplication
There is an isomorphism between quaternions and $4\times 4$ matrices:
$$
\phi: a+bi+cj+dk \longmapsto \begin{pmatrix}
a&b&c&d \\
-b&a&-d&c\\
-c&d&a&-b\\
-d&-c&...
- 1,171
3
votes
1
answer
233
views
On infinity-morphisms between algebras over algebraic operads
I posted this question in the "Mathematics" stack exchange, but it hasn't got much attention... I hope it will get more here.
Let $P$ be a Koszul operad.
In the book of Loday-Vallette "...
- 40.2k
2
votes
1
answer
129
views
Bounding the size of subspaces of $\mathbb{Z}^n$
For a subgroup $V$ of $\mathbb{Z}^n$, define $\Vert V \Vert$ to be the smallest $k$ such that $V$ is generated by its intersection with the closed $k$-ball around the origin in $\mathbb{R}^n$. Also, ...
- 16.6k
1
vote
1
answer
72
views
Is this notion of being "fully" convex closed under set addition?
While reading through "Linear Operators: General theory" by "Jacob T. Schwartz", reading the corollary to II.10.1 which states that for a compact convex subset $C$ of some ...
- 1,714
1
vote
1
answer
179
views
Definition and properties of tangent functional
I am reading Measures Which Agree on Balls by Hoffmann-Jørgensen and I am somewhat confused. Here, $E$ is a Banach space, $S$ is the unit sphere, and $x \in S$.
We let $\tau(x, \cdot)$ denote the ...
- 128k
1
vote
0
answers
329
views
The geometrical multiplicity of the nilpotent matrices
The following point is well-known in the literature.
Theorem. Let $A$ be a non-negative matrix in $M_n(\mathbb{R})$. If $A$ is nil-potent, there is a permutation matrix $P$ such that $P^tAP$ is ...
- 63.9k
7
votes
2
answers
4k
views
Number of Plücker relations for a Grassmannian
Is it true that the number of Plücker relations for a Grassmannian $Gr(k,n)$ is equal to the dimension $k(n-k)$ of said Grassmannian? So far, for $Gr(2,5)$, I get exactly five Plücker relations: $$p_{...
- 19.3k
0
votes
1
answer
270
views
Nature of $ \sum_{n \geq 1} \frac{ \cos(n) \sin(n+1) }{n} $ [closed]
I'm trying to determine the nature of this series $ \sum_{n \geq 1} \frac{ \cos(n) \sin(n+1) }{n} $, but I'm not getting anywhere. I've tried using the Abel and trigonometric formulas, but I can't ...
- 188k
0
votes
0
answers
78
views
Let $A, B$ be matrices with elements in $\mathbb{Z}_n$, does $\ker A = \ker B$ imply that they are row equivalent?
Let $A, B$ be matrices with elements in $\mathbb{Z}_n$. If $A x = 0$ and $B x = 0$ have the same set of solutions, where the vectors also have elements in $\mathbb{Z}_n$, does this mean that there is ...
- 219
1
vote
0
answers
72
views
Eigenvalues of a subset of matrix semigroup
My apologies for slightly longer post but I wanted to explain lower dimensional cases and their proofs before asking the actual question, which starts after the phrase The general case below.
A two-...
- 3,065
6
votes
2
answers
623
views
Can this system of equations about Newton's formula have concrete result?
Try to solve this system of equations:
$$
S_1=x_1+\dots+x_n=a;\\
S_2=x_1^2+\dots+x_n^2=a;\\
{}\cdots\\
S_n=x_1^n+\dots+x_n^n=a;
$$
And find the value of $S_{n+1}=x_1^{n+1}+\dots+x_n^{n+1},a\in\mathbb{...
- 3,741
4
votes
1
answer
211
views
Nonempty intersection of cosets of finite-index subgroups
$\DeclareMathOperator\lcm{lcm}$This question is crossposted from MSE.
Let $H_1,\dots,H_{n+2}$ be cosets of finite-index subgroups of $\mathbb{Z}^n$ and suppose for all $i=1,\dots,n+2$, $\bigcap_{j\neq ...
0
votes
0
answers
196
views
Generalized operator norm triangle inequality
Let $O_1, \cdots, O_n$ be Hermitian operators and $c_1, \cdots, c_n$ be complex numbers. If $\| \cdot \|$ denotes the operator norm, does the following inequality hold?
$$\| \sum_{i=1}^N c_i O_i \| \...
- 63.9k
2
votes
1
answer
159
views
Conic hull of a rectangle
I have a simple question that appeared in research: For a rectangle $S :=[a_1,b_1] \times[a_2,b_2] \times \dots \times [a_n,b_n] \subset \mathbb{R}^n$. Let $p_0 = (a_1,a_2,\dots,a_n)$, and define $p_i ...
- 128k
1
vote
0
answers
97
views
Non-vanishing principal minors up to swapping columns
An undergraduate student asked me the following seemingly easy question. After a few days of thinking, I still couldn't come up with an answer, nor could I find one online. Maybe folks here could help?...
- 403
1
vote
0
answers
61
views
Discrete-to-continuum convergence of principal Fokker-Planck eigenvalues
I am looking for a reference justifying the following statement.
Let $L^n$ be any "reasonably consistent" finite-difference approximation of the Fokker-Planck operator in dimension $d=1$
$$
...
- 5,380
1
vote
0
answers
82
views
Eigenvalues / vectors of $PQP$, where $P, Q$ are both orthogonal projections
Is there any good way to characterize the eigenvalues / eigenvectors of $PQP$, where $P, Q$ are both orthogonal projection matrices? There are trivial cases when the spaces onto which $P,Q$ project ...
- 111