অ্যাবস্ট্রাক্ট: অ্যাবস্ট্রাক্ট স্টেবিলাইজার সিমুলেশনের মাধ্যমে কোয়ান্টাম সার্কিটগুলির বিশ্লেষণ

[1] ড্যানিয়েল গোটেসম্যান। "কোয়ান্টাম কম্পিউটারের হাইজেনবার্গ প্রতিনিধিত্ব"। প্রযুক্তিগত প্রতিবেদন arXiv:quant-ph/​9807006। arXiv (1998)।
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​9807006
আরএক্সিভ: কোয়ান্ট-পিএইচ / 9807006

[2] স্কট অ্যারনসন এবং ড্যানিয়েল গোটেসম্যান। "স্ট্যাবিলাইজার সার্কিটগুলির উন্নত সিমুলেশন"। শারীরিক পর্যালোচনা A 70, 052328 (2004)।
https: / / doi.org/ 10.1103 / ফিজারিভা 70.052328

[3] রবার্ট র্যান্ড, আরতি সুন্দরম, কার্তিক সিংগাল এবং ব্র্যাড ল্যাকি। "ক্লিফোর্ড গোষ্ঠীর বাইরে গোটেসম্যান প্রকারগুলিকে প্রসারিত করা"। কোয়ান্টাম কম্পিউটিং (PLanQC 2021) এর জন্য প্রোগ্রামিং ভাষার উপর দ্বিতীয় আন্তর্জাতিক কর্মশালায়। (2021)। url: https://​pldi21.sigplan.org/​details/​planqc-2021-papers/​9/​Extending-Gottesman-Types-Beyond-the-Clifford-Group.
https://​pldi21.sigplan.org/​details/​planqc-2021-papers/​9/Extending-Gottesman-Types-Beyond-the-Clifford-Group

[4] আলেক্স কিসিঞ্জার এবং জন ভ্যান ডি ওয়েটারিং। "জেডএক্স-ক্যালকুলাস সহ কোয়ান্টাম সার্কিট সিমুলেট করা স্টেবিলাইজারের পচন হ্রাস করে"। কোয়ান্টাম বিজ্ঞান ও প্রযুক্তি 7, 044001 (2022)।
https:/​/​doi.org/​10.1088/​2058-9565/​ac5d20

[5] সের্গেই ব্রাভি, ড্যান ব্রাউন, প্যাড্রিক ক্যালপিন, আর্ল ক্যাম্পবেল, ডেভিড গোসেট এবং মার্ক হাওয়ার্ড। "নিম্ন-র্যাঙ্ক স্টেবিলাইজার পচন দ্বারা কোয়ান্টাম সার্কিটের সিমুলেশন"। কোয়ান্টাম 3, 181 (2019)।
https:/​/​doi.org/​10.22331/​q-2019-09-02-181

[6] হাকপ পাশায়ান, অলিভার রিয়ার্ডন-স্মিথ, কামিল কোরজেকওয়া এবং স্টিফেন ডি. বার্টলেট। "কোয়ান্টাম সার্কিটগুলির জন্য ফলাফলের সম্ভাব্যতার দ্রুত অনুমান"। PRX কোয়ান্টাম 3, 020361 (2022)।
https://​doi.org/​10.1103/​PRXQuantum.3.020361

[7] "আংশিক এবং গ্রাফিকাল স্টেবিলাইজার পচন সহ কোয়ান্টাম সার্কিটের শাস্ত্রীয় সিমুলেশন"। Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)।
https://​/​doi.org/​10.4230/​LIPICS.TQC.2022.5

[8] প্যাট্রিক কুসোট এবং রাধিয়া কুসোট। "অ্যাবস্ট্রাক্ট ইন্টারপ্রিটেশন: কনস্ট্রাকশন বা ফিক্সপয়েন্টের আনুমানিকতা দ্বারা প্রোগ্রামগুলির স্ট্যাটিক বিশ্লেষণের জন্য একটি ইউনিফাইড ল্যাটিস মডেল"। প্রোগ্রামিং ভাষার নীতির উপর 4 র্থ ACM SIGACT-SIGPLAN সিম্পোজিয়ামের কার্যক্রমে। পৃষ্ঠা 238-252। POPL '77New York, NY, USA (1977)। এসিএম
https: / / doi.org/ 10.1145 / 512950.512973

