title: Tachis: Higher-Order Separation Logic with Credits for Expected Costs

abstract: We present Tachis, a higher-order separation logic to reason about the expected cost of probabilistic programs. Inspired by the uses of time credits for reasoning about the running time of deterministic programs, we introduce a novel notion of probabilistic cost credit. Probabilistic cost credits are a separation logic resource that can be used to pay for the cost of operations in programs, and that can be distributed across all possible branches of sampling instructions according to their weight, thus enabling us to reason about expected cost. The representation of cost credits as separation logic resources gives Tachis a great deal of flexibility and expressivity. In particular, it permits reasoning about amortized expected cost by storing excess credits as potential into data structures to pay for future operations. Tachis further supports a range of cost models, including running time and entropy usage. We showcase the versatility of this approach by applying our techniques to prove upper bounds on the expected cost of a variety of probabilistic algorithms and data structures, including randomized quicksort, hash tables, and meldable heaps. All of our results have been mechanized using Coq, Iris, and the Coquelicot real analysis library.


title: Estimating Human Poses Across Datasets: A Unified Skeleton and Multi-Teacher Distillation Approach

abstract: Human pose estimation is a key task in computer vision with various applications such as activity recognition and interactive systems. However, the lack of consistency in the annotated skeletons across different datasets poses challenges in developing universally applicable models. To address this challenge, we propose a novel approach integrating multi-teacher knowledge distillation with a unified skeleton representation. Our networks are jointly trained on the COCO and MPII datasets, containing 17 and 16 keypoints, respectively. We demonstrate enhanced adaptability by predicting an extended set of 21 keypoints, 4 (COCO) and 5 (MPII) more than original annotations, improving cross-dataset generalization. Our joint models achieved an average accuracy of 70.89 and 76.40, compared to 53.79 and 55.78 when trained on a single dataset and evaluated on both. Moreover, we also evaluate all 21 predicted points by our two models by reporting an AP of 66.84 and 72.75 on the Halpe dataset. This highlights the potential of our technique to address one of the most pressing challenges in pose estimation research and application - the inconsistency in skeletal annotations.


title: Soft Partitioning of Latent Space for Semantic Channel Equalization

abstract: Semantic channel equalization has emerged as a solution to address language mismatch in multi-user semantic communications. This approach aims to align the latent spaces of an encoder and a decoder which were not jointly trained and it relies on a partition of the semantic (latent) space into atoms based on the the semantic meaning. In this work we explore the role of the semantic space partition in scenarios where the task structure involves a one-to-many mapping between the semantic space and the action space. In such scenarios, partitioning based on hard inference results results in loss of information which degrades the equalization performance. We propose a soft criterion to derive the atoms of the partition which leverages the soft decoder's output and offers a more comprehensive understanding of the semantic space's structure. Through empirical validation, we demonstrate that soft partitioning yields a more descriptive and regular partition of the space, consequently enhancing the performance of the equalization algorithm.


title: Analysis of a multi-target linear shrinkage covariance estimator

abstract: Multi-target linear shrinkage is an extension of the standard single-target linear shrinkage for covariance estimation. We combine several constant matrices - the targets - with the sample covariance matrix. We derive the oracle and a \textit{bona fide} multi-target linear shrinkage estimator with exact and empirical mean. In both settings, we proved its convergence towards the oracle under Kolmogorov asymptotics. Finally, we show empirically that it outperforms other standard estimators in various situations.


title: Characterization of probability distributions on some locally compact Abelian groups containing an element of order 2

abstract: The well-known Heyde theorem characterizes the Gaussian distributions on the real line by the symmetry of the conditional distribution of one linear form of independent random variables given another. We generalize this theorem to groups of the form $\mathbb{R}\times F$, where $F$ is a finite Abelian group such that its 2-component is isomorphic to the additive group of the integers modulo $2$. In so doing, coefficients of the linear forms are arbitrary topological automorphisms of the group. Previously, a similar result was proved in the case when the group $F$ contains no elements of order 2. The presence of an element of order 2 in $F$ leads to the fact that a new class of probability distributions is characterized


title: Personalized Predictions from Population Level Experiments: A Study on Alzheimer's Disease

abstract: The purpose of this article is to infer patient level outcomes from population level randomized control trials (RCTs). In this pursuit, we utilize the recently proposed synthetic nearest neighbors (SNN) estimator. At its core, SNN leverages information across patients to impute missing data associated with each patient of interest. We focus on two types of missing data: (i) unrecorded outcomes from discontinuing the assigned treatments and (ii) unobserved outcomes associated with unassigned treatments. Data imputation in the former powers and de-biases RCTs, while data imputation in the latter simulates "synthetic RCTs" to predict the outcomes for each patient under every treatment. The SNN estimator is interpretable, transparent, and causally justified under a broad class of missing data scenarios. Relative to several standard methods, we empirically find that SNN performs well for the above two applications using Phase 3 clinical trial data on patients with Alzheimer's Disease. Our findings directly suggest that SNN can tackle a current pain point within the clinical trial workflow on patient dropouts and serve as a new tool towards the development of precision medicine. Building on our insights, we discuss how SNN can further generalize to real-world applications.


title: The Fine-Tuning Paradox: Boosting Translation Quality Without Sacrificing LLM Abilities

abstract: Fine-tuning large language models (LLMs) for machine translation has shown improvements in overall translation quality. However, it is unclear what is the impact of fine-tuning on desirable LLM behaviors that are not present in neural machine translation models, such as steerability, inherent document-level translation abilities, and the ability to produce less literal translations. We perform an extensive translation evaluation on the LLaMA and Falcon family of models with model size ranging from 7 billion up to 65 billion parameters. Our results show that while fine-tuning improves the general translation quality of LLMs, several abilities degrade. In particular, we observe a decline in the ability to perform formality steering, to produce technical translations through few-shot examples, and to perform document-level translation. On the other hand, we observe that the model produces less literal translations after fine-tuning on parallel data. We show that by including monolingual data as part of the fine-tuning data we can maintain the abilities while simultaneously enhancing overall translation quality. Our findings emphasize the need for fine-tuning strategies that preserve the benefits of LLMs for machine translation.


title: Typography Leads Semantic Diversifying: Amplifying Adversarial Transferability across Multimodal Large Language Models

abstract: Following the advent of the Artificial Intelligence (AI) era of large models, Multimodal Large Language Models (MLLMs) with the ability to understand cross-modal interactions between vision and text have attracted wide attention. Adversarial examples with human-imperceptible perturbation are shown to possess a characteristic known as transferability, which means that a perturbation generated by one model could also mislead another different model. Augmenting the diversity in input data is one of the most significant methods for enhancing adversarial transferability. This method has been certified as a way to significantly enlarge the threat impact under black-box conditions. Research works also demonstrate that MLLMs can be exploited to generate adversarial examples in the white-box scenario. However, the adversarial transferability of such perturbations is quite limited, failing to achieve effective black-box attacks across different models. In this paper, we propose the Typographic-based Semantic Transfer Attack (TSTA), which is inspired by: (1) MLLMs tend to process semantic-level information; (2) Typographic Attack could effectively distract the visual information captured by MLLMs. In the scenarios of Harmful Word Insertion and Important Information Protection, our TSTA demonstrates superior performance.


title: Visual Attention Analysis in Online Learning

abstract: In this paper, we present an approach in the Multimodal Learning Analytics field. Within this approach, we have developed a tool to visualize and analyze eye movement data collected during learning sessions in online courses. The tool is named VAAD (an acronym for Visual Attention Analysis Dashboard). These eye movement data have been gathered using an eye-tracker and subsequently processed and visualized for interpretation. The purpose of the tool is to conduct a descriptive analysis of the data by facilitating its visualization, enabling the identification of differences and learning patterns among various learner populations. Additionally, it integrates a predictive module capable of anticipating learner activities during a learning session. Consequently, VAAD holds the potential to offer valuable insights into online learning behaviors from both descriptive and predictive perspectives.


title: Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation

abstract: Despite recent progress made by large language models in code generation, they still struggle with programs that meet complex requirements. Recent work utilizes plan-and-solve decomposition to decrease the complexity and leverage self-tests to refine the generated program. Yet, planning deep-inside requirements in advance can be challenging, and the tests need to be accurate to accomplish self-improvement. To this end, we propose FunCoder, a code generation framework incorporating the divide-and-conquer strategy with functional consensus. Specifically, FunCoder recursively branches off sub-functions as smaller goals during code generation, represented by a tree hierarchy. These sub-functions are then composited to attain more complex objectives. Additionally, we designate functions via a consensus formed by identifying similarities in program behavior, mitigating error propagation. FunCoder outperforms state-of-the-art methods by +9.8% on average in HumanEval, MBPP, xCodeEval and MATH with GPT-3.5 and GPT-4. Moreover, our method demonstrates superiority on smaller models: With FunCoder, StableCode-3b surpasses GPT-3.5 by +18.6% and achieves 97.7% of GPT-4's performance on HumanEval. Further analysis reveals that our proposed dynamic function decomposition is capable of handling complex requirements, and the functional consensus prevails over self-testing in correctness evaluation.


title: Rapid Wildfire Hotspot Detection Using Self-Supervised Learning on Temporal Remote Sensing Data

abstract: Rapid detection and well-timed intervention are essential to mitigate the impacts of wildfires. Leveraging remote sensed data from satellite networks and advanced AI models to automatically detect hotspots (i.e., thermal anomalies caused by active fires) is an effective way to build wildfire monitoring systems. In this work, we propose a novel dataset containing time series of remotely sensed data related to European fire events and a Self-Supervised Learning (SSL)-based model able to analyse multi-temporal data and identify hotspots in potentially near real time. We train and evaluate the performance of our model using our dataset and Thraws, a dataset of thermal anomalies including several fire events, obtaining an F1 score of 63.58.


