enumeration
2243 papers tagged with this keyword
Slow mixing of Glauber Dynamics for the hard-core model on regular bipartite graphs
Let $\gS=(V,E)$ be a finite, $d$-regular bipartite graph. For any $λ>0$ let $π_λ$ be the probability measure on the independent sets of $\gS$ in which the set $I$ is chosen with probability proportional to $λ^{|I|}$ ($π_λ$ is the {\em hard-core measure with activity $λ$ on $\gS$}). We study the Glauber dynamics, or single-site update Markov chain, whose stationary distribution is $π_λ$. We show that when $λ$ is large enough (as a function of $d$ and the expansion of subsets of single-parity of $V$) then the convergence to stationarity is exponentially slow in $|V(\gS)|$. In particular, if $\gS$ is the $d$-dimensional hypercube $\{0,1\}^d$ we show that for values of $λ$ tending to 0 as $d$ grows, the convergence to stationarity is exponentially slow in the volume of the cube. The proof combines a conductance argument with combinatorial enumeration methods.
The enumeration of three pattern classes
Published
• View Publication
• BIB
The structure of three pattern classes Av(2143, 4321), Av(2143, 4312) and Av(1324, 4312) is determined using the machinery of monotone grid classes. This allows the permutations in these classes to be described in terms of simple diagrams and regular languages and, using this, the rational generating functions which enumerate these classes are determined.
Torpid Mixing of Local Markov Chains on 3-Colorings of the Discrete Torus
We study local Markov chains for sampling 3-colorings of the discrete torus $T_{L,d}={0,..., L-1}^d$. We show that there is a constant $ρ\approx .22$ such that for all even $L \geq 4$ and $d$ sufficiently large, certain local Markov chains require exponential time to converge to equilibrium. More precisely, if $\cM$ is a Markov chain on the set of proper 3-colorings of $T_{L,d}$ that updates the color of at most $ρL^d$ vertices at each step and whose stationary distribution is uniform, then the convergence to stationarity of $\cM$ is exponential in $L^{d-1}$. Our proof is based on a conductance argument that builds on sensitive new combinatorial enumeration techniques.
Sampling 3-colourings of regular bipartite graphs
We show that if $\gS=(V,E)$ is a regular bipartite graph for which the expansion of subsets of a single parity of $V$ is reasonably good and which satisfies a certain local condition (that the union of the neighbourhoods of adjacent vertices does not contain too many pairwise non-adjacent vertices), and if $\cM$ is a Markov chain on the set of proper 3-colourings of $\gS$ which updates the colour of at most $ρ|V|$ vertices at each step and whose stationary distribution is uniform, then for $ρ\approx .22$ and $d$ sufficiently large the convergence to stationarity of $\cM$ is (essentially) exponential in $|V|$. In particular, if $\gS$ is the $d$-dimensional hypercube $Q_d$ (the graph on vertex set $\{0,1\}^d$ in which two strings are adjacent if they differ on exactly one coordinate) then the convergence to stationarity of the well-known Glauber (single-site update) dynamics is exponentially slow in $2^d/(\sqrt{d}\log d)$. A combinatorial corollary of our main result is that in a uniform 3-colouring of $Q_d$ there is an exponentially small probability (in $2^d$) that there is a colour $i$ such the proportion of vertices of the even subcube coloured $i$ differs from the proportion of the odd subcube coloured $i$ by at most $.22$. Our proof combines a conductance argument with combinatorial enumeration methods.
Enumerations of finite topologies associated with a finite graph
Published in KYUNGPOOK Math. J. 54(2014), 655-665
• View Publication
• BIB
The number of topologies and non-homeomorphic topologies on a fixed finite set are now known up to $n=18$, $n=16$ but still no complete formula yet (Sloane). There are one to one correspondence among topologies, preorder and digraphs. In this article, we enumerate topologies and non-homeomorphic topologies whose underlying graph is a given finite graph.
Counting trees using symmetries
Published
• View Publication
• BIB
We prove a new formula for the generating function of multitype Cayley trees counted according to their degree distribution. Using this formula we recover and extend several enumerative results about trees. In particular, we extend some results by Knuth and by Bousquet-Mélou and Chapuy about embedded trees. We also give a new proof of the multivariate Lagrange inversion formula. Our strategy for counting trees is to exploit symmetries of refined enumeration formulas: proving these symmetries is easy, and once the symmetries are proved the formulas follow effortlessly. We also adapt this strategy to recover an enumeration formula of Goulden and Jackson for cacti counted according to their degree distribution.
Some Combinatorial Operators in Language Theory
Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of operad. This leads to a combinatorial description of already known results as well as new results on compositions, actions and enumerations.
Combinatorics of generalized Bethe equations
Published in Letters in Mathematical Physics 103:10 (2013) 1047-1077
• View Publication
• BIB
A generalization of the Bethe ansatz equations is studied, where a scalar two-particle S-matrix has several zeroes and poles in the complex plane, as opposed to the ordinary single pole/zero case. For the repulsive case (no complex roots), the main result is the enumeration of all distinct solutions to the Bethe equations in terms of the Fuss-Catalan numbers. Two new combinatorial interpretations of the Fuss-Catalan and related numbers are obtained. On the one hand, they count regular orbits of the permutation group in certain factor modules over Z^M, and on the other hand, they count integer points in certain M-dimensional polytopes.
A multivariate hook formula for labelled trees
Published in Journal of Combinatorial Theory Series A, 120 (2013), pp. 944-959
• Search Publication
Several hook summation formulae for binary trees have appeared recently in the literature. In this paper we present an analogous formula for unordered increasing trees of size r, which involves r parameters. The right-hand side can be written nicely as a product of linear factors. We study two specializations of this new formula, including Cayley's enumeration of trees with respect to vertex degree. We give three proofs of the hook formula. One of these proofs arises somewhat indirectly, from representation theory of the symmetric groups, and in particular uses Kerov's character polynomials. The other proofs are more direct, and of independent interest.
Quadrant marked mesh patterns in alternating permutations
This paper is continuation of the systematic study of distribution of quadrant marked mesh patterns. We study quadrant marked mesh patterns on up-down and down-up permutations, also known as alternating and reverse alternating permutations, respectively. In particular, we refine classic enumeration results of André on alternating permutations by showing that the distribution of the quadrant marked mesh pattern of interest is given by $(\sec(xt))^{1/x}$ on up-down permutations of even length and by $\int_0^t (\sec(xz))^{1+\frac{1}{x}}dz$ on down-up permutations of odd length.
Enumerating regular expressions and their languages
Published
• View Publication
• BIB
In this chapter we discuss the problem of enumerating distinct regular expressions by size and the regular languages they represent. We discuss various notions of the size of a regular expression that appear in the literature and their advantages and disadvantages. We consider a formal definition of regular expressions using a context-free grammar.
We then show how to enumerate strings generated by an unambiguous context-free grammar using the Chomsky-Schützenberger theorem. This theorem allows one to construct an algebraic equation whose power series expansion provides the enumeration. Classical tools from complex analysis, such as singularity analysis, can then be used to determine the asymptotic behavior of the enumeration.
We use these algebraic and analytic methods to obtain asymptotic estimates on the number of regular expressions of size n. A single regular language can often be described by several regular expressions, and we estimate the number of distinct languages denoted by regular expressions of size n. We also give asymptotic estimates for these quantities. For the first few values, we provide exact enumeration results.
On quaternary complex Hadamard matrices of small orders
Published in Advances in Mathematics of Communications 5 309--315 (2011)
• View Publication
• BIB
One of the main goals of design theory is to classify, characterize and count various combinatorial objects with some prescribed properties. In most cases, however, one quickly encounters a combinatorial explosion and even if the complete enumeration of the objects is possible, there is no apparent way how to study them in details, store them efficiently, or generate a particular one rapidly. In this paper we propose a novel method to deal with these difficulties, and illustrate it by presenting the classification of quaternary complex Hadamard matrices up to order 8. The obtained matrices are members of only a handful of parametric families, and each inequivalent matrix, up to transposition, can be identified through its fingerprint.
Enumeration of Cylindric Plane Partitions - part I
Published
• View Publication
• BIB
Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. The first result of this paper is a $(q,t)$-analog of Borodin's identity which extends previous work by Okada in the reverse plane partition case. Our proof uses commutation relations for $(q,t)$-vertex operators acting on Macdonald polynomials as given by Garsia, Haiman and Tesla. The second result of this paper is an explicit combinatorial interpreation of the $(q,t)$-Macdonald weight in terms of a non-intersecting lattice path model on the cylinder.
Enumeration of basic ideals in type B
The number of ad-nilpotent ideals of the Borel subalgebra of the classical Lie algebra of type B_n is determined using combinatorial arguments involving a generalization of Dyck-paths. We also solve a similar problem for the untwisted affine Lie algebra of type ~B_n, where we instead enumerate a certain class of ideals called basic ideals. This leads to an explicit formula for the number of basic ideals in ~B_n, which gives rise to a new integer sequence.
Γ-species, quotients, and graph enumeration
The theory of Γ-species is developed to allow species-theoretic study of quotient structures in a categorically rigorous fashion. This new approach is then applied to two graph-enumeration problems which were previously unsolved in the unlabeled case-bipartite blocks and general k-trees.
A Combinatorial Proof of the Enumeration of Alternating Permutations with Given Peak Set
Using the correspondence between a cycle up-down permutation and a pair of matchings, we give a combinatorial proof of the enumeration of alternating permutations according to the given peak set.
Complete enumeration of small realizable oriented matroids
Published
• View Publication
• BIB
Enumeration of all combinatorial types of point configurations and polytopes is a fundamental problem in combinatorial geometry. Although many studies have been done, most of them are for 2-dimensional and non-degenerate cases.
Finschi and Fukuda (2001) published the first database of oriented matroids including degenerate (i.e. non-uniform) ones and of higher ranks. In this paper, we investigate algorithmic ways to classify them in terms of realizability, although the underlying decision problem of realizability checking is NP-hard. As an application, we determine all possible combinatorial types (including degenerate ones) of 3-dimensional configurations of 8 points, 2-dimensional configurations of 9 points and 5-dimensional configurations of 9 points. We could also determine all possible combinatorial types of 5-polytopes with 9 vertices.
Enumeration of edges in some lattices of paths
We enumerate the edges in the Hasse diagram of several lattices arising in the combinatorial context of lattice paths. Specifically, we will consider the case of Dyck, Grand Dyck, Motzkin, Grand Motzkin, Schröder and Grand Schröder lattices. Finally, we give a general formula for the number of edges in an arbitrary Young lattice (which can be interpreted in a natural way as a lattice of paths).
Enumeration of saturated chains in Dyck lattices
Published in Advances in Applied Mathematics, 62 (2015) 118-140
• View Publication
• BIB
We determine a general formula to compute the number of saturated chains in Dyck lattices, and we apply it to find the number of saturated chains of length 2 and 3. We also compute what we call the Hasse index (of order 2 and 3) of Dyck lattices, which is the ratio between the total number of saturated chains (of length 2 and 3) and the cardinality of the underlying poset.
Enumeration of permutations by number of cyclic occurrence of peaks and valleys
In this paper, we focus on the enumeration of permutations by number of cyclic occurrence of peaks and valleys. We find several recurrence relations involving the number of permutations with a prescribed number of cyclic peaks, cyclic valleys, fixed points and cycles. Several associated permutation statistics and the corresponding generating functions are also studied. In particular, we establish a connection between cyclic valleys and Pell numbers as well as cyclic peaks and alternating runs.