The Condorcet Jury Theorem: The 240-Year-Old Math Behind Better Decisions

وہ مارکِس جو جمہوریت کے بارے میں ریاضی کرتا تھا

ماری جین انتوان نکولس ڈی کیریٹ، مارکِس ڈی کانڈورسیٹ (1743–1794)، روشنی کے دور کا سب سے پختہ یقین رکھنے والا شخص تھا کہ انسانی امور کو طبیعیات کی طرح سختی سے سمجھا جا سکتا ہے۔ ایک شاندار ریاضی دان جو اپنی بیس کی دہائی میں اکادمی ڈیس سائنسز کا رکن منتخب ہوا، وہ اپنے صدی اور طبقے کے لیے غیر معمولی طور پر — مفت عوامی تعلیم، خواتین کے حق رائے دہی، اور غلامی کے خاتمے کا ایک ابتدائی اور واضح وکیل بھی تھا۔ جہاں اس کے ہم عصر یہ بحث کرتے تھے کہ کیا عام لوگوں کو حکومت کرنی چاہیے، کانڈورسیٹ نے ایک اجنبی اور زیادہ پیداواری سوال پوچھا: ان کے اجتماعی فیصلے کب واقعی درست ہوں گے؟

اس کا جواب 1785 میں ایسی سورل ایپلیکیشن ڈی ل'انالیس اے لا پروبیلیٹی ڈیسیجن رینڈو اے لا پلورالیٹی ڈی ووکس میں آیا — 'اکثریتی فیصلوں کی پروبیلیٹی پر تجزیے کی درخواست پر مضمون'۔ اس کی کثیف پروبیلیٹی کی حسابات میں ایک نتیجہ ہے جو حیرت انگیز سادگی اور طاقت کا حامل ہے، جو اب کانڈورسیٹ جیوری تھیورم کے نام سے جانا جاتا ہے۔

اس آدمی کی کہانی تاریک انداز میں ختم ہوتی ہے۔ کانڈورسیٹ نے انقلاب کی حمایت کی، ایک آئین کا مسودہ تیار کیا، اور پھر دہشت کے ہاتھوں میں آ گیا۔ 1793 میں غیر قانونی قرار دیا گیا، وہ ایک پیرس کے ہوٹل میں چھپ گیا اور — موت کا سامنا کرتے ہوئے — اپنی سب سے زیادہ پر امید تخلیق، انسانی ذہن کی ترقی کی تاریخی تصویر کا خاکہ لکھا۔ مارچ 1794 میں اپنے پناہ گاہ سے فرار ہونے کے بعد گرفتار ہوا، اسے دو دن بعد بورگ لا رین میں اپنی سیل میں مردہ پایا گیا۔ اجتماعی حکمت کا ریاضی دان ایک ایسے اجتماعی کے ہاتھوں مارا گیا جو دلائل سننا بند کر چکا تھا — ایک ایسا تضاد جس پر اس دور کا کوئی مورخ توجہ نہیں دیتا۔

یہ تھیورم، سادہ انگریزی میں

اٹھارہویں صدی کی نوٹیشن کو ہٹا دیں اور یہ تھیورم یہ کہتا ہے:

ایک ہاں/نہ کا سوال لیں جس کا صحیح جواب ہو۔ اگر گروپ میں ہر شخص اس کو صحیح کرنے کے لیے موقع سے زیادہ ممکنہ ہو، اور ہر ایک آزادانہ طور پر فیصلہ کرتا ہے، تو اکثریت کے صحیح ہونے کی احتمال گروپ کے سائز کے ساتھ بڑھتی ہے — اور جیسے جیسے گروپ بڑا ہوتا ہے یقین کی طرف بڑھتا ہے۔

اس کی بصیرت غلطی کی منسوخی ہے۔ ہر ووٹر سگنل اور شور کا مجموعہ ہے۔ کیونکہ ہر کوئی زیادہ تر وقت درست ہوتا ہے، سگنل سب کے لیے ایک ہی سمت میں اشارہ کرتا ہے، جبکہ شور بے ترتیب طور پر بکھر جاتا ہے۔ انفرادی غلطیاں غیر مربوط سکے کے پلٹنے کی طرح ہیں؛ سچائی کا مشترکہ دانہ جمع ہوتا ہے۔ اکثریتی ووٹنگ صرف شور کو منسوخ کرنے اور سگنل کو جمع کرنے کی ایک مشین ہے — ہجوم کی حکمت کے پیچھے یہی ریاضی ہے، جو بعد میں 787 منصفین کو اجتماعی طور پر مویشیوں کے ماہرین سے بہتر فیصلہ کرنے میں مدد دے گی گالٹن کے بیل کے تجربے میں، جو تخمینوں کے بجائے ووٹوں پر لاگو کیا گیا۔

