LIMDD: A Decision Diagram For Simulation Of Quantum Computing Including Stabilizer States

افلاطون کے ذریعہ دوبارہ شائع کیا گیا۔

فالونگ: 0

Lieuwe Vinkhuijzen¹, ٹم کوپ مینز^1,2, ڈیوڈ ایلکوس^2,3, ویدران ڈنجکو¹، اور الفونس لارمین¹

¹لیڈین یونیورسٹی، نیدرلینڈز
²ڈیلفٹ یونیورسٹی آف ٹیکنالوجی، نیدرلینڈز
³نیٹ ورکڈ کوانٹم ڈیوائسز یونٹ، اوکیناوا انسٹی ٹیوٹ آف سائنس اینڈ ٹیکنالوجی گریجویٹ یونیورسٹی، اوکیناوا، جاپان

اس کاغذ کو دلچسپ لگتا ہے یا اس پر بات کرنا چاہتے ہیں؟ SciRate پر تبصرہ کریں یا چھوڑیں۔.

خلاصہ

کوانٹم سرکٹس کی اصلاح کے لیے کوانٹم سٹیٹس اور کوانٹم آپریشنز کی نمائندگی اور تخروپن کے موثر طریقے بہت اہم ہیں۔ فیصلہ کن خاکے (DDs)، ایک اچھی طرح سے مطالعہ شدہ ڈیٹا ڈھانچہ جو اصل میں بولین فنکشنز کی نمائندگی کے لیے استعمال ہوتا ہے، کوانٹم سسٹمز کے متعلقہ پہلوؤں کو گرفت میں لینے کے قابل ثابت ہوئے ہیں، لیکن ان کی حدود کو اچھی طرح سے سمجھا نہیں گیا ہے۔ اس کام میں، ہم موجودہ ڈی ڈی پر مبنی ڈھانچے اور اسٹیبلائزر فارملزم کے درمیان خلا کی چھان بین کرتے ہیں اور اسے پُر کرتے ہیں، جو کہ قابل عمل نظام میں کوانٹم سرکٹس کی تقلید کا ایک اہم ذریعہ ہے۔ ہم سب سے پہلے یہ ظاہر کرتے ہیں کہ اگرچہ DDs کو مختصر طور پر اہم کوانٹم ریاستوں کی نمائندگی کرنے کا مشورہ دیا گیا تھا، لیکن انہیں درحقیقت بعض سٹیبلائزر ریاستوں کے لیے ایکسپونینشل اسپیس کی ضرورت ہوتی ہے۔ اس کے تدارک کے لیے، ہم ایک زیادہ طاقتور فیصلہ کن خاکہ پیش کرتے ہیں، جسے لوکل انورٹیبل میپ-DD (LIMDD) کہا جاتا ہے۔ ہم ثابت کرتے ہیں کہ کوانٹم ریاستوں کا مجموعہ جس کی نمائندگی پولی سائز LIMDDs کے ذریعے کی جاتی ہے سختی سے اسٹیبلائزر ریاستوں اور دیگر فیصلہ کن خاکوں کی مختلف حالتوں پر مشتمل ہوتی ہے۔ آخر میں، ایسے سرکٹس موجود ہیں جنہیں LIMDDs مؤثر طریقے سے نقل کر سکتے ہیں، جبکہ ان کی آؤٹ پٹ سٹیٹس کو دو جدید ترین سمولیشن پیراڈائمز کے ذریعے مختصر طور پر پیش نہیں کیا جا سکتا: کلیفورڈ + $T$ سرکٹس اور میٹرکس پروڈکٹ سٹیٹس کے لیے سٹیبلائزر سڑنے کی تکنیک۔ دو کامیاب طریقوں کو یکجا کرکے، LIMDDs اس طرح کوانٹم کمپیوٹنگ کے تخروپن اور تجزیہ کے لیے بنیادی طور پر زیادہ طاقتور حل کے لیے راہ ہموار کرتے ہیں۔

LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States PlatoBlockchain Data Intelligence. Vertical Search. Ai.

نمایاں تصویر: بائیں: کوانٹم ریاستوں کے سیٹ کا وین ڈایاگرام جس کی مؤثر طریقے سے LIMDDs اور کئی دیگر رسمیات کے ذریعے نمائندگی کی گئی ہے۔ دائیں: LIMDD کی ایک مثال، جو کہ ایک $3$-qubit کوانٹم حالت کو واضح طور پر ظاہر کرتی ہے۔

► BibTeX ڈیٹا

