arXiv++ Combinatorics

A polyform is a planar figure formed by gluing congruent regular polygons along entire edges. We study polyforms in hyperbolic ${p,q}$-tessellations and the extremal problem of minimizing the number of tiles needed to realize exactly $h$ holes. Denoting this minimum by $g_{p,q}(h)$, we establish general lower and upper bounds, compute exact values in several small cases, and give a sufficient structural condition for a polyform to have $h$ holes and $g_{p,q}(h)$ tiles.

Hyperbolic uniform disk graphs (HUDGs) are intersection graphs of disks with some radius $r$ in the hyperbolic plane, where $r$ may be constant or depend on the number of vertices in a family of HUDGs. We show that HUDGs with constant clique number do not admit \emph{product structure}, i.e., that there is no constant $c$ such that every such graph is a subgraph of $H \boxtimes P$ for some graph $H$ of treewidth at most $c$. This justifies that HUDGs are described as not having a grid-like structure in the literature, and is in contrast to unit disk graphs in the Euclidean plane, whose grid-like structure is evident from the fact that they are subgraphs of the strong product of two paths and a clique of constant size [Dvořák et al., '21, MATRIX Annals]. By allowing $H$ to be any graph of constant treewidth instead of a path-like graph, we reject the possibility of a grid-like structure not merely by the maximum degree (which is unbounded for HUDGs) but due to their global structure. We complement this by showing that for every (sub-)constant $r$, HUDGs admit product structure, whereas the typical hyperbolic behavior is observed if $r$ grows with the number of vertices. Our proof involves a family of $n$-vertex HUDGs with radius $\log n$ that has bounded clique number but unbounded treewidth, and one for which the ratio of treewidth and clique number is $\log n / \log \log n$. Up to a $\log \log n$ factor, this negatively answers a question raised by Bläsius et al. [SoCG '25] asking whether balanced separators of HUDGs with radius $\log n$ can be covered by less than $\log n$ cliques. Our results also imply that the local and layered tree-independence number of HUDGs are both unbounded, answering an open question of Dallard et al. [arXiv '25].

We study the problem of coded information retrieval for block-structured data, motivated by DNA-based storage systems where a database is partitioned into multiple files that must each be recoverable as an atomic unit. We initiate and formalize the block-structured retrieval problem, wherein $k$ information symbols are partitioned into two files $F_1$ and $F_2$ of sizes $s_1$ and $s_2 = k - s_1$. The objective is to characterize the set of achievable expected retrieval time pairs $\bigl(E_1(G), E_2(G)\bigr)$ over all $[n,k]$ linear codes with generator matrix $G$. We derive a family of linear lower bounds via mutual exclusivity of recovery sets, and develop a nonlinear geometric bound via column projection. For codes with no mixed columns, this yields the hyperbolic constraint $s_1/E_1 + s_2/E_2 \le 1$, which we conjecture to hold universally whenever $\max\{s_1,s_2\} \ge 2$. We analyze explicit codes, such as the identity code, file-dedicated MDS codes, and the systematic global MDS code, and compute their exact expected retrieval times. For file-dedicated codes we prove MDS optimality within the family and verify the hyperbolic constraint. For global MDS codes, we establish dominance by the proportional local MDS allocation via a combinatorial subset-counting argument, providing a significantly simpler proof compared to recent literature and formally extending the result to the asymmetric case. Finally, we characterize the limiting achievability region as $n \to \infty$: the hyperbolic boundary is asymptotically achieved by file-dedicated MDS codes, and is conjectured to be the exact boundary of the limiting achievability region.

In this paper, we investigate the geometric structures of $G$-fans associated with rank $3$ real cluster-cyclic exchange matrices. In this class, a simple recursion for tropical signs was found, which enables us to study the detailed properties of $c$-, $g$-vectors. We introduce two kinds of upper bounds of the $G$-fans. The first one is the global upper bound, which comes from a hyperbolic surface containing all $g$-vectors after an initial mutation. The second one is the local upper bound, which reflects the internal separateness structure. As applications, we prove that there is no periodicity among $g$-vectors, and we completely determine the sign of $g$-vectors. We also prove the monotonicity of $g$-vectors under the minimum assumption. Moreover, we show that the three global upper bounds can be simplified to a single uniform upper bound.

Analogous to Weil-Petersson quasicircles, we investigate infinite circle patterns in the Euclidean plane parameterized by discrete harmonic functions of finite Dirichlet energy. The space of such circle patterns forms an infinite-dimensional Hilbert manifold homeomorphic to the Sobolev space of half-differentiable functions on the unit circle. The Hilbert manifold is equipped with a Riemannian metric induced from the Hessian of a hyperbolic volume functional. We relate this Riemannian metric to the symplectic form on the Sobolev space of half-differentiable functions via an analogue of the Hilbert transform. Every such circle pattern induces a quasiconformal homeomorphism from the unit disk to itself, whose boundary extension belongs to the Weil-Petersson class of the universal Teichmüller space. Our results shed light on Jordan domains packed by infinite circle patterns of hyperbolic type, a subject highlighted by He and Schramm.

Weil-Petersson and Masur-Veech volumes measure the sizes of moduli spaces of Riemann surfaces equipped with hyperbolic and flat metrics, respectively. Over the past several decades, the computation of these volumes has inspired remarkable developments in combinatorial enumeration, intersection theory, and recursion relations. In this survey, we review key results, methods, open problems, as well as interesting parallels that emerge in the approaches to computing both types of volumes.

There are precisely four arrangements of two point-hyperplane anti-flags. We consider the corresponding relations on the set of such anti-flags and show that each of them can be recovered from any other except in one special case. If the field consists of two elements, then one of the relations cannot be used to recover each of the remaining three. This is related to a bijection between anti-flags and exterior points of the hyperbolic polar space which exists in this case.

We study the local limits of uniform random triangulations with boundaries in the regime where the genus is proportional to the number of faces. Budzinski and Louf proved in 2020 that when there are no boundaries, the local limits exist and are the Planar Stochastic Hyperbolic Triangulation (PSHT) introduced in PSHT. We show that when the triangulations considered have size n and boundaries with total length p that tends to infinity with n and p=o(n), the local limits around a typical boundary edge are the half-plane hyperbolic triangulations defined by Angel and Ray. This provides, for the first time, a construction of these hyperbolic half-plane triangulations as local limits of large genus triangulations. We also prove that under the condition p = o(n), the local limit when rooted on a uniformly chosen oriented edge is given by the PSHT. Contrary to the proof of Budzinski and Louf, the latter does not rely on the Goulden-Jackson recurrence relation, but only on coarse combinatorial estimates. Thus, we expect that the proof can be adapted to local limits in similar models.

Quasi-Hermitian varieties arise as higher-dimensional generalizations of non-classical unitals, including the Buekenhout--Metz (BM) and Buekenhout--Tits (BT) families. After reviewing known constructions and structural properties, we determine explicitly the BC representation of BM and BT quasi-Hermitian varieties in $\mathrm{PG}(3,q^2)$ inside $\mathrm{PG}(6,q)$. We prove that BM varieties correspond to quadratic cones with hyperbolic base, whereas BT varieties give rise to non-quadratic cones, and we describe the associated configuration of spread elements in the section at infinity. These results provide a geometric interpretation of the non-classical nature of BM and BT varieties within the BC framework.

The alternating (zigzag) numbers $A_n$, counting the ascending alternating permutations of $\left\{1,\cdots,n\right\}$ and defined by the exponential generating function $\tan x+\sec x$, admit several classical combinatorial and analytic representations. In this work we unify and extend three complementary structures of $A_n$. First, starting from the Stirling number expansion of zigzag numbers, we derive a contour integral representation, as well as a positive Laplace-type integral representation $$ A_n = 2^n \int_0^\infty e^{-y} f_n(y)\, dy, \qquad f_n(y) := \sum_{k=0}^{n} (-1)^k S(n,k) \left(\frac{y}{2}\right)^k, $$ where the kernel $f_n(y)$ is the polynomial generating function of Stirling numbers. A continuous interpolation of the discrete product (falling factorial) is introduced subsequently. This provides a direct analytic bridge between set partitions and Laplace asymptotics. Second, using the partial fraction expansion of $\tan$, we obtain the well-known hyperbolic integral representation $$ A_{2n+1}=\frac{1}π\int_0^\infty\frac{y^{2n+1}}{\sinh(y/2)}\,dy, $$ equivalently expressed in classical $\cosh$ form for $A_{2n}$. This representation interprets zigzag numbers as spectral moments associated with half-integer poles. The connection with Fourier analysis and Mellin transforms is also outlined. Finally, combining spectral expansions with Stirling identities, we derive congruence relations modulo primes for $A_n$. These results exhibit a dual analytic-combinatorial structure of zigzag numbers, linking partition expansions, trigonometric spectra, and arithmetic properties.

There are two objectives to this work: to classify all tame integer tilings and to classify all tame integer hypertilings. Motivation for the first objective comes from Conway and Coxeter's modelling of positive integer friezes using triangulated polygons, which has received significant attention since the discovery of cluster algebras by Fomin and Zelevinsky in 2002. Assem, Reutenauer, and Smith introduced $\text{SL}_2$-tilings as generalisations of friezes, and Bessenrodt, Holm, and Jørgensen classified positive integer $\text{SL}_2$-tilings using infinite triangulated polygons. Here we consider $N$-tilings, of which $\text{SL}_2$-tilings are the case $N=1$. We provide a geometric model for all tame integer $N$-tilings using a generalisation of the Farey graph in the hyperbolic plane. Highlights of this model include classifications of all positive integer $N$-tilings and of all quiddity sequences of positive rational friezes using triangulated polygons. The second objective is motivated by Bhargava's celebrated study of binary quadratic forms using integer cubes and by an observation of Demonet et al.\ that there is essentially only one three-dimensional positive integer tiling with $\text{SL}_2$ cross sections. We consider a richer class of three-dimensional tilings, which we call hypertilings, using the Cayley hyperdeterminant. We classify all tame integer hypertilings using generalised Farey graphs; remarkably, those with Cayley hyperdeterminant 1 prove to have a simple description in terms of triple Hadamard products of integer pairs.

Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. One extreme of the finite problem is single tile tilings. We develop the algorithm for finding all the single tile tilings and present the results for surfaces of small genus.

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.

In this paper, we include some new results for the Lucas calculus. A Lucas-Pantograph type exponential function is introduced. Additionally, we define Lucas-Pantograph type trigonometric functions, and some of their most notable identities are given: parity, sum and difference formulas, Pythagorean identities, double-angle identities, and some special values. Lucas-Pantograph type hyperbolic functions are also introduced.

The Longest Edge Bisection of a triangle is performed by joining the midpoint of its longest edge to the opposite vertex. Applying this procedure iteratively produces an infinite family of triangles. Surprisingly, a classical result of Stynes (1980) shows that for any initial triangle, this infinite family falls into finitely many similarity classes. While the set of classes is finite, it turns out that a far smaller, stable subset of ``fat'' triangles effectively dominates the final mesh structure. We prove the following asymptotic area distribution result: for every initial triangle, the portion of area occupied by terminal quadruples tends to one, with the convergence occurring at an exponential rate. In fact, we provide the precise distribution of triangles in every step. We introduce the {\bf bisection graph} and use spectral methods to establish this result. Given this dominance, we provide a complete characterization of triangles possessing a single terminal quadruple, while conversely exhibiting a sequence of triangles with an unbounded number of terminal quadruples. Furthermore, we reveal several fundamental geometric properties of the points of a terminal quadruple, laying the groundwork for studying the geometric distribution of the entire orbit. Our analysis leverages the hyperbolic geometry framework of Perdomo and Plaza (2014) and refines their techniques.

We introduce triple crossing diagram (TCD) maps, which encode projective configurations of points and lines, as a unified framework for constructions arising in various areas of geometry, such as discrete differential geometry, discrete geometric dynamics and hyperbolic geometry. We define two types of local moves for TCD maps, one of which is governed by the discrete Schwarzian KP (dSKP) equation, and establish their multi-dimensional consistency. We construct two distinct cluster structures on the space of TCD maps, called projective and affine cluster structures, and show that they are related via an operation called section. This framework organizes and unifies a wide range of examples, including Q-nets, Darboux maps, line complexes, T-graphs, t-embeddings, triangulations and geometric discrete integrable systems such as the pentagram map and cross-ratio dynamics, which are further developed in a companion paper and in (arXiv:2108.12692).

We consider the problem of finding the maximum number $e_d(n)$ of pairs of touching circles in a packing of $n$ congruent circles of diameter $d$ in the hyperbolic plane of curvature $-1$. In the Euclidean plane, the maximum comes from a spiral construction of the tiling of the plane with equilateral triangles (Harborth 1974), with a similar result in the hyperbolic plane for the values of $d$ corresponding to the order-$k$ triangular tilings (Bowen 2000). We present various upper and lower bounds for $e_d(n)$ for all values of $d > 0$. In particular, we prove that if $d > 0.66114\dots$ except for $d=0.76217\dots$, then the number of touching pairs is less than the one coming from a spiral construction in the order-$7$ triangular tiling, which we conjecture to be extremal. We also give a lower bound $e_d(n) > (2+\varepsilon_d)n$ where $\varepsilon_d > 1$ for all $d > 0$.

In this note, using some regular triangular tilings of the sphere, the Euclidean plane and the hyperbolic plane, we examine the potential relationship between their discrete Bakry - Emery curvatures and the smooth curvatures of their ambient space forms.

Recently, a tree bijection has been found for planar hyperbolic surfaces, which allows for an easy computation of the Weil--Petersson volumes, and opens the path to get distance statistic on random hyperbolic surfaces and to find scaling limits when the number of boundaries becomes large. Crucially, this tree bijection requires the hyperbolic surface to have at least one cusp as origin, from which point distances are measured. In this paper we will extend this tree bijection, such that having a cusp is no longer required. We will first extend the bijection to half-tight cylinders. Since general planar hyperbolic surfaces can be naturally decomposed in two half-tight cylinders, this general case is also covered. In the half-tight cylinder the distances to the origin are replaced by the so-called Busemann function. This Busemann function is not well-defined on the surface, but it is on the cylinder cover.

The Weil-Petersson volume of genus-g hyperbolic surfaces with geodesic boundaries is known since work of Mirzakhani to be polynomial in the boundary lengths. We provide a bijective proof of this fact in the genus-0 case in the presence of a distinguished cusp. It is based on a generalization of a recent tree bijection, by the first author and Curien, to the setting with geodesic boundaries, requiring an extension of the Bowditch-Epstein-Penner spine construction. As an application of our tree bijection we establish an explicit formula for the distance-dependent three-point function, which records an exact metric statistic measuring the difference of two geodesic distances among a triple of distinguished cusps in a Weil-Petersson random surface. We conclude with a discussion of the relevance of this function to the topological recursion of Weil-Petersson volumes and metric properties of Weil-Petersson random surfaces with many boundaries or cusps.