Manhattan Curve: Thermodynamic & Geometric Analysis

• The Manhattan curve is a convex thermodynamic locus defined as the boundary where a weighted Poincaré series reaches a critical exponent of one, comparing hyperbolic structures with precision.
• It is examined using pressure formalism and symbolic dynamics, which reveal its analytic, convex, and rigidity properties in quantifying growth rates and length spectra.
• Generalizations extend the concept to hyperbolic groups, higher-dimensional manifolds, and complex dynamics, linking translation metrics, multifractal spectra, and equilibrium states.

Searching arXiv for recent and foundational papers on “Manhattan curve” to ground the article in the literature. The Manhattan curve is a convex thermodynamic object attached to a pair of structures that carry comparable length data. In the classical surface setting, it is associated with two hyperbolic structures on the same surface and records the weighted exponential growth of closed geodesic lengths; in equivalent formulations it is the locus where a weighted Poincaré series has critical exponent $1$, or where an associated pressure vanishes. In current arXiv literature, the same idea appears for pairs of left-invariant hyperbolic metrics on hyperbolic groups, as the $n=1$ case of a higher-dimensional Manhattan manifold, and for pairs of hyperbolic holomorphic dynamical systems where geodesic lengths are replaced by logarithmic multiplier or Jacobian growth (Kao, 2018, Cantrell et al., 2021, Cantrell et al., 2024, Bianchi et al., 17 Aug 2025).

1. Classical definition on hyperbolic surfaces

For a surface $S$ with negative Euler characteristic and Fuchsian representations

$$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$

the cusped-surface formulation begins with the weighted Manhattan distance

$$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$

where $o=(o_1,o_2)\in \mathbb H\times \mathbb H$. The associated Poincaré series is

$$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$

with critical exponent $\delta_{\rho_1,\rho_2}^{a,b}$. The Manhattan curve is then

$$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$

equivalently the boundary of the set where $Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$ (Kao, 2018).

This definition expresses the curve as a comparison object for two marked length spectra. At the level of closed geodesics, the relevant data are the lengths $n=1$0 and $n=1$1, and the weighted functional $n=1$2 determines the growth rate. The literature cited in the arXiv record places this construction in the line of work associated with Burger and Sharp, and the cusped case extends that theory from convex-cocompact settings to non-compact surfaces with cusps (Kao, 2018).

A parallel group-theoretic formulation replaces surface geodesic lengths by stable translation lengths or ordinary displacement growth. For a non-elementary hyperbolic group $n=1$3 and metrics $n=1$4, one defines

$n=1$5

and

$n=1$6

The Manhattan curve $n=1$7 is the boundary of the convergence set of $n=1$8, and equivalently the graph $n=1$9, where $S$0 is the abscissa of convergence in $S$1 of $S$2 (Cantrell et al., 2021).

2. Pressure formalism and regularity theory

A central feature of the Manhattan curve is that it is not merely a convergence boundary. In the cusped-surface setting, under the hypotheses of boundary-preserving isomorphism and the extended Schottky condition, Dal’Bo–Peigné coding yields a topologically mixing countable Markov shift $S$3 with the BIP property and locally Hölder geometric potentials $S$4 encoding the two length spectra. The Manhattan curve is exactly the pressure-zero locus

$S$5

and for each $S$6 there exists a unique $S$7 such that

$S$8

The same framework exhibits a genuinely cuspidal phase transition: $S$9 Within its domain of finiteness, the pressure is analytic, and the Manhattan curve is real analytic (Kao, 2018).

The pressure formulation persists in later generalizations. In complex dynamics, for $$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$0 in the same hyperbolic component of $$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$1, the weighted Poincaré series defines a critical exponent $$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$2, and the Manhattan curve is

$$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$3

With $$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$4, the curve is equivalently

$$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$5

which is the direct analogue of the surface-theoretic zero-pressure description (Bianchi et al., 17 Aug 2025).

These formulations explain why the Manhattan curve is routinely studied by thermodynamic formalism rather than by elementary orbit counting alone. The object is defined by growth, but its regularity and rigidity are extracted from pressure, equilibrium states, and symbolic or dynamical codings. This suggests that the term denotes not an arbitrary weighted-growth graph, but a specific critical-exponent/pressure locus.

