กลับไปหน้าบทความ

อ่าน 30 นาที

ไม่มีชื่อบทความ

ใน ทฤษฎีสารสนเทศ เอน โทรปี ของ ตัวแปรสุ่ม จะวัดระดับเฉลี่ยของความไม่แน่นอนหรือข้อมูลที่เกี่ยวข้องกับสถานะที่เป็นไปได้หรือผลลัพธ์ที่เป็นไปได้ของตัวแปรนั้น...

เอนโทรปี (ทฤษฎีสารสนเทศ)

ในทฤษฎีสารสนเทศเอนโทรปีของตัวแปรสุ่มจะวัดระดับเฉลี่ยของความไม่แน่นอนหรือข้อมูลที่เกี่ยวข้องกับสถานะที่เป็นไปได้หรือผลลัพธ์ที่เป็นไปได้ของตัวแปรนั้น ซึ่งเป็นการวัดปริมาณข้อมูลที่คาดว่าจะต้องใช้ในการอธิบายสถานะของตัวแปร โดยพิจารณาจากการกระจายของความน่าจะเป็นในทุกสถานะที่เป็นไปได้ สำหรับตัวแปรสุ่มแบบไม่ต่อเนื่องX{\displaystyle X}ซึ่งอาจเป็นสมาชิกคนใดก็ได้x{\displaystyle x}ภายในชุดX{\displaystyle {\mathcal {X}}}และมีการกระจายตามพี:X[0,1]{\displaystyle p\colon {\mathcal {X}}\to [0,1]}เอนโทรปีคือ ชม(X):=xXพี(x)บันทึกพี(x),{\displaystyle \mathrm {H} (X):=-\sum _{x\in {\mathcal {X}}}p(x)\log p(x),} ที่ไหนΣ{\displaystyle \Sigma }หมายถึงผลรวมของค่าที่เป็นไปได้ทั้งหมดของตัวแปร[หมายเหตุ 1 ]การเลือกฐานสำหรับบันทึก{\displaystyle \log }ลอการิทึมจะแตกต่างกันไปตามการใช้งานต่างๆ ฐาน 2 ให้หน่วยเป็นบิต (หรือ " แชนนอน ") ในขณะที่ฐานeให้หน่วยเป็น "หน่วยธรรมชาติ" natและฐาน 10 ให้หน่วยเป็น "ดิต" "แบน" หรือ " ฮาร์ตลีย์ " นิยามที่เทียบเท่ากันของเอนโทรปีคือค่าที่คาดหวังของข้อมูลตนเองของตัวแปร[ 1 ]

แนวคิดเรื่องเอนโทรปีของข้อมูลได้รับการแนะนำโดยClaude Shannonในบทความปี 1948 ของเขาเรื่อง " ทฤษฎีทางคณิตศาสตร์ของการสื่อสาร " [ 2 ] [ 3 ]และยังเรียกอีกอย่างว่าเอนโทรปีของ Shannonทฤษฎีของ Shannon กำหนด ระบบ การสื่อสารข้อมูลที่ประกอบด้วยองค์ประกอบสามอย่าง ได้แก่ แหล่งข้อมูลช่องทางการสื่อสารและผู้รับ "ปัญหาพื้นฐานของการสื่อสาร" – ตามที่ Shannon กล่าวไว้ – คือผู้รับต้องสามารถระบุได้ว่าข้อมูลใดถูกสร้างขึ้นโดยแหล่งข้อมูล โดยอาศัยสัญญาณที่ได้รับผ่านช่องทาง[ 2 ] [ 3 ] Shannon พิจารณาวิธีต่างๆ ในการเข้ารหัส บีบอัด และส่งข้อความจากแหล่งข้อมูล และพิสูจน์ในทฤษฎีการเข้ารหัสแหล่งข้อมูล ของเขา ว่าเอนโทรปีแสดงถึงขีดจำกัดทางคณิตศาสตร์ที่แน่นอนเกี่ยวกับความสามารถในการบีบอัดข้อมูลจากแหล่งข้อมูลโดยไม่สูญเสีย ข้อมูล ไปยังช่องทางที่ปราศจากสัญญาณรบกวนอย่างสมบูรณ์ Shannon ได้เสริมความแข็งแกร่งให้กับผลลัพธ์นี้อย่างมากสำหรับช่องทางที่มีสัญญาณรบกวนในทฤษฎีการเข้ารหัสช่องทางที่มีสัญญาณรบกวน ของเขา

เอนโทรปีในทฤษฎีสารสนเทศนั้นเทียบเคียงได้โดยตรงกับเอนโทรปีในอุณหพลศาสตร์เชิงสถิติความคล้ายคลึงกันนี้เกิดขึ้นเมื่อค่าของตัวแปรสุ่มแสดงถึงพลังงานของสถานะจุลภาค ดังนั้นสูตรของกิบส์สำหรับเอนโทรปีจึงเหมือนกับสูตรของแชนนอนในเชิงรูปแบบ เอนโทรปีมีความเกี่ยวข้องกับสาขาอื่นๆ ของคณิตศาสตร์ เช่น คณิตศาสตร์เชิงการจัดเรียงและการเรียนรู้ของเครื่องจักรนิยามของเอนโทรปีสามารถอนุมานได้จากชุดของสัจพจน์ที่กำหนดว่าเอนโทรปีควรเป็นการวัดว่าผลลัพธ์เฉลี่ยของตัวแปรนั้นให้ข้อมูลมากน้อยเพียงใด สำหรับตัวแปรสุ่มต่อเนื่องเอนโทรปีเชิงอนุพันธ์นั้นเทียบเคียงได้กับเอนโทรปี นิยามอี[บันทึกพี(X)]{\displaystyle \mathbb {E} [-\log p(X)]}เป็นการสรุปโดยทั่วไปจากข้างต้น

การแนะนำ

แนวคิดหลักของทฤษฎีสารสนเทศคือ "คุณค่าทางสารสนเทศ" ของข้อความที่สื่อสารออกไปนั้นขึ้นอยู่กับระดับความน่าประหลาดใจของเนื้อหาในข้อความนั้น หากเหตุการณ์ที่มีโอกาสเกิดขึ้นสูงเกิดขึ้น ข้อความนั้นจะมีสารสนเทศน้อยมาก ในทางกลับกัน หากเหตุการณ์ที่มีโอกาสเกิดขึ้นต่ำมากเกิดขึ้น ข้อความนั้นจะมีสารสนเทศมากกว่ามาก ตัวอย่างเช่น ความรู้ที่ว่าหมายเลขใดหมายเลขหนึ่งจะไม่ถูกรางวัลลอตเตอรี่นั้นให้ข้อมูลน้อยมาก เพราะหมายเลขที่เลือกนั้นแทบจะไม่มีโอกาสถูกรางวัลเลย อย่างไรก็ตาม ความรู้ที่ว่าหมายเลขใดหมายเลขหนึ่งจะถูกรางวัลลอตเตอรี่นั้นมีคุณค่าทางสารสนเทศสูง เพราะมันสื่อถึงการเกิดขึ้นของเหตุการณ์ที่มีโอกาสเกิดขึ้นต่ำมาก

เนื้อหาข้อมูลหรือที่เรียกว่าความประหลาดใจหรือข้อมูลเกี่ยวกับตัว เหตุการณ์เอง ของเหตุการณ์นั้นๆอี{\displaystyle E}เป็นฟังก์ชันที่เพิ่มขึ้นตามความน่าจะเป็นพี(อี){\displaystyle p(E)}ของเหตุการณ์จะลดลง เมื่อพี(อี){\displaystyle p(E)}ถ้าค่าใกล้เคียงกับ 1 ความประหลาดใจของเหตุการณ์จะต่ำ แต่ถ้าพี(อี){\displaystyle p(E)}ถ้าค่า ใกล้เคียงกับ 0 ความประหลาดใจของเหตุการณ์ก็จะสูง ความสัมพันธ์นี้อธิบายได้ด้วยฟังก์ชัน บันทึก(1พี(อี)),{\displaystyle \log \left({\frac {1}{p(E)}}\right),} ที่ไหนบันทึก{\displaystyle \log }คือลอการิทึมซึ่งให้ค่าความประหลาดใจเป็น 0 เมื่อความน่าจะเป็นของเหตุการณ์คือ 1 [ 4 ]ในความเป็นจริงลอการิทึมเป็นฟังก์ชันเดียวที่ตรงตามเงื่อนไขเฉพาะชุดหนึ่งที่กำหนดไว้ในส่วน§  ลักษณะเฉพาะ

ดังนั้น เราจึงสามารถนิยามข้อมูล หรือความประหลาดใจ ของเหตุการณ์ได้อี{\displaystyle E}โดย

ฉัน(อี)=บันทึก(1พี(อี)),{\displaystyle I(E)=\log \left({\frac {1}{p(E)}}\right),} หรือเทียบเท่า ฉัน(อี)=บันทึก(พี(อี)).{\displaystyle I(E)=-\log(p(E)).}

เอนโทรปีวัดปริมาณข้อมูลที่คาดหวัง (เช่น ค่าเฉลี่ย) ที่ถ่ายทอดโดยการระบุผลลัพธ์ของการทดลองแบบสุ่ม[ 5 ] : 67 ซึ่งหมายความว่าการทอยลูกเต๋ามีเอนโทรปีสูงกว่าการโยนเหรียญ เพราะผลลัพธ์แต่ละอย่างของการทอยลูกเต๋าแต่ละครั้งมีโอกาสน้อยกว่า (พี=1/6{\displaystyle p=1/6}) มากกว่าผลลัพธ์แต่ละอย่างของการโยนเหรียญ (พี=1/2{\displaystyle p=1/2})

พิจารณาเหรียญที่มีโอกาสออกหัวp และโอกาส ออกก้อย1 − p ความประหลาดใจสูงสุดเกิดขึ้นเมื่อ p = 1/2ซึ่งผลลัพธ์หนึ่งไม่น่าจะเกิดขึ้นมากกว่าอีกผลลัพธ์หนึ่ง ในกรณีนี้ การโยนเหรียญจะมีเอนโทรปีหนึ่งบิต (ในทำนองเดียวกันไตรต์ หนึ่ง ที่มีค่าความน่าจะเป็นเท่ากันจะมีค่าเท่ากับ...)บันทึก23{\displaystyle \log _{2}3}(ประมาณ 1.58496) บิตของข้อมูล เนื่องจากสามารถมีค่าได้ 3 ค่า) ความประหลาดใจขั้นต่ำคือเมื่อp = 0 (เป็นไปไม่ได้) หรือp = 1 (แน่นอน) และเอนโทรปีเป็นศูนย์บิต เมื่อเอนโทรปีเป็นศูนย์ จะไม่มีความไม่แน่นอนเลย – ไม่มีอิสระในการเลือก – ไม่มีข้อมูล[ 6 ] ค่า p อื่นๆจะให้เอนโทรปีระหว่างศูนย์ถึงหนึ่งบิต

ตัวอย่าง

ทฤษฎีสารสนเทศมีประโยชน์ในการคำนวณปริมาณสารสนเทศที่น้อยที่สุดที่จำเป็นในการส่งข้อความ เช่น ในการบีบอัดข้อมูลตัวอย่างเช่น พิจารณาการส่งลำดับของอักขระ 4 ตัว คือ 'A', 'B', 'C' และ 'D' ผ่านช่องสัญญาณไบนารี หากอักขระทั้ง 4 ตัวมีโอกาสปรากฏเท่ากัน (25%) วิธีที่ดีที่สุดคือการใช้สองบิตในการเข้ารหัสแต่ละอักขระ 'A' อาจเข้ารหัสเป็น '00', 'B' เป็น '01', 'C' เป็น '10' และ 'D' เป็น '11' อย่างไรก็ตาม หากความน่าจะเป็นของแต่ละอักขระไม่เท่ากัน เช่น 'A' ปรากฏด้วยความน่าจะเป็น 70%, 'B' 26% และ 'C' และ 'D' 2% เท่ากัน เราสามารถกำหนดรหัสความยาวแปรผันได้ ในกรณีนี้ 'A' จะถูกเข้ารหัสเป็น '0', 'B' เป็น '10', 'C' เป็น '110' และ 'D' เป็น '111' ด้วยการแสดงผลแบบนี้ 70% ของเวลาจะต้องส่งข้อมูลเพียงหนึ่งบิต 26% ของเวลาจะต้องส่งสองบิต และเพียง 4% ของเวลาเท่านั้นที่ต้องส่งสามบิต โดยเฉลี่ยแล้ว จะใช้ข้อมูลน้อยกว่า 2 บิต เนื่องจากเอนโทรปีต่ำกว่า (เนื่องจากความแพร่หลายของ 'A' ตามด้วย 'B' – รวมกันคิดเป็น 96% ของตัวอักษรทั้งหมด) การคำนวณผลรวมของลอการิทึมความน่าจะเป็นถ่วงน้ำหนักจะวัดและจับผลกระทบนี้ได้

