2025-11-15T02:28:11.214356

Sublogarithmic Distillation in all Prime Dimensions using Punctured Reed-Muller Codes

Saha, Prakash

Magic state distillation is a leading but costly approach to fault-tolerant quantum computation, and it is important to explore all possible ways of minimizing its overhead cost. The number of ancillae required to produce a magic state within a target error rate $Îµ$ is $O(\log^Î³ (Îµ^{-1}))$ where $Î³$ is known as the yield parameter. Hastings and Haah derived a family of distillation protocols with sublogarithmic overhead (i.e., $Î³< 1$) based on punctured Reed-Muller codes. Building on work by Campbell \textit{et al.} and Krishna-Tillich, which suggests that qudits of dimension $p>2$ can significantly reduce overhead, we generalize their construction to qudits of arbitrary prime dimension $p$. We find that, in an analytically tractable puncturing scheme, the number of qudits required to achieve sublogarithmic overhead decreases drastically as $p$ increases, and the asymptotic yield parameter approaches $\frac{1}{\ln p}$ as $p \to \infty$. We also perform a small computational search for optimal puncture locations, which results in several interesting triorthogonal codes, including a $[[519,106,5]]_5$ code with $Î³=0.99$.

academic

সমস্ত প্রাইম মাত্রায় পাংচার করা রিড-মুলার কোড ব্যবহার করে সাবলগারিদমিক ডিস্টিলেশন

মৌলিক তথ্য

পেপার আইডি: 2510.10852
শিরোনাম: Sublogarithmic Distillation in all Prime Dimensions using Punctured Reed-Muller Codes
লেখক: Tanay Saha (Simon Fraser University), Shiroman Prakash (Dayalbagh Educational Institute)
শ্রেণীবিভাগ: quant-ph (কোয়ান্টাম পদার্থবিজ্ঞান)
প্রকাশনার সময়: ২০২৫ সালের ১২ অক্টোবর (arXiv প্রি-প্রিন্ট)
পেপার লিঙ্ক: https://arxiv.org/abs/2510.10852

সারসংক্ষেপ

ম্যাজিক স্টেট ডিস্টিলেশন হল ত্রুটি-সহনশীল কোয়ান্টাম কম্পিউটিংয়ের একটি প্রধান কিন্তু ব্যয়বহুল পদ্ধতি, এবং এর ওভারহেড খরচ কমানোর সমস্ত সম্ভাব্য উপায় অন্বেষণ করা অত্যন্ত গুরুত্বপূর্ণ। লক্ষ্য ত্রুটির হার ε এর মধ্যে ম্যাজিক স্টেট তৈরি করতে প্রয়োজনীয় সহায়ক কোয়ান্টাম বিটের সংখ্যা হল O(log^γ(ε^(-1))), যেখানে γ কে ইয়েল্ড প্যারামিটার বলা হয়। Hastings এবং Haah পাংচার করা রিড-মুলার কোড এর উপর ভিত্তি করে সাবলগারিদমিক ওভারহেড (অর্থাৎ γ < 1) সহ ডিস্টিলেশন প্রোটোকলের একটি সিরিজ তৈরি করেছেন। Campbell এবং অন্যদের এবং Krishna-Tillich এর কাজের উপর ভিত্তি করে (যা দেখায় যে p > 2 মাত্রার qudits উল্লেখযোগ্যভাবে ওভারহেড কমাতে পারে), এই পেপারটি তার নির্মাণকে যেকোনো প্রাইম মাত্রা p এর qudits এ সাধারণীকরণ করে। গবেষণা দেখায় যে বিশ্লেষণযোগ্যভাবে পরিচালনাযোগ্য পাংচার স্কিমে, p বৃদ্ধির সাথে সাথে সাবলগারিদমিক ওভারহেড অর্জনের জন্য প্রয়োজনীয় qudits সংখ্যা তীব্রভাবে হ্রাস পায়, এবং অ্যাসিম্পটোটিক ইয়েল্ড প্যারামিটার p → ∞ এ 1/ln p এর দিকে প্রবণ হয়। পেপারটি সর্বোত্তম পাংচার অবস্থান খুঁজে পেতে ছোট-স্কেল গণনামূলক অনুসন্ধানও পরিচালনা করে, যা বেশ কয়েকটি আকর্ষণীয় ত্রি-অর্থোগোনাল কোড সহ একটি [[519,106,5]]_5 কোড (γ = 0.99) আবিষ্কার করে।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার সংজ্ঞা

