---
title: Complete Edge Relaxation Overview
url: https://www.emergentmind.com/topics/complete-edge-relaxation
type: topic
---

# Complete Edge Relaxation Overview

Searching arXiv for the cited papers and topic variants to ground the article.
Complete edge relaxation is a polysemous technical term whose meaning depends strongly on disciplinary context. In the arXiv literature it denotes, at minimum, four distinct but structurally related ideas: the relaxation of a maximally clustered graph to an unclustered ensemble under repeated rewiring; repeated full passes of edge relaxations in non-adaptive shortest-path algorithms; an extended LP formulation for the multilinear polytope in binary polynomial optimization; and the complete equilibration of quantum Hall edge-state energy distributions. This suggests a common motif—exhaustive treatment of edge degrees of freedom until a limiting ensemble, exact relaxation, or thermal state is reached—but the mathematical objects, observables, and correctness criteria are domain-specific [1708.07739] [2305.09230] [2507.12831] [0907.2996].

## 1. Network rewiring and relaxation from maximal clustering

In network science, complete edge relaxation refers to the long-time rewiring of an initially maximally clustered, degree-regular graph into the equilibrium ensemble associated with the chosen edge dynamics. The initial graph is a disjoint union of \(N/(\langle k\rangle+1)\) cliques of size \(\langle k\rangle+1\), so every node has degree \(\langle k\rangle\), every connected triple is closed, and the clustering coefficient is \(C(0)=1\). Every edge initially has multiplicity \(m=\langle k\rangle-1\), with \(q_{\langle k\rangle-1}(0)=1\) and \(q_m(0)=0\) otherwise [1708.07739].

Two canonical dynamics are analyzed. In the degree-preserving double-edge swap, two edges \((a,b)\) and \((c,d)\) are rewired to either \((a,c),(b,d)\) or \((a,d),(b,c)\), subject to simple-graph constraints; the equilibrium ensemble is the configuration model on the fixed degree sequence. In the single edge replacement dynamic, one existing edge is deleted and replaced by a random non-edge; this preserves \(L\) but not node degrees, and converges to the Erdős–Rényi ensemble with fixed \(N\) and \(L\). Time is normalized as \(t_{\mathrm{ER}}=r_{\mathrm{ER}}/L\) and \(t_{\mathrm{CM}}=2r_{\mathrm{CM}}/L\), so \(t=1\) means that, on average, each edge has been modified once. Complete relaxation is the limit \(t\to\infty\), equivalently \(C(t)\to 0\), where \(q_0(\infty)=1\) and clustering becomes asymptotically negligible [1708.07739].

The central observables are the degree distribution \(p_k(t)\), the edge-multiplicity distribution \(q_m(t)\), and the clustering coefficient
\[
C=\frac{\langle k\rangle \langle m\rangle}{\langle k^2\rangle-\langle k\rangle}.
\]
A mean-field treatment yields
\[
\frac{d\langle m\rangle}{dt}=-3\langle m\rangle,\qquad
\langle m\rangle(t)=(\langle k\rangle-1)e^{-3t},
\]
for both rewiring schemes. Under double-edge swaps, the degree distribution is invariant, so
\[
C_{\mathrm{CM}}(t)=e^{-3t}.
\]
Under single edge replacement, the degree distribution evolves toward Poisson with mean \(\langle k\rangle\), with
\[
\langle k^2\rangle(t)=\langle k\rangle\big[\langle k\rangle+1-e^{-4t/\langle k\rangle}\big],
\]
and
\[
C_{\mathrm{ER}}(t)=\frac{(\langle k\rangle-1)e^{-3t}}{\langle k\rangle-e^{-4t/\langle k\rangle}}.
\]
At large \(t\), \(C_{\mathrm{ER}}(t)\sim [(\langle k\rangle-1)/\langle k\rangle]e^{-3t}\) [1708.07739].

