Searcharxiv⌕ Search

arXiv subjects

Matthias Keller

Publications and source records attributed to Matthias Keller.

At least 19 recordsLinked to original sources
arXiv2026

Optimal Hardy Inequalities for Random Walks on $\mathbb{Z}^2$

We prove an optimal Hardy inequality for every aperiodic, symmetric random walk in $\mathbb{Z}^2$ with finite variance. In particular, we verify null-criticality, and thus, optimality of the underlying Hardy weight. Under suitable moment conditions, we use fine asymptotics of the potential kernel due to Fukai and Uchiyama in order to derive the asymptotics of the weight. For the standard Laplacian, we recover the expected first order term in the asymptotics but also show that next order term is negative. Thus, our result shows that the constant in the Hardy inequality proven by Kapitanski and Laptev cannot be larger than $1/4$, which is the optimal constant in the continuum. The proof of null-criticality rests on a new criterion for general graphs beyond the locally finite case. We also recover the situation of $\mathbb{Z}^d$ with $d \geq 3$ which can also be also treated by our new method.

math.CA↗
arXiv2026

Eigenvalue growth of the discrete Hodge Laplacian across dimensions

We prove several bounds on the largest and smallest eigenvalues of the combinatorial Hodge Laplacian $\Delta^H_k$ of a finite simplicial complex $\Sigma.$ As a consequence, we obtain new vanishing criteria for cohomology groups $H^k(\Sigma,\mathbb{R)}$ and confirm a conjecture of O on the dimensional monotonicity of the largest eigenvalue.

math.CO↗
arXiv2026

Supersolution Construction and Optimal Hardy Inequality for Fractional Laplacians

We give a new criterion to show optimality of Hardy weights for general operators on graphs via the supersolution construction. For Laplacians on graphs without killing terms this always gives rise to an optimal Hardy weight via the Green's function without any further assumptions. Furthermore, in contrast to earlier results, our result is not restricted to locally finite graphs. This allows us in particular to obtain optimal Hardy weights for the fractional Laplacian on general graphs. For the fractional Laplacian on the Euclidean lattice, we then obtain an optimal Hardy weight with the constant and asymptotics as it is expected from the continuous setting.

math.AP↗
arXiv2026

A Liouville Theorem for Domains in Graphs

We show a Liouville theorem for domains in graphs with Dirichlet boundary conditions. More specifically, we characterize the non-existence of non-zero bounded harmonic functions. Since Dirichlet boundary conditions give rise to Laplacians with a positive killing term, we can first characterize the validity of the Liouville theorem by the fact that the Green operator applied to the killing terms is equal to 1, or in other words, that the constant function $1$ is a potential. Secondly, we derive a characterization in terms of stochastic completeness at infinity and and total loss of heat. Thirdly, we give a characterization in terms of a Green formula for superharmonic potentials. Finally, we investigate the Liouville property in terms of recurrence and transience of the graph without killing term. As an application, we consider subsets of the Euclidean space such as cones and percolation clusters, and weakly spherically symmetric graphs.

math.AP↗
arXiv2026

On the accretivity and m-accretivity of Laplacians and porous medium-type operators on graphs

We study the accretivity and m-accretivity of Laplacian and porous medium-type operators on weighted graphs. In particular, we give several conditions that imply these properties for maximal operators and investigate when these operators agree with various restrictions. For porous medium-type operators on $\ell^1$ and for Laplacians on $\ell^p$ for $p \in [1,\infty)$, we show that there always exists a dense subset of the domain on which the maximal operator is m-accretive. As a consequence, we establish that accretivity, m-accretivity and injectivity of the shifted operator are all equivalent for these maximal operators. Under additional conditions on the graph, we then prove that the maximal operators are m-accretive on the entire domain, not just a dense subset. We also investigate minimal operators and show that they are m-accretive if and only if the minimal and maximal operators agree and the maximal operator is accretive. We then give some conditions that imply this agreement. Furthermore, for the minimal Laplacian on $\ell^p$, we show that accretivity and m-accretivity are not equivalent. For the $\ell^2$ case, we give connections to Markov uniqueness and essential self-adjointness. For the $\ell^\infty$ case, we establish the equivalence of stochastic completeness at infinity, m-accretivity for the maximal Laplacian on $\ell^\infty$, and m-accretivity of the minimal Laplacian on $\ell^1$.

