-
Vertically Graded FeNi Alloys with Low Dam** and a Sizeable Spin-Orbit Torque
Authors:
Rachel E. Maizel,
Shuang Wu,
Purnima P. Balakrishnan,
Alexander J. Grutter,
Christy J. Kinane,
Andrew J. Caruana,
Prabandha Nakarmi,
Bhuwan Nepal,
David A. Smith,
Youngmin Lim,
Julia L. Jones,
Wyatt C. Thomas,
**g Zhao,
F. Marc Michel,
Tim Mewes,
Satoru Emori
Abstract:
Energy-efficient spintronic devices require a large spin-orbit torque (SOT) and low dam** to excite magnetic precession. In conventional devices with heavy-metal/ferromagnet bilayers, reducing the ferromagnet thickness to $\sim$1 nm enhances the SOT but dramatically increases dam**. Here, we investigate an alternative approach based on a 10 nm thick single-layer ferromagnet to attain both low…
▽ More
Energy-efficient spintronic devices require a large spin-orbit torque (SOT) and low dam** to excite magnetic precession. In conventional devices with heavy-metal/ferromagnet bilayers, reducing the ferromagnet thickness to $\sim$1 nm enhances the SOT but dramatically increases dam**. Here, we investigate an alternative approach based on a 10 nm thick single-layer ferromagnet to attain both low dam** and a sizable SOT. Instead of relying on a single interface, we continuously break the bulk inversion symmetry with a vertical compositional gradient of two ferromagnetic elements: Fe with low intrinsic dam** and Ni with sizable spin-orbit coupling. We find low effective dam** parameters of $α_\mathrm{eff} < 5\times10^{-3}$ in the FeNi alloy films, despite the steep compositional gradients. Moreover, we reveal a sizable anti-dam** SOT efficiency of $θ_\mathrm{AD} \approx 0.05$, even without an intentional compositional gradient. Through depth-resolved x-ray diffraction, we identify a lattice strain gradient as crucial symmetry breaking that underpins the SOT. Our findings provide fresh insights into dam** and SOTs in single-layer ferromagnets for power-efficient spintronic devices.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Markov Chain Aggregation with Error Bounds on Transient Distributions
Authors:
Fabian Michel,
Markus Siegle
Abstract:
We extend the existing theory of formal error bounds for the transient distribution of an aggregated (or lumped) Markov chain when compared to the transient distribution of the original chain, for both discrete- and continuous-time Markov chains. In the discrete-time setting, we bound the stepwise increment of the error, and in the continuous-time setting, we bound the rate at which the error grow…
▽ More
We extend the existing theory of formal error bounds for the transient distribution of an aggregated (or lumped) Markov chain when compared to the transient distribution of the original chain, for both discrete- and continuous-time Markov chains. In the discrete-time setting, we bound the stepwise increment of the error, and in the continuous-time setting, we bound the rate at which the error grows. We then compare these error bounds with relevant concepts in the literature such as exact and ordinary lumpability as well as deflatability and aggregatability. These concepts define stricter than necessary conditions to identify settings in which the aggregation error is zero. We also consider possible algorithms for finding suitable aggregations for which the formal error bounds are low, and we analyse first experiments with these algorithms on different models.
△ Less
Submitted 24 April, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
Pay Attention: a Call to Regulate the Attention Market and Prevent Algorithmic Emotional Governance
Authors:
Franck Michel,
Fabien Gandon
Abstract:
Over the last 70 years, we, humans, have created an economic market where attention is being captured and turned into money thanks to advertising. During the last two decades, leveraging research in psychology, sociology, neuroscience and other domains, Web platforms have brought the process of capturing attention to an unprecedented scale. With the initial commonplace goal of making targeted adve…
▽ More
Over the last 70 years, we, humans, have created an economic market where attention is being captured and turned into money thanks to advertising. During the last two decades, leveraging research in psychology, sociology, neuroscience and other domains, Web platforms have brought the process of capturing attention to an unprecedented scale. With the initial commonplace goal of making targeted advertising more effective, the generalization of attention-capturing techniques and their use of cognitive biases and emotions have multiple detrimental side effects such as polarizing opinions, spreading false information and threatening public health, economies and democracies. This is clearly a case where the Web is not used for the common good and where, in fact, all its users become a vulnerable population. This paper brings together contributions from a wide range of disciplines to analyze current practices and consequences thereof. Through a set of propositions and principles that could be used do drive further works, it calls for actions against these practices competing to capture our attention on the Web, as it would be unsustainable for a civilization to allow attention to be wasted with impunity on a world-wide scale.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Demonstrating Mobile Manipulation in the Wild: A Metrics-Driven Approach
Authors:
Max Bajracharya,
James Borders,
Richard Cheng,
Dan Helmick,
Lukas Kaul,
Dan Kruse,
John Leichty,
Jeremy Ma,
Carolyn Matl,
Frank Michel,
Chavdar Papazov,
Josh Petersen,
Krishna Shankar,
Mark Tjersland
Abstract:
We present our general-purpose mobile manipulation system consisting of a custom robot platform and key algorithms spanning perception and planning. To extensively test the system in the wild and benchmark its performance, we choose a grocery shop** scenario in an actual, unmodified grocery store. We derive key performance metrics from detailed robot log data collected during six week-long field…
▽ More
We present our general-purpose mobile manipulation system consisting of a custom robot platform and key algorithms spanning perception and planning. To extensively test the system in the wild and benchmark its performance, we choose a grocery shop** scenario in an actual, unmodified grocery store. We derive key performance metrics from detailed robot log data collected during six week-long field tests, spread across 18 months. These objective metrics, gained from complex yet repeatable tests, drive the direction of our research efforts and let us continuously improve our system's performance. We find that thorough end-to-end system-level testing of a complex mobile manipulation system can serve as a reality-check for state-of-the-art methods in robotics. This effectively grounds robotics research efforts in real world needs and challenges, which we deem highly useful for the advancement of the field. To this end, we share our key insights and takeaways to inspire and accelerate similar system-level research projects.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
Towards SSH3: how HTTP/3 improves secure shells
Authors:
François Michel,
Olivier Bonaventure
Abstract:
The SSH protocol was designed in the late nineties to cope with the security problems of the telnetf family of protocols. It brought authentication and confidentiality to remote access protocols and is now widely used. Almost 30 years after the initial design, we revisit SSH in the light of recent protocols including QUIC, TLS 1.3 and HTTP/3. We propose, implement and evaluate SSH3, a protocol tha…
▽ More
The SSH protocol was designed in the late nineties to cope with the security problems of the telnetf family of protocols. It brought authentication and confidentiality to remote access protocols and is now widely used. Almost 30 years after the initial design, we revisit SSH in the light of recent protocols including QUIC, TLS 1.3 and HTTP/3. We propose, implement and evaluate SSH3, a protocol that provides an enhanced feature set without compromise compared to SSHv2. SSH3 leverages HTTP-based authorization mechanisms to enable new authentication methods in addition to the classical password-based and private/public key pair authentications. SSH3 users can now configure their remote server to be accessed through the identity provider of their organization or using their Google or Github account. Relying on HTTP/3 and the QUIC protocol, SSH3 offers UDP port forwarding in addition to regular TCP forwarding as well as a faster and secure session establishment. We implement SSH3 over quic-go and evaluate its performance.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Interacting Edge-Reinforced Random Walks
Authors:
Nina Gantert,
Fabian Michel,
Guilherme Reis
Abstract:
We consider the edge-reinforced random walk with multiple (but finitely many) walkers which influence the edge weights together. The walker which moves at a given time step is chosen uniformly at random, or according to a fixed order. First, we consider 2 walkers with linear reinforcement on a line graph comprising three nodes. We show that the edge weights evolve similarly to the setting with a s…
▽ More
We consider the edge-reinforced random walk with multiple (but finitely many) walkers which influence the edge weights together. The walker which moves at a given time step is chosen uniformly at random, or according to a fixed order. First, we consider 2 walkers with linear reinforcement on a line graph comprising three nodes. We show that the edge weights evolve similarly to the setting with a single walker which corresponds to a Pólya urn. In particular, the left edge weight proportion is a martingale at certain stop** times, showing that a (random) limiting proportion exists. We then look at an arbitrary number of walkers on Z with very general reinforcement. We show that in this case, the behaviour is also the same as for a single walker: either all walkers are recurrent or all walkers have finite range. In the particular case of reinforcements of "sequence type", we give a criterion for recurrence.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Variations on Reinforced Random Walks
Authors:
Fabian Michel
Abstract:
This thesis examines edge-reinforced random walks with some modifications to the standard definition. An overview of known results relating to the standard model is given and the proof of recurrence for the standard linearly edge-reinforced random walk on bounded degree graphs with small initial edge weights is repeated. Then, the edge-reinforced random walk with multiple walkers influencing each…
▽ More
This thesis examines edge-reinforced random walks with some modifications to the standard definition. An overview of known results relating to the standard model is given and the proof of recurrence for the standard linearly edge-reinforced random walk on bounded degree graphs with small initial edge weights is repeated. Then, the edge-reinforced random walk with multiple walkers influencing each other is considered. The following new results are shown: on a segment of three nodes, the edge weights resemble a Pólya urn and the fraction of the edge weights divided by the total weight forms a converging martingale. On Z, the behavior is the same as for a single walker - either all walkers have finite range or all walkers are recurrent. Finally, edge-reinforced random walks with a bias in a certain direction are analysed, in particular on Z. It is shown that the bias can introduce a phase transition between recurrence and transience, depending on the strength of the bias, thus fundamentally altering the behavior in comparison to the standard linearly reinforced random walk.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Linearly Edge-Reinforced Random Walks
Authors:
Fabian Michel
Abstract:
This thesis examines linearly edge-reinforced random walks on infinite trees. In particular, recurrence and transience of such random walks on general (fixed) trees as well as on Galton-Watson trees (i.e. random trees) is characterized, and shown to be related to the branching number of these trees and a so-called reinforcement parameter. A phase transition from transience to recurrence takes plac…
▽ More
This thesis examines linearly edge-reinforced random walks on infinite trees. In particular, recurrence and transience of such random walks on general (fixed) trees as well as on Galton-Watson trees (i.e. random trees) is characterized, and shown to be related to the branching number of these trees and a so-called reinforcement parameter. A phase transition from transience to recurrence takes place at a critical parameter value. As a tool, random walks in random environment are introduced and known results are repeated, together with detailed proofs. A result on quasi-independent percolation is proved as a by-product. Finally, for the edge-reinforced random walk on Z, the existence of a kind of stationary / limiting distribution with finite moments is shown.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Geometrically-frustrated interactions drive structural complexity in amorphous calcium carbonate
Authors:
Thomas C. Nicholas,
Adam E. Stones,
Adam Patel,
F. Marc Michel,
Richard J. Reeder,
Dirk G. A. L. Aarts,
Volker L. Deringer,
Andrew L. Goodwin
Abstract:
Amorphous calcium carbonate (ACC) is an important precursor for biomineralisation in marine organisms. Among the key outstanding problems regarding ACC are how best to understand its structure and how to rationalise its metastability as an amorphous phase. Here, we report high-quality atomistic models of ACC generated by using state-of-the-art interatomic potentials to help guide fits to X-ray tot…
▽ More
Amorphous calcium carbonate (ACC) is an important precursor for biomineralisation in marine organisms. Among the key outstanding problems regarding ACC are how best to understand its structure and how to rationalise its metastability as an amorphous phase. Here, we report high-quality atomistic models of ACC generated by using state-of-the-art interatomic potentials to help guide fits to X-ray total scattering data. Exploiting a recently-developed inversion approach, we extract from these models the effective Ca$\boldsymbol\cdots$Ca interaction potential governing ACC formation. This potential contains minima at two competing distances, corresponding to the two different ways in which carbonate ions bridge Ca$^{2+}$-ion pairs. We reveal an unexpected map** to the Lennard-Jones--Gauss (LJG) model normally studied in the context of computational soft-matter, with the empirical LJG parameters for ACC taking values known to promote structural complexity. In this way we show that both the complex structure of ACC and its resilience to crystallisation are actually encoded in the geometrically-frustrated effective interactions between Ca$^{\boldsymbol 2+}$ ions.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
FlEC: Enhancing QUIC with application-tailored reliability mechanisms
Authors:
François Michel,
Alejandro Cohen,
Derya Malak,
Quentin De Coninck,
Muriel Médard,
Olivier Bonaventure
Abstract:
Packet losses are common events in today's networks. They usually result in longer delivery times for application data since retransmissions are the de facto technique to recover from such losses. Retransmissions is a good strategy for many applications but it may lead to poor performance with latency-sensitive applications compared to network coding. Although different types of network coding tec…
▽ More
Packet losses are common events in today's networks. They usually result in longer delivery times for application data since retransmissions are the de facto technique to recover from such losses. Retransmissions is a good strategy for many applications but it may lead to poor performance with latency-sensitive applications compared to network coding. Although different types of network coding techniques have been proposed to reduce the impact of losses by transmitting redundant information, they are not widely used. Some niche applications include their own variant of Forward Erasure Correction (FEC) techniques, but there is no generic protocol that enables many applications to easily use them. We close this gap by designing, implementing and evaluating a new Flexible Erasure Correction (FlEC) framework inside the newly standardized QUIC protocol. With FlEC, an application can easily select the reliability mechanism that meets its requirements, from pure retransmissions to various forms of FEC. We consider three different use cases: $(i)$ bulk data transfer, $(ii)$ file transfers with restricted buffers and $(iii)$ delay-constrained messages. We demonstrate that modern transport protocols such as QUIC may benefit from application knowledge by leveraging this knowledge in FlEC to provide better loss recovery and stream scheduling. Our evaluation over a wide range of scenarios shows that the FlEC framework outperforms the standard QUIC reliability mechanisms from a latency viewpoint.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Role of Dy on the magnetic properties of orthorhombic DyFeO3
Authors:
Banani Biswas,
Veronica F. Michel,
Oystein S. Fjellvag,
Gesara Bimashofer,
Max Dobeli,
Michal Jambor,
Lukas Keller,
Elisabeth Muller,
Victor Ukleev,
Ekaterina V. Pomjakushina,
Deepak Singh,
Uwe Stuhr,
Carlos A. F. Vaz,
Thomas Lippert,
Christof W. Schneider
Abstract:
Orthoferrites are a class of magnetic materials with a magnetic ordering temperature above 600 K, predominant G-type antiferromagnetic ordering of the Fe-spin system and, depending on the rare-earth ion, a spin reorientation of the Fe spin taking place at lower temperatures. DyFeO3 is of particular interest since the spin reorientation is classified as a Morin transition with the transition temper…
▽ More
Orthoferrites are a class of magnetic materials with a magnetic ordering temperature above 600 K, predominant G-type antiferromagnetic ordering of the Fe-spin system and, depending on the rare-earth ion, a spin reorientation of the Fe spin taking place at lower temperatures. DyFeO3 is of particular interest since the spin reorientation is classified as a Morin transition with the transition temperature depending strongly on the Dy-Fe interaction. Here, we report a detailed study of the magnetic and structural properties of microcrystalline DyFeO3 powder and bulk single crystal using neutron diffraction and magnetometry between 1.5 and 450 K. We find that, while the magnetic properties of the single crystal are largely as expected, the powder shows strongly modified magnetic properties, including a modified spin reorientation and a smaller Dy-Fe interaction energy of the order of 10 μeV. Subtle structural differences between powder and single crystal show that they belong to distinct magnetic space groups. In addition, the Dy ordering at 2 K in the powder is incommensurate, with a modulation vector of 0.0173(5) c*, corresponding to a periodicity of ~58 unit cells.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Room-Temperature Intrinsic and Extrinsic Dam** in Polycrystalline Fe Thin Films
Authors:
Shuang Wu,
David A. Smith,
Prabandha Nakarmi,
Anish Rai,
Michael Clavel,
Mantu K. Hudait,
**g Zhao,
F. Marc Michel,
Claudia Mewes,
Tim Mewes,
Satoru Emori
Abstract:
We examine room-temperature magnetic relaxation in polycrystalline Fe films. Out-of-plane ferromagnetic resonance (FMR) measurements reveal Gilbert dam** parameters of $\approx$ 0.0024 for Fe films with thicknesses of 4-25 nm, regardless of their microstructural properties. The remarkable invariance with film microstructure strongly suggests that intrinsic Gilbert dam** in polycrystalline meta…
▽ More
We examine room-temperature magnetic relaxation in polycrystalline Fe films. Out-of-plane ferromagnetic resonance (FMR) measurements reveal Gilbert dam** parameters of $\approx$ 0.0024 for Fe films with thicknesses of 4-25 nm, regardless of their microstructural properties. The remarkable invariance with film microstructure strongly suggests that intrinsic Gilbert dam** in polycrystalline metals at room temperature is a local property of nanoscale crystal grains, with limited impact from grain boundaries and film roughness. By contrast, the in-plane FMR linewidths of the Fe films exhibit distinct nonlinear frequency dependences, indicating the presence of strong extrinsic dam**. To fit our in-plane FMR data, we have used a grain-to-grain two-magnon scattering model with two types of correlation functions aimed at describing the spatial distribution of inhomogeneities in the film. However, neither of the two correlation functions is able to reproduce the experimental data quantitatively with physically reasonable parameters. Our findings advance the fundamental understanding of intrinsic Gilbert dam** in structurally disordered films, while demonstrating the need for a deeper examination of how microstructural disorder governs extrinsic dam**.
△ Less
Submitted 23 February, 2022; v1 submitted 8 September, 2021;
originally announced September 2021.
-
ICLR 2021 Challenge for Computational Geometry & Topology: Design and Results
Authors:
Nina Miolane,
Matteo Caorsi,
Umberto Lupo,
Marius Guerard,
Nicolas Guigui,
Johan Mathe,
Yann Cabanes,
Wojciech Reise,
Thomas Davies,
António Leitão,
Somesh Mohapatra,
Saiteja Utpala,
Shailja Shailja,
Gabriele Corso,
Guoxi Liu,
Federico Iuricich,
Andrei Manolache,
Mihaela Nistor,
Matei Bejan,
Armand Mihai Nicolicioiu,
Bogdan-Alexandru Luchian,
Mihai-Sorin Stupariu,
Florent Michel,
Khanh Dao Duc,
Bilal Abdulrahman
, et al. (8 additional authors not shown)
Abstract:
This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative contributions to the fields of computational geometry and topology through the open-source repositories Geomstats and Giotto-TDA. The challenge attracted 16 teams…
▽ More
This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative contributions to the fields of computational geometry and topology through the open-source repositories Geomstats and Giotto-TDA. The challenge attracted 16 teams in its two month duration. This paper describes the design of the challenge and summarizes its main findings.
△ Less
Submitted 25 August, 2021; v1 submitted 22 August, 2021;
originally announced August 2021.
-
Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner
Authors:
Franz Baader,
Patrick Koopmann,
Friedrich Michel,
Anni-Yasmin Turhan,
Benjamin Zarrieß
Abstract:
The inexpressive Description Logic (DL) $\mathcal{FL}_0$, which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out that reasoning in $\mathcal{FL}_0$ w.r.t. general TBoxes is ExpTime-complete, i.e., as hard as in the considerably more expressive logic $\mathcal{ALC}$. In this paper, we rehabilitate $\mathcal{FL}_0$ by presenting a d…
▽ More
The inexpressive Description Logic (DL) $\mathcal{FL}_0$, which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out that reasoning in $\mathcal{FL}_0$ w.r.t. general TBoxes is ExpTime-complete, i.e., as hard as in the considerably more expressive logic $\mathcal{ALC}$. In this paper, we rehabilitate $\mathcal{FL}_0$ by presenting a dedicated subsumption algorithm for $\mathcal{FL}_0$, which is much simpler than the tableau-based algorithms employed by highly optimized DL reasoners. Our experiments show that the performance of our novel algorithm, as prototypically implemented in our $\mathcal{FL}_o$wer reasoner, compares very well with that of the highly optimized reasoners. $\mathcal{FL}_o$wer can also deal with ontologies written in the extension $\mathcal{FL}_{\bot}$ of $\mathcal{FL}_0$ with the top and the bottom concept by employing a polynomial-time reduction, shown in this paper, which eliminates top and bottom. We also investigate the complexity of reasoning in DLs related to the Horn-fragments of $\mathcal{FL}_0$ and $\mathcal{FL}_{\bot}$.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
Interplay between Ferroelectricity and Metallicity in BaTiO$_3$
Authors:
Veronica F. Michel,
Tobias Esswein,
Nicola A. Spaldin
Abstract:
We explore the interplay between ferroelectricity and metallicity, which are generally considered to be contra-indicated properties, in the prototypical ferroelectric barium titanate, BaTiO$_3$. Using first-principles density functional theory, we calculate the effects of electron and hole do**, first by introducing a hypothetical background charge, and second through the introduction of explici…
▽ More
We explore the interplay between ferroelectricity and metallicity, which are generally considered to be contra-indicated properties, in the prototypical ferroelectric barium titanate, BaTiO$_3$. Using first-principles density functional theory, we calculate the effects of electron and hole do**, first by introducing a hypothetical background charge, and second through the introduction of explicit impurities (La, Nb and V for electron do**, and K, Al and Sc for hole do**). We find that, apart from a surprising increase in polarization at small hole concentrations, both charge-carrier types decrease the tendency towards ferroelectricity, with the strength of the polarization suppression, which is different for electrons and holes, determined by the detailed structure of the conduction and valence bands. Do** with impurity atoms increases the complexity and allows us to identify three factors that influence the ferroelectricity: structural effects arising largely from the size of the impurity ion, electronic effects from the introduction of charge carriers, and changes in unit-cell volume and shape. A competing balance between these contributions can result in an increase or decrease in ferroelectricity with do**.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Optical Convolutional Neural Networks -- Combining Silicon Photonics and Fourier Optics for Computer Vision
Authors:
Edward Cottle,
Florent Michel,
Joseph Wilson,
Nick New,
Iman Kundu
Abstract:
The Convolutional Neural Network (CNN) is a state-of-the-art architecture for a wide range of deep learning problems, the quintessential example of which is computer vision. CNNs principally employ the convolution operation, which can be accelerated using the Fourier transform. In this paper, we present an optical hardware accelerator that combines silicon photonics and free-space optics, leveragi…
▽ More
The Convolutional Neural Network (CNN) is a state-of-the-art architecture for a wide range of deep learning problems, the quintessential example of which is computer vision. CNNs principally employ the convolution operation, which can be accelerated using the Fourier transform. In this paper, we present an optical hardware accelerator that combines silicon photonics and free-space optics, leveraging the use of the optical Fourier transform within several CNN architectures. The hardware presented is a proof of concept, demonstrating that this technology can be applied to artificial intelligence problems with a large efficiency boost with respect to canonical methods.
△ Less
Submitted 19 December, 2020;
originally announced March 2021.
-
Surface Diffusion Control Enables Tailored Aspect Ratio Nanostructures in Area-Selective Atomic Layer Deposition
Authors:
Philip Klement,
Daniel Anders,
Lukas Gümbel,
Michele Bastianello,
Fabian Michel,
Jörg Schörmann,
Matthias T. Elm,
Christian Heiliger,
Sangam Chatterjee
Abstract:
Area-selective atomic layer deposition is a key technology for modern microelectronics as it eliminates alignment errors inherent to conventional approaches by enabling material deposition only in specific areas. Typically, the selectivity originates from surface modifications of the substrate that allow or block precursor adsorption. The control of the deposition process currently remains a major…
▽ More
Area-selective atomic layer deposition is a key technology for modern microelectronics as it eliminates alignment errors inherent to conventional approaches by enabling material deposition only in specific areas. Typically, the selectivity originates from surface modifications of the substrate that allow or block precursor adsorption. The control of the deposition process currently remains a major challenge as the selectivity of the no-growth areas is lost quickly. Here, we show that surface modifications of the substrate strongly manipulate the surface diffusion. The selective deposition of TiO$_2$ on poly (methyl methacrylate) and SiO$_2$ yields localized nanostructures with tailored aspect ratios. Controlling the surface diffusion allows to tune such nanostructures as it boosts the growth rate at the interface of the growth and no-growth areas. Kinetic Monte-Carlo calculations reveal that species move from high to low diffusion areas. Further, we identify the catalytic activity of TiCl$_4$ during the formation of carboxylic acid on poly (methyl methacrylate) as the reaction mechanism responsible for the loss of selectivity, and show that process optimization leads to higher selectivity. Our work enables the precise control of area-selective atomic layer deposition on the nanoscale, and offers new strategies in area-selective deposition processes by exploiting surface diffusion effects.
△ Less
Submitted 8 December, 2020;
originally announced December 2020.
-
Bringing Network Coding into SDN: A Case-study for Highly Meshed Heterogeneous Communications
Authors:
Alejandro Cohen,
Homa Esfahanizadeh,
Bruno Sousa,
João P. Vilela,
Miguel Luís,
Duarte Raposo,
Francois Michel,
Susana Sargento,
Muriel Médard
Abstract:
Modern communications have moved away from point-to-point models to increasingly heterogeneous network models. In this article, we propose a novel controller-based protocol to deploy adaptive causal network coding in heterogeneous and highly-meshed communication networks. Specifically, we consider using Software-Defined-Network (SDN) as the main controller. We first present an architecture for the…
▽ More
Modern communications have moved away from point-to-point models to increasingly heterogeneous network models. In this article, we propose a novel controller-based protocol to deploy adaptive causal network coding in heterogeneous and highly-meshed communication networks. Specifically, we consider using Software-Defined-Network (SDN) as the main controller. We first present an architecture for the highly-meshed heterogeneous multi-source multi-destination networks that represents the practical communication networks encountered in the fifth generation of wireless networks (5G) and beyond. Next, we present a promising solution to deploy network coding over the new architecture. In fact, we investigate how to generalize adaptive and causal random linear network coding (AC-RLNC), proposed for multipath multi-hop (MP-MH) communication channels, to a protocol for the new multi-source multi-destination network architecture using controller. To this end, we present a modularized implementation of AC-RLNC solution where the modules work together in a distributed fashion and perform the AC-RLNC technology. We also present a new controller-based setting through which the network coding modules can communicate and can attain their required information. Finally, we briefly discuss how the proposed architecture and network coding solution provide a good opportunity for future technologies, e.g., distributed coded computation and storage, mmWave communication environments, and innovative and efficient security features.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
BOP Challenge 2020 on 6D Object Localization
Authors:
Tomas Hodan,
Martin Sundermeyer,
Bertram Drost,
Yann Labbe,
Eric Brachmann,
Frank Michel,
Carsten Rother,
Jiri Matas
Abstract:
This paper presents the evaluation methodology, datasets, and results of the BOP Challenge 2020, the third in a series of public competitions organized with the goal to capture the status quo in the field of 6D object pose estimation from an RGB-D image. In 2020, to reduce the domain gap between synthetic training and real test RGB images, the participants were provided 350K photorealistic trainin…
▽ More
This paper presents the evaluation methodology, datasets, and results of the BOP Challenge 2020, the third in a series of public competitions organized with the goal to capture the status quo in the field of 6D object pose estimation from an RGB-D image. In 2020, to reduce the domain gap between synthetic training and real test RGB images, the participants were provided 350K photorealistic training images generated by BlenderProc4BOP, a new open-source and light-weight physically-based renderer (PBR) and procedural data generator. Methods based on deep neural networks have finally caught up with methods based on point pair features, which were dominating previous editions of the challenge. Although the top-performing methods rely on RGB-D image channels, strong results were achieved when only RGB channels were used at both training and test time - out of the 26 evaluated methods, the third method was trained on RGB channels of PBR and real images, while the fifth on RGB channels of PBR images only. Strong data augmentation was identified as a key component of the top-performing CosyPose method, and the photorealism of PBR images was demonstrated effective despite the augmentation. The online evaluation system stays open and is available on the project website: bop.felk.cvut.cz.
△ Less
Submitted 13 October, 2020; v1 submitted 15 September, 2020;
originally announced September 2020.
-
The topology of the normalization of complex surface germs
Authors:
Françoise Michel
Abstract:
If (X,0) is a complex surface germ with a non-isolated singular locus we describe its singular link L of (X,0) and we show that the topology of L determines the topology of the normalization.
If (X,0) is a complex surface germ with a non-isolated singular locus we describe its singular link L of (X,0) and we show that the topology of L determines the topology of the normalization.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Parametrized Path Approach to Vacuum Decay
Authors:
Florent Michel
Abstract:
We develop a new real-time approach to vacuum decay based on a reduction to a finite number of degrees of freedom. The dynamics is followed by solving a generalized Schrödinger equation. We first apply this method to a real scalar field in Minkowski space and compare the decay rate with that obtained by the instanton approach. The main difference is in the early-time dynamics, where the decay is f…
▽ More
We develop a new real-time approach to vacuum decay based on a reduction to a finite number of degrees of freedom. The dynamics is followed by solving a generalized Schrödinger equation. We first apply this method to a real scalar field in Minkowski space and compare the decay rate with that obtained by the instanton approach. The main difference is in the early-time dynamics, where the decay is faster due to the tail of the wave function. We then apply it to a cold atom model recently proposed to simulate vacuum decay experimentally. This approach will be extended to include gravity in a future work.
△ Less
Submitted 22 February, 2020; v1 submitted 28 November, 2019;
originally announced November 2019.
-
QUIC-FEC: Bringing the benefits of Forward Erasure Correction to QUIC
Authors:
François Michel,
Quentin De Coninck,
Olivier Bonaventure
Abstract:
Originally implemented by Google, QUIC gathers a growing interest by providing, on top of UDP, the same service as the classical TCP/TLS/HTTP/2 stack. The IETF will finalise the QUIC specification in 2019.
A key feature of QUIC is that almost all its packets, including most of its headers, are fully encrypted. This prevents eavesdrop** and interferences caused by middleboxes. Thanks to this fe…
▽ More
Originally implemented by Google, QUIC gathers a growing interest by providing, on top of UDP, the same service as the classical TCP/TLS/HTTP/2 stack. The IETF will finalise the QUIC specification in 2019.
A key feature of QUIC is that almost all its packets, including most of its headers, are fully encrypted. This prevents eavesdrop** and interferences caused by middleboxes. Thanks to this feature and its clean design, QUIC is easier to extend than TCP. In this paper, we revisit the reliable transmission mechanisms that are included in QUIC. More specifically, we design, implement and evaluate Forward Erasure Correction (FEC) extensions to QUIC. These extensions are mainly intended for high-delays and lossy communications such as In-Flight Communications. Our design includes a generic FEC frame and our implementation supports the XOR, Reed-Solomon and Convolutional RLC error-correcting codes. We also conservatively avoid hindering the loss-based congestion signal by distinguishing the packets that have been received from the packets that have been recovered by the FEC. We evaluate its performance by applying an experimental design covering a wide range of delay and packet loss conditions with reproducible experiments. These confirm that our modular design allows the protocol to adapt to the network conditions. For long data transfers or when the loss rate and delay are small, the FEC overhead negatively impacts the download completion time. However, with high packet loss rates and long delays or smaller files, FEC allows drastically reducing the download completion time by avoiding costly retransmission timeouts. These results show that there is a need to use FEC adaptively to the network conditions.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
Scaling Networking Education with Open Educational Resources
Authors:
Olivier Bonaventure,
Quentin De Coninck,
Fabien Duchene,
Mathieu Jadin,
Francois Michel,
Maxime Piraux,
Chantal Poncin,
Olivier Tilmans
Abstract:
To reflect the key role played in our society by the network technologies, the networking courses have moved to Bachelor degrees where they are taught to large classes. We report our experience in develo** an open-source ebook that targets those introductory networking courses and a series of open educational resources that complement the ebook.
To reflect the key role played in our society by the network technologies, the networking courses have moved to Bachelor degrees where they are taught to large classes. We report our experience in develo** an open-source ebook that targets those introductory networking courses and a series of open educational resources that complement the ebook.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Graph Data on the Web: extend the pivot, don't reinvent the wheel
Authors:
Fabien Gandon,
Franck Michel,
Olivier Corby,
Michel Buffa,
Andrea Tettamanzi,
Catherine Faron Zucker,
Elena Cabrio,
Serena Villata
Abstract:
This article is a collective position paper from the Wimmics research team, expressing our vision of how Web graph data technologies should evolve in the future in order to ensure a high-level of interoperability between the many types of applications that produce and consume graph data. Wimmics stands for Web-Instrumented Man-Machine Interactions, Communities, and Semantics. We are a joint resear…
▽ More
This article is a collective position paper from the Wimmics research team, expressing our vision of how Web graph data technologies should evolve in the future in order to ensure a high-level of interoperability between the many types of applications that produce and consume graph data. Wimmics stands for Web-Instrumented Man-Machine Interactions, Communities, and Semantics. We are a joint research team between INRIA Sophia Antipolis-M{é}diterran{é}e and I3S (CNRS and Universit{é} C{ô}te d'Azur). Our challenge is to bridge formal semantics and social semantics on the web. Our research areas are graph-oriented knowledge representation, reasoning and operationalization to model and support actors, actions and interactions in web-based epistemic communities. The application of our research is supporting and fostering interactions in online communities and management of their resources. In this position paper, we emphasize the need to extend the semantic Web standard stack to address and fulfill new graph data needs, as well as the importance of remaining compatible with existing recommendations, in particular the RDF stack, to avoid the painful duplication of models, languages, frameworks, etc. The following sections group motivations for different directions of work and collect reasons for the creation of a working group on RDF 2.0 and other recommendations of the RDF family.
△ Less
Submitted 11 March, 2019;
originally announced March 2019.
-
Simulating seeded vacuum decay in a cold atom system
Authors:
Thomas P. Billam,
Ruth Gregory,
Florent Michel,
Ian G. Moss
Abstract:
We propose to test the concept of seeded vacuum decay in cosmology using an analogue gravity Bose-Einstein condensate system. The role of the nucleation seed is played by a vortex within the condensate. We present two complementary theoretical analyses that demonstrate seeded decay is the dominant decay mechanism of the false vacuum. First, we adapt the standard instanton methods to the Gross-Pita…
▽ More
We propose to test the concept of seeded vacuum decay in cosmology using an analogue gravity Bose-Einstein condensate system. The role of the nucleation seed is played by a vortex within the condensate. We present two complementary theoretical analyses that demonstrate seeded decay is the dominant decay mechanism of the false vacuum. First, we adapt the standard instanton methods to the Gross-Pitaevskii equation. Second, we use the truncated Wigner method to study vacuum decay.
△ Less
Submitted 1 April, 2019; v1 submitted 22 November, 2018;
originally announced November 2018.
-
A Summary of the 4th International Workshop on Recovering 6D Object Pose
Authors:
Tomas Hodan,
Rigas Kouskouridas,
Tae-Kyun Kim,
Federico Tombari,
Kostas Bekris,
Bertram Drost,
Thibault Groueix,
Krzysztof Walas,
Vincent Lepetit,
Ales Leonardis,
Carsten Steger,
Frank Michel,
Caner Sahin,
Carsten Rother,
Jiri Matas
Abstract:
This document summarizes the 4th International Workshop on Recovering 6D Object Pose which was organized in conjunction with ECCV 2018 in Munich. The workshop featured four invited talks, oral and poster presentations of accepted workshop papers, and an introduction of the BOP benchmark for 6D object pose estimation. The workshop was attended by 100+ people working on relevant topics in both acade…
▽ More
This document summarizes the 4th International Workshop on Recovering 6D Object Pose which was organized in conjunction with ECCV 2018 in Munich. The workshop featured four invited talks, oral and poster presentations of accepted workshop papers, and an introduction of the BOP benchmark for 6D object pose estimation. The workshop was attended by 100+ people working on relevant topics in both academia and industry who shared up-to-date advances and discussed open problems.
△ Less
Submitted 8 October, 2018;
originally announced October 2018.
-
Adding Forward Erasure Correction to QUIC
Authors:
François Michel,
Quentin De Coninck,
Olivier Bonaventure
Abstract:
Initially implemented by Google in the Chrome browser, QUIC gathers a growing interest. The first stable specification for QUIC v1 is expected by the end of 2018. It will deliver the same features as TCP+TLS+HTTP/2.
The flexible design adopted by the IETF for QUIC enables this new protocol to support a variety of different use cases. In this paper, we revisit the reliable transmission mechanisms…
▽ More
Initially implemented by Google in the Chrome browser, QUIC gathers a growing interest. The first stable specification for QUIC v1 is expected by the end of 2018. It will deliver the same features as TCP+TLS+HTTP/2.
The flexible design adopted by the IETF for QUIC enables this new protocol to support a variety of different use cases. In this paper, we revisit the reliable transmission mechanisms that are included in QUIC. More specifically, we design, implement and evaluate Forward Erasure Correction extensions to QUIC. Our design supports a generic FEC frame and our implementation includes the XOR, Reed-Solomon and Convolutional RLC schemes. We evaluate its performance by applying an experimental design with a wide range of packet loss conditions. In single-path scenarios, RLC delivers more data than the two other schemes with short loss bursts. Reed-Solomon outperforms RLC when the bursts are longer. We also apply FEC to Multipath QUIC with a new packet scheduler that helps to recover more lost packets.
△ Less
Submitted 13 September, 2018;
originally announced September 2018.
-
BOP: Benchmark for 6D Object Pose Estimation
Authors:
Tomas Hodan,
Frank Michel,
Eric Brachmann,
Wadim Kehl,
Anders Glent Buch,
Dirk Kraft,
Bertram Drost,
Joel Vidal,
Stephan Ihrke,
Xenophon Zabulis,
Caner Sahin,
Fabian Manhardt,
Federico Tombari,
Tae-Kyun Kim,
Jiri Matas,
Carsten Rother
Abstract:
We propose a benchmark for 6D pose estimation of a rigid object from a single RGB-D input image. The training data consists of a texture-mapped 3D object model or images of the object in known 6D poses. The benchmark comprises of: i) eight datasets in a unified format that cover different practical scenarios, including two new datasets focusing on varying lighting conditions, ii) an evaluation met…
▽ More
We propose a benchmark for 6D pose estimation of a rigid object from a single RGB-D input image. The training data consists of a texture-mapped 3D object model or images of the object in known 6D poses. The benchmark comprises of: i) eight datasets in a unified format that cover different practical scenarios, including two new datasets focusing on varying lighting conditions, ii) an evaluation methodology with a pose-error function that deals with pose ambiguities, iii) a comprehensive evaluation of 15 diverse recent methods that captures the status quo of the field, and iv) an online evaluation system that is open for continuous submission of new results. The evaluation shows that methods based on point-pair features currently perform best, outperforming template matching methods, learning-based methods and methods based on 3D local features. The project website is available at bop.felk.cvut.cz.
△ Less
Submitted 24 August, 2018;
originally announced August 2018.
-
Negative modes of Coleman-de Luccia and black hole bubbles
Authors:
Ruth Gregory,
Katie M. Marshall,
Florent Michel,
Ian G. Moss
Abstract:
We study the negative modes of gravitational instantons representing vacuum decay in asymptotically flat space-time. We consider two different vacuum decay scenarios: the Coleman-de Luccia $\mathrm{O}(4)$-symmetric bubble, and $\mathrm{O}(3) \times \mathbb{R}$ instantons with a static black hole. In spite of the similarities between the models, we find qualitatively different behaviours. In the…
▽ More
We study the negative modes of gravitational instantons representing vacuum decay in asymptotically flat space-time. We consider two different vacuum decay scenarios: the Coleman-de Luccia $\mathrm{O}(4)$-symmetric bubble, and $\mathrm{O}(3) \times \mathbb{R}$ instantons with a static black hole. In spite of the similarities between the models, we find qualitatively different behaviours. In the $\mathrm{O}(4)$-symmetric case, the number of negative modes is known to be either one or infinite, depending on the sign of the kinetic term in the quadratic action. In contrast, solving the mode equation numerically for the static black hole instanton, we find only one negative mode with the kinetic term always positive outside the event horizon. The absence of additional negative modes supports the interpretation of these solutions as giving the tunnelling rate for false vacuum decay seeded by microscopic black holes.
△ Less
Submitted 25 April, 2019; v1 submitted 7 August, 2018;
originally announced August 2018.
-
$c$ at the belfry
Authors:
Claude Semay,
Francesco Lo Bue,
Soizic Mélin,
Francis Michel
Abstract:
In 1849, Hippolyte Fizeau determined the speed of light in a famous experiment. The idea was to measure the time taken for a pulse of light to travel between an intense light source and a mirror about 8 km away. A rotating cogwheel with 720 notches, that could be rotated at a variable speed, was used to chop the light beam and determine the flight time. In 2017, physicists and technicians of the U…
▽ More
In 1849, Hippolyte Fizeau determined the speed of light in a famous experiment. The idea was to measure the time taken for a pulse of light to travel between an intense light source and a mirror about 8 km away. A rotating cogwheel with 720 notches, that could be rotated at a variable speed, was used to chop the light beam and determine the flight time. In 2017, physicists and technicians of the University of Mons in Belgium reproduced the experiment with modern devices to allow members of the public to measure the speed of light themselves. The light source used was a low power laser, and the cogwheel was replaced by an electrically driven chopper, but the general spirit of Fizeau's experiment was preserved. The exhibition was organised in the belfry of Mons, a baroque-style building classified as a UNESCO World Heritage site. The solutions found for the main problems encountered are presented here to help colleagues intending to reproduce the experiment.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Relativistic collapse of axion stars
Authors:
Florent Michel,
Ian G. Moss
Abstract:
We study the gravitational collapse of an axion field in null coordinates, assuming spherical symmetry. Compared with previous studies, we use a simpler numerical scheme which can run, for relevant parameters, in a few minutes or less on a desktop computer. We use it to accurately determine the domains of parameter space in which the axion field forms a black hole, an axion star or a relativistic…
▽ More
We study the gravitational collapse of an axion field in null coordinates, assuming spherical symmetry. Compared with previous studies, we use a simpler numerical scheme which can run, for relevant parameters, in a few minutes or less on a desktop computer. We use it to accurately determine the domains of parameter space in which the axion field forms a black hole, an axion star or a relativistic Bosenova.
△ Less
Submitted 27 February, 2018;
originally announced February 2018.
-
Nonlinearities induced by parametric resonance in effectively 1D atomic Bose condensates
Authors:
Scott Robertson,
Florent Michel,
Renaud Parentani
Abstract:
We present a numerical study of the dynamical effects following a sudden change of the transverse trap** frequency in an elongated Bose-Einstein condensate, which induces periodic oscillations of the radial density. At early times, we observe an exponential growth of the number of resonant longitudinal phonons, in agreement with the predictions of the Bogoliubov-de Gennes treatment. We then obse…
▽ More
We present a numerical study of the dynamical effects following a sudden change of the transverse trap** frequency in an elongated Bose-Einstein condensate, which induces periodic oscillations of the radial density. At early times, we observe an exponential growth of the number of resonant longitudinal phonons, in agreement with the predictions of the Bogoliubov-de Gennes treatment. We then observe an ordered sequence of phenomena induced by the nonlinearities of the system. The first is a loss of the nonseparability of the resonant phonon pairs. This is followed by the saturation of the exponential growth and a strong depletion of condensed atoms. Notably, these effects are well-described by effective 1D dynamics, and are hardly affected by the dam** of the radial oscillations. Finally, the atomic spectrum becomes broad, featureless and almost incoherent, in agreement with experimental results. The link between this sequence of events and the preheating scenario in inflationary cosmology is striking, as is the similarity of techniques used to study them.
△ Less
Submitted 3 September, 2018; v1 submitted 2 February, 2018;
originally announced February 2018.
-
Gravity waves on modulated flows downstream from an obstacle: The transcritical case
Authors:
Florent Michel,
Renaud Parentani,
Scott Robertson
Abstract:
Periodic spatial variations of some parameter arise in analogue gravity experiments aimed at detecting the analogue version of the Hawking effect in a white hole flow. Having the same spatial periodicity as low-frequency dispersive modes, they can induce resonances which significantly modify the scattering coefficients. This has been shown numerically in a previous work [X. Busch et al., Phys. Rev…
▽ More
Periodic spatial variations of some parameter arise in analogue gravity experiments aimed at detecting the analogue version of the Hawking effect in a white hole flow. Having the same spatial periodicity as low-frequency dispersive modes, they can induce resonances which significantly modify the scattering coefficients. This has been shown numerically in a previous work [X. Busch et al., Phys. Rev. D 90, 105005 (2014)], but the precise dependence of the low-frequency effective temperature on the amplitude and length of the undulation remains elusive. In this article, using the Korteweg-de Vries equation, we explicitly compute this dependence in the small-amplitude limit and find three regimes of "short", "intermediate" and "long" undulations showing different scaling laws. In the latter, the effective temperature is completely determined by the properties of the undulation, independently of the surface gravity of the analogue white hole flow. These results are extended to a more realistic hydrodynamical model in an appendix.
△ Less
Submitted 20 April, 2018; v1 submitted 11 January, 2018;
originally announced January 2018.
-
Excited cosmic strings with superconducting currents
Authors:
Betti Hartmann,
Florent Michel,
Patrick Peter
Abstract:
We present a detailed analysis of {\it excited} cosmic string solutions which possess superconducting currents. These currents can be excited inside the string core, and - if the condensate is large enough - can lead to the excitations of the Higgs field. Next to the case with global unbroken symmetry, we discuss also the effects of the gauging of this symmetry and show that excited condensates pe…
▽ More
We present a detailed analysis of {\it excited} cosmic string solutions which possess superconducting currents. These currents can be excited inside the string core, and - if the condensate is large enough - can lead to the excitations of the Higgs field. Next to the case with global unbroken symmetry, we discuss also the effects of the gauging of this symmetry and show that excited condensates persist when coupled to an electromagnetic field. The space-time of such strings is also constructed by solving the Einstein equations numerically and we show how the local scalar curvature is modified by the excitation. We consider the relevance of our results on the cosmic string network evolution as well as observations of primordial gravitational waves and cosmic rays.
△ Less
Submitted 6 December, 2017; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Nonlinear and quantum effects in analogue gravity
Authors:
Florent Michel
Abstract:
The present thesis deals with some properties of classical and quantum scalar fields in an inhomogeneous and/or time-dependent background, focusing on models where the latter can be described as a curved space-time with an event horizon. While naturally formulated in a gravitational context, such models extend to many physical systems with an effective Lorentz invariance at low energy. We shall se…
▽ More
The present thesis deals with some properties of classical and quantum scalar fields in an inhomogeneous and/or time-dependent background, focusing on models where the latter can be described as a curved space-time with an event horizon. While naturally formulated in a gravitational context, such models extend to many physical systems with an effective Lorentz invariance at low energy. We shall see how this effective symmetry allows one to relate the behavior of perturbations in these systems to black-hole physics, what are its limitations, and in which sense results thus obtained are "analogous" to their general relativistic counterparts. The first chapter serves as a general introduction. A few notions from Einstein's theory of gravity are introduced and a derivation of Hawking radiation is sketched. The correspondence with low-energy systems is then explained through three important examples. The next four chapters each details one of the works completed during this thesis, updated and slightly reorganized to account for new developments which occurred after their publication. The other articles I contributed to are summarized in the last chapter, before the general conclusion.
△ Less
Submitted 5 August, 2017;
originally announced August 2017.
-
On the growth behaviour of Hironaka quotients
Authors:
H. Maugendre,
F. Michel
Abstract:
We consider a finite analytic morphism $φ= (f,g) : (X,p)\to (\C^2,0)$ where $(X,p)$ is a complex analytic normal surface germ and $f$ and $g$ are complex analytic function germs. Let $π: (Y,E_{Y})\to (X,p)$ be a good resolution of $φ$ with exceptional divisor $E_{Y}=π^{-1}(p)$. We denote $G(Y)$ the dual graph of the resolution $π$. We study the behaviour of the Hironaka quotients of $(f,g)$ associ…
▽ More
We consider a finite analytic morphism $φ= (f,g) : (X,p)\to (\C^2,0)$ where $(X,p)$ is a complex analytic normal surface germ and $f$ and $g$ are complex analytic function germs. Let $π: (Y,E_{Y})\to (X,p)$ be a good resolution of $φ$ with exceptional divisor $E_{Y}=π^{-1}(p)$. We denote $G(Y)$ the dual graph of the resolution $π$. We study the behaviour of the Hironaka quotients of $(f,g)$ associated to the vertices of $G(Y)$. We show that there exists maximal oriented arcs in $G(Y)$ along which the Hironaka quotients of $(f,g)$ strictly increase and they are constant on the connected components of the closure of the complement of the union of the maximal oriented arcs.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
Assessing degrees of entanglement of phonon states in atomic Bose gases through the measurement of commuting observables
Authors:
Scott Robertson,
Florent Michel,
Renaud Parentani
Abstract:
We show that measuring commuting observables can be sufficient to assess that a bipartite state is entangled according to either nonseparability or the stronger criterion of 'steerability'. Indeed, the measurement of a single observable might reveal the strength of the interferences between the two subsystems, as if an interferometer were used. For definiteness we focus on the two-point correlatio…
▽ More
We show that measuring commuting observables can be sufficient to assess that a bipartite state is entangled according to either nonseparability or the stronger criterion of 'steerability'. Indeed, the measurement of a single observable might reveal the strength of the interferences between the two subsystems, as if an interferometer were used. For definiteness we focus on the two-point correlation function of density fluctuations obtained by in situ measurements in homogeneous one-dimensional cold atomic Bose gases. We then compare this situation to that found in transonic stationary flows mimicking a black hole geometry where correlated phonon pairs are emitted on either side of the sonic horizon by the analogue Hawking effect. We briefly apply our considerations to two recent experiments.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
PoseAgent: Budget-Constrained 6D Object Pose Estimation via Reinforcement Learning
Authors:
Alexander Krull,
Eric Brachmann,
Sebastian Nowozin,
Frank Michel,
Jamie Shotton,
Carsten Rother
Abstract:
State-of-the-art computer vision algorithms often achieve efficiency by making discrete choices about which hypotheses to explore next. This allows allocation of computational resources to promising candidates, however, such decisions are non-differentiable. As a result, these algorithms are hard to train in an end-to-end fashion. In this work we propose to learn an efficient algorithm for the tas…
▽ More
State-of-the-art computer vision algorithms often achieve efficiency by making discrete choices about which hypotheses to explore next. This allows allocation of computational resources to promising candidates, however, such decisions are non-differentiable. As a result, these algorithms are hard to train in an end-to-end fashion. In this work we propose to learn an efficient algorithm for the task of 6D object pose estimation. Our system optimizes the parameters of an existing state-of-the art pose estimation system using reinforcement learning, where the pose estimation system now becomes the stochastic policy, parametrized by a CNN. Additionally, we present an efficient training algorithm that dramatically reduces computation time. We show empirically that our learned pose estimation procedure makes better use of limited resources and improves upon the state-of-the-art on a challenging dataset. Our approach enables differentiable end-to-end training of complex algorithmic pipelines and learns to make optimal use of a given computational budget.
△ Less
Submitted 11 April, 2017; v1 submitted 12 December, 2016;
originally announced December 2016.
-
Global Hypothesis Generation for 6D Object Pose Estimation
Authors:
Frank Michel,
Alexander Kirillov,
Eric Brachmann,
Alexander Krull,
Stefan Gumhold,
Bogdan Savchynskyy,
Carsten Rother
Abstract:
This paper addresses the task of estimating the 6D pose of a known 3D object from a single RGB-D image. Most modern approaches solve this task in three steps: i) Compute local features; ii) Generate a pool of pose-hypotheses; iii) Select and refine a pose from the pool. This work focuses on the second step. While all existing approaches generate the hypotheses pool via local reasoning, e.g. RANSAC…
▽ More
This paper addresses the task of estimating the 6D pose of a known 3D object from a single RGB-D image. Most modern approaches solve this task in three steps: i) Compute local features; ii) Generate a pool of pose-hypotheses; iii) Select and refine a pose from the pool. This work focuses on the second step. While all existing approaches generate the hypotheses pool via local reasoning, e.g. RANSAC or Hough-voting, we are the first to show that global reasoning is beneficial at this stage. In particular, we formulate a novel fully-connected Conditional Random Field (CRF) that outputs a very small number of pose-hypotheses. Despite the potential functions of the CRF being non-Gaussian, we give a new and efficient two-step optimization procedure, with some guarantees for optimality. We utilize our global hypotheses generation procedure to produce results that exceed state-of-the-art for the challenging "Occluded Object Dataset".
△ Less
Submitted 2 January, 2017; v1 submitted 7 December, 2016;
originally announced December 2016.
-
DSAC - Differentiable RANSAC for Camera Localization
Authors:
Eric Brachmann,
Alexander Krull,
Sebastian Nowozin,
Jamie Shotton,
Frank Michel,
Stefan Gumhold,
Carsten Rother
Abstract:
RANSAC is an important algorithm in robust optimization and a central building block for many computer vision applications. In recent years, traditionally hand-crafted pipelines have been replaced by deep learning pipelines, which can be trained in an end-to-end fashion. However, RANSAC has so far not been used as part of such deep learning pipelines, because its hypothesis selection procedure is…
▽ More
RANSAC is an important algorithm in robust optimization and a central building block for many computer vision applications. In recent years, traditionally hand-crafted pipelines have been replaced by deep learning pipelines, which can be trained in an end-to-end fashion. However, RANSAC has so far not been used as part of such deep learning pipelines, because its hypothesis selection procedure is non-differentiable. In this work, we present two different ways to overcome this limitation. The most promising approach is inspired by reinforcement learning, namely to replace the deterministic hypothesis selection by a probabilistic selection for which we can derive the expected loss w.r.t. to all learnable parameters. We call this approach DSAC, the differentiable counterpart of RANSAC. We apply DSAC to the problem of camera localization, where deep learning has so far failed to improve on traditional approaches. We demonstrate that by directly minimizing the expected loss of the output camera poses, robustly estimated by RANSAC, we achieve an increase in accuracy. In the future, any deep learning pipeline can use DSAC as a robust optimization component.
△ Less
Submitted 21 March, 2018; v1 submitted 17 November, 2016;
originally announced November 2016.
-
Controlling and observing nonseparability of phonons created in time-dependent 1D atomic Bose condensates
Authors:
Scott Robertson,
Florent Michel,
Renaud Parentani
Abstract:
We study the spectrum and entanglement of phonons produced by temporal changes in homogeneous one-dimensional atomic condensates. To characterize the experimentally accessible changes, we first consider the dynamics of the condensate when varying the radial trap** frequency, separately studying two regimes: an adiabatic one and an oscillatory one. Working in momentum space, we then show that in…
▽ More
We study the spectrum and entanglement of phonons produced by temporal changes in homogeneous one-dimensional atomic condensates. To characterize the experimentally accessible changes, we first consider the dynamics of the condensate when varying the radial trap** frequency, separately studying two regimes: an adiabatic one and an oscillatory one. Working in momentum space, we then show that in situ measurements of the density-density correlation function can be used to assess the nonseparability of the phonon state after such changes. We also study time-of-flight (TOF) measurements, paying particular attention to the role played by the adiabaticity of opening the trap on the nonseparability of the final state of atoms. In both cases, we emphasize that commuting measurements can suffice to assess nonseparability. Some recent observations are analyzed, and we make proposals for future experiments.
△ Less
Submitted 30 June, 2017; v1 submitted 11 November, 2016;
originally announced November 2016.
-
Radial excitations of current-carrying vortices
Authors:
Betti Hartmann,
Florent Michel,
Patrick Peter
Abstract:
We report on the existence of a new type of cosmic string solutions in the Witten model with U(1)xU(1) symmetry. These solutions are superconducting with radially excited condensates that exist for both gauge and ungauged currents. Our results suggest that these new configurations can be macroscopically stable, but microscopically unstable to radial perturbations. Nevertheless, they might have imp…
▽ More
We report on the existence of a new type of cosmic string solutions in the Witten model with U(1)xU(1) symmetry. These solutions are superconducting with radially excited condensates that exist for both gauge and ungauged currents. Our results suggest that these new configurations can be macroscopically stable, but microscopically unstable to radial perturbations. Nevertheless, they might have important consequences for the network evolution and particle emission. We discuss these effects and their possible signatures. We also comment on analogies with non-relativistic condensed matter systems where these solutions may be observable.
△ Less
Submitted 8 February, 2017; v1 submitted 9 August, 2016;
originally announced August 2016.
-
Phonon spectrum and correlations in a transonic flow of an atomic Bose gas
Authors:
Florent Michel,
Jean-François Coupechoux,
Renaud Parentani
Abstract:
Motivated by a recent experiment of J.~Steinhauer, we reconsider the spectrum and the correlations of the phonons spontaneously emitted in stationary transonic flows. The latter are described by "waterfall" configurations which form a one-parameter family of stable flows. For parameters close to their experimental values, in spite of high gradients near the sonic horizon, the spectrum is accuratel…
▽ More
Motivated by a recent experiment of J.~Steinhauer, we reconsider the spectrum and the correlations of the phonons spontaneously emitted in stationary transonic flows. The latter are described by "waterfall" configurations which form a one-parameter family of stable flows. For parameters close to their experimental values, in spite of high gradients near the sonic horizon, the spectrum is accurately planckian in the relevant frequency domain, where the temperature differs from the relativistic prediction by less than $10 \%$. We then study the density correlations across the horizon and the non-separable character of the final state. We show that the relativistic expressions provide accurate approximations when the initial temperature is not too high. We also show that the phases of the scattering coefficients introduce a finite shift of the location of the correlations which was so far overlooked. This shift is due to the asymmetry of the flow across the horizon, and persists in the dispersion-less regime. Finally we show how the formation of the sonic horizon modifies both local and non-local density correlations.
△ Less
Submitted 6 December, 2016; v1 submitted 31 May, 2016;
originally announced May 2016.
-
Scattering of gravity waves in subcritical flows over an obstacle
Authors:
Scott Robertson,
Florent Michel,
Renaud Parentani
Abstract:
We numerically study the scattering coefficients of linear water waves on stationary flows above a localized obstacle. We compare the scattering on trans- and subcritical flows, and then focus on the latter which have been used in recent analog gravity experiments. The main difference concerns the magnitude of the mode amplification: whereas transcritical flows display a large amplification (which…
▽ More
We numerically study the scattering coefficients of linear water waves on stationary flows above a localized obstacle. We compare the scattering on trans- and subcritical flows, and then focus on the latter which have been used in recent analog gravity experiments. The main difference concerns the magnitude of the mode amplification: whereas transcritical flows display a large amplification (which is generally in good agreement with the Hawking prediction), this effect is heavily suppressed in subcritical flows. This is due to the transmission across the obstacle for frequencies less than some critical value. As a result, subcritical flows display high- and low-frequency behaviors separated by a narrow band around the critical frequency. In the low-frequency regime, transmission of long wavelengths is accompanied by non-adiabatic scattering into short wavelengths, whose spectrum is approximately linear in frequency. By contrast, in the high-frequency regime, no simple description seems to exist. In particular, for obstacles similar to those recently used, we observe that the upstream slope still affects the scattering on the downstream side because of some residual transmission.
△ Less
Submitted 25 April, 2016;
originally announced April 2016.
-
Dynamical instabilities and quasi-normal modes, a spectral analysis with applications to black-hole physics
Authors:
Antonin Coutant,
Florent Michel,
Renaud Parentani
Abstract:
Black hole dynamical instabilities have been mostly studied in specific models. We here study the general properties of the complex-frequency modes responsible for such instabilities, guided by the example of a charged scalar field in an electrostatic potential. We show that these modes are square integrable, have a vanishing conserved norm, and appear in mode doublets or quartets. We also study h…
▽ More
Black hole dynamical instabilities have been mostly studied in specific models. We here study the general properties of the complex-frequency modes responsible for such instabilities, guided by the example of a charged scalar field in an electrostatic potential. We show that these modes are square integrable, have a vanishing conserved norm, and appear in mode doublets or quartets. We also study how they appear in the spectrum and how their complex frequencies subsequently evolve when varying some external parameter. When working on an infinite domain, they appear from the reservoir of quasi-normal modes obeying outgoing boundary conditions. This is illustrated by generalizing, in a non-positive definite Krein space, a solvable model (Friedrichs model) which originally describes the appearance of a resonance when coupling an isolated system to a mode continuum. In a finite spatial domain instead, they arise from the fusion of two real frequency modes with opposite norms, through a process that closely resembles avoided crossing.
△ Less
Submitted 1 July, 2016; v1 submitted 5 January, 2016;
originally announced January 2016.
-
Observation of noise correlated by the Hawking effect in a water tank
Authors:
L. -P. Euvé,
F. Michel,
R. Parentani,
T. G. Philbin,
G. Rousseaux
Abstract:
We measured the power spectrum and two-point correlation function for the randomly fluctuating free surface on the downstream side of a stationary flow with a maximum Froude number $F_{\rm max} \approx 0.85$ reached above a localised obstacle. On such a flow the scattering of incident long wavelength modes is analogous to that responsible for black hole radiation (the Hawking effect). Our measurem…
▽ More
We measured the power spectrum and two-point correlation function for the randomly fluctuating free surface on the downstream side of a stationary flow with a maximum Froude number $F_{\rm max} \approx 0.85$ reached above a localised obstacle. On such a flow the scattering of incident long wavelength modes is analogous to that responsible for black hole radiation (the Hawking effect). Our measurements of the noise show a clear correlation between pairs of modes of opposite energies. We also measure the scattering coefficients by applying the same analysis of correlations to waves produced by a wave maker.
△ Less
Submitted 29 July, 2016; v1 submitted 25 November, 2015;
originally announced November 2015.
-
No hair theorems for analogue black holes
Authors:
Florent Michel,
Renaud Parentani,
Robin Zegers
Abstract:
We show that transonic one dimensional flows which are analogous to black holes obey no-hair theorems both at the level of linear perturbations and in non-linear regimes. Considering solutions of the Gross-Pitaevskii (or Korteweg-de Vries) equation, we show that stationary flows which are asymptotically uniform on both sides of the horizon are stable and act as attractors. Using Whitham's modulati…
▽ More
We show that transonic one dimensional flows which are analogous to black holes obey no-hair theorems both at the level of linear perturbations and in non-linear regimes. Considering solutions of the Gross-Pitaevskii (or Korteweg-de Vries) equation, we show that stationary flows which are asymptotically uniform on both sides of the horizon are stable and act as attractors. Using Whitham's modulation theory, we analytically characterize the emitted waves when starting from uniform perturbations. Numerical simulations confirm the validity of this approximation and extend the results to more general perturbations and to the (non-integrable) cubic-quintic Gross-Pitaevskii equation. When considering time reversed flows that correspond to white holes, the asymptotically uniform flows are unstable to sufficiently large perturbations and emit either a macroscopic undulation in the supersonic side, or a non-linear superposition of soliton trains.
△ Less
Submitted 11 April, 2016; v1 submitted 17 November, 2015;
originally announced November 2015.
-
Learning Analysis-by-Synthesis for 6D Pose Estimation in RGB-D Images
Authors:
Alexander Krull,
Eric Brachmann,
Frank Michel,
Michael Ying Yang,
Stefan Gumhold,
Carsten Rother
Abstract:
Analysis-by-synthesis has been a successful approach for many tasks in computer vision, such as 6D pose estimation of an object in an RGB-D image which is the topic of this work. The idea is to compare the observation with the output of a forward process, such as a rendered image of the object of interest in a particular pose. Due to occlusion or complicated sensor noise, it can be difficult to pe…
▽ More
Analysis-by-synthesis has been a successful approach for many tasks in computer vision, such as 6D pose estimation of an object in an RGB-D image which is the topic of this work. The idea is to compare the observation with the output of a forward process, such as a rendered image of the object of interest in a particular pose. Due to occlusion or complicated sensor noise, it can be difficult to perform this comparison in a meaningful way. We propose an approach that "learns to compare", while taking these difficulties into account. This is done by describing the posterior density of a particular object pose with a convolutional neural network (CNN) that compares an observed and rendered image. The network is trained with the maximum likelihood paradigm. We observe empirically that the CNN does not specialize to the geometry or appearance of specific objects, and it can be used with objects of vastly different shapes and appearances, and in different backgrounds. Compared to state-of-the-art, we demonstrate a significant improvement on two different datasets which include a total of eleven objects, cluttered background, and heavy occlusion.
△ Less
Submitted 19 August, 2015;
originally announced August 2015.
-
Mode mixing in sub- and trans-critical flows over an obstacle: When should Hawking's predictions be recovered?
Authors:
Florent Michel,
Renaud Parentani
Abstract:
We reexamine the scattering coefficients of shallow water waves blocked by a stationary counter current over an obstacle. By considering series of background flows, we show that the most relevant parameter is $F_{\rm max}$, the maximal value of the ratio of the flow velocity over the speed of low frequency waves. For subcritical flows, i.e., $F_{\rm max} < 1$, there is no analogue Killing horizon…
▽ More
We reexamine the scattering coefficients of shallow water waves blocked by a stationary counter current over an obstacle. By considering series of background flows, we show that the most relevant parameter is $F_{\rm max}$, the maximal value of the ratio of the flow velocity over the speed of low frequency waves. For subcritical flows, i.e., $F_{\rm max} < 1$, there is no analogue Killing horizon and the mode amplification is strongly suppressed. Instead, when $F_{\rm max} \gtrsim 1.1$, the amplification is enhanced at low frequency and the spectrum closely follows Hawking's prediction. We further study subcritical flows close to that used in the Vancouver experiment. Our numerical analysis suggests that their observation of the "thermal nature of the mode conversion" is due to the relatively steep slope on the upstream side and the narrowness of the obstacle.
△ Less
Submitted 9 August, 2015;
originally announced August 2015.
-
Black hole radiation in the presence of a universal horizon
Authors:
Florent Michel,
Renaud Parentani
Abstract:
In Hořava and Einstein-Æther theories of modified gravity, in spite of the violation of Lorentz invariance, spherically-symmetric stationary black hole solutions possess an inner universal horizon which separates field configurations into two disconnected classes. We compute the late time radiation emitted by a dispersive field propagating in such backgrounds. We fix the initial conditions on stat…
▽ More
In Hořava and Einstein-Æther theories of modified gravity, in spite of the violation of Lorentz invariance, spherically-symmetric stationary black hole solutions possess an inner universal horizon which separates field configurations into two disconnected classes. We compute the late time radiation emitted by a dispersive field propagating in such backgrounds. We fix the initial conditions on stationary modes by considering a regular collapsing geometry, and imposing that the state inside the infalling shell is vacuum. We find that the mode pasting across the shell is adiabatic at late time (large inside frequencies). This implies that large black holes emit a thermal flux with a temperature fixed by the surface gravity of the Killing horizon. In turn, this suggests that the universal horizon should play no role in the thermodynamical properties of these black holes.
△ Less
Submitted 8 July, 2015; v1 submitted 2 May, 2015;
originally announced May 2015.