https://arxiv.org/api/Uhe3DLD7fGU+YPg3CnS1b5xsM50 2026-06-18T15:31:02Z 15687 375 15 http://arxiv.org/abs/2508.21318v2 2026-04-23T03:28:28Z

We prove that the signed counting (with respect to the parity of the ``$\operatorname{inv}$'' statistic) of partition matrices equals the cardinality of a subclass of inversion sequences. In the course of establishing this result, we introduce an interesting class of partition matrices called improper partition matrices. We further show that a subset of improper partition matrices is equinumerous with the set of Motzkin paths. Such an equidistribution is established both analytically and bijectively.

2025-08-29T03:17:26Z 28 pages. Most of Section 4 has been rewritten, with more questions raised in Outlook Shane Chern Shishuo Fu http://arxiv.org/abs/2604.21025v1 2026-04-22T19:16:01Z

Given an edge-colored graph, the Maximum Rainbow Matching problem asks for a maximum-cardinality matching of the graph that contains at most one edge from each color. We provide the following complexity dichotomy for this problem based on the structure of the color classes: Maximum Rainbow Matching admits a polynomial-time algorithm if almost every color class is a complete multipartite graph and it is NP-hard otherwise. To prove the NP-hardness-part of the dichotomy, we first show that the problem remains NP-hard even if every color class is a subgraph on four vertices that is either a matching of size two, a path on four vertices or a paw. We then leverage this result to all color classes that are not complete multipartite graphs. For this purpose, we introduce color-closed graph classes, which seem to be an appropriate notion for obtaining complexity classifications for rainbow problems and may be of independent interest. To prove the positive part of the dichotomy, we show that the problem essentially reduces to computing a maximum $(l, u)$-matching, where we heavily exploit that almost all color classes are complete multipartite graphs. In the case where all color classes are complete multipartite, we provide a polynomial-time algorithm that computes a maximum matching containing at most $m_i$ edges from each color class $i$.

2026-04-22T19:16:01Z 16 pages, 7 figures Felix Hommelsheim Pia Jehmlich Moritz Mühlenthaler http://arxiv.org/abs/2504.03605v2 2026-04-22T17:23:04Z

