Skip to main content

Questions tagged [linear-algebra]

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

Filter by
Sorted by
Tagged with
-1 votes
1 answer
185 views

eigenvalues of $I\otimes B\otimes C + A\otimes I \otimes C + A\otimes B \otimes I $

Let $A$, $B$ and $C$ be symmetric matrices. What can we say about eigenvalues of $I\otimes B\otimes C + A\otimes I \otimes C + A\otimes B \otimes I $?
Moh514's user avatar
  • 461
-1 votes
1 answer
247 views

Maximal commutative subrings of the endomorphism ring of a vector space

Let $\mathbb{F}$ be a field, and $\mathbf{V}$ a possibly uncountably generated $\mathbb{F}$-vector space. Let $\mbox{End}_\mathbb{F}(\mathbf{V})$ be the endomorphism ring of $\mathbf{V}$. That the ...
Bedovlat's user avatar
  • 1,959
-1 votes
1 answer
172 views

$A\geq B\Rightarrow A^{-1}\leq B^{-1}$ entrywise for pos.def. symmetric matrices?

My question follows from https://math.stackexchange.com/questions/3857976/inverse-inequality-of-symmetric-matrix. Suppose we assume that $A$ and $B$ are two positive definite matrices with positive ...
user812951's user avatar
-1 votes
1 answer
215 views

Dense linear span implies closed convex hull has non-empty interior

Let $X$ be a Fréchet space and let $Y\subseteq X$ such that $\overline{\operatorname{span}(Y)}=X$. It seems intuitive to me that $\operatorname{int}\big(\overline{\operatorname{co}(Y)}\big)$ is a non-...
ABIM's user avatar
  • 5,405
-1 votes
1 answer
195 views

Determinant of $Z^TZ$ [closed]

