Showing 1–50 of 94 results for author: Winter, C

The invisible threat: assessing the collisional hazard posed by the undiscovered Venus co-orbital asteroids

Authors: V. Carruba, R. Sfair, R. A. Araujo, O. C. Winter, D. C. Mourão, S. Di Ruzza, S. Aljbaae, G. Caritá, R. C. Domingos, A. A. Alves

Abstract: Currently, 20 co-orbital asteroids of Venus are known, with only one with an eccentricity below 0.38. This is most likely caused by observational biases since asteroids with larger eccentricities may approach the Earth and are easier to detect. We aim to assess the possible threat that the yet undetected population of Venus co-orbitals may pose to Earth, and investigate their detectability from Ea… ▽ More Currently, 20 co-orbital asteroids of Venus are known, with only one with an eccentricity below 0.38. This is most likely caused by observational biases since asteroids with larger eccentricities may approach the Earth and are easier to detect. We aim to assess the possible threat that the yet undetected population of Venus co-orbitals may pose to Earth, and investigate their detectability from Earth and space observatories. We used semi-analytical models of the 1:1 mean-motion resonance with Venus and numerical simulations to monitor close encounters with Earth on several co-orbital cycles. We analyzed observability windows and brightness variations for potential Venus co-orbitals as viewed from ground-based telescopes to assess their future detection feasibility with next-generation survey capabilities. There is a range of orbits with e < 0.38, larger at lower inclinations, for which Venus' co-orbitals can pose a collisional hazard to Earth. Current ground-based observations are constrained by periodic observing windows and solar elongation limitations, though the Rubin Observatory may detect some of these objects during favorable configurations. Space missions based on Venus' orbits may be instrumental in detecting Venus' co-orbitals at low eccentricities. △ Less

Submitted 21 May, 2025; originally announced May 2025.

Comments: 10 pages, 10 figures, Under review in A&A

The Moon as a possible source for Earth's co-orbital bodies

Authors: R. Sfair, L. C. Gomes, O. C. Winter, R. A. Moraes, G. Borderes-Motta, C. M. Schäfer

Abstract: There is a growing number of Earth's co-orbital bodies being discovered. At least five of them are known to be temporarily in quasi-satellite orbits. One of those, 469219 Kamo'oalewa, was identified as possibly having the same composition as the Moon. We explore the conditions necessary for lunar ejecta to evolve into Earth's co-orbital bodies, with particular attention to quasi-satellite orbits.… ▽ More There is a growing number of Earth's co-orbital bodies being discovered. At least five of them are known to be temporarily in quasi-satellite orbits. One of those, 469219 Kamo'oalewa, was identified as possibly having the same composition as the Moon. We explore the conditions necessary for lunar ejecta to evolve into Earth's co-orbital bodies, with particular attention to quasi-satellite orbits. We investigate the parameter space of ejection velocity and geographic launch location across the lunar surface. The study employs numerical simulations of the four-body problem (Sun-Earth-Moon-particle) with automated classification for co-orbital states. Particles are ejected from randomly distributed points covering the lunar surface with velocities from 1.0 to 2.6 times the Moon's escape velocity. Trajectories co-orbital to Earth are found to be common, with approximately 6.68% of particles evolving into Earth co-orbital motion and 1.92% exhibiting quasi-satellite behavior. We identify an optimal ejection velocity (1.2v$_{esc}$) for quasi-satellite production, yielding over 6% conversion efficiency. Successful ejections show a strong preference for the equatorial regions of the trailing hemisphere. Collisions with Earth or Moon occur for only 4% of the sample. Extended integrations reveal long-lived configurations, including tadpole orbits persisting for 10,000 years and horseshoe co-orbitals maintaining stability for 5,000 years. Our results strengthen the plausibility of lunar origin for Earth's co-orbital bodies, including quasi-satellites like Kamo'oalewa and 2024PT5. We identify both "prompt" and "delayed" co-orbital formation mechanisms, with a steady-state production regime that could explain the presence of lunar-derived objects in Earth's co-orbital regions despite infrequent major lunar impacts. △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: Submitted to The Open Journal of Astrophysics

Third-party compliance reviews for frontier AI safety frameworks

Authors: Aidan Homewood, Sophie Williams, Noemi Dreksler, John Lidiard, Malcolm Murray, Lennart Heim, Marta Ziosi, Seán Ó hÉigeartaigh, Michael Chen, Kevin Wei, Christoph Winter, Miles Brundage, Ben Garfinkel, Jonas Schuett

Abstract: Safety frameworks have emerged as a best practice for managing risks from frontier artificial intelligence (AI) systems. However, it may be difficult for stakeholders to know if companies are adhering to their frameworks. This paper explores a potential solution: third-party compliance reviews. During a third-party compliance review, an independent external party assesses whether a frontier AI com… ▽ More Safety frameworks have emerged as a best practice for managing risks from frontier artificial intelligence (AI) systems. However, it may be difficult for stakeholders to know if companies are adhering to their frameworks. This paper explores a potential solution: third-party compliance reviews. During a third-party compliance review, an independent external party assesses whether a frontier AI company is complying with its safety framework. First, we discuss the main benefits and challenges of such reviews. On the one hand, they can increase compliance with safety frameworks and provide assurance to internal and external stakeholders. On the other hand, they can create information security risks, impose additional cost burdens, and cause reputational damage, but these challenges can be partially mitigated by drawing on best practices from other industries. Next, we answer practical questions about third-party compliance reviews, namely: (1) Who could conduct the review? (2) What information sources could the reviewer consider? (3) How could compliance with the safety framework be assessed? (4) What information about the review could be disclosed externally? (5) How could the findings guide development and deployment actions? (6) When could the reviews be conducted? For each question, we evaluate a set of plausible options. Finally, we suggest "minimalist", "more ambitious", and "comprehensive" approaches for each question that a frontier AI company could adopt. △ Less

Submitted 2 May, 2025; originally announced May 2025.

Comments: 27 pages, 1 figure, 5 tables

Orbit, meteoroid size, and cosmic ray exposure history of the Aguas Zarcas CM2 breccia

Authors: Peter Jenniskens, Gerardo J. Soto, Gabriel Goncalves Silva, Oscar Lücke, Pilar Madrigal, Tatiana Ballestero, Carolina Salas Matamoros, Paulo Ruiz Cubillo, Daniela Cardozo Mourao, Othon Cabo Winter, Rafael Sfair, Clemens E. Tillier, Jim Albers, Laurence A. J. Garvie, Karen Ziegler, Qing-zhu Yin, Matthew E. Sanborn, Henner Busemann, My E. I. Riebe, Kees C. Welten, Marc W. Caffee, Matthias Laubenstein, Darrel K. Robertson, And David Nesvorny

Abstract: The Aguas Zarcas (Costa Rica) CM2 carbonaceous chondrite fell during night time in April 2019. Security and dashboard camera video of the meteor were analyzed to provide a trajectory, lightcurve, and orbit of the meteoroid. The trajectory was near vertical, 81° steep, arriving from an ~109° (WNW) direction with apparent entry speed of 14.6 +/- 0.6 km/s. The meteoroid penetrated to ~25 km altitude… ▽ More The Aguas Zarcas (Costa Rica) CM2 carbonaceous chondrite fell during night time in April 2019. Security and dashboard camera video of the meteor were analyzed to provide a trajectory, lightcurve, and orbit of the meteoroid. The trajectory was near vertical, 81° steep, arriving from an ~109° (WNW) direction with apparent entry speed of 14.6 +/- 0.6 km/s. The meteoroid penetrated to ~25 km altitude (5 MPa dynamic pressure), where the surviving mass shattered, producing a flare that was detected by the Geostationary Lightning Mappers on GOES-16 and GOES-17. The cosmogenic radionuclides were analyzed in three recovered meteorites by either gamma-ray spectroscopy or accelerator mass spectrometry (AMS), while noble gas concentrations and isotopic compositions were measured in the same fragment that was analyzed by AMS. From this, the pre-atmospheric size of the meteoroid and its cosmic-ray exposure age were determined. The studied samples came from a few cm up to 30 cm deep in an object with an original diameter of ~60 cm, that was ejected from its parent body 2.0 +/- 0.2 Ma ago. The ejected material had an argon retention age of 2.9 Ga. The object was delivered most likely by the 3:1 or 5:2 mean motion resonances and, without subsequent fragmentation, approached Earth from a low i < 2.8° inclined orbit with perihelion distance q = 0.98 AU close to Earth orbit. The steep entry trajectory and high strength resulted in deep penetration in the atmosphere and a relatively large fraction of surviving mass. △ Less

Submitted 31 March, 2025; originally announced April 2025.

Comments: 26 pages, 13 figures

Journal ref: Meteoritics & Planetary Science 60 (2025)

Forming Mercury by a grazing giant collision involving similar mass bodies

Authors: Patrick Franco, Fernando Roig, Othon C. Winter, Rafael Sfair, Christoph Burger, Christoph M. Schäfer

Abstract: The origin of Mercury still remains poorly understood compared to the other rocky planets of the Solar System. One of the most relevant constraints that any formation model has to fulfill refers to its internal structure, with a predominant iron core covered by a thin silicate layer. This led to the idea that it could be the product of a mantle stripping caused by a giant impact. Previous studies… ▽ More The origin of Mercury still remains poorly understood compared to the other rocky planets of the Solar System. One of the most relevant constraints that any formation model has to fulfill refers to its internal structure, with a predominant iron core covered by a thin silicate layer. This led to the idea that it could be the product of a mantle stripping caused by a giant impact. Previous studies in this line focused on binary collisions involving bodies of very different masses. However, such collisions are actually rare in N-body simulations of terrestrial planet formation, whereas collisions involving similar mass bodies appear to be more frequent. Here, we perform smooth particle hydrodynamics simulations to investigate the conditions under which collisions of similar mass bodies are able to form a Mercury-like planet. Our results show that such collisions can fulfill the necessary constraints in terms of mass (0.055 $M_\oplus$) and composition (30/70 silicate-to-iron mass ratio) within less than 5%, as long as the impact angles and velocities are properly adjusted according to well established scaling laws. △ Less

Submitted 4 March, 2025; originally announced March 2025.

Comments: 36 pages, 6 figures, 1 table

Reassessing the origin and evolution of Ecliptic Comets in the Planet-9 Scenario

Authors: Rafael Ribeiro, Andre Izidoro, Alessandro Morbidelli, David Nesvorny, Othon Cabo Winter

Abstract: A group of newly observed extreme trans-Neptunian objects exhibit unexpected orbital confinement, characterized by the alignment of orbital angular momentum vectors and apsidal lines. It is proposed that an undiscovered giant planet, named Planet-9, exists in the solar system's outer regions and causes this clustering. Initial studies suggested Planet-9 could have a mass of 15 Earth masses. Howeve… ▽ More A group of newly observed extreme trans-Neptunian objects exhibit unexpected orbital confinement, characterized by the alignment of orbital angular momentum vectors and apsidal lines. It is proposed that an undiscovered giant planet, named Planet-9, exists in the solar system's outer regions and causes this clustering. Initial studies suggested Planet-9 could have a mass of 15 Earth masses. However, such a massive planet strongly interacts with scattered disk objects (SDOs; 50 < a < 1000 au) and influences the orbits of short-period comets, resulting in orbital inclinations inconsistent with observations. This study models the formation and long-term evolution of trans-Neptunian object populations and the Oort cloud during the solar system's dynamical instability, using revised parameters for Planet-9. Simulations assume Planet-9 has a mass of 7.5 Earth masses, an inclination of ~20 degrees, a semi-major axis of ~600 au, and an eccentricity of ~0.3. Results suggest a less massive Planet-9 aligns with observed trans-Neptunian object inclinations and the number of ecliptic comets (D > 10 km). Distant Kuiper belt objects with 40 < q < 100 au and 200 < a < 500 au, particularly with significant inclinations, are more likely to align apsidally with Planet-9, with an anti-aligned-to-aligned ratio of 0.5-0.7. Lower inclination objects (<20 degrees) exhibit significant apsidal anti-alignment, with an anti-aligned-to-aligned ratio of 2-4. These findings offer a new observational direction to refine the search for Planet-9. △ Less