ম্যাজিক স্টেট ডিস্টিলেশন হল ত্রুটি-সহনশীল কোয়ান্টাম কম্পিউটিং বাস্তবায়নের একটি মূল প্রযুক্তি, কিন্তু এর বিশাল সম্পদ ওভারহেড ব্যবহারিক প্রয়োগের প্রধান বাধা। এই গবেষণা যে মূল সমস্যার সমাধান করতে চায় তা হল: ম্যাজিক স্টেট ডিস্টিলেশনের ওভারহেড খরচ কীভাবে কমানো যায়, বিশেষত সাবলগারিদমিক ওভারহেড (γ < 1) অর্জন করা।

গুরুত্ব

ত্রুটি-সহনশীল কোয়ান্টাম কম্পিউটিংয়ের ব্যবহারিকতা: ম্যাজিক স্টেট ডিস্টিলেশন ওভারহেডের প্রধান উৎস হিসাবে বিবেচিত হয়, এর খরচ হ্রাস করা ব্যবহারিক কোয়ান্টাম কম্পিউটিং সিস্টেমের জন্য গুরুত্বপূর্ণ।
তাত্ত্বিক তাৎপর্য: এটি একবার অনুমান করা হয়েছিল যে সমস্ত প্রোটোকলে γ ≥ 1 রয়েছে, এবং সাবলগারিদমিক ওভারহেডের বাস্তবায়ন এই অনুমানকে ভেঙে দেয়।
প্রযুক্তিগত চ্যালেঞ্জ: সাবলগারিদমিক ওভারহেড অর্জনের বিদ্যমান পদ্ধতিগুলির জন্য হয় অত্যন্ত বড় ব্লক সাইজ প্রয়োজন, অথবা খুব উচ্চ qudit মাত্রা প্রয়োজন।

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

বাইনারি সিস্টেম: Hastings এবং Haah এর পদ্ধতি যদিও γ < 1 অর্জন করে, তবে অত্যন্ত বড় ব্লক সাইজ (~2^58) প্রয়োজন।
রিড-সলোমন পদ্ধতি: Krishna-Tillich এর পদ্ধতির জন্য γ < 1 অর্জনের জন্য p ≥ 23 প্রয়োজন।
সর্বজনীনতার অভাব: সমস্ত প্রাইম মাত্রার জন্য প্রযোজ্য একীভূত নির্মাণ পদ্ধতির অভাব।

গবেষণা প্রেরণা

এই পেপারটি একটি একীভূত কাঠামো তৈরি করার লক্ষ্য রাখে যা Hastings-Haah এর পাংচার করা রিড-মুলার কোড পদ্ধতিকে যেকোনো প্রাইম মাত্রা p এর qudits এ সাধারণীকরণ করে, একই সাথে সাবলগারিদমিক ওভারহেড অর্জনের জন্য প্রয়োজনীয় সিস্টেম স্কেল উল্লেখযোগ্যভাবে হ্রাস করে।

মূল অবদান

তাত্ত্বিক সাধারণীকরণ: Hastings-Haah এর বাইনারি পাংচার করা রিড-মুলার কোড নির্মাণকে সফলভাবে যেকোনো প্রাইম মাত্রা p এর qudits এ প্রসারিত করা।
বিশ্লেষণাত্মক কাঠামো: ম্যানহাটন ওজন ফাংশনের উপর ভিত্তি করে পাংচার স্কিম স্থাপন করা, যা কোডের প্যারামিটার বিশ্লেষণাত্মকভাবে গণনা করা যায়।
অ্যাসিম্পটোটিক কর্মক্ষমতা: অ্যাসিম্পটোটিক ইয়েল্ড প্যারামিটার γ₀(p) ~ 1/ln p যখন p → ∞ প্রমাণ করা, উচ্চ-মাত্রার qudits এর সুবিধা প্রদর্শন করা।
ব্যবহারিক উন্নতি: γ < 1 অর্জনের জন্য প্রয়োজনীয় ব্লক সাইজ উল্লেখযোগ্যভাবে হ্রাস করা, p=2 এর ~2^58 থেকে p=5 এর ~2^37 এ।
নির্দিষ্ট নির্মাণ: গণনামূলক অনুসন্ধানের মাধ্যমে উচ্চ-কর্মক্ষমতার ত্রি-অর্থোগোনাল কোড আবিষ্কার করা, যার মধ্যে রয়েছে [[519,106,5]]_5 কোড (γ = 0.99)।

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

