Source author record

Jeremy F. Alm

Jeremy F. Alm appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2016arXiv

On sets of first-order formulas axiomatizing representable relation algebras

This is the author's 2004 Master's thesis at Iowa State University, done under the supervision of Roger D. Maddux. It provides a background in relation algebras. Three results from the literature are demonstrated in full: (i.) RRA is a variety. (ii.) RRA is not finitely based. (iii.) Any equational basis for RRA has infinitely many variables. We also give an elementary proof of Birkoff's variety theorem.

preprint2015arXiv

A Reduced Upper Bound for an Edge-coloring Problem from Relation Algebra

We construct an edge-coloring of $K_{N}$ (for $N = 3432$) in colors red, dark blue, and light blue, such that there are no monochromatic blue triangles and such that the coloring satisfies a certain strong universal-existential property. The edge-coloring of $K_{N}$ depends on a cyclic coloring of $K_{17}$ whose two color classes are $K_{4}$-, $K_{4,3}$-, and $K_{5,2}$-free. This construction yields the smallest known representation of the relation algebra $32_{65}$, reducing the upper bound from 8192 to 3432.

preprint2014arXiv

Lattices of Equivalence Relations Closed Under the Operations of Relation Algebras

One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as lattices of equivalence relations on finite sets closed under certain first order formulas. We generalize this question to a different collection of first-order formulas, giving examples to demonstrate that our new question is distinct. We then prove that every lattice $\m M_n$ can be represented in this new way. [This is an extended version of a paper submitted to \emph{Algebra Universalis}.]

preprint2014arXiv

Mixed, Multi-color, and Bipartite Ramsey Numbers Involving Trees of Small Diameter

In this paper we study Ramsey numbers for trees of diameter 3 (bistars) vs., respectively, trees of diameter 2 (stars), complete graphs, and many complete graphs. In the case of bistars vs. many complete graphs, we determine this number exactly as a function of the Ramsey number for the complete graphs. We also determine the order of growth of the bipartite $k$-color Ramsey number for a bistar.

preprint2014arXiv

Sum-free cyclic multi-bases and constructions of Ramsey algebras

Given $X\subseteq \mathbb{Z}_N$, $X$ is called a \emph{cyclic basis} if $(X+X)\cup X=\mathbb{Z}_N$, \emph{symmetric} if $x\in X$ implies $-x \in X$, and \emph{sum-free} if $(X+X)\cap X=\varnothing$. We ask, for which $m$, $N\in\mathbb{Z}^+$ can the set of non-identity elements of $\mathbb{Z}_N$ be partitioned into $m$ symmetric sum-free cyclic bases? If, in addition, we require that distinct cyclic bases interact in a certain way, we get a proper relation algebra called a Ramsey algebra. Ramsey algebras (which have also been called Monk algebras) have been constructed previously for $2\leq m\leq 7$. In this manuscript, we provide constructions of Ramsey algebras for every positive integer $m$ with $2\leq m\leq 400$, with the exception of $m=8$ and $m=13$.

preprint2012arXiv

A new approach to the results of Kövari, Sós, and Turán concerning rectangle-free subsets of the grid

For positive integers $m$ and $n$, define $f(m,n)$ to be the smallest integer such that any subset $A$ of the $m \times n$ integer grid with $|A| \geq f(m,n)$ contains a rectangle; that is, there are $x\in [m]$ and $y \in [n]$ and $d_{1},d_{2} \in \mathbb{Z}^{+}$ such that all four points $(x,y)$, $(x+d_{1},y)$, $(x,y+d_{2})$, and $(x+d_{1},y+d_{2})$ are contained in $A$. In \cite{kovarisosturan}, Kövari, Sós, and Turán showed that $\dlim_{k \to \infty}\dfrac{f(k,k)}{k^{3/2}} = 1$. They also showed that whenever $p$ is a prime number, $f(p^{2},p^{2}+p) = p^{2}(p+1)+1$. We recover their asymptotic result and strengthen the second, providing cleaner proofs which exploit a connection to projective planes, first noticed by Mendelsohn in \cite{mendelsohn87}. We also provide an explicit lower bound for $f(k,k)$ which holds for all $k$.