arXiv++ Combinatorics

For an additive submonoid $\mathcal{M}$ of $\mathbb{R}_{\ge 0}$, the weight of an $\mathcal{M}$-labeled directed graph is the sum of all of its edge labels, while the content is the product of the labels. Having fixed $\mathcal{M}$ and a directed tree $E$, we prove a general result on the shape of directed $\mathcal{M}$-labeled graphs $Γ$ of weight $N\in \mathcal{M}$ maximizing the sum of the contents of all copies $E\subset Γ$. This specializes to recover a result of Hajac and Tobolski on the maximal number of length-$k$ paths in a directed acyclic graph. It also applies to prove a conjecture by the same authors on the maximal sum of entries of $A^k$ for a nilpotent $\mathbb{R}_{\ge 0}$-valued square matrix $A$ whose entries add up to $N$. Finally, we apply the same techniques to obtain the maximal number of stars with $a$ arms in a directed graph with $N$ edges.

In 2016, Bonato, Janssen, and Roshanbin introduced graph burning as a discrete process that models the spread of social contagion. Although the burning process is a simple algorithm, the problem of determining the least number of rounds needed to completely burn a graph, called the burning number of the graph, is NP-complete even for elementary graph structures like spiders. An early conjecture that every connected graph of order square of m can be burned in at most m rounds is the main motivator of this study. Attempts to prove the conjecture have resulted in various upper bounds for the burning number and validation of the conjecture for certain elementary classes of graphs. In this work, we find a tight upper bound for the order of a spider for it to be burned within a given number of rounds. Our result shows that the tight bound depends on the structure of the spider under consideration, namely the number of arms. This strengthens the previously known results on spiders in relation to the conjecture. More importantly, this opens up potential enquiry into the connection between burning numbers and certain characteristics of graphs. Finally, a tight upper bound for the order of a path forest for it to be burned within a given number of rounds is obtained, thus completing previously known partial corresponding results.

There are $k$ kinds of length $k$ hooks with different arm length. Actually, this $k$ kinds appear uniformly in Young diagrams of size $n$. The property ``appear uniformly'' is called super symmetric. We give a combinatorial proof of the supper symmetric property of hook length.

Motivated by work of Gusein-Zade, Luengo, and Melle-Hernández, we study a specific generating series of arm and leg statistics on partitions, which is known to compute the Poincaré polynomials of Z_3-equivariant Hilbert schemes of points in the plane, where Z_3 acts diagonally. This generating series has a conjectural product formula, a proof of which has remained elusive over the last ten years. We introduce a new combinatorial correspondence between partitions of n and {1,2}-compositions of n, which behaves well with respect to the statistic in question. As an application, we use this correspondence to compute the highest Betti numbers of the Z_3 equivariant Hilbert schemes.

A tree is said to be starlike if exactly one vertex has degree greater than two. In this paper, we will study the spectral properties of $S(n,k \cdot 1)$, that is, the starlike tree with $k$ branches of length 1 and one branch of length $n$. The largest eigenvalue $λ_1$ of $S(n,k \cdot 1)$ satisfies $\sqrt{k+1} \leq λ_1 < k/\sqrt{k-1}$. Moreover, the largest eigenvalue of $S(n,k \cdot 1)$ is equal to the largest eigenvalue of $S(k \cdot (n+1) )$, which is the starlike tree that has $k$ branches of length $n-1$. Using the spectral radii of $S(n,k \cdot 1)$ we can show

We study the motion of a robotic arm inside a rectangular tunnel. We prove that the configuration space of all possible positions of the robot is a CAT(0) cubical complex. This allows us to use techniques from geometric group theory to find the optimal way of moving the arm from one position to another. We also compute the diameter of the configuration space, that is, the longest distance between two positions of the robot.

Graph burning is a model for the spread of social contagion. The burning number is a graph parameter associated with graph burning that measures the speed of the spread of contagion in a graph; the lower the burning number, the faster the contagion spreads. We prove that the corresponding graph decision problem is \textbf{NP}-complete when restricted to acyclic graphs with maximum degree three, spider graphs and path-forests. We provide polynomial time algorithms for finding the burning number of spider graphs and path-forests if the number of arms and components, respectively, are fixed.

