arXiv subjects

Charlotte Aten

Publications and source records attributed to Charlotte Aten.

9 recordsLinked to original sources

arXiv2026

A rock-paper-scissors Mandelbrot set

The titular object of this paper is an analogue of the Mandelbrot set over the 3-dimensional real algebra whose multiplication is the bilinear extension of the rock-paper-scissors operation. In order to study the dynamics of the mappings $x\mapsto x^2+c$ in this setting, a notion of holomorphy for functions on general finite-dimensional real algebras is introduced. Under a mild assumption it is shown that for such algebras holomorphy is always equivalent to solving a finite system of linear first-order PDEs generalizing the Cauchy-Riemann equations. Code is provided for generating animations of these fractals and for exploring them in a video game format.

math.DS↗

arXiv2024

Higher-dimensional book-spaces

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.

math.RA↗

arXiv2024

Invariants of structures

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.

math.CT↗

arXiv2023

Discrete neural nets and polymorphic learning

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.

cs.NE↗

arXiv2023

A partition formula from idempotents

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.

math.CO↗

arXiv2023

Orientable triangulable manifolds are essentially quasigroups

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.

math.RA↗

arXiv2021

A multi-linear geometric estimate

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 possible nonzero values as its arguments vary over $E$, under a certain quantitative assumption on the extent to which $E$ is projective. We show that our bound is nontrivial in the case that $n=3$ and $d=2$ and construct examples of sets to which this applies. In particular, we give conditions under which every member of $\mathbb{F}_q^*$ belongs to $A\cdot A\cdot A+A\cdot A\cdot A\cdot A\cdot A\cdot A$ where $A$ is a union of cosets of a subgroup of $\mathbb{F}_q^*$.

math.NT↗

arXiv2020

Multiplayer Rock-Paper-Scissors

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.

math.RA↗

arXiv2016

Nonnormal Quotients

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 well-defined operation which can be easily characterized with existing terminology.

math.GR↗