arXiv++ Combinatorics

Graphs that are squares under the gluing algebra arise in the study of homomorphism density inequalities such as Sidorenko's conjecture. Recent work has focused on these homomorphism density applications. This paper takes a new perspective and focuses on the graph properties of arbitrary square graphs, not only those relevant to homomorphism conjectures and theorems. We develop a set of necessary and/or sufficient conditions for a graph to be square. We apply these conditions to categorize several classical families of graphs as square or not. In addition, we create infinite families of square graphs by proving that joins and Cartesian, direct, strong, and lexicographic products of square graphs with arbitrary graphs are square.

This paper investigates the design and application of write-once memory (WOM) codes for flash memory storage. Using ideas from Merkx ('84), we present a construction of WOM codes based on finite Euclidean geometries over $\mathbb{F}_2$. This construction yields WOM codes with new parameters and provides insight into the criterion that incidence structures should satisfy to give rise to good codes. We also analyze methods of adapting binary WOM codes for use on multilevel flash cells. In particular, we give two strategies based on different rewrite objectives. A brief discussion of the average-write performance of these strategies, as well as concatenation methods for WOM codes is also provided.