Related papers: The Symmetric Sugeno Integral
We consider the problem of sequencing a set of positive numbers. We try to find the optimal sequence to maximize the variance of its partial sums. The optimal sequence is shown to have a beautiful structure. It is interesting to note that…
We introduce a notion of parity for formal morphisms between invertible objects and use it to prove a corresponding coherence theorem. Parity is conceptually similar to the sign of underlying permutations, but not defined as such. To give…
After attaching explicitly to the M\"obius strip an invertible module over the ring of real polynomial functions on the real circle, we expound as directly as possible the many faces and the main algebraic properties of invertible modules.…
In this paper we present an alternative approach to a problem dealt with by Rosales et al. In particular, once a base $b$ for the representation of the integers is fixed, we describe a procedure for constructing the smallest multiplicative…
We introduce symmetric arithmetic circuits, i.e. arithmetic circuits with a natural symmetry restriction. In the context of circuits computing polynomials defined on a matrix of variables, such as the determinant or the permanent, the…
Symmetric rings were introduced by Lambek to extend usual commutative ideal theory in noncommutative rings. In this paper, we study symmetric rings over which Ore extensions are symmetric. A ring R is called strongly \sigma-symmetric if the…
We introduce the concept of negative coefficients in various number-based systems, with a focus on decimal and binary systems. We demonstrate that every binary number can be transformed into a sparse form, significantly enhancing…
We study almost symmetric semigroups generated by odd integers. If the embedding dimension is four, we characterize when a symmetric semigroup that is not complete intersection or a pseudo-symmetric semigroup is generated by odd integers.…
Moebius number systems represent points using sequences of Moebius transformations. Thorough the paper, we are mainly interested in representing the unit circle (which is equivalent to representing R\cup\{\infty\}). The main aim of the…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
This work studies numerical integration by the M\"obius-transformed trapezoidal rule, which combines the classical trapezoidal rule with a change of variables induced by a M\"obius transformation that maps the unit circle onto the real…
We describe a generalization of the group testing problem termed symmetric group testing. Unlike in classical binary group testing, the roles played by the input symbols zero and one are "symmetric" while the outputs are drawn from a…
We introduce the notion of \tau-like partial order, where \tau is one of the linear order types \omega, \omega*, \omega+\omega*, and \zeta. For example, being \omega-like means that every element has finitely many predecessors, while being…
Let ${\cal E}$ be a topos, ${{\rm Dec}({\cal E}) \rightarrow {\cal E}}$ be the full subcategory of decidable objects, and ${{\cal E}_{\neg\neg} \rightarrow {\cal E}}$ be the full subcategory of double-negation sheaves. We give sufficient…
The conformal compactification is considered in a hierarchy of hypercomplex projective spaces with relevance in physics including Minkowski and Anti-de Sitter space. The geometries are expressed in terms of bicomplex Vahlen matrices and…
A new alternative numerical procedure to the Szeg\H{o} quadrature formulas for the estimation of integrals with respect to a positive Borel measure $\mu$ supported on the unit circle is presented. As in many practical situations, we assume…
The concept of integral as an inverse to that of derivation was already introduced for rings and recently also for lattices. Since semirings generalize both rings and bounded distributive lattices, it is natural to investigate integration…
A unified approach to (symmetric informationally complete) positive operator valued measures and mutually unbiased bases is developed in this article. The approach is based on the use of operator equivalents expanded in the enveloping…
We describe absolutely ordered $p$-normed spaces, for $1 \le p \le \infty$ which presents a model for "non-commutative" vector lattices and includes order theoretic orthogonality. To demonstrate its relevance, we introduce the notion of…
We develop theory of multiplicity maps for compact quantum groups, as an application, we obtain a complete classification of right coideal $C^*$-algebras of $C(SU_q(2))$ for $q\in [-1,1]\setminus \{0\}$. They are labeled with Dynkin…