ข้อความภาษาอังกฤษ เมื่อพิจารณาเป็นสตริงของตัวอักษร จะมีเอนโทรปีค่อนข้างต่ำ กล่าวคือ สามารถคาดเดาได้ค่อนข้างง่าย เราสามารถมั่นใจได้ว่า ตัวอย่างเช่น 'e' จะพบได้บ่อยกว่า 'z' มาก การรวมกันของ 'qu' จะพบได้บ่อยกว่าการรวมกันของตัวอักษรอื่นๆ ที่มี 'q' อยู่ และการรวมกันของ 'th' จะพบได้บ่อยกว่า 'z', 'q' หรือ 'qu' หลังจากตัวอักษรไม่กี่ตัวแรก เรามักจะสามารถเดาส่วนที่เหลือของคำได้ ข้อความภาษาอังกฤษมีเอนโทรปีระหว่าง 0.6 ถึง 1.3 บิตต่อตัวอักษรของข้อความ[ 7 ] : 234

คำนิยาม

ทฤษฎีบทเอนโทรปีของแชนนอน ซึ่งตั้งชื่อตามทฤษฎีบท H ของโบลต์ซมันน์ ได้ นิยามเอนโทรปีH (อักษรกรีกตัวใหญ่เอตา ) ของตัวแปรสุ่มแบบไม่ต่อเนื่องX{\textstyle X}ซึ่งรับค่าจากเซตX{\displaystyle {\mathcal {X}}}และมีการกระจายตามพี:X[0,1]{\displaystyle p:{\mathcal {X}}\to [0,1]}โดยที่พี(x):=พี[X=x]{\displaystyle p(x):=\mathbb {P} [X=x]}:

ชม(X)=อี[ฉัน(X)]=อี[บันทึกพี(X)].{\displaystyle \mathrm {H} (X)=\mathbb {E} [\operatorname {I} (X)]=\mathbb {E} [-\log p(X)].}

ที่นี่อี{\displaystyle \mathbb {E} }คือตัวดำเนินการค่าที่คาดหวังและ I คือเนื้อหาข้อมูลของX [ 8 ] : 11 [ 9 ] : 19–20ฉัน(X){\displaystyle \operatorname {I} (X)}เป็นตัวแปรสุ่มในตัวมันเอง

เอนโทรปีสามารถเขียนได้อย่างชัดเจนดังนี้: ชม(X)=xXพี(x)บันทึกพี(x),{\displaystyle \mathrm {H} (X)=-\sum _{x\in {\mathcal {X}}}p(x)\log _{b}p(x),} โดยที่bคือฐานของลอการิทึมที่ใช้ ค่าb ที่ใช้กันทั่วไป คือ 2, เลขของออยเลอร์eและ 10 และหน่วยของเอนโทรปีที่สอดคล้องกันคือบิตสำหรับb = 2 , แนทสำหรับb = eและแบนสำหรับb = 10

ในกรณีของพี(x)=0{\displaystyle p(x)=0}สำหรับบางคนxX{\displaystyle x\in {\mathcal {X}}}ค่าของผลรวมที่สอดคล้องกัน0 log (0)ถือเป็น0ซึ่งสอดคล้องกับขีดจำกัด : [ 10 ] : 13ลิมพี0+พีบันทึก(พี)=0.{\displaystyle \lim _{p\to 0^{+}}p\log(p)=0.}

นอกจากนี้ ยังสามารถกำหนดเอนโทรปีแบบมีเงื่อนไขของตัวแปรสองตัว ได้อีกด้วยX{\displaystyle X}และวาย{\displaystyle Y}การนำค่าจากเซตมาใช้X{\displaystyle {\mathcal {X}}}และวาย{\displaystyle {\คณิตศาสตร์ {Y}}}ตามลำดับดังนี้: [ 10 ] : 16ชม(X|วาย)=x,yX×วายพีX,วาย(x,y)บันทึกพีX,วาย(x,y)พีวาย(y),{\displaystyle \mathrm {H} (X|Y)=-\sum _{x,y\in {\mathcal {X}}\times {\mathcal {Y}}}p_{X,Y}(x,y)\log {\frac {p_{X,Y}(x,y)}{p_{Y}(y)}},} ที่ไหนพีX,วาย(x,y):=พี[X=x,วาย=y]{\displaystyle p_{X,Y}(x,y):=\mathbb {P} [X=x,Y=y]}และพีวาย(y)=พี[วาย=y]{\displaystyle p_{Y}(y)=\mathbb {P} [Y=y]}ปริมาณนี้ควรเข้าใจว่าเป็นความสุ่มที่เหลืออยู่ในตัวแปรสุ่มX{\displaystyle X}โดยกำหนดตัวแปรสุ่มวาย{\displaystyle Y}.

ทฤษฎีการวัด

เอนโทรปีสามารถกำหนดอย่างเป็นทางการในภาษาของทฤษฎีการวัดได้ดังนี้: [ 11 ]ให้(X,Σ,μ){\displaystyle (X,\Sigma ,\mu )}เป็นปริภูมิความน่าจะเป็นให้เอΣ{\displaystyle A\in \Sigma }เป็นเหตุการณ์ หนึ่ง ความประหลาดใจของเอ{\displaystyle A}เป็น σμ(เอ)=lnμ(เอ).{\displaystyle \sigma _{\mu }(A)=-\ln \mu (A)}

ความ ประหลาดใจ ที่คาดไว้ของเอ{\displaystyle A}เป็น ชม.μ(เอ)=μ(เอ)σμ(เอ).{\displaystyle h_{\mu }(A)=\mu (A)\sigma _{\mu }(A)}

เอμ{\displaystyle \mu }- พาร์ทิชันเกือบทั้งหมดเป็นเซตตระกูลพีพี(X){\displaystyle P\subseteq {\mathcal {P}}(X)}โดยที่μ(พี)=1{\displaystyle \mu (\ถ้วยใหญ่ P)=1}และμ(เอบี)=0{\displaystyle \mu (A\cap B)=0}สำหรับทุกความแตกต่างเอ,บีพี{\displaystyle A,B\in P}(นี่เป็นการผ่อนปรนเงื่อนไขปกติสำหรับการแบ่งส่วน) เอนโทรปีของพี{\displaystyle P}เป็น ชมμ(พี)=เอพีชม.μ(เอ).{\displaystyle \mathrm {H} _{\mu }(P)=\sum _{A\in P}h_{\mu }(A)}

อนุญาตเอ็ม{\displaystyle M}เป็นซิกมาแอลเจบราบนX{\displaystyle X}เอนโทรปีของเอ็ม{\displaystyle M}เป็น ชมμ(เอ็ม)=จีบพีเอ็มชมμ(พี).{\displaystyle \mathrm {H} _{\mu }(M)=\sup _{P\subseteq M}\mathrm {H} _{\mu }(P)} สุดท้ายนี้ เอนโทรปีของปริภูมิความน่าจะเป็นคือชมμ(Σ){\displaystyle \mathrm {H} _{\mu }(\Sigma )}นั่นคือ เอนโทรปีเมื่อเทียบกับμ{\displaystyle \mu }ของซิกมาแอลเจบราของ เซตย่อยที่วัดได้ ทั้งหมดของX{\displaystyle X}.

ตัวอย่าง

เอนโทรปีΗ( X ) (เช่นความประหลาดใจที่คาดหวัง ) ของการโยนเหรียญ วัดเป็นบิต กราฟเทียบกับอคติของเหรียญPr( X = 1)โดยที่X = 1แทนผลลัพธ์ของหัว[ 10 ] : 14–15ในที่นี้ เอนโทรปีมีค่าสูงสุด 1 บิต และการสื่อสารผลลัพธ์ของการโยนเหรียญ (2 ค่าที่เป็นไปได้) จะต้องใช้ค่าเฉลี่ยสูงสุด 1 บิต (1 บิตพอดีสำหรับเหรียญที่ยุติธรรม) ผลลัพธ์ของลูกเต๋าที่ยุติธรรม (6 ค่าที่เป็นไปได้) จะมีเอนโทรปี log 6 บิต

ลองนึกถึงการโยนเหรียญที่มีโอกาสออกหัวหรือก้อยที่ทราบแน่ชัด (แต่ไม่จำเป็นต้องเป็นโอกาสที่ยุติธรรม) ซึ่งสามารถจำลองได้ด้วยกระบวนการเบอร์นูลลี

เอนโทรปีของผลลัพธ์ที่ไม่ทราบแน่ชัดของการโยนเหรียญครั้งต่อไปจะมีค่าสูงสุดหากเหรียญนั้นเป็นเหรียญยุติธรรม (กล่าวคือ หากหัวและก้อยมีโอกาสออกเท่ากันคือ 1/2) นี่คือสถานการณ์ที่มีความไม่แน่นอนสูงสุด เนื่องจากเป็นการยากที่สุดที่จะคาดเดาผลลัพธ์ของการโยนเหรียญครั้งต่อไป ผลลัพธ์ของการโยนเหรียญแต่ละครั้งจะให้ข้อมูลหนึ่งบิตเต็มๆ ทั้งนี้เพราะ ชม(X)=ฉัน=1nพี(xฉัน)บันทึกพี(xฉัน)=ฉัน=1212บันทึก212=ฉัน=1212(1)=1.{\displaystyle {\begin{aligned}\mathrm {H} (X)&=-\sum _{i=1}^{n}{p(x_{i})\log _{b}p(x_{i})}\\&=-\sum _{i=1}^{2}{{\frac {1}{2}}\log _{2}{\frac {1}{2}}}\\&=-\sum _{i=1}^{2}{{\frac {1}{2}}\cdot (-1)}=1.\end{aligned}}}

อย่างไรก็ตาม หากเรารู้ว่าเหรียญนั้นไม่ยุติธรรม แต่มีโอกาสออกหัวหรือก้อยด้วยความน่าจะเป็นpและqโดยที่pqความไม่แน่นอนก็จะน้อยลง ทุกครั้งที่โยนเหรียญ โอกาสที่จะออกด้านใดด้านหนึ่งจะมากกว่าอีกด้านหนึ่ง ความไม่แน่นอนที่ลดลงนี้วัดได้ด้วยเอนโทรปีที่ต่ำกว่า โดยเฉลี่ยแล้วการโยนเหรียญแต่ละครั้งจะให้ข้อมูลน้อยกว่าหนึ่งบิตเต็ม ตัวอย่างเช่น ถ้าp = 0.7 แล้ว ชม(X)=พีบันทึก2พีqบันทึก2q=0.7บันทึก2(0.7)0.3บันทึก2(0.3)0.7(0.515)0.3(1.737)=0.8816<1.{\displaystyle {\begin{aligned}\mathrm {H} (X)&=-p\log _{2}pq\log _{2}q\\[1ex]&=-0.7\log _{2}(0.7)-0.3\log _{2}(0.3)\\[1ex]&\approx -0.7\cdot (-0.515)-0.3\cdot (-1.737)\\[1ex]&=0.8816<1.\end{aligned}}}

ความน่าจะเป็นแบบสม่ำเสมอทำให้เกิดความไม่แน่นอนสูงสุดและดังนั้นจึงมีเอนโทรปีสูงสุด เอนโทรปีจึงลดลงได้เฉพาะจากค่าที่เกี่ยวข้องกับความน่าจะเป็นแบบสม่ำเสมอเท่านั้น กรณีสุดขั้วคือเหรียญสองหัวที่ไม่เคยออกก้อย หรือเหรียญสองหางที่ไม่เคยออกหัว ในกรณีนี้จะไม่มีความไม่แน่นอน เอนโทรปีเป็นศูนย์: การโยนเหรียญแต่ละครั้งจะไม่ให้ข้อมูลใหม่ใด ๆ เนื่องจากผลลัพธ์ของการโยนเหรียญแต่ละครั้งนั้นแน่นอนเสมอ[ 10 ] : 14–15

ลักษณะเฉพาะ