A function $\varphi:\{0,1\}^n \to \{0,1\}^N$ is called an isometric embedding of the $n$-dimensional Hamming metric space to the $N$-dimensional edit metric space if, for all $x,y\in\{0,1\}^n$, the Hamming distance between $x$ and $y$ is equal to the edit distance between $\varphi(x)$ and $\varphi(y)$. The rate of such an embedding is defined as the ratio $n/N$. It is well known in the literature how to construct isometric embeddings with rate $Ω(1/\log n)$. However, achieving even near-isometric embeddings with positive constant rate has remained elusive until now. In this paper, we present an isometric embedding with rate $1/8$ by discovering connections to synchronization strings, which were studied in the context of insertion-deletion codes (Haeupler-Shahrasbi [JACM'21]). At a technical level, we introduce a framework for obtaining high-rate isometric embeddings using a novel object called misaligners. As an immediate consequence of our constant-rate isometric embedding, we improve known conditional lower bounds for various optimization problems in the edit metric, now with optimal dependence on the dimension. We complement our results by showing that no isometric embedding $\varphi:\{0,1\}^n \to \{0,1\}^N$ can have rate greater than $15/32$ for all positive integers $n$. En route to proving this upper bound, we uncover fundamental structural properties necessary for every Hamming-to-edit isometric embedding. We also prove similar upper and lower bounds for embeddings over larger alphabets. Finally, we consider embeddings $\varphi:Σ_{\mathrm{in}}^n \to Σ_{\mathrm{out}}^N$ between different input and output alphabets, where the rate is given by $\frac{n\log|Σ_{\mathrm{in}}|}{N\log|Σ_{\mathrm{out}}|}$. In this setting, we show that the rate can be made arbitrarily close to $1$.

2025-04-04T17:21:25Z Sudatta Bhattacharya Sanjana Dey Elazar Goldenberg Mursalin Habib Bernhard Haeupler Karthik C. S. Michal Koucký http://arxiv.org/abs/2501.10633v2 2026-04-22T12:34:26Z

We introduce the meta-problem Sidestep$(Π, \mathsf{dist}, d)$ for a problem $Π$, a metric $\mathsf{dist}$ over its inputs, and a map $d: \mathbb N \to \mathbb R_+ \cup \{\infty\}$. A solution to Sidestep$(Π, \mathsf{dist}, d)$ on an input $I$ of $Π$ is a pair $(J, Π(J))$ such that $\mathsf{dist}(I,J) \leqslant d(|I|)$ and $Π(J)$ is a correct answer to $Π$ on input $J$. This formalizes the notion of answering a related question (or sidestepping the question), for which we give some motivations, and compare it to the neighboring concepts of smoothed analysis, certified algorithms, planted problems, edition problems, and approximation algorithms. Informally, we call hardness radius the ``largest'' $d$ such that Sidestep$(Π, \mathsf{dist}, d)$ is NP-hard. This framework calls for establishing the hardness radius of problems $Π$ of interest for the relevant distances $\mathsf{dist}$. We exemplify it with graph problems and two distances $\mathsf{dist}_Δ$ and $\mathsf{dist}_e$ (the edge edit distance) such that $\mathsf{dist}_Δ(G,H)$ (resp. $\mathsf{dist}_e(G,H)$) is the maximum degree (resp. number of edges) of the symmetric difference of $G$ and $H$ if these graphs are on the same vertex set, and $+\infty$ otherwise. We show that the decision problems Independent Set, Clique, Vertex Cover, Coloring, Clique Cover have hardness radius $n^{\frac{1}{2}-o(1)}$ for $\mathsf{dist}_Δ$, and $n^{\frac{4}{3}-o(1)}$ for $\mathsf{dist}_e$, that Hamiltonian Cycle has hardness radius 0 for $\mathsf{dist}_Δ$, and somewhere between $n^{\frac{1}{2}-o(1)}$ and $n/3$ for $\mathsf{dist}_e$, and that Dominating Set has hardness radius $n^{1-o(1)}$ for $\mathsf{dist}_e$. We leave several open questions.

2025-01-18T02:25:18Z 20 pages, 2 figures Édouard Bonnet http://arxiv.org/abs/2510.05786v5 2026-04-22T08:59:34Z

Möbius inversion and Shapley values are two mathematical tools for characterizing and decomposing higher-order structure in complex systems. The former defines higher-order interactions as discrete derivatives over a partial order; the latter provides a principled way to attribute those interactions back to the `atomic' elements of the system. Both have found wide application, from combinatorics and cooperative game theory to machine learning and explainable AI. We generalize both tools simultaneously in two orthogonal directions: 1) from real-valued functions to functions valued in any abelian group (in particular, vector-valued functions), and 2) from partial orders and lattices to directed acyclic multigraphs (DAMGs) and weighted versions thereof. The classical axioms, linearity, efficiency, null player, and symmetry, which uniquely characterize Shapley values on lattices, are insufficient in this more general setting. We resolve this by introducing projection operators that recursively re-attribute higher-order synergies down to the roots of the graph, and by proposing two natural axioms: weak elements (coalitions with zero synergy can be removed without affecting any attribution) and flat hierarchy (on graphs with no intermediate hierarchy, attributions are distributed proportionally to edge counts). Together with linearity, these three axioms uniquely determine the Shapley values via a simple explicit formula, while automatically implying efficiency, null player, symmetry, and a novel projection property. The resulting framework recovers all existing lattice-based definitions as special cases, and naturally handles settings, such as games on non-lattice partial orders, which were previously out of reach. The extension to vector-valued functions and general DAMG-structured hierarchies opens new application areas in machine learning, natural language processing, and explainable AI.

2025-10-07T11:05:25Z 50 pages, 2 figures Patrick Forré Abel Jansma http://arxiv.org/abs/2604.20042v1 2026-04-21T22:54:16Z

Pairwise Compatibility Graphs (PCGs) form a tree-metric graph class that originated in phylogeny and has since attracted sustained interest in graph theory. Several natural generalizations have been proposed in order to overcome the expressive limitations of classical PCGs, including $k$-interval-PCGs, $k$-OR-PCGs, and $k$-AND-PCGs. In this paper, we introduce $(k,t)$-threshold-PCGs, a threshold-based framework that unifies these generalized notions: adjacency is determined by whether at least $t$ among $k$ underlying PCG predicates accept the vertex pair. We investigate the expressive power of this model from both constructive and asymptotic viewpoints. On the positive side, we show that every graph on $n$ vertices is a $(n,t)$-threshold-PCG for every $1 \le t \le n$. On the negative side, we prove that for every fixed pair $(k,t)$, the class of $(k,t)$-threshold-PCGs is asymptotically rare among all graphs. As a consequence, we obtain sharp separations from previously studied models, including a strict expressive gap relative to $k$-interval-PCGs. We also study explicit obstruction families through incidence graphs and derive additional structural consequences for the conjunction case, including the strictness of the $k$-AND-PCG hierarchy and the failure of closure under complement.

2026-04-21T22:54:16Z Sheikh Azizul Hakim Md. Shamsuzzoha Bayzid http://arxiv.org/abs/2604.20009v1 2026-04-21T21:38:46Z

Motivated by the exact weight perfect matching problem and recent parameterized algorithms for finding an $\ell$-th smallest perfect matching, we study structural properties of edge-weight symmetries in graphs. Recent work by El Maalouly et al. (ESA 2025) showed that excluding all perfect matchings whose weight is at most the $(\ell - 1)$-th smallest possible value in the graph requires fixing at most $2(\ell-1)$ edges in non-bipartite graphs and at most $\ell-1$ edges in bipartite graphs. A natural open question is whether fixing a single edge is always sufficient to shift the extreme (minimum or maximum) weight of a perfect matching when the global minimum and maximum weights differ. To address this, we define and analyze a hierarchy of progressively weaker edge-weight properties: node-induced weights, even walk and cycle symmetries, perfect matching equality, and the edge min-max property. We derive a basic hierarchy among these conditions and show that they become equivalent in bipartite graphs. For general graphs, we provide tight structural characterizations, based on block and tight cut decompositions, under which even cycle symmetry and perfect matching equality force node-induced weights. Finally, we resolve the motivating open question in the negative by constructing a matching-covered non-bipartite graph that satisfies the edge min-max property (every edge is contained in a minimum-weight perfect matching and a maximum-weight one) but violates perfect matching equality (all perfect matchings have the same weight). This counterexample shows that a single edge is not always sufficient to eliminate all minimum-weight or maximum-weight perfect matchings, thereby proving the tightness of the $2(\ell-1)$ bound for $\ell=2$. We also discuss extensions of this framework to $b$-factors and arborescences.

2026-04-21T21:38:46Z Kristóf Bérczi Viktor Csaplár Yutaro Yamaguchi http://arxiv.org/abs/2604.19886v1 2026-04-21T18:08:26Z

Spanning trees are fundamental for efficient communication in networks. For fault-tolerant communication, it is desirable to have multiple spanning trees to ensure resilience against failures of nodes and edges. To this end, various notions of disjoint or independent spanning trees have been studied, including edge-disjoint, node/edge-independent, and completely independent spanning trees. Alongside these, several Steiner variants have also been investigated, where the trees are required to span a designated subset of vertices called terminals. For instance, the study of edge-disjoint spanning trees has been extended to edge-disjoint Steiner trees; a stronger variant is the problem of internally disjoint Steiner trees, where any two Steiner trees intersect exactly in the terminals. In this paper, we investigate the Steiner analogue of completely independent spanning trees, which we call \emph{completely independent Steiner trees}. A set of Steiner trees is completely independent if, for every pair of terminals $u,v$, the $(u,v)$-paths in all the Steiner trees are internally vertex-disjoint and edge-disjoint. This notion generalizes both completely independent spanning trees and internally disjoint Steiner trees. We provide a systematic study of completely independent Steiner trees from structural, algorithmic, and complexity-theoretic perspectives. In particular, we present several characterisations, connectivity bounds, algorithms, hardness results, and applications to special graph classes such as planar graphs and graphs of bounded treewidth. Along the way, we also introduce a directed variant of completely independent spanning trees via an equivalence with completely independent Steiner trees.

2026-04-21T18:08:26Z Anil Maheshwari Karthik Murali Michiel Smid http://arxiv.org/abs/2604.19138v1 2026-04-21T06:40:44Z

Reduced parameters [BKW, JCTB '26; BKRT, SODA '22] are defined via contraction sequences. Based on this framework, we introduce the reduced component max-leaf, denoted by $\operatorname{cml}^\downarrow$, where component max-leaf is the maximum number of leaves in any spanning tree of any connected component. Reduced component max-leaf is strictly sandwiched between clique-width and reduced bandwidth, it is bounded in unit interval graphs, and unbounded in planar graphs. We design polynomial-time algorithms for problems such as \textsc{Maximum Induced $d$-Regular Subgraph} and \textsc{Induced Disjoint Paths} in graphs given with a contraction sequence witnessing low $\operatorname{cml}^\downarrow$, unifying and extending tractability results for classes of bounded clique-width and unit interval graphs. We get the following collapses in sparse classes of bounded $\operatorname{cml}^\downarrow$: bounded maximum degree implies bounded treewidth, whereas $K_{t,t}$-subgraph-freeness implies strongly sublinear treewidth; we show the latter, more generally, for classes of bounded reduced cutwidth. We establish the former result by showing that graphs with bounded $\operatorname{cml}^\downarrow$ admit balanced separators dominated by a bounded number of vertices. We then showcase an application of the reduced parameters to establishing non-transducibility results. We prove that for most reduced parameters $p^\downarrow$ (including reduced bandwidth), the family of classes of bounded $p^\downarrow$ is closed under first-order transductions. We then answer a question of [BKW '26] by showing that the 3-dimensional grids have unbounded reduced bandwidth. As the class of planar graphs (or any class of bounded genus) has bounded reduced bandwidth [BKW '26], this reproves a recent result [GPP, LICS '25] that planar graphs do not first-order transduce the 3-dimensional grids.

2026-04-21T06:40:44Z 51 pages, 10 figures Édouard Bonnet Yeonsu Chang Julien Duron Colin Geniet O-joung Kwon http://arxiv.org/abs/2312.06260v2 2026-04-20T14:22:05Z

A temporal graph is a graph whose edges appear at certain points in time. These graphs are temporally connected (in class TC) if all vertices can reach each other by temporal paths (traversing the edges in chronological order). Reachability based on temporal paths is not transitive, with important consequences. For instance, TC graphs do not always admit TC spanning trees. In this paper, we show that deciding if a given temporal graph admits a TC spanning tree is actually NP-complete. Then, we explore possible relaxations. A key feature of TC spanning trees is to support reachability along the same paths in both directions. We show that this property is not equivalent to TC spanning trees, it is more general and it can be tested in polynomial time. Still, minimizing the size of a spanner preserving this property -- a bidirectional spanner -- is \textsf{NP}-hard even more generally than TC spanning tree, including the setting of simple temporal graphs. Along the way, we show that deciding the existence of TC spanning tree is FPT when parameterized by the feedback edge set number (fes) of the underlying graph, and deciding bidirectional spanners of size $k$ is FPT when parameterized by fes + $\ell$ (the maximum number of labels per edge). On the structural side, we show that TC trees always admit a pivot vertex or a pivot edge -- reachable by all vertices by a certain time and able to reach all vertices afterward -- a fact that may be of independent interest.

2023-12-11T09:57:11Z Long version of an article presented at SIROCCO 2024 Arnaud Casteigts Timothée Corsini Nils Morawietz http://arxiv.org/abs/2406.19516v2 2026-04-20T12:57:10Z

Orthogonal arrays play a fundamental role in many applications. However, constructing orthogonal arrays with the required parameters for an application usually is extremely difficult and, sometimes, even impossible. Hence there is an increasing need for a relaxation of orthogonal arrays to allow a wider flexibility. The latter has lead to various types of arrays under the name of ``nearly-orthogonal arrays'', and less often ``almost orthogonal arrays''. In this paper, we explore how to find almost orthogonal arrays three ways: using integer programming, local search meta-heuristics and algebraic methods. We compare all our search results with the ones existing in the literature, and we show that they are competitive, improving some of the existing arrays for many non-orthogonality measures. All our found almost orthogonal arrays are available at a public repository.

2024-06-27T20:31:54Z 56 pages, 4 figures Luis Martínez María Merino Juan Manuel Montoya Josué Tonelli-Cueto http://arxiv.org/abs/2604.15643v2 2026-04-20T12:27:41Z

The online Ramsey game for graphs $G$ and $H$ is played on the infinite complete graph $K_\mathbb{N}$. Each round, Builder chooses an edge, and Painter colors it red or blue. The online Ramsey number $\tilde{r}(G,H)$ is the smallest integer $t$ for which Builder has a strategy that guarantees a red copy of $G$ or a blue copy of $H$ in at most $t$ rounds. We show that for every fixed $k$, there are constants $λ_1$ and $λ_2$ such that $\tilde{r}(P_k,P_n)/n$ and $\tilde{r}(P_k,C_n)/n$ converge to $λ_1$, and $\tilde{r}(K_{1,k},P_n)/n$ and $\tilde{r}(K_{1,k},C_n)/n$ converge to $λ_2$.

2026-04-17T02:39:50Z v2 contains additional results on stars vs paths and cycles Sam Beilis Israel R. Curbelo http://arxiv.org/abs/2604.17945v1 2026-04-20T08:25:11Z

We study flow shop scheduling with stochastic reentry, where jobs must complete multiple passes through the entire shop, and the number of passes that a job requires for completion is drawn from a discrete probability distribution. The goal is to find policies that minimize performance measures in expectation. Our main contribution is a reduction to a classical parallel machine scheduling problem augmented with machine arrivals. This reduction preserves expected objective values and enables transferring structural results and performance guarantees from the auxiliary problems to the reentrant flow shop setting. We demonstrate the usefulness of this reduction by proving the optimality of simple priority policies for minimizing the makespan and the total completion time in expectation under geometric and, more generally, monotone hazard rate distributions. For minimizing the total weighted completion time, we derive an approximation guarantee that depends only on the squared coefficient of variation of the underlying distributions for a simple priority policy. Our results constitute the first optimality and approximation guarantees for flow shops with stochastic reentry and demonstrate that established scheduling policies naturally extend to this setting through the proposed reduction.

2026-04-20T08:25:11Z 14 pages, 4 figures Maximilian von Aspern Felix Buld Michael Pinedo http://arxiv.org/abs/2604.17911v1 2026-04-20T07:41:44Z

Let $G$ be a graph on an even number $n$ of vertices and let ${\cal M}_G$ be the collection of perfect matchings in $G$. Dirac's theorem says that if the minimum degree $δ(G)$ of $G$ is at least $n/2$, then ${\cal M}_G$ is guaranteed to be non-empty, while this is not necessarily the case if $δ(G) \le n/2-1$. Given an integer $k\ge 2$, let $\mathcal H_k(G)$ be the reconfiguration graph formed on ${\cal M}_G$ by connecting two distinct $M_1,M_2\in {\cal M}_G$ by an edge in $\mathcal H_k(G)$ if $M_1$ can be obtained from $M_2$ by switching at most $k$ edges. Besides non-emptiness, as per Dirac's theorem, what other natural properties of $\mathcal H_k(G)$ are guaranteed based on the minimum degree $δ(G)$ of $G$? We show that if $δ(G) \ge \lfloor2n/3\rfloor+1$, then $\mathcal H_2(G)$ must be connected and an expander, while for each $δ\le \lfloor(2n-2)/3\rfloor$ there are $n$-vertex graphs $G$ with minimum degree $δ$ such that $\mathcal H_2(G)$ is disconnected. We also show that, if $δ(G) \ge n/2+2$, then $\mathcal H_3(G)$ must be connected and an expander, while for each $δ\le n/2-C_k$ there are $n$-vertex graphs $G$ with minimum degree $δ$ such that $\mathcal H_k(G)$ is disconnected, for some $C_k$ depending on $k\ge 3$. Furthermore, for every $\varepsilon >0$, there exists a $c>1$ such that for every $k\ge 2$ and every large enough $n$, there are $n$-vertex graphs $G$ with $δ(G) \ge \frac{n}2-\varepsilon kn$ such that $\mathcal H_k(G)$ has at least $c^n$ components. With respect to guaranteeing that $\mathcal H_k(G)$ has positive minimum degree (or, equivalently, no isolated vertices) we show that if $δ(G) \ge n/2+1$, then $\mathcal H_2(G)$ must have positive minimum degree. For $k\ge 3$, we show how this threshold for $δ(G)$ is related to the notorious Caccetta-Häggkvist conjecture.

2026-04-20T07:41:44Z 31 pages, 12 figures Ross J. Kang Clément Legrand-Duchesne http://arxiv.org/abs/2106.06892v3 2026-04-20T04:31:44Z

Matching is one of the most fundamental and broadly applicable problems across many domains. In these diverse real-world applications, there is often a degree of uncertainty in the input which has led to the study of stochastic matching models. Here, each edge in the graph has a known, independent probability of existing derived from some prediction. Algorithms must probe edges to determine existence and match them irrevocably if they exist. Further, each vertex may have a patience constraint denoting how many of its neighboring edges can be probed. We present new ordered contention resolution schemes yielding improved approximation guarantees for some of the foundational problems studied in this area. For stochastic matching with patience constraints in general graphs, we provide a 0.382-approximate algorithm assuming each vertex has patience at least $2$. Under this assumption, we improve upon the previous best 0.31-approximation of Baveja et al. (2018). When the vertices do not have patience constraints, we describe a 0.432-approximate random order probing algorithm with several corollaries such as an improved guarantee for the Prophet Secretary problem under Edge Arrivals. Finally, for the special case of bipartite graphs with unit patience constraints on one of the partitions, we show a 0.632-approximate algorithm that improves on the recent $1/3$-guarantee of Hikima et al. (2021).

2021-06-13T01:26:22Z Full version of Neurips 2021 paper; corrected the setting in which the 0.382 result held, and updated the analysis Brian Brubach Nathaniel Grammel Will Ma Calum MacRury Aravind Srinivasan