arXiv++ Combinatorics

Let $n>c_1\ge c_2$ and $Σ$ be positive integers with $n\cdot c_1\ge Σ\ge n\cdot c_2.$ Let $\mD=\dds{n}Σ{c_1}{c_2}$ denote the set of all degree sequences of length $n$ with the even sum $Σ$ and satisfying $c_1\ge d_i\ge c_2.$ We show that if all degree sequences in $\mD$ are graphic, then $\mD$ is $3n^{13}$-stable. (The concept of $P$-stability was introduced by Jerrum and Sinclair in 1990.) In particular, this implies that the switch Markov-chain mixes rapidly on all such degree sequences. In this paper we also study the inverse direction. We show the following: if all graphic sequences of a degree sequence region satisfy the $p(n)$-stability condition then the overwhelming majority of the sequences in the region is graphic. This answers affirmatively a question raised in the paper \DOI{10.1016/j.aam.2024.102805}.

The notion of $P$-stability of an infinite set of degree sequences plays influential role in approximating the permanents, rapidly sampling the realizations of graphic degree sequences, or even studying and improving network privacy. While there exist several known sufficient conditions for $P$-stability, we don't know any useful necessary condition for it. We also do not have good insight of possible structure of $P$-stable degree sequence families. At first we will show that every known infinite $P$-stable degree sequence set, described by inequalities of the parameters $n, c_1, c_2, Σ$ (the sequence length, the maximum and minimum degrees and the sum of the degrees) is ,,fully graphic" meaning that every degree sequence from the region with an even degree sum, is graphic. Furthermore, if $Σ$ does not occur in the determining inequality, then the notions of $P$-stability and full graphicality will be proved equivalent. In turns, this equality provides a strengthening of the well-known theorem of Jerrum, McKay and Sinclair about $P$-stability, describing the maximal $P$-stable sequence set by $n, c_1, c_2$. Furthermore we conjecture that similar equivalences occur in cases if $Σ$ also part of the defining inequality.

An independent vertex subset $S$ of the directed graph $G$ is a kernel if the set of out-neighbors of $S$ is $V(G)\setminus S$. An independent vertex subset $Q$ of $G$ is a quasi-kernel if the union of the first and second out-neighbors contains $V(G)\setminus S$ as a subset. Deciding whether a directed graph has a kernel is an NP-hard problem. In stark contrast, each directed graph has quasi-kernel(s) and one can be found in linear time. In this article, we will survey the results on quasi-kernel and their connection with kernels. We will focus on the small quasi-kernel conjecture which states that if the graph has no vertex of zero in-degree, then there exists a quasi-kernel of size not larger than half of the order of the graph. The paper also contains new proofs and some new results as well.

In contemporary wireless communication networks, base-stations are organized into coordinated clusters (called cells) to jointly serve the users. However, such fixed systems are plagued by the so-called cell-edge problem: near the boundaries, the interference between neighboring clusters can result in very poor interference-to-signal-power ratios. To achieve a high quality service, it is an important objective to minimize the sum of these ratios over the cells. The most common approach to solve this minimization problem is arguably the spectral clustering method. In this paper, we propose a new clustering approach, which is deterministic and computationally much less demanding than current methods. Simulating on synthetic instances indicates that our methods typically provide higher quality solutions than earlier methods. An earlier version of this algorithm was reported in arXiv:2111.00885.

Let us call a simple graph on $n\geq 2$ vertices a prime gap graph if its vertex degrees are $1$ and the first $n-1$ prime gaps. We show that such a graph exists for every large $n$, and in fact for every $n\geq 2$ if we assume the Riemann hypothesis. Moreover, an infinite sequence of prime gap graphs can be generated by the so-called degree preserving growth process. This is the first time a naturally occurring infinite sequence of positive integers is identified as graphic. That is, we show the existence of an interesting, and so far unique, infinite combinatorial object.

