A correction to Kallenberg's theorem for jointly exchangeable random measures

Christian Borgs; Jennifer T. Chayes; Souvik Dhara; Subhabrata Sen

arxiv: 1907.01613 · v1 · pith:DJKGPGJKnew · submitted 2019-07-02 · 🧮 math.PR

A correction to Kallenberg's theorem for jointly exchangeable random measures

Christian Borgs , Jennifer T. Chayes , Souvik Dhara , Subhabrata Sen This is my paper

Pith reviewed 2026-05-25 10:19 UTC · model grok-4.3

classification 🧮 math.PR

keywords jointly exchangeable random measureslocal finitenessKallenberg theoremcounter-exampleexchangeabilityrandom measuresprobability theory

0 comments

The pith

Kallenberg's theorem for local finiteness of jointly exchangeable random measures on R_+^2 misses a necessary condition.

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

Kallenberg stated a necessary and sufficient condition for local finiteness of a jointly exchangeable random measure on the nonnegative quadrant. The paper shows that this condition is not sufficient by itself. An additional requirement, used implicitly in the original proof, must also be satisfied. The authors construct a counter-example that meets every condition listed in the 2005 theorem yet produces a measure that is not locally finite. This demonstrates that the extra condition is required.

Core claim

The paper establishes that Kallenberg's necessary and sufficient condition for local finiteness of jointly exchangeable random measures on R_+^2 is incomplete. A counter-example exists that satisfies all the conditions stated in the 2005 theorem yet fails to be locally finite, proving that an additional condition is necessary.

What carries the argument

The counter-example of a jointly exchangeable random measure that satisfies Kallenberg's stated conditions but is not locally finite.

If this is right

The original theorem statement must be updated to include the missing condition.
Any application of Kallenberg's result requires verification of the extra condition.
Characterizations of local finiteness for exchangeable measures on the quadrant now include this additional requirement.
Citations of the 2005 paper need to account for the correction when deriving consequences.

Where Pith is reading between the lines

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

Similar implicit conditions may exist in other results on exchangeable arrays or point processes.
The corrected criterion could be used to re-examine models previously analyzed under the incomplete theorem.
The counter-example construction may suggest how to modify proofs in related exchangeability theorems.

Load-bearing premise

The counter-example meets every condition Kallenberg listed but still fails to be locally finite.

What would settle it

Check whether the jointly exchangeable random measure constructed in the counter-example is locally finite; if it is locally finite, then the additional condition is not necessary.

read the original abstract

Kallenberg (2005) provided a necessary and sufficient condition for the local finiteness of a jointly exchangeable random measure on $\R_+^2$. Here we note an additional condition that was missing in Kallenberg's theorem, but was implicitly used in the proof. We also provide a counter-example when the additional condition does not hold.

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.

Desk Editor's Note private letter to a colleague

This short note correctly identifies a missing condition in Kallenberg's 2005 theorem on local finiteness for jointly exchangeable random measures and supplies a counter-example.

read the letter

The core point is that Kallenberg's theorem on necessary and sufficient conditions for local finiteness of a jointly exchangeable random measure on the positive quadrant left out one condition that the original proof actually relied on. This note states the missing piece explicitly and gives a counter-example that satisfies the conditions as written in 2005 but is not locally finite. That is the new content, and it is useful for anyone who needs the precise statement of the result. The paper does the job cleanly by focusing on the gap and the construction rather than re-deriving the whole theorem. The counter-example is presented directly, with no apparent circularity or unverified steps in the argument as described. There are no major soft spots here; the claim is narrow and technical, and the stress-test finds no internal inconsistency. Minor limitation is that the work is a correction note rather than a broad advance, so its reach stays inside exchangeability theory for random measures. Readers who work with point-process or network models that rest on this characterization will want the corrected version on record. Specialists already citing Kallenberg should check this. I would send it to a referee as a short note rather than desk-reject it.

Referee Report

0 major / 2 minor

Summary. The manuscript identifies an additional condition that was omitted from the statement of Kallenberg's 2005 theorem giving necessary and sufficient conditions for local finiteness of a jointly exchangeable random measure on R_+^2, notes that the condition was used implicitly in the original proof, and supplies an explicit counter-example demonstrating necessity when the condition fails.

Significance. The correction completes the precise statement of a foundational result on exchangeable random measures. When the counter-example is verified, the note prevents misapplication of the incomplete theorem and strengthens the reliability of the characterization in the literature on exchangeability and point processes.

minor comments (2)

The abstract and introduction should explicitly reference the precise statement (theorem number and page) from Kallenberg (2005) that is being corrected.
Notation for the additional condition should be introduced with a displayed equation or numbered display for easy citation in future work.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, accurate summary of the contribution, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

This short correction note identifies an omitted condition from Kallenberg's 2005 theorem on local finiteness of jointly exchangeable random measures and supplies an explicit counter-example. The central claim rests on direct construction of that counter-example satisfying the original stated hypotheses while violating local finiteness. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear; the cited Kallenberg result is external work being corrected rather than invoked as unverified support. The derivation is self-contained against the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper is a correction note that introduces no new free parameters, axioms, or invented entities; it operates entirely within the standard axioms of probability theory on random measures.

