Showing 1–35 of 35 results for author: Duursma, I

Accelerating Polarization via Alphabet Extension

Authors: Iwan Duursma, Ryan Gabrys, Venkatesan Guruswami, Ting-Chun Lin, Hsin-Po Wang

Abstract: Polarization is an unprecedented coding technique in that it not only achieves channel capacity, but also does so at a faster speed of convergence than any other coding technique. This speed is measured by the ``scaling exponent'' and its importance is three-fold. Firstly, estimating the scaling exponent is challenging and demands a deeper understanding of the dynamics of communication channels. S… ▽ More Polarization is an unprecedented coding technique in that it not only achieves channel capacity, but also does so at a faster speed of convergence than any other coding technique. This speed is measured by the ``scaling exponent'' and its importance is three-fold. Firstly, estimating the scaling exponent is challenging and demands a deeper understanding of the dynamics of communication channels. Secondly, scaling exponents serve as a benchmark for different variants of polar codes that helps us select the proper variant for real-life applications. Thirdly, the need to optimize for the scaling exponent sheds light on how to reinforce the design of polar codes. In this paper, we generalize the binary erasure channel (BEC), the simplest communication channel and the protagonist of many coding theory studies, to the ``tetrahedral erasure channel'' (TEC). We then invoke Mori--Tanaka's $2 \times 2$ matrix over GF$(4)$ to construct polar codes over TEC. Our main contribution is showing that the dynamic of TECs converges to an almost--one-parameter family of channels, which then leads to an upper bound of $3.328$ on the scaling exponent. This is the first non-binary matrix whose scaling exponent is upper-bounded. It also polarizes BEC faster than all known binary matrices up to $23 \times 23$ in size. Our result indicates that expanding the alphabet is a more effective and practical alternative to enlarging the matrix in order to achieve faster polarization. △ Less

Submitted 15 July, 2023; v1 submitted 10 July, 2022; originally announced July 2022.

Comments: 22 pages, 4 figures. Accepted to RANDOM 2022. v2: 29 pages, 5 figures, 1 table; address comments from JSAIT

MSC Class: 94B65

Parity-Checked Strassen Algorithm

Authors: Hsin-Po Wang, Iwan Duursma

Abstract: To multiply astronomic matrices using parallel workers subject to straggling, we recommend interleaving checksums with some fast matrix multiplication algorithms. Nesting the parity-checked algorithms, we weave a product code flavor protection. Two demonstrative configurations are as follows: (A) $9$ workers multiply two $2\times 2$ matrices; each worker multiplies two linear combinations of ent… ▽ More To multiply astronomic matrices using parallel workers subject to straggling, we recommend interleaving checksums with some fast matrix multiplication algorithms. Nesting the parity-checked algorithms, we weave a product code flavor protection. Two demonstrative configurations are as follows: (A) $9$ workers multiply two $2\times 2$ matrices; each worker multiplies two linear combinations of entries therein. Then the entry products sent from any $8$ workers suffice to assemble the matrix product. (B) $754$ workers multiply two $9\times 9$ matrices. With empirical frequency $99.8\%$, $729$ workers suffice, wherein $729$ is the complexity of the schoolbook algorithm. In general, we propose probability-wisely favorable configurations whose numbers of workers are close to, if not less than, the thresholds of other codes (e.g., entangled polynomial code and PolyDot code). Our proposed scheme applies recursively, respects worker locality, incurs moderate pre- and post-processes, and extends over small finite fields. △ Less

Submitted 11 January, 2022; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: 40 pages, 18 figures, 2 tables; v2 adds MSC and applies corrections; v3 applies corrections

MSC Class: 94B05; 68W10 (Primary) 05B35 (Secondary)

Multilinear Algebra for Minimum Storage Regenerating Codes

Authors: Iwan Duursma, Hsin-Po Wang

Abstract: An $(n, k, d, α)$-MSR (minimum storage regeneration) code is a set of $n$ nodes used to store a file. For a file of total size $kα$, each node stores $α$ symbols, any $k$ nodes recover the file, and any $d$ nodes can repair any other node via each sending out $α/(d-k+1)$ symbols. In this work, we explore various ways to re-express the infamous product-matrix construction using skew-symmetric mat… ▽ More An $(n, k, d, α)$-MSR (minimum storage regeneration) code is a set of $n$ nodes used to store a file. For a file of total size $kα$, each node stores $α$ symbols, any $k$ nodes recover the file, and any $d$ nodes can repair any other node via each sending out $α/(d-k+1)$ symbols. In this work, we explore various ways to re-express the infamous product-matrix construction using skew-symmetric matrices, polynomials, symmetric algebras, and exterior algebras. We then introduce a multilinear algebra foundation to produce $\bigl(n, k, \frac{(k-1)t}{t-1}, \binom{k-1}{t-1}\bigr)$-MSR codes for general $t\geq2$. At the $t=2$ end, they include the product-matrix construction as a special case. At the $t=k$ end, we recover determinant codes of mode $m=k$; further restriction to $n=k+1$ makes it identical to the layered code at the MSR point. Our codes' sub-packetization level---$α$---is independent of $n$ and small. It is less than $L^{2.8(d-k+1)}$, where $L$ is Alrabiah--Guruswami's lower bound on $α$. Furthermore, it is less than other MSR codes' $α$ for a subset of practical parameters. We offer hints on how our code repairs multiple failures at once. △ Less

Submitted 30 June, 2020; originally announced June 2020.

Comments: 36 pages, 9 figures, 3 tables

MSC Class: 94B27 (Primary) 15A69 (Secondary)

Multilinear Algebra for Distributed Storage

Authors: Iwan Duursma, Xiao Li, Hsin-Po Wang

