**4**

votes

**0**answers

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

**0**

votes

**2**answers

113 views

### Estimating the shift in the $\lambda_{max}$ of a matrix under a diagonal perturbation

Given a matrix $A$ and a diagonal matrix $D$, what ways do we have to estimate, $\lambda_{max}(A+D) - \lambda_{max}(A)$? (Feel free to make other assumptions about the matrices that they are all ...

**3**

votes

**1**answer

107 views

### Number of linearly bisected subsets in finite vector space $F_2^n$

We consider the $n$-dimenstional finite vector space $\mathbb{F}_2^{n}$ over the finite field of two elements. For a subset $A\subseteq \mathbb{F}_2^{n}$ of even size $|A|=2m$ and a linear form ...

**3**

votes

**1**answer

175 views

### On the search for an explicit form of a particular integral

Let $f$ be integrable over the interval $(0, 1)$, and
$$I_n = \int_0^{1} x^n f(x) \, \mathrm{d}x.$$
Suppose $f(x) = f(1-x)$; we can then show that
$$I_n = \sum_{k=0}^{n} \binom{n}{k} (-1)^k \, ...

**4**

votes

**0**answers

90 views

### An inequality from the “Interlacing-1” paper

This question is in reference to this paper, http://annals.math.princeton.edu/wp-content/uploads/annals-v182-n1-p07-p.pdf (or its arxiv version, http://arxiv.org/abs/1304.4132)
For the argument to ...

**0**

votes

**0**answers

81 views

### A question in compact set

Definitions:
${A_j},{\Delta _j} \in {C^{n \times n}},(j = 0,1,2....m)$
${\rm{P(}}\lambda {\rm{) = }}{{\rm{A}}_m}{\lambda ^m} + .....{A_1}\lambda + {A_0}$ is a matrix polynomial, and $\lambda $ is ...

**0**

votes

**0**answers

47 views

### Equivalence classes of pairs linear transformations

Consider the set of 4-tuples:
$$S_{(x, y), k} = \{ (a_i, b_i, a_j, b_j) : \|a_ixb_i - a_jyb_j\|_F^2 = k \}$$
for $a \in GL(m, \mathbb{R})$, $b \in GL(n, \mathbb{R})$, $x, y \in \mathbb{R}^{m \times ...

**5**

votes

**0**answers

104 views

### Biggest (or large) rectangle in a polytope

I need an efficient method to construct a (hyper)rectangle inside a polytope with a lot of dimensions (say $100 < d < 1000$). Ideally I'd want the biggest possible rectangle, but as I don't ...

**15**

votes

**2**answers

577 views

### Matrix equation $XAXBXC=I$

Let $A,B,C$ be unitary matrices. Does there always exist a unitary matrix $X$ such that $$(XA)(XB)(XC)=I,$$ where $I$ is the identity matrix? The quadratic equation $(XA)(XB)=I$ has the solution ...

**6**

votes

**0**answers

155 views

### When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...

**4**

votes

**3**answers

159 views

### Is an associative division algebra required for this phenomenon?

For which integers $d \geq 1$ can we find real matrices $R_1, \dotsc, R_d$ of size $d \times d$ such that for any unit vector $v \in \mathbb{R}^d$, $$R_1 v, \dotsc, R_d v$$ is an orthonormal basis? ...

**5**

votes

**0**answers

133 views

### Mapping the standard $(n!-1)$-simplex into $GL_n(\mathbb C)$

Let $\Delta^{n!-1}$ be the standard $(n!-1)$-simplex whose vertices are indexed by the elements of the symmetric group $S_n$, that is
\begin{equation}
\Delta^{n!-1} = \left\{ (t_\sigma)_{\sigma\in ...

**2**

votes

**1**answer

262 views

### Is there an algorithm to test whether a vector is an eigenvector of a power of a matrix?

Given a square matrix $A\in k^{n\times n}$ and a vector $x\in k^n$ over some field $k$, is there an algorithm to test whether there are $s\in\mathbb{N}$ and $\lambda\in k$ such that $A^sx=\lambda x$? ...

**4**

votes

**2**answers

76 views

### Integral roots of circulant matrix

When does the circulant matrix have only integral roots?
For example: all roots of the adjacency matrix of the complete graph $K_n$ are integer, which its adjacency matrix is circulant, but in case ...

**0**

votes

**1**answer

87 views

### Is there relation between vector valued RKHS and interpolation space?

Vector valued RKHS which is covered extensively in the book "Pick Interpolation and Hilbert function spaces" . In a different context interpolation space is defined in the wikipedia link: ...

**2**

votes

**0**answers

285 views

### Largest eigenvalues distribution of tridiagonal symmetric random matrix

I would like to find the largest eigenvalue distribution of the following tridiagonal symmetric random matrix in an analytic way.
All the ${\lambda}_i$ are distributed the same way with chi-square ...

**0**

votes

**1**answer

61 views

### The Condition Number of a Scaled Vandermonde

Let $V(x_1,..,x_n)$ be the Vandermonde induced by $x_1,..,x_n$ and
Let $\tilde{V} = V(\frac{x_1}{h},...,\frac{x_n}{h})$.
My intuition says that the condition number should be invariant under such ...

**3**

votes

**1**answer

209 views

### Does there exist a norm on continuous real-valued function space?

I know the space of continuous real-valued function on closed set can be given a norm by integral. How about the continuous funcion on the real line? It may be non-integrable, like f(x)=x^2. So, does ...

**1**

vote

**0**answers

75 views

### Can we have extension of Mercer theorem to interpolation? [closed]

This question is related to Mercer theorem, Reproducible kernel Hilbert space(RKHS) and interpolation. The wikipedia links are https://en.wikipedia.org/wiki/Mercer%27s_theorem and ...

**0**

votes

**1**answer

119 views

### Reference request: Strong Connectivity and the Incidence Matrix

Question: What would be a good reference for characterizations of strong connectivity of a digraph in terms of its incidence matrix?
Details: Consider a digraph $(V, E)$ with vertex set
$$V = ...

**3**

votes

**0**answers

251 views

### Maximizing sum of matrices

Over the last few months, I've been trying to find the solution to a research-related problem I'm having. However, my research is not in mathematics, and my progress toward reaching a solution has ...

**2**

votes

**1**answer

124 views

### Transversality in Morse theory, linear algebra version

I am working on a product in Morse-Bott homology which has led me to the following considerations and unanswered question. I would be very grateful if anyone could help.
Suppose $H:\mathbb{R}^n \to ...

**12**

votes

**1**answer

420 views

### Maximal Number of Pairs of Orthogonal vectors in a set of $n$ vectors in $\mathbb{R}^3$

Suppose you are given a set of $n$ non-zero vectors in $\mathbb{R}^3$. What is the maximum number of pairs of them that are orthogonal? The current guess is $\le 2n$.
EDIT: I forgot to add that no ...

**1**

vote

**0**answers

49 views

### Finding optimal linear transformation for intersection of convex polytopes

I previously posted this on MathSE and am now trying here.
I have the following situation, as shown in the following diagram:
$W=\{w_i\}_{i=1..|W|}$ is a set of vertices (show in diagram in ...

**3**

votes

**1**answer

215 views

### Polynomial with the smallest area

Let $P_n(t) = p_0 + p_1 t + \cdots + p_n t^n$ be a polynomial (with real coefficients) of degree $n$ in the variable $t$. I am interested in the quantity $$\Phi_n = \min_{\sum_{i=1}^n p_i^2 = 1} ...

**6**

votes

**1**answer

137 views

### Varieties parametrizing skew-symmetric matrices

Let $V$ be a vector space of dimension $n$ and let us consider the projective space $\mathbb{P}(\bigwedge^2V)$ parametrizing skew-symmetric matrices.
Let $M\in\mathbb{P}(\bigwedge^2V)$, for any ...

**2**

votes

**0**answers

111 views

### Rank–nullity theorem for finite von Neumann algebras

The rank-nullity theorem states that for $U, V$ finite dimensional vector spaces and $T:U \to V$ a linear map $$\dim(U) = \dim(im(T)) + \dim(ker(T)) $$
Let $M \subset B(H) $ be a finite von Neumann ...

**0**

votes

**1**answer

82 views

### The weird projection from SO(2n)/B to maximal isotropic grassmannian

Take the generalized flag variety $SO(2n,\mathbb{C})/B$, considered as the moduli of isotropic flags (according to the form $\langle e_i, e_{2n+1-j}\rangle=\delta_{ij}$)
$$F_1\subset F_2\subset\cdots ...

**5**

votes

**4**answers

370 views

### Deceptive linear algebra problem

Does anyone recognize this problem? There are $2p$ equations and $2p$ unknowns, and it feels like a classic, but I've never encountered it before:
Given $d_1, d_2, \ldots d_p$, find $a_1, a_2, \ldots ...

**0**

votes

**1**answer

76 views

### Possible lower bound in quantum many body system with non-local terms

I am asking a question related to Lieb-Robinson bound and nonlocality.
As we know from Lieb-Robinson theorem (see e.g. http://arxiv.org/abs/1008.5137): Suppose a Hamiltonian system is local, i.e. ...

**2**

votes

**1**answer

120 views

### Sampling from random totally unimodular matrices of a particular type?

Is there a way to parametrize totally unimodular $(3n+2)\times(2n+2)$ matrices of form
$$\begin{bmatrix}
\pm1 & \pm1 & 0 & 0 &\dots & 0 & 0 & 0 & 0\\
A_{2n} & ...

**6**

votes

**2**answers

115 views

### Existence and characterization of transitive matrices?

We call a matrix $M \in \mathbb{R}^{d \times d}$ transitive if it satisfies the following:
For any three vectors $u, v, w$ in $\mathbb{R}^d$. If $u^T M v > 0$ and $v^T M w > 0$ then $u^TMw ...

**2**

votes

**0**answers

100 views

### Vector inequation problem [closed]

$${A_i} = \left( {\begin{array}{*{20}{c}}{{A_{i1}}}\\{{A_{i2}}}\\ \vdots \\{{A_{in}}}\end{array}} \right),{B_i} = \left( {\begin{array}{*{20}{c}}{{B_{i1}}}\\{{B_{i2}}}\\ \vdots ...

**2**

votes

**0**answers

106 views

### Lights Out game over GF(p)

On Jaap's Puzzle Page
http:// www.jaapsch.net/puzzles/lomath.htm#domtilings
Theorem 7 says:
If standard Lights Out is played on a m x n grid-like board, ...

**0**

votes

**1**answer

213 views

### Determinants of tensors [closed]

Consider a tensor of dimension $[d]\times[d]\times[d]$ which is symmetric with respect to every permutation of the indices. Are there any $\textbf{explicit}$ formulas for notions like determinant-like ...

**0**

votes

**2**answers

270 views

### Linear Algebra classic books [closed]

I'm learning linear algebra at the moment, so I'm looking for some great old classic books. Something like Fermat's or Gauss books of some great mathematians.
I don't really like the nowadays books ...

**7**

votes

**3**answers

247 views

### Generalized Characteristic Polynomial with Unimodular Roots

Let us define a diagonal matrix $\mathbf{D}(z) = diag(z^{m_1}, \dots, z^{m_N})$ with $z\in\mathbb{C}$ and positive integers $m_1, \dots, m_N$.
The generalized characteristic polynomial of a matrix ...

**1**

vote

**0**answers

135 views

### Symplectic spectrum

I have a question about a step in the proof of the following theorem from symplectic geometry.
The theorem is: Given any ellipsoid $E:=\{ w \in \mathbb{R}^{2n}; \sum_{i,j =1}^{2n} a_{ij}w_iw_j \le ...

**1**

vote

**0**answers

123 views

### Oriented volume and determinants: Circularity [duplicate]

One often reads about oriented volumes as a motivation for determinants. In two dimensions you can scetch some nice pictures which may convince students that it is a good idea to have a closer look at ...

**0**

votes

**1**answer

74 views

### Solving $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$ [closed]

Given an $A \in \mathfrak{su}(n)$, is it always possible to solve for $U,V \in SU(n)$ and $\lambda \in \mathbb{C}$ such that $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$?
Cross posted from ...

**11**

votes

**1**answer

165 views

### positive not completely positive maps

In extension to this question
Positive but not completely positive?
I'd like to know, for $k>1$, examples of $k$-positive linear maps of a matrix algebra into itself that are not $k+1$-positive. ...

**1**

vote

**1**answer

47 views

### Majorate semidefinite continuous matrix by a constant matrix

Let $A(x)=[a_{ij}(x)]_{i,j=1,\dots,n}$, $x\in {\bf R}^n$, be a symmetric non-negative definite matrix:
$$
\langle A(x) \xi,\xi \rangle \geq 0 \ \ \forall x,\xi \in {\bf R}^n.
$$ Assume that
$$
...

**3**

votes

**2**answers

130 views

### generalization of result on K_1 of $SL(n,R)$

Let R be a "nice" ring with 1 (e.g. Euclidean domain). Then the subgroup E(n,R) generated by the elements $I+te_{i,j}$ is equal to $SL(n,R)$.
My question is as follows: Instead of $SL(n,R)$ I look ...

**0**

votes

**0**answers

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

**3**

votes

**0**answers

61 views

### Searching a specific matrix whose determinant is a product which is similar to the Vandermonde determinant

Let $n$ be any given positive integer. For any nonempty disjoint subset $A,B\subseteq \{1,2,\cdots ,n\}$，does there exist some specific matrix $M$ which is similar to the Vandermonde matrix such that ...

**5**

votes

**0**answers

150 views

### Non-linear positive map

In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...

**2**

votes

**1**answer

118 views

### XOR circulant matrices?

Take a function $f: Z_N\rightarrow R$. Construct an $N \times N$ matrix where the $(i,j)$th element of the matrix is $f(i-j)$, where $i-j$ is interpreted mod $Z_N$. The resulting matrices are ...

**1**

vote

**1**answer

225 views

### What are you maximizing when you maximize the determinant of $A^TA$? [closed]

Let $A$ be an $m$ by $n$ $(0,1)$-matrix with $m < n$. If we maximize $\operatorname{det}(AA^T)$ then what property of $A$ are we optimizing?
This isn't simply maximizing the rank of $A$ and nor ...

**0**

votes

**1**answer

83 views

### SO(3) transformation that produces a reflection [closed]

This came up doing some research in quantum information. Let us consider two orthogonal three-dimensional unit vectors $v$ and $w$
$v^T\cdot w=0$,
and the Householder transformation
...

**0**

votes

**0**answers

30 views

### Asymptotic behavior of the minimum eigenvalue of a certain Gram matrix with linear independence

Consider the density matrices with the following spectral decompositions:
$$\rho=\lambda_1|\nu_1\rangle+\lambda_{2}|\nu_2\rangle$$
and
$$\sigma=\gamma_1|\omega_1\rangle+\gamma_2|\omega_2\rangle$$
such ...