The Transmission-Switching Duality of Communication Networks Tony T. Lee Shanghai Jiao Tong University The Chinese University of Hong Kong Xidian University, June 21, 2011

A Mathematical Theory of Communication BSTJ, 1948 C. E. Shannon

Contents Introduction Routing and Channel Coding Scheduling and Source Coding

Reliable Communication Circuit switching network Reliable communication requires noise-tolerant transmission Packet switching network Reliable communication requires both noise-tolerant transmission and contention-tolerant switching

Quantization of Communication Systems Transmission—from analog channel to digital channel Sampling Theorem of Bandlimited Signal (Whittakev 1915; Nyquist, 1928; Kotelnikou, 1933; Shannon, 1948) Switching—from circuit switching to packet switching Doubly Stochastic Traffic Matrix Decomposition (Hall 1935; Birkhoff-von Neumann, 1946)

Noise vs. Contention Transmission channel with noise Source information is a function of time, errors corrected by providing more signal space Noise is tamed by error correcting code Packet switching with contention Source information f(i) is a function of space, errors corrected by providing more time Contention is tamed by delay, buffering or deflection Connection request f(i)= j 0111 0001 Message=0101 0101 0100 1101 Delay due to buffering or deflection

Transmission vs. Switching Shannon’s general communication system Received signal Source Message Transmitter Signal Channel capacity C Receiver Destination Temporal information source: function f(t) of time t Noise source Clos network C(m,n,k) Source Destination Input module Central module Output module nxm kxk mxn o o n-1 n-1 Spatial information source: function f(i) of space i=0,1,…,N-1 N-n k-1 m-1 k-1 N-n N-1 N-1 Channel capacity = m Internal contention

Communication Channel Clos Network Contention Routing Scheduling Noise Channel Coding Source Coding

Apple vs. Orange 350mg Vitamin C 1.5g/100g Sugar 500mg Vitamin C

Contents Introduction Routing and Channel Coding Scheduling and Source Coding Rate Allocation Boltzmann Principle of Networking

Output Contention and Carried Load Nonblocking switch with uniformly distributed destination address ρ: offered load ρ’: carried load 1 1 N-1 N-1 The difference between offered load and carried load reflects the degree of contention

Proposition on Signal Power of Switch (V. Benes 63) The energy of connecting network is the number of calls in progress ( carried load ) The signal power Sp of an N×N crossbar switch is the number of packets carried by outputs, and noise power Np=N- Sp Pseudo Signal-to-Noise Ratio (PSNR)

Boltzmann Statistics a 1 1 b 2 2 3 c 3 4 4 5 d 5 6 6 7 7 n0 = 5 n1 = 2 a n0 = 5 1 3 4 6 7 1 1 b 2 2 n1 = 2 a 5 d 3 c 3 Micro State 4 4 n2 = 1 2 b,c 5 d 5 6 6 Output Ports: Particles 7 7 Packet: Energy Quantum energy level of outputs = number of packets destined for an output. ni = number of outputs with energy level packets are distinguishable, the total number of states is, N = n + n + L + n Number of Outputs 1 r

Boltzmann Statistics (cont’d) From Boltzmann Entropy Equation Maximizing the Entropy by Lagrange Multipliers Using Stirling’s Approximation for Factorials Taking the derivatives with respect to ni, yields S: Entropy W: Number of States C: Boltzman Constant

Boltzmann Statistics (cont’d) If offered load on each input is ρ, under uniform loading condition Probability that there are i packets destined for the output Carried load of output Poisson distribution

Clos Network C(m,n,k) D S Slepian-Duguid condition m≥n k x k n x m m x n n-1 n-1 D = nQ + R D is the destination address Q =⌊D/n⌋ --- output module in the output stage R = [D] n --- output link in the output module G is the central module Routing Tag (G,Q,R) G G I Q n-1 n-1 m-1 k-1 k-1 m-1 D nI S I I G Q G nQ k-1 k-1 n(I+1)-1 n-1 m-1 Q G R nQ+R m-1 n-1 (n+1)Q-1 n(k-1) n(k-1) m-1 k-1 k-1 G I G Q nk-1 nk-1 n-1 m-1 k-1 k-1 m-1 n-1 Input stage Middle stage Output stage Slepian-Duguid condition m≥n

Clos Network as a Noisy Channel Source state is a perfect matching Central modules are randomly assigned to input packets Offered load on each input link of central module Carried load on each output link of central module Pseudo signal-to-noise ratio (PSNR)

Noisy Channel Capacity Theorem Capacity of the additive white Gaussian noise channel The maximum date rate C that can be sent through a channel subject to Gaussian noise is C: Channel capacity in bits per second W: Bandwidth of the channel in hertz S/N: Signal-to-noise ratio

Planck's law can be written in terms of the                                                     Planck's law can be written in terms of the spectral energy density per unit volume of thermodynamic equilibrium cavity radiation.

