arXiv++ Combinatorics

In 2017, Walter Taylor showed that there exist $2$-dimensional simplicial complexes which admit the structure of topological modular lattice but not topological distributive lattice. We give a positive answer to his question as to whether $n$-dimensional simplicial complexes with the same property exist. We do this by giving, for each $n\ge2$, an infinite family of compact simplicial complexes which admit the structure of topological modular lattice but not topological distributive lattice.

We give a categorification of the notion of a mathematical structure originally given by Bourbaki in their set theory textbook. We show that any isomorphism-invariant property of a finite structure can be computed by counting the number of isomorphic copies of small substructures it contains. Our main theorem in this direction is a generalization of the classical result of Hilbert about elementary symmetric polynomials generating the algebra of all symmetric polynomials. We also show that, for structures built from sets, the Yoneda functor extends to a canonical embedding of any such category of structures into an associated category of structures in the sense of classical model theory.

A formula which only involves a partition number and elementary functions is derived by applying Burnside's Lemma to the set of idempotent maps from a set to itself. One side involves a summation over a set closely related to the partition number, however. Some speculation is made as to how to eliminate this summation.

Theorems from universal algebra such as that of Murskiĭ from the 1970s have a striking similarity to universal approximation results for neural nets along the lines of Cybenko's from the 1980s. We consider here a discrete analogue of the classical notion of a neural net which places these results in a unified setting. We introduce a learning algorithm based on polymorphisms of relational structures and show how to use it for a classical learning task.

We introduce an $n$-dimensional analogue of the construction of tessellated surfaces from finite groups first described by Herman and Pakianathan. Our construction is functorial and associates to each $n$-ary alternating quasigroup both a smooth, flat Riemannian $n$-manifold which we dub the open serenation of the quasigroup in question, as well as a topological $n$-manifold (the serenation of the quasigroup) which is a subspace of the metric completion of the open serenation. We prove that every connected orientable smooth manifold is serene, in the sense that each such manifold is a component of the serenation of some quasigroup. We prove some basic results about the variety of alternating $n$-quasigroups and note connections between our construction, Latin hypercubes, and Johnson graphs.