Related papers: On Fillmore's theorem extended by Borobia
Let $G$ be a connected and simply connected two-step nilpotent Lie group and $\Gamma$ a lattice subgroup of $G$. In this note, we give a new multiplicity formula, according to the sense of Moore, of irreducible unitary representations…
We show that a formal power series in $2N$ non-commuting indeterminates is a positive non-commutative kernel if and only if the kernel on $N$-tuples of matrices of any size obtained from this series by matrix substitution is positive. We…
In this paper we give alternate proofs of some well-known matrix inequalities. In particular, we show that under certain conditions the inequality holds \begin{align}\sum \limits_{\lambda_i\in \mathrm{Spec}(ab^{T})}\mathrm{min}\{\log…
In this paper, we improve the results in the author's previous paper \cite{Usu22}, which deals with the quantitative problem on Littlewood's conjecture. We show that, for any $0<\gamma<1$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set…
Let $\mathcal{A}$ and $\mathcal{B}$ be two factor von Neumann algebras and $\eta$ be a non-zero complex number. A nonlinear bijective map $\phi:\mathcal A\rightarrow\mathcal B$ has been demonstrated to satisfy…
Form an $n \times n$ matrix by drawing entries independently from $\{\pm1\}$ (or another fixed nontrivial finitely supported distribution in $\mathbf{Z}$) and let $\phi$ be the characteristic polynomial. Conditionally on the extended…
We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given a finite presentation of a (unitary) commutative ring…
Let $\Gamma$ be a smooth curve or finite disjoint union of smooth curves in the plane and $\Lambda$ be any subset of the plane. Let $\mathcal X(\Gamma)$ be the space of all finite complex-valued Borel measures in the plane which are…
Let $\|\cdot\|$ denote the minimum distance to an integer. For $0<\gamma< 1$, $\theta>0$ and $(\alpha, \beta) \in \mathbb{R} \setminus \{0\} \times \mathbb{R}$ we study when \begin{equation*} \|\alpha p^{\gamma}+\beta \|<p^{-\theta},…
Let B be an n by n doubly substochastic matrix. We show that B can be written as a convex combination of no more than {\sigma}(B)+t subpermutation matrices, where {\sigma}(B) is the number of nonzero elements in B and t is the number of…
We give an elementary proof of a Caratheodory-type result on the invertibility of a sum of matrices, due first to Facchini and Barioli. The proof yields a polynomial identity, expressing the determinant of a large sum of matrices in terms…
The purpose of this note is to prove the existence of a remarkable structure in an iterated sumset derived from a set $P$ in a Cartesian square $\mathbb{F}_p^n\times\mathbb{F}_p^n$. More precisely, we perform horizontal and vertical sums…
Using a diagrammatic reformulation of Bayes' theorem, we provide a necessary and sufficient condition for the existence of Bayesian inference in the setting of finite-dimensional $C^*$-algebras. In other words, we prove an analogue of…
In this paper, we prove Dahmen and Beukers' conjecture that the number of integral Lam\'{e} equations with index $n$ modulo scalar equivalence with the monodromy group dihedral $D_{N}$ of order $2N$ is given by \[L_{n}(N)=\frac{1}{2}\left(…
Let $H$ and $K$ be two complex inner product spaces with dim$(X)\geq 2$. We prove that for each non-zero additive mapping $A:H \to K$ with dense image the following statements are equivalent: $(a)$ $A$ is (complex) linear or…
In this note, we give examples of formal power series satisfying certain conditions that cannot be realized as Hilbert series of finitely generated modules. This answers to the negative a question raised in a recent article by the second…
Recently, in arXiv:1304.7895; Ukrainian Math. J. - 2014.- 66. - P. 371 - 383, we presented the generalized Li's criterion. This is the statement that the sums /lambda_(n, b, /sigma)=Sum_(rho)((1-((/rho+b)/(/rho-b-2*/sigma))^n)), taken over…
The question whether there exists an integral solution to the system of linear equations with non-negative constraints, $A\x = \b, \, \x \ge 0$, where $A \in \Z^{m\times n}$ and ${\mathbf b} \in \Z^m$, finds its applications in many areas,…
Nonlinear pseudo-fermions of degree n (n-pseudo-fermions) are introduced as (pseudo) particles with creation and annihilation operators $a$ and $b$, $b \neq a^\dagger$, obeying the simple nonlinear anticommutation relation $ab + b^n a^n =…
The Lyapunov order appeared in the study of Nevanlinna-Pick interpolation for positive real odd functions with general (real) matrix points. For real or complex matrices $A$ and $B$ it is said that $B$ Lyapunov dominates $A$ if…