All Questions
6,026 questions
0
votes
0
answers
263
views
Does AX+XA=0 have any non-trivial solutions?
Let $X$ be a continuous linear self-adjoint operator on some Hilbert space $H$ and for arbitrary compact operators $A$ we have: $XA+AX=0.$ Does this imply that $X=0$ or can there be non-trivial ...
0
votes
0
answers
84
views
Number of solutions to non-linear equations
As part of our project, we are required to determine the total number of distinct solutions to the following equations.
There are $n$ variables of one type, say $\{p_i\}_{i=1}^n$, $m$ variables of ...
0
votes
1
answer
81
views
Can convex combinations of indicator functions for pairwise non-disjoint sets unordered by inclusion dominate one another?
Let $N$ be a finite subset of the naturals. Let $P$ be a set of subsets of $N$ such that:
1) $P\neq \varnothing$,
2) $\forall x\in P, |x| >1$,
3) $\forall x,y\in P,$ if $x\neq y$, then $x\not\...
0
votes
0
answers
68
views
A seemingly easy integer programming question
Let $k, m \in \mathbb{Z}_{ > 1}$. Let $a \in \mathbb{Z}_{> 0}^m$ and $t \in \mathbb{Z}^k$. Let $\varepsilon = (\varepsilon_{i,j})_{1 \leq i \leq m \\1 \leq j \leq k}$ be a matrix with entries in ...
0
votes
1
answer
250
views
Find the minimum distance of some bad binary code
Let $M$ be a $n \times n$ matrix over the finite field of two elements that satisfies the following property$\colon$ the total number of 1's in each row coincides with one in each column. In other ...
0
votes
0
answers
69
views
Quasi-stationary measure on a finite graph equals stationary measure?
Assume the simple random walk $X$ on the graph $G(V,E)$, s.t. $G$ is simple, undirected, finite, connected and let $B \subset V$, s.t. $V\setminus B$ is connected. Let $\sigma_B$ be the quasi-...
0
votes
0
answers
336
views
Pfaffian minors of skew symmetric matrix under perturbation
Suppose $A$ be a skew-symmetric matrix whose entries are positive numbers. A perturbation of $A$, $A'$, is obtained by adding another skew-symmetric matrix whose entries are positive integers.
My ...
0
votes
0
answers
203
views
Conical combination of rank 1 matrices with nonnegative entries
Let $A = (a_{ij})$ be an $n \times n$ matrix with entries in the nonnegative real numbers $\mathbb{R}_+$. Suppose that, for each $i = 1,\ldots, n$, the sum $b_i := a_{i1} + \cdots + a_{in}$ of the ...
0
votes
0
answers
182
views
The minimal angle between a vector and a subspace, given another minimal angle
Let $X$ be a set of vectors in $\mathbb{R}^d$. Denote $\theta$ to be the minimal angle between any two vectors in $X$.
Denote $\alpha$ to be an angle between (1) some vector $y\in X$ and (2) some ...
0
votes
0
answers
166
views
Endomorphism ring as ind-pro object
Let $Vect_f$ be the category of finite-dimensional vector spaces. This category comes with a very well-behaved duality functor. Now the ind-completion of this category (if I understand correctly) is ...
0
votes
0
answers
55
views
Continuous Functions On Grassmannans under containment restrictions
Let $V$ be a vector space. Suppose that for a $x\in V$, we are given some subspace of dimension no more than d (e.g., the kernel of some operator defined on V, which varies smoothly with x), call it $\...
0
votes
0
answers
698
views
Singular Values of Linearly Combined Matrices
I have a question related with singular values of matrix sums.
Let's assume I have matrices $A$, $B$, and $D$ (positive, semi-definite) where $D = A + B$. For singular values of $D$, I know that
$$
...
0
votes
0
answers
183
views
How to understand the change of basis in a certain differential equation?
Let $w:\mathbb{R} \times \mathbb{R}^n \rightarrow Mat(n,\mathbb{R})$ be a smooth function, $R_{ij}$ be a fixed skew-symmetric $n\times n$ real matrix, and $A\in\mathbb{R}$. Consider the equation $$\...
0
votes
0
answers
185
views
Sum of unit vectors always has a binary span after constrained permutations
Conjecture:
Let $e_1 = (1,0,\ldots,0), \ldots , e_{m_1+m_2} = (0,\ldots,0,1)$ be the unit vectors of the standard basis $E$ of $\mathbb{R}^{m_1+m_2}$.
An enumeration $ E \cup -E = \{f_1, \ldots, ...
0
votes
1
answer
307
views
Construction of orthonormal basis of the Hilbert space $\mathcal{S}^p_{\mathcal{H}}$ of vectors of $p \in \mathbb{N}$ Hilbert Schmidt operators
Let $(e_j)$ be a orthonormal basis (ONB) of a separable Hilbert space $(\mathcal{H}, \langle\cdot, \cdot\rangle_{\mathcal{H}})$ and $(\mathcal{S_H}, \langle\cdot, \cdot\rangle_{\mathcal{S_H}})$ be the ...
0
votes
0
answers
111
views
Sandwich rule for Lie algebras
On an infinite dimensional vector space an operator can be onto but not one-to-one (and vice versa). This arises the following question. Let $L_1$ and $L_2$ be Lie algebras (infinite dimensional, over ...
0
votes
0
answers
252
views
Hadamard product (Schur product) in $L^2[0,1]$
Let's consider the separable Hilbert space $\mathcal{H} = L^2[0,1]$ of square-integrable functions on the interval $[0,1]$ with orthonormal basis $(e_j)$. For $x,y \in \mathcal{H}$, the Hadamard ...
0
votes
0
answers
838
views
Simplifying product of matrix exponential?
Is there a known generalization for n-term matrix exponential multiplication?
I am aware that the Baker–Campbell–Hausdorff formula could be used, e.g.:
...
0
votes
0
answers
114
views
A linear combination problem
Given $0/1$ $n\times n$ matrix $M$.
Suppose we have $2$ vectors $\lambda,\mu\in\Bbb R^{1\times n}$ such that both
$$\lambda M\in\{0,1\}^{1\times n}$$
$$M\mu'\in\{0,1\}^{n\times 1}$$
holds with $'$ ...
0
votes
0
answers
322
views
Comparison of Parameter estimation using maximum likelihood and Maximum entropy
I am not sure if the question is appropriate but I want to try my luck. One can estimate a parameter using maximum likelihood and we know it is optimal. On the other hand there are methods which uses ...
0
votes
0
answers
212
views
Can we drop commutativity assumption?
Let $A$ be an associative algebra with a unit over a field $k$. fix $n > 1$. Define a $k$-algebra structure on the vector space $A^{\otimes n} = A \otimes_k \dots \otimes_k A$ (where there are $n$ ...
0
votes
0
answers
84
views
Can we increase spectral norms of All maximum size square submatrices by orthogonal perturbation?
Let the matrix $A$ consist of $k$ columns from some $n \times n$ orthogonal (unitary) matrix. It is obvious that there is no perturbation of $A$ which
leaves its columns orthonormal,
increases ...
0
votes
0
answers
53
views
Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action
I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...
0
votes
0
answers
369
views
Bounds on the smallest eigenvalue of a Hankel matrix
Let $H=H_n$ be a positive definite Hankel matrix of size $n$ with $\lambda_n$ is it's smallest eigenvalue.
What bounds are known on $\lambda_n$ in terms of the entries on $H$.
I can see some results ...
0
votes
1
answer
355
views
Lower bound on Spectral Gap of Rank one + Diagonal
For some $x\in\mathbb{R}^n, \|x\|_2^2=1$ and $\alpha\geq 0$, consider the positive semi-definite matrix
$$
X_\alpha := xx^T + \alpha\sum_{k=1}^nx_k^2e_ke_k^T.
$$
Suppose for simplicity that the ...
0
votes
2
answers
321
views
Solving sparse linear least squares or a positive definite 5-band matrix system fast
I want to quickly solve the following linear least-squares problem
$$\min_{x \in \mathbb{R}^n} \left\| A x - b \right\|_2^2$$
with a special sparse structure where each row in $A$ has only up to $4$ ...
0
votes
1
answer
130
views
Reference for measures of commutativity needed
I'm looking for an appropriate measure to quantify the extent to which two matrices commute. In other words, if A and B are two n×n Hermitian matrices, and [A,B]=C.
I'd like a function μ:Cn×n→[0,∞) ...
0
votes
0
answers
89
views
Degree of permutation of hypercube
Given $S_0\cup S_1=T_0\cup T_1=\{0,1\}^n$, $S_0\cap S_1=T_0\cap T_1=\emptyset$, with $|S_i|=|T_i|$ for both $i\in\{0,1\}$, what is degree of transformation that simultaneously maps $S_i$ to $T_i$ for ...
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
695
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
2
answers
153
views
Union of linear inequalities cover whole space?
We have $n$ variables $a_0,a_1,\ldots,a_n$ such that $a_i\geq a_{i+1}$.
There are $k$ sets of linear inequality constraints on the $a_i$.
I need to check that any choice of $a_i$ satisfies at least ...