Showing 1–50 of 78 results for author: Allen, D

Costly Signalling in DAOs

Authors: Darcy W. E. Allen, Jason Potts, Julian Waters-Lynch, Max Parasol

Abstract: Decentralised Autonomous Organisations (DAOs) are a new type of digital organisation that uses blockchain infrastructure (e.g. smart contracts, tokens) to coordinate a group of people around a shared mission. Like all organisations, DAOs must attract sources of funding and other resources, and discover and retain a talented community and workforce. To do this, they must signal their true quality.… ▽ More Decentralised Autonomous Organisations (DAOs) are a new type of digital organisation that uses blockchain infrastructure (e.g. smart contracts, tokens) to coordinate a group of people around a shared mission. Like all organisations, DAOs must attract sources of funding and other resources, and discover and retain a talented community and workforce. To do this, they must signal their true quality. Yet the characteristics of the environment that DAOs operate in (pseudonymous actors, global scale, permissionless entry and exit) makes this difficult. We apply costly signalling theory to explore the information asymmetry problem in DAOs and some of the strategies (behaviours and investments) and institutional solutions (including better signalling mechanisms) that have evolved to solve this problem. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: European DAO Workshop 24

Report number: Dawo/2024/36

Pseudocentralizers and the Chermak Delgado Measure of the Mod $p^{n}$ Heisenberg Group

Authors: David Allen, José J. La Luz, Stephen Majewicz, Marcos Zyman

Abstract: In this paper we compute the Chermak-Delgado measure of the mod $p^{n}$ Heisenberg Group for any prime $p$. To achieve this we introduce the notion of the pseudocentralizer and prove various results about it. In this paper we compute the Chermak-Delgado measure of the mod $p^{n}$ Heisenberg Group for any prime $p$. To achieve this we introduce the notion of the pseudocentralizer and prove various results about it. △ Less

Submitted 11 May, 2024; originally announced May 2024.

Comments: 40 pages

MSC Class: 20J05; 20H25; 20D15 (Primary) 20D30 (Secondary)

Non-detectable patterns hidden within sequences of bits

Authors: David Allen, Jose J La Luz, Guarionex Salivia, Jonathan Hardwick

Abstract: In this paper we construct families of bit sequences using combinatorial methods. Each sequence is derived by con- verting a collection of numbers encoding certain combinatorial nu- merics from objects exhibiting symmetry in various dimensions. Using the algorithms first described in [1] we show that the NIST testing suite described in publication 800-22 does not detect these symmetries hidden wit… ▽ More In this paper we construct families of bit sequences using combinatorial methods. Each sequence is derived by con- verting a collection of numbers encoding certain combinatorial nu- merics from objects exhibiting symmetry in various dimensions. Using the algorithms first described in [1] we show that the NIST testing suite described in publication 800-22 does not detect these symmetries hidden within these sequences. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Volatility and irregularity Capturing in stock price indices using time series Generative adversarial networks (TimeGAN)

Authors: Leonard Mushunje, David Allen, Shelton Peiris

Abstract: This paper captures irregularities in financial time series data, particularly stock prices, in the presence of COVID-19 shock. We conjectured that jumps and irregularities are embedded in stock data due to the pandemic shock, which brings forth irregular trends in the time series data. We put forward that efficient and robust forecasting methods are needed to predict stock closing prices in the p… ▽ More This paper captures irregularities in financial time series data, particularly stock prices, in the presence of COVID-19 shock. We conjectured that jumps and irregularities are embedded in stock data due to the pandemic shock, which brings forth irregular trends in the time series data. We put forward that efficient and robust forecasting methods are needed to predict stock closing prices in the presence of the pandemic shock. This piece of information is helpful to investors as far as confidence risk and return boost are concerned. Generative adversarial networks of a time series nature are used to provide new ways of modeling and learning the proper and suitable distribution for the financial time series data under complex setups. Ideally, these traditional models are liable to producing high forecasting errors, and they need to be more robust to capture dependency structures and other stylized facts like volatility in stock markets. The TimeGAN model is used, effectively dealing with this risk of poor forecasts. Using the DAX stock index from January 2010 to November 2022, we trained the LSTM, GRU, WGAN, and TimeGAN models as benchmarks and forecasting errors were noted, and our TimeGAN outperformed them all as indicated by a small forecasting error. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: 36 pages

Modeling trading games in a stochastic non-life insurance market

Authors: Leonard Mushunje, David Edmund Allen

Abstract: We studied the behavior and variation of utility between the two conflicting players in a closed Nash-equilibrium loop. Our modeling approach also captured the nexus between optimal premium strategizing and firm performance using the Lotka-Volterra completion model. Our model robustly modeled the two main cases, insurer-insurer and insurer-policyholder, which we accompanied by numerical examples o… ▽ More We studied the behavior and variation of utility between the two conflicting players in a closed Nash-equilibrium loop. Our modeling approach also captured the nexus between optimal premium strategizing and firm performance using the Lotka-Volterra completion model. Our model robustly modeled the two main cases, insurer-insurer and insurer-policyholder, which we accompanied by numerical examples of premium movements and their relationship to the market equilibrium point. We found that insurers with high claim exposures tend to set high premiums. The other competitors either set a competitive premium or adopt the fixed premium charge to remain in the game; otherwise, they will operate below the optimal point. We also noted an inverse link between trading premiums and claims in general insurance games due to self-interest and utility indifferences. We concluded that while an insurer aims to charge high premiums to enjoy more, policyholders are willing to avoid these charges by paying less. △ Less

Submitted 17 November, 2023; originally announced November 2023.

Comments: 22 pages

A survey of recent extensions and generalisations of the Mass Transference Principle

Authors: Demi Allen, Edouard Daviaud

Abstract: In this article we survey some recent extensions and generalisations of the celebrated Mass Transference Principle (Beresnevich and Velani, Annals of Mathematics, 2006). In this article we survey some recent extensions and generalisations of the celebrated Mass Transference Principle (Beresnevich and Velani, Annals of Mathematics, 2006). △ Less

Submitted 27 June, 2023; originally announced June 2023.

Comments: 29 pages

Inhomogeneous approximation for systems of linear forms with primitivity constraints

Authors: Demi Allen, Felipe A. Ramirez

Abstract: We study (inhomogeneous) approximation for systems of linear forms using integer points which satisfy additional primitivity constraints. The first family of primitivity constraints we consider were introduced in 2015 by Dani, Laurent, and Nogueira, and are associated to partitions of the coordinate directions. Our results in this setting strengthen a theorem of Dani, Laurent, and Nogueira, and ad… ▽ More We study (inhomogeneous) approximation for systems of linear forms using integer points which satisfy additional primitivity constraints. The first family of primitivity constraints we consider were introduced in 2015 by Dani, Laurent, and Nogueira, and are associated to partitions of the coordinate directions. Our results in this setting strengthen a theorem of Dani, Laurent, and Nogueira, and address problems posed by those same authors. The second primitivity constraints we consider are analogues of the coprimality required in the higher-dimensional Duffin--Schaeffer conjecture, posed by Sprindžuk in the 1970's and proved by Pollington and Vaughan in 1990. Here, with attention restricted to systems of linear forms in at least three variables, we prove a univariate inhomogeneous version of the Duffin--Schaeffer conjecture for systems of linear forms, the multivariate homogeneous version of which was stated by Beresnevich, Bernik, Dodson, and Velani in 2009 and recently proved by the second author. △ Less

Submitted 25 May, 2023; originally announced May 2023.

Comments: 25 pages

MSC Class: 11J83; 11J20; 11J13; 11K60

Leveraging Large Language Models in Conversational Recommender Systems

Authors: Luke Friedman, Sameer Ahuja, David Allen, Zhenning Tan, Hakim Sidahmed, Changbo Long, Jun Xie, Gabriel Schubiner, Ajay Patel, Harsh Lara, Brian Chu, Zexi Chen, Manoj Tiwari

Abstract: A Conversational Recommender System (CRS) offers increased transparency and control to users by enabling them to engage with the system through a real-time multi-turn dialogue. Recently, Large Language Models (LLMs) have exhibited an unprecedented ability to converse naturally and incorporate world knowledge and common-sense reasoning into language understanding, unlocking the potential of this pa… ▽ More A Conversational Recommender System (CRS) offers increased transparency and control to users by enabling them to engage with the system through a real-time multi-turn dialogue. Recently, Large Language Models (LLMs) have exhibited an unprecedented ability to converse naturally and incorporate world knowledge and common-sense reasoning into language understanding, unlocking the potential of this paradigm. However, effectively leveraging LLMs within a CRS introduces new technical challenges, including properly understanding and controlling a complex conversation and retrieving from external sources of information. These issues are exacerbated by a large, evolving item corpus and a lack of conversational data for training. In this paper, we provide a roadmap for building an end-to-end large-scale CRS using LLMs. In particular, we propose new implementations for user preference understanding, flexible dialogue management and explainable recommendations as part of an integrated architecture powered by LLMs. For improved personalization, we describe how an LLM can consume interpretable natural language user profiles and use them to modulate session-level context. To overcome conversational data limitations in the absence of an existing production CRS, we propose techniques for building a controllable LLM-based user simulator to generate synthetic conversations. As a proof of concept we introduce RecLLM, a large-scale CRS for YouTube videos built on LaMDA, and demonstrate its fluency and diverse functionality through some illustrative example conversations. △ Less

