Source author record

Sudhakar Sahoo

Sudhakar Sahoo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Discrete Mathematics math.DS nlin.CG Logic in Computer Science nlin.CD nlin.PS Other Computer Science

Catalog footprint

What is connected

9works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Relationship of Two Discrete Dynamical Models: One-dimensional Cellular Automata and Integral Value Transformations

Cellular Automaton (CA) and an Integral Value Transformation (IVT) are two well established mathematical models which evolve in discrete time steps. Theoretically, studies on CA suggest that CA is capable of producing a great variety of evolution patterns. However computation of non-linear CA or higher dimensional CA maybe complex, whereas IVTs can be manipulated easily. The main purpose of this paper is to study the link between a transition function of a one-dimensional CA and IVTs. Mathematically, we have also established the algebraic structures of a set of transition functions of a one-dimensional CA as well as that of a set of IVTs using binary operations. Also DNA sequence evolution has been modelled using IVTs.

preprint2020arXiv

Two Dimensional Discrete Dynamics of Integral Value Transformations

A notion of dimension preservative map, \textit{Integral Value Transformations} (IVTs) is defined over $\mathbb{N}^k$ using the set of $p$-adic functions. Thereafter, two dimensional \textit{Integral Value Transformations} (IVTs) is systematically analyzed over $\mathbb{N} \times \mathbb{N}$ using pair of two variable Boolean functions. The dynamics of IVTs over $\mathbb{N} \times \mathbb{N}=\mathbb{N}^2$ is studied from algebraic perspective. It is seen that the dynamics of the IVTs solely depends on the dynamics (state transition diagram) of the pair of two variable Boolean functions. A set of sixteen \textit{Collatz-like} IVTs are identified in two dimensions. Also, the dynamical system of IVTs having attractor with one, two, three and four cycles are studied. Additionally, some quantitative information of \textit{Integral Value Transformations} (IVTs) in different bases and dimensions are also discussed.

preprint2016arXiv

Deterministic Computing Mechanism for Perfect Density Classification

The purpose of the present study is to search one-dimensional Cellular Automata (CA) rules which will solve the density classification task (DCT) perfectly. The mathematical analysis of number conserving functions over binary strings of length n gives an indication of its corresponding number conserving cellular automata rules (either uniform or non-uniform). The state transition diagrams (STDs) of number conserving CA rules have been analyzed where it has been found that these STDs can generate different DCT solutions. While studying the properties of STDs, an interesting classification of binary strings could be made where equal weight strings form a class and the cardinality of each class is same as the binomial coefficient nCk; n is the length and k is the weight of the binary string. Apart from STDs, other deterministic methods have been proposed to obtain the exact solution of DCT. All these exact solutions of DCT using different deterministic methods can be viewed as an improvement over the soft computing techniques used earlier to obtain approximate solutions.

preprint2015arXiv

Carry Value Transformation (CVT) - Exclusive OR (XOR) Tree and Its Significant Properties

CVT and XOR are two binary operations together used to calculate the sum of two non-negative integers on using a recursive mechanism. In this present study the convergence behaviors of this recursive mechanism has been captured through a tree like structure named as CVT-XOR Tree. We have analyzed how to identify the parent nodes, leaf nodes and internal nodes in the CVT-XOR Tree. We also provide the parent information, depth information and the number of children of a node in different CVT-XOR Trees on defining three different matrices. Lastly, one observation is made towards very old Mathematical problem of Goldbach Conjecture.

preprint2015arXiv

Multi-Number CVT-XOR Arithmetic Operations in any Base System and its Significant Properties

Carry Value Transformation (CVT) is a model of discrete dynamical system which is one special case of Integral Value Transformations (IVTs). Earlier in [5] it has been proved that sum of two non-negative integers is equal to the sum of their CVT and XOR values in any base system. In the present study, this phenomenon is extended to perform CVT and XOR operations for many non-negative integers in any base system. To achieve that both the definition of CVT and XOR are modified over the set of multiple integers instead of two. Also some important properties of these operations have been studied. With the help of cellular automata the adder circuit designed in [14] on using CVT-XOR recurrence formula is used to design a parallel adder circuit for multiple numbers in binary number system.

preprint2013arXiv

Classification of Boolean Functions where Affine Functions are Uniformly Distributed

Classification of Non-linear Boolean functions is a long-standing problem in the area of theoretical computer science. In this paper, effort has been made to achieve a systematic classification of all n-variable Boolean functions, where only one affine Boolean function belongs to each class. Two different methods are proposed to achieve this classification. The first method is a recursive procedure that uses the Cartesian product of sets starting from the set of 1-variable Boolean function and in the second method classification is achieved through a set of invariant bit positions with respect to an affine function belonging to that class. The invariant bit positions also provide information concerning the size and symmetry properties of the classes/sub-classes, such that the members of classes/sub-classes satisfy certain similar properties.

preprint2012arXiv

Cellular Automata Rules and Linear Numbers

In this paper, linear Cellular Automta (CA) rules are recursively generated using a binary tree rooted at "0". Some mathematical results on linear as well as non-linear CA rules are derived. Integers associated with linear CA rules are defined as linear numbers and the properties of these linear numbers are studied.

preprint2011arXiv

Properties of Carry Value Transformation

The notion of Carry Value Transformation (CVT) is a model of Discrete Deterministic Dynamical System. In this paper, we have studied some interesting properties of CVT and proved that (1) the addition of any two non-negative integers is same as the sum of their CVT and XOR values. (2) While performing the repeated addition of CVT and XOR of two non-negative integers "a" and "b" (where a >= b), the number of iterations required to get either CVT=0 or XOR=0 is at most the length of "a" when both are 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 defined in the set (Z x Z) which divides the CV table into disjoint equivalence classes.

preprint2010arXiv

2-Variable Boolean Operation -- its use in Pattern Formation

In this paper the theory of 2-Variable Boolean Operation (2-VBO) has been discussed on a pair of n-bit strings. 2-VBO serves to bring out the relation between numbers which when plot on a 2-D surface form interesting patterns; patterns that may be fixed, periodic, chaotic or complex. Some of these patterns represent natural fractals. This paper also provides mathematical analysis corresponding to each of the obtained patterns, which would aid to understanding their formation. 2-VBO is an attempt towards the production and classification of patterns which represent various mathematical models and naturally occurring phenomena.