Source author record

Matthias Keller

Matthias Keller appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

51works
19topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

51 published item(s)

preprint2025arXiv

Optimal Hardy Inequality for Fractional Laplacians on the Lattice

We study the fractional Hardy inequality on the integer lattice. We prove null-criticality of the Hardy weight and hence optimality of the constant. More specifically, we present a family of Hardy weights with respect to a parameter and show that below a certain threshold the Hardy weight is positive critical while above the threshold it is subcritical. In particular, the Hardy weight at the threshold is optimal in the sense that any larger weight would fail to be a Hardy weight and the Hardy inequality does not allow for a minimizer. A crucial ingredient in our proof is an asymptotic expansion of the fractional discrete Riesz kernel.

preprint2023arXiv

A Fully Fiber-Integrated Ion Trap for Portable Optical Atomic Clocks

We present a novel, single-ion trap with integrated optical fibers directly embedded within the trap structure to deliver laser light as well as collect the ion's fluorescence. This eliminates the need for optical windows. We characterise the system's performance and measure signal-to-background ratios in the ion's fluorescence on the order of 50, which allows us to perform state readout with a fidelity over 99% in 600 $μ$s. We test the system's resilience to thermal variations in the range between 22°C and 53°C, and the system's vibration resilience at 34 Hz and 300 Hz and find no effect on its performance. The combination of compactness and robustness of our fiber-coupled trap makes it well suited for applications in, as well as outside, research laboratory environments and in particular for highly compact portable optical atomic clocks. While our system is designed for trapping $^{40}$Ca$^{+}$ ions the fundamental design principles can be applied to other ion species.

preprint2023arXiv

Boundary representations of intermediate forms between a regular Dirichlet form and its active main part

We characterize all semigroups sandwiched between the semigroup of a Dirichlet form and the semigroup of its active main part. In case the Dirichlet form is regular, we give a more explicit description of the quadratic forms of the sandwiched semigroups in terms of pairs consisting of an open set and a measure on an abstract boundary.

preprint2020arXiv

A note on eigenvalue bounds for non-compact manifolds

In this article we prove upper bounds for the Laplace eigenvalues $λ_k$ below the essential spectrum for strictly negatively curved Cartan-Hadamard manifolds. Our bound is given in terms of $k^2$ and specific geometric data of the manifold. This applies also to the particular case of non-compact manifolds whose sectional curvature tends to $-\infty$, where no essential spectrum is present due to a theorem of Donnelly/Li. The result stands in clear contrast to Laplacians on graphs where such a bound fails to be true in general.

preprint2020arXiv

Improving the Indistinguishability of Single Photons from an Ion-Cavity System

We investigate schemes for generating indistinguishable single photons, a key feature of quantum networks, from a trapped ion coupled to an optical cavity. Through selection of the initial state in a cavity-assisted Raman transition, we suppress the detrimental effect of spontaneous emission present in previously demonstrated schemes in similar systems. We measure a visibility of 72(2)% without correction for background counts in a Hong-Ou-Mandel interference measurement for the new scheme, with 51(2)% for a commonly-used scheme with similar parameters. Schemes such as the one demonstrated here have applications in distributed quantum computing and communications, where high fidelities are vital, and depend on the mutual indistinguishability of single photons.

preprint2019arXiv

From Hardy to Rellich inequalities on graphs

We show how to deduce Rellich inequalities from Hardy inequalities on infinite graphs. Specifically, the obtained Rellich inequality gives an upper bound on a function by the Laplacian of the function in terms of weighted norms. These weights involve the Hardy weight and a function which satisfies an eikonal inequality. The results are proven first for Laplacians and are extended to Schrödinger operators afterwards.

preprint2019arXiv

Riesz Decompositions for Schrödinger Operators on Graphs

We study superharmonic functions for Schrödinger operators on general weighted graphs. Specifically, we prove two decompositions which both go under the name Riesz decomposition in the literature. The first one decomposes a superharmonic function into a harmonic and a potential part. The second one decomposes a superharmonic function into a sum of superharmonic functions with certain upper bounds given by prescribed superharmonic functions. As application we show a Brelot type theorem.

preprint2018arXiv

