Showing 1–27 of 27 results for author: Quinn, D

Accuracy-Privacy Trade-off in the Mitigation of Membership Inference Attack in Federated Learning

Authors: Sayyed Farid Ahamed, Soumya Banerjee, Sandip Roy, Devin Quinn, Marc Vucovich, Kevin Choi, Abdul Rahman, Alison Hu, Edward Bowen, Sachin Shetty

Abstract: Over the last few years, federated learning (FL) has emerged as a prominent method in machine learning, emphasizing privacy preservation by allowing multiple clients to collaboratively build a model while keeping their training data private. Despite this focus on privacy, FL models are susceptible to various attacks, including membership inference attacks (MIAs), posing a serious threat to data co… ▽ More Over the last few years, federated learning (FL) has emerged as a prominent method in machine learning, emphasizing privacy preservation by allowing multiple clients to collaboratively build a model while keeping their training data private. Despite this focus on privacy, FL models are susceptible to various attacks, including membership inference attacks (MIAs), posing a serious threat to data confidentiality. In a recent study, Rezaei \textit{et al.} revealed the existence of an accuracy-privacy trade-off in deep ensembles and proposed a few fusion strategies to overcome it. In this paper, we aim to explore the relationship between deep ensembles and FL. Specifically, we investigate whether confidence-based metrics derived from deep ensembles apply to FL and whether there is a trade-off between accuracy and privacy in FL with respect to MIA. Empirical investigations illustrate a lack of a non-monotonic correlation between the number of clients and the accuracy-privacy trade-off. By experimenting with different numbers of federated clients, datasets, and confidence-metric-based fusion strategies, we identify and analytically justify the clear existence of the accuracy-privacy trade-off. △ Less

Submitted 26 July, 2024; originally announced July 2024.

A Reduced Order Model conditioned on monitoring features for estimation and uncertainty quantification in engineered systems

Authors: Konstantinos Vlachas, Thomas Simpson, Anthony Garland, D. Dane Quinn, Charbel Farhat, Eleni Chatzi

Abstract: Reduced Order Models (ROMs) form essential tools across engineering domains by virtue of their function as surrogates for computationally intensive digital twinning simulators. Although purely data-driven methods are available for ROM construction, schemes that allow to retain a portion of the physics tend to enhance the interpretability and generalization of ROMs. However, physics-based technique… ▽ More Reduced Order Models (ROMs) form essential tools across engineering domains by virtue of their function as surrogates for computationally intensive digital twinning simulators. Although purely data-driven methods are available for ROM construction, schemes that allow to retain a portion of the physics tend to enhance the interpretability and generalization of ROMs. However, physics-based techniques can adversely scale when dealing with nonlinear systems that feature parametric dependencies. This study introduces a generative physics-based ROM that is suited for nonlinear systems with parametric dependencies and is additionally able to quantify the confidence associated with the respective estimates. A main contribution of this work is the conditioning of these parametric ROMs to features that can be derived from monitoring measurements, feasibly in an online fashion. This is contrary to most existing ROM schemes, which remain restricted to the prescription of the physics-based, and usually a priori unknown, system parameters. Our work utilizes conditional Variational Autoencoders to continuously map the required reduction bases to a feature vector extracted from limited output measurements, while additionally allowing for a probabilistic assessment of the ROM-estimated Quantities of Interest. An auxiliary task using a neural network-based parametrization of suitable probability distributions is introduced to re-establish the link with physical model parameters. We verify the proposed scheme on a series of simulated case studies incorporating effects of geometric and material nonlinearity under parametric dependencies related to system properties and input load characteristics. △ Less

Submitted 24 July, 2024; originally announced July 2024.

A community palm model

Authors: Nicholas Clinton, Andreas Vollrath, Remi D'annunzio, Desheng Liu, Henry B. Glick, Adrià Descals, Alicia Sullivan, Oliver Guinan, Jacob Abramowitz, Fred Stolle, Chris Goodman, Tanya Birch, David Quinn, Olga Danylo, Tijs Lips, Daniel Coelho, Enikoe Bihari, Bryce Cronkite-Ratcliff, Ate Poortinga, Atena Haghighattalab, Evan Notman, Michael DeWitt, Aaron Yonas, Gennadii Donchyts, Devaja Shah , et al. (5 additional authors not shown)

Abstract: Palm oil production has been identified as one of the major drivers of deforestation for tropical countries. To meet supply chain objectives, commodity producers and other stakeholders need timely information of land cover dynamics in their supply shed. However, such data are difficult to obtain from suppliers who may lack digital geographic representations of their supply sheds and production loc… ▽ More Palm oil production has been identified as one of the major drivers of deforestation for tropical countries. To meet supply chain objectives, commodity producers and other stakeholders need timely information of land cover dynamics in their supply shed. However, such data are difficult to obtain from suppliers who may lack digital geographic representations of their supply sheds and production locations. Here we present a "community model," a machine learning model trained on pooled data sourced from many different stakeholders, to develop a specific land cover probability map, in this case a semi-global oil palm map. An advantage of this method is the inclusion of varied inputs, the ability to easily update the model as new training data becomes available and run the model on any year that input imagery is available. Inclusion of diverse data sources into one probability map can help establish a shared understanding across stakeholders on the presence and absence of a land cover or commodity (in this case oil palm). The model predictors are annual composites built from publicly available satellite imagery provided by Sentinel-1, Sentinel-2, and ALOS DSM. We provide map outputs as the probability of palm in a given pixel, to reflect the uncertainty of the underlying state (palm or not palm). The initial version of this model provides global accuracy estimated to be approximately 90% (at 0.5 probability threshold) from spatially partitioned test data. This model, and resulting oil palm probability map products are useful for accurately identifying the geographic footprint of palm cultivation. Used in conjunction with timely deforestation information, this palm model is useful for understanding the risk of continued oil palm plantation expansion in sensitive forest areas. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: v0