اعداد و شمار: اکثریت کتنی جلدی سمجھدار ہوتی ہے

یہ تھیورم کی طاقت کو ٹھوس اعداد و شمار کے ساتھ محسوس کرنا سب سے آسان ہے۔ فرض کریں کہ ہر شخص آزادانہ طور پر ایک بائنری سوال کا صحیح جواب 60% وقت دیتا ہے — معقول لیکن ماہر سے دور۔ اکثریت کے صحیح جواب دینے کی احتمال:

60% کالم کو نیچے کی طرف پڑھیں: تین لوگ ایک پر بہت کم بہتری لاتے ہیں؛ گیارہ لوگ معنی خیز طور پر بہتر ہیں؛ ایک سو ایک لوگ 97.9% وقت درست ہوتے ہیں؛ پانچ سو ایک لوگ عملی طور پر غلطی سے پاک ہیں۔ انفرادی قابلیت کی ایک جھلک — 51% کالم — بے حد بڑھتی ہے: 101 کے گروپ کے لیے تقریباً 58%، ایک ہزار ووٹروں پر تقریباً 74%، اور دس ہزار پر تقریباً 98%۔ اوسط انفرادی فیصلہ، صحیح طور پر جمع کیا گیا، بہترین اجتماعی فیصلہ پیدا کرتا ہے۔ یہ تھیورم کا خوش امید چہرہ ہے۔

سیاہ جڑواں: جب p ایک نصف سے کم ہو

اب 45% کالم پڑھیں۔ وہی ریاضی جو قابل لوگوں کے ہجوم کو تقریباً غلطی سے پاک بناتا ہے، نااہل لوگوں کے ہجوم کو تقریباً یقینی طور پر غلط بناتا ہے۔ اگر ہر فرد صرف 45% وقت درست ہے — اس خاص سوال پر نظامی طور پر گمراہ — تو 101 کی اکثریت صرف 15.6% وقت درست ہے، اور 501 کی اکثریت تقریباً 1.2% وقت درست ہے۔ جمع غلط فیصلے کو صاف نہیں کرتی؛ یہ اسے مرکوز کرتی ہے۔ ایک بڑا گروپ جو ایک نظامی غلط فہمی کو شیئر کرتا ہے، اپنے کسی بھی رکن سے زیادہ خود اعتمادی سے غلط ہوگا۔

یہ تھیورم کا وہ حصہ ہے جو شاذ و نادر ہی ہجوم کی حکمت کی تقریبات میں شامل ہوتا ہے، اور اس میں ایک تیز عملی کنارہ ہے۔ چاہے کسی گروپ کا سائز ایک اثاثہ ہو یا ایک ذمہ داری، یہ مکمل طور پر اس بات پر منحصر ہے کہ اس کے اراکین اس سوال کے لیے 50% لائن کے کس طرف بیٹھتے ہیں — یہی وجہ ہے کہ غلط معلومات، اور وہ میڈیا کا ماحول جو انفرادی درستگی کو شکل دیتا ہے، اجتماعی فیصلہ سازی کے لیے ایک ضمنی مسئلہ نہیں بلکہ مرکزی مسئلہ ہے۔ سائز جو بھی آپ اسے کھلائیں بڑھاتا ہے۔

مفروضات — اور جب وہ ٹوٹتے ہیں تو کیا ہوتا ہے

یہ تھیورم ایک اگر-تو بیان ہے، اور اس کے اطلاق کے بارے میں سب کچھ دلچسپ 'اگر' میں رہتا ہے۔ چار مفروضات نتیجہ کو لے کر آتے ہیں:

دو اور نصف صدیوں کی تحقیق نے ہر مفروضے کو دباؤ میں ڈالا ہے۔ گروفمن، اوون اور فیلڈ کی 'سچائی کی تلاش میں تیرہ تھیورمز' (تھیوری اور فیصلہ، 1983) نے دکھایا کہ نتیجہ غیر ہم آہنگ قابلیت کے ساتھ زندہ رہتا ہے — ووٹرز کو ایک جیسی درستگی کی ضرورت نہیں ہے؛ معقول تقسیم کی شرائط کے تحت، ایک اوسط درستگی ایک نصف سے اوپر کافی ہے۔ کرشنا لدھا (1992) نے باہمی تعلق کا سامنا کیا اور پایا کہ باہمی ووٹ کمزور کرتے ہیں بغیر ہمیشہ اسے تباہ کیے: ایک باہمی ہجوم کا مؤثر سائز اس کی تعداد سے چھوٹا ہے، کیونکہ کاپی کیے گئے ووٹ شور کی تقسیم کو بڑھاتے ہیں نہ کہ نئی معلومات کو۔