title: Low-dimensional approximations of the conditional law of Volterra processes: a non-positive curvature approach

abstract: Predicting the conditional evolution of Volterra processes with stochastic volatility is a crucial challenge in mathematical finance. While deep neural network models offer promise in approximating the conditional law of such processes, their effectiveness is hindered by the curse of dimensionality caused by the infinite dimensionality and non-smooth nature of these problems. To address this, we propose a two-step solution. Firstly, we develop a stable dimension reduction technique, projecting the law of a reasonably broad class of Volterra process onto a low-dimensional statistical manifold of non-positive sectional curvature. Next, we introduce a sequentially deep learning model tailored to the manifold's geometry, which we show can approximate the projected conditional law of the Volterra process. Our model leverages an auxiliary hypernetwork to dynamically update its internal parameters, allowing it to encode non-stationary dynamics of the Volterra process, and it can be interpreted as a gating mechanism in a mixture of expert models where each expert is specialized at a specific point in time. Our hypernetwork further allows us to achieve approximation rates that would seemingly only be possible with very large networks.

categories: math.NA cs.LG cs.NA cs.NE math.DG q-fin.CP


title: Few-Photon SUPER: Quantum emitter inversion via two off-resonant photon modes

abstract: With the realization of controlled quantum systems, exploring excitations beyond the resonant case opens new possibilities. We investigate an extended Jaynes-Cummings model where two photon modes are coupled off-resonantly to a quantum emitter. This allows us to identify few-photon scattering mechanisms that lead to a full inversion of the emitter while transferring off-resonant photons from one mode to another. This behaviour connects to recent measurements of a two-level emitter scattering two off-resonant photons simultaneously. Furthermore, our results can be understood as quantized analogue of the recently developed off-resonant quantum control scheme known as Swing-UP of quantum EmitteR (SUPER). Our intuitive formalism gives a deeper insight into the interaction of a two-level emitter with off-resonant light modes with the prospect of novel photonic applications.


title: Investigating pump harmonics generation in a SNAIL-based Traveling Wave Parametric Amplifier

abstract: Traveling Wave Parametric Amplifiers (TWPAs) are extensively employed in experiments involving weak microwave signals for their highly desirable quantum-limited and broadband characteristics. However, TWPAs' broadband nature comes with the disadvantage of admitting the activation of spurious nonlinear processes, such as harmonics generation, that can potentially degrade amplification performance. Here we experimentally investigate a Josephson TWPA device with SNAIL (Superconducting Nonlinear Asymmetric Inductive Element)-based unit cells focusing on the amplification behaviour along with the generation of second and third harmonics of the pump. By comparing experimental results with transient numerical simulations, we demonstrate the influence of Josephson junctions' fabrication imperfections on the occurrence of harmonics and on the gain behaviour.


title: Functional inequalities in the framework of Banach spaces

abstract: A quadrilateral inequality established by C. Sch\"otz in the context of Hilbert spaces is extended to the framework of Banach spaces. Our approach is based on the theory of majorization and a substitute for the parallelogram law associated with Clarkson's notion of von Neumann-Jordan constant. Several examples (concerning matrix theory and geometry of Banach spaces) that illustrate our new results are also included.


title: Rational cohomology of $\mathcal M_{4,1}$

abstract: We compute the rational cohomology of the moduli space $\mathcal{M}_{4,1}$ of non-singular genus $4$ curves with $1$ marked point, using Gorinov-Vassiliev's method.


title: Defensive Prompt Patch: A Robust and Interpretable Defense of LLMs against Jailbreak Attacks

abstract: Safety, security, and compliance are essential requirements when aligning large language models (LLMs). However, many seemingly aligned LLMs are soon shown to be susceptible to jailbreak attacks. These attacks aim to circumvent the models' safety guardrails and security mechanisms by introducing jailbreak prompts into malicious queries. In response to these challenges, this paper introduces Defensive Prompt Patch (DPP), a novel prompt-based defense mechanism specifically designed to protect LLMs against such sophisticated jailbreak strategies. Unlike previous approaches, which have often compromised the utility of the model for the sake of safety, DPP is designed to achieve a minimal Attack Success Rate (ASR) while preserving the high utility of LLMs. Our method uses strategically designed interpretable suffix prompts that effectively thwart a wide range of standard and adaptive jailbreak techniques. Empirical results conducted on LLAMA-2-7B-Chat and Mistral-7B-Instruct-v0.2 models demonstrate the robustness and adaptability of DPP, showing significant reductions in ASR with negligible impact on utility. Our approach not only outperforms existing defense strategies in balancing safety and functionality, but also provides a scalable and interpretable solution applicable to various LLM platforms.


title: Dynamic Slack Bus

abstract: This letter proposes a general dynamic formulation of slack bus. With this aim, the angle constraint imposed by the slack bus is redefined as a set of differential equations and an energy source. The existence and role of the transient component of this source is also discussed in the letter. Based on this framework, the letter shows that the swing equations of synchronous machines can be interpreted as distributed, dynamic, multi-variable, local slack buses. Other relevant cases, including primary and secondary frequency regulation, passive loads as well as grid following and grid forming converters are discussed.


title: Fill in the Gap! Combining Self-supervised Representation Learning with Neural Audio Synthesis for Speech Inpainting

abstract: Most speech self-supervised learning (SSL) models are trained with a pretext task which consists in predicting missing parts of the input signal, either future segments (causal prediction) or segments masked anywhere within the input (non-causal prediction). Learned speech representations can then be efficiently transferred to downstream tasks (e.g., automatic speech or speaker recognition). In the present study, we investigate the use of a speech SSL model for speech inpainting, that is reconstructing a missing portion of a speech signal from its surrounding context, i.e., fulfilling a downstream task that is very similar to the pretext task. To that purpose, we combine an SSL encoder, namely HuBERT, with a neural vocoder, namely HiFiGAN, playing the role of a decoder. In particular, we propose two solutions to match the HuBERT output with the HiFiGAN input, by freezing one and fine-tuning the other, and vice versa. Performance of both approaches was assessed in single- and multi-speaker settings, for both informed and blind inpainting configurations (i.e., the position of the mask is known or unknown, respectively), with different objective metrics and a perceptual evaluation. Performances show that if both solutions allow to correctly reconstruct signal portions up to the size of 200ms (and even 400ms in some cases), fine-tuning the SSL encoder provides a more accurate signal reconstruction in the single-speaker setting case, while freezing it (and training the neural vocoder instead) is a better strategy when dealing with multi-speaker data.


title: Characteristic quasi-polynomials of deletions of Shi arrangements of type B and their period collapse

abstract: Characteristic quasi-polynomials are the enumerative functions counting the number of elements in the complement of hyperplane arrangements modulo positive integers.In this paper, we compute the characteristic quasi-polynomials of the restriction of the Shi arrangement of type B by one given hyperplane. As a corollary, we determine whether period collapse occurs in the characteristic quasi-polynomial of the deletion of the Shi arrangement of type B. This implies the complete solution for the conjecture posed by Higashtiani, Tran and Yoshinaga.


title: The escape transition of a lattice star polymer grafted in a pore

abstract: Polymers in confined spaces are compressed and have reduced conformational entropy, and will partially or fully escape from confinement if conditions are suitable. This is in particular the case for a polymer grafted in a pore. The escape of the polymer from the pore may be considered a partial translocation from the pore into bulk solution, and the resulting conformational readjustment of the polymer has characteristics of a thermodynamic phase transition. In this paper a lattice self-avoiding walk model of a star polymer grafted in a pore is examined numerically using the PERM algorithm. We show that the arms of the grafted lattice star escape one at a time as the length of the pore is reduced, consistent with earlier results in the literature. Critical points for the escape transitions are estimated for square and cubic lattice models and we also examine various properties of the model as it undergoes the escape transitions.


title: Object-centric Reconstruction and Tracking of Dynamic Unknown Objects using 3D Gaussian Splatting

abstract: Generalizable perception is one of the pillars of high-level autonomy in space robotics. Estimating the structure and motion of unknown objects in dynamic environments is fundamental for such autonomous systems. Traditionally, the solutions have relied on prior knowledge of target objects, multiple disparate representations, or low-fidelity outputs unsuitable for robotic operations. This work proposes a novel approach to incrementally reconstruct and track a dynamic unknown object using a unified representation -- a set of 3D Gaussian blobs that describe its geometry and appearance. The differentiable 3D Gaussian Splatting framework is adapted to a dynamic object-centric setting. The input to the pipeline is a sequential set of RGB-D images. 3D reconstruction and 6-DoF pose tracking tasks are tackled using first-order gradient-based optimization. The formulation is simple, requires no pre-training, assumes no prior knowledge of the object or its motion, and is suitable for online applications. The proposed approach is validated on a dataset of 10 unknown spacecraft of diverse geometry and texture under arbitrary relative motion. The experiments demonstrate successful 3D reconstruction and accurate 6-DoF tracking of the target object in proximity operations over a short to medium duration. The causes of tracking drift are discussed and potential solutions are outlined.


title: The first superconducting final focus quadrupole prototype of the FCC-ee study

abstract: A single aperture Canted-Cosine-Theta (CCT) quadrupole magnet, made of NbTi superconductors, has been developed for the final focus region of the FCC-ee study. The conductor layout is optimised to mitigate edge effects on one of the two sides of the magnet that typically lead to undesired higher-order multipoles. Experimental results of a prototype, including paraffin wax impregnation and cryogenic temperature measurements, are presented. The magnet exhibits no training behaviour, surpassing the nominal current during the initial ramp. Field quality is excellent, with higher-order multipoles below $1\times 10^{-4}$ units, consistent with simulations and room temperature tests. These findings confirm the potential of superconducting CCT magnets to offer compact solutions for applications demanding stringent field quality.


title: Stability and dynamics of nonlinear excitations in a two-dimensional droplet-bearing environment

