Showing 1–46 of 46 results for author: Hall, H

Physics of 1 keV line in X-ray binaries

Authors: Priyanka Chakraborty, Gary Ferland, Andrew Fabian, Arnab Sarkar, Renee Ludlam, Stefano Bianchi, Hayden Hall, Peter Kosec

Abstract: X-ray binaries (XRBs) often exhibit spectral residuals in the 0.5 to 2 keV range, known as the "1 keV residual/1 keV feature", with variable centroid and intensity across different systems. Yet a comprehensive scientific explanation of the variability of the 1 keV feature has remained largely elusive. In this paper, we explain for the first time the origin and variability of the 1 keV feature in X… ▽ More X-ray binaries (XRBs) often exhibit spectral residuals in the 0.5 to 2 keV range, known as the "1 keV residual/1 keV feature", with variable centroid and intensity across different systems. Yet a comprehensive scientific explanation of the variability of the 1 keV feature has remained largely elusive. In this paper, we explain for the first time the origin and variability of the 1 keV feature in XRBs using the spectral synthesis code \textsc{Cloudy}. We constructed line blends for the emission and absorption lines and study the variability of these blends with ionization parameters, temperature, and column density. We conducted a sample study involving five XRBs including two ultraluminous X-ray sources (ULXs): NGC 247 ULX-1, NGC 1313 X-1, a binary X-ray pulsar: Hercules X-1, and two typical low-mass X-ray binaries (LMXBs): Cygnus X-2, and Serpens X-1, providing a comprehensive explanation of the 1 keV feature observed across these targets. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 22 pages, 12 figures, Submitted to MNRAS

You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games

Authors: MIT Hardness Group, Hayashi Ani, Erik D. Demaine, Holden Hall, Ricardo Ruiz, Naveen Venkat

Abstract: We prove RE-completeness (and thus undecidability) of several 2D games in the Super Mario Bros. platform video game series: the New Super Mario Bros. series (original, Wii, U, and 2), and both Super Mario Maker games in all five game styles (Super Mario Bros. 1 and 3, Super Mario World, New Super Mario Bros. U, and Super Mario 3D World). These results hold even when we restrict to constant-size le… ▽ More We prove RE-completeness (and thus undecidability) of several 2D games in the Super Mario Bros. platform video game series: the New Super Mario Bros. series (original, Wii, U, and 2), and both Super Mario Maker games in all five game styles (Super Mario Bros. 1 and 3, Super Mario World, New Super Mario Bros. U, and Super Mario 3D World). These results hold even when we restrict to constant-size levels and screens, but they do require generalizing to allow arbitrarily many enemies at each location and onscreen, as well as allowing for exponentially large (or no) timer. Our New Super Mario Bros. constructions fit within one standard screen size. In our Super Mario Maker reductions, we work within the standard screen size and use the property that the game engine remembers offscreen objects that are global because they are supported by "global ground". To prove these Mario results, we build a new theory of counter gadgets in the motion-planning-through-gadgets framework, and provide a suite of simple gadgets for which reachability is RE-complete. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Tetris with Few Piece Types

Authors: MIT Hardness Group, Erik D. Demaine, Holden Hall, Jeffery Li

Abstract: We prove NP-hardness and #P-hardness of Tetris clearing (clearing an initial board using a given sequence of pieces) with the Super Rotation System (SRS), even when the pieces are limited to any two of the seven Tetris piece types. This result is the first advance on a question posed twenty years ago: which piece sets are easy vs. hard? All previous Tetris NP-hardness proofs used five of the seven… ▽ More We prove NP-hardness and #P-hardness of Tetris clearing (clearing an initial board using a given sequence of pieces) with the Super Rotation System (SRS), even when the pieces are limited to any two of the seven Tetris piece types. This result is the first advance on a question posed twenty years ago: which piece sets are easy vs. hard? All previous Tetris NP-hardness proofs used five of the seven piece types. We also prove ASP-completeness of Tetris clearing, using three piece types, as well as versions of 3-Partition and Numerical 3-Dimensional Matching where all input integers are distinct. Finally, we prove NP-hardness of Tetris survival and clearing under the "hard drops only" and "20G" modes, using two piece types, improving on a previous "hard drops only" result that used five piece types. △ Less

Submitted 16 April, 2024; originally announced April 2024.

PSPACE-Hard 2D Super Mario Games: Thirteen Doors

Authors: MIT Hardness Group, Hayashi Ani, Erik D. Demaine, Holden Hall, Matias Korman

Abstract: We prove PSPACE-hardness for fifteen games in the Super Mario Bros. 2D platforming video game series. Previously, only the original Super Mario Bros. was known to be PSPACE-hard (FUN 2016), though several of the games we study were known to be NP-hard (FUN 2014). Our reductions build door gadgets with open, close, and traverse traversals, in each case using mechanics unique to the game. While some… ▽ More We prove PSPACE-hardness for fifteen games in the Super Mario Bros. 2D platforming video game series. Previously, only the original Super Mario Bros. was known to be PSPACE-hard (FUN 2016), though several of the games we study were known to be NP-hard (FUN 2014). Our reductions build door gadgets with open, close, and traverse traversals, in each case using mechanics unique to the game. While some of our door constructions are similar to those from FUN 2016, those for Super Mario Bros. 2, Super Mario Land 2, Super Mario World 2, and the New Super Mario Bros. series are quite different; notably, the Super Mario Bros. 2 door is extremely difficult. Doors remain elusive for just two 2D Mario games (Super Mario Land and Super Mario Run); we prove that these games are at least NP-hard. △ Less

Submitted 16 April, 2024; originally announced April 2024.

The inverse nullity pair problem and the strong nullity interlacing property

Authors: Aida Abiad, Bryan A. Curtis, Mary Flagg, H. Tracy Hall, Jephian C. -H. Lin, Bryan Shader

Abstract: The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-n… ▽ More The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-nullity pair problem is considered for complete graphs, cycles, and trees. The strong nullity interlacing property is introduced, and the corresponding supergraph lemma and decontraction lemma are developed as new tools for constructing matrices with a given nullity pair. △ Less

Submitted 20 October, 2023; originally announced October 2023.

MSC Class: 05C50; 05C83; 15A03; 15B57; 65F18

Spectral arbitrariness for trees fails spectacularly

Authors: Shaun M. Fallat, H. Tracy Hall, Rupert H. Levene, Seth A. Meyer, Shahla Nasserasr, Polona Oblak, Helena Šmigoc

Abstract: If $G$ is a graph and $\mathbf{m}$ is an ordered multiplicity list which is realizable by at least one symmetric matrix with graph $G$, what can we say about the eigenvalues of all such realizing matrices for $\mathbf{m}$? It has sometimes been tempting to expect, especially in the case that $G$ is a tree, that any spacing of the multiple eigenvalues should be realizable. In 2004, however, F. Bari… ▽ More If $G$ is a graph and $\mathbf{m}$ is an ordered multiplicity list which is realizable by at least one symmetric matrix with graph $G$, what can we say about the eigenvalues of all such realizing matrices for $\mathbf{m}$? It has sometimes been tempting to expect, especially in the case that $G$ is a tree, that any spacing of the multiple eigenvalues should be realizable. In 2004, however, F. Barioli and S. Fallat produced the first counterexample: a tree on 16 vertices and an ordered multiplicity list for which every realizing set of eigenvalues obeys a nontrivial linear constraint. We extend this by giving an infinite family of trees and ordered multiplicity lists whose sets of realizing eigenvalues are very highly constrained, with at most 5 degrees of freedom, regardless of the size of the tree in this family. In particular, we give the first examples of multiplicity lists for a tree which impose nontrivial nonlinear eigenvalue constraints and produce an ordered multiplicity list which is achieved by a unique set of eigenvalues, up to shifting and scaling. △ Less

Submitted 26 January, 2023; originally announced January 2023.

Comments: 45 pages

