Showing 1–27 of 27 results for author: Wirth, M

Operator-Valued Twisted Araki-Woods Algebras

Authors: Rahul Kumar R, Melchior Wirth

Abstract: We introduce operator-valued twisted Araki-Woods algebras. These are operator-valued versions of a class of second quantization algebras that includes $q$-Gaussian and $q$-Araki-Woods algebras and also generalize Shlyakhtenko's von Neumann algebras generated by operator-valued semicircular variables. We develop a disintegration theory that reduces the isomorphism type of operator-valued twisted Ar… ▽ More We introduce operator-valued twisted Araki-Woods algebras. These are operator-valued versions of a class of second quantization algebras that includes $q$-Gaussian and $q$-Araki-Woods algebras and also generalize Shlyakhtenko's von Neumann algebras generated by operator-valued semicircular variables. We develop a disintegration theory that reduces the isomorphism type of operator-valued twisted Araki-Woods algebras over type I factors to the scalar-valued case. Moreover, these algebras come with a natural weight, and we characterize its modular theory. We also give sufficient criteria that guarantee that factoriality of these algebras. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Intertwining Curvature Bounds for Graphs and Quantum Markov Semigroups

Authors: Florentin Münch, Melchior Wirth, Haonan Zhang

Abstract: Based on earlier work by Carlen-Maas and the second- and third-named author, we introduce the notion of intertwining curvature lower bounds for graphs and quantum Markov semigroups. This curvature notion is stronger than both Bakry-Émery and entropic Ricci curvature, while also computationally simpler than the latter. We verify intertwining curvature bounds in a number of examples, including finit… ▽ More Based on earlier work by Carlen-Maas and the second- and third-named author, we introduce the notion of intertwining curvature lower bounds for graphs and quantum Markov semigroups. This curvature notion is stronger than both Bakry-Émery and entropic Ricci curvature, while also computationally simpler than the latter. We verify intertwining curvature bounds in a number of examples, including finite weighted graphs and graphs with Laplacians admitting nice map** representations, as well as generalized dephasing semigroups and quantum Markov semigroups whose generators are formed by commuting jump operators. By improving on the best-known bounds for entropic curvature of depolarizing semigroups, we demonstrate that there can be a gap between the optimal intertwining and entropic curvature bound. In the case of qubits, this improved entropic curvature bound implies the modified logarithmic Sobolev inequality with optimal constant. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Modular Completely Dirichlet forms as Squares of Derivations

Authors: Melchior Wirth

Abstract: We prove that certain closable derivations on the GNS Hilbert space associated with a non-tracial weight on a von Neumann algebra give rise to GNS-symmetric semigroups of contractive completely positive maps on the von Neumann algebra. We prove that certain closable derivations on the GNS Hilbert space associated with a non-tracial weight on a von Neumann algebra give rise to GNS-symmetric semigroups of contractive completely positive maps on the von Neumann algebra. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Derivations and KMS-Symmetric Quantum Markov Semigroups

Authors: Matthijs Vernooij, Melchior Wirth

Abstract: We prove that the generator of the $L^2$ implementation of a KMS-symmetric quantum Markov semigroup can be expressed as the square of a derivation with values in a Hilbert bimodule, extending earlier results by Cipriani and Sauvageot for tracially symmetric semigroups and the second-named author for GNS-symmetric semigroups. This result hinges on the introduction of a new completely positive map o… ▽ More We prove that the generator of the $L^2$ implementation of a KMS-symmetric quantum Markov semigroup can be expressed as the square of a derivation with values in a Hilbert bimodule, extending earlier results by Cipriani and Sauvageot for tracially symmetric semigroups and the second-named author for GNS-symmetric semigroups. This result hinges on the introduction of a new completely positive map on the algebra of bounded operators on the GNS Hilbert space. This transformation maps symmetric Markov operators to symmetric Markov operators and is essential to obtain the required inner product on the Hilbert bimodule. △ Less

Submitted 23 June, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 35 pages, implemented small changes based on reviewers comments. Accepted in Communications in Mathematical Physics

