All Questions
6,260 questions
2
votes
1
answer
266
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 ...
- 637
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
7
votes
2
answers
349
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://...
- 541
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
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 ...
- 6,323
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 ...
- 115
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 \...
- 235
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 ...
- 1,467
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
236
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 "...
- 215
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, ...
- 23
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
- 461
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$, ...
- 167
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-...
- 111
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 ...
- 204
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 ...
- 10.6k
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 \| \...
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
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{...
- 75
1
vote
0
answers
65
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,390
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
- 9,501
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 ...
- 275
1
vote
1
answer
180
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 ...
- 297
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
1
vote
1
answer
100
views
Existence of a symmetric matrix satisfying certain irreducible conditions
Let $K$ be a field such that $ \mathrm{char}(K) \neq 2 $. Let $ p(x) $ be an arbitrary irreducible polynomial over $K$ of degree $n$. Using the rational canonical form, we can always construct an $ n ...
- 923
2
votes
2
answers
235
views
Theoretical/Practical Implications of DFT Eigenvectors
Discrete Fourier transform (DFT) has only four distinct eigenvalues: $±1$ and $±i$. For large matrices , each eigenvalue $λ$ yields a multidimensional eigenspace, allowing linear combinations of ...
- 4,058
5
votes
0
answers
185
views
What is the fastest algorithm for multiplying one given number with many others?
When multiplying two numbers with each other, which are $n$-bit numbers, there are several algorithms like the one of Karatsuba ($O(n^{\log_2 3})$) and a new one doing it even better (Harvey - Van der ...
- 749
1
vote
0
answers
113
views
Perron-Frobenius theorem to positive delay differential equations
The Perron-Frobenius theorem is that the largest eigenvalue (in modulus) of a non-negative matrix is real (and simple) and corresponds to a non-negative eigenvector. It is applicable to the positive ...
- 73
3
votes
0
answers
50
views
Stability of indefinitely damped mechanical system with diagonal stiffness
I'm trying to find conditions for the asymptotic stability of the following linear system,
\begin{equation}
\mathbf{I \ddot{x}} + \mathbf{B \dot{x}} + \mathbf{K x} = 0
\end{equation}
given the ...
0
votes
1
answer
134
views
Existence of cyclic subspace decompositions for pairs of commuting matrices
Let $\mathbb{K}$ be an arbitrary field (possibly finite). Let $V$ be a finite-dimensional vector space over $\mathbb{K}$, and let $A,B$ be two linear endomorphisms of $V$ which commute.
For $v\in V$, ...
- 23.1k
1
vote
0
answers
125
views
Transforming nilpotency into diagonalizability [closed]
We designate the $k$-th standard vector as $e_k$ in $\mathbb{C}^n$.
We consider the backward shift operator, denoted as $T: \mathbb{C}^n \to \mathbb{C}^n$, which is defined as follows:
$Te_1=0$ and $...
- 4,058
6
votes
1
answer
1k
views
Full expansion of $\det(I+\varepsilon A)$
It is well known that given a $n \times n$ matrix $A$, it holds that
$$ \det(I + \varepsilon A)= 1 + \varepsilon \operatorname{tr}(A) + O(\varepsilon ^2).$$
I would need a full representation of $ \...
- 749
1
vote
1
answer
138
views
Orthogonal vectors translation using standard vectors
When $n=2m$, let us consider the following vectors $\mathbf{v}_1,\ldots, \mathbf{v}_n$ in $\mathbb{R}^n$
$$\mathbf{v}_q=(v_{1q},\ldots,v_{n,q})$$
$$v_{p,q}=\sin\Big(\frac{pq}{n+1}\pi\Big)$$
It is ...
- 4,058
2
votes
0
answers
81
views
Degeneracy and the "Linear Degeneracy Testing" problem
The Affine Degeneracy problem is about deciding whether $n$ given points in $\mathbb{R}^d$ (or $\mathbb{Q}^d$) are "in general position". i.e. there is no $d+1$ tuple of points which lies in ...
- 153
2
votes
1
answer
226
views
Inductive Cholesky decomposition to prove that a function is positive definite over the natural numbers?
I am trying to prove that the function:
$$k(a,b):=\frac{1}{\operatorname{rad}\left ( \frac{ab}{\gcd(a,b)^2} \right )}$$
is a positive definite function over the natural numbers. What has sometimes ...
- 3,144
1
vote
1
answer
118
views
A sine type Chebyshev system
A sequence of real functions $\{\phi_1,\cdots,\phi_n\}$ is called a Chebyshev system on an interval $I\subseteq\mathbb{R}$, if any real linear combination $\sum_{l=1}^n a_l\phi_l$ has at most $n-1$ ...
- 4,058
3
votes
1
answer
117
views
Show that every stable matrix is similar to a contraction [closed]
Suppose that the square matrix $A$ is stable, i.e., $\rho(A) < 1$. Show that $A$ is similar to a contraction, i.e., show that there exists an invertible matrix $M$ and a matrix $\theta$ such that $...
- 31
2
votes
1
answer
135
views
Compact objects in persistence modules and interval decomposition
$\newcommand\Mod{\mathrm{Mod}}\DeclareMathOperator\Fun{Fun}$If $k$ is a field, a persistent $k$-module is a functor $\mathbb{R}\to \Mod_k$ where $\mathbb{R}$ is a poset under the natural ordering of $\...
- 213
1
vote
0
answers
72
views
Maximum trace of powers of symmetric $\{0,1\}$-valued matrix with fixed row and column sums
Maximize $\operatorname{tr}(A^k)$ over binary symmetric $n$ by $n$ matrices subject to $$a_{ii}=0, \sum_{j=1}^n a_{ij}=d, \sum_{i=1}^na_{ij}=d,$$
where $d,k$ are fixed positive integers.
I am having ...
- 11
3
votes
1
answer
274
views
Inflection point calculation for cubic Bézier curve encounters division by zero
I've been working on finding the inflection points of a cubic Bezier curve using the method described in a paper Hain, Venkat, Racherla, and Langan - Fast, Precise Flattening of Cubic Bézier Segment ...
- 133
1
vote
1
answer
271
views
Solve permutation matrix equations of the form: $X^T A X = B_1$ and $X A X^T = B_2$
I have a hard time solving the following two matrix equations for unknown permutation matrix $X \in \mathbb{R}^{n \times n}$:
$$X^T A X = B_1$$
$$X A X^T = B_2$$
where, $A$, $B_1$ and $B_2$ are all $n ...
- 11
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 ...
- 3,741
1
vote
0
answers
54
views
Controlling quantity related to Laplacian pseudo-inverse of Erdős–Rényi graph
Consider an $n$-node undirected graph $G = (V, E)$ equipped with weights $W$. Let $L$ be the weighted graph Laplacian matrix, i.e. $L_{ij} = -W_{(i,j)}$ for $(i,j)\in E$ and $L_{ii} = \sum_{j:(i,j)\in ...
- 11
3
votes
1
answer
210
views
Exponential growth of shortest vector norm for successive lattices corresponding to powers of a matrix
Let $A\in M_{2\times 2}(\mathbb{Z}) $ be a two by two integer matrix such that $0,\pm 1$ are not eigenvalues of $A$ and $\left|\det(A)\right|>1$. I am interested in the growth of the norm shortest ...
1
vote
0
answers
36
views
Weighted least squares with matrices as unknowns
Let $M \in \mathbb{R}^{m \times n}$. Let $S \in \mathbb{R}^{m \times N_t}, U \in \mathbb{R}^{n \times N_t}$, with $ N_t \gg m,n$.
Moreover, $\epsilon = S - M U$, with $\epsilon$ zero mean white noise ...
- 123
2
votes
1
answer
198
views
Eigenvectors and eigenvalues of a symmetric matrix and its entry-wise absolute value
The modulus of matrices is meant componentwise in the following.
Let $H$ be a sqaure matrix that satisfies the following assumptions:
$H$ is real-valued, symmetric, and positive-definite..
$H$ is ...
0
votes
1
answer
152
views
Name for a monoid on the basis of a vector space?
Is there a name for the structure of a vector space with a monoid defined on its basis?
Given a vector space V over a field F, we can choose a basis and define a monoid on it. Now we can use each ...
- 481
2
votes
1
answer
40
views
Questions on the "generalized" min. singular value of $A$ given $B$: $\min_{L \in \mathbb{R}^{n \times m}} \{\|BL\|_F: \det(A + BL) = 0\}$
Let $A \in \mathbb{R}^{n \times n}$ be a matrix. Recall $\sigma_{\min}(A)$ is the Frobenius distance between $A$ and the set of singular matrices: $$\sigma_\min(A) = \min_{E \in \mathbb{R}^{n \times n}...
- 518
0
votes
1
answer
143
views
From superoperator of unitary to the unitary itself
I have a question about super operators. Let's say I have the super operator of some unitary matrix $u$ called $SU$ where $SU = u^\ast\otimes u$ (here $u^\ast$ is the complex conjugate of $u$). If I ...