MSC Class: 15A29 (Primary); 05C50; 15A18 (Secondary)

A combinatorial bound on the number of distinct eigenvalues of a graph

Authors: Sarah Allred, Craig Erickson, Kevin Grace, H. Tracy Hall, Alathea Jensen

Abstract: The smallest possible number of distinct eigenvalues of a graph $G$, denoted by $q(G)$, has a combinatorial bound in terms of unique shortest paths in the graph. In particular, $q(G)$ is bounded below by $k$, where $k$ is the number of vertices of a unique shortest path joining any pair of vertices in $G$. Thus, if $n$ is the number of vertices of $G$, then $n-q(G)$ is bounded above by the size of… ▽ More The smallest possible number of distinct eigenvalues of a graph $G$, denoted by $q(G)$, has a combinatorial bound in terms of unique shortest paths in the graph. In particular, $q(G)$ is bounded below by $k$, where $k$ is the number of vertices of a unique shortest path joining any pair of vertices in $G$. Thus, if $n$ is the number of vertices of $G$, then $n-q(G)$ is bounded above by the size of the complement (with respect to the vertex set of $G$) of the vertex set of the longest unique shortest path joining any pair of vertices of $G$. The purpose of this paper is to commence the study of the minor-monotone floor of $n-k$, which is the minimum of $n-k$ among all graphs of which $G$ is a minor. Accordingly, we prove some results about this minor-monotone floor. △ Less

Submitted 22 September, 2022; originally announced September 2022.

Comments: 33 pages

MSC Class: 05C50; 15A18; 05C38; 05C83; 05C75; 05C85

On the Laplacian spread of digraphs

Authors: Wayne Barrett, Thomas R. Cameron, Emily Evans, H. Tracy Hall, Mark Kempton

Abstract: In this article, we extend the notion of the Laplacian spread to simple directed graphs (digraphs) using the restricted numerical range. First, we provide Laplacian spread values for several families of digraphs. Then, we prove sharp upper bounds on the Laplacian spread for all polygonal and balanced digraphs. In particular, we show that the validity of the Laplacian spread bound for balanced digr… ▽ More In this article, we extend the notion of the Laplacian spread to simple directed graphs (digraphs) using the restricted numerical range. First, we provide Laplacian spread values for several families of digraphs. Then, we prove sharp upper bounds on the Laplacian spread for all polygonal and balanced digraphs. In particular, we show that the validity of the Laplacian spread bound for balanced digraphs is equivalent to the Laplacian spread conjecture for simple undirected graphs, which was conjectured in 2011 and proven in 2021. Moreover, we prove an equivalent statement for weighted balanced digraphs with weights between $0$ and $1$. Finally, we state several open conjectures that are motivated by empirical data. △ Less

Submitted 30 June, 2022; originally announced June 2022.

MSC Class: 05C20; 05C50; 15A18; 15A60; 52B20

New conjectures on algebraic connectivity and the Laplacian spread of graphs

Authors: Wayne Barrett, Emily Evans, H. Tracy Hall, Mark Kempton

Abstract: We conjecture a new lower bound on the algebraic connectivity of a graph that involves the number of vertices of high eccentricity in a graph. We prove that this lower bound implies a strengthening of the Laplacian Spread Conjecture. We discuss further conjectures, also strengthening the Laplacian Spread Conjecture, that include a conjecture for simple graphs and a conjecture for weighted graphs. We conjecture a new lower bound on the algebraic connectivity of a graph that involves the number of vertices of high eccentricity in a graph. We prove that this lower bound implies a strengthening of the Laplacian Spread Conjecture. We discuss further conjectures, also strengthening the Laplacian Spread Conjecture, that include a conjecture for simple graphs and a conjecture for weighted graphs. △ Less

Submitted 11 January, 2022; originally announced January 2022.

MSC Class: 05C50

The bifurcation lemma for strong properties in the inverse eigenvalue problem of a graph

Authors: Shaun M. Fallat, H. Tracy Hall, Jephian C. -H. Lin, Bryan L. Shader

Abstract: The inverse eigenvalue problem of a graph studies the real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of the graph. The strong spectral property (SSP) is an important tool for this problem. This note establishes the bifurcation lemma, which states that if a spectrum can be realized by a matrix with the SSP for some graph, then all the nearby spectra can also be… ▽ More The inverse eigenvalue problem of a graph studies the real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of the graph. The strong spectral property (SSP) is an important tool for this problem. This note establishes the bifurcation lemma, which states that if a spectrum can be realized by a matrix with the SSP for some graph, then all the nearby spectra can also be realized by matrices with the SSP for the same graph. The idea of the bifurcation lemma also works for other strong properties and for not necessarily symmetric matrices. This is used to develop new techniques for verifying a spectrally arbitrary pattern or inertially arbitrary pattern. The bifurcation lemma provides a unified theoretical foundation for several known results, such as the stable northeast lemma and the nilpotent-centralizer method. △ Less

Submitted 18 April, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

MSC Class: 05C50; 15A18; 15B35; 15B57; 58C15

On digraphs with polygonal restricted numerical range

Authors: Thomas R. Cameron, H. Tracy Hall, Ben Small, Alexander Wiedemann

Abstract: In 2020, Cameron et al. introduced the restricted numerical range of a digraph (directed graph) as a tool for characterizing digraphs and studying their algebraic connectivity. In particular, digraphs with a restricted numerical range of a single point, a horizontal line segment, and a vertical line segment were characterized as $k$-imploding stars, directed joins of bidirectional digraphs, and re… ▽ More In 2020, Cameron et al. introduced the restricted numerical range of a digraph (directed graph) as a tool for characterizing digraphs and studying their algebraic connectivity. In particular, digraphs with a restricted numerical range of a single point, a horizontal line segment, and a vertical line segment were characterized as $k$-imploding stars, directed joins of bidirectional digraphs, and regular tournaments, respectively. In this article, we extend these results by investigating digraphs whose restricted numerical range is a convex polygon in the complex plane. We provide computational methods for identifying these polygonal digraphs and show that these digraphs can be broken into three disjoint classes: normal, restricted-normal, and pseudo-normal digraphs, all of which are closed under the digraph complement. We prove sufficient conditions for normal digraphs and show that the directed join of two normal digraphs results in a restricted-normal digraph. Also, we prove that directed joins are the only restricted-normal digraphs when the order is square-free or twice a square-free number. Finally, we provide methods to construct restricted-normal digraphs that are not directed joins for all orders that are neither square-free nor twice a square-free number. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Properties of a $q$-analogue of zero forcing

Authors: Steve Butler, Craig Erickson, Shaun Fallat, H. Tracy Hall, Brenda Kroschel, Jephian C. -H. Lin, Bryan Shader, Nathan Warnberg, Boting Yang

Abstract: Zero forcing is a combinatorial game played on a graph where the goal is to start with all vertices unfilled and to change them to filled at minimal cost. In the original variation of the game there were two options. Namely, to fill any one single vertex at the cost of a single token; or if any currently filled vertex has a unique non-filled neighbor, then the neighbor is filled for free. This pap… ▽ More Zero forcing is a combinatorial game played on a graph where the goal is to start with all vertices unfilled and to change them to filled at minimal cost. In the original variation of the game there were two options. Namely, to fill any one single vertex at the cost of a single token; or if any currently filled vertex has a unique non-filled neighbor, then the neighbor is filled for free. This paper investigates a $q$-analogue of zero forcing which introduces a third option involving an oracle. Basic properties of this game are established including determining all graphs which have minimal cost $1$ or $2$ for all possible $q$, and finding the zero forcing number for all trees when $q=1$. △ Less

Submitted 20 September, 2018; originally announced September 2018.

MSC Class: 05C85; 68R10

Rigid linkages and partial zero forcing

Authors: Daniela Ferrero, Mary Flagg, H. Tracy Hall, Leslie Hogben, Jephian C. -H. Lin, Seth Meyer, Shahla Nasserasr, Bryan Shader

