arXiv++ Combinatorics

We study higher cluster tilting objects through covering functors from derived categories of hereditary algebras. The covering formalism reduces the existence problem to the equivariant problem of finding \(G\)-stable \(d\)-cluster tilting objects in \(d\)-cluster categories. For triangulated categories with finitely many indecomposable objects this gives a complete ADE existence criterion and explicit counting formulas. We also prove that, in finite Frobenius models, the endomorphism algebras of all \(d\)-cluster tilting objects are derived equivalent. Applications are given to Cohen--Macaulay finite categories, finite noncommutative crepant resolutions, and rigidity dimensions of representation-finite self-injective algebras.

This paper is the third part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$. As in the previous two papers, we continue to focus on gentle trees $(Q,R)$. Via a modified surface model for gentle algebras with finite global dimension, we developed combinatorial, poset, and quiver representation techniques that allow one to calculate all the resolving subcategories of $\mathbb{K}Q/\langle R \rangle$-mod. Furthermore, they enable one to calculate the resolving subcategory generated by any collection of $\mathbb{K}Q/\langle R \rangle$-modules. In this paper, based on those techniques, we give a combinatorial realization of the Auslander--Reiten one-to-one correspondence between resolving subcategories and tilting modules in $\mathbb{K}Q/\langle R \rangle$-mod.

We consider three categories arising from the higher Auslander algebras of type $A$ in relation to $d$-dimensional cluster combinatorics: $d$-exact subcategory of the module category of $A^d_{n+1}$ generated by the $d$-cluster-tilting object, the $(d+2)$-angulated cluster category, and the $d$-almost positive subcategory of the derived category (the higher analogue of the category of two-term complexes of projectives). We show that the third one, introduced by the second-named author, is the $d$-exangulated quotient of the other two, introduced by Oppermann and Thomas, by the ideals generated by morphisms factoring through morphisms from injective to projective objects, thus providing an algebraic connection between the two models of Oppermann-Thomas. This is a $d$-exangulated version in type $A$ of a result of Brüstle and Yang and its interpretation by the first-named author together with Fang, Palu, Plamondon and Pressland. It also explains a well-known coincidence between the number of 2-term silting complexes in type $A_{n}$ and of tilting modules in type $A_{n+1}$ from the $0$-Auslander perspective. We expect this to serve as a prototypical example of the $0$-Auslander correspondence in higher homological algebra.

We establish the foundations of categorical weave calculus, developing the diagrammatic calculus of weaves and braid varieties within the study of Calabi-Yau triangulated categories and cluster tilting theory. This is achieved by associating a perverse sheaf of triangulated categories to each Demazure weave. A central contribution is the construction and study of the categorical Lusztig cycles and their duals, which we show form simple-minded and silting collections in the category of global sections of such a sheaf of categories. These categorical collections are built using the diagrammatics of weaves and we study their behavior under changes of weaves. For instance, we show that they undergo tilts under weave mutations. En route, we develop the study of categorical weighted braid words, as canonical rigid filtered dg modules over derived preprojective algebras, and the categorical incarnation of the tropical Lusztig rules, as a gluing mechanism for such filtered objects. Appendix A contains homological results, providing a novel construction of simple-minded and silting collections from full exceptional collections, and characterizing when these arise from a highest weight structure on an abelian category.

For a finite dimensional algebra $A$, the TF equivalence on the real Grothendieck group $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ can be regarded as a completion of the $g$-fan. For example, the silting cones $C^\circ(U)$ of 2-term presilting complexes $U$ give the most fundamental family of TF equivalence classes. The next step is studying the TF equivalence classes around each silting cone $C^\circ(U)$. Thus, in this paper, we investigate the closed interval neighborhood $D(U)$ of $C^\circ(U)$. As our main result, we give a $2^{|U|}:1$ correspondence between the TF equivalence classes in $D(U)$ and those in $K_0(\operatorname{\mathsf{proj}} B)_\mathbb{R}$, where $B$ is the algebra appearing in the $τ$-tilting reduction at $U$. For this purpose, we give an explicit description of defining inequalities and the faces of $D(U)$ as a polyhedral cone, by using 2-term simple-minded collections and $M$-TF equivalences.

