models and capacities of molecular communication

Models and Capacitiesof Molecular Communication

Andrew W. EckfordDepartment of Computer Science and Engineering, York University

Joint work with: N. Farsad and L. Cui, York University K. V. Srinivas, S. Kadloor, and R. S. Adve, University of TorontoS. Hiyama and Y. Moritani, NTT DoCoMo

2

How do tiny devices communicate?

3

How do tiny devices communicate?

4

How do tiny devices communicate?

5

How do tiny devices communicate?

6

How do tiny devices communicate?

Most information theorists are concerned with communication that is, in some way, electromagnetic:

- Wireless communication using free-space EM waves- Wireline communication using voltages/currents- Optical communication using photons

7

How do tiny devices communicate?

Most information theorists are concerned with communication that is, in some way, electromagnetic:

- Wireless communication using free-space EM waves- Wireline communication using voltages/currents- Optical communication using photons

Are these appropriate strategies for nanoscale devices?

8

How do tiny devices communicate?

There exist “nanoscale devices” in nature.

9

How do tiny devices communicate?

There exist “nanoscale devices” in nature.

Image source: National Institutes of Health

10

How do tiny devices communicate?

Bacteria (and other cells) communicate by exchanging chemical “messages” over a fluid medium.

- Example: Quorum sensing.

11

How do tiny devices communicate?

Bacteria (and other cells) communicate by exchanging chemical “messages” over a fluid medium.

- Example: Quorum sensing.

Poorly understood from an information-theoretic perspective.

12

Communication Model

Communications model

13

Communication Model

Communications model

Tx Rx

1, 2, 3, ..., |M|M:

m

Tx

m

m'

m = m'?

Medium

14

Communication Model

Communications model

Tx Rx

1, 2, 3, ..., |M|M:

m

Tx

m

Noise

m'

m = m'?

Medium

15

Say it with Molecules

Transmit: 1 0 1 1 0 1 0 0 1 0

Say it with Molecules

Cell 1 Cell 2

Quantity: Sending 0

Release no molecules

Say it with Molecules

Cell 1 Cell 2

Quantity: Sending 1

Release lots of molecules

Say it with Molecules

Cell 1 Cell 2

Quantity: Receiving

Measure number arriving

Say it with Molecules

Cell 1 Cell 2

Identity: Sending 0

Release type A

Say it with Molecules

Cell 1 Cell 2

Identity: Sending 1

Release type B

Say it with Molecules

Cell 1 Cell 2

Identity: Receiving

Measure identity of arrivals

Say it with Molecules

Cell 1 Cell 2

Timing: Sending 0

Release a molecule now

Say it with Molecules

Cell 1 Cell 2

Timing: Sending 1

WAIT …

Say it with Molecules

Cell 1 Cell 2

Timing: Sending 1

Release at time T>0

Say it with Molecules

Cell 1 Cell 2

Timing: Receiving

Measure arrival time

Ideal System Model

“All models are wrong,but some are useful”

-- George Box

27

Ideal System Model

Communications model

Tx Rx

1, 2, 3, ..., |M|M:

m

Tx

m

Noise

m'

m = m'?

Ideal System Model

What is the best you can do?

Ideal System Model

What is the best you can do?

Ideal System Model

What is the best you can do?

31

Ideal System Model

In an ideal system:

32

Ideal System Model

In an ideal system:

1) Transmitter and receiver are perfectly synchronized.

33

Ideal System Model

In an ideal system:

1) Transmitter and receiver are perfectly synchronized.

2) Transmitter perfectly controls the release times and physical state of transmitted particles.

34

Ideal System Model

In an ideal system:

1) Transmitter and receiver are perfectly synchronized.

2) Transmitter perfectly controls the release times and physical state of transmitted particles.

3) Receiver perfectly measures the arrival time and physical state of any particle that crosses the boundary.

35

Ideal System Model

In an ideal system:

1) Transmitter and receiver are perfectly synchronized.

2) Transmitter perfectly controls the release times and physical state of transmitted particles.

3) Receiver perfectly measures the arrival time and physical state of any particle that crosses the boundary.

4) Receiver immediately absorbs (i.e., removes from the system) any particle that crosses the boundary.

