arxiv: 2605.06381 · v1 · submitted 2026-05-07 · 🧮 math.DS

Recognition: unknown

Orbital Counting in Conjugacy Classes

Alexander Baumgartner, Mark Pollicott

Pith reviewed 2026-05-08 04:28 UTC · model grok-4.3

classification 🧮 math.DS

keywords orbital countingconjugacy classesCAT(-1) spacesnegative curvatureconvex cocompact actionsasymptotic growthdiscrete group actions

0 comments

The pith

Orbit points restricted to one conjugacy class obey the same asymptotic growth as the full orbit.

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

The paper establishes asymptotic formulas for counting the points of a discrete group's orbit that lie inside any single fixed conjugacy class. The results are proved first for cocompact isometric actions on simply connected manifolds with pinched negative curvature and then extended to convex cocompact actions on CAT(-1) spaces. A reader would care because the formulas give a precise decomposition of the total orbital growth into separate conjugacy-class contributions, each inheriting the same exponential rate as the unrestricted count.

Core claim

The authors show that the restricted counting function that tallies only those orbit points belonging to one given conjugacy class admits an asymptotic expansion of the same form as the classical unrestricted orbital counting problem, with the leading term determined by the topological entropy of the action and a positive multiplicative constant that depends on the chosen class.

What carries the argument

The extension of orbital counting asymptotics to individual conjugacy classes for cocompact and convex cocompact actions on spaces of negative curvature.

If this is right

The same asymptotic law holds for all cocompact actions on manifolds with pinched negative curvature.
The law carries over without change to convex cocompact actions on any CAT(-1) space.
The total orbital asymptotics can be decomposed additively over conjugacy classes.
Each individual conjugacy class contributes a positive proportion of the full count.

Where Pith is reading between the lines

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

The result supplies a refined prime-geodesic theorem that counts closed geodesics lying in a prescribed free homotopy class.
Numerical verification on explicit surface groups would give an immediate test of the constants appearing in the asymptotics.
The technique may adapt to count orbits weighted by characters of the group, yielding L-function analogues for the orbital problem.

Load-bearing premise

The discrete group action must be cocompact or convex cocompact on a space with pinched negative curvature or CAT(-1) geometry.

What would settle it

For a specific cocompact Fuchsian group acting on the hyperbolic plane, compute the number of orbit points inside a fixed non-trivial conjugacy class out to large radius R and check whether this count fails to grow like c times the total orbital count for some positive constant c.

read the original abstract

In this article we consider a restricted orbital counting problem for the action of certain discrete groups on suitable spaces. In particular, we present asymptotics for counting those points in an orbit restricted to a single conjugacy class. A classical example would be cocompact actions of a discrete group acting isometrically on a simply connected manifold with pinched negative curvature. More generally, we obtain results for convex cocompact actions on $CAT(-1)$ spaces.

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 paper extends orbital counting asymptotics to points in a single conjugacy class without changing the leading growth rate.

read the letter

The main thing to know is that this paper shows the number of orbit points in a fixed conjugacy class has the same leading asymptotic as the unrestricted count, for the settings they consider. They achieve this by adding a step that averages over the conjugacy class on top of the usual Patterson-Sullivan and transfer operator methods. The result holds for cocompact isometric actions on pinched negative curvature manifolds and for convex cocompact actions on CAT(-1) spaces. The paper does a decent job laying out the general framework and stating the theorems clearly. It credits the classical results properly and positions the conjugacy restriction as the new element. The potential weak point is the lack of explicit error bounds or examples in the abstract. The full paper needs to confirm that the conjugacy averaging does not degrade the error term. Given the approach, this seems handled, but details on the rates would help. This work is aimed at experts in ergodic theory on hyperbolic spaces who are interested in refined counting problems. A reader who knows the standard orbital counting literature will see the value immediately. It deserves serious peer review. The core idea is straightforward and the hypotheses are standard, so it is worth having referees check the technical implementation of the restriction.

Referee Report

0 major / 3 minor

Summary. The paper establishes asymptotic counting formulas for the number of points in a discrete group orbit that lie in a fixed conjugacy class. The main results apply to cocompact isometric actions on simply connected manifolds with pinched negative curvature and, more generally, to convex cocompact actions on CAT(-1) spaces. The approach combines Patterson-Sullivan measures, mixing of the geodesic flow, and an averaging step over the conjugacy class to obtain a leading-term asymptotic that preserves the usual growth rate.

