---
title: 'Scramble Number: Invariants & Mixing Dynamics'
url: https://www.emergentmind.com/topics/scramble-number
type: topic
---

# Scramble Number: Invariants & Mixing Dynamics

“Scramble number” appears in contemporary research in more than one technical sense. Its primary established meaning is a graph invariant defined from collections of connected vertex sets called scrambles, introduced to study chip-firing and divisorial gonality. In other settings, the same expression is naturally interpreted as a quantitative measure of scrambling complexity, such as the longest cycle of a permutation induced by a hardware scrambling map or the mixing time of a random walk intended to randomize a Rubik’s cube [2006.01020][1102.4579][2410.20630].

## 1. Terminological scope

In graph theory, scramble number is a formal invariant of a connected finite multigraph. It was introduced as a refinement of bramble-based lower bounds and satisfies
\[
\operatorname{tw}(G)\le \operatorname{sn}(G)\le \gon(G),
\]
placing it between treewidth and divisorial gonality [2006.01020].

The same phrase is not used uniformly outside graph theory. In Kak’s mesh-array work on matrix-position scrambling, the paper defines the “period” of the scrambling transformation as the maximum cycle length of the associated permutation; this maximum cycle length is the natural scramble number in that setting, although the phrase itself is not explicitly used in the paper [1102.4579]. In the Rubik’s-cube literature, a plausible operational interpretation is the mixing time of a Markov chain modeling random face turns, that is, the number of random moves needed before the distribution of cube states is close to uniform in total variation distance [2410.20630].

This plurality of usage matters because the underlying mathematical objects differ sharply. In the graph-theoretic sense, scramble number is a max–min invariant over connected subsets and cuts. In permutation-based or stochastic settings, it is naturally attached to orbit length or convergence time. The common theme is not a shared definition but a shared role: each quantity measures how resistant a system is to being “resolved” by a small obstruction, whether that obstruction is a hitting set, a cut, a short cycle, or insufficient randomization time.

## 2. Graph-theoretic definition

Let \(G=(V,E)\) be a connected finite multigraph. A scramble \(\mathcal{S}\) on \(G\) is a finite collection of subsets
\[
\mathcal{S}=\{E_1,\dots,E_\ell\},\qquad E_i\subseteq V(G),
\]
called eggs, such that each induced subgraph \(G[E_i]\) is connected. Two auxiliary parameters are attached to \(\mathcal{S}\) [2209.01459].

A hitting set is a vertex set \(H\subseteq V(G)\) meeting every egg, and the minimum size of such a set is
\[
h(\mathcal{S}).
\]
An egg-cut is an edge set \(T\subseteq E(G)\) such that \(G-T\) has at least two connected components that each contain an egg; the minimum size of an egg-cut is
\[
e(\mathcal{S}).
\]
The order of the scramble is then
\[
\|\mathcal{S}\|=\min\{h(\mathcal{S}),e(\mathcal{S})\},
\]
and the scramble number of \(G\) is
\[
\sn(G)=\max_{\mathcal{S}\text{ on }G}\|\mathcal{S}\|.
\]

This generalizes the bramble number. If the eggs are required to pairwise touch, one recovers brambles and treewidth; in that sense, scramble number extends the bramble formalism while incorporating edge-separation data directly into the invariant [2209.01459].

The connection with chip-firing is structural rather than superficial. A divisor on \(G\) is an integer assignment to vertices, chip-firing moves preserve degree, and divisorial gonality \(\gon(G)\) is the minimum degree of a divisor of positive rank. Scramble number furnishes a combinatorial obstruction to low-degree positive-rank divisors, yielding the inequality
\[
\sn(G)\le \gon(G),
\]
while bramble theory gives \(\tw(G)\le \sn(G)\) [2006.01020].

## 3. Structure, bounds, and complexity

The central tree-cut analogue of scramble number is screewidth, defined from a variant of tree-cut decompositions whose width is
\[
w(\mathcal{T})=\max\{\lw(\mathcal{T}),\bw(\mathcal{T})\}.
\]
For every graph,
\[
\sn(G)\le \scw(G),
\]
so screewidth provides a systematic upper-bound framework for scramble number [2209.01459].

Several basic structural properties are now standard. Trees are exactly the graphs of scramble number \(1\). Scramble number is monotone under subgraphs, invariant under subdividing edges and smoothing 2-valent vertices, and therefore monotone under topological minors. It is not minor monotone in general [2212.09949][2209.01459]. The non-minor-monotonicity is one of the key points distinguishing scramble number from treewidth.

The low-end structure is unusually rigid. A graph has scramble number at most \(2\) if and only if it has none of \(K_4\), \(P_{3;3}\), \(C_{3;2,2,1}\), and \(LL_6\) as a topological minor [2212.09949]. By contrast, no finite list of forbidden topological minors characterizes graphs of any fixed scramble number greater than \(2\) [2212.09949]. This failure of finite obstruction theory at higher values reflects the existence of infinite families of topological-minor-minimal graphs with prescribed scramble number.

The computational picture is correspondingly difficult. Computing scramble number is NP-hard [2103.15253]. The carton number, defined as the minimum size of a maximum-order scramble, can be exponential in the size of the graph, which shows that scrambles are not valid NP certificates in general [2311.17342]. This removes the most obvious route to placing the decision problem “\(\sn(G)\ge k\)?” in NP. A restricted variant behaves better: the disjoint scramble number is fixed-parameter tractable when parameterized by \(k\) and \(\tw(G)\), via an MS\(_2\) formulation and Courcelle’s theorem [2311.17342].

The invariant is also tightly linked to other width and congestion parameters. Vertex congestion is an upper bound on screewidth and hence on scramble number, leading to
\[
\sn(G)\le(\tw(G)+1)\Delta(G)-1
\]
for maximum degree \(\Delta(G)\), and consequently to \(O(\sqrt n)\) upper bounds for bounded-degree planar graphs and, more generally, bounded-degree graphs in minor-closed families excluding a fixed complete graph [2311.17342].

## 4. Uniform scrambles and computed families

A particularly tractable family of scrambles is the \(k\)-uniform scramble \(\mathcal{E}_k\), whose eggs are all connected induced subgraphs on exactly \(k\) vertices. For a connected graph \(G\) on \(n\) vertices, the order of \(\mathcal{E}_k\) is
\[
\|\mathcal{E}_k\|=\min\{\lambda_k(G),\,n-\alpha^c_{k-1}(G)\},
\]
where \(\lambda_k(G)\) is the \(k\)-restricted edge-connectivity and \(\alpha^c_{k-1}(G)\) is the \((k-1)\)-component independence number [2108.09821].

This formula yields a broad girth-based theorem. If \(G\) has girth at least \(\ell\), then
\[
\gon(G)\le n-\alpha^c_{\ell-2}(G),
\]
and if in addition
\[
\lambda_{\ell-1}(G)\ge n-\alpha^c_{\ell-2}(G),
\]
then
\[
sn(G)=\gon(G)=n-\alpha^c_{\ell-2}(G).
\]
This converts restricted edge-connectivity and generalized independence information directly into exact gonality and exact scramble number [2108.09821].

A number of graph families admit exact formulas. For cycles,
\[
\scw(C_n)=2,
\]
and the same formula also holds for \(sn(C_n)\). For complete multipartite graphs \(K_{n_1,\dots,n_k}\), if
\[
\ell=\sum_i n_i-\max_i n_i,
\]
then
\[
\scw(K_{n_1,\dots,n_k})=\ell,
\]
again matching scramble number. For grid graphs \(P_m\square P_n\),
\[
sn(G_{m,n})=\min\{m,n\},
\]
for stacked prism graphs \(C_m\square P_n\),
\[
sn(Y_{m,n})=\min\{m,2n\},
\]
and for toroidal grids \(C_m\square C_n\),
\[
sn(T_{m,n})=\min\{2m,2n\}
\]
[2209.01459].

Product formulas obtained by lower-bounding scramble number and matching Aidun–Morrison upper bounds for gonality are especially strong. If \(T_1\) and \(T_2\) are trees, then
\[
\gon(T_1\square T_2)=sn(T_1\square T_2)=\min\{|V(T_1)|,|V(T_2)|\}.
\]
If \(C\) is a cycle and \(T\) a tree, then
\[
\gon(C\square T)=sn(C\square T)=\min\{|V(C)|,2|V(T)|\},
\]
and for \(T_{m,n}=C_m\square C_n\),
\[
\gon(T_{m,n})=sn(T_{m,n})=\min\{2m,2n\}
\]
[2006.01020].

Specific examples illustrate both sharpness and limitations. In the cube graph, scramble number closes the gap between treewidth and gonality:
\[
sn(\cube)=\gon(\cube)=4
\]
[2407.05158]. In the dodecahedron graph, the \(6\)-uniform scramble yields
\[
sn(\dodecahedron)=\gon(\dodecahedron)=6
\]
[2407.05158]. In the icosahedron graph, however,
\[
sn(\icosahedron)=8<\gon(\icosahedron)=9,
\]
so scramble number is not always sharp [2407.05158].

Hypercubes provide a particularly instructive sequence. The paper on uniform scrambles proves
\[
sn(Q_4)=\gon(Q_4)=8,\qquad sn(Q_5)=\gon(Q_5)=16,
\]
and also establishes that
\[
sn(Q_n)<2^{n-1}\qquad\text{for all }n\ge 6.
\]
This shows that scramble number alone cannot prove the conjectural formula \(\gon(Q_n)=2^{n-1}\) for all higher-dimensional hypercubes [2108.09821].

