# Finite Algebraic Combinatorics and Applications

Organizers:

- Steven Dougherty (University of Scranton)
- Kenza Guenda (University of Victoria)
- T. Aaron Gulliver (University of Victoria)
- IIias Kotsireas (Wilfrid Laurier University)
- Edgar Martinez-Moro (University of Valladoid)

Schedule:

- Thursday, Jul 27 [Centre Mont Royal, Salon International I & II]
- 14:15 Edgar Martinez Moro (University of Valladolid), New Avenues for Test Sets in Coding Theory
- 14:45 Ángeles Vazquez-Castro (Universidad Autónoma de Barcelona, UAB), Wiretap Coset Coding in the Transform Domain
- 15:45 Padmapani Seneviratne (Texas A&M, University), Paley type bipartite graphs and self-dual codes
- 16:15 Alberto Ravagnani (University of Toronto), Combinatorics and covering radius of rank-metric error-correcting codes
- 17:00 Felice Manganiello (Clemson University), Representations of the Multicast Network Problem
- 17:30 Michael O’Sullivan (Saint Diego University), Maximal $t$-path traceable graphs
- Friday, Jul 28 [Centre Mont Royal, Salon International I & II]
- 14:15 Tim Alderson (University of New Brunswick), Constructions and bounds on 3-D Optical Orthogonal Codes
- 14:45 Claudio Qureshi (IMECC, Brazil), Periods of iterations of mappings over finite fields with restricted preimage sizes
- 15:45 Nuh Aydin (Kanyon College), Recent Methods of Constructing New Linear Codes over $\mathbb{Z}_4$
- 16:15 Jonathan Jedwab (Simon Fraser University), Costas cubes
- 17:00 Steve Szabo (Eastern Kentucky University), Some Minimal Rings
- 17:30 Jay Wood (Western Michigan University), Groups of isometries of additive codes over $GF(q)$

- Edgar Martinez Moro

University of ValladolidNew Avenues for Test Sets in Coding TheoryTest set decoding was an proposed as an alternative technique for syndrome decoding of linear codes. In this talk we will see how a test set can be also used for non linear codes and for computing the weight hierarchy of a code. - Ángeles Vazquez-Castro

Universidad Autónoma de Barcelona, UABWiretap Coset Coding in the Transform DomainWe first describe the mathematical model for secure communications introduced in 1948 by C. Shannon, and how relaxing its assumptions as proposed by A. Wyner in 1975 leads to what is now known as wiretap coset coding for secure communications. We then review known wiretap algebraic linear coset coding constructions and introduce systematic constructions of wiretap codes in the transform/spectral domain. - Padmapani Seneviratne

Texas A&M, UniversityPaley type bipartite graphs and self-dual codesWe derive an infinite class of binary self-dual codes from Paley type bipartite graphs P(q, k). Many of the codes in this class yield optimal or near optimal parameters. Another class of binary self-orthogonal codes are obtained from the complement of graphs P(q, k). These codes also tend to have optimal parameters. In addition, we find the structure of the automorphism group of these codes. - Alberto Ravagnani

University of TorontoCombinatorics and covering radius of rank-metric error-correcting codesThe covering radius of a rank-metric code is an important parameter that describes its correction capability. It measures the maximum weight of an error matrix than can be corrected by the code. In this talk we describe combinatorial properties and invariants of matrix codes endowed with the rank metric, and relate them to the covering radius. We introduce new tools for the analysis of rank-metric codes, such as puncturing and shortening constructions. We then discuss upper bounds on the covering radius of a code by applying different combinatorial methods. The various bounds are then applied to the special classes of MRD and quasi-MRD codes. - Felice Manganiello

Clemson UniversityRepresentations of the Multicast Network ProblemWe approach the problem of linear network coding for multicast networks from different perspectives. We introduce the code graph of a network, a simplified directed graph that maintains the information essential to understanding the coding properties of the network. One of the main problems in network coding is to understand when the capacity of a multicast network is achieved with linear network coding over a finite field of size q. We explain how this problem can be interpreted in terms of rational points on certain algebraic varieties. - Michael O’Sullivan

