arXiv subjects

Matthias Keller

Publications and source records attributed to Matthias Keller.

At least 91 records · Page 5Linked to original sources

arXiv2014

Note on uniformly transient graphs

We study a special class of graphs with a strong transience feature called uniform transience. We characterize uniform transience via a Feller-type property and via validity of an isoperimetric inequality. We then give a further characterization via equality of the Royden boundary and the harmonic boundary and show that the Dirichlet problem has a unique solution for such graphs. The Markov semigroups and resolvents (with Dirichlet boundary conditions) on these graphs are shown to be ultracontractive. Moreover, if the underlying measure is finite, the semigroups and resolvents are trace class and their generators have $\ell^p$ independent pure point spectra (for $1 \leq p \leq \infty$). Examples of uniformly transient graphs include Cayley graphs of hyperbolic groups as well as trees and Euclidean lattices of dimension at least three. As a surprising consequence, the Royden compactification of such lattices turns out to be the one-point compacitifcation and the Laplacians of such lattices have pure point spectrum if the underlying measure is chosen to be finite.

math.FA↗

arXiv2014

Geometry and spectrum of rapidly branching graphs

We study graphs whose vertex degree tends and which are, therefore, called rapidly branching. We prove spectral estimates, discreteness of spectrum, first order eigenvalue and Weyl asymptotics solely in terms of the vertex degree growth. The underlying techniques are estimates on the isoperimetric constant. Furthermore, we give lower volume growth bounds and we provide a new criterion for stochastic incompleteness.

math.SP↗

arXiv2014

Sectional curvature of polygonal complexes with planar substructures

In this paper we introduce a class of polygonal complexes for which we can define a notion of sectional combinatorial curvature. These complexes can be viewed as generalizations of 2-dimensional Euclidean and hyperbolic buildings. We focus on the case of non-positive and negative combinatorial curvature. As geometric results we obtain a Hadamard-Cartan type theorem, thinness of bigons, Gromov hyperbolicity and estimates for the Cheeger constant. We employ the latter to get spectral estimates, show discreteness of the spectrum in the sense of a Donnelly-Li type theorem and present corresponding eigenvalue asymptotics. Moreover, we prove a unique continuation theorem for eigenfunctions and the solvability of the Dirichlet problem at infinity.

math.MG↗

arXiv2014

Precision spectroscopy technique for dipole allowed transitions in laser cooled ions

In this paper we present a technique for the precise measurement of electric dipole allowed transitions in trapped ions. By applying a probe and a cooling laser in quick succession, the full transition can be probed without causing distortion from heating the ion. In addition, two probes can be utilized to measure a dispersion-like signal, which is well suited to stabilizing the laser to the transition. We have fully characterized the parameters for the measurement and find that it is possible to measure the transition frequency to better than 100kHz with an interrogation time of 30s. The long-term stability of the spectroscopy signal is determined by employing two independent ion trap systems. The first ion trap is used to stabilize the spectroscopy laser. The second ion trap is then employed to measure the stability by continuously probing the transition at two frequencies. From the Allan variance a frequency instability of better than 10$^{-10}$ is obtained for an interrogation time of 1000s.

physics.atom-ph↗

arXiv2014

Specifying and Placing Chains of Virtual Network Functions

Network appliances perform different functions on network flows and constitute an important part of an operator's network. Normally, a set of chained network functions process network flows. Following the trend of virtualization of networks, virtualization of the network functions has also become a topic of interest. We define a model for formalizing the chaining of network functions using a context-free language. We process deployment requests and construct virtual network function graphs that can be mapped to the network. We describe the mapping as a Mixed Integer Quadratically Constrained Program (MIQCP) for finding the placement of the network functions and chaining them together considering the limited network resources and requirements of the functions. We have performed a Pareto set analysis to investigate the possible trade-offs between different optimization objectives.

cs.NI↗

arXiv2014

Diffusion determines the recurrent graph

We consider diffusion on discrete measure spaces as encoded by Markovian semigroups arising from weighted graphs. We study whether the graph is uniquely determined if the diffusion is given up to order isomorphism. If the graph is recurrent then the complete graph structure and the measure space are determined (up to an overall scaling). As shown by counterexamples this result is optimal. Without the recurrence assumption, the graph still turns out to be determined in the case of normalized diffusion on graphs with standard weights and in the case of arbitrary graphs over spaces in which each point has the same mass. These investigations provide discrete counterparts to studies of diffusion on Euclidean domains and manifolds initiated by Arendt and continued by Arendt/Biegert/ter Elst and Arendt/ter Elst. A crucial step in our considerations shows that order isomorphisms are actually unitary maps (up to a scaling) in our context.

math.FA↗

arXiv2014

An invitation to trees of finite cone type: random and deterministic operators

Trees of finite cone type have appeared in various contexts. In particular, they come up as simplified models of regular tessellations of the hyperbolic plane. The spectral theory of the associated Laplacians can thus be seen as induced by geometry. Here we give an introduction focusing on background and then turn to recent results for (random) perturbations of trees of finite cone type and their spectral theory.

math.SP↗

arXiv2014

Eigenvalue asymptotics for Schrödinger operators on sparse graphs

We consider Schrödinger operators on sparse graphs. The geometric definition of sparseness turn out to be equivalent to a functional inequality for the Laplacian. In consequence, sparseness has in turn strong spectral and functional analytic consequences. Specifically, one consequence is that it allows to completely describe the form domain. Moreover, as another consequence it leads to a characterization for discreteness of the spectrum. In this case we determine the first order of the corresponding eigenvalue asymptotics.

math.SP↗

arXiv2013

Harmonic functions of general graph Laplacians