ত্রি-অর্থোগোনাল কোড [[n,k,d]]_p নির্মাণ করা, যেমন:

ইনপুট: n টি শোরগোল ম্যাজিক স্টেট, ত্রুটির হার ε_in
আউটপুট: k টি বিশুদ্ধ ম্যাজিক স্টেট, ত্রুটির হার ε_out = O(A_d ε_in^d)
লক্ষ্য: ইয়েল্ড প্যারামিটার γ = log(n/k)/log(d) < 1 কমানো।

তাত্ত্বিক ভিত্তি

ত্রি-অর্থোগোনাল স্থান

F_p ক্ষেত্রে সংজ্ঞায়িত রৈখিক স্থান C কে ক্লাসিক্যাল ত্রি-অর্থোগোনাল স্থান বলা হয়, যদি এটি সন্তুষ্ট করে:

∀x,y,z ∈ C, Σᵢ(xyz)ᵢ = 0 (mod p)
∀x,y ∈ C, Σᵢ(x*y)ᵢ = 0 (mod p)

রিড-মুলার কোড নির্মাণ

রিড-মুলার কোড RM_p(r,m) মোট ডিগ্রি সর্বাধিক r এর m-ভেরিয়েবল বহুপদ দ্বারা গঠিত:

কোডওয়ার্ড: f এর সম্পূর্ণ ফাংশন মূল্যায়ন (f(v⃗) : v⃗ ∈ F_p^m)
ত্রি-অর্থোগোনাল শর্ত: 3r < m(p-1)
সর্বোত্তম পছন্দ: r = r_max = ⌊(m(p-1)-1)/3⌋

পাংচার স্কিম

ম্যানহাটন ওজন ফাংশন

নতুন ওজন ফাংশন W_M(α) = α প্রবর্তন করা, ম্যানহাটন ওজন সংজ্ঞায়িত করা: |v⃗|_M = Σᵢ W_M(vᵢ) = Σᵢ vᵢ

p-নোমিয়াল সহগ

সাধারণীকৃত দ্বিপদ সহগ সংজ্ঞায়িত করা: (1 + x + x² + ... + x^(p-1))^m = Σₛ (m choose s)_p x^s

পাংচার কৌশল

সমস্ত ম্যানহাটন ওজন ≤w এর স্থানাঙ্ক পাংচার করা, প্যারামিটার সহ ত্রি-অর্থোগোনাল কোড পাওয়া [[C_>(m,w;W_M,p), C_≤(m,w;W_M,p), d]]_p।

দূরত্ব গণনা

উপপাদ্য 4: পাংচার করা রিড-মুলার কোড PRM_p(r,m,w) এর দূরত্ব হল: $\Delta_p(m,r,w) = \sum_{j=0}^{p-β-1} \binom{m-α-1}{>w-j}_p$

যেখানে r = α(p-1) + β, β ∈ {0,1,...,p-2}।

প্রযুক্তিগত উদ্ভাবনী পয়েন্ট

ওজন ফাংশন নির্বাচন: ম্যানহাটন ওজন Hamming ওজন এবং Lee ওজনের তুলনায় পাংচার অবস্থান নির্বাচনের আরও স্বাধীনতা প্রদান করে।
বিশ্লেষণাত্মক পরিচালনাযোগ্যতা: p-নোমিয়াল সহগের সমন্বয় তত্ত্বের মাধ্যমে, কোড প্যারামিটার সম্পূর্ণভাবে গণনাযোগ্য করা।
অ্যাসিম্পটোটিক বিশ্লেষণ: Hₚ(θ) ফাংশন স্থাপন করা p-নোমিয়াল সহগের অ্যাসিম্পটোটিক আচরণ চিহ্নিত করতে।
অপ্টিমাইজেশন কৌশল: m = 3α এর বিশেষ ক্ষেত্রে, ইয়েল্ড প্যারামিটার বিশ্লেষণের জন্য সহজ ফর্মে সরলীকৃত হয়।

পরীক্ষামূলক সেটআপ

তাত্ত্বিক বিশ্লেষণ সেটআপ

প্যারামিটার পছন্দ: m = 3α, r = α(p-1) - 1
ওজন অনুপাত: w/(p-1)m = t, t ∈ (0,1)
অ্যাসিম্পটোটিক সীমা: α → ∞, t স্থির রাখা।

