https://arxiv.org/api/1Pz2VoT7KznvqCTscy1bY8Z5qGk 2026-06-22T16:03:56Z 15689 975 15 http://arxiv.org/abs/2512.01497v1 2025-12-01T10:18:24Z

Given a network, the critical node detection problem finds a subset of nodes whose removal disrupts the network connectivity. Since many real-world systems are naturally modeled as graphs, assessing the vulnerability of the network is essential, with applications in transportation systems, traffic forecasting, epidemic control, and biological networks. In this paper, we consider a stochastic version of the critical node detection problem, where the existence of edges is given by certain probabilities. We propose heuristics and learning-based methods for the problem and compare them with existing algorithms. Experimental results performed on random graphs from small to larger scales, with edge-survival probabilities drawn from different distributions, demonstrate the effectiveness of the methods. Heuristic methods often illustrate the strongest results with high scalability, while learning-based methods maintain nearly constant inference time as the network size and density grow.

2025-12-01T10:18:24Z 17 pages, 11 figures Tuguldur Bayarsaikhan Altannar Chinchuluun Ashwin Arulselvan Panos Pardalos http://arxiv.org/abs/2501.06279v3 2025-12-01T09:49:39Z

Advanced societies are crucially dependent on critical infrastructure networks for the reliable delivery of essential goods and services. Hence, well-founded analyses concerning disruptions are necessary to inform decisions that aim to ensure the performance of these networks in the face of failures caused by vulnerabilities to external hazards or technical malfunctions. In this setting, we develop an approach based on multicriteria decision analysis to support the identification of cost-efficient portfolios of preventive fortification actions. Our approach (i) accounts for multiple performance objectives, such as those that maximize the uninterrupted volume of traffic between different origin-destination pairs in a transportation network, (ii) uses methods of probabilistic risk assessment to quantify the expected performance of the network with regard to these objectives, and (iii) uses a search algorithm combined with an optimization model to identify those combinations of fortification actions that are cost-efficient in improving the performance of the network, given the available, possibly partial information about the relative importance of objectives and minimum performance requirements on them. Our methodological contributions are illustrated by a case study on the analysis of railway switches at a representative Finnish railway station.

2025-01-10T13:57:32Z 32 pages, 7 figures Reliability Engineering and System Safety, 268, 2025, 112006 Joaquín de la Barra Ahti Salo Leevi Olander Kash Barker Jussi Kangaspunta 10.1016/j.ress.2025.112006 http://arxiv.org/abs/2507.12100v2 2025-12-01T07:39:10Z

We show that if the ground set of a matroid can be partitioned into $k\ge 2$ bases, then for any given subset $S$ of the ground set, there is a partition into $k$ bases such that the sizes of the intersections of the bases with $S$ may differ by at most one. This settles the matroid equitability conjecture by Fekete and Szabó (Electron. J. Comb. 2011) in the affirmative. We also investigate equitable splittings of two disjoint sets $S_1$ and $S_2$, and show that there is a partition into $k$ bases such that the sizes of the intersections with $S_1$ may differ by at most one and the sizes of the intersections with $S_2$ may differ by at most two; this is the best one can hope for arbitrary matroids. We also derive applications of this result into matroid constrained fair division problems. We show that there exists a matroid-constrained fair division that is envy-free up to one item if the valuations are identical and tri-valued additive. We also show that for bi-valued additive valuations, there exists a matroid-constrained allocation that provides everyone their maximin share.

2025-07-16T10:09:09Z Hannaneh Akrami Siyue Liu Roshan Raj László A. Végh http://arxiv.org/abs/2512.01049v1 2025-11-30T19:46:05Z