Submitted 16 May, 2023; v1 submitted 13 May, 2023; originally announced May 2023.

A deep learning approach to using wearable seismocardiography (SCG) for diagnosing aortic valve stenosis and predicting aortic hemodynamics obtained by 4D flow MRI

Authors: Mahmoud E. Khani, Ethan M. I. Johnson, Aparna Sodhi, Joshua Robinson, Cynthia K. Rigsby, Bradly D. Allen, Michael Markl

Abstract: In this paper, we explored the use of deep learning for the prediction of aortic flow metrics obtained using 4D flow MRI using wearable seismocardiography (SCG) devices. 4D flow MRI provides a comprehensive assessment of cardiovascular hemodynamics, but it is costly and time-consuming. We hypothesized that deep learning could be used to identify pathological changes in blood flow, such as elevated… ▽ More In this paper, we explored the use of deep learning for the prediction of aortic flow metrics obtained using 4D flow MRI using wearable seismocardiography (SCG) devices. 4D flow MRI provides a comprehensive assessment of cardiovascular hemodynamics, but it is costly and time-consuming. We hypothesized that deep learning could be used to identify pathological changes in blood flow, such as elevated peak systolic velocity Vmax in patients with heart valve diseases, from SCG signals. We also investigated the ability of this deep learning technique to differentiate between patients diagnosed with aortic valve stenosis (AS), non-AS patients with a bicuspid aortic valve (BAV), non-AS patients with a mechanical aortic valve (MAV), and healthy subjects with a normal tricuspid aortic valve (TAV). In a study of 77 subjects who underwent same-day 4D flow MRI and SCG, we found that the Vmax values obtained using deep learning and SCGs were in good agreement with those obtained by 4D flow MRI. Additionally, subjects with TAV, BAV, MAV, and AS could be classified with ROC-AUC values of 92%, 95%, 81%, and 83%, respectively. This suggests that SCG obtained using low-cost wearable electronics may be used as a supplement to 4D flow MRI exams or as a screening tool for aortic valve disease. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: 16 pages, 4 figures

Recurrence rates for shifts of finite type

Authors: Demi Allen, Simon Baker, Balázs Bárány

Abstract: Let $Σ_{A}$ be a topologically mixing shift of finite type, let $σ:Σ_{A}\toΣ_{A}$ be the usual left-shift, and let $μ$ be the Gibbs measure for a Hölder continuous potential that is not cohomologous to a constant. In this paper we study recurrence rates for the dynamical system $(Σ_{A},σ)$ that hold $μ$-almost surely. In particular, given a function $ψ:\mathbb{N}\to \mathbb{N}$ we are interested i… ▽ More Let $Σ_{A}$ be a topologically mixing shift of finite type, let $σ:Σ_{A}\toΣ_{A}$ be the usual left-shift, and let $μ$ be the Gibbs measure for a Hölder continuous potential that is not cohomologous to a constant. In this paper we study recurrence rates for the dynamical system $(Σ_{A},σ)$ that hold $μ$-almost surely. In particular, given a function $ψ:\mathbb{N}\to \mathbb{N}$ we are interested in the following set $$R_ψ=\{{\texttt i}\in Σ_{A}:i_{n+1}\ldots i_{n+ψ(n)+1}=i_1\ldots i_{ψ(n)}\textrm{ for infinitely many }n\in\mathbb{N}\}.$$ We provide sufficient conditions for $μ(R_ψ)=1$ and sufficient conditions for $μ(R_ψ)=0$. As a corollary of these results, we discover a new critical threshold where the measure of $R_ψ$ transitions from zero to one. This threshold was previously unknown even in the special case of a non-uniform Bernoulli measure defined on the full shift. The proofs of our results combine ideas from Probability Theory and Thermodynamic Formalism. In our final section we apply our results to the study of dynamics on self-similar sets. △ Less

Submitted 5 September, 2022; originally announced September 2022.

Comments: 28 pages. Comments welcome

Simulating spin dynamics with quantum computers

Authors: Jarrett L. Lancaster, D. Brysen Allen

Abstract: IBM quantum computers are used to simulate the dynamics of small systems of interacting quantum spins. For time-independent systems with $N\leq 2$ spins, we construct circuits which compute the exact time evolution at arbitrary times and allow measurement of spin expectation values. Larger systems with spins require a the Lie-Trotter decomposition of the time evolution operator, and we investigate… ▽ More IBM quantum computers are used to simulate the dynamics of small systems of interacting quantum spins. For time-independent systems with $N\leq 2$ spins, we construct circuits which compute the exact time evolution at arbitrary times and allow measurement of spin expectation values. Larger systems with spins require a the Lie-Trotter decomposition of the time evolution operator, and we investigate the case of $N=3$ explicitly. Basic readout-error mitigation is introduced to improve the quality of results run on these noisy devices. The simulations provide an interesting experimental component to the standard treatment of quantum spin in an undergraduate quantum mechanics course. △ Less

Submitted 29 June, 2022; originally announced July 2022.

Comments: 9 pages, 7 figures

Weighted approximation in higher-dimensional missing digit sets

Authors: Demi Allen, Benjamin Ward

Abstract: In this note, we use the mass transference principle for rectangles, recently obtained by Wang and Wu (Math. Ann., 2021), to study the Hausdorff dimension of sets of "weighted $Ψ$-well-approximable" points in certain self-similar sets in $\mathbb{R}^{d}$. Specifically, we investigate weighted $Ψ$-well-approximable points in "missing digit" sets in $\mathbb{R}^{d}$. The sets we consider are natural… ▽ More In this note, we use the mass transference principle for rectangles, recently obtained by Wang and Wu (Math. Ann., 2021), to study the Hausdorff dimension of sets of "weighted $Ψ$-well-approximable" points in certain self-similar sets in $\mathbb{R}^{d}$. Specifically, we investigate weighted $Ψ$-well-approximable points in "missing digit" sets in $\mathbb{R}^{d}$. The sets we consider are natural generalisations of Cantor-type sets in $\mathbb{R}$ to higher dimensions and include, for example, four corner Cantor sets (or Cantor dust) in the plane with contraction ratio $\frac{1}{n}$ with $n \in \mathbb{N}$. △ Less

Submitted 16 May, 2022; originally announced May 2022.

Comments: 19 pages

MSC Class: 11J83 (primary); 37K99; 51F99 (secondary)

A systematic review of guidelines for the use of race, ethnicity, and ancestry reveals widespread consensus but also points of ongoing disagreement

Authors: Madelyn Mauro, Danielle S. Allen, Bege Dauda, Santiago J. Molina, Benjamin M. Neale, Anna C. F. Lewis

Abstract: The use of population descriptors like race, ethnicity, and ancestry in science, medicine and public health has a long, complicated, and at times dark history, particularly for genetics, given the field's perceived importance for understanding between-group differences. The historical and potential harms that come with irresponsible use of these categories suggests a clear need for definitive guid… ▽ More The use of population descriptors like race, ethnicity, and ancestry in science, medicine and public health has a long, complicated, and at times dark history, particularly for genetics, given the field's perceived importance for understanding between-group differences. The historical and potential harms that come with irresponsible use of these categories suggests a clear need for definitive guidance about when and how they can be used appropriately. However, while many prior authors have provided such guidance, no established consensus exists, and the extant literature has not been examined for implied consensus and sources of disagreement. Here we present the results of a systematic review of published normative recommendations regarding the use of population categories, particularly in genetics research. Following PRISMA guidelines, we extracted recommendations from n=121 articles matching inclusion criteria. Articles were published consistently throughout the time period examined and in a broad range of journals, demonstrating an ongoing and interdisciplinary perceived need for guidance. Examined recommendations fall under one of eight themes identified during analysis. Seven are characterized by broad agreement across articles; one, Appropriate definitions of population categories and contexts for use, revealed substantial fundamental disagreement among articles. While many articles focus on the inappropriate use of race, none fundamentally problematize ancestry. This work can be a resource to researchers looking for normative guidance on the use of population descriptors, and can orient authors of future guidelines to this complex field, contributing to the development of more effective future guidelines for genetics research. △ Less

Submitted 21 April, 2022; originally announced April 2022.

A note on dyadic approximation in Cantor's set

Authors: Demi Allen, Simon Baker, Sam Chow, Han Yu

