Projective planes of infinite but isolic order

1976 ◽  
Vol 41 (2) ◽  
pp. 391-404 ◽  
Author(s):  
J. C. E. Dekker
Keyword(s):  
Projective Plane ◽  
Finite Projective Plane ◽  
Projective Planes ◽  
Latin Squares ◽  
Combinatorial Theory ◽  
Ternary Ring ◽  
Orthogonal Latin Squares ◽  
Mutually Orthogonal Latin Squares ◽  
Planar Ternary Ring ◽  
Partial Recursive Functions

The main purpose of this paper is to show how partial recursive functions and isols can be used to generalize the following three well-known theorems of combinatorial theory.(I) For every finite projective plane Π there is a unique number n such that Π has exactly n2 + n + 1 points and exactly n2 + n + 1 lines.(II) Every finite projective plane of order n can be coordinatized by a finite planar ternary ring of order n. Conversely, every finite planar ternary ring of order n coordinatizes a finite projective plane of order n.(III) There exists a finite projective plane of order n if and only if there exist n − 1 mutually orthogonal Latin squares of order n.

Weakly Isotopic Planar Ternary Rings

1975 ◽  
Vol 27 (1) ◽  
pp. 32-36
Author(s):  
Frederick W. Stevenson
Keyword(s):  
Projective Plane ◽  
Projective Planes ◽  
Ternary Ring ◽  
Algebraic Relation ◽  
Planar Ternary Ring ◽  
Algebraic Properties

This paper introduces two relations both weaker than isotopism which may hold between planar ternary rings. We will concentrate on the geometric consequences rather than the algebraic properties of these relations. It is well-known that every projective plane can be coordinatized by a planar ternary ring and every planar ternary ring coordinatizes a projective plane. If two planar ternary rings are isomorphic then their associated projective planes are isomorphic; however, the converse is not true. In fact, an algebraic bond which necessarily holds between the coordinatizing planar ternary rings of isomorphic projective planes has not been found. Such a bond must, of course, be weaker than isomorphism; furthermore, it must be weaker than isotopism. Here we show that it is even weaker than the two new relations introduced.This is significant because the weaker of our relations is, in a sense, the weakest possible algebraic relation which can hold between planar ternary rings which coordinatize isomorphic projective planes.

scholarly journals The number of permutation polynomials of the form f(x) cx over a finite field

1995 ◽  
Vol 38 (1) ◽  
pp. 133-149 ◽  
Author(s):  
Daqing Wan ◽  
Gary L. Mullen ◽  
Peter Jau-Shyong Shiue
Keyword(s):  
Finite Field ◽  
Residue Class ◽  
Projective Planes ◽  
Latin Squares ◽  
Permutation Polynomial ◽  
Permutation Polynomials ◽  
Translation Planes ◽  
Orthogonal Latin Squares ◽  
Mutually Orthogonal Latin Squares ◽  
Mild Assumption

Let Fq be the finite field of q elements. Let f(x) be a polynomial of degree d over Fq and let r be the least non-negative residue of q-1 modulo d. Under a mild assumption, we show that there are at most r values of c∈Fq, such that f(x) + cx is a permutation polynomial over Fq. This indicates that the number of permutation polynomials of the form f(x) +cx depends on the residue class of q–1 modulo d.As an application we apply our results to the construction of various maximal sets of mutually orthogonal latin squares. In particular for odd q = pn if τ(n) denotes the number of positive divisors of n, we show how to construct τ(n) nonisomorphic complete sets of orthogonal squares of order q, and hence τ(n) nonisomorphic projective planes of order q. We also provide a construction for translation planes of order q without the use of a right quasifield.

The Non-Existence of Finite Projective Planes of Order 10

1989 ◽  
Vol 41 (6) ◽  
pp. 1117-1123 ◽  
Author(s):  
C. W. H. Lam ◽  
L. Thiel ◽  
S. Swiercz
Keyword(s):  
Projective Plane ◽  
Prime Power ◽  
Projective Planes ◽  
Latin Squares ◽  
Orthogonal Latin Squares ◽  
Finite Projective Planes

A finite projective plane of order n, with n > 0, is a collection of n2+ n + 1 lines and n2+ n + 1 points such that1. every line contains n + 1 points,2. every point is on n + 1 lines,3. any two distinct lines intersect at exactly one point, and4. any two distinct points lie on exactly one line.It is known that a plane of order n exists if n is a prime power. The first value of n which is not a prime power is 6. Tarry [18] proved in 1900 that a pair of orthogonal latin squares of order 6 does not exist, which by Bose's 1938 result [3] implies that a projective plane of order 6 does not exist.

scholarly journals Resolving Sets and Semi-Resolving Sets in Finite Projective Planes

10.37236/2582 ◽  
2012 ◽  
Vol 19 (4) ◽  
Author(s):  
Tamás Héger ◽  
Marcella Takáts
Keyword(s):  
Projective Plane ◽  
Finite Projective Plane ◽  
Projective Planes ◽  
The Other ◽  
Blocking Set ◽  
Metric Dimension ◽  
Desarguesian Projective Plane ◽  
Resolving Set ◽  
Incidence Graph ◽  
Vertex Set

