Single-Cut Discontinuity Relations

Updated 6 February 2026

Single-Cut Discontinuity Relations is a framework describing the jump of functions over a single codimension-one singularity, with key roles in scattering theory, dispersion relations, and computational analysis.
They employ analytic continuation, unitarity, and crossing symmetry to reconstruct physical observables and extract spectral information in settings like quantum field theory and integrable systems.
These relations also enable robust modeling in regression discontinuity designs and continuum mechanics by formalizing localized singular behaviors through precise jump conditions.

A single-cut discontinuity relation is a fundamental analytic condition that quantifies the jump of a function—often a Green's function, amplitude, or quasi-probability—across a codimension-one singular locus (“cut”) in its domain. These relations arise in diverse fields, including quantum field theory, statistical and condensed matter physics, integrable systems, continuum mechanics, computable analysis, and econometrics. The term encompasses the explicit analytic structure imposed by the presence of a single physical or abstract discontinuity surface, and underlies modern methods for reconstructing physical observables from first principles such as unitarity, analyticity, and crossing symmetry.

1. General Framework and Prototypical Examples

A single-cut discontinuity in a function $F(z)$ typically corresponds to the difference $F(z+i0) - F(z-i0)$ as the argument $z$ crosses a cut in the complex domain. In many-body and high-energy contexts, cuts are associated with multiparticle thresholds or kinematic singularities, and the discontinuity encodes spectral information or provides direct physical observables (e.g., unitarity relations).

