A note on the singularity conjecture for infinite covolume discrete subgroups

Andrew Zimmer; Dongryul M. Kim

REVIEW 3 major objections 5 minor 1 cited by

A note on the singularity conjecture for infinite covolume discrete subgroups

T0 review · 3 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that, under property (T) or in rank one with a finite first moment, every stationary measure on the Furstenberg boundary coming from a Zariski dense infinite-covolume subgroup is singular to Lebesgue measure.

desk verdict The abstract claims a major resolution of the singularity conjecture for property (T) and rank one, but the supplied full text is unreadable, so the proof can't be checked; it still deserves a careful referee. read the letter →

arxiv 2508.05756 v1 pith:LSITMPAK submitted 2025-08-07 math.GT math.DSmath.GRmath.PR

Dongryul M. Kim , Andrew Zimmer This is my paper

classification math.GTmath.DSmath.GRmath.PR MSC 22E4060B1537A50

keywords randomwalkstationarymeasureFurstenbergboundarysingularityconjectureproperty(T)semisimpleLiegroupsinfinitecovolumePatterson–Sullivan

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper is a direct attack on the singularity conjecture for random walks on semisimple Lie groups. It considers a step distribution whose support generates, as a group, a Zariski dense discrete subgroup of infinite covolume, and asks whether the stationary measure on the Furstenberg boundary is singular to the Lebesgue measure class. The answer is yes in two broad settings: whenever the ambient semisimple Lie group has property (T)—with no moment or symmetry condition on the step distribution—and whenever the group has rank one and the step distribution has a finite first moment. A general sufficient condition for singularity and a Patterson–Sullivan measure are also obtained. A sympathetic reader should take the paper as evidence that singularity of boundary stationary measures is a structural, not a moment-dependent, phenomenon in these classes.

What carries the argument

The central objects are the stationary measure $\nu$ on the Furstenberg boundary $G/P$ and the Patterson–Sullivan measure associated with the random walk. The Furstenberg boundary is the compact space of minimal parabolic subgroups of $G$; in rank one it is the visual boundary, a circle or sphere, with its natural smooth measure class. The stationarity identity $\mu \ast \nu = \nu$ carries the argument: the proof extracts from this identity enough rigidity to show that $\nu$ cannot have a positive absolutely continuous part. Property (T) enters by forbidding the kind of almost-invariant unitary structure that a smooth stationary measure would create, while the rank-one finite-first-moment ca

What would settle it

Find a semisimple Lie group $G$ with property (T) and a probability measure $\mu$ whose support generates a Zariski dense discrete infinite-covolume subgroup, for which the stationary measure on the Furstenberg boundary has a non-zero absolutely continuous part with respect to the Lebesgue measure class. Such an example would refute the first main theorem; for the rank-one theorem, the same example with $G$ of rank one and finite first moment would refute the second.

Watch

Extended reading notes

Core claim

Let $G$ be a semisimple Lie group and let $\mu$ be a probability measure on $G$ whose support generates a Zariski dense discrete subgroup of infinite covolume. The stationary measure $\nu$ on the Furstenberg boundary $G/P$ is defined by $\mu \ast \nu = \nu$. The paper proves that $\nu$ is singular to the Lebesgue measure class when $G$ has property (T), with no additional assumptions on $\mu$; and also when $G$ has rank one and $\mu$ has finite first moment. For a general semisimple $G$, it provides a sufficient condition for singularity and constructs a Patterson–Sullivan measure. These are unconditional statements: singularity is forced by the subgroup and the ambient group, not by fine de

Load-bearing premise

The load-bearing premise is that the step distribution's support generates a discrete Zariski dense subgroup of infinite covolume; if the subgroup has finite covolume or fails Zariski density, the singularity statement is out of scope and can be false.

Editorial extensions

If this is right

In property (T) ambient groups, singularity is universal within the stated class: no moment, symmetry, or compact-support condition on the step distribution can change the outcome.
In rank-one groups, finite first moment is sufficient, so walks with heavy tails (as long as the first moment exists) still produce singular boundary laws.
For general semisimple groups, the sufficient condition gives a checkable route to singularity that does not require case-by-case construction of the stationary measure.
The two theorems cover all semisimple groups with property (T) and all rank-one groups with first moment, leaving a concrete target: semisimple groups without property (T) and rank at least two.

Reading between the lines

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