Abstract: We consider the convergence theory for dyadic approximation in the middle-third Cantor set, $K$, for approximation functions of the form $ψ_τ(n) = n^{-τ}$ ($τ\ge 0$). In particular, we show that for values of $τ$ beyond a certain threshold we have that almost no point in $K$ is dyadically $ψ_τ$-well approximable with respect to the natural probability measure on $K$. This refines a previous result… ▽ More We consider the convergence theory for dyadic approximation in the middle-third Cantor set, $K$, for approximation functions of the form $ψ_τ(n) = n^{-τ}$ ($τ\ge 0$). In particular, we show that for values of $τ$ beyond a certain threshold we have that almost no point in $K$ is dyadically $ψ_τ$-well approximable with respect to the natural probability measure on $K$. This refines a previous result in this direction obtained by the first, third, and fourth named authors (arXiv, 2020). △ Less

Submitted 20 April, 2022; originally announced April 2022.

MSC Class: Primary 11J83; Secondary 11J71; 28A78; 28A80; 42A16

The Imaging X-Ray Polarimetry Explorer (IXPE): Pre-Launch

Authors: Martin C. Weisskopf, Paolo Soffitta, Luca Baldini, Brian D. Ramsey, Stephen L. O'Dell, Roger W. Romani, Giorgio Matt, William D. Deininger, Wayne H. Baumgartner, Ronaldo Bellazzini, Enrico Costa, Jeffery J. Kolodziejczak, Luca Latronico, Herman L. Marshall, Fabio Muleri, Stephen D. Bongiorno, Allyn Tennant, Niccolo Bucciantini, Michal Dovciak, Frederic Marin, Alan Marscher, Juri Poutanen, Pat Slane, Roberto Turolla, William Kalinowski , et al. (133 additional authors not shown)

Abstract: Scheduled to launch in late 2021, the Imaging X-ray Polarimetry Explorer (IXPE) is a NASA Small Explorer Mission in collaboration with the Italian Space Agency (ASI). The mission will open a new window of investigation - imaging X-ray polarimetry. The observatory features 3 identical telescopes each consisting of a mirror module assembly with a polarization-sensitive imaging X-ray detector at the… ▽ More Scheduled to launch in late 2021, the Imaging X-ray Polarimetry Explorer (IXPE) is a NASA Small Explorer Mission in collaboration with the Italian Space Agency (ASI). The mission will open a new window of investigation - imaging X-ray polarimetry. The observatory features 3 identical telescopes each consisting of a mirror module assembly with a polarization-sensitive imaging X-ray detector at the focus. A coilable boom, deployed on orbit, provides the necessary 4-m focal length. The observatory utilizes a 3-axis-stabilized spacecraft which provides services such as power, attitude determination and control, commanding, and telemetry to the ground. During its 2-year baseline mission, IXPE will conduct precise polarimetry for samples of multiple categories of X-ray sources, with follow-on observations of selected targets. △ Less

Submitted 21 December, 2021; v1 submitted 2 December, 2021; originally announced December 2021.

Fluid-structure instability forecasts thoracic aortic aneurysm progression

Authors: Tom Y. Zhao, Ethan M. I. Johnson, Guy Elisha, Sourav Halder, Ben C. Smith, Bradley D. Allen, Michael Markl, Neelesh A. Patankar

Abstract: The basic mechanism driving aneurysm growth is unknown. Currently, clinical diagnosis of an aneurysm is mainly informed by retrospective tracking of its size and growth rate. However, aneurysms can rupture before reactive criteria are met or remain stable when they are exceeded. Here, we identify a fluid-structure instability that is associated with abnormal aortic dilatation. Our analysis yields… ▽ More The basic mechanism driving aneurysm growth is unknown. Currently, clinical diagnosis of an aneurysm is mainly informed by retrospective tracking of its size and growth rate. However, aneurysms can rupture before reactive criteria are met or remain stable when they are exceeded. Here, we identify a fluid-structure instability that is associated with abnormal aortic dilatation. Our analysis yields a measurable dimensionless number and its analytically derived critical threshold. This threshold pinpoints the transition from stable flow to unstable aortic fluttering as a function of the physiological properties composing the dimensionless number, like blood pressure and aortic compliance. A retrospective study was then conducted with 4D-flow MRI data from 117 patients indicated for cardiac imaging and 100 healthy volunteers recruited prospectively. The difference between the dimensionless number and its critical threshold was calculated for every subject from their earliest MRI data and used as an aneurysm physiomarker to forecast future growth. As a binary predictor for abnormal growth and subsequent surgical intervention reported from follow-up imaging, the aneurysm physiomarker yielded an AUC of 0.997 in a receiving operator characteristic analysis. Though validated here for thoracic ascending aortic aneurysms, this instability mechanism may be used to understand, predict and inform patient-specific treatment of aneurysms in any location without fundamental differences. △ Less

Submitted 7 August, 2023; v1 submitted 18 November, 2021; originally announced November 2021.

Journal ref: Nat. Biomed. Eng 7, 1614-1626 (2023)

Getting Genetic Ancestry Right for Science and Society

Authors: Anna C. F. Lewis, Santiago J. Molina, Paul S Appelbaum, Bege Dauda, Anna Di Rienzo, Agustin Fuentes, Stephanie M. Fullerton, Nanibaa' A. Garrison, Nayanika Ghosh, Evelynn M. Hammonds, David S. Jones, Eimear E. Kenny, Peter Kraft, Sandra S. -J. Lee, Madelyn Mauro, John Novembre, Aaron Panofsky, Mashaal Sohail, Benjamin M. Neale, Danielle S. Allen

Abstract: There is a scientific and ethical imperative to embrace a multidimensional, continuous view of ancestry and move away from continental ancestry categories There is a scientific and ethical imperative to embrace a multidimensional, continuous view of ancestry and move away from continental ancestry categories △ Less

Submitted 14 October, 2021; v1 submitted 12 October, 2021; originally announced October 2021.

Independence inheritance and Diophantine approximation for systems of linear forms

Authors: Demi Allen, Felipe A. Ramirez

Abstract: The classical Khintchine-Groshev theorem is a generalization of Khintchine's theorem on simultaneous Diophantine approximation, from approximation of points in $\mathbb R^m$ to approximation of systems of linear forms in $\mathbb R^{nm}$. In this paper, we present an inhomogeneous version of the Khintchine-Groshev theorem which does not carry a monotonicity assumption when $nm>2$. Our results brin… ▽ More The classical Khintchine-Groshev theorem is a generalization of Khintchine's theorem on simultaneous Diophantine approximation, from approximation of points in $\mathbb R^m$ to approximation of systems of linear forms in $\mathbb R^{nm}$. In this paper, we present an inhomogeneous version of the Khintchine-Groshev theorem which does not carry a monotonicity assumption when $nm>2$. Our results bring the inhomogeneous theory almost in line with the homogeneous theory, where it is known by a result of Beresnevich and Velani (2010) that monotonicity is not required when $nm>1$. That result resolved a conjecture of Beresnevich, Bernik, Dodson, and Velani (2009), and our work resolves almost every case of the natural inhomogeneous generalization of that conjecture. Regarding the two cases where $nm=2$, we are able to remove monotonicity by assuming extra divergence of a measure sum, akin to a linear forms version of the Duffin-Schaeffer conjecture. When $nm=1$ it is known by work of Duffin and Schaeffer (1941) that the monotonicity assumption cannot be dropped. The key new result is an independence inheritance phenomenon; the underlying idea is that the sets involved in the $((n+k)\times m)$-dimensional Khintchine-Groshev theorem ($k\geq 0$) are always $k$-levels more probabilistically independent than the sets involved the $(n\times m)$-dimensional theorem. Hence, it is shown that Khintchine's theorem itself underpins the Khintchine-Groshev theory. △ Less

Submitted 8 September, 2021; originally announced September 2021.

Comments: 27 pages, 1 figure

A note on weighted simultaneous Diophantine approximation on manifolds

Authors: Demi Allen, Baowei Wang

Abstract: In this note, we present an improvement to a recent result due to Beresnevich, Levesley, and Ward (2021) pertaining to weighted simultaneous Diophantine approximation on manifolds. In this note, we present an improvement to a recent result due to Beresnevich, Levesley, and Ward (2021) pertaining to weighted simultaneous Diophantine approximation on manifolds. △ Less

Submitted 11 March, 2021; originally announced March 2021.

Comments: 18 pages

MSC Class: Primary 11J13; 28A78; Secondary 11J83

Quantum crypto-economics: Blockchain prediction markets for the evolution of quantum technology

Authors: Peter P. Rohde, Vijay Mohan, Sinclair Davidson, Chris Berg, Darcy Allen, Gavin K. Brennen, Jason Potts

