Decomposing random mechanisms

مکانیزم های تصادفی در شرایط زندگی واقعی به دلایلی چون عدالت استفاده شده است. رای دادن و تطبیق دو مثال از چنین شرایطی است. ما بررسی می کنیم که آیا خواص مطلوب یک مکانیزم تصادفی، تجزیه مکانیسم به عنوان یک قرعه کشی بر مکانیزم های قطعی است که چنین خصوصیاتی را نیز حفظ می کنند. برای این منظور، ما ویژگی هایی از مکانیزم ها را نشان می دهیم مانند استنتاج ردیف عددی یا عقلانیت فردی - با استفاده از محدودیت های خطی. با استفاده از تئوری ماتریسهای کاملا غیرمجاز از برنامه نویسی عدد صحیح ترکیبی، ما نشان می دهیم که غیرممور بودن کامل، یک شرط کافی برای تجزیه پذیری محدودیت های خطی بر مکانیزم های تصادفی است. به عنوان مثال دو مثال نشان می دهد که عقلانیت فردی به طور کلی کاملا غیرمولدور است و استدلال استراتژی در برخی از مدل های انتخاب فردی کاملا غیرمولد است. ما همچنین دومین رویکرد سازنده برای مشکلات تجزیه و تحلیل را نشان می دهیم و اثبات می کنیم که امکان پذیری، استقرار استقلال و یکپارچگی، بدون واسطه و بدون ناشناسی، در حوزه های رأی گیری غیر داکتطلبانه در یک رأی گیری مجزا قرار دارند. مهمتر از همه، ما معتقدیم که استقرار استراتژی در برخی از مشکلات طبیعی تقسیم نشده است.