Significance. If the derivations hold, the work extends classical orbital counting results (e.g., those relying on the Patterson-Sullivan construction and spectral gaps) to a natural restriction by conjugacy class. This could be useful in applications where one needs to count group elements with fixed trace or fixed conjugacy data, such as in dynamics on hyperbolic manifolds or in the study of Kleinian groups. The manuscript uses standard, well-established tools rather than ad-hoc constructions.

minor comments (3)

The abstract and introduction should include a precise statement of the main asymptotic formula (including the leading constant and error term) rather than describing it only qualitatively.
Notation for the conjugacy class and the restricted counting function should be introduced earlier and used consistently throughout the proofs.
A brief comparison with the unrestricted orbital counting result (e.g., the classical case without the conjugacy restriction) would help readers see exactly where the new averaging step enters.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work on orbital counting in conjugacy classes and for the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation relies on standard, externally established tools in hyperbolic dynamics and ergodic theory (Patterson-Sullivan measures, mixing properties of the geodesic flow, and spectral-gap estimates for transfer operators) that predate the paper and are not derived from its own inputs or self-citations. The extension to conjugacy-class restrictions is achieved by an auxiliary averaging argument that preserves the leading asymptotic without reducing to a fitted parameter or self-referential definition. No load-bearing step collapses to an ansatz, renaming, or uniqueness theorem imported from the authors' prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim depends on geometric assumptions about the spaces and group actions that are standard in the literature but not independently verified here.

axioms (2)

domain assumption The space is a simply connected manifold with pinched negative curvature or a CAT(-1) space.
Invoked in the abstract as the setting where the actions occur and asymptotics hold.
domain assumption The group action is cocompact or convex cocompact.
Stated as necessary for the restricted orbital counting results.

pith-pipeline@v0.9.0 · 5354 in / 1248 out tokens · 23212 ms · 2026-05-08T04:28:34.530944+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

78 extracted references · 48 canonical work pages

[1]

Spectral Theory of Infinite-Area Hyperbolic Surfaces , volume =

Borthwick, David , year =. Spectral Theory of Infinite-Area Hyperbolic Surfaces , volume =
[2]

Mark Pollicott , title =
[3]

Patterson, S. J. , TITLE =. Mathematika , FJOURNAL =. 1975 , NUMBER =. doi:10.1112/S0025579300004526 , URL =

work page doi:10.1112/s0025579300004526 1975
[4]

Patterson, S. J. , TITLE =. Ark. Mat. , FJOURNAL =. 1988 , NUMBER =. doi:10.1007/BF02386116 , URL =

work page doi:10.1007/bf02386116 1988
[5]

Acta Mathematica , number =

Dennis Sullivan , title =. Acta Mathematica , number =. 1984 , doi =

1984
[6]

On the hyperbolic orbital counting problem in conjugacy classes , journal=

Parkkonen, Jouni and Paulin, Fr. On the hyperbolic orbital counting problem in conjugacy classes , journal=. 2015 , month=. doi:10.1007/s00209-015-1408-9 , url=

work page doi:10.1007/s00209-015-1408-9 2015
[7]

Lalley , title =

Steven P. Lalley , title =. Acta Mathematica , number =. 1989 , doi =

1989
[8]

2006 , publisher=

Foundations of Hyperbolic Manifolds , author=. 2006 , publisher=

2006
[9]

Thermodynamic Formalism: The Mathematical Structure of Equilibrium Statistical Mechanics , DOI=

Ruelle, David , year=. Thermodynamic Formalism: The Mathematical Structure of Equilibrium Statistical Mechanics , DOI=
[10]

1990 , zbl =

Parry, William and Pollicott, Mark , title =. 1990 , zbl =

1990
[11]

Nussbaum , title =

Roger D. Nussbaum , title =. Duke Mathematical Journal , number =. 1970 , doi =

1970
[12]

, title=

Browder, Felix E. , title=. Mathematische Annalen , year=. doi:10.1007/BF01343363 , url=

work page doi:10.1007/bf01343363
[13]

Spectral theory of infinite-area hyperbolic surfaces ,
[14]

Transactions of the American Mathematical Society , year=

Comparison theorems and orbit counting in hyperbolic geometry , author=. Transactions of the American Mathematical Society , year=
[15]