เพื่อทำความเข้าใจความหมายของ−Σ p log( p )ก่อนอื่นให้กำหนดฟังก์ชันข้อมูลIในแง่ของเหตุการณ์iที่มีความน่าจะเป็นp ปริมาณข้อมูลที่ได้รับเนื่องจากการสังเกตเหตุการณ์iมาจากวิธีแก้ปัญหาของ Shannon เกี่ยวกับคุณสมบัติพื้นฐานของข้อมูล : [ 12 ]

  1. I( p )จะลดลงอย่างต่อเนื่องเมื่อpเพิ่มขึ้น กล่าวคือ การเพิ่มขึ้นของความน่าจะเป็นของเหตุการณ์หนึ่งจะทำให้ข้อมูลจากเหตุการณ์ที่สังเกตได้ลดลง และในทางกลับกัน
  2. I(1) = 0 : เหตุการณ์ที่เกิดขึ้นเสมอจะไม่สื่อสารข้อมูล
  3. I( p · p ) = I( p ) + I( p ) : ข้อมูลที่ได้เรียนรู้จากเหตุการณ์อิสระคือผลรวมของข้อมูลที่ได้เรียนรู้จากแต่ละเหตุการณ์
  4. I( p )เป็นฟังก์ชันของ p ที่สามารถหาอนุพันธ์ได้สองครั้งอย่างต่อเนื่อง

เมื่อมีเหตุการณ์อิสระสองเหตุการณ์เกิดขึ้น ถ้าเหตุการณ์แรกให้ ผลลัพธ์ ที่เป็น ไปได้ n แบบเท่ากัน และเหตุการณ์ที่สองให้ ผลลัพธ์ที่เป็นไปได้ m แบบ เท่ากัน ดังนั้นเหตุการณ์ร่วมจะมี ผลลัพธ์ที่เป็นไปได้ mnแบบเท่ากัน หมายความว่า ถ้า ต้องใช้ log ( n )บิตในการเข้ารหัสค่าแรก และlog ( m )บิตในการเข้ารหัสค่าที่สอง จะต้องใช้log ( mn ) = log ( m ) + log ( n )ในการเข้ารหัสทั้งสองค่า

แชนนอนค้นพบว่าการเลือกที่เหมาะสมของฉัน{\displaystyle \ชื่อผู้ดำเนินการ {I} }กำหนดโดย: [ 13 ]ฉัน(พี)=บันทึก(1พี)=บันทึก(พี).{\displaystyle \operatorname {I} (p)=\log \left({\tfrac {1}{p}}\right)=-\log(p).}

ในความเป็นจริง ค่าที่เป็นไปได้เพียงค่าเดียวของฉัน{\displaystyle \ชื่อผู้ดำเนินการ {I} }เป็นฉัน(คุณ)=เคบันทึกคุณ{\displaystyle \ชื่อผู้ดำเนินการ {I} (u)=k\log u}สำหรับเค<0{\displaystyle k<0}นอกจากนี้ การเลือกค่าkยังเทียบเท่ากับการเลือกค่าอีกค่าหนึ่ง ด้วยx>1{\displaystyle x>1}สำหรับเค=1/บันทึกx{\displaystyle k=-1/\log x}ดังนั้นxจึงสอดคล้องกับฐานของลอการิทึมด้วยเหตุนี้ เอนโทรปีจึงมีลักษณะเฉพาะด้วยคุณสมบัติทั้งสี่ข้างต้น

หน่วยข้อมูลที่แตกต่างกัน( บิตสำหรับลอการิทึมฐานสองlog , แนทสำหรับลอการิทึมธรรมชาติln , แบนสำหรับลอการิทึมฐานสิบlog และอื่นๆ) เป็นค่าคงที่ที่เป็นผลคูณของกันและกัน ตัวอย่างเช่น ในกรณีของการโยนเหรียญที่ยุติธรรม การได้หัวจะให้ข้อมูลlog (2) = 1  บิต ซึ่งประมาณ 0.693 แนท หรือ 0.301  หลักทศนิยม เนื่องจากคุณสมบัติการบวก การโยนเหรียญ nครั้งจะให้ข้อมูลn บิต ซึ่งประมาณ 0.693 nแนท หรือ0.301 nหลักทศนิยม

ความหมายของเหตุการณ์ที่สังเกตได้ (ความหมายของข้อความ ) ไม่สำคัญในนิยามของเอนโทรปี เอนโทรปีพิจารณาเฉพาะความน่าจะเป็นของการสังเกตเหตุการณ์เฉพาะเท่านั้น ดังนั้นข้อมูลที่มันรวบรวมไว้จึงเป็นข้อมูลเกี่ยวกับความน่าจะเป็นที่ อยู่เบื้องหลัง ไม่ใช่ความหมายของเหตุการณ์เหล่านั้นเอง

ลักษณะทางเลือก

การ กำหนดลักษณะเอนโทรปีอีกแบบหนึ่งใช้คุณสมบัติต่อไปนี้ เรากำหนดให้p = Pr( X = x )และΗ ( p , ..., p ) = Η( X )

  1. ความต่อเนื่อง: ค่า Hควรมีความต่อเนื่องกล่าวคือ การเปลี่ยนแปลงค่าความน่าจะเป็นเพียงเล็กน้อย ควรทำให้ค่าเอนโทรปีเปลี่ยนแปลงไปเพียงเล็กน้อยเท่านั้น
  2. สมมาตร: ค่า H จะต้องไม่เปลี่ยนแปลงหาก เรียงลำดับผลลัพธ์x ชมn(พี1,พี2,,พีn)=ชมn(พีฉัน1,พีฉัน2,,พีฉันn){\displaystyle \mathrm {H} _{n}\left(p_{1},p_{2},\ldots ,p_{n}\right)=\mathrm {H} _{n}\left(p_{i_{1}},p_{i_{2}},\ldots ,p_{i_{n}}\right)}สำหรับการเรียงสับเปลี่ยน ใดๆ{ฉัน1,...,ฉันn}{\displaystyle \{i_{1},...,i_{n}\}}ของ{1,...,n}{\displaystyle \{1,...,n\}}.
  3. สูงสุด:ชมn{\displaystyle \mathrm {H} _{n}}ควรมีค่าสูงสุดหากผลลัพธ์ทั้งหมดมีโอกาสเกิดขึ้นเท่ากัน เช่นชมn(พี1,,พีn)ชมn(1n,,1n){\displaystyle \mathrm {H} _{n}(p_{1},\ldots ,p_{n})\leq \mathrm {H} _{n}\left({\frac {1}{n}},\ldots ,{\frac {1}{n}}\right)}.
  4. จำนวนผลลัพธ์ที่เพิ่มขึ้น: สำหรับเหตุการณ์ที่มีโอกาสเกิดขึ้นเท่ากัน เอนโทรปีควรเพิ่มขึ้นตามจำนวนผลลัพธ์ เช่นชมn(1n,,1nn)<ชมn+1(1n+1,,1n+1n+1).{\displaystyle \mathrm {H} _{n}{\bigg (}\underbrace {{\frac {1}{n}},\ldots ,{\frac {1}{n}}} _{n}{\bigg )}<\mathrm {H} _{n+1}{\bigg (}\underbrace {{\frac {1}{n+1}},\ldots ,{\frac {1}{n+1}}} _{n+1}{\bigg )}.}
  5. คุณสมบัติการบวก: กำหนดให้กลุ่มของ องค์ประกอบ nที่กระจายอย่างสม่ำเสมอซึ่งถูกแบ่งออกเป็นkกล่อง (ระบบย่อย) โดย แต่ละกล่องมีองค์ประกอบ b₁ ..., bₖ เอนโทรปีของกลุ่มทั้งหมดควรเท่ากับผลรวมของเอนโทรปีของระบบกล่องและเอนโทรปีของแต่ละกล่อง โดยแต่ละเอนโทร จะถูกถ่วงน้ำหนักด้วยความน่าจะเป็นที่จะอยู่ในกล่องนั้นๆ

การอภิปราย

กฎการบวกมีผลดังต่อไปนี้: สำหรับจำนวนเต็มบวกb โดยที่b + ... + b = n , ชมn(1n,,1n)=ชมเค(1n,,เคn)+ฉัน=1เคฉันnชมฉัน(1ฉัน,,1ฉัน).{\displaystyle \mathrm {H} _{n}\left({\frac {1}{n}},\ldots ,{\frac {1}{n}}\right)=\mathrm {H} _{k}\left({\frac {b_{1}}{n}},\ldots ,{\frac {b_{k}}{n}}\right)+\sum _{i=1}^{k}{\frac {b_{i}}{n}}\,\mathrm {H} _{b_{i}}\left({\frac {1}{b_{i}}},\ldots ,{\frac {1}{b_{i}}}\right).}

การเลือกk = n , b = ... = b = 1หมายความว่าเอนโทรปีของผลลัพธ์บางอย่างเป็นศูนย์: Η (1) = 0ซึ่งหมายความว่าประสิทธิภาพของชุดแหล่งข้อมูลที่มี สัญลักษณ์ nตัวสามารถกำหนดได้ง่ายๆ ว่าเท่ากับ เอนโทรปี n -ary ของมัน ดูเพิ่มเติมที่ ความซ้ำซ้อน (ทฤษฎีสารสนเทศ )

ลักษณะเฉพาะในที่นี้กำหนดคุณสมบัติการบวกโดยสัมพันธ์กับการแบ่งส่วนของเซตในขณะที่ความน่าจะเป็นแบบมีเงื่อนไขถูกกำหนดในแง่ของคุณสมบัติการคูณพี(เอบี)พี(บี)=พี(เอบี){\displaystyle P(A\mid B)\cdot P(B)=P(A\cap B)}โปรดสังเกตว่าลอการิทึมเป็นตัวกลางระหว่างการดำเนินการทั้งสองนี้เอนโทรปีแบบมีเงื่อนไขและปริมาณที่เกี่ยวข้องต่างก็มีความสัมพันธ์ที่เรียบง่ายเช่นกัน นิยามเชิงทฤษฎีการวัดในส่วนก่อนหน้านี้ได้กำหนดเอนโทรปีว่าเป็นผลรวมของค่าความประหลาดใจที่คาดหวังμ(เอ)lnμ(เอ){\displaystyle \mu (A)\cdot \ln \mu (A)}สำหรับการแบ่งส่วนแบบสุดขั้ว ในที่นี้ลอการิทึมเป็นการกำหนดขึ้นเอง และเอนโทรปีไม่ใช่มาตรวัดในตัวเอง อย่างน้อยก็ในทฤษฎีสารสนเทศของสตริงไบนารีบันทึก2{\displaystyle \log _{2}}สามารถนำไปตีความในเชิงปฏิบัติได้

ด้วยแรงจูงใจจากความสัมพันธ์ดังกล่าว จึงมีการกำหนดปริมาณที่เกี่ยวข้องและแข่งขันกันมากมาย ตัวอย่างเช่นการวิเคราะห์ "ตรรกะของการแบ่งส่วน" ของDavid Ellerman กำหนดมาตรวัดที่แข่งขันกันในโครงสร้าง คู่ขนานกับเซตย่อยของเซตสากล[ 14 ]ข้อมูลถูกวัดปริมาณเป็น "dits" (ความแตกต่าง) ซึ่งเป็นมาตรวัดในการแบ่งส่วน "dits" สามารถแปลงเป็นบิตของ Shannonเพื่อให้ได้สูตรสำหรับเอนโทรปีแบบมีเงื่อนไข และอื่นๆ

การกำหนดลักษณะทางเลือกผ่านคุณสมบัติการบวกและคุณสมบัติการบวกย่อย

Aczél , Forte และ Ng [ 15 ]ได้ให้ลักษณะเชิงสัจพจน์ที่กระชับอีกประการหนึ่งของเอนโทรปีของแชนนอนผ่านคุณสมบัติดังต่อไปนี้:

  1. คุณสมบัติการบวกย่อย: ชม(X,วาย)ชม(X)+ชม(วาย){\displaystyle \mathrm {H} (X,Y)\leq \mathrm {H} (X)+\mathrm {H} (Y)} สำหรับตัวแปรสุ่มที่มีการแจกแจงร่วมกันX,วาย{\displaystyle X,Y}.
  2. คุณสมบัติการบวก: ชม(X,วาย)=ชม(X)+ชม(วาย){\displaystyle \mathrm {H} (X,Y)=\mathrm {H} (X)+\mathrm {H} (Y)}เมื่อตัวแปรสุ่มX,วาย{\displaystyle X,Y}เป็นอิสระต่อกัน
  3. ความสามารถในการขยาย: ชมn+1(พี1,,พีn,0)=ชมn(พี1,,พีn){\displaystyle \mathrm {H} _{n+1}(p_{1},\ldots ,p_{n},0)=\mathrm {H} _{n}(p_{1},\ldots ,p_{n})}กล่าวคือ การเพิ่มผลลัพธ์ที่มีความน่าจะเป็นเป็นศูนย์จะไม่ทำให้เอนโทรปีเปลี่ยนแปลงไป
  4. สมมาตร:ชมn(พี1,,พีn){\displaystyle \mathrm {H} _{n}(p_{1},\ldots ,p_{n})}ไม่เปลี่ยนแปลงภายใต้การเรียงสับเปลี่ยนของพี1,,พีn{\displaystyle p_{1},\ldots ,p_{n}}.
  5. ขนาดเล็กสำหรับความน่าจะเป็นขนาดเล็ก: ลิมq0+ชม2(1q,q)=0{\displaystyle \lim _{q\to 0^{+}}\mathrm {H} _{2}(1-q,q)=0}.

