A note on approximating the average degree of bounded arboricity graphs

2026-03-10T14:34:04Z

Estimating the average degree of graph is a classic problem in sublinear graph algorithm. Eden, Ron, and Seshadhri (ICALP 2017, SIDMA 2019) gave a simple algorithm for this problem whose running time depended on the graph arboricity, but the underlying simplicity and associated analysis were buried inside the main result. Moreover, the description there loses logarithmic factors because of parameter search. The aim of this note is to give a full presentation of this algorithm, without these losses. Consider standard access (vertex samples, degree queries, and neighbor queries) to a graph $G = (V,E)$ of arboricity at most $α$. Let $d$ denote the average degree of $G$. We describe an algorithm that gives a $(1+\varepsilon)$-approximation to $d$ degree using $O(\varepsilon^{-2}α/d)$ queries. For completeness, we modify the algorithm to get a $O(\varepsilon^{-2} \sqrt{n/d})$ query

Some polynomial classes for the acyclic orientation with parity constraint problem

2026-03-10T10:27:18Z

We study the problem of finding an acyclic orientation of an undirected graph with constrained in-degree parities specified by a subset T of vertices. An orientation is called T -odd if a vertex v has odd in-degree if and only if v P T . While the unconstrained parity orientation problem is polynomial (Chevalier et al. (1983)), imposing acyclicity makes it more challenging, and its complexity remains an open question. Szegedy and Szegedy ( 2006) proposed a randomized polynomial-time algorithm for this problem, but it is not known whether it belongs to co-NP. Furthermore, Gravier et al. (2025) showed the problem becomes NP-complete on partially directed graphs, even when restricted to planar cubic graphs. We identify three necessary conditions for the existence of acyclic T -odd orientation: a global parity condition P, and two conditions S and S ensuring the existence of potential sources and sinks. Following the work of Frank and Kiraly (2002), we define graph classes containing the graphs for which a given subset of the necessary conditions P, S and S is also sufficient for the existence of an acyclic T -odd orientation. We establish the inclusion relationships between these classes. We complete the study of these classes by a characterization of the solvable instances for Cartesian products of paths and cycles. The proofs of these results are all constructive, so that acyclic T -odd orientations can be built in polynomial time whenever they exist. We use these families, along with cliques, to demonstrate the strictness of the class inclusions in our hierarchy.

There is no prime functional digraph: Seifert's proof revisited

2026-03-10T06:06:51Z

A functional digraph is a finite digraph in which each vertex has a unique out-neighbor. Considered up to isomorphism and endowed with the directed sum and product, functional digraphs form a semigroup that has recently attracted significant attention, particularly regarding its multiplicative structure. In this context, a functional digraph $X$ divides a functional digraph $A$ if there exists a functional digraph $Y$ such that $XY$ is isomorphic to $A$. The digraph $X$ is said to be prime if it is not the identity for the product, and if, for all functional digraphs $A$ and $B$, the fact that $X$ divides $AB$ implies that $X$ divides $A$ or $B$. In 2020, Antonio E. Porreca asked whether prime functional digraphs exist, and in 2023, his work led him to conjecture that they do not. However, in 2024, Barbora Hudcová discovered that this result had already been proved by Ralph Seifert in 1971, in a somewhat forgotten paper. The terminology in that work differs significantly from that used in recent studies, the framework is more general, and the non-existence of prime functional digraphs appears only as a part of broader results, relying on (overly) technical lemmas developed within this general setting. The aim of this note is to present a much more accessible version of Seifert's proof $-$ that no prime functional digraph exists $-$ by using the current language and simplifying each step as much as possible.

Degree-Based Weighted Adjacency Matrices: Spectra, Integrality, and Edge Deletion Effects

2026-03-09T20:03:06Z

The article presents weighted adjacency spectrum of complete multipartite graphs, characterize its families with three distinct eigenvalues and identifies integral matrices. Also, we observe that for almost all weighted matrices, the energy and the spectral radius of a complete graph decreases upon edge deletion, thereby correcting and refining earlier published results in [Bilal and Munir, Int. J. Quantum Chem. (2024)]. Furthermore, we give counter examples related to $ISI$ energy decrease of regular tripartite graph by edge deletion and give its correct $ISI$ spectrum and $ISI$ energy and settle an open problem related to $ISI$ energy change of the multipartite graph. Also, we calculate the weighted adjacency spectrum of crown multipartite graph and discuss its integral spectral weighted spectrum.

Rigidity of polytopes with edge length and coplanarity constraints

2026-03-09T19:47:17Z

We investigate a novel setting for polytope rigidity, where a flex must preserve edge lengths and the planarity of faces, but is allowed to change the shapes of faces. For instance, the regular cube is flexible in this notion. We present techniques for constructing flexible polytopes and find that flexibility seems to be an exceptional property. Based on this observation, we introduce a notion of generic realizations for polytopes and conjecture that convex polytopes are generically rigid in dimension $d\geq 3$. We prove this conjecture in dimension $d=3$. Motivated by our findings we also pose several questions that are intended to inspire future research into this notion of polytope rigidity.