In a graph $\Gamma=(V,E)$ a vertex $v$ is resolved by a vertex-set $S=\{v_1,\ldots,v_n\}$ if its (ordered) distance list with respect to $S$, $(d(v,v_1),\ldots,d(v,v_n))$, is unique. A set $A\subset V$ is resolved by $S$ if all its elements are resolved by $S$. $S$ is a resolving set in $\Gamma$ if it resolves $V$. The metric dimension of $\Gamma$ is the size of the smallest resolving set in it. In a bipartite graph a semi-resolving set is a set of vertices in one of the vertex classes that resolves the other class.We show that the metric dimension of the incidence graph of a finite projective plane of order $q\geq 23$ is $4q-4$, and describe all resolving sets of that size. Let $\tau_2$ denote the size of the smallest double blocking set in PG$(2,q)$, the Desarguesian projective plane of order $q$. We prove that for a semi-resolving set $S$ in the incidence graph of PG$(2,q)$, $|S|\geq \min \{2q+q/4-3, \tau_2-2\}$ holds. In particular, if $q\geq9$ is a square, then the smallest semi-resolving set in PG$(2,q)$ has size $2q+2\sqrt{q}$. As a corollary, we get that a blocking semioval in PG$(2, q)$, $q\geq 4$, has at least $9q/4-3$ points. A corrigendum was added to this paper on March 3, 2017.

scholarly journals A Bound on Permutation Codes

10.37236/2929 ◽  
2013 ◽  
Vol 20 (3) ◽  
Author(s):  
Jürgen Bierbrauer ◽  
Klaus Metsch
Keyword(s):  
Projective Plane ◽  
Symmetric Group ◽  
Minimum Distance ◽  
Main Part ◽  
Latin Squares ◽  
Permutation Codes ◽  
Permutation Code ◽  
Mutually Orthogonal Latin Squares ◽  
Hamming Metric ◽  
Completion Theorem

Consider the symmetric group $S_n$ with the Hamming metric. A  permutation code on $n$ symbols is a subset $C\subseteq S_n.$ If $C$ has minimum distance $\geq n-1,$ then $\vert C\vert\leq n^2-n.$ Equality can be reached if and only if a projective plane of order $n$ exists. Call $C$ embeddable if it is contained in a permutation code of minimum distance $n-1$ and cardinality $n^2-n.$ Let $\delta =\delta (C)=n^2-n-\vert C\vert$ be the deficiency of the permutation code $C\subseteq S_n$ of minimum distance $\geq n-1.$We prove that $C$ is embeddable if either $\delta\leq 2$ or if $(\delta^2-1)(\delta +1)^2<27(n+2)/16.$ The main part of the proof is an adaptation of the method used to obtain the famous Bruck completion theorem for mutually orthogonal latin squares.

scholarly journals Analysis of Some Properties from Construction of Finite Projective Planes of Order 2 and 3

CAUCHY ◽  
2016 ◽  
Vol 4 (3) ◽  
pp. 131
Author(s):  
Vira Hari Krisnawati ◽  
Corina Karim
Keyword(s):  
Automorphism Group ◽  
Projective Plane ◽  
Symmetric Group ◽  
Block Design ◽  
Finite Projective Plane ◽  
Projective Planes ◽  
Steiner System ◽  
Incidence Relation ◽  
Finite Projective Planes ◽  
Set Of Points

<p class="abstract"><span lang="IN">In combinatorial mathematics, a Steiner system is a type of block design. Specifically, a Steiner system <em>S</em>(<em>t</em>, <em>k</em>, <em>v</em>) is a set of <em>v</em> points and <em>k</em> blocks which satisfy that every <em>t</em>-subset of <em>v</em>-set of points appear in the unique block. It is well-known that a finite projective plane is one examples of Steiner system with <em>t</em> = 2, which consists of a set of points and lines together with an incidence relation between them and order 2 is the smallest order.</span></p><p class="abstract"><span lang="IN">In this paper, we observe some properties from construction of finite projective planes of order 2 and 3. Also, we analyse the intersection between two projective planes by using some characteristics of the construction and orbit of projective planes over some representative cosets from automorphism group in the appropriate symmetric group.</span></p>

New bounds of Mutually unbiased maximally entangled bases in C^dxC^(kd)

2018 ◽  
Vol 18 (13&14) ◽  
pp. 1152-1164
Author(s):  
Xiaoya Cheng ◽  
Yun Shang
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Prime Power ◽  
Latin Squares ◽  
Mutually Unbiased Bases ◽  
Orthogonal Latin Squares ◽  
Mutually Orthogonal Latin Squares ◽  
Bipartite System

Mutually unbiased bases which is also maximally entangled bases is called mutually unbiased maximally entangled bases (MUMEBs). We study the construction of MUMEBs in bipartite system. In detail, we construct 2(p^a-1) MUMEBs in \cd by properties of Guss sums for arbitrary odd d. It improves the known lower bound p^a-1 for odd d. Certainly, it also generalizes the lower bound 2(p^a-1) for d being a single prime power. Furthermore, we construct MUMEBs in \ckd for general k\geq 2 and odd d. We get the similar lower bounds as k,b are both single prime powers. Particularly, when k is a square number, by using mutually orthogonal Latin squares, we can construct more MUMEBs in \ckd, and obtain greater lower bounds than reducing the problem into prime power dimension in some cases.

A Partial Generalization of Mann's Theorem Concerning Orthogonal Latin Squares

1988 ◽  
Vol 31 (4) ◽  
pp. 409-413 ◽  
Author(s):  
E. T. Parker ◽  
Lawrence Somer
Keyword(s):  
Latin Square ◽  
Latin Squares ◽  
Necessary Condition ◽  
Orthogonal Latin Squares ◽  
Mutually Orthogonal Latin Squares ◽  
Complete Set

AbstractLetn = 4t+- 2, where the integert ≧ 2. A necessary condition is given for a particular Latin squareLof ordernto have a complete set ofn — 2mutually orthogonal Latin squares, each orthogonal toL.This condition extends constraints due to Mann concerning the existence of a Latin square orthogonal to a given Latin square.

Sign in / Sign up

Export Citation Format

Share Document