280,504 research outputs found
Characterizing 2-crossing-critical graphs
It is very well-known that there are precisely two minimal non-planar graphs:
and (degree 2 vertices being irrelevant in this context). In
the language of crossing numbers, these are the only 1-crossing-critical
graphs: they each have crossing number at least one, and every proper subgraph
has crossing number less than one. In 1987, Kochol exhibited an infinite family
of 3-connected, simple 2-crossing-critical graphs. In this work, we: (i)
determine all the 3-connected 2-crossing-critical graphs that contain a
subdivision of the M\"obius Ladder ; (ii) show how to obtain all the
not 3-connected 2-crossing-critical graphs from the 3-connected ones; (iii)
show that there are only finitely many 3-connected 2-crossing-critical graphs
not containing a subdivision of ; and (iv) determine all the
3-connected 2-crossing-critical graphs that do not contain a subdivision of
.Comment: 176 pages, 28 figure
AlSub: Fully Parallel and Modular Subdivision
In recent years, mesh subdivision---the process of forging smooth free-form
surfaces from coarse polygonal meshes---has become an indispensable production
instrument. Although subdivision performance is crucial during simulation,
animation and rendering, state-of-the-art approaches still rely on serial
implementations for complex parts of the subdivision process. Therefore, they
often fail to harness the power of modern parallel devices, like the graphics
processing unit (GPU), for large parts of the algorithm and must resort to
time-consuming serial preprocessing. In this paper, we show that a complete
parallelization of the subdivision process for modern architectures is
possible. Building on sparse matrix linear algebra, we show how to structure
the complete subdivision process into a sequence of algebra operations. By
restructuring and grouping these operations, we adapt the process for different
use cases, such as regular subdivision of dynamic meshes, uniform subdivision
for immutable topology, and feature-adaptive subdivision for efficient
rendering of animated models. As the same machinery is used for all use cases,
identical subdivision results are achieved in all parts of the production
pipeline. As a second contribution, we show how these linear algebra
formulations can effectively be translated into efficient GPU kernels. Applying
our strategies to , Loop and Catmull-Clark subdivision shows
significant speedups of our approach compared to state-of-the-art solutions,
while we completely avoid serial preprocessing.Comment: Changed structure Added content Improved description
h-Polynomials of Reduction Trees
Reduction trees are a way of encoding a substitution procedure dictated by
the relations of an algebra. We use reduction trees in the subdivision algebra
to construct canonical triangulations of flow polytopes which are shellable. We
explain how a shelling of the canonical triangulation can be read off from the
corresponding reduction tree in the subdivision algebra. We then introduce the
notion of shellable reduction trees in the subdivision and related algebras and
define h-polynomials of reduction trees. In the case of the subdivision
algebra, the h-polynomials of the canonical triangulations of flow polytopes
equal the h-polynomials of the corresponding reduction trees, which motivated
our definition. We show that the reduced forms in various algebras, which can
be read off from the leaves of the reduction trees, specialize to the shifted
h-polynomials of the corresponding reduction trees. This yields a technique for
proving nonnegativity properties of reduced forms. As a corollary we settle a
conjecture of A.N. Kirillov.Comment: 23 pages, 3 figure
- …