On a generalization of iterated and randomized rounding

We give a general method for rounding linear programs that combines the commonly used iterated rounding and randomized rounding techniques. In particular, we show that whenever iterated rounding can be applied to a problem with some slack, there is a randomized procedure that returns an integral solution that satisfies the guarantees of iterated rounding and also has concentration properties. We use this to give new results for several classic problems where iterated rounding has been useful

Spanning Trees and Spanning Eulerian Subgraphs with Small Degrees. II

Let $G$ be a connected graph with $X\subseteq V(G)$ and with the spanning forest $F$. Let $\lambda\in [0,1]$ be a real number and let $\eta:X\rightarrow (\lambda,\infty)$ be a real function. In this paper, we show that if for all $S\subseteq X$, $\omega(G\setminus S)\le\sum_{v\in S}\big(\eta(v)-2\big)+2-\lambda(e_G(S)+1)$, then $G$ has a spanning tree $T$ containing $F$ such that for each vertex $v\in X$, $d_T(v)\le \lceil\eta(v)-\lambda\rceil+\max\{0,d_F(v)-1\}$, where $\omega(G\setminus S)$ denotes the number of components of $G\setminus S$ and $e_G(S)$ denotes the number of edges of $G$ with both ends in $S$. This is an improvement of several results and the condition is best possible. Next, we also investigate an extension for this result and deduce that every $k$-edge-connected graph $G$ has a spanning subgraph $H$ containing $m$ edge-disjoint spanning trees such that for each vertex $v$, $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-2m)\big\rceil+2m$, where $k\ge 2m$; also if $G$ contains $k$ edge-disjoint spanning trees, then $H$ can be found such that for each vertex $v$, $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-m)\big\rceil+m$, where $k\ge m$. Finally, we show that strongly $2$-tough graphs, including $(3+1/2)$-tough graphs of order at least three, have spanning Eulerian subgraphs whose degrees lie in the set $\{2,4\}$. In addition, we show that every $1$-tough graph has spanning closed walk meeting each vertex at most $2$ times and prove a long-standing conjecture due to Jackson and Wormald (1990).Comment: 46 pages, Keywords: Spanning tree; spanning Eulerian; spanning closed walk; connected factor; toughness; total exces

Generic method for bijections between blossoming trees and planar maps

This article presents a unified bijective scheme between planar maps and blossoming trees, where a blossoming tree is defined as a spanning tree of the map decorated with some dangling half-edges that enable to reconstruct its faces. Our method generalizes a previous construction of Bernardi by loosening its conditions of applications so as to include annular maps, that is maps embedded in the plane with a root face different from the outer face. The bijective construction presented here relies deeply on the theory of \alpha-orientations introduced by Felsner, and in particular on the existence of minimal and accessible orientations. Since most of the families of maps can be characterized by such orientations, our generic bijective method is proved to capture as special cases all previously known bijections involving blossoming trees: for example Eulerian maps, m-Eulerian maps, non separable maps and simple triangulations and quadrangulations of a k-gon. Moreover, it also permits to obtain new bijective constructions for bipolar orientations and d-angulations of girth d of a k-gon. As for applications, each specialization of the construction translates into enumerative by-products, either via a closed formula or via a recursive computational scheme. Besides, for every family of maps described in the paper, the construction can be implemented in linear time. It yields thus an effective way to encode and generate planar maps. In a recent work, Bernardi and Fusy introduced another unified bijective scheme, we adopt here a different strategy which allows us to capture different bijections. These two approaches should be seen as two complementary ways of unifying bijections between planar maps and decorated trees.Comment: 45 pages, comments welcom

Output-Sensitive Tools for Range Searching in Higher Dimensions

Let $P$ be a set of $n$ points in ${\mathbb R}^{d}$. A point $p \in P$ is $k$\emph{-shallow} if it lies in a halfspace which contains at most $k$ points of $P$ (including $p$). We show that if all points of $P$ are $k$-shallow, then $P$ can be partitioned into $\Theta(n/k)$ subsets, so that any hyperplane crosses at most $O((n/k)^{1-1/(d-1)} \log^{2/(d-1)}(n/k))$ subsets. Given such a partition, we can apply the standard construction of a spanning tree with small crossing number within each subset, to obtain a spanning tree for the point set $P$, with crossing number $O(n^{1-1/(d-1)}k^{1/d(d-1)} \log^{2/(d-1)}(n/k))$. This allows us to extend the construction of Har-Peled and Sharir \cite{hs11} to three and higher dimensions, to obtain, for any set of $n$ points in ${\mathbb R}^{d}$ (without the shallowness assumption), a spanning tree $T$ with {\em small relative crossing number}. That is, any hyperplane which contains $w \leq n/2$ points of $P$ on one side, crosses $O(n^{1-1/(d-1)}w^{1/d(d-1)} \log^{2/(d-1)}(n/w))$ edges of $T$. Using a similar mechanism, we also obtain a data structure for halfspace range counting, which uses $O(n \log \log n)$ space (and somewhat higher preprocessing cost), and answers a query in time $O(n^{1-1/(d-1)}k^{1/d(d-1)} (\log (n/k))^{O(1)})$, where $k$ is the output size

Decentralized Pricing in Minimum Cost Spanning Trees

In the minimum cost spanning tree model we consider decentralized pricing rules, i.e. rules that cover at least the efficient cost while the price charged to each user only depends upon his own connection costs. We define a canonical pricing rule and provide two axiomatic characterizations. First, the canonical pricing rule is the smallest among those that improve upon the Stand Alone bound, and are either superadditive or piece-wise linear in connection costs. Our second, direct characterization relies on two simple properties highlighting the special role of the source cost.pricing rules; minimum cost spanning trees; canonical pricing rule; stand-alone cost; decentralization

Exact thresholds for Ising-Gibbs samplers on general graphs

We establish tight results for rapid mixing of Gibbs samplers for the Ferromagnetic Ising model on general graphs. We show that if $$(d-1)\tanh\beta<1,$$ then there exists a constant C such that the discrete time mixing time of Gibbs samplers for the ferromagnetic Ising model on any graph of n vertices and maximal degree d, where all interactions are bounded by $\beta$, and arbitrary external fields are bounded by $Cn\log n$. Moreover, the spectral gap is uniformly bounded away from 0 for all such graphs, as well as for infinite graphs of maximal degree d. We further show that when $d\tanh\beta<1$, with high probability over the Erdos-Renyi random graph $G(n,d/n)$, it holds that the mixing time of Gibbs samplers is $$n^{1+\Theta({1}/{\log\log n})}.$$ Both results are tight, as it is known that the mixing time for random regular and Erdos-Renyi random graphs is, with high probability, exponential in n when $(d-1)\tanh\beta>1$, and $d\tanh\beta>1$, respectively. To our knowledge our results give the first tight sufficient conditions for rapid mixing of spin systems on general graphs. Moreover, our results are the first rigorous results establishing exact thresholds for dynamics on random graphs in terms of spatial thresholds on trees.Comment: Published in at http://dx.doi.org/10.1214/11-AOP737 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org