The Minimum Shared Edges Problem on Grid-like Graphs

We study the NP-hard Minimum Shared Edges (MSE) problem on graphs: decide whether it is possible to route $p$ paths from a start vertex to a target vertex in a given graph while using at most $k$ edges more than once. We show that MSE can be decided on bounded (i.e. finite) grids in linear time when both dimensions are either small or large compared to the number $p$ of paths. On the contrary, we show that MSE remains NP-hard on subgraphs of bounded grids. Finally, we study MSE from a parametrised complexity point of view. It is known that MSE is fixed-parameter tractable with respect to the number $p$ of paths. We show that, under standard complexity-theoretical assumptions, the problem parametrised by the combined parameter $k$, $p$, maximum degree, diameter, and treewidth does not admit a polynomial-size problem kernel, even when restricted to planar graphs

Algorithms for outerplanar graph roots and graph roots of pathwidth at most 2

Deciding whether a given graph has a square root is a classical problem that has been studied extensively both from graph theoretic and from algorithmic perspectives. The problem is NP-complete in general, and consequently substantial effort has been dedicated to deciding whether a given graph has a square root that belongs to a particular graph class. There are both polynomial-time solvable and NP-complete cases, depending on the graph class. We contribute with new results in this direction. Given an arbitrary input graph G, we give polynomial-time algorithms to decide whether G has an outerplanar square root, and whether G has a square root that is of pathwidth at most 2

The spectrum of tachyons in AdS/CFT

We analyze the spectrum of open strings stretched between a D-brane and an anti-D-brane in planar AdS/CFT using various tools. We focus on open strings ending on two giant gravitons with different orientation in $AdS_5 \times S^5$ and study the spectrum of string excitations using the following approaches: open spin-chain, boundary asymptotic Bethe ansatz and boundary thermodynamic Bethe ansatz (BTBA). We find agreement between a perturbative high order diagrammatic calculation in ${\cal N}=4$ SYM and the leading finite-size boundary Luscher correction. We study the ground state energy of the system at finite coupling by deriving and numerically solving a set of BTBA equations. While the numerics give reasonable results at small coupling, they break down at finite coupling when the total energy of the string gets close to zero, possibly indicating that the state turns tachyonic. The location of the breakdown is also predicted analytically.Comment: 40 pages, lots of figures, v2: typos corrected, accepted for publication in JHE

Polynomial functors and combinatorial Dyson-Schwinger equations

We present a general abstract framework for combinatorial Dyson-Schwinger equations, in which combinatorial identities are lifted to explicit bijections of sets, and more generally equivalences of groupoids. Key features of combinatorial Dyson-Schwinger equations are revealed to follow from general categorical constructions and universal properties. Rather than beginning with an equation inside a given Hopf algebra and referring to given Hochschild $1$-cocycles, our starting point is an abstract fixpoint equation in groupoids, shown canonically to generate all the algebraic structure. Precisely, for any finitary polynomial endofunctor $P$ defined over groupoids, the system of combinatorial Dyson-Schwinger equations $X=1+P(X)$ has a universal solution, namely the groupoid of $P$-trees. The isoclasses of $P$-trees generate naturally a Connes-Kreimer-like bialgebra, in which the abstract Dyson-Schwinger equation can be internalised in terms of canonical $B_+$-operators. The solution to this equation is a series (the Green function) which always enjoys a Fa\`a di Bruno formula, and hence generates a sub-bialgebra isomorphic to the Fa\`a di Bruno bialgebra. Varying $P$ yields different bialgebras, and cartesian natural transformations between various $P$ yield bialgebra homomorphisms and sub-bialgebras, corresponding for example to truncation of Dyson-Schwinger equations. Finally, all constructions can be pushed inside the classical Connes-Kreimer Hopf algebra of trees by the operation of taking core of $P$-trees. A byproduct of the theory is an interpretation of combinatorial Green functions as inductive data types in the sense of Martin-L\"of Type Theory (expounded elsewhere).Comment: v4: minor adjustments, 49pp, final version to appear in J. Math. Phy