We prove that for any $\mathbb{N}$-graded Gorenstein tiled order $A$, the stable category $\underline{\mathrm{CM}}^{\mathbb{Z}}A$ is triangle equivalent to the perfect derived category of the incidence algebra of a finite poset $\mathbb{V}_A^{op}$. Moreover, for a finite poset $P$, we prove that the incidence algebra of $P$ can be realized as the endomorphism algebra of a standard tilting object if and only if $P$ is either empty or has the maximum. We also study the behaviors of the corresponding poset under graded Morita equivalences and coverings of a Gorenstein tiled order. Finally, we classify Gorenstein tiled orders $A$ satisfying $|\mathbb{V}_A^{op}|\leq 3$.

Ferromagnetic exponential random graph models (ERGMs) are random graph models under which the presence of certain small structures (such as triangles) is encouraged; they can be constructed by tilting an Erdős--Rényi model by the exponential of a particular nonlinear Hamiltonian. These models are mixtures of metastable wells which each behave macroscopically like an Erdős--Rényi model, exhibiting the same laws of large numbers for subgraph counts [CD13]. However, on the microscopic scale these metastable wells are very different from Erdős--Rényi models, with the total variation distance between the two measures tending to 1 [MX23]. In this article we clarify this situation by providing a sharp (up to constants) bound on the Hamming-Wasserstein distance between the two models, which is the average number of edges at which they differ, under the coupling which minimizes this average. In particular, we show that this distance is $Θ(n^{3/2})$, quantifying exactly how these models differ. An upper bound of this form has appeared in the past [RR19], but this was restricted to the subcritical (high-temperature) regime of parameters. We extend this bound, using a new proof technique, to the supercritical (low-temperature) regime, and prove a matching lower bound which has only previously appeared in the subcritical regime of special cases of ERGMs satisfying a "triangle-free" condition [DF25]. To prove the lower bound in the presence of triangles, we introduce an approximation of the discrete derivative of the Hamiltonian, which controls the dynamical properties of the ERGM, in terms of local counts of triangles and wedges (two-stars) near an edge. This approximation is the main technical and conceptual contribution of the article, and we expect it will be useful in a variety of other contexts as well. Along the way, we also prove a bound on the marginal edge probability under the ERGM via a new bootstrapping argument. Such a bound has already appeared [FLSW25], but again only in the subcritical regime and using a different proof strategy.

Flow polytopes of acyclic oriented graphs arise naturally in combinatorial optimization, and the study of their volumes and triangulations has revealed intriguing connections across combinatorics, geometry, algebra, and representation theory. In this work, we introduce the framing lattice associated with a framed graph, whose Hasse diagram is dual to a framed triangulation of the corresponding flow polytope. Framing lattices are remarkable in that they provide a unifying framework encompassing many classical and well-studied lattice structures, including the Boolean lattice, the Tamari lattice, and the weak order on permutations. They further subsume a broad array of examples such as all type-A Cambrian lattices, the Grassmann and grid-Tamari lattices, the alt-$ν$-Tamari and cross-Tamari lattices, the permutree lattices, and the $τ$-tilting posets of certain gentle algebras. We show, among several foundational structural properties, that the framing lattice is a semidistributive, congruence uniform, and polygonal lattice, with its polygons consisting of squares, pentagons, and hexagons. We study its connections to noncrossing partitions via Reading's core label orders, simple representations of its join and meet irreducible elements, and several of its lattice congruences and quotients induced by a graph operation called an M-move.

