<p>We develop quantum weighted algebraic geometry (QWAG) codes: CSS codes obtained from evaluation codes on quasi-smooth hypersurfaces in weighted projective planes <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {P}(w_0,w_1,w_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">P</mi> <mo stretchy="false">(</mo> <msub> <mi>w</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>w</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>w</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> over finite fields. A single quasi-smooth weighted-homogeneous equation realizes curves of genera with no smooth plane model with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\deg (H|_X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>deg</mo> <mo stretchy="false">(</mo> <mi>H</mi> <msub> <mo stretchy="false">|</mo> <mi>X</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\deg (K_X)=2g-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>deg</mo> <mo stretchy="false">(</mo> <msub> <mi>K</mi> <mi>X</mi> </msub> <mo stretchy="false">)</mo> <mo>=</mo> <mn>2</mn> <mi>g</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> read off the weights and degree and with an explicit monomial Riemann–Roch basis whose order-domain structure keeps the codes explicitly encodable and decodable. The weighted adjunction formula renders the CSS self-orthogonality condition <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(2G \le K_X + D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>G</mi> <mo>≤</mo> <msub> <mi>K</mi> <mi>X</mi> </msub> <mo>+</mo> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation> the transparent numerical inequality <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(2\deg (G)\le (2g-2)+n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>deg</mo> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mi>g</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> <mo>+</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>, yielding broad families of dual-containing codes without ad hoc search. We prove an achievability bound <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(d \ge \tfrac{n-k_Q}{2}+1-g\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mrow> <mi>n</mi> <mo>-</mo> <msub> <mi>k</mi> <mi>Q</mi> </msub> </mrow> <mn>2</mn> </mfrac> </mstyle> <mo>+</mo> <mn>1</mn> <mo>-</mo> <mi>g</mi> </mrow> </math></EquationSource> </InlineEquation> via residue duality, placing these stabilizer codes within <i>g</i> of the quantum Singleton value, and we record that weighted spaces give no automatic gain in rational points. We further pose, with a supporting orbifold Riemann–Roch heuristic, a conjectural orbifold refinement <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(d \le \tfrac{n-k_Q}{2}+1-\tfrac{\epsilon }{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≤</mo> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mrow> <mi>n</mi> <mo>-</mo> <msub> <mi>k</mi> <mi>Q</mi> </msub> </mrow> <mn>2</mn> </mfrac> </mstyle> <mo>+</mo> <mn>1</mn> <mo>-</mo> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mi>ϵ</mi> <mn>2</mn> </mfrac> </mstyle> </mrow> </math></EquationSource> </InlineEquation> of the converse, where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϵ</mi> </math></EquationSource> </InlineEquation> is the total orbifold defect. Since the underlying superelliptic curves are indexed by binary-form invariants—themselves coordinates on a weighted projective moduli space—the framework connects naturally to invariant databases and graded learning architectures as tools for code search and for probing the refined conjecture.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Quantum weighted algebraic geometry codes

  • Tanush Shaska

摘要

We develop quantum weighted algebraic geometry (QWAG) codes: CSS codes obtained from evaluation codes on quasi-smooth hypersurfaces in weighted projective planes \(\mathbb {P}(w_0,w_1,w_2)\) P ( w 0 , w 1 , w 2 ) over finite fields. A single quasi-smooth weighted-homogeneous equation realizes curves of genera with no smooth plane model with \(\deg (H|_X)\) deg ( H | X ) and \(\deg (K_X)=2g-2\) deg ( K X ) = 2 g - 2 read off the weights and degree and with an explicit monomial Riemann–Roch basis whose order-domain structure keeps the codes explicitly encodable and decodable. The weighted adjunction formula renders the CSS self-orthogonality condition \(2G \le K_X + D\) 2 G K X + D the transparent numerical inequality \(2\deg (G)\le (2g-2)+n\) 2 deg ( G ) ( 2 g - 2 ) + n , yielding broad families of dual-containing codes without ad hoc search. We prove an achievability bound \(d \ge \tfrac{n-k_Q}{2}+1-g\) d n - k Q 2 + 1 - g via residue duality, placing these stabilizer codes within g of the quantum Singleton value, and we record that weighted spaces give no automatic gain in rational points. We further pose, with a supporting orbifold Riemann–Roch heuristic, a conjectural orbifold refinement \(d \le \tfrac{n-k_Q}{2}+1-\tfrac{\epsilon }{2}\) d n - k Q 2 + 1 - ϵ 2 of the converse, where \(\epsilon \) ϵ is the total orbifold defect. Since the underlying superelliptic curves are indexed by binary-form invariants—themselves coordinates on a weighted projective moduli space—the framework connects naturally to invariant databases and graded learning architectures as tools for code search and for probing the refined conjecture.