Submitted 28 January, 2025; originally announced January 2025.

Comments: Accepted in Icarus

Accretion of Uranus and Neptune: confronting different giant impact scenarios

Authors: Leandro Esteves, André Izidoro, Othon C. Winter

Abstract: The origins of Uranus and Neptune are not fully understood. Their inclined rotation axes -- obliquities -- suggest that they experienced giant impacts during their formation histories. Simulations modeling their accretion from giant impacts among ~5 Earth masses planetary embryos -- with roughly unity impactors' mass ratios -- have been able to broadly match their current masses, final mass ratio,… ▽ More The origins of Uranus and Neptune are not fully understood. Their inclined rotation axes -- obliquities -- suggest that they experienced giant impacts during their formation histories. Simulations modeling their accretion from giant impacts among ~5 Earth masses planetary embryos -- with roughly unity impactors' mass ratios -- have been able to broadly match their current masses, final mass ratio, and obliquity. However, due to angular momentum conservation, planets produced in these impacts tend to rotate too fast, compared to Uranus and Neptune. One potential solution for this problem consists of invoking instead collisions of objects with large mass ratios (e.g. a proto-Uranus with 13 Mearth and an embryo of 1 Mearth). Smooth-particle hydrodynamics simulations show that in this scenario final planets tend to have rotation periods more consistent with those of Uranus and Neptune. Here we performed a large suite of N-body numerical simulations modelling the formation of Uranus and Neptune to compare these different dynamical views. Our simulations start with a population of protoplanets and account for the effects of type-I migration, inclination and eccentricity tidal damping. Our results show that although scenarios allowing for large impactors' mass ratio favour slower rotating planets, the probability of occurring collisions in these specific simulations is significantly low. This is because gas tidal damping is relatively less efficient for low-mass embryos (<~1 Merath) and, consequently, such objects are mostly scattered by more massive objects (~13 Mearth) instead of colliding with them. Altogether, our results show that the probability of broadly matching the masses, mass ratio, and rotation periods of Uranus and Neptune in these two competing formation scenarios is broadly similar, within a factor of ~2, with overall probabilities of the order of ~0.1-1%. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Comments: 15 pages, 5 figures. Accepted for publication in Icarus

MSC Class: 85-10 ACM Class: J.2

GPT-4o System Card

Authors: OpenAI, :, Aaron Hurst, Adam Lerer, Adam P. Goucher, Adam Perelman, Aditya Ramesh, Aidan Clark, AJ Ostrow, Akila Welihinda, Alan Hayes, Alec Radford, Aleksander Mądry, Alex Baker-Whitcomb, Alex Beutel, Alex Borzunov, Alex Carney, Alex Chow, Alex Kirillov, Alex Nichol, Alex Paino, Alex Renzin, Alex Tachard Passos, Alexander Kirillov, Alexi Christakis , et al. (395 additional authors not shown)

Abstract: GPT-4o is an autoregressive omni model that accepts as input any combination of text, audio, image, and video, and generates any combination of text, audio, and image outputs. It's trained end-to-end across text, vision, and audio, meaning all inputs and outputs are processed by the same neural network. GPT-4o can respond to audio inputs in as little as 232 milliseconds, with an average of 320 mil… ▽ More GPT-4o is an autoregressive omni model that accepts as input any combination of text, audio, image, and video, and generates any combination of text, audio, and image outputs. It's trained end-to-end across text, vision, and audio, meaning all inputs and outputs are processed by the same neural network. GPT-4o can respond to audio inputs in as little as 232 milliseconds, with an average of 320 milliseconds, which is similar to human response time in conversation. It matches GPT-4 Turbo performance on text in English and code, with significant improvement on text in non-English languages, while also being much faster and 50\% cheaper in the API. GPT-4o is especially better at vision and audio understanding compared to existing models. In line with our commitment to building AI safely and consistent with our voluntary commitments to the White House, we are sharing the GPT-4o System Card, which includes our Preparedness Framework evaluations. In this System Card, we provide a detailed look at GPT-4o's capabilities, limitations, and safety evaluations across multiple categories, focusing on speech-to-speech while also evaluating text and image capabilities, and measures we've implemented to ensure the model is safe and aligned. We also include third-party assessments on dangerous capabilities, as well as discussion of potential societal impacts of GPT-4o's text and vision capabilities. △ Less

Submitted 25 October, 2024; originally announced October 2024.

Ramsey numbers for partially ordered sets

Authors: Christian Winter

Abstract: In this thesis, we present quantitative Ramsey-type results in the setting of finite sets that are equipped with a partial order, so-called posets. A prominent example of a poset is the Boolean lattice $Q_n$, which consists of all subsets of $\{1,\dots,n\}$, ordered by inclusion. For posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the smallest $N$ such that no matter how the elements of… ▽ More In this thesis, we present quantitative Ramsey-type results in the setting of finite sets that are equipped with a partial order, so-called posets. A prominent example of a poset is the Boolean lattice $Q_n$, which consists of all subsets of $\{1,\dots,n\}$, ordered by inclusion. For posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the smallest $N$ such that no matter how the elements of $Q_N$ are colored in blue and red, there is either an induced subposet isomorphic to $P$ in which every element is colored blue, or an induced subposet isomorphic to $Q$ in which every element is colored red. The central focus of this thesis is to investigate $R(P,Q_n)$, where $P$ is fixed and $n$ grows large. Our results contribute to an active area of discrete mathematics, which studies the existence of large homogeneous substructures in host structures with local constraints, introduced for graphs by Erdős and Hajnal. We provide an asymptotically tight bound on $R(P,Q_n)$ for $P$ from several classes of posets, and show a dichotomy in the asymptotic behavior of $R(P,Q_n)$, depending on whether $P$ contains a subposet isomorphic to one of two specific posets. A fundamental question in the study of poset Ramsey numbers is to determine the asymptotic behavior of $R(Q_n,Q_n)$ for large $n$. In this dissertation, we present improvements on the known lower and upper bound on $R(Q_n,Q_n)$. Moreover, we explore variations of the poset Ramsey setting, including Erdős-Hajnal-type questions when the small forbidden poset has a non-monochromatic color pattern, and so-called weak poset Ramsey numbers, which are concerned with non-induced subposets. △ Less

Submitted 13 September, 2024; originally announced September 2024.

Comments: 183 pages, PhD thesis, accepted for the degree of PhD in Mathematics at Karlsruhe Institute of Technology

MSC Class: 06A07; 05D10

Comparing the Pearson and Spearman Correlation Coefficients Across Distributions and Sample Sizes: A Tutorial Using Simulations and Empirical Data

Authors: J. C. F. de Winter, S. D. Gosling, J. Potter

Abstract: The Pearson product-moment correlation coefficient (rp) and the Spearman rank correlation coefficient (rs) are widely used in psychological research. We compare rp and rs on 3 criteria: variability, bias with respect to the population value, and robustness to an outlier. Using simulations across low (N = 5) to high (N = 1,000) sample sizes we show that, for normally distributed variables, rp and r… ▽ More The Pearson product-moment correlation coefficient (rp) and the Spearman rank correlation coefficient (rs) are widely used in psychological research. We compare rp and rs on 3 criteria: variability, bias with respect to the population value, and robustness to an outlier. Using simulations across low (N = 5) to high (N = 1,000) sample sizes we show that, for normally distributed variables, rp and rs have similar expected values but rs is more variable, especially when the correlation is strong. However, when the variables have high kurtosis, rp is more variable than rs. Next, we conducted a sampling study of a psychometric dataset featuring symmetrically distributed data with light tails, and of 2 Likert-type survey datasets, 1 with light-tailed and the other with heavy-tailed distributions. Consistent with the simulations, rp had lower variability than rs in the psychometric dataset. In the survey datasets with heavy-tailed variables in particular, rs had lower variability than rp, and often corresponded more accurately to the population Pearson correlation coefficient (Rp) than rp did. The simulations and the sampling studies showed that variability in terms of standard deviations can be reduced by about 20% by choosing rs instead of rp. In comparison, increasing the sample size by a factor of 2 results in a 41% reduction of the standard deviations of rs and rp. In conclusion, rp is suitable for light-tailed distributions, whereas rs is preferable when variables feature heavy-tailed distributions or when outliers are present, as is often the case in psychological research. △ Less

Submitted 28 August, 2024; originally announced August 2024.

Journal ref: Psychological Methods 21 (2016) 273-290

Walk along: An Experiment on Controlling the Mobile Robot 'Spot' with Voice and Gestures

Authors: Renchi Zhang, Jesse van der Linden, Dimitra Dodou, Harleigh Seyffert, Yke Bauke Eisma, Joost C. F. de Winter

Abstract: Robots are becoming more capable and can autonomously perform tasks such as navigating between locations. However, human oversight remains crucial. This study compared two touchless methods for directing mobile robots: voice control and gesture control, to investigate the efficiency of the methods and the preference of users. We tested these methods in two conditions: one in which participants rem… ▽ More Robots are becoming more capable and can autonomously perform tasks such as navigating between locations. However, human oversight remains crucial. This study compared two touchless methods for directing mobile robots: voice control and gesture control, to investigate the efficiency of the methods and the preference of users. We tested these methods in two conditions: one in which participants remained stationary and one in which they walked freely alongside the robot. We hypothesized that walking alongside the robot would result in higher intuitiveness ratings and improved task performance, based on the idea that walking promotes spatial alignment and reduces the effort required for mental rotation. In a 2x2 within-subject design, 218 participants guided the quadruped robot Spot along a circuitous route with multiple 90-degree turns using rotate left, rotate right, and walk forward commands. After each trial, participants rated the intuitiveness of the command mapping, while post-experiment interviews were used to gather the participants' preferences. Results showed that voice control combined with walking with Spot was the most favored and intuitive, whereas gesture control while standing caused confusion for left/right commands. Nevertheless, 29% of participants preferred gesture control, citing increased task engagement and visual congruence as reasons. An odometry-based analysis revealed that participants often followed behind Spot, particularly in the gesture control condition, when they were allowed to walk. In conclusion, voice control with walking produced the best outcomes. Improving physical ergonomics and adjusting gesture types could make gesture control more effective. △ Less

Submitted 14 April, 2025; v1 submitted 15 July, 2024; originally announced July 2024.

Diagonal poset Ramsey numbers

Authors: Maria Axenovich, Christian Winter

Abstract: A poset $(Q,\le_Q)$ contains an induced copy of a poset $(P,\le_P)$ if there exists an injective mapping $φ\colon P\to Q$ such that for any two elements $X,Y\in P$, $X\le_P Y$ if and only if $φ(X)\le_Q φ(Y)$. By $Q_n$ we denote the Boolean lattice $(2^{[n]},\subseteq)$. The poset Ramsey number $R(P,Q)$ for posets $P$ and $Q$ is the least integer $N$ for which any coloring of the elements of $Q_N$… ▽ More A poset $(Q,\le_Q)$ contains an induced copy of a poset $(P,\le_P)$ if there exists an injective mapping $φ\colon P\to Q$ such that for any two elements $X,Y\in P$, $X\le_P Y$ if and only if $φ(X)\le_Q φ(Y)$. By $Q_n$ we denote the Boolean lattice $(2^{[n]},\subseteq)$. The poset Ramsey number $R(P,Q)$ for posets $P$ and $Q$ is the least integer $N$ for which any coloring of the elements of $Q_N$ in blue and red contains either a blue induced copy of $P$ or a red induced copy of $Q$. In this paper, we show that $R(Q_m,Q_n)\le nm-\big(1-o(1)\big)n\log m$ where $n\ge m$ and $m$ is sufficiently large. This improves the best known upper bound on $R(Q_n,Q_n)$ from $n^2-n+2$ to $n^2-\big(1-o(1)\big) n\log n$. Furthermore, we determine $R(P,P)$ where $P$ is an $n$-fork or $n$-diamond up to an additive constant of $2$. A poset $(Q,\le_Q)$ contains a weak copy of $(P,\le_P)$ if there is an injection $ψ\colon P\to Q$ such that $ψ(X)\le_Q ψ(Y)$ for any $X,Y\in P$ with $X\le_P Y$. The weak poset Ramsey number $R^{\text{w}}(P,Q)$ is the smallest $N$ for which any blue/red-coloring of $Q_N$ contains a blue weak copy of $P$ or a red weak copy of $Q$. We show that $R^{\text{w}}(Q_n,Q_n)\le 0.96n^2$. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Comments: 18 pages, 4 figures

