-
Synthetic Lunar Terrain: A Multimodal Open Dataset for Training and Evaluating Neuromorphic Vision Algorithms
Authors:
Marcus Märtens,
Kevin Farries,
John Culton,
Tat-Jun Chin
Abstract:
Synthetic Lunar Terrain (SLT) is an open dataset collected from an analogue test site for lunar missions, featuring synthetic craters in a high-contrast lighting setup. It includes several side-by-side captures from event-based and conventional RGB cameras, supplemented with a high-resolution 3D laser scan for depth estimation. The event-stream recorded from the neuromorphic vision sensor of the e…
▽ More
Synthetic Lunar Terrain (SLT) is an open dataset collected from an analogue test site for lunar missions, featuring synthetic craters in a high-contrast lighting setup. It includes several side-by-side captures from event-based and conventional RGB cameras, supplemented with a high-resolution 3D laser scan for depth estimation. The event-stream recorded from the neuromorphic vision sensor of the event-based camera is of particular interest as this emerging technology provides several unique advantages, such as high data rates, low energy consumption and resilience towards scenes of high dynamic range. SLT provides a solid foundation to analyse the limits of RGB-cameras and potential advantages or synergies in utilizing neuromorphic visions with the goal of enabling and improving lunar specific applications like rover navigation, landing in cratered environments or similar.
△ Less
Submitted 29 August, 2024;
originally announced August 2024.
-
Exploring Holistic HMI Design for Automated Vehicles: Insights from a Participatory Workshop to Bridge In-Vehicle and External Communication
Authors:
Haoyu Dong,
Tram Thi Minh Tran,
Rutger Verstegen,
Silvia Cazacu,
Ruolin Gao,
Marius Hoggenmüller,
Debargha Dey,
Mervyn Franssen,
Markus Sasalovici,
Pavlo Bazilinskyy,
Marieke Martens
Abstract:
Human-Machine Interfaces (HMIs) for automated vehicles (AVs) are typically divided into two categories: internal HMIs for interactions within the vehicle, and external HMIs for communication with other road users. In this work, we examine the prospects of bridging these two seemingly distinct domains. Through a participatory workshop with automotive user interface researchers and practitioners, we…
▽ More
Human-Machine Interfaces (HMIs) for automated vehicles (AVs) are typically divided into two categories: internal HMIs for interactions within the vehicle, and external HMIs for communication with other road users. In this work, we examine the prospects of bridging these two seemingly distinct domains. Through a participatory workshop with automotive user interface researchers and practitioners, we facilitated a critical exploration of holistic HMI design by having workshop participants collaboratively develop interaction scenarios involving AVs, in-vehicle users, and external road users. The discussion offers insights into the escalation of interface elements as an HMI design strategy, the direct interactions between different users, and an expanded understanding of holistic HMI design. This work reflects a collaborative effort to understand the practical aspects of this holistic design approach, offering new perspectives and encouraging further investigation into this underexplored aspect of automotive user interfaces.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Covariate-adjusted Group Sequential Comparisons of Survival Probabilities
Authors:
Peter Zhang,
Brent Logan,
Michael Martens
Abstract:
In confirmatory clinical trials, survival outcomes are frequently studied and interim analyses for efficacy and/or futility are often desirable. Methods such as the log rank test and Cox regression model are commonly used to compare treatments in this setting. They rely on a proportional hazards (PH) assumption and are subject to type I error rate inflation and loss of power when PH are violated.…
▽ More
In confirmatory clinical trials, survival outcomes are frequently studied and interim analyses for efficacy and/or futility are often desirable. Methods such as the log rank test and Cox regression model are commonly used to compare treatments in this setting. They rely on a proportional hazards (PH) assumption and are subject to type I error rate inflation and loss of power when PH are violated. Such violations may be expected a priori, particularly when the mechanisms of treatments differ such as immunotherapy vs. chemotherapy for treating cancer. We develop group sequential tests for comparing survival curves with covariate adjustment that allow for interim analyses in the presence of non-PH and offer easily interpreted, clinically meaningful summary measures of the treatment effect. The joint distribution of repeatedly computed test statistics converges to the canonical joint distribution with a Markov structure. The asymptotic distribution of the test statistics allows marginal comparisons of survival probabilities at multiple fixed time points and facilitates both critical value specification to maintain type I error control and sample size/power determination. Simulations demonstrate that the achieved type I error rate and power of the proposed tests meet targeted levels and are robust to the PH assumption and covariate influence. The proposed tests are illustrated using a clinical trial dataset from the Blood and Marrow Transplant Clinical Trials Network 1101 trial.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
The Conditional Prediction Function: A Novel Technique to Control False Discovery Rate for Complex Models
Authors:
Yushu Shi,
Michael Martens
Abstract:
In modern scientific research, the objective is often to identify which variables are associated with an outcome among a large class of potential predictors. This goal can be achieved by selecting variables in a manner that controls the the false discovery rate (FDR), the proportion of irrelevant predictors among the selections. Knockoff filtering is a cutting-edge approach to variable selection t…
▽ More
In modern scientific research, the objective is often to identify which variables are associated with an outcome among a large class of potential predictors. This goal can be achieved by selecting variables in a manner that controls the the false discovery rate (FDR), the proportion of irrelevant predictors among the selections. Knockoff filtering is a cutting-edge approach to variable selection that provides FDR control. Existing knockoff statistics frequently employ linear models to assess relationships between features and the response, but the linearity assumption is often violated in real world applications. This may result in poor power to detect truly prognostic variables. We introduce a knockoff statistic based on the conditional prediction function (CPF), which can pair with state-of-art machine learning predictive models, such as deep neural networks. The CPF statistics can capture the nonlinear relationships between predictors and outcomes while also accounting for correlation between features. We illustrate the capability of the CPF statistics to provide superior power over common knockoff statistics with continuous, categorical, and survival outcomes using repeated simulations. Knockoff filtering with the CPF statistics is demonstrated using (1) a residential building dataset to select predictors for the actual sales prices and (2) the TCGA dataset to select genes that are correlated with disease staging in lung cancer patients.
△ Less
Submitted 7 October, 2023;
originally announced October 2023.
-
Key Science Goals for the Next-Generation Event Horizon Telescope
Authors:
Michael D. Johnson,
Kazunori Akiyama,
Lindy Blackburn,
Katherine L. Bouman,
Avery E. Broderick,
Vitor Cardoso,
R. P. Fender,
Christian M. Fromm,
Peter Galison,
José L. Gómez,
Daryl Haggard,
Matthew L. Lister,
Andrei P. Lobanov,
Sera Markoff,
Ramesh Narayan,
Priyamvada Natarajan,
Tiffany Nichols,
Dominic W. Pesce,
Ziri Younsi,
Andrew Chael,
Koushik Chatterjee,
Ryan Chaves,
Juliusz Doboszewski,
Richard Dodson,
Sheperd S. Doeleman
, et al. (20 additional authors not shown)
Abstract:
The Event Horizon Telescope (EHT) has led to the first images of a supermassive black hole, revealing the central compact objects in the elliptical galaxy M87 and the Milky Way. Proposed upgrades to this array through the next-generation EHT (ngEHT) program would sharply improve the angular resolution, dynamic range, and temporal coverage of the existing EHT observations. These improvements will u…
▽ More
The Event Horizon Telescope (EHT) has led to the first images of a supermassive black hole, revealing the central compact objects in the elliptical galaxy M87 and the Milky Way. Proposed upgrades to this array through the next-generation EHT (ngEHT) program would sharply improve the angular resolution, dynamic range, and temporal coverage of the existing EHT observations. These improvements will uniquely enable a wealth of transformative new discoveries related to black hole science, extending from event-horizon-scale studies of strong gravity to studies of explosive transients to the cosmological growth and influence of supermassive black holes. Here, we present the key science goals for the ngEHT and their associated instrument requirements, both of which have been formulated through a multi-year international effort involving hundreds of scientists worldwide.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
The Next Generation Event Horizon Telescope Collaboration: History, Philosophy, and Culture
Authors:
Peter Galison,
Juliusz Doboszewski,
Jamee Elder,
Niels C. M. Martens,
Abhay Ashtekar,
Jonas Enander,
Marie Gueguen,
Elizabeth A. Kessler,
Roberto Lalli,
Martin Lesourd,
Alexandru Marcoci,
Sebastián Murgueitio Ramírez,
Priyamvada Natarajan,
James Nguyen,
Luis Reyes-Galindo,
Sophie Ritson,
Mike D. Schneider,
Emilie Skulberg,
Helene Sorgner,
Matthew Stanley,
Ann C. Thresher,
Jeroen Van Dongen,
James Owen Weatherall,
Jingyi Wu,
Adrian Wüthrich
Abstract:
This white paper outlines the plans of the History Philosophy Culture Working Group of the Next Generation Event Horizon Telescope Collaboration.
This white paper outlines the plans of the History Philosophy Culture Working Group of the Next Generation Event Horizon Telescope Collaboration.
△ Less
Submitted 5 April, 2023;
originally announced April 2023.
-
Is the Observable Universe Consistent with the Cosmological Principle?
Authors:
Pavan Kumar Aluri,
Paolo Cea,
Pravabati Chingangbam,
Ming-Chung Chu,
Roger G. Clowes,
Damien Hutsemékers,
Joby P. Kochappan,
Alexia M. Lopez,
Lang Liu,
Niels C. M. Martens,
C. J. A. P. Martins,
Konstantinos Migkas,
Eoin Ó Colgáin,
Pratyush Pranav,
Lior Shamir,
Ashok K. Singal,
M. M. Sheikh-Jabbari,
Jenny Wagner,
Shao-Jiang Wang,
David L. Wiltshire,
Shek Yeung,
Lu Yin,
Wen Zhao
Abstract:
The Cosmological Principle (CP) -- the notion that the Universe is spatially isotropic and homogeneous on large scales -- underlies a century of progress in cosmology. It is conventionally formulated through the Friedmann-Lemaître-Robertson-Walker (FLRW) cosmologies as the spacetime metric, and culminates in the successful and highly predictive $Λ$-Cold-Dark-Matter ($Λ$CDM) model. Yet, tensions ha…
▽ More
The Cosmological Principle (CP) -- the notion that the Universe is spatially isotropic and homogeneous on large scales -- underlies a century of progress in cosmology. It is conventionally formulated through the Friedmann-Lemaître-Robertson-Walker (FLRW) cosmologies as the spacetime metric, and culminates in the successful and highly predictive $Λ$-Cold-Dark-Matter ($Λ$CDM) model. Yet, tensions have emerged within the $Λ$CDM model, most notably a statistically significant discrepancy in the value of the Hubble constant, $H_0$. Since the notion of cosmic expansion determined by a single parameter is intimately tied to the CP, implications of the $H_0$ tension may extend beyond $Λ$CDM to the CP itself. This review surveys current observational hints for deviations from the expectations of the CP, highlighting synergies and disagreements that warrant further study. Setting aside the debate about individual large structures, potential deviations from the CP include variations of cosmological parameters on the sky, discrepancies in the cosmic dipoles, and mysterious alignments in quasar polarizations and galaxy spins. While it is possible that a host of observational systematics are impacting results, it is equally plausible that precision cosmology may have outgrown the FLRW paradigm, an extremely pragmatic but non-fundamental symmetry assumption.
△ Less
Submitted 27 February, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Symbolic Regression for Space Applications: Differentiable Cartesian Genetic Programming Powered by Multi-objective Memetic Algorithms
Authors:
Marcus Märtens,
Dario Izzo
Abstract:
Interpretable regression models are important for many application domains, as they allow experts to understand relations between variables from sparse data. Symbolic regression addresses this issue by searching the space of all possible free form equations that can be constructed from elementary algebraic functions. While explicit mathematical functions can be rediscovered this way, the determina…
▽ More
Interpretable regression models are important for many application domains, as they allow experts to understand relations between variables from sparse data. Symbolic regression addresses this issue by searching the space of all possible free form equations that can be constructed from elementary algebraic functions. While explicit mathematical functions can be rediscovered this way, the determination of unknown numerical constants during search has been an often neglected issue. We propose a new multi-objective memetic algorithm that exploits a differentiable Cartesian Genetic Programming encoding to learn constants during evolutionary loops. We show that this approach is competitive or outperforms machine learned black box regression models or hand-engineered fits for two applications from space: the Mars express thermal power estimation and the determination of the age of stars by gyrochronology.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
The Fellowship of the Dyson Ring: ACT&Friends' Results and Methods for GTOC 11
Authors:
Marcus Märtens,
Dario Izzo,
Emmanuel Blazquez,
Moritz von Looz,
Pablo Gómez,
Anne Mergy,
Giacomo Acciarini,
Chit Hong Yam,
Javier Hernando Ayuso,
Yuri Shimane
Abstract:
Dyson spheres are hypothetical megastructures encircling stars in order to harvest most of their energy output. During the 11th edition of the GTOC challenge, participants were tasked with a complex trajectory planning related to the construction of a precursor Dyson structure, a heliocentric ring made of twelve stations. To this purpose, we developed several new approaches that synthesize techniq…
▽ More
Dyson spheres are hypothetical megastructures encircling stars in order to harvest most of their energy output. During the 11th edition of the GTOC challenge, participants were tasked with a complex trajectory planning related to the construction of a precursor Dyson structure, a heliocentric ring made of twelve stations. To this purpose, we developed several new approaches that synthesize techniques from machine learning, combinatorial optimization, planning and scheduling, and evolutionary optimization effectively integrated into a fully automated pipeline. These include a machine learned transfer time estimator, improving the established Edelbaum approximation and thus better informing a Lazy Race Tree Search to identify and collect asteroids with high arrival mass for the stations; a series of optimally-phased low-thrust transfers to all stations computed by indirect optimization techniques, exploiting the synodic periodicity of the system; and a modified Hungarian scheduling algorithm, which utilizes evolutionary techniques to arrange a mass-balanced arrival schedule out of all transfer possibilities. We describe the steps of our pipeline in detail with a special focus on how our approaches mutually benefit from each other. Lastly, we outline and analyze the final solution of our team, ACT&Friends, which ranked second at the GTOC 11 challenge.
△ Less
Submitted 23 May, 2022; v1 submitted 13 May, 2022;
originally announced May 2022.
-
Hybrid Eyes: Design and Evaluation of the Prediction-level Cooperative Driving with a Real-world Automated Driving System
Authors:
Chao Wang,
Derck Chu,
Marieke Martens,
Matti Krüger,
Thomas H. Weisswange
Abstract:
Currently, there are still various situations in which automated driving systems (ADS) cannot perform as well as a human driver, particularly in predicting the behaviour of surrounding traffic. As humans are still surpassing state-of-the-art ADS in this task, a new concept enabling human driver to help ADS to better anticipate the behaviour of other road users was developed. Preliminary results su…
▽ More
Currently, there are still various situations in which automated driving systems (ADS) cannot perform as well as a human driver, particularly in predicting the behaviour of surrounding traffic. As humans are still surpassing state-of-the-art ADS in this task, a new concept enabling human driver to help ADS to better anticipate the behaviour of other road users was developed. Preliminary results suggested that the collaboration at the prediction level can effectively enhance the experience and comfort of ADS. For an in-depth investigation of the concept, we implemented an interactive prototype, called Prediction-level Cooperative Automated Driving system (PreCoAD), adapting an existing ADS that has been previously validated on the public road. The results of a driving simulator study among 15 participants in different highway scenarios showed that PreCoAD could enhance automated driving performance and provide a positive user experience. Follow-up interviews with participants also provided insights into the improvement of the system.
△ Less
Submitted 4 October, 2022; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Integrating Dark Matter, Modified Gravity, and the Humanities
Authors:
Niels C. M. Martens,
Miguel Ángel Carretero Sahuquillo,
Erhard Scholz,
Dennis Lehmkuhl,
Michael Krämer
Abstract:
Editorial of a special issue on dark matter & modified gravity, distributed across the journals Studies in History and Philosophy of Modern Physics and Studies in History and Philosophy of Science. Published version of the open access editorial (in SHPS) available here: https://doi.org/10.1016/j.shpsa.2021.08.015. The six papers are collected here: https://www.sciencedirect.com/journal/studies-in-…
▽ More
Editorial of a special issue on dark matter & modified gravity, distributed across the journals Studies in History and Philosophy of Modern Physics and Studies in History and Philosophy of Science. Published version of the open access editorial (in SHPS) available here: https://doi.org/10.1016/j.shpsa.2021.08.015. The six papers are collected here: https://www.sciencedirect.com/journal/studies-in-history-and-philosophy-of-science-part-b-studies-in-history-and-philosophy-of-modern-physics/special-issue/10CR71RJLWM.
△ Less
Submitted 23 February, 2022;
originally announced February 2022.
-
Dark Matter Realism
Authors:
Niels C. M. Martens
Abstract:
According to the standard model of cosmology, LambdaCDM, the mass-energy budget of the current stage of the universe is not dominated by the luminous matter that we are familiar with, but instead by some form of dark matter (and dark energy). It is thus tempting to adopt scientific realism about dark matter. However, there are barely any constraints on the myriad of possible properties of this ent…
▽ More
According to the standard model of cosmology, LambdaCDM, the mass-energy budget of the current stage of the universe is not dominated by the luminous matter that we are familiar with, but instead by some form of dark matter (and dark energy). It is thus tempting to adopt scientific realism about dark matter. However, there are barely any constraints on the myriad of possible properties of this entity -- it is not even certain that it is a form of matter. In light of this underdetermination I advocate caution: we should not (yet) be dark matter realists. The "not(-yet)-realism" that I have in mind is different from Hacking's (1989) anti-realism, in that it is semantic rather than epistemological. It also differs from the semantic anti-realism of logical empiricism, in that it is naturalistic, such that it may only be temporary and does not automatically apply to all other unobservables (or even just to all other astronomical unobservables, as with Hacking's anti-realism). The argument is illustrated with the analogy of the much longer history of the concept of a gene, as the current state of the concept of dark matter resembles in some relevant ways that of the early concept of genes.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
Nonparametric Bayesian Knockoff Generators for Feature Selection Under Complex Data Structure
Authors:
Michael J. Martens,
Anjishnu Banerjee,
Xinran Qi,
Yushu Shi
Abstract:
The recent proliferation of high-dimensional data, such as electronic health records and genetics data, offers new opportunities to find novel predictors of outcomes. Presented with a large set of candidate features, interest often lies in selecting the ones most likely to be predictive of an outcome for further study. Controlling the false discovery rate (FDR) at a specified level is often desire…
▽ More
The recent proliferation of high-dimensional data, such as electronic health records and genetics data, offers new opportunities to find novel predictors of outcomes. Presented with a large set of candidate features, interest often lies in selecting the ones most likely to be predictive of an outcome for further study. Controlling the false discovery rate (FDR) at a specified level is often desired in evaluating these variables. Knockoff filtering is an innovative strategy for conducting FDR-controlled feature selection. This paper proposes a nonparametric Bayesian model for generating high-quality knockoff copies that can improve the accuracy of predictive feature identification for variables arising from complex distributions, which can be skewed, highly dispersed and/or a mixture of distributions. This paper provides a detailed description for generating knockoff copies from a GDPM model via MCMC posterior sampling. Additionally, we provide a theoretical guarantee on the robustness of the knockoff procedure. Through simulations, the method is shown to identify important features with accurate FDR control and improved power over the popular second-order Gaussian knockoff generator. Furthermore, the model is compared with finite Gaussian mixture knockoff generator in FDR and power. The proposed technique is applied for detecting genes predictive of survival in ovarian cancer patients using data from The Cancer Genome Atlas (TCGA).
△ Less
Submitted 22 September, 2024; v1 submitted 12 November, 2021;
originally announced November 2021.
-
SPEED+: Next-Generation Dataset for Spacecraft Pose Estimation across Domain Gap
Authors:
Tae Ha Park,
Marcus Märtens,
Gurvan Lecuyer,
Dario Izzo,
Simone D'Amico
Abstract:
Autonomous vision-based spaceborne navigation is an enabling technology for future on-orbit servicing and space logistics missions. While computer vision in general has benefited from Machine Learning (ML), training and validating spaceborne ML models are extremely challenging due to the impracticality of acquiring a large-scale labeled dataset of images of the intended target in the space environ…
▽ More
Autonomous vision-based spaceborne navigation is an enabling technology for future on-orbit servicing and space logistics missions. While computer vision in general has benefited from Machine Learning (ML), training and validating spaceborne ML models are extremely challenging due to the impracticality of acquiring a large-scale labeled dataset of images of the intended target in the space environment. Existing datasets, such as Spacecraft PosE Estimation Dataset (SPEED), have so far mostly relied on synthetic images for both training and validation, which are easy to mass-produce but fail to resemble the visual features and illumination variability inherent to the target spaceborne images. In order to bridge the gap between the current practices and the intended applications in future space missions, this paper introduces SPEED+: the next generation spacecraft pose estimation dataset with specific emphasis on domain gap. In addition to 60,000 synthetic images for training, SPEED+ includes 9,531 hardware-in-the-loop images of a spacecraft mockup model captured from the Testbed for Rendezvous and Optical Navigation (TRON) facility. TRON is a first-of-a-kind robotic testbed capable of capturing an arbitrary number of target images with accurate and maximally diverse pose labels and high-fidelity spaceborne illumination conditions. SPEED+ is used in the second international Satellite Pose Estimation Challenge co-hosted by SLAB and the Advanced Concepts Team of the European Space Agency to evaluate and compare the robustness of spaceborne ML models trained on synthetic images.
△ Less
Submitted 9 December, 2021; v1 submitted 6 October, 2021;
originally announced October 2021.
-
Estimating the contribution of early and late noise in vision from psychophysical data
Authors:
Jesus Malo,
Jose Juan Esteve-Taboada,
Guillermo Aguilar,
Marianne Maertens,
Felix A. Wichmann
Abstract:
In many psychophysical detection and discrimination tasks human performance is thought to be limited by internal or inner noise when neuronal activity is converted into an overt behavioural response. It is unclear, however, to what extent the behaviourally limiting inner noise arises from early noise in the photoreceptors and the retina, or from late noise in cortex at or immediately prior to the…
▽ More
In many psychophysical detection and discrimination tasks human performance is thought to be limited by internal or inner noise when neuronal activity is converted into an overt behavioural response. It is unclear, however, to what extent the behaviourally limiting inner noise arises from early noise in the photoreceptors and the retina, or from late noise in cortex at or immediately prior to the decision stage. Presumably, the behaviourally limiting inner noise is a non-trivial combination of both early and late noises. Here we propose a method to quantify the contributions of early and late noise purely from psychophysical data. Our analysis generalizes classical results for linear systems (Burgess and Colborne, 1988) by combining the theory of noise propagation through a nonlinear network (Ahumada, 1987) with the expressions to obtain the perceptual metric along the nonlinear network (Malo and Simoncelli, 2006; Laparra et al., 2010). We show that from threshold-only data the relative contribution of early and late noise can only be determined if the experiments include substantial external noise in some of the stimuli used during experiments. If experimenters collected full psychometric functions, however, then early and late noise sources can be quantified even in the absence of external noise. Our psychophysical estimate of the magnitude of the early noise assuming a standard cascade of linear and nonlinear model stages is substantially lower than the noise in cone photocurrents computed via an accurate model of retinal physiology (Brainard and Wandell, 2020, ISETBIO). This is consistent with the idea that one of the fundamental tasks of early vision is to reduce the comparatively large retinal noise.
△ Less
Submitted 13 May, 2024; v1 submitted 11 December, 2020;
originally announced December 2020.
-
Cartography of the space of theories: an interpretational chart for fields that are both (dark) matter and spacetime
Authors:
Niels C. M. Martens,
Dennis Lehmkuhl
Abstract:
This paper pushes back against the Democritean-Newtonian tradition of assuming a strict conceptual dichotomy between spacetime and matter. Our approach proceeds via the more narrow distinction between modified gravity/spacetime (MG) and dark matter (DM). A prequel paper argued that the novel field $Φ$ postulated by Berezhiani and Khoury's 'superfluid dark matter theory' is as much (dark) matter as…
▽ More
This paper pushes back against the Democritean-Newtonian tradition of assuming a strict conceptual dichotomy between spacetime and matter. Our approach proceeds via the more narrow distinction between modified gravity/spacetime (MG) and dark matter (DM). A prequel paper argued that the novel field $Φ$ postulated by Berezhiani and Khoury's 'superfluid dark matter theory' is as much (dark) matter as anything could possibly be, but also$-$below the critical temperature for superfluidity$-$as much (of a modification of) spacetime as anything could possibly be. Here we introduce and critically evaluate three groups of interpretations that one should consider for such Janus-faced theories. The consubstantiality interpretation holds that $Φ$ is both (dark) matter and a modification of spacetime, analogously to the sense in which Jesus (according to catholicism) is both human and god. The fundamendalist interpretations consider for each of these roles whether they are instantiated fundamentally or emergently. The breakdown interpretations focus on the question of whether $Φ$ signals the breakdown, in some sense to be specified, of the MG-DM dichotomy and perhaps even the broader spacetime-matter distinction. More generally, it is argued that hybrid theories urge a move towards a single space of theories, rather than two separate spaces of spacetime theories and matter theories, respectively.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Dark Matter = Modified Gravity? Scrutinising the spacetime-matter distinction through the modified gravity/ dark matter lens
Authors:
Niels C. M. Martens,
Dennis Lehmkuhl
Abstract:
This paper scrutinises the tenability of a strict conceptual distinction between space(time) and matter via the lens of the debate between modified gravity and dark matter. In particular, we consider Berezhiani and Khoury's novel 'superfluid dark matter theory' (SFDM) as a case study. Two families of criteria for being matter and being spacetime, respectively, are extracted from the literature. Ev…
▽ More
This paper scrutinises the tenability of a strict conceptual distinction between space(time) and matter via the lens of the debate between modified gravity and dark matter. In particular, we consider Berezhiani and Khoury's novel 'superfluid dark matter theory' (SFDM) as a case study. Two families of criteria for being matter and being spacetime, respectively, are extracted from the literature. Evaluation of the new scalar field postulated by SFDM according to these criteria reveals that it is as much (dark) matter as anything could possibly be, but also$-$below the critical temperature for superfluidity$-$as much (of a modification of) spacetime as anything could possibly be. A sequel paper examines possible interpretations of SFDM in light of this result, as well as the consequences for our understanding of (the importance of) the modified gravity/ dark matter distinction and the broader spacetime-matter distinction.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Newhouse Laminations of polynomials on $\mathbb{C}^2$
Authors:
Marco Martens,
Liviana Palmisano,
Zhuang Tao
Abstract:
It has been recently discovered that in smooth unfoldings of maps with a rank-one homoclinic tangency there are codimension two laminations of maps with infinitely many sinks. Indeed, these laminations, called Newhouse laminations, occur also in the holomorphic context. In the space of polynomials of $\mathbb{C}^2$, with bounded degree, there are Newhouse laminations.
It has been recently discovered that in smooth unfoldings of maps with a rank-one homoclinic tangency there are codimension two laminations of maps with infinitely many sinks. Indeed, these laminations, called Newhouse laminations, occur also in the holomorphic context. In the space of polynomials of $\mathbb{C}^2$, with bounded degree, there are Newhouse laminations.
△ Less
Submitted 20 January, 2020;
originally announced January 2020.
-
Satellite Pose Estimation Challenge: Dataset, Competition Design and Results
Authors:
Mate Kisantal,
Sumant Sharma,
Tae Ha Park,
Dario Izzo,
Marcus Märtens,
Simone D'Amico
Abstract:
Reliable pose estimation of uncooperative satellites is a key technology for enabling future on-orbit servicing and debris removal missions. The Kelvins Satellite Pose Estimation Challenge aims at evaluating and comparing monocular vision-based approaches and pushing the state-of-the-art on this problem. This work is based on the Satellite Pose Estimation Dataset, the first publicly available mach…
▽ More
Reliable pose estimation of uncooperative satellites is a key technology for enabling future on-orbit servicing and debris removal missions. The Kelvins Satellite Pose Estimation Challenge aims at evaluating and comparing monocular vision-based approaches and pushing the state-of-the-art on this problem. This work is based on the Satellite Pose Estimation Dataset, the first publicly available machine learning set of synthetic and real spacecraft imageries. The choice of dataset reflects one of the unique challenges associated with spaceborne computer vision tasks, namely the lack of spaceborne images to train and validate the developed algorithms. This work briefly reviews the basic properties and the collection process of the dataset which was made publicly available. The competition design, including the definition of performance metrics and the adopted testbed, is also discussed. The main contribution of this paper is the analysis of the submissions of the 48 competitors, which compares the performance of different approaches and uncovers what factors make the satellite pose estimation problem especially challenging.
△ Less
Submitted 24 April, 2020; v1 submitted 5 November, 2019;
originally announced November 2019.
-
Neural Network Architecture Search with Differentiable Cartesian Genetic Programming for Regression
Authors:
Marcus Märtens,
Dario Izzo
Abstract:
The ability to design complex neural network architectures which enable effective training by stochastic gradient descent has been the key for many achievements in the field of deep learning. However, developing such architectures remains a challenging and resourceintensive process full of trial-and-error iterations. All in all, the relation between the network topology and its ability to model th…
▽ More
The ability to design complex neural network architectures which enable effective training by stochastic gradient descent has been the key for many achievements in the field of deep learning. However, developing such architectures remains a challenging and resourceintensive process full of trial-and-error iterations. All in all, the relation between the network topology and its ability to model the data remains poorly understood. We propose to encode neural networks with a differentiable variant of Cartesian Genetic Programming (dCGPANN) and present a memetic algorithm for architecture design: local searches with gradient descent learn the network parameters while evolutionary operators act on the dCGPANN genes shaping the network architecture towards faster learning. Studying a particular instance of such a learning scheme, we are able to improve the starting feed forward topology by learning how to rewire and prune links, adapt activation functions and introduce skip connections for chosen regression tasks. The evolved network architectures require less space for network parameters and reach, given the same amount of time, a significantly lower error on average.
△ Less
Submitted 3 July, 2019;
originally announced July 2019.
-
Super-Resolution of PROBA-V Images Using Convolutional Neural Networks
Authors:
Marcus Märtens,
Dario Izzo,
Andrej Krzic,
Daniël Cox
Abstract:
ESA's PROBA-V Earth observation satellite enables us to monitor our planet at a large scale, studying the interaction between vegetation and climate and provides guidance for important decisions on our common global future. However, the interval at which high resolution images are recorded spans over several days, in contrast to the availability of lower resolution images which is often daily. We…
▽ More
ESA's PROBA-V Earth observation satellite enables us to monitor our planet at a large scale, studying the interaction between vegetation and climate and provides guidance for important decisions on our common global future. However, the interval at which high resolution images are recorded spans over several days, in contrast to the availability of lower resolution images which is often daily. We collect an extensive dataset of both, high and low resolution images taken by PROBA-V instruments during monthly periods to investigate Multi Image Super-resolution, a technique to merge several low resolution images to one image of higher quality. We propose a convolutional neural network that is able to cope with changes in illumination, cloud coverage and landscape features which are challenges introduced by the fact that the different images are taken over successive satellite passages over the same region. Given a bicubic upscaling of low resolution images taken under optimal conditions, we find the Peak Signal to Noise Ratio of the reconstructed image of the network to be higher for a large majority of different scenes. This shows that applied machine learning has the potential to enhance large amounts of previously collected earth observation data during multiple satellite passes.
△ Less
Submitted 3 July, 2019;
originally announced July 2019.
-
Interplanetary Transfers via Deep Representations of the Optimal Policy and/or of the Value Function
Authors:
Dario Izzo,
Ekin Öztürk,
Marcus Märtens
Abstract:
A number of applications to interplanetary trajectories have been recently proposed based on deep networks. These approaches often rely on the availability of a large number of optimal trajectories to learn from. In this paper we introduce a new method to quickly create millions of optimal spacecraft trajectories from a single nominal trajectory. Apart from the generation of the nominal trajectory…
▽ More
A number of applications to interplanetary trajectories have been recently proposed based on deep networks. These approaches often rely on the availability of a large number of optimal trajectories to learn from. In this paper we introduce a new method to quickly create millions of optimal spacecraft trajectories from a single nominal trajectory. Apart from the generation of the nominal trajectory, no additional optimal control problems need to be solved as all the trajectories, by construction, satisfy Pontryagin's minimum principle and the relevant transversality conditions. We then consider deep feed forward neural networks and benchmark three learning methods on the created dataset: policy imitation, value function learning and value function gradient learning. Our results are shown for the case of the interplanetary trajectory optimization problem of reaching Venus orbit, with the nominal trajectory starting from the Earth. We find that both policy imitation and value function gradient learning are able to learn the optimal state feedback, while in the case of value function learning the optimal policy is not captured, only the final value of the optimal propellant mass is.
△ Less
Submitted 18 April, 2019;
originally announced April 2019.
-
A Survey on Artificial Intelligence Trends in Spacecraft Guidance Dynamics and Control
Authors:
Dario Izzo,
Marcus Märtens,
Binfeng Pan
Abstract:
The rapid developments of Artificial Intelligence in the last decade are influencing Aerospace Engineering to a great extent and research in this context is proliferating. We share our observations on the recent developments in the area of Spacecraft Guidance Dynamics and Control, giving selected examples on success stories that have been motivated by mission designs. Our focus is on evolutionary…
▽ More
The rapid developments of Artificial Intelligence in the last decade are influencing Aerospace Engineering to a great extent and research in this context is proliferating. We share our observations on the recent developments in the area of Spacecraft Guidance Dynamics and Control, giving selected examples on success stories that have been motivated by mission designs. Our focus is on evolutionary optimisation, tree searches and machine learning, including deep learning and reinforcement learning as the key technologies and drivers for current and future research in the field. From a high-level perspective, we survey various scenarios for which these approaches have been successfully applied or are under strong scientific investigation. Whenever possible, we highlight the relations and synergies that can be obtained by combining different techniques and projects towards future domains for which newly emerging artificial intelligence techniques are expected to become game changers.
△ Less
Submitted 7 December, 2018;
originally announced December 2018.
-
Newhouse Laminations
Authors:
Michael Benedicks,
Marco Martens,
Liviana Palmisano
Abstract:
Newhouse laminations occur in unfoldings of rank-one homoclinic tangencies. Namely, in these unfoldings, there exist codimension $2$ laminations of maps with infinitely many sinks which move simultaneously along the leaves. As consequence, in the space of real polynomial maps, there are examples of: Hénon maps, in any dimension, with infinitely many sinks, quadratic Hénon-like maps with infinitely…
▽ More
Newhouse laminations occur in unfoldings of rank-one homoclinic tangencies. Namely, in these unfoldings, there exist codimension $2$ laminations of maps with infinitely many sinks which move simultaneously along the leaves. As consequence, in the space of real polynomial maps, there are examples of: Hénon maps, in any dimension, with infinitely many sinks, quadratic Hénon-like maps with infinitely many sinks and a period doubling attractor, quadratic Hénon-like maps with infinitely many sinks and a strange attractor, non trivial analytic families of polynomial maps with infinitely many sinks.
△ Less
Submitted 19 August, 2019; v1 submitted 1 November, 2018;
originally announced November 2018.
-
Multi-Stage Reinforcement Learning For Object Detection
Authors:
Jonas Koenig,
Simon Malberg,
Martin Martens,
Sebastian Niehaus,
Artus Krohn-Grimberghe,
Arunselvan Ramaswamy
Abstract:
We present a reinforcement learning approach for detecting objects within an image. Our approach performs a step-wise deformation of a bounding box with the goal of tightly framing the object. It uses a hierarchical tree-like representation of predefined region candidates, which the agent can zoom in on. This reduces the number of region candidates that must be evaluated so that the agent can affo…
▽ More
We present a reinforcement learning approach for detecting objects within an image. Our approach performs a step-wise deformation of a bounding box with the goal of tightly framing the object. It uses a hierarchical tree-like representation of predefined region candidates, which the agent can zoom in on. This reduces the number of region candidates that must be evaluated so that the agent can afford to compute new feature maps before each step to enhance detection quality. We compare an approach that is based purely on zoom actions with one that is extended by a second refinement stage to fine-tune the bounding box after each zoom step. We also improve the fitting ability by allowing for different aspect ratios of the bounding box. Finally, we propose different reward functions to lead to a better guidance of the agent while following its search trajectories. Experiments indicate that each of these extensions leads to more correct detections. The best performing approach comprises a zoom stage and a refinement stage, uses aspect-ratio modifying actions and is trained using a combination of three different reward metrics.
△ Less
Submitted 26 October, 2018; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Infinitely Many Moduli of Stability at the Dissipative Boundary of Chaos
Authors:
Peter Hazard,
Marco Martens,
Charles Tresser
Abstract:
In the family of area-contracting Hénon-like maps with zero topological entropy we show that there are maps with infinitely many moduli of stability. Thus one cannot find all the possible topological types for non-chaotic area-contracting Hénon-like maps in a family with finitely many parameters. A similar result, but for the chaotic maps in the family, became part of the folklore a short time aft…
▽ More
In the family of area-contracting Hénon-like maps with zero topological entropy we show that there are maps with infinitely many moduli of stability. Thus one cannot find all the possible topological types for non-chaotic area-contracting Hénon-like maps in a family with finitely many parameters. A similar result, but for the chaotic maps in the family, became part of the folklore a short time after Hénon used such maps to produce what was soon conjectured to be the first non-hyperbolic strange attractor in $\mathbb{R}^2$. Our proof uses recent results about infinitely renormalisable area-contracting Hénon-like maps; it suggests that the number of parameters needed to represent all possible topological types for area-contracting Hénon-like maps whose sets of periods of their periodic orbits are finite (and in particular are equal to $\{1,\, 2,\dots,\,2^{n-1}\}$ or an initial segment of this $n$-tuple) increases with the number of periods. In comparison, among $C^k$-embeddings of the 2-disk with $k\geq 1$, the maximal moduli number for non-chaotic but non area-contracting maps in the interior of the set of zero-entropy is infinite.
△ Less
Submitted 4 September, 2017;
originally announced September 2017.
-
Invariant Manifolds for Non-differentiable Operators
Authors:
M. Martens,
L. Palmisano
Abstract:
A general invariant manifold theorem is needed to study the topological classes of smooth dynamical systems. These classes are often invariant under renormalization. The classical invariant manifold theorem cannot be applied, because the renormalization operator for smooth systems is not differentiable and sometimes does not have an attractor. Examples are the renormalization operator for general…
▽ More
A general invariant manifold theorem is needed to study the topological classes of smooth dynamical systems. These classes are often invariant under renormalization. The classical invariant manifold theorem cannot be applied, because the renormalization operator for smooth systems is not differentiable and sometimes does not have an attractor. Examples are the renormalization operator for general smooth dynamics, such as unimodal dynamics, circle dynamics, Cherry dynamics, Lorenz dynamics, Hénon dynamics, etc. A general method to construct invariant manifolds of non-differentiable non-linear operators is presented. An application is that the $\mathcal C^{4+ε}$ Fibonacci Cherry maps form a $\mathcal C^1$ codimension one manifold.
△ Less
Submitted 19 August, 2019; v1 submitted 20 April, 2017;
originally announced April 2017.
-
The Rigidity Conjecture
Authors:
Marco Martens,
Liviana Palmisano,
Björn Winckler
Abstract:
A central question in dynamics is whether the topology of a system determines its geometry. This is known as rigidity. Under mild topological conditions rigidity holds for many classical cases, including: Kleinian groups, circle diffeomorphisms, unimodal interval maps, critical circle maps, and circle maps with a break point. More recent developments show that under similar topological conditions,…
▽ More
A central question in dynamics is whether the topology of a system determines its geometry. This is known as rigidity. Under mild topological conditions rigidity holds for many classical cases, including: Kleinian groups, circle diffeomorphisms, unimodal interval maps, critical circle maps, and circle maps with a break point. More recent developments show that under similar topological conditions, rigidity does not hold for slightly more general systems. In this paper we state a conjecture which describes how topological classes are organized into rigidity classes.
△ Less
Submitted 10 May, 2017; v1 submitted 28 December, 2016;
originally announced December 2016.
-
The Algebraic Intersection Type Unification Problem
Authors:
Andrej Dudenhefner,
Moritz Martens,
Jakob Rehof
Abstract:
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type unification problem is decidable. We give the first nontrivial lower bound for the problem by showing (our main result) that it is exponential time hard. Furthe…
▽ More
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type unification problem is decidable. We give the first nontrivial lower bound for the problem by showing (our main result) that it is exponential time hard. Furthermore, we show that this holds even under rank 1 solutions (substitutions whose codomains are restricted to contain rank 1 types). In addition, we provide a fixed-parameter intractability result for intersection type matching (one-sided unification), which is known to be NP-complete.
We place the algebraic intersection type unification problem in the context of unification theory. The equational theory of intersection types can be presented as an algebraic theory with an ACI (associative, commutative, and idempotent) operator (intersection type) combined with distributivity properties with respect to a second operator (function type). Although the problem is algebraically natural and interesting, it appears to occupy a hitherto unstudied place in the theory of unification, and our investigation of the problem suggests that new methods are required to understand the problem. Thus, for the lower bound proof, we were not able to reduce from known results in ACI-unification theory and use game-theoretic methods for two-player tiling games.
△ Less
Submitted 14 August, 2017; v1 submitted 17 November, 2016;
originally announced November 2016.
-
Instability of Renormalization
Authors:
Marco Martens,
Björn Winckler
Abstract:
In the theory of renormalization for classical dynamical systems, e.g. unimodal maps and critical circle maps, topological conjugacy classes are stable manifolds of renormalization. Physically more realistic systems on the other hand may exhibit instability of renormalization within a topological class. This instability gives rise to new phenomena and opens up directions of inquiry that go beyond…
▽ More
In the theory of renormalization for classical dynamical systems, e.g. unimodal maps and critical circle maps, topological conjugacy classes are stable manifolds of renormalization. Physically more realistic systems on the other hand may exhibit instability of renormalization within a topological class. This instability gives rise to new phenomena and opens up directions of inquiry that go beyond the classical theory. In phase space it leads to the coexistence phenomenon, i.e. there are systems whose attractor has bounded geometry but which are topologically conjugate to systems whose attractor has degenerate geometry; in parameter space it causes dimensional discrepancy, i.e. a topologically full family has too few dimensions to realize all possible geometric behavior.
△ Less
Submitted 10 May, 2017; v1 submitted 14 September, 2016;
originally announced September 2016.
-
Index-antiguiding in narrow-ridge GaN-based laser diodes investigated by measurements of the current-dependent gain and index spectra and by self-consistent simulation
Authors:
Luca Redaelli,
Hans Wenzel,
Joachim Piprek,
Thomas Weig,
Sven Einfeldt,
Martin Martens,
Gerrit Lükens,
Ulrich T. Schwarz,
Michael Kneissl
Abstract:
The threshold current density of narrow (1.5 μm) ridge-waveguide InGaN multi-quantum-well laser diodes, as well as the shape of their lateral far-field patterns, strongly depend on the etch depth of the ridge waveguide. Both effects can be attributed to strong index-antiguiding. A value of the antiguiding factor R = 10 is experimentally determined near threshold by measurements of the current-depe…
▽ More
The threshold current density of narrow (1.5 μm) ridge-waveguide InGaN multi-quantum-well laser diodes, as well as the shape of their lateral far-field patterns, strongly depend on the etch depth of the ridge waveguide. Both effects can be attributed to strong index-antiguiding. A value of the antiguiding factor R = 10 is experimentally determined near threshold by measurements of the current-dependent gain and refractive index spectra. The device performances are simulated self-consistently solving the Schrödinger-Poisson equations and the equations for charge transport and waveguiding. Assuming a carrier-induced index change which matches the experimentally determined antiguiding factor, both the measured high threshold current and the shape of the far-field pattern of lasers with shallow ridges can be reproduced theoretically.
△ Less
Submitted 8 March, 2016;
originally announced March 2016.
-
GTOC8: Results and Methods of ESA Advanced Concepts Team and JAXA-ISAS
Authors:
Dario Izzo,
Daniel Hennes,
Marcus Märtens,
Ingmar Getzner,
Krzysztof Nowak,
Anna Heffernan,
Stefano Campagnola,
Chit Hong Yam,
Naoya Ozaki,
Yoshihide Sugimoto
Abstract:
We consider the interplanetary trajectory design problem posed by the 8th edition of the Global Trajectory Optimization Competition and present the end-to-end strategy developed by the team ACT-ISAS (a collaboration between the European Space Agency's Advanced Concepts Team and JAXA's Institute of Space and Astronautical Science). The resulting interplanetary trajectory won 1st place in the compet…
▽ More
We consider the interplanetary trajectory design problem posed by the 8th edition of the Global Trajectory Optimization Competition and present the end-to-end strategy developed by the team ACT-ISAS (a collaboration between the European Space Agency's Advanced Concepts Team and JAXA's Institute of Space and Astronautical Science). The resulting interplanetary trajectory won 1st place in the competition, achieving a final mission value of $J=146.33$ [Mkm]. Several new algorithms were developed in this context but have an interest that go beyond the particular problem considered, thus, they are discussed in some detail. These include the Moon-targeting technique, allowing one to target a Moon encounter from a low Earth orbit; the 1-$k$ and 2-$k$ fly-by targeting techniques, enabling one to design resonant fly-bys while ensuring a targeted future formation plane% is acquired at some point after the manoeuvre ; the distributed low-thrust targeting technique, admitting one to control the spacecraft formation plane at 1,000,000 [km]; and the low-thrust optimization technique, permitting one to enforce the formation plane's orientations as path constraints.
△ Less
Submitted 3 February, 2016; v1 submitted 2 February, 2016;
originally announced February 2016.
-
First measurement of muon-neutrino disappearance in NOvA
Authors:
P. Adamson,
C. Ader,
M. Andrews,
N. Anfimov,
I. Anghel,
K. Arms,
E. Arrieta-Diaz,
A. Aurisano,
D. Ayres,
C. Backhouse,
M. Baird,
B. A. Bambah,
K. Bays,
R. Bernstein,
M. Betancourt,
V. Bhatnagar,
B. Bhuyan,
J. Bian,
K. Biery,
T. Blackburn,
V. Bocean,
D. Bogert,
A. Bolshakova,
M. Bowden,
C. Bower
, et al. (235 additional authors not shown)
Abstract:
This paper reports the first measurement using the NOvA detectors of $ν_μ$ disappearance in a $ν_μ$ beam. The analysis uses a 14 kton-equivalent exposure of $2.74 \times 10^{20}$ protons-on-target from the Fermilab NuMI beam. Assuming the normal neutrino mass hierarchy, we measure $Δm^{2}_{32}=(2.52^{+0.20}_{-0.18})\times 10^{-3}$ eV$^{2}$ and $\sin^2θ_{23}$ in the range 0.38-0.65, both at the 68%…
▽ More
This paper reports the first measurement using the NOvA detectors of $ν_μ$ disappearance in a $ν_μ$ beam. The analysis uses a 14 kton-equivalent exposure of $2.74 \times 10^{20}$ protons-on-target from the Fermilab NuMI beam. Assuming the normal neutrino mass hierarchy, we measure $Δm^{2}_{32}=(2.52^{+0.20}_{-0.18})\times 10^{-3}$ eV$^{2}$ and $\sin^2θ_{23}$ in the range 0.38-0.65, both at the 68% confidence level, with two statistically-degenerate best fit points at $\sin^2θ_{23} = $ 0.43 and 0.60. Results for the inverted mass hierarchy are also presented.
△ Less
Submitted 20 January, 2016; v1 submitted 19 January, 2016;
originally announced January 2016.
-
First measurement of electron neutrino appearance in NOvA
Authors:
P. Adamson,
C. Ader,
M. Andrews,
N. Anfimov,
I. Anghel,
K. Arms,
E. Arrieta-Diaz,
A. Aurisano,
D. S. Ayres,
C. Backhouse,
M. Baird,
B. A. Bambah,
K. Bays,
R. Bernstein,
M. Betancourt,
V. Bhatnagar,
B. Bhuyan,
J. Bian,
K. Biery,
T. Blackburn,
V. Bocean,
D. Bogert,
A. Bolshakova,
M. Bowden,
C. Bower
, et al. (235 additional authors not shown)
Abstract:
We report results from the first search for $ν_μ\toν_e$ transitions by the NOvA experiment. In an exposure equivalent to $2.74\times10^{20}$ protons-on-target in the upgraded NuMI beam at Fermilab, we observe 6 events in the Far Detector, compared to a background expectation of $0.99\pm0.11$ (syst.) events based on the Near Detector measurement. A secondary analysis observes 11 events with a backg…
▽ More
We report results from the first search for $ν_μ\toν_e$ transitions by the NOvA experiment. In an exposure equivalent to $2.74\times10^{20}$ protons-on-target in the upgraded NuMI beam at Fermilab, we observe 6 events in the Far Detector, compared to a background expectation of $0.99\pm0.11$ (syst.) events based on the Near Detector measurement. A secondary analysis observes 11 events with a background of $1.07\pm0.14$ (syst.). The $3.3σ$ excess of events observed in the primary analysis disfavors $0.1π< δ_{CP} < 0.5π$ in the inverted mass hierarchy at the 90% C.L.
△ Less
Submitted 2 May, 2016; v1 submitted 19 January, 2016;
originally announced January 2016.
-
Rigidity of critical circle maps
Authors:
Pablo Guarino,
Marco Martens,
Welington de Melo
Abstract:
We prove that any two $C^4$ critical circle maps with the same irrational rotation number and the same odd criticality are conjugate to each other by a $C^1$ circle diffeomorphism. The conjugacy is $C^{1+α}$ for Lebesgue almost every rotation number.
We prove that any two $C^4$ critical circle maps with the same irrational rotation number and the same odd criticality are conjugate to each other by a $C^1$ circle diffeomorphism. The conjugacy is $C^{1+α}$ for Lebesgue almost every rotation number.
△ Less
Submitted 9 November, 2015;
originally announced November 2015.
-
Designing Complex Interplanetary Trajectories for the Global Trajectory Optimization Competitions
Authors:
Dario Izzo,
Daniel Hennes,
Luís F. Simões,
Marcus Märtens
Abstract:
The design of interplanetary trajectories often involves a preliminary search for options later refined/assembled into one final trajectory. It is this broad search that, often being intractable, inspires the international event called Global Trajectory Optimization Competition. In the first part of this chapter, we introduce some fundamental problems of space flight mechanics, building blocks of…
▽ More
The design of interplanetary trajectories often involves a preliminary search for options later refined/assembled into one final trajectory. It is this broad search that, often being intractable, inspires the international event called Global Trajectory Optimization Competition. In the first part of this chapter, we introduce some fundamental problems of space flight mechanics, building blocks of any attempt to participate successfully in these competitions, and we describe the use of the open source software PyKEP to solve them. In the second part, we formulate an instance of a multiple asteroid rendezvous problem, related to the 7th edition of the competition, and we show step by step how to build a possible solution strategy. In doing so, we introduce two new techniques useful in the design of this particular mission type: the use of an asteroid phasing value and its surrogates and the efficient computation of asteroid clusters. We show how the basic building blocks, sided to these innovative ideas, allow designing an effective global search for possible trajectories.
△ Less
Submitted 10 March, 2016; v1 submitted 3 November, 2015;
originally announced November 2015.
-
Resonant single and multi-photon coherent transitions in a detuned regime
Authors:
S. Bertaina,
M. Martens,
M. Egels,
D. Barakel,
I. Chiorescu
Abstract:
We performed quantum manipulations of the multi-level spin system S=5/2 of a Mn$^{2+}$ ion, by means of a two-tone pulse drive. The detuning between the excitation and readout radio frequency pulses allows one to select the number of photons involved in a Rabi oscillation as well as increase the frequency of this nutation. Thus detuning can lead to a resonant multi-photon process. Our analytical m…
▽ More
We performed quantum manipulations of the multi-level spin system S=5/2 of a Mn$^{2+}$ ion, by means of a two-tone pulse drive. The detuning between the excitation and readout radio frequency pulses allows one to select the number of photons involved in a Rabi oscillation as well as increase the frequency of this nutation. Thus detuning can lead to a resonant multi-photon process. Our analytical model for a two-photon process as well as a numerical generalization fit well the experimental findings, with implications in the use of multi-level spin systems as tunable solid state qubits.
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
Spin-Orbit Coupling Fluctuations as a Mechanism of Spin Decoherence
Authors:
M. Martens,
G. Franco,
N. S. Dalal,
S. Bertaina,
I. Chiorescu
Abstract:
We discuss a general framework to address spin decoherence resulting from fluctuations in a spin Hamiltonian. We performed a systematic study on spin decoherence in the compound K$_6$[V$_{15}$As$_6$O$_{42}$(D$_2$O)] $\cdot$ 8D$_2$O, using high-field Electron Spin Resonance (ESR). By analyzing the anisotropy of resonance linewidths as a function of orientation, temperature and field, we find that t…
▽ More
We discuss a general framework to address spin decoherence resulting from fluctuations in a spin Hamiltonian. We performed a systematic study on spin decoherence in the compound K$_6$[V$_{15}$As$_6$O$_{42}$(D$_2$O)] $\cdot$ 8D$_2$O, using high-field Electron Spin Resonance (ESR). By analyzing the anisotropy of resonance linewidths as a function of orientation, temperature and field, we find that the spin-orbit term is a major decoherence source. The demonstrated mechanism can alter the lifetime of any spin qubit and we discuss how to mitigate it by sample design and field orientation.
△ Less
Submitted 28 October, 2017; v1 submitted 12 May, 2015;
originally announced May 2015.
-
Physical Measures for Infinitely Renormalizable Lorenz Maps
Authors:
Marco Martens,
Björn Winckler
Abstract:
A physical measure on the attractor of a system describes the statistical behavior of typical orbits. An example occurs in unimodal dynamics. Namely, all infinitely renormalizable unimodal maps have a physical measure. For Lorenz dynamics, even in the simple case of infinitely renormalizable systems, the existence of physical measures is more delicate. In this article we construct examples of infi…
▽ More
A physical measure on the attractor of a system describes the statistical behavior of typical orbits. An example occurs in unimodal dynamics. Namely, all infinitely renormalizable unimodal maps have a physical measure. For Lorenz dynamics, even in the simple case of infinitely renormalizable systems, the existence of physical measures is more delicate. In this article we construct examples of infinitely renormalizable Lorenz maps which do not have a physical measure. A priori bounds on the geometry play a crucial role in (unimodal) dynamics. There are infinitely renormalizable Lorenz maps which do not have a priori bounds. This phenomenon is related to the position of the critical point of the consecutive renormalizations. The crucial technical ingredient used to obtain these examples without a physical measure, is the control of the position of these critical points.
△ Less
Submitted 27 December, 2014;
originally announced December 2014.
-
Anisotropy of the molecular magnet V$_{15}$ spin Hamiltonian detected by high-field electron spin resonance
Authors:
M. Martens,
J. van Tol,
N. S. Dalal,
S. Bertaina,
B. Barbara,
B. Tsukerblat,
A. Müller,
S. Garai,
S. Miyashita,
I. Chiorescu
Abstract:
The molecular compound K$_6$[V$^{IV}_{15}$As$^{III}_6$O$_{42}$(H$_2$O)] $\cdot$ 8H$_2$O, in short V$_{15}$, has shown important quantum effects such as coherent spin oscillations. The details of the spin quantum dynamics depend on the exact form of the spin Hamiltonian. In this study, we present a precise analysis of the intramolecular interactions in V$_{15}$. To that purpose, we performed high-f…
▽ More
The molecular compound K$_6$[V$^{IV}_{15}$As$^{III}_6$O$_{42}$(H$_2$O)] $\cdot$ 8H$_2$O, in short V$_{15}$, has shown important quantum effects such as coherent spin oscillations. The details of the spin quantum dynamics depend on the exact form of the spin Hamiltonian. In this study, we present a precise analysis of the intramolecular interactions in V$_{15}$. To that purpose, we performed high-field electron spin resonance measurements at 120 GHz and extracted the resonance fields as a function of crystal orientation and temperature. The data are compared against simulations using exact diagonalization to obtain the parameters of the molecular spin Hamiltonian.
△ Less
Submitted 27 May, 2014;
originally announced May 2014.
-
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis
Authors:
Boris Düdder,
Oliver Garbe,
Moritz Martens,
Jakob Rehof,
Paweł Urzyczyn
Abstract:
We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types. The idea is that components are modeled as typed combinators, and an algorithm for inhabitation {\textemdash} is there a combinatory term e with type tau relative to an environment Gamma? {\textemdash} can be used to…
▽ More
We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types. The idea is that components are modeled as typed combinators, and an algorithm for inhabitation {\textemdash} is there a combinatory term e with type tau relative to an environment Gamma? {\textemdash} can be used to synthesize compositions. Here, Gamma represents the repository in the form of typed combinators, tau specifies the synthesis goal, and e is the synthesized program. We illustrate our approach by examples, including an application to synthesis from GUI-components.
△ Less
Submitted 30 July, 2013;
originally announced July 2013.
-
Tevatron Beam Position Monitor Upgrade
Authors:
G. Annala,
B. Banerjee,
B. Barker,
T. Boes,
M. Bowden,
C. Briegel,
G. Cancelo,
G. Duerling,
B. Forster,
S. Foulkes,
B. Haynes,
B. Hendricks,
T. Kasza,
R. Kutschke,
R. Mahlum,
M. Martens,
M. Olson,
V. Pavlicek,
L. Piccoli,
P. Prieto,
J. Steimel,
K. Treptow,
M. Votava,
D. Voy,
M. Wendt
, et al. (2 additional authors not shown)
Abstract:
This paper describes the development of a digital-based Beam Position System which was designed, developed, and adapted for the Tevatron during Collider Run II.
This paper describes the development of a digital-based Beam Position System which was designed, developed, and adapted for the Tevatron during Collider Run II.
△ Less
Submitted 26 September, 2012;
originally announced September 2012.
-
Thermal and structural stability of medium energy target carrier assembly for NOvA at Fermilab
Authors:
M. W. McGee,
C. Ader,
K. Anderson,
J. Hylen,
M. Martens
Abstract:
The NOνA project will upgrade the existing Neutrino at Main Injector (NuMI) project beamline at Fermilab to accommodate beam power of 700 kW. The Medium Energy (ME) graphite target assembly is provided through an accord with the State Research Center of Russia Institute for High Energy Physics (IHEP) at Protvino, Russia. The effects of proton beam energy deposition within beamline components are c…
▽ More
The NOνA project will upgrade the existing Neutrino at Main Injector (NuMI) project beamline at Fermilab to accommodate beam power of 700 kW. The Medium Energy (ME) graphite target assembly is provided through an accord with the State Research Center of Russia Institute for High Energy Physics (IHEP) at Protvino, Russia. The effects of proton beam energy deposition within beamline components are considered as thermal stability of the target carrier assembly and alignment budget are critical operational issues. Results of finite element thermal and structural analysis involving the target carrier assembly is provided with detail regarding the target's beryllium windows.
△ Less
Submitted 18 July, 2012;
originally announced July 2012.
-
On the Hyperbolicity of Lorenz Renormalization
Authors:
Marco Martens,
Björn Winckler
Abstract:
We consider infinitely renormalizable Lorenz maps with real critical exponent $α>1$ and combinatorial type which is monotone and satisfies a long return condition. For these combinatorial types we prove the existence of periodic points of the renormalization operator, and that each map in the limit set of renormalization has an associated unstable manifold. An unstable manifold defines a family of…
▽ More
We consider infinitely renormalizable Lorenz maps with real critical exponent $α>1$ and combinatorial type which is monotone and satisfies a long return condition. For these combinatorial types we prove the existence of periodic points of the renormalization operator, and that each map in the limit set of renormalization has an associated unstable manifold. An unstable manifold defines a family of Lorenz maps and we prove that each infinitely renormalizable combinatorial type (satisfying the above conditions) has a unique representative within such a family. We also prove that each infinitely renormalizable map has no wandering intervals and that the closure of the forward orbits of its critical values is a Cantor attractor of measure zero.
△ Less
Submitted 3 May, 2012;
originally announced May 2012.
-
Rigidity for infinitely renormalizable area-preserving maps
Authors:
Denis Gaidashev,
Tomas Johnson,
Marco Martens
Abstract:
The period doubling Cantor sets of strongly dissipative Henon-like maps with different average Jacobian are not smoothly conjugated. The Jacobian Rigidity Conjecture says that the period doubling Cantor sets of two-dimensional Henon-like maps with the same average Jacobian are smoothly conjugated. This conjecture is true for average Jacobian zero, e.g. the one-dimensional case. The other extreme c…
▽ More
The period doubling Cantor sets of strongly dissipative Henon-like maps with different average Jacobian are not smoothly conjugated. The Jacobian Rigidity Conjecture says that the period doubling Cantor sets of two-dimensional Henon-like maps with the same average Jacobian are smoothly conjugated. This conjecture is true for average Jacobian zero, e.g. the one-dimensional case. The other extreme case is when the maps preserve area, e.g. the average Jacobian is one. Indeed, the period doubling Cantor set of area-preserving maps in the universality class of the Eckmann-Koch-Wittwer renormalization fixed point are smoothly conjugated.
△ Less
Submitted 17 December, 2014; v1 submitted 3 May, 2012;
originally announced May 2012.
-
Probabilistic Universality in two-dimensional Dynamics
Authors:
Mikhail Lyubich,
Marco Martens
Abstract:
In this paper we continue to explore infinitely renormalizable Hénon maps with small Jacobian. It was shown in [CLM] that contrary to the one-dimensional intuition, the Cantor attractor of such a map is non-rigid and the conjugacy with the one-dimensional Cantor attractor is at most 1/2-Hölder. Another formulation of this phenomenon is that the scaling structure of the Hénon Cantor attractor diffe…
▽ More
In this paper we continue to explore infinitely renormalizable Hénon maps with small Jacobian. It was shown in [CLM] that contrary to the one-dimensional intuition, the Cantor attractor of such a map is non-rigid and the conjugacy with the one-dimensional Cantor attractor is at most 1/2-Hölder. Another formulation of this phenomenon is that the scaling structure of the Hénon Cantor attractor differs from its one-dimensional counterpart. However, in this paper we prove that the weight assigned by the canonical invariant measure to these bad spots tends to zero on microscopic scales. This phenomenon is called {\it Probabilistic Universality}. It implies, in particular, that the Hausdorff dimension of the canonical measure is universal. In this way, universality and rigidity phenomena of one-dimensional dynamics assume a probabilistic nature in the two-dimensional world.
△ Less
Submitted 24 June, 2011;
originally announced June 2011.
-
Focal Rigidity of Flat Tori
Authors:
Ferry Kwakkel,
Marco Martens,
Mauricio Peixoto
Abstract:
Given a closed Riemannian manifold (M, g), there is a partition Σ_i of its tangent bundle TM called the focal decomposition. The sets Σ_i are closely associated to focusing of geodesics of (M, g), i.e. to the situation where there are exactly i geodesic arcs of the same length joining points p and q in M. In this note, we study the topological structure of the focal decomposition of a closed Riema…
▽ More
Given a closed Riemannian manifold (M, g), there is a partition Σ_i of its tangent bundle TM called the focal decomposition. The sets Σ_i are closely associated to focusing of geodesics of (M, g), i.e. to the situation where there are exactly i geodesic arcs of the same length joining points p and q in M. In this note, we study the topological structure of the focal decomposition of a closed Riemannian manifold and its relation with the metric structure of the manifold. Our main result is that the flat n-tori are focally rigid, in the sense that if two flat tori are focally equivalent, then the tori are isometric up to rescaling.
△ Less
Submitted 25 December, 2011; v1 submitted 28 April, 2011;
originally announced April 2011.
-
Renormalisable Henon-like Maps and Unbounded Geometry
Authors:
Peter Hazard,
Mikhail Lyubich,
Marco Martens
Abstract:
We show that given a one parameter family $F_b$ of strongly dissipative infinitely renormalisable Hénon-like maps, parametrised by a quantity called the `average Jacobian' $b$, the set of all parameters $b$ such that $F_b$ has a Cantor set with unbounded geometry has full Lebesgue measure.
We show that given a one parameter family $F_b$ of strongly dissipative infinitely renormalisable Hénon-like maps, parametrised by a quantity called the `average Jacobian' $b$, the set of all parameters $b$ such that $F_b$ has a Cantor set with unbounded geometry has full Lebesgue measure.
△ Less
Submitted 22 February, 2010;
originally announced February 2010.
-
Geometry of Polynomials and Root-Finding via Path-Lifting
Authors:
Myong-Hi Kim,
Marco Martens,
Scott Sutherland
Abstract:
Using the interplay between topological, combinatorial, and geometric properties of polynomials and analytic results (primarily the covering structure and distortion estimates), we analyze a path-lifting method for finding approximate zeros, similar to those studied by Smale, Shub, Kim, and others. Given any polynomial, this simple algorithm always converges to a root, except on a finite set of in…
▽ More
Using the interplay between topological, combinatorial, and geometric properties of polynomials and analytic results (primarily the covering structure and distortion estimates), we analyze a path-lifting method for finding approximate zeros, similar to those studied by Smale, Shub, Kim, and others. Given any polynomial, this simple algorithm always converges to a root, except on a finite set of initial points lying on a circle of a given radius.
Specifically, the algorithm we analyze consists of iterating $$z - \frac{f(z)-t_kf(z_0)}{f'(z)}$$ where the $t_k$ form a decreasing sequence of real numbers and $z_0$ is chosen on a circle containing all the roots. We show that the number of iterates required to locate an approximate zero of a polynomial $f$ depends only on $\log|f(z_0)/ρ_ζ|$ (where $ρ_ζ$ is the radius of convergence of the branch of $f^{-1}$ taking $0$ to a root $ζ$) and the logarithm of the angle between $f(z_0)$ and certain critical values. Previous complexity results for related algorithms depend linearly on the reciprocals of these angles. Note that the complexity of the algorithm does not depend directly on the degree of $f$, but only on the geometry of the critical values.
Furthermore, for any polynomial $f$ with distinct roots, the average number of steps required over all starting points taken on a circle containing all the roots is bounded by a constant times the average of $\log(1/ρ_ζ)$. The average of $\log(1/ρ_ζ)$ over all polynomials $f$ with $d$ roots in the unit disk is ${\mathcal{O}}({d})$. This algorithm readily generalizes to finding all roots of a polynomial (without deflation); doing so increases the complexity by a factor of at most $d$.
△ Less
Submitted 12 October, 2017; v1 submitted 21 March, 2009;
originally announced March 2009.
-
Renormalization in the Hénon family, II: The heteroclinic web
Authors:
Mikhail Lyubich,
Marco Martens
Abstract:
We study highly dissipative Hénon maps $$ F_{c,b}: (x,y) \mapsto (c-x^2-by, x) $$ with zero entropy. They form a region $Π$ in the parameter plane bounded on the left by the curve $W$ of infinitely renormalizable maps. We prove that Morse-Smale maps are dense in $Π$, but there exist infinitely many different topological types of such maps (even away from $W$). We also prove that in the infinitel…
▽ More
We study highly dissipative Hénon maps $$ F_{c,b}: (x,y) \mapsto (c-x^2-by, x) $$ with zero entropy. They form a region $Π$ in the parameter plane bounded on the left by the curve $W$ of infinitely renormalizable maps. We prove that Morse-Smale maps are dense in $Π$, but there exist infinitely many different topological types of such maps (even away from $W$). We also prove that in the infinitely renormalizable case, the average Jacobian $b_F$ on the attracting Cantor set $\OO_F$ is a topological invariant. These results come from the analysis of the heteroclinic web of the saddle periodic points based on the renormalization theory. Along these lines, we show that the unstable manifolds of the periodic points form a lamination outside $\OO_F$ if and only if there are no heteroclinic tangencies.
△ Less
Submitted 4 April, 2008; v1 submitted 4 April, 2008;
originally announced April 2008.