https://arxiv.org/api/aEsXE7P/3iTFP0Nbmkf+HxhJDpI 2026-03-24T11:14:24Z 15384 105 15 http://arxiv.org/abs/2405.00778v2 2026-03-02T21:55:29Z

We establish a connection between problems studied in rigidity theory and matroids arising from linear algebraic constructions like tensor products and symmetric products. A special case of this correspondence identifies the problem of giving a description of the correctable erasure patterns in a maximally recoverable tensor code with the problem of describing bipartite rigid graphs or low-rank completable matrix patterns. Additionally, we relate dependencies among symmetric products of generic vectors to graph rigidity and symmetric matrix completion. With an eye toward applications to computer science, we study the dependency of these matroids on the characteristic by giving new combinatorial descriptions in several cases, including the first description of the correctable patterns in an (m, n, a=2, b=2) maximally recoverable tensor code.

2024-05-01T18:00:05Z 23 pages, 4 figures, accepted to Combinatorica Joshua Brakensiek Manik Dhar Jiyang Gao Sivakanth Gopi Matt Larson http://arxiv.org/abs/2603.02400v1 2026-03-02T21:22:56Z

In this paper, we investigate the impact of the broadcast effect arising in filterless optical networks on the computational complexity of the wavelength assignment problem. We model conflicts using an appropriate interference digraph, whose proper colourings correspond to feasible wavelength assignments. Minimizing the number of required wavelengths therefore amounts to determining the chromatic number of this interference digraph. Within this framework, we first present a polynomial-time 2-approximation algorithm for minimizing the number of wavelengths. We then show that the problem is fixed-parameter tractable when parameterized by the number $k$ of available wavelengths. We also derive polynomial-time algorithms for computing the independence and clique numbers of this interference digraph.

2026-03-02T21:22:56Z Hugo Boulier David Coudert Frédéric Havet François Pirot http://arxiv.org/abs/2602.00281v2 2026-03-02T19:24:38Z

The switching of transmission lines can significantly improve the economic and operational efficiency of power systems. The Direct-Current Optimal Transmission Switching (DC-OTS) problem provides a formal framework for minimizing power generation costs by reconfiguring the transmission network topology under a linearized power flow model. DC-OTS is typically formulated as a mixed-integer linear program that incorporates disjunctive constraints to capture the required relationships between certain variables via big-M parameters. More specifically, these parameters represent upper bounds on voltage angle differences across non-operational transmission lines. In practice, overly conservative (and arbitrary) bounds tend to be used. The belief is that tightening these values requires the solution of the computationally intractable longest path problem. This work challenges that view through a novel polyhedral analysis of the angle-based DC-OTS formulation. We construct an extended formulation for the convex hull of an angle-based relaxation and derive facet-defining inequalities that tighten angle-difference bounds.

2026-01-30T20:08:36Z 14 pages, 1 figure. Updated to match the accepted manuscript; clarified wording in a few sentences and added keywords. No changes to results Behnam Jabbari-Marand Adolfo R. Escobedo http://arxiv.org/abs/2509.06410v2 2026-03-02T15:56:25Z

This paper presents a Hoare-like veri cation framework for discrete probabilistic programs that we apply to two non-trivial sampling algorithms: Lumbroso's Fast Dice Roller and Saad et al.'s Fast Loaded Dice Roller. These algorithms have previously resisted formal veri cation due to their probabilistic nature, intricate loop structure, and parametric input. Our approach complements existing proof rules based on inductive distributional invariants, enabling us to verify both total and partial correctness of the two algorithms.

2025-09-08T08:01:42Z Daniel Zilken Kevin Batz Joost-Pieter Katoen Tobias Winkler http://arxiv.org/abs/2601.21236v2 2026-03-02T09:22:17Z

We study deletion-correcting codes for an adversarial nanopore channel in which at most $t$ deletions may occur. We propose an explicit construction of $q$-ary codes of length $n$ for this channel with $2t\log_q n+Θ(\log\log n)$ redundant symbols. We also show that the optimal redundancy is between $t\log_q n+Ω(1)$ and $2t\log_q n-\log_q\log_2 n+O(1)$, so our explicit construction matches the existential upper bound to first order. In contrast, for the classical adversarial $q$-ary deletion channel, the smallest redundancy achieved by known explicit constructions that correct up to $t$ deletions is $4t(1+ε)\log_q n+o(\log n)$.