Abstract: Connections between vital linkages and zero forcing are established. Specifically, the notion of a rigid linkage is introduced as a special kind of unique linkage and it is shown that spanning forcing paths of a zero forcing process form a spanning rigid linkage and thus a vital linkage. A related generalization of zero forcing that produces a rigid linkage via a coloring process is developed. One… ▽ More Connections between vital linkages and zero forcing are established. Specifically, the notion of a rigid linkage is introduced as a special kind of unique linkage and it is shown that spanning forcing paths of a zero forcing process form a spanning rigid linkage and thus a vital linkage. A related generalization of zero forcing that produces a rigid linkage via a coloring process is developed. One of the motivations for introducing zero forcing is to provide an upper bound on the maximum multiplicity of an eigenvalue among the real symmetric matrices described by a graph. Rigid linkages and a related notion of rigid shortest linkages are utilized to obtain bounds on the multiplicities of eigenvalues of this family of matrices. △ Less

Submitted 16 August, 2018; originally announced August 2018.

Comments: 23 pages

MSC Class: 05C30; 15A18; 15B57

Orthogonal representations of Steiner triple system incidence graphs

Authors: Louis Deaett, H. Tracy Hall

Abstract: The Heawood graph is the point-block incidence graph of the Fano plane (the unique Steiner triple system of order 7). We show that the minimum semidefinite rank of this graph is 10. That is, 10 is the smallest number of complex dimensions in which this graph has a faithful orthogonal representation, i.e., an assignment of a vector to each vertex such that the edges occur between precisely those ve… ▽ More The Heawood graph is the point-block incidence graph of the Fano plane (the unique Steiner triple system of order 7). We show that the minimum semidefinite rank of this graph is 10. That is, 10 is the smallest number of complex dimensions in which this graph has a faithful orthogonal representation, i.e., an assignment of a vector to each vertex such that the edges occur between precisely those vertices given non-orthogonal pairs. Some of our techniques extend to the incidence graphs of Steiner triple systems of larger order, and we include some observations and questions about the more general case. △ Less

Submitted 25 August, 2017; originally announced August 2017.

Comments: 13 pages, 4 figures; to appear in Discrete Mathematics

MSC Class: 52C99 (Primary) 05C50 (Secondary)

The inverse eigenvalue problem of a graph: Multiplicities and minors

Authors: Wayne Barrett, Steve Butler, Shaun M. Fallat, H. Tracy Hall, Leslie Hogben, Jephian C. -H. Lin, Bryan L. Shader, Michael Young

Abstract: The inverse eigenvalue problem of a given graph $G$ is to determine all possible spectra of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in $G$. Barrett et al. introduced the Strong Spectral Property (SSP) and the Strong Multiplicity Property (SMP) in [8]. In that paper it was shown that if a graph has a matrix with the SSP (or the SMP) then a supergraph has a… ▽ More The inverse eigenvalue problem of a given graph $G$ is to determine all possible spectra of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in $G$. Barrett et al. introduced the Strong Spectral Property (SSP) and the Strong Multiplicity Property (SMP) in [8]. In that paper it was shown that if a graph has a matrix with the SSP (or the SMP) then a supergraph has a matrix with the same spectrum (or ordered multiplicity list) augmented with simple eigenvalues if necessary, that is, subgraph monotonicity. In this paper we extend this to a form of minor monotonicity, with restrictions on where the new eigenvalues appear. These ideas are applied to solve the inverse eigenvalue problem for all graphs of order five, and to characterize forbidden minors of graphs having at most one multiple eigenvalue. △ Less

Submitted 31 July, 2017; originally announced August 2017.

MSC Class: 05C83; 05C50; 15A18; 15A29; 26B10; 58C15

Adaptive Bayesian Spectral Analysis of Nonstationary Biomedical Time Series

Authors: Scott A. Bruce, Martica H. Hall, Daniel J. Buysse, Robert T. Krafty

Abstract: Many studies of biomedical time series signals aim to measure the association between frequency-domain properties of time series and clinical and behavioral covariates. However, the time-varying dynamics of these associations are largely ignored due to a lack of methods that can assess the changing nature of the relationship through time. This article introduces a method for the simultaneous and a… ▽ More Many studies of biomedical time series signals aim to measure the association between frequency-domain properties of time series and clinical and behavioral covariates. However, the time-varying dynamics of these associations are largely ignored due to a lack of methods that can assess the changing nature of the relationship through time. This article introduces a method for the simultaneous and automatic analysis of the association between the time-varying power spectrum and covariates. The procedure adaptively partitions the grid of time and covariate values into an unknown number of approximately stationary blocks and nonparametrically estimates local spectra within blocks through penalized splines. The approach is formulated in a fully Bayesian framework, in which the number and locations of partition points are random, and fit using reversible jump Markov chain Monte Carlo techniques. Estimation and inference averaged over the distribution of partitions allows for the accurate analysis of spectra with both smooth and abrupt changes. The proposed methodology is used to analyze the association between the time-varying spectrum of heart rate variability and self-reported sleep quality in a study of older adults serving as the primary caregiver for their ill spouse. △ Less

Submitted 4 October, 2016; v1 submitted 2 September, 2016; originally announced September 2016.

Comments: 46 pages (not including title page), 6 figures at the end of the article, 2 web supplements

Expected values of parameters associated with the minimum rank of a graph

Authors: Tracy Hall, Leslie Hogben, Ryan R. Martin, Bryan Shader

Abstract: We investigate the expected value of various graph parameters associated with the minimum rank of a graph, including minimum rank/maximum nullity and related Colin de Verdière-type parameters. Let $G(v,p)$ denote the usual Erdős-Rényi random graph on $v$ vertices with edge probability $p$. We obtain bounds for the expected value of the random variables ${\rm mr}(G(v,p))$, ${\rm M}(G(v,p))$,… ▽ More We investigate the expected value of various graph parameters associated with the minimum rank of a graph, including minimum rank/maximum nullity and related Colin de Verdière-type parameters. Let $G(v,p)$ denote the usual Erdős-Rényi random graph on $v$ vertices with edge probability $p$. We obtain bounds for the expected value of the random variables ${\rm mr}(G(v,p))$, ${\rm M}(G(v,p))$, $ν(G(v,p))$ and $ξ(G(v,p))$, which yield bounds on the average values of these parameters over all labeled graphs of order $v$. △ Less

Submitted 21 May, 2016; v1 submitted 18 May, 2016; originally announced May 2016.

Comments: 17 pages, 2 figures

MSC Class: 05C50; 05C80; 15A03

Journal ref: Linear Algebra Appl. 433(1) (2010), 101--117

Generalizations of the Strong Arnold Property and the minimum number of distinct eigenvalues of a graph

Authors: Wayne Barrett, Shaun Fallat, H. Tracy Hall, Leslie Hogben, Jephian C. -H. Lin, Bryan L. Shader

Abstract: For a given graph G and an associated class of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in G, the collection of all possible spectra for such matrices is considered. Building on the pioneering work of Colin de Verdiere in connection with the Strong Arnold Property, two extensions are devised that target a better understanding of all possible spectra and th… ▽ More For a given graph G and an associated class of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in G, the collection of all possible spectra for such matrices is considered. Building on the pioneering work of Colin de Verdiere in connection with the Strong Arnold Property, two extensions are devised that target a better understanding of all possible spectra and their associated multiplicities. These new properties are referred to as the Strong Spectral Property and the Strong Multiplicity Property. Finally, these ideas are applied to the minimum number of distinct eigenvalues associated with G, denoted by q(G). The graphs for which q(G) is at least the number of vertices of G less one are characterized. △ Less

Submitted 11 November, 2016; v1 submitted 20 November, 2015; originally announced November 2015.

Comments: 26 pages; corrected statement of Theorem 3.5 (a)

MSC Class: 05C50; 15A18; 15A29; 15B57; 58C15