The approximate uniform sampling of graph realizations with a given degree sequence is an everyday task in several social science, computer science, engineering etc. projects. One approach is using Markov chains. The best available current result about the well-studied switch Markov chain is that it is rapidly mixing on P-stable degree sequences (see DOI:10.1016/j.ejc.2021.103421). The switch Markov chain does not change any degree sequence. However, there are cases where degree intervals are specified rather than a single degree sequence. (A natural scenario where this problem arises is in hypothesis testing on social networks that are only partially observed.) Rechner, Strowick, and Müller-Hannemann introduced in 2018 the notion of degree interval Markov chain which uses three (separately well-studied) local operations (switch, hinge-flip and toggle), and employing on degree sequence realizations where any two sequences under scrutiny have very small coordinate-wise distance. Recently Amanatidis and Kleer published a beautiful paper (arXiv:2110.09068), showing that the degree interval Markov chain is rapidly mixing if the sequences are coming from a system of very thin intervals which are centered not far from a regular degree sequence. In this paper we extend substantially their result, showing that the degree interval Markov chain is rapidly mixing if the intervals are centred at P-stable degree sequences.

The recently introduced \emph{Degree Preserving Growth} model (Nature Physics, \DOI{10.1038/s41567-021-01417-7}) uses matchings to insert new vertices of prescribed degrees into the current graph of an ever-growing graph sequence. The process depends both on the size of the largest available matchings, which is our focus here, as well as on the actual choice of the matching. First we show that the question whether a graphic degree sequence, extended with a new degree $2δ$ remains graphic is closely related to the available matchings in the realizations of the sequence. Namely we prove that the extension problem is equivalent to the existence of a realization of the original degree sequence with a matching of size $δ$. Second we present lower bounds for the \emph{forcible matching number} of degree sequences. This number is the size of the maximum matchings in any realization of the degree sequence. We then study bounds on the size of maximal matchings in \emph{some} realizations of the sequence, known as the \emph{potential matching number}. We also estimate the minimum size of both the maximal and the maximum matchings, as determined by the degree sequence, independently of graphical realizations. Along this line we answer a question raised by Biedl, Demaine \emph{et al.} (\DOI{10.1016/j.disc.2004.05.003}).

Real-world networks evolve over time via additions or removals of vertices and edges. In current network evolution models, vertex degree varies or grows arbitrarily. A recently introduced degree-preserving network growth (DPG) family of models preserves vertex degree, resulting in structures significantly different from and more diverse than previous models ([Nature Physics 2021, DOI: 10.1038/s41567-021-01417-7]). Despite its degree preserving property, the DPG model is able to replicate the output of several well-known real-world network growth models. Simulations showed that many well-studied real-world networks can be constructed from small seed graphs. Here we start the development of a rigorous mathematical theory underlying the DPG family of network growth models. We prove that the degree sequence of the output of some of the well-known, real-world network growth models can be reconstructed via the DPG process, using proper parametrization. We also show that the general problem of deciding whether a simple graph can be obtained via the DPG process from a small seed (DPG feasibility) is, as expected, NP-complete. It is an important open problem to uncover whether there is a structural reason behind the DPG-constructibility of real-world networks.

We propose a simple and fast method for providing a high quality solution for the sum-interference minimization problem. As future networks are deployed in high density urban areas, improved clustering methods are needed to provide low interference network connectivity. The proposed algorithm applies straightforward similarity based clustering and optionally stable matchings to outperform state of the art algorithms. The running times of our algorithms are dominated by one matrix multiplication.

We show that the space of rooted tree-based phylogenetic networks is connected under rooted nearest-neighbour interchange (rNNI) moves.

One of the simplest methods of generating a random graph with a given degree sequence is provided by the Monte Carlo Markov Chain method using switches. The switch Markov chain converges to the uniform distribution, but generally the rate of convergence is not known. After a number of results concerning various degree sequences, rapid mixing was established for so-called $P$-stable degree sequences (including that of directed graphs), which covers every previously known rapidly mixing region of degree sequences. In this paper we give a non-trivial family of degree sequences that are not $P$-stable and the switch Markov chain is still rapidly mixing on them. This family has an intimate connection to Tyshkevich-decompositions and strong stability as well.

