All Questions
1,923 questions with no upvoted or accepted answers
0
votes
0
answers
614
views
Hadamard / matrix product adjoint
First of all I would like to thank everyone over here at mathoverflow for their amazing generosity and help (for both pros and newbies like myself).
I apologize if this question seems dumb; I'm a new ...
0
votes
0
answers
89
views
Decomposing matrices to lower ranks
Given real matrix $M\in\{0,1\}^{n\times n}$ of rank $r$. How many $M_i\in\{0,1\}^{n\times n}$ of rank $s$ does one need to write $M'=\sum_{i=1}^ta_iM_i$ for some $a_i\in\Bbb R$ where maximum absolute ...
0
votes
0
answers
83
views
Bits of precision matrix reconstruction
We have a real rank $r$ matrix $M\in\{0,1\}^{n\times n}$.
Suppose we have diagonalized using $LMR=D$.
I want to recover a real matrix $\widetilde{M}$ such that maximum absolute entry of $\widetilde{...
0
votes
0
answers
161
views
Way to parameterise sparse multi diagonal matrix
I have an NxN matrix S that looks like this: $$ S^{-1} = K^{-1} + \Lambda $$
where N is a multiple of 3, both K and S are positive definite matrices, and Lambda is
$$
\Lambda = \begin{bmatrix}
x &...
0
votes
0
answers
345
views
Shift functor and the origin of the linear decalage isomorphism
Let $(\mathbf{Vec}_\mathbb{Z}(\mathbb{K}),\otimes,\tau)$ be the symmetric monoidal category of $\mathbb{Z}$-graded $\mathbb{K}$-vector spaces, where $\otimes$ is the tensor product of $\mathbb{Z}$-...
0
votes
0
answers
182
views
Question about majorization of eigenvalues after conjugation
Let $A$ and $B$ be $n \times n$ positive semidefinite matrices with eigenvalues $\alpha_1 \ge \alpha_2 \ge \ldots \ge \alpha_n$ and $\beta_1 \ge \beta_2 \ge \ldots \ge \beta_n$ respectively. ...
0
votes
0
answers
227
views
Canonical forms of symmetric/skewsymmetric quaternionic matrix
$A$ belongs to $n$-dimensional quaternion symmetric matrix, in the sense that $A=A^T$, where $T$ means transpose. Under transformation $U$, $A\rightarrow U\cdot A\cdot U^T$, where $U$ is $n$-dim ...
0
votes
0
answers
68
views
Estimate bounds on Minkowski distance from point to a segment in Lp space
Assumptions
Let
$L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric),
$a,b$ be arbitrary $n$-dimensional points,
$c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...
0
votes
0
answers
163
views
Applying a linear operator to a basis set following SVD orthonormalization
Define $\Phi$ as an $N$x$N$ dense, symmetric matrix, who's columns represent a set of $N$ non-orthogonal bases.
My intention is to:
decompose $\Phi$ via SVD:
$U \Lambda V^T = \Phi$
to create it's ...
0
votes
0
answers
80
views
Finding gradient of an optimization
I am trying to find the gradient of the following optimization problem and then add to objective, but I got some trouble in computing. Could you please help me?
Assume that we have an optimization ...
0
votes
0
answers
81
views
A Optimization problem using co-ordinates of joint numerical range.
Let $\mathbf{A}_1,\dots,\mathbf{A}_L$ be $N\times N$ hermitian matrices. Define the mapping from the $N-$dimensional unit sphere to $\mathbb{R}^L$ as
\begin{align}
\mathcal{S}=\{\left(\mathbf{u}^H\...
0
votes
0
answers
696
views
Heat equation with graph laplacian
I would like to start with considering the time-dependent heat equation on a connected graph and consider its Laplacian matrix.
Suppose we have a connected graph with unknown temperature on vertices. ...
0
votes
0
answers
103
views
Perturbed linear system, particular form
We have a linear system $Ax=b$ where $A$ is real and symmetric, all elements of its main diagonal are strictly positive and all off-diagonal elements are $\leq 0$. Further, $A_{ii} > -A_{ij} \; \...
0
votes
0
answers
917
views
Inverse problem with a rank-1 update
I hope you can help me out with this. I have to find the solution x to an inverse system
$$
x=A^{-1}b
$$
This inverse problem is basically a least square problem with a rank-1 update.
$$
x=[uv^{T}...
0
votes
0
answers
91
views
Complexity of turning a d-degree polynomial to 2-degree polynomial
For a very simple example,
$(1+x)^4=x^4+4x^3+6x^2+4x+1$ is a 4 degree polynomial, and I want to change it to a 2-degree polynomial by add more variables, for this example, we can simply let $y=x^2$, ...
0
votes
0
answers
251
views
Sparse matrix factorization of a rank deficient matrix by decomposition into linearly independent components
I've got a little conjecture I need to prove for a theoretical result related to causal Bayes net search with latent variables under sparsity constraints. If you're interested in the application ...
0
votes
0
answers
561
views
What are the properties of this linear operator?
Suppose $f(x)$ is a function which satisfies the following condition:
$$f(x)=\sum_{k=0}^\infty G(2k)\frac{x^{2k}}{(2k)!}$$
Where the generating function $G(x)$ is a "natural" or "discrete-analytic" ...
0
votes
0
answers
131
views
The largest size of a boolean subgraph (a hypercube) of a given graph
Let $G(\mathbb{F}_2^n)$ denote the graph that represents the lattice of all subspaces of $\mathbb{F}_2^n$ (also called a Hasse diagram). I am interested in knowing if there exists a large hypercube ...
0
votes
0
answers
49
views
Forming orthogonal bases in different orders
Let $\alpha_1, \dots, \alpha_n$ be unit vectors in some vector space $V = R^d$. For any permutation $\pi: [n] \rightarrow [n]$, we can form the Gram-Schmidt orthogonal bases $\beta_{\pi,1}, \dots, \...
0
votes
0
answers
104
views
Linear system with many solutions from a finite set
Basically I am looking for a linear system with
many solutions from a finite set.
Choose a finite set of rationals $S$ and fix
positive integer $k$.
Let $A$ be a linear system with $n$ variables $...
0
votes
0
answers
320
views
Invariants of the Determinant Form
Consider a form of degree $r$ in $n$, that is, a homogeneous polynomial
$$f(x_1, \ldots, x_n)=\sum_{i_1+\ldots i_n=r}\alpha_{i_1 ... i_n}x_1^{i_1} ... x_n^{i_n}
$$
After the linear change of ...
0
votes
0
answers
117
views
"Almost orthogonalizing" matrices using a signature matrix
Suppose $A$ and $B$ are two real symmetric $n \times n$ matrices (If simpler, consider $A$ and $B$ to be 0/1 matrices, say, adjacency matrices of d-regular graphs).
Then $||AB||_{op} \leq ||A||_{op}||...
0
votes
0
answers
704
views
expected matrix inverse of circulant plus diagonal matrix with chi-square variables
Let $R$ be a semi-definite $N\times N$ circulant Toeplitz matrix and let $N\to \infty$.
Let $D$ be an $N\times N$ diagonal matrix where the elements on the main diagonal are independent chi-square ...
0
votes
0
answers
115
views
a very elementary question on the conjugated matrices
Let $A$ and $B$ two matrices in $GL_{n}(K[[\pi]])$, regular semisimple on $GL_{n}(K((\pi)))$, with $K$ an algebraically closed field of characteristic zero .
We suppose that they have the same ...
0
votes
0
answers
266
views
Finding the effective maximum number of subspaces in a finite dimensional vector space
Hi mathoverflow community, may be some one may give me a hint on the following problem before I spend much time on brute force search.
For $q$ a prime number and $n=6$, let $\mathbb {F}_{q}^{n}$ be ...
0
votes
0
answers
262
views
Lattice basis reductions and finding minimal values
While reading several articles about lattice basis reduction I am left with a few questions.
For one, I came across this piece of text
Let $\alpha$ and $\beta \in \mathbb{R}$. Also let $X>0$ and $...
0
votes
0
answers
957
views
Diagonal of the inverse of a 6x6 symmetric partitioned matrix
Let
$$M = \begin{bmatrix}
A & B \\
B & C
\end{bmatrix}$$
in which $A$, $B$ and $C$ are $3 \times 3$ matrices being also symmetric. In fact, they are quite similar, just differing on a single ...
0
votes
0
answers
52
views
Dense Matrix Estimation
I have a matrix $X \in \mathbb{R}^{m\times n}$ and I want to estimate it with a dense matrix $Y^{m\times n}$ such that $Y$ is still close to $X$ in some distance measure. Is this doable in a ...
0
votes
0
answers
146
views
Global solution for spectral clustering
I used spectral clustering for directed graphs suggested by Dengyong Zhou paper to partition the graph.I selected the eigen vectors corresponding to k largest eigen values and then I use kmeans or FCM ...
0
votes
0
answers
270
views
Solution Existence of a System of Complex Quadratic Equations
Consider $ {x_k}_{k = 1}^K \in \mathbb{C}^{N \times 1}$ a set of $K$ complex vector variables of length $N$. I am interested in finding the existence of a solution of the following
quadratic set of ...
0
votes
0
answers
257
views
What is the integer form of a projector into the intersection of the ranges of two integer projection matrices?
Consider two square integer matrices $X$ and $Y$ of the same dimension with the following properties:
$X^2=rX$, and $Y^2=sY$ for integers $r$ and $s$. The $\gcd$ of the entries of $X$ is 1 and the $\...
0
votes
0
answers
155
views
Convexity of a Certain Set of Covariance Matrices
Hello,
My question is about a certain set of matrices being convex or not. I'll start with some preliminaries in order to define myself properly. Let $X_1,U,X_2$ be three zero-mean Gaussian random ...
0
votes
0
answers
151
views
Ratio of Eigen values and Mutual Independence
Given a matrix $X$. Calculating the Eigen values of $XX^T$ and using the ratio of maximum and minimum eigen values normally gives the condition number of the matrix.
If $X$ contains $M$ observations ...
0
votes
0
answers
166
views
Do the Eigenvectors find by use PCA on a set of data point, a good replacement for Random Projection when I later on use L1Magic to reconstruct the sparse vector?
Concretely if I use the first k eigenvectors find by PCA with a point set A,to project another sparse vector b to k dimension subspace, then use L1-magic to recover b. Will this be better than a ...
0
votes
0
answers
440
views
Foliations in positive characteristic
Ekedahl wrote about foliations in positive characteristic, over the field $\mathbb{Z}/p\mathbb{Z}$ as a subsheaf of the tangent sheaf, that are closed with respect to involution and $p$-power.
My ...
0
votes
0
answers
237
views
Geometric Mean of Positive Matrices
Hello all,
My question regards the geometric mean (GM) of two positive matrices. The definition of the GM for two positive matrices $(A,B)$ is given by:
$M_0(A,B)=A^{\frac{1}{2}}(A^{-\frac{1}{2}}BA^{-...
0
votes
0
answers
224
views
When does a real-valued function of a matrix depend only on eigenvalues?
Let $\mathcal{N}$ be the space of all $n \times n$ matrices that are similar to some nonnegative matrix with zero diagonal and let $f: \mathcal{N} \to \mathbb{R}$ be a continuously differentiable ...
0
votes
0
answers
244
views
Checking whether this would be bounded
It may be better to post this question here. Assume that $M$ is an $m$ by $m$ ($m$ is an even number) symmetric
positive-semi-definite matrix with exactly $m/2$ positive eigenvalues
and every entry of ...
0
votes
0
answers
325
views
Changing basis on an extension of a free Z-module.
Consider a finite-rank free $Z$-module $Y$. Let $c: Y \times Y \rightarrow Z$ be a $Z$-bilinear form. Assume that $c(y_1, y_2) + c(y_2, y_1)$ is even, for all $y_1, y_2 \in $. Then $c$ "incarnates"...
0
votes
0
answers
154
views
linsolve derivative
Consider a vector $\mathbf{g} \in \mathbb{R}^{m}$ and a matrix $\mathbf{A} \equiv \mathbf{A(g)} \in \mathcal{M}_{p\times q} \[\mathbb{R}\]$, a function of $\mathbf{g}$.
Furthermore, let $\mathbf{S} \...
0
votes
0
answers
204
views
Matrix Mutiplication through Matrix Logarithms and Exponentials
Let $A,B$ be full rank $n \times n$ matrices. If $AB = BA$, then $\exp(\log(A)+\log(B))=AB$.
Supposing $A = USL$ and $B = VSL$ where $U,V,S,L$ are integer valued matrices, $det(L)=1$ and $U = LVL^{-1}...
0
votes
0
answers
161
views
vector equation
Suppose you have an equation of the form $Hx=Ky$, where $x,y$ are vectors of length $n,m$ respectively ($m>n$) and $H,K$ are matrices of orders $n \times n,n \times m$ respectively. Is there some ...
0
votes
0
answers
138
views
Approximation of large dimensional vectors by vectors of smaller dimension
sIs there any (efficient) algorithm for the following problem:
Let $n = 128$ and $m = 64$ (in the end only $n > m$ matters) and $p_1, \ldots, p_t \in \{ -1,1 \} ^{128}$ be given ($t << 2^{...
0
votes
0
answers
276
views
Another matrix diagonalization problem
Given the matrices $X$ and $Y$ in $[0,1]^{n\times m}$, for $n > m > 3$, so that $X1_m=1_m$ and $Y1_m=1_m$, where $1_m$ denotes a $m$-length column vector of ones, find a matrix $Q$ in $R^{m\...
0
votes
0
answers
395
views
The ratio of two strictly increasing functions
Given:
\begin{equation}
f_1(a)=\sum_{i=1}^{k^*-1} \left(\begin{array}{c}
K \\\
i \\
\end{array} \right) \left(-1-\frac{1}{ar}\right)^i
\end{equation}
\begin{equation}
f_2(a)=\sum_{i=1}^{k^*-1} ...
0
votes
0
answers
109
views
Expansion (asymptotic) of scalar function of a square matrix , in terms of determinant of argument?
The title says it all. I have a scalar function (really, a determinant) of a square matrix argument. Can I find an (asymptotic) expansion of the function, in a series in the determinant of the ...
0
votes
0
answers
2k
views
In a network with N nodes, what is the general formula for computing the propagation of a set of numbers?
I am creating a circular neural network with N nodes. Each node is connected via a send pathway to every other node, and the connection between two nodes has a weight. Any number sent over the ...
0
votes
0
answers
430
views
[]-infinity algebra and Projective representation
This is a very vague question.
We know that some algebra structures can be viewed as modules of some fantastic stuff, call T. Such examples include: Abelian groups are $\mathbb{Z}$-modules, chain ...
0
votes
0
answers
158
views
Matrices satisfying certain pair-wise constraints
Consider given pairs of variables: $a_{ir1},a_{ir2}\in \mathbb{R}^{m \times m}$ and $a_{jr1},a_{jr2}\in \mathbb{R}^{m \times m}$, where $r \in \{1,2,\cdots,t\}$, consider the constraints:
$\sum_{r=1}^...
0
votes
0
answers
172
views
Generating Set for $O(V)$ over $\mathbb Z_2$
I am reading a claim that $O(V)$ — the orthogonal group associated with a finite-dimensional vector space $V$ over $\mathbb Z_2$ and a quadratic form $q$, i.e. the group of linear ...