3,018 research outputs found
Infinite Combinatorics Plain and Simple
We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary sub-models have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstrate the ease and wide applicability of this method in a form accessible to anyone with a basic background in set theory and logic
On the enumeration of closures and environments with an application to random generation
Environments and closures are two of the main ingredients of evaluation in
lambda-calculus. A closure is a pair consisting of a lambda-term and an
environment, whereas an environment is a list of lambda-terms assigned to free
variables. In this paper we investigate some dynamic aspects of evaluation in
lambda-calculus considering the quantitative, combinatorial properties of
environments and closures. Focusing on two classes of environments and
closures, namely the so-called plain and closed ones, we consider the problem
of their asymptotic counting and effective random generation. We provide an
asymptotic approximation of the number of both plain environments and closures
of size . Using the associated generating functions, we construct effective
samplers for both classes of combinatorial structures. Finally, we discuss the
related problem of asymptotic counting and random generation of closed
environemnts and closures
Gaussian Behavior of Quadratic Irrationals
We study the probabilistic behaviour of the continued fraction expansion of a
quadratic irrational number, when weighted by some "additive" cost. We prove
asymptotic Gaussian limit laws, with an optimal speed of convergence. We deal
with the underlying dynamical system associated with the Gauss map, and its
weighted periodic trajectories. We work with analytic combinatorics methods,
and mainly with bivariate Dirichlet generating functions; we use various tools,
from number theory (the Landau Theorem), from probability (the Quasi-Powers
Theorem), or from dynamical systems: our main object of study is the (weighted)
transfer operator, that we relate with the generating functions of interest.
The present paper exhibits a strong parallelism with the methods which have
been previously introduced by Baladi and Vall\'ee in the study of rational
trajectories. However, the present study is more involved and uses a deeper
functional analysis framework.Comment: 39 pages In this second version, we have added an annex that provides
a detailed study of the trace of the weighted transfer operator. We have also
corrected an error that appeared in the computation of the norm of the
operator when acting in the Banach space of analytic functions defined in the
paper. Also, we give a simpler proof for Theorem
Polynomial tuning of multiparametric combinatorial samplers
Boltzmann samplers and the recursive method are prominent algorithmic
frameworks for the approximate-size and exact-size random generation of large
combinatorial structures, such as maps, tilings, RNA sequences or various
tree-like structures. In their multiparametric variants, these samplers allow
to control the profile of expected values corresponding to multiple
combinatorial parameters. One can control, for instance, the number of leaves,
profile of node degrees in trees or the number of certain subpatterns in
strings. However, such a flexible control requires an additional non-trivial
tuning procedure. In this paper, we propose an efficient polynomial-time, with
respect to the number of tuned parameters, tuning algorithm based on convex
optimisation techniques. Finally, we illustrate the efficiency of our approach
using several applications of rational, algebraic and P\'olya structures
including polyomino tilings with prescribed tile frequencies, planar trees with
a given specific node degree distribution, and weighted partitions.Comment: Extended abstract, accepted to ANALCO2018. 20 pages, 6 figures,
colours. Implementation and examples are available at [1]
https://github.com/maciej-bendkowski/boltzmann-brain [2]
https://github.com/maciej-bendkowski/multiparametric-combinatorial-sampler
A Reciprocity Theorem for Monomer-Dimer Coverings
The problem of counting monomer-dimer coverings of a lattice is a
longstanding problem in statistical mechanics. It has only been exactly solved
for the special case of dimer coverings in two dimensions. In earlier work,
Stanley proved a reciprocity principle governing the number of dimer
coverings of an by rectangular grid (also known as perfect matchings),
where is fixed and is allowed to vary. As reinterpreted by Propp,
Stanley's result concerns the unique way of extending to so
that the resulting bi-infinite sequence, for , satisfies a
linear recurrence relation with constant coefficients. In particular, Stanley
shows that is always an integer satisfying the relation where unless 2(mod 4) and
is odd, in which case . Furthermore, Propp's method is
applicable to higher-dimensional cases. This paper discusses similar
investigations of the numbers , of monomer-dimer coverings, or
equivalently (not necessarily perfect) matchings of an by rectangular
grid. We show that for each fixed there is a unique way of extending
to so that the resulting bi-infinite sequence, for , satisfies a linear recurrence relation with constant coefficients. We
show that , a priori a rational number, is always an integer, using a
generalization of the combinatorial model offered by Propp. Lastly, we give a
new statement of reciprocity in terms of multivariate generating functions from
which Stanley's result follows.Comment: 13 pages, 12 figures, to appear in the proceedings of the Discrete
Models for Complex Systems (DMCS) 2003 conference. (v2 - some minor changes
- …