Permutation Routing over Sparse Networks
Nithish Kumar and Shubhang Kulkarni Presented by
Permutation Routing over Sparse Networks Presented by Nithish Kumar - - PowerPoint PPT Presentation
Permutation Routing over Sparse Networks Presented by Nithish Kumar and Shubhang Kulkarni Presenter: Nithish Kumar Routing Algorithm Given a network topology, a routing algorithm specifies, for each pair of nodes, a route - or a sequence of
Nithish Kumar and Shubhang Kulkarni Presented by
v Analyze time for Phase I and argue Phase II by symmetry v Assume no packets start at Phase II until completion of Phase I Theorem
In any permutation routing problem, the two-phase routing scheme routes all packets to their destinations in π·(π) time steps with high probability
Time for Phase I β€ Time for any packet to reach destination β€ Number of times its path is touched by any packet β€ Number of times any path is touched by any packet β€ (Our Bound) 30π w.h.p. Pr π΅ππ§ πππ’β π’ππ£πβππ > πππ£ππ β€ Pr ππ€πππ’ + Pr π΅ππ§ πππ’β π’ππ£πβππ > πππ£ππ ππ€πππ’]. β€ Very small
= >?
v π: Packet v π: Edge v P: Path (sequence of edges) v π π : Number of time steps for π to reach destination v π π : Number of times edges of π are used v π π : Number of packets traversing over edge π π π β€ E π(πF)
Let π= π> β― πJ be the edges traversed by π In each time step, π halts at a node, or traverses an edge. Let π = π= π>β― πJ be any valid path by the bit fixing algorithm π π = E π(πF)
π π β€ π(π) Time for a packet is upper bounded by number
Path π is a possible packet path if it may be the outcome of the bit fixing algorithm Fix a possible packet path π = π€Lπ€= β― π€J. A packet π is active at π€F if the following two conditions happen: π€F π€FM= 1 2 β― β― β― π Differ in πQR bit β― β― π
A packet is active if it is active at any node π€F
For every vertex π β π , define the indicator variable π΅V as follows: π΅V = 1 β¦ If packet starting at node π is active β¦ Otherwise π΅V are independent as
π΅ = E π΅V
V FH=
Is the total number of active packets πΉ π΅ = ?
π‘= π‘Z π‘
[
π‘
[\=
π‘
[M=
π’= π‘Z π‘
[
π’[\= π‘
[M=
π’= π‘Z π’[ π’[\= π‘
[M=
π’= π’Z π’[ π’[\= π’[M= Source of P Destination of P π€F π€FM= π v A packet can arrive at π€F only if it starts from β β― β π‘
[ β― π‘Z
v A packet actually arrives at π€F only if its random destination is (π’= β― π’[\= β β― β) Pr ππ π ππ€πππ ππ’ π€F ππ π ππ€ππ ππ‘ πππ‘π‘ππππ] = 1 2[\= Total number of possible arrivals β€ 2[\= πΉ ππ£ππππ ππ πππ’ππ€π ππππππ’π‘ πππ π€ππ π’ππ¦ β€ 1 πΉ π΅ β€ 1 β π β€ π Pr π΅ β₯ 6π β€ 2\hZ By Chernoff Bounds We found our event!
v We now know that Pr πππ’ππ€π ππππππ’π‘ β₯ 6π β€ π‘ππππ’βπππ π’πππ§ v We can now bound the time for Phase I conditioning on high probability complement event v Use following inequality to get final bound: Pr π = Pr π π ] Pr π + Pr π π j] Pr π j β€ Pr π + Pr π π j] P βΆ πΉvent that T P β₯ ππ Q βΆ πΉπ€πππ’ π’βππ’ π΅ β₯ 6π
Observation 1: Observation 2: Due to the ordering of bit fixing, a packet that leaves π cannot return to π in this phase An active packet at π€F, crosses the edge (π€F, π€FM=) with probability at most
= >
Probability that the active packets cross edges of π more than 30π times is less than probability that a fair coin flipped 36π times comes up heads fewer than 6π times Lemma: Can be thought of as flipping fair independent coins to generate next co-ordinate
Trial: each point in the algorithm where an active packet on path P, might cross an edge of P trial successful if packet leaves path failure if packet stays on path Since packet leaves π on a successful trial, there can be at most 6π successful trials (due to our condition event!) Let πF be the number of transitions that the πQR packet makes on π. Then πF is a geometric random random variable with probability of success
= >
Let πhZ be an upper bound on the total path time πhZ = E πF
hZ FH=
Let πhZ be an upper bound on the total path time πhZ = E πF
hZ FH=
Thus, Pr π π β₯ 30π π΅ β€ 6π] β€ Pr πhZ β₯ 30π β€ Pr π β€ 6 β€ π\
wx? y z y y
β¦ by Chernoff bounds Let π be the number of heads in 36n fair coin flips On simplifying we get that: π\
wx? y z y y
= π\{Z β€ 2\|Z\= Time for our favorite inequality to get the desired bound!
Pr π = Pr π π ] Pr π + Pr π π j] Pr π j β€ Pr π + Pr π π j] Pr π π β₯ 30π β€ Pr π΅ > 6π + Pr π π β₯ 30π π΅ β€ 6π] β€ 2\hZ + 2\|Z \= β€ 2\|Z Due to bit fixing, a source and destination uniquely determines a possible path. Thus 2Z β 2Z = 2>Z possible paths Union bounding over all these paths, we get probability that any possible packet path needing time more than 30π is at most 2>Z β 2\|Z = 2\Z = π(π\=)
v Can be viewed as running Phase I backwards v Instead of packets starting at given source and routing to a random sink, they start at a random origin and end at a given destination. v Hence no packet spends more than 30n steps in Phase II with probability 1 β π(π\=) v We may remove the assumption that packets begin Phase II only after Phase I has completed v Total number of packet traversals across the edges of any packet path during Phase I and Phase II together is bounded by 60π = π(π) with probability 1 β π(π\=) v The bound holds regardless of how the phases interact v This concludes the proof!