All Questions
6,027 questions
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
0
votes
0
answers
87
views
Relation between nullspace and row-equivalence of matrices over $\mathbb{Z}$ and $\frac{\mathbb{Z}}{n \mathbb{Z}}$?
Two matrices $D$ and $E$ over a field have the same nullspace if only if they are row-equivalent. Is the same true if those matrices are over the ring of integers ($\mathbb{Z}$) or integers mod a ...
- 219
0
votes
0
answers
75
views
Orbits/affine spaces in GAP
Another GAP-related question.
I need to compute the orbits of a lot (probably, hundreds of thousands) groups acting on $\mathbb{F}_2$-vectors spaces of dimension 23 or 22. The groups range from (...
- 4,959
0
votes
0
answers
43
views
Inertia indices in GAP
Not sure that this is the right place, but I could not find a GAP specific forum.
Does anyone know if there is a built-in function in GAP to find the inertia indices of a symmetric matrix, say, over ...
- 4,959
2
votes
1
answer
94
views
Testing for equal characteristic polynomials using a single determinant calculation
Let $A_1,A_2$ be $n\times n$ symmetric matrices over $\{0,1\}$, and let $p_1, p_2$ be their respective characteristic polynomials over the rationals.
If $p_1 \ne p_2$, then there is some positive ...
- 37.7k
0
votes
0
answers
121
views
Representation of anti-commuting matrices in $\mathbb{C}^{2}$
This is a cross posting updated question from MSE. I have not got any answers there yet and I really want to understand this problem.
The basic question is the following. Let $V$ be a finite-...
- 1,305
1
vote
1
answer
48
views
Iteration matrix representation with complex conjugate operator
I am studying the convergence of a particular class of radial power flows, whose goal is to obtain the voltage solution for a given electric grid, i.e., a complex vector $\mathbf{V}$ that gives the ...
0
votes
1
answer
103
views
Convex sets via fixed point equations
I have an equation of the general form
$$ X = S \cup T X $$
where $S \subset \mathbb R^n$ is a convex polytope (given by its bounding hyperplanes), $T\colon \mathbb R^n \to \mathbb R^n$ is a linear ...
- 887
3
votes
2
answers
392
views
Monotonicity of matrix conjugation
Let $A$ and $B$ be positive-definite matrices such that $A \le B.$
By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$
I am now curious under ...
0
votes
1
answer
170
views
Isn't every algebraic operad equipped with a trivial weight?
In Loday–Vallette "Algebraic Operads" they state the following result (Theorem 6.6.2, Operadic twisting morphism fundamental theorem):
Let $P$ be a connected weight graded differential ...
- 215
3
votes
1
answer
547
views
Why is this polynomial factorizable? [closed]
I met a curious problem on factorizing a homogenerous polynomial of degree 9.
Problem: Show that the following polynomial can be divided by $(a_1+a_2+a_3)$:
\begin{align}
&\quad\left|
\begin{array}...
- 357
3
votes
0
answers
58
views
About a circular variant of Vandermonde matrix
Given an arbitrary $(x_1, \dots, x_n) \in [0, 1]^n$, is there any name/known results for the following $n \times n$ matrix (which is constructed by iterating $(x_1 \to \dots \to x_n \to x_1 \to \dots)$...
- 33
1
vote
2
answers
152
views
Property for bounding matrix exponential
Wikipedia states in the exponential map section about the exponential of a matrix that for any matrices $X$, $Y$ it holds that $\|e^{X+Y}-e^{X}\| \leq \|Y\|e^{\|X\|} e^{\|Y\|}$ where $\|\cdot\|$ ...
- 21
11
votes
2
answers
550
views
Let $a_1, \dots, a_n$ be a finite set of positive reals. Is there a $\mathbb Q$-basis of $\mathbb R$ where each $a_i$ has nonnegative coordinates?
Let $a_1, \dots, a_n$ be a finite set of positive reals. Is there a $\mathbb Q$-basis of $\mathbb R$ where each $a_i$ has nonnegative coordinates?
Playing around with the case $n = 2$, I’m pretty sure ...
- 63.9k
0
votes
1
answer
222
views
Low rank matrix in a subspace of matrices
Let $V\subset M_{m,n}(\mathbb{C})$ be a $n$-dimensional subspace ($m\geq 2$).
Is there $X\in V$ such that $1\leq \operatorname{rank} X\leq m-1$?
- 13
1
vote
0
answers
130
views
A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(2,3,2),\cdot\rangle$
I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below)
I want to ...
- 839
2
votes
0
answers
101
views
On the irreducible submodules of adjoint representations $\text{ad}^{0}$
Let $k$ be a finite field of characteristic $p$. Let $H$ be a subgroup of $\rm{GL}_{n}(k)$ of order prime to $p$ where $n\geq2$. Assume that the representation $H\hookrightarrow \rm{GL}_{n}(k)$ is ...
- 667
2
votes
1
answer
99
views
Stabilizing conjugacy classes of integer matrices
$\DeclareMathOperator{\Conj}{Conj} \DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\id}{id} \newcommand\Z{\mathbb{Z}}$
For an $n \times n$ integer matrix $A \in \GL_n(\Z)$, let $\Conj(A)$
be the ...
- 23
0
votes
0
answers
84
views
some problem about the discrete of the first derivative operator
I am reading a paper
(Parameter Choice Strategies for Multipenalty Regularization Massimo Fornasier, Valeriya Naumova, and Sergei V. Pereverzyev SIAM Journal on Numerical Analysis 2014 52:4, 1770-1794)...
- 33
0
votes
0
answers
67
views
Concentration of bilinear forms
This is a bit vague so I'll begin by indicating the motivation. I am looking for ways to [do something interesting or useful] with the self-attention in transformer models. Ultimately the self-...
- 6,962
2
votes
1
answer
115
views
Bound for the $n$-th derivative of a proper rational function with no poles on the right half-plane
Suppose that
$f$ and $g$ are polynomials with nonnegative coefficients,
the degree of $g$ is greater than the degree of $f$,
$g + f$ have no zeros on the right half plane $\mathbb{C}_+ = \{z \in \...
- 187
1
vote
1
answer
205
views
Van der Waerden conjecture and Alexandrov-Fenchel inequality
The Van der Waerden conjecture is a lower estimate of the permanent of a doubly stochastic matrix. In this article in Wikipedia it is stated that Egorychev's proof uses the Alexandrov-Fenchel ...
- 21.8k
3
votes
1
answer
153
views
Solving a recursion for polynomials defined by a matrix product
Define the polynomial $p_n(X) \in \mathbb{Z}[X_1,...,X_n]$ as the top left entry in $A^n$ for the $(d \times d)$ matrix
\begin{align*}
& A = \left(\begin{matrix}
X_1 & \dots & \...
- 1,295
3
votes
0
answers
83
views
A stochastic matrix $B = \lambda(\lambda I - A)^{-1}$ such that $B-B^2$ has a non-negative diagonal
I apologize if this is too elementary a question, but I have not been able to make much progress.
Consider a real matrix $A$ with $A_{ij} >0$ for $i \ne j$ and $\sum_{j} A_{ij} = 0$ for each $j$. ...
- 251
0
votes
2
answers
62
views
Nondegeneracy of dominant singular value and positivity of dominant singular vector of connected nonnegative matrix
Call a (not necessarily square) nonnegative matrix $M$ connected if there do not exist permutation matrices $P$ and $Q$ such that $PMQ=\begin{pmatrix}A&0\\0&B\end{pmatrix}$ for some $A$ and $B$...
- 674
0
votes
0
answers
184
views
Degree 6 Galois extension over $\mathbb{Q} $
Let L be the splitting field of $ x^3- 2$ over $ \mathbb{Q}$. Then $ G=\operatorname{Gal}(L/K) \cong S_3$. Let $\sigma\in G$ such that the fixed field of $ \sigma$ is $\mathbb{Q}(2^{1/3})$. Let $x,y\...
- 923
2
votes
0
answers
81
views
Given a low-rank symmetric positive semidefinite matrix and a basis of its nullspace, is there a fast way to get the nonzero eigenvalues?
I have a (possibly dense) $k\times k$ real matrix $L = AA^T + B^T B$, a type of combinatorial Laplacian (self-adjoint, symmetric, positive semidefinite) of rank $(k-n)$ and possibly repeated nonzero ...
- 21
2
votes
1
answer
278
views
Continuity of eigenvector of zero eigenvalue
Wonder whether anyone has an idea on showing the following or to point out that it is not true:
Let $A(t) \in \Re^{n \times n}$ be differentiable over an interval $I$, and it has a zero eigenvalue for ...
- 69
0
votes
1
answer
135
views
On polynomial equation of fourth order depending on two parameters and bound on a maximal root
I would like to apologize in advance for a too technical question. Let us consider the following fourth order polynomial equation in $x$:
\begin{eqnarray}
F(x) \equiv (2 a p +2)x^4+ (6a(1-a)p^...
- 371
4
votes
2
answers
180
views
What does the matrix-valued solution of $X = A X A^T + \operatorname{Id}$ look like?
Let $A \in \mathbb{R}^{n \times n}$ be an invertible contraction, i.e. all singular values are in $(0,1)$. By reformulating the equation
\begin{align*}
& X = A X A^T + \operatorname{Id} \tag{1}
\...
- 1,295
2
votes
0
answers
60
views
Perron-Frobenius theory for operators on matrices
Let $A$ be a Hermitian linear operator on the space of $n\times n$ complex matrices. Let's suppose $A$ is "non-negative" in the sense that it preserves the cone of non-negative definite (...
- 53
2
votes
1
answer
87
views
Symmetric and anti-symmetric matrices and maximal eigenvalues
Suppose we start with a symmetric $n \times n$ matrix $A$, the elements of which are either $1$ or $0$. All the diagonal elements of this matrix are set to be $0$. So, $\lambda_{\text{max}}=\sup \...
- 1,755
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
1
vote
1
answer
206
views
Reflections on subspaces of $\text{codim} > 1$
Let $V$ be a real finite-dimensional vector space with inner product $\langle \cdot , \cdot \rangle$.
Let $x,y \in V$ be linearly independent. I was wondering how a reflection $s_{x,y}$ through the $\...
- 1,813
5
votes
1
answer
167
views
Upper bound for the $n$-th derivative of a rational function $\frac{f}{f+g}$
Let $f$ and $g$ be real polynomials with nonnegative coefficients. Let
$$
h = \frac{f}{f+g}.
$$
I want to prove that the $n$-th derivative of $h$ satisfies:
There exists $C > 0$ such that
$$
|h^{(...
- 187
1
vote
1
answer
141
views
Does a random matrix over $\mathbb{Z}_q$ map linearly independent vectors to statistically independent vectors?
Suppose $A \in \mathbb{Z}_q^{n \times m}$ is a random $n \times m$ matrix whose entries are i.i.d. uniform over $\mathbb{Z}_q=\mathbb{Z}/q\mathbb{Z}$, where $q\geq2$. Let $\mathbf{x}_1, \ldots, \...
- 503
0
votes
1
answer
173
views
Show that $\mathrm{PSL}_2(C)$ is complex algebraic [closed]
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\GL{GL}\DeclareMathOperator\M{M}\DeclareMathOperator\im{im}$I meet this problem when reading Artin's book Algebra. ...
- 225
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
2
votes
1
answer
142
views
Lipschitz continuity of eigenprojections
This question has the same flavor of this and this questions, but asks for something stronger.
Assume that
$A$ is a symmetric $n \times n$ matrix,
$H$ is a $n \times n$ perturbation matrix.
Moreover ...
- 21
0
votes
0
answers
79
views
Quick calculation of a symmetric product with two indices
Say I have a product $\prod_{1\le i \le N-1}\prod_{i<j\le N-1} (1+t_i t_j a_{ij})$, where $a_{ij}$s are real number. I want to calculate the coefficient of $\prod_{0 \le i < N} t_i$. Is there an ...
- 397
0
votes
0
answers
30
views
Application of greedy approach for optimization
I want to maximize an objective given by $$\max_{\{q_n,p_n\}} \sum_{n=0}^\infty (\alpha_1 - \beta_1 n) p_n + (\alpha_2 - \beta_2 n) q_n$$
where $\alpha_1 > \beta_1 >0$ and $\alpha_2 > \beta_2 ...
- 23
3
votes
2
answers
215
views
Is there a closed-form solution for $\max_D \operatorname{Tr}(ADBD)$
Is there a closed-form solution for
$$\max_D \operatorname{Tr}(ADBD)$$
where $D$ is a $N\times N$ diagonal matrix with $m<N$ number of $1$'s and the rest are $0$'s, and $A$ and $B$ are real ...
- 433
1
vote
2
answers
318
views
Right inverse of integer matrix
If I have a rectangular matrix $A$ (say $4 \times 6$) with integer entries, is there a way to tell whether it has a right inverse that also has integer entries. I know that if $AA^T$ has determinant $...
- 71
5
votes
0
answers
137
views
Given a collection of vectors $x_1,\ldots,x_k$, which inner products $\langle x_i,x_j\rangle$ are needed to uniquely determine all inner products
Given a collection of vectors $x_1,\ldots,x_k$, which inner products $\langle x_i,x_j\rangle$ need to be known to uniquely determine all inner products? I'll begin with the specific case I am ...
- 351
1
vote
1
answer
178
views
Matrices over a finite field: matrices for which some unipotent $U$ satisfies Trace$(ZU)=0$ for all $Z$ in the commutant
Let $p$ be an odd prime number, let $A\in M_p(\mathbb{F}_p)$ be a $p$-by-$p$ matrix with coefficients in $\mathbb{F}_p$, let $C(A)$ be the commutant of $A$, and let $N\in M_p(\mathbb{F}_p)$ be a ...
- 3,741
0
votes
1
answer
115
views
Loss of degree for polynomials
Let $q$ be a power of a prime $p$, $m$ be an integer greater than $0$. Does there exist polynomials $P_0,\cdots,P_m$ of $\mathbb F_q[T]$ not all in $\mathbb F_q$ such that there exist polynomials $Q_0,...
- 3,998
2
votes
0
answers
153
views
Spectrum of an almost Hamiltonian matrix
I have a complex-valued block matrix $N=\begin{bmatrix}
A & B \\
C & -A^*
\end{bmatrix}$, where $A$ is diagonal, $B=B^*$, and $C$ is rank-1 but not Hermitian.
If $C$ were Hermitian, $N$ would ...
- 116
0
votes
1
answer
91
views
Matrix quantization and effect on singular values
Let $A$ and $B$ be an $N\times n$ matrix with $n\le N$, and let $\sigma_1(X),\dots \sigma_n(X)$ denote the singular values of $X\in \{A,B\}$. Do we have upper and lower bounds for
$$
\|
\sigma_i(A)-\...
- 5,405
4
votes
1
answer
250
views
Does a generic linear map admit a vector whose iterates span $V$?
We say a linear map $T$ on a finite dimensional vector space $V$ admits spanning vectors if there exists some vector $v \in V$ whose iterates $v, Tv, T^2 v, \dots$ under $T$ span $V$.
Question: ...
- 6,215
0
votes
0
answers
108
views
Generalization of SVD algorithm
Let $K$ be a field, $A\in K^{n\times m}$ and $\lVert \cdot \rVert$ the Euclidean norm. Consider the problem: Find a $v\in K^m$ such that
\begin{align}
\lVert Av\rVert=\min_{\lVert x\rVert=1}\lVert Ax\...
- 157