-
A Bayesian Approach to GRAPPA Parallel FMRI Image Reconstruction Increases SNR and Power of Task Detection
Authors:
Chase J Sakitis,
Daniel B Rowe
Abstract:
In fMRI, capturing brain activation during a task is dependent on how quickly k-space arrays are obtained. Acquiring full k-space arrays, which are reconstructed into images using the inverse Fourier transform (IFT), that make up volume images can take a considerable amount of scan time. Under-sampling k-space reduces the acquisition time, but results in aliased, or "folded," images. GeneRalized A…
▽ More
In fMRI, capturing brain activation during a task is dependent on how quickly k-space arrays are obtained. Acquiring full k-space arrays, which are reconstructed into images using the inverse Fourier transform (IFT), that make up volume images can take a considerable amount of scan time. Under-sampling k-space reduces the acquisition time, but results in aliased, or "folded," images. GeneRalized Autocalibrating Partial Parallel Acquisition (GRAPPA) is a parallel imaging technique that yields full images from subsampled arrays of k-space. GRAPPA uses localized interpolation weights, which are estimated per-scan and fixed over time, to fill in the missing spatial frequencies of the subsampled k-space. Hence, we propose a Bayesian approach to GRAPPA (BGRAPPA) where space measurement uncertainty are assessed from the a priori calibration k-space arrays. The prior information is utilized to estimate the missing spatial frequency values from the posterior distribution and reconstruct into full field-of-view images. Our BGRAPPA technique successfully reconstructed both a simulated and experimental single slice image with less artifacts, reduced noise leading to an increased signal-to-noise ratio (SNR), and stronger power of task detection.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Evidence Tampering and Chain of Custody in Layered Attestations
Authors:
Ian D. Kretz,
Clare C. Parran,
John D. Ramsdell,
Paul D. Rowe
Abstract:
In distributed systems, trust decisions are made on the basis of integrity evidence generated via remote attestation. Examples of the kinds of evidence that might be collected are boot time image hash values; fingerprints of initialization files for userspace applications; and a comprehensive measurement of a running kernel. In layered attestations, evidence is typically composed of measurements o…
▽ More
In distributed systems, trust decisions are made on the basis of integrity evidence generated via remote attestation. Examples of the kinds of evidence that might be collected are boot time image hash values; fingerprints of initialization files for userspace applications; and a comprehensive measurement of a running kernel. In layered attestations, evidence is typically composed of measurements of key subcomponents taken from different trust boundaries within a target system. Discrete measurement evidence is bundled together for appraisal by the components that collectively perform the attestation.
In this paper, we initiate the study of evidence chain of custody for remote attestation. Using the Copland attestation specification language, we formally define the conditions under which a runtime adversary active on the target system can tamper with measurement evidence. We present algorithms for identifying all such tampering opportunities for given evidence as well as tampering "strategies" by which an adversary can modify incriminating evidence without being detected. We then define a procedure for transforming a Copland-specified attestation into a maximally tamper-resistant version of itself. Our efforts are intended to help attestation protocol designers ensure their protocols reduce evidence tampering opportunities to the smallest, most trustworthy set of components possible.
△ Less
Submitted 31 January, 2024;
originally announced February 2024.
-
A Fully Bayesian Approach for Comprehensive Mapping of Magnitude and Phase Brain Activation in Complex-Valued fMRI Data
Authors:
Zhengxin Wang,
Daniel B. Rowe,
Xinyi Li,
D. Andrew Brown
Abstract:
Functional magnetic resonance imaging (fMRI) plays a crucial role in neuroimaging, enabling the exploration of brain activity through complex-valued signals. These signals, composed of magnitude and phase, offer a rich source of information for understanding brain functions. Traditional fMRI analyses have largely focused on magnitude information, often overlooking the potential insights offered by…
▽ More
Functional magnetic resonance imaging (fMRI) plays a crucial role in neuroimaging, enabling the exploration of brain activity through complex-valued signals. These signals, composed of magnitude and phase, offer a rich source of information for understanding brain functions. Traditional fMRI analyses have largely focused on magnitude information, often overlooking the potential insights offered by phase data. In this paper, we propose a novel fully Bayesian model designed for analyzing single-subject complex-valued fMRI (cv-fMRI) data. Our model, which we refer to as the CV-M&P model, is distinctive in its comprehensive utilization of both magnitude and phase information in fMRI signals, allowing for independent prediction of different types of activation maps. We incorporate Gaussian Markov random fields (GMRFs) to capture spatial correlations within the data, and employ image partitioning and parallel computation to enhance computational efficiency. Our model is rigorously tested through simulation studies, and then applied to a real dataset from a unilateral finger-tapping experiment. The results demonstrate the model's effectiveness in accurately identifying brain regions activated in response to specific tasks, distinguishing between magnitude and phase activation.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Generation of patient specific cardiac chamber models using generative neural networks under a Bayesian framework for electroanatomical mapping
Authors:
Sunil Mathew,
Jasbir Sra,
Daniel B. Rowe
Abstract:
Electroanatomical mapping is a technique used in cardiology to create a detailed 3D map of the electrical activity in the heart. It is useful for diagnosis, treatment planning and real time guidance in cardiac ablation procedures to treat arrhythmias like atrial fibrillation. A probabilistic machine learning model trained on a library of CT/MRI scans of the heart can be used during electroanatomic…
▽ More
Electroanatomical mapping is a technique used in cardiology to create a detailed 3D map of the electrical activity in the heart. It is useful for diagnosis, treatment planning and real time guidance in cardiac ablation procedures to treat arrhythmias like atrial fibrillation. A probabilistic machine learning model trained on a library of CT/MRI scans of the heart can be used during electroanatomical mapping to generate a patient-specific 3D model of the chamber being mapped. The use of probabilistic machine learning models under a Bayesian framework provides a way to quantify uncertainty in results and provide a natural framework of interpretability of the model. Here we introduce a Bayesian approach to surface reconstruction of cardiac chamber models from a sparse 3D point cloud data acquired during electroanatomical mapping. We show how probabilistic graphical models trained on segmented CT/MRI data can be used to generate cardiac chamber models from few acquired locations thereby reducing procedure time and x-ray exposure. We show how they provide insight into what the neural network learns from the segmented CT/MRI images used to train the network, which provides explainability to the resulting cardiac chamber models generated by the model.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Efficient Fully Bayesian Approach to Brain Activity Mapping with Complex-Valued fMRI Data
Authors:
Zhengxin Wang,
Daniel B. Rowe,
Xinyi Li,
D. Andrew Brown
Abstract:
Functional magnetic resonance imaging (fMRI) enables indirect detection of brain activity changes via the blood-oxygen-level-dependent (BOLD) signal. Conventional analysis methods mainly rely on the real-valued magnitude of these signals. In contrast, research suggests that analyzing both real and imaginary components of the complex-valued fMRI (cv-fMRI) signal provides a more holistic approach th…
▽ More
Functional magnetic resonance imaging (fMRI) enables indirect detection of brain activity changes via the blood-oxygen-level-dependent (BOLD) signal. Conventional analysis methods mainly rely on the real-valued magnitude of these signals. In contrast, research suggests that analyzing both real and imaginary components of the complex-valued fMRI (cv-fMRI) signal provides a more holistic approach that can increase power to detect neuronal activation. We propose a fully Bayesian model for brain activity mapping with cv-fMRI data. Our model accommodates temporal and spatial dynamics. Additionally, we propose a computationally efficient sampling algorithm, which enhances processing speed through image partitioning. Our approach is shown to be computationally efficient via image partitioning and parallel computation while being competitive with state-of-the-art methods. We support these claims with both simulated numerical studies and an application to real cv-fMRI data obtained from a finger-tapping experiment.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Pruning a neural network using Bayesian inference
Authors:
Sunil Mathew,
Daniel B. Rowe
Abstract:
Neural network pruning is a highly effective technique aimed at reducing the computational and memory demands of large neural networks. In this research paper, we present a novel approach to pruning neural networks utilizing Bayesian inference, which can seamlessly integrate into the training procedure. Our proposed method leverages the posterior probabilities of the neural network prior to and fo…
▽ More
Neural network pruning is a highly effective technique aimed at reducing the computational and memory demands of large neural networks. In this research paper, we present a novel approach to pruning neural networks utilizing Bayesian inference, which can seamlessly integrate into the training procedure. Our proposed method leverages the posterior probabilities of the neural network prior to and following pruning, enabling the calculation of Bayes factors. The calculated Bayes factors guide the iterative pruning. Through comprehensive evaluations conducted on multiple benchmarks, we demonstrate that our method achieves desired levels of sparsity while maintaining competitive accuracy.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
Automated Speckle Interferometry of Known Binaries
Authors:
Nick Hardy,
Leon Bewersdorff,
David Rowe,
Russell Genet,
Rick Wasson,
James Armstrong,
Scott Dixon,
Mark Harris,
Tom Smith,
Rachel Freed,
Paul McCudden,
S. Stephen Rajkumar Inbanathan,
Marie Davis,
Christopher Giavarini,
Ronald Snyder,
Roger Wholly,
Maaike Calvin,
Sumner Cotton,
Julia Carter,
Mario Terrazas,
Shane Christopher R.,
Arun Kumar A.,
Sithara Naskath H.,
Mariam Ronald Rabin A
Abstract:
Astronomers have been measuring the separations and position angles between the two components of binary stars since William Herschel began his observations in 1781. In 1970, Anton Labeyrie pioneered a method, speckle interferometry, that overcomes the usual resolution limits induced by atmospheric turbulence by taking hundreds or thousands of short exposures and reducing them in Fourier space. Ou…
▽ More
Astronomers have been measuring the separations and position angles between the two components of binary stars since William Herschel began his observations in 1781. In 1970, Anton Labeyrie pioneered a method, speckle interferometry, that overcomes the usual resolution limits induced by atmospheric turbulence by taking hundreds or thousands of short exposures and reducing them in Fourier space. Our 2022 automation of speckle interferometry allowed us to use a fully robotic 1.0-meter PlaneWave Instruments telescope, located at the El Sauce Observatory in the Atacama Desert of Chile, to obtain observations of many known binaries with established orbits. The long-term objective of these observations is to establish the precision, accuracy, and limitations of this telescope's automated speckle interferometry measurements. This paper provides an early overview of the Known Binaries Project and provide example results on a small-separation (0.27") binary, WDS 12274-2843 B 228.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Growth of $α-Ga_2O_3$ on $Al_2O_3$ by conventional molecular-beam epitaxy and metal-oxide-catalyzed epitaxy
Authors:
J. P. McCandless,
D. Rowe,
N. Pieczulewski,
V. Protasenko,
M. Alonso-Orts,
M. S. Williams,
M. Eickhoff,
H. G. Xing,
D. A. Muller,
D. Jena,
P. Vogt
Abstract:
We report the growth of $α-Ga_2O_3$ on $m$-plane $Al_2O_3$ by conventional plasma-assisted molecular-beam epitaxy (MBE) and In-mediated metal-oxide-catalyzed epitaxy (MOCATAXY). We report a growth-rate-diagram for $α-Ga_2O_3$ (10-10), and observe (i) a growth rate increase, (ii) an expanded growth window, and (iii) reduced out-of-lane mosaic spread when MOCATAXY is employed for the growth of…
▽ More
We report the growth of $α-Ga_2O_3$ on $m$-plane $Al_2O_3$ by conventional plasma-assisted molecular-beam epitaxy (MBE) and In-mediated metal-oxide-catalyzed epitaxy (MOCATAXY). We report a growth-rate-diagram for $α-Ga_2O_3$ (10-10), and observe (i) a growth rate increase, (ii) an expanded growth window, and (iii) reduced out-of-lane mosaic spread when MOCATAXY is employed for the growth of $α-Ga_2O_3$. Through the use of In-mediated catalysis, growth rates over $0.2\,μ\text{m}\,\text{hr}^{-1}$ and rocking curves with full width at half maxima of $Δω\approx 0.45^{\circ}$ are achieved. Faceting is observed along the $α-Ga_2O_3$ film surface and is explored through scanning transmission electron microscopy.
△ Less
Submitted 30 January, 2023;
originally announced January 2023.
-
No Language Left Behind: Scaling Human-Centered Machine Translation
Authors:
NLLB Team,
Marta R. Costa-jussà,
James Cross,
Onur Çelebi,
Maha Elbayad,
Kenneth Heafield,
Kevin Heffernan,
Elahe Kalbassi,
Janice Lam,
Daniel Licht,
Jean Maillard,
Anna Sun,
Skyler Wang,
Guillaume Wenzek,
Al Youngblood,
Bapi Akula,
Loic Barrault,
Gabriel Mejia Gonzalez,
Prangthip Hansanti,
John Hoffman,
Semarley Jarrett,
Kaushik Ram Sadagopan,
Dirk Rowe,
Shannon Spruit,
Chau Tran
, et al. (14 additional authors not shown)
Abstract:
Driven by the goal of eradicating language barriers on a global scale, machine translation has solidified itself as a key focus of artificial intelligence research today. However, such efforts have coalesced around a small subset of languages, leaving behind the vast majority of mostly low-resource languages. What does it take to break the 200 language barrier while ensuring safe, high quality res…
▽ More
Driven by the goal of eradicating language barriers on a global scale, machine translation has solidified itself as a key focus of artificial intelligence research today. However, such efforts have coalesced around a small subset of languages, leaving behind the vast majority of mostly low-resource languages. What does it take to break the 200 language barrier while ensuring safe, high quality results, all while keeping ethical considerations in mind? In No Language Left Behind, we took on this challenge by first contextualizing the need for low-resource language translation support through exploratory interviews with native speakers. Then, we created datasets and models aimed at narrowing the performance gap between low and high-resource languages. More specifically, we developed a conditional compute model based on Sparsely Gated Mixture of Experts that is trained on data obtained with novel and effective data mining techniques tailored for low-resource languages. We propose multiple architectural and training improvements to counteract overfitting while training on thousands of tasks. Critically, we evaluated the performance of over 40,000 different translation directions using a human-translated benchmark, Flores-200, and combined human evaluation with a novel toxicity benchmark covering all languages in Flores-200 to assess translation safety. Our model achieves an improvement of 44% BLEU relative to the previous state-of-the-art, laying important groundwork towards realizing a universal translation system. Finally, we open source all contributions described in this work, accessible at https://github.com/facebookresearch/fairseq/tree/nllb.
△ Less
Submitted 25 August, 2022; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Evidence Estimation in Gaussian Graphical Models Using a Telescoping Block Decomposition of the Precision Matrix
Authors:
Anindya Bhadra,
Ksheera Sagar,
David Rowe,
Sayantan Banerjee,
Jyotishka Datta
Abstract:
Marginal likelihood, also known as model evidence, is a fundamental quantity in Bayesian statistics. It is used for model selection using Bayes factors or for empirical Bayes tuning of prior hyper-parameters. Yet, the calculation of evidence has remained a longstanding open problem in Gaussian graphical models. Currently, the only feasible solutions that exist are for special cases such as the Wis…
▽ More
Marginal likelihood, also known as model evidence, is a fundamental quantity in Bayesian statistics. It is used for model selection using Bayes factors or for empirical Bayes tuning of prior hyper-parameters. Yet, the calculation of evidence has remained a longstanding open problem in Gaussian graphical models. Currently, the only feasible solutions that exist are for special cases such as the Wishart or G-Wishart, in moderate dimensions. We develop an approach based on a novel telescoping block decomposition of the precision matrix that allows the estimation of evidence by application of Chib's technique under a very broad class of priors under mild requirements. Specifically, the requirements are: (a) the priors on the diagonal terms on the precision matrix can be written as gamma or scale mixtures of gamma random variables and (b) those on the off-diagonal terms can be represented as normal or scale mixtures of normal. This includes structured priors such as the Wishart or G-Wishart, and more recently introduced element-wise priors, such as the Bayesian graphical lasso and the graphical horseshoe. Among these, the true marginal is known in an analytically closed form for Wishart, providing a useful validation of our approach. For the general setting of the other three, and several more priors satisfying conditions (a) and (b) above, the calculation of evidence has remained an open question that this article resolves under a unifying framework.
△ Less
Submitted 30 August, 2024; v1 submitted 2 May, 2022;
originally announced May 2022.
-
The Renovated Thacher Observatory and First Science Results
Authors:
Jonathan J. Swift,
Karina Andersen,
Toby Arculli,
Oakley Browning,
Jeffrey Ding,
Nick Edwards,
Tomas Fanning,
John Geyer,
Grace Huber,
Dylan Jin-Ngo,
Ben Kelliher,
Colin Kirkpatrick,
Liam Kirkpatrick,
Douglas Klink III,
Connor Lavine,
George Lawrence,
Yousef Lawrence,
Feng Lin Cyrus Leung,
Julien Luebbers,
Justin Myles,
Theo J. O'Neill,
Jaime Osuna,
Peter Phipps,
Gazi Rahman,
Teddy Rosenbaum
, et al. (16 additional authors not shown)
Abstract:
Located on the campus of the Thacher School in Southern California, the Thacher Observatory has a legacy of astronomy research and education that dates back to the late 1950's. In 2016, the observatory was fully renovated with upgrades including a new 0.7-m telescope, a research grade camera, and a slit dome with full automation capabilities. The low-elevation site is bordered by the Los Padres Na…
▽ More
Located on the campus of the Thacher School in Southern California, the Thacher Observatory has a legacy of astronomy research and education that dates back to the late 1950's. In 2016, the observatory was fully renovated with upgrades including a new 0.7-m telescope, a research grade camera, and a slit dome with full automation capabilities. The low-elevation site is bordered by the Los Padres National Forest and therefore affords dark to very dark skies allowing for accurate and precise photometric observations. We present a characterization of the site including sky brightness, weather, and seeing, and we demonstrate the on-sky performance of the facility. Our primary research programs are based around our multi-band photometric capabilities and include photometric monitoring of variable sources, a nearby supernova search and followup program, a quick response transient followup effort, and exoplanet and eclipsing binary light curves. Select results from these programs are included in this work which highlight the broad range of science available to an automated observatory with a moderately sized telescope.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
Graph Convolutional Networks for Model-Based Learning in Nonlinear Inverse Problems
Authors:
William Herzberg,
Daniel B. Rowe,
Andreas Hauptmann,
Sarah J. Hamilton
Abstract:
The majority of model-based learned image reconstruction methods in medical imaging have been limited to uniform domains, such as pixelated images. If the underlying model is solved on nonuniform meshes, arising from a finite element method typical for nonlinear inverse problems, interpolation and embeddings are needed. To overcome this, we present a flexible framework to extend model-based learni…
▽ More
The majority of model-based learned image reconstruction methods in medical imaging have been limited to uniform domains, such as pixelated images. If the underlying model is solved on nonuniform meshes, arising from a finite element method typical for nonlinear inverse problems, interpolation and embeddings are needed. To overcome this, we present a flexible framework to extend model-based learning directly to nonuniform meshes, by interpreting the mesh as a graph and formulating our network architectures using graph convolutional neural networks. This gives rise to the proposed iterative Graph Convolutional Newton-type Method (GCNM), which includes the forward model in the solution of the inverse problem, while all updates are directly computed by the network on the problem specific mesh. We present results for Electrical Impedance Tomography, a severely ill-posed nonlinear inverse problem that is frequently solved via optimization-based methods, where the forward problem is solved by finite element methods. Results for absolute EIT imaging are compared to standard iterative methods as well as a graph residual network. We show that the GCNM has strong generalizability to different domain shapes and meshes, out of distribution data as well as experimental data, from purely simulated training data and without transfer training.
△ Less
Submitted 8 July, 2021; v1 submitted 28 March, 2021;
originally announced March 2021.
-
Models from the 19th Century used for Visualizing Optical Phenomena and Line Geometry
Authors:
David E. Rowe
Abstract:
The main focus of this paper is on models of quartic surfaces, especially so-called complex surfaces. These are special fourth-degree surfaces that Julius Plücker introduced in the 1860s for visualizing the local structure of a quadratic line complex. Plücker's complex surfaces turned out to be closely related to Kummer surfaces and both of these types of quartics are examples of caustic surfaces,…
▽ More
The main focus of this paper is on models of quartic surfaces, especially so-called complex surfaces. These are special fourth-degree surfaces that Julius Plücker introduced in the 1860s for visualizing the local structure of a quadratic line complex. Plücker's complex surfaces turned out to be closely related to Kummer surfaces and both of these types of quartics are examples of caustic surfaces, which arise in geometrical optics. Indeed, Kummer surfaces represent a natural generalization of the wave surface, first introduced by Augustin Fresnel to explain double refraction in biaxial crystals.
△ Less
Submitted 15 December, 2019;
originally announced December 2019.
-
Emmy Noether on Energy Conservation in General Relativity
Authors:
David E. Rowe
Abstract:
During the First World War, the status of energy conservation in general relativity was one of the most hotly debated questions surrounding Einstein's new theory of gravitation. His approach to this aspect of general relativity differed sharply from another set forth by Hilbert, even though the latter conjectured in 1916 that both theories were probably equivalent. Rather than pursue this question…
▽ More
During the First World War, the status of energy conservation in general relativity was one of the most hotly debated questions surrounding Einstein's new theory of gravitation. His approach to this aspect of general relativity differed sharply from another set forth by Hilbert, even though the latter conjectured in 1916 that both theories were probably equivalent. Rather than pursue this question himself, Hilbert chose to charge Emmy Noether with the task of probing the mathematical foundations of these two theories. Indirect references to her results came out two years later when Klein began to examine this question again with Noether's assistance. Over several months, Klein and Einstein pursued these matters in a lengthy correspondence, which culminated with several publications, including Noether's now famous paper "Invariante Variationsprobleme". The present account focuses on the earlier discussions from 1916 involving Einstein, Hilbert, and Noether. In these years, a Swiss student named R.J. Humm was studying relativity in Göttingen, during which time he transcribed part of Noether's lost manuscript on Hilbert's invariant energy vector. By making use of this 9-page manuscript, it is possible to reconstruct the arguments Noether set forth in response to Hilbert's conjecture. Her results turn out to be closely related to the findings Klein published two years later, thereby highlighting, once again, how her work significantly deepened contemporary understanding of the mathematical underpinnings of general relativity.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
Klein, Lie, and their early Work on Quartic Surfaces
Authors:
David E. Rowe
Abstract:
Special types of quartic surfaces were much studied objects during the 1860s. Quartics were thus very much in the air when Sophus Lie and Felix Klein first met in Berlin in 1869. As this study shows, such surfaces played a major role in their subsequent work, much of which centered on linear and quadratic line complexes. This mutual interest led them to a number of new results on the quartic surfa…
▽ More
Special types of quartic surfaces were much studied objects during the 1860s. Quartics were thus very much in the air when Sophus Lie and Felix Klein first met in Berlin in 1869. As this study shows, such surfaces played a major role in their subsequent work, much of which centered on linear and quadratic line complexes. This mutual interest led them to a number of new results on the quartic surfaces of Steiner, Plücker, and Kummer, as well as various types of ruled quartics studied earlier by Cremona. This paper, which draws on unpublished archival sources as well as published work from the period 1869-1872, underscores the importance of this aspect of the early geometrical work of these two famous figures. A highlight was Lie's line-to-sphere transformation, which led to surprising new findings on properties of asymptotic curves on Kummer surfaces.
△ Less
Submitted 5 December, 2019;
originally announced December 2019.
-
On Resolving Singularities of Plane Curves via a Theorem attributed to Clebsch
Authors:
David E. Rowe
Abstract:
This paper discusses a central theorem in birational geometry first proved by Eugenio Bertini in 1891. J.L. Coolidge described the main ideas behind Bertini's proof, but he attributed the theorem to Clebsch. He did so owing to a short note that Felix Klein appended to the republication of Bertini's article in 1894. The precise circumstances that led to Klein's intervention can be easily reconstruc…
▽ More
This paper discusses a central theorem in birational geometry first proved by Eugenio Bertini in 1891. J.L. Coolidge described the main ideas behind Bertini's proof, but he attributed the theorem to Clebsch. He did so owing to a short note that Felix Klein appended to the republication of Bertini's article in 1894. The precise circumstances that led to Klein's intervention can be easily reconstructed from letters Klein exchanged with Max Noether, who was then completing work on the lengthy report he and Alexander Brill published on the history of algebraic functions [Brill/Noether 1894]. This correspondence sheds new light on Noether's deep concerns about the importance of this report in substantiating his own priority rights and larger intellectual legacy.
△ Less
Submitted 5 December, 2019;
originally announced December 2019.
-
Nuclear shape coexistence from the perspective of an algebraic many-nucleon version of the Bohr-Mottelson unified model
Authors:
David J. Rowe
Abstract:
A fully quantal algebraic version of the Bohr-Mottelson unified model is presented with the important property that its quantisation is defined by its irreducible unitary representations which span the many-nucleon Hilbert space of every nucleus. The model is uniquely defined by the requirement that its Lie algebra of observables includes the nuclear quadrupole moments and kinetic energy. It then…
▽ More
A fully quantal algebraic version of the Bohr-Mottelson unified model is presented with the important property that its quantisation is defined by its irreducible unitary representations which span the many-nucleon Hilbert space of every nucleus. The model is uniquely defined by the requirement that its Lie algebra of observables includes the nuclear quadrupole moments and kinetic energy. It then follows that there can be no non-zero isoscalar E2 transitions between any states belonging to its different irreducible representations and, as a result, the states of the model are uniquely defined with the property that observed transitions between rotational states of nuclei are to be expressed in terms of mixtures of the model irreps. The algebraic version of the unified model parallels the Bohr-Mottelson model in most respects, including the possibility of including the effects of Coriolis and centrifugal forces as subsequent perturbations. However, it corrects its treatment of angular momentum quantisation and no longer uses an over-complete set of coordinates. These changes have significant implications for the dynamics of nuclear rotations which are hidden when its moments of inertia are considered as inertial masses in the standard expression of rotational kinetic energies. Thus, the developments put a new perspective on the phenomenon of shape coexistence.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
The many-nucleon unified model and the dynamics of nuclear rotations
Authors:
David J. Rowe
Abstract:
It is determined that a many-nucleon version of the Bohr-Mottelson unified model that contains the essential observables of that model and has irreducible representations that span the Hilbert space of fully anti-symmetric states of nuclei, is given uniquely by the symplectic model. This model is shown to provide a framework for an examination of the dynamics of nuclear rotations. A first discover…
▽ More
It is determined that a many-nucleon version of the Bohr-Mottelson unified model that contains the essential observables of that model and has irreducible representations that span the Hilbert space of fully anti-symmetric states of nuclei, is given uniquely by the symplectic model. This model is shown to provide a framework for an examination of the dynamics of nuclear rotations. A first discovery is that rotational energies are mixtures of potential and kinetic energies even in an adiabatic limit.
△ Less
Submitted 26 April, 2019;
originally announced April 2019.
-
Limitations on Observability of Effects in Cyber-Physical Systems
Authors:
Suresh K. Damodaran,
Paul D. Rowe
Abstract:
Increased interconnectivity of Cyber-Physical Systems, by design or otherwise, increases the cyber attack surface and attack vectors. Observing the effects of these attacks is helpful in detecting them. In this paper, we show that many attacks on such systems result in a control loop effect we term Process Model Inconsistency (PMI). Our formal approach elucidates the relationships among incomplete…
▽ More
Increased interconnectivity of Cyber-Physical Systems, by design or otherwise, increases the cyber attack surface and attack vectors. Observing the effects of these attacks is helpful in detecting them. In this paper, we show that many attacks on such systems result in a control loop effect we term Process Model Inconsistency (PMI). Our formal approach elucidates the relationships among incompleteness, incorrectness, safety, and inconsistency of process models. We show that incomplete process models lead to inconsistency. Surprisingly, inconsistency may arise even in complete and correct models. We illustrate our approach through an Automated Teller Machine (ATM) example, and describe the practical implications of the theoretical results.
△ Less
Submitted 22 March, 2019;
originally announced March 2019.
-
Physics of nuclei: Key role of an emergent symmetry
Authors:
T. Dytrych,
K. D. Launey,
J. P. Draayer,
D. Rowe,
J. Wood,
G. Rosensteel,
C. Bahri,
D. Langr,
R. B. Baker
Abstract:
Exact symmetry and symmetry-breaking phenomena play a key role in providing a better understanding of the physics of many-particle systems, from quarks and atomic nuclei, to molecules and galaxies. In atomic nuclei, exact and dominant symmetries such as rotational invariance, parity, and charge independence have been clearly established. However, even when these symmetries are taken into account,…
▽ More
Exact symmetry and symmetry-breaking phenomena play a key role in providing a better understanding of the physics of many-particle systems, from quarks and atomic nuclei, to molecules and galaxies. In atomic nuclei, exact and dominant symmetries such as rotational invariance, parity, and charge independence have been clearly established. However, even when these symmetries are taken into account, the structure of nuclei remains illusive and only partially understood, with no additional symmetries immediately evident from the underlying nucleon-nucleon interaction. Here, we show through ab initio large-scale nuclear structure calculations that the special nature of the strong nuclear force determines additional highly regular patterns in nuclei that can be tied to an emergent approximate symmetry. We find that this symmetry is remarkably ubiquitous, regardless of its particular strong interaction heritage, and mathematically tracks with a symplectic group. Specifically, we show for light to intermediate-mass nuclei that the structure of a nucleus, along with its low-energy excitations, respects symplectic symmetry at about 70-80% level, unveiling the predominance of only a few equilibrium shapes, deformed or not, with associated vibrations and rotations. This establishes the symplectic symmetry as a remarkably good symmetry of the strong nuclear force, in the low-energy regime. This may have important implications to studies in astrophysics and neutrino physics that rely on nuclear structure information, especially where experimental measurements are incomplete or not available. A very important practical advantage is that this new symmetry can be utilized to dramatically reduce computational resources required in ab initio large-scale nuclear structure modeling. This, in turn, can be used to pioneer predictions, e.g., for short-lived isotopes along various nucleosynthesis pathways.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version)
Authors:
Moses D. Liskov,
Joshua D. Guttman,
John D. Ramsdell,
Paul D. Rowe,
F. Javier Thayer
Abstract:
Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a strongest security goal the protocol achieves in that scenario. CPSA, a Cryptographic Protocol Shapes Analyzer, implements enrich-by-need protocol analysis.
In this paper, we describe how to analyze protocols using the Di…
▽ More
Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a strongest security goal the protocol achieves in that scenario. CPSA, a Cryptographic Protocol Shapes Analyzer, implements enrich-by-need protocol analysis.
In this paper, we describe how to analyze protocols using the Diffie-Hellman mechanism for key agreement (DH) in the enrich-by-need style. DH, while widespread, has been challenging for protocol analysis because of its algebraic structure. DH essentially involves fields and cyclic groups, which do not fit the standard foundational framework of symbolic protocol analysis. By contrast, we justify our analysis via an algebraically natural model.
This foundation makes the extended CPSA implementation reliable. Moreover, it provides informative and efficient results.
An appendix explains how unification is efficiently done in our framework.
△ Less
Submitted 16 April, 2018;
originally announced April 2018.
-
The evolving many-nucleon theory of nuclear rotations
Authors:
David J. Rowe
Abstract:
The many approaches that have been pursued in seeking an understanding of nuclear rotational dynamics are reviewed and reassessed with a view to their development in the light of recent progress and the research tools that are now available. A motivation for this review is the widespread observation of nuclear shape coexistence and sequences of rotational states in all regions of the nuclear perio…
▽ More
The many approaches that have been pursued in seeking an understanding of nuclear rotational dynamics are reviewed and reassessed with a view to their development in the light of recent progress and the research tools that are now available. A motivation for this review is the widespread observation of nuclear shape coexistence and sequences of rotational states in all regions of the nuclear periodic table combined with the recognition that the study of the rotational dynamics of quantum fluids has led to significant advances in the quantum theory of many-boson systems. Recent experimental investigations of the rotational dynamics of a low-temperature $^6$Li gas indicate that its slow rotational flows are likewise the irrotational flows of a superfluid. In this context, the dynamics of rotating nuclei are of fundamental interest because the nucleus is a unique zero-temperature finite many-fermion quantum system. A promising approach is provided by algebraic mean-field theory which, as its name suggests, is a combination of algebraic and mean-field methods. Static mean-field theories play a central role in many-body theory by defining optimal independent-particle and independent quasi-particle basis states for the quantum mechanics of many-fermion systems. Their time-dependent extensions also lead, in the small-amplitude random-phase approximation, to the quantisation of the classical normal-mode vibrations of many-fermion systems about their static equilibrium states. This review shows that mean-field methods become significantly more powerful when combined with algebraic methods and an appropriate coupling scheme for the nuclear shell model.
△ Less
Submitted 11 October, 2017;
originally announced October 2017.
-
The many-nucleon theory of nuclear collective structure and its macroscopic limits: an algebraic perspective
Authors:
D. J. Rowe,
A. E. McCoy,
M. A. Caprio
Abstract:
The nuclear collective models introduced by Bohr, Mottelson and Rainwater, together with the Mayer-Jensen shell model, have provided the central framework for the development of nuclear physics. This paper reviews the microscopic evolution of the collective models and their underlying foundations. In particular, it is shown that the Bohr-Mottelson models have expressions as macroscopic limits of m…
▽ More
The nuclear collective models introduced by Bohr, Mottelson and Rainwater, together with the Mayer-Jensen shell model, have provided the central framework for the development of nuclear physics. This paper reviews the microscopic evolution of the collective models and their underlying foundations. In particular, it is shown that the Bohr-Mottelson models have expressions as macroscopic limits of microscopic models that have precisely-defined expressions in many-nucleon quantum mechanics. Understanding collective models in this way is especially useful because it enables the analysis of nuclear properties in terms of them to be revisited and reassessed in the light of their microscopic foundations.
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
Principles of Layered Attestation
Authors:
Paul D. Rowe
Abstract:
Systems designed with measurement and attestation in mind are often layered, with the lower layers measuring the layers above them. Attestations of such systems, which we call layered attestations, must bundle together the results of a diverse set of application-specific measurements of various parts of the system. Some methods of layered attestation are more trustworthy than others, so it is impo…
▽ More
Systems designed with measurement and attestation in mind are often layered, with the lower layers measuring the layers above them. Attestations of such systems, which we call layered attestations, must bundle together the results of a diverse set of application-specific measurements of various parts of the system. Some methods of layered attestation are more trustworthy than others, so it is important for system designers to understand the trust consequences of different system configurations. This paper presents a formal framework for reasoning about layered attestations, and provides generic reusable principles for achieving trustworthy results.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
Formal Support for Standardizing Protocols with State
Authors:
Joshua D. Guttman,
Moses D. Liskov,
John D. Ramsdell,
Paul D. Rowe
Abstract:
Many cryptographic protocols are designed to achieve their goals using only messages passed over an open network. Numerous tools, based on well-understood foundations, exist for the design and analysis of protocols that rely purely on message passing. However, these tools encounter difficulties when faced with protocols that rely on non-local, mutable state to coordinate several local sessions.…
▽ More
Many cryptographic protocols are designed to achieve their goals using only messages passed over an open network. Numerous tools, based on well-understood foundations, exist for the design and analysis of protocols that rely purely on message passing. However, these tools encounter difficulties when faced with protocols that rely on non-local, mutable state to coordinate several local sessions.
We adapt one of these tools, {\cpsa}, to provide automated support for reasoning about state. We use Ryan's Envelope Protocol as an example to demonstrate how the message-passing reasoning can be integrated with state reasoning to yield interesting and powerful results.
Keywords: protocol analysis tools, stateful protocols, TPM, PKCS#11.
△ Less
Submitted 24 September, 2015;
originally announced September 2015.
-
Applications of the Capelli identities in physics and representation theory
Authors:
David J. Rowe
Abstract:
Capelli identities are shown to facilitate the construction of representations of various Heisenberg algebras that arise in many-particle quantum mechanics and the construction of holomorphic representations of many Lie algebras by Vector Coherent State methods. We consider the original Capelli identity and its generalizations by Turnbull and by Howe and Umeda.
Capelli identities are shown to facilitate the construction of representations of various Heisenberg algebras that arise in many-particle quantum mechanics and the construction of holomorphic representations of many Lie algebras by Vector Coherent State methods. We consider the original Capelli identity and its generalizations by Turnbull and by Howe and Umeda.
△ Less
Submitted 10 January, 2015;
originally announced January 2015.
-
A Cut Principle for Information Flow
Authors:
Joshua D. Guttman,
Paul D. Rowe
Abstract:
We view a distributed system as a graph of active locations with unidirectional channels between them, through which they pass messages. In this context, the graph structure of a system constrains the propagation of information through it.
Suppose a set of channels is a cut set between an information source and a potential sink. We prove that, if there is no disclosure from the source to the cut…
▽ More
We view a distributed system as a graph of active locations with unidirectional channels between them, through which they pass messages. In this context, the graph structure of a system constrains the propagation of information through it.
Suppose a set of channels is a cut set between an information source and a potential sink. We prove that, if there is no disclosure from the source to the cut set, then there can be no disclosure to the sink. We introduce a new formalization of partial disclosure, called *blur operators*, and show that the same cut property is preserved for disclosure to within a blur operator. This cut-blur property also implies a compositional principle, which ensures limited disclosure for a class of systems that differ only beyond the cut.
△ Less
Submitted 24 March, 2015; v1 submitted 16 October, 2014;
originally announced October 2014.
-
A computer code for calculations in the algebraic collective model of the atomic nucleus
Authors:
T. A. Welsh,
D. J. Rowe
Abstract:
A Maple code is presented for algebraic collective model (ACM) calculations. The ACM is an algebraic version of the Bohr model of the atomic nucleus, in which all required matrix elements are derived by exploiting the model's SU(1,1) x SO(5) dynamical group. This paper reviews the mathematical formulation of the ACM, and serves as a manual for the code.
The code enables a wide range of model Ham…
▽ More
A Maple code is presented for algebraic collective model (ACM) calculations. The ACM is an algebraic version of the Bohr model of the atomic nucleus, in which all required matrix elements are derived by exploiting the model's SU(1,1) x SO(5) dynamical group. This paper reviews the mathematical formulation of the ACM, and serves as a manual for the code.
The code enables a wide range of model Hamiltonians to be analysed. This range includes essentially all Hamiltonians that are rational functions of the model's quadrupole moments $q_M$ and are at most quadratic in the corresponding conjugate momenta $π_N$ ($-2\le M,N\le 2$). The code makes use of expressions for matrix elements derived elsewhere and newly derived matrix elements of the operators $[π\otimes q \otimesπ]_0$ and $[π\otimesπ]_{LM}$. The code is made efficient by use of an analytical expression for the needed SO(5)-reduced matrix elements, and use of SO(5)$\,\supset\,$SO(3) Clebsch-Gordan coefficients obtained from precomputed data files provided with the code.
△ Less
Submitted 5 January, 2016; v1 submitted 17 August, 2014;
originally announced August 2014.
-
A Hybrid Analysis for Security Protocols with State
Authors:
John D. Ramsdell,
Daniel J. Dougherty,
Joshua D. Guttman,
Paul D. Rowe
Abstract:
Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complete that session. However, in some protocols a principal also uses state to coordinate its different local sessions. Sometimes the non-local, mutable state is used as a means, for example with smart cards or Trusted Platfo…
▽ More
Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complete that session. However, in some protocols a principal also uses state to coordinate its different local sessions. Sometimes the non-local, mutable state is used as a means, for example with smart cards or Trusted Platform Modules. Sometimes it is the purpose of running the protocol, for example in commercial transactions.
Many richly developed tools and techniques, based on well-understood foundations, are available for design and analysis of pure message-passing protocols. But the presence of cross-session state poses difficulties for these techniques.
In this paper we provide a framework for modeling stateful protocols. We define a hybrid analysis method. It leverages theorem-proving---in this instance, the PVS prover---for reasoning about computations over state. It combines that with an "enrich-by-need" approach---embodied by CPSA---that focuses on the message-passing part. As a case study we give a full analysis of the Envelope Protocol, due to Mark Ryan.
△ Less
Submitted 16 June, 2014; v1 submitted 15 April, 2014;
originally announced April 2014.
-
The fundamental role of symmetry in nuclear models
Authors:
D. J. Rowe
Abstract:
The purpose of these lectures is to illustrate how symmetry and pattern recognition play essential roles in the progression from experimental observation to an understanding of nuclear phenomena in terms of interacting neutrons and protons. We do not discuss weak interactions nor relativistic and sub-nucleon degrees of freedom. The explicit use of symmetry and the power of algebraic methods, in co…
▽ More
The purpose of these lectures is to illustrate how symmetry and pattern recognition play essential roles in the progression from experimental observation to an understanding of nuclear phenomena in terms of interacting neutrons and protons. We do not discuss weak interactions nor relativistic and sub-nucleon degrees of freedom. The explicit use of symmetry and the power of algebraic methods, in combination with analytical and geometrical methods are illustrated by their use in deriving a shell-model description of nuclear rotational dynamics and the structure of deformed nuclei.
△ Less
Submitted 22 April, 2013;
originally announced April 2013.
-
Dual pairing of symmetry groups and dynamical groups in physics
Authors:
D. J. Rowe,
M. J. Carvalho,
J. Repka
Abstract:
This article reviews many manifestations and applications of dual representations of pairs of groups, primarily in atomic and nuclear physics. Examples are given to show how such paired representations are powerful aids in understanding the dynamics associated with shell-model coupling schemes and in identifying the physical situations for which a given scheme is most appropriate. In particular, t…
▽ More
This article reviews many manifestations and applications of dual representations of pairs of groups, primarily in atomic and nuclear physics. Examples are given to show how such paired representations are powerful aids in understanding the dynamics associated with shell-model coupling schemes and in identifying the physical situations for which a given scheme is most appropriate. In particular, they suggest model Hamiltonians that are diagonal in the various coupling schemes. The dual pairing of group representations has been applied profitably in mathematics to the study of invariant theory. We show that parallel applications to the theory of symmetry and dynamical groups in physics are equally valuable. In particular, the pairing of the representations of a discrete group with those of a continuous Lie group or those of a compact Lie with those of a non-compact Lie group makes it possible to infer many properties of difficult groups from those of simpler groups. This review starts with the representations of the symmetric and unitary groups, which are used extensively in the many-particle quantum mechanics of bosonic and fermionic systems. It gives a summary of the many solutions and computational techniques for solving problems that arise in applications of symmetry methods in physics and which result from the famous Schur-Weyl duality theorem for the pairing of these representations. It continues to examine many chains of symmetry groups and dual chains of dynamical groups associated with the several coupling schemes in atomic and nuclear shell models and the valuable insights and applications that result from this examination.
△ Less
Submitted 30 June, 2012;
originally announced July 2012.
-
Vector coherent state representations and their inner products
Authors:
D. J. Rowe
Abstract:
Several advances have extended the power and versatility of coherent state theory to the extent that it has become a vital tool in the representation theory of Lie groups and their Lie algebras. Representative applications are reviewed and some new developments are introduced. The examples given are chosen to illustrate special features of the scalar and vector coherent state constructions and how…
▽ More
Several advances have extended the power and versatility of coherent state theory to the extent that it has become a vital tool in the representation theory of Lie groups and their Lie algebras. Representative applications are reviewed and some new developments are introduced. The examples given are chosen to illustrate special features of the scalar and vector coherent state constructions and how they work in practical situations. Comparisons are made with Mackey's theory of induced representations. For simplicity, we focus on square integrable (discrete series) unitary representations although many of the techniques apply more generally, with minor adjustment.
△ Less
Submitted 30 June, 2012;
originally announced July 2012.
-
Embedded Representations and Quasi-Dynamical Symmetry
Authors:
D. J. Rowe
Abstract:
This presentation explains why models with a dynamical symmetry often work extraordinarily well even in the presence of large symmetry breaking interactions. A model may be a caricature of a more realistic system with a "quasi-dynamical" symmetry. The existence of quasi-dynamical symmetry in physical systems and its significance for understanding collective dynamics in complex nuclei is explained…
▽ More
This presentation explains why models with a dynamical symmetry often work extraordinarily well even in the presence of large symmetry breaking interactions. A model may be a caricature of a more realistic system with a "quasi-dynamical" symmetry. The existence of quasi-dynamical symmetry in physical systems and its significance for understanding collective dynamics in complex nuclei is explained in terms of the precise mathematical concept of an "embedded representation". Examples are given which exhibit quasi-dynamical symmetry to a remarkably high degree. Understanding this unusual symmetry and why it occurs, is important for recognizing why dynamical symmetries appear to be much moreprevalent than they would otherwise have any right to be and for interpreting the implications of a model's successes. We indicate when quasi-dynamical symmetry is expected to apply and present a challenge as to how best to make use of this potentially powerful algebraic structure.
△ Less
Submitted 8 June, 2011;
originally announced June 2011.
-
The shifted harmonic approximation and asymptotic SU(2) and SU(1,1) Clebsch--Gordan coefficients
Authors:
David J Rowe,
Hubert de Guise
Abstract:
Clebsch-Gordan coefficients of SU(2) and SU(1,1) are defined as eigenfunctions of a linear operator acting on the tensor product of the Hilbert spaces for two irreps of these groups. The shifted harmonic approximation is then used to solve these equations in asymptotic limits in which these eigenfunctions approach harmonic oscillator wave functions and thereby derive asymptotic expressions for the…
▽ More
Clebsch-Gordan coefficients of SU(2) and SU(1,1) are defined as eigenfunctions of a linear operator acting on the tensor product of the Hilbert spaces for two irreps of these groups. The shifted harmonic approximation is then used to solve these equations in asymptotic limits in which these eigenfunctions approach harmonic oscillator wave functions and thereby derive asymptotic expressions for these Clebsch--Gordan coefficients.
△ Less
Submitted 29 November, 2010;
originally announced November 2010.
-
Eigenstate Estimation for the Bardeen-Cooper-Schrieffer (BCS) Hamiltonian
Authors:
S. Y. Ho,
D. J. Rowe,
S. De Baerdemacker
Abstract:
We show how multi-level BCS Hamiltonians of finite systems in the strong pairing interaction regime can be accurately approximated using multi-dimensional shifted harmonic oscillator Hamiltonians. In the Shifted Harmonic Approximation (SHA), discrete quantum state variables are approximated as continuous ones and algebraic Hamiltonians are replaced by differential operators. Using the SHA, the res…
▽ More
We show how multi-level BCS Hamiltonians of finite systems in the strong pairing interaction regime can be accurately approximated using multi-dimensional shifted harmonic oscillator Hamiltonians. In the Shifted Harmonic Approximation (SHA), discrete quantum state variables are approximated as continuous ones and algebraic Hamiltonians are replaced by differential operators. Using the SHA, the results of the BCS theory, such as the gap equations, can be easily derived without the BCS approximation. In addition, the SHA preserves the symmetries associated with the BCS Hamiltonians. Lastly, for all interaction strengths, the SHA can be used to identify the most important basis states -- allowing accurate computation of low-lying eigenstates by diagonalizing BCS Hamiltonians in small subspaces of what may otherwise be vastly larger Hilbert spaces.
△ Less
Submitted 18 November, 2010;
originally announced November 2010.
-
Construction of SO(5)>SO(3) spherical harmonics and Clebsch-Gordan coefficients
Authors:
M. A. Caprio,
D. J. Rowe,
T. A. Welsh
Abstract:
The SO(5)>SO(3) spherical harmonics form a natural basis for expansion of nuclear collective model angular wave functions. They underlie the recently-proposed algebraic method for diagonalization of the nuclear collective model Hamiltonian in an SU(1,1)xSO(5) basis. We present a computer code for explicit construction of the SO(5)>SO(3) spherical harmonics and use them to compute the Clebsch-Gor…
▽ More
The SO(5)>SO(3) spherical harmonics form a natural basis for expansion of nuclear collective model angular wave functions. They underlie the recently-proposed algebraic method for diagonalization of the nuclear collective model Hamiltonian in an SU(1,1)xSO(5) basis. We present a computer code for explicit construction of the SO(5)>SO(3) spherical harmonics and use them to compute the Clebsch-Gordan coefficients needed for collective model calculations in an SO(3)-coupled basis. With these Clebsch-Gordan coefficients it becomes possible to compute the matrix elements of collective model observables by purely algebraic methods.
△ Less
Submitted 30 January, 2009;
originally announced February 2009.
-
Construction of SU(3) irreps in canonical SO(3)-coupled bases
Authors:
D. J. Rowe,
G. Thiamova
Abstract:
Alternative canonical methods for defining canonical SO(3)-coupled bases for SU(3) irreps are considered and compared. It is shown that a basis that diagonalizes a particular linear combination of SO(3) invariants in the SU(3) universal enveloping algebra gives basis states that have good $K$ quantum numbers in the asymptotic rotor-model limit.
Alternative canonical methods for defining canonical SO(3)-coupled bases for SU(3) irreps are considered and compared. It is shown that a basis that diagonalizes a particular linear combination of SO(3) invariants in the SU(3) universal enveloping algebra gives basis states that have good $K$ quantum numbers in the asymptotic rotor-model limit.
△ Less
Submitted 6 November, 2007;
originally announced November 2007.
-
An equations-of-motion approach to quantum mechanics: application to a model phase transition
Authors:
S. Y. Ho,
G. Rosensteel,
D. J. Rowe
Abstract:
We present a generalized equations-of-motion method that efficiently calculates energy spectra and matrix elements for algebraic models. The method is applied to a 5-dimensional quartic oscillator that exhibits a quantum phase transition between vibrational and rotational phases. For certain parameters, 10 by 10 matrices give better results than obtained by diagonalising 1000 by 1000 matrices.
We present a generalized equations-of-motion method that efficiently calculates energy spectra and matrix elements for algebraic models. The method is applied to a 5-dimensional quartic oscillator that exhibits a quantum phase transition between vibrational and rotational phases. For certain parameters, 10 by 10 matrices give better results than obtained by diagonalising 1000 by 1000 matrices.
△ Less
Submitted 6 November, 2006;
originally announced November 2006.
-
Vector coherent state theory of the generic representations of so(5) in an so(3) basis
Authors:
P. S. Turner,
D. J. Rowe,
J. Repka
Abstract:
For applications of group theory in quantum mechanics, one generally needs explicit matrix representations of the spectrum generating algebras that arise in bases that reduce the symmetry group of some Hamiltonian of interest. Here we use vector coherent state techniques to develop an algorithm for constructing the matrices for arbitrary finite-dimensional irreps of the SO(5) Lie algebra in an S…
▽ More
For applications of group theory in quantum mechanics, one generally needs explicit matrix representations of the spectrum generating algebras that arise in bases that reduce the symmetry group of some Hamiltonian of interest. Here we use vector coherent state techniques to develop an algorithm for constructing the matrices for arbitrary finite-dimensional irreps of the SO(5) Lie algebra in an SO(3) basis. The SO(3) subgroup of SO(5) is defined by regarding SO(5) as linear transformations of the five-dimensional space of an SO(3) irrep of angular momentum two. A need for such irreps arises in the nuclear collective model of quadrupole vibrations and rotations. The algorithm has been implemented in MAPLE, and some tables of results are presented.
△ Less
Submitted 15 November, 2005;
originally announced November 2005.
-
An algebraic approach to problems with polynomial Hamiltonians on Euclidean spaces
Authors:
D. J. Rowe
Abstract:
Explicit expressions are given for the actions and radial matrix elements of basic radial observables on multi-dimensional spaces in a continuous sequence of orthonormal bases for unitary SU(1,1) irreps. Explicit expressions are also given for SO(N)-reduced matrix elements of basic orbital observables. These developments make it possible to determine the matrix elements of polynomial and a other…
▽ More
Explicit expressions are given for the actions and radial matrix elements of basic radial observables on multi-dimensional spaces in a continuous sequence of orthonormal bases for unitary SU(1,1) irreps. Explicit expressions are also given for SO(N)-reduced matrix elements of basic orbital observables. These developments make it possible to determine the matrix elements of polynomial and a other Hamiltonians analytically, to within SO(N) Clebsch-Gordan coefficients, and to select an optimal basis for a particular problem such that the expansion of eigenfunctions is most rapidly convergent.
△ Less
Submitted 25 October, 2005;
originally announced October 2005.
-
Quasi dynamical symmetry in an interacting boson model phase transition
Authors:
David J. Rowe
Abstract:
The oft-observed persistence of symmetry properties in the face of strong symmetry-breaking interactions is examined in the SO(5)-invariant interacting boson model. This model exhibits a transition between two phases associated with U(5) and O(6) symmetries, respectively, as the value of a control parameter progresses from 0 to 1. The remarkable fact is that, for intermediate values of the contr…
▽ More
The oft-observed persistence of symmetry properties in the face of strong symmetry-breaking interactions is examined in the SO(5)-invariant interacting boson model. This model exhibits a transition between two phases associated with U(5) and O(6) symmetries, respectively, as the value of a control parameter progresses from 0 to 1. The remarkable fact is that, for intermediate values of the control parameter, the model states exhibit the characteristics of its closest symmetry limit for all but a relatively narrow transition region that becomes progressively narrower as the particle number of the model increases. This phenomenon is explained in terms of quasi-dynamical symmetry.
△ Less
Submitted 5 February, 2004;
originally announced February 2004.
-
A computationally tractable version of the collective model
Authors:
D. J. Rowe
Abstract:
A computationally tractable version of the Bohr-Mottelson collective model is presented which makes it possible to diagonalize realistic collective models and obtain convergent results in relatively small appropriately chosen subspaces of the collective model Hilbert space. Special features of the proposed model is that it makes use of the beta wave functions given analytically by the softened-b…
▽ More
A computationally tractable version of the Bohr-Mottelson collective model is presented which makes it possible to diagonalize realistic collective models and obtain convergent results in relatively small appropriately chosen subspaces of the collective model Hilbert space. Special features of the proposed model is that it makes use of the beta wave functions given analytically by the softened-beta version of the Wilets-Jean model, proposed by Elliott et al., and a simple algorithm for computing SO(5) > SO(3) spherical harmonics. The latter has much in common with the methods of Chacon, Moshinsky, and Sharp but is conceptually and computationally simpler. Results are presented for collective models ranging from the sherical vibrator to the Wilets-Jean and axially symmetric rotor-vibrator models.
△ Less
Submitted 24 December, 2003;
originally announced December 2003.
-
Peltier effect in normal metal-insulator-heavy fermion metal junctions
Authors:
A. V. Goltsev,
D. M. Rowe,
V. L. Kuznetsov,
L. A. Kuznetsova,
Gao Min
Abstract:
A theoretical study has been undertaken of the Peltier effect in normal metal - insulator - heavy fermion metal junctions. The results indicate that, at temperatures below the Kondo temperature, such junctions can be used as electronic microrefrigerators to cool the normal metal electrode and are several times more efficient in cooling than the normal metal - heavy fermion metal junctions.
A theoretical study has been undertaken of the Peltier effect in normal metal - insulator - heavy fermion metal junctions. The results indicate that, at temperatures below the Kondo temperature, such junctions can be used as electronic microrefrigerators to cool the normal metal electrode and are several times more efficient in cooling than the normal metal - heavy fermion metal junctions.
△ Less
Submitted 19 February, 2003;
originally announced February 2003.
-
Efficient sharing of a continuous-variable quantum secret
Authors:
Tomas Tyc,
David J. Rowe,
Barry C. Sanders
Abstract:
We propose an efficient scheme for sharing a continuous variable quantum secret using passive optical interferometry and squeezers: this efficiency is achieved by showing that a maximum of two squeezers is required to replicate the secret state, and we obtain the cheapest configuration in terms of total squeezing cost. Squeezing is a cost for the dealer of the secret as well as for the receivers…
▽ More
We propose an efficient scheme for sharing a continuous variable quantum secret using passive optical interferometry and squeezers: this efficiency is achieved by showing that a maximum of two squeezers is required to replicate the secret state, and we obtain the cheapest configuration in terms of total squeezing cost. Squeezing is a cost for the dealer of the secret as well as for the receivers, and we quantify limitations to the fidelity of the replicated secret state in terms of the squeezing employed by the dealer.
△ Less
Submitted 8 January, 2003;
originally announced January 2003.
-
Classical Dynamics as Constrained Quantum Dynamics
Authors:
Stephen D. Bartlett,
David J. Rowe
Abstract:
We show that the classical mechanics of an algebraic model are implied by its quantizations. An algebraic model is defined, and the corresponding classical and quantum realizations are given in terms of a spectrum generating algebra. Classical equations of motion are then obtained by constraining the quantal dynamics of an algebraic model to an appropriate coherent state manifold. For the cases…
▽ More
We show that the classical mechanics of an algebraic model are implied by its quantizations. An algebraic model is defined, and the corresponding classical and quantum realizations are given in terms of a spectrum generating algebra. Classical equations of motion are then obtained by constraining the quantal dynamics of an algebraic model to an appropriate coherent state manifold. For the cases where the coherent state manifold is not symplectic, it is shown that there exist natural projections onto classical phase spaces. These results are illustrated with the extended example of an asymmetric top.
△ Less
Submitted 27 August, 2002;
originally announced August 2002.
-
Coherent state triplets and their inner products
Authors:
David J Rowe,
Joe Repka
Abstract:
It is shown that if H is a Hilbert space for a representation of a group G, then there are triplets of spaces F_H, H, F^H, in which F^H is a space of coherent state or vector coherent state wave functions and F_H is its dual relative to a conveniently defined measure. It is shown also that there is a sequence of maps F_H -> H -> F^H which facilitates the construction of the corresponding inner p…
▽ More
It is shown that if H is a Hilbert space for a representation of a group G, then there are triplets of spaces F_H, H, F^H, in which F^H is a space of coherent state or vector coherent state wave functions and F_H is its dual relative to a conveniently defined measure. It is shown also that there is a sequence of maps F_H -> H -> F^H which facilitates the construction of the corresponding inner products. After completion if necessary, the F_H, H, and F^H, become isomorphic Hilbert spaces. It is shown that the inner product for H is often easier to evaluate in F_H than F^H. Thus, we obtain integral expressions for the inner products of coherent state and vector coherent state representations. These expressions are equivalent to the algebraic expressions of K-matrix theory, but they are frequently more efficient to apply. The construction is illustrated by many examples.
△ Less
Submitted 4 April, 2012; v1 submitted 22 May, 2002;
originally announced May 2002.
-
Vector coherent state representations, induced representations, and geometric quantization: II. Vector coherent state representations
Authors:
Stephen D. Bartlett,
David J. Rowe,
Joe Repka
Abstract:
It is shown here and in the preceeding paper (quant-ph/0201129) that vector coherent state theory, the theory of induced representations, and geometric quantization provide alternative but equivalent quantizations of an algebraic model. The relationships are useful because some constructions are simpler and more natural from one perspective than another. More importantly, each approach suggests…
▽ More
It is shown here and in the preceeding paper (quant-ph/0201129) that vector coherent state theory, the theory of induced representations, and geometric quantization provide alternative but equivalent quantizations of an algebraic model. The relationships are useful because some constructions are simpler and more natural from one perspective than another. More importantly, each approach suggests ways of generalizing its counterparts. In this paper, we focus on the construction of quantum models for algebraic systems with intrinsic degrees of freedom. Semi-classical partial quantizations, for which only the intrinsic degrees of freedom are quantized, arise naturally out of this construction. The quantization of the SU(3) and rigid rotor models are considered as examples.
△ Less
Submitted 5 July, 2002; v1 submitted 28 January, 2002;
originally announced January 2002.
-
Vector coherent state representations, induced representations, and geometric quantization: I. Scalar coherent state representations
Authors:
Stephen D. Bartlett,
David J. Rowe,
Joe Repka
Abstract:
Coherent state theory is shown to reproduce three categories of representations of the spectrum generating algebra for an algebraic model: (i) classical realizations which are the starting point for geometric quantization; (ii) induced unitary representations corresponding to prequantization; and (iii) irreducible unitary representations obtained in geometric quantization by choice of a polariza…
▽ More
Coherent state theory is shown to reproduce three categories of representations of the spectrum generating algebra for an algebraic model: (i) classical realizations which are the starting point for geometric quantization; (ii) induced unitary representations corresponding to prequantization; and (iii) irreducible unitary representations obtained in geometric quantization by choice of a polarization. These representations establish an intimate relation between coherent state theory and geometric quantization in the context of induced representations.
△ Less
Submitted 5 July, 2002; v1 submitted 28 January, 2002;
originally announced January 2002.
-
Restoration of particle number as a good quantum number in BCS theory
Authors:
D. J. Rowe
Abstract:
As shown in previous work, number projection can be carried out analytically for states defined in a quasi-particle scheme when the states are expressed in a coherent state representation. The wave functions of number-projected states are well-known in the theory of orthogonal polynomials as Schur functions. Moreover, the functions needed in pairing theory are a particularly simple class of Schu…
▽ More
As shown in previous work, number projection can be carried out analytically for states defined in a quasi-particle scheme when the states are expressed in a coherent state representation. The wave functions of number-projected states are well-known in the theory of orthogonal polynomials as Schur functions. Moreover, the functions needed in pairing theory are a particularly simple class of Schur functions that are easily constructed by means of recursion relations. It is shown that complete sets of states can be projected from corresponding quasi-particle states and that such states retain many of the properties of the quasi-particle states from which they derive. It is also shown that number projection can be used to construct a complete set of orthogonal states classified by generalized seniority for any nucleus.
△ Less
Submitted 1 September, 2000;
originally announced September 2000.
-
SU(3) quasi-dynamical symmetry as an organizational mechanism for generating nuclear rotational motions
Authors:
C. Bahri,
D. J. Rowe
Abstract:
The phenomenological symplectic model with a Davidson potential is used to construct rotational states for a rare-earth nucleus with microscopic wave functions. The energy levels and E2 transitions obatined are in remarkably close agreement (to within a few percent) with those of the rotor model with vibrational shape fluctuations that are adiabatically decoupled from the rotational degrees of f…
▽ More
The phenomenological symplectic model with a Davidson potential is used to construct rotational states for a rare-earth nucleus with microscopic wave functions. The energy levels and E2 transitions obatined are in remarkably close agreement (to within a few percent) with those of the rotor model with vibrational shape fluctuations that are adiabatically decoupled from the rotational degrees of freedom. An analysis of the states in terms of their SU(3) content shows that SU(3) is a very poor dynamical symmetry but an excellent quasi-dynamical symmetry for the model. It is argued that such quasi-dynamical symmetry can be expected for any Hamiltonian that reproduces the observed low-energy properties of a well-deformed nucleus, whenever the latter are well-described by the nuclear rotor model.
△ Less
Submitted 14 June, 1999;
originally announced June 1999.