গণনামূলক অনুসন্ধান সেটআপ

লক্ষ্য মাত্রা: p = 3, 5
অনুসন্ধান পদ্ধতি: র্যান্ডমাইজড কম্পিউটার অনুসন্ধান
অপ্টিমাইজেশন উদ্দেশ্য: ইয়েল্ড প্যারামিটার γ কমানো।
সীমাবদ্ধতা শর্ত: ব্লক সাইজ n < 1000 (ব্যবহারিকতার বিবেচনার জন্য)।

পরীক্ষামূলক ফলাফল

প্রধান তাত্ত্বিক ফলাফল

অ্যাসিম্পটোটিক ইয়েল্ড প্যারামিটার

p	γ₀(p)	t₀(p)
2	0.678	0.271
3	0.632	0.274
5	0.559	0.279
7	0.508	0.282
11	0.441	0.287
23	0.347	0.295

ন্যূনতম ব্লক সাইজ

γ < 1 অর্জনের জন্য প্রয়োজনীয় ন্যূনতম ব্লক সাইজ p এর সাথে তীব্রভাবে হ্রাস পায়:

p = 2: ~2^58 qubits
p = 3: ~2^51 qutrits
p = 5: ~2^37 ququints
p = 17: ~2^16
p = 23: ~2^4

গণনামূলক অনুসন্ধান ফলাফল

ত্রিমাত্রিক সিস্টেমের (p=3) সেরা কোড

230, 13, 6₃, γ = 1.60
215, 28, 5₃, γ = 1.27
206, 37, 4₃, γ = 1.24

পঞ্চমাত্রিক সিস্টেমের (p=5) সেরা কোড

[[519, 106, 5]]₅, γ = 0.99 (গুরুত্বপূর্ণ অগ্রগতি)
112, 13, 3₅, γ = 1.96

কর্মক্ষমতা বিশ্লেষণ

[[519, 106, 5]]₅ কোড δᵢₙ = 10⁻³ এ:

আউটপুট ত্রুটির হার: δₒᵤₜ ≈ 8 × 10⁻¹⁸
ডিস্টিলেশন খরচ: C = n/n̄ₜ ≈ 7.4

উপসংহার এবং আলোচনা

প্রধান উপসংহার

তাত্ত্বিক অগ্রগতি: সাবলগারিদমিক ম্যাজিক স্টেট ডিস্টিলেশনকে সমস্ত প্রাইম মাত্রায় সফলভাবে প্রসারিত করা।
ব্যবহারিক উন্নতি: γ < 1 অর্জনের জন্য প্রয়োজনীয় সিস্টেম স্কেল উল্লেখযোগ্যভাবে হ্রাস করা।
অ্যাসিম্পটোটিক সুবিধা: γ₀(p) ~ 1/ln p প্রমাণ করা, উচ্চ-মাত্রার সিস্টেমের তাত্ত্বিক সুবিধা প্রদর্শন করা।
নির্দিষ্ট নির্মাণ: ব্যবহারিক উচ্চ-কর্মক্ষমতার ত্রি-অর্থোগোনাল কোড আবিষ্কার করা।

সীমাবদ্ধতা

অনুসন্ধান সীমাবদ্ধতা: গণনামূলক অনুসন্ধান শুধুমাত্র ছোট-স্কেল সিস্টেমে সীমাবদ্ধ।
ব্যবহারিকতা: যদিও উন্নতি উল্লেখযোগ্য, তবুও শত শত qudits প্রয়োজন।
নিয়ন্ত্রণ জটিলতা: উচ্চ-মাত্রার qudits এর পরীক্ষামূলক বাস্তবায়ন আরও কঠিন।
অপ্টিমাইজেশন স্থান: পাংচার স্কিম সর্বোত্তম নাও হতে পারে।

ভবিষ্যত দিকনির্দেশনা

সম্পূর্ণ অনুসন্ধান: ছোট ত্রি-অর্থোগোনাল কোডের সম্পূর্ণ গণনা।
আরও ভাল নির্মাণ: রিড-মুলার কোড অতিক্রম করে এমন নির্মাণ পদ্ধতি খুঁজে পাওয়া।
পরীক্ষামূলক যাচাইকরণ: প্রকৃত কোয়ান্টাম সিস্টেমে তাত্ত্বিক পূর্বাভাস যাচাই করা।
প্রয়োগ সম্প্রসারণ: অন্যান্য কোয়ান্টাম অ্যালগরিদমে প্রয়োগ অন্বেষণ করা।

