When defining a structure to fulfill a set of axioms that are similar to those prescribed by Euclid, one must select a set of points and then define what is meant by a line and what is meant by a circle. When properly defined these labels will have properties which are similar to their counterparts in the (complex) plane, the lines and circles which Euclid undoubtedly had in mind. In this manner, the geometer may employ his intuition from the complex plane to prove theorems about other systems. Most "finite geometries" have clearly defined notions of points and lines but fail to define circles. The two notable exceptions are the circles in a finite affine plane and the circles in a Mobius plane. Using the geometry of Euclid as motivation, we strive to develop structures with both lines and circles. The only successful example other than the complex plane is the affine plane over a finite field, where all of Euclid's geometry holds except for any assertions involving order or continuity. To complement the prolific work concerning finite geometries and their lines, we provide a general definition of a circle, or more correctly, of a collection of circles and present some preliminary results concerning the construction of such structures. Our definition includes the circles of an affine plane over a finite field and the circles in a Mobius plane as special cases. We develop a necessary and sufficient condition for circularity, present computational techniques for determining circularity and give varying constructions. We devote a chapter to the use of circular designs in coding theory. It is proven that these structures are not useful in the theory of error-correcting codes, since more efficient codes are known, for example the Reed-Muller codes. However, the theory developed in the earlier chapters does have applications to Cryptology. We present five encryption methods utilizing circular structures.

Balanced Incomplete Block Designs and Binary Linear Codes are two combinatorial designs. Due to the vast application of codes in communication the field of coding theory progressed more rapidly than many other fields of combinatorial designs. On the other hand, Block Designs are applicable in statistics and designing experiments in different fields, such as biology, medicine, and agriculture. Finding the relationship between instances of these two designs can be useful in constructing instances of one from the other. Applying the properties of codes to corresponding instances of Balanced Incomplete Block Designs has been used previously to show the non-existence of some designs. In this research the relationship between (16,6,3)-designs and (25,12) codes was determined.

The estimation of several missing values in a randomized block design ls considered. The method used ls that of minimizing the error sum of squares, proposed originally by Yates (1933). Explicit equation for each absent value are derived for all cases in which not more than three values are missing. A general formula valid for any permissible number of missing observations ls given for the case in which no two values are missing in the same block or treatment, and also for the case in which all of the values missing are in a single block or treatment. A procedure for the completely general case is proposed. This, although requiring the inversion of s symmetric matrix of order equal to the number of missing observations, may prove to be less tedious in application than the iterative method proposed by Yates. / Master of Science

The purpose of this work was to investigate certain two-group comparisons within a paired comparison experimental design. / Master of Science

By a study of the duality relationships of a large number of balanced and partially balanced incomplete block designs, certain ones have been found which lend themselves nicely to interblock analysis. Besides facilitating this analysis, these designs make possible the use of a new method for studying the relative variability of the inter and intra-block error. These "nice" designs, which are called twice balanced, have the property that their duals are also balanced or partially balanced. In the partially balanced designs, the investigation has been confined to those with two associate classes. Some methods are shown which may be used to prove that a dual is twice balanced. The twice balanced designs which have been found are catalogued, showing the plan numbers of the design and the dual,and the necessary identifying parameters or both. The proofs used in verifying the designs to be twice balanced are also indicated. Finally, there is an illustrative example making use of the methods and tables introduced in this paper. It includes a new computing method to be used for finding estimates of the treatment effects in a mixed model experiment. / Master of Science

We study a family of random walks defined on certain Euclidean lattices that are related to incidence matrices of balanced incomplete block designs. We estimate the return probability of these random walks and use it to determine the asymptotics of the number of balanced incomplete block design matrices. We also consider the problem of collisions of independent simple random walks on graphs. We prove some new results in the collision problem, improve some existing ones, and provide counterexamples to illustrate the complexity of the problem.

The purpose of this paper is to present a new nonparametric test statistic for testing against ordered alternatives in a Balanced Incomplete Block Design (BIBD). This test will then be compared with the Durbin test which tests for differences between treatments in a BIBD but without regard to order. For the comparison, Monte Carlo simulations were used to generate the BIBD. Random samples were simulated from: Normal Distribution; Exponential Distribution; T distribution with three degrees of freedom. The number of treatments considered was three, four and five with all the possible combinations necessary for a BIBD. Small sample sizes were 20 or less and large sample sizes were 30 or more. The powers and alpha values were then estimated after 10,000 repetitions.The results of the study show that the new test proposed is more powerful than the Durbin test. Regardless of the distribution, sample size or number of treatments, the new test tended to have higher powers than the Durbin test.

Ph. D.

Design optimality plays a central role in the area of statistical experimental design. In general, problems in design optimality are composed of two vital, but separable, components. One of these is determining conditions under which a design is optimal (such as criterion bounds, values of design parameters, or special structure in the information matrix). The other is construction of designs satisfying those conditions. Most papers deal with either optimality conditions, or design construction in accordance with desired combinatorial properties, but not both. This dissertation determines optimal designs for three treatments in the one-way and multi-way heterogeneity settings, first proving optimality through a series of bounding arguments, then applying combinatorial techniques for their construction. Among the results established are optimality with respect to the well known E and A criteria. A- and E-optimal block designs and row-column designs with three treatments are found, for any parameter set. E-optimal hyperrectangles with three treatments are also found, for any parameter set. Systems of distinct representatives theory is used for the construction of optimal designs. Efficiencies relative to optimal criterion values are used to determine robustness of block designs against loss of a small number of blocks. Nonisomorphic bal anced incomplete block designs are ranked based on their robustness. A complete list of most robust BIBDs for v ≤ 10, r ≤ 15 is compiled. / Ph. D.

M.S.