Elements of Information Theory

Σχετικά έγγραφα
Επεξεργασία Πολυµέσων. Δρ. Μαρία Κοζύρη Π.Μ.Σ. «Εφαρµοσµένη Πληροφορική» Τµήµα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήµιο Θεσσαλίας

Τεχνικές Συµπίεσης Βίντεο. Δρ. Μαρία Κοζύρη Τµήµα Πληροφορικής Πανεπιστήµιο Θεσσαλίας

Problem Set 3: Solutions

Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1

ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Fractional Colorings and Zykov Products of graphs

Bayesian statistics. DS GA 1002 Probability and Statistics for Data Science.

2 Composition. Invertible Mappings

Homework 3 Solutions

Θέματα Συστημάτων Πολυμέσων

Block Ciphers Modes. Ramki Thurimella

ST5224: Advanced Statistical Theory II

Πρόβλημα 1: Αναζήτηση Ελάχιστης/Μέγιστης Τιμής

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Every set of first-order formulas is equivalent to an independent set

Chap. 6 Pushdown Automata

Other Test Constructions: Likelihood Ratio & Bayes Tests

EE512: Error Control Coding

The Simply Typed Lambda Calculus

Homomorphism in Intuitionistic Fuzzy Automata

C.S. 430 Assignment 6, Sample Solutions

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Overview. Transition Semantics. Configurations and the transition relation. Executions and computation

Uniform Convergence of Fourier Series Michael Taylor

Example Sheet 3 Solutions

Galatia SIL Keyboard Information

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 11/3/2006

ΚΥΠΡΙΑΚΟΣ ΣΥΝΔΕΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY 21 ος ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δεύτερος Γύρος - 30 Μαρτίου 2011

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Homework 8 Model Solution Section

Finite Field Problems: Solutions

(C) 2010 Pearson Education, Inc. All rights reserved.

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

ΑΥΤΟΜΑΤΟΠΟΙΗΣΗ ΜΟΝΑΔΑΣ ΘΡΑΥΣΤΗΡΑ ΜΕ ΧΡΗΣΗ P.L.C. AUTOMATION OF A CRUSHER MODULE USING P.L.C.

Modbus basic setup notes for IO-Link AL1xxx Master Block

Approximation of distance between locations on earth given by latitude and longitude

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Concrete Mathematics Exercises from 30 September 2016

Congruence Classes of Invertible Matrices of Order 3 over F 2

Τελική Εξέταση =1 = 0. a b c. Τµήµα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. HMY 626 Επεξεργασία Εικόνας

Physical DB Design. B-Trees Index files can become quite large for large main files Indices on index files are possible.

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Areas and Lengths in Polar Coordinates

Second Order RLC Filters

Probability and Random Processes (Part II)

Section 9.2 Polar Equations and Graphs

Statistical Inference I Locally most powerful tests

Section 8.3 Trigonometric Equations

The Probabilistic Method - Probabilistic Techniques. Lecture 7: The Janson Inequality

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

Θεωρία Πληροφορίας και Κωδίκων

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

Queensland University of Technology Transport Data Analysis and Modeling Methodologies

Models for Probabilistic Programs with an Adversary

Areas and Lengths in Polar Coordinates

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

4.6 Autoregressive Moving Average Model ARMA(1,1)

From the finite to the transfinite: Λµ-terms and streams

Solution Series 9. i=1 x i and i=1 x i.

ΜΕΛΕΤΗ ΚΑΙ ΠΡΟΣΟΜΟΙΩΣΗ ΙΑΜΟΡΦΩΣΕΩΝ ΣΕ ΨΗΦΙΑΚΑ ΣΥΣΤΗΜΑΤΑ ΕΠΙΚΟΙΝΩΝΙΩΝ.

Homework for 1/27 Due 2/5

P AND P. P : actual probability. P : risk neutral probability. Realtionship: mutual absolute continuity P P. For example:

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Chapter 3: Ordinal Numbers