The absence of any moment condition in the property (T) case suggests the conjecture is governed by group rigidity rather than by stochastic tail behavior; a natural extension is to try removing the first-moment hypothesis in rank one as well.
If the sufficient condition is sharp, it should also detect the known opposite phenomenon—lattices and other finite-covolume subgroups can have absolutely continuous stationary measures—so the conjecture would reduce to a dichotomy controlled by covolume and Zariski density.
The Patterson–Sullivan construction may connect singularity of stationary measures to the fractal dimension of the subgroup's limit set: for infinite-covolume subgroups, the limit set typically has Hausdorff dimension below its ambient dimension, which is one geometric reason the stationary measure cannot be smooth.
One could test the property (T) theorem numerically on a thin subgroup of $\mathrm{SL}(3,\mathbb{R})$: simulate the random walk on the flag variety and estimate the stationary measure's density; the theorem predicts no absolutely continuous part.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's the short version. The abstract states a substantial theorem: for random walks on a semisimple Lie group with property (T), if the support generates a Zariski dense infinite-covolume discrete subgroup, the stationary measure on the Furstenberg boundary is singular to Lebesgue, with no moment or symmetry condition. In rank one it's enough to have a finite first moment. If the proofs hold, that's a real resolution of the singularity conjecture in those settings, and it removes hypotheses that prior partial results needed. That is genuinely new and worth taking seriously.

What I could assess: the abstract is clearly written and the claims are precise. The authors are established in this area, so the result is plausible. But the supplied full text is corrupted mojibake — unreadable — and even carries a line from a cond-mat paper. So no proof step, equation, or section could be checked. That's a mechanical artifact, not an author problem, but it means my verdict is provisional.

The one place I'd aim the referee's attention is the moment-free property (T) argument. Property (T) usually supplies an L^2 spectral gap, while the density of an absolutely continuous stationary measure is a priori only in L^1. The proof has to bridge that, and that bridge is where a hidden assumption would show up. It's a candidate concern, not a confirmed flaw. The rank-one finite-first-moment result likewise needs a check on how the first moment is used.

Bottom line: this paper deserves a serious referee. The result is important enough that someone needs to check the proof carefully, even though I can't endorse it from this artifact. I'd send it to peer review. I would not cite it myself until I've seen the actual PDF and verified the key steps. For a reading group, it's a maybe — useful to discuss the conjecture and the abstract, but there's nothing to dig into until we have a clean copy.

Referee Report

3 major / 5 minor

Summary. The paper announces two singularity theorems for stationary measures on the Furstenberg boundary of random walks on semisimple Lie groups. The setting is a step distribution whose support generates, as a group, a Zariski dense discrete subgroup of infinite covolume. The first theorem states that when the ambient semisimple Lie group has property (T), the stationary measure on the Furstenberg boundary is singular to the Lebesgue measure class, with no moment or symmetry condition on the step distribution. The second theorem states that when the ambient group has rank one and the step distribution has finite first moment, the stationary measure is again singular. The paper also announces a sufficient condition for singularity in general semisimple Lie groups and a general Patterson–Sullivan measure. The abstract is precise and the claims are coherent. However, the supplied full text is corrupted mojibake: no proof, equation, or section can be read, and the body even contains a header from arXiv:2508.05768, a cond-mat paper. Consequently, no part of the derivation can be checked from the supplied text.

Significance. If the theorems are correct, they constitute a substantial advance on the singularity conjecture. The property (T) statement is especially strong: it would cover every Zariski dense infinite covolume discrete subgroup in a property (T) semisimple Lie group and remove all moment and symmetry assumptions. The rank-one finite-first-moment statement is a natural and valuable complement. The announced general sufficient condition and Patterson–Sullivan measure could provide useful tools for the broader conjecture. The statement-level claims are falsifiable and are not fitted to data; no circularity is apparent at that level. The authors deserve credit for the precision of the announced results. That said, the supplied manuscript is unreadable, so the significance cannot be confirmed. A clean, complete version is required before the technical content can be assessed.

major comments (3)

[Full text (all sections)] The supplied text is corrupted mojibake; no theorem proof can be verified. The body contains an extraneous header 'arXiv:2508.05768v1 [cond-mat.soft] 7 Aug 2025', which belongs to a different paper. This is not a minor typo: every central derivation, including the property (T) argument and the rank-one finite-first-moment argument, is inaccessible. A clean source file must be provided before the claims can be evaluated.
[Property (T) step (announced in abstract)] The moment-free property (T) claim is the most delicate point. Property (T) naturally provides an L^2 spectral gap for unitary representations, whereas absolute continuity of a stationary measure gives only an L^1 density on the Furstenberg boundary. The proof must explain how this L^2-to-L^1 gap is bridged, for instance by showing the density lies in L^2 or by an interpolation argument. No such argument is visible in the supplied text. This is a concrete point to check in the clean version; I am not asserting it is an error.
[Dependence on prior results (throughout)] Because the text is unreadable, I cannot determine which steps are proved and which are imported from the authors' prior work or from the singularity-conjecture literature. If the proof relies on a known classification, a spectral-gap estimate, or a prior theorem of the authors, that dependence must be made explicit. The clean version should clearly delineate the new contribution and name every imported result.