Conditional Spectral Analysis of Replicated Multiple Time Series with Application to Nocturnal Physiology

Authors: Robert T. Krafty, Ori Rosen, David S. Stoffer, Daniel J. Buysse, Martica H. Hall

Abstract: This article considers the problem of analyzing associations between power spectra of multiple time series and cross-sectional outcomes when data are observed from multiple subjects. The motivating application comes from sleep medicine, where researchers are able to non-invasively record physiological time series signals during sleep. The frequency patterns of these signals, which can be quantifie… ▽ More This article considers the problem of analyzing associations between power spectra of multiple time series and cross-sectional outcomes when data are observed from multiple subjects. The motivating application comes from sleep medicine, where researchers are able to non-invasively record physiological time series signals during sleep. The frequency patterns of these signals, which can be quantified through the power spectrum, contain interpretable information about biological processes. An important problem in sleep research is drawing connections between power spectra of time series signals and clinical characteristics; these connections are key to understanding biological pathways through which sleep affects, and can be treated to improve, health. Such analyses are challenging as they must overcome the complicated structure of a power spectrum from multiple time series as a complex positive-definite matrix-valued function. This article proposes a new approach to such analyses based on a tensor-product spline model of Cholesky components of outcome-dependent power spectra. The approach flexibly models power spectra as nonparametric functions of frequency and outcome while preserving geometric constraints. Formulated in a fully Bayesian framework, a Whittle likelihood based Markov chain Monte Carlo (MCMC) algorithm is developed for automated model fitting and for conducting inference on associations between outcomes and spectral measures. The method is used to analyze data from a study of sleep in older adults and uncovers new insights into how stress and arousal are connected to the amount of time one spends in bed. △ Less

Submitted 17 January, 2017; v1 submitted 10 February, 2015; originally announced February 2015.

MSC Class: 62M15

Ion-neutral chemistry at ultralow energies: Dynamics of reactive collisions between laser-cooled Ca^+ ions and Rb atoms in an ion-atom hybrid trap

Authors: Felix H. J. Hall, Pascal Eberle, Gregor Hegi, Maurice Raoult, Mireille Aymar, Olivier Dulieu, Stefan Willitsch

Abstract: Cold chemical reactions between laser-cooled Ca^+ ions and Rb atoms were studied in an ion-atom hybrid trap. Reaction rate constants were determined in the range of collision energies <E_{coll}>/k_B = 20 mK-20 K. The lowest energies were achieved in experiments using single localized Ca^+ ions. Product branching ratios were studied using resonant-excitation mass spectrometry. The dynamics of the r… ▽ More Cold chemical reactions between laser-cooled Ca^+ ions and Rb atoms were studied in an ion-atom hybrid trap. Reaction rate constants were determined in the range of collision energies <E_{coll}>/k_B = 20 mK-20 K. The lowest energies were achieved in experiments using single localized Ca^+ ions. Product branching ratios were studied using resonant-excitation mass spectrometry. The dynamics of the reactive processes in this system (non-radiative and radiative charge transfer as well as radiative association leading to the formation of CaRb^+ molecular ions) have been analyzed using high-level quantum-chemical calculations of the potential energy curves of CaRb^+ and quantum-scattering calculations for the radiative channels. For the present low-energy scattering experiments, it is shown that the energy dependence of the reaction rate constants is governed by long-range interactions in line with the classical Langevin model, but their magnitude is determined by short-range non-adiabatic and radiative couplings which only weakly depend on the asymptotic energy. The quantum character of the collisions is predicted to manifest itself in the occurrence of narrow shape resonances at well-defined collision energies. The present results highlight both universal and system-specific phenomena in cold ion-neutral reactive collisions. △ Less

Submitted 19 February, 2013; originally announced February 2013.

Comments: Submitted to Molecular Physics

Light-Assisted Cold Chemical Reactions of Barium Ions with Rubidium Atoms

Authors: Felix H. J. Hall, Mireille Aymar, Maurice Raoult, Olivier Dulieu, Stefan Willitsch

Abstract: Light-assisted reactive collisions between laser-cooled Ba+ ions and Rb atoms were studied in an ion-atom hybrid trap. The reaction rate was found to strongly depend on the electronic state of the reaction partners with the largest rate constant (7(2) x 10^-11 cm^3 s^-1) obtained for the excited Ba+(6s)+Rb(5p) reaction channel. Similar to the previously studied Ca+ + Rb system, charge transfer and… ▽ More Light-assisted reactive collisions between laser-cooled Ba+ ions and Rb atoms were studied in an ion-atom hybrid trap. The reaction rate was found to strongly depend on the electronic state of the reaction partners with the largest rate constant (7(2) x 10^-11 cm^3 s^-1) obtained for the excited Ba+(6s)+Rb(5p) reaction channel. Similar to the previously studied Ca+ + Rb system, charge transfer and radiative association were found to be the dominant reactive processes. The generation of molecular ions by radiative association could directly be observed by their sympathetic cooling into a Coulomb crystal. Potential energy curves up to the Ba+(6s)+Rb(5p) asymptote and reactive-scattering cross sections for the radiative processes were calculated. The theoretical rate constant obtained for the lowest reaction channel Ba+(6s)+Rb(5s) is compatible with the experimental estimates obtained thus far. △ Less

Submitted 4 January, 2013; originally announced January 2013.

Comments: Submitted to the Molecular Physics Special Issue 'Manipulation of Molecules with EM Fields'

Zero forcing for inertia sets

Authors: Steve Butler, Jason Grout, H. Tracy Hall

Abstract: Zero forcing is a combinatorial game played on a graph with a goal of turning all of the vertices of the graph black while having to use as few "unforced" moves as possible. This leads to a parameter known as the zero forcing number which can be used to give an upper bound for the maximum nullity of a matrix associated with the graph. We introduce a new variation on the zero forcing game which c… ▽ More Zero forcing is a combinatorial game played on a graph with a goal of turning all of the vertices of the graph black while having to use as few "unforced" moves as possible. This leads to a parameter known as the zero forcing number which can be used to give an upper bound for the maximum nullity of a matrix associated with the graph. We introduce a new variation on the zero forcing game which can be used to give an upper bound for the maximum nullity of a matrix associated with a graph that has $q$ negative eigenvalues. This gives some limits to the number of positive eigenvalues that such a graph can have and so can be used to form lower bounds for the inertia set of a graph. △ Less

Submitted 19 November, 2012; originally announced November 2012.

Comments: 16 pages, lots of figures

Millikelvin Reactive Collisions between Sympathetically-Cooled Molecular Ions and Laser-Cooled Atoms in an Ion-Atom Hybrid Trap

Authors: Felix H. J. Hall, Stefan Willitsch

Abstract: We report on a study of cold reactive collisions between sympathetically-cooled molecular ions and laser-cooled atoms in an ion-atom hybrid trap. Chemical reactions were studied at average collision energies <Ecoll>/k > 20 mK, about two orders of magnitude lower than has been achieved in previous experiments with molecular ions. Choosing N2+ +Rb as a prototypical system, we find that the reaction… ▽ More We report on a study of cold reactive collisions between sympathetically-cooled molecular ions and laser-cooled atoms in an ion-atom hybrid trap. Chemical reactions were studied at average collision energies <Ecoll>/k > 20 mK, about two orders of magnitude lower than has been achieved in previous experiments with molecular ions. Choosing N2+ +Rb as a prototypical system, we find that the reaction rate is independent of the collision energy, but strongly dependent on the internal state of Rb. Highly efficient charge exchange about four times faster than the Langevin rate was observed with Rb in the excited (5p) 2P3/2 state. This observation is rationalized in terms of a capture process dominated by the charge- quadrupole interaction and a near resonance between the entrance and exit channels of the reaction. Our results provide a test of classical models for reactions of molecular ions at the lowest energies reached thus far. △ Less

Submitted 30 August, 2012; originally announced August 2012.

Comments: 5 pages, 4 figures

