---
title: Fixing Number in Graphs and Groups
url: https://www.emergentmind.com/topics/fixing-number
type: topic
---

# Fixing Number in Graphs and Groups

Searching arXiv for recent and foundational papers on fixing number in graphs and groups.
In graph theory, the fixing number is the minimum cardinality of a subset of vertices whose pointwise stabilizer in the automorphism group is trivial. If \(G\) is a finite graph and \(S\subseteq V(G)\), then \(S\) is a fixing set when the only automorphism fixing every vertex of \(S\) is the identity, and \(\fix(G)\) is the minimum size of such a set. At the level of finite groups, the associated fixing set of a group \(\Gamma\) is the set of all fixing numbers realized by finite graphs with automorphism group \(\Gamma\). The parameter is therefore a symmetry-breaking invariant, and, from the permutation-group viewpoint, it is a base-size parameter for a faithful action [1807.04372][1606.04383].

## 1. Definition and basic examples

Let \(G=(V,E)\) be a finite graph with automorphism group \(\Aut(G)\). For \(S\subseteq V\), the pointwise stabilizer is
\[
\operatorname{stab}(S)=\{g\in \Aut(G): g(v)=v \text{ for all } v\in S\}.
\]
A fixing set is a subset \(S\) with \(\operatorname{stab}(S)=\{e\}\), and the fixing number is
\[
\fix(G)=\min\{|S|: S\subseteq V,\ \operatorname{stab}(S)=\{e\}\}.
\]
In colored-graph language, the same definition is used for a colored graph \(X=(V,E,c)\), with \(\Aut(X)\) restricted to color-preserving automorphisms; the uncolored case is the special case in which all vertices have the same initial color [1606.04383].

The parameter measures how many vertices must be “pinned down” to eliminate all nontrivial symmetries. It satisfies \(0\le \fix(G)\le |V(G)|-1\), and \(\fix(G)=0\) exactly for rigid graphs [1611.03346].

| Graph \(G\) | Value of \(\fix(G)\) | Source |
|---|---:|---|
| \(K_n\) | \(n-1\) | [1507.02053] |
| \(P_n\) for \(n\ge 3\) | \(1\) | [1507.02053] |
| \(C_n\) for \(n\ge 4\) | \(2\) | [1507.02053] |

These examples already exhibit the spectrum from maximal symmetry to near-rigidity. Complete graphs require fixing all but one vertex, whereas a path requires only one endpoint, and a cycle requires two nonadjacent vertices to break both rotational and reflectional symmetry [1507.02053].

## 2. Action-theoretic interpretation and general bounds

The fixing number is equivalent to the determining-set parameter: a subset is a fixing set if and only if any two automorphisms agreeing on that subset agree on all of \(G\) [1807.04372]. This identifies the notion with a standard base-size concept from permutation-group theory. In the matroid setting, the same point of view is explicit: if \(M\) is a matroid with automorphism group \(\Aut(M)\) acting faithfully on its ground set \(E\), then \(\fix(M)\) is exactly the base size of that action [1307.7460].

A basic comparison is with the distinguishing number \(D(G)\). If \(S\) is a fixing set of size \(f\), then labeling the vertices in \(S\) bijectively by \(1,\dots,f\) and all remaining vertices by one new label yields a distinguishing labeling with \(f+1\) labels, so
\[
D(G)\le \fix(G)+1.
\]
Conversely, any distinguishing labeling yields a fixing set of size at most \(D(G)\), so the two parameters coincide up to an additive constant [1807.04372].

Group-theoretic bounds are also available. If \(\Aut(G)\cong \Gamma\) and \(l(\Gamma)\) denotes the subgroup-chain length of \(\Gamma\), then
\[
\fix(G)\le l(\Gamma).
\]
Moreover, if \(|\Gamma|=\prod p_i^{e_i}\), then \(l(\Gamma)\le \sum e_i\), so \(\fix(G)\) is bounded above by the number of prime factors of \(|\Aut(G)|\) counted with multiplicity [1807.04372]. In the matroid setting, if \(n=|E|\), \(k=\fix(M)\), and \(s\) is the largest orbit size under \(\Aut(M)\), then
\[
|\Aut(M)|\le (n)_k,\qquad |\Aut(M)|\le s^k,\qquad 2^k\le |\Aut(M)|,
\]
together with the orbit lower bound \(\fix(M)\ge \lceil n/s\rceil\) [1307.7460].

