-
$U$-Operators Acting on Harmonic Cocycles for $\mathrm{GL}_3$ and Their Slopes
Authors:
Gebhard Boeckle,
Peter Mathias Graef,
Theresa Kaiser
Abstract:
In this article, we describe a computational study of the action of the two natural $U$-operators acting on $Γ$-invariant spaces of harmonic cocycles for $\mathrm{GL}_3$ for certain congruence subgroups $Γ$, in a positive characteristic setting. The cocycle spaces we consider are conjecturally isomorphic to spaces of Drinfeld cusp forms of rank $3$ and level $Γ$ via an analogue of Teitelbaum's res…
▽ More
In this article, we describe a computational study of the action of the two natural $U$-operators acting on $Γ$-invariant spaces of harmonic cocycles for $\mathrm{GL}_3$ for certain congruence subgroups $Γ$, in a positive characteristic setting. The cocycle spaces we consider are conjecturally isomorphic to spaces of Drinfeld cusp forms of rank $3$ and level $Γ$ via an analogue of Teitelbaum's residue map. We give explicit descriptions of the spaces of harmonic cocycles as subspaces of the vector space of coefficients, and of the resulting $U$- and Hecke operators acting on these. We then implement these formulas in a computer algebra system. Using the resulting data of slopes (and characteristic polynomials) for the Hecke actions, we observe several patterns and interesting phenomena present in our slope tables. This appears to be the first such study in a $\mathrm{GL}_3$ setting.
△ Less
Submitted 4 March, 2025; v1 submitted 28 February, 2025;
originally announced March 2025.
-
Dimension formulas for certain spaces of Drinfeld cusp forms
Authors:
Gebhard Boeckle,
Peter Mathias Graef,
Iason Papadopoulos
Abstract:
In this short note, we derive dimension formulas for spaces of Drinfeld cusp forms corresponding to harmonic cocycles invariant under the group $\mathrm{SL}_2(\mathbb{F}_q[t])$ and with values in absolutely irreducible $\mathrm{SL}_2(\mathbb{F}_q(t))$-representations via the theory of Brauer characters. This generalizes results in [BGP21] obtained by different methods. In addition, we prove a simp…
▽ More
In this short note, we derive dimension formulas for spaces of Drinfeld cusp forms corresponding to harmonic cocycles invariant under the group $\mathrm{SL}_2(\mathbb{F}_q[t])$ and with values in absolutely irreducible $\mathrm{SL}_2(\mathbb{F}_q(t))$-representations via the theory of Brauer characters. This generalizes results in [BGP21] obtained by different methods. In addition, we prove a simple asymptotic formula for these dimensions.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Hawking's singularity theorem for Lipschitz Lorentzian metrics
Authors:
Matteo Calisti,
Melanie Graf,
Eduardo Hafemann,
Michael Kunzinger,
Roland Steinbauer
Abstract:
We prove Hawking's singularity theorem for spacetime metrics of local Lipschitz regularity. The proof rests on (1) new estimates for the Ricci curvature of regularising smooth metrics that are based upon a quite general Friedrichs-type lemma and (2) the replacement of the usual focusing techniques for timelike geodesics -- which in the absence of a classical ODE-theory for the initial value proble…
▽ More
We prove Hawking's singularity theorem for spacetime metrics of local Lipschitz regularity. The proof rests on (1) new estimates for the Ricci curvature of regularising smooth metrics that are based upon a quite general Friedrichs-type lemma and (2) the replacement of the usual focusing techniques for timelike geodesics -- which in the absence of a classical ODE-theory for the initial value problem are no longer available -- by a worldvolume estimate based on a segment-type inequality that allows one to control the volume of the set of points in a spacelike surface that possess long maximisers.
△ Less
Submitted 4 February, 2025; v1 submitted 30 January, 2025;
originally announced January 2025.
-
$C^{0}$-inextendibility of FLRW spacetimes within a subclass of axisymmetric spacetimes
Authors:
Melanie Graf,
Marco van den Beld-Serrano
Abstract:
Starting from the proof of the $C^0$-inextendibility of Schwarzschild by Sbierski, the past decade has seen renewed interest in showing low-regularity inextendibility for known spacetime models. Specifically, a lot of attention has been paid to FLRW spacetimes and there is an ever growing array of results in the literature. Apart from hoping to provide a concise summary of the state of the art we…
▽ More
Starting from the proof of the $C^0$-inextendibility of Schwarzschild by Sbierski, the past decade has seen renewed interest in showing low-regularity inextendibility for known spacetime models. Specifically, a lot of attention has been paid to FLRW spacetimes and there is an ever growing array of results in the literature. Apart from hoping to provide a concise summary of the state of the art we present an extension of work by Galloway and Ling on $C^0$-inextendibility of certain FLRW spacetimes within a subclass of spherically symmetric spacetimes, to $C^0$-inextendibility within a subclass of axisymmetric spacetimes. Notably our result works in the case of flat FLRW spacetimes with $a(t)\to 0$ for $t\to 0^+$, a setting where other known $C^0$-inextendibility results for FLRW spacetimes due to Sbierski do not apply.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
Optimal level set estimation for non-parametric tournament and crowdsourcing problems
Authors:
Maximilian Graf,
Alexandra Carpentier,
Nicolas Verzelen
Abstract:
Motivated by crowdsourcing, we consider a problem where we partially observe the correctness of the answers of $n$ experts on $d$ questions. In this paper, we assume that both the experts and the questions can be ordered, namely that the matrix $M$ containing the probability that expert $i$ answers correctly to question $j$ is bi-isotonic up to a permutation of it rows and columns. When $n=d$, thi…
▽ More
Motivated by crowdsourcing, we consider a problem where we partially observe the correctness of the answers of $n$ experts on $d$ questions. In this paper, we assume that both the experts and the questions can be ordered, namely that the matrix $M$ containing the probability that expert $i$ answers correctly to question $j$ is bi-isotonic up to a permutation of it rows and columns. When $n=d$, this also encompasses the strongly stochastic transitive (SST) model from the tournament literature. Here, we focus on the relevant problem of deciphering small entries of $M$ from large entries of $M$, which is key in crowdsourcing for efficient allocation of workers to questions. More precisely, we aim at recovering a (or several) level set $p$ of the matrix up to a precision $h$, namely recovering resp. the sets of positions $(i,j)$ in $M$ such that $M_{ij}>p+h$ and $M_{i,j}<p-h$. We consider, as a loss measure, the number of misclassified entries. As our main result, we construct an efficient polynomial-time algorithm that turns out to be minimax optimal for this classification problem. This heavily contrasts with existing literature in the SST model where, for the stronger reconstruction loss, statistical-computational gaps have been conjectured. More generally, this shades light on the nature of statistical-computational gaps for permutations models.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Coordinates are messy -- not only in General Relativity
Authors:
Carla Cederbaum,
Melanie Graf
Abstract:
The coordinate freedom of General Relativity makes it challenging to find mathematically rigorous and physically sound definitions for physical quantities such as the center of mass of an isolated gravitating system. We will argue that a similar phenomenon occurs in Newtonian Gravity once one ahistorically drops the restriction that one should only work in Cartesian coordinates when studying Newto…
▽ More
The coordinate freedom of General Relativity makes it challenging to find mathematically rigorous and physically sound definitions for physical quantities such as the center of mass of an isolated gravitating system. We will argue that a similar phenomenon occurs in Newtonian Gravity once one ahistorically drops the restriction that one should only work in Cartesian coordinates when studying Newtonian Gravity. This will also shed light on the nature of the challenge of defining the center of mass in General Relativity. Relatedly, we will give explicit examples of asymptotically Euclidean relativistic initial data sets which do not satisfy the Regge--Teitelboim parity conditions often used to achieve a satisfactory definition of center of mass. These originate in our joint work with Jan Metzger. This will require appealing to Bartnik's asymptotic harmonic coordinates.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Uniqueness of maximal spacetime boundaries
Authors:
Melanie Graf,
Marco van den Beld-Serrano
Abstract:
Given an extendible spacetime one may ask how much, if any, uniqueness can in general be expected of the extension. Locally, this question was considered and comprehensively answered in a recent paper of Sbierski, where he obtains local uniqueness results for anchored spacetime extensions of similar character to earlier work for conformal boundaries by Chruściel. Globally, it is known that non-uni…
▽ More
Given an extendible spacetime one may ask how much, if any, uniqueness can in general be expected of the extension. Locally, this question was considered and comprehensively answered in a recent paper of Sbierski, where he obtains local uniqueness results for anchored spacetime extensions of similar character to earlier work for conformal boundaries by Chruściel. Globally, it is known that non-uniqueness can arise from timelike geodesics behaving pathologically in the sense that there exist points along two distinct timelike geodesics which become arbitrarily close to each other interspersed with points which do not approach each other. We show that this is in some sense the only obstruction to uniqueness of maximal future boundaries: Working with extensions that are manifolds with boundary we prove that, under suitable assumptions on the regularity of the considered extensions and excluding the existence of such ''intertwined timelike geodesics'', extendible spacetimes admit a unique maximal future boundary extension. This is analogous to results of Chruściel for the conformal boundary.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Intrinsic flat stability of the positive mass theorem for asymptotically hyperbolic graphical manifolds
Authors:
Armando J. Cabrera Pacheco,
Melanie Graf,
Raquel Perales
Abstract:
The rigidity of the Riemannian positive mass theorem for asymptotically hyperbolic manifolds states that the total mass of such a manifold is zero if and only if the manifold is isometric to the hyperbolic space. This leads to study the stability of this statement, that is, if the total mass of an asymptotically hyperbolic manifold is almost zero, is this manifold close to the hyperbolic space in…
▽ More
The rigidity of the Riemannian positive mass theorem for asymptotically hyperbolic manifolds states that the total mass of such a manifold is zero if and only if the manifold is isometric to the hyperbolic space. This leads to study the stability of this statement, that is, if the total mass of an asymptotically hyperbolic manifold is almost zero, is this manifold close to the hyperbolic space in any way? Motivated by the work of Huang, Lee and Sormani for asymptotically flat graphical manifolds with respect to intrinsic flat distance, we show the intrinsic flat stability of the positive mass theorem for a class of asymptotically hyperbolic graphical manifolds by adapting the positive answer to this question provided by Huang, Lee and the third named author.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Wasserstein Gradient Flows of the Discrepancy with Distance Kernel on the Line
Authors:
Johannes Hertrich,
Robert Beinert,
Manuel Gräf,
Gabriele Steidl
Abstract:
This paper provides results on Wasserstein gradient flows between measures on the real line. Utilizing the isometric embedding of the Wasserstein space $\mathcal P_2(\mathbb R)$ into the Hilbert space $L_2((0,1))$, Wasserstein gradient flows of functionals on $\mathcal P_2(\mathbb R)$ can be characterized as subgradient flows of associated functionals on $L_2((0,1))$. For the maximum mean discrepa…
▽ More
This paper provides results on Wasserstein gradient flows between measures on the real line. Utilizing the isometric embedding of the Wasserstein space $\mathcal P_2(\mathbb R)$ into the Hilbert space $L_2((0,1))$, Wasserstein gradient flows of functionals on $\mathcal P_2(\mathbb R)$ can be characterized as subgradient flows of associated functionals on $L_2((0,1))$. For the maximum mean discrepancy functional $\mathcal F_ν:= \mathcal D^2_K(\cdot, ν)$ with the non-smooth negative distance kernel $K(x,y) = -|x-y|$, we deduce a formula for the associated functional. This functional appears to be convex, and we show that $\mathcal F_ν$ is convex along (generalized) geodesics. For the Dirac measure $ν= δ_q$, $q \in \mathbb R$ as end point of the flow, this enables us to determine the Wasserstein gradient flows analytically. Various examples of Wasserstein gradient flows are given for illustration.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
Wasserstein Steepest Descent Flows of Discrepancies with Riesz Kernels
Authors:
Johannes Hertrich,
Manuel Gräf,
Robert Beinert,
Gabriele Steidl
Abstract:
The aim of this paper is twofold. Based on the geometric Wasserstein tangent space, we first introduce Wasserstein steepest descent flows. These are locally absolutely continuous curves in the Wasserstein space whose tangent vectors point into a steepest descent direction of a given functional. This allows the use of Euler forward schemes instead of Jordan--Kinderlehrer--Otto schemes. For $λ$-conv…
▽ More
The aim of this paper is twofold. Based on the geometric Wasserstein tangent space, we first introduce Wasserstein steepest descent flows. These are locally absolutely continuous curves in the Wasserstein space whose tangent vectors point into a steepest descent direction of a given functional. This allows the use of Euler forward schemes instead of Jordan--Kinderlehrer--Otto schemes. For $λ$-convex functionals, we show that Wasserstein steepest descent flows are an equivalent characterization of Wasserstein gradient flows. The second aim is to study Wasserstein flows of the maximum mean discrepancy with respect to certain Riesz kernels. The crucial part is hereby the treatment of the interaction energy. Although it is not $λ$-convex along generalized geodesics, we give analytic expressions for Wasserstein steepest descent flows of the interaction energy starting at Dirac measures. In contrast to smooth kernels, the particle may explode, i.e., a Dirac measure becomes a non-Dirac one. The computation of steepest descent flows amounts to finding equilibrium measures with external fields, which nicely links Wasserstein flows of interaction energies with potential theory. Finally, we provide numerical simulations of Wasserstein steepest descent flows of discrepancies.
△ Less
Submitted 4 October, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Galerkin-type methods for strictly parabolic equations on compact Riemannian manifolds
Authors:
Melanie Graf,
Michael Kunzinger,
Darko Mitrovich
Abstract:
We prove existence of weak solutions to the Cauchy problem corresponding to various strictly parabolic equations on a compact Riemannian manifold $(M,g)$. This also includes strictly parabolic equations with stochastic forcing with linear diffusion. Existence is proved through a variant of the Galerkin method and can be used to construct a convergent finite element method.
We prove existence of weak solutions to the Cauchy problem corresponding to various strictly parabolic equations on a compact Riemannian manifold $(M,g)$. This also includes strictly parabolic equations with stochastic forcing with linear diffusion. Existence is proved through a variant of the Galerkin method and can be used to construct a convergent finite element method.
△ Less
Submitted 11 September, 2022;
originally announced September 2022.
-
Hawking-type singularity theorems for worldvolume energy inequalities
Authors:
Melanie Graf,
Eleni-Alexandra Kontou,
Argam Ohanyan,
Benedict Schinnerl
Abstract:
The classical singularity theorems of R. Penrose and S. Hawking from the 1960s show that, given a pointwise energy condition (and some causality as well as initial assumptions), spacetimes cannot be geodesically complete. Despite their great success, the theorems leave room for physically relevant improvements, especially regarding the classical energy conditions as essentially any quantum field t…
▽ More
The classical singularity theorems of R. Penrose and S. Hawking from the 1960s show that, given a pointwise energy condition (and some causality as well as initial assumptions), spacetimes cannot be geodesically complete. Despite their great success, the theorems leave room for physically relevant improvements, especially regarding the classical energy conditions as essentially any quantum field theory necessarily violates them. While singularity theorems with weakened energy conditions exist for worldline integral bounds, so called worldvolume bounds are in some cases more applicable than the worldline ones, such as the case of some massive free fields. In this paper we study integral Ricci curvature bounds based on worldvolume quantum strong energy inequalities. Under the additional assumption of a - potentially very negative - global timelike Ricci curvature bound, a Hawking type singularity theorem is proven. Finally, we apply the theorem to a cosmological scenario proving past geodesic incompleteness in cases where the worldline theorem was inconclusive.
△ Less
Submitted 29 November, 2024; v1 submitted 9 September, 2022;
originally announced September 2022.
-
On the Dynamical System of Principal Curves in $\mathbb R^d$
Authors:
Robert Beinert,
Arian Bërdëllima,
Manuel Gräf,
Gabriele Steidl
Abstract:
Principal curves are natural generalizations of principal lines arising as first principal components in the Principal Component Analysis. They can be characterized from a stochastic point of view as so-called self-consistent curves based on the conditional expectation and from the variational-calculus point of view as saddle points of the expected difference of a random variable and its projectio…
▽ More
Principal curves are natural generalizations of principal lines arising as first principal components in the Principal Component Analysis. They can be characterized from a stochastic point of view as so-called self-consistent curves based on the conditional expectation and from the variational-calculus point of view as saddle points of the expected difference of a random variable and its projection onto some curve, where the current curve acts as argument of the energy functional. Beyond that, Duchamp and Stützle (1993,1996) showed that planar curves can by computed as solutions of a system of ordinary differential equations. The aim of this paper is to generalize this characterization of principal curves to $\mathbb R^d$ with $d \ge 3$. Having derived such a dynamical system, we provide several examples for principal curves related to uniform distribution on certain domains in $\mathbb R^3$.
△ Less
Submitted 31 July, 2021;
originally announced August 2021.
-
An Image Registration Model in Electron Backscatter Diffraction
Authors:
Manuel Gräf,
Sebastian Neumayer,
Ralf Hielscher,
Gabriele Steidl,
Moritz Liesegang,
Tilman Beck
Abstract:
Recently, variational methods were successfully applied for computing the optical flow in gray and RGB-valued image sequences. A crucial assumption in these models is that pixel-values do not change under transformations. Nowadays, modern image acquisition techniques such as electron backscatter tomography (EBSD), which is used in material sciences, can capture images with values in nonlinear spac…
▽ More
Recently, variational methods were successfully applied for computing the optical flow in gray and RGB-valued image sequences. A crucial assumption in these models is that pixel-values do not change under transformations. Nowadays, modern image acquisition techniques such as electron backscatter tomography (EBSD), which is used in material sciences, can capture images with values in nonlinear spaces. Here, the image values belong to the quotient space $\text{SO}(3)/ \mathcal S$ of the special orthogonal group modulo the discrete symmetry group of the crystal. For such data, the assumption that pixel-values remain unchanged under transformations appears to be no longer valid. Hence, we propose a variational model for determining the optical flow in $\text{SO}(3)/\mathcal S$-valued image sequences, taking the dependence of pixel-values on the transformation into account. More precisely, the data is transformed according to the rotation part in the polar decomposition of the Jacobian of the transformation. To model non-smooth transformations without obtaining so-called staircasing effects, we propose to use a total generalized variation like prior. Then, we prove existence of a minimizer for our model and explain how it can be discretized and minimized by a primal-dual algorithm. Numerical examples illustrate the performance of our method.
△ Less
Submitted 3 September, 2021; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Lorentzian area and volume estimates for integral mean curvature bounds
Authors:
Melanie Graf,
Christina Sormani
Abstract:
In the present paper we establish area and volume estimates for spacetimes satisfying the strong energy condition in terms of the area and the $L^n$-norm of the second fundamental form or the mean curvature of an initial Cauchy hypersurface. We believe that these estimates will lay some of the groundwork in establishing new convergence results for Cauchy developments $(M_j, g_j)$ of suitably conve…
▽ More
In the present paper we establish area and volume estimates for spacetimes satisfying the strong energy condition in terms of the area and the $L^n$-norm of the second fundamental form or the mean curvature of an initial Cauchy hypersurface. We believe that these estimates will lay some of the groundwork in establishing new convergence results for Cauchy developments $(M_j, g_j)$ of suitably converging initial data $(Σ_j ,h_j ,K_j )$.
△ Less
Submitted 12 November, 2021; v1 submitted 4 June, 2021;
originally announced June 2021.
-
A Hecke-equivariant decomposition of spaces of Drinfeld cusp forms via representation theory, and an investigation of its subfactors
Authors:
Gebhard Boeckle,
Peter Mathias Graef,
Rudolph Perkins
Abstract:
There are various reasons why a naive analog of the Maeda conjecture has to fail for Drinfeld cusp forms. Focussing on double cusp forms and using the link found by Teitelbaum between Drinfeld cusp forms and certain harmonic cochains, we observed a while ago that all obvious counterexamples disappear for certain Hecke-invariant subquotients of spaces of Drinfeld cusp forms of fixed weight, which c…
▽ More
There are various reasons why a naive analog of the Maeda conjecture has to fail for Drinfeld cusp forms. Focussing on double cusp forms and using the link found by Teitelbaum between Drinfeld cusp forms and certain harmonic cochains, we observed a while ago that all obvious counterexamples disappear for certain Hecke-invariant subquotients of spaces of Drinfeld cusp forms of fixed weight, which can be defined naturally via representation theory. The present work extends Teitelbaum's isomorphism to an adelic setting and to arbitrary levels, it makes precise the impact of representation theory, it relates certain intertwining maps to hyperderivatives of Bosser-Pellarin, and it begins an investigation into dimension formulas for the subquotients mentioned above. We end with some numerical data for $A=\mathbb{F}_3[t]$ that displays a new obstruction to an analog of a Maeda conjecture by discovering a conjecturally infinite supply of $\mathbb{F}_3(t)$-rational eigenforms with combinatorially given (conjectural) Hecke eigenvalues at the prime $t$.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
A conformal infinity approach to asymptotically $\text{AdS}_2\times S^{n-1}$ spacetimes
Authors:
Gregory J. Galloway,
Melanie Graf,
Eric Ling
Abstract:
It is well known that the spacetime $\text{AdS}_2\times S^2$ arises as the `near horizon' geometry of the extremal Reisser-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Motivated by a conjectural viewpoint of Juan Maldacena, the authors in [4] studied the rigidity of asymptotically $\text{AdS}_2\times S^2$ spacetimes satisfying the null…
▽ More
It is well known that the spacetime $\text{AdS}_2\times S^2$ arises as the `near horizon' geometry of the extremal Reisser-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Motivated by a conjectural viewpoint of Juan Maldacena, the authors in [4] studied the rigidity of asymptotically $\text{AdS}_2\times S^2$ spacetimes satisfying the null energy condition. In this paper, we take an entirely different and more general approach to the asymptotics based on the notion of conformal infinity. This involves a natural modification of the usual notion of timelike conformal infinity for asymptotically anti-de Sitter spacetimes. As a consequence we are able to obtain a variety of new results, including similar results to those in [4] (but now allowing both higher dimensions and more than two ends) and a version of topological censorship.
△ Less
Submitted 28 February, 2020;
originally announced March 2020.
-
Singularity theorems for $C^1$-Lorentzian metrics
Authors:
Melanie Graf
Abstract:
Continuing recent efforts in extending the classical singularity theorems of General Relativity to low regularity metrics, we give a complete proof of both the Hawking and the Penrose singularity theorem for $C^1$-Lorentzian metrics - a regularity where one still has existence but not uniqueness for solutions of the geodesic equation. The proofs make use of careful estimates of the curvature of ap…
▽ More
Continuing recent efforts in extending the classical singularity theorems of General Relativity to low regularity metrics, we give a complete proof of both the Hawking and the Penrose singularity theorem for $C^1$-Lorentzian metrics - a regularity where one still has existence but not uniqueness for solutions of the geodesic equation. The proofs make use of careful estimates of the curvature of approximating smooth metrics and certain stability properties of long existence times for causal geodesics. On the way we also prove that for globally hyperbolic spacetimes with a $C^1$-metric causal geodesic completeness is $C^1$-fine stable. This improves a similar older stability result of Beem and Ehrlich where they also used the $C^1$-fine topology to measure closeness but still required smoothness of all metrics. Lastly, we include a brief appendix where we use some of the same techniques in the Riemannian case to give a proof of the classical Myers Theorem for $C^1$-metrics.
△ Less
Submitted 5 May, 2020; v1 submitted 30 October, 2019;
originally announced October 2019.
-
Curve Based Approximation of Measures on Manifolds by Discrepancy Minimization
Authors:
Martin Ehler,
Manuel Gräf,
Sebastian Neumayer,
Gabriele Steidl
Abstract:
The approximation of probability measures on compact metric spaces and in particular on Riemannian manifoldsby atomic or empirical ones is a classical task in approximation and complexity theory with a wide range of applications. Instead of point measures we are concerned with the approximation by measures supported on Lipschitz curves. Special attention is paid to push-forward measures of Lebesgu…
▽ More
The approximation of probability measures on compact metric spaces and in particular on Riemannian manifoldsby atomic or empirical ones is a classical task in approximation and complexity theory with a wide range of applications. Instead of point measures we are concerned with the approximation by measures supported on Lipschitz curves. Special attention is paid to push-forward measures of Lebesgue measures on the interval by such curves. Using the discrepancy as distance between measures, we prove optimal approximation rates in terms of Lipschitz constants of curves. Having established the theoretical convergence rates, we are interested in the numerical minimization of the discrepancy between a given probability measure and the set of push-forward measures of Lebesgue measures on the interval by Lipschitz curves. We present numerical examples for measures on the 2- and 3-dimensional torus, the 2-sphere, the rotation group on $\mathbb R^3$ and the Grassmannian of all 2-dimensional linear subspaces of $\mathbb{R}^4$. Our algorithm of choice is a conjugate gradient method on these manifolds which incorporates second-oder information. For efficiently computing the gradients and the Hessians within the algorithm, we approximate the given measures by truncated Fourier series and use fast Fourier transform techniques on these manifolds.
△ Less
Submitted 11 January, 2021; v1 submitted 14 October, 2019;
originally announced October 2019.
-
Spectral decomposition of discrepancy kernels on the Euclidean ball, the special orthogonal group, and the Grassmannian manifold
Authors:
Josef Dick,
Martin Ehler,
Manuel Gräf,
Christian Krattenthaler
Abstract:
To numerically approximate Borel probability measures by finite atomic measures, we study the spectral decomposition of discrepancy kernels when restricted to compact subsets of $\mathbb{R}^d$. For restrictions to the Euclidean ball in odd dimensions, to the rotation group $SO(3)$, and to the Grassmannian manifold $\mathcal{G}_{2,4}$, we compute the kernels' Fourier coefficients and determine thei…
▽ More
To numerically approximate Borel probability measures by finite atomic measures, we study the spectral decomposition of discrepancy kernels when restricted to compact subsets of $\mathbb{R}^d$. For restrictions to the Euclidean ball in odd dimensions, to the rotation group $SO(3)$, and to the Grassmannian manifold $\mathcal{G}_{2,4}$, we compute the kernels' Fourier coefficients and determine their asymptotics. The $L_2$-discrepancy is then expressed in the Fourier domain that enables efficient numerical minimization based on the nonequispaced fast Fourier transform. For $SO(3)$, the nonequispaced fast Fourier transform is publicly available, and, for $\mathcal{G}_{2,4}$, the transform is derived here. We also provide numerical experiments for $SO(3)$ and $\mathcal{G}_{2,4}$.
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems
Authors:
Stephanie B. Alexander,
Melanie Graf,
Michael Kunzinger,
Clemens Sämann
Abstract:
We study generalizations of Lorentzian warped products with one-dimensional base of the form $I\times_f X$, where $I$ is an interval, $X$ is a length space and $f$ is a positive continuous function. These generalized cones furnish an important class of Lorentzian length spaces in the sense of [Kunzinger, Sämann; Ann. Glob. Anal. Geom. 54(3):399--447, 2018], displaying optimal causality properties…
▽ More
We study generalizations of Lorentzian warped products with one-dimensional base of the form $I\times_f X$, where $I$ is an interval, $X$ is a length space and $f$ is a positive continuous function. These generalized cones furnish an important class of Lorentzian length spaces in the sense of [Kunzinger, Sämann; Ann. Glob. Anal. Geom. 54(3):399--447, 2018], displaying optimal causality properties that allow for explicit descriptions of all underlying notions. In addition, synthetic sectional curvature bounds of generalized cones are directly related to metric curvature bounds of the fiber $X$. The interest in such spaces comes both from metric geometry and from General Relativity, where warped products underlie important cosmological models (FLRW spacetimes). Moreover, we prove singularity theorems for these spaces, showing that non-positive lower timelike curvature bounds imply the existence of incomplete timelike geodesics.
△ Less
Submitted 15 June, 2021; v1 submitted 20 September, 2019;
originally announced September 2019.
-
Computing $\mathcal{L}$-invariants via the Greenberg-Stevens formula
Authors:
Samuele Anni,
Gebhard Boeckle,
Peter Mathias Graef,
Alvaro Troya
Abstract:
In this article, we describe how to compute slopes of $p$-adic $\mathcal{L}$-invariants of arbitrary weight and level by means of the Greenberg-Stevens formula. Our method is based on work of Lauder and Vonk on computing the reverse characteristic series of the $U_p$ operator on overconvergent modular forms. Using higher derivatives of this characteristic series, we construct a polynomial whose ze…
▽ More
In this article, we describe how to compute slopes of $p$-adic $\mathcal{L}$-invariants of arbitrary weight and level by means of the Greenberg-Stevens formula. Our method is based on work of Lauder and Vonk on computing the reverse characteristic series of the $U_p$ operator on overconvergent modular forms. Using higher derivatives of this characteristic series, we construct a polynomial whose zeros are precisely the $\mathcal{L}$-invariants appearing in the corresponding space of modular forms with fixed sign of the Atkin-Lehner involution at $p$. In addition, we describe how to compute this polynomial efficiently. In the final section, we give computational evidence for relations between slopes of $\mathcal{L}$-invariants for small primes.
△ Less
Submitted 28 January, 2019; v1 submitted 26 July, 2018;
originally announced July 2018.
-
A vanishing dynamic capillarity limit equation with discontinuous flux
Authors:
Melanie Graf,
Michael Kunzinger,
Darko Mitrovic,
Djordjie Vujadinovic
Abstract:
We prove existence and uniqueness of a solution to the Cauchy problem corresponding to the equation \begin{equation*} \begin{cases} \partial_t u_{\varepsilon,δ} +\mathrm{div} {\mathfrak f}_{\varepsilon,δ}({\bf x}, u_{\varepsilon,δ})=\varepsilon Δu_{\varepsilon,δ}+δ(\varepsilon) \partial_t Δu_{\varepsilon,δ}, \ \ {\bf x} \in M, \ \ t\geq 0 u|_{t=0}=u_0({\bf x}). \end{cases} \end{equation*} Here,…
▽ More
We prove existence and uniqueness of a solution to the Cauchy problem corresponding to the equation \begin{equation*} \begin{cases} \partial_t u_{\varepsilon,δ} +\mathrm{div} {\mathfrak f}_{\varepsilon,δ}({\bf x}, u_{\varepsilon,δ})=\varepsilon Δu_{\varepsilon,δ}+δ(\varepsilon) \partial_t Δu_{\varepsilon,δ}, \ \ {\bf x} \in M, \ \ t\geq 0 u|_{t=0}=u_0({\bf x}). \end{cases} \end{equation*} Here, ${\mathfrak f}_{\varepsilon,δ}$ and $u_0$ are smooth functions while $\varepsilon$ and $δ=δ(\varepsilon)$ are fixed constants. Assuming ${\mathfrak f}_{\varepsilon,δ} \to {\mathfrak f} \in L^p( \mathbb{R}^d\times \mathbb{R};\mathbb{R}^d)$ for some $1<p<\infty$, strongly as $\varepsilon\to 0$, we prove that, under an appropriate relationship between $\varepsilon$ and $δ(\varepsilon)$ depending on the regularity of the flux ${\mathfrak f}$, the sequence of solutions $(u_{\varepsilon,δ})$ strongly converges in $L^1_{loc}(\mathbb{R}^+\times \mathbb{R}^d)$ towards a solution to the conservation law $$ \partial_t u +\mathrm{div} {\mathfrak f}({\bf x}, u)=0. $$ The main tools employed in the proof are the Leray-Schauder fixed point theorem for the first part and reduction to the kinetic formulation combined with recent results in the velocity averaging theory for the second.
△ Less
Submitted 4 November, 2020; v1 submitted 7 May, 2018;
originally announced May 2018.
-
Rigidity of asymptotically $AdS_2 \times S^2$ spacetimes
Authors:
Gregory J. Galloway,
Melanie Graf
Abstract:
The spacetime $AdS_2 \times S^2$ is well known to arise as the 'near horizon' geometry of the extremal Reissner-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Here we consider asymptotically $AdS_2 \times S^2$ spacetimes that obey the null energy condition (or a certain averaged version thereof). Supporting a conjectural viewpoint of Juan…
▽ More
The spacetime $AdS_2 \times S^2$ is well known to arise as the 'near horizon' geometry of the extremal Reissner-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Here we consider asymptotically $AdS_2 \times S^2$ spacetimes that obey the null energy condition (or a certain averaged version thereof). Supporting a conjectural viewpoint of Juan Maldacena, we show that any such spacetime must have a special geometry similar in various respects to $AdS_2 \times S^2$, and under certain circumstances must be isometric to $AdS_2 \times S^2$.
△ Less
Submitted 2 August, 2018; v1 submitted 28 March, 2018;
originally announced March 2018.
-
Optimal Monte Carlo integration on closed manifolds
Authors:
Martin Ehler,
Manuel Graef,
Chris. J. Oates
Abstract:
The worst case integration error in reproducing kernel Hilbert spaces of standard Monte Carlo methods with n random points decays as $n^{-1/2}$. However, re-weighting of random points can sometimes be used to improve the convergence order. This paper contributes general theoretical results for Sobolev spaces on closed Riemannian manifolds, where we verify that such re-weighting yields optimal appr…
▽ More
The worst case integration error in reproducing kernel Hilbert spaces of standard Monte Carlo methods with n random points decays as $n^{-1/2}$. However, re-weighting of random points can sometimes be used to improve the convergence order. This paper contributes general theoretical results for Sobolev spaces on closed Riemannian manifolds, where we verify that such re-weighting yields optimal approximation rates up to a logarithmic factor. We also provide numerical experiments matching the theoretical results for some Sobolev spaces on the unit sphere and on the Grassmannian manifold. Our theoretical findings also cover function spaces on more general sets such as the unit ball, the cube, and the simplex.
△ Less
Submitted 24 January, 2018; v1 submitted 15 July, 2017;
originally announced July 2017.
-
The Hawking-Penrose singularity theorem for $C^{1,1}$-Lorentzian metrics
Authors:
Melanie Graf,
James D. E. Grant,
Michael Kunzinger,
Roland Steinbauer
Abstract:
We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions of the strong energy condition and genericity condition for $C^{1,1}$-metrics, and of $C^0$-trapped submanifolds. By regularisation, we show that, under these we…
▽ More
We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions of the strong energy condition and genericity condition for $C^{1,1}$-metrics, and of $C^0$-trapped submanifolds. By regularisation, we show that, under these weak conditions, causal geodesics necessarily become non-maximising. This requires a detailed analysis of the matrix Riccati equation for the approximating metrics, which may be of independent interest.
△ Less
Submitted 12 July, 2018; v1 submitted 26 June, 2017;
originally announced June 2017.
-
Cubatures on Grassmannians: moments, dimension reduction, and related topics
Authors:
Anna Breger,
Martin Ehler,
Manuel Graef,
Thomas Peter
Abstract:
We briefly explain the use of cubature points on Grassmannians in numerical analysis.
We briefly explain the use of cubature points on Grassmannians in numerical analysis.
△ Less
Submitted 8 May, 2017;
originally announced May 2017.
-
A control theorem for $p$-adic automorphic forms and Teitelbaum's $\mathcal{L}$-invariant
Authors:
Peter Mathias Graef
Abstract:
In this article, we describe an efficient method for computing Teitelbaum's $p$-adic $\mathcal{L}$-invariant. These invariants are realized as the eigenvalues of the $\mathcal{L}$-operator acting on a space of harmonic cocycles on the Bruhat-Tits tree $\mathcal{T}$, which is computable by the methods of Franc and Masdeu described in [FM14]. The main difficulty in computing the $\mathcal{L}$-operat…
▽ More
In this article, we describe an efficient method for computing Teitelbaum's $p$-adic $\mathcal{L}$-invariant. These invariants are realized as the eigenvalues of the $\mathcal{L}$-operator acting on a space of harmonic cocycles on the Bruhat-Tits tree $\mathcal{T}$, which is computable by the methods of Franc and Masdeu described in [FM14]. The main difficulty in computing the $\mathcal{L}$-operator is the efficient computation of the $p$-adic Coleman integrals in its definition. To solve this problem, we use overconvergent methods, first developed by Darmon, Greenberg, Pollack and Stevens. In order to make these methods applicable to our setting, we prove a control theorem for $p$-adic automorphic forms of arbitrary even weight. Moreover, we give computational evidence for relations between slopes of $\mathcal{L}$-invariants of different levels and weights for $p=2$.
△ Less
Submitted 22 August, 2019; v1 submitted 5 May, 2017;
originally announced May 2017.
-
Well-posedness theory for degenerate parabolic equations on Riemannian manifolds
Authors:
Melanie Graf,
Michael Kunzinger,
Darko Mitrovic
Abstract:
We consider the degenerate parabolic equation $$ \partial_t u +\mathrm{div} {\mathfrak f}_{\bf x}(u)=\mathrm{div}(\mathrm{div} ( A_{\bf x}(u) ) ), \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth, compact, $d$-dimensional Riemannian manifold $(M,g)$. Here, for each $u\in {\mathbb R}$, ${\bf x}\mapsto {\mathfrak f}_{\bf x}(u)$ is a vector field and ${\bf x}\mapsto A_{\bf x}(u)$ is a $(1,1)$-tensor fie…
▽ More
We consider the degenerate parabolic equation $$ \partial_t u +\mathrm{div} {\mathfrak f}_{\bf x}(u)=\mathrm{div}(\mathrm{div} ( A_{\bf x}(u) ) ), \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth, compact, $d$-dimensional Riemannian manifold $(M,g)$. Here, for each $u\in {\mathbb R}$, ${\bf x}\mapsto {\mathfrak f}_{\bf x}(u)$ is a vector field and ${\bf x}\mapsto A_{\bf x}(u)$ is a $(1,1)$-tensor field on $M$ such that $u\mapsto \langle A_{\bf x}(u) {\boldsymbol ξ},{\boldsymbol ξ} \rangle$, ${\boldsymbol ξ}\in T_{\bf x} M$, is non-decreasing with respect to $u$. The fact that the notion of divergence appearing in the equation depends on the metric $g$ requires revisiting the standard entropy admissibility concept. We derive it under an additional geometry compatibility condition and, as a corollary, we introduce the kinetic formulation of the equation on the manifold. Using this concept, we prove well-posedness of the corresponding Cauchy problem.
△ Less
Submitted 18 November, 2022; v1 submitted 24 December, 2016;
originally announced December 2016.
-
Splitting theorems for hypersurfaces in Lorentzian manifolds
Authors:
Melanie Graf
Abstract:
This paper looks at the splitting problem for globally hyperbolic spacetimes with timelike Ricci curvature bounded below containing a (spacelike, acausal, future causally complete) hypersurface with mean curvature bounded from above. For such spacetimes we show a splitting theorem under the assumption of either the existence of a ray of maximal length or a maximality condition on the volume of Lor…
▽ More
This paper looks at the splitting problem for globally hyperbolic spacetimes with timelike Ricci curvature bounded below containing a (spacelike, acausal, future causally complete) hypersurface with mean curvature bounded from above. For such spacetimes we show a splitting theorem under the assumption of either the existence of a ray of maximal length or a maximality condition on the volume of Lorentzian distance balls over the hypersurface. The proof of the first case follows work by Andersson, Galloway and Howard and uses their geometric maximum principle for level sets of the (Lorentzian) Busemann function. For the second case we give a more elementary proof.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
Points on manifolds with asymptotically optimal covering radius
Authors:
Anna Breger,
Martin Ehler,
Manuel Graef
Abstract:
Given a finite set of points on the Euclidean sphere, the worst case quadrature error in Sobolev spaces has recently been shown to provide upper bounds on the covering radius of the point set. Moreover, quasi-Monte Carlo integration points on the sphere achieve the asymptotically optimal covering radius. Here, we extend these results to points on compact smooth Riemannian manifolds and provide num…
▽ More
Given a finite set of points on the Euclidean sphere, the worst case quadrature error in Sobolev spaces has recently been shown to provide upper bounds on the covering radius of the point set. Moreover, quasi-Monte Carlo integration points on the sphere achieve the asymptotically optimal covering radius. Here, we extend these results to points on compact smooth Riemannian manifolds and provide numerical experiments illustrating our findings for the Grassmannian manifold.
△ Less
Submitted 23 July, 2016;
originally announced July 2016.
-
Quasi Monte Carlo integration and kernel-based function approximation on Grassmannians
Authors:
Anna Breger,
Martin Ehler,
Manuel Graef
Abstract:
Numerical integration and function approximation on compact Riemannian manifolds based on eigenfunctions of the Laplace-Beltrami operator have been widely studied in the recent literature. The standard example in numerical experiments is the Euclidean sphere. Here, we derive numerically feasible expressions for the approximation schemes on the Grassmannian manifold, and we present the associated n…
▽ More
Numerical integration and function approximation on compact Riemannian manifolds based on eigenfunctions of the Laplace-Beltrami operator have been widely studied in the recent literature. The standard example in numerical experiments is the Euclidean sphere. Here, we derive numerically feasible expressions for the approximation schemes on the Grassmannian manifold, and we present the associated numerical experiments on the Grassmannian. Indeed, our experiments illustrate and match the corresponding theoretical results in the literature.
△ Less
Submitted 18 January, 2017; v1 submitted 30 May, 2016;
originally announced May 2016.
-
From low to high-dimensional moments without magic
Authors:
Bernhard G. Bodmann,
Martin Ehler,
Manuel Graef
Abstract:
We aim to compute the first few moments of a high-dimensional random vector from the first few moments of a number of its low-dimensional projections. To this end, we identify algebraic conditions on the set of low-dimensional projectors that yield explicit reconstruction formulas. We also provide a computational framework, with which suitable projectors can be derived by solving an optimization p…
▽ More
We aim to compute the first few moments of a high-dimensional random vector from the first few moments of a number of its low-dimensional projections. To this end, we identify algebraic conditions on the set of low-dimensional projectors that yield explicit reconstruction formulas. We also provide a computational framework, with which suitable projectors can be derived by solving an optimization problem. Finally, we show that randomized projections permit approximate recovery.
△ Less
Submitted 1 September, 2017; v1 submitted 27 January, 2016;
originally announced January 2016.
-
Data retrieval time for energy harvesting wireless sensor networks
Authors:
Mihaela Mitici,
Jasper Goseling,
Maurits de Graaf,
Richard J. Boucherie
Abstract:
We consider the problem of retrieving a reliable estimate of an attribute monitored by a wireless sensor network, where the sensors harvest energy from the environment independently, at random. Each sensor stores the harvested energy in batteries of limited capacity. Moreover, provided they have sufficient energy, the sensors broadcast their measurements in a decentralized fashion. Clients arrive…
▽ More
We consider the problem of retrieving a reliable estimate of an attribute monitored by a wireless sensor network, where the sensors harvest energy from the environment independently, at random. Each sensor stores the harvested energy in batteries of limited capacity. Moreover, provided they have sufficient energy, the sensors broadcast their measurements in a decentralized fashion. Clients arrive at the sensor network according to a Poisson process and are interested in retrieving a fixed number of sensor measurements, based on which a reliable estimate is computed. We show that the time until an arbitrary sensor broadcasts has a phase-type distribution. Based on this result and the theory of order statistics of phase-type distributions, we determine the probability distribution of the time needed for a client to retrieve a reliable estimate of an attribute monitored by the sensor network. We also provide closed-form expression for the retrieval time of a reliable estimate when the capacity of the sensor battery or the rate at which energy is harvested is asymptotically large. In addition, we analyze numerically the retrieval time of a reliable estimate for various sizes of the sensor network, maximum capacity of the sensor batteries and rate at which energy is harvested. These results show that the energy harvesting rate and the broadcasting rate are the main parameters that influence the retrieval time of a reliable estimate, while deploying sensors with large batteries does not significantly reduce the retrieval time.
△ Less
Submitted 13 October, 2015;
originally announced October 2015.
-
Volume comparison for $C^{1,1}$ metrics
Authors:
Melanie Graf
Abstract:
We establish volume comparison results for balls in Riemannian manifolds with $C^{1,1}$-metrics with a lower bound on the Ricci tensor and for the evolution of spacelike, acausal, causally complete hypersurfaces with an upper bound on the mean curvature in spacetimes with $C^{1,1}$-metrics with a lower bound on the timelike Ricci curvature. These results are then used to give proofs of Myers' theo…
▽ More
We establish volume comparison results for balls in Riemannian manifolds with $C^{1,1}$-metrics with a lower bound on the Ricci tensor and for the evolution of spacelike, acausal, causally complete hypersurfaces with an upper bound on the mean curvature in spacetimes with $C^{1,1}$-metrics with a lower bound on the timelike Ricci curvature. These results are then used to give proofs of Myers' theorem and of Hawking's singularity theorem in this regularity.
△ Less
Submitted 13 April, 2016; v1 submitted 31 July, 2015;
originally announced July 2015.
-
Phase retrieval using random cubatures and fusion frames of positive semidefinite matrices
Authors:
Martin Ehler,
Manuel Graef,
Franz J. Kiraly
Abstract:
As a generalization of the standard phase retrieval problem, we seek to reconstruct symmetric rank-1 matrices from inner products with subclasses of positive semidefinite matrices. For such subclasses, we introduce random cubatures for spaces of multivariate polynomials based on moment conditions. The inner products with samples from sufficiently strong random cubatures allow the reconstruction of…
▽ More
As a generalization of the standard phase retrieval problem, we seek to reconstruct symmetric rank-1 matrices from inner products with subclasses of positive semidefinite matrices. For such subclasses, we introduce random cubatures for spaces of multivariate polynomials based on moment conditions. The inner products with samples from sufficiently strong random cubatures allow the reconstruction of symmetric rank-1 matrices with a decent probability by solving the feasibility problem of a semidefinite program.
△ Less
Submitted 19 May, 2015;
originally announced May 2015.
-
Optimal configurations of lines and a statistical application
Authors:
François Bachoc,
Martin Ehler,
Manuel Gräf
Abstract:
Motivated by the construction of confidence intervals in statistics, we study optimal configurations of $2^d-1$ lines in real projective space $RP^{d-1}$. For small $d$, we determine line sets that numerically minimize a wide variety of potential functions among all configurations of $2^d-1$ lines through the origin. Numerical experiments verify that our findings enable to assess efficiently the t…
▽ More
Motivated by the construction of confidence intervals in statistics, we study optimal configurations of $2^d-1$ lines in real projective space $RP^{d-1}$. For small $d$, we determine line sets that numerically minimize a wide variety of potential functions among all configurations of $2^d-1$ lines through the origin. Numerical experiments verify that our findings enable to assess efficiently the tightness of a bound arising from the statistical literature.
△ Less
Submitted 2 March, 2015;
originally announced March 2015.
-
Reproducing kernels for the irreducible components of polynomial spaces on unions of Grassmannians
Authors:
Martin Ehler,
Manuel Gräf
Abstract:
The decomposition of polynomial spaces on unions of Grassmannians $\mathcal G_{{k_1},d}\cup\ldots\cup \mathcal G_{{k_r},d}$ into irreducible orthogonally invariant subspaces and their reproducing kernels are investigated. We also generalize the concepts of cubature points and $t$-designs from single Grassmannians to unions. We derive their characterization as minimizers of a suitable energy potent…
▽ More
The decomposition of polynomial spaces on unions of Grassmannians $\mathcal G_{{k_1},d}\cup\ldots\cup \mathcal G_{{k_r},d}$ into irreducible orthogonally invariant subspaces and their reproducing kernels are investigated. We also generalize the concepts of cubature points and $t$-designs from single Grassmannians to unions. We derive their characterization as minimizers of a suitable energy potential to enable $t$-design constructions by numerical optimization. We also present new analytic families of $t$-designs for $t=1,2,3$.
△ Less
Submitted 15 May, 2018; v1 submitted 21 November, 2014;
originally announced November 2014.
-
The Colored Hofstadter Butterfly for the Honeycomb Lattice
Authors:
Andrea Agazzi,
Jean-Pierre Eckmann,
Gian Michele Graf
Abstract:
We rely on a recent method for determining edge spectra and we use it to compute the Chern numbers for Hofstadter models on the honeycomb lattice having rational magnetic flux per unit cell. Based on the bulk-edge correspondence, the Chern number $σ_H$ is given as the winding number of an eigenvector of a $2 \times 2$ transfer matrix, as a function of the quasi-momentum $k \in (0,2 π)$. This metho…
▽ More
We rely on a recent method for determining edge spectra and we use it to compute the Chern numbers for Hofstadter models on the honeycomb lattice having rational magnetic flux per unit cell. Based on the bulk-edge correspondence, the Chern number $σ_H$ is given as the winding number of an eigenvector of a $2 \times 2$ transfer matrix, as a function of the quasi-momentum $k \in (0,2 π)$. This method is computationally efficient (of order $O(n^4)$ in the resolution of the desired image). It also shows that for the honeycomb lattice the solution for $σ_H $ for flux $p/q$ in the $r$-th gap conforms with the Diophantine equation $r=σ_H\cdot p+ s\cdot q$, which determines $σ_H \mod q$. A window such as $σ_H \in(-q/2,q/2)$, or possibly shifted, provides a natural further condition for $σ_H$, which however turns out not to be met. Based on extensive numerical calculations, we conjecture that the solution conforms with the relaxed condition $σ_H\in(-q,q)$.
△ Less
Submitted 5 March, 2014;
originally announced March 2014.
-
An Optimal Query Assignment for Wireless Sensor Networks
Authors:
Mihaela Mitici,
Martijn Onderwater,
Maurits de Graaf,
Jan-Kees van Ommeren,
Nico van Dijk,
Jasper Goseling,
Richard J. Boucherie
Abstract:
A trade-off between two QoS requirements of wireless sensor networks: query waiting time and validity (age) of the data feeding the queries, is investigated. We propose a Continuous Time Markov Decision Process with a drift that trades-off between the two QoS requirements by assigning incoming queries to the wireless sensor network or to the database. To compute an optimal assignment policy, we ar…
▽ More
A trade-off between two QoS requirements of wireless sensor networks: query waiting time and validity (age) of the data feeding the queries, is investigated. We propose a Continuous Time Markov Decision Process with a drift that trades-off between the two QoS requirements by assigning incoming queries to the wireless sensor network or to the database. To compute an optimal assignment policy, we argue, by means of non-standard uniformization, a discrete time Markov decision process, stochastically equivalent to the initial continuous process. We determine an optimal query assignment policy for the discrete time process by means of dynamic programming. Next, we assess numerically the performance of the optimal policy and show that it outperforms in terms of average assignment costs three other heuristics, commonly used in practice. Lastly, the optimality of the our model is confirmed also in the case of real query traffic, where our proposed policy achieves significant cost savings compared to the heuristics.
△ Less
Submitted 11 March, 2014; v1 submitted 21 December, 2012;
originally announced December 2012.
-
An Interactive 3D Visualization Tool for Large Scale Data Sets for Quantitative Atom Probe Tomography
Authors:
Hari Dahal,
Michael Stukowski,
Matthias J. Graf,
Alexander V. Balatsky,
Krishna Rajan
Abstract:
Several visualization schemes have been developed for imaging materials at the atomic level through atom probe tomography. The main shortcoming of these tools is their inability to parallel process data using multi-core computing units to tackle the problem of larger data sets. This critically handicaps the ability to make a quantitative interpretation of spatial correlations in chemical compositi…
▽ More
Several visualization schemes have been developed for imaging materials at the atomic level through atom probe tomography. The main shortcoming of these tools is their inability to parallel process data using multi-core computing units to tackle the problem of larger data sets. This critically handicaps the ability to make a quantitative interpretation of spatial correlations in chemical composition, since a significant amount of the data is missed during subsequent analysis. In addition, since these visualization tools are not open-source software there is always a problem with developing a common language for the interpretation of data. In this contribution we present results of our work on using an open-source advanced interactive visualization software tool, which overcomes the difficulty of visualizing larger data sets by supporting parallel rendering on a graphical user interface or script user interface and permits quantitative analysis of atom probe tomography data in real time. This advancement allows materials scientists a codesign approach to making, measuring and modeling new and nanostructured materials by providing a direct feedback to the fabrication and designing of samples in real time.
△ Less
Submitted 26 August, 2011;
originally announced August 2011.
-
Localization Bounds for an Electron Gas
Authors:
M. Aizenman,
G. M. Graf
Abstract:
Mathematical analysis of the Anderson localization has been facilitated by the use of suitable fractional moments of the Green function. Related methods permit now a readily accessible derivation of a number of physical manifestations of localization, in regimes of strong disorder, extreme energies, or weak disorder away from the unperturbed spectrum. The present work establishes on this basis e…
▽ More
Mathematical analysis of the Anderson localization has been facilitated by the use of suitable fractional moments of the Green function. Related methods permit now a readily accessible derivation of a number of physical manifestations of localization, in regimes of strong disorder, extreme energies, or weak disorder away from the unperturbed spectrum. The present work establishes on this basis exponential decay for the modulus of the two--point function, at all temperatures as well as in the ground state, for a Fermi gas within the one-particle approximation. Different implications, in particular for the Integral Quantum Hall Effect, are reviewed.
△ Less
Submitted 26 May, 1998; v1 submitted 15 March, 1996;
originally announced March 1996.
