68 research outputs found
Applications of finite geometries to designs and codes
This dissertation concerns the intersection of three areas of discrete mathematics: finite geometries, design theory, and coding theory. The central theme is the power of finite geometry designs, which are constructed from the points and t-dimensional subspaces of a projective or affine geometry. We use these designs to construct and analyze combinatorial objects which inherit their best properties from these geometric structures.
A central question in the study of finite geometry designs is Hamada’s conjecture, which proposes that finite geometry designs are the unique designs with minimum p-rank among all designs with the same parameters. In this dissertation, we will examine several questions related to Hamada’s conjecture, including the existence of counterexamples. We will also study the applicability of certain decoding methods to known counterexamples.
We begin by constructing an infinite family of counterexamples to Hamada’s conjecture. These designs are the first infinite class of counterexamples for the affine case of Hamada’s conjecture. We further demonstrate how these designs, along with the projective polarity designs of Jungnickel and Tonchev, admit majority-logic decoding schemes. The codes obtained from these polarity designs attain error-correcting performance which is, in certain cases, equal to that of the finite geometry designs from which they are derived. This further demonstrates the highly geometric structure maintained by these designs.
Finite geometries also help us construct several types of quantum error-correcting codes. We use relatives of finite geometry designs to construct infinite families of q-ary quantum stabilizer codes. We also construct entanglement-assisted quantum error-correcting codes (EAQECCs) which admit a particularly efficient and effective error-correcting scheme, while also providing the first general method for constructing these quantum codes with known parameters and desirable properties. Finite geometry designs are used to give exceptional examples of these codes
Computing coset leaders and leader codewords of binary codes
In this paper we use the Gr\"obner representation of a binary linear code
to give efficient algorithms for computing the whole set of coset
leaders, denoted by and the set of leader codewords,
denoted by . The first algorithm could be adapted to
provide not only the Newton and the covering radius of but also to
determine the coset leader weight distribution. Moreover, providing the set of
leader codewords we have a test-set for decoding by a gradient-like decoding
algorithm. Another contribution of this article is the relation stablished
between zero neighbours and leader codewords
Minimal realizations of linear systems: The "shortest basis" approach
Given a controllable discrete-time linear system C, a shortest basis for C is
a set of linearly independent generators for C with the least possible lengths.
A basis B is a shortest basis if and only if it has the predictable span
property (i.e., has the predictable delay and degree properties, and is
non-catastrophic), or alternatively if and only if it has the subsystem basis
property (for any interval J, the generators in B whose span is in J is a basis
for the subsystem C_J). The dimensions of the minimal state spaces and minimal
transition spaces of C are simply the numbers of generators in a shortest basis
B that are active at any given state or symbol time, respectively. A minimal
linear realization for C in controller canonical form follows directly from a
shortest basis for C, and a minimal linear realization for C in observer
canonical form follows directly from a shortest basis for the orthogonal system
C^\perp. This approach seems conceptually simpler than that of classical
minimal realization theory.Comment: 20 pages. Final version, to appear in special issue of IEEE
Transactions on Information Theory on "Facets of coding theory: From
algorithms to networks," dedicated to Ralf Koette
Codes on Graphs: Observability, Controllability, and Local Reducibility
Original manuscript: August 30, 2012This paper investigates properties of realizations of linear or group codes on general graphs that lead to local reducibility. Trimness and properness are dual properties of constraint codes. A linear or group realization with a constraint code that is not both trim and proper is locally reducible. A linear or group realization on a finite cycle-free graph is minimal if and only if every local constraint code is trim and proper. A realization is called observable if there is a one-to-one correspondence between codewords and configurations, and controllable if it has independent constraints. A linear or group realization is observable if and only if its dual is controllable. A simple counting test for controllability is given. An unobservable or uncontrollable realization is locally reducible. Parity-check realizations are controllable if and only if they have independent parity checks. In an uncontrollable tail-biting trellis realization, the behavior partitions into disconnected sub-behaviors, but this property does not hold for nontrellis realizations. On a general graph, the support of an unobservable configuration is a generalized cycle
- …