Abstract: Two of the most important technological advancements currently underway are the advent of quantum technologies, and the transitioning of global financial systems towards cryptographic assets, notably blockchain-based cryptocurrencies and smart contracts. There is, however, an important interplay between the two, given that, in due course, quantum technology will have the ability to directly compro… ▽ More Two of the most important technological advancements currently underway are the advent of quantum technologies, and the transitioning of global financial systems towards cryptographic assets, notably blockchain-based cryptocurrencies and smart contracts. There is, however, an important interplay between the two, given that, in due course, quantum technology will have the ability to directly compromise the cryptographic foundations of blockchain. We explore this complex interplay by building financial models for quantum failure in various scenarios, including pricing quantum risk premiums. We call this quantum crypto-economics. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: 12 pages, 1 figure

A space-indexed formulation of packing boxes into a larger box

Authors: Sam D. Allen, Edmund K. Burke, Jakub Marecek

Abstract: Current integer programming solvers fail to decide whether 12 unit cubes can be packed into a 1x1x11 box within an hour using the natural relaxation of Chen/Padberg. We present an alternative relaxation of the problem of packing boxes into a larger box, which makes it possible to solve much larger instances. Current integer programming solvers fail to decide whether 12 unit cubes can be packed into a 1x1x11 box within an hour using the natural relaxation of Chen/Padberg. We present an alternative relaxation of the problem of packing boxes into a larger box, which makes it possible to solve much larger instances. △ Less

Submitted 2 January, 2021; originally announced January 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1412.2526

Journal ref: Operations Research Letters, Volume 40, Issue 1, January 2012, Pages 20-24

Mechanisms for collective inversion-symmetry breaking in dabconium perovskite ferroelectrics

Authors: Dominic J. W. Allen, Nicholas C. Bristowe, Andrew L. Goodwin, Hamish H. -M. Yeung

Abstract: Dabconium hybrid perovskites include a number of recently-discovered ferroelectric phases with large spontaneous polarisations. The origin of ferroelectric response has been rationalised in general terms in the context of hydrogen bonding, covalency, and strain coupling. Here we use a combination of simple theory, Monte Carlo simulations, and density functional theory calculations to assess the ab… ▽ More Dabconium hybrid perovskites include a number of recently-discovered ferroelectric phases with large spontaneous polarisations. The origin of ferroelectric response has been rationalised in general terms in the context of hydrogen bonding, covalency, and strain coupling. Here we use a combination of simple theory, Monte Carlo simulations, and density functional theory calculations to assess the ability of these microscopic ingredients---together with the always-present through-space dipolar coupling---to account for the emergence of polarisation in these particular systems whilst not in other hybrid perovskites. Our key result is that the combination of A-site polarity, preferred orientation along $\langle111\rangle$ directions, and ferroelastic strain coupling drives precisely the ferroelectric transition observed experimentally. We rationalise the absence of polarisation in many hybrid perovskites, and arrive at a set of design rules for generating FE examples beyond the dabconium family alone. △ Less

Submitted 9 June, 2020; originally announced June 2020.

Comments: 6 pages, 5 figures

Dyadic Approximation in the Middle-Third Cantor Set

Authors: Demi Allen, Sam Chow, Han Yu

Abstract: In this paper, we study the metric theory of dyadic approximation in the middle-third Cantor set. This theory complements earlier work of Levesley, Salp, and Velani (2007), who investigated the problem of approximation in the Cantor set by triadic rationals. We find that the behaviour when we consider dyadic approximation in the Cantor set is substantially different to considering triadic approxim… ▽ More In this paper, we study the metric theory of dyadic approximation in the middle-third Cantor set. This theory complements earlier work of Levesley, Salp, and Velani (2007), who investigated the problem of approximation in the Cantor set by triadic rationals. We find that the behaviour when we consider dyadic approximation in the Cantor set is substantially different to considering triadic approximation in the Cantor set. In some sense, this difference in behaviour is a manifestation of Furstenberg's times 2 times 3 phenomenon from dynamical systems, which asserts that the base 2 and base 3 expansions of a number are not both structured. △ Less

Submitted 19 May, 2020; originally announced May 2020.

On the Hausdorff measure of shrinking target sets on self-conformal sets

Authors: Demi Allen, Balázs Bárány

Abstract: In this article, we study the Hausdorff measure of shrinking target sets on self-conformal sets. The Hausdorff dimension of the sets we are interested in here was established by Hill and Velani in 1995. However, until recently, little more was known about the Hausdorff measure of these particular sets. In this paper we provide a complete characterisation of the Hausdorff measure of these sets, obt… ▽ More In this article, we study the Hausdorff measure of shrinking target sets on self-conformal sets. The Hausdorff dimension of the sets we are interested in here was established by Hill and Velani in 1995. However, until recently, little more was known about the Hausdorff measure of these particular sets. In this paper we provide a complete characterisation of the Hausdorff measure of these sets, obtaining a dichotomy for the Hausdorff measure which is determined by the convergence or divergence of a sum depending on the radii of our "shrinking targets". Our main result complements earlier work of Levesley, Salp, and Velani~(2007), and recent work of Baker (2019). △ Less

Submitted 18 May, 2021; v1 submitted 8 November, 2019; originally announced November 2019.

Comments: 33 pages

MSC Class: Primary 28A80; 11J83; Secondary 37C45

Progress on the ISIS synchrotron digital low level RF system upgrade

Authors: Andrew Seville, David B. Allen, Ian S. K. Gardner, Robert J. Mathieson

Abstract: The ISIS synchrotron at the Rutherford Appleton Laboratory in the UK now routinely uses a dual harmonic RF system to accelerate beam currents in excess of 230uA to run two target stations simultaneously. The acceleration in the ISIS synchrotron is provided by six fundamental frequency (1RF) and four second harmonic (2RF) RF cavities. The 1RF systems are required to sweep from 1.3MHz to 3.1MHz duri… ▽ More The ISIS synchrotron at the Rutherford Appleton Laboratory in the UK now routinely uses a dual harmonic RF system to accelerate beam currents in excess of 230uA to run two target stations simultaneously. The acceleration in the ISIS synchrotron is provided by six fundamental frequency (1RF) and four second harmonic (2RF) RF cavities. The 1RF systems are required to sweep from 1.3MHz to 3.1MHz during the 10ms acceleration period, repeated at 50Hz, with the 2RF systems swee** from 2.6MHz to 6.3MHz. The existing analogue LLRF control system has been in service for over 30 years and is now showing some signs of old age and spare parts are becoming difficult to source. In order to overcome this and to give more stable control of the phase of the RF voltage at each of the cavities, changes have been made to the LLRF control system. A new FPGA based combined frequency law generator . master oscillator has been implemented using 'off the shelf' National Instruments PXI-express based FlexRIO modules. This initial design has been successfully used during the ISIS operational cycles for over three years. This paper reports on the commissioning of the FlexRIO system, the implementation and recent testing of the cavity control loops and plans for the gradual replacement of remaining parts of the LLRF system. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: Talk presented at LLRF Workshop 2019 (LLRF2019, arXiv:1909.06754)

Report number: LLRF2019/242

Search and Rescue under the Forest Canopy using Multiple UAVs

Authors: Yulun Tian, Katherine Liu, Kyel Ok, Loc Tran, Danette Allen, Nicholas Roy, Jonathan P. How

Abstract: We present a multi-robot system for GPS-denied search and rescue under the forest canopy. Forests are particularly challenging environments for collaborative exploration and map**, in large part due to the existence of severe perceptual aliasing which hinders reliable loop closure detection for mutual localization and map fusion. Our proposed system features unmanned aerial vehicles (UAVs) that… ▽ More We present a multi-robot system for GPS-denied search and rescue under the forest canopy. Forests are particularly challenging environments for collaborative exploration and map**, in large part due to the existence of severe perceptual aliasing which hinders reliable loop closure detection for mutual localization and map fusion. Our proposed system features unmanned aerial vehicles (UAVs) that perform onboard sensing, estimation, and planning. When communication is available, each UAV transmits compressed tree-based submaps to a central ground station for collaborative simultaneous localization and map** (CSLAM). To overcome high measurement noise and perceptual aliasing, we use the local configuration of a group of trees as a distinctive feature for robust loop closure detection. Furthermore, we propose a novel procedure based on cycle consistent multiway matching to recover from incorrect pairwise data associations. The returned global data association is guaranteed to be cycle consistent, and is shown to improve both precision and recall compared to the input pairwise associations. The proposed multi-UAV system is validated both in simulation and during real-world collaborative exploration missions at NASA Langley Research Center. △ Less

Submitted 7 June, 2020; v1 submitted 28 August, 2019; originally announced August 2019.

Comments: IJRR revision

Characterising submonolayer deposition via visibility graphs

Authors: Damien Allen, Michael Grinfeld, Paul Mulheran