Since 1997 a considerable effort has been spent to study the mixing time of switch Markov chains on the realizations of graphic degree sequences of simple graphs. Several results were proved on rapidly mixing Markov chains on unconstrained, bipartite, and directed sequences, using different mechanisms. The aim of this paper is to unify these approaches. We will illustrate the strength of the unified method by showing that on any $P$-stable family of unconstrained/bipartite/directed degree sequences the switch Markov chain is rapidly mixing. This is a common generalization of every known result that shows the rapid mixing nature of the switch Markov chain on a region of degree sequences. Two applications of this general result will be presented. One is an almost uniform sampler for power-law degree sequences with exponent $γ>1+\sqrt{3}$. The other one shows that the switch Markov chain on the degree sequence of an Erdős-Rényi random graph $G(n,p)$ is asymptotically almost surely rapidly mixing if $p$ is bounded away from 0 and 1 by at least $\frac{5\log n}{n-1}$.

Rooted phylogenetic networks provide an explicit representation of the evolutionary history of a set $X$ of sampled species. In contrast to phylogenetic trees which show only speciation events, networks can also accommodate reticulate processes (for example, hybrid evolution, endosymbiosis, and lateral gene transfer). A major goal in systematic biology is to infer evolutionary relationships, and while phylogenetic trees can be uniquely determined from various simple combinatorial data on $X$, for networks the reconstruction question is much more subtle. Here we ask when can a network be uniquely reconstructed from its `ancestral profile' (the number of paths from each ancestral vertex to each element in $X$). We show that reconstruction holds (even within the class of all networks) for a class of networks we call `orchard networks', and we provide a polynomial-time algorithm for reconstructing any orchard network from its ancestral profile. Our approach relies on establishing a structural theorem for orchard networks, which also provides for a fast (polynomial-time) algorithm to test if any given network is of orchard type. Since the class of orchard networks includes tree-sibling tree-consistent networks and tree-child networks, our result generalise reconstruction results from 2008 and 2009. Orchard networks allow for an unbounded number $k$ of reticulation vertices, in contrast to tree-sibling tree-consistent networks and tree-child networks for which $k$ is at most $2|X|-4$ and $|X|-1$, respectively.

Unrooted phylogenetic networks are graphs used to represent evolutionary relationships. Accurately reconstructing such networks is of great relevance for evolutionary biology. It has recently been conjectured that all phylogenetic networks with at least five leaves can be uniquely reconstructed from their subnetworks obtained by deleting a single leaf and suppressing degree-2 vertices. Here, we show that this conjecture is false, by presenting a counter example for each possible number of leaves that is at least~4. Moreover, we show that the conjecture is still false when restricted to binary networks.

