arXiv++ Combinatorics

We present new results about fully leafed induced subtrees in Penrose P2 tilings. We first determine the graph structure of these subtrees and show that they are caterpillars, up to an appendix of at most six tiles. We then study bi-infinite fully leafed induced caterpillars in P2 tilings and their geometric properties. In particular, we refute the conjecture proposed by C. Porrier, A. Goupil and A. Blondin Massé that there is a unique bi-infinite fully leafed caterpillar in Penrose P2 tilings.

In a recent article by C. Porrier, A. Blondin Massé and A. Goupil, a first bi-infinite fully leafed induced subcaterpillar of Penrose P2 tilings is presented. In this paper, we formally construct this caterpillar for the first time. We then prove that every fully leafed induced subtree in Penrose P2 tilings is a caterpillar with at most one appendix of at most two internal tiles, and we characterize fully leafed induced subtrees that have the property of saturation. We also refute the conjecture that there is a unique bi-infinite fully leafed induced subcaterpillar by constructing a new one. Finally, we present progress on the construction of all bi-infinite fully leafed induced subcaterpillars in Penrose P2 tilings.

Let d be an integer between 0 and 4, and W be a 2-dimensional word of dimensions h x w on the binary alphabet {0, 1}, where h, w in Z > 0. Assume that each occurrence of the letter 1 in W is adjacent to at most d letters 1. We provide an exact formula for the maximum number of letters 1 that can occur in W for fixed (h, w). As a byproduct, we deduce an upper bound on the length of maximum snake polyominoes contained in a h x w rectangle.

We study a graph-theoretic problem in the Penrose P2-graphs which are the dual graphs of Penrose tilings by kites and darts. Using substitutions, local isomorphism and other properties of Penrose tilings, we construct a family of arbitrarily large induced subtrees of Penrose graphs with the largest possible number of leaves for a given number $n$ of vertices. These subtrees are called fully leafed induced subtrees. We denote their number of leaves $L_{P2}(n)$ for any non-negative integer $n$, and the sequence $\left(L_{P2}(n)\right)_{n\in\mathbb{N}}$ is called the leaf function of Penrose P2-graphs. We present exact and recursive formulae for $L_{P2}(n)$, as well as an infinite sequence of fully leafed induced subtrees, which are caterpillar graphs. In particular, our proof relies on the construction of a finite graded poset of 3-internal-regular subtrees.

Given a simple graph $G$ with $n$ vertices and a natural number $i \leq n$, let $L_G(i)$ be the maximum number of leaves that can be realized by an induced subtree $T$ of $G$ with $i$ vertices. We introduce a problem that we call the \emph{leaf realization problem}, which consists in deciding whether, for a given sequence of $n+1$ natural numbers $(\ell_0, \ell_1, \ldots, \ell_n)$, there exists a simple graph $G$ with $n$ vertices such that $\ell_i = L_G(i)$ for $i = 0, 1, \ldots, n$. We present basic observations on the structure of these sequences for general graphs and trees. In the particular case where $G$ is a caterpillar graph, we exhibit a bijection between the set of the discrete derivatives of the form $(ΔL_G(i))_{1 \leq i \leq n - 3}$ and the set of prefix normal words.

Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving that the LIS problem is NP-complete in general and then we compute the values of the map $L_G$ for some classical families of graphs and in particular for the $d$-dimensional hypercubic graphs $Q_d$, for $2 \leq d \leq 6$. We also describe a nontrivial branch and bound algorithm that computes the function $L_G$ for any simple graph $G$. In the special case where $G$ is a tree of maximum degree $Δ$, we provide a $\mathcal{O}(n^3Δ)$ time and $\mathcal{O}(n^2)$ space algorithm to compute the function $L_G$.

The goal of this paper is to study the family of snake polyominoes. More precisely, we focus our attention on the class of partially directed snakes. We establish functional equations and length generating functions of two dimensional, three dimensional and then $N$ dimensional partially directed snake polyominoes. We then turn our attention to partially directed snakes inscribed in a $b\times k$ rectangle and we establish two-variable generating functions, with respect to height $k$ and length $n$ of the snakes. We include observations on the relationship between snake polyominoes and self-avoiding walks. We conclude with a discussion on inscribed snakes polyominoes of maximal length which lead us to the formulation of a conjecture encountered in the course of our investigations.

I present a bijection on integer partitions that leads to recursive expressions, closed formulae and generating functions for the cardinality of certain sets of partitions of a positive integer $n$. The bijection leads also to a product on partitions that is associative with a natural grading thus defining a free associative algebra on the set of integer partitions. As an outcome of the computations, certain sets of integers appear that I call difference sets and the product of the integers in a difference set is an invariant for a family of sets of partitions. The main combinatorial objects used in these constructions are the central hooks of the Ferrers diagrams of partitions.

We present combinatorial operators for the expansion of the Kronecker product of irreducible representations of the symmetric group. These combinatorial operators are defined in the ring of symmetric functions and act on the Schur functions basis. This leads to a combinatorial description of the Kronecker powers of the irreducible representations indexed with the partition (n-1,1) which specializes the concept of oscillating tableaux in Young's lattice previously defined by S. Sundaram. We call our specialization {\it Kronecker tableaux}. Their combinatorial analysis leads to enumerative results for the multiplicity of any irreducible representation in the Kronecker powers of the form ${\c^{(n-1,1)}}^{\otimes k}$.