pith. sign in

arxiv: 2503.21326 · v1 · submitted 2025-03-27 · 🧮 math-ph · math.MP· math.PR

Operator product expansions of derivative fields in the sine-Gordon model

Alex Karrila , Tuomas Virtanen , Christian Webb This is my paper

Pith reviewed 2026-05-22 23:04 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.PR
keywords sine-Gordon modeloperator product expansionderivative fieldslogarithmic singularitiesWick ordered exponentialsGaussian free fieldOnsager inequalities
0
0 comments X

The pith

Sine-Gordon OPEs of derivative fields develop logarithmic singularities and generate Wick ordered exponentials unlike free-field versions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes explicit forms for the singular parts of operator product expansions involving the derivative fields ∂φ and ∂̄φ in the sine-Gordon model when β is below 4π. It shows these expansions acquire logarithmic singularities and produce additional terms that are Wick ordered exponentials of the field, features absent from the corresponding free-field expansions. The result matters because OPEs determine the short-distance behavior of correlation functions and therefore control the algebraic structure of the theory. The proofs rest on moment bounds derived from Onsager-type inequalities applied to the underlying Gaussian free field. Readers interested in two-dimensional interacting field theories would use these expansions as a starting point for computing observables.

Core claim

We prove that compared to corresponding free field OPEs, the sine-Gordon OPEs develop logarithmic singularities and generate Wick ordered exponentials. Our approach for proving the OPEs relies heavily on Onsager-type inequalities and associated moment bounds for GFF correlation functions involving Wick ordered exponentials of the free field.

What carries the argument

Onsager-type inequalities together with moment bounds on Gaussian free field correlations of Wick ordered exponentials, which control the difference between sine-Gordon and free-field OPE coefficients.

If this is right

  • The singular terms in the OPEs of ∂φ and ∂̄φ are now known explicitly for β < 4π.
  • These OPEs supply the leading interaction corrections needed to evaluate short-distance limits of higher-point functions.
  • The operator product algebra in the sine-Gordon model is strictly larger than its free-field counterpart.
  • The same inequalities can be reused to extract OPEs for other derivative combinations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same moment-bound technique could be adapted to extract OPEs involving higher derivatives or composite operators.
  • Once the OPEs are known, they may allow a bootstrap-style determination of the full set of correlation functions without relying on the underlying Gaussian measure.
  • The appearance of Wick exponentials suggests that the sine-Gordon operator algebra closes under a larger vertex-operator-like structure than the free field.

Load-bearing premise

The moment bounds supplied by Onsager-type inequalities continue to hold for the Wick exponentials that appear in the sine-Gordon correlations.

What would settle it

An explicit four-point function computation in the sine-Gordon model whose short-distance expansion lacks the predicted logarithmic singularity or the Wick exponential term would falsify the OPE claim.

Figures

Figures reproduced from arXiv: 2503.21326 by Alex Karrila, Christian Webb, Tuomas Virtanen.

