A connected graph \(G = (V, E)\) is \((a, d)\)-antimagic if there exist positive integers \(a, d\) and a bijection \(g: E \to \{1, 2, \ldots, |E|\}\) such that the induced mapping
\[f_g = \Sigma\{g(u,v): (u, v) \in E(G)\}\, \text{is injective and}\]
\[f_g(V) = \{a, a+d, a+2d, \ldots, a+(|V|-1)d\}.\]
In this paper, we prove two conjectures of Baca concerning \((a, d)\)-antimagic labelings of antiprisms

Some special sum graphs and difference graphs, based on abelian groups, are discussed. In addition to Li’s result on character sum estimates, Weil’s character sum estimates are also used to show that these are indeed Ramanujan graphs.

A critical set in a Latin square of order \(n\) is a set of entries in a Latin square which can be embedded in precisely one Latin square of order \(n\). Also, if any element of the critical set is deleted, the remaining set can be embedded in more than one Latin square of order \(n\). A smallest critical set in a Latin square is a critical set of minimum cardinality. In this paper we find smallest critical sets for all the Latin squares of orders six and seven. We also find smallest critical sets of orders six and seven which are also weak critical sets. In particular, we find a weak critical set of size twelve for the dihedral group of order six.

We study combinatorial structure of \(\ell\)-optimal \(A^2\)-codes that offer the best protection for spoofing of order up to \(\ell\) and require the least number of keys for the transmitter and the receiver. We prove that for such codes the transmitter’s encoding matrix is a strong partially balanced resolvable design, and the receiver’s verification matrix corresponds to an \(\alpha\)-resolvable design with special properties.

It is proved in this paper that for any integer \(n \geq 136\), a SODLS(\(v, n\)) (self-orthogonal diagonal Latin square with missing subsquare) exists if and only if \(v \geq 3n+2\) and \(v-n\) even.

Employing trading signed design algorithm, we construct an automorphism-free \(4\)-\((15, 5, 5)\) design.

Consider those graphs \(G\) of size \(2n\) that have an eigenvalue \(\lambda\) of multiplicity \(n\) and where the edges between the star set and its complement is a matching. We show that \(\lambda\) must be either \(0\) or \(1\) and completely characterize the corresponding graphs.