FedBayes: A Zero-Trust Federated Learning Aggregation to Defend Against Adversarial Attacks

Authors: Marc Vucovich, Devin Quinn, Kevin Choi, Christopher Redino, Abdul Rahman, Edward Bowen

Abstract: Federated learning has created a decentralized method to train a machine learning model without needing direct access to client data. The main goal of a federated learning architecture is to protect the privacy of each client while still contributing to the training of the global model. However, the main advantage of privacy in federated learning is also the easiest aspect to exploit. Without bein… ▽ More Federated learning has created a decentralized method to train a machine learning model without needing direct access to client data. The main goal of a federated learning architecture is to protect the privacy of each client while still contributing to the training of the global model. However, the main advantage of privacy in federated learning is also the easiest aspect to exploit. Without being able to see the clients' data, it is difficult to determine the quality of the data. By utilizing data poisoning methods, such as backdoor or label-flipping attacks, or by sending manipulated information about their data back to the server, malicious clients are able to corrupt the global model and degrade performance across all clients within a federation. Our novel aggregation method, FedBayes, mitigates the effect of a malicious client by calculating the probabilities of a client's model weights given to the prior model's weights using Bayesian statistics. Our results show that this approach negates the effects of malicious clients and protects the overall federation. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: Accepted to IEEE CCWC 2024

MIA-BAD: An Approach for Enhancing Membership Inference Attack and its Mitigation with Federated Learning

Authors: Soumya Banerjee, Sandip Roy, Sayyed Farid Ahamed, Devin Quinn, Marc Vucovich, Dhruv Nandakumar, Kevin Choi, Abdul Rahman, Edward Bowen, Sachin Shetty

Abstract: The membership inference attack (MIA) is a popular paradigm for compromising the privacy of a machine learning (ML) model. MIA exploits the natural inclination of ML models to overfit upon the training data. MIAs are trained to distinguish between training and testing prediction confidence to infer membership information. Federated Learning (FL) is a privacy-preserving ML paradigm that enables mul… ▽ More The membership inference attack (MIA) is a popular paradigm for compromising the privacy of a machine learning (ML) model. MIA exploits the natural inclination of ML models to overfit upon the training data. MIAs are trained to distinguish between training and testing prediction confidence to infer membership information. Federated Learning (FL) is a privacy-preserving ML paradigm that enables multiple clients to train a unified model without disclosing their private data. In this paper, we propose an enhanced Membership Inference Attack with the Batch-wise generated Attack Dataset (MIA-BAD), a modification to the MIA approach. We investigate that the MIA is more accurate when the attack dataset is generated batch-wise. This quantitatively decreases the attack dataset while qualitatively improving it. We show how training an ML model through FL, has some distinct advantages and investigate how the threat introduced with the proposed MIA-BAD approach can be mitigated with FL approaches. Finally, we demonstrate the qualitative effects of the proposed MIA-BAD methodology by conducting extensive experiments with various target datasets, variable numbers of federated clients, and training batch sizes. △ Less

Submitted 28 November, 2023; originally announced December 2023.

Comments: 6 pages, 5 figures, Accepted to be published in ICNC 23

Monte Carlo Simulation Development and Implementation of the GiBUU Model for Neutrino Experiments

Authors: Leonidas Aliaga Soplin, Raquel Castillo Fernandez, Jasper Gustafson, Declan Quinn, Shweta Yadav

Abstract: This paper introduces a Monte Carlo simulation generated with the GiBUU model for neutrino experiments. The simulation generates realistic neutrino event samples, contributing to the prediction and interpretation of experimental outcomes. The results showcase the performance of the GiBUU-based simulation framework, emphasizing its fidelity to the original GiBUU cross-section model. This first impl… ▽ More This paper introduces a Monte Carlo simulation generated with the GiBUU model for neutrino experiments. The simulation generates realistic neutrino event samples, contributing to the prediction and interpretation of experimental outcomes. The results showcase the performance of the GiBUU-based simulation framework, emphasizing its fidelity to the original GiBUU cross-section model. This first implementation enables future work on developing the infrastructure to propagate systematic uncertainties. These contributions enhance the precision of experimental predictions and provide a platform for further exploration in future studies. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 7 pages, 6 figures

Foundational Models for Malware Embeddings Using Spatio-Temporal Parallel Convolutional Networks

Authors: Dhruv Nandakumar, Devin Quinn, Elijah Soba, Eunyoung Kim, Christopher Redino, Chris Chan, Kevin Choi, Abdul Rahman, Edward Bowen