عملی طور پر، آزادی وہ مفروضہ ہے جو پہلے اور سختی سے ٹوٹتا ہے۔ جب ابتدائی آراء نظر آتی ہیں، تو بعد کے ووٹر منطقی طور پر اپنی معلومات کو کم کرتے ہیں اور پیروی کرتے ہیں — ایک معلوماتی کیسیڈ — اور جب ہر کوئی ایک ہی چند ذرائع سے معلومات حاصل کرتا ہے، تو ووٹ بغیر کسی کی نقل کیے بھی باہمی تعلق رکھتے ہیں۔ ایک ملین ووٹرز جو ایک ہی فیڈ پڑھتے ہیں تقریباً چند آزاد لوگوں کے معلوماتی وزن کو اٹھا سکتے ہیں۔ یہ تھیورم خوبصورتی سے ناکام نہیں ہوتا؛ یہ خاموشی سے ناکام ہوتا ہے، جبکہ گروپ اب بھی محسوس کرتا ہے کہ یہ ایک بڑا، پراعتماد اکثریت ہے۔

چکر: پارادوکس جو کانڈورسیٹ نے بھی پایا

اسی 1785 ایسی سورل میں ایک دوسرا، زیادہ پریشان کن انکشاف موجود ہے۔ تین یا زیادہ اختیارات کے ساتھ، اکثریتی ترجیحات چکر لگا سکتی ہیں: ایک گروپ A کو B پر، B کو C پر، اور پھر C کو A پر ترجیح دے سکتا ہے، حالانکہ ہر فرد کی ترجیحات بالکل مستقل ہیں۔ یہ کانڈورسیٹ کا پارادوکس یہ ظاہر کرتا ہے کہ 'اکثریت کی مرضی' ایک مربوط درجہ بندی کے طور پر موجود نہیں ہو سکتی — کون سا اختیار جیتتا ہے یہ ووٹ لینے کے ترتیب پر منحصر ہو سکتا ہے۔

یہ اکثریتی اصول میں دراڑ ایک پورے میدان کی بنیاد بن گئی۔ 1951 میں، کینتھ ایرو نے اسے اپنے ناممکنیت کے تھیورم میں عمومی شکل دی: کوئی درجہ بندی پر مبنی ووٹنگ کا نظام ایک مختصر فہرست کے معقول انصاف کی شرائط کو بیک وقت پورا نہیں کر سکتا۔ سماجی انتخاب کا نظریہ — ووٹنگ کے نظام کس طرح ترجیحات کو جمع کرتے ہیں، جیسا کہ جیوریوں کے فیصلوں کو فیصلے اور مارکیٹوں کے عقائد کو جمع کرنے سے مختلف ہے — ایک موضوع ہے جس پر ہم بعد میں واپس آئیں گے۔ فی الحال، عملی اخلاق: جیوری کا تھیورم ان حقائق کے سوالات پر چمکتا ہے جن کے صحیح جوابات ہوتے ہیں؛ جیسے ہی فیصلہ متضاد اقدار کے بارے میں ہوتا ہے نہ کہ متضاد حقائق کے بارے میں، مختلف مشینری (اور مختلف ریاضی) لاگو ہوتی ہے۔

240 سال کی اطلاقات

اٹھارہویں صدی کی پروبیلیٹی کے ایک ٹکڑے کے لیے، یہ تھیورم حیرت انگیز طور پر اچھی طرح سے عمر رسیدہ ہے:

