-
Flexible Agent-based Modeling Framework to Evaluate Integrated Microtransit and Fixed-route Transit Designs: Mode Choice, Supernetworks, and Fleet Simulation
Authors:
Siwei Hu,
Michael F. Hyland,
Ritun Saha,
Jacob J. Berkel,
Geoffrey Vander Veen
Abstract:
The integration of traditional fixed-route transit (FRT) and more flexible microtransit has been touted as a means of improving mobility and access to opportunity, increasing transit ridership, and promoting environmental sustainability. To help evaluate integrated FRT and microtransit public transit (PT) system (henceforth ``integrated fixed-flex PT system'') designs, we propose a high-fidelity m…
▽ More
The integration of traditional fixed-route transit (FRT) and more flexible microtransit has been touted as a means of improving mobility and access to opportunity, increasing transit ridership, and promoting environmental sustainability. To help evaluate integrated FRT and microtransit public transit (PT) system (henceforth ``integrated fixed-flex PT system'') designs, we propose a high-fidelity modeling framework that provides reliable estimates for a wide range of (i) performance metrics and (ii) integrated fixed-flex PT system designs. We formulate the mode choice equilibrium problem as a fixed-point problem wherein microtransit demand is a function of microtransit performance, and microtransit performance depends on microtransit demand. We propose a detailed agent-based simulation modeling framework that includes (i) a binary logit mode choice model (private auto vs. transit), (ii) a supernetwork-based model and pathfinding algorithm for multi-modal transit path choice where the supernetwork includes pedestrian, FRT, and microtransit layers, (iii) a detailed mobility-on-demand fleet simulator called FleetPy to model the supply-demand dynamics of the microtransit service. In this paper, we illustrate the capabilities of the modeling framework by analyzing integrated fixed-flex PT system designs that vary the following design parameters: FRT frequencies and microtransit fleet size, service region structure, virtual stop coverage, and operating hours. We include case studies in downtown San Diego and Lemon Grove, California. The computational results show that the proposed modeling framework converges to a mode choice equilibrium. Moreover, the scenario results imply that introducing a new microtransit service decreases FRT ridership and requires additional subsidies, but it significantly increases job accessibility and slightly reduces total VMT.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Monoidal bicategories, differential linear logic, and analytic functors
Authors:
M. Fiore,
N. Gambino,
M. Hyland
Abstract:
We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear explonential comonad, as considered in the study of linear logic, and of a codereliction transformation, introduced to study differential linear logic via differential categories. As an application, we extend the differential calculus of Joyal's analytic functors…
▽ More
We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear explonential comonad, as considered in the study of linear logic, and of a codereliction transformation, introduced to study differential linear logic via differential categories. As an application, we extend the differential calculus of Joyal's analytic functors to analytic functors between presheaf categories, just as ordinary calculus extends from a single variable to many variables.
△ Less
Submitted 23 May, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Towards More Efficient Shared Autonomous Mobility: A Learning-Based Fleet Repositioning Approach
Authors:
Monika Filipovska,
Michael Hyland,
Haimanti Bala
Abstract:
Shared-use autonomous mobility services (SAMS) present new opportunities for improving accessible and demand-responsive mobility. A fundamental challenge that SAMS face is appropriate positioning of idle fleet vehicles to meet future demand - a problem that strongly impacts service quality and efficiency. This paper formulates SAMS fleet repositioning as a Markov Decision Process and presents a re…
▽ More
Shared-use autonomous mobility services (SAMS) present new opportunities for improving accessible and demand-responsive mobility. A fundamental challenge that SAMS face is appropriate positioning of idle fleet vehicles to meet future demand - a problem that strongly impacts service quality and efficiency. This paper formulates SAMS fleet repositioning as a Markov Decision Process and presents a reinforcement learning-based repositioning (RLR) approach called integrated system-agent repositioning (ISR). The ISR learns a scalable fleet repositioning strategy in an integrated manner: learning to respond to evolving demand patterns without explicit demand forecasting and to cooperate with optimization-based passenger-to-vehicle assignment. Numerical experiments are conducted using New York City taxi data and an agent-based simulation tool. The ISR is compared to an alternative RLR approach named externally guided repositioning (EGR) and a benchmark joint optimization (JO) for passenger-to-vehicle assignment and repositioning. The results demonstrate the RLR approaches' substantial reductions in passenger wait times, over 50%, relative to the JO approach. The ISR's ability to bypass demand forecasting is also demonstrated as it maintains comparable performance to EGR in terms of average metrics. The results also demonstrate the model's transferability to evolving conditions, including unseen demand patterns, extended operational periods, and changes in the assignment strategy.
△ Less
Submitted 8 February, 2024; v1 submitted 16 October, 2022;
originally announced October 2022.
-
Tackling the Crowdsourced Shared-Trip Delivery Problem at Scale with a Novel Decomposition Heuristic
Authors:
Dingtong Yang,
Michael F. Hyland,
R. Jayakrishnan
Abstract:
This paper presents a set-partitioning formulation and a novel decomposition heuristic (D-H) solution algorithm to solve large-scale instances of the urban crowdsourced shared-trip delivery (CSD) problem. The CSD problem involves dedicated vehicles (DVs) and shared personal vehicles (SPVs) fulfilling delivery orders, wherein the SPVs have their own trip origins and destinations. The D-H begins by…
▽ More
This paper presents a set-partitioning formulation and a novel decomposition heuristic (D-H) solution algorithm to solve large-scale instances of the urban crowdsourced shared-trip delivery (CSD) problem. The CSD problem involves dedicated vehicles (DVs) and shared personal vehicles (SPVs) fulfilling delivery orders, wherein the SPVs have their own trip origins and destinations. The D-H begins by assigning as many package delivery orders (PDOs) to SPVs as possible, where the D-H enumerates the set of routes each SPV can feasibly traverse and then solves a PDO-SPV-route assignment problem. For PDO-DV assignment and DV routing, the D-H solves a multi-vehicle routing problem with time-window, tour duration, and capacity constraints using an insertion heuristic. Finally, the D-H seeks potential solution improvements by switching PDOs between SPV and DV routes through a simulated annealing (SA)-inspired procedure. The D-H outperforms a commercial solver in terms of computational efficiency while obtaining near-optimal solutions for small problem instances. The SA-inspired switching procedure outperforms a large neighborhood search algorithm regarding run time, and the two are comparable regarding solution quality. Finally, the paper uses the D-H to analyze the impact of several relevant factors on city-scale CSD system performance, namely the number of participating SPVs and the maximum willingness to detour of SPVs. Consistent with the existing literature, we find that CSD can substantially reduce delivery costs. However, we find that CSD can increase vehicle miles traveled. Our findings provide meaningful insights for logistics practitioners, while the algorithms illustrate promise for large real-world systems.
△ Less
Submitted 17 June, 2024; v1 submitted 10 March, 2022;
originally announced March 2022.
-
The Lick Observatory Supernova Search follow-up program: photometry data release of 70 stripped-envelope supernovae
Authors:
WeiKang Zheng,
Benjamin E. Stahl,
Thomas de Jaeger,
Alexei V. Filippenko,
Shan-Qin Wang,
Wen-Pei Gan,
Thomas G. Brink,
Ivan Altunin,
Raphael Baer-Way,
Andrew Bigley,
Kyle Blanchard,
Peter K. Blanchard,
James Bradley,
Samantha K. Cargill,
Chadwick Casper,
Teagan Chapman,
Vidhi Chander,
Sanyum Channa,
Byung Yun Choi,
Nick Choksi,
Matthew Chu,
Kelsey I. Clubb,
Daniel P. Cohen,
Paul A. Dalba,
Asia deGraw
, et al. (63 additional authors not shown)
Abstract:
We present BVRI and unfiltered Clear light curves of 70 stripped-envelope supernovae (SESNe), observed between 2003 and 2020, from the Lick Observatory Supernova Search (LOSS) follow-up program. Our SESN sample consists of 19 spectroscopically normal SNe~Ib, two peculiar SNe Ib, six SN Ibn, 14 normal SNe Ic, one peculiar SN Ic, ten SNe Ic-BL, 15 SNe IIb, one ambiguous SN IIb/Ib/c, and two superlum…
▽ More
We present BVRI and unfiltered Clear light curves of 70 stripped-envelope supernovae (SESNe), observed between 2003 and 2020, from the Lick Observatory Supernova Search (LOSS) follow-up program. Our SESN sample consists of 19 spectroscopically normal SNe~Ib, two peculiar SNe Ib, six SN Ibn, 14 normal SNe Ic, one peculiar SN Ic, ten SNe Ic-BL, 15 SNe IIb, one ambiguous SN IIb/Ib/c, and two superluminous SNe. Our follow-up photometry has (on a per-SN basis) a mean coverage of 81 photometric points (median of 58 points) and a mean cadence of 3.6d (median of 1.2d). From our full sample, a subset of 38 SNe have pre-maximum coverage in at least one passband, allowing for the peak brightness of each SN in this subset to be quantitatively determined. We describe our data collection and processing techniques, with emphasis toward our automated photometry pipeline, from which we derive publicly available data products to enable and encourage further study by the community. Using these data products, we derive host-galaxy extinction values through the empirical colour evolution relationship and, for the first time, produce accurate rise-time measurements for a large sample of SESNe in both optical and infrared passbands. By modeling multiband light curves, we find that SNe Ic tend to have lower ejecta masses and lower ejecta velocities than SNe~Ib and IIb, but higher $^{56}$Ni masses.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
On Optimizing Shared-ride Mobility Services with Walking Legs
Authors:
Zifan Wang,
Michael F Hyland,
Younghun Bahk,
Navjyoth JS Sarma
Abstract:
Shared-ride mobility services that incorporate traveler walking legs aim to reduce vehicle-kilometers-travelled (VKT), vehicle-hours-travelled (VHT), request rejections, fleet size, or some combination of these factors, compared to door-to-door (D2D) shared-ride services. This paper provides a review of shared-ride services with walking legs (SRSWL), particularly the studies in the literature that…
▽ More
Shared-ride mobility services that incorporate traveler walking legs aim to reduce vehicle-kilometers-travelled (VKT), vehicle-hours-travelled (VHT), request rejections, fleet size, or some combination of these factors, compared to door-to-door (D2D) shared-ride services. This paper provides a review of shared-ride services with walking legs (SRSWL), particularly the studies in the literature that model the operational problem(s) associated with SRSWL. The paper describes the operational and societal benefits of SRSWL as well as compares the SRSWL to circuitous D2D shared-ride services, ride-hailing services, and fixed-route transit services, in terms of VKT and traveler walking distance. The paper then delineates the operational subproblems associated with the SRSWL and discusses their computational complexity. Additionally, the review classifies configurations of SRSWL based on flexibility in assigning travelers to pickup and drop-off locations. The paper also discusses four modelling challenge: short-distance person trips, drop-off location choice for a vehicle's last remaining passenger, allowing vehicles to wait for travelers at pickup locations, and simultaneously reducing VHT/VKT and improving customer service quality relative to D2D shared-ride services. The review paper concludes by discussing the most critical areas of future research related to SRSWL.
△ Less
Submitted 29 January, 2022;
originally announced January 2022.
-
Metrics for Quantifying Shareability in Transportation Networks: The Maximum Network Flow Overlap Problem
Authors:
Navjyoth Sarma JS,
Michael F Hyland
Abstract:
Cities around the world vary in terms of their transportation networks and travel demand patterns; these variations affect the viability of shared mobility services. This study proposes metrics to quantify the shareability of person-trips in a city, as a function of two inputs--the road network structure and origin-destination (OD) travel demand. The study first conceptualizes a fundamental sharea…
▽ More
Cities around the world vary in terms of their transportation networks and travel demand patterns; these variations affect the viability of shared mobility services. This study proposes metrics to quantify the shareability of person-trips in a city, as a function of two inputs--the road network structure and origin-destination (OD) travel demand. The study first conceptualizes a fundamental shareability unit, 'flow overlap'. Flow overlap denotes, for a person-trip traversing a given path, the weighted (by link distance) average number of other trips sharing the links along the original person's path. The study extends this concept to the network level and formulates the Maximum Network Flow Overlap Problem (MNFLOP) to assign all OD trips to paths that maximize network-wide flow overlap. The study utilizes the MNFLOP output to calculate metrics of shareability at various levels of aggregation: person-trip level, OD level, origin or destination level, network level, and link level. The study applies the MNFLOP and associated shareability metrics to different OD demand scenarios in the Sioux Falls network. The computational results verify that (i) MNFLOP assigns person-trips to paths such that flow overlaps significantly increase relative to shortest path assignment, (ii) MNFLOP and its associated shareability metrics can meaningfully differentiate between different OD trip matrices in terms of shareability, and (iii) an MNFLOP-based metric can quantify demand dispersion--a metric of the directionality of demand--in addition to the magnitude of demand, for trips originating or terminating from a single node in the network. The paper also includes an extensive discussion of potential future uses of the MNFLOP and its associated shareability metrics.
△ Less
Submitted 13 July, 2022; v1 submitted 1 November, 2021;
originally announced November 2021.
-
Regulating Mobility-on-Demand Services: Tri-level Model and Bayesian Optimization Solution Approach
Authors:
Florian Dandl,
Roman Engelhardt,
Michael Hyland,
Gabriel Tilg,
Klaus Bogenberger,
Hani S. Mahmassani
Abstract:
The goal of this paper is to develop a modeling framework that captures the inter-decision dynamics between mobility service providers (MSPs) and travelers that can be used to optimize and analyze policies/regulations related to MSPs. To meet this goal, the paper proposes a tri-level mathematical programming model with a public-sector decision maker (regulator) at the highest level, the MSP in the…
▽ More
The goal of this paper is to develop a modeling framework that captures the inter-decision dynamics between mobility service providers (MSPs) and travelers that can be used to optimize and analyze policies/regulations related to MSPs. To meet this goal, the paper proposes a tri-level mathematical programming model with a public-sector decision maker (regulator) at the highest level, the MSP in the middle level, and travelers at the lowest level. The regulator aims to maximize social welfare via implementing regulations, policies, plans, transit service designs, etc. The MSP aims to maximize profit by adjusting its service designs. Travelers aim to maximize utility by changing their modes and routes. The travelers' decisions depend on the regulator and MSP's decisions while the MSP decisions themselves depend on the regulator's decisions. To solve the tri-level mathematical program, the study employs Bayesian optimization (BO) within a simulation-optimization solution approach. At the lowest level, the solution approach includes an agent-based transportation system simulation model to capture travelers' behavior subject to specific decisions made by the regulator and MSP. The agent-based transportation simulation model includes a mode choice model, a road network, a transit network, and an MSP providing automated mobility-on-demand (AMOD) service with shared rides. The modeling and solution approaches are applied to Munich, Germany in order to validate the model. The case study investigates the tolls and parking costs the city administration should set, as well as changes in the public transport budget and a limitation of the AMOD fleet size. Best policy settings are derived for two social welfare definitions, in both of which the AMOD fleet size is not regulated as the shared-ride AMOD service provides significant value to travelers in Munich.
△ Less
Submitted 20 February, 2021;
originally announced February 2021.
-
Dynamic Modeling and Real-time Management of a System of EV Fast-charging Stations
Authors:
Dingtong Yang,
Navjyoth J. S. Sarma,
Michael Hyland,
R. Jayakrishnan
Abstract:
Demand for electric vehicles (EVs), and thus EV charging, has steadily increased over the last decade. However, there is limited fast-charging infrastructure in most parts of the world to support EV travel, especially long-distance trips. The goal of this study is to develop a stochastic dynamic simulation modeling framework of a regional system of EV fast-charging stations for real-time managemen…
▽ More
Demand for electric vehicles (EVs), and thus EV charging, has steadily increased over the last decade. However, there is limited fast-charging infrastructure in most parts of the world to support EV travel, especially long-distance trips. The goal of this study is to develop a stochastic dynamic simulation modeling framework of a regional system of EV fast-charging stations for real-time management and strategic planning (i.e., capacity allocation) purposes. To model EV user behavior, specifically fast-charging station choices, the framework incorporates a multinomial logit station choice model that considers charging prices, expected wait times, and detour distances. To capture the dynamics of supply and demand at each fast-charging station, the framework incorporates a multi-server queueing model in the simulation. The study assumes that multiple fast-charging stations are managed by a single entity and that the demand for these stations are interrelated. To manage the system of stations, the study proposes and tests dynamic demand-responsive price adjustment (DDRPA) schemes based on station queue lengths. The study applies the modeling framework to a system of EV fast-charging stations in Southern California. The results indicate that DDRPA strategies are an effective mechanism to balance charging demand across fast-charging stations. Specifically, compared to the no DDRPA scheme case, the quadratic DDRPA scheme reduces average wait time by 26%, increases charging station revenue (and user costs) by 5.8%, while, most importantly, increasing social welfare by 2.7% in the base scenario. Moreover, the study also illustrates that the modeling framework can evaluate the allocation of EV fast-charging station capacity, to identify stations that require additional chargers and areas that would benefit from additional fast-charging stations.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
The linear-non-linear substitution 2-monad
Authors:
Martin Hyland,
Christine Tasson
Abstract:
We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the structure of a 2-monad and give a characterisation of its algebras. Finally, we apply the construction to the map of 2-monads between free symmetric mo…
▽ More
We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the structure of a 2-monad and give a characterisation of its algebras. Finally, we apply the construction to the map of 2-monads between free symmetric monoidal and the free cartesian 2-monads and combine them into a linear-non-linear 2-monad.
△ Less
Submitted 8 February, 2021; v1 submitted 19 May, 2020;
originally announced May 2020.
-
The Berkeley sample of Type II supernovae: BVRI light curves and spectroscopy of 55 SNe II
Authors:
T. de Jaeger,
W. Zheng,
B. E. Stahl,
A. V. Filippenko,
T. G. Brink,
A. Bigley,
K. Blanchard,
P. K. Blanchard,
J. Bradley,
S. K. Cargill,
C. Casper,
S. B. Cenko,
S. Channa,
B. Y. Choi,
K. I. Clubb,
B. E. Cobb,
D. Cohen,
M. de Kouchkovsky,
M. Ellison,
E. Falcon,
O. D. Fox,
K. Fuller,
M. Ganeshalingam,
C. Gould,
M. L. Graham
, et al. (36 additional authors not shown)
Abstract:
In this work, BV RI light curves of 55 Type II supernovae (SNe II) from the Lick Observatory Supernova Search program obtained with the Katzman Automatic Imaging Telescope and the 1 m Nickel telescope from 2006 to 2018 are presented. Additionally, more than 150 spectra gathered with the 3 m Shane telescope are published. We conduct an analyse of the peak absolute magnitudes, decline rates, and tim…
▽ More
In this work, BV RI light curves of 55 Type II supernovae (SNe II) from the Lick Observatory Supernova Search program obtained with the Katzman Automatic Imaging Telescope and the 1 m Nickel telescope from 2006 to 2018 are presented. Additionally, more than 150 spectra gathered with the 3 m Shane telescope are published. We conduct an analyse of the peak absolute magnitudes, decline rates, and time durations of different phases of the light and colour curves. Typically, our light curves are sampled with a median cadence of 5.5 days for a total of 5093 photometric points. In average V-band plateau declines with a rate of 1.29 mag (100 days)-1, which is consistent with previously published samples. For each band, the plateau slope correlates with the plateau length and the absolute peak magnitude: SNe II with steeper decline have shorter plateau duration and are brighter. A time-evolution analysis of spectral lines in term of velocities and pseudoequivalent widths is also presented in this paper. Our spectroscopic sample ranges between 1 and 200 days post-explosion and has a median ejecta expansion velocity at 50 days post-explosion of 6500 km/s (Halpha line) and a standard dispersion of 2000 km/s. Nebular spectra are in good agreement with theoretical models using a progenitor star having a mass <16 Msol. All the data are available to the community and will help to understand SN II diversity better, and therefore to improve their utility as cosmological distance indicators.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Near-UV and optical spectroscopy of comets using the ISIS spectrograph on the WHT
Authors:
Méabh Hyland,
Alan Fitzsimmons,
Colin Snodgrass
Abstract:
We present an analysis of long-slit cometary spectroscopy using the dual-arm ISIS spectrograph on the 4.2 m WHT. Eleven comets were observed over two nights in 2016 March and we detected the OH (0-0) emission band at 3085 Å in the spectra of five of these comets. Emission bands of the species NH, CN, C$_{3}$, C$_{2}$, NH$_{2}$ and [OI] were also detected. We used Haser modelling to determine molec…
▽ More
We present an analysis of long-slit cometary spectroscopy using the dual-arm ISIS spectrograph on the 4.2 m WHT. Eleven comets were observed over two nights in 2016 March and we detected the OH (0-0) emission band at 3085 Å in the spectra of five of these comets. Emission bands of the species NH, CN, C$_{3}$, C$_{2}$, NH$_{2}$ and [OI] were also detected. We used Haser modelling to determine molecular production rates and abundance ratios for the observed species. We found that our average abundances relative to OH and CN were generally consistent with those measured in previous studies.
△ Less
Submitted 10 January, 2019;
originally announced January 2019.
-
Spectroscopy and thermal modelling of the first interstellar object 1I/2017 U1 'Oumuamua
Authors:
Alan Fitzsimmons,
Colin Snodgrass,
Ben Rozitis,
Bin Yang,
Meabh Hyland,
Tom Seccull,
Michele T. Bannister,
Wesley C. Fraser,
Robert Jedicke,
Pedro Lacerda
Abstract:
During the formation and evolution of the Solar System, significant numbers of cometary and asteroidal bodies were ejected into interstellar space$^{1,2}$. It can be reasonably expected that the same happened for planetary systems other than our own. Detection of such Inter- stellar Objects (ISOs) would allow us to probe the planetesimal formation processes around other stars, possibly together wi…
▽ More
During the formation and evolution of the Solar System, significant numbers of cometary and asteroidal bodies were ejected into interstellar space$^{1,2}$. It can be reasonably expected that the same happened for planetary systems other than our own. Detection of such Inter- stellar Objects (ISOs) would allow us to probe the planetesimal formation processes around other stars, possibly together with the effects of long-term exposure to the interstellar medium. 1I/2017 U1 'Oumuamua is the first known ISO, discovered by the Pan-STARRS1 telescope in October 2017$^3$.The discovery epoch photometry implies a highly elongated body with radii of $\sim 200 \times 20$ m when a comet-like geometric albedo of 0.04 is assumed. Here we report spectroscopic characterisation of 'Oumuamua, finding it to be variable with time but similar to organically rich surfaces found in the outer Solar System. The observable ISO population is expected to be dominated by comet-like bodies in agreement with our spectra, yet the reported inactivity implies a lack of surface ice. We show this is consistent with predictions of an insulating mantle produced by long-term cosmic ray exposure. An internal icy composition cannot therefore be ruled out by the lack of activity, even though 'Oumuamua passed within 0.25 au of the Sun.
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
The 67P/Churyumov-Gerasimenko observation campaign in support of the Rosetta mission
Authors:
C. Snodgrass,
M. F. A'Hearn,
F. Aceituno,
V. Afanasiev,
S. Bagnulo,
J. Bauer,
G. Bergond,
S. Besse,
N. Biver,
D. Bodewits,
H. Boehnhardt,
B. P. Bonev,
G. Borisov,
B. Carry,
V. Casanova,
A. Cochran,
B. C. Conn,
B. Davidsson,
J. K. Davies,
J. de León,
E. de Mooij,
M. de Val-Borro,
M. Delacruz,
M. A. DiSanti,
J. E. Drew
, et al. (90 additional authors not shown)
Abstract:
We present a summary of the campaign of remote observations that supported the European Space Agency's Rosetta mission. Telescopes across the globe (and in space) followed comet 67P/Churyumov-Gerasimenko from before Rosetta's arrival until nearly the end of mission in September 2016. These provided essential data for mission planning, large-scale context information for the coma and tails beyond t…
▽ More
We present a summary of the campaign of remote observations that supported the European Space Agency's Rosetta mission. Telescopes across the globe (and in space) followed comet 67P/Churyumov-Gerasimenko from before Rosetta's arrival until nearly the end of mission in September 2016. These provided essential data for mission planning, large-scale context information for the coma and tails beyond the spacecraft, and a way to directly compare 67P with other comets. The observations revealed 67P to be a relatively `well behaved' comet, typical of Jupiter family comets and with activity patterns that repeat from orbit-to-orbit. Comparison between this large collection of telescopic observations and the in situ results from Rosetta will allow us to better understand comet coma chemistry and structure. This work is just beginning as the mission ends -- in this paper we present a summary of the ground-based observations and early results, and point to many questions that will be addressed in future studies.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
Measuring Comodules and Enrichment
Authors:
Martin Hyland,
Ignacio Lopez Franco,
Christina Vasilakopoulou
Abstract:
We study the existence of universal measuring comodules Q(M,N) for a pair of modules M,N in a braided monoidal closed category, and the associated enrichment of the global category of modules over the monoidal global category of comodules. In the process, we use results for general fibred adjunctions encompassing the fibred structure of modules over monoids and the opfibred structure of comodules…
▽ More
We study the existence of universal measuring comodules Q(M,N) for a pair of modules M,N in a braided monoidal closed category, and the associated enrichment of the global category of modules over the monoidal global category of comodules. In the process, we use results for general fibred adjunctions encompassing the fibred structure of modules over monoids and the opfibred structure of comodules over comonoids. We also explore applications to the theory of Hopf modules.
△ Less
Submitted 29 March, 2017;
originally announced March 2017.
-
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Authors:
Marcelo Fiore,
Nicola Gambino,
Martin Hyland,
Glynn Winskel
Abstract:
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the Kleisli bicategory of a relative pseudomonad. The results are applied to define several pseudomonads on the bicategory of profunctors in an homogeneous way, thus pro…
▽ More
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the Kleisli bicategory of a relative pseudomonad. The results are applied to define several pseudomonads on the bicategory of profunctors in an homogeneous way, thus providing a uniform approach to the definition of bicategories that are of interest in operad theory, mathematical logic, and theoretical computer science.
△ Less
Submitted 28 September, 2017; v1 submitted 12 December, 2016;
originally announced December 2016.
-
Protein arrangement on modified diamond-like carbon surfaces - An ARXPS study
Authors:
Reece N. Oosterbeek,
Christopher K. Seal,
Margaret M. Hyland
Abstract:
Understanding the nature of the interface between a biomaterial implant and the biological fluid is an essential step towards creating improved implant materials. This study examined a diamond-like carbon coating biomaterial, the surface energy of which was modified by Ar+ ion sputtering and laser graphitisation. The arrangement of proteins was analysed by angle resolved X-ray photoelectron spectr…
▽ More
Understanding the nature of the interface between a biomaterial implant and the biological fluid is an essential step towards creating improved implant materials. This study examined a diamond-like carbon coating biomaterial, the surface energy of which was modified by Ar+ ion sputtering and laser graphitisation. The arrangement of proteins was analysed by angle resolved X-ray photoelectron spectroscopy, and the effects of the polar component of surface energy on this arrangement were observed. It was seen that polar groups (such as CN, CO) are more attracted to the coating surface due to the stronger polar interactions. This results in a segregation of these groups to the DLC-protein interface; at increasing takeoff angle (further from to DLC-protein interface) fewer of these polar groups are seen. Correspondingly, groups that interact mainly by dispersive forces (CC, CH) were found to increase in intensity as takeoff angle increased, indicating they are segregated away from the DLC-protein interface. The magnitude of the segregation was seen to increase with increasing polar surface energy, this was attributed to an increased net attraction between the solid surface and polar groups at higher polar surface energy.
△ Less
Submitted 15 November, 2016;
originally announced November 2016.
-
Topologically ordered magnesium-biopolymer hybrid composite structures
Authors:
Reece N. Oosterbeek,
Christopher K. Seal,
Mark P. Staiger,
Margaret M. Hyland
Abstract:
Magnesium and its alloys are intriguing as possible biodegradable biomaterials due to their unique combination of biodegradability and high specific mechanical properties. However, uncontrolled biodegradation of magnesium during implantation remains a major challenge in spite of the use of alloying and protective coatings. In this study, a hybrid composite structure of magnesium metal and a biopol…
▽ More
Magnesium and its alloys are intriguing as possible biodegradable biomaterials due to their unique combination of biodegradability and high specific mechanical properties. However, uncontrolled biodegradation of magnesium during implantation remains a major challenge in spite of the use of alloying and protective coatings. In this study, a hybrid composite structure of magnesium metal and a biopolymer was fabricated as an alternative approach to control the corrosion rate of magnesium. A multistep process that combines metal foam production and injection molding was developed to create a hybrid composite structure that is topologically ordered in all three dimensions. Preliminary investigations of the mechanical properties and corrosion behavior exhibited by the hybrid Mg-polymer composite structures suggest a new potential approach to the development of Mg-based biomedical devices.
△ Less
Submitted 15 November, 2016;
originally announced November 2016.
-
Hopf measuring comonoids and enrichment
Authors:
Martin Hyland,
Ignacio Lopez Franco,
Christina Vasilakopoulou
Abstract:
We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category of monoids over the monoidal category of comonoids. In symmetric categories, we show that if $A$ is a bimonoid and $B$ is a commutative monoid, then $P(A,B)$ is a bimonoid; in addition, if $A$ is a cocommutative Hopf mono…
▽ More
We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category of monoids over the monoidal category of comonoids. In symmetric categories, we show that if $A$ is a bimonoid and $B$ is a commutative monoid, then $P(A,B)$ is a bimonoid; in addition, if $A$ is a cocommutative Hopf monoid then $P(A,B)$ always is Hopf. If $A$ is a Hopf monoid, not necessarily cocommutative, then $P(A,B)$ is Hopf if the fundamental theorem of comodules holds; to prove this we give an alternative description of the dualizable $P(A,B)$-comodules and use the theory of Hopf (co)monads. We explore the examples of universal measuring comonoids in vector spaces and graded spaces.
△ Less
Submitted 26 April, 2016; v1 submitted 25 September, 2015;
originally announced September 2015.
-
Elements of a theory of algebraic theories
Authors:
Martin Hyland
Abstract:
Kleisli bicategories are a natural environment in which the combinatorics involved in various notions of algebraic theory can be handled in a uniform way. The setting allows a clear account of comparisons between such notions. Algebraic theories, symmetric operads and nonsymmetric operads are treated as examples.
Kleisli bicategories are a natural environment in which the combinatorics involved in various notions of algebraic theory can be handled in a uniform way. The setting allows a clear account of comparisons between such notions. Algebraic theories, symmetric operads and nonsymmetric operads are treated as examples.
△ Less
Submitted 29 November, 2013;
originally announced November 2013.
-
Classical lambda calculus in modern dress
Authors:
Martin Hyland
Abstract:
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's representation theorem is then completely natural and leads to precise theorems showing the essential equivalence with more familiar notions. Simple abstract proofs of…
▽ More
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's representation theorem is then completely natural and leads to precise theorems showing the essential equivalence with more familiar notions. Simple abstract proofs of fundamental results in the semantics of the lambda calculus are given.
△ Less
Submitted 6 October, 2013; v1 submitted 25 November, 2012;
originally announced November 2012.
-
Moduli and periods of simply connected Enriques surfaces
Authors:
T. Ekedahl,
J. M. E. Hyland,
N. I. Shepherd-Barron
Abstract:
We describe a period map for those simply connected Enriques surfaces in characteristic 2 whose canonical double cover is K3. The moduli stack for these surfaces has a Deligne-Mumford quotient that is an open substack of a $\mathbb P^1$-bundle over the period space. We also give some general results relating local and global moduli for algebraic varieties and describe the difference in their dimen…
▽ More
We describe a period map for those simply connected Enriques surfaces in characteristic 2 whose canonical double cover is K3. The moduli stack for these surfaces has a Deligne-Mumford quotient that is an open substack of a $\mathbb P^1$-bundle over the period space. We also give some general results relating local and global moduli for algebraic varieties and describe the difference in their dimensions in terms of the failure of the automorphism group scheme to be reduced.
△ Less
Submitted 1 October, 2012;
originally announced October 2012.