Abstract: In today's interconnected digital landscape, the proliferation of malware poses a significant threat to the security and stability of computer networks and systems worldwide. As the complexity of malicious tactics, techniques, and procedures (TTPs) continuously grows to evade detection, so does the need for advanced methods capable of capturing and characterizing malware behavior. The current stat… ▽ More In today's interconnected digital landscape, the proliferation of malware poses a significant threat to the security and stability of computer networks and systems worldwide. As the complexity of malicious tactics, techniques, and procedures (TTPs) continuously grows to evade detection, so does the need for advanced methods capable of capturing and characterizing malware behavior. The current state of the art in malware classification and detection uses task specific objectives; however, this method fails to generalize to other downstream tasks involving the same malware class. In this paper, the authors introduce a novel method that combines convolutional neural networks, standard graph embedding techniques, and a metric learning objective to extract meaningful information from network flow data and create strong embeddings characterizing malware behavior. These embeddings enable the development of highly accurate, efficient, and generalizable machine learning models for tasks such as malware strain classification, zero day threat detection, and closest attack type attribution as demonstrated in this paper. A shift from task specific objectives to strong embeddings will not only allow rapid iteration of cyber-threat detection models, but also allow different modalities to be introduced in the development of these models. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Comments: 10 pages, 6 tables, 2 figures. Preprint, under review

A Bioinspired Synthetic Nervous System Controller for Pick-and-Place Manipulation

Authors: Yanjun Li, Ravesh Sukhnandan, Jeffrey P. Gill, Hillel J. Chiel, Victoria Webster-Wood, Roger D. Quinn

Abstract: The Synthetic Nervous System (SNS) is a biologically inspired neural network (NN). Due to its capability of capturing complex mechanisms underlying neural computation, an SNS model is a candidate for building compact and interpretable NN controllers for robots. Previous work on SNSs has focused on applying the model to the control of legged robots and the design of functional subnetworks (FSNs) to… ▽ More The Synthetic Nervous System (SNS) is a biologically inspired neural network (NN). Due to its capability of capturing complex mechanisms underlying neural computation, an SNS model is a candidate for building compact and interpretable NN controllers for robots. Previous work on SNSs has focused on applying the model to the control of legged robots and the design of functional subnetworks (FSNs) to realize dynamical systems. However, the FSN approach has previously relied on the analytical solution of the governing equations, which is difficult for designing more complex NN controllers. Incorporating plasticity into SNSs and using learning algorithms to tune the parameters offers a promising solution for systematic design in this situation. In this paper, we theoretically analyze the computational advantages of SNSs compared with other classical artificial neural networks. We then use learning algorithms to develop compact subnetworks for implementing addition, subtraction, division, and multiplication. We also combine the learning-based methodology with a bioinspired architecture to design an interpretable SNS for the pick-and-place control of a simulated gantry system. Finally, we show that the SNS controller is successfully transferred to a real-world robotic platform without further tuning of the parameters, verifying the effectiveness of our approach. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Comments: Accepted to ICRA 2023

Revealing the mechanism and scaling laws behind equilibrium altitudes of near-ground pitching hydrofoils

Authors: Tianjun Han, Qiang Zhong, Amin Mivehchi, Daniel B. Quinn, Keith W. Moored

Abstract: A classic lift decomposition (von Kármán & Sears 1938) is conducted on potential flow simulations of a near-ground pitching hydrofoil. It is discovered that previously observed stable and unstable equilibrium altitudes are generated by a balance between positive wake-induced lift and negative quasi-steady lift while the added mass lift doesn't play a role. Using both simulations and experiments, d… ▽ More A classic lift decomposition (von Kármán & Sears 1938) is conducted on potential flow simulations of a near-ground pitching hydrofoil. It is discovered that previously observed stable and unstable equilibrium altitudes are generated by a balance between positive wake-induced lift and negative quasi-steady lift while the added mass lift doesn't play a role. Using both simulations and experiments, detailed analyses of each lift component's near-ground behavior provide further physical insights. When applied to three-dimensional pitching hydrofoils the lift decomposition reveals that the disappearance of equilibrium altitudes for AR < 1.5 occurs due to the magnitude of the quasi-steady lift outweighing the magnitude of the wake-induced lift at all ground distances. Scaling laws for the quasi-steady lift, wake-induced lift and the stable equilibrium altitude are discovered. A simple scaling law for the lift of a steady foil in ground effect is derived. This scaling shows that both circulation enhancement and the velocity induced at a foil's leading edge by the bound vortex of its ground image foil are the essential physics to understand steady ground effect. The scaling laws for unsteady pitching foils can predict the equilibrium altitude to within 20% of its value when St < 0.45. For St equal to or greater than 0.45 there is a wake instability effect, not accounted for in the scaling relations, that significantly alters the wake-induced lift. These results not only provide key physical insights and scaling laws for steady and unsteady ground effect, but also for two schooling hydrofoils in a side-by-side formation with an out-of-phase synchronization. △ Less

Submitted 27 April, 2023; originally announced April 2023.

Introducing the ICBe Dataset: Very High Recall and Precision Event Extraction from Narratives about International Crises

Authors: Rex W. Douglass, Thomas Leo Scherer, J. Andrés Gannon, Erik Gartzke, Jon Lindsay, Shannon Carcelli, Jonathan Wilkenfeld, David M. Quinn, Catherine Aiken, Jose Miguel Cabezas Navarro, Neil Lund, Egle Murauskaite, Diana Partridge

