https://arxiv.org/api/67YKDzUCqAgV0NHDec9Te89NQw0 2026-06-18T11:00:27Z 15687 315 15 http://arxiv.org/abs/2604.08998v2 2026-05-02T18:20:10Z

This study examines the domination polynomials of friendship graphs and book graphs, focusing on unanswered questions related to these families [Alikhani, Brown and Jahari, on the domination polynomials of friendship graphs, Filomat \textbf{30}(1) (2016) 169--178]. For the friendship graph $F_n$, with even $n$, we show that the polynomial $D(F_n,x)$ has exactly three real zeros: $0$ and two simple zeros in the intervals $(-2,-1)$ and $(-1,0)$. We further show that these two nonzero zeros have monotonic variation and converge to $-1-\frac{1}{\sqrt2}$ and $-1+\frac{1}{\sqrt2}$, respectively. We obtain the quantitative approximation $(|z|-1)^2\log |z|\le n$ for any complex zeros of $D(F_n,x)$, resulting in the explicit bound $|z|\le 1+\sqrt{\tfrac{n}{\log 2}}$. For book graphs $B_n$, we ascertain the comprehensive limit set of domination roots and establish results about the presence of real roots contingent on parity. We provide a partial answer to the integer-root an issue by establishing that friendship and book graphs have no nonzero integer domination roots, whereas for corona families, the only nonzero integer root is $-2$.

2026-04-10T06:08:24Z 17 pages, 8 figures, Accepted for publication in Filomat on 28th April 2026 Bilal Ahmad Rather http://arxiv.org/abs/2302.07249v3 2026-05-02T15:44:34Z

We propose a definition of graph subshifts of finite type that can be seen as extending both the notions of subshifts of finite type from classical symbolic dynamics and finitely presented groups from combinatorial group theory. These are sets of graphs that are defined by forbidding finitely many local patterns. In this paper, we focus on the question whether such local conditions can enforce a specific support graph, and thus relate the model to classical symbolic dynamics. We prove that the subshifts that contain only infinite graphs are either aperiodic, or feature no residual finiteness of their period group, yielding non-trivial examples as well as two natural undecidability theorems.

2023-02-14T18:45:30Z 19 pages, 4 figures Pablo Arrighi Amélia Durbec Pierre Guillon http://arxiv.org/abs/2605.01481v1 2026-05-02T15:02:39Z

In this study, we identify a class of redundant transitivity constraints in a 0-1 integer linear programming formulation of the clique partitioning problem. The transitivity constraints in this class can be removed from the formulation without changing the optimal solution set, although each transitivity constraint defines a facet of the associated polytope. This leads to a smaller formulation that is particularly effective for instances arising from correlation clustering, where edge weights are drawn from $\{-1,1\}$. Our computational experiments show that the resulting formulation outperforms existing formulations on such instances.

2026-05-02T15:02:39Z Noriyoshi Sukegawa http://arxiv.org/abs/2605.01473v1 2026-05-02T14:41:50Z

Symmetric submodular function minimization admits purely combinatorial algorithms using special orderings of the ground set. Extending the minimum-cut algorithm of Nagamochi and Ibaraki (1992), Queyranne (1998) showed that the maximum adjacency ordering yields a pendent pair, which can be used to find a nontrivial minimizer. Nagamochi (2010) later introduced the minimum degree ordering, which yields a flat pair and leads to the identification of extreme sets. Despite the apparent similarity between these two algorithms, their connection remained unclear. In this paper, we introduce yet another ordering called minimum capacity ordering, and extend it to a one-parameter family of orderings, called $α$-orderings, that unifies these two previously known orderings. We prove a general inequality for $α$-orderings, and our framework recovers the known pendent-pair and flat-pair results as special cases, corresponding to $α= -1$ and $α= 1$, respectively. For each $α\in [-1, 1]$, the last two elements of an $α$-ordering form a contractible pair, i.e., a pair whose contraction preserves the existence of a nontrivial minimizer, which leads to a contraction algorithm that finds a nontrivial minimizer of a symmetric submodular function in $O(n^3)$ oracle calls, where $n$ is the cardinality of the ground set. In addition, we discuss the ranges of $α$ that ensure $α$-ordering to obtain these special pairs.

