Questions about the properties of vector spaces and linear transformations, including linear systems in general.

learn more… | top users | synonyms

0
votes
0answers
4 views

Find optimal value for a regularization parameter in generalized eigenvalue problem

Consider the generalized eigenvalue problem : $ \Sigma_{XY} \Sigma_{YX} {W} = \lambda \Sigma_{XX} {W} $ where $\Sigma_{XX} $ and $\Sigma_{XY}$ are sample covariance matrices are of the matrices ...
0
votes
0answers
9 views

Gradient Descent with L2 Norm Regularization

So I've worked out Stochastic Gradient Descent to be the following formula approximately for Logistic Regression to be: $ w_{t+1} = w_t - \eta((\sigma({w_t}^Tx_i) - y_t)x_t) $ $p(\mathbf{y} = 1 | ...
1
vote
1answer
49 views

Is there a generalization for the discrete fourier transform whereby eigenvalues are other roots of unity?

The eigenvalues of the discrete fourier transform are $\{1, -1, i, -i\}$ in approximately equal proportions. https://en.wikipedia.org/wiki/Discrete_Fourier_transform#Eigenvalues_and_eigenvectors Is ...
2
votes
0answers
42 views

Spectra of certain totally positive matrices

Let $S$ be the set of $3 \times 3$ matrices $A$ satisfying the following conditions: All minors are $>0$ (i.e., $A$ is a strictly totally positive matrix); all principal minors are $>1$, ...
9
votes
4answers
336 views

List of counting proofs instead of linear algebra method in combinatorics

I've just come across this proof of the Graham-Pollak Theorem by Sundar Vishwanathan (thanks to Konrad Swanepoel's sporadic comments about it on this site), that must be called beautiful after its ...
-1
votes
1answer
47 views

Computing the inverse of a Cholesky decomposition [on hold]