In contrast to many known results concerning periodic tilings of the Euclidean plane with pentagons, here tilings with rotational symmetry are investigated. A certain class of convex pentagons is introduced. It can be shown that for any given symmetry type $\mathbf{C}_{n}$ or $\mathbf{D}_{n}$ there exists a monohedral tiling generated by a pentagon from this class. For $n>1$ each of these tilings is also a spiral tiling with $n$ arms. As a byproduct it follows that the same holds for convex hexagons.

Let $λ$ be a partition, viewed as a Young diagram. We define the hook difference of a cell of $λ$ to be the difference of its leg and arm lengths. Define $h_{1,1}(λ)$ to be the number of cells of $λ$ with hook difference one. In the paper of Buryak and Feigin (arXiv:1206.5640), algebraic geometry is used to prove a generating function identity which implies that $h_{1,1}$ is equidistributed with $a_2$, the largest part of a partition that appears at least twice, over the partitions of a given size. In this paper, we propose a refinement of the theorem of Buryak and Feigin and prove some partial results using combinatorial methods. We also obtain a new formula for the q-Catalan numbers which naturally leads us to define a new q,t-Catalan number with a simple combinatorial interpretation.

Loehr and Warrington introduced partitional statistics $\mbox{ctot}_{\frac{q}{p}}(D)$ and $\mbox{midd}_{\frac{q}{p}}(D)$ and provided formulas for these statistics in terms of the boundary graph of the Young diagram $D$. In this paper we give a bijective proof of Loehr-Warrington's formulas using the following simple combinatorial observation: given a Young diagram $D$ and two numbers $a$ and $l,$ the number of boxes in $D$ with the arm length $a$ and the leg length $l$ is one less than the number of boxes with the same properties in the complement to $D.$ Here the complement is taken inside the positive quadrant or, equivalently, a very large rectangle.

Given a reconfigurable system X, such as a robot moving on a grid or a set of particles traversing a graph without colliding, the possible positions of X naturally form a cubical complex S(X). When S(X) is a CAT(0) space, we can explicitly construct the shortest path between any two points, for any of the four most natural metrics: distance, time, number of moves, and number of steps of simultaneous moves. CAT(0) cubical complexes are in correspondence with posets with inconsistent pairs (PIPs), so we can prove that a state complex S(X) is CAT(0) by identifying the corresponding PIP. We illustrate this very general strategy with one known and one new example: Abrams and Ghrist's positive robotic arm on a square grid, and the robotic arm in a strip. We then use the PIP as a combinatorial "remote control" to move these robots efficiently from one position to another.

The existence question for tiling of the $n$-dimensional Euclidian space by crosses is well known. A few existence and nonexistence results are known in the literature. Of special interest are tilings of the Euclidian space by crosses with arms of length one, known also as Lee spheres with radius one. Such a tiling forms a perfect code. In this paper crosses with arms of length half are considered. These crosses are scaled by two to form a discrete shape. We prove that an integer tiling for such a shape exists if and only if $n=2^t-1$ or $n=3^t-1$, $t>0$. A strong connection of these tilings to binary and ternary perfect codes in the Hamming scheme is shown.

Hubbard trees are invariant trees connecting the points of the critical orbits of postcritically finite polynomials. Douady and Hubbard \cite{Orsay} introduced these trees and showed that they encode the essential information of Julia sets in a combinatorial way. The itinerary of the critical orbit within the Hubbard tree is encoded by a (pre)periodic sequence on $\{\0,\1\}$ called \emph{kneading sequence}. We prove that the kneading sequence completely encodes the Hubbard tree and its dynamics, and we show how to reconstruct the tree and in particular its branch points (together with their periods, their relative posititions, their number of arms and their local dynamics) in terms of the kneading sequence alone. Every kneading sequence gives rise to an abstract Hubbard tree, but not every kneading sequence occurs in real dynamics or in complex dynamics. Milnor and Thurston \cite{MT} classified which kneading sequences occur in real dynamics; we do the same for complex dynamics in terms of a complex \emph{admissibility condition}. This complex admissibility condition fails if and only if the abstract Hubbard tree has a so-called \emph{evil} periodic branch point that is incompatible with local homeomorphic dynamics on the plane.