Strong coupling of a single ion to an optical cavity

Strong coupling between an atom and an electromagnetic resonator is an important condition in cavity quantum electrodynamics (QED). While strong coupling in various physical systems has been achieved so far, it remained elusive for single atomic ions. In this paper we demonstrate for the first time the coupling of a single ion to an optical cavity with a coupling strength exceeding both atomic and cavity decay rates. We use cavity assisted Raman spectroscopy to precisely characterize the ion-cavity coupling strength and observe a spectrum featuring the normal mode splitting in the cavity transmission due to the ion-cavity interaction. Our work paves the way towards new applications of cavity QED utilizing single trapped ions in the strong coupling regime for quantum optics and quantum technologies.

preprint2016arXiv

Comparative numerical studies of ion traps with integrated optical cavities

We study a range of radio-frequency ion trap geometries and investigate the effect of integrating dielectric cavity mirrors on their trapping potential. We aim to identify ion trap and cavity configurations that are best suited for achieving small cavity volumes and thus large ion-photon coupling as required for scalable quantum information networks. In particular, we investigate the trapping potential distortions caused by the dielectric material of the cavity mirrors for different mirror orientations with respect to the trapping electrodes, as well as for mirror misalignment. We also analyze the effect of the mirror material properties such as dielectric constants and surface conductivity, and study the effect of surface charges on the mirrors. The smallest trapping potential distortions are found if the cavities are aligned along the major symmetry axis of the electrode geometries. These cavity configurations also appear to be the most stable with respect to any mirror misalignment.

preprint2016arXiv

Geometric and spectral consequences of curvature bounds on tessellations

This is a chapter of a forthcoming Lecture Notes in Mathematics "Modern Approaches to Discrete Curvature" edited by L. Najman and P. Romon. It provides a survey on geometric and spectral consequences of curvature bounds. The geometric setting are tessellations of surfaces with finite and vanishing genus. We consider a curvature arising as an angular defect. Several of the results presented here have analogues in Riemannian geometry. In some cases one can go even beyond the Riemannian results and there also striking differences which shall be highlighted.

preprint2016arXiv

Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions

A current trend in networking and cloud computing is to provide compute resources at widely dispersed places; this is exemplified by developments such as Network Function Virtualisation. This paves the way for wide-area service deployments with improved service quality: e.g, a nearby server can reduce the user-perceived response times. But always using the nearest server can be a bad decision if that server is already highly utilised. This paper formalises the two related problems of allocating resources at different locations and assigning users to them with the goal of minimising the response times for a given number of resources to use -- a non-linear capacitated facility location problem with integrated queuing systems. To efficiently handle the non-linearity, we introduce five linear problem approximations and adapt the currently best heuristic for a similar problem to our scenario. All six approaches are compared in experiments for solution quality and solving time. Surprisingly, our best optimisation formulation outperforms the heuristic in both time and quality. Additionally, we evaluate the influence ot resource distributions in the network on the response time: Cut by half for some configurations. The presented formulations are applicable to a broader optimisation domain.

preprint2016arXiv

Response-Time-Optimized Distributed Cloud Resource Allocation

A current trend in networking and cloud computing is to provide compute resources over widely dispersed places exemplified by initiatives like Network Function Virtualisation. This paves the way for a widespread service deployment and can improve service quality; a nearby server can reduce the user-perceived response times. But always using the nearest server is a bad decision if that server is already highly utilized. This paper investigates the optimal assignment of users to widespread resources -- a convex capacitated facility location problem with integrated queuing systems. We determine the response times depending on the number of used resources. This enables service providers to balance between resource costs and the corresponding service quality. We also present a linear problem reformulation showing small optimality gaps and faster solving times; this speed-up enables a swift reaction to demand changes. Finally, we compare solutions by either considering or ignoring queuing systems and discuss the response time reduction by using the more complex model. Our investigations are backed by large-scale numerical evaluations.

preprint2015arXiv

A Feynman-Kac-Itô Formula for magnetic Schrödinger operators on graphs