Abstract: An $(n, k, d, α, β, M)$-ERRC (exact-repair regenerating code) is a collection of $n$ nodes used to store a file. For a file of total size $M$, each node stores $α$ symbols, any $k$ nodes recover the file, and any $d$ nodes repair any other node via sending out $β$ symbols. We establish a multilinear algebra foundation to assemble $(n, k, d, α, β, M)$-ERRCs for all meaningful $(n, k, d)$ tuples. Ou… ▽ More An $(n, k, d, α, β, M)$-ERRC (exact-repair regenerating code) is a collection of $n$ nodes used to store a file. For a file of total size $M$, each node stores $α$ symbols, any $k$ nodes recover the file, and any $d$ nodes repair any other node via sending out $β$ symbols. We establish a multilinear algebra foundation to assemble $(n, k, d, α, β, M)$-ERRCs for all meaningful $(n, k, d)$ tuples. Our ERRCs tie the $α/M$-versus-$β/M$ trade-off with cascade codes, the best known construction for this trade-off. We give directions on how these ERRCs repair multiple failures. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: 33 pages, 6 figures, 1 table

MSC Class: 94B27 (Primary); 15A75 (Secondary)

Johnson Graph Codes

Authors: Iwan Duursma, Xiao Li

Abstract: We define a Johnson graph code as a subspace of labelings of the vertices in a Johnson graph with the property that labelings are uniquely determined by their restriction to vertex neighborhoods specified by the parameters of the code. We give a construction and main properties for the codes and show their role in the concatenation of layered codes that are used in distributed storage systems. A s… ▽ More We define a Johnson graph code as a subspace of labelings of the vertices in a Johnson graph with the property that labelings are uniquely determined by their restriction to vertex neighborhoods specified by the parameters of the code. We give a construction and main properties for the codes and show their role in the concatenation of layered codes that are used in distributed storage systems. A similar class of codes for the Hamming graph is discussed in an appendix. Codes of the latter type are in general different from affine Reed-Muller codes, but for the special case of the hypercube they agree with binary Reed-Muller codes. △ Less

Submitted 22 December, 2019; originally announced December 2019.

Comments: 33 pages

Polar Codes' Simplicity, Random Codes' Durability

Authors: Hsin-Po Wang, Iwan Duursma

Abstract: Over any discrete memoryless channel, we build codes such that: for one, their block error probabilities and code rates scale like random codes'; and for two, their encoding and decoding complexities scale like polar codes'. Quantitatively, for any constants $π,ρ>0$ such that $π+2ρ<1$, we construct a sequence of error correction codes with block length $N$ approaching infinity, block error probabi… ▽ More Over any discrete memoryless channel, we build codes such that: for one, their block error probabilities and code rates scale like random codes'; and for two, their encoding and decoding complexities scale like polar codes'. Quantitatively, for any constants $π,ρ>0$ such that $π+2ρ<1$, we construct a sequence of error correction codes with block length $N$ approaching infinity, block error probability $\exp(-N^π)$, code rate $N^{-ρ}$ less than the Shannon capacity, and encoding and decoding complexity $O(N\log N)$ per code block. The putative codes take uniform $ς$-ary messages for sender's choice of prime $ς$. The putative codes are optimal in the following manner: Should $π+2ρ>1$, no such codes exist for generic channels regardless of alphabet and complexity. △ Less

Submitted 18 December, 2019; originally announced December 2019.

Comments: 55 pages, 8 figures, 2 tables

Isometry-Dual Flags of AG Codes

Authors: Maria Bras-Amorós, Iwan Duursma, Eui** Hong

Abstract: Consider a complete flag $\{0\} = C_0 < C_1 < \cdots < C_n = \mathbb{F}^n$ of one-point AG codes of length $n$ over the finite field $\mathbb{F}$. The codes are defined by evaluating functions with poles at a given point $Q$ in points $P_1,\dots,P_n$ distinct from $Q$. A flag has the isometry-dual property if the given flag and the corresponding dual flag are the same up to isometry. For several c… ▽ More Consider a complete flag $\{0\} = C_0 < C_1 < \cdots < C_n = \mathbb{F}^n$ of one-point AG codes of length $n$ over the finite field $\mathbb{F}$. The codes are defined by evaluating functions with poles at a given point $Q$ in points $P_1,\dots,P_n$ distinct from $Q$. A flag has the isometry-dual property if the given flag and the corresponding dual flag are the same up to isometry. For several curves, including the projective line, Hermitian curves, Suzuki curves, Ree curves, and the Klein curve over the field of eight elements, the maximal flag, obtained by evaluation in all rational points different from the point $Q$, is self-dual. More generally, we ask whether a flag obtained by evaluation in a proper subset of rational points is isometry-dual. In [3] it is shown, for a curve of genus $g$, that a flag of one-point AG codes defined with a subset of $n > 2g+2$ rational points is isometry-dual if and only if the last code $C_n$ in the flag is defined with functions of pole order at most $n+2g-1$. Using a different approach, we extend this characterization to all subsets of size $n \geq 2g+2$. Moreover we show that this is best possible by giving examples of isometry-dual flags with $n=2g+1$ such that $C_n$ is generated by functions of pole order at most $n+2g-2$. We also prove a necessary condition, formulated in terms of maximum sparse ideals of the Weierstrass semigroup of $Q$, under which a flag of punctured one-point AG codes inherits the isometry-dual property from the original unpunctured flag. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Comments: 25 pages

Log-logarithmic Time Pruned Polar Coding

Authors: Hsin-Po Wang, Iwan Duursma

