We aim to find missing microlensing planets hidden in the unanalyzed lensing events of previous survey data. For this purpose, we conduct a systematic inspection high-magnification events, with peak magnifications $A_{\rm peak}\gtrsim 30$, data collected from high-cadence surveys and before 2018 season. From investigation, identify an anomaly light curve event KMT-2018-BLG-1025. The analysis in...

A central topic in query learning is to determine which classes of Boolean formulas are e ciently learnable with membership and equivalence queries. We consider the class Rk consisting of conjunctions of k unate DNF formulas. This class generalizes the class of k-clause CNF formulas, and the class of unate DNF formulas, both of which are known to be learnable in polynomial time with membership ...

We report the discovery of a transiting, temperate, Neptune-sized exoplanet orbiting nearby ($d$ = 27.5 pc), M3V star TOI-1231 (NLTT 24399, L 248-27, 2MASS J10265947-5228099). The planet was detected using photometric data from Transiting Exoplanet Survey Satellite and followed up with observations Las Cumbres Observatory Antarctica Search for ExoPlanets program. Combining sets, we find that ne...

Nearby M dwarf systems currently offer the most favorable opportunities for spectroscopic investigations of terrestrial exoplanet atmospheres. The LTT~1445 system is a hierarchical triple dwarfs with two known planets orbiting primary star, LTT~1445A. We observe four transits world LTT~1445Ab ($R=1.3$ R$_\oplus$, $M=2.9$ M$_\oplus$) at low resolution Magellan II/LDSS3C. use combined flux LTT~14...

We prove that the multi-Rees algebra $${\mathcal {R}}(I_1 \oplus \cdots I_r)$$ of a collection strongly stable ideals $$I_1, \ldots , I_r$$ is fiber type. In particular, we provide Gröbner basis for its defining ideal as union special and binomial syzygies. also study Koszulness based on parameters associated to collection. Furthermore, establish quadratic I_2)$$ where each has two quadric Bore...

Let $$(M_1,\textit{g}^{(1)})$$ , $$(M_2,\textit{g}^{(2)})$$ be closed Riemannian spin manifolds. We study the existence of solutions Spinorial Yamabe problem on product $$M_1\times M_2$$ equipped with a family metrics $$\varepsilon ^{-2}\textit{g}^{(1)}\oplus \textit{g}^{(2)}$$ >0$$ . Via variational methods and blow-up techniques, we prove which depend only factor $$M_1$$ exhibit spike layer a...

One of the main objectives Transiting Exoplanet Survey Satellite ({TESS}) mission is discovery small rocky planets around relatively bright nearby stars. Here, we report and characterization transiting super-Earth planet orbiting LHS~1478 (TOI-1640). The star an inactive red dwarf ($J \sim 9.6$\,mag spectral type m3\,V) with mass radius estimates $0.20\pm0.01$\,$M_{\odot}$ $0.25\pm0.01$\,$R_{\o...

We report the detection of GJ 3090 b (TOI-177.01), a mini-Neptune on 2.9-day orbit transiting bright (K = 7.3 mag) M2 dwarf located at 22 pc. The planet was identified by Transiting Exoplanet Survey Satellite and confirmed with High Accuracy Radial velocity Planet Searcher radial velocities. Seeing-limited photometry speckle imaging rule out nearby eclipsing binaries. Additional transits were o...

Earth-sized exoplanets that transit nearby, late spectral type red dwarfs will be prime targets for atmospheric characterization in the coming decade. Such systems, however, are difficult to find via wide-field surveys like Kepler or TESS. Consequently, presence of such transiting planets is unexplored and occurrence rates short-period around M remain poorly constrained. Here, we present deepes...

Most of the currently known planets are small worlds with radii between that Earth and Neptune. The characterization in this regime shows a large diversity compositions system architectures, distributions hinting at multitude formation evolution scenarios. Using photometry from K2 satellite radial velocities measured HARPS CORALIE spectrographs, we searched for around bright slightly evolved Su...