262,395 research outputs found
Recommended from our members
Arcs of degree four in a finite projective plane
The projective plane, PG(2;q), over a Galois field Fq is an incidence structure of points and lines. A (k;n)-arc K in PG(2;q) is a set of k points such that no n+1 of them are collinear but some n are collinear. A (k;n)-arc K in PG(2;q) is called complete if it is not contained in any (k+1;n)-arc. The existence of arcs for particular values of k and n pose interesting problems in finite geometry. It connects with coding theory and graph theory, with important applications in computer science. The main problem, known as the packing problem, is to determine the largest size mn(2;q) of K in PG(2;q). This problem has received much attention. Here, the work establishes complete arcs with a large number of points. In contrast, the problem to determine the smallest size tn(2;q) of a complete (k;n)-arc is mostly based on the lower bound arising from theoretical investigations. This thesis has several goals.
The first goal is to classify certain (k;4)-arcs for k = 6,…,38 in PG(2;13). This classification is established through an approach in Chapter 2. This approach uses a new geometrical method; it is a combination of projective inequivalence of (k;4)-arcs up to k = 6 and certain sdinequivalent (k;4)-arcs that have sd-inequivalent classes of secant distributions for k = 7,…,38. The part related to projectively inequivalent (k;4)-arcs up to k=6 starts by fixing the frame points f1;2;3;88g and then classify the projectively inequivalent (5;4)-arcs. Among these (5;4)-arcs and (6;4)-arcs, the lexicographically least set are found. Now, the part regarding sd-inequivalent (k;4)-arcs in this method starts by choosing five sd-inequivalent (7;4)-arcs. This classification method may not produce all sd-inequivalent classes of (k;4)-arcs. However, it was necessary to employ this method due to the increasing number of (k;4)-arcs in PG(2;13) and the extreme computational difficulty of the problem. It reduces the constructed number of (k;4)-arcs in each process for large k. Consequently, it reduces the executed time for the computation which could last for years. Also, this method decreases the memory usage needed for the classification. The largest size of (k;4)-arc established through this method is k = 38. The classification of certain (k;4)-arcs up to projective equivalence, for k = 34,35,36,37,38, is also established. This classification starts from the 77 incomplete (34;4)-arcs that are constructed from the sd-inequivalent (33;4)-arcs given in Section 2.29, Table 2.35. Here, the largest size of (k;4)-arc is still k = 38. In addition, the previous process is re-iterated with a different choice of five sd-inequivalent (7;4)-arcs. The purpose of this choice is to find a new size of complete (k;4)-arc for k > 38. This particular computation of (k;4)-arcs found no complete (k;4)-arc for k > 38. In contrast, a new size of complete (k;4)-arc in PG(2;13) is discovered. This size is k = 36 which is the largest complete (k;4)-arc in this computation. This result raises the second largest size of complete (k;4)-arc found in the first classification from k = 35 to k = 36.
The second goal is to discuss the incidence structure of the orbits of the groups of the projectively inequivalent (6;4)-arcs and also the incidence structures of the orbits of the groups other than the identity group of the sd-inequivalent (k;4)-arcs. In Chapter 3, these incidence structures are given for k = 6,7,8,9,10,11,12,13,14,38. Also, the pictures of the geometric configurations of the lines and the points of the orbits are described.
The third goal is to find the sizes of certain sd-inequivalent complete (k;4)-arcs in PG(2;13). These sizes of complete (k;4)-arcs are given in Chapter 4 where the smallest size of complete (k;4)-arc is at most k = 24 and the largest size is at least k = 38.
The fourth goal is to give an example of an associated non-singular quartic curve C for each complete (k;4)-arc and to discuss the algebraic properties of each curve in terms of the number I of inflexion points, the number jC \K j of rational points on the corresponding arc, and the number N1 of rational points of C . These curves are given in Chapter 5. Also, the algebraic properties of complete arcs of the most interesting sizes investigated in this thesis are studied. In addition, there are two examples of quartic curves C (g0 1) and C (g0 2) attaining the Hasse-Weil- Serre upper bound for the number N1 of rational points on a curve over the finite field of order thirteen. This number is 32.
The fifth goal is to classify the (k;4)-arcs in PG(2;13) up to projective inequivalence for k 38 that can be obtained from these arcs. The largest size of sd-inequivalent (k;4)-arc in this process is the same as the largest size of the sd-inequivalent (k;4)-arc established in Chapter 2, that is, k = 38.
In addition, the classification of (k;n)-arcs in PG(2;13) is extended from n = 4 to n = 6. This extension is given in Chapter 7 where some results of the classification of certain (k;6)-arcs for k = 9; : : : ;25 are obtained using the same method as in Chapter 2 for k = 7,…,38. This process starts by fixing a certain (8;6)-arc containing six collinear points in PG(2;13)
The use of blocking sets in Galois geometries and in related research areas
Blocking sets play a central role in Galois geometries. Besides their intrinsic geometrical importance, the importance of blocking sets also arises from the use of blocking sets for the solution of many other geometrical problems, and problems in related research areas. This article focusses on these applications to motivate researchers to investigate blocking sets, and to motivate researchers to investigate the problems that can be solved by using blocking sets. By showing the many applications on blocking sets, we also wish to prove that researchers who improve results on blocking sets in fact open the door to improvements on the solution of many other problems
Strong Equivalence of Qualitative Optimization Problems
We introduce the framework of qualitative optimization problems (or, simply, optimization problems) to represent preference theories. The formalism uses separate modules to describe the space of outcomes to be compared (the generator) and the preferences on outcomes (the selector). We consider two types of optimization problems. They differ in the way the generator, which we model by a propositional theory, is interpreted: by the standard propositional logic semantics, and by the equilibrium-model (answer-set) semantics. Under the latter interpretation of generators, optimization problems directly generalize answer-set optimization programs proposed previously. We study strong equivalence of optimization problems, which guarantees their interchangeability within any larger context. We characterize several versions of strong equivalence obtained by restricting the class of optimization problems that can be used as extensions and establish the complexity of associated reasoning tasks. Understanding strong equivalence is essential for modular representation of optimization problems and rewriting techniques to simplify them without changing their inherent properties
Direction problems in affine spaces
This paper is a survey paper on old and recent results on direction problems
in finite dimensional affine spaces over a finite field.Comment: Academy Contact Forum "Galois geometries and applications", October
5, 2012, Brussels, Belgiu
On Packet Scheduling with Adversarial Jamming and Speedup
In Packet Scheduling with Adversarial Jamming packets of arbitrary sizes
arrive over time to be transmitted over a channel in which instantaneous
jamming errors occur at times chosen by the adversary and not known to the
algorithm. The transmission taking place at the time of jamming is corrupt, and
the algorithm learns this fact immediately. An online algorithm maximizes the
total size of packets it successfully transmits and the goal is to develop an
algorithm with the lowest possible asymptotic competitive ratio, where the
additive constant may depend on packet sizes.
Our main contribution is a universal algorithm that works for any speedup and
packet sizes and, unlike previous algorithms for the problem, it does not need
to know these properties in advance. We show that this algorithm guarantees
1-competitiveness with speedup 4, making it the first known algorithm to
maintain 1-competitiveness with a moderate speedup in the general setting of
arbitrary packet sizes. We also prove a lower bound of on
the speedup of any 1-competitive deterministic algorithm, showing that our
algorithm is close to the optimum.
Additionally, we formulate a general framework for analyzing our algorithm
locally and use it to show upper bounds on its competitive ratio for speedups
in and for several special cases, recovering some previously known
results, each of which had a dedicated proof. In particular, our algorithm is
3-competitive without speedup, matching both the (worst-case) performance of
the algorithm by Jurdzinski et al. and the lower bound by Anta et al.Comment: Appeared in Proc. of the 15th Workshop on Approximation and Online
Algorithms (WAOA 2017
- …