Figure 3.1
Figure 3.1. Figure 3.1: An illustration of an element of F (13) 2,2 . the relative distances of the points. It turns out that this decomposition is most convenient to describe in terms of suitable graphs associated with nearest neighbor maps. We now define these maps and review the basic facts about them that we need. Given a point configuration x = (x1, ..., xn) ∈ B(0, R) n , we define a function Fx : {1, ..., n} → {1, ..., n}… view at source ↗
Figure 3.2
Figure 3.2. Figure 3.2: An illustration of reorienting the graph in case ii): the original orientation is above, and the reoriented graph is below. the function that takes the vertex i to its neighbor following this flow. We define the new integration variables now as follows: uj = 1 2 (xj − xFe(j) ) for j 6= 1. All of the xj can now be recovered from the ui and x1 by exploring the tree starting from the vertex 1, so again, thi… view at source ↗
Figure 3.3
Figure 3.3. Figure 3.3: A possible graph component arising in case i). 3 6 7 4 5 2 8 1 [PITH_FULL_IMAGE:figures/full_fig_p024_3_3.png] view at source ↗
Figure 3.4
Figure 3.4. Figure 3.4: A possible graph component arising in case iv) a. ii) Consider the case F(1) = 2 and F(2) 6= 1 (the other case is treated similarly). This situation is illustrated in [PITH_FULL_IMAGE:figures/full_fig_p024_3_4.png] view at source ↗
Figure 3.5
Figure 3.5. Figure 3.5: An illustration of the graph in case iv) b. 1 3 2 4 5 6 7 [PITH_FULL_IMAGE:figures/full_fig_p025_3_5.png] view at source ↗
Figure 3.6
Figure 3.6. Figure 3.6: An illustration of the graph in case iv) c. Note that by definition, the distances between neighboring points grow along a (reversed) path from the two-loop to any tree vertex. This means that in our case, |x2 − xF(2)| ≤ |x1 − xF(1)|. This implies that Yn i=1 |xi − xF(i) | − kαk 2 4π ≤ |x2 − xF(2)| − kαk 2 2π Yn i=3 |xi − xF(i) | − kαk 2 4π . The effect of removing the i = 1-term from the product is that… view at source ↗
Figure 3.7
Figure 3.7. Figure 3.7: An illustration of the graph in case iv) d. approach from the proof of Proposition 3.6. This produces a bound of the form C nn kαk 2 8π |x1 − x2| − kαk 2 4π . d. Vertex 2 is not a vertex of the two-loop, and neither vertex lies on the path from the two-loop to the other vertex. See [PITH_FULL_IMAGE:figures/full_fig_p026_3_7.png] view at source ↗
read the original abstract

In this article, we initiate the study of operator product expansions (OPEs) for the sine-Gordon model. For simplicity, we focus on the model below the first threshold of collapse ($\beta<4\pi$) and on the singular terms in OPEs of derivative-type fields $\partial \varphi$ and $\bar\partial\varphi$. We prove that compared to corresponding free field OPEs, the sine-Gordon OPEs develop logarithmic singularities and generate Wick ordered exponentials. Our approach for proving the OPEs relies heavily on Onsager-type inequalities and associated moment bounds for GFF correlation functions involving Wick ordered exponentials of the free field.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript initiates the study of OPEs in the sine-Gordon model for β < 4π, focusing on singular terms in the expansions of derivative fields ∂φ and ∂̄φ. It claims to prove that these OPEs develop logarithmic singularities and generate Wick-ordered exponentials (unlike the corresponding free-field OPEs), with the argument relying on Onsager-type inequalities together with moment bounds for GFF correlation functions involving Wick exponentials of the free field.

Significance. If the central claim is established, the work supplies the first rigorous OPE results for derivative fields in the sine-Gordon model below the collapse threshold and demonstrates a concrete method for controlling singular terms via Onsager inequalities. This would be a useful technical step toward a systematic OPE theory for the model.

major comments (1)
  1. [Abstract and proof-strategy paragraph] Abstract and the paragraph describing the proof strategy: the central claim that the sine-Gordon OPEs contain additional logarithmic singularities and Wick exponentials rests on the direct applicability of Onsager-type inequalities and associated GFF moment bounds to correlators of the derivative fields ∂φ and ∂̄φ. The abstract states that the bounds are obtained for the free field; an explicit verification that differentiation preserves the required integrability and moment estimates under the sine-Gordon measure is therefore load-bearing and must be supplied in the derivation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a point that requires clarification in the proof strategy. We address the comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: Abstract and the paragraph describing the proof strategy: the central claim that the sine-Gordon OPEs contain additional logarithmic singularities and Wick exponentials rests on the direct applicability of Onsager-type inequalities and associated GFF moment bounds to correlators of the derivative fields ∂φ and ∂̄φ. The abstract states that the bounds are obtained for the free field; an explicit verification that differentiation preserves the required integrability and moment estimates under the sine-Gordon measure is therefore load-bearing and must be supplied in the derivation.

    Authors: We agree that the manuscript would benefit from an explicit verification that the GFF moment bounds extend to the differentiated fields under the sine-Gordon measure. The current argument relies on Onsager-type inequalities to transfer control from the free field to the SG model, but the differentiation step under the SG measure is not spelled out in sufficient detail. In the revised version we will add a short subsection (likely in the preliminaries) that justifies differentiation under the expectation by appealing to the absolute continuity of the SG measure with respect to the GFF for β<4π together with the uniform integrability already established for the Wick exponentials. We will also update the abstract and the proof-strategy paragraph to make this transfer explicit. This addresses the load-bearing step without altering the overall strategy. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper presents a direct proof of modified OPEs for derivative fields in the sine-Gordon model (below β=4π), relying on Onsager-type inequalities and moment bounds for GFF Wick exponentials. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citation chains appear in the described approach or abstract. The central claim is framed as an application of external inequalities to control singular terms, with the derivation self-contained against the stated assumptions rather than reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claimed result rests on the validity of Onsager-type inequalities applied to GFF moments with Wick exponentials; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Onsager-type inequalities and moment bounds hold for GFF correlation functions involving Wick-ordered exponentials
    Invoked as the main tool for proving the OPE statements (abstract).

