UCLA Electrical Engineering DepartmentCommunication Systems Laboratory Uncoordinated Optical

UCLA Electrical Engineering Department-Communication Systems Laboratory Uncoordinated Optical Multiple Access using IDMA and Nonlinear TCM PIs: Eli Yablanovitch, Rick Wesel, Ingrid Verbauwhede, Bahram Jalali, Ming Wu Students whose work is discussed here: Juthika Basak, Herwin Chan, Miguel Griot, Andres Vila Casado, Wen-Yen Weng UCLA Electrical Engineering Communication Systems Laboratory

OCDMA Coding Architecture 1. 2 Gbps 60 Mbps 93 Mbps 2 Gbps Reed Solomon (255, 237) Trellis Code 1/20 Correct extra errors Asychronous Access code UCLA Electrical Engineering int Separate different transmitters Communication Systems Laboratory OR channel 5 other tx 2

The system Reed Solomon (255, 237) To bring final BER to 1 e-9 BER Tester sync Trellis Code 1/20 5 other tx int Initial synchroni- For uncoor- To distinguish dinated between zation of tx-rx access users pair Reed Solomon (255, 237) Trellis Code 1/20 int OR channel Bit align sync UCLA Electrical Engineering Large feedback loop for rx. Systems synchronization Communication Laboratory 3

Experimental Setup FPGA XMIT 1 AMP Optical MOD FPGA XMIT 2 AMP Optical MOD FPGA XMIT 3 AMP Optical MOD FPGA XMIT 4 AMP Optical MOD FPGA XMIT 5 AMP Optical MOD FPGA XMIT 6 AMP Optical MOD UCLA Electrical Engineering Communication Systems Laboratory Optical to Electrical D Flip-Flop FPGA RCV 1 4

Six Users UCLA Electrical Engineering Communication Systems Laboratory 5

UCLA Electrical Engineering Communication Systems Laboratory 6

Probability of amplitudes for 6 -users Height Probability UCLA Electrical Engineering 0 4. 4880 e-001 1 3. 8468 e-001 2 1. 3739 e-001 3 2. 6169 e-002 4 2. 8038 e-003 5 1. 6022 e-004 6 3. 8147 e-006 Communication Systems Laboratory 7

Asynchronous users UCLA Electrical Engineering Communication Systems Laboratory 8

Receiver Ones Densities for this code. Number of Users Receiver Ones Density 1 0. 125 2 0. 234 3 0. 330 4 0. 413 5 0. 487 6 0. 551 UCLA Electrical Engineering Communication Systems Laboratory 9

Performance results n FPGA implementation: n n In order to prove that NL-TCM codes are feasible today for optical speeds, a hardware simulation engine was built on the Xilinx Virtex 2 -Pro 2 V 20 FPGA. Results for the rate-1/20 NL-TCM code are shown next. n Transfer Bound: n n Wen-Yen Weng collaborated in this work, with the computation a Transfer Function Bound for NL-TCM codes. It proved to be a very accurate bound, thus providing a fast estimation of the performance of the NL-TCM codes designed in this work. UCLA Electrical Engineering Communication Systems Laboratory 10

C-Simulation Performance Results: 6 -user OR-MAC 6 -user BER 10 -5 UCLA Electrical Engineering Communication Systems Laboratory 11

6 -user OR-MAC: Simulation, Bound, FPGA (no optics) 6 -user BER 10 -5 UCLA Electrical Engineering Communication Systems Laboratory 12

Results: observations n An error floor can observed for the FPGA rate -1/20 NL-TCM. This is mainly due to the fact that, while theoretically a 1 -to-0 transition means an infinite distance, for implementation constraints those transitions are given a value of 20. n Trace-back depth of 35. n n Additional coding required to lower BER to below 10 -9. UCLA Electrical Engineering Communication Systems Laboratory 13

