All Questions
6,260 questions
0
votes
0
answers
195
views
Paths in graphs as a vector space or matroid
If I have a simple graph $G$, and what to count the number of simple paths between two distinct vertices, can the paths be seen as independent sets of a vector space, or even somehow, a matroid? I ...
0
votes
0
answers
121
views
Closed form solution to an equation
Let $X \in \mathbb{R}^{n \times d}, w \in \mathbb{R}^d, y \in \{\pm 1
\}^{n}, \alpha \in (0, 1)$. Consider the equation
$$ X^{\top}(Xw-y)+\alpha \|w\|_{2}X^{\top}\operatorname{sign}(Xw-y)+\alpha\frac{...
0
votes
0
answers
87
views
Orthogonal functions and linear operators
Consider the following function $f: [-1,1] \rightarrow \mathbb{R}$, expanded in terms of Legendre functions,
$$
f(y;\boldsymbol{\beta}) = \sum_{i=0}^{\infty} \beta_i P_i(y)
$$
where $\boldsymbol{\beta}...
0
votes
0
answers
35
views
Converting a vector in a cone statement to inequality constraints
I would like to convert the following condition for $x$
\begin{align}
x = N \lambda, \lambda \geq 0
\end{align}
to a pure linear inequality form, i.e. find an $L$ and eliminate $\lambda$
\begin{...
0
votes
0
answers
145
views
A cyclic inequality for a real vector space
Consider a finite-dimensional vector space $V$ over $\mathbb{R}$. A set of $n$ points $(x_i,y_i)$ in $V \oplus V^*$ is called good if
$$
(x_1,y_1) +\dotsb+ (x_n,y_n) \geq (x_1,y_2) + (x_2,y_3) + \...
0
votes
1
answer
129
views
Hadamard $\ell_2$ sum of two symmetric positive semidefinite matrices
This is a follow-up question to this and this.
Let $A=(a_{ij})$ and $B=(b_{ij})$ be symmetric positive semidefinite $n\times n$ matrices such that all $a_{ij}\geq 0$, $b_{ij}\geq 0$ and $a_{ii}=b_{ii}...
0
votes
0
answers
78
views
How to solve a quadratic matrix equation?
\begin{equation}
\boldsymbol{\omega^H} \boldsymbol{G} \boldsymbol{\Theta^H} \boldsymbol{h_r} \boldsymbol{h_r^H} \boldsymbol{\Theta} \boldsymbol{G^H} \boldsymbol{\omega}=a\\
\boldsymbol{\omega^H} \...
0
votes
0
answers
225
views
Solving a nonlinear matrix equation
Consider the following nonlinear matrix equation:
$B=PX^{−1}AX$
where $B$ and $P$ are a $1\times n$ row vector and $A$ is a $n\times n$ matrix which are all strictly positive, and $X=diag(x_1,...,...
0
votes
0
answers
52
views
How do I test two square matrices are transpose to each other if only the column vector summations are known?
Given two secret square matrices, say $\left( {\begin{array}{*{20}{c}}
{{a_{11}}}&{{a_{12}}}&{{a_{13}}}\\
{{a_{21}}}&{{a_{22}}}&{{a_{23}}}\\
{{a_{31}}}&{{a_{32}}}&{{a_{33}}}
\...
0
votes
0
answers
83
views
Matrix decomposition in a specific form
Can we prove that for any real valued $d\times d$ matrix $A$, $A$ can be decomposed to finite product of such matrices
$$A=\prod_{i=1}^n (I+R_i)$$
where $I$ is the identity matrix and $\operatorname{...
0
votes
0
answers
87
views
General term formula for sequences
Let $k_1,k_2,\cdots,k_n,\cdots$ be a sequence of known positive numbers. Define
$$
a_1:=k_1,\\
a_2:=C_2^2k_2+C_2^1k_1a_1,\\
a_3:=C_3^3k_3+C_3^2k_2a_1+C_3^1k_1a_2,\\
a_4:=C_4^4k_4+C_4^3k_3a_1+C_4^...
0
votes
0
answers
141
views
Two commuting matrices over a commutative ring
I would like to know if there are results about the dimension of the Algebra generated by two commuting Matrices over a ring (as there are in the case of a Field).
The good news is that "my" ring is ...
0
votes
1
answer
262
views
Perturbing a normal matrix
Let $N$ be a normal matrix.
Now I consider a perturbation of the matrix by another matrix $A.$
The perturbed matrix shall be called $M=N+A.$
Now assume there is a normalized vector $u$ such that $\...
0
votes
0
answers
176
views
Smallest eigenvalues of block Kronecker product
Let $D \in \mathbb{R}^{n \times n}$ defined as
\begin{equation}
D := \begin{pmatrix}
1 & 0 & \cdots & \cdots & 0 \\
-1 & 1 & \ddots & \ddots & 0 \\
\vdots & \ddots &...
0
votes
0
answers
231
views
What matrix has only negative or zero real part for all the eigenvalues?
Say $X \in \mathbb{R}^{m\times m}$,
Is it possible to have a constraint on $X$, such that all the eigenvalues has negative or zero real part?
What I conjecture
The following $X$ has only negative ...
0
votes
0
answers
36
views
What is the locus defined by those equations?
I would like to know what is the locus of $x \in \Bbb R_+^n$ ($n=2$ would already be fine) defined by
$\sum a_i \cdot x_i$ s.t. $a_i+\epsilon \geq 0$, $\epsilon \in \Bbb R$.
I know that if $\...
0
votes
0
answers
58
views
Quadrics over the univariate function field with discriminant of minimal degree
Consider a non-degenerate quadric $Q(x,y,z) \subset \mathrm{P}^2$ over the univariate function field $\mathbb{F}_p(t)$, where $\mathbb{F}_p$ is a prime finite field, $p > 2$. For simplicity assume ...
0
votes
0
answers
50
views
Examples of Binary Functions that Yield Regular Graphs with Invertible Adjacency Matrix
Question:
What are, provided their existence, examples of functions $f$ with the following properties:
\begin{align}f:& \ \mathbb{N}\times\mathbb{N}\ni(i,j)&\mapsto\ \quad\quad\...
0
votes
0
answers
643
views
A new generalization of the dimension?
During my research, I came a cross on these notions :
Definition 1: A structure $S$, is a pair $(X, \mathcal T)$ with $X$ a set and $\mathcal T$ a set of subsets of $X$, stable by arbitrary ...
0
votes
0
answers
64
views
Probability of collision of sums of vectors
Let $S_1$ and $S_2$ be sets of vectors from $\mathbb{R}^d$ that are distinct and let $\sigma(\cdot)$ be a non-linearity, e.g., a componentwise sigmoid function.
Does there exist a random matrix $R \...
0
votes
0
answers
369
views
Finding a point in the relative interior of the convex hull of a set of integer-valued vectors
Let $X \subset \mathbb{Z}^n$ be the set of integer-valued vectors satisfying a system of linear constraints. We can suppose that $X$ is the set of integral points in a given polyhydral set $Y \subset \...
0
votes
0
answers
224
views
Upper bound on matrix perturbation such that all eigenvalues lie within the unit circle
Consider the matrix
$$N=\left[\matrix{\mathbb{I}_n-\epsilon L & X\\ \epsilon Y & Z}\right]$$
where $\epsilon>0$ is a small positive parameter and $Z$ is a square $m\times m$ matrix with ...
0
votes
0
answers
181
views
Number of Symmetric matrices
Let $S_m(q)$ denote the space of all $m\times m$ symmetric matrices over the finite field $\mathbb{F}_q$ of size $q$. What is the number of matrices $A=(a_{ij})\in S_m(q)$ of rank at most $3$ and $a_{...
0
votes
0
answers
184
views
Oja's rule gives unit eigenvectors
Does Oja's rule for normalized Hebbian learning always result in a unit eigenvector which corresponds to the largest eigenvalue? Or are there any specific conditions or assumptions under which this is ...
0
votes
0
answers
98
views
Eigenvalues of a sequence of matrices involving the divisor function
Let $A_{n,k},k=1,\ldots,n$ be a sequence of $n\times n$ upper triangular matrices where $A_{n,1}=I_n$ and $A_{n,k},\quad 2\leq k\leq n$ be a regularly shifted and scaled matrix, with $P_{n,k}$ an $n\...
0
votes
0
answers
283
views
A symmetric matrix with nonzero principal minors is cogredient to a diagonal matrix via an upper triangular
A paper I'm reading in representation theory states the following result:
Let $F$ be a field of characteristic zero, and $x$ a symmetric matrix in $M_n(F)$ all of whose principal minors are not zero. ...
0
votes
0
answers
93
views
Changing Couplings of Discrete Random Variables
Let $X,Y$ be two discrete random variables. Two joint mass distributions (couplings) with marginals $X$ and $Y$ and with entries $p_{i,j}=\mathbb{P}_1(X=i,Y=j)$ and $p_{i,j}'=\mathbb{P}_2({X=i,Y=j})$ ...
0
votes
0
answers
100
views
Solutions of the linear equation from K[[X_1,X_2,X_3]] to K[[X_1,X_2]]
Let $A_3 := K[[X_1,X_2,X_3]]$ be a three-variable formal power series ring over a field $K$. We consider a linear equation
$(\sharp) \phantom{aa} a_1(X_1,X_2,X_3)Y_1 + \ldots + a_n(X_1,X_2,X_3)Y_n = ...
0
votes
0
answers
290
views
Need any information about an affine lattice
Motivation - I was thinking about calculating the integrals from An interesting integral expression for $\pi^n$? using old plain Riemann sums. There, one needs integrating over that part of $[0,1]^n$ ...
0
votes
0
answers
40
views
Question about a systematic row reduction algorithm for compressive sensing
Suppose a ''brute-force'' algorithm is designed to systematically select from the first $n$ columns of an $m \times (n+1),$ $m<n$ augmented matrix $G$ representing a consistent underdetermined ...
0
votes
0
answers
89
views
Show that a certain ratio of diagonal entries dominates a certain ratio of singular values
Let $D=[d_{ij}]_{i,j=1,\ldots,4}$ be a $4 \times 4$ “density matrix”, that is, a Hermitian (possibly symmetric) positive definite matrix having trace 1—that is, the (nonnegative) diagonal entries sum ...
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
337
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
309
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
253
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
840
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 $'$ ...