arXiv++ Combinatorics

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.

We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials.

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.

We consider Eulerian cycles without transversal selfintersections in $4$-valent planar graphs. We prove that any cycle of this type in the graph of an ideal right-angled hyperbolic $3$-polytope corresponds to a hyperbolic link such that its complement consists of $4$-copies of this polytope glued according to its checkerboard coloring. Moreover, this link consists of trivially embedded circles bijectively corresponding to the vertices of the polytope. We prove that there is always at least one Eulerian cycle of this type and introduce a transformation of a cycle along conjugated vertices allowing to build new cycles from a given one. The $2$-fold branched covering space corresponding to our link is a small cover over some simple $3$-polytope. It corresponds to a Hamiltonian cycle on this polytope via the A.D. Mednykh's construction. We show that any Hamiltonian cycle on a compact right-angled hyperbolic $3$-polytope arises in this way, while in the finite volume case the necessary and sufficient condition is that at each ideal vertex it does not go straight. The link corresponding to a Hamiltonian cycle on a simple $3$-polytope always contains the Hopf link consisting of two circles. We consider links corresponding to Hamiltonian theta-graphs and Hamiltonian $K_4$-graphs on simple $3$-polytopes introduced by A.D. Mednykh and A.Yu. Vesnin. We give a criterion when such a link consists of mutually unlinked circles and when it is trivial. We give a necessary condition for such a link to be hyperbolic. The simplest example is the Borromean rings corresponding to the Hamiltonian theta-graph on the cube. We introduce the notions of a nonselfcrossing Eulerian theta-graph and $K_4$-graph on a right-angled hyperbolic $3$-polytope of finite volume with $2$ or $4$ finite vertices and construct the corresponding hyperbolic link.

In this paper, we continue our investigation of double sums where the inner sum is binomial but incomplete. We prove many new results for these types of double sums associated with binomial transform pairs. As applications we deduce new identities for double sums involving special numbers like Bernoulli numbers, Fibonacci numbers, harmonic numbers, Catalan numbers and Stirling numbers of the second kind. We also consider families of polynomials like Fibonacci polynomials, Chebyshev polynomials, Bernoulli polynomials, and others. Finally, we state new double sums involving hyperbolic functions.

Suppose that $X$ is an infinite, connected, locally finite, quasi-transitive graph with the property that every bi-infinite quasi-geodesic uniformly coarsely separates $X$ into exactly two deep pieces. We show that such an $X$ is quasi-isometric to either the Euclidean plane or the hyperbolic plane. In particular, if $X$ is a Cayley graph of a finitely generated group $G$ with the above property, then $G$ is a virtual surface group. This can be interpreted as an extension of the well-known fact that a hyperbolic group with circular boundary is virtually Fuchsian. Our theorem positively resolves Problem 14.98 of the Kourovka Notebook, posed by V. A. Churkin in 1999. The proof uses an isoperimetric inequality of Varopoulos to show that if such a graph has the above property, then either it is hyperbolic or has quadratic growth.

For a graph $G$ with edge set $E$, let $d(w)$ denote the degree of a vertex $w$ in $G$. The hyperbolic Sombor index of $G$ is defined by $$HSO(G)=\sum_{uv\in E}(\min\{d(u),d(v)\})^{-1}\sqrt{(d(u))^2+(d(v))^2}.$$ If $\min\{d(u),d(v)\}$ is replaced with $\max\{d(u),d(v)\}$ in the formula of $HSO(G)$, then the complementary diminished Sombor (CDSO) index is obtained. For two non-adjacent vertices $v$ and $w$ of $G$, the graph obtained from $G$ by adding the edge $vw$ is denoted by $G+vw$. In this paper, we attempt to correct some inaccuracies in the recent work [J. Barman, S. Das, Geometric approach to degree-based topological index: hyperbolic Sombor index, MATCH Commun. Math. Comput. Chem. 95 (2026) 63-94]. We establish a sufficient condition under which $HSO(G+vw) > HSO(G)$ holds, and also provide a sufficient condition guaranteeing $HSO(G+vw) < HSO(G)$. In addition, we give a lower bound on $HSO(G)$ in terms of the order and size of $G$. Furthermore, we obtain similar results for the CDSO index.

The Hyperbolic Sombor index $HSO(G)$ of a graph $G$ is defined as \begin{align*} HSO(G) = \sum_{v_iv_j \in E(G)} \frac{\sqrt{d_i^{2}+d_j^{2}}}{\min\{d_i,d_j\}}, \end{align*} where $d_i$ and $d_j$ denote the degrees of the vertices $v_i$ and $v_j$, respectively. This index was recently introduced by Barman et al. [Geometric approach to degree-based topological index: Hyperbolic Sombor index, MATCH Commun. Math. Comput. Chem. 95 (2026) 63-94], who explored some of its mathematical properties and applications. However, their work contains several inaccuracies that require correction. In this paper, we first identify and rectify the errors found in the earlier study. We then extend the investigation by establishing new mathematical results for the Hyperbolic Sombor index across various classes of graphs, including trees, unicyclic graphs, and bicyclic graphs. In addition, we derive some lower and upper bounds for $HSO(G)$ in terms of the number of edges, maximum degree and minimum degree, and we characterize the graphs that attain these bounds. Finally, we conclude the paper by outlining potential directions for future research in this emerging area.

Markov's equation x^2 + y^2 + z^2 = 3xyz is a widely studied topic in number theory, and the structure of its solutions has profound connections with mathematical fields such as combinatorics, hyperbolic geometry, approximation theory, and cluster algebras. In this paper, we prove that Markov's equation is not partition regular, which also confirms a necessary condition for the Uniqueness Conjecture.

Finding a non-sofic hyperbolic group will resolve two major problems in geometric group theory: Are there non sofic groups? Are there non residually finite hyperbolic groups? In this paper, we propose a new probabilistic approach to this problem, based on the cocycle stability in permutations of random 2-dimensional Linial-Meshulam complexes. Specifically, we study their cocycle stability rate, which measures how far cochains with small coboundaries are from being cocycles. Our main contribution is the following: If, in a middle triangle density range, these random complexes typically have a linear cocycle stability rate, then there exists a non-sofic hyperbolic group. Our proof method is inspired by a well known fact about the non local testability of Sipser-Spielman expander codes.

We give a bijection between the point-hyperplane antiflags of $V(n, 2)$ and the non-singular points of $V(2n, 2)$ with respect to a hyperbolic quadric. With the help of this bijection, we give a description of the strongly regular graph $NO^+(2n, 2)$ in $V(2n, 2)$. We also describe a graph in $V(2n, 2)$ that was recently defined by Stanley and Takeda in $V(n, 2)$.