Abstract: How do international crises unfold? We conceptualize of international relations as a strategic chess game between adversaries and develop a systematic way to measure pieces, moves, and gambits accurately and consistently over a hundred years of history. We introduce a new ontology and dataset of international events called ICBe based on a very high-quality corpus of narratives from the Internation… ▽ More How do international crises unfold? We conceptualize of international relations as a strategic chess game between adversaries and develop a systematic way to measure pieces, moves, and gambits accurately and consistently over a hundred years of history. We introduce a new ontology and dataset of international events called ICBe based on a very high-quality corpus of narratives from the International Crisis Behavior (ICB) Project. We demonstrate that ICBe has higher coverage, recall, and precision than existing state of the art datasets and conduct two detailed case studies of the Cuban Missile Crisis (1962) and Crimea-Donbas Crisis (2014). We further introduce two new event visualizations (event icongraphy and crisis maps), an automated benchmark for measuring event recall using natural language processing (sythnetic narratives), and an ontology reconstruction task for objectively measuring event precision. We make the data, online appendix, replication material, and visualizations of every historical episode available at a companion website www.crisisevents.org and the github repository. △ Less

Submitted 26 July, 2022; v1 submitted 14 February, 2022; originally announced February 2022.

Comments: v1.1

Scaling Laws for the Propulsive Performance of a Purely Pitching Foil in Ground Effect

Authors: Amin Mivehchi, Qiang Zhang, Melike Kurt, Daniel B. Quinn, Keith W. Moored

Abstract: Scaling laws for the thrust production and power consumption of a purely pitching hydrofoil in ground effect are presented. For the first time, ground effect scaling laws based on physical insights capture the propulsive performance over a wide range of biologically-relevant Strouhal numbers, dimensionless amplitudes, and dimensionless ground distances. This is achieved by advancing previous scali… ▽ More Scaling laws for the thrust production and power consumption of a purely pitching hydrofoil in ground effect are presented. For the first time, ground effect scaling laws based on physical insights capture the propulsive performance over a wide range of biologically-relevant Strouhal numbers, dimensionless amplitudes, and dimensionless ground distances. This is achieved by advancing previous scaling laws (Moored & Quinn 2018) with physics-driven modifications to the added mass and circulatory forces to account for ground distance variations. The key physics introduced are the increase in the added mass of a foil near the ground and the reduction in the influence of a wake vortex system due to the influence of its image system. The scaling laws are found to be in good agreement with new inviscid simulations and viscous experiments, and can be used to accelerate the design of bio-inspired hydrofoils that oscillate near a ground plane or two out-of-phase foils in a side-by-side arrangement. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Single-molecule FRET dynamics of molecular motors in an ABEL Trap

Authors: Maria Dienerowitz, Jamieson A. L. Howard, Steven D. Quinn, Frank Dienerowitz, Mark C. Leake

Abstract: Single-molecule Förster resonance energy transfer (smFRET) of molecular motors provides transformative insights into their dynamics and conformational changes both at high temporal and spatial resolution simultaneously. However, a key challenge of such FRET investigations is to observe a molecule in action for long enough without restricting its natural function. The Anti-Brownian ELectrokinetic T… ▽ More Single-molecule Förster resonance energy transfer (smFRET) of molecular motors provides transformative insights into their dynamics and conformational changes both at high temporal and spatial resolution simultaneously. However, a key challenge of such FRET investigations is to observe a molecule in action for long enough without restricting its natural function. The Anti-Brownian ELectrokinetic Trap (ABEL trap) sets out to combine smFRET with molecular confinement to enable observation times of up to several seconds while removing any requirement of tethered surface attachment of the molecule in question. In addition, the ABEL trap's inherent ability to selectively capture FRET active molecules accelerates the data acquisition process. Here we exemplify the capabilities of the ABEL trap in performing extended timescale smFRET measurements on the molecular motor Rep, which is crucial for removing protein blocks ahead of the advancing DNA replication machinery and for restarting stalled DNA replication. We are able to monitor single Rep molecules up to 6 s with 1 ms time resolution capturing multiple conformational switching events during the observation time. Here we provide a step-by-step guide for the rational design, construction and implementation of the ABEL trap for smFRET detection of Rep in vitro. We include details of how to model the electric potential at the trap site and use Hidden Markov analysis of the smFRET trajectories. △ Less

Submitted 21 January, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Micro-transfer printing high-efficiency GaAs photovoltaic cells onto silicon for wireless power applications

Authors: Ian Mathews, David Quinn, John Justice, Agnieszka Gocalinska, Emanuele Pelucchi, Ruggero Loi, James O Callaghan, Brian Corbett

