Showing 1–28 of 28 results for author: Alm, J F

Chutes and Ladders: on some sequences inspired by 2017 Putnam A1

Authors: Jeremy F. Alm, Matt Salomone

Abstract: The first problem of the 2017 Putnam competition was to characterize a set of natural numbers closed under both the square-root map $n^2 \mapsto n$ and the "add 5 and square" map $ n \mapsto (n+5)^2$. We reframe this as a problem on an infinite directed graph, using this framing both to generalize the problem and its solution, as well as to determine the first appearance of each number in this set… ▽ More The first problem of the 2017 Putnam competition was to characterize a set of natural numbers closed under both the square-root map $n^2 \mapsto n$ and the "add 5 and square" map $ n \mapsto (n+5)^2$. We reframe this as a problem on an infinite directed graph, using this framing both to generalize the problem and its solution, as well as to determine the first appearance of each number in this set under a row-wise algorithm that outputs all its elements. △ Less

Submitted 25 May, 2024; originally announced May 2024.

MSC Class: 11A07; 11-04

Cyclic Group Spectra for Some Small Relation Algebras

Authors: Jeremy F. Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman, Chesney Culver

Abstract: The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class $\mathbf{RRA}$ is known to be not finitely axiomatizable in first-order logic. Nevertheless, it is conjectured that ``almost all'' finite relation algebras are representable. All finite relation algebras with three or fewer atoms are representable. So one may ask, Over what cardinaliti… ▽ More The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class $\mathbf{RRA}$ is known to be not finitely axiomatizable in first-order logic. Nevertheless, it is conjectured that ``almost all'' finite relation algebras are representable. All finite relation algebras with three or fewer atoms are representable. So one may ask, Over what cardinalities of sets are they representable? This question was answered completely by Andréka and Maddux (``Representations for small relation algebras,'' \emph{Notre Dame J. Form. Log.}, \textbf{35} (1994)); they determine the spectrum of every finite relation algebra with three or fewer atoms. In the present paper, we restrict attention to cyclic group representations, and completely determine the cyclic group spectrum for all seven symmetric integral relation algebras on three atoms. We find that in some instances, the spectrum and cyclic spectrum agree; in other instances, the spectra disagree for finitely many $n$; finally, for other instances, the spectra disagree for infinitely many $n$. The proofs employ constructions, SAT solvers, and the probabilistic method. △ Less

Submitted 23 March, 2024; originally announced March 2024.

MSC Class: 03G15; 05D40

Improved bounds on the size of the smallest representation of relation algebra $32_{65}$

Authors: Jeremy F. Alm, Michael Levet, Saeed Moazami, Jorge Montero-Vallejo, Linda Pham, Dave Sexton, Xiaonan Xu

