---
title: Lower Connective Constant in Graphs
url: https://www.emergentmind.com/topics/lower-connective-constant
type: topic
---

# Lower Connective Constant in Graphs

The lower connective constant is a self-avoiding-walk parameter introduced for families of finite graphs as a depth-wise infimum of exponential growth rates, and it is designed to capture graph complexity more precisely than maximum degree in analytic questions such as zero-freeness for the hard-core partition function. In the notation of the recent finite-graph formulation, it is defined from the numbers of self-avoiding walks of length at most \(k\), while for infinite quasi-transitive graphs it is closely tied to the classical connective constant \(\mu(G)\), the asymptotic growth rate of \(n\)-step self-avoiding walks. In related literature, the phrase also arises indirectly through universal lower bounds on \(\mu(G)\) for regular, transitive, and vertex-transitive graphs [2604.02746], [1210.6277], [1304.7216].

## 1. Definitions and basic framework

For an infinite, connected, quasi-transitive graph \(G\), the classical connective constant is
\[
\mu(G)=\lim_{n\to\infty} c_n(v)^{1/n},
\]
where \(c_n(v)\) is the number of \(n\)-step self-avoiding walks starting at \(v\). For vertex-transitive and quasi-transitive graphs, the limit exists and is independent of the starting vertex [1304.7216], [1412.0150].

For finite graphs, the lower connective constant is defined differently. If \(G\) is finite and \(k\ge 0\), let \(\mathcal N_{\le k}(G,v)\) be the number of self-avoiding walks of length at most \(k\) starting at \(v\). Then
\[
\mu_k(G):=\sup_{v\in V}\left(\mathcal N_{\le k}(G,v)\right)^{1/k}.
\]
For a family \(\mathcal H\) of finite graphs,
\[
\mu_k(\mathcal H):=\sup_{G\in\mathcal H}\mu_k(G),\qquad
\mu_{\inf}(\mathcal H):=\inf_{k\ge 1}\mu_k(\mathcal H).
\]
This \(\mu_{\inf}(\mathcal H)\) is the lower connective constant of the family [2604.02746].

| Quantity | Formula | Setting |
|---|---|---|
| Connective constant | \(\mu(G)=\lim_{n\to\infty} c_n(v)^{1/n}\) | Infinite quasi-transitive graph |
| \(k\)-depth connective constant | \(\mu_k(G)=\sup_{v\in V}(\mathcal N_{\le k}(G,v))^{1/k}\) | Finite graph |
| Lower connective constant | \(\mu_{\inf}(\mathcal H)=\inf_{k\ge1}\mu_k(\mathcal H)\) | Family of finite graphs |

This finite-depth formulation is not merely terminological. It is constructed so that self-avoiding-walk growth can be used in finite-volume analytic arguments, especially when one wants uniform control over all members of a graph family [2604.02746].

## 2. Relation to the standard connective constant

A key property of the lower connective constant is its compatibility with the infinite-volume theory. For an infinite graph \(G\), if \(\mathcal H_G\) denotes the family of finite induced subgraphs of \(G\), then the lower connective constant of \(\mathcal H_G\) coincides with the standard connective constant \(\sigma(G)\) of the infinite graph [2604.02746].

This identification places the finite-depth notion squarely inside the classical theory of self-avoiding walks. In the older literature, the central object is always the exponential growth rate of self-avoiding walks, and many structural results are formulated directly for \(\mu(G)\): existence via submultiplicativity, equality with bridge constants under suitable height-function hypotheses, and exact evaluation on a few special lattices [1412.0150], [1501.00476], [1007.0575].

The finite-depth lower connective constant can therefore be viewed as a finite-graph proxy for \(\mu(G)\). This suggests a transfer principle: results stated for graph families in terms of \(\mu_{\inf}\) recover infinite-lattice statements when applied to exhaustion families of induced subgraphs. That transfer is explicit in the zero-freeness theory for the hard-core model, where analyticity of the free energy on an infinite lattice is deduced from uniform zero-freeness over its finite induced subgraphs [2604.02746].

## 3. Universal lower bounds for the classical connective constant