Abstract: Here we report the development of high-efficiency microscale GaAs laser power converters, and their successful transfer printing onto silicon substrates, presenting a unique, high power, low-cost and integrated power supply solution for implantable electronics, autonomous systems and internet of things applications. We present 300 μm diameter single-junction GaAs laser power converters and success… ▽ More Here we report the development of high-efficiency microscale GaAs laser power converters, and their successful transfer printing onto silicon substrates, presenting a unique, high power, low-cost and integrated power supply solution for implantable electronics, autonomous systems and internet of things applications. We present 300 μm diameter single-junction GaAs laser power converters and successfully demonstrate the transfer printing of these devices to silicon using a PDMS stamp, achieving optical power conversion efficiencies of 48% and 49% under 35 and 71 W/cm2 808 nm laser illumination respectively. The transferred devices are coated with ITO to increase current spreading and are shown to be capable of handling very high short-circuit current densities up to 70 A/cm2 under 141 W/cm2 illumination intensity (~1400 Suns), while their open circuit voltage reaches 1235 mV, exceeding the values of pre-transfer devices indicating the presence of photon-recycling. These optical power sources could deliver Watts of power to sensors and systems in locations where wired power is not an option, while using a massively parallel, scalable, and low-cost fabrication method for the integration of dissimilar materials and devices. △ Less

Submitted 21 May, 2020; originally announced June 2020.

Comments: 16 pages, 6 figures

The L 98-59 System: Three Transiting, Terrestrial-Sized Planets Orbiting a Nearby M-dwarf

Authors: Veselin B. Kostov, Joshua E. Schlieder, Thomas Barclay, Elisa V. Quintana, Knicole D. Colon, Jonathan Brande, Karen A. Collins, Adina D. Feinstein, Samuel Hadden, Stephen R. Kane, Laura Kreidberg, Ethan Kruse, Christopher Lam, Elisabeth Matthews, Benjamin T. Montet, Francisco J. Pozuelos, Keivan G. Stassun, Jennifer G. Winters, George Ricker, Roland Vanderspek, David Latham, Sara Seager, Joshua Winn, Jon M. Jenkins, Dennis Afanasev , et al. (90 additional authors not shown)

Abstract: We report the Transiting Exoplanet Survey Satellite (TESS) discovery of three terrestrial-sized planets transiting L 98-59 (TOI-175, TIC 307210830) -- a bright M dwarf at a distance of 10.6 pc. Using the Gaia-measured distance and broad-band photometry we find that the host star is an M3 dwarf. Combined with the TESS transits from three sectors, the corresponding stellar parameters yield planet ra… ▽ More We report the Transiting Exoplanet Survey Satellite (TESS) discovery of three terrestrial-sized planets transiting L 98-59 (TOI-175, TIC 307210830) -- a bright M dwarf at a distance of 10.6 pc. Using the Gaia-measured distance and broad-band photometry we find that the host star is an M3 dwarf. Combined with the TESS transits from three sectors, the corresponding stellar parameters yield planet radii ranging from 0.8REarth to 1.6REarth. All three planets have short orbital periods, ranging from 2.25 to 7.45 days with the outer pair just wide of a 2:1 period resonance. Diagnostic tests produced by the TESS Data Validation Report and the vetting package DAVE rule out common false positive sources. These analyses, along with dedicated follow-up and the multiplicity of the system, lend confidence that the observed signals are caused by planets transiting L 98-59 and are not associated with other sources in the field. The L 98-59 system is interesting for a number of reasons: the host star is bright (V = 11.7 mag, K = 7.1 mag) and the planets are prime targets for further follow-up observations including precision radial-velocity mass measurements and future transit spectroscopy with the James Webb Space Telescope; the near resonant configuration makes the system a laboratory to study planetary system dynamical evolution; and three planets of relatively similar size in the same system present an opportunity to study terrestrial planets where other variables (age, metallicity, etc.) can be held constant. L 98-59 will be observed in 4 more TESS sectors, which will provide a wealth of information on the three currently known planets and have the potential to reveal additional planets in the system. △ Less

Submitted 28 May, 2019; v1 submitted 19 March, 2019; originally announced March 2019.

Comments: 27 pages, 22 figures, AJ accepted

Scaling Laws for the Propulsive Performance of Three-Dimensional Pitching Propulsors

Authors: Fatma Ayancik, Qiang Zhong, Daniel B. Quinn, Aaron Brandes, Hilary Bart-Smith, Keith W. Moored

Abstract: Scaling laws for the thrust production and energetics of self-propelled or fixed-velocity three-dimensional rigid propulsors undergoing pitching motions are presented. The scaling relations extend the two-dimensional scaling laws presented in Moored & Quinn (2018) by accounting for the added mass of a finite-span propulsor, the downwash/upwash effects from the trailing vortex system of a propulsor… ▽ More Scaling laws for the thrust production and energetics of self-propelled or fixed-velocity three-dimensional rigid propulsors undergoing pitching motions are presented. The scaling relations extend the two-dimensional scaling laws presented in Moored & Quinn (2018) by accounting for the added mass of a finite-span propulsor, the downwash/upwash effects from the trailing vortex system of a propulsor, and the elliptical topology of shedding trailing-edge vortices. The novel three-dimensional scaling laws are validated with self-propelled inviscid simulations and fixed-velocity experiments over a range of reduced frequencies, Strouhal numbers and aspect ratios relevant to bio-inspired propulsion. The scaling laws elucidate the dominant flow physics behind the thrust production and energetics of pitching bio-propulsors, and they provide guidance for the design of bio-inspired propulsive systems. △ Less

Submitted 25 October, 2018; originally announced October 2018.

How lovebirds fly in crosswinds based on minimal visual information

Authors: Daniel Quinn, Daniel Kress, Eric Chang, Andrea Stein, Michal Wegrzynski, David Lentink