3. Geometric meaning, slopes, and rigidity

The curve packages comparison data between two length structures, and its differential geometry carries explicit meaning. In the cusped-surface setting, if the curve is locally written as $$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$6, then

$$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$7

so the tangent slope is an average ratio of the two geometric potentials under the equilibrium state at that point. The same paper proves that the curve is convex and continuous in general, real analytic in the extended Schottky setting, strictly convex unless the two representations are conjugate in $$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$8, and a straight line if and only if they are conjugate (Kao, 2018).

For hyperbolic groups, the derivative takes a directly metric form. The function $$\rho_1,\rho_2:\pi_1(S)\to \mathrm{PSL}(2,\mathbb R),$$9 is continuously differentiable, and for every $$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$0,

$$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$1

where $$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$2 is the almost sure local intersection number determined by the corresponding boundary measure. The slope therefore records the typical asymptotic ratio between the two metrics along generic rays. The same work proves that $$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$3 is a straight line if and only if $$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$4 and $$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$5 are roughly similar, and if $$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$6 and $$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$7 are strongly hyperbolic then the Manhattan curve is twice continuously differentiable (Cantrell et al., 2021).

This rigidity has a quantitative form at the intercept $$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$8. The mean distortion

$$d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)=a\,d(o_1,\rho_1(\gamma)o_1)+b\,d(o_2,\rho_2(\gamma)o_2),$$9

exists and satisfies

$o=(o_1,o_2)\in \mathbb H\times \mathbb H$0

Equality is equivalent to proportional stable translation lengths and to rough similarity of the two metrics (Cantrell et al., 2021).

In complex dynamics, the rigidity statement has the same formal shape but different content. The Manhattan curve $o=(o_1,o_2)\in \mathbb H\times \mathbb H$1 is a straight line if and only if the marked length spectra of $o=(o_1,o_2)\in \mathbb H\times \mathbb H$2 and $o=(o_1,o_2)\in \mathbb H\times \mathbb H$3 are proportional. Its special point with tangent slope $o=(o_1,o_2)\in \mathbb H\times \mathbb H$4 controls the asymptotic correlation of multiplier spectra: if $o=(o_1,o_2)\in \mathbb H\times \mathbb H$5 is the unique point on $o=(o_1,o_2)\in \mathbb H\times \mathbb H$6 where the tangent has slope $o=(o_1,o_2)\in \mathbb H\times \mathbb H$7, then the correlation number is

$o=(o_1,o_2)\in \mathbb H\times \mathbb H$8

and appears in the asymptotic

$o=(o_1,o_2)\in \mathbb H\times \mathbb H$9

Thus the geometry of the curve is not decorative; it determines a concrete asymptotic counting exponent (Bianchi et al., 17 Aug 2025).

4. Hyperbolic groups, higher-dimensional analogues, and Manhattan manifolds

The hyperbolic-group version abstracts the surface picture to any non-elementary hyperbolic group equipped with left-invariant hyperbolic metrics quasi-isometric to a word metric. The intercepts

$$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$0

are determined by the exponential volume growth rates of the two metrics, and the curve is the graph of a convex function $$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$1. Beyond its $$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$2 and, in stronger settings, $$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$3 regularity, this framework connects the Manhattan curve to Patterson–Sullivan theory, topological flows, multifractal spectra, and large deviations. For example,

$$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$4

so the multifractal spectrum is the Legendre transform of the Manhattan curve (Cantrell et al., 2021).

A further generalization replaces a pair of metrics by an $$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$5-tuple of hyperbolic metric potentials $$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$6 together with a reference $$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$7. The resulting object is the Manhattan manifold

$$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$8

where $$Q_{\rho_1,\rho_2}^{a,b}(s)=\sum_{\gamma\in \pi_1(S)}\exp\!\left(-s\,d_{\rho_1,\rho_2}^{a,b}(o,\gamma o)\right),$$9 is the critical exponent of

$\delta_{\rho_1,\rho_2}^{a,b}$0