2026-05-02T14:41:50Z Satoru Iwata Haruto Konno http://arxiv.org/abs/2605.01410v1 2026-05-02T12:13:31Z

We approach the cycle double cover conjecture by looking for a circular 2-cell embedding of cubic graphs on an arbitrary surface. It is easy to see that if such an embedding exists, we can get to it from an arbitrary starting 2-cell embedding by repeating ``twists of an edge''. We study this twisting operation in detail and deduce bounds on the number of singular edges (edges where a face meets itself).

2026-05-02T12:13:31Z Babak Ghanbari Robert Šámal http://arxiv.org/abs/2510.21549v2 2026-05-02T10:33:47Z

The distributed coloring problem is arguably one of the key problems studied in the area of distributed graph algorithms. The most standard variant of the problem asks for a proper vertex coloring of a graph with $Δ+1$ colors, where $Δ$ is the maximum degree of the graph. Despite an immense amount of work on distributed coloring problems in the distributed setting, determining the deterministic complexity of $(Δ+1)$-coloring in the standard message passing model remains one of the most important open questions of the area. In this paper, we aim to improve our understanding of the deterministic complexity of $(Δ+1)$-coloring as a function of $Δ$ in a special family of graphs for which significantly faster algorithms are already known. The neighborhood independence $θ$ of a graph is the maximum number of pairwise non-adjacent neighbors of some node of the graph. In general, in graphs of neighborhood independence $θ=O(1)$ (e.g., line graphs), it is known that $(Δ+1)$-coloring can be solved in $2^{O(\sqrt{\logΔ})}+O(\log^* n)$ rounds. In the present paper, we significantly improve this result, and we show that in graphs of neighborhood independence $θ$, a $(Δ+1)$-coloring can be computed in $(θ\cdot\logΔ)^{O(\log\logΔ/ \log\log\logΔ)}+O(\log^* n)$ rounds and thus in quasipolylogarithmic time in $Δ$ as long as $θ$ is at most polylogarithmic in $Δ$. We also show that the known approach that leads to a polylogarithmic in $Δ$ algorithm for $(2Δ-1)$-edge coloring already fails for edge colorings of hypergraphs of rank at least $3$.

2025-10-24T15:08:23Z Marc Fuchs Fabian Kuhn 10.4230/LIPIcs.OPODIS.2025.23 http://arxiv.org/abs/2605.01259v1 2026-05-02T05:32:41Z

The Domination game is an impartial game on graphs, introduced in 2010, and proved PSPACE-complete in the normal variant in 2026. In this game, Alice and Bob alternately select playable vertices, where a vertex is playable if it dominates at least one vertex not dominated by the vertices selected before in the game. The game ends when the selected vertices form a dominating set. In the normal variant, the player unable to move loses. In contrast to the impartial game, the partizan game has the vertices already colored with $A$, $B$, or $C$, in such a way that Alice (resp. Bob) can only select vertices colored with $A$ (resp. $B$) or $C$. The partizan game was proved PSPACE-hard in 2026. In this paper, we determine the winner of the Normal Partizan Domination game in graphs whose components are complete split graphs, including star forests, for any initial coloring of its vertices. We also obtain partial results for complete bipartite graphs.

2026-05-02T05:32:41Z Rudini Sampaio Edileudo Maciel M. Filho Jefter G. Maciel Paz João Marcos Brito http://arxiv.org/abs/2605.01044v1 2026-05-01T19:14:32Z

Arboreal networks are multi-rooted phylogenetic networks whose underlying graph is a tree. We give an encoding of stack-free arboreal networks in terms of triplets and the novel concept of a duet. This yields a polynomial time algorithm to construct these networks from complete triplet and duet systems. The classification results show correctness and lead to a natural metric on these multi-rooted networks.

