-
arXiv:2406.18912 [pdf, ps, other]
The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
Abstract: Stable infiniteness, strong finite witnessability, and smoothness are model-theoretic properties relevant to theory combination in satisfiability modulo theories. Theories that are strongly finitely witnessable and smooth are called strongly polite and can be effectively combined with other theories. Toledo, Zohar, and Barrett conjectured that stably infinite and strongly finitely witnessable theo… ▽ More
Submitted 27 June, 2024; originally announced June 2024.
Comments: To appear in FM24
-
arXiv:2302.12425 [pdf, ps, other]
Bender-Knuth involutions on linear extensions of posets
Abstract: We study the permutation group $\mathcal{BK}_P$ generated by Bender-Knuth moves on linear extensions of a poset $P$, an analog of the Berenstein-Kirillov group on column-strict tableaux. We explore the group relations, with an emphasis on identifying posets $P$ for which the cactus relations hold in $\mathcal{BK}_P$. We also examine $\mathcal{BK}_P$ as a subgroup of the symmetric group… ▽ More
Submitted 24 March, 2024; v1 submitted 23 February, 2023; originally announced February 2023.
Comments: 27 pages. v2: Major revision with streamlined terminology. Comments very welcome
MSC Class: 06A07; 20B25
-
arXiv:2209.09973 [pdf, ps, other]
The maximum hook length of $d$-distinct simultaneous core partitions
Abstract: We exactly determine the maximum possible hook length of $(s,t)$-core partitions with $d$-distinct parts when there are finitely many such partitions. Moreover, we provide an algorithm to construct a $d$-distinct $(s,t)$-core partition with this maximum possible hook length.
Submitted 20 September, 2022; originally announced September 2022.
-
arXiv:2108.06646 [pdf, ps, other]
Lengths of Irreducible and Delicate Words
Abstract: We study words that barely avoid repetitions, for several senses of "barely". A squarefree (respectively, overlap-free, cubefree) word is irreducible if removing any one of its interior letters creates a square (respectively, overlap, cube). A squarefree (respectively, overlap-free, cubefree) word is delicate if changing any one of its letters creates a square (respectively, overlap, cube). We cla… ▽ More
Submitted 24 August, 2021; v1 submitted 14 August, 2021; originally announced August 2021.
Comments: [v2] Fixed capitalization in references; [v3] fixed typo introduced in [v2]
-
Hat Guessing on Books and Windmills
Abstract: The hat-guessing number is a graph invariant defined by Butler, Hajiaghayi, Kleinberg, and Leighton. We determine the hat-guessing number exactly for book graphs with sufficiently many pages, improving previously known lower bounds of He and Li and exactly matching an upper bound of Gadouleau. We prove that the hat-guessing number of $K_{3,3}$ is $3$, making this the first complete bipartite graph… ▽ More
Submitted 25 October, 2020; originally announced October 2020.