Cyclic structures are fundamental topological features in graphs, playing critical roles in network robustness, information flow, community structure, and various dynamic processes. Algorithmic tools that can efficiently probe and analyze these cyclic topologies are increasingly vital for tasks in graph mining, network optimization, bioinformatics, and social network analysis. A core primitive for quantitative analysis of cycles is finding the Minimum Weight Cycle (MWC), representing the shortest cyclic path in a weighted graph. However, computing the MWC efficiently remains a challenge, particularly compared to shortest path computations. This paper introduces a novel deterministic algorithm for finding the MWC in general weighted graphs. Our approach adapts the structure of Dijkstra's algorithm by introducing and minimizing a \textit{composite distance} metric, effectively translating the global cycle search into an iterative node-centric optimization. We provide a rigorous proof of correctness based on loop invariants. We detail two mechanisms for accelerating the search: a provable node discarding technique based on intermediate results, and a highly effective graph pruning heuristic. This heuristic dynamically restricts the search to relevant subgraphs, leveraging the principle of locality often present in complex networks to achieve significant empirical speedups, while periodic resets ensure global optimality is maintained. The efficiency of the proposed MWC algorithm enables its use as a core component in more complex analyses focused on cyclic properties. We illustrate this through a detailed application case study: accelerating the computation of the Loop Modulus, a measure of cycle richness used in advanced network characterization. Our algorithm dramatically reduces the runtime of the iterative constraint-finding bottleneck in this computation.

2025-11-30T19:46:05Z 16 pages, 4 figures Heman Shakeri Torben Amtoft Behnaz Moradi-Jamei Nathan Albin Pietro Poggi-Corradini http://arxiv.org/abs/2506.12155v2 2025-11-30T16:40:09Z

A generalized polymorphism of a predicate $P \subseteq \{0,1\}^m$ is a tuple of functions $f_1,\dots,f_m\colon \{0,1\}^n \to \{0,1\}$ satisfying the following property: If $x^{(1)},\dots,x^{(m)} \in \{0,1\}^n$ are such that $(x^{(1)}_i,\dots,x^{(m)}_i) \in P$ for all $i$, then also $(f_1(x^{(1)}),\dots,f_m(x^{(m)})) \in P$. We show that if $f_1,\dots,f_m$ satisfy this property for most $x^{(1)},\dots,x^{(m)}$ (as measured with respect to an arbitrary full support distribution $μ$ on $P$), then $f_1,\dots,f_m$ are close to a generalized polymorphism of $P$ (with respect to the marginals of $μ$). Our main result generalizes several results in the literature: linearity testing, quantitative Arrow theorems, approximate intersecting families, AND testing, and more generally $f$-testing.

2025-06-13T18:19:13Z 39 pages; corrected a mistake in the proof of Theorem 1.6 Yaroslav Alekseev Yuval Filmus http://arxiv.org/abs/2504.20372v3 2025-11-29T11:06:07Z

Condorcet's paradox is a fundamental result in social choice theory which states that there exist elections in which, no matter which candidate wins, a majority of voters prefer a different candidate. In fact, even if we can select any $k$ winners, there still may exist another candidate that would beat each of the winners in a majority vote. That is, elections may require arbitrarily large dominating sets. We show that approximately dominating sets of constant size always exist. In particular, for every $\varepsilon > 0$, every election (irrespective of the number of voters or candidates) can select $O(\frac{1}{\varepsilon ^2})$ winners such that no other candidate beats each of the winners by a margin of more than $\varepsilon$ fraction of voters. Our proof uses a simple probabilistic construction using samples from a maximal lottery, a well-studied distribution over candidates derived from the Nash equilibrium of a two-player game. In stark contrast to general approximate equilibria, which may require support logarithmic in the number of pure strategies, we show that maximal lotteries can be approximated with constant support size. These approximate maximal lotteries may be of independent interest.

2025-04-29T02:30:00Z to appear in SODA 2026 Moses Charikar Prasanna Ramakrishnan Kangning Wang http://arxiv.org/abs/2511.23195v1 2025-11-28T14:00:05Z

Determining the complexity of colouring ($4K_1, C_4$)-free graph is a long open problem. Recently Penev showed that there is a polynomial-time algorithm to colour a ($4K_1, C_4, C_6$)-free graph. In this paper, we will prove that if $G$ is a ($4K_1, C_4, P_6$)-free graph that contains a $C_6$, then $G$ has bounded clique-width. To this purpose, we use a new method to bound the clique-width, that is of independent interest. As a consequence, there is a polynomial-time algorithm to colour ($4K_1, C_4, P_6$)-free graphs.

2025-11-28T14:00:05Z Chính T. Hoàng Ramin Javadi Nicolas Trotignon http://arxiv.org/abs/2511.23099v1 2025-11-28T11:39:44Z