1995 , edition =

Perturbation theory for linear operators , author =. 1995 , edition =

1995
[16]

The Wiener-Ikehara Theorem by Complex Analysis , volume =

Jaap Korevaar , journal =. The Wiener-Ikehara Theorem by Complex Analysis , volume =
[17]

Statistics in conjugacy classes in free groups , volume =

Kenison, George and Sharp, Richard , year =. Statistics in conjugacy classes in free groups , volume =. Geometriae Dedicata , doi =
[18]

Button, Jack , TITLE =. The. 1998 , MRCLASS =. doi:10.2140/gtm.1998.1.117 , URL =

work page doi:10.2140/gtm.1998.1.117 1998
[19]

, TITLE =

Ratcliffe, John G. , TITLE =. [2019] 2019 , PAGES =. doi:10.1007/978-3-030-31597-9 , URL =

work page doi:10.1007/978-3-030-31597-9 2019
[20]

and Peign\'e, M

Dal'bo, F. and Peign\'e, M. , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1996 , NUMBER =. doi:10.5802/aif.1531 , URL =

work page doi:10.5802/aif.1531 1996
[21]

Pollicott, Mark and Sharp, Richard , TITLE =. Amer. J. Math. , FJOURNAL =. 1998 , NUMBER =

1998
[22]

Bourdon, Marc , title =
[23]

Groups Geom

Cantrell, Stephen and Pollicott, Mark , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2022 , NUMBER =. doi:10.4171/ggd/671 , URL =

work page doi:10.4171/ggd/671 2022
[24]

and Raugi, A

Guivarc'h, Y. and Raugi, A. , TITLE =. Random matrices and their applications (. 1986 , ISBN =. doi:10.1090/conm/050/841080 , URL =

work page doi:10.1090/conm/050/841080 1986
[25]

Topologie du feuilletage fortement stable , JOURNAL =

Dal'bo, Fran. Topologie du feuilletage fortement stable , JOURNAL =. 2000 , NUMBER =. doi:10.5802/aif.1781 , URL =

work page doi:10.5802/aif.1781 2000
[26]

Geodesic and horocyclic trajectories , SERIES =

Dal'Bo, Fran. Geodesic and horocyclic trajectories , SERIES =. 2011 , PAGES =. doi:10.1007/978-0-85729-073-1 , URL =

work page doi:10.1007/978-0-85729-073-1 2011
[27]

1990 , PAGES =

Sur les groupes hyperboliques d'apr\`es. 1990 , PAGES =. doi:10.1007/978-1-4684-9167-8 , URL =

work page doi:10.1007/978-1-4684-9167-8 1990
[28]

, TITLE =

Cannon, James W. , TITLE =. Geom. Dedicata , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF00146825 , URL =

work page doi:10.1007/bf00146825 1984
[29]

Essays in group theory , SERIES =

Gromov, M. , TITLE =. Essays in group theory , SERIES =. 1987 , ISBN =. doi:10.1007/978-1-4613-9586-7\_3 , URL =

work page doi:10.1007/978-1-4613-9586-7 1987
[30]

Roblin, Thomas , TITLE =. M\'em. Soc. Math. Fr. (N.S.) , FJOURNAL =. 2003 , PAGES =. doi:10.24033/msmf.408 , URL =

work page doi:10.24033/msmf.408 2003
[31]

and Hurt, Darren F

Holt, Derek F. and Hurt, Darren F. , TITLE =. J. Symbolic Comput. , FJOURNAL =. 1999 , NUMBER =. doi:10.1006/jsco.1998.0241 , URL =

work page doi:10.1006/jsco.1998.0241 1999
[32]

1993 , address =

Redfern, Ian Douglas , title =. 1993 , address =

1993
[33]

Topology, ergodic theory, real algebraic geometry , SERIES =

Pollicott, Mark and Sharp, Richard , TITLE =. Topology, ergodic theory, real algebraic geometry , SERIES =. 2001 , ISBN =. doi:10.1090/trans2/202/16 , URL =

work page doi:10.1090/trans2/202/16 2001
[34]

, TITLE =

Rips, E. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1982 , NUMBER =. doi:10.1112/blms/14.1.45 , URL =

work page doi:10.1112/blms/14.1.45 1982
[35]

and Delzant, T

