arXiv++ Combinatorics

Let $G$ be a (multi)graph of order $n$ and let $u,v$ be vertices of $G$. The maximum number of internally disjoint $u$-$v$ paths in $G$ is denoted by $κ_G(u,v)$, and the maximum number of edge-disjoint $u$-$v$ paths in $G$ is denoted by $λ_G (u,v)$. The average connectivity of $G$ is defined by $\overlineκ(G)=\sum_{\{u,v\}\subseteq V(G)} κ_G(u,v)/\tbinom{n}{2},$ and the average edge-connectivity of $G$ is defined by $\overlineλ(G)=\sum_{\{u,v\}\subseteq V(G)} λ_G(u,v)/\tbinom{n}{2}$. A graph $G$ is called ideally connected if $κ_G(u,v)=\min\{\mathrm{deg}(u),\mathrm{deg}(v)\}$ for all pairs of vertices $\{u,v\}$ of $G$. We prove that every minimally $2$-connected graph of order $n$ with largest average connectivity is bipartite, with the set of vertices of degree $2$ and the set of vertices of degree at least $3$ being the partite sets. We use this structure to prove that $\overlineκ(G)<\tfrac{9}{4}$ for any minimally $2$-connected graph $G$. This bound is asymptotically tight, and we prove that every extremal graph of order $n$ is obtained from some ideally connected nearly regular graph on roughly $n/4$ vertices and $3n/4$ edges by subdividing every edge. We also prove that $\overlineλ(G)<\tfrac{9}{4}$ for any minimally $2$-edge-connected graph $G$, and provide a similar characterization of the extremal graphs.

We make certain bounds in Krebs' proof of Cobham's theorem explicit and obtain corresponding upper bounds on the length of a common prefix of an aperiodic $a$-automatic sequence and an aperiodic $b$-automatic sequence, where $a$ and $b$ are multiplicatively independent. We also show that an automatic sequence cannot have arbitrarily large factors in common with a Sturmian sequence.

A word is called $β$-free if it has no factors of exponent greater than or equal to $β$. The repetition threshold $\mathrm{RT}(k)$ is the infimum of the set of all $β$ such that there are arbitrarily long $k$-ary $β$-free words (or equivalently, there are $k$-ary $β$-free words of every sufficiently large length, or even every length). These three equivalent definitions of the repetition threshold give rise to three natural definitions of a repetition threshold for circular words. The infimum of the set of all $β$ such that - there are arbitrarily long $k$-ary $β$-free circular words is called the weak circular repetition threshold, denoted $\mathrm{CRT}_{\mathrm{W}}(k)$; - there are $k$-ary $β$-free circular words of every sufficiently large length is called the intermediate circular repetition threshold, denoted $\mathrm{CRT}_{\mathrm{I}}(k)$; - there are $k$-ary $β$-free circular words of every length is called the strong circular repetition threshold, denoted $\mathrm{CRT}_{\mathrm{S}}(k)$. We prove that $\mathrm{CRT}_{\mathrm{S}}(4)=\tfrac{3}{2}$ and $\mathrm{CRT}_{\mathrm{S}}(5)=\tfrac{4}{3}$, confirming a conjecture of Gorbunova and providing the last unknown values of the strong circular repetition threshold. We also prove that $\mathrm{CRT}_{\mathrm{I}}(3)=\mathrm{CRT}_{\mathrm{W}}(3)=\mathrm{RT}(3)=\tfrac{7}{4}$.

The Wiener polynomial of a connected graph $G$ is defined as $W(G;x)=\sum x^{d(u,v)}$, where $d(u,v)$ denotes the distance between $u$ and $v$, and the sum is taken over all unordered pairs of distinct vertices of $G$. We examine the nature and location of the roots of Wiener polynomials of graphs, and in particular trees. We show that while the maximum modulus among all roots of Wiener polynomials of graphs of order $n$ is $\binom{n}{2}-1$, the maximum modulus among all roots of Wiener polynomials of trees of order $n$ grows linearly in $n$. We prove that the closure of the collection of real roots of Wiener polynomials of all graphs is precisely $(-\infty, 0]$, while in the case of trees, it contains $(-\infty, -1]$. Finally, we demonstrate that the imaginary parts and (positive) real parts of roots of Wiener polynomials can be arbitrarily large.

In the interest of studying formulas with reversal of high avoidability index, we find $n$-avoidance bases for formulas with reversal for $n\in\{1,2,3\}$. We demonstrate that there is a unique formula with reversal in each of these three bases of highest avoidability index $n+2$; these formulas are $xx$, $xyx\cdot y^R$, and $xyzx\cdot y^R\cdot z^R$, which belong to an infinite family of formulas with reversal that has been the subject of recent study by the authors.