مشین لرننگ کی درخواست کو دوبارہ دیکھنے کی ضرورت ہے، کیونکہ یہ تھیورم کو ایک انجینئرنگ خاکہ کے طور پر کام کرتے ہوئے دکھاتی ہے نہ کہ ایک استعارہ کے طور پر۔ ایک رینڈم فورسٹ جان بوجھ کر ہر درخت کو ڈیٹا اور خصوصیات کے ایک رینڈم ذیلی نمونہ پر تربیت دیتا ہے — کسی ایک درخت کو بہتر بنانے کے لیے نہیں (یہ انہیں بدتر بناتا ہے)، بلکہ ان کی غلطیوں کو کم باہمی تعلق بناتا ہے۔ کمزور افراد کو آزادی خریدنے کے لیے قبول کرنا بالکل وہی تجارت ہے جو جیوری کا تھیورم تجویز کرتا ہے، اور اینسمبل کی درستگی اس کا انعام ہے۔ ڈی اے او حکمرانی کے طریقہ کار کو ڈیزائن کرنے والی ٹیمیں اسی ڈیزائن کے مسئلے کا سامنا کرتی ہیں: ٹوکن وزنی ووٹنگ اثر و رسوخ کو مرکوز کرتی ہے، اور عوامی طور پر نظر آنے والے چلتے ہوئے ٹالیاں ہیرنگ کی دعوت دیتی ہیں — دونوں ہی مؤثر جیوری کو کم کرتے ہیں۔

یہ تھیورم کیا نہیں کر سکتا — اور ووٹ سے پہلے کیا ہونا چاہیے

جیوری کا تھیورم ایک فیصلے کی زندگی میں ایک لمحے کی حکومت کرتا ہے: جمع کرنے کا مرحلہ، جب انفرادی فیصلے ایک اجتماعی فیصلہ بن جاتے ہیں۔ یہ اوپر کی طرف سب کچھ خاموش ہے — سوال کس طرح ترتیب دیا گیا، کون سے اختیارات بیلٹ پر پہنچے، ووٹروں نے کون سی معلومات دیکھی — اور نیچے کی طرف سب کچھ۔ ایک بدصورت سوال پر مکمل طور پر جمع کردہ ووٹ ایک غلط مسئلے کا بہترین جواب دیتا ہے۔

یہ بھی، ڈیزائن کے لحاظ سے، وجوہات کو خارج کرتا ہے۔ ایک ووٹ ریکارڈ کرتا ہے کہ چالیس لوگوں نے آپشن A کو ترجیح دی، کبھی کیوں — اس لیے اقلیت کا سب سے مضبوط اعتراض غائب ہو جاتا ہے، اکثریت کی دلیل بعد میں آڈٹ نہیں کی جا سکتی، اور گروپ اگلی فیصلہ کے لیے کچھ بھی منتقل نہیں کرتا۔ یہ وہ جگہ ہے جہاں ساختی غور و فکر جمع کرنے کی تکمیل کرتا ہے نہ کہ اس کے ساتھ مقابلہ کرتا ہے۔ اچھی طرح سے کی جانے والی تعاون پر مبنی فیصلہ سازی میں، گروپ پہلے آزادانہ طور پر دلائل کو سامنے لاتا ہے — تھیورم کی ضرورت کے مطابق آزادی کو محفوظ رکھتا ہے — پھر انہیں کھلے عام جانچتا ہے، اور صرف پھر ایک جگہ پر آتا ہے۔

آرگومنٹری بالکل اسی ترتیب کے گرد بنایا گیا ہے۔ شرکاء آزادانہ اور غیر متوقع طور پر حق میں اور مخالفت میں دلائل فراہم کرتے ہیں، اس سے پہلے کہ کوئی بھی کمرے کو لنگر انداز کرے — تھیورم کے بنیادی مفروضے کی حفاظت۔ ہر دلیل کو پھر واضح جہتوں (مدد، وضاحت، درستگی، مکمل ہونے) پر درجہ بند کیا جاتا ہے، اور درجہ بندیاں اتفاق رائے کے اسکور میں جمع ہوتی ہیں: کانڈورسیٹ کی غلطی منسوخی کی ریاضی، جو وجوہات کے معیار پر لاگو ہوتی ہے نہ کہ صرف ووٹوں کی تعداد پر۔ اور ایک بیلٹ باکس کے برعکس، مکمل دلیل کا درخت اور آڈٹ ٹریل یہ محفوظ کرتا ہے کہ گروپ نے کیوں فیصلہ کیا — تاکہ فیصلہ کو وضاحت، دوبارہ دیکھنے، اور سیکھنے کے لیے واپس لایا جا سکے۔ مارکِس نے اکثریت پر اعتماد کرنے کے لیے ریاضی فراہم کی؛ دو سو چالیس سال بعد، باقی کام یہ یقینی بنانا ہے کہ اکثریت کا فیصلہ آزاد، باخبر، اور ریکارڈ پر ہو۔