In this paper we prove a Feynman-Kac-Itô formula for magnetic Schrödinger operators on arbitrary weighted graphs. To do so, we have to provide a natural and general framework both on the operator theoretic and the probabilistic side of the equation. On the operator side we identify a very general class of potentials that allows the definition of magnetic Schrödinger operators. On the probabilistic side, we introduce an appropriate notion of stochastic line integrals with respect to magnetic potentials. Apart from linking the world of discrete magnetic operators with the probabilistic world through the Feynman-Kac-Itô formula, the insights from this paper gained on both sides should be of an independent interest. As applications of the Feynman-Kac-Itô formula, we prove a Kato inequality, a Golden-Thompson inequality and an explicit representation of the quadratic form domains corresponding to a large class of potentials.

preprint2015arXiv

Coulomb crystal mass spectrometry in a digital ion trap

We present a mass spectrometric technique for identifying the masses and relative abundances of Coulomb-crystallized ions held in a linear Paul trap. A digital radiofrequency waveform is employed to generate the trapping potential, as this can be cleanly switched off, and static dipolar fields subsequently applied to the trap electrodes for ion ejection. Excellent detection efficiency is demonstrated for Ca+ and CaF+ ions from bi-component Ca+/CaF+ Coulomb crystals prepared by reaction of Ca+ with CH3F. A quantitative linear relationship is observed between ion number and the corresponding integrated TOF peak, independent of the ionic species. The technique is applicable to a diverse range of multi-component Coulomb crystals - demonstrated here for Ca+/NH3+/NH4+ and Ca+/CaOH+/CaOD+ crystals - and will facilitate the measurement of ion-molecule reaction rates and branching ratios in complicated reaction systems.

preprint2015arXiv

Intrinsic metrics on graphs: A survey

A few years ago various disparities for Laplacians on graphs and manifolds were discovered. The corresponding results are mostly related to volume growth in the context of unbounded geometry. Indeed, these disparities can now be resolved by using so called intrinsic metrics instead of the combinatorial graph distance. In this article we give an introduction to this topic and survey recent results in this direction. Specifically, we cover topics such as Liouville type theorems for harmonic functions, essential selfadjointness, stochastic completeness and upper escape rates. Furthermore, we determine the spectrum as a set via solutions, discuss upper and lower spectral bounds by isoperimetric constants and volume growth and study $p$-independence of spectra under a volume growth assumption.

preprint2015arXiv

Note on short time behavior of semigroups associated to selfadjoint operators

We present a simple observation showing that the heat kernel on a locally finite graph behaves for short times $t$ roughly like $t^d$, where $d$ is the combinatorial distance. This is very different from the classical Varadhan type behavior on manifolds. Moreover, this also gives that short time behavior and global behavior of the heat kernel are governed by two different metrics whenever the degree of the graph is not uniformly bounded.

preprint2015arXiv

Novel laser machining of optical fibers for long cavities with low birefringence

We present a novel method of machining optical fiber surfaces with a CO${}_2$ laser for use in Fiber-based Fabry-Perot Cavities (FFPCs). Previously FFPCs were prone to large birefringence and limited to relatively short cavity lengths ($\le$ 200 $μ$m). These characteristics hinder their use in some applications such as cavity quantum electrodynamics with trapped ions. We optimized the laser machining process to produce large, uniform surface structures. This enables the cavities to achieve high finesse even for long cavity lengths. By rotating the fibers around their axis during the laser machining process the asymmetry resulting from the laser's transverse mode profile is eliminated. Consequently we are able to fabricate fiber mirrors with a high degree of rotational symmetry, leading to remarkably low birefringence. Through measurements of the cavity finesse over a range of cavity lengths and the polarization dependence of the cavity linewidth, we confirmed the quality of the produced fiber mirrors for use in low-birefringence FFPCs.

preprint2015arXiv

Optimised multi-ion cavity coupling

Recent technological advances in cavity quantum electrodynamics (CQED) are paving the way to utilise multiple quantum emitters confined in a single optical cavity. In such systems it is crucially important to control the quantum mechanical coupling of individual emitters to the cavity mode. In this regard, combining ion trap technologies with CQED provides a particularly promising approach due to the well-established motional control over trapped ions. Here we experimentally demonstrate coupling of up to five trapped ions in a string to a high-finesse optical cavity. By changing the axial position and spacing of the ions in a fully deterministic manner, we systematically characterise their coupling to the cavity mode through visibility measurements of the cavity emission. In good agreement with the theoretical model, the results demonstrate that the geometrical configuration of multiple trapped ions can be manipulated to obtain optimal cavity coupling. Our system presents a new ground to explore CQED with multiple quantum emitters, enabled by the highly controllable collective light-matter interaction.