@article{Vinkhuijzen2023limdddecision, doi = {10.22331/q-2023-09-11-1108}, url = {https://doi.org/10.22331/q-2023-09-11-1108}، عنوان = {LIMD }: {Q}uantum {C}omputing {I} بشمول {S}tabilizer {S}tates}، مصنف = {Vinkhuijzen, Lieuwe and Coopmans, ٹم اور ایلکوس، ڈیوڈ اور ڈنجکو، ویڈران اور لارمین، الفونس}، جرنل = {{کوانٹم}}، issn = {2521-327X}، پبلشر = {{Verein Zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}، جلد = {7}، صفحات = {1108}، مہینہ = ستمبر، سال = {2023} }

► حوالہ جات

ہے [1] ایلون زولہنر اور رابرٹ ویل۔ "ریورسیبل سرکٹس کا ون پاس ڈیزائن: الٹ جانے والی منطق کے لیے سرایت اور ترکیب کا امتزاج"۔ انٹیگریٹڈ سرکٹس اور سسٹمز کے کمپیوٹر ایڈڈ ڈیزائن پر IEEE ٹرانزیکشنز 37، 996–1008 (2017)۔
https://doi.org/10.1109/TCAD.2017.2729468

ہے [2] لوکاس برگولزر اور رابرٹ ویل۔ "کوانٹم سرکٹس کی بہتر ڈی ڈی پر مبنی مساوات کی جانچ"۔ 2020 میں 25 ویں ایشیا اور جنوبی پیسفک ڈیزائن آٹومیشن کانفرنس (ASP-DAC)۔ صفحہ 127-132۔ IEEE (2020)۔
https:///doi.org/10.1109/ASP-DAC47756.2020.9045153

ہے [3] لوکاس برگولزر، رچرڈ کوینگ، اور رابرٹ ویل۔ "کوانٹم سرکٹس کی تصدیق کے لیے بے ترتیب محرک پیدا کرنا"۔ 26 ویں ایشیا اور جنوبی بحر الکاہل ڈیزائن آٹومیشن کانفرنس کی کارروائیوں میں۔ صفحات 767–772۔ (2021)۔
https://doi.org/10.1145/3394885.3431590

ہے [4] لوکاس برگولزر اور رابرٹ ویل۔ "کوانٹم سرکٹس کے لیے اعلی درجے کی مساوات کی جانچ"۔ انٹیگریٹڈ سرکٹس اور سسٹمز 40، 1810–1824 (2020) کے کمپیوٹر ایڈڈ ڈیزائن پر IEEE ٹرانزیکشنز۔
https://doi.org/10.48550/arXiv.2004.08420

ہے [5] جان پریسکل۔ "NISQ دور میں کوانٹم کمپیوٹنگ اور اس سے آگے"۔ کوانٹم 2، 79 (2018)۔
https://doi.org/10.48550/arXiv.1801.00862

ہے [6] ڈینیل گوٹسمین۔ "کوانٹم کمپیوٹرز کی ہائزنبرگ کی نمائندگی" (1998)۔ url: arxiv.org/abs/quant-ph/9807006۔
arXiv:quant-ph/9807006

ہے [7] سکاٹ ایرونسن اور ڈینیئل گوٹسمین۔ "سٹیبلائزر سرکٹس کا بہتر تخروپن"۔ جسمانی جائزہ A 70 (2004)۔
https:///doi.org/10.1103/physreva.70.052328

ہے [8] ڈینیئل گوٹسمین۔ "سٹیبلائزر کوڈز اور کوانٹم غلطی کی اصلاح"۔ پی ایچ ڈی کا مقالہ۔ کیلیفورنیا انسٹی ٹیوٹ آف ٹیکنالوجی۔ (1997)۔
https:///doi.org/10.48550/arXiv.quant-ph/9705052
arXiv:quant-ph/9705052

ہے [9] مارٹن وان ڈین نیسٹ، جیروئن ڈیہانے، اور بارٹ ڈی مور۔ "مقامی وحدانی بمقابلہ مقامی کلفورڈ ایکوئیلنس آف سٹیبلائزر اسٹیٹس"۔ طبیعیات Rev. A 71, 062323 (2005)۔
https:///doi.org/10.1103/PhysRevA.71.062323

ہے [10] میتھیاس انگلبریچٹ اور باربرا کراؤس۔ "اسٹیبلائزر ریاستوں کی ہم آہنگی اور الجھن"۔ طبیعیات Rev. A 101, 062302 (2020)۔
https:///doi.org/10.1103/PhysRevA.101.062302

ہے [11] رابرٹ راسینڈورف اور ہنس جے بریگل۔ "ایک طرفہ کوانٹم کمپیوٹر"۔ طبیعیات Rev. Lett. 86، 5188–5191 (2001)۔
https:///doi.org/10.1103/PhysRevLett.86.5188

ہے [12] سرجی براوی، گریم اسمتھ، اور جان اے سمولین۔ "تجارتی کلاسیکل اور کوانٹم کمپیوٹیشنل وسائل"۔ طبیعیات Rev. X 6, 021043 (2016)۔
https:///doi.org/10.1103/PhysRevX.6.021043

ہے [13] سرجی براوی اور ڈیوڈ گوسیٹ۔ "کلیفورڈ گیٹس کے زیر تسلط کوانٹم سرکٹس کی بہتر کلاسیکی تخروپن"۔ طبیعیات Rev. Lett. 116، 250501 (2016)۔
https:///doi.org/10.1103/PhysRevLett.116.250501

ہے [14] سرجی براوی، ڈین براؤن، پیڈریک کالپین، ارل کیمبل، ڈیوڈ گوسیٹ، اور مارک ہاورڈ۔ "کم درجے کے اسٹیبلائزر کی سڑن کے ذریعے کوانٹم سرکٹس کا تخروپن"۔ کوانٹم 3، 181 (2019)۔
https://doi.org/10.22331/q-2019-09-02-181

ہے [15] ییفی ہوانگ اور پیٹر محبت۔ "تقریبا اسٹیبلائزر رینک اور کلیفورڈ کے زیر تسلط سرکٹس کی کوڈیٹس کے لیے بہتر کمزور تخروپن"۔ طبیعیات Rev. A 99, 052307 (2019)۔
https:///doi.org/10.1103/PhysRevA.99.052307

ہے [16] لوکاس کوسیا اور پیٹر محبت۔ "مجرد وگنر فنکشنز اور کوانٹم سرکٹس کے کلاسیکی تخروپن میں سٹیشنری فیز کا طریقہ"۔ کوانٹم 5، 494 (2021)۔
https://doi.org/10.22331/q-2021-07-05-494

ہے [17] لوکاس کوکیا اور موہن سروور۔ "کوانٹم سرکٹس کا کلاسیکی تخروپن جس میں کم گاوسی ایلیمینیشنز کا استعمال کیا جاتا ہے"۔ جسمانی جائزہ A 103, 022603 (2021)۔
https:///doi.org/10.1103/PhysRevA.103.022603

ہے [18] شیلڈن بی اکرز۔ "بائنری فیصلے کے خاکے"۔ IEEE کمپیوٹر آرکیٹیکچر لیٹرز 27، 509–516 (1978)۔
https://doi.org/10.1109/TC.1978.1675141

ہے [19] رینڈل ای برائنٹ۔ "بولین فنکشن ہیرا پھیری کے لیے گراف پر مبنی الگورتھم"۔ آئی ای ای ای ٹرانس۔ کمپیوٹرز 35، 677–691 (1986)۔
https://doi.org/10.1109/TC.1986.1676819

ہے [20] رینڈل ای برائنٹ اور یرنگ این چن۔ "بائنری لمحے کے خاکوں کے ساتھ ریاضی کے سرکٹس کی تصدیق"۔ 32 ویں ڈیزائن آٹومیشن کانفرنس میں۔ صفحات 535–541۔ IEEE (1995)۔
https://doi.org/10.1109/DAC.1995.250005

ہے [21] GF Viamontes، IL Markov، اور JP Hayes۔ "کوانٹم سرکٹس کی اعلی کارکردگی QuIDD پر مبنی تخروپن"۔ یورپ کانفرنس اور نمائش میں پروسیسنگ ڈیزائن، آٹومیشن اور ٹیسٹ میں۔ جلد 2، صفحہ 1354–1355 والیم 2۔ (2004)۔
https:///doi.org/10.1109/DATE.2004.1269084

ہے [22] RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E. Macii, A. Pardo, and F. Somenzi. "الجبری فیصلے کے خاکے اور ان کے اطلاقات"۔ کمپیوٹر ایڈیڈ ڈیزائن (ICCAD) پر 1993 کی بین الاقوامی کانفرنس کی کارروائی میں۔ صفحات 188-191۔ (1993)۔
https:///doi.org/10.1109/ICCAD.1993.580054

ہے [23] جارج ایف ویامونٹس، ایگور ایل مارکوف، اور جان پی ہیس۔ "کوانٹم سرکٹس کے گیٹ لیول سمولیشن کو بہتر بنانا"۔ کوانٹم انفارمیشن پروسیسنگ 2، 347–380 (2003)۔
https://doi.org/10.1023/B:QINP.0000022725.70000.4a

ہے [24] Masahiro Fujita، Patrick C. McGeer، اور JC-Y Yang۔ "ملٹی ٹرمینل بائنری فیصلہ ڈایاگرام: میٹرکس کی نمائندگی کے لیے ایک موثر ڈیٹا ڈھانچہ"۔ سسٹم ڈیزائن میں رسمی طریقے 10، 149–169 (1997)۔
https://doi.org/10.1023/A:1008647823331

ہے [25] EM کلارک، KL McMillan، X Zhao، M. Fujita، اور J. Yang. "ٹیکنالوجی میپنگ میں ایپلی کیشنز کے ساتھ بڑے بولین فنکشنز کے لیے اسپیکٹرل ٹرانسفارمز"۔ 30 ویں بین الاقوامی ڈیزائن آٹومیشن کانفرنس کی کارروائیوں میں۔ صفحہ 54-60۔ DAC '93New York, NY, USA (1993)۔ ایسوسی ایشن برائے کمپیوٹنگ مشینری۔
https://doi.org/10.1145/157485.164569

ہے [26] سکاٹ سینر اور ڈیوڈ میک الیسٹر۔ "Affine الجبری فیصلہ ڈایاگرام (AADDs) اور ساختی امکانی تخمینہ پر ان کا اطلاق"۔ مصنوعی ذہانت پر 19ویں بین الاقوامی مشترکہ کانفرنس کی کارروائی میں۔ صفحات 1384–1390۔ IJCAI'05San Francisco, CA, USA (2005)۔ Morgan Kaufmann Publishers Inc. url: www.ijcai.org/Proceedings/05/Papers/1439.pdf۔
https:///www.ijcai.org/Proceedings/05/Papers/1439.pdf

ہے [27] ڈی مائیکل ملر اور مچل اے تھورنٹن۔ "کیو ایم ڈی ڈی: ریورس ایبل اور کوانٹم سرکٹس کے لیے ایک فیصلہ ڈایاگرام ڈھانچہ"۔ 36ویں بین الاقوامی سمپوزیم میں کثیر قدر والی منطق (ISMVL'06)۔ صفحہ 30-30۔ IEEE (2006)۔
https://doi.org/10.1109/ISMVL.2006.35

ہے [28] ایلون زولہنر اور رابرٹ ویل۔ "کوانٹم کمپیوٹیشن کا ایڈوانسڈ تخروپن"۔ انٹیگریٹڈ سرکٹس اور سسٹمز 38، 848–859 (2018) کے کمپیوٹر ایڈڈ ڈیزائن پر IEEE ٹرانزیکشنز۔
https://doi.org/10.48550/arXiv.1707.00865

ہے [29] Xin Hong، Xiangzhen Zhou، Sanjiang Li، Yuan Feng، اور Mingsheng Ying. "کوانٹم سرکٹس کی نمائندگی کے لیے ٹینسر نیٹ ورک پر مبنی فیصلہ کا خاکہ"۔ ACM ٹرانس۔ دیس آٹوم الیکٹران۔ سسٹم 27 (2022)۔
https://doi.org/10.1145/3514355

ہے [30] Stefan Hillmich، Richard Kueng، Igor L. Markov، اور Robert Wille۔ "ضرورت کے مطابق درست، ممکنہ حد تک موثر: ڈی ڈی پر مبنی کوانٹم سرکٹ سمولیشن میں تقریباً"۔ یورپ کانفرنس اور نمائش میں ڈیزائن، آٹومیشن اور ٹیسٹ میں، DATE 2021، گرینوبل، فرانس، فروری 1-5، 2021۔ صفحات 188–193۔ IEEE (2021)۔
https:///doi.org/10.23919/DATE51398.2021.9474034

ہے [31] جارج ایف ویامونٹس، ایگور ایل مارکوف، اور جان پی ہیس۔ "کوانٹم سرکٹ سمولیشن"۔ اسپرنگر سائنس اور بزنس میڈیا۔ (2009)۔
https://doi.org/10.1007/978-90-481-3065-8

ہے [32] Xin Hong، Mingsheng Ying، Yuan Feng، Xiangzhen Zhou، اور Sanjiang Li. "شور کوانٹم سرکٹس کی تقریبا برابری کی جانچ"۔ 2021 میں 58ویں ACM/IEEE ڈیزائن آٹومیشن کانفرنس (DAC)۔ صفحات 637–642۔ (2021)۔
https:///doi.org/10.1109/DAC18074.2021.9586214

ہے [33] ہنس جے بریگل اور رابرٹ راسینڈورف۔ "تعامل کرنے والے ذرات کی صفوں میں مستقل الجھن"۔ طبیعیات Rev. Lett. 86، 910-913 (2001)۔
https:///doi.org/10.1103/PhysRevLett.86.910

ہے [34] وولف گینگ ڈور، گیفرے وڈال، اور جے اگناسیو سراک۔ "تین کوبٹس کو دو غیر مساوی طریقوں سے الجھا دیا جا سکتا ہے"۔ جسمانی جائزہ A 62، 062314 (2000)۔
https:///doi.org/10.48550/arXiv.quant-ph/0005115
arXiv:quant-ph/0005115

ہے [35] Eric Chitambar، Debbie Leung، Laura Mančinska، Maris Ozols، اور Andreas Winter۔ "ہر وہ چیز جو آپ ہمیشہ LOCC کے بارے میں جاننا چاہتے تھے (لیکن پوچھنے سے ڈرتے تھے)"۔ ریاضیاتی طبیعیات میں مواصلات 328, 303–326 (2014)۔
https://doi.org/10.48550/arXiv.1210.4583

ہے [36] اسٹیون آر وائٹ۔ "کثافت میٹرکس فارمولیشن برائے کوانٹم ری نارملائزیشن گروپس"۔ جسمانی جائزہ کے خطوط 69، 2863 (1992)۔
https:///doi.org/10.1103/PhysRevLett.69.2863

ہے [37] D. Perez-Garcia, F. Verstraete, MM Wolf, and JI Cirac. "میٹرکس پروڈکٹ اسٹیٹ کی نمائندگی"۔ کوانٹم انفارمیشن اینڈ کمپیوٹیشن 7، 401–430 (2007)۔
https://doi.org/10.48550/arXiv.2011.12127

ہے [38] Guifré Vidal. " قدرے الجھے ہوئے کوانٹم کمپیوٹیشنز کا موثر کلاسیکی تخروپن"۔ جسمانی جائزہ کے خطوط 91، 147902 (2003)۔
https:///doi.org/10.48550/arXiv.quant-ph/0301063
arXiv:quant-ph/0301063

ہے [39] عدنان ڈارویچ اور پیئر مارکوئس۔ "علم کی تالیف کا نقشہ"۔ جرنل آف آرٹیفیشل انٹیلی جنس ریسرچ 17، 229–264 (2002)۔
https://doi.org/10.5555/1622810.1622817

ہے [40] کارل ایس بریس، رچرڈ ایل روڈل، اور رینڈل ای برائنٹ۔ "BDD پیکیج کا موثر نفاذ"۔ 27ویں ACM/IEEE ڈیزائن آٹومیشن کانفرنس کی کارروائی میں۔ صفحہ 40-45۔ (1991)۔
https://doi.org/10.1145/123186.123222

ہے [41] ڈونلڈ ایرون ناتھ۔ کمپیوٹر پروگرامنگ کا فن۔ والیوم 4، فاسیکل 1”۔ ایڈیسن ویسلی۔ (2005)۔
https://doi.org/10.1090/s0002-9904-1973-13173-8

ہے [42] فیبیو سومنزی۔ "فیصلے کے خاکوں کی موثر ہیرا پھیری"۔ ٹیکنالوجی کی منتقلی کے لیے سافٹ ویئر ٹولز پر بین الاقوامی جریدہ 3، 171–181 (2001)۔
https://doi.org/10.1007/s100090100042

ہے [43] Koenraad MR Audenaert اور Martin B Plenio۔ "مکسڈ سٹیبلائزر پر الجھنا: عام شکلیں اور کمی کے طریقہ کار"۔ طبیعیات کا نیا جریدہ 7، 170 (2005)۔ url:.
https://doi.org/10.1088/1367-2630/7/1/170

ہے [44] مارک ہین، وولف گینگ ڈور، جینز آئزرٹ، رابرٹ راسینڈورف، ایم نیسٹ، اور ایچ جے بریگل۔ "گراف ریاستوں اور اس کے اطلاقات میں الجھنا"۔ بین الاقوامی اسکول آف فزکس "اینریکو فرمی" کی کارروائی میں۔ جلد والیوم 162: کوانٹم کمپیوٹرز، الگورتھم اور افراتفری۔ آئی او ایس پریس (2006)۔
https://doi.org/10.3254/978-1-61499-018-5-115

ہے [45] سکاٹ ایرونسن۔ "ملٹی لائنر فارمولے اور کوانٹم کمپیوٹنگ کے شکوک و شبہات"۔ تھیوری آف کمپیوٹنگ پر چھتیسویں سالانہ ACM سمپوزیم کی کارروائی میں۔ صفحہ 118-127۔ STOC '04New York, NY, USA (2004)۔ ایسوسی ایشن برائے کمپیوٹنگ مشینری۔
https://doi.org/10.1145/1007352.1007378

ہے [46] سرگئی براوی اور الیکسی کیتائیف۔ "مثالی کلفورڈ گیٹس اور شور والے اینکیلا کے ساتھ یونیورسل کوانٹم کمپیوٹیشن"۔ طبیعیات Rev. A 71، 022316 (2005)۔
https:///doi.org/10.1103/PhysRevA.71.022316

ہے [47] چارلس ایچ بینیٹ، ہربرٹ جے برنسٹین، سینڈو پوپیسکو، اور بینجمن شوماکر۔ "مقامی کارروائیوں کے ذریعہ جزوی الجھن پر توجہ مرکوز کرنا"۔ جسمانی جائزہ A 53، 2046 (1996)۔
https:///doi.org/10.48550/arXiv.quant-ph/9511030
arXiv:quant-ph/9511030

ہے [48] ڈیوڈ وائی فائنسٹین اور مچل اے تھورنٹن۔ "کوانٹم ایک سے زیادہ قیمت والے فیصلے کے خاکوں کے چھوڑے گئے متغیرات پر"۔ 2011 میں 41 ویں IEEE انٹرنیشنل سمپوزیم پر ایک سے زیادہ قدر والی منطق۔ صفحات 164-169۔ IEEE (2011)۔
https://doi.org/10.1109/ISMVL.2011.22

ہے [49] رچرڈ جے لپٹن، ڈونلڈ جے روز، اور رابرٹ اینڈری ٹارجن۔ "جنرلائزڈ نیسٹڈ ڈسیکشن"۔ عددی تجزیہ پر SIAM جرنل 16، 346–358 (1979)۔
https://doi.org/10.5555/892164

ہے [50] M. Van den Nest, W. Dür, G. Vidal, and HJ Briegel. پیمائش پر مبنی کوانٹم کمپیوٹیشن میں کلاسیکی تخروپن بمقابلہ عالمگیریت۔ طبیعیات Rev. A 75, 012337 (2007)۔
https:///doi.org/10.1103/PhysRevA.75.012337

ہے [51] Vít Jelínek. "مربع گرڈ کی درجہ بندی کی چوڑائی"۔ مجرد اطلاقی ریاضی 158، 841–850 (2010)۔
https://doi.org/10.1007/978-3-540-92248-3_21

ہے [52] Hélene Fargier، Pierre Marquis، Alexandre Niveau، اور Nicolas Schmidt۔ "حکم شدہ حقیقی قیمتی فیصلے کے خاکوں کے لیے علم کی تالیف کا نقشہ"۔ مصنوعی ذہانت پر AAAI کانفرنس کی کارروائی میں۔ جلد 28. (2014)۔
https://doi.org/10.1609/aaai.v28i1.8853

ہے [53] رابرٹ ڈبلیو فلائیڈ۔ "پروگراموں کو معنی تفویض کرنا"۔ پروگرام کی تصدیق میں۔ صفحہ 65-81۔ اسپرنگر (1993)۔
https://doi.org/10.1007/978-94-011-1793-7_4

ہے [54] جے ڈبلیو ڈی بیکر اور لیمبرٹ جی ایل ٹی میرٹینس۔ "آمدنی دعوے کے طریقہ کار کی مکمل ہونے پر"۔ جرنل آف کمپیوٹر اینڈ سسٹم سائنسز 11، 323–357 (1975)۔
https://doi.org/10.1016/S0022-0000(75)80056-0

ہے [55] انگو ویگنر۔ "برانچنگ پروگرامز اور بائنری فیصلہ ڈایاگرام: تھیوری اور ایپلی کیشنز"۔ سیام (2000)۔
https://doi.org/10.1137/1.9780898719789

ہے [56] جیمز میک کلنگ۔ "ڈبلیو ریاستوں کی تعمیرات اور اطلاقات"۔ پی ایچ ڈی کا مقالہ۔ ورسیسٹر پولی ٹیکنک انسٹی ٹیوٹ۔ (2020)۔

ہے [57] سری نواسن اروناچلم، سرجی براوی، چنمے نیرکھے، اور برائن او گورمن۔ "کوانٹم تصدیق کی پیرامیٹرائزڈ پیچیدگی" (2022)۔
https:///doi.org/10.4230/LIPIcs.TQC.2022.3

ہے [58] ایلکس کسنجر اور جان وین ڈی ویٹرنگ۔ "ZX-calculus کے ساتھ T-count کو کم کرنا" (2019)۔
https:///doi.org/10.1103/PhysRevA.102.022406

ہے [59] ہمانشو تھپلیال، ایڈگارڈ مونوز-کوریاس، ٹی ایس ایس ورون، اور ٹریوس ایس ہمبل۔ "انٹیجر ڈویژن کے کوانٹم سرکٹ ڈیزائن T-count اور T-گہرائی کو بہتر بناتے ہیں"۔ کمپیوٹنگ 9، 1045–1056 (2019) میں ابھرتے ہوئے موضوعات پر IEEE ٹرانزیکشنز۔
https://doi.org/10.48550/arXiv.1809.09732

ہے [60] وانگ جیان، ژانگ کوان، اور تانگ چاؤ-جنگ۔ "W state کے ساتھ کوانٹم محفوظ مواصلاتی اسکیم"۔ نظریاتی طبیعیات میں مواصلات 48، 637 (2007)۔
https://doi.org/10.1088/0253-6102/48/4/013

ہے [61] وین لیو، یونگ بن وانگ، اور زینگ تاؤ جیانگ۔ "W ریاست کے ساتھ مساوات کے کوانٹم نجی موازنہ کے لیے ایک موثر پروٹوکول"۔ آپٹکس کمیونیکیشنز 284، 3160–3163 (2011)۔
https://doi.org/10.1016/j.optcom.2011.02.017

ہے [62] وکٹوریہ لپنسکا، گلوسیا مرٹا، اور سٹیفنی ویہنر۔ "${W}$ اسٹیٹ کا استعمال کرتے ہوئے شور والے کوانٹم نیٹ ورک میں گمنام ٹرانسمیشن"۔ طبیعیات Rev. A 98, 052320 (2018)۔
https:///doi.org/10.1103/PhysRevA.98.052320

ہے [63] پال ٹیفرٹشوفر اور مسعود پیڈرم۔ "فیکٹرڈ ایج ویلیوڈ بائنری فیصلے کے خاکے"۔ سسٹم ڈیزائن 10، 243–270 (1997) میں رسمی طریقے۔
https://doi.org/10.1023/A:1008691605584

ہے [64] میگھنا سسٹلا، سوارت چوہدری، اور تھامس نمائندے۔ "CFLOBDDs: سیاق و سباق سے پاک زبان نے بائنری فیصلہ کے خاکے ترتیب دیے" (2023)۔ arXiv:2211.06818۔
آر ایکس سی: 2211.06818

ہے [65] میگھانا سسٹلا، سوارت چودھری، اور تھامس نمائندے۔ قسطنطین اینیا اور آکاش لال میں، ایڈیٹرز، کمپیوٹر ایڈیڈ تصدیق۔ صفحہ 213-225۔ چام (2023)۔ اسپرنگر نیچر سوئٹزرلینڈ۔
https://doi.org/10.1007/978-3-031-37709-9_11

ہے [66] راجیو الور اور پی مدھوسودن۔ "مرئی طور پر پش ڈاؤن زبانیں"۔ تھیوری آف کمپیوٹنگ پر چھتیسویں سالانہ ACM سمپوزیم کی کارروائی میں۔ صفحہ 202-211۔ STOC '04New York, NY, USA (2004)۔ ایسوسی ایشن برائے کمپیوٹنگ مشینری۔
https://doi.org/10.1145/1007352.1007390

ہے [67] میگھانا سیسٹلا، سوارت چودھری، اور تھامس نمائندے۔ "وزن والے سیاق و سباق سے پاک زبان نے بائنری فیصلے کے خاکے ترتیب دیے" (2023)۔ arXiv:2305.13610۔
آر ایکس سی: 2305.13610

ہے [68] عدنان درویش۔ "SDD: تجویزی علمی اڈوں کی ایک نئی روایتی نمائندگی"۔ مصنوعی ذہانت کے بارے میں بائیسویں بین الاقوامی مشترکہ کانفرنس کی کارروائی میں- والیوم دو۔ . AAAI پریس (2011)۔

ہے [69] ڈوگا کیسا، گائے وان ڈین بروک، آرتھر چوئی، اور عدنان درویچ۔ "امکانی جذباتی فیصلے کے خاکے"۔ علم کی نمائندگی اور استدلال کے اصولوں پر چودھویں بین الاقوامی کانفرنس کی کارروائی میں۔ صفحات 558–567۔ KR'14۔ AAAI پریس (2014)۔ url: cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf۔
https://cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf

ہے [70] کینگو ناکامورا، شوہی ڈینزومی، اور مساکی نشینو۔ "متغیر شفٹ SDD: ایک زیادہ مختصر جذباتی فیصلے کا خاکہ"۔ سیمون فارو اور ڈومینیکو کینٹون میں، ایڈیٹرز، تجرباتی الگورتھم پر 18 واں بین الاقوامی سمپوزیم (SEA 2020)۔ لیبنز انٹرنیشنل پروسیڈنگز ان انفارمیٹکس (LIPIcs) کی جلد 160، صفحہ 22:1–22:13۔ Dagstuhl، جرمنی (2020)۔ Schloss Dagstuhl–Leibniz-Zentrum für Informatik.
https:///doi.org/10.4230/LIPIcs.SEA.2020.22

ہے [71] وولف گینگ گنتھر اور رالف ڈریچسلر۔ "ارتقائی تکنیکوں کی بنیاد پر لکیری تبدیلیوں کا استعمال کرتے ہوئے bdds کو کم سے کم کرنا"۔ 1999 میں IEEE انٹرنیشنل سمپوزیم آن سرکٹس اینڈ سسٹمز (ISCAS)۔ جلد 1، صفحہ 387–390۔ IEEE (1999)۔
https://doi.org/10.1109/ISCAS.1999.777884

ہے [72] باربرا ایم ترہال اور ڈیوڈ پی ڈی ونسنزو۔ "نان انٹرایکٹنگ-فرمیون کوانٹم سرکٹس کا کلاسیکی تخروپن"۔ طبیعیات Rev. A 65, 032325 (2002)۔
https:///doi.org/10.1103/PhysRevA.65.032325

ہے [73] رچرڈ جوزسا اور اکیماسا میاکے۔ "میچ گیٹس اور کوانٹم سرکٹس کا کلاسیکی تخروپن"۔ کارروائی: ریاضی، طبعی اور انجینئرنگ سائنسز صفحات 3089–3106 (2008)۔
https://doi.org/10.1098/rspa.2008.0189

ہے [74] مارٹن ہیبنسٹریٹ، رچرڈ جوزسا، باربرا کراؤس اور سرگی اسٹریلچک۔ "اضافی وسائل کے ساتھ میچ گیٹس کی کمپیوٹیشنل پاور"۔ جسمانی جائزہ A 102, 052604 (2020)۔
https:///doi.org/10.1103/PhysRevA.102.052604

ہے [75] رومن اورس۔ "ٹینسر نیٹ ورکس کا ایک عملی تعارف: میٹرکس پروڈکٹ اسٹیٹس اور متوقع الجھی ہوئی جوڑی کی حالتیں"۔ طبیعیات کی تاریخ 349، 117–158 (2014)۔
https:///doi.org/10.1016/j.aop.2014.06.013

ہے [76] باب کوکی اور راس ڈنکن۔ "انٹریکٹنگ کوانٹم آبزرویبلز: زمرہ دار الجبرا اور ڈایاگرامیٹکس"۔ طبیعیات کا نیا جریدہ 13، 043016 (2011)۔
https://doi.org/10.1007/978-3-540-70583-3_25

ہے [77] ریناؤڈ ولمارٹ۔ "گرافیکل کیلکولی میں کوانٹم ایک سے زیادہ قیمت والے فیصلے کے خاکے" (2021)۔ arXiv:2107.01186۔
آر ایکس سی: 2107.01186

ہے [78] رچرڈ روڈل۔ "حکم شدہ بائنری فیصلے کے خاکوں کے لیے ڈائنامک ویری ایبل آرڈرنگ"۔ کمپیوٹر ایڈیڈ ڈیزائن (ICCAD) پر 1993 کی بین الاقوامی کانفرنس کی کارروائی میں۔ صفحہ 42-47۔ IEEE (1993)۔
https:///doi.org/10.1109/ICCAD.1993.580029

ہے [79] ایو آؤٹ وین ڈین برگ اور کرسٹن ٹیممے۔ "پاولی کلسٹرز کے بیک وقت اختراع کے ذریعہ ہیملٹونین تخروپن کی سرکٹ کی اصلاح"۔ کوانٹم 4, 322 (2020)۔
https://doi.org/10.22331/q-2020-09-12-322

ہے [80] یوجین ایم لکس، فرینک راکوزی، اور چارلس آر بی رائٹ۔ "نیل پوٹینٹ پرموٹیشن گروپس کے لیے کچھ الگورتھم"۔ جرنل آف سمبولک کمپیوٹیشن 23، 335–354 (1997)۔
https://doi.org/10.1006/jsco.1996.0092

ہے [81] Pavol Ďuriš، Juraj Hromkovič، Stasys Jukna، Martin Sauerhoff، اور Georg Schnitger۔ "ملٹی پارٹیشن مواصلاتی پیچیدگی پر"۔ معلومات اور حساب کتاب 194، 49–75 (2004)۔
https:///doi.org/10.1016/j.ic.2004.05.002

ہے [82] ہیکٹر جے گارسیا، ایگور ایل مارکوف، اور اینڈریو ڈبلیو کراس۔ "سٹیبلائزر ریاستوں کے لیے موثر اندرونی پروڈکٹ الگورتھم" (2012)۔ arXiv:1210.6646۔
آر ایکس سی: 1210.6646

ہے [83] "Stabranksearcher: کوانٹم سٹیٹ کے سٹیبلائزر رینک کو تلاش کرنے کے لیے کوڈ (اوپر کی حد تک)"۔ https:///github.com/timcp/StabRankSearcher (2021)۔
https:///github.com/timcp/StabRankSearcher

ہے [84] پیڈریک کالپین۔ "کلاسیکی تخروپن کے لینس کے ذریعے کوانٹم کمپیوٹیشن کی تلاش"۔ پی ایچ ڈی کا مقالہ۔ یو سی ایل (یونیورسٹی کالج لندن)۔ (2020)۔
https://doi.org/10.5555/AAI28131047

کی طرف سے حوالہ دیا گیا

[1] Dimitrios Thanos، Tim Coopmans، اور Alfons Laarman، "کلیفورڈ گیٹس کے کوانٹم سرکٹس کی تیز مساوات کی جانچ"، آر ایکس سی: 2308.01206, (2023).

[2] رابرٹ ولی، اسٹیفن ہلمِچ، اور لوکاس برگولزر، "فیصلے کے خاکوں کی بنیاد پر کوانٹم کمپیوٹنگ کے اوزار"، آر ایکس سی: 2108.07027, (2021).

مذکورہ بالا اقتباسات سے ہیں۔ SAO/NASA ADS (آخری بار کامیابی کے ساتھ 2023-09-12 14:57:20)۔ فہرست نامکمل ہو سکتی ہے کیونکہ تمام ناشرین مناسب اور مکمل حوالہ ڈیٹا فراہم نہیں کرتے ہیں۔

On Crossref کی طرف سے پیش خدمت کاموں کے حوالے سے کوئی ڈیٹا نہیں ملا (آخری کوشش 2023-09-12 14:57:15)۔

یہ مقالہ کوانٹم میں کے تحت شائع کیا گیا ہے۔ Creative Commons انتساب 4.0 انٹرنیشنل (CC BY 4.0) لائسنس کاپی رائٹ اصل کاپی رائٹ ہولڈرز جیسے مصنفین یا ان کے اداروں کے پاس رہتا ہے۔

SEO سے چلنے والا مواد اور PR کی تقسیم۔ آج ہی بڑھا دیں۔
پلیٹو ڈیٹا ڈاٹ نیٹ ورک ورٹیکل جنریٹو اے آئی۔ اپنے آپ کو بااختیار بنائیں۔ یہاں تک رسائی حاصل کریں۔
پلیٹوآئ اسٹریم۔ ویب 3 انٹیلی جنس۔ علم میں اضافہ۔ یہاں تک رسائی حاصل کریں۔
پلیٹو ای ایس جی۔ آٹوموٹو / ای وی، کاربن، کلین ٹیک، توانائی ، ماحولیات، شمسی، ویسٹ مینجمنٹ یہاں تک رسائی حاصل کریں۔
پلیٹو ہیلتھ۔ بائیوٹیک اینڈ کلینیکل ٹرائلز انٹیلی جنس۔ یہاں تک رسائی حاصل کریں۔
چارٹ پرائم۔ ChartPrime کے ساتھ اپنے ٹریڈنگ گیم کو بلند کریں۔ یہاں تک رسائی حاصل کریں۔
بلاک آفسیٹس۔ ماحولیاتی آفسیٹ ملکیت کو جدید بنانا۔ یہاں تک رسائی حاصل کریں۔
ماخذ: https://quantum-journal.org/papers/q-2023-09-11-1108/

ٹائم اسٹیمپ: ستمبر 11، 2023

ٹائم اسٹیمپ: جولائی 12، 2023

LIMDD: کوانٹم کمپیوٹنگ کے تخروپن کے لیے فیصلہ کن خاکہ بشمول اسٹیبلائزر اسٹیٹس

افلاطون کے ذریعہ دوبارہ شائع کیا گیا۔

خلاصہ

مقبول خلاصہ

► BibTeX ڈیٹا

► حوالہ جات

کی طرف سے حوالہ دیا گیا

سے زیادہ کوانٹم جرنل

کوانٹم ایل ڈی پی سی کوڈز اور تکراری ضابطہ کشائی کے ساتھ الجھن صاف کرنا

روایتی حکمت عملیوں اور خود غبن کے لیے C*-ڈائینامکس پر مبنی ان کے درمیان مستقل فرق

غیر مطابقت پذیر مشاہدات کے اعدادوشمار کے لیے کرک ووڈ-ڈیرک کوا سی امکانی نقطہ نظر

واحد فوٹون کے لیے لہر ذرہ دوہرایت کا امکانی منظر

وقتی ارتباط کے ذریعے ماحول کے طول و عرض کا مشاہدہ کرنا

کوآپریٹو کوانٹم معلومات مٹانا

1 Gbit/s سے زیادہ کوانٹم کلید کی تقسیم کے لیے تجرباتی الجھن پیدا کرنا

راؤنڈ-رابن ڈیفرینشل-فیز-شفٹ پروٹوکول میں اعلی جہتی انکوڈنگ

ایڈیٹرز 2024 کے لیے کال کریں۔

ہمارے متعلق

عمودی تلاش اور Ai

پلیٹ فارم

مربوط رہو

اکاؤنٹ