models and capacities of molecular communication
DESCRIPTION
Andrew W. Eckford Department 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 Toronto S. Hiyama and Y. Moritani, NTT DoCoMo. Models and Capacities of Molecular Communication. - PowerPoint PPT PresentationTRANSCRIPT
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: [email protected]: http://www.andreweckford.com/Twitter: @andreweckford