Source author record

Gábor P. Nagy

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

ResearcherUnclaimed source record

math.CO math.GR Information Theory math.AG math.IT

Catalog footprint

Research overview

11works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Simplicity conditions for binary orthogonal arrays

It is known that correlation-immune (CI) Boolean functions used in the framework of side-channel attacks need to have low Hamming weights. The supports of CI functions are (equivalently) simple orthogonal arrays when their elements are written as rows of an array. The minimum Hamming weight of a CI function is then the same as the minimum number of rows in a simple orthogonal array. In this paper, we use Rao's Bound to give a sufficient condition on the number of rows, for a binary orthogonal array (OA) to be simple. We apply this result for determining the minimum number of rows in all simple binary orthogonal arrays of strengths 2 and 3; we show that this minimum is the same in such case as for all OA, and we extend this observation to some OA of strengths $4$ and $5$ . This allows us to reply positively, in the case of strengths 2 and 3, to a question raised by the first author and X. Chen on the monotonicity of the minimum Hamming weight of 2-CI Boolean functions, and to partially reply positively to the same question in the case of strengths 4 and 5.

preprint2021arXiv

Embeddings of Ree unitals in a projective plane over a field

We show that the Ree unital $\mathcal{R}(q)$ has an embedding in a projective plane over a field $F$ if and only if $q=3$ and $\mathbb{F}_8$ is a subfield of $F$ . In this case, the embedding is unique up to projective linear transformations. Besides elementary calculations, our proof uses the classification of the maximal subgroups of the simple Ree groups.

preprint2020arXiv

Estimating The Dimension Of The Subfield Subcodes of Hermitian Codes

In this paper, we study the behavior of the true dimension of the subfield subcodes of Hermitian codes. Our motivation is to use these classes of linear codes to improve the parameters of the McEliece cryptosystem, such that key size and security level. The McEliece scheme is one of the promising alternative cryptographic schemes to the current public key schemes since in the last four decades, they resisted all known quantum computing attacks. By analyzing computational data series of true dimension, we concluded that they can be estimated by the extreme value distribution function.

preprint2020arXiv

New Steiner systems from old ones by paramodifications

Techniques of producing new combinatorial structures from old ones are commonly called trades. The switching principle applies for a broad class of designs: it is a local transformation that modifies two columns of the incidence matrix. In this paper, we present a construction, which is a generalization of the switching transform for the class of Steiner 2-designs. We call this construction paramodification of Steiner 2-designs, since it modifies the parallelism of a subsystem. We study in more detail the paramodifications of affine planes, Steiner triple systems, and abstract unitals. Computational results show that paramodification can construct many new unitals.

preprint2017arXiv

Bol loops and Bruck loops of order $pq$

Right Bol loops are loops satisfying the identity $((zx)y)x = z((xy)x)$ , and right Bruck loops are right Bol loops satisfying the identity $(xy)^{-1} = x^{-1}y^{-1}$ . Let $p$ and $q$ be odd primes such that $p>q$ . Advancing the research program of Niederreiter and Robinson from $1981$ , we classify right Bol loops of order $pq$ . When $q$ does not divide $p^2-1$ , the only right Bol loop of order $pq$ is the cyclic group of order $pq$ . When $q$ divides $p^2-1$ , there are precisely $(p-q+4)/2$ right Bol loops of order $pq$ up to isomorphism, including a unique nonassociative right Bruck loop $B_{p,q}$ of order $pq$ . Let $Q$ be a nonassociative right Bol loop of order $pq$ . We prove that the right nucleus of $Q$ is trivial, the left nucleus of $Q$ is normal and is equal to the unique subloop of order $p$ in $Q$ , and the right multiplication group of $Q$ has order $p^2q$ or $p^3q$ . When $Q=B_{p,q}$ , the right multiplication group of $Q$ is isomorphic to the semidirect product of $\mathbb{Z}_p\times \mathbb{Z}_p$ with $\mathbb{Z}_q$ . Finally, we offer computational results as to the number of right Bol loops of order $pq$ up to isotopy.

preprint2016arXiv

3-nets realizing a diassociative loop in a projective plane

