-
Optimising Spatial and Tonal Data for PDE-based Inpainting
Authors:
Laurent Hoeltgen,
Markus Mainberger,
Sebastian Hoffmann,
Joachim Weickert,
Ching Hoo Tang,
Simon Setzer,
Daniel Johannsen,
Frank Neumann,
Benjamin Doerr
Abstract:
Some recent methods for lossy signal and image compression store only a few selected pixels and fill in the missing structures by inpainting with a partial differential equation (PDE). Suitable operators include the Laplacian, the biharmonic operator, and edge-enhancing anisotropic diffusion (EED). The quality of such approaches depends substantially on the selection of the data that is kept. Opti…
▽ More
Some recent methods for lossy signal and image compression store only a few selected pixels and fill in the missing structures by inpainting with a partial differential equation (PDE). Suitable operators include the Laplacian, the biharmonic operator, and edge-enhancing anisotropic diffusion (EED). The quality of such approaches depends substantially on the selection of the data that is kept. Optimising this data in the domain and codomain gives rise to challenging mathematical problems that shall be addressed in our work.
In the 1D case, we prove results that provide insights into the difficulty of this problem, and we give evidence that a splitting into spatial and tonal (i.e. function value) optimisation does hardly deteriorate the results. In the 2D setting, we present generic algorithms that achieve a high reconstruction quality even if the specified data is very sparse. To optimise the spatial data, we use a probabilistic sparsification, followed by a nonlocal pixel exchange that avoids getting trapped in bad local optima. After this spatial optimisation we perform a tonal optimisation that modifies the function values in order to reduce the global reconstruction error. For homogeneous diffusion inpainting, this comes down to a least squares problem for which we prove that it has a unique solution. We demonstrate that it can be found efficiently with a gradient descent approach that is accelerated with fast explicit diffusion (FED) cycles. Our framework allows to specify the desired density of the inpainting mask a priori. Moreover, is more generic than other data optimisation approaches for the sparse inpainting problem, since it can also be extended to nonlinear inpainting operators such as EED. This is exploited to achieve reconstructions with state-of-the-art quality.
We also give an extensive literature survey on PDE-based image compression methods.
△ Less
Submitted 15 June, 2015;
originally announced June 2015.
-
Inertia groups of a toric DM stack, fake weighted projective spaces, and labelled sheared simplices
Authors:
Rebecca Goldin,
Megumi Harada,
David Johannsen,
Derek Krepski
Abstract:
This paper determines the inertia groups (isotropy groups) of the points of a toric Deligne-Mumford stack [Z/G] (considered over the category of smooth manifolds) that is realized from a quotient construction using a stacky fan or stacky polytope. The computation provides an explicit correspondence between certain geometric and combinatorial data. In particular, we obtain a computation of the conn…
▽ More
This paper determines the inertia groups (isotropy groups) of the points of a toric Deligne-Mumford stack [Z/G] (considered over the category of smooth manifolds) that is realized from a quotient construction using a stacky fan or stacky polytope. The computation provides an explicit correspondence between certain geometric and combinatorial data. In particular, we obtain a computation of the connected component of the identity element $G_0 \subset G$ and the component group $G/G_0$ in terms of the underlying stacky fan, enabling us to characterize the toric DM stacks which are global quotients. As another application, we obtain a characterization of those stacky polytopes that yield stacks equivalent to weighted projective stacks and, more generally, to `fake' weighted projective stacks. Finally, we illustrate our results in detail in the special case of labelled sheared simplices, where explicit computations can be made in terms of the facet labels.
△ Less
Submitted 28 June, 2014; v1 submitted 20 June, 2013;
originally announced June 2013.
-
Splitting cycles in graphs
Authors:
David Johannsen,
David Marchette
Abstract:
The goal of this paper is to describe a sufficient condition on cycles in graphs for which the edge ideal is splittable. We give an explicit splitting function for such ideals.
The goal of this paper is to describe a sufficient condition on cycles in graphs for which the edge ideal is splittable. We give an explicit splitting function for such ideals.
△ Less
Submitted 26 April, 2012;
originally announced April 2012.
-
Expanders Are Universal for the Class of All Spanning Trees
Authors:
Daniel Johannsen,
Michael Krivelevich,
Wojciech Samotij
Abstract:
Given a class of graphs F, we say that a graph G is universal for F, or F-universal, if every H in F is contained in G as a subgraph. The construction of sparse universal graphs for various families F has received a considerable amount of attention. One is particularly interested in tight F-universal graphs, i.e., graphs whose number of vertices is equal to the largest number of vertices in a grap…
▽ More
Given a class of graphs F, we say that a graph G is universal for F, or F-universal, if every H in F is contained in G as a subgraph. The construction of sparse universal graphs for various families F has received a considerable amount of attention. One is particularly interested in tight F-universal graphs, i.e., graphs whose number of vertices is equal to the largest number of vertices in a graph from F. Arguably, the most studied case is that when F is some class of trees.
Given integers n and Δ, we denote by T(n,Δ) the class of all n-vertex trees with maximum degree at most Δ. In this work, we show that every n-vertex graph satisfying certain natural expansion properties is T(n,Δ)-universal or, in other words, contains every spanning tree of maximum degree at most Δ. Our methods also apply to the case when Δis some function of n. The result has a few very interesting implications. Most importantly, we obtain that the random graph G(n,p) is asymptotically almost surely (a.a.s.) universal for the class of all bounded degree spanning (i.e., n-vertex) trees provided that p \geq c n^{-1/3} \log^2n where c > 0 is a constant. Moreover, a corresponding result holds for the random regular graph of degree pn. In fact, we show that if Δsatisfies \log n \leq Δ\leq n^{1/3}, then the random graph G(n,p) with p \geq c Δn^{-1/3} \log n and the random r-regular n-vertex graph with r \geq cΔn^{2/3} \log n are a.a.s. T(n,Δ)-universal. Another interesting consequence is the existence of locally sparse n-vertex T(n,Δ)-universal graphs. For constant Δ, we show that one can (randomly) construct n-vertex T(n,Δ)-universal graphs with clique number at most five. Finally, we show robustness of random graphs with respect to being universal for T(n,Δ) in the context of the Maker-Breaker tree-universality game.
△ Less
Submitted 23 August, 2011;
originally announced August 2011.
-
Non-Existence of Linear Universal Drift Functions
Authors:
Benjamin Doerr,
Daniel Johannsen,
Carola Winzen
Abstract:
Drift analysis has become a powerful tool to prove bounds on the runtime of randomized search heuristics. It allows, for example, fairly simple proofs for the classical problem how the (1+1) Evolutionary Algorithm (EA) optimizes an arbitrary pseudo-Boolean linear function. The key idea of drift analysis is to measure the progress via another pseudo-Boolean function (called drift function) and use…
▽ More
Drift analysis has become a powerful tool to prove bounds on the runtime of randomized search heuristics. It allows, for example, fairly simple proofs for the classical problem how the (1+1) Evolutionary Algorithm (EA) optimizes an arbitrary pseudo-Boolean linear function. The key idea of drift analysis is to measure the progress via another pseudo-Boolean function (called drift function) and use deeper results from probability theory to derive from this a good bound for the runtime of the EA. Surprisingly, all these results manage to use the same drift function for all linear objective functions.
In this work, we show that such universal drift functions only exist if the mutation probability is close to the standard value of $1/n$.
△ Less
Submitted 15 November, 2010;
originally announced November 2010.
-
Counting Defective Parking Functions
Authors:
Peter J. Cameron,
Daniel Johannsen,
Thomas Prellberg,
Pascal Schweitzer
Abstract:
Suppose that $n$ drivers each choose a preferred parking space in a linear car park with $m$ spaces. Each driver goes to the chosen space and parks there if it is free, and otherwise takes the first available space with larger number (if any). If all drivers park successfully, the sequence of choices is called a parking function. In general, if $k$ drivers fail to park, we have a \emph{defective…
▽ More
Suppose that $n$ drivers each choose a preferred parking space in a linear car park with $m$ spaces. Each driver goes to the chosen space and parks there if it is free, and otherwise takes the first available space with larger number (if any). If all drivers park successfully, the sequence of choices is called a parking function. In general, if $k$ drivers fail to park, we have a \emph{defective parking function} of \emph{defect} $k$. Let $\cp(n,m,k)$ be the number of such functions.
In this paper, we establish a recurrence relation for the numbers $\cp(n,m,k)$, and express this as an equation for a three-variable generating function. We solve this equation using the kernel method, and extract the coefficients explicitly: it turns out that the cumulative totals are partial sums in Abel's binomial identity. Finally, we compute the asymptotics of $\cp(n,m,k)$. In particular, for the case $m=n$, if choices are made independently at random, the limiting distribution of the defect (the number of drivers who fail to park), scaled by the square root of $n$, is the Rayleigh distribution. On the other hand, in case $m=ω(n)$, the probability that all spaces are occupied tends asymptotically to one.
△ Less
Submitted 8 July, 2008; v1 submitted 3 March, 2008;
originally announced March 2008.
