-
arXiv:2409.12923 [pdf, ps, other]
Higher-dimensional book-spaces
Abstract: 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 whi… ▽ More
Submitted 19 September, 2024; originally announced September 2024.
MSC Class: 06B30; 57Q99
-
arXiv:2402.18063 [pdf, ps, other]
Invariants of structures
Abstract: 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… ▽ More
Submitted 28 February, 2024; originally announced February 2024.
MSC Class: 18C10; 13A50; 05-08
-
arXiv:2308.10177 [pdf, ps, other]
A partition formula from idempotents
Abstract: 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.
Submitted 20 August, 2023; originally announced August 2023.
MSC Class: 11P84; 05E10; 20M30
-
Discrete neural nets and polymorphic learning
Abstract: 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 structure… ▽ More
Submitted 5 November, 2023; v1 submitted 29 July, 2023; originally announced August 2023.
Comments: Version 2 includes the figures which were missing in the first version
MSC Class: 68T07; 08A70; 05C60
-
arXiv:2112.00810 [pdf, ps, other]
A multi-linear geometric estimate
Abstract: We give a generalization of the geometric estimate used by Hart and the second author in their 2008 work on sums and products in finite fields. Their result concerned level sets of non-degenerate bilinear forms over finite fields, while in this work we prove that if $E\subset\mathbb{F}_q^d$ is sufficiently large and $\varpi$ is a non-degenerate multi-linear form then $\varpi$ will attain all possi… ▽ More
Submitted 1 December, 2021; originally announced December 2021.
MSC Class: 11E20
-
arXiv:2110.05660 [pdf, ps, other]
Orientable triangulable manifolds are essentially quasigroups
Abstract: 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… ▽ More
Submitted 13 July, 2023; v1 submitted 11 October, 2021; originally announced October 2021.
Comments: A gap in the main theorem has been filled, several diagrams have been added
MSC Class: 20N15; 57N99; 53A99; 20N05; 05B15
-
arXiv:1903.07252 [pdf, ps, other]
Multiplayer Rock-Paper-Scissors
Abstract: We study a class of algebras we regard as generalized Rock-Paper-Scissors games. We determine when such algebras can exist, show that these algebras generate the varieties generated by hypertournament algebras, count these algebras, study their automorphisms, and determine their congruence lattices. We produce a family of finite simple algebras.
Submitted 13 September, 2020; v1 submitted 18 March, 2019; originally announced March 2019.
Comments: Submitted to the special Topical Collection of Algebra Universalis honoring Ralph Freese, Bill Lampe, and JB Nation
MSC Class: 08A05 (Primary) 05C20; 05C65; 08A35 (Secondary)
-
arXiv:1612.02107 [pdf, ps, other]
Nonnormal Quotients
Abstract: We present a natural extension of the process of taking a group quotient to arbitrary subgroups. We first review basic concepts from group theory. This will allow us to see the relationship between our new, more general quotient operation and the standard group quotient. In particular, we will find that a naive attempt to perform the quotient process with a nonnormal subgroup actually leads to a w… ▽ More
Submitted 22 December, 2016; v1 submitted 6 December, 2016; originally announced December 2016.
Comments: 5 pages, 3 figures
MSC Class: 20A05
-
arXiv:1509.01090 [pdf, ps, other]
Tiling sets and spectral sets over finite fields
Abstract: We study tiling and spectral sets in vector spaces over prime fields. The classical Fuglede conjecture in locally compact abelian groups says that a set is spectral if and only if it tiles by translation. This conjecture was disproved by T. Tao in Euclidean spaces of dimensions 5 and higher, using constructions over prime fields (in vector spaces over finite fields of prime order) and lifting them… ▽ More
Submitted 3 September, 2015; originally announced September 2015.
MSC Class: 46S10; 52C22; 05D99