Saint Diego UniversityMaximal $t$-path traceable graphsThe problem of characterizing maximal non-Hamiltonian graphs may be naturally extended to characterizing graphs that are maximal with respect to nontraceability and beyond that to $t$-path traceability. We define a graph to be $t$-path traceable if the minimal number of paths that can cover it is $t$, and it is maximal for this property when adding an edge yields a $(t-1)$-path traceable graph. We show how $t$-path traceability behaves with respect to disjoint union of graphs and the join with a complete graph. Our main result is a decomposition theorem that reduces the problem of characterizing maximal $t$-path traceable graphs to characterizing those that have no universal vertex. We generalize a construction of maximal non-traceable graphs due to Zelinka to $t$-path traceable graphs. - Tim Alderson

University of New BrunswickConstructions and bounds on 3-D Optical Orthogonal CodesNew constructions of 3-dimensional optical orthogonal codes will be presented. In each case, the codes have ideal off-peak autocorrelation $0$, and in all but one case cross correlation $1$. All codes produced are optimal with respect to the applicable Johnson bound. All codes are constructed by using a particular automorphism of PG($k,q$), the finite projective geometry of dimension $k$ over the field of order $q$, or by using an affine analogue in AG($k,q$). - Claudio Qureshi

IMECC, BrazilPeriods of iterations of mappings over finite fields with restricted preimage sizesLet $[n]=\{1,…,n\}$ and let $\Omega_{n}$ be the set of all mappings from [n] to itself. Let $f$ be a random uniform element of $\Omega_{n}$ and let $T(f)$ and $B(f)$ denote, respectively, the least common multiple and the product of the length of the cycles of $f$. Harris proved in 1973 that $\log(T)$ converges in distribution to a standard normal distribution and, in 2011, E. Schmutz obtained an asymptotic estimate on the logarithm of the expectation of $T$ and $B$ over all mappings on $n$ nodes. We obtain analogous results for random uniform mappings on $n=kr$ nodes with preimage sizes restricted to a set of the form $\{0,k\}$, where $k=k(r)\geq 2$. This is motivated by the use of these classes of mappings as heuristic models for the statistics of polynomials of the form $x^{k}+a$ over the integers modulo $p$, with $p\equiv 1\pmod{k}$. We also exhibit and discuss our numerical results on this heuristic. Joint work with R. Martins, D. Panario and E. Schmutz. - Nuh Aydin

Kanyon CollegeRecent Methods of Constructing New Linear Codes over $\mathbb{Z}_4$Codes over finite rings has been a very active area of research. Among all finite rings, the quaternary ring $\mathbb{Z}_4$ has a special place. A database of best known codes over $\mathbb{Z}_4$ was introduced a few years ago. Recently, there has been an increased research activity on codes over rings that are extensions of $\mathbb{Z}_4$ and many new linear codes obtained from this work have been added to the database. In this talk, we will describe recent methods of constructing quaternary linear codes from codes over various extensions of the quaternary ring. - Jonathan Jedwab

Simon Fraser UniversityCostas cubesA Costas array is a permutation array for which the vectors joining pairs of $1$s are all distinct. We propose a new three-dimensional combinatorial object related to Costas arrays: an order $n$ \emph{Costas cube} is an array $(d_{i,j,k})$ of size $n \times n \times n$ over $\mathbb{Z}_2$ for which each of the three projections of the array onto two dimensions, namely $(\sum_i d_{i,j,k})$ and $(\sum_j d_{i,j,k})$ and $(\sum_k d_{i,j,k})$, is an order $n$ Costas array. We present constructions for two infinite families of Costas cubes. We determine all Costas cubes of order at most 29, showing that Costas cubes exist for all these orders except 18 and 19 and that a significant proportion of the Costas arrays of certain orders occur as projections of Costas cubes. We then present constructions for two infinite families of Costas cubes. This is joint work with Lily Yen, Capilano University. - Jay Wood

Western Michigan UniversityGroups of isometries of additive codes over $GF(q)$When $q$ is a prime $p$, every additive code $C$ over $GF(p)$ is a linear code, and every linear Hamming isometry of $C$ to itself extends to a monomial transformation. However, when $q$ is a prime power $p^\ell$, $\ell \geq 2$, then an additive code $C$ over $GF(q)$ is not necessarily linear, and there can exist additive Hamming isometries from $C$ to itself that are not monomial. In fact, if $H_1$ and $H_2$ are any subgroups of $GL(n,p)$ satisfying $H_1 \subseteq H_2 \subseteq GL(n, p)$, together with some natural geometric hypotheses, then there exists an additive code $C$ over $GF(q)$ of dimension $n$ over $GF(p)$ whose group of self-isometries is $H_2$ while its group of monomial self-maps is $H_1$.