Searcharxiv⌕ Search

arXiv subjects

Melchior Wirth

Publications and source records attributed to Melchior Wirth.

28 records · Page 2Linked to original sources
arXiv2020

Self-Adjoint Extensions of Bipartite Hamiltonians

We compute the deficiency spaces of operators of the form $H_A{\hat{\otimes}} I + I{\hat{\otimes}} H_B$, for symmetric $H_A$ and self-adjoint $H_B$. This enables us to construct self-adjoint extensions (if they exist) by means of von Neumann's theory. The structure of the deficiency spaces for this case was asserted already by Ibort, Marmo and Pérez-Pardo, but only proven under the restriction of $H_B$ having discrete, non-degenerate spectrum.

math.FA↗
arXiv2020

Uniqueness of form extensions and domination of semigroups

In this article, we present a new method to study uniqueness of form extensions in a rather general setting. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. Our main abstract result transfers uniqueness of form extension of a dominating form to that of a dominated form. This result can be applied to a multitude of examples including various magnetic Schrödinger forms on graphs and on manifolds.

math.FA↗
arXiv2018

On the geometry of geodesics in discrete optimal transport

We consider the space of probability measures on a discrete set $X$, endowed with a dynamical optimal transport metric. Given two probability measures supported in a subset $Y \subseteq X$, it is natural to ask whether they can be connected by a constant speed geodesic with support in $Y$ at all times. Our main result answers this question affirmatively, under a suitable geometric condition on $Y$ introduced in this paper. The proof relies on an extension result for subsolutions to discrete Hamilton-Jacobi equations, which is of independent interest.

math.MG↗
arXiv2018

Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure

In this note we study the eigenvalue growth of infinite graphs with discrete spectrum. We assume that the corresponding Dirichlet forms satisfy certain Sobolev-type inequalities and that the total measure is finite. In this sense, the associated operators on these graphs display similarities to elliptic operators on bounded domains in the continuum. Specifically, we prove lower bounds on the eigenvalue growth and show by examples that corresponding upper bounds can not be established.

math.SP↗
arXiv2018

Geometric properties of Dirichlet forms under order isomorphisms

We study pairs of Dirichlet forms related by an intertwining order isomorphisms between the associated $L^2$-spaces. We consider the measurable, the topological and the geometric setting respectively. In the measurable setting, we deal with arbitrary (irreducible) Dirichlet forms and show that any intertwining order isomorphism is necessarily unitary (up to a constant). In the topological setting we deal with quasi-regular forms and show that any intertwining order isomorphism induces a quasi-homeomorphism between the underlying spaces. In the geometric setting we deal with both regular Dirichlet forms as well as resistance forms and essentially show that the geometry defined by these forms is preserved by intertwining order isomorphisms. In particular, we prove in the strongly local regular case that intertwining order isomorphisms induce isometries with respect to the intrinsic metrics between the underlying spaces under fairly mild assumptions. This applies to a wide variety of metric measure spaces including $\mathrm{RCD}(K,N)$-spaces, complete weighted Riemannian manifolds and complete quantum graphs. In the non-local regular case our results cover in particular graphs as well as fractional Laplacians as arising in the treatment of $α$-stable Lévy processes. For resistance forms we show that intertwining order isomorphisms are isometries with respect to the resistance metrics. Our results can can be understood as saying that diffusion always determines the Hilbert space, and -- under natural compatibility assumptions -- the topology and the geometry respectively. As special instances they cover earlier results for manifolds and graphs.

math.FA↗
arXiv2017

Domination of quadratic forms

We study domination of quadratic forms in the abstract setting of ordered Hilbert spaces. Our main result gives a characterization in terms of the associated forms. This generalizes and unifies various earlier works. Along the way we present several examples.

math.FA↗
arXiv2017

Stability of Kac regularity under domination of quadratic forms

A domain is called Kac regular for a quadratic form on $L^2$ if the closure of all functions vanishing almost everywhere outside a closed subset of the domain coincides with the set of all functions vanishing almost everywhere outside the domain. It is shown that this notion is stable under domination of quadratic forms. As applications measure perturbations of quasi-regular Dirichlet forms, Cheeger energies on metric measure spaces and Schrödinger operators on manifolds are studied. Along the way a characterization of the Sobolev space with Dirichlet boundary conditions on domains in infinitesimally Riemannian metric measure spaces is obtained.

math.FA↗
arXiv2016

Uniqueness of form extensions and domination of semigroups

In this article, we study questions of uniqueness of form extension for certain magnetic Schrödinger forms. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. We review this concept in an abstract setting and give a characterization in terms of the associated forms. Then we use it to prove a theorem that transfers uniqueness of form extension of a dominating form to that of a dominated form. This result is applied in two concrete situations: magnetic Schrödinger forms on graphs and on domains in Euclidean space.

math.FA↗
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↗