minor comments (5)

[Abstract] The phrase 'support generates (as a group)' should specify that the generated subgroup is discrete and Zariski dense by assumption; the current wording is acceptable but could be made precise.
[Abstract] The term 'Lebesgue measure class' on the Furstenberg boundary should be defined or referenced. In the semisimple setting the smooth measure class is standard, but a definition would help readers from adjacent fields.
[Full text] The extraneous header from arXiv:2508.05768 must be removed, and any copy-paste contamination should be checked in the source files.
[Equations] All displayed equations are garbled. Even in a clean copy, please ensure equation numbering and displayed formulas are legible and correctly rendered before resubmission.
[Introduction] The announced 'sufficient condition for singularity' for general semisimple Lie groups is not stated in the abstract. Please state the condition explicitly in the introduction, together with the hypotheses on the step distribution and the ambient group.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identified; proof text is corrupted, so no specific reduction can be exhibited.

full rationale

The abstract states a self-contained theorem: for a Zariski dense discrete subgroup of infinite covolume in a semisimple Lie group, the stationary measure on the Furstenberg boundary is singular to Lebesgue, with a moment-free result under property (T) and a finite-first-moment result in rank one. Nothing in the statement defines singularity in terms of the hypothesis or fits a parameter and then renames it as a prediction. The full text supplied is a corrupted mojibake extraction, and it even contains a line from an unrelated paper (arXiv:2508.05768v1, cond-mat.soft), so no equation, lemma, or citation chain can be read to verify or refute the derivation. Under the hard rule that circularity must be exhibited by quoting the paper and showing a specific reduction, no such step can be identified. The moment-free property (T) implication may require a nontrivial analytic argument, but that would be a correctness or verification concern, not evidence of circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

This is a pure mathematics paper; the ledger contains no fitted parameters and no invented physical entities. The Patterson-Sullivan measure mentioned in the abstract is a standard construction (Sullivan), not a new postulated entity. The central claim rests on the Zariski dense, infinite covolume generating assumption, on property (T) or rank-one structure of the ambient group, and on standard Furstenberg boundary theory. Because the supplied full text is corrupted, further hidden assumptions inside the proofs cannot be audited.

assumptions (4)

domain assumption The support of the step distribution generates, as a group, a Zariski dense discrete subgroup of infinite covolume in the ambient semisimple Lie group G.
Abstract, first sentence. This is the defining hypothesis of the paper; the singularity conclusion is stated only for groups of this type.
domain assumption The ambient semisimple Lie group G has property (T) (first main theorem) or real rank one with finite first moment (second main theorem).
Abstract, sentences 2-4. The argument depends on the structure of G; the abstract gives no quantitative version (spectral gap or Kazhdan constant) that may be needed inside the proof.
standard math A unique stationary measure exists on the Furstenberg boundary for the random walk.
Background from Furstenberg boundary theory invoked whenever the abstract speaks of 'the stationary measure'; standard once the group is Zariski dense (Benoist-Quint style results).
standard math Zariski dense subgroups of semisimple groups give proximal and strongly irreducible random walks, or an equivalent structural property needed to identify the Furstenberg boundary and the measure class.
Standard results in the random walk / Lie group literature, used tacitly in the statements; the exact form depends on the proof, which is unreadable here.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A note on the singularity conjecture for infinite covolume discrete subgroups." pith.science (2026). https://pith.science/paper/LSITMPAK

@misc{pith2026250805756,
  author       = {Pith},
  title        = {Pith review of: A note on the singularity conjecture for infinite covolume discrete subgroups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LSITMPAK}},
  note         = {Machine review of arXiv:2508.05756}
}

read the original abstract

We consider random walks on semisimple Lie groups where the support of the step distribution generates (as a group) a Zariski dense discrete subgroup of infinite covolume. When the semisimple Lie group has property (T), we show that the stationary measure on the Furstenberg boundary is singular to the Lebesgue measure class. This result does not require any condition on the moment or symmetry of the step distribution. When the semisimple Lie group has rank one and the step distribution has a finite first moment, we again show that the stationary measure on the Furstenberg boundary is singular to the Lebesgue measure class. For general semisimple Lie groups, we also obtain a sufficient condition for the singularity of the stationary measure and a general Patterson-Sullivan measure.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Universal Magnetocaloric Effect near Quantum Critical Point of Magnon Bose-Einstein Condensation
cond-mat.str-el 2025-08 unverdicted novelty 5.0 of 10

In copper sulfate, a universal magnetocaloric effect at a magnon Bose-Einstein quantum critical point (Tc ~ (Bc-B)^(2/3)) cools crystals to 12.8 mK without helium-3.

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages · cited by 1 Pith paper

[1]

�� ...

work page Pith review arXiv 2025

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [1]

�� ...

work page Pith review arXiv 2025