A further result is a continuous phase transition in connectivity. Starting from disjoint cliques, a giant connected component appears when the average number of external edges between initial cliques exceeds one. The critical normalized times are
\[
t^c_{\mathrm{CM}}=\frac{2}{\langle k\rangle(\langle k\rangle+1)},\qquad
t^c_{\mathrm{ER}}=\frac{1}{\langle k\rangle(\langle k\rangle+1)}.
\]
For ER replacement, a revised estimate accounting for repeated rewiring of the same edge is
\[
t^r_{\mathrm{ER}}=-\log(1-t^c_{\mathrm{ER}}).
\]
Thus complete edge relaxation is not merely triangle destruction: it is a time-resolved randomization process with analytically tractable trajectories for clustering, multiplicity, degree heterogeneity, and percolation onset [1708.07739].

## 2. Non-adaptive shortest-path relaxation as repeated full edge passes

In algorithmic graph theory, complete edge relaxation is not a formal term of art in the source paper, but it corresponds to the regime in which one repeatedly relaxes all edges in a fixed order. The model is single-source shortest paths on a directed graph \(G=(V,E)\) with source \(s\), tentative distances \(d(\cdot)\), and edge relaxations
\[
d(v)\leftarrow \min\{d(v),\,d(u)+w(u,v)\}.
\]
The relevant class is non-adaptive relaxation algorithms, where the sequence of relaxed edges is determined only by the graph structure and not by weights or prior outcomes. Bellman–Ford in round-robin form is the canonical example: it performs \(n-1\) rounds, each a complete pass over \(E\) in the same order [2305.09230].

The main contribution is a set of lower bounds showing that this repeated full-pass strategy is, in the non-adaptive model, essentially optimal. On complete directed graphs with \(n\) vertices, any deterministic non-adaptive relaxation algorithm must perform at least \((1/6-o(1))n^3\) relaxation steps, and any randomized non-adaptive algorithm that succeeds with high probability must perform at least \((1/12-o(1))n^3\) steps. Since non-adaptive Bellman–Ford uses \(O(nm)=O(n^3)\) relaxations on dense graphs, it is optimal up to constant factors there [2305.09230].

For general \(m\) and \(n\) with \(n\le m\le 2\binom{n}{2}\), there exists a directed graph on \(m\) edges and \(n\) vertices requiring \(\Omega(mn/\log n)\) relaxations for any deterministic or high-probability randomized non-adaptive algorithm. When \(m=\Omega(n^{1+\varepsilon})\), this improves to \(\Omega(mn)\). These bounds hold even when all edge weights are \(0\) and \(1\). Interpreted in terms of complete edge passes, they imply \(\Omega(n)\) rounds on complete graphs and \(\Omega(n/\log n)\) rounds on sparse graphs, so the \(n-1\) passes of Bellman–Ford are near-optimal even away from dense regimes [2305.09230].

The proof architecture is adversarial. For complete graphs, the shortest-path structure is forced to be a single directed path, and correctness requires the schedule to contain path edges in a sufficiently constrained order. Deterministic bounds are obtained via a telescoping estimate
\[
s_i-s_{i-2}\ge (n-i+1)^2,\qquad
\sum_{i=2,4,6,\dots}(s_i-s_{i-2})\ge \frac{n^3-n}{6},
\]
while randomized bounds use Yao’s principle together with a random permutation path distribution. For incomplete graphs, the construction separates “even-position” edges, which generate many choices, from “odd-position” connectors realized through rearrangeable non-blocking networks [2305.09230].

This usage differs sharply from the network-randomization meaning above. Here, relaxation does not mean stochastic rewiring toward an ensemble; it means deterministic or randomized propagation of shortest-path labels through exhaustive edge scans. The shared phrase marks completeness of the edge schedule, not equilibration of graph structure.

## 3. Complete Edge Relaxation in binary polynomial optimization

In binary polynomial optimization, Complete Edge Relaxation is a named object: an extended formulation for the multilinear polytope associated with a hypergraph \(G=(V,E)\). With binary variables \(x\in\{0,1\}^n\) and monomial variables \(y_S=\prod_{i\in S}x_i\) for \(S\in E\), the multilinear polytope is
\[
M(H):=\operatorname{conv}\{(x,y)\in \{0,1\}^n\times \mathbb{R}^E:\ y_S=\prod_{i\in S}x_i,\ \forall S\in E\}.
\]
The standard linearization imposes, independently for each monomial, the usual upper and lower envelope inequalities; Complete Edge Relaxation strengthens this by enforcing the exact local convex hull on every maximal hyperedge and sharing subedge variables globally across overlaps [2507.12831].

