Search

Observations of the Galactic bulge revealed an excess of short-timescale gravitational microlensing events that are generally attributed to a large population of free-floating or wide-orbit exoplanets. However, in recent years, some authors suggested that planetary-mass primordial black holes (PBHs) comprising a substantial fraction (1-10%) of the dark matter in the Milky Way may be responsible for these events. If that was the case, a large number of short-timescale microlensing events should also be seen toward the Magellanic Clouds. Here we report the results of a high-cadence survey of the Magellanic Clouds carried out from October 2022 through May 2024 as part of the Optical Gravitational Lensing Experiment (OGLE). We observed almost 35 million source stars located in the central regions of the Large and Small Magellanic Clouds and found only one long-timescale microlensing event candidate. No short-timescale events were detected despite high sensitivity to such events. That allows us to infer the strongest available limits on the frequency of planetary-mass PBHs in dark matter. We find that PBHs and other compact objects with masses from $1.4 \times 10^{-8}\,M_{\odot}$ (half of the Moon mass) to $0.013\,M_{\odot}$ (planet/brown dwarf boundary) may comprise at most 1% of dark matter. That rules out the PBH origin hypothesis for the short-timescale events detected toward the Galactic bulge and indicates they are caused by the population of free-floating or wide-orbit planets., Comment: submitted to AAS Journals