These bounds situate fixing number between combinatorial orbit structure and group size. They are particularly useful when exact computation is difficult, which is typical outside highly structured graph classes.

## 3. Fixing sets of groups and Hamiltonian-group realizations

For a finite group \(\Gamma\), the fixing set is
\[
\operatorname{Fix}(\Gamma)=\{\fix(G): \Aut(G)\cong \Gamma\}.
\]
Every nontrivial finite group occurs as the automorphism group of a Cayley graph or Frucht graph, and in such realizations a single vertex suffices, so \(1\in \operatorname{Fix}(\Gamma)\) for every nontrivial finite \(\Gamma\) [1807.04372].

For finite abelian groups, the structure is completely determined. If \(\Gamma\) is abelian with \(k\) elementary divisors, then
\[
\operatorname{Fix}(\Gamma)=\{1,2,\dots,k\}.
\]
This gives a full initial segment of the positive integers, with endpoint equal to the number of elementary divisors [1807.04372].

A more recent classification concerns finite Hamiltonian groups. A finite non-abelian group \(H\) is Hamiltonian if all of its subgroups are normal, and every finite Hamiltonian group has the form
\[
H \cong Q_8\times A_1\times C_2^r,
\]
where \(Q_8\) is the quaternion group of order \(8\), \(A_1\) is an abelian group of odd exponent, and \(C_2^r\) is an elementary abelian \(2\)-group [2601.21575]. For minimal graph realizations, if \(H=Q_8\times C_2^k\), then the least number of vertices of a graph \(\Gamma\) with \(\Aut(\Gamma)\cong H\) is
\[
\alpha(H)=16+2k,
\]
and more generally, if \(H=Q_8\times A\) where \(A\) is periodic abelian with no element of order \(4\), then
\[
\alpha(H)=16+\alpha(A).
\]
The fixing-set classification is equally explicit: if \(H=Q_8\times A\) is a finite Hamiltonian group and \(A\) has \(d\) elementary divisors, then
\[
\operatorname{Fix}(H)=\{1,2,\dots,d+1\}.
\]
In particular,
\[
\operatorname{Fix}(Q_8\times C_2^k)=\{1,2,\dots,k+1\},
\]
and for \(Q_8\times C_2^4\) one obtains \(\{1,2,3,4,5\}\) [2601.21575].

These results show that fixing sets of groups are not arbitrary subsets of \(\mathbb{N}\). For abelian and Hamiltonian groups they are full initial segments, with endpoints controlled by the elementary-divisor structure of the abelian component.

## 4. Behavior under graph constructions

Fixing number behaves predictably under several graph products, although the exact behavior depends strongly on the construction.

For the composition product \(G_1[G_2]\), if \(G_1\) is connected of order \(m\) and \(G_2\) is arbitrary of order \(n\) with components \(G_2^1,\dots,G_2^\ell\), then
\[
mn-1\ge \fix(G_1[G_2])\ge m\sum_{i=1}^\ell \fix(G_2^i).
\]
If \(G_2\) is connected, then the lower bound is exact:
\[
\fix(G_1[G_2])=m\,\fix(G_2).
\]
For the corona product, if \(G_1\) is connected of order \(m\) and \(G_2\) is arbitrary, then
\[
\fix(G_1\odot G_2)=\max\{\fix(G_1),\,m\,\fix(G_2)\},
\]
and in the non-asymmetric case one has the simpler formula \(\fix(G_1\odot G_2)=m\,\fix(G_2)\) [1507.02053].

For functigraphs \(F_G\), formed from two copies \(G_1,G_2\) of a graph \(G\) and a function \(g:V(G_1)\to V(G_2)\), the global range is sharp:
\[
0\le \fix(F_G)\le 2n-3
\]
for connected \(G\) of order \(n\ge 3\). The lower bound occurs for \(G=P_3\) with a suitable \(g\), and the upper bound occurs for \(G=K_n\) with constant \(g\). The constructions also show that \(\fix(F_G)-\fix(G)\) and \(\fix(G)-\fix(F_G)\) can both be made arbitrarily large [1611.03346].

For the co-normal product \(G_1*G_2\) of graphs of orders \(m,n\), the sharp general bounds are
\[
\max\{\fix(G_1),\fix(G_2)\}\le \fix(G_1*G_2)\le mn-1.
\]
The upper bound is attained when both factors are complete or both are null, while the lower bound is attained in several no-twin/no-dominator regimes [1703.00709].