[9] প্যাট্রিক কুসোট এবং রাধিয়া কুসোট। "বিমূর্ত ব্যাখ্যা কাঠামো"। জার্নাল অফ লজিক অ্যান্ড কম্পিউটেশন 2, 511–547 (1992)।
https://​/​doi.org/​10.1093/​logcom/​2.4.511

[10] ব্রুনো ব্ল্যাঞ্চেট, প্যাট্রিক কুসোট, রাধিয়া কুসোট, জেরোম ফেরেট, লরেন্ট মাউবোর্গনে, অ্যান্টোইন মিনি, ডেভিড মননিয়াক্স এবং জেভিয়ার প্রতিদ্বন্দ্বী। "বৃহৎ নিরাপত্তা-সমালোচনামূলক সফ্টওয়্যারের জন্য একটি স্ট্যাটিক বিশ্লেষক"। ACM SIGPLAN নোটিশ 38, 196–207 (2003)।
https: / / doi.org/ 10.1145 / 780822.781153

[11] ফ্রান্সেস্কো লোগোজো এবং ম্যানুয়েল ফাহনড্রিচ। "পেন্টাগন: অ্যারে অ্যাক্সেসের দক্ষ বৈধতার জন্য একটি দুর্বলভাবে সম্পর্কযুক্ত বিমূর্ত ডোমেন"। কম্পিউটার প্রোগ্রামিং বিজ্ঞান 75, 796–807 (2010)।
https://​/​doi.org/​10.1016/​j.scico.2009.04.004

[12] টিমন গেহর, ম্যাথিউ মিরম্যান, ডানা ড্রাচসলার-কোহেন, পেটার সানকভ, স্বরাত চৌধুরী এবং মার্টিন ভেচেভ। "AI2: বিমূর্ত ব্যাখ্যা সহ নিউরাল নেটওয়ার্কের নিরাপত্তা এবং দৃঢ়তা সার্টিফিকেশন"। 2018 সালে IEEE সিম্পোজিয়াম অন সিকিউরিটি অ্যান্ড প্রাইভেসি (SP)। পৃষ্ঠা 3-18। সান ফ্রান্সিসকো, CA (2018)। আইইইই।
https://​doi.org/​10.1109/​SP.2018.00058

[13] মাইকেল এ. নিলসেন এবং আইজ্যাক এল চুয়াং। "কোয়ান্টাম গণনা এবং কোয়ান্টাম তথ্য: 10 তম বার্ষিকী সংস্করণ"। ক্যামব্রিজ ইউনিভার্সিটি প্রেস. (2010)।
https: / / doi.org/ 10.1017 / CBO9780511976667

[14] গাদি আলেকসান্দ্রোভিজ, থমাস আলেকজান্ডার, প্যানাগিওটিস বারকাউটসোস, লুসিয়ানো বেলো, ইয়ায়েল বেন-হাইম, ডেভিড বুচার, ফ্রান্সিসকো হোসে ক্যাব্রেরা-হার্নান্দেজ, জর্জে কার্বালো-ফ্রাঙ্কিস, আদ্রিয়ান চেন, চুন-ফু চেন, জেরি এম চৌ, আন্তোনিও কোজালেস ডি। , আবিগেল জে ক্রস, অ্যান্ড্রু ক্রস, জুয়ান ক্রুজ-বেনিটো, ক্রিস কালভার, সালভাদর দে লা পুয়েন্তে গনজালেজ, এনরিক দে লা টোরে, ডেল্টন ডিং, ইউজিন ডুমিত্রেস্কু, ইভান ডুরান, পিটার এন্ডেবাক, মার্ক এভারিট, ইসমায়েল ফারো আল সার্টেজ, আন্দ্রেয়াস ফুহরার, জে গাম্বেটা, বোর্জা গডয় গাগো, জুয়ান গোমেজ-মসকেরা, ডনি গ্রিনবার্গ, ইক্কো হামামুরা, ভোজটেক হ্যাভলিসেক, জো হেলমারস, লুকাস হেরোক, হিরোশি হোরি, শাওহান হু, তাকাশি ইমামিচি, তোশিনারি ইতোকো, কানভাজ, আলি-আলি, জাভারি আন্তন কারাজিভ, কেভিন ক্রসুলিচ, পেং লিউ, ইয়াং লুহ, ইউনহো মায়েং, ম্যানোয়েল মার্কেস, ফ্রান্সিসকো হোসে মার্টিন-ফার্নান্দেজ, ডগলাস টি. ম্যাকক্লুর, ডেভিড ম্যাককে, স্রুজান মিসালা, আন্তোনিও মেজাকাপো, নিকোলজ মোল, ডিয়েগোমিনিনি, নিকোলাজ মল, ডিয়েগোমিনি, ন্যাঙ্কোরিনি, নিকোলাজ। , Pauline Ollitrault, Lee James O'Riordan, Hanhee Paik, Jesús Pérez, Anna Phan, Marco Pistoia, Viktor Prutyanov, Max Reuter, Julia Rice, Abdon Rodríguez Davila, Raymond Harry Putra Rudy, Mingi Ryu, Ninad Sathaye, Chrisd Sathaye Schoute, Kanav Setia, Yunong Shi, Adenilton Silva, Yukio Siraichi, Seyon Sivarajah, John A. Smolin, Mathias Soeken, Hitomi Takahashi, Ivano Tavernelli, Charles Taylor, Pete Taylour, Kenso Trabing, Matthew Treinish, Wesree Vogt-Turner , Christophe Vuillot, Jonathan A. Wildstrom, Jessica Wilson, Erick Winston, Christopher Wood, Stephen Wood, Stefan Wörner, Ismail Yunus Akhalwaya, and Christa Zoufal. "কিস্কিট: কোয়ান্টাম কম্পিউটিং এর জন্য একটি ওপেন সোর্স ফ্রেমওয়ার্ক" (2019)।