Dramatically lowering the BER : Concatenation with Outer Block Code n Optical systems deliver a very low BER, in our work a is required. n Using only a NL-TCM, the rate would have to be very low. n A better solution is found using the fact that Viterbi decoding fails gradually, with relatively high probability only a small number of bits are in error. n Thus, a high-rate block code that can correct a few errors can be attached as an outer code, dramatically lowering the BER. Block-Code Encoder NL-TCM Encoder Z-Channel Block-Code Decoder UCLA Electrical Engineering NL-TCM Decoder Communication Systems Laboratory 14

Reed-Solomon + NL-TCM : Results n A concatenation of the rate-1/20 NL-TCM code with (255 bytes, 247 bytes) Reed-Solomon code has been tested for the 6 -user OR-MAC scenario. n This RS-code corrects up to 8 erred bits. n The resulting rate for each user is (247/255). (1/20) n The results were obtained using a C program to apply the RS-code to the FPGA NL-TCM output. Rate Sum-rate p 0. 0484 0. 29 0. 125 UCLA Electrical Engineering Communication Systems Laboratory BER 0. 4652 15

C-Simulation Performance Results: NL-TCM only, 100 -user OR-MAC Rate Sum-rate p 1/360 0. 2778 0. 006944 0. 49837 1/400 0. 25 0. 006875 0. 49489 UCLA Electrical Engineering Communication Systems Laboratory BER 16

Current Status n Decreased optical speed from 2 to 1. 2 Gbps because FPGA can’t keep up at 2 Gbps. n Single Amplifier Results: Users 1 2 3 BER < 10 -9 10 -8 4 5× 10 -6 n 2 -Amplifier system in progress. n We need more amplifiers for six users. Last night, worked for 4 users, but two users need more power. UCLA Electrical Engineering Communication Systems Laboratory 17

Results n Demonstrated scalability to 100 users in a C simulation. n Working on our 6 -user optical implementation. UCLA Electrical Engineering Communication Systems Laboratory 18

Outline of more detailed discussion n Motivation : Optical Channel, Uncoordinated Multiple Access. n Models and Capacity Calculation n n Basic Model: the OR Channel Treating other users as noise n n Capacity loss vs. complexity reduction. The Z channel n The need for non-linear codes n Optimal ones density n Non-linear Trellis Coded Modulation (NL-TCM) n Definition of distance in the Z-Channel n Design Technique n Conclusions n Future Work UCLA Electrical Engineering Communication Systems Laboratory 19

Motivation: Optical Channels, Multiple Access n Optical Channels: provide very high data rates, up to tens to hundreds of gigabits per second. n Typically deliver a very low Bit Error Rate n Wavelength Division (WDMA) or Time Division (TDMA) are the most common forms of Multiple Access today. n However, they require considerable coordination. n Objective n Uncoordinated access to the channel. n Apply error correcting codes, in order to achieve the required BER. n Maximizing the rate at feasible complexity for optical speeds. n UCLA Electrical Engineering Communication Systems Laboratory 20

Basic Model: The OR Multiple Access Channel (OR-MAC) n OR Channel model n n n Basic model that can User 1 describe the multiple -user optical channel User 2 with non-coherent combining N users transmitting at the same time If all users transmit a User N 0, then a 0 is received If even one of them transmits a 1, a 1 is received 0+X=X, 1+X=1 UCLA Electrical Engineering Communication Systems Laboratory Receiver 21

OR Channel: Theoretical characteristics n Achievable rate (Capacity): n The theoretical limits for the MAC, were given by Liao and Ahslwede. n In the case of the OR-MAC, the Theoretical Capacity is the triangle of all rate-pairs less than the maximum possible sum-rate, which is 1. n This sum-rate can be theoretically achieved by: n Joint Decoding. n Sequential decoding (requires coordination). n Time-Sharing or Wave-length sharing (requires coordination). UCLA Electrical Engineering Communication Systems Laboratory 22

Treating other users as noise: the Z-Channel n Joint Decoding and Successive Decoding are fully efficient in n n that one useful bit of information is transmitted per timewavelength slot. However, non of these are computationally feasible for optical speeds today. A practical alternative is to treat all but a desired user as noise. This alternative, while dramatically reducing the decoding complexity, looses up to 30% of full capacity, as we will see next. When treating other users as noise in an OR-MAC, each user “sees” what is called the Z-Channel. My research has been focused on the Z-Channel, resulting from the OR-MAC when treating other users as noise. UCLA Electrical Engineering Communication Systems Laboratory 23