Coornaert, M. and Delzant, T. and Papadopoulos, A. , TITLE =. 1990 , PAGES =

1990
[36]

Pacific J

Coornaert, Michel , TITLE =. Pacific J. Math. , FJOURNAL =. 1993 , NUMBER =

1993
[37]

Bourdon, Marc , TITLE =. Enseign. Math. (2) , FJOURNAL =. 1995 , NUMBER =

1995
[38]

Epstein, David B. A. and Cannon, James W. and Holt, Derek F. and Levy, Silvio V. F. and Paterson, Michael S. and Thurston, William P. , TITLE =. 1992 , PAGES =

1992
[39]

and Haefliger, Andr\'

Bridson, Martin R. and Haefliger, Andr\'e , TITLE =. 1999 , PAGES =. doi:10.1007/978-3-662-12494-9 , URL =

work page doi:10.1007/978-3-662-12494-9 1999
[40]

Roblin, Thomas , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2002 , NUMBER =. doi:10.5802/aif.1880 , URL =

work page doi:10.5802/aif.1880 2002
[41]

, TITLE =

Kaimanovich, Vadim A. , TITLE =. Ann. Inst. H. Poincar\'e. 1990 , NUMBER =

1990
[42]

Parry, William and Pollicott, Mark , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/2006982 , URL =

work page doi:10.2307/2006982 1983
[43]

Cantrell, Stephen , TITLE =. Math. Ann. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00208-025-03127-4 , URL =

work page doi:10.1007/s00208-025-03127-4 2025
[44]

2022 , eprint=

The growth of a fixed conjugacy class in negative curvature , author=. 2022 , eprint=

2022
[45]

Huber, Heinz , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1956 , PAGES =. doi:10.1007/BF02564331 , URL =

work page doi:10.1007/bf02564331 1956
[46]

Bowditch, B. H. , TITLE =. Duke Math. J. , FJOURNAL =. 1995 , NUMBER =. doi:10.1215/S0012-7094-95-07709-6 , URL =

work page doi:10.1215/s0012-7094-95-07709-6 1995
[47]

Topology , FJOURNAL =

Champetier, Christophe , TITLE =. Topology , FJOURNAL =. 2000 , NUMBER =. doi:10.1016/S0040-9383(98)00063-9 , URL =

work page doi:10.1016/s0040-9383(98)00063-9 2000
[48]

Margulis, G. A. , TITLE =. Funkcional. Anal. i Prilo zen. , FJOURNAL =. 1969 , NUMBER =

1969
[49]

Huber, Heinz , TITLE =. Math. Ann. , FJOURNAL =. 1959 , PAGES =. doi:10.1007/BF01369663 , URL =

work page doi:10.1007/bf01369663 1959
[50]

Huber, Heinz , TITLE =. Math. Ann. , FJOURNAL =. 1961 , PAGES =. doi:10.1007/BF01470758 , URL =

work page doi:10.1007/bf01470758 1961
[51]

Sullivan, Dennis , TITLE =. Inst. Hautes \'. 1979 , PAGES =

1979
[52]

1983 , PAGES =

Good, Anton , TITLE =. 1983 , PAGES =. doi:10.1007/BFb0073074 , URL =

work page doi:10.1007/bfb0073074 1983
[53]

and Phillips, Ralph S

Lax, Peter D. and Phillips, Ralph S. , TITLE =. J. Functional Analysis , FJOURNAL =. 1982 , NUMBER =. doi:10.1016/0022-1236(82)90050-7 , URL =

work page doi:10.1016/0022-1236(82)90050-7 1982
[54]

Ast\'erisque , FJOURNAL =