การอภิปราย

แสดงให้เห็นว่าฟังก์ชันใดๆชม{\displaystyle \mathrm {H} }การปฏิบัติตามคุณสมบัติข้างต้นจะต้องเป็นผลคูณคงที่ของเอนโทรปีของแชนนอน โดยมีค่าคงที่ที่ไม่เป็นลบ[ 15 ]เมื่อเปรียบเทียบกับลักษณะเฉพาะของเอนโทรปีที่กล่าวถึงก่อนหน้านี้ ลักษณะเฉพาะนี้มุ่งเน้นไปที่คุณสมบัติของเอนโทรปีในฐานะฟังก์ชันของตัวแปรสุ่ม (คุณสมบัติย่อยบวกและคุณสมบัติบวก) มากกว่าคุณสมบัติของเอนโทรปีในฐานะฟังก์ชันของเวกเตอร์ความน่าจะเป็นพี1,,พีn{\displaystyle p_{1},\ldots ,p_{n}}.

เป็นที่น่าสังเกตว่า หากเราละทิ้งคุณสมบัติ "เล็กสำหรับความน่าจะเป็นน้อย" แล้วชม{\displaystyle \mathrm {H} }ต้องเป็นการรวมเชิงเส้นที่ไม่เป็นลบของเอนโทรปีของแชนนอนและเอนโทรปีของฮาร์ทลีย์[ 15 ]

คุณสมบัติเพิ่มเติม

เอนโทรปีของแชนนอนมีคุณสมบัติดังต่อไปนี้ ซึ่งในบางคุณสมบัตินั้น การตีความเอนโทรปีว่าเป็นปริมาณข้อมูลที่คาดว่าจะได้รับ (หรือความไม่แน่นอนที่ถูกกำจัดออกไป) โดยการเปิดเผยค่าของตัวแปรสุ่มX นั้นมีประโยชน์ :

  • การเพิ่มหรือลบเหตุการณ์ที่มีความน่าจะเป็นเป็นศูนย์จะไม่ส่งผลต่อเอนโทรปี:ชมn+1(พี1,,พีn,0)=ชมn(พี1,,พีn).{\displaystyle \mathrm {H} _{n+1}(p_{1},\ldots ,p_{n},0)=\mathrm {H} _{n}(p_{1},\ldots ,p_{n}).}
  • เอนโทรปีสูงสุดของเหตุการณ์ที่มีผลลัพธ์ที่แตกต่างกันn แบบคือ log ( n ) : ซึ่งเกิดขึ้นจากการกระจายความน่าจะเป็นแบบสม่ำเสมอ นั่นคือ ความไม่แน่นอนจะสูงสุดเมื่อเหตุการณ์ที่เป็นไปได้ทั้งหมดมีความน่าจะเป็นเท่ากัน: [ 10 ] : 29ชม(พี1,,พีn)บันทึกn.{\displaystyle \mathrm {H} (p_{1},\dots ,p_{n})\leq \log _{b}n.}
  • เอนโทรปีหรือปริมาณข้อมูลที่เปิดเผยโดยการประเมิน( X , Y ) (นั่นคือ การประเมินXและYพร้อมกัน) เท่ากับข้อมูลที่เปิดเผยโดยการทำการทดลองสองครั้งติดต่อกัน: ครั้งแรกประเมินค่าของYจากนั้นเปิดเผยค่าของXโดยที่ทราบค่าของY แล้ว ซึ่งอาจเขียนได้ดังนี้: [ 10 ] : 16ชม(X,วาย)=ชม(X|วาย)+ชม(วาย)=ชม(วาย|X)+ชม(X).{\displaystyle \mathrm {H} (X,Y)=\mathrm {H} (X|Y)+\mathrm {H} (Y)=\mathrm {H} (Y|X)+\mathrm {H} (X).}
  • ถ้าวาย=เอฟ(X){\displaystyle Y=f(X)}ที่ไหนเอฟ{\displaystyle f}ถ้าเป็นฟังก์ชันชม(เอฟ(X)|X)=0{\displaystyle \mathrm {H} (f(X)|X)=0}โดยการนำสูตรก่อนหน้านี้ไปใช้กับชม(X,เอฟ(X)){\displaystyle \mathrm {H} (X,f(X))}ผลผลิตชม(X)+ชม(เอฟ(X)|X)=ชม(เอฟ(X))+ชม(X|เอฟ(X)),{\displaystyle \mathrm {H} (X)+\mathrm {H} (f(X)|X)=\mathrm {H} (f(X))+\mathrm {H} (X|f(X)),}ดังนั้นชม(เอฟ(X))ชม(X){\displaystyle \mathrm {H} (f(X))\leq \mathrm {H} (X)}เอนโทรปีของตัวแปรจะลดลงได้ก็ต่อเมื่อตัวแปรนั้นถูกส่งผ่านฟังก์ชันเท่านั้น
  • ถ้าXและYเป็นตัวแปรสุ่มอิสระสองตัว การรู้ค่าของYจะไม่ส่งผลต่อการรู้ค่าของX (เนื่องจากทั้งสองไม่ส่งผลกระทบต่อกันโดยความเป็นอิสระ):ชม(X|วาย)=ชม(X).{\displaystyle \mathrm {H} (X|Y)=\mathrm {H} (X).}
  • โดยทั่วไปแล้ว สำหรับตัวแปรสุ่มXและY ใดๆ เรามี[ 10 ] : 29ชม(X|วาย)ชม(X).{\displaystyle \mathrm {H} (X|Y)\leq \mathrm {H} (X).}
  • เอนโทรปีของเหตุการณ์สองเหตุการณ์ที่เกิดขึ้นพร้อมกันนั้นมีค่าไม่เกินผลรวมของเอนโทรปีของแต่ละเหตุการณ์ กล่าวคือชม(X,วาย)ชม(X)+ชม(วาย){\displaystyle \mathrm {H} (X,Y)\leq \mathrm {H} (X)+\mathrm {H} (Y)}โดยมีความเท่าเทียมกันก็ต่อเมื่อเหตุการณ์ทั้งสองเป็นอิสระต่อกัน[ 10 ] : 28
  • เอนโทรปีชม(พี){\displaystyle \mathrm {H} (p)}มีลักษณะเว้าในฟังก์ชันความน่าจะเป็นมวลพี{\displaystyle p}เช่น[ 10 ] : 30ชม(λพี1+(1λ)พี2)λชม(พี1)+(1λ)ชม(พี2){\displaystyle \mathrm {H} (\lambda p_{1}+(1-\lambda )p_{2})\geq \lambda \mathrm {H} (p_{1})+(1-\lambda )\mathrm {H} (p_{2})}สำหรับฟังก์ชันมวลความน่าจะเป็นทั้งหมดพี1,พี2{\displaystyle p_{1},p_{2}}และ0λ1{\displaystyle 0\leq \lambda \leq 1}. [ 10 ] : 32

แง่มุมต่างๆ

ความสัมพันธ์กับเอนโทรปีทางเทอร์โมไดนามิก

แรงบันดาลใจในการนำคำว่าเอนโทรปีมา ใช้ ในทฤษฎีสารสนเทศ มาจากความคล้ายคลึงกันอย่างมากระหว่างสูตรของแชนนอนกับสูตรที่รู้จักกันดีในกลศาสตร์เชิงสถิติ

ในอุณหพลศาสตร์เชิงสถิติสูตรทั่วไปที่สุดสำหรับเอนโทร ปีทางอุณหพลศาสตร์ Sของระบบทางอุณหพลศาสตร์คือเอนโทรปีของกิบส์เอส=เคบีฉันพีฉันlnพีฉัน,{\displaystyle S=-k_{\text{B}}\sum _{i}p_{i}\ln p_{i}\,,} โดยที่k คือค่าคงที่ของ Boltzmannและp คือความน่าจะเป็นของ สถานะ จุลภาค เอนโทรปีของ Gibbsได้รับการนิยามโดยJ. Willard Gibbsในปี 1878 หลังจากงานก่อนหน้านี้ของLudwig Boltzmann (1872) [ 16 ]

เอนโทรปีของกิบบส์สามารถแปลงไปสู่โลกของฟิสิกส์ควอนตัม ได้โดยแทบไม่เปลี่ยนแปลง เพื่อให้ได้เอนโทรปีของฟอน นอยมัน น์ ซึ่ง จอห์น ฟอน นอยมันน์ได้นำเสนอไว้ในปี 1927: เอส=เคบีที(ρlnρ),{\displaystyle S=-k_{\text{B}}\,{\rm {Tr}}(\rho \ln \rho )\,,} โดยที่ ρ คือเมทริกซ์ความหนาแน่นของระบบกลศาสตร์ควอนตัม และ Tr คือร่องรอย[ 17 ]

ในระดับการใช้งานจริงในชีวิตประจำวัน ความเชื่อมโยงระหว่างเอนโทรปีของข้อมูลและเอนโทรปีทางเทอร์โมไดนามิกนั้นไม่ชัดเจน นักฟิสิกส์และนักเคมีมักจะสนใจการเปลี่ยนแปลงของเอนโทรปีในขณะที่ระบบค่อยๆ เปลี่ยนแปลงไปจากสภาวะเริ่มต้น ตามกฎข้อที่สองของเทอร์โมไดนามิกมากกว่าการกระจายความน่าจะเป็นที่ไม่เปลี่ยนแปลง ดังที่ค่าคงที่ของโบลต์ซมันน์kBแสดงให้เห็น การเปลี่ยนแปลงของS / แม้แต่ในปริมาณสารเพียงเล็กน้อยในกระบวนการทางเคมีและฟิสิกส์ ก็แสดงถึงปริมาณเอนโทรปีที่ใหญ่มากเมื่อเทียบกับสิ่งใดๆ ในการบีบอัดข้อมูลหรือการประมวลผลสัญญาณ ในเทอร์โมไดนามิกแบบคลาสสิก เอนปีถูกนิยามในแง่ของการวัดระดับมหภาคและไม่ได้อ้างอิงถึงการกระจายความน่าจะเป็นใดๆ ซึ่งเป็นหัวใจสำคัญของการนิยามเอนโทรปีของข้อมูล

ความเชื่อมโยงระหว่างอุณหพลศาสตร์และสิ่งที่ปัจจุบันรู้จักกันในชื่อทฤษฎีสารสนเทศนั้น เกิดขึ้นครั้งแรกโดยโบลต์ซมันน์ และแสดงออกมาด้วยสมการ ของเขา :

เอส=เคบีln,{\displaystyle S=k_{\text{B}}\ln W,}

ที่ไหนเอส{\displaystyle S}เอนโทรปีทางเทอร์โมไดนามิกของสถานะมหภาคเฉพาะ (กำหนดโดยพารามิเตอร์ทางเทอร์โมไดนามิก เช่น อุณหภูมิ ปริมาตร พลังงาน ฯลฯ) คือWคือจำนวนสถานะจุลภาค (การรวมกันของอนุภาคในสถานะพลังงานต่างๆ) ที่สามารถให้สถานะมหภาคที่กำหนดได้ และk คือค่าคงที่ของโบลต์ซมันน์[ 18 ]ถือว่าแต่ละสถานะจุลภาคมีโอกาสเกิดขึ้นเท่ากัน ดังนั้นความน่าจะเป็นของสถานะจุลภาคที่กำหนดคือp = 1/ Wเมื่อแทนค่าความน่าจะเป็นเหล่านี้ลงในนิพจน์ข้างต้นสำหรับเอนโทรปีของกิบส์ (หรือเทียบเท่ากับk คูณเอนโทรปีของแชนนอน) จะได้สมการของโบลต์ซมันน์ ในแง่ของทฤษฎีสารสนเทศ เอนโทรปีสารสนเทศของระบบคือปริมาณข้อมูลที่ "หายไป" ที่จำเป็นในการกำหนดสถานะจุลภาค เมื่อกำหนดสถานะมหภาคแล้ว