A \textit{ $3$ -net} of order $n$ is a finite incidence structure consisting of points and three pairwise disjoint classes of lines, each of size $n$ , such that every point incident with two lines from distinct classes is incident with exactly one line from each of the three classes. The current interest around $3$ -nets (embedded) in a projective plane $PG(2,K)$ , defined over a field $K$ of characteristic $p$ , arose from algebraic geometry. It is not difficult to find $3$ -nets in $PG(2,K)$ as far as $0<p\le n$ . However, only a few infinite families of $3$ -nets in $PG(2,K)$ are known to exist whenever $p=0$ , or $p>n$ . Under this condition, the known families are characterized as the only $3$ -nets in $PG(2,K)$ which can be coordinatized by a group. In this paper we deal with $3$ -nets in $PG(2,K)$ which can be coordinatized by a diassociative loop $G$ but not by a group. We prove two structural theorems on $G$ . As a corollary, if $G$ is commutative then every non-trivial element of $G$ has the same order, and $G$ has exponent $2$ or $3$ . We also discuss the existence problem for such $3$ -nets.

preprint2015arXiv

Binary Fields on Limited Systems

The intrinsic structure of binary fields poses a challenging complexity problem from both hardware and software point of view. Motivated by applications to modern cryptography, we describe some simple techniques aimed at performing computations over binary fields using systems with limited resources. This is particularly important when such computations must be carried out by means of very small and simple machines. The algorithms described in the present paper provide an increased efficiency in computations, when compared to the previously known algorithms for the arithmetic over prime fields.

preprint2015arXiv

Computing with small quasigroups and loops

This is a companion to our lectures GAP and loops, to be delivered at the Workshops Loops 2007, Prague, Czech Republic. In the lectures we introduce the GAP package LOOPS, describe its capabilities, and explain in detail how to use it. In this paper we first outline the philosophy behind the package and its main features, and then we focus on three particular computational problems: construction of loop isomorphisms, classification of small Frattini Moufang loops of order 64, and the search for loops of nilpotency class higher than two with an abelian inner mapping group. In particular, this is not a user's manual for LOOPS, which can be downloaded from the distribution website of LOOPS.

preprint2015arXiv

Moufang loops with commuting inner mappings

We investigate the relation between the structure of a Moufang loop and its inner mapping group. Moufang loops of odd order with commuting inner mappings have nilpotency class at most two. $6$ -divisible Moufang loops with commuting inner mappings have nilpotency class at most two. There is a Moufang loop of order $2^{14}$ with commuting inner mappings and of nilpotency class three.

preprint2015arXiv

On centerless commutative automorphic loops

In this short paper, we survey the results on commutative automorphic loops and give a new construction method. Using this method, we present new classes of commutative automorphic loops of exponent 2 with trivial center.

preprint2015arXiv

The Moufang loops of order 64 and 81

We classify Moufang loops of order 64 and 81 up to isomorphism, using a linear algebraic approach to central loop extensions. In addition to the 267 groups of order 64, there are 4262 nonassociative Moufang loops of order 64. In addition to the $15$ groups of order $81$ , there are $5$ nonassociative Moufang loops of order $81$ , $2$ of which are commutative.

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.

Gábor P. Nagy

Research overview

Is this your work?

11 publications

Simplicity conditions for binary orthogonal arrays

Embeddings of Ree unitals in a projective plane over a field

Estimating The Dimension Of The Subfield Subcodes of Hermitian Codes

New Steiner systems from old ones by paramodifications

Bol loops and Bruck loops of order $pq$

3-nets realizing a diassociative loop in a projective plane

Binary Fields on Limited Systems

Computing with small quasigroups and loops

Moufang loops with commuting inner mappings

On centerless commutative automorphic loops

The Moufang loops of order 64 and 81

See the researcher in context

Building this map preview

Gábor P. Nagy

Research overview

Is this your work?

11 publications

Simplicity conditions for binary orthogonal arrays

Embeddings of Ree unitals in a projective plane over a field

Estimating The Dimension Of The Subfield Subcodes of Hermitian Codes

New Steiner systems from old ones by paramodifications

Bol loops and Bruck loops of order pqpqpq

3-nets realizing a diassociative loop in a projective plane

Binary Fields on Limited Systems

Computing with small quasigroups and loops

Moufang loops with commuting inner mappings

On centerless commutative automorphic loops

The Moufang loops of order 64 and 81

See the researcher in context

Building this map preview

Bol loops and Bruck loops of order $pq$