关于半径为 R、余维数为 tR+1 的覆盖码的进一步结果
组合数学
2024-03-04 v2
摘要
长度函数 ℓ q ( r , R ) \ell_q(r,R) ℓ q ( r , R ) 是具有余维数(冗余度)r r r 和覆盖半径 R R R 的 q q q 元线性 [ n , n − r ] q R [n,n-r]_qR [ n , n − r ] q R 码的最小可能长度 n n n 。令 s q ( N , ρ ) s_q(N,\rho) s q ( N , ρ ) 为射影空间 P G ( N , q ) \mathrm{PG}(N,q) PG ( N , q ) 中 ρ \rho ρ -饱和集的最小大小。在 [ n , n − r ] q R [n,n-r]_qR [ n , n − r ] q R 码与 P G ( r − 1 , q ) \mathrm{PG}(r-1,q) PG ( r − 1 , q ) 中的 ( R − 1 ) (R-1) ( R − 1 ) -饱和 n n n -集之间存在一一对应,这意味着 ℓ q ( r , R ) = s q ( r − 1 , R − 1 ) \ell_q(r,R)=s_q(r-1,R-1) ℓ q ( r , R ) = s q ( r − 1 , R − 1 ) 。本工作中,对 R ≥ 3 R\ge3 R ≥ 3 ,以如下形式得到 ℓ q ( t R + 1 , R ) \ell_q(tR+1,R) ℓ q ( tR + 1 , R ) 的新渐近上界:∙ ℓ q ( t R + 1 , R ) = s q ( t R , R − 1 ) ≤ R ! R R − 2 R ⋅ q ( r − R ) / R ⋅ ln q R + o ( q ( r − R ) / R ) , r = t R + 1 , t ≥ 1 , q 为任意素数幂 , q 足够大 ; \hspace{0.7cm} \bullet~\ell_q(tR+1,R) =s_q(tR,R-1)\le \sqrt[R]{\frac{R!}{R^{R-2}}}\cdot q^{(r-R)/R}\cdot\sqrt[R]{\ln q}+o(q^{(r-R)/R}), \hspace{0.3cm}r=tR+1,~t\ge1,~ q\text{ 为任意素数幂},~q\text{ 足够大}; ∙ ℓ q ( tR + 1 , R ) = s q ( tR , R − 1 ) ≤ R R R − 2 R ! ⋅ q ( r − R ) / R ⋅ R ln q + o ( q ( r − R ) / R ) , r = tR + 1 , t ≥ 1 , q 为任意素数幂 , q 足够大 ; ∙ 若此外 R 足够大, 则 R ! R R − 2 R ∼ 1 e ≈ 0.3679. \hspace{0.7cm} \bullet~\text{ 若此外 }R\text{ 足够大, 则 }\sqrt[R]{\frac{R!}{R^{R-2}}}\thicksim\frac{1}{e}\thickapprox0.3679. ∙ 若此外 R 足够大 , 则 R R R − 2 R ! ∼ e 1 ≈ 0.3679. 新界本质上优于已知界。对 t = 1 t=1 t = 1 ,提出了射影空间 P G ( R , q ) \mathrm{PG}(R,q) PG ( R , q ) 中提供小尺寸集的 ( R − 1 ) (R-1) ( R − 1 ) -饱和集的新构造。该构造所得的 [ n , n − ( R + 1 ) ] q R [n,n-(R+1)]_qR [ n , n − ( R + 1 ) ] q R 码具有最小距离 R + 1 R + 1 R + 1 ,即它们几乎是 MDS(AMDS)码。这些码在提升构造(所谓“q m q^m q m -并置构造”)中作为起始码,用于覆盖码以获得余维数 r = t R + 1 r=tR+1 r = tR + 1 、t ≥ 1 t\ge1 t ≥ 1 不断增长的无限码族。
引用
@article{arxiv.2310.02715,
title = {Further results on covering codes with radius R and codimension tR + 1},
author = {Alexander A. Davydov and Stefano Marcugini and Fernanda Pambianco},
journal= {arXiv preprint arXiv:2310.02715},
year = {2024}
}
备注
24 pages. arXiv admin note: text overlap with arXiv:2108.13609