MSC Class: 46L57

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

Authors: Matthias Keller, Daniel Lenz, Marcel Schmidt, Michael Schwarz, Melchior Wirth

Abstract: 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. 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. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Quantum Talagrand, KKL and Friedgut's theorems and the learnability of quantum Boolean functions

Authors: Cambyse Rouzé, Melchior Wirth, Haonan Zhang

Abstract: We extend three related results from the analysis of influences of Boolean functions to the quantum setting, namely the KKL Theorem, Friedgut's Junta Theorem and Talagrand's variance inequality for geometric influences. Our results are derived by a joint use of recently studied hypercontractivity and gradient estimates. These generic tools also allow us to derive generalizations of these results i… ▽ More We extend three related results from the analysis of influences of Boolean functions to the quantum setting, namely the KKL Theorem, Friedgut's Junta Theorem and Talagrand's variance inequality for geometric influences. Our results are derived by a joint use of recently studied hypercontractivity and gradient estimates. These generic tools also allow us to derive generalizations of these results in a general von Neumann algebraic setting beyond the case of the quantum hypercube, including examples in infinite dimensions relevant to quantum information theory such as continuous variables quantum systems. Finally, we comment on the implications of our results as regards to noncommutative extensions of isoperimetric type inequalities, quantum circuit complexity lower bounds and the learnability of quantum observables. △ Less

Submitted 3 April, 2024; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 43 pages. Minor corrections. To appear in Comm. Math. Phys

The Differential Structure of Generators of GNS-symmetric Quantum Markov Semigroups

Authors: Melchior Wirth

Abstract: We show that the generator of a GNS-symmetric quantum Markov semigroup can be written as the square of a derivation. This generalizes a result of Cipriani and Sauvageot for tracially symmetric semigroups. Compared to the tracially symmetric case, the derivations in the general case satisfy a twisted product rule, reflecting the non-triviality of their modular group. This twist is captured by the n… ▽ More We show that the generator of a GNS-symmetric quantum Markov semigroup can be written as the square of a derivation. This generalizes a result of Cipriani and Sauvageot for tracially symmetric semigroups. Compared to the tracially symmetric case, the derivations in the general case satisfy a twisted product rule, reflecting the non-triviality of their modular group. This twist is captured by the new concept of Tomita bimodules we introduce. If the quantum Markov semigroup satisfies a certain additional regularity condition, the associated Tomita bimodule can be realized inside the $L^2$ space of a bigger von Neumann algebra, whose construction is an operator-valued version of free Araki-Woods factors. △ Less

Submitted 19 July, 2022; originally announced July 2022.

Christensen-Evans theorem and extensions of GNS-symmetric quantum Markov semigroups

Authors: Melchior Wirth

Abstract: In this note we prove a refined version of the Christensen-Evans theorem for generators of uniformly continuous GNS-symmetric quantum Markov semigroups. We use this result to show the existence of GNS-symmetric extensions of GNS-symmetric quantum Markov semigroups. In particular, this implies that the generators of GNS-symmetric quantum Markov semigroups on finite-dimensional von Neumann algebra c… ▽ More In this note we prove a refined version of the Christensen-Evans theorem for generators of uniformly continuous GNS-symmetric quantum Markov semigroups. We use this result to show the existence of GNS-symmetric extensions of GNS-symmetric quantum Markov semigroups. In particular, this implies that the generators of GNS-symmetric quantum Markov semigroups on finite-dimensional von Neumann algebra can be written in the form specified by Alicki's theorem. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms

Authors: Lorenzo Dello Schiavo, Melchior Wirth

Abstract: We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation vi… ▽ More We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation via an isomorphism of the corresponding indexing spaces. △ Less

Submitted 27 November, 2022; v1 submitted 1 September, 2021; originally announced September 2021.

Comments: 16 pages. To appear in J. Evol. Equ. arXiv admin note: text overlap with arXiv:2003.01366

MSC Class: 31C25

Journal ref: J. Evol. Equ. 23 n.9, 2023