If one is looking at the characteristic polynomial of the $m \times m$ dimensional matrix $Z^TZ$ then apparently the coefficient of $(-1)^{m-k}$ in it can be written as, $\sum_{U \subset [m], V \...
gradstudent's user avatar
  • 2,246
-1 votes
1 answer
121 views

On rank one torsion-free modules over local rings [closed]

Let $A$ be a local ring which is also an integral domain and $M$ be a rank one $A$-module. Denote by $k$ the residue field of $A$. Is $\dim M \otimes_A k \le 1$? If not, is there a known upper-bound ...
Ron's user avatar
  • 2,126
-1 votes
1 answer
1k views

How to show the square root function of a positive semidefinite matrix is differentiable? [closed]

How to show the square root function of a positive semidefinite matrix is differentiable? In this context PSD means symmetric PSD.
Hao S's user avatar
  • 111
-1 votes
1 answer
142 views

Action of rotation group on Matrices [closed]

Is the following assertion true? Suppose $p, q \geq 3$. Consider the action of $SO(p,\mathbb{R})$ on $p \times q$ matrices by left multiplication. I want to show that $MA = A$, where $M \in SO(p,\...
Vanya's user avatar
  • 601
-1 votes
1 answer
1k views

Sum of two unitary matrix is equal to every matrix? [closed]

Let $R=M_{n}(Z_{2})$, can we write every matrices of $R$ as sum of two matrices of $GL_{n}(Z_{2})$?
Moh514's user avatar
  • 461
-1 votes
1 answer
137 views

Does a half plane contain intersection of some other half planes? [closed]

I'm doing research in Optimization and I have found this obstacle in the way. If we have set of half planes like $c_ix\leq b_i$ where $i\in \{1,\ldots ,k\}$ there is an algorithm(it would be better ...
Nothing's user avatar
  • 19
-1 votes
2 answers
438 views

Are the coefficients of a linear combination of random vectors as random?

Given are $2n$ random vectors $x_i,y_i\in\mathbb{C}^n$ for $i=1,\ldots,n$ which entries are drawn iid from some absolutely continuous distribution. Every set of $n$ different of those vectors is ...
Rob's user avatar
  • 271
-1 votes
1 answer
360 views

Which operators other than self-adjoint operators have no purely imaginary eigenvalues? [closed]

Given an operator mapping between suitable spaces, what is the condition that guarantees all eigenvalues have nonzero real part? Obviously self-adjointness implies all eigenvalues are real, but how ...
Tobi's user avatar
  • 7
-1 votes
1 answer
155 views

Companion matrices must have geometric multiplicity one, linear recurrence sequence view [closed]

I posted this question on math stackexchange weeks ago, and it have not receive an answer yet after a bounty offer... I've been recently playing around with the linear recurrence sequences. Consider ...
Lab's user avatar
  • 109
-1 votes
1 answer
323 views

Expressing the sum of two squared inner products more compactly: is it possible to lift the dimension? [closed]

Let $v_1,v_2\in\mathbb{R}^d$ be two fixed vectors, and $\langle \cdot,\cdot\rangle_{\mathbb{R}^d}$ be the usual Euclidean inner product in $\mathbb{R}^d$. My question is as follows. Is there an (...
hookah's user avatar
  • 1,096
-1 votes
1 answer
62 views

Basic operation geometrical meaning [closed]

What is the geometrical meaning of doing $x^TAx \;$? $Ax \; $ is trivially "applying A to x", but then, what the multiplication for $x^T$ stands for?
Mattia Podio's user avatar
-1 votes
1 answer
132 views

About a property in a reflexive Banach space

Let $E$ be a reflexive Banach space. Let $\{x_n\}_n$ be a bounded sequence of linearly independent elements of $E$. Does there exist a sequence $\{\phi_n\}_n$ of elements of $E^*$ (the dual of $E$) ...
MSMalekan's user avatar
  • 2,118
-1 votes
1 answer
174 views

Question about proof of positive roots under reflection

Since I did not receive a lot of responses on Math Stack Exchange I would like to repost this question here. Let $(W, S)$ be a finite Coxeter system. Furthermore, let $V$ be a real vector space with ...
Diglett's user avatar
  • 103
-1 votes
1 answer
85 views

Optimizing a non-operator bilinear product over a Hilbert space

Sorry to use bra-ket notation, but I studied Physics, not Math. Consider a bilinear-product defined by $\langle x'|F|x \rangle = \langle x'|F(x',x)|x \rangle = F(x',x)$ such that, in general, $\...
Luke Durback's user avatar
-1 votes
1 answer
119 views

Is this operation on infinite matrices associative?

This is an additional question to that question, inspired by Leonid Petrov. Let $\text{Mat}(\mathbb{N},\{0,1\})$ be the set of all maps $A:\mathbb{N}\times\mathbb{N}\to \{0,1\}$. We define a matrix ...
Dominic van der Zypen's user avatar
-1 votes
1 answer
173 views

finding a unitary submatrix inside a random matrix

Let $\mathbf{R} \in \mathbb{C}^{~m \times n} $ with $m \leq n $ be a random matrix, whose entries are i.i.d zero mean random variables with circularly symmetric Normal distribution. Let where $r$ be ...
Jeff's user avatar
  • 482
-1 votes
1 answer
83 views

Dimension of some ideal in the group ring Z/p[Z/p]

Let I be the augmentation ideal of the group ring Z/p[Z/p] and I^n denotes the ideal generated by all possible products of n elements from I. Question: What is dimension of I^n as a vector subspace ...
Surojit Ghosh's user avatar
-1 votes
1 answer
2k views

Inequality between two matrices

Given a full rank $n \times m$ matrix $K$ with $m<n$ and an invertible symmetric matrix $J$. Let $A$ be a symmetric positive semi-definite $n \times n$ matrix such that \begin{equation} (K^T K)^{-...
Jlamprong's user avatar
  • 133
-1 votes
2 answers
605 views

Approximating a subspace by sampling a base without replacement

Let $X$ be a $p \times n$ matrix, with $p > n$. Now, suppose I sample $m < n$ columns from $X$ at random, without replacement. I would like to characterize the distance between the subspace ...
gappy3000's user avatar
  • 461
-1 votes
1 answer
77 views

Variance of the logarithm of the mixed Rademacher and complex Gaussian distribution

Consider the scenario where $X$ is a Rademacher random variable taking values $\{−1,+1\}$ with equal probability, and $Z$ is a complex Gaussian random variable with a mean of $0$ and a variance of $\...
Math_Y's user avatar
  • 287
-1 votes
1 answer
68 views

Bound for an expectation of random matrix with quantized random variable

Let random matrix $\mathbf{X} \in \mathbb{C^{\mathrm{m} \times \mathrm{n}}}$ and random vector $\mathbf{y} \in \mathbb{C^{\mathrm{m} \times 1}}$ are unknown distributed, but their covariance and ...
A. R.'s user avatar
  • 25
-1 votes
1 answer
825 views

How to calculate determinants of such types?

Consider next determinant that we want to expand around $h=1$ \begin{eqnarray} Z_q \ = \ h^{N N_f} \ \ \left ( \prod_{n=1}^{N} \ \sum_{l_n=0}^{N_f -q} \ h^{2l_n+q} \ \binom{N_f}{l_n} \right ) \ \...
Sergii Voloshyn's user avatar
-1 votes
1 answer
65 views

A follow-up question in a proof in a paper on complete multipartite graphs

A follow-up question from the following article/paper: "Proof of a conjecture on distance energy change of complete multipartite graph due to edge deletion" by Shaowei Sun and Kinkar Chandra ...
User8976's user avatar
  • 199
-1 votes
1 answer
60 views

Linear operator over a simplex space in a multinomial distribution parameter estimation problem

This is actually a variant of a well-known problem of how the parameters of a multinomial distribution can be estimated by maximum likelihood, and this arises from a final year project I undertook ...
Hephaes's user avatar
-1 votes
1 answer
330 views

Holder inequality for a general rectangular matrix

Let $A \in \mathbb{R}^{m\times n}$ and $p,q \in \mathbb{R}^{+}$ such that $\frac{1}{p}+\frac{1}{q}=1$. I am interested to prove the following: $$ \|A\|_{p}=\|A^T\|_q$$ I have tried using Holder ...
Prashant Govindarajan's user avatar
-1 votes
1 answer
94 views

How many hyper-rectangle-like objects are intersecting a hyperplane?

Let $A\in \mathbb R^{n\times n},\ b\in \mathbb R^n$ such that $\forall x\in \{-1,1\}^n : Ax\ne b$. Let us denote: $S=\{x\in\mathbb R^n|Ax=b\}$ ('S' for solution set). Is $\ \#\Big\{H\in\big\{ \{-1\},...
Dudi Frid's user avatar
  • 265
-1 votes
1 answer
397 views

Bound for psd-matrix weighted norm of two related vectors

Let two vectors, $\mathbf{x}, \mathbf{y}$ be related as: $0 \leq x_i \leq \lambda y_i$, for some $\lambda > 0$. That is, $\mathbf{x}$ is coodinate-wise dominated by a scaled version of $\mathbf{y}$....
user125930's user avatar
-1 votes
1 answer
180 views

Orthogonal polynomials of the second kind

Let $L: \mathbb{R}[x] \rightarrow \mathbb{R}$ be a positive definite linear functional and let that $\{s_n\}$ be a positive semi-definite sequence such that $L(x^n)= s_n, n\ge 0.$ Given a positive ...
Jaynot's user avatar
  • 1
-1 votes
1 answer
132 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 \log(A)...
hamid kamali's user avatar
-1 votes
1 answer
460 views

Orthogonal decomposition of conditional expectations

Suppose I have a random variable $x$ and a set of conditional distributions on $x$. Here is an example where the conditionals are nested: $$q_1 := E(x|y_1), \quad q_2 := E(x|y_1,y_2),\quad q_3 := E(x|...
Laurent Lessard's user avatar
-1 votes
1 answer
293 views

spectrum of a special class of tridiagonal matrices

Consider a real and symmetric tridiagonal matrix with zero diagonals and where subdiagonals and superdiagonals are equal to 1 except the (1,2)-th component being equal to $a$, i.e., $$\begin{bmatrix}...
Tanyanat's user avatar
-1 votes
1 answer
200 views

Collecting terms of a linear expression with nested sums and combinatorics in coefficients

I need to collect the $\Pr(\cdot)$ terms of the following expression: $\sum_{m=3}^{n}\frac{g_{m}\left( \cdot \right) }{\left( \sqrt{\theta \left( 1-\theta \right) }\right) ^{m}}\left[ \sum_{j=2}^{m-1}...
Giovanni Ursino's user avatar
-1 votes
1 answer
1k views

Rank of covariance matrix whose diagonal elements are same [closed]

Suppose A is a covariance matrix whose diagonal elements are same, i.e. $A_{1,1}=A_{2,2}=\cdots=A_{N,N}$, can we conclude that A is full rank? Suppose the absolute values of the off-diagonal elements ...
user2008790's user avatar
-1 votes
1 answer
175 views

Regularized Gradient with respect to a matrix (with a specific structure)

Suppose we have a typical logdet function $\mathcal{L}$ $$ \mathcal{L} = \log\vert \mathbf{I} + \mathbf{A}\mathbf{S} \vert - \mathbf{q}^T(\mathbf{A}^{-1} + \mathbf{S})^{-1} \mathbf{q}, $$ where $\...
liubenyuan's user avatar
-1 votes
1 answer
492 views

Upper bound on iterations count for power iteration algorithm

I'm stuck trying to get upper bound on iterations count for power iteration algroithm for finding first eigenvalue of adjacency matrix $A$ given tolerance value. I've tried to figure something out ...
TotalNoob's user avatar
-1 votes
1 answer
2k views

Absolute values and Frobenius norm [closed]

The Frobenius, or Hilbert-Schmidt, norm of an $n$ by $n$ matrix $A$ is defined as $\|A\|_2 = \sqrt{\sum_{i,j=1}^n |A_{ij}|^2}$. The absolute value of $A$ is the unique positive matrix $|A|$ satisfying ...
Chris's user avatar
  • 1
-1 votes
1 answer
383 views

On the permanent dominance conjecture for symmetric group

The Lieb's permanent dominance conjecture states that the expression $$\frac{d_{\chi}^HA}{\chi(e)}\le per(A)$$ holds for all positive semidefinite matrices $A$, where $d_{\chi}^HA=\sum_\limits{\sigma\...
vidyarthi's user avatar
  • 2,089
-2 votes
3 answers
2k views

When is it possible to find the sum of all elements of inverse of a matrix?

Given sum of elements of each row of a positive definite square matrix $M$ of order $n$ all of whose entries are non-negative, when is it possible to find the sum of all elements of the matrix $M^{-1}$...
Learnmore's user avatar
  • 135
-2 votes
6 answers
3k views

Is this an if-and-only-if definition of affine? [closed]

x -> A x+ b. Quoted from Affine transformation: In general, an affine transformation is composed of linear transformations (rotation, scaling or shear) and a ...
Learner's user avatar
  • 21
-2 votes
3 answers
447 views

Determinant of matrix from set {-1, 1} [closed]

Let $A \in \mathbb{R}^{11 \times 11}$ and it's elements are form set $\{ -1,1 \}$. $\mathbb{P}(-1) = \mathbb{P}(1) = 0.5$. What is a probability to get such a matrix, that $\det A > 4000$? I have ...
noone's user avatar
  • 45
-2 votes
1 answer
594 views

Is dual cone unique? [closed]

Suppose we have the following relationship, note that $A,B,C$ are closed convex matrix cones, $A^\ast=C,$ $B^\ast=C,$ can we state that $A=B$? Is the dual cone of a cone is unique? the definition ...
ilovecp3's user avatar
  • 187
-2 votes
1 answer
329 views

Module such that every finitely generated submodule is semisimple [closed]

Is there an example of a module $M$ (over a commutative ring) that is not free, and such that each of its finitely generated submodule is semisimple (i.e. such that any submodule of any finitely ...
Jon-S's user avatar
  • 549
-2 votes
1 answer
433 views

Eigenvalues of cyclic tridiagonal matrix [closed]

The following matrix is the result of a special kind of balanced signed graph of order $n$. In the Matrix $n_1,n_2,..,n_k$ are positive integers, which satisfy $\sum n_i=n.$ Prove that this matrix ...
Ranveer Singh's user avatar
-2 votes
1 answer
172 views

About intersections of two totally isotropic subspaces fo a quadratic form [closed]

Let $Q$ be a quadratic form on $\mathbb R^{2m}$ with the signature $(m,m)$. The maximal totally isotropic subspaces in $(\mathbb R^{2m},Q)$ have then dimensions $m$. What dimensions $1,...,m-1$ of ...
M.M2's user avatar
  • 11
-2 votes
2 answers
167 views

Multiple Linear Regression Estimation without full recalc [closed]

Ok, so I am running a classic linear regression where betahat = (X'X)^-1X'y Due to performance issues, I would like to estimate betahat with an additional data point (x1,x2,x3,x4,...,y) without ...
Jeremy's user avatar
  • 1
-2 votes
1 answer
327 views

A Matrix equation

Let $A$ and $B$ be two $n \times n$ full-rank matrices. Let $XAY = B$ be the given equation where $X$ and $Y$ are unknown $n \times n$ matrices. We know that $Vec(B) = (Y^{T} \otimes X)Vec(A)$. Under ...
user16007's user avatar
  • 800