Abstract: We use visibility graphs as a tool to analyse the results of kinetic Monte Carlo (kMC) simulations of submonolayer deposition in a one-dimensional point island model. We introduce an efficient algorithm for the computation of the visibility graph resulting from a kMC simulation and show that from the properties of the visibility graph one can determine the critical island size, thus demonstrating… ▽ More We use visibility graphs as a tool to analyse the results of kinetic Monte Carlo (kMC) simulations of submonolayer deposition in a one-dimensional point island model. We introduce an efficient algorithm for the computation of the visibility graph resulting from a kMC simulation and show that from the properties of the visibility graph one can determine the critical island size, thus demonstrating that the visibility graph approach, which implicitly combines size and spatial data, can provide insights into island nucleation and growth processes. △ Less

Submitted 19 June, 2019; v1 submitted 9 July, 2018; originally announced July 2018.

A General Mass Transference Principle

Authors: Demi Allen, Simon Baker

Abstract: In this paper we prove a general form of the Mass Transference Principle for $\limsup$ sets defined via neighbourhoods of sets satisfying a certain local scaling property. Such sets include self-similar sets satisfying the open set condition and smooth compact manifolds embedded in $\mathbb{R}^n$. Our main result is applicable in locally compact metric spaces and allows one to transfer Hausdorff… ▽ More In this paper we prove a general form of the Mass Transference Principle for $\limsup$ sets defined via neighbourhoods of sets satisfying a certain local scaling property. Such sets include self-similar sets satisfying the open set condition and smooth compact manifolds embedded in $\mathbb{R}^n$. Our main result is applicable in locally compact metric spaces and allows one to transfer Hausdorff $g$-measure statements to Hausdorff $f$-measure statements. This work extends previous results of this type in several distinct directions. △ Less

Submitted 17 August, 2018; v1 submitted 7 March, 2018; originally announced March 2018.

MSC Class: 11J83; 28A78

Point island dynamics under fixed rate deposition

Authors: D. Allen, M. Grinfeld, R. Sasportes

Abstract: In this paper we consider the dynamics of point islands during submonolayer deposition, in which the fragmentation of subcritical size islands is allowed. To understand asymptotics of solutions, we use methods of centre manifold theory, and for globalisation, we employ results from the theories of compartmental systems and of asymptotically autonomous dynamical systems. We also compare our results… ▽ More In this paper we consider the dynamics of point islands during submonolayer deposition, in which the fragmentation of subcritical size islands is allowed. To understand asymptotics of solutions, we use methods of centre manifold theory, and for globalisation, we employ results from the theories of compartmental systems and of asymptotically autonomous dynamical systems. We also compare our results with those obtained by making the quasi-steady state assumption. △ Less

Submitted 12 December, 2018; v1 submitted 15 February, 2018; originally announced February 2018.

MSC Class: 34A35; 34E05; 37C19; 82D30

Iron-peak elements Sc, V, Mn, Cu and Zn in Galactic bulge globular clusters

Authors: H. Ernandes, B. Barbuy, A. Alves-Brito, A. Friaca, C. Siqueira-Mello, D. M. Allen

Abstract: Globular clusters are tracers of the history of star formation and chemical enrichment in the early Galaxy. Their abundance pattern can help understanding their chemical enrichment processes. In particular, the iron-peak elements have been relatively little studied so far in the Galactic bulge. The abundances of iron-peak elements are derived for the sample clusters, and compared with bulge field,… ▽ More Globular clusters are tracers of the history of star formation and chemical enrichment in the early Galaxy. Their abundance pattern can help understanding their chemical enrichment processes. In particular, the iron-peak elements have been relatively little studied so far in the Galactic bulge. The abundances of iron-peak elements are derived for the sample clusters, and compared with bulge field, and thick disk stars. We derive abundances of the iron-peak elements Sc, V, Mn, Cu, and Zn in individual stars of five bulge globular clusters (NGC 6528, NGC 6553, NGC 6522, NGC 6558, HP1), and of the reference thick disk/inner halo cluster 47 Tucanae (NGC 104). High resolution spectra were obtained with the UVES spectrograph at the Very Large Telescope over the years. The sample globular clusters studied span metallicities in the range -1.2<Fe/H]<0.0. V and Sc appear to vary in lockstep with Fe, indicating that they are produced in the same supernovae as Fe. We find that Mn is deficient in metal-poor stars, confirming that it is underproduced in massive stars; Mn-over-Fe steadily increases at the higher metallicities due to a metallicity-dependent enrichment by supernovae of type Ia. Cu behaves as a secondary element, indicating its production in a weak-s process in massive stars. Zn has an alpha-like behaviour at low metallicities, which can be explained in terms of nucleosynthesis in hypernovae. At the metal-rich end, Zn decreases with increasing metallicity, similarly to the alpha-elements. △ Less

Submitted 18 January, 2018; originally announced January 2018.

Comments: article resubmitted to Astronomy & Astrophysics, taking into account referee's comments

Journal ref: A&A 616, A18 (2018)

The Mass Transference Principle: Ten Years On

Authors: Demi Allen, Sascha Troscheit

Abstract: In this article we discuss the Mass Transference Principle due to Beresnevich and Velani and survey several generalisations and variants, both deterministic and random. Using a Hausdorff measure analogue of the inhomogeneous Khintchine-Groshev Theorem, proved recently via an extension of the Mass Transference Principle to systems of linear forms, we give an alternative proof of a general inhomogen… ▽ More In this article we discuss the Mass Transference Principle due to Beresnevich and Velani and survey several generalisations and variants, both deterministic and random. Using a Hausdorff measure analogue of the inhomogeneous Khintchine-Groshev Theorem, proved recently via an extension of the Mass Transference Principle to systems of linear forms, we give an alternative proof of a general inhomogeneous Jarník-Besicovitch Theorem which was originally proved by Levesley. We additionally show that without monotonicity Levesley's theorem no longer holds in general. Thereafter, we discuss recent advances by Wang, Wu and Xu towards mass transference principles where one transitions from $\limsup$ sets defined by balls to $\limsup$ sets defined by rectangles (rather than from "balls to balls" as is the case in the original Mass Transference Principle). Furthermore, we consider mass transference principles for transitioning from rectangles to rectangles and extend known results using a slicing technique. We end this article with a brief survey of random analogues of the Mass Transference Principle. △ Less

Submitted 9 May, 2017; v1 submitted 21 April, 2017; originally announced April 2017.

Comments: Survey, 31 pages, this version includes some corrections to our proof of Theorem 3.8

MSC Class: 11J83; 28A78; 11K60; 11J13; 60D05

A Mass Transference Principle for systems of linear forms and its applications

Authors: Demi Allen, Victor Beresnevich

Abstract: In this paper we establish a general form of the Mass Transference Principle for systems of linear forms conjectured in [1]. We also present a number of applications of this result to problems in Diophantine approximation. These include a general transference of Lebesgue measure Khintchine-Groshev type theorems to Hausdorff measure statements. The statements we obtain are applicable in both the ho… ▽ More In this paper we establish a general form of the Mass Transference Principle for systems of linear forms conjectured in [1]. We also present a number of applications of this result to problems in Diophantine approximation. These include a general transference of Lebesgue measure Khintchine-Groshev type theorems to Hausdorff measure statements. The statements we obtain are applicable in both the homogeneous and inhomogeneous settings as well as allowing transference under any additional constraints on approximating integer points. In particular, we establish Hausdorff measure counterparts of some Khintchine-Groshev type theorems with primitivity constraints recently proved by Dani, Laurent and Nogueira [8]. △ Less

Submitted 15 May, 2017; v1 submitted 29 March, 2017; originally announced March 2017.

Comments: 35 pages, some typos from the previous version have been corrected and the proofs of Corollary 1 and Lemma 4 have been updated

MSC Class: 11J83; 28A78; 11J13; 11K60

Journal ref: Compositio Math. 154 (2018) 1014-1047

Efficient Modelling & Forecasting with range based volatility models and application

Authors: Kok-Haur Ng, Shelton Peiris, Jennifer So-kuen-Chan, David Allen, Kooi-Huat Ng

Abstract: This paper considers an alternative method for fitting CARR models using combined estimating functions (CEF) by showing its usefulness in applications in economics and quantitative finance. The associated information matrix for corresponding new estimates is derived to calculate the standard errors. A simulation study is carried out to demonstrate its superiority relative to other two competitors:… ▽ More This paper considers an alternative method for fitting CARR models using combined estimating functions (CEF) by showing its usefulness in applications in economics and quantitative finance. The associated information matrix for corresponding new estimates is derived to calculate the standard errors. A simulation study is carried out to demonstrate its superiority relative to other two competitors: linear estimating functions (LEF) and the maximum likelihood (ML). Results show that CEF estimates are more efficient than LEF and ML estimates when the error distribution is mis-specified. Taking a real data set from financial economics, we illustrate the usefulness and applicability of the CEF method in practice and report reliable forecast values to minimize the risk in the decision making process. △ Less

Submitted 7 February, 2017; originally announced February 2017.

Distribution Of Sequences Generated By Certain Simply-Constructed Normal Numbers

Authors: Demi Allen, Sky Brewer

Abstract: In 1949 Wall showed that $x = 0.d_1d_2d_3 \dots$ is normal if and only if $(0.d_nd_{n+1}d_{n+2} \dots)_n$ is a uniformly distributed sequence. In this article, we consider sequences which are slight variants on this. In particular, we show that certain normal numbers of the form $0.a_na_{n+1}a_{n+2} \dots$, where $a_n$ is a sequence of positive integers, give rise in a rather natural way to sequen… ▽ More In 1949 Wall showed that $x = 0.d_1d_2d_3 \dots$ is normal if and only if $(0.d_nd_{n+1}d_{n+2} \dots)_n$ is a uniformly distributed sequence. In this article, we consider sequences which are slight variants on this. In particular, we show that certain normal numbers of the form $0.a_na_{n+1}a_{n+2} \dots$, where $a_n$ is a sequence of positive integers, give rise in a rather natural way to sequences which are not uniformly distributed. Motivated by a result of Davenport and Erdős we also show that for a non-constant integer polynomial the sequence $(0.f(n)f(n+1)f(n+2) \dots)_n$ is not uniformly distributed. △ Less

Submitted 4 November, 2015; originally announced November 2015.

MSC Class: Primary 11K06; Secondary 11K16; 11J71

STIRAP in sodium vapor with picosecond laser pulses

Authors: Jim L. Hicks, Chakree Tanjaroon, Susan D. Allen, Matt Tilley, Steven Hoke, J. Bruce Johnson

Abstract: Experimental measurements and calculations of STIRAP transfer efficiencies were made on a sodium gas starting from the $3^2{\rm S}_{1/2}$ electronic ground state, passing through the $3^2{\rm P}_{1/2}$ and/or the $3^2{\rm P}_{3/2}$ to the $5^2{\rm S}_{1/2}$ state. The lasers used in the experiments had a pulse width of several picoseconds and were close to the Fourier transform limit. Although the… ▽ More Experimental measurements and calculations of STIRAP transfer efficiencies were made on a sodium gas starting from the $3^2{\rm S}_{1/2}$ electronic ground state, passing through the $3^2{\rm P}_{1/2}$ and/or the $3^2{\rm P}_{3/2}$ to the $5^2{\rm S}_{1/2}$ state. The lasers used in the experiments had a pulse width of several picoseconds and were close to the Fourier transform limit. Although the linewidth of the laser was much smaller than the spin orbit splitting between the $3^2{\rm P}_{1/2}$ and $3^2{\rm P}_{3/2}$ states, Experiments and calculations reveal that both 3p states play a role in the transfer efficiency when the lasers are tuned to resonance through the $3^2{\rm P}_{1/2}$ state, revealing evidence for quantum interference between the competing pathways. △ Less

Submitted 1 August, 2017; v1 submitted 14 October, 2015; originally announced October 2015.

Comments: 16 pages, 13 figures

Journal ref: Phys. Rev. A 96, 023803 (2017)

Characterization of the Reflectivity of Various Black Materials

Authors: Jennifer L. Marshall, Patrick Williams, Jean-Philippe Rheault, Travis Prochaska, Richard D. Allen, D. L. DePoy

Abstract: We present total and specular reflectance measurements of various materials that are commonly (and uncommonly) used to provide baffling and/or to minimize the effect of stray light in optical systems. More specifically, we investigate the advantage of using certain black surfaces and their role in suppressing stray light on detectors in optical systems. We measure the total reflectance of the samp… ▽ More We present total and specular reflectance measurements of various materials that are commonly (and uncommonly) used to provide baffling and/or to minimize the effect of stray light in optical systems. More specifically, we investigate the advantage of using certain black surfaces and their role in suppressing stray light on detectors in optical systems. We measure the total reflectance of the samples over a broad wavelength range (250 < lambda < 2500 nm) that is of interest to astronomical instruments in the ultraviolet, visible, and near-infrared regimes. Additionally, we use a helium-neon laser to measure the specular reflectance of the samples at various angles. Finally, we compare these two measurements and derive the specular fraction for each sample. △ Less

Submitted 30 July, 2014; originally announced July 2014.

Summary of the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1)

Authors: Daniel S. Katz, Sou-Cheng T. Choi, Hilmar Lapp, Ketan Maheshwari, Frank Löffler, Matthew Turk, Marcus D. Hanwell, Nancy Wilkins-Diehr, James Hetherington, James Howison, Shel Swenson, Gabrielle D. Allen, Anne C. Elster, Bruce Berriman, Colin Venters

Abstract: Challenges related to development, deployment, and maintenance of reusable software for science are becoming a growing concern. Many scientists' research increasingly depends on the quality and availability of software upon which their works are built. To highlight some of these issues and share experiences, the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1)… ▽ More Challenges related to development, deployment, and maintenance of reusable software for science are becoming a growing concern. Many scientists' research increasingly depends on the quality and availability of software upon which their works are built. To highlight some of these issues and share experiences, the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1) was held in November 2013 in conjunction with the SC13 Conference. The workshop featured keynote presentations and a large number (54) of solicited extended abstracts that were grouped into three themes and presented via panels. A set of collaborative notes of the presentations and discussion was taken during the workshop. Unique perspectives were captured about issues such as comprehensive documentation, development and deployment practices, software licenses and career paths for developers. Attribution systems that account for evidence of software contribution and impact were also discussed. These include mechanisms such as Digital Object Identifiers, publication of "software papers", and the use of online systems, for example source code repositories like GitHub. This paper summarizes the issues and shared experiences that were discussed, including cross-cutting issues and use cases. It joins a nascent literature seeking to understand what drives software work in science, and how it is impacted by the reward systems of science. These incentives can determine the extent to which developers are motivated to build software for the long-term, for the use of others, and whether to work collaboratively or separately. It also explores community building, leadership, and dynamics in relation to successful scientific software. △ Less

Submitted 12 June, 2014; v1 submitted 29 April, 2014; originally announced April 2014.

Comments: Journal of Open Research Software, 2014

Geotagging One Hundred Million Twitter Accounts with Total Variation Minimization

Authors: Ryan Compton, David Jurgens, David Allen

Abstract: Geographically annotated social media is extremely valuable for modern information retrieval. However, when researchers can only access publicly-visible data, one quickly finds that social media users rarely publish location information. In this work, we provide a method which can geolocate the overwhelming majority of active Twitter users, independent of their location sharing preferences, using… ▽ More Geographically annotated social media is extremely valuable for modern information retrieval. However, when researchers can only access publicly-visible data, one quickly finds that social media users rarely publish location information. In this work, we provide a method which can geolocate the overwhelming majority of active Twitter users, independent of their location sharing preferences, using only publicly-visible Twitter data. Our method infers an unknown user's location by examining their friend's locations. We frame the geotagging problem as an optimization over a social network with a total variation-based objective and provide a scalable and distributed algorithm for its solution. Furthermore, we show how a robust estimate of the geographic dispersion of each user's ego network can be used as a per-user accuracy measure which is effective at removing outlying errors. Leave-many-out evaluation shows that our method is able to infer location for 101,846,236 Twitter users at a median error of 6.38 km, allowing us to geotag over 80\% of public tweets. △ Less

Submitted 3 March, 2015; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: 9 pages, 8 figures, accepted to IEEE BigData 2014, Compton, Ryan, David Jurgens, and David Allen. "Geotagging one hundred million twitter accounts with total variation minimization." Big Data (Big Data), 2014 IEEE International Conference on. IEEE, 2014

MSC Class: 68T99 ACM Class: G.1.6; H.2.8; H.3.4

Toward robust phase-locking in Melibe swim central pattern generator models

Authors: Sajiya Jalil, Dane Allen, Joe Youker, Andrey Shilnikov

Abstract: Small groups of interneurons, abbreviated by CPG for central pattern generators, are arranged into neural networks to generate a variety of core bursting rhythms with specific phase-locked states, on distinct time scales, that govern vital motor behaviors in invertebrates such as chewing, swimming, etc. These movements in lower level animals mimic motions of organs in higher animals due to evoluti… ▽ More Small groups of interneurons, abbreviated by CPG for central pattern generators, are arranged into neural networks to generate a variety of core bursting rhythms with specific phase-locked states, on distinct time scales, that govern vital motor behaviors in invertebrates such as chewing, swimming, etc. These movements in lower level animals mimic motions of organs in higher animals due to evolutionarily conserved mechanisms. Hence, various neurological diseases can be linked to abnormal movement of body parts that are regulated by a malfunctioning CPG. In this paper, we, being inspired by recent experimental studies of neuronal activity patterns recorded from a swimming motion CPG of the sea slug {\it Melibe leonina}, examine a mathematical model of a 4-cell network that can plausibly and stably underlie the observed bursting rhythm. We develop a dynamical systems framework for explaining the existence and robustness of phase-locked states in activity patterns produced by the modeled CPGs. The proposed tools can be used for identifying core components for other CPG networks with reliable bursting outcomes and specific phase relationships between the interneurons. Our findings can be employed for identifying or implementing the conditions for normal and pathological functioning of basic CPGs of animals and artificially intelligent prosthetics that can regulate various movements. △ Less

Submitted 3 October, 2013; originally announced October 2013.

Report number: Chaos 2013

A new physical phenomenon in ultra-high energy collisions

Authors: Glennys R. Farrar, Jeffrey D. Allen

Abstract: We show that combining the published Pierre Auger Observatory measurements of the longitudinal_and_ lateral properties of UHE atmospheric showers, points to an unforeseen change in the nature of particle interactions at ultrahigh energy. A "toy model" of UHE proton-air interactions is presented which provides the first fully consistent description of air shower observations. It demonstrates that t… ▽ More We show that combining the published Pierre Auger Observatory measurements of the longitudinal_and_ lateral properties of UHE atmospheric showers, points to an unforeseen change in the nature of particle interactions at ultrahigh energy. A "toy model" of UHE proton-air interactions is presented which provides the first fully consistent description of air shower observations. It demonstrates that the observed energy dependence of the depth-of-shower-maximum distribution may not indicate a transition to a heavier composition, as commonly assumed. While fundamentally phenomenological, the model is based on considerations of how the normal vacuum of QCD might be vaporized and chiral symmetry restored by the extreme energy densities produced in UHE collisions. Whatever its origin, understanding this unexpected phenomenon opens exciting directions in particle physics and may impact Early Universe cosmology. △ Less

Submitted 8 July, 2013; originally announced July 2013.

Comments: Based on talk given Feb. 14, 2012 at UHECR 2012 - International Symposium on Future Directions in UHECR Physics, CERN, Geneva

Journal ref: EPJ Web of Conferences, Volume 53, 2013 id.07007

New Advances in Inference by Recursive Conditioning

Authors: David Allen, Adnan Darwiche

Abstract: Recursive Conditioning (RC) was introduced recently as the first any-space algorithm for inference in Bayesian networks which can trade time for space by varying the size of its cache at the increment needed to store a floating point number. Under full caching, RC has an asymptotic time and space complexity which is comparable to mainstream algorithms based on variable elimination… ▽ More Recursive Conditioning (RC) was introduced recently as the first any-space algorithm for inference in Bayesian networks which can trade time for space by varying the size of its cache at the increment needed to store a floating point number. Under full caching, RC has an asymptotic time and space complexity which is comparable to mainstream algorithms based on variable elimination and clustering (exponential in the network treewidth and linear in its size). We show two main results about RC in this paper. First, we show that its actual space requirements under full caching are much more modest than those needed by mainstream methods and study the implications of this finding. Second, we show that RC can effectively deal with determinism in Bayesian networks by employing standard logical techniques, such as unit resolution, allowing a significant reduction in its time requirements in certain cases. We illustrate our results using a number of benchmark networks, including the very challenging ones that arise in genetic linkage analysis. △ Less

Submitted 19 October, 2012; originally announced December 2012.

Comments: Appears in Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI2003)

Report number: UAI-P-2003-PG-2-10

Elemental abundances and classification of CEMP stars

Authors: Dinah M. Allen, Sean G. Ryan, Silvia Rossi, Tim C. Beers, Stelios A. Tsangarides

Abstract: We present a detailed study of Carbon-Enhanced Metal-Poor (CEMP) stars, based on high-resolution spectroscopic observations of a sample of 18 stars. The stellar spectra for this sample were obtained at the 4.2m William Herschel Telescope (WHT) in 2001 and 2002, using the Utrecht Echelle Spectrograph (UES), at a resolving power R ~52000 and S/N ~ 40, covering the wavelength range lambda-lambda 3700… ▽ More We present a detailed study of Carbon-Enhanced Metal-Poor (CEMP) stars, based on high-resolution spectroscopic observations of a sample of 18 stars. The stellar spectra for this sample were obtained at the 4.2m William Herschel Telescope (WHT) in 2001 and 2002, using the Utrecht Echelle Spectrograph (UES), at a resolving power R ~52000 and S/N ~ 40, covering the wavelength range lambda-lambda 3700-5700 A. The atmospheric parameters determined for this sample indicate temperatures ranging from 4750 C to 7100 K, log g from 1.5 to 4.3, and metallicities -3.0 <= [Fe/H] <= -1.7. Elemental abundances for C, Na, Mg, Sc, Ti, Cr, Cu, Zn, Sr, Y, Zr, Ba, La, Ce, Nd, Sm, Eu, Gd, Dy are determined. Abundances for an additional 109 stars were taken from the literature and combined with the data of our sample. The literature sample reveals a lack of reliable abundance estimates for species that might be associated with the r-process elements for about 67% of CEMP stars, preventing a complete understanding of this class of stars, since [Ba/Eu] ratios are used to classify them. Although eight stars in our observed sample are also found in the literature sample, Eu abundances or limits are determined for four of these stars for the first time. From the observed correlations between C, Ba, and Eu, we argue that the CEMP-r/s class has the same astronomical origin as CEMP-s stars, highlighting the need for a more complete understanding of Eu production. △ Less

Submitted 17 October, 2012; originally announced October 2012.

Comments: Accepted to be published at A&A. 7 figures; 16 tables; 37 pages

Exploiting Evidence in Probabilistic Inference

Authors: Mark Chavira, David Allen, Adnan Darwiche

Abstract: We define the notion of compiling a Bayesian network with evidence and provide a specific approach for evidence-based compilation, which makes use of logical processing. The approach is practical and advantageous in a number of application areas-including maximum likelihood estimation, sensitivity analysis, and MAP computations-and we provide specific empirical results in the domain of genetic lin… ▽ More We define the notion of compiling a Bayesian network with evidence and provide a specific approach for evidence-based compilation, which makes use of logical processing. The approach is practical and advantageous in a number of application areas-including maximum likelihood estimation, sensitivity analysis, and MAP computations-and we provide specific empirical results in the domain of genetic linkage analysis. We also show that the approach is applicable for networks that do not contain determinism, and show that it empirically subsumes the performance of the quickscore algorithm when applied to noisy-or networks. △ Less

Submitted 4 July, 2012; originally announced July 2012.

Comments: Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

Report number: UAI-P-2005-PG-112-119

Periodicity and perfect state transfer in quantum walks on variants of cycles

Authors: K. Barr, T. Proctor, D. Allen, V. Kendon

Abstract: We systematically investigated perfect state transfer between antipodal nodes of discrete time quantum walks on variants of the cycles C_4, C_6 and C_8 for three choices of coin operator. Perfect state transfer was found, in general, to be very rare, only being preserved for a very small number of ways of modifying the cycles. We observed that some of our useful modifications of C_4 could be gener… ▽ More We systematically investigated perfect state transfer between antipodal nodes of discrete time quantum walks on variants of the cycles C_4, C_6 and C_8 for three choices of coin operator. Perfect state transfer was found, in general, to be very rare, only being preserved for a very small number of ways of modifying the cycles. We observed that some of our useful modifications of C_4 could be generalised to an arbitrary number of nodes, and present three families of graphs which admit quantum walks with interesting dynamics either in the continuous time walk, or in the discrete time walk for appropriate selections of coin and initial conditions. These dynamics are either periodicity, perfect state transfer, or very high fidelity state transfer. These families are modifications of families known not to exhibit periodicity or perfect state transfer in general. The robustness of the dynamics is tested by varying the initial state, interpolating between structures and by adding decoherence. △ Less

Submitted 26 February, 2013; v1 submitted 26 April, 2012; originally announced April 2012.

Comments: v3, 27 pages. Substantial revisions with new material added. References fixed

Journal ref: Quantum Information & Computation (Rinton Press) Vol. 14, No. 5&6, pp 417-438 2014

Three Dimensionial Surface Modelling: A Novel Analysis Technique for Non-Destructive X-Ray Diffraction Imaging of Semiconductor Die Warpage & Strain in Fully Encapsulated Integrated Circuits

Authors: J. Stopford, A. Henry, D. Allen, N. Bennett, D. Manessis, L. Boettcher, J. Wittge, A. N. Danilewsky, P. J. McNally

