scholarly journals Properties of Carry Value Transformation

2012 ◽  
Vol 2012 ◽  
pp. 1-10 ◽  
Author(s):  
Suryakanta Pal ◽  
Sudhakar Sahoo ◽  
Birendra Kumar Nayak
Keyword(s):  
Dynamical System ◽  
Equivalence Relation ◽  
Equivalence Classes ◽  
Similar Process ◽  
Deterministic Dynamical System ◽  
Number Of Iterations ◽  
Binary Strings

Carry Value Transformation (CVT) is a model of discrete deterministic dynamical system. In the present study, it has been proved that (1) the sum of any two nonnegative integers is the same as the sum of their CVT and XOR values. (2) the number of iterations leading to eitherCVT=0orXOR=0does not exceed the maximum of the lengths of the two addenda expressed as binary strings. A similar process of addition of modified Carry Value Transformation (MCVT) and XOR requires a maximum of two iterations for MCVT to be zero. (3) an equivalence relation is shown to exist onZ×Zwhich divides the CV table into disjoint equivalence classes.

SINGULAR SWITCHED LINEAR SYSTEMS: SOME GEOMETRIC ASPECTS

2012 ◽  
Vol 26 (25) ◽  
pp. 1246006
Author(s):  
H. DIEZ-MACHÍO ◽  
J. CLOTET ◽  
M. I. GARCÍA-PLANAS ◽  
M. D. MAGRET ◽  
M. E. MONTORO
Keyword(s):  
Linear Systems ◽  
Group Action ◽  
Lie Group ◽  
Equivalence Relation ◽  
Geometric Approach ◽  
Differentiable Manifold ◽  
Equivalence Classes ◽  
Switched Linear Systems ◽  
Lie Group Action

We present a geometric approach to the study of singular switched linear systems, defining a Lie group action on the differentiable manifold consisting of the matrices defining their subsystems with orbits coinciding with equivalence classes under an equivalence relation which preserves reachability and derive miniversal (orthogonal) deformations of the system. We relate this with some new results on reachability of such systems.

scholarly journals A General Theory of Wilf-Equivalence for Catalan Structures

10.37236/5629 ◽  
2015 ◽  
Vol 22 (4) ◽  
Author(s):  
Michael Albert ◽  
Mathilde Bouvel
Keyword(s):  
General Theory ◽  
Equivalence Relation ◽  
Generating Functions ◽  
Asymptotic Estimate ◽  
Equivalence Classes ◽  
Catalan Number ◽  
Combinatorial Structures ◽  
Dyck Paths ◽  
Significant Interest ◽  
Wilf Equivalence

The existence of apparently coincidental equalities (also called Wilf-equivalences) between the enumeration sequences or generating functions of various hereditary classes of combinatorial structures has attracted significant interest. We investigate such coincidences among non-crossing matchings and a variety of other Catalan structures including Dyck paths, 231-avoiding permutations and plane forests. In particular we consider principal subclasses defined by not containing an occurrence of a single given structure. An easily computed equivalence relation among structures is described such that if two structures are equivalent then the associated principal subclasses have the same enumeration sequence. We give an asymptotic estimate of the number of equivalence classes of this relation among structures of size $n$ and show that it is exponentially smaller than the $n^{th}$ Catalan number. In other words these "coincidental" equalities are in fact very common among principal subclasses. Our results also allow us to prove in a unified and bijective manner several known Wilf-equivalences from the literature.

Cauchy Points of Metric Locales

1989 ◽  
Vol 41 (5) ◽  
pp. 830-854 ◽  
Author(s):  
B. Banaschewski ◽  
A. Pultr
Keyword(s):  
Equivalence Relation ◽  
Metric Spaces ◽  
Equivalence Classes ◽  
Classical Description ◽  
Natural Approach ◽  
Precise Meaning ◽  
Natural Equivalence ◽  
Cauchy Sequences

A natural approach to topology which emphasizes its geometric essence independent of the notion of points is given by the concept of frame (for instance [4], [8]). We consider this a good formalization of the intuitive perception of a space as given by the “places” of non-trivial extent with appropriate geometric relations between them. Viewed from this position, points are artefacts determined by collections of places which may in some sense by considered as collapsing or contracting; the precise meaning of the latter as well as possible notions of equivalence being largely arbitrary, one may indeed have different notions of point on the same “space”. Of course, the well-known notion of a point as a homomorphism into 2 evidently fits into this pattern by the familiar correspondence between these and the completely prime filters. For frames equipped with a diameter as considered in this paper, we introduce a natural alternative, the Cauchy points. These are the obvious counterparts, for metric locales, of equivalence classes of Cauchy sequences familiar from the classical description of completion of metric spaces: indeed they are decreasing sequences for which the diameters tend to zero, identified by a natural equivalence relation.

