-
Planar Disjoint Shortest Paths is Fixed-Parameter Tractable
Authors:
Michał Pilipczuk,
Giannos Stamoulis,
Michał Włodarczyk
Abstract:
In the Disjoint Shortest Paths problem one is given a graph $G$ and a set $\mathcal{T}=\{(s_1,t_1),\dots,(s_k,t_k)\}$ of $k$ vertex pairs. The question is whether there exist vertex-disjoint paths $P_1,\dots,P_k$ in $G$ so that each $P_i$ is a shortest path between $s_i$ and $t_i$. While the problem is known to be W[1]-hard in general, we show that it is fixed-parameter tractable on planar graphs…
▽ More
In the Disjoint Shortest Paths problem one is given a graph $G$ and a set $\mathcal{T}=\{(s_1,t_1),\dots,(s_k,t_k)\}$ of $k$ vertex pairs. The question is whether there exist vertex-disjoint paths $P_1,\dots,P_k$ in $G$ so that each $P_i$ is a shortest path between $s_i$ and $t_i$. While the problem is known to be W[1]-hard in general, we show that it is fixed-parameter tractable on planar graphs with positive edge weights. Specifically, we propose an algorithm for Planar Disjoint Shortest Paths with running time $2^{O(k\log k)}\cdot n^{O(1)}$. Notably, our parameter dependency is better than state-of-the-art $2^{O(k^2)}$ for the Planar Disjoint Paths problem, where the sought paths are not required to be shortest paths.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Losing Treewidth In The Presence Of Weights
Authors:
Michał Włodarczyk
Abstract:
In the Weighted Treewidth-$η$ Deletion problem we are given a node-weighted graph $G$ and we look for a vertex subset $X$ of minimum weight such that the treewidth of $G-X$ is at most $η$. We show that Weighted Treewidth-$η$ Deletion admits a randomized polynomial-time constant-factor approximation algorithm for every fixed $η$. Our algorithm also works for the more general Weighted Planar $F$-M-D…
▽ More
In the Weighted Treewidth-$η$ Deletion problem we are given a node-weighted graph $G$ and we look for a vertex subset $X$ of minimum weight such that the treewidth of $G-X$ is at most $η$. We show that Weighted Treewidth-$η$ Deletion admits a randomized polynomial-time constant-factor approximation algorithm for every fixed $η$. Our algorithm also works for the more general Weighted Planar $F$-M-Deletion problem.
This work extends the results for unweighted graphs by [Fomin, Lokshtanov, Misra, Saurabh; FOCS '12] and answers a question posed by [Agrawal, Lokshtanov, Misra, Saurabh, Zehavi; APPROX/RANDOM '18] and [Kim, Lee, Thilikos; APPROX/RANDOM '21]. The presented algorithm is based on a novel technique of random sampling of so-called protrusions.
△ Less
Submitted 8 October, 2024;
originally announced October 2024.
-
Constant Approximating Disjoint Paths on Acyclic Digraphs is W[1]-hard
Authors:
Michał Włodarczyk
Abstract:
In the Disjoint Paths problem, one is given a graph with a set of $k$ vertex pairs $(s_i,t_i)$ and the task is to connect each $s_i$ to $t_i$ with a path, so that the $k$ paths are pairwise disjoint. In the optimization variant, Max Disjoint Paths, the goal is to maximize the number of vertex pairs to be connected. We study this problem on acyclic directed graphs, where Disjoint Paths is known to…
▽ More
In the Disjoint Paths problem, one is given a graph with a set of $k$ vertex pairs $(s_i,t_i)$ and the task is to connect each $s_i$ to $t_i$ with a path, so that the $k$ paths are pairwise disjoint. In the optimization variant, Max Disjoint Paths, the goal is to maximize the number of vertex pairs to be connected. We study this problem on acyclic directed graphs, where Disjoint Paths is known to be W[1]-hard when parameterized by $k$. We show that in this setting Max Disjoint Paths is W[1]-hard to $c$-approximate for any constant $c$. To the best of our knowledge, this is the first non-trivial result regarding the parameterized approximation for Max Disjoint Paths with respect to the natural parameter $k$. Our proof is based on an elementary self-reduction that is guided by a certain combinatorial object constructed by the probabilistic method.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Does Subset Sum Admit Short Proofs?
Authors:
Michał Włodarczyk
Abstract:
We investigate the question whether Subset Sum can be solved by a polynomial-time algorithm with access to a certificate of length poly(k) where k is the maximal number of bits in an input number. In other words, can it be solved using only few nondeterministic bits?
This question has motivated us to initiate a systematic study of certification complexity of parameterized problems. Apart from Su…
▽ More
We investigate the question whether Subset Sum can be solved by a polynomial-time algorithm with access to a certificate of length poly(k) where k is the maximal number of bits in an input number. In other words, can it be solved using only few nondeterministic bits?
This question has motivated us to initiate a systematic study of certification complexity of parameterized problems. Apart from Subset Sum, we examine problems related to integer linear programming, scheduling, and group theory. We reveal an equivalence class of problems sharing the same hardness with respect to having a polynomial certificate. These include Subset Sum and Boolean Linear Programming parameterized by the number of constraints. Secondly, we present new techniques for establishing lower bounds in this regime. In particular, we show that Subset Sum in permutation groups is at least as hard for nondeterministic computation as 3Coloring in bounded-pathwidth graphs.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Kernels for the Disjoint Paths Problem on Subclasses of Chordal Graphs
Authors:
Juhi Chaudhary,
Harmender Gahlawat,
Michal Włodarczyk,
Meirav Zehavi
Abstract:
Given an undirected graph $G$ and a multiset of $k$ terminal pairs $\mathcal{X}$, the Vertex-Disjoint Paths (\VDP) and Edge-Disjoint Paths (\EDP) problems ask whether $G$ has $k$ pairwise internally vertex-disjoint paths and $k$ pairwise edge-disjoint paths, respectively, connecting every terminal pair in~$\mathcal{X}$. In this paper, we study the kernelization complexity of \VDP~and~\EDP~on subcl…
▽ More
Given an undirected graph $G$ and a multiset of $k$ terminal pairs $\mathcal{X}$, the Vertex-Disjoint Paths (\VDP) and Edge-Disjoint Paths (\EDP) problems ask whether $G$ has $k$ pairwise internally vertex-disjoint paths and $k$ pairwise edge-disjoint paths, respectively, connecting every terminal pair in~$\mathcal{X}$. In this paper, we study the kernelization complexity of \VDP~and~\EDP~on subclasses of chordal graphs. For \VDP, we design a $4k$ vertex kernel on split graphs and an $\mathcal{O}(k^2)$ vertex kernel on well-partitioned chordal graphs. We also show that the problem becomes polynomial-time solvable on threshold graphs. For \textsc{EDP}, we first prove that the problem is $\mathsf{NP}$-complete on complete graphs. Then, we design an $\mathcal{O}(k^{2.75})$ vertex kernel for \EDP~on split graphs, and improve it to a $7k+1$ vertex kernel on threshold graphs. Lastly, we provide an $\mathcal{O}(k^2)$ vertex kernel for \EDP~on block graphs and a $2k+1$ vertex kernel for clique paths. Our contributions improve upon several results in the literature, as well as resolve an open question by Heggernes et al.~[Theory Comput. Syst., 2015].
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Sidestepping Barriers for Dominating Set in Parameterized Complexity
Authors:
Ioannis Koutis,
Michał Włodarczyk,
Meirav Zehavi
Abstract:
We study the classic {\sc Dominating Set} problem with respect to several prominent parameters. Specifically, we present algorithmic results that sidestep time complexity barriers by the incorporation of either approximation or larger parameterization. Our results span several parameterization regimes, including: (i,ii,iii) time/ratio-tradeoff for the parameters {\em treewidth}, {\em vertex modula…
▽ More
We study the classic {\sc Dominating Set} problem with respect to several prominent parameters. Specifically, we present algorithmic results that sidestep time complexity barriers by the incorporation of either approximation or larger parameterization. Our results span several parameterization regimes, including: (i,ii,iii) time/ratio-tradeoff for the parameters {\em treewidth}, {\em vertex modulator to constant treewidth} and {\em solution size}; (iv,v) FPT-algorithms for the parameters {\em vertex cover number} and {\em feedback edge set number}; and (vi) compression for the parameter {\em feedback edge set number}.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Single-Exponential FPT Algorithms for Enumerating Secluded $\mathcal{F}$-Free Subgraphs and Deleting to Scattered Graph Classes
Authors:
Bart M. P. Jansen,
Jari J. H. de Kroon,
Michał Włodarczyk
Abstract:
The celebrated notion of important separators bounds the number of small $(S,T)$-separators in a graph which are 'farthest from $S$' in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive that is phrased in terms of $k$-secluded vertex sets: sets with an open neighborhood of size at most $k$.
In this terminology, the bound on important separator…
▽ More
The celebrated notion of important separators bounds the number of small $(S,T)$-separators in a graph which are 'farthest from $S$' in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive that is phrased in terms of $k$-secluded vertex sets: sets with an open neighborhood of size at most $k$.
In this terminology, the bound on important separators says that there are at most $4^k$ maximal $k$-secluded connected vertex sets $C$ containing $S$ but disjoint from $T$. We generalize this statement significantly: even when we demand that $G[C]$ avoids a finite set $\mathcal{F}$ of forbidden induced subgraphs, the number of such maximal subgraphs is $2^{O(k)}$ and they can be enumerated efficiently. This allows us to make significant improvements for two problems from the literature.
Our first application concerns the 'Connected $k$-Secluded $\mathcal{F}$-free subgraph' problem, where $\mathcal{F}$ is a finite set of forbidden induced subgraphs. Given a graph in which each vertex has a positive integer weight, the problem asks to find a maximum-weight connected $k$-secluded vertex set $C \subseteq V(G)$ such that $G[C]$ does not contain an induced subgraph isomorphic to any $F \in \mathcal{F}$. The parameterization by $k$ is known to be solvable in triple-exponential time via the technique of recursive understanding, which we improve to single-exponential.
Our second application concerns the deletion problem to scattered graph classes. Here, the task is to find a vertex set of size at most $k$ whose removal yields a graph whose each connected component belongs to one of the prescribed graph classes $Π_1, \ldots, Π_d$. We obtain a single-exponential algorithm whenever each class $Π_i$ is characterized by a finite number of forbidden induced subgraphs. This generalizes and improves upon earlier results in the literature.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Finding Long Directed Cycles Is Hard Even When DFVS Is Small Or Girth Is Large
Authors:
Ashwin Jacob,
Michał Włodarczyk,
Meirav Zehavi
Abstract:
We study the parameterized complexity of two classic problems on directed graphs: Hamiltonian Cycle and its generalization {\sc Longest Cycle}. Since 2008, it is known that Hamiltonian Cycle is W[1]-hard when parameterized by directed treewidth [Lampis et al., ISSAC'08]. By now, the question of whether it is FPT parameterized by the directed feedback vertex set (DFVS) number has become a longstand…
▽ More
We study the parameterized complexity of two classic problems on directed graphs: Hamiltonian Cycle and its generalization {\sc Longest Cycle}. Since 2008, it is known that Hamiltonian Cycle is W[1]-hard when parameterized by directed treewidth [Lampis et al., ISSAC'08]. By now, the question of whether it is FPT parameterized by the directed feedback vertex set (DFVS) number has become a longstanding open problem. In particular, the DFVS number is the largest natural directed width measure studied in the literature. In this paper, we provide a negative answer to the question, showing that even for the DFVS number, the problem remains W[1]-hard. As a consequence, we also obtain that Longest Cycle is W[1]-hard on directed graphs when parameterized multiplicatively above girth, in contrast to the undirected case. This resolves an open question posed by Fomin et al. [ACM ToCT'21] and Gutin and Mnich [arXiv:2207.12278]. Our hardness results apply to the path versions of the problems as well. On the positive side, we show that Longest Path parameterized multiplicatively above girth} belongs to the class XP.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Planar Disjoint Paths, Treewidth, and Kernels
Authors:
Michał Włodarczyk,
Meirav Zehavi
Abstract:
In the Planar Disjoint Paths problem, one is given an undirected planar graph with a set of $k$ vertex pairs $(s_i,t_i)$ and the task is to find $k$ pairwise vertex-disjoint paths such that the $i$-th path connects $s_i$ to $t_i$. We study the problem through the lens of kernelization, aiming at efficiently reducing the input size in terms of a parameter. We show that Planar Disjoint Paths does no…
▽ More
In the Planar Disjoint Paths problem, one is given an undirected planar graph with a set of $k$ vertex pairs $(s_i,t_i)$ and the task is to find $k$ pairwise vertex-disjoint paths such that the $i$-th path connects $s_i$ to $t_i$. We study the problem through the lens of kernelization, aiming at efficiently reducing the input size in terms of a parameter. We show that Planar Disjoint Paths does not admit a polynomial kernel when parameterized by $k$ unless coNP $\subseteq$ NP/poly, resolving an open problem by [Bodlaender, Thomass{é}, Yeo, ESA'09]. Moreover, we rule out the existence of a polynomial Turing kernel unless the WK-hierarchy collapses. Our reduction carries over to the setting of edge-disjoint paths, where the kernelization status remained open even in general graphs.
On the positive side, we present a polynomial kernel for Planar Disjoint Paths parameterized by $k + tw$, where $tw$ denotes the treewidth of the input graph. As a consequence of both our results, we rule out the possibility of a polynomial-time (Turing) treewidth reduction to $tw= k^{O(1)}$ under the same assumptions. To the best of our knowledge, this is the first hardness result of this kind. Finally, combining our kernel with the known techniques [Adler, Kolliopoulos, Krause, Lokshtanov, Saurabh, Thilikos, JCTB'17; Schrijver, SICOMP'94] yields an alternative (and arguably simpler) proof that Planar Disjoint Paths can be solved in time $2^{O(k^2)}\cdot n^{O(1)}$, matching the result of [Lokshtanov, Misra, Pilipczuk, Saurabh, Zehavi, STOC'20].
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
5-Approximation for $\mathcal{H}$-Treewidth Essentially as Fast as $\mathcal{H}$-Deletion Parameterized by Solution Size
Authors:
Bart M. P. Jansen,
Jari J. H. de Kroon,
Michal Wlodarczyk
Abstract:
The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$ can be decomposed into (arbitrarily large) $\mathcal{H}$-subgraphs which interact only through vertex sets of size $O(k)$ which can be organized in a tree-like fa…
▽ More
The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$ can be decomposed into (arbitrarily large) $\mathcal{H}$-subgraphs which interact only through vertex sets of size $O(k)$ which can be organized in a tree-like fashion. $\mathcal{H}$-treewidth can be used as a hybrid parameterization to develop fixed-parameter tractable algorithms for $\mathcal{H}$-deletion problems, which ask to find a minimum vertex set whose removal from a given graph $G$ turns it into a member of $\mathcal{H}$. The bottleneck in the current parameterized algorithms lies in the computation of suitable tree $\mathcal{H}$-decompositions.
We present FPT approximation algorithms to compute tree $\mathcal{H}$-decompositions for hereditary and union-closed graph classes $\mathcal{H}$. Given a graph of $\mathcal{H}$-treewidth $k$, we can compute a 5-approximate tree $\mathcal{H}$-decomposition in time $f(O(k)) \cdot n^{O(1)}$ whenever $\mathcal{H}$-deletion parameterized by solution size can be solved in time $f(k) \cdot n^{O(1)}$ for some function $f(k) \geq 2^k$. The current-best algorithms either achieve an approximation factor of $k^{O(1)}$ or construct optimal decompositions while suffering from non-uniformity with unknown parameter dependence. Using these decompositions, we obtain algorithms solving Odd Cycle Transversal in time $2^{O(k)} \cdot n^{O(1)}$ parameterized by $\mathsf{bipartite}$-treewidth and Vertex Planarization in time $2^{O(k \log k)} \cdot n^{O(1)}$ parameterized by $\mathsf{planar}$-treewidth, showing that these can be as fast as the solution-size parameterizations and giving the first ETH-tight algorithms for parameterizations by hybrid width measures.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
Tight Bounds for Chordal/Interval Vertex Deletion Parameterized by Treewidth
Authors:
Michal Wlodarczyk
Abstract:
In Chordal/Interval Vertex Deletion we ask how many vertices one needs to remove from a graph to make it chordal (respectively: interval). We study these problems under the parameterization by treewidth $tw$ of the input graph $G$. On the one hand, we present an algorithm for Chordal Vertex Deletion with running time $2^{O(tw)} \cdot |V(G)|$, improving upon the running time…
▽ More
In Chordal/Interval Vertex Deletion we ask how many vertices one needs to remove from a graph to make it chordal (respectively: interval). We study these problems under the parameterization by treewidth $tw$ of the input graph $G$. On the one hand, we present an algorithm for Chordal Vertex Deletion with running time $2^{O(tw)} \cdot |V(G)|$, improving upon the running time $2^{O(tw^2)} \cdot |V(G)|^{O(1)}$ by Jansen, de Kroon, and Wlodarczyk (STOC'21). When a tree decomposition of width $tw$ is given, then the base of the exponent equals $2^{ω-1}\cdot 3 + 1$. Our algorithm is based on a novel link between chordal graphs and graphic matroids, which allows us to employ the framework of representative families. On the other hand, we prove that the known $2^{O(tw \log tw)} \cdot |V(G)|$-time algorithm for Interval Vertex Deletion cannot be improved assuming Exponential Time Hypothesis.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Long Directed Detours: Reduction to $2$-Disjoint Paths
Authors:
Ashwin Jacob,
Michał Włodarczyk,
Meirav Zehavi
Abstract:
We study an "above guarantee" version of the {\sc Longest Path} problem in directed graphs: We are given a graph $G$, two vertices $s$ and $t$ of $G$, and a non-negative integer $k$, and the objective is to determine whether $G$ contains a path of length at least $dist_G(s,t) +k$ where $dist_G(s,t)$ is the length of a shortest path from $s$ to $t$ in $G$ (assuming that one exists). We show that th…
▽ More
We study an "above guarantee" version of the {\sc Longest Path} problem in directed graphs: We are given a graph $G$, two vertices $s$ and $t$ of $G$, and a non-negative integer $k$, and the objective is to determine whether $G$ contains a path of length at least $dist_G(s,t) +k$ where $dist_G(s,t)$ is the length of a shortest path from $s$ to $t$ in $G$ (assuming that one exists). We show that the problem is fixed parameter tractable (FPT) parameterized by $k$ in the class of graphs where {\sc $2$-Disjoint Paths} problem is polynomial time solvable.
△ Less
Submitted 24 January, 2023; v1 submitted 15 January, 2023;
originally announced January 2023.
-
Lossy Planarization: A Constant-Factor Approximate Kernelization for Planar Vertex Deletion
Authors:
Bart M. P. Jansen,
Michał Włodarczyk
Abstract:
In the F-minor-free deletion problem we want to find a minimum vertex set in a given graph that intersects all minor models of graphs from the family F. The Vertex planarization problem is a special case of F-minor-free deletion for the family F = {K_5, K_{3,3}}. Whenever the family F contains at least one planar graph, then F-minor-free deletion is known to admit a constant-factor approximation a…
▽ More
In the F-minor-free deletion problem we want to find a minimum vertex set in a given graph that intersects all minor models of graphs from the family F. The Vertex planarization problem is a special case of F-minor-free deletion for the family F = {K_5, K_{3,3}}. Whenever the family F contains at least one planar graph, then F-minor-free deletion is known to admit a constant-factor approximation algorithm and a polynomial kernelization [Fomin, Lokshtanov, Misra, and Saurabh, FOCS'12]. The Vertex planarization problem is arguably the simplest setting for which F does not contain a planar graph and the existence of a constant-factor approximation or a polynomial kernelization remains a major open problem.
In this work we show that Vertex planarization admits an algorithm which is a combination of both approaches. Namely, we present a polynomial A-approximate kernelization, for some constant A > 1, based on the framework of lossy kernelization [Lokshtanov, Panolan, Ramanujan, and Saurabh, STOC'17]. Simply speaking, when given a graph G and integer k, we show how to compute a graph G' on poly(k) vertices so that any B-approximate solution to G' can be lifted to an (A*B)-approximate solution to G, as long as A*B*OPT(G) <= k. In order to achieve this, we develop a framework for sparsification of planar graphs which approximately preserves all separators and near-separators between subsets of the given terminal set.
Our result yields an improvement over the state-of-art approximation algorithms for Vertex planarization. The problem admits a polynomial-time O(n^eps)-approximation algorithm, for any eps > 0, and a quasi-polynomial-time (log n)^O(1) approximation algorithm, both randomized [Kawarabayashi and Sidiropoulos, FOCS'17]. By pipelining these algorithms with our approximate kernelization, we improve the approximation factors to respectively O(OPT^eps) and (log OPT)^O(1).
△ Less
Submitted 4 February, 2022;
originally announced February 2022.
-
Preprocessing for Outerplanar Vertex Deletion: An Elementary Kernel of Quartic Size
Authors:
Huib Donkers,
Bart M. P. Jansen,
Michał Włodarczyk
Abstract:
In the $\mathcal{F}$-Minor-Free Deletion problem one is given an undirected graph $G$, an integer $k$, and the task is to determine whether there exists a vertex set $S$ of size at most $k$, so that $G-S$ contains no graph from the finite family $\mathcal{F}$ as a minor. It is known that whenever $\mathcal{F}$ contains at least one planar graph, then $\mathcal{F}$-Minor-Free Deletion admits a poly…
▽ More
In the $\mathcal{F}$-Minor-Free Deletion problem one is given an undirected graph $G$, an integer $k$, and the task is to determine whether there exists a vertex set $S$ of size at most $k$, so that $G-S$ contains no graph from the finite family $\mathcal{F}$ as a minor. It is known that whenever $\mathcal{F}$ contains at least one planar graph, then $\mathcal{F}$-Minor-Free Deletion admits a polynomial kernel, that is, there is a polynomial-time algorithm that outputs an equivalent instance of size $k^{\mathcal{O}(1)}$ [Fomin, Lokshtanov, Misra, Saurabh; FOCS 2012]. However, this result relies on non-constructive arguments based on well-quasi-ordering and does not provide a concrete bound on the kernel size.
We study the Outerplanar Deletion problem, in which we want to remove at most $k$ vertices from a graph to make it outerplanar. This is a special case of $\mathcal{F}$-Minor-Free Deletion for the family $\mathcal{F} = \{K_4, K_{2,3}\}$. The class of outerplanar graphs is arguably the simplest class of graphs for which no explicit kernelization size bounds are known. By exploiting the combinatorial properties of outerplanar graphs we present elementary reduction rules decreasing the size of a graph. This yields a constructive kernel with $\mathcal{O}(k^4)$ vertices and edges. As a corollary, we derive that any minor-minimal obstruction to having an outerplanar deletion set of size $k$ has $\mathcal{O}(k^4)$ vertices and edges.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
On the Hardness of Compressing Weights
Authors:
Bart M. P. Jansen,
Shivesh K. Roy,
Michał Włodarczyk
Abstract:
We investigate computational problems involving large weights through the lens of kernelization, which is a framework of polynomial-time preprocessing aimed at compressing the instance size. Our main focus is the weighted Clique problem, where we are given an edge-weighted graph and the goal is to detect a clique of total weight equal to a prescribed value. We show that the weighted variant, param…
▽ More
We investigate computational problems involving large weights through the lens of kernelization, which is a framework of polynomial-time preprocessing aimed at compressing the instance size. Our main focus is the weighted Clique problem, where we are given an edge-weighted graph and the goal is to detect a clique of total weight equal to a prescribed value. We show that the weighted variant, parameterized by the number of vertices $n$, is significantly harder than the unweighted problem by presenting an $O(n^{3 - \varepsilon})$ lower bound on the size of the kernel, under the assumption that NP $\not \subseteq$ coNP/poly. This lower bound is essentially tight: we show that we can reduce the problem to the case with weights bounded by $2^{O(n)}$, which yields a randomized kernel of $O(n^3)$ bits.
We generalize these results to the weighted $d$-Uniform Hyperclique problem, Subset Sum, and weighted variants of Boolean Constraint Satisfaction Problems (CSPs). We also study weighted minimization problems and show that weight compression is easier when we only want to preserve the collection of optimal solutions. Namely, we show that for node-weighted Vertex Cover on bipartite graphs it is possible to maintain the set of optimal solutions using integer weights from the range $[1, n]$, but if we want to maintain the ordering of the weights of all inclusion-minimal solutions, then weights as large as $2^{Ω(n)}$ are necessary.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Vertex Deletion Parameterized by Elimination Distance and Even Less
Authors:
Bart M. P. Jansen,
Jari J. H. de Kroon,
Michał Włodarczyk
Abstract:
We study the parameterized complexity of various classic vertex-deletion problems such as Odd cycle transversal, Vertex planarization, and Chordal vertex deletion under hybrid parameterizations. Existing FPT algorithms for these problems either focus on the parameterization by solution size, detecting solutions of size $k$ in time $f(k) \cdot n^{O(1)}$, or width parameterizations, finding arbitrar…
▽ More
We study the parameterized complexity of various classic vertex-deletion problems such as Odd cycle transversal, Vertex planarization, and Chordal vertex deletion under hybrid parameterizations. Existing FPT algorithms for these problems either focus on the parameterization by solution size, detecting solutions of size $k$ in time $f(k) \cdot n^{O(1)}$, or width parameterizations, finding arbitrarily large optimal solutions in time $f(w) \cdot n^{O(1)}$ for some width measure $w$ like treewidth. We unify these lines of research by presenting FPT algorithms for parameterizations that can simultaneously be arbitrarily much smaller than the solution size and the treewidth.
We consider two classes of parameterizations which are relaxations of either treedepth of treewidth. They are related to graph decompositions in which subgraphs that belong to a target class H (e.g., bipartite or planar) are considered simple. First, we present a framework for computing approximately optimal decompositions for miscellaneous classes H. Namely, if the cost of an optimal decomposition is $k$, we show how to find a decomposition of cost $k^{O(1)}$ in time $f(k) \cdot n^{O(1)}$. This is applicable to any graph class H for which the corresponding vertex-deletion problem admits a constant-factor approximation algorithm or an FPT algorithm paramaterized by the solution size. Secondly, we exploit the constructed decompositions for solving vertex-deletion problems by extending ideas from algorithms using iterative compression and the finite state property. For the three mentioned vertex-deletion problems, and all problems which can be formulated as hitting a finite set of connected forbidden (a) minors or (b) (induced) subgraphs, we obtain FPT algorithms with respect to both studied parameterizations.
△ Less
Submitted 18 July, 2022; v1 submitted 17 March, 2021;
originally announced March 2021.
-
To Close Is Easier Than To Open: Dual Parameterization To k-Median
Authors:
Jarosław Byrka,
Szymon Dudycz,
Pasin Manurangsi,
Jan Marcinkowski,
Michał Włodarczyk
Abstract:
The $k$-Median problem is one of the well-known optimization problems that formalize the task of data clustering. Here, we are given sets of facilities $F$ and clients $C$, and the goal is to open $k$ facilities from the set $F$, which provides the best division into clusters, that is, the sum of distances from each client to the closest open facility is minimized. In the Capacitated $k$-Median, t…
▽ More
The $k$-Median problem is one of the well-known optimization problems that formalize the task of data clustering. Here, we are given sets of facilities $F$ and clients $C$, and the goal is to open $k$ facilities from the set $F$, which provides the best division into clusters, that is, the sum of distances from each client to the closest open facility is minimized. In the Capacitated $k$-Median, the facilities are also assigned capacities specifying how many clients can be served by each facility.
Both problems have been extensively studied from the perspective of approximation algorithms. Recently, several surprising results have come from the area of parameterized complexity, which provided better approximation factors via algorithms with running times of the form $f(k)\cdot poly(n)$. In this work, we extend this line of research by studying a different choice of parameterization. We consider the parameter $\ell = |F| - k$, that is, the number of facilities that remain closed. It turns out that such a parameterization reveals yet another behavior of $k$-Median. We observe that the problem is W[1]-hard but it admits a parameterized approximation scheme. Namely, we present an algorithm with running time $2^{O(\ell\log(\ell/ε))}\cdot poly(n)$ that achieves a $(1+ε)$-approximation. On the other hand, we show that under the assumption of Gap Exponential Time Hypothesis, one cannot extend this result to the capacitated version of the problem.
△ Less
Submitted 16 November, 2020;
originally announced November 2020.
-
Optimal polynomial-time compression for Boolean Max CSP
Authors:
Bart M. P. Jansen,
Michał Włodarczyk
Abstract:
In the Boolean maximum constraint satisfaction problem - Max CSP$(Γ)$ - one is given a collection of weighted applications of constraints from a finite constraint language $Γ$, over a common set of variables, and the goal is to assign Boolean values to the variables so that the total weight of satisfied constraints is maximized. There exists an elegant dichotomy theorem providing a criterion on…
▽ More
In the Boolean maximum constraint satisfaction problem - Max CSP$(Γ)$ - one is given a collection of weighted applications of constraints from a finite constraint language $Γ$, over a common set of variables, and the goal is to assign Boolean values to the variables so that the total weight of satisfied constraints is maximized. There exists an elegant dichotomy theorem providing a criterion on $Γ$ for the problem to be polynomial-time solvable and stating that otherwise it becomes NP-hard. We study the NP hard cases through the lens of kernelization and provide a complete characterization of Max CSP$(Γ)$ with respect to the optimal compression size. Namely, we prove that Max CSP$(Γ)$ parameterized by the number of variables $n$ is either polynomial-time solvable, or there exists an integer $d \ge 2$ depending on $Γ$, such that
1. An instance of \textsc{Max CSP$(Γ)$} can be compressed into an equivalent instance with $O(n^d\log n)$ bits in polynomial time,
2. Max CSP$(Γ)$ does not admit such a compression to $O(n^{d-ε})$ bits unless $\text{NP} \subseteq \text{co-NP} / \text{poly}$.
Our reductions are based on interpreting constraints as multilinear polynomials combined with the framework of constraint implementations. As another application of our reductions, we reveal tight connections between optimal running times for solving Max CSP$(Γ)$. More precisely, we show that obtaining a running time of the form $O(2^{(1-ε)n})$ for particular classes of Max CSPs is as hard as breaching this barrier for Max $d$-SAT for some $d$.
△ Less
Submitted 9 February, 2020;
originally announced February 2020.
-
Parameterized inapproximability for Steiner Orientation by Gap Amplification
Authors:
Michał Włodarczyk
Abstract:
In the $k$-Steiner Orientation problem, we are given a mixed graph, that is, with both directed and undirected edges, and a set of $k$ terminal pairs. The goal is to find an orientation of the undirected edges that maximizes the number of terminal pairs for which there is a path from the source to the sink. The problem is known to be W[1]-hard when parameterized by k and hard to approximate up to…
▽ More
In the $k$-Steiner Orientation problem, we are given a mixed graph, that is, with both directed and undirected edges, and a set of $k$ terminal pairs. The goal is to find an orientation of the undirected edges that maximizes the number of terminal pairs for which there is a path from the source to the sink. The problem is known to be W[1]-hard when parameterized by k and hard to approximate up to some constant for FPT algorithms assuming Gap-ETH. On the other hand, no approximation factor better than $O(k)$ is known.
We show that $k$-Steiner Orientation is unlikely to admit an approximation algorithm with any constant factor, even within FPT running time. To obtain this result, we construct a self-reduction via a hashing-based gap amplification technique, which turns out useful even outside of the FPT paradigm. Precisely, we rule out any approximation factor of the form $(\log k)^{o(1)}$ for FPT algorithms (assuming FPT $\ne$ W[1]) and $(\log n)^{o(1)}$ for~purely polynomial-time algorithms (assuming that the class W[1] does not admit randomized FPT algorithms). Moreover, we prove $k$-Steiner Orientation to belong to W[1], which entails W[1]-completeness of $(\log k)^{o(1)}$-approximation for $k$-Steiner Orientation This provides an example of a natural approximation task that is complete in a parameterized complexity class.
Finally, we apply our technique to the maximization version of directed multicut - Max $(k,p)$-Directed Multicut - where we are given a directed graph, $k$ terminals pairs, and a budget $p$. The goal is to maximize the number of separated terminal pairs by removing $p$ edges. We present a simple proof that the problem admits no FPT approximation with factor $O(k^{\frac 1 2 - ε})$ (assuming FPT $\ne$ W[1]) and no polynomial-time approximation with ratio $O(|E(G)|^{\frac 1 2 - ε})$ (assuming NP $\not\subseteq$ co-RP).
△ Less
Submitted 10 February, 2020; v1 submitted 15 July, 2019;
originally announced July 2019.
-
Constant factor FPT approximation for capacitated k-median
Authors:
Marek Adamczyk,
Jarosław Byrka,
Jan Marcinkowski,
Syed M. Meesum,
Michał Włodarczyk
Abstract:
Capacitated k-median is one of the few outstanding optimization problems for which the existence of a polynomial time constant factor approximation algorithm remains an open problem. In a series of recent papers algorithms producing solutions violating either the number of facilities or the capacity by a multiplicative factor were obtained. However, to produce solutions without violations appears…
▽ More
Capacitated k-median is one of the few outstanding optimization problems for which the existence of a polynomial time constant factor approximation algorithm remains an open problem. In a series of recent papers algorithms producing solutions violating either the number of facilities or the capacity by a multiplicative factor were obtained. However, to produce solutions without violations appears to be hard and potentially requires different algorithmic techniques. Notably, if parameterized by the number of facilities $k$, the problem is also $W[2]$ hard, making the existence of an exact FPT algorithm unlikely. In this work we provide an FPT-time constant factor approximation algorithm preserving both cardinality and capacity of the facilities. The algorithm runs in time $2^{\mathcal{O}(k\log k)}n^{\mathcal{O}(1)}$ and achieves an approximation ratio of $7+\varepsilon$.
△ Less
Submitted 15 September, 2018;
originally announced September 2018.
-
Connected Components at Scale via Local Contractions
Authors:
Jakub Łącki,
Vahab Mirrokni,
Michał Włodarczyk
Abstract:
As a fundamental tool in hierarchical graph clustering, computing connected components has been a central problem in large-scale data mining. While many known algorithms have been developed for this problem, they are either not scalable in practice or lack strong theoretical guarantees on the parallel running time, that is, the number of communication rounds. So far, the best proven guarantee is…
▽ More
As a fundamental tool in hierarchical graph clustering, computing connected components has been a central problem in large-scale data mining. While many known algorithms have been developed for this problem, they are either not scalable in practice or lack strong theoretical guarantees on the parallel running time, that is, the number of communication rounds. So far, the best proven guarantee is $\Oh(\log n)$, which matches the running time in the PRAM model.
In this paper, we aim to design a distributed algorithm for this problem that works well in theory and practice. In particular, we present a simple algorithm based on contractions and provide a scalable implementation of it in MapReduce. On the theoretical side, in addition to showing $\Oh(\log n)$ convergence for all graphs, we prove an $\Oh(\log \log n)$ parallel running time with high probability for a certain class of random graphs. We work in the MPC model that captures popular parallel computing frameworks, such as MapReduce, Hadoop or Spark.
On the practical side, we show that our algorithm outperforms the state-of-the-art MapReduce algorithms. To confirm its scalability, we report empirical results on graphs with several trillions of edges.
△ Less
Submitted 27 July, 2018;
originally announced July 2018.
-
Random Order Contention Resolution Schemes
Authors:
Marek Adamczyk,
Michał Włodarczyk
Abstract:
Contention resolution schemes have proven to be an incredibly powerful concept which allows to tackle a broad class of problems. The framework has been initially designed to handle submodular optimization under various types of constraints, that is, intersections of exchange systems (including matroids), knapsacks, and unsplittable flows on trees. Later on, it turned out that this framework perfec…
▽ More
Contention resolution schemes have proven to be an incredibly powerful concept which allows to tackle a broad class of problems. The framework has been initially designed to handle submodular optimization under various types of constraints, that is, intersections of exchange systems (including matroids), knapsacks, and unsplittable flows on trees. Later on, it turned out that this framework perfectly extends to optimization under uncertainty, like stochastic probing and online selection problems, which further can be applied to mechanism design.
We add to this line of work by showing how to create contention resolution schemes for intersection of matroids and knapsacks when we work in the random order setting. More precisely, we do know the whole universe of elements in advance, but they appear in an order given by a random permutation. Upon arrival we need to irrevocably decide whether to take an element or not. We bring a novel technique for analyzing procedures in the random order setting that is based on the martingale theory. This unified approach makes it easier to combine constraints, and we do not need to rely on the monotonicity of contention resolution schemes.
Our paper fills the gaps, extends, and creates connections between many previous results and techniques. The main application of our framework is a $k+4+\varepsilon$ approximation ratio for the Bayesian multi-parameter unit-demand mechanism design under the constraint of $k$ matroids intersection, which improves upon the previous bounds of $4k-2$ and $e(k+1)$. Other results include improved approximation ratios for stochastic $k$-set packing and submodular stochastic probing over arbitrary non-negative submodular objective function, whereas previous results required the objective to be monotone.
△ Less
Submitted 26 November, 2018; v1 submitted 7 April, 2018;
originally announced April 2018.
-
A Subquadratic Approximation Scheme for Partition
Authors:
Marcin Mucha,
Karol Węgrzycki,
Michał Włodarczyk
Abstract:
The subject of this paper is the time complexity of approximating Knapsack, Subset Sum, Partition, and some other related problems. The main result is an $\widetilde{O}(n+1/\varepsilon^{5/3})$ time randomized FPTAS for Partition, which is derived from a certain relaxed form of a randomized FPTAS for Subset Sum. To the best of our knowledge, this is the first NP-hard problem that has been shown to…
▽ More
The subject of this paper is the time complexity of approximating Knapsack, Subset Sum, Partition, and some other related problems. The main result is an $\widetilde{O}(n+1/\varepsilon^{5/3})$ time randomized FPTAS for Partition, which is derived from a certain relaxed form of a randomized FPTAS for Subset Sum. To the best of our knowledge, this is the first NP-hard problem that has been shown to admit a subquadratic time approximation scheme, i.e., one with time complexity of $O((n+1/\varepsilon)^{2-δ})$ for some $δ>0$. To put these developments in context, note that a quadratic FPTAS for \partition has been known for 40 years.
Our main contribution lies in designing a mechanism that reduces an instance of Subset Sum to several simpler instances, each with some special structure, and keeps track of interactions between them. This allows us to combine techniques from approximation algorithms, pseudo-polynomial algorithms, and additive combinatorics.
We also prove several related results. Notably, we improve approximation schemes for 3SUM, (min,+)-convolution, and Tree Sparsity. Finally, we argue why breaking the quadratic barrier for approximate Knapsack is unlikely by giving an $Ω((n+1/\varepsilon)^{2-o(1)})$ conditional lower bound.
△ Less
Submitted 6 May, 2019; v1 submitted 6 April, 2018;
originally announced April 2018.
-
Losing Treewidth by Separating Subsets
Authors:
Anupam Gupta,
Euiwoong Lee,
Jason Li,
Pasin Manurangsi,
Michał Włodarczyk
Abstract:
We study the problem of deleting the smallest set $S$ of vertices (resp. edges) from a given graph $G$ such that the induced subgraph (resp. subgraph) $G \setminus S$ belongs to some class $\mathcal{H}$. We consider the case where graphs in $\mathcal{H}$ have treewidth bounded by $t$, and give a general framework to obtain approximation algorithms for both vertex and edge-deletion settings from ap…
▽ More
We study the problem of deleting the smallest set $S$ of vertices (resp. edges) from a given graph $G$ such that the induced subgraph (resp. subgraph) $G \setminus S$ belongs to some class $\mathcal{H}$. We consider the case where graphs in $\mathcal{H}$ have treewidth bounded by $t$, and give a general framework to obtain approximation algorithms for both vertex and edge-deletion settings from approximation algorithms for certain natural graph partitioning problems called $k$-Subset Vertex Separator and $k$-Subset Edge Separator, respectively.
For the vertex deletion setting, our framework combined with the current best result for $k$-Subset Vertex Separator, yields a significant improvement in the approximation ratios for basic problems such as $k$-Treewidth Vertex Deletion and Planar-$F$ Vertex Deletion. Our algorithms are simpler than previous works and give the first uniform approximation algorithms under the natural parameterization.
For the edge deletion setting, we give improved approximation algorithms for $k$-Subset Edge Separator combining ideas from LP relaxations and important separators. We present their applications in bounded-degree graphs, and also give an APX-hardness result for the edge deletion problems.
△ Less
Submitted 22 October, 2018; v1 submitted 4 April, 2018;
originally announced April 2018.
-
When the Optimum is also Blind: a New Perspective on Universal Optimization
Authors:
Marek Adamczyk,
Fabrizio Grandoni,
Stefano Leonardi,
MIchal Wlodarczyk
Abstract:
Consider the following variant of the set cover problem. We are given a universe $U=\{1,...,n\}$ and a collection of subsets $\mathcal{C} = \{S_1,...,S_m\}$ where $S_i \subseteq U$. For every element $u \in U$ we need to find a set $φ(u) \in \mathcal C$ such that $u\in φ(u)$. Once we construct and fix the mapping $φ:U \rightarrow \mathcal{C}$ a subset $X \subseteq U$ of the universe is revealed, a…
▽ More
Consider the following variant of the set cover problem. We are given a universe $U=\{1,...,n\}$ and a collection of subsets $\mathcal{C} = \{S_1,...,S_m\}$ where $S_i \subseteq U$. For every element $u \in U$ we need to find a set $φ(u) \in \mathcal C$ such that $u\in φ(u)$. Once we construct and fix the mapping $φ:U \rightarrow \mathcal{C}$ a subset $X \subseteq U$ of the universe is revealed, and we need to cover all elements from $X$ with exactly $φ(X):=\cup_{u\in X} φ(u)$. The goal is to find a mapping such that the cover $φ(X)$ is as cheap as possible.
This is an example of a universal problem where the solution has to be created before the actual instance to deal with is revealed. Such problems appear naturally in some settings when we need to optimize under uncertainty and it may be actually too expensive to begin finding a good solution once the input starts being revealed.
A rich body of work was devoted to investigate the approximability of such problems under the regime of worst case analysis or when the input instance is drawn randomly from some probability distribution. Here one typically compares the quality of the produced solution with the optimal offline solution.
In this paper we consider a different viewpoint: What if we would compare our approximate universal solution against an optimal universal solution that obeys the same rules as we do? We show that under this viewpoint it is possible to achieve improved approximation algorithms for the stochastic version of universal set cover. Our result is based on rounding a proper configuration IP that captures the optimal universal solution, and using tools from submodular optimization. The same basic approach leads to improved approximation algorithms also for other related problems.
△ Less
Submitted 6 July, 2017;
originally announced July 2017.
-
On problems equivalent to (min,+)-convolution
Authors:
Marek Cygan,
Marcin Mucha,
Karol Węgrzycki,
Michał Włodarczyk
Abstract:
In recent years, significant progress has been made in explaining the apparent hardness of improving upon the naive solutions for many fundamental polynomially solvable problems. This progress has come in the form of conditional lower bounds -- reductions from a problem assumed to be hard. The hard problems include 3SUM, All-Pairs Shortest Path, SAT, Orthogonal Vectors, and others.
In the…
▽ More
In recent years, significant progress has been made in explaining the apparent hardness of improving upon the naive solutions for many fundamental polynomially solvable problems. This progress has come in the form of conditional lower bounds -- reductions from a problem assumed to be hard. The hard problems include 3SUM, All-Pairs Shortest Path, SAT, Orthogonal Vectors, and others.
In the $(\min,+)$-convolution problem, the goal is to compute a sequence $(c[i])^{n-1}_{i=0}$, where $c[k] = $ $\min_{i=0,\ldots,k} $ $\{a[i] $ $+$ $b[k-i]\}$, given sequences $(a[i])^{n-1}_{i=0}$ and $(b[i])_{i=0}^{n-1}$. This can easily be done in $O(n^2)$ time, but no $O(n^{2-\varepsilon})$ algorithm is known for $\varepsilon > 0$. In this paper, we undertake a systematic study of the $(\min,+)$-convolution problem as a hardness assumption.
First, we establish the equivalence of this problem to a group of other problems, including variants of the classic knapsack problem and problems related to subadditive sequences. The $(\min,+)$-convolution problem has been used as a building block in algorithms for many problems, notably problems in stringology. It has also appeared as an ad hoc hardness assumption. Second, we investigate some of these connections and provide new reductions and other results. We also explain why replacing this assumption with the SETH might not be possible for some problems.
△ Less
Submitted 6 May, 2019; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Clifford algebras meet tree decompositions
Authors:
Michał Włodarczyk
Abstract:
We introduce the Non-commutative Subset Convolution - a convolution of functions useful when working with determinant-based algorithms. In order to compute it efficiently, we take advantage of Clifford algebras, a generalization of quaternions used mainly in the quantum field theory.
We apply this tool to speed up algorithms counting subgraphs parameterized by the treewidth of a graph. We presen…
▽ More
We introduce the Non-commutative Subset Convolution - a convolution of functions useful when working with determinant-based algorithms. In order to compute it efficiently, we take advantage of Clifford algebras, a generalization of quaternions used mainly in the quantum field theory.
We apply this tool to speed up algorithms counting subgraphs parameterized by the treewidth of a graph. We present an $O^*((2^ω+ 1)^{tw})$-time algorithm for counting Steiner trees and an $O^*((2^ω+ 2)^{tw})$-time algorithm for counting Hamiltonian cycles, both of which improve the previously known upper bounds. The result for Steiner Tree also translates into a deterministic algorithm for Feedback Vertex Set. All of these constitute the best known running times of deterministic algorithms for decision versions of these problems and they match the best obtained running times for pathwidth parameterization under assumption $ω= 2$.
△ Less
Submitted 22 September, 2016;
originally announced September 2016.
-
An LP-Rounding $2\sqrt{2}$ Approximation for Restricted Maximum Acyclic Subgraph
Authors:
Fabrizio Grandoni,
Tomasz Kociumaka,
Michał Włodarczyk
Abstract:
In the classical Maximum Acyclic Subgraph problem (MAS), given a directed-edge weighted graph, we are required to find an ordering of the nodes that maximizes the total weight of forward-directed edges. MAS admits a 2 approximation, and this approximation is optimal under the Unique Game Conjecture.
In this paper we consider a generalization of MAS, the Restricted Maximum Acyclic Subgraph proble…
▽ More
In the classical Maximum Acyclic Subgraph problem (MAS), given a directed-edge weighted graph, we are required to find an ordering of the nodes that maximizes the total weight of forward-directed edges. MAS admits a 2 approximation, and this approximation is optimal under the Unique Game Conjecture.
In this paper we consider a generalization of MAS, the Restricted Maximum Acyclic Subgraph problem (RMAS), where each node is associated with a list of integer labels, and we have to find a labeling of the nodes so as to maximize the weight of edges whose head label is larger than the tail label. The best known (almost trivial) approximation for RMAS is 4.
The interest of RMAS is mostly due to its connections with the Vertex Pricing problem (VP). In VP we are given an undirected graph with positive edge budgets. A feasible solution consists of an assignment of non-negative prices to the nodes. The profit for each edge $e$ is the sum of its endpoints prices if that sum is at most the budget of $e$, and zero otherwise. Our goal is to maximize the total profit. The best known approximation for VP, which works analogously to the mentioned approximation algorithm for RMAS, is 4. Improving on that is a challenging open problem. On the other hand, the best known 2 inapproximability result is due to a reduction from a special case of RMAS.
In this paper we present an improved LP-rounding $2\sqrt{2}$ approximation for RMAS. Our result shows that, in order to prove a 4 hardness of approximation result for VP (if possible), one should consider reductions from harder problems. Alternatively, our approach might suggest a different way to design approximation algorithms for VP.
△ Less
Submitted 2 May, 2014;
originally announced May 2014.
-
Spin operator in the Dirac theory
Authors:
Pawel Caban,
Jakub Rembieliński,
Marta Włodarczyk
Abstract:
We find all spin operators for a Dirac particle satisfying the following very general conditions: (i) spin does not convert positive (negative) energy states into negative (positive) energy states, (ii) spin is a pseudo-vector, and (iii) eigenvalues of the projection of a spin operator on an arbitrary direction are independent of this direction (isotropy condition). We show that there are four suc…
▽ More
We find all spin operators for a Dirac particle satisfying the following very general conditions: (i) spin does not convert positive (negative) energy states into negative (positive) energy states, (ii) spin is a pseudo-vector, and (iii) eigenvalues of the projection of a spin operator on an arbitrary direction are independent of this direction (isotropy condition). We show that there are four such operators and all of them fulfill the standard su(2) Lie algebra commutation relations. Nevertheless, only one of them has a proper non-relativistic limit and acts in the same way on negative and positive energy states. We show also that this operator is equivalent to the Newton-Wigner spin operator and Foldy-Wouthuysen mean-spin operator. We also discuss another operators proposed in the literature.
△ Less
Submitted 20 August, 2013;
originally announced August 2013.
-
Functional redundancy in the NF-κB signalling pathway
Authors:
Michał Włodarczyk,
Tomasz Lipniacki,
Michał Komorowski
Abstract:
The ability to represent intracellular biochemical dynamics via deterministic and stochastic modelling is one of the crucial components to move biological sciences in the observe-predict-control-design knowledge ladder. Compared to the engineering or physics problems, dynamical models in quantitative biology typically dependent on a relatively large number of parameters. Therefore, the relationshi…
▽ More
The ability to represent intracellular biochemical dynamics via deterministic and stochastic modelling is one of the crucial components to move biological sciences in the observe-predict-control-design knowledge ladder. Compared to the engineering or physics problems, dynamical models in quantitative biology typically dependent on a relatively large number of parameters. Therefore, the relationship between model parameters and dynamics is often prohibitively difficult to determine. We developed a method to depict the input-output relationship for multi-parametric stochastic and deterministic models via information-theoretic quantification of similarity between model parameters and modules. Identification of most information-theoretically orthogonal biological components, provided mathematical language to precisely communicate and visualise compensation like phenomena such as biological robustness, sloppiness and statistical non-identifiability. A comprehensive analysis of the multi-parameter NF-$κ$B signalling pathway demonstrates that the information-theoretic similarity reflects a topological structure of the network. Examination of the currently available experimental data on this system reveals the number of identifiable parameters and suggests informative experimental protocols.
△ Less
Submitted 13 March, 2013;
originally announced March 2013.
-
Absolute clock synchronisation and special relativity paradoxes
Authors:
Jacek Ciborowski,
Marta Wlodarczyk
Abstract:
Solving special relativity paradoxes requires rigorous analysis of event timing, due to relative simultaneity in consequence of the Lorentz transformation. Since clock synchronisation is a convention in special theory of relativity, instead of the Einstein's procedure one may choose such that offers absolute simultaneity. We present in short the corresponding formalism in one spatial dimension. We…
▽ More
Solving special relativity paradoxes requires rigorous analysis of event timing, due to relative simultaneity in consequence of the Lorentz transformation. Since clock synchronisation is a convention in special theory of relativity, instead of the Einstein's procedure one may choose such that offers absolute simultaneity. We present in short the corresponding formalism in one spatial dimension. We show that paradoxes do not arise with this choice of synchronisation and descriptions of these issues are exceptionally simple and consistent for both observers involved.
△ Less
Submitted 2 December, 2012; v1 submitted 25 November, 2012;
originally announced November 2012.
-
Relativistic spin operator and Dirac equation
Authors:
Paweł Caban,
Jakub Rembieliński,
Marta Włodarczyk
Abstract:
We give a direct link between description of Dirac particles in the abstract framework of unitary representation of the Poincaré group and description with the help of the Dirac equation. In this context we discuss in detail the spin operator for a relativistic Dirac particle. We show also that the spin operator used in quantum field theory for spin $s=1/2$ corresponds to the Foldy-Woutheysen mean…
▽ More
We give a direct link between description of Dirac particles in the abstract framework of unitary representation of the Poincaré group and description with the help of the Dirac equation. In this context we discuss in detail the spin operator for a relativistic Dirac particle. We show also that the spin operator used in quantum field theory for spin $s=1/2$ corresponds to the Foldy-Woutheysen mean-spin operator.
△ Less
Submitted 14 June, 2012;
originally announced June 2012.
-
"Meta" relativity: Against special relativity?
Authors:
Jakub Rembielinski,
Marta Wlodarczyk
Abstract:
We introduce a Lorentz-covariant description of tachyons, free of inconsistencies. Our approach is based on an appropriate extension of the special relativity beyond the light barrier, owing to the freedom of synchronization of distant clocks.
We introduce a Lorentz-covariant description of tachyons, free of inconsistencies. Our approach is based on an appropriate extension of the special relativity beyond the light barrier, owing to the freedom of synchronization of distant clocks.
△ Less
Submitted 5 June, 2012;
originally announced June 2012.
-
Einstein-Podolsky-Rosen correlations in a hybrid system
Authors:
Paweł Caban,
Jakub Rembieliński,
Piotr Witas,
Marta Włodarczyk
Abstract:
We calculate the relativistic correlation function for a hybrid system of a photon and a Dirac-particle. Such a system can be produced in decay of another spin-1/2 fermion. We show, that the relativistic correlation function, which depends on particle momenta, may have local extrema for fermion velocity of order 0.5 c. This influences the degree of violation of CHSH inequality.
We calculate the relativistic correlation function for a hybrid system of a photon and a Dirac-particle. Such a system can be produced in decay of another spin-1/2 fermion. We show, that the relativistic correlation function, which depends on particle momenta, may have local extrema for fermion velocity of order 0.5 c. This influences the degree of violation of CHSH inequality.
△ Less
Submitted 13 December, 2010;
originally announced December 2010.
-
Relativistic Einstein-Podolsky-Rosen correlations for vector and tensor states
Authors:
Paweł Caban,
Jakub Rembieliński,
Marta Włodarczyk
Abstract:
We calculate and investigate the relativistic correlation function for bipartite systems of spin-1/2 in vector and spin-1 particles in tensor states. We show that the relativistic correlation function, which depends on particles momenta, may have local extrema. What is more, the momentum dependance of the correlation functions for two choices of relativistic spin operator may be significantly diff…
▽ More
We calculate and investigate the relativistic correlation function for bipartite systems of spin-1/2 in vector and spin-1 particles in tensor states. We show that the relativistic correlation function, which depends on particles momenta, may have local extrema. What is more, the momentum dependance of the correlation functions for two choices of relativistic spin operator may be significantly different.
△ Less
Submitted 25 November, 2010;
originally announced November 2010.
-
Strange behavior of the relativistic Einstein-Podolsky-Rosen correlations
Authors:
Paweł Caban,
Jakub Rembieliński,
Marta Włodarczyk
Abstract:
We show that configurations exist in which the correlation functions and the degree of violation of Bell-type inequalities in the relativistic Einstein-Podolsky-Rosen (EPR) experiment have local extrema for some values of the velocities of the EPR particles. Moreover, this strange behavior can be observed for both discussed relativistic spin operators and for spin-1/2 as well as spin-1 particles…
▽ More
We show that configurations exist in which the correlation functions and the degree of violation of Bell-type inequalities in the relativistic Einstein-Podolsky-Rosen (EPR) experiment have local extrema for some values of the velocities of the EPR particles. Moreover, this strange behavior can be observed for both discussed relativistic spin operators and for spin-1/2 as well as spin-1 particles.
△ Less
Submitted 6 April, 2009;
originally announced April 2009.
-
Einstein-Podolsky-Rosen correlations of vector bosons
Authors:
Paweł Caban,
Jakub Rembieliński,
Marta Włodarczyk
Abstract:
We calculate the joint probabilities and the correlation function in Einstein--Podolsky--Rosen type experiments with a massive vector boson in the framework of quantum field theory. We report on the strange behavior of the correlation function (and the probabilities) -- the correlation function, which in the relativistic case still depends on the particle momenta, for some fixed configurations h…
▽ More
We calculate the joint probabilities and the correlation function in Einstein--Podolsky--Rosen type experiments with a massive vector boson in the framework of quantum field theory. We report on the strange behavior of the correlation function (and the probabilities) -- the correlation function, which in the relativistic case still depends on the particle momenta, for some fixed configurations has local extrema. We also show that relativistic spin-1 particles violate some Bell inequalities more than nonrelativistic ones and that the degree of violation of the Bell inequality is momentum dependent.
△ Less
Submitted 21 January, 2008;
originally announced January 2008.
-
An open quantum system approach to EPR correlations in K0-K0 system
Authors:
P. Caban,
J. Rembielinski,
K. A. Smolinski,
Z. Walczak,
M. Wlodarczyk
Abstract:
We find the time evolution of the system of two non-interacting unstable particles, distinguishable as well as identical ones, in arbitrary reference frame having only the Kraus operators governing the evolution of its components in the rest frame. We than calculate in the rigorous way Einstein-Podolsky-Rosen quantum correlation functions for K0-K0 system in the singlet state taking into account…
▽ More
We find the time evolution of the system of two non-interacting unstable particles, distinguishable as well as identical ones, in arbitrary reference frame having only the Kraus operators governing the evolution of its components in the rest frame. We than calculate in the rigorous way Einstein-Podolsky-Rosen quantum correlation functions for K0-K0 system in the singlet state taking into account CP-violation and decoherence and show that the results are exactly the same despite the fact we treat kaons as distinguishable or identical particles which means that the statistics of the particles plays no role, at least in considered cases.
△ Less
Submitted 20 March, 2006;
originally announced March 2006.