Abstract: A pruned variant of polar coding is proposed for binary erasure channels. For sufficiently small $\varepsilon>0$, we construct a series of capacity achieving codes with block length $N=\varepsilon^{-5}$, code rate $R=\text{Capacity}-\varepsilon$, error probability $P=\varepsilon$, and encoding and decoding time complexity $\text{bC}=O(\log\left|\log\varepsilon\right|)$ per information bit. The g… ▽ More A pruned variant of polar coding is proposed for binary erasure channels. For sufficiently small $\varepsilon>0$, we construct a series of capacity achieving codes with block length $N=\varepsilon^{-5}$, code rate $R=\text{Capacity}-\varepsilon$, error probability $P=\varepsilon$, and encoding and decoding time complexity $\text{bC}=O(\log\left|\log\varepsilon\right|)$ per information bit. The given per-bit complexity $\text{bC}$ is log-logarithmic in $N$, in $\text{Capacity}-R$, and in $P$; no known family of codes possesses this property. It is also the second lowest $\text{bC}$ after repeat-accumulate codes and their variants. While random codes and classical polar codes are the only two families of capacity-achieving codes whose $N$, $R$, $P$, and $\text{bC}$ were written down as explicit functions, our construction gives the third family. Then we generalize the result to: Fix a prime $q$ and fix a $q$-ary-input discrete symmetric memoryless channel. For sufficiently small $\varepsilon>0$, we construct a series of capacity achieving codes with block length $N=\varepsilon^{-O(1)}$, code rate $R=\text{Capacity}-\varepsilon$, error probability $P=\varepsilon$, and encoding and decoding time complexity $\text{bC}=O(\log\left|\log\varepsilon\right|)$ per information bit. The later construction gives the fastest family of capacity-achieving codes to date on those channels. △ Less

Submitted 30 May, 2019; originally announced May 2019.

Comments: 13 pages, 13 figures; we extend arXiv:1812.08106 and remove "BEC" from title

Polar-like Codes and Asymptotic Tradeoff among Block Length, Code Rate, and Error Probability

Authors: Hsin-Po Wang, Iwan Duursma