Abstract: Future complementary metal oxide semiconductor (CMOS) scaling for advanced integrated circuit (IC) technologies may well depend on "More than Moore" (MtM) approaches using heterogeneous integration of semiconductor-based devices. In order to realise this, advanced packaging technologies including System in Package (SiP), System on Chip (SoC) and 3D Integrated Circuits (3D ICs) are key enabling tec… ▽ More Future complementary metal oxide semiconductor (CMOS) scaling for advanced integrated circuit (IC) technologies may well depend on "More than Moore" (MtM) approaches using heterogeneous integration of semiconductor-based devices. In order to realise this, advanced packaging technologies including System in Package (SiP), System on Chip (SoC) and 3D Integrated Circuits (3D ICs) are key enabling technologies. However, these advanced packages are plagued by reliability problems and to date there is no proven or accepted non-destructive metrology which can simultaneously probe materials properties such as strain, warpage, dislocation generation, etc. in these systems from bare silicon die through to a fully encapsulated packaged system. We report herein on the development of a novel, x-ray diffraction amd analysis technique, which can address this major metrology gap, and we demonstrate the non-destructive production of X-Y spatial maps of deformations and strain fields in Si die inside fully encapsulated integrated circuit packages. The technique, which we call 3-dimensional surface modelling (3DSM), is used to obtain high resolution (~3 μm) strain/warpage maps, and quantitative information on the nature and extent of warpage in a demonstration quad no flat lead (QFN) advanced package running from early stage silicon die bonding through to the end of the manufacturing process, i.e. a fully encapsulated and production ready chip. △ Less

Submitted 6 April, 2012; originally announced April 2012.

Surrogate Parenthood: Protected and Informative Graphs

Authors: Barbara Blaustein, Adriane Chapman, Len Seligman, M. David Allen, Arnon Rosenthal

Abstract: Many applications, including provenance and some analyses of social networks, require path-based queries over graph-structured data. When these graphs contain sensitive information, paths may be broken, resulting in uninformative query results. This paper presents innovative techniques that give users more informative graph query results; the techniques leverage a common industry practice of provi… ▽ More Many applications, including provenance and some analyses of social networks, require path-based queries over graph-structured data. When these graphs contain sensitive information, paths may be broken, resulting in uninformative query results. This paper presents innovative techniques that give users more informative graph query results; the techniques leverage a common industry practice of providing what we call surrogates: alternate, less sensitive versions of nodes and edges releasable to a broader community. We describe techniques for interposing surrogate nodes and edges to protect sensitive graph components, while maximizing graph connectivity and giving users as much information as possible. In this work, we formalize the problem of creating a protected account G' of a graph G. We provide a utility measure to compare the informativeness of alternate protected accounts and an opacity measure for protected accounts, which indicates the likelihood that an attacker can recreate the topology of the original graph from the protected account. We provide an algorithm to create a maximally useful protected account of a sensitive graph, and show through evaluation with the PLUS prototype that using surrogates and protected accounts adds value for the user, with no significant impact on the time required to generate results for graph queries. △ Less

Submitted 17 June, 2011; originally announced June 2011.

Comments: VLDB2011

Mn, Cu and Zn abundances in barium stars and their correlations with neutron capture elements

Authors: Dinah M. Allen, Gustavo F. Porto de Mello

Abstract: We present abundances of Mn, Cu, Zn and various light and heavy elements for a sample of barium and normal giant stars, and present correlations between abundances contributed to different degrees by the weak-s, main-s, and r-processes of neutron capture, between Fe-peak elements and heavy elements. Data from the literature are also considered in order to better study the abundance pattern of pecu… ▽ More We present abundances of Mn, Cu, Zn and various light and heavy elements for a sample of barium and normal giant stars, and present correlations between abundances contributed to different degrees by the weak-s, main-s, and r-processes of neutron capture, between Fe-peak elements and heavy elements. Data from the literature are also considered in order to better study the abundance pattern of peculiar stars. The stellar spectra were observed with FEROS/ESO, and the stellar atmospheric parameters of the 8 barium giant stars and 6 normal giants analyzed by us lie in the range 4300 < T_eff/K < 5300, -0.7 < [Fe/H] <= 0.12 and 1.5 <= log g < 2.9. Carbon and nitrogen abundances were derived by the spectral synthesis of molecular bands of C_2, CH and CN. For all the other elements, atomic lines were used to perform the spectral synthesis. A very large scatter was found when data from the literature were considered, mainly for the Mn abundances. We found that [Zn/Fe] correlates well with the heavy element excesses, its abundance clearly increasing as the heavy element excesses increase, a trend not shown by the [Cu/Fe] and [Mn/Fe] ratios. Also, the excess of Mn, Cu and Zn relative to heavy elements usually show an increasing trend toward higher metallicities. Our results suggest that a larger fraction of the synthesis of Zn is owed to massive stars than is the case of Cu, and that the contribution of the main-s process to the synthesis of both elements is small. We also conclude that Mn is mostly synthesized by SN Ia, and that a non-negligible fraction of the synthesis of Mn, Cu and Zn is owed to the weak s-process. △ Less

Submitted 26 October, 2010; v1 submitted 23 September, 2010; originally announced September 2010.

Comments: 17 pages, 8 figures, 7 tables; accepted to be published in A&A; in press

The Role of Schema Matching in Large Enterprises

Authors: Ken Smith, Michael Morse, Peter Mork, Maya Li, Arnon Rosenthal, David Allen, Len Seligman, Chris Wolf

Abstract: To date, the principal use case for schema matching research has been as a precursor for code generation, i.e., constructing map**s between schema elements with the end goal of data transfer. In this paper, we argue that schema matching plays valuable roles independent of map** construction, especially as schemata grow to industrial scales. Specifically, in large enterprises human decision m… ▽ More To date, the principal use case for schema matching research has been as a precursor for code generation, i.e., constructing map**s between schema elements with the end goal of data transfer. In this paper, we argue that schema matching plays valuable roles independent of map** construction, especially as schemata grow to industrial scales. Specifically, in large enterprises human decision makers and planners are often the immediate consumer of information derived from schema matchers, instead of schema map** tools. We list a set of real application areas illustrating this role for schema matching, and then present our experiences tackling a customer problem in one of these areas. We describe the matcher used, where the tool was effective, where it fell short, and our lessons learned about how well current schema matching technology is suited for use in large enterprises. Finally, we suggest a new agenda for schema matching research based on these experiences. △ Less

Submitted 9 September, 2009; originally announced September 2009.

Comments: CIDR 2009

A Recommender System to Support the Scholarly Communication Process

Authors: Marko A. Rodriguez, David W. Allen, Joshua Shinavier, Gary Ebersole

Abstract: The number of researchers, articles, journals, conferences, funding opportunities, and other such scholarly resources continues to grow every year and at an increasing rate. Many services have emerged to support scholars in navigating particular aspects of this resource-rich environment. Some commercial publishers provide recommender and alert services for the articles and journals in their digi… ▽ More The number of researchers, articles, journals, conferences, funding opportunities, and other such scholarly resources continues to grow every year and at an increasing rate. Many services have emerged to support scholars in navigating particular aspects of this resource-rich environment. Some commercial publishers provide recommender and alert services for the articles and journals in their digital libraries. Similarly, numerous noncommercial social bookmarking services have emerged for citation sharing. While these services do provide some support, they lack an understanding of the various problem-solving scenarios that researchers face daily. Example scenarios, to name a few, include when a scholar is in search of an article related to another article of interest, when a scholar is in search of a potential collaborator for a funding opportunity, when a scholar is in search of an optimal venue to which to submit their article, and when a scholar, in the role of an editor, is in search of referees to review an article. All of these example scenarios can be represented as a problem in information filtering by means of context-sensitive recommendation. This article presents an overview of a context-sensitive recommender system to support the scholarly communication process that is based on the standards and technology set forth by the Semantic Web initiative. △ Less

Submitted 11 May, 2009; originally announced May 2009.

Report number: KRS-2009-02 ACM Class: H.3.5; H.3.7; G.2.2

HD 11397 and HD 14282 - Two new barium stars?

Authors: L. Pompeia, D. M. Allen

Abstract: We have performed a detailed abundance analysis of the content of s-process elements of two dwarf stars with suspected overabundace of those elements. Such stars belong to a special kinematic sample of the solar neighborhood, with peculiar kinematics and different chemical abundances when compared to "normal" disk stars. We aim to define if those stars can be identified as barium stars, based on… ▽ More We have performed a detailed abundance analysis of the content of s-process elements of two dwarf stars with suspected overabundace of those elements. Such stars belong to a special kinematic sample of the solar neighborhood, with peculiar kinematics and different chemical abundances when compared to "normal" disk stars. We aim to define if those stars can be identified as barium stars, based on their s-process elements abundances, and their classification, i.e., if they share their chemical profile with strong or mild barium stars. We also intend to shed light on the possible origins of the different kinds of barium stars. Spectra have been taken by using the FEROS spectrograph at the 1.52m telescope of ESO, La Silla. Abundances have been derived for 18 elements, by matching the synthetic profile with the observed spectrum. We have found that HD 11397 shows a mild enhancement for most of the s-process elements as well as for some r-process elements. This star seems to share its abundance profile with the mild Ba-stars. Although showing some slight chemical anomalies for Y, Sr, Mo, and Pb, HD 14282 depicts a chemical pattern similar to the normal stars with slight s-process enhancements. △ Less

Submitted 5 March, 2009; originally announced March 2009.

Comments: 11 pages, 5 figures