Curvature-dimension conditions for symmetric quantum Markov semigroups

Authors: Melchior Wirth, Haonan Zhang

Abstract: Following up on the recent work on lower Ricci curvature bounds for quantum systems, we introduce two noncommutative versions of curvature-dimension bounds for symmetric quantum Markov semigroups over matrix algebras. Under suitable such curvature-dimension conditions, we prove a family of dimension-dependent functional inequalities, a version of the Bonnet-Myers theorem and concavity of entropy p… ▽ More Following up on the recent work on lower Ricci curvature bounds for quantum systems, we introduce two noncommutative versions of curvature-dimension bounds for symmetric quantum Markov semigroups over matrix algebras. Under suitable such curvature-dimension conditions, we prove a family of dimension-dependent functional inequalities, a version of the Bonnet-Myers theorem and concavity of entropy power in the noncommutative setting. We also provide examples satisfying certain curvature-dimension conditions, including Schur multipliers over matrix algebras, Herz-Schur multipliers over group algebras and depolarizing semigroups. △ Less

Submitted 17 September, 2021; v1 submitted 18 May, 2021; originally announced May 2021.

A dual formula for the noncommutative transport distance

Authors: Melchior Wirth

Abstract: In this article we study the noncommutative transport distance introduced by Carlen and Maas and its entropic regularization defined by Becker and Li. We prove a duality formula that can be understood as a quantum version of the dual Benamou-Brenier formulation of the Wasserstein distance in terms of subsolutions of Hamilton-Jacobi-Bellmann equation. In this article we study the noncommutative transport distance introduced by Carlen and Maas and its entropic regularization defined by Becker and Li. We prove a duality formula that can be understood as a quantum version of the dual Benamou-Brenier formulation of the Wasserstein distance in terms of subsolutions of Hamilton-Jacobi-Bellmann equation. △ Less

Submitted 9 June, 2021; v1 submitted 24 April, 2021; originally announced April 2021.

Correlation length of the two-dimensional random field Ising model via greedy lattice animal

Authors: Jian Ding, Mateo Wirth

Abstract: For the two-dimensional random field Ising model where the random field is given by i.i.d.\ mean zero Gaussian variables with variance $ε^2$, we study (one natural notion of) the correlation length, which is the critical size of a box at which the influences of the random field and of the boundary condition on the spin magnetization are comparable. We show that as $ε\to 0$, at zero temperature the… ▽ More For the two-dimensional random field Ising model where the random field is given by i.i.d.\ mean zero Gaussian variables with variance $ε^2$, we study (one natural notion of) the correlation length, which is the critical size of a box at which the influences of the random field and of the boundary condition on the spin magnetization are comparable. We show that as $ε\to 0$, at zero temperature the correlation length scales as $e^{Θ(ε^{-4/3})}$ (and our upper bound applies for all positive temperatures). △ Less

Submitted 19 July, 2022; v1 submitted 17 November, 2020; originally announced November 2020.

