Archive for the ‘2014’ Category

Matthew G. Parker, Exclusivity graphs from quantum graph states and mixed graph generalisations

Friday, March 7th, 2014
Exclusivity graphs from quantum graph states – and mixed graph generalisations
Matthew G. Parker
University of Bergen, Norway
2014/06/24 Tuesday 4PM-5PM
Room 1409
I describe a construction that maps any connected graph G on three or more vertices into a larger graph, H(G), whose independence number is strictly smaller than its Lovasz number which is equal to its fractional packing number. The vertices of H(G) represent all possible events consistent with the stabilizer group of the quantum graph state associated with G, and exclusive events are adjacent. The graph H(G) corresponds to the orbit of G under local complementation. Physically, the construction translates into graph-theoretic terms the connection between a graph state and a Bell inequality maximally violated by quantum mechanics. In the context of zero-error information theory, the construction suggests a protocol achieving the maximum rate of entanglement-assisted capacity, a quantum mechanical analogue of the Shannon capacity, for each H(G). The violation of the Bell inequality is expressed by the one-shot version of this capacity being strictly larger than the independence number. The construction also describes a pseudo-telepathy game which is always won when using quantum resources but not always using classical resources. Finally we generalise the graph state to the mixed graph state and discuss how the previous construction may, therefore, be generalized. Joint work with: Cabello, Scarpa, Severini, Riera, Rahaman.

Vissarion Fisikopoulos, Polytopes defined by oracles: algorithms and combinatorics

Thursday, March 6th, 2014
Polytopes defined by oracles: algorithms and combinatorics
Vissarion Fisikopoulos
University of Athens, Greece
2014/06/23 Monday 4PM-5PM
Room 1409
We develop a new paradigm to construct polytopes whose vertices can be obtained by an effective oracle in a unique fashion. Our main motivation comes from computational algebraic geometry. From this perspective these polytopes, called resultant polytopes, characterize polynomials better than total degree thus offering the fundamental representation in sparse elimination theory. We propose an output-sensitive algorithm that requires the minimum number of oracle calls, each reducing to the construction of a regular triangulation of the input set of points. Its implementation has been proven, among others, a valuable computational tool in our study of the combinatorial characterization of 4-dimensional resultant polytopes. We present the results of this study, that is, upper and lower bounds on the number of faces of 4-dimensional resultant polytopes.

Jaehoon Kim, On r-dynamic coloring of graphs

Wednesday, March 5th, 2014
On r-dynamic coloring of graphs
Jaehoon Kim
KAIST/Univ. of Birmingham, UK
2014/06/09 Monday 4PM-5PM
Room 1409
An r-dynamic proper k-coloring of a graph G is a proper k-coloring of G such that every vertex in V(G) has neighbors in at least \min\{d(v),r\} different color classes. The r-dynamic chromatic number of a graph G, written \chi_r(G), is the least k such that G has such a coloring. By a greedy coloring algorithm, \chi_r(G)\le r\Delta(G)+1 and the equality holds if and only if G is r-regular with diameter 2 and girth 5. We improve the bound to \chi_r(G)\le \Delta(G)+2r when \delta(G)\ge 2r\ln n. In terms of the chromatic number, we prove \chi_r(G)\le r\chi(G) when G is k-regular with k \ge (3+o(1))r\ln r and show that \chi_r(G) may exceed r^{1.377}\chi(G) when k=r. We prove \chi_2(G)\leq \chi(G)+2 when G has diameter 2, with equality only for complete bipartite graphs and the 5-cycle. Also, \chi_2(G)\le 3\chi(G) when G has diameter 3, which is sharp. This is joint work with Sogol Jahanbekam, Suil O, and Douglas B. West.

Sariel Har-Peled, Quasi-Polynomial Time Approximation Scheme for Sparse Subsets of Polygons

Tuesday, March 4th, 2014
Quasi-Polynomial Time Approximation Scheme for Sparse Subsets of Polygons
2014/06/02 Monday 4PM-5PM
Room 1409
We describe how to approximate, in quasi-polynomial time, the largest independent set of polygons, in a given set of polygons. Our algorithm works by extending the result of Adamaszek and Wiese [AW13, AW14] to polygons of arbitrary complexity. Surprisingly, the algorithm also works for computing the largest subset of the given set of polygons that has some sparsity condition. For example, we show that one can approximate the largest subset of polygons, such that the intersection graph of the subset does not contain a cycle of length 4 (i.e., K2,2). To appear in SoCG 2014.

Eunjung Kim, A polynomial-time algorithm for outerplanar diameter improvement

Tuesday, March 4th, 2014
A polynomial-time algorithm for outerplanar diameter improvement
Eunjung Kim
CNRS, LAMSADE, Paris, France
2014/05/26 Monday 4PM-5PM
Room 1409
The Outerplanar Diameter Improvement problem asks, given a graph G and an integer D, whether it is possible to add edges to G in a way that the resulting graph is outerplanar and has diameter at most D. We provide a dynamic programming algorithm that solves this problem in polynomial time. Outerplanar Diameter Improvement demonstrates several structural analogues to the celebrated and challenging Planar Diameter Improvement problem, where the resulting graph should, instead, be planar. The complexity status of this latter problem is open.