BandPass (4A) Young Won Lim 1/11/14

CHAPTER 12: PERIMETER, AREA, CIRCUMFERENCE, AND 12.1 INTRODUCTION TO GEOMETRIC 12.2 PERIMETER: SQUARES, RECTANGLES,

Local Approximation with Kernels

Example of the Baum-Welch Algorithm

A Bonus-Malus System as a Markov Set-Chain. Małgorzata Niemiec Warsaw School of Economics Institute of Econometrics

Introduction to the ML Estimation of ARMA processes

Trigonometric Formula Sheet

PARTIAL NOTES for 6.1 Trigonometric Identities

Lecture 2. Soundness and completeness of propositional logic

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik

Numerical Analysis FMN011

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Instruction Execution Times

5.4 The Poisson Distribution.

Generating Set of the Complete Semigroups of Binary Relations

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

1. A fully continuous 20-payment years, 30-year term life insurance of 2000 is issued to (35). You are given n A 1

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΕΠΛ342: Βάσεις Δεδομένων. Χειμερινό Εξάμηνο Φροντιστήριο 10 ΛΥΣΕΙΣ. Επερωτήσεις SQL

ΗΜΥ 220: ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι Ακαδημαϊκό έτος Εαρινό Εξάμηνο Κατ οίκον εργασία αρ. 2

Information Theory Θεωρία της Πληροφορίας. Vasos Vassiliou

Summary of the model specified

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y

Πανεπιστήμιο Κρήτης, Τμήμα Επιστήμης Υπολογιστών Άνοιξη HΥ463 - Συστήματα Ανάκτησης Πληροφοριών Information Retrieval (IR) Systems

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Μορφοποίηση υπό όρους : Μορφή > Μορφοποίηση υπό όρους/γραμμές δεδομένων/μορφοποίηση μόο των κελιών που περιέχουν/

Statistics 104: Quantitative Methods for Economics Formula and Theorem Review

Solutions to Exercise Sheet 5

Reminders: linear functions

Math221: HW# 1 solutions

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 7η: Consumer Behavior Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών

Lecture 21: Properties and robustness of LSE

Iterated trilinear fourier integrals with arbitrary symbols

TMA4115 Matematikk 3

Transcript:

Elements of Information Theory Model of Digital Communications System A Logarithmic Measure for Information Mutual Information Units of Information Self-Information News... Example Information Measure Calculation Mutual Information is Symmetrical Conditional Self-Information Average Mutual Information Average Self-Information - Entropy Binary Entropy Function Conditional Entropy Θέµατα Συστηµάτων Πολυµέσων 04-1

Model of Digital Communications System Digital Channel ( modem ) Compact Representation of Source Signal with Fidelity Digital Channel with Improved Error Characteristics (usually analog) Θέµατα Συστηµάτων Πολυµέσων 04-2

A Logarithmic Measure for Information Θέµατα Συστηµάτων Πολυµέσων 04-3

Mutual Information Θέµατα Συστηµάτων Πολυµέσων 04-4

Units of Information Θέµατα Συστηµάτων Πολυµέσων 04-5

Self-Information Θέµατα Συστηµάτων Πολυµέσων 04-6

News... Θέµατα Συστηµάτων Πολυµέσων 04-7

Example of Information Measure Calculation Θέµατα Συστηµάτων Πολυµέσων 04-8

Mutual Information is Symmetrical Θέµατα Συστηµάτων Πολυµέσων 04-9

Example: Mutual Information for Binary Input Binary Output Channel 1-p 0 0 0 p p 1 1 0 1 1-p 1 Θέµατα Συστηµάτων Πολυµέσων 04-10

Example (cont.) Θέµατα Συστηµάτων Πολυµέσων 04-11

Example (cont.) Θέµατα Συστηµάτων Πολυµέσων 04-12

Conditional Self-Information Θέµατα Συστηµάτων Πολυµέσων 04-13

Average Mutual Information Θέµατα Συστηµάτων Πολυµέσων 04-14