preprint2014arXiv

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.

preprint2014arXiv

Cosmological Evolution of Fundamental Constants: From Theory to Experiment

In this paper we discuss a possible cosmological time evolution of fundamental constants from the theoretical and experimental point of views. On the theoretical side, we explain that such a cosmological time evolution is actually something very natural which can be described by mechanisms similar to those used to explain cosmic inflation. We then discuss implications for grand unified theories, showing that the unification condition of the gauge coupling could evolve with cosmological time. Measurements of the electron-to-proton mass ratio can test grand unified theories using low energy data. Following the theoretical discussion, we review the current status of precision measurements of fundamental constants and their potential cosmological time dependence.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

Global properties of Dirichlet forms in terms of Green's formula

We study global properties of Dirichlet forms such as uniqueness of the Dirichlet extension, stochastic completeness and recurrence. We characterize these properties by means of vanishing of a boundary term in Green's formula for functions from suitable function spaces and suitable operators arising from extensions of the underlying form. We first present results in the framework of general Dirichlet forms on $σ$-finite measure spaces. For regular Dirichlet forms our results can be strengthened as all operators from the previous considerations turn out to be restrictions of a single operator. Finally, the results are applied to graphs, weighted manifolds, and metric graphs, where the operators under investigation can be determined rather explicitly.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

Absolutely continuous spectrum for multi-type Galton Watson trees

We consider multi-type Galton Watson trees that are close to a tree of finite cone type in distribution. Moreover, we impose that each vertex has at least one forward neighbor. Then, we show that the spectrum of the Laplace operator exhibits almost surely a purely absolutely continuous component which is included in the absolutely continuous spectrum of the tree of finite cone type.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2011arXiv

Absolutely continuous spectrum for random operators on trees of finite cone type

We study the spectrum of random operators on a large class of trees. These trees have finitely many cone types and they can be constructed by a substitution rule. The random operators are perturbations of Laplace type operators either by random potentials or by random hopping terms, i.e., perturbations of the off-diagonal elements. We prove stability of arbitrary large parts of the absolutely continuous spectrum for sufficiently small but extensive disorder.

preprint2011arXiv

All-optical ion generation for ion trap loading

We have investigated the all-optical generation of ions by photo-ionisation of atoms generated by pulsed laser ablation. A direct comparison between a resistively heated oven source and pulsed laser ablation is reported. Pulsed laser ablation with 10 ns Nd:YAG laser pulses is shown to produce large calcium flux, corresponding to atomic beams produced with oven temperatures greater than 650 K. For an equivalent atomic flux, pulsed laser ablation is shown to produce a thermal load more than one order of magnitude smaller than the oven source. The atomic beam distributions obey Maxwell-Boltzmann statistics with most probable speeds corresponding to temperatures greater than 2200 K. Below a threshold pulse fluence between 280 mJ/cm^2 and 330 mJ/cm^2, the atomic beam is composed exclusively of ground state atoms. For higher fluences ions and excited atoms are generated.

preprint2011arXiv

Curvature, geometry and spectral properties of planar graphs

We introduce a curvature function for planar graphs to study the connection between the curvature and the geometric and spectral properties of the graph. We show that non-positive curvature implies that the graph is infinite and locally similar to a tessellation. We use this to extend several results known for tessellations to general planar graphs. For non-positive curvature, we show that the graph admits no cut locus and we give a description of the boundary structure of distance balls. For negative curvature, we prove that the interiors of minimal bigons are empty and derive explicit bounds for the growth of distance balls and Cheeger's constant. The latter are used to obtain lower bounds for the bottom of the spectrum of the discrete Laplace operator. Moreover, we give a characterization for triviality of essential spectrum by uniform decrease of the curvature. Finally, we show that non-positive curvature implies absence of finitely supported eigenfunctions for nearest neighbor operators.

