**6**

votes

**2**answers

318 views

### $\|T\|_2 \le \sqrt{\|T\|_1\|T\|_\infty}$

Let $T$ be a linear operator acting on a finite-dimensional real or complex
vector space. As a direct consequence (or rather a particular case) of the
Riesz-Thorin theorem, we have
$$ \|T\|_2 \le ...

**-1**

votes

**1**answer

149 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.,
...

**1**

vote

**0**answers

108 views

### Bounds for the infinity norm of the inverse for certain diagonaly dominant matrices

I m trying to analyse the stability against perturbations for a specific system of linear equations $Ax=b$.
For this, i use the standard condition number $||A||_{\infty}||A^{-1}||_{\infty}$.
Here ...

**3**

votes

**1**answer

169 views

### eigenvalues of product of many symmetric positive definite matrices

Given $A_1, ..., A_n$ ($n\geq 3$), where each $A_i$ is a $d$-by-$d$ symmetric, positive definite matrix, define $S = A_1\cdot A_2\cdot...\cdot A_n$ (product of all the $A_i$'s). Let $\lambda_1(A)$ and ...

**3**

votes

**1**answer

368 views

### Is every element of $\mathrm{SL}(n,R)$ of finite order diagonalizable?

Let $k>0$ be an integer, let $R$ be a ring (commutative, unital), which contains $\mathbb{Q}$ (i.e. with a ring homomorphism $\mathbb{Q}\to R$) and all $k$-roots of unity. The examples I have in ...

**1**

vote

**1**answer

45 views

### Maximising a Rayleigh quotient over a subspace II

Let $M$ be an SPD matrix and let $\Pi=QQ^T$ be the orthogonal projection onto the range of $Q$ (a "tall" matrix with orthonormal columns). I have an expression in the form
$$\tag{1}
...

**2**

votes

**0**answers

110 views

### Hilbert Schmidt Operators and the Conditional Expectation Operator

Consider the function $\text{E}_W: L_2(\mathbb{R},P_X) \mapsto L_2(\mathbb{R},P_W)$ where $P_X$ and $P_W$ are two different probability measures. They are related in such a way that if $f_X$, $f_W$ ...

**0**

votes

**0**answers

59 views

### Trying to solve for total derivatives at a stationary point (maybe using the implicit function theorem)

Suppose we have a function $F(q) \in \mathbb{R}$, where $q=(q_1, \dots, q_n) \in [0,1]^n$, at least thrice differentiable in $(0,1)^n$.
We fix the value of one variable $q_i \in (0,1)$, then maximize ...

**2**

votes

**0**answers

61 views

### Characterize the equivalence class of bipartite graphs obtained from each other by elementary row operations on their adjacency matrices

Let $M$ be an $m\times n$ matrix real matrix. Let $G$ be a bipartite graph, with partitions $A$ and $B$, such that $|A|=m$ and $|B|=n$. A node $i\in A$ is linked to a node $j\in B$ if and only if ...

**1**

vote

**1**answer

69 views

### Maximising a Rayleigh quotient over a subspace

Let $M\in\mathbb{R}^{n\times n}$ be symmetric positive definite and consider a matrix $Q\in\mathbb{R}^{n\times m}$ ($m<n$) with orthonormal columns ($Q^TQ=I$). I'm interested in finding an exact ...

**2**

votes

**0**answers

36 views

### Metabolic vs stably metabolic

Let $A$ be a commutative ring with unit. A non-degenerate symmetric bilinear form $\phi$ on a finitely generated projective $A$-module $P$ is called metabolic if there is a direct summand $L$ of $P$ ...

**3**

votes

**0**answers

102 views

### Lattice with trivial spinor norm

Let $\Lambda$ be a non-degenerate lattice (over $\mathbb{Z}$) with quadratic form $q$. I define the spinor norm $\theta \colon O(\Lambda_\mathbb{R} )\to \lbrace\pm 1\rbrace$ as follows:
For a ...

**0**

votes

**1**answer

126 views

### Bounded domain matrix factorization

Assume we're trying to find $A\in [-1,1]^{n\times d}, B\in [-1,1]^{m\times d}$, from an observed matrix $C\in [-d,d]^{n\times m}$, where $C=AB^T$.
The goal is to return $\widehat A, \widehat B$ such ...

**1**

vote

**1**answer

48 views

### Heuristic for choosing n-vectors from n-sets

my given problem is:
choose n-vectors from n-sets (one vector from each set) so that the biggest element in the sum of the chosen vectors is minimal. Unfortunately the problem is NP-hard. So I'm ...

**2**

votes

**1**answer

108 views

### Triangular Smoothing Formula Optimization

I'm using a 5-point Triangle Moving Average:
$$S_j = (Y_{j-2} + 2Y_{j-1} + 3Y_j + 2Y_{j+1} + Y_{j+2}) / 9$$
The problem is that I often need to smooth my data more than once, and when I do this too ...

**0**

votes

**0**answers

44 views

### Spanning Hadamard product powers (Schur products) in Euclidean space

This is a question I asked last year over at stackexchange. Got no answer, it might be sufficiently non-trivial to justify bringing it into here.
Fix two $k$-vectors $\mathbf u$ and $\mathbf v$, and ...

**3**

votes

**4**answers

359 views

### Reference for an algebraic group preserving a cubic form

Let $R=k[u,v,w]$ and $p\in R$ be a cubic form. Let $G$ be the group of graded automorphisms of $R$ which preserve $p$, i.e., $G$ is the subgroup
of $GL_3(k)$ consisting of elements $g$ such that $g(p) ...

**4**

votes

**0**answers

96 views

### A question on hyperplanes in partial linear spaces and hypergraphs

A partial linear space (or a linear hypergraph) is a point line geometry $(P,L,I)$ where for every pair of points there is at most one line incident with both of them. A hyperplane in a partial linear ...

**1**

vote

**1**answer

87 views

### Decompositions of sparse symmetric matrices and methods for solving large linear equations

I am writing code for solving linear equations of the form
$$A_{n\times n}\cdot x=1_n$$
where $n$ is on the order of $10^6$ and $A$ is a symmetric matrix with approx $10^3$ nonzero entries in each ...

**6**

votes

**2**answers

267 views

### Does small Perron-Frobenius eigenvalue imply small entries for integral matrices?

Suppose that $M$ is an $n \times n$ matrix where each entry is a positive integer. Then $M$ is Perron-Frobenius and so has unique largest real eigenvalue $\lambda_{\textrm{PF}}$.
Does an upper ...

**6**

votes

**1**answer

199 views

### Solving for a set of points from projections

Consider a set of $N$ points in $n$-dimensional space, i.e.
\begin{align*}
S = \{x_1, \dots, x_N\} \subset \mathbb R^n.
\end{align*}
Let $v \in \mathbb R^n$ and consider the image set (not counting ...

**1**

vote

**1**answer

84 views

### Bound on the 2-norm of a “special” matrix

Let $S\in\mathbb{R}^{n\times n}$ be such that $\|S\|_2\leq 1$, $P\in\mathbb{R}^{n\times m}$, $m<n$, with orthogonal columns ($P^TP=I$) so that $PP^T$ and $I-PP^T$ are orthogonal projectors, and ...

**1**

vote

**2**answers

256 views

### when will the surfficient large power of a rational matrix be a integer matrix?

$A$ is a $n\times n$ matrix whose elements are all non-negative rational numbers and $Det(A)$ is a non-zero integer.Under what condition the following is true?(0) There exist a positive integer $M$ ...

**2**

votes

**1**answer

102 views

### General method for under and over determined systems?

Suppose I have a system:
$$
Ax = b
$$
where $A$ is a $m$ by $n$ matrix which is less than full rank (neither full column nor row rank). In my particular case $m<n$.
I'd like a combination of a ...

**2**

votes

**0**answers

322 views

### The twisted kiss of the curvaceous cubic and the staid tetrahedron (references)

(Migrated from MSE)
While investigating some operators, I came across some relations between the twisted cubic curve and the tetrahedron that link together some notions in differential geometry, ...

**0**

votes

**0**answers

50 views

### Linear Bounds on estimation error

Consider a markov chain on discrete state space $\mathbb{S} = \left\{1,2,..,S \right\}$, with transition probability matrix defined as $A = [a_{ij}]_{S \times S}$ where $a_{ij} = ...

**1**

vote

**0**answers

89 views

### Diagonal entries of a Cholesky factorization

Let $I$ denote an identity matrix, $E$ denote the all-one matrix of dimension $k\times k$ and $c$ some positive real number. Define $X=B(I-cE)B^T$ where $B$ is given by
$B:=\begin{pmatrix}
1 ...

**-2**

votes

**1**answer

95 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 ...

**2**

votes

**2**answers

349 views

### Central idempotents from characters in Frobenius algebras (generalizing Lusztig arXiv:math/0208154v1 §19)

$\newcommand{\refone}{\textbf{(1)}}$ $\newcommand{\Hom}{\operatorname{Hom}}$ $\newcommand{\tr}{\operatorname{Tr}}$ $\newcommand{\kk}{\mathbf{k}}$ Let $\kk$ be a field. Let $A$ be a $\kk$-algebra which ...

**1**

vote

**0**answers

77 views

### Dominant eigenvalue of sum of tridiagonal and diagonal matrices

Suppose I have a tridiagonal square matrix $A$ of some nice form, for which I know the eigenvalues $\lambda_1<\dots<\lambda_n$. $A$ is also essentially nonnegative (nonnegative everywhere except ...

**2**

votes

**1**answer

73 views

### An algebraic equation question [closed]

My question is this:
If $\frac{\sqrt[n]{\prod_{i=1}^n(p_i + 1)}}{\sqrt[n]{\prod_{i=1}^n(m_i + 1)}} = e ^\beta$
can I find an expression (either exact or approximate) for ...

**2**

votes

**0**answers

58 views

### Algorithms to find the solutions of a homogenous matrix equations for non-commutative rings

In one paper from 1980 I found a note that there are no known algorithms for solving
homogenous matrix equations $x \cdot M = 0$ for matrices which elements belong to a non-commutative ring.
(The ...

**0**

votes

**1**answer

76 views

### Eigendecomposition of a summation of matrices [duplicate]

Can anyone tell me if there's a way to relate the eigendecomposition of the result of a summation of matrices with the eigendecomposition of those matrices?
More specifically:
If I have a matrix $K = ...

**7**

votes

**1**answer

249 views

### Casson invariant

Part of the definition of the Casson invariant is that if you have an integer homology sphere $\Sigma$ and a knot $k,$ then $$\lambda(\Sigma + \frac{1}{m} k) - \lambda(\Sigma + \frac{1}{m+1} k)$$ does ...

**6**

votes

**1**answer

277 views

### Diagonalization for sums of Hermitian matrices

I found an interesting question about diagonalizable matrices,
Let $A,B\in \mathcal{M}_n(\mathbb{C})$ Hermitian, such that $AB\neq BA$.
Do there exist complex numbers $u\neq v$, such that $A+uB$ and ...

**1**

vote

**0**answers

63 views

### How do I prove a matrix A is self adjoint to an inner product? . [closed]

In the source question
B is an element of $M_n(R)$ and is a symmetic matrix
such that $v^tBv>0$.
Also $<.|.>$ is an inner product on $R^n$ called the $B$-inner product.
we are asked to ...

**4**

votes

**0**answers

72 views

### Efficiently factorize a KKT system with block diagonal upper corner

I have a system resulting from a quadratic energy minimization with linear equality constraints enforced with Lagrange multipliers which has the form:
\begin{equation}
A =
\left[\begin{array}{c|c}
...

**2**

votes

**1**answer

147 views

### Symplectic block-diagonalization of a complex symmetric matrix

This is a follow-up question to the one asked here:
Given a complex symmetric $2n\times2n$-matrix $A$, i.e., $A\in \mathbb{C}^{2n\times2n}$ with $A = A^T$. Is it possible, to block-diagonalize $A$ ...

**1**

vote

**2**answers

50 views

### Linear Programm with matrix [closed]

Is there a name for problems like this
min norm(Cx)
Ax = b
where C is a matrix and norm is the maximum norm.
This is kind of like a linear Programm. Could this be rewritten as linear programm? Or Any ...

**0**

votes

**1**answer

158 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[ ...

**11**

votes

**2**answers

462 views

### Codimension of the range of certain linear operators

Assume that $P(x,y), Q(x,y) \in \mathbb{R}[x,y]$ are two polynomials. We define a linear map
$D$ on $\mathbb{R}[x,y]$ with $D(U)=PU_{x}+QU_{y}$. In fact $D$ is the derivational operator correspond ...

**4**

votes

**1**answer

117 views

### variation of the Lieb concavity theorem

A special case of the well known Lieb concavity theorem states that the following function is concave on positive operators A and B:
$$
(A,B) \to \text{Tr} \{A^s X B^{1-s} X^\dagger \}
$$
for $s \in ...

**1**

vote

**0**answers

42 views

### Injectivity of a linear logistic transform

The motivation for this question has to do with neural networks, but it is essentially a purely mathematical question.
Suppose you have a perceptron with one hidden layer, a bias, and a logistic ...

**6**

votes

**1**answer

217 views

### Sets of cardinalities of bases without choice

For a vector space $V$, let $BS(V)$ be the set of cardinalities (not necessarily $\aleph$s) of bases of $V$. Of course, in ZFC each $BS(V)$ is a singleton, but supposing the axiom of choice fails, it ...

**0**

votes

**0**answers

73 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.
$$
...

**3**

votes

**0**answers

206 views

### Find the Range of Function

What is the range of the map $\mathbb{C}^m\to\mathbb{C}^m$,
$$(z_1,\ldots,z_m)\mapsto (b_1,\ldots,b_m),$$
where $b_k=\prod_{j\neq k}(z_j-z_k)$ for $1\leq k\leq m$ ?

**0**

votes

**1**answer

82 views

### Any generic way to move a psd matrix to its neighbors?

Given a two positive matrices $A,B$. For simplicity, let's assume that $Tr A=Tr B=1$. Assume that $\|A-B\|_1\leq\varepsilon$, for some small $\varepsilon>0$, where $\|\cdot\|_1$ is the $l_1$-norm, ...

**0**

votes

**0**answers

39 views

### Multiplicity of Minimum Eigenvalue of a Convex Combination of Hermitian matrices?

Let $A_1,\dots,A_L$ be $N\times N$ hermitian matrices. Consider the problem
\begin{align}
\lambda^{\star}=\max_{}&\lambda_{min}\left(\sum_{i=1}^{L}r_iA_i\right) \\
&r_i\geq ...

**4**

votes

**1**answer

123 views

### Characterization(?) of coersive(?) elements in the special linear group

Take your favorite matrix norm $\|\bullet\|$ (my favorite is the Frobenius norm $\|A\| = \sqrt{\operatorname{tr} A A^t}$). Now consider the set $S_x$ of matrices $A,$ such that
$\|A\| < x$ and ...

**9**

votes

**2**answers

479 views

### What are the invariants of $U\otimes V\otimes W$ under action of $GL(U)\times GL(V) \times GL(W)$

The tensor product of some (finite dimensional real) vector spaces is acted on by the direct product of their general linear groups. I would like to know if there are explicit invariants in the case ...