arXiv++ Combinatorics

We prove that coherent configurations can be represented as modules over Frobenius structures in the category of real nonnegative matrices. We generalize the notion of admissible morphism from association schemes to coherent configurations. We show that the Frobenius structure associated to a coherent configuration can be modified to become a dagger Frobenius structure, and use this to connect the coherent configurations to groupoids and $H^*$-algebras. We examine the properties of the dagger Frobenius structure with respect to admissible morphisms. We introduce the matrix $O$ obtained as the composition of comultiplication and multiplication of the dagger Frobenius structure and prove that we may obtain the valencies of colors, and thus recover the original coherent configuration, as an eigenvector of $O$. In the last part of the paper, we examine the spectrum of $O$ and apply it to generalize the Lagrange theorem from groups to association schemes.

We study higher order quantum maps in the context of a *-autonomous category of affine subspaces. We show that types of higher order maps can be identified with certain Boolean functions that we call type functions. By an extension of this identification, the algebraic structure of Boolean functions is inherited by some sets of quantum objects including higher order maps. Using the Möbius transform, we assign to each type function a poset whose elements are labelled by subsets of indices of the involved spaces. We then show that the type function corresponds to a comb type if and only if the poset is a chain. We also devise a procedure for decomposition of the poset to a set of basic chains from which the type function is constructed by taking maxima and minima of concatenations of the basic chains in different orders. On the level of higher order maps, maxima and minima correspond to affine mixtures and intersections, respectively.