arXiv++ Combinatorics

In this paper, we consider the Hessian matrices $H_Γ$ of the complete and complete bipartite graphs, and the special value of $\tilde H_Γ$ at $x_{i}=1$ for all $x_{i}$. We compute the eigenvalues of $\tilde H_Γ$. We show that one of them is positive and that the others are negative. In other words, the metric with respect to the symmetric matrix $\tilde H_Γ$ is Lorentzian. Hence those Hessian $\det (H_Γ)$ are not identically zero. As an application, we show the strong Lefschetz property for the Artinian Gorenstein algebra associated to the graphic matroids of the complete and complete bipartite graphs with at most five vertices.

Boyd (1974) proposed a class of infinite ball packings that are generated by inversions. Later, Maxwell (1983) interpreted Boyd's construction in terms of root systems in Lorentz space. In particular, he showed that the space-like weight vectors correspond to a ball packing if and only if the associated Coxeter graph is of "level $2$." In Maxwell's work, the simple roots form a basis of the representations space of the Coxeter group. In several recent studies, the more general based root system is considered, where the simple roots are only required to be positively independent. In this paper, we propose a geometric version of "level" for the root system to replace Maxwell's graph theoretical "level." Then we show that Maxwell's results naturally extend to the more general root systems with positively independent simple roots. In particular, the space-like extreme rays of the Tits cone correspond to a ball packing if and only if the root system is of level $2$. We also present a partial classification of level-$2$ root systems, namely the Coxeter $d$-polytopes of level-$2$ with $d+2$ facets.

Every Coxeter group admits a geometric representation as a group generated by reflections in a real vector space. In the projective representation space, limit directions are limits of injective sequences in the orbit of some base point. Limit roots are limit directions that can be obtained starting from simple roots. In this article, we study the limit directions arising from any point when the representation space is a Lorentz space. In particular, we characterize the light-like limit directions using eigenvectors of infinite-order elements. This provides a spectral perspective on limit roots, allowing for efficient computations. Moreover, we describe the space-like limit directions in terms of the projective Coxeter arrangement.

In the recent study of infinite root systems, fractal patterns of ball packings were observed while visualizing roots in affine space. In this paper, we show that the observed fractals are exactly the ball packings described by Boyd and Maxwell. This correspondence is a corollary of a more fundamental result: Given a geometric representation of a Coxeter group in a Lorentz space, the set of limit directions of weights equals the set of limit roots. Additionally, we use Coxeter complexes to describe tangency graphs of the corresponding Boyd--Maxwell ball packings. Finally, we enumerate all the Coxeter systems that generate Boyd-Maxwell ball packings.

Ising model without external field on an infinite Lorentzian triangulation sampled from the uniform distribution is considered. We prove uniqueness of the Gibbs measure in the high temperature region and coexistence of at least two Gibbs measures at low temperature. The proofs are based on the disagreement percolation method and on a variant of Peierls method. The critical temperature is shown to be constant a.s.

Let a and b be two positive integers. A culminating path is a path of Z^2 that starts from (0,0), consists of steps (1,a) and (1,-b), stays above the x-axis and ends at the highest ordinate it ever reaches. These paths were first encountered in bioinformatics, in the analysis of similarity search algorithms. They are also related to certain models of Lorentzian gravity in theoretical physics. We first show that the language on a two letter alphabet that naturally encodes culminating paths is not context-free. Then, we focus on the enumeration of culminating paths. A step by step approach, combined with the kernel method, provides a closed form expression for the generating fucntion of culminating paths ending at a (generic) height k. In the case a=b, we derive from this expression the asymptotic behaviour of the number of culminating paths of length n. When a>b, we obtain the asymptotic behaviour by a simpler argument. When a<b, we only determine the exponential growth of the number of culminating paths. Finally, we study the uniform random generation of culminating paths via various methods. The rejection approach, coupled with a symmetry argument, gives an algorithm that is linear when a>= b, with no precomputation stage nor non-linear storage required. The choice of the best algorithm is not as clear when a<b. An elementary recursive approach yields a linear algorithm after a precomputation stage involving O(n^3) arithmetic operations, but we also present some alternatives that may be more efficient in practise.

We investigate models of (1+d)-D Lorentzian semi-random lattices with one random (space-like) direction and d regular (time-like) ones. We prove a general inversion formula expressing the partition function of these models as the inverse of that of hard objects in d dimensions. This allows for an exact solution of a variety of new models including critical and multicritical generalized (1+1)-D Lorentzian surfaces, with fractal dimensions $d_F=k+1$, k=1,2,3,..., as well as a new model of (1+2)-D critical tetrahedral complexes, with fractal dimension $d_F=12/5$. Critical exponents and universal scaling functions follow from this solution. We finally establish a general connection between (1+d)-D Lorentzian lattices and directed-site lattice animals in (1+d) dimensions.