Unique expansions in number systems via refinement equations

2025-11-22T03:58:47Z

Using the subdivision schemes theory, we develop a criterion to check if any natural number has at most one representation in the $n$-ary number system with a set of non-negative integer digits $A=\{a_1, a_2,\ldots, a_n\}$ that contains zero. This uniqueness property is shown to be equivalent to a certain restriction on the roots of the trigonometric polynomial $\sum_{k=1}^n e^{-2πi a_k t}$. From this criterion, under a natural condition of irreducibility for $A$, we deduce that in case of prime $n$ the uniqueness holds if and only if the digits of $A$ are distinct modulo $n$, whereas for any composite $n$ we show that the latter condition is not necessary. We also establish the connection of this uniqueness to the semigroup freeness problem for affine integer functions of equal integer slope; this together with the two criteria allows to fill the gap in the work of D. Klarner on the question of P. Erdös about densities of affine integer orbits and establish a simple algorithm to check the freeness and the positivity of density when the slope is a prime number.

Complexity and algorithms for Arc-Kayles and Non-Disconnecting Arc-Kayles

2025-11-21T17:15:39Z

Arc-Kayles is a game where two players alternate removing two adjacent vertices until no move is left, the winner being the player who played the last move. Introduced in 1978, its computational complexity is still open. More recently, subtraction games, where the players cannot disconnect the graph while removing vertices, were introduced. In particular, Arc-Kayles admits a non-disconnecting variant that is a subtraction game. We study the computational complexity of subtraction games on graphs, proving that they are PSPACE-complete even on very structured graph classes (split, bipartite of any even girth). We give a quadratic kernel for Non-Disconnecting Arc-Kayles when parameterized by the feedback edge number, as well as polynomial-time algorithms for clique trees and a subclass of threshold graphs. We also show that a sufficient condition for a second player-win on Arc-Kayles is equivalent to the graph isomorphism problem.

Linear Extensions of Rotor-Routing in Directed Graphs: Reachability Problems

2025-11-21T14:34:55Z

We develop a unified framework for rotor-routing that extends the classical model to a broad class of multigraphs equipped with Generalized Rotor Mechanisms (GRM). This perspective places rotor-routing on the same footing as abelian sandpiles by interpreting both as conservative instances of Vector Addition Systems (VAS). Within this framework, routing becomes a linear transformation governed by arc mechanisms, while legality is enforced through non-negativity constraints. We introduce four routing models -- free routing, standard rotor-routing, cyclic GRM routing, and fully general GRM routing -- and study their reachability problems in both the linear and legal settings. Our results generalize previous characterizations for standard rotor-routing and extend them to the GRM setting. In particular, we show that legal reachability in GRM multigraphs is NP-complete, whereas the cyclic GRM routing model, which includes the classical rotor-router, admits a polynomial-time algorithm.

Subexponential and Parameterized Mixing Times of Glauber Dynamics on Independent Sets

2025-11-21T13:53:32Z

Given a graph $G$, the hard-core model defines a probability distribution over its independent sets, assigning to each set of size $k$ a probability of $\frac{λ^k}{Z}$, where $λ>0$ is a parameter known as the \emph{fugacity} and $Z$ is a normalization constant. The Glauber dynamics is a simple Markov chain that converges to this distribution and enables efficient sampling. Its \emph{mixing time}, the number of steps needed to approach the stationary distribution, has been widely studied across various graph classes, with most previous work emphasizing the dichotomy between polynomial and exponential mixing times, with a particular focus on sparse classes of graphs. Inspired by the modern fine-grained approach to computational complexity, we investigate subexponential mixing times of the Glauber dynamics on geometric intersection graphs, such as disk graphs. We further study parameterized mixing times with respect to two structural parameters that can remain small even in dense graphs: the tree-independence number and the path-independence number. Building on a result of Dyer, Greenhill, and Müller, we show that Glauber dynamics mixes in polynomial time on graphs of bounded path-independence number, and in quasi-polynomial time when the tree-independence number is bounded. Moreover, we prove that both bounds are tight via a conductance argument, thereby resolving a question raised in their work. This work provides a simple and efficient algorithm for sampling from the hard-core model. Unlike classical approaches that rely explicitly on geometric representations or on constructing decompositions such as tree decompositions or separator trees, our analysis only requires their existence to establish mixing time bounds-these structures are not used directly by the algorithm itself.

Triangle Detection in H-Free Graphs

2025-11-21T13:12:00Z

