[Paper Review] An explicit formula for the discrete power function associated with circle patterns of Schramm type

Hisashi Ando, Mike Hay+2 more|arXiv (Cornell University)|May 9, 2011

Polynomial and algebraic computation16 references3 citations

TL;DR

This paper presents an explicit formula for the discrete power function associated with Schramm-type circle patterns using hypergeometric τ functions of the sixth Painlevé equation. It extends the domain to a discrete Riemann surface and proves the immersion property when the real part of the exponent γ is one, providing a direct link between discrete analytic functions and integrable systems via Painlevé transcendents.

ABSTRACT

We present an explicit formula for the discrete power function introduced by Bobenko, which is expressed in terms of the hypergeometric τfunctions for the sixth Painlevé equation. The original definition of the discrete power function imposes strict conditions on the domain and the value of the exponent. However, we show that one can extend the value of the exponent to arbitrary complex numbers except even integers and the domain to a discrete analogue of the Riemann surface. Moreover, we show that the discrete power function is an immersion when the real part of the exponent is equal to one.

Motivation & Objective

• To establish an explicit representation of the discrete power function in terms of hypergeometric τ functions of the sixth Painlevé equation.
• To generalize the domain of the discrete power function beyond ℤ²₊ to a discrete analogue of the Riemann surface.
• To extend the exponent γ to arbitrary complex numbers except even integers, overcoming prior restrictions in the original definition.
• To prove the immersion property of the discrete power function when the real part of γ equals one.
• To provide a direct and explicit formula that improves upon indirect or restricted representations previously known.

Proposed method

• Derives an explicit formula for the discrete power function on ℤ²₊ using the hypergeometric τ functions associated with the sixth Painlevé equation.
• Applies the affine Weyl group action Ŵ(D₄⁽¹⁾) to derive bilinear relations among τ functions.
• Uses translation operators T₁₄ⁿ′T̂₃₄ᵐT̂₄₀ˡT̂₁₃ᵏ to generate recurrence relations for τ functions across lattice points.
• Applies Hirota’s differential operator D to derive bilinear identities connecting τ functions and their shifts.
• Establishes correspondence between the discrete power function and solutions of the Painlevé VI equation via τ function identities.
• Employs the initial conditions f₀₀=0, f₁₀=1, f₀₁=e^{γπi/2} to anchor the solution on the lattice.

Experimental results

Research questions

• RQ1 Can an explicit formula be derived for the discrete power function using hypergeometric τ functions of the sixth Painlevé equation?
• RQ2 How can the domain of the discrete power function be extended beyond ℤ²₊ to a discrete Riemann surface?
• RQ3 For which values of the complex exponent γ is the discrete power function an immersion?
• RQ4 What is the relationship between the discrete power function and the Painlevé VI equation in terms of τ functions?
• RQ5 Can the immersion property be rigorously proven for the case Re(γ)=1?

Key findings

• An explicit formula for the discrete power function is derived on ℤ²₊ for all γ ∈ ℂ \ 2ℤ using hypergeometric τ functions of the sixth Painlevé equation.
• The domain of the discrete power function is extended to a discrete analogue of the Riemann surface, allowing for multivalued behavior.
• The immersion property is rigorously proven for the case where Re(γ) = 1, indicating a geometrically well-behaved discrete conformal map.
• The discrete power function satisfies a system of bilinear relations derived from the affine Weyl group Ŵ(D₄⁽¹⁾) and translation operators.
• The formula provides a direct connection between discrete analytic functions and Painlevé transcendents, resolving a gap in prior indirect representations.
• The derivation confirms that the discrete power function is an immersion when Re(γ) = 1, supporting its role as a discrete analogue of the holomorphic power function in the continuous case.