All Questions
2,027 questions with no upvoted or accepted answers
1
vote
0
answers
1k
views
comparing norms of block-matrices
Let $k\in\mathbb{N}$ and let $d\in\mathcal{M}_k=\mathcal{B}(\ell_2^k)$ be a $k\times k$ diagonal matrix with strictly positive entries. Let now $x_1,\ldots,x_m\in\mathcal{M}_k\,\,(m\in\mathbb{N}$ - ...
- 375
1
vote
0
answers
234
views
Separability of a simple ring extension
Assume $A=K[x,y]\subset K[x,y][w]=B$, $K$ is a field of characteristic zero, $w$ is integral over $A$ (so $B$ is a f.g. $A$-module), but $w$ is not in the field of fractions of $A$, and $B$ is an ...
- 2,837
1
vote
0
answers
115
views
cohomlogy of Diagonal ring
Let $S=\bigoplus_{\underline n\in\mathbb N^r } S_{\underline n}$ be a standard multigraded ring over a local ring and M be a finitely generated $\mathbb N^r $-graded $S$-module. Let $M_{\Delta}=\...
- 1,713
1
vote
0
answers
148
views
Perturbation of eigenvalues of some special matrices
In perturbation theory of linear operators, one major question is how the eigenvalues of a linear operator $A$ change under a small perturbation, $A(x) = A + xP$, with $x\in\mathbb{R}$. For instance, ...
- 61
1
vote
0
answers
119
views
Programmatically computing dual Hopf algebras: state of the art
Given a graded Hopf algebra of finite type, we know the (graded) linear dual is also a graded Hopf algebra. For instance the dual Hopf algebra to the polynomial algebra on an even degree generator, $R[...
- 133
1
vote
0
answers
249
views
Is there a way to simplify this apparently huge characteristic polynomial calculation?
Say I am given the $0/1$ adjacency matrix of an undirected graph. Also I am given a representation $\rho$ of some group $G$ and an orientation has been arbitrarily chosen along each edge. Let $E^{...
- 1,893
1
vote
0
answers
113
views
Is my particular finite dimension Toeplitz matrix always strictly positive?
Let $H(\omega), \; -\pi \leq \omega \leq \pi$ be a real-valued function with a continuous band of zeros, that is (for simplicity) $H(\omega)=0, \; |\omega|\geq \beta \pi$.
Define a sequence of banded ...
- 21
1
vote
0
answers
85
views
What are good bounds on ratios of subdeterminants?
Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...
- 1,893
1
vote
0
answers
162
views
Can we give efficiently the solution of a bilinear system of equations over a finite field?
Consider a finite field $F$ and suppose we have a system of equations
$$h_1(\alpha,\beta)=0,h_2(\alpha,\beta)=0,...,h_t(\alpha,\beta)=0$$
where $\alpha=(\alpha_1,...,\alpha_s)$ and $\beta=(\beta_1,.....
- 131
1
vote
0
answers
59
views
About alternating polynomials an the Rowen's notation
Some definitions...
Definition 1: A polynomial $f(X_1,\dots ,X_d)$ is $t$-linear if the variables $X_1,\dots ,X_t,\; t\leq d$ appear in all monomials of $f$ and degree of $X_i,\; i=1,2,\dots ,t$ on ...
- 11
1
vote
0
answers
129
views
Equivalence of Kahler structures of based loop group and its Grassmannian model
In Pressley-Segal's Loop Groups, we have the following spaces equipped with Kahler structures. Let $G$ be a compact, connected, (simply connected) group with Lie algebra $\mathfrak g$.
Let $\mathcal ...
- 627
1
vote
0
answers
270
views
Eigenvalue of product of self adjoint compact operators
Suppose A is a self adjoint $m \times m$ real matrix with eigenpairs $\{e_j, \lambda_j\}$ such that $\lambda_j > \lambda_{j + 1}$. Let $B$ be another self adjoint real $m \times m$ matrix such that ...
- 157
1
vote
0
answers
115
views
Are the Standard Quantum Groups Coordinate Rings Noetherian?
Are the standard quantum groups $C_q[G]$ Noetherian and if so what is a standard reference?
- 163
1
vote
0
answers
141
views
Normalization (integral closure) of $\mathbb Z_p[x]$ in function field of a curve to obtain Model of curve
I want to follow this construction of a normal model of a curve:
Let $p\neq 2,3$ and $Y\to \mathbb P¹$ be a smooth projective curve over $\mathbb Q_p$ with function field $L/\mathbb Q_p(x)$ e.g. $L=\...
- 171
1
vote
0
answers
396
views
Bound of spectral radius of polynomial of a complex matrix
I am trying to prove or disprove the following inequality.
$$ ||P(A)||_2\leq 2 \max_{\alpha\in W(A)}| P(\alpha)|,$$
where $P(\cdot)$ is a complex polynomial, $A\in \mathbb{C}^{n\times n}$ and $W(A)...
- 163
1
vote
0
answers
109
views
An exact fraction of a matrix
Let $A$ be a $n \times m$ real matrix with $n<<m$ and of rank $r<n$. It is known that $A$ has exactly two distinct non-zero singular values: $\sigma_{\max}$ and $\sigma_{2}$, and also that $\...
- 6,962
1
vote
0
answers
112
views
Tools to bound the singular values of a finite sum of random matrices from below?
Matrix Chernoff bounds (see also this arXiv paper) are usually used to give upper bounds on the largest eigenvalue of a finite sum of random matrices. Sometimes it can also be used to give a lower ...
- 111
1
vote
0
answers
108
views
(Affine) Schemes and the point of view of morphisms with values in a field
Let $A$ be a commutative ring with unity. If $\varphi_1 : A \rightarrow K_1$ and $\varphi_2 : A \rightarrow K_2$ are ring morphisms from $A$ to fields, $\varphi_1$ and $\varphi_2$ are said to $1$-...
- 255
1
vote
0
answers
133
views
How to prove the following claim about Pseudoinverse
For real symmetric matrices $K$ and $\hat{K}$, if $u^{T}{K}u\le u^{T}\hat{K}u\le C u^{T}{K}u$ for all $u$ in the row space of $K$, then
$u^{T}{K^{+}}u\ge u^{T}\hat{K}^{+}u\ge u^{T}{K^{+}}u/C$ for all ...
- 11
1
vote
0
answers
199
views
Criterion for global dimension of subring
All rings are assumed to be associative and unital.
If $B$ is a commutative sub-ring of $A$ (which itself needs not be commutative) then what properties of $B$ are both necessary and sufficient for ...
- 5,405
1
vote
0
answers
279
views
Testing the faithfulness of group homomorphisms by testing on the level of induced Lie Algebras
Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the
lower central series of $G$. For each $k\geq 1$, set
$\mathrm{gr}_k(G)=\Gamma_G(k)/\Gamma_G(k+1)$ and
$$\mathrm{gr}_*(G):=\...
- 1,108
1
vote
0
answers
189
views
Finding an overgroup or a subgroup in PGL
Let k be a nonperfect field of characteristic $2$. Let $a\in k\backslash k^2$, $G=PGL_4(k)$ and and $$H= \left\{ \small\left[\begin{array}{cccc}
x ...
- 11
1
vote
0
answers
53
views
Distributing partially known data between n parties
Assume that $n = 2r+1$. There are $n$ elements $a_1,a_2,\ldots,a_n$ from a finite field $\mathcal{F}$, and $n$ parties. Each party knows the values of at least $r+1$ elements out of those $n$ elements....
- 323
1
vote
0
answers
459
views
How to restructure adjacency matrix $A$ from shortest distance matrix $B$ in Network topology inference
An undirected graph with $n$ nodes could be referred to as an adjacency matrix $A$. $A=[a_{ij}]_{n×n}$ with $a_{ij}=a_{ji}=1$ standing for there being an edge between node $i$ and node $j$, and no ...
- 287
1
vote
0
answers
187
views
Examples of Lie subalgebras of universal enveloping algebras
I'm looking for non-trivial examples of triples $(\mathfrak g, L, \psi)$, where $\mathfrak g$ and $L$ are finite-dimensional non-abelian Lie algebras over field $\Bbbk$ and $\psi\colon U_{\mathfrak g}\...
- 1,422
1
vote
0
answers
63
views
"embedding" various matrix equivalences into the equivalence of particular linear map
Consider the square matrices over a (local) ring $R$, up to conjugation, $A\rightarrow UAU^{-1}$, where $U$ is an invertible matrix over $R$. Such an equivalence embeds into the "left-right" ...
- 2,232
1
vote
0
answers
46
views
the 3th and 4th order statistics of Circularly Symmetric Complex Normal random vector?
Assume that ${\bf{z}} \in {\mathbb{C}}^{n \times 1}$ is a CSCG random vector denoted with $\mathcal{C} ~ (\bf{\mu} _0,\bf \Sigma _0)$ where $\mu _0$ and $\bf \Sigma _0$ are mean and contrivance matrix,...
- 275
1
vote
0
answers
246
views
Global dimension of a subalgebra with all units
(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit in $...
- 5,405
1
vote
0
answers
122
views
Inverse of matrix of generalised harmonic numbers
For $s=0,1,\dots$ and $n=1,2,\dots$, denote $r_{n,s}=\sum_{k=1}^n k^s$. It is well-known that $r_{n,s}$ are polynomials in $n$ with leading term $\frac{1}{s+1}n^{s+1}$. Let $R_{n,s}$ be the $(s+1)\...
- 959
1
vote
0
answers
211
views
Example H-unital algebra which is not unital
What is an example of an algebra which is H-unital (that is its Bar complex is acyclic) and yet it is not unital?
- 11
1
vote
0
answers
62
views
Valuations in Higher-dimensional local fields
I have the following question which I believ should be true but I would like to have a different opinion about it:
Let $M/L$ is a finite Galois extension of $n$-dimensional local fields and $t_1,\...
- 11
1
vote
0
answers
178
views
Reductive Group Actions and Completion
Suppose that $A$ is a Noetherian (not necessarily commutative) $\mathbb{C}[h]$-algebra equipped with a rational action of an affine reductive group $G$, i.e., $A$ is a $\mathbb{C}[G]$-comodule and $g(...
- 1,543
1
vote
0
answers
228
views
How can I decode efficiently a triple-error-correcting binary BCH code?
In a given $\mathrm{BCH}(N,K)$, $T=3$ code over $\mathrm{GF}(2^m)$, there are ways to find the error locations in a given $N$-bit codeword directly from the syndromes without going through the normal ...
- 87
1
vote
0
answers
59
views
On generating Euler Square of index q, q-1 (where q is any prime power)
Can somebody help me in generating Euler Square of index q, q-1 (where q is any prime power). Also, kidly tell me if there is any code availeble for generating the stated Euler Square. The details of ...
- 11
1
vote
0
answers
137
views
Units in residue classes
Let $K$ be a CM-field of degree $2n$. (Quadratic extension of totally real number field)
Let $\mathcal{O}_K$ be the ring of integers in $K$, and $m\geq 1$ an integer. Let $U_K$ be the group of units ...
- 3,320
1
vote
0
answers
113
views
Positivstellensatz for non-polynomial term
Can we use Positivstellensatz (P-satz) below for a non-polynomial term?
P-satz:
Let $R$ be real closed field. Let $f,g,h$ be finite families of polynomials in $R[X_{1} ,...,X_{n}]$. Denote by P the ...
- 11
1
vote
0
answers
1k
views
Inverse Transpose of Jacobian Matrix
Let $f:\mathbb{R}^n\mapsto\mathbb{R}^n$ be a bijective function. Fixed $a\in\mathbb{R}^n$. For any $x$ closes to $a$, using Taylor's series we can approximate $f(x)$ by
\begin{equation}
f(x)\approx f(...
- 133
1
vote
0
answers
214
views
range of the difference-of-two-qubit-$4 \times 4$-density-matrix-determinants
The determinant of a two-qubit $4 \times 4$ density matrix--that is, a Hermitian, nonnegative definite matrix with unit trace--lies between $0$ and $(\frac{1}{2})^8$. (A "pure state" has determinant ...
- 723
1
vote
0
answers
134
views
Non commutative analogy of compact-open topology
Let $R$ be a ring, define a topology on $AUT(R)$(Or End(R)) with the following subbase:
For every two 2-sided Ideal $I$ and $J$, a subbase element is $B(I,J)=\{f\in AUT(R) \mid f(I)+J=R\}$.
We can ...
- 356
1
vote
0
answers
129
views
subring of the matrix algebra
Let $Mat_2(\mathbb{Z})$ be the $\mathbb{Z}$-algebra of $2\times2$ matrices with integer entries.
Let $A$ be a $\mathbb{Z}$-submodule of $Mat_2(\mathbb{Z})$ containing $\mathbb{Z}$. We want to show ...
user45574
1
vote
0
answers
65
views
Cyclic modules over serial rings
Let $R$ be a serial ring. What can be said about the uniform dimension of cyclic $R$-modules? Specially I would like to know Is it true that every cyclic $R$-module has finite uniform dimension ?
- 11
1
vote
0
answers
244
views
Interpolating between two points on Stiefel manifold
I'm looking for a formula to interpolate between two given matrices from the Stiefel manifold (orthogonal n by k matrices).
I do not know the tangent direction, I only know the start and end points ...
- 11
1
vote
0
answers
148
views
Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$
Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$.
Definition(Super-Gorenstein ideal): $...
- 87
1
vote
0
answers
77
views
An invariant number of modules over Auslander Gorenstein modules
Given an Auslander Gorenstein $R$ of injective dimension $\mu$, one can associate with each finitely generated module $M$ with a number $\varepsilon_{\mu}(M)$, which is the number of the $\mu$-...
- 141
1
vote
0
answers
60
views
Finding special vectors generated by a matrix
Let $G\in \Bbb Z^{n\times n}$ be a unimodular matrix.
Are there any efficient algorithms to find the maximum norm of a vector $v$ that satisfies $\langle\Delta(v),v\rangle=0$ over all vectors $v\in ...
- 13.9k
1
vote
0
answers
155
views
Universally catenary and all its formal fibers over minimal members are Cohen-Macaulay but it has a nonCohen-Macaulay formal fiber
Please help me to find a Noetherian local ring $R$ such that: $R$ is universally catenary and all its formal fibers over minimal members of $Spec(R)$ are Cohen-Macaulay but $R$ has a nonCohen-Macaulay ...
- 89
1
vote
0
answers
53
views
Duality of morphisms induced by multiplication of regular normal element
I was confused by the sequence of modules in [Yekiutieli and Zhang, Rings with Auslander dualizing complex, p.33, l.-10]. The question is that: why is the second morphism right multiplication of $t$?
...
- 141
1
vote
0
answers
170
views
Solving a system of rational functions
Given pairwise distinct numbers $c_1, c_2, \dots c_n \in \mathbb{C} \setminus \{0\}$, does the system of equations $$\frac{6}{c_k} + \sum_{i \ne k} \frac{2}{c_k - c_i} = \sum_{i = 1}^n \frac{1}{c_k - ...
1
vote
0
answers
172
views
double eigenvalue of a sum
Let $A\in \mathcal{M}_n(\mathbb{R})$ be a diagonal positive matrix. We assume that $A$ is generic (in a sense to clarify). Let $\lambda \in\mathbb{R}$ and $U\in O_n(\mathbb{R})$ ($UU^T=I$) be such ...
- 3,741
1
vote
0
answers
235
views
positiveness of the inverse solution to Sylvester equation
I need to construct a non-negative matrix with desired eigenvalues. To that end, I came up with a block matrix of the following form:
$$
\mathbf{M} = \begin{vmatrix}
\mathbf{A} & \mathbf{b} \\\
\...
- 111