---
title: Broom in Graph Theory, Engineering & Imaging
url: https://www.emergentmind.com/topics/broom
type: topic
---

# Broom in Graph Theory, Engineering & Imaging

BROOM is a recurrent term in several research literatures, but it does not denote a single canonical object. In graph theory, it usually names a tree built from a path together with a cluster of pendent leaves concentrated near one end; this family appears in random-walk extremal problems, forbidden-induced-subgraph theory, extremal combinatorics, approximation algorithms, and chromatic symmetric functions. In software and systems engineering, *broom* and *BROOM* designate tools or methodologies for tidying model outputs, developing real-time automotive controllers, and performing blind component separation in microwave astronomy. In remote sensing, *push-broom* refers to a line-scanning sensor geometry, and in historical East Asian astronomy *broom star* denotes a cometary appearance [2508.02804] [1412.3565] [2406.13710] [1409.6931] [2604.14088] [2012.06285].

## 1. Graph-theoretic definitions and notational variants

The graph-theoretic literature uses several non-identical broom constructions. Their common motif is a path-like “handle” together with a concentrated set of leaves or a subdivided star arm. This notational overload is substantive rather than merely cosmetic: different variants are tailored to random walks, forbidden induced subgraphs, spanning-tree existence, or extremal counting.

| Variant | Construction | Source |
|---|---|---|
| \(B_{n,d}\) | \(n\)-vertex tree from a path of length \(d\) with \(n-d\) additional leaves at one endpoint | [2508.02804] |
| \(B(\ell,s)\) | Path \(P_\ell\) with \(s\) new leaves attached to the penultimate vertex \(v_{\ell-1}\) | [2401.11587] |
| \(B_{m,n}\) | Path of length \(n\) with \(m\) extra leaves attached at the unique vertex at distance \(1\) from one end | [2112.06619] |
| \(B_{d,t}\) | Path \(P_t\) plus \(d\) new vertices adjacent only to one endpoint \(p_1\) | [1804.04077] |
| \(t\)-broom | Graph obtained from \(K_{1,t+1}\) by subdividing exactly one edge once | [2106.08871] |
| Broom of length \(k\) | \(k\)-edge path whose non-path vertices are adjacent exactly to one end | [1807.03768] |
| Spanning broom | Spanning spider obtained by joining the center of a star to one endpoint of a path | [2404.00811] |
| \(B^+(p+2,t-1)\) | Path of length \(p+2\), \(t-1\) leaves at one end, plus an extra pendant leaf attached at \(u_2\) | [2512.09186] |

Two further extensions are prominent. A \((k_1,\dots,k_n)\)-multibroom is obtained by identifying the handles of brooms of lengths \(k_1,\dots,k_n\), producing a tree with several broom-arms meeting at one common vertex [1807.03768]. In bipartite graph mining, a \((p,q)\)-broom is defined not as a forbidden tree but as the unique spanning tree of a \(K_{p,q}\) under a fixed vertex order, with \(p+q-1\) edges “evenly distributed” across the two sides [2505.10471].

This suggests that “broom” functions less as a single graph family than as a path-plus-brush design pattern whose exact formalization depends on the problem being studied.

## 2. Random walks, meeting time, and spanning existence

In the random-walk setting, the broom graph is an extremal tree for meeting time. For a random walk on a tree \(G=(V,E)\), with hitting time \(H(v,w)\) and stationary distribution \(\pi_v=\deg(v)/2|E|\), the meeting time is
\[
T_{\rm meet}(G)=\max_{w\in V}\sum_{v\in V}\pi_v H(v,w).
\]
For fixed order \(n\) and diameter \(d\), this quantity is maximized by the broom graph. The meeting time is minimized by the balanced double broom graph, or a slight variant, depending on the relative parities of \(n\) and \(d\) [2508.02804].