Let \(E_{\max}\) denote the maximal hyperedges and let \(\operatorname{cl}(E)\) be the family of all subedges of original edges of size at least \(2\). For each \(e\in E_{\max}\), CER works in the space \(\mathbb{R}^{V\cup \operatorname{cl}(E)}\) and imposes the Sherali–Adams RLT inequalities
\[
\psi(U,e):=
\sum_{\substack{W\subseteq U\\ |W|\ \mathrm{even}}}
z_{(e\setminus U)\cup W}
-
\sum_{\substack{W\subseteq U\\ |W|\ \mathrm{odd}}}
z_{(e\setminus U)\cup W}
\ge 0,
\qquad z_\emptyset:=1,
\]
for all \(U\subseteq e\). The resulting relaxation is
\[
\mathrm{CER}(G):=\{z\in \mathbb{R}^{V\cup \operatorname{cl}(E)}:\ \psi(U,e)\ge 0,\ \forall e\in E_{\max},\ \forall U\subseteq e\}.
\]
Geometrically, this is “complete on each maximal hyperedge”: within every \(e\), all monomials supported on \(e\) are described by the full convex hull, and consistency across different maximal edges is enforced by shared subedge variables [2507.12831].

Its principal exactness theorem is structural. CER is an extension of the multilinear polytope if and only if the hypergraph is alpha-acyclic. The relevant characterization is the running-intersection property: the maximal hyperedges can be ordered \(e_1,\dots,e_m\) so that for every \(k\ge 2\) there exists \(j<k\) with
\[
e_k\cap \Big(\bigcup_{i<k} e_i\Big)\subseteq e_j.
\]
This is substantially more general than the exactness condition for the standard linearization, which holds if and only if the hypergraph is Berge-acyclic. The contrast is explicit: CER is exact for the most general standard acyclicity notion used here, whereas standard linearization is exact only for the most restrictive one [2507.12831].

The relaxation is also strictly stronger than several established alternatives. It dominates the standard linearization, implies the flower relaxation, and is stronger than the intersection of all recursive McCormick relaxations. For alpha-cycles of length three, the framework yields new facet-defining inequalities generalizing the triangle inequalities of the Boolean quadric polytope. If \(e_1,e_2,e_3\) form such a cycle, one family is
\[
z_{e_1}+z_{e_2}\le z_{e_1\cap e_2}+z_{e_3},
\]
together with its cyclic permutations and a fourth inequality
\[
z_{e_1\cap e_2}+z_{e_1\cap e_3}+z_{e_2\cap e_3}
-z_{e_1}-z_{e_2}-z_{e_3}
\le z_{e_1\cap e_2\cap e_3},
\]
plus all switchings. In the quadratic case these reduce exactly to Padberg’s classical triangle inequalities [2507.12831].

Because each maximal hyperedge contributes \(2^{|e|}\) inequalities, CER has size \(O(2^r|E_{\max}|)\) when the rank \(r=\max_{e\in E}|e|\) is bounded. The paper reports that for degree \(3\)–\(5\) instances from image restoration and error-correcting codes, optimizing over CER is efficient and often produces binary solutions. Here complete edge relaxation is therefore neither dynamic nor thermal: it is a polyhedral completion of all edge-local convex structure.

## 4. Quantum Hall edge relaxation as full energy equilibration

In quantum Hall physics, complete edge relaxation refers to the spatial progression of a non-equilibrium edge-state energy distribution toward a fully equilibrated downstream state. The precise mechanism depends on the microscopic model. In the bosonization framework for an integer quantum Hall edge capacitively coupled to a linear external circuit, a single-electron excitation propagates through an interaction region where edge magnetoplasmons scatter into circuit photons. The high-frequency admittance is
\[
g(\omega)=\frac{e^2}{h}\Big(1-t(\omega)e^{i\omega l/v_F}\Big),
\]
with \(t(\omega)\) the edge plasmon transmission amplitude. Decoherence and energy relaxation are controlled by the same scattering data: extrinsic decoherence from photon emission is
\[
\mathcal{D}_{\mathrm{ext}}(\Delta y)=
\exp\left[
\int_0^\infty \frac{d\omega}{\omega}\,|r(\omega)|^2\big(e^{-i\omega \Delta y/v_F}-1\big)
\right].
\]
Complete relaxation corresponds to strong suppression of the single-electron coherence and vanishing quasiparticle peak weight \(Z(k_0)\) in the outgoing momentum distribution [0907.2996].