pith-pipeline@v0.9.0 · 5635 in / 1108 out tokens · 79434 ms · 2026-05-22T23:04:51.728819+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · 2 internal anchors

  1. [1]

    A stochastic control approach to Si ne Gordon EQFT

    Barashkov, Nikolay. A stochastic control approach to Si ne Gordon EQFT. Preprint arXiv:2203.06626

    work page arXiv

  2. [2]

    Sm all deviations of Gaussian mul- tiplicative chaos and the free energy of the two-dimensiona l massless Sinh–Gordon model

    Barashkov, Nikolay; Oikarinen, Joona; Wong, Mo Dick. Sm all deviations of Gaussian mul- tiplicative chaos and the free energy of the two-dimensiona l massless Sinh–Gordon model. arXiv:2408.16574

    work page arXiv

  3. [3]

    Maximum an d coupling of the sine-Gordon field

    Bauerschmidt, Roland; Hofstetter, Michael. Maximum an d coupling of the sine-Gordon field. Ann. Probab. 50 (2022), no. 2, 455–508

    work page 2022

  4. [4]

    The Coleman cor respondence at the free fermion point

    Bauerschmidt, Roland; Webb, Christian. The Coleman cor respondence at the free fermion point. J. Eur. Math. Soc. (JEMS) 26 (2024), no. 9, 3137–3241

    work page 2024

  5. [5]

    Fusion asymptotics for Liouville correlation functions

    Baverez, Guillaume; Wong, Mo Dick. Fusion asymptotics f or Liouville correlation functions. Preprint arXiv:1807.10207. To appear in Ann. Inst. Henri Po incar´ e Probab. Stat

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    Bosonization of primary fields for the critical Ising model on multiply connected planar domains

    Bayraktaroglu, Baran; Izyurov, Konstantin; Virtanen, Tuomas; Webb, Christian. Bosoniza- tion of primary fields for the critical Ising model on multipl y connected planar domains. Preprint arXiv:2312.02960

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    Massless sine-Gordon and mas- sive Thirring models: proof of Coleman’s equivalence

    Benfatto, Giuseppe; Falco, Pierluigi; Mastropietro, V ieri. Massless sine-Gordon and mas- sive Thirring models: proof of Coleman’s equivalence. Comm . Math. Phys. 285 (2009), no. 2, 713–762

    work page 2009

  8. [8]

    Correlations of primary fields in the critical Ising model

    Chelkak, Dmitry; Hongler, Cl´ ement; Izyurov, Konstantin. Correlations of primary fields in the critical Ising model. Preprint arXiv:2103.10263

    work page arXiv

  9. [9]

    Quantum sine-Gordon equation as the ma ssive Thirring model

    Coleman, Sidney. Quantum sine-Gordon equation as the ma ssive Thirring model. Phys. Rev. D, 11:2088–2097, Apr 1975

    work page 2088

  10. [10]

    Sine-Gordon revisi ted

    Dimock, John; Hurd, Thomas Robert. Sine-Gordon revisi ted. Ann. Henri Poincar´ e, 1(3):499–541, 2000

    work page 2000

  11. [11]

    Conformal field theory

    Di Francesco, Philippe; Mathieu, Pierre; S´ en´ echal, David. Conformal field theory. Grad. Texts Contemp. Phys. Springer-Verlag, New York, 1997, xxii +890 pp. 44

    work page 1997

  12. [12]

    Arrow-arrow correlations for the si x-vertex model

    Falco, Pierluigi. Arrow-arrow correlations for the si x-vertex model. Phys. Rev. E. 88, 030103(R) (2013)

    work page 2013

  13. [13]

    Kosterlitz-Thouless transition li ne for the two dimensional Coulomb gas

    Falco, Pierluigi. Kosterlitz-Thouless transition li ne for the two dimensional Coulomb gas. Comm. Math. Phys. 312 (2012), no. 2, 559–609

    work page 2012

  14. [14]

    Local operators i n the Sine-Gordon model: ∂µφ∂νφ and the stress tensor

    Fr¨ ob, Markus B.; Cadamuro, Daniela. Local operators i n the Sine-Gordon model: ∂µφ∂νφ and the stress tensor. Preprint arXiv:2205.09223

    work page arXiv

  15. [15]

    Classical and quantum statistical m echanics in one and two dimensions: two-component Yukawa- and Coulomb systems

    Fr¨ ohlich, J¨ urg. Classical and quantum statistical m echanics in one and two dimensions: two-component Yukawa- and Coulomb systems. Comm. Math. Phy s. 47 (1976), no. 3, 233–268

    work page 1976

  16. [16]

    Quantum Physics

    Glimm, James; Jaffe, Arthur. Quantum Physics. Springer- Verlag, New York, 1987, xxii+535 pp.ISBN: 0-387-96476-2

    work page 1987

  17. [17]

    Classical and modern Fourier analys is

    Grafakos, Loukas. Classical and modern Fourier analys is. Pearson Education, Inc., Upper Saddle River, NJ, 2004, xii+931 pp

    work page 2004

  18. [18]

    2d Sinh-Gordon model on the infinite cylinder

    Guillarmou, Colin; Gunaratnam, Trishen S.; Vargas, Vi ncent. 2d Sinh-Gordon model on the infinite cylinder. Preprint arXiv:2405.04076

    work page arXiv

  19. [19]

    Conformal bootstrap in Liouville Theory

    Guillarmou, Colin; Kupiainen, Antti; Rhodes, R´ emi; Vargas, Vincent. Conformal bootstrap in Liouville Theory. Acta Math. 233 (2024), no. 1, 33–194

    work page 2024

  20. [20]

    Two-dimensional neutral Cou lomb gas

    Gunson, Jack; Panta, L.S. Two-dimensional neutral Cou lomb gas. Comm. Math. Phys. 52 (1977), no. 3, 295–304

    work page 1977

  21. [21]

    Decay of correla tions for the massless hierarchical Liouville model in infinite volume

    Hofstetter, Michael; Zeitouni, Ofer. Decay of correla tions for the massless hierarchical Liouville model in infinite volume. Preprint arXiv:2408.16 649

    work page

  22. [22]

    The Operator Product Expansion in Quantum Field Theory

    Hollands, Stefan; Wald, Robert M. The Operator Product Expansion in Quantum Field Theory. Preprint arXiv:2312.01096

    work page arXiv

  23. [23]

    Quantum field th eory and the two-dimensional Ising model

    Itzykson, Claude; Zuber, Jean-Bernar. Quantum field th eory and the two-dimensional Ising model. Phys. Rev. D, 15:2875–2884 (1977)

    work page 1977

  24. [24]

    Imagi nary multiplicative chaos: mo- ments, regularity and connections to the Ising model

    Junnila, Janne; Saksman, Eero; Webb, Christian. Imagi nary multiplicative chaos: mo- ments, regularity and connections to the Ising model. Ann. A ppl. Probab. 30 (2020), no. 5, 2099–2164

    work page 2020

  25. [25]

    Vertex algebras for beginners

    Kac, Victor. Vertex algebras for beginners. Volume 10 o f University Lecture Series. Amer- ican Mathematical Society, Providence, RI, 1997

    work page 1997

  26. [26]

    Gaussian free field a nd conformal field theory

    Kang, Nam-Gyu; Makarov, Nikolai G. Gaussian free field a nd conformal field theory. Ast´ erisque(2013), no. 353, viii+136 pp

    work page 2013

  27. [27]

    Planar UST Branches and c =− 2 Degenerate Boundary Correlations

    Karrila, Alex; Lafay, Augustin; Peltola, Eveliina; Ro ussilon, Julien. Planar UST Branches and c =− 2 Degenerate Boundary Correlations. Preprint arXiv:2410. 09800

    work page

  28. [28]

    Flow Equation Solution for the Weak- t o Strong-Coupling Crossover in the Sine-Gordon Model

    Kehrein, Stefan. Flow Equation Solution for the Weak- t o Strong-Coupling Crossover in the Sine-Gordon Model. Phys. Rev. Lett. 83, 4914 (1999)

    work page 1999

  29. [29]

    Scaling limit of the six vertex mod el in the framework of free field representation

    Laskevich, Michael. Scaling limit of the six vertex mod el in the framework of free field representation. J. High Energy Phys. 1997, no. 10, Paper 3, 1 8 pp

    work page 1997

  30. [30]

    Exact ex pectation values of local fields in the quantum sine-Gordon model

    Lukyanov, Sergei; Zamolodchikov, Alexander. Exact ex pectation values of local fields in the quantum sine-Gordon model. Nuclear Phys. B, 493(3):571 –587, 1997

    work page 1997

  31. [31]

    Two-periodic weighted dominos and the si ne-Gordon field at the free fermion point: I

    Mason, Scott. Two-periodic weighted dominos and the si ne-Gordon field at the free fermion point: I. Preprint arXiv:2209.11111

    work page arXiv

  32. [32]

    Statistical Field Theory

    Mussardo, Giuseppe. Statistical Field Theory. Oxf. Gr ad. Texts. Oxford University Press, Oxford, 2010, xxii+755 pp

    work page 2010

  33. [33]

    On the massive sine-Gordon equation in all regions of collapse

    Nicol` o, Francesco; Renn, J¨ urgen; Steinmann, Adrian. On the massive sine-Gordon equation in all regions of collapse. Comm. Math. Phys. 105 (1986), no. 2, 291–326

    work page 1986

  34. [34]

    The Con formal Bootstrap: Theory, Nu- merical Techniques, and Applications, Rev

    Poland David; Rychkov Slava; Vichi Alessandro. The Con formal Bootstrap: Theory, Nu- merical Techniques, and Applications, Rev. Mod. Phys. 91, 1 5002 (2019)

    work page 2019

  35. [35]

    Methods of modern mathema tical physics

    Reed, Michael; Simon, Barry. Methods of modern mathema tical physics. I. Functional analysis. Second edition. Academic Press, Inc. [Harcourt B race Jovanovich, Publishers], New York, 1980. xv+400 pp

    work page 1980

  36. [36]

    Gaussian free fields for mathematician s

    Sheffield, Scott. Gaussian free fields for mathematician s. Probab. Theory Related Fields 139 (2007), no. 3-4, 521–541. 45

    work page 2007

  37. [37]

    A co urse of modern analysis

    Whittaker, Edmund Taylor; Watson, George Neville. A co urse of modern analysis. An introduction to the general theory of infinite processes and of analytic functions: with an account of the principal transcendental functions. Fourth edition. Reprinted. Cambridge University Press, New York, 1962. vii+608 pp

    work page 1962

  38. [38]

    Wilson, Kenneth. G. Non-Lagrangian models of current a lgebra. Phys. Rev. (2) 179 (1969), 1499–1512. 46

    work page 1969