Communication - Chapter 1 - Definitions And Theorems Flashcards
[n]
{1,2,3,…,n}
Channel Alphabet
A channel alphabet is a finite set of symbols
Binary Code
A binary code C is a finite subset of {0,1}*
Codeword
The elements c∈C
|c|
The length of the codeword c. I.e. the number of bits in the string representing c
Uniquely Decipherable (first definition)
A code C is uniquely decipherable if given any n>=1 and string of x₁x₂…xₙ∈{0,1}ⁿ there exists at most one sequence c₁c₂…cₘ∈C s.t. x₁x₂…xₙ=c₁c₂…cₘ
instantaneous
A code C is instanteous if every codeword c = x₁x₂…xₗ∈C can be identified as soon as its last bit xₗ is recieved
prefix
A string x∈{0,1}* is a prefix of x’∈{0,1}* if there exists a non-empty string y∈{0,1}* s.t. x’ = xy
prefix free code
A code C is prefix free if no codeword C is a prefix of another codeword in C. That is, if c = x₁x₂…xₗ∈C => c = x₁x₂…xᵢ∉C for all i∈[l-1]
Theorem. Instantaneous and Prefix Free
A code C is instantaneous iff it is prefix free
Theorem. Instantaeous and Uniquely Decipherable
Suppose C is instantaneous. Then C is uniqely decipherable.
Tree
A Tree is a connected graph with no cycles
rooted Tree
A rooted tree T is a tree with a distinguished vertex r which is called the root of T
Parent
Given v∈V(T){r} the parent of v is the neighbour of v on the unique path from r to v
children
The neighbours of v that are not v’s parent are its children
leaves
vertices with no children
edge-labelled binary tree
An edge labelled binary tree is a binary tree where each edge of the tree is given a label from {0,1} so that the edges from v to its children are given different labels.
binary tree
A binary tree is a tee where each vertex has at most 2 children
Lemma. code associated to an edge labelled binary tree
The associated code C of an edge labelled binary tree with m leaves is a prefix free code of size m
associated tree T of a prefix-free code C
Let C be a prefix free code of size m. Its associated tree has m leaves.
Lemma. tree associated to a prefix free code
Let C be a prefix free code of size m. Its associated tree has m leaves.
proposition. correspondence between codes and binary trees.
There is a one-to-one correspondence between prefix-free codes of size m and an edge-labelled binary tree with m leaves.
McMillans Theorem.
Let C={c₁,…,cₘ} be a prefix-free code and lᵢ:=|cᵢ| for all i∈[m]. Then, the sum from i=1 to m of 2⁻ˡi ≤ 1
Kraft’s Theorem
Let l₁,…,lₘ∈ℕ s.t. the sum from i=1 to m 2⁻ˡi ≤ 1. Then there exists a prefix free code C of size m whose codewords have lengths l₁,…,lₘ
Corollary. latter version of krafts
Consider any l₁,…,lₘ∈ℕ. There exists a prefix-free code C with codewords of length l₁,…,lₘ iff the sum from i=1 to m 2⁻ˡi ≤ 1
Uniquely Decipherable def 2
Equivalently, a code is UD if given any codewords, c₁c₂…cₘd₁…dₘ₂∈C if c₁c₂…cₘ = d₁…dₘ₂=> m₁=m₂ and dᵢ=cᵢ for all i∈[m₁]