All Questions
6,027 questions
0
votes
1
answer
88
views
Find efficiently greatest difference between $2$ vectors from set of vectors [closed]
Let us have a list of vectors in a $3$D space.
Is there a more efficient way to find the greatest difference between any two of them than combining each, computing the size of their difference, and ...
- 109
0
votes
0
answers
28
views
The selection of minimal generating sets in Lie algebra
Suppose $A$ is a Lie algebra on field $F_{p}$ with $[A,A,A]=0$. Denote $\{a_{1},\cdots,a_{d}\}$ is a minimal generating set of $A$.It's possible that $[a_{i},a_{j}]=0$ for some $1\leq i<j\leq d$ ...
- 171
2
votes
0
answers
200
views
Is there a geometric or calculus-based reason why the following system of equations should have only one solution?
Let $x_1,x_2,x_3,x_4>0$. Consider the following cyclic system of equations:
$$ 2 + x_2 + x_3 + x_4 + x_2 x_3 x_4 - 2 \left( \frac{x_2}{ \sqrt{x_1 x_2}} + \frac{x_3}{ \sqrt{x_1 x_3}} + \frac{x_4}{ \...
- 90
3
votes
1
answer
146
views
The rank of a certain linear combination of mutually commuting nilpotent matrices
Let $A_1,\ldots,A_r$ be mutually commuting $n\times n$ nilpotent matrices over $\mathbb C$, the field of complex numbers. For any complex number $c$, let $A(c):=A_0+cA_1+c^2A_2+\ldots +c^rA_r$. We ...
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
1
vote
1
answer
345
views
Solvability of $A X B=C$ with $X=X^\mathrm{T}$
I am studying symmetric solutions to the complex matrix equation
\begin{equation}
A X B=C,
\end{equation}
where $A$, $B$, and $C$ are $m\times n$, $n \times k$, and $m \times k$ complex matrices, ...
- 61
0
votes
0
answers
111
views
Totally isotropic space for bilinear pairing over ring
A duplicate of this:
Consider the following well-known inequality: Let $b$
be a non-degenerate symmetric bilinear pairing over a (finite-dimensional) $\mathbb F$-vector space $V$ and $W$
a totally ...
- 223
4
votes
0
answers
140
views
Does an instance of this generalisation of the determinant exist?
Let $n$ be composite, $d$ a divisor greater than $1$ and $m=n/d$. Does anybody know if there is a general mapping $T$ from $n×n$ matrices to $m×m$ matrices that preserves the determinant? Over a field ...
- 1,245
1
vote
0
answers
255
views
Interpreting positive semidefinite matrix as a graph
Given any symmetric matrix $S \in \mathbb{R}^{n \times n}$, if $S \succeq 0$, is there a way to encode $S$ into a graph such that it takes into account the positive semidefinite constraint, and ...
- 275
3
votes
1
answer
317
views
"Totally real" linear transformations
Identify $\mathbb{C}^n$ with $\mathbb{R}^{2n}$ via the equality $$(z_1, z_2, \ldots, z_n)=(x_1, \ldots, x_n, y_1, \ldots , y_n)$$
Where $z_j=x_j + iy_j$.
We call a linear invertible map $A: \mathbb{R}^...
user515519
1
vote
0
answers
72
views
A criterion for divisors of degree $n$ on the projective line to belong to a linear system of codimension 1
My question is essentially about linear dependence/independence of polynomials, but I will formulate it in the language of algebraic geometry, hoping someone may suggest a result in algebraic geometry ...
- 5,215
0
votes
0
answers
310
views
Simultaneous triangulation and Jordan normal form of commuting nilpotent matrices
Let $A_1,\ldots,A_r$ be $n\times n$ nilpotent matrices over $\mathbb C$, the field of complex numbers, satisfying $A_i\cdot A_j=A_j\cdot A_i$ for all $i,j$. As the matrices commute, they admit ...
3
votes
1
answer
132
views
Existence of a density
Let $W: \mathbb R^d \to \mathbb R^{d \times d}$ be a matrix-valued function with domain $\mathbb R^d$ and taking values in the set of $d \times d$ real matrices, such that $W(x)$ is positive-definite ...
- 301
2
votes
1
answer
213
views
Is matrix B obtained from matrix A?
Assuming a matrix $\mathbf{A} \in \mathbb{R}^{4096 \times 4096}$ sampled from a standard normal distribution $N(0, 1)$, and another matrix $\mathbf{B} \in \mathbb{R}^{4096 \times 4096}$ either sampled ...
- 49
1
vote
1
answer
234
views
Zeroes of elementary polynomials without involving closed-form solutions
Consider the following two polynomials, where $n$ is an integer:
$$
p_n(x) = x^3-\frac1nx-\frac2n, \\
q_n(x) = x^2-\frac2n.
$$
For any $n$, let $x_p=x_p(n)$ and $x_q=x_q(n)$ be the unique positive ...
- 21
0
votes
0
answers
163
views
Generalization of polynomial coefficients
I'm dealing with a hard combinatorial problem where for every positive integer value of a variable $n$ I have to calculate a list of numbers, specifically $n^2$, that depend on $n$ and its list index ...
- 47
1
vote
0
answers
47
views
Characterization of Gaussian Gram matrices
From Euclidean geometry we know that a matrix $C$ is a matrix of squared Euclidean distances between some points if and only if $-\frac{1}{2} H D H \succeq 0$ (positive semi-definite) with $H = (I - \...
- 407
0
votes
1
answer
142
views
Matrix-order derivatives (differentiating a function a matrix number of times)
I have been exploring methods of generalizing the order of derivatives to a broader range of inputs (such as real numbers, complex, and now matrices). We are very well familiar with integer-order ...
1
vote
0
answers
86
views
Functional inequality with complex variables
I am interested in considering a function $C(\tau)$ of the complex variable $\tau = t + i\eta$ such that
$C(\tau)$ is analytic for $\Re(\tau)=t>t_0\ge0$
$\exists$ a constant $C_0$ and a function $...
- 33
0
votes
0
answers
88
views
Separating orthogonal vectors in $\mathbb{C}^2$
Is it possible to partition $\mathbb{C}^2$ into two sets $S$ and $S'$ such that, given any two nonzero orthogonal vectors $\mathbf{v}$ and $\mathbf{w}$ of $\mathbb{C}^2$, one of them lies in $S$ and ...
- 679
5
votes
1
answer
103
views
Interpolation between two matrices so that $L^p$ norm is controlled
Assume to have two square matrices $A$ and $B$ acting on $\mathbb{R}^n$ such that all their entries are in the interval $[0,1]$ and such that $||Ax||_1 = ||x||_1$ and $||Bx||_\infty \leq ||x||_\infty$....
- 697
0
votes
1
answer
525
views
What is the mathematician's definition of the determinant? [closed]
I am trying really hard to find a good definition of the determinant.
I have looked virtually every single resource online and everybody gives a different answer:
sum of cofactors or minors https://...
- 179
4
votes
0
answers
97
views
The spectra of Hodge-Laplace operators
If we have a sequence of linear maps and finite dimensional inner product spaces $$X\xrightarrow{f} Y\xrightarrow{g}Z$$ such that $g\circ f=0$, then we can consider the Hodge-Laplace operator $$\Delta:...
- 47.3k
0
votes
0
answers
180
views
Proof that the zeroes of certain polynomials are increasing with respect to degree
Choose $k+1$ positive integers $d_j\in\{0,1,2,3,\ldots\}$ and let $d=(d_1,\ldots,d_k)$.
Consider the following polynomial equation over the positive reals:
$$
\sum_{j=1}^{k}\frac1{x^{d_j}} = x^{d_{k+1}...
- 21
0
votes
0
answers
19
views
Efficient Solution for tridiagonal solving with repeated coefficient lines
I working to speedup calls to LAPACK dgtsv for a specific case, where the the coefficients lines have 2 blocks of repeated coefficients and 3 distinct lines (first, "border" and last)
First ...
0
votes
0
answers
29
views
How to synthetize a controller $\dot{u} = F x + G u$ which stabilizes $\dot{x} = Ax + Bu$?
$\textbf{Introduction}$: I study linear control theory. Among strategies, we begin with vector field $Ax + Bu$, $A \in M_{n^2}(\mathbb{R})$, $B \in M_{n \times m}(\mathbb{R})$, and synthesize a ...
- 131
1
vote
1
answer
71
views
Can non-periodic discrete auto-correlation be inversed?
I'm trying to understand whether discrete auto-correlation can be reversed.
That is, we are given $t_0, \dots, t_n \in \mathbb C$ and a set of equations
$$
t_{k} = \sum\limits_{i=0}^{n-k} b_i b_{i+k},
...
- 1,171
7
votes
1
answer
307
views
Efficiently solve the Sylvester equation $AX+XA = C$ where $X$ is skew-symmetric
Is there a way (more efficient than the standard vectorization) to solve the following Sylvester equation in the skew-symmetric matrix $X$ $$AX+XA = C$$ where the matrix $A$ is symmetric positive ...
- 173
4
votes
0
answers
1k
views
Number of arrangements that contain at least 1 path from top to bottom of 2D matrix
I have a $n\times n$ matrix of objects. $n'$ objects are black, and the rest $n^2-n'$ are white.
With that information, I can easily calculate the total number of black element arrangements that exist ...
- 47
4
votes
0
answers
262
views
Two questions about three circulant matrices
Consider the following matrix equation in $n \times n$ circulant $\pm 1$ matrices $A$, $B$, $C$
$$2AA^T+BB^T+CC^T=(4n+4)I-4J$$
where $I$ is the $n \times n$ identity matrix and $J$ is the $n×n$ matrix ...
- 696
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
1
vote
0
answers
43
views
Intersection of unit-norm vectors with a large sum in high dimensions with a spherical cap
Let $d$ and $n$ be integers. For $i \in \lbrace 1,\dots,n \rbrace$ let $x_i \in \mathbb{R}^d$ be a vector such that $\lVert x \rVert=1 $. For a fixed $1/2 < \alpha \leq 1$, assume we have $\lVert \...
- 139
6
votes
0
answers
188
views
Expressing an invertible sparse matrix as a product of few elementary matrices
Let $M$ be an $n \times n$ matrix with integer entries. Suppose that $M$ is invertible (over the integers) and that $M$ has at most $An$ nonzero entries, each of which is less than $B$ in absolute ...
- 18.7k
7
votes
1
answer
894
views
Logical strength of a statement about vector spaces
[Apologies if this is a really trivial question, I know virtually nothing about set theory, and the following came up while preparing undergraduate linear algebra lectures.]
I'm asking about the ...
- 37k
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 ...
- 151
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
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 + ...
1
vote
0
answers
153
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 ...
- 11
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 ...
- 151
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}(...
- 151
2
votes
0
answers
119
views
Seeking insights on bounded set positive solutions for a set of linear systems in $\mathbb{R}^n$
Before delving into my query, I'd like to provide some context. Consider a continuous function $f:\mathbb{R}^{k}\rightarrow\mathbb{R}^{m}$ and a compact set $\mathcal{B}\subset \mathbb{R}^{k}$ (...
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 ...
- 43
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 ...
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 ...
- 31
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
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
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 ...
- 407
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')\...
- 287
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 ...
- 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