The cost of 2-distinguishing hypercubes

From MaRDI portal
Publication:2037589

DOI10.1016/J.DISC.2021.112512zbMATH Open1467.05219arXiv2007.15948OpenAlexW3176937098MaRDI QIDQ2037589FDOQ2037589


Authors: Debra L. Boutin Edit this on Wikidata


Publication date: 8 July 2021

Published in: Discrete Mathematics (Search for Journal in Brave)

Abstract: A graph G is said to be {it 2-distinguishable} if there is a labeling of the vertices with two labels so that only the trivial automorphism preserves the labels. The minimum size of a label class, over all 2-distinguishing labelings, is called the {it cost of 2-distinguishing}, denoted by ho(G). For ngeq4 the hypercubes Qn are 2-distinguishable, but the values for ho(Qn) have been elusive, with only bounds and partial results previously known. This paper settles the question. The main result can be summarized as: for ngeq4, ho(Qn)in1+lceillog2nceil,2+lceillog2nceil. Exact values are be found using a recursive relationship involving a new parameter um, the smallest integer for which ho(Qum)=m. The main result is�egin{gather*} 4leq n leq 12Longrightarrow ho(Q_n)=5, ext{ and } 5leq m leq 11 Longrightarrow

u_m=4; \ ext{ for } mgeq 6, ho(Q_n) = m iff 2^{m-2} - u_{m-1} + 1 leq n leq 2^{m-1}- u_m; \ ext{ for } ngeq 5,

u_m = n iff 2^{n-1} - ho(Q_{n-1}) + 1leq m leq 2^{n}- ho(Q_n).end{gather*}


Full work available at URL: https://arxiv.org/abs/2007.15948




Recommendations




Cites Work


Cited In (7)





This page was built for publication: The cost of 2-distinguishing hypercubes

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