arXiv subjects

Daria Kotova

Publications and source records attributed to Daria Kotova.

8 recordsLinked to original sources

arXiv2026

Statistical Models of Ionospheric Variability and Irregularities in the Topside Ionosphere Based on the Swarm Satellite Data

The ionosphere is a highly complex plasma containing electron density structures with a wide range of spatial scales. Coupling of the ionosphere with the Earth's magnetosphere and the solar wind, as well as to the neutral atmosphere, makes the ionosphere highly dynamic and highly dependent on the driving processes. Thus, modelling the ionosphere and capturing its full dynamic range considering all spatiotemporal scales is challenging. Swarm is the European Space Agency's (ESA) first constellation mission for Earth Observation, comprising multiple satellites in low Earth orbit. During the Swarm-VIP-Dynamic project, a suite of statistical models has been developed using observations from Swarm and proxies for heliogeophysical processes. The statistical modelling technique of Generalised Linear Modelling was used to create models for both the electron density and the variability of the plasma structures at horizontal spatial scales between 7.5 km and 100 km. Separate models were created for low, middle, auroral and polar latitudes. The models make predictions based on explanatory variables, which act as proxies for the underlying physical processes. The performance of the models of the electron density approached the theoretical best values for some of the goodness-of-fit statistics. This suggests that the modelling method is appropriate for the task undertaken. The models of ionospheric variability at larger spatial scales (about 100 km) also perform well, however the model performance decreases at smaller spatial scales. This suggests that there are physical processes missing from the models. Possible candidates are instability processes or driving forces of the ionosphere by wave activity from below, neither of which are captured by the models.

physics.space-ph↗

arXiv2026

A quiet STEVE disturbs navigation satellites' signals in the Antarctic

Strong Thermal Emission Velocity Enhancement (STEVE) is a narrow optical phenomenon that occurs equatorward of the auroral oval and is associated with intense subauroral plasma flows and thermospheric heating. Although these conditions can produce plasma irregularities, direct evidence of STEVE effects on radio wave propagation during geomagnetically quiet conditions has so far not been observed. Here we report for the first time a STEVE event observed over Antarctica during quiet geomagnetic conditions and show that it produced measurable fluctuations in the Global Navigation Satellite System (GNSS) signals. Using coordinated optical observations and high-resolution (50 Hz) GNSS scintillation measurements from two Antarctic stations, we identify enhanced phase and amplitude scintillation coincident with intersections between GNSS signal paths and the STEVE arc. The observations indicate the presence of plasma irregularities and suggest substantial temporal variations in the apparent altitude of the optical structure (vertical motion within the 130-270 km range). We find that even a relatively weak STEVE event can affect the GNSS signal propagation in the absence of major geomagnetic disturbances, extending previous studies that associated such effects primarily with storms and intense auroral activity. This finding expands the understanding of STEVE's geophysical impact and highlights potential vulnerabilities in satellite-based navigation systems during seemingly benign space weather conditions. The fact that this STEVE event occurred just off the Antarctic coastline, where scientific expeditions and seagoing vessels rely heavily on precise positioning indicates that STEVE-related plasma structuring should be considered in assessments of the GNSS performance under otherwise quiet geomagnetic conditions in subauroral regions.

physics.space-ph↗

arXiv2026

INTRYGUE: Induction-Aware Entropy Gating for Reliable RAG Uncertainty Estimation

While retrieval-augmented generation (RAG) enhances LLM performance, it does not eliminate hallucinations, making accurate detection essential. Uncertainty-based methods are attractive for this purpose because they can be integrated into real-world pipelines with little overhead. One of the most widely used uncertainty signals is predictive entropy. We show, however, that entropy can be unreliable in RAG settings and trace this limitation to two opposing internal effects. Induction heads, which copy patterns from earlier context, causally support correct responses and lower predictive entropy, but they also appear to co-activate entropy neurons that push it back up. As a result, correct, context-grounded responses can still receive high uncertainty scores. To address this, we propose INTRYGUE (Induction-Aware Entropy Gating for Uncertainty Estimation), a training-free, mechanistically grounded method that gates predictive entropy by an attention-based estimate of induction-head activity. Evaluated across four RAG-style benchmarks and six open-source LLMs (4B to 13B parameters), INTRYGUE performs competitively against a wide range of baselines, matching or exceeding the strongest of them in most settings. Our findings suggest that hallucination detection in RAG benefits from combining predictive uncertainty with interpretable internal signals of context utilization.

