Symmetry breaking from conformality loss on holographic R\'enyi defects

Siqing Yu

REVIEW

Symmetry breaking from conformality loss on holographic R\'enyi defects

Siqing Yu

High Energy Physics - Theory · Submitted 2 Nov 2026

Pith's verdict: Proves the endpoint of the Rényi defect beyond n* in the Bogomolny model; the generic claim is argued, not proven, but the author says so — worth a serious referee.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on November 3, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 3 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2611.03413 (version 2)

Pith IDZVGVF7ZF, Pith's permanent record of this paper and its review

CitationSiqing Yu. "Symmetry breaking from conformality loss on holographic R\'enyi defects." arXiv:2611.03413 (2026). https://pith.science/paper/ZVGVF7ZF

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Bottom line: this answers the question Belin–Maloney–Matsuura left open — where the holographic Rényi defect goes past the normalizable instability at n* — in a specific model, and the key step is proven, not just computed. The proposition in §4.4 establishes existence, uniqueness, stability and the endpoint of the source-free flow on a large sphere in the Bogomolny Abelian Higgs model, with a Brezis–Oswald argument on a cutoff ball, and the universal Rényi term follows. The π/ν layer law is derived and confirmed by two independent sets of numerics; the separate computation whose solvers were fixed before comparison is exactly the sort of control this kind of claim needs. The closed-form defect data for D_SB (one-point coefficient, b-anomaly change with the right sign for the defect b-theorem, tilt normalization) are clean.

The soft spots are real, and for the most part the author names them. The genericity argument in §5.3 is exactly that — an argument, not a proof — and §5.4 shows an attractive quartic can order below n*, with the author conceding the endpoint must be checked case by case. So the headline statement that beyond n* the defect flows without a source to a U(1)-breaking conformal defect is proven in one model and argued elsewhere; the abstract qualifies it, but only after stating it. The same applies to first-order backreaction persistence: the merger not moving at any order is a clean argument, while the flow persistence has an admitted gap (metric boundary conditions at the cutoff, no zero-mode control). The dependence on the companion preprint [33] for the closed-form saddles and grand potential is worth flagging since those inputs are not independently verified, but it is not circularity — the variational proof and the flow construction stand on their own, and the paper rechecks key numbers such as n* independently.

Net: the model-specific mechanism holds up, the generic extension is a genuine conjecture, and the text mostly distinguishes the two. A serious editor should send this to peer review; I would. For people working on defect CFT or holographic entanglement it is a good reading-group paper.

What would settle it

Two concrete checks would settle the claim's reach. First, solve the coupled Einstein–scalar problem on a large sphere with a symmetric cutoff and no source at a few indices just above $n_*$ (say $n = 7$ and $8$): if the interior limit of the flow is not the backreacted homogeneous saddle, or if a source-free solution already exists at $n_*$ itself, the transition index and the claimed universal term are wrong. Second, for a probe scalar with $1 < \Delta < 3$ and a repulsive potential, compute the large-sphere flow numerically and test whether its endpoint is spatially homogeneous on $H^3$; the paper itself exhibits the attractive-quartic case where this expectation fails, so the homogeneous-endpoint assumption is the part to attack.

Referee report

Significance

If it stands, the model-specific proposition is a valuable and clean result: it gives an explicit, proven endpoint for the holographic Rényi defect beyond conformality loss, constructs the long-sought homogeneous hairy defect as a conformal defect, and derives the universal Rényi term from that endpoint. The paper is unusually careful about verification: the sphere proof is a genuine variational argument, the wall-law fits and the coefficient of 1/ν are checked by multiple independent numerical methods, and the separate computation that fixes its solvers before comparison substantially strengthens the numerics. The closed-form defect data and the b-theorem consistency checks are also concrete strengths. The main limitation is that the generic mechanism beyond the soluble Bogomolny model rests on an unproved endpoint assumption, and Section 5.4 gives an explicit bounded-below potential where the transition occurs below n*, so the broad formulation of the mechanism in the abstract needs qualification.

Major objections (3)

