Source author record

Ted Hurley

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
8topics
3close collaborators

Published work

11 publications

preprint2022arXiv

Linear block and convolutional MDS codes to required rate, distance and type

Algebraic methods for the design of series of maximum distance separable (MDS) linear block and convolutional codes to required specifications and types are presented. Algorithms are given to design codes to required rate and required error-correcting capability and required types. Infinite series of block codes with rate approaching a given rational RR with 0<R<10<R<1 and relative distance over length approaching (1−R)(1-R) are designed. These can be designed over fields of given characteristic pp or over fields of prime order and can be specified to be of a particular type such as (i) dual-containing under Euclidean inner product, (ii) dual-containing under Hermitian inner product, (iii) quantum error-correcting, (iv) linear complementary dual (LCD). Convolutional codes to required rate and distance and infinite series of convolutional codes with rate approaching a given rational RR and distance over length approaching 2(1−R)2(1-R) are designed. The designs are algebraic and properties, including distances, are shown algebraically. Algebraic explicit efficient decoding methods are referenced.

preprint2020arXiv

Group ring cryptography: Cryptography, key exchange, public key

General cryptographic schemes are presented where keys can be one-time or ephemeral. Processes for key exchange are derived. Public key cryptographic schemes based on the new systems are easily established. Authentication and signature schemes are implemented. The schemes are an advance on group ring techniques and are easily implemented but highly secure. They may be integrated with error-correcting coding schemes so that encryption/coding and decryption/decoding may be done simultaneously.

preprint2020arXiv

Linear complementary dual, maximum distance separable codes

Linear complementary dual (LCD) maximum distance separable (MDS) codes are constructed to given specifications. For given nn and r<nr<n, with nn or rr (or both) odd, MDS LCD (n,r)(n,r) codes are constructed over finite fields whose characteristic does not divide nn. Series of LCD MDS codes are constructed to required rate and required error-correcting capability. Given the field GF(q)GF(q) and n/(q−1)n/(q-1), LCD MDS codes of length nn and dimension rr are explicitly constructed over GF(q)GF(q) for all r<nr<n when nn is odd and for all odd r<nr<n when nn is even. For given dimension and given error-correcting capability LCD MDS codes are constructed to these specifications with smallest possible length. Series of asymptotically good LCD MDS codes are explicitly constructed. Efficient encoding and decoding algorithms exist for all the constructed codes. Linear complementary dual codes have importance in data storage, communications' systems and security.

preprint2018arXiv

Coding Theory: the unit-derived methodology

The unit-derived method in coding theory is shown to be a unique optimal scheme for constructing and analysing codes. In many cases efficient and practical decoding methods are produced. Codes with efficient decoding algorithms at maximal distances possible are derived from unit schemes. In particular unit-derived codes from Vandermonde or Fourier matrices are particularly commendable giving rise to mds codes of varying rates with practical and efficient decoding algorithms. For a given rate and given error correction capability, explicit codes with efficient error correcting algorithms are designed to these specifications. An explicit constructive proof with an efficient decoding algorithm is given for Shannon's theorem. For a given finite field, codes are constructed which are `optimal' for this field.

preprint2015arXiv

Representations of group rings and groups

An isomorphism between the group ring of a finite group and a ring of certain block diagonal matrices is established. The group ring RGRG of a finite group GG is isomorphic to the set of {\em group ring matrices} over RR. It is shown that for any group ring matrix AA of CG\mathbb{C} G there exists a matrix PP (independent of the entries of AA) such that P−1AP=diag(T1,T2,…,Tr)P^{-1}AP= \text{diag}(T_1,T_2,\ldots, T_r) for block matrices TiT_i of fixed size si×sis_i\times s_i where rr is the number of conjugacy classes of GG and sis_i are the ranks of the group ring matrices of the primitive idempotents. Using the isomorphism of the group ring to the ring of group ring matrices followed by the mapping A↦P−1APA\mapsto P^{-1}AP (where PP is of course fixed) gives an isomorphism from the group ring to the ring of such block matrices. Specialising to the group elements gives a faithful representation of the group. Other representations of GG may be derived using the blocks in the images of the group elements. Examples are given demonstrating how interesting and useful representations of groups can be derived using the method. For a finite abelian group QQ an explicit matrix PP is given which diagonalises any group ring matrix of CQ\mathbb{C} Q. The matrix PP is defined directly in terms of roots of unity depending only on an expression for QQ as a product of cyclic groups. The characters and character table of QQ may be read off directly from the rows of the diagonalising matrix PP. This has applications to signal processing and generalises the cyclic case.

preprint2015arXiv

Solving underdetermined systems with error-correcting codes

In an underdetermined system of equations Ax=yAx=y, where AA is an m×nm\times n matrix, only uu of the entries of yy with u<mu < m are known. Thus EjwE_jw, called `measurements', are known for certain j∈J⊂{0,1,…,m−1}j\in J \subset \{0,1,\ldots,m-1\} where {Ei,i=0,1,…,m−1}\{E_i, i=0,1,\ldots, m-1\} are the rows of AA and ∣J∣=u|J|=u. It is required, if possible, to solve the system uniquely when xx has at most tt non-zero entries with u≥2tu\geq 2t. Here such systems are considered from an error-correcting coding point of view. The unknown xx can be shown to be the error vector of a code subject to certain conditions on the rows of the matrix AA. This reduces the problem to finding a suitable decoding algorithm which then finds xx. Decoding workable algorithms are shown to exist, from which the unknown xx may be determined, in cases where the known 2t2t values are evenly spaced (that is, when the elements of JJ are in arithmetic progression) for classes of matrices satisfying certain row properties. These cases include Fourier n×nn\times n matrices where the arithmetic difference kk satisfies gcd⁡(n,k)=1\gcd(n,k)=1, and classes of Vandermonde matrices V(x1,x2,…,xn)V(x_1,x_2,\ldots,x_n) (with xi≠0x_i\neq 0) with arithmetic difference kk where the ratios xi/xjx_i/x_j for i≠ji\neq j are not kthk^{th} roots of unity. The decoding algorithm has complexity O(nt)O(nt) and in some cases, including the Fourier matrix cases, the complexity is O(t2)O(t^2). Matrices which have the property that the determinant of any square submatrix is non-zero are of particular interest. Randomly choosing rows of such matrices can then give tt error-correcting pairs to generate a `measuring' code C⊥={Ej∣j∈J}C^\perp=\{E_j | j\in J\} with a decoding algorithm which finds xx. This has applications to signal processing and compressed sensing.

preprint2011arXiv

Group ring cryptography

Cryptographic systems are derived using units in group rings. Combinations of types of units in group rings give units not of any particular type. This includes cases of taking powers of units and products of such powers and adds the complexity of the {\em discrete logarithm} problem to the system. The method enables encryption and (error-correcting) coding to be combined within one system. These group ring cryptographic systems may be combined in a neat way with existing cryptographic systems, such as RSA, and a combination has the combined strength of both systems. Examples are given.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.