math.FA↗
arXiv2026

The complex property of the boundary operator on simplicial complexes

We study the complex property $\partial\partial = 0$ of the boundary operator $\partial$ on a weighted, infinite, and possibly non-locally finite simplicial complex. We give a characterization of this property in $\ell^2$ in terms of the recurrence of the links of simplices. The complex property is essential to ensure that Hodge Laplacians $\Delta^H $ indeed act as $\delta\partial + \partial\delta$ and to decompose $\Delta^H$ into a direct sum of operators acting on $k$-forms. Furthermore, it allows us to define relative cohomology classes, show a respective weak Hodge decomposition, and prove the existence of harmonic Dirichlet eigenforms. We also discuss a transience property for simplicial complexes, that was introduced by Parzanchevski and Rosenthal.

math.FA↗
arXiv2026

Positive Criticality and Optimal Hardy Inequality for Fractional Laplacians

We characterize positive critical Hardy weights for general Laplacians on weighted graphs. We then apply this result to fractional Laplacians on general graphs and use the characterization to identify an optimal Hardy weight under suitable assumptions. We finally illustrate our results with examples of graphs which arise as Cayley graphs of groups, satisfy curvature assumptions or are fractal graphs.

math-ph↗
arXiv2026

Coupling of the continuum and semiclassical limit. Part I: convergence of eigenvalues

We analyze the semiclassical $d$-dimensional Schr\"{o}dinger operator in the continuum $ \frac{1}{2} \Delta + \lambda_N^2 V$ discretized on a mesh with spacing proportional to $1/N$. The semi-classical parameter $\lambda_N$ is chosen as $\lambda_N = N^{1 - \gamma}$, with $\gamma \in (-1,1)$, which ensures that $N$ governs both the semiclassical and continuum limit simultaneously. We prove that all eigenvalues of the discrete operator converge to those of the continuum, as $\lambda_N\to\infty$. Beyond this semi-classical domain, in the case of the harmonic oscillator, we further discuss the spectral asymptotics for $\gamma \in \mathbb{R} \setminus (-1,1)$, thereby fully characterizing the eigenvalue behavior across all possible values of $\gamma\in\mathbb{R}$.

math-ph↗
arXiv2026

The heat equation and independence of the spectrum of the Hodge Laplacian on $\ell^p$

We study the heat equation associated to the Hodge Laplacian on simplicial complexes. Using recently developed techniques for magnetic Schr\"odinger operators, we prove Davies-Gaffney-Grigoryan type estimates for the kernel of the heat semigroup on $\ell^2,$ which we then use to extend the semigroup to $\ell^p$ for $p\in[1,\infty]$ under suitable curvature and volume growth conditions. Furthermore, we establish $p$-independence of the Hodge Laplacian spectrum under the assumption of form bounded curvature and uniform subexponential volume growth. While the main focus of the paper is the Hodge Laplacian on simplicial complexes, the results are indeed proven for general positive magnetic Schr\"odinger operators on graphs.

math.FA↗
arXiv2026

Generation of fully phase controlled two-photon entangled states

Control over the internal states of trapped ions makes them the ideal system to generate single and two-photon states. Coupling a single ion to an optical cavity enables efficient emission of single photons into a single spatial mode and grants control over their temporal shape, phase and frequency. Using the long coherence time of the ion's internal states and employing a scheme to protect the coherence of the ion-cavity interaction, we demonstrate the generation of a two-photon entangled state with full control over the phase. Initially, ion-photon entanglement is generated. A second photon is subsequently generated, mapping the ion's state onto the second photon. By adjusting the drive field the phase of the entangled state can be fully controlled. We implement this scheme in the most resource efficient way by utilizing a single $^{40}$Ca$^+$ ion coupled to an optical cavity and demonstrate the generation of a two-photon entangled stated with full phase control with a fidelity of up to 82\%.

quant-ph↗
arXiv2025

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.

math.CA↗
arXiv2025

Coulomb crystallization of xenon highly charged ions in a laser-cooled Ca+ matrix

