Partial Automorphism Semigroups

We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures including equivalence structures, orderings, Boolean algebras, and relatively complemented distributive lattices. For certain subsemigroups of these inverse semigroups, isomorphism (elementary equivalence) of the subsemigroups yields isomorphism (elementary equivalence) of the underlying structures. We also prove that for some classes of computable structures, we can reconstruct a computable structure, up to computable isomorphism, from the isomorphism type of its inverse semigroup of computable partial automorphisms

A Lower Bound on the Failed Zero Forcing Number of a Graph

Given a graph $G=(V,E)$ and a set of vertices marked as filled, we consider a color-change rule known as zero forcing. A set $S$ is a zero forcing set if filling $S$ and applying all possible instances of the color change rule causes all vertices in $V$ to be filled. A failed zero forcing set is a set of vertices that is not a zero forcing set. Given a graph $G$, the failed zero forcing number $F(G)$ is the maximum size of a failed zero forcing set. An open question was whether given any $k$ there is a an $\ell$ such that all graphs with at least $\ell$ vertices must satisfy $F(G)\geq k$. We answer this question affirmatively by proving that for a graph $G$ with $n$ vertices, $F(G)\geq \lfloor\frac{n-1}{2}\rfloor$.Comment: 11 pages, 13 figures. Comments welcom