At filling factor \(\nu=2\), non-equilibrium bosonization yields a different hierarchy of regimes after a quantum point contact creates an initial double-step distribution. At short distances, non-Gaussian current noise produces an asymmetric distribution whose derivative is a Lorentzian with width
\[
\Gamma_{\mathrm{ng}}=\frac{2T\Delta\mu}{\pi}.
\]
At intermediate distances, dispersion-induced overlap suppresses higher cumulants, and the derivative becomes a symmetric Lorentzian centered at \(\langle \Delta\mu\rangle=T\Delta\mu\) with width
\[
\Gamma_{\mathrm{g}}=\frac{\pi T\Delta\mu}{2}.
\]
At long distances, weak non-integrable processes drive a Fermi-like local equilibrium with width
\[
\Gamma_{\mathrm{eq}}=\sqrt{\frac{3T}{2\pi^2}\,\Delta\mu}.
\]
In this formulation, complete edge relaxation is the eventual arrival at the Fermi-Dirac regime after the non-Gaussian and Gaussian bosonic stages [1111.3560].

Other models emphasize microscopic scattering channels. In clean, translationally invariant integer quantum Hall edges, two-body collisions are kinematically ineffective, so hot-electron relaxation proceeds through three-body collisions. Edge reconstruction qualitatively alters the rates: spin reconstruction enhances the velocity mismatch between branches, while charge reconstruction introduces counter-propagating modes and allows relaxation even at \(T=0\). The characteristic relaxation length is \(L_{\mathrm{rel}}\approx v_1\tau_E\), and complete edge relaxation means \(L_{\mathrm{edge}}\gg L_{\mathrm{rel}}\), so that downstream distributions are close to stationary or thermal forms [1206.0261].

When translational invariance is weakly broken by disorder, non-momentum-conserving two-particle collisions between co-propagating edge states produce a kinetic description that reduces, in the small-\(\Delta E\) regime, to coupled Fokker–Planck equations. The injected high-energy peak drifts downward in energy with velocity
\[
\eta=\frac{\sqrt{\pi}}{4}\,\gamma(\Delta E)^3,
\]
broadens diffusively, and heats the coupled edge states. Full relaxation occurs around
\[
\ell_{\mathrm{fp}}=\frac{E_0-\mu_o}{\eta},
\]
after which both channels approach equal-temperature Fermi functions with
\[
\mu_i^\infty=\mu_i,\qquad
\mu_o^\infty=\mu_o+\frac{N_b}{\rho_o},
\]
and
\[
T_\infty=
\sqrt{
T^2+\frac{3}{\pi^2}\frac{N_b}{\rho_o}
\left[(E_0-\mu_o)-\frac{1}{2}\frac{N_b}{\rho_o}\right]
}.
\]
This formulation makes complete edge relaxation a controlled kinetic limit governed by drift, diffusion, and conservation laws [1602.05039].

## 5. Experimental criteria for completeness in quantum Hall edges

Experiments operationalize complete edge relaxation by measuring when a downstream probe sees a single equilibrated distribution rather than a multi-step or overheated one. A QPC-based local-voltage spectroscopy experiment at \(\nu=4\), \(B=4.05\,\mathrm{T}\), and \(T\approx 2\,\mathrm{K}\) distinguishes two mechanisms. In a tunneling-relaxation configuration, the slope \(dV_n/dV_1\) remains approximately \(0.48\) from \(1.0\) to \(30.0\,\mu\mathrm{m}\), implying an inter-edge tunneling relaxation length \(l_t\gg 30\,\mu\mathrm{m}\). In an exchange-only configuration, the same observable decays exponentially with relaxation length \(l_e=3\pm 1\,\mu\mathrm{m}\). For hotspot relaxation generated by large bias across the injector QPC, the extracted length is \(l_h=2\pm 1\,\mu\mathrm{m}\). In that setting, near-complete equilibration by exchange occurs within several microns, whereas tunneling alone remains ineffective on tens of microns [1304.7566].