I have chol(A) and I would like chol(A^-1). One way to do this is to construct the inverse positive definite symmetric matrix and then take its Cholesky decomposition (with Dpotri and Dpotrf for ...
-2
votes
0answers
22 views

Find the number of connected components in pseudospectra [on hold]

Suppose: $B_i \in \mathbb{C}^{n \times n}$, $0<w_i\in \mathbb{R}$ $(i = 0,1,2,\ldots,m)$ ${\rm P}(x) ={\rm{B}_m} x ^m + \cdots + B_1 x + B_0$ is a matrix polynomial, and $x $ is a complex ...
5
votes
2answers
163 views

Splitting subspaces and finite fields

Hellow. I'm sure that the following is truth, but I can't prove it. Let $R<S<K, R=\mathrm{GF}(q),\ S= \mathrm{GF}(q^n), \ K= \mathrm{GF}(q^{mn})$ be a chain of finite fields and $A = ...
-2
votes
0answers
10 views

Best algorithm to compute the first eigenvector of symmetric matrix [migrated]

Assume that we have a real symmetric matrix $\mathbf{A}\in\mathbb{R}^{n\times n}$ obtained as following : $$\mathbf{A}=\mathbf{N}-\mathbf{P},$$ with $\mathbf{N}\in\mathbb{R}^{n\times n}$ and ...
5
votes
0answers
75 views

Sets of matrices which are irreducible but not strongly irreducible

A set of $d \times d$ real or complex matrices is commonly called irreducible if those matrices do not jointly preserve a linear subspace with dimension strictly between zero and $d$. A stronger ...
2
votes
1answer
137 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: ...
2
votes
1answer
74 views

Minimal Support Solutions of a Linear System (Dissertation)

For a given $n \times m$ matrix A with $m>>n$ and a given vector $\vec b \in \mathbb{F}^{n \times 1}$, and given that $A\vec{x}=\vec{b}$ for at least one $\vec{x} \in \mathbb{F}^{m \times ...
1
vote
0answers
58 views

Boundary of pseudospectra

Suppose: $B_i \in \mathbb{C}^{n \times n}$, $0<w_i\in \mathbb{R}$ $(i = 0,1,2,\ldots,m)$ ${\rm P}(x) ={\rm{B}_m} x ^m + \cdots + B_1 x + B_0$ is a matrix polynomial, and $x $ is a complex ...
1
vote
1answer
43 views

Pragmatic Test for Total Unimodularity

I want perform a simple check for total unimodularity. Question: what, if anything, can be concluded from the fact, that $$det(A)=1,\ a_{ij}\in\{-1,0,+1\}\ \wedge\ a_{ij}^{-1}\in\{-1,0,+1\}$$ ...
2
votes
0answers
110 views

Deligne-Simpson problem for classical groups

Additive Deligne-Simpson problem was partially prooved by Kostov. Also there is Crawley-Boevey's approach to the question. The problem is about existence of a solution of the equation $$ A_1 +...+A_n ...
2
votes
2answers
112 views

A reference about Grassmannian over finite fields

Suppose $Gr_k(k,n)$ the Grassmannian which classifies all the dimension $k+1$ sub-spaces of a dimension $n+1$ linear space over the field $k$. For the case over a finite field $\mathbb F_{q}$, we can ...
3
votes
0answers
75 views

Set of Special Unitary Matrices that are dense in SU(4) and obey certain relations

I'm trying to find a finite set of 4x4 Unitary matricies $\{U_1,U_2,\ldots U_N\}$ such that the matrices are dense in SU(4), and obey the relations: $[U_i, U_j] = 0$ for $|i-j|>1$ ...
2
votes
0answers
54 views

Weyl-type inequality for non-Hermitian matrices?

What is the weakest known condition under which a Weyl-type eigenvalue perturbation inequality holds? Does some analogue hold for normal matrices, for example?
0
votes
0answers
20 views

Inequality for coefficient of ergodicity

Let $Α$, $B$, $C$ stochastic matrices and $τ(Α)= \max(A^T(e^i - e^j) )$, coefficient of ergodicity. We know that $τ(ΑΒ)\le τ(Α)τ(Β)$. Is true that $τ(ΑΒC)\le τ(ΑC)$ if $B$ has positive digonal ...
-3
votes
1answer
55 views

A question on matrix polynomial [closed]

Suppose ${P_\Delta }(\lambda ) = ({A_m} + {\Delta _m}){\lambda ^m} + ....... + ({A_1} + {\Delta _1}){\lambda ^1} + ({A_0} + {\Delta _0})$ is a matrix polynomial, and $\lambda $ is a complex ...
-5
votes
0answers
29 views

Algebra math word problem to be solved using elimination or substitution method [closed]

A two-digit number is such that the sum of its digits is 1/4 of the number. When the digits of the number are reversed and the number is subtracted from the original number, the result obtained is ...
-1
votes
0answers
18 views

Uniqueness of Smith normal form in Z (ring of integers) [migrated]

It is a very well known fact that Smith Normal Form has proven useful when dealing with the development of the structure theorem of finitely generated abelian groups. In this context, there is an ...
-2
votes
0answers
66 views

Degree of a rational Function [closed]

This might sound a very trivial question but I found different answers on the web. Assume on has a rational function f(x)/g(x) where f(x) and g(x) are polynomials. What is the degree of the rational ...
2
votes
1answer
45 views

Eigenvectors of a perturbed reducible stochastic matrix

Let $Q$ be a $n\times n$ reducible stochastic matrix. Let $J$ be such that $[J]_{ij}={1 \over n}$. Now for a small positive constant $\alpha\in [0,1]$, consider the matrix ...
2
votes
0answers
49 views

Zauner's conjecture [migrated]

The conjecture is as follow: In $\mathbb{C}^{n}$, there exists $\{v_1,\cdots,v_{n^2}\}$ such that the following holds: $$ \left| \left \langle v_i, v_j \right \rangle \right| = \begin{cases} 1 ...
4
votes
2answers
127 views

Relation between eigenvalues of $A$ and $A^TA$?

For an $n\times n$ diagonizable matrix $A$, is there a relation between the eigenvalues of $A$ and the eigenvalues of $A^TA$? I ask this because I am looking into the relation between $A$ and $A+cI$, ...
6
votes
0answers
150 views
+50

Complexity of approximating the size of the range of a matrix

Given an $m$ by $n$ matrix $M$ with $m \leq n$ and elements from $\{-1,1\}$, let us define: $$S_M = |\{Mx : x \in \{-1,1\}^n\}.$$ It is NP-hard to compute $S_M$ exactly I believe by applying the ...
1
vote
1answer
137 views

Is there a nice choice-free argument to count the number of sublattices?

It's a well known fact that the number of index $n$ sublattices of a rank two lattice $\Lambda$ is given by $\sigma_1(n) = \sum_{d\mid n} d$. Here is a proof of this fact: Proof: choosing a basis of ...
9
votes
0answers
231 views

How to prove this determinant is positive-II?

Question: Given an arbitrary number of real matrices of the form $ A_i= \biggl(\begin{matrix} C_i+E_i & B_i \\ B_i^T & D_i-F_i \end{matrix} \biggr) $, where $B_i$ is an arbitrary $n\times n$ ...
1
vote
0answers
45 views

Directed graph Laplacian with exactly one negative eigenvalue

Let $G$ be a digraph with adjacency matrix $A =(A_{ij})$ where $A_{ij}=1$ if and only if there is a directed edge $i \to j$ and $A_{ij}=0$ otherwise. Let $D= (D_{ij})$ be the degree matrix with ...
-1
votes
1answer
111 views

How should $A^α$ be defined for real $α ∈ [0,∞)$ and $A\in M_n(\mathbb C)$? [closed]

Let $A\in M_n(\mathbb C)$ be arbitrary. I'm interested to know How should $A^{\alpha}$ be defined for real $\alpha\in [0,\infty)$? When $A$ is nonsingular, we can define $A^{\alpha}=\exp(\alpha ...
-1
votes
0answers
11 views

How can i get real analog of complex function? [migrated]

I have a function: sin(wt-jT) (1.1), where j - complex number I transform it to function with real arguments: ...
0
votes
0answers
17 views

Norm of a linear operator in a tight frame

My question certainly has a simple answer, but I am not sure about how to formalize my thoughts, to put it simply, I am looking for the norm of a linear operator that is a composition of 2 linear ...
2
votes
1answer
150 views

Extracting a full rank matrix from a 0-1 matrix

If $A$ is a $n\!\times\!n$ $0$-$1$ matrix of rank $k<n$. If ever possible, what would be an efficient way of extracting a full rank $k\!\times\!k$ sub-matrix of $A$ by removing columns and rows of ...
7
votes
0answers
220 views
+200

Dimensions of dual vector spaces

Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...
2
votes
1answer
41 views

Spectral radius of perturbed bipartite graphs

I am looking into how perturbation(s) on a bipartite graph affect its spectrum (specifically its spectral radius or largest eigenvalue). Actually, I'm not exactly looking into bipartite but my ...
3
votes
1answer
145 views

Existence of $SO(n)$-isotropic inner products which are not $O(n)$-isotropic

$\newcommand{\al}{\alpha}$ Let $M_n$ be the space of $n \times n$ real matrices. Question: For which $n$, is there an inner product on $M_n$ which satisfies: $$(*) \, \, \langle Q^TXQ,Q^TYQ ...
4
votes
2answers
233 views

Derivative of eigenvectors of a matrix with respect to its components

Suppose that $B$ is a real, positive-definitive symmetric ($3\times3$) matrix (more accurately, $B$ is a tensor) with distinct eigenvalues, and that we can write it as $$ B= \sum_{i=1}^3 ...
6
votes
1answer
141 views

Fast Symbolic Linear Algebra CAS?

I am a regular user of Mathematica, Julia, and MATLAB but I am looking for something different. The problem I am trying to solve in Mathematica only requires (dense) linear algebra to specify but is ...
0
votes
1answer
115 views

Why is the Fano variety of lines on a smooth three-dimensional quadric isomorphic to $\mathbb{P}^3$?

Let $Q \subset \mathbb{P}^4$ be a smooth three-dimensional quadric over an algebraically closed field $k$ ($\mathrm{char}(k) \neq 2$) and let $F$ be the Fano variety of lines on $Q$. In "Iskovskikh ...
2
votes
2answers
152 views

Intersection of Subspaces with $O(3)$

Sorry for the confusion from earlier. I tried to fix the thread. The old version can be found below. For $6$-dimensional subspaces $V$ of the space $\mathbb{R}^{3\times 3}$ of real three-times-three ...
2
votes
1answer
148 views

programming to compute kernel quotient image of a $\mathbb{Z}$-module endomorphism

Let the integers $n\geq 2$, $k\geq 1$, $v=0$ or $1$ and $n_1,\cdots,n_k\geq 1$ such that $$ \sum_{i=1}^k n_i+v=n. $$ Define $P_a^b=0$ if both $a,b$ are odd and $P_a^b={{[a/2]}\choose {[(a+b)/2]}}$ ...
0
votes
0answers
133 views

Shortest distance on a combinatorial chess board

Consider a random $n\times n$ combinatorial $0/1$ square matrix over field $\Bbb F$ of rank $r$ with every row distinct and every column distinct as a chess board. Definition of combinatorial ...
1
vote
0answers
42 views

Extra-Lorentzian Kac-Moody algebras

My question is about Kac-Moody (KM) algebras of finite rank with symmetrized Cartan matrices $B = C A$ ($A$ is Cartan matrix) of signatures $(-,-,+,...,+)$, $(-,-,-,+,...,+)$, etc. i.e. with ...
4
votes
2answers
168 views

Describing Levi factors and unipotent radicals of parabolic subgroups in classical groups

I asked this question before at Math.SE (link) but got no answer. Let $G$ be an algebraic group over an algebraically closed field $k$ of characteristic $p \geq 0$. Then any parabolic subgroup $P$ ...
4
votes
2answers
126 views

Collection of projection operators in finite dimension and algebraic techinques

Consider a set of linearly independent vectors $\{x_1,\dots,x_n\}$ in some finite-dimensional Hilbert space $H$. For any subset $S \subset [n]$, let $P_S$ be the (orthogonal) projection (operator) ...
0
votes
0answers
69 views

the linear span of all matrix coefficients is $C(G,\mathbb{C})$ where $G$ is a finite group

Theorem. Let $\{(R_{\alpha},V_{\alpha})\}$ be a complete set of inequivalent irreducible finite dimensional representations of a finite group $G$. Let $V_{R_{\alpha}}$ be the subspace generated by all ...
0
votes
0answers
37 views

QR(pivot) vs SVD for low rank approximation

Define the low rank problem as finding the approximation of matrix A, B: where we want to minimize rank(B) and we want the 2 norm of the residu of A-B to be less than epsilon. Could someone help me ...
0
votes
1answer
72 views

Example distance metric that is not conditionally negative definite

Theorem 4.1 of this paper says that there exist distance matrices that are not conditionally negative definite (CND). How do I construct an example of a distance matrix that is not CND? Do you know an ...
0
votes
1answer
234 views

Are $\left[\begin{matrix}x_\ell \\ x_\ell\varphi_k^\ell\end{matrix}\right]$ linearly independent?

Let $\varphi_k\in\mathbb{C}$ be a primitive $k$-th root of unity, and define the sets ...