Symmetries in Generalized Kaprekar’s Routine

In this paper, algebraic relations were established that determined the invariance of a transformed number after several transformations. The restrictions that determine the group structure of these relationships were analyzed, as was the case of the Klein group. Parametric Kr functions associated with the existence of cycles were presented, as well as the role of the number of their links in the grouping of numbers in higher-order equivalence classes. For this, we developed a methodology based on binary equivalence relations and the complete parameterization of the Kaprekar routine using Ki functions of parametric transformation.

Weighted Scoring Committees

Weighted committees allow shareholders, party leaders, etc. to wield different numbers of votes or voting weights as they decide between multiple candidates by a given social choice method. We consider committees that apply scoring methods such as plurality, Borda, or antiplurality rule. Many different weights induce the same mapping from committee members’ preferences to winning candidates. The numbers of respective weight equivalence classes and hence of structurally distinct plurality committees, Borda commitees, etc. differ widely. There are 6, 51, and 5 plurality, Borda, and antiplurality committees, respectively, if three players choose between three candidates and up to 163 (229) committees for scoring rules in between plurality and Borda (Borda and antiplurality). A key implication is that plurality, Borda, and antiplurality rule are much less sensitive to weight changes than other scoring rules. We illustrate the geometry of weight equivalence classes, with a map of all Borda classes, and identify minimal integer representations.

Scientific Variables

Despite their centrality to the scientific enterprise, both the nature of scientific variables and their relation to inductive inference remain obscure. I suggest that scientific variables should be viewed as equivalence classes of sets of physical states mapped to representations (often real numbers) in a structure preserving fashion, and argue that most scientific variables introduced to expand the degrees of freedom in terms of which we describe the world can be seen as products of an algorithmic inductive inference first identified by William W. Rozeboom. This inference algorithm depends upon a notion of natural kind previously left unexplicated. By appealing to dynamical kinds—equivalence classes of causal system characterized by the interventions which commute with their time evolution—to fill this gap, we attain a complete algorithm. I demonstrate the efficacy of this algorithm in a series of experiments involving the percolation of water through granular soils that result in the induction of three novel variables. Finally, I argue that variables obtained through this sort of inductive inference are guaranteed to satisfy a variety of norms that in turn suit them for use in further scientific inferences.

Topological Properties of Braid-Paths Connected 2-Simplices in Covering Spaces under Cyclic Orientations

In general, the braid structures in a topological space can be classified into algebraic forms and geometric forms. This paper investigates the properties of a braid structure involving 2-simplices and a set of directed braid-paths in view of algebraic as well as geometric topology. The 2-simplices are of the cyclically oriented variety embedded within the disjoint topological covering subspaces where the finite braid-paths are twisted as well as directed. It is shown that the generated homotopic simplicial braids form Abelian groups and the twisted braid-paths successfully admit several varieties of twisted discrete path-homotopy equivalence classes, establishing a set of simplicial fibers. Furthermore, a set of discrete-loop fundamental groups are generated in the covering spaces where the appropriate weight assignments generate multiplicative group structures under a variety of homological formal sums. Interestingly, the resulting smallest non-trivial group is not necessarily unique. The proposed variety of homological formal sum exhibits a loop absorption property if the homotopy path-products are non-commutative. It is considered that the topological covering subspaces are simply connected under embeddings with local homeomorphism maintaining generality.

Topological Invariants of Vapor–Liquid, Vapor–Liquid–Liquid and Liquid–Liquid Phase Diagrams

The study of topological invariants of phase diagrams allows for the development of a qualitative theory of the processes being researched. Studies of the properties of objects in the same equivalence class may be carried out with the aim of predicting the properties of unexplored objects from this class, or predicting the behavior of a whole system. This paper describes a number of topological invariants in vapor–liquid, vapor–liquid–liquid and liquid–liquid equilibrium diagrams. The properties of some invariants are studied and illustrated. It is shown that the invariant of a diagram with a miscibility gap can be used to distinguish equivalence classes of phase diagrams, and that the balance equation of the singular-point indices, based on the Euler characteristic, may be used to analyze the binodal-surface structure of a quaternary system.

Reduced finitary incidence algebras and their automorphisms

Let [Formula: see text] denote the incidence algebra of a locally finite poset [Formula: see text] over a field [Formula: see text] and [Formula: see text] some equivalence relation on the set of generators of [Formula: see text]. Then [Formula: see text] is the subset of [Formula: see text] of all the elements that are constant on the equivalence classes of [Formula: see text]. If [Formula: see text] satisfies certain conditions, then [Formula: see text] is a subalgebra of [Formula: see text] called a reduced incidence algebra. We extend this notion to finitary incidence algebras [Formula: see text] for any poset [Formula: see text]. We investigate reduced finitary incidence algebras [Formula: see text] and determine their automorphisms in some special cases.