Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Kinzlin's user avatar
  • 305
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 ...
user104452's user avatar
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\...
VMfoobar's user avatar
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 ...
Alex's user avatar
  • 501
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 ...
Ivan Pogildiakov's user avatar
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-...
jondal's user avatar
  • 71
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 ...
SiOn's user avatar
  • 493
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 ...
user avatar
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 ...
Daniel Soudry's user avatar
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 ...
Dmitry Vaintrob's user avatar
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 $\...
Miel Sharf's user avatar
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 $$ ...
ciyo's user avatar
  • 101
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 $$\...
geometricK's user avatar
  • 1,903
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, ...
user95393's user avatar
  • 121
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 ...
Obriareos's user avatar
  • 195
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 ...
Bedovlat's user avatar
  • 1,959
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 ...
Obriareos's user avatar
  • 195
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.: ...
norok2's user avatar
  • 111
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 $'$ ...
user avatar
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 ...
Creator's user avatar
  • 495
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$ ...
Ed Fischer's user avatar
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 ...
Yura's user avatar
  • 1
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 ...
Benjamin's user avatar
  • 2,099
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 ...
gil's user avatar
  • 265
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 ...
squattyroo's user avatar
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$ ...
sellibitze's user avatar
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,∞) ...
Michael Jarret's user avatar
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 ...
Turbo's user avatar
  • 13.9k
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 ...
M.Salem's user avatar
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 ...
Turbo's user avatar
  • 13.9k
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{...
Turbo's user avatar
  • 13.9k
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 &...
tbi's user avatar
  • 1
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}$-...
Mark.Neuhaus's user avatar
  • 2,074
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. ...
David Roberson's user avatar
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 ...
Shenghan Jiang's user avatar
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 ...
tomash's user avatar
  • 101
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 ...
Greyman's user avatar
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 ...
Royeh's user avatar
  • 161
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\...
dineshdileep's user avatar
  • 1,421
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. ...
Royeh's user avatar
  • 161
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} \; \...
user31016's user avatar
  • 311
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}...
user49843's user avatar
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$, ...
ilovecp3's user avatar
  • 187
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 ...
Adam's user avatar
  • 11
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" ...
Anixx's user avatar
  • 10.1k
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 ...
Spai's user avatar
  • 313
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, \...
David Harris's user avatar
  • 3,475
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 $...
joro's user avatar
  • 25.4k
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 ...
zacarias's user avatar
  • 801
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 ...
Gecko's user avatar
  • 109