We study harmonic functions on general weighted graphs which allow for a compatible intrinsic metric. We prove an $L^{p}$ Liouville type theorem which is a quantitative integral $L^{p}$ estimate of harmonic functions analogous to Karp's theorem for Riemannian manifolds. As corollaries we obtain Yau's $L^{p}$-Liouville type theorem on graphs, identify the domain of the generator of the semigroup on $L^{p}$ and get a criterion for recurrence. As a side product, we show an analogue of Yau's $L^{p}$ Caccioppoli inequality. Furthermore, we derive various Liouville type results for harmonic functions on graphs and harmonic maps from graphs into Hadamard spaces.

math.MG↗

arXiv2013

Graphs of finite measure

We consider weighted graphs with an infinite set of vertices. We show that boundedness of all functions of finite energy can be seen as a notion of `relative compactness' for such graphs and study sufficient and necessary conditions for this property in terms of various metrics. We then equip graphs satisfying this property with a finite measure and investigate the associated Laplacian and its semigroup. In this context, our results include the trace class property for the semigroup, uniqueness and existence of solutions to the Dirichlet problem with boundary arising from the natural compactification, an explicit description of the domain of the Dirichlet Laplacian, convergence of the heat semigroup for large times as well as stochastic incompleteness and transience of the corresponding random walk in continuous time.

math.MG↗

arXiv2013

A note on self-adjoint extensions of the Laplacian on weighted graphs

We study the uniqueness of self-adjoint and Markovian extensions of the Laplacian on weighted graphs. We first show that, for locally finite graphs and a certain family of metrics, completeness of the graph implies uniqueness of these extensions. Moreover, in the case when the graph is not metrically complete and the Cauchy boundary has finite capacity, we characterize the uniqueness of the Markovian extensions.

math.FA↗

arXiv2013

Laplacians on infinite graphs: Dirichlet and Neumann boundary conditions

We study Laplacians associated to a graph and single out a class of such operators with special regularity properties. In the case of locally finite graphs, this class consists of all selfadjoint, non-negative restrictions of the standard formal Laplacian and we can characterize the Dirichlet and Neumann Laplacians as the largest and smallest Markovian restrictions of the standard formal Laplacian. In the case of general graphs, this class contains the Dirichlet and Neumann Laplacians and we describe how these may differ from each other, characterize when they agree, and study connections to essential selfadjointness and stochastic completeness. Finally, we study basic common features of all Laplacians associated to a graph. In particular, we characterize when the associated semigroup is positivity improving and present some basic estimates on its long term behavior. We also discuss some situations in which the Laplacian associated to a graph is unique and, in this context, characterize its boundedness.

math.FA↗

arXiv2012

Note on basic features of large time behaviour of heat kernels

Large time behaviour of heat semigroups (and more generally, of positive selfadjoint semigroups) is studied. Convergence of the semigroup to the ground state and of averaged logarithms of kernels to the ground state energy is shown in the general framework of positivity improving selfadjoint semigroups. This framework includes Laplacians on manifolds, metric graphs and discrete graphs.

math.FA↗

arXiv2012

On the $l^p$ spectrum of Laplacians on graphs

We study the $p$-independence of spectra of Laplace operators on graphs arising from regular Dirichlet forms on discrete spaces. Here, a sufficient criterion is given solely by a uniform subexponential growth condition. Moreover, under a mild assumption on the measure we show a one-sided spectral inclusion without any further assumptions. We study applications to normalized Laplacians including symmetries of the spectrum and a characterization for positivity of the Cheeger constant. Furthermore, we consider Laplacians on planar tessellations for which we relate the spectral $p$-independence to assumptions on the curvature.

math.SP↗

arXiv2012

Volume Growth, Spectrum and Stochastic Completeness of Infinite Graphs

We study the connections between volume growth, spectral properties and stochastic completeness of locally finite graphs. For a class of graphs with a very weak spherical symmetry we give a condition which implies both stochastic incompleteness and discreteness of the spectrum. We then use these graphs to give some comparison results for both stochastic completeness and estimates on the bottom of the spectrum for general locally finite graphs.

math.SP↗

arXiv2012

Cheeger inequalities for unbounded graph Laplacians

We use the concept of intrinsic metrics to give a new definition for an isoperimetric constant of a graph. We use this novel isoperimetric constant to prove a Cheeger-type estimate for the bottom of the spectrum which is nontrivial even if the vertex degrees are unbounded.

math.SP↗

arXiv2012

All-Optical Broadband Excitation of the Motional State of Trapped Ions

We have developed a novel all-optical broadband scheme for exciting, amplifying and measuring the secular motion of ions in a radio frequency trap. Oscillation induced by optical excitation has been coherently amplified to precisely control and measure the ion's secular motion. Requiring only laser line-of-sight, we have shown that the ion's oscillation amplitude can be precisely controlled. Our excitation scheme can generate coherent motion which is robust against variations in the secular frequency. Therefore, our scheme is ideal to excite the desired level of oscillatory motion under conditions where the secular frequency is evolving in time. Measuring the oscillation amplitude through Doppler velocimetry, we have characterized the experimental parameters and compared them with a molecular dynamics simulation which provides a complete description of the system.

physics.atom-ph↗

arXiv2012

Volume growth and bounds for the essential spectrum for Dirichlet forms

We consider operators arising from regular Dirichlet forms with vanishing killing term. We give bounds for the bottom of the (essential) spectrum in terms of exponential volume growth with respect to an intrinsic metric. As special cases we discuss operators on graphs. When the volume growth is measured in the natural graph distance (which is not an intrinsic metric) we discuss the threshold for positivity of the bottom of the spectrum and finiteness of the bottom of the essential spectrum of the (unbounded) graph Laplacian. This threshold is shown to lie at cubic polynomial growth.

math.FA↗