An ordered graph is a graph enhanced with a linear order on the vertex set. An ordered graph is a core if it does not have an order-preserving homomorphism to a proper subgraph. We say that $H$ is the core of $G$ if (i) $H$ is a core, (ii) $H$ is a subgraph of $G$, and (iii) $G$ admits an order-preserving homomorphism to $H$. We study complexity aspects of several problems related to the cores of ordered graphs. Interestingly, they exhibit a different behavior than their unordered counterparts. We show that the retraction problem, i.e., deciding whether a given graph admits an ordered-preserving homomorphism to its specific subgraph, can be solved in polynomial time. On the other hand, it is \NP-hard to decide whether a given ordered graph is a core. In fact, we show that it is even \NP-hard to distinguish graphs $G$ whose core is largest possible (i.e., if $G$ is a core) from those, whose core is the smallest possible, i.e., its size is equal to the ordered chromatic number of $G$. The problem is even \wone-hard with respect to the latter parameter.

2025-11-28T11:39:44Z Submitted Michal Čertík Andreas Emil Feldmann Jaroslav Nešetřil Paweł Rzążewski http://arxiv.org/abs/2511.23093v1 2025-11-28T11:24:39Z

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from the complexity point of view and determine their corresponding computational and parameterized complexities. We show that the subgraph of ordered matchings problem is NP-complete and we prove that the problem of finding ordered homomorphisms between ordered matchings is NP-complete as well, implying NP-completeness of more generic problems. In parameterized complexity setting, we consider a natural choice of parameter - a number of vertices of the image ordered graph. We show that in contrast to the complexity context, finding homomorphisms if the image ordered graph is an ordered matching, this problem parameterized by the number of vertices of the image ordered graph is FPT, which is known to be W[1]-hard for the general problem. We also determine that the problem of core for ordered matchings is solvable in polynomial time which is again in contrast to the NP-completeness of the general problem. We provide several algorithms and generalize some of these problems into ordered graphs with colored edges.

2025-11-28T11:24:39Z Accepted Michal Čertík Andreas Emil Feldmann Jaroslav Nešetřil Paweł Rzążewski http://arxiv.org/abs/2511.23078v1 2025-11-28T11:10:09Z

We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along with algorithms associated with related problems. These questions are interesting, and we show that numerous problems lead to various complexities. The reduction from homomorphisms of unordered structures to homomorphisms of ordered graphs is proved, achieved with the use of ordered bipartite graphs. We then determine the NP-completeness of the problem of finding ordered homomorphisms of ordered graphs and the XP and W[1]-hard nature of this problem parameterized by the number of vertices of the image ordered graph. Classes of ordered graphs for which this problem can be solved in polynomial time are also presented.

2025-11-28T11:10:09Z Accepted Michal Čertík Andreas Emil Feldmann Jaroslav Nešetřil Paweł Rzążewski http://arxiv.org/abs/2511.06750v2 2025-11-28T08:53:09Z

We study a transport phenomenon in certain coined quantum walks where a subspace of states localized at a vertex gets transferred to another vertex. We first develop characterizations for perfect and pretty good subspace state transfer using the spectral properties of a Hermitian weighted digraph obtained from the underlying graph. We then provide a polynomial-time algorithm that tests whether pointwise perfect subspace state transfer occurs at an integer step, given that the subspace and coins are rational. Finally, we construct several infinite families of examples that admit pointwise perfect $d$-dimensional subspace state transfer where $d\ge 2$.

2025-11-10T06:29:29Z Yichi Xu Hanmeng Zhan http://arxiv.org/abs/2511.22524v1 2025-11-27T15:04:37Z

We introduce an expander-sketching framework for list-decodable linear regression that achieves sample complexity $\tilde{O}((d+\log(1/δ))/α)$, list size $O(1/α)$, and near input-sparsity running time $\tilde{O}(\mathrm{nnz}(X)+d^{3}/α)$ under standard sub-Gaussian assumptions. Our method uses lossless expanders to synthesize lightly contaminated batches, enabling robust aggregation and a short spectral filtering stage that matches the best known efficient guarantees while avoiding SoS machinery and explicit batch structure.

2025-11-27T15:04:37Z Herbod Pourali Sajjad Hashemian Ebrahim Ardeshir-Larijani http://arxiv.org/abs/2511.22377v1 2025-11-27T12:13:45Z