2026-05-01T19:14:32Z 9 pages Katharina T. Huber Katherine St. John http://arxiv.org/abs/2605.00996v1 2026-05-01T18:02:14Z

In this paper, we determine the largest family $\mathcal F \subset 2^{[n]}$ without $s$ pairwise disjoint sets, provided $n=ms+c$ for positive integers $m,c$, and $s \geq s_0(m, c)$. This result can be seen as a non-uniform analogue of the results on the Erd\H os Matching Conjecture in the regime when the clique is extremal.

2026-05-01T18:02:14Z Andrey Kupavskii Georgy Sokolov http://arxiv.org/abs/2511.19374v2 2026-05-01T17:51:55Z

We prove that under the heat semigroup $(P_τ)$ on the Boolean hypercube, any nonnegative function exhibits a uniform tail bound that is better than Markov's inequality. Specifically, for any $τ> 0$, $n \geq 1$, $η> e^3$, and $f: \{-1,1\}^n \to \mathbb{R}_+$ with $\int f dμ> 0$, we have \begin{align*} \mathbb{P}_{X \sim μ}\left( P_τf(X) > η\int f dμ\right) \leq c_τ\frac{ (\log \log η)^{\frac32} }{η\sqrt{\log η}}, \end{align*} where $μ$ is the uniform measure on the Boolean hypercube $\{-1,1\}^n$ and $c_τ$ is a constant that depends only on $τ$. This result resolves Talagrand's convolution conjecture up to a dimension-free $(\log \log η)^{\frac32}$ factor. Our proof uses the reverse heat process on the Boolean hypercube, a coupling construction with carefully engineered perturbations of jump rates and a time-smoothed anti-concentration estimate.

2025-11-24T18:11:28Z 43 pages, fixed a mistake in the previous draft which was kindly pointed out by Joseph Lehec Yuansi Chen http://arxiv.org/abs/2605.00710v1 2026-05-01T14:54:53Z

We present a near-linear-time algorithm that, given a bridgeless cubic graph, finds a perfect matching intersecting every 3-edge-cut in exactly one edge. This improves over a cubic algorithm of Boyd et al. for the same problem, and over our previous algorithm, which worked only for 3-edge-connected graphs. The main ingredient is a cactus representation of the 2-edge-cuts, together with an efficient update procedure under 2-cut reductions.

2026-05-01T14:54:53Z Babak Ghanbari Robert Šámal http://arxiv.org/abs/2605.00660v1 2026-05-01T13:42:28Z

We prove that the directed seven-dimensional equal-side torus D_7(m) = Cay((Z/mZ)^7, {e_0, e_1, ..., e_6}) admits a directed Hamilton decomposition for every odd integer m >= 3. The proof has two main contributions. First, we introduce the root-flat certificate: a named verification framework in which a Hamilton decomposition of D_n(m) follows from three local conditions on a single root flat -- row Latinness, layer bijectivity, and primitive return maps. This abstraction was used informally in the earlier odd D_5(m) construction; here it appears as a definition and a theorem, providing a common verification interface for prime-dimensional base cases. Second, for every odd m >= 7, we give a uniform prefix-coordinate construction: one-layer prefix maps, a symbol-count criterion, and explicit 7x7 count matrices produce all seven Hamilton factors without a finite search. The remaining moduli m = 3 and m = 5 are exactly the boundary where the prefix-count method provably cannot work; they are handled by finite root-flat certificates whose validity is checked in Lean 4. A Lean 4 formalization verifies the Cayley statement, with the symbolic branch and the finite boundary certificates checked in the same development.

2026-05-01T13:42:28Z 13 pages, 2 figures, 2 tables. Lean 4 formalization at https://github.com/aria1th/Torus-Hamilton-Decomposition-Program (release 0.0.2-d7) SangHyun Park http://arxiv.org/abs/2603.21443v4 2026-05-01T12:50:56Z