2026-01-29T03:55:51Z Fixed typos and updated Lemma 7 Huiling Xie Zitan Chen http://arxiv.org/abs/2510.24068v4 2026-03-01T23:34:00Z

For a sequence of tasks, each with a positive integer period, the pinwheel scheduling problem involves finding a valid schedule in the sense that the schedule performs one task per day and each task is performed at least once every consecutive days of its period. It had been conjectured by Chan and Chin in 1993 that there exists a valid schedule for any sequence of tasks with density, the sum of the reciprocals of each period, at most $\frac{5}{6}$. Recently, Kawamura settled this conjecture affirmatively. In this paper we consider an extended version with real periods proposed by Kawamura, in which a valid schedule must perform each task $i$ having a real period~$a_{i}$ at least $l$ times in any $\lceil l a_{i} \rceil$ consecutive days for all positive integer $l$. We show that any sequence of tasks such that the periods take three distinct real values and the density is at most $\frac{5}{6}$ admits a valid schedule. We hereby conjecture that the conjecture of Chan and Chin is true also for real periods.

2025-10-28T05:01:25Z Hiroshi Fujiwara Kota Miyagi Katsuhisa Ouchi http://arxiv.org/abs/2406.20069v4 2026-03-01T21:29:19Z

Fix two non-empty loopless graphs $G$ and $H$ such that $G$ maps homomorphically to $H$. The Maximum Promise Constraint Satisfaction Problem parameterised by $G$ and $H$ is the following computational problem, denoted by MaxPCSP($G$, $H$): Given an input (multi)graph $X$ that admits a map to $G$ preserving a $ρ$-fraction of the edges, find a map from $X$ to $H$ that preserves a $ρ$-fraction of the edges. As our main result, we give a complete classification of this problem under Khot's Unique Games Conjecture: The only tractable cases are when $G$ is bipartite and $H$ contains a triangle. Along the way, we establish several results, including an efficient approximation algorithm for the following problem: Given a (multi)graph $X$ which contains a bipartite subgraph with $ρ$ edges, what is the largest triangle-free subgraph of $X$ that can be found efficiently? We present an SDP-based algorithm that finds one with at least $0.8823 ρ$ edges, thus improving on the subgraph with $0.878 ρ$ edges obtained by the classic Max-Cut algorithm of Goemans and Williamson.

2024-06-28T17:27:54Z A new title and more results (a dichotomy for graphs) Tamio-Vesa Nakajima Stanislav Živný http://arxiv.org/abs/2603.01256v1 2026-03-01T20:22:45Z

The all-terminal reliability of a graph $G$ is the probability that $G$ remains connected when each edge fails independently with probability $p$. For fixed $n$ and $m$, the uniformly most reliable problem asks which graph with $n$ vertices and $m$ edges maximizes reliability for all $p \in [0,1]$. Although such graphs do not always exist, optimal graphs in the regime $p \to 0$ always do and are determined by the structure of their minimal cut sets. We establish a structural characterization of graphs that are most reliable near $p=0$. Our results partially resolve a conjecture of Bourel et al., showing that, under suitable conditions, regular graphs with maximal girth are optimal. Extending this analysis to graphs with fixed redundancy $r=m-(n-1)$ and sufficiently large $n$, we show that the most reliable graphs are obtained by subdividing the most reliable cubic graphs with $2(r-1)$ vertices. The general conjecture remains open. Unlike previous results, which resolved only small redundancy cases or very dense regimes, our approach yields a substantial extension of the known range. We determine the unique cubic candidates for uniformly most reliable graphs for all redundancy levels $m-n \le 19$, and prove the non-existence of uniformly most reliable graphs for several infinite families with fixed redundancy and asymptotically large $n$. These results significantly enlarge both the candidate class and the range of provable non-existence.