The Z-Channel n N users, all transmitting with the same ones density p: P(X=1)=p, P(X=0)=1 -p. Focus on a desired user n n If it transmits a 1, a 1 will be received. If it transmits a 0, a 0 will be received only if all other N 1 users transmit a 0 UCLA Electrical Engineering 1 1 0 0 Communication Systems Laboratory 24

Maximum achievable sum-rate, when treating other users as noise. n Information Theory tells us the optimal ones density to transmit for each user. n When the number of users tends to infinity, the optimal ones density tends to , which is also the optimal density for joint decoding. n In that case equal probabilities of 1 and 0 is perceived at the receiver. n Note that for a large number of users, the optimal ones density becomes very small. n Surprisingly, the maximum achievable sum-rate is always lower-bounded by ln(2)=0. 6931 and tends to ln(2) when the number of users tends to infinity. UCLA Electrical Engineering Communication Systems Laboratory 25

Comparison of capacities Optimal ones densities: Users UCLA Electrical Engineering Communication Systems Laboratory Joint Others noise 2 0. 293 0. 286 6 0. 109 0. 108 12 0. 056 26

The need for non-linear codes n Linear codes provide equal density of ones and zeros in their output (p=0. 5). n Most of the codes studied in the literature are linear codes. n For linear codes, the achievable rate tends to zero as the number of users increase. n As the number of users increase, the optimal ones density tends to zero. n Non-linear codes with relatively low density of ones are required, to a achieve a good rate. n Only recently, there has been work on LDPC codes with arbitrary density of ones. There is still no design technique described for these codes, and they can’t be decoded at optical speeds today. n This work introduces a novel design technique for non-linear trellis codes with an arbitrary density of ones. UCLA Electrical Engineering Communication Systems Laboratory 27

Interleaver Division Multiple Access (IDMA) n Every user has the same channel code, but each user’s code bits are interleaved by a randomly drawn interleaver, with very high probability of being unique. n The receiver is assumed to know the interleaver of the desired user. n With IDMA in the OR-MAC, a receiver should see the signal from a desired user, corrupted by a memoryless Z-Channel. n Performance obtained for a 6 -user OR-MAC using IDMA, and for the corresponding Z-Channel were the same in our C simulations. UCLA Electrical Engineering Communication Systems Laboratory 28

Non-linear Trellis Coded Modulation n n Desired density of ones p is given Rate of the form: 1/n (1 input bit, n output bits). states (represented by v bits) 2 S branches Feed-forward encoder with 1 input: State at time (t+1): State at time t: 0 1 n Design: n Assign output values to the 2 S branches of the trellis n Objective: Maximize the minimum distance (“greedy definition”) n Those outputs have to maintain the desired density of ones p. UCLA Electrical Engineering Communication Systems Laboratory 29

Assigning Hamming Weights n First step: assign Hamming weights to the output of each branch. n Using any of the definitions of distance given before, codewords with as equal Hamming weight between each other lead to better performance. n In the case of codewords with different Hamming weights, the worst-case performance will be driven by those codewords with smaller Hamming weight. n Criteria: assign as similar Hamming weights to the branches as possible, maintaining the density of ones as close to the desired p as possible. UCLA Electrical Engineering Communication Systems Laboratory 30

Assigning Hamming Weights n Consider the following sub-graph: 0 1 n There are S/2 of these sub-graphs. n Branches produced by an input bit equal to 0 for both states (or 1) go to the same state. n Define n In this subgroup of four branches, assign a Hamming weight of w+1 to i branches, and a Hamming weight of w to (4 -i) branches. UCLA Electrical Engineering Communication Systems Laboratory 31

