output
19922020
most citedModules for Experiments in Stellar Astrophysics (MESA): Binaries, Pulsations, and Explosions

3.2k citations

Showing 2020Show all

9 papers · 1 filter

cs.LO2020★ 6 cited

A Complete Axiomatisation for Quantifier-Free Separation Logic

Stéphane Demri, Étienne Lozes, Alessio Mansutti

We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no ex…

math.PR2020★ 5 cited

Cumulant-cumulant relations in free probability theory from Magnus' expansion

A. Celestino, K. Ebrahimi-Fard, F. Patras +1

Relations between moments and cumulants play a central role in both classical and non-commutative probability theory. The latter allows for several distinct families of cumulants c…

astro-ph.EP2020★ 49 cited

Subsolar Al/Si and Mg/Si ratios of non-carbonaceous chondrites reveal planetesimal formation during early condensation in the protoplanetary disk

A. Morbidelli, G. Libourel, H. Palme +2

The Al/Si and Mg/Si ratios in non-carbonaceous chondrites are lower than the solar (i.e., CI-chondritic) values, in sharp contrast to the non-CI carbonaceous meteorites and the Ear…

physics.flu-dyn2020

Steady states in dual-cascade wave turbulence

V. N. Grebenev, S. B. Medvedev, S. V. Nazarenko +1

We study stationary solutions in the differential kinetic equation, which was introduced in for description of a local dual cascade wave turbulence. We give a full classification o…

math.AG2020★ 5 cited

The Hitchin connection in arbitrary characteristic

Thomas Baier, Michele Bolognesi, Johan Martens +1

We give an algebro-geometric construction of the Hitchin connection, valid also in positive characteristic (with a few exceptions). A key ingredient is a substitute for the Narasim…

astro-ph.HE2020★ 6 cited

Magnetic field screening in strong crossed electromagnetic fields

S. Campion, J. A. Rueda, R. Ruffini +1

We consider crossed electric and a magnetic fields , with , in presence of some initial number of pairs. We do…

math.PR2020

Small ball probabilities, metric entropy and Gaussian rough paths

William Salkeld

We study the Small Ball Probabilities (SBPs) of Gaussian rough paths. While many works on rough paths study the Large Deviations Principles (LDPs) for stochastic processes driven b…

astro-ph.GA2020★ 17 cited

Homogeneity in the early chemical evolution of the Sextans dwarf Spheroidal galaxy

R. Lucchesi, C. Lardo, F. Primas +10

We present the high-resolution spectroscopic analysis of two new extremely metal-poor stars (EMPS) candidates in the dwarf spheroidal galaxy Sextans. These targets were pre-selecte…

math.PR2020

Wick polynomials in non-commutative probability

K. Ebrahimi-Fard, F. Patras, N. Tapia +1

Wick polynomials and Wick products are studied in the context of non-commutative probability theory. It is shown that free, boolean and conditionally free Wick polynomials can be d…