Clos Network with Deflection Routing Route the packets in C(n,n,k) and C(k,k,n) alternately k-1 n-1 kxk nxn C(n, n, k) C(k, k, n) Encoding output port addresses in C(n, n, k) Destination: D = nQ1 + R1 Output module number: Output port number: Encoding output port addresses in C(k, k, n) Destination: D = kQ2 + R2 Routing Tag = (Q1,R1, Q2,R2)

Loss Probability versus Network Length The loss probability of deflection Clos network is an exponential function of network length

Shannon’s Noisy Channel Coding Theorem Given a noisy channel with information capacity C and information transmitted at rate R If R<C, there exists a coding technique which allows the probability of error at the receiver to be made arbitrarily small. If R>C, the probability of error at the receiver increases without bound.

Binary Symmetric Channel The Binary Symmetric Channel(BSC) with cross probability q=1-p‹½ has capacity There exist encoding E and decoding D functions If the rate R=k/n=C-δ for some δ>0. The error probability is bounded by If R=k/n=C+ δ for some δ>0, the error probability is unbounded 1 p q p

Parallels Between Noise and Contention Binary Symmetric Channel Deflection Clos Network Cross Probability q<½ Deflection Probability q<½ Random Coding Deflection Routing R≤C R≤n Exponential Error Probability Exponential Loss Probability Complexity Increases with Code Length n Complexity Increases with Network Length L Typical Set Decoding Equivalent Set of Outputs

Edge Coloring of Bipartite Graph A Regular bipartite graph G with vertex-degree m satisfies Hall’s condition Let A ⊆ VI be a set of inputs, NA = {b | (a,b) ∈ E, a∈A} , since edges terminate on vertices in A must be terminated on NA at the other end.Then m|NA| ≥ m|A|, so |NA| ≥ |A|

Route Assignment in Clos Network 1 1 2 2 1 1 3 3 1 4 4 2 2 5 5 6 2 6 3 3 7 7 Computation of routing tag (G,Q,R) S=Input 0 1 2 3 4 5 6 7 D=Output 1 3 2 0 6 4 7 5 G=Central module 0 2 0 2 2 1 0 2 0 1 1 0 3 2 3 2 1 1 0 0 0 0 1 1

Rearrangeabe Clos Network and Channel Coding Theorem (Slepian-Duguid) Every Clos network with m≥n is rearrangeably nonblocking The bipartite graph with degree n can be edge colored by m colors if m≥n There is a route assignment for any permutation Shannon’s noisy channel coding theorem It is possible to transmit information without error up to a limit C.

LDPC Codes Low Density Parity Checking (Gallager 60) Bipartite Graph Representation (Tanner 81) Approaching Shannon Limit (Richardson 99) VL: n variables VR: m constraints x0 x1+x3+x4+x7=1 + 1 x1 Unsatisfied x2 x0+x1+x2+x5=0 + x3 Satisfied 1 x4 x2+x5+x6+x7=0 + 1 x5 Satisfied x6 Closed Under (+)2 x0+x3+x4+x6=1 + 1 x7 Unsatisfied

Benes Network 1 x1 x2 x3 + x4 + x5 + x6 + x7 + x8 + Bipartite graph of call requests 1 1 2 2 3 3 4 4 5 1 5 6 6 7 7 G(VL X VR, E) 8 8 x1 + x1 + x2 =1 x2 + x3 + x4 =1 Input Module Constraints x3 + x5 + x6 =1 x4 + x7 + x8 =1 x5 Not closed under + + x1 + x3 =1 x6 + x6 + x8 =1 Output Module Constraints x7 + x4 + x7 =1 x8 + x2 + x5 =1

Flip Algorithm Assign x1=0, x2=1, x3=0, x4=1…to satisfy all input module constraints initially Unsatisfied vertices divide each cycle into segments. Label them α and β alternately and flip values of all variables in α segments x1 x2 x1+x2=1 + + x1+x3=0 1 x3 x3+x4=1 + + x6+x8=0 x4 1 x5 x5+x6=1 + + x4+x7=1 x6 1 x7 x7+x8=1 + + x2+x5=1 x8 1 Input module constraints Output module constraints variables

Bipartite Matching and Route Assignments 1 1 2 2 Call requests 3 3 4 4 5 5 6 6 7 7 8 8 1 1 2 2 3 3 4 4 Bipartite Matching and Edge Coloring

Contents Introduction Routing and Channel Coding Scheduling and Source Coding

Concept of Path Switching Traffic signal at cross-road Use predetermined conflict-free states in cyclic manner The duration of each state in a cycle is determined by traffic loading Distributed control N Traffic loading: NS: 2ρ EW: ρ W E NS traffic EW traffic S Cycle

Connection Matrix 1 1 1 2 2 2 1 2 1 2 Call requests 1 2 1 1 2 2 3 3 4 1 1 Call requests 2 2 3 3 1 1 1 4 4 5 5 6 6 2 2 2 7 7 8 8 1 2 1 2 1 2

Path Switching of Clos Network 1 1 2 2 3 3 1 1 1 4 4 5 5 6 6 2 2 2 7 7 8 8 1 2 1 2 1 1 2 2 Time slot 1 Time slot 2