We initiate the study of combinatorial algorithms for Triangle Detection in $H$-free graphs. The goal is to decide if a graph that forbids a fixed pattern $H$ as a subgraph contains a triangle, using only "combinatorial" methods that notably exclude fast matrix multiplication. Our work aims to classify which patterns admit a subcubic speedup, working towards a dichotomy theorem. On the lower bound side, we show that if $H$ is not $3$-colorable or contains more than one triangle, the complexity of the problem remains unchanged, and no combinatorial speedup is likely possible. On the upper bound side, we develop an embedding approach that results in a strongly subcubic, combinatorial algorithm for a rich class of "embeddable" patterns. Specifically, for an embeddable pattern of size $k$, our algorithm runs in $\tilde O(n^{3-\frac{1}{2^{k-3}}})$ time, where $\tilde O(\cdot)$ hides poly-logarithmic factors. This algorithm also extends to listing all the triangles within the same time bound. We supplement this main result with two generalizations: 1) A generalization to patterns that are embeddable up to a single obstacle that arises from a triangle in the pattern. This completes our classification for small patterns, yielding a dichotomy theorem for all patterns of size up to eight. 2) An $H$-sensitive algorithm for embeddable patterns, which runs faster when the number of copies of $H$ is significantly smaller than the maximum possible $Ω(n^k)$. Finally, we focus on the special case of odd cycles. We present specialized Triangle Detection algorithms that are very efficient: 1) A combinatorial algorithm for $C_{2k+1}$-free graphs that runs in $\tilde O(m+n^{1+2/k})$ time for every $k\geq2$, where $m$ is the number of edges in the graph. 2) A combinatorial $C_5$-sensitive algorithm that runs in $\tilde O(n^2+n^{4/3}t^{1/3})$ time, where $t$ is the number of $5$-cycles in the graph.

Completeness in the Polynomial Hierarchy for many natural Problems in Bilevel and Robust Optimization

2025-11-21T12:54:35Z

In bilevel and robust optimization we are concerned with combinatorial min-max problems, for example from the areas of min-max regret robust optimization, network interdiction, most vital vertex problems, blocker problems, and two-stage adjustable robust optimization. Even though these areas are well-researched for over two decades and one would naturally expect many (if not most) of the problems occurring in these areas to be complete for the classes $Σ^p_2$ or $Σ^p_3$ from the polynomial hierarchy, almost no hardness results in this regime are currently known. However, such complexity insights are important, since they imply that no polynomial-sized integer program for these min-max problems exist, and hence conventional IP-based approaches fail. We address this lack of knowledge by introducing over 70 new $Σ^p_2$-complete and $Σ^p_3$-complete problems. The majority of all earlier publications on $Σ^p_2$- and $Σ^p_3$-completeness in said areas are special cases of our meta-theorem. Precisely, we introduce a large list of problems for which the meta-theorem is applicable (including clique, vertex cover, knapsack, TSP, facility location and many more). We show that for every single of these problems, the corresponding min-max (i.e. interdiction/regret) variant is $Σ^p_2$- and the min-max-min (i.e. two-stage) variant is $Σ^p_3$-complete.

Splitting vertices of bipartite graphs preserves de Bruijn-Erdős property

2025-11-21T11:20:06Z

In this note, we prove that every graph obtained from a bipartite graph by iteratively splitting vertices into two adjacent twins has the de Bruijn-Erdős property.

The Unreliable Job Selection and Sequencing Problem

2025-11-21T10:10:33Z

We study a stochastic single-machine scheduling problem, denoted the Unreliable Job Selection and Sequencing Problem (UJSSP). Given a set of jobs, a subset must be selected for processing on a single machine that is subject to failure. Each job incurs a cost if selected and yields a reward upon successful completion. A job is completed successfully only if the machine does not fail before or during its execution, with job-specific probabilities of success. The objective is to determine an optimal subset and sequence of jobs to maximize the expected net profit. We analyze the computational complexity of UJSSP and prove that it is NP-hard in the general case. The relationship of UJSSP with other submodular selection problems is discussed, showing that the special cases in which all jobs have the same cost or the same failure probability can be solved in polynomial time. To compute optimal solutions, we propose a compact mixed-integer linear programming formulation, a dynamic programming algorithm, and two novel stepwise exact algorithms. We demonstrate that our methods are capable of efficiently solving large instances by means of extensive computational experiments. We further show the broader applicability of our stepwise algorithms by solving instances derived from the Product Partition Problem.