36

Ideal System Model

In an ideal system:

1) Transmitter and receiver are perfectly synchronized.

2) Transmitter perfectly controls the release times and physical state of transmitted particles.

3) Receiver perfectly measures the arrival time and physical state of any particle that crosses the boundary.

4) Receiver immediately absorbs (i.e., removes from the system) any particle that crosses the boundary.

37

Ideal System Model

Tx

Rx

d0

Two-dimensional Brownian motion

38

Ideal System Model

Tx

Rx

d0

Two-dimensional Brownian motion

39

Ideal System Model

Tx

Rx

d0

Two-dimensional Brownian motion

Uncertainty in propagation is the main source of noise!

40

Ideal System Model

Theorem.

I(X;Y) is higher under the ideal system model than under any system model that abandons any of these assumptions.

41

Ideal System Model

Theorem.

I(X;Y) is higher under the ideal system model than under any system model that abandons any of these assumptions.

Proof.

1, 2, 3: Obvious property of degraded channels.

4: ... a property of Brownian motion.

42

Ideal System Model

Tx

Rx

d0

One-dimensional Brownian motion

43

Ideal System Model

Tx

Rx

d0

One-dimensional Brownian motion

44

Ideal System Model

Tx

Rx

d0

One-dimensional Brownian motion

45

Ideal System Model

One-dimensional Brownian motion

Tx

Rx

d0

46

Ideal System Model

One-dimensional Brownian motion

Tx

Rx

d0

First hitting time is the only property ofBrownian motion that we use.

Ideal System Model

What is the best you can do?

Ideal System Model

What is the best you can do?

Approaches

Two approaches:

• Continuous time, single molecules• Additive Inverse Gaussian Channel

• Discrete time, multiple molecules• Delay Selector Channel

50

Additive Inverse Gaussian Channel

51

Additive Inverse Gaussian Channel

Tx

Rx

d0

Two-dimensional Brownian motion

52

Additive Inverse Gaussian Channel

Tx

Rx

d0

Two-dimensional Brownian motion

Release: t

Arrive: t + n

53

Additive Inverse Gaussian Channel

Tx

Rx

d0

Two-dimensional Brownian motion

First passage time is additive noise!

Release: t

Arrive: t + n

54

Additive Inverse Gaussian Channel

Brownian motion with drift velocity v:

55

Additive Inverse Gaussian Channel

Brownian motion with drift velocity v:

First passage time given by inverse Gaussian (IG) distribution.

56

Additive Inverse Gaussian Channel

Brownian motion with drift velocity v:

First passage time given by inverse Gaussian (IG) distribution.

57

Additive Inverse Gaussian Channel

Brownian motion with drift velocity v:

First passage time given by inverse Gaussian (IG) distribution.

58

Additive Inverse Gaussian Channel

Brownian motion with drift velocity v:

First passage time given by inverse Gaussian (IG) distribution.

IG(λ,μ)

59

Additive Inverse Gaussian Channel

60

Additive Inverse Gaussian Channel

Let h(λ,μ) = differential entropy of IG.

61

Additive Inverse Gaussian Channel

Let h(λ,μ) = differential entropy of IG.

62

Additive Inverse Gaussian Channel

Let h(λ,μ) = differential entropy of IG.

63

Additive Inverse Gaussian Channel

Additivity property:

Let a ~ IG(λa,μa) and b ~ IG(λb,μb) be IG random variables.

If λa/μa2 = λb/μb

2 = K, then

a + b ~ IG(K(μa + μb)2, μa + μb).

64

Additive Inverse Gaussian Channel

Let h(λ,μ) = differential entropy of IG, E[X] ≤ m.

65

Additive Inverse Gaussian Channel

Let h(λ,μ) = differential entropy of IG, E[X] ≤ m.

66

Additive Inverse Gaussian Channel

Let h(λ,μ) = differential entropy of IG, E[X] ≤ m.

67

Additive Inverse Gaussian Channel

Let h(λ,μ) = differential entropy of IG, E[X] ≤ m.

68

Additive Inverse Gaussian Channel

Bounds on capacity subject to input constraint E[X] ≤ m:

