Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck pass
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The logarithmic single layer on a circle changes by a scale term of rank at most one

Example

Let Γ=S1 be the unit circle, let s>0, and scale the curve to Ss. For a smooth density λ on S1, set λs(sy)=s−1λ(y). Then cap⁡(Ss)=scap⁡(S1),VSsλs(sx)=VS1λ(x)−log⁡s2π∫S1λ ds. In particular, the change in the layer trace depends only on the total charge, so it has rank at most one (rank zero for s=1 and rank one otherwise). For λ=1/(2π) on S1 and s=e, the total charge is one and the trace changes by −1/(2π).

Facts & Assumptions

Given: The logarithmic capacity and layer conventions of Logarithmic capacity and the two-dimensional Laplace layer kernel, a circle, and a smooth density.

[F1]

Under dilation by s, capacity scales by s and the logarithmic single-layer trace gains −(log⁡s)/(2π) times the total charge (Logarithmic capacity and single-layer scaling under homothety).

Proof

1.1F1givenalgebra

The circle S1 is compact. Since ∣x−y∣≤2 on it, every probability energy is at least −log⁡2. Normalized arclength has finite energy: writing x=eiθ and y=eiφ gives ∣x−y∣=2∣sin⁡((θ−φ)/2)∣, whose logarithmic singularity is integrable because ∫0ϵ∣log⁡t∣dt<∞. Thus I(S1) is finite and 0<cap⁡(S1)<∞. Apply [F1] with K=S1 and Γ=S1 to obtain both scaling identities in the Example. The functional λ↦∫S1λds has one-dimensional range, and its output is a constant function, so the trace correction is rank at most one. Its scalar factor vanishes precisely at s=1; otherwise the constant density gives a nonzero correction, proving rank one.

2.1step 1.1givenalgebra∎

For λ=1/(2π) on the unit circle, ∫S1λds=(1/(2π))(2π)=1. Substituting s=e into the correction gives −(log⁡e)/(2π)=−1/(2π). Any zero-total-charge density has no scale correction by the same formula.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · one level

2 results within one dependency step of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources