Showing 1–6 of 6 results for author: Baur, M

Cwikel-Lieb-Rozenblum type estimates for the Pauli and magnetic Schrödinger operator in dimension two

Authors: Matthias Baur, Hynek Kovarik

Abstract: We prove a Cwikel-Lieb-Rozenblum type inequality for the number of negative eigenvalues of Pauli operators in dimension two. The resulting upper bound is sharp both in the weak as well as in the strong coupling limit. We also derive different upper bounds for magnetic Schrödinger operators. The nature of the two estimates depends on whether or not the spin-orbit coupling is taken into account. We prove a Cwikel-Lieb-Rozenblum type inequality for the number of negative eigenvalues of Pauli operators in dimension two. The resulting upper bound is sharp both in the weak as well as in the strong coupling limit. We also derive different upper bounds for magnetic Schrödinger operators. The nature of the two estimates depends on whether or not the spin-orbit coupling is taken into account. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Optimizing the ground state energy of the three-dimensional magnetic Dirichlet Laplacian with constant magnetic field

Authors: Matthias Baur

Abstract: This paper concerns the shape optimization problem of minimizing the ground state energy of the magnetic Dirichlet Laplacian with constant magnetic field among three-dimensional domains of fixed volume. In contrast to the two-dimensional case, a generalized ''magnetic'' Faber-Krahn inequality does not hold and the minimizers are not expected to be balls when the magnetic field is turned on. An ana… ▽ More This paper concerns the shape optimization problem of minimizing the ground state energy of the magnetic Dirichlet Laplacian with constant magnetic field among three-dimensional domains of fixed volume. In contrast to the two-dimensional case, a generalized ''magnetic'' Faber-Krahn inequality does not hold and the minimizers are not expected to be balls when the magnetic field is turned on. An analysis of the problem among cylindrical domains reveals geometric constraints for general minimizers. In particular, minimizers must elongate with a certain rate along the direction of the magnetic field as the field strength increases. In addition to the theoretical analysis, we present numerical minimizers which confirm this prediction and give rise to further conjectures. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Comments: 19 pages, 4 figures

MSC Class: 35Q40; 49Q10; 35P15

Numerical Optimization of Eigenvalues of the magnetic Dirichlet Laplacian with constant magnetic field

Authors: Matthias Baur

Abstract: We present numerical minimizers for the first seven eigenvalues of the magnetic Dirichlet Laplacian with constant magnetic field in a wide range of field strengths. Adapting an approach by Antunes and Freitas, we use gradient descent for the minimization procedure together with the Method of Fundamental solutions for eigenvalue computation. Remarkably, we observe that when the magnetic flux exceed… ▽ More We present numerical minimizers for the first seven eigenvalues of the magnetic Dirichlet Laplacian with constant magnetic field in a wide range of field strengths. Adapting an approach by Antunes and Freitas, we use gradient descent for the minimization procedure together with the Method of Fundamental solutions for eigenvalue computation. Remarkably, we observe that when the magnetic flux exceeds the index of the target eigenvalue, the minimizer is always a disk. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Comments: 28 pages, 13 figures, 1 table

MSC Class: 35Q40; 49Q10; 35P15

Weak coupling asymptotics for the Pauli operator in two dimensions

Authors: Matthias Baur

Abstract: We compute asymptotic expansions for the negative eigenvalues of the Pauli operator in two dimensions perturbed by a weakly coupled potential with definite sign. Whereas previous results were limited to the case of radial magnetic fields and potentials, we are able to drop the assumption of radial symmetry entirely. We compute asymptotic expansions for the negative eigenvalues of the Pauli operator in two dimensions perturbed by a weakly coupled potential with definite sign. Whereas previous results were limited to the case of radial magnetic fields and potentials, we are able to drop the assumption of radial symmetry entirely. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 25 pages; submitted to Journal of Spectral Theory

MSC Class: 81Q15; 81Q10

Eigenvalues of the magnetic Dirichlet Laplacian with constant magnetic field on disks in the strong field limit

Authors: Matthias Baur, Timo Weidl

Abstract: We consider the magnetic Dirichlet Laplacian with constant magnetic field on domains of finite measure. First, in the case of a disk, we prove that the eigenvalue branches with respect to the field strength behave asymptotically linear with an exponentially small remainder term as the field strength goes to infinity. We compute the asymptotic expression for this remainder term. Second, we show tha… ▽ More We consider the magnetic Dirichlet Laplacian with constant magnetic field on domains of finite measure. First, in the case of a disk, we prove that the eigenvalue branches with respect to the field strength behave asymptotically linear with an exponentially small remainder term as the field strength goes to infinity. We compute the asymptotic expression for this remainder term. Second, we show that for sufficiently large magnetic field strengths, the spectral bound corresponding to the Pólya conjecture for the non-magnetic Dirichlet Laplacian is violated up to a sharp excess factor which is independent of the domain. △ Less

Submitted 17 January, 2025; v1 submitted 2 February, 2024; originally announced February 2024.

Comments: 31 pages, 2 figures; few minor changes; final version as published in Analysis and Mathematical Physics

Semirings of Evidence

Authors: Michael Baur, Thomas Studer

Abstract: In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models evidence by a semiring. Hence justification terms can be interpreted as polynomial functions on that semiring. This provides an adequate semantics for evidence terms a… ▽ More In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models evidence by a semiring. Hence justification terms can be interpreted as polynomial functions on that semiring. This provides an adequate semantics for evidence terms and clarifies the role of variables in justification logic. Moreover, the algebraic structure makes it possible to compute with evidence. Depending on the chosen semiring this can be used to model trust, probabilities, cost, etc. Last but not least the semiring approach seems promising for obtaining a realization procedure for modal fixed point logics. △ Less

Submitted 17 August, 2023; v1 submitted 10 August, 2023; originally announced August 2023.