পয়েন্টওয়াইজ মিউচুয়াল তথ্যের সীমানা প্রদত্ত পারস্পরিক তথ্যের সীমানা


18

ধরুন আমার কাছে দুটি সেট X এবং Y এবং এই সেটগুলি উপর একটি যৌথ সম্ভাব্যতা বিতরণ রয়েছে p(x,y)। যাক p(x) এবং p(y) উপর প্রান্তিক ডিস্ট্রিবিউশন বোঝাতে X এবং Y যথাক্রমে।

X এবং মধ্যে পারস্পরিক তথ্যটিকেY সংজ্ঞায়িত করা হয়েছে:

I(X;Y)=x,yp(x,y)log(p(x,y)p(x)p(y))

অর্থাত্ এটি পয়েন্টওয়াইজ মিউচুয়াল ইনফরমেশন পিএমআই ( x , y ) লগ ( পি ( এক্স , y ) এর গড় মান(x,y)log(p(x,y)p(x)p(y))

ধরুন আমি পিএমআই উপরের এবং নিম্ন সীমানা (x,y)জানি: অর্থাত্ আমি জানি যে সমস্ত x,y নিম্নলিখিতটি ধারণ করে:

klog(p(x,y)p(x)p(y))k

কি উপরের আবদ্ধ এই পরোক্ষভাবে করে I(X;Y) । অবশ্যই এটি বোঝায় I(X;Y)kতবে সম্ভব হলে আমি আরও শক্ততর বাঁধতে চাই। এটি আমার কাছে প্রশংসনীয় বলে মনে হয় কারণ পি সম্ভাব্যতা বন্টনকে সংজ্ঞায়িত করে এবং পিএমআই x এবং y(x,y) এর প্রতিটি মানের জন্য তার সর্বোচ্চ মান (বা এমনকি নেতিবাচকও হতে পারে) নিতে পারে না ।xy


1
যখন যৌথ এবং প্রান্তিক সম্ভাবনাগুলি সমান হয়, পিএমআই ( , ওয়াই ) সমানভাবে শূন্য হয় (এবং তাই অ-নেতিবাচক, স্পষ্টতই আপনার শেষ বিবৃতিটির বিরোধিতা করে তবে সবেমাত্র)। এটা আমার মনে হচ্ছে, আমি যদি ভুল না করে থাকি, ছোট সাব-সেট নির্বাচন উপর এই অবস্থা perturbing যে এক্স × ওয়াই ইঙ্গিত PMI উপর সীমা সম্পর্কে প্রায় কিছুই বলতে আমি ( এক্স ; ওয়াই ) নিজেই। xyX×YI(X;Y)
হোবার

1
আসলে, যদি এবং ওয়াই স্বতন্ত্র থাকে তবে প্রান্তিক বন্টন নির্বিশেষে পি এম i ( x , y ) স্থির থাকে। সুতরাং p ( x , y ) বিতরণগুলির একটি সম্পূর্ণ শ্রেণি রয়েছে যার জন্য পি এম আমি ( x , y ) প্রতিটি এক্স এবং y এর জন্য সর্বোচ্চ মান অর্জন করে । XYpmi(x,y)p(x,y)pmi(x,y)xy
কার্ডিনাল

হ্যাঁ, এটি অবশ্যই সত্য যে পিএমআই সমস্ত x এবং y এর জন্য সমান হতে পারে তবে এটি একটি শক্ত বাঁধাকে অস্বীকার করে না। উদাহরণস্বরূপ, এটি প্রমাণ করা কঠিন নয় যে আমি ( এক্স ; ওয়াই ) কে ( কে - 1 ) । এটি কে 2 যখন কে < 1 হয় , এবং কে < 1 যখন আবদ্ধ কে এর অ-তুচ্ছ শক্তিশালীকরণ । আমি অবাক হচ্ছি যে সাধারণভাবে সাধারণত এমন কিছু অপ্রচলিত সীমারেখা রয়েছে কি না।(x,y)xyI(X;Y)k(ek1)k2k<1kk<1
ফ্লোরিয়ান

1
আমি সন্দেহ করি যে আপনি কে 0 এর জন্য চেয়ে আরও ভাল বাঁধাই পাবেন । আপনি যদি আরও শক্ত দেখতে চান তবে পি (এক্স) পি (ই) এবং পি (এক্স, ওয়াই) এর মধ্যে কেএল ডাইভার্জেন্সের ক্ষেত্রে আপনার প্রশ্নটি পুনরায় ফ্রেম করার চেষ্টা করুন। পিনস্কারের অসাম্যতা এমআই-তে একটি নিম্ন সীমা সরবরাহ করে যা আমার কুঁচকে নিশ্চিত হতে পারে। এছাড়াও আজমাআর.আর.জি . / আরজিএমআইএ / পেপারস / ভি 2 এন 4/ relog.pdf এর বিভাগ 4 দেখুন । O(k2)k0
vqv

উত্তর:


5

আমার অবদানের একটি উদাহরণ রয়েছে। এটি কীভাবে পারস্পরিক তথ্যকে পয়েন্টওয়াইজ মিউচুয়াল তথ্যের উপর ভিত্তি করে সীমাবদ্ধ করা যায় তার কিছু সীমা চিত্রিত করে illust

নিন এবং পি ( এক্স ) = 1 / এন সবার জন্য এক্স এক্স । কোন মি { 1 , ... , এন / 2 } দিন > 0 সমীকরণ সমাধান হতে মি + + ( এন - মি ) - = X=Y={1,,n}p(x)=1/nxXm{1,,n/2}k>0

mek+(nm)ek=n.
তারপর আমরা স্থান বিন্দু ভর মধ্যে এন এম পণ্যের স্থান পয়েন্ট { 1 , ... , এন } 2 এমনভাবে আছে মধ্যে মি প্রতিটি সারির এবং প্রতিটি কলামে এই পয়েন্ট। (এটি বেশ কয়েকটি উপায়ে করা যেতে পারে for উদাহরণস্বরূপ, প্রথম সারিতে প্রথম মিটার পয়েন্ট দিয়ে শুরু করুন এবং তারপরে প্রতিটি সারির জন্য চক্রাকার সীমানা শর্তের সাথে মি পয়েন্টগুলি একটিকে ডানে সরিয়ে রেখে অবশিষ্ট সারিগুলি পূরণ করুন )। আমরা বাকী ভর - কে / এন 2 বাকি এনগুলিতে রাখিek/n2nm{1,,n}2mmmek/n2 পয়েন্ট। এই বিন্দু জনগণের যোগফল n মিn2nm সুতরাং তারা সম্ভাব্যতা পরিমাপ দেয়। সমস্ত প্রান্তিক পয়েন্ট সম্ভাবনা এম
nmn2ek+n2nmn2ek=mek+(nm)ekn=1,
mn2ek+mnn2ek=1n,
সুতরাং উভয় প্রান্তিক বিতরণ অভিন্ন।

নির্মাণের মাধ্যমে এটি পরিষ্কার হয়ে গেছে যে সমস্ত x , y { 1 , , n } , এবং (কিছু গণনার পরে) I ( X ; Y ) = k এন মিpmi(x,y){k,k},x,y{1,,n}

I(X;Y)=knmn2ekkn2nmn2ek=k(1ekekek(ek+ek)ek),
k2/2k0kk


1

I'm not sure if this is what you are looking for, as it is mostly algebraic and not really leveraging the properties of p being a probability distribution, but here is something you can try.

Due to the bounds on pmi, clearly p(x,y)p(x)p(y)ek and thus p(x,y)p(x)p(y)ek. We can substitute for p(x,y) in I(X;Y) to get I(X;Y)x,yp(x)p(y)eklog(p(x)p(y)ekp(x)p(y))=x,yp(x)p(y)ekk

I'm not sure if that's helpful or not.

EDIT: Upon further review I believe this is actually less useful than the original upper bound of k. I won't delete this though in case it might hint at a starting point.


The value of this bound becomes apparent after you note x,yp(x)p(y)=1 and (since k0) that ek1.
whuber

Yes, when I realized that I made my edit.
Michael McGowan
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.