enumeration
2243 papers tagged with this keyword
Distribution of Base Pair Alternations in a Periodic DNA Chain: Application of Polya Counting to a Physical System
Published in Regular and Chaotic Dynamics (2018) 23: 135
• View Publication
• BIB
In modeling DNA chains, the number of alternations between Adenine-Thymine (AT) and Guanine-Cytosine (GC) base pairs can be considered as a measure of the heterogeneity of the chain, which in turn could affect its dynamics. A probability distribution function of the number of these alternations is derived for circular or periodic DNA. Since there are several symmetries to account for in the periodic chain, necklace counting methods are used. In particular, Polya's Enumeration Theorem is extended for the case of a group action that preserves partitioned necklaces. This, along with the treatment of generating functions as formal power series, allows for the direct calculation of the number of possible necklaces with a given number of AT base pairs, GC base pairs and alternations. The theoretically obtained probability distribution functions of the number of alternations are accurately reproduced by Monte Carlo simulations and fitted by Gaussians. The effect of the number of base pairs on the characteristics of these distributions is also discussed, as well as the effect of the ratios of the numbers of AT and GC base pairs.
Enumerating sparse uniform hypergraphs with given degree sequence and forbidden edges
Published
• View Publication
• BIB
For $n\geq 3$ and $r=r(n) \geq 3$, let $\boldsymbol{k} =\boldsymbol{k}(n)=(k_1, \ldots, k_n)$ be a sequence of non-negative integers with sum $M(\boldsymbol{k})=\sum_{j=1}^{n} k_j$. We assume that $M(\boldsymbol{k})$ is divisible by $r$ for infinitely many values of $n$, and restrict our attention to these values. Let $X=X(n)$ be a simple $r$-uniform hypergraph on the vertex set $V=\{v_1,v_2, \ldots, v_n\}$ with $t$ edges and maximum degree $x_{\max}$. We denote by $\mathcal{H}_r(\boldsymbol{k})$ the set of all simple $r$-uniform hypergraphs on the vertex set $V$ with degree sequence $\boldsymbol{k}$, and let $\mathcal{H}_r(\boldsymbol{k},X)$ be the set of all hypergraphs in $\mathcal{H}_r(\boldsymbol{k})$ which contain no edge of $X$. We give an asymptotic enumeration formula for the size of $\mathcal{H}_r(\boldsymbol{k},X)$. This formula holds when $r^4 k_{\max}^3=o(M(\boldsymbol{k}))$, $t\, k_{\max}^{3}\, =o(M(\boldsymbol{k})^2)$ and $r\,t\,k_{\max}^4 = o(M(\boldsymbol{k})^3)$. Our proof involves the switching method.
As a corollary, we obtain an asymptotic formula for the number of hypergraphs in $\mathcal{H}_r(\boldsymbol{k})$ which contain every edge of $X$. We apply this result to find asymptotic expressions for the expected number of perfect matchings and loose Hamilton cycles in a random hypergraph in $\mathcal{H}_r(\boldsymbol{k})$ in the regular case.
Cyclic permutations avoiding pairs of patterns of length three
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018, Permutation Patterns (November 26, 2019) dmtcs:5014
• View Publication
• BIB
We complete the enumeration of cyclic permutations avoiding two patterns of length three each by providing explicit formulas for all but one of the pairs for which no such formulas were known. The pair $(123,231)$ proves to be the most difficult of these pairs. We also prove a lower bound for the growth rate of the number of cyclic permutations that avoid a single pattern $q$, where $q$ is an element of a certain infinite family of patterns.
Enumeration of Complex Golay Pairs via Programmatic SAT
Published
• View Publication
• BIB
We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This independently verifies work done by F. Fiedler in 2013 that confirms the 2002 conjecture of Craigen, Holzmann, and Kharaghani that complex Golay pairs of length 23 don't exist. Our enumeration method relies on the recently proposed SAT+CAS paradigm of combining computer algebra systems with SAT solvers to take advantage of the advances made in the fields of symbolic computation and satisfiability checking. The enumeration proceeds in two stages: First, we use a fine-tuned computer program and functionality from computer algebra systems to construct a list containing all sequences which could appear as the first sequence in a complex Golay pair (up to equivalence). Second, we use a programmatic SAT solver to construct all sequences (if any) that pair off with the sequences constructed in the first stage to form a complex Golay pair.
Neighborhood inclusions for minimal dominating sets enumeration: linear and polynomial delay algorithms in $P_7$-free and $P_8$-free chordal graphs
In [M. M. Kanté, V. Limouzy, A. Mary, and L. Nourine. On the enumeration of minimal dominating sets and related notions. SIAM Journal on Discrete Mathematics, 28(4):1916-1929, 2014] the authors give an $O(n+m)$ delay algorithm based on neighborhood inclusions for the enumeration of minimal dominating sets in split and $P_6$-free chordal graphs. In this paper, we investigate generalizations of this technique to $P_k$-free chordal graphs for larger integers $k$. In particular, we give $O(n+m)$ and $O(n^3\cdot m)$ delays algorithms in the classes of $P_7$-free and $P_8$-free chordal graphs. As for $P_k$-free chordal graphs for $k\geq 9$, we give evidence that such a technique is inefficient as a key step of the algorithm, namely the irredundant extension problem, becomes NP-complete.
On factor-free Dyck words with half-integer slope
Published in Advances in Applied Mathematics 99 (2018), 94-108
• View Publication
• BIB
We study a class of rational Dyck paths with slope (2m+1)/2 corresponding to factor-free Dyck words, as introduced by P. Duchon. We show that, for the slopes considered in this paper, the language of factor-free Dyck words is generated by an auxiliary language that we examine from the algebraic and combinatorial points of view. We provide a lattice path description of this language, and give an explicit enumeration formula in terms of partial Bell polynomials. As a corollary, we obtain new formulas for the number of associated factor-free generalized Dyck words.
Refined enumerations of alternating sign triangles
Published
• View Publication
• BIB
This article introduces and investigates a refinement of alternating sign trapezoids by means of Catalan objects and Motzkin paths. Alternating sign trapezoids are a generalisation of alternating sign triangles, which were recently introduced by Ayyer, Behrend and Fischer. We show that the number of alternating sign trapezoids associated with a Catalan object (resp. Motzkin path) is a polynomial function in the length of the shorter base of the trapezoid. We also study the rational roots of the polynomials and formulate several conjectures and derive some partial results. Lastly, we deduce a constant term identity for the refined counting of alternating sign trapezoids.
On the Structure and Scarcity of Alternating Knots
Given a class of objects, a pattern theorem is a powerful result describing their structure. We show that alternating knots exhibit a pattern theorem, and use this result to prove a long-standing conjecture that alternating knots grow rare. This is currently the best possible analogue of a pair of theorems on alternating links of Sundberg and Thistlethwaite in 1998 and Thistlethwaite in 1998, given the current obstructions to an exact enumeration of knot diagrams. We also discuss implications of this pattern theorem for subknots and slipknots in minimal alternating knot diagrams and types, partially answering a conjecture of Millett and Jablan.
On the polynomiality and asymptotics of moments of sizes for random $(n, dn\pm 1)$-core partitions with distinct parts
Published
• View Publication
• BIB
Amdeberhan's conjectures on the enumeration, the average size, and the largest size of $(n,n+1)$-core partitions with distinct parts have motivated many research on this topic. Recently, Straub and Nath-Sellers obtained formulas for the numbers of $(n, dn-1)$ and $(n, dn+1)$-core partitions with distinct parts, respectively. Let $X_{s,t}$ be the size of a uniform random $(s,t)$-core partition with distinct parts when $s$ and $t$ are coprime to each other. Some explicit formulas for the $k$-th moments $\mathbb{E} [X_{n,n+1}^k]$ and $\mathbb{E} [X_{2n+1,2n+3}^k]$ were given by Zaleski and Zeilberger when $k$ is small. Zaleski also studied the expectation and higher moments of $X_{n,dn-1}$ and conjectured some polynomiality properties concerning them in arXiv:1702.05634.
Motivated by the above works, we derive several polynomiality results and asymptotic formulas for the $k$-th moments of $X_{n,dn+1}$ and $X_{n,dn-1}$ in this paper, by studying the beta sets of core partitions. In particular, we show that these $k$-th moments are asymptotically some polynomials of n with degrees at most $2k$, when $d$ is given and $n$ tends to infinity. Moreover, when $d=1$, we derive that the $k$-th moment $\mathbb{E} [X_{n,n+1}^k]$ of $X_{n,n+1}$ is asymptotically equal to $\left(n^2/10\right)^k$ when $n$ tends to infinity. The explicit formulas for the expectations $\mathbb{E} [X_{n,dn+1}]$ and $\mathbb{E} [X_{n,dn-1}]$ are also given. The $(n,dn-1)$-core case in our results proves several conjectures of Zaleski on the polynomiality of the expectation and higher moments of $X_{n,dn-1}$.
Constant term formulas for refined enumerations of Gog and Magog trapezoids
Published
• View Publication
• BIB
Gog and Magog trapezoids are certain arrays of positive integers that generalize alternating sign matrices (ASMs) and totally symmetric self-complementary plane partitions (TSSCPPs) respectively. Zeilberger used constant term formulas to prove that there is the same number of (n,k)-Gog trapezoids as there is of (n,k)-Magog trapezoids, thereby providing so far the only proof for a weak version of a conjecture by Mills, Robbins and Rumsey from 1986. About 20 years ago, Krattenthaler generalized Gog and Magog trapezoids and formulated an extension of their conjecture, and, recently, Biane and Cheballah generalized Gog trapezoids further and formulated a related conjecture. In this paper, we derive constant term formulas for various refined enumerations of generalized Gog trapezoids including those considered by Krattenthaler and by Biane and Cheballah. For this purpose we employ a result on the enumeration of truncated monotone triangles which is in turn based in the author's operator formula for the number of monotone triangles with prescribed bottom row. As a byproduct, we also generalize the operator formula for monotone triangles by including the inversion number and the complementary inversion number for ASMs. Constant term formulas as well as determinant formulas for the refined Magog trapezoid numbers that appear in Krattenthaler's conjecture are also deduced by using the classical approach based on non-intersecting lattice paths and the Lindström-Gessel-Viennot theorem. Finally, we review and partly extend a few existing tools that may be helpful in relating constant term formulas for Gogs to those for Magogs to eventually prove the above mentioned conjectures.
On the enumeration of the set of numerical semigroups with fixed Frobenius number and fixed number of second kind gaps
Published in Results Math. 77 (2022), Article No. 10
• View Publication
• BIB
We study how certain invariants of numerical semigroups relate to the number of second kind gaps. Furthermore, given two fixed non-negative integers F and k, we provide an algorithm to compute all the numerical semigroups whose Frobenius number is F and which have exactly k second kind gaps.
3d positive lattice walks and spherical triangles
Published
• View Publication
• BIB
In this paper we explore the asymptotic enumeration of three-dimensional excursions confined to the positive octant. As shown in [29], both the exponential growth and the critical exponent admit universal formulas, respectively in terms of the inventory of the step set and of the principal Dirichlet eigenvalue of a certain spherical triangle, itself being characterized by the steps of the model. We focus on the critical exponent, and our main objective is to relate combinatorial properties of the step set (structure of the so-called group of the walk, existence of a Hadamard factorization, existence of differential equations satisfied by the generating functions) to geometric or analytic properties of the associated spherical triangle (remarkable angles, tiling properties, existence of an exceptional closed-form formula for the principal eigenvalue). As in general the eigenvalues of the Dirichlet problem on a spherical triangle are not known in closed form, we also develop a finite-elements method to compute approximate values, typically with ten digits of precision.
Unimodal Polynomials and Lattice Walk Enumeration with Experimental Mathematics
The main theme of this dissertation is retooling methods to work for different situations.
I have taken the method derived by O'Hara and simplified by Zeilberger to prove unimodality of $q$-binomials and tweaked it. This allows us to create many more families of polynomials for which unimodality is not, a priori, given. I analyze how many of the tweaks affect the resulting polynomial. Ayyer and Zeilberger proved a result about bounded lattice walks. I employ their generating function relation technique to analyze lattice walks with a general step set in bounded, semi-bounded, and unbounded planes. The method in which we do this is formulated to be highly algorithmic so that a computer can automate most, if not all, of the work. I easily recover many well-known results for simpler step sets and discover new results for more complex step sets.
Enumeration of alternating sign triangles using a constant term approach
Published
• View Publication
• BIB
Alternating sign triangles (ASTs) have recently been introduced by Ayyer, Behrend and the author, and it was proven that there is the same number of ASTs with n rows as there is of nxn alternating sign matrices (ASMs). We prove a conjecture by Behrend on a refined enumeration of ASTs with respect to a statistic that is shown to have the same distribution as the column of the unique 1 in the top row of an ASM. The proof of the conjecture is based on a certain multivariate generating function of ASTs that takes the positions of the columns with sum 1 (1-columns) into account. We also prove a curious identity on the cyclic rotation of the 1-columns of ASTs. Furthermore, we discuss a relation of our multivariate generating function to a formula of Di Francesco and Zinn-Justin for the number of fully packed loop configurations associated with a given link pattern. The proofs of our results employ the author's operator formula for the number of monotone triangles with prescribed bottom row. This is opposed to the six-vertex model approach that was used by Ayyer, Behrend and the author to enumerate ASTs, and since the refined enumeration implies the unrefined enumeration, the present paper also provides an alternative proof of the enumeration of ASTs.
A duality for labeled graphs and factorizations with applications to graph embeddings and Hurwitz enumeration
Published in Rocky Mountain Journal of Mathematics, 54:3 (2024), 631--674
• View Publication
• BIB
The set of factorizations of permutations in to $m$ transpositions of some symmetric group $\mathcal{S}_n$ is naturally in bijection with the set of graphs of order $n$ and size $m$ with both edges and vertices labeled. We define a notion of duality (the \emph{mind-body duality}) for factorizations and such labeled graphs and interpret it in terms of Properly Embedded Graphs, a class of graphs embedded in a bounded compact oriented surface with all the vertices lying in the boundary, and show a close connection of this duality with the Hurwitz action of the Braid Group. Connections with the theory of Cellularly Embedded Graphs are highlighted and hints of possible applications are given. In this paper we focus on developing the necessary theory, leaving specific applications and further developments for future projects.
Enumeration of Łukasiewicz paths modulo some patterns
Published
• View Publication
• BIB
For any pattern $α$ of length at most two, we enumerate equivalence classes of Łukasiewicz paths of length $n\geq 0$ where two paths are equivalent whenever the occurrence positions of $α$ are identical on these paths. As a byproduct, we give a constructive bijection between Motzkin paths and some equivalence classes of Łukasiewicz paths.
Different classes of binary necklaces and a combinatorial method for their enumerations
In this paper we investigate enumeration of some classes of $n$-character strings and binary necklaces. Recall that binary necklaces are necklaces in two colors with length $n$. We prove three results (Theorems 1, 1' and 2) concerning the numbers of three classes of $j$-character strings (closely related to some classes of binary necklaces or Lyndon words). Using these results, we deduce Moreau's necklace-counting function for binary aperiodic necklaces of length $k$ \cite{mo} (Theorem 3), and we prove the binary case of MacMahon's formula from 1892 \cite{ma} (also called Witt's formula) for the number of necklaces (Theorem 4). Notice that we give proofs of Theorems 3 and 4 without use of Burnside's lemma and Pólya enumeration theorem. Namely, the methods used in our proofs of auxiliary and main results presented in Sections 3 and 4 are combinatorial in spirit and they are based on counting method and some facts from elementary number theory.
Lattice Walk Enumeration
Trying to enumerate all of the walks in a 2D lattice is a fun combinatorial problem and there are numerous applications, from polymers to sports. Computers provide a wonderful tool for analyzing these walks; we provide a Maple package for automatically describing generating functions of walks restricted to any step set in a 2D lattice. We always obtain a closed system of relations for generating functions of walks that are bounded, semi-bounded, or unbounded. For bounded walks, this leads to explicit rational solutions! For semi-bounded or unbounded walks, we may get lucky and obtain algebraic solutions; if not, we still have a short self-referential description of the generating function.
Enumeration of super-strong Wilf equivalence classes of permutations in the generalized factor order
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018, Permutation Patterns (November 11, 2019) dmtcs:5055
• View Publication
• BIB
Super-strong Wilf equivalence classes of the symmetric group ${\mathcal S}_n$ on $n$ letters, with respect to the generalized factor order, were shown by Hadjiloucas, Michos and Savvidou (2018) to be in bijection with pyramidal sequences of consecutive differences. In this article we enumerate the latter by giving recursive formulae in terms of a two-dimensional analogue of non-interval permutations. As a by-product, we obtain a recursively defined set of representatives of super-strong Wilf equivalence classes in ${\mathcal S}_n$. We also provide a connection between super-strong Wilf equivalence and the geometric notion of shift equivalence---originally defined by Fidler, Glasscock, Miceli, Pantone, and Xu (2018) for words---by showing that an alternate way to characterize super-strong Wilf equivalence for permutations is by keeping only rigid shifts in the definition of shift equivalence. This allows us to fully describe shift equivalence classes for permutations of size $n$ and enumerate them, answering the corresponding problem posed by Fidler, Glasscock, Miceli, Pantone, and Xu (2018).
Enumerating two permutation classes by the number of cycles
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (October 27, 2022) dmtcs:6173
• View Publication
• BIB
We enumerate permutations in the two permutation classes $\text{Av}_n(312, 4321)$ and $\text{Av}_n(321, 4123)$ by the number of cycles each permutation admits. We also refine this enumeration with respect to several statistics.