A recurring theme across these constructions is that local symmetry classes—twins, false twins, fibers of a function, or repeated layers—force additive or multiplicative contributions to the fixing number. This suggests that fixing number is particularly sensitive to replicated local structure.

## 5. Algorithmic and parameterized complexity

The decision version of the problem for colored graphs is often written as \(k\)-RIGID: given a colored graph \(X=(V,E,c)\) and integer \(k\), decide whether there exists \(S\subseteq V\) with \(|S|=k\) such that \(\Aut(X)_{(S)}\) is trivial, equivalently whether \(f(X)\le k\) [1606.04383]. This “forward” parameterization is hard: \(k\)-RIGID is MINI[1]-hard, even when \(\Aut(X)\) is an elementary abelian \(2\)-group [1606.04383].

The dual parameterization asks whether there exists a fixing set of size at least \(n-k\), where \(n=|V|\). The corresponding group-theoretic analogue, \((n-k)\)-BASE-SIZE, admits an algorithm running in time
\[
k^{O(k^2)}+n^{O(1)},
\]
together with a kernel of size \(O(k\cdot 2^k)\). For graphs, the dual problem \((n-k)\)-RIGID can be solved in time
\[
k^{O(k)}\cdot n^{O(1)}.
\]
The method uses orbit and block decomposition, together with either computation of \(\Aut(X)\) by a graph-isomorphism subroutine or enumeration of automorphisms of support at most \(k\) [1606.04383].

The resulting complexity dichotomy is sharp at the level stated in the data: when one seeks a very small fixing set, the problem is “essentially intractable,” whereas fixing almost all vertices becomes feasible for small \(k\) [1606.04383]. This is a rare instance where two natural parameterizations of the same symmetry-breaking problem have radically different complexity.

## 6. Variants, extensions, and related notions

A linear-programming relaxation yields the fractional fixing number \(\fix_f(G)\). Writing \(V_a(G)\) for the set of ordered pairs \((u,v)\) of distinct vertices lying in the same nontrivial orbit, and \(F(u,v)\) for the fixing neighborhood of \((u,v)\), one relaxes the integer program for \(\fix(G)\) to obtain
\[
\fix_f(G)=\min \sum_{v\in V} g(v)
\]
subject to \(g:V\to [0,1]\) and \(g(F(u,v))\ge 1\) for every \((u,v)\in V_a(G)\). Always,
\[
\fix_f(G)\le \fix(G).
\]
Moreover, for a nontrivial graph \(G\) on \(n\) vertices, the following are equivalent: \(\fix_f(G)=n/2\); every vertex has at least one twin; and \(G\) is isomorphic to a generalized lexicographic product \(H[I]\) in which each inner graph is a nontrivial complete graph or a nontrivial empty graph [1610.09232].

For trees, the fixing number is closely tied to distinguishing colorings. If \(D(G)\) is the distinguishing number and \(F(G)\) the fixing number, then
\[
D(G)\le F(G)+1,\qquad F(G)\le \frac{(D(G)-1)n}{D(G)}.
\]
For trees these bounds can be sharpened substantially. Every \(2\)-distinguishable tree \(T\) of order \(n\ge 3\) satisfies
\[
F(T)\le \frac{4n}{11},
\]
and every \(D\)-distinguishable tree with \(D\ge 3\) satisfies
\[
F(T)\le \frac{(D-1)n}{D+1},
\]
with both bounds sharp [2603.23820].

The notion also extends beyond graphs. For matroids, a fixing set is a subset of the ground set whose pointwise stabilizer in \(\Aut(M)\) is trivial, and \(\fix(M)\) is again the base size of the faithful automorphism action. If \(G\) is a \(3\)-connected graph with at least \(5\) vertices, then the cycle matroid \(M(G)\) and the bicircular matroid \(B(G)\) satisfy
\[
\fix(M(G))=\fix(B(G)).
\]
This follows from the identification of \(\Aut(G)\) with both \(\Aut(M(G))\) and \(\Aut(B(G))\) under the stated connectivity hypotheses [1307.7460].

The term “fixing number” is also used in distinct, non-equivalent senses in nearby literatures. In graph recoloring, \(\fix_r(G)\) denotes the maximum distance from an \(r\)-coloring to a proper \(r\)-coloring, rather than an automorphism-breaking parameter [1607.06911]. This suggests that the graph-automorphism fixing number should be interpreted contextually: in combinatorics and permutation-group theory it is a base-size invariant, while in other algorithmic settings the same phrase may refer to a repair or correction distance.

Source: https://www.emergentmind.com/topics/fixing-number