---
title: 'Scattering Number: Graphs, Walks & Resonances'
url: https://www.emergentmind.com/topics/scattering-number
type: topic
---

# Scattering Number: Graphs, Walks & Resonances

“Scattering number” denotes distinct counting or vulnerability quantities in several research areas. In graph theory, the term usually refers to Jung’s invariant
\[
sc(G)=\max\{\omega(G-S)-|S|: S\subseteq V,\ \omega(G-S)\neq 1\},
\]
which measures how effectively vertex deletions fragment a connected graph and is tightly related to toughness [2101.02095]. The same phrase is also used for the mean number of photon scatterings before escape in finite random-walk media, where the quantity depends on optical depth and geometry [2312.15860], and for resonance-counting functions that enumerate scattering poles of nonlocal operators on the logarithmic Riemann surface [2304.01493]. This terminological overlap makes the graph-theoretic invariant the dominant meaning in combinatorics, while the physical and analytic usages are domain-specific.

## 1. Graph-theoretic definition and relation to toughness

Let \(G=(V,E)\) be a connected graph and let \(\omega(G-S)\) denote the number of connected components of \(G-S\). The scattering number of \(G\), defined by Jung in 1978, is
\[
sc(G)=\max\{\omega(G-S)-|S|: S\subseteq V,\ \omega(G-S)\neq 1\}.
\]
Any set \(S\subseteq V\) attaining the maximum is a scattering set [2101.02095]. An equivalent formulation used in later work is
\[
s(G)=\max\{c(G-S)-|S|:S\subseteq V(G),\ c(G-S)>1\},
\]
where \(c(G-S)\) is the number of components of the graph obtained by deleting \(S\) and all incident edges [2509.01050]. For complete graphs, one source adopts the convention \(\scat(G)=-\infty\) [1301.5953], whereas another treats complete graphs separately when defining related toughness parameters [2101.02095]. This suggests that conventions outside the disconnected regime are not completely uniform across the literature.

The invariant is interpreted as a measure of vulnerability under vertex removal: it captures, in an additive way, how many components can be created per vertex removed in the most effective cut [2101.02095]. This additive character is the standard contrast with toughness. For a non-complete graph,
\[
T(G)=\min_S \frac{|S|}{\omega(G-S)},
\]
where the minimum is taken over all separators \(S\) with \(\omega(G-S)>1\) [2101.02095]. Kratsch, Kloks, and Müller proved the key equivalence
\[
T(G)\ge 1 \Longleftrightarrow sc(G)\le 0,
\]
so graphs with scattering number at most \(0\) are exactly the graphs that are at least \(1\)-tough [2101.02095]. A related variation due to Enomoto is
\[
\tau(G)=\min\Big\{\frac{|S|}{c(G-S)-1}:S\subseteq V(G),c(G-S)>1\Big\},
\]
and the condition \(s(G)\le 1\) is equivalent to \(\tau(G)\ge 1\) [2509.01050].

These equivalences are conceptually strong but not algorithmically complete. In strictly chordal graphs, the knowledge of toughness is explicitly stated to be helpful but not sufficient to provide an immediate result for determining the scattering number [2101.02095]. Likewise, the literature emphasizes that tough sets and scattering sets need not coincide [2101.02095].

## 2. Interval graphs: path covers, Hamiltonicity, and linear-time computation

Interval graphs provide one of the sharpest structural characterizations of scattering number. For a graph \(G=(V,E)\), let \(\pi(G)\) denote the size of a smallest path cover. Hung and Chang showed that for all \(k\ge 1\), an interval graph has a path cover of size at most \(k\) if and only if its scattering number is at most \(k\), and that an interval graph has a Hamilton cycle if and only if its scattering number is at most \(0\) [1301.5953]. The later refinement establishes that for all \(k\ge 0\), an interval graph \(G\) is \(k\)-Hamilton-connected if and only if
\[
\scat(G)\le -(k+1),
\]
thereby completing the characterization for all integer thresholds [1301.5953].

The resulting trichotomy is exact:
\[
\scat(G)\le k
\]
if and only if

- \(G\) has a path cover of size at most \(k\), when \(k\ge 1\);
- \(G\) has a Hamilton cycle, when \(k=0\);
- \(G\) is \(-(k+1)\)-Hamilton-connected, when \(k\le -1\) [1301.5953].