abstract: We unravel stationary states in the form of dark soliton stripes, bubbles, and kinks embedded in a two-dimensional droplet-bearing setting emulated by an extended Gross-Pitaevskii approach. The existence of these configurations is corroborated through an effectively reduced potential picture demonstrating their concrete parametric regions of existence. The excitation spectra of such configurations are analyzed within the Bogoliubov-de-Gennes framework exposing the destabilization of dark soliton stripes and bubbles, while confirming the stability of droplets, and importantly unveiling spectral stability of the kink against transverse excitations. Additionally, a variational approach is constructed providing access to the transverse stability analysis of the dark soliton stripe for arbitrary chemical potentials and widths of the structure. This is subsequently compared with the stability analysis outcome demonstrating very good agreement at small wavenumbers. Dynamical destabilization of dark soliton stripes via the snake instability is showcased, while bubbles are found to feature both a splitting into a gray soliton pair and a transverse instability thereof. These results shed light on unexplored stability and instability properties of nonlinear excitations in environments featuring a competition of mean-field repulsion and beyond-mean-field attraction that can be probed by state-of-the-art experiments.


title: A Perspective on the Impact of Group Delay Dispersion in Future Terahertz Wireless Systems

abstract: This article discusses the challenges and opportunities of managing group delay dispersion (GDD) and its relation to the performance standards of future sixth-generation (6G) wireless communication systems utilizing terahertz frequency waves. The unique susceptibilities of 6G systems to GDD are described, along with a quantitative description of the sources of GDD, including multipath, rough surface scattering, intelligent reflecting surfaces, and propagation through the atmosphere. An experimental case-study is presented that confirms previous models quantifying the impact of atmospheric GDD. Several GDD manipulation strategies are presented illustrating their hindered effectiveness in the 6G context. Conversely, some benefits of leveraging GDD to enhance 6G systems, such as improved security and simplified hardware, are also discussed. Finally, a perspective on using photonic GDD control devices is provided, revealing quantitative benefits that may unburden existing equalization schemes. The article argues that GDD will uniquely and significantly impact some 6G systems, but that its careful consideration along with new mitigation strategies, including photonic devices, will help optimize system performance. The conclusion provides a perspective to guide future research in this area.


title: Complete characterization of symmetric Kubo-Ando operator means satisfying Moln\'ar's weak associativity

abstract: We provide a complete characterization of a subclass of means of positive operators in the class of symmetric Kubo-Ando means that was first introduced and studied in L. Moln\'ar, ``Characterizations of certain means of positive operators," Linear Algebra Appl. 567 (2019) 143-166. In Theorem 6 of that paper, he gives a characterization of this subclass (which we call the Moln\'ar class of means) in terms of the operator monotone functions representing the means, which includes the geometric mean. Furthermore, he leaves open the problem to determine if the geometric mean is the only such mean in that subclass. Here we give an alternative characterization of the Moln\'ar class of means in terms of the boundary-values of bounded harmonic functions on certain rectangles which completely characterizes this class of means. Moreover, we use this to construct an explicit example of a mean in the subclass that is not the geometric means thereby solving the open problem of L. Moln\'ar.


title: FMARS: Annotating Remote Sensing Images for Disaster Management using Foundation Models

