স্যামসন আব্রামস্কি এবং আমি বাইপ্রোডাক্টস সহ কমপ্যাক্ট বিভাগগুলির প্রুফ তত্ত্ব সম্পর্কে একটি কাগজ লিখেছিলাম।
আব্রামস্কি, এস। ও ডানকান, আর। (2006) "এ বিভাগীয় কোয়ান্টাম লজিক", কম্পিউটার বিজ্ঞানে গাণিতিক কাঠামো 16 (3) 16 10,1017 / S0960129506005275
এই বইয়ের অধ্যায়ে পরে ধারণাগুলি আরও কিছুটা বিকাশ করা হয়েছিল:
ডানকান, রস (২০১০) কোয়ান্টাম কম্পিউটেশন, কেমব্রিজ ইউনিভার্সিটি প্রেস, পিপি 70--134 আরএক্সিভি: 0903.5154v1 এর শব্দার্থক কৌশলগুলিতে "বাইপ্রোডাক্টসের সাথে কমপ্যাক্ট বিভাগের জন্য জেনারালাইজড প্রুফ-নেটস"
পুরো বিশদটি এখানে রয়েছে, তবে সংক্ষিপ্ত সংস্করণটি হ'ল আপনার যুক্তিটি অসঙ্গত, কারণ আপনার প্রতিটি নিহিততার জন্য শূন্য প্রমাণ রয়েছে এবং আপনার বাকী সমস্ত প্রমাণগুলি "ম্যাট্রিক্স" এর সমতুল্য, যেখানে ম্যাট্রিক্স এন্ট্রিগুলি দ্বিপ্রদর্শকের প্রমাণ যুক্তির ফ্রি অংশ। এই সুনির্দিষ্ট করার জন্য প্রয়োজনীয় সতর্কতা ছাড়াই কথা বলার জন্য, প্রমাণগুলির ফলশ্রুতি বিভাগটি হ'ল কয়েকটি বিভাগের ফ্রি বাইপ্রোডাক্ট বিভাগ।