arXiv++ Combinatorics

For free type-preserving discrete actions on the biregular tree $\mathcal T_{r+1,s+1}$, we stratify the critical-exponent spectrum by quotient complexity. The unrestricted spectrum is the full interval $[0,\frac12\log(rs)]$, whereas the finitely generated spectrum is countable and dense and is encoded by the Hashimoto radii of finite typed cores. At fixed rank, finitely many typed kernels parametrize all values, and every nonzero accumulation belongs to a lower-rank stratum. Rank two admits a complete effective inverse classification through the figure-eight, theta, and dumbbell polynomial families.

Let \[ F=\mathbb{F}_q(\!(t^{-1})\!),\qquad G=\mathrm{SL}_2(F),\qquad Γ=\mathrm{SL}_2(\mathbb{F}_q[t]),\qquad X=Γ\backslash G, \] and let $K=\mathrm{SL}_2(\mathcal{O})$, where $\mathcal{O}=\mathbb{F}_q[\![t^{-1}]\!]$. We study right $K$-spherical averages along the upper unipotent subgroup, the horospherical subgroup associated with the standard cusp, on the Nagao lattice quotient. The basic observation is that the $K$-spherical projection converts two natural dynamical families - expanding translates of compact unipotent orbits and cusp-adapted truncations of dense unipotent orbits - into the same rooted descendant problem on the Bruhat--Tits tree. In the even bipartite sector the limiting height law is the explicit probability measure \[ ρ^{\mathrm{ev}}(0)=\frac{q-1}{q},\qquad ρ^{\mathrm{ev}}(2m)=(q^2-1)q^{-2m-1}\qquad (m\ge 1). \] We prove an exact discrepancy formula: in the backward state the error is a pure top-shell term minus a missing tail, while in the forward state the error is a first-turn weighted sum of backward errors. These formulas give quantitative $K$-spherical equidistribution for expanding translates of compact $U$-orbits and for dense-orbit truncations. For compactly supported $K$-spherical observables in the expanding translates of compact orbits, the discrepancy is eventually exactly zero. In the dense case the rate is controlled by the continued-fraction expansion of the boundary point attached to the orbit.

We introduce the \emph{chamber zeta function} for a complex of groups, defined via an Euler product over primitive tailless chamber galleries, extending the Ihara--Bass framework from weighted graphs to higher-rank settings. Let $\mathcal{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_{3}(F)$ for a non-archimedean local field $F$ with residue field $\mathbb{F}_{q}$. For the standard arithmetic quotient $Γ\backslash\mathcal{B}$ with $Γ=\mathrm{PGL}_{3}(\mathbb{F}_{q}[t])$, we prove an Ihara--Bass type \emph{determinant formula} expressing the chamber zeta function as the reciprocal of a characteristic polynomial of a naturally defined chamber transfer operator. In particular, the chamber zeta function is \emph{rational} in its complex parameter. As an application of the determinant formula, we obtain explicit counting results for closed gallery classes arising from tailless galleries in $\mathcal{B}$, including exact identities and spectral asymptotics governed by the chamber operator.

In this paper, we define the edge zeta function of weighted complex. We also present the formula for the edge zeta function of the standard non-uniform complex $\operatorname{PGL}(3,\mathbb{F}_q[t])\backslash\operatorname{PGL}(3,\mathbb{F}_q(\!(t^{-1})\!))/\operatorname{PGL}(3,\mathbb{F}_q[\![t^{-1}]\!])$, arising from the group $\operatorname{PGL}_3$, as a rational function. Applying trunction in a specific direction is one of the main ingredient. As a result, we obtain the exact formula for the number of closed cycles coming from geodesics in the building.

Let $F$ be a field of formal series over a finite field and $\mathcal{B}_d$ be the affine building associated to $PGL_d(F)$. Given a lattice $Γ$ in $PGL_d(F)$, the complex arising as a quotient $Γ\backslash \mathcal{B}_d$ is called weakly Ramanujan if every non-tivial discrete simultaneous spectrum of the colored adjacency operators $A_1,A_2,\ldots,A_{d-1}$ acting on $L^2(Γ\backslash \mathcal{B}_d)$ is contained in the simultaneous spectrum of those operators acting on $L^2(\mathcal{B})$. In this paper, we prove that the standard non-uniform arithmetic quotient $PGL_4(\mathbb{F}_q[t])\backslash \mathcal{B}_4$ of $PGL_4(F)$ is weakly Ramanujan.

We investigate the automorphic spectra of the natural weighted adjacency operator on the complex arising as a $PGL(3,\mathbb{F}_q[t])$ quotient of $\widetilde{A}_2$-type building. We prove that the set of non-trivial approximate eigenvalues $(λ^+,λ^-)$ of the weighted adjacency operators $A_w^\pm$ on the quotient induced from the colored adjacency operators $A^\pm$ on the building for $PGL_3$ contains the simultaneous spectrum of $A^\pm$ and another hypocycloid with three cusps. As a byproduct, we re-establish a proof of the fact that $PGL(3,\mathbb{F}_q[t])\backslash PGL(3,\mathbb{F}_q(\!(t^{-1})\!))/PGL(3,\mathbb{F}_q[\![t^{-1}]\!])$ is not a Ramanujan complex, from a combinatorial aspect.

We study the set of critical exponents of discrete groups acting on regular trees. We prove that for every real number $δ$ between $0$ and $\frac{1}{2}\log q$, there is a discrete subgroup $Γ$ acting without inversion on a $(q+1)$-regular tree whose critical exponent is equal to $δ$. Explicit construction of edge-indexed graphs corresponding to a quotient graph of groups are given.