enumeration
2243 papers tagged with this keyword
Unsensed enumeration of cubic unicellular maps on orientable and non-orientable surfaces
We enumerate cubic (3-regular) unicellular maps on closed surfaces up to all homeomorphisms. Using the orbifold approach, we reduce the unsensed enumeration to explicit counts of quotient maps and rooted cubic/precubic maps on simpler surfaces. For orientable hosts this yields a compact identity expressed through known sensed and rooted numbers; for non orientable hosts we obtain a fully explicit finite sum expression via precubic counts. Numerical tables are provided, together with a brief asymptotic discussion.
Reduced word enumeration, complexity, and randomization
Published in Electronic J. Combinatorics 29 (2) (2022), #P2.46
• View Publication
• BIB
A reduced word of a permutation $w$ is a minimal length expression of $w$ as a product of simple transpositions. We examine the computational complexity, formulas and (randomized) algorithms for their enumeration. In particular, we prove that the Edelman-Greene statistic, defined by S. Billey-B. Pawlowski, is typically exponentially large. This implies a result of B. Pawlowski, that it has exponentially growing expectation. Our result is established by a formal run-time analysis of A. Lascoux-M.-P. Schützenberger's transition algorithm. The more general problem of Hecke word enumeration, and its closely related question of counting set-valued standard Young tableaux, is also investigated. The latter enumeration problem is further motivated by work on Brill-Noether varieties due to M. Chan-N. Pflueger and D. Anderson-L. Chen-N. Tarasca.
The planar Cayley graphs are effectively enumerable II
We show that a group admits a planar, finitely generated Cayley graph if and only if it admits a special kind of group presentation we introduce, called a planar presentation. Planar presentations can be recognised algorithmically. As a consequence, we obtain an effective enumeration of the planar Cayley graphs, yielding in particular an affirmative answer to a question of Droms et al. asking whether the planar groups can be effectively enumerated.
Generalisations of the Harer-Zagier recursion for 1-point functions
Harer and Zagier proved a recursion to enumerate gluings of a $2d$-gon that result in an orientable genus $g$ surface, in their work on Euler characteristics of moduli spaces of curves. Analogous results have been discovered for other enumerative problems, so it is natural to pose the following question: how large is the family of problems for which these so-called 1-point recursions exist?
In this paper, we prove the existence of 1-point recursions for a class of enumerative problems that have Schur function expansions. In particular, we recover the Harer-Zagier recursion, but our methodology also applies to the enumeration of dessins d'enfant, to Bousquet-Mélou-Schaeffer numbers, to monotone Hurwitz numbers, and more. On the other hand, we prove that there is no 1-point recursion that governs simple Hurwitz numbers. Our results are effective in the sense that one can explicitly compute particular instances of 1-point recursions, and we provide several examples. We conclude the paper with a brief discussion and a conjecture relating 1-point recursions to the theory of topological recursion.
A recursive enumeration of connected Feynman diagrams with an arbitrary number of external legs in the fermionic non-relativistic interacting gas
Published in Journal of Physics A Mathematical and Theoretical (2019)
• View Publication
• BIB
In this work, we generalize a recursive enumerative formula for connected Feynman diagrams with two external legs. The Feynman diagrams are defined from a fermionic gas with a two-body interaction. The generalized recurrence is valid for connected Feynman diagrams with an arbitrary number of external legs and an arbitrary order. The recurrence formula terms are expressed in function of weak compositions of non-negative integers and partitions of positive integers in such a way that to each term of the recurrence correspond a partition and a weak composition. The foundation of this enumeration is the Wick theorem, permitting an easy generalization to any quantum field theory. The iterative enumeration is constructive and enables a fast computation of the number of connected Feynman diagrams for a large amount of cases. In particular, the recurrence is solved exactly for two and four external legs, leading to the asymptotic expansion of the number of different connected Feynman diagrams.
Macdonald trees and determinants of representations for finite Coxeter groups
Published in Indian J. Discrete Math., Vol. 5, No. 1 (2019), pp. 1-22
• Search Publication
Every irreducible odd dimensional representation of the $n$'th symmetric or hyperoctahedral group, when restricted to the $(n-1)$'th, has a unique irreducible odd-dimensional constituent. Furthermore, the subgraph induced by odd-dimensional representations in the Bratteli diagram of symmetric and hyperoctahedral groups is a binary tree with a simple recursive description. We survey the description of this tree, known as the Macdonald tree, for symmetric groups, from our earlier work. We describe analogous results for hyperoctahedral groups.
A partition $λ$ of $n$ is said to be chiral if the corresponding irreducible representation $V_λ$ of $S_n$ has non-trivial determinant. We review our previous results on the structure and enumeration of chiral partitions, and subsequent extension to all Coxeter groups by Ghosh and Spallone. Finally we show that the numbers of odd and chiral partitions track each other closely.
Binomial Eulerian polynomials for colored permutations
Binomial Eulerian polynomials first appeared in work of Postnikov, Reiner and Williams on the face enumeration of generalized permutohedra. They are $γ$-positive (in particular, palindromic and unimodal) polynomials which can be interpreted as $h$-polynomials of certain flag simplicial polytopes and which admit interesting Schur $γ$-positive symmetric function generalizations. This paper introduces analogues of these polynomials for $r$-colored permutations with similar properties and uncovers some new instances of equivariant $γ$-positivity in geometric combinatorics.
Knotting statistics for polygons in lattice tubes
Published in Journal of Physics A: Mathematical and Theoretical 52 (2019) 144003
• View Publication
• BIB
We study several related models of self-avoiding polygons in a tubular subgraph of the simple cubic lattice, with a particular interest in the asymptotics of the knotting statistics. Polygons in a tube can be characterised by a finite transfer matrix, and this allows for the derivation of pattern theorems, calculation of growth rates and exact enumeration. We also develop a static Monte Carlo method which allows us to sample polygons of a given size directly from a chosen Boltzmann distribution.
Using these methods we accurately estimate the growth rates of unknotted polygons in the $2\times1\times\infty$ and $3\times1\times\infty$ tubes, and confirm that these are the same for any fixed knot-type $K$. We also confirm that the entropic exponent for unknots is the same as that of all polygons, and that the exponent for fixed knot-type $K$ depends only on the number of prime factors in the knot decomposition of $K$. For the simplest knot-types, this leads to a good approximation for the polygon size at which the probability of the given knot-type is maximized, and in some cases we are able to sample sufficiently long polygons to observe this numerically.
Restricted $r$-Stirling Numbers and their Combinatorial Applications
We study set partitions with $r$ distinguished elements and block sizes found in an arbitrary index set $S$. The enumeration of these $(S,r)$-partitions leads to the introduction of $(S,r)$-Stirling numbers, an extremely wide-ranging generalization of the classical Stirling numbers and the $r$-Stirling numbers. We also introduce the associated $(S,r)$-Bell and $(S,r)$-factorial numbers. We study fundamental aspects of these numbers, including recurrence relations and determinantal expressions. For $S$ with some extra structure, we show that the inverse of the $(S,r)$-Stirling matrix encodes the Möbius functions of two families of posets. Through several examples, we demonstrate that for some $S$ the matrices and their inverses involve the enumeration sequences of several combinatorial objects. Further, we highlight how the $(S,r)$-Stirling numbers naturally arise in the enumeration of cliques and acyclic orientations of special graphs, underlining their ubiquity and importance. Finally, we introduce related $(S,r)$ generalizations of the poly-Bernoulli and poly-Cauchy numbers, uniting many past works on generalized combinatorial sequences.
Classifications of quasitrivial semigroups
Published in Semigroup Forum 100 (3) (2020) 743-764
• View Publication
• BIB
We investigate classifications of quasitrivial semigroups defined by certain equivalence relations. The subclass of quasitrivial semigroups that preserve a given total ordering is also investigated. In the special case of finite semigroups, we address and solve several related enumeration problems.
Enumerative properties of restricted words and compositions
In this document we achieve exact and asymptotic enumeration of words, compositions over a finite group, and/or integer compositions characterized by local restrictions and, separately, subsequence pattern avoidance. We also count cyclically restricted and circular objects. This either fills gaps in the current literature by e.g. considering particular new patterns, or involves general progress, notably with locally restricted compositions over a finite group. We associate these compositions to walks on a covering graph whose structure is exploited to simplify asymptotic expressions. Specifically, we show that under certain conditions the number of locally restricted compositions of a group element is asymptotically independent of the group element. For some problems our results extend to the case of a positive number of subword pattern occurrences (instead of zero for pattern avoidance) or convergence in distribution of the normalized number of occurrences. We typically apply the more general propositions to concrete examples such as the familiar Carlitz compositions or simple subword patterns.
Branching rules for Unitary and Symplectic matrices
Published in Communications in algebra, 2020
• View Publication
• BIB
This paper concerns the enumeration of simultaneous conjugacy classes of tuples of commuting unitary matrices and of commuting symplectic matrices over a finite field $\mathbf{F}_q$ of odd size. For any given conjugacy class, the orbits for the action of its centralizer group on itself by conjugation are called branches. We determine the branching rules for the unitary groups $U_2(\mathbf{F}_q), U_3(\mathbf{F}_q)$, and for the symplectic groups $Sp_2(\mathbf{F}_q), Sp_4(\mathbf{F}_q)$.
Asymptotic enumeration of Cayley digraphs
Published
• View Publication
• BIB
In this paper we show that almost all Cayley digraphs have automorphism group as small as possible; that is, they are digraphical regular representations (DRRs). More precisely, we show that as $r$ tends to infinity, for every finite group $R$ of order $r$, out of all possible Cayley digraphs on $R$ the proportion whose automorphism group is as small as possible tends to $1$. This proves a natural conjecture first proposed in $1982$ by Babai and Godsil.
Use of Enumerative Combinatorics for proving the applicability of an asymptotic stability result on discrete-time SIS epidemics in complex networks
Published
• View Publication
• BIB
In this paper, we justify by the use of Enumerative Combinatorics, that the results obtained in \cite{Alarcon1}, where is analysed the complex dynamics of an epidemic model to identify the nodes that contribute the most to the propagation process and because of that are good candidates to be controlled in the network in order to stabilize the network to reach the extinction state, is applicable in almost all the cases. The model analysed was proposed in \cite{Gomez1} %et al. [Phys.Rev.E 84, 036105(2011)] and results obtained in \cite{Alarcon1} implies that it is not necessary to control all nodes, but only a minimal set of nodes if the topology of the network is not regular. This result could be important in the spirit of considering policies of isolation or quarantine of those nodes to be controlled. Simulation results were presented in \cite{Alarcon1} for large free-scale and regular networks, that corroborate the theoretical findings. In this article we justify the applicability of the controllability result obtained in \cite{Alarcon1} in almost all the cases by means of the use of Combinatorics. {\em Mathematics Subjects Classification}: 05A16,34H20,58E25 {\em Keywords}: Asymptotic Graph Enumeration Problems; Network control; virus spreading.
On enumerating factorizations in reflection groups
Published
• View Publication
• BIB
We describe an approach, via Malle's permutation $Ψ$ on the set of irreducible characters $\text{Irr}(W)$, that gives a uniform derivation of the Chapuy-Stump formula for the enumeration of reflection factorizations of the Coxeter element. It also recovers its weighted generalization by delMas, Reiner, and Hameister, and further produces structural results for factorization formulas of arbitrary regular elements.
Plateau Polycubes and Lateral Area
In this paper, we enumerate two families of polycubes, the directed plateau polycubes and the plateau polycubes, with respect to the width and a new parameter, the Lateral Area. We give an explicit formula and the generating function for each of the two families of polycubes. Moreover, some asymptotic results about plateau polycubes are provided. We also establish results concerning the enumeration of column-convex polyominoes that are useful to get asymptotic results of polycubes.
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
Published
• View Publication
• BIB
We enumerate all circulant good matrices with odd orders divisible by 3 up to order 70. As a consequence of this we find a previously overlooked set of good matrices of order 27 and a new set of good matrices of order 57. We also find that circulant good matrices do not exist in the orders 51, 63, and 69, thereby finding three new counterexamples to the conjecture that such matrices exist in all odd orders. Additionally, we prove a new relationship between the entries of good matrices and exploit this relationship in our enumeration algorithm. Our method applies the SAT+CAS paradigm of combining computer algebra functionality with modern SAT solvers to efficiently search large spaces which are specified by both algebraic and logical constraints.
Towards the topological recursion for double Hurwitz numbers
Published
• View Publication
• BIB
Single Hurwitz numbers enumerate branched covers of the Riemann sphere with specified genus, prescribed ramification over infinity, and simple branching elsewhere. They exhibit a remarkably rich structure. In particular, they arise as intersection numbers on moduli spaces of curves and are governed by the topological recursion of Chekhov, Eynard and Orantin. Double Hurwitz numbers are defined analogously, but with prescribed ramification over both zero and infinity. Goulden, Jackson and Vakil have conjectured that double Hurwitz numbers also arise as intersection numbers on moduli spaces.
In this paper, we repackage double Hurwitz numbers as enumerations of branched covers weighted by certain monomials and conjecture that they are governed by the topological recursion. Evidence is provided in the form of the associated quantum curve and low genus calculations. We furthermore reduce the conjecture to a weaker one, concerning a certain polynomial structure of double Hurwitz numbers. Via the topological recursion framework, our main conjecture should lead to a direct connection to enumerative geometry, thus shedding light on the aforementioned conjecture of Goulden, Jackson and Vakil.
Cyclic quasi-symmetric functions
Published
• View Publication
• BIB
The ring of cyclic quasi-symmetric functions and its non-Escher subring are introduced in this paper. A natural basis consists of fundamental cyclic quasi-symmetric functions; for the non-Escher subring they arise as toric $P$-partition enumerators, for toric posets $P$ with a total cyclic order. The associated structure constants are determined by cyclic shuffles of permutations. We then prove the following positivity phenomenon: for every non-hook shape $λ$, the coefficients in the expansion of the Schur function $s_λ$ in terms of fundamental cyclic quasi-symmetric functions are nonnegative. The proof relies on the existence of a cyclic descent map on the standard Young tableaux (SYT) of shape $λ$. The theory has applications to the enumeration of cyclic shuffles and SYT by cyclic descents.
Traversal with Enumeration of Geometric Graphs in Bounded Space
Published in Journal of Interconnection Networks, 19(04), (2019)
• View Publication
• BIB
In this paper, we provide an algorithm for traversing geometric graphs which visits all vertices, and reports every vertex and edge exactly once. To achieve this, we combine a given geometric graph $G$ with the integer lattice, seen as a graph, in such a way that the resulting hypothetical graph can be traversed using the algorithm in \cite{Chavez}. To overcome the problem with hypothetical vertices and edges, we develop an algorithm for visiting any $k$th neighborhood of a vertex in a graph straight-line drawn in the plane using $O(\log k)$ memory. The memory needed to complete the traversal of a geometric graph then turns out to depend on the maximum ratio of the graph distance and Euclidean distance for pairs of distinct vertices of $G$ at Euclidean distance greater than one and less than $2\sqrt{2}$.