Mass amplification outline and methodological claims

PDF p. 4: Discussion preceding Section 1.1; PDF p. 5: Section 1.1 and footnote 5; PDF p. 6: Section 1.1

In the authors' outline, each vertex contributes one unit of mass at its phase on the unit circle. They begin with a half-circle of least mass. If it is empty, the half-circle argument leads to full synchronization under its hypotheses. Otherwise they enlarge the arc: an amplification step adds an angular increment $\delta$ while multiplying the enclosed mass by a factor $1+f(\delta )$. Their intended iteration obtains an arc containing most of the mass without moving too far from the original half-circle; together with stability conditions, this contradicts the original choice of a least-mass half-circle. The authors therefore describe the initial half-circle as empty in the setting of their argument.

For the precise half-circle application below, assume countable choice. Let $G=(V,E)$ be a finite connected undirected graph with nonempty vertex set, allowing self-loops, and let $A$ be its symmetric binary adjacency matrix: $A_{x,y}=1$ exactly when $x$ and $y$ are joined by an edge, including $x=y$ for a self-loop, and $A_{x,y}=0$ otherwise. Connected means that any two vertices are joined by a finite path of edges. A phase state is a point $\theta \in T_V={\mathbb{R}}^V\mathrm{/}(2\pi \mathbb{Z}{)}^V$, so each phase is a real angle modulo $2\pi$.

The graph Kuramoto energy on this phase space is ${\mathcal{E}}_G(\theta )=\frac{1}{2}{\sum }_{x,y\in V}{A}_{x,y}(1-\cos ({\theta }_x-{\theta }_y))$, evaluated using any real lifts. A stable state is a local minimum of this energy on $T_V$; fully synchronized means all vertex phases agree modulo $2\pi$. The first Daido order parameter is ${\rho }_1(\theta )=\mathrm{\mid }V{\mathrm{\mid }}^{-1}{\sum }_{x\in V}{e}^{i{\theta }_x}$. For the half-circle application below, assume that $\theta$ is a stable state, that ${\rho }_1(\theta )\in [0,1]$, and that its principal representatives satisfy ${\theta }_x\in (-\pi \mathrm{/}2,\pi \mathrm{/}2)$ for every $x\in V$; under these hypotheses every representative is zero.

For a precise phase-set convention used in the detailed argument, ${\mathcal{C}}_{\psi }=\{x\in V:\mathrm{\mid }{\theta }_x\mathrm{\mid }\ge \psi \}$ for $0\le \psi \le \pi$, with principal representatives ${\theta }_x\in (-\pi ,\pi ]$.

The authors state that their new kernel stability condition supplies improved amplification steps and that, without that improvement, their method would not reach $p=C\log n\mathrm{/}n$ even for an arbitrarily large fixed constant $C$. They also state that their one-sided expansion control would not yield their global-synchronization result for $p<2.58\log n\mathrm{/}n$. Here $G(n,p)$ is the random simple graph on $n$ labelled vertices in which each possible edge is included independently with probability $p$. These are attributed claims about the authors' method, not impossibility statements about every possible proof. They compare the technique with density-increment arguments and suggest possible adaptation beyond synchronization; this suggestion is not a proved extension.

The following conditional calculation isolates the elementary growth mechanism without asserting that a particular graph supplies its hypotheses. If $q>1$, $M>0$, $0<a_0<M$, and positive masses satisfy $a_{j+1}\ge \min \{q{a}_j,M\}$, then some $a_j$ reaches $M$ in at most $\lceil \log (M\mathrm{/}{a}_0)\mathrm{/}\log q\rceil$ steps.

Erdős–Rényi random graph and high probability

Phase tail sets for amplification

Half-circle lemma — Lemma 2.9

Geometric growth, truncation and total decrement budgets

The Axiom of Countable Choice (AC_ω)

Equilibria, stable states, synchronized states, and spurious minima

Homogeneous Kuramoto energy

Daido order parameters

The methodological outline, the limitations claimed for the authors' method, and the density-increment comparison are attributed to the cited article, PDF pages 4–6. The conditional calculation and the half-circle application use the stated mathematical suppliers; the article is not used as their proof.