[Srinivas, Adve, Eckford, sub. to Trans. IT; arXiv]

69

Delay Selector Channel

Transmit: 1 0 1 1 0 1 0 0 1 0

70

Delay Selector Channel

Transmit: 1 0 1 1 0 1 0 0 1 0

Delay: 1

71

Transmit: 1 0 1 1 0 1 0 0 1 0

Delay: 1

Receive: 0 1 0 0 0 0 0 0 0 0

Delay Selector Channel

72

Transmit: 1 0 1 1 0 1 0 0 1 0

Delay: 1

Receive: 0 1 0 0 1 0 0 0 0 0

Delay Selector Channel

73

Transmit: 1 0 1 1 0 1 0 0 1 0

Delay: 1

Receive: 0 1 0 0 2 0 0 0 0 0

Delay Selector Channel

74

Transmit: 1 0 1 1 0 1 0 0 1 0

Delay: 1

Receive: 0 1 0 0 2 0 0 1 0 0

Delay Selector Channel

75

Transmit: 1 0 1 1 0 1 0 0 1 0

Delay: 1

Receive: 0 1 0 0 2 0 0 1 1 0

Delay Selector Channel

76

Transmit: 1 0 1 1 0 1 0 0 1 0

Delay:

Receive: 0 1 0 0 2 0 0 1 1 0

Delay Selector Channel

77

I

Receive: 0 1 0 0 2 0 0 1 1 0

Delay Selector Channel

78

I

Receive: 0 1 0 0 2 0 0 1 1 0

… Transmit = ?

Delay Selector Channel

79

Input-output relationship

For n particles,

80

Input-output relationship

For n particles,

First hitting time distribution

81

Input-output relationship

For n particles,

Sum over all possible arrival permutations

82

Input-output relationship

For n particles,

Sum over all possible arrival permutations

Intractable for any practical number of particles.(Bapat-Beg theorem)

The Delay Selector Channel

The Delay Selector Channel

85

Delay Selector Channel

86

Delay Selector Channel

87

Delay Selector Channel

[Cui, Eckford, CWIT 2011]

88

Delay Selector Channel

The DSC admits zero-error codes.

89

Delay Selector Channel

The DSC admits zero-error codes.

E.g., m=1: 1: [1, 0] 0: [0, 0]

90

Delay Selector Channel

The DSC admits zero-error codes.

E.g., m=1: 1: [1, 0] 0: [0, 0]

Receive:0 0 1 0 0 1 1 0 0 0 0 1

91

Delay Selector Channel

The DSC admits zero-error codes.

E.g., m=1: 1: [1, 0] 0: [0, 0]

Receive:0 0 1 0 0 1 1 0 0 0 0 1

92

Delay Selector Channel

The DSC admits zero-error codes.

E.g., m=1: 1: [1, 0] 0: [0, 0]

Receive:0 0 1 0 0 1 1 0 0 0 0 1

0 0 1 0 1 0 1 0 0 0 1 0

93

Delay Selector Channel

The DSC admits zero-error codes.

E.g., m=1: 1: [1, 0] 0: [0, 0]

Receive:0 0 1 0 0 1 1 0 0 0 0 1

0 0 1 0 1 0 1 0 0 0 1 0

94

Delay Selector Channel

The DSC admits zero-error codes.

E.g., m=1: 1: [1, 0] 0: [0, 0]

Receive:0 0 1 0 0 1 1 0 0 0 0 1

0 0 1 0 1 0 1 0 0 0 1 0

Ideal System Model

What is the best you can do?

Ideal System Model

What is the best you can do?

About 1 bit/s

97

What is the vision?

98

What is the vision?

99

What is the vision?

100

For more information

http://molecularcommunication.ca

101

For more information

Acknowledgments

Satoshi Hiyama, Yuki Moritani NTT DoCoMo, Japan

Ravi Adve, Sachin Kadloor, Univ. of Toronto, CanadaK. V. Srinivas

Nariman Farsad, Lu Cui York University, Canada

Research funding from NSERC

Contact

Email: aeckford@yorku.caWeb: http://www.andreweckford.com/Twitter: @andreweckford