arXiv++ Combinatorics

Browse math.CO papers from arXiv

representation ↗ reference

4053 papers tagged with this keyword
2023-07-26
Representing matroids via pasture morphisms
Using the framework of pastures and foundations of matroids developed by Baker-Lorscheid, we give algorithms to: (i) compute the foundation of a matroid, and (ii) compute all morphisms between two pastures. Together, these provide an efficient method of solving many questions of interest in matroid representations, including orientability, non-representability, and computing all representations of a matroid over a finite field.
2023-07-24
Surfaces with given Automorphism Group
Frucht showed that, for any finite group $G$, there exists a cubic graph such that its automorphism group is isomorphic to $G$. For groups generated by two elements we simplify his construction to a graph with fewer nodes. In the general case, we address an oversight in Frucht's construction. We prove the existence of cycle double covers of the resulting graphs, leading to simplicial surfaces with given automorphism group. For almost all finite non-abelian simple groups we give alternative constructions based on graphic regular representations. In the general cases $C_n,D_n,A_5$ for $n\geq 4$, we provide alternative constructions of simplicial spheres. Furthermore, we embed these surfaces into the Euclidean 3-Space with equilateral triangles such that the automorphism group of the surface and the symmetry group of the corresponding polyhedron in $\mathrm{O}(3)$ are isomorphic.
2023-07-23
Convex minorant trees associated with Brownian paths and the continuum limit of the minimum spanning tree
We give an explicit construction of the scaling limit of the minimum spanning tree of the complete graph. The limit object is described using a recursive construction involving the convex minorants of a Brownian motion with parabolic drift (and countably many i.i.d. uniform random variables); we call it the Brownian parabolic tree. Aside from the new representation, this point of view has multiple consequences. For instance, it permits us to prove that its Hausdorff dimension is almost surely 3. It also intrinsically contains information related to some underlying dynamics: one notable by-product is the construction of a standard metric multiplicative coalescent which couples the scaling limits of random graphs at different points of the critical window in terms of the same simple building blocks. The above results actually fit in a more general framework. They result from the introduction of a new family of continuum random trees associated with functions via their convex minorants, that we call convex minorant trees. We initiate the study of these structures in the case of Brownian-like paths. In passing, we prove that the convex minorant tree of a Brownian excursion is a Brownian continuum ranndom tree, and that it provides a coupling between the Aldous--Pitman fragmentation of the Brownian continuum random tree and its representation by Bertoin.
2023-07-21 v2
Full asymptotic expansion for orbit-summable quadrant walks and discrete polyharmonic functions
Enumeration of walks with small steps in the quadrant has been a topic of great interest in combinatorics over the last few years. In this article, it is shown how to compute exact asymptotics of the number of such walks with fixed start- and endpoints for orbit-summable models with finite group, up to arbitrary precision. The resulting representation greatly resembles one conjectured by Chapon, Fusy and Raschel for walks starting from the origin (AofA 2020), differing only in terms appearing due to the periodicity of the model. We will see that the dependency on start- and endpoint is given by discrete polyharmonic functions, which are solutions of $\triangle^n v=0$ for a discretisation $\triangle$ of a Laplace-Beltrami operator. They can be decomposed into a sum of products of lower order polyharmonic functions of either the start- or the endpoint only, which leads to a partial extension of a recent theorem by Denisov and Wachtel (Ann. Prob. 43.3).
Induced log-concavity of equivariant matroid invariants
Inspired by the notion of equivariant log-concavity, we introduce the concept of induced log-concavity for a sequence of representations of a finite group. For an equivariant matroid equipped with a symmetric group action or a finite general linear group action, we transform the problem of proving the induced log-concavity of matroid invariants to that of proving the Schur positivity of symmetric functions. We prove the induced log-concavity of the equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids equipped with the action of a finite general linear group, as well as that of the equivariant Kazhdan-Lusztig polynomials of uniform matroids equipped with the action of a symmetric group. As a consequence of the former, we obtain the log-concavity of Kazhdan-Lusztig polynomials of $q$-niform matroids, thus providing further positive evidence for Elias, Proudfoot and Wakefield's log-concavity conjecture on the matroid Kazhdan-Lusztig polynomials. From the latter we obtain the log-concavity of Kazhdan-Lusztig polynomials of uniform matroids, which was recently proved by Xie and Zhang by using a computer algebra approach. We also establish the induced log-concavity of the equivariant characteristic polynomials and the equivariant inverse Kazhdan-Lusztig polynomials for $q$-niform matroids and uniform matroids.
2023-07-19
Schur-Positivity of Short Chords in Matchings
We prove that the set of matchings with a fixed number of unmatched vertices is Schur-positive with respect to the set of short chords. Two proofs are presented. The first proof applies a new combinatorial criterion for Schur-positivity, while the second is bijective. The coefficients in the Schur expansion are derived, and interpreted in terms of Bessel polynomials. We present a Knuth-like equivalence relation on matchings, and show that every equivalence class corresponds to an irreducible representation. We proceed to find various refined Schur-positive sets, including the set of matchings with a prescribed crossing number and the set of matchings with a given number of pairs of intersecting chords. Finally, we characterize all the matchings $m$ such that the set of matchings avoiding $m$ is Schur-positive.
The sequence of higher order Mersenne numbers and associated binomial transforms
In this article, we introduce and study a new integer sequence referred to as the higher order Mersenne sequence. The proposed sequence is analogous to the higher order Fibonacci numbers and closely associated with the Mersenne numbers. Here, we discuss various algebraic properties such as Binet's formula, Catalan's identity, d'Ocagne's identity, generating functions, finite and binomial sums, etc. of this new sequence, and some inter-relations with Mersenne and Jacobsthal numbers. Moreover, we study the sequence generated from the binomial transforms of the higher order Mersenne numbers and present the recurrence relation and algebraic properties of them. Lastly, we give matrix generators and tridiagonal matrix representation for higher order Mersenne numbers.
2023-07-14
Stability properties of inner plethyms (Lecture Notes)
The inner plethysm of symmetric functions corresponds to the $λ$-ring operations of the representation ring $R({\mathfrak S}_n)$ of the symmetric group. It is known since the work of Littlewood that this operation possesses stability properties w.r.t. $n$. These properties have been explained in terms of vertex operators [Scharf and Thibon, Adv. Math. 104 (1994), 30-58]. Another approach [Orellana and Zabrocki, Adv. Math. 390 (2021), \# 107943], based on an expression of character values as symmetric functions of the eigenvalues of permutation matrices, has been proposed recently. This note develops the theory from scratch, discusses the link between both approaches and provides new proofs of some recent results.
2023-07-14 v2
Planar algebras for the Young graph and the Khovanov Heisenberg category
Published in International Journal of Mathematics, Vol. 36, No. 6 (2025) 2550002 • View PublicationBIB
This paper studies planar algebras of Jones' style associated with the Young graph. We first see that, given a positive real valued function on the Young graph, we may obtain a planar algebra whose structure is defined in terms of a state sum over the ways of filling planar tangles with Young diagrams. We delve into the case that the function is harmonic and related to the Plancherel measures on Young diagrams. Along with an element that is depicted as a cross of two strings, we see that the defining relations among morphisms for the Khovanov Heisenberg category are recovered in the planar algebra. We also identify certain elements in the planar algebra with particular functions of Young diagrams that include the moments, Boolean cumulants and normalized characters. This paper thereby bridges diagramatical categorification and asymptotic representation theory. In fact, the Khovanov Heisenberg category is one of the most fundamental examples of diagramatical categorification whereas the harmonic functions on the Young graph have been a central object in the asymptotic representation theory of symmetric groups.
2023-07-12 v2
Stable-Limit Non-symmetric Macdonald Functions
We construct and study an explicit simultaneous $\mathscr{Y}$-eigenbasis of Ion and Wu's standard representation of the $^+$stable-limit double affine Hecke algebra for the limit Cherednik operators $\mathscr{Y}_i$. This basis arises as a generalization of Cherednik's non-symmetric Macdonald polynomials of type $GL$. We utilize links between $^+$stable-limit double affine Hecke algebra theory of Ion-Wu and the double Dyck path algebra of Carlsson-Mellit that arose in their proof of the Shuffle Conjecture. As a consequence, the spectral theory for the limit Cherednik operators is understood. The symmetric functions comprise the zero weight space. We introduce one extra operator that commutes with the $\mathscr{Y}_i$ action and dramatically refines the weight spaces to now be one-dimensional. This operator, up to a change of variables, gives an extension of Haiman's operator $Δ'$ from $Λ$ to $\mathscr{P}_{as}^{+}.$ Additionally, we develop another method to build this weight basis using limits of trivial idempotents.
A composition law and refined notions of convergence for periodic continued fractions
We define an equivalence relation on periodic continued fractions with partial quotients in a ring $\mathcal{O} \subseteq \mathbf{C}$, a group law on these equivalence classes, and a map from these equivalence classes to matrices in $\mathrm{GL}_2(\mathcal{O})$ with determinant $\pm1$. We prove this group of equivalence classes is isomorphic to $\mathbf{Z}/2\mathbf{Z}\ast\mathcal{O}$ and study certain of its one- and two-dimensional representations. For a periodic continued fraction with period $k$, we give a refined description of the limits of the $k$ different $k$-decimations of its sequence of convergents. We show that for a periodic continued fraction associated to a matrix with eigenvalues of different magnitudes, all $k$ of these limits exist in $\mathbb{P}^1(\mathbf{C})$ and a strict majority of them are equal.
2023-07-06
Regular and semi-regular representations of groups by posets
By a result of Babai, with finitely many exceptions, every group $G$ admits a semi-regular poset representation with three orbits, that is, a poset $P$ with automorphism group $\textrm{Aut}(P) \simeq G$ such that the action of $\textrm{Aut}(P)$ on the underlying set is free and with three orbits. Among finite groups, only the trivial group and $\mathbb{Z}_2$ have a regular poset representation (i.e. semi-regular with one orbit), however many infinite groups admit such a representation. In this paper we study non-necessarily finite groups which have a regular representation or a semi-regular representation with two orbits. We prove that if $G$ admits a Cayley graph which is locally the Cayley graph of a free group, then it has a semi-regular representation of height 1 with two orbits. In this case we will see that any extension of the integers by $G$ admits a regular representation. Applications are given to finite simple groups, hyperbolic groups, random groups and indicable groups.
2023-07-06
Some applications of representation theory to the sum-product phenomenon
In our paper, we introduce a new method for estimating incidences via representation theory. We obtain several applications to various sums with multiplicative characters and to Zaremba's conjecture from number theory.
Peter-Weyl theorem for Iwahori groups and highest weight categories
We study the algebra of functions on the Iwahori group via the category of graded bounded representations of its Lie algebra. In particular, we identify the standard and costandard objects in this category with certain generalized Weyl modules. Using this identification we express the characters of the standard and costandard objects in terms of specialized nonsymmetric Macdonald polynomials. We also prove that our category of interest admits a generalized highest weight structure (known as stratified structure). We show, more generally, that such a structure on a category of representations of a Lie algebra implies the Peter-Weyl type theorem for the corresponding algebraic group. In the Iwahori case, standard filtrations of indecomposable projective objects correspond to new ``reciprocal'' Macdonald-type identities.
2023-07-05 v2
Note on expanding implicit functions into formal power series by means of multivariable Stirling polynomials
Starting from the representation of a function $f(x,y)$ as a formal power series with Taylor coefficients $f_{m,n}$, we establish a formal series for the implicit function $y=y(x)$ such that $f(x,y)=0$ and the coefficients of the series for $y$ depend exclusively on the $f_{m,n}$. The solution to this problem provided here relies on using partial Bell polynomials and their orthogonal companions.
2023-07-04 v2
A Serre spectral sequence for the moduli space of tropical curves
We construct, for all $g\geq 2$ and $n\geq 0$, a spectral sequence of rational $S_n$-representations which computes the $S_n$-equivariant reduced rational cohomology of the tropical moduli spaces of curves $Δ_{g,n}$ in terms of compactly supported cohomology groups of configuration spaces of $n$ points on graphs of genus $g$. Using the canonical $S_n$-equivariant isomorphisms $\widetilde{H}^{i-1}(Δ_{g,n};\mathbb{Q}) \cong W_0 H^i_c(\mathcal{M}_{g,n};\mathbb{Q})$, we calculate the weight $0$, compactly supported rational cohomology of the moduli spaces $\mathcal{M}_{g,n}$ in the range $g=3$ and $n\leq 9$, with partial computations available for $n\leq 13$.
2023-07-03 v3
Möbius Homology
This paper introduces and develops Möbius homology, a homology theory for representations of finite posets into abelian categories. Although the connection between poset topology and Möbius functions is classical, we go further by establishing a direct connection between poset topology and Möbius inversions. In particular, we show that Möbius homology categorifies the Möbius inversion, as its Euler characteristic coincides with the Möbius inversion applied to the dimension function of the representation. We also present a homological version of Rota's Galois Connection Theorem, relating the Möbius homologies of two posets connected by a Galois connection. Our main application concerns persistent homology over general posets. We prove that, under a suitable definition, the persistence diagram arises as an Euler characteristic over a poset of intervals, and thus Möbius homology provides a categorification of the persistence diagram. This furnishes a new invariant for persistent homology over arbitrary finite posets. Finally, leveraging our homological variant of Rota's Galois Connection Theorem, we establish several results about the persistence diagram.
2023-07-03 v2
Large deviations for the $q$-deformed polynuclear growth
Published in Ann. Probab. 53 (4), 1223-1286, (July 2025) • View PublicationBIB
In this paper, we study large time large deviations for the height function $\mathfrak{h}(x,t)$ of the $q$-deformed polynuclear growth introduced in ABW22 [arXiv:2108.06018]. We show that the upper-tail deviations have speed $t$ and derive an explicit formula for the rate function $Φ_+(μ)$. On the other hand, we show that the lower-tail deviations have speed $t^2$ and express the corresponding rate function $Φ_-(μ)$ in terms of a variational problem. Our analysis relies on distributional identities between the height function $\mathfrak{h}$ and two important measures on the set of integer partitions: the Poissonized Plancherel measure and the cylindric Plancherel measure. Following a scheme developed in DT21 [arXiv:1910.09271], we analyze a Fredholm determinant representation for the $q$-Laplace transform of $\mathfrak{h}(x,t)$, from which we extract exact Lyapunov exponents and through inversion the upper-tail rate function $Φ_+$. The proof of the lower-tail large deviation principle is more subtle and requires several novel ideas which combine classical asymptotic results for the Plancherel measure and log-concavity properties of Schur polynomials. Techniques we develop to characterize the lower-tail are rather flexible and have the potential to generalize to other solvable growth models.
2023-07-03 v2
A diagram-like basis for the multiset partition algebra
There is a classical connection between the representation theory of the symmetric group and the general linear group called Schur-Weyl duality. Variations on this principle yield analogous connections between the symmetric group and other objects such as the partition algebra and more recently the multiset partition algebra. The partition algebra has a well-known basis indexed by graph-theoretic diagrams which allows the multiplication in the algebra to be understood visually as combinations of these diagrams. We construct an analogous basis for the multiset partition algebra called the diagram-like basis and use this basis to construct its irreducible representations and give a generating set. We also provide a change-of-basis from the orbit basis of the multiset partition algebra to this diagram-like basis which exhibits similarities to the analogous change of basis for the partition algebra.
2023-07-01 v2
Words for the Graphs with Permutation-Representation Number at most Three
The graphs with permutation-representation number (\textit{prn}) at most two are known. While a characterization for the class of graphs with the \textit{prn} at most three is an open problem, we summarize the graphs of this class that are known so far. Although it is known that the \textit{prn} of trees is at most three, in this work, we devise a polynomial-time algorithm for obtaining a word representing a given tree permutationally. Consequently, we determine the words representing even cycles. Contributing to the class of graphs with the \textit{prn} at most three, we determine the \textit{prn} as well as the representation number of book graphs.