pith-pipeline@v0.9.0 · 5580 in / 1033 out tokens · 45108 ms · 2026-05-25T10:19:44.082072+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 3 internal anchors

[1]

Kallenberg [ 7, Theorem 9.24] established a represen- tation for all jointly exchangeable random measures on /CA 2 +

Characterization of local ﬁniteness for jointly exchangeable measures on R2 +. Kallenberg [ 7, Theorem 9.24] established a represen- tation for all jointly exchangeable random measures on /CA 2 +. This represen- tation theorem has been the bedrock of recent developments i n the study of sparse graph limits [ 8, 9, 2] and non-parametric Bayesian inference ...

work page
[2]

uncondi- tion

are ﬁnite if and only if ˜ϑh + ˜ϑh ′ + ˜ηl + ˜ηl′ < ∞ almost surely. An application of Lemma 1.4 immediately characterizes this convergence, and yields condition ( i) in Theorem 1.3. LOCAL FINITENESS OF JOINTLY EXCHANGEABLE RANDOM MEASURES 5 Next, we establish that conditions ( ii) and ( iii) in Theorem 1.3 are suf- ﬁcient to guarantee almost sure ﬁnitene...

work page
[3]

uncondition

is inﬁnite with positive probability. Thus (ii) is indeed necessary. Given (ii), the rest of the proof above is n ecessary and suﬃcient, which establishes the necessity of (iii) as well. Finally, we need to establish necessary and suﬃcient condit ions for the almost sure ﬁniteness of f term in ( 1). To this end, ﬁrst condition on the point process {(ϑ j,τ...

work page
[4]

The next result characterizes all random adjacency measures on /CA 2 +

Characterization of random adjacency measures. The next result characterizes all random adjacency measures on /CA 2 +. To keep the discussion self-contained, we recall the concepts under co nsideration. In the subsequent discussion, N ( /CA 2 +) denotes the set of locally ﬁnite counting mea- sures on R2 +, equipped with the vague topology. Definition 3 (R...

work page
[5]

We will assume throughout that, min{∑ k≥ 1S(·,k ), 1} is integrable. Further, settingµ W (·) =∫ (1 − W (·,y, 0))dy, we assume that (a) Λ( {x :µ W (x) = ∞} ) = 0 and Λ( {x :µ W (x)> 1})< ∞ , (b) ∫ (1 − W (x,y, 0))/BD {µ W (x) ≤ 1} /BD {µ W (y) ≤ 1}dydx< ∞ , (c) ∫ (1 − W (x,x, 0))dx< ∞ . Definition 5 (Adjacency measure of a multigraphex) . Given any multi- ...

work page
[6]

Identifiability for graphexes and the weak kernel metric

Borgs, C., Chayes, J. T., Cohn, H., and Lov´ asz, L. M. (201 8). Identiﬁability for graphexes and the weak kernel metric. arXiv:1804.03277

work page internal anchor Pith review Pith/arXiv arXiv
[7]

T., Cohn, H., and Veitch, V

Borgs, C., Chayes, J. T., Cohn, H., and Veitch, V. (2017). Sampling perspectives on sparse exchangeable graphs. arxiv:1708.03237

work page arXiv 2017
[8]

T., Dhara, S., and Sen, S

Borgs, C., Chayes, J. T., Dhara, S., and Sen, S. (2019). Li mits of sparse conﬁguration models and beyond: Graphexes and Multi-Graphexes. Main manuscript

work page 2019
[9]

and Fox, E

Caron, F. and Fox, E. B. (2017). Sparse graphs using excha ngeable random measures. J. R. Stat .Soc. Series B Stat. Methodol. , 79(5):1–44

work page 2017
[10]

Daley, D. J. and Vere-Jones, D. J. D. D. (2008). An Introduction to the Theory of Point Process, volume II. Springer-Verlag, New York

work page 2008
[11]

Kallenberg, O. (1990). Exchangeable random measures in the plane. J. Theor. Probab., 3(1):81–136

work page 1990
[12]

Kallenberg, O. (2005). Probabilistic Symmetries and Invariance Principles . Springer- Verlag New York

work page 2005
[13]

The Class of Random Graphs Arising from Exchangeable Random Measures

Veitch, V. and Roy, D. M. (2015). The class of random graph s arising from exchange- able random measures. arXiv:1512.03099

work page internal anchor Pith review Pith/arXiv arXiv 2015
[14]

Sampling and Estimation for (Sparse) Exchangeable Graphs

Veitch, V. and Roy, D. M. (2016). Sampling and Estimation for (sparse) exchangeable graphs. arXiv:1611.00843. Microsoft Research, One Memorial Drive, Cambridge MA 02142. E-mail: Christian.Borgs@microsoft.com jchayes@microsoft.com Department of Mathematics Massachusetts Institute of Technology, 77, Massachusetts A venue, Building 2, Cambridge MA 02139. E-m...

work page internal anchor Pith review Pith/arXiv arXiv 2016

[1] [1]

Kallenberg [ 7, Theorem 9.24] established a represen- tation for all jointly exchangeable random measures on /CA 2 +

Characterization of local ﬁniteness for jointly exchangeable measures on R2 +. Kallenberg [ 7, Theorem 9.24] established a represen- tation for all jointly exchangeable random measures on /CA 2 +. This represen- tation theorem has been the bedrock of recent developments i n the study of sparse graph limits [ 8, 9, 2] and non-parametric Bayesian inference ...

work page

[2] [2]

uncondi- tion

are ﬁnite if and only if ˜ϑh + ˜ϑh ′ + ˜ηl + ˜ηl′ < ∞ almost surely. An application of Lemma 1.4 immediately characterizes this convergence, and yields condition ( i) in Theorem 1.3. LOCAL FINITENESS OF JOINTLY EXCHANGEABLE RANDOM MEASURES 5 Next, we establish that conditions ( ii) and ( iii) in Theorem 1.3 are suf- ﬁcient to guarantee almost sure ﬁnitene...

work page

[3] [3]

uncondition

is inﬁnite with positive probability. Thus (ii) is indeed necessary. Given (ii), the rest of the proof above is n ecessary and suﬃcient, which establishes the necessity of (iii) as well. Finally, we need to establish necessary and suﬃcient condit ions for the almost sure ﬁniteness of f term in ( 1). To this end, ﬁrst condition on the point process {(ϑ j,τ...

work page

[4] [4]

The next result characterizes all random adjacency measures on /CA 2 +

Characterization of random adjacency measures. The next result characterizes all random adjacency measures on /CA 2 +. To keep the discussion self-contained, we recall the concepts under co nsideration. In the subsequent discussion, N ( /CA 2 +) denotes the set of locally ﬁnite counting mea- sures on R2 +, equipped with the vague topology. Definition 3 (R...

work page

[5] [5]

We will assume throughout that, min{∑ k≥ 1S(·,k ), 1} is integrable. Further, settingµ W (·) =∫ (1 − W (·,y, 0))dy, we assume that (a) Λ( {x :µ W (x) = ∞} ) = 0 and Λ( {x :µ W (x)> 1})< ∞ , (b) ∫ (1 − W (x,y, 0))/BD {µ W (x) ≤ 1} /BD {µ W (y) ≤ 1}dydx< ∞ , (c) ∫ (1 − W (x,x, 0))dx< ∞ . Definition 5 (Adjacency measure of a multigraphex) . Given any multi- ...

work page

[6] [6]

Identifiability for graphexes and the weak kernel metric

Borgs, C., Chayes, J. T., Cohn, H., and Lov´ asz, L. M. (201 8). Identiﬁability for graphexes and the weak kernel metric. arXiv:1804.03277

work page internal anchor Pith review Pith/arXiv arXiv

[7] [7]

T., Cohn, H., and Veitch, V

Borgs, C., Chayes, J. T., Cohn, H., and Veitch, V. (2017). Sampling perspectives on sparse exchangeable graphs. arxiv:1708.03237

work page arXiv 2017

[8] [8]

T., Dhara, S., and Sen, S

Borgs, C., Chayes, J. T., Dhara, S., and Sen, S. (2019). Li mits of sparse conﬁguration models and beyond: Graphexes and Multi-Graphexes. Main manuscript

work page 2019

[9] [9]

and Fox, E

Caron, F. and Fox, E. B. (2017). Sparse graphs using excha ngeable random measures. J. R. Stat .Soc. Series B Stat. Methodol. , 79(5):1–44

work page 2017

[10] [10]

Daley, D. J. and Vere-Jones, D. J. D. D. (2008). An Introduction to the Theory of Point Process, volume II. Springer-Verlag, New York

work page 2008

[11] [11]

Kallenberg, O. (1990). Exchangeable random measures in the plane. J. Theor. Probab., 3(1):81–136

work page 1990

[12] [12]

Kallenberg, O. (2005). Probabilistic Symmetries and Invariance Principles . Springer- Verlag New York

work page 2005

[13] [13]

The Class of Random Graphs Arising from Exchangeable Random Measures

Veitch, V. and Roy, D. M. (2015). The class of random graph s arising from exchange- able random measures. arXiv:1512.03099

work page internal anchor Pith review Pith/arXiv arXiv 2015

[14] [14]

Sampling and Estimation for (Sparse) Exchangeable Graphs

Veitch, V. and Roy, D. M. (2016). Sampling and Estimation for (sparse) exchangeable graphs. arXiv:1611.00843. Microsoft Research, One Memorial Drive, Cambridge MA 02142. E-mail: Christian.Borgs@microsoft.com jchayes@microsoft.com Department of Mathematics Massachusetts Institute of Technology, 77, Massachusetts A venue, Building 2, Cambridge MA 02139. E-m...

work page internal anchor Pith review Pith/arXiv arXiv 2016