## 5. Permutation-based scrambling in Kak’s mesh array

In Kak’s mesh-array literature, the relevant object is not a graph invariant but a permutation induced on matrix positions. Kak’s mesh array is a two-dimensional systolic architecture for multiplying two \(n\times n\) matrices in \(2n-1\) time steps. When its output placement is interpreted as a permutation of matrix positions, repeated application yields a deterministic scrambling transformation [1102.4579].

For \(n=4\), the standard row-major order
\[
11,12,13,14,21,22,23,24,31,32,33,34,41,42,43,44
\]
is sent to the mesh order
\[
11,22,33,44,12,31,24,43,32,14,41,23,34,42,13,21.
\]
The induced permutation decomposes as
\[
(11)\ (42)\ (12\ 22\ 31\ 32\ 14\ 44\ 21)\ (13\ 33\ 41\ 34\ 23\ 24\ 43),
\]
with cycle lengths \(1,1,7,7\) [1102.4579].

The paper defines the period of the scrambling transformation, for practical purposes, as the maximum cycle length, even though the full return time of the permutation is the least common multiple of all cycle lengths. In that sense, the natural scramble number for order \(n\) is
\[
S(n)=\max\{\text{cycle lengths of the mesh-induced permutation}\}.
\]
For the \(4\times4\) case,
\[
S(4)=7
\]
[1102.4579].

The paper computes longest cycle lengths for orders \(2\) through \(1000\), then forms a binary sequence by recording parity: even longest-cycle length gives bit \(1\), odd longest-cycle length gives bit \(0\). After converting \(0\) to \(-1\), it studies the autocorrelation
\[
C(k)=\frac{1}{999}\sum_{i=1}^{999}A(i)A(i+k).
\]
The reported outcome is that the autocorrelation is “effectively two valued,” with a dominant value at \(k=0\) and nearly flat small values for \(k\neq 0\), which the paper interprets as evidence that the parity sequence is random-like [1102.4579].

This use of scramble number is therefore orbit-theoretic rather than graph-theoretic. It quantifies the depth of positional mixing produced by iterating a fixed permutation, not the obstruction structure of a graph.

## 6. Operational and adjacent usages

In the Rubik’s-cube literature, a natural operational meaning of scramble number is the mixing time of a random walk on cube configurations. The standard model chooses one of the six faces uniformly and then a rotation by \(90^\circ\), \(180^\circ\), or \(270^\circ\) uniformly, producing a Markov chain on the approximately \(4.3\times 10^{19}\) reachable states of the \(3\times3\times3\) cube. The mixing time is
\[
\tau=\min\{t:d(t)\le 1/4\},
\]
where \(d(t)\) is the total variation distance to the uniform distribution [2410.20630].

The first rigorous lower bound in this model is
\[
\tau\ge 26,
\]
equivalently, 25 random moves are not enough to bring the distribution within total variation distance \(1/4\) of uniform [2410.20630]. A later paper introduces a stopping time \(T\): the first time every pair of small cubes is “unlinked” along all three coordinate axes. This is a natural candidate for a strong uniform time, but the paper shows that it is not strongly uniform. It nevertheless gives informative heuristics: for the Pocket Cube, the exact mixing time is \(19\), while the expected time to unlink all pairs of corners is approximately \(27\); for the full \(3\times3\times3\) cube, simulations suggest \(\mathbb{E}[T]\approx 41\), and the corresponding non-rigorous heuristic scale for the mixing time is at most \(46\) [2509.12134].

Several adjacent literatures use “scrambling” intensively without fixing “scramble number” as a formal term. In number-conserving local random quantum circuits, the relevant quantitative pair is the maximum effective design order \(k_c\), with
\[
k_c\ge L^d,
\]
and the depth \(\tau\) required to approach an approximate \(k\)-design, for which the paper gives
\[
kL^2\ln(L)\lesssim \tau
\]
and conjectures
\[
\tau\lesssim kL^{d+2}
\]
[2306.01035]. In randomized quasi-Monte Carlo, coarse scrambling of Sobol’ and Niederreiter sequences preserves the \((0,\mathbf e,d)\)-sequence property, achieves variance
\[
O(n^{-3+\epsilon}),
\]
and has maximal gain coefficient
\[
O(\log d)
\]
[2510.02111]. In scrambled \(\mathbf F_2\)-linear pseudorandom number generators, scrambling denotes nonlinear maps such as \(+\), \(*\), \(++\), and \(**\) applied to a linear state engine to suppress linear artifacts and pass strong statistical tests [1805.01407].

These adjacent usages do not define a single invariant called scramble number. They do, however, preserve the underlying conceptual pattern: a system has an intrinsic scrambling capability, and the corresponding quantitative parameter measures how much structure survives under iteration, randomization, or nonlinear post-processing.

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