When $\delta_{\rho_1,\rho_2}^{a,b}$1, this is exactly the usual Manhattan curve. The higher-dimensional theory proves that $\delta_{\rho_1,\rho_2}^{a,b}$2 is $\delta_{\rho_1,\rho_2}^{a,b}$3, strictly convex under independence, and that

$\delta_{\rho_1,\rho_2}^{a,b}$4

with $\delta_{\rho_1,\rho_2}^{a,b}$5 a homeomorphism onto the interior of the joint translation spectrum (Cantrell et al., 2024).

This identifies the classical curve as the one-dimensional face of a broader convex-analytic duality. The Manhattan manifold plays for translation cones and joint translation spectra the role that the ordinary Manhattan curve plays for two-metric distortion.

5. Complex-dynamical formulation

In complex dynamics, the Manhattan curve is defined for a pair of hyperbolic rational maps or, more generally, hyperbolic holomorphic endomorphisms of $\delta_{\rho_1,\rho_2}^{a,b}$6. Fixing $\delta_{\rho_1,\rho_2}^{a,b}$7 in the same hyperbolic component and Hölder conjugacies $\delta_{\rho_1,\rho_2}^{a,b}$8, the weighted Poincaré series is

$\delta_{\rho_1,\rho_2}^{a,b}$9

The corresponding critical exponent $$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$0 gives the Manhattan curve

$$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$1

Here logarithmic Jacobian growth replaces geodesic length, in the spirit of Sullivan’s dictionary (Bianchi et al., 17 Aug 2025).

The paper proves the same structural properties familiar from surfaces. The curve has intercepts

$$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$2

is real-analytic, is convex, and is a straight line if and only if the marked length spectra are proportional. In dimension $$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$3, the intercepts become

$$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$4

The object therefore compares two dynamical systems by packaging their periodic-orbit Jacobian growth into the same convex thermodynamic curve (Bianchi et al., 17 Aug 2025).

Its importance in that setting is sharpened by counting results. For a hyperbolic endomorphism $$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$5,

$$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$6

when $$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$7 is not cohomologous to a constant, and for two systems the simultaneous multiplier-counting function satisfies

$$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$8

The correlation number $$\mathcal C(\rho_1,\rho_2)=\{(a,b)\in D:\delta^{a,b}=1\},$$9 is recovered from the curve by the tangent-slope-$Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$0 condition. This is the direct dynamical analogue of the classical correlation-number theorem for pairs of hyperbolic surfaces (Bianchi et al., 17 Aug 2025).

6. Terminological scope and common ambiguities

The named object “Manhattan curve” should be distinguished from several unrelated “Manhattan” constructions in the arXiv literature. One recurring source of confusion is the random walk on the Manhattan lattice. The paper “The mean square displacement of random walk on the Manhattan lattice” studies the exact function

$Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$1

and shows that it is asymptotically linear in $Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$2, but it explicitly states that it is not about a standard object called the Manhattan curve; at most, one may informally speak of a curve $Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$3 (Beaton et al., 2022).

A second source of ambiguity comes from computational geometry and rectilinear network design. Papers on generalized minimum Manhattan networks, minimum Manhattan networks, and bidirected minimum Manhattan networks study Manhattan paths, M-paths, and rectilinear networks under the $Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$4-metric. Their core objects are axis-parallel shortest paths and networks realizing such paths, not the thermodynamic or critical-exponent object called the Manhattan curve (Das et al., 2012, Sanim et al., 2024, Catusse et al., 2011).

A third nearby usage occurs in multidimensional graph flows. “Manhattan and Chebyshev flows” defines the Manhattan flow number $Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$5 via the annulus

$Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$6

and in dimension $Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$7 the closest geometric boundary is the diamond-shaped $Q_{\rho_1,\rho_2}^{a,b}(1)<\infty$8-sphere. The paper explicitly notes that the term “Manhattan curve” does not appear there (Gáborik et al., 25 Oct 2025).

A plausible implication is that the expression “Manhattan curve” is most precise when reserved for the convex critical-exponent or pressure-zero locus attached to a pair of hyperbolic structures, metrics, or dynamical systems, and that other Manhattan-metric objects are better named by the paper-specific terms already established in those literatures.