enumeration
2243 papers tagged with this keyword
Enumeration and constructions of vertices of the polytope of polystochastic matrices
A multidimensional nonnegative matrix is called polystochastic if the sum of entries in each of its lines equals $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $Ω_n^d$ known as the Birkhoff polytope. In this paper, we identify all vertices of the polytopes $Ω_4^3$ and $Ω_3^4$ correcting the results of Ke, Li, and Xiao (2016). Additionally, we describe constructions vertices of $Ω_n^d$ using multidimensional matrix products and find symmetric vertices of $Ω_3^d$ for all $d \geq 4$ with large support sizes.
The number of monotone trapezoids with prescribed bottom row
We establish an operator formula for the number of monotone trapezoids with prescribed bottom row, generalizing alternating sign matrices. The special case of the formula for monotone triangles previously provided an alternative proof for the enumeration of alternating sign matrices and led to several results on alternating sign triangles and alternating sign trapezoids. The generalization presented in this paper reveals an additional ``hidden operator'' that is annihilated in the special case of monotone triangles, whose discovery was a major challenge.
The enumeration formula is conceptually simple: it applies, in addition to the newly discovered hidden operator, an operator ensuring row strictness to the formula for the number of Gelfand--Tsetlin trapezoids. Notably, the top row of the monotone trapezoid is not prescribed. Thus, our result involves a free boundary, which is a novel situation in this area. We also uncover an unexpected relation to the coinvariant algebra and propose a conjecture on its generalization.
Enumeration of regular multipartite hypergraphs
We determine the asymptotic number of regular multipartite hypergraphs, also known as multidimensional binary contingency tables, for all values of the parameters.
A proof of the Naito--Sagaki conjecture via the branching rule for $\imath$quantum groups
The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the path model due to Littelmann, and was proved combinatorially in 2018 by Schumann--Torres. In this paper, we give a new proof of the Naito--Sagaki conjecture independently of Schumann--Torres, using the branching rule based on the crystal basis theory for $\imath$quantum groups of type $\mathrm{AII}_{2n-1}$. Here, note that $\imath$quantum groups are certain coideal subalgebras of a quantized universal enveloping algebra obtained by $q$-deforming symmetric pairs, and also regarded as a generalization of quantized universal enveloping algebras; these were defined by Letzter in 1999, and since then their representation theory has become an active area of research. The main ingredients of our approach are certain combinatorial operations, such as promotion operators and Kashiwara operators, which are well-suited to the representation theory of complex semisimple Lie algebras.
Enumeration of lattices of nullity $k$ and containing $r$ comparable reducible elements
In 2002 Thakare et al.\ counted non-isomorphic lattices on $n$ elements, having nullity up to two. In 2020 Bhavale and Waphare introduced the concept of RC-lattices as the class of all lattices in which all the reducible elements are comparable. In this paper, we enumerate all non-isomorphic RC-lattices on $n$ elements. For this purpose, firstly we enumerate all non-isomorphic RC-lattices on $n \geq 4$ elements, having nullity $k \geq 1$, and containing $2 \leq r \leq 2k$ reducible elements. Secondly we enumerate all non-isomorphic RC-lattices on $n \geq 4$ elements, having nullity $k \geq 1$. This work is in respect of Birkhoff's open problem of enumerating all finite lattices on $n$ elements.
Cancellation of a critical pair in discrete Morse theory and its effect on (co)boundary operators
Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to the computation of homology groups of a simpler chain complex. This homology computation hinges on an efficient enumeration of gradient trajectories. The technique of cancelling pairs of critical simplices reduces the number of critical simplices, though it also perturbs the gradient trajectories. In this article, we demonstrate that (the matrix of) a certain modified boundary operator of interest can be derived from the corresponding original boundary operator through a sequence of elementary row operations. Thus, it eliminates the need of enumeration of the new gradient trajectories. We also obtain a similar result for coboundary operators.
Origami: real structure, enumeration and quantum modularity
We define real origami (that is, origami equipped with a real structure) and enumerate them using the combinatorics of zonal polynomials. We explicitly express in terms of sums of divisors the numbers of genus 2 real origami with 2 simple zeros and the numbers of genus 3 real origami with 2 double zeros showing that their generating functions are quantum modular forms. Furthermore, we show that by replacing zonal polynomials with Schur polynomials we can effectively count the classical (complex) origami. As a byproduct, we establish a connection between classical origami and a specific class of double Hurwitz numbers. Finally, we discuss some conjectures and open questions involving Jack functions, quantum modular forms, and integrable hierarchies.
Edge-transitive cubic graphs: Cataloguing and Enumeration
This paper deals with finite cubic ($3$-regular) graphs whose automorphism group acts transitively on the edges of the graph. Such graphs split into two broad classes, namely arc-transitive and semisymmetric cubic graphs, and then these divide respectively into $7$ types (according to a classification by Djoković and Miller (1980)) and $15$ types (according to a classification by Goldschmidt(1980)), in terms of certain group amalgams. Such graphs of small order were previously known up to orders $2048$ and $768$, respectively, and we have extended each of the two lists of all such graphs up to order $10000$. Before describing how we did that, we carry out an analysis of the $22$ amalgams, to show which of the finitely-presented groups associated with the $15$ Goldschmidt amalgams can be faithfully embedded in one or more of the other $21$ (as subgroups of finite index), complementing what is already known about such embeddings of the $7$ Djoković-Miller groups in each other. We also give an example of a graph of each of the $22$ types, and in most cases, describe the smallest such graph, and we then use regular coverings to prove that there are infinitely many examples of each type. Finally, we discuss the asymptotic enumeration of the graph orders, proving that if $f_{\mathcal C}(n)$ is the number of cubic edge-transitive graphs of type ${\mathcal C}$ on at most $n$ vertices, then there exist positive real constants $a$ and $b$ and a positive integer $n_0$ such that $n^{a \log(n)} \le f_{\mathcal C}(n) \le n^{b \log(n)}$ for all $\ n\ge n_0$.
Completed Cycles Leaky Hurwitz Numbers
Published in International Mathematics Research Notices, 2025, 2025(22), 1-24
• View Publication
• BIB
We introduce $(r+1)$-completed cycles $k$-leaky Hurwitz numbers and prove piecewise polynomiality as well as establishing their chamber polynomiality structure and their wall crossing formulae. For $k=0$ the results recover previous results of Shadrin-Spitz-Zvonkine. The specialization for $r=1$ recovers Hurwitz numbers that are close to the ones studied by Cavalieri-Markwig-Ranganathan and Cavalieri-Markwig-Schmitt. The ramifications differ by a lower order torus correction, natural from the Fock space perspective, not affecting the genus zero enumeration, nor the enumeration for leaky parameter values $k = \pm 1$ in all genera.
Simple games with minimum
Every simple game is a monotone Boolean function. For the other direction we just have to exclude the two constant functions. The enumeration of monotone Boolean functions with distinguishable variables is also known as the Dedekind's problem. The corresponding number for nine variables was determined just recently by two disjoint research groups. Considering permutations of the variables as symmetries we can also speak about non-equivalent monotone Boolean functions (or simple games). Here we consider simple games with minimum, i.e., simple games with a unique minimal winning vector. A closed formula for the number of such games is found as well as its dimension in terms of the number of players and equivalence classes of players.
On the $q$-factorization of power series
Published in Ramanujan J 67, 92 (2025)
• View Publication
• BIB
Any power series with unit constant term can be factored into an infinite product of the form $\prod_{n\geq 1} (1-q^n)^{-a_n}$. We give direct formulas for the exponents $a_n$ in terms of the coefficients of the power series, and vice versa, as sums over partitions. As examples, we prove identities for certain partition enumeration functions. Finally, we note $q$-analogues of our enumeration formulas.
Enumeration of partitions via socle reduction
We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite families of such partitions, and design a procedure enumerating them in the general case. As a proof of concept, we determine the number of partitions of size up to 30 in any dimension.
Block Designs and K-Geodetic Graphs: A Survey
Published in Journal of Science. Lyon 62 (2025) pp.20-24
• View Publication
• BIB
K-geodetic graphs (K capital) are defined as graphs in which each pair of nonadjacent vertices has at most K paths of minimum length between them. A K-geodetic graph is geodetic if K=1, bigeodetic if K=2 and trigeodetic if K=3. K-geodetic graphs are applied effectively to the solution of several practical problems in distinct areas of computer science, hence the importance of their study. Four problems are central to the study of K-geodetic graphs, namely, characterization, construction, enumeration and classification. The problems of finding the general classification of K-geodetic graphs for each of their classes K=1,2,3 are open. The present paper is a survey dedicated to the construction of K-geodetic graphs for K=1,2,3 using balanced incomplete block designs (BIBDs). To this purpose, we use block designs as combinatorial structures defined in terms of completely predetermined parameters, which is essential for the easy construction of the K-geodetic graphs described in this survey.
Enumeration of (3, 6)-Fullerenes
A (3, 6)-fullerene is a cubic planar graph whose faces all have 3 or 6 sides. We give an exact count of the number of (3, 6)-fullerenes for any given number of vertices. We also enumerate (3,6)-fullerenes with mirror symmetry, with 3-fold rotational symmetry, and with both types of symmetry. The counts are given in terms of the prime factorization of the number of vertices, by considering solutions to the quadratic equation $x^2 + x + 1 = 0$ modulo the primes in this prime factorization.
Refined enumeration of two-rowed set-valued standard tableaux via two-coloured Motzkin paths
We derive formulae for the number of set-valued standard tableaux of two-rowed shapes, keeping track of the total number of entries, the number of entries in the first row, and the number of entries in the second row. Key in the proofs is a bijection with two-coloured Motzkin paths followed by generating function computations and coefficient extraction helped by the Lagrange inversion formula.
Counting records in a random, non-uniform, permutation
Counting permutations of $[n]$ by the number of records, i.e. left-to-right maxima, is a classic problem in combinatorial enumeration. In the first volume of ``The Art of Computer Programming", Donald Knuth demonstrated its relevance for analysis of average case complexity of a basic algorithm for determining a maximum in a linear list of numbers. It is well known that the expected, and likely, number of those records in a {\it uniformly\/} random permutation is asymptotic to $\log n$. Cyril Banderier, Rene Beier, and Kurt Mehlhorn studied the case of a non-uniform random permutation, which is obtained from a generic permutation of $[n]$ by selecting its elements one after another independently with probability $p$, and permuting the selected elements uniformly at random. They proved that $E_n(p)$, the largest expected number of the maxima, is between $\text{const}\sqrt{n/p}$ and $O\bigl(\sqrt{(n/p)\log n}\bigr)$ if $p$ is fixed. For $p\gg 1/n$ and simultaneously $1-p\ge \text{const }n^{-1/2}\log n$, we prove that $E_n(p)$ is exactly of order $(1-p)\sqrt{n/p}$.
Enumeration of walks in multidimensional orthants and reflection groups
We consider (random) walks in a multidimensional orthant. Using the idea of universality in probability theory, one can associate a unique polyhedral domain to any given walk model. We use this connection to prove two sets of new results. First, we are interested in a group of transformations naturally associated with any small step model; as it turns out, this group is central to the classification of walk models. We show a strong connection between this group and the reflection group through the walls of the polyhedral domain. As a consequence, we can derive various conditions for the combinatorial group to be infinite. Secondly, we consider the asymptotics of the number of excursions, whose critical exponent is known to be computable in terms of the eigenvalue of the above polyhedral domain. We prove new results from spectral theory on the eigenvalues of polyhedral nodal domains. We believe that these results are interesting in their own right; they can also be used to find new exact asymptotic results for walk models corresponding to these nodal polyhedral domains.
Enumeration of Colored Tilings on Graphs via Generating Functions
In this paper, we study the problem of partitioning a graph into connected and colored components called blocks. Using bivariate generating functions and combinatorial techniques, we determine the expected number of blocks when the vertices of a graph $G$, for $G$ in certain families of graphs, are colored uniformly and independently. Special emphasis is placed on graphs of the form $G \times P_n$, where $P_n$ is the path graph on $n$ vertices. This case serves as a generalization of the problem of enumerating the number of tilings of an $m \times n$ grid using colored polyominoes.
Equivalence of labeled graphs and lattices
In $1973$, Harary and Palmer posed the problem of enumeration of labeled graphs on $n \geq 1$ unisolated vertices and $l \geq 0$ edges. In $1997$, Bender et al.\ obtained a recurrence relation representing the sequence $A054548$(OEIS) of labeled graphs on $n \geq 0$ unisolated vertices containing $q \geq \frac{n}{2}$ edges. In $2020$, Bhavale and Waphare obtained a recurrence relation representing the sequence of fundamental basic blocks on $n \geq 0$ comparable reducible elements, having nullity $l \geq \lfloor \frac{n+1}{2} \rfloor$. In this paper, we prove the equivalence of these two sequences. We also provide an edge labeling for a given vertex labeled finite simple graph.
On H-Intersecting Graph Families and Counting of Homomorphisms
Published in AIMS Mathematics, vol. 10, no. 3, pp. 6355-6378, March 2025
• View Publication
• BIB
This work derives an upper bound on the maximum cardinality of a family of graphs on a fixed number of vertices, in which the intersection of every two graphs in that family contains a subgraph that is isomorphic to a specified graph H. Such families are referred to as H-intersecting graph families. The bound is derived using the combinatorial version of Shearer's lemma, and it forms a nontrivial extension of the bound derived by Chung, Graham, Frankl, and Shearer (1986), where H is specialized to a triangle. The derived bound is expressed in terms of the chromatic number of H, while a relaxed version, formulated using the Lovász $\vartheta$-function of the complement of H, offers reduced computational complexity. Additionally, a probabilistic version of Shearer's lemma, combined with properties of the Shannon entropy, are employed to establish bounds related to the enumeration of graph homomorphisms, providing further insights into the interplay between combinatorial structures and information-theoretic principles.