An Efficient Computational Framework for Discrete Fuzzy Numbers Based on Total Orders

2025-11-21T09:35:07Z

Discrete fuzzy numbers, and in particular those defined over a finite chain $L_n = \{0, \ldots, n\}$, have been effectively employed to represent linguistic information within the framework of fuzzy systems. Research on total (admissible) orderings of such types of fuzzy subsets, and specifically those belonging to the set $\mathcal{D}_1^{L_n\rightarrow Y_m}$ consisting of discrete fuzzy numbers $A$ whose support is a closed subinterval of the finite chain $L_n = \{0, 1, \ldots, n\}$ and whose membership values $A(x)$, for $x \in L_n$, belong to the set $Y_m = \{ 0 = y_1 < y_2 < \cdots < y_{m-1} < y_m = 1 \}$, has facilitated the development of new methods for constructing logical connectives, based on a bijective function, called $\textit{pos function}$, that determines the position of each $A \in \mathcal{D}_1^{L_n\rightarrow Y_m}$. For this reason, in this work we revisit the problem by introducing algorithms that exploit the combinatorial structure of total (admissible) orders to compute the $\textit{pos}$ function and its inverse with exactness. The proposed approach achieves a complexity of $\mathcal{O}(n^{2} m \log n)$, which is quadratic in the size of the underlying chain ($n$) and linear in the number of membership levels ($m$). The key point is that the dominant factor is $m$, ensuring scalability with respect to the granularity of membership values. The results demonstrate that this formulation substantially reduces computational cost and enables the efficient implementation of algebraic operations -- such as aggregation and implication -- on the set of discrete fuzzy numbers.

Efficient Algorithms and Implementations for Extracting Maximum-Size $(k,\ell)$-Sparse Subgraphs

2025-11-21T01:01:23Z

A multigraph $G = (V, E)$ is $(k, \ell)$-sparse if every subset $X \subseteq V$ induces at most $\max\{k|X| - \ell, 0\}$ edges. Finding a maximum-size $(k, \ell)$-sparse subgraph is a classical problem in rigidity theory and combinatorial optimization, with known polynomial-time algorithms. This paper presents a highly efficient and flexible implementation of an augmenting path method, enhanced with a range of powerful practical heuristics that significantly reduce running time while preserving optimality. These heuristics $\unicode{x2013}$ including edge-ordering, node-ordering, two-phase strategies, and pseudoforest-based initialization $\unicode{x2013}$ steer the algorithm toward accepting more edges early in the execution and avoiding costly augmentations. A comprehensive experimental evaluation on both synthetic and real-world graphs demonstrates that our implementation outperforms existing tools by several orders of magnitude. We also propose an asymptotically faster algorithm for extracting an inclusion-wise maximal $(k,2k)$-sparse subgraph with the sparsity condition required only for node sets of size at least three, which is particularly relevant to 3D rigidity when $k = 3$. We provide a carefully engineered implementation, which is publicly available online and is proposed for inclusion in the LEMON graph library.

A Systematic Study of Single-Anchor Logical Gadgets

2025-11-20T20:32:37Z

We present a systematic study of logical gadgets for 3-coloring under a single anchor constraint, where only one color representing logical falsehood is fixed to a vertex. We introduce a framework of what we call ladgets (logical gadgets), graph gadgets that implement Boolean functions. Then, we define a set of core gadgets, called primitives, which help identify and analyze the logical behavior of ladgets. Next, we examine the structure of several standard ladgets and present several structural constraints for ladgets. Through an exhaustive search of all non-isomorphic connected graphs up to 10 vertices, we verify all minimal constructions for standard ladgets. Notably, we identify exactly two non-isomorphic minimal XNOR ladgets in approximately 29 billion gadget configurations, highlighting the rarity of gadgets capable of expressing logical behavior. We also present an embedding technique that embeds ladgets with less than 3 inputs from 3-coloring into k-coloring. Our work shows how the single anchor constraint creates a fundamentally different framework from the two anchor gadgets used in SAT reductions.

Random Abstract Cell Complexes

2025-11-20T13:46:37Z