We show that for $2\le d\le 4$, every finite geometric simplicial complex $Δ$ in $\mathbb{R}^d$ with vertices on the moment curve can be extended to a triangulation $T$ of the cyclic polytope $C$ where $Δ, T$ and $C$ all have the same vertex set. Further, for $d\ge 5$ we construct for every $n\ge d+3$ complexes $Δ$ on $n$ vertices for which no such triangulations $T$ exist. Our result for $d=4$ has the following novel algebraic application, due to a correspondence by Oppermann and Thomas (JEMS, 2012): every maximal rigid object in $\mathcal{O}_{A_n^{2}}$ is cluster tilting, where $\mathcal{O}_{A_n^δ}$ denotes a higher dimensional cluster category introduced by Oppermann and Thomas for $A_n^δ$, where $A_n^δ$ denotes a higher Auslander algebra of linearly oriented type $A$.

We study the asymptotic size of decompositions of tensor powers of tilting modules for quantum groups (mostly at a complex root of unity). In type A1 we obtain a sharp result for the number of indecomposable summands, explained by a one dimensional half-line random walk with a periodic congruence constraint. In general type we prove a universal law: the dominant part is governed only by the dimension of the module, while the correction depends only on the root system, so the asymptotic size is largely independent of the specific tilting module.

In the first part of the paper, we study the inversion statistic of random permutations under the family $(\mathbb{P}_θ^{(n)})_{θ\ge 0}$ of Ewens sampling distributions on $S_n$. We obtain a rather simple exact formula for the expected number of inversions under $\mathbb{P}_θ^{(n)}$. In particular, we show that this expected number of inversions is decreasing in the tilting parameter $θ$ for any $n$ and that it is convex in $θ$ for $n \not \in \{3,4\}$ only. Furthermore, we derive an exact formula for the probability that a specific pair of indices $(i,j) \in \{1,\dots,n\}^2$ is inverted and show that this probability is decreasing in $θ$ if and only if $|j-i| \ge 2$ holds. We also exhibit the asymptotic behavior of these quantities as $n \to \infty$ and $θ\to \infty$. In the second part of our paper, we analyze the inversion statistic of random permutations under~$(\mathbb{P}_θ^{(n)})_{θ> 0}$ conditioned on having a prescribed number of fixed points. Again, we obtain exact formulas for the expected number of inversions and for the probability that a specific pair of indices is inverted. Since, as expected, the resulting formulas are rather complicated, we focus on the asymptotic behavior of these quantities as $n \to \infty$, $θ\to \infty$ and $θ\to 0$.

We introduce a rather natural family of non-uniform distributions on $PF_n$, $n\in\mathbb{N}$, the set of parking functions of length $n$. One of the motivations for this comes from a similar situation in the context of integer partitions. For a permutation $σ\in S_n$ and for $j\in[n]$, let $I_{n,<j}(σ)$ denote the number of inversions in $σ$ that involve the number $j$ and a number less than $j$. Let $\tilde I_{n,<j}(σ)=I_{n,<j}(σ)+1$. The map $(σ,τ)\to\left(\tilde I_{n,<τ_1}(σ),\cdots, \tilde I_{n,< τ_n}(σ)\right)$ maps $S_n\times S_n$ onto $PF_n$. Consider the family of distributions $P_n^{(q)}\times P_n$, $q\in(0,\infty)$, on $S_n\times S_n$, where $P_n$ is the uniform distribution on $S_n$ and $P_n^{(q)}$ is the Mallows distribution with parameter $q$ on $S_n$. The Mallows distributions are defined by exponential tilting via the inversion statistic. For each $q>0$, the above map along with the distribution $P_n^{(q)}\times P_n$ induces an exchangeable distribution $\mathcal{P}_n^{(q)}$ on $PF_n$. We study the asymptotic behavior of two fundamental statistics of parking functions under the family of distributions $\mathcal{P}_n^{(q)}$.