Abstract: In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in $\text{Spec}(A_{n})$ is at most $2n^{6 + o(1)}$, which is the first polynomial bound and improves upon the previous bound due to Dodd \& Hirsch (\textit{J. Relationa… ▽ More In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in $\text{Spec}(A_{n})$ is at most $2n^{6 + o(1)}$, which is the first polynomial bound and improves upon the previous bound due to Dodd \& Hirsch (\textit{J. Relational Methods in Computer Science} 2013). We also improve the lower bound to $2n^{2} + 4n + 1$, which is asymptotically double the trivial bound of $n^{2} + 2n + 3$. In the process, we obtain stronger results regarding $\text{Spec}(A_{2}) =\text{Spec}(32_{65})$. Namely, we show that $1024$ is in the spectrum, and no number smaller than 26 is in the spectrum. Our improved lower bounds were obtained by employing a SAT solver, which suggests that such tools may be more generally useful in obtaining representation results. △ Less

Submitted 20 March, 2022; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: 17 pages

MSC Class: 03G15

Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture

Authors: Jeremy F. Alm, David A. Andrews, Michael Levet

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 fle… ▽ More 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. △ Less

Submitted 20 May, 2024; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: Full version of paper that previously appeared in RAMiCS 2023

MSC Class: 03G15

Arithmetic Progressions of Length Three in Multiplicative Subgroups of $\mathbb{F}_p$

Authors: Jeremy F Alm

Abstract: In this paper, we give an algorithm for detecting non-trivial 3-APs in multiplicative subgroups of $\mathbb{F}_p^\times$ that is substantially more efficient than the naive approach. It follows that certain Var der Waerden-like numbers can be computed in polynomial time. In this paper, we give an algorithm for detecting non-trivial 3-APs in multiplicative subgroups of $\mathbb{F}_p^\times$ that is substantially more efficient than the naive approach. It follows that certain Var der Waerden-like numbers can be computed in polynomial time. △ Less

Submitted 26 February, 2019; originally announced February 2019.

Comments: 8 pages, 2 figures. The proof of Theorem 2 follows closely the proof of Theorem 4 from arXiv:1609.01817

MSC Class: 11B25; 11Y16

Directed Ramsey and Anti-Ramsey Schemes and the Flexible Atom Conjecture

Authors: Jeremy F. Alm, Michael Levet

Abstract: In this paper, we shed new light on the Flexible Atom Conjecture. We first give finite representation results for relation algebras $33_{37}, 35_{37}$, $77_{83}$, $78_{83}$, $80_{83}$, $82_{83}$, $83_{83}$, $1310_{1316}$, $1313_{1316}$, $1315_{1316}$, and $1316_{1316}$. Prior to our paper, only $83_{83}$ and $1316_{1316}$ were known to be finitely representable. We accomplish this by generalizing… ▽ More In this paper, we shed new light on the Flexible Atom Conjecture. We first give finite representation results for relation algebras $33_{37}, 35_{37}$, $77_{83}$, $78_{83}$, $80_{83}$, $82_{83}$, $83_{83}$, $1310_{1316}$, $1313_{1316}$, $1315_{1316}$, and $1316_{1316}$. Prior to our paper, only $83_{83}$ and $1316_{1316}$ were known to be finitely representable. We accomplish this by generalizing the notion of a relation algebra generated by a Ramsey scheme to the directed (antisymmetric) setting, and then showing that each of these algebras embeds into a finite directed (anti-)Ramsey scheme. The notion of a directed (anti-)Ramsey scheme may be of independent interest. We complement our upper bounds with some lower bounds. Namely, we show that any square representation of $31_{37}$ requires at least $14$ points, any square representation of $33_{37}$ requires at least $11$ points, and any square representation of $35_{37}$ requires at least $12$ points. Our technique adapts previous work of Alm, et. al. (Algebra Universalis 2022), in that we examine the combinatorial structure induced by the flexible atom. △ Less

Submitted 25 July, 2023; v1 submitted 20 January, 2019; originally announced January 2019.

MSC Class: 03G15

Some Ordered Ramsey Numbers of Graphs on Four Vertices

Authors: Will Overman, Jeremy F. Alm, Kayla Coffey, Carolyn Langhoff

Abstract: An ordered graph $H$ on $n$ vertices is a graph whose vertices have been labeled bijectively with $\{1,...,n\}$. The ordered Ramsey number $r_<(H)$ is the minimum $n$ such that every two-coloring of the edges of the complete graph $K_n$ contains a monochromatic copy of $H$ such that the vertices in the copy appear in the same order as in $H$. Although some bounds on the ordered Ramsey numbers of… ▽ More An ordered graph $H$ on $n$ vertices is a graph whose vertices have been labeled bijectively with $\{1,...,n\}$. The ordered Ramsey number $r_<(H)$ is the minimum $n$ such that every two-coloring of the edges of the complete graph $K_n$ contains a monochromatic copy of $H$ such that the vertices in the copy appear in the same order as in $H$. Although some bounds on the ordered Ramsey numbers of certain infinite families of graphs are known, very little is known about the ordered Ramsey numbers of specific small graphs compared to how much we know about the usual Ramsey numbers for these graphs. In this paper we tackle the problem of proving non-trivial upper bounds on orderings of graphs on four vertices. We also extend one of our results to $n+1$ vertex graphs that consist of a complete graph on $n$ vertices with a pendant edge to vertex 1. Finally, we use a SAT solver to compute some numbers exactly. △ Less

Submitted 29 October, 2019; v1 submitted 24 May, 2018; originally announced May 2018.

Comments: 14 pages. Updated paper with new SAT solver results

Random Relation Algebras

Authors: Jeremy F. Alm

Abstract: We develop a random model for relation algebras. We prove some preliminary results and pose questions that lay out a new direction of research. We develop a random model for relation algebras. We prove some preliminary results and pose questions that lay out a new direction of research. △ Less

Submitted 16 February, 2018; originally announced February 2018.

MSC Class: 03G15; 68Q87

Finite representations for two small relation algebras

Authors: Jeremy F. Alm, Roger D. Maddux

Abstract: In this note, we give two different proofs that relation algebra $52_{65}$ is representable over a finite set. The first is probabilistic, and uses Johnson schemes. The second is an explicit group representation over $ (\mathbb{Z}/2\mathbb{Z})^{10}$. We also give a finite representation of $59_{65}$ over $\mathbb{Z}/113\mathbb{Z}$ using a technique due to Comer. In this note, we give two different proofs that relation algebra $52_{65}$ is representable over a finite set. The first is probabilistic, and uses Johnson schemes. The second is an explicit group representation over $ (\mathbb{Z}/2\mathbb{Z})^{10}$. We also give a finite representation of $59_{65}$ over $\mathbb{Z}/113\mathbb{Z}$ using a technique due to Comer. △ Less

Submitted 30 November, 2017; originally announced December 2017.

MSC Class: 03G15

2-Free Tetranacci Sequences

Authors: Jeremy F. Alm, Taylor Herald, Ellen Rammelkamp Miller, Dave Sexton

Abstract: We consider a variant on the Tetranacci sequence, where one adds the previous four terms, then divides the sum by two until the result is odd. We give an algorithm for constructing "initially division-poor" sequences, where over an initial segment one divides by two only once for each term. We develop a probabilistic model that suggests that "most" sequences are unbounded, and provide computationa… ▽ More We consider a variant on the Tetranacci sequence, where one adds the previous four terms, then divides the sum by two until the result is odd. We give an algorithm for constructing "initially division-poor" sequences, where over an initial segment one divides by two only once for each term. We develop a probabilistic model that suggests that "most" sequences are unbounded, and provide computational data to support the underlying assumptions of the model. △ Less

Submitted 2 October, 2017; originally announced October 2017.

MSC Class: 11B39

A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over $\mathbb{Z}/p\mathbb{Z}$

Authors: Jeremy F. Alm, Andrew Ylvisaker

Abstract: Proper relation algebras can be constructed using $\mathbb{Z}/p\mathbb{Z}$ as a base set using a method due to Comer. The cycle structure of such an algebra must, in general, be determined \emph{a posteriori}, normally with the aid of a computer. In this paper, we give an improved algorithm for checking the cycle structure that reduces the time complexity from $\mathcal{O}(p^2)$ to… ▽ More Proper relation algebras can be constructed using $\mathbb{Z}/p\mathbb{Z}$ as a base set using a method due to Comer. The cycle structure of such an algebra must, in general, be determined \emph{a posteriori}, normally with the aid of a computer. In this paper, we give an improved algorithm for checking the cycle structure that reduces the time complexity from $\mathcal{O}(p^2)$ to $\mathcal{O}(p)$. △ Less

Submitted 5 January, 2018; v1 submitted 14 August, 2017; originally announced August 2017.

MSC Class: 03G15; 11Y16

Representability of Lyndon-Maddux relation algebras

Authors: Jeremy F. Alm

Abstract: In Alm-Hirsch-Maddux (2016), relation algebras $\mathfrak{L}(q,n)$ were defined that generalize Roger Lyndon's relation algebras from projective lines, so that $\mathfrak{L}(q,0)$ is a Lyndon algebra. In that paper, it was shown that if $q>2304n^2+1$, $\mathfrak{L}(q,n)$ is representable, and if $q<2n$, $\mathfrak{L}(q,n)$ is not representable. In the present paper, we reduced this gap by proving… ▽ More In Alm-Hirsch-Maddux (2016), relation algebras $\mathfrak{L}(q,n)$ were defined that generalize Roger Lyndon's relation algebras from projective lines, so that $\mathfrak{L}(q,0)$ is a Lyndon algebra. In that paper, it was shown that if $q>2304n^2+1$, $\mathfrak{L}(q,n)$ is representable, and if $q<2n$, $\mathfrak{L}(q,n)$ is not representable. In the present paper, we reduced this gap by proving that if $q\geq n(\log n)^{1+\varepsilon}$, $\mathfrak{L}(q,n)$ is representable. △ Less

Submitted 18 March, 2017; originally announced March 2017.

Comments: 8 pages, 2 figures

MSC Class: 03G15; 05D40

401 and beyond: improved bounds and algorithms for the Ramsey algebra search

Authors: Jeremy F. Alm

Abstract: In this paper, we discuss an improvement of an algorithm to search for primes $p$ and coset-partitions of Z/pZ* that yield Ramsey algebras over Z/pZ. We also prove an upper bound on the modulus p in terms of the number of cosets. We have, as a corollary, that there is no prime $p$ for which there exists a partition of Z/pZ* into 13 cosets that yields a 13-color Ramsey algebra. Thus A263308(13) = 0… ▽ More In this paper, we discuss an improvement of an algorithm to search for primes $p$ and coset-partitions of Z/pZ* that yield Ramsey algebras over Z/pZ. We also prove an upper bound on the modulus p in terms of the number of cosets. We have, as a corollary, that there is no prime $p$ for which there exists a partition of Z/pZ* into 13 cosets that yields a 13-color Ramsey algebra. Thus A263308(13) = 0. △ Less

Submitted 9 September, 2017; v1 submitted 6 September, 2016; originally announced September 2016.

MSC Class: 11B13

Journal ref: Journal of Integer Sequences, Vol. 17, 2017

Degree-correlation, robustness, and vulnerability in finite scale-free networks

Authors: Jeremy F. Alm, Keenan M. L. Mack

Abstract: Many naturally occurring networks have a power-law degree distribution as well as a non-zero degree correlation. Despite this, most studies analyzing the robustness to random node-deletion and vulnerability to targeted node-deletion have concentrated only on power-law degree distribution and ignored degree correlation. This study looks specifically at the effect degree-correlation has on robustnes… ▽ More Many naturally occurring networks have a power-law degree distribution as well as a non-zero degree correlation. Despite this, most studies analyzing the robustness to random node-deletion and vulnerability to targeted node-deletion have concentrated only on power-law degree distribution and ignored degree correlation. This study looks specifically at the effect degree-correlation has on robustness and vulnerability in scale-free networks. Our results confirm Newman's finding that positive degree-correlation increases robustness and decreases vulnerability. However, we found that networks with positive degree-correlation are more vulnerable to random node-deletion than to targeted deletion methods that utilize knowledge of initial node-degree only. Targeted deletion sufficiently alters the topology of the network to render this method less effective than uniform random methods unless changes in topology are accounted for. This result indicates the importance of degree correlation in certain network applications. △ Less

Submitted 15 February, 2017; v1 submitted 28 June, 2016; originally announced June 2016.

Comments: 7 pages

MSC Class: 92D30; 05C80; 05C85

On sets of first-order formulas axiomatizing representable relation algebras

Authors: Jeremy F. Alm

Abstract: 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 t… ▽ More 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. △ Less

Submitted 27 April, 2016; originally announced April 2016.

Comments: 56 pages. Because the source code and packages are old, some of the diagrams are missing line segments. Iowa State University MS thesis, 2004

MSC Class: 03G15

The vector graph and the chromatic number of the plane, or how NOT to prove that $χ(\mathbb{E}^2)>4$

Authors: Jeremy F. Alm, Jacob Manske

Abstract: The chromatic number $χ\left(\mathcal{E^2}\right)$ of the plane is known to be some integer between 4 and 7, inclusive. We prove a limiting result that says, roughly, that one cannot increase the lower bound on $χ\left(\mathcal{E^2}\right)$ by pasting Moser Spindles together, even countably many. The chromatic number $χ\left(\mathcal{E^2}\right)$ of the plane is known to be some integer between 4 and 7, inclusive. We prove a limiting result that says, roughly, that one cannot increase the lower bound on $χ\left(\mathcal{E^2}\right)$ by pasting Moser Spindles together, even countably many. △ Less

Submitted 4 August, 2016; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: To appear in Australasian Journal of Combinatorics

MSC Class: 05D10

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

Authors: Jeremy F. Alm, David A. Andrews

Abstract: 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 yiel… ▽ More 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. △ Less

Submitted 27 April, 2015; originally announced April 2015.

MSC Class: 05C15; 03G15

Generalizing $p$-goodness to ordered graphs

Authors: Jeremy F. Alm, Patrick Bahls, Kayla Coffey, Carolyn Langhoff

Abstract: It is known that the connected graphs that are $p$-good for all $p$ are the trees. In this paper, we ask which ordered trees are order-$p$-good for all $p$. It is known that the connected graphs that are $p$-good for all $p$ are the trees. In this paper, we ask which ordered trees are order-$p$-good for all $p$. △ Less

Submitted 2 June, 2020; v1 submitted 9 December, 2014; originally announced December 2014.

Comments: 8 pages

MSC Class: 05C55

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

Authors: Jeremy F. Alm, Nicholas Hommowun, Aaron Schneider

Abstract: 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. 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. △ Less

Submitted 5 April, 2014; v1 submitted 2 March, 2014; originally announced March 2014.

Comments: 8 pages, 6 figures

MSC Class: 05D10

There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras

Authors: Jeremy F. Alm, Robin Hirsch, Roger D. Maddux

Abstract: We prove that any equational basis that defines RRA over wRRA must contain infinitely many variables. The proof uses a construction of arbitrarily large finite weakly representable but not representable relation algebras whose "small" subalgebras are representable. We prove that any equational basis that defines RRA over wRRA must contain infinitely many variables. The proof uses a construction of arbitrarily large finite weakly representable but not representable relation algebras whose "small" subalgebras are representable. △ Less

Submitted 7 July, 2016; v1 submitted 18 October, 2013; originally announced October 2013.

Comments: To appear in Review of Symbolic Logic

MSC Class: 03G15

Journal ref: The Review of Symbolic Logic 9 (2016) 511-521

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

Authors: Jeremy F. Alm, Jacob Manske

Abstract: 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 cycli… ▽ More 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$. △ Less

Submitted 24 December, 2014; v1 submitted 2 July, 2013; originally announced July 2013.

Comments: 14 pages, 2 figures

MSC Class: 03G15; 11B13; 05D10

Journal ref: Discrete Applied Mathematics, (180), 2015, p. 204-212

On Radial Colorings of Annuli

Authors: Jeremy F. Alm, Jacob Manske

Abstract: We consider the chromatic numbers of unit-distance graphs of various annuli. In particular, we consider radial colorings, which are "nice" colorings, and completely determine the radial chromatic numbers of various annuli. We consider the chromatic numbers of unit-distance graphs of various annuli. In particular, we consider radial colorings, which are "nice" colorings, and completely determine the radial chromatic numbers of various annuli. △ Less

Submitted 24 December, 2014; v1 submitted 22 May, 2013; originally announced May 2013.

Comments: 11 pages, 14 figures

MSC Class: 05D10

Journal ref: Australasian Journal of Combinatorics, (60), 2014, p. 270-278

An infinite cardinal version of Gallai's Theorem for colorings of the plane

Authors: Jeremy F. Alm

Abstract: We generalize a result of Tibor Gallai as follows: for any finite set of points $\mathcal{S}$ in the plane, if the plane is colored in finitely many colors, then there exist $2^{\aleph_0}$ monochromatic subsets of the plane homothetic to $\mathcal{S}$. Furthermore, we prove an even stronger result for $n$-dimensional Euclidean space. We generalize a result of Tibor Gallai as follows: for any finite set of points $\mathcal{S}$ in the plane, if the plane is colored in finitely many colors, then there exist $2^{\aleph_0}$ monochromatic subsets of the plane homothetic to $\mathcal{S}$. Furthermore, we prove an even stronger result for $n$-dimensional Euclidean space. △ Less

Submitted 24 December, 2014; v1 submitted 10 April, 2013; originally announced April 2013.

Comments: 7 pages; To appear in Journal of Combinatorics

MSC Class: 05D10

Journal ref: Journal of Combinatorics Vol 5 (2014) pp. 445-452

On the equational complexity of RRA

Authors: Jeremy F. Alm

Abstract: We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function. We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function. △ Less

Submitted 7 April, 2013; originally announced April 2013.

Comments: 4 pages

MSC Class: 03G15

Journal ref: Algebra Universalis, (68), 2012, p. 321-324

Motif Patterns and Coverings of Points with Unit Disks, Part I

Authors: Jeremy F. Alm, Nicholas Hommowun, Elizabeth Manary, Aaron Schneider

Abstract: We consider a modification of Winkler's "dots and coins" problem, where we constrain the dots to lie on a square lattice in the plane. We construct packings of "coins" (closed unit disks) using motif patterns. We consider a modification of Winkler's "dots and coins" problem, where we constrain the dots to lie on a square lattice in the plane. We construct packings of "coins" (closed unit disks) using motif patterns. △ Less

Submitted 7 April, 2013; originally announced April 2013.

Comments: 10 pages, 11 figures

MSC Class: 05D99

Journal ref: Geombinatorics, October 2013, Vol. 22, Issue 2, p. 41-51

Lattices of Equivalence Relations Closed Under the Operations of Relation Algebras

Authors: Jeremy F. Alm, John W. Snow

Abstract: 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 formul… ▽ More 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}.] △ Less