Locality for quantum systems on graphs depends on the number field

Authors: H. Tracy Hall, Simone Severini

Abstract: Adapting a definition of Aaronson and Ambainis [Theory Comput. 1 (2005), 47--79], we call a quantum dynamics on a digraph "saturated Z-local" if the nonzero transition amplitudes specifying the unitary evolution are in exact correspondence with the directed edges (including loops) of the digraph. This idea appears recurrently in a variety of contexts including angular momentum, quantum chaos, and… ▽ More Adapting a definition of Aaronson and Ambainis [Theory Comput. 1 (2005), 47--79], we call a quantum dynamics on a digraph "saturated Z-local" if the nonzero transition amplitudes specifying the unitary evolution are in exact correspondence with the directed edges (including loops) of the digraph. This idea appears recurrently in a variety of contexts including angular momentum, quantum chaos, and combinatorial matrix theory. Complete characterization of the digraph properties that allow such a process to exist is a long-standing open question that can also be formulated in terms of minimum rank problems. We prove that saturated Z-local dynamics involving complex amplitudes occur on a proper superset of the digraphs that allow restriction to the real numbers or, even further, the rationals. Consequently, among these fields, complex numbers guarantee the largest possible choice of topologies supporting a discrete quantum evolution. A similar construction separates complex numbers from the skew field of quaternions. The result proposes a concrete ground for distinguishing between complex and quaternionic quantum mechanics. △ Less

Submitted 11 June, 2013; v1 submitted 16 April, 2012; originally announced April 2012.

Comments: 9 pages

Journal ref: 2013 J. Phys. A: Math. Theor. 46 295301

Light-assisted ion-neutral reactive processes in the cold regime: radiative molecule formation vs. charge exchange

Authors: Felix H. J. Hall, Mireille Aymar, Nadia Bouloufa-Maafa, Olivier Dulieu, Stefan Willitsch

Abstract: We present a combined experimental and theoretical study of cold reactive collisions between laser-cooled Ca+ ions and Rb atoms in an ion-atom hybrid trap. We observe rich chemical dynamics which are interpreted in terms of non-adiabatic and radiative charge exchange as well as radiative molecule formation using high-level electronic structure calculations. We study the role of light-assisted proc… ▽ More We present a combined experimental and theoretical study of cold reactive collisions between laser-cooled Ca+ ions and Rb atoms in an ion-atom hybrid trap. We observe rich chemical dynamics which are interpreted in terms of non-adiabatic and radiative charge exchange as well as radiative molecule formation using high-level electronic structure calculations. We study the role of light-assisted processes and show that the efficiency of the dominant chemical pathways is considerably enhanced in excited reaction channels. Our results illustrate the importance of radiative and non-radiative processes for the cold chemistry occurring in ion-atom hybrid traps. △ Less

Submitted 20 October, 2011; v1 submitted 18 August, 2011; originally announced August 2011.

Comments: 5 pages, 4 figures

Zero forcing parameters and minimum rank problems

Authors: Francesco Barioli, Wayne Barrett, Shaun M. Fallat, H. Tracy Hall, Leslie Hogben, Bryan Shader, P. van den Driessche, Hein van der Holst

Abstract: The zero forcing number Z(G), which is the minimum number of vertices in a zero forcing set of a graph G, is used to study the maximum nullity / minimum rank of the family of symmetric matrices described by G. It is shown that for a connected graph of order at least two, no vertex is in every zero forcing set. The positive semidefinite zero forcing number Z_+(G) is introduced, and shown to be eq… ▽ More The zero forcing number Z(G), which is the minimum number of vertices in a zero forcing set of a graph G, is used to study the maximum nullity / minimum rank of the family of symmetric matrices described by G. It is shown that for a connected graph of order at least two, no vertex is in every zero forcing set. The positive semidefinite zero forcing number Z_+(G) is introduced, and shown to be equal to |G|-OS(G), where OS(G) is the recently defined ordered set number that is a lower bound for minimum positive semidefinite rank. The positive semidefinite zero forcing number is applied to the computation of positive semidefinite minimum rank of certain graphs. An example of a graph for which the real positive symmetric semidefinite minimum rank is greater than the complex Hermitian positive semidefinite minimum rank is presented. △ Less

Submitted 10 March, 2010; originally announced March 2010.

Comments: 14 pages, 2 figures. To appear in Linear Algebra and its Applications.

MSC Class: 05C50 (Primary) 05C85; 05C83; 15A03; 15A18; 05C40; 05C75; 68R10 (Secondary)

Structural Properties of the Caenorhabditis elegans Neuronal Network

Authors: Lav R. Varshney, Beth L. Chen, Eric Paniagua, David H. Hall, Dmitri B. Chklovskii

Abstract: Despite recent interest in reconstructing neuronal networks, complete wiring diagrams on the level of individual synapses remain scarce and the insights into function they can provide remain unclear. Even for Caenorhabditis elegans, whose neuronal network is relatively small and stereotypical from animal to animal, published wiring diagrams are neither accurate nor complete and self-consistent. Us… ▽ More Despite recent interest in reconstructing neuronal networks, complete wiring diagrams on the level of individual synapses remain scarce and the insights into function they can provide remain unclear. Even for Caenorhabditis elegans, whose neuronal network is relatively small and stereotypical from animal to animal, published wiring diagrams are neither accurate nor complete and self-consistent. Using materials from White et al. and new electron micrographs we assemble whole, self-consistent gap junction and chemical synapse networks of hermaphrodite C. elegans. We propose a method to visualize the wiring diagram, which reflects network signal flow. We calculate statistical and topological properties of the network, such as degree distributions, synaptic multiplicities, and small-world properties, that help in understanding network signal propagation. We identify neurons that may play central roles in information processing and network motifs that could serve as functional modules of the network. We explore propagation of neuronal activity in response to sensory or artificial stimulation using linear systems theory and find several activity patterns that could serve as substrates of previously described behaviors. Finally, we analyze the interaction between the gap junction and the chemical synapse networks. Since several statistical properties of the C. elegans network, such as multiplicity and motif distributions are similar to those found in mammalian neocortex, they likely point to general principles of neuronal networks. The wiring diagram reported here can help in understanding the mechanistic basis of behavior by generating predictions about future experiments involving genetic perturbations, laser ablations, or monitoring propagation of neuronal activity in response to stimulation. △ Less

Submitted 11 June, 2010; v1 submitted 14 July, 2009; originally announced July 2009.

Journal ref: PLoS Computational Biology, 2011

Slow-Roll Inflation in the Presence of a Dark Energy Coupling

Authors: Philippe Brax, Carsten van de Bruck, Lisa M. H. Hall, Joel M. Weller

Abstract: In models of coupled dark energy, in which a dark energy scalar field couples to other matter components, it is natural to expect a coupling to the inflaton as well. We explore the consequences of such a coupling in the context of single field slow-roll inflation. Assuming an exponential potential for the quintessence field we show that the coupling to the inflaton causes the quintessence field… ▽ More In models of coupled dark energy, in which a dark energy scalar field couples to other matter components, it is natural to expect a coupling to the inflaton as well. We explore the consequences of such a coupling in the context of single field slow-roll inflation. Assuming an exponential potential for the quintessence field we show that the coupling to the inflaton causes the quintessence field to be attracted towards the minimum of the effective potential. If the coupling is large enough, the field is heavy and is located at the minimum. We show how this affects the expansion rate and the slow-roll of the inflaton field, and therefore the primordial perturbations generated during inflation. We further show that the coupling has an important impact on the processes of reheating and preheating. △ Less

Submitted 18 May, 2009; v1 submitted 15 December, 2008; originally announced December 2008.

Comments: 15 pages, 7 figures; added references and a more detailed treatment of the perturbation equations (Sec. II.B and fig.1)

Journal ref: Phys.Rev.D79:103508,2009

Large non-Gaussianity from two-component hybrid inflation

