2,860 research outputs found
Stronger ILPs for the Graph Genus Problem
The minimum genus of a graph is an important question in graph theory and a key ingredient in several graph algorithms. However, its computation is NP-hard and turns out to be hard even in practice. Only recently, the first non-trivial approach - based on SAT and ILP (integer linear programming) models - has been presented, but it is unable to successfully tackle graphs of genus larger than 1 in practice.
Herein, we show how to improve the ILP formulation. The crucial ingredients are two-fold. First, we show that instead of modeling rotation schemes explicitly, it suffices to optimize over partitions of the (bidirected) arc set A of the graph. Second, we exploit the cycle structure of the graph, explicitly mapping short closed walks on A to faces in the embedding.
Besides the theoretical advantages of our models, we show their practical strength by a thorough experimental evaluation. Contrary to the previous approach, we are able to quickly solve many instances of genus > 1
Spectral radius of finite and infinite planar graphs and of graphs of bounded genus
It is well known that the spectral radius of a tree whose maximum degree is
cannot exceed . In this paper we derive similar bounds for
arbitrary planar graphs and for graphs of bounded genus. It is proved that a
the spectral radius of a planar graph of maximum vertex degree
satisfies . This result is
best possible up to the additive constant--we construct an (infinite) planar
graph of maximum degree , whose spectral radius is . This
generalizes and improves several previous results and solves an open problem
proposed by Tom Hayes. Similar bounds are derived for graphs of bounded genus.
For every , these bounds can be improved by excluding as a
subgraph. In particular, the upper bound is strengthened for 5-connected
graphs. All our results hold for finite as well as for infinite graphs.
At the end we enhance the graph decomposition method introduced in the first
part of the paper and apply it to tessellations of the hyperbolic plane. We
derive bounds on the spectral radius that are close to the true value, and even
in the simplest case of regular tessellations of type we derive an
essential improvement over known results, obtaining exact estimates in the
first order term and non-trivial estimates for the second order asymptotics
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
Error-Bounded and Feature Preserving Surface Remeshing with Minimal Angle Improvement
The typical goal of surface remeshing consists in finding a mesh that is (1)
geometrically faithful to the original geometry, (2) as coarse as possible to
obtain a low-complexity representation and (3) free of bad elements that would
hamper the desired application. In this paper, we design an algorithm to
address all three optimization goals simultaneously. The user specifies desired
bounds on approximation error {\delta}, minimal interior angle {\theta} and
maximum mesh complexity N (number of vertices). Since such a desired mesh might
not even exist, our optimization framework treats only the approximation error
bound {\delta} as a hard constraint and the other two criteria as optimization
goals. More specifically, we iteratively perform carefully prioritized local
operators, whenever they do not violate the approximation error bound and
improve the mesh otherwise. In this way our optimization framework greedily
searches for the coarsest mesh with minimal interior angle above {\theta} and
approximation error bounded by {\delta}. Fast runtime is enabled by a local
approximation error estimation, while implicit feature preservation is obtained
by specifically designed vertex relocation operators. Experiments show that our
approach delivers high-quality meshes with implicitly preserved features and
better balances between geometric fidelity, mesh complexity and element quality
than the state-of-the-art.Comment: 14 pages, 20 figures. Submitted to IEEE Transactions on Visualization
and Computer Graphic
Bounds for the genus of a normal surface
This paper gives sharp linear bounds on the genus of a normal surface in a
triangulated compact, orientable 3--manifold in terms of the quadrilaterals in
its cell decomposition---different bounds arise from varying hypotheses on the
surface or triangulation. Two applications of these bounds are given. First,
the minimal triangulations of the product of a closed surface and the closed
interval are determined. Second, an alternative approach to the realisation
problem using normal surface theory is shown to be less powerful than its dual
method using subcomplexes of polytopes.Comment: 38 pages, 25 figure
- …