Abstract: Flying birds navigate effectively through crosswinds, even when wind speeds are as high as flight speeds. What information birds use to sense crosswinds and compensate is largely unknown. We found that lovebirds can navigate 45-degree crosswinds similarly well in forest, lake, and cave-like visual environments. They navigate effectively using only a dim point light source as a beacon, despite bein… ▽ More Flying birds navigate effectively through crosswinds, even when wind speeds are as high as flight speeds. What information birds use to sense crosswinds and compensate is largely unknown. We found that lovebirds can navigate 45-degree crosswinds similarly well in forest, lake, and cave-like visual environments. They navigate effectively using only a dim point light source as a beacon, despite being diurnal and raised in captivity. To maintain their heading, the lovebirds turn their bodies into the wind mid- flight, while orienting their heads towards the goal with neck angles up to 30 degrees. We show how this wind compensation can be achieved using a combination of passive aerodynamics and active control informed by muscle proprioception, a sensory input previously thought to be unimportant in detecting wind. △ Less

Submitted 14 September, 2018; originally announced September 2018.

Inviscid scaling laws of a self-propelled pitching airfoil

Authors: Keith W. Moored, Daniel B. Quinn

Abstract: Inviscid computational results are presented on a self-propelled virtual body combined with an airfoil undergoing pitch oscillations about its leading-edge. The scaling trends of the time-averaged thrust forces are shown to be predicted accurately by Garrick's theory. However, the scaling of the time-averaged power for finite amplitude motions is shown to deviate from the theory. Novel time-averag… ▽ More Inviscid computational results are presented on a self-propelled virtual body combined with an airfoil undergoing pitch oscillations about its leading-edge. The scaling trends of the time-averaged thrust forces are shown to be predicted accurately by Garrick's theory. However, the scaling of the time-averaged power for finite amplitude motions is shown to deviate from the theory. Novel time-averaged power scalings are presented that account for a contribution from added-mass forces, from the large-amplitude separating shear layer at the trailing-edge, and from the proximity of the trailing-edge vortex. Scaling laws for the self-propelled speed, efficiency and cost of transport ($CoT$) are subsequently derived. Using these scaling relations the self-propelled metrics can be predicted to within 5% of their full-scale values by using parameters known a priori. The relations may be used to drastically speed-up the design phase of bio-inspired propulsion systems by offering a direct link between design parameters and the expected $CoT$. The scaling relations also offer one of the first mechanistic rationales for the scaling of the energetics of self-propelled swimming. Specifically, the cost of transport is shown to scale predominately with the added mass power. This suggests that the $CoT$ of organisms or vehicles using unsteady propulsion will scale with their mass as $CoT \propto m^{-1/3}$, which is indeed shown to be consistent with existing biological data. △ Less

Submitted 26 May, 2017; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: 28 pages, 10 figures

The incidence algebras of posets and acyclic categories

Authors: David Quinn

Abstract: Acyclic categories were introduced by Kozlov and can be viewed as generalised posets. Similar to posets, one can define their incidence algebras and a related topological complex. We consider the incidence algebra of either a poset or acyclic category as the quotient of a path algebra by the parallel ideal. We show that this ideal has a quadratic Groeobner basis with a lexicographic monomial order… ▽ More Acyclic categories were introduced by Kozlov and can be viewed as generalised posets. Similar to posets, one can define their incidence algebras and a related topological complex. We consider the incidence algebra of either a poset or acyclic category as the quotient of a path algebra by the parallel ideal. We show that this ideal has a quadratic Groeobner basis with a lexicographic monomial order if and only if the poset or acyclic category is lex-shellable. △ Less

Submitted 11 January, 2015; originally announced January 2015.

Comments: 11 pages

Journal ref: Kyushu Journal of Mathematics Vol. 67 (2013) No. 1 p. 117-127

Finite domination and Novikov rings. Laurent polynomial rings in several variables

Authors: Thomas Huettemann, David Quinn

Abstract: We present a homological characterisation of those chain complexes of modules over a Laurent polynomial ring in several indeterminates which are finitely dominated over the ground ring (that is, are a retract up to homotopy of a bounded complex of finitely generated free modules). The main tools, which we develop in the paper, are a non-standard totalisation construction for multi-complexes based… ▽ More We present a homological characterisation of those chain complexes of modules over a Laurent polynomial ring in several indeterminates which are finitely dominated over the ground ring (that is, are a retract up to homotopy of a bounded complex of finitely generated free modules). The main tools, which we develop in the paper, are a non-standard totalisation construction for multi-complexes based on truncated products, and a high-dimensional mapping torus construction employing a theory of cubical diagrams that commute up to specified coherent homotopies. △ Less

Submitted 16 October, 2014; originally announced October 2014.

Comments: 39 pages

MSC Class: 18G35; 55U15

Journal ref: Journal of Pure and Applied Algebra 220 (7), 2016, pp 2648-2682

Finite domination and Novikov rings. Laurent polynomial rings in two variables

Authors: Thomas Huettemann, David Quinn

