-
Transitioning ECP Software Technology into a Foundation for Sustainable Research Software
Authors:
Gregory R. Watson,
Addi Malviya-Thakur,
Daniel S. Katz,
Elaine M. Raybourn,
Bill Hoffman,
Dana Robinson,
John Kellerman,
Clark Roundy
Abstract:
Research software plays a crucial role in advancing scientific knowledge, but ensuring its sustainability, maintainability, and long-term viability is an ongoing challenge. The Sustainable Research Software Institute (SRSI) Model has been designed to address the concerns, and presents a comprehensive framework designed to promote sustainable practices in the research software community. However th…
▽ More
Research software plays a crucial role in advancing scientific knowledge, but ensuring its sustainability, maintainability, and long-term viability is an ongoing challenge. The Sustainable Research Software Institute (SRSI) Model has been designed to address the concerns, and presents a comprehensive framework designed to promote sustainable practices in the research software community. However the SRSI Model does not address the transitional requirements for the Exascale Computing Project (ECP) Software Technology (ECP-ST) focus area specifically. This white paper provides an overview and detailed description of how ECP-ST will transition into the SRSI in a compressed time frame that a) meets the needs of the ECP end-of-technical-activities deadline; and b) ensures the continuity of the sustainability efforts that are already underway.
△ Less
Submitted 30 August, 2023; v1 submitted 28 August, 2023;
originally announced August 2023.
-
An Open Community-Driven Model For Sustainable Research Software: Sustainable Research Software Institute
Authors:
Gregory R. Watson,
Addi Malviya-Thakur,
Daniel S. Katz,
Elaine M. Raybourn,
Bill Hoffman,
Dana Robinson,
John Kellerman,
Clark Roundy
Abstract:
Research software plays a crucial role in advancing scientific knowledge, but ensuring its sustainability, maintainability, and long-term viability is an ongoing challenge. To address these concerns, the Sustainable Research Software Institute (SRSI) Model presents a comprehensive framework designed to promote sustainable practices in the research software community. This white paper provides an i…
▽ More
Research software plays a crucial role in advancing scientific knowledge, but ensuring its sustainability, maintainability, and long-term viability is an ongoing challenge. To address these concerns, the Sustainable Research Software Institute (SRSI) Model presents a comprehensive framework designed to promote sustainable practices in the research software community. This white paper provides an in-depth overview of the SRSI Model, outlining its objectives, services, funding mechanisms, collaborations, and the significant potential impact it could have on the research software community. It explores the wide range of services offered, diverse funding sources, extensive collaboration opportunities, and the transformative influence of the SRSI Model on the research software landscape
△ Less
Submitted 30 August, 2023; v1 submitted 28 August, 2023;
originally announced August 2023.
-
A benchmark for computational analysis of animal behavior, using animal-borne tags
Authors:
Benjamin Hoffman,
Maddie Cusimano,
Vittorio Baglione,
Daniela Canestrari,
Damien Chevallier,
Dominic L. DeSantis,
Lorène Jeantet,
Monique A. Ladds,
Takuya Maekawa,
Vicente Mata-Silva,
Víctor Moreno-González,
Eva Trapote,
Outi Vainio,
Antti Vehkaoja,
Ken Yoda,
Katherine Zacarian,
Ari Friedlaender
Abstract:
Animal-borne sensors ('bio-loggers') can record a suite of kinematic and environmental data, which can elucidate animal ecophysiology and improve conservation efforts. Machine learning techniques are used for interpreting the large amounts of data recorded by bio-loggers, but there exists no common framework for comparing the different machine learning techniques in this domain. To address this, w…
▽ More
Animal-borne sensors ('bio-loggers') can record a suite of kinematic and environmental data, which can elucidate animal ecophysiology and improve conservation efforts. Machine learning techniques are used for interpreting the large amounts of data recorded by bio-loggers, but there exists no common framework for comparing the different machine learning techniques in this domain. To address this, we present the Bio-logger Ethogram Benchmark (BEBE), a collection of datasets with behavioral annotations, as well as a modeling task and evaluation metrics. BEBE is to date the largest, most taxonomically diverse, publicly available benchmark of this type, and includes 1654 hours of data collected from 149 individuals across nine taxa. In addition, using BEBE, we test a novel self-supervised learning approach to identifying animal behaviors based on bio-logger data, using a deep neural network pre-trained with self-supervision on data collected from human wrist-worn accelerometers. We show that this approach out-performs common alternatives, especially in a setting with a low amount of training data. Datasets, models, and evaluation code are made publicly available at https://github.com/earthspecies/BEBE, to enable community use of BEBE as a point of comparison in methods development.
△ Less
Submitted 10 April, 2024; v1 submitted 18 May, 2023;
originally announced May 2023.
-
Science Priorities for the Extraction of the Solid MSR Samples from their Sample Tubes
Authors:
N. Dauphas,
S. S. Russell,
D. Beaty,
F. Thiessen,
J. Barnes,
L. Bonal,
J. Bridges,
T. Bristow,
J. Eiler,
L. Ferriere,
T. Fornaro,
J. Gattacceca,
B. Hoffman,
E. J. Javaux,
T. Kleine,
H. Y. McSween,
M. Prasad,
L. Rampe,
M. Schmidt,
B. Schoene,
K. L. Siebach,
J. Stern,
N. Tosca
Abstract:
Preservation of the chemical and structural integrity of samples that will be brought back from Mars is paramount to achieving the scientific objectives of MSR. Given our knowledge of the nature of the samples retrieved at Jezero by Perseverance, at least two options need to be tested for opening the sample tubes: (1) One or two radial cuts at the end of the tube to slide the sample out. (2) Two r…
▽ More
Preservation of the chemical and structural integrity of samples that will be brought back from Mars is paramount to achieving the scientific objectives of MSR. Given our knowledge of the nature of the samples retrieved at Jezero by Perseverance, at least two options need to be tested for opening the sample tubes: (1) One or two radial cuts at the end of the tube to slide the sample out. (2) Two radial cuts at the ends of the tube and two longitudinal cuts to lift the upper half of the tube and access the sample. Strategy 1 will likely minimize contamination but incurs the risk of affecting the physical integrity of weakly consolidated samples. Strategy 2 will be optimal for preserving the physical integrity of the samples but increases the risk of contamination and mishandling of the sample as more manipulations and additional equipment will be needed. A flexible approach to opening the sample tubes is therefore required, and several options need to be available, depending on the nature of the rock samples returned. Both opening strategies 1 and 2 may need to be available when the samples are returned to handle different sample types (e.g., loosely bound sediments vs. indurated magmatic rocks). This question should be revisited after engineering tests are performed on analogue samples. The MSR sample tubes will have to be opened under stringent BSL4 conditions and this aspect needs to be integrated into the planning.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
BEANS: The Benchmark of Animal Sounds
Authors:
Masato Hagiwara,
Benjamin Hoffman,
Jen-Yu Liu,
Maddie Cusimano,
Felix Effenberger,
Katie Zacarian
Abstract:
The use of machine learning (ML) based techniques has become increasingly popular in the field of bioacoustics over the last years. Fundamental requirements for the successful application of ML based techniques are curated, agreed upon, high-quality datasets and benchmark tasks to be learned on a given dataset. However, the field of bioacoustics so far lacks such public benchmarks which cover mult…
▽ More
The use of machine learning (ML) based techniques has become increasingly popular in the field of bioacoustics over the last years. Fundamental requirements for the successful application of ML based techniques are curated, agreed upon, high-quality datasets and benchmark tasks to be learned on a given dataset. However, the field of bioacoustics so far lacks such public benchmarks which cover multiple tasks and species to measure the performance of ML techniques in a controlled and standardized way and that allows for benchmarking newly proposed techniques to existing ones. Here, we propose BEANS (the BEnchmark of ANimal Sounds), a collection of bioacoustics tasks and public datasets, specifically designed to measure the performance of machine learning algorithms in the field of bioacoustics. The benchmark proposed here consists of two common tasks in bioacoustics: classification and detection. It includes 12 datasets covering various species, including birds, land and marine mammals, anurans, and insects. In addition to the datasets, we also present the performance of a set of standard ML methods as the baseline for task performance. The benchmark and baseline code is made publicly available at \url{https://github.com/earthspecies/beans} in the hope of establishing a new standard dataset for ML-based bioacoustic research.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Stratified Gradient Hamiltonian Vector Fields and Collective Integrable Systems
Authors:
Benjamin Hoffman,
Jeremy Lane
Abstract:
We construct completely integrable torus actions on the dual Lie algebra of any compact Lie group $K$ with respect to the standard Lie-Poisson structure. These systems generalize properties of Gelfand-Zeitlin systems for unitary and orthogonal Lie groups: 1) the pullback to any Hamiltonian $K$-manifold is an integrable torus action, 2) if the $K$-manifold is multiplicity free, then the torus actio…
▽ More
We construct completely integrable torus actions on the dual Lie algebra of any compact Lie group $K$ with respect to the standard Lie-Poisson structure. These systems generalize properties of Gelfand-Zeitlin systems for unitary and orthogonal Lie groups: 1) the pullback to any Hamiltonian $K$-manifold is an integrable torus action, 2) if the $K$-manifold is multiplicity free, then the torus action is \textit{completely} integrable, and 3) the collective moment map has convexity and fiber connectedness properties. They also generalize the relationship between Gelfand-Zeitlin systems and canonical bases via geometric quantization by a real polarization.
To construct these integrable systems, we generalize Harada and Kaveh's construction of integrable systems by toric degeneration to singular quasi-projective varieties. Under certain conditions, we show that the stratified-gradient Hamiltonian vector field of such a degeneration, which is defined piece-wise, has a flow whose limit exists and defines continuous degeneration map.
△ Less
Submitted 11 September, 2023; v1 submitted 31 August, 2020;
originally announced August 2020.
-
Action-angle coordinates on coadjoint orbits and multiplicity free spaces from partial tropicalization
Authors:
Anton Alekseev,
Benjamin Hoffman,
Jeremy Lane,
Yanpeng Li
Abstract:
Coadjoint orbits and multiplicity free spaces of compact Lie groups are important examples of symplectic manifolds with Hamiltonian groups actions. Constructing action-angle variables on these spaces is a challenging task. A fundamental result in the field is the Guillemin-Sternberg construction of Gelfand-Zeitlin integrable systems for the groups $K=U(n), SO(n)$. Extending these results to groups…
▽ More
Coadjoint orbits and multiplicity free spaces of compact Lie groups are important examples of symplectic manifolds with Hamiltonian groups actions. Constructing action-angle variables on these spaces is a challenging task. A fundamental result in the field is the Guillemin-Sternberg construction of Gelfand-Zeitlin integrable systems for the groups $K=U(n), SO(n)$. Extending these results to groups of other types is one of the goals of this paper.
Partial tropicalizations are Poisson spaces with constant Poisson bracket built using techniques of Poisson-Lie theory and the geometric crystals of Berenstein-Kazhdan. They provide a bridge between dual spaces of Lie algebras ${\rm Lie}(K)^*$ with linear Poisson brackets and polyhedral cones which parametrize the canonical bases of irreducible modules of $G=K^\mathbb{C}$.
We generalize the construction of partial tropicalizations to allow for arbitrary cluster charts, and apply it to questions in symplectic geometry. For each regular coadjoint orbit of a compact group $K$, we construct an exhaustion by symplectic embeddings of toric domains. As a by product we arrive at a conjectured formula for Gromov width of regular coadjoint orbits. We prove similar results for multiplicity free $K$-spaces.
△ Less
Submitted 30 March, 2020;
originally announced March 2020.
-
Toric Symplectic Stacks
Authors:
Benjamin Hoffman
Abstract:
We give an intrinsic definition of toric symplectic stacks, and show that they are classified by simple convex polytopes equipped with some additional combinatorial data. This generalizes Delzant's classification of toric symplectic manifolds. As an application, we show that any toric symplectic stack can be deformed to an ineffective toric orbifold.
We give an intrinsic definition of toric symplectic stacks, and show that they are classified by simple convex polytopes equipped with some additional combinatorial data. This generalizes Delzant's classification of toric symplectic manifolds. As an application, we show that any toric symplectic stack can be deformed to an ineffective toric orbifold.
△ Less
Submitted 19 February, 2020; v1 submitted 13 March, 2019;
originally announced March 2019.
-
Concentration of symplectic volumes on Poisson homogeneous spaces
Authors:
Anton Alekseev,
Benjamin Hoffman,
Jeremy Lane,
Yanpeng Li
Abstract:
For a compact Poisson-Lie group $K$, the homogeneous space $K/T$ carries a family of symplectic forms $ω_ξ^s$, where $ξ\in \mathfrak{t}^*_+$ is in the positive Weyl chamber and $s \in \mathbb{R}$. The symplectic form $ω_ξ^0$ is identified with the natural $K$-invariant symplectic form on the $K$ coadjoint orbit corresponding to $ξ$. The cohomology class of $ω_ξ^s$ is independent of $s$ for a fixed…
▽ More
For a compact Poisson-Lie group $K$, the homogeneous space $K/T$ carries a family of symplectic forms $ω_ξ^s$, where $ξ\in \mathfrak{t}^*_+$ is in the positive Weyl chamber and $s \in \mathbb{R}$. The symplectic form $ω_ξ^0$ is identified with the natural $K$-invariant symplectic form on the $K$ coadjoint orbit corresponding to $ξ$. The cohomology class of $ω_ξ^s$ is independent of $s$ for a fixed value of $ξ$.
In this paper, we show that as $s\to -\infty$, the symplectic volume of $ω_ξ^s$ concentrates in arbitrarily small neighbourhoods of the smallest Schubert cell in $K/T \cong G/B$. This strengthens earlier results [9,10] and is a step towards a conjectured construction of global action-angle coordinates on $Lie(K)^*$ [4, Conjecture 1.1].
△ Less
Submitted 12 August, 2019; v1 submitted 21 August, 2018;
originally announced August 2018.
-
Stacky Hamiltonian actions and symplectic reduction
Authors:
Benjamin Hoffman,
Reyer Sjamaar,
Chenchang Zhu
Abstract:
We introduce the notion of a Hamiltonian action of an étale Lie group stack on an étale symplectic stack and establish versions of the Kirwan convexity theorem, the Meyer-Marsden-Weinstein symplectic reduction theorem, and the Duistermaat-Heckman theorem in this context.
We introduce the notion of a Hamiltonian action of an étale Lie group stack on an étale symplectic stack and establish versions of the Kirwan convexity theorem, the Meyer-Marsden-Weinstein symplectic reduction theorem, and the Duistermaat-Heckman theorem in this context.
△ Less
Submitted 19 September, 2019; v1 submitted 2 August, 2018;
originally announced August 2018.
-
Langlands Duality and Poisson-Lie Duality via Cluster Theory and Tropicalization
Authors:
Anton Alekseev,
Arkady Berenstein,
Benjamin Hoffman,
Yanpeng Li
Abstract:
Let $G$ be a connected semisimple Lie group. There are two natural duality constructions that assign to it the Langlands dual group $G^\vee$ and the Poisson-Lie dual group $G^*$. The main result of this paper is the following relation between these two objects: the integral cone defined by the cluster structure and the Berenstein-Kazhdan potential on the double Bruhat cell…
▽ More
Let $G$ be a connected semisimple Lie group. There are two natural duality constructions that assign to it the Langlands dual group $G^\vee$ and the Poisson-Lie dual group $G^*$. The main result of this paper is the following relation between these two objects: the integral cone defined by the cluster structure and the Berenstein-Kazhdan potential on the double Bruhat cell $G^{\vee; w_0, e} \subset G^\vee$ is isomorphic to the integral Bohr-Sommerfeld cone defined by the Poisson structure on the partial tropicalization of $K^* \subset G^*$ (the Poisson-Lie dual of the compact form $K \subset G$). By [5], the first cone parametrizes the canonical bases of irreducible $G$-modules. The corresponding points in the second cone belong to integral symplectic leaves of the partial tropicalization labeled by the highest weight of the representation. As a by-product of our construction, we show that symplectic volumes of generic symplectic leaves in the partial tropicalization of $K^*$ are equal to symplectic volumes of the corresponding coadjoint orbits in $\operatorname{Lie}(K)^*$.
To achieve these goals, we make use of (Langlands dual) double cluster varieties defined by Fock and Goncharov [9]. These are pairs of cluster varieties whose seed matrices are transpose to each other. There is a naturally defined isomorphism between their tropicalizations. The isomorphism between the cones described above is a particular instance of such an isomorphism associated to the double Bruhat cells $G^{w_0, e} \subset G$ and $G^{\vee; w_0, e} \subset G^\vee$.
△ Less
Submitted 15 May, 2019; v1 submitted 11 June, 2018;
originally announced June 2018.
-
Single Photon Emission from Plasma Treated 2D Hexagonal Boron Nitride
Authors:
Zai-Quan Xu,
Christopher Elbadawi,
Toan Trong Tran,
Mehran Kianinia,
Xiuling Li,
Daobin Liu,
Timothy B. Hoffman,
Minh Nguyen,
Sejeong Kim,
James H. Edgar,
Xiaojun Wu,
Li Song,
Sajid Ali,
Mike Ford,
Milos Toth,
Igor Aharonovich
Abstract:
Artificial atomic systems in solids are becoming increasingly important building blocks in quantum information processing and scalable quantum nanophotonic networks. Yet, synthesis of color centers that act as single photon emitters which are suitable for on-chip applications is still beyond reach. Here, we report a number of plasma and thermal annealing methods for the fabrication of emitters in…
▽ More
Artificial atomic systems in solids are becoming increasingly important building blocks in quantum information processing and scalable quantum nanophotonic networks. Yet, synthesis of color centers that act as single photon emitters which are suitable for on-chip applications is still beyond reach. Here, we report a number of plasma and thermal annealing methods for the fabrication of emitters in tape-exfoliated hexagonal boron nitride (hBN) crystals. A two-step process comprised of Ar plasma etching and subsequent annealing in Ar is highly robust, and yields a seven-fold increase in the concentration of emitters in hBN. The initial plasma etching step generates emitters that suffer from blinking and bleaching, whereas the two-step process yields emitters that are photostable at room temperature and have an emission energy distribution that is red-shifted relative to that of pristine hBN. An analysis of emitters fabricated by a range of plasma and annealing treatments, combined with a theoretical investigation of point defects in hBN indicates that single photon emitters characterized by a high degree of photostability and emission wavelengths greater than ~700 nm are associated with defect complexes that contain oxygen. This is further confirmed by generating the emitters by annealing hBN in an oxidative atmosphere. Our findings advance present understanding of the structure of quantum emitter in hBN and enhance the nanofabrication toolkit that is needed to realize integrated quantum nanophotonics based on 2D materials.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
Poisson Structures and Potentials
Authors:
Anton Alekseev,
Arkady Berenstein,
Benjamin Hoffman,
Yanpeng Li
Abstract:
We introduce a notion of weakly log-canonical Poisson structures on positive varieties with potentials. Such a Poisson structure is log-canonical up to terms dominated by the potential. To a compatible real form of a weakly log-canonical Poisson variety we assign an integrable system on the product of a certain real convex polyhedral cone (the tropicalization of the variety) and a compact torus.…
▽ More
We introduce a notion of weakly log-canonical Poisson structures on positive varieties with potentials. Such a Poisson structure is log-canonical up to terms dominated by the potential. To a compatible real form of a weakly log-canonical Poisson variety we assign an integrable system on the product of a certain real convex polyhedral cone (the tropicalization of the variety) and a compact torus.
We apply this theory to the dual Poisson-Lie group $G^*$ of a simply-connected semisimple complex Lie group $G$. We define a positive structure and potential on $G^*$ and show that the natural Poisson-Lie structure on $G^*$ is weakly log-canonical with respect to this positive structure and potential.
For $K \subset G$ the compact real form, we show that the real form $K^* \subset G^*$ is compatible and prove that the corresponding integrable system is defined on the product of the decorated string cone and the compact torus of dimension $\frac{1}{2}({\rm dim} \, G - {\rm rank} \, G)$.
△ Less
Submitted 6 February, 2018; v1 submitted 26 September, 2017;
originally announced September 2017.
-
Malware in the Future? Forecasting of Analyst Detection of Cyber Events
Authors:
Jonathan Z. Bakdash,
Steve Hutchinson,
Erin G. Zaroukian,
Laura R. Marusich,
Saravanan Thirumuruganathan,
Charmaine Sample,
Blaine Hoffman,
Gautam Das
Abstract:
There have been extensive efforts in government, academia, and industry to anticipate, forecast, and mitigate cyber attacks. A common approach is time-series forecasting of cyber attacks based on data from network telescopes, honeypots, and automated intrusion detection/prevention systems. This research has uncovered key insights such as systematicity in cyber attacks. Here, we propose an alternat…
▽ More
There have been extensive efforts in government, academia, and industry to anticipate, forecast, and mitigate cyber attacks. A common approach is time-series forecasting of cyber attacks based on data from network telescopes, honeypots, and automated intrusion detection/prevention systems. This research has uncovered key insights such as systematicity in cyber attacks. Here, we propose an alternate perspective of this problem by performing forecasting of attacks that are analyst-detected and -verified occurrences of malware. We call these instances of malware cyber event data. Specifically, our dataset was analyst-detected incidents from a large operational Computer Security Service Provider (CSSP) for the U.S. Department of Defense, which rarely relies only on automated systems. Our data set consists of weekly counts of cyber events over approximately seven years. Since all cyber events were validated by analysts, our dataset is unlikely to have false positives which are often endemic in other sources of data. Further, the higher-quality data could be used for a number for resource allocation, estimation of security resources, and the development of effective risk-management strategies. We used a Bayesian State Space Model for forecasting and found that events one week ahead could be predicted. To quantify bursts, we used a Markov model. Our findings of systematicity in analyst-detected cyber attacks are consistent with previous work using other sources. The advanced information provided by a forecast may help with threat awareness by providing a probable value and range for future cyber events one week ahead. Other potential applications for cyber event forecasting include proactive allocation of resources and capabilities for cyber defense (e.g., analyst staffing and sensor configuration) in CSSPs. Enhanced threat awareness may improve cybersecurity.
△ Less
Submitted 8 June, 2018; v1 submitted 11 July, 2017;
originally announced July 2017.
-
Atomic Engineering of Single Photon Sources in 2D Boron Nitride Zai-Quan
Authors:
Zai-Quan Xu,
Christopher Elbadawi,
Toan Trong Tran,
Mehran Kianinia,
Timothy B. Hoffman,
James H. Edgar,
Milos Toth,
Igor Aharonovich
Abstract:
Artificial atomic systems in solids such as single photon emitters are becoming increasingly important building blocks in quantum information processing and scalable quantum nanophotonic networks. Here, we report on a controllable way to engineer emitters in two-dimensional (2D) hexagonal boron nitride (hBN) crystals using plasma processing. The method is robust, and yields a 7-fold increase in th…
▽ More
Artificial atomic systems in solids such as single photon emitters are becoming increasingly important building blocks in quantum information processing and scalable quantum nanophotonic networks. Here, we report on a controllable way to engineer emitters in two-dimensional (2D) hexagonal boron nitride (hBN) crystals using plasma processing. The method is robust, and yields a 7-fold increase in the density of emitters in hBN, which is promising for their deployment in practical devices. While as-fabricated emitters suffer from blinking and bleaching, a subsequent annealing step yields photo-stable emitters. The presented process is the first step towards controllable placement of quantum emitters in hBN for integrated on-chip quantum nanophotonics based on 2D materials.
△ Less
Submitted 8 May, 2017; v1 submitted 17 April, 2017;
originally announced April 2017.
-
Iterated functions and the Cantor set in one dimension
Authors:
Benjamin Hoffman
Abstract:
In this paper we consider the long-term behavior of points in ${\mathbb R}$ under iterations of continuous functions. We show that, given any Cantor set $Λ^*$ embedded in ${\mathbb R}$, there exists a continuous function $F^*:{\mathbb R}\to{\mathbb R}$ such that the points that are bounded under iterations of $F^*$ are just those points in $Λ^*$. In the course of this, we find a striking similarit…
▽ More
In this paper we consider the long-term behavior of points in ${\mathbb R}$ under iterations of continuous functions. We show that, given any Cantor set $Λ^*$ embedded in ${\mathbb R}$, there exists a continuous function $F^*:{\mathbb R}\to{\mathbb R}$ such that the points that are bounded under iterations of $F^*$ are just those points in $Λ^*$. In the course of this, we find a striking similarity between the way in which we construct the Cantor middle-thirds set, and the way in which we find the points bounded under iterations of certain continuous functions.
△ Less
Submitted 3 November, 2013;
originally announced November 2013.
-
A note on triangulations of sum sets
Authors:
Karoly J. Boroczky,
Benjamin Hoffman
Abstract:
For finite sets A and B in the plane, we write A+B to denote the set of sums of the elements of A and B. In addition, we write tr(A) to denote the common number of triangles in any triangulation of the convex hull of A using the points of A as vertices. We consider the conjecture that tr(A+B)^{1/2}\geq tr(A)^{1/2}+tr(B)^{1/2}. If true, this conjecture would be a discrete, two-dimensional analogue…
▽ More
For finite sets A and B in the plane, we write A+B to denote the set of sums of the elements of A and B. In addition, we write tr(A) to denote the common number of triangles in any triangulation of the convex hull of A using the points of A as vertices. We consider the conjecture that tr(A+B)^{1/2}\geq tr(A)^{1/2}+tr(B)^{1/2}. If true, this conjecture would be a discrete, two-dimensional analogue to the Brunn-Minkowski inequality. We prove the conjecture in three special cases.
△ Less
Submitted 3 November, 2013;
originally announced November 2013.
-
Sustainable Software Ecosystems for Open Science
Authors:
Marcus D. Hanwell,
Amitha Perera,
Wes Turner,
Patrick O'Leary,
Katie Osterdahl,
Bill Hoffman,
Will Schroeder
Abstract:
Sustainable software ecosystems are difficult to build, and require concerted effort, community norms and collaborations. In science it is especially important to establish communities in which faculty, staff, students and open-source professionals work together and treat software as a first-class product of scientific investigation-just as mathematics is treated in the physical sciences. Kitware…
▽ More
Sustainable software ecosystems are difficult to build, and require concerted effort, community norms and collaborations. In science it is especially important to establish communities in which faculty, staff, students and open-source professionals work together and treat software as a first-class product of scientific investigation-just as mathematics is treated in the physical sciences. Kitware has a rich history of establishing collaborative projects in the science, engineering and medical research fields, and continues to work on improving that model as new technologies and approaches become available. This approach closely follows and is enhanced by the movement towards practicing open, reproducible research in the sciences where data, source code, methodology and approach are all available so that complex experiments can be independently reproduced and verified.
△ Less
Submitted 11 September, 2013;
originally announced September 2013.
-
A logical treatment of special relativity, with and without faster-than-light observers
Authors:
Benjamin Hoffman
Abstract:
There are three goals of this thesis. First: to present a concise yet accessible description of basic mathematical logic and model theory. Second: to develop an axiomatization of special relativity using only two undefined predicates. Ideally, these axioms should be empirically verifiable and supported by a large body of evidence. Finally: to weaken this axiomatization so as to allow for the exist…
▽ More
There are three goals of this thesis. First: to present a concise yet accessible description of basic mathematical logic and model theory. Second: to develop an axiomatization of special relativity using only two undefined predicates. Ideally, these axioms should be empirically verifiable and supported by a large body of evidence. Finally: to weaken this axiomatization so as to allow for the existence of faster-than-light observers, which are normally excluded from the theory of special relativity. The modifications to the axiom system should be as slight as possible, and should be motivated by the question: what features of the original axiom system preclude the existence of faster-than-light observers?
△ Less
Submitted 25 June, 2013;
originally announced June 2013.
-
A Quasi Curtis-Tits-Phan theorem for the symplectic group
Authors:
Rieuwert J. Blok Corneliu Hoffman
Abstract:
We obtain the symplectic group $\SP(V)$ as the universal completion of an amalgam of low rank subgroups akin to Levi components. We let $\SP(V)$ act flag-transitively on the geometry of maximal rank subspaces of $V$. We show that this geometry and its rank $\ge 3$ residues are simply connected with few exceptions. The main exceptional residue is described in some detail. The amalgamation result…
▽ More
We obtain the symplectic group $\SP(V)$ as the universal completion of an amalgam of low rank subgroups akin to Levi components. We let $\SP(V)$ act flag-transitively on the geometry of maximal rank subspaces of $V$. We show that this geometry and its rank $\ge 3$ residues are simply connected with few exceptions. The main exceptional residue is described in some detail. The amalgamation result is then obtained by applying Tits' lemma. This provides a new way of recognizing the symplectic groups from a small collection of small subgroups.
△ Less
Submitted 17 May, 2008;
originally announced May 2008.
-
Power-law rheology and mechano-sensing in a cytoskeleton model with forced protein unfolding
Authors:
Brenton D. Hoffman,
Gladys Massiera,
John C. Crocker
Abstract:
We describe a model of cytoskeletal mechanics based on the force-induced conformational change of protein cross-links in a stressed polymer network. Slow deformation of simulated networks containing cross-links that undergo repeated, serial domain unfolding leads to an unusual state--with many cross-links accumulating near the critical force for further unfolding. Thermal activation of these lin…
▽ More
We describe a model of cytoskeletal mechanics based on the force-induced conformational change of protein cross-links in a stressed polymer network. Slow deformation of simulated networks containing cross-links that undergo repeated, serial domain unfolding leads to an unusual state--with many cross-links accumulating near the critical force for further unfolding. Thermal activation of these links gives rise to power-law rheology resembling the previously unexplained mechanical response of living cells. Moreover, we hypothesize that such protein cross-links function as biochemical mechano-sensors of cytoskeletal deformation.
△ Less
Submitted 18 March, 2006; v1 submitted 7 April, 2005;
originally announced April 2005.
-
Microrheology, stress fluctuations and active behavior of living cells
Authors:
A. W. C. Lau,
B. D. Hoffman,
A. Davies,
J. C. Crocker,
T. C. Lubensky
Abstract:
We report the first measurements of the intrinsic strain fluctuations of living cells using a recently-developed tracer correlation technique along with a theoretical framework for interpreting such data in heterogeneous media with non-thermal driving. The fluctuations' spatial and temporal correlations indicate that the cytoskeleton can be treated as a course-grained continuum with power-law rh…
▽ More
We report the first measurements of the intrinsic strain fluctuations of living cells using a recently-developed tracer correlation technique along with a theoretical framework for interpreting such data in heterogeneous media with non-thermal driving. The fluctuations' spatial and temporal correlations indicate that the cytoskeleton can be treated as a course-grained continuum with power-law rheology, driven by a spatially random stress tensor field. Combined with recent cell rheology results, our data imply that intracellular stress fluctuations have a nearly $1/ω^2$ power spectrum, as expected for a continuum with a slowly evolving internal prestress.
△ Less
Submitted 22 September, 2003;
originally announced September 2003.
-
Cosmological constraints on a dark matter -- dark energy interaction
Authors:
Mark B. Hoffman
Abstract:
It is generally assumed that the two dark components of the energy density of the universe, a smooth component called dark energy and a fluid of nonrelativistic weakly interacting particles called dark matter, are independent of each other and interact only through gravity. In this paper, we consider a class of models in which the dark matter and dark energy interact directly. The dark matter pa…
▽ More
It is generally assumed that the two dark components of the energy density of the universe, a smooth component called dark energy and a fluid of nonrelativistic weakly interacting particles called dark matter, are independent of each other and interact only through gravity. In this paper, we consider a class of models in which the dark matter and dark energy interact directly. The dark matter particle mass is proportional to the value of a scalar field, and the energy density of this scalar field comprises the dark energy. We study the phenomenology of these models and calculate the luminosity distance as a function of redshift and the CMB anisotropy spectrum for several cases. We find that the phenomenology of these models can differ significantly from the standard case, and current observations can already rule out the simplest models.
△ Less
Submitted 26 August, 2003; v1 submitted 18 July, 2003;
originally announced July 2003.
-
Classical Stabilization of Homogeneous Extra Dimensions
Authors:
Sean M. Carroll,
James Geddes,
Mark B. Hoffman,
Robert M. Wald
Abstract:
If spacetime possesses extra dimensions of size and curvature radii much larger than the Planck or string scales, the dynamics of these extra dimensions should be governed by classical general relativity. We argue that in general relativity, it is highly nontrivial to obtain solutions where the extra dimensions are static and are dynamically stable to small perturbations. We also illustrate that…
▽ More
If spacetime possesses extra dimensions of size and curvature radii much larger than the Planck or string scales, the dynamics of these extra dimensions should be governed by classical general relativity. We argue that in general relativity, it is highly nontrivial to obtain solutions where the extra dimensions are static and are dynamically stable to small perturbations. We also illustrate that intuition on equilibrium and stability built up from non-gravitational physics can be highly misleading. For all static, homogeneous solutions satisfying the null energy condition, we show that the Ricci curvature of space must be nonnegative in all directions. Much of our analysis focuses on a class of spacetime models where space consists of a product of homogeneous and isotropic geometries. A dimensional reduction of these models is performed, and their stability to perturbations that preserve the spatial symmetries is analyzed. We conclude that the only physically realistic examples of classically stabilized large extra dimensions are those in which the extra-dimensional manifold is positively curved.
△ Less
Submitted 29 April, 2002; v1 submitted 17 October, 2001;
originally announced October 2001.
-
Kinematic Constraints to the Key Inflationary Observables
Authors:
Mark B. Hoffman,
Michael S. Turner
Abstract:
The observables $T/S$ and $n-1$ are key to testing and understanding inflation. ($T$, $S$, and $n-1$ respectively quantify the gravity-wave and density-perturbation contributions to CMB anisotropy and the deviation of the density perturbations from the scale-invariant form.) Absent a standard model, there is no definite prediction for, or relation between, $T/S$ and $n-1$. By reformulating the e…
▽ More
The observables $T/S$ and $n-1$ are key to testing and understanding inflation. ($T$, $S$, and $n-1$ respectively quantify the gravity-wave and density-perturbation contributions to CMB anisotropy and the deviation of the density perturbations from the scale-invariant form.) Absent a standard model, there is no definite prediction for, or relation between, $T/S$ and $n-1$. By reformulating the equations governing inflation we show that models generally predict $T/S \approx -5(n-1)$ or 0, and in particular, if $n>0.85$, $T/S$ is expected to be $>10^{-3}$.
△ Less
Submitted 22 June, 2000;
originally announced June 2000.
-
Translating into Free Word Order Languages
Authors:
Beryl Hoffman
Abstract:
In this paper, I discuss machine translation of English text into Turkish, a relatively ``free'' word order language. I present algorithms that determine the topic and the focus of each target sentence (using salience (Centering Theory), old vs. new information, and contrastiveness in the discourse model) in order to generate the contextually appropriate word orders in the target language.
In this paper, I discuss machine translation of English text into Turkish, a relatively ``free'' word order language. I present algorithms that determine the topic and the focus of each target sentence (using salience (Centering Theory), old vs. new information, and contrastiveness in the discourse model) in order to generate the contextually appropriate word orders in the target language.
△ Less
Submitted 29 April, 1996;
originally announced April 1996.
-
Integrating "Free" Word Order Syntax and Information Structure
Authors:
Beryl Hoffman
Abstract:
This paper describes a combinatory categorial formalism called Multiset-CCG that can capture the syntax and interpretation of ``free'' word order in languages such as Turkish. The formalism compositionally derives the predicate-argument structure and the information structure (e.g. topic, focus) of a sentence in parallel, and uniformly handles word order variation among the arguments and adjunct…
▽ More
This paper describes a combinatory categorial formalism called Multiset-CCG that can capture the syntax and interpretation of ``free'' word order in languages such as Turkish. The formalism compositionally derives the predicate-argument structure and the information structure (e.g. topic, focus) of a sentence in parallel, and uniformly handles word order variation among the arguments and adjuncts within a clause, as well as in complex clauses and across clause boundaries.
△ Less
Submitted 15 February, 1995;
originally announced February 1995.
-
Generating Context-Appropriate Word Orders in Turkish
Authors:
Beryl Hoffman
Abstract:
Turkish has considerably freer word order than English. The interpretations of different word orders in Turkish rely on information that describes how a sentence relates to its discourse context. To capture the syntactic features of a free word order language, I present an adaptation of Combinatory Categorial Grammars called {}-CCGs (set-CCGs). In {}-CCGs, a verb's subcategorization requirements…
▽ More
Turkish has considerably freer word order than English. The interpretations of different word orders in Turkish rely on information that describes how a sentence relates to its discourse context. To capture the syntactic features of a free word order language, I present an adaptation of Combinatory Categorial Grammars called {}-CCGs (set-CCGs). In {}-CCGs, a verb's subcategorization requirements are relaxed so that it requires a set of arguments without specifying their linear order. I integrate a level of information structure, representing pragmatic functions such as topic and focus, with {}-CCGs to allow certain pragmatic distinctions in meaning to influence the word order of a sentence in a compositional way. Finally, I discuss how this strategy is used within an implemented generation system which produces Turkish sentences with context-appropriate word orders in a simple database query task.
△ Less
Submitted 20 July, 1994;
originally announced July 1994.