This places scattering number at the center of Hamiltonian structure on interval graphs. The same paper observes that the maximum \(k\) for which an interval graph is \(k\)-Hamilton-connected can therefore be computed from the scattering number in linear time [1301.5953].

Algorithmically, the decisive object is a spanning \(p\)-stave between the leftmost and rightmost vertices \(u_1\) and \(u_n\) of a clique-path representation. A \(p\)-stave is a set of \(p\) internally vertex-disjoint paths, each with end-vertices \(u_1\) and \(u_n\); it is spanning if the union of these paths contains all vertices of the graph [1301.5953]. The fundamental equivalence is:
\[
\text{An interval graph }G\text{ contains a spanning }p\text{-stave between }u_1\text{ and }u_n
\iff \scat(G)\le 2-p
\]
[1301.5953]. This converts the computation of scattering number into a linear sweep over a clique path, building an optimal spanning stave. The paper gives an \(O(m+n)\) time algorithm for computing the scattering number of an interval graph, improving the \(O(n^4)\) time bound of Kratsch, Kloks and Müller [1301.5953].

The broader complexity contrast is stark. For general graphs, even deciding whether \(\scat(G)=0\) is NP-complete [1301.5953]. For interval graphs, by contrast, scattering number, Hamiltonicity, path-cover size, and Hamilton-connectivity all admit linear-time treatment through the clique-path structure and spanning-stave characterization [1301.5953].

## 3. Strictly chordal graphs: separator structure and a linear-time algorithm

Strictly chordal graphs, also called block duplicate graphs, form another class where scattering number admits a complete structural treatment [2101.02095]. A chordal graph \(G\) is strictly chordal if and only if any two distinct minimal vertex separators are disjoint:
\[
S\cap S'=\varnothing
\qquad\text{for distinct }S,S'\in\mathcal S
\]
[2101.02095]. For this class, the clique-bipartite graph \(CB(G)=(\mathcal S\cup \mathcal Q,F)\), whose vertices are the minimal separators and maximal cliques and where \(S\in\mathcal S\) is adjacent to \(Q\in\mathcal Q\) iff \(S\subseteq Q\), is a tree [2101.02095]. This tree structure drives the algorithmic analysis.

If \(S\) is a minimal vertex separator of multiplicity \(p(S)\), then
\[
\omega(G-S)=p(S)+1
\]
[2101.02095]. Markenzon and Waga previously determined the toughness of non-complete strictly chordal graphs as
\[
T(G)=\min_{S\in\mathcal S}\frac{|S|}{p(S)+1}
\]
[2101.02095]. The scattering number, however, requires a finer classification.

Several cases are explicit. If \(|\mathcal S|=1\) and \(\mathcal S=\{S\}\), then
\[
sc(G)=p(S)+1-|S|
\]
[2101.02095]. If \(|\mathcal S|>1\) and \(T(G)\ge 1\), then
\[
sc(G)=\max_{S\in\mathcal S}\bigl(p(S)+1-|S|\bigr),
\]
and every scattering set is a single minimal vertex separator achieving this maximum [2101.02095]. For graphs with \(T(G)<1\), the paper distinguishes type A and type B strictly chordal graphs. In type A, the scattering number collapses to
\[
sc(G)=1
\]
[2101.02095]. In type B, scattering sets may be unions of multiple minimal separators, and the paper analyzes border minimal vertex separators \(S\) satisfying \(|B(S)|=p(S)\), where \(B(S)\) denotes the boundary cliques containing \(S\) [2101.02095].

The algorithmic conclusion is that, for strictly chordal graphs, both the scattering number and a scattering set can be determined in linear time \(O(n+m)\) [2101.02095]. The method computes maximal cliques, minimal vertex separators, and their multiplicities, branches on the toughness formula, and, in the type B case, performs a depth-first search on the tree \(CB(G)\) using structural rules for border separators [2101.02095]. The paper explicitly notes that this extends efficient computation to subclasses such as block graphs, 3-leaf power graphs, strictly interval graphs, and generalized core-satellite graphs [2101.02095].

A recurring misconception is that toughness alone determines the relevant cut structure. The strictly chordal analysis contradicts that simplification: the paper gives an example with \(T(G)=2\) and \(sc(G)=-4\) where the tough set and the scattering set are different [2101.02095].

## 4. Spectral conditions, \(A_\alpha\)-radius, and \(\tau\)-toughness

