Jeremy F. Alm

dblp:34/10720 · DBLP profile ↗
← Back
5ranked-venue papers
5as first author
3since 2021 · last 2024
0000-0002-5300-2101ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 5 first-author · 3 since 2021
YearPublicationVenuePosition
2024 Cyclic Group Spectra for Some Small Relation Algebras
Jeremy F. Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman, Chesney Culver
RAMiCS1
2024 Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
abstract
In this paper, we consider relational structures arising from Comer's finite field construction, where the cosets need not be sum free. These Comer schemes generalize the notion of a Ramsey scheme and may be of independent interest. As an application, we give the first finite representation of $34_{65}$. This leaves $33_{65}$ as the only remaining relation algebra in the family $N_{65}$ with a flexible atom that is not known to be finitely representable. Motivated by this, we complement our upper bounds with some lower bounds. Using a SAT solver, we show that $33_{65}$ is not finitely representable on fewer than $24$ points, and that $33_{65}$ does not admit a cyclic group representation on fewer than $120$ points. We also employ a SAT solver to show that $34_{65}$ is not representable on fewer than $24$ points. Fundamenta Informaticae final journal version; previous conference version appeared in RAMiCS 2023
Jeremy F. Alm, David A. Andrews, Michael Levet
Fundam. Informaticae1
2023 Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
Jeremy F. Alm, David A. Andrews, Michael Levet
RAMiCS1
2019 A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over Z/pZ
Jeremy F. Alm, Andrew Ylvisaker
Theor. Comput. Sci.1
2015 Sum-free cyclic multi-bases and constructions of Ramsey algebras
Jeremy F. Alm, Jacob Manske
Discret. Appl. Math.1