Capacity of Virtual Path Capacity equals average number of edges Time slot 0 Virtual path 1 1 2 2 G1 Time slot 1 G1 U G2 1 1 2 2 G2

Contention-free Clos Network Input module (input queued switch) Central module (nonblocking switch) Output module (output queued Switch) k-1 m-1 kxk mxn nxm o o n-1 n-1 o o n-1 n-1 Input buffer Predetermined connection pattern in every time slot Output buffer λij Source Buffer and scheduler Input module i Input module j Buffer and scheduler Destination Virtual path Scheduling to combat channel noise Buffering to combat source noise

Complexity Reduction of Permutation Space Subspace spanned by K base states {Pi} Reduce the complexity of permutation space from N! to K Convex hull of doubly stochastic matrix K ≤ min{F, N2-2N+2}, the base dimension of C

BvN Capacity Decomposition and Sampling Theorems Packet switching Digital transmission Network environment Time slotted switching system Time slotted transmission system Bandwidth limitation Capacity limited traffic matrix Bandwidth limited signal function Samples Complete matching, (0,1) Permutation matrixes Entropy, (0,1) Binary sequences Expansion Birkhoff decomposition (Hall’s matching theorem) Fourier series

BvN Capacity Decomposition and Sampling Theorems Packet switching Digital transmission Inversion by weighted sum by samples Reconstruction the capacity by running sum Reconstruction the signal by interpolation Complexity reduction Reduce number of permutation from N! to O(N2). Reduce to O(N), if bandwidth is limited. Reduce to constant F if truncation error of order O( 1 / F ) is acceptable. Reduce infinite dimensional signal space to finite number 2tW in any duration t. QoS Buffering and scheduling, capacity guarantee, delay bound Pulse code modulation (PCM), error-correcting code, data compression, DSP

Source Coding and Scheduling Source coding: A mapping from code book to source symbols to reduce redundancy Scheduling: A mapping from predetermined connection patterns to incoming packets to reduce delay jitter

Smoothness of Scheduling Scheduling of a set of permutation matrices generated by decomposition The sequence , ,……, of inter-state distance of state Pi within a period of F satisfies Smoothness of state Pi with frame size F Pi Pi Pi Pi Pi F

Entropy of Decomposition and Smoothness of Scheduling Any scheduling of capacity decomposition Entropy inequality (Kraft’s Inequality) The equality holds when

Smoothness of Scheduling A Special Case If K=F, Фi=1/F, and ni=1 for all i, then for all i=1,…,F Another Example Smoothness The Input Set The Expected Optimal Result P1 P2 P3 P4

Optimal Smoothness of Scheduling Smoothness of random scheduling Kullback-Leibler distance reaches maximum when Always possible to device a scheduling within 1/2 of entropy

Source Coding Theorem Necessary and Sufficient condition to prefix encode values x1,x2,…,xN of X with respective length n1,n2,…nN Any prefix code that assigns ni bits to xi Always possible to device a prefix code within 1 of entropy (Kraft’s Inequality)

Huffman Round Robin (HuRR) Algorithm Step1 Initially set the root be temporary node Px, and S = Px…Px be temporary sequence. Step2 Apply the WFQ to the two successors of Px to produce a sequecne T, and substitute T for the subsequence Px…Px of S. Step3 If there is no intermediate node in the sequence S, then terminate the algorithm. Otherwise select an intermediate node Px appearing in S and go to step 2. 1 PZ 0.5 PX PY 0.25 0.25 P1 P2 P3 P4 P5 0.5 0.125 0.125 0.125 0.125 Huffman Code logarithm of interstate time = length of Huffman code

Performance of Scheduling Algorithms Random WFQ WF2Q HuRR Entropy 0.1 0.7 1.628 1.575 1.414 1.357 0.2 0.6 1.894 1.734 1.626 1.604 1.571 0.3 0.5 2.040 1.784 1.724 1.702 1.686 2.123 1.882 1.801 1.772 1.761 0.4 2.086 1.787 1.745 1.722 2.229 1.903 1.884 1.847 2.312 2.011 1.980 1.933 1.922 2.286 1.908 1.896 2.370 2.016 1.971 Better Performance

Routing vs. Coding Clos network Transmission Channel Noisy channel capacity theorem Noisy channel coding theorem Error-correcting code Sampling theorem Noiseless channel Noiseless coding theorem Random routing Deflection routing Route assignment BvN decomposition Path switching Scheduling

Transmission-Switching Duality Permutation Matrix Clos Network Route Assignment Hall’s Matching Theorem (BvN Decomposition) Scheduling and Buffering Communication System Boltzmann Equation S = k logW Entropy Noisy Channel Channel Coding Bandlimited Sampling Theorem Source Coding

Law of Probability Input signal to a transmission channel is a function of time The main theorem on noisy channel coding is proved by law of large number Input signal to a switch is a function of space Both theorems on deflection routing and smoothness of scheduling are proved by randomness

Thank You!