Methods for probability updating, of which Bayesian conditionalization is the most well-known and widely used, are modeling tools that aim to represent the process of modifying an initial epistemic state, typically represented by a prior probability function P, which is adjusted in light of new information. Notably, updating methods and conditional sentences seem to intuitively share a deep connection, as is evident in the case of conditionalization. The present work contributes to this line of research and aims at shedding new light on the relationship between updating methods and conditional connectives. Departing from previous literature that often focused on a specific type of conditional or a particular updating method, our goal is to prove general results concerning the connection between conditionals and their probabilities. This will allow us to characterize the probabilities of certain conditional connectives and to understand what class of updating procedures can be represented using specific conditional connectives. Broadly, we adopt a general perspective that encompasses a large class of conditionals and a wide range of updating methods, enabling us to prove some general results concerning their interrelation.

2025-11-27T12:13:45Z In Proceedings TARK 2025, arXiv:2511.20540 EPTCS 437, 2025, pp. 128-139 Tommaso Flaminio IIIA-CSIC Lluis Godo IIIA-CSIC Gluliano Rosella Univerity of Turin 10.4204/EPTCS.437.14 http://arxiv.org/abs/2511.22271v1 2025-11-27T09:49:57Z

Graph states form a large family of quantum states that are in one-to-one correspondence with mathematical graphs. Graph states are used in many applications, such as measurement-based quantum computation, as multipartite entangled resources. It is thus crucial to understand when two such states have the same entanglement, i.e. when they can be transformed into each other using only local operations. In this case, we say that the graph states are LU-equivalent (local unitary). If the local operations are restricted to the so-called Clifford group, we say that the graph states are LC-equivalent (local Clifford). Interestingly, a simple graph rule called local complementation fully captures LC-equivalence, in the sense that two graph states are LC-equivalent if and only if the underlying graphs are related by a sequence of local complementations. While it was once conjectured that two LU-equivalent graph states are always LC-equivalent, counterexamples do exist and local complementation fails to fully capture the entanglement of graph states. We introduce in this thesis a generalization of local complementation that does fully capture LU-equivalence. Using this characterization, we prove the existence of an infinite strict hierarchy of local equivalences between LC- and LU-equivalence. This also leads to the design of a quasi-polynomial algorithm for deciding whether two graph states are LU-equivalent, and to a proof that two LU-equivalent graph states are LC-equivalent if they are defined on at most 19 qubits. Furthermore, we study graph states that are universal in the sense that any smaller graph state, defined on any small enough set of qubits, can be induced using only local operations. We provide bounds and an optimal, probabilistic construction.

2025-11-27T09:49:57Z Thesis for a PhD in Computer Science. Contains work from papers arXiv:2402.10678, arXiv:2409.20183, arXiv:2502.06566, arXiv:2309.09956 and arXiv:2402.06260. Written in English but contains a summary in French Nathan Claudet http://arxiv.org/abs/2511.22196v1 2025-11-27T08:06:09Z

We prove that several natural graph classes have tree-decompositions with minimum width such that each bag has bounded treewidth. For example, every planar graph has a tree-decomposition with minimum width such that each bag has treewidth at most 3. This treewidth bound is best possible. More generally, every graph of Euler genus $g$ has a tree-decomposition with minimum width such that each bag has treewidth in $O(g)$. This treewidth bound is best possible. Most generally, every $K_p$-minor-free graph has a tree-decomposition with minimum width such that each bag has treewidth at most some polynomial function $f(p)$. In such results, the assumption of an excluded minor is justified, since we show that analogous results do not hold for the class of 1-planar graphs, which is one of the simplest non-minor-closed monotone classes. In fact, we show that 1-planar graphs do not have tree-decompositions with width within an additive constant of optimal, and with bags of bounded treewidth. On the other hand, we show that 1-planar $n$-vertex graphs have tree-decompositions with width $O(\sqrt{n})$ (which is the asymptotically tight bound) and with bounded treewidth bags. Moreover, this result holds in the more general setting of bounded layered treewidth, where the union of a bounded number of bags has bounded treewidth.

2025-11-27T08:06:09Z Kevin Hendrey David R. Wood