MSC Class: 06A07; 05D10

Open-Sourcing Highly Capable Foundation Models: An evaluation of risks, benefits, and alternative methods for pursuing open-source objectives

Authors: Elizabeth Seger, Noemi Dreksler, Richard Moulange, Emily Dardaman, Jonas Schuett, K. Wei, Christoph Winter, Mackenzie Arnold, Seán Ó hÉigeartaigh, Anton Korinek, Markus Anderljung, Ben Bucknall, Alan Chan, Eoghan Stafford, Leonie Koessler, Aviv Ovadya, Ben Garfinkel, Emma Bluemke, Michael Aird, Patrick Levermore, Julian Hazell, Abhishek Gupta

Abstract: Recent decisions by leading AI labs to either open-source their models or to restrict access to their models has sparked debate about whether, and how, increasingly capable AI models should be shared. Open-sourcing in AI typically refers to making model architecture and weights freely and publicly accessible for anyone to modify, study, build on, and use. This offers advantages such as enabling ex… ▽ More Recent decisions by leading AI labs to either open-source their models or to restrict access to their models has sparked debate about whether, and how, increasingly capable AI models should be shared. Open-sourcing in AI typically refers to making model architecture and weights freely and publicly accessible for anyone to modify, study, build on, and use. This offers advantages such as enabling external oversight, accelerating progress, and decentralizing control over AI development and use. However, it also presents a growing potential for misuse and unintended consequences. This paper offers an examination of the risks and benefits of open-sourcing highly capable foundation models. While open-sourcing has historically provided substantial net benefits for most software and AI development processes, we argue that for some highly capable foundation models likely to be developed in the near future, open-sourcing may pose sufficiently extreme risks to outweigh the benefits. In such a case, highly capable foundation models should not be open-sourced, at least not initially. Alternative strategies, including non-open-source model sharing options, are explored. The paper concludes with recommendations for developers, standard-setting bodies, and governments for establishing safe and responsible model sharing practices and preserving open-source benefits where safe. △ Less

Submitted 29 September, 2023; originally announced November 2023.

Comments: Official release at https://www.governance.ai/research-paper/open-sourcing-highly-capable-foundation-models

Erdős-Hajnal problems for posets

Authors: Christian Winter

Abstract: We say that a poset $(Q,\le_{Q})$ contains an induced copy of a poset $(P,\le_P)$ if there is an injective function $φ\colon P\to Q$ such that for every two $X,Y\in P$,\;\;$X\le_P Y$ if and only if $φ(X)\le_Q φ(Y)$. We denote the Boolean lattice $(2^{[n]},\subseteq)$ by $Q_n$. Given a fixed $2$-coloring $c$ of a poset $P$, the poset Erdős-Hajnal number of this colored poset is the smallest integer… ▽ More We say that a poset $(Q,\le_{Q})$ contains an induced copy of a poset $(P,\le_P)$ if there is an injective function $φ\colon P\to Q$ such that for every two $X,Y\in P$,\;\;$X\le_P Y$ if and only if $φ(X)\le_Q φ(Y)$. We denote the Boolean lattice $(2^{[n]},\subseteq)$ by $Q_n$. Given a fixed $2$-coloring $c$ of a poset $P$, the poset Erdős-Hajnal number of this colored poset is the smallest integer $N$ such that every $2$-coloring of the Boolean lattice $Q_N$ contains an induced copy of $P$ colored as in $c$, or a monochromatic induced copy of $Q_n$. We present bounds on the poset Erdős-Hajnal number of general colored posets, antichains, chains, and small Boolean lattices. Let the poset Ramsey number $R(Q_n,Q_n)$ be the least $N$ such that every $2$-coloring of $Q_N$ contains a monochromatic induced copy of $Q_n$. As a corollary, we show that $R(Q_n,Q_n)> 2.02n$, improving on the best known lower bound $2n+1$ by Cox and Stolee \cite{CS}. △ Less

Submitted 29 March, 2025; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: 20 pages, 8 figures. Published in Order, 2025. Fixed a mistake in the previous version. As a result, the constant 2.24 was replaced by the weaker 2.02

MSC Class: 06A07; 05D10

A large topographic feature on the surface of the trans-Neptunian object (307261) 2002 MS$_4$ measured from stellar occultations

Authors: F. L. Rommel, F. Braga-Ribas, J. L. Ortiz, B. Sicardy, P. Santos-Sanz, J. Desmars, J. I. B. Camargo, R. Vieira-Martins, M. Assafin, B. E. Morgado, R. C. Boufleur, G. Benedetti-Rossi, A. R. Gomes-Júnior, E. Fernández-Valenzuela, B. J. Holler, D. Souami, R. Duffard, G. Margoti, M. Vara-Lubiano, J. Lecacheux, J. L. Plouvier, N. Morales, A. Maury, J. Fabrega, P. Ceravolo , et al. (179 additional authors not shown)

Abstract: This work aims at constraining the size, shape, and geometric albedo of the dwarf planet candidate 2002 MS4 through the analysis of nine stellar occultation events. Using multichord detection, we also studied the object's topography by analyzing the obtained limb and the residuals between observed chords and the best-fitted ellipse. We predicted and organized the observational campaigns of nine st… ▽ More This work aims at constraining the size, shape, and geometric albedo of the dwarf planet candidate 2002 MS4 through the analysis of nine stellar occultation events. Using multichord detection, we also studied the object's topography by analyzing the obtained limb and the residuals between observed chords and the best-fitted ellipse. We predicted and organized the observational campaigns of nine stellar occultations by 2002 MS4 between 2019 and 2022, resulting in two single-chord events, four double-chord detections, and three events with three to up to sixty-one positive chords. Using 13 selected chords from the 8 August 2020 event, we determined the global elliptical limb of 2002 MS4. The best-fitted ellipse, combined with the object's rotational information from the literature, constrains the object's size, shape, and albedo. Additionally, we developed a new method to characterize topography features on the object's limb. The global limb has a semi-major axis of 412 $\pm$ 10 km, a semi-minor axis of 385 $\pm$ 17 km, and the position angle of the minor axis is 121 $^\circ$ $\pm$ 16$^\circ$. From this instantaneous limb, we obtained 2002 MS4's geometric albedo and the projected area-equivalent diameter. Significant deviations from the fitted ellipse in the northernmost limb are detected from multiple sites highlighting three distinct topographic features: one 11 km depth depression followed by a 25$^{+4}_{-5}$ km height elevation next to a crater-like depression with an extension of 322 $\pm$ 39 km and 45.1 $\pm$ 1.5 km deep. Our results present an object that is $\approx$138 km smaller in diameter than derived from thermal data, possibly indicating the presence of a so-far unknown satellite. However, within the error bars, the geometric albedo in the V-band agrees with the results published in the literature, even with the radiometric-derived albedo. △ Less

Submitted 23 August, 2023; v1 submitted 15 August, 2023; originally announced August 2023.

Journal ref: A&A 678, A167 (2023)

On the stability around Chariklo and the confinement of its rings

Authors: S. M. Giuliatti Winter, G. Madeira, T. Ribeiro, O. C. Winter, G. O. Barbosa, G. Borderes-Motta

Abstract: Chariklo has two narrow and dense rings, C1R and C2R, located at 391 km and 405 km, respectively. In the light of new stellar occultation data, we study the stability around Chariklo. We also analyse three confinement mechanisms, to prevent the spreading of the rings, based on shepherd satellites in resonance with the edges of the rings. This study is made through a set of numerical simulations an… ▽ More Chariklo has two narrow and dense rings, C1R and C2R, located at 391 km and 405 km, respectively. In the light of new stellar occultation data, we study the stability around Chariklo. We also analyse three confinement mechanisms, to prevent the spreading of the rings, based on shepherd satellites in resonance with the edges of the rings. This study is made through a set of numerical simulations and the Poincaré surface of section technique. From the numerical simulation results we verify that, from the current parameters referring to the shape of Chariklo, the inner edge of the stable region is much closer to Chariklo than the rings. The Poincaré surface of sections allow us to identify the first kind periodic and quasi-periodic orbits, and also the resonant islands corresponding to the 1:2, 2:5, and 1:3 resonances. We construct a map of a versus e space which gives the location and width of the stable region and the 1:2, 2:5, and 1:3 resonances. We found that the first kind periodic orbits family can be responsible for a stable region whose location and size meet that of C1R, for specific values of the ring particles' eccentricities. However, C2R is located in an unstable region if the width of the ring is assumed to be about 120 m. After analysing different systems we propose that the best confinement mechanism is composed of three satellites, two of them shepherding the inner edge of C1R and the outer edge of C2R, while the third satellite would be trapped in the 1:3 resonance. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: Accepted for publication in Astronomy & Astrophysics

kinetic impact and gravitational perturbations for asteroid deflection

Authors: Bruno Chagas, Antonio F. B. de A. Prado, Othon C. Winter

Abstract: Asteroids have called the attention of researchers around the world. Its chemical and physical composition can give us important information about the formation of our Solar System. In addition, the hypothesis of mining some of these objects is considered, since they contain precious metals. However, some asteroids have their orbits close to the orbit of the Earth. These nearby objects can pose a… ▽ More Asteroids have called the attention of researchers around the world. Its chemical and physical composition can give us important information about the formation of our Solar System. In addition, the hypothesis of mining some of these objects is considered, since they contain precious metals. However, some asteroids have their orbits close to the orbit of the Earth. These nearby objects can pose a danger to our life in the planet, since some of them are large enough to cause catastrophic damage to the Earth. We will pay attention to the theme of deflecting a potentially dangerous asteroid. There are currently two main forms of this deviation: i) the impact of an object at high velocity with the asteroid, which can be a space vehicle or a smaller asteroid; ii) the use of a gravitational "tractor", which consist in placing an object (another asteroid or part of an asteroid), close to the body that is approaching the Earth, such that this gravitational interference can deflect its trajectory. In this work, we will evaluate the influence of gravitational perturbations in the most commonly mentioned asteroid deflection model in the literature, the kinetic impact deflection technique. With the impact, it is intended to change the kinetic energy of the asteroid, changing its orbit enough so that it does not present risks of impacts with the Earth. △ Less

Submitted 15 July, 2023; originally announced July 2023.

Comments: 8 pages, 7 figures, ICSSA

Dynamics around the binary system (65803) Didymos

Authors: R. Machado Oliveira, O. C. Winter, R. Sfair, G. Valvano, T. S. Moura, G. Borderes-Motta