[§5.3, Table 1, §5.4] The genericity step that carries the abstract's statement 'Beyond n* it flows with no source to a symmetry-breaking conformal defect' is not established. Section 5.3 argues from monotonicity of H(s), existence of a minimizer on each cutoff ball, and uniqueness only when V'(ρ)/ρ is increasing; monotonicity plus boundedness of H(s) does not imply convergence to an s-independent homogeneous saddle in this infinite-dimensional problem, and the limit ζ_max→∞ is not controlled by the finite-ball minimization alone. Section 5.4 then shows that for an attractive quartic stabilized by a sextic (c3=-1/2, c5=1/10) the numerically well-controlled transition occurs at n_c≈6.571, below n*, with a power-law rather than exponential divergence. Thus bounded-belowness of the potential is not sufficient for the 'beyond n*' location of the transition, a point the text itself makes in the last bullet of §5.3. I do not dispute the Proposition of §4.4 for the Bogomolny model, but either the general claim must be proved under explicit hypotheses (for example monotone V'(ρ)/ρ and no source-free flow at n*) or the abstract and §4.2 must be substantially qualified so that the conditional character of the genericity statement is not lost. The authors acknowledge this: “Otherwise the endpoint is still a stable homogeneous saddle, but which one, and where the transition lies, must be checked case by case (section 5.4).”
[§2.1, §3, §4.4 (dependence on [33])] The central model-specific proof is not self-contained: the closed-form saddle, the critical chemical potential, the grand potential and the normalization conventions used in the Proposition of §4.4 are taken from [33] (arXiv:2610.40371), which is an unpublished companion preprint. Because eqs. (2.2), (3.1)–(3.6) and the onset n*≈6.58 are quoted rather than derived here, a referee cannot verify the model input of the main proof from this manuscript alone. Please either cite a published version of [33] or include a self-contained appendix stating and proving the required saddle and grand-potential formulas (or at least the exact statements being imported), so that the model's central claims are checkable.
[§6.2] The first-order backreaction statement that the source-free flow persists away from n* is explicitly an argument, not a proof: Section 6.2 notes that the implicit function theorem needs boundary conditions for the metric at the cutoff, which are not specified, and a proof of absence of static zero modes, which is not supplied. Since the abstract itself says 'we argue that away from n* the flows persist at first order', this is not an unacknowledged gap, but it should be presented as an open point in the main text rather than as part of the paper's established results, and the wording 'if the source-free flow still ends at D_SB at first order' should be retained prominently. The authors acknowledge this: “This needs boundary conditions for the metric at the cutoff, which we do not specify, and no zero mode of its static perturbations, which we have not shown.”

Minor objections (3)

[§4.2 and Appendix D] The separate computation is a genuine strength: fixing its solvers before comparing with the main methods is a good control. It would help the reader if the statement 'the solvers were fixed before comparison' were moved into the main text, not only to Appendix D.
[§4.3] The π/ν law and the cutoff dependence of c0 are clearly presented, but the statement that 'the coefficient of 1/ν is π' is ultimately a numerical fit at finite ν, with the paper's own walls reaching only ν≈0.157 in Table 4. The separate computation reaching ν=0.013 is strong, but the claim should consistently be described as numerically confirmed in the model rather than as a general analytic law.
[§6.3] The finite-N discussion combines the Cuomo–Zhang logarithmic class with the large-N tilt normalization. The paper correctly says that corrections of order 1/N themselves are not computed, but it might state more explicitly that the identification of the long-distance behavior of the Rényi defect with the logarithmic class presupposes the (generically unproved) endpoint assumption of §5.3.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Past a critical Rényi index, this paper argues, the Rényi defect loses conformality and flows by itself to a U(1)-breaking conformal defect — the breaking becomes spontaneous at large $N$ instead of needing a pinning field.

The reading

This paper claims that the conformal defect that computes Rényi entropies — the Rényi defect — cannot remain conformal past a critical index $n_* \approx 6.58$, where its lowest charged operator merges with its alternate-quantization partner and acquires a complex dimension $\hat\Delta = 1 \pm i\nu$. Beyond $n_*$, at large $N$, the defect flows with no source to a conformal defect that breaks the U(1): the symmetry breaking that a pinning field must impose below $n_*$ becomes spontaneous above it. The scalar hair that forms in the broken phase does not destroy the homogeneity that conformal invariance demands — it sits in a thin layer at the entangling surface, of width set by a Berezinskii–Kosterlitz–Thouless scale $\exp(\pi/\nu)$ — so the universal term of the sphere Rényi entropy, the coefficient of $\ln(R/\delta)$, is that of the symmetry-breaking defect and jumps at $n_*$. The result is a sharp, computable prediction from a general principle: past its instability, a holographic Rényi defect orders on its own, and the universal Rényi entropy records the jump. The mechanism is proved in a model in closed form, the probe Abelian Higgs theory in AdS$_5$ at the Bogomolny point, and argued to hold for any scalar dimension in the window $1 < \Delta < 3$.

What carries the argument

Three linked objects carry the argument. The conformal-frame dictionary: on $S^1 \times H^3$ a mode of the hyperbolic black hole is a defect primary whose dimension follows from $\hat\Delta(\hat\Delta-2) = -\eta$, so a condensate that is constant on $H^3$ is precisely a one-point function $\langle O\rangle = a_O/r^{\Delta}$ at the entangling surface, and the object $D_{\rm SB}$ is this homogeneous saddle read as a conformal defect. The merger: at $n_*$ the largest eigenvalue $\eta_0(n)$ of the radial operator hits $\eta = 1$, the bottom of the $L^2$ spectrum on $H^3$ and the defect analog of the Breitenlohner–Freedman bound, and beyond it the two dimensions are complex; this is conformality loss of BKT type, with crossover scale $z_*/\delta \propto \exp(\pi/\nu)$. The variational proposition on the sphere: a change of variables turns the degenerate radial operator into a uniformly elliptic operator on a two-sphere, so the Brezis–Oswald argument for sublinear elliptic equations yields existence and uniqueness of the positive source-free solution once $\nu > \pi/\ln(2R/\delta)$, its minimization of the action, and its exponential approach to the homogeneous saddle in the interior at a rate set by the leading irrelevant operator of $D_{\rm SB}$.

Extended reading notes

Core claim

The central claim, in the paper's own terms, is that beyond the merger index $n_*$ the normal-phase Rényi defect $D_0$ is not a consistent conformal defect at large $N$: its charged operator has dimension $1 \pm i\nu$, which no unitary conformal defect can have. The defect therefore flows with no source at the entangling surface to the symmetry-breaking conformal defect $D_{\rm SB}$ described by a homogeneous hairy hyperbolic black hole, and the U(1) breaking is spontaneous rather than imposed by a pinning field. The scalar hair is confined to a boundary layer whose width is set by the exponential scale $z_*/\delta \propto \exp(\pi/\nu)$, so outside the layer the saddle is homogeneous on hyperbolic space, exactly as conformal symmetry requires, and the universal term of the Rényi entropy of a sphere — the coefficient of $\ln(2R/\delta)$ — is that of $D_{\rm SB}$, jumping discontinuously at $n_*$. The sharp statement is a proposition: on a large enough sphere a positive source-free flow exists exactly for $n > n_*$, is then unique, minimizes the probe action, and ends at $D_{\rm SB}$ in the interior; for $n \le n_*$ no such flow exists and reaching $D_{\rm SB}$ requires a symmetry-breaking source. The same mechanism places even the second Rényi entropy past the merger when the scalar dimension is below $\Delta \approx 1.438$.

Load-bearing premise

The load-bearing premise is that what is proved in the exactly solvable model — a source-free flow that ends on a homogeneous, symmetry-breaking saddle — is what happens in any holographic CFT whose scalar has dimension $1 < \Delta < 3$ and a potential bounded below; this endpoint is argued from a gradient-flow and minimizer picture rather than proved, and if it fails, the universal Rényi term would not be the homogeneous one and the transition could sit at a different index.

Editorial extensions

If this is right

The universal term of the sphere Rényi entropy jumps at $n_*$: in the model it goes from zero to about $1.85\,N\ln(2R/\delta)$, and the conformal weight of the Rényi defect jumps by about $0.70\,N$.
For operators with dimension $\Delta < 1.438$, even the second Rényi entropy lies beyond the merger, so its universal term is already that of the symmetry-breaking saddle.
The merger index $n_*$ is not moved by classical backreaction at any order, and away from $n_*$ the source-free flows persist at first order in the backreaction parameter.
At finite $N$ the U(1) cannot stay spontaneously broken on a surface defect: the order parameter decays logarithmically along the defect with an exponent of order $1/N$.
With an attractive quartic coupling stabilized by a sextic, symmetry breaks before conformality is lost, at an index $n_c < n_*$, with a power-law rather than exponential crossover scale.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: the paper effectively proposes a general criterion — in a large-$N$ CFT, once the Rényi defect's charged operator crosses the defect Breitenlohner–Freedman bound, ordering past the crossing is the generic fate; the double-trace merger structure shared with the O(N) model suggests this is a field-theoretic phenomenon, not an artifact of the holographic model.
Editorial inference: the layer-width law $z_*/\delta \propto \exp(\pi/\nu)$ and the finite-size shift of the transition index, $n_{\rm trans} \approx n_* + [\pi/(0.173\ln(R/\delta))]^2$, are concrete predictions for how the jump in the universal Rényi term is rounded on spheres of finite radius, and could be tested in Monte Carlo studies of Rényi defects at large $N$.
Editorial inference: the paper leaves the instability of the large-$N$ O(N) Rényi defect (which sets in at $n=1$ for $\Delta = 1/2$ in three dimensions) as an unverified identification with a merger; if that identification survives, spontaneous ordering of the low Rényi entropies would be generic rather than limited to $\Delta < 1.438$.

Original abstract

The R\'enyi entropies of a ball are computed by the R\'enyi defect (the twist operator viewed as a conformal defect), which in holography is dual to a hyperbolic black hole. We identify hyperbolic black holes with homogeneous charged scalar hair as conformal defects that break the U(1) symmetry. At large $N$ and for repulsive self-interactions, conformality loss of the R\'enyi defect turns explicit symmetry breaking into spontaneous breaking: below a critical index $n_*$ the symmetry-breaking defect is reached only with an explicit source on the entangling surface; at $n_*$ the dimension of a defect operator from a light charged scalar turns complex; beyond $n_*$ the R\'enyi defect flows to the symmetry-breaking defect with no source. The condensate, expected to break the symmetries of hyperbolic space, instead preserves them outside a layer at the entangling surface, whose width diverges at $n_*$ with Berezinskii-Kosterlitz-Thouless scaling. The universal term of the R\'enyi entropy therefore jumps at $n_*$ to that of the symmetry-breaking defect. We demonstrate this mechanism in the probe Abelian Higgs model in AdS$_5$ at the Bogomolny point, with closed-form saddles and defect data, and numerical flows. For a ball we prove that a positive source-free flow exists exactly when $n>n_*$ and the radius is large enough, and that it ends at the symmetry-breaking defect as the radius grows.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-11-04: 1 request, 7,711 input tokens.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.66 · human participants 0.01 · controlled comparison 0.04 · randomized assignment 0.01 · states quantitative result 0.25 · compares with prior results 0.14 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

The R\'enyi entropies of a ball are computed by a conformal defect, the R\'enyi defect, dual in holography to a hyperbolic black hole. At an index $n_*$ its charged operator merges with its alternate-quantization partner, and the defect loses conformality. Beyond $n_*$ it flows with no source to a conformal defect that breaks the U(1) symmetry; below $n_*$ that defect needs a symmetry-breaking source, so at large $N$, conformality loss makes the breaking spontaneous. The scalar hair beyond $n_*$, expected to break the symmetries of hyperbolic space, thus preserves them outside a thin layer at the entangling surface, as conformal symmetry requires. The region outside the layer sets the universal term of the R\'enyi entropy. We demonstrate the mechanism in the probe Abelian Higgs model in AdS$_5$ at the Bogomolny point, where the saddles are in closed form and numerical methods confirm the flows. On a sphere we prove that a positive source-free flow exists exactly when $n>n_*$ and the sphere is large enough; it is then unique and ends at the symmetry-breaking defect. The mechanism needs a scalar mass in a finite window, and for potentials attractive at small amplitude, the symmetry can break before conformality is lost. For operators of low enough dimension, already the second R\'enyi entropy lies beyond the merger. Classical backreaction does not move the merger at any order; we argue that away from $n_*$ the flows persist at first order.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	The R\'enyi entropies of a ball are computed by a conformal defect, the R\'enyi defect, dual in holography to a hyperbolic black hole.	background 0.78	0.52	0.07	asserted 1.00
s1	At an index $n_*$ its charged operator merges with its alternate-quantization partner, and the defect loses conformality.	result 0.97	0.61	0.12	asserted 1.00
s2	Beyond $n_$ it flows with no source to a conformal defect that breaks the U(1) symmetry; below $n_$ that defect needs a symmetry-breaking source, so at large $N$, conformality loss makes the breaking spontaneous.	result 0.76	0.74	0.60	asserted 1.00
s3	The scalar hair beyond $n_*$, expected to break the symmetries of hyperbolic space, thus preserves them outside a thin layer at the entangling surface, as conformal symmetry requires.	result 0.57	0.75	0.25	asserted 0.87
s4	The region outside the layer sets the universal term of the R\'enyi entropy.	result 0.79	0.75	0.11	asserted 1.00
s5	We demonstrate the mechanism in the probe Abelian Higgs model in AdS$_5$ at the Bogomolny point, where the saddles are in closed form and numerical methods confirm the flows.	method 0.89	0.94	0.06	asserted 1.00
s6	On a sphere we prove that a positive source-free flow exists exactly when $n>n_*$ and the sphere is large enough; it is then unique and ends at the symmetry-breaking defect.	result 0.88	0.93	0.22	asserted 1.00
s7	The mechanism needs a scalar mass in a finite window, and for potentials attractive at small amplitude, the symmetry can break before conformality is lost.	result 0.85	0.73	0.08	asserted 0.62
s8	For operators of low enough dimension, already the second R\'enyi entropy lies beyond the merger.	result 0.80	0.60	0.06	asserted 0.98
s9	Classical backreaction does not move the merger at any order; we argue that away from $n_*$ the flows persist at first order.	result 0.91	0.79	0.08	asserted 0.73

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.93.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures

**Figure 1.** The lowest defect primaries at µ = 0, of transverse spin k/n. The charged operator of D0 with k = 0 is relevant for 1 < n < n∗ and meets its alternate-quantization partner at ∆ = 1 ˆ at n∗; beyond n∗ its dimension becomes complex. The amplitude operators of DSB are irrelevant. This and all later figures were plotted from the computed data with programs written by Claude Opus 5.5 (Anthropic). for the charged operator of D0 and the amplitude operator of DSB. The ratio of the two slopes, −2, is that of a weakly relevant fixed point with a cubic beta function, in which the infrared…

**Figure 2.** Closed-form data of DSB at µ = 0: the one-point coefficient (3.1), the tilt normalization (3.6) and the change of the anomaly coefficient (3.2). negative universal part of VH3 , through which the lower free energy of the hairy saddle becomes a lower b. That ∆b is quadratic in n − 1 fits a weakly relevant flow with a quartic coupling, for which ∆b ∝ (2 − ∆ˆ +) 2/g, with g the coupling of eq. (2.7). The one-point function of the stress tensor defines the conformal weight hn: near a planar conformal surface defect at index n, ⟨Tab⟩ = −(hn/2π) δab/r4 in the directions along it, at the…

**Figure 3.** Flows from the Rényi defect. (a) Source-free flows (

**Figure 4.** The Rényi defect across n∗ at µ = 0, in the probe sector and at leading order in 1/N . (a) The coefficient of ln(2R/δ) in Sn and the change ∆hn of the conformal weight, with R/δ → ∞ first: zero below n∗, where the Rényi defect is D0, and those of DSB, from eqs. (3.2) and (3.3), beyond it. Dotted: DSB below n∗, reached only with a pinning field. (b) The index at which the transition sits on a ball with finite R/δ, where ν(n) = π/ ln(2R/δ) (solid), and the approximation near n∗ (dashed). exponentially in the distance from the cutoff at every rate below ∆ˆ DSB amp − 2, uniformly in…

**Figure 5.** The Rényi defect with flux. (a) Existence region of the winding hairy saddle (

Figures reproduced from arXiv:2611.03413 by the authors.

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.