If \( G = (V,E,F) \) is a finite connected plane graph on \( |V| = p \) vertices, \( |E| = q \) edges and \( |F| = t \) faces, then \( G \) is said to be \( (a, d) \)-face antimagic iff there exists a bijection \( h: E \to \{1,2,\ldots,q\} \) and two positive integers \( a \) and \( d \) such that the induced mapping \( g_h: F \to \mathbb{N} \), defined by \( g_h(f) = \sum\{h(u,v) : \text{edge } (u,v) \text{ surrounds the face } f\} \), is injective and has the image set \( g_h(F) = \{a,a+d,\ldots,a + (t – 1)d\} \). We deal with \( (a,d) \)-face antimagic labelings for a certain class of plane graphs.

We provide tables which summarize various aspects of the finite linear groups \( \text{GL}(n, 2) \), \( n < 7 \), in their action upon the vector space \( V_n = V(n, 2) \) and upon the associated projective space \( \text{PG}(n – 1, 2) \). It is intended that the tabulated results should be immediately accessible to finite geometers, and to all others (design theorists, coding theorists, \ldots) who have occasional need of these groups. In the case \( n = 4 \) attention is also paid to the maximal subgroup \( \Gamma \text{L}(2, 4) \). In the case \( n = 6 \) the maximal subgroups \( \Gamma \text{L}(2, 8) \) and \( \Gamma \text{L}(3, 4) \) are treated, as are class aspects of the tensor product structure \( V_6 = V_2 \otimes V_3 \), and of the exterior product structure \( V_6 = \wedge^2 V_4 \).

It is conjectured that any 2-regular graph \( G \) with \( n \) edges has a \( \rho \)-labeling (and thus divides \( K_{2n+1} \) cyclically). In this note, we show that the conjecture holds when \( G \) has at most two components.

An elongated ply \( T(n; t^{(1)}, t^{(2)}, \ldots, t^{(n)}) \) is a snake of \( n \) number of plys \( P_{t(i)} (u_i, u_{i+1}) \) where any two adjacent plys \( P_{t(i)} \) and \( P_{t(i+1)} \) have only the vertex \( u_{i+1} \) in common. That means the block cut vertex graph of \( T_n \) is thus a path of length \( n – 1 \). In this paper, the cordiality of the Elongated Ply \( T_n \) is investigated.

Consider placing a guard on each vertex of a dominating set \( S_0 \) of a graph. If for every vertex \( v \notin S_0 \), there is a corresponding guard at an adjacent vertex \( u \) for which the resulting set \( S_1 = S_0 – \{u\} \cup \{v\} \) is dominating, then we say that \( S_0 \) is \( 1 \)-secure. It is eternally \( 1 \)-secure if for any sequence \( v_1, v_2, \ldots, v_k \) of vertices, there exists a sequence of guards \( u_1, u_2, \ldots, u_k \) with \( u_i \in S_{i-1} \) and \( u_i \) equal to or adjacent to \( v_i \), such that each set \( S_i = S_{i-1} – \{u_i\} \cup \{v_i\} \) is dominating. We investigate the minimum cardinality of an eternally secure set. In particular, we refute a conjecture of Burger et al. We also investigate eternal \( m \)-security, in which all guards can move simultaneously.

In 1990, Kolesova, Lam, and Thiel determined the 283,657 main classes of Latin squares of order 8. Using techniques to determine relevant Latin trades and integer programming, we examine representatives of each of these main classes and determine that none can contain a uniquely completable set of size less than 16. In three of these main classes, the use of trades which contain less than or equal to three rows, columns, or elements does not suffice to determine this fact. We closely examine properties of representatives of these three main classes. Writing the main result in Nelder’s notation for critical sets, we prove that \( \text{scs}(8) = 16 \).

An edge-ordering of a graph \( G = (V, E) \) is a one-to-one function \( f \) from \( E \) to the set of positive integers. A path of length \( k \) in \( G \) is called a \( (k, f) \)-ascent if \( f \) increases along the edge sequence of the path. The altitude \( \alpha(G) \) of \( G \) is the greatest integer \( k \) such that for all edge-orderings \( f \), \( G \) has a \( (k, f) \)-ascent.

We obtain a recursive lower bound for \( \alpha(K_{m,n}) \) and show that

\[\alpha(K_{3,n}) = \begin{cases}4 & \text{if } 5 \leq n \leq 9 \\5 & \text{if } 10 \leq n \leq 12 \\6 & \text{if } n \geq 13\end{cases}\]

A vertex set \( D \) of a graph \( G \) is a dominating set if every vertex not in \( D \) is adjacent to some vertex in \( D \). The domination number \( \gamma \) of a graph \( G \) is the minimum cardinality of a dominating set in \( G \). In 1989, Brigham and Dutton [1] proved

\[\gamma \leq \left\lceil\frac{3n-g}{6}\right\rceil\]

for each graph \( G \) of order \( n \), minimum degree \( \delta \geq 2 \), and girth \( g \geq 5 \). If \( G \) is a graph of order \( n \), minimum degree \( \delta \geq 2 \), girth \( g \geq 5 \) and neither a cycle nor one of two exceptional graphs, then we give in this paper the better bound

\[\gamma(G) \leq \left\lceil\frac{3n-g}{6}\right\rceil-1\]

For \( \delta \geq 3 \) and \( g \geq 5 \), we also prove \( \gamma \leq \left\lceil\frac{6n-g}{15}\right\rceil \), and this inequality is better than \( (*) \) when \( n > g + 10 \). In addition, if \( \delta \geq 3 \), then we show that

\[2\gamma \leq n – (\delta-2)(1 + \lfloor{d}/{3}\rfloor)\]

where \( d \) is the diameter of the graph. Some related bounds in terms of the diameter, girth, order, and minimum degree are also presented.

SOS-skeins correspond exactly to the Steiner quadruple systems [8,12]. Let \( P_1 \) be a finite simple SQS-skein of cardinality \( n > 4 \). In this article, we will present a construction for a non-simple subdirectly irreducible (monolithic) SOS-skein \( P = 2 \otimes_\alpha P_n \) of cardinality \( 2n \) in which each proper homomorphic image is Boolean for all \( n \equiv 2 \) or \( 4 \pmod{6} \). We can then show that if \( P_1 \) has a simple derived sloop, then the constructed SOS-skein \( 2 \otimes_\alpha P_1 \) contains a derived sloop which is subdirectly irreducible and has the same property as the SOS-skein \( 2 \otimes_\alpha P_1 \) that each of its proper homomorphic images is Boolean. Similar to the theory of Steiner loops and Steiner quasigroups [14], the author [1] has proven that the variety \( V(P_1) \) generated by a finite simple cubic SQS-skein \( P_1 \) covers the smallest non-trivial subvariety (the class of all Boolean SQS-skeins). Finally, we show that the variety \( V(2 \otimes_\alpha P_1) \) generated by the constructed SQS-skein \( 2 \otimes_\alpha P_1 \) covers the variety \( V(P_1) \) for each finite simple cubic SOS-skein \( P_1 \).

It is shown that for any rank \( r \) with \( n – \log(n+1) + 4 \leq r \leq n – 4 \) and any length \( n \), where \( n = 2^k – 1 \) and \( k \geq 8 \), there is a perfect code with these parameters and with a trivial group of symmetries.