41,362 research outputs found
Rapid mixing of Swendsen-Wang dynamics in two dimensions
We prove comparison results for the Swendsen-Wang (SW) dynamics, the
heat-bath (HB) dynamics for the Potts model and the single-bond (SB) dynamics
for the random-cluster model on arbitrary graphs. In particular, we prove that
rapid mixing of HB implies rapid mixing of SW on graphs with bounded maximum
degree and that rapid mixing of SW and rapid mixing of SB are equivalent.
Additionally, the spectral gap of SW and SB on planar graphs is bounded from
above and from below by the spectral gap of these dynamics on the corresponding
dual graph with suitably changed temperature.
As a consequence we obtain rapid mixing of the Swendsen-Wang dynamics for the
Potts model on the two-dimensional square lattice at all non-critical
temperatures as well as rapid mixing for the two-dimensional Ising model at all
temperatures. Furthermore, we obtain new results for general graphs at high or
low enough temperatures.Comment: Ph.D. thesis, 66 page
Random planar maps and graphs with minimum degree two and three
We find precise asymptotic estimates for the number of planar maps and graphs
with a condition on the minimum degree, and properties of random graphs from
these classes. In particular we show that the size of the largest tree attached
to the core of a random planar graph is of order c log(n) for an explicit
constant c. These results provide new information on the structure of random
planar graphs.Comment: 32 page
Solving Hard Computational Problems Efficiently: Asymptotic Parametric Complexity 3-Coloring Algorithm
Many practical problems in almost all scientific and technological
disciplines have been classified as computationally hard (NP-hard or even
NP-complete). In life sciences, combinatorial optimization problems frequently
arise in molecular biology, e.g., genome sequencing; global alignment of
multiple genomes; identifying siblings or discovery of dysregulated pathways.In
almost all of these problems, there is the need for proving a hypothesis about
certain property of an object that can be present only when it adopts some
particular admissible structure (an NP-certificate) or be absent (no admissible
structure), however, none of the standard approaches can discard the hypothesis
when no solution can be found, since none can provide a proof that there is no
admissible structure. This article presents an algorithm that introduces a
novel type of solution method to "efficiently" solve the graph 3-coloring
problem; an NP-complete problem. The proposed method provides certificates
(proofs) in both cases: present or absent, so it is possible to accept or
reject the hypothesis on the basis of a rigorous proof. It provides exact
solutions and is polynomial-time (i.e., efficient) however parametric. The only
requirement is sufficient computational power, which is controlled by the
parameter . Nevertheless, here it is proved that the
probability of requiring a value of to obtain a solution for a
random graph decreases exponentially: , making
tractable almost all problem instances. Thorough experimental analyses were
performed. The algorithm was tested on random graphs, planar graphs and
4-regular planar graphs. The obtained experimental results are in accordance
with the theoretical expected results.Comment: Working pape
Graph coloring with no large monochromatic components
For a graph G and an integer t we let mcc_t(G) be the smallest m such that
there exists a coloring of the vertices of G by t colors with no monochromatic
connected subgraph having more than m vertices. Let F be any nontrivial
minor-closed family of graphs. We show that \mcc_2(G) = O(n^{2/3}) for any
n-vertex graph G \in F. This bound is asymptotically optimal and it is attained
for planar graphs. More generally, for every such F and every fixed t we show
that mcc_t(G)=O(n^{2/(t+1)}). On the other hand we have examples of graphs G
with no K_{t+3} minor and with mcc_t(G)=\Omega(n^{2/(2t-1)}).
It is also interesting to consider graphs of bounded degrees. Haxell, Szabo,
and Tardos proved \mcc_2(G) \leq 20000 for every graph G of maximum degree 5.
We show that there are n-vertex 7-regular graphs G with \mcc_2(G)=\Omega(n),
and more sharply, for every \epsilon>0 there exists c_\epsilon>0 and n-vertex
graphs of maximum degree 7, average degree at most 6+\epsilon for all
subgraphs, and with mcc_2(G)\ge c_\eps n. For 6-regular graphs it is known only
that the maximum order of magnitude of \mcc_2 is between \sqrt n and n.
We also offer a Ramsey-theoretic perspective of the quantity \mcc_t(G).Comment: 13 pages, 2 figure
On the diameter of random planar graphs
We show that the diameter D(G_n) of a random labelled connected planar graph
with n vertices is equal to n^{1/4+o(1)}, in probability. More precisely there
exists a constant c>0 such that the probability that D(G_n) lies in the
interval (n^{1/4-\epsilon},n^{1/4+\epsilon}) is greater than
1-\exp(-n^{c\epsilon}) for {\epsilon} small enough and n>n_0(\epsilon). We
prove similar statements for 2-connected and 3-connected planar graphs and
maps.Comment: 24 pages, 7 figure
- …