In continuum mechanics, the single-cut discontinuity implements a localized defect (e.g., a hinge, fault, or material interface) by enforcing interface jump conditions rather than requiring explicit piecewise solutions (Slepyan, 2018). In the context of dispersion relations, it singles out the contribution from the left- or right-hand cut of a scattering amplitude, allowing for exact representations of physical amplitudes in terms of analytic continuations and known discontinuities (Albaladejo et al., 2012, Oller et al., 2018). In integrable systems, the single-cut discontinuity relations for Y-functions in Thermodynamic Bethe Ansatz equations specify the analytic continuation properties essential for exact quantization (Balog et al., 2011, Cavaglia' et al., 2013). In quantum field theory, the Cutkosky–Landau rules generalize to single-cut discontinuities of Feynman integrals and cosmological correlators (Bourjaily et al., 2020, Hannesdottir et al., 2024, Das et al., 23 Dec 2025). In computable analysis, the single-cut function serves as a minimal discontinuity, forming the basis for computational complexity hierarchies (Hölzl et al., 2024). In causal inference, the single-cut is the infimum for regression discontinuity designs, identifying policy effects or treatment effects at thresholds (Sales et al., 2014).

2. Single-Cut Discontinuity in Scattering Theory and Dispersion Relations

The structure of single-cut discontinuities is central to non-relativistic and relativistic scattering theory:

In the exact $N/D$ framework for two-body scattering, the single-cut discontinuity along the left-hand cut (LHC) is obtained by analytically continuing the partial-wave Lippmann-Schwinger equation. For a given partial wave amplitude $t_{ij}(s)$ , the discontinuity across the LHC, $\mathrm{disc}_{LHC} t_{ij}(s)$ , is expressed as a linear non-singular integral equation whose kernel and inhomogeneity are determined by the potential. This single-cut relation provides the key input for reconstructing the on-shell scattering amplitude via dispersion integrals and implements the correct analytic behavior for both regular and singular potentials (Oller et al., 2018).
In relativistic dispersion theory, the amplitude $T(s)$ with only a left-hand cut can be reconstructed with a fixed number of subtractions. The single-cut discontinuity function $\Delta(s) = {\rm Disc}_s T(s)/(2i)$ is the spectral function entering the integral representation. The N/D decomposition, $T(s) = N(s)/D(s)$ , enforces that $N(s)$ contains the full LHC discontinuity, and $D(s)$ is analytic except for the unitarity cut. Analyticity, unitarity, and threshold constraints close the system uniquely in terms of the known structure of the single-cut discontinuity (Albaladejo et al., 2012).

3. Discontinuity Relations in Feynman Integrals and Amplitude Theory

In perturbative quantum field theory, single-cut relations generalize the Cutkosky rules and govern the analytic structure of Feynman integrals across physical branch cuts:

For any Feynman diagram $I(p)$ , the discontinuity across a kinematic channel $s$ is computed as the sum over all one-particle cuts in that channel, with the replacement of individual propagators by on-shell delta distributions: ${\rm Disc}_s I(p) = \sum_{j\in s} I^{\rm cut}_j(p)$ , where, in $I^{\rm cut}_j$ , the $j$ th propagator is replaced by $-2\pi i\,\delta(q_j^2 - m_j^2)\Theta(q_j^0)$ (Bourjaily et al., 2020). This construction is tightly linked to the monodromy group of the underlying function, with the single-cut corresponding to a fundamental generator of the associated monodromy.
Minimal single cuts are in correspondence with solutions of the Landau equations, identifying the minimal set $C$ of propagators that must be placed on-shell for a discontinuity to arise. The genealogical (hierarchical) constraint asserts that for any two singularities whose minimal cut sets overlap, sequential discontinuities vanish: if $C_1\cap C_2\neq \emptyset$ , then ${\rm Disc}_{L_2}\left( {\rm Disc}_{L_1} I \right) = 0$ (Hannesdottir et al., 2024). These constraints generalize and strengthen Steinmann-type conditions, ruling out certain orders and combinations of sequential discontinuities.
In cosmological correlators, single-cut discontinuity relations provide analytic decomposition rules for late-time in-in correlators in de Sitter space. Cutting a single internal mode in a cosmological wavefunction splits higher-point functions into products of lower-point discontinuities, accompanied by auxiliary terms incorporating real and imaginary components of low-point wavefunction coefficients. For scalar $\varphi^n$ interactions, the relevance of each term depends sensitively on the parity of $n$ and the IR properties of the vertex (Das et al., 23 Dec 2025).

4. Single-Cut Discontinuity in Integrable Systems and Thermodynamic Bethe Ansatz

Integrable models, specifically those described by Y-systems and nonlinear integral equations (NLIE), admit a precise formulation of discontinuity relations crucial for the spectral problem:

In AdS/CFT correspondence and related models, Y-functions possess square-root branch cuts in the complex rapidity plane. The single-cut discontinuity is defined as the jump of a Y-function or its logarithm across its fundamental cut: $\Delta F(u) = F(u + i0) - F(u - i0)$ . These discontinuity relations supplement the finite-difference Y-system by encoding the monodromy of the Y-functions around their branch points, and are realized as local functional identities (for example, for the fermion wing or momentum-carrying roots). The combination of the Y-system and single-cut relations is equivalent to the nonlinear TBA integral system and leads to concise quantization and energy formulas (Balog et al., 2011, Cavaglia' et al., 2013).

5. Structural Discontinuity in Elastic and Cosserat Continua

In continuum mechanics, structural and surface discontinuities are formulated as single-cut relations for fields and their derivatives, avoiding the need for sectionwise analysis:

For segmented elastic structures (beams or plates), a cut (e.g., a hinge at $x=0$ ) is enforced by introducing localized generalized loads proportional to Dirac delta derivatives (e.g., $D \delta''(x)$ ). The resulting interface (jump) conditions are postulated as linear relations between jumps in displacement, slope, bending moment, and shear, parameterized by hinge-stiffness moduli. The global field equations, with delta-function sources, remain valid globally, allowing for unrestricted application of Fourier or Floquet transform methods and leading directly to dispersive relations for segmented periodic systems (Slepyan, 2018).
In Cosserat and extreme couple-stress materials, jump conditions for the displacement, microrotation, force-stress, and couple-stress are expressed in terms of the Hadamard jump operator. The emergence of nontrivial discontinuities (admissible cuts) is governed by material stability criteria such as strong ellipticity. Loss of ellipticity enables the propagation of discontinuity surfaces ("faults" or "folds"), whose admissibility and orientation are controlled by the Cosserat moduli (Gourgiotis et al., 2015).

6. Single-Cut Discontinuity in Computable Analysis and Discrete Mathematics

In descriptive set theory and computable analysis, "single-cut" functions act as canonical examples of minimal discontinuity, and serve as benchmarks in the classification of computational problems:

The prototypical single-cut function $s_\alpha: 2^\omega \to \{0,1\}$ —the indicator of the upper-half open cut in lexicographic Cantor space—has a unique point of discontinuity at $\alpha$ . Multidimensional single-cut functions take the form $s^F_{\boldsymbol \alpha}(x_1,\dots,x_n) = F(s_{\alpha_1}(x_1),...,s_{\alpha_n}(x_n))$ for any Boolean $F$ , and stratify problems in the Weihrauch lattice according to the "richness" of their associated truth-table (Hölzl et al., 2024). The classification of these functions leads to strict computability hierarchies and provides canonical representatives for logical principles such as the limited principle of omniscience.

7. Applications in Regression Discontinuity Designs and Causal Inference

Regression discontinuity (RD) analysis employs the concept of a single-cut—typically a threshold in a running variable—to infer the causal effect of a treatment or intervention:

In the canonical RD setup, treatment assignment $D_i$ is a step function in a running variable $R_i$ at the cut-point $c$ : $D_i = \mathbb{I}[R_i < c]$ . The local average treatment effect is the jump in regression function at $c$ , classically estimated via limiting values or small-window averages. Advanced approaches admit discrete $R$ , robust MM-detrending, and window selection procedures, always centered on extracting the effect of the single discontinuity at the threshold (Sales et al., 2014). This setup generalizes to both continuous and discrete assignment variables, and includes robust diagnostics for validity and falsification of the RD assumptions.

The pervasiveness of single-cut discontinuity relations across domains reflects their foundational role in encoding localized singular phenomena—be it via analytic continuation, operator algebra, computational step, or physical interface—thus enabling exact analytic, algebraic, and computational treatments of systems with sharply localized non-analyticity.