On one hand, exact structures were introduced by D. Quillen in the '70s. They can be defined as collections of short exact sequences in a fixed abelian category satisfying additional properties. On the other hand, in a recent work, A. Garver, R. Patrias, and H. Thomas introduced Jordan recoverability. Given a bounded quiver $(Q,R)$, a full additive subcategory of $\operatorname{rep}(Q,R)$ is said to be Jordan recoverable if any $X \in \mathscr{C}$ can be recovered, up to isomorphism, from the Jordan form of its generic nilpotent endomorphisms. Such a subcategory $\mathscr{C}$ is said to be canonically Jordan recoverable if, moreover, there exists a precise algebraic procedure that allows one to get back $X \in \mathscr{C}$ from that same Jordan form data. We introduce a new family of operators, called Gen-Sub operators $\operatorname{GS}_\mathcal{E}$, parametrized by the exact structures $\mathcal{E}$ of abelian categories. After showing some properties of those operators in hereditary abelian categories, by focusing on the setting of modules over type $A$ quivers endowed with the diamond exact structure $\mathcal{E}_\diamond$, we establish that the maximal canonically Jordan recoverable subcategories are precisely of the form $\operatorname{GS}_{\mathcal{E}_\diamond}(T)$ for some tilting object $T$.

We provide a combinatorial description of morphisms in the coherent sheaf category ${\rm coh}\mbox{-}\mathbb{X}(p,q)$ over weighted projective line of type $(p,q)$ via a marked annulus. This leads to a geometric realization of exceptional sequences in ${\rm coh}\mbox{-}\mathbb{X}(p,q)$. As applications, we present a classification of complete exceptional sequences, an effective method for enlarging exceptional sequences, and a new proof of the transitivity of the braid group action on complete exceptional sequences. Besides, we offer a combinatorial description of tilting bundles via lattice paths and count the number of tilting sheaves in ${\rm coh}\mbox{-}\mathbb{X}(p,q)$, up to the Auslander-Reiten translation.

The $g$-fan $Σ(A)$ of a finite dimensional algebra $A$ is a non-singular fan in its real Grothendieck group, defined by tilting theory. If the union ${\rm P}(A)$ of the simplices associated with the cones of $Σ(A)$ is convex, we call $A$ $g$-convex. In this case, the $g$-polytope ${\rm P}(A)$ of $A$ is a reflexive polytope. Thus, in each dimension, there are only finitely many isomorphism classes of fans that can be realized as $g$-fans of $g$-convex algebras. An important problem is to classify such fans for a fixed dimension $d$. In this paper, we give a complete answer for the case $d=3$: we prove that there are precisely 61 convex $g$-fans of dimension 3 up to isomorphism. Our method is based on the decomposition of fans into the $2^3$ orthants in the real Grothendieck group of $A$, together with a detailed analysis of possible sequences of $g$-vectors arising from iterated mutations.

From the perspective of $τ$-tilting theory, we study Frobenius--Perron dimensions of finite-dimensional algebras. First, we evaluate the Frobenius--Perron dimensions of $τ$-tilting finite algebras by a combinatorial method in $τ$-tilting theory. Secondly, we give the upper bound for the Frobenius--Perron dimension for $τ$-tilting finite algebras of tame representation type. Thirdly, we determine the Frobenius--Perron dimensions of Nakayama algebras and generalized preprojective algebras of Dynkin type in the sense of Geiss--Leclerc--Schröer.

For the cluster algebra $\mathcal{A}$ associated with a triangulated surface, we give a characterization of the triangulated surface such that different non-initial cluster monomials in $\mathcal{A}$ have different $f$-vectors. Similarly, for the associated Jacobian algebra $J$, we give a characterization of the triangulated surface such that different $τ$-rigid $J$-modules have different dimension vectors. Moreover, we also show that different basic support $τ$-tilting $J$-modules have different dimension vectors. Our main ingredient is a notion of intersection numbers defined by Qiu and Zhou. As an application, we show that the denominator conjecture holds for $\mathcal{A}$ if the marked surface is a closed surface with exactly one puncture, or the given tagged triangulation has neither loops nor tagged arcs connecting punctures.

