All Questions
2,026 questions with no upvoted or accepted answers
0
votes
0
answers
121
views
Representation of anti-commuting matrices in $\mathbb{C}^{2}$
This is a cross posting updated question from MSE. I have not got any answers there yet and I really want to understand this problem.
The basic question is the following. Let $V$ be a finite-...
- 1,305
0
votes
0
answers
43
views
When does the sum of squares/cubes of polynomials over finite field have less than maximum degree?
Given polynomials $p_1(x), p_2(x), \dots p_m(x) \in \mathbb{F}_p[x]/\langle x^p-x\rangle$ where $p$ is a prime, when does $\sum_{i=1}^m p^2_i(x)$ have degree $< p-1$? What about $\sum_{i=1}^m p^3_i(...
0
votes
0
answers
82
views
some problem about the discrete of the first derivative operator
I am reading a paper
(Parameter Choice Strategies for Multipenalty Regularization Massimo Fornasier, Valeriya Naumova, and Sergei V. Pereverzyev SIAM Journal on Numerical Analysis 2014 52:4, 1770-1794)...
- 33
0
votes
0
answers
56
views
Names for product-like algebras involving a "duo of directed pseudoforests"
I am looking for the names (and/or for any information regarding) two algebras, one "free" and one "restricted" by an equivalence class.
In both cases, there is an (infix) binary ...
0
votes
0
answers
70
views
Hensel lifting of roots of a biquadratic polynomial
Let $5$ divide $p-1$. Therefore, we have $$1+x+x^2+x^3+x^4=(x-\alpha)(x-{\alpha}^2)(x-\alpha^3)(x-\alpha^4)=f_1f_2f_3f_4$$ over $F_p,$ where $\alpha$ is an element of order $5$ in ${F_p}^\times.$ We ...
- 381
0
votes
0
answers
79
views
Quick calculation of a symmetric product with two indices
Say I have a product $\prod_{1\le i \le N-1}\prod_{i<j\le N-1} (1+t_i t_j a_{ij})$, where $a_{ij}$s are real number. I want to calculate the coefficient of $\prod_{0 \le i < N} t_i$. Is there an ...
- 397
0
votes
0
answers
35
views
What is the impact of individual estimate on each other in matrix inversion?
I am looking to understand the impact of each estimate on each other in matrix inversion.
Lets say I have a vector $A = \left[a_1, a_2 \right]^T$ of size $2 \times 1$ and $a_1$ and $a_2$ are related ...
- 1
0
votes
1
answer
87
views
Handling the $\ell^2$ norm of a matrix expression in a linear regression
I am reading a scientific article in which matrices are handled (which I do not use often). We consider a matrix $X\in\mathbb R^{n\times p}$ and a vector $y\in\mathbb R^n$. The authors show that the ...
- 101
0
votes
0
answers
309
views
Simultaneous triangulation and Jordan normal form of commuting nilpotent matrices
Let $A_1,\ldots,A_r$ be $n\times n$ nilpotent matrices over $\mathbb C$, the field of complex numbers, satisfying $A_i\cdot A_j=A_j\cdot A_i$ for all $i,j$. As the matrices commute, they admit ...
0
votes
0
answers
46
views
Nonassociativity in Cayley-Algebras
Let $(E,s)$ be a Cayley algebra over a unital commutative ring $A$ with unit element $e$ and $s$ an antiautomorphism (i.e. $s(uv) = s(v)s(u)$, $u,v \in E$) of $E$ such that $u + s(u) \in Ae$ and $N(u) ...
- 2,101
0
votes
0
answers
49
views
Conditions on symmetric $3 \times 3$ matrices to satisfy the convex equality for cofactor and determinant
Given any $3\times 3$ finite set of symmetric matrices $A_i$ and positive real $a_i$ such that $\sum_ia_i=1.$ Is there any equivalent condition to the existence of skew symmetric matrices $X_i$ such ...
0
votes
0
answers
131
views
On a matrix equation with Kronecker product
Is there any work on the matrix equation in unknowns $X, Y \in {\Bbb C}^{n \times n}$ $$(X \otimes Y + Y \otimes X) \operatorname{vec}(A)=0$$ where $\otimes$ is the Kronecker product? Or, in general, ...
- 271
0
votes
0
answers
85
views
Symmetric indefinite matrix of fixed rank — manifold structure?
I have been studying symmetric indefinite matrices of fixed rank, which have been rather useful for a particular application. I wonder if there is a way to parameterise these by a smooth manifold, e.g....
0
votes
0
answers
33
views
Elliptic operators with Robin boundary conditions
Can it be proved that two elliptic operators with Robin boundary conditions generate an interval $P$-matrix?
$$
-a\Delta u_i = f_i, \quad a\frac{\partial u_i}{\partial n} + bu_i = 0
$$
$$
-a\Delta v_i ...
- 243
0
votes
0
answers
110
views
Identity for compositum and intersection of fields
Let $k$ be an arbitrary base field and $K, L, M$ some fields over $k$ contained in a fixed overfield $\Omega$.
Question: Are there some "reasonable" assumptions (ie beyond a bunch of really ...
- 5,998
0
votes
0
answers
105
views
Definition of term functions, in universal algebra
According to the definitions in Sankappanavar's universal algebra :
Assume $p$ is a term, then $p(x_1,x_2,...,x_n)$ indicates that the variables occurring in $p$ are among $x_1,...,x_n$. But there is ...
- 11
0
votes
0
answers
45
views
Reference request for the smallest set( resp. abelian group) that a group ( resp. ring ) has a faithful action on
For a proof of the Cayley's Theorem, it is obvious to see that a group ( resp. ring ) has a faithful action on itself by left-multiplication. I would like to extend the result for a bit and find the ...
- 101
0
votes
0
answers
80
views
Continuity of linear map on tensor product spaces with different norm properties
I originally asked this question on StackExchange, but I think that it may be more suitable to here.
Let $V$ and $U$ be Banach spaces. I'm considering a linear map $\phi: V \rightarrow U$, and ...
- 177
0
votes
0
answers
92
views
Norm of matrix product sum
Given matrices $A_{n\times n}, B_{n\times m}, C_{m\times m}$ such that $A^iBC^{N-i}$ is matrix with all zeros except upper right element for all $i$ from $0$ to $N$, what can we say about Frobenius ...
- 159
0
votes
0
answers
116
views
Multivariate polynomial representations of the infinite dihedral group
The presentation given in Wikipedia for the infinite dihedral group is
$$\langle r,s\mid s^2 =1, srs = r^{-1}\rangle.$$
Let $[R]$ denote the infinite set of reciprocal partition polynomials $R_n(u_1,...
- 10.5k
0
votes
0
answers
96
views
Idempotent conjecture and (weak) connectivity of (a reasonable) dual group
What is an example of a torsion free discrete abelian group $G$ whose dual space $\hat{G}$ is not a path connected space?
The Motivation: The motivation comes from the idempotent conjecture of ...
- 356
0
votes
1
answer
79
views
Matrix sparsity pattern from Boolean condition
I would like to determine the sparsity pattern of a matrix $A_m$, where the entry $(k,l)$ of $A_m$ is non-zero if the condition $\operatorname{test}(k,l,m)$ is true:
$\operatorname{test}(k,l,m)$ = &...
0
votes
0
answers
134
views
Bound on the number of connected components of a linear algebraic group $G<\mathrm{SL}_n$?
Let $G<\mathrm{SL}_n$ be a linear algebraic group defined over a field. Is there a bound on the number of connected components of $G$ in terms of $n$ alone?
(The bound will evidently not be any ...
- 20.2k
0
votes
0
answers
57
views
E=F(E^p) implies extension is algebraic
Let $F$ be a field of characteristic $p$ and $E/F$ be a finitely generated field extension such that $E=F(E^p)$. Then show that $E/F$ is algebraic.
I have proven it in case $E$ is singly generated ...
- 145
0
votes
0
answers
114
views
Expectation of the operator norm of projection of a random permutation matrix
Assuming I have a fixed dimension $p$ subspace of $\mathbb{R}^d$ orthogonal to $1^d$ and $VV^\top$ with $V \in \mathbb{R}^{d \times p}$ is the orthogonal projection to the subspace.
What bound can I ...
- 23
0
votes
0
answers
69
views
Spectrum of Moore-Penrose pseudo-inverse multiplied by a constant
Consider a random rectangular matrix $X\in\mathbb{R}^{N\times P}$ where each entry is drawn from iid distribution with mean $m$ and variance $s^2$, and denote $X^+$ the Moore-Penrose pseudo-inverse.
...
- 373
0
votes
0
answers
99
views
General reference for finite dimensional $*$-algebras over $\mathbb R$?
What references are there for studying finite-dimensional $*$-algebras over the field $\mathbb R$ in their full generality? We assume these are associative and unital.
Note that:
Not every algebra ...
- 4,943
0
votes
0
answers
79
views
Approximate solution problem of rank-one modification matrix secular equation
In Golub's paper , page 327,the eigenvalues of a rank-one modification of a $n\times n$ symmetric matrix can be computed by findng the zeros of the secular equation
\begin{equation*}
w(\lambda_j)=...
- 63
0
votes
0
answers
101
views
Is a principal filter in a free Heyting algebra a projective Heyting algebra?
A Heyting algebra is a bounded distributive lattice $(L,\vee,\wedge,0,1)$ together with a binary operation $\rightarrow$ called implication or relative pseudocomplementation with the property that, ...
- 1,644
0
votes
1
answer
309
views
Eigenvalues of $\operatorname{diag}({\bf v}) - {\bf v} {\bf v}^\top - \alpha({\bf v} - {\bf w})({\bf v} - {\bf w})^\top$
Given vectors ${\bf v}, {\bf w} \in [0,1]^n$ , where $n \in \mathbb{N} \setminus \{0\}$, and $\alpha > 0$, I would like to find the eigenvalues of the following matrix.
$$\operatorname{diag}({\bf v}...
- 13
0
votes
0
answers
66
views
A name for "anti-symmetric" Frobenius algebras?
Let $V$ be an $N$-dim vector space and denote its exterior algebra by $\Lambda^{\ast}(V)$. The algebra $\Lambda$ has an obvious Frobenius algebra structure $B(-,-)$ given by wedgeing and then ...
0
votes
0
answers
89
views
What is $(C, D, \delta, \gamma)$ and $(C, \delta; D, \gamma)$ Desarguesian?
A projective plane is $(C, \gamma)$-Desarguesian if for any 2 triangles $A_1 B_1 C_1, A_2 B_2 C_2$ in perspective from $C$ (which means $C \in A_1 A_2, B_1 B_2, C_1 C_2$) such that $A_1 B_1 \cap A_2 ...
- 745
0
votes
0
answers
226
views
Numerical approaches to functional equations
I'm interested in finding numerical approaches to solving functional equations such as
f(xy)=f(x)+f(y),
where the equations had no derivatives or integrals, and contains arguments involving x
and y
.
...
- 21
0
votes
0
answers
172
views
When does this commutative non-associative algebra have nilpotent elements?
Consider a non-associative commutative unital algebra of finite dimension where the product is defined by a Cayley table such that elements are generated with real number coefficients
$(a_0, \dotsc, ...
- 769
0
votes
0
answers
44
views
Almost division ring but only one-side distributive
I am looking for an example of an algebraic structure that is almost a division ring, but is only left-distributive and not right-distributive.
Gérard Lang
- 2,655
0
votes
0
answers
108
views
On the exponentiation of a stochastic matrix where the exponent is a function of matrix size
In this question, I asked about any arbitrary stochastic matrix $A(n)$ of the particular form
$$A(n) = \begin{pmatrix} 1 & 0 & \cdots & 0\\ x_{21} & x_{22} & \cdots & 0\\ \...
- 271
0
votes
0
answers
112
views
What are the properties of square-matrix algebra with this equivalence class?
Consider the set of all square matrices with the following equivalence class:
$\mathbf{A}\sim\mathbf{A}\otimes\mathbf{I}_n$ (or, alternatively, as user @M.G. proposed, $\mathbf{A}\sim\mathbf{I}_n\...
- 10.1k
0
votes
0
answers
267
views
completion and tensor product
Let $A$ be a commutative ring, consider the map $Spec(A[[t]])\rightarrow Spec(A)$, does it have geometrically connected fibers?
If $A$ is noetherian, it is clear because one has for $k$ a residue ...
- 3,472
0
votes
0
answers
149
views
Diagonalizing a specific case of symmetric block matrix
Let's consider the following block matrix
$$ M = \begin{pmatrix}D&A^T\\A&-D\end{pmatrix},$$
where $A$ and $D$ are $n \times n$ matrices. The diagonal matrix $D$ is defined by $D_{kk} = k \...
- 1
0
votes
0
answers
232
views
How to analyse the range of eigenvalues of a symmetric and indefinite matrix?
Let $G$ be a symmetric and indefinite matrix defined as follows
$$ G := S - \begin{pmatrix} I_n & I_n \\ I_n & I_n \end{pmatrix},$$
where $S$ is a symmetric positive definite matrix of size $...
- 1
0
votes
0
answers
49
views
Complemented subalgebra in a free Lie ring
A Lie ring is a triple $(G,+, [\ ,\ ]),$ where $(G,+)$ is an abelian group and $ [\ ,\ ]$ is a bilinear map satisfying
$[x,x]=0$
$[\ ,\ ]$ is bilinear
$[[x,y],z]+[[y,z],x]+[[z.x],y]=0,\ \forall\ x,...
- 101
0
votes
0
answers
99
views
A question to the Wedderburn-Mal’cev decomposition
Excuse me, I saw the result on the Wedderburn-Mal’cev decomposition of unital compact rings which M.I. Ursul and A. Tripe introduced in the attached file. However, I cannot contact them because ...
- 141
0
votes
0
answers
167
views
Multiplying by Loewner-ordered matrices
Suppose $A$ and $B$ are symmetric positive (semi-)definite, and $A<B$ in Loewner order, meaning $B-A$ is positive (semi-)definite. Is it true that, for a symmetric positive-definite $C$, we have $...
- 93
0
votes
0
answers
76
views
Minimum of a function of matrices
I want to find the minimum to the following problem:
$$
\min_{X} \|f(X)\|_F \label{1}\tag{1}
$$
where $X$ is a rectangular matrix, and $f$ is a function of it, involving other matrices, the norm is ...
- 1
0
votes
0
answers
58
views
An action on multiplicatively antisymmetric matrix
A matrix $ Q=(q_{ij})$ is called multiplicatively antisymmetric over a field $ F $ if $ q_{ii}=1 $ and $ q_{ij}={q_{ji}}^{-1} $.Let $ \mathcal{Q} $ be the set of all $ n \times n $ multiplicatively ...
- 923
0
votes
0
answers
144
views
better estimates than the prime number Theorem in Euclidean domains
For a unique factorization domain we know that we have some the analogues of fundamental theorem of arithmetic, and can build elements by using 'building blocks'. For me the easiest examples are ...
- 1,561
0
votes
0
answers
93
views
Finding the matrix for a given determinant
In my previous question asking about the co-intersection of three circles, a degree six polynomial in twelve variables was found for a special case. This polynomial has precisely 720 terms, of which ...
- 371
0
votes
0
answers
93
views
In $\mathbb{Z}[G]$, $G\cong \mathbb{Z}^r$, does $f\cdot g\geq 0$ imply $f\geq0$?
Let $G=\mathbb{Z}^r$ be a free abelian group, and $\mathbb{Z}[G]$ be the group ring of $G$. Define a partial ordering $\leq$ on $\mathbb{Z}[G]$ by
$$\sum_{g\in G}n_g[g]\leq\sum_{g\in G}n'_g[g]\iff n_g\...
- 2,902
0
votes
0
answers
228
views
Generalization of "Lagrange interpolation" over non-division rings
The theorem below is from pages 4 and 5 in Singmaster - On polynomial functions $\pmod m$ (Theorem 10) on polynomials in $\mathbb{Z}_m[x]$.
Let $f$ be a polynomial function $\pmod{m}$. Then $f$ has a ...
- 11
0
votes
0
answers
180
views
Adding the AWGN to the data makes its covariance matrix always positive definite?
I'm working on a numerical method that estimates direction-of-arrivals in antenna arrays.
I realized that every time I add the AWGN (Additive white Gaussian noise) to a data (which is a matrix), its (...