In this article the extremal structures for the mean order of connected induced subgraphs of cographs are determined. It is shown that among all connected cographs of order $n \ge 7$, the star $K_{1,n-1}$ has maximum mean connected induced subgraph order, and for $n \ge 3$, the $n$-skillet, $K_1+(K_1 \cup K_{n-2})$, has minimum mean connected induced subgraph order. It is deduced that the density for connected cographs (i.e. the ratio of the mean to the order of the graph) is asymptotically $1/2$. The mean order of all connected induced subgraphs containing a given vertex $v$ of a cograph $G$, called the local mean of $G$ at $v$, is shown to be at least as large as the mean order of all connected induced subgraphs of $G$, called the global mean of $G$.

This article focuses on properties and structures of trees with maximum mean subtree order in a given family; such trees are called optimal in the family. Our main goal is to describe the structure of optimal trees in $\mathcal{T}_n$ and $\mathcal{C}_n$, the families of all trees and caterpillars, respectively, of order $n$. We begin by establishing a powerful tool called the Gluing Lemma, which is used to prove several of our main results. In particular, we show that if $T$ is an optimal tree in $\mathcal{T}_n$ or $\mathcal{C}_n$ for $n\geq 4$, then every leaf of $T$ is adjacent to a vertex of degree at least $3$. We also use the Gluing Lemma to answer an open question of Jamison, and to provide a conceptually simple proof of Jamison's result that the path $P_n$ has minimum mean subtree order among all trees of order $n$. We prove that if $T$ is optimal in $\mathcal{T}_n$, then the number of leaves in $T$ is $\mathrm{O}(\log_2 n)$, and that if $T$ is optimal in $\mathcal{C}_n$, then the number of leaves in $T$ is $\mathrmΘ(\log_2 n)$. Along the way, we describe the asymptotic structure of optimal trees in several narrower families of trees.

While a characterization of unavoidable formulas (without reversal) is well-known, little is known about the avoidability of formulas with reversal in general. In this article, we characterize the unavoidable formulas with reversal that have at most two one-way variables ($x$ is a one-way variable in formula with reversal $φ$ if exactly one of $x$ and $x^R$ appears in $φ$).

Given a graph $G$ in which each edge fails independently with probability $q\in[0,1],$ the all-terminal reliability of $G$ is the probability that all vertices of $G$ can communicate with one another, that is, the probability that the operational edges span the graph. The all-terminal reliability is a polynomial in $q$ whose roots (all-terminal reliability roots) were conjectured to have modulus at most $1$ by Brown and Colbourn. Royle and Sokal proved the conjecture false, finding roots of modulus larger than $1$ by a slim margin. Here, we present the first nontrivial upper bound on the modulus of any all-terminal reliability root, in terms of the number of vertices of the graph. We also find all-terminal reliability roots of larger modulus than any previously known. Finally, we consider the all-terminal reliability roots of simple graphs; we present the smallest known simple graph with all-terminal reliability roots of modulus greater than $1,$ and we find simple graphs with all-terminal reliability roots of modulus greater than $1$ that have higher edge connectivity than any previously known examples.

Given a graph $G$ whose edges are perfectly reliable and whose nodes each operate independently with probability $p\in[0,1],$ the node reliability of $G$ is the probability that at least one node is operational and that the operational nodes can all communicate in the subgraph that they induce. We study analytic properties of the node reliability on the interval $[0,1]$ including monotonicity, concavity, and fixed points. Our results show a stark contrast between this model of network robustness and models that arise from coherent set systems (including all-terminal, two-terminal and K-terminal reliability).

We present an infinite family of formulas with reversal whose avoidability index is bounded between 4 and 5, and we show that several members of the family have avoidability index 5. This family is particularly interesting due to its size and the simple structure of its members. For each $k\in\{4,5\}$, there are several previously known avoidable formulas (without reversal) of avoidability index $k$, but they are small in number and they all have rather complex structure.

Given a graph $G$ whose edges are perfectly reliable and whose nodes each operate independently with probability $p\in[0,1],$ the node reliability of $G$ is the probability that at least one node is operational and that the operational nodes can all communicate in the subgraph that they induce; it is the analogous node measure of robustness to the well studied \textit{all-terminal reliability}, where the nodes are perfectly reliable but the edges fail randomly. In sharp contrast to what is known about the roots of the all-terminal reliability polynomial, we show that the node reliability polynomial of any connected graph on at least three nodes has a nonreal polynomial root, the collection of real roots of all node reliability polynomials is unbounded, and the collection of complex roots of all node reliability polynomials is dense in the entire complex plane.