Quantum Codes from $r$-Nearly Self-Orthogonal Linear Codes via Jordan Canonical Form over $\mathbb{F}_{q^2}$
- URL: http://arxiv.org/abs/2607.12242v1
- Date: Tue, 14 Jul 2026 00:58:42 GMT
- Title: Quantum Codes from $r$-Nearly Self-Orthogonal Linear Codes via Jordan Canonical Form over $\mathbb{F}_{q^2}$
- Abstract summary: We introduce a Jordan-canonical-form framework for constructing $q$-ary quantum stabilizer codes from arbitrary classical linear codes over $F_q2$.<n>The framework does not require the classical linear code $mathcalC$ to satisfy the dual-containing condition (i.e., self-orthogonality)<n>Applying this construction to classical codes produces several record quantum codes that improve or supplement the best-known parameters in Grassl's tables.
- Score: 5.6342405886627
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We introduce a Jordan-canonical-form framework for constructing $q$-ary quantum stabilizer codes from arbitrary classical linear codes over $\F_{q^2}$. The framework does not require the classical linear code $\mathcal{C}$ to satisfy the dual-containing condition (i.e., self-orthogonality). Given a classical code $\mathcal{C}=[n,k,d]_{q^2}$ with parity-check matrix $H$, we measure the obstruction to Hermitian self-orthogonality by the rank $r=(n-k)-\dim_{\F_{q^2}}(\mathcal{C}^{\perp_h}\cap \mathcal{C})$. The ingredient code $\mathcal{C}$ is $r$-nearly dual containing, or, equivalently, $\mathcal{C}^{\perp_h}$ is $r$-nearly self-orthogonal, by which we mean that $r=\Rank(HH^{\dagger})=\dim_{\F_{q^2}}(\mathcal{C}^{\perp_h})-\dim_{\F_{q^2}}(\mathcal{C}^{\perp_h}\cap \mathcal{C})$. By systematically reducing the rank of the Hermitian inner-product matrix $A=HH^{\dagger}$ through rank-one perturbations along the Jordan basis $W=P^{-1}$ of the decomposition $A=PJ_AP^{-1}$, we construct an explicit Hermitian self-orthogonal code $\mathcal{C}_{\mathrm{so}}=[n+r,n-k]_{q^2}$. A sufficient distance-preservation criterion guarantees that the resulting $q$-ary quantum code has parameters $[[n+r,2k-n+r,\geq d]]_q$. Applying this construction to classical codes produces several record quantum codes that improve or supplement the best-known parameters in Grassl's tables.
Related papers
- Proximity Gaps for Gabidulin Codes and Applications [25.766490264515806]
We show that every $[n,k,d]$ linear rank-metric code $C$ over $mathbb F_qm$ admits a proximity gap with error $$.<n>For Gabidulin codes, we improve the gap to $(d-1)/(2n)$ with error $10qn-1/qm.<n>These two proximity gaps match those for general linear Hamming-metric codes and Reed-leaved (RS) codes.<n>We then adapt the Ligero-based PCS for ordinarys to obtain a $q$
arXiv Detail & Related papers (2026-09-09T07:45:54Z) - Two-Tower Quantum Matrix Chain Multiplication: Trading Qubits for Depth [73.08853228981701]
Matrix chain multiplication is a problem in scientific computing, machine learning, and graph analysis.<n>We present emphTwo-Tower Matrix, a quantum subroutine that encodes the product $mathcalW$ of the $K$ matrices into a quantum state in circuit depth.
arXiv Detail & Related papers (2026-07-14T18:42:40Z) - Generalized Extended Codes with Applications in Entanglement-Assisted Qubit and Qutrit Codes [34.65128303335464]
We prove that any generalized extended code is monomially equivalent to the Hermitian dual of a code which is closely related to a second kind of extended code of $Cperp_rm H$.<n>We obtain explicit criteria to independently control the expected Hermitian hull dimension and Hermitian dual distance of $C(bf u,a)$.
arXiv Detail & Related papers (2026-07-02T13:41:14Z) - Self-testing of exact entanglement embezzlement [0.0]
We consider exact entanglement embezzlement with a catalyst state vector $$ in a Hilbert space $mathcalH$ using unitaries.<n>We show that any such protocol must arise from a unique state on the tensor product $mathcalO_d otimes mathcalO_d$ of the Cuntz algebra with itself.
arXiv Detail & Related papers (2026-05-21T16:50:39Z) - Optimal Scalar Quantization for Matrix Multiplication: Closed-Form Density and Phase Transition [50.36362492608702]
We study entrywise scalar quantization of two matrices prior to multiplication.<n>We obtain a closed-form optimal point density [ star(u) propto exp!left(-fracu26right)bigl( (1-2)+2u22bigr), qquad u=fracx_X,, and prove a correlation-driven phase transition.
arXiv Detail & Related papers (2026-03-20T01:53:44Z) - Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
Consider a Hermitian operator $A$ acting on a complex Hilbert space of $2n$.<n>We show that when $A$ has small degree in the Pauli expansion, or in other words, $A$ is a local $n$-qubit Hamiltonian.<n>We show that whenever $A$ is $d$-local, textiti.e., $deg(A)le d$, we have the following discretization-type inequality.
arXiv Detail & Related papers (2025-09-15T14:26:11Z) - The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
We show that this problem has randomized communication complexity $Omega(frac1kcdot n2log|mathbbF|)$.
As an application, we obtain an $Omega(frac1kcdot n2log|mathbbF|)$ space lower bound for any streaming algorithm with $k$ passes.
arXiv Detail & Related papers (2024-10-26T06:21:42Z) - Characterizing Kirkwood-Dirac nonclassicality and uncertainty diagram
based on discrete Fourier transform [6.344765041827868]
We show that for the uncertainty diagram of the DFT matrix which is a transition matrix from basis $mathcal A$ to basis $mathcal B$, there is no hole"
We present that the KD nonclassicality of a state based on the DFT matrix can be completely characterized by using the support uncertainty relation.
arXiv Detail & Related papers (2023-03-30T07:55:21Z) - Divisible Codes for Quantum Computation [0.6445605125467572]
Divisible codes are defined by the property that codeword weights share a common divisor greater than one.
This paper explores how they can be used to protect quantum information as it is transformed by logical gates.
arXiv Detail & Related papers (2022-04-27T20:18:51Z) - Low-degree learning and the metric entropy of polynomials [44.99833362998488]
We prove that any (deterministic or randomized) algorithm which learns $mathscrF_nd$ with $L$-accuracy $varepsilon$ requires at least $Omega(sqrtvarepsilon)2dlog n leq log mathsfM(mathscrF_n,d,|cdot|_L,varepsilon) satisfies the two-sided estimate $$c (1-varepsilon)2dlog
arXiv Detail & Related papers (2022-03-17T23:52:08Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$.
It is assumed that a density matrix $rho$ can be determined from the expectation values of observables.
Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
arXiv Detail & Related papers (2021-12-14T16:29:53Z) - Spectral properties of sample covariance matrices arising from random
matrices with independent non identically distributed columns [50.053491972003656]
It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$.
Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
arXiv Detail & Related papers (2021-09-06T14:21:43Z) - Determining when a truncated generalised Reed-Solomon code is Hermitian
self-orthogonal [0.7614628596146599]
We prove that there is a Hermitian self-orthogonal $k$-dimensional truncated generalised Reed-Solomon code of length $n$ over $mathbb F_q2$.
We also provide examples of Hermitian self-orthogonal $k$-dimensional Reed-Solomon codes of length $q2+1$ over $mathbb F_q2$, for $k=q-1$ and $q$ an odd power of two.
arXiv Detail & Related papers (2021-06-18T15:16:44Z) - Sublinear classical and quantum algorithms for general matrix games [11.339580074756189]
We investigate sublinear classical and quantum algorithms for matrix games.
For any fixed $qin (1,2), we solve the matrix game where $mathcalX$ is a $ell_q$-norm unit ball within additive error.
We also provide a corresponding sublinear quantum algorithm that solves the same task in time.
arXiv Detail & Related papers (2020-12-11T17:36:33Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.