Related papers: The Moebius function of separable and decomposable…

The paper presents two algorithms for finding irreducible decomposition of monomial ideals. The first one is recursive, derived from staircase structures of monomial ideals. This algorithm has a good performance for highly non-generic…

We study variants of the \emph{Frobenius coin-exchange problem}: given $n$ positive relatively prime parameters, what is the largest integer that cannot be represented as a nonnegative integral linear combination of the given integers? This…

We present a simple recurrent formula to generate the Machin-like expression for calculating $\pi/4$. The method works for any denominator in the starting term and always provides a finite decomposition. We show that the terms in the…

For $x>0$ let $\pi(x)$ denote the number of primes not exceeding $x$. For integers $a$ and $m>0$, we determine when there is an integer $n>1$ with $\pi(n)=(n+a)/m$. In particular, we show that for any integers $m>2$ and $a\le\lceil…

Let $\mathcal M$ be a separable factor. An operator $T$ in $\mathcal{M}$ is said to be irreducible in $\mathcal{M}$ if the von Neumann algebra $W^*(T)$ generated by $T$ is an irreducible subfactor of $\mathcal{M}$, i.e.,…

We introduce a class of monotone $\sigma$-complete effect algebras, called representable, which are $\sigma$-homomorphic images of a class of monotone $\sigma$-complete effect algebras of functions taking values in the interval $[0,1]$ and…

Consider a_1,a_2,...,a_n, arbitrary elements of R. We characterize those real functions f that decompose into the sum of a_j-periodic functions, i.e., f=f_1+...+f_n with D_{a_j}f(x):=f(x+a_j)-f(x)=0. We show that f has such a decomposition…

We present a unified apoach to the study of separable and Frobenius algebras. The crucial observation is thsat both cases are related to the nonlinear equation $R^{12}R^{23}=R^{23}R^{13}=R^{13}R^{12}$, called the FS-equation. Given a…

A smooth function f in a neighbourhood of the unit sphere $S^{n - 1}$ is said to admit index $\lambda$ if it can be extended to a function F in the unit ball $B^n$ such that F has a unique critical point p and the Morse index of p is equal…

There is a deep connection between permutations and trees. Certain sub-structures of permutations, called sub-permutations, bijectively map to sub-trees of binary increasing trees. This opens a powerful tool set to study enumerative and…

An ordered set partition of $\{1,2,\ldots,n\}$ is a partition with an ordering on the parts. Let $\mathcal{OP}_{n,k}$ be the set of ordered set partitions of $[n]$ with $k$ blocks. Godbole, Goyt, Herdan and Pudwell defined…

We define $\overline{\psi}$ to be the multiplicative arithemtic function that satisfies \[\overline{\psi}(p^{\alpha})=\begin{cases} p^{\alpha-1}(p+1), & \mbox{if } p\neq 2; \\ p^{\alpha-1}, & \mbox{if } p=2 \end{cases}\] for all primes $p$…

Let $A$ be an abelian variety defined over $\mathbb{Q}$ and of dimension $g$. Assume that, for each sufficiently large prime $\ell$, $A$ has a surjective residual modulo $\ell$ Galois representation. For $t\in \mathbb{Z}$ and $x>0$, denote…

We prove first-order definability of the prime subring inside polynomial rings, whose coefficient rings are (commutative unital) reduced and indecomposable. This is achieved by means of a uniform formula in the language of rings with…

The range of the divisor function $\sigma_{-1}$ is dense in the interval $[1,\infty)$. However, the range of the function $\sigma_{-2}$ is not dense in the interval $\displaystyle{\left[1,\frac{\pi^2}{6}\right)}$. We begin by generalizing…

This paper investigates the dynamics of the iterated sum-of-divisors function $\sigma_k(m)$ and its behaviour modulo $m$, motivated by classical questions on perfect and multiperfect numbers and by the congruences $\sigma_k(m) \equiv 0…

We study the commutation structure within the Pauli groups built on all decompositions of a given Hilbert space dimension $q$, containing a square, into its factors. The simplest illustrative examples are the quartit ($q=4$) and two-qubit…

S. Montgomery and S. Witherspoon proved that upper and lower semisolvable, semisimple, finite dimensional Hopf algebras are of Froebenius type when their dimensions are not divisible by the characteristic of the base field. In this note we…

The problem we consider is the following: Given an infinite word $w$ on an ordered alphabet, construct the sequence $\nu_w=(\nu[n])_n$, equidistributed on $[0,1]$ and such that $\nu[m]<\nu[n]$ if and only if $\sigma^m(w)<\sigma^n(w)$, where…

We introduce the Hopf algebra of uniform block permutations and show that it is self-dual, free, and cofree. These results are closely related to the fact that uniform block permutations form a factorizable inverse monoid. This Hopf algebra…