-
Low-depth Quantum Circuit Decomposition of Multi-controlled Gates
Authors:
Thiago Melo D. Azevedo,
Jefferson D. S. Silva,
Adenilton J. da Silva
Abstract:
Multi-controlled gates are fundamental components in the design of quantum algorithms, where efficient decompositions of these operators can enhance algorithm performance. The best asymptotic decomposition of an n-controlled X gate with one borrowed ancilla into single qubit and CNOT gates produces circuits with degree 3 polylogarithmic depth and employs a divide-and-conquer strategy. In this pape…
▽ More
Multi-controlled gates are fundamental components in the design of quantum algorithms, where efficient decompositions of these operators can enhance algorithm performance. The best asymptotic decomposition of an n-controlled X gate with one borrowed ancilla into single qubit and CNOT gates produces circuits with degree 3 polylogarithmic depth and employs a divide-and-conquer strategy. In this paper, we reduce the number of recursive calls in the divide-and-conquer algorithm and decrease the depth of n-controlled X gate decomposition to a degree of 2.799 polylogarithmic depth. With this optimized decomposition, we also reduce the depth of n-controlled SU(2) gates and approximate n-controlled U(2) gates. Decompositions described in this work achieve the lowest asymptotic depth reported in the literature. We also perform an optimization in the base of the recursive approach. Starting at 52 control qubits, the proposed n-controlled X gate with one borrowed ancilla has the shortest circuit depth in the literature. One can reproduce all the results with the freely available open-source code provided in a public repository.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Surviving in the Hot Neptune Desert: The Discovery of the Ultra-Hot Neptune TOI-3261b
Authors:
Emma Nabbie,
Chelsea X. Huang,
Jennifer A. Burt,
David J. Armstrong,
Eric E. Mamajek,
Vardan Adibekyan,
Sérgio G. Sousa,
Eric D. Lopez,
Daniel P. Thorngren,
Jorge Fernández,
Gongjie Li,
James S. Jenkins,
Jose I. Vines,
João Gomes da Silva,
Robert A. Wittenmyer,
Daniel Bayliss,
César Briceño,
Karen A. Collins,
Xavier Dumusque,
Keith D. Horne,
Marcelo F. Keniger,
Nicholas Law,
Jorge Lillo-Box,
Shang-Fei Liu,
Andrew W. Mann
, et al. (23 additional authors not shown)
Abstract:
The recent discoveries of Neptune-sized ultra-short period planets (USPs) challenge existing planet formation theories. It is unclear whether these residents of the Hot Neptune Desert have similar origins to smaller, rocky USPs, or if this discrete population is evidence of a different formation pathway altogether. We report the discovery of TOI-3261b, an ultra-hot Neptune with an orbital period…
▽ More
The recent discoveries of Neptune-sized ultra-short period planets (USPs) challenge existing planet formation theories. It is unclear whether these residents of the Hot Neptune Desert have similar origins to smaller, rocky USPs, or if this discrete population is evidence of a different formation pathway altogether. We report the discovery of TOI-3261b, an ultra-hot Neptune with an orbital period $P$ = 0.88 days. The host star is a $V = 13.2$ magnitude, slightly super-solar metallicity ([Fe/H] $\simeq$ 0.15), inactive K1.5 main sequence star at $d = 300$ pc. Using data from the Transiting Exoplanet Survey Satellite and the Las Cumbres Observatory Global Telescope, we find that TOI-3261b has a radius of $3.82_{-0.35}^{+0.42}$ $R_{\oplus}$. Moreover, radial velocities from ESPRESSO and HARPS reveal a mass of $30.3_{-2.4}^{+2.2}$ $M_{\oplus}$, more than twice the median mass of Neptune-sized planets on longer orbits. We investigate multiple mechanisms of mass loss that can reproduce the current-day properties of TOI-3261b, simulating the evolution of the planet via tidal strip** and photoevaporation. Thermal evolution models suggest that TOI-3261b should retain an envelope potentially enriched with volatiles constituting $\sim$5% of its total mass. This is the second highest envelope mass fraction among ultra-hot Neptunes discovered to date, making TOI-3261b an ideal candidate for atmospheric follow-up observations.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Learning Decentralized Multi-Biped Control for Payload Transport
Authors:
Bikram Pandit,
Ashutosh Gupta,
Mohitvishnu S. Gadde,
Addison Johnson,
Aayam Kumar Shrestha,
Helei Duan,
Jeremy Dao,
Alan Fern
Abstract:
Payload transport over flat terrain via multi-wheel robot carriers is well-understood, highly effective, and configurable. In this paper, our goal is to provide similar effectiveness and configurability for transport over rough terrain that is more suitable for legs rather than wheels. For this purpose, we consider multi-biped robot carriers, where wheels are replaced by multiple bipedal robots at…
▽ More
Payload transport over flat terrain via multi-wheel robot carriers is well-understood, highly effective, and configurable. In this paper, our goal is to provide similar effectiveness and configurability for transport over rough terrain that is more suitable for legs rather than wheels. For this purpose, we consider multi-biped robot carriers, where wheels are replaced by multiple bipedal robots attached to the carrier. Our main contribution is to design a decentralized controller for such systems that can be effectively applied to varying numbers and configurations of rigidly attached bipedal robots without retraining. We present a reinforcement learning approach for training the controller in simulation that supports transfer to the real world. Our experiments in simulation provide quantitative metrics showing the effectiveness of the approach over a wide variety of simulated transport scenarios. In addition, we demonstrate the controller in the real-world for systems composed of two and three Cassie robots. To our knowledge, this is the first example of a scalable multi-biped payload transport system.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
The Enigma of Li-Rich Giants and its Relation with Temporal Variations Observed in Radial Velocity and Stellar Activity Signals
Authors:
Inês Rolo,
Elisa Delgado Mena,
Maria Tsantaki,
João Gomes da Silva
Abstract:
Despite the large number of studies focused on the characterization of Li-rich stars and understanding of the mechanisms leading to such enrichment, their origin remains a mystery. Magnetic activity, in particular the phenomena usually associated with it, such as spots and plages, and the Li abundance (A(Li)) of stars, are in general thought to be connected. However, as of today it is unclear just…
▽ More
Despite the large number of studies focused on the characterization of Li-rich stars and understanding of the mechanisms leading to such enrichment, their origin remains a mystery. Magnetic activity, in particular the phenomena usually associated with it, such as spots and plages, and the Li abundance (A(Li)) of stars, are in general thought to be connected. However, as of today it is unclear just how. In this work, we study a sample of young but evolved intermediate mass red giants, inhabitants of open clusters where planets have been searched. We aim at using radial velocity (RV) and stellar activity indicator signals to look for relations between Li abundances and stellar activity/variability. We explore how the standard deviation (STD), peak to peak amplitude (PTP), mean and median of typical stellar activity indicators (BIS, FWHM, $T_\textrm{eff}$, and H$α$ index) change as a function of the Li content of 82 red giants. Furthermore, we compute weighted Pearson Correlation Coefficients ($ρ_w$) between time series of RV measurements and the stellar activity indicators for the stars in our sample. To aid our results, we also study Generalized Lomb-Scargle Periodograms (GLSP) to capture possible significant periodic temporal variations in our data. Our analysis indicates that the STD and PTP of BIS and FWHM, the mean and median of the H$α$ index and $v\sin(i)$ increase exponentially with A(Li) in our sample of red giants. Significant temporal variations and correlations between RVs and activity indicators also tend to be found preferentially for stars where high A(Li) is observed. Most of the Li-rich stars in our sample either show strong correlations of RV with at least one of the stellar activity indicators or reveal significant periodic temporal variations in their stellar activity indicators GLSPs consistent with those found for RV.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
The Penalized Inverse Probability Measure for Conformal Classification
Authors:
Paul Melki,
Lionel Bombrun,
Boubacar Diallo,
Jérôme Dias,
Jean-Pierre da Costa
Abstract:
The deployment of safe and trustworthy machine learning systems, and particularly complex black box neural networks, in real-world applications requires reliable and certified guarantees on their performance. The conformal prediction framework offers such formal guarantees by transforming any point into a set predictor with valid, finite-set, guarantees on the coverage of the true at a chosen leve…
▽ More
The deployment of safe and trustworthy machine learning systems, and particularly complex black box neural networks, in real-world applications requires reliable and certified guarantees on their performance. The conformal prediction framework offers such formal guarantees by transforming any point into a set predictor with valid, finite-set, guarantees on the coverage of the true at a chosen level of confidence. Central to this methodology is the notion of the nonconformity score function that assigns to each example a measure of ''strangeness'' in comparison with the previously seen observations. While the coverage guarantees are maintained regardless of the nonconformity measure, the point predictor and the dataset, previous research has shown that the performance of a conformal model, as measured by its efficiency (the average size of the predicted sets) and its informativeness (the proportion of prediction sets that are singletons), is influenced by the choice of the nonconformity score function. The current work introduces the Penalized Inverse Probability (PIP) nonconformity score, and its regularized version RePIP, that allow the joint optimization of both efficiency and informativeness. Through toy examples and empirical results on the task of crop and weed image classification in agricultural robotics, the current work shows how PIP-based conformal classifiers exhibit precisely the desired behavior in comparison with other nonconformity measures and strike a good balance between informativeness and efficiency.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
NIRPS first light and early science: breaking the 1 m/s RV precision barrier at infrared wavelengths
Authors:
Étienne Artigau,
François Bouchy,
René Doyon,
Frédérique Baron,
Lison Malo,
François Wildi,
Franceso Pepe,
Neil J. Cook,
Simon Thibault,
Vladimir Reshetov,
Xavier Dumusque,
Christophe Lovis,
Danuta Sosnowska,
Bruno L. Canto Martins,
Jose Renan De Medeiros,
Xavier Delfosse,
Nuno Santos,
Rafael Rebolo,
Manuel Abreu,
Guillaume Allain,
Romain Allart,
Hugues Auger,
Susana Barros,
Luc Bazinet,
Nicolas Blind
, et al. (89 additional authors not shown)
Abstract:
The Near-InfraRed Planet Searcher or NIRPS is a precision radial velocity spectrograph developed through collaborative efforts among laboratories in Switzerland, Canada, Brazil, France, Portugal and Spain. NIRPS extends to the 0.98-1.8 $μ$m domain of the pioneering HARPS instrument at the La Silla 3.6-m telescope in Chile and it has achieved unparalleled precision, measuring stellar radial velocit…
▽ More
The Near-InfraRed Planet Searcher or NIRPS is a precision radial velocity spectrograph developed through collaborative efforts among laboratories in Switzerland, Canada, Brazil, France, Portugal and Spain. NIRPS extends to the 0.98-1.8 $μ$m domain of the pioneering HARPS instrument at the La Silla 3.6-m telescope in Chile and it has achieved unparalleled precision, measuring stellar radial velocities in the infrared with accuracy better than 1 m/s. NIRPS can be used either stand-alone or simultaneously with HARPS. Commissioned in late 2022 and early 2023, NIRPS embarked on a 5-year Guaranteed Time Observation (GTO) program in April 2023, spanning 720 observing nights. This program focuses on planetary systems around M dwarfs, encompassing both the immediate solar vicinity and transit follow-ups, alongside transit and emission spectroscopy observations. We highlight NIRPS's current performances and the insights gained during its deployment at the telescope. The lessons learned and successes achieved contribute to the ongoing advancement of precision radial velocity measurements and high spectral fidelity, further solidifying NIRPS' role in the forefront of the field of exoplanets.
△ Less
Submitted 13 June, 2024; v1 submitted 12 June, 2024;
originally announced June 2024.
-
Analyzing constrained LLM through PDFA-learning
Authors:
Matías Carrasco,
Franz Mayr,
Sergio Yovine,
Johny Kidd,
Martín Iturbide,
Juan Pedro da Silva,
Alejo Garat
Abstract:
We define a congruence that copes with null next-symbol probabilities that arise when the output of a language model is constrained by some means during text generation. We develop an algorithm for efficiently learning the quotient with respect to this congruence and evaluate it on case studies for analyzing statistical properties of LLM.
We define a congruence that copes with null next-symbol probabilities that arise when the output of a language model is constrained by some means during text generation. We develop an algorithm for efficiently learning the quotient with respect to this congruence and evaluate it on case studies for analyzing statistical properties of LLM.
△ Less
Submitted 15 June, 2024; v1 submitted 12 June, 2024;
originally announced June 2024.
-
The PLATO Mission
Authors:
Heike Rauer,
Conny Aerts,
Juan Cabrera,
Magali Deleuil,
Anders Erikson,
Laurent Gizon,
Mariejo Goupil,
Ana Heras,
Jose Lorenzo-Alvarez,
Filippo Marliani,
Cesar Martin-Garcia,
J. Miguel Mas-Hesse,
Laurence O'Rourke,
Hugh Osborn,
Isabella Pagano,
Giampaolo Piotto,
Don Pollacco,
Roberto Ragazzoni,
Gavin Ramsay,
Stéphane Udry,
Thierry Appourchaux,
Willy Benz,
Alexis Brandeker,
Manuel Güdel,
Eduardo Janot-Pacheco
, et al. (801 additional authors not shown)
Abstract:
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati…
▽ More
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution.
The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Predictive Model and Optimization of Micromixers Geometry using Gaussian Process with Uncertainty Quantification and Genetic Algorithm
Authors:
Daniela de Oliveira Maionchi,
Neil Diogo Silva Coimbra,
Junior Gonçalves da Silva,
Fabio Pereira dos Santos
Abstract:
Microfluidic devices are gaining attention for their small size and ability to handle tiny fluid volumes. Mixing fluids efficiently at this scale, known as micromixing, is crucial. This article builds upon previous research by introducing a novel optimization approach in microfluidics, combining Computational Fluid Dynamics (CFD) with Machine Learning (ML) techniques. The research focuses on impro…
▽ More
Microfluidic devices are gaining attention for their small size and ability to handle tiny fluid volumes. Mixing fluids efficiently at this scale, known as micromixing, is crucial. This article builds upon previous research by introducing a novel optimization approach in microfluidics, combining Computational Fluid Dynamics (CFD) with Machine Learning (ML) techniques. The research focuses on improving global optimization while reducing computational expenses. It draws inspiration from a Y-type micromixer, initially featuring cylindrical grooves on the main channel's surface and internal obstructions. Simulations, conducted using OpenFOAM software, evaluate the impact of circular obstructions on mixing percentage and pressure drop, considering variations in obstruction diameter and offset. A Gaussian Process (GP) was utilized to model the data, providing model uncertainty. Thus, this study optimizes geometries by using genetic algorithm (GA) and least-square optimization based on the reduced order model provided by GP. Results align with previous research, showing that medium-sized obstructions (137 mm diameter, 10 mm offset) near the channel wall are optimal. This approach not only provides efficient microfluidic optimization with uncertainty quantification but also highlights the effectiveness of combining CFD and ML techniques in achieving desired outcomes.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Twitter should now be referred to as X: How academics, journals and publishers need to make the nomenclatural transition
Authors:
Jaime A. Teixeira da Silva,
Serhii Nazarovets
Abstract:
Here, we note how academics, journals and publishers should no longer refer to the social media platform Twitter as such, rather as X. Relying on Google Scholar, we found 16 examples of papers published in the last months of 2023 - essentially during the transition period between Twitter and X - that used Twitter and X, but in different ways. Unlike that transition period in which the binary Twitt…
▽ More
Here, we note how academics, journals and publishers should no longer refer to the social media platform Twitter as such, rather as X. Relying on Google Scholar, we found 16 examples of papers published in the last months of 2023 - essentially during the transition period between Twitter and X - that used Twitter and X, but in different ways. Unlike that transition period in which the binary Twitter/X could have been used in academic papers, we suggest that papers should no longer refer to Twitter as Twitter, but only as X, except for historical studies about that social media platform, because such use would be factually incorrect.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Enhancing Exoplanet Ephemerides by Leveraging Professional and Citizen Science Data: A Test Case with WASP-77A b
Authors:
Federico R. Noguer,
Suber Corley,
Kyle A. Pearson,
Robert T. Zellem,
Molly N. Simon,
Jennifer A. Burt,
Isabela Huckabee,
Prune C. August,
Megan Weiner Mansfield,
Paul A. Dalba,
Peter C. B. Smith,
Timothy Banks,
Ira Bell,
Dominique Daniel,
Lindsay Dawson,
Jesús De Mula,
Marc Deldem,
Dimitrios Deligeorgopoulos,
Romina P. Di Sisto,
Roger Dymock,
Phil Evans,
Giulio Follero,
Martin J. F. Fowler,
Eduardo Fernández-Lajús,
Alex Hamrick
, et al. (20 additional authors not shown)
Abstract:
We present an updated ephemeris and physical parameters for the exoplanet WASP-77 A b. In this effort, we combine 64 ground- and space-based transit observations, 6 space-based eclipse observations, and 32 radial velocity observations to produce the most precise orbital solution to date for this target, aiding in the planning of James Webb Space Telescope (JWST) and Ariel observations and atmosphe…
▽ More
We present an updated ephemeris and physical parameters for the exoplanet WASP-77 A b. In this effort, we combine 64 ground- and space-based transit observations, 6 space-based eclipse observations, and 32 radial velocity observations to produce the most precise orbital solution to date for this target, aiding in the planning of James Webb Space Telescope (JWST) and Ariel observations and atmospheric studies. We report a new orbital period of 1.360029395 +- 5.7e-8 days, a new mid-transit time of 2459957.337860 +- 4.3e-5 BJDTDB (Barycentric Julian Date in the Barycentric Dynamical Time scale; arXiv:1005.4415) and a new mid-eclipse time of 2459956.658192 +- 6.7e-5 BJDTDB. Furthermore, the methods presented in this study reduce the uncertainties in the planet mass to 1.6654 +- 4.5e-3 Mjup and orbital period to 1.360029395 +- 5.7e-8 days by factors of 15.1 and 10.9, respectively. Through a joint fit analysis comparison of transit data taken by space-based and citizen science-led initiatives, our study demonstrates the power of including data collected by citizen scientists compared to a fit of the space-based data alone. Additionally, by including a vast array of citizen science data from ExoClock, Exoplanet Transit Database (ETD), and Exoplanet Watch, we can increase our observational baseline and thus acquire better constraints on the forward propagation of our ephemeris than what is achievable with TESS data alone.
△ Less
Submitted 4 June, 2024; v1 submitted 29 May, 2024;
originally announced May 2024.
-
Energy of Gravitational Radiation and the Background Energy of the Space-Time
Authors:
J. W. Maluf,
F. Lessa Carneiro,
S. C. Ulhoa,
J. F. da Rocha-Neto
Abstract:
We address the issue of gravitational radiation in the context of the Bondi-Sachs space-time, and consider the expression for the gravitational energy of the radiation obtained in the realm of the teleparallel equivalent of general relativity (TEGR). This expression is independent of the radial distance (i.e., of powers of $1/r$) and depends exclusively on the functions $c(u,θ,φ)$ and $d(u,θ,φ)$,…
▽ More
We address the issue of gravitational radiation in the context of the Bondi-Sachs space-time, and consider the expression for the gravitational energy of the radiation obtained in the realm of the teleparallel equivalent of general relativity (TEGR). This expression is independent of the radial distance (i.e., of powers of $1/r$) and depends exclusively on the functions $c(u,θ,φ)$ and $d(u,θ,φ)$, which yield the news functions ($u$ is the retarded time, $u=t-r$). We investigate the mathematical and physical features of this energy expression in the simpler framework of axial symmetry. Once a burst of gravitational radiation takes place in a self gravitating system, that leads to a loss of the Bondi mass, gravitational radiation is emitted throughout the whole space-time. The existence and presence of this radiation in the background structure of the space-time is consistent with the analysis developed by Papapetrou, and Hallidy and Janis, who found no proof that a gravitational system that emits a burst of gravitational radiation is preceded and followed by two stationary gravitational field configurations, namely, it seems that it is impossible for a gravitational system, which is initially stationary, to return to a stationary state after emitting a burst of axially symmetric gravitational radiation, in which case the space-time is not even asymptotically stationary. Therefore, it is plausible that the gravitational energy of radiation is present in the background structure of the space-time, and this is the energy predicted in the TEGR. This analysis lead us to conjecture that the noise detected in the large terrestrial gravitational wave observatories is intrinsically related to the background gravitational radiation.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
A note on hidden classes in spinor classification
Authors:
R. J. Bueno Rogerio,
R. T. Cavalcanti,
C. H. Coronado Villalobos,
J. M. Hoff da Silva
Abstract:
The Lounesto classification is a well-established scheme for categorizing spinors based on their physical content, which are determined by their associated bilinear forms. It consists of six disjoint classes encompassing the known spinors within the context of the standard model of high-energy physics. However, advancements in theories beyond the standard model have opened the door to potential ne…
▽ More
The Lounesto classification is a well-established scheme for categorizing spinors based on their physical content, which are determined by their associated bilinear forms. It consists of six disjoint classes encompassing the known spinors within the context of the standard model of high-energy physics. However, advancements in theories beyond the standard model have opened the door to potential new spinorial adjoint structures, leading to new unforeseen classess. These developments indicate the potential for extending the standard Lounesto classification. In this paper, we explore all possible subclasses that could extend the Lounesto scheme. We highlight the most relevant subclasses by imposing constraints to their corresponding dual structures, thus broadening our understanding of spinor and its applications in theoretical physics.
△ Less
Submitted 4 May, 2024;
originally announced May 2024.
-
The irreducible mass of a regular rotating black hole
Authors:
F. L. Carneiro,
S. C. Ulhoa,
J. F. da Rocha-Neto,
J. W. Maluf
Abstract:
This article presents an analysis of regular rotating black hole solutions within the framework of Teleparallel Equivalent to General Relativity (TEGR). The study evaluates the total energy and derives an analytical expression for the irreducible mass of a regular black hole. The results reveal the significance of these regular black holes as approximations of real astrophysical objects. The inves…
▽ More
This article presents an analysis of regular rotating black hole solutions within the framework of Teleparallel Equivalent to General Relativity (TEGR). The study evaluates the total energy and derives an analytical expression for the irreducible mass of a regular black hole. The results reveal the significance of these regular black holes as approximations of real astrophysical objects. The investigation explores the behavior of the total energy for different surfaces and its value at spatial infinity. Additionally, the article addresses the instability of the inner horizon and examines the inertial acceleration of an observer inside the inner horizon.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Generalized Wright Analysis in Infinite Dimensions
Authors:
Luisa Beghin,
Lorenzo Cristofaro,
José L. da Silva
Abstract:
This paper investigates a broad class of non-Gaussian measures, $ μ_Ψ$, associated with a family of generalized Wright functions, $_mΨ_q$. First, we study these measures in Euclidean spaces $\mathbb{R}^d$, then define them in an abstract nuclear triple $\mathcal{N}\subset\mathcal{H}\subset\mathcal{N}'$. We study analyticity, invariance properties, and ergodicity under a particular group of automor…
▽ More
This paper investigates a broad class of non-Gaussian measures, $ μ_Ψ$, associated with a family of generalized Wright functions, $_mΨ_q$. First, we study these measures in Euclidean spaces $\mathbb{R}^d$, then define them in an abstract nuclear triple $\mathcal{N}\subset\mathcal{H}\subset\mathcal{N}'$. We study analyticity, invariance properties, and ergodicity under a particular group of automorphisms. Then we show the existence of an Appell system which allows the extension of the non-Gaussian Hilbert space $L^2(μ_Ψ)$ to the nuclear triple consisting of test functions' and distributions' spaces, $(\mathcal{N})^{1}\subset L^2(μ_Ψ)\subset(\mathcal{N})_{μ_Ψ}^{-1}$. Thanks to this triple, we can study Donsker's delta as a well-defined object in the space of distributions $(\mathcal{N})_{μ_Ψ}^{-1}$.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
A Careful Examination of Large Language Model Performance on Grade School Arithmetic
Authors:
Hugh Zhang,
Jeff Da,
Dean Lee,
Vaughn Robinson,
Catherine Wu,
Will Song,
Tiffany Zhao,
Pranav Raja,
Dylan Slack,
Qin Lyu,
Sean Hendryx,
Russell Kaplan,
Michele Lunati,
Summer Yue
Abstract:
Large language models (LLMs) have achieved impressive success on many benchmarks for mathematical reasoning. However, there is growing concern that some of this performance actually reflects dataset contamination, where data closely resembling benchmark questions leaks into the training data, instead of true reasoning ability. To investigate this claim rigorously, we commission Grade School Math 1…
▽ More
Large language models (LLMs) have achieved impressive success on many benchmarks for mathematical reasoning. However, there is growing concern that some of this performance actually reflects dataset contamination, where data closely resembling benchmark questions leaks into the training data, instead of true reasoning ability. To investigate this claim rigorously, we commission Grade School Math 1000 (GSM1k). GSM1k is designed to mirror the style and complexity of the established GSM8k benchmark, the gold standard for measuring elementary mathematical reasoning. We ensure that the two benchmarks are comparable across important metrics such as human solve rates, number of steps in solution, answer magnitude, and more. When evaluating leading open- and closed-source LLMs on GSM1k, we observe accuracy drops of up to 13%, with several families of models (e.g., Phi and Mistral) showing evidence of systematic overfitting across almost all model sizes. At the same time, many models, especially those on the frontier, (e.g., Gemini/GPT/Claude) show minimal signs of overfitting. Further analysis suggests a positive relationship (Spearman's r^2=0.32) between a model's probability of generating an example from GSM8k and its performance gap between GSM8k and GSM1k, suggesting that many models may have partially memorized GSM8k.
△ Less
Submitted 3 May, 2024; v1 submitted 1 May, 2024;
originally announced May 2024.
-
Revisiting Reward Design and Evaluation for Robust Humanoid Standing and Walking
Authors:
Bart van Marum,
Aayam Shrestha,
Helei Duan,
Pranay Dugar,
Jeremy Dao,
Alan Fern
Abstract:
A necessary capability for humanoid robots is the ability to stand and walk while rejecting natural disturbances. Recent progress has been made using sim-to-real reinforcement learning (RL) to train such locomotion controllers, with approaches differing mainly in their reward functions. However, prior works lack a clear method to systematically test new reward functions and compare controller perf…
▽ More
A necessary capability for humanoid robots is the ability to stand and walk while rejecting natural disturbances. Recent progress has been made using sim-to-real reinforcement learning (RL) to train such locomotion controllers, with approaches differing mainly in their reward functions. However, prior works lack a clear method to systematically test new reward functions and compare controller performance through repeatable experiments. This limits our understanding of the trade-offs between approaches and hinders progress. To address this, we propose a low-cost, quantitative benchmarking method to evaluate and compare the real-world performance of standing and walking (SaW) controllers on metrics like command following, disturbance recovery, and energy efficiency. We also revisit reward function design and construct a minimally constraining reward function to train SaW controllers. We experimentally verify that our benchmarking framework can identify areas for improvement, which can be systematically addressed to enhance the policies. We also compare our new controller to state-of-the-art controllers on the Digit humanoid robot. The results provide clear quantitative trade-offs among the controllers and suggest directions for future improvements to the reward functions and expansion of the benchmarks.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Beam test of a baseline vertex detector prototype for CEPC
Authors:
Shuqi Li,
Tianya Wu,
Xinhui Huang,
Jia Zhou,
Ziyue Yan,
Wei Wang,
Hao Zeng,
Yiming Hu,
Xiaoxu Zhang,
Zhijun Liang,
Wei Wei,
Ying Zhang,
Xiaomin Wei,
Lei Zhang,
Ming Qi,
Jun Hu,
**yu Fu,
Hongyu Zhang,
Gang Li,
Linghui Wu,
Mingyi Dong,
Xiaoting Li,
Raimon Casanova,
Liang Zhang,
Jianing Dong
, et al. (5 additional authors not shown)
Abstract:
The Circular Electron Positron Collider (CEPC) has been proposed to enable more thorough and precise measurements of the properties of Higgs, W, and Z bosons, as well as to search for new physics. In response to the stringent performance requirements of the vertex detector for the CEPC, a baseline vertex detector prototype was tested and characterized for the first time using a 6 GeV electron beam…
▽ More
The Circular Electron Positron Collider (CEPC) has been proposed to enable more thorough and precise measurements of the properties of Higgs, W, and Z bosons, as well as to search for new physics. In response to the stringent performance requirements of the vertex detector for the CEPC, a baseline vertex detector prototype was tested and characterized for the first time using a 6 GeV electron beam at DESY II Test Beam Line 21. The baseline vertex detector prototype is designed with a cylindrical barrel structure that contains six double-sided detector modules (ladders). Each side of the ladder includes TaichuPix-3 sensors based on Monolithic Active Pixel Sensor (MAPS) technology, a flexible printed circuit, and a carbon fiber support structure. Additionally, the readout electronics and the Data Acquisition system were also examined during this beam test. The performance of the prototype was evaluated using an electron beam that passed through six ladders in a perpendicular direction. The offline data analysis indicates a spatial resolution of about 5 um, with detection efficiency exceeding 99 % and an impact parameter resolution of about 5.1 um. These promising results from this baseline vertex detector prototype mark a significant step toward realizing the optimal vertex detector for the CEPC.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Green Measures for a Class of non-Markov Processes
Authors:
Herry Pribawanto Suryawan,
José Luís da Silva
Abstract:
In this paper, we investigate the Green measure for a class of non-Gaussian processes in $\mathbb{R}^{d}$. These measures are associated with the family of generalized grey Brownian motions $B_{β,α}$, $0<β\le1$, $0<α\le2$. This family includes both fractional Brownian motion, Brownian motion, and other non-Gaussian processes. We show that the perpetual integral exists with probability $1$ for…
▽ More
In this paper, we investigate the Green measure for a class of non-Gaussian processes in $\mathbb{R}^{d}$. These measures are associated with the family of generalized grey Brownian motions $B_{β,α}$, $0<β\le1$, $0<α\le2$. This family includes both fractional Brownian motion, Brownian motion, and other non-Gaussian processes. We show that the perpetual integral exists with probability $1$ for $dα>2$ and $1<α\le2$. The Green measure then generalizes those measures of all these classes.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Synthetic Oil Gels With Organoclays In The Formulation Of Magnetorheological Fluids
Authors:
Jose Henrique Rodrigues da Rocha,
Julio Gabriel de Falco Manuel,
Antonio Jose Faria Bombard
Abstract:
Magnetorheological fluids (MRF) are smart composite materials that, under an external magnetic field, show a reversible solid-liquid transition in less than 10 ms. This study aimed to evaluate which organoclays would jellify a synthetic oil for the formulation of MRF. Three dispersant additives for carbonyl iron powder were evaluated. Fifteen different gelling additives from four clay families, be…
▽ More
Magnetorheological fluids (MRF) are smart composite materials that, under an external magnetic field, show a reversible solid-liquid transition in less than 10 ms. This study aimed to evaluate which organoclays would jellify a synthetic oil for the formulation of MRF. Three dispersant additives for carbonyl iron powder were evaluated. Fifteen different gelling additives from four clay families, bentonites, hectorites, montmorillonites, and mixed mineral thixotropes (MMT), were dispersed in oil only, kee** the same concentration, without iron particles. The gels were then tested through amplitude and frequency sweeps in oscillatory rheometry to evaluate their viscoelastic behavior. All the MRFs were prepared using carbonyl iron powder HS in oil gels with the same organoclay. All three dispersant additives showed a thixotropic recovery above 100% in the three-interval test. Regarding the dispersibility after one year, the MRF formulations with octan-1-amine and lecithin were reproved, as they reached normal force peaks of 19 and 24 N, while the work was 28 and 415 mJ, respectively. The best MRF was formulated with octan-1-ol, and resulted in a normal force of 0.33 N and 3.4 mJ at 35 mm of vane penetration. Therefore, we conclude that the MRF with octan-1-ol and montmorillonite #6 showed a better balance between thixotropy, MR effect, and, above all, good redispersibility.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Expanding the frontiers of cool-dwarf asteroseismology with ESPRESSO. Detection of solar-like oscillations in the K5 dwarf $ε$ Indi
Authors:
T. L. Campante,
H. Kjeldsen,
Y. Li,
M. N. Lund,
A. M. Silva,
E. Corsaro,
J. Gomes da Silva,
J. H. C. Martins,
V. Adibekyan,
T. Azevedo Silva,
T. R. Bedding,
D. Bossini,
D. L. Buzasi,
W. J. Chaplin,
R. R. Costa,
M. S. Cunha,
E. Cristo,
J. P. Faria,
R. A. García,
D. Huber,
M. S. Lundkvist,
T. S. Metcalfe,
M. J. P. F. G. Monteiro,
A. W. Neitzel,
M. B. Nielsen
, et al. (3 additional authors not shown)
Abstract:
Fuelled by space photometry, asteroseismology is vastly benefitting the study of cool main-sequence stars, which exhibit convection-driven solar-like oscillations. Even so, the tiny oscillation amplitudes in K dwarfs continue to pose a challenge to space-based asteroseismology. A viable alternative is offered by the lower stellar noise over the oscillation timescales in Doppler observations. In th…
▽ More
Fuelled by space photometry, asteroseismology is vastly benefitting the study of cool main-sequence stars, which exhibit convection-driven solar-like oscillations. Even so, the tiny oscillation amplitudes in K dwarfs continue to pose a challenge to space-based asteroseismology. A viable alternative is offered by the lower stellar noise over the oscillation timescales in Doppler observations. In this letter we present the definite detection of solar-like oscillations in the bright K5 dwarf $ε$ Indi based on time-intensive observations collected with the ESPRESSO spectrograph at the VLT, thus making it the coolest seismic dwarf ever observed. We measured the frequencies of a total of 19 modes of degree $\ell=0$--2 along with $ν_{\rm max}=5305\pm176\:{\rm μHz}$ and $Δν=201.25\pm0.16\:{\rm μHz}$. The peak amplitude of radial modes is $2.6\pm0.5\:{\rm cm\,s^{-1}}$, or a mere ${\sim} 14\%$ of the solar value. Measured mode amplitudes are ${\sim} 2$ times lower than predicted from a nominal $L/M$ scaling relation and favour a scaling closer to $(L/M)^{1.5}$ below ${\sim} 5500\:{\rm K}$, carrying important implications for our understanding of the coupling efficiency between pulsations and near-surface convection in K dwarfs. This detection conclusively shows that precise asteroseismology of cool dwarfs is possible down to at least the mid-K regime using next-generation spectrographs on large-aperture telescopes, effectively opening up a new domain in observational asteroseismology.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Curves and surfaces making a constant angle with a parallel transported direction in Riemannian spaces
Authors:
Luiz C. B. da Silva,
Gilson S. Ferreira Jr,
José D. da Silva
Abstract:
In the last two decades, much effort has been dedicated to studying curves and surfaces according to their angle with a given direction. However, most findings were obtained using a case-by-case approach, and it is often unclear what are consequences of the specificities of the ambient manifold and what could be generic. In this work, we propose a theoretical framework to unify parts of these find…
▽ More
In the last two decades, much effort has been dedicated to studying curves and surfaces according to their angle with a given direction. However, most findings were obtained using a case-by-case approach, and it is often unclear what are consequences of the specificities of the ambient manifold and what could be generic. In this work, we propose a theoretical framework to unify parts of these findings. We study curves and surfaces by prescribing the angle they make with a parallel transported vector field. We show that the characterization of Euclidean helices in terms of their curvature and torsion is also valid in any Riemannian manifold. Among other properties, we prove that surfaces making a constant angle with a parallel transported direction are extrinsically flat ruled surfaces. We also investigate the relation between their geodesics and the so-called slant helices; we prove that surfaces of constant angle are the rectifying surface of a slant helix, i.e., the ruled surface with rulings given by the Darboux vector field of the directrix. We characterize rectifying surfaces of constant angle; in other words, when their geodesics are slant helices. As a corollary, we show that if every geodesic of a surface of constant angle is a slant helix, then the ambient manifold is flat. Finally, we characterize surfaces in the product of a Riemannian surface with the real line making a constant angle with the vertical real direction.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Selecting energy-momentum trace dependent gravity theories with LSS
Authors:
Jonas Pinheiro da Silva,
Hermano Velten
Abstract:
We study scalar cosmological perturbations in $f(R, T)$ modified gravity theories being $T$ the trace of the energy-momentum tensor. We provide detailed equations for the matter energy density contrast. We solve then numerically to promote a comparison with available large scale structure (LSS) formation observational data on $f σ_8$ and also addressing the $S_8$ tension. We identify $f(R,T)$ mode…
▽ More
We study scalar cosmological perturbations in $f(R, T)$ modified gravity theories being $T$ the trace of the energy-momentum tensor. We provide detailed equations for the matter energy density contrast. We solve then numerically to promote a comparison with available large scale structure (LSS) formation observational data on $f σ_8$ and also addressing the $S_8$ tension. We identify $f(R,T)$ models that lead either to growth enhancement or suppression. Since recent results in the literature indicate a preference for the latter feature, this type of analysis is quite useful to select viable modifications of gravity. We studied class of such $f(R,T)$ models are either ruled out or severely restricted.
△ Less
Submitted 8 April, 2024; v1 submitted 11 March, 2024;
originally announced March 2024.
-
The ďAlembert solution in hyperboloidal foliations
Authors:
Juan A. Valiente Kroon,
Lidia J. Gomes Da Silva
Abstract:
We explicitly construct the analogue of the ďAlembert solution to the 1+1 wave equation in an hyperboloidal setting. This hyperboloidal ďAlembert solution is used, in turn, to gain intuition into the behaviour of solutions to the wave equation in a hyperboloidal foliation and to explain some apparently anomalous behaviour observed in numerically constructed solutions discussed in the literature.
We explicitly construct the analogue of the ďAlembert solution to the 1+1 wave equation in an hyperboloidal setting. This hyperboloidal ďAlembert solution is used, in turn, to gain intuition into the behaviour of solutions to the wave equation in a hyperboloidal foliation and to explain some apparently anomalous behaviour observed in numerically constructed solutions discussed in the literature.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Low-amplitude solar-like oscillations in the K5 V star $\varepsilon$ Indi A
Authors:
Mia S. Lundkvist,
Hans Kjeldsen,
Timothy R. Bedding,
Mark J. McCaughrean,
R. Paul Butler,
Ditte Slumstrup,
Tiago L. Campante,
Conny Aerts,
Torben Arentoft,
Hans Bruntt,
Cátia V. Cardoso,
Fabien Carrier,
Laird M. Close,
João Gomes da Silva,
Thomas Kallinger,
Robert R. King,
Yaguang Li,
Simon J. Murphy,
Jakob L. Rørsted,
Dennis Stello
Abstract:
We have detected solar-like oscillations in the mid K-dwarf $\varepsilon$ Indi A, making it the coolest dwarf to have measured oscillations. The star is noteworthy for harboring a pair of brown dwarf companions and a Jupiter-type planet. We observed $\varepsilon$ Indi A during two radial velocity campaigns, using the high-resolution spectrographs HARPS (2011) and UVES (2021). Weighting the time se…
▽ More
We have detected solar-like oscillations in the mid K-dwarf $\varepsilon$ Indi A, making it the coolest dwarf to have measured oscillations. The star is noteworthy for harboring a pair of brown dwarf companions and a Jupiter-type planet. We observed $\varepsilon$ Indi A during two radial velocity campaigns, using the high-resolution spectrographs HARPS (2011) and UVES (2021). Weighting the time series, we computed the power spectra and established the detection of solar-like oscillations with a power excess located at $5265 \pm 110 \ μ$Hz -- the highest frequency solar-like oscillations so far measured in any star. The measurement of the center of the power excess allows us to compute a stellar mass of $0.782 \pm 0.023 \ M_\odot$ based on scaling relations and a known radius from interferometry. We also determine the amplitude of the peak power and note that there is a slight difference between the two observing campaigns, indicating a varying activity level. Overall, this work confirms that low-amplitude solar-like oscillations can be detected in mid-K type stars in radial velocity measurements obtained with high-precision spectrographs.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Split Covariance Intersection with Correlated Components for Distributed Estimation
Authors:
Colin Cros,
Pierre-Olivier Amblard,
Christophe Prieur,
Jean-François Da Rocha
Abstract:
This paper introduces a new conservative fusion method to exploit the correlated components within the estimation errors. Fusion is the process of combining multiple estimates of a given state to produce a new estimate with a smaller MSE. To perform the optimal linear fusion, the (centralized) covariance associated with the errors of all estimates is required. If it is partially unknown, the optim…
▽ More
This paper introduces a new conservative fusion method to exploit the correlated components within the estimation errors. Fusion is the process of combining multiple estimates of a given state to produce a new estimate with a smaller MSE. To perform the optimal linear fusion, the (centralized) covariance associated with the errors of all estimates is required. If it is partially unknown, the optimal fusion cannot be computed. Instead, a solution is to perform a conservative fusion. A conservative fusion provides a gain and a bound on the resulting MSE matrix which guarantees that the error is not underestimated. A well-known conservative fusion is the Covariance Intersection fusion. It has been modified to exploit the uncorrelated components within the errors. In this paper, it is further extended to exploit the correlated components as well. The resulting fusion is integrated into standard distributed algorithms where it allows exploiting the process noise observed by all agents. The improvement is confirmed by simulations.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Universal regularity estimates for solutions to fully nonlinear elliptic equations with oblique boundary data
Authors:
Junior da S. Bessa,
João Vitor da Silva,
Gleydson C. Ricarte
Abstract:
In this work, we establish universal moduli of continuity for viscosity solutions to fully nonlinear elliptic equations with oblique boundary conditions, whose general model is given by $$ \left\{ \begin{array}{rcl} F(D^2u,x) &=& f(x) \quad \mbox{in} \,\, Ω\\ β(x) \cdot Du(x) + γ(x) \, u(x)&=& g(x) \quad \mbox{on} \,\, \partial Ω. \end{array} \right. $$ Such regularity estimates are achieved by ex…
▽ More
In this work, we establish universal moduli of continuity for viscosity solutions to fully nonlinear elliptic equations with oblique boundary conditions, whose general model is given by $$ \left\{ \begin{array}{rcl} F(D^2u,x) &=& f(x) \quad \mbox{in} \,\, Ω\\ β(x) \cdot Du(x) + γ(x) \, u(x)&=& g(x) \quad \mbox{on} \,\, \partial Ω. \end{array} \right. $$ Such regularity estimates are achieved by exploring the integrability properties of $f$ based on different scenarios, making a $\text{VMO}$ assumption on the coefficients of $F$, and by considering suitable smoothness properties on the boundary data $β, γ$ and $g$. Particularly, we derive sharp estimates for borderline cases where $f \in L^n(Ω)$ and $f\in p-\textrm{BMO}(Ω)$. Additionally, for source terms in $L^p(Ω)$, for $p \in (n, \infty)$, we obtain sharp gradient estimates. Finally, we also address Schauder-type estimates for convex/concave operators and suitable Hölder data.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
A Survey of Large Language Models in Cybersecurity
Authors:
Gabriel de Jesus Coelho da Silva,
Carlos Becker Westphall
Abstract:
Large Language Models (LLMs) have quickly risen to prominence due to their ability to perform at or close to the state-of-the-art in a variety of fields while handling natural language. An important field of research is the application of such models at the cybersecurity context. This survey aims to identify where in the field of cybersecurity LLMs have already been applied, the ways in which they…
▽ More
Large Language Models (LLMs) have quickly risen to prominence due to their ability to perform at or close to the state-of-the-art in a variety of fields while handling natural language. An important field of research is the application of such models at the cybersecurity context. This survey aims to identify where in the field of cybersecurity LLMs have already been applied, the ways in which they are being used and their limitations in the field. Finally, suggestions are made on how to improve such limitations and what can be expected from these systems once these limitations are overcome.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Hölder invariance of the Henry-Parusinski invariant
Authors:
Alexandre Fernandes,
José Edson Sampaio,
Joserlan Perote da Silva
Abstract:
In this article, we show the Hölder invariance of the Henry-Parusinski invariant. For a single germ $ f$, the Henry-Parusinski invariant of $ f $ is given in terms of the leading coefficients of the asymptotic expansion of $ f $ along the branches of the generic polar curve of $f$. As a consequence, we obtain that the classification problem of polynomial function-germs, with uniformly bounded degr…
▽ More
In this article, we show the Hölder invariance of the Henry-Parusinski invariant. For a single germ $ f$, the Henry-Parusinski invariant of $ f $ is given in terms of the leading coefficients of the asymptotic expansion of $ f $ along the branches of the generic polar curve of $f$. As a consequence, we obtain that the classification problem of polynomial function-germs, with uniformly bounded degree, under Hölder equivalence, admits continuous moduli.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Position Paper: Toward New Frameworks for Studying Model Representations
Authors:
Satvik Golechha,
James Dao
Abstract:
Mechanistic interpretability (MI) aims to understand AI models by reverse-engineering the exact algorithms neural networks learn. Most works in MI so far have studied behaviors and capabilities that are trivial and token-aligned. However, most capabilities are not that trivial, which advocates for the study of hidden representations inside these networks as the unit of analysis. We do a literature…
▽ More
Mechanistic interpretability (MI) aims to understand AI models by reverse-engineering the exact algorithms neural networks learn. Most works in MI so far have studied behaviors and capabilities that are trivial and token-aligned. However, most capabilities are not that trivial, which advocates for the study of hidden representations inside these networks as the unit of analysis. We do a literature review, formalize representations for features and behaviors, highlight their importance and evaluation, and perform some basic exploration in the mechanistic interpretability of representations. With discussion and exploratory results, we justify our position that studying representations is an important and under-studied field, and that currently established methods in MI are not sufficient to understand representations, thus pushing for the research community to work toward new frameworks for studying representations.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Polarity-induced selective area epitaxy of GaN nanowires
Authors:
Ziani de Souza Schiaber,
Gabriele Calabrese,
Xiang Kong,
Achim Trampert,
Bernd Jenichen,
José Humberto Dias da Silva,
Lutz Geelhaar,
Oliver Brandt,
Sergio Fernández-Garrido
Abstract:
We present a conceptually novel approach to achieve selective area epitaxy of GaN nanowires. The approach is based on the fact that these nanostructures do not form in plasma-assisted molecular beam epitaxy on structurally and chemically uniform cation-polar substrates. By in situ depositing and nitridating Si on a Ga-polar GaN film, we locally reverse the polarity to induce the selective area epi…
▽ More
We present a conceptually novel approach to achieve selective area epitaxy of GaN nanowires. The approach is based on the fact that these nanostructures do not form in plasma-assisted molecular beam epitaxy on structurally and chemically uniform cation-polar substrates. By in situ depositing and nitridating Si on a Ga-polar GaN film, we locally reverse the polarity to induce the selective area epitaxy of N-polar GaN nanowires. We show that the nanowire number density can be controlled over several orders of magnitude by varying the amount of pre-deposited Si. Using this growth approach, we demonstrate the synthesis of single-crystalline and uncoalesced nanowires with diameters as small as 20 nm. The achievement of nanowire number densities low enough to prevent the shadowing of the nanowire sidewalls from the im**ing fluxes paves the way for the realization of homogeneous core-shell heterostructures without the need of using ex situ pre-patterned substrates.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
DiscoTEX: Discontinuous collocation and implicit-turned-explicit (IMTEX) integration symplectic, symmetric numerical algorithms with higher order jumps for differential equations with numerical black hole perturbation theory applications
Authors:
Lidia J. Gomes Da Silva
Abstract:
Dirac delta distributionally sourced differential equations emerge in many dynamical physical systems from neuroscience to black hole perturbation theory. Most of these lack exact analytical solutions and are thus best tackled numerically. This work describes a generic numerical algorithm which constructs discontinuous spatial and temporal discretisations by operating on discontinuous Lagrange and…
▽ More
Dirac delta distributionally sourced differential equations emerge in many dynamical physical systems from neuroscience to black hole perturbation theory. Most of these lack exact analytical solutions and are thus best tackled numerically. This work describes a generic numerical algorithm which constructs discontinuous spatial and temporal discretisations by operating on discontinuous Lagrange and Hermite interpolation formulae recovering higher order accuracy. It is shown by solving the distributionally sourced wave equation, which has analytical solutions, that numerical weak-form solutions can be recovered to high order accuracy by solving a first-order reduced system of ordinary differential equations. The method-of-lines framework is applied to the DiscoTEX algorithm i.e through discontinuous collocation with implicit-turned-explicit (IMTEX) integration methods which are symmetric and conserve symplectic structure. Furthermore, the main application of the algorithm is proved, for the first-time, by calculating the amplitude at any desired location within the numerical grid, including at the position (and at its right and left limit) where the wave- (or wave-like) equation is discontinuous via interpolation using DiscoTEX. This is shown, firstly by solving the wave- (or wave-like) equation and comparing the numerical weak-form solution to the exact solution. Finally, one shows how to reconstruct the scalar and gravitational metric perturbations from weak-form numerical solutions of a non-rotating black hole, which do not have known exact analytical solutions, and compare against state-of-the-art frequency domain results. One concludes by motivating how DiscoTEX, and related algorithms, open a promising new alternative Extreme-Mass-Ratio-Inspiral (EMRI)s waveform generation route via a self-consistent evolution for the gravitational self-force programme in the time-domain.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Pseudorange Rigidity and Solvability of Cooperative GNSS Positioning
Authors:
Colin Cros,
Pierre-Olivier Amblard,
Christophe Prieur,
Jean-François Da Rocha
Abstract:
Global Navigation Satellite Systems (GNSS) are a widely used technology for positioning and navigation. GNSS positioning relies on pseudorange measurements from satellites to receivers. A pseudorange is the apparent distance between two agents deduced from the time-of-flight of a signal sent from one agent to the other. Because of the lack of synchronization between the agents' clocks, it is a bia…
▽ More
Global Navigation Satellite Systems (GNSS) are a widely used technology for positioning and navigation. GNSS positioning relies on pseudorange measurements from satellites to receivers. A pseudorange is the apparent distance between two agents deduced from the time-of-flight of a signal sent from one agent to the other. Because of the lack of synchronization between the agents' clocks, it is a biased version of their distance. This paper introduces a new rigidity theory adapted to pseudorange measurements. The peculiarity of pseudoranges is that they are asymmetrical measurements. Therefore, unlike other usual rigidities, the graphs of pseudorange frameworks are directed. In this paper, pseudorange rigidity is proved to be a generic property of the underlying undirected graph of constraints. The main result is a characterization of rigid pseudorange graphs as combinations of rigid distance graphs and connected graphs. This new theory is adapted for GNSS. It provides new insights into the minimum number of satellites needed to locate a receiver, and is applied to the localization of GNSS cooperative networks of receivers. The interests of asymmetrical constraints in the context of formation control are also discussed.
△ Less
Submitted 25 June, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
Kairos: Efficient Temporal Graph Analytics on a Single Machine
Authors:
Joana M. F. da Trindade,
Julian Shun,
Samuel Madden,
Nesime Tatbul
Abstract:
Many important societal problems are naturally modeled as algorithms over temporal graphs. To date, however, most graph processing systems remain inefficient as they rely on distributed processing even for graphs that fit well within a commodity server's available storage. In this paper, we introduce Kairos, a temporal graph analytics system that provides application developers a framework for eff…
▽ More
Many important societal problems are naturally modeled as algorithms over temporal graphs. To date, however, most graph processing systems remain inefficient as they rely on distributed processing even for graphs that fit well within a commodity server's available storage. In this paper, we introduce Kairos, a temporal graph analytics system that provides application developers a framework for efficiently implementing and executing algorithms over temporal graphs on a single machine. Specifically, Kairos relies on fork-join parallelism and a highly optimized parallel data structure as core primitives to maximize performance of graph processing tasks needed for temporal graph analytics. Furthermore, we introduce the notion of selective indexing and show how it can be used with an efficient index to speedup temporal queries. Our experiments on a 24-core server show that our algorithms obtain good parallel speedups, and are significantly faster than equivalent algorithms in existing temporal graph processing systems: up to 60x against a shared-memory approach, and several orders of magnitude when compared with distributed processing of graphs that fit within a single server.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Irreducible representations of the inhomogeneous Lorentz group with two-fold Wigner degeneracy
Authors:
Dharam Vir Ahluwalia,
G. B. de Gracia,
Julio M. Hoff da Silva,
Cheng-Yang Lee,
B. M. Pimentel
Abstract:
Not all complete set of spinors can be used as expansion coefficients of a quantum field. In fact, Steven Weinberg established the uniqueness of Dirac spinors for this purpose provided: (a) one paid due attention to the multiplicative phases for each of the spinors, and (b) one paired these to creation and annihilation operators in a specific manner. This is implicit in his implementation of the r…
▽ More
Not all complete set of spinors can be used as expansion coefficients of a quantum field. In fact, Steven Weinberg established the uniqueness of Dirac spinors for this purpose provided: (a) one paid due attention to the multiplicative phases for each of the spinors, and (b) one paired these to creation and annihilation operators in a specific manner. This is implicit in his implementation of the rotational symmetry for the spin half quantum field. Among the numerous complete set of spinors that are available to a physicist, Elko occupies a unique status that allows it to enter as expansion coefficients of a quantum field without violating Weinberg's no go theorem. How this paradigm changing claim arises is the primary subject of this communication. Weinberg's no go theorem is evaded by exploiting a uniquely special feature of Elko that allows us to introduce a doubling of the particle-antiparticle degrees of freedom from four to eight. Weinberg had dismissed this degeneracy on the ground that, "no examples are known of particles that furnish unconventional representations of inversions." Here we will find that this degeneracy, once envisioned by Eugene Wigner, in fact gives rise to a quantum field that has all the theoretical properties required of dark matter.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Cameron--Martin Type Theorem for a Class of non-Gaussian Measures
Authors:
Mohamed Erraoui,
Michael Röckner,
José Luís da Silva
Abstract:
In this paper, we study the quasi-invariant property of a class of non-Gaussian measures. These measures are associated with the family of generalized grey Brownian motions. We identify the Cameron--Martin space and derive the explicit Radon-Nikodym density in terms of the Wiener integral with respect to the fractional Brownian motion. Moreover, we show an integration by parts formula for the deri…
▽ More
In this paper, we study the quasi-invariant property of a class of non-Gaussian measures. These measures are associated with the family of generalized grey Brownian motions. We identify the Cameron--Martin space and derive the explicit Radon-Nikodym density in terms of the Wiener integral with respect to the fractional Brownian motion. Moreover, we show an integration by parts formula for the derivative operator in the directions of the Cameron--Martin space. As a consequence, we derive the closability of both the derivative and the corresponding gradient operators.
△ Less
Submitted 25 December, 2023;
originally announced December 2023.
-
Non-standard Wigner doublets
Authors:
F. A. da Silva Barbosa,
J. M. Hoff da Silva
Abstract:
Guided by a conservative formulation in investigating the physical content of quantum fields, we explore non-standard Wigner classes of particles that could provide the basis for self-interaction models to dark matter. We critically contrast the analysis with long-standing constraints to non-standard Wigner classes in the literature to discuss the model's viability.
Guided by a conservative formulation in investigating the physical content of quantum fields, we explore non-standard Wigner classes of particles that could provide the basis for self-interaction models to dark matter. We critically contrast the analysis with long-standing constraints to non-standard Wigner classes in the literature to discuss the model's viability.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Placement of Biological Membrane Patches in a Nanofluidic Gap with Control over Position and Orientation
Authors:
Francesca Ruggeri,
Christian Schwemmer,
Mirko Stauffer,
Philippe M. Nicollier,
Jacqueline Figueiredo da Silva,
Patrick D. Bosshart,
Kirstin Kochems,
Dimitrios Fotiadis,
Armin Knoll,
Heiko Wolf
Abstract:
Purple membranes from the archaeon Halobacterium salinarum consist of two-dimensional crystals of the light-driven proton pump bacteriorhodopsin, which convert photons into a proton gradient across the cell membrane. This functional feature and the structural rigidity make them appealing candidates for integration into biomimetic devices. To this end, and in order to carry out their function, purp…
▽ More
Purple membranes from the archaeon Halobacterium salinarum consist of two-dimensional crystals of the light-driven proton pump bacteriorhodopsin, which convert photons into a proton gradient across the cell membrane. This functional feature and the structural rigidity make them appealing candidates for integration into biomimetic devices. To this end, and in order to carry out their function, purple membranes must be positioned in the correct orientation at the position of interest. Precise placement and control over the orientation of nanoscale objects still constitutes a formidable challenge. Here we show that isolated purple membrane patches can be transported and positioned at predefined locations in nanofluidic confinement, with control over their orientation at the target sites. The transport is achieved through a rocking Brownian motor scheme, while the controlled deposition of the membranes is realized by engineering the surface potential of a fluid-filled nanofluidic slit. This controlled manipulation of purple membrane patches outlines a new pathway towards the integration of biological or other delicate supramolecular structures into top-down-fabricated patterns, for the assembly of nanoscale hybrid devices that serve as a light-driven source of (chemical) energy.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
Lipschitz regularity of almost minimizers in a Bernoulli problem with non-standard growth
Authors:
João Vitor da Silva,
Analía Silva,
Hernán Vivas
Abstract:
In this work we establish the optimal Lipschitz regularity for non-negative almost minimizers of the one-phase Bernoulli-type functional $$ \mathcal{J}_{\mathrm{G}}(u,Ω) := \int_Ω\left(\mathrm{G}(|\nabla u|)+χ_{\{u>0\}}\right)\,dx $$ where $Ω\subset \mathbb{R}^n$ is a bounded domain and $\mathrm{G}: [0, \infty) \to [0, \infty) $ is a Young function with $\mathrm{G}^{\prime}=g$ satisfying the Liebe…
▽ More
In this work we establish the optimal Lipschitz regularity for non-negative almost minimizers of the one-phase Bernoulli-type functional $$ \mathcal{J}_{\mathrm{G}}(u,Ω) := \int_Ω\left(\mathrm{G}(|\nabla u|)+χ_{\{u>0\}}\right)\,dx $$ where $Ω\subset \mathbb{R}^n$ is a bounded domain and $\mathrm{G}: [0, \infty) \to [0, \infty) $ is a Young function with $\mathrm{G}^{\prime}=g$ satisfying the Lieberman's classical conditions. Moreover, of independent mathematical interest, we also address a Höder regularity characterization via Campanato-type estimates in the context of Orlicz modulars, which is new for such a class of non-standard growth functionals.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Beam test of a 180 nm CMOS Pixel Sensor for the CEPC vertex detector
Authors:
Tianya Wu,
Shuqi Li,
Wei Wang,
Jia Zhou,
Ziyue Yan,
Yiming Hu,
Xiaoxu Zhang,
Zhijun Liang,
Wei Wei,
Ying Zhang,
Xiaomin Wei,
Xinhui Huang,
Lei Zhang,
Ming Qi,
Hao Zeng,
Xuewei Jia,
Jun Hu,
**yu Fu,
Hongyu Zhang,
Gang Li,
Linghui Wu,
Mingyi Dong,
Xiaoting Li,
Raimon Casanova,
Liang Zhang
, et al. (6 additional authors not shown)
Abstract:
The proposed Circular Electron Positron Collider (CEPC) imposes new challenges for the vertex detector in terms of pixel size and material budget. A Monolithic Active Pixel Sensor (MAPS) prototype called TaichuPix, based on a column drain readout architecture, has been developed to address the need for high spatial resolution. In order to evaluate the performance of the TaichuPix-3 chips, a beam t…
▽ More
The proposed Circular Electron Positron Collider (CEPC) imposes new challenges for the vertex detector in terms of pixel size and material budget. A Monolithic Active Pixel Sensor (MAPS) prototype called TaichuPix, based on a column drain readout architecture, has been developed to address the need for high spatial resolution. In order to evaluate the performance of the TaichuPix-3 chips, a beam test was carried out at DESY II TB21 in December 2022. Meanwhile, the Data Acquisition (DAQ) for a muti-plane configuration was tested during the beam test. This work presents the characterization of the TaichuPix-3 chips with two different processes, including cluster size, spatial resolution, and detection efficiency. The analysis results indicate the spatial resolution better than 5 $μm$ and the detection efficiency exceeds 99.5 % for both TaichuPix-3 chips with the two different processes.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Schauder and Calderón-Zygmund type estimates for fully nonlinear parabolic equations under "small ellipticity aperture" and applications
Authors:
João Vitor da Silva,
Makson S. Santos
Abstract:
In this manuscript, we derive Schauder estimates for viscosity solutions to non-convex fully nonlinear second-order parabolic equations \[ \partial_t u - F(x, t,D^2u) = f (x, t) \quad \text{in} \quad \mathrm{Q}_1 = B_1 \times (-1, 0], \] provided that the source $f$ and the coefficients of $F$ are Hölder continuous functions and $F$ enjoys a small ellipticity aperture. Furthermore, for problems wi…
▽ More
In this manuscript, we derive Schauder estimates for viscosity solutions to non-convex fully nonlinear second-order parabolic equations \[ \partial_t u - F(x, t,D^2u) = f (x, t) \quad \text{in} \quad \mathrm{Q}_1 = B_1 \times (-1, 0], \] provided that the source $f$ and the coefficients of $F$ are Hölder continuous functions and $F$ enjoys a small ellipticity aperture. Furthermore, for problems with merely bounded data, we prove that such solutions are $C^{1, \text{Log-Lip}}$ smooth in the parabolic metric. We also address Calderón-Zygmund estimates for such a class of non-convex operators. Finally, we connect our findings with recent estimates for fully nonlinear models in certain solution classes.
△ Less
Submitted 4 November, 2023;
originally announced November 2023.
-
Direct System Identification of Dynamical Networks with Partial Measurements: a Maximum Likelihood Approach
Authors:
João Victor Galvão da Mata,
Anders Hansson,
Martin S. Andersen
Abstract:
This paper introduces a novel direct approach to system identification of dynamic networks with missing data based on maximum likelihood estimation. Dynamic networks generally present a singular probability density function, which poses a challenge in the estimation of their parameters. By leveraging knowledge about the network's interconnections, we show that it is possible to transform the probl…
▽ More
This paper introduces a novel direct approach to system identification of dynamic networks with missing data based on maximum likelihood estimation. Dynamic networks generally present a singular probability density function, which poses a challenge in the estimation of their parameters. By leveraging knowledge about the network's interconnections, we show that it is possible to transform the problem into a more tractable form by applying linear transformations. This results in a nonsingular probability density function, enabling the application of maximum likelihood estimation techniques. Our preliminary numerical results suggest that when combined with global optimization algorithms or a suitable initialization strategy, we are able to obtain a good estimate of the dynamics of the internal systems.
△ Less
Submitted 6 March, 2024; v1 submitted 1 November, 2023;
originally announced November 2023.
-
AdaSub: Stochastic Optimization Using Second-Order Information in Low-Dimensional Subspaces
Authors:
João Victor Galvão da Mata,
Martin S. Andersen
Abstract:
We introduce AdaSub, a stochastic optimization algorithm that computes a search direction based on second-order information in a low-dimensional subspace that is defined adaptively based on available current and past information. Compared to first-order methods, second-order methods exhibit better convergence characteristics, but the need to compute the Hessian matrix at each iteration results in…
▽ More
We introduce AdaSub, a stochastic optimization algorithm that computes a search direction based on second-order information in a low-dimensional subspace that is defined adaptively based on available current and past information. Compared to first-order methods, second-order methods exhibit better convergence characteristics, but the need to compute the Hessian matrix at each iteration results in excessive computational expenses, making them impractical. To address this issue, our approach enables the management of computational expenses and algorithm efficiency by enabling the selection of the subspace dimension for the search. Our code is freely available on GitHub, and our preliminary numerical results demonstrate that AdaSub surpasses popular stochastic optimizers in terms of time and number of iterations required to reach a given accuracy.
△ Less
Submitted 6 November, 2023; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Linear decomposition of approximate multi-controlled single qubit gates
Authors:
Jefferson D. S. Silva,
Thiago Melo D. Azevedo,
Israel F. Araujo,
Adenilton J. da Silva
Abstract:
We provide a method for compiling approximate multi-controlled single qubit gates into quantum circuits without ancilla qubits. The total number of elementary gates to decompose an n-qubit multi-controlled gate is proportional to 32n, and the previous best approximate approach without auxiliary qubits requires 32nk elementary operations, where k is a function that depends on the error threshold. T…
▽ More
We provide a method for compiling approximate multi-controlled single qubit gates into quantum circuits without ancilla qubits. The total number of elementary gates to decompose an n-qubit multi-controlled gate is proportional to 32n, and the previous best approximate approach without auxiliary qubits requires 32nk elementary operations, where k is a function that depends on the error threshold. The proposed decomposition depends on an optimization technique that minimizes the CNOT gate count for multi-target and multi-controlled CNOT and SU(2) gates. Computational experiments show the reduction in the number of CNOT gates to apply multi-controlled U(2) gates. As multi-controlled single-qubit gates serve as fundamental components of quantum algorithms, the proposed decomposition offers a comprehensive solution that can significantly decrease the count of elementary operations employed in quantum computing applications.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Comprehensive High-resolution Chemical Spectroscopy of Barnard's Star with SPIRou
Authors:
Farbod Jahandar,
René Doyon,
Étienne Artigau,
Neil J. Cook,
Charles Cadieux,
David Lafrenière,
Thierry Forveille,
Jean-François Donati,
Pascal Fouqué,
Andrés Carmona,
Ryan Cloutier,
Paul Cristofari,
Eric Gaidos,
João Gomes da Silva,
Lison Malo,
Eder Martioli,
J. -D. do Nascimento Jr.,
Stefan Pelletier,
Thomas Vandal,
Kim Venn
Abstract:
Determination of fundamental parameters of stars impacts all fields of astrophysics, from galaxy evolution to constraining the internal structure of exoplanets. This paper presents a detailed spectroscopic analysis of Barnard's star that compares an exceptionally high-quality (an average signal-to-noise ratio of $\sim$1000 in the entire domain), high-resolution NIR spectrum taken with CFHT/SPIRou…
▽ More
Determination of fundamental parameters of stars impacts all fields of astrophysics, from galaxy evolution to constraining the internal structure of exoplanets. This paper presents a detailed spectroscopic analysis of Barnard's star that compares an exceptionally high-quality (an average signal-to-noise ratio of $\sim$1000 in the entire domain), high-resolution NIR spectrum taken with CFHT/SPIRou to PHOENIX-ACES stellar atmosphere models. The observed spectrum shows thousands of lines not identified in the models with a similar large number of lines present in the model but not in the observed data. We also identify several other caveats such as continuum mismatch, unresolved contamination and spectral lines significantly shifted from their expected wavelengths, all of these can be a source of bias for abundance determination. Out of $>10^4$ observed lines in the NIR that could be used for chemical spectroscopy, we identify a short list of a few hundred lines that are reliable. We present a novel method for determining the effective temperature and overall metallicity of slowly-rotating M dwarfs that uses several groups of lines as opposed to bulk spectral fitting methods. With this method, we infer $T_{eff}$ = 3231 $\pm$ 21 K for Barnard's star, consistent with the value of 3238 $\pm$ 11 K inferred from the interferometric method. We also provide abundance measurements of 15 different elements for Barnard's star, including the abundances of four elements (K, O, Y, Th) never reported before for this star. This work emphasizes the need to improve current atmosphere models to fully exploit the NIR domain for chemical spectroscopy analysis.
△ Less
Submitted 1 April, 2024; v1 submitted 18 October, 2023;
originally announced October 2023.
-
An Adversarial Example for Direct Logit Attribution: Memory Management in gelu-4l
Authors:
James Dao,
Yeu-Tong Lau,
Can Rager,
Jett Janiak
Abstract:
How do language models deal with the limited bandwidth of the residual stream? Prior work has suggested that some attention heads and MLP layers may perform a "memory management" role. That is, clearing residual stream directions set by earlier layers by reading in information and writing out the negative version. In this work, we present concrete evidence for this phenomenon in a 4-layer transfor…
▽ More
How do language models deal with the limited bandwidth of the residual stream? Prior work has suggested that some attention heads and MLP layers may perform a "memory management" role. That is, clearing residual stream directions set by earlier layers by reading in information and writing out the negative version. In this work, we present concrete evidence for this phenomenon in a 4-layer transformer. We identify several heads in layer 2 that consistently remove the output of a single layer 0 head. We then verify that this erasure causally depends on the original written direction. We further demonstrate that direct logit attribution (DLA) suggests that writing and erasing heads directly contribute to predictions, when in fact their effects cancel out. Then we present adversarial prompts for which this effect is particularly salient. These findings reveal that memory management can make DLA results misleading. Accordingly, we make concrete recommendations for circuit analysis to prevent interpretability illusions.
△ Less
Submitted 9 November, 2023; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Boundary controllability of the Korteweg-de Vries equation: The Neumann case
Authors:
R. de A. Capistrano-Filho,
J. S. da Silva
Abstract:
This article gives a necessary first step to understanding the critical set phenomenon for the Korteweg-de Vries (KdV) equation posed on interval $[0,L]$ considering the Neumann boundary conditions with only one control input. We showed that the KdV equation is controllable in the critical case, i.e., when the spatial domain $L$ belongs to the set $\mathcal{R}_c$, where $c\neq-1$ and…
▽ More
This article gives a necessary first step to understanding the critical set phenomenon for the Korteweg-de Vries (KdV) equation posed on interval $[0,L]$ considering the Neumann boundary conditions with only one control input. We showed that the KdV equation is controllable in the critical case, i.e., when the spatial domain $L$ belongs to the set $\mathcal{R}_c$, where $c\neq-1$ and $$
\mathcal{R}_c:=\left\{\frac{2π}{\sqrt{3(c+1)}}\sqrt{m^2+ml+m^2};\ m,l\in \mathbb{N}^*\right\}\cup\left\{\frac{mπ}{\sqrt{c+1}};\ m\in \mathbb{N}^*\right\}, $$ the KdV equation is exactly controllable in $L^2(0,L)$. The result is achieved using the return method together with a fixed point argument.
△ Less
Submitted 26 February, 2024; v1 submitted 7 October, 2023;
originally announced October 2023.
-
Sim-to-Real Learning for Humanoid Box Loco-Manipulation
Authors:
Jeremy Dao,
Helei Duan,
Alan Fern
Abstract:
In this work we propose a learning-based approach to box loco-manipulation for a humanoid robot. This is a particularly challenging problem due to the need for whole-body coordination in order to lift boxes of varying weight, position, and orientation while maintaining balance. To address this challenge, we present a sim-to-real reinforcement learning approach for training general box pickup and c…
▽ More
In this work we propose a learning-based approach to box loco-manipulation for a humanoid robot. This is a particularly challenging problem due to the need for whole-body coordination in order to lift boxes of varying weight, position, and orientation while maintaining balance. To address this challenge, we present a sim-to-real reinforcement learning approach for training general box pickup and carrying skills for the bipedal robot Digit. Our reward functions are designed to produce the desired interactions with the box while also valuing balance and gait quality. We combine the learned skills into a full system for box loco-manipulation to achieve the task of moving boxes from one table to another with a variety of sizes, weights, and initial configurations. In addition to quantitative simulation results, we demonstrate successful sim-to-real transfer on the humanoid r
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Fox-H densities and completely monotone generalized Wright functions
Authors:
L. Beghin,
L. Cristofaro,
J. L. Da Silva
Abstract:
Due to their flexibility, Fox-$H$ functions are widely studied and applied to many research topics, such as physics, statistics, viscoelasticity, etc. The special cases represented by the Mittag-Leffler and Wright functions prove their great impact. In this paper, we focus on certain explicit assumptions that allow us to use the Fox-$H$ functions as densities. We then provide a subfamily of the la…
▽ More
Due to their flexibility, Fox-$H$ functions are widely studied and applied to many research topics, such as physics, statistics, viscoelasticity, etc. The special cases represented by the Mittag-Leffler and Wright functions prove their great impact. In this paper, we focus on certain explicit assumptions that allow us to use the Fox-$H$ functions as densities. We then provide a subfamily of the latter, called Fox-$H$ densities with moments of any order, and give their Laplace transforms as entire generalized Wright functions. The class of r.v.'s with these densities is proved to possess a monoid structure. We present eight subclasses of special cases of such densities (together with their Laplace transforms) that are particularly relevant in applications. To analyze the existence conditions of Fox-$H$ functions, we derive asymptotic results and their analytic extension.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Learning Vision-Based Bipedal Locomotion for Challenging Terrain
Authors:
Helei Duan,
Bikram Pandit,
Mohitvishnu S. Gadde,
Bart van Marum,
Jeremy Dao,
Chanho Kim,
Alan Fern
Abstract:
Reinforcement learning (RL) for bipedal locomotion has recently demonstrated robust gaits over moderate terrains using only proprioceptive sensing. However, such blind controllers will fail in environments where robots must anticipate and adapt to local terrain, which requires visual perception. In this paper, we propose a fully-learned system that allows bipedal robots to react to local terrain w…
▽ More
Reinforcement learning (RL) for bipedal locomotion has recently demonstrated robust gaits over moderate terrains using only proprioceptive sensing. However, such blind controllers will fail in environments where robots must anticipate and adapt to local terrain, which requires visual perception. In this paper, we propose a fully-learned system that allows bipedal robots to react to local terrain while maintaining commanded travel speed and direction. Our approach first trains a controller in simulation using a heightmap expressed in the robot's local frame. Next, data is collected in simulation to train a heightmap predictor, whose input is the history of depth images and robot states. We demonstrate that with appropriate domain randomization, this approach allows for successful sim-to-real transfer with no explicit pose estimation and no fine-tuning using real-world data. To the best of our knowledge, this is the first example of sim-to-real learning for vision-based bipedal locomotion over challenging terrains.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.