Some accreting binary systems containing a white dwarf (such as classical novae or persistent supersoft sources) are seen to emit low energy X-rays with temperatures of ~10^6 K and luminosities exceeding 10^35 erg/s. These X-rays are thought to originate from nuclear burning on the white dwarf surface, either caused by a thermonuclear runaway (classical novae) or a high mass accretion rate that sustains steady nuclear burning (persistent sources). The discovery of transient supersoft X-rays from ASASSN-16oh challenged these ideas, as no signatures of nuclear fusion were detected, and the origin of these X-rays remains controversial. It was unclear whether this star was one of a kind or representative of a larger, as yet undiscovered, group. Here we present the discovery of 29 stars located in the direction of the Magellanic Clouds exhibiting long-duration, symmetrical optical outbursts similar to that seen in ASASSN-16oh. We observed one of these objects during an optical outburst and found it to be emitting transient supersoft X-rays, while no signatures of mass ejection (indicative of a classical nova eruption) were detected. We therefore propose that these objects form a homogeneous group of transient supersoft X-ray sources, which we dub `millinovae' because their optical luminosities are approximately a thousand times fainter than those of ordinary classical novae., Comment: submitted to AAS Journals

Recent research on compressed binary hydrides have unveiled the potential for achieving superconductivity at near-room-temperature. Nevertheless, the available decision-making procedures standing behind the selection of constituent elements that may potentially exhibit high values of critical temperature ($T_c$) are far from optimal. In other words, a lot of experimental and numerical effort is wasted on exploring unpromising compounds. By conducting a deep study of a database containing over $580$ binary hydride superconductors, we were able to observe some interesting relationships between $T_c$ and selected physico-chemical properties of examined compounds. Among studied parameters, the ratio of the sum of the molecular weight of heavier atoms to the total mass of all hydrogen atoms in the chemical formula of hydride ($M_X/M_H$) was found to be the most valuable indicator that can help to screen for new promising superconductor candidates. This is because the highest $T_c$ requires the lowest $M_X/M_H$ ratio. Statistical analysis indicates a $28\%$ chance of finding $T_c > 200$ K within $0 < M_X/M_H < 15$. It is expected that these findings will not only allow for more efficient use of resources by improving future superconductor candidates selection but also they will accelerate ongoing experimental and numerical research that should bring new exciting discoveries in a much shorter time.

Interferometric observations of gravitational microlensing events offer an opportunity for precise, efficient, and direct mass and distance measurements of lensing objects, especially those of isolated neutron stars and black holes. However, such observations were previously possible for only a handful of extremely bright events. The recent development of a dual-field interferometer, GRAVITY Wide, has made it possible to reach out to significantly fainter objects, and increase the pool of microlensing events amenable to interferometric observations by two orders of magnitude. Here, we present the first successful observation of a microlensing event with GRAVITY Wide and the resolution of microlensed images in the event OGLE-2023-BLG-0061/KMT-2023-BLG-0496. We measure the angular Einstein radius of the lens with a sub-percent precision, $\theta_{\rm E} = 1.280 \pm 0.009$ mas. Combined with the microlensing parallax detected from the event light curve, the mass and distance to the lens are found to be $0.472 \pm 0.012 M_{\odot}$ and $1.81 \pm 0.05$ kpc, respectively. We present the procedure for the selection of targets for interferometric observations, and discuss possible systematic effects affecting GRAVITY Wide data. This detection demonstrates the capabilities of the new instrument and it opens up completely new possibilities for the follow-up of microlensing events, and future routine discoveries of isolated neutron stars and black holes., Comment: submitted to AAS Journals

We give a new, direct proof of the tetrachotomy classification for the model-checking problem of positive equality-free logic parameterised by the model. The four complexity classes are Logspace, NP-complete, co-NP-complete and Pspace-complete. The previous proof of this result relied on notions from universal algebra and core-like structures called U-X-cores. This new proof uses only relations, and works for infinite structures also in the distinction between Logspace and NP-hard under Turing reductions. For finite domains, the membership in NP and co-NP follows from a simple argument, which breaks down already over an infinite set with a binary relation. We develop some interesting new algorithms to solve NP and co-NP membership for a variety of infinite structures. We begin with those first-order definable in (Q;=), the so-called equality languages, then move to those first-order definable in (Q;<), the so-called temporal languages. However, it is first-order expansions of the Random Graph (V,E) that provide the most interesting examples. In all of these cases, the derived classification is a tetrachotomy between Logspace, NP-complete, co-NP-complete and Pspace-complete.

Building on previous works to construct a homogeneous sample of brown dwarfs in binary systems, we investigate microlensing events detected by the Korea Microlensing Telescope Network (KMTNet) survey during the 2022 and 2023 seasons. Given the difficulty in distinguishing brown-dwarf events from those produced by binary lenses with nearly equal-mass components, we analyze all lensing events detected during the seasons that exhibit anomalies characteristic of binary-lens systems. Using the same criteria consistently applied in previous studies, we identify six additional brown dwarf candidates through the analysis of lensing events KMT-2022-BLG-0412, KMT-2022-BLG-2286, KMT-2023-BLG-0201, KMT-2023-BLG-0601, KMT-2023-BLG-1684, and KMT-2023-BLG-1743. An examination of the mass posteriors shows that the median mass of the lens companions ranges from 0.02 $M_\odot$ to 0.05 $M_\odot$, indicating that these companions fall within the brown-dwarf mass range. The mass of the primary lenses ranges from 0.11 $M_\odot$ to 0.68 $M_\odot$, indicating that they are low-mass stars with substantially lower masses compared to the Sun., Comment: 13 pages, 17 figures, 12 tables

In the pursuit of understanding the population of stellar remnants within the Milky Way, we analyze the sample of $\sim 950$ microlensing events observed by the Spitzer Space Telescope between 2014 and 2019. In this study we focus on a sub-sample of nine microlensing events, selected based on their long timescales, small microlensing parallaxes and joint observations by the Gaia mission, to increase the probability that the chosen lenses are massive and the mass is measurable. Among the selected events we identify lensing black holes and neutron star candidates, with potential confirmation through forthcoming release of the Gaia time-series astrometry in 2026. Utilizing Bayesian analysis and Galactic models, along with the Gaia Data Release 3 proper motion data, four good candidates for dark remnants were identified: OGLE-2016-BLG-0293, OGLE-2018-BLG-0483, OGLE-2018-BLG-0662, and OGLE-2015-BLG-0149, with lens masses of $2.98^{+1.75}_{-1.28}~M_{\odot}$, $4.65^{+3.12}_{-2.08}~M_{\odot}$, $3.15^{+0.66}_{-0.64}~M_{\odot}$ and $1.4^{+0.75}_{-0.55}~M_{\odot}$, respectively. Notably, the first two candidates are expected to exhibit astrometric microlensing signals detectable by Gaia, offering the prospect of validating the lens masses. The methodologies developed in this work will be applied to the full Spitzer microlensing sample, populating and analyzing the time-scale ($t_{\rm E}$) vs. parallax ($\pi_{\rm E}$) diagram to derive constraints on the population of lenses in general and massive remnants in particular., Comment: submitted to ApJ

Stellar rotation, a key factor influencing stellar structure and evolution, also drives magnetic activity, which is manifested as spots or flares on stellar surface. Here, we present a collection of 18 443 rotating variables located toward the Galactic bulge, identified in the photometric database of the Optical Gravitational Lensing Experiment (OGLE) project. These stars exhibit distinct magnetic activity, including starspots and flares. With this collection, we provide long-term, time-series photometry in Cousins I- and Johnson V-band obtained by OGLE since 1997, and basic observational parameters, i.e., equatorial coordinates, rotation periods, mean brightness, and brightness amplitudes in both bands. This is a unique dataset for studying stellar magnetic activity, including activity cycles., Comment: Accepted for publication in Acta Astronomica vol. 74. 24 pages, 12 figures, 4 tables. The OGLE Collection of rotating variables toward the Galactic bulge is publicly available through https://www.astrouw.edu.pl/ogle/ogle4/OCVS/blg/rot/

Demand for sustainable mobility is particularly high in urban areas. Hence, there is a growing need to predict when people will decide to use different travel modes with an emphasis on environmentally friendly travel modes. As travel mode choice (TMC) is influenced by multiple factors, in a growing number of cases machine learning methods are used to predict travel mode choices given respondent and journey features. Typically, travel diaries are used to provide core relevant data. However, other features such as attributes of mode alternatives including, but not limited to travel times, and, in the case of public transport (PT), also walking distances have a major impact on whether a person decides to use a travel mode of interest. Hence, in this work, we propose an architecture of a software platform performing the data fusion combining data documenting journeys with the features calculated to summarise transport options available for these journeys, built environment and environmental factors such as weather conditions possibly influencing travel mode decisions. Furthermore, we propose various novel features, many of which we show to be among the most important for TMC prediction. We propose how stream processing engines and other Big Data systems can be used for their calculation. The data processed by the platform is used to develop machine learning models predicting travel mode choices. To validate the platform, we propose ablation studies investigating the importance of individual feature subsets calculated by it and their impact on the TMC models built with them. In our experiments, we combine survey data, GPS traces, weather and pollution time series, transport model data, and spatial data of the built environment. The growth in the accuracy of TMC models built with the additional features is up to 18.2% compared to the use of core survey data only., Comment: 34 pages, 5 figures

We investigate the nature of the short-term anomaly that appears in the lensing light curve of KMT-2023-BLG-1866. The anomaly was only partly covered due to its short duration, less than a day, coupled with cloudy weather conditions and restricted nighttime duration. Considering intricacy of interpreting partially covered signals, we thoroughly explore all potential degenerate solutions. Through this process, we identify three planetary scenarios that equally well account for the observed anomaly. These scenarios are characterized by the specific planetary parameters: $(s, q)_{\rm inner} = [0.9740 \pm 0.0083, (2.46 \pm 1.07) \times 10^{-5}]$, $(s, q)_{\rm intermediate} = [0.9779 \pm 0.0017, (1.56 \pm 0.25)\times 10^{-5}]$, and $(s, q)_{\rm outer} = [0.9894 \pm 0.0107, (2.31 \pm 1.29)\times 10^{-5}]$, where $s$ and $q$ denote the projected separation (scaled to the Einstein radius) and mass ratio between the planet and its host, respectively. We identify that the ambiguity between the inner and outer solutions stems from the inner-outer degeneracy, while the similarity between the intermediate solution and the others is due to an accidental degeneracy caused by incomplete anomaly coverage. Through Bayesian analysis utilizing the constraints derived from measured lensing observables and blending flux, our estimation indicates that the lens system comprises a very low-mass planet orbiting an early M-type star situated approximately (6.2 -- 6.5)~kpc from Earth in terms of median posterior values for the different solutions. The median mass of the planet host is in the range of (0.48 -- 0.51)~$M_\odot$, and that of the planet's mass spans a range of (2.6 -- 4.0)~$M_{\rm E}$, varying across different solutions. The detection of KMT-2023-BLG-1866Lb signifies the extension of the lensing surveys to very low-mass planets that have been difficult to be detected from earlier surveys., Comment: 9 pages, 8 figures, 4 tables

In this work, we search the OGLE-IV outer Galactic bulge fields for short-period variable objects. The investigation focuses on unexplored timescales roughly below one hour in an area containing about 700 million stellar sources down to approximately I=20 mag. We concentrate mainly on Blue Large-Amplitude Pulsators (BLAPs), which represent a recently discovered enigmatic class of short-period hot subluminous stars. We find 33 BLAPs in the period range from 7.5 to 66.5 min. Thirty-one of them are new discoveries, which increases the number of known stars of this class to over one hundred. Additional eighteen objects with pulsation-like light curve shapes and periods ranging from 17.3 to 53.7 min are presented. Very likely, these are $\delta$ Sct/SX Phe-type stars, but some of them could be pulsating hot subdwarfs or BLAPs. We also report on the detection of five eclipsing binary systems with orbital periods between 61.2 and 121.9 min and three mysterious variable objects with I-band amplitudes larger than 0.9 mag. A spectroscopic follow-up would help in the final classification of the variables., Comment: published in Acta Astronomica

Blue Large-Amplitude Pulsators (BLAPs) are a recently discovered class of short-period pulsating variable stars. In this work, we present new information on these stars based on photometric and spectroscopic data obtained for known and new objects detected by the OGLE survey. BLAPs are evolved objects with pulsation periods in the range of 3--75 min, stretching between subdwarf B-type stars and upper main-sequence stars in the Hertzsprung-Russell diagram. In general, BLAPs are single-mode stars pulsating in the fundamental radial mode. Their phase-folded light curves are typically sawtooth shaped, but light curves of shorter-period objects are more rounded and symmetric, while many longer-period objects exhibit an additional bump. The long-term OGLE observations show that the period change rates of BLAPs are usually of the order of 10^-7 per year and in a quarter of the sample are negative. An exception is the triple-mode object OGLE-BLAP-030, which changes its dominant period much faster, at a rate of about +4.6 x 10^-6 per year. The spectroscopic data indicate that the BLAPs form a homogeneous group in the period, surface gravity, and effective temperature spaces. However, we observe a split into two groups in terms of helium-to-hydrogen content. The atmospheres of the He-enriched BLAPs are more abundant in metals (about five times) than the atmosphere of the Sun. We discover that the BLAPs obey a period--gravity relationship and we use the distance to OGLE-BLAP-009 to derive a period--luminosity relation. Most of the stars observed in the OGLE Galactic bulge fields seem to reside in the bulge, while the remaining objects likely are in the foreground Galactic disk., Comment: submitted to ApJ, 21 pages, 14 figures

We present the analysis of the microlensing event OGLE-2015-BLG-0845, which was affected by both the microlensing parallax and xallarap effects. The former was detected via the simultaneous observations from the ground and Spitzer, and the latter was caused by the orbital motion of the source star in a relatively close binary. The combination of these two effects led to a mass measurement of the lens object, revealing a low-mass ($0.14 \pm 0.05 M_{\odot}$) M-dwarf at the bulge distance ($7.6 \pm 1.0$ kpc). The source binary consists of a late F-type subgiant and a K-type dwarf of $\sim1.2 M_{\odot}$ and $\sim 0.9 M_{\odot}$, respectively, and the orbital period is $70 \pm 10$ days. OGLE-2015-BLG-0845 is the first single-lens event in which the lens mass is measured via the binarity of the source. Given the abundance of binary systems as potential microlensing sources, the xallarap effect may not be a rare phenomenon. Our work thus highlights the application of the xallarap effect in the mass determination of microlenses, and the same method can be used to identify isolated dark lenses., Comment: New version after the review process. Accepted for publication in Monthly Notices of the Royal Astronomical Society

Public transport systems are expected to reduce pollution and contribute to sustainable development. However, disruptions in public transport such as delays may negatively affect mobility choices. To quantify delays, aggregated data from vehicle locations systems are frequently used. However, delays observed at individual stops are caused inter alia by fluctuations in running times and propagation of delays occurring in other locations. Hence, in this work, we propose both the method detecting significant delays and reference architecture, relying on stream processing engines, in which the method is implemented. The method can complement the calculation of delays defined as deviation from schedules. This provides both online rather than batch identification of significant and repetitive delays, and resilience to the limited quality of location data. The method we propose can be used with different change detectors, such as ADWIN, applied to location data stream shuffled to individual edges of a transport graph. It can detect in an online manner at which edges statistically significant delays are observed and at which edges delays arise and are reduced. Detections can be used to model mobility choices and quantify the impact of repetitive rather than random disruptions on feasible trips with multimodal trip modelling engines. The evaluation performed with the public transport data of over 2000 vehicles confirms the merits of the method and reveals that a limited-size subgraph of a transport system graph causes statistically significant delays, Comment: This preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this contribution is published in Computational Science - ICCS 2022. Lecture Notes in Computer Science, vol 13353. Springer, Cham, and is available online at https://doi.org/10.1007/978-3-031-08760-8_41

We undertake a project to reexamine microlensing data gathered from high-cadence surveys. The aim of the project is to reinvestigate lensing events with light curves exhibiting intricate anomaly features associated with caustics, yet lacking prior proposed models to explain these features. Through detailed reanalyses considering higher-order effects, we identify that accounting for orbital motions of lenses is vital in accurately explaining the anomaly features observed in the light curves of the lensing events OGLE-2018-BLG-0971, MOA-2023-BLG-065, and OGLE-2023-BLG-0136. We estimate the masses and distances to the lenses by conducting Bayesian analyses using the lensing parameters of the newly found lensing solutions. From these analyses, we identify that the lenses of the events OGLE-2018-BLG-0971 and MOA-2023-BLG-065 are binaries composed of M dwarfs, while the lens of OGLE-2023-BLG-0136 is likely to be a binary composed of an early K-dwarf primary and a late M-dwarf companion. For all lensing events, the probability of the lens residing in the bulge is considerably higher than that of it being located in the disk., Comment: 11 pages, 13 figures, 6 tables

We report the discovery of the classical Cepheid OGLE-GD-CEP-1884 (= GDS_J1535467-555656) with the longest pulsation period known in our Galaxy. The period of 78.14 d is nearly 10 d longer than that of the previous record-holding Cepheid, S Vulpeculae, and thus, OGLE-GD-CEP-1884 can be categorized as the first ultra long period Cepheid in the Milky Way. This star is present in the ASAS-SN and Gaia DR3 catalogs of variable stars, but it has been classified as a long-period variable in those catalogs. Based on more than 10 years of the photometric monitoring of this star carried out by the OGLE project in the I and V bands and a radial velocity curve from the Gaia Focused Product Release, we unequivocally demonstrate that this object is a fundamental-mode classical Cepheid. By employing the mid-infrared period-luminosity relation, we determine the distance to OGLE-GD-CEP-1884 (4.47 +- 0.34 kpc) and place it on the Milky Way map, along with about 2400 other classical Cepheids. We also discuss the potential of finding additional ultra long period Cepheids in our Galaxy., Comment: 9 pages, 3 figures, accepted for publication in The Astrophysical Journal Letters

We use the spectroscopic data collected by the Magellanic Quasars Survey (MQS) as well as the photometric V- and I-band data from the Optical Gravitational Lensing Experiment (OGLE) to measure the physical parameters for active galactic nuclei (AGNs) located behind the Magellanic Clouds. The flux-uncalibrated MQS spectra were obtained with the 4-m Anglo-Australian Telescope and the AAOmega spectroscope (R=1300) in a typical ~1.5-hour visit. They span a spectral range of 3700-8500 Angstroms and have S/N ratios in a range of 3-300. We report the discovery and observational properties of 161 AGNs in this footprint, which expands the total number of spectroscopically confirmed AGNs by MQS to 919. After converting the OGLE mean magnitudes to the monochromatic luminosities at 5100 Angstroms, 3000 Angstroms, and 1350 Angstroms, we reliably measured the black hole masses for 165 out of 919 AGNs. The remaining physical parameters we provide are the bolometric luminosities and the Eddington ratios. A fraction of these AGNs have been observed by the OGLE survey since 1997 (all of them since 2001), enabling studies of correlations between their variability and physical parameters., Comment: 15 pages, 8 figures, 8 tables, accepted for publication in The Astrophysical Journal Supplement Series

Measurements of the microlensing optical depth and event rate toward the Large Magellanic Cloud (LMC) can be used to probe the distribution and mass function of compact objects in the direction toward that galaxy - in the Milky Way disk, the Milky Way dark matter halo, and the LMC itself. The previous measurements, based on small statistical samples of events, found that the optical depth is an order of magnitude smaller than that expected from the entire dark matter halo in the form of compact objects. However, these previous studies were not sensitive to long-duration events with Einstein timescales longer than 2.5-3 yr, which are expected from massive ($10-100\,M_{\odot}$) and intermediate-mass ($10^2-10^5\,M_{\odot}$) black holes. Such events would have been missed by the previous studies and would not have been taken into account in calculations of the optical depth. Here, we present the analysis of nearly 20-year-long photometric monitoring of 78.7 million stars in the LMC by the Optical Gravitational Lensing Experiment (OGLE) from 2001 through 2020. We describe the observing setup, the construction of the 20-year OGLE dataset, the methods used for searching for microlensing events in the light-curve data, and the calculation of the event detection efficiency. In total, we find 16 microlensing events (thirteen using an automated pipeline and three with manual searches), all of which have timescales shorter than 1 yr. We use a sample of thirteen events to measure the microlensing optical depth toward the LMC $\tau=(0.121 \pm 0.037)\times 10^{-7}$ and the event rate $\Gamma=(0.74 \pm 0.25)\times 10^{-7}\,\mathrm{yr}^{-1}\,\mathrm{star}^{-1}$. These numbers are consistent with lensing by stars in the Milky Way disk and the LMC itself, and they demonstrate that massive and intermediate-mass black holes cannot comprise a significant fraction of the dark matter., Comment: accepted for publication in ApJS

The gravitational wave detectors have unveiled a population of massive black holes that do not resemble those observed in the Milky Way. They may have formed due to the evolution of massive low-metallicity stars, dynamical interactions in dense stellar environments, or density fluctuations in the very early Universe (primordial black holes). If the latter hypothesis is correct, primordial black holes should comprise from several to 100% of dark matter to explain the black hole merger rates observed by gravitational wave detectors. If such black holes existed in the Milky Way dark matter halo, they would cause long-timescale gravitational microlensing events lasting years. Here, we present the results of the search for the long-timescale microlensing events among the light curves of 78.7 million stars located in the Large Magellanic Cloud (LMC) that were monitored for 20 years (2001-2020) by the Optical Gravitational Lensing Experiment (OGLE) survey. We did not find any events with timescales longer than one year. The properties of all thirteen microlensing events with timescales shorter than one year detected by OGLE toward the LMC can be explained by astrophysical objects located either in the LMC itself or in the Milky Way disk, without the need to invoke dark matter in the form of compact objects. We find that compact objects in the mass range from $1.8 \times 10^{-4}\,M_{\odot}$ to $6.3\,M_{\odot}$ cannot compose more than 1% of dark matter, and compact objects in the mass range from $1.3 \times 10^{-5}\,M_{\odot}$ to $860\,M_{\odot}$ cannot make up more than 10% of dark matter. This conclusively rules out primordial black hole mergers as a dominant source of gravitational waves., Comment: Published in Nature. This is a preprint version without any post-submission improvements or corrections. The Version of Record of this article is published in Nature, and is available online at https://doi.org/10.1038/s41586-024-07704-6

Every CSP(B) for a finite structure B is either in P or it is NP-complete but the proofs of the finite-domain CSP dichotomy by Andrei Bulatov and Dimitryi Zhuk not only show the computational complexity separation but also confirm the algebraic tractability conjecture stating that tractability origins from a certain system of operations preserving B. The establishment of the dichotomy was in fact preceded by a number of similar results for stronger conditions of this type, i.e. for system of operations covering not necessarily all tractable finite-domain CSPs. A similar, infinite-domain algebraic tractability conjecture is known for first-order reducts of countably infinite finitely bounded homogeneous structures and is currently wide open. In particular, with an exception of a quasi near-unanimity operation there are no known systems of operations implying tractability in this regime. This paper changes the state-of-the-art and provides a proof that a chain of quasi directed Jonsson operations imply tractability and bounded width for a large and natural class of infinite structures.

The constraint satisfaction problem, parameterized by a relational structure, provides a general framework for expressing computational decision problems. Already the restriction to the class of all finite structures forms an interesting microcosm on its own, but to express decision problems in temporal reasoning one has to take a step beyond the finite-domain realm. An important class of templates used in this context are temporal structures, i.e., structures over $\mathbb{Q}$ whose relations are first-order definable using the usual countable dense linear order without endpoints. In the standard setting, which allows only existential quantification over input variables, the complexity of finite and temporal constraints has been fully classified. In the quantified setting, i.e., when one also allows universal quantifiers, there is only a handful of partial classification results and many concrete cases of unknown complexity. This paper presents a significant progress towards understanding the complexity of the quantified constraint satisfaction problem for temporal structures. We provide a complexity dichotomy for quantified constraints over the Ord-Horn fragment, which played an important role in understanding the complexity of constraints both over temporal structures and in Allen's interval algebra. We show that all problems under consideration are in P or coNP-hard. In particular, we determine the complexity of the quantified constraint satisfaction problem for $(\mathbb{Q};x=y\Rightarrow x\geq z)$, hereby settling a question open for more than ten years., Comment: 35 pages

Light curves of microlensing events occasionally deviate from the smooth and symmetric form of a single-lens single-source event. While most of these anomalous events can be accounted for by employing a binary-lens single-source (2L1S) or a single-lens binary-source (1L2S) framework, it is established that a small fraction of events remain unexplained by either of these interpretations. We carry out a project in which data collected by high-cadence microlensing surveys were reinvestigated with the aim of uncovering the nature of anomalous lensing events with no proposed 2L1S or 1L2S models. From the project, we find that the anomaly appearing in the lensing event OGLE-2023-BLG-0836 cannot be explained by the usual interpretations and conduct a comprehensive analysis of the event. From thorough modeling of the light curve under sophisticated lens-system configurations, we have arrived at the conclusion that a triple-mass lens system is imperative to account for the anomaly features observed in the lensing light curve. From the Bayesian analysis using the measured observables of the event time scale and angular Einstein radius, we determine that the least massive component of the lens has a planetary mass of $4.36^{+2.35}_{-2.18}~M_{\rm J}$. This planet orbits within a stellar binary system composed of two stars with masses $0.71^{+0.38}_{-0.36}~M_\odot$ and $0.56^{+0.30}_{-0.28}~M_\odot$. This lensing event signifies the sixth occurrence of a planetary microlensing system in which a planet belongs to a stellar binary system., Comment: 11 pages, 12 figures

Gravitational microlensing is a phenomenon that allows us to observe dark remnants of stellar evolution even if they no longer emit electromagnetic radiation. In particular, it can be useful to observe solitary neutron stars or stellar-mass black holes, providing a unique window through which to understand stellar evolution. Obtaining direct mass measurements with this technique requires precise observations of both the change in brightness and the position of the microlensed star. The European Space Agency's Gaia satellite can provide both. Using publicly available data from different surveys, we analysed events published in the Gaia Data Release 3 (Gaia DR3) microlensing catalogue. Here we describe our selection of candidate dark lenses, where we suspect the lens is a white dwarf (WD), a neutron star (NS), a black hole (BH), or a mass-gap object, with a mass in a range between the heaviest NS and the least massive BH. We estimated the mass of the lenses using information obtained from the best-fitting microlensing models, the source star, the Galactic model and the expected distribution of the parameters. We found eleven candidates for dark remnants: one WDs, three NS, three mass-gap objects, and four BHs., Comment: Accepted to Astronomy&Astrophysics, 20 pages, 4 figures, 6 tables

Following Shin et al. (2023b), which is a part of the Systematic KMTNet Planetary Anomaly Search series (i.e., a search for planets in the 2016 KMTNet prime fields), we conduct a systematic search of the 2016 KMTNet sub-prime fields using a semi-machine-based algorithm to identify hidden anomalous events missed by the conventional by-eye search. We find four new planets and seven planet candidates that were buried in the KMTNet archive. The new planets are OGLE-2016-BLG-1598Lb, OGLE-2016-BLG-1800Lb, MOA-2016-BLG-526Lb, and KMT-2016-BLG-2321Lb, which show typical properties of microlensing planets, i.e., giant planets orbit M dwarf host stars beyond their snow lines. For the planet candidates, we find planet/binary or 2L1S/1L2S degeneracies, which are an obstacle to firmly claiming planet detections. By combining the results of Shin et al. (2023b) and this work, we find a total of nine hidden planets, which is about half the number of planets discovered by eye in 2016. With this work, we have met the goal of the systematic search series for 2016, which is to build a complete microlensing planet sample. We also show that our systematic searches significantly contribute to completing the planet sample, especially for planet/host mass ratios smaller than $10^{-3}$, which were incomplete in previous by-eye searches of the KMTNet archive., Comment: 63 pages, 16 Tables, 19 Figures, Submitted in the AAS journal

The gravitational microlensing technique is most sensitive to planets in a Jupiter-like orbit and has detected more than 200 planets. However, only a few wide-orbit ($s > 2$) microlensing planets have been discovered, where $s$ is the planet-to-host separation normalized to the angular Einstein ring radius, $\theta_{\rm E}$. Here we present the discovery and analysis of a strong candidate wide-orbit microlensing planet in the event, OGLE-2017-BLG-0448. The whole light curve exhibits long-term residuals to the static binary-lens single-source model, so we investigate the residuals by adding the microlensing parallax, microlensing xallarap, an additional lens, or an additional source. For the first time, we observe a complex degeneracy between all four effects. The wide-orbit models with $s \sim 2.5$ and a planet-to-host mass-ratio of $q \sim 10^{-4}$ are significantly preferred, but we cannot rule out the close models with $s \sim 0.35$ and $q \sim 10^{-3}$. A Bayesian analysis based on a Galactic model indicates that, despite the complicated degeneracy, the surviving wide-orbit models all contain a super-Earth-mass to Neptune-mass planet at a projected planet-host separation of $\sim 6$ au and the surviving close-orbit models all consist of a Jovian-mass planet at $\sim 1$ au. The host star is probably an M or K dwarf. We discuss the implications of this dimension-degeneracy disaster on microlensing light-curve analysis and its potential impact on statistical studies., Comment: submitted to AJ

The primitive equations are derived from the $3D$-Navier-Stokes equations by the hydrostatic approximation. Formally, assuming an $\varepsilon$-thin domain and anisotropic viscosities with vertical viscosity $\nu_z=\mathcal{O}(\varepsilon^\gamma)$ where $\gamma=2$, one obtains the primitive equations with full viscosity as $\varepsilon\to 0$. Here, we take two more limit equations into consideration: For $\gamma<2$ the $2D$-Navier-Stokes equations are obtained. For $\gamma>2$ the primitive equations with only horizontal viscosity $-\Delta_H$ as $\varepsilon\to 0$. Thus, there are three possible limits of the hydrostatic approximation depending on the assumption on the vertical viscosity. The latter convergence has been proven recently by Li, Titi, and Yuan using energy estimates. Here, we consider more generally $\nu_z=\varepsilon^2 \delta$ and show how maximal regularity methods and quadratic inequalities can be an efficient approach to the same end for $\varepsilon,\delta\to 0$. The flexibility of our methods is also illustrated by the convergence for $\delta\to \infty$ and $\varepsilon\to 0$ to the $2D$-Navier-Stokes equations., Comment: 29 pages, 2 figures

We report on the discovery and analysis of the planetary microlensing event OGLE-2019-BLG-1180 with a planet-to-star mass ratio $q \sim 0.003$. The event OGLE-2019-BLG-1180 has unambiguous cusp-passing and caustic-crossing anomalies, which were caused by a wide planetary caustic with $s \simeq 2$, where $s$ is the star-planet separation in units of the angular Einstein radius $\theta_{E}$. Thanks to well-covered anomalies by the Korea Micorolensing Telescope Network (KMTNet), we measure both the angular Einstein radius and the microlens parallax in spite of a relatively short event timescale of $t_{E} = 28$ days. However, because of a weak constraint on the parallax, we conduct a Bayesian analysis to estimate the physical lens parameters. We find that the lens system is a super-Jupiter-mass planet of $M_{p} = 1.75^{+0.54}_{-0.51} M_{J}$ orbiting a late-type star of $M_{h}=0.55^{+0.27}_{-0.26} M_\odot$ at a distance of $D_{L} = 6.1^{+0.9}_{-1.3}$ kpc. The projected star-planet separation is $a_{\perp} = 5.19^{+0.90}_{-1.23}$ au, which means that the planet orbits at about four times the snow line of the host star. Considering the relative lens-source proper motion of $\mu_{rel} = 6$ mas/yr, the lens will be separated from the source by 60 mas in 2029. At that time one can measure the lens flux from adaptive optics imaging of Kec or a next-generation 30 m class telescope. OGLE-2019-BLG-1180Lb represents a growing population of wide-orbit planets detected by KMTNet, so we also present a general investigation into prospects for further expanding the sample of such planets., Comment: 12 pages, 12 figures, 5 tables, published in AJ

The current studies of microlensing planets are limited by small number statistics. Follow-up observations of high-magnification microlensing events can efficiently form a statistical planetary sample. Since 2020, the Korea Microlensing Telescope Network (KMTNet) and the Las Cumbres Observatory (LCO) global network have been conducting a follow-up program for high-magnification KMTNet events. Here, we report the detection and analysis of a microlensing planetary event, KMT-2023-BLG-1431, for which the subtle (0.05 magnitude) and short-lived (5 hours) planetary signature was characterized by the follow-up from KMTNet and LCO. A binary-lens single-source (2L1S) analysis reveals a planet/host mass ratio of $q = (0.72 \pm 0.07) \times 10^{-4}$, and the single-lens binary-source (1L2S) model is excluded by $\Delta\chi^2 = 80$. A Bayesian analysis using a Galactic model yields estimates of the host star mass of $M_{\rm host} = 0.57^{+0.33}_{-0.29}~M_\odot$, the planetary mass of $M_{\rm planet} = 13.5_{-6.8}^{+8.1}~M_{\oplus}$, and the lens distance of $D_{\rm L} = 6.9_{-1.7}^{+0.8}$ kpc. The projected planet-host separation of $a_\perp = 2.3_{-0.5}^{+0.5}$ au or $a_\perp = 3.2_{-0.8}^{+0.7}$, subject to the close/wide degeneracy. We also find that without the follow-up data, the survey-only data cannot break the degeneracy of central/resonant caustics and the degeneracy of 2L1S/1L2S models, showing the importance of follow-up observations for current microlensing surveys., Comment: PASP submitted. arXiv admin note: text overlap with arXiv:2301.06779

We present results of a search for transiting exoplanets in 10-yr long photometry with thousands of epochs taken in the direction of the Galactic bulge. This photometry was collected in the fourth phase of the Optical Gravitational Lensing Experiment (OGLE-IV). Our search covered approx. 222 000 stars brighter than I = 15.5 mag. Selected transits were verified using a probabilistic method. The search resulted in 99 high-probability candidates for transiting exoplanets. The estimated distances to these targets are between 0.4 kpc and 5.5 kpc, which is a significantly wider range than for previous transit searches. The planets found are Jupiter-size, with the exception of one (named OGLE-TR-1003b) located in the hot Neptune desert. If the candidate is confirmed, it can be important for studies of highly irradiated intermediate-size planets. The existing long-term, high-cadence photometry of our candidates increases the chances of detecting transit timing variations at long timescales. Selected candidates will be observed by the future NASA flagship mission, the Nancy Grace Roman Space Telescope, in its search for Galactic bulge microlensing events, which will further enhance the photometric coverage of these stars., Comment: 35 pages, 13 figures, 4 tables. Published in Acta Astronomica, online catalog: https://ogledb.astrouw.edu.pl/~ogle/OCVS/

We present the OGLE collection of delta Scuti stars in the Large Magellanic Cloud and in its foreground. Our dataset encompasses a total of 15 256 objects, constituting the largest sample of extragalactic delta Sct stars published so far. In the case of 12 delta Sct pulsators, we detected additional eclipsing or ellipsoidal variations in their light curves. These are the first known candidates for binary systems containing delta Sct components beyond the Milky Way. We provide observational parameters for all variables, including pulsation periods, mean magnitudes, amplitudes, and Fourier coefficients, as well as long-term light curves in the I- and V-bands collected during the fourth phase of the OGLE project. We construct the period-luminosity (PL) diagram, in which fundamental-mode and first-overtone delta Sct stars form two nearly parallel ridges. The latter ridge is an extension of the PL relation obeyed by first-overtone classical Cepheids. The slopes of the PL relations for delta Sct variables are steeper than those for classical Cepheids, indicating that the continuous PL relation for first-overtone delta Sct variables and Cepheids is non-linear, exhibiting a break at a period of approximately 0.5 d. We also report the enhancement of the OGLE collection of Cepheids and RR Lyr stars with newly identified and reclassified objects, including pulsators contained in the recently published Gaia DR3 catalog of variable stars. As a by-product, we estimate the contamination rate in the Gaia DR3 catalogs of Cepheids and RR Lyr variables., Comment: 22 pages, 8 figures

Blue Large-Amplitude Pulsators (BLAPs) form a mysterious class of variable stars with typical periods of tens of minutes and amplitudes above 0.1 mag. In this work, we present results of a variability search focused on timescales shorter than 1 h, conducted in OGLE-IV Galactic disk fields containing about 1.1 billion stellar sources down to I$\approx$20 mag. Twenty-five BLAPs have been detected, 20 of which are new discoveries. Their periods range from 8.4 min to 62.1 min. We have also found six new eclipsing binary systems with orbital periods from 38.3 min to 121.3 min and five short-period large-amplitude (> 0.17 mag in the I-band) variable stars of unknown type.

We present an analysis of microlensing event OGLE-2019-BLG-0825. This event was identified as a planetary candidate by preliminary modeling. We find that significant residuals from the best-fit static binary-lens model exist and a xallarap effect can fit the residuals very well and significantly improves $\chi^2$ values. On the other hand, by including the xallarap effect in our models, we find that binary-lens parameters like mass-ratio, $q$, and separation, $s$, cannot be constrained well. However, we also find that the parameters for the source system like the orbital period and semi major axis are consistent between all the models we analyzed. We therefore constrain the properties of the source system better than the properties of the lens system. The source system comprises a G-type main-sequence star orbited by a brown dwarf with a period of $P\sim5$ days. This analysis is the first to demonstrate that the xallarap effect does affect binary-lens parameters in planetary events. It would not be common for the presence or absence of the xallarap effect to affect lens parameters in events with long orbital periods of the source system or events with transits to caustics, but in other cases, such as this event, the xallarap effect can affect binary-lens parameters., Comment: 19 pages, 7 figures, 6 tables. Accepted by AJ

We complete the analysis of planetary candidates found by the KMT AnomalyFinder for the 2017 prime fields that cover $\sim 13\,{\rm deg}^2$. We report 3 unambiguous planets: OGLE-2017-BLG-0640, OGLE-2017-BLG-1275, and OGLE-2017-BLG-1237. The first two of these were not previously identified, while the last was not previously published due to technical complications induced by a nearby variable. We further report that a fourth anomalous event, the previously recognized OGLE-2017-BLG-1777, is very likely to be planetary, although its light curve requires unusually complex modeling because the lens and source both have orbiting companions. One of the 3 unambiguous planets, OGLE-2017-BLG-1275 is the first AnomalyFinder discovery that has a {\it Spitzer} microlens parallax measurement, $\pi_E \sim 0.045\pm0.015$, implying that this planetary system almost certainly lies in the Galactic bulge. In the order listed, the four planetary events have planet-host mass ratios $q$, and normalized projected separations $s$, of $(\log q,s)$ = $(-2.31,0.61)$, $(-2.06,0.63/1.09)$, $(-2.10,1.04)$, and $(-2.86,0.72)$. Combined with previously published events, the 2017 AnomalyFinder prime fields contain 11 unambiguous planets with well-measured $q$ and one very likely candidate, of which 3 are AnomalyFinder discoveries. In addition to these 12, there are three other unambiguous planets with large uncertainties in $q$., Comment: 67 pages, 13 figures, 16 tables