A recent spectral direction relates scattering number and \(\tau\)-toughness to the \(A_\alpha\)-spectral radius
\[
A_\alpha(G)=\alpha D(G)+(1-\alpha)A(G),\qquad \alpha\in[0,1],
\]
introduced by Nikiforov; its largest eigenvalue is denoted \(\rho_\alpha(G)\) [2509.01050]. This interpolates between the adjacency matrix \(A(G)\) at \(\alpha=0\) and \(\tfrac12 Q(G)\) at \(\alpha=\tfrac12\) [2509.01050].

The central scattering-number theorem in this setting states that if \(G\) is a connected graph of order
\[
n\geq \max\{4\delta+2,\delta^{3}+\delta\}
\]
with minimum degree \(\delta\), and
\[
\rho_{\alpha}(G)\geq\rho_{\alpha}\big(K_{\delta}\vee(K_{n-2\delta-1}\cup(\delta+1)K_{1})\big),
\]
then \(s(G)\leq 1\) unless
\[
G\cong K_{\delta}\vee(K_{n-2\delta-1}\cup(\delta+1)K_{1})
\]
[2509.01050]. The extremal join graph has \(s(H)=2\) [2509.01050], so the bound is tight. When \(\alpha=0\), this reduces to an adjacency-spectral result of Chen, Li and Xu [2509.01050]. This theorem therefore gives a spectral sufficient condition for \(s(G)\le 1\), and, by the equivalence \(s(G)\le 1\iff \tau(G)\ge 1\), also yields a spectral sufficient condition for \(\tau(G)\ge 1\) [2509.01050].

The same paper proves \(A_\alpha\)-spectral sufficient conditions for general \(\tau\)-toughness. For integer \(\tau\ge 2\), if
\[
\rho_{\alpha}(G)\geq\rho_{\alpha}\big(K_{\tau-1}\vee(K_{n-\tau}\cup K_{1})\big)
\]
under the stated order and \(\alpha\)-range assumptions, then \(G\) is a \(\tau\)-tough graph unless it is the extremal join \(K_{\tau-1}\vee(K_{n-\tau}\cup K_1)\) [2509.01050]. For \(\frac1\tau\ge 2\) a positive integer, an analogous theorem uses the extremal graph
\[
K_{1}\vee\big(K_{n-\frac{1}{\tau}-2}\cup(\tfrac{1}{\tau}+1)K_{1}\big)
\]
[2509.01050]. When \(\alpha=\tfrac12\), these reduce to previously known signless-Laplacian results of Chen, Li and Xu [2509.01050].

Technically, the proofs combine monotonicity of \(\rho_\alpha\) under edge addition, equitable quotient matrices, and extremal lemmas for joins of cliques. A key ingredient is that for \(\alpha\in[0,1)\),
\[
\rho_{\alpha}\big(K_{s}\vee(K_{n_{1}}\cup\cdots\cup K_{n_{t}})\big)
\]
is maximized, under fixed total order and component count, by making one component as large as possible and the others as small as the constraints permit [2509.01050]. The spectral program therefore identifies the most vulnerable graphs, with respect to scattering number or \(\tau\)-toughness, as explicit join constructions.

## 5. Random walks and radiative transfer: mean number of scatterings before escape

In radiative transfer and random-walk theory, the phrase “number of scatterings” refers to a different object: the mean number of scattering events a photon undergoes before escaping from a finite scattering medium [2312.15860]. The medium is either a sphere of radius \(L\) or a slab of half-height \(L\), the optical thickness is
\[
\tau_0=n\sigma L=\frac{L}{\ell},
\]
and the photon free path in optical depth is exponentially distributed,
\[
P(\tau)\,d\tau=e^{-\tau}\,d\tau,\qquad \tau\ge 0
\]
[2312.15860]. The quantity of interest is
\[
N_{\rm scatt}(\tau_0)=\langle\text{number of scatterings before escape}\rangle
\]
[2312.15860].