Average Self-Information - Entropy Θέµατα Συστηµάτων Πολυµέσων 04-15

Binary Entropy Function Θέµατα Συστηµάτων Πολυµέσων 04-16

Conditional Entropy Θέµατα Συστηµάτων Πολυµέσων 04-17

Example: Conditional Entropy and Average Mutual Information for Binary Input Binary Output Channel Θέµατα Συστηµάτων Πολυµέσων 04-18

Binary Input Binary Output Channel Θέµατα Συστηµάτων Πολυµέσων 04-19

Sumary (Self-) Information (of event x i ) I(x i ) = - log 2 P(x i ) (in bits) Entropy (of a source with alphabet X ) average self-information H(X) = - i P(x i ) log 2 P(x i ) (in bits) Θέµατα Συστηµάτων Πολυµέσων 04-20

Source Coding Coding for a Discrete Memoryless Source Fixed Length Code Words Variable-Length Code Words Source Coding Theorem Example: Variable Length Source Encoding Huffman Code Huffman Code for Pairs of Letters Run Length Coding Classification of Coding Techniques Other Coding/Compression Techniques Θέµατα Συστηµάτων Πολυµέσων 04-21

Coding for a Discrete Memoryless Source Memoryless: symbols are statistically independent seldom the case in practice Finite alphabet of symbols: x i, i = 1, 2,..., L with prob. P(x i ), i = 1, 2,..., L Entropy: H(X) = - i P(x i ) log 2 P(x i ) log 2 L (Average) Code Rate: R (bits/symbol) Efficiency of Code = H(X) / R Fixed Length Code Words R = log 2 L Θέµατα Συστηµάτων Πολυµέσων 04-22

Fixed Length Code Words R = log 2 L if L is a power of 2 R = log 2 L and if symbols equiprobable efficiency = 1 otherwise, efficiency can be improved by coding block of letters Θέµατα Συστηµάτων Πολυµέσων 04-23

Variable-Length Code Words Entropy Coding: find a code that assigns short code words to the most probable letters (symbols) and longer code words to the more infrequent ones then, on average, the representation of the source output is shorter example: Morse code (1800s): (Desirable) Properties of Codes uniquely decodable instantaneously decodable Prefix condition (for a code): there is no code word of length l < k that is identical to the first l bits of another code word of length k > l if a code possesses the prefix condition, it is instantaneously decodable Θέµατα Συστηµάτων Πολυµέσων 04-24

Source Coding Theorem Let X be the ensemble of letters from a Discrete Memoryless Source with finite entropy H(X). It is possible to construct a code that satisfies the prefix condition and has average length R that satisfies: H(X) < R < H(X) + 1 Θέµατα Συστηµάτων Πολυµέσων 04-25

Example: Variable Length Source Encoding Θέµατα Συστηµάτων Πολυµέσων 04-26

Example (cont.): Another Encoding for the Same Source Θέµατα Συστηµάτων Πολυµέσων 04-27

Huffman Code x 1 x 2 x 3 x 4 x 5 x 6 x 7 x 8 The Huffman code is optimal Arithmetic Coding is another Entropy coding technique (like Huffman) Θέµατα Συστηµάτων Πολυµέσων 04-28

Huffman Code for Pairs of Letters Encoding Pairs of Letters (99%) Encoding Single Letters (97.9%) Θέµατα Συστηµάτων Πολυµέσων 04-29

Run Length Coding Code (long) sequences of symbols (instead of repeating the symbols) by the symbol and the number of occurrences need escape characters example: byte-stuffing! = escape character!! =! example of Run Length Coding text: coded text: savings of RLC C : 3/8 use a lower limit to apply ABCCCCCCCCDEFGGG ABC!8DEFGGG e.g., 4 consecutive identical symbols in this example Θέµατα Συστηµάτων Πολυµέσων 04-30

Classification of Coding Techniques Θέµατα Συστηµάτων Πολυµέσων 04-31