-
Area Comparison of CHERIoT and PMP in Ibex
Authors:
Samuel Riedel,
Marno van der Maas,
John Thomson,
Andreas Kurth,
Pirmin Vogel
Abstract:
Memory safety is a critical concern for modern embedded systems, particularly in security-sensitive applications. This paper explores the area impact of adding memory safety extensions to the Ibex RISC-V core, focusing on physical memory protection (PMP) and Capability Hardware Extension to RISC-V for Internet of Things (CHERIoT). We synthesise the extended Ibex cores using a commercial tool targe…
▽ More
Memory safety is a critical concern for modern embedded systems, particularly in security-sensitive applications. This paper explores the area impact of adding memory safety extensions to the Ibex RISC-V core, focusing on physical memory protection (PMP) and Capability Hardware Extension to RISC-V for Internet of Things (CHERIoT). We synthesise the extended Ibex cores using a commercial tool targeting the open FreePDK45 process and provide a detailed area breakdown and discussion of the results.
The PMP configuration we consider is one with 16 PMP regions. We find that the extensions increase the core size by 24 thousand gate-equivalent (kGE) for PMP and 33 kGE for CHERIoT. The increase is mainly due to the additional state required to store information about protected memory. While this increase amounts to 42% for PMP and 57% for CHERIoT in Ibex's area, its effect on the overall system is minimal. In a complete system-on-chip (SoC), like the secure microcontroller OpenTitan Earl Grey, where the core represents only a fraction of the total area, the estimated system-wide overhead is 0.6% for PMP and 1% for CHERIoT. Given the security benefits these extensions provide, the area trade-off is justified, making Ibex a compelling choice for secure embedded applications.
△ Less
Submitted 13 May, 2025;
originally announced May 2025.
-
A novel non-specular mechanism for chaotic ray scattering of internal waves in 3D anisotropic stadiums
Authors:
Nimrod Bratspiess,
Leo R. M. Maas,
Eyal Heifetz
Abstract:
Fluids, subject to symmetry breaking by stratification support propagation of anisotropic internal waves - IWs. In the vertical plane, rays representing energy paths obey a non-specular reflection law, as their inclination is solely dictated by their frequency. Although satisfying the linear Poincare equation, in basins having sloping walls, ray dynamics exhibits nonlinear effects such as converge…
▽ More
Fluids, subject to symmetry breaking by stratification support propagation of anisotropic internal waves - IWs. In the vertical plane, rays representing energy paths obey a non-specular reflection law, as their inclination is solely dictated by their frequency. Although satisfying the linear Poincare equation, in basins having sloping walls, ray dynamics exhibits nonlinear effects such as convergence onto wave-attractors. In contrast, in the horizontal plane of a basin with vertical walls IWs reflect specularly, and follow chaotic ray paths. Here we present a novel analysis of these competing effects in a 3D IW ray billiard of a stadium having sloping walls. We show and explain how varying the walls slope, shifts the ray dynamics between regimes of near-ergodicity, chaotic scattering, and non-chaotic scattering with self-similar patterns, despite the basin being closed. The rich results stemming from the interplay between elliptical ergodicity and hyperbolic focusing relate to a broader context of physical phenomena.
△ Less
Submitted 24 March, 2025;
originally announced April 2025.
-
Agent-Based Simulations of Online Political Discussions: A Case Study on Elections in Germany
Authors:
Abdul Sittar,
Simon Münker,
Fabio Sartori,
Andreas Reitenbach,
Achim Rettinger,
Michael Mäs,
Alenka Guček,
Marko Grobelnik
Abstract:
User engagement on social media platforms is influenced by historical context, time constraints, and reward-driven interactions. This study presents an agent-based simulation approach that models user interactions, considering past conversation history, motivation, and resource constraints. Utilizing German Twitter data on political discourse, we fine-tune AI models to generate posts and replies,…
▽ More
User engagement on social media platforms is influenced by historical context, time constraints, and reward-driven interactions. This study presents an agent-based simulation approach that models user interactions, considering past conversation history, motivation, and resource constraints. Utilizing German Twitter data on political discourse, we fine-tune AI models to generate posts and replies, incorporating sentiment analysis, irony detection, and offensiveness classification. The simulation employs a myopic best-response model to govern agent behavior, accounting for decision-making based on expected rewards. Our results highlight the impact of historical context on AI-generated responses and demonstrate how engagement evolves under varying constraints.
△ Less
Submitted 11 April, 2025; v1 submitted 31 March, 2025;
originally announced March 2025.
-
ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers
Authors:
Hannah Lin,
Martin Maas,
Maximilian Roquemore,
Arman Hasanzadeh,
Fred Lewis,
Yusuf Simonson,
Tzu-Wei Yang,
Amir Yazdanbakhsh,
Deniz Altinbüken,
Florin Papa,
Maggie Nolan Edmonds,
Aditya Patil,
Don Schwarz,
Satish Chandra,
Chris Kennelly,
Milad Hashemi,
Parthasarathy Ranganathan
Abstract:
With the end of Moore's Law, optimizing code for performance has become paramount for meeting ever-increasing compute demands, particularly in hyperscale data centers where even small efficiency gains translate to significant resource and energy savings. Traditionally, this process requires significant programmer effort to identify optimization opportunities, modify the code to implement the optim…
▽ More
With the end of Moore's Law, optimizing code for performance has become paramount for meeting ever-increasing compute demands, particularly in hyperscale data centers where even small efficiency gains translate to significant resource and energy savings. Traditionally, this process requires significant programmer effort to identify optimization opportunities, modify the code to implement the optimization, and carefully deploy and measure the optimization's impact. Despite a significant amount of work on automating program edits and promising results in small-scale settings, such performance optimizations have remained elusive in large real-world production environments, due to the scale, high degree of complexity, and reliability required.
This paper introduces ECO (Efficient Code Optimizer), a system that automatically refactors source code to improve performance at scale. To achieve these performance gains, ECO searches through historical commits at scale to create a dictionary of performance anti-patterns that these commits addressed. These anti-patterns are used to search for similar patterns in a code base of billions of lines of code, pinpointing other code segments with similar potential optimization opportunities. Using a fine-tuned LLM, ECO then automatically refactors the code to generate and apply similar edits. Next, ECO verifies the transformed code, submits it for code review, and measures the impact of the optimization in production.
Currently deployed on Google's hyperscale production fleet, this system has driven >25k changed lines of production code, across over 6.4k submitted commits, with a >99.5% production success rate. Over the past year, ECO has consistently resulted in significant performance savings every quarter. On average, the savings produced per quarter are equivalent to over 500k normalized CPU cores.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Relational Norms for Human-AI Cooperation
Authors:
Brian D. Earp,
Sebastian Porsdam Mann,
Mateo Aboy,
Edmond Awad,
Monika Betzler,
Marietjie Botes,
Rachel Calcott,
Mina Caraccio,
Nick Chater,
Mark Coeckelbergh,
Mihaela Constantinescu,
Hossein Dabbagh,
Kate Devlin,
Xiaojun Ding,
Vilius Dranseika,
Jim A. C. Everett,
Ruiping Fan,
Faisal Feroz,
Kathryn B. Francis,
Cindy Friedman,
Orsolya Friedrich,
Iason Gabriel,
Ivar Hannikainen,
Julie Hellmann,
Arasj Khodadade Jahrome
, et al. (37 additional authors not shown)
Abstract:
How we should design and interact with social artificial intelligence depends on the socio-relational role the AI is meant to emulate or occupy. In human society, relationships such as teacher-student, parent-child, neighbors, siblings, or employer-employee are governed by specific norms that prescribe or proscribe cooperative functions including hierarchy, care, transaction, and mating. These nor…
▽ More
How we should design and interact with social artificial intelligence depends on the socio-relational role the AI is meant to emulate or occupy. In human society, relationships such as teacher-student, parent-child, neighbors, siblings, or employer-employee are governed by specific norms that prescribe or proscribe cooperative functions including hierarchy, care, transaction, and mating. These norms shape our judgments of what is appropriate for each partner. For example, workplace norms may allow a boss to give orders to an employee, but not vice versa, reflecting hierarchical and transactional expectations. As AI agents and chatbots powered by large language models are increasingly designed to serve roles analogous to human positions - such as assistant, mental health provider, tutor, or romantic partner - it is imperative to examine whether and how human relational norms should extend to human-AI interactions. Our analysis explores how differences between AI systems and humans, such as the absence of conscious experience and immunity to fatigue, may affect an AI's capacity to fulfill relationship-specific functions and adhere to corresponding norms. This analysis, which is a collaborative effort by philosophers, psychologists, relationship scientists, ethicists, legal experts, and AI researchers, carries important implications for AI systems design, user behavior, and regulation. While we accept that AI systems can offer significant benefits such as increased availability and consistency in certain socio-relational roles, they also risk fostering unhealthy dependencies or unrealistic expectations that could spill over into human-human relationships. We propose that understanding and thoughtfully shaping (or implementing) suitable human-AI relational norms will be crucial for ensuring that human-AI interactions are ethical, trustworthy, and favorable to human well-being.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
A Bring-Your-Own-Model Approach for ML-Driven Storage Placement in Warehouse-Scale Computers
Authors:
Chenxi Yang,
Yan Li,
Martin Maas,
Mustafa Uysal,
Ubaid Ullah Hafeez,
Arif Merchant,
Richard McDougall
Abstract:
Storage systems account for a major portion of the total cost of ownership (TCO) of warehouse-scale computers, and thus have a major impact on the overall system's efficiency. Machine learning (ML)-based methods for solving key problems in storage system efficiency, such as data placement, have shown significant promise. However, there are few known practical deployments of such methods. Studying…
▽ More
Storage systems account for a major portion of the total cost of ownership (TCO) of warehouse-scale computers, and thus have a major impact on the overall system's efficiency. Machine learning (ML)-based methods for solving key problems in storage system efficiency, such as data placement, have shown significant promise. However, there are few known practical deployments of such methods. Studying this problem in the context of real-world hyperscale data centers at Google, we identify a number of challenges that we believe cause this lack of practical adoption. Specifically, prior work assumes a monolithic model that resides entirely within the storage layer, an unrealistic assumption in real-world deployments with frequently changing workloads. To address this problem, we introduce a cross-layer approach where workloads instead ''bring their own model''. This strategy moves ML out of the storage system and instead allows each workload to train its own lightweight model at the application layer, capturing the workload's specific characteristics. These small, interpretable models generate predictions that guide a co-designed scheduling heuristic at the storage layer, enabling adaptation to diverse online environments. We build a proof-of-concept of this approach in a production distributed computation framework at Google. Evaluations in a test deployment and large-scale simulation studies using production traces show improvements of as much as 3.47$\times$ in TCO savings compared to state-of-the-art baselines.
△ Less
Submitted 19 April, 2025; v1 submitted 9 January, 2025;
originally announced January 2025.
-
LAVA: Lifetime-Aware VM Allocation with Learned Distributions and Adaptation to Mispredictions
Authors:
Jianheng Ling,
Pratik Worah,
Yawen Wang,
Yunchuan Kong,
Anshul Kapoor,
Chunlei Wang,
Clifford Stein,
Diwakar Gupta,
Jason Behmer,
Logan A. Bush,
Prakash Ramanan,
Rajesh Kumar,
Thomas Chestna,
Yajing Liu,
Ying Liu,
Ye Zhao,
Kathryn S. McKinley,
Meeyoung Park,
Martin Maas
Abstract:
Scheduling virtual machines (VMs) on hosts in cloud data centers dictates efficiency and is an NP-hard problem with incomplete information. Prior work improved VM scheduling with predicted VM lifetimes. Our work further improves lifetime-aware scheduling using repredictions with lifetime distributions versus one-shot prediction. Our approach repredicts and adjusts VM and host lifetimes when incorr…
▽ More
Scheduling virtual machines (VMs) on hosts in cloud data centers dictates efficiency and is an NP-hard problem with incomplete information. Prior work improved VM scheduling with predicted VM lifetimes. Our work further improves lifetime-aware scheduling using repredictions with lifetime distributions versus one-shot prediction. Our approach repredicts and adjusts VM and host lifetimes when incorrect predictions emerge. We also present novel approaches for defragmentation and regular system maintenance, which are essential to our data center reliability and optimizations, and are not explored in prior work. We show repredictions deliver a fundamental advance in effectiveness over one-shot prediction.
We call our novel combination of distribution-based lifetime predictions and scheduling algorithms Lifetime Aware VM Allocation (LAVA). LAVA reduces resource stranding and increases the number of empty hosts, which are critical for large VM scheduling, cloud system updates, and reducing dynamic energy consumption. Our approach runs in production within Google's hyperscale cloud data centers, where it improves efficiency by decreasing stranded compute and memory resources by ~3% and ~2% respectively. It increases empty hosts by 2.3-9.2 pp in production, reducing dynamic energy consumption, and increasing availability for large VMs and cloud system updates. We also show a reduction in VM migrations for host defragmentation and maintenance. In addition to our fleet-wide production deployment, we perform simulation studies to characterize the design space and show that our algorithm significantly outperforms the prior state of the art lifetime-based scheduling approach.
△ Less
Submitted 3 June, 2025; v1 submitted 12 December, 2024;
originally announced December 2024.
-
Comprehensive creep compliance characterization of orthotropic materials using a cost-effective automated system
Authors:
Jonas M. Maas,
Falk K. Wittel
Abstract:
Determining the creep compliances of orthotropic composite materials requires experiments in at least three different uniaxial and biaxial loading directions. Up to date, data respecting multiple climates and all anatomical directions are sparse for hygro-responsive materials like Norway spruce. Consequently, simulation models of wood frequently over-simplify creep, e.g., by proportionally scaling…
▽ More
Determining the creep compliances of orthotropic composite materials requires experiments in at least three different uniaxial and biaxial loading directions. Up to date, data respecting multiple climates and all anatomical directions are sparse for hygro-responsive materials like Norway spruce. Consequently, simulation models of wood frequently over-simplify creep, e.g., by proportionally scaling missing components or neglecting climatic influences. To overcome such simplifications, an automated computer-controlled climatized creep rack was developed, that experimentally assesses moisture-dependent viscoelasticity and mechanosorption in all anatomical directions. The device simultaneously measures the creep strains of three dogbone tension samples, three flat compression samples, and six Arcan shear samples via Digital Image Correlation. This allows for ascertaining the complete orthotropic compliance tensors while accounting for loading direction asymmetries. This paper explains the creep rack's structure and demonstrates its use by determining all nine independent creep compliance components of Norway spruce at 65% relative humidity. The data shows that loading asymmetry effects amount up to 16%. Furthermore, the found creep compliance tensor is not proportional to the elastic compliance tensor. By clustering the compliance components, we identify four necessary components to represent the full orthotropy of the compliance tensor, obtainable from not less than two experiments.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Comparing DWI image quality of deep-learning-reconstructed EPI with RESOLVE in breast lesions at 3.0T: a pilot study
Authors:
Marialena I. Tsarouchi,
Antonio Portaluri,
Marnix Maas,
Ritse M. Mann
Abstract:
The challenging spatial resolution of DWI could be addressed by deep learning based image reconstruction, by reducing noise without increasing acquisition time. To compare the image quality of the Echo Planar Imaging Deep Learning (EPI DL) DWI sequence with the clinically used simultaneous multi slice (SMS) RESOLVE in breast lesions. EPI DL and RESOLVE breast images from 20 participants were quali…
▽ More
The challenging spatial resolution of DWI could be addressed by deep learning based image reconstruction, by reducing noise without increasing acquisition time. To compare the image quality of the Echo Planar Imaging Deep Learning (EPI DL) DWI sequence with the clinically used simultaneous multi slice (SMS) RESOLVE in breast lesions. EPI DL and RESOLVE breast images from 20 participants were qualitatively evaluated. Quantitative image quality metrics of SNR and CNR on both high b-value (b800) images and ADC maps were calculated. SNR in RESOLVE vs. EP DL differed statistically significantly in manually delineations for b800 (p=0.006), ADC maps (p=0.001), and in ADC circularly delineations (0.001). DWI DL reconstruction may be clinically useful for addressing low-spatial resolution without compromising acquisition time and image quality. Such benefits coupled with the available methods of readout segmentation and SMS acquisitions may further enhance the value of DWI in breast imaging.
△ Less
Submitted 15 September, 2024;
originally announced October 2024.
-
Enabling the Digital Democratic Revival: A Research Program for Digital Democracy
Authors:
Davide Grossi,
Ulrike Hahn,
Michael Mäs,
Andreas Nitsche,
Jan Behrens,
Niclas Boehmer,
Markus Brill,
Ulle Endriss,
Umberto Grandi,
Adrian Haret,
Jobst Heitzig,
Nicolien Janssens,
Catholijn M. Jonker,
Marijn A. Keijzer,
Axel Kistner,
Martin Lackner,
Alexandra Lieben,
Anna Mikhaylovskaya,
Pradeep K. Murukannaiah,
Carlo Proietti,
Manon Revel,
Élise Rouméas,
Ehud Shapiro,
Gogulapati Sreedurga,
Björn Swierczek
, et al. (4 additional authors not shown)
Abstract:
This white paper outlines a long-term scientific vision for the development of digital-democracy technology. We contend that if digital democracy is to meet the ambition of enabling a participatory renewal in our societies, then a comprehensive multi-methods research effort is required that could, over the years, support its development in a democratically principled, empirically and computational…
▽ More
This white paper outlines a long-term scientific vision for the development of digital-democracy technology. We contend that if digital democracy is to meet the ambition of enabling a participatory renewal in our societies, then a comprehensive multi-methods research effort is required that could, over the years, support its development in a democratically principled, empirically and computationally informed way. The paper is co-authored by an international and interdisciplinary team of researchers and arose from the Lorentz Center Workshop on ``Algorithmic Technology for Democracy'' (Leiden, October 2022).
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
WKB Across Caustics: The Screened-WKB Method
Authors:
Oscar P. Bruno,
Martin D. Maas
Abstract:
We present a new methodology, based on the WKB approximation and Fast Fourier Transforms, for the evaluation of wave propagation through inhomogeneous media. This method can accurately resolve fields containing caustics, while still enjoying the computational advantages of the WKB approximation, namely, the ability to resolve arbitrarily high-frequency problems in computing times which are orders-…
▽ More
We present a new methodology, based on the WKB approximation and Fast Fourier Transforms, for the evaluation of wave propagation through inhomogeneous media. This method can accurately resolve fields containing caustics, while still enjoying the computational advantages of the WKB approximation, namely, the ability to resolve arbitrarily high-frequency problems in computing times which are orders-of-magnitude shorter than those required by other algorithms presently available. For example, the proposed approach can simulate with high accuracy (with errors such as e.g. 0.1\%--0.001\%) the propagation of 5 cm radar signals across two-dimensional configurations resembling atmospheric ducting conditions, spanning hundreds of kilometers and millions of wavelengths in electrical size, in computing times of a few minutes in a single CPU core. [Preliminary version]
△ Less
Submitted 3 March, 2024; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Rethinking Storage Management for Data Processing Pipelines in Cloud Data Centers
Authors:
Ubaid Ullah Hafeez,
Martin Maas,
Mustafa Uysal,
Richard McDougall
Abstract:
Data processing frameworks such as Apache Beam and Apache Spark are used for a wide range of applications, from logs analysis to data preparation for DNN training. It is thus unsurprising that there has been a large amount of work on optimizing these frameworks, including their storage management. The shift to cloud computing requires optimization across all pipelines concurrently running across a…
▽ More
Data processing frameworks such as Apache Beam and Apache Spark are used for a wide range of applications, from logs analysis to data preparation for DNN training. It is thus unsurprising that there has been a large amount of work on optimizing these frameworks, including their storage management. The shift to cloud computing requires optimization across all pipelines concurrently running across a cluster. In this paper, we look at one specific instance of this problem: placement of I/O-intensive temporary intermediate data on SSD and HDD. Efficient data placement is challenging since I/O density is usually unknown at the time data needs to be placed. Additionally, external factors such as load variability, job preemption, or job priorities can impact job completion times, which ultimately affect the I/O density of the temporary files in the workload. In this paper, we envision that machine learning can be used to solve this problem. We analyze production logs from Google's data centers for a range of data processing pipelines. Our analysis shows that I/O density may be predictable. This suggests that learning-based strategies, if crafted carefully, could extract predictive features for I/O density of temporary files involved in various transformations, which could be used to improve the efficiency of storage management in data processing pipelines.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Learning to Improve Code Efficiency
Authors:
Binghong Chen,
Daniel Tarlow,
Kevin Swersky,
Martin Maas,
Pablo Heiber,
Ashish Naik,
Milad Hashemi,
Parthasarathy Ranganathan
Abstract:
Improvements in the performance of computing systems, driven by Moore's Law, have transformed society. As such hardware-driven gains slow down, it becomes even more important for software developers to focus on performance and efficiency during development. While several studies have demonstrated the potential from such improved code efficiency (e.g., 2x better generational improvements compared t…
▽ More
Improvements in the performance of computing systems, driven by Moore's Law, have transformed society. As such hardware-driven gains slow down, it becomes even more important for software developers to focus on performance and efficiency during development. While several studies have demonstrated the potential from such improved code efficiency (e.g., 2x better generational improvements compared to hardware), unlocking these gains in practice has been challenging. Reasoning about algorithmic complexity and the interaction of coding patterns on hardware can be challenging for the average programmer, especially when combined with pragmatic constraints around development velocity and multi-person development.
This paper seeks to address this problem. We analyze a large competitive programming dataset from the Google Code Jam competition and find that efficient code is indeed rare, with a 2x runtime difference between the median and the 90th percentile of solutions. We propose using machine learning to automatically provide prescriptive feedback in the form of hints, to guide programmers towards writing high-performance code. To automatically learn these hints from the dataset, we propose a novel discrete variational auto-encoder, where each discrete latent variable represents a different learned category of code-edit that increases performance. We show that this method represents the multi-modal space of code efficiency edits better than a sequence-to-sequence baseline and generates a distribution of more efficient solutions.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
Zero absolute vorticity plane Couette flow as an hydrodynamic representation of quantum energy states under perpendicular magnetic field
Authors:
Eyal Heifetz,
Leo R. M. Maas,
Julian Mak
Abstract:
Here we extend the Madelung transformation of the Schrödinger equation into a fluid-like form to include the influence of an external electromagnetic field on a charged particle. The vorticity of the Madelung fluid is then in the opposite direction to the imposed magnetic field and equal in magnitude to the cyclotron angular frequency. When the particle motion is confined to a plane, perpendicular…
▽ More
Here we extend the Madelung transformation of the Schrödinger equation into a fluid-like form to include the influence of an external electromagnetic field on a charged particle. The vorticity of the Madelung fluid is then in the opposite direction to the imposed magnetic field and equal in magnitude to the cyclotron angular frequency. When the particle motion is confined to a plane, perpendicular to an imposed magnetic field, the equivalent flow dynamics is that of zero absolute vorticity obtained in a quasi 2D rotating frame, where the cyclotron frequency plays a role equivalent to that of the Coriolis frequency in a rotating frame. We show how the Landau levels and the extended modes in the integer quantum Hall effect are all mapped into such zero absolute vorticity-like plane Couette flows, where the latter exhibit a geostrophic-like balance between the magnetic force and the gradients of the quantum (Bohm) potential and the electric force.
△ Less
Submitted 3 April, 2022;
originally announced April 2022.
-
Assessment of nanoparticle immersion depth at liquid interfaces from chemically equivalent macroscopic surfaces
Authors:
Joeri Smits,
Rajendra Prasad Giri,
Chen Shen,
Diogo Mendonça,
Bridget Murphy,
Patrick Huber,
Kurosch Rezwan,
Michael Maas
Abstract:
Hypothesis: We test whether the wettability of nanoparticles (NPs) straddling at an air/water surface or oil/water interface can be extrapolated from sessile drop-derived macroscopic contact angles (mCAs) on planar substrates, assuming that both the nanoparticles and the macroscopic substrates are chemically equivalent and feature the same electrokinetic potential. Experiments: Pure silica (SiO2)…
▽ More
Hypothesis: We test whether the wettability of nanoparticles (NPs) straddling at an air/water surface or oil/water interface can be extrapolated from sessile drop-derived macroscopic contact angles (mCAs) on planar substrates, assuming that both the nanoparticles and the macroscopic substrates are chemically equivalent and feature the same electrokinetic potential. Experiments: Pure silica (SiO2) and amino-terminated silica (APTES-SiO2) NPs are compared to macroscopic surfaces with extremely low roughness (root mean square [RMS] roughness <= 2 nm) or a roughness determined by a close-packed layer of NPs (RMS roughness about 35 nm). Equivalence of the surface chemistry is assessed by comparing the electrokinetic potentials of the NPs via electrophoretic light scattering and of the macroscopic substrates via streaming current analysis. The wettability of the macroscopic substrates is obtained from advancing (ACAs) and receding contact angles (RCAs) and in situ synchrotron X-ray reflectivity (XRR) provided by the NP wettability at the liquid interfaces. Findings: Generally, the RCA on smooth surfaces provides a good estimate of NP wetting properties. However, mCAs alone cannot predict adsorption barriers that prevent NP segregation to the interface, as is the case with the pure SiO2 nanoparticles. This strategy greatly facilitates assessing the wetting properties of NPs for applications such as emulsion formulation, flotation, or water remediation.
△ Less
Submitted 9 February, 2022; v1 submitted 8 February, 2022;
originally announced February 2022.
-
Interplay between risk perception, behaviour, and COVID-19 spread
Authors:
Philipp Dönges,
Joel Wagner,
Sebastian Contreras,
Emil Iftekhar,
Simon Bauer,
Sebastian B. Mohr,
Jonas Dehning,
André Calero Valdez,
Mirjam Kretzschmar,
Michael Mäs,
Kai Nagel,
Viola Priesemann
Abstract:
Pharmaceutical and non-pharmaceutical interventions (NPIs) have been crucial for controlling COVID-19. They are complemented by voluntary health-protective behaviour, building a complex interplay between risk perception, behaviour, and disease spread. We studied how voluntary health-protective behaviour and vaccination willingness impact the long-term dynamics. We analysed how different levels of…
▽ More
Pharmaceutical and non-pharmaceutical interventions (NPIs) have been crucial for controlling COVID-19. They are complemented by voluntary health-protective behaviour, building a complex interplay between risk perception, behaviour, and disease spread. We studied how voluntary health-protective behaviour and vaccination willingness impact the long-term dynamics. We analysed how different levels of mandatory NPIs determine how individuals use their leeway for voluntary actions. If mandatory NPIs are too weak, COVID-19 incidence will surge, implying high morbidity and mortality before individuals react; if they are too strong, one expects a rebound wave once restrictions are lifted, challenging the transition to endemicity. Conversely, moderate mandatory NPIs give individuals time and room to adapt their level of caution, mitigating disease spread effectively. When complemented with high vaccination rates, this also offers a robust way to limit the impacts of the Omicron variant of concern. Altogether, our work highlights the importance of appropriate mandatory NPIs to maximise the impact of individual voluntary actions in pandemic control.
△ Less
Submitted 11 March, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Distilling the Real Cost of Production Garbage Collectors
Authors:
Zixian Cai,
Stephen M. Blackburn,
Michael D. Bond,
Martin Maas
Abstract:
Abridged abstract: despite the long history of garbage collection (GC) and its prevalence in modern programming languages, there is surprisingly little clarity about its true cost. Without understanding their cost, crucial tradeoffs made by garbage collectors (GCs) go unnoticed. This can lead to misguided design constraints and evaluation criteria used by GC researchers and users, hindering the de…
▽ More
Abridged abstract: despite the long history of garbage collection (GC) and its prevalence in modern programming languages, there is surprisingly little clarity about its true cost. Without understanding their cost, crucial tradeoffs made by garbage collectors (GCs) go unnoticed. This can lead to misguided design constraints and evaluation criteria used by GC researchers and users, hindering the development of high-performance, low-cost GCs. In this paper, we develop a methodology that allows us to empirically estimate the cost of GC for any given set of metrics. By distilling out the explicitly identifiable GC cost, we estimate the intrinsic application execution cost using different GCs. The minimum distilled cost forms a baseline. Subtracting this baseline from the total execution costs, we can then place an empirical lower bound on the absolute costs of different GCs. Using this methodology, we study five production GCs in OpenJDK 17, a high-performance Java runtime. We measure the cost of these collectors, and expose their respective key performance tradeoffs. We find that with a modestly sized heap, production GCs incur substantial overheads across a diverse suite of modern benchmarks, spending at least 7-82% more wall-clock time and 6-92% more CPU cycles relative to the baseline cost. We show that these costs can be masked by concurrency and generous provisioning of memory/compute. In addition, we find that newer low-pause GCs are significantly more expensive than older GCs, and, surprisingly, sometimes deliver worse application latency than stop-the-world GCs. Our findings reaffirm that GC is by no means a solved problem and that a low-cost, low-latency GC remains elusive. We recommend adopting the distillation methodology together with a wider range of cost metrics for future GC evaluations.
△ Less
Submitted 5 May, 2022; v1 submitted 14 December, 2021;
originally announced December 2021.
-
Analyzing a Caching Model
Authors:
Leon Sixt,
Evan Zheran Liu,
Marie Pellat,
James Wexler,
Milad Hashemi,
Been Kim,
Martin Maas
Abstract:
Machine Learning has been successfully applied in systems applications such as memory prefetching and caching, where learned models have been shown to outperform heuristics. However, the lack of understanding the inner workings of these models -- interpretability -- remains a major obstacle for adoption in real-world deployments. Understanding a model's behavior can help system administrators and…
▽ More
Machine Learning has been successfully applied in systems applications such as memory prefetching and caching, where learned models have been shown to outperform heuristics. However, the lack of understanding the inner workings of these models -- interpretability -- remains a major obstacle for adoption in real-world deployments. Understanding a model's behavior can help system administrators and developers gain confidence in the model, understand risks, and debug unexpected behavior in production. Interpretability for models used in computer systems poses a particular challenge: Unlike ML models trained on images or text, the input domain (e.g., memory access patterns, program counters) is not immediately interpretable. A major challenge is therefore to explain the model in terms of concepts that are approachable to a human practitioner. By analyzing a state-of-the-art caching model, we provide evidence that the model has learned concepts beyond simple statistics that can be leveraged for explanations. Our work provides a first step towards explanability of system ML models and highlights both promises and challenges of this emerging research area.
△ Less
Submitted 11 February, 2022; v1 submitted 13 December, 2021;
originally announced December 2021.
-
The winter dilemma
Authors:
Sebastian Contreras,
Philipp Dönges,
Joel Wagner,
Simon Bauer,
Sebastian B. Mohr,
Emil N. Iftekhar,
Mirjam Kretzschmar,
Michael Maes,
Kai Nagel,
André Calero Valdez,
Viola Priesemann
Abstract:
With winter coming in the northern hemisphere, disadvantageous seasonality of SARS-CoV-2 requires high immunity levels in the population or increasing non-pharmaceutical interventions (NPIs), compared to summer. Otherwise intensive care units (ICUs) might fill up. However, compliance with mandatory NPIs, vaccine uptake, and individual protective measures depend on individuals' opinions and behavio…
▽ More
With winter coming in the northern hemisphere, disadvantageous seasonality of SARS-CoV-2 requires high immunity levels in the population or increasing non-pharmaceutical interventions (NPIs), compared to summer. Otherwise intensive care units (ICUs) might fill up. However, compliance with mandatory NPIs, vaccine uptake, and individual protective measures depend on individuals' opinions and behavior. Opinions, in turn, depend on information, e.g., about vaccine safety or current infection levels. Therefore, understanding how information about the pandemic affects its spread through the modulation of voluntary protection-seeking behaviors is crucial for better preparedness this winter and for future crises.
△ Less
Submitted 15 October, 2021; v1 submitted 4 October, 2021;
originally announced October 2021.
-
On a formal equivalence between electro-magnetic waves in cold plasma and shallow water inertio-gravity waves
Authors:
Eyal Heifetz,
Leo R. M. Maas,
Julian Mak,
Ishay Pomerantz
Abstract:
The fundamental dispersion relation of transverse electro-magnetic waves in a cold collisionless plasma is formally equivalent to the two dimensional dispersion relation of inertio-gravity waves in a rotating shallow water system, where the Coriolis frequency can be identified with the plasma frequency, and the shallow water gravity wave phase speed plays the role of the speed of light. Here we ex…
▽ More
The fundamental dispersion relation of transverse electro-magnetic waves in a cold collisionless plasma is formally equivalent to the two dimensional dispersion relation of inertio-gravity waves in a rotating shallow water system, where the Coriolis frequency can be identified with the plasma frequency, and the shallow water gravity wave phase speed plays the role of the speed of light. Here we examine this formal equivalence in the governing linearised equations, and compare between the propagation wave mechanisms in these seemingly unrelated physical systems.
△ Less
Submitted 13 August, 2021;
originally announced August 2021.
-
Statistical Analysis of Thermal Conductivity Experimentally Measured in Water-Based Nanofluids
Authors:
J. Tielke,
M. Maas,
M. Castillo,
K. Rezwan,
M. Avila
Abstract:
Nanofluids are suspensions of nanoparticles in a base heat-transfer liquid. They have been widely investigated to boost heat transfer since they were proposed in the 1990's. We present a statistical correlation analysis of experimentally measured thermal conductivity of water-based nanofluids available in the literature. The influences of particle concentration, particle size, temperature and surf…
▽ More
Nanofluids are suspensions of nanoparticles in a base heat-transfer liquid. They have been widely investigated to boost heat transfer since they were proposed in the 1990's. We present a statistical correlation analysis of experimentally measured thermal conductivity of water-based nanofluids available in the literature. The influences of particle concentration, particle size, temperature and surfactants are investigated. For specific materials (alumina, titania, copper oxide, copper, silica and silicon carbide), separate analyses are performed. The conductivity increases with the concentration in qualitative agreement with Maxwell's theory of homogeneous media. The conductivity also increases with the temperature (in addition to the improvement due to the increased conductivity with water). Surprisingly, only silica nanofluids exhibit a statistically significant effect of particle size, whereby smaller particles lead to faster heat transfer. Overall, the large scatter in the experimental data prevents a compelling, unambiguous assessment of these effects. Taken together, the results of our analysis suggest that more comprehensive experimental characterizations of nanofluids are necessary to estimate their practical potential.
△ Less
Submitted 21 May, 2021; v1 submitted 22 March, 2021;
originally announced April 2021.
-
Bridging the Gap: the case for an Incompletely Theorized Agreement on AI policy
Authors:
Charlotte Stix,
Matthijs M. Maas
Abstract:
Recent progress in artificial intelligence (AI) raises a wide array of ethical and societal concerns. Accordingly, an appropriate policy approach is needed today. While there has been a wave of scholarship in this field, the research community at times appears divided amongst those who emphasize near-term concerns, and those focusing on long-term concerns and corresponding policy measures. In this…
▽ More
Recent progress in artificial intelligence (AI) raises a wide array of ethical and societal concerns. Accordingly, an appropriate policy approach is needed today. While there has been a wave of scholarship in this field, the research community at times appears divided amongst those who emphasize near-term concerns, and those focusing on long-term concerns and corresponding policy measures. In this paper, we seek to map and critically examine this alleged gulf, with a view to understanding the practical space for inter-community collaboration on AI policy. This culminates in a proposal to make use of the legal notion of an incompletely theorized agreement. We propose that on certain issue areas, scholars working with near-term and long-term perspectives can converge and cooperate on selected mutually beneficial AI policy projects all the while maintaining divergent perspectives.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Vortex cluster arising from an axisymmetric inertial wave attractor
Authors:
Samuel Boury,
Ilias Sibgatullin,
Evgeny Ermanyuk,
Natalia Shmakova,
Philippe Odier,
Sylvain Joubaud,
Leo R. M. Maas,
Thierry Dauxois
Abstract:
We present an experimental study of the saturated non-linear dynamics of an inertial wave attractor in an axisymmetric geometrical setting. The experiments are carried out in a rotating ring-shaped fluid domain delimited by two vertical coaxial cylinders, a conical bottom, and a horizontal deformable upper lid as wave generator: the meridional cross-section of the fluid volume is a trapezium, whil…
▽ More
We present an experimental study of the saturated non-linear dynamics of an inertial wave attractor in an axisymmetric geometrical setting. The experiments are carried out in a rotating ring-shaped fluid domain delimited by two vertical coaxial cylinders, a conical bottom, and a horizontal deformable upper lid as wave generator: the meridional cross-section of the fluid volume is a trapezium, while the horizontal cross-section is a ring. First, the fluid is set into a rigid-body rotation. Thereafter, forcing is introduced into the system via axisymmetric low-amplitude volume-conserving oscillatory motion of the upper lid. After a short transient of about 10 forcing periods, a quasi-linear regime is established, with an axisymmetric inertial wave attractor. The attractor is prone to instability: at long time-scale (order 100 forcing periods) a saturated fully non-linear regime develops as a consequence of an energy cascade draining energy towards a slow two-dimensional manifold represented by a regular polygonal system of axially-oriented cyclonic vortices that are slowly precessing around the inner cylinder. We show that this slow two-dimensional manifold manifests a persistent slow prograde motion and a strong cyclonic-anticyclonic asymmetry quantified by the time-evolution of the probability density function of the vertical vorticity.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Roadmap to a Roadmap: How Could We Tell When AGI is a 'Manhattan Project' Away?
Authors:
John-Clark Levin,
Matthijs M. Maas
Abstract:
This paper argues that at a certain point in research toward AGI, the problem may become well-enough theorized that a clear roadmap exists for achieving it, such that a Manhattan Project-like effort could greatly shorten the time to completion. If state actors perceive that this threshold has been crossed, their incentives around openness and international cooperation may shift rather suddenly, wi…
▽ More
This paper argues that at a certain point in research toward AGI, the problem may become well-enough theorized that a clear roadmap exists for achieving it, such that a Manhattan Project-like effort could greatly shorten the time to completion. If state actors perceive that this threshold has been crossed, their incentives around openness and international cooperation may shift rather suddenly, with serious implications for AI risks and the stability of international AI governance regimes. The paper characterizes how such a 'runway' period would be qualitatively different from preceding stages of AI research, and accordingly proposes a research program aimed at assessing how close the field of AI is to such a threshold - that is, it calls for the formulation of a 'roadmap to the roadmap.'
△ Less
Submitted 6 August, 2020;
originally announced August 2020.
-
Should Artificial Intelligence Governance be Centralised? Design Lessons from History
Authors:
Peter Cihon,
Matthijs M. Maas,
Luke Kemp
Abstract:
Can effective international governance for artificial intelligence remain fragmented, or is there a need for a centralised international organisation for AI? We draw on the history of other international regimes to identify advantages and disadvantages in centralising AI governance. Some considerations, such as efficiency and political power, speak in favour of centralisation. Conversely, the risk…
▽ More
Can effective international governance for artificial intelligence remain fragmented, or is there a need for a centralised international organisation for AI? We draw on the history of other international regimes to identify advantages and disadvantages in centralising AI governance. Some considerations, such as efficiency and political power, speak in favour of centralisation. Conversely, the risk of creating a slow and brittle institution speaks against it, as does the difficulty in securing participation while creating stringent rules. Other considerations depend on the specific design of a centralised institution. A well-designed body may be able to deter forum shopping and ensure policy coordination. However, forum shopping can be beneficial and a fragmented landscape of institutions can be self-organising. Centralisation entails trade-offs and the details matter. We conclude with two core recommendations. First, the outcome will depend on the exact design of a central institution. A well-designed centralised regime covering a set of coherent issues could be beneficial. But locking-in an inadequate structure may pose a fate worse than fragmentation. Second, for now fragmentation will likely persist. This should be closely monitored to see if it is self-organising or simply inadequate.
△ Less
Submitted 10 January, 2020;
originally announced January 2020.
-
Emergent Behaviors from Folksonomy Driven Interactions
Authors:
Massimiliano Dal Mas
Abstract:
To reflect the evolving knowledge on the Web this paper considers ontologies based on folksonomies according to a new concept structure called "Folksodriven" to represent folksonomies. This paper describes a research program for studying Folksodriven tags interactions leading to Folksodriven cluster behavior. The goal of the research is to understand the type of simple local interactions which pro…
▽ More
To reflect the evolving knowledge on the Web this paper considers ontologies based on folksonomies according to a new concept structure called "Folksodriven" to represent folksonomies. This paper describes a research program for studying Folksodriven tags interactions leading to Folksodriven cluster behavior. The goal of the research is to understand the type of simple local interactions which produce complex and purposive group behaviors on Folksodriven tags. We describe a synthetic, bottom-up approach to studying group behavior, consisting of designing and testing a variety of social interactions and cultural scenarios with Folksodriven tags. We propose a set of basic interactions which can be used to structure and simplify the process of both designing and analyzing emergent group behaviors. The presented behavior repertories was developed and tested on a folksonomy environment.
△ Less
Submitted 31 December, 2019;
originally announced January 2020.
-
Boundary-element method to analyze acoustic scattering from a coupled swimbladder-fish body configuration
Authors:
Juan D. Gonzalez,
Edmundo F. Lavia,
Silvia Blanc,
Martin Maas,
Adrián Madirolas
Abstract:
A model for computing acoustic scattering by a swimbladdered fish with coupling to surrounding fish tissue that is assumed to behave as a homogeneous fluid, is presented. Mathematically, this corresponds to considering the problem of two penetrable scatterers immersed in a homogeneous medium, one of which is wholly embedded in the other. The model is formulated in the frame of boundary integral eq…
▽ More
A model for computing acoustic scattering by a swimbladdered fish with coupling to surrounding fish tissue that is assumed to behave as a homogeneous fluid, is presented. Mathematically, this corresponds to considering the problem of two penetrable scatterers immersed in a homogeneous medium, one of which is wholly embedded in the other. The model is formulated in the frame of boundary integral equations whose solution is achieved using the Boundary Element Method (BEM) for a planar triangle mesh. The numerical implementation is verified against benchmark solutions reported in the literature. The model is then applied to a specimen of \textit{Merluccius hubbsi}, whose morphometry was determined by CT scanning, for evaluating its forward and backscattering responses. From the acoustic scattering viewpoint, the swimbladder is considered as a gas-filled object while the flesh constituting the fish body acts like a weak scatterer. The numerical results suggest the swimbladder and the fish body responses, when fully coupled, can lead to substantial differences with respect to the simplified models normally in use in the area of aquatic ecosystem research.
△ Less
Submitted 26 December, 2019; v1 submitted 25 September, 2019;
originally announced September 2019.
-
3D Printed Actuators: Reversibility, Relaxation and Ratcheting
Authors:
Song-Chuan Zhao,
Mariska Maas,
Kaspar Jansen,
Martin van Hecke
Abstract:
Additive manufacturing strives to combine any combination of materials into three dimensional functional structures and devices, ultimately opening up the possibility of 3D printed machines. It remains difficult to actuate such devices, thus limiting the scope of 3D printed machines to passive devices or necessitating the incorporation of external actuators that are manufactured differently. Here…
▽ More
Additive manufacturing strives to combine any combination of materials into three dimensional functional structures and devices, ultimately opening up the possibility of 3D printed machines. It remains difficult to actuate such devices, thus limiting the scope of 3D printed machines to passive devices or necessitating the incorporation of external actuators that are manufactured differently. Here we explore 3D printed hybrid thermoplast/conducter bilayers, that can be actuated by differential heating caused by externally controllable currents flowing through their conducting faces. We uncover the functionality of such actuators and show that they allow to 3D print, in one pass, simple flexible robotic structures that propel forward under step-wise applied voltages. Moreover, exploiting the thermoplasticity of the non-conducting plastic parts at elevated temperatures, we show how strong driving leads to irreversible deformations - a form of 4D printing - which also enlarges the range of linear response of the actuators. Finally, we show how to leverage such thermoplastic relaxations to accumulate plastic deformations and obtain very large deformations by alternatively driving both layers of a bilayer; we call this ratcheting. Our strategy is scalable and widely applicable, and opens up a new approach to reversible actuation and irreversible 4D printing of arbitrary structures and machines.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
Resurgence, a problem of missing exponential corrections in asymptotic expansions
Authors:
Ramon Miravitllas Mas
Abstract:
It is well known that perturbative expansions of path integrals are divergent. These expansions are to be understood as asymptotic expansions, which encode the limiting behaviour of the path integral for positive small coupling. Conventionally, the method of Borel summation assigns a finite answer to the divergent expansion. Still, the Borel sum might not encode the full information of a function,…
▽ More
It is well known that perturbative expansions of path integrals are divergent. These expansions are to be understood as asymptotic expansions, which encode the limiting behaviour of the path integral for positive small coupling. Conventionally, the method of Borel summation assigns a finite answer to the divergent expansion. Still, the Borel sum might not encode the full information of a function, because it misses exponentially small corrections. In the present work, we consider a slight variation of the conventional Borel summation, in which a generalised Borel transform (an inverse Laplace transform) is followed by a directional Laplace transform. These new tools will allow us to give perhaps better answers to typical problems in Borel summation: missing exponential corrections and ambiguities in the Borel summation. In addition, we will define resurgence as a connection between the discontinuity of a function and the coefficients of its asymptotic expansion. From this definition, we will be able to reduce resurgence to the problem of missing exponential corrections in asymptotic expansions and understand, within a unified framework, different approaches to resurgence found in the literature.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Responsive Equilibrium for Self-Adaptive Ubiquitous Interaction
Authors:
Massimiliano Dal Mas
Abstract:
This work attempts to unify two domains: the Game Theory for cooperative control systems and the Responsive Web Design, under the umbrella of crowdsourcing for information gain on Ubiquous Sytems related to different devices (as PC, Tablet, Mobile,...) This paper proposes a framework for adapting DOM objects components for a disaggregated system, which dynamically composes web pages for different…
▽ More
This work attempts to unify two domains: the Game Theory for cooperative control systems and the Responsive Web Design, under the umbrella of crowdsourcing for information gain on Ubiquous Sytems related to different devices (as PC, Tablet, Mobile,...) This paper proposes a framework for adapting DOM objects components for a disaggregated system, which dynamically composes web pages for different kind of devices including ubiquitous/pervasive computing systems. It introduces the notions of responsive webdesign for non-cooperative Nash equilibrium proposing an algorithm (RE-SAUI) for the dynamic interface based on the game theory.
△ Less
Submitted 31 December, 2018;
originally announced January 2019.
-
Web Application for Collaborative Semantic Web Information Architecture
Authors:
Massimiliano Dal Mas
Abstract:
In this paper is analyzed the prototyping of the information visualization on a Web Application for community purposes in a collaborative environment representing an evolution of the actual social networks like Facebook, Instagram, Twitter, Linkedin, VirgilioPeople,... The intent of this work is to identify the most common features of Web App for the information visualization based on the Semantic…
▽ More
In this paper is analyzed the prototyping of the information visualization on a Web Application for community purposes in a collaborative environment representing an evolution of the actual social networks like Facebook, Instagram, Twitter, Linkedin, VirgilioPeople,... The intent of this work is to identify the most common features of Web App for the information visualization based on the Semantic Web and discuss how they support the user's requirements in a "collaborative" environment. A solution for the context-aware development of UI is based on "joint meaning" understood as a joint construal of the creator of the community contents and the user of the community contents thanks to the context and interface adaptation using the faced taxonomy with the Semantic Web. A proof-of concept prototype allows showing that the proposed methodological approach can also easily be applied to existing presentation components, built with different languages and/or component technologies.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Particle transport induced by internal wave beam streaming in lateral boundary layers
Authors:
E. Horne,
F. Beckebanze,
D. Micard,
P. Odier,
L. R. M. Maas,
S. Joubaud
Abstract:
Quantifying the physical mechanisms responsible for the transport of sediments, nutrients and pollutants in the abyssal sea is a long-standing problem, with internal waves regularly invoked as the relevant mechanism for particle advection near the sea bottom. This study focuses on internal-wave induced particle transport in the vicinity of (almost) vertical walls. We report a series of laboratory…
▽ More
Quantifying the physical mechanisms responsible for the transport of sediments, nutrients and pollutants in the abyssal sea is a long-standing problem, with internal waves regularly invoked as the relevant mechanism for particle advection near the sea bottom. This study focuses on internal-wave induced particle transport in the vicinity of (almost) vertical walls. We report a series of laboratory experiments revealing that particles sinking slowly through a monochromatic internal wave beam experience significant horizontal advection. Extending the theoretical analysis by Beckebanze et al (2018a), we attribute the observed particle advection to a peculiar and previously unrecognized streaming mechanism originating at the lateral walls. This vertical boundary-layer streaming mechanism is most efficient for strongly inclined wave beams, when vertical and horizontal velocity components are of comparable magnitude. We find good agreement between our theoretical prediction and experimental results.
△ Less
Submitted 5 October, 2018;
originally announced October 2018.
-
Mean flow generation by three-dimensional non-linear internal wave beams
Authors:
F. Beckebanze,
K. Raja,
L. R. M. Maas
Abstract:
We study the generation of strong mean flow by weakly non-linear internal wave beams. With a perturbational expansion, we construct analytic solutions for 3D internal wave beams, exact up to first order accuracy in the viscosity parameter. We specifically focus on the subtleties of wave beam generation by oscillating boundaries, such as wave makers in laboratory set-ups. The exact solutions to the…
▽ More
We study the generation of strong mean flow by weakly non-linear internal wave beams. With a perturbational expansion, we construct analytic solutions for 3D internal wave beams, exact up to first order accuracy in the viscosity parameter. We specifically focus on the subtleties of wave beam generation by oscillating boundaries, such as wave makers in laboratory set-ups. The exact solutions to the linearized equations allow us to derive an analytic expression for the mean vertical vorticity production term, which induces a horizontal mean flow. Whereas mean flow generation associated with viscous beam attenuation - known as streaming - has been described before, we are the first to also include a peculiar inviscid mean flow generation in the vicinity of the oscillating wall, resulting from line vortices at the lateral edges of the oscillating boundary. Our theoretical expression for the mean vertical vorticity production is in good agreement with earlier laboratory experiments, for which the previously unrecognized inviscid mean flow generation mechanism turns out to be significant.
△ Less
Submitted 12 December, 2018; v1 submitted 31 May, 2018;
originally announced May 2018.
-
Internal Wave Attractors in 3D Geometries : trapping by oblique reflection
Authors:
G. Pillet,
E. V. Ermanyuk,
L. R. M. Maas,
I. N. Sibgatullin,
T. Dauxois
Abstract:
We study experimentally the propagation of internal waves in two different three-dimensional (3D) geometries, with a special emphasis on the refractive focusing due to the 3D reflection of obliquely incident internal waves on a slope. Both studies are initiated by ray tracing calculations to determine the appropriate experimental parameters. First, we consider a 3D geometry, the classical set-up t…
▽ More
We study experimentally the propagation of internal waves in two different three-dimensional (3D) geometries, with a special emphasis on the refractive focusing due to the 3D reflection of obliquely incident internal waves on a slope. Both studies are initiated by ray tracing calculations to determine the appropriate experimental parameters. First, we consider a 3D geometry, the classical set-up to get simple, 2D parallelogram-shaped attractors in which waves are forced in a direction perpendicular to a sloping bottom. Here, however, the forcing is of reduced extent in along-slope, transverse direction. We show how the refractive focusing mechanism explains the formation of attractors over the whole width of the tank, even away from the forcing region. Direct numerical simulations confirm the dynamics,emphasize the role of boundary conditions and reveal the phase shifting in the transversal direction. Second, we consider a long and narrow tank having an inclined bottom, to simply reproduce a canal. In this case, the energy is injected in a direction parallel to the slope. Interestingly, the wave energy ends up forming 2D internal wave attractors in planes that are transverse to the initial propagation direction. This focusing mechanism prevents indefinite transmission of most of the internal wave energy along the canal.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Experimental parametric study of the self-coherent camera
Authors:
Johan Mazoyer,
Pierre Baudoz,
Marion Mas,
Gérard Rousset,
Raphaël Galicher
Abstract:
Direct imaging of exoplanets requires the detection of very faint objects orbiting close to very bright stars. In this context, the SPICES mission was proposed to the European Space Agency for planet characterization at visible wavelength. SPICES is a 1.5m space telescope which uses a coronagraph to strongly attenuate the central source. However, small optical aberrations, which appear even in spa…
▽ More
Direct imaging of exoplanets requires the detection of very faint objects orbiting close to very bright stars. In this context, the SPICES mission was proposed to the European Space Agency for planet characterization at visible wavelength. SPICES is a 1.5m space telescope which uses a coronagraph to strongly attenuate the central source. However, small optical aberrations, which appear even in space telescopes, dramatically decrease coronagraph performance. To reduce these aberrations, we want to estimate, directly on the coronagraphic image, the electric field, and, with the help of a deformable mirror, correct the wavefront upstream of the coronagraph. We propose an instrument, the Self-Coherent Camera (SCC) for this purpose. By adding a small "reference hole" into the Lyot stop, located after the coronagraph, we can produce interferences in the focal plane, using the coherence of the stellar light. We developed algorithms to decode the information contained in these Fizeau fringes and retrieve an estimation of the field in the focal plane. After briefly recalling the SCC principle, we will present the results of a study, based on both experiment and numerical simulation, analyzing the impact of the size of the reference hole.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Damping of quasi-2D internal wave attractors by rigid-wall friction
Authors:
F. Beckebanze,
C. Brouzet,
I. N. Sibgatullin,
L. R. M. Maas
Abstract:
The reflection of internal gravity waves at sloping boundaries leads to focusing or defocusing. In closed domains, focusing typically dominates and projects the wave energy onto 'wave attractors'. For small-amplitude internal waves, the projection of energy onto higher wave numbers by geometric focusing can be balanced by viscous dissipation at high wave numbers. Contrary to what was previously su…
▽ More
The reflection of internal gravity waves at sloping boundaries leads to focusing or defocusing. In closed domains, focusing typically dominates and projects the wave energy onto 'wave attractors'. For small-amplitude internal waves, the projection of energy onto higher wave numbers by geometric focusing can be balanced by viscous dissipation at high wave numbers. Contrary to what was previously suggested, viscous dissipation in interior shear layers may not be sufficient to explain the experiments on wave attractors in the classical quasi-2D trapezoidal laboratory set-ups. Applying standard boundary layer theory, we provide an elaborate description of the viscous dissipation in the interior shear layer, as well as at the rigid boundaries. Our analysis shows that even if the thin lateral Stokes boundary layers consist of no more than 1% of the wall-to-wall distance, dissipation by lateral walls dominates at intermediate wave numbers. Our extended model for the spectrum of 3D wave attractors in equilibrium closes the gap between observations and theory by Hazewinkel et al. (2008).
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
-
Shifted Equivalent Sources and FFT acceleration for Periodic Scattering Problems including Wood Anomalies
Authors:
Oscar Bruno,
Martín Maas
Abstract:
This paper introduces a fast algorithm, applicable throughout the electromagnetic spectrum, for the numerical solution of problems of scattering by periodic surfaces in two-dimensional space. The proposed algorithm remains highly accurate and efficient for challenging configurations including randomly rough surfaces, deep corrugations, large periods, near grazing incidences, and, importantly, Wood…
▽ More
This paper introduces a fast algorithm, applicable throughout the electromagnetic spectrum, for the numerical solution of problems of scattering by periodic surfaces in two-dimensional space. The proposed algorithm remains highly accurate and efficient for challenging configurations including randomly rough surfaces, deep corrugations, large periods, near grazing incidences, and, importantly, Wood-anomaly resonant frequencies. The proposed approach is based on use of certain `shifted equivalent sources' which enable FFT acceleration of a Wood-anomaly-capable quasi-periodic Green function introduced recently (Bruno and Delourme, Jour. Computat. Phys., 262--290, 2014). The Green-function strategy additionally incorporates an exponentially convergent shifted version of the classical spectral series for the Green function. While the computing-cost asymptotics depend on the asymptotic configuration assumed, the computing costs rise at most linearly with the size of the problem for a number of important rough-surface cases we consider. In practice, single-core runs in computing times ranging from a fraction of a second to a few seconds suffice for the proposed algorithm to produce highly-accurate solutions in some of the most challenging contexts arising in applications.
△ Less
Submitted 23 May, 2018; v1 submitted 16 July, 2017;
originally announced July 2017.
-
Evolutionary Data Systems
Authors:
Stratos Idreos,
Lukas M. Maas,
Mike S. Kester
Abstract:
Anyone in need of a data system today is confronted with numerous complex options in terms of system architectures, such as traditional relational databases, NoSQL and NewSQL solutions as well as several sub-categories like column-stores, row-stores etc. This overwhelming array of choices makes bootstrapping data-driven applications difficult and time consuming, requiring expertise often not acces…
▽ More
Anyone in need of a data system today is confronted with numerous complex options in terms of system architectures, such as traditional relational databases, NoSQL and NewSQL solutions as well as several sub-categories like column-stores, row-stores etc. This overwhelming array of choices makes bootstrapping data-driven applications difficult and time consuming, requiring expertise often not accessible due to cost issues (e.g., to scientific labs or small businesses). In this paper, we present the vision of evolutionary data systems that free systems architects and application designers from the complex, cumbersome and expensive process of designing and tuning specialized data system architectures that fit only a single, static application scenario. Setting up an evolutionary system is as simple as identifying the data. As new data and queries come in, the system automatically evolves so that its architecture matches the properties of the incoming workload at all times. Inspired by the theory of evolution, at any given point in time, an evolutionary system may employ multiple competing solutions down at the low level of database architectures -- characterized as combinations of data layouts, access methods and execution strategies. Over time, "the fittest wins" and becomes the dominant architecture until the environment (workload) changes. In our initial prototype, we demonstrate solutions that can seamlessly evolve (back and forth) between a key-value store and a column-store architecture in order to adapt to changing workloads.
△ Less
Submitted 18 June, 2017;
originally announced June 2017.
-
Digital Advertising Traffic Operation: Flow Management Analysis
Authors:
Massimiliano Dal Mas
Abstract:
In a Web Advertising Traffic Operation the Trafficking Routing Problem (TRP) consists in scheduling the management of Web Advertising (Adv) campaign between Trafficking campaigns in the most efficient way to oversee and manage relationship with partners and internal teams, managing expectations through integration and post-launch in order to ensure success for every stakeholders involved. For our…
▽ More
In a Web Advertising Traffic Operation the Trafficking Routing Problem (TRP) consists in scheduling the management of Web Advertising (Adv) campaign between Trafficking campaigns in the most efficient way to oversee and manage relationship with partners and internal teams, managing expectations through integration and post-launch in order to ensure success for every stakeholders involved. For our own interest we did that independent research projects also through specific innovative tasks validate towards average working time declared on "specification required" by the main worldwide industry leading Advertising Agency. We present a Mixed Integer Linear Programming (MILP) formulation for end-to-end management of campaign workflow along a predetermined path and generalize it to include alternative path to oversee and manage detail-oriented relationship with partners and internal teams to achieve the goals above mentioned. To meet clients' KPIs, we consider an objective function that includes the punctuality indicators (the average waiting time and completion times) but also the main punctuality indicators (the average delay and the on time performance). Then we investigate their analytical relationships in the advertising domain through experiments based on real data from a Traffic Office. We show that the classic punctuality indicators are in contradiction with the task of reducing waiting times. We propose new indicators used for a synthesize analysis on projects or process changes for the wider team that are more sustainable, but also more relevant for stakeholders. We also show that the flow of a campaign (adv-ways) is the main bottleneck of a Traffic Office and that alternate paths cannot improve the performance indicators.
△ Less
Submitted 11 January, 2017;
originally announced January 2017.
-
Digital Advertising Traffic Operation: Machine Learning for Process Discovery
Authors:
Massimiliano Dal Mas
Abstract:
In a Web Advertising Traffic Operation it's necessary to manage the day-to-day trafficking, pacing and optimization of digital and paid social campaigns. The data analyst on Traffic Operation can not only quickly provide answers but also speaks the language of the Process Manager and visually displays the discovered process problems. In order to solve a growing number of complaints in the customer…
▽ More
In a Web Advertising Traffic Operation it's necessary to manage the day-to-day trafficking, pacing and optimization of digital and paid social campaigns. The data analyst on Traffic Operation can not only quickly provide answers but also speaks the language of the Process Manager and visually displays the discovered process problems. In order to solve a growing number of complaints in the customer service process, the weaknesses in the process itself must be identified and communicated to the department. With the help of Process Mining for the CRM data it is possible to identify unwanted loops and delays in the process. With this paper we propose a process discovery based on Machine Learning technique to automatically discover variations and detect at first glance what the problem is, and undertake corrective measures.
△ Less
Submitted 30 December, 2016;
originally announced January 2017.
-
Automatic Data Deformation Analysis on Evolving Folksonomy Driven Environment
Authors:
Massimiliano Dal Mas
Abstract:
The Folksodriven framework makes it possible for data scientists to define an ontology environment where searching for buried patterns that have some kind of predictive power to build predictive models more effectively. It accomplishes this through an abstractions that isolate parameters of the predictive modeling process searching for patterns and designing the feature set, too. To reflect the ev…
▽ More
The Folksodriven framework makes it possible for data scientists to define an ontology environment where searching for buried patterns that have some kind of predictive power to build predictive models more effectively. It accomplishes this through an abstractions that isolate parameters of the predictive modeling process searching for patterns and designing the feature set, too. To reflect the evolving knowledge, this paper considers ontologies based on folksonomies according to a new concept structure called "Folksodriven" to represent folksonomies. So, the studies on the transformational regulation of the Folksodriven tags are regarded to be important for adaptive folksonomies classifications in an evolving environment used by Intelligent Systems to represent the knowledge sharing. Folksodriven tags are used to categorize salient data points so they can be fed to a machine-learning system and "featurizing" the data.
△ Less
Submitted 30 December, 2016;
originally announced December 2016.
-
FolksoDrivenCloud: an annotation and process application for social collaborative networking
Authors:
Massimiliano Dal Mas
Abstract:
In this paper we present the FolksoDriven Cloud (FDC) built on Cloud and on Semantic technologies. Cloud computing has emerged in these recent years as the new paradigm for the provision of on-demand distributed computing resources. Semantic Web can be used for relationship between different data and descriptions of services to annotate provenance of repositories on ontologies. The FDC service is…
▽ More
In this paper we present the FolksoDriven Cloud (FDC) built on Cloud and on Semantic technologies. Cloud computing has emerged in these recent years as the new paradigm for the provision of on-demand distributed computing resources. Semantic Web can be used for relationship between different data and descriptions of services to annotate provenance of repositories on ontologies. The FDC service is composed of a back-end which submits and monitors the documents, and a user front-end which allows users to schedule on-demand operations and to watch the progress of running processes. The impact of the proposed method is illustrated on a user since its inception.
△ Less
Submitted 30 December, 2016;
originally announced December 2016.
-
Regularity theory and high order numerical methods for the (1d)-Fractional Laplacian
Authors:
Gabriel Acosta,
Juan Pablo Borthagaray,
Oscar Bruno,
Martín Maas
Abstract:
This paper presents regularity results and associated high-order numerical methods for one-dimensional Fractional-Laplacian boundary-value problems. On the basis of a factorization of solutions as a product of a certain edge-singular weight $ω$ times a "regular" unknown, a characterization of the regularity of solutions is obtained in terms of the smoothness of the corresponding right-hand sides.…
▽ More
This paper presents regularity results and associated high-order numerical methods for one-dimensional Fractional-Laplacian boundary-value problems. On the basis of a factorization of solutions as a product of a certain edge-singular weight $ω$ times a "regular" unknown, a characterization of the regularity of solutions is obtained in terms of the smoothness of the corresponding right-hand sides. In particular, for right-hand sides which are analytic in a Bernstein Ellipse, analyticity in the same Bernstein Ellipse is obtained for the "regular" unknown. Moreover, a sharp Sobolev regularity result is presented which completely characterizes the co-domain of the Fractional-Laplacian operator in terms of certain weighted Sobolev spaces introduced in (Babuška and Guo, SIAM J. Numer. Anal. 2002). The present theoretical treatment relies on a full eigendecomposition for a certain weighted integral operator in terms of the Gegenbauer polynomial basis. The proposed Gegenbauer-based Nyström numerical method for the Fractional-Laplacian Dirichlet problem, further, is significantly more accurate and efficient than other algorithms considered previously. The sharp error estimates presented in this paper indicate that the proposed algorithm is spectrally accurate, with convergence rates that only depend on the smoothness of the right-hand side. In particular, convergence is exponentially fast (resp. faster than any power of the mesh-size) for analytic (resp. in nitely smooth) right-hand sides. The properties of the algorithm are illustrated with a variety of numerical results.
△ Less
Submitted 27 March, 2017; v1 submitted 30 August, 2016;
originally announced August 2016.
-
Function of Forgetfulness for the Tedium of Oblivion on Liquidity of Ontology Matching
Authors:
Massimiliano Dal Mas
Abstract:
The shallow and fragile knowledge on the Web does not examine in depth the things: it behaves lightly. The conditions created by the Web makes our attention labile and especially fickle, it's unable to concentrate for long as we are trained to "surf" without going though never in depth. The Web also brings with it the added advantage of a nearly availability infinite knowledge but leads to a loss…
▽ More
The shallow and fragile knowledge on the Web does not examine in depth the things: it behaves lightly. The conditions created by the Web makes our attention labile and especially fickle, it's unable to concentrate for long as we are trained to "surf" without going though never in depth. The Web also brings with it the added advantage of a nearly availability infinite knowledge but leads to a loss of the ability to retain and evaluate that knowledge within us increasing forgetfulness of knowledge. In this paper we show how the "function of forgetfulness" appears linked to tedium and oblivion of knowledge through the liquidity of ontology matching.
△ Less
Submitted 2 January, 2015;
originally announced January 2015.
-
Liquidity on Web Dynamic Network
Authors:
Massimiliano Dal Mas
Abstract:
Nowadays, the exponentially growing of the Web renders the problem of correlation among different topics of paramount importance. The proposed model can be used to study the evolution of network depicted by different topics on the web correlated by a dynamic "fluid" of tags among them. The fluid-dynamic model depicted is completely evolutive, thus it is able to describe the dynamic situation of a…
▽ More
Nowadays, the exponentially growing of the Web renders the problem of correlation among different topics of paramount importance. The proposed model can be used to study the evolution of network depicted by different topics on the web correlated by a dynamic "fluid" of tags among them. The fluid-dynamic model depicted is completely evolutive, thus it is able to describe the dynamic situation of a network at every instant of time. This overcomes the difficulties encountered by many static models. The theory permits the development of efficient numerical schemes also for very large networks. This is possible since dynamic flow at junctions is modeled in a simple and computationally convenient way (resorting to a linear programming problem). The obtained model consists of a single conservation law and is on one side simple enough to permit a complete understanding, on the other side reach enough to detect the evolution of the dynamic network.
△ Less
Submitted 31 December, 2014;
originally announced January 2015.
-
Observation of the rare $B^0_s\toμ^+μ^-$ decay from the combined analysis of CMS and LHCb data
Authors:
The CMS,
LHCb Collaborations,
:,
V. Khachatryan,
A. M. Sirunyan,
A. Tumasyan,
W. Adam,
T. Bergauer,
M. Dragicevic,
J. Erö,
M. Friedl,
R. Frühwirth,
V. M. Ghete,
C. Hartl,
N. Hörmann,
J. Hrubec,
M. Jeitler,
W. Kiesenhofer,
V. Knünz,
M. Krammer,
I. Krätschmer,
D. Liko,
I. Mikulec,
D. Rabady,
B. Rahbaran
, et al. (2807 additional authors not shown)
Abstract:
A joint measurement is presented of the branching fractions $B^0_s\toμ^+μ^-$ and $B^0\toμ^+μ^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\toμ^+μ^-$ decay, with a statistical significance exceeding six sta…
▽ More
A joint measurement is presented of the branching fractions $B^0_s\toμ^+μ^-$ and $B^0\toμ^+μ^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\toμ^+μ^-$ decay, with a statistical significance exceeding six standard deviations, and the best measurement of its branching fraction so far. Furthermore, evidence for the $B^0\toμ^+μ^-$ decay is obtained with a statistical significance of three standard deviations. The branching fraction measurements are statistically compatible with SM predictions and impose stringent constraints on several theories beyond the SM.
△ Less
Submitted 17 August, 2015; v1 submitted 17 November, 2014;
originally announced November 2014.
-
Is there negative social influence? Disentangling effects of dissimilarity and disliking on opinion shifts
Authors:
Károly Takács,
Andreas Flache,
Michael Mäs
Abstract:
Empirical studies are inconclusive about the underlying mechanisms that shape the interrelated dynamics of opinions and interpersonal attraction. There is strong evidence that others whom are liked have a positive influence on opinions and similarities induce attraction (homophily). We know less about "negative" mechanisms concerning whether disliked others induce shifts away from consensus (negat…
▽ More
Empirical studies are inconclusive about the underlying mechanisms that shape the interrelated dynamics of opinions and interpersonal attraction. There is strong evidence that others whom are liked have a positive influence on opinions and similarities induce attraction (homophily). We know less about "negative" mechanisms concerning whether disliked others induce shifts away from consensus (negative influence), whether large differences (dissimilarity) generate distancing, and whether dissimilarities induce disliking (heterophobia). This study tests discriminating hypotheses about the presence of positive and negative mechanisms in controlled experiments involving dyadic interactions. Results confirm the presence of homophily, do not support the existence of negative social influence, and show a robust positive linear relationship between opinion distance and opinion shifts. This implies that contact might provide the largest push towards consensus in case of large initial differences.
△ Less
Submitted 3 June, 2014;
originally announced June 2014.
-
A-infinity Persistence
Authors:
Francisco Belchí Guillamón,
Aniceto Murillo Mas
Abstract:
We introduce and study A-infinity persistence of a given homology filtration of topological spaces. This is a family, one for each n > 0, of homological invariants which provide information not readily available by the (persistent) Betti numbers of the given filtration. This may help to detect noise, not just in the simplicial structure of the filtration but in further geometrical properties in wh…
▽ More
We introduce and study A-infinity persistence of a given homology filtration of topological spaces. This is a family, one for each n > 0, of homological invariants which provide information not readily available by the (persistent) Betti numbers of the given filtration. This may help to detect noise, not just in the simplicial structure of the filtration but in further geometrical properties in which the higher codiagonals of the A-infinity structure are translated. Based in the classification of zigzag modules, a characterization of the A-infinity persistence in terms of its associated barcode is given.
△ Less
Submitted 17 March, 2014; v1 submitted 10 March, 2014;
originally announced March 2014.
-
Meridional trapping and zonal propagation of inertial waves in a rotating fluid shell
Authors:
Anna Rabitti,
Leo R. M. Maas
Abstract:
Inertial waves propagate in homogeneous rotating fluids, and constitute a challenging and simplified case study for the broader class of inertio-gravity waves, present in all geophysical and astrophysical media, and responsible for energetically costly processes as diapycnal and angular momentum mixing. However, a complete analytical description and understanding of internal waves in arbitrarily s…
▽ More
Inertial waves propagate in homogeneous rotating fluids, and constitute a challenging and simplified case study for the broader class of inertio-gravity waves, present in all geophysical and astrophysical media, and responsible for energetically costly processes as diapycnal and angular momentum mixing. However, a complete analytical description and understanding of internal waves in arbitrarily shaped enclosed domains, such as the ocean, or a planet liquid core, is still missing.
In this work, the inviscid, linear inertial wave field is investigated by means of three dimensional ray tracing in spherical shell domains, having in mind possible oceanographic applications. Rays are here classically interpreted as representative of energy paths. But in contrast with previous studies, they are now launched with a non-zero initial zonal component allowing for a more realistic, localized forcing, and the development of azimuthal inhomogeneities.
We find that meridional planes generally act in the shell geometry as attractors for ray trajectories. In addition, the existence of trajectories that are not subject to meridional trapping is here observed for the first time. Their dynamics was not captured by the previous purely meridional studies and unveils a new class of possible solutions for inertial motion in the spherical shell.
Both observed behaviours shed some new light on possible mechanisms of energy localization, a key process that still deserves further investigation in our ocean, as well as in other stratified, rotating media.
△ Less
Submitted 11 February, 2014;
originally announced February 2014.
-
Estimation and correction of wavefront aberrations using the self-coherent camera: laboratory results
Authors:
J. Mazoyer,
P. Baudoz,
R. Galicher,
M. Mas,
G. Rousset
Abstract:
Direct imaging of exoplanets requires very high contrast levels, which are obtained using coronagraphs. But residual quasi-static aberrations create speckles in the focal plane downstream of the coronagraph which mask the planet. This problem appears in ground-based instruments as well as in space-based telescopes. An active correction of these wavefront errors using a deformable mirror upstream o…
▽ More
Direct imaging of exoplanets requires very high contrast levels, which are obtained using coronagraphs. But residual quasi-static aberrations create speckles in the focal plane downstream of the coronagraph which mask the planet. This problem appears in ground-based instruments as well as in space-based telescopes. An active correction of these wavefront errors using a deformable mirror upstream of the coronagraph is mandatory, but conventional adaptive optics are limited by differential path aberrations. Dedicated techniques have to be implemented to measure phase and amplitude errors directly in the science focal plane. First, we propose a method for estimating phase and amplitude aberrations upstream of a coronagraph from the speckle complex field in the downstream focal plane. Then, we present the self-coherent camera, which uses the coherence of light to spatially encode the focal plane speckles and retrieve the associated complex field. This enable us to estimate and compensate in a closed loop for the aberrations upstream of the coronagraph. We conducted numerical simulations as well as laboratory tests using a four-quadrant phase mask and a 32x32 actuator deformable mirror. We demonstrated in the laboratory our capability to achieve a stable closed loop and compensate for phase and amplitude quasi-static aberrations. We determined the best-suited parameter values to implement our technique. Contrasts better than 10-6 between 2 and 12 lambda/D and even 3.10-7 (RMS) between 7 and 11 lambda/D were reached in the focal plane. It seems that the contrast level is mainly limited by amplitude defects created by the surface of the deformable mirror and by the dynamic of the detector. These results are promising for a future application to a dedicated space mission for exoplanet characterization. A number of possible improvements have been identified.
△ Less
Submitted 9 September, 2013; v1 submitted 24 June, 2013;
originally announced June 2013.