Abstract: A general framework is proposed that includes polar codes over arbitrary channels with arbitrary kernels. The asymptotic tradeoff among block length $N$, code rate $R$, and error probability $P$ is analyzed. Given a tradeoff between $N,P$ and a tradeoff between $N,R$, we return an interpolating tradeoff among $N,R,P$ (Theorem 5). $\def\Capacity{\text{Capacity}}$Quantitatively, if… ▽ More A general framework is proposed that includes polar codes over arbitrary channels with arbitrary kernels. The asymptotic tradeoff among block length $N$, code rate $R$, and error probability $P$ is analyzed. Given a tradeoff between $N,P$ and a tradeoff between $N,R$, we return an interpolating tradeoff among $N,R,P$ (Theorem 5). $\def\Capacity{\text{Capacity}}$Quantitatively, if $P=\exp(-N^{β^*})$ is possible for some $β^*$ and if $R=\Capacity-N^{1/μ^*}$ is possible for some $1/μ^*$, then $(P,R)=(\exp(-N^{β'}),\Capacity-N^{-1/μ'})$ is possible for some pair $(β',1/μ')$ determined by $β^*$, $1/μ^*$, and auxiliary information. In fancy words, an error exponent regime tradeoff plus a scaling exponent regime tradeoff implies a moderate deviations regime tradeoff. The current world records are: [arXiv:1304.4321][arXiv:1501.02444][arXiv:1806.02405] analyzing Arıkan's codes over BEC; [arXiv:1706.02458] analyzing Arıkan's codes over AWGN; and [arXiv:1802.02718][arXiv:1810.04298] analyzing general codes over general channels. An attempt is made to generalize all at once (Section IX). As a corollary, a grafted variant of polar coding almost catches up the code rate and error probability of random codes with complexity slightly larger than $N\log N$ over BEC. In particular, $(P,R)=(\exp(-N^{.33}),\Capacity-N^{-.33})$ is possible (Corollary 10). In fact, all points in this triangle are possible $(β',1/μ')$-pairs. $$ \require{enclose} \def\r{\phantom{\Rule{4em}{1em}{1em}}} \enclose{}\r^\llap{(0,1/2)}_\llap{(0,0)} \enclose{left,bottom,downdiagonalstrike}\r_\rlap{(1,0)} \enclose{}\r $$ △ Less

Submitted 19 December, 2018; originally announced December 2018.

Comments: 25 pages, 106 figures

Log-logarithmic Time Pruned Polar Coding on Binary Erasure Channels

Authors: Hsin-Po Wang, Iwan Duursma

Abstract: A pruned variant of polar coding is reinvented for all binary erasure channels. For small $\varepsilon>0$, we construct codes with block length $\varepsilon^{-5}$, code rate $\text{Capacity}-\varepsilon$, error probability $\varepsilon$, and encoding and decoding time complexity $O(N\log|\log\varepsilon|)$ per block, equivalently $O(\log|\log\varepsilon|)$ per information bit (Propositions 5 to 8)… ▽ More A pruned variant of polar coding is reinvented for all binary erasure channels. For small $\varepsilon>0$, we construct codes with block length $\varepsilon^{-5}$, code rate $\text{Capacity}-\varepsilon$, error probability $\varepsilon$, and encoding and decoding time complexity $O(N\log|\log\varepsilon|)$ per block, equivalently $O(\log|\log\varepsilon|)$ per information bit (Propositions 5 to 8). This result also follows if one applies systematic polar coding [Arıkan 10.1109/LCOMM.2011.061611.110862] with simplified successive cancelation decoding [Alamdar-Yazdi-Kschischang 10.1109/LCOMM.2011.101811.111480], and then analyzes the performance using [Guruswami-Xia arXiv:1304.4321] or [Mondelli-Hassani-Urbanke arXiv:1501.02444]. △ Less

Submitted 19 December, 2018; originally announced December 2018.

Comments: 16 pages, 144 figures

Polar Code Moderate Deviation: Recovering the Scaling Exponent

Authors: Hsin-Po Wang, Iwan Duursma

Abstract: In 2008 Arikan proposed polar coding [arXiv:0807.3917] which we summarize as follows: (a) From the root channel $W$ synthesize recursively a series of channels $W_N^{(1)},\dotsc,W_N^{(N)}$. (b) Select sophisticatedly a subset $A$ of synthetic channels. (c) Transmit information using synthetic channels indexed by $A$ and freeze the remaining synthetic channels. Arikan gives each synthetic channel… ▽ More In 2008 Arikan proposed polar coding [arXiv:0807.3917] which we summarize as follows: (a) From the root channel $W$ synthesize recursively a series of channels $W_N^{(1)},\dotsc,W_N^{(N)}$. (b) Select sophisticatedly a subset $A$ of synthetic channels. (c) Transmit information using synthetic channels indexed by $A$ and freeze the remaining synthetic channels. Arikan gives each synthetic channel a score (called the Bhattacharyya parameter) that determines whether it should be selected or frozen. As $N$ grows, a majority of the scores are either very high or very low, i.e., they polarize. By characterizing how fast they polarize, Arikan showed that polar coding is able to produce a series of codes that achieve capacity on symmetric binary-input memoryless channels. In measuring how the scores polarize the relation among block length, gap to capacity, and block error probability are studied. In particular, the error exponent regime fixes the gap to capacity and varies the other two. The scaling exponent regime fixes the block error probability and varies the other two. The moderate deviation regime varies all three factors at once. The latest result [arxiv:1501.02444, Theorem 7] in the moderate deviation regime does not imply the scaling exponent regime as a special case. We give a result that does. (See Corollary 8.) △ Less

Submitted 6 June, 2018; originally announced June 2018.

Comments: 17 pages, 33 figures

On the I/O Costs of Some Repair Schemes for Full-Length Reed-Solomon Codes

Authors: Hoang Dau, Iwan Duursma, Hien Chu

Abstract: Network transfer and disk read are the most time consuming operations in the repair process for node failures in erasure-code-based distributed storage systems. Recent developments on Reed-Solomon codes, the most widely used erasure codes in practical storage systems, have shown that efficient repair schemes specifically tailored to these codes can significantly reduce the network bandwidth spent… ▽ More Network transfer and disk read are the most time consuming operations in the repair process for node failures in erasure-code-based distributed storage systems. Recent developments on Reed-Solomon codes, the most widely used erasure codes in practical storage systems, have shown that efficient repair schemes specifically tailored to these codes can significantly reduce the network bandwidth spent to recover single failures. However, the I/O cost, that is, the number of disk reads performed in these repair schemes remains largely unknown. We take the first step to address this gap in the literature by investigating the I/O costs of some existing repair schemes for full-length Reed-Solomon codes. △ Less

Submitted 9 May, 2018; v1 submitted 15 January, 2018; originally announced January 2018.

Comments: Accepted by the ISIT'18

Codes with Locality in the Rank and Subspace Metrics

Authors: Swanand Kadhe, Salim El Rouayheb, Iwan Duursma, Alex Sprintson

Abstract: We extend the notion of locality from the Hamming metric to the rank and subspace metrics. Our main contribution is to construct a class of array codes with locality constraints in the rank metric. Our motivation for constructing such codes stems from designing codes for efficient data recovery from correlated and/or mixed (i.e., complete and partial) failures in distributed storage systems. Speci… ▽ More We extend the notion of locality from the Hamming metric to the rank and subspace metrics. Our main contribution is to construct a class of array codes with locality constraints in the rank metric. Our motivation for constructing such codes stems from designing codes for efficient data recovery from correlated and/or mixed (i.e., complete and partial) failures in distributed storage systems. Specifically, the proposed local rank-metric codes can recover locally from 'crisscross errors and erasures', which affect a limited number of rows and/or columns of the storage system. We also derive a Singleton-like upper bound on the minimum rank distance of (linear) codes with 'rank-locality' constraints. Our proposed construction achieves this bound for a broad range of parameters. The construction builds upon Tamo and Barg's method for constructing locally repairable codes with optimal minimum Hamming distance. Finally, we construct a class of constant-dimension subspace codes (also known as Grassmannian codes) with locality constraints in the subspace metric. The key idea is to show that a Grassmannian code with locality can be easily constructed from a rank-metric code with locality by using the lifting method proposed by Silva et al. We present an application of such codes for distributed storage systems, wherein nodes are connected over a network that can introduce errors and erasures. △ Less

Submitted 5 May, 2019; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: Presented in part at the 2016 Allerton Conference (see version 1). The second version additionally contains the notion of locality in the subspace metric. The third version additionally contains an application of subspace-locality to distributed storage systems, where nodes can be accessed over a noisy network

Rank-Metric Codes and Zeta Functions

Authors: I. Blanco-Chacón, E. Byrne, I. Duursma, J. Sheekey

Abstract: We define the rank-metric zeta function of a code as a generating function of its normalized $q$-binomial moments. We show that, as in the Hamming case, the zeta function gives a generating function for the weight enumerators of rank-metric codes. We further prove a functional equation and derive an upper bound for the minimum distance in terms of the reciprocal roots of the zeta function. Finally… ▽ More We define the rank-metric zeta function of a code as a generating function of its normalized $q$-binomial moments. We show that, as in the Hamming case, the zeta function gives a generating function for the weight enumerators of rank-metric codes. We further prove a functional equation and derive an upper bound for the minimum distance in terms of the reciprocal roots of the zeta function. Finally, we show invariance under suitable puncturing and shortening operators and study the distribution of zeroes of the zeta function for a family of codes. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Repairing Reed-Solomon Codes With Two Erasures

Authors: Hoang Dau, Iwan Duursma, Han Mao Kiah, Olgica Milenkovic

Abstract: Despite their exceptional error-correcting properties, Reed-Solomon (RS) codes have been overlooked in distributed storage applications due to the common belief that they have poor repair bandwidth: A naive repair approach would require the whole file to be reconstructed in order to recover a single erased codeword symbol. In a recent work, Guruswami and Wootters (STOC'16) proposed a single-erasur… ▽ More Despite their exceptional error-correcting properties, Reed-Solomon (RS) codes have been overlooked in distributed storage applications due to the common belief that they have poor repair bandwidth: A naive repair approach would require the whole file to be reconstructed in order to recover a single erased codeword symbol. In a recent work, Guruswami and Wootters (STOC'16) proposed a single-erasure repair method for RS codes that achieves the optimal repair bandwidth amongst all linear encoding schemes. We extend their trace collection technique to cope with two erasures. △ Less

Submitted 14 May, 2017; v1 submitted 24 January, 2017; originally announced January 2017.

Comments: ISIT'17 (accepted), 5 pages. arXiv admin note: substantial text overlap with arXiv:1612.01361

Repairing Reed-Solomon Codes With Multiple Erasures

Authors: Hoang Dau, Iwan Duursma, Han Mao Kiah, Olgica Milenkovic

Abstract: Despite their exceptional error-correcting properties, Reed-Solomon codes have been overlooked in distributed storage applications due to the common belief that they have poor repair bandwidth: A naive repair approach would require the whole file to be reconstructed in order to recover a single erased codeword symbol. In a recent work, Guruswami and Wootters (STOC'16) proposed a single-erasure rep… ▽ More Despite their exceptional error-correcting properties, Reed-Solomon codes have been overlooked in distributed storage applications due to the common belief that they have poor repair bandwidth: A naive repair approach would require the whole file to be reconstructed in order to recover a single erased codeword symbol. In a recent work, Guruswami and Wootters (STOC'16) proposed a single-erasure repair method for Reed-Solomon codes that achieves the optimal repair bandwidth amongst all linear encoding schemes. Their key idea is to recover the erased symbol by collecting a sufficiently large number of its traces, each of which can be constructed from a number of traces of other symbols. We extend the trace collection technique to cope with two and three erasures. △ Less

Submitted 2 May, 2020; v1 submitted 28 November, 2016; originally announced December 2016.

Comments: 15 pages

Journal ref: IEEE Transactions on Information Theory (2018) 64(10) 6567-6582

Matrix Theory for Minimal Trellises

Authors: Iwan M. Duursma

Abstract: Trellises provide a graphical representation for the row space of a matrix. The product construction of Kschischang and Sorokine builds minimal conventional trellises from matrices in minimal span form. Koetter and Vardy showed that minimal tail-biting trellises can be obtained by applying the product construction to submatrices of a characteristic matrix. We introduce the unique reduced minimal… ▽ More Trellises provide a graphical representation for the row space of a matrix. The product construction of Kschischang and Sorokine builds minimal conventional trellises from matrices in minimal span form. Koetter and Vardy showed that minimal tail-biting trellises can be obtained by applying the product construction to submatrices of a characteristic matrix. We introduce the unique reduced minimal span form of a matrix and we obtain an expression for the unique reduced characteristic matrix. Among new properties of characteristic matrices we prove that characteristic matrices are in duality if and only if they have orthogonal column spaces, and that the transpose of a characteristic matrix is again a characteristic matrix if and only if the characteristic matrix is reduced. These properties have clear interpretations for the unwrapped unit memory convolutional code of a tail-biting trellis, they explain the duality for the class of Koetter and Vardy trellises, and they give a natural relation between the characteristic matrix based Koetter-Vardy construction and the displacement matrix based Nori-Shankar construction. For a pair of reduced characteristic matrices in duality, one is lexicographically first in a forward direction and the other is lexicographically first in the reverse direction. This confirms a conjecture by Koetter and Vardy after taking into account the different directions for the lexicographical ordering. △ Less

Submitted 28 September, 2015; originally announced September 2015.

Shortened regenerating codes

Authors: Iwan M. Duursma

Abstract: For general exact repair regenerating codes, the optimal trade-offs between storage size and repair bandwith remain undetermined. Various outer bounds and partial results have been proposed. Using a simple chain rule argument we identify nonnegative differences between the functional repair and the exact repair outer bounds. One of the differences is then bounded from below by the repair data of a… ▽ More For general exact repair regenerating codes, the optimal trade-offs between storage size and repair bandwith remain undetermined. Various outer bounds and partial results have been proposed. Using a simple chain rule argument we identify nonnegative differences between the functional repair and the exact repair outer bounds. One of the differences is then bounded from below by the repair data of a shortened subcode. Our main result is a new outer bound for an exact repair regenerating code in terms of its shortened subcodes. In general the new outer bound is implicit and depends on the choice of shortened subcodes. For the linear case we obtain explicit bounds. △ Less

Submitted 1 May, 2015; originally announced May 2015.

Comments: 11 pages

Outer bounds for exact repair codes

Authors: Iwan M. Duursma

Abstract: We address the open problem of establishing the rate region for exact-repair regenerating codes for given parameters (n,k,d). Tian determined the rate region for a (4,3,3) code and found that it lies strictly within the functional-repair rate region. Using different methods, Sasidharan, Senthoor and Kumar proved a non-vanishing gap between the functional-repair outer bound and the exact-repair out… ▽ More We address the open problem of establishing the rate region for exact-repair regenerating codes for given parameters (n,k,d). Tian determined the rate region for a (4,3,3) code and found that it lies strictly within the functional-repair rate region. Using different methods, Sasidharan, Senthoor and Kumar proved a non-vanishing gap between the functional-repair outer bound and the exact-repair outer bound for codes with k>=3. Our main results are two improved outer bounds for exact-repair regenerating codes. They capture and then extend essential parts in the proofs by Tian and by Sasidharan, Senthoor and Kumar. We show that the bounds can be combined for further improvements. △ Less

Submitted 18 June, 2014; originally announced June 2014.

Comments: 14 pages, 1 figure

Smooth Embeddings for the Suzuki and Ree Curves

Authors: Abdulla Eid, Iwan Duursma

Abstract: The Hermitian, Suzuki and Ree curves form three special families of curves with unique properties. They arise as the Deligne-Lusztig varieties of dimension one and their automorphism groups are the algebraic groups of type 2A2, 2B2 and 2G2, respectively. For the Hermitian and Suzuki curves very ample divisors are known that yield smooth projective embeddings of the curves. In this paper we establi… ▽ More The Hermitian, Suzuki and Ree curves form three special families of curves with unique properties. They arise as the Deligne-Lusztig varieties of dimension one and their automorphism groups are the algebraic groups of type 2A2, 2B2 and 2G2, respectively. For the Hermitian and Suzuki curves very ample divisors are known that yield smooth projective embeddings of the curves. In this paper we establish a very ample divisor for the Ree curves. Moreover, for all three families of curves we find a symmetric set of equations for a smooth projective model, in dimensions 2, 4 and 13, respectively. Using the smooth model we determine the unknown nongaps in the Weierstrass semigroup for a rational point on the Ree curve. △ Less

Submitted 8 November, 2013; originally announced November 2013.

Comments: Submitted to the proceedings of the conference on Arithmetic, Geometry and Coding Theory (AGCT 2013). 40 Pages, 15 Tables, 12 Figure

Using concatenated algebraic geometry codes in channel polarization

Authors: Abdulla Eid, Iwan Duursma

Abstract: Polar codes were introduced by Arikan in 2008 and are the first family of error-correcting codes achieving the symmetric capacity of an arbitrary binary-input discrete memoryless channel under low complexity encoding and using an efficient successive cancellation decoding strategy. Recently, non-binary polar codes have been studied, in which one can use different algebraic geometry codes to achiev… ▽ More Polar codes were introduced by Arikan in 2008 and are the first family of error-correcting codes achieving the symmetric capacity of an arbitrary binary-input discrete memoryless channel under low complexity encoding and using an efficient successive cancellation decoding strategy. Recently, non-binary polar codes have been studied, in which one can use different algebraic geometry codes to achieve better error decoding probability. In this paper, we study the performance of binary polar codes that are obtained from non-binary algebraic geometry codes using concatenation. For binary polar codes (i.e. binary kernels) of a given length $n$, we compare numerically the use of short algebraic geometry codes over large fields versus long algebraic geometry codes over small fields. We find that for each $n$ there is an optimal choice. For binary kernels of size up to $n \leq 1,800$ a concatenated Reed-Solomon code outperforms other choices. For larger kernel sizes concatenated Hermitian codes or Suzuki codes will do better. △ Less

Submitted 27 October, 2013; originally announced October 2013.

Comments: 8 pages, 6 figures

Distributed Reed-Solomon Codes for Simple Multiple Access Networks

Authors: Wael Halbawi, Tracey Ho, Hongyi Yao, Iwan Duursma

Abstract: We consider a simple multiple access network in which a destination node receives information from multiple sources via a set of relay nodes. Each relay node has access to a subset of the sources, and is connected to the destination by a unit capacity link. We also assume that $z$ of the relay nodes are adversarial. We propose a computationally efficient distributed coding scheme and show that it… ▽ More We consider a simple multiple access network in which a destination node receives information from multiple sources via a set of relay nodes. Each relay node has access to a subset of the sources, and is connected to the destination by a unit capacity link. We also assume that $z$ of the relay nodes are adversarial. We propose a computationally efficient distributed coding scheme and show that it achieves the full capacity region for up to three sources. Specifically, the relay nodes encode in a distributed fashion such that the overall codewords received at the destination are codewords from a single Reed-Solomon code. △ Less

Submitted 18 October, 2013; originally announced October 2013.

Comments: 12 pages, 1 figure

On lower bounds for the Ihara constants A(2) and A(3)

Authors: Iwan Duursma, Kit-Ho Mak

Abstract: Let X be a curve over the finite field of q elements and let N(X), g(X) be its number of rational points and genus respectively. The Ihara constant A(q) is defined by the limit superior of N(X)/g(X) as the genus of X goes to infinity. In this paper, we employ a variant of Serre's class field tower method to obtain an improvement of the best known lower bounds on A(2) and A(3). Let X be a curve over the finite field of q elements and let N(X), g(X) be its number of rational points and genus respectively. The Ihara constant A(q) is defined by the limit superior of N(X)/g(X) as the genus of X goes to infinity. In this paper, we employ a variant of Serre's class field tower method to obtain an improvement of the best known lower bounds on A(2) and A(3). △ Less

Submitted 14 October, 2012; v1 submitted 20 February, 2011; originally announced February 2011.

Comments: 22 pages; to appear in Compos. Math

MSC Class: 11G20

Journal ref: Compositio Math. 149 (2013) 1108-1128

Evaluation Codes from smooth Quadric Surfaces and Twisted Segre Varieties

Authors: Alain Couvreur, Iwan Duursma

Abstract: We give the parameters of any evaluation code on a smooth quadric surface. For hyperbolic quadrics the approach uses elementary results on product codes and the parameters of codes on elliptic quadrics are obtained by detecting a BCH structure of these codes and using the BCH bound. The elliptic quadric is a twist of the surface P^1 x P^1 and we detect a similar BCH structure on twists of the Segr… ▽ More We give the parameters of any evaluation code on a smooth quadric surface. For hyperbolic quadrics the approach uses elementary results on product codes and the parameters of codes on elliptic quadrics are obtained by detecting a BCH structure of these codes and using the BCH bound. The elliptic quadric is a twist of the surface P^1 x P^1 and we detect a similar BCH structure on twists of the Segre embedding of a product of any d copies of the projective line. △ Less

Submitted 12 June, 2012; v1 submitted 24 January, 2011; originally announced January 2011.

Comments: 10 pages. Presented at the conference Workshop on Coding theory and Cryptography 2011

MSC Class: 94B27; 14J20; 94B15

Journal ref: Des. Codes Cryptogr. 66(1), 291-303. 2013

Two-point coordinate rings for GK-curves

Authors: Iwan M. Duursma

Abstract: Giulietti and Korchmáros presented new curves with the maximal number of points over a field of size q^6. Garcia, Güneri, and Stichtenoth extended the construction to curves that are maximal over fields of size q^2n, for odd n >= 3. The generalized GK-curves have affine equations x^q+x = y^{q+1} and y^{q^2}-y^q = z^r, for r=(q^n+1)/(q+1). We give a new proof for the maximality of the generalized G… ▽ More Giulietti and Korchmáros presented new curves with the maximal number of points over a field of size q^6. Garcia, Güneri, and Stichtenoth extended the construction to curves that are maximal over fields of size q^2n, for odd n >= 3. The generalized GK-curves have affine equations x^q+x = y^{q+1} and y^{q^2}-y^q = z^r, for r=(q^n+1)/(q+1). We give a new proof for the maximality of the generalized GK-curves and we outline methods to efficiently obtain their two-point coordinate ring. △ Less

Submitted 16 December, 2010; originally announced December 2010.

Comments: 16 pages

MSC Class: 11G20

On maximal curves which are not Galois subcovers of the Hermitian curve

Authors: Iwan Duursma, Kit-Ho Mak

Abstract: We show that the generalized Giulietti-Korchmáros curve is not a Galois subcover of the Hermitian curve over $\mathbb{F}_{q^{2n}}$. This answers a question raised by Garcia, Güneri and Stichtenoth. We show that the generalized Giulietti-Korchmáros curve is not a Galois subcover of the Hermitian curve over $\mathbb{F}_{q^{2n}}$. This answers a question raised by Garcia, Güneri and Stichtenoth. △ Less

Submitted 7 July, 2011; v1 submitted 9 December, 2010; originally announced December 2010.

Comments: 10 pages. Version 3 corrected an error in earlier versions

MSC Class: 11G20

Journal ref: Bull. Braz. Math. Soc. (N.S.) 43 (2012), no. 03, 453-465

Bounds for Completely Decomposable Jacobians

Authors: Iwan Duursma, Jean-Yves Enjalbert

Abstract: A curve over the field of two elements with completely decomposable Jacobian is shown to have at most six rational points and genus at most 26. The bounds are sharp. The previous upper bound for the genus was 145. We also show that a curve over the field of $q$ elements with more than $q^{m/2}+1$ rational points has at least one Frobenius angle in the open interval $(π/m,3π/m)$. The proofs make us… ▽ More A curve over the field of two elements with completely decomposable Jacobian is shown to have at most six rational points and genus at most 26. The bounds are sharp. The previous upper bound for the genus was 145. We also show that a curve over the field of $q$ elements with more than $q^{m/2}+1$ rational points has at least one Frobenius angle in the open interval $(π/m,3π/m)$. The proofs make use of the explicit formula method. △ Less

Submitted 20 July, 2010; originally announced July 2010.

Comments: 9 pages, first appeared in 2002, posted for greater accessibility, with an addendum on X(11) mod 2

MSC Class: 11G20; 14G10; 14G15

Journal ref: Finite fields with applications to coding theory, cryptography and related areas (Oaxaca, 2001), 86--93, Springer, Berlin, 2002

Improved Two-Point Codes on Hermitian Curves

Authors: Iwan Duursma, Radoslav Kirov

Abstract: One-point codes on the Hermitian curve produce long codes with excellent parameters. Feng and Rao introduced a modified construction that improves the parameters while still using one-point divisors. A separate improvement of the parameters was introduced by Matthews considering the classical construction but with two-point divisors. Those two approaches are combined to describe an elementary cons… ▽ More One-point codes on the Hermitian curve produce long codes with excellent parameters. Feng and Rao introduced a modified construction that improves the parameters while still using one-point divisors. A separate improvement of the parameters was introduced by Matthews considering the classical construction but with two-point divisors. Those two approaches are combined to describe an elementary construction of two-point improved codes. Upon analysis of their minimum distance and redundancy, it is observed that they improve on the previous constructions for a large range of designed distances. △ Less

Submitted 17 February, 2011; v1 submitted 10 April, 2010; originally announced April 2010.

Distance bounds for algebraic geometric codes

Authors: Iwan Duursma, Radoslav Kirov, Seungkook Park

Abstract: Various methods have been used to obtain improvements of the Goppa lower bound for the minimum distance of an algebraic geometric code. The main methods divide into two categories and all but a few of the known bounds are special cases of either the Lundell-McCullough floor bound or the Beelen order bound. The exceptions are recent improvements of the floor bound by Guneri-Stichtenoth-Taskin, an… ▽ More Various methods have been used to obtain improvements of the Goppa lower bound for the minimum distance of an algebraic geometric code. The main methods divide into two categories and all but a few of the known bounds are special cases of either the Lundell-McCullough floor bound or the Beelen order bound. The exceptions are recent improvements of the floor bound by Guneri-Stichtenoth-Taskin, and Duursma-Park, and of the order bound by Duursma-Park and Duursma-Kirov. In this paper we provide short proofs for all floor bounds and most order bounds in the setting of the van Lint and Wilson AB method. Moreover, we formulate unifying theorems for order bounds and formulate the DP and DK order bounds as natural but different generalizations of the Feng-Rao bound for one-point codes. △ Less

Submitted 8 January, 2010; originally announced January 2010.

Comments: 29 pages

MSC Class: 11T71; 14G50; 94B

An extension of the order bound for AG codes

Authors: Iwan Duursma, Radoslav Kirov

Abstract: The most successful method to obtain lower bounds for the minimum distance of an algebraic geometric code is the order bound, which generalizes the Feng-Rao bound. We provide a significant extension of the bound that improves the order bounds by Beelen and by Duursma and Park. We include an exhaustive numerical comparison of the different bounds for 10168 two-point codes on the Suzuki curve of g… ▽ More The most successful method to obtain lower bounds for the minimum distance of an algebraic geometric code is the order bound, which generalizes the Feng-Rao bound. We provide a significant extension of the bound that improves the order bounds by Beelen and by Duursma and Park. We include an exhaustive numerical comparison of the different bounds for 10168 two-point codes on the Suzuki curve of genus g=124 over the field of 32 elements. Keywords: algebraic geometric code, order bound, Suzuki curve. △ Less

Submitted 19 January, 2009; originally announced January 2009.

Comments: 11 pages

MSC Class: 14G50; 11T71; 94B

Everywhere ramified towers of global function fields

Authors: Iwan Duursma, Bjorn Poonen, Michael Zieve

Abstract: We consider a tower of function fields F_0 < F_1 < ... over a finite field such that every place of every F_i ramified in the tower and the sequence genus(F_i)/[F_i:F_0] has a finite limit. We also construct a tower in which every place ramifies and the sequence N_i/[F_i:F_0] has a positive limit, where N_i is the number of degree-one places of F_i. These towers answer questions posed by Stichte… ▽ More We consider a tower of function fields F_0 < F_1 < ... over a finite field such that every place of every F_i ramified in the tower and the sequence genus(F_i)/[F_i:F_0] has a finite limit. We also construct a tower in which every place ramifies and the sequence N_i/[F_i:F_0] has a positive limit, where N_i is the number of degree-one places of F_i. These towers answer questions posed by Stichtenoth. △ Less

Submitted 15 October, 2008; originally announced October 2008.

Comments: 5 pages. This paper was published in 2004. I post it now for greater accessibility

MSC Class: 11G20; 14G05; 14G15

Journal ref: Finite Fields and Applications, Springer Lecture Notes in Computer Science 2948 (2004), 148--153

Coset bounds for algebraic geometric codes

Authors: Iwan M. Duursma, Seungkook Park

Abstract: For a given curve X and divisor class C, we give lower bounds on the degree of a divisor A such that A and A-C belong to specified semigroups of divisors. For suitable choices of the semigroups we obtain (1) lower bounds for the size of a party A that can recover the secret in an algebraic geometric linear secret sharing scheme with adversary threshold C, and (2) lower bounds for the support A o… ▽ More For a given curve X and divisor class C, we give lower bounds on the degree of a divisor A such that A and A-C belong to specified semigroups of divisors. For suitable choices of the semigroups we obtain (1) lower bounds for the size of a party A that can recover the secret in an algebraic geometric linear secret sharing scheme with adversary threshold C, and (2) lower bounds for the support A of a codeword in a geometric Goppa code with designed minimum support C. Our bounds include and improve both the order bound and the floor bound. The bounds are illustrated for two-point codes on general Hermitian and Suzuki curves. △ Less

Submitted 15 October, 2008; originally announced October 2008.

Comments: 36 pages

MSC Class: 14G50; 11T71; 94B

Results on zeta functions for codes

Authors: I. M. Duursma

Abstract: We give a new and short proof of the Mallows-Sloane upper bound for self-dual codes. We formulate a version of Greene's theorem for normalized weight enumerators. We relate normalized rank-generating polynomials to two-variable zeta functions. And we show that a self-dual code has the Clifford property, but that the same property does not hold in general for formally self-dual codes. We give a new and short proof of the Mallows-Sloane upper bound for self-dual codes. We formulate a version of Greene's theorem for normalized weight enumerators. We relate normalized rank-generating polynomials to two-variable zeta functions. And we show that a self-dual code has the Clifford property, but that the same property does not hold in general for formally self-dual codes. △ Less

Submitted 14 February, 2003; originally announced February 2003.

Comments: 12 pages

MSC Class: 05B35; 14G15; 94B65

Twisted Klein curves modulo 2

Authors: I. M. Duursma

Abstract: We give an explicit description of all 168 quartic curves over the field of two elements that are isomorphic to the Klein curve over an algebraic extension. Some of the curves have been known for their small class number, others for attaining the maximal number of rational points. We give an explicit description of all 168 quartic curves over the field of two elements that are isomorphic to the Klein curve over an algebraic extension. Some of the curves have been known for their small class number, others for attaining the maximal number of rational points. △ Less

Submitted 12 February, 2003; originally announced February 2003.

Comments: 14 pages

MSC Class: 14H45

Computing Symmetrized Weight Enumerators for Lifted Quadratic Residue Codes

Authors: I. M. Duursma, M. Greferath

Abstract: The paper describes a method to determine symmetrized weight enumerators of $p^m$-linear codes based on the notion of a disjoint weight enumerator. Symmetrized weight enumerators are given for the lifted quadratic residue codes of length 24 modulo $2^m$ and modulo $3^m$, for any positive $m$. The paper describes a method to determine symmetrized weight enumerators of $p^m$-linear codes based on the notion of a disjoint weight enumerator. Symmetrized weight enumerators are given for the lifted quadratic residue codes of length 24 modulo $2^m$ and modulo $3^m$, for any positive $m$. △ Less

Submitted 11 February, 2003; originally announced February 2003.

Comments: 9 pages

MSC Class: 94B60