All Questions
6,547 questions
2
votes
1
answer
327
views
Completion of a local ring is noetherian (under some hypothesis)
I was reading the proof of Lemma 10.12 in this paper. In the second sentence, the following fact is used implicitly:
Let $(R,\mathfrak{m})$ be a commutative local ring. Let $\widehat{R}$ be its $\...
- 148k
2
votes
2
answers
2k
views
How to compute inverse of sum of a unitary matrix and a full rank diagonal matrix?
$C = A+D$, $A$ being a unitary matrix and $D$ a full rank diagonal matrix. Is there any easy way to compute $C^{-1}$ from $A^{-1}$ and $D$, if it exists?
I am interested in this question, because my ...
CommunityBot
- 1
3
votes
1
answer
234
views
Is there a matrix that has the completely opposite effect of a Hadamard matrix?
First, let me provide some background on the problem:
In the field of Large Language Model quantization/compressions, outliers (abs of outliers are much larger than the mean of abs of all elements in ...
- 31
5
votes
1
answer
156
views
The inverse limit of a sequence of ring surjections commutes with taking difference subsets of the respective units & gluing in some primes?
Define $R_n := \Bbb{Z}/p_n\#$ the ring of integers modulo primorial $p_n\# = p_n p_{n-1} \cdots p_1$. Let $U_n$ denote the group of units modulo $p_n\#$ in these rings.
Then if $f_{n,n+1}: \Bbb{Z}/p_{...
CommunityBot
- 1
2
votes
1
answer
456
views
Integrality certification for product of two matrices $A B^{-1}$
Let's consider two non-singular integer matrices $A,B \in\mathbb{Z}^{n\times n}$. I want a test to check if $A\times B^{-1}$ is integral (or no denominators). I am referring the unimodular ...
CommunityBot
- 1
2
votes
0
answers
73
views
Are idempotents in a nonnegatively graded algebra conjugate to homogeneous idempotents?
Let $k$ be a field (assume algebraically closed and $\operatorname{char}(k) = 0$ if it helps) and $R = \bigoplus_{i \geq 0} R_i$ a (unital associative) non-negatively graded $k$-algebra. Furthermore, ...
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 ...
- 12.9k
3
votes
1
answer
108
views
Roots of polynomial $\sum_{\sigma \in W} x^{l(\sigma)}$
Let $W$ be Weyl group of a root system $\Phi$ (of finite dimensional simple Lie algebra). For $\sigma\in W$, $l(\sigma)$ be the its length. Consider the following polynomial
$$P_\Phi(x) = \sum_{\sigma ...
- 12.9k
1
vote
0
answers
43
views
Inner product on a symmetric sum of tensor products
I have a space $V$ of $6 \times 6$ matrices whose basis is $\{1,S,M\}$; writing the components indices: $\{1_{ij},S_{ij},M_{ij}\}$ where $i,j=1,\cdots, 6$. The inner product on this space is
\begin{...
3
votes
1
answer
427
views
Minimum upper bound for sum of the entries of the inverse covariance matrix
Let $x \in \mathbb{R}^n$ and $k$ is RBF kernel
$$k(x, x') := \exp \left(-\frac{\|x-x'\|^2}{2\sigma^2}\right)$$
and let $\mathbf{K}$ be the following $n \times n$ covariance matrix
$$\mathbf{K} = \...
CommunityBot
- 1
2
votes
1
answer
506
views
Effect of duplicated row on singular values and vectors
Let $\mathbf{A}$ be a $n\times n$ matrix with Singular Value Decomposition (SVD) $\mathbf{A}=\mathbf{U}\mathbf{S}\mathbf{V}$ and $\mathbf{a}_1$ be the first row of $\mathbf{A}$. What can we say about ...
CommunityBot
- 1
7
votes
1
answer
1k
views
Hadamard-like inequalites for positive definite symmetric matrices
Let $S$ be any positive semi-definite symmetric matrix (Hermitian psd matrices work as well). The Hadamard inequality is that
$$\det S\le\prod_{i=1}^n s_{ii}.$$
My question is whether there are some ...
- 52.3k
3
votes
2
answers
255
views
Is being graded commutative a necessary condition on $A$ such that $H^*(A)$ is commutative?
If we consider any differential graded algebra $A^\bullet$, then its homology is a graded algebra, since the tensor product interacts well with homology.
A sufficient condidtion for the homology to be ...
- 4,254
8
votes
1
answer
821
views
A "concrete" example of a one-sided Hopf algebra
I came to know from the paper Left Hopf Algebras by Green, Nichols and Taft that one may consider a Hopf algebra whose antipode satisfies only the left (resp. right) antipode condition.
To be more ...
CommunityBot
- 1
2
votes
1
answer
1k
views
The difficulty of generate complex Hadamard matrix
A complex $n\times n$ matrix $A=[a_{ij}]$ is called a Hadamard matrix if $A^{+}A=nI$ and $|a_{ij}|=1$ holds for all $i,j$, where $A^{+}$ denotes the conjugate transposed matrix of $A$, and a vector $...
CommunityBot
- 1
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 ...
- 256
0
votes
1
answer
118
views
Configurations of signs in a matrix under certain conditions
I have a combinatorial question which is out of my research area.
Given a $2^k\times 2^k$ matrix $A=[a_{i,j}]$ with entries in $\lbrace0,\pm1\rbrace$, where $k$ is a positive integer. Is it possible ...
- 619
1
vote
1
answer
122
views
distance in the matrix algebra w.r.t. the nuclear norm
Let $\varphi\in\mathcal{M}_n(\mathbb{C})$ and let $Z:=\mathbb{C}\cdot I=\{zI\colon\,z\in\mathbb{C}\}$ be the one-dimensional subspace spanned by the identity matrix $I$. Let moreover $\|\cdot\|_{\...
- 1,517
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, ...
- 20.2k
4
votes
1
answer
91
views
Lie algebra with finitely generated envelope
If a Lie algebra $\mathfrak g$ is finitely generated, its enveloing algebra $U\mathfrak g$ is finitely generated as an associative algebra. In fact, taking the enveloping algebra of the surjection $\...
- 63.9k
1
vote
0
answers
58
views
When is a bimodule that is projective as a right and as a left module also projective as a bimodule
Are there practical criteria for determining when a bimodule that is projective as a right and as a left module is projective as a bimodule? Some illustrative examples of what goes wrong and what goes ...
2
votes
1
answer
306
views
Serre functors and global dimensions
Let $k$ be a field.
Let $\mathcal{C}$ be an abelian category (over $k$).
We say that $\mathcal{C}$ has a finite global dimension if there exists integer $n > 0$ such that
$$
\operatorname{Ext}^i(M,...
- 889
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} \\\
& ...
- 101
1
vote
1
answer
519
views
Optimal transport between two matrices
I'm investigating the use of optimal transport to define a distance between non-negative matrices that satisfy the condition $\mathbf e^\top\mathbf M\mathbf e = 1$ (i.e., the sum of all elements in ...
CommunityBot
- 1
3
votes
1
answer
255
views
Minimizing quadratic objective under orthogonality constraints
The following problem is motivated from Generalized Procrustes Analysis. I am wondering if it is possible to obtain a closed form minimizer (which may involve SVD or some other decomposition of a ...
CommunityBot
- 1
12
votes
2
answers
800
views
A (linear) optimization problem subject to (linear) matrix inequality constraints
Let $A \in \mathbb{R}^{n \times n}$ be a Hurwitz matrix, i.e. $A$ satisfies $\mathrm{Re}\,\lambda_i< 0$, where $\{\lambda_i\}_{i=1}^n$ is the set of eigenvalues of $A$. Suppose that the trace of $A$...
CommunityBot
- 1
3
votes
0
answers
89
views
Ordering the elements of a semigroup by $a \le b$ iff $a=b$ or $b=ab=ba$
Let $S$ be a semigroup, written multiplicatively. The binary relation $\le$ on (the underlying set of) $S$, whose graph consists of all pairs $(a,b) \in S \times S$ such that $a = b$ or $b = ab = ba$, ...
- 10.5k
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)$ = &...
CommunityBot
- 1
2
votes
0
answers
71
views
Are the ranks of the following matrices given by these simple expressions?
The question itself is formulated in the title, so below I specify the matrices and expressions mentioned there. In case if this is something known or can be easily deduced from something known, this ...
- 321
3
votes
0
answers
154
views
Efficient computation of $x^n \bmod g(x)$ in $\mathbb{F}_2[x]$
Related to this question. I wish to compute $x^n \bmod g(x)$ in $\mathbb{F}_2[x]$ for some fixed and known upfront $g$. This problem pops up in computing the 'pure' CRC function of a bit sequence of ...
CommunityBot
- 1
0
votes
0
answers
23
views
Existence of a subregular element with abelian centralizer in a quadratic Lie algebra
All Lie algebras here will be finite dimensionnal complex Lie algebra.
We say that such an Lie algebra $\mathfrak{g}$ is quadratic if there exist a skew-symetric, non-degenerate bilinear form or ...
- 188
3
votes
0
answers
117
views
Which sigma-ideals in a sigma-algebra are contained in an ideal of null sets?
Let $X$ be a Polish space and $\mathcal{B}(X)$ be the $\sigma$-algebra of Borel subsets of $X$. Given a Borel probability measure $\mu$ on $X$, we write $\mathcal{N}(\mu) := \{ B \in \mathcal{B}(X) : \...
0
votes
0
answers
59
views
Bimodule endomorphisms of a bimodule over a noncommutative ring
Let $R$ be a noncommutative ring and $M$ an $R$-$R$-bimodule that is projective as left $R$-module. We know that the bimodule of left $R$-module endomorphisms ${}_REnd(M)$ is isomorphic to the tensor ...
6
votes
1
answer
206
views
What makes the surreals special among other surreal-like fields?
Pre-setup: Let $\kappa = \aleph_\xi$ be an uncountable regular cardinal. Its role in this question is merely to sidestep the technical difficulties surrounding the (imho quite uninteresting) notion ...
- 12.9k
4
votes
1
answer
420
views
Visualizing the elements of a finite group and does the Gram matrix determine the finite group?
Let $G$ be a finite group with $n = |G|$ elements. By Cayley's theorem for finite groups, we have an injective homomorphism of groups:
$$
\pi : G \rightarrow S_n, \quad g \mapsto \pi(g)
$$
where ...
- 5,409
1
vote
1
answer
112
views
Coprime polynomials and polynomial substitution
Let $F$ be a field, and let $P(X_1,\dots,X_m)$, $Q(X_1,\dots,X_m) \in F[X_1,\dots,X_m]$ be two coprime polynomials. Consider $n$ new polynomials $R_1(Y_{1,1},\dots,Y_{1,n}) \in F[Y_{1,1},\dots,Y_{1,n}]...
- 651
36
votes
4
answers
5k
views
What is interesting/useful about big Witt Vectors?
$p$-typical Witt vectors are (among other things) a canonical way of associating to a perfect ring $A$ of characteristic $p$ a complete DVR of characteristic $0$ with residue ring $A$ generalizing $\...
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 ...
- 12.9k
1
vote
0
answers
42
views
Catalog of integral symmetric matrices
Let $g$ be an integral symmetric matrix (perhaps with even diagonal components), and define an equivalence relation $g\sim g'$ if $g=Ug'U^T$ with $U$ a unimodular integral matrix.
For fixed $\det g$ (...
8
votes
1
answer
685
views
The state of the art on topological rings - the Jacobson topology
I was recently studying the Jacobson density theorem and I found it quite interesting.
Most textbooks I've seen, including Jacobson's own Basic Algebra, only spend a few lines about the reason why it ...
- 63.9k
15
votes
0
answers
217
views
If a map between unital rings preserves multiplication and successor, does it preserve addition?
Welcome to my first MathOverflow posting!
This is a question about rings, all of them assumed to be both unital and associative.
Let $f\colon R\to S$ be a map between rings such that $f(xy)=f(x)f(y)$ ...
- 151
4
votes
1
answer
221
views
Recent research on polynomial identities
I work in computational complexity, where I work on the problem of polynomial identity testing over arithmetic circuits. One particular case is when the variables over the polynomial ring don't ...
5
votes
1
answer
367
views
Reference request: locally erasable delta-functor is universal
It is well-documented that an erasable delta-functor $(F^n,\delta)$ is universal. However, in 'small' abelian categories (in the technical sense or otherwise), there aren't always enough objects to ...
- 12.9k
2
votes
0
answers
68
views
Nonlinear random matrix equations
Let $C$ be a matrix; $v$ be a column vector;
$P$, $\Delta$ are random matrices;
$x$ is a random column vector.
$$Cvv^T - \mathbb{E}[P^Tx]v^T - \mathbb{E}[P^Tx v^T \Delta] + O(\Delta^2)= 0$$
$$C^TCv - ...
- 63.9k
1
vote
0
answers
121
views
Simple algorithm for A107670
Let $T(n, k)$ be A107670 (i.e., matrix square of triangle A107667). Here we define the triangular matrix $P$ by $P(n, k) = \frac{(n+1)^{2(n-k)}}{(n-k)!}$ for $0 \leqslant k \leqslant n$ and the ...
- 175
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 ...
- 141
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?
- 109
12
votes
0
answers
542
views
Does Wedderburn's Little Theorem hold constructively?
Wedderburn's Little Theorem states that every finite division ring is commutative. Perhaps even more surprising, this implies that every finite reduced ring is commutative.
The proofs that I am aware ...
- 63.1k
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 ...
- 4,484
0
votes
0
answers
53
views
Relations between the optimal solutions of two related SDPs
In system theory, we often encounter Semi-Definite Programs (SDPs) with Linear Matrix Inequality (LMI) constraints, such as those presented in this paper. I have introduced new variables based on the ...
- 4,484