ในมุมมองของJaynes (1957) [ 19 ]เอนโทรปีทางเทอร์โมไดนามิก ตามที่อธิบายโดยกลศาสตร์เชิงสถิติควรถูกมองว่าเป็นการประยุกต์ใช้ทฤษฎีสารสนเทศของ Shannon: เอนโทรปีทางเทอร์โมไดนามิกถูกตีความว่าเป็นสัดส่วนกับปริมาณของข้อมูล Shannon เพิ่มเติมที่จำเป็นในการกำหนดสถานะจุลภาคโดยละเอียดของระบบ ซึ่งยังคงไม่ได้รับการสื่อสารโดยคำอธิบายเฉพาะในแง่ของตัวแปรมหภาคของเทอร์โมไดนามิกแบบคลาสสิก โดยที่ค่าคงที่ของสัดส่วนคือค่าคงที่ของ Boltzmann การเพิ่มความร้อนให้กับระบบจะเพิ่มเอนโทรปีทางเทอร์โมไดนามิกเนื่องจากเป็นการเพิ่มจำนวนสถานะจุลภาคที่เป็นไปได้ของระบบที่สอดคล้องกับค่าที่วัดได้ของตัวแปรมหภาค ทำให้คำอธิบายสถานะที่สมบูรณ์ยาวขึ้น (ดูบทความ: เทอร์โมไดนามิกเอนโทรปีสูงสุด ) ปีศาจของ Maxwellสามารถ (ในทางทฤษฎี) ลดเอนโทรปีทางเทอร์โมไดนามิกของระบบได้โดยใช้ข้อมูลเกี่ยวกับสถานะของโมเลกุลแต่ละตัว แต่ดังที่Landauer (ตั้งแต่ปี 1961) และเพื่อนร่วมงาน[ 20 ]ได้แสดงให้เห็น ในการทำงาน ปีศาจเองจะต้องเพิ่มเอนโทรปีทางเทอร์โมไดนามิกในกระบวนการ อย่างน้อยที่สุดเท่ากับปริมาณข้อมูลของ Shannon ที่เขาเสนอให้รับและจัดเก็บไว้ก่อน ดังนั้นเอนโทรปีทางเทอร์โมไดนามิกโดยรวมจึงไม่ลดลง (ซึ่งแก้ความขัดแย้งได้) หลักการของ Landauerกำหนดขีดจำกัดล่างของปริมาณความร้อนที่คอมพิวเตอร์ต้องสร้างขึ้นเพื่อประมวลผลข้อมูลจำนวนหนึ่ง แม้ว่าคอมพิวเตอร์สมัยใหม่จะมีประสิทธิภาพน้อยกว่ามากก็ตาม

การบีบอัดข้อมูล

นิยามของเอนโทรปีของแชนนอน เมื่อนำไปใช้กับแหล่งข้อมูล สามารถกำหนดความจุช่องสัญญาณขั้นต่ำที่จำเป็นในการส่งแหล่งข้อมูลนั้นในรูปแบบตัวเลขไบนารีที่เข้ารหัสได้อย่างน่าเชื่อถือ เอนโทรปีของแชนนอนวัดข้อมูลที่มีอยู่ในข้อความ ไม่ใช่ส่วนของข้อความที่ถูกกำหนด (หรือคาดการณ์ได้) ตัวอย่างของส่วนหลัง ได้แก่ ความซ้ำซ้อนในโครงสร้างภาษา หรือคุณสมบัติทางสถิติที่เกี่ยวข้องกับความถี่ของการเกิดขึ้นของคู่ตัวอักษรหรือคำ กลุ่มสามตัว ฯลฯ ความจุช่องสัญญาณขั้นต่ำสามารถเกิดขึ้นได้ในทางทฤษฎีโดยใช้เซตทั่วไปหรือในทางปฏิบัติโดยใช้ การเข้ารหัส Huffman , Lempel–Zivหรือการเข้ารหัสเลขคณิต (ดูเพิ่มเติมที่ความซับซ้อนของ Kolmogorov ) ในทางปฏิบัติ อัลกอริทึมการ บีบอัดจะรวมความซ้ำซ้อนอย่างรอบคอบในรูปแบบของchecksumsเพื่อป้องกันข้อผิดพลาดอัตราเอนโทรปีของแหล่งข้อมูลคือจำนวนบิตเฉลี่ยต่อสัญลักษณ์ที่จำเป็นในการเข้ารหัส การทดลองของแชนนอนกับผู้ทำนายที่เป็นมนุษย์แสดงให้เห็นอัตราข้อมูลระหว่าง 0.6 ถึง 1.3 บิตต่ออักขระในภาษาอังกฤษ[ 21 ]อัลกอริทึมการบีบอัด PPMสามารถบรรลุอัตราส่วนการบีบอัด 1.5 บิตต่ออักขระในข้อความภาษาอังกฤษ

หาก วิธี การบีบอัดข้อมูลเป็นแบบไม่สูญเสียข้อมูล – คือวิธีที่คุณสามารถกู้คืนข้อความต้นฉบับทั้งหมดได้เสมอโดยการคลายการบีบอัด – ข้อความที่ถูกบีบอัดจะมีปริมาณข้อมูลเท่ากับข้อความต้นฉบับ แต่สื่อสารด้วยจำนวนตัวอักษรที่น้อยลง มีข้อมูลมากขึ้น (เอนโทรปีสูงขึ้น) ต่อตัวอักษร ข้อความที่ถูกบีบอัดมีความซ้ำซ้อน น้อย ลงทฤษฎีการเข้ารหัสแหล่งที่มาของแชนนอนกล่าวว่า วิธีการบีบอัดแบบไม่สูญเสียข้อมูลไม่สามารถบีบอัดข้อความโดยเฉลี่ยให้มี ข้อมูล มากกว่าหนึ่งบิตต่อบิตของข้อความได้ แต่ค่าใดๆ ที่น้อยกว่าหนึ่งบิตต่อบิตของข้อความสามารถทำได้โดยการใช้รูปแบบการเข้ารหัสที่เหมาะสม เอนโทรปีของข้อความต่อบิตคูณด้วยความยาวของข้อความนั้นเป็นตัววัดว่าข้อความนั้นมีข้อมูลทั้งหมดเท่าใด ทฤษฎีของแชนนอนยังบ่งชี้ว่าไม่มีวิธีการบีบอัดแบบไม่สูญเสียข้อมูลใดที่สามารถทำให้ ข้อความ ทั้งหมด สั้นลงได้ หากข้อความบางส่วนสั้นลง อย่างน้อยหนึ่งข้อความจะต้องยาวขึ้นเนื่องจากหลักการรังนกพิราบ ในทางปฏิบัติแล้ว โดยทั่วไปนี่ไม่ใช่ปัญหา เพราะโดยปกติแล้วเรามักสนใจเฉพาะการบีบอัดข้อความบางประเภท เช่น เอกสารภาษาอังกฤษ แทนที่จะเป็นข้อความที่อ่านไม่ออก หรือภาพถ่ายดิจิทัล แทนที่จะเป็นสัญญาณรบกวน และไม่สำคัญว่าอัลกอริทึมการบีบอัดจะทำให้ลำดับข้อมูลที่ไม่น่าจะเป็นไปได้หรือไม่น่าสนใจบางส่วนมีขนาดใหญ่ขึ้นหรือไม่

การศึกษาในปี 2011 ในวารสาร Scienceประเมินศักยภาพทางเทคโนโลยีของโลกในการจัดเก็บและสื่อสารข้อมูลที่บีบอัดอย่างเหมาะสมที่สุด โดยอ้างอิงจากอัลกอริทึมการบีบอัดที่มีประสิทธิภาพสูงสุดที่มีอยู่ในปี 2007 ดังนั้นจึงเป็นการประมาณค่าเอนโทรปีของแหล่งข้อมูลทางเทคโนโลยีที่มีอยู่[ 22 ] : 60–65

ตัวเลขทั้งหมดอยู่ในหน่วยเอ็กซาไบต์ ที่ถูกบีบอัดด้วยเอนโทรปี
ประเภทของข้อมูลพ.ศ. 25292007
พื้นที่จัดเก็บ2.6295
ออกอากาศ432ปี ค.ศ. 1900
โทรคมนาคม0.28165

ผู้เขียนประเมินความสามารถทางเทคโนโลยีของมนุษยชาติในการจัดเก็บข้อมูล (บีบอัดเอนโทรปีอย่างสมบูรณ์) ในปี 1986 และอีกครั้งในปี 2007 พวกเขาแบ่งข้อมูลออกเป็นสามประเภท ได้แก่ การจัดเก็บข้อมูลบนสื่อ การรับข้อมูลผ่านเครือข่ายกระจายเสียงทางเดียวหรือการ แลกเปลี่ยนข้อมูลผ่าน เครือข่ายโทรคมนาคมสองทาง[ 22 ]

เอนโทรปีในฐานะมาตรวัดความหลากหลาย

เอนโทรปีเป็นหนึ่งในหลายวิธีในการวัดความหลากหลายทางชีวภาพและนำมาใช้ในรูปแบบของดัชนีแชนนอน [ 23 ] ดัชนีความหลากหลายเป็นการวัดทางสถิติเชิงปริมาณของจำนวนชนิดที่แตกต่างกันที่มีอยู่ในชุดข้อมูล เช่น ชนิดพันธุ์ในชุมชน โดยคำนึงถึงความอุดมสมบูรณ์ ทางนิเวศวิทยา ความสม่ำเสมอและความเด่นโดยเฉพาะอย่างยิ่ง เอนโทรปีของแชนนอนคือลอการิทึมของ1 Dซึ่ง เป็นดัชนี ความหลากหลายที่แท้จริงที่มีพารามิเตอร์เท่ากับ 1 ดัชนีแชนนอนเกี่ยวข้องกับความอุดมสมบูรณ์ตามสัดส่วนของชนิดต่างๆ

เอนโทรปีของลำดับ

มีแนวคิดที่เกี่ยวข้องกับเอนโทรปีอยู่หลายประการ ซึ่งใช้ในการวัดปริมาณข้อมูลของลำดับหรือข้อความในเชิงคณิตศาสตร์:

  • ข้อมูล เกี่ยวกับ ตัวข้อความหรือสัญลักษณ์แต่ละตัวที่ได้มาจากชุดความน่าจะเป็นที่กำหนด (ข้อความหรือลำดับนั้นถูกมองว่าเป็นเหตุการณ์แต่ละเหตุการณ์)
  • เอนโทรปีร่วมของสัญลักษณ์ที่ประกอบกันเป็นข้อความหรือลำดับ (ซึ่งมองได้ว่าเป็นชุดของเหตุการณ์)
  • อัตราเอนโทรปีของกระบวนการสุ่ม (ข้อความหรือลำดับถูกมองว่าเป็นลำดับเหตุการณ์)

(อัตราการรับรู้ข้อมูลตนเองสามารถกำหนดได้สำหรับลำดับข้อความหรือสัญลักษณ์เฉพาะที่สร้างขึ้นโดยกระบวนการสุ่มที่กำหนดไว้ ซึ่งจะเท่ากับอัตราเอนโทรปีในกรณีของกระบวนการคงที่เสมอ ) นอกจากนี้ ยังมีการใช้ ปริมาณข้อมูล อื่นๆ เพื่อเปรียบเทียบหรือเชื่อมโยงแหล่งข้อมูลต่างๆ เข้าด้วยกัน

สิ่งสำคัญคืออย่าสับสนระหว่างแนวคิดข้างต้น บ่อยครั้งที่ต้องพิจารณาจากบริบทจึงจะเข้าใจว่าหมายถึงอะไร ตัวอย่างเช่น เมื่อมีคนกล่าวว่า "เอนโทรปี" ของภาษาอังกฤษอยู่ที่ประมาณ 1 บิตต่อตัวอักษร พวกเขากำลังจำลองภาษาอังกฤษเป็นกระบวนการสุ่มและพูดถึงอัตรา เอนโทรปีของมัน แชนนอนเองก็ใช้คำนี้ในลักษณะนี้เช่นกัน

