-
Besov regularity of multivariate non-periodic functions in terms of half-period cosine coefficients and consequences for recovery and numerical integration
Authors:
Martin Schäfer,
Tino Ullrich
Abstract:
In the setting of $d$-variate periodic functions, often modelled as functions on the torus $\mathbb{T}^d\cong[0,1]^d$, the classical tensorized Fourier system is the system of choice for many applications. Turning to non-periodic functions on $[0,1]^d$ the Fourier system is not as well-suited as exemplified by the Gibbs phenomenon at the boundary. Other systems have therefore been considered for t…
▽ More
In the setting of $d$-variate periodic functions, often modelled as functions on the torus $\mathbb{T}^d\cong[0,1]^d$, the classical tensorized Fourier system is the system of choice for many applications. Turning to non-periodic functions on $[0,1]^d$ the Fourier system is not as well-suited as exemplified by the Gibbs phenomenon at the boundary. Other systems have therefore been considered for this setting. One example is the half-period cosine system, which occurs naturally as the eigenfunctions of the Laplace operator under homogeneous Neumann boundary conditions. We introduce and analyze associated function spaces, $S^{r}_{p,q}B_{\mathrm{hpc}}([0,1]^d)$, of dominating mixed Besov-type generalizing earlier concepts in this direction. As a main result, we show that there is a natural parameter range, where $S^{r}_{p,q}B_{\mathrm{hpc}}([0,1]^d)$ coincides with the classical Besov space of dominating mixed smoothness $S^{r}_{p,q}B([0,1]^d)$. This finding has direct implications for different functional analytic tasks in $S^{r}_{p,q}B([0,1]^d)$. It allows to systematically transfer methods, originally taylored to the periodic domain, to the non-periodic setup. To illustrate this, we investigate half-period cosine approximation, sampling reconstruction, and tent-transformed cubature. Concerning cubature, for instance, we are able to reproduce the optimal convergence rate $n^{-r}(\log n)^{(d-1)(1-1/q)}$ for tent-transformed digital nets in the range $1\le p,q\le\infty$, $\tfrac{1}{p}<r<2$, where $n$ is the number of samples. In our main proof we rely on Chui-Wang discretization of the dominating mixed Besov space $S^{r}_{p,q}B(\mathbb{R}^d)$, which we provide for the first time for the multivariate domain.
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
Exact discretization, tight frames and recovery via D-optimal designs
Authors:
Felix Bartel,
Lutz Kämmerer,
Kateryna Pozharska,
Martin Schäfer,
Tino Ullrich
Abstract:
$D…
▽ More
$D$-optimal designs originate in statistics literature as an approach for optimal experimental designs. In numerical analysis points and weights resulting from maximal determinants turned out to be useful for quadrature and interpolation. Also recently, two of the present authors and coauthors investigated a connection to the discretization problem for the uniform norm. Here we use this approach of maximizing the determinant of a certain Gramian matrix with respect to points and weights for the construction of tight frames and exact Marcinkiewicz-Zygmund inequalities in $L_2$. We present a direct and constructive approach resulting in a discrete measure with at most $N \leq n^2+1$ atoms, which discretely and accurately subsamples the $L_2$-norm of complex-valued functions contained in a given $n$-dimensional subspace. This approach can as well be used for the reconstruction of functions from general RKHS in $L_2$ where one only has access to the most important eigenfunctions. We verifiably and deterministically construct points and weights for a weighted least squares recovery procedure and pay in the rate of convergence compared to earlier optimal, however probabilistic approaches. The general results apply to the $d$-sphere or multivariate trigonometric polynomials on $\mathbb{T}^d$ spectrally supported on arbitrary finite index sets~$I \subset \mathbb{Z}^d$. They can be discretized using at most $|I|^2-|I|+1$ points and weights. Numerical experiments indicate the sharpness of this result. As a negative result we prove that, in general, it is not possible to control the number of points in a reconstructing lattice rule only in the cardinality $|I|$ without additional condition on the structure of $I$. We support our findings with numerical experiments.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Chaos in opinion-driven disease dynamics
Authors:
Thomas Götz,
Tyll Krüger,
Karol Niedzielewski,
Radomir Pestow,
Moritz Schäfer,
Jan Schneider
Abstract:
During the COVID-19 pandemic, it became evident that the effectiveness of applying intervention measures is significantly influenced by societal acceptance, which, in turn, is affected by the processes of opinion formation. This article explores one among the many possibilities of a coupled opinion-epidemic system. The findings reveal either intricate periodic patterns or chaotic dynamics, leading…
▽ More
During the COVID-19 pandemic, it became evident that the effectiveness of applying intervention measures is significantly influenced by societal acceptance, which, in turn, is affected by the processes of opinion formation. This article explores one among the many possibilities of a coupled opinion-epidemic system. The findings reveal either intricate periodic patterns or chaotic dynamics, leading to substantial fluctuations in opinion distribution and, consequently, significant variations in the total number of infections over time. Interestingly, the model is exhibiting the protective pattern.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
TwinLab: a framework for data-efficient training of non-intrusive reduced-order models for digital twins
Authors:
Maximilian Kannapinn,
Michael Schäfer,
Oliver Weeger
Abstract:
Purpose: Simulation-based digital twins represent an effort to provide high-accuracy real-time insights into operational physical processes. However, the computation time of many multi-physical simulation models is far from real-time. It might even exceed sensible time frames to produce sufficient data for training data-driven reduced-order models. This study presents TwinLab, a framework for data…
▽ More
Purpose: Simulation-based digital twins represent an effort to provide high-accuracy real-time insights into operational physical processes. However, the computation time of many multi-physical simulation models is far from real-time. It might even exceed sensible time frames to produce sufficient data for training data-driven reduced-order models. This study presents TwinLab, a framework for data-efficient, yet accurate training of neural-ODE type reduced-order models with only two data sets. Design/methodology/approach: Correlations between test errors of reduced-order models and distinct features of corresponding training data are investigated. Having found the single best data sets for training, a second data set is sought with the help of similarity and error measures to enrich the training process effectively. Findings: Adding a suitable second training data set in the training process reduces the test error by up to 49% compared to the best base reduced-order model trained only with one data set. Such a second training data set should at least yield a good reduced-order model on its own and exhibit higher levels of dissimilarity to the base training data set regarding the respective excitation signal. Moreover, the base reduced-order model should have elevated test errors on the second data set. The relative error of the time series ranges from 0.18% to 0.49%. Prediction speed-ups of up to a factor of 36,000 are observed. Originality: The proposed computational framework facilitates the automated, data-efficient extraction of non-intrusive reduced-order models for digital twins from existing simulation models, independent of the simulation software.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
An integro-differential model for the spread of diseases
Authors:
Moritz Schäfer,
Karol Niedzielewski,
Thomas Götz,
Tyll Krüger
Abstract:
In this study, we present an integro-differential model to simulate the local spread of infections. The model incorporates a standard susceptible-infected-recovered (\textit{SIR}-) model enhanced by an integral kernel, allowing for non-homogeneous mixing between susceptibles and infectives. We define requirements for the kernel function and derive analytical results for both the \textit{SIR}- and…
▽ More
In this study, we present an integro-differential model to simulate the local spread of infections. The model incorporates a standard susceptible-infected-recovered (\textit{SIR}-) model enhanced by an integral kernel, allowing for non-homogeneous mixing between susceptibles and infectives. We define requirements for the kernel function and derive analytical results for both the \textit{SIR}- and a reduced susceptible-infected-susceptible (\textit{SIS}-) model, especially the uniqueness of solutions.
In order to optimize the balance between disease containment and the social and political costs associated with lockdown measures, we set up requirements for the implementation of control function, and show examples for three different formulations for the control: continuous and time-dependent, continuous and space- and time-dependent, and piecewise constant space- and time-dependent. Latter represent reality more closely as the control cannot be updated for every time and location. We found the optimal control values for all of those setups, which are by nature best for a continuous and space-and time dependent control, yet found reasonable results for the discrete setting as well.
To validate the numerical results of the integro-differential model, we compare them to an established agent-based model that incorporates social and other microscopical factors more accurately and thus acts as a benchmark for the validity of the integro-differential approach. A close match between the results of both models validates the integro-differential model as an efficient macroscopic proxy. Since computing an optimal control strategy for agent-based models is computationally very expensive, yet comparatively cheap for the integro-differential model, using the proxy model might have interesting implications for future research.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Modelling the Spatial Spread of COVID-19 in a German District using a Diffusion Model
Authors:
Moritz Schäfer,
Peter Heidrich,
Thomas Götz
Abstract:
In this study, we present an integro-differential model to simulate the local spread of infections. The model incorporates a standard susceptible-infected-recovered (\textit{SIR}-) model enhanced by an integral kernel, allowing for non-homogeneous mixing between susceptibles and infectives. We define requirements for the kernel function and derive analytical results for both the \textit{SIR}- and…
▽ More
In this study, we present an integro-differential model to simulate the local spread of infections. The model incorporates a standard susceptible-infected-recovered (\textit{SIR}-) model enhanced by an integral kernel, allowing for non-homogeneous mixing between susceptibles and infectives. We define requirements for the kernel function and derive analytical results for both the \textit{SIR}- and a reduced susceptible-infected-susceptible (\textit{SIS}-) model, especially the uniqueness of solutions.
In order to optimize the balance between disease containment and the social and political costs associated with lockdown measures, we set up requirements for the implementation of control functions, and show examples for continuous and time-dependent, continuous and space- and time-dependent, and piecewise constant space- and time-dependent controls. Latter represent reality more closely as the control cannot be updated for every time and location. We found the optimal control values for all of those setups, which are by nature best for a continuous and space-and time dependent control, yet found reasonable results for the discrete setting as well.
To validate the numerical results of the integro-differential model, we compare them to an established agent-based model that incorporates social and other microscopical factors more accurately and thus acts as a benchmark for the validity of the integro-differential approach. A close match between the results of both models validates the integro-differential model as an efficient macroscopic proxy. Since computing an optimal control strategy for agent-based models is computationally very expensive, yet comparatively cheap for the integro-differential model, using the proxy model might have interesting implications for future research.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Autonomous Cooking with Digital Twin Methodology
Authors:
Maximilian Kannapinn,
Michael Schäfer
Abstract:
This work introduces the concept of an autonomous cooking process based on Digital Twin method- ology. It proposes a hybrid approach of physics-based full order simulations followed by a data-driven system identification process with low errors. It makes faster-than-real-time simulations of Digital Twins feasible on a device level, without the need for cloud or high-performance computing. The conc…
▽ More
This work introduces the concept of an autonomous cooking process based on Digital Twin method- ology. It proposes a hybrid approach of physics-based full order simulations followed by a data-driven system identification process with low errors. It makes faster-than-real-time simulations of Digital Twins feasible on a device level, without the need for cloud or high-performance computing. The concept is universally applicable to various physical processes.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Spiraling and Folding: The Topological View
Authors:
Jan Kynčl,
Marcus Schaefer,
Eric Sedgwick,
Daniel Štefankovič
Abstract:
For every $n$, we construct two curves in the plane that intersect at least $n$ times and do not form spirals. The construction is in three stages: we first exhibit closed curves on the torus that do not form double spirals, then arcs on the torus that do not form spirals, and finally pairs of planar arcs that do not form spirals. These curves provide a counterexample to a proof of Pach and Tóth c…
▽ More
For every $n$, we construct two curves in the plane that intersect at least $n$ times and do not form spirals. The construction is in three stages: we first exhibit closed curves on the torus that do not form double spirals, then arcs on the torus that do not form spirals, and finally pairs of planar arcs that do not form spirals. These curves provide a counterexample to a proof of Pach and Tóth concerning string graphs.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Constructive subsampling of finite frames with applications in optimal function recovery
Authors:
Felix Bartel,
Martin Schäfer,
Tino Ullrich
Abstract:
In this paper we present new constructive methods, random and deterministic, for the efficient subsampling of finite frames in $\mathbb C^m$. Based on a suitable random subsampling strategy, we are able to extract from any given frame with bounds $0<A\le B<\infty$ (and condition $B/A$) a similarly conditioned reweighted subframe consisting of merely $\mathcal{O}(m\log m)$ elements. Further, utiliz…
▽ More
In this paper we present new constructive methods, random and deterministic, for the efficient subsampling of finite frames in $\mathbb C^m$. Based on a suitable random subsampling strategy, we are able to extract from any given frame with bounds $0<A\le B<\infty$ (and condition $B/A$) a similarly conditioned reweighted subframe consisting of merely $\mathcal{O}(m\log m)$ elements. Further, utilizing a deterministic subsampling method based on principles developed by Batson, Spielman, and Srivastava to control the spectrum of sums of Hermitian rank-1 matrices, we are able to reduce the number of elements to $\mathcal{O}(m)$ (with a constant close to one). By controlling the weights via a preconditioning step, we can, in addition, preserve the lower frame bound in the unweighted case. This permits the derivation of new quasi-optimal unweighted (left) Marcinkiewicz-Zygmund inequalities for $L_2(D,ν)$ with constructible node sets of size $\mathcal{O}(m)$ for $m$-dimensional subspaces of bounded functions. Those can be applied e.g. for (plain) least-squares sampling reconstruction of functions, where we obtain new quasi-optimal results avoiding the Kadison-Singer theorem. Numerical experiments indicate the applicability of our results.
△ Less
Submitted 24 January, 2023; v1 submitted 25 February, 2022;
originally announced February 2022.
-
RAC-drawability is $\exists\mathbb{R}$-complete
Authors:
Marcus Schaefer
Abstract:
A RAC-drawing of a graph is a straight-line drawing in which every crossing occurs at a right-angle. We show that deciding whether a graph has a RAC-drawing is as hard as the existential theory of the reals, even if we know that every edge is involved in at most ten crossings and even if the drawing is specified up to isomorphism.
A RAC-drawing of a graph is a straight-line drawing in which every crossing occurs at a right-angle. We show that deciding whether a graph has a RAC-drawing is as hard as the existential theory of the reals, even if we know that every edge is involved in at most ten crossings and even if the drawing is specified up to isomorphism.
△ Less
Submitted 27 July, 2021; v1 submitted 24 July, 2021;
originally announced July 2021.
-
A new upper bound for sampling numbers
Authors:
Nicolas Nagel,
Martin Schäfer,
Tino Ullrich
Abstract:
We provide a new upper bound for sampling numbers $(g_n)_{n\in \mathbb{N}}$ associated to the compact embedding of a separable reproducing kernel Hilbert space into the space of square integrable functions. There are universal constants $C,c>0$ (which are specified in the paper) such that $$
g^2_n \leq \frac{C\log(n)}{n}\sum\limits_{k\geq \lfloor cn \rfloor} σ_k^2\quad,\quad n\geq 2\,, $$ where…
▽ More
We provide a new upper bound for sampling numbers $(g_n)_{n\in \mathbb{N}}$ associated to the compact embedding of a separable reproducing kernel Hilbert space into the space of square integrable functions. There are universal constants $C,c>0$ (which are specified in the paper) such that $$
g^2_n \leq \frac{C\log(n)}{n}\sum\limits_{k\geq \lfloor cn \rfloor} σ_k^2\quad,\quad n\geq 2\,, $$ where $(σ_k)_{k\in \mathbb{N}}$ is the sequence of singular numbers (approximation numbers) of the Hilbert-Schmidt embedding $\text{Id}:H(K) \to L_2(D,\varrho_D)$. The algorithm which realizes the bound is a least squares algorithm based on a specific set of sampling nodes. These are constructed out of a random draw in combination with a down-sampling procedure coming from the celebrated proof of Weaver's conjecture, which was shown to be equivalent to the Kadison-Singer problem. Our result is non-constructive since we only show the existence of a linear sampling operator realizing the above bound. The general result can for instance be applied to the well-known situation of $H^s_{\text{mix}}(\mathbb{T}^d)$ in $L_2(\mathbb{T}^d)$ with $s>1/2$. We obtain the asymptotic bound $$
g_n \leq C_{s,d}n^{-s}\log(n)^{(d-1)s+1/2}\,, $$ which improves on very recent results by shortening the gap between upper and lower bound to $\sqrt{\log(n)}$.
△ Less
Submitted 9 February, 2021; v1 submitted 30 September, 2020;
originally announced October 2020.
-
Strong Hanani-Tutte for the Torus
Authors:
Radoslav Fulek,
Michael J. Pelsmajer,
Marcus Schaefer
Abstract:
If a graph can be drawn on the torus so that every two independent edges cross an even number of times, then the graph can be embedded on the torus.
If a graph can be drawn on the torus so that every two independent edges cross an even number of times, then the graph can be embedded on the torus.
△ Less
Submitted 13 April, 2021; v1 submitted 1 September, 2020;
originally announced September 2020.
-
Hyperbolic wavelet analysis of classical isotropic and anisotropic Besov-Sobolev spaces
Authors:
M. Schäfer,
T. Ullrich,
B. Vedel
Abstract:
In this paper we introduce new function spaces which we call anisotropic hyperbolic Besov and Triebel-Lizorkin spaces. Their definition is based on a hyperbolic Littlewood-Paley analysis involving an anisotropy vector only occurring in the smoothness weights. Such spaces provide a general and natural setting in order to understand what kind of anisotropic smoothness can be described using hyperbol…
▽ More
In this paper we introduce new function spaces which we call anisotropic hyperbolic Besov and Triebel-Lizorkin spaces. Their definition is based on a hyperbolic Littlewood-Paley analysis involving an anisotropy vector only occurring in the smoothness weights. Such spaces provide a general and natural setting in order to understand what kind of anisotropic smoothness can be described using hyperbolic wavelets (in the literature also sometimes called tensor-product wavelets), a wavelet class which hitherto has been mainly used to characterize spaces of dominating mixed smoothness.
A centerpiece of our present work are characterizations of these new spaces based on the hyperbolic wavelet transform. Hereby we treat both, the standard approach using wavelet systems equipped with sufficient smoothness, decay, and vanishing moments, but also the very simple and basic hyperbolic Haar system.
The second major question we pursue is the relationship between the novel hyperbolic spaces and the classical anisotropic Besov-Lizorkin-Triebel scales. As our results show, in general, both approaches to resolve an anisotropy do not coincide. However, in the Sobolev range this is the case, providing a link to apply the newly obtained hyperbolic wavelet characterizations to the classical setting. In particular, this allows for detecting classical anisotropies via the coefficients of a universal hyperbolic wavelet basis, without the need of adaption of the basis or a-priori knowledge on the anisotropy.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Link Crossing Number is NP-hard
Authors:
Arnaud de Mesmay,
Marcus Schaefer,
Eric Sedgwick
Abstract:
We show that determining the crossing number of a link is NP-hard. For some weaker notions of link equivalence, we also show NP-completeness.
We show that determining the crossing number of a link is NP-hard. For some weaker notions of link equivalence, we also show NP-completeness.
△ Less
Submitted 12 August, 2019;
originally announced August 2019.
-
A Note on the Maximum Rectilinear Crossing Number of Spiders
Authors:
Joshua Fallon,
Kirsten Hogenson,
Lauren Keough,
Mario Lomelí,
Marcus Schaefer,
Pablo Soberón
Abstract:
The maximum rectilinear crossing number of a graph $G$ is the maximum number of crossings in a good straight-line drawing of $G$ in the plane. In a good drawing any two edges intersect in at most one point (counting endpoints), no three edges have an interior point in common, and edges do not contain vertices in their interior. A spider is a subdivision of $K_{1,k}$. We provide both upper and lowe…
▽ More
The maximum rectilinear crossing number of a graph $G$ is the maximum number of crossings in a good straight-line drawing of $G$ in the plane. In a good drawing any two edges intersect in at most one point (counting endpoints), no three edges have an interior point in common, and edges do not contain vertices in their interior. A spider is a subdivision of $K_{1,k}$. We provide both upper and lower bounds for the maximum rectilinear crossing number of spiders. While there are not many results on the maximum rectilinear crossing numbers of infinite families of graphs, our methods can be used to find the exact maximum rectilinear crossing number of $K_{1,k}$ where each edge is subdivided exactly once. This is a first step towards calculating the maximum rectilinear crossing number of arbitrary trees.
△ Less
Submitted 20 August, 2021; v1 submitted 1 August, 2018;
originally announced August 2018.
-
The Role of $α$-Scaling for Cartoon Approximation
Authors:
Martin Schäfer
Abstract:
The class of cartoon-like functions, classicly defined as piecewise $C^2$ functions consisting of smooth regions separated by $C^2$ discontinuity curves, is a well-established model for image data. The quest for optimal approximation of this class has among others led to the development of curvelets, contourlets, and shearlets. Due to parabolic scaling, these systems are able to provide a quasi-op…
▽ More
The class of cartoon-like functions, classicly defined as piecewise $C^2$ functions consisting of smooth regions separated by $C^2$ discontinuity curves, is a well-established model for image data. The quest for optimal approximation of this class has among others led to the development of curvelets, contourlets, and shearlets. Due to parabolic scaling, these systems are able to provide a quasi-optimal $N$-term approximation rate of order $N^{-2}$. Replacing parabolic scaling by $α$-scaling, one obtains $α$-curvelets and $α$-shearlets, which interpolate between wavelet-type systems ($α=1$), parabolically scaled systems ($α=\frac12$), and ridgelet-type systems ($α=0$). Previous research shows that in the range $α\in[\frac{1}{2},1)$ they provide quasi-optimal approximation for cartoons of regularity $C^{1/α}$ with a rate of order $N^{-1/α}$.
In this work we continue to explore $α$-scaled representation systems, with the aim to better understand the role of the parameter $α$ for approximation. Concerning $α$-curvelets with $α<1$, we prove that the best possible $N$-term approximation rate achievable for cartoons with curved edges is limited to at most $N^{-1/(1-α)}$, independent of the smoothness of the cartoons. The maximal rate achievable by simple thresholding of the frame coefficients is even bounded by $N^{-1/\max\{α,1-α\}}$. If the edges of the cartoons are straight the approximation performance of $α$-curvelets is different: Assuming $C^β$ regularity, we establish an approximation rate of order $N^{-\min\{α^{-1},β\}}$, which is quasi-optimal if $α\in [0,β^{-1}]$. Finally, via the framework of $α$-molecules, the obtained results are extended to other $α$-scaled systems including in particular $α$-shearlets.
△ Less
Submitted 3 December, 2016;
originally announced December 2016.
-
Bendlets: A Second-Order Shearlet Transform with Bent Elements
Authors:
Christian Lessig,
Philipp Petersen,
Martin Schäfer
Abstract:
We introduce bendlets, a shearlet-like system that is based on anisotropic scaling, translation, shearing, and bending of a compactly supported generator. With shearing being linear and bending quadratic in spatial coordinates, bendlets provide what we term a second-order shearlet system. As we show in this article, the decay rates of the associated transform enable the precise characterization of…
▽ More
We introduce bendlets, a shearlet-like system that is based on anisotropic scaling, translation, shearing, and bending of a compactly supported generator. With shearing being linear and bending quadratic in spatial coordinates, bendlets provide what we term a second-order shearlet system. As we show in this article, the decay rates of the associated transform enable the precise characterization of location, orientation and curvature of discontinuities in piecewise constant images. These results yield an improvement over existing directional representation systems where curvature only controls the constant of the decay rate of the transform. We also detail the construction of shearlet systems of arbitrary order. A practical implementation of bendlets is provided as an extension of the ShearLab toolbox, which we use to verify our theoretical classification results.
△ Less
Submitted 15 May, 2017; v1 submitted 19 July, 2016;
originally announced July 2016.
-
Verification of a binary fluid solidification model in the finite-volume flow solver
Authors:
Tomasz Waclawczyk,
Michael Schaefer
Abstract:
The aim of this paper is to verify the new numerical implementation of a binary fluid, heat conduction dominated solidification model. First, we extend a semi-analytical solution to the heat diffusion equation, next, the range of its applicability is investigated. It was found that the linearization introduced to the heat diffusion equation negatively affects the ability to predict solidus and liq…
▽ More
The aim of this paper is to verify the new numerical implementation of a binary fluid, heat conduction dominated solidification model. First, we extend a semi-analytical solution to the heat diffusion equation, next, the range of its applicability is investigated. It was found that the linearization introduced to the heat diffusion equation negatively affects the ability to predict solidus and liquidus lines positions whenever the magnitude of latent heat of fusion exceeds a certain value. Next, a binary fluid solidification model is coupled with a flow solver, and is used in a numerical study of Al-4.1%Cu alloy solidification in a two-dimensional rectangular cavity. An accurate coupling between the solidification model and the flow solver is crucial for the correct forecast of solidification front positions and macrosegregation patterns.
△ Less
Submitted 4 July, 2015;
originally announced July 2015.
-
General coorbit space theory for quasi-Banach spaces and inhomogeneous function spaces with variable smoothness and integrability
Authors:
Henning Kempka,
Martin Schäfer,
Tino Ullrich
Abstract:
In this paper we propose a general coorbit space theory suitable to define coorbits of quasi-Banach spaces using an abstract continuous frame, indexed by a locally compact Hausdorff space, and an associated generalized voice transform. The proposed theory realizes a further step in the development of a universal abstract theory towards various function spaces and their atomic decompositions which…
▽ More
In this paper we propose a general coorbit space theory suitable to define coorbits of quasi-Banach spaces using an abstract continuous frame, indexed by a locally compact Hausdorff space, and an associated generalized voice transform. The proposed theory realizes a further step in the development of a universal abstract theory towards various function spaces and their atomic decompositions which has been initiated by Feichtinger and Gr{ö}chenig in the late 1980ies. We combine the recent approaches in Rauhut, Ullrich and Rauhut to identify, in particular, various inhomogeneous (quasi-Banach) spaces of Besov-Lizorkin-Triebel type. To prove the potential of our new theory we apply it to spaces with variable smoothness and integrability which have attracted significant interest in the last 10 years. From the abstract discretization machinery we obtain atomic decompositions as well as wavelet frame isomorphisms for these spaces.
△ Less
Submitted 30 August, 2016; v1 submitted 24 June, 2015;
originally announced June 2015.
-
Multivariate $α$-molecules
Authors:
Axel Flinth,
Martin Schäfer
Abstract:
The suboptimal performance of wavelets with regard to the approximation of multivariate data gave rise to new representation systems, specifically designed for data with anisotropic features. Some prominent examples of these are given by ridgelets, curvelets, and shearlets, to name a few.
The great variety of such so-called directional systems motivated the search for a common framework, which u…
▽ More
The suboptimal performance of wavelets with regard to the approximation of multivariate data gave rise to new representation systems, specifically designed for data with anisotropic features. Some prominent examples of these are given by ridgelets, curvelets, and shearlets, to name a few.
The great variety of such so-called directional systems motivated the search for a common framework, which unites many under one roof and enables a simultaneous analysis, for example with respect to approximation properties. Building on the concept of parabolic molecules, the recently introduced framework of $α$-molecules does in fact include the previous mentioned systems. Until now however it is confined to the bivariate setting, whereas nowadays one often deals with higher dimensional data. This motivates the extension of this unifying theory to dimensions larger than 2, put forward in this work. In particular, we generalize the central result that the cross-Gramian of any two systems of $α$-molecules will to some extent be localized.
As an exemplary application, we investigate the sparse approximation of video signals, which are instances of 3D data. The multivariate theory allows us to derive almost optimal approximation rates for a large class of representation systems.
△ Less
Submitted 8 January, 2016; v1 submitted 27 April, 2015;
originally announced April 2015.
-
$α$-Molecules
Authors:
Philipp Grohs,
Sandra Keiper,
Gitta Kutyniok,
Martin Schäfer
Abstract:
Within the area of applied harmonic analysis, various multiscale systems such as wavelets, ridgelets, curvelets, and shearlets have been introduced and successfully applied. The key property of each of those systems are their (optimal) approximation properties in terms of the decay of the $L^2$-error of the best $N$-term approximation for a certain class of functions. In this paper, we introduce t…
▽ More
Within the area of applied harmonic analysis, various multiscale systems such as wavelets, ridgelets, curvelets, and shearlets have been introduced and successfully applied. The key property of each of those systems are their (optimal) approximation properties in terms of the decay of the $L^2$-error of the best $N$-term approximation for a certain class of functions. In this paper, we introduce the general framework of $α$-molecules, which encompasses most multiscale systems from applied harmonic analysis, in particular, wavelets, ridgelets, curvelets, and shearlets as well as extensions of such with $α$ being a parameter measuring the degree of anisotropy, as a means to allow a unified treatment of approximation results within this area. Based on an $α$-scaled index distance, we first prove that two systems of $α$-molecules are almost orthogonal. This leads to a general methodology to transfer approximation results within this framework, provided that certain consistency and time-frequency localization conditions of the involved systems of $α$-molecules are satisfied. We finally utilize these results to enable the derivation of optimal sparse approximation results \msch{for} a specific class of cartoon-like functions by sufficient conditions on the 'control' parameters of a system of $α$-molecules.
△ Less
Submitted 16 July, 2014;
originally announced July 2014.
-
Cartoon Approximation with $α$-Curvelets
Authors:
Philipp Grohs,
Sandra Keiper,
Gitta Kutyniok,
Martin Schäfer
Abstract:
It is well-known that curvelets provide optimal approximations for so-called cartoon images which are defined as piecewise $C^2$-functions, separated by a $C^2$ singularity curve. In this paper, we consider the more general case of piecewise $C^β$-functions, separated by a $C^β$ singularity curve for $β\in (1,2]$. We first prove a benchmark result for the possibly achievable best $N$-term approxim…
▽ More
It is well-known that curvelets provide optimal approximations for so-called cartoon images which are defined as piecewise $C^2$-functions, separated by a $C^2$ singularity curve. In this paper, we consider the more general case of piecewise $C^β$-functions, separated by a $C^β$ singularity curve for $β\in (1,2]$. We first prove a benchmark result for the possibly achievable best $N$-term approximation rate for this more general signal model. Then we introduce what we call $α$-curvelets, which are systems that interpolate between wavelet systems on the one hand ($α= 1$) and curvelet systems on the other hand ($α= \frac12$). Our main result states that those frames achieve this optimal rate for $α= \frac{1}β$, up to $\log$-factors.
△ Less
Submitted 3 April, 2014;
originally announced April 2014.
-
Picking Planar Edges; or, Drawing a Graph with a Planar Subgraph
Authors:
Marcus Schaefer
Abstract:
Given a graph $G$ and a subset $F \subseteq E(G)$ of its edges, is there a drawing of $G$ in which all edges of $F$ are free of crossings? We show that this question can be solved in polynomial time using a Hanani-Tutte style approach. If we require the drawing of $G$ to be straight-line, and allow at most one crossing along each edge in $F$, the problem turns out to be as hard as the existential…
▽ More
Given a graph $G$ and a subset $F \subseteq E(G)$ of its edges, is there a drawing of $G$ in which all edges of $F$ are free of crossings? We show that this question can be solved in polynomial time using a Hanani-Tutte style approach. If we require the drawing of $G$ to be straight-line, and allow at most one crossing along each edge in $F$, the problem turns out to be as hard as the existential theory of the real numbers.
△ Less
Submitted 26 November, 2013;
originally announced November 2013.
-
Finite Sholander Trees, Trees, and their Betweenness
Authors:
Vašek Chvátal,
Dieter Rautenbach,
Philipp Matthias Schäfer
Abstract:
We provide a proof of Sholander's claim (Trees, lattices, order, and betweenness, Proc. Amer. Math. Soc. 3, 369-381 (1952)) concerning the representability of collections of so-called segments by trees, which yields a characterization of the interval function of a tree. Furthermore, we streamline Burigana's characterization (Tree representations of betweenness relations defined by intersection and…
▽ More
We provide a proof of Sholander's claim (Trees, lattices, order, and betweenness, Proc. Amer. Math. Soc. 3, 369-381 (1952)) concerning the representability of collections of so-called segments by trees, which yields a characterization of the interval function of a tree. Furthermore, we streamline Burigana's characterization (Tree representations of betweenness relations defined by intersection and inclusion, Mathematics and Social Sciences 185, 5-36 (2009)) of tree betweenness and provide a relatively short proof.
△ Less
Submitted 15 January, 2011;
originally announced January 2011.
-
Selecting Local Models in Multiple Regression by Maximizing Power
Authors:
Chad M. Schafer,
Kjell A. Doksum
Abstract:
This paper considers multiple regression procedures for analyzing the relationship between a response variable and a vector of covariates in a nonparametric setting where both tuning parameters and the number of covariates need to be selected. We introduce an approach which handles the dilemma that with high dimensional data the sparsity of data in regions of the sample space makes estimation of…
▽ More
This paper considers multiple regression procedures for analyzing the relationship between a response variable and a vector of covariates in a nonparametric setting where both tuning parameters and the number of covariates need to be selected. We introduce an approach which handles the dilemma that with high dimensional data the sparsity of data in regions of the sample space makes estimation of nonparametric curves and surfaces virtually impossible. This is accomplished by abandoning the goal of trying to estimate true underlying curves and instead estimating measures of dependence that can determine important relationships between variables.
△ Less
Submitted 9 December, 2006;
originally announced December 2006.