Assigning Hamming Weights, Examples: 6 -user OR-MAC, desired density of ones is n=20 : w=2, i=2 . 2 branches with Hw=2, 2 with Hw=3 (p=1/8). n = 18 : w=2, i=1 3 branches with Hw=2, 1 with Hw=3 (p=1/8). n = 17 : w=2, i=round(0. 5) 1 branch with Hw=3 and 3 with Hw=2 (p=0. 132) all with Hw=2 (p=2/17=0. 118). 100 -user OR-MAC, n = 400 : w=2, i=3 (p = 0. 006875) n = 360 : w=2, i=2 (p = 0. 006944) UCLA Electrical Engineering Communication Systems Laboratory 32

Ungerboeck’s rule n We can increase the minimum distance by applying Ungerboeck’s rule: maximize the distance between all splits and merges. split merge split n Remember that all output values had at least a Hamming distance of w. n For every two different codewords, their paths split and merge at least once, and there at least v-1 branches between the split and the merge. n Hence Ungerboeck’s rule delivers: UCLA Electrical Engineering Communication Systems Laboratory 33

Extending Ungerboeck’s rule n One can extend Ungerboeck’s rule into the trellis. 0 1 Maximize split UCLA Electrical Engineering Communication Systems Laboratory 34

Extending Ungerboeck’s rule n One can extend Ungerboeck’s rule into the trellis. 0 0 1 1 0 1 Maximize UCLA Electrical Engineering Communication Systems Laboratory 35

Extending Ungerboeck’s rule n One can extend Ungerboeck’s rule into the trellis. 0 0 1 1 Maximize 0 Note that by maximizing the distance between the 8 branches, coming from a split 2 trellis section before, we are maximizing all groups of 4 branches coming from a split in the previous trellis section, and all splits. 1 UCLA Electrical Engineering Communication Systems Laboratory 36

Designing for a very low desired ones density n For a low enough desired ones density, all the branches can be chosen to have maximum distance. The design becomes straight-forward. n It is possible to choose all branches so that there is at most 1 branch that has a 1 in a given position. n Straight-forward design: Assign Hamming weights to branches n For each branch, add ones in positions that aren’t used in previous branches n n Example: 100 -user OR-MAC, UCLA Electrical Engineering Communication Systems Laboratory 37

Performance Results n For all implementations, n 6 -user OR-MAC n n=20 : Sum-rate = 0. 30 n n n 2 branches with Hw=2, 2 with Hw=3 (p=1/8). h=3, g=2 : n = 18 : Sum-rate = 1/3 n n n states were used. 3 branches with Hw=2, 1 with Hw=3 (p=1/8). h=2, g=2 : n = 17 : Sum-rate = 0. 353 n n all with Hw=2 (p=2/17=0. 118). h=2, g=2 : n 100 -user OR-MAC, n n = 400 : w=2, i=3 (p = 0. 006875) n = 360 : w=2, i=2 (p = 0. 006944) for both cases UCLA Electrical Engineering Communication Systems Laboratory 38

Conclusions n A novel design technique for non-linear trellis codes, that provide a wide range of ones density. n These codes have been designed for the Z-Channel, that arises in the optical multiple access channel with IDMA. n A relatively low ones density is essential for the OR-MAC channel, and asymmetric channels in general. n An arbitrary number of users is supported, maintaining relatively the same efficiency (around 30%) n Although these codes are not capacity achieving, a good part of the capacity is achieved, with a suitable BER fr optical needs, and a complexity feasible for optical speeds with today’s technology. An FPGA implementation has been built to prove this fact. UCLA Electrical Engineering Communication Systems Laboratory 39

Future work: Capacity achieving codes n Capacity achieving codes. n Although they may not be feasible for optical speeds, with today’s technology, Turbo codes and LDPC codes will be feasible in the near future n Part of my immediate future’s work will be the design Turbo-Like codes, with an arbitrary ones density. n Most common Turbo-like codes are n Parallel concatenation of convolutional codes n Serially concatenated convolutional codes. n The convolutional codes will be replaced by properly designed NL-TCMs. UCLA Electrical Engineering Communication Systems Laboratory 40

Non-linear Turbo Like codes n Serial concatenation CC + NL-TCM: CC Interleaver NL-TCM n Parallel concatenated NL-TCMs: NL-TCM Interleaver UCLA Electrical Engineering NL-TCM Communication Systems Laboratory 41