3,393 research outputs found
Explicit linear kernels via dynamic programming
Several algorithmic meta-theorems on kernelization have appeared in the last
years, starting with the result of Bodlaender et al. [FOCS 2009] on graphs of
bounded genus, then generalized by Fomin et al. [SODA 2010] to graphs excluding
a fixed minor, and by Kim et al. [ICALP 2013] to graphs excluding a fixed
topological minor. Typically, these results guarantee the existence of linear
or polynomial kernels on sparse graph classes for problems satisfying some
generic conditions but, mainly due to their generality, it is not clear how to
derive from them constructive kernels with explicit constants. In this paper we
make a step toward a fully constructive meta-kernelization theory on sparse
graphs. Our approach is based on a more explicit protrusion replacement
machinery that, instead of expressibility in CMSO logic, uses dynamic
programming, which allows us to find an explicit upper bound on the size of the
derived kernels. We demonstrate the usefulness of our techniques by providing
the first explicit linear kernels for -Dominating Set and -Scattered Set
on apex-minor-free graphs, and for Planar-\mathcal{F}-Deletion on graphs
excluding a fixed (topological) minor in the case where all the graphs in
\mathcal{F} are connected.Comment: 32 page
PyFR: An Open Source Framework for Solving Advection-Diffusion Type Problems on Streaming Architectures using the Flux Reconstruction Approach
High-order numerical methods for unstructured grids combine the superior
accuracy of high-order spectral or finite difference methods with the geometric
flexibility of low-order finite volume or finite element schemes. The Flux
Reconstruction (FR) approach unifies various high-order schemes for
unstructured grids within a single framework. Additionally, the FR approach
exhibits a significant degree of element locality, and is thus able to run
efficiently on modern streaming architectures, such as Graphical Processing
Units (GPUs). The aforementioned properties of FR mean it offers a promising
route to performing affordable, and hence industrially relevant,
scale-resolving simulations of hitherto intractable unsteady flows within the
vicinity of real-world engineering geometries. In this paper we present PyFR,
an open-source Python based framework for solving advection-diffusion type
problems on streaming architectures using the FR approach. The framework is
designed to solve a range of governing systems on mixed unstructured grids
containing various element types. It is also designed to target a range of
hardware platforms via use of an in-built domain specific language based on the
Mako templating engine. The current release of PyFR is able to solve the
compressible Euler and Navier-Stokes equations on grids of quadrilateral and
triangular elements in two dimensions, and hexahedral elements in three
dimensions, targeting clusters of CPUs, and NVIDIA GPUs. Results are presented
for various benchmark flow problems, single-node performance is discussed, and
scalability of the code is demonstrated on up to 104 NVIDIA M2090 GPUs. The
software is freely available under a 3-Clause New Style BSD license (see
www.pyfr.org)
Mathematical optimization for packing problems
During the last few years several new results on packing problems were
obtained using a blend of tools from semidefinite optimization, polynomial
optimization, and harmonic analysis. We survey some of these results and the
techniques involved, concentrating on geometric packing problems such as the
sphere-packing problem or the problem of packing regular tetrahedra in R^3.Comment: 17 pages, written for the SIAG/OPT Views-and-News, (v2) some updates
and correction
Streaming Kernelization
Kernelization is a formalization of preprocessing for combinatorially hard
problems. We modify the standard definition for kernelization, which allows any
polynomial-time algorithm for the preprocessing, by requiring instead that the
preprocessing runs in a streaming setting and uses
bits of memory on instances . We obtain
several results in this new setting, depending on the number of passes over the
input that such a streaming kernelization is allowed to make. Edge Dominating
Set turns out as an interesting example because it has no single-pass
kernelization but two passes over the input suffice to match the bounds of the
best standard kernelization
Universal optimality of the and Leech lattices and interpolation formulas
We prove that the root lattice and the Leech lattice are universally
optimal among point configurations in Euclidean spaces of dimensions and
, respectively. In other words, they minimize energy for every potential
function that is a completely monotonic function of squared distance (for
example, inverse power laws or Gaussians), which is a strong form of robustness
not previously known for any configuration in more than one dimension. This
theorem implies their recently shown optimality as sphere packings, and broadly
generalizes it to allow for long-range interactions.
The proof uses sharp linear programming bounds for energy. To construct the
optimal auxiliary functions used to attain these bounds, we prove a new
interpolation theorem, which is of independent interest. It reconstructs a
radial Schwartz function from the values and radial derivatives of and
its Fourier transform at the radii for integers
in and in . To prove this
theorem, we construct an interpolation basis using integral transforms of
quasimodular forms, generalizing Viazovska's work on sphere packing and placing
it in the context of a more conceptual theory.Comment: 95 pages, 6 figure
Upper bounds for packings of spheres of several radii
We give theorems that can be used to upper bound the densities of packings of
different spherical caps in the unit sphere and of translates of different
convex bodies in Euclidean space. These theorems extend the linear programming
bounds for packings of spherical caps and of convex bodies through the use of
semidefinite programming. We perform explicit computations, obtaining new
bounds for packings of spherical caps of two different sizes and for binary
sphere packings. We also slightly improve bounds for the classical problem of
packing identical spheres.Comment: 31 page
Unified Solution of the Expected Maximum of a Random Walk and the Discrete Flux to a Spherical Trap
Two random-walk related problems which have been studied independently in the
past, the expected maximum of a random walker in one dimension and the flux to
a spherical trap of particles undergoing discrete jumps in three dimensions,
are shown to be closely related to each other and are studied using a unified
approach as a solution to a Wiener-Hopf problem. For the flux problem, this
work shows that a constant c = 0.29795219 which appeared in the context of the
boundary extrapolation length, and was previously found only numerically, can
be derived explicitly. The same constant enters in higher-order corrections to
the expected-maximum asymptotics. As a byproduct, we also prove a new universal
result in the context of the flux problem which is an analogue of the Sparre
Andersen theorem proved in the context of the random walker's maximum.Comment: Two figs. Accepted for publication, Journal of Statistical Physic
A semidefinite programming hierarchy for packing problems in discrete geometry
Packing problems in discrete geometry can be modeled as finding independent
sets in infinite graphs where one is interested in independent sets which are
as large as possible. For finite graphs one popular way to compute upper bounds
for the maximal size of an independent set is to use Lasserre's semidefinite
programming hierarchy. We generalize this approach to infinite graphs. For this
we introduce topological packing graphs as an abstraction for infinite graphs
coming from packing problems in discrete geometry. We show that our hierarchy
converges to the independence number.Comment: (v2) 25 pages, revision based on suggestions by referee, accepted in
Mathematical Programming Series B special issue on polynomial optimizatio
- …