Abstract: Didymos and Dimorphos are primary and secondary, respectively, asteroids who compose a binary system that make up the set of Near Earth Asteroids (NEAs). They are targets of the Double Asteroid Redirection Test (DART), the first test mission dedicated to study of planetary defense, for which the main goal is to measure the changes caused after the secondary body is hit by a kinect impactor. The pr… ▽ More Didymos and Dimorphos are primary and secondary, respectively, asteroids who compose a binary system that make up the set of Near Earth Asteroids (NEAs). They are targets of the Double Asteroid Redirection Test (DART), the first test mission dedicated to study of planetary defense, for which the main goal is to measure the changes caused after the secondary body is hit by a kinect impactor. The present work intends to conduct a study, through numerical integrations, on the dynamics of massless particles distributed in the vicinity of the two bodies. An approximate shape for the primary body was considered as a model of mass concentrations (mascons) and the secondary was considered as a massive point. Our results show the location and size of stable regions, and also their lifetime. △ Less

Submitted 12 July, 2023; originally announced July 2023.

A note on asymmetric hypergraphs

Authors: Dominik Bohnert, Christian Winter

Abstract: A $k$-graph $\mathcal{G}$ is asymmetric if there does not exist an automorphism on $\mathcal{G}$ other than the identity, and $\mathcal{G}$ is called minimal asymmetric if it is asymmetric but every non-trivial induced sub-hypergraph of $\mathcal{G}$ is non-asymmetric. Extending a result of Jiang and Nešetřil, we show that for every $k$-graph, $k\ge3$, there exist infinitely many minimal asymmetri… ▽ More A $k$-graph $\mathcal{G}$ is asymmetric if there does not exist an automorphism on $\mathcal{G}$ other than the identity, and $\mathcal{G}$ is called minimal asymmetric if it is asymmetric but every non-trivial induced sub-hypergraph of $\mathcal{G}$ is non-asymmetric. Extending a result of Jiang and Nešetřil, we show that for every $k$-graph, $k\ge3$, there exist infinitely many minimal asymmetric $k$-graphs which have maximum degree $2$ and are linear. Further, we show that there are infinitely many $2$-regular asymmetric $k$-graphs for $k\ge3$. △ Less

Submitted 2 May, 2023; originally announced May 2023.

Comments: 9 pages, 5 figures

(130) Elektra Delta -- on the stability of the new third moonlet

Authors: Giulia Valvano, Rai Machado Oliveira, Othon Cabo Winter, Rafael Sfair, Gabriel Borderes-Motta

Abstract: The aim of this work is to verify the stability of the proposed orbital solutions for the third moonlet (Delta) taking into account a realistic gravitational potential for the central body of the quadruple system (Alpha). We also aim to estimate the location and size of a stability region inside the orbit of Gamma. First, we created a set of test particles with intervals of semi-major axis, eccent… ▽ More The aim of this work is to verify the stability of the proposed orbital solutions for the third moonlet (Delta) taking into account a realistic gravitational potential for the central body of the quadruple system (Alpha). We also aim to estimate the location and size of a stability region inside the orbit of Gamma. First, we created a set of test particles with intervals of semi-major axis, eccentricities, and inclinations that covers the region interior to the orbit of Gamma, including the proposed orbit of Delta and a wide region around it. We considered three different models for the gravitational potential of Alpha: irregular polyhedron, ellipsoidal body and oblate body. For a second scenario, Delta was considered a massive spherical body and Alpha an irregular polyhedron. Beta and Gamma were assumed as spherical massive bodies in both scenarios. The simulations showed that a large region of space is almost fully stable only when Alpha was modeled as simply as an oblate body. For the scenario with Delta as a massive body, the results did not change from those as massless particles. Beta and Gamma do not play any relevant role in the dynamics of particles interior to the orbit of Gamma. Delta's predicted orbital elements are fully unstable and far from the nearest stable region. The primary instability source is Alpha's elongated shape. Therefore, in the determination of the orbital elements of Delta, it must be taken into account the gravitational potential of Alpha assuming, at least, an ellipsoidal shape. △ Less

Submitted 28 April, 2023; originally announced April 2023.

On graphs embeddable in a layer of a hypercube and their extremal numbers

Authors: Maria Axenovich, Ryan R. Martin, Christian Winter

Abstract: A graph is cubical if it is a subgraph of a hypercube. For a cubical graph $H$ and a hypercube $Q_n$, $ex(Q_n, H)$ is the largest number of edges in an $H$-free subgraph of $Q_n$. If $ex(Q_n, H)$ is equal to a positive proportion of the number of edges in $Q_n$, $H$ is said to have positive Turán density in a hypercube; otherwise it has zero Turán density. Determining $ex(Q_n, H)$ and even identif… ▽ More A graph is cubical if it is a subgraph of a hypercube. For a cubical graph $H$ and a hypercube $Q_n$, $ex(Q_n, H)$ is the largest number of edges in an $H$-free subgraph of $Q_n$. If $ex(Q_n, H)$ is equal to a positive proportion of the number of edges in $Q_n$, $H$ is said to have positive Turán density in a hypercube; otherwise it has zero Turán density. Determining $ex(Q_n, H)$ and even identifying whether $H$ has positive or zero Turán density remains a widely open question for general $H$. In this paper we focus on layered graphs, i.e., graphs that are contained in an edge-layer of some hypercube. Graphs $H$ that are not layered have positive Turán density because one can form an $H$-free subgraph of $Q_n$ consisting of edges of every other layer. For example, a $4$-cycle is not layered and has positive Turán density. However, in general it is not obvious what properties layered graphs have. We give a characterisation of layered graphs in terms of edge-colorings. We show that most non-trivial subdivisions have zero Turán density, extending known results on zero Turán density of even cycles of length at least $12$ and of length $8$. However, we prove that there are cubical graphs of girth $8$ that are not layered and thus having positive Turán density. The cycle of length $10$ remains the only cycle for which it is not known whether its Turán density is positive or not. We prove that $ex(Q_n, C_{10})= Ω(n2^n/ \log^a n)$, for a constant $a$, showing that the extremal number for a $10$-cycle behaves differently from any other cycle of zero Turán density. △ Less

Submitted 19 May, 2024; v1 submitted 27 March, 2023; originally announced March 2023.

Comments: New references added, including ones on the recent result about 10-cycles and high girth non-layered graphs. Replaced Theorem 2 that had a gap in the previous version with Section 6 containing associated results

MSC Class: 05

GPT-4 Technical Report

Authors: OpenAI, Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, Red Avila, Igor Babuschkin, Suchir Balaji, Valerie Balcom, Paul Baltescu, Haiming Bao, Mohammad Bavarian, Jeff Belgum, Irwan Bello, Jake Berdine, Gabriel Bernadett-Shapiro, Christopher Berner, Lenny Bogdonoff, Oleg Boiko , et al. (256 additional authors not shown)

Abstract: We report the development of GPT-4, a large-scale, multimodal model which can accept image and text inputs and produce text outputs. While less capable than humans in many real-world scenarios, GPT-4 exhibits human-level performance on various professional and academic benchmarks, including passing a simulated bar exam with a score around the top 10% of test takers. GPT-4 is a Transformer-based mo… ▽ More We report the development of GPT-4, a large-scale, multimodal model which can accept image and text inputs and produce text outputs. While less capable than humans in many real-world scenarios, GPT-4 exhibits human-level performance on various professional and academic benchmarks, including passing a simulated bar exam with a score around the top 10% of test takers. GPT-4 is a Transformer-based model pre-trained to predict the next token in a document. The post-training alignment process results in improved performance on measures of factuality and adherence to desired behavior. A core component of this project was developing infrastructure and optimization methods that behave predictably across a wide range of scales. This allowed us to accurately predict some aspects of GPT-4's performance based on models trained with no more than 1/1,000th the compute of GPT-4. △ Less

Submitted 4 March, 2024; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 100 pages; updated authors list; fixed author names and added citation

Assessing the spin-orbit obliquity of low-mass planets in the breaking the chain formation model: A story of misalignment

Authors: Leandro Esteves, André Izidoro, Othon C. Winter, Bertram Bitsch, Andrea Isella

Abstract: The spin-orbit obliquity of a planetary system constraints its formation history. A large obliquity may either indicate a primordial misalignment between the star and its gaseous disk or reflect the effect of different mechanisms tilting planetary systems after formation. Observations and statistical analysis suggest that system of planets with sizes between 1 and 4 R$_{\oplus}$ have a wide range… ▽ More The spin-orbit obliquity of a planetary system constraints its formation history. A large obliquity may either indicate a primordial misalignment between the star and its gaseous disk or reflect the effect of different mechanisms tilting planetary systems after formation. Observations and statistical analysis suggest that system of planets with sizes between 1 and 4 R$_{\oplus}$ have a wide range of obliquities ($\sim0-30^{\circ}$), and that single- and multi-planet transiting have statistically indistinguishable obliquity distributions. Here, we revisit the ``breaking the chains'' formation model with focus in understanding the origin of spin-orbit obliquities. This model suggests that super-Earths and mini-Neptunes migrate close to their host stars via planet-disk gravitational interactions, forming chain of planets locked in mean-motion resonances. After gas-disk dispersal, about 90-99\% of these planetary systems experience dynamical instabilities, which spread the systems out. Using synthetic transit observations, we show that if planets are born in disks where the disk angular momentum is virtually aligned with the star's rotation spin, their final obliquity distributions peak at about $\sim$5 degrees or less, and the obliquity distributions of single and multi-planet transiting systems are statistically distinct. By treating the star-disk alignment as a free-parameter, we show that the obliquity distributions of single and multi-planet transiting systems only become statistically indistinguishable if planets are assumed to form in primordially misaligned natal disks with a ``tilt'' distribution peaking at $\gtrsim$10-20 deg. We discuss the origin of these misalignments in the context of star formation and potential implications of this scenario for formation models. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: 11 pages, 9 figures, 2 tables. Accepted for publication in MNRAS

MSC Class: 85-10 ACM Class: J.2

Poset Ramsey number $R(P,Q_n)$. III. Chain Compositions and Antichains

Authors: Christian Winter

Abstract: An induced subposet $(P_2,\le_2)$ of a poset $(P_1,\le_1)$ is a subset of $P_1$ such that for every two $X,Y\in P_2$, $X\le_2 Y$ if and only if $X\le_1 Y$. The Boolean lattice $Q_n$ of dimension $n$ is the poset consisting of all subsets of $\{1,\dots,n\}$ ordered by inclusion. Given two posets $P_1$ and $P_2$ the poset Ramsey number $R(P_1,P_2)$ is the smallest integer $N$ such that in any blue/r… ▽ More An induced subposet $(P_2,\le_2)$ of a poset $(P_1,\le_1)$ is a subset of $P_1$ such that for every two $X,Y\in P_2$, $X\le_2 Y$ if and only if $X\le_1 Y$. The Boolean lattice $Q_n$ of dimension $n$ is the poset consisting of all subsets of $\{1,\dots,n\}$ ordered by inclusion. Given two posets $P_1$ and $P_2$ the poset Ramsey number $R(P_1,P_2)$ is the smallest integer $N$ such that in any blue/red coloring of the elements of $Q_N$ there is either a monochromatically blue induced subposet isomorphic to $P_1$ or a monochromatically red induced subposet isomorphic to $P_2$. We provide upper bounds on $R(P,Q_n)$ for two classes of $P$: parallel compositions of chains, i.e.\ posets consisting of disjoint chains which are pairwise element-wise incomparable, as well as subdivided $Q_2$, which are posets obtained from two parallel chains by adding a common minimal and a common maximal element. This completes the determination of $R(P,Q_n)$ for posets $P$ with at most $4$ elements. If $P$ is an antichain $A_t$ on $t$ elements, we show that $R(A_t,Q_n)=n+3$ for $3\le t\le \log \log n$. Additionally, we briefly survey proof techniques in the poset Ramsey setting $P$ versus $Q_n$. △ Less

Submitted 5 July, 2023; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: 20 pages, 23 figures. Merged with arXiv:2205.02275

MSC Class: 06A07; 05D10

The Dynamics of Co-orbital Giant Exomoons -- Applications for the Kepler-1625 b and Kepler-1708 b Satellite Systems