Hierarchical threshold structure in Max-Cut with geometric edge weights

2026-03-09T19:41:42Z

We study a family of weighted Max-Cut instances on the complete graph $K_n$ in which edge weights decrease geometrically in lexicographic order: the $i$-th edge has weight $r^{N-i}$ where $N=\binom{n}{2}$. For $r\ge 2$, the lexicographically first cut is optimal; for $r=1$, all edges have equal weight and the balanced partition wins. In this paper we study the intermediate regime $1< r <2$. The geometric weighting makes early edges dominant and singles out the $k$-isolated cuts $C_k=\{1,\dots,k\}\mid\{k+1,\dots,n\}$ as natural candidates for optimality. For each $n$ and $k\le\lfloor n/2\rfloor-1$, we define threshold polynomials $P^{n,k}(r)$ whose unique roots $r_k(n)\in(1,2)$ determine when $C_k$ and $C_{k+1}$ exchange dominance. We prove that, for fixed $n$, these thresholds are strictly decreasing in $k$ and that $r_k(n)\to 1$ as $n\to\infty$. As our main result, we show that for $r\in(r_k(n),r_{k-1}(n))$ the cut $C_k$ achieves maximum weight among all isolated cuts, yielding a sharp phase diagram for the isolated-cut family. We conjecture that isolated cuts are globally optimal among all $2^{n-1}$ cuts when $n\ge 7$; all counterexamples for small $n$ are characterized completely, and extensive computations for $n\le 100$ support the conjecture.

Domination polynomial of co-maximal graphs of integer modulo ring

2026-03-09T19:30:05Z

We investigate the domination polynomial of the co-maximal graph $Γ(\mathbb{Z}_n)$ related to the ring of integers modulo $n$. Explicit formulas are derived for $ n = p^{n_1} $ and $ n = p^{n_1}q^{n_2} $, demonstrating that the resulting polynomials exhibit unimodality and log-concavity. For general $n$, we present structural expressions that connect $D(Γ(\mathbb{Z}_n),x)$ to appropriate induced subgraphs. Finally, we examine domination roots and establish bounds for their moduli using the Eneström--Kakeya theorem.

Beware of the Classical Benchmark Instances for the Traveling Salesman Problem with Time Windows

2026-03-09T18:31:58Z

We propose a simple and exact method for the Traveling Salesman Problem with Time Windows and Makespan objective (\TSPTW-M) that solves all instances of the classical benchmark with $50$ or more customers in less than ten seconds each. Applying this algorithm as an off-the-shelf method, we also solve all but one of these instances for the Duration objective. Our main conclusion is that these instances alone are no longer representative for evaluating the TSPTW-M and its Duration variant: their structure can be exploited to yield results that seem outstanding at first glance. Additionally, caution is advised when designing hard training sets for machine learning algorithms.

Circular chromatic index of small graphs

2026-03-09T18:28:01Z

We systematically determine circular chromatic index of small graphs and multigraphs with maximum degree $4$, $5$, $6$ (and also their number for a given small order). We construct several infinite families of such graphs with circular chromatic index in the set $\{Δ+ 1/2, Δ+ 2/3, Δ+ 3/4$, $Δ+ 1\}$. Our results refute edge-connectivity variants of the ``Upper Gap Conjecture'' (about the non-existence of graphs with circular chromatic index just below $Δ+ 1$).

When Many Trees Go to War: On Sets of Phylogenetic Trees With Almost No Common Structure

2026-03-09T16:47:30Z

It is known that any two trees on the same $n$ leaves can be displayed by a network with $n-2$ reticulations, and there are two trees that cannot be displayed by a network with fewer reticulations. But how many reticulations are needed to display multiple trees? For any set of $t$ trees on $n$ leaves, there is a trivial network with $(t - 1)n$ reticulations that displays them. To do better, we have to exploit common structure of the trees to embed non-trivial subtrees of different trees into the same part of the network. In this paper, we show that for $t \in o(\sqrt{\lg n})$, there is a set of $t$ trees with virtually no common structure that could be exploited. More precisely, we show for any $t\in o(\sqrt{\lg n})$, there are $t$ trees such that any network displaying them has $(t-1)n - o(n)$ reticulations. For $t \in o(\lg n)$, we obtain a slightly weaker bound. We also prove that already for $t = c\lg n$, for any constant $c > 0$, there is a set of $t$ trees that cannot be displayed by a network with $o(n \lg n)$ reticulations, matching up to constant factors the known upper bound of $O(n \lg n)$ reticulations sufficient to display \emph{all} trees with $n$ leaves. These results are based on simple counting arguments and extend to unrooted networks and trees.

A characterization of interval nest digraphs

2026-03-09T16:37:39Z

