https://arxiv.org/api/7TbuI0Qj1d+1o7Ic3ZO7oEjCpRI 2026-06-18T23:03:15Z 15687 480 15 http://arxiv.org/abs/2603.29825v1 2026-03-31T14:47:30Z

Given an $H$-minor-free graph $G$ and an integer $k$, our main technical contribution is sampling in randomized polynomial time an induced subgraph $G'$ of $G$ and a tree decomposition of $G'$ of width $\widetilde{O}(k)$ such that for every $Z\subseteq V(G)$ of size $k$, with probability at least $\left(2^{\widetilde{O}(\sqrt{k})}|V(G)|^{O(1)}\right)^{-1}$, we have $Z \subseteq V(G')$ and every bag of the tree decomposition contains at most $\widetilde{O}(\sqrt{k})$ vertices of $Z$. Having such a tree decomposition allows us to solve a wide range of problems in (randomized) time $2^{\widetilde{O}(\sqrt{k})}n^{O(1)}$ where the solution is a pattern $Z$ of size $k$, e.g., Directed $k$-Path, $H$-Packing, etc. In particular, our result recovers all the algorithmic applications of the pattern-covering result of Fomin et al. [SIAM J. Computing 2022] (which requires the pattern to be connected) and the planar subgraph-finding algorithms of Nederlof [STOC 2020]. Furthermore, for $K_{h,3}$-free graphs (which include bounded-genus graphs) and for a fixed constant $d$, we signficantly strengthen the result by ensuring that not only $Z$ has intersection $\widetilde{O}(\sqrt{k})$ with each bag, but even the distance-$d$ neighborhood $N^d_{G}[Z]$ as well. This extension makes it possible to handle a wider range of problems where the neighborhood of the pattern also plays a role in the solution, such as partial domination problems and problems involving distance constraints.

2026-03-31T14:47:30Z full version of a STOC 2026 paper Dániel Marx Marcin Pilipczuk Michał Pilipczuk http://arxiv.org/abs/2510.19122v3 2026-03-31T14:12:09Z

Matching demand with supply in crowdsourcing logistics platforms must contend with uncertain worker participation. Motivated by this challenge, we study a two-stage "recommend-to-match" problem under stochastic supplier rejections, where each demand is initially recommended to multiple potential suppliers prior to final matching decisions. We formulate a stochastic optimization model that explicitly captures uncertain supplier acceptance behavior. For the special case with homogeneous and independent acceptance responses, an exact mixed-integer linear program and LP formulations are achievable, but the general problem does not admit an efficient formulation. Particularly, our analysis reveals that deterministic linear approximation methods can perform arbitrarily poorly in such settings. To overcome this limitation, we propose a new approximation approach based on a convex relaxation of the original problem that admits a mixed-integer exponential cone program (MIECP) formulation. We analyze the structural properties of this approximation and establish its parametric performance guarantees. We also characterize conditions under which it can dominate a deterministic approximation. Extensive experiments on synthetic data and real-world freight data validate the effectiveness of our approach. Our MIECP-based solution achieves near-optimal matching performance while reducing computation time by over 90% compared to benchmark methods, which makes it particularly promising for large-scale matching problems.

2025-10-21T22:43:22Z Haoyue Liu Sheng Liu Mingyao Qi http://arxiv.org/abs/2603.29675v1 2026-03-31T12:31:46Z

We develop a generalized resistance geometry based on Kron reduction and effective resistance for directed graphs, paralleling classical undirected graph theory. For strongly connected directed graphs, we prove a Fiedler--Bapat identity that links the resistance matrix and the Laplacian through the symmetrized pseudoinverse. This identity provides a canonical definition of the resistance curvature and resistance radius in the strongly connected directed setting. In the strongly connected weight-balanced case, it also implies that the operation of associating an undirected Laplacian with a directed Laplacian via the pseudoinverse of the symmetrized pseudoinverse commutes with Kron reduction. We further introduce a class of signed undirected Laplacians for which effective resistance defines a distance between nodes. We call this distance the generalized resistance metric and prove that it coincides with the class of strict negative type metrics. Within this framework, we investigate analytical and geometric properties of resistance curvature and resistance radius, characterize the maximum graph-variance problem, and generalize resistive embeddings. These results place signed undirected resistance geometry on a footing parallel to the classical unsigned undirected theory and provide a unified perspective on model reduction, graph variance, and resistance-based embedding.

2026-03-31T12:31:46Z Yosuke Kajiura Kazuhiro Sato http://arxiv.org/abs/2603.23892v2 2026-03-31T04:40:29Z

Graph states are a key resource for measurement-based quantum computation and quantum networking, but state-preparation costs limit their practical use. Graph states related by local complement (LC) operations are equivalent up to single-qubit Clifford gates; one may reduce entangling resources by preparing a favorable LC-equivalent representative. However, exhaustive optimization over the LC orbit is not scalable. We address this problem using the split decomposition and its quotient-augmented strong split tree (QASST). For several families of distance-hereditary (DH) graphs, we use the QASST to characterize LC orbits and identify representatives with reduced controlled-Z count or preparation circuit depth. We also introduce a split-fuse construction for arbitrary DH graph states, achieving linear scaling with respect to entangling gates, time steps, and auxiliary qubits. Beyond the DH setting, we discuss a generalized divide-and-conquer split-fuse strategy and a simple greedy heuristic for generic graphs based on triangle enumeration. Together, these methods outperform direct implementations on sufficiently large graphs, providing a scalable alternative to brute-force optimization.

2026-03-25T03:30:57Z 18 pages + 4 page appendix, 10 figures, and 3 tables. Comments are welcome Nicholas Connolly Shin Nishio Dan E. Browne William John Munro Kae Nemoto http://arxiv.org/abs/2507.02769v3 2026-03-30T17:11:04Z

The Local Structure Theorem (LST) for Graph Minors roughly states that for every $H$-minor-free graph $G$ that contains a sufficiently large wall $W$, there is a small vertex subset $A,$ whose removal yields a graph that admits an "almost embedding" $δ$ on a surface $Σ$ on which $H$ does not embed. By almost embedding, we mean that there exists a hypergraph $\mathcal{H}$ whose vertex set is a subset of the vertex set of $G - A$ and an embedding of $\mathcal{H}$ on $Σ$ such that the drawing of each hyperedge of $\mathcal{H}$ corresponds to a cell of $δ,$ the boundary of each cell intersects only the vertices of the corresponding hyperedge, and all remaining vertices and edges of $G - A$ are drawn in the interior of cells. The cells corresponding to hyperedges of arity at least $4$, called vortices, are few in number and have small "depth", while "most" of the wall $W$ is disjoint from the vortices and is "grounded" in the embedding $δ$. Suppose that the subgraphs drawn inside each of the non-vortex cells are equipped with some finite index, i.e., each such cell is assigned a color from a finite set. We prove a version of the LST in which the set $C$ of colors assigned to the non-vortex cells exhibits "large" bidimensionality: $G - A$ contains a minor model of a large grid $Γ$ such that, for every color $α\in C$, the model of each vertex of $Γ$ contains the subgraph drawn within an $α$-colored cell. Moreover, $Γ$ can be chosen in a way that is "well-connected" to the original wall $W$.

2025-07-03T16:29:14Z Christophe Paul Evangelos Protopapas Dimitrios M. Thilikos Sebastian Wiederrecht http://arxiv.org/abs/2603.28614v1 2026-03-30T15:59:59Z

We consider the following question of Knuth: given a directed graph $G$ and a root $r$, can the arborescences of $G$ rooted in $r$ be listed such that any two consecutive arborescences differ by only one arc? Such an ordering is called a pivot Gray code and can be formulated as a Hamiltonian path in the reconfiguration graph of the arborescences of $G$ under arc flips, also called flip graph of $G$. We give a positive answer for tournaments and explore several conditions showing that the flip graph of a directed graph may contain no Hamiltonian cycles.

2026-03-30T15:59:59Z 20 pages, 14 figures Marthe Bonamy Michael Hoffmann Clément Legrand-Duchesne Günter Rote http://arxiv.org/abs/2603.28118v1 2026-03-30T07:30:52Z

We present an algorithm that enumerates all ideals of an input poset with constant delay in Gray code order, i.e., such that consecutively visited ideals differ in at most three elements. This answers a long-standing open problem posed by Pruesse and Ruskey, and improves upon previous algorithms by Pruesse and Ruskey, Squire, Habib, Medina, Nourine and Steiner, as well as Abdo. Using the same techniques, we also obtain an algorithm that enumerates all antichains of an input poset with constant delay such that successively visited antichains differ in at most three elements. As a key technical ingredient, we introduce a new potential-based analysis framework for recursive algorithms, which we call the Pyramid method. We show that this method subsumes the Push-out method of Uno. Beyond the present application, the Pyramid method is a general framework to analyze recursive algorithms and may thus be of independent interest.

2026-03-30T07:30:52Z Sofia Brenner Jiří Fink http://arxiv.org/abs/2603.28100v1 2026-03-30T06:59:51Z

A furthest neighbor data structure on a metric space $(V,\mathrm{dist})$ and a set $P \subseteq V$ answers the following query: given $v \in V$, output $p \in P$ maximizing $\mathrm{dist}(v,p)$; in the approximate version, it is allowed to report any $p \in P$ with $\mathrm{dist}(v,p) \geq (1-\varepsilon)\max_{p' \in P} \mathrm{dist}(v,p')$ for an accuracy parameter $\varepsilon \in (0,1)$. A particular type of approximate furthest neighbor data structure is an $\varepsilon$-coreset: a small subset $Q \subseteq P$ such that for every query $v \in V$ there is a feasible answer $p \in Q$. Our main result is that in planar metrics there always exists an $\varepsilon$-coreset for furthest neighbors of size bounded polynomially in $(1/\varepsilon)$. This improves upon an exponential bound of Bourneuf and Pilipczuk [SODA'25] and resolves an open problem of de Berg and Theocharous [SoCG'24] for the case of polygons with holes. On the technical side, we develop a connection between $\varepsilon$-coreset for furthest neighbors and an invariant of a metric space that we call an $\varepsilon$-comatching index -- a sibling of $\varepsilon$-(semi-)ladder index, a.k.a, $\varepsilon$-scatter dimension, as defined by Abbasi et al [FOCS'23]. While the $\varepsilon$-(semi-)ladder index of planar metrics admits an exponential lower bound, we show that the $\varepsilon$-comatching index of planar metrics is polynomial, all in $1/\varepsilon$. The exponential separation between $\varepsilon$-(semi-)ladder and $\varepsilon$-comatching is rather surprising, and the proof is the main technical contribution of our work.

2026-03-30T06:59:51Z abstract shortened to meet arXiv requirements Kacper Kluk Hung Le Wojciech Nadara Marcin Pilipczuk Hector Tierno Vinayak http://arxiv.org/abs/2206.05829v2 2026-03-29T23:27:40Z

We study the problem of learning multivariate dependencies in nonparametric and high-dimensional settings. This includes but is not limited to graphical models. Our approach effectively combines several features that are missing from previous work on this problem: We show how the entire dependence structure can be learned nonparametrically while simultaneously evading the curse of dimensionality and relaxing common assumptions such as faithfulness. To this end, we introduce and study the neighbourhood lattice decomposition of a distribution, which is a compact, non-graphical representation of conditional independence (CI) that is valid in the absence of a faithful graphical representation. We show that the neighbourhood lattice decomposition exists in any graphical model and can be computed efficiently, nonparametrically, and consistently in high-dimensions without paying the usual curse of dimensionality. This gives a way to learn all of the independence relations implied by any graphical model, without requiring a priori knowledge of the graph or even the graph type. As a special case, our results provide a general solution to the problem of nonparametric estimation of high-dimensional CI structures over any graphical model.

2022-06-12T19:59:09Z 38 pages, 3 figures Arash A. Amini Bryon Aragam Qing Zhou http://arxiv.org/abs/2603.27835v1 2026-03-29T19:41:11Z

Lopsided sets were introduced by Jim Lawrence in 1983 when he studied the subsets of $\{-1,+1\}^E$ that encode the intersection pattern of a convex set $K$ with the orthants of ${\mathbb R}^E$. Lopsided sets have been independently rediscovered by several other authors, in particular by Andreas Dress in 1995, who called them \emph{ample} sets. Dress defined ample sets as the set families satisfying equality in a combinatorial inequality, which holds for all set families. In a previous article we characterized ample sets in various combinatorial and graph-theoretical ways. In this paper we study geometric realizations of ample sets as cubihedra (cube complexes), which yields several new characterizations. One such characterization establishes that the cubihedra of ample sets endowed with the intrinsic $\ell_1$-metric are exactly the isometric subspaces of $\ell_1$-spaces (which we call, weakly convex sets). We also view the barycenter maps of faces of cubihedra of ample sets as collections of $\{ \pm 1, 0\}$-sign vectors and, in analogy with the characterization of oriented matroids by the covectors and the cocircuits. Moreover, we characterize the collections of $\{ \pm 1, 0\}$-sign vectors corresponding to barycenter maps of all faces and all maximal faces of an ample set. Furthermore, we show that any ample set $\covectors\subseteq \{ -1,+1\}^E$ is realizable as the intersection pattern of a weakly convex set $K$ with the orthants of ${\mathbb R}^E$. All this testifies that the concept of ample sets is quite natural in the context of cube complexes.

2026-03-29T19:41:11Z 22 pages, 2 figures Hans--Jürgen Bandelt Victor Chepoi Andreas Dress Jack Koolen http://arxiv.org/abs/2603.27783v1 2026-03-29T17:30:14Z

Let $G$ be a finite simple graph. An independent set $I$ of $G$ is critical if $\left|I\right|-\left|N(I)\right|\ge\left|J\right|-\left|N(J)\right|$ for every independent set $J$ of $G$. A critical independent set is maximum if it has maximum cardinality. The $core$ and the $nucleus$ of $G$ are defined as the intersection of all maximum independent sets and the intersection of all maximum critical independent sets, respectively. In 2019, Jarden, Levit, and Mandrescu posed the problem of characterizing the graphs satisfying $core(G)=nucleus(G)$. In this paper, we provide a complete solution to this problem. Using Larson's independence decomposition, which partitions any graph into a König--Egerváry component $L_G$ an a $2$-bicritical component $L_G^c$, we establish that $core(G)=nucleus(G)$ holds if and only if $core ({L_G^c})=\emptyset$ and no vertex of $corona(G)$ lies in the boundary between $L_G$ and $L_G^c$. We also show that the same boundary condition is equivalent to the identity $diadem(G)=corona(G) \cap L(G)$. Several consequences and related structural properties are also derived.

2026-03-29T17:30:14Z 17 pages, 1 figure Vadim E. Levit Eugen Mandrescu Kevin Pereyra http://arxiv.org/abs/2102.02140v2 2026-03-29T15:34:25Z

We introduce a model involving two adversaries Buster and Fixer taking turns modifying a connected graph, where each round consists of Buster deleting a subset of edges and Fixer responding by adding edges from a finite reserve set of weighted edges to leave the graph connected, with Buster limited by the total number of edges he is allowed to delete throughout the game. Fixer wins if she can reconnect the graph after Buster has reached his limit of edges to delete, while Buster wins if he can delete edges in such a way that Fixer cannot reconnect the graph using the remaining edges in reserve. With the weights representing the cost for Fixer to use specific reserve edges to reconnect the graph, we prove that a greedy strategy for Fixer always results in an optimal result for Fixer: victory, if possible, for as cheaply as can be guaranteed against any Buster strategy, and if defeat cannot be avoided, the cheapest possible loss that can be guaranteed against any Buster strategy.

2021-02-03T16:52:52Z Theoret. Comput. Sci., 1074 (2026), Article 115902 Daniel C. McDonald 10.1016/j.tcs.2026.115902 http://arxiv.org/abs/2603.27656v1 2026-03-29T12:17:37Z

We investigate the structural relationship between prefix-free codes over the binary alphabet and a class of unlabeled rooted trees, which we call \emph{symmetric} trees. We establish a canonical correspondence between prefix-free codes and symmetric trees, preserving not only the lengths of codewords but also some additional commutative structure. Using this correspondence, we provide a result related to the commutative equivalence conjecture. We show that for every code, there exists a prefix-free code such that, for each fixed word length, the sums of powers of two determined by the occurrences of a distinguished symbol are equal.

2026-03-29T12:17:37Z Dean Kraizberg http://arxiv.org/abs/2603.27655v1 2026-03-29T12:14:23Z

We study two related problems on simple, un-directed graphs: Edge Deletion to Cactus and Spanning Tree to Cactus. Edge Deletion to Cactus has been known to be NP-hard on general graphs at least since 1988. We show improved exact algorithms for the former and a polynomial time algorithm for the latter.

2026-03-29T12:14:23Z Sheikh Shakil Akhtar Geevarghese Philip http://arxiv.org/abs/2603.10414v2 2026-03-29T07:05:30Z

We determine the full nim-value structure of additive subtraction games in the {\em primitive quadratic} regime. The problem appears in Winning Ways by Berlekamp et al. in 1982; it includes a closed formula, involving Beatty-type {\em bracket expressions} on rational moduli, for determining the {\mathscr P}-positions, but to the best of our knowledge, a complete proof of this claim has not yet appeared in the literature; Miklós and Post (2024) established outcome-periodicity, but without reference to that closed formula. The {\em primitive quadratic} case captures the source of the quadratic complexity of the problem, a claim supported by recent research in the dual setting of sink subtraction by Bhagat et al. This study focuses on a number theoretic solution involving the classical closed formula, and we establish that each nim-value sequence resides on a linear shift of the classical {\mathscr P}-positions.

2026-03-11T04:55:20Z 20 pages, 4 figures Urban Larsson Hikaru Manabe