Submitted 24 December, 2014; v1 submitted 26 September, 2012; originally announced September 2012.

Comments: 6 pages. This is an extended version of a paper published in Algebra Universalis

MSC Class: 06B10

Journal ref: Algebra Universalis, (71), 2014, p. 187-190

Toward an uncountable analogue of Gallai's Theorem for colorings of the plane

Authors: Jeremy F. Alm

Abstract: In this paper we prove that if $S$ is any finite configuration of points in $\mathbb{Z}^2$, then any finite coloring of $\mathbb{E}^2$ must contain uncountably many monochromatic subsets homothetic to $S$. We extend a result of Brown, Dunfield, and Perry on 2-colorings of $\mathbb{E}^2$ to any finite coloring of $\mathbb{E}^2$. In this paper we prove that if $S$ is any finite configuration of points in $\mathbb{Z}^2$, then any finite coloring of $\mathbb{E}^2$ must contain uncountably many monochromatic subsets homothetic to $S$. We extend a result of Brown, Dunfield, and Perry on 2-colorings of $\mathbb{E}^2$ to any finite coloring of $\mathbb{E}^2$. △ Less

Submitted 1 August, 2012; originally announced August 2012.

Comments: 6 pages

MSC Class: 05D10

Journal ref: Geombinatorics, October 2012, Vol. 22, Issue 2, p. 45-50

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

Authors: Jeremy F. Alm, Jacob Manske

Abstract: 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},… ▽ More 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$. △ Less

Submitted 21 October, 2012; v1 submitted 5 June, 2012; originally announced June 2012.

Comments: 9 pages

Journal ref: Integers, 2012, Vol. 12, #A62