cs.AI↗

arXiv2026

Multi-Scale Irregularities Product: a data product utilizing the high-resolution Swarm plasma density data for space weather applications

We use the high-resolution Swarm faceplate plasma density data at 16 Hz to develop a set of parameters that can characterize multi-scale ionospheric structures and irregularities along the Swarm orbit. We present the methods for calculating density gradients over different window sizes, rate of change of density index, power spectral density and the spectral slope at both low and high latitudes. The faceplate plasma data are not continuously available through the years. However, about 8 years of data from Swarm A are processed from late 2014 to the end of 2025. Some statistical results from Swarm A are presented. The variations of plasma structures and irregularities are dependent on solar activity, season, local time and geomagnetic activities, and the variations show different patterns between low and high latitudes. For example, the high-latitude ionosphere is characterized by persistent ionospheric structures and irregularities poleward of 60 magnetic latitude, while the low-latitude ionospheric irregularities are only dominant during 19-01 local time near the magnetic equator. The occurrence of steep spectral slope at high latitudes shows clear seasonal variations, i.e., it maximizes during local summer and minimizes during local winter in both hemispheres. However, the occurrence of steep spectral slope at low latitudes is only sensible when significant plasma structures and irregularities are present. We further calculate the histogram of spectral slopes at low latitudes when the rate of change of density index is enhanced. The histogram resembles a Gaussian distribution with an expected value of 1.97. The processed data are available to the wider community. Given the high resolution, this new data product will be useful for the scientific communities that are interested in the magnetosphere-ionosphere-thermosphere coupling and near-Earth space environment.

physics.space-ph↗

arXiv2025

UNVEILING: What Makes Linguistics Olympiad Puzzles Tricky for LLMs?

Large language models (LLMs) have demonstrated potential in reasoning tasks, but their performance on linguistics puzzles remains consistently poor. These puzzles, often derived from Linguistics Olympiad (LO) contests, provide a minimal contamination environment to assess LLMs' linguistic reasoning abilities across low-resource languages. This work analyses LLMs' performance on 629 problems across 41 low-resource languages by labelling each with linguistically informed features to unveil weaknesses. Our analyses show that LLMs struggle with puzzles involving higher morphological complexity and perform better on puzzles involving linguistic features that are also found in English. We also show that splitting words into morphemes as a pre-processing step improves solvability, indicating a need for more informed and language-specific tokenisers. These findings thus offer insights into some challenges in linguistic reasoning and modelling of low-resource languages.

cs.CL↗

arXiv2024

What Makes Cryptic Crosswords Challenging for LLMs?

Cryptic crosswords are puzzles that rely on general knowledge and the solver's ability to manipulate language on different levels, dealing with various types of wordplay. Previous research suggests that solving such puzzles is challenging even for modern NLP models, including Large Language Models (LLMs). However, there is little to no research on the reasons for their poor performance on this task. In this paper, we establish the benchmark results for three popular LLMs: Gemma2, LLaMA3 and ChatGPT, showing that their performance on this task is still significantly below that of humans. We also investigate why these models struggle to achieve superior performance. We release our code and introduced datasets at https://github.com/bodasadallah/decrypting-crosswords.

cs.CL↗

arXiv2024

Are LLMs Good Cryptic Crossword Solvers?

Cryptic crosswords are puzzles that rely not only on general knowledge but also on the solver's ability to manipulate language on different levels and deal with various types of wordplay. Previous research suggests that solving such puzzles is a challenge even for modern NLP models. However, the abilities of large language models (LLMs) have not yet been tested on this task. In this paper, we establish the benchmark results for three popular LLMs -- LLaMA2, Mistral, and ChatGPT -- showing that their performance on this task is still far from that of humans.

cs.AI↗

arXiv2023

Scalable Batch Acquisition for Deep Bayesian Active Learning

In deep active learning, it is especially important to choose multiple examples to markup at each step to work efficiently, especially on large datasets. At the same time, existing solutions to this problem in the Bayesian setup, such as BatchBALD, have significant limitations in selecting a large number of examples, associated with the exponential complexity of computing mutual information for joint random variables. We, therefore, present the Large BatchBALD algorithm, which gives a well-grounded approximation to the BatchBALD method that aims to achieve comparable quality while being more computationally efficient. We provide a complexity analysis of the algorithm, showing a reduction in computation time, especially for large batches. Furthermore, we present an extensive set of experimental results on image and text data, both on toy datasets and larger ones such as CIFAR-100.

cs.LG↗