หากใช้บล็อกขนาดใหญ่มาก การประมาณอัตราเอนโทรปีต่ออักขระอาจต่ำกว่าความเป็นจริง เนื่องจากไม่ทราบการกระจายความน่าจะเป็นของลำดับอย่างแน่ชัด เป็นเพียงการประมาณเท่านั้น หากพิจารณาข้อความของหนังสือทุกเล่มที่เคยตีพิมพ์เป็นลำดับ โดยแต่ละสัญลักษณ์แทนข้อความของหนังสือทั้งเล่ม และหากมี หนังสือที่ตีพิมพ์แล้ว Nเล่ม และแต่ละเล่มตีพิมพ์เพียงครั้งเดียว การประมาณความน่าจะเป็นของแต่ละเล่มคือ1/ Nและเอนโทรปี (ในบิต) คือ−log (1/ N ) = log ( N )ในทางปฏิบัติ การเขียนโค้ดแบบนี้จะสอดคล้องกับการกำหนดตัวระบุที่ไม่ซ้ำกัน ให้กับหนังสือแต่ละ เล่ม และใช้ตัวระบุนี้แทนข้อความของหนังสือเมื่อใดก็ตามที่ต้องการอ้างอิงถึงหนังสือ วิธีนี้มีประโยชน์อย่างมากสำหรับการพูดคุยเกี่ยวกับหนังสือ แต่ไม่ค่อยมีประโยชน์สำหรับการระบุลักษณะเนื้อหาข้อมูลของหนังสือแต่ละเล่ม หรือของภาษาโดยทั่วไป เพราะไม่สามารถสร้างหนังสือขึ้นใหม่จากตัวระบุได้หากไม่ทราบการกระจายความน่าจะเป็น นั่นคือข้อความทั้งหมดของหนังสือทุกเล่ม แนวคิดหลักคือต้องพิจารณาความซับซ้อนของแบบจำลองความน่าจะเป็น ความซับซ้อน ของ Kolmogorovเป็นการขยายแนวคิดนี้ในเชิงทฤษฎี ซึ่งช่วยให้สามารถพิจารณาเนื้อหาข้อมูลของลำดับโดยไม่ขึ้นอยู่กับแบบจำลองความน่าจะเป็นใดๆ โดยจะพิจารณาโปรแกรม ที่สั้นที่สุด สำหรับคอมพิวเตอร์สากลที่ส่งออกลำดับนั้น รหัสที่ทำให้ได้อัตราเอนโทรปีของลำดับสำหรับแบบจำลองที่กำหนด บวกกับสมุดรหัส (เช่น แบบจำลองความน่าจะเป็น) เป็นโปรแกรมหนึ่งในลักษณะนี้ แต่รหัสนั้นอาจไม่ใช่รหัสที่สั้นที่สุด

ลำดับฟิโบนาชชีคือ 1, 1, 2, 3, 5, 8, 13, ... หากมองลำดับนี้เป็นข้อความและแต่ละตัวเลขเป็นสัญลักษณ์ จะมีสัญลักษณ์เกือบเท่ากับจำนวนตัวอักษรในข้อความ ทำให้ได้เอนโทรปีประมาณlog ( n )สัญลักษณ์ 128 ตัวแรกของลำดับฟิโบนาชชีมีเอนโทรปีประมาณ 7 บิต/สัญลักษณ์ แต่ลำดับนี้สามารถแสดงได้โดยใช้สูตร [ F( n ) = F( n − 1) + F( n − 2)สำหรับn = 3, 4, 5, ... , F(1) = 1 , F(2) = 1 ] และสูตรนี้มีเอนโทรปีต่ำกว่ามากและใช้ได้กับลำดับฟิโบนาชชีทุกความยาว

ข้อจำกัดของเอนโทรปีในด้านการเข้ารหัส

ในด้านการวิเคราะห์รหัสลับ เอนโทรปีมักถูกใช้เป็นมาตรวัดความไม่แน่นอนของรหัสลับโดยประมาณ แม้ว่าความไม่แน่นอนที่ แท้จริงนั้น วัดไม่ได้ก็ตาม ตัวอย่างเช่น รหัส 128 บิตที่สร้างขึ้นแบบสุ่มอย่างสม่ำเสมอจะมีเอนโทรปี 128 บิต และใช้เวลา (โดยเฉลี่ย)2127{\displaystyle 2^{127}}การเดาเพื่อทำลายด้วยกำลังแบบบรูทฟอร์ซ เอนโทรปีไม่สามารถจับจำนวนการเดาที่จำเป็นได้หากคีย์ที่เป็นไปได้ไม่ได้ถูกเลือกอย่างสม่ำเสมอ[ 24 ] [ 25 ]ในทางกลับกัน สามารถใช้การวัดที่เรียกว่าการเดาเพื่อวัดความพยายามที่จำเป็นสำหรับการโจมตีแบบบรูทฟอร์ซได้[ 26 ]

ปัญหาอื่นๆ อาจเกิดขึ้นจากการกระจายที่ไม่สม่ำเสมอที่ใช้ในการเข้ารหัสลับ ตัวอย่างเช่น รหัสลับแบบใช้ครั้งเดียว (One-Time Pad)ไบนารี 1,000,000 หลักที่ใช้การดำเนินการแบบ Exclusive OR หากรหัสลับมีเอนโทรปี 1,000,000 บิต ก็จะปลอดภัยอย่างสมบูรณ์ หากรหัสลับมีเอนโทรปี 999,999 บิต กระจายอย่างสม่ำเสมอ (แต่ละบิตของรหัสลับมีเอนโทรปี 0.999999 บิต) ก็อาจให้ความปลอดภัยที่ดีได้ แต่หากรหัสลับมีเอนโทรปี 999,999 บิต โดยที่บิตแรกคงที่และ 999,999 บิตที่เหลือเป็นแบบสุ่มอย่างสมบูรณ์ บิตแรกของข้อความที่เข้ารหัสจะไม่สามารถเข้ารหัสได้เลย

ข้อมูลในรูปแบบกระบวนการมาร์คอฟ

วิธีทั่วไปในการกำหนดเอนโทรปีสำหรับข้อความนั้นอิงตามแบบจำลองมาร์คอฟของข้อความ สำหรับแหล่งข้อมูลลำดับที่ 0 (แต่ละอักขระถูกเลือกโดยอิสระจากอักขระก่อนหน้า) เอนโทรปีไบนารีคือ:

ชม(เอส)=ฉันพีฉันบันทึกพีฉัน,{\displaystyle \mathrm {H} ({\mathcal {S}})=-\sum _{i}p_{i}\log p_{i},}

โดยที่p คือความน่าจะเป็นของi สำหรับ แหล่งกำเนิด Markovลำดับที่หนึ่ง(ซึ่งความน่าจะเป็นของการเลือกตัวอักษรขึ้นอยู่กับตัวอักษรที่อยู่ก่อนหน้าทันทีเท่านั้น) อัตราเอนโทรปีคือ: [ 27 ]

ชม(เอส)=ฉันพีฉันเจ พีฉัน(เจ)บันทึกพีฉัน(เจ),{\displaystyle \mathrm {H} ({\mathcal {S}})=-\sum _{i}p_{i}\sum _{j}\ p_{i}(j)\log p_{i}(j),}

โดยที่iคือสถานะ (มีอักขระนำหน้าบางตัว) และพีฉัน(เจ){\displaystyle p_{i}(j)}คือความน่าจะเป็นของjเมื่อกำหนดให้iเป็นตัวอักษรก่อนหน้า

สำหรับแหล่งกำเนิดมาร์คอฟลำดับที่สอง อัตราเอนโทรปีคือ

ชม(เอส)=ฉันพีฉันเจพีฉัน(เจ)เคพีฉัน,เจ(เค) บันทึกพีฉัน,เจ(เค).{\displaystyle \mathrm {H} ({\mathcal {S}})=-\sum _{i}p_{i}\sum _{j}p_{i}(j)\sum _{k}p_{i,j}(k)\ \log p_{i,j}(k).}

ประสิทธิภาพ (เอนโทรปีแบบนอร์มาไลซ์)

ชุดแหล่งที่มาX{\displaystyle {\mathcal {X}}}การกระจายที่ไม่สม่ำเสมอจะมีเอนโทรปีน้อยกว่าชุดเดียวกันที่มีการกระจายแบบสม่ำเสมอ (เช่น "ตัวอักษรที่ปรับให้เหมาะสม") ความบกพร่องของเอนโทรปีนี้สามารถแสดงได้เป็นอัตราส่วนที่เรียกว่าประสิทธิภาพ: [ 28 ]

η(X)=ชมชมสูงสุด=ฉัน=1nพี(xฉัน)บันทึก(พี(xฉัน))บันทึก(n).{\displaystyle \eta (X)={\frac {H}{H_{\text{max}}}}=-\sum _{i=1}^{n}{\frac {p(x_{i})\log _{b}(p(x_{i}))}{\log _{b}(n)}}.} เมื่อใช้คุณสมบัติพื้นฐานของลอการิทึม ปริมาณนี้สามารถแสดงได้ดังนี้: η(X)=ฉัน=1nพี(xฉัน)บันทึก(พี(xฉัน))บันทึก(n)=ฉัน=1nบันทึก(พี(xฉัน)พี(xฉัน))บันทึก(n)=ฉัน=1nบันทึกn(พี(xฉัน)พี(xฉัน))=บันทึกn(ฉัน=1nพี(xฉัน)พี(xฉัน)).{\displaystyle {\begin{aligned}\eta (X)&=-\sum _{i=1}^{n}{\frac {p(x_{i})\log _{b}(p(x_{i}))}{\log _{b}(n)}}=\sum _{i=1}^{n}{\frac {\log _{b}\left(p(x_{i})^{-p(x_{i})}\right)}{\log _{b}(n)}}\\[1ex]&=\sum _{i=1}^{n}\log _{n}\left(p(x_{i})^{-p(x_{i})}\right)=\log _{n}\left(\prod _{i=1}^{n}p(x_{i})^{-p(x_{i})}\right).\end{aligned}}}

ประสิทธิภาพมีประโยชน์ในการวัดปริมาณการใช้ช่องทางการสื่อสาร อย่างมีประสิทธิผล สูตรนี้ยังเรียกว่าเอนโทรปีแบบนอร์มาไลซ์ เนื่องจากเอนโทรปีถูกหารด้วยเอนโทรปีสูงสุดบันทึก(n){\displaystyle {\log _{b}(n)}}นอกจากนี้ ประสิทธิภาพยังไม่ขึ้นอยู่กับการเลือกฐานb (ที่เป็นบวก) ดังที่แสดงให้เห็นจากความไม่ไวต่อการเปลี่ยนแปลงในลอการิทึมสุดท้ายข้างต้น

เอนโทรปีสำหรับตัวแปรสุ่มต่อเนื่อง

เอนโทรปีเชิงอนุพันธ์

เอนโทรปีของแชนนอนนั้นจำกัดอยู่เฉพาะตัวแปรสุ่มที่รับค่าแบบไม่ต่อเนื่องเท่านั้น สูตรที่สอดคล้องกันสำหรับตัวแปรสุ่มต่อเนื่องที่มีฟังก์ชันความหนาแน่นความน่าจะเป็นf ( x )ที่มีขอบเขตจำกัดหรืออนันต์นั้นแตกต่างออกไปX{\displaystyle \mathbb {X} }บนเส้นจริงถูกกำหนดโดยการเปรียบเทียบ โดยใช้รูปแบบของเอนโทรปีข้างต้นเป็นความคาดหวัง: [ 10 ] : 224

ชม(X)=อี[บันทึกเอฟ(X)]=Xเอฟ(x)บันทึกเอฟ(x)x.{\displaystyle \mathrm {H} (X)=\mathbb {E} [-\log f(X)]=-\int _{\mathbb {X} }f(x)\log f(x)\,\mathrm {d} x.}

นี่คือเอนโทรปีเชิงอนุพันธ์ (หรือเอนโทรปีต่อเนื่อง) ตัวบ่งชี้เบื้องต้นของเอนโทรปีต่อเนื่องh [ f ]คือนิพจน์สำหรับฟังก์ชันHในทฤษฎีบท Hของโบลต์ซมันน์

แม้ว่าความคล้ายคลึงกันระหว่างฟังก์ชันทั้งสองจะน่าสนใจ แต่คำถามต่อไปนี้ต้องถูกตั้งขึ้น: เอนโทรปีเชิงอนุพันธ์เป็นส่วนขยายที่ถูกต้องของเอนโทรปีแบบไม่ต่อเนื่องของแชนนอนหรือไม่? เอนโทรปีเชิงอนุพันธ์ขาดคุณสมบัติหลายประการที่เอนโทรปีแบบไม่ต่อเนื่องของแชนนอนมี – มันอาจมีค่าเป็นลบได้–  และมีการเสนอการแก้ไขหลายประการ โดยเฉพาะอย่างยิ่งการจำกัดความหนาแน่นของจุดแบบไม่ต่อเนื่อง

