Hunter Snevily
ہنٹر اسنیلی (1956-2013) ایک امریکی ریاضی دان تھا جس نے سیٹ تھیوری، گراف تھیوری، ڈسکریٹ جیومیٹری، اور انٹیجرز پر رمسی تھیوری میں مہارت اور تعاون حاصل کیا۔ تعلیم اور کیریئر ہنٹر نے 1981 میں ایموری یونیورسٹی سے انڈرگریجویٹ کی ڈگری حاصل کی، اور 1991 میں ڈگلس ویسٹ کی نگرانی میں یونیورسٹی آف الینوائے اربانا شیمپین سے پی ایچ ڈی کی ڈگری حاصل کی۔ کیلٹیک میں پوسٹ ڈاکٹریٹ فیلوشپ کے بعد، جہاں انہوں نے بہت سے طلباء کی رہنمائی کی، ہنٹر نے 1993 میں یونیورسٹی آف ایڈاہو میں فیکلٹی کا عہدہ سنبھالا جہاں وہ 2010 تک پروفیسر رہے۔ وہ پارکنسنز کے ساتھ لڑتے ہوئے جلد ہی ریٹائر ہو گئے، لیکن اپنے آخری دنوں تک ریاضی پر تحقیق جاری رکھی۔ ریاضی کی تحقیق ہنٹر کی کچھ سب سے اہم شراکتیں درج ذیل ہیں (جیسا کہ اس میں بحث کی گئی ہے): ہنٹر نے ایک قیاس (1991) وضع کیا جس میں انٹرسیکشن کی رکاوٹوں کے تحت سیٹوں کے خاندان کے سائز کو پابند کیا گیا۔ انہوں نے قیاس کیا کہ اگر مثبت عددوں کا ایک مجموعہ ہے اور جب بھی، تب اطمینان بخش سیٹ کے ذیلی مجموعوں کا ایک خاندان ہے۔ ان کا قیاس اس طرح سے مہتواکانکشی تھا کہ یہ نیکولاس گوورٹ ڈی بروجن اور پال ایرڈس (1948)، بوس (1949)، مجومدار (1953)، ایچ جے رائسر (1968)، فرینکل اینڈ فریڈی (1981)، اور فرینکل اینڈ ولسن (1981) کے کلاسیکی نتائج کو خوبصورتی سے متحد کرے گا۔ ہنٹر نے بالآخر 2003 میں اپنے قیاس کو ثابت کیا کہ ہنٹر نے معروف چوتال کے قیاس (1974) میں اہم شراکت کی جس میں کہا گیا ہے کہ سیٹوں کے ہر موروثی خاندان کا ایک سب سے بڑا چوراہوں والا ذیلی خاندان ہوتا ہے جو ایک مشترکہ عنصر والے سیٹوں پر مشتمل ہوتا ہے۔ Schönheim نے یہ ثابت کیا جب کے زیادہ سے زیادہ اراکین میں ایک مشترکہ عنصر ہوتا ہے۔ واسک چوتال نے اسے اس وقت ثابت کیا جب عناصر پر ایک لکیری ترتیب ہوتی ہے جس کا مطلب ہے کہ کب کے لیے۔ ایک خاندان ایک غالب عنصر کے طور پر ہوتا ہے اگر کسی رکن کے کسی بھی عنصر کو اس پر مشتمل نہ ہونے کی وجہ سے دوسرے رکن کی پیداوار میں تبدیل کیا جائے۔ ہنٹر کے 1992 کے نتیجے نے شونہیم کے نتیجے اور چوتال کے نتیجے دونوں کو ایک غالب عنصر رکھنے والے تمام خاندانوں کے قیاس کو ثابت کرکے بہت مضبوط کیا۔ یہ مسئلہ پر بڑی پیشرفت تھی۔ ان کے سب سے زیادہ حوالہ شدہ کاغذات میں سے ایک گراف پیبلنگ پر لیئر پیچر اور بل ووکسمین کے ساتھ ہے۔ اس مقالے اور فوسٹر کے ساتھ ہنٹر کے بعد کے مقالے میں اس موضوع پر کئی قیاس آرائیاں شامل کی گئیں اور مل کر 50 سے زیادہ کاغذات میں ان کا حوالہ دیا گیا ہے۔ ہنٹر نے اسنیک ان دی باکس کے مسئلے اور گراف کی گریس فل لیبلنگ پر اہم تعاون کیا۔ ہنٹر کے قیاس آرائیوں میں سے ایک (1999) اسنیلی کے قیاس آرائی کے نام سے جانا جاتا ہے: عجیب ترتیب کے ایک ابیلین گروپ کو دیکھتے ہوئے، اور سبسیٹس اور کے، اس طرح کے الگ الگ ترتیب موجود ہیں۔ نوگا الون نے پرائم آرڈر کے چکور گروہوں کے لیے یہ ثابت کیا۔ داس گپتا اور دیگر۔ (2001)۔ اسے تمام چکور گروہوں کے لیے ثابت کیا۔ آخر کار، ایک دہائی کے بعد، ایک نوجوان ریاضی دان آرسووسکی نے تمام گروہوں کے لیے اس قیاس کو ثابت کیا۔ ٹیرنس تاؤ نے اپنی مشہور کتاب ایڈیٹیو کمبینٹوریکس میں اسنیلی کے قیاس آرائی کے لیے ایک حصہ وقف کیا۔ ہنٹر نے اپنے طویل مدتی دوست آندرے کیزی کے ساتھ سب سے زیادہ تعاون کیا۔ ریٹائرمنٹ کے بعد، اس کی تنبیر احمد سے دوستی ہو گئی اور اس نے تجرباتی ریاضی کی کھوج کی جس کے نتیجے میں کئی اشاعتیں ہوئیں حوالہ جات امریکی ریاضی دان 1956 پیدائش 2013 اموات