Much of the literature surrounding “lower connective constant” concerns lower bounds for the standard connective constant on infinite regular graphs. Grimmett and Li proved that if \(\Delta\ge 2\) and \(G\) is an infinite, connected, \(\Delta\)-regular, vertex-transitive graph, then
\[
\mu(G)\ge \sqrt{\Delta-1}
\]
whenever \(G\) is simple, or \(G\) is non-simple and \(\Delta\le 4\) [1210.6277], [1304.7216].

For cubic graphs, this gives
\[
\mu(G)\ge \sqrt{2}\approx 1.4142.
\]
The bridge graph \(\mathbb B_\Delta\) satisfies
\[
\mu(\mathbb B_\Delta)=\sqrt{\Delta-1},
\]
so the bound is sharp in the class that allows multiple edges [1210.6277], [1304.7216].

The proof strategy is combinatorial. It uses forward-extendable self-avoiding walks, meaning walks that can be extended to infinite self-avoiding walks, and shows that the number of forward-extendable walks of length \(2n\) is at least \((\Delta-1)^n\). In the vertex-transitive simple case, a technical condition \((\Pi)\) is available and supports the counting argument. The same analysis is described in terms of “blue branches,” producing a recurrence that forces exponential growth at rate at least \(\sqrt{\Delta-1}\) [1210.6277], [1304.7216].

These results delimit what can be asserted uniformly. For quasi-transitive graphs without vertex-transitivity, the best universal lower bound is only \(\mu(G)\ge 1\), and this is attained by regular graphs constructed by decorating an infinite line [1210.6277].

## 4. Exact values, extremal benchmarks, and the golden ratio problem

A small number of graphs admit exact connective constants, and these serve as benchmarks for lower-bound questions. Duminil-Copin and Smirnov proved that for the honeycomb lattice,
\[
\mu=\sqrt{2+\sqrt 2},
\]
using a parafermionic observable satisfying a half of the discrete Cauchy-Riemann relations [1007.0575]. Their method also established the corresponding critical point \(x_c=1/\sqrt{2+\sqrt2}\) through divergence and convergence of self-avoiding-walk generating functions [1007.0575].

For the ladder graph \(\mathbb L\),
\[
\mu(\mathbb L)=\phi=\tfrac12(\sqrt5+1),
\]
and this value is central in the theory of cubic graphs [1210.6277], [1704.05884]. Grimmett and Li explicitly raised the open question of whether every infinite, connected, cubic, vertex-transitive, simple graph satisfies
\[
\mu(G)\ge \phi.
\]
At present, only the weaker rigorous bound \(\mu(G)\ge \sqrt2\) is known in full generality [1304.7216], [1704.05884].

The Fisher transformation provides an extremal mechanism in the cubic setting. If \(G\) is cubic and \(F(G)\) is obtained by replacing each degree-\(3\) vertex by a triangle, then for the iterated sequence \(G_{k+1}=F(G_k)\), the connective constants satisfy
\[
\mu_k^{-1}=g(\mu_{k+1}^{-1}),\qquad g(x)=x^2+x^3,
\]
and \(\mu_k\) decreases monotonically to \(\phi\) [1704.05884]. A 2026 generalization replaces each degree-\(3\) vertex by a finite symmetric three-port gadget and obtains
\[
\mu(G)^{-1}=g\bigl(\mu(G_1)^{-1}\bigr),
\]
where \(g(x)\) is the two-port self-avoiding-walk generating function of the gadget [2601.12571]. This shows that lower-bound problems are compatible with a broader local-transformation calculus than the Fisher triangle alone.

A weighted analogue appears in Glazman’s model on the dual \(\mathbb Z^2\) lattice. For the critical family parametrized by \(\theta\in[\pi/3,2\pi/3]\), the connective constant is
\[
\mu_\theta=\frac1{u_1(\theta)},
\]
and the minimum over the family is attained at \(\theta=\pi/3\), where it equals \(\sqrt{2+\sqrt2}\) [1402.5376].

## 5. Monotonicity, quotient operations, and locality

Lower bounds interact strongly with graph operations. Grimmett and Li proved strict inequalities for connective constants of vertex-transitive graphs: passing to a non-trivial quotient graph decreases the connective constant strictly, while adding a quasi-transitive family of edges increases it strictly [1301.3091]. In the Cayley-graph setting, adding a new relator strictly decreases \(\mu(G)\), and declaring a non-trivial group element to be a generator strictly increases \(\mu(G)\) [1301.3091], [1304.7216].