Abstract: Let C be a bounded cochain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,1/x,y,1/y]. The complex C is called R-finitely dominated if it is homotopy equivalent over R to a bounded complex of finitely generated projective R-modules. Our main result characterises R-finitely dominated complexes in terms of Novikov cohomology: C is R-finitely dominated if and only… ▽ More Let C be a bounded cochain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,1/x,y,1/y]. The complex C is called R-finitely dominated if it is homotopy equivalent over R to a bounded complex of finitely generated projective R-modules. Our main result characterises R-finitely dominated complexes in terms of Novikov cohomology: C is R-finitely dominated if and only if eight complexes derived from C are acyclic; these complexes are obtained by tensoring C over L with R[[x,y]][1/xy] and R[x,1/x][[y]][1/y], and their variants obtained by swapping x and y, and replacing either indeterminate by its inverse. △ Less

Submitted 19 May, 2013; v1 submitted 21 November, 2012; originally announced November 2012.

Comments: 41 pages; v2: minor change to title, typos corrected

MSC Class: 18G35; 55U15

Journal ref: Journal of Algebra and Its Applications 14 (2015), Arcticle 1550055

Finite domination and Novikov rings. Iterative approach

Authors: Thomas Huettemann, David Quinn

Abstract: Suppose C is a bounded chain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,1/x]. Then C is R-finitely dominated, ie, homotopy equivalent over R to a bounded chain complex of finitely generated projective R-modules, if and only if the two chain complexes C((x)) and C((1/x)) are acyclic, as has been proved by Ranicki. Here C((x)) is the tensor product over L of… ▽ More Suppose C is a bounded chain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,1/x]. Then C is R-finitely dominated, ie, homotopy equivalent over R to a bounded chain complex of finitely generated projective R-modules, if and only if the two chain complexes C((x)) and C((1/x)) are acyclic, as has been proved by Ranicki. Here C((x)) is the tensor product over L of C with the Novikov ring R((x)) = R[[x]][1/x] (also known as the ring of formal Laurent series in x); similarly, C((1/x)) is the tensor product over L of C with the Novikov ring R((1/x)) = R[[1/x]][x]. In this paper, we prove a generalisation of this criterion which allows us to detect finite domination of bounded below chain complexes of projective modules over Laurent rings in several indeterminates. △ Less

Submitted 12 October, 2011; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: 15 pages; diagrams typeset with Paul Taylor's "diagrams" macro package. Version 2: clarified proof of main theorem, fixed minor typos; Version 3: expanded introduction, now 16 pages; Version 4: corrected mistake on functoriality of mapping tori

MSC Class: 55U15; 18G35

A Strip Search for New Very Wide Halo Binaries

Authors: D. P. Quinn, M. C. Smith

Abstract: We report on a search for new wide halo binary stars in SDSS Stripe 82. A list of new halo wide binary candidates which satisfy common proper motion and photometric constraints is provided. The projected separations of the sample lie between 0.007-0.25pc. Although the sample is not large enough to improve constraints on dark matter in the halo, we find the wide binary angular separation function… ▽ More We report on a search for new wide halo binary stars in SDSS Stripe 82. A list of new halo wide binary candidates which satisfy common proper motion and photometric constraints is provided. The projected separations of the sample lie between 0.007-0.25pc. Although the sample is not large enough to improve constraints on dark matter in the halo, we find the wide binary angular separation function is broadly consistent with past work. We discuss the significance of the new sample for a number of astrophysical applications, including as a testbed for ideas about wide binary formation. For the subset of candidates which have radial velocity information we make use of integrals of motion to investigate one such scheme in which the origin of Galactic wide binaries is associated with the accretion/disruption of stellar systems in the Galaxy. Additional spectroscopic observations of these candidate binaries will strengthen their usefulness in many of these respects. Based on our search experience in Stripe 82 we estimate that the upcoming Pan-STARRS survey will increase the sample size of wide halo binaries by over an order of magnitude. △ Less

Submitted 25 August, 2009; originally announced August 2009.

Comments: 7 pages, 6 figure, 2 tables, to appear in MNRAS

On the Reported Death of the MACHO Era

Authors: D. P. Quinn, M. I. Wilkinson, M. J. Irwin, J. Marshall, A. Koch, V. Belokurov

Abstract: We present radial velocity measurements of four wide halo binary candidates from the sample in Chaname & Gould (2004; CG04) which, to date, is the only sample containing a large number of such candidates. The four candidates that we have observed have projected separations >0.1 pc, and include the two widest binaries from the sample, with separations of 0.45 and 1.1 pc. We confirm that three of… ▽ More We present radial velocity measurements of four wide halo binary candidates from the sample in Chaname & Gould (2004; CG04) which, to date, is the only sample containing a large number of such candidates. The four candidates that we have observed have projected separations >0.1 pc, and include the two widest binaries from the sample, with separations of 0.45 and 1.1 pc. We confirm that three of the four CG04 candidates are genuine, including the one with the largest separation. The fourth candidate, however, is spurious at the 5-sigma level. In the light of these measurements we re-examine the implications for MACHO models of the Galactic halo. Our analysis casts doubt on what MACHO constraints can be drawn from the existing sample of wide halo binaries. △ Less

Submitted 9 March, 2009; originally announced March 2009.

Comments: 6 Pages, 4 Figures, Accepted for MNRAS Letters

The Space Infrared Interferometric Telescope (SPIRIT): High-resolution imaging and spectroscopy in the far-infrared