Authors: Ricardo Moraes, Gabriel Borderes-Motta, Othon Cabo Winter, Daniela Cardozo Mourão

Abstract: Exomoons are a missing piece of exoplanetary science. Recently, two promising candidates were proposed, Kepler-1625 b-I and Kepler-1708 b-I. While the latter still lacks a dynamical analysis of its stability, Kepler-1625 b-I has already been the subject of several studies regarding its stability and origin. Moreover, previous works have shown that this satellite system could harbour at least two s… ▽ More Exomoons are a missing piece of exoplanetary science. Recently, two promising candidates were proposed, Kepler-1625 b-I and Kepler-1708 b-I. While the latter still lacks a dynamical analysis of its stability, Kepler-1625 b-I has already been the subject of several studies regarding its stability and origin. Moreover, previous works have shown that this satellite system could harbour at least two stable massive moons. Motivated by these results, we explored the stability of co-orbital exomoons using the candidates Kepler-1625 b-I and Kepler-1708 b-I as case studies. To do so, we performed numerical simulations of systems composed of the star, planet, and the co-orbital pair formed by the proposed candidates and another massive body. For the additional satellite, we varied its mass and size from a Mars-like to the case where both satellites have the same physical characteristics. We investigated the co-orbital region around the Lagrangian equilibrium point $L_4$ of the system, setting the orbital separation between the satellites from $θ_{min} = 30^{\circ}$ to $θ_{max} = 90^{\circ}$. Our results show that stability islands are possible in the co-orbital region of Kepler-1708 b-I as a function of the co-orbital companion's mass and angular separation. Also, we identified that resonances of librational frequencies, especially the 2:1 resonance, can constrain the mass of the co-orbital companion. On the other hand, we found that the proximity between the host planet and the star makes the co-orbital region around Kepler-1625 b-I unstable for a massive companion. Finally, we provide TTV profiles for a planet orbited by co-orbital exomoons. △ Less

Submitted 27 January, 2023; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: 15 pages, 11 figures, accepted for publication on MNRAS

Poset Ramsey number $R(P,Q_n)$. II. N-shaped poset

Authors: Maria Axenovich, Christian Winter

Abstract: Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f\colon P\rightarrow P'$ and for any $A, B\in P$, $A\leq _P B$ if and only if $f(A)\leq_{P'} f(B)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional… ▽ More Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f\colon P\rightarrow P'$ and for any $A, B\in P$, $A\leq _P B$ if and only if $f(A)\leq_{P'} f(B)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements. We focus on the poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$-dimensional Boolean lattice $Q_n$, as $n$ grows large. It is known that $n+c_1(P) \leq R(P,Q_n) \leq c_2(P) n$, for positive constants $c_1$ and $c_2$. However, there is no poset $P$ known, for which $R(P, Q_n)> (1+ε)n$, for $ε>0$. This paper is devoted to a new method for finding upper bounds on $R(P, Q_n)$ using a duality between copies of $Q_n$ and sets of elements that cover them, referred to as blockers. We prove several properties of blockers and their direct relation to the Ramsey numbers. Using these properties we show that $R(\mathcal{N},Q_n)=n+Θ(n/\log n)$, for a poset $\mathcal{N}$ with four elements $A, B, C, $ and $D$, such that $A<C$, $B<D$, $B<C$, and the remaining pairs of elements are incomparable. △ Less

Submitted 5 July, 2023; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: 19 pages, 6 figures. Title of the article changed

MSC Class: 05C55; 06A07

Putting high-index Cu on the map for high-yield, dry-transferred CVD graphene

Authors: Oliver J. Burton, Zachary C. M. Winter, Kenji Watanabe, Takashi Taniguchi, Bernd Beschoten, Christoph Stampfer, Stephan Hofmann

Abstract: Reliable, clean transfer and interfacing of 2D material layers is technologically as important as their growth. Bringing both together remains a challenge due to the vast, interconnected parameter space. We introduce a fast-screening descriptor approach to demonstrate holistic data-driven optimization across the entirety of process steps for the graphene-Cu model system. We map the crystallographi… ▽ More Reliable, clean transfer and interfacing of 2D material layers is technologically as important as their growth. Bringing both together remains a challenge due to the vast, interconnected parameter space. We introduce a fast-screening descriptor approach to demonstrate holistic data-driven optimization across the entirety of process steps for the graphene-Cu model system. We map the crystallographic dependencies of graphene chemical vapor deposition, interfacial Cu oxidation to decouple graphene, and its dry delamination across inverse pole figures. Their overlay enables us to identify hitherto unexplored (168) higher index Cu orientations as overall optimal. We show the effective preparation of such Cu orientations via epitaxial close-space sublimation and achieve mechanical transfer with very high yield (>95%) and quality of graphene domains, with room-temperature electron mobilities in the range of 40000 cm$^2$/(Vs). Our approach is readily adaptable to other descriptors and 2D materials systems, and we discuss the opportunities of such holistic optimization. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Comments: 56 pages, 19 figures

Journal ref: ACS Nano 17, 1229 (2023)

SPT-NRTL: A physics-guided machine learning model to predict thermodynamically consistent activity coefficients

Authors: Benedikt Winter, Clemens Winter, Timm Esper, Johannes Schilling, André Bardow

Abstract: The availability of property data is one of the major bottlenecks in the development of chemical processes, often requiring time-consuming and expensive experiments or limiting the design space to a small number of known molecules. This bottleneck has been the motivation behind the continuing development of predictive property models. For the property prediction of novel molecules, group contribut… ▽ More The availability of property data is one of the major bottlenecks in the development of chemical processes, often requiring time-consuming and expensive experiments or limiting the design space to a small number of known molecules. This bottleneck has been the motivation behind the continuing development of predictive property models. For the property prediction of novel molecules, group contribution methods have been groundbreaking. In recent times, machine learning has joined the more established property prediction models. However, even with recent successes, the integration of physical constraints into machine learning models remains challenging. Physical constraints are vital to many thermodynamic properties, such as the Gibbs-Duhem relation, introducing an additional layer of complexity into the prediction. Here, we introduce SPT-NRTL, a machine learning model to predict thermodynamically consistent activity coefficients and provide NRTL parameters for easy use in process simulations. The results show that SPT-NRTL achieves higher accuracy than UNIFAC in the prediction of activity coefficients across all functional groups and is able to predict many vapor-liquid-equilibria with near experimental accuracy, as illustrated for the exemplary mixtures water/ethanol and chloroform/n-hexane. To ease the application of SPT-NRTL, NRTL-parameters of 100 000 000 mixtures are calculated with SPT-NRTL and provided online. △ Less

Submitted 27 September, 2022; v1 submitted 9 September, 2022; originally announced September 2022.

Comments: NRTL parameters for 100 000 000 are currently hosted here: https://polybox.ethz.ch/index.php/s/unM7rbgj2FQPFdy

Explaining Mercury via a single giant impact is highly unlikely

Authors: P. Franco, A. Izidoro, O. C. Winter, K. S. Torres, A. Amarante

Abstract: The classical scenario of terrestrial planet formation is characterized by a phase of giant impacts among Moon-to-Mars mass planetary embryos. While the classic model and its adaptations have produced adequate analogs of the outer three terrestrial planets, Mercury's origin remains elusive. Mercury's high-core mass fraction compared to the Earth's is particularly outstanding. Among collisional hyp… ▽ More The classical scenario of terrestrial planet formation is characterized by a phase of giant impacts among Moon-to-Mars mass planetary embryos. While the classic model and its adaptations have produced adequate analogs of the outer three terrestrial planets, Mercury's origin remains elusive. Mercury's high-core mass fraction compared to the Earth's is particularly outstanding. Among collisional hypotheses, this feature has been long interpreted as the outcome of an energetic giant impact among two massive protoplanets. Here, we revisit the classical scenario of terrestrial planet formation with focus on the outcome of giant impacts. We have performed a large number of N-body simulations considering different initial distributions of planetary embryos and planetesimals. Our simulations tested the effects of different giant planet configurations, from virtually circular to very eccentric configurations. We compare the giant impacts produced in our simulations with those that are more likely to account for the formation of Mercury and the Moon according to smoothed hydrodynamic simulations. Impact events that could lead to Moon's formation are observed in all our simulations with up to ~20% of all giant impacts, consistent with the range of the expected Moon-forming event conditions. On the other hand, Mercury-forming events via a single giant impact are extremely rare, accounting for less than ~1% of all giant impacts. Our results suggest that producing Mercury as a remnant of a single giant impact that strips out the mantle of a differentiated planetary object with Earth-like iron-silicate ratio is challenging and alternative scenarios may be required (e.g. multiple collisions). △ Less

Submitted 29 July, 2022; originally announced July 2022.

Comments: Accepted for publications in MNRAS

2001 SN263 -- the contribution of their irregular shapes on the neighborhood dynamics

Authors: Giulia Valvano, Othon Cabo Winter, Rafael Sfair, Rai Machado Oliveira, Gabriel Borderes-Motta

Abstract: The first proposed Brazilian mission to deep space, the ASTER mission, has the triple asteroid system (153591) 2001 SN263 as a target. One of the mission's main goals is to analyze the physical and dynamical structures of the system to understand its origin and evolution. The present work aims to analyze how the asteroid's irregular shape interferes with the stability around the system. The result… ▽ More The first proposed Brazilian mission to deep space, the ASTER mission, has the triple asteroid system (153591) 2001 SN263 as a target. One of the mission's main goals is to analyze the physical and dynamical structures of the system to understand its origin and evolution. The present work aims to analyze how the asteroid's irregular shape interferes with the stability around the system. The results show that the irregular shape of the bodies plays an important role in the dynamics nearby the system. For instance, the perturbation due to the (153591) 2001 SN263 Alpha's shape affects the stability in the (153591) 2001 SN263 Gamma's vicinity. Similarly, the (153591) 2001 SN263 Beta's irregularity causes a significant instability in its nearby environment. As expected, the prograde case is the most unstable, while the retrograde scenario presents more stability. Additionally, we investigate how the solar radiation pressure perturbs particles of different sizes orbiting the triple system. We found that particles with a 10-50 cm radius could survive the radiation pressure for the retrograde case. Meanwhile, to resist solar radiation, the particles in prograde orbit must be larger than the particles in retrograde orbits, at least one order of magnitude. △ Less

Submitted 4 July, 2022; originally announced July 2022.

Comments: 12 pages, 13 figures

A smile is all you need: Predicting limiting activity coefficients from SMILES with natural language processing

Authors: Benedikt Winter, Clemens Winter, Johannes Schilling, André Bardow

Abstract: Knowledge of mixtures' phase equilibria is crucial in nature and technical chemistry. Phase equilibria calculations of mixtures require activity coefficients. However, experimental data on activity coefficients is often limited due to high cost of experiments. For an accurate and efficient prediction of activity coefficients, machine learning approaches have been recently developed. However, curre… ▽ More Knowledge of mixtures' phase equilibria is crucial in nature and technical chemistry. Phase equilibria calculations of mixtures require activity coefficients. However, experimental data on activity coefficients is often limited due to high cost of experiments. For an accurate and efficient prediction of activity coefficients, machine learning approaches have been recently developed. However, current machine learning approaches still extrapolate poorly for activity coefficients of unknown molecules. In this work, we introduce the SMILES-to-Properties-Transformer (SPT), a natural language processing network to predict binary limiting activity coefficients from SMILES codes. To overcome the limitations of available experimental data, we initially train our network on a large dataset of synthetic data sampled from COSMO-RS (10 Million data points) and then fine-tune the model on experimental data (20 870 data points). This training strategy enables SPT to accurately predict limiting activity coefficients even for unknown molecules, cutting the mean prediction error in half compared to state-of-the-art models for activity coefficient predictions such as COSMO-RS, UNIFAC, and improving on recent machine learning approaches. △ Less

Submitted 15 June, 2022; originally announced June 2022.