เพื่อตอบคำถามนี้ จำเป็นต้องสร้างความเชื่อมโยงระหว่างฟังก์ชันทั้งสอง:

เพื่อให้ได้มาซึ่งค่าที่จำกัดโดยทั่วไปเมื่อขนาดของช่วงข้อมูลเข้าใกล้ศูนย์ ในกรณีแบบไม่ต่อเนื่อง ขนาดของช่วงข้อมูลคือความกว้าง (โดยนัย) ของแต่ละ ช่วงข้อมูล nช่วง (จำกัดหรืออนันต์) ซึ่งความน่าจะเป็นของแต่ละช่วงข้อมูลจะถูกแทนด้วยp เมื่อโดเมนแบบต่อเนื่องถูกขยายให้ทั่วไป ความกว้างจะต้องถูกระบุอย่างชัดเจน

ในการทำเช่นนี้ ให้เริ่มต้นด้วยฟังก์ชันต่อเนื่องfที่ถูกแบ่งออกเป็นช่วงย่อยขนาดต่างๆΔ{\displaystyle \Delta }ตาม ทฤษฎีค่าเฉลี่ย จะมีค่าx ในแต่ละช่วงค่าอยู่ค่าหนึ่ง ซึ่งทำให้ เอฟ(xฉัน)Δ=ฉันΔ(ฉัน+1)Δเอฟ(x)x{\displaystyle f(x_{i})\Delta =\int _{i\Delta }^{(i+1)\Delta }f(x)\,dx} อินทิกรัลของฟังก์ชันfสามารถประมาณได้ (ในความหมายของรีมันน์) โดย เอฟ(x)x=ลิมΔ0ฉัน=เอฟ(xฉัน)Δ,{\displaystyle \int _{-\infty }^{\infty }f(x)\,dx=\lim _{\Delta \to 0}\sum _{i=-\infty }^{\infty }f(x_{i})\Delta ,} โดยที่ขีดจำกัดนี้และ "ขนาดช่องข้อมูลเข้าใกล้ศูนย์" มีความหมายเทียบเท่ากัน

เราจะระบุ ชมΔ:=ฉัน=เอฟ(xฉัน)Δบันทึก(เอฟ(xฉัน)Δ){\displaystyle \mathrm {H} ^{\Delta }:=-\sum _{i=-\infty }^{\infty }f(x_{i})\Delta \log \left(f(x_{i})\Delta \right)} และเมื่อขยายลอการิทึม เราจะได้ ชมΔ=ฉัน=เอฟ(xฉัน)Δบันทึก(เอฟ(xฉัน))ฉัน=เอฟ(xฉัน)Δบันทึก(Δ).{\displaystyle \mathrm {H} ^{\Delta }=-\sum _{i=-\infty }^{\infty }f(x_{i})\Delta \log(f(x_{i}))-\sum _{i=-\infty }^{\infty }f(x_{i})\Delta \log(\Delta ).}

เมื่อΔ → 0เราจะได้

ฉัน=เอฟ(xฉัน)Δเอฟ(x)x=1ฉัน=เอฟ(xฉัน)Δบันทึก(เอฟ(xฉัน))เอฟ(x)บันทึกเอฟ(x)x.{\displaystyle {\begin{aligned}\sum _{i=-\infty }^{\infty }f(x_{i})\Delta &\to \int _{-\infty }^{\infty }f(x)\,dx=1\\\sum _{i=-\infty }^{\infty }f(x_{i})\Delta \log(f(x_{i}))&\to \int _{-\infty }^{\infty }f(x)\log f(x)\,dx.\end{aligned}}}

หมายเหตุ: log(Δ) → −∞เมื่อΔ → 0จำเป็นต้องมีการกำหนดนิยามพิเศษของเอนโทรปีเชิงอนุพันธ์หรือต่อเนื่อง:

ชม.[เอฟ]=ลิมΔ0(ชมΔ+บันทึกΔ)=เอฟ(x)บันทึกเอฟ(x)x,{\displaystyle h[f]=\lim _{\Delta \to 0}\left(\mathrm {H} ^{\Delta }+\log \Delta \right)=-\int _{-\infty }^{\infty }f(x)\log f(x)\,dx,}

ซึ่งดังที่กล่าวไว้ก่อนหน้านี้ เรียกว่า เอนโทรปีเชิงอนุพันธ์ หมายความว่า เอนโทรปีเชิงอนุพันธ์ไม่ใช่ลิมิตของเอนโทรปีของแชนนอนสำหรับn → ∞แต่แตกต่างจากลิมิตของเอนโทรปีของแชนนอนด้วยค่าชดเชยอนันต์ (ดูบทความเกี่ยวกับมิติสารสนเทศ เพิ่มเติม )

ความหนาแน่นที่จำกัดของจุดแยก

ผลที่ได้คือ ปรากฏว่า ต่างจากเอนโทรปีของแชนนอน เอนโทรปีเชิงอนุพันธ์ โดยทั่วไป ไม่ใช่มาตรวัดความไม่แน่นอนหรือข้อมูลที่ดี ตัวอย่างเช่น เอนโทรปีเชิงอนุพันธ์อาจมีค่าเป็นลบได้ และยังไม่คงที่ภายใต้การแปลงพิกัดแบบต่อเนื่อง ปัญหานี้สามารถแสดงให้เห็นได้โดยการเปลี่ยนหน่วยเมื่อxเป็นตัวแปรที่มีมิติf ( x )จะมีหน่วยเป็น1/ xอาร์กิวเมนต์ของลอการิทึมต้องไม่มีมิติ มิฉะนั้นจะไม่เหมาะสม ดังนั้นเอนโทรปีเชิงอนุพันธ์ที่กล่าวมาข้างต้นจึงไม่เหมาะสม หากΔเป็นค่า "มาตรฐาน" ของx (เช่น "ขนาดช่วง") และมีหน่วยเดียวกัน เอนโทรปีเชิงอนุพันธ์ที่ปรับปรุงแล้วอาจเขียนในรูปแบบที่เหมาะสมได้ดังนี้: ชม=เอฟ(x)บันทึก(เอฟ(x)Δ)x,{\displaystyle \mathrm {H} =\int _{-\infty }^{\infty }f(x)\log(f(x)\,\Delta )\,dx,} และผลลัพธ์จะเหมือนกันไม่ว่าเราจะเลือกหน่วยใดสำหรับxก็ตาม ในความเป็นจริง ขีดจำกัดของเอนโทรปีแบบไม่ต่อเนื่องเมื่อเอ็น{\displaystyle N\rightarrow \infty }ซึ่งจะรวมถึงระยะเวลาหนึ่งด้วยบันทึก(เอ็น){\displaystyle \log(N)}ซึ่งโดยทั่วไปจะมีค่าเป็นอนันต์ นี่เป็นสิ่งที่คาดการณ์ได้: ตัวแปรต่อเนื่องมักจะมีเอนโทรปีเป็นอนันต์เมื่อถูกทำให้เป็นแบบไม่ต่อเนื่อง ความหนาแน่นจำกัดของจุดแบบไม่ต่อเนื่องนั้นเป็นตัววัดว่าการอธิบายการกระจายตัวนั้นง่ายกว่าการกระจายตัวที่เป็นเอกรูปตลอดแผนการควอนไทเซชันมากน้อยเพียงใด

เอนโทรปีสัมพัทธ์

อีกหนึ่งมาตรวัดเอนโทรปีที่มีประโยชน์และใช้ได้ดีทั้งในกรณีแบบไม่ต่อเนื่องและแบบต่อเนื่อง คือเอนโทรปีสัมพัทธ์ของการแจกแจง โดยนิยามคือ ค่า ความแตกต่างแบบ Kullback–Leiblerจากการแจกแจงไปยังมาตรวัดอ้างอิงmดังนี้ สมมติว่าการแจกแจงความน่าจะเป็นpมีความต่อเนื่องอย่างสมบูรณ์เมื่อเทียบกับมาตรวัดmกล่าวคือ อยู่ในรูปแบบp ( dx ) = f ( x ) m ( dx )สำหรับ ฟังก์ชัน f ที่ไม่เป็นลบและ สามารถหาปริพันธ์ได้m โดยที่ m -integral เท่ากับ1 แล้ว เอนโทรปีสัมพัทธ์สามารถนิยามได้ดังนี้ ดีเคแอล(พี)=บันทึก(เอฟ(x))พี(x)=เอฟ(x)บันทึก(เอฟ(x))(x).{\displaystyle D_{\mathrm {KL} }(p\|m)=\int \log(f(x))p(dx)=\int f(x)\log(f(x))m(dx).}

ในรูปแบบนี้ เอนโทรปีสัมพัทธ์เป็นการขยายความ (โดยมีการเปลี่ยนแปลงเครื่องหมาย) ทั้งเอนโทรปีแบบไม่ต่อเนื่อง ซึ่งมาตรวัดmคือมาตรวัดการนับและเอนโทรปีเชิงอนุพันธ์ ซึ่งมาตรวัดmคือมาตรวัดเลเบสหากมาตรวัดmเป็นการแจกแจงความน่าจะเป็น เอนโทรปีสัมพัทธ์จะมีค่าไม่เป็นลบ และเป็นศูนย์หากp = mเป็นมาตรวัด เอนโทรปีสัมพัทธ์ถูกกำหนดขึ้นสำหรับปริภูมิมาตรวัดใดๆ ดังนั้นจึงไม่ขึ้นกับพิกัดและไม่เปลี่ยนแปลงภายใต้การกำหนดพารามิเตอร์พิกัดใหม่ หากพิจารณาการแปลงของมาตรวัด m อย่างถูกต้องเอนโทรปีสัมพัทธ์ และ (โดยปริยาย) เอนโทรปีและเอนโทรปีเชิงอนุพันธ์ ขึ้นอยู่กับมาตรวัด "อ้างอิง" m

ใช้ในทฤษฎีจำนวน

Terence Taoใช้เอนโทรปีเพื่อสร้างความเชื่อมโยงที่มีประโยชน์ในการพยายามแก้ปัญหาความคลาดเคลื่อนของ Erdős [ 29 ] [ 30 ]

โดยสัญชาตญาณแล้ว แนวคิดเบื้องหลังการพิสูจน์คือ หากมีข้อมูลน้อยในแง่ของเอนโทรปีของแชนนอนระหว่างตัวแปรสุ่มที่ต่อเนื่องกัน (ในที่นี้ ตัวแปรสุ่มถูกกำหนดโดยใช้ฟังก์ชัน Liouville (ซึ่งเป็นฟังก์ชันทางคณิตศาสตร์ที่มีประโยชน์สำหรับการศึกษาการกระจายของจำนวนเฉพาะ)) X =λ(n+ชม){\displaystyle \lambda (n+H)}) และในช่วง [n, n+H] ผลรวมในช่วงนั้นอาจมีขนาดใหญ่มากได้ ตัวอย่างเช่น ลำดับของ +1 (ซึ่งเป็นค่าของX ที่สามารถรับได้) มีเอนโทรปีต่ำมาก และผลรวมของพวกมันจะใหญ่ขึ้น แต่ประเด็นสำคัญคือการแสดงให้เห็นถึงการลดลงของเอนโทรปีในปริมาณที่ไม่น้อยเลยเมื่อขยาย H ซึ่งนำไปสู่การเติบโตอย่างไม่มีขีดจำกัดของวัตถุทางคณิตศาสตร์เหนือตัวแปรสุ่มนี้ เทียบเท่ากับการแสดงให้เห็นถึงการเติบโตอย่างไม่มีขีดจำกัดตามปัญหาความคลาดเคลื่อนของ Erdős

การพิสูจน์ค่อนข้างซับซ้อนและนำมาซึ่งความก้าวหน้าไม่เพียงแต่ในการใช้เอนโทรปีของแชนนอนแบบใหม่เท่านั้น แต่ยังใช้ฟังก์ชัน Liouvilleร่วมกับค่าเฉลี่ยของฟังก์ชันการคูณแบบปรับเปลี่ยน[ 31 ]ในช่วงเวลาสั้นๆ การพิสูจน์ยังทำลาย "กำแพงความเท่าเทียมกัน" [ 32 ]สำหรับปัญหาเฉพาะนี้ด้วย

