arXiv++ Combinatorics

The Riviera model is a combinatorial model for a settlement along a coastline, introduced recently by the authors. Of most interest are the so-called jammed states, where no more houses can be built without violating the condition that every house needs to have free space to at least one of its sides. In this paper, we introduce new agents (predators and altruists) that want to build houses once the settlement is already in the jammed state. Their behavior is governed by a different set of rules, and this allows them to build new houses even though the settlement is jammed. Our main focus is to detect jammed configurations that are resistant to predators, to altruists, and to both predators and altruists. We provide bivariate generating functions, and complexity functions (configurational entropies) for such jammed configurations. We also discuss this problem in the two-dimensional setting of a combinatorial settlement planning model that was also recently introduced by the authors, and of which the Riviera model is just a special case.

A nonnegative integer $p$ is realizable by a graph-theoretical invariant $I$ if there exist a graph $G$ such that $I(G) = p$. The inverse problem for $I$ consists of finding all nonnegative integers $p$ realizable by $I$. In this paper, we consider and solve the inverse problem for the Mostar index, a recently introduced graph-theoretical invariant which attracted a lot of attention in recent years in both the mathematical and the chemical community. We show that a nonnegative integer is realizable by the Mostar index if and only if it is not equal to one. Besides presenting the complete solution to the problem, we also present some empirical observations and outline several open problems and possible directions for further research.

In random sequential adsorption (RSA), objects are deposited on a substrate randomly, irreversibly, and sequentially. Attempts of deposition that lead to an overlap with previously deposited objects are discarded. The process continues until the system reaches a jammed state when no further additions are possible. We analyze a class of RSA models on a two-row square ladder graph in which landing on an empty site in a graph is allowed when at least $b$ neighboring sites in the graph are unoccupied ($b \in \mathbb{N}$). In this paper we complement this typical way of studying RSA models by analyzing also the structure of the set of all jammed states in a static way, disregarding the dynamics that led to a particular jammed state. In both considered settings (dynamic and static) we provide explicit expressions for key statistics that describe the average proportion of the substrate covered by deposited objects, and then we comment on significant differences between the two settings. We illustrate all of our findings through a toy model for ensembles of trapped Rydberg atoms with blockade range $b$.

We study a recursively defined two-parameter family of graphs which generalize Fibonacci cubes and Pell graphs and determine their basic structural and enumerative properties. In particular, we show that all of them are induced subgraphs of hypercubes and present their canonical decompositions. Further, we compute their metric invariants and establish some Hamiltonicity properties. We show that the new family inherits many useful properties of Fibonacci cubes and hence could be interesting for potential applications. We also compute the degree distribution, opening thus the way for computing many degree-based topological invariants. Several possible directions of further research are discussed in the concluding section.

We consider two division problems on narrow strips of square and hexagonal lattices. In both cases we compute the bivariate enumerating sequences and the corresponding generating functions, which allowed us to determine the asymptotic behavior of the total number of such subdivisions and the expected number of parts. For the square lattice we extend results of two recent references by establishing polynomiality of enumerating sequences forming columns and diagonals of the triangular enumerating sequence. In the hexagonal case, we find a number of new combinatorial interpretations of the Fibonacci numbers and find combinatorial proofs of some Fibonacci related identities. We also show how both cases could be treated via the transfer matrix method and discuss some directions for future research.

In this article, we determine the complexity function (configurational entropy) of jammed configurations of Rydberg atoms on a one-dimensional lattice. Our method consists of providing asymptotics for the number of jammed configurations determined by direct combinatorial reasoning. In this way we reduce the computation of complexity to solving a constrained optimization problem for the Shannon's entropy function. We show that the complexity can be expressed explicitly in terms of the root of a certain polynomial of degree $b$, where $b$ is the so-called blockade range of a Rydberg atom. Our results are put in a relation with the model of irreversible deposition of $k$-mers on a one-dimensional lattice.

