SearcharxivSearch

arXiv subjects

Vahid Nourozi

Publications and source records attributed to Vahid Nourozi.

15 recordsLinked to original sources

Lifted-Product QLDPC Codes in the Polynomial Domain

This paper presents a finite-length polynomial-domain formulation of lifted-product quantum low-density parity-check (QLDPC) codes. We formulate the code construction over the quotient ring F 2[D]/(D L + 1), where polynomial base matrices are lifted entrywise to binary circulant blocks. This representation gives a compact algebraic description of the lifted-product parity-check matrices and allows CSS orthogonality to be analyzed before binary expansion. We show that the standard circulant lifting map is compatible with polynomial conjugation, which implies that the resulting binary matrices satisfy the CSS commutation constraint. The construction is illustrated with a constraint length 7, rate 1/2 NASA convolutional code example, and numerical examples are provided from a 3 x 4 polynomial parity-check matrix. The finite-length performance of selected constructed codes is then evaluated over the depolarizing channel using various benchmark decoders. The resulting framework gives a structured method to construct finite-length lifted-product QLDPC codes from small polynomial base matrices.

cs.IT

High-Performance Reinforcement-Learned BP Decoding of Quantum LDPC Codes

Belief-propagation (BP) decoding is attractive for quantum low-density parity-check (QLDPC) codes because it uses local message passing on sparse Tanner graphs. However, conventional flooding BP often stalls due to stabilizer degeneracy and short cycles. Reinforcement-learning-based sequential variable-node scheduling (RL-S), which learns the update order offline, has shown that adaptive scheduling can improve BP convergence. In this paper, we extend this idea with a second-order local update decoder, RL-S2LU. The proposed decoder preserves BP locality and low complexity, while numerical results show significant error-correction gains over conventional BP and the considered BP-OSD-10 baseline.

cs.IT

Learning to Decode Quantum LDPC Codes Via Belief Propagation

Belief-propagation (BP) decoding for quantum low-density parity-check (QLDPC) codes is appealing due to its low complexity, yet it often exhibits convergence issues due to quantum degeneracy and short cycles that exist in the Tanner graph. To overcome this challenge, this paper proposes a reinforcement-learning (RL) approach that learns (offline) how to decode QLDPC codes based on sequential decoding trajectories. The decoding is formulated as a Markov decision process with a local, syndrome-driven state representation of the underlying RL agent. To enable fast inference, critical for practical implementation, we incrementally update our RL-based QLDPC decoder using second-order neighborhoods that avoid global rescans. Simulation results on representative QLDPC codes demonstrate the superiority of the proposed RL-based QLDPC decoders in terms of performance and convergence speed when compared to flooding and random sequential schedules, while achieving performance competitive with state-of-the-art BP-based decoders at comparable complexity.

cs.IT

Sequential BP-based Decoding of QLDPC Codes

Quantum low-density parity-check (QLDPC) codes are a leading approach to quantum error correction, yet conventional belief propagation (BP) decoders often perform poorly, primarily due to non-convergence exacerbated by stabilizer constraints, which induce short cycles and degeneracy. We propose two scheduling variants, sequential check node scheduling (SCNS) and sequential variable node scheduling (SVNS), that improve BP's error-correction ability by processing check nodes (CNs) or variable nodes (VNs), respectively, in a fixed order, stabilizing message updates and reducing stalls. We also employ this technique to an improved BP-variant called BP guided decimation (BPGD), where symbols are progressively fixed during decoding iterations. Here, we demonstrate that the sequential BPGD (SBPGD) decoder can further improve the convergence properties and performance of the decoder. On standard QLDPC benchmarks under a Pauli-X noise model, our sequential schedules are shown to lower the block error rate relative to conventional BP, and SBPGD outperforms BPGD while using significantly fewer decimation rounds, translating to lower computational cost. These results demonstrate that changing the update schedule, without altering the code, can improve both the reliability and efficiency of BP-based decoding for QLDPC codes. For the [[1922,50,16]] C2 hypergraph-product code with independent X errors, SVNS-BP surpasses BP-OSD-0 in error correction at roughly the same complexity as standard BP.

cs.IT

Constructing Quantum Convolutional Codes via Difference Triangle Sets

In this paper, we introduce a construction of quantum convolutional codes (QCCs) based on difference triangle sets (DTSs). To construct QCCs, one must determine polynomial stabilizers $X(D)$ and $Z(D)$ that commute (symplectic orthogonality), while keeping the stabilizers sparse and encoding memory small. To construct Z(D), we show that one can use a reflection of the DTS indices of X(D), where X(D) corresponds to a classical convolutional self-orthogonal code (CSOC) constructed from strong DTS supports. The motivation of this approach is to provide a constructive design that guarantees a prescribed minimum distance. We provide numerical results demonstrating the construction for a variety of code rates.

cs.IT

Flagged Extensions and Numerical Simulations for Quantum Channel Capacity: Bridging Theory and Computation

I will investigate the capacities of noisy quantum channels through a combined analytical and numerical approach. First, I introduce novel flagged extension techniques that embed a channel into a higher-dimensional space, enabling single-letter upper bounds on quantum and private capacities. My results refine previous bounds and clarify noise thresholds beyond which quantum transmission vanishes. Second, I present a simulation framework that uses coherent information to estimate channel capacities in practice, focusing on two canonical examples: the amplitude damping channel (which we confirm is degradable and thus single-letter) and the depolarizing channel (whose capacity requires multi-letter superadditivity). By parameterizing input qubit states on the Bloch sphere, I numerically pinpoint the maximum coherent information for each channel and validate the flagged extension bounds. Notably, I capture the abrupt transition to zero capacity at high noise and observe superadditivity for moderate noise levels.