[15] চার্লস আর. হ্যারিস, কে. জ্যারড মিলম্যান, স্টেফান জে. ভ্যান ডের ওয়াল্ট, রাল্ফ গোমারস, পাওলি ভারটানেন, ডেভিড কোর্নাপেউ, এরিক উইজার, জুলিয়ান টেলর, সেবাস্টিয়ান বার্গ, নাথানিয়েল জে. স্মিথ, রবার্ট কার্ন, ম্যাটি পিকাস, স্টেফান হোয়ার, মার্টেন এইচ ভ্যান কারকউইক, ম্যাথিউ ব্রেট, অ্যালান হ্যালডেন, জাইম ফার্নান্দেজ ডেল রিও, মার্ক উইবে, পিয়ারু পিটারসন, পিয়ের জেরার্ড-মার্চ্যান্ট, কেভিন শেপার্ড, টাইলার রেড্ডি, ওয়ারেন ওয়েকেসার, হামির আব্বাসি, ক্রিস্টোফ গোহলকে এবং ট্র্যাভিস ই ওলিপহান। "NumPy সহ অ্যারে প্রোগ্রামিং"। প্রকৃতি 585, 357–362 (2020)।
https:/​/​doi.org/​10.1038/​s41586-020-2649-2

[16] সিউ কোয়ান লাম, অ্যান্টোইন পিত্রু এবং স্ট্যানলি সিবার্ট। "Numba: একটি LLVM-ভিত্তিক পাইথন JIT কম্পাইলার"। এইচপিসি-তে এলএলভিএম কম্পাইলার পরিকাঠামোর উপর দ্বিতীয় কর্মশালার কার্যপ্রণালীতে। পৃষ্ঠা 1-6। LLVM '15New York, NY, USA (2015)। কম্পিউটিং মেশিনের পরিষদ.
https: / / doi.org/ 10.1145 / 2833157.2833162

[17] ক্রেগ গডনি। "স্টিম: একটি দ্রুত স্টেবিলাইজার সার্কিট সিমুলেটর"। কোয়ান্টাম 5, 497 (2021)।
https:/​/​doi.org/​10.22331/​q-2021-07-06-497

[18] হেনরি এস ওয়ারেন। "হ্যাকারের আনন্দ"। অ্যাডিসন-ওয়েসলি প্রফেশনাল। (2012)। ২য় সংস্করণ।
https: / / doi.org/ 10.5555 / 2462741

[19] আলেক্স কিসিঞ্জার এবং জন ভ্যান ডি ওয়েটারিং। "PyZX: বড় আকারের স্বয়ংক্রিয় ডায়াগ্রামেটিক যুক্তি"। বব কোয়েকে এবং ম্যাথিউ লিফার, সম্পাদক, প্রোসিডিংস 16 তম আন্তর্জাতিক কনফারেন্স অন কোয়ান্টাম ফিজিক্স অ্যান্ড লজিক, চ্যাপম্যান ইউনিভার্সিটি, অরেঞ্জ, সিএ, ইউএসএ।, 10-14 জুন 2019। তাত্ত্বিক কম্পিউটার সায়েন্সে ইলেকট্রনিক প্রসিডিংসের ভলিউম 318, পৃষ্ঠা 229-241। ওপেন পাবলিশিং অ্যাসোসিয়েশন (2020)।
https://​/​doi.org/​10.4204/​EPTCS.318.14