We prove a master identity for a class of sequences defined by full-history linear homogeneous recurrences with (non-negative) constant coefficients. The identity is derived in a combinatorial way, providing thus combinatorial proofs for many known and new identities obtained as its corollaries. In particular, we prove several interesting identities for the Pell, the Jacobsthal, and the m-nacci numbers.

We consider a one-dimensional variant of a recently introduced settlement planning problem in which houses can be built on finite portions of the rectangular integer lattice subject to certain requirements on the amount of insolation they receive. In our model, each house occupies a unit square on a $1 \times n$ strip, with the restriction that at least one of the neighboring squares must be free. We are interested mostly in situations in which no further building is possible, i.e. in maximal configurations of houses in the strip. We reinterpret the problem as a problem of restricted packing of vertices in a path graph and then apply the transfer matrix method in order to compute the bivariate generating functions for the sequences enumerating all maximal configurations of a given length with respect to the number of houses. This allows us to determine the asymptotic behavior of the enumerating sequences and to compute some interesting statistics. Along the way, we establish close connections between our maximal configurations and several other types of combinatorial objects, including restricted permutations and walks on certain small oriented graphs. In all cases we provide combinatorial proofs. We then generalize our results in several directions by considering multi-story houses, by varying the insolation restrictions, and, finally, by considering strips of width 2 and 3. At the end we comment on several possible directions of future research.

In this paper we explore two types of tilings of a honeycomb strip and derive some closed form formulas for the number of tilings. Furthermore, we obtain some new identities involving tribonacci numbers, Padovan numbers and Narayana's cow sequence and provide combinatorial proofs for several known identities about those numbers.

A matching $M$ of a graph $G$ is maximal if it is not a proper subset of any other matching in $G$. Maximal matchings are much less known and researched than their maximum and perfect counterparts. In particular, almost nothing is known about their enumerative properties. In this paper we present the recurrences and generating functions for the sequences enumerating maximal matchings in two classes of chemically interesting linear polymers: polyspiro chains and benzenoid chains. We also analyze the asymptotic behavior of those sequences and determine the extremal cases.

The signless Laplacian Estrada index of a graph $G$ is defined as $SLEE(G)=\sum^{n}_{i=1}e^{q_i}$ where $q_1, q_2, \ldots, q_n$ are the eigenvalues of the signless Laplacian matrix of $G$. In this paper, we show that there are exactly two tricyclic graphs with the maximal signless Laplacian Estrada index.

We consider log-convex sequences that satisfy an additional constraint imposed on their rate of growth. We call such sequences log-balanced. It is shown that all such sequences satisfy a pair of double inequalities. Sufficient conditions for log-balancedness are given for the case when the sequence satisfies a two- (or more-) term linear recurrence. It is shown that many combinatorially interesting sequences belong to this class, and, as a consequence, that the above-mentioned double inequalities are valid for all of them.

Using calculus we show how to prove some combinatorial inequalities of the type log-concavity or log-convexity. It is shown by this method that binomial coefficients and Stirling numbers of the first and second kinds are log-concave, and that Motzkin numbers and secondary structure numbers of rank 1 are log-convex. In fact, we prove via calculus a much stronger result that a natural continuous ``patchwork'' (i.e. corresponding dynamical systems) of Motzkin numbers and secondary structures recursions are increasing functions. We indicate how to prove asymptotically the log-convexity for general secondary structures. Our method also applies to show that sequences of values of some orthogonal polynomials, and in particular the sequence of central Delannoy numbers, are log-convex.

Two general methods for establishing the logarithmic behavior of recursively defined sequences of real numbers are presented. One is the interlacing method, and the other one is based on calculus. Both methods are used to prove logarithmic behavior of some combinatorially relevant sequences, such as Motzkin and Schröder numbers, sequences of values of some classic orthogonal polynomials, and many others. The calculus method extends also to two- (or more-) indexed sequences.