enumeration
2301 papers tagged with this keyword
(-1)-Enumerations of arrowed Gelfand-Tsetlin patterns
Published
• View Publication
• BIB
Arrowed Gelfand-Tsetlin patterns have recently been introduced to study alternating sign matrices. In this paper, we show that a $(-1)$-enumeration of arrowed Gelfand-Tsetlin patterns can be expressed by a simple product formula. The numbers are a one-parameter generalization of the numbers $2^{n(n-1)/2} \prod_{j=0}^{n-1} \frac{(4j+2)!}{(n+2j+1)!}$ that appear in recent work of Di Francesco. A second result concerns the (-1)-enumeration of arrowed Gelfand-Tsetlin patterns when excluding double-arrows as decoration in which case we also obtain a simple product formula. We are also able to provide signless interpretations of our results. The proofs of the enumeration formulas are based on a recent Littlewood-type identity, which allows us to reduce the problem to the evaluations of two determinants. The evaluations are accomplished by means of the LU-decompositions of the underlying matrices, and an extension of Sister Celine's algorithm as well as creative telescoping to evaluate certain triple sums. In particular, we use implementations of such algorithms by Koutschan, and by Wegschaider and Riese.
The Extension of the Desargues Theorem, the Converse, Symmetry and Enumeration
This work is, in part, a generalization of the article by A.A. Bruen ,T.C Bruen and J.M.McQuillan on Desargues Theorem in arXiv:2007.09175[mathCO]July 17,2020. We prove the extension of Desargues theorem in all dimensions, using 4 different arguments.We also show the converse theorem. It is shown that the Desargues configuration in projective n-space, for all n at least 2, corresponds to an arc in a projective space of dimension n+1 containing the n-space. Thus, in principle, one can enumerate the number of Desargues configurations in n dimensions when the underlying field is finite. The Desargues configuration in n-dimensions is studied in detail and is shown to exhibit new self-replication or fractal-like properties. In section 11 we extend a classical theorem on semi-simplexes for all n at least 3.
Toric arc schemes and $q$-enumeration of lattice points
Published
• View Publication
• BIB
We introduce a natural weighted enumeration of lattice points in a polytope, and give a Brion-type formula for the corresponding generating function. The weighting has combinatorial significance, and its generating function may be viewed as a generalization of the Rogers-Szegő polynomials. It also arises from the geometry of the toric arc scheme associated to the normal fan of the polytope. We show that the asymptotic behavior of the coefficients at $q = 1$ is Gaussian.
Dyck Numbers, III. Enumeration and bijection with symmetric Dyck paths
Dyck paths (also balanced brackets and Dyck words) are among the most heavily studied Catalan families. This paper is a continuation of [2, 3]. In the paper we enumerate the terms of the OEIS A036991, Dyck numbers, and construct a concomitant bijection with symmetric Dyck paths. In the case of binary coding of Dyck paths we work with compact natural numbers after removing leading zeros. Analysis of binary suffixes, allowed us to obtain a bijection between arbitrary A036991 terms and symmetric A036991 terms which encode symmetric Dyck paths. The bijection generates a forest of unary non-intersecting infinite trees. The root of each bijection tree is an asymmetric term; the other nodes are symmetrical. There are an infinite number of such trees. The reader is offered a software package for working with bijection trees.
Tilings of damaged hexagons
In a recent paper, Byun presented nice formulas for the enumeration of lozenge tilings of certain hexagonal regions with intrusions.
This paper attempts to generalise some of Byun's investigations.
Enumeration of multi-rooted plane trees
Published
• View Publication
• BIB
We give closed form expressions for the numbers of multi-rooted plane trees with specified degrees of root vertices. This results in an infinite number of integer sequences some of which are known to have an alternative interpretation. We also propose recursion relations for numbers of such trees as well as for the corresponding generating functions. Explicit expressions for the generating functions corresponding to plane trees having two and three roots are derived. As a by-product, we obtain a new binomial identity and a conjecture relating hypergeometric functions.
Combinatorial reciprocity for non-intersecting paths
Published in Enumerative Combinatorics and Applications, 3(2), 2023
• View Publication
• BIB
We prove a combinatorial reciprocity theorem for the enumeration of non-intersecting paths in a linearly growing sequence of acyclic planar networks. We explain two applications of this theorem: reciprocity for fans of bounded Dyck paths, and reciprocity for Schur function evaluations with repeated values.
Chordal graphs with bounded tree-width
Given $t\geq 2$ and $0\leq k\leq t$, we prove that the number of labelled $k$-connected chordal graphs with $n$ vertices and tree-width at most $t$ is asymptotically $c n^{-5/2} γ^n n!$, as $n\to\infty$, for some constants $c,γ>0$ depending on $t$ and $k$. Additionally, we show that the number of $i$-cliques ($2\leq i\leq t$) in a uniform random $k$-connected chordal graph with tree-width at most $t$ is normally distributed as $n\to\infty$.
The asymptotic enumeration of graphs of tree-width at most $t$ is wide open for $t\geq 3$. To the best of our knowledge, this is the first non-trivial class of graphs with bounded tree-width where the asymptotic counting problem is solved. Our starting point is the work of Wormald [Counting Labelled Chordal Graphs, Graphs and Combinatorics (1985)], were an algorithm is developed to obtain the exact number of labelled chordal graphs on $n$ vertices.
The Structure of the 2-factor Transfer Digraph common for Thin Cylinder, Torus and Klein Bottle Grid Graphs
We prove that the transfer digraph ${\cal D}^*_{C,m}$ needed for the enumeration of 2-factors in the thin cylinder $TnC_{m}(n)$, torus $TG_{m}(n)$ and Klein bottle $KB_m(n)$ (all grid graphs of the fixed width $m$ and with $m \cdot n$ vertices), when $m$ is odd, has only two components of order $2^{m-1}$ which are isomorphic. When $m$ is even, ${\cal D}^*_{C,m}$ has $ \left\lfloor \frac{m}{2} \right\rfloor + 1$ components which orders can be expressed via binomial coefficients and all but one of the components are bipartite digraphs. The proof is based on the application of recently obtained results concerning the related transfer digraph for linear grid graphs (rectangular, thick cylinder and Moebius strip).
Arctic curves of the 20V model on a triangle
Published
• View Publication
• BIB
We apply the Tangent Method of Colomo and Sportiello to predict the arctic curves of the Twenty Vertex model with specific domain wall boundary conditions on a triangle, in the Disordered phase, leading to a phase diagram with six types of frozen phases and one liquid one. The result relies on a relation to the Six Vertex model with domain wall boundary conditions and suitable weights, as a consequence of integrability. We also perform the exact refined enumeration of configurations.
Counting compatible indexing systems for $C_{p^n}$
Published
• View Publication
• BIB
We count the number of compatible pairs of indexing systems for the cyclic group $C_{p^n}$. Building on work of Balchin--Barnes--Roitzheim, we show that this sequence of natural numbers is another family of Fuss--Catalan numbers. We count this two different ways: showing how the conditions of compatibility give natural recursive formulas for the number of admissible sets and using an enumeration of ways to extend indexing systems by conceptually simpler pieces.
Clustering Cluster Algebras with Clusters
Published in Advances in Theoretical and Mathematical Physics, Volume 27 (2023) Number 3, pp. 797-828
• View Publication
• BIB
Classification of cluster variables in cluster algebras (in particular, Grassmannian cluster algebras) is an important problem, which has direct application to computations of scattering amplitudes in physics. In this paper, we apply the tableaux method to classify cluster variables in Grassmannian cluster algebras $\mathbb{C}[Gr(k,n)]$ up to $(k,n)=(3,12), (4,10)$, or $(4,12)$ up to a certain number of columns of tableaux, using HPC clusters. These datasets are made available on GitHub. Supervised and unsupervised machine learning methods are used to analyse this data and identify structures associated to tableaux corresponding to cluster variables. Conjectures are raised associated to the enumeration of tableaux at each rank and the tableaux structure which creates a cluster variable, with the aid of machine learning.
Generating Functions for Asymmetric Random Walk Processes With Double Absorbing Barriers
Published
• View Publication
• BIB
Generating functions for asymmetric step-size paths restricted by two absorbing barriers are derived. The method begins by applying the Lagrange inversion formula to arbitrary powers of roots of the characteristic equation, that being a trinomial, which produces generating function as function (z) of the conditional probability of absorption of a particle, on a path restricted by two absorbing barriers. The exact enumeration of an asymmetric walk with two absorbing barriers is given.
Universal asymptotic properties of positive functional equations with one catalytic variable
Published
• View Publication
• BIB
Functional equations with one catalytic appear in several combinatorial applications, most notably in the enumeration of lattice paths and in the enumeration of planar maps. The main purpose of this paper is to show that under certain positivity assumptions the dominant singularity of the solutions have a universal behavior. We have to distinguish between linear catalytic equations, where a dominating square root singularity appears, and non-linear catalytic equations, where we - usually - have a singularity of type 3/2.
Inversion sequences avoiding the pattern 010
Inversion sequences are integer sequences $(σ_1, \dots, σ_n)$ such that $0 \leqslant σ_i < i$ for all $1 \leqslant i \leqslant n$. The study of pattern-avoiding inversion sequences began in two independent articles by Mansour-Shattuck and Corteel-Martinez-Savage-Weselcouch in 2015 and 2016. These two initial articles solved the enumeration of inversion sequences avoiding a single pattern for every pattern of length 3 except the patterns 010 and 100. The case 100 was recently solved by Mansour and Yildirim. We solve the final case by making use of a decomposition of inversion sequences avoiding the pattern 010. Our decomposition needs to take into account the maximal value, and the number of distinct values occurring in the inversion sequence. We then expand our method to solve the enumeration of inversion sequences avoiding the pairs of patterns $\{010, 000\}, \{010, 110\}, \{010, 120\}$, and the Wilf-equivalent pairs $\{010, 201\} \sim \{010, 210\}$. For each family of pattern-avoiding inversion sequences considered, its enumeration requires the enumeration of some family of constrained words avoiding the same patterns, a question which we also solve.
Some Mixed-Moments of Gaussian Elliptic Matrices and Ginibre Matrices
We consider the mixed-moments $\varphi(\mathbf{X}^{ε_1},\ldots,\mathbf{X}^{ε_k})=\lim_{N\to\infty}N^{-1}\mathbb{E}\left[\mathrm{Tr}\left(\mathbf{X}^ε_1\cdots\mathbf{X}^{ε_k}\right)\right]$ of complex Gaussian Elliptic Matrices $\mathbf{X}$ (with correlation parameter $ρ$ between elements $\mathbf{X}_{ij}$ and $\mathbf{X}_{ji}^*$), where symbolically $ε_i\in\{1,\dagger\}$, and where the expectation $\mathbb{E}\left[\cdot\right]$ is taken over all matrices $\mathbf{X}$. We start by finding an explicit formula for $\varphi(\mathbf{X}^n,(\mathbf{X}^\dagger)^m)$, $n,m\in\mathbb{N}$, by using a mapping between non-crossing pairings on $\ell=n+m$ elements and Temperley-Lieb diagrams between two strands of $n$ and $m$ elements. This formula allows for a numerically efficient way to compute $\varphi(\mathbf{X}^n,(\mathbf{X}^\dagger)^m)$ by reducing the exponential complexity of a naive enumeration of non-crossing pairings to polynomial complexity. We also provide the asymptotic behavior of these mixed-moments as $n,m\to\infty$. We then provide an explicit computation for some more general mixed-moments by considering the position of the matrix $\mathbf{X}$ in the product $\mathbf{X}^{ε_1}\cdots\mathbf{X}^{ε_k}$. We, therefore, deduce closed-form formulas for some mixed-moments of Ginibre matrices.
Asymptotic enumeration of graphical regular representations
Published
• View Publication
• BIB
We estimate the number of graphical regular representations (GRRs) of a given group with large enough order. As a consequence, we show that almost all finite Cayley graphs have full automorphism groups 'as small as possible'. This confirms a conjecture of Babai-Godsil-Imrich-Lovasz on the proportion of GRRs, as well as a conjecture of Xu on the proportion of normal Cayley graphs, among Cayley graphs of a given finite group.
The Structure of the 2-factor Transfer Digraph Common for Rectangular, Thick Cylinder and Moebius Strip Grid Graphs
In this paper, we prove that all but one of the components of the transfer digraph ${\cal D}^*_m$ needed for the enumeration of 2-factors in the rectangular, thick cylinder and Moebius strip grid graphs of the fixed width $m$ $(m \in N)$ are bipartite digraphs and that their orders could be expressed in term of binomial coefficients. In addition, we prove that the set of vertices of each component consists of all the binary $m$-words for which the difference of numbers of zeros in odd and even positions is constant.
Spin correlation functions, Ramus-like identities, and enumeration of constrained lattice walks and plane partitions
Published in J.Phys.A: Math.Theor. 55 (2022) 225002 (37 pp) Journal of Physics A: Mathematical and Theoretical, Volume 55, Number 22 (2022) 225002
• View Publication
• BIB
Relations between the mean values of distributions of flipped spins on periodic Heisenberg XX chain and some aspects of enumerative combinatorics are discussed. The Bethe vectors, which are the state-vectors of the model, are considered both as on- and off-shell. It is this approach that makes it possible to represent and to study the correlation functions in the form of non-intersecting nests of lattice walks and related plane partitions. We distinguish between two types of walkers, namely lock step models and random turns. Of particular interest is the connection of random turns walks and a circulant matrix. The determinantal representation for the norm-trace generating function of plane partitions with fixed height of diagonal parts is obtained as the expectation of the generating exponential over off-shell N-particle Bethe states. The asymptotics of the dynamical mean value of the generating exponential is calculated in the double scaling limit provided that the evolution parameter is large. It is shown that the amplitudes of the leading asymptotics depend on the number of diagonally constrained plane partitions.
$q$-enumeration of type B and D Eulerian polynomials based on parity of descents
Published
• View Publication
• BIB
Carlitz and Scoville in 1973 considered a four variable polynomial that enumerates permutations in $\mathfrak{S}_n$ with respect to the parity of its descents and ascents. In recent work, Pan and Zeng proved a $q$-analogue of Carlitz-Scoville's generating function by enumerating permutations with the above four statistice along with the inversion number. Further, they also proved a type B analogue by enumerating signed permutations with respect to the parity of descents and ascents. In this work we prove a $q$-analogue of the type B result of Pan and Zeng by enumerating permutations in $\mathfrak{B}_n$ with the above four statistics and the type B inversion number. We also obtain a $q$-analogue of the generating function for the type B bivariate alternating descent polynomials. We consider a similar five-variable polynomial in the type D Coxeter groups as well and give their egf. Alternating descents for the type D groups were previously also defined by Remmel, but our definition is slightly different. As a by-product of our proofs, we get bivariate $q$-analogues of Hyatt's recurrences for the type B and type D Eulerian polynomials. Further corollaries of our results are some symmetry relations for these polynomials and $q$-analogues of generating functions for snakes of types B and D.