Colin de Verdi\`ere, Yves , TITLE =. Ast\'erisque , FJOURNAL =. 1985 , PAGES =

1985
[55]

Dal'bo, Fran coise and Peign\'e, Marc , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1998 , PAGES =. doi:10.1515/crll.1998.037 , URL =

work page doi:10.1515/crll.1998.037 1998
[56]

Pollicott, Mark and Sharp, Richard , TITLE =. Invent. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01232242 , URL =

work page doi:10.1007/bf01232242 1994
[57]

Huber, Heinz , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1998 , PAGES =. doi:10.1515/crll.1998.027 , URL =

work page doi:10.1515/crll.1998.027 1998
[58]

Discrete Math

Douma, Femke , TITLE =. Discrete Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.disc.2010.10.019 , URL =

work page doi:10.1016/j.disc.2010.10.019 2011
[59]

Kenison, George and Sharp, Richard , TITLE =. J. Topol. Anal. , FJOURNAL =. 2017 , NUMBER =. doi:10.1142/S1793525317500261 , URL =

work page doi:10.1142/s1793525317500261 2017
[60]

, TITLE =

Seneta, E. , TITLE =. 2006 , PAGES =

2006
[61]

Groups Geom

Nica, Bogdan and Spakula, J\'an , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2016 , NUMBER =. doi:10.4171/GGD/372 , URL =

work page doi:10.4171/ggd/372 2016
[62]

Ergodic Theory Dynam

Calegari, Danny and Fujiwara, Koji , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2010 , NUMBER =. doi:10.1017/S0143385709000662 , URL =

work page doi:10.1017/s0143385709000662 2010
[63]

Gou\"ezel, S\'ebastien , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/S0894-0347-2014-00788-8 , URL =

work page doi:10.1090/s0894-0347-2014-00788-8 2014
[64]

2024 , eprint=

Central limit theorems for Green metrics on hyperbolic groups , author=. 2024 , eprint=

2024
[65]

Lidski i, V. B. , TITLE =. Z. Vy cisl. Mat i Mat. Fiz. , FJOURNAL =. 1966 , NUMBER =

1966
[66]

Mineyev, Igor , TITLE =. Geom. Topol. , FJOURNAL =. 2005 , PAGES =. doi:10.2140/gt.2005.9.403 , URL =

work page doi:10.2140/gt.2005.9.403 2005
[67]

Cantrell, Stephen and Reyes, Eduardo , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2025 , NUMBER =. doi:10.4171/cmh/579 , URL =

work page doi:10.4171/cmh/579 2025
[68]

Cantrell, Stephen and Tanaka, Ryokichi , TITLE =. J. Mod. Dyn. , FJOURNAL =. 2024 , PAGES =. doi:10.3934/jmd.2024006 , URL =

work page doi:10.3934/jmd.2024006 2024
[69]

Gou\"ezel, S\'ebastien and Math\'eus, Fr\'ed\'eric and Maucourant, Fran cois , TITLE =. Invent. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00222-018-0788-y , URL =

work page doi:10.1007/s00222-018-0788-y 2018
[70]

Applications to non-Archimedean Diophantine approximation , author=

Equidistribution and counting under equilibrium states in negative curvature and trees. Applications to non-Archimedean Diophantine approximation , author=. 2019 , eprint=

2019
[71]

, TITLE =

Chatzakos, Dimitrios and Petridis, Yiannis N. , TITLE =. Forum Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1515/forum-2015-0102 , URL =

work page doi:10.1515/forum-2015-0102 2016
[72]

2021 , eprint=

A conjugacy class counting in Teichmuller space , author=. 2021 , eprint=

2021
[73]

Oh, Hee and Shah, Nimish , TITLE =. Invent. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00222-011-0326-7 , URL =

work page doi:10.1007/s00222-011-0326-7 2012
[74]

, TITLE =

Oh, Hee and Shah, Nimish A. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2013 , NUMBER =. doi:10.1090/S0894-0347-2012-00749-8 , URL =

work page doi:10.1090/s0894-0347-2012-00749-8 2013
[75]

Ergodic Theory Dynam

Parkkonen, Jouni and Paulin, Fr\'ed\'eric , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2014 , NUMBER =. doi:10.1017/etds.2012.192 , URL =

work page doi:10.1017/etds.2012.192 2014
[76]

and Schramm, O

Bonk, M. and Schramm, O. , TITLE =. Selected works of. 2011 , ISBN =. doi:10.1007/978-1-4419-9675-6\_10 , URL =

work page doi:10.1007/978-1-4419-9675-6 2011
[77]

Ergodic Theory Dynam

Tanaka, Ryokichi , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2021 , NUMBER =. doi:10.1017/etds.2020.101 , URL =

work page doi:10.1017/etds.2020.101 2021
[78]

, TITLE =

Swenson, Eric L. , TITLE =. Topology Appl. , FJOURNAL =. 2001 , NUMBER =. doi:10.1016/S0166-8641(99)00166-2 , URL =

work page doi:10.1016/s0166-8641(99)00166-2 2001