A later experiment uses partitioned thermal noise to define a quantitative relaxation parameter \(\Theta\). Edge modes are emitted from a heated floating reservoir at temperature \(T_m\), and a downstream QPC measures local effective temperature through the excess partition noise
\[
\Delta S(R)=2k_B G_H\,[R^2+2\Theta R(1-R)]\,(T_m-T_0)
\]
for the single-mode case. Here \(T_0\) is the bath temperature, \(\Theta=1\) corresponds to no relaxation, and \(\Theta=0\) corresponds to complete relaxation to the bath, \(T_{\mathrm{loc}}=T_0\). A deliberately inserted massive floating contact provides an experimental realization of the \(\Theta=0\) limit [2006.16016].

The measured relaxation strength depends strongly on the edge phase. At \(T_0=15\,\mathrm{mK}\), particle-like states show mild relaxation over \(20\,\mu\mathrm{m}\) and clearer relaxation over \(140\,\mu\mathrm{m}\): for \(\nu=2\), \(\Theta\approx 0.89\) at \(20\,\mu\mathrm{m}\) and \(\Theta\approx 0.57\) at \(140\,\mu\mathrm{m}\); for \(\nu=1/3\), the corresponding values are \(\approx 0.90\) and \(\approx 0.49\). By contrast, the hole-conjugate state \(\nu=2/3\) relaxes much faster, with \(\Theta\approx 0.63\) at \(20\,\mu\mathrm{m}\) and \(\Theta\approx 0.24\) at \(140\,\mu\mathrm{m}\), consistent with strong equilibration mediated by counter-propagating neutral modes. Raising the base temperature to \(50\,\mathrm{mK}\) causes severe relaxation already at \(20\,\mu\mathrm{m}\) for all tested states [2006.16016].

These experiments sharpen the meaning of “complete.” In quantum Hall devices it is not enough for energy to be redistributed internally; complete edge relaxation is reached only when the local downstream probe is consistent with the fully relaxed benchmark, either a single equilibrated Fermi function in the spectroscopy-based language or \(\Theta\approx 0\) in the partition-noise language.

## 6. Comparative structure and sources of ambiguity

The phrase “complete edge relaxation” therefore spans three kinds of completeness. In stochastic network dynamics, completeness is asymptotic ensemble convergence under repeated local rewiring, with observables such as \(C(t)\), \(q_m(t)\), and giant-component onset [1708.07739]. In non-adaptive shortest-path algorithms, completeness is exhaustive coverage of the edge set in repeated passes, with complexity measured by total relaxation steps or rounds [2305.09230]. In binary polynomial optimization, completeness means enforcing the full convex hull on each maximal hyperedge in an extended formulation, with exactness characterized by alpha-acyclicity [2507.12831]. In quantum Hall physics, completeness is thermodynamic or kinetic: loss of quasiparticle character, equilibration of edge-state distributions, or cooling to the bath temperature depending on the model and observable [0907.2996] [1111.3560] [1206.0261] [1602.05039] [1304.7566] [2006.16016].

A recurrent misconception is to treat these usages as interchangeable because they share the words “edge” and “relaxation.” They do not. The “edge” may be an edge of a graph, a hyperedge, an edge channel in a quantum Hall system, or an edge in the sense of an algorithmic adjacency. The “relaxation” may mean Markov-chain randomization, Bellman–Ford label correction, LP relaxation, or non-equilibrium thermalization. Only the binary polynomial formulation uses Complete Edge Relaxation as a formal capitalized name; the shortest-path and quantum Hall usages are descriptive or interpretive extensions of terminology present in the cited works [2507.12831] [2305.09230].

What remains common is methodological rather than semantic. Each literature studies what happens when edge-level structure is treated exhaustively rather than approximately: triangles are destroyed until clustering vanishes; shortest-path labels are propagated by complete scans until exact distances are forced; local hyperedge convex hulls are imposed until the relaxation matches the multilinear polytope on alpha-acyclic instances; and edge-channel excitations evolve until only an equilibrated state remains. That family resemblance is real, but it is an analogy across domains rather than a single unified definition.

Source: https://www.emergentmind.com/topics/complete-edge-relaxation