P-ADIC MATHEMATICS IN BEHAVIOURAL MODELS. THE CASE OF PHYSARUM POLYCEPHALUM Andrew Schumann.

Slides:



Advertisements
Similar presentations
Turing Machines January 2003 Part 2:. 2 TM Recap We have seen how an abstract TM can be built to implement any computable algorithm TM has components:
Advertisements

Global States.
Justification-based TMSs (JTMS) JTMS utilizes 3 types of nodes, where each node is associated with an assertion: 1.Premises. Their justifications (provided.
Artificial Intelligence 13. Multi-Layer ANNs Course V231 Department of Computing Imperial College © Simon Colton.
Copyright © 2010, 2007, 2004 Pearson Education, Inc. Chapter 18 Sampling Distribution Models.
Gibbs sampler - simple properties It’s not hard to show that this MC chain is aperiodic. Often is reversible distribution. If in addition the chain is.
Alternative Simulation Core for Material Reliability Assessments Speculation how to heighten random character of probability calculations (concerning the.
Random Number Generation. Random Number Generators Without random numbers, we cannot do Stochastic Simulation Most computer languages have a subroutine,
Dynamic Bayesian Networks (DBNs)
Copyright © Cengage Learning. All rights reserved. CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION.
Parallel Scheduling of Complex DAGs under Uncertainty Grzegorz Malewicz.
Markov Chains Lecture #5
Planning under Uncertainty
1 Introduction to Computability Theory Lecture15: Reductions Prof. Amos Israeli.
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
CSE115/ENGR160 Discrete Mathematics 03/03/11 Ming-Hsuan Yang UC Merced 1.
Finite Mathematics & Its Applications, 10/e by Goldstein/Schneider/SiegelCopyright © 2010 Pearson Education, Inc. 1 of 60 Chapter 8 Markov Processes.
Algorithmic Problems in Algebraic Structures Undecidability Paul Bell Supervisor: Dr. Igor Potapov Department of Computer Science
Maximal Independent Set Distributed Algorithms for Multi-Agent Networks Instructor: K. Sinan YILDIRIM.
HAWKES LEARNING SYSTEMS math courseware specialists Copyright © 2011 Hawkes Learning Systems. All rights reserved. Hawkes Learning Systems: College Algebra.
Copyright © 2010, 2007, 2004 Pearson Education, Inc. Section 4-2 Basic Concepts of Probability.
Chapter 3 Limits and the Derivative
BY MISS FARAH ADIBAH ADNAN IMK
February 17, 2015Applied Discrete Mathematics Week 3: Algorithms 1 Double Summations Table 2 in 4 th Edition: Section th Edition: Section th.
1 CSCI 2400 section 3 Models of Computation Instructor: Costas Busch.
Operations Research Models
Using Bayesian Networks to Analyze Expression Data N. Friedman, M. Linial, I. Nachman, D. Hebrew University.
Entropy and the Second Law Lecture 2. Getting to know Entropy Imagine a box containing two different gases (for example, He and Ne) on either side of.
Lecture 2 Computational Complexity
Probability.
Copyright © Cengage Learning. All rights reserved. Elementary Probability Theory 5.
Chapter 3 – Set Theory  .
Department of Electrical Engineering, Southern Taiwan University Robotic Interaction Learning Lab 1 The optimization of the application of fuzzy ant colony.
The Integers. The Division Algorithms A high-school question: Compute 58/17. We can write 58 as 58 = 3 (17) + 7 This forms illustrates the answer: “3.
What is a Real Number? Jim Loats. Ph. D. Professor Mathematics.
8 th Grade.  Scientific Method Review   Ask a question to find out more information or to solve a problem.  What does this fossil show?  What kind.
Waves Topic 4.5 Wave Properties. Wave Behavior  Reflection in one dimension.
Introduction to Lattice Simulations. Cellular Automata What are Cellular Automata or CA? A cellular automata is a discrete model used to study a range.
Properties of Real Numbers. Sets In mathematics, a set is a collection of things Sets can be studies as a topic all on its own (known as set theory),
§10.2 Infinite Limits and Limits at Infinity
Chapter 5 Parameter estimation. What is sample inference? Distinguish between managerial & financial accounting. Understand how managers can use accounting.
Copyright © 2014 Curt Hill Sets Introduction to Set Theory.
Mathematics Conditional Probability Science and Mathematics Education Research Group Supported by UBC Teaching and Learning Enhancement Fund
Communication & Synchronization Why do processes communicate in DS? –To exchange messages –To synchronize processes Why do processes synchronize in DS?
Copyright © Cengage Learning. All rights reserved. Elementary Probability Theory 5.
Nonlinear Optics Lab. Hanyang Univ. Chapter 9. Wave-Particle Duality of Light 9.1 What is a Photon ? Whether light consists of particles or waves ? - ~1700,
Section Copyright © 2014, 2012, 2010 Pearson Education, Inc. Lecture Slides Elementary Statistics Twelfth Edition and the Triola Statistics Series.
Cellular Automata BIOL/CMSC 361: Emergence 2/12/08.
Copyright © 2010, 2007, 2004 Pearson Education, Inc. Lecture Slides Elementary Statistics Eleventh Edition and the Triola Statistics Series by.
Introduction Lecture 25 Section 6.1 Wed, Mar 22, 2006.
Advanced Engineering Mathematics, 7 th Edition Peter V. O’Neil © 2012 Cengage Learning Engineering. All Rights Reserved. CHAPTER 4 Series Solutions.
Lecture 4 Infinite Cardinals. Some Philosophy: What is “2”? Definition 1: 2 = 1+1. This actually needs the definition of “1” and the definition of the.
Donghyun (David) Kim Department of Mathematics and Computer Science North Carolina Central University 1 Chapter 7 Time Complexity Some slides are in courtesy.
Quick review of some key ideas CEE 11 Spring 2002 Dr. Amelia Regan These notes draw liberally from the class text, Probability and Statistics for Engineering.
Young’s Double-Slit Experiment Pg Interference  We now know that the experiments failed for two simple but important reasons:  1. Atoms.
HAWKES LEARNING Students Count. Success Matters. Copyright © 2015 by Hawkes Learning/Quant Systems, Inc. All rights reserved. Section 7.2 Counting Our.
Fundamentals of Informatics Lecture 12 The Halting Problem Bas Luttik.
STROUD Worked examples and exercises are in the text Programme 10: Sequences PROGRAMME 10 SEQUENCES.
1 Distributed Vertex Coloring. 2 Vertex Coloring: each vertex is assigned a color.
Boolean Algebra and Computer Logic Mathematical Structures for Computer Science Chapter 7 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Boolean Logic.
Chapter 12 Theory of Computation Introduction to CS 1 st Semester, 2014 Sanghyun Park.
Vacuum specifications in Linacs J-B. Jeanneret, G. Rumolo, D. Schulte in CLIC Workshop 09, 15 October 2009 Fast Ion Instability in Linacs and the simulation.
Physics Wave Problems Science and Mathematics Education Research Group Supported by UBC Teaching and Learning Enhancement Fund Department of.
Sub-fields of computer science. Sub-fields of computer science.
Reflections in Plane Mirrors
4 Elementary Probability Theory
Pushdown Automata.
Mathematical Induction Recursion
4 Elementary Probability Theory
Probability.
Presentation transcript:

P-ADIC MATHEMATICS IN BEHAVIOURAL MODELS. THE CASE OF PHYSARUM POLYCEPHALUM Andrew Schumann

WHO IS THAT?

PHYSARUM POLYCEPHALUM Physarum polycephalum (also called slime mould) belongs to the supergroup Amoebozoa, phylum Mycetozoa, class Myxogastria and is considered one of the best models of natural computation now. The life cycle of Physarum polycephalum consists of the following phases: (i) The plasmodium (networks of protoplasmic veins) as the main vegetative phase, when Physarum searches for food by propagating protoplasmic veins. When it finds food, it secretes enzymes to digest it. (ii) The sclerotium as a dormant phase, protecting Physarum for long periods of time, when environmental conditions cause the plasmodium to desiccate during feeding. If favorable conditions resume, the plasmodium reappears again and searches for food. (iii) Stalks of sporangia form from the plasmodium as a reproductive phase, when meiosis occurs and spores are formed. This phase begins in case there is not enough food for Physarum. (iv) Amoeboid swarm cells as a motile phase, when the spores germinate. The swarm cells fuse together to form a new plasmodium. And the cycle continues.

PLASMODIUM TRANSITION SYSTEM In computer science, the following fact was taken into account: the plasmodium spread by networks can be programmable and thereby it may simulate different simple engineering tasks such as designing transport systems. In Physarum Chip Project: Growing Computers From Slime Mould supported by FP7 we are going to construct an unconventional computer on programmable behavior of Physarum polycephalum. Notice that the Physarum motions are a kind of natural transition systems,, where States is a set of states presented by attractants and Edg  States  States is a transition of plasmodium from one attractant to another. The point is that the plasmodium looks for attractants, propagates protoplasmic tubes towards them, feeds on them and goes on. As a result, a transition system is being built.

KOLMOGOROV-USPENSKY MACHINES There are many spatial presentations of algorithms such as Kolmogorov-Uspensky machines which can be approximated in the plasmodium. However, these approximations cannot be used for projecting an unconventional computer on programmable behavior of Physarum polycephalum. The matter is that we should know, how we can extract atomic acts of plasmodium from its possible actions. In this case we would be able to define a natural transition system of Physarum polycaphalum,, as a Kolmogorov- Uspensky machine and then to construct a computer by using the conventional notion of algorithms. Nevertheless, we cannot extract atomic acts as a linear sequence in the meaning of algorithms.

DOUBLE-SLIT EXPERIMENT Due to experiments, we know basic acts of plasmodium: (i) Direction: the plasmodium moves towards the attractant; (ii) Fuse: the two plasmodia fuse after meeting the same attractant; (iii) Split: the plasmodium splits in front of many attractants. The principal question is that whether we can consider these acts of plasmodium as its atomic acts. To answer that question we can carry out the double-slit experiment

SLIT 1 IS OPENED, SLIT 2 IS COVERED

SLIT 1 IS COVERED, SLIT 2 IS OPENED

BOTH SLIT 1 AND 2 ARE OPENED

INDIVIDUAL-COLLECTIVE DUALITY This means that the plasmodium has the fundamental property of photons discovered in the double-slit experiment, i.e. we face a self-inconsistency, too, according to that it is impossible to approximate not only single photons, but also single actions of Physarum polycephalum. Indeed, we observe the one act of Physarum that is partly Direction, partly Fuse, and partly Split. So, this one act of plasmodium is not individual, but collective. This allows us to state that we face the individual-collective duality of Physarum polycephalum plasmodium. In other words, there are no atomic acts for Physarum polycephalum. Its acts are parallel: in the one act, the plasmodium can do many things at once and it can always perform many and many acts concurrently.

REAL DOUBLE-SLIT EXPERIMENT WITH PHYSARUM

THERE ARE ATOMIC ACTIONS? We deal with a transition system with only one stimulus and one passable barrier may have the following three simple actions: (i) pass trough, (ii) avoid from left, (iii) avoid from right. But in essence, we deal only with one stimulus and, therefore, with one action, although this action has the three modifications defined above

INITIAL STATES

FIRST TRANSITIONS

LAST TRANSITIONS

GROWING SAMPLE SPACE In probability theory, the universe is understood as a sample space Ω such that every member of P( Ω ) is called event. Conventionally, probability measures run over real numbers of the unit [0,1] and their domain is a Boolean algebra of P( Ω ) with atoms (singletons) denoting simple (atomic) events. In the previous section, we have just shown that in the Physarum behavior we cannot find out atomic events/actions, therefore we cannot define additive measures in the universe Ω. This means that if we wanted to define a domain of probability measures to calculate probabilities on the plasmodium, we could not appeal to the Boolean algebra of P( Ω ). Otherwise, our measures would be additive.

GROWING SAMPLE SPACE So, in our case, the powerset of P( Ω ) for the universe Ω must be non-atomistic. It would be possible if the sample space Ω was not fixed, but it changed, continuously at t = 0,1,2... In other words, let us assume that Ω is a set at t = 0, which can grow, be expanded, decrease or just change in itself at next steps. As a consequence, we will deal not with atoms as members of Ω, but with streams of the form, where a0 ∈ Ω at t = 0, a1 ∈ Ω at t = 1, a2 ∈ Ω at t = 2, etc. Let us denote this instable set, i.e. the set of all these infinite streams, by Ω ∗ and call it a wave set. The powerset P( Ω ∗ ) is not a Boolean algebra, e.g. it is not atomistic.

P-ADIC PROBABILITIES card(X ∗ ) := In particular, card( ∅∗ ) = and card( Ω ∗ ) =. Then ≤ card(X ∗ ) ≤ covers all p-adic integers, i.e. it belongs to the set Zp. The cardinal numbers of all sets are infinite integers (i.e. they are larger than any natural number). p(A ∗ ) := card(A ∗ ) / card( Ω ∗ ), where card( Ω ∗ ) = − 1 if card( Ω = p − 1), the largest integer of Zp (indeed, if p = 3, then card( Ω ∗ ) = = 0 − 1 = − 1 and if p = 5, then card( Ω ∗ ) = = 0 − 1 = − 1). So, p(A ∗ ) = card(A ∗ ) / − 1 = − card(A ∗ ). In this case p( ∅∗ ) = 0 and p( Ω ∗ ) = − 1 / − 1 = 1.

THANK YOU