abstract: Very-High Resolution (VHR) remote sensing imagery is increasingly accessible, but often lacks annotations for effective machine learning applications. Recent foundation models like GroundingDINO and Segment Anything (SAM) provide opportunities to automatically generate annotations. This study introduces FMARS (Foundation Model Annotations in Remote Sensing), a methodology leveraging VHR imagery and foundation models for fast and robust annotation. We focus on disaster management and provide a large-scale dataset with labels obtained from pre-event imagery over 19 disaster events, derived from the Maxar Open Data initiative. We train segmentation models on the generated labels, using Unsupervised Domain Adaptation (UDA) techniques to increase transferability to real-world scenarios. Our results demonstrate the effectiveness of leveraging foundation models to automatically annotate remote sensing data at scale, enabling robust downstream models for critical applications. Code and dataset are available at \url{https://github.com/links-ads/igarss-fmars}.


title: Autonomous programmable microscopic electronic lablets optimized with digital control

abstract: Lablets are autonomous microscopic particles with programmable CMOS electronics that can control electrokinetic phenomena and electrochemical reactions in solution via actuator and sensor microelectrodes. In this paper, we describe the design and fabrication of optimized singulated lablets (CMOS3) with dimensions 140x140x50 micrometers carrying an integrated coplanar encapsulated supercapacitor as a rechargeable power supply. The lablets are designed to allow docking to one another or to a smart surface for interchange of energy, electronic information, and chemicals. The paper focusses on the digital and analog design of the lablets to allow significant programmable functionality in a microscopic footprint, including the control of autonomous actuation and sensing up to the level of being able to support a complete lablet self-reproduction life cycle, although experimentally this remains to be proven. The potential of lablets in autonomous sensing and control and for evolutionary experimentation are discussed.


title: IOP4, the Interactive Optical Photo-Polarimetric Python Pipeline

abstract: IOP4 is a pipeline to perform photometry and polarimetry analysis of optical data from Calar Alto (CAHA) and Sierra Nevada (OSN) observatories. IOP4 implements Object Relational Mapping (ORM) to seamlessly integrate all information about the reduction and results in a database which can be used to query and plot results, flag data and inspect the reduction process in an integrated fashion with the whole pipeline. It also ships with an already built-in web interface which can be used out of the box to browse the database and supervise all pipeline processes. It is built to ease debugging and inspection of data. Reduction from five different instruments are already implemented: RoperT90, AndorT90 and DIPOL (at OSN 0.9m telescope), AndorT150 (OSN 1.5m telescope) and CAFOS (CAHA 2.2m telescope). IOP4's modular design allows for easy integration of new observatories and instruments, and its results have already featured in several high-impact refereed publications. In this paper we describe the implementation and characteristics of IOP4.


title: RIGID: A Training-free and Model-Agnostic Framework for Robust AI-Generated Image Detection

abstract: The rapid advances in generative AI models have empowered the creation of highly realistic images with arbitrary content, raising concerns about potential misuse and harm, such as Deepfakes. Current research focuses on training detectors using large datasets of generated images. However, these training-based solutions are often computationally expensive and show limited generalization to unseen generated images. In this paper, we propose a training-free method to distinguish between real and AI-generated images. We first observe that real images are more robust to tiny noise perturbations than AI-generated images in the representation space of vision foundation models. Based on this observation, we propose RIGID, a training-free and model-agnostic method for robust AI-generated image detection. RIGID is a simple yet effective approach that identifies whether an image is AI-generated by comparing the representation similarity between the original and the noise-perturbed counterpart. Our evaluation on a diverse set of AI-generated images and benchmarks shows that RIGID significantly outperforms existing trainingbased and training-free detectors. In particular, the average performance of RIGID exceeds the current best training-free method by more than 25%. Importantly, RIGID exhibits strong generalization across different image generation methods and robustness to image corruptions.


title: Phase Transitions in Quantum Many-Body Scars

abstract: We propose a type of phase transition in quantum many-body systems, which occurs in highly excited quantum many-body scar states, while the rest of the spectrum is largely unaffected. Such scar state phase transitions can be realized by embedding a matrix product state, known to undergo a phase transition, as a scar state into the thermal spectrum of a parent Hamiltonian. We find numerically that the mechanism for the scar state phase transition involves the formation or presence of low-entropy states at energies similar to the scar state in the vicinity of the phase transition point.


title: Near Optimal Decentralized Optimization with Compression and Momentum Tracking

abstract: Communication efficiency has garnered significant attention as it is considered the main bottleneck for large-scale decentralized Machine Learning applications in distributed and federated settings. In this regime, clients are restricted to transmitting small amounts of quantized information to their neighbors over a communication graph. Numerous endeavors have been made to address this challenging problem by developing algorithms with compressed communication for decentralized non-convex optimization problems. Despite considerable efforts, the current results suffer from various issues such as non-scalability with the number of clients, requirements for large batches, or bounded gradient assumption. In this paper, we introduce MoTEF, a novel approach that integrates communication compression with Momentum Tracking and Error Feedback. Our analysis demonstrates that MoTEF achieves most of the desired properties, and significantly outperforms existing methods under arbitrary data heterogeneity. We provide numerical experiments to validate our theoretical findings and confirm the practical superiority of MoTEF.


title: Monogamy of nonlocality from multipartite information causality

abstract: The monogamy of nonlocality is one the most intriguing and cryptographically significant predictions of quantum theory. The physical principle of information causality offers a promising means to understand and restrict the extent of nonlocality without invoking the abstract mathematical formalism of quantum theory. In this article, we demonstrate that the original bipartite formulation of information causality cannot imply non-trivial monogamy relations, thereby refuting the previous claims. Nevertheless, we show that the recently proposed multipartite formulation of information causality implies stronger-than-no-signaling monogamy relations. We use these monogamy relations to enhance the security of device-independent quantum key distribution against a no-signaling eavesdropper constrained by information causality.


title: Complexity of Zeroth- and First-order Stochastic Trust-Region Algorithms

abstract: Model update (MU) and candidate evaluation (CE) are classical steps incorporated inside many stochastic trust-region (TR) algorithms. The sampling effort exerted within these steps, often decided with the aim of controlling model error, largely determines a stochastic TR algorithm's sample complexity. Given that MU and CE are amenable to variance reduction, we investigate the effect of incorporating common random numbers (CRN) within MU and CE on complexity. Using ASTRO and ASTRO-DF as prototype first-order and zeroth-order families of algorithms, we demonstrate that CRN's effectiveness leads to a range of complexities depending on sample-path regularity and the oracle order. For instance, we find that in first-order oracle settings with smooth sample paths, CRN's effect is pronounced -- ASTRO with CRN achieves $\tilde{O}(\epsilon^{-2})$ a.s. sample complexity compared to $\tilde{O}(\epsilon^{-6})$ a.s. in the generic no-CRN setting. By contrast, CRN's effect is muted when the sample paths are not Lipschitz, with the sample complexity improving from $\tilde{O}(\epsilon^{-6})$ a.s. to $\tilde{O}(\epsilon^{-5})$ and $\tilde{O}(\epsilon^{-4})$ a.s. in the zeroth- and first-order settings, respectively. Since our results imply that improvements in complexity are largely inherited from generic aspects of variance reduction, e.g., finite-differencing for zeroth-order settings and sample-path smoothness for first-order settings within MU, we anticipate similar trends in other contexts.


title: Infinite 3D Landmarks: Improving Continuous 2D Facial Landmark Detection

abstract: In this paper, we examine 3 important issues in the practical use of state-of-the-art facial landmark detectors and show how a combination of specific architectural modifications can directly improve their accuracy and temporal stability. First, many facial landmark detectors require face normalization as a preprocessing step, which is accomplished by a separately-trained neural network that crops and resizes the face in the input image. There is no guarantee that this pre-trained network performs the optimal face normalization for landmark detection. We instead analyze the use of a spatial transformer network that is trained alongside the landmark detector in an unsupervised manner, and jointly learn optimal face normalization and landmark detection. Second, we show that modifying the output head of the landmark predictor to infer landmarks in a canonical 3D space can further improve accuracy. To convert the predicted 3D landmarks into screen-space, we additionally predict the camera intrinsics and head pose from the input image. As a side benefit, this allows to predict the 3D face shape from a given image only using 2D landmarks as supervision, which is useful in determining landmark visibility among other things. Finally, when training a landmark detector on multiple datasets at the same time, annotation inconsistencies across datasets forces the network to produce a suboptimal average. We propose to add a semantic correction network to address this issue. This additional lightweight neural network is trained alongside the landmark detector, without requiring any additional supervision. While the insights of this paper can be applied to most common landmark detectors, we specifically target a recently-proposed continuous 2D landmark detector to demonstrate how each of our additions leads to meaningful improvements over the state-of-the-art on standard benchmarks.


title: Assistance-Seeking in Human-Supervised Autonomy: Role of Trust and Secondary Task Engagement (Extended Version)

abstract: Using a dual-task paradigm, we explore how robot actions, performance, and the introduction of a secondary task influence human trust and engagement. In our study, a human supervisor simultaneously engages in a target-tracking task while supervising a mobile manipulator performing an object collection task. The robot can either autonomously collect the object or ask for human assistance. The human supervisor also has the choice to rely upon or interrupt the robot. Using data from initial experiments, we model the dynamics of human trust and engagement using a linear dynamical system (LDS). Furthermore, we develop a human action model to define the probability of human reliance on the robot. Our model suggests that participants are more likely to interrupt the robot when their trust and engagement are low during high-complexity collection tasks. Using Model Predictive Control (MPC), we design an optimal assistance-seeking policy. Evaluation experiments demonstrate the superior performance of the MPC policy over the baseline policy for most participants.


title: Strain-Induced Changes of Electronic and Optical Properties of Zr-based MXenes

abstract: Zr-based MXenes recently attracted attention because of its experimental preparation showing temperature stability, mechanical strength, and promising energy, sensoric, and electrochemistry applications. However, necessary theoretical predictions at a precise/predictive level are complicated due to essential excitonic features and strong electron correlation (i.e., a necessity to go beyond standard density functional theory, DFT). Contrary to the prevailing focus on oxygen-terminated MXenes and standard predictions of other Zr-based MXenes as conductors, based on the hybrid DFT and GW many-body perturbational theory, we were able to find seven different semiconductors (five of them for their equilibrium geometry and two others under slight tensile biaxial strain) in the case of two- and three-layered Zr$_2$CT$_2$ and Zr$_3$C$_2$T$_2$ configurations with various terminations (T = O, F, S, Cl). We observed semiconductor-to-conductor transition induced by strain in the majority of such Zr-based MXenes at experimentally achievable strain range. Furthermore, using the Bethe-Salpeter equation (BSE), we demonstrated that selected semiconducting Zr-based MXenes possess high optical absorption efficiency (20-30%) in the visible light range, underscoring their potential in photonic applications. The high sensitivity of Zr-based MXenes to external conditions and functionalization combined with the thermal stability make the materials promising for applications at operational temperatures in electronic and optical technologies.


title: Lattice QCD calculation of the pion distribution amplitude with domain wall fermions at physical pion mass

abstract: We present a direct lattice QCD calculation of the $x$-dependence of the pion distribution amplitude (DA), which is performed using the quasi-DA in large momentum effective theory on a domain-wall fermion ensemble at physical quark masses and spacing $a\approx 0.084$ fm. The bare quais-DA matrix elements are renormalized in the hybrid scheme and matched to $\overline{\rm MS}$ with a subtraction of the leading renormalon in the Wilson-line mass. For the first time, we include threshold resummation in the perturbative matching onto the light-cone DA, which resums the large logarithms in the soft gluon limit at next-to-next-to-leading log. The resummed results show controlled scale-variation uncertainty within the range of momentum fraction $x\in[0.25,0.75]$ at the largest pion momentum $P_z\approx 1.85$~GeV. In addition, we apply the same analysis to quasi-DAs from a highly-improved-staggered-quark ensemble at physical pion mass and $a=0.076$ fm. By comparison we find with $2\sigma$ confidence level that the DA obtained from chiral fermions is flatter and lower near $x=0.5$.


title: A Structure-Aware Lane Graph Transformer Model for Vehicle Trajectory Prediction

abstract: Accurate prediction of future trajectories for surrounding vehicles is vital for the safe operation of autonomous vehicles. This study proposes a Lane Graph Transformer (LGT) model with structure-aware capabilities. Its key contribution lies in encoding the map topology structure into the attention mechanism. To address variations in lane information from different directions, four Relative Positional Encoding (RPE) matrices are introduced to capture the local details of the map topology structure. Additionally, two Shortest Path Distance (SPD) matrices are employed to capture distance information between two accessible lanes. Numerical results indicate that the proposed LGT model achieves a significantly higher prediction performance on the Argoverse 2 dataset. Specifically, the minFDE$_6$ metric was decreased by 60.73% compared to the Argoverse 2 baseline model (Nearest Neighbor) and the b-minFDE$_6$ metric was reduced by 2.65% compared to the baseline LaneGCN model. Furthermore, ablation experiments demonstrated that the consideration of map topology structure led to a 4.24% drop in the b-minFDE$_6$ metric, validating the effectiveness of this model.


title: Distributed MIMO Precoding with Routing Constraints in Segmented Fronthaul

abstract: Distributed Multiple-Input and Multiple-Output (D-MIMO) is envisioned to play a significant role in future wireless communication systems as an effective means to improve coverage and capacity. In this paper, we have studied the impact of a practical two-level data routing scheme on radio performance in a downlink D-MIMO scenario with segmented fronthaul. At the first level, a Distributed Unit (DU) is connected to the Aggregating Radio Units (ARUs) that behave as cluster heads for the selected serving RU groups. At the second level, the selected ARUs connect with the additional serving RUs. At each route discovery level, RUs and/or ARUs share information with each other. The aim of the proposed framework is to efficiently select serving RUs and ARUs so that the practical data routing impact for each User Equipment (UE) connection is minimal. The resulting post-routing Signal-to-Interference plus Noise Ratio (SINR) among all UEs is analyzed after the routing constraints have been applied. The results show that limited fronthaul segment capacity causes connection failures with the serving RUs of individual UEs, especially when long routing path lengths are required. Depending on whether the failures occur at the first or the second routing level, a UE may be dropped or its SINR may be reduced. To minimize the DU-ARU connection failures, the segment capacity of the segments closest to the DU is set as double as the remaining segments. When the number of active co-scheduled UEs is kept low enough, practical segment capacities suffice to achieve a zero UE dropping rate. Besides, the proper choice of maximum path length setting should take into account segment capacity and its utilization due to the relation between the two.


title: Exact resolution of a simultaneous vehicle routing and crew scheduling problem in long-haul transport

abstract: This work focuses on exact methods for a Simultaneous Vehicle Routing and Crew Scheduling Problem in long-haul transport. Pickup-and-delivery requests with time windows must be fullfiled over a multi-day planning horizon. Unlike some classic approaches, the correspondence between trucks and drivers is not fixed and they can be exchanged in some locations and at any time. Drivers can also travel for free as truck passengers or take external taxis for an additional cost. The objective is to minimise the truck and taxi travel costs and the penalties for late deliveries. Routes for trucks and drivers are represented separately as directed paths in certain digraphs and then synchronised in time and space. Three compact Integer Linear Programming formulations are proposed and many families of valid inequalities are described. Extensive computational experiments are conducted on randomly generated instances. The formulations are experimentally compared and the effectiveness of the proposed valid inequalities as cutting planes in a branch-and-cut algorithm is evaluated.


title: A Geometric Unification of Distributionally Robust Covariance Estimators: Shrinking the Spectrum by Inflating the Ambiguity Set

abstract: The state-of-the-art methods for estimating high-dimensional covariance matrices all shrink the eigenvalues of the sample covariance matrix towards a data-insensitive shrinkage target. The underlying shrinkage transformation is either chosen heuristically - without compelling theoretical justification - or optimally in view of restrictive distributional assumptions. In this paper, we propose a principled approach to construct covariance estimators without imposing restrictive assumptions. That is, we study distributionally robust covariance estimation problems that minimize the worst-case Frobenius error with respect to all data distributions close to a nominal distribution, where the proximity of distributions is measured via a divergence on the space of covariance matrices. We identify mild conditions on this divergence under which the resulting minimizers represent shrinkage estimators. We show that the corresponding shrinkage transformations are intimately related to the geometrical properties of the underlying divergence. We also prove that our robust estimators are efficiently computable and asymptotically consistent and that they enjoy finite-sample performance guarantees. We exemplify our general methodology by synthesizing explicit estimators induced by the Kullback-Leibler, Fisher-Rao, and Wasserstein divergences. Numerical experiments based on synthetic and real data show that our robust estimators are competitive with state-of-the-art estimators.


title: Haloes, other dark matter candidates and astrophysical implications

abstract: It is possible that a multi-component dark matter model is required if primordial black holes only contribute to a fraction of the energy density in dark matter. This is increasingly more likely with respect to the case of $f_{\rm PBH} = 1$, since there is only one remaining window, on asteroid-mass scales, where primordial black holes can make up all of the dark matter. A mixed dark matter model can lead to interesting observables that come about due to the interactions between primordial black holes and the second dark matter component. This can provide unique signatures of the presence of primordial black holes and increase the prospects of detection or improvement of constraints in the mass ranges where $f_{\rm PBH} < 1$, whilst simultaneously exploring the remaining open parameter space for other dark matter candidates.


title: Federated and Transfer Learning for Cancer Detection Based on Image Analysis

abstract: This review article discusses the roles of federated learning (FL) and transfer learning (TL) in cancer detection based on image analysis. These two strategies powered by machine learning have drawn a lot of attention due to their potential to increase the precision and effectiveness of cancer diagnosis in light of the growing importance of machine learning techniques in cancer detection. FL enables the training of machine learning models on data distributed across multiple sites without the need for centralized data sharing, while TL allows for the transfer of knowledge from one task to another. A comprehensive assessment of the two methods, including their strengths, and weaknesses is presented. Moving on, their applications in cancer detection are discussed, including potential directions for the future. Finally, this article offers a thorough description of the functions of TL and FL in image-based cancer detection. The authors also make insightful suggestions for additional study in this rapidly developing area.


title: SPAM: Stochastic Proximal Point Method with Momentum Variance Reduction for Non-convex Cross-Device Federated Learning

abstract: Cross-device training is a crucial subfield of federated learning, where the number of clients can reach into the billions. Standard approaches and local methods are prone to issues such as client drift and insensitivity to data similarities. We propose a novel algorithm (SPAM) for cross-device federated learning with non-convex losses, which solves both issues. We provide sharp analysis under second-order (Hessian) similarity, a condition satisfied by a variety of machine learning problems in practice. Additionally, we extend our results to the partial participation setting, where a cohort of selected clients communicate with the server at each communication round. Our method is the first in its kind, that does not require the smoothness of the objective and provably benefits from clients having similar data.


title: Realization of a Rydberg-dressed extended Bose Hubbard model

abstract: The competition of different length scales in quantum many-body systems leads to various novel phenomena, including the emergence of correlated dynamics or non-local order. To access and investigate such effects in an itinerant lattice-based quantum simulator, it has been proposed to introduce tunable extended-range interactions using off-resonant optical coupling to Rydberg states. However, experimental realizations of such "Rydberg dressing" have so far mostly concentrated on spin systems without motion. Here, we overcome a number of experimental challenges limiting previous work and realize an effective one-dimensional extended Bose-Hubbard model (eBHM). Harnessing our quantum gas microscope, we probe the correlated out-of-equilibrium dynamics of extended-range repulsively-bound pairs at low filling, and kinetically-constrained "hard rods" at half filling. Near equilibrium, we observe density ordering when adiabatically turning on the extended-range interactions. Our results demonstrate the versatility of Rydberg dressing in engineering itinerant optical lattice-based quantum simulators and pave the way to realizing novel light-controlled extended-range interacting quantum many-body systems.


title: Bandwidth and focal radius with positive isotropic curvature

abstract: This paper investigates quantitative metric inequalities for manifolds with positive isotropic curvature (PIC). Our results include upper bounds on the bandwidth and focal radius of hypersurfaces in PIC manifolds, contingent on boundary convexities and Betti numbers. The proof is based on exploiting the spectral properties of a twisted de Rham-Hodge operator on manifolds with boundary.


title: LinApart: optimizing the univariate partial fraction decomposition

abstract: We present LinApart, a routine designed for efficiently performing the univariate partial fraction decomposition of large symbolic expressions. Our method is based on an explicit closed formula for the decomposition of rational functions with fully factorized denominators. We provide implementations in both the Wolfram Mathematica and C languages, made available at https://github.com/fekeshazy/LinApart . The routine can provide very significant performance gains over available tools such as the Apart command in Mathematica.


title: Language Models Need Inductive Biases to Count Inductively

abstract: Counting is a fundamental example of generalization, whether viewed through the mathematical lens of Peano's axioms defining the natural numbers or the cognitive science literature for children learning to count. The argument holds for both cases that learning to count means learning to count infinitely. While few papers have tried to distill transformer "reasoning" to the simplest case of counting, investigating length generalization does occur throughout the literature. In the "train short, test long" paradigm of NLP, length refers to the training sentence length. In formal language recognition, length refers to the input sequence length, or the maximum stack size induced by a pushdown automata. In general problem solving, length refers to the number of hops in a deductive reasoning chain or the recursion depth. For all cases, counting is central to task success. And crucially, generalizing counting inductively is central to success on OOD instances. This work provides extensive empirical results on training language models to count. We experiment with architectures ranging from RNNs, Transformers, State-Space Models and RWKV. We present carefully-designed task formats, auxiliary tasks and positional embeddings to avoid limitations in generalization with OOD-position and OOD-vocabulary. We find that while traditional RNNs trivially achieve inductive counting, Transformers have to rely on positional embeddings to count out-of-domain. As counting is the basis for many arguments concerning the expressivity of Transformers, our finding calls for the community to reexamine the application scope of primitive functions defined in formal characterizations. Finally, modern RNNs also largely underperform traditional RNNs in generalizing counting inductively. We discuss how design choices that enable parallelized training of modern RNNs cause them to lose merits of a recurrent nature.


title: LLaMEA: A Large Language Model Evolutionary Algorithm for Automatically Generating Metaheuristics

abstract: Large Language Models (LLMs) such as GPT-4 have demonstrated their ability to understand natural language and generate complex code snippets. This paper introduces a novel Large Language Model Evolutionary Algorithm (LLaMEA) framework, leveraging GPT models for the automated generation and refinement of algorithms. Given a set of criteria and a task definition (the search space), LLaMEA iteratively generates, mutates and selects algorithms based on performance metrics and feedback from runtime evaluations. This framework offers a unique approach to generating optimized algorithms without requiring extensive prior expertise. We show how this framework can be used to generate novel black-box metaheuristic optimization algorithms automatically. LLaMEA generates multiple algorithms that outperform state-of-the-art optimization algorithms (Covariance Matrix Adaptation Evolution Strategy and Differential Evolution) on the five dimensional black box optimization benchmark (BBOB). The algorithms also show competitive performance on the 10- and 20-dimensional instances of the test functions, although they have not seen such instances during the automated generation process. The results demonstrate the feasibility of the framework and identify future directions for automated generation and optimization of algorithms via LLMs.


title: Unveiling complex magnetic field configurations in red giant stars

abstract: Recent measurements of magnetic field strength inside the radiative interior of red giant stars open the way towards the characterization of the geometry of stable large-scale magnetic fields. However, current measurements do not properly constrain the topology of magnetic fields due to degeneracies on the observed magnetic field signature on such $\ell=1$ mode frequencies. Efforts focused towards unambiguous detections of magnetic field configurations are now key to better understand angular momentum transport in stars. We investigate the detectability of complex magnetic field topologies inside the radiative interior of red giants. We focus on a field composed of a combination of a dipole and a quadrupole (quadrudipole), and on an offset field. We explore the potential of probing such magnetic field topologies from a combined measurement of magnetic signatures on $\ell=1$ and quadrupolar ($\ell=2$) mixed mode oscillation frequencies. We first derive the asymptotic theoretical formalism for computing the asymmetric signature in frequency pattern for $\ell=2$ modes due to a quadrudipole magnetic field. The degeneracy of the quadrudipole with a dipole is lifted when considering both $\ell=1$ and $\ell=2$ mode frequencies. In addition to the analytical derivation for the quadrudipole, we present the prospect for complex magnetic field inversions using magnetic sensitivity kernels from standard perturbation analysis for forward modeling. Using this method, we demonstrate that offset fields may be mistaken for weak and centered magnetic fields, resulting in underestimating magnetic field strength in stellar cores. We emphasize the need to characterize $\ell=2$ mixed-mode frequencies, (along with the currently characterized $\ell=1$ mixed modes), to unveil the higher-order components of the geometry of buried magnetic fields, and better constrain angular momentum transport inside stars.


title: Classifying the Polish semigroup topologies on the symmetric inverse monoid

abstract: We classify all Polish semigroup topologies on the symmetric inverse monoid on the natural numbers. This result answers a question of Elliott et al. There are countably infinitely many such topologies. Under containment, these Polish semigroup topologies form a join-semilattice with infinite descending chains, no infinite ascending chains, and arbitrarily large finite anti-chains. Also, we show that the monoid endowed with any second countable T_1 semigroup topology is homeomorphic to the Baire space.


title: Bifurcation enhances temporal information encoding in the olfactory periphery

abstract: Living systems continually respond to signals from the surrounding environment. Survival requires that their responses adapt quickly and robustly to the changes in the environment. One particularly challenging example is olfactory navigation in turbulent plumes, where animals experience highly intermittent odor signals while odor concentration varies over many length- and timescales. Here, we show theoretically that Drosophila olfactory receptor neurons (ORNs) can exploit proximity to a bifurcation point of their firing dynamics to reliably extract information about the timing and intensity of fluctuations in the odor signal, which have been shown to be critical for odor-guided navigation. Close to the bifurcation, the system is intrinsically invariant to signal variance, and information about the timing, duration, and intensity of odor fluctuations is transferred efficiently. Importantly, we find that proximity to the bifurcation is maintained by mean adaptation alone and therefore does not require any additional feedback mechanism or fine-tuning. Using a biophysical model with calcium-based feedback, we demonstrate that this mechanism can explain the measured adaptation characteristics of Drosophila ORNs.


title: A Multimodal Dangerous State Recognition and Early Warning System for Elderly with Intermittent Dementia

abstract: In response to the social issue of the increasing number of elderly vulnerable groups going missing due to the aggravating aging population in China, our team has developed a wearable anti-loss device and intelligent early warning system for elderly individuals with intermittent dementia using artificial intelligence and IoT technology. This system comprises an anti-loss smart helmet, a cloud computing module, and an intelligent early warning application on the caregiver's mobile device. The smart helmet integrates a miniature camera module, a GPS module, and a 5G communication module to collect first-person images and location information of the elderly. Data is transmitted remotely via 5G, FTP, and TCP protocols. In the cloud computing module, our team has proposed for the first time a multimodal dangerous state recognition network based on scene and location information to accurately assess the risk of elderly individuals going missing. Finally, the application software interface designed for the caregiver's mobile device implements multi-level early warnings. The system developed by our team requires no operation or response from the elderly, achieving fully automatic environmental perception, risk assessment, and proactive alarming. This overcomes the limitations of traditional monitoring devices, which require active operation and response, thus avoiding the issue of the digital divide for the elderly. It effectively prevents accidental loss and potential dangers for elderly individuals with dementia.


title: A unified framework of principal component analysis and factor analysis

abstract: Principal component analysis and factor analysis are fundamental multivariate analysis methods. In this paper a unified framework to connect them is introduced. Under a general latent variable model, we present matrix optimization problems from the viewpoint of loss function minimization, and show that the two methods can be viewed as solutions to the optimization problems with specific loss functions. Specifically, principal component analysis can be derived from a broad class of loss functions including the L2 norm, while factor analysis corresponds to a modified L0 norm problem. Related problems are discussed, including algorithms, penalized maximum likelihood estimation under the latent variable model, and a principal component factor model. These results can lead to new tools of data analysis and research topics.


title: Separation and Collapse of Equilibria Inequalities on AND-OR Trees without Shape Constraints

abstract: Herein, we investigate the randomized complexity, which is the least cost against the worst input, of AND-OR tree computation by imposing various restrictions on the algorithm to find the Boolean value of the root of that tree and no restrictions on the tree shape. When a tree satisfies a certain condition regarding its symmetry, directional algorithms proposed by Saks and Wigderson (1986), special randomized algorithms, are known to achieve the randomized complexity. Furthermore, there is a known example of a tree that is so unbalanced that no directional algorithm achieves the randomized complexity (Vereshchagin 1998). In this study, we aim to identify where deviations arise between the general randomized Boolean decision tree and its special case, directional algorithms. In this paper, we show that for any AND-OR tree, randomized depth-first algorithms, which form a broader class compared with directional algorithms, have the same equilibrium as that of the directional algorithms. Thus, we get the collapse result on equilibria inequalities that holds for an arbitrary AND-OR tree. This implies that there exists a case where even depth-first algorithms cannot be the fastest, leading to the separation result on equilibria inequality. Additionally, a new algorithm is introduced as a key concept for proof of the separation result.


title: GNN-RAG: Graph Neural Retrieval for Large Language Model Reasoning

abstract: Knowledge Graphs (KGs) represent human-crafted factual knowledge in the form of triplets (head, relation, tail), which collectively form a graph. Question Answering over KGs (KGQA) is the task of answering natural questions grounding the reasoning to the information provided by the KG. Large Language Models (LLMs) are the state-of-the-art models for QA tasks due to their remarkable ability to understand natural language. On the other hand, Graph Neural Networks (GNNs) have been widely used for KGQA as they can handle the complex graph information stored in the KG. In this work, we introduce GNN-RAG, a novel method for combining language understanding abilities of LLMs with the reasoning abilities of GNNs in a retrieval-augmented generation (RAG) style. First, a GNN reasons over a dense KG subgraph to retrieve answer candidates for a given question. Second, the shortest paths in the KG that connect question entities and answer candidates are extracted to represent KG reasoning paths. The extracted paths are verbalized and given as input for LLM reasoning with RAG. In our GNN-RAG framework, the GNN acts as a dense subgraph reasoner to extract useful graph information, while the LLM leverages its natural language processing ability for ultimate KGQA. Furthermore, we develop a retrieval augmentation (RA) technique to further boost KGQA performance with GNN-RAG. Experimental results show that GNN-RAG achieves state-of-the-art performance in two widely used KGQA benchmarks (WebQSP and CWQ), outperforming or matching GPT-4 performance with a 7B tuned LLM. In addition, GNN-RAG excels on multi-hop and multi-entity questions outperforming competing approaches by 8.9--15.5% points at answer F1.


title: The key science drivers for the Atacama Large Aperture Submillimeter Telescope (AtLAST)

abstract: Sub-mm and mm wavelengths provide a unique view of the Universe, from the gas and dust that fills and surrounds galaxies to the chromosphere of our own Sun. Current single-dish facilities have presented a tantalising view of the brightest (sub-)mm sources, and interferometers have provided the exquisite resolution necessary to analyse the details in small fields, but there are still many open questions that cannot be answered with current facilities: Where are all the baryons? How do structures interact with their environments? What does the time-varying (sub-)mm sky look like? In order to make major advances on these questions and others, what is needed now is a facility capable of rapidly mapping the sky spatially, spectrally, and temporally, which can only be done by a high throughput, single-dish observatory. An extensive design study for this new facility is currently being undertaken. In this paper, we focus on the key science drivers and the requirements they place on the observatory. As a 50m single dish telescope with a 1-2{\deg} field of view, the strength of the Atacama Large Aperture Submillimeter Telescope (AtLAST) is in science where a large field of view, highly multiplexed instrumentation and sensitivity to faint large-scale structure is important. AtLAST aims to be a sustainable, upgradeable, multipurpose facility that will deliver orders of magnitude increases in sensitivity and mapping speeds over current and planned telescopes.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.SR


title: OpenDAS: Domain Adaptation for Open-Vocabulary Segmentation

abstract: The advent of Vision Language Models (VLMs) transformed image understanding from closed-set classifications to dynamic image-language interactions, enabling open-vocabulary segmentation. Despite this flexibility, VLMs often fall behind closed-set classifiers in accuracy due to their reliance on ambiguous image captions and lack of domain-specific knowledge. We, therefore, introduce a new task domain adaptation for open-vocabulary segmentation, enhancing VLMs with domain-specific priors while preserving their open-vocabulary nature. Existing adaptation methods, when applied to segmentation tasks, improve performance on training queries but can reduce VLM performance on zero-shot text inputs. To address this shortcoming, we propose an approach that combines parameter-efficient prompt tuning with a triplet-loss-based training strategy. This strategy is designed to enhance open-vocabulary generalization while adapting to the visual domain. Our results outperform other parameter-efficient adaptation strategies in open-vocabulary segment classification tasks across indoor and outdoor datasets. Notably, our approach is the only one that consistently surpasses the original VLM on zero-shot queries. Our adapted VLMs can be plug-and-play integrated into existing open-vocabulary segmentation pipelines, improving OV-Seg by +6.0% mIoU on ADE20K, and OpenMask3D by +4.1% AP on ScanNet++ Offices without any changes to the methods.


title: MSSC-BiMamba: Multimodal Sleep Stage Classification and Early Diagnosis of Sleep Disorders with Bidirectional Mamba

abstract: Monitoring sleep states is essential for evaluating sleep quality and diagnosing sleep disorders. Traditional manual staging is time-consuming and prone to subjective bias, often resulting in inconsistent outcomes. Here, we developed an automated model for sleep staging and disorder classification to enhance diagnostic accuracy and efficiency. Considering the characteristics of polysomnography (PSG) multi-lead sleep monitoring, we designed a multimodal sleep state classification model, MSSC-BiMamba, that combines an Efficient Channel Attention (ECA) mechanism with a Bidirectional State Space Model (BSSM). The ECA module allows for weighting data from different sensor channels, thereby amplifying the influence of diverse sensor inputs. Additionally, the implementation of bidirectional Mamba (BiMamba) enables the model to effectively capture the multidimensional features and long-range dependencies of PSG data. The developed model demonstrated impressive performance on sleep stage classification tasks on both the ISRUC-S3 and ISRUC-S1 datasets, respectively containing data with healthy and unhealthy sleep patterns. Also, the model exhibited a high accuracy for sleep health prediction when evaluated on a combined dataset consisting of ISRUC and Sleep-EDF. Our model, which can effectively handle diverse sleep conditions, is the first to apply BiMamba to sleep staging with multimodal PSG data, showing substantial gains in computational and memory efficiency over traditional Transformer-style models. This method enhances sleep health management by making monitoring more accessible and extending advanced healthcare through innovative technology.


title: On the interpretation of quantum theory as games between physicists and nature played in Minkowski spacetime

abstract: In 2019, we introduced games in Minkowski spacetime as a generalization of game theory to special relativity that subsumes games in normal form (spacelike separation) and games in extensive form (timelike separation). Many concepts including Nash equilibria naturally extend to spacetime games. We also emphasized the importance of these games to model quantum experiments such as Bell experiments and more generally any adaptive measurements. Subsequent work suggested to formalize a special case of such games in terms of strategy presheaves. In the case that measurements have a unique causal bridge and if a natural cover is taken, we show that the two frameworks are isomorphic to each other and provide complementary perspectives. Spacetime games provide a visual and intuitive framework that also captures the distinction between joint experiments and either-or experiments, so that they are rich enough in their causal structure to imply a natural cover for the corresponding causal contextuality scenario. Based on this observation, we suggest to define the strategy presheaf directly based on the pure strategies (and restrictions thereof) of the spacetime game, and we show that the sheaf property obtains for the games at hand. The argument is rather simple and similar to event sheaves for the flat case. Finally, we explain how, in the other direction, the failure of the sheaf property on strategy distribution presheaves is consistent with our previous argument that Nash game theory is not compatible with quantum physics. This shows that the insights of the two frameworks, taken together, can contribute positively to the advancement of the field of quantum foundations.


title: Flowy: High performance probabilistic lava emplacement prediction

abstract: Lava emplacement is a complex physical phenomenon, affected by several factors. These include, but are not limited to features of the terrain, the lava settling process, the effusion rate or total erupted volume, and the probability of effusion from different locations. One method, which has been successfully employed to predict lava flow emplacement and forecast the inundated area and final lava thickness, is the MrLavaLoba method from Vitturi et al. The MrLavaLoba method has been implemented in their code of the same name. Here, we introduce Flowy, a new computational tool that implements the MrLavaLoba method in a more efficient manner. New fast algorithms have been incorporated for all performance critical code paths, resulting in a complete overhaul of the implementation. When compared to the MrLavaLoba code, Flowy exhibits a significant reduction in runtime -- between 100 to 400 times faster -- depending on the specific input parameters. The accuracy and the probabilistic convergence of the model outputs are not compromised, maintaining high fidelity in generating possible lava flow paths and deposition characteristics. We have validated Flowy's performance and reliability through comprehensive unit-testing and a real-world eruption scenario. The source code is freely available on GitHub, facilitating transparency, reproducibility and collaboration within the geoscientific community.


title: Heidelberg-Boston @ SIGTYP 2024 Shared Task: Enhancing Low-Resource Language Analysis With Character-Aware Hierarchical Transformers

abstract: Historical languages present unique challenges to the NLP community, with one prominent hurdle being the limited resources available in their closed corpora. This work describes our submission to the constrained subtask of the SIGTYP 2024 shared task, focusing on PoS tagging, morphological tagging, and lemmatization for 13 historical languages. For PoS and morphological tagging we adapt a hierarchical tokenization method from Sun et al. (2023) and combine it with the advantages of the DeBERTa-V3 architecture, enabling our models to efficiently learn from every character in the training data. We also demonstrate the effectiveness of character-level T5 models on the lemmatization task. Pre-trained from scratch with limited data, our models achieved first place in the constrained subtask, nearly reaching the performance levels of the unconstrained task's winner. Our code is available at https://github.com/bowphs/SIGTYP-2024-hierarchical-transformers


title: Supermassive black holes and very high-energy neutrinos: the case of NGC 1068

abstract: We present a comprehensive multi-messenger study of NGC 1068, the prototype Seyfert II galaxy recently associated with high-energy IceCube neutrinos. Various aspects of the source, including its nuclear activity, jet, outflow, and starburst region, are analyzed in detail using a multi-wavelength approach and relevant luminosities are derived. We then explore its gamma-ray and neutrino emissions and investigate potential mechanisms underlying these phenomena and their relations with the different astrophysical components to try to understand which one is responsible for the IceCube neutrinos. By first using simple order-of-magnitude arguments and then applying specific theoretical models, we infer that only the region close to the accretion disc around the supermassive black hole has both the right density of X-ray photons needed to provide the targets for protons to sustain neutrino production and of optical/infrared photons required to absorb the associated but unobserved gamma rays. We conclude by highlighting ongoing efforts to constrain a possible broad connection between neutrinos and active galactic nuclei, as well as future synergies between astronomical and neutrino facilities.


title: A theoretical study of the dissociative recombination of SH$^+$ with electrons through the $^2\Pi$ states of SH

abstract: A quantitative theoretical study of the dissociative recombination of SH$^+$ with electrons has been carried out. Multireference, configuration interaction calculations were used to determine accurate potential energy curves for SH$^+$ and SH. The block diagonalization method was used to disentangle strongly interacting SH valence and Rydberg states and to construct a diabatic Hamiltonian whose diagonal matrix elements provide the diabatic potential energy curves. The off-diagonal elements are related to the electronic valence-Rydberg couplings. Cross sections and rate coefficients for the dissociative recombination reaction were calculated with a step-wise version of the multichannel quantum defect theory, using the molecular data provided by the block diagonalization method. The calculated rates are compared with the most recent measurements performed on the TSR ion storage ring in Heidelberg, Germany.


title: SLE and its partition function in multiply connected domains via the Gaussian Free Field and restriction measures

abstract: One way to uniquely define Schramm-Loewner Evolution (SLE) in multiply connected domains is to use the restriction property. This gives an implicit definition of a $\sigma$-finite measure on curves; yet it is in general not clear how to construct such measures nor whether the mass of these measures, called the partition function, is finite. We provide an explicit construction of the such conformal restriction SLEs in multiply connected domains when $\kappa = 4$ using the Gaussian Free Field (GFF). In particular, both when the target points of the curve are on the same or on distinct boundary components, we show that there is a mixture of laws of level lines of GFFs that satisfies the restriction property. This allows us to give an expression for the partition function of $\mathrm{sle}_4$ on multiply connected domains and shows that the partition function is finite, answering the question raised in [Lawler, J. Stat. Phys. 2009]. In a second part, we provide a second construction of $\mathrm{sle}_\kappa$ in multiply-connected domains for the whole range $\kappa \in (8/3,4]$; specific, however, to the case of the two target points belonging to the same boundary components. This is inspired by [Werner, Wu, Electron. J. Probab. 2013] and consists of a mixture of laws on curves obtained by following $\mathrm{cle}_\kappa$ loops and restriction hulls attached to parts of the boundary of the domain. In this case as well, we obtain as a corollary the finiteness of the partition function for this type of $\mathrm{sle}_\kappa$.


title: Accounting for Mismatch Error in Small Area Estimation with Linked Data

abstract: In small area estimation different data sources are integrated in order to produce reliable estimates of target parameters (e.g., a mean or a proportion) for a collection of small subsets (areas) of a finite population. Regression models such as the linear mixed effects model or M-quantile regression are often used to improve the precision of survey sample estimates by leveraging auxiliary information for which means or totals are known at the area level. In many applications, the unit-level linkage of records from different sources is probabilistic and potentially error-prone. In this paper, we present adjustments of the small area predictors that are based on either the linear mixed effects model or M-quantile regression to account for the presence of linkage error. These adjustments are developed from a two-component mixture model that hinges on the assumption of independence of the target and auxiliary variable given incorrect linkage. Estimation and inference is based on composite likelihoods and machinery revolving around the Expectation-Maximization Algorithm. For each of the two regression methods, we propose modified small area predictors and approximations for their mean squared errors. The empirical performance of the proposed approaches is studied in both design-based and model-based simulations that include comparisons to a variety of baselines.


title: Can the a.c.s. notion and the GLT theory handle approximated PDEs/FDEs with either moving or unbounded domains?

abstract: In the current note we consider matrix-sequences $\{B_{n,t}\}_n$ of increasing sizes depending on $n$ and equipped with a parameter $t>0$. For every fixed $t>0$, we assume that each $\{B_{n,t}\}_n$ possesses a canonical spectral/singular values symbol $f_t$ defined on $D_t\subset \R^{d}$ of finite measure, $d\ge 1$. Furthermore, we assume that $ \{ \{ B_{n,t}\} : \, t > 0 \} $ is an approximating class of sequences (a.c.s.) for $ \{ A_n \} $ and that $ \bigcup_{t > 0} D_t = D $ with $ D_{t + 1} \supset D_t $. Under such assumptions and via the notion of a.c.s, we prove results on the canonical distributions of $ \{ A_n \} $, whose symbol, when it exists, can be defined on the, possibly unbounded, domain $D$ of finite or even infinite measure. We then extend the concept of a.c.s. to the case where the approximating sequence $ \{ B_{n,t}\}_n $ has possibly a different dimension than the one of $ \{ A_n\} $. This concept seems to be particularly natural when dealing, e.g., with the approximation both of a partial differential equation (PDE) and of its (possibly unbounded, or moving) domain $D$, using an exhausting sequence of domains $\{ D_t \}$. Examples coming from approximated PDEs/FDEs with either moving or unbounded domains are presented in connection with the classical and the new notion of a.c.s., while numerical tests and a list of open questions conclude the present work.


title: Repeated measurements and random scattering in quantum walks

abstract: We study the effect of random scattering in quantum walks on a finite graph and compare it with the effect of repeated measurements. To this end, a constructive approach is employed by introducing a localized and a delocalized basis for the underlying Hilbert space. This enables us to design Hamiltonians whose eigenvectors are either localized or delocalized. By presenting some specific examples we demonstrate that the localization of eigenvectors restricts the transition probabilities on the graph and leads to dark states in the monitored evolution. We conclude that repeated measurements as well as random scattering provide efficient tools for controlling quantum walks.


title: Uncovering Bias in Large Vision-Language Models at Scale with Counterfactuals

abstract: With the advent of Large Language Models (LLMs) possessing increasingly impressive capabilities, a number of Large Vision-Language Models (LVLMs) have been proposed to augment LLMs with visual inputs. Such models condition generated text on both an input image and a text prompt, enabling a variety of use cases such as visual question answering and multimodal chat. While prior studies have examined the social biases contained in text generated by LLMs, this topic has been relatively unexplored in LVLMs. Examining social biases in LVLMs is particularly challenging due to the confounding contributions of bias induced by information contained across the text and visual modalities. To address this challenging problem, we conduct a large-scale study of text generated by different LVLMs under counterfactual changes to input images. Specifically, we present LVLMs with identical open-ended text prompts while conditioning on images from different counterfactual sets, where each set contains images which are largely identical in their depiction of a common subject (e.g., a doctor), but vary only in terms of intersectional social attributes (e.g., race and gender). We comprehensively evaluate the text produced by different models under this counterfactual generation setting at scale, producing over 57 million responses from popular LVLMs. Our multi-dimensional analysis reveals that social attributes such as race, gender, and physical characteristics depicted in input images can significantly influence the generation of toxic content, competency-associated words, harmful stereotypes, and numerical ratings of depicted individuals. We additionally explore the relationship between social bias in LVLMs and their corresponding LLMs, as well as inference-time strategies to mitigate bias.


title: Decoherence-assisted quantum key distribution

abstract: We present a theoretical and experimental study of a controllable decoherence-assisted quantum key distribution scheme. Our method is based on the possibility of introducing controllable decoherence to polarization qubits using the spatial degree of freedom of light. We show that our method reduces the amount of information that an eavesdropper can obtain in the BB84 protocol under the entangling probe attack. We demonstrate experimentally that Alice and Bob can agree on a scheme to that gives low values of the quantum bit error rate, despite the presence of a large amount of decoherence in the transmission channel of the BB84 protocol.


title: A variational analysis of nematic axisymmetric films: the covariant derivative case

abstract: Nematic surfaces are thin fluid structures, ideally two-dimensional, endowed with an in-plane nematic order. In 2012, two variational models have been introduced by Giomi [10] and by Napoli and Vergori [27,26]. Both penalize the area of the surface and the gradient of the director: in [10] the covariant derivative of the director is considered, while [26] deals with the surface gradient. In this paper, a complete variational analysis of the model proposed by Giomi is performed for revolution surfaces spanning two coaxial rings.


title: MotionDreamer: Zero-Shot 3D Mesh Animation from Video Diffusion Models

abstract: Animation techniques bring digital 3D worlds and characters to life. However, manual animation is tedious and automated techniques are often specialized to narrow shape classes. In our work, we propose a technique for automatic re-animation of arbitrary 3D shapes based on a motion prior extracted from a video diffusion model. Unlike existing 4D generation methods, we focus solely on the motion, and we leverage an explicit mesh-based representation compatible with existing computer-graphics pipelines. Furthermore, our utilization of diffusion features enhances accuracy of our motion fitting. We analyze efficacy of these features for animation fitting and we experimentally validate our approach for two different diffusion models and four animation models. Finally, we demonstrate that our time-efficient zero-shot method achieves a superior performance re-animating a diverse set of 3D shapes when compared to existing techniques in a user study. The project website is located at https://lukas.uzolas.com/MotionDreamer.


title: Scaling up archival text analysis with the blockmodeling of n-gram networks -- A case study of Bulgaria's representation in the Osservatore Romano (January-May 1877)

abstract: This paper seeks to bridge the gap between archival text analysis and network analysis by applying network clustering methods to analyze the coverage of Bulgaria in 123 issues of the newspaper Osservatore Romano published between January and May 1877. Utilizing optical character recognition and generalized homogeneity blockmodeling, the study constructs networks of relevant keywords. Those including the sets Bulgaria and Russia are rather isomorphic and they largely overlap with those for Germany, Britain, and War. In structural terms, the blockmodel of the two networks exhibits a clear core-semiperiphery-periphery structure that reflects relations between concepts in the newpaper's coverage. The newspaper's lexical choices effectively delegitimised the Bulgarian national revival, highlighting the influence of the Holy See on the newspaper's editorial line.


title: A Multiband T-Shaped Antenna Array for 6G Mobile Communication

abstract: The paradigm shift in the use cases of wireless communication necessitates the need to move toward higher data rates, large bandwidths, and intelligent reconfiguration in 6G. This paper presents a novel double T-shaped antenna array that operates between 4GHz to 16GHz for 6G mobile communication. The antenna consists of a rectangular microstrip with a fractal Tshaped slot, cut at the rear of the microstrip to provide an air gap for an improved radiation pattern.


title: Parity-violating scalar-tensor theory and the Qi-Xiu

abstract: We investigate the parity-violating scalar-tensor theory and pay special attention to terms that are free of the Ostrogradsky ghost in the unitary gauge, i.e., when the scalar field possesses a timelike gradient. We exhaustively identify the generally covariant scalar-tensor theory (GST) monomials with parity violation up to $d=4$, where $d$ is the total number of derivatives in the unitary gauge. According to the correspondence between GST terms and the spatially covariant gravity (SCG) terms in the unitary gauge, we also exhaustively identify the SCG monomials with parity violation up to $d=4$, where the Lie derivatives of the extrinsic curvature and the lapse function are necessarily introduced. We find a total of 9 independent parity-violating SCG monomials, of which 7 contain no higher-order Lie derivatives and are thus automatically free of ghosts, while 2 involve Lie derivatives of the extrinsic curvature and the lapse function and are thus potentially dangerous. By explicitly deriving their generally covariant correspondence, we obtain 7 independent scalar-tensor terms dubbed the ``Qi-Xiu'' Lagrangians, which are the most general parity-violating scalar-tensor theories that are ghost-free in the unitary gauge up to $d=4$. Our results include the existing theories in the literature, such as the Chern-Simons term and the chiral scalar-tensor theories, as special cases.


title: Fast Algorithm for Multiplication on the Skein Algebra of One-hole Torus

abstract: The Kauffman bracket skein algebra of a surface is a generalization of the Jones polynomial invariant for links and plays a principal role in the Witten-Reshetikhin- Turaev topological quantum field theory. However, the multiplicative structure of the skein algebra is not well understood, with a priori exponential complexity. We consider the case of one-hole torus, and provide a polynomial algorithm for computing multiplication of any two skein elements. Some closed form formulas for multiplication of curves with low crossing number are also given.


title: Spectral adjoint-based assimilation of sparse data in unsteady simulations of turbulent flows

abstract: The URANS equations provide a computationally efficient tool to simulate unsteady turbulent flows for a wide range of applications. To account for the errors introduced by the turbulence closure model, recent works have adopted data assimilation (DA) to enhance their predictive capabilities. Recognizing the challenges posed by the computational cost of 4DVar DA for unsteady flows, we propose a 3DVar DA framework that incorporates a time-discrete Fourier transform of the URANS equations, facilitating the use of the stationary discrete adjoint method in Fourier space. Central to our methodology is the introduction of a corrective, divergence-free, and unsteady forcing term, derived from a Fourier series expansion, into the URANS equations. This term aims at mitigating discrepancies in the modeled divergence of Reynolds stresses, allowing for the tuning of stationary parameters across different Fourier modes. Our implementation is built upon an extended version of the coupled URANS solver in OpenFOAM, enhanced to compute adjoint variables and gradients. This design choice ensures straightforward applicability to various flow setups and solvers, eliminating the need for specialized harmonic solvers. A gradient-based optimizer is employed to minimize discrepancies between simulated results and sparse velocity reference data. The effectiveness of our approach is demonstrated through its application to flow around a two-dimensional circular cylinder at a Reynolds number of 3900. Our results highlight the method's ability to reconstruct mean flow accurately and improve the vortex shedding frequency through the assimilation of zeroth mode data. Additionally, the assimilation of first mode data further enhances the simulation's capability to capture low-frequency dynamics of the flow, and finally, it runs efficiently by leveraging a coarse mesh.


title: Landslide mapping from Sentinel-2 imagery through change detection

abstract: Landslides are one of the most critical and destructive geohazards. Widespread development of human activities and settlements combined with the effects of climate change on weather are resulting in a high increase in the frequency and destructive power of landslides, making them a major threat to human life and the economy. In this paper, we explore methodologies to map newly-occurred landslides using Sentinel-2 imagery automatically. All approaches presented are framed as a bi-temporal change detection problem, requiring only a pair of Sentinel-2 images, taken respectively before and after a landslide-triggering event. Furthermore, we introduce a novel deep learning architecture for fusing Sentinel-2 bi-temporal image pairs with Digital Elevation Model (DEM) data, showcasing its promising performances w.r.t. other change detection models in the literature. As a parallel task, we address limitations in existing datasets by creating a novel geodatabase, which includes manually validated open-access landslide inventories over heterogeneous ecoregions of the world. We release both code and dataset with an open-source license.


title: An Analysis of AGN-Driven Outflows in the Seyfert 1 Galaxy NGC 3227

abstract: We have characterized the ionized, neutral, and warm molecular gas kinematics in the Seyfert 1 galaxy NGC 3227 using observations from the Hubble Space Telescope Space Telescope Imaging Spectrograph, Apache Point Observatory's Kitt Peak Ohio State Multi-Object Spectrograph, Gemini-North's Near-Infrared Integral Field Spectrometer, and the Atacama Large Millimeter Array. We fit multiple Gaussians to several spatially-resolved emission lines observed with long-slit and integral-field spectroscopy and isolate the kinematics based on apparent rotational and outflowing motions. We use the kinematics to determine an orientation for the bicone along which the outflows travel, and find that the biconical structure has an inclination of $40 ^{+5}_{-4}${\deg} from our line of sight, and a half-opening angle with an inner and outer boundary of $47 ^{+6}_{-2}${\deg} and $68 ^{+1}_{-1}${\deg}, respectively. We observe ionized outflows traveling 500 km s$^{-1}$ at distances up to 7$''$ (800 pc) from the SMBH, and disturbed ionized gas up to a distance of 15$''$ (1.7 kpc). Our analysis reveals that the ionized outflows are launched from within 20 pc of the SMBH, at the same location as a bridge of cold gas across the nucleus detected in ALMA CO(2-1) observations. We measure a turnover radius where the gas starts decelerating at a distance of $26 \pm 6$ pc from the AGN. Compared to a turnover radius in the range of $31- 63$ pc from a radiative driving model, we confirm that radiative driving is the dominant acceleration mechanism for the narrow line region (NLR) outflows in NGC 3227.