2026-03-01T20:22:45Z Rotem Brand Reuven Cohen Simi Haber Baruch Barzel http://arxiv.org/abs/2602.12711v2 2026-03-01T06:53:07Z

A square is a word of the form $xx$ for a non-empty word $x$. Brlek and Li [Comb. Theory, 2025] proved that the number of distinct squares in a word $w$ of length $n$ is at most $n - σ$, where $σ$ is the number of letters used in $w$. The same authors extended the proof to lower the upper bound to $n - Θ(\log n)$ in [WORDS, 2023]. In this paper, we present another proof to obtain the same bound $n - Θ(\log n)$.

2026-02-13T08:26:11Z The manuscript has been revised to include an important reference that was missing in the previous version Eitatsu Tomita Tomohiro I http://arxiv.org/abs/2603.00861v1 2026-03-01T01:34:15Z

Grudka, Karczewski, Kurzynski, Stempin, Wójcik and Wojcik (2025) constructed quantum channels with synchronizing words of length 3 for qutrits. We extend their result to arbitrarily long minimal synchronizing words, providing a contrast to Černý's conjecture for finite automata.

2026-03-01T01:34:15Z Quantum Communication, Networking and Computation (QCNC) 2026 Bjørn Kjos-Hanssen Swarnalakshmi Lakshmanan http://arxiv.org/abs/2602.23211v2 2026-02-28T18:40:17Z

The algebraic analysis of social systems, or algebraic social network analysis, refers to a collection of methods designed to extract information about the structure of a social system represented as a directed graph. Central among these are methods to determine the roles that exist within a given system, and the positions. The analysis of roles and positions is highly developed for social systems that involve only pairwise interactions among actors - however, in contemporary social network analysis it is increasingly common to use models that can take into account higher-order interactions as well. In this paper we take a category-theoretic approach to the question of how to lift role and positional analysis from graphs to hypergraphs, which can accommodate higher-order interactions. We use the framework of universal coalgebra - a 'theory of systems' with origins in computer science and logic - to formalize the main concepts of role and positional analysis and extend them to a large class of structures that includes both graphs and hypergraphs. As evidence for the validity of our definitions, we prove a very general functoriality theorem that specializes, in the case of graphs, to a folkloric observation about the compatibility of positional and role analysis.

2026-02-26T16:55:22Z 44 pages, 8 figures; new version to fix cref rendering issue, new colors in figures, minor changes Nima Motamed Nina Otter Emily Roff http://arxiv.org/abs/2603.00692v1 2026-02-28T15:05:20Z

The \textsc{Dominating Set} problem is a classical and extensively studied topic in graph theory and theoretical computer science. In this paper, we examine the algorithmic complexity of several well-known exact-distance variants of domination, namely \textsc{$r$-Step Domination}, \textsc{$r$-Hop Domination}, and \textsc{$r$-Hop Roman Domination}. Let $G$ be a graph and let $r \geq 2$ be an integer. A set $S \subseteq V(G)$ is an \emph{$r$-hop dominating set} if every vertex in $V(G)\setminus S$ is at distance exactly $r$ from some vertex of $S$. Similarly, $S$ is an \emph{$r$-step dominating set} if every vertex of $G$ lies at distance exactly $r$ from at least one vertex of $S$. An \emph{$r$-hop Roman dominating function} on $G$ is a function $f \colon V(G)\to\{0,1,2\}$ such that for every vertex $v$ with $f(v)=0$, there exists a vertex $u$ at distance exactly $r$ from $v$ with $f(u)=2$. The \emph{weight} of $f$ is defined as $f(V)=\sum_{v\in V(G)} f(v)$. The \textsc{$r$-Hop Domination} (respectively, \textsc{$r$-Step Domination}) problem asks whether $G$ admits an $r$-hop dominating set (respectively, $r$-step dominating set) of size at most $k$, while the \textsc{$r$-Hop Roman Domination} problem asks whether $G$ admits an $r$-hop Roman dominating function of weight at most $k$. It is known that for every $r\ge 2$, the problems \textsc{$r$-Step Domination}, \textsc{$r$-Hop Domination}, and \textsc{$r$-Hop Roman Domination} are \textsc{NP}-complete. First we prove that for all $r\ge 2$, \textsc{$r$-Hop Roman Domination} is \textsc{W[2]}-complete. Furthermore, for every $r\ge 2$, \textsc{$r$-Step Domination} and \textsc{$r$-Hop Domination} remain \textsc{W[2]}-hard even when restricted to bipartite graphs and chordal graphs. Unless the ETH fails, none of these problems admits an algorithm running in time $2^{o(n+m)}$ on graphs with $n$ vertices and $m$ edges.

