-
A decomposition of Fisher's information to inform sample size for developing fair and precise clinical prediction models -- part 1: binary outcomes
Authors:
Richard D Riley,
Gary S Collins,
Rebecca Whittle,
Lucinda Archer,
Kym IE Snell,
Paula Dhiman,
Laura Kirton,
Amardeep Legha,
Xiaoxuan Liu,
Alastair Denniston,
Frank E Harrell Jr,
Laure Wynants,
Glen P Martin,
Joie Ensor
Abstract:
When developing a clinical prediction model, the sample size of the development dataset is a key consideration. Small sample sizes lead to greater concerns of overfitting, instability, poor performance and lack of fairness. Previous research has outlined minimum sample size calculations to minimise overfitting and precisely estimate the overall risk. However even when meeting these criteria, the u…
▽ More
When developing a clinical prediction model, the sample size of the development dataset is a key consideration. Small sample sizes lead to greater concerns of overfitting, instability, poor performance and lack of fairness. Previous research has outlined minimum sample size calculations to minimise overfitting and precisely estimate the overall risk. However even when meeting these criteria, the uncertainty (instability) in individual-level risk estimates may be considerable. In this article we propose how to examine and calculate the sample size required for developing a model with acceptably precise individual-level risk estimates to inform decisions and improve fairness. We outline a five-step process to be used before data collection or when an existing dataset is available. It requires researchers to specify the overall risk in the target population, the (anticipated) distribution of key predictors in the model, and an assumed 'core model' either specified directly (i.e., a logistic regression equation is provided) or based on specified C-statistic and relative effects of (standardised) predictors. We produce closed-form solutions that decompose the variance of an individual's risk estimate into Fisher's unit information matrix, predictor values and total sample size; this allows researchers to quickly calculate and examine individual-level uncertainty interval widths and classification instability for specified sample sizes. Such information can be presented to key stakeholders (e.g., health professionals, patients, funders) using prediction and classification instability plots to help identify the (target) sample size required to improve trust, reliability and fairness in individual predictions. Our proposal is implemented in software module pmstabilityss. We provide real examples and emphasise the importance of clinical context including any risk thresholds for decision making.
△ Less
Submitted 24 January, 2025; v1 submitted 12 July, 2024;
originally announced July 2024.
-
On the Fundamental Eigenvalues gap of Sturm-Liouville Operators
Authors:
Mohammed Ahrami,
Zakaria El Allali,
Evans M. Harrell II
Abstract:
We use methods of direct optimization as in [9] to find the minimizers of the fundamental gap of Sturm-Liouville operators on an interval, under the constraint that the potential is of single-well form and that the weight function is of single-barrier form, and under similar constraints expressed in terms of convexity.
We use methods of direct optimization as in [9] to find the minimizers of the fundamental gap of Sturm-Liouville operators on an interval, under the constraint that the potential is of single-well form and that the weight function is of single-barrier form, and under similar constraints expressed in terms of convexity.
△ Less
Submitted 3 July, 2024; v1 submitted 2 July, 2024;
originally announced July 2024.
-
Optimizing the Fundamental Eigenvalue Gap of Quantum Graphs
Authors:
Mohammed Ahrami,
Zakaria El Allali,
Evans M Harrell II,
James B. Kennedy
Abstract:
We study the problem of minimizing or maximizing the fundamental spectral gap of Schrödinger operators on metric graphs with either a convex potential or a ``single-well'' potential on an appropriate specified subset. (In the case of metric trees, such a subset can be the entire graph.) In the convex case we find that the minimizing and maximizing potentials are piecewise linear with only a finite…
▽ More
We study the problem of minimizing or maximizing the fundamental spectral gap of Schrödinger operators on metric graphs with either a convex potential or a ``single-well'' potential on an appropriate specified subset. (In the case of metric trees, such a subset can be the entire graph.) In the convex case we find that the minimizing and maximizing potentials are piecewise linear with only a finite number of points of non-smoothness, but give examples showing that the optimal potentials need not be constant. This is a significant departure from the usual scenarios on intervals and domains where the constant potential is typically minimizing. In the single-well case we show that the optimal potentials are piecewise constant with a finite number of jumps, and in both cases give an explicit estimate on the number of points of non-smoothness, respectively jumps, the minimizing potential can have. Furthermore, we show that, unlike on domains, it is not generally possible to find nontrivial bounds on the fundamental gap in terms of the diameter of the graph alone, within the given classes.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
On topological states and secular equations for quantum-graph eigenvalues
Authors:
Evans M. Harrell II,
Anna V. Maltsev
Abstract:
Quantum graphs without interaction which contain equilateral cycles possess "topological" bound states which do not correspond to zeroes of one of the two variants of the secular equation for quantum graphs. Instead, their eigenvalues lie in the set of singularities of the vertex-scattering secular matrix. This observation turns out to be representative of a wider phenomenon. We introduce a notion…
▽ More
Quantum graphs without interaction which contain equilateral cycles possess "topological" bound states which do not correspond to zeroes of one of the two variants of the secular equation for quantum graphs. Instead, their eigenvalues lie in the set of singularities of the vertex-scattering secular matrix. This observation turns out to be representative of a wider phenomenon. We introduce a notion of topological bound states and show that they are linear combinations of functions supported on generators of the fundamental group of the graph (hence the "topological" in the name), including for graphs that have interactions on the edges. Using an Ihara-style theorem, we elucidate the role of such topological bound states in the spectral analysis of quantum graph Hamiltonians using secular matrices. En route we determine the set of the fixed vectors of the bond-scattering matrix.
This work is dedicated to E.B. Davies on the occasion of his 80th birthday and in honor of his important contributions to the theory of quantum graphs, e.g., \cite{DaExLi,Da13} and of his broad and influential work on spectral theory, e.g., \cite{Da89,Da95}.
△ Less
Submitted 30 April, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Gaps between consecutive eigenvalues for compact metric graphs
Authors:
David Borthwick,
Evans M. Harrell II,
Haozhe Yu
Abstract:
On a compact metric graph, we consider the spectrum of the Laplacian defined with a mix of standard and Dirichlet vertex conditions. A Cheeger-type lower bound on the gap $λ_2 - λ_1$ is established, with a constant that depends only on the total length of the graph and minimum edge length. We also prove some improvements of known upper bounds for eigenvalue gaps and ratios for metric trees and ext…
▽ More
On a compact metric graph, we consider the spectrum of the Laplacian defined with a mix of standard and Dirichlet vertex conditions. A Cheeger-type lower bound on the gap $λ_2 - λ_1$ is established, with a constant that depends only on the total length of the graph and minimum edge length. We also prove some improvements of known upper bounds for eigenvalue gaps and ratios for metric trees and extensions to certain other types of graphs.
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
Linking number of monotonic cycles in random book embeddings of complete graphs
Authors:
Yasmin Aguillon,
Eric Burkholder,
Xingyu Cheng,
Spencer Eddins,
Emma Harrell,
Kenji Kozai,
Elijah Leake,
Pedro Morales
Abstract:
A book embedding of a complete graph is a spatial embedding whose planar projection has the vertices located along a circle, consecutive vertices are connected by arcs of the circle, and the projections of the remaining "interior" edges in the graph are straight line segments between the points on the circle representing the appropriate vertices. A random embedding of a complete graph can be gener…
▽ More
A book embedding of a complete graph is a spatial embedding whose planar projection has the vertices located along a circle, consecutive vertices are connected by arcs of the circle, and the projections of the remaining "interior" edges in the graph are straight line segments between the points on the circle representing the appropriate vertices. A random embedding of a complete graph can be generated by randomly assigning relative heights to these interior edges. We study a family of two-component links that arise as the realizations of pairs of disjoint cycles in these random embeddings of graphs. In particular, we show that the distribution of linking numbers can be described in terms of Eulerian numbers. Consequently, the mean of the squared linking number over all random embeddings is $\frac{i}{6}$, where $i$ is the number of interior edges in the cycles. We also show that the mean of the squared linking number over all pairs of $n$-cycles in $K_{2n}$ grows linearly in $n$.
△ Less
Submitted 5 January, 2023;
originally announced January 2023.
-
Bijections, generalizations, and other properties of sequentially congruent partitions
Authors:
Ezekiel Cochran,
Madeline Locus Dawsey,
Emma Harrell,
Samuel Saunders
Abstract:
Recently, Schneider and Schneider defined a new class of partitions called sequentially congruent partitions, in which each part is congruent to the next part modulo its index, and they proved two partition bijections involving these partitions. We introduce a new partition notation specific to sequentially congruent partitions which allows us to more easily study these bijections and their compos…
▽ More
Recently, Schneider and Schneider defined a new class of partitions called sequentially congruent partitions, in which each part is congruent to the next part modulo its index, and they proved two partition bijections involving these partitions. We introduce a new partition notation specific to sequentially congruent partitions which allows us to more easily study these bijections and their compositions, and we reinterpret them in terms of Young diagram transformations. We also define a generalization of sequentially congruent partitions, and we provide several new partition bijections for these generalized sequentially congruent partitions. Finally, we investigate a question of Schneider--Schneider regarding how sequentially congruent partitions fit into Andrews' theory of partition ideals. We prove that the maximal partition ideal of sequentially congruent partitions has infinite order and is therefore not linked, and we identify its order 1 subideals.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
Addressing Detection Limits with Semiparametric Cumulative Probability Models
Authors:
Yuqi Tian,
Chun Li,
Shengxin Tu,
Nathan T. James,
Frank E. Harrell,
Bryan E. Shepherd
Abstract:
Detection limits (DLs), where a variable is unable to be measured outside of a certain range, are common in research. Most approaches to handle DLs in the response variable implicitly make parametric assumptions on the distribution of data outside DLs. We propose a new approach to deal with DLs based on a widely used ordinal regression model, the cumulative probability model (CPM). The CPM is a ty…
▽ More
Detection limits (DLs), where a variable is unable to be measured outside of a certain range, are common in research. Most approaches to handle DLs in the response variable implicitly make parametric assumptions on the distribution of data outside DLs. We propose a new approach to deal with DLs based on a widely used ordinal regression model, the cumulative probability model (CPM). The CPM is a type of semiparametric linear transformation model. CPMs are rank-based and can handle mixed distributions of continuous and discrete outcome variables. These features are key for analyzing data with DLs because while observations inside DLs are typically continuous, those outside DLs are censored and generally put into discrete categories. With a single lower DL, the CPM assigns values below the DL as having the lowest rank. When there are multiple DLs, the CPM likelihood can be modified to appropriately distribute probability mass. We demonstrate the use of CPMs with simulations and two HIV data examples. The first example models a biomarker in which 15% of observations are below a DL. The second uses multi-cohort data to model viral load, where approximately 55% of observations are outside DLs which vary across sites and over time.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
The heat kernel on the diagonal for a compact metric graph
Authors:
David Borthwick,
Kenny Jones,
Evans M. Harrell II
Abstract:
We analyze the heat kernel associated to the Laplacian on a compact metric graph, with standard Kirchoff-Neumann vertex conditions. An explicit formula for the heat kernel as a sum over loops, developed by Roth and Kostrykin, Potthoff, and Schrader, allows for a straightforward analysis of small-time asymptotics. We show that the restriction of the heat kernel to the diagonal satisfies a modified…
▽ More
We analyze the heat kernel associated to the Laplacian on a compact metric graph, with standard Kirchoff-Neumann vertex conditions. An explicit formula for the heat kernel as a sum over loops, developed by Roth and Kostrykin, Potthoff, and Schrader, allows for a straightforward analysis of small-time asymptotics. We show that the restriction of the heat kernel to the diagonal satisfies a modified version of the heat equation. This observation leads to an "edge" heat trace formula, expressing the a sum over eigenfunction amplitudes on a single edge as a sum over closed loops containing that edge. The proof of this formula relies on a modified heat equation satisfied by the diagonal restriction of the heat kernel. Further study of this equation leads to explicit formulas for completely symmetric graphs.
△ Less
Submitted 8 October, 2022; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Improved optical standing-wave beam splitters for dilute Bose-Einstein condensates
Authors:
Mary Clare Cassidy,
Malcolm G. Boshier,
Lee E. Harrell
Abstract:
Bose-Einstein condensate (BEC)-based atom interferometry exploits low temperatures and long coherence lengths to facilitate high-precision measurements. Progress in atom interferometry promises improvements in navigational devices like gyroscopes and accelerometers, as well as applications in fundamental physics such as accurate determination of physical constants. Previous work demonstrates that…
▽ More
Bose-Einstein condensate (BEC)-based atom interferometry exploits low temperatures and long coherence lengths to facilitate high-precision measurements. Progress in atom interferometry promises improvements in navigational devices like gyroscopes and accelerometers, as well as applications in fundamental physics such as accurate determination of physical constants. Previous work demonstrates that beam splitters and mirrors for coherent manipulation of dilute BEC momentum in atom interferometers can be implemented with sequences of non-resonant standing-wave light pulses. While previous work focuses on the optimization of the optical pulses' amplitude and duration to produce high-order momentum states with high fidelity, we explore how varying the shape of the optical pulses affects optimal beam-splitter performance, as well as the effect of pulse shape on the sensitivity of optimized parameters in achieving high fidelity in high-momentum states. In simulations of two-pulse beam splitters utilizing optimized square, triangle, and sinc-squared pulse shapes applied to dilute BECs, we, in some cases, reduce parameter sensitivity by an order of magnitude while maintaining fidelity.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
Bayesian Cumulative Probability Models for Continuous and Mixed Outcomes
Authors:
Nathan T. James,
Frank E. Harrell Jr.,
Bryan E. Shepherd
Abstract:
Ordinal cumulative probability models (CPMs) -- also known as cumulative link models -- such as the proportional odds regression model are typically used for discrete ordered outcomes, but can accommodate both continuous and mixed discrete/continuous outcomes since these are also ordered. Recent papers describe ordinal CPMs in this setting using non-parametric maximum likelihood estimation. We for…
▽ More
Ordinal cumulative probability models (CPMs) -- also known as cumulative link models -- such as the proportional odds regression model are typically used for discrete ordered outcomes, but can accommodate both continuous and mixed discrete/continuous outcomes since these are also ordered. Recent papers describe ordinal CPMs in this setting using non-parametric maximum likelihood estimation. We formulate a Bayesian CPM for continuous or mixed outcome data. Bayesian CPMs inherit many of the benefits of frequentist CPMs and have advantages with regard to interpretation, flexibility, and exact inference (within simulation error) for parameters and functions of parameters. We explore characteristics of the Bayesian CPM through simulations and a case study using HIV biomarker data. In addition, we provide the package 'bayesCPM' which implements Bayesian CPM models using the R interface to the Stan probabilistic programing language. The Bayesian CPM for continuous outcomes can be implemented with only minor modifications to the prior specification and, despite some limitations, has generally good statistical performance with moderate or large sample sizes.
△ Less
Submitted 7 January, 2022; v1 submitted 30 January, 2021;
originally announced February 2021.
-
State-of-the-art in selection of variables and functional forms in multivariable analysis -- outstanding issues
Authors:
Willi Sauerbrei,
Aris Perperoglou,
Matthias Schmid,
Michal Abrahamowicz,
Heiko Becher,
Harald Binder,
Daniela Dunkler,
Frank E. Harrell Jr,
Patrick Royston,
Georg Heinze
Abstract:
How to select variables and identify functional forms for continuous variables is a key concern when creating a multivariable model. Ad hoc 'traditional' approaches to variable selection have been in use for at least 50 years. Similarly, methods for determining functional forms for continuous variables were first suggested many years ago. More recently, many alternative approaches to address these…
▽ More
How to select variables and identify functional forms for continuous variables is a key concern when creating a multivariable model. Ad hoc 'traditional' approaches to variable selection have been in use for at least 50 years. Similarly, methods for determining functional forms for continuous variables were first suggested many years ago. More recently, many alternative approaches to address these two challenges have been proposed, but knowledge of their properties and meaningful comparisons between them are scarce. To define a state-of-the-art and to provide evidence-supported guidance to researchers who have only a basic level of statistical knowledge many outstanding issues in multivariable modelling remain. Our main aims are to identify and illustrate such gaps in the literature and present them at a moderate technical level to the wide community of practitioners, researchers and students of statistics. We briefly discuss general issues in building descriptive regression models, strategies for variable selection, different ways of choosing functional forms for continuous variables, and methods for combining the selection of variables and functions. We discuss two examples, taken from the medical literature, to illustrate problems in the practice of modelling. Our overview revealed that there is not yet enough evidence on which to base recommendations for the selection of variables and functional forms in multivariable analysis. Such evidence may come from comparisons between alternative methods. In particular, we highlight seven important topics that require further investigation and make suggestions for the direction of further research.
△ Less
Submitted 1 July, 2019;
originally announced July 2019.
-
Optimal bounds on the fundamental spectral gap with single-well potentials
Authors:
Evans M. Harrell II,
Zakaria El Allali
Abstract:
We characterize the potential-energy functions $V(x)$ that minimize the gap $Γ$ between the two lowest Sturm-Liouville eigenvalues for \[ H(p,V) u := -\frac{d}{dx} \left(p(x)\frac{du}{dx}\right)+V(x) u = λu, \quad\quad x\in [0,π], \] where separated self-adjoint boundary conditions are imposed at end points, and $V$ is subject to various assumptions, especially convexity or having a "single-well"…
▽ More
We characterize the potential-energy functions $V(x)$ that minimize the gap $Γ$ between the two lowest Sturm-Liouville eigenvalues for \[ H(p,V) u := -\frac{d}{dx} \left(p(x)\frac{du}{dx}\right)+V(x) u = λu, \quad\quad x\in [0,π], \] where separated self-adjoint boundary conditions are imposed at end points, and $V$ is subject to various assumptions, especially convexity or having a "single-well" form. In the classic case where $p=1$ we recover with different arguments the result of Lavine that $Γ$ is uniquely minimized among convex $V$ by the constant, and in the case of single-well potentials, with no restrictions on the position of the minimum, we obtain a new, sharp bound, that $Γ> 2.04575\dots$.
△ Less
Submitted 22 July, 2018;
originally announced July 2018.
-
Lagrangian and impedance spectroscopy treatments of electric force microscopy
Authors:
Ryan P. Dwyer,
Lee E. Harrell,
John A. Marohn
Abstract:
Scanning probe microscopy is often extended beyond topographic imaging to study electrical forces and sample properties, with the most widely used experiment being frequency-modulated Kelvin probe force microscopy. The equations commonly used to interpret this experiment, however, rely on two hidden assumptions: (1) the tip charge oscillates in phase with the cantilever motion to keep the tip volt…
▽ More
Scanning probe microscopy is often extended beyond topographic imaging to study electrical forces and sample properties, with the most widely used experiment being frequency-modulated Kelvin probe force microscopy. The equations commonly used to interpret this experiment, however, rely on two hidden assumptions: (1) the tip charge oscillates in phase with the cantilever motion to keep the tip voltage constant, and (2) any changes in the tip-sample interaction happen slowly. Starting from an electro-mechanical model of the cantilever-sample interaction, we use Lagrangian mechanics to derive coupled equations of motion for the cantilever position and charge. This general approach rigorously describes scanned probe experiments even in the case when the usual assumptions of fast tip charging and slowly changing samples properties are violated. We develop a Magnus-expansion approximation to illustrate how abrupt changes in the tip-sample interaction cause abrupt changes in the cantilever amplitude and phase. We show that feedback-free time-resolved electric force microscopy cannot uniquely determine sub-cycle photocapacitance dynamics. We then use first-order perturbation theory to relate cantilever frequency shift and dissipation to the sample impedance even when the tip charge oscillates out of phase with the cantilever motion. Analogous to the treatment of impedance spectroscopy in electrochemistry, we apply this approximation to determine the cantilever frequency shift and dissipation for an arbitrary sample impedance in (broadband) local dielectric spectroscopy experiments. The general approaches we develop provide a path forward for rigorously modeling the coupled motion of the cantilever position and charge in the wide range of electrical scanned probe microscopy experiments where the hidden assumptions of the conventional equations are violated or inapplicable.
△ Less
Submitted 10 February, 2019; v1 submitted 3 July, 2018;
originally announced July 2018.
-
Complementary asymptotically sharp estimates for eigenvalue means of Laplacians
Authors:
Evans M. Harrell II,
Luigi Provenzano,
Joachim Stubbe
Abstract:
We present asymptotically sharp inequalities, containing a second term, for the Dirichlet and Neumann eigenvalues of the Laplacian on a domain, which are complementary to the familiar Berezin-Li-Yau and Kröger inequalities in the limit as the eigenvalues tend to infinity. We accomplish this in the framework of the Riesz mean $R_1(z)$ of the eigenvalues by applying the averaged variational principl…
▽ More
We present asymptotically sharp inequalities, containing a second term, for the Dirichlet and Neumann eigenvalues of the Laplacian on a domain, which are complementary to the familiar Berezin-Li-Yau and Kröger inequalities in the limit as the eigenvalues tend to infinity. We accomplish this in the framework of the Riesz mean $R_1(z)$ of the eigenvalues by applying the averaged variational principle with families of test functions that have been corrected for boundary behaviour.
△ Less
Submitted 17 April, 2019; v1 submitted 27 June, 2018;
originally announced June 2018.
-
Localization and landscape functions on quantum graphs
Authors:
Evans M. Harrell II,
Anna V. Maltsev
Abstract:
We discuss explicit landscape functions for quantum graphs. By a "landscape function" $Υ(x)$ we mean a function that controls the localization properties of normalized eigenfunctions $ψ(x)$ through a pointwise inequality of the form $$ |ψ(x)| \le Υ(x). $$ The ideal $Υ$ is a function that
a) responds to the potential energy $V(x)$ and to the structure of the graph in some formulaic way;
b) is s…
▽ More
We discuss explicit landscape functions for quantum graphs. By a "landscape function" $Υ(x)$ we mean a function that controls the localization properties of normalized eigenfunctions $ψ(x)$ through a pointwise inequality of the form $$ |ψ(x)| \le Υ(x). $$ The ideal $Υ$ is a function that
a) responds to the potential energy $V(x)$ and to the structure of the graph in some formulaic way;
b) is small in examples where eigenfunctions are suppressed by the tunneling effect, and
c) relatively large in regions where eigenfunctions may - or may not - be concentrated, as observed in specific examples.
It turns out that the connectedness of a graph can present a barrier to the existence of universal landscape functions in the high-energy régime, as we show with simple examples. We therefore apply different methods in different régimes determined by the values of the potential energy $V(x)$ and the eigenvalue parameter $E$.
△ Less
Submitted 25 May, 2018; v1 submitted 3 March, 2018;
originally announced March 2018.
-
Two-term, asymptotically sharp estimates for eigenvalue means of the Laplacian
Authors:
Evans M. Harrell II,
Joachim Stubbe
Abstract:
We present asymptotically sharp inequalities for the eigenvalues $μ_k$ of the Laplacian on a domain with Neumann boundary conditions, using the averaged variational principle introduced in \cite{HaSt14}. For the Riesz mean $R_1(z)$ of the eigenvalues we improve the known sharp semiclassical bound in terms of the volume of the domain with a second term with the best possible expected power of $z$.…
▽ More
We present asymptotically sharp inequalities for the eigenvalues $μ_k$ of the Laplacian on a domain with Neumann boundary conditions, using the averaged variational principle introduced in \cite{HaSt14}. For the Riesz mean $R_1(z)$ of the eigenvalues we improve the known sharp semiclassical bound in terms of the volume of the domain with a second term with the best possible expected power of $z$.
In addition, we obtain two-sided bounds for individual $μ_k$, which are semiclassically sharp. In a final section, we remark upon the Dirichlet case with the same methods.
△ Less
Submitted 7 July, 2016;
originally announced July 2016.
-
Wavefunction collapse through backaction of counting weakly interacting photons
Authors:
Lee E. Harrell
Abstract:
We apply the formalism of quantum measurement theory to the idealized measurement of the position of a particle with an optical interferometer, finding that the backaction of counting entangled photons systematically collapses the particle's wavefunction toward a narrow Gaussian wavepacket at the location $x_\mathrm{est}$ determined by the measurement without appeal to environmental decoherence or…
▽ More
We apply the formalism of quantum measurement theory to the idealized measurement of the position of a particle with an optical interferometer, finding that the backaction of counting entangled photons systematically collapses the particle's wavefunction toward a narrow Gaussian wavepacket at the location $x_\mathrm{est}$ determined by the measurement without appeal to environmental decoherence or other spontaneous collapse mechanism. Further, the variance in the particle's position, as calculated from the post-measurement wavefunction agrees precisely with shot-noise limited uncertainty of the measured $x_\mathrm{est}$. Both the identification of the absolute square of the particle's initial wavefunction as the probability density for $x_\mathrm{est}$ and the de Broglie hypothesis emerge as consequences of interpreting the intensity of the optical field as proportional to the probability of detecting a photon. Linear momentum information that is encoded in the particle's initial wavefunction survives the measurement, and the pre-measurement expectation values are preserved in the ensemble average.
△ Less
Submitted 4 April, 2016; v1 submitted 8 January, 2016;
originally announced January 2016.
-
On Agmon metrics and exponential localization for quantum graphs
Authors:
Evans M. Harrell II,
Anna V. Maltsev
Abstract:
We investigate the rate of decrease at infinity of eigenfunctions of quantum graphs by using Agmon's method to prove $L^2$ and $L^\infty$ bounds on the product of an eigenfunction with the exponential of a certain metric. A generic result applicable to all graphs is that the exponential rate of decay is controlled by an adaptation of the standard estimates for a line, which are of classical Liouvi…
▽ More
We investigate the rate of decrease at infinity of eigenfunctions of quantum graphs by using Agmon's method to prove $L^2$ and $L^\infty$ bounds on the product of an eigenfunction with the exponential of a certain metric. A generic result applicable to all graphs is that the exponential rate of decay is controlled by an adaptation of the standard estimates for a line, which are of classical Liouville-Green (WKB) form. Examples reveal that this estimate can be the best possible, but that a more rapid rate of decay is typical when the graph has additional structure. In order to understand this fact, we present two alternative estimates under more restrictive assumptions on the graph structure that pertain to a more rapid decay. One of these depends on how the eigenfunction is distributed along a particular chosen path, while the other applies to an average of the eigenfunction over edges at a given distance from the root point.
△ Less
Submitted 27 August, 2015;
originally announced August 2015.
-
On sums of eigenvalues of elliptic operators on manifolds
Authors:
Ahmad El Soufi,
Evans Harrell,
Said Ilias,
Joachim Stubbe
Abstract:
We use the averaged variational principle introduced in a recent article on graph spectra [7] to obtain upper bounds for sums of eigenvalues of several partial differential operators of interest in geometric analysis, which are analogues of Kr{ö}ger 's bound for Neumann spectra of Laplacians on Euclidean domains [12]. Among the operators we consider are the Laplace-Beltrami operator on compact sub…
▽ More
We use the averaged variational principle introduced in a recent article on graph spectra [7] to obtain upper bounds for sums of eigenvalues of several partial differential operators of interest in geometric analysis, which are analogues of Kr{ö}ger 's bound for Neumann spectra of Laplacians on Euclidean domains [12]. Among the operators we consider are the Laplace-Beltrami operator on compact subdomains of manifolds. These estimates become more explicit and asymptotically sharp when the manifold is conformal to homogeneous spaces (here extending a result of Strichartz [21] with a simplified proof). In addition we obtain results for the Witten Laplacian on the same sorts of domains and for Schr{ö}dinger operators with confining potentials on infinite Euclidean domains. Our bounds have the sharp asymptotic form expected from the Weyl law or classical phase-space analysis. Similarly sharp bounds for the trace of the heat kernel follow as corollaries.
△ Less
Submitted 23 December, 2015; v1 submitted 9 July, 2015;
originally announced July 2015.
-
On the placement of an obstacle so as to optimize the Dirichlet heat trace
Authors:
Ahmad El Soufi,
Evans Harrell
Abstract:
We prove that among all doubly connected domains of $\R^n$ bounded by two spheres of given radii, $Z(t)$, the trace of the heat kernel with Dirichlet boundary conditions, achieves its minimum when the spheres are concentric (i.e., for the spherical shell). The supremum is attained when the interior sphere is in contact with the outer sphere.This is shown to be a special case of a more general the…
▽ More
We prove that among all doubly connected domains of $\R^n$ bounded by two spheres of given radii, $Z(t)$, the trace of the heat kernel with Dirichlet boundary conditions, achieves its minimum when the spheres are concentric (i.e., for the spherical shell). The supremum is attained when the interior sphere is in contact with the outer sphere.This is shown to be a special case of a more general theorem characterizing the optimal placement of a spherical obstacle inside a convex domain so as to maximize or minimize the trace of the Dirichlet heat kernel. In this case the minimizing position of the center of the obstacle belongs to the "heart" of the domain, while the maximizing situation occurs either in the interior of the heart or at a point where the obstacle is in contact with the outer boundary. Similar statements hold for the optimal positions of the obstaclefor any spectral property that can be obtained as a positivity-preserving or positivity-reversing transform of $Z(t)$,including the spectral zeta function and, through it, the regularized determinant.
△ Less
Submitted 11 January, 2016; v1 submitted 17 February, 2014;
originally announced February 2014.
-
On a transformation of Bohl and its discrete analogue
Authors:
Evans M. Harrell II,
Manwah Lilian Wong
Abstract:
Fritz Gesztesy's varied and prolific career has produced many transformational contributions to the spectral theory of one-dimensional Schrödinger equations. He has often done this by revisiting the insights of great mathematical analysts of the past, connecting them in new ways, and reinventing them in a thoroughly modern context.
In this short note we recall and relate some classic transformat…
▽ More
Fritz Gesztesy's varied and prolific career has produced many transformational contributions to the spectral theory of one-dimensional Schrödinger equations. He has often done this by revisiting the insights of great mathematical analysts of the past, connecting them in new ways, and reinventing them in a thoroughly modern context.
In this short note we recall and relate some classic transformations that figure among Fritz Gestesy's favorite tools of spectral theory, and indeed thereby make connections among some of his favorite scholars of the past, Bohl, Darboux, and Green. After doing this in the context of one-dimensional Schrödinger equations on the line, we obtain some novel analogues for discrete one-dimensional Schrödinger equations. \smallskip
Dem einzigartigen Fritz gewidmet.
△ Less
Submitted 6 December, 2012;
originally announced December 2012.
-
On the behavior at infinity of solutions to difference equations in Schroedinger form
Authors:
Evans M. Harrell II,
Manwah Lilian Wong
Abstract:
We offer several perspectives on the behavior at infinity of solutions of discrete Schroedinger equations. First we study pairs of discrete Schroedinger equations whose potential functions differ by a quantity that can be considered small in a suitable sense as the index n \rightarrow \infty. With simple assumptions on the growth rate of the solutions of the original system, we show that the pertu…
▽ More
We offer several perspectives on the behavior at infinity of solutions of discrete Schroedinger equations. First we study pairs of discrete Schroedinger equations whose potential functions differ by a quantity that can be considered small in a suitable sense as the index n \rightarrow \infty. With simple assumptions on the growth rate of the solutions of the original system, we show that the perturbed system has a fundamental set of solutions with the same behavior at infinity, employing a variation-of-constants scheme to produce a convergent iteration for the solutions of the second equation in terms of those of the original one. We use the relations between the solution sets to derive exponential dichotomy of solutions and elucidate the structure of transfer matrices.
Later, we present a sharp discrete analogue of the Liouville-Green (WKB) transformation, making it possible to derive exponential behavior at infinity of a single difference equation, by explicitly constructing a comparison equation to which our perturbation results apply. In addition, we point out an exact relationship connecting the diagonal part of the Green matrix to the asymptotic behavior of solutions. With both of these tools it is possible to identify an Agmon metric, in terms of which, in some situations, any decreasing solution must decrease exponentially.
A discussion of the discrete Schroedinger problem and its connection with orthogonal polynomials on the real line is presented in an Appendix.
△ Less
Submitted 21 September, 2011;
originally announced September 2011.
-
On the local minimizers of the Mahler volume
Authors:
Evans Harrell,
Antoine Henrot,
Jimmy Lamboley
Abstract:
We focus on the analysis of local minimizers of the Mahler volume, that is to say the local solutions to the problem $$\min\{ M(K):=|K||K^\circ|\;/\;K\subset\R^d\textrm{ open and convex}, K=-K\}, $$ where $K^\circ:=\{ξ\in\R^d ; \forall x\in K, x\cdotξ<1\}$ is the polar body of $K$, and $|\cdot|$ denotes the volume in $\R^d$. According to a famous conjecture of Mahler the cube is expected to be a g…
▽ More
We focus on the analysis of local minimizers of the Mahler volume, that is to say the local solutions to the problem $$\min\{ M(K):=|K||K^\circ|\;/\;K\subset\R^d\textrm{ open and convex}, K=-K\}, $$ where $K^\circ:=\{ξ\in\R^d ; \forall x\in K, x\cdotξ<1\}$ is the polar body of $K$, and $|\cdot|$ denotes the volume in $\R^d$. According to a famous conjecture of Mahler the cube is expected to be a global minimizer for this problem. We express the Mahler volume in terms of the support functional of the convex body, which allows us to compute first and second derivatives, and leads to a concavity property of the functional. As a consequence, we prove first that any local minimizer has a Gauss curvature that vanishes at any point where it is defined. Going more deeply into the analysis in the two-dimensional case, we also prove that any local minimizer must be a parallelogram. We thereby retrieve and improve an original result of Mahler, who showed that parallelograms are global minimizers in dimension 2, and also the case of equality of Reisner, who proved that they are the only global minimizers.
△ Less
Submitted 26 September, 2014; v1 submitted 19 April, 2011;
originally announced April 2011.
-
On semiclassical and universal inequalities for eigenvalues of quantum graphs
Authors:
Semra Demirel,
Evans M. Harrell II
Abstract:
We study the spectra of quantum graphs with the method of trace identities (sum rules), which are used to derive inequalities of Lieb-Thirring, Payne-Pólya-Weinberger, and Yang types, among others. We show that the sharp constants of these inequalities and even their forms depend on the topology of the graph. Conditions are identified under which the sharp constants are the same as for the class…
▽ More
We study the spectra of quantum graphs with the method of trace identities (sum rules), which are used to derive inequalities of Lieb-Thirring, Payne-Pólya-Weinberger, and Yang types, among others. We show that the sharp constants of these inequalities and even their forms depend on the topology of the graph. Conditions are identified under which the sharp constants are the same as for the classical inequalities; in particular, this is true in the case of trees. We also provide some counterexamples where the classical form of the inequalities is false.
△ Less
Submitted 10 November, 2009;
originally announced November 2009.
-
On the maximization of a class of functionals on convex regions, and the characterization of the farthest convex set
Authors:
Evans Harrell,
Antoine Henrot
Abstract:
We consider a family of functionals $J$ to be maximized over the planar convex sets $K$ for which the perimeter and Steiner point have been fixed. Assuming that $J$ is the integral of a quadratic expression in the support function $h$, we show that the maximizer is always either a triangle or a line segment (which can be considered as a collapsed triangle). Among the concrete consequences of the…
▽ More
We consider a family of functionals $J$ to be maximized over the planar convex sets $K$ for which the perimeter and Steiner point have been fixed. Assuming that $J$ is the integral of a quadratic expression in the support function $h$, we show that the maximizer is always either a triangle or a line segment (which can be considered as a collapsed triangle). Among the concrete consequences of the main theorem is the fact that, given any convex body $K_1$ of finite perimeter, the set in the class we consider that is farthest away in the sense of the $L^2$ distance is always a line segment. We also prove the same property for the Hausdorff distance.
△ Less
Submitted 10 May, 2009;
originally announced May 2009.
-
Trace identities for commutators, with applications to the distribution of eigenvalues
Authors:
Evans M. Harrell II,
Joachim Stubbbe
Abstract:
We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schroedinger operators and Schroedinger operators on immersed manifolds. In particular, we prove bounds on the eigenvalue lambda_{N+1} in terms of the lower spectrum, bounds on ratios of means of eigenvalues, and universal monotonicity properties o…
▽ More
We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schroedinger operators and Schroedinger operators on immersed manifolds. In particular, we prove bounds on the eigenvalue lambda_{N+1} in terms of the lower spectrum, bounds on ratios of means of eigenvalues, and universal monotonicity properties of eigenvalue moments, which imply sharp versions of Lieb-Thirring inequalities. In the geometric context we derive a version of Reilly's inequality, bounding the eigenvalue lambda_{N+1} of the Laplace-Beltrami operator on an immersed manifold of dimension d by a universal constant times the square of the maximal mean curvature times N^{2/d}.
△ Less
Submitted 3 March, 2009;
originally announced March 2009.
-
Universal inequalities for the eigenvalues of Schrodinger operators on submanifolds
Authors:
Ahmad El Soufi,
Evans Harrell,
Said Ilias
Abstract:
We establish inequalities for the eigenvalues of Schrödinger operators on compact submanifolds (possibly with nonempty boundary) of Euclidean spaces, of spheres, and of real, complex and quaternionic projective spaces, which are related to inequalities for the Laplacian on Euclidean domains due to Payne, Pólya, and Weinberger and to Yang, but which depend in an explicit way on the mean curvature…
▽ More
We establish inequalities for the eigenvalues of Schrödinger operators on compact submanifolds (possibly with nonempty boundary) of Euclidean spaces, of spheres, and of real, complex and quaternionic projective spaces, which are related to inequalities for the Laplacian on Euclidean domains due to Payne, Pólya, and Weinberger and to Yang, but which depend in an explicit way on the mean curvature. In later sections, we prove similar results for Schrödinger operators on homogeneous Riemannian spaces and, more generally, on any Riemannian manifold that admits an eigenmap into a sphere, as well as for the Kohn Laplacian on subdomains of the Heisenberg group. Among the consequences of this analysis are an extension of Reilly's inequality, bounding any eigenvalue of the Laplacian in terms of the mean curvature, and spectral criteria for the immersibility of manifolds in homogeneous spaces.
△ Less
Submitted 11 February, 2009;
originally announced February 2009.
-
Eigenvalue inequalities for Klein-Gordon Operators
Authors:
Evans M. Harrell II,
Selma Yildirim Yolcu
Abstract:
We consider the pseudodifferential operators $H_{m,Ω}$ associated by the prescriptions of quantum mechanics to the Klein-Gordon Hamiltonian $\sqrt{|{\bf P}|^2+m^2}$ when restricted to a compact domain $Ω$ in ${\mathbb R}^d$. When the mass $m$ is 0 the operator $H_{0,Ω}$ coincides with the generator of the Cauchy stochastic process with a killing condition on $\partial Ω$. (The operator…
▽ More
We consider the pseudodifferential operators $H_{m,Ω}$ associated by the prescriptions of quantum mechanics to the Klein-Gordon Hamiltonian $\sqrt{|{\bf P}|^2+m^2}$ when restricted to a compact domain $Ω$ in ${\mathbb R}^d$. When the mass $m$ is 0 the operator $H_{0,Ω}$ coincides with the generator of the Cauchy stochastic process with a killing condition on $\partial Ω$. (The operator $H_{0,Ω}$ is sometimes called the {\it fractional Laplacian} with power 1/2, cf. \cite{Gie}.) We prove several universal inequalities for the eigenvalues $0 < β_1 < β_2 \le >...$ of $H_{m,Ω}$ and their means $\overline{β_k} := \frac{1}{k} \sum_{\ell=1}^k{β_\ell}$.
Among the inequalities proved are: {\overline{β_k}} \ge {\rm cst.} (\frac{k}{|Ω|})^{1/d} for an explicit, optimal "semiclassical" constant, and, for any dimension $d \ge 2$ and any $k$: β_{k+1} \le \frac{d+1}{d-1} \overline{β_k}. Furthermore, when $d \ge 2$ and $k \ge 2j$, \frac{\overlineβ_{k}}{\overlineβ_{j}} \leq \frac{d}{2^{1/d}(d-1)}(\frac{k}{j})^{\frac{1}{d}}.
Finally, we present some analogous estimates allowing for an external potential energy field, i.e, $H_{m,Ω}+ V(\bf x)$, for $V(\bf x)$ in certain function classes.
△ Less
Submitted 30 September, 2008;
originally announced October 2008.
-
Universal bounds and semiclassical estimates for eigenvalues of abstract Schroedinger operators
Authors:
Evans M. Harrell II,
Joachim Stubbe
Abstract:
We prove trace inequalities for a self-adjoint operator on an abstract Hilbert space. These inequalities lead to universal bounds on spectral gaps and on moments of eigenvalues lambda_k that are analogous to those known for Schroedinger operators and the Dirichlet Laplacian, on which the operators of interest are modeled. In addition we produce inequalities that are new even in the model case. T…
▽ More
We prove trace inequalities for a self-adjoint operator on an abstract Hilbert space. These inequalities lead to universal bounds on spectral gaps and on moments of eigenvalues lambda_k that are analogous to those known for Schroedinger operators and the Dirichlet Laplacian, on which the operators of interest are modeled. In addition we produce inequalities that are new even in the model case. These include a family of differential inequalities for generalized Riesz means and theorems stating that arithmetic means of lambda_k^p for p <= 3 are universally bounded from above by multiples of the geometric mean of the lambda_k. For Schroedinger operators and the Dirichlet Laplacian these bounds are Weyl-sharp, i.e., saturated by the standard semiclassical estimates for lambda_k at large k.
△ Less
Submitted 8 August, 2008;
originally announced August 2008.
-
Practical recipes for the model order reduction, dynamical simulation, and compressive sampling of large-scale open quantum systems
Authors:
John A. Sidles,
Joseph L. Garbini,
Lee E. Harrell,
Alfred O. Hero,
Jonathan P. Jacky,
Joseph R. Malcomb,
Anthony G. Norman,
Austin M. Williamson
Abstract:
This article presents numerical recipes for simulating high-temperature and non-equilibrium quantum spin systems that are continuously measured and controlled. The notion of a spin system is broadly conceived, in order to encompass macroscopic test masses as the limiting case of large-j spins. The simulation technique has three stages: first the deliberate introduction of noise into the simulati…
▽ More
This article presents numerical recipes for simulating high-temperature and non-equilibrium quantum spin systems that are continuously measured and controlled. The notion of a spin system is broadly conceived, in order to encompass macroscopic test masses as the limiting case of large-j spins. The simulation technique has three stages: first the deliberate introduction of noise into the simulation, then the conversion of that noise into an equivalent continuous measurement and control process, and finally, projection of the trajectory onto a state-space manifold having reduced dimensionality and possessing a Kahler potential of multi-linear form. The resulting simulation formalism is used to construct a positive P-representation for the thermal density matrix. Single-spin detection by magnetic resonance force microscopy (MRFM) is simulated, and the data statistics are shown to be those of a random telegraph signal with additive white noise. Larger-scale spin-dust models are simulated, having no spatial symmetry and no spatial ordering; the high-fidelity projection of numerically computed quantum trajectories onto low-dimensionality Kahler state-space manifolds is demonstrated. The reconstruction of quantum trajectories from sparse random projections is demonstrated, the onset of Donoho-Stodden breakdown at the Candes-Tao sparsity limit is observed, a deterministic construction for sampling matrices is given, and methods for quantum state optimization by Dantzig selection are given.
△ Less
Submitted 13 May, 2008;
originally announced May 2008.
-
On Riesz Means of Eigenvalues
Authors:
Evans M. Harrell,
Lotfi Hermi
Abstract:
In this article we prove the equivalence of certain inequalities for Riesz means of eigenvalues of the Dirichlet Laplacian with a classical inequality of Kac. Connections are made via integral transforms including those of Laplace, Legendre, Weyl, and Mellin, and the Riemann-Liouville fractional transform. We also prove new universal eigenvalue inequalities and monotonicity principles for Dirich…
▽ More
In this article we prove the equivalence of certain inequalities for Riesz means of eigenvalues of the Dirichlet Laplacian with a classical inequality of Kac. Connections are made via integral transforms including those of Laplace, Legendre, Weyl, and Mellin, and the Riemann-Liouville fractional transform. We also prove new universal eigenvalue inequalities and monotonicity principles for Dirichlet Laplacians as well as certain Schrödinger operators. At the heart of these inequalities are calculations of commutators of operators, sum rules, and monotonic properties of Riesz means. In the course of developing these inequalities we prove new bounds for the partition function and the spectral zeta function (cf. Corollaries 3.5-3.7) and conjecture about additional bounds.
△ Less
Submitted 25 December, 2007;
originally announced December 2007.
-
Universal inequalities for the eigenvalues of Laplace and Schrödinger operators on submanifolds,
Authors:
A. El Soufi,
E. M. Harrell,
S. Ilias
Abstract:
We establish inequalities for the eigenvalues of Schrödinger operators on compact submanifolds (possibly with nonempty boundary) of Euclidean spaces, of spheres, and of real, complex and quaternionic projective spaces, which are related to inequalities for the Laplacian on Euclidean domains due to Payne, Pólya, and Weinberger and to Yang, but which depend in an explicit way on the mean curvature…
▽ More
We establish inequalities for the eigenvalues of Schrödinger operators on compact submanifolds (possibly with nonempty boundary) of Euclidean spaces, of spheres, and of real, complex and quaternionic projective spaces, which are related to inequalities for the Laplacian on Euclidean domains due to Payne, Pólya, and Weinberger and to Yang, but which depend in an explicit way on the mean curvature. In later sections, we prove similar results for Schrödinger operators on homogeneous Riemannian spaces and, more generally, on any Riemannian manifold that admits an eigenmap into a sphere, as well as for the Kohn Laplacian on subdomains of the Heisenberg group.
Among the consequences of this analysis are an extension of Reilly's inequality, bounding any eigenvalue of the Laplacian in terms of the mean curvature, and spectral criteria for the immersibility of manifolds in homogeneous spaces.
△ Less
Submitted 6 June, 2007;
originally announced June 2007.
-
Differential inequalities for Riesz means and Weyl-type bounds for eigenvalues
Authors:
Evans M. Harrell II,
Lotfi Hermi
Abstract:
We derive differential inequalities and difference inequalities for Riesz means of eigenvalues of the Dirichlet Laplacian,
R_σ(z) := \sum_k{(z -λ_k)_+^σ}.
Here ${λ_k}_{k=1}^{\infty}$ are the ordered eigenvalues of the Laplacian on a bounded domain $Ω\subset \R^d$, and $x_+ := \max(0, x)$ denotes the positive part of the quantity $x$. As corollaries of these inequalities, we derive Weyl-type…
▽ More
We derive differential inequalities and difference inequalities for Riesz means of eigenvalues of the Dirichlet Laplacian,
R_σ(z) := \sum_k{(z -λ_k)_+^σ}.
Here ${λ_k}_{k=1}^{\infty}$ are the ordered eigenvalues of the Laplacian on a bounded domain $Ω\subset \R^d$, and $x_+ := \max(0, x)$ denotes the positive part of the quantity $x$. As corollaries of these inequalities, we derive Weyl-type bounds on $λ_k$, on averages such as $\bar{λ_k} := {\frac 1 k}\sum_{\ell \le k}λ_\ell$, and on the eigenvalue counting function. For example, we prove that for all domains and all $k \ge j \frac{1+\frac d 2}{1+\frac d 4}$,
{\bar{λ_{k}}}/{\bar{λ_{j}}} \le 2 (\frac{1+\frac d 4}{1+\frac d 2})^{1+\frac 2 d}({\frac k j})^{\frac 2 d}.
△ Less
Submitted 24 May, 2007;
originally announced May 2007.
-
On the critical exponent in an isoperimetric inequality for chords
Authors:
Pavel Exner,
Martin Fraas,
Evans M. Harrell II
Abstract:
The problem of maximizing the $L^p$ norms of chords connecting points on a closed curve separated by arclength $u$ arises in electrostatic and quantum--mechanical problems. It is known that among all closed curves of fixed length, the unique maximizing shape is the circle for $1 \le p \le 2$, but this is not the case for sufficiently large values of $p$. Here we determine the critical value…
▽ More
The problem of maximizing the $L^p$ norms of chords connecting points on a closed curve separated by arclength $u$ arises in electrostatic and quantum--mechanical problems. It is known that among all closed curves of fixed length, the unique maximizing shape is the circle for $1 \le p \le 2$, but this is not the case for sufficiently large values of $p$. Here we determine the critical value $p_c(u)$ of $p$ above which the circle is not a local maximizer finding, in particular, that $p_c(\frac12 L)=\frac52$. This corrects a claim made in \cite{EHL}.
△ Less
Submitted 5 March, 2007;
originally announced March 2007.
-
Inequalities for means of chords, with application to isoperimetric problems
Authors:
Pavel Exner,
Evans M. Harrell,
Michael Loss
Abstract:
We consider a pair of isoperimetric problems arising in physics. The first concerns a Schrödinger operator in $L^2(\mathbb{R}^2)$ with an attractive interaction supported on a closed curve $Γ$, formally given by $-Δ-αδ(x-Γ)$; we ask which curve of a given length maximizes the ground state energy. In the second problem we have a loop-shaped thread $Γ$ in $\mathbb{R}^3$, homogeneously charged but…
▽ More
We consider a pair of isoperimetric problems arising in physics. The first concerns a Schrödinger operator in $L^2(\mathbb{R}^2)$ with an attractive interaction supported on a closed curve $Γ$, formally given by $-Δ-αδ(x-Γ)$; we ask which curve of a given length maximizes the ground state energy. In the second problem we have a loop-shaped thread $Γ$ in $\mathbb{R}^3$, homogeneously charged but not conducting, and we ask about the (renormalized) potential-energy minimizer. Both problems reduce to purely geometric questions about inequalities for mean values of chords of $Γ$. We prove an isoperimetric theorem for $p$-means of chords of curves when $p \leq 2$, which implies in particular that the global extrema for the physical problems are always attained when $Γ$ is a circle. The article finishes with a discussion of the $p$--means of chords when $p > 2$.
△ Less
Submitted 31 August, 2005;
originally announced August 2005.
-
On the fundamental eigenvalue ratio of the p-Laplacian
Authors:
J. Fleckinger,
E. M. Harrell,
F. de Thélin
Abstract:
It is shown that the fundamental eigenvalue ratio λ_2 / λ_1 of the p-Laplacian is bounded by a quantity depending only on the dimension N and p.
It is shown that the fundamental eigenvalue ratio λ_2 / λ_1 of the p-Laplacian is bounded by a quantity depending only on the dimension N and p.
△ Less
Submitted 31 October, 2004;
originally announced November 2004.
-
Geometric lower bounds for the spectrum of elliptic PDEs with Dirichlet conditions in part
Authors:
Evans M. Harrell
Abstract:
An extension of the lower-bound lemma of Boggio is given for the weak forms of certain elliptic operators, which have partially Dirichlet and partially Neumann boundary conditions, and are in general nonlinear. Its consequences and those of an adapted Hardy inequality for the location of the bottom of the spectrum are explored in corollaries wherein a variety of assumptions are placed on the sha…
▽ More
An extension of the lower-bound lemma of Boggio is given for the weak forms of certain elliptic operators, which have partially Dirichlet and partially Neumann boundary conditions, and are in general nonlinear. Its consequences and those of an adapted Hardy inequality for the location of the bottom of the spectrum are explored in corollaries wherein a variety of assumptions are placed on the shape of the Dirichlet and Neumann boundaries.
△ Less
Submitted 27 July, 2004;
originally announced July 2004.
-
Commutators, eigenvalue gaps, and mean curvature in the theory of Schrödinger operators
Authors:
Evans M. Harrell II
Abstract:
Commutator relations are used to investigate the spectra of Schrödinger Hamiltonians, $H = -Δ+ V({x}),$ acting on functions of a smooth, compact $d$-dimensional manifold $M$ immersed in $\bbr^ν, ν\geq d+1$. Here $Δ$ denotes the Laplace-Beltrami operator, and the real-valued potential--energy function $V(x)$ acts by multiplication. The manifold $M$ may be complete or it may have a boundary, in wh…
▽ More
Commutator relations are used to investigate the spectra of Schrödinger Hamiltonians, $H = -Δ+ V({x}),$ acting on functions of a smooth, compact $d$-dimensional manifold $M$ immersed in $\bbr^ν, ν\geq d+1$. Here $Δ$ denotes the Laplace-Beltrami operator, and the real-valued potential--energy function $V(x)$ acts by multiplication. The manifold $M$ may be complete or it may have a boundary, in which case Dirichlet boundary conditions are imposed.
It is found that the mean curvature of a manifold poses tight constraints on the spectrum of $H$. Further, a special algebraic rôle is found to be played by a Schrödinger operator with potential proportional to the square of the mean curvature: $$H_{g} := -Δ+ g h^2,$$ where $ν= d+1$, $g$ is a real parameter, and $$h := \sum\limits_{j = 1}^{d} {κ_j},$$ with $\{κ_j\}$, $j = 1, ..., d$ denoting the principal curvatures of $M$. For instance, by Theorem \ref{thm3.1} and Corollary \ref{cor4.5}, each eigenvalue gap of an arbitrary Schrödinger operator is bounded above by an expression using $H_{1/4}$. The "isoperimetric" parts of these theorems state that these bounds are sharp for the fundamental eigenvalue gap and for infinitely many other eigenvalue gaps.
△ Less
Submitted 18 December, 2003;
originally announced December 2003.
-
170 Nanometer Nuclear Magnetic Resonance Imaging using Magnetic Resonance Force Microscopy
Authors:
Kent R. Thurber,
Lee E. Harrell,
Doran D. Smith
Abstract:
We demonstrate one-dimensional nuclear magnetic resonance imaging of the semiconductor GaAs with 170 nanometer slice separation and resolve two regions of reduced nuclear spin polarization density separated by only 500 nanometers. This is achieved by force detection of the magnetic resonance, Magnetic Resonance Force Microscopy (MRFM), in combination with optical pumping to increase the nuclear…
▽ More
We demonstrate one-dimensional nuclear magnetic resonance imaging of the semiconductor GaAs with 170 nanometer slice separation and resolve two regions of reduced nuclear spin polarization density separated by only 500 nanometers. This is achieved by force detection of the magnetic resonance, Magnetic Resonance Force Microscopy (MRFM), in combination with optical pumping to increase the nuclear spin polarization. Optical pumping of the GaAs creates spin polarization up to 12 times larger than the thermal nuclear spin polarization at 5 K and 4 T. The experiment is sensitive to sample volumes containing $\sim 4 \times 10^{11}$ $^{71}$Ga$/\sqrt{Hz}$. These results demonstrate the ability of force-detected magnetic resonance to apply magnetic resonance imaging to semiconductor devices and other nanostructures.
△ Less
Submitted 23 October, 2002;
originally announced October 2002.
-
Temperature measurement at the end of a cantilever using oxygen paramagnetism in solid air
Authors:
Kent R. Thurber,
Lee E. Harrell,
Doran D. Smith
Abstract:
We demonstrate temperature measurement of a sample attached to the end of a cantilever using cantilever magnetometry of solid air ``contamination'' of the sample surface. In experiments like our Magnetic Resonance Force Microscopy (MRFM), the sample is mounted at the end of a thin cantilever with small thermal conductance. Thus, the sample can be at a significantly different temperature than the…
▽ More
We demonstrate temperature measurement of a sample attached to the end of a cantilever using cantilever magnetometry of solid air ``contamination'' of the sample surface. In experiments like our Magnetic Resonance Force Microscopy (MRFM), the sample is mounted at the end of a thin cantilever with small thermal conductance. Thus, the sample can be at a significantly different temperature than the bulk of the instrument. Using cantilever magnetometry of the oxygen paramagnetism in solid air provides the temperature of the sample, without any modifications to our MRFM (Magnetic Resonance Force Microscopy) apparatus.
△ Less
Submitted 23 October, 2002;
originally announced October 2002.
-
Spin polarization contrast observed in GaAs by force-detected nuclear magnetic resonance
Authors:
Kent R. Thurber,
Lee E. Harrell,
Raul Fainchtein,
Doran D. Smith
Abstract:
We applied the recently developed technique of force-detected nuclear magnetic resonance (NMR) to observe 71Ga, 69Ga, and 75As in GaAs. The nuclear spin-lattice relaxation time is 21$\pm$5 min for 69Ga at $\sim 5$ K and 4.6 Tesla. We have exploited this long relaxation time to first create and then observe spatially varying nuclear spin polarization within the sample, demonstrating a new form of…
▽ More
We applied the recently developed technique of force-detected nuclear magnetic resonance (NMR) to observe 71Ga, 69Ga, and 75As in GaAs. The nuclear spin-lattice relaxation time is 21$\pm$5 min for 69Ga at $\sim 5$ K and 4.6 Tesla. We have exploited this long relaxation time to first create and then observe spatially varying nuclear spin polarization within the sample, demonstrating a new form of contrast for magnetic resonance force microscopy (MRFM). Such nuclear spin contrast could be used to indirectly image electron spin polarization in GaAs-based spintronic devices.
△ Less
Submitted 14 January, 2002;
originally announced January 2002.
-
A direct proof of a theorem of Blaschke and Lebesgue
Authors:
Evans M. Harrell
Abstract:
The Blaschke-Lebesgue Theorem states that among all planar convex domains of given constant width B the Reuleaux triangle has minimal area. It is the purpose of the present note to give a direct proof of this theorem by analyzing the underlying variational problem. The advantages of the proof are that it shows uniqueness (modulo rigid deformations such as rotation and translation) and leads anal…
▽ More
The Blaschke-Lebesgue Theorem states that among all planar convex domains of given constant width B the Reuleaux triangle has minimal area. It is the purpose of the present note to give a direct proof of this theorem by analyzing the underlying variational problem. The advantages of the proof are that it shows uniqueness (modulo rigid deformations such as rotation and translation) and leads analytically to the shape of the area-minimizing domain. Most previous proofs have relied on foreknowledge of the minimizing domain. Key parts of the analysis extend to the higher-dimensional situation, where the convex body of given constant width and minimal volume is unknown.
△ Less
Submitted 13 September, 2000;
originally announced September 2000.
-
Optimal eigenvalues for some Laplacians and Schrödinger operators depending on curvature
Authors:
Pavel Exner,
Evans M. Harrell,
Michael Loss
Abstract:
This article is an expanded version of the plenary talk given by Evans Harrell at QMath98, a meeting in Prague, June 1998. We consider Laplace operators and Schrödinger operators with potentials containing curvature on certain regions of nontrivial topology, especially closed curves, annular domains, and shells. Dirichlet boundary conditions are imposed on any boundaries. Under suitable assumpti…
▽ More
This article is an expanded version of the plenary talk given by Evans Harrell at QMath98, a meeting in Prague, June 1998. We consider Laplace operators and Schrödinger operators with potentials containing curvature on certain regions of nontrivial topology, especially closed curves, annular domains, and shells. Dirichlet boundary conditions are imposed on any boundaries. Under suitable assumptions we prove that the fundamental eigenvalue is maximized when the geometry is round. We also comment on the use of coordinate transformations for these operators and mention some open problems.
△ Less
Submitted 27 January, 1999;
originally announced January 1999.
