Related papers: Exact-$m$-majority terms
Our main result states that a finite semiring of order >2 with zero which is not a ring is congruence-simple if and only if it is isomorphic to a `dense' subsemiring of the endomorphism semiring of a finite idempotent commutative monoid. We…
Ramanujan (and others) proved that the partition function satisfies a number of striking congruences modulo powers of 5, 7 and 11. A number of further congruences were shown by the works of Atkin, O'Brien, and Newman. In this paper we prove…
There is a general notion of the magnitude of an enriched category, defined subject to hypotheses. In topological and geometric contexts, magnitude is already known to be closely related to classical invariants such as Euler characteristic…
The celebrated Trakhtenbrot's theorem states that the set of finitely valid sentences of first-order logic is not computably enumerable. In this note we will extend this theorem by proving that the finite satisfiability problem of any…
Let $R$ be a commutative ring with identity. For an $R$-module $M$, the notion of strongly prime submodule of $M$ is defined. It is shown that this notion of prime submodule inherits most of the essential properties of the usual notion of…
Let $G = (A \cup B,E)$ be a bipartite graph where the set $A$ consists of agents or main players and the set $B$ consists of jobs or secondary players. Every vertex has a strict ranking of its neighbors. A matching $M$ is popular if for any…
A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the…
We find conditions which guarantee moment (in)determinacy of powers and products of nonnegative random variables. We establish new and general results which are based either on the rate of growth of the moments of a random variable or on…
The practically important classes of equal-input and of monotone Markov matrices are revisited, with special focus on embeddability, infinite divisibility, and mutual relations. Several uniqueness results for the classic Markov embedding…
In these notes we develop some basic theory of idempotents in monoidal categories. We introduce and study the notion of a pair of complementary idempotents in a triangulated monoidal category, as well as more general idempotent…
Arithmetical congruence monoids, which arise in non-unique factorization theory, are multiplicative monoids $M_{a,b}$ consisting of all positive integers $n$ satsfying $n \equiv a \bmod b$. In this paper, we examine the asymptotic behavior…
In this paper we study $b_5(n)$, the $5$-regular partitions of $n$. Using the theory of modular forms, we prove several theorems on the divisibility and distribution properties of $b_5(n)$ modulo prime $m\geq5$. In particular, we prove that…
For a new class of algebras, called $EMV$-algebras, every idempotent element $a$ determines an $MV$-algebra which is important for the structure of the $EMV$-algebra. Therefore, instead of standard homomorphisms of $EMV$-algebras, we…
An integer sequence that is defined by initial values and a linear recurrence with constant integer coefficients, can be represented by the difference of two arithmetic terms containing exponentiation. All constants occuring in the term are…
In (B-Gran, 2004), was given a categorical formulation of the Shifting Lemma which is a characterization of the Congruence Modular Varieties among all the variety of Universal Algebra, introduced in (Gumm, 1983). Starting from a…
The Amit conjecture about word maps on finite nilpotent groups has been shown to hold for certain classes of groups. The generalised Amit conjecture says that the probability of an element occurring in the image of a word map on a finite…
It is conjectured that for a perfect number $m,$ $\rm{rad}(m)\ll m^{\frac{1}{2}}.$ We prove bounds on the radical of multiperfect number $m$ depending on its abundancy index. Assuming the ABC conjecture, we apply this result to study gaps…
Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially…
The moment problem in probability theory asks for criteria for when there exists a unique measure with a given tuple of moments. We study a variant of this problem for random objects in a category, where a moment is given by the average…
In some particular cases we give criteria for morphic sequences to be almost periodic (=uniformly recurrent). Namely, we deal with fixed points of non-erasing morphisms and with automatic sequences. In both cases a polynomial-time algorithm…