Since 1997 a considerable effort has been spent on the study of the swap (switch) Markov chains on graphic degree sequences. Several results were proved on rapidly mixing Markov chains on regular simple, on regular directed, on half-regular directed and on half-regular bipartite degree sequences. In this paper, the main result is the following: Let $U$ and $V$ be disjoint finite sets, and let $0 < c_1 \le c_2 < |U|$ and $0 < d_1 \le d_2 < |V|$ be integers. Furthermore, assume that the bipartite degree sequence on $U \cup V$ satisfies $c_1 \le d(v) \le c_2\ : \ \forall v\in V$ and $d_1 \le d(u) \le d_2 \ : \ \forall u\in U$. Finally assume that $(c_2-c_1 -1)(d_2 -d_1 -1) < 1 + \max \{c_1(|V| -d_2), d_1(|V|- c_2) \}$. Then the swap Markov chain on this bipartite degree sequence is rapidly mixing. The technique applies on directed degree sequences as well, with very similar parameter values. These results are germane to the recent results of Greenhill and Sfragara about fast mixing MCMC processes on simple and directed degree sequences, where the maximum degrees are $O(\sqrt{\# \mbox{ of edges}})$. The results are somewhat comparable on directed degree sequences: while the GS results are better applicable for degree sequences developed under some scale-free random process, our new results are better fitted to degree sequences developed under the Erdős -- Rényi model. For example our results cover all regular degree sequences, the GS model is not applicable when the average degree is $ > n/16.$

Let $π_1=(d_1^{(1)}, \ldots,d_n^{(1)})$ and $π_2=(d_1^{(2)},\ldots,d_n^{(2)})$ be graphic sequences. We say they \emph{pack} if there exist edge-disjoint realizations $G_1$ and $G_2$ of $π_1$ and $π_2$, respectively, on vertex set $\{v_1,\dots,v_n\}$ such that for $j\in\{1,2\}$, $d_{G_j}(v_i)=d_i^{(j)}$ for all $i\in\{1,\ldots,n\}$. In this case, we say that $(G_1,G_2)$ is a $(π_1,π_2)$-\textit{packing}. A clear necessary condition for graphic sequences $π_1$ and $π_2$ to pack is that $π_1+π_2$, their componentwise sum, is also graphic. It is known, however, that this condition is not sufficient, and furthermore that the general problem of determining if two sequences pack is $NP$- complete. S.~Kundu proved in 1973 that if $π_2$ is almost regular, that is each element is from $\{k-1, k\}$, then $π_1$ and $π_2$ pack if and only if $π_1+π_2$ is graphic. In this paper we will consider graphic sequences $π$ with the property that $π+\mathbf{1}$ is graphic. By Kundu's theorem, the sequences $π$ and $\mathbf{1}$ pack, and there exist edge-disjoint realizations $G$ and $\mathcal{I}$, where $\mathcal{I}$ is a 1-factor. We call such a $(π,\mathbf{1})$ packing a {\em Kundu realization}. Assume that $π$ is a graphic sequence, in which each term is at most $n/24$, that packs with $\mathbf{1}$. This paper contains two results. On one hand, any two Kundu realizations of the degree sequence $π+\mathbf{1}$ can be transformed into each other through a sequence of other Kundu realizations by swap operations. On the other hand, the same conditions ensure that any particular 1-factor can be part of a Kundu realization of $π+\mathbf{1}$.

Popular methods for exploring the space of rooted phylogenetic trees use rearrangement moves such as rNNI (rooted Nearest Neighbour Interchange) and rSPR (rooted Subtree Prune and Regraft). Recently, these moves were generalized to rooted phylogenetic networks, which are a more suitable representation of reticulate evolutionary histories, and it was shown that any two rooted phylogenetic networks of the same complexity are connected by a sequence of either rSPR or rNNI moves. Here, we show that this is possible using only tail moves, which are a restricted version of rSPR moves on networks that are more closely related to rSPR moves on trees. The connectedness still holds even when we restrict to distance-1 tail moves (a localized version of tail-moves). Moreover, we give bounds on the number of (distance-1) tail moves necessary to turn one network into another, which in turn yield new bounds for rSPR, rNNI and SPR (i.e. the equivalent of rSPR on unrooted networks). The upper bounds are constructive, meaning that we can actually find a sequence with at most this length for any pair of networks. Finally, we show that finding a shortest sequence of tail or rSPR moves is NP-hard.

We investigate the terminal-pairability problem in the case when the base graph is a complete bipartite graph, and the demand graph is a (not necessarily bipartite) multigraph on the same vertex set. In computer science, this problem is known as the edge-disjoint paths problem. We improve the lower bound on the maximum value of $Δ(D)$ which still guarantees that the demand graph $D$ has a realization in $K_{n,n}$. We also solve the extremal problem on the number of edges, i.e., we determine the maximum number of edges which guarantees that a demand graph is realizable in $K_{n,n}$.

We investigate the terminal-pairibility problem in the case when the base graph is a complete bipartite graph, and the demand graph is also bipartite with the same color classes. We improve the lower bound on maximum value of $Δ(D)$ which still guarantees that the demand graph $D$ is terminal-pairable in this setting. We also prove a sharp theorem on the maximum number of edges such a demand graph can have.

Given two binary trees on $N$ labeled leaves, the quartet distance between the trees is the number of disagreeing quartets. By permuting the leaves at random, the expected quartets distance between the two trees is $\frac{2}{3}\binom{N}{4}$. However, no strongly explicit construction reaching this bound asymptotically was known. We consider complete, balanced binary trees on $N=2^n$ leaves, labeled by $n$ long bit sequences. Ordering the leaves in one tree by the prefix order, and in the other tree by the suffix order, we show that the resulting quartet distance is $\left(\frac{2}{3} + o(1)\right)\binom{N}{4}$, and it always exceeds the $\frac{2}{3}\binom{N}{4}$ bound.