Related papers: $\star$-translation for Varsovian models
Population structures can be crucial determinants of evolutionary processes. For the Moran process on graphs certain structures suppress selective pressure, while others amplify it (Lieberman et al. 2005 Nature 433 312-316). Evolutionary…
Analyzing time series of fluxes from stars, known as stellar light curves, can reveal valuable information about stellar properties. However, most current methods rely on extracting summary statistics, and studies using deep learning have…
In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…
MATISSE represents a great opportunity to image the environment around massive and evolved stars. This will allow one to put constraints on the circumstellar structure, on the mass ejection of dust and its reorganization , and on the…
The modelling of massive star evolution is a complex task, and is very sensitive to the way physical processes (such as convection, rotation, mass loss, etc.) are included in stellar evolution code. Moreover, the very high observed fraction…
Self-supervised pretraining methods with masked prediction demonstrate remarkable within-dataset performance in skeleton-based action recognition. However, we show that, unlike contrastive learning approaches, they do not produce…
We show that the existence of a weakly compact cardinal over the Zermelo-Fraenkel's set theory is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.
We introduce and axiomatize the notion of a reflective cardinal, use it to give semantics to higher order set theory, and explore connections between the notion of reflective cardinals and large cardinal axioms.
We develop a gauged Wess-Zumino model in noncommutative Minkowski superspace. This is the natural extension of the work of Carlson and Nazaryan, which extended N=1/2 supersymmetry written over deformed Euclidean superspace to Minkowski…
Spiral galaxies offer a unique opportunity to study the role of star formation in galaxy evolution and to test various theoretical star formation schemes. I review some recent relevant work on the evolution of spiral galaxies. Detailed…
Stellar population (SP) models are an essential tool to understand the observations of galaxies and clusters. One of the main ingredients of a SP model is a library of stellar spectra, and both empirical and theoretical libraries can been…
We consider certain star versions of the Menger, Hurewicz and Rothberger properties. Few important observations concerning these properties are presented, which have not been investigated in earlier works. A variety of investigations is…
We prove the following result which is due to the third author. Let $n \geq 1$. If $\boldsymbol\Pi^1_n$ determinacy and $\Pi^1_{n+1}$ determinacy both hold true and there is no $\boldsymbol\Sigma^1_{n+2}$-definable $\omega_1$-sequence of…
We study solutions for boson stars in multiscalar theory. We start with simple models with N scalar theories. Our purpose is to study the models in which the mass matrix of scalars and the scalar couplings are given by an extended method of…
We like to develop model theory for $T$, a complete theory in $\mathbb{L}_{\theta,\theta}(\tau)$ when $\theta$ is a compact cardinal. By [Sh:300a] we have bare bones stability and it seemed we can go no further. Dealing with ultrapowers…
A version of the STARS stellar evolution code has been developed that uses a non-simultaneous solution of the equations of stellar structure and evolution. In all other respects it is identical to the normal, fully simultaneous version. It…
The landmark Levy-Solovay Theorem limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that…
We are surrounded by spatio-temporal patterns resulting from the interaction of the numerous basic units constituting natural or human-made systems. In presence of diffusive-like coupling, Turing theory has been largely applied to explain…
This project outlines the complete development of a variable star classification algorithm methodology. With the advent of Big-Data in astronomy, professional astronomers are left with the problem of how to manage large amounts of data, and…
It has long been understood that the light curve of a transiting planet constrains the density of its host star. That fact is routinely used to improve measurements of the stellar surface gravity and has been argued to be an independent…