All Questions
6,251 questions
2
votes
1
answer
400
views
Eigenvalue perturbation under sparse perturbations
Let $A \in \{0,1\}^{n \times n}$ be an irreducible matrix whose entries are in $\{0,1\}$, and let $\lambda_1(A)$ be the eigenvalue with the largest magnitude. By Perron–Frobenius theorem, we know that ...
CommunityBot
- 1
4
votes
0
answers
97
views
Dimension of the intersection of the commuting variety with a particular subspace
Let $\mathcal C$ denote the commuting variety of pairs of matrices in $M_n(\mathbb{C})$, defined as:
$$
\mathcal C = \{ (A, B) \in M_n(\mathbb{C})^2 \mid [A, B] = 0 \}.
$$
It is well known that $\...
- 2,338
-3
votes
0
answers
126
views
A presentation for the group $GL(n,\mathbb{Z}_p)$
Let $n\ge 2$. Let $p$ be a prime and $\mathbb{Z}_p$ denote the finite field with $p$ elements.
I want to know about the presentation for the group $GL(n,\mathbb{Z}_p)$ consisting of its generators and ...
- 103
4
votes
0
answers
209
views
+50
A question in spin geometry in dimension 8
$\DeclareMathOperator\trace{trace}\DeclareMathOperator\End{End}\DeclareMathOperator\Trace{Trace}$This is to understand a very specific isomorphism in dimension $8$. In dimension $4$ for a spin$^c$ ...
- 954
7
votes
1
answer
486
views
Invertibility of a matrix defined using inner product
Let $n,m \geq 1$. We fix $n$ distinct vectors $x_1, ... , x_n \in \mathbb{R}^m$. We define $A \in \mathbb{R}^{n\times n}$ as
\begin{equation}
A_{ij} = x_i^T \left(n x_j - \sum_{1 \leq k \leq n} x_k \...
- 3
1
vote
0
answers
28
views
Integral hull of a polyhedron Q is polyhedron
Let $Q \subseteq R^n$ be a rational polyhedron and let $Q_I=Convexhull(Q \cap Z^n)$. By finite basis theorem, we have $Q=P+C$ for some rational polytope $P$ and finitely generated cone $C$ where $C=R_+...
- 21
9
votes
1
answer
262
views
What are the points of the algebra of polynomial functions on an arbitrary vector space?
Let $V$ be an arbitrary vector space over some field $\mathbb{K}$, $V^*=\mathrm{Hom}(V,\mathbb{K})$ its linear dual. Let $\mathrm{Sym}_\mathbb{K}(V^*)$ be the free commutative $\mathbb{K}$-algebra on $...
- 156k
5
votes
2
answers
633
views
Reference request: continuity of Cholesky factor
It most books dealing with Cholesky decomposition, or it is variants, one finds a statement of the form if $A$ is symmetric $k\times k$ positive semi-definite (non-negative definite) then the $k\times ...
- 188k
-1
votes
0
answers
41
views
Is it possible to backtrack an optimization solver? [closed]
I have an optimization problem and was using a linear programming optimizer to find solutions. However, I find that past a certain size, the problem becomes "infeasible" and has no solutions....
2
votes
2
answers
215
views
How to analyze the value of convergence of functions of random matrices?
Consider a random i.i.d matrix $\mathbf{A}_{m\times n}$ with entries generated from a complex Gaussian distribution with zero mean and unit variance. I am interested in the large dimension analysis of ...
CommunityBot
- 1
8
votes
1
answer
353
views
Eigenvalues of a certain combinatorially defined matrix
Let $A_n$ be the matrix whose rows and columns are indexed by pairs
$(i,j)$ with $1\leq i,j\leq n$ and $i\neq j$ (so $A$ is an
$n(n-1)\times n(n-1)$ matrix), whose $((i,j),(k,l))$-entry is 0 if
$i=k$ ...
- 602
2
votes
1
answer
143
views
Inequality for hermitian matrices
Let $p_1$ and $p_2$ be a complete system of orthogonal projections on $\mathbf R^n, n \geq 2$ (i.e., $p_i^2=p_i=p_i^*$ and $p_1+p_2=\bf{1}$) and $S_1, S_2$ be two hermitian operators such that $S_i \...
- 73
0
votes
1
answer
119
views
Inequality for commuting hermitian operators
Let $p_1$ and $p_2$ be a complete system of orthogonal projections on $R^n$, $n\geq 2$ (i.e., $p^2_i=p_i=p^*_i$ and $p_1+p_2=\bf{1}$) and $S_1,S_2$ be two commuting hermitian operators on $R^n$ (i.e., ...
- 109k
2
votes
1
answer
874
views
Interpreting mincost flow dual variables
Consider the task of finding flow of size $b$ with minimum possible cost.
It may be formulated as linear programming in a following way:
$$\boxed{\begin{gather}
\min\limits_{f_{ij} \in \mathbb R} &...
CommunityBot
- 1
2
votes
0
answers
59
views
Tensor product of two transcendental flat algebras is not a field?
I'm considering the correctness of the following assertion, which is related to linear disjointness (I'm trying to generalize it to subalgebras), What does "linearly disjoint" mean for ...
- 173
4
votes
2
answers
871
views
Decay of eigenfunctions for Laplacian
Consider the discrete second derivative with Dirichlet boundary conditions on $\mathbb C^n$.
Its eigendecomposition is fully known:
see wikipedia
It seems like the largest eigenvalue $\lambda_1$ is ...
CommunityBot
- 1
1
vote
1
answer
145
views
Prove or disprove that the matrix equation of the form $AX+XA^{-T}=0$ has a nonsingular anti-symmetric solution $X$
I’m trying to prove that for $A=J_n(i)$, that is, the Jordan block matrix corresponding to the eigenvalue $i$ of size $n$, where $n$ is even, the matrix equation $AX+XA^{-T}=0$ has a nonsingular anti-...
CommunityBot
- 1
9
votes
1
answer
158
views
Eigenfunctions of the Laplace–Beltrami operator on the coadjoint orbit of $\mathfrak{su}(n)$
$\DeclareMathOperator\SU{SU}$For $\mathfrak{su}(2,\mathbb{C})$, the generic coadjoint orbit is $\mathbb{S}^2$, and the Laplace–Beltrami operator on it is given by
$$
\Delta \equiv \frac{1}{\sin\theta} ...
- 195
1
vote
1
answer
151
views
Is smoothness preserved under an isometric isomorphism?
Let $(X, \|.\|_1)$ is isometrically isomorphic to $(X, \|.\|_2)$ and $\|.\|_2\leq \|.\|_1$. Assume that $x_0$ is a smooth point of $(X, \|.\|_1)$ and $\|x_0\|_2=1$. According to the definition of a ...
- 128k
-5
votes
1
answer
86
views
Why is the second order correction to energy zero for a fully degenerate eigensystem? [closed]
Consider the system given by,
$$ H|n\rangle = E|n\rangle$$
where:
$H$ is the hamiltonian.
$|n\rangle$ is the eigenstate.
$E$ is the energy of the eigenstate.
Using degenerate perturbation theory and ...
- 1,554
4
votes
2
answers
205
views
Normalizers of the principal congruence subgroups in $\mathrm{GL}(n,\mathbf Q)$
A question quite similar to this question. Let $n \geqslant 3$ and $m \geqslant 2$ be natural numbers and suppose that a matrix $A \in \mathrm{GL}(n,\mathbf Q)$ normalizes the principal congruence ...
- 148k
0
votes
2
answers
530
views
Any idea of solving an optimization problem with cubic constraints?
I have the following optimization problem with cubic constraints, which is hard to solve. Are there any ideas, or related references, of solving such a problem?
$$ \begin{array}{ll} \underset {y, z} {\...
CommunityBot
- 1
0
votes
0
answers
46
views
max eigenvalue and schatten-1 norm of depolarizing channel acting on trace-0 Hermitian matrix
Denote $\mathcal{H}^n$ as the $n-$dimension Hermitian matrices. Depolarizing channel $\Delta_p:\mathcal{H}^2\to\mathcal{H}^2$ is defined as $\Delta_p(A)=p\text{ tr }(A)~I/2+(1-p)A$ where $A\in \...
- 91
2
votes
1
answer
1k
views
Components of a Gram matrix and its eigenvalues
The Gram Matrix is defined as $$\sum_{i=1}^n X_iX_i^T,$$ where $X_i$ is drawn from the unit sphere based according to some continuous distribution (Relation between eigenvalues and the gram matrix for ...
CommunityBot
- 1
7
votes
1
answer
238
views
Hadamard product decomposition with lower rank matrices
Given integers $k$ and $l$ and a matrix $A$ of rank $kl$, can we always find a matrix $B$ of rank $k$ and a matrix $C$ of rank $l$, such that $A$ is the Hadamard product of $B$ and $C$, namely $A=B \...
CommunityBot
- 1
2
votes
1
answer
106
views
Linear automorphism preserving a cone
Let $V$ be a finite-dimensional real vector space, and let $C\subset V$ be a closed convex cone, not contained in a hyperplane, and such that $C\cap(-C)=\{0\} $. Let $n$ be a nilpotent endomorphism of ...
- 38k
0
votes
0
answers
118
views
Uncomplete argument in Nishioka book
In Nishioka book "Mahler functions and transcendence" in the proof of Theorem 4.2.1, Nishioka asserts the following: For a matrix $A=(a_{i,j})_{1\le i\le m}$ with coefficients in $K[z]$ ($K$ ...
- 3,996
1
vote
1
answer
1k
views
Reference for (general case) of uniqueness of singular value decomposition (SVD)
My statistics research requires me to understand the non-uniqueness of SVD in the degenerate case of repeated singular values.
I believe that the statements and proofs on this StackExchange posts are ...
- 41
1
vote
1
answer
142
views
Operator norm of some type of discrete Fourier matrix
Let $N$ be a natural number and let $w$ be a complex number.
We define the $N\times N$ matrix $C_w=(a_{k,l})_{k,l=1}^N$ as follows,
$$
a_{k,l}=\begin{cases}1 & l=k+1\\
w &...
- 4,713
6
votes
2
answers
508
views
Is every automorphism of a cone diagonalisable?
Let $V$ be a real, finite-dimensional vector space, and let $C\subset V$ be a closed convex cone, with nonempty interior, and such that $C\cap (-C)=\{0\} $. Let $u\in\operatorname{GL}(V) $ such that $...
- 63.9k
0
votes
0
answers
21
views
Easy instance of set cover
I am trying to prove that a natural greedy algorithm solves the following instance of the set cover problem: for a set of elements $e\in U$ with a set of weights $w_e$, we define the cost of a subset ...
- 4,049
1
vote
0
answers
91
views
How to optimize parametric information-theoretic bounds?
I am faced with an information-theoretic upper bound, such as
\begin{align}
\sqrt{\alpha'}2^{I_\alpha(X;Y)},
\end{align}
where $I_\alpha(X;Y)$ is the Rényi mutual information with parameter $\alpha>...
- 287
4
votes
0
answers
291
views
Lower bound on size of the set of sums and differences of non-orthogonal pairs of vectors over finite field
Consider $\mathbb{Z}_m^n$, an $n$-dimensional vector space over $\mathbb{Z}_m$.
For two sets of vectors $P = \left\{ p^i \right\}$ and $Q = \left\{ q^j \right\}$ and a skew-symmetric matrix $S_{ij}=\...
3
votes
1
answer
200
views
Matrix-tree theorem for inverse matrices
Let $L$ be the Laplacian of a directed weighted graph on $n$ nodes, e.g., for $n=4$:
$$
L = \left(\begin{array}{cccc} w_{1,1}+w_{1,2}+w_{1,3}+w_{1,4} & -w_{1,2} & -w_{1,3} & -w_{1,4}\\ ...
1
vote
3
answers
257
views
Eigenvalues of positive matrices in $\mathrm{SL}(d,\mathbb{Z})$
Let $A\in\operatorname{SL}(d,\mathbb{Z})$ be an irreducible positive matrix, i. e. $A=(a_{i,j})_{1\leq i,j\leq d}$ with $a_{i,j}\in\mathbb{Z}_{>0}$. From the Perron-Frobenius theorem, we know that $...
- 12.9k
1
vote
1
answer
41
views
Lower spectral radius of matrices with an invariant subspace
Let $\mathcal{A} = \{ A_1, \ldots, A_J, : A_j \in \mathbb{R}^{s\times s}\}$, and define the lower spectral radius (LSR) (aka joint subradius) by
$LSR(\mathcal{A}) = \lim_{n\rightarrow\infty} \inf_{A_{...
- 20.2k
0
votes
1
answer
157
views
Can the derivative of eigenvectors with respect to its components be taken as zero if all eigenvalues are equal?
I want to ask a couple of follow up questions to the question answered on the thread "Derivative of eigenvectors of a matrix with respect to its components".
I noticed that in the accepted ...
- 3,671
4
votes
1
answer
171
views
Maximizing trace subject to two equality constraints
I am looking at the following optimization problem
$$\begin{align}
\underset{{\bf X}}{\text{maximize}} \qquad&\mathrm{tr}({\bf AX})\\
\text{subject to} \qquad& \mathrm{tr}({\bf X}) = 1,\\
&...
- 109k
1
vote
1
answer
1k
views
Eigenvalue distribution of a band matrix
Let $\mathbf M_i$ be rectangular matrices of dimensions $N_{i-1}\times N_i$. We assume that their entries are random, with zero mean and variance $\sigma_i^2$.
For some positive integer $k$, I define ...
CommunityBot
- 1
1
vote
0
answers
115
views
How can I derive $V$ from the following equation?
$$
[(U-V)^{-1}X^{T}Y]^{T}\;[(U-V)^{-1}X^{T}Y] = I.
$$
Here $U$ and $V$ are symmetric $d \times d$ matrices; $X=[x_1,x_2,...,x_n]$ is an $n \times d$ data matrix ($n$ is the number of samples and $d$ ...
- 35.4k
1
vote
0
answers
67
views
System of linear diophantine equations with many small solutions?
Let $n$ be positive integer, $k$,$B$ fixed positive integers.
Let $f_i(x_1,x_2...x_n)$ be a system of $n-k$ linearly independent linear
equations over the integers.
Let $S(f_i,k,B)$ be the set of ...
- 25.4k
7
votes
2
answers
242
views
Prove that $ n \leq d+1 $ under ordering constraints in $\mathbb{R}^d$
Let $x_1, \dotsc, x_n \in \mathbb{R}^d$ and $\theta_1, \dotsc, \theta_n \in \mathbb{R}^d$ be vectors such that for every $k \in [n]$, the following inequality holds:
$$
\langle x_k, \theta_k \rangle &...
- 109k
2
votes
2
answers
132
views
Invertibility of one matrix constructed by order n subgroup of symmetric group
Let $S_n$ be the symmetric group on $n$ elements $\{ 1,2,\dotsc,n \}$ and $G$ be a subgroup of $S_n$ of order $n$. Denote the elements in $G$ by $\{ \sigma_1,\dotsc,\sigma_n \}$. Let the matrix $A=(\...
- 287
0
votes
0
answers
87
views
Is there a name for "applying linear operations to vector sequences from the right"?
Let $v_1,...,v_n\in\Bbb R^d$ be a sequence of vectors. When we say that we "linearly transform" this sequence, we mean that we apply a linear transformation $T\in\Bbb R^{d\times d}$ to each ...
- 13.6k
4
votes
0
answers
103
views
Relationship between characteristic polynomials of a matrix and its adjoint representation
Let $A \in \mathrm{M}_n(F)$ be a matrix over a field $F$. Consider its adjoint representation $\mathrm{ad}_A \in \mathrm{End}(\mathrm{M}_n(F))$, defined by
$$
\mathrm{ad}_A(X) = [A, X] = AX - XA.
$$
I ...
- 309
0
votes
1
answer
48
views
How to efficiently replace the Paterson-Stockmeyer algorithm and reduce non-scalar multiplications
Paterson-Stockmeyer algorithm
If we need to compute a high-degree polynomial expression, such as:
$$
P(y) = \sum_{k=0}^{B} a_k y^k
$$
the Paterson-Stockmeyer algorithm can process the powers in ...
- 63.9k
11
votes
2
answers
386
views
Bounds for the difference in the number of ones in $M$ and $M^{-1}$
If $M$ is a full rank $n$ by $n$ binary matrix over $\mathbb{F}_2$, how much larger or smaller can the number of $1$s in $M^{-1}$ be, compared to the number of $1$s in $M$?
Clearly the identity matrix ...
- 109k
3
votes
1
answer
111
views
Generalization of a result of Kostant related to Gauss decomposition and Toda lattices
I found myself needing a generalization of a result of Kostant in his famous paper
B. Kostant, The solution to a generalized Toda lattice and representation theory, Adv. in Math, Volume 34, 1979, ...
- 173
2
votes
1
answer
312
views
Question on a vector inequality
Is it true that
$$
\min\left( \begin{aligned}
&\|\mathbf{u}\| + \|\mathbf{v}\| - \|\mathbf{u} + \mathbf{v}\|, \\
&\|\mathbf{u}\| + \|\mathbf{w}\| - \|\mathbf{u} + \mathbf{w}\|, \\
&\|\...
- 63.9k
1
vote
1
answer
76
views
Determinant formula for a certain parametrized M-matrix
Let $P_{ij}$ be variables, and let $A \in \mathbb{R}^{n\times n}$ be the matrix defined by
$$
A_{ij} = \begin{cases}
-P_{ij} & i \neq j,\\
P_{i1} + P_{i2} + \dots + P_{in} & i=j.
\end{cases}
$$...
- 20.2k