Let $X$ be the number of $k$-term arithmetic progressions contained in the $p$-biased random subset of the first $N$ positive integers. We give asymptotically sharp estimates on the logarithmic upper-tail probability $\log \Pr(X \ge E[X] + t)$ for all $Ω(N^{-2/k}) \le p \ll 1$ and all $t \gg \sqrt{Var(X)}$, excluding only a few boundary cases. In particular, we show that the space of parameters $(p,t)$ is partitioned into three phenomenologically distinct regions, where the upper-tail probabilities either resemble those of Gaussian or Poisson random variables, or are naturally described by the probability of appearance of a small set that contains nearly all of the excess $t$ progressions. We employ a variety of tools from probability theory, including classical tilting arguments and martingale concentration inequalities. However, the main technical innovation is a combinatorial result that establishes a stronger version of `entropic stability' for sets with rich arithmetic structure.

We study maximal almost rigid modules over a gentle algebra $A$. We prove that the number of indecomposable direct summands of every maximal almost rigid $A$-module is equal to the sum of the number of vertices and the number of arrows of the Gabriel quiver of $A$. Moreover, the algebra $A$, considered as an $A$-module, can be completed to a maximal almost rigid module in a unique way. Gentle algebras are precisely the tiling algebras of surfaces with marked points. We show that the (permissible) triangulations of the surface of $A$ are in bijection with the maximal almost rigid $A$-modules. Furthermore, we study the endomorphism algebra $C=\text{End}_A T$ of a maximal almost rigid module $T$. We construct a fully faithful functor $G\colon \text{mod}\,A\to \text{mod}\, \overline{A}$ into the module category of a bigger gentle algebra $\overline{A}$ and show that $G$ maps maximal almost rigid $A$-modules to tilting $\overline{A}$-modules. In particular, $C$ and $\overline{A}$ are derived equivalent and $C$ is gentle. After giving a geometric realization of the functor $G$, we obtain a tiling $G(\mathbf{T})$ of the surface of $\overline{A}$ as the image of the triangulation $\mathbf{T}$ corresponding to $T$. We then show that the tiling algebra of $G(\mathbf{T})$ is $C$. Moreover, the tiling algebra of $\mathbf{T}$ is obtained algebraically from $C$ as the tensor algebra with respect to the $C$-bimodule $\text{Ext}_C^2(DC,C)$, which also is fundamental in cluster-tilting theory.

We study large random matrices with i.i.d. entries conditioned to have prescribed row and column sums (margins), a problem connected to relative entropy minimization, Schrödinger bridges, contingency tables, and random graphs with given degree sequences. Our central result is a `transference principle': the complex margin-conditioned matrix can be closely approximated by a simpler matrix whose entries are independent and drawn from an exponential tilting of the original model. The tilt parameters are determined by the sum of two potentials. We establish phase diagrams for `tame margins', where these potentials are uniformly bounded. This framework resolves a 2011 conjecture by Chatterjee, Diaconis, and Sly on $δ$-tame degree sequences and generalizes a sharp phase transition in contingency tables obtained by Dittmer, Lyu, and Pak in 2020. For tame margins, we show that a generalized Sinkhorn algorithm can compute the potentials at a dimension-free exponential rate. Our limit theory further establishes that for a convergent sequence of tame margins, the potentials converge as fast as the margins converge. We apply this framework and obtain several key results for the conditioned matrix: The marginal distribution of any single entry is asymptotically an exponential tilting of the base measure, resolving a 2010 conjecture by Barvinok on contingency tables. The conditioned matrix concentrates in cut norm around a `typical table' (the expectation of the tilted model), which acts as a static Schrödinger bridge between the margins. The empirical singular value distribution of the rescaled matrix converges to an explicit law determined by the variance profile of the tilted model. In particular, we confirm the universality of the Marchenko-Pastur law for constant linear margins.