---
title: 'Tadpole Graphs: Structure & Applications'
url: https://www.emergentmind.com/topics/tadpole-graphs
type: topic
---

# Tadpole Graphs: Structure & Applications

A tadpole graph is a graph formed by a cycle with an attached path, equivalently a wedge-sum of a cycle and a path at a single vertex. In the combinatorial notation used in recent work, a tadpole graph $T_{k,m}$ consists of a cycle $C$ of $k\ge 3$ vertices together with a path $P$ of $m\ge 1$ vertices whose endpoint is identified with a distinguished cycle vertex; the same object is also described as a dragon or kite [1903.00581]. In current arXiv literature, tadpole graphs appear in at least three technically distinct settings: competitive online exploration on weighted graphs, extremal spectral problems for Dirichlet eigenvalues, and nonlinear PDEs on metric graphs [1903.00581][2603.27489][2505.04250].

## 1. Structural definitions and standard models

In its finite combinatorial form, a tadpole graph $T_{k,m}$ is specified by a cycle $C_k$ and a path $P_m$ with one endpoint of $P_m$ identified with one vertex of $C_k$. In the notation of Brandt et al., if the stem has $m$ vertices then $j=m-1$ stem edges are labeled $e_1,\dots,e_j$, while the $k$ cycle edges are labeled $e_{j+1},\dots,e_{j+k}$, so that $|E(T_{k,m})|=j+k$ [1903.00581]. In the Faber–Krahn literature, the special graph $T_{n,3}$ consists of a $3$-cycle head and a path tail attached at the neck vertex; one convenient labeling is
$$
V(T_{n,3})=\{u_1,u_2,\dots,u_n\},
$$
with cycle edges $\{u_1\sim u_2,u_2\sim u_3,u_3\sim u_1\}$ and tail $u_3\sim u_4\sim\cdots\sim u_n$ [2603.27489].

The finite tadpole has one vertex of degree $3$ at the junction or neck, one pendant vertex of degree $1$ at the tail end, and all remaining vertices of degree $2$ [2402.13845][2603.20814]. This asymmetric degree pattern is the source of several of its extremal properties. In exploration problems it creates a single branching uncertainty at the junction; in Dirichlet eigenvalue problems it creates a single bottleneck between a short cycle and a long path; in metric-graph PDE models it becomes a loop joined to a half-line at one vertex [2505.04250].

A distinct metric-graph version is the tadpole graph $\mathcal G_L$, which depends on a length parameter $L>0$ and is the union of a loop edge $c$ of total length $2L$, identified with $[-L,L]$, and a half-line edge $h$, identified with $[0,\infty)$, meeting at a single vertex $v$ [2505.04250]. This continuum model is not a finite combinatorial graph, but it preserves the same head-tail geometry.

## 2. Single-agent online exploration on weighted tadpoles

In the online graph-exploration model, a searcher starts at a designated start vertex $s$, which may lie on the stem or on the cycle. Upon first visiting a vertex $v$, the algorithm learns the unique ID of $v$, all neighbors of $v$, and the weights of the incident edges. Each traversal of an edge $e$ incurs cost $c(e)$, and the objective is to return to $s$ after visiting every vertex at least once while minimizing total cost [1903.00581]. The performance measure is the competitive ratio
$$
R_A=\sup_G \frac{\mathrm{cost}_A(G)}{\mathrm{cost}_{\mathrm{opt}}(G)},
$$
where $\mathrm{cost}_{\mathrm{opt}}(G)$ is the minimum-cost closed walk visiting all vertices [1903.00581].