Comments: Section 4 explains (without claiming credit) the proof of greedy lattice animal using Talagrand (2014); Section 5 keeps our `original' proof as a record (which will be omitted from the journal version)

MSC Class: 60K35; 82B44

Complete gradient estimates of quantum Markov semigroups

Authors: Melchior Wirth, Haonan Zhang

Abstract: In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish… ▽ More In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish its validity for a number of examples. As an application we prove a complete modified logarithmic Sobolev inequality with optimal constant for Poisson-type semigroups on free group factors. △ Less

Submitted 3 September, 2021; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: 29 pages, some typos fixed, final version

Journal ref: Commun. Math. Phys. (2021)

Crossing estimates from metric graph and discrete GFF

Authors: Jian Ding, Mateo Wirth, Hao Wu

Abstract: We compare level-set percolation for Gaussian free fields (GFFs) defined on a rectangular subset of $δ\mathbb{Z}^2$ to level-set percolation for GFFs defined on the corresponding metric graph as the mesh size $δ$ goes to 0. In particular, we look at the probability that there is a path that crosses the rectangle in the horizontal direction on which the field is positive. We show this probability i… ▽ More We compare level-set percolation for Gaussian free fields (GFFs) defined on a rectangular subset of $δ\mathbb{Z}^2$ to level-set percolation for GFFs defined on the corresponding metric graph as the mesh size $δ$ goes to 0. In particular, we look at the probability that there is a path that crosses the rectangle in the horizontal direction on which the field is positive. We show this probability is strictly larger in the discrete graph. In the metric graph case, we show that for appropriate boundary conditions the probability that there exists a closed pivotal edge for the horizontal crossing event decays logarithmically in $δ$. In the discrete graph case, we compute the limit of the probability of a horizontal crossing for appropriate boundary conditions. △ Less

Submitted 17 January, 2020; originally announced January 2020.

Comments: 35 pages

MSC Class: 60G15; 60G60 (Primary) 60J65; 60J67 (Secondary)

Self-Adjoint Extensions of Bipartite Hamiltonians

Authors: Daniel Lenz, Timon Weinmann, Melchior Wirth

Abstract: 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… ▽ More 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. △ Less

Submitted 18 November, 2020; v1 submitted 8 December, 2019; originally announced December 2019.

Maximum of the integer-valued Gaussian free field

Authors: Mateo Wirth

Abstract: We investigate the order of the maximum of the integer-valued Gaussian free field in two dimensions, and show that it grows logarithmically with the size of the box. Our treatment follows closely that of a recent paper by Kharash and Peled on the Fröhlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition. We investigate the order of the maximum of the integer-valued Gaussian free field in two dimensions, and show that it grows logarithmically with the size of the box. Our treatment follows closely that of a recent paper by Kharash and Peled on the Fröhlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition. △ Less

Submitted 20 July, 2019; originally announced July 2019.

Comments: 33 pages

MSC Class: 82B20; 82B41

A Noncommutative Transport Metric and Symmetric Quantum Markov Semigroups as Gradient Flows of the Entropy

Authors: Melchior Wirth

Abstract: We study quantum Dirichlet forms and the associated symmetric quantum Markov semigroups on noncommutative $L^2$ spaces. It is known from the work of Cipriani and Sauvageot that these semigroups induce a first order differential calculus, and we use this differential calculus to define a noncommutative transport metric on the set of density matrices. This construction generalizes both the $L^2$-Was… ▽ More We study quantum Dirichlet forms and the associated symmetric quantum Markov semigroups on noncommutative $L^2$ spaces. It is known from the work of Cipriani and Sauvageot that these semigroups induce a first order differential calculus, and we use this differential calculus to define a noncommutative transport metric on the set of density matrices. This construction generalizes both the $L^2$-Wasserstein distance on a large class of metric spaces as well as the discrete transport distance introduced by Maas, Mielke, and Chow-Huang-Li-Zhou. Assuming a Bakry-Émery-type gradient estimate, we show that the quantum Markov semigroup can be viewed as a metric gradient flow of the entropy with respect to this transport metric. Under the same assumption we also establish that the set of density matrices with finite entropy endowed with the noncommutative transport metric is a geodesic space and that the entropy is semi-convex along these geodesics. △ Less

Submitted 12 August, 2021; v1 submitted 16 August, 2018; originally announced August 2018.

Percolation for level-sets of Gaussian free fields on metric graphs

Authors: Jian Ding, Mateo Wirth

Abstract: We study level-set percolation for Gaussian free fields on metric graphs. In two dimensions, we give an upper bound on the chemical distance between the two boundaries of a macroscopic annulus. Our bound holds with high probability conditioned on connectivity and the bound is sharp up to a poly-logarithmic factor with an exponent of one-quarter. This substantially improves a previous result by Li… ▽ More We study level-set percolation for Gaussian free fields on metric graphs. In two dimensions, we give an upper bound on the chemical distance between the two boundaries of a macroscopic annulus. Our bound holds with high probability conditioned on connectivity and the bound is sharp up to a poly-logarithmic factor with an exponent of one-quarter. This substantially improves a previous result by Li and the first author. In three dimensions and higher, we provide rather sharp estimates of percolation probabilities in different regimes which altogether describe a sharp phase transition. △ Less

Submitted 12 March, 2019; v1 submitted 29 July, 2018; originally announced July 2018.

Comments: 29 pages; removed Proposition 12 from Section 2, revised argument in Section 3, 4.1, and 4.3. Results unchanged

MSC Class: 60G60; 60K35

On the geometry of geodesics in discrete optimal transport

Authors: Matthias Erbar, Jan Maas, Melchior Wirth

Abstract: 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… ▽ More 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. △ Less

Submitted 31 May, 2018; v1 submitted 15 May, 2018; originally announced May 2018.

Comments: 18 pages; minor changes in the text

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

Authors: Bobo Hua, Matthias Keller, Michael Schwarz, Melchior Wirth

Abstract: 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 eigen… ▽ More 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. △ Less

Submitted 23 April, 2018; originally announced April 2018.

Geometric properties of Dirichlet forms under order isomorphisms

Authors: Daniel Lenz, Marcel Schmidt, Melchior Wirth

Abstract: 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… ▽ More 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. △ Less

Submitted 25 January, 2018; originally announced January 2018.

Tilings of convex sets by mutually incongruent equilateral triangles contain arbitrarily small tiles

Authors: Christian Richter, Melchior Wirth

Abstract: We show that every tiling of a convex set in the Euclidean plane $\mathbb{R}^2$ by equilateral triangles of mutually different sizes contains arbitrarily small tiles. The proof is purely elementary up to the discussion of one family of tilings of the full plane $\mathbb{R}^2$, which is based on a surprising connection to a random walk on a directed graph. We show that every tiling of a convex set in the Euclidean plane $\mathbb{R}^2$ by equilateral triangles of mutually different sizes contains arbitrarily small tiles. The proof is purely elementary up to the discussion of one family of tilings of the full plane $\mathbb{R}^2$, which is based on a surprising connection to a random walk on a directed graph. △ Less

Submitted 24 November, 2017; originally announced November 2017.

Comments: 11 pages, 8 figures

MSC Class: 52C20 (primary); 05C81; 51M20; 60J10 (secondary)

Domination of quadratic forms

Authors: Daniel Lenz, Marcel Schmidt, Melchior Wirth

Abstract: 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. 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. △ Less

Submitted 20 November, 2017; originally announced November 2017.

Comments: The article arXiv:1608.06798v1 has been split, the present article contains the first part. The material presented here is partly based on the third named author's master's thesis (arXiv:1604.05114)

MSC Class: 47A63; 47B65

Stability of Kac regularity under domination of quadratic forms

Authors: Melchior Wirth

Abstract: 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, Cheeg… ▽ More 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. △ Less

Submitted 13 September, 2017; originally announced September 2017.

Comments: 6 pages. Comments are welcome

MSC Class: 46E35 (Primary) 31E05; 47A63 (Secondary)

Uniqueness of form extensions and domination of semigroups

Authors: Daniel Lenz, Marcel Schmidt, Melchior Wirth

Abstract: 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… ▽ More 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. △ Less

Submitted 3 August, 2020; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: The previous version of this article has been split. This version contains the material of the second part, the first part can be found at arXiv:1711.07225. This article is partly based on the third named author's master's thesis (arXiv:1604.05114)

MSC Class: 47A63; 35J25; 35R02; 47B65

Uniqueness of form extensions and domination of semigroups

Authors: Melchior Wirth

Abstract: 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 o… ▽ More 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. △ Less

Submitted 18 April, 2016; originally announced April 2016.

MSC Class: 47A63; 35J25; 35R02; 47B65

Diffusion determines the recurrent graph

Authors: Matthias Keller, Daniel Lenz, Marcel Schmidt, Melchior Wirth

Abstract: 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… ▽ More 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. △ Less

Submitted 13 May, 2014; originally announced May 2014.

Comments: 30 pages