Frobenius problem and dead ends in integers

From MaRDI portal
Publication:2483162



Abstract: Let a and b be positive, relatively prime integers. We show that the following are equivalent: (i) d is a dead end in the (symmetric) Cayley graph of Z with respect to a and b, (ii) d is a Frobenius value with respect to a and b (it cannot be written as a non-negative or non-positive integer linear combination of a and b), and d is maximal (in the Cayley graph) with respect to this property. In addition, for given integers a and b, we explicitly describe all such elements in Z. Finally, we show that Z has only finitely many dead ends with respect to any finite symmetric generating set. In the appendix we show that every finitely generated group has a generating set with respect to which dead ends exist.


Let \(G\) be a group generated by a finite set \(S\). The word length of an element \(g\) with respect to \(S\), denoted by \(l(g)\), is the shortest length of a group word over \(S\) representing \(g\). The Cayley graph of \(G\) with respect to \(S\) is the graph whose vertices are the elements of \(G\) and in which two vertices \(g\) and \(h\) are connected by an edge if and only if \(g= hs\) for some \(s\) in \(S\cup S^{-1}\). A dead end in \(G\) with respect to \(S\) is an element \(d\) in \(G\) such that \(l(ds)\leq l(d)\) for every \(s\) in \(S\cup S^{-1}\). In this paper, the author gives a connection of dead ends in Cayley graphs with the Diophantine Frobenius problem. The author also describes all dead ends when \(G= \mathbb Z\) in the case when \(S\) consists of two elements. In an appendix, the author shows that every finitely generated group has a generating set with respect to which dead ends exist.











This page was built for publication: Frobenius problem and dead ends in integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2483162)