A widely quoted rule of thumb is
\[
N_{\rm scatt}\approx \tau_0+\tau_0^2,
\]
but the paper “Number of Scatterings in Random Walks” shows that this formula is not accurate when one consistently uses the exponential step-length distribution [2312.15860]. In the optically thick limit,
\[
N_{\rm scatt}\simeq \frac12\tau_0^2
\quad\text{in a sphere,}
\qquad
N_{\rm scatt}\simeq \frac32\tau_0^2
\quad\text{in a slab}
\]
[2312.15860]. In the optically thin limit,
\[
N_{\rm scatt}=1-e^{-\tau_0}\approx \tau_0
\quad\text{for a sphere,}
\]
whereas for a slab
\[
N_{\rm scatt}\approx \tau_0(1-\gamma-\ln\tau_0+\tau_0)
\]
with \(\gamma\simeq 0.57722\) the Euler–Mascheroni constant [2312.15860]. The logarithmic enhancement in the slab arises because nearly horizontal directions correspond to very large optical depths even when the vertical optical depth is small [2312.15860].

The paper also gives interpolation formulas for intermediate optical depths. For a sphere,
\[
N_{\rm scatt}^{\rm sphere}\approx \tau_0+\frac12\tau_0^2,
\]
which matches Monte Carlo results to within \(\sim 9\%\) over the entire range studied [2312.15860]. For a slab,
\[
N_{\rm scatt}^{\rm slab}\approx
\frac{\tau_0(1-\gamma-\ln\tau_0+5.6\,\tau_0)}{1+\tau_0^2}
+\frac32\tau_0^2,
\]
which reproduces Monte Carlo results for isotropic scattering to within about \(13\%\) across the range of \(\tau_0\) considered [2312.15860]. The formulas apply to scattering processes with forward and backward symmetry, including isotropic and Thomson scattering [2312.15860].

This usage of “scattering number” is therefore not a graph invariant but a transport observable controlled by geometry, optical depth, and free-path statistics. The paper also identifies a specific literature error: the standard \(\tau_0+\tau_0^2\) argument mixes the exponential free-path distribution in the thin limit with an effectively fixed step length in the thick-limit random-walk estimate [2312.15860].

## 6. Scattering theory: counting scattering poles of \(\sqrt{-\Delta}+V\)

In spectral and scattering theory, “scattering number” may denote a resonance-counting function. For odd dimensions \(d\ge 3\), the paper “Bounds on the number of scattering poles of half-Laplacian in odd dimensions, \(d\geq 3\)” studies
\[
H:=\sqrt{-\Delta}+V
\]
on \(\mathbb R^d\), where \(V\) is bounded, compactly supported, and complex-valued [2304.01493]. The cut-off resolvent
\[
\chi R_V(z)\chi,\qquad R_V(z)=(\sqrt{-\Delta}+V-z)^{-1},
\]
extends meromorphically to the whole Riemann surface \(\Lambda\) of \(\log z\), and its poles are the scattering poles, or resonances, of the operator [2304.01493].

The associated counting function is
\[
N(r,a)=\#\{z_j\in \Lambda:0\le |z_j|\le r,\ |\arg z_j|\le a\},
\qquad r>1,\ |a|>1,
\]
where the \(z_j\) are poles of \(\chi R_V(z)\chi\), counted with multiplicity [2304.01493]. The main theorem proves the upper bound
\[
N(r,a)\le C\langle a\rangle\big(\langle r\rangle^d+(\log\langle a\rangle)^d\big),
\qquad r\ge 1,\ |a|>1
\]
[2304.01493]. For fixed \(a\), the number of poles within radius \(r\) therefore grows like \(O(r^d)\), while the dependence on the angular parameter \(a\) reflects how many sheets of the logarithmic Riemann surface are included [2304.01493].

The analytic mechanism is determinant-based. The paper introduces
\[
H(z):=\det\big(I-(V R_0(z)\chi)^{d+1}\big),
\]
where \(R_0(z)=(\sqrt{-\Delta}-z)^{-1}\), proves growth bounds for \(H(z)\), and applies a zero-counting theorem of Vodev to bound the resonance multiplicities through the zeros of \(H(z)\) [2304.01493]. The resulting “scattering number” is thus a pole-counting function in a spectral problem, not a fragmentation index and not a random-walk mean.

A plausible implication is that the shared terminology across combinatorics, radiative transfer, and spectral analysis reflects a common counting theme rather than a common underlying definition. In the graph-theoretic literature, scattering number quantifies additive vulnerability under vertex deletion [2101.02095]; in random walks it counts expected collision events before escape [2312.15860]; and in resonance theory it counts poles of a meromorphically continued resolvent in sectors of \(\Lambda\) [2304.01493].

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