We report on the sympathetic cooling and Coulomb crystallization of xenon highly charged ions (HCIs) with laser-cooled Ca$^+$ ions. The HCIs are produced in a compact electron beam ion trap, then charge selected, decelerated, and finally injected into a cryogenic linear Paul trap. There, they are captured into $^{40}$Ca$^+$ Coulomb crystals, and co-crystallized within them, causing dark voids in their fluorescence images. Fine control over the number of trapped ions and HCIs allows us to realize mixed-species crystals with arbitrary ordering patterns. By investigating Xe$^{q+}$--Ca$^+$ strings, we confirm the HCI charge states, measure their lifetime and characterize the mixed-species motional modes. Our system effectively combines the established quantum control toolbox for Ca$^+$ with the rich set of atomic properties of Xe highly charged ions, providing a resourceful platform for optical frequency metrology, searches for signatures of new physics, and quantum information science.

physics.atom-ph↗
arXiv2025

On the Landis Conjecture for Positive Quasi-linear Operators on Graphs

We prove a Landis type unique continuation result for positive quasi-linear operators on graphs. Specifically, we give decay criteria that ensures when a harmonic function for a positive quasilinear Schr\"odinger operator with potential less than 1 is trivially zero. The assumption of positivity of the operator allows the application of criticality theory such as the Liouville comparison theorem. Furthermore, our results fundamentally build on the so called simplified energy. As an application we discuss the case of model graphs and in particular regular trees.

math.AP↗
arXiv2025

On Hodge Laplacians on General Simplicial Complexes

We study Laplacians on general countable weighted simplicial complexes from a conceptual point of view. These operators will first be introduced formally before showing that those formal operators coincide with self-adjoint realizations of operators arising from quadratic forms. A major conceptual perspective is the correspondence to signed Schr\"odinger operators unveiling the Forman curvature. The main results are criteria for essential self-adjointness via lower bounded Forman curvature and a Gaffney type result via completeness. Finally, we study spectral relations between these Laplacians.

math.FA↗
arXiv2025

Resonator-assisted quantum transduction between superconducting qubits and trapped atomic systems via Rydberg levels

Using a shared microwave resonator, we propose a transduction scheme between superconducting qubits and qubit states encoded in the low-lying internal levels of trapped atomic systems. The approach employs atomic Rydberg levels together with laser pulses that connect them to the low-lying qubit states. We explore two coupling protocols: one based on resonant interactions between the subsystems, and another operating in the dispersive regime, where the resonator is far detuned from the transition frequencies of the matter qubits. These protocols enable the transfer of a general qubit state from the superconducting qubit to the atomic qubit. Transfer fidelity is evaluated across different coupling regimes and under various sources of dissipation and decoherence, including resonator decay, Rydberg state decay, and both relaxation and pure dephasing of the superconducting qubit, providing a detailed assessment of the performance of the proposed scheme.

quant-ph↗
arXiv2024

Large deviations in mean-field quantum spin systems

Continuous fields (or bundles) of $C^*$-algebras form an important ingredient for describing emergent phenomena, such as phase transitions and spontaneous symmetry breaking. In this work, we consider the continuous $C^*$-bundle generated by increasing symmetric tensor powers of the complex $\ell\times\ell$ matrices $M_\ell(\mathbb{C})$, which can be interpreted as abstract description of mean-field theories defining the macroscopic limit of infinite quantum systems. Within this framework we discuss the principle of large deviations for the local Gibbs state in the high temperature regime and characterize the limit of the ensuing logarithmic generating function.

math-ph↗
arXiv2024

On Landis' conjecture for positive Schr\"odinger operators on graphs

In this note we study the Landis conjecture for positive Schr\"odin\-ger operators on graphs. More precisely, we prove a Landis-type result in the form of a decay criterion that ensures when $\mathcal{H}$-harmonic functions for a positive Schr\"odinger operator $\mathcal{H}$ with potentials bounded from above by $ 1 $ are trivial. The positivity assumption on the operator allows us to impose slow decay across the entire graph, while requiring fast decay in only one direction, rather than throughout the whole graph. We then specifically look at the special cases of $ \mathbb{Z}^{d} $ and regular trees for which we get a explicit decay criterion. Moreover, we consider the fractional analogue of the Landis conjecture on $ \mathbb{Z}^{d} $. Our approach relies on the discrete version of Liouville comparison principle which is also proved in this article.

math.AP↗