For tadpole graphs, Brandt et al. show that no online algorithm can achieve competitive ratio below $2-\varepsilon$, extending a lower-bound construction of Miyazaki et al. to preserve the tadpole structure throughout the adversarial revelation process [1903.00581]. The adversary grows three unknown rays from a hidden junction and keeps the searcher uncertain which two rays form the cycle; with suitable parameters,
$$
\frac{\mathrm{cost}_{\mathrm{alg}}}{\mathrm{cost}_{\mathrm{opt}}}\ge 2-\frac{4}{3+2k+t_1+2k'},
$$
which can be made greater than $2-\varepsilon$ by choosing $k$ large [1903.00581].

The matching upper bound is attained by a greedy nearest-unvisited strategy. The algorithm repeatedly computes, in the explored subgraph, the shortest-path distance from the current vertex to every known but unvisited vertex, selects a minimizer, traverses a shortest path to it, and finally returns to $s$ by a shortest path [1903.00581]. The result is optimal in the competitive sense: on any weighted tadpole graph $T_{k,m}$, this greedy algorithm has competitive ratio at most $2$, and the lower bound shows that this is best possible [1903.00581].

The amortized proof depends on a charging scheme in which each step is charged to the cheapest incident edge leading to an unvisited neighbor, while edges on certain return paths are charged individually. Each edge weight is charged at most twice in nearest-neighbor phases, with only $O(1)$ extra path-charges [1903.00581]. A crucial structural fact is that an optimal tour on a tadpole has exactly one of two forms:

- **Shape 1**: every cycle edge is traversed once and every stem edge twice.
- **Shape 2**: one very heavy cycle edge $e_\infty$ is omitted and all other edges are traversed twice.

In Shape 2, one has $c(e_\infty)\ge$ the sum of the other cycle edges; in both shapes the analysis yields $\mathrm{greedy\_cost}\le 2\cdot \mathrm{cost}_{\mathrm{opt}}$ [1903.00581]. This establishes the head-tail asymmetry of the tadpole as one of the few nontrivial restricted graph classes for which the optimal online competitive ratio is exactly characterized.

## 3. Multi-agent online exploration: time and energy regimes

The multi-agent version places $k$ agents at a common start node $s$ in an initially unknown tadpole graph. Whenever an agent visits a new node, its incident edges and edge weights are revealed to all agents, so the explored part is globally shared [2402.13845]. Two cost models are used. In the time model, the cost is the wall-clock time until the last agent returns to $s$; in the energy model, the cost is the maximum total distance traversed by any single agent [2402.13845].

For tadpole graphs, the competitive picture depends strongly on the number of agents. The lower bounds are $1.5$ in the time model for any $k\ge 2$, and $1.5$ in the energy model for $k=2$ [2402.13845]. The constructive upper bounds are as follows.

| Agents | Time model | Energy model |
|---|---:|---:|
| $k=2$ | $2.5$-competitive | $2.5$-competitive |
| $k=3$ | $\le 2$ | $=1$ |
| $k=4$ | $\le 1.5$ | $=1$ |

For $k=2$, the paper gives a simple randomized AMP-style strategy that is $2.5$-competitive in both models. At the junction, two outgoing subpaths are chosen uniformly at random and then explored by the cycle AMP rule [2402.13845]. For $k=3$, the algorithm “AMP-Tadpole-3” sends three agents into the three visible directions but moves only the agent minimizing $d(a)+\ell(\text{next edge})$, thereby balancing traversed distances. This achieves energy-model ratio $1$ and time-model ratio at most $2$ [2402.13845]. For $k=4$, the “Split-4” strategy partitions the team at each degree-$d$ junction into $d$ subteams, one per outgoing edge, applies AMP inside each team, and achieves the time lower bound of $1.5$ while preserving optimal energy usage [2402.13845].

These results show that the combinatorial asymmetry of a tadpole graph does not preclude exact online optimality in stronger distributed models. A plausible implication is that the single junction is sufficiently structured to permit near-perfect load balancing once enough agents are available, especially under global communication.

## 4. Dirichlet eigenvalues and Faber–Krahn extremality

A second major line of work studies tadpole graphs as minimizers of first Dirichlet eigenvalues. For the normalized combinatorial $p$-Laplacian on a finite connected graph with boundary given by pendant vertices, the operator is
$$
\Delta_{p,G}f(x)=\frac{1}{\deg(x)}\sum_{y\sim x}|f(x)-f(y)|^{p-2}(f(x)-f(y)),
$$
with Dirichlet condition $f|_{B(G)}\equiv 0$ and Rayleigh quotient
$$
R_{p,G}[f]=
\frac{\sum_{\{x,y\}\in E(G)}|f(x)-f(y)|^p}
{\sum_{x\in V(G)}|f(x)|^p\deg(x)}.
$$
The first Dirichlet eigenvalue is the minimum of this quotient over nonzero $f$ satisfying the boundary condition [2603.27489].

He and Yu prove that if $G$ is any connected graph whose boundary consists of exactly $n\ge 4$ edges and $p>1$, then
$$
\lambda_{1,p}(G)\ge \lambda_{1,p}(T_{n,3}),
$$
with equality if and only if $G$ is isomorphic to $T_{n,3}$ [2603.27489]. Their proof uses a maximizing path for a positive first eigenfunction, a degree-sum estimate, and a surgery that copies the eigenfunction onto the tail of $T_{n,3}$ while flattening values on the triangular head. The comparison yields $\|\tilde f\|_{p,T_{n,3}}^p\ge \|f\|_{p,G}^p$ and $\|d\tilde f\|_{p,T_{n,3}}^p\le \|df\|_{p,G}^p$, hence the tadpole has no larger Rayleigh quotient [2603.27489].

An analogous sharp result holds for the unnormalized combinatorial Laplacian
$$
(A_Gf)(x)=\sum_{y\sim x}(f(x)-f(y)),
$$
whose first Dirichlet eigenvalue satisfies
$$
\lambda_1(G)=
\min_{f\ne 0,\ f|_{B(G)}=0}
\frac{\sum_{\{u,v\}\in E}(f(u)-f(v))^2}{\sum_{x\in V(G)}f(x)^2}.
$$
He and Yu show that among all connected graphs with boundary on $n\ge 4$ vertices, and separately among all connected graphs with boundary and $|E(G)|=n\ge 4$ edges, the unique minimizer is again $T_{n,3}$ [2603.20814].

Several comparison lemmas explain why the triangular head is extremal. In both spectral papers, larger cycle lengths are disfavored: $\lambda_{1,p}(T_{n,4})>\lambda_{1,p}(T_{n,3})$ in the normalized $p$-Laplacian setting, and $\lambda_1(T_{n,4})>\lambda_1(T_{n,3})$ in the combinatorial Laplacian setting [2603.27489][2603.20814]. Paths are also larger: $\lambda_{1,p}(P_n)>\lambda_{1,p}(T_{n,3})$ and $\lambda_1(P_n)>\lambda_1(P_{n+1})>\lambda_1(T_{n,3})$ [2603.27489][2603.20814]. This makes $T_{n,3}$ the discrete Faber–Krahn minimizer within the classes considered.

For the concrete case $n=5$ in the combinatorial Laplacian model, the symmetry-invariant eigenfunction on $T_{5,3}$ leads to the cubic
$$
\lambda^3-6\lambda^2+8\lambda-1=0,
$$
whose unique root in $(0,1)$ gives $\lambda_1(T_{5,3})\approx 0.1394$; by comparison, $\lambda_1(P_5)\approx 0.2679$ and $\lambda_1(P_6)\approx 0.1983$ [2603.20814]. The numerical gap illustrates the general principle that a triangle head plus a long tail yields the smallest first Dirichlet eigenvalue among the admissible competitors.

## 5. Metric tadpoles and nonlinear Schrödinger ground states

In the metric-graph setting, the tadpole $\mathcal G_L$ is the union of a loop edge of total length $2L$ and a half-line meeting at a vertex $v$. A function on $\mathcal G_L$ is a pair $(u_c,u_h)$ with $u_c\in H^2(-L,L)$ and $u_h\in H^2(0,\infty)$, subject to continuity
$$
u_c(-L)=u_c(L)=u_h(0)=:u(v).
$$
The Hamiltonian with a delta interaction at the vertex is
$$
H_\gamma=-\frac{d^2}{dx^2}+\gamma\,\delta(x-v),
$$
with domain determined by continuity and the derivative jump condition
$$
u_c'(L)-u_c'(-L)+u_h'(0)=\gamma\,u(v),
$$
where $\gamma>0$ is repulsive [2505.04250].

The stationary cubic NLS on this graph is
$$
H_\gamma u+\omega u-|u|^2u=0,\qquad \omega>0,
$$
and its action functional is
$$
S_{\omega,\gamma,L}(u)=\frac12 Q_{H_\gamma}(u)+\frac12\omega\|u\|^2_{L^2(\mathcal G_L)}-\frac14\|u\|^4_{L^4(\mathcal G_L)},
$$
where
$$
Q_{H_\gamma}(u)=\|u'\|^2_{L^2}+\gamma |u(v)|^2.
$$
Because $S$ is unbounded below on $H^1$, minimization is restricted to the Nehari manifold
$$
N_{\omega,\gamma,L}=\{u\ne 0:I_{\omega,\gamma,L}(u)=0\},
$$
and the action ground-state level is
$$
s_{\omega,\gamma,L}=\inf\{S_{\omega,\gamma,L}(u):u\in N_{\omega,\gamma,L}\}
$$
[2505.04250].

The main existence theorem states that for fixed $\omega>0$ and $\gamma>0$, ground states exist in two asymptotic regimes. If
$$
\gamma<(1-\sqrt{3}/2)^{1/3}\sqrt{\omega},
$$
then there exists $L^*>0$ such that $s_{\omega,\gamma,L}<s_{\omega,\mathbb R}$ for all $0<L<L^*$; if
$$
\gamma<\sqrt{\omega},
$$
then there exists $L^{**}>0$ such that $s_{\omega,\gamma,L}<s_{\omega,\mathbb R}$ for all $L\ge L^{**}$, where the line soliton action is $s_{\omega,\mathbb R}=\frac43\omega^{3/2}$ [2505.04250]. Existence follows from variational arguments and profile decomposition: once $s_{\omega,\gamma,L}<s_{\omega,\mathbb R}$, escape of mass along the tail is ruled out [2505.04250].

The paper also classifies standing-wave profiles on the loop by phase-plane methods. The loop component satisfies
$$
-\phi''+\omega\phi-\phi^3=0,
$$
with first integral $E=q^2-p^2(\omega-p^2/2)$, and solutions fall into dnoidal, sech, and cnoidal families according to whether $E<0$, $E=0$, or $E>0$ [2505.04250]. On the tail one always has a translated sech profile,
$$
\phi_h(x)=\sqrt{2\omega}\,\mathrm{sech}(\sqrt{\omega}(x+b)),
$$
with $b=-\operatorname{arctanh}(\gamma/\sqrt{\omega})$ determined by the Robin boundary condition [2505.04250]. Numerical experiments for $\omega=1$, $\gamma=0.5$, and loop lengths $L=0.1,0.25,0.75,2$ show convergence in at most about $250$ steps and a transition of mass from the tail-dominated regime to the loop-dominated regime as $L$ increases [2505.04250].

## 6. Terminology, scope, and related uses

In graph theory, “tadpole graph” refers to the cycle-plus-path structure described above. The term is also used in physics in the phrase “tadpole diagrams,” but this denotes a different object: a one-particle-reducible diagram in constant electromagnetic fields that is constructed algebraically from one-particle-irreducible constant-field diagrams by differentiation with respect to the field strength tensor [1709.03819]. This usage is unrelated to combinatorial tadpole graphs except for the visual metaphor.

Within mathematics, two distinct notions should likewise be separated. A finite tadpole graph such as $T_{k,m}$ or $T_{n,3}$ is a discrete combinatorial object used in online algorithms and spectral graph theory [1903.00581][2603.20814]. A metric tadpole such as $\mathcal G_L$ is a quantum graph consisting of a loop and a half-line endowed with differential operators and vertex conditions [2505.04250]. The shared geometry is the same head-tail topology, but the analytical frameworks are different: shortest-path cost and competitive ratio in the former, Dirichlet spectra and nonlinear bound states in the latter.

Taken together, the recent literature presents tadpole graphs as a compact test case where a simple non-tree, non-symmetric topology admits exact or sharp results across several domains. In online exploration, the optimal competitive ratio is exactly $2$ for a single agent and can drop to $1$ in the energy model with three agents [1903.00581][2402.13845]. In Dirichlet eigenvalue minimization, the triangle-head tadpole $T_{n,3}$ is the unique extremizer in the graph classes considered [2603.27489][2603.20814]. In nonlinear analysis on metric graphs, the same topology supports asymptotically proven action ground states under a repulsive delta vertex condition [2505.04250]. This convergence of results across algorithmics, spectral graph theory, and PDEs helps explain why the tadpole has become a recurrent model geometry in current arXiv research.

Source: https://www.emergentmind.com/topics/tadpole-graphs