preprint2011arXiv

Dirichlet forms and stochastic completeness of graphs and subgraphs

We study Laplacians on graphs and networks via regular Dirichlet forms. We give a sufficient geometric condition for essential selfadjointness and explicitly determine the generators of the associated semigroups on all $\ell^p$, $1\leq p < \infty$, in this case. We characterize stochastic completeness thereby generalizing all earlier corresponding results for graph Laplacians. Finally, we study how stochastic completeness of a subgraph is related to stochastic completeness of the whole graph.

preprint2011arXiv

Fiber-coupled single ion as an efficient quantum light source

We have realized a compact system to efficiently couple the fluorescent light emitted by a single trapped ion to two opposing optical fibers. The fibers are tightly integrated in the center electrodes of a miniature endcap trap. They capture light from the ion with a numerical aperture of 0.34 each, corresponding to 6% of the solid angle in total. The high collection efficiency and high signal-to-background ratio make the setup an ideal quantum light source. We have observed strong antibunching of the photons emitted from the two fibers. The system has a range of applications from single-ion state detection in quantum information processing to strong coupling cavity-QED with ions.

preprint2011arXiv

On the spectral theory of operators on trees

We study a class of rooted trees with a substitution type structure. These trees are not necessarily regular, but exhibit a lot of symmetries. We consider nearest neighbor operators which reflect the symmetries of the trees. The spectrum of such operators is proven to be purely absolutely continuous and to consist of finitely many intervals. We further investigate stability of the absolutely continuous spectrum under perturbations by sufficiently small potentials. On the one hand, we look at a class of deterministic potentials which include radial symmetric ones. The absolutely continuous spectrum is stable under sufficiently small perturbations of this type if and only if the tree is not regular. On the other hand, we study random potentials. In this case, we prove stability of absolutely continuous spectrum for both regular and non regular trees provided the potentials are sufficiently small.

preprint2011arXiv

On the spectral theory of trees with finite cone type

We study basic spectral features of graph Laplacians associated with a class of rooted trees which contains all regular trees. Trees in this class can be generated by substitution processes. Their spectra are shown to be purely absolutely continuous and to consist of finitely many bands. The main result gives stability of absolutely continuous spectrum under sufficiently small radially label symmetric perturbations for non regular trees in this class. In sharp contrast, the absolutely continuous spectrum can be completely destroyed by arbitrary small radially label symmetric perturbations for regular trees in this class.

preprint2011arXiv

Spectral Analysis of Certain Spherically Homogeneous Graphs

We study operators on rooted graphs with a certain spherical homogeneity. These graphs are called path commuting and allow for a decomposition of the adjacency matrix and the Laplacian into a direct sum of Jacobi matrices which reflect the structure of the graph. Thus, the spectral properties of the adjacency matrix and the Laplacian can be analyzed by means of the elaborated theory of Jacobi matrices. For some examples which include antitrees, we derive the decomposition explicitly and present a zoo of spectral behavior induced by the geometry of the graph. In particular, these examples show that spectral types are not at all stable under rough isometries.

preprint2011arXiv

Weighing of trapped ion crystals and its applications

We have developed a novel scheme to measure the secular motion of trapped ions. Employing pulsed excitation and analysis of the fluorescence of laser cooled ions, we have measured the centre-of-mass mode frequency of single as well as entire ion crystals with a frequency precision better than 5e-4 within an interrogation time on the order of seconds, limited only by the fluorescence collection efficiency and the background noise. We have used this method to measure the mass of ions and observed charge exchange collisions between trapped calcium isotopes.

preprint2010arXiv

Generalized solutions and spectrum for Dirichlet forms on graphs

We study the connection of the existence of solutions with certain properties and the spectrum of operators in the framework of regular Dirichlet forms on infinite graphs. In particular we prove a version of the Allegretto-Piepenbrink theorem, which says that positive (super-)solutions to a generalized eigenvalue equation exist exactly for energies not exceeding the infimum of the spectrum. Moreover we show a version of Shnol's theorem, which says that existence of solutions satisfying a growth condition with respect to a given boundary measure implies that the corresponding energy is in the spectrum.