We develop a practical framework for livelock analysis in self-disabling unidirectional ring protocols. Klinkhamer and Ebnenasir established that livelock detection for parameterized rings is $Σ^0_1$-complete and livelock-freedom verification is $Π^0_1$-complete, via reduction from the periodic domino problem. We observe that lifting the analysis from the transition space to an \emph{equivariant product space} -- the space of transition-witness pairs -- reveals structure that supports effective verification. We construct a \emph{product transition graph} (at most $|T|^2$ nodes) that captures all livelocks: every livelock maps into this graph as a witness-closed subgraph. The maximal such subgraph $G^*(T)$ is computable in polynomial time ($O(|T|^8)$ worst case) via monotone fixed-point iteration. When $G^*(T) = \emptyset$, the protocol is \emph{provably livelock-free} for all ring sizes -- a sound and complete livelock-freedom verifier. When $G^*(T) \neq \emptyset$, we apply a backtracking search that backward-propagates each simple cycle through $G^*$ until the chain either closes into a torus (confirming a livelock) or dies (no livelock from that cycle). This two-phase algorithm -- polynomial-time pruning followed by finite combinatorial verification -- produces three outcomes: Free, Livelock, or Inconclusive. Across 4{,}349 protocols tested (including an adversarial protocol derived from Klinkhamer and Ebnenasir's tiling construction and Kari's 14-tile aperiodic set converted via their SE gadget), the algorithm is conclusive in every case with zero errors. We further demonstrate that the algorithm extends to non-self-disabling protocols via a protocol transformation. This extends the algorithm's applicability to all parameterized unidirectional ring protocols. Python implementation and usage instructions are at URL: https://github.com/cosmoparadox/mathematical-tools.

2026-03-22T23:16:17Z Revision of the core result to align with undecidability of the problem. Now a semi-verifier catching livelocks and livelock free on all cases of interest. Returns conclusively for more than 4300, and inconclusive for Kari's aperiodic instance. This is no longer a result on decidability, but more of a verifier for a practical fragment of an undecidable problem Aly Farahat http://arxiv.org/abs/2509.12057v3 2026-05-01T09:32:20Z

The study of optimal decision trees has gained increasing attention in recent years; however, despite substantial progress, it still suffers from two major challenges: First, trees constructed by existing optimal decision tree (ODT) algorithms have limited expressivity, as they are typically restricted to axis-parallel splits or binary features. Second, these algorithms generally do not scale well to large datasets. These two challenges are intertwined: decision trees with more expressive splitting rules incur significantly higher combinatorial complexity, making the ODT problem even more difficult to solve when using complex splits. Building on He and Little's proper decision tree framework, we propose the first algorithm for solving the optimal hypersurface decision tree problem with time complexity $O\left(K!\times N^{DG+G}\right)$, where $G$ is a variable depends on both $K$ (tree size), $M$ (polynomial degree of hypersurface) and $D$ (data dimension). To the best of our knowledge, no known algorithm is capable of producing decision trees with hypersurface splits. Moreover, the proposed algorithm is inherently amenable to vectorization, enabling efficient parallelization. Its generic design pattern also allows it to be used to accelerate other ODT variants, such as axis-parallel decision trees. Furthermore, we identify an effective pruning strategy for the optimal hypersurface decision tree problem, which enables our algorithm to run significantly faster than the worst-case upper bound, together with an incremental procedure that reduces the cost of checking the feasibility of a single configuration from quadratic to linear time.

2025-09-15T15:38:44Z Xi He http://arxiv.org/abs/2412.13893v4 2026-05-01T06:04:08Z

We prove that there exist functions $f,g:\mathbb{N}\to\mathbb{N}$ such that for all nonnegative integers $k$ and $d$, for every graph $G$, either $G$ contains $k$ cycles such that vertices of different cycles have distance greater than $d$ in $G$, or there exists a subset $X$ of vertices of $G$ with $|X|\leq f(k)$ such that $G-B_G(X,g(d))$ is a forest, where $B_G(X,r)$ denotes the set of vertices of $G$ having distance at most $r$ from a vertex of $X$.

2024-12-18T14:34:31Z v4: minor edits following further comments from a referee Vida Dujmović Gwenaël Joret Piotr Micek Pat Morin