Related papers: Exact-$m$-majority terms

For a degree 2n real d-dimensional multisequence \beta^(2n) to have a representing measure, it is necessary for the associated moment matrix M(n) to be positive semidefinite and for the algebraic variety V = V(\beta) associated to \beta to…

A semigroup is \emph{amiable} if there is exactly one idempotent in each $\mathcal{R}^*$-class and in each $\mathcal{L}^*$-class. A semigroup is \emph{adequate} if it is amiable and if its idempotents commute. We characterize adequate…

Commutativity is a normative criterion of aggregation and updating stating that the aggregation of expert posteriors should be identical to the update of the aggregated priors. I propose a thought experiment that raises questions about the…

Let R be an associative ring with unity and let M be an R-module. We call M (ample) Rad-supplementing if M has a (ample) Rad-supplement in every extension. If M is Rad-supplementing, then every direct summand of M is Rad-supplementing, but…

Let $k$ be a commutative ring with identity. A {\it $k$-plethory} is a commutative $k$-algebra $P$ together with a comonad structure $W_P$, called the {\it $P$-Witt ring} functor, on the covariant functor that it represents. We say that a…

We investigate the number of parts modulo $m$ of $m$-ary partitions of a positive integer $n$. We prove that the number of parts is equidistributed modulo $m$ on a special subset of $m$-ary partitions. As consequences, we explain when the…

I investigate modal group theory for arbitrary homomorphisms. Possibility is interpreted by the existence of a group homomorphism out of the given group, so the semantics is governed by the possibility of collapse: elements may be…

An automorphism on a complex supermanifold $\mathcal M$ is called unipotent if it reduces to the identity on the associated graded supermanifold $gr(\mathcal M)$. These automorphisms are close to be complementary to those responsible for…

We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then…

We show that the quasiequational theory of a relatively congruence modular quasivariety of left $R$-modules is determined by a two-sided ideal in $R$ together with a filter of left ideals. The two-sided ideal encodes the identities that…

We show that for a given exact category, there exists a bijection between semibricks (pairwise Hom-orthogonal set of bricks) and length wide subcategories (exact extension-closed length abelian subcategories). In particular, we show that a…

We relate the theory of purity of a locally finitely presented category with products to the study of exact structures on the full subcategory of finitely presented objects. Properties in the context of purity are translated to properties…

Replacing the spectral measure by a random vector $\bfZ$ allows the representation of a max-stable distribution on $\R^d$ with standard negative margins via a norm, called \emph{$D$-norm}, whose generator is $\bfZ$. The set of $D$-norms can…

A complete first order theory of a relational signature is called monomorphic iff all its models are monomorphic (i.e. have all the $n$-element substructures isomorphic, for each positive integer $n$). We show that a complete theory…

For certain generalized Thue-Morse words t, we compute the "critical exponent", i.e., the supremum of the set of rational numbers that are exponents of powers in t, and determine exactly the occurrences of powers realizing it.

Magnitude is a numerical invariant of compact metric spaces. Its theory is most mature for spaces satisfying the classical condition of being of negative type, and the magnitude of such a space lies in the interval $[1, \infty]$. Until now,…

Consider the set $M_{a,b} = \{n \in \mathbb Z_{\ge 1} : n \equiv a \bmod b\} \cup \{1\}$ for $a, b \in \mathbb Z_{\ge 1}$. If $a^2 \equiv a \bmod b$, then $M_{a,b}$ is closed under multiplication and known as an arithmetic congruence monoid…

The notion of $\ast$-idempotent measure is a modification of the notion of idempotent measure defined for every triangular norm $\ast$. We prove existence and uniqueness of invariant $\ast$-idempotent measures for iterated function systems…

Finite-state tree automata are a well studied formalism for representing term languages. This paper studies the problem of determining the regularity of the set of instances of a finite set of terms with variables, where each variable is…

An infinite word has the property $R_m$ if every factor has exactly $m$ return words. Vuillon showed that $R_2$ characterizes Sturmian words. We prove that a word satisfies $R_m$ if its complexity function is $(m-1)n+1$ and if it contains…