quant-ph

Reinforcement Learning Enhanced Greedy Decoding for Quantum Stabilizer Codes over $\mathbb{F}_q$

We construct new classical Goppa codes and corresponding quantum stabilizer codes from plane curves defined by separated polynomials. In particular, over $\mathbb{F}_3$ with the Hermitian curve $y^3 + y = x^4$, we obtain a ternary code of length 27, dimension 13, distance 4, which yields a [[27, 13, 4]]$_3$ quantum code. To decode, we introduce an RL-on-Greedy algorithm: first apply a standard greedy syndrome decoder, then use a trained Deep Q-Network to correct any residual syndrome. Simulation under a depolarizing noise model shows that RL-on-Greedy dramatically reduces logical failure compared to greedy alone. Our work thus broadens the class of Goppa- and quantum-stabilizer codes from separated-polynomial curves and delivers a learned decoder with near-optimal performance.

quant-ph

Goppa code and quantum stabilizer codes from plane curves given by separated polynomials

In this paper, we examine algebraic geometric (AG) codes associated with curves generated by separated polynomials, and we create AG codes and quantum stabilizer codes from these curves by varying their parameters. Our research involves a thorough examination of the curves' algebraic features as well as the creation of Goppa codes over them. Extending these findings, we create quantum stabilizer codes, revealing that quantum codes built from Hermitian self-orthogonal AG codes have acceptable parameters, improving the reliability and performance of communication networks.

math.AG

Quantum Error Correction with Goppa Codes from Maximal Curves: Design, Simulation, and Performance

This paper characterizes Goppa codes of certain maximal curves over finite fields defined by equations of the form $y^n = x^m + x$. We investigate Algebraic Geometric and quantum stabilizer codes associated with these maximal curves and propose modifications to improve their parameters. The theoretical analysis is complemented by extensive simulation results, which validate the performance of these codes under various error rates. We provide concrete examples of the constructed codes, comparing them with known results to highlight their strengths and trade-offs. The simulation data, presented through detailed graphs and tables, offers insights into the practical behavior of these codes in noisy environments. Our findings demonstrate that while the constructed codes may not always achieve optimal minimum distances, they offer systematic construction methods and interesting parameter trade-offs that could be valuable in specific applications or for further theoretical study.

math.AG

The $a$-number of $y^n=x^m+x$ over finite fields

This paper presents a formula for $a$-number of certain maximal curves characterized by the equation $y^{\frac{q+1}{2}} = x^m + x$ over the finite field $\mathbb{F}_{q^2}$. $a$-number serves as an invariant for the isomorphism class of the $p$-torsion group scheme. Utilizing the action of the Cartier operator on $H^0(\mathcal{X}, Ω^1)$, we establish a closed formula for $a$-number of $\mathcal{X}$.

math.NT

Goppa Codes: Key to High Efficiency and Reliability in Communications

In this paper, we study some codes of algebraic geometry related to certain maximal curves. Quantum stabilizer codes obtained through the self orthogonality of Hermitian codes of this error correcting do not always have good parameters. However, appropriate parameters found that the Hermitian self-orthogonal code quantum stabilizer code has good parameters. Therefore, we investigated the quantum stabilizer code at a certain maximum curve and modified its parameters. Algebraic geometry codes show promise for enabling high data rate transmission over noisy power line communication channels.

cs.IT

The $a$-number of $y^{q^2+q+1} = x^{q^2+1} + x^q $ over finite field

In this paper, we compute a formula for the $a$-number of curve $\mathbb{X}$ given by the equation $y^{q^2 + q + 1} = x^{q^2 + 1} - x^q$ over the finite field $\mathbb{F}_{q^2}$. The $a$-number is an invariant of the isomorphism class of the $p$-torsion group scheme. In this paper, we compute a closed formula for the $a$-number of $\mathbb{X}$ using the action of the Cartier operator on $H^0(\mathbb{X}, Ω^1)$.

math.NT

The Rank of the Cartier operator on Picard Curves

For an algebraic curve $\mathcal{X}$ defined over an algebraically closed field of characteristic $p > 0$, the $a$-number $a(\mathcal{X})$ is the dimension of the space of exact holomorphic differentials on $\mathcal{X}$. We compute the $a$-number for a family of certain Picard curves, using the action of the Cartier operator on $H^0(\mathcal{X},Ω^1)$.

math.AG

Application of the Cartier Operator in Coding Theory

The $a$-number is an invariant of the isomorphism class of the $p$-torsion group scheme. We use the Cartier operator on $H^0(\mathcal{A}_2,Ω^1)$ to find a closed formula for the $a$-number of the form $\mathcal{A}_2 = v(Y^{\sqrt{q}}+Y-x^{\frac{\sqrt{q}+1}{2}})$ where $q=p^s$ over the finite field $\mathbb{F}_{q^2}$. The application of the computed $a$-number in coding theory is illustrated by the relationship between the algebraic properties of the curve and the parameters of codes that are supported by it.

cs.IT

The $a$-number of Certain Hyperelliptic Curves

In this paper, we compute a formula for the $a$-number of certain hyperelliptic curves given by the equation $y^2= x^m+1$ for infinitely many values of $m$. The same question is studied for the curve corresponding to $y^2= x^m+x$.

math.AC