For the broom \(B_{n,d}\), the maximum of the scaled functional
\[
J(w)=\sum_v \deg(v)\,H(v,w)
\]
is attained at a leaf \(w=v_d\), and the paper gives the closed forms
\[
J(v_d)=4(d-1)n^2+(5-4d^2)n+\frac{4d^3-4d-3}{3},
\]
and
\[
T_{\rm meet}\bigl(B_{n,d}\bigr)
=\frac{J(v_d)}{2(n-1)}
=2(d-1)n-2d^2+2d+\frac12+\frac{2d^3-6d^2+4d}{3(n-1)}.
\]
The proof strategy is structural: maximizing targets are leaves, relocating leaves toward the maximizing leaf strictly increases the meeting time, and repeated reattachment of off-geodesic branches eventually “broomifies” the tree [2508.02804].

A distinct extremal line concerns spanning containment under degree conditions. Chen, Ferrara, Hu, Jacobson, and Liu proved that every connected graph of order \(n\ge 56\) with
\[
\delta(G)\ge \frac{n-2}{3}
\]
contains a spanning broom. Kim, Kostochka, and Luo established the Ore-type corollary that every connected \(n\)-vertex graph with \(n\ge 13\) and
\[
\sigma_2(G)\ge \frac{2n-3}{3}
\]
also contains a spanning broom; the Ore-type result is obtained by first embedding a spanning jellyfish and then deleting an edge to obtain a broom [2404.00811].

Taken together, these results place the broom in two complementary roles: as an extremizer of a random-walk functional on trees of fixed diameter, and as a spanning structure forced by sharp degree or degree-sum thresholds.

## 3. Forbidden brooms and chromatic structure

For induced-subgraph theory, broom exclusion yields several polynomial \(\chi\)-binding results. A \(t\)-broom is obtained from \(K_{1,t+1}\) by subdividing one edge once. For every fixed integer \(t\ge 1\), the class of \(t\)-broom-free graphs is polynomially \(\chi\)-bounded; specifically, there exists a polynomial \(f_t(\omega)=o(\omega^{t+1})\) such that \(\chi(G)\le f_t(\omega(G))\). When \(t=2\), every chair-free graph satisfies
\[
\chi(G)\le 7\,\omega(G)^2.
\]
For \(t\ge 3\), every graph with no induced \(t\)-broom and no copy of \(K_{t,t}\) satisfies
\[
\chi(G)=o\bigl(\omega(G)^t\bigr).
\]
An explicit general form is
\[
f_t(\omega)=C_t\cdot \omega^2\cdot R(t,\omega),
\]
and in the \(\{t\text{-broom},K_{t,t}\}\)-free case one may take
\[
g_t(\omega)=O\bigl(\omega\,R(t,\omega)+(t+2)t^2\,\omega\,R(t-1,\omega)\bigr)
\]
[2106.08871].

Multibrooms extend this program. Scott and Seymour proved that every \((1,\dots,1,2,\dots,2)\)-multibroom satisfies the Gyárfás–Sumner conjecture, unifying earlier results for the uniform \((1,\dots,1)\) and \((2,\dots,2)\) cases [1807.03768]. In a different direction, Rahimi and Mojdeh studied the hereditary class \(\mathcal H\) of \((C_4,p\text{-flag})\)-free graphs. If
\[
G\in\mathcal H,\quad G\text{ is }B^+(p+2,t-1)\text{-free},\quad\text{and}\quad G\text{ is }K_d(t)\text{-free},
\]
then
\[
\chi(G)\le f_{d,p}(t)=O\bigl(t^{c(d,p)}\bigr),\qquad c(d,p)=d(p-1)+3.
\]
For the subclass additionally excluding \(K_3(t)\), the chromatic number is linearly bounded by the clique number, and for each \(i\ge 2\) the subclass \(\mathcal L_i\subseteq\{P_6,(2,2)\text{-broom}\}\)-free graphs admits a linear \(\chi\)-binding function \(h_i(\omega)=a_i\omega+b_i\) [2512.09186].