แม้ว่าการใช้เอนโทรปีของแชนนอนในการพิสูจน์จะเป็นเรื่องใหม่ แต่ก็มีแนวโน้มที่จะเปิดงานวิจัยใหม่ๆ ในทิศทางนี้

ใช้ในคณิตศาสตร์เชิงการจัดเรียง

เอนโทรปีได้กลายเป็นปริมาณที่มีประโยชน์ในวิชาคณิตศาสตร์เชิงการจัดเรียง

ความไม่เท่าเทียมกันของลูมิส-วิทนีย์

ตัวอย่างง่ายๆ ของเรื่องนี้คือ การพิสูจน์อีกวิธีหนึ่งของอสมการลูมิส-วิทนีย์ : สำหรับทุกเซตย่อยAZ dเราจะได้ว่า |เอ|1ฉัน=1|พีฉัน(เอ)|{\displaystyle |A|^{d-1}\leq \prod _{i=1}^{d}|P_{i}(A)|} โดยที่P คือการฉายภาพเชิงตั้งฉากใน พิกัดที่ i : พีฉัน(เอ)={(x1,,xฉัน1,xฉัน+1,,x):(x1,,x)เอ}.{\displaystyle P_{i}(A)=\{(x_{1},\ldots ,x_{i-1},x_{i+1},\ldots ,x_{d}):(x_{1},\ldots ,x_{d})\in A\}.}

การพิสูจน์เป็นไปตามบทสรุปง่ายๆ ของอสมการของเชียร์เรอร์ : ถ้าX , ..., X เป็นตัวแปรสุ่ม และS , ..., S เป็นเซตย่อยของ{1, ..., d } โดยที่จำนวนเต็มทุกจำนวนระหว่าง 1 และdอยู่ในเซตย่อยเหล่านี้ เพียง r เซตเท่านั้น แล้วชม[(X1,,X)]1ฉัน=1nชม[(Xเจ)เจเอสฉัน]{\displaystyle \mathrm {H} [(X_{1},\ldots ,X_{d})]\leq {\frac {1}{r}}\sum _{i=1}^{n}\mathrm {H} [(X_{j})_{j\in S_{i}}]} ที่ไหน(Xเจ)เจเอสฉัน{\displaystyle (X_{j})_{j\in S_{i}}}คือผลคูณคาร์ทีเซียนของตัวแปรสุ่มX ที่มีดัชนีjในS (ดังนั้นมิติของเวกเตอร์นี้จึงเท่ากับขนาดของS )

เราจะอธิบายคร่าวๆ ว่าทฤษฎีบท Loomis–Whitney สืบเนื่องมาจากสิ่งนี้ได้อย่างไร: ให้Xเป็นตัวแปรสุ่มที่มีการแจกแจงแบบเอกรูป โดยมีค่าอยู่ในAและแต่ละจุดในAเกิดขึ้นด้วยความน่าจะเป็นเท่ากัน แล้ว (จากคุณสมบัติเพิ่มเติมของเอนโทรปีที่กล่าวถึงข้างต้น) Η( X ) = log | A |โดยที่| A |หมายถึงจำนวนสมาชิกของAให้S = {1, 2, ..., i −1, i +1, ..., d } ช่วงของ(Xเจ)เจเอสฉัน{\displaystyle (X_{j})_{j\in S_{i}}}อยู่ในPi ( A ) ดังนั้นชม[(Xเจ)เจเอสฉัน]บันทึก|พีฉัน(เอ)|{\displaystyle \mathrm {H} [(X_{j})_{j\in S_{i}}]\leq \log |P_{i}(A)|}จากนั้นใช้ค่านี้เพื่อกำหนดขอบเขตด้านขวาของอสมการของเชียร์เรอร์ และยกกำลังด้านตรงข้ามของอสมการที่ได้

การประมาณค่าสัมประสิทธิ์ทวินาม

สำหรับจำนวนเต็ม0 < k < nให้q = k / nแล้ว 2nชม(q)n+1(nเค)2nชม(q),{\displaystyle {\frac {2^{n\mathrm {H} (q)}}{n+1}}\leq {\tbinom {n}{k}}\leq 2^{n\mathrm {H} (q)},} โดยที่[ 33 ] : 43ชม(q)=qบันทึก2(q)(1q)บันทึก2(1q).{\displaystyle \mathrm {H} (q)=-q\log _{2}(q)-(1-q)\log _{2}(1-q).}

การตีความที่ดีอย่างหนึ่งก็คือ จำนวนสตริงไบนารีที่มีความยาวn และมี เลข 1 อยู่ kตัวพอดี นั้น มีค่าโดยประมาณเท่ากับ2nชม(เค/n){\displaystyle 2^{n\mathrm {H} (k/n)}}[ 34 ]

ใช้ในแมชชีนเลิร์นนิง

เทคนิค การเรียนรู้ของเครื่องจักรส่วนใหญ่มาจากสถิติและทฤษฎีสารสนเทศ โดยทั่วไป เอนโทรปีเป็นตัววัดความไม่แน่นอน และเป้าหมายของการเรียนรู้ของเครื่องจักรคือการลดความไม่แน่นอนให้เหลือน้อยที่สุด

อัลกอริทึม การเรียนรู้ต้นไม้ตัดสินใจใช้เอนโทรปีสัมพัทธ์เพื่อกำหนดกฎการตัดสินใจที่ควบคุมข้อมูลที่แต่ละโหนด[ 35 ] การเพิ่มขึ้น ของข้อมูลในต้นไม้ตัดสินใจฉันจี(วาย,X){\displaystyle IG(Y,X)}ซึ่งเท่ากับผลต่างระหว่างเอนโทรปีของวาย{\displaystyle Y}และเอนโทรปีแบบมีเงื่อนไขของวาย{\displaystyle Y}ที่ให้ไว้X{\displaystyle X}เป็นการวัดปริมาณข้อมูลที่คาดว่าจะได้รับ หรือการลดลงของเอนโทรปี จากการทราบค่าของคุณลักษณะเพิ่มเติมX{\displaystyle X}ค่าการได้มาซึ่งข้อมูล (Information Gain) ใช้ในการระบุว่าคุณลักษณะใดของชุดข้อมูลให้ข้อมูลมากที่สุดและควรนำมาใช้ในการแบ่งโหนดของต้นไม้ให้เหมาะสมที่สุด

แบบจำลอง การอนุมานแบบเบย์เซียนมักใช้หลักการของเอนโทรปีสูงสุดเพื่อให้ได้การกระจายความน่าจะเป็นก่อนหน้า[ 36 ]แนวคิดก็คือ การกระจายที่แสดงถึงสถานะความรู้ปัจจุบันของระบบได้ดีที่สุดคือการกระจายที่มีเอนโทรปีมากที่สุด และจึงเหมาะสมที่จะเป็นค่าก่อนหน้า

การจำแนกประเภทในการเรียนรู้ของเครื่องที่ดำเนินการโดยการถดถอยโลจิสติกหรือโครงข่ายประสาทเทียมมักใช้ฟังก์ชันการสูญเสียมาตรฐานที่เรียกว่า การสูญเสีย เอนโทรปีไขว้ซึ่งจะลดเอนโทรปีไขว้เฉลี่ยระหว่างความจริงพื้นฐานและการกระจายที่คาดการณ์ไว้[ 37 ]โดยทั่วไป เอนโทรปีไขว้เป็นการวัดความแตกต่างระหว่างชุดข้อมูลสองชุดที่คล้ายกับความแตกต่าง KL (หรือที่เรียกว่าเอนโทรปีสัมพัทธ์)

ดูเพิ่มเติม

หมายเหตุ

  1. คำจำกัดความนี้อนุญาตให้เกิดเหตุการณ์ที่มีความน่าจะเป็น 0 ซึ่งส่งผลให้ผลลัพธ์ไม่แน่นอนบันทึก(0){\displaystyle \log(0)}เราเห็นแล้วลิมx0xบันทึก(x)=0{\displaystyle \lim \limits _{x\rightarrow 0}x\log(x)=0}และสามารถสันนิษฐานได้ว่า0บันทึก(0){\displaystyle 0\log(0)}เท่ากับ 0 ในบริบทนี้ หรืออีกทางเลือกหนึ่งคือสามารถกำหนดได้ดังนี้พี:X(0,1]{\displaystyle p\colon {\mathcal {X}}\to (0,1]}โดยไม่อนุญาตให้เกิดเหตุการณ์ที่มีความน่าจะเป็นเท่ากับ 0 พอดี

อ่านเพิ่มเติม

ตำราเรียนเกี่ยวกับทฤษฎีสารสนเทศ

  • ปก, TM , Thomas, JA (2006), องค์ประกอบของทฤษฎีสารสนเทศ – ฉบับที่ 2 , Wiley-Interscience, ISBN 978-0-471-24195-9
  • MacKay, DJC (2003), ทฤษฎีสารสนเทศ การอนุมาน และอัลกอริธึมการเรียนรู้ , สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์, ISBN 978-0-521-64298-9
  • Arndt, C. (2004), การวัดข้อมูล: ข้อมูลและการอธิบายข้อมูลในวิทยาศาสตร์และวิศวกรรมศาสตร์ , Springer, ISBN 978-3-540-40855-0
  • Gray, RM (2011), เอนโทรปีและทฤษฎีสารสนเทศ , Springer.
  • Martin, Nathaniel FG; England, James W. (2011). ทฤษฎีทางคณิตศาสตร์ของเอนโทรปี . สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์. ISBN 978-0-521-17738-2.
  • Shannon, CE , Weaver, W. (1949) ทฤษฎีทางคณิตศาสตร์ของการสื่อสารสำนักพิมพ์มหาวิทยาลัยอิลลินอยส์ISBN 0-252-72548-4
  • สโตน, เจวี (2014), บทที่ 1 ของทฤษฎีสารสนเทศ: บทนำเชิงสอนเก็บถาวรเมื่อวันที่ 3 มิถุนายน 2016 ที่Wayback Machineมหาวิทยาลัยเชฟฟิลด์ ประเทศอังกฤษISBN 978-0956372857.
  • ทริบัส, ไมรอน (1961). อุณหพลศาสตร์และเทอร์โมสแตติกส์: บทนำเกี่ยวกับพลังงาน ข้อมูล และสถานะของสสาร พร้อมการประยุกต์ใช้ทางวิศวกรรมชุดหนังสือพื้นฐานทางวิศวกรรม เล่มที่ 1 พรินซ์ตัน: ดี. แวน นอสแตรนด์OCLC 1036889774 

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ ไม่มีชื่อบทความ

ใน ทฤษฎีสารสนเทศ เอน โทรปี ของ ตัวแปรสุ่ม จะวัดระดับเฉลี่ยของความไม่แน่นอนหรือข้อมูลที่เกี่ยวข้องกับสถานะที่เป็นไปได้หรือผลลัพธ์ที่เป็นไปได้ของตัวแปรนั้น...

การแนะนำ

แนวคิดหลักของทฤษฎีสารสนเทศคือ "คุณค่าทางสารสนเทศ" ของข้อความที่สื่อสารออกไปนั้นขึ้นอยู่กับระดับความน่าประหลาดใจของเนื้อหาในข้อความนั้น หากเหตุการณ์ที่มีโอกาสเกิดขึ้นสูงเกิดขึ้น ข้อความนั้นจะมีสารสนเทศน้อยมาก ในทางกลับกัน...

ตัวอย่าง

ทฤษฎีสารสนเทศมีประโยชน์ในการคำนวณปริมาณสารสนเทศที่น้อยที่สุดที่จำเป็นในการส่งข้อความ เช่น ใน การบีบอัดข้อมูล ตัวอย่างเช่น พิจารณาการส่งลำดับของอักขระ 4 ตัว คือ 'A', 'B', 'C' และ 'D' ผ่านช่องสัญญาณไบนารี หากอักขระทั้ง 4 ตัวมีโอกาสปรากฏเท่ากัน (25%)...

คำนิยาม

ทฤษฎีบทเอนโทรปีของแชนนอน ซึ่งตั้งชื่อตาม ทฤษฎีบท H ของโบลต์ซมันน์ ได้ นิยามเอนโทรปี H (อักษรกรีกตัวใหญ่ เอตา ) ของ ตัวแปรสุ่มแบบไม่ต่อเนื่อง X {\textstyle X} ซึ่งรับค่าจากเซต X {\displaystyle {\mathcal {X}}} และมีการกระจายตาม พี : X → [ 0 , 1 ] {\displaystyle...