On Exact Algorithms for Permutation CSP

In the Permutation Constraint Satisfaction Problem (Permutation CSP) we are given a set of variables $V$ and a set of constraints C, in which constraints are tuples of elements of V. The goal is to find a total ordering of the variables, $\pi\ : V \rightarrow [1,...,|V|]$, which satisfies as many constraints as possible. A constraint $(v_1,v_2,...,v_k)$ is satisfied by an ordering $\pi$ when $\pi(v_1)<\pi(v_2)<...<\pi(v_k)$. An instance has arity $k$ if all the constraints involve at most $k$ elements. This problem expresses a variety of permutation problems including {\sc Feedback Arc Set} and {\sc Betweenness} problems. A naive algorithm, listing all the $n!$ permutations, requires $2^{O(n\log{n})}$ time. Interestingly, {\sc Permutation CSP} for arity 2 or 3 can be solved by Held-Karp type algorithms in time $O^*(2^n)$, but no algorithm is known for arity at least 4 with running time significantly better than $2^{O(n\log{n})}$. In this paper we resolve the gap by showing that {\sc Arity 4 Permutation CSP} cannot be solved in time $2^{o(n\log{n})}$ unless ETH fails

Topological triviality of smoothly knotted surfaces in 4-manifolds

Some generalizations and variations of the Fintushel-Stern rim surgery are known to produce smoothly knotted surfaces. We show that if the fundamental groups of their complements are cyclic, then these surfaces are topologically unknotted. Using a twist-spinning construction from high-dimensional knot theory, we construct examples of knotted surfaces whose complements have cyclic fundamental groups.Comment: Final version; appeared in AMS Transactions. 15 pages, 2 figure

Double point surgery and configurations of surfaces

We introduce a new operation, double point surgery, on immersed surfaces in a 4-manifold, and use it to construct knotted configurations of surfaces in many 4-manifolds. Taking branched covers, we produce smoothly exotic actions of Z/m x Z/n on simply connected 4-manifolds with complicated fixed-point sets.Comment: Final version; to appear in Journal of Topology. Removed assertion about the restriction of the Z/m x Z/n action to the Z/m and Z/n subgroup

Multilevel Network Games

We consider a multilevel network game, where nodes can improve their communication costs by connecting to a high-speed network. The $n$ nodes are connected by a static network and each node can decide individually to become a gateway to the high-speed network. The goal of a node $v$ is to minimize its private costs, i.e., the sum (SUM-game) or maximum (MAX-game) of communication distances from $v$ to all other nodes plus a fixed price $\alpha > 0$ if it decides to be a gateway. Between gateways the communication distance is $0$, and gateways also improve other nodes' distances by behaving as shortcuts. For the SUM-game, we show that for $\alpha \leq n-1$, the price of anarchy is $\Theta(n/\sqrt{\alpha})$ and in this range equilibria always exist. In range $\alpha \in (n-1,n(n-1))$ the price of anarchy is $\Theta(\sqrt{\alpha})$, and for $\alpha \geq n(n-1)$ it is constant. For the MAX-game, we show that the price of anarchy is either $\Theta(1 + n/\sqrt{\alpha})$, for $\alpha\geq 1$, or else $1$. Given a graph with girth of at least $4\alpha$, equilibria always exist. Concerning the dynamics, both the SUM-game and the MAX-game are not potential games. For the SUM-game, we even show that it is not weakly acyclic.Comment: An extended abstract of this paper has been accepted for publication in the proceedings of the 10th International Conference on Web and Internet Economics (WINE