We define a model for random (abstract) cell complexes (CCs), similiar to the well-known Erdős-Rényi model for graphs and its extensions for simplicial complexes. To build a random cell complex, we first draw from an Erdős-Rényi graph, and consecutively augment the graph with cells for each dimension with a specified probability. As the number of possible cells increases combinatorially -- e.g., 2-cells can be represented as cycles, or permutations -- we derive an approximate sampling algorithm for this model limited to two-dimensional abstract cell complexes. As a basis for this algorithm, we first introduce a spanning-tree-based method that samples simple cycles and allows the efficient approximation of various properties, most notably the probability of occurence of a given cycle. This approximation is of independent interest as it enables the approximation of a wide variety of cycle-related graph statistics using importance sampling. We use this to approximate the number of cycles of a given length on a graph, allowing us to calculate the sampling probability to arrive at a desired expected number of sampled 2-cells. The probability approximation also trivially leads to a sampling algorithm for $2$-cells with a desired sampling probability. We provide some initial analysis into the properties of random CCs drawn from this model. We further showcase practical applications for our random CCs as null models, and in the context of (random) liftings of graphs to cell complexes. The cycle sampling, cycle count estimation, and combined cell sampling algorithms are available in the package `py-raccoon` on the Python Packaging Index.

Renaming in distributed certification

2025-11-20T10:52:01Z

Local certification is the area of distributed network computing asking the following question: How to certify to the nodes of a network that a global property holds, if they are limited to a local verification? In this area, it is often essential to have identifiers, that is, unique integers assigned to the nodes. In this short paper, we show how to reduce the range of the identifiers, in three different settings. More precisely, we show how to rename identifiers in the classical local certification setting, when we can (resp.\ cannot) choose the new identifiers, and we show how a global certificate can help to encode very compactly a new identifier assignment that is not injective in general, but still useful in applications. We conclude with a number of applications of these results: For every $\ell$, there are local certification schemes for the properties of having clique number at most $\ell$, having diameter at most $\ell$, and having independence number at most~2, with certificates of size $O(n)$. We also show that there is a global certification scheme for bipartiteness with a certificate of size $O(n)$. All these results are optimal.

Zoo of Centralities: Encyclopedia of Node Metrics in Complex Networks

2025-11-20T01:29:19Z

Centrality is a fundamental concept in network science, providing critical insights into the structure and dynamics of complex systems such as social, transportation, biological and financial networks. Despite its extensive use, there is no universally accepted definition of centrality, leading to the development of a large variety of distinct centrality measures. These measures have grown so numerous that they resemble a 'zoo', each representing a unique approach to capturing node importance within a network. However, the increasing number of metrics being developed has led to several challenges, including issues of discoverability, redundancy, naming conflicts, validation and accessibility. This work aims to address these challenges by providing a comprehensive catalog of over 400 centrality measures, along with clear descriptions and references to original sources. While not exhaustive, this compilation represents the most extensive and systematic effort to date in organizing and presenting centrality measures. We also encourage readers to explore and contribute to the Centrality Zoo website at https://centralityzoo.github.io/, which provides an interactive platform for discovering and comparing centrality measures.

On coarse tree decompositions and coarse balanced separators

2025-11-19T11:29:44Z

It is known that there is a linear dependence between the treewidth of a graph and its balanced separator number: the smallest integer $k$ such that for every weighing of the vertices, the graph admits a balanced separator of size at most $k$. We investigate whether this connection can be lifted to the setting of coarse graph theory, where both the bags of the considered tree decompositions and the considered separators should be coverable by a bounded number of bounded-radius balls. As the first result, we prove that if an $n$-vertex graph $G$ admits balanced separators coverable by $k$ balls of radius $r$, then $G$ also admits tree decompositions ${\cal T}_1$ and ${\cal T}_2$ such that: - in ${\cal T}_1$, every bag can be covered by $O(k\log n)$ balls of radius $r$; and - in ${\cal T}_2$, every bag can be covered by $O(k^2\log k)$ balls of radius $r(\log k+\log\log n+O(1))$. As the second result, we show that if we additionally assume that $G$ has doubling dimension at most $m$, then the functional equivalence between the existence of small balanced separators and of tree decompositions of small width can be fully lifted to the coarse setting. Precisely, we prove that for a positive integer $r$ and a graph $G$ of doubling dimension at most $m$, the following conditions are equivalent, with constants $k_1,k_2,k_3,k_4,Δ_3,Δ_4$ depending on each other and on $m$: - $G$ admits balanced separators consisting of $k_1$ balls of radius $r$; - $G$ has a tree decomposition with bags coverable by $k_2$ balls of radius $r$; - $G$ has a tree-partition of maximum degree $\leq Δ_3$ with bags coverable by $k_3$ balls of radius $r$; - $G$ is quasi-isometric to a graph of maximum degree $\leq Δ_4$ and tree-partition width $\leq k_4$.