These monotonicity statements help organize extremal questions. If one seeks small connective constant within a structural class, quotienting and relator addition move in the lowering direction, whereas generator addition and edge augmentation move in the raising direction [1301.3091].

A complementary theme is locality. Grimmett and Li proved that if two infinite quasi-transitive graphs agree on a large ball around the origin, then their connective constants are close in value, provided the graphs admit unimodular graph height functions [1412.0150]. The proof uses a generalized bridge decomposition, and under the same unimodularity hypothesis the bridge constant equals the connective constant:
\[
\beta(G)=\mu(G)
\]
[1412.0150], [1501.00476].

For Cayley graphs, the height-function framework becomes more algebraic. A group height function exists if and only if the coefficient matrix \(C\) of the presentation satisfies \(\mathrm{rank}(C)<|S|\) [1501.00476]. Under an independent infinite-order generator hypothesis, local convergence of Cayley graphs implies convergence of connective constants:
\[
\mu(G_n)\to\mu(G)
\]
[1410.2591]. This provides a rigorous approximation mechanism for connective constants by locally convergent graph sequences.

## 6. Algorithmic and analytic uses of the lower connective constant

The modern finite-graph notion of lower connective constant was introduced to improve degree-based analytic thresholds in the hard-core model. If a family \(\mathcal H\) of finite graphs has lower connective constant \(\mu_{\inf}(\mathcal H)\), then for any \(0<\lambda<\lambda_c(\mu_{\inf}(\mathcal H))\), where
\[
\lambda_c(\mu)=\frac{\mu^\mu}{(\mu-1)^{\mu+1}},
\]
the hard-core partition function is zero-free in a complex neighborhood of the interval \([0,\lambda]\) [2604.02746]. The proof uses a block contraction technique that lifts correlation decay from a real interval to a strip-like complex neighborhood [2604.02746].

For an infinite lattice \(L\) with connective constant \(\sigma(L)\), the same framework yields uniqueness and analyticity of the free energy density up to the threshold \(\lambda_c(\sigma)\) [2604.02746]. Here the finite-family lower connective constant is the device that imports infinite-lattice connective-constant information into finite-volume zero-freeness.

Related algorithmic work had already shown that the ordinary connective constant governs spatial mixing and approximate counting. For graphs of bounded connective constant, Sinclair, Srivastava, Štefankovič, and Yin obtained strong spatial mixing and deterministic approximation schemes for the hard-core and monomer-dimer models, with thresholds parameterized by the connective constant rather than maximum degree [1308.1762], [1410.2595]. A later development replaces the global parameter by a local connective constant
\[
\Delta_k=c_k^{1/k},
\]
where \(c_k\) is the maximum number of \(k\)-step self-avoiding walks from a vertex, and derives \(O(n\log n)\) mixing bounds for Glauber dynamics on the hard-core and Ising models [2411.08179].

These developments show that self-avoiding-walk growth rates now function as algorithmic “effective degree” parameters. The lower connective constant is the version tailored to finite families and complex-analytic control, while the connective constant and local connective constant appear in correlation-decay and sampling results [2604.02746], [2411.08179].

## 7. Open problems and extensions

Two open problems remain prominent in the unweighted theory. The first is whether
\[
\mu(G)\ge \phi
\]
for every infinite, simple, transitive, cubic graph [1304.7216], [1704.05884]. The second is whether the lower bound
\[
\mu(G)\ge \sqrt{\Delta-1}
\]
extends to non-simple graphs when \(\Delta>4\) [1304.7216].

Extensions to weighted self-avoiding walks broaden the scope of the subject. On finitely generated, virtually indicable groups, weighted connective and bridge constants coincide under a Hölder-type compatibility condition between the height function and the length function [1804.05380]. By contrast, a 2025 matrix method for weighted self-avoiding walks develops systematic upper bounds via dominant eigenvalues and states explicitly that lower bounds are not the main focus, identifying them as a possible future direction [2508.01993].

A plausible implication is that “lower connective constant” now names a broader research program rather than a single invariant: finite-depth lower connective constants for graph families, universal lower bounds for \(\mu(G)\), and weighted or local variants all address the same underlying issue, namely how much self-avoiding-walk entropy a graph must support under structural constraints.

Source: https://www.emergentmind.com/topics/lower-connective-constant