Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
97 views

Dimension of the intersection of the commuting variety with a particular subspace

Let $\mathcal C$ denote the commuting variety of pairs of matrices in $M_n(\mathbb{C})$, defined as: $$ \mathcal C = \{ (A, B) \in M_n(\mathbb{C})^2 \mid [A, B] = 0 \}. $$ It is well known that $\...
darko's user avatar
  • 309
7 votes
1 answer
483 views

Invertibility of a matrix defined using inner product

Let $n,m \geq 1$. We fix $n$ distinct vectors $x_1, ... , x_n \in \mathbb{R}^m$. We define $A \in \mathbb{R}^{n\times n}$ as \begin{equation} A_{ij} = x_i^T \left(n x_j - \sum_{1 \leq k \leq n} x_k \...
Goulifet's user avatar
  • 2,306
0 votes
0 answers
46 views

max eigenvalue and schatten-1 norm of depolarizing channel acting on trace-0 Hermitian matrix

Denote $\mathcal{H}^n$ as the $n-$dimension Hermitian matrices. Depolarizing channel $\Delta_p:\mathcal{H}^2\to\mathcal{H}^2$ is defined as $\Delta_p(A)=p\text{ tr }(A)~I/2+(1-p)A$ where $A\in \...
qmww987's user avatar
  • 91
4 votes
1 answer
171 views

Maximizing trace subject to two equality constraints

I am looking at the following optimization problem $$\begin{align} \underset{{\bf X}}{\text{maximize}} \qquad&\mathrm{tr}({\bf AX})\\ \text{subject to} \qquad& \mathrm{tr}({\bf X}) = 1,\\ &...
usergh's user avatar
  • 43
0 votes
0 answers
87 views

Is there a name for "applying linear operations to vector sequences from the right"?

Let $v_1,...,v_n\in\Bbb R^d$ be a sequence of vectors. When we say that we "linearly transform" this sequence, we mean that we apply a linear transformation $T\in\Bbb R^{d\times d}$ to each ...
M. Winter's user avatar
  • 13.6k
-1 votes
0 answers
21 views

Choosing between matrix normal and multivariate normal for Bayesian inference

I’m working on a Bayesian inference problem where I need to estimate a graph structure G with a spike-and-slab prior on each edge of G. My likelihood model is built on observed data R and covariance ...
JJbox's user avatar
  • 1
5 votes
1 answer
539 views

Under what circumstances Is a symmetric matrix representable as a Coulomb matrix?

Question: I am exploring a neural network architecture inspired by physical interactions, where each neuron has associated "mass" and "position" vectors. The weight matrix between ...
mathoverflowUser's user avatar
2 votes
0 answers
67 views

Preserving invertibility with adding rows

Suppose I have two $m\times n$ matrices $A$ and $B$ such that an $m\times m$ submatrix of $A$ is invertible if and only if the corresponding $m \times m$ submatrix of $B$ is. Now let's say I append a ...
Kevin S.'s user avatar
15 votes
1 answer
518 views

Pairs of matrices for which traces of powers are independent of the order

Let $A,B$ be $n\times n$ matrices over ${\mathbb C}$ such that, for all $m,k$ and all partitions $(i_1,\ldots ,i_r)$ of $m$ and $(j_1,\ldots ,j_r)$ of $k$ (perhaps with some zero parts), $${\rm tr}\, (...
Paul Levy's user avatar
  • 1,336
0 votes
0 answers
50 views

Degree of determinant of a (non-monic) matrix polynomial

Let $n=2, 3, \dots$ and consider the matrix polynomial $L(\lambda)=\sum_{k=0}^{\ell}A_k\lambda^k$, where $A_k \in \mathbb{C}^{n\times n}$. In the so-called monic case (or that can be made monic by ...
94thomas's user avatar
8 votes
1 answer
361 views

Invertible matrix with group ring coefficient

Before asking the question I do need some notations. $G$ a (torsion-free) group, $\mathbb{Z}^{´}=\mathbb{Z}[\frac{1}{2}]$ $R:= \mathbb{Z}[G]$, $R^{´}=\mathbb{Z}^{´}[G]$ group rings. $Mat_{n}(R)$ the ...
GSM's user avatar
  • 223
0 votes
1 answer
102 views

Minimally change matrix with determinant 0

In the following matrix equation, all coefficients $a_{ij}>0$ and all $a_i>0$ and the column sums in the matrix $A$ are all 0 (e.g. $-a_{11}+a_{21}+a_{31}=0$, etc.). This means that the ...
user508589's user avatar
2 votes
1 answer
158 views

The relationship between a matrix and its coefficient matrix decomposed in Pauli matrix

For a dimension-$4$ Hermitian matrix $A$, denote pauli matrices $\{I,X,Y,Z\}$ as $\{\sigma_0,\sigma_1,\sigma_2,\sigma_3\}$ respectively. The pauli matrices form a basis of the matrix space if we take ...
qmww987's user avatar
  • 91
0 votes
1 answer
127 views

Under what conditions does $x^TA^{-1}y> 0$ hold? $A$ is a symmetric positive definite matrix,$A\in \mathbb{R}^{n\times n}_+, x,y\in \mathbb{R}^{n}_+$

This is a tricky problem I encountered in my research. $A\in \mathbb{R}^{n\times n}_+, x,y\in \mathbb{R}^{n}_+$, i.e. $\forall 1\leq i \leq n, 1 \leq j\leq n, A(i, j)>0, x(i), y(i)>0$. As known, ...
Songqiao Hu's user avatar
0 votes
0 answers
68 views

Inequality between product of companion matrices and power of Pisot number

Let $d\geqslant 2$ be an integer and consider a convergent sequence of "companion" matrices $$A_k := \begin{pmatrix} a_{k,1} & a_{k,2} & \cdots & a_{k,d} \\\ & ...
Kermatoni's user avatar
  • 101
5 votes
1 answer
303 views

Efficiently computing $\prod_{i=1}^{n} A_i$

Let $k$ be a nonnegative integer, how to compute $\prod\limits_{i=1}^{n} A_i$ quickly and accurately, where $$A_i=\begin{bmatrix} 0 & 1\\ i^k & 1 \end{bmatrix}?$$ I know if $k=0$, we can use ...
user369335's user avatar
0 votes
0 answers
52 views

What are the injective embeddings of R^d into the cone of (semi-) positive definite matrices of dimension d?

How can we characterize the set of all injective functions from $\mathbb{R}^d$ to the set of all symmetric positive definite matrices of dimension d?
Drmanifold's user avatar
1 vote
0 answers
63 views

The rank of a matrix expression

I'm studying discrete-time LTI systems and state estimators for them. Recently, I studied this paper. I am facing a matrix rank calculation problem and having trouble solving it. I will provide more ...
Mostafa - Free Palestine's user avatar
4 votes
1 answer
230 views

$\omega\times\omega$-Hadamard matrices

In the following, we define infinite Hadamard matrices. Let $\omega$ be the set of non-negative integers. If $f,g:\omega\to\{-1,1\}$ are maps, then we say $f,g$ are approximately orthogonal if $$\...
Dominic van der Zypen's user avatar
2 votes
2 answers
227 views

Is a probabilistic implementation of unitaries invertible?

Let $\{p_j\}_j$ be a set of probabilities, $\sum_j p_j = 1$, let $\{h_j\}_j$ be a set of $n \times n$ Hermitian matrices, and define $ad_h(A) $ be the adjoint. Define the following linear mapping $$ E(...
Hans Schmuber's user avatar
15 votes
3 answers
1k views

Are automorphisms of matrix algebras necessarily determinant preservers?

Is every automorphism $\phi : A \to A$ of a subalgebra $A \subseteq M_n$ necessarily a determinant preserver? I would assume that the answer is no in general, but I'm unable to find an example (or any ...
mechanodroid's user avatar
3 votes
1 answer
143 views

A problem about matrix inverse and regularization methods

I'm researching the problem of solving the equation $A\mathbf{x}=\mathbf{b}$ with ill-conditioned matrices. We know that if we solve it directly, like $\mathbf{x}=\mathrm{inv}(A)\ast\mathbf{b}$, then ...
bing's user avatar
  • 33
4 votes
1 answer
170 views

About $CW(512,16^2)$

Definitions: A weighing matrix $W = W(n,k)$ with weight $k$ is a square matrix of order $n$ and entries $w_{ij}$ in $\{0, \pm 1\}$ such that $WW^T=kI$, where $I$ is the identity matrix. A circulant ...
user369335's user avatar
3 votes
0 answers
118 views

A matrix-valued analogue of a classical inequality

Let $p \geq 4$ be an even integer. In the study of variational problems in $W^{1, p}$, it is handy to know that for $a, b \in \mathbb R^d$, $$|a - b|^p \leq 2^{p - 1} (|a|^{p - 2} + |b|^{p - 2}) |a - ...
Aidan Backus's user avatar
0 votes
1 answer
66 views

Correct conditions for the image of a matrix to intersect a cone?

Given an $m \times n$ real (or rational) matrix $A = (a_{ij})$, what are necessary and sufficient conditions for the image of this matrix to intersect a cone? I am specifically interested in the cone $...
LGe's user avatar
  • 11
1 vote
0 answers
40 views

Bound of entries of inverse of a unimodular matrix whose row sum is bounded

Many questions have been asked about the bound of the entries of the inverse of a matrix subject to certain conditions. Here my condition is slightly different: let $A=(a_{ij})$ be an $n \times n$ ...
oleout's user avatar
  • 895
10 votes
3 answers
455 views

When does $\det(\frac{A+A^T}{2})=\det(A)$ for positive-definite $\frac{A+A^T}{2}$?

Setup: Let $A$ be a real square matrix and assume its symmetric part $\frac{A+A^T}{2}$ is positive-definite. The inequality $$ \det\left(\frac{A+A^T}{2}\right) \leq \lvert\det(A)\rvert $$ is known as ...
Aditya Bandekar's user avatar
0 votes
0 answers
43 views

Absolute value of elements of b=Ax and the minimum singular value of A

For $b=Ax$, is there a way to relate the minimum absolute value of the element of $b$, $\min|b_i|$, and the minimum singular value, $\sigma_\text{min}$, of $A$? What I want is something like: $\sigma_\...
William Lin's user avatar
1 vote
1 answer
391 views

How one can show that this matrix is full rank?

Fix $d\in\mathbb{N}$ and consider $e_{i,j}\in\mathbb{C}$ for $i=1,\dots,d+3$ and $j=1,\dots,d-1$. Suppose to have the following matrices $$N_{i,1}=\begin{pmatrix} 1 & 0 \\ e_{i,1} & 1 \end{...
Stefano's user avatar
  • 11
3 votes
0 answers
109 views

How much a general a theory of matrices equivalence under group actions we have?

Let $F$ be a field and let $M_{m,n}\,(F)$ be the $F$-linear space of $m \times n$ matrices over $F$. Let $G$ be a group acting on $M_{m,n}\,(F)$. My question is: Do we have some theory about the ...
en-drix's user avatar
  • 157
0 votes
0 answers
32 views

Finding measure representation for rank 2 moment matrices

Assuming the following equation has a solution, I'm interested in finding any concrete values of $x_{1},\dots x_{n},y_{1},\dots y_{n},c_{1},c_{2},R$ that fulfills it. $$ \begin{bmatrix} 1 & 1 \\ ...
patchouli's user avatar
  • 275
0 votes
0 answers
101 views

Eigenvectors of tridiagonal hermitian matrix

In my paper, I investigate the coordinates of the eigenvectors of a hollow tridiagonal hermitian matrix, which is defined as: \begin{align*} Q_n = \begin{pmatrix} 0 & q_{1,2} & 0 & 0 & ...
Denis's user avatar
  • 1
7 votes
2 answers
200 views

When is a linear isomorphism of $M_n(\mathbb{C})$ given by unitary conjugation?

Let $M_n(\mathbb{C})$ represent the space of $n \times n$ matrices over $\mathbb{C}$. We will think of it as a $\mathbb{C}$-vector space. Notice that if $A \in M_n(\mathbb{C})$ is invertible, then the ...
Rahul Sarkar's user avatar
7 votes
1 answer
270 views

Existence of a linear map resulting in the determinant being an elementary symmetric polynomial

Let $1 \leq k \leq n$ be fixed integers. Let $\mathcal{M}_n^{\mathrm{H}}$ be the set of $n \times n$ complex Hermitian matrices (if it makes it easier to answer this question, you may instead use the ...
Nathaniel Johnston's user avatar
2 votes
0 answers
160 views

An "almost" true inequality for Hermitian matrices

Let $A$ be an $N\times N$ Hermitian matrix. For $p+q$ even, consider the following inequality: $$\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} (A^q)_{ii} \geq \Big(\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} \Big) \Big(\...
WunderNatur's user avatar
6 votes
0 answers
130 views

Bent vectors and $\pm 1$ eigenvectors with respect to non-Sylvester Hadamard matrices

A Hadamard matrix is an $n\times n$-matrix $H$ where each entry in $H$ is $\pm 1$ and where $H/\sqrt{n}$ is orthogonal. It is well-known that if $H$ is an $n\times n$-Hadamard matrix, then $n<3$ or ...
Joseph Van Name's user avatar
7 votes
1 answer
388 views

Questions on symmetric Hadamard matrices

Definitions: An $n\times n$ Hadamard matrix (HM for short) is a matrix whose entries are either $1$ or $−1$ and whose rows are mutually orthogonal. If $A$ is a symmetric matrix, then $A = A^T$ and if $...
user369335's user avatar
2 votes
0 answers
78 views

Partitions of bent vectors

Let $H=\frac{1}{\sqrt{2}}\begin{bmatrix}1 & 1 \\ 1 & -1\end{bmatrix}.$ Let $A^{\otimes N}$ denote the tensor product of the matrix $A$ with itself taken $N$ times. We say that a vector $v$ of ...
Joseph Van Name's user avatar
6 votes
0 answers
111 views

Factorization to sparse matrices

$\newcommand{\lrank}{\operatorname{lrank}}$ $\newcommand{\rank}{\operatorname{rank}}$ Given a matrix $A$, we can define its Hamming weight, $w(A)$, as the number of non-zero elements in it. Now, given ...
Daniel Weber's user avatar
  • 3,319
9 votes
2 answers
244 views

Matrix invariants for simultaneous conjugation by a finite subgroup of $\textrm{GL}_n$

Let $K$ be a field of characteristic 0, and consider $d$ generic $n\times n$ matrices $X_1,\ldots,X_d$ where $X_k = (x_{ijk})_{ij}$ and $ K[x_{ijk}]$ is the polynomial algebra in $n^2 \cdot d$ ...
Greg Zitelli's user avatar
  • 1,084
0 votes
0 answers
72 views

Minimizing the Spectral Norm of the Hadamard Product of a Quadratic Form Using CVX

I am trying to use CVX to minimize the spectral norm of the Hadamard product of two matrices, one of which is in quadratic form. Specifically, I am trying to minimize $\|{\bf A} \odot {\bf XX}^H\|_2$, ...
usergh's user avatar
  • 43
1 vote
0 answers
63 views

Reference request for non-banded Toeplitz matrix

I want to know references that treat the property of eigenvalues and eigenstates of the non-banded Toeplitz matrix. I mean for example, the Toeplitz matrix $A$ whose matrix element is given by $A_{ij}=...
hos's user avatar
  • 11
1 vote
0 answers
45 views

Rank of Hadamard product of column-wise polynomial evaluations and row-wise exponential evaluations

Consider the Hadamard product $A \odot B$ between two special matrices $A,B \in \mathbb{R}^{n \times m}$. The columns of $A$ are evaluations of polynomials, while the rows of $B$ are evaluations of ...
user31127's user avatar
0 votes
0 answers
36 views

Conjugate gradient-like algorithm with multiple search directions

I am solving an $n*n$ system $Ax=b$ in CUDA where $A$ is a sparse matrix. Currently I am solving it using the conjugate gradient algorithm. I have noticed that $Ax$ where $x$ is $n*1$ has roughly the ...
SRB121's user avatar
  • 71
2 votes
1 answer
345 views

What's the explicit value of this determinant

Let $n\ge2$ be a positive integer, and let $b_1,\cdots,b_n, c_1,\cdots, c_n$ be variables. Recently, I met the following determinant: $$\det A=\left|\begin{array}{cccc} 1 & b_1+c_1 & b_1^2+c_1^...
Beginner's user avatar
0 votes
0 answers
66 views

Random elliptical potential lemma

Elliptical Potential Lemma: Let $V_0 \in \mathbb{R}^{d \times d}$ be positive definite and $a_1,a_2,...,a_n \in \mathbb{R}^{d}$ be a sequence of vectors with $||a_t ||_2 \leq L < \infty$ for all $t ...
Mixi Andrew's user avatar
1 vote
1 answer
294 views

Nearest Kronecker product to sum of Kronecker products

I am interested in efficiently finding the closest Kronecker decomposition to the sum of $k$ Kronecker products: $$\min_{A,B} || A \otimes B - \sum_{i=1}^k A_i \otimes B_i ||_F$$ where $A,A_i$ are $p \...
Daniel's user avatar
  • 111
0 votes
1 answer
127 views

update rule for the inverse after a rank-1 update plus scaled identity

Is there an update rule for $$\left(\tilde{X}^T\tilde{X}+\alpha\cdot I\right)^{-1}$$ with $\tilde{X}=[X\;\; a]$ as a function of $A\triangleq (X^TX)^{-1}$, $X$ and $a$? I know that when $\alpha=0$ we ...
Student88's user avatar
  • 503
3 votes
2 answers
449 views

Guess the next polynoms in the sequence (MO vs. AI :), count anticommuting $F_p$-matrices, P. Hrubeš conjecture

Here is a sequence of polynoms - (presumably) counting N-tuples of ANTI-commuting 2x2 matrices over $F_p, p>2$. (That is just the case of 2x2 matrices, and (surprisingly) it is not so easy to see a ...
Alexander Chervov's user avatar
7 votes
1 answer
238 views

Hadamard product decomposition with lower rank matrices

Given integers $k$ and $l$ and a matrix $A$ of rank $kl$, can we always find a matrix $B$ of rank $k$ and a matrix $C$ of rank $l$, such that $A$ is the Hadamard product of $B$ and $C$, namely $A=B \...
Yuchen He's user avatar

1
2 3 4 5
34