2025-11-10T03:11:03.166903

New Quantum MDS Codes with Flexible Parameters from Hermitian Self-Orthogonal GRS Codes

Campion, Hernando, McGuire
Let $q$ be a prime power. Let $λ>1$ be a divisor of $q-1$, and let $τ>1$ and $ρ>1$ be divisors of $q+1$. Under certain conditions we prove that there exists an MDS stabilizer quantum code with length $n=λτσ$ where $2\le σ\le ρ$. This is a flexible construction, which includes new MDS parameters not known before.
academic

হার্মিটিয়ান স্ব-অর্থোগোনাল জিআরএস কোড থেকে নমনীয় পরামিতি সহ নতুন কোয়ান্টাম এমডিএস কোড

মৌলিক তথ্য

  • পেপার আইডি: 2501.17010
  • শিরোনাম: New Quantum MDS Codes with Flexible Parameters from Hermitian Self-Orthogonal GRS Codes
  • লেখক: Oisin Campion (University College Dublin), Fernando Hernando (Universitat Jaume I), Gary McGuire (University College Dublin)
  • শ্রেণীবিভাগ: cs.IT (তথ্য তত্ত্ব), math.IT (গাণিতিক তথ্য তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের ২৯ জানুয়ারি
  • পেপার লিঙ্ক: https://arxiv.org/abs/2501.17010

সারসংক্ষেপ

ধরুন qq একটি মৌলিক শক্তি, λ>1\lambda > 1 হল q−1q-1 এর একটি উৎপাদক, এবং τ>1\tau > 1 ও ρ>1\rho > 1 হল q+1q+1 এর উৎপাদক। নির্দিষ্ট শর্তাধীনে, লেখকরা প্রমাণ করেছেন যে দৈর্ঘ্য n=λτσn = \lambda\tau\sigma (যেখানে 2≤σ≤ρ2 \leq \sigma \leq \rho) সহ এমডিএস স্থিতিশীল কোয়ান্টাম কোড বিদ্যমান। এটি একটি নমনীয় নির্মাণ পদ্ধতি যা পূর্বে অজানা নতুন এমডিএস পরামিতি অন্তর্ভুক্ত করে।

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

  1. মূল সমস্যা: নমনীয় পরামিতি সহ কোয়ান্টাম সর্বোচ্চ দূরত্ব বিভাজন (এমডিএস) কোড নির্মাণ, বিশেষত q+1q+1 থেকে q2+2q^2+2 এর মধ্যে দৈর্ঘ্যের কোড।
  2. গুরুত্ব:
    • কোয়ান্টাম এমডিএস কোড কোয়ান্টাম সিঙ্গেলটন সীমানা অর্জন করে, যা তাত্ত্বিকভাবে সর্বোত্তম কোয়ান্টাম ত্রুটি সংশোধন কোড
    • কোয়ান্টাম গণনা এবং কোয়ান্টাম যোগাযোগে গুরুত্বপূর্ণ প্রয়োগ মূল্য রয়েছে
    • এমডিএস অনুমান qq-ary কোয়ান্টাম এমডিএস কোডের দৈর্ঘ্য সর্বাধিক q2+2q^2+2 এ সীমাবদ্ধ করে
  3. বিদ্যমান পদ্ধতির সীমাবদ্ধতা:
    • q+1q+1 এর চেয়ে ছোট দৈর্ঘ্যের এমডিএস কোড ইতিমধ্যে পরিচিত
    • বিদ্যমান নির্মাণ প্রধানত q−1q-1 বা q+1q+1 এর গুণিতক দৈর্ঘ্যের কোডে কেন্দ্রীভূত
    • q−1q-1 বা q+1q+1 এর গুণিতক নয় এবং ন্যূনতম দূরত্ব d>q/2d > q/2 সহ কোডের অভাব
  4. গবেষণা প্রেরণা: হার্মিটিয়ান স্ব-অর্থোগোনাল সাধারণীকৃত রিড-সলোমন (জিআরএস) কোড মাধ্যমে নতুন কোয়ান্টাম এমডিএস কোড নির্মাণ, বিশেষত q+1q+1 থেকে q2+2q^2+2 এর মধ্যে দৈর্ঘ্য এবং q−1q-1 বা q+1q+1 এর গুণিতক নয় এমন কোডে ফোকাস করা।

মূল অবদান

  1. প্রধান উপপাদ্য: নির্দিষ্ট শর্তাধীনে [[n,n−2d+2,d]]q[[n, n-2d+2, d]]_q কোয়ান্টাম এমডিএস কোড বিদ্যমান প্রমাণ করা, যেখানে n=λτσn = \lambda\tau\sigma
  2. নমনীয় নির্মাণ: পরামিতি নির্বাচনে নমনীয়তা প্রদান করা, σ\sigma পরিসর [ρ/κ,2][\rho/\kappa, 2] এ নির্বাচিত হতে পারে
  3. নতুন পরামিতি: পূর্বে অজানা এমডিএস পরামিতি নির্মাণ, বিশেষত q−1q-1 বা q+1q+1 এর গুণিতক নয় এমন দৈর্ঘ্যের কোড
  4. স্পষ্ট বিকৃত ভেক্টর: বিকৃত ভেক্টরের অস্তিত্ব প্রমাণ করার পূর্ববর্তী কাজের বিপরীতে, এই পেপার বিকৃত ভেক্টরের স্পষ্ট নির্মাণ প্রদান করে
  5. সম্পূর্ণ বিশ্লেষণ: "ব্যর্থতা বিন্দু" তত্ত্বের মাধ্যমে স্ব-অর্থোগোনালিটি নিশ্চয়তার কঠোর গাণিতিক বিশ্লেষণ প্রদান করা

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

কাজের সংজ্ঞা

নিম্নলিখিত শর্ত সন্তুষ্ট করে এমন কোয়ান্টাম এমডিএস কোড নির্মাণ:

  • ইনপুট: মৌলিক শক্তি q≥3q \geq 3, q−1q-1 এর উৎপাদক λ>1\lambda > 1, q+1q+1 এর উৎপাদক τ>1,ρ>1\tau > 1, \rho > 1
  • সীমাবদ্ধতা: gcd⁡(λ,τ)=1\gcd(\lambda, \tau) = 1, ρ/κ≥2\rho/\kappa \geq 2 (যেখানে κ=gcd⁡(λ,ρ)⋅gcd⁡(τ,ρ)\kappa = \gcd(\lambda,\rho) \cdot \gcd(\tau,\rho))
  • আউটপুট: [[n,n−2d+2,d]]q[[n, n-2d+2, d]]_q কোয়ান্টাম এমডিএস কোড, n=λτσn = \lambda\tau\sigma

মডেল আর্কিটেকচার

১. মূল্যায়ন সেট নির্মাণ

মূল্যায়ন সেট সংজ্ঞায়িত করা হয়: A:={ζλiζτjζρk:0≤i<λ,0≤j<τ,0≤k<σ}A := \{\zeta_\lambda^i \zeta_\tau^j \zeta_\rho^k : 0 \leq i < \lambda, 0 \leq j < \tau, 0 \leq k < \sigma\}

যেখানে ζt\zeta_t আদিম tt-তম একতার মূল প্রতিনিধিত্ব করে।

২. বিকৃত ভেক্টর ডিজাইন

বিকৃত ভেক্টর vv সন্তুষ্ট করে: v(i,j,k)q+1:=ζλ−iL⋅skv(i,j,k)^{q+1} := \zeta_\lambda^{-iL} \cdot s_k

যেখানে:

  • LL অপ্টিমাইজ করার জন্য একটি পরামিতি
  • s0,…,sσ−1∈Fq∗s_0, \ldots, s_{\sigma-1} \in \mathbb{F}_q^* সন্তুষ্ট করে ∑k=0σ−1sk=0\sum_{k=0}^{\sigma-1} s_k = 0

३. সাধারণীকৃত রিড-সলোমন কোড

মূল্যায়ন ম্যাপিং মাধ্যমে নির্মাণ: evv,A:Fq2[X]<k→Fq2n,f↦(v0f(a0),…,vn−1f(an−1))\text{ev}_{v,A} : \mathbb{F}_{q^2}[X]_{<k} \to \mathbb{F}_{q^2}^n, \quad f \mapsto (v_0f(a_0), \ldots, v_{n-1}f(a_{n-1}))

প্রযুক্তিগত উদ্ভাবন বিন্দু

১. হার্মিটিয়ান অর্থোগোনালিটা শর্ত

উপপাদ্য ३.३: দুটি একপদী Xe1,Xe2X^{e_1}, X^{e_2} এর মূল্যায়ন ভেক্টর হার্মিটিয়ান অভ্যন্তরীণ গুণফলে অর্থোগোনাল, যখন এবং শুধুমাত্র যখন নিম্নলিখিত শর্তগুলির একটি সন্তুষ্ট হয়:

  1. e1+e2≢L(modλ)e_1 + e_2 \not\equiv L \pmod{\lambda}
  2. e1≢e2(modτ)e_1 \not\equiv e_2 \pmod{\tau}
  3. e1≡e2(modρ)e_1 \equiv e_2 \pmod{\rho}

२. ব্যর্থতা বিন্দু তত্ত্ব

সংজ্ঞা ४.१: যদি (e1,e2)(e_1, e_2) সন্তুষ্ট করে:

  1. e1+e2≡L(modλ)e_1 + e_2 \equiv L \pmod{\lambda}
  2. e1≡e2(modτ)e_1 \equiv e_2 \pmod{\tau}
  3. e1≢e2(modρ)e_1 \not\equiv e_2 \pmod{\rho}

তাহলে এটিকে ব্যর্থতা বিন্দু বলা হয়। প্রথম ব্যর্থতা বিন্দু বিশ্লেষণের মাধ্যমে পরামিতি LL অপ্টিমাইজ করা হয়।

३. শ্রেণীবিভাগ আলোচনা

λ\lambda এর সমতা এবং অন্যান্য শর্তের উপর ভিত্তি করে, তিনটি ক্ষেত্রে বিভক্ত:

ক্ষেত্র ১ (λ\lambda সম): T=λ+4τ2T = \frac{\lambda + 4\tau}{2}

ক্ষেত্র २ (λ\lambda বিজোড় এবং নির্দিষ্ট শর্ত সন্তুষ্ট): T=λ+τT = \lambda + \tau

ক্ষেত্র ३ (λ\lambda বিজোড়ের অন্যান্য ক্ষেত্র): T=λ+3τ2T = \frac{\lambda + 3\tau}{2}

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

তাত্ত্বিক যাচাইকরণ

এই পেপারটি প্রধানত তাত্ত্বিক নির্মাণ, গাণিতিক প্রমাণের মাধ্যমে পদ্ধতির সঠিকতা যাচাই করা হয়, পরীক্ষামূলক যাচাইকরণের পরিবর্তে।

পরামিতি উদাহরণ

পেপারটি নির্মাণের কার্যকারিতা এবং নতুনত্ব যাচাই করার জন্য একাধিক নির্দিষ্ট পরামিতি উদাহরণ প্রদান করে।

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

প্রধান ফলাফল

१. নতুন কোড পরিবার নির্মাণ

অনুপুষ্টি ७.१: যখন q≡3(mod8),q>3q \equiv 3 \pmod{8}, q > 3, যেকোনো 2≤d≤5q+182 \leq d \leq \frac{5q+1}{8} এর জন্য, [[3(q2−1)8,k,d]]q[[\frac{3(q^2-1)}{8}, k, d]]_q কোয়ান্টাম এমডিএস কোড বিদ্যমান।

অনুপুষ্টি ७.२: বিজোড় qq এবং নির্দিষ্ট শর্তের জন্য, [[σq2−14m,k,d]]q[[\sigma\frac{q^2-1}{4m}, k, d]]_q কোয়ান্টাম এমডিএস কোড বিদ্যমান।

२. নির্দিষ্ট উদাহরণ

  • q=11q = 11: [[45,33,7]]11[[45, 33, 7]]_{11} এমডিএস কোড
  • q=83,m=7q = 83, m = 7: [[492,400,47]]83[[492, 400, 47]]_{83} এমডিএস কোড
  • q=29,m=3q = 29, m = 3: [[280,234,24]]29[[280, 234, 24]]_{29} এমডিএস কোড

३. পরিচিত নির্মাণের সাথে তুলনা

সাহিত্য 12 এর পরামিতি সারণীর সাথে তুলনার মাধ্যমে, প্রমাণ করা হয়েছে যে নির্মিত কোডগুলি সত্যিই নতুন এবং বিদ্যমান নির্মাণ দ্বারা কভার করা হয় না।

পরিচিত পরিবার মিলান

পেপারটি এও প্রদর্শন করে যে এই নির্মাণ কিছু পরিচিত কোড পরিবার পুনরুৎপাদন করতে পারে, পদ্ধতির সঠিকতা যাচাই করে:

  • সাহিত্য 5 এর উপপাদ্য 4.5 এর পরামিতি মিলান
  • সাহিত্য 8 এর উপপাদ্য 3.7 এর পরামিতি মিলান
  • সাহিত্য 13 এর উপপাদ্য 3.3 এর পরামিতি মিলান

ছোট দূরত্ব উদাহরণ

অনুপুষ্টি ७.७: যখন q≡1(mod6)q \equiv 1 \pmod{6}, যেকোনো 2≤σ≤(q+1)/22 \leq \sigma \leq (q+1)/2 এর জন্য, [[6σ,k,5]]q[[6\sigma, k, 5]]_q কোয়ান্টাম এমডিএস কোড বিদ্যমান।

অনুপুষ্টি ७.८: যখন q≡5(mod6),q>5q \equiv 5 \pmod{6}, q > 5, [[6σ,k,7]]q[[6\sigma, k, 7]]_q কোয়ান্টাম এমডিএস কোড বিদ্যমান।

সম্পর্কিত কাজ

প্রধান গবেষণা দিক

  1. স্থিতিশীল কোয়ান্টাম কোড: ক্লাসিক্যাল সংযোজনীয় কোডের উপর ভিত্তি করে নির্মাণ পদ্ধতি
  2. কোয়ান্টাম এমডিএস কোড: কোয়ান্টাম সিঙ্গেলটন সীমানা অর্জন করে এমন সর্বোত্তম কোড
  3. জিআরএস কোড পদ্ধতি: কোয়ান্টাম কোড নির্মাণে সাধারণীকৃত রিড-সলোমন কোড ব্যবহার

এই পেপারের সুবিধা

  1. স্পষ্ট নির্মাণ: অস্তিত্ব প্রমাণের তুলনায়, বিকৃত ভেক্টরের স্পষ্ট রূপ প্রদান করা
  2. পরামিতি নমনীয়তা: বিদ্যমান পদ্ধতির চেয়ে আরও নমনীয় পরামিতি নির্বাচন প্রদান করা
  3. নতুন পরামিতি পরিসর: q±1q \pm 1 এর গুণিতক নয় এমন দৈর্ঘ্যের নতুন কোড নির্মাণ

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

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

  1. নমনীয় পরামিতি সহ নতুন কোয়ান্টাম এমডিএস কোড পরিবার সফলভাবে নির্মাণ করা
  2. প্রমাণ করা যে এই কোডগুলি নির্দিষ্ট পরামিতি পরিসরে প্রথমবার নির্মিত হয়েছে
  3. সম্পূর্ণ তাত্ত্বিক বিশ্লেষণ কাঠামো প্রদান করা

সীমাবদ্ধতা

  1. দূরত্ব সীমাবদ্ধতা: সাহিত্য 10 থেকে, জিআরএস পদ্ধতি ব্যবহার করে নির্মিত কোড d≤q+1d \leq q+1 সন্তুষ্ট করে
  2. পরামিতি সীমাবদ্ধতা: gcd⁡(λ,τ)=1\gcd(\lambda,\tau) = 1 ইত্যাদি সীমাবদ্ধতা সন্তুষ্ট করা প্রয়োজন
  3. দৈর্ঘ্য পরিসর: প্রধানত q+1q+1 থেকে q2+2q^2+2 এর মধ্যে দৈর্ঘ্যে ফোকাস করা

ভবিষ্যত দিক

  1. এমডিএস অনুমান পরিসরের বাইরে কোড নির্মাণ অন্বেষণ করা
  2. বৃহত্তর ন্যূনতম দূরত্বের নির্মাণ পদ্ধতি গবেষণা করা
  3. অন্যান্য ধরনের কোয়ান্টাম কোডে সম্প্রসারণ করা

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

সুবিধা

  1. তাত্ত্বিক কঠোরতা: সম্পূর্ণ গাণিতিক প্রমাণ এবং বিশ্লেষণ কাঠামো প্রদান করা
  2. পদ্ধতি উদ্ভাবন: ব্যর্থতা বিন্দু তত্ত্ব স্ব-অর্থোগোনালিটা বিশ্লেষণের জন্য নতুন সরঞ্জাম প্রদান করে
  3. ব্যবহারিক মূল্য: নির্মিত কোডগুলি প্রকৃত প্রয়োগের সম্ভাবনা রয়েছে
  4. লেখার স্পষ্টতা: পেপারের কাঠামো স্পষ্ট, যুক্তি কঠোর

অপূর্ণতা

  1. গণনামূলক জটিলতা: নির্মাণ অ্যালগরিদমের গণনামূলক জটিলতা আলোচনা করা হয়নি
  2. এনকোডিং/ডিকোডিং: নির্দিষ্ট এনকোডিং/ডিকোডিং অ্যালগরিদম অন্তর্ভুক্ত করা হয়নি
  3. কর্মক্ষমতা বিশ্লেষণ: অন্যান্য অ-এমডিএস কোডের সাথে কর্মক্ষমতা তুলনার অভাব

প্রভাব

  1. তাত্ত্বিক অবদান: কোয়ান্টাম কোড তত্ত্বে নতুন নির্মাণ পদ্ধতি প্রদান করে
  2. প্রয়োগ সম্ভাবনা: কোয়ান্টাম যোগাযোগ এবং কোয়ান্টাম গণনায় সম্ভাব্য প্রয়োগ
  3. পুনরুৎপাদনযোগ্যতা: তাত্ত্বিক নির্মাণ যাচাই এবং পুনরুৎপাদন করা সহজ

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

  1. কোয়ান্টাম ত্রুটি সংশোধন কোডের তাত্ত্বিক গবেষণা
  2. কোয়ান্টাম যোগাযোগ ব্যবস্থার কোড ডিজাইন
  3. উচ্চ নির্ভরযোগ্যতা প্রয়োজন এমন কোয়ান্টাম গণনা প্রয়োগ

সংদর্ভ

পেপারটি ১৮টি সম্পর্কিত সংদর্ভ উদ্ধৃত করে, প্রধানত অন্তর্ভুক্ত:

  • কোয়ান্টাম স্থিতিশীল কোডের ক্লাসিক্যাল সাহিত্য 1,4,9
  • সাম্প্রতিক কোয়ান্টাম এমডিএস কোড নির্মাণ কাজ 2,6,11,12
  • কোয়ান্টাম কোডে জিআরএস কোডের প্রয়োগ 7,10
  • সীমাবদ্ধ চক্রীয় কোড সম্পর্কিত কাজ 5,8,13

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