enumeration
2243 papers tagged with this keyword
Motif Discovery Algorithms in Static and Temporal Networks: A Survey
Published
• View Publication
• BIB
Motifs are the fundamental components of complex systems. The topological structure of networks representing complex systems and the frequency and distribution of motifs in these networks are intertwined. The complexities associated with graph and subgraph isomorphism problems, as the core of frequent subgraph mining, have direct impacts on the performance of motif discovery algorithms. To cope with these complexities, researchers have adopted different strategies for candidate generation and enumeration, and frequency computation. In the past few years, there has been an increasing interest in the analysis and mining of temporal networks. These networks, in contrast to their static counterparts, change over time in the form of insertion, deletion, or substitution of edges or vertices or their attributes. In this paper, we provide a survey of motif discovery algorithms proposed in the literature for mining static and temporal networks and review the corresponding algorithms based on their adopted strategies for candidate generation and frequency computation. As we witness the generation of a large amount of network data in social media platforms, bioinformatics applications, and communication and transportation networks and the advance in distributed computing and big data technology, we also conduct a survey on the algorithms proposed to resolve the CPU-bound and I/O bound problems in mining static and temporal networks.
On the asymptotic enumeration of Cayley graphs
Published
• View Publication
• BIB
In this paper we are interested in the asymptotic enumeration of Cayley graphs. It has previously been shown that almost every Cayley digraph has the smallest possible automorphism group: that is, it is a digraphical regular representation (DRR). In this paper, we approach the corresponding question for undirected Cayley graphs. The situation is complicated by the fact that there are two infinite families of groups that do not admit any graphical regular representation (GRR).
The strategy for digraphs involved analysing separately the cases where the regular group $R$ has a nontrivial proper normal subgroup $N$ with the property that the automorphism group of the digraph fixes each $N$-coset setwise, and the cases where it does not. In this paper, we deal with undirected graphs in the case where the regular group has such a nontrivial proper normal subgroup.
Counting Schur Rings over Cyclic Groups of Semi-prime Order
In this paper, we continue the enumeration of Schur rings over cyclic groups. Cyclic groups of semiprime order $pq$, where $p$ and $q$ are distinct primes, are considered. Additionally, cyclic groups of order $4p$ are considered.
An exact solution method for the enumeration of connected Feynman diagrams
Published
• View Publication
• BIB
We completely generalize previous results related to the counting of connected Feynman diagrams. We use a generating function approach, which encodes the Wick contraction combinatorics of the respective connected diagrams. Exact solutions are found for an arbitrary number of external legs, and a general algorithm is implemented for this calculus. From these solutions, we calculate many asymptotics expansion terms for a simple analytical tool (Taylor expansion theorem). Our approach offers new perspectives in the realm of Feynman diagrams enumeration (or zero-dimensional quantum field theory).
On partitions with $k$ corners not containing the staircase with one more corner
Published in Discrete Applied Mathematics, vol. 314, 162-168 (2022)
• View Publication
• BIB
We give three proofs of the following result conjectured by Carriegos, De Castro-García and Muñoz Castañeda in their work on enumeration of control systems: when $\binom{k+1}{2} \le n < \binom{k+2}{2}$, there are as many partitions of $n$ with $k$ corners as pairs of partitions $(α, β)$ such that $\binom{k+1}{2} + |α| + |β| = n$.
Duality of graded graphs through operads
Published in Annals of Combinatorics, 2021
• View Publication
• BIB
Pairs of graded graphs, together with the Fomin property of graded graph duality, are rich combinatorial structures providing among other a framework for enumeration. The prototypical example is the one of the Young graded graph of integer partitions, allowing us to connect number of standard Young tableaux and numbers of permutations. Here, we use operads, that algebraic devices abstracting the notion of composition of combinatorial objects, to build pairs of graded graphs. For this, we first construct a pair of graded graphs where vertices are syntax trees, the elements of free nonsymmetric operads. This pair of graphs is dual for a new notion of duality called $φ$-diagonal duality, similar to the ones introduced by Fomin. We also provide a general way to build pairs of graded graphs from operads, wherein underlying posets are analogous to the Young lattice. Some examples of operads leading to new pairs of graded graphs involving integer compositions, Motzkin paths, and $m$-trees are considered.
Counting planar maps, coloured or uncoloured
Published in In Surveys in combinatorics 2011, volume 392 of London Math. Soc. Lecture Note Ser., pages 1--49. Cambridge Univ. Press, Cambridge, 2011
• Search Publication
We present recent results on the enumeration of $q$-coloured planar maps, where each monochromatic edge carries a weight $ν$. This is equivalent to weighting each map by its Tutte polynomial, or to solving the $q$-state Potts model on random planar maps. The associated generating function, obtained by Olivier Bernardi and the author, is differentially algebraic. That is, it satisfies a (non-linear) differential equation. The starting point of this result is a functional equation written by Tutte in 1971, which translates into enumerative terms a simple recursive description of planar maps. The proof follows and adapts Tutte's solution of properly $q$-coloured triangulations (1973-1984).
We put this work in perspective with the much better understood enumeration of families of uncoloured planar maps, for which the recursive approach almost systematically yields algebraic generating functions. In the past 15 years, these algebraicity properties have been explained combinatorially by illuminating bijections between maps and families of plane trees. We survey both approaches, recursive and bijective.
Comparing the coloured and uncoloured results raises the question of designing bijections for coloured maps. No complete bijective solution exists at the moment, but we present bijections for certain specialisations of the general problem. We also show that for these specialisations, Tutte's functional equation is much easier to solve that in the general case.
We conclude with some open questions.
The enumeration of extreme rigid honeycombs
Published
• View Publication
• BIB
Rigid tree honeycombs were introduced by Knutson, Tao, and Woodward and they were shown by Dykema, Collins, Timotin, and the authors to be sums of extreme rigid honeycombs, with uniquely determined summands up to permutations. Two extreme rigid honeycombs are essentially the same if they have proportional exit multiplicities and, up to this identification, there are countably many equivalence classes of such honeycombs. We describe two ways to approach the enumeration of these equivalence classes. The first method produces a (finite) list of all rigid tree honeycombs of fixed weight by looking at the locking patterns that can be obtained from a certain quadratic Diophantine equation. The second method constructs arbitrary rigid tree honeycombs from rigid overlays of two rigid tree honeycombs with strictly smaller weights. This allows, in principle, for an inductive construction of all rigid tree honeycombs starting with those of unit weight. We also show that some rigid overlays of two rigid tree honeycombs give rise to an infinite sequence of rigid tree honeycombs of increasing complexity but with a fixed number of nonzero exit multiplicities. This last result involves a new inflation/deflation construction that also produces other infinite sequences of rigid tree honeycombs.
Colouring problems for symmetric configurations with block size 3
Published in J. Combin. Des. (2021), 1--27
• View Publication
• BIB
The study of symmetric configurations $v_3$ with block size 3 has a long and rich history. In this paper we consider two colouring problems which arise naturally in the study of these structures. The first of these is weak colouring, in which no block is monochromatic; the second is strong colouring, in which every block is multichromatic. The former has been studied before in relation to blocking sets. Results are proved on the possible sizes of blocking sets and we begin the investigation of strong colourings. We also show that the known $21_3$ and $22_3$ configurations without a blocking set are unique and make a complete enumeration of all non-isomorphic $20_3$ configurations. We discuss the concept of connectivity in relation to symmetric configurations and complete the determination of the spectrum of 2-connected symmetric configurations without a blocking set. A number of open problems are presented.
On the Number of Factorizations of Polynomials over Finite Fields
Published
• View Publication
• BIB
Motivated by coding applications,two enumeration problems are considered: the number of distinct divisors of a degree-m polynomial over F = GF(q), and the number of ways a polynomial can be written as a product of two polynomials of degree at most n over F. For the two problems, bounds are obtained on the maximum number of factorizations, and a characterization is presented for polynomials attaining that maximum. Finally, expressions are presented for the average and the variance of the number of factorizations, for any given m (respectively, n).
Statistics of subgroups of the modular group
Published in International Journal of Algebra and Computation, 31:08 (2021), pages 1691-1751
• View Publication
• BIB
We count the finitely generated subgroups of the modular group $\textsf{PSL}(2,\mathbb{Z})$. More precisely: each such subgroup $H$ can be represented by its Stallings graph $Γ(H)$, we consider the number of vertices of $Γ(H)$ to be the size of $H$ and we count the subgroups of size $n$. Since an index $n$ subgroup has size $n$, our results generalize the known results on the enumeration of the finite index subgroups of $\textsf{PSL}(2,\mathbb{Z})$. We give asymptotic equivalents for the number of finitely generated subgroups of $\textsf{PSL}(2,\mathbb{Z})$, as well as of the number of finite index subgroups, free subgroups and free finite index subgroups. We also give the expected value of the isomorphism type of a size $n$ subgroup and prove a large deviations statement concerning this value. Similar results are proved for finite index and for free subgroups. Finally, we show how to efficiently generate uniformly at random a size $n$ subgroup (resp. finite index subgroup, free subgroup) of $\textsf{PSL}(2,\mathbb{Z})$.
Periodic stationary solutions of the Nagumo lattice differential equation: existence regions and their number
The Nagumo lattice differential equation admits stationary solutions with arbitrary spatial period for sufficiently small diffusion rate. The continuation from the stationary solutions of the decoupled system (a system of isolated nodes) is used to determine their types; the solutions are labelled by words from a three-letter alphabet. Each stationary solution type can be assigned a parameter region in which the solution can be uniquely identified. Numerous symmetries present in the equation cause some of the regions to have identical or similar shape. With the help of combinatorial enumeration, we derive formulas determining the number of qualitatively different existence regions. We also discuss possible extensions to other systems with more general nonlinear terms and/or spatial structure.
On the Enumeration of a Certain Type of Hyperplane Arrangements
Published in Proceedings Mathematical Sciences, Indian Academy of Sciences, Vol. 131, Art. ID. 35, 2021, Pages 29
• View Publication
• BIB
In this article we prove in the main theorem that, there is a bijection between the isomorphism classes of a certain type of real hyperplane arrangements on the one hand, and the antipodal pairs of convex cones of an associated discriminantal arrangement on the other hand. The type of hyperplane arrangements considered and the isomorphism classes have been defined precisely. As a consequence we enumerate such isomorphism classes by computing the characteristic polynomial of the discriminantal arrangement. With a certain restriction, the enumerated value is shown to be independent of the discriminantal arrangement. Later we observe that the restriction we impose on the type of hyperplane arrangements is a mild one and that this conditional restriction is quite generic. Moreover the restriction is defined in terms of a normal system being concurrency free which is a generic condition. We also discuss two examples of normal systems which are not concurrency free in the last section and enumerate the number of isomorphism classes.
On $\underline{12}0$-avoiding inversion and ascent sequences
Recently, Yan and the first named author investigated systematically the enumeration of inversion or ascent sequences avoiding vincular patterns of length $3$, where two of the three letters are required to be adjacent. They established many connections with familiar combinatorial families and proposed several interesting conjectures. The objective of this paper is to address two of their conjectures concerning the enumeration of $\underline{12}0$-avoiding inversion or ascent sequences.
Enumeration of Irredundant Forests
Published in Theoretical Computer Science, 2022
• View Publication
• BIB
Reverse search is a convenient method for enumerating structured objects, that can be used both to address theoretical issues and to solve data mining problems. This method has already been successfully developed to handle unordered trees. If the literature proposes solutions to enumerate singletons of trees, we study in this article a more general problem, the enumeration of sets of trees -- forests. Specifically, we mainly study irredundant forests, i.e., where no tree is a subtree of another. By compressing each such forest into a Directed Acyclic Graph (DAG), we develop a reverse search like method to enumerate DAGs compressing irredundant forests. Remarkably, we prove that these DAGs are in bijection with the row-Fishburn matrices, a well-studied class of combinatorial objects. In a second step, we derive our irredundant forest enumeration to provide algorithms for tackling related problems: (i) enumeration of forests in their classical sense (where redundancy is allowed); (ii) the enumeration of "subforests" of a forest, and (iii) the frequent "subforest" mining problem. All the methods presented in this article enumerate each item uniquely, up to isomorphism.
A criterion for sharpness in tree enumeration and the asymptotic number of triangulations in Kuperberg's G2 spider
Published
• View Publication
• BIB
We prove a conjectured asymptotic formula of Kuperberg from the representation theory of the Lie algebra $G_2$. Given a non-negative sequence $(a_n)_{n\geq 1}$, the identity $B(x)=A(xB(x))$ for generating functions $A(x)=1+\sum_{n\geq 1} a_n x^n$ and $B(x)=1+\sum_{n\geq 1} b_n x^n$ determines the number $b_n$ of rooted planar trees with $n$ vertices such that each vertex having $i$ children can have one of $a_i$ distinct colors. Kuperberg proved in \cite{Kuperberg} that this identity holds in the case that $b_n=\dim \text{Inv}_{G_2} (V(λ_1)^{\otimes n})$, where $V(λ_1)$ is the 7-dimensional fundamental representation of $G_2$, and $a_n$ is the number of triangulations of a regular $n$-gon such that each internal vertex has degree at least $6$. He also observed that $\limsup_{n\to\infty}\sqrt[n]{a_n}\leq 7/B(1/7)$ and conjectured that this estimate is sharp, or in terms of power series, that the radius of convergence of $A(x)$ is exactly $B(1/7)/7$. We prove this conjecture by introducing a new criterion for sharpness in the analogous estimate for general power series $A(x)$ and $B(x)$ satisfying $B(x)=A(xB(x))$. Moreover, by way of singularity analysis performed on a recently-discovered generating function for $B(x)$, we significantly refine the conjecture by deriving an asymptotic formula for the sequence $(a_n)$.
Universal singular exponents in catalytic variable equations
Published
• View Publication
• BIB
Catalytic equations appear in several combinatorial applications, most notably in the numeration of lattice path and in the enumeration of planar maps. The main purpose of this paper is to show that the asymptotic estimate for the coefficients of the solutions of (so-called) positive catalytic equations has a universal asymptotic behavior. In particular, this provides a rationale why the number of maps of size $n$ in various planar map classes grows asymptotically like $c\cdot n^{-5/2} γ^n$, for suitable positive constants $c$ and $γ$. Essentially we have to distinguish between linear catalytic equations (where the subexponential growth is $n^{-3/2}$) and non-linear catalytic equations (where we have $n^{-5/2}$ as in planar maps). Furthermore we provide a quite general central limit theorem for parameters that can be encoded by catalytic functional equations, even when they are not positive.
Subdivisions of Shellable Complexes
Published
• View Publication
• BIB
In geometric, algebraic, and topological combinatorics, the unimodality of combinatorial generating polynomials is frequently studied. Unimodality follows when the polynomial is (real) stable, a property often deduced via the theory of interlacing polynomials. Many of the open questions on stability and unimodality of polynomials pertain to the enumeration of faces of cell complexes.
In this paper, we relate the theory of interlacing polynomials to the shellability of cell complexes. We first derive a sufficient condition for stability of the $h$-polynomial of a subdivision of a shellable complex. To apply it, we generalize the notion of reciprocal domains for convex embeddings of polytopes to abstract polytopes and use this generalization to define the family of stable shellings of a polytopal complex. We characterize the stable shellings of cubical and simplicial complexes, and apply this theory to answer a question of Brenti and Welker on barycentric subdivisions for the well-known cubical polytopes. We also give a positive solution to a problem of Mohammadi and Welker on edgewise subdivisions of cell complexes. We end by relating the family of stable line shellings to the combinatorics of hyperplane arrangements. We pose related questions, answers to which would resolve some long-standing problems while strengthening ties between the theory of interlacing polynomials and the combinatorics of hyperplane arrangements.
On Initializing Airline Crew Pairing Optimization for Large-scale Complex Flight Networks
Crew pairing optimization (CPO) is critically important for any airline, since its crew operating costs are second-largest, next to the fuel-cost. CPO aims at generating a set of flight sequences (crew pairings) covering a flight-schedule, at minimum-cost, while satisfying several legality constraints. For large-scale complex flight networks, billion-plus legal pairings (variables) are possible, rendering their offline enumeration intractable and an exhaustive search for their minimum-cost full flight-coverage subset impractical. Even generating an initial feasible solution (IFS: a manageable set of legal pairings covering all flights), which could be subsequently optimized is a difficult (NP-complete) problem. Though, as part of a larger project the authors have developed a crew pairing optimizer (AirCROP), this paper dedicatedly focuses on IFS-generation through a novel heuristic based on divide-and-cover strategy and Integer Programming. For real-world large and complex flight network datasets (including over 3200 flights and 15 crew bases) provided by GE Aviation, the proposed heuristic shows upto a ten-fold speed improvement over another state-of-the-art approach. Unprecedentedly, this paper presents an empirical investigation of the impact of IFS-cost on the final (optimized) solution-cost, revealing that too low an IFS-cost does not necessarily imply faster convergence for AirCROP or even lower cost for the optimized solution.
Pólya enumeration theorems in algebraic geometry
Published
• View Publication
• BIB
We generalize a formula due to Macdonald that relates the singular Betti numbers of $X^{n}/G$ to those of $X$, where $X$ is a compact manifold and $G$ is any subgroup of the symmetric group $S_{n}$ acting on $X^{n}$ by permuting coordinates. Our result is completely axiomatic: in a general setting, given an endomorphism on the cohomology $H^{\bullet}(X)$, it explains how we can explicitly relate the Lefschetz series of the induced endomorphism on $H^{\bullet}(X^{n})^{G}$ to that of the given endomorphism on $H^{\bullet}(X)$ in the presence of the Künneth formula with respect to a cup product. For example, when $X$ is a compact manifold, we take the Lefschetz series given by the singular cohomology with rational coefficients. On the other hand, when $X$ is a projective variety over a finite field $\mathbb{F}_{q}$, we use the $l$-adic étale cohomology with a suitable choice of prime number $l$. We also explain how our formula generalizes the Pólya enumeration theorem, a classical theorem in combinatorics that counts colorings of a graph up to given symmetries, where $X$ is taken to be a finite set of colors. When $X$ is a smooth projective variety over $\mathbb{C}$, our formula also generalizes a result of Cheah that relates the Hodge numbers of $X^{n}/G$ to those of $X$. We will also see that our result generalizes the following facts: 1. the generating function of the Poincaré polynomials of symmetric powers of a compact manifold $X$ is rational; 2. the generating function of the Hodge-Deligne polynomials of symmetric powers of a smooth projective variety $X$ over $\mathbb{C}$ is rational; 3. the zeta series of a projective variety $X$ over $\mathbb{F}_{q}$ is rational. We also prove analogous rationality results when we replace $S_{n}$ with $A_{n}$, alternating groups.