arXiv++ Combinatorics

This article aims to develop the uniformization and boundary theory of random infinite ideal hyperbolic polyhedra (abbr. IHP) and their dual 1-skeleton, i.e., ideal angled graphs (abbr. IAG) from multiple perspectives, including combinatorics, geometry, analysis and random walks. For unimodular random IAG, we establish an ICP analog of the dichotomy theorem of Angel-Hutchcroft-Nachmias-Ray [4,5]. Specifically, the character $T(ρ):=\sum_{e\niρ}Θ_e$ of an IAG, introduced in [40], determines its ICP type: the graph is a.s. ICP-parabolic if and only if $\mathbb{E}[T(ρ)]=2π$. In the ICP-hyperbolic case, the simple random walk converges a.s. to $\partial\mathbb{D}$ with positive hyperbolic speed. Moreover, the geometric, Poisson, Martin, and Gromov boundaries coincide, extending the boundary theory of Angel-Barlow-Gurevich-Nachmias [3] and Hutchcroft-Peres [37] beyond triangulations to cellular decompositions. As a corollary of the aforementioned IHP/IAG duality, we obtain the systematic characterizations of the random IHP. To develop our theory, we strengthen and refine the Ring Lemma of Ge-Yu-Zhou [27] for ICP, which provides quantitative local control of the packing geometry. This key estimate makes it possible to extend the boundary theory beyond triangulations.

Let $G=(V,E)$ be a connected finite graph. In this short paper, we reinvestigate the Kazdan-Warner equation $$Δu=c-he^u$$ with $c<0$ on $G$, where $h$ defined on $V$ is a known function. Grigor'yan, Lin and Yang \cite{GLY} showed that if the Kazdan-Warner equation has a solution, then $\overline{h}$, the average value of $h$, is negative. Conversely, if $\overline{h}<0$, then there exists a number $c_-(h)<0$, such that the Kazdan-Warner equation is solvable for every $0>c>c_-(h)$ and it is not solvable for $c<c_-(h)$. Moreover, if $h\leq0$ and $h\not\equiv0$, then $c_-(h)=-\infty$. Inspired by Chen and Li's work \cite{CL}, we ask naturally: \begin{center} Is the Kazdan-Warner equation solvable for $c=c_-(h)$? \end{center} In this paper, we answer the question affirmatively. We show that if $c_-(h)=-\infty$, then $h\leq0$ and $h\not\equiv0$. Moreover, if $c_-(h)>-\infty$, then there exists at least one solution to the Kazdan-Warner equation with $c=c_-(h)$.

Let $G=(V,E)$ be a connected finite graph and $C(V)$ be the set of functions defined on $V$. Let $Δ_p$ be the discrete $p$-Laplacian on $G$ with $p>1$ and $L=Δ_p-k$, where $k\in C(V)$ is positive everywhere. Consider the operator $L:C(V)\rightarrow C(V)$. We prove that $-L$ is one to one, onto and preserves order. So it implies that there exists a unique solution to the equation $Lu=f$ for any given $f\in C(V)$. We also prove that the equation $Δ_pu=\overline{f}-f$ has a solution which is unique up to a constant, where $\overline{f}$ is the average of $f$. With the help of these results, we finally give various conditions such that the $p$-th Kazdan-Warner equation $Δ_pu=c-he^u$ has a solution on $V$ for given $h\in C(V)$ and $c\in \mathds{R}$. Thus we generalize Grigor'yan, Lin and Yang's work \cite{GLY} for $p=2$ to any $p>1$.

Assume $α\geq p>1$. Consider the following $p$-th Yamabe equation on a connected finite graph $G$: $$Δ_p\varphi+h\varphi^{p-1}=λf\varphi^{α-1},$$ where $Δ_p$ is the discrete $p$-Laplacian, $h$ and $f>0$ are fixed real functions defined on all vertices. We show that the above equation always has a positive solution $\varphi$ for some constant $λ\in\mathds{R}$.