-
Finding irrelevant vertices in linear time on bounded-genus graphs
Authors:
Petr A. Golovach,
Stavros G. Kolliopoulos,
Giannos Stamoulis,
Dimitrios M. Thilikos
Abstract:
The irrelevant vertex technique provides a powerful tool for the design of parameterized algorithms for a wide variety of problems on graphs. A common characteristic of these problems, permitting the application of this technique on surface-embedded graphs, is the fact that every graph of large enough treewidth contains a vertex that is irrelevant, in the sense that its removal yields an equivalen…
▽ More
The irrelevant vertex technique provides a powerful tool for the design of parameterized algorithms for a wide variety of problems on graphs. A common characteristic of these problems, permitting the application of this technique on surface-embedded graphs, is the fact that every graph of large enough treewidth contains a vertex that is irrelevant, in the sense that its removal yields an equivalent instance of the problem. The straightforward application of this technique yields algorithms with running time that is quadratic in the size of the input graph. This running time is due to the fact that it takes linear time to detect one irrelevant vertex and the total number of irrelevant vertices to be detected is linear as well. Using advanced techniques, sub-quadratic algorithms have been designed for particular problems, even in general graphs. However, designing a general framework for linear-time algorithms has been open, even for the bounded-genus case. In this paper we introduce a general framework that enables finding in linear time an entire set of irrelevant vertices whose removal yields a bounded-treewidth graph, provided that the input graph has bounded genus. Our technique consists in decomposing any surface-embeddable graph into a tree-structured collection of bounded-treewidth subgraphs where detecting globally irrelevant vertices can be done locally and independently. Our method is applicable to a wide variety of known graph containment or graph modification problems where the irrelevant vertex technique applies. Examples include the (Induced) Minor Folio problem, the (Induced) Disjoint Paths problem, and the $\mathcal{F}$-Minor-Deletion problem.
△ Less
Submitted 4 July, 2024; v1 submitted 12 July, 2019;
originally announced July 2019.
-
A self referencing attosecond interferometer with zeptosecond precision
Authors:
Jan Troß,
Georgios Kolliopoulos,
Carlos A. Trallero-Herrero
Abstract:
In this work we demonstrate the generation of two intense, ultrafast laser pulses that allow a controlled interferometric measurement of higher harmonic generation pulses with 12.8 attoseconds in resolution (half the atomic unit of time) and a precision as low as 680 zeptoseconds ($10^{-21}$ seconds). We create two replicas of a driving femtosecond pulse which share the same optical path except at…
▽ More
In this work we demonstrate the generation of two intense, ultrafast laser pulses that allow a controlled interferometric measurement of higher harmonic generation pulses with 12.8 attoseconds in resolution (half the atomic unit of time) and a precision as low as 680 zeptoseconds ($10^{-21}$ seconds). We create two replicas of a driving femtosecond pulse which share the same optical path except at the focus where they converge to two foci. An attosecond pulse train emerges from each focus through the process of HHG. The two attosecond pulse trains from each focus interfere in the far field producing a clear interference pattern in the XUV region. By controlling the relative optical phase between the two driving laser pulses we are able to actively influence the delay between the pulses and are able to perform very stable and precise pump-probe experiments. Because of the phase operation occurs across the entire spatial profile we effectively create two indistinguishable intense laser pulses or a common path interferometer for attosecond pulses. Commonality across the two beams means that they are extremely stable to environmental and mechanical fluctuations up to a Rayleigh range from the focus. In our opinion this represents an ideal source for homodyne and heterodyne spectroscopic measurements with sub-attosecond precision.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Planar Disjoint-Paths Completion
Authors:
Isolde Adler,
Stavros G. Kolliopoulos,
Dimitrios M. Thilikos
Abstract:
introduce {\sc Planar Disjoint Paths Completion}, a completion counterpart of the Disjoint Paths problem, and study its parameterized complexity. The problem can be stated as follows: given a, not necessarily connected, plane graph $G,$ $k$ pairs of terminals, and a face $F$ of $G,$ find a minimum-size set of edges, if one exists, to be added inside $F$ so that the embedding remains planar and the…
▽ More
introduce {\sc Planar Disjoint Paths Completion}, a completion counterpart of the Disjoint Paths problem, and study its parameterized complexity. The problem can be stated as follows: given a, not necessarily connected, plane graph $G,$ $k$ pairs of terminals, and a face $F$ of $G,$ find a minimum-size set of edges, if one exists, to be added inside $F$ so that the embedding remains planar and the pairs become connected by $k$ disjoint paths in the augmented network. Our results are twofold: first, we give an upper bound on the number of necessary additional edges when a solution exists. This bound is a function of $k$, independent of the size of $G.$ Second, we show that the problem is fixed-parameter tractable, in particular, it can be solved in time $f(k)\cdot n^{2}.$
△ Less
Submitted 17 November, 2015; v1 submitted 16 November, 2015;
originally announced November 2015.
-
Extended Formulation Lower Bounds via Hypergraph Coloring?
Authors:
Stavros G. Kolliopoulos,
Yannis Moysoglou
Abstract:
Exploring the power of linear programming for combinatorial optimization problems has been recently receiving renewed attention after a series of breakthrough impossibility results. From an algorithmic perspective, the related questions concern whether there are compact formulations even for problems that are known to admit polynomial-time algorithms.
We propose a framework for proving lower bou…
▽ More
Exploring the power of linear programming for combinatorial optimization problems has been recently receiving renewed attention after a series of breakthrough impossibility results. From an algorithmic perspective, the related questions concern whether there are compact formulations even for problems that are known to admit polynomial-time algorithms.
We propose a framework for proving lower bounds on the size of extended formulations. We do so by introducing a specific type of extended relaxations that we call product relaxations and is motivated by the study of the Sherali-Adams (SA) hierarchy. Then we show that for every approximate relaxation of a polytope P, there is a product relaxation that has the same size and is at least as strong. We provide a methodology for proving lower bounds on the size of approximate product relaxations by lower bounding the chromatic number of an underlying hypergraph, whose vertices correspond to gap-inducing vectors.
We extend the definition of product relaxations and our methodology to mixed integer sets. However in this case we are able to show that mixed product relaxations are at least as powerful as a special family of extended formulations. As an application of our method we show an exponential lower bound on the size of approximate mixed product formulations for the metric capacitated facility location problem, a problem which seems to be intractable for linear programming as far as constant-gap compact formulations are concerned.
△ Less
Submitted 30 December, 2014; v1 submitted 5 October, 2014;
originally announced October 2014.
-
Exponential lower bounds on the size of approximate formulations in the natural encoding for Capacitated Facility Location
Authors:
Stavros G. Kolliopoulos,
Yannis Moysoglou
Abstract:
The metric capacitated facility location is a well-studied problem for which, while constant factor approximations are known, no efficient relaxation with constant integrality gap is known. The question whether there is such a relaxation is among the most important open problems of approximation algorithms \cite{ShmoysWbook}.
In this paper we show that, if one is restricted to linear programs th…
▽ More
The metric capacitated facility location is a well-studied problem for which, while constant factor approximations are known, no efficient relaxation with constant integrality gap is known. The question whether there is such a relaxation is among the most important open problems of approximation algorithms \cite{ShmoysWbook}.
In this paper we show that, if one is restricted to linear programs that use the natural encoding for facility location, at least an exponential number of constraints is needed to achieve a constant gap. Our proof does not assume any special property of the relaxation such as locality or symmetry.
△ Less
Submitted 6 December, 2013;
originally announced December 2013.
-
Sherali-Adams gaps, flow-cover inequalities and generalized configurations for capacity-constrained Facility Location
Authors:
Stavros G. Kolliopoulos,
Yannis Moysoglou
Abstract:
Metric facility location is a well-studied problem for which linear programming methods have been used with great success in deriving approximation algorithms. The capacity-constrained generalizations, such as capacitated facility location (CFL) and lower-bounded facility location (LBFL), have proved notorious as far as LP-based approximation is concerned: while there are local-search-based consta…
▽ More
Metric facility location is a well-studied problem for which linear programming methods have been used with great success in deriving approximation algorithms. The capacity-constrained generalizations, such as capacitated facility location (CFL) and lower-bounded facility location (LBFL), have proved notorious as far as LP-based approximation is concerned: while there are local-search-based constant-factor approximations, there is no known linear relaxation with constant integrality gap. According to Williamson and Shmoys devising a relaxation-based approximation for \cfl\ is among the top 10 open problems in approximation algorithms.
This paper advances significantly the state-of-the-art on the effectiveness of linear programming for capacity-constrained facility location through a host of impossibility results for both CFL and LBFL. We show that the relaxations obtained from the natural LP at $Ω(n)$ levels of the Sherali-Adams hierarchy have an unbounded gap, partially answering an open question of \cite{LiS13, AnBS13}. Here, $n$ denotes the number of facilities in the instance. Building on the ideas for this result, we prove that the standard CFL relaxation enriched with the generalized flow-cover valid inequalities \cite{AardalPW95} has also an unbounded gap. This disproves a long-standing conjecture of \cite{LeviSS12}. We finally introduce the family of proper relaxations which generalizes to its logical extreme the classic star relaxation and captures general configuration-style LPs. We characterize the behavior of proper relaxations for CFL and LBFL through a sharp threshold phenomenon.
△ Less
Submitted 14 June, 2014; v1 submitted 3 December, 2013;
originally announced December 2013.
-
Irrelevant Vertices for the Planar Disjoint Paths Problem
Authors:
Isolde Adler,
Stavros G. Kolliopoulos,
Philipp Klaus Krause,
Daniel Lokshtanov,
Saket Saurabhh,
Dimitrios M. Thilikos
Abstract:
The Disjoint Paths Problem asks, given a graph $G$ and a set of pairs of terminals $(s_{1},t_{1}),\ldots,(s_{k},t_{k})$, whether there is a collection of $k$ pairwise vertex-disjoint paths linking $s_{i}$ and $t_{i}$, for $i=1,\ldots,k.$ In their $f(k)\cdot n^{3}$ algorithm for this problem, Robertson and Seymour introduced the irrelevant vertex technique according to which in every instance of tr…
▽ More
The Disjoint Paths Problem asks, given a graph $G$ and a set of pairs of terminals $(s_{1},t_{1}),\ldots,(s_{k},t_{k})$, whether there is a collection of $k$ pairwise vertex-disjoint paths linking $s_{i}$ and $t_{i}$, for $i=1,\ldots,k.$ In their $f(k)\cdot n^{3}$ algorithm for this problem, Robertson and Seymour introduced the irrelevant vertex technique according to which in every instance of treewidth greater than $g(k)$ there is an "irrelevant" vertex whose removal creates an equivalent instance of the problem. This fact is based on the celebrated Unique Linkage Theorem, whose - very technical - proof gives a function $g(k)$ that is responsible for an immense parameter dependence in the running time of the algorithm. In this paper we give a new and self-contained proof of this result that strongly exploits the combinatorial properties of planar graphs and achieves $g(k)=O(k^{3/2}\cdot 2^{k}).$ Our bound is radically better than the bounds known for general graphs.
△ Less
Submitted 20 June, 2016; v1 submitted 9 October, 2013;
originally announced October 2013.
-
Towards Quantum Information Processing at the Attosecond Timescale
Authors:
I. K. Kominis,
G. Kolliopoulos,
D. Charalambidis,
P. Tzallas
Abstract:
Coherent processing of quantum information and attosecond science had so far little in common. We here show that recent data in high harmonic emission reveal quantum information processing at the attosecond timescale. By observing the interference pattern created by the spatiotemporal overlap of photons emitted by two interfering electron paths we generate a photon Hadamard gate and thus erase the…
▽ More
Coherent processing of quantum information and attosecond science had so far little in common. We here show that recent data in high harmonic emission reveal quantum information processing at the attosecond timescale. By observing the interference pattern created by the spatiotemporal overlap of photons emitted by two interfering electron paths we generate a photon Hadamard gate and thus erase the electron-trajectory information. This allows the measurement of the relative phase in electron-trajectory quantum superpositions and establishes the era of electron-photon quantum coherence and entanglement at the attosecond timescale of high-field physics.
△ Less
Submitted 18 January, 2014; v1 submitted 11 September, 2013;
originally announced September 2013.
-
Revealing quantum path details in high-field physics
Authors:
G. Kolliopoulos,
B. Bergues,
H. Schröder,
P. A. Carpeggiani,
L. Veisz,
G. D. Tsakiris,
D. Charalambidis,
P. Tzallas
Abstract:
The tunnelling of an electron through a suppressed atomic potential followed by its motion in the continuum, is the fundamental mechanism underlying strong-field laser-atom/molecule interactions. Due to its quantum nature, the interaction is governed by the phase of the released electron wave-packets. Thus, detailed map** of the electron wave-packet interferences provides essential insight into…
▽ More
The tunnelling of an electron through a suppressed atomic potential followed by its motion in the continuum, is the fundamental mechanism underlying strong-field laser-atom/molecule interactions. Due to its quantum nature, the interaction is governed by the phase of the released electron wave-packets. Thus, detailed map** of the electron wave-packet interferences provides essential insight into the physics underlying the interaction. A process which is providing access to the intricacies of the interaction is the generation of high order harmonics of the laser frequency. The phase-amplitude distribution of the emitted extreme-ultraviolet (EUV), carries the complete information about the harmonic generation process and vice-versa. Thus, the visualization of the EUV-spatial-amplitude-distribution, as it results from interfering electron wave-packet contributions, is of crucial importance. Restrictions to this accomplishment are due to the spatially integrating measurement approaches applied so far, that average out the phase effects in the generation process. In this work, we demonstrate a method which overcomes this obstacle. An EUV-spatial-amplitude-distribution-image is induced from the imprint on the measured spatial distribution of ions, produced through EUV-photon ionization of atoms. Interference extremes in the image carry phase information about the interfering electron wave-packets. The present approach provides detailed insight on the strong-field laser-atom interaction mechanism, while establishing the era of phase selective interaction studies. Furthermore, it paves the way for substantial enhancement of the spectral and temporal precision of measurements by in-situ controlling the phase distribution of the emitted radiation and/or spatially selecting the EUV-radiation-atom interaction products.
△ Less
Submitted 31 July, 2013; v1 submitted 15 July, 2013;
originally announced July 2013.
-
Integrality gaps for strengthened LP relaxations of Capacitated and Lower-Bounded Facility Location
Authors:
Stavros G. Kolliopoulos,
Yannis Moysoglou
Abstract:
The metric uncapacitated facility location problem (UFL) enjoys a special stature in approximation algorithms as a testbed for various techniques. Two generalizations of UFL are capacitated facility location (CFL) and lower-bounded facility location (LBFL). In the former, every facility has a capacity which is the maximum demand that can be assigned to it, while in the latter, every open facility…
▽ More
The metric uncapacitated facility location problem (UFL) enjoys a special stature in approximation algorithms as a testbed for various techniques. Two generalizations of UFL are capacitated facility location (CFL) and lower-bounded facility location (LBFL). In the former, every facility has a capacity which is the maximum demand that can be assigned to it, while in the latter, every open facility is required to serve a given minimum amount of demand. Both CFL and LBFL are approximable within a constant factor but their respective natural LP relaxations have an unbounded integrality gap. According to Shmoys and Williamson, the existence of a relaxation-based algorithm for CFL is one of the top 10 open problems in approximation algorithms.
In this paper we give the first results on this problem. We provide substantial evidence against the existence of a good LP relaxation for CFL by showing unbounded integrality gaps for two families of strengthened formulations.
The first family we consider is the hierarchy of LPs resulting from repeated applications of the lift-and-project Lovász-Schrijver procedure starting from the standard relaxation. We show that the LP relaxation for CFL resulting after $Ω(n)$ rounds, where $n$ is the number of facilities in the instance, has unbounded integrality gap. Note that the Lovász-Schrijver procedure is known to yield an exact formulation for CFL in at most $n$ rounds.
We also introduce the family of proper relaxations which generalizes to its logical extreme the classic star relaxation, an equivalent form of the natural LP. We characterize the integrality gap of proper relaxations for both LBFL and CFL and show a threshold phenomenon under which it decreases from unbounded to 1.
△ Less
Submitted 18 July, 2013; v1 submitted 26 May, 2013;
originally announced May 2013.
-
The 2-valued case of makespan minimization with assignment constraints
Authors:
Stavros G. Kolliopoulos,
Yannis Moysoglou
Abstract:
We consider the following special case of minimizing makespan. A set of jobs $J$ and a set of machines $M$ are given. Each job $j \in J$ can be scheduled on a machine from a subset $M_j$ of $M$. The processing time of $j$ is the same on all machines in $M_j.$ The jobs are of two sizes, namely $b$ (big) and $s$ (small). We present a polynomial-time algorithm that approximates the value of the optim…
▽ More
We consider the following special case of minimizing makespan. A set of jobs $J$ and a set of machines $M$ are given. Each job $j \in J$ can be scheduled on a machine from a subset $M_j$ of $M$. The processing time of $j$ is the same on all machines in $M_j.$ The jobs are of two sizes, namely $b$ (big) and $s$ (small). We present a polynomial-time algorithm that approximates the value of the optimal makespan within a factor of 1.883 and some further improvements when every job can be scheduled on at most two machines.
△ Less
Submitted 7 December, 2012;
originally announced December 2012.
-
Approximation Algorithms for Covering/Packing Integer Programs
Authors:
Stavros G. Kolliopoulos,
Neal E. Young
Abstract:
Given matrices A and B and vectors a, b, c and d, all with non-negative entries, we consider the problem of computing min {c.x: x in Z^n_+, Ax > a, Bx < b, x < d}. We give a bicriteria-approximation algorithm that, given epsilon in (0, 1], finds a solution of cost O(ln(m)/epsilon^2) times optimal, meeting the covering constraints (Ax > a) and multiplicity constraints (x < d), and satisfying Bx <…
▽ More
Given matrices A and B and vectors a, b, c and d, all with non-negative entries, we consider the problem of computing min {c.x: x in Z^n_+, Ax > a, Bx < b, x < d}. We give a bicriteria-approximation algorithm that, given epsilon in (0, 1], finds a solution of cost O(ln(m)/epsilon^2) times optimal, meeting the covering constraints (Ax > a) and multiplicity constraints (x < d), and satisfying Bx < (1 + epsilon)b + beta, where beta is the vector of row sums beta_i = sum_j B_ij. Here m denotes the number of rows of A.
This gives an O(ln m)-approximation algorithm for CIP -- minimum-cost covering integer programs with multiplicity constraints, i.e., the special case when there are no packing constraints Bx < b. The previous best approximation ratio has been O(ln(max_j sum_i A_ij)) since 1982. CIP contains the set cover problem as a special case, so O(ln m)-approximation is the best possible unless P=NP.
△ Less
Submitted 28 May, 2005; v1 submitted 17 May, 2002;
originally announced May 2002.