A digraph consisting of a set of vertices $V$ and a set of arcs $E$ is called an interval digraph if there exists a family of closed intervals $\{I_u,J_u\}_{u \in V}$ such that $uv$ is an arc if and only if the intersection of $I_u$ and $J_v$ is non-empty. Interval digraphs naturally generalize interval graphs, by extending the classical interval intersection model to directed graphs. Several subclasses of interval digraphs have been studied in the literature-such as balanced, chronological and catch interval digraphs-each characterized by admitting interval representations that satisfy specific restrictions. Among these, interval nest digraphs are the ones that admit an interval representation in which $J_u$ is contained in $I_u$ for all vertices $u$ of $V$. In this work, we provide a complete characterization of interval nest digraphs in terms of vertex linear orderings with forbidden patterns, which we call nest orderings. This result completes the picture of vertex-ordering characterizations among the main subclasses of interval digraphs.

WELLDOC property for words generated by morphisms

2026-03-09T15:28:25Z

In this paper, we study an abelian-type property of infinite words called well distributed occurrences, or WELLDOC for short. An infinite word $w$ on a $d$-ary alphabet has the WELLDOC property if, for each factor $u$ of $w$, positive integer $m$, and vector $v\in \mathbb{N}^d$, there is an occurrence of $u$ such that the Parikh vector of the prefix of $w$ preceding such occurrence is congruent to $v$ modulo $m$. The Parikh vector of a finite word $v$ on an alphabet has its $i$-th component equal to the number of occurrences of the $i$-th letter in $v$. We provide a criterion of the WELLDOC property for words generated by morphisms.

Edge densities of drawings of graphs with one forbidden cell

2026-03-09T14:17:54Z

A connected topological drawing of a graph divides the plane into a number of cells. The type of a cell $c$ is the cyclic sequence of crossings and vertices along the boundary walk of $c$. For example, all triangular cells with three incident crossings and no incident vertex share the same cell type. When a non-homotopic drawing of an $n$-vertex multigraph $G$ does not contain any such triangular cell, Ackerman and Tardos [JCTA 2007] proved that $G$ has at most $8n-20$ edges, while Kaufmann, Klemz, Knorr, Reddy, Schröder, and Ueckerdt [GD 2024] showed that this bound is tight. In this paper, we initiate the in-depth study of $\mathfrak{c}$-free drawings, that is, drawings that do not contain any cell of one fixed cell type $\mathfrak{c}$, and investigate the edge density of the corresponding graphs, i.e., the maximum possible number of edges. We consider non-homotopic as well as simple drawings, multigraphs as well as simple graphs, and every possible cell type $\mathfrak{c}$. For every combination of drawing style, graph type, and cell type, we give upper and lower bounds on the corresponding edge density. With the exception of the cell type with four incident crossings and no incident vertex, we show for every cell type $\mathfrak{c}$ that the edge density of $n$-vertex (multi)graphs with $\mathfrak{c}$-free drawings is either linear in $n$ or superlinear in $n$. In most cases, our bounds are tight up to an additive constant. We further consider the question which simple graphs admit a simple drawing without some given cell type(s). For the class of cell types that are not incident to any crossing, we give a complete characterization of all simple graphs that admit a simple drawing without any such cell. Additionally, we improve the current lower bound on the edge density of simple graphs that admit a non-homotopic quasiplanar drawing from $7n-28$ to $7.5n-28$.

A new proof of Delahan's induced-universality result

2026-03-09T08:49:21Z

We give a short and self-contained proof of Delahan's theorem stating that every simple graph on $n$ vertices occurs as an induced subgraph of a Steinhaus graph on $\frac{n(n-1)}{2}+1$ vertices. This new proof is obtained by considering the notion of generating index sets for Steinhaus triangles.

Localization: A Framework to Generalize Extremal Graph Problems

2026-03-08T16:06:13Z

Extremal graph theory studies the maximum or minimum number of subgraphs isomorphic to a prescribed graph under given constraints. \textit{Localization} has recently emerged as a framework that refines such problems by assigning extremal quantities locally (to vertices or edges) and then aggregating them. This perspective not only recovers classical results but also leads to sharper bounds. A classical result states that a connected planar graph with a finite girth $g$ satisfies \begin{equation*} m \leq \frac{g}{g-2}(n-2) \end{equation*} Wood~\cite{wood} derived upper bounds on the number of $K_t$-cliques in graphs of bounded maximum degree, expressed in terms of both the number of vertices and the number of edges: \begin{align*} ex(n,K_t,K_{1,d+1}) \leq \frac{n}{d+1}\binom{d+1}{t} \\ mex(m,K_t,K_{1,d+1}) \leq \frac{m}{\binom{d+1}{2}}\binom{d+1}{t} \end{align*} More recently, Chakraborty and Chen~\cite{CHAKRABORTI2024103955} established a similar upper bound for graphs with bounded path length: \begin{equation*} mex(m,K_t,P_{r+1}) \leq \frac{m}{\binom{r}{2}}\binom{r}{t} \end{equation*} In this paper, we employ the localization framework to improve these bounds and provide structural characterizations of the extremal graphs attaining them.