These results show that broom-type trees are useful forbidden configurations precisely because they are structured enough to admit Ramsey-type, separator-type, or template-based control of chromatic growth, while still being rich enough to capture nontrivial induced-subgraph behavior.

## 4. Extremal, algorithmic, and enumerative roles

The broom also appears as a proxy object in algorithm design and extremal counting. In bipartite graphs, the CBC framework for approximate \((p,q)\)-biclique counting introduces the \((p,q)\)-broom as a special spanning tree of the biclique. After coloring the graph, all brooms are counted exactly by a dynamic program
\[
\mathrm{Dp}[t,(u,v)] = \text{the \# of partial brooms of length \(t\) ending at edge \((u,v)\)},
\]
with total complexity \(O((p+q)|E|)\) time and \(O((p+q)|E|)\) space. Sampling these brooms yields an unbiased estimator \(\widehat C\) for the true biclique count \(C\), with Hoeffding-type bound
\[
\Pr\bigl[|\widehat C-C|\ge \epsilon C\bigr]
\le 2\exp\!\Bigl(-\frac{2\epsilon^2C^2T}{B^2}\Bigr).
\]
Empirically, the method achieves up to \(8\times\) reduction in estimation error and up to \(50\times\) speedup on nine real-world bipartite networks [2505.10471].

In forbidden-subgraph extremal theory, Gerbner determined \(\mathrm{ex}_r(n,B(\ell,s))\) and \(\mathrm{ex}(n,S_r,B(\ell,s))\) for \(r\ge 2\), any \(\ell,s\), and sufficiently large \(n\). Writing \(k=\lfloor(\ell-2)/2\rfloor\), the unique extremal graphs are \(H(k,n)\) when \(\ell\) is even, \(H^*(k,n)\) when \(\ell\) is odd with either \(\ell\ge 7\) or \(\ell=5,s=0\), and \(F_n\) when \(\ell=5,s>0\) [2401.11587].

For optimization on broom-free graphs, there is a polynomial-space algorithm which, on any \(n\)-vertex \(B_{d,t}\)-free graph \(G\), returns in time
\[
2^{O(n^{3/4}\log n)}
\]
an independent set of size at least
\[
\frac{1}{d}\,\alpha(G).
\]
The proof combines degree-threshold branching, a path-growing/small-separator lemma, and a “poor neighborhood” case in which a small part of the graph is solved exactly [1804.04077].

In algebraic combinatorics, the broom graph \(B_{m,n}\) has a sharply constrained positivity profile. Wang, Wang, and Wang proved that \(B_{m,n}\) is \(e\)-positive if and only if \((m,n)=(2,2)\). They also showed that the only Schur-positive brooms beyond the trivial path cases are
\[
B_{2,4},\;B_{2,6},\;B_{2,8},\;B_{2,10},\;B_{2,12}.
\]
Their methods use Orellana–Scott triple-deletion and a rim-hook–tabloid formula for Schur coefficients [2112.06619].

A plausible implication is that broom structures are unusually effective as intermediate objects: they are simple enough to count, sample, or analyze exactly, yet rich enough to preserve the combinatorial difficulty of the ambient problem.

## 5. Software packages and engineering methodologies named broom or BROOM

In statistics, the R package **broom** is designed to convert statistical analysis objects into tidy data frames. It adopts the tidy-data framework summarized by three rules: “Each variable forms one column. Each observation forms one row. Each type of observational unit forms one table.” The package defines exactly three S3 generics: `tidy(model, ...)`, `augment(model, data=...)`, and `glance(model, ...)`, corresponding respectively to component level, observation level, and model level. Each returns a `data.frame` without rownames, making model outputs easier to recombine, filter, reshape, and visualize with tidyverse tools [1412.3565].

In automotive real-time software development, **BROOM** means “BMW-ROOM.” It is a pragmatic version of ROOM adapted to ETAS’s ASCET SD for tool-assisted development of car software components. The method organizes development in two nested loops: a Product Development Loop and a System Development Loop with the phases “Model Requirements Definition,” “Model Development,” and “Implementation & Test.” BROOM is scenario-driven, prototype-driven, and actor-based: systems are decomposed into actors with ports, attributes, subactors, and state machines, and ASCET’s code-generation and experimentation features are used to validate emerging models “on button press” [1409.6931].

In microwave astrophysics, **BROOM** is a Python package for model-independent analysis of microwave data. It implements Internal Linear Combination methods and a Generalized ILC framework for blind reconstruction of coherent emission components with unknown covariance properties. The package is pure Python and installable via
```bash
pip install cmbroom
```
It supports simulation, component separation, residual estimation, and angular power-spectrum estimation. Validation is reported for a full-sky satellite mission and a partial-sky ground-based experiment. In the LiteBIRD-like configuration, “CMB reconstruction unbiased” and “foreground residuals suppressed by factor \(\gtrsim 30\)” are reported; in the SO-SATs-like case, \(E\)-mode spectra are recovered to \(\sim 1\%\) accuracy over \(30\le \ell \le 500\), and GILC-recovered foreground spectral power matches inputs within \(\sim 10\%\) at high \(\ell\) [2604.14088].

These software and methodology uses are nominal rather than structural: unlike the graph-theoretic broom, they are brand names or acronyms, but each preserves the broader idea of organizing heterogeneous elements into a regular, manipulable form.

## 6. Push-broom imaging and “broom star” astronomy

In Earth observation, *push-broom* denotes a sensor geometry in which multi-spectral imagery is acquired by sweeping linear detector arrays across-track while the satellite moves along-track. PlanetScope SuperDove is described with typical parameters
\[
M=8,\quad N_{\rm cols}=8880,\quad N_{\rm lines}\approx 5000,\quad G\simeq 3.7\,{\rm m/pixel},\quad V_{\rm sat}\simeq 7.5\,{\rm km/s}.
\]
Because the spectral strips are read out sequentially, a moving object appears at slightly different along-track positions in different bands. With
\[
t_b(r)=t_0+r\cdot \Delta t_{\rm camera}+b\cdot \Delta t_{\rm band}+\alpha_b\cdot \Delta t_{\rm camera},
\]
band-to-band displacements can be converted into velocity estimates. Keto and Watters analyzed eight aircraft tracks over Dallas–Fort Worth International Airport, inferred
\[
\Delta t_{\rm camera}=0.179\pm 0.007\,{\rm s},
\]
and reported an RMSE of PLC versus ADS-B of \(\sim 4\,{\rm m/s}\) (\(\approx 3\%\)); \(3\sigma\) error bars envelop the one-to-one line, confirming accuracy to within \(\sim \pm 10\,{\rm m/s}\) at the \(99.7\%\) confidence level [2406.13710].

In historical astronomy, *broom star* translates the Chinese term *hui xing*. Neuhäuser and collaborators show that the AD 668 and AD 891 records often misidentified in modern speculative counterpart studies are best interpreted as comet sightings. The AD 668 reports describe a broom star at Wuche, Bi, and Mao lasting 19 nights, while the AD 891 materials combine Japanese and Chinese reports of an object with motion through Santai, Taiwei, Dajiao, and Tianshi and a duration of at least 54 days. Tail descriptions, motion across asterisms, and the absence of stationarity satisfy comet criteria and not nova or supernova criteria [2012.06285].

Outside graph theory, then, the broom metaphor is visual and geometric. In push-broom imaging it refers to a scanning strip architecture; in historical astronomy it refers to a tailed appearance. This suggests that across disciplines the term retains a common image—a handle-like axis together with a brush-like extension—even when the formal objects are entirely different.

Source: https://www.emergentmind.com/topics/broom