scholarly journals On the Groups of Cobordism Ωk

1958 ◽  
Vol 13 ◽  
pp. 135-156 ◽  
Author(s):  
Masahisa Adachi
Keyword(s):  
Equivalence Relation ◽  
Differentiable Manifold ◽  
Equivalence Classes ◽  
Graded Algebra ◽  
Differentiable Manifolds ◽  
Free Part ◽  
Natural Way

In the papers [11] and [18] Rohlin and Thom have introduced an equivalence relation into the set of compact orientable (not necessarily connected) differentiable manifolds, which, roughly speaking, is described in the following manner: two differentiable manifolds are equivalent (cobordantes), when they together form the boundary of a bounded differentiable manifold. The equivalence classes can be added and multiplied in a natural way and form a graded algebra Ω relative to the addition, the multiplication and the dimension of manifolds. The precise structures of the groups of cobordism Ωk of dimension k are not known thoroughly. Thom [18] has determined the free part of Ω and also calculated explicitly Ωk for 0 ≦ k ≦ 7.

scholarly journals Bipolar Fuzzy Relations

Mathematics ◽  
2019 ◽  
Vol 7 (11) ◽  
pp. 1044 ◽  
Author(s):  
Jeong-Gon Lee ◽  
Kul Hur
Keyword(s):  
Equivalence Class ◽  
Level Set ◽  
Equivalence Relation ◽  
Level Sets ◽  
Equivalence Classes ◽  
Fuzzy Relation ◽  
Fuzzy Relations ◽  
Transitive Relation ◽  
Fuzzy Partition

We introduce the concepts of a bipolar fuzzy reflexive, symmetric, and transitive relation. We study bipolar fuzzy analogues of many results concerning relationships between ordinary reflexive, symmetric, and transitive relations. Next, we define the concepts of a bipolar fuzzy equivalence class and a bipolar fuzzy partition, and we prove that the set of all bipolar fuzzy equivalence classes is a bipolar fuzzy partition and that the bipolar fuzzy equivalence relation is induced by a bipolar fuzzy partition. Finally, we define an ( a , b ) -level set of a bipolar fuzzy relation and investigate some relationships between bipolar fuzzy relations and their ( a , b ) -level sets.

scholarly journals Borel structures and Borel theories

2011 ◽  
Vol 76 (2) ◽  
pp. 461-476 ◽  
Author(s):  
Greg Hjorth ◽  
André Nies
Keyword(s):  
Equivalence Relation ◽  
Equivalence Classes ◽  
Strong Sense ◽  
Borel Equivalence Relation ◽  
And Function

AbstractWe show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are uniformly Borel.We also investigate Borel isomorphisms between Borel structures.

scholarly journals When are Two Algorithms the Same?

2009 ◽  
Vol 15 (2) ◽  
pp. 145-168 ◽  
Author(s):  
Andreas Blass ◽  
Nachum Dershowitz ◽  
Yuri Gurevich
Keyword(s):  
Equivalence Relation ◽  
Equivalence Classes ◽  
Natural Way

AbstractPeople usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.

GALTON'S QUINCUNX: RANDOM WALK OR CHAOS?

2007 ◽  
Vol 17 (12) ◽  
pp. 4463-4469 ◽  
Author(s):  
KEVIN JUDD
Keyword(s):  
Dynamical System ◽  
Random Walk ◽  
Central Limit Theorem ◽  
Limit Theorem ◽  
Mechanical Device ◽  
Dynamical Models ◽  
The Central Limit Theorem ◽  
Random Events ◽  
Low Dimensional ◽  
Deterministic Dynamical System

In 1873 Francis Galton had constructed a simple mechanical device where a ball is dropped vertically through a harrow of pins that deflect the ball sideways as it falls. Galton called the device a quincunx, although today it is usually referred to as a Galton board. Statisticians often employ (conceptually, if not physically) the quincunx to illustrate random walks and the central limit theorem. In particular, how a Binomial or Gaussian distribution results from the accumulation of independent random events, that is, the collisions in the case of the quincunx. But how valid is the assumption of "independent random events" made by Galton and countless subsequent statisticians? This paper presents evidence that this assumption is almost certainly not valid and that the quincunx has the richer, more predictable qualities of a low-dimensional deterministic dynamical system. To put this observation into a wider context, the result illustrates that statistical modeling assumptions can obscure more informative dynamics. When such dynamical models are employed they will yield better predictions and forecasts.

Sign in / Sign up

Export Citation Format

Share Document