Local square mean in the hyperbolic circle problem

Andr\'as Bir\'o

arxiv: 2403.16113 · v2 · submitted 2024-03-24 · 🧮 math.NT

Local square mean in the hyperbolic circle problem

Andr\'as Bir\'o This is my paper

Pith reviewed 2026-05-24 02:36 UTC · model grok-4.3

classification 🧮 math.NT

keywords hyperbolic circle problemFuchsian grouperror termlocal square meanL2 normexponential estimate

0 comments

The pith

The local L2 norm of the error in the hyperbolic circle problem is bounded by e to the power (9/14 + ε) R.

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

In the hyperbolic circle problem one counts the number of orbit points of a Fuchsian group inside a hyperbolic ball of large radius R. The best known pointwise bound on the error is of size e to the 2/3 R and has not been improved for any group. For the modular group, local averaging of the error improves the exponent to 7/12 plus epsilon. This paper establishes an intermediate result by bounding the local square mean of the error term by e to the (9/14 + ε) R for general finite volume Fuchsian groups. This provides a saving over the pointwise bound through local L2 averaging over the center.

Core claim

We show that the local L²-norm of the error term admits the bound e^{(9/14 + ε)R}.

What carries the argument

Local averaging of the square of the error term over the center point of the circle.

Load-bearing premise

Averaging the square of the error over centers of circles produces a saving in the exponent below 2/3.

What would settle it

An explicit example or lower bound construction showing that the local L2 norm of the error must sometimes be as large as e to the power (2/3 - δ) R for any δ>0.

read the original abstract

Let $\Gamma\subseteq PSL_2({\bf R})$ be a finite volume Fuchsian group. The hyperbolic circle problem is the estimation of the number of elements of the $\Gamma$-orbit of $z$ in a hyperbolic circle around $w$ of radius $R$, where $z$ and $w$ are given points of the upper half plane and $R$ is a large number. An estimate with error term $e^{{2\over 3}R}$ is known, and this has not been improved for any group. Petridis and Risager proved that in the special case $\Gamma =PSL_2({\bf Z})$ taking $z=w$ and averaging over $z$ locally the error term can be improved to $e^{\left({7\over {12}}+\epsilon\right)R}$. Here we show such an improvement for the local $L^2$-norm of the error term. Our estimate is $e^{\left({9\over {14}}+\epsilon\right)R}$, which is better than the pointwise bound $e^{{2\over 3}R}$ but weaker than the bound of Petridis and Risager for the local average.

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 note claims a 9/14 + ε bound on the local L2 error in the hyperbolic circle problem for general Fuchsian groups, improving the pointwise 2/3 but not the linear 7/12 average.

read the letter

The paper's central claim is that local averaging over the center lets the L2 norm of the error drop to e^{(9/14 + ε)R} for any finite-volume Fuchsian group. This is new relative to the Petridis-Risager linear-mean result, which was stated only for PSL(2,Z) and for a different averaged quantity. The abstract is clear that the square-mean version is distinct and that the exponent sits between the pointwise bound and the earlier linear one.

Referee Report

0 major / 1 minor

Summary. The manuscript claims that for a finite volume Fuchsian group Γ, the local L²-norm of the error term in the hyperbolic circle problem admits the bound e^{(9/14 + ε)R}. This improves on the known pointwise bound e^{2/3 R} but is weaker than the local-average bound e^{(7/12 + ε)R} of Petridis and Risager (for Γ = PSL₂(ℤ) with z = w).

Significance. If the claimed exponent holds, the result would supply a new intermediate bound between pointwise and fully averaged estimates for the hyperbolic circle problem, of interest in analytic number theory and the spectral theory of Fuchsian groups.

minor comments (1)

Only the abstract is supplied; the derivation, spectral estimates, and verification of the 9/14 exponent cannot be inspected.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for summarizing our manuscript. Our result supplies an intermediate bound on the local L² error term that holds for arbitrary finite-volume Fuchsian groups, improving the classical pointwise exponent while remaining weaker than the specialized local-average exponent available only for PSL₂(ℤ) with z = w.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The provided abstract states a new bound on the local L² norm of the error term in the hyperbolic circle problem but supplies no derivation, equations, or internal steps. It cites an external result by Petridis and Risager (distinct authors) for a related special case and contrasts the new exponent 9/14 + ε against the known pointwise 2/3 bound. No self-citations, fitted inputs renamed as predictions, self-definitional relations, or reductions of the claimed result to prior inputs appear. The derivation chain cannot be walked because none is exhibited; the result is presented as an independent estimate.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, invented entities, or non-standard axioms; the setup rests on the standard theory of finite-volume Fuchsian groups.

axioms (1)

domain assumption Standard properties of finite-volume Fuchsian groups acting on the upper half-plane
The entire setup (orbit counting inside hyperbolic circles) presupposes these groups and their fundamental domains.

pith-pipeline@v0.9.0 · 5700 in / 1187 out tokens · 25248 ms · 2026-05-24T02:36:43.389733+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Our estimate is e^{(9/14 + ε)R} … local L²-norm of the error term … class numbers h(t₁²−4, t₂²−4, f) … inner product of automorphic functions Mt1,m1 Mt2,m2
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Alexander duality … D = 3 … 8-tick period … φ-powers

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

Local square mean in the hyperbolic circle problem and sums of Sali\'e sums
math.NT 2026-04 unverdicted novelty 5.0

Conditionally on a twisted Linnik-Selberg-type conjecture for sums of Salié sums, the local square mean of the error in the hyperbolic circle problem for the modular group improves beyond exponent 9/14.