Authors: David Leisawitz, Charles Baker, Amy Barger, Dominic Benford, Andrew Blain, Rob Boyle, Richard Broderick, Jason Budinoff, John Carpenter, Richard Caverly, Phil Chen, Steve Cooley, Christine Cottingham, Julie Crooke, Dave DiPietro, Mike DiPirro, Michael Femiano, Art Ferrer, Jacqueline Fischer, Jonathan P. Gardner, Lou Hallock, Kenny Harris, Kate Hartman, Martin Harwit, Lynne Hillenbrand , et al. (31 additional authors not shown)

Abstract: We report results of a recently-completed pre-Formulation Phase study of SPIRIT, a candidate NASA Origins Probe mission. SPIRIT is a spatial and spectral interferometer with an operating wavelength range 25 - 400 microns. SPIRIT will provide sub-arcsecond resolution images and spectra with resolution R = 3000 in a 1 arcmin field of view to accomplish three primary scientific objectives: (1) Lear… ▽ More We report results of a recently-completed pre-Formulation Phase study of SPIRIT, a candidate NASA Origins Probe mission. SPIRIT is a spatial and spectral interferometer with an operating wavelength range 25 - 400 microns. SPIRIT will provide sub-arcsecond resolution images and spectra with resolution R = 3000 in a 1 arcmin field of view to accomplish three primary scientific objectives: (1) Learn how planetary systems form from protostellar disks, and how they acquire their inhomogeneous composition; (2) characterize the family of extrasolar planetary systems by imaging the structure in debris disks to understand how and where planets of different types form; and (3) learn how high-redshift galaxies formed and merged to form the present-day population of galaxies. Observations with SPIRIT will be complementary to those of the James Webb Space Telescope and the ground-based Atacama Large Millimeter Array. All three observatories could be operational contemporaneously. △ Less

Submitted 5 July, 2007; originally announced July 2007.

Comments: 20 pages, 12 figures, accepted for publication in J. Adv. Space Res. on 26 May 2007

Journal ref: Adv.SpaceRes.40:689-703,2007

Planetary Nebula Velocities in the Disk and Bulge of M31

Authors: C. Halliday, D. Carter, T. J. Bridges, Z. C. Jackson, M. I. Wilkinson, D. P. Quinn, N. W. Evans, N. G. Douglas, H. R. Merrett, M. R. Merrifield, A. J. Romanowsky, K. Kuijken, M. J. Irwin

Abstract: We present radial velocities for a sample of 723 planetary nebulae (PNe) in the disk and bulge of M31, measured using the WYFFOS fibre spectrograph on the William Herschel telescope. Velocities are determined using the [OIII] 5007 Angstrom emission line. Rotation and velocity dispersion are measured to a radius of 50 arcminutes (11.5 kpc), the first stellar rotation curve and velocity dispersion… ▽ More We present radial velocities for a sample of 723 planetary nebulae (PNe) in the disk and bulge of M31, measured using the WYFFOS fibre spectrograph on the William Herschel telescope. Velocities are determined using the [OIII] 5007 Angstrom emission line. Rotation and velocity dispersion are measured to a radius of 50 arcminutes (11.5 kpc), the first stellar rotation curve and velocity dispersion profile for M31 to such a radius. Our kinematics are consistent with rotational support at radii well beyond the bulge effective radius of 1.4kpc, although our data beyond a radius of 5kpc are limited. We present tentative evidence for kinematic substructure in the bulge of M31 to be studied fully in a later work. This paper is part of an ongoing project to constrain the total mass, mass distribution and velocity anisotropy of the disk, bulge and halo of M31. △ Less

Submitted 26 March, 2006; originally announced March 2006.

Comments: 27 pages, accepted for publication in MNRAS

Journal ref: Mon.Not.Roy.Astron.Soc.369:97-119,2006

Duality for finite Hopf algebras explained by corings

Authors: S. Caenepeel, D. Quinn, S. Raianu

Abstract: We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J. Schneider, which generalizes and unifies the duality theorem for finite Hopf algebras and its refinements. We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J. Schneider, which generalizes and unifies the duality theorem for finite Hopf algebras and its refinements. △ Less

Submitted 6 May, 2005; v1 submitted 21 April, 2005; originally announced April 2005.

Comments: 7 pages

MSC Class: 16W30

Local theory of almost split sequences for comodules

Authors: William Chin, Mark Kleiner, Declan Quinn

Abstract: We show that almost split sequences in the category of comodules over a coalgebra with finite-dimensional right-hand term are direct limits of almost split sequences over finite dimensional subcoalgebras. In previous work we showed that such almost split sequences exist if the right hand term has a quasifinitely copresented linear dual. Conversely, taking limits of almost split sequences over fi… ▽ More We show that almost split sequences in the category of comodules over a coalgebra with finite-dimensional right-hand term are direct limits of almost split sequences over finite dimensional subcoalgebras. In previous work we showed that such almost split sequences exist if the right hand term has a quasifinitely copresented linear dual. Conversely, taking limits of almost split sequences over finte-dimensional comodule categories, we then show that, for countable-dimensional coalgebras, certain exact sequences exist which satisfy a condition weaker than being almost split, which we call ``finitely almost split''. Under additional assumptions, these sequences are shown to be almost split in the appropriate category. △ Less

Submitted 5 April, 2005; originally announced April 2005.

MSC Class: 16G70; 16W30