Comments: Code available at: https://github.com/Bene94/SMILES2PropertiesTransformer; Data available at: https://polybox.ethz.ch/index.php/s/kyVOt3pwHW26PP4

Poset Ramsey Number $R(P,Q_n)$. II. Antichains

Authors: Christian Winter

Abstract: For two posets $(P,\le_P)$ and $(P',\le_{P'})$, we say that $P'$ contains a copy of $P$ if there exists an injective function $f\colon P'\to P$ such that for every two $X,Y\in P$, $X\le_P Y$ if and only if $f(X)\le_{P'} f(Y)$. Given two posets $P$ and $Q$, let the poset Ramsey number $R(P,Q)$ be the smallest integer $N$ such that any coloring of the elements of an $N$-dimensional Boolean lattice i… ▽ More For two posets $(P,\le_P)$ and $(P',\le_{P'})$, we say that $P'$ contains a copy of $P$ if there exists an injective function $f\colon P'\to P$ such that for every two $X,Y\in P$, $X\le_P Y$ if and only if $f(X)\le_{P'} f(Y)$. Given two posets $P$ and $Q$, let the poset Ramsey number $R(P,Q)$ be the smallest integer $N$ such that any coloring of the elements of an $N$-dimensional Boolean lattice in blue or red contains either a copy of $P$ where all elements are blue or a copy of $Q$ where all elements are red. We determine the poset Ramsey number $R(A_t,Q_n)$ of an antichain versus a Boolean lattice for small $t$ by showing that $R(A_t,Q_n)=n+3$ for $3\le t\le \log \log n$. △ Less

Submitted 5 July, 2023; v1 submitted 4 May, 2022; originally announced May 2022.

Comments: Merged with arXiv:2303.04462

MSC Class: 06A07; 05D10

Poset Ramsey number $R(P,Q_n)$. I. Complete multipartite posets

Authors: Christian Winter

Abstract: A poset $(P',\le_{P'})$ contains a copy of some other poset $(P,\le_P)$ if there is an injection $f\colon P'\to P$ where for every $X,Y\in P$, $X\le_P Y$ if and only if $f(X)\le_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the smallest integer $N$ such that any blue/red coloring of a Boolean lattice of dimension $N$ contains either a copy of $P$ with all elements blu… ▽ More A poset $(P',\le_{P'})$ contains a copy of some other poset $(P,\le_P)$ if there is an injection $f\colon P'\to P$ where for every $X,Y\in P$, $X\le_P Y$ if and only if $f(X)\le_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the smallest integer $N$ such that any blue/red coloring of a Boolean lattice of dimension $N$ contains either a copy of $P$ with all elements blue or a copy of $Q$ with all elements red. We denote by $K_{t_1,\dots,t_\ell}$ a complete $\ell$-partite poset, i.e.\ a poset consisting of $\ell$ pairwise disjoint sets $A^i$ of size $t_i$, $1\le i\le \ell$, such that for any $i,j\in\{1,\dots,\ell\}$ and any two $X\in A^{i}$ and $Y\in A^{j}$, $X<Y$ if and only if $i<j$. In this paper we show that $R(K_{t_1,\dots,t_\ell},Q_n)\le n+\frac{(2+o_n(1))\ell n}{\log n}$. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 8 pages, 3 figures

MSC Class: 06A07; 05D10

Milliarcsecond astrometry for the Galilean moons using stellar occultations

Authors: B. E. Morgado, A. R. Gomes-Júnior, F. Braga-Ribas, R. Vieira-Martins, J. Desmars, V. Lainey, E. D'aversa, D. Dunham, J. Moore, K. Baillié, D. Herald, M. Assafin, B. Sicardy, S. Aoki, J. Bardecker, J. Barton, T. Blank, D. Bruns, N. Carlson, R. W. Carlson, K. Cobble, J. Dunham, D. Eisfeldt, M. Emilio, C. Jacques , et al. (18 additional authors not shown)

Abstract: A stellar occultation occurs when a Solar System object passes in front of a star for an observer. This technique allows the determination of sizes and shapes of the occulting body with kilometer precision. Also, this technique constrains the occulting body's positions, albedos, densities, etc. In the context of the Galilean moons, these events can provide their best ground-based astrometry, with… ▽ More A stellar occultation occurs when a Solar System object passes in front of a star for an observer. This technique allows the determination of sizes and shapes of the occulting body with kilometer precision. Also, this technique constrains the occulting body's positions, albedos, densities, etc. In the context of the Galilean moons, these events can provide their best ground-based astrometry, with uncertainties in the order of 1 mas ($\sim$ 3 km at Jupiter's distance during opposition). We organized campaigns and successfully observed a stellar occultation by Io (JI) in 2021, one by Ganymede (JIII) in 2020, and one by Europa (JII) in 2019, with stations in North and South America. Also, we re-analyzed two previously published events, one by Europa in 2016 and another by Ganymede in 2017. Then, we fit the known 3D shape of the occulting satellite and determine its center of figure. That resulted in astrometric positions with uncertainties in the milliarcsecond level. The positions obtained from these stellar occultations can be used together with dynamical models to ensure highly accurate orbits of the Galilean moons. These orbits can help plan future space probes aiming at the Jovian system, such as JUICE by ESA and Europa Clipper by NASA, and allow more efficient planning of flyby maneuvers. △ Less

Submitted 22 March, 2022; originally announced March 2022.

Comments: 19 pages, 25 figures, Accepted on March 14, 2022 for publication in The Astronomical Journal

Journal ref: The Astronomical Journal, Volume 163, Number 5, 2022

Energy reconstruction of hadronic showers at the CERN PS and SPS using the Semi-Digital Hadronic Calorimeter

Authors: I. Laktineh, B. Liu, D. Boumediene, Y. W. Baek, D-W. Kim, S. C. Lee, B. G. Min, S. W. Park, Y. Deguchi, K. Kawagoe, Y. Miura, R. Mori, I. Sekiya, T. Suehara, T. Yoshioka, L. Caponetto, C. Combaret, G. Garillot, G. Grenier, J-C. Ianigro, T. Kurca, I. Laktineh, B. Liu, B. Li, N. Lumb , et al. (53 additional authors not shown)

Abstract: The CALICE Semi-Digital Hadronic CALorimeter (SDHCAL) is the first technological prototype in a family of high-granularity calorimeters developed by the CALICE Collaboration to equip the experiments of future lepton colliders. The SDHCAL is a sampling calorimeter using stainless steel for absorber and Glass Resistive Plate Chambers (GRPC) as a sensitive medium. The GRPC are read out by 1~cm… ▽ More The CALICE Semi-Digital Hadronic CALorimeter (SDHCAL) is the first technological prototype in a family of high-granularity calorimeters developed by the CALICE Collaboration to equip the experiments of future lepton colliders. The SDHCAL is a sampling calorimeter using stainless steel for absorber and Glass Resistive Plate Chambers (GRPC) as a sensitive medium. The GRPC are read out by 1~cm $\times$ 1~cm pickup pads combined to a multi-threshold electronics. The prototype was exposed to hadron beams in both the CERN PS and the SPS beamlines in 2015 allowing the test of the SDHCAL in a large energy range from 3~GeV to 80~GeV. After introducing the method used to select the hadrons of our data and reject the muon and electron contamination, we present the energy reconstruction approach that we apply to the data collected from both beamlines and we discuss the response linearity and the energy resolution of the SDHCAL. The results obtained in the two beamlines confirm the excellent SDHCAL performance observed with the data collected with the same prototype in the SPS beamline in 2012. They also show the stability of the SDHCAL in different beam conditions and different time periods. △ Less

Submitted 19 February, 2022; originally announced February 2022.

Comments: 21 pages,23 figures

Report number: CALICE-PUB-2022-001

The main perturbing objects on the orbits of (616) Prometheus and (617) Pandora

Authors: A. R. Gomes-Júnior, T. Santana, O. C. Winter, R. Sfair

Abstract: The dynamical evolution of the Prometheus and Pandora pair of satellites is chaotic, with a short 3.3 years Lyapunov time. It is known that the anti-alignment of the apses line of Prometheus and Pandora, which occurs every 6.2 years, is a critical configuration that amplifies their chaotic dynamical evolution. However, the mutual interaction between Prometheus and Pandora is not enough to explain… ▽ More The dynamical evolution of the Prometheus and Pandora pair of satellites is chaotic, with a short 3.3 years Lyapunov time. It is known that the anti-alignment of the apses line of Prometheus and Pandora, which occurs every 6.2 years, is a critical configuration that amplifies their chaotic dynamical evolution. However, the mutual interaction between Prometheus and Pandora is not enough to explain the longitudinal lags observed by the Hubble Space Telescope. The main goal of the current work is to identify the main contributors to the chaotic dynamical evolution of the Prometheus-Pandora pair beyond themselves. Therefore, in this work, we first explore the sensibility of this dynamical system to understand it numerically and then build numerical experiments to reach our goals. We identified that almost all major satellites of the Saturn system play a significant role in the evolution of Prometheus' and Pandora's orbits. △ Less

Submitted 3 February, 2022; originally announced February 2022.

Comments: 8 pages, 6 figures

On the Stability of Additional Moons Orbiting Kepler-1625 b

Authors: Ricardo Moraes, Gabriel Borderes-Motta, Othon Cabo Winter, Julio Monteiro

Abstract: Since it was proposed the exomoon candidate Kepler-1625 b-I changed the way we see satellite systems. Because of its unusual physical characteristics, many questions about the stability and origin of this candidate were raised. Currently, we have enough theoretical studies to assure that if Kepler-1625 b-I is indeed confirmed, it will be stable. The origin of this candidate was also explored. Prev… ▽ More Since it was proposed the exomoon candidate Kepler-1625 b-I changed the way we see satellite systems. Because of its unusual physical characteristics, many questions about the stability and origin of this candidate were raised. Currently, we have enough theoretical studies to assure that if Kepler-1625 b-I is indeed confirmed, it will be stable. The origin of this candidate was also explored. Previous works indicated that the most likely scenario is capture, even though conditions for in situ formation were also investigated. In this work, we assume that Kepler-1625 b-I is an exomoon and studied the possibility of an additional, massive exomoon being stable in the same system. To model this scenario we perform N-body simulations of a system including the planet, Kepler-1625 b-I and one extra Earth-like satellite. Based on previous results, the satellites in our system will be exposed to tidal interactions with the planet and gravitation effects due to the rotation of the planet. We found that the satellite system around Kepler-1625 b is capable of harbouring two massive satellites. The extra Earth-like satellite would be stable in different locations between the planet and Kepler-1625 b-I, with a preference for regions inside $25$ $R_p$. Our results suggest that the strong tidal interactions between the planet and the satellites is an important mechanism to assure the stability of satellites in circular orbits closer to the planet, while the 2:1 mean motion resonance between the Earth-like satellite and Kepler-1625 b-I would provide stability for satellites in wider orbits. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: 15 pages, 10 figures, accepted for publication on MNRAS

Dynamics around Non-Spherical Symmetric Bodies: I. The case of a spherical body with mass anomaly

Authors: G. Madeira, S. M. Giuliatti Winter, T. Ribeiro, O. C. Winter

Abstract: The space missions designed to visit small bodies of the Solar System boosted the study of the dynamics around non-spherical bodies. In this vein, we study the dynamics around a class of objects classified by us as Non-Spherical Symmetric Bodies, including contact binaries, triaxial ellipsoids, spherical bodies with a mass anomaly, among others. In the current work, we address the results for a bo… ▽ More The space missions designed to visit small bodies of the Solar System boosted the study of the dynamics around non-spherical bodies. In this vein, we study the dynamics around a class of objects classified by us as Non-Spherical Symmetric Bodies, including contact binaries, triaxial ellipsoids, spherical bodies with a mass anomaly, among others. In the current work, we address the results for a body with a mass anomaly. We apply the pendulum model to obtain the width of the spin-orbit resonances raised by non-asymmetric gravitational terms of the central object. The Poincare surface of section technique is adopted to confront our analytical results and to study the system's dynamics by varying the parameters of the central object. We verify the existence of two distinct regions around an object with a mass anomaly: a chaotic inner region that extends beyond the corotation radius and a stable outer region. In the latter, we identify structures remarkably similar to those of the classical restrict and planar 3-body problem in the Poincare surface of sections, including asymmetric periodic orbits associated with 1:1+p resonances. We apply our results to a Chariklo with a mass anomaly, obtaining that Chariklo rings are probably related to first kind periodic orbits and not with 1:3 spin-orbit resonance, as proposed in the literature. We believe that our work presents the first tools for studying mass anomaly systems. △ Less

Submitted 3 December, 2021; originally announced December 2021.

Comments: Accepted 2021 December 02. Received 2021 November 10; in original form 2021 August 06 - MNRAS

APOPHIS -- Effects of the 2029 Earth's Encounter on the Surface and Nearby Dynamics

Authors: Giulia Valvano, Othon Cabo Winter, Rafael Sfair, Gabriel Borderes-Motta 2, Rai Machado, Tamires Moura

Abstract: The 99942 Apophis close encounter with Earth in 2029 may provide information about asteroid's physical characteristics and measurements of Earth's effects on the asteroid surface. In this work, we analysed the surface and the nearby dynamics of Apophis. The possible effects of its 2029 encounter on the surface and environment vicinity are also analysed. We consider a 340 metres polyhedron with a u… ▽ More The 99942 Apophis close encounter with Earth in 2029 may provide information about asteroid's physical characteristics and measurements of Earth's effects on the asteroid surface. In this work, we analysed the surface and the nearby dynamics of Apophis. The possible effects of its 2029 encounter on the surface and environment vicinity are also analysed. We consider a 340 metres polyhedron with a uniform density (1.29 g$\cdot$cm$^{-3}$, 2.2 g$\cdot$cm$^{-3}$ and 3.5 g$\cdot$cm$^{-3}$). The slope angles are computed, as well their variation that arises during the close approach. Such variation reaches 4$^{\circ}$ when low densities are used in our simulations and reaches 2$^{\circ}$ when the density is high. The zero-velocity curves, the equilibrium points, and their topological classification are obtained. We found four external equilibrium points and two of them are linearly stable. We also perform numerical simulations of bodies orbiting the asteroid, taking into account the irregular gravitational field of Apophis and two extra scenarios of perturbations: the solar radiation pressure and the Earth's perturbation during the close approach. The radiation pressure plays an important role in the vicinity of the asteroid, only cm-sized particles survived for the time of integration. For densities of 2.2 g$\cdot$cm$^{-3}$ and 3.5 g$\cdot$cm$^{-3}$, a region of 5 cm radius particles survived for 30 years of the simulation, and for 1.29 g$\cdot$cm$^{-3}$, only particles with 15 cm of radius survived. The ejections and collisions are about 30-50 times larger when the close encounter effect is added, but around 56-59% of particles still survive the encounter. △ Less

Submitted 15 November, 2021; originally announced November 2021.

Comments: 17 pages, 15 figures

Instant tissue field and magnetic susceptibility mapping from MR raw phase using Laplacian enabled deep neural networks

Authors: Yang Gao, Zhuang Xiong, Amir Fazlollahi, Peter J Nestor, Viktor Vegh, Fatima Nasrallah, Craig Winter, G. Bruce Pike, Stuart Crozier, Feng Liu, Hongfu Sun

Abstract: Quantitative susceptibility mapping (QSM) is a valuable MRI post-processing technique that quantifies the magnetic susceptibility of body tissue from phase data. However, the traditional QSM reconstruction pipeline involves multiple non-trivial steps, including phase unwrapping, background field removal, and dipole inversion. These intermediate steps not only increase the reconstruction time but a… ▽ More Quantitative susceptibility mapping (QSM) is a valuable MRI post-processing technique that quantifies the magnetic susceptibility of body tissue from phase data. However, the traditional QSM reconstruction pipeline involves multiple non-trivial steps, including phase unwrapping, background field removal, and dipole inversion. These intermediate steps not only increase the reconstruction time but amplify noise and errors. This study develops a large-stencil Laplacian preprocessed deep learning-based neural network for near instant quantitative field and susceptibility mapping (i.e., iQFM and iQSM) from raw MR phase data. The proposed iQFM and iQSM methods were compared with established reconstruction pipelines on simulated and in vivo datasets. In addition, experiments on patients with intracranial hemorrhage and multiple sclerosis were also performed to test the generalization of the novel neural networks. The proposed iQFM and iQSM methods yielded comparable results to multi-step methods in healthy subjects while dramatically improving reconstruction accuracies on intracranial hemorrhages with large susceptibilities. The reconstruction time was also substantially shortened from minutes using multi-step methods to only 30 milliseconds using the trained iQFM and iQSM neural networks. △ Less

Submitted 23 May, 2022; v1 submitted 15 November, 2021; originally announced November 2021.

The "Breaking The Chains" migration model for super-Earths formation: the effect of collisional fragmentation

Authors: Leandro Esteves, André Izidoro, Bertram Bitsch, Seth A. Jacobson, Sean N. Raymond, Rogerio Deienno, Othon C. Winter

Abstract: Planets between 1-4 Earth radii with orbital periods <100 days are strikingly common. The migration model proposes that super-Earths migrate inwards and pile up at the disk inner edge in chains of mean motion resonances. After gas disk dispersal, simulations show that super-Earth's gravitational interactions can naturally break their resonant configuration leading to a late phase of giant impacts.… ▽ More Planets between 1-4 Earth radii with orbital periods <100 days are strikingly common. The migration model proposes that super-Earths migrate inwards and pile up at the disk inner edge in chains of mean motion resonances. After gas disk dispersal, simulations show that super-Earth's gravitational interactions can naturally break their resonant configuration leading to a late phase of giant impacts. The instability phase is key to matching the orbital spacing of observed systems. Yet, most previous simulations have modelled collisions as perfect accretion events, ignoring fragmentation. In this work, we investigate the impact of imperfect accretion on the breaking the chains scenario. We performed N-body simulations starting from distributions of planetary embryos and modelling the effects of pebble accretion and migration in the gas disk. Our simulations also follow the long-term dynamical evolution of super-Earths after the gas disk dissipation. We compared the results of simulations where collisions are treated as perfect merging events with those where imperfect accretion and fragmentation are allowed. We concluded that the perfect accretion is a suitable approximation in this regime, from a dynamical point of view. Although fragmentation events are common, only ~10% of the system mass is fragmented during a typical "late instability phase", with fragments being mostly reacreted by surviving planets. This limited total mass in fragments proved to be insufficient to alter qualitatively the final system dynamical configuration -- e.g. promote strong dynamical friction or residual migration -- compared to simulations where fragmentation is neglected. △ Less

Submitted 29 October, 2021; originally announced November 2021.

Comments: 13 pages, 8 figures and 1 table. Accepted for publication in MNRAS

MSC Class: 85-10

Poset Ramsey numbers: large Boolean lattice versus a fixed poset

Authors: Maria Axenovich, Christian Winter

Abstract: Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f: P\rightarrow P'$ and for any $X, Y\in P$, $X\leq _P Y$ if and only of $f(X)\leq_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Bool… ▽ More Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f: P\rightarrow P'$ and for any $X, Y\in P$, $X\leq _P Y$ if and only of $f(X)\leq_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements. We focus on a poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$-dimensional Boolean lattice $Q_n$, as $n$ grows large. We show a sharp jump in behaviour of this number as a function of $n$ depending on whether or not $P$ contains a copy of either a poset $V$, i.e. a poset on elements $A, B, C$ such that $B>C$, $A>C$, and $A$ and $B$ incomparable, or a poset $Λ$, its symmetric counterpart. Specifically, we prove that if $P$ contains a copy of $V$ or $Λ$ then $R(P, Q_n) \geq n +\frac{1}{15} \frac{n}{\log n}$. Otherwise $R(P, Q_n) \leq n + c(P)$ for a constant $c(P)$. This gives the first non-marginal improvement of a lower bound on poset Ramsey numbers and as a consequence gives $R(Q_2, Q_n) = n + Θ(\frac{n}{\log n})$. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: 18 pages, 2 figures

MSC Class: 06A07; 05D10

Determining effective permeability at reservoir scale: Numerical simulations and theoretical modeling

Authors: Barnabas Adeyemi, Behzad Ghanbarian, C. L. Winter, Peter R. King

Abstract: Determining the effective permeability (keff) of geological formations has broad applications to site remediation, aquifer discharge or recharge, hydrocarbon production, and enhanced oil recovery. The objectives of this study are: (1) to explore an approach to estimating keff at the reservoir scale using the critical path analysis (CPA), (2) to evaluate the accuracy of this new approach by compari… ▽ More Determining the effective permeability (keff) of geological formations has broad applications to site remediation, aquifer discharge or recharge, hydrocarbon production, and enhanced oil recovery. The objectives of this study are: (1) to explore an approach to estimating keff at the reservoir scale using the critical path analysis (CPA), (2) to evaluate the accuracy of this new approach by comparing the estimated keff to the numerically simulated effective permeability, and (3) to compare the performance of CPA estimates of keff to estimates by three other models i.e., perturbation theory (PT), effective-medium approximation (EMA), and renormalization group theory (RGT). We construct two- and three-dimensional random (uncorrelated) geologic formations based on permeability measurements from the Borden site and assume that the permeability distribution conforms to the log-normal probability density function over a wide range of means and standard deviations. Comparing keff estimated via CPA to keff values derived from numerical flow simulations indicates that CPA provides accurate estimations in both two and three dimensions over a wide range of heterogeneity levels, similar to RGT. Inter-model comparisons show that although PT and EMA provide reasonable keff estimations in rather homogeneous formations, they substantially overestimate the effective permeability in highly heterogeneous formations. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Journal ref: Advances in Water Resources 2021 104096

Refined physical parameters for Chariklo's body and rings from stellar occultations observed between 2013 and 2020

Authors: B. E. Morgado, B. Sicardy, F. Braga-Ribas, J. Desmars, A. R. Gomes-Júnior, D. Bérard, R. Leiva, J. L. Ortiz, R. Vieira-Martins, G. Benedetti-Rossi, P. Santos-Sanz, J. I. B. Camargo, R. Duffard, F. L. Rommel, M. Assafin, R. C. Boufleur, F. Colas, M. Kretlow, W. Beisker, R. Sfair, C. Snodgrass, N. Morales, E. Fernández-Valenzuela, L. S. Amaral, A. Amarante , et al. (56 additional authors not shown)

Abstract: The Centaur (10199) Chariklo has the first rings system discovered around a small object. It was first observed using stellar occultation in 2013. Stellar occultations allow the determination of sizes and shapes with kilometre accuracy and obtain characteristics of the occulting object and its vicinity. Using stellar occultations observed between 2017 and 2020, we aim at constraining Chariklo's an… ▽ More The Centaur (10199) Chariklo has the first rings system discovered around a small object. It was first observed using stellar occultation in 2013. Stellar occultations allow the determination of sizes and shapes with kilometre accuracy and obtain characteristics of the occulting object and its vicinity. Using stellar occultations observed between 2017 and 2020, we aim at constraining Chariklo's and its rings physical parameters. We also determine the rings' structure, and obtain precise astrometrical positions of Chariklo. We predicted and organised several observational campaigns of stellar occultations by Chariklo. Occultation light curves were measured from the data sets, from which ingress and egress times, and rings' width and opacity were obtained. These measurements, combined with results from previous works, allow us to obtain significant constraints on Chariklo's shape and rings' structure. We characterise Chariklo's ring system (C1R and C2R), and obtain radii and pole orientations that are consistent with, but more accurate than, results from previous occultations. We confirmed the detection of W-shaped structures within C1R and an evident variation of radial width. The observed width ranges between 4.8 and 9.1 km with a mean value of 6.5 km. One dual observation (visible and red) does not reveal any differences in the C1R opacity profiles, indicating ring particle's size larger than a few microns. The C1R ring eccentricity is found to be smaller than 0.022 (3-sigma), and its width variations may indicate an eccentricity higher than 0.005. We fit a tri-axial shape to Chariklo's detections over eleven occultations and determine that Chariklo is consistent with an ellipsoid with semi-axes of 143.8, 135.2 and 99.1 km. Ultimately, we provided seven astrometric positions at a milliarcseconds accuracy level, based on Gaia EDR3, and use it to improve Chariklo's ephemeris. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: 32 pages, 11 Figures in the main text, paper was accepted for publication in Section 10. Planets and planetary systems of Astronomy and Astrophysics on 12/07/2021

Journal ref: A&A 652, A141 (2021)

Evaluating Large Language Models Trained on Code

Authors: Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, Alex Ray, Raul Puri, Gretchen Krueger, Michael Petrov, Heidy Khlaaf, Girish Sastry, Pamela Mishkin, Brooke Chan, Scott Gray, Nick Ryder, Mikhail Pavlov, Alethea Power, Lukasz Kaiser, Mohammad Bavarian, Clemens Winter , et al. (33 additional authors not shown)

Abstract: We introduce Codex, a GPT language model fine-tuned on publicly available code from GitHub, and study its Python code-writing capabilities. A distinct production version of Codex powers GitHub Copilot. On HumanEval, a new evaluation set we release to measure functional correctness for synthesizing programs from docstrings, our model solves 28.8% of the problems, while GPT-3 solves 0% and GPT-J sol… ▽ More We introduce Codex, a GPT language model fine-tuned on publicly available code from GitHub, and study its Python code-writing capabilities. A distinct production version of Codex powers GitHub Copilot. On HumanEval, a new evaluation set we release to measure functional correctness for synthesizing programs from docstrings, our model solves 28.8% of the problems, while GPT-3 solves 0% and GPT-J solves 11.4%. Furthermore, we find that repeated sampling from the model is a surprisingly effective strategy for producing working solutions to difficult prompts. Using this method, we solve 70.2% of our problems with 100 samples per problem. Careful investigation of our model reveals its limitations, including difficulty with docstrings describing long chains of operations and with binding operations to variables. Finally, we discuss the potential broader impacts of deploying powerful code generation technologies, covering safety, security, and economics. △ Less

Submitted 14 July, 2021; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: corrected typos, added references, added authors, added acknowledgements

A Generalizable Approach to Learning Optimizers

Authors: Diogo Almeida, Clemens Winter, Jie Tang, Wojciech Zaremba

Abstract: A core issue with learning to optimize neural networks has been the lack of generalization to real world problems. To address this, we describe a system designed from a generalization-first perspective, learning to update optimizer hyperparameters instead of model parameters directly using novel features, actions, and a reward function. This system outperforms Adam at all neural network tasks incl… ▽ More A core issue with learning to optimize neural networks has been the lack of generalization to real world problems. To address this, we describe a system designed from a generalization-first perspective, learning to update optimizer hyperparameters instead of model parameters directly using novel features, actions, and a reward function. This system outperforms Adam at all neural network tasks including on modalities not seen during training. We achieve 2x speedups on ImageNet, and a 2.5x speedup on a language modeling task using over 5 orders of magnitude more compute than the training tasks. △ Less

Submitted 7 June, 2021; v1 submitted 2 June, 2021; originally announced June 2021.

Lower Bound on the Size-Ramsey Number of Tight Paths

Authors: Christian Winter

Abstract: The size-Ramsey number $R^{(k)}(H)$ of a $k$-uniform hypergraph $H$ is the minimum number of edges in a $k$-uniform hypergraph $G$ with the property that every `$2$-edge coloring' of $G$ contains a monochromatic copy of $H$. For $k\ge2$ and $n\in\mathbb{N}$, a $k$-uniform tight path on $n$ vertices $P^{(k)}_{n}$ is defined as a $k$-uniform hypergraph on $n$ vertices for which there is an ordering… ▽ More The size-Ramsey number $R^{(k)}(H)$ of a $k$-uniform hypergraph $H$ is the minimum number of edges in a $k$-uniform hypergraph $G$ with the property that every `$2$-edge coloring' of $G$ contains a monochromatic copy of $H$. For $k\ge2$ and $n\in\mathbb{N}$, a $k$-uniform tight path on $n$ vertices $P^{(k)}_{n}$ is defined as a $k$-uniform hypergraph on $n$ vertices for which there is an ordering of its vertices such that the edges are all sets of $k$ consecutive vertices with respect to this order. We prove a lower bound on the size-Ramsey number of $k$-uniform tight paths, which is, considered assymptotically in both the uniformity $k$ and the number of vertices $n$, $R^{(k)}(P^{(k)}_{n})= Ω\big(\log (k)n\big)$. △ Less

Submitted 20 June, 2022; v1 submitted 23 April, 2021; originally announced April 2021.

Comments: Accepted for JOC, 7 pages, 1 figure

Formation of Earth-sized planets within the Kepler-1647 System Habitable Zone

Authors: G. O. Barbosa, O. C. Winter, A. Amarante, E. E. N. Macau

Abstract: The Kepler-1647 is a binary system with two Sun-type stars (approximately 1.22 and 0.97 Solar mass). It has the most massive circumbinary planet (1.52 Jupiter mass) with the longest orbital period (1,107.6 days) detected by the Kepler probe and is located within the habitable zone (HZ) of the system. In this work, we investigated the ability to form and house an Earth-sized planet within its HZ. F… ▽ More The Kepler-1647 is a binary system with two Sun-type stars (approximately 1.22 and 0.97 Solar mass). It has the most massive circumbinary planet (1.52 Jupiter mass) with the longest orbital period (1,107.6 days) detected by the Kepler probe and is located within the habitable zone (HZ) of the system. In this work, we investigated the ability to form and house an Earth-sized planet within its HZ. First, we computed the limits of its HZ and performed numerical stability tests within that region. We found that HZ has three sub-regions that show stability, one internal, one co-orbital, and external to the host planet Kepler-1647b. Within the limits of these three regions, we performed numerical simulations of planetary formation. In the regions inner and outer to the planet, we used two different density profiles to explore different conditions of formation. In the co-orbital region, we used eight different values of total disc mass. We showed that many resonances are located within regions causing much of the disc material to be ejected before a planet is formed. Thus, the system might have two asteroid belts with Kirkwood gaps, similar to the Solar Systemś main belt of asteroids. The co-orbital region proved to be extremely sensitive, not allowing the planet formation, but showing that this binary system has the capacity to have Trojan bodies. Finally, we looked for regions of stability for an Earth-sized moon. We found that there is stability for a moon with this mass up to 0.4 Hillś radius from the host planet. △ Less

Submitted 23 April, 2021; originally announced April 2021.

Stability and Evolution of Fallen Particles Around the Surface of Asteroid (101955) Bennu

Authors: A. Amarante, O. C. Winter, R. Sfair

Abstract: In this work, we study the dynamics of particles around Bennu. The goal is to understand the stability, evolution, and final outcome of the simulated particles around the asteroid. According to the results, the particle sizes can be divided into two main groups depending on their behavior. Particles smaller than a centimeter are quickly removed from the system by solar radiation pressure, while th… ▽ More In this work, we study the dynamics of particles around Bennu. The goal is to understand the stability, evolution, and final outcome of the simulated particles around the asteroid. According to the results, the particle sizes can be divided into two main groups depending on their behavior. Particles smaller than a centimeter are quickly removed from the system by solar radiation pressure, while the dynamics of particles larger than a few centimeters is dominated by the gravitational field of Bennu. Because of its shape and spin period, Bennu has eight equilibrium points around it. The structure of the phase space near its equatorial surface is directly connected to these equilibrium points. Therefore, we performed numerical simulations to obtain information about the orbital evolution near the equilibrium points. The results show that most of the particles larger than a few centimeters fall in the equatorial region close to the Kingfisher area or close to the region diametrically opposite to it. In contrast, almost none of these particles fall in the equatorial region close to the Osprey area. In addition, we also performed computational experiments considering a spherical cloud of particles initially orbiting Bennu. Most of the particles in prograde orbits fall on the surface within our integration period, which was limited to 1.14 years. The particles preferentially fall near high-altitude regions at low equatorial latitudes and close to the north pole. The mid-latitudes are those more depleted of falls, as in the Nightingale and Sandpiper areas. △ Less

Submitted 17 November, 2020; originally announced November 2020.

Comments: 33 pages, 13 figures and 4 tables. Accepted for publication by "Exploration of the Activity of Asteroid (101955) Bennu", a special edition of the Journal of Geophysical Research: Planets. Simulation codes available on https://github.com/a-amarante. Animated movies of simulation results available from https://www.youtube.com/playlist?list=PLepZc10dZiUouELKD7w-3eZ4XOspuVgnm

Journal ref: Journal of Geophysical Research: Planets (2020). Special Issue: "Exploration of the Activity of Asteroid (101955) Bennu"

Stellar occultations enable milliarcsecond astrometry for Trans-Neptunian objects and Centaurs

Authors: F. L. Rommel, F. Braga-Ribas, J. Desmars, J. I. B. Camargo, J. L. Ortiz, B. Sicardy, R. Vieira-Martins, M. Assafin, P. Santos-Sanz, R. Duffard, E. Fernández-Valenzuela, J. Lecacheux, B. E. Morgado, G. Benedetti-Rossi, A. R. Gomes-Júnior, C. L. Pereira, D. Herald, W. Hanna, J. Bradshaw, N. Morales, J. Brimacombe, A. Burtovoi, T. Carruthers, J. R. de Barros, M. Fiori , et al. (44 additional authors not shown)

Abstract: Trans-Neptunian objects (TNOs) and Centaurs are remnants of our planetary system formation, and their physical properties have invaluable information for evolutionary theories. Stellar occultation is a ground-based method for studying these small bodies and has presented exciting results. These observations can provide precise profiles of the involved body, allowing an accurate determination of it… ▽ More Trans-Neptunian objects (TNOs) and Centaurs are remnants of our planetary system formation, and their physical properties have invaluable information for evolutionary theories. Stellar occultation is a ground-based method for studying these small bodies and has presented exciting results. These observations can provide precise profiles of the involved body, allowing an accurate determination of its size and shape. The goal is to show that even single-chord detections of TNOs allow us to measure their milliarcsecond astrometric positions in the reference frame of the Gaia second data release (DR2). Accurated ephemerides can then be generated, allowing predictions of stellar occultations with much higher reliability. We analyzed data from stellar occultations to obtain astrometric positions of the involved bodies. The events published before the Gaia era were updated so that the Gaia DR2 catalog is the reference. Previously determined sizes were used to calculate the position of the object center and its corresponding error with respect to the detected chord and the International Celestial Reference System (ICRS) propagated Gaia DR2 star position. We derive 37 precise astrometric positions for 19 TNOs and 4 Centaurs. Twenty-one of these events are presented here for the first time. Although about 68\% of our results are based on single-chord detection, most have intrinsic precision at the submilliarcsecond level. Lower limits on the diameter and shape constraints for a few bodies are also presented as valuable byproducts. Using the Gaia DR2 catalog, we show that even a single detection of a stellar occultation allows improving the object ephemeris significantly, which in turn enables predicting a future stellar occultation with high accuracy. Observational campaigns can be efficiently organized with this help, and may provide a full physical characterization of the involved object. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: 16 pages, 28 figures. The manuscript was accepted and is to be published

Journal ref: A&A 644, A40 (2020)