[20] ম্যাথু অ্যামি। "ইউনিভার্সাল কোয়ান্টাম সার্কিটগুলির বৃহৎ-স্কেল কার্যকরী যাচাইকরণের দিকে"। তাত্ত্বিক কম্পিউটার বিজ্ঞানে ইলেকট্রনিক প্রসিডিংস 287, 1–21 (2019)।
https://​/​doi.org/​10.4204/​EPTCS.287.1

[21] নেংকুন ইউ এবং জেনস পালসবার্গ। "কোয়ান্টাম বিমূর্ত ব্যাখ্যা"। 42 তম ACM SIGPLAN ইন্টারন্যাশনাল কনফারেন্স অন প্রোগ্রামিং ল্যাঙ্গুয়েজ ডিজাইন এবং ইমপ্লিমেন্টেশনের কার্যক্রমে। পৃষ্ঠা 542-558। PLDI 2021New York, NY, USA (2021)। কম্পিউটিং মেশিনের পরিষদ.
https: / / doi.org/ 10.1145 / 3453483.3454061

[22] অ্যান্টোইন মিনি। "দুর্বলভাবে রিলেশনাল নিউমেরিক্যাল অ্যাবস্ট্রাক্ট ডোমেন"। পিএইচডি থিসিস (2004)। url: https://​www-apr.lip6.fr/​mine/​these/​these-color.pdf।
https://​/​www-apr.lip6.fr/​~mine/​these/​these-color.pdf

[23] সাইমন পারড্রিক্স। "অ্যাবস্ট্রাক্ট ব্যাখ্যার উপর ভিত্তি করে কোয়ান্টাম এন্টাঙ্গলমেন্ট বিশ্লেষণ"। স্ট্যাটিক বিশ্লেষণে 15 তম আন্তর্জাতিক সিম্পোজিয়ামের কার্যপ্রণালীতে। পৃষ্ঠা 270-282। SAS '08 বার্লিন, হাইডেলবার্গ (2008)। স্প্রিংগার-ভারলাগ।
https:/​/​doi.org/​10.1007/​978-3-540-69166-2_18

[24] কেনতারো হোন্ডা। "স্ট্যাবিলাইজার ফর্মালিজম ব্যবহার করে কোয়ান্টাম প্রোগ্রামে কোয়ান্টাম এন্ট্যাঙ্গলমেন্টের বিশ্লেষণ"। তাত্ত্বিক কম্পিউটার বিজ্ঞান 195 (2015) এর বৈদ্যুতিন কার্যধারা।
https://​/​doi.org/​10.4204/​EPTCS.195.19

[25] কেশা হিয়েতলা, রবার্ট র্যান্ড, শিহ-হান হাং, লিই লি, এবং মাইকেল হিকস। "কোয়ান্টাম প্রোগ্রাম সঠিক প্রমাণ করা"। লাইবনিজ ইন্টারন্যাশনাল প্রসিডিংস ইন ইনফরমেটিক্স (LIPIcs) 193, 21:1–21:19 (2021)।
https://​/​doi.org/​10.4230/​LIPIcs.ITP.2021.21

[26] ক্রিস্টোফ চ্যারেটন, সেবাস্টিয়ান বার্ডিন, ফ্রাঁসোয়া বোবট, ভ্যালেন্টিন পেরেল এবং বেনোইট ভ্যালিরন। "সার্কিট-বিল্ডিং কোয়ান্টাম প্রোগ্রামগুলির জন্য একটি স্বয়ংক্রিয় কর্তনমূলক যাচাইকরণ কাঠামো"। প্রোগ্রামিং ভাষা এবং সিস্টেমে। পৃষ্ঠা 148-177। স্প্রিংগার ইন্টারন্যাশনাল পাবলিশিং (2021)।
https:/​/​doi.org/​10.1007/​978-3-030-72019-3_6

[27] মিংশেং ইং, শেংগাং ইং এবং জিয়াওদি উ। "কোয়ান্টাম প্রোগ্রামের পরিবর্তন: চরিত্রায়ন এবং প্রজন্ম"। সিগপ্ল্যান নয়। 52, 818–832 (2017)।
https: / / doi.org/ 10.1145 / 3093333.3009840