Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Improved bounds on the size of the smallest representation of relation algebra $32_{65}$
(Submitted on 2 Nov 2019 (v1), last revised 21 Mar 2022 (this version, v3))
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. 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.
Submission history
From: Jeremy Alm [view email][v1] Sat, 2 Nov 2019 00:44:52 GMT (77kb,D)
[v2] Sun, 26 Sep 2021 19:11:24 GMT (80kb,D)
[v3] Mon, 21 Mar 2022 01:38:25 GMT (81kb,D)
Link back to: arXiv, form interface, contact.