2026-02-28T15:05:20Z Sandip Das Sweta Das Sk Samim Islam http://arxiv.org/abs/2402.12705v4 2026-02-28T06:49:54Z

Reconfiguration problems ask whether one feasible solution can be transformed into another by a sequence of local moves while maintaining feasibility throughout. For integers $d \geq 1$ and $k \geq d+1$, the Distance Coloring problem asks if a given graph $G$ has a $(d, k)$-coloring, i.e., a coloring of the vertices of $G$ by $k$ colors such that any two vertices within distance $d$ from each other have different colors. For ordinary proper colorings ($d=1$), the $k$-Coloring Reconfiguration problem is polynomial-time solvable for $k\le 3$ [Cereceda, van den Heuvel, and Johnson, J. Graph Theory 67(1):69--82, 2011] but is $\mathsf{PSPACE}$-complete for every fixed $k\ge 4$, even on bipartite graphs [Bonsma and Cereceda, Theor. Comput. Sci. 410(50):5215--5226, 2009]. In this work, we initiate a study of the distance-$d$ analogue, for $d \geq 2$. We show that even for planar, bipartite, and $2$-degenerate graphs, $(d, k)$-Coloring Reconfiguration remains $\mathsf{PSPACE}$-complete for every $d \geq 3$ via a reduction from the well-known Sliding Tokens problem. Our construction uses $k = k_0 + 2 + n(\lceil d/2\rceil-1)$ colors on instances of size $n$, where $k_0\in\{3d+3,3d+6\}$ (depending on the parity of $d$). For $d = 2$, the same reduction scheme can be adapted to show that the problem is $\mathsf{PSPACE}$-complete on planar and $2$-degenerate graphs with same values of $k$. Additionally, on split graphs, there is an interesting dichotomy: the problem is $\mathsf{PSPACE}$-complete when $d = 2$ and $k$ is large but can be solved efficiently when $d \geq 3$ and $k \geq d+1$. For chordal graphs, we show that the problem is $\mathsf{PSPACE}$-complete for even values of $d \geq 2$. Finally, we design a quadratic-time algorithm to solve the problem on paths for any $d \geq 2$ and $k \geq d+1$.

2024-02-20T04:09:00Z 27 pages, 8 figures, v4: revision of v3, revise incorrect proofs, improve writing Niranka Banerjee Christian Engels Duc A. Hoang http://arxiv.org/abs/2305.04306v4 2026-02-28T01:22:23Z

Tangle is a concept in graph theory that has a dual relationship with branch-width which is well-known graph width parameter. Ultrafilter, a fundamental notion in mathematics, is similarly known to have a dual relationship with branch-width when extended to a connectivity system (X, f). We will reconsider these concepts using separation and partition.

2023-05-07T15:20:36Z 8 pages International Journal of Mathematics Trends and Technology (IJMTT), vol. 70, no. 7, pp. 5-12, 2024 Takaaki Fujita 10.14445/22315373/IJMTT-V70I7P102 http://arxiv.org/abs/2305.04740v3 2026-02-28T01:19:12Z

Linear-width is a well-known and highly regarded graph parameter. The concept of Single Ideal and Linear obstacle serves as an obstruction to linear-width on a connectivity sysem. In this concise paper, we present an alternative proof for the equivalence between Single ideal and linear obstacle.

2023-05-08T14:42:33Z 5 pages, 0 figures Journal of Advances in Mathematics and Computer Science (2023) Takaaki Fujita 10.9734/jamcs/2023/v38i101835