Authors: Christian T. Byrnes, Ki-Young Choi, Lisa M. H. Hall

Abstract: We study the generation of non-Gaussianity in models of hybrid inflation with two inflaton fields, (2-brid inflation). We analyse the region in the parameter and the initial condition space where a large non-Gaussianity may be generated during slow-roll inflation which is generally characterised by a large f_NL, tau_NL and a small g_NL. For certain parameter values we can satisfy tau_NL>>f_NL^2.… ▽ More We study the generation of non-Gaussianity in models of hybrid inflation with two inflaton fields, (2-brid inflation). We analyse the region in the parameter and the initial condition space where a large non-Gaussianity may be generated during slow-roll inflation which is generally characterised by a large f_NL, tau_NL and a small g_NL. For certain parameter values we can satisfy tau_NL>>f_NL^2. The bispectrum is of the local type but may have a significant scale dependence. We show that the loop corrections to the power spectrum and bispectrum are suppressed during inflation, if one assume that the fields follow a classical background trajectory. We also include the effect of the waterfall field, which can lead to a significant change in the observables after the waterfall field is destabilised, depending on the couplings between the waterfall and inflaton fields. △ Less

Submitted 12 February, 2009; v1 submitted 4 December, 2008; originally announced December 2008.

Comments: 16 pages, 6 figures; v2: comments and references added, typos corrected, matches published version

Journal ref: JCAP 0902:017,2009

Decay of turbulence generated by spin-down to rest in superfluid 4He

Authors: P. M. Walmsley, A. I. Golov, H. E. Hall, W. F. Vinen, A. A. Levchenko

Abstract: We report on the extension of the experiments (P. M. Walmsley et al., Phys. Rev. Lett. 99, 265302 (2007)) on the decay of quasiclassical turbulence generated by an impulsive spin-down from angular velocity Omega to rest of superfluid 4He in a cubic container at temperatures 0.15 K - 1.6 K. The density of quantized vortex lines L is measured by scattering negative ions. Following the spin-down, t… ▽ More We report on the extension of the experiments (P. M. Walmsley et al., Phys. Rev. Lett. 99, 265302 (2007)) on the decay of quasiclassical turbulence generated by an impulsive spin-down from angular velocity Omega to rest of superfluid 4He in a cubic container at temperatures 0.15 K - 1.6 K. The density of quantized vortex lines L is measured by scattering negative ions. Following the spin-down, the maximal density of vortices is observed after time t ~ 10 Omega^-1. By observing the propagation of ions along the axis of the initial rotation, the transient dynamics of the turbulence spreading from the perimeter of the container into its central region is investigated. Nearly homogeneous turbulence develops after time t ~ 100 Omega^-1 and decays as L proportional to t^(-3/2). The effective kinematic viscosity in T=0 limit is nu = 0.003 kappa, where kappa=10^-3 cm^2 / s is the circulation quantum. △ Less

Submitted 1 September, 2008; originally announced September 2008.

Comments: To be published in the Journal of Low Temperature Physics. 17 pages, 10 figures

Journal ref: J. Low Temp. Phys. 153, 127 (2008)

Conditions for large non-Gaussianity in two-field slow-roll inflation

Authors: Christian T. Byrnes, Ki-Young Choi, Lisa M. H. Hall

Abstract: We study the level of primordial non-Gaussianity in slow-roll two-field inflation. Using an analytic formula for the nonlinear parameter f_nl in the case of a sum or product separable potential, we find that it is possible to generate significant non-Gaussianity even during slow-roll inflation with Gaussian perturbations at Hubble exit. In this paper we give the general conditions to obtain larg… ▽ More We study the level of primordial non-Gaussianity in slow-roll two-field inflation. Using an analytic formula for the nonlinear parameter f_nl in the case of a sum or product separable potential, we find that it is possible to generate significant non-Gaussianity even during slow-roll inflation with Gaussian perturbations at Hubble exit. In this paper we give the general conditions to obtain large non-Gaussianity and calculate the level of fine-tuning required to obtain this. We present explicit models in which the non-Gaussianity at the end of inflation can exceed the current observational bound of |f_nl|<100. △ Less

Submitted 6 October, 2008; v1 submitted 7 July, 2008; originally announced July 2008.

Comments: 16 pages, 6 figures, 1 table, v2: typos corrected and references added, matches version accepted by JCAP

Journal ref: JCAP 0810:008,2008

Bounded Ratios of Products of Principal Minors of Positive Definite Matrices

Authors: H. Tracy Hall, Charles R. Johnson

Abstract: Considered is the multiplicative semigroup of ratios of products of principal minors bounded over all positive definite matrices. A long history of literature identifies various elements of this semigroup, all of which lie in a sub-semigroup generated by Hadamard-Fischer inequalities. Via cone-theoretic techniques and the patterns of nullity among positive semidefinite matrices, a semigroup cont… ▽ More Considered is the multiplicative semigroup of ratios of products of principal minors bounded over all positive definite matrices. A long history of literature identifies various elements of this semigroup, all of which lie in a sub-semigroup generated by Hadamard-Fischer inequalities. Via cone-theoretic techniques and the patterns of nullity among positive semidefinite matrices, a semigroup containing all bounded ratios is given. This allows the complete determination of the semigroup of bounded ratios for 4-by-4 positive definite matrices, whose 46 generators include ratios not implied by Hadamard-Fischer and ratios not bounded by 1. For n > 4 it is shown that the containment of semigroups is strict, but a generalization of nullity patterns, of which one example is given, is conjectured to provide a finite determination of all bounded ratios. △ Less

Submitted 16 June, 2008; originally announced June 2008.

Comments: 7 pages

MSC Class: 15A45; 15A15; 15A48; 05B35

Lack of initial conditions dependence of fluctuations in warm inflation

Authors: Arjun Berera, Lisa M. H. Hall, Ian G. Moss, Hiranya V. Peiris

Abstract: Warm inflation dynamics is fundamentally based on a system-reservoir configuration in which the dynamics is dictated by a fluctuation-dissipation relation. Recent work by Cerioni et. al. (arXiv:0804.0163) examined dissipative dynamics with no associated fluctuation component. Their results, which are heavily dependent on initial conditions, are at odds with results in the warm inflation literatu… ▽ More Warm inflation dynamics is fundamentally based on a system-reservoir configuration in which the dynamics is dictated by a fluctuation-dissipation relation. Recent work by Cerioni et. al. (arXiv:0804.0163) examined dissipative dynamics with no associated fluctuation component. Their results, which are heavily dependent on initial conditions, are at odds with results in the warm inflation literature, especially the spectral indices. The inconsistency of their formalism is outlined here and it is shown how this would lead to their erroneous conclusions. It is then shown how, following the correct dynamical equations of warm inflation, the results in the literature are correct. △ Less

Submitted 14 May, 2008; originally announced May 2008.

Comments: Comment on arXiv:0804.0163 (3 pages)

Standard Cosmological Evolution in a Wide Range of f(R) Models

Authors: Jonathan D. Evans, Lisa M. H. Hall, Philippe Caillol

Abstract: Using techniques from singular perturbation theory, we explicitly calculate the cosmological evolution in a class of modified gravity models. By considering the (m)CDTT model, which aims to explain the current acceleration of the universe with a modification of gravity, we show that Einstein evolution can be recovered for most of cosmic history in at least one f(R) model. We show that a standard… ▽ More Using techniques from singular perturbation theory, we explicitly calculate the cosmological evolution in a class of modified gravity models. By considering the (m)CDTT model, which aims to explain the current acceleration of the universe with a modification of gravity, we show that Einstein evolution can be recovered for most of cosmic history in at least one f(R) model. We show that a standard epoch of matter domination can be obtained in the mCDTT model, providing a sufficiently long epoch to satisfy observations. We note that the additional inverse term will not significantly alter standard evolution until today and that the solution lies well within present constraints from Big Bang Nucleosynthesis. For the CDTT model, we analyse the ``recent radiation epoch'' behaviour (a \propto t^{1/2}) found by previous authors. We finally generalise our findings to the class of inverse power-law models. Even in this class of models, we expect a standard cosmological evolution, with a sufficient matter domination era, although the sign of the additional term is crucial. △ Less