গভীর মূল্যায়ন

সুবিধা

তাত্ত্বিক কঠোরতা: গাণিতিক অনুমান সম্পূর্ণ, প্রমাণ কঠোর।
ব্যবহারিক মূল্য: প্রকৃত সম্ভাব্য সিস্টেম স্কেল উল্লেখযোগ্যভাবে উন্নত করা।
শক্তিশালী সর্বজনীনতা: সমস্ত প্রাইম মাত্রায় প্রযোজ্য।
উচ্চ উদ্ভাবনী: প্রথমবারের মতো একীভূত qudit সাবলগারিদমিক ডিস্টিলেশন কাঠামো বাস্তবায়ন করা।

অপূর্ণতা

গণনামূলক জটিলতা: অ্যাসিম্পটোটিক বিশ্লেষণ জটিল স্যাডেল-পয়েন্ট সমীকরণ জড়িত।
অনুসন্ধান অসম্পূর্ণতা: র্যান্ডম অনুসন্ধান আরও ভাল সমাধান মিস করতে পারে।
পরীক্ষামূলক অভাব: প্রকৃত কোয়ান্টাম সিস্টেমের যাচাইকরণের অভাব।
সীমিত তুলনা: অন্যান্য অ-রিড-মুলার পদ্ধতির সাথে তুলনা অপর্যাপ্ত।

প্রভাব

তাত্ত্বিক অবদান: qudit কোয়ান্টাম ত্রুটি সংশোধন তত্ত্বের জন্য গুরুত্বপূর্ণ সরঞ্জাম প্রদান করা।
ব্যবহারিক অগ্রগতি: সাবলগারিদমিক ম্যাজিক স্টেট ডিস্টিলেশন ব্যবহারিকতার কাছাকাছি আনা।
অনুপ্রেরণামূলক তাৎপর্য: কোয়ান্টাম সুবিধা অন্বেষণের জন্য নতুন দৃষ্টিভঙ্গি প্রদান করা।
পুনরুৎপাদনযোগ্যতা: বিস্তারিত নির্মাণ পদ্ধতি এবং নির্দিষ্ট প্যারামিটার প্রদান করা।

প্রযোজ্য পরিস্থিতি

ত্রুটি-সহনশীল কোয়ান্টাম কম্পিউটিং: প্রচুর ম্যাজিক স্টেট প্রয়োজন এমন কোয়ান্টাম অ্যালগরিদম।
কোয়ান্টাম সিমুলেশন: নির্ভুল নিয়ন্ত্রণ প্রয়োজন এমন কোয়ান্টাম সিস্টেম।
তাত্ত্বিক গবেষণা: কোয়ান্টাম ত্রুটি সংশোধন এবং কোডিং তত্ত্ব।
সিস্টেম ডিজাইন: ভবিষ্যত বড়-স্কেল কোয়ান্টাম কম্পিউটারের স্থাপত্য ডিজাইন।

তথ্যসূত্র

পেপারটি ৪৭টি সম্পর্কিত তথ্যসূত্র উদ্ধৃত করে, যার মধ্যে প্রধানগুলি হল:

Bravyi & Kitaev (2005): ম্যাজিক স্টেট ডিস্টিলেশনের যুগান্তকারী কাজ।
Hastings & Haah (2018): বাইনারি সাবলগারিদমিক ডিস্টিলেশনের অগ্রগতি।
Campbell et al. (2012): Qudit ম্যাজিক স্টেট ডিস্টিলেশনের ভিত্তি কাজ।
Krishna & Tillich (2019): রিড-সলোমন কোডের সাবলগারিদমিক বাস্তবায়ন।

এই পেপারটি কোয়ান্টাম ত্রুটি সংশোধন তত্ত্বে গুরুত্বপূর্ণ অগ্রগতি অর্জন করেছে, শুধুমাত্র একটি গুরুত্বপূর্ণ তাত্ত্বিক সমস্যার সমাধান করেনি, বরং ভবিষ্যত কোয়ান্টাম কম্পিউটিং সিস্টেমের ডিজাইনের জন্য মূল্যবান নির্দেশনা প্রদান করেছে। এর কঠোর গাণিতিক বিশ্লেষণ এবং ব্যবহারিক উন্নতি এটিকে এই ক্ষেত্রের একটি গুরুত্বপূর্ণ অবদান করে তোলে।