Submitted 12 March, 2008; v1 submitted 23 November, 2007; originally announced November 2007.

Comments: 15 pages, 6 figures (1 new figure), new version considers both CDTT and mCDTT models. References added. Accepted by Phys Rev D

Journal ref: Phys.Rev.D77:083514,2008

The inverse inertia problem for graphs

Authors: Wayne Barrett, H. Tracy Hall, Raphael Loewy

Abstract: Let G be an undirected graph on n vertices and let S(G) be the set of all real symmetric n x n matrices whose nonzero off-diagonal entries occur in exactly the positions corresponding to the edges of G. The inverse inertia problem for G asks which inertias can be attained by a matrix in S(G). We give a complete answer to this question for trees in terms of a new family of graph parameters, the m… ▽ More Let G be an undirected graph on n vertices and let S(G) be the set of all real symmetric n x n matrices whose nonzero off-diagonal entries occur in exactly the positions corresponding to the edges of G. The inverse inertia problem for G asks which inertias can be attained by a matrix in S(G). We give a complete answer to this question for trees in terms of a new family of graph parameters, the maximal disconnection numbers of a graph. We also give a formula for the inertia set of a graph with a cut vertex in terms of inertia sets of proper subgraphs. Finally, we give an example of a graph that is not inertia-balanced, and investigate restrictions on the inertia set of any graph. △ Less

Submitted 19 November, 2007; originally announced November 2007.

Comments: 83 pages, 15 figures

MSC Class: 05C05; 05C50 (Primary); 15A03; 15A57 (Secondary)

Dissipation of Quantum Turbulence in the Zero Temperature Limit

Authors: P. M. Walmsley, A. I. Golov, H. E. Hall, A. A. Levchenko, W. F. Vinen

Abstract: Turbulence, produced by an impulsive spin-down from angular velocity Omega to rest of a cube-shaped container, is investigated in superfluid 4He at temperatures 0.08 K - 1.6 K. The density of quantized vortex lines L is measured by scattering negative ions. Homogeneous turbulence develops after time t of approximately 20 Ωand decays as L proportional to t^(-3/2). The corresponding energy flux ep… ▽ More Turbulence, produced by an impulsive spin-down from angular velocity Omega to rest of a cube-shaped container, is investigated in superfluid 4He at temperatures 0.08 K - 1.6 K. The density of quantized vortex lines L is measured by scattering negative ions. Homogeneous turbulence develops after time t of approximately 20 Ωand decays as L proportional to t^(-3/2). The corresponding energy flux epsilon = nu' (kappa L)^2, which is proportional to t^(-3), is characteristic of quasi-classical turbulence at high Re with a saturated energy-containing length. The effective kinematic viscosity in the T=0 limit is nu' = 0.003 kappa, where kappa=10^(-3) cm^2 / s is the circulation quantum. △ Less

Submitted 31 October, 2007; v1 submitted 4 October, 2007; originally announced October 2007.

Comments: 4 pages, 5 figures. Updated following referees comments

Journal ref: Phys. Rev. Lett. 99, 265302 (2007)

Cosmological Constraints on Dissipative Models of Inflation

Authors: Lisa M. H. Hall, Hiranya V. Peiris

Abstract: (Abridged) We study dissipative inflation in the regime where the dissipative term takes a specific form, Γ=Γ(φ), analyzing two models in the weak and strong dissipative regimes with a SUSY breaking potential. After develo** intuition about the predictions from these models through analytic approximations, we compute the predicted cosmological observables through full numerical evolution of th… ▽ More (Abridged) We study dissipative inflation in the regime where the dissipative term takes a specific form, Γ=Γ(φ), analyzing two models in the weak and strong dissipative regimes with a SUSY breaking potential. After develo** intuition about the predictions from these models through analytic approximations, we compute the predicted cosmological observables through full numerical evolution of the equations of motion, relating the mass scale and scale of dissipation to the characteristic amplitude and shape of the primordial power spectrum. We then use Markov Chain Monte Carlo techniques to constrain a subset of the models with cosmological data from the cosmic microwave background (WMAP three-year data) and large scale structure (SDSS Luminous Red Galaxy power spectrum). We find that the posterior distributions of the dissipative parameters are highly non-Gaussian and their allowed ranges agree well with the expectations obtained using analytic approximations. In the weak regime, only the mass scale is tightly constrained; conversely, in the strong regime, only the dissipative coefficient is tightly constrained. A lower limit is seen on the inflation scale: a sub-Planckian inflaton is disfavoured by the data. In both weak and strong regimes, we reconstruct the limits on the primordial power spectrum and show that these models prefer a {\it red} spectrum, with no significant running of the index. We calculate the reheat temperature and show that the gravitino problem can be overcome with large dissipation, which in turn leads to large levels of non-Gaussianity: if dissipative inflation is to evade the gravitino problem, the predicted level of non-Gaussianity might be seen by the Planck satellite. △ Less

Submitted 23 January, 2008; v1 submitted 19 September, 2007; originally announced September 2007.

Comments: 14 pages, 9 figures, Accepted by JCAP without text changes, References added

Journal ref: JCAP 0801:027,2008

Moduli Evolution in the Presence of Matter Fields and Flux Compactification

Authors: Carsten van de Bruck, Ki-Young Choi, Lisa M. H. Hall

Abstract: We provide a detailed analysis of the dynamics of moduli fields in the KKLT scenario coupled to a Polonyi field, which plays the role of a hidden matter sector field. It was previously shown that such matter fields can uplift AdS vacua to Minkowski or de Sitter vacua. Additionally, we take a background fluid into account (which can be either matter or radiation), which aids moduli stabilisation.… ▽ More We provide a detailed analysis of the dynamics of moduli fields in the KKLT scenario coupled to a Polonyi field, which plays the role of a hidden matter sector field. It was previously shown that such matter fields can uplift AdS vacua to Minkowski or de Sitter vacua. Additionally, we take a background fluid into account (which can be either matter or radiation), which aids moduli stabilisation. Our analysis shows that the presence of the matter field further aids stabilisation, due to a new scaling regime. We study the system both analytically and numerically. △ Less

Submitted 18 September, 2007; originally announced September 2007.

Comments: 28 pages, 32 figures, JCAP format

Journal ref: JCAP 0711:018,2007

New interactions in the dark sector mediated by dark energy

Authors: A. W. Brookfield, C. van de Bruck, L. M. H. Hall

Abstract: Cosmological observations have revealed the existence of a dark matter sector, which is commonly assumed to be made up of one particle species only. However, this sector might be more complicated than we currently believe: there might be more than one dark matter species (for example two components of cold dark matter or a mixture of hot and cold dark matter) and there may be new interactions be… ▽ More Cosmological observations have revealed the existence of a dark matter sector, which is commonly assumed to be made up of one particle species only. However, this sector might be more complicated than we currently believe: there might be more than one dark matter species (for example two components of cold dark matter or a mixture of hot and cold dark matter) and there may be new interactions between these particles. In this paper we study the possibility of multiple dark matter species and interactions mediated by a dark energy field. We study both the background and the perturbation evolution in these scenarios. We find that the background evolution of a system of multiple dark matter particles (with constant couplings) mimics a single fluid with a time-varying coupling parameter. However, this is no longer true on the perturbative level. We study the case of attractive and repulsive forces as well as a mixture of cold and hot dark matter particles. △ Less

Submitted 10 April, 2008; v1 submitted 14 September, 2007; originally announced September 2007.

Comments: 10 pages, 17 figs, revtex, Version published in PRD, typo corrected, references added

Journal ref: Phys.Rev.D77:043006,2008

Spectral Running and Non-Gaussianity from Slow-Roll Inflation in Generalised Two--Field Models

Authors: Ki-Young Choi, Lisa M. H. Hall, Carsten van de Bruck

Abstract: Theories beyond the standard model such as string theory motivate low energy effective field theories with several scalar fields which are not only coupled through a potential but also through their kinetic terms. For such theories we derive the general formulae for the running of the spectral indices for the adiabatic, isocurvature and correlation spectra in the case of two field inflation. We… ▽ More Theories beyond the standard model such as string theory motivate low energy effective field theories with several scalar fields which are not only coupled through a potential but also through their kinetic terms. For such theories we derive the general formulae for the running of the spectral indices for the adiabatic, isocurvature and correlation spectra in the case of two field inflation. We also compute the expected non-Gaussianity in such models for specific forms of the potentials. We find that the coupling has little impact on the level of non-Gaussianity during inflation. △ Less

Submitted 23 February, 2007; v1 submitted 9 January, 2007; originally announced January 2007.

Comments: 26 pages, 10 figures, JHEP style, typos corrected, appendix and references added, published in JCAP

Journal ref: JCAP 0702:029,2007

Viability of f(R) Theories with Additional Powers of Curvature

Authors: Anthony W. Brookfield, Carsten van de Bruck, Lisa M. H. Hall

Abstract: We consider a modified gravity theory, f(R)=R-a/R^n+bR^m, in the metric formulation, which has been suggested to produce late time acceleration in the Universe, whilst satisfying local fifth-force constraints. We investigate the parameter range for this theory, considering the regimes of early and late-time acceleration, Big Bang Nucleosynthesis and fifth-force constraints. We conclude that it i… ▽ More We consider a modified gravity theory, f(R)=R-a/R^n+bR^m, in the metric formulation, which has been suggested to produce late time acceleration in the Universe, whilst satisfying local fifth-force constraints. We investigate the parameter range for this theory, considering the regimes of early and late-time acceleration, Big Bang Nucleosynthesis and fifth-force constraints. We conclude that it is difficult to find a unique range of parameters for consistency of this theory. △ Less

Submitted 29 November, 2006; v1 submitted 2 August, 2006; originally announced August 2006.

Comments: Replaced to match version published in Phys. Rev. D. - corrected references and minor typos. 26 pages, revtex, 10 eps figures, 1 diagram

Journal ref: Phys.Rev.D74:064028,2006

Meanders in a Cayley graph

Authors: H. Tracy Hall

Abstract: A meander of order n is a simple closed curve in the plane which intersects a horizontal line transversely at 2n points. (Meanders which differ by an isotopy of the line and plane are considered equivalent.) Let Gamma_n be the Cayley graph of the symmetric group S_n as generated by all (n choose 2) transpositions. Let Lambda_n be any interval of maximal length in Gamma_n; this graph is the Has… ▽ More A meander of order n is a simple closed curve in the plane which intersects a horizontal line transversely at 2n points. (Meanders which differ by an isotopy of the line and plane are considered equivalent.) Let Gamma_n be the Cayley graph of the symmetric group S_n as generated by all (n choose 2) transpositions. Let Lambda_n be any interval of maximal length in Gamma_n; this graph is the Hasse diagram of the lattice of noncrossing partitions. The meanders of order n are in one-to-one correspondence with ordered pairs of maximally separated vertices of Lambda_n. △ Less

Submitted 8 June, 2006; originally announced June 2006.

MSC Class: 57M20

Thermal Effects on Pure and Hybrid Inflation

Authors: Lisa M H Hall, Ian G Moss

Abstract: This paper discusses models of inflation based on global supersymmetry. It is shown that there are parameter ranges, consisent with observational constraints, for which warm inflation occurs and supergravity effects can be neglected. There is no need for any fine tuning of parameters. The thermal corrections to the inflaton potential are calculated and found to be unimportant. This paper discusses models of inflation based on global supersymmetry. It is shown that there are parameter ranges, consisent with observational constraints, for which warm inflation occurs and supergravity effects can be neglected. There is no need for any fine tuning of parameters. The thermal corrections to the inflaton potential are calculated and found to be unimportant. △ Less

Submitted 20 November, 2004; v1 submitted 28 August, 2004; originally announced August 2004.

Comments: 10 pages, 4 figures, ReVTeX, dam** term improved

Journal ref: Phys.Rev.D71:023514,2005

Constraining Warm Inflation with the Cosmic Microwave Background

Authors: Lisa M. H. Hall, Ian G. Moss, Arjun Berera

Abstract: We discuss the spectrum of scalar density perturbations from warm inflation when the friction coefficient $Γ$ in the inflaton equation is dependent on the inflaton field. The spectral index of scalar fluctuations depends on a new slow-roll parameter constructed from $Γ$. A numerical integration of the perturbation equations is performed for a model of warm inflation and gives a good fit to the W… ▽ More We discuss the spectrum of scalar density perturbations from warm inflation when the friction coefficient $Γ$ in the inflaton equation is dependent on the inflaton field. The spectral index of scalar fluctuations depends on a new slow-roll parameter constructed from $Γ$. A numerical integration of the perturbation equations is performed for a model of warm inflation and gives a good fit to the WMAP data for reasonable values of the model's parameters. △ Less

Submitted 12 February, 2004; originally announced February 2004.

Comments: 6 pages, 2 figures, RevTeX 4

Journal ref: Phys.Lett. B589 (2004) 1-6

Scalar perturbation spectra from warm inflation

Authors: Lisa M. H. Hall, Ian G. Moss, Arjun Berera

Abstract: We present a numerical integration of the cosmological scalar perturbation equations in warm inflation. The initial conditions are provided by a discussion of the thermal fluctuations of an inflaton field and thermal radiation using a combination of thermal field theory and thermodynamics. The perturbation equations include the effects of a dam** coefficient $Γ$ and a thermodynamic potential… ▽ More We present a numerical integration of the cosmological scalar perturbation equations in warm inflation. The initial conditions are provided by a discussion of the thermal fluctuations of an inflaton field and thermal radiation using a combination of thermal field theory and thermodynamics. The perturbation equations include the effects of a dam** coefficient $Γ$ and a thermodynamic potential $V$. We give an analytic expression for the spectral index of scalar fluctuations in terms of a new slow-roll parameter constructed from $Γ$. A series of toy models, inspired by spontaneous symmetry breaking and a known form of the dam** coefficient, lead to a spectrum with $n_s>1$ on large scales and $n_s<1$ on small scales. △ Less

Submitted 22 November, 2003; v1 submitted 1 May, 2003; originally announced May 2003.

Comments: 12 pages, 5 figures, RevTeX 4, revised with extra figures

Journal ref: Phys.Rev. D69 (2004) 083525

Momentum creation by vortices in 3He experiments as a model of primordial baryogenesis

Authors: T. D. C. Bevan, A. J. Manninen, J. B. Cook, J. R. Hook, H. E. Hall, T. Vachaspati, G. E. Volovik

Abstract: We show that recent 3He experiments at Manchester demonstrate the creation of excitation momentum (momentogenesis) by quantized vortices, a process analogous to baryogenesis within cosmic strings. Since superfluid 3He is the most complex field theoretic system available in the laboratory, this experiment gives a firmer foundation to chiral anomaly calculations for baryogenesis on non-trivial bac… ▽ More We show that recent 3He experiments at Manchester demonstrate the creation of excitation momentum (momentogenesis) by quantized vortices, a process analogous to baryogenesis within cosmic strings. Since superfluid 3He is the most complex field theoretic system available in the laboratory, this experiment gives a firmer foundation to chiral anomaly calculations for baryogenesis on non-trivial backgrounds of the Higgs field such as cosmic strings. △ Less

Submitted 14 February, 1997; v1 submitted 21 November, 1996; originally announced November 1996.

Comments: 20 pages including 3 figures in 8 files; submitted to Nature

Journal ref: Nature 386 (1997), 689