title: Climbing the Ladder of Interpretability with Counterfactual Concept Bottleneck Models

abstract: Current deep learning models are not designed to simultaneously address three fundamental questions: predict class labels to solve a given classification task (the "What?"), explain task predictions (the "Why?"), and imagine alternative scenarios that could result in different predictions (the "What if?"). The inability to answer these questions represents a crucial gap in deploying reliable AI agents, calibrating human trust, and deepening human-machine interaction. To bridge this gap, we introduce CounterFactual Concept Bottleneck Models (CF-CBMs), a class of models designed to efficiently address the above queries all at once without the need to run post-hoc searches. Our results show that CF-CBMs produce: accurate predictions (the "What?"), simple explanations for task predictions (the "Why?"), and interpretable counterfactuals (the "What if?"). CF-CBMs can also sample or estimate the most probable counterfactual to: (i) explain the effect of concept interventions on tasks, (ii) show users how to get a desired class label, and (iii) propose concept interventions via "task-driven" interventions.


title: Analytical solutions of the Schr\"{o}dinger equation for two confined atoms with van der Waals interaction

abstract: We derive solutions of the Schr\"{o}dinger equation for the isotropic van der Waals interaction in a symmetric harmonic trap, with the recent approach [arXiv:2207.09377 (2022)] to handle the multi-scale long-range potential. Asymptotic behaviors of these solutions are then obtained for $r\rightarrow 0$ and $r\rightarrow \infty$. We further deduce the energy spectrum of the two-body relative motion and relate the spectrum to scattering lengths for $s$ wave and $p$ wave. These results can be used to research trapped atom-atom collisions and energy spectra.


title: XAI for Skin Cancer Detection with Prototypes and Non-Expert Supervision

abstract: Skin cancer detection through dermoscopy image analysis is a critical task. However, existing models used for this purpose often lack interpretability and reliability, raising the concern of physicians due to their black-box nature. In this paper, we propose a novel approach for the diagnosis of melanoma using an interpretable prototypical-part model. We introduce a guided supervision based on non-expert feedback through the incorporation of: 1) binary masks, obtained automatically using a segmentation network; and 2) user-refined prototypes. These two distinct information pathways aim to ensure that the learned prototypes correspond to relevant areas within the skin lesion, excluding confounding factors beyond its boundaries. Experimental results demonstrate that, even without expert supervision, our approach achieves superior performance and generalization compared to non-interpretable models.


title: CodePori: Large Scale Model for Autonomous Software Development by Using Multi-Agents

abstract: Large Language Models (LLMs) and Generative Pre-trained Transformers (GPTs) are reshaping the field of Software Engineering (SE). Existing LLM-based multi-agent systems have successfully resolved simple dialogue tasks. However, the potential of LLMs for more complex tasks, such as automated code generation for large and complex projects, have been explored in only a few existing works. This paper introduces CodePori, a novel model designed to automate code generation for extensive and complex software projects based on natural language prompts. We employ LLM-based multi-AI agents to handle creative and challenging tasks in autonomous software development. Each agent engages with a specific task, including system design, code development, code review, code verification, and test engineering. We show in the paper that CodePori is able to generate running code for large-scale projects, completing the entire software development process in minutes rather than hours, and at a cost of a few dollars. It identifies and mitigates potential security vulnerabilities and corrects errors while maintaining a solid code performance level. We also conducted an evaluation of CodePori against existing solutions using HumanEval and the Massively Multitask Benchmark for Python (MBPP) benchmark. The results indicate that CodePori improves upon the benchmarks in terms of code accuracy, efficiency, and overall performance. For example, CodePori improves the pass@1 metric on HumanEval to 87.5% and on MBPP to 86.5%, representing a clear improvement over the existing models. We also assessed CodePori's performance through practitioner evaluations, with 91% expressing satisfaction with the model's performance.


title: Bass Accompaniment Generation via Latent Diffusion

abstract: The ability to automatically generate music that appropriately matches an arbitrary input track is a challenging task. We present a novel controllable system for generating single stems to accompany musical mixes of arbitrary length. At the core of our method are audio autoencoders that efficiently compress audio waveform samples into invertible latent representations, and a conditional latent diffusion model that takes as input the latent encoding of a mix and generates the latent encoding of a corresponding stem. To provide control over the timbre of generated samples, we introduce a technique to ground the latent space to a user-provided reference style during diffusion sampling. For further improving audio quality, we adapt classifier-free guidance to avoid distortions at high guidance strengths when generating an unbounded latent space. We train our model on a dataset of pairs of mixes and matching bass stems. Quantitative experiments demonstrate that, given an input mix, the proposed system can generate basslines with user-specified timbres. Our controllable conditional audio generation framework represents a significant step forward in creating generative AI tools to assist musicians in music production.


title: Objective and subjective evaluation of speech enhancement methods in the UDASE task of the 7th CHiME challenge

abstract: Supervised models for speech enhancement are trained using artificially generated mixtures of clean speech and noise signals. However, the synthetic training conditions may not accurately reflect real-world conditions encountered during testing. This discrepancy can result in poor performance when the test domain significantly differs from the synthetic training domain. To tackle this issue, the UDASE task of the 7th CHiME challenge aimed to leverage real-world noisy speech recordings from the test domain for unsupervised domain adaptation of speech enhancement models. Specifically, this test domain corresponds to the CHiME-5 dataset, characterized by real multi-speaker and conversational speech recordings made in noisy and reverberant domestic environments, for which ground-truth clean speech signals are not available. In this paper, we present the objective and subjective evaluations of the systems that were submitted to the CHiME-7 UDASE task, and we provide an analysis of the results. This analysis reveals a limited correlation between subjective ratings and several supervised nonintrusive performance metrics recently proposed for speech enhancement. Conversely, the results suggest that more traditional intrusive objective metrics can be used for in-domain performance evaluation using the reverberant LibriCHiME-5 dataset developed for the challenge. The subjective evaluation indicates that all systems successfully reduced the background noise, but always at the expense of increased distortion. Out of the four speech enhancement methods evaluated subjectively, only one demonstrated an improvement in overall quality compared to the unprocessed noisy speech, highlighting the difficulty of the task. The tools and audio material created for the CHiME-7 UDASE task are shared with the community.


title: Simpler characterizations of total orderization invariant maps

abstract: Given a finite subset $A$ of a distributive lattice, its total orderization $to(A)$ is a natural transformation of $A$ into a totally ordered set. Recently, the author showed that multivariate maps on distributive lattices which remain invariant under total orderizations generalize various maps on vector lattices, including bounded orthosymmetric multilinear maps and finite sums of bounded orthogonally additive polynomials. Therefore, a study of total orderization invariant maps on distributive lattices provides new perspectives for maps widely researched in vector lattice theory. However, the unwieldy notation of total orderizations can make calculations extremely long and difficult. In this paper we resolve this complication by providing considerably simpler characterizations of total orderization maps. Utilizing these easier representations, we then prove that a lattice multi-homomorphism on a distributive lattice is total orderization invariant if and only if it is symmetric, and we show that the diagonal of a symmetric lattice multi-homomorphism is a lattice homomorphism, extending known results for orthosymmetric vector lattice homomorphisms.


title: SMLP: Symbolic Machine Learning Prover

abstract: Symbolic Machine Learning Prover (SMLP) is a tool and a library for system exploration based on data samples obtained by simulating or executing the system on a number of input vectors. SMLP aims at exploring the system based on this data by taking a grey-box approach: SMLP combines statistical methods of data exploration with building and exploring machine learning models in close feedback loop with the system's response, and exploring these models by combining probabilistic and formal methods. SMLP has been applied in industrial setting at Intel for analyzing and optimizing hardware designs at the analog level. SMLP is a general purpose tool and can be applied to systems that can be sampled and modeled by machine learning models.


title: Sequence Shortening for Context-Aware Machine Translation

abstract: Context-aware Machine Translation aims to improve translations of sentences by incorporating surrounding sentences as context. Towards this task, two main architectures have been applied, namely single-encoder (based on concatenation) and multi-encoder models. In this study, we show that a special case of multi-encoder architecture, where the latent representation of the source sentence is cached and reused as the context in the next step, achieves higher accuracy on the contrastive datasets (where the models have to rank the correct translation among the provided sentences) and comparable BLEU and COMET scores as the single- and multi-encoder approaches. Furthermore, we investigate the application of Sequence Shortening to the cached representations. We test three pooling-based shortening techniques and introduce two novel methods - Latent Grouping and Latent Selecting, where the network learns to group tokens or selects the tokens to be cached as context. Our experiments show that the two methods achieve competitive BLEU and COMET scores and accuracies on the contrastive datasets to the other tested methods while potentially allowing for higher interpretability and reducing the growth of memory requirements with increased context size.


title: THz spin-wave excitations in the transverse conical phase of BiFeO$_3$

abstract: Although BiFeO$_3$ is one of the most studied multiferroic materials, recent magnetization and neutron scattering studies have revealed a new magnetic phase in this compound - the transverse conical phase. To study the collective spin excitations of this phase, we performed THz spectroscopy in magnetic fields up to 17 T at and above room temperature. We observed five spin-wave branches in the magnetic phase with long wavelength conical modulation. Using a numerical spin dynamics model we found two kinds of excitations with magnetic moments oscillating either along or perpendicular to the static fields. Remarkably, we detected strong directional dichroism, an optical manifestation of the magnetoelectric effect, for two spin-wave modes of the conical phase. According to our experiments, the stability of the conical state is sensitive to the magnetic field history and it can become (meta)stable at or close to zero magnetic field, which may allow exploiting its magnetoelectric properties at room temperature.


title: Extensions and factorizations of topological and semitopological universal algebras

abstract: The possibility of extending operations of topological and semitopological algebras to their Stone-\v{C}ech compactification and factorization of continuous functions through homomorphisms to metrizable algebras are investigated. Most attention is paid to pseudocompact and compact algebras.


title: Accretion and magnetism on young eccentric binaries: DQ Tau and AK Sco

abstract: The accretion and ejection of mass in pre-main sequence (PMS) stars are key processes in stellar evolution as they shape the stellar angular momentum transport necessary for the stars' stability. Magnetospheric accretion onto classical T Tauri stars and low-mass PMS stars has been widely studied in the single-star case. This process can not be directly transferred to PMS binary systems, as tidal and gravitation effects, and/or accretion from a circumbinary disc (with variable separation of the components in the case of eccentric orbits) are in place. This work examines the accretion process of two PMS eccentric binaries, DQ Tau and AK Sco, using high-resolution spectropolarimetric time series. We investigate how magnetospheric accretion can be applied to these systems by studying the accretion-related emission lines and the magnetic field of each system. We discover that both systems are showing signs of magnetospheric accretion, despite their slightly different configurations, and the weak magnetic field of AK Sco. Furthermore, the magnetic topology of DQ Tau A shows a change relative to the previous orbital cycle studied: previously dominated by the poloidal component, it is now dominated by the toroidal component. We also report an increase of the component's accretion and the absence of an accretion burst at the apastron, suggesting that the component's magnetic variation might be the cause of the inter-cycle variations of the system's accretion. We conclude on the presence of magnetospheric accretion for both systems, together with gravitational effects, especially for AK Sco, composed of more massive components.


title: Cohomogeneity one solitons for the isometric flow of $G_2$-structures

abstract: We consider the existence of cohomogeneity one solitons for the isometric flow of $G_2$-structures on the following classes of torsion-free $G_2$-manifolds: the Euclidean $R^7$ with its standard $G_2$-structure, metric cylinders over Calabi-Yau 3-folds, metric cones over nearly K\"ahler 6-manifolds, and the Bryant-Salamon $G_2$-manifolds. In all cases we establish existence of global solutions to the isometric soliton equations, and determine the asymptotic behaviour of the torsion. In particular, existence of shrinking isometric solitons on $R^7$ is proved, giving support to the likely existence of type I singularities for the isometric flow. In each case, the study of the soliton equation reduces to a particular nonlinear ODE with a regular singular point, for which we provide a careful analysis. Finally, to simplify the derivation of the relevant equations in each case, we first establish several useful Riemannian geometric formulas for a general class of cohomogeneity one metrics on total spaces of vector bundles which should have much wider application, as such metrics arise often as explicit examples of special holonomy metrics.


title: The case of the missing VHE GRBs: A retrospective study of Swift gamma-ray bursts with Imaging Atmospheric Cherenkov Telescopes

abstract: Gamma-ray bursts (GRBs) are particle acceleration sites that can emit photons in the very high-energy (VHE) domain through non-thermal processes. From 2004 until 2018, the current generation of Imaging Atmospheric Cherenkov Telescopes (IACTs) did not detect any GRB in the VHE domain. However, from 2018 to 2020, five detections have been reported. In this work, we try to solve the case of the missing VHE GBRs prior to 2018. We aim to identify GRBs that might have eluded VHE detection in the past years by the H.E.S.S., MAGIC, and VERITAS IACTs. To do so, we study GRBs with known redshift detected by \emph{Swift} from 2004 until June 2022. We first identify all GRBs that could have been observed by these IACTs since 2004, considering observation conditions and visibility constraints. We assume a relation between the X-rays and the VHE gamma rays based on the VHE GRBs detected to date and combine this with the redshift measurements, instrument response information, and observation conditions to predict the observed VHE gamma-ray flux from the \emph{Swift}-XRT measurements. We report findings on 12 bright low-redshift GRBs that we identify as most likely to have been detected in the VHE domain by current IACTs. The rate of IACT-detectable GRBs with ideal observation conditions is $<$1 VHE GRB per year with the current configuration. With its lower energy threshold and higher sensitivity, this rate increases to $\sim$4 VHE GRBs per year with CTA.


title: EmoSpeaker: One-shot Fine-grained Emotion-Controlled Talking Face Generation

abstract: Implementing fine-grained emotion control is crucial for emotion generation tasks because it enhances the expressive capability of the generative model, allowing it to accurately and comprehensively capture and express various nuanced emotional states, thereby improving the emotional quality and personalization of generated content. Generating fine-grained facial animations that accurately portray emotional expressions using only a portrait and an audio recording presents a challenge. In order to address this challenge, we propose a visual attribute-guided audio decoupler. This enables the obtention of content vectors solely related to the audio content, enhancing the stability of subsequent lip movement coefficient predictions. To achieve more precise emotional expression, we introduce a fine-grained emotion coefficient prediction module. Additionally, we propose an emotion intensity control method using a fine-grained emotion matrix. Through these, effective control over emotional expression in the generated videos and finer classification of emotion intensity are accomplished. Subsequently, a series of 3DMM coefficient generation networks are designed to predict 3D coefficients, followed by the utilization of a rendering network to generate the final video. Our experimental results demonstrate that our proposed method, EmoSpeaker, outperforms existing emotional talking face generation methods in terms of expression variation and lip synchronization. Project page: https://peterfanfan.github.io/EmoSpeaker/


title: Different Tastes of Entities: Investigating Human Label Variation in Named Entity Annotations

abstract: Named Entity Recognition (NER) is a key information extraction task with a long-standing tradition. While recent studies address and aim to correct annotation errors via re-labeling efforts, little is known about the sources of human label variation, such as text ambiguity, annotation error, or guideline divergence. This is especially the case for high-quality datasets and beyond English CoNLL03. This paper studies disagreements in expert-annotated named entity datasets for three languages: English, Danish, and Bavarian. We show that text ambiguity and artificial guideline changes are dominant factors for diverse annotations among high-quality revisions. We survey student annotations on a subset of difficult entities and substantiate the feasibility and necessity of manifold annotations for understanding named entity ambiguities from a distributional perspective.


title: A Data-Driven Analysis of Robust Automatic Piano Transcription

abstract: Algorithms for automatic piano transcription have improved dramatically in recent years due to new datasets and modeling techniques. Recent developments have focused primarily on adapting new neural network architectures, such as the Transformer and Perceiver, in order to yield more accurate systems. In this work, we study transcription systems from the perspective of their training data. By measuring their performance on out-of-distribution annotated piano data, we show how these models can severely overfit to acoustic properties of the training data. We create a new set of audio for the MAESTRO dataset, captured automatically in a professional studio recording environment via Yamaha Disklavier playback. Using various data augmentation techniques when training with the original and re-performed versions of the MAESTRO dataset, we achieve state-of-the-art note-onset accuracy of 88.4 F1-score on the MAPS dataset, without seeing any of its training data. We subsequently analyze these data augmentation techniques in a series of ablation studies to better understand their influence on the resulting models.


title: Conformal vector fields on almost Kenmotsu manifolds

abstract: In this paper, first we consider that the conformal vector field $\mathbf{X}$ is identical with the Reeb vector field $\varsigma$ and next, assume that $\mathbf{X}$ is pointwise collinear with %the Reeb vector field $\varsigma$, in both cases it is shown that the manifold $\mathbf{N}^{2m+1}$ becomes a Kenmotsu manifold and $\mathbf{N}^{2m+1}$ is locally a warped product $\mathbf{N}' \times_{f} \mathbf{M}^{2m}$, where $\mathbf{M}^{2m}$ is an almost K\"ahler manifold, $\mathbf{N}'$ is an open interval with coordinate t, and $f = ce^{t}$ for some positive constant c. Beside these, we prove that if a $(\verb"k",\boldsymbol{\mu})'$-almost Kenmotsu manifold admits a Killing vector field $\mathbf{X}$, then either it is locally a warped product of an almost K\"ahler manifold and an open interval or $\mathbf{X}$ is a strict infinitesimal contact transformation. Furthermore, we also investigate $\boldsymbol{\eta}$-Ricci-Yamabe soliton with conformal vector fields on $(\verb"k",\boldsymbol{\mu})'$-almost Kenmotsu manifolds and finally, we construct an example.


title: Pilot Length Optimization with RS-LS Channel Estimation for Extremely Large Aperture Arrays

abstract: Extremely large aperture arrays can enable unprecedented spatial multiplexing in beyond 5G systems due to their extremely narrow beamfocusing capabilities. However, acquiring the spatial correlation matrix to enable efficient channel estimation is a complex task due to the vast number of antenna dimensions. Recently, a new estimation method called the "reduced-subspace least squares (RS-LS) estimator" has been proposed for densely packed arrays. This method relies solely on the geometry of the array to limit the estimation resources. In this paper, we address a gap in the existing literature by deriving the average spectral efficiency for a certain distribution of user equipments (UEs) and a lower bound on it when using the RS-LS estimator. This bound is determined by the channel gain and the statistics of the normalized spatial correlation matrices of potential UEs but, importantly, does not require knowledge of a specific UE's spatial correlation matrix. We establish that there exists a pilot length that maximizes this expression. Additionally, we derive an approximate expression for the optimal pilot length under low signal-to-noise ratio (SNR) conditions. Simulation results validate the tightness of the derived lower bound and the effectiveness of using the optimized pilot length.


title: The effect of diversity on group decision-making

abstract: We explore different aspects of cognitive diversity and its effect on the success of group deliberation. To evaluate this, we use 500 dialogues from small, online groups discussing the Wason Card Selection task - the DeliData corpus. Leveraging the corpus, we perform quantitative analysis evaluating three different measures of cognitive diversity. First, we analyse the effect of group size as a proxy measure for diversity. Second, we evaluate the effect of the size of the initial idea pool. Finally, we look into the content of the discussion by analysing discussed solutions, discussion patterns, and how conversational probing can improve those characteristics. Despite the reputation of groups for compounding bias, we show that small groups can, through dialogue, overcome intuitive biases and improve individual decision-making. Across a large sample and different operationalisations, we consistently find that greater cognitive diversity is associated with more successful group deliberation. Code and data used for the analysis are available in the repository: https://github.com/gkaradzhov/cognitive-diversity-groups-cogsci24.


title: Adjoint Natural Deduction (Extended Version)

abstract: Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has been defined in the form of a sequent calculus because the central concept of independence is most clearly understood in this form, and because it permits a proof of cut elimination following standard techniques. In this paper we present a natural deduction formulation of adjoint logic and show how it is related to the sequent calculus. As a consequence, every provable proposition has a verification (sometimes called a long normal form). We also give a computational interpretation of adjoint logic in the form of a functional language and prove properties of computations that derive from the structure of modes, including freedom from garbage (for modes without weakening and contraction), strictness (for modes disallowing weakening), and erasure (based on a preorder between modes). Finally, we present a surprisingly subtle algorithm for type checking.


title: Prefixes of Stanley's Catalan paths with odd returns to the $x$-axis -- standard version and skew Catalan-Stanley paths

abstract: Stanley considered Dyck paths where each maximal run of down-steps to the $x$-axis has odd length; they are also enumerated by (shifted) Catalan numbers. Prefixes of these combinatorial objects are enumerated using the kernel method. A more challenging version of skew Dyck paths combined with Stanley's restriction is also considered.


title: Atomic Quantum Sensor for Ultralow-Frequency Electric Field Measurements

abstract: Rydberg-assisted atomic electrometry with thermal vapors offers a promising approach for detecting external electric fields. This technique, however, has proven quite challenging for measuring low frequencies because of the effects of metal-alkali atoms absorbing on the interior surface of the vacuum enclosure. We apply high-contrast Rydberg-electromagnetically-induced-transparency (EIT) spectroscopy to investigate the impact systematically, including laser power and electric field. Our system enhances frequency measurements below 10 Hz, demonstrating significant progress in improving the performance of Rydberg atomic electrometry. Consequently, our study reveals a standard quantum limit for data capacity and experimentally illustrates it across bandwidths ranging from 10 Hz to 1 MHz. This study provides valuable insights for future precision measurements and field sensing applications.


title: Approximate Control for Continuous-Time POMDPs

abstract: This work proposes a decision-making framework for partially observable systems in continuous time with discrete state and action spaces. As optimal decision-making becomes intractable for large state spaces we employ approximation methods for the filtering and the control problem that scale well with an increasing number of states. Specifically, we approximate the high-dimensional filtering distribution by projecting it onto a parametric family of distributions, and integrate it into a control heuristic based on the fully observable system to obtain a scalable policy. We demonstrate the effectiveness of our approach on several partially observed systems, including queueing systems and chemical reaction networks.


abstract: Context. The model of disc fragmentation due to gravitational instabilities offers an alternate formation mechanism for gas giant planets, especially those on wide orbits. Aims. Our goal is to determine the 3D structure of disc-instability protoplanets and to examine how this relates to the thermal physics of the fragmentation process. Methods. We modelled the fragmentation of gravitationally unstable discs using the SPH code PHANTOM, and followed the evolution of the protoplanets formed through the first and second-hydrostatic core phases (up to densities 1e-3 g/cm3). Results. We find that the 3D structure of disc-instability protoplanets is affected by the disc environment and the formation history of each protoplanet (e.g. interactions with spiral arms, mergers). The large majority of the protoplanets that form in the simulations are oblate spheroids rather than spherical, and they accrete faster from their poles. Conclusions. The 3D structure of disc-instability protoplanets is expected to affect their observed properties and should be taken into account when interpreting observations of protoplanets embedded in their parent discs.


title: Marcinkiewicz integrals associated with Schr\"{o}dinger operator on Campanato type spaces

abstract: The boundedness of the Marcinkiewicz integrals associated with Schr\"{o}dinger operator from the localized Morrey-Campanato space to the localized Morrey-Campanato-BLO space is established. Similar results for the Marcinkiewicz integrals associated with the Schr\"{o}dinger operator with rough kernels were also investigated.


title: Conditioning non-linear and infinite-dimensional diffusion processes

abstract: Generative diffusion models and many stochastic models in science and engineering naturally live in infinite dimensions before discretisation. To incorporate observed data for statistical and learning tasks, one needs to condition on observations. While recent work has treated conditioning linear processes in infinite dimensions, conditioning non-linear processes in infinite dimensions has not been explored. This paper conditions function valued stochastic processes without prior discretisation. To do so, we use an infinite-dimensional version of Girsanov's theorem to condition a function-valued stochastic process, leading to a stochastic differential equation (SDE) for the conditioned process involving the score. We apply this technique to do time series analysis for shapes of organisms in evolutionary biology, where we discretise via the Fourier basis and then learn the coefficients of the score function with score matching methods.


title: Theory of Electron Spin Resonance Spectroscopy in Scanning Tunneling Microscope

abstract: The integration of scanning tunneling microscopy (STM) and electron spin resonance (ESR) spectroscopy has emerged as a powerful and innovative tool for discerning spin excitations and spin-spin interactions within atoms and molecules adsorbed on surfaces. However, the origin of the STM-ESR signal and the underlying mechanisms that govern the essential features of the measured spectra have remained elusive, thereby significantly impeding the future development of the STM-ESR approach. Here, we construct a model to carry out precise numerical simulations of STM-ESR spectra for a single hydrogenated Ti adatom and a hydrogenated Ti dimer, achieving excellent agreement with experimental observations. We further develop an analytic theory that elucidates the fundamental origin of the signal as well as the essential features in the measured spectra. These new theoretical developments establish a solid foundation for the on-demand detection and manipulation of atomic-scale spin states, with promising implications for cutting-edge applications in spin sensing, quantum information, and quantum computing.


title: New Branching Formulae for Classical Groups and Relations among them

abstract: We find the branching laws for the classical pairs $\mathrm{GL}(m, \mathbb{C}) \subset \mathrm{GL}(n, \mathbb{C})$, $\mathrm{Sp}(2m, \mathbb{C}) \subset \mathrm{Sp}(2n, \mathbb{C})$, $\mathrm{SO}(q, \mathbb{C}) \subset \mathrm{SO}(p, \mathbb{C})$ for all $m\leq n$, and all $q\leq p$, generalizing the well-known results of classical branching laws which exist for $m=n-1$, and $q=p-1$. Our approach provides a common proof applicable to all these groups. We also compare the branching multiplicities among these pairs.


title: Structural and optical characterization of NiO polycrystalline thin films fabricated by spray-pyrolysis

abstract: Nickel (II) oxide, NiO, a wide band gap Mott insulator characterized by strong Coulomb repulsion between d-electrons and displaying antiferromagnetic order at room temperature, has gained attention in recent years as a very promising candidate for applications in a broad set of areas, including chemistry and metallurgy to spintronics and energy harvesting. Here, we report on the synthesis of polycrystalline NiO fabricated using spray-pyrolysis technique, which is a deposition technique able to produce quite uniform films of pure and crystalline materials without the need of high vacuum or inert atmospheres. We then characterized the composition and structure of our NiO thin films using X-ray diffraction, and atomic force and scanning electron microscopies, respectively. We completed our study by looking at the phononic and magnonic properties of our NiO thin films via Raman spectroscopy, and at the ultrafast electron dynamics by using optical pump probe spectroscopy. We found that our NiO samples display the same phononic and magnonic dispersion expected for single crystal NiO at room temperature, and that electron dynamics in our system is similar to those of previously reported NiO mono- and poli-crystalline systems synthesized with different techniques. These results prove that spray-pyrolysis can be used as affordable and large-scale fabrication technique to synthetize strongly correlated materials for a large set of applications.


title: Exploring the Effect of Multiple Natural Languages on Code Suggestion Using GitHub Copilot

abstract: GitHub Copilot is an AI-enabled tool that automates program synthesis. It has gained significant attention since its launch in 2021. Recent studies have extensively examined Copilot's capabilities in various programming tasks, as well as its security issues. However, little is known about the effect of different natural languages on code suggestion. Natural language is considered a social bias in the field of NLP, and this bias could impact the diversity of software engineering. To address this gap, we conducted an empirical study to investigate the effect of three popular natural languages (English, Japanese, and Chinese) on Copilot. We used 756 questions of varying difficulty levels from AtCoder contests for evaluation purposes. The results highlight that the capability varies across natural languages, with Chinese achieving the worst performance. Furthermore, regardless of the type of natural language, the performance decreases significantly as the difficulty of questions increases. Our work represents the initial step in comprehending the significance of natural languages in Copilot's capability and introduces promising opportunities for future endeavors.


title: From Words to Molecules: A Survey of Large Language Models in Chemistry

abstract: In recent years, Large Language Models (LLMs) have achieved significant success in natural language processing (NLP) and various interdisciplinary areas. However, applying LLMs to chemistry is a complex task that requires specialized domain knowledge. This paper provides a thorough exploration of the nuanced methodologies employed in integrating LLMs into the field of chemistry, delving into the complexities and innovations at this interdisciplinary juncture. Specifically, our analysis begins with examining how molecular information is fed into LLMs through various representation and tokenization methods. We then categorize chemical LLMs into three distinct groups based on the domain and modality of their input data, and discuss approaches for integrating these inputs for LLMs. Furthermore, this paper delves into the pretraining objectives with adaptations to chemical LLMs. After that, we explore the diverse applications of LLMs in chemistry, including novel paradigms for their application in chemistry tasks. Finally, we identify promising research directions, including further integration with chemical knowledge, advancements in continual learning, and improvements in model interpretability, paving the way for groundbreaking developments in the field.


title: Few-Shot Learning on Graphs: from Meta-learning to Pre-training and Prompting

abstract: Graph representation learning, a critical step in graph-centric tasks, has seen significant advancements. Earlier techniques often operate in an end-to-end setting, where performance heavily relies on the availability of ample labeled data. This constraint has spurred the emergence of few-shot learning on graphs, where only a few task-specific labels are available for each task. Given the extensive literature in this field, this survey endeavors to synthesize recent developments, provide comparative insights, and identify future directions. We systematically categorize existing studies into three major families: meta-learning approaches, pre-training approaches, and hybrid approaches, with a finer-grained classification in each family to aid readers in their method selection process. Within each category, we analyze the relationships among these methods and compare their strengths and limitations. Finally, we outline prospective future directions for few-shot learning on graphs to catalyze continued innovation in this field.


title: Learning the Market: Sentiment-Based Ensemble Trading Agents

abstract: We propose the integration of sentiment analysis and deep-reinforcement learning ensemble algorithms for stock trading, and design a strategy capable of dynamically altering its employed agent given concurrent market sentiment. In particular, we create a simple-yet-effective method for extracting news sentiment and combine this with general improvements upon existing works, resulting in automated trading agents that effectively consider both qualitative market factors and quantitative stock data. We show that our approach results in a strategy that is profitable, robust, and risk-minimal -- outperforming the traditional ensemble strategy as well as single agent algorithms and market metrics. Our findings determine that the conventional practice of switching ensemble agents every fixed-number of months is sub-optimal, and that a dynamic sentiment-based framework greatly unlocks additional performance within these agents. Furthermore, as we have designed our algorithm with simplicity and efficiency in mind, we hypothesize that the transition of our method from historical evaluation towards real-time trading with live data should be relatively simple.


title: Generalized framework for admissibility preserving Lax-Wendroff Flux Reconstruction for hyperbolic conservation laws with source terms

abstract: Lax-Wendroff Flux Reconstruction (LWFR) is a single-stage, high order, quadrature free method for solving hyperbolic conservation laws. We perform a cell average decomposition of the LWFR scheme that is similar to the one used in the admissibility preserving framework of Zhang and Shu (2010). By performing a flux limiting of the time averaged numerical flux, the decomposition is used to obtain an admissibility preserving LWFR scheme. The admissibility preservation framework is further extended to a newly proposed extension of LWFR scheme for conservation laws with source terms. This is the first extension of the high order LW scheme that can handle source terms. The admissibility and accuracy are verified by numerical experiments on the Ten Moment equations of Livermore et al.


title: FRENETIX: A High-Performance and Modular Motion Planning Framework for Autonomous Driving

abstract: Our research introduces a modular motion planning framework for autonomous vehicles using a sampling-based trajectory planning algorithm. This approach effectively tackles the challenges of solution space construction and optimization in path planning. The algorithm is applicable to both real vehicles and simulations, offering a robust solution for complex autonomous navigation. Our method employs a multi-objective optimization strategy for efficient navigation in static and highly dynamic environments, focusing on optimizing trajectory comfort, safety, and path precision. The algorithm is used to analyze the algorithm performance and success rate in 1750 virtual complex urban and highway scenarios. Our results demonstrate fast calculation times (8ms for 800 trajectories), a high success rate in complex scenarios (88%), and easy adaptability with different modules presented. The most noticeable difference exhibited was the fast trajectory sampling, feasibility check, and cost evaluation step across various trajectory counts. We demonstrate the integration and execution of the framework on real vehicles by evaluating deviations from the controller using a test track. This evaluation highlights the algorithm's robustness and reliability, ensuring it meets the stringent requirements of real-world autonomous driving scenarios. The code and the additional modules used in this research are publicly available as open-source software and can be accessed at the following link: https://github.com/TUM-AVS/Frenetix-Motion-Planner.


title: Mission Critical -- Satellite Data is a Distinct Modality in Machine Learning

abstract: Satellite data has the potential to inspire a seismic shift for machine learning -- one in which we rethink existing practices designed for traditional data modalities. As machine learning for satellite data (SatML) gains traction for its real-world impact, our field is at a crossroads. We can either continue applying ill-suited approaches, or we can initiate a new research agenda that centers around the unique characteristics and challenges of satellite data. This position paper argues that satellite data constitutes a distinct modality for machine learning research and that we must recognize it as such to advance the quality and impact of SatML research across theory, methods, and deployment. We outline critical discussion questions and actionable suggestions to transform SatML from merely an intriguing application area to a dedicated research discipline that helps move the needle on big challenges for machine learning and society.


title: All graph state verification protocols are composably secure

abstract: Graph state verification protocols allow multiple parties to share a graph state while checking that the state is honestly prepared, even in the presence of malicious parties. Since graph states are the starting point of numerous quantum protocols, it is crucial to ensure that graph state verification protocols can safely be composed with other protocols, this property being known as composable security. Previous works [YDK21] conjectured that such a property could not be proven within the abstract cryptography framework: we disprove this conjecture by showing that all graph state verification protocols can be turned into a composably secure protocol with respect to the natural functionality for graph state preparation. Moreover, we show that any unchanged graph state verification protocols can also be considered as composably secure for a slightly different, yet useful, functionality. Finally, we show that these two results are optimal, in the sense that any such generic result, considering arbitrary black-box protocols, must either modify the protocol or consider a different functionality. Along the way, we show a protocol to generalize entanglement swapping to arbitrary graph states that might be of independent interest.


title: Guidance Graph Optimization for Lifelong Multi-Agent Path Finding

abstract: We study how to use guidance to improve the throughput of lifelong Multi-Agent Path Finding (MAPF). Previous studies have demonstrated that, while incorporating guidance, such as highways, can accelerate MAPF algorithms, this often results in a trade-off with solution quality. In addition, how to generate good guidance automatically remains largely unexplored, with current methods falling short of surpassing manually designed ones. In this work, we introduce the guidance graph as a versatile representation of guidance for lifelong MAPF, framing Guidance Graph Optimization as the task of optimizing its edge weights. We present two GGO algorithms to automatically generate guidance for arbitrary lifelong MAPF algorithms and maps. The first method directly optimizes edge weights, while the second method optimizes an update model capable of generating edge weights. Empirically, we show that (1) our guidance graphs improve the throughput of three representative lifelong MAPF algorithms in eight benchmark maps, and (2) our update model can generate guidance graphs for as large as $93 \times 91$ maps and as many as 3,000 agents. We include the source code at: \url{https://github.com/lunjohnzhang/ggo_public}. All optimized guidance graphs are available online at: \url{https://yulunzhang.net/publication/zhang2024ggo}.


title: The Hamilton space of pseudorandom graphs

abstract: We show that if $n$ is odd and $p \ge C \log n / n$, then with high probability Hamilton cycles in $G(n,p)$ span its cycle space. More generally, we show this holds for a class of graphs satisfying certain natural pseudorandom properties. The proof is based on a novel idea of parity-switchers, which can be thought of as analogues of absorbers in the context of cycle spaces. As another application of our method, we show that Hamilton cycles in a near-Dirac graph $G$, that is, a graph $G$ with odd $n$ vertices and minimum degree $n/2 + C$ for sufficiently large constant $C$, span its cycle space.


title: Disorder and non-Hermiticity in Kitaev spin liquids with a Majorana Fermi surface

abstract: We study the effect of disorder on Z$_2$ quantum spin liquids with a Majorana Fermi line (respectively surface in three dimensions) and show that depending on the symmetries that are preserved \emph{on average} qualitatively different scenarios will occur. In particular, we identify the relevant non-Hermitian symmetries for which disorder will effectively split the Fermi line into two exceptional lines, with $\Re(E)=0$ states filling the area in between. We demonstrate the different scenarios using both toy models as well as large-scale numerical simulations.


title: Exponential Ergodicity of CBIRE-Processes with Competition and Catastrophes

abstract: We establish the exponential ergodic property in a weighted total variation distance of continuous-state branching processes with immigration in random environments with competition and catastrophes, under a Lyapunov-type condition and other mild assumptions. The proof is based on a Markov coupling process along with some delicate estimates for the associated coupling generator. In particular, the main result indicates whether and how the competition mechanism, the environment and the catastrophe could balance the branching mechanism respectively to guarantee the exponential ergodicity of the process.


title: Improving importance estimation in covariate shift for providing accurate prediction error

abstract: In traditional Machine Learning, the algorithms predictions are based on the assumption that the data follows the same distribution in both the training and the test datasets. However, in real world data this condition does not hold and, for instance, the distribution of the covariates changes whereas the conditional distribution of the targets remains unchanged. This situation is called covariate shift problem where standard error estimation may be no longer accurate. In this context, the importance is a measure commonly used to alleviate the influence of covariate shift on error estimations. The main drawback is that it is not easy to compute. The Kullback-Leibler Importance Estimation Procedure (KLIEP) is capable of estimating importance in a promising way. Despite its good performance, it fails to ignore target information, since it only includes the covariates information for computing the importance. In this direction, this paper explores the potential performance improvement if target information is considered in the computation of the importance. Then, a redefinition of the importance arises in order to be generalized in this way. Besides the potential improvement in performance, including target information make possible the application to a real application about plankton classification that motivates this research and characterized by its great dimensionality, since considering targets rather than covariates reduces the computation and the noise in the covariates. The impact of taking target information is also explored when Logistic Regression (LR), Kernel Mean Matching (KMM), Ensemble Kernel Mean Matching (EKMM) and the naive predecessor of KLIEP called Kernel Density Estimation (KDE) methods estimate the importance. The experimental results lead to a more accurate error estimation using target information, especially in case of the more promising method KLIEP.


title: Divergence conforming finite element methods for flow-transport coupling with osmotic effects

abstract: We propose a model for the coupling of flow and transport equations with porous membrane-type conditions on part of the boundary. The governing equations consist of the incompressible Navier--Stokes equations coupled with an advection-diffusion equation, and we employ a Lagrange multiplier to enforce the coupling between penetration velocity and transport on the membrane, while mixed boundary conditions are considered in the remainder of the boundary. We show existence and uniqueness of the continuous problem using a fixed-point argument. Next, an H(div)-conforming finite element formulation is proposed, and we address its a priori error analysis. The method uses an upwind approach that provides stability in the convection-dominated regime. We showcase a set of numerical examples validating the theory and illustrating the use of the new methods in the simulation of reverse osmosis processes.


title: Almost co-K\"ahler manifolds and $(m,\rho)$-quasi-Einstein solitons

abstract: The present paper aims to investigate $(m,\rho)$-quasi-Einstein metrices on almost co-K\"ahler manifolds $\mathcal{M}$. It is proven that if a $(\kappa,\mu)$-almost co-K\"ahler manifold with $\kappa<0$ is $(m,\rho)$-quasi-Einstein manifold, then $\mathcal{M}$ represents a $N(\kappa)$-almost co-K\"ahler manifold and the manifold is locally isomorphic to a solvable non-nilpotent Lie group. Next, we study the three dimensional case and get the above mentioned result along with the manifold $\mathcal{M}^3$ becoming an $\eta$-Einstein manifold. We also show that there does not exist $(m,\rho)$-quasi-Einstein structure on a compact $(\kappa,\mu)$-almost co-K\"ahler manifold of dimension greater than three with $\kappa<0$. Further, we prove that an almost co-K\"ahler manifold satisfying $\eta$-Einstein condition with constant coefficients reduces to a $K$-almost co-K\"ahler manifold, provided $ma_{1} \neq (2n-1)b_{1}$ and $m \neq 1$. We also characterize perfect fluid spacetime whose Lorentzian metric is equipped with $(m, \rho)$-quasi Einstein solitons and acquired that the perfect fluid spacetime has vanishing vorticity, or it represents dark energy era under certain restriction on the potential function. Finally, we construct an example of an almost co-K\"ahler manifold with $(m,\rho)$-quasi-Einstein solitons.


title: The Queen of England is not England's Queen: On the Lack of Factual Coherency in PLMs

abstract: Factual knowledge encoded in Pre-trained Language Models (PLMs) enriches their representations and justifies their use as knowledge bases. Previous work has focused on probing PLMs for factual knowledge by measuring how often they can correctly predict an object entity given a subject and a relation, and improving fact retrieval by optimizing the prompts used for querying PLMs. In this work, we consider a complementary aspect, namely the coherency of factual knowledge in PLMs, i.e., how often can PLMs predict the subject entity given its initial prediction of the object entity. This goes beyond evaluating how much PLMs know, and focuses on the internal state of knowledge inside them. Our results indicate that PLMs have low coherency using manually written, optimized and paraphrased prompts, but including an evidence paragraph leads to substantial improvement. This shows that PLMs fail to model inverse relations and need further enhancements to be able to handle retrieving facts from their parameters in a coherent manner, and to be considered as knowledge bases.


title: Integrating Large Language Models in Causal Discovery: A Statistical Causal Approach

abstract: In practical statistical causal discovery (SCD), embedding domain expert knowledge as constraints into the algorithm is significant for creating consistent meaningful causal models, despite the challenges in systematic acquisition of the background knowledge. To overcome these challenges, this paper proposes a novel methodology for causal inference, in which SCD methods and knowledge based causal inference (KBCI) with a large language model (LLM) are synthesized through ``statistical causal prompting (SCP)'' for LLMs and prior knowledge augmentation for SCD. Experiments have revealed that GPT-4 can cause the output of the LLM-KBCI and the SCD result with prior knowledge from LLM-KBCI to approach the ground truth, and that the SCD result can be further improved, if GPT-4 undergoes SCP. Furthermore, by using an unpublished real-world dataset, we have demonstrated that the background knowledge provided by the LLM can improve SCD on this dataset, even if this dataset has never been included in the training data of the LLM. The proposed approach can thus address challenges such as dataset biases and limitations, illustrating the potential of LLMs to improve data-driven causal inference across diverse scientific domains.


title: Self-Correlations of Hurwitz Class Numbers

abstract: The asymptotic study of class numbers of binary quadratic forms is a foundational problem in arithmetic statistics. Here, we investigate finer statistics of class numbers by studying their self-correlations under additive shifts. Specifically, we produce uniform asymptotics for the shifted convolution sum $\sum_{n < X} H(n) H(n+\ell)$ for fixed $\ell \in \mathbb{Z}$, in which $H(n)$ denotes the Hurwitz class number.


title: Convolution kernel adaptation to calibrated fisheye

abstract: Convolution kernels are the basic structural component of convolutional neural networks (CNNs). In the last years there has been a growing interest in fisheye cameras for many applications. However, the radially symmetric projection model of these cameras produces high distortions that affect the performance of CNNs, especially when the field of view is very large. In this work, we tackle this problem by proposing a method that leverages the calibration of cameras to deform the convolution kernel accordingly and adapt to the distortion. That way, the receptive field of the convolution is similar to standard convolutions in perspective images, allowing us to take advantage of pre-trained networks in large perspective datasets. We show how, with just a brief fine-tuning stage in a small dataset, we improve the performance of the network for the calibrated fisheye with respect to standard convolutions in depth estimation and semantic segmentation.


title: $e^{+}e^{-}\to l^{+}l^{-}$ scattering at finite temperature in the presence of a classical background magnetic field

abstract: In this work the $e^{+}e^{-}\to l^{+}l^{-}$ scattering process is investigated. The cross-section is calculated considering three different effects: temperature, external magnetic field and chemical potential. The effect due to an external field is inserted into the problem through a redefinition of the fermionic field operator. Effects due to temperature and chemical potential are introduced using the Thermo Field Dynamics formalism.


title: Beyond single-reference fixed-node approximation in ab initio Diffusion Monte Carlo using antisymmetrized geminal power applied to systems with hundreds of electrons

abstract: Diffusion Monte Carlo (DMC) is an exact technique to project out the ground state (GS) of a Hamiltonian. Since the GS is always bosonic, in fermionic systems the projection needs to be carried out while imposing anti-symmetric constraints, which is a nondeterministic polynomial hard problem. In practice, therefore, the application of DMC on electronic structure problems is made by employing the fixed-node (FN) approximation, consisting of performing DMC with the constraint of having a fixed predefined nodal surface. How do we get the nodal surface? The typical approach, applied in systems having up to hundreds, or even thousands of electrons, is to obtain the nodal surface from a preliminary mean-field approach (typically, a density functional theory calculation) used to obtain a single Slater determinant. This is known as {\emph{single reference}}. In this paper, we propose a new approach, applicable to systems as large as the C$_{60}$ fullerene, which improves the nodes by going beyond the single reference. In practice, we employ an implicitly multireference ansatz (Antisymmetrized Geminal power wavefunction constraint with molecular orbitals), initialized on the preliminary mean-field approach, which is relaxed by optimizing a few parameters of the wave function determining the nodal surface by minimizing the FN-DMC energy. We highlight the improvements of the proposed approach over the standard single reference method on several examples and, where feasible, the computational gain over the standard multireference ansatz, which makes the methods applicable to large systems. We also show that physical properties relying on relative energies, such as binding energies, are affordable and reliable within the proposed scheme.


title: GaMeS: Mesh-Based Adapting and Modification of Gaussian Splatting

abstract: Recently, a range of neural network-based methods for image rendering have been introduced. One such widely-researched neural radiance field (NeRF) relies on a neural network to represent 3D scenes, allowing for realistic view synthesis from a small number of 2D images. However, most NeRF models are constrained by long training and inference times. In comparison, Gaussian Splatting (GS) is a novel, state-of-the-art technique for rendering points in a 3D scene by approximating their contribution to image pixels through Gaussian distributions, warranting fast training and swift, real-time rendering. A drawback of GS is the absence of a well-defined approach for its conditioning due to the necessity to condition several hundred thousand Gaussian components. To solve this, we introduce the Gaussian Mesh Splatting (GaMeS) model, which allows modification of Gaussian components in a similar way as meshes. We parameterize each Gaussian component by the vertices of the mesh face. Furthermore, our model needs mesh initialization on input or estimated mesh during training. We also define Gaussian splats solely based on their location on the mesh, allowing for automatic adjustments in position, scale, and rotation during animation. As a result, we obtain a real-time rendering of editable GS.


title: Deep conditional distribution learning via conditional F\"ollmer flow

abstract: We introduce an ordinary differential equation (ODE) based deep generative method for learning conditional distributions, named Conditional F\"ollmer Flow. Starting from a standard Gaussian distribution, the proposed flow could approximate the target conditional distribution very well when the time is close to 1. For effective implementation, we discretize the flow with Euler's method where we estimate the velocity field nonparametrically using a deep neural network. Furthermore, we also establish the convergence result for the Wasserstein-2 distance between the distribution of the learned samples and the target conditional distribution, providing the first comprehensive end-to-end error analysis for conditional distribution learning via ODE flow. Our numerical experiments showcase its effectiveness across a range of scenarios, from standard nonparametric conditional density estimation problems to more intricate challenges involving image data, illustrating its superiority over various existing conditional density estimation methods.


title: Visual Gyroscope: Combination of Deep Learning Features and Direct Alignment for Panoramic Stabilization

abstract: In this article we present a visual gyroscope based on equirectangular panoramas. We propose a new pipeline where we take advantage of combining three different methods to obtain a robust and accurate estimation of the attitude of the camera. We quantitatively and qualitatively validate our method on two image sequences taken with a $360^\circ$ dual-fisheye camera mounted on different aerial vehicles.


title: 3D Vertebrae Measurements: Assessing Vertebral Dimensions in Human Spine Mesh Models Using Local Anatomical Vertebral Axes

abstract: Vertebral morphological measurements are important across various disciplines, including spinal biomechanics and clinical applications, pre- and post-operatively. These measurements also play a crucial role in anthropological longitudinal studies, where spinal metrics are repeatedly documented over extended periods. Traditionally, such measurements have been manually conducted, a process that is time-consuming. In this study, we introduce a novel, fully automated method for measuring vertebral morphology using 3D meshes of lumbar and thoracic spine models.Our experimental results demonstrate the method's capability to accurately measure low-resolution patient-specific vertebral meshes with mean absolute error (MAE) of 1.09 mm and those derived from artificially created lumbar spines, where the average MAE value was 0.7 mm. Our qualitative analysis indicates that measurements obtained using our method on 3D spine models can be accurately reprojected back onto the original medical images if these images are available.


title: Emergence of the molecular geometric phase from exact electron-nuclear dynamics

abstract: Geometric phases play a crucial role in diverse fields. In chemistry they appear when a reaction path encircles an intersection between adiabatic potential energy surfaces and the molecular wavefunction experiences quantum-mechanical interference effects. This intriguing effect, closely resembling the magnetic Aharonov-Bohm effect, crucially relies on the adiabatic description of the dynamics, and it is uncertain whether and how it persists in an exact quantum dynamical framework. Recent works have shown that the geometric phase is an artifact of the adiabatic approximation, thereby challenging the perceived utility of the geometric phase concept in molecules. Here, we investigate this issue in an exact dynamical framework. We introduce instantaneous, gauge invariant phases separately for the electrons and for the nuclei, and use them to monitor the phase difference between the trailing edges of a wavepacket encircling a conical intersection. In this way we unambiguosly assess the role of the geometric phase in the interference process and shed light on its persistence in molecular systems.


title: Local well-posedness of the Benjamin-Ono equation for a class of bounded initial data

abstract: We prove local well-posedness of the Benjamin-Ono equation for a class of bounded initial data including periodic and bore-like functions. As a consequence, we obtain local well-posedness in $H^s(\mathbb{R})+H^\sigma(\mathbb{T})$ for $s>\frac{1}{2}$ and $\sigma>\frac{7}{2}$. These results follow by studying a generalized forced Benjamin-Ono equation.


title: A Reinforcement Learning-Boosted Motion Planning Framework: Comprehensive Generalization Performance in Autonomous Driving

abstract: This study introduces a novel approach to autonomous motion planning, informing an analytical algorithm with a reinforcement learning (RL) agent within a Frenet coordinate system. The combination directly addresses the challenges of adaptability and safety in autonomous driving. Motion planning algorithms are essential for navigating dynamic and complex scenarios. Traditional methods, however, lack the flexibility required for unpredictable environments, whereas machine learning techniques, particularly reinforcement learning (RL), offer adaptability but suffer from instability and a lack of explainability. Our unique solution synergizes the predictability and stability of traditional motion planning algorithms with the dynamic adaptability of RL, resulting in a system that efficiently manages complex situations and adapts to changing environmental conditions. Evaluation of our integrated approach shows a significant reduction in collisions, improved risk management, and improved goal success rates across multiple scenarios. The code used in this research is publicly available as open-source software and can be accessed at the following link: https://github.com/TUM-AVS/Frenetix-RL.


title: Scaled 360 layouts: Revisiting non-central panoramas

abstract: From a non-central panorama, 3D lines can be recovered by geometric reasoning. However, their sensitivity to noise and the complex geometric modeling required has led these panoramas being very little investigated. In this work we present a novel approach for 3D layout recovery of indoor environments using single non-central panoramas. We obtain the boundaries of the structural lines of the room from a non-central panorama using deep learning and exploit the properties of non-central projection systems in a new geometrical processing to recover the scaled layout. We solve the problem for Manhattan environments, handling occlusions, and also for Atlanta environments in an unified method. The experiments performed improve the state-of-the-art methods for 3D layout recovery from a single panorama. Our approach is the first work using deep learning with non-central panoramas and recovering the scale of single panorama layouts.


title: Brain-Like Replay Naturally Emerges in Reinforcement Learning Agents

abstract: Can replay, as a widely observed neural activity pattern in brain regions, particularly in the hippocampus and neocortex, emerge in an artificial agent? If yes, does it contribute to the tasks? In this work, without heavy dependence on complex assumptions, we discover naturally emergent replay under task-optimized paradigm using a recurrent neural network-based reinforcement learning model, which mimics the hippocampus and prefrontal cortex, as well as their intercommunication and the sensory cortex input. The emergent replay in the hippocampus, which results from the episodic memory and cognitive map as well as environment observations, well resembles animal experimental data and serves as an effective indicator of high task performance. The model also successfully reproduces local and nonlocal replay, which matches the human experimental data. Our work provides a new avenue for understanding the mechanisms behind replay.

categories: eess.SY cs.AI cs.CE cs.NE cs.SY q-bio.NC


title: A momentum-resolved view of polaron formation in materials

abstract: A combined experimental and computational methodology for interrogating the phonon contribution to polaron formation in real materials is developed. Using LiF as an example, we show that the recent ab-initio theory of Sio et. al [PRL 122, 246403 (2019)] makes predictions of the momentum- and branch dependent phonon amplitides in polaron quasiparticles that are testable using ultrafast electron diffuse scattering (UEDS) and related techniques. The large electron polaron in LiF has UEDS signatures that are qualitatively similar to those expected from a simple point-defect model, but the small hole polaron exhibits a profoundly anisotropic UEDS pattern that is in poor agreement with a point-defect model. We also show that these polaron diffuse scattering signatures are directly emblematic of the underlying polaron wavefunction. The combination of new time and momentum resolved experimental probes of nonequilibrium phonons with novel computational methods promises to complement the qualitative results obtained via model Hamiltonians with a first principles, material-specific quantiative understanding of polarons and their properties.


title: AMOR: A Recipe for Building Adaptable Modular Knowledge Agents Through Process Feedback

abstract: The notable success of large language models (LLMs) has sparked an upsurge in building language agents to complete various complex tasks. We present AMOR, an agent framework based on open-source LLMs, which reasons with external knowledge bases and adapts to specific domains through human supervision to the reasoning process. AMOR builds reasoning logic over a finite state machine (FSM) that solves problems through autonomous executions and transitions over disentangled modules. This allows humans to provide direct feedback to the individual modules, and thus naturally forms process supervision. Based on this reasoning and feedback framework, we develop AMOR through two-stage fine-tuning: warm-up and adaptation. The former fine-tunes the LLM with examples automatically constructed from various public datasets and enables AMOR to generalize across different knowledge environments, while the latter tailors AMOR to specific domains using process feedback. Extensive experiments across multiple domains demonstrate the advantage of AMOR to strong baselines, thanks to its FSM-based reasoning and process feedback mechanism.


title: Intrinsic orbital fourfold anisotropic magnetoresistance in Dirac materials

abstract: Fourfold anisotropic magnetoresistance (AMR) have been widely observed in quantum materials, but the underlying mechanisms remain poorly understood. Here we find, in a variety of three-dimensional Dirac materials that can be unifiedly described by the massive Dirac equation, the intrinsic orbital magnetic moment of electrons vary synchronously with the magnetic field and give rise to a {\pi} periodic correction to its velocity, further leading to unusual fourfold AMR, dubbed intrinsic orbital fourfold AMR. Our theory not only explains the observation of fourfold AMR in bismuth but also uncovers the nature of the dominant fourfold AMR in thin films of antiferromagnetic topological insulator MnBi2Te4, which arises from the near cancellation of the twofold AMR from the surface states and bulk states due to distinct spin-momentum lockings. Our work provides a new mechanism for creation and manipulation of intrinsic fourfold AMR in both conventional conductors and various topological insulators.


title: Restricted sumsets in $\mathbb{Z}

abstract: Let $k\geqslant 3$ and let $A=\{0=a_{0}<a_{1}<\cdots<a_{k-1}\}$ with $\gcd(A)=1$. Let $2^{\wedge}A$ denote the set of all sums of two distinct elements of $A$. Freiman and Lev conjectured that the cardinality of $2^{\wedge}A$ is greater than or equal to $a_{k-1}+k-2$ if $a_{k-1}\leqslant 2k-5$ and greater than or equal to $3k-7$ otherwise [V.F. Lev, Restricted set addition in groups, I. The classical setting, J. London Math. Soc. 62(2000), 27-40]. Up to now, Freiman-Lev conjecture is still open for all $a_{k-1}\geqslant 2k-2$. In this paper, we prove the Freiman-Lev conjecture is true for $a_{k-1}\geqslant 2k-2$ and $a_{k-2}<2k-4$. Moreover, we determine some structures of $A$ when $|2^{\wedge}A|=3k-7$.


title: Synthetic Data for the Mitigation of Demographic Biases in Face Recognition

abstract: This study investigates the possibility of mitigating the demographic biases that affect face recognition technologies through the use of synthetic data. Demographic biases have the potential to impact individuals from specific demographic groups, and can be identified by observing disparate performance of face recognition systems across demographic groups. They primarily arise from the unequal representations of demographic groups in the training data. In recent times, synthetic data have emerged as a solution to some problems that affect face recognition systems. In particular, during the generation process it is possible to specify the desired demographic and facial attributes of images, in order to control the demographic distribution of the synthesized dataset, and fairly represent the different demographic groups. We propose to fine-tune with synthetic data existing face recognition systems that present some demographic biases. We use synthetic datasets generated with GANDiffFace, a novel framework able to synthesize datasets for face recognition with controllable demographic distribution and realistic intra-class variations. We consider multiple datasets representing different demographic groups for training and evaluation. Also, we fine-tune different face recognition systems, and evaluate their demographic fairness with different metrics. Our results support the proposed approach and the use of synthetic data to mitigate demographic biases in face recognition.


title: On approximate implicit Taylor methods for ordinary differential equations

abstract: An efficient approximate version of implicit Taylor methods for initial-value problems of systems of ordinary differential equations (ODEs) is introduced. The approach, based on an approximate formulation of Taylor methods, produces a method that requires less evaluations of the function that defines the ODE and its derivatives than the usual version. On the other hand, an efficient numerical solution of the equation that arises from the discretization by means of Newton's method is introduced for an implicit scheme of any order. Numerical experiments illustrate that the resulting algorithm is simpler to implement and has better performance than its exact counterpart.


title: Eigenvalues of the magnetic Dirichlet Laplacian with constant magnetic field on discs in the strong field limit

abstract: We consider the magnetic Dirichlet Laplacian with constant magnetic field on domains of finite measure. In the case of a disc, we prove that the eigenvalue branches with respect to the field strength behave asymptotically linear with an exponentially small remainder term as the field strength goes to infinity. We compute the asymptotic expression for this remainder term. Furthermore, we show that for sufficiently large magnetic field strengths, the spectral bound corresponding to the P\'olya conjecture for the non-magnetic Dirichlet Laplacian is violated up to a sharp excess factor which is independent of the domain.


title: The imprint of magnetic fields on absorption spectra from circumgalactic wind-cloud systems

abstract: Galactic winds probe how stellar feedback regulates the mass and metallicity of galaxies. Observations show that galactic winds are multiphase and magnetised. In the local Universe, the dense phase is traced by emission and absorption lines, which reveal the presence of fast-moving clouds embedded in hot streams. Simulations tell us that magnetic fields can shield such clouds and delay their disruption, but there is little discussed on their observational effects. Using 3D MHD simulations, we study the influence of two orientations of the magnetic field (aligned and transverse) on the cloud morphology, temperature and density structure, mixing fraction, ion kinematics, column densities, and absorption spectra. We study supersonic wind-cloud systems with radiative processes, and develop a framework to extract ion column density maps and synthetic absorption spectra. The framework relies on studying ion populations and creating down-the-barrel spectra via an interface that links our PLUTO simulations to TRIDENT using YT, CLOUDY, and STARBURST99. We find that the transverse magnetic field makes the cloud asymmetric, shields and protects dense cold gas, and reduces mixing fractions compared to the aligned case. Ions can reach higher velocities in the transverse field case. The imprints of the initial orientation of the field on the synthetic spectra are: in the cold phase we find no signature of C ii and Si ii when the field is aligned, in the intermediate phase traced by C iv and Si iv we find broader lines in the transverse case, and in the warm phase we find deeper lines for O vi and N v in the aligned case, but they are less sensitive to the field orientation. Magnetic fields significantly affect the absorption spectra of cold clouds. Intermediate ions are the most sensitive to the magnetic field orientation and can potentially yield information about magnetic field topology.


title: Self-Attention through Kernel-Eigen Pair Sparse Variational Gaussian Processes

abstract: While the great capability of Transformers significantly boosts prediction accuracy, it could also yield overconfident predictions and require calibrated uncertainty estimation, which can be commonly tackled by Gaussian processes (GPs). Existing works apply GPs with symmetric kernels under variational inference to the attention kernel; however, omitting the fact that attention kernels are in essence asymmetric. Moreover, the complexity of deriving the GP posteriors remains high for large-scale data. In this work, we propose Kernel-Eigen Pair Sparse Variational Gaussian Processes (KEP-SVGP) for building uncertainty-aware self-attention where the asymmetry of attention kernels is tackled by Kernel SVD (KSVD) and a reduced complexity is acquired. Through KEP-SVGP, i) the SVGP pair induced by the two sets of singular vectors from KSVD w.r.t. the attention kernel fully characterizes the asymmetry; ii) using only a small set of adjoint eigenfunctions from KSVD, the derivation of SVGP posteriors can be based on the inversion of a diagonal matrix containing singular values, contributing to a reduction in time complexity; iii) an evidence lower bound is derived so that variational parameters and network weights can be optimized with it. Experiments verify our excellent performances and efficiency on in-distribution, distribution-shift and out-of-distribution benchmarks.


title: A Modular Aerial System Based on Homogeneous Quadrotors with Fault-Tolerant Control

abstract: The standard quadrotor is one of the most popular and widely used aerial vehicle of recent decades, offering great maneuverability with mechanical simplicity. However, the under-actuation characteristic limits its applications, especially when it comes to generating desired wrench with six degrees of freedom (DOF). Therefore, existing work often compromises between mechanical complexity and the controllable DOF of the aerial system. To take advantage of the mechanical simplicity of a standard quadrotor, we propose a modular aerial system, IdentiQuad, that combines only homogeneous quadrotor-based modules. Each IdentiQuad can be operated alone like a standard quadrotor, but at the same time allows task-specific assembly, increasing the controllable DOF of the system. Each module is interchangeable within its assembly. We also propose a general controller for different configurations of assemblies, capable of tolerating rotor failures and balancing the energy consumption of each module. The functionality and robustness of the system and its controller are validated using physics-based simulations for different assembly configurations.


title: On the Hilbert depth of quadratic and cubic functions

abstract: Given a numerical function $h:\mathbb Z_{\geq 0}\to\mathbb Z_{\geq 0}$ with $h(0)>0$, the Hilbert depth of $h$ is $\operatorname{hdepth}(h)=\max\{d\;:\;\sum\limits_{j=0}^k (-1)^{k-j}\binom{d-j}{k-j}h(j)\geq 0\text{ for all }k\leq d\}$; see arXiv:2309.10521 . In this note, we study the Hilbert depth of the functions $h_2(j)=aj^2+bj+e$, $j\geq 0$, and $h_3(j)=aj^3+bj^2+cj+e$, $j\geq 0$, where $a,b,c,e$ are some integers with $a,e>0$. We prove that if $b<0$ and $b^2\leq 4ae$ then $\operatorname{hdepth}(h_2)\leq 11$, and, if $b<0$and $b^2>4ae$ then $\operatorname{hdepth}(h_2)\leq 13$. Also, we show that if $b<0$ and $b^2\leq 3ac$ then $\operatorname{hdepth}(h_3)\leq 67$.


title: SVI solutions to stochastic nonlinear diffusion equations on general measure spaces

abstract: We establish a framework for the existence and uniqueness of solutions to stochastic nonlinear (possibly multi-valued) diffusion equations driven by multiplicative noise, with the drift operator $L$ being the generator of a transient Dirichlet form on a finite measure space $(E,\mathcal{B},\mu)$ and the initial value in $\mathcal{F}_e^*$, which is the dual space of an extended transient Dirichlet space. $L$ and $\mathcal{F}_e^*$ replace the Laplace operator $\Delta$ and $H^{-1}$, respectively, in the classical case. This framework includes stochastic fast diffusion equations, stochastic fractional fast diffusion equations, the Zhang model, and apply to cases with $E$ being a manifold, a fractal or a graph. In addition, our results apply to operators $-f(-L)$, where $f$ is a Bernstein function, e.g. $f(\lambda)=\lambda^\alpha$ or $f(\lambda)=(\lambda+1)^\alpha-1$, $0<\alpha<1$.


title: Selenium-Jupiter: A JUnit 5 extension for Selenium WebDriver

abstract: Selenium WebDriver is a library that allows controlling web browsers (e.g., Chrome, Firefox, etc.) programmatically. It provides a cross-browser programming interface in several languages used primarily to implement end-to-end tests for web applications. JUnit is a popular unit testing framework for Java. Its latest version (i.e., JUnit 5) provides a programming and extension model called Jupiter. This paper presents Selenium-Jupiter, an open-source JUnit 5 extension for Selenium WebDriver. Selenium-Jupiter aims to ease the development of Selenium WebDriver tests thanks to an automated driver management process implemented in conjunction with the Jupiter parameter resolution mechanism. Moreover, Selenium-Jupiter provides seamless integration with Docker, allowing the use of different web browsers in Docker containers out of the box. This feature enables cross-browser testing, load testing, and troubleshooting (e.g., configurable session recordings). This paper presents an example case in which Selenium-Jupiter is used to evaluate the performance of video conferencing systems based on WebRTC. This example case shows that Selenium-Jupiter can build and maintain the required infrastructure for complex tests effortlessly.


title: Pre-Training Protein Bi-level Representation Through Span Mask Strategy On 3D Protein Chains

abstract: In recent years, there has been a surge in the development of 3D structure-based pre-trained protein models, representing a significant advancement over pre-trained protein language models in various downstream tasks. However, most existing structure-based pre-trained models primarily focus on the residue level, i.e., alpha carbon atoms, while ignoring other atoms like side chain atoms. We argue that modeling proteins at both residue and atom levels is important since the side chain atoms can also be crucial for numerous downstream tasks, for example, molecular docking. Nevertheless, we find that naively combining residue and atom information during pre-training typically fails. We identify a key reason is the information leakage caused by the inclusion of atom structure in the input, which renders residue-level pre-training tasks trivial and results in insufficiently expressive residue representations. To address this issue, we introduce a span mask pre-training strategy on 3D protein chains to learn meaningful representations of both residues and atoms. This leads to a simple yet effective approach to learning protein representation suitable for diverse downstream tasks. Extensive experimental results on binding site prediction and function prediction tasks demonstrate our proposed pre-training approach significantly outperforms other methods. Our code will be made public.


title: Binomial-tree approximation for time-inconsistent stopping

abstract: For time-inconsistent stopping in a one-dimensional diffusion setup, we investigate how to use discrete-time models to approximate the original problem. In particular, we consider the value function $V(\cdot)$ induced by all mild equilibria in the continuous-time problem, as well as the value $V^h(\cdot)$ associated with the equilibria in a binomial-tree setting with time step size $h$. We show that $\lim_{h\rightarrow 0+} V^h \leq V$. We provide an example showing that the exact convergence may fail. Then we relax the set of equilibria and consider the value $V^h_{\varepsilon}(\cdot)$ induced by $\varepsilon$-equilibria in the binomial-tree model. We prove that $\lim_{\varepsilon \rightarrow 0+}\lim_{h \rightarrow 0+}V^h_{\varepsilon} = V$.


title: Combinatorics of rectangulations: Old and new bijections

abstract: A rectangulation is a decomposition of a rectangle into finitely many rectangles. Via natural equivalence relations, rectangulations can be seen as combinatorial objects with a rich structure, with links to lattice congruences, flip graphs, polytopes, lattice paths, Hopf algebras, etc. In this paper, we first revisit the structure of the respective equivalence classes: weak rectangulations that preserve rectangle-segment adjacencies, and strong rectangulations that preserve rectangle-rectangle adjacencies. We thoroughly investigate posets defined by adjacency in rectangulations of both kinds, and unify and simplify known bijections between rectangulations and permutation classes. This yields a uniform treatment of mappings between permutations and rectangulations that unifies the results from earlier contributions, and emphasizes parallelism and differences between the weak and the strong cases. Then, we consider the special case of guillotine rectangulations, and prove that they can be characterized - under all known mappings between permutations and rectangulations - by avoidance of two mesh patterns that correspond to "windmills" in rectangulations. This yields new permutation classes in bijection with weak guillotine rectangulations, and the first known permutation class in bijection with strong guillotine rectangulations. Finally, we address enumerative issues and prove asymptotic bounds for several families of strong rectangulations.


title: Connecting the Dots: Is Mode-Connectedness the Key to Feasible Sample-Based Inference in Bayesian Neural Networks?

abstract: A major challenge in sample-based inference (SBI) for Bayesian neural networks is the size and structure of the networks' parameter space. Our work shows that successful SBI is possible by embracing the characteristic relationship between weight and function space, uncovering a systematic link between overparameterization and the difficulty of the sampling problem. Through extensive experiments, we establish practical guidelines for sampling and convergence diagnosis. As a result, we present a deep ensemble initialized approach as an effective solution with competitive performance and uncertainty quantification.


title: Di-NeRF: Distributed NeRF for Collaborative Learning with Unknown Relative Poses

abstract: Collaborative mapping of unknown environments can be done faster and more robustly than a single robot. However, a collaborative approach requires a distributed paradigm to be scalable and deal with communication issues. This work presents a fully distributed algorithm enabling a group of robots to collectively optimize the parameters of a Neural Radiance Field (NeRF). The algorithm involves the communication of each robot's trained NeRF parameters over a mesh network, where each robot trains its NeRF and has access to its own visual data only. Additionally, the relative poses of all robots are jointly optimized alongside the model parameters, enabling mapping with unknown relative camera poses. We show that multi-robot systems can benefit from differentiable and robust 3D reconstruction optimized from multiple NeRFs. Experiments on real-world and synthetic data demonstrate the efficiency of the proposed algorithm. See the website of the project for videos of the experiments and supplementary material(https://sites.google.com/view/di-nerf/home).


title: Eclipse timing study of new hierarchical triple star candidates in the Northern Continuous Viewing Zone of TESS

abstract: We compiled a list of more than 3500 eclipsing binaries located in and near the Northern Continuous Viewing Zone (NCVZ) of the TESS space telescope that have a sufficient amount of TESS photometry to search for additional hidden components in these systems. We obtained the TESS light curves of all targets in an automated way applying convolution-aided differential photometry on the TESS Full-Frame Images from all available sectors up to Sector 60. Using a new self-developed Python GUI, we visually vetted all of these light curves, determined the eclipsing periods of the objects and calculated their eclipse timing variations (ETVs). The ETV curves were used in order to search for nonlinear variations that could be attributed to a light travel time effect (LTTE) or dynamical perturbations caused by additional components in these systems. We pre-selected 351 such candidates and tried to model their ETVs with the analytic formulae of pure LTTE or the combination of LTTE and dynamical perturbations. In total we could fit a model solution for the ETVs of 135 hierarchical triple candidates in which 10 systems were already known in the literature and the remainder of the 125 systems are new discoveries. Among these systems, there are some more noteworthy ones, such as five tight triples very close to their dynamical stability limit with a period ratio of less than 20 and three newly discovered triply eclipsing triples. We point out that dynamical perturbations are occurring in GZ Dra, which turns out to be a triple. We also made a comparison of the distributions of some orbital parameters coming from our solutions with those from the Kepler sample derived by Borkovits et al. (2016). Finally, we checked the correlations between the available parameters for systems that have Gaia Non-Single Star orbital solutions with those from our ETV solutions. (Abridged)


title: Disformal gravitational waves

abstract: Contrary to conformal transformations, disformal transformations can change the principal null directions of a spacetime geometry. Thus, depending on the frame a gravitational wave (GW) detector minimally couples to, the properties of GWs may change. In this letter, we provide necessary and sufficient conditions which determine whether GWs change under disformal transformations or not. Our argument is coordinate-independent and can be applied to any spacetime geometry at the fully non-linear level. As an example, we show that an exact solution of Einstein-scalar gravity exhibiting only a breathing scalar mode acquires non-linear superposition of the breathing mode and tensorial GWs in the disformed frame. This type of non-linear effect can be completely overlooked in the usual linear perturbation theory.


title: Dynamic Occupancy Grids for Object Detection: A Radar-Centric Approach

abstract: Dynamic Occupancy Grid Mapping is a technique used to generate a local map of the environment containing both static and dynamic information. Typically, these maps are primarily generated using lidar measurements. However, with improvements in radar sensing, resulting in better accuracy and higher resolution, radar is emerging as a viable alternative to lidar as the primary sensor for mapping. In this paper, we propose a radar-centric dynamic occupancy grid mapping algorithm with adaptations to the state computation, inverse sensor model, and field-of-view computation tailored to the specifics of radar measurements. We extensively evaluate our approach using real data to demonstrate its effectiveness and establish the first benchmark for radar-based dynamic occupancy grid mapping using the publicly available Radarscenes dataset.


title: Conformal Inverse Optimization

abstract: Inverse optimization has been increasingly used to estimate unknown parameters in an optimization model based on decision data. We show that such a point estimation is insufficient in a prescriptive setting where the estimated parameters are used to prescribe new decisions. The prescribed decisions may be low-quality and misaligned with human intuition and thus are unlikely to be adopted. To tackle this challenge, we propose conformal inverse optimization, which seeks to learn an uncertainty set for the unknown parameters and then solve a robust optimization model to prescribe new decisions. Under mild assumptions, we show that our method enjoys provable guarantees on solution quality, as evaluated using both the ground-truth parameters and the decision maker's perception of the unknown parameters. Our method demonstrates strong empirical performance compared to classic inverse optimization.


title: Giant DC Residual Current Generated by Subcycle Laser Pulses

abstract: Experimental indications have been reported suggesting that laser pulses shining on materials with relativistic dispersion can produce currents that survive long after the illumination has died out. Such residual currents ('remnants') have applications in petahertz logical gates. The remnants' strength strongly depends on the pulse-shape. We develop an analytical formula that allows to optimize the pulse-shape for remnant production; we predict remnants exceeding the values observed so far by orders of magnitude. In fact, remnants can be almost as strong as the peak current under irradiation.


title: Moving Aggregate Modified Autoregressive Copula-Based Time Series Models (MAGMAR-Copulas) Without Markov Restriction

abstract: Copula-based time series models implicitly assume a finite Markov order. In reality a time series may not follow the Markov property. We modify the copula-based time series models by introducing a moving aggregate (MAG) part into the model updating equation. The functional form of the MAG-part is given as the inverse of a conditional copula. The resulting MAG-modified Autoregressive Copula-Based Time Series model (MAGMAR-Copula) is discussed in detail and distributional properties are derived in a D-vine framework. The model nests the classical ARMA model as well as the copula-based time series model. The modeling performance is compared with the model from \cite{mcneil2022time} modeling US inflation. Our model is competitive in terms of information criteria. It is a generalization of ARMA and also copula-based time series models and is in spirit similar to other moving average time series models such as ARMA and GARCH.


title: FFLV polytopes are string polytopes

abstract: In this paper, we establish that FFLV polytopes, which describe monomial bases compatible with the PBW filtration on finite-dimensional simple modules for $\lie{sl}_n$ and $\lie{sp}_n$, are actually string polytopes as described by Littelmann and Berenstein-Zelevinsky for Demazure modules of higher-rank Lie algebras.


title: Sliced-Wasserstein Estimation with Spherical Harmonics as Control Variates

abstract: The Sliced-Wasserstein (SW) distance between probability measures is defined as the average of the Wasserstein distances resulting for the associated one-dimensional projections. As a consequence, the SW distance can be written as an integral with respect to the uniform measure on the sphere and the Monte Carlo framework can be employed for calculating the SW distance. Spherical harmonics are polynomials on the sphere that form an orthonormal basis of the set of square-integrable functions on the sphere. Putting these two facts together, a new Monte Carlo method, hereby referred to as Spherical Harmonics Control Variates (SHCV), is proposed for approximating the SW distance using spherical harmonics as control variates. The resulting approach is shown to have good theoretical properties, e.g., a no-error property for Gaussian measures under a certain form of linear dependency between the variables. Moreover, an improved rate of convergence, compared to Monte Carlo, is established for general measures. The convergence analysis relies on the Lipschitz property associated to the SW integrand. Several numerical experiments demonstrate the superior performance of SHCV against state-of-the-art methods for SW distance computation.


title: Evaluating UAV Path Planning Algorithms for Realistic Maritime Search and Rescue Missions

abstract: Unmanned Aerial Vehicles (UAVs) are emerging as very important tools in search and rescue (SAR) missions at sea, enabling swift and efficient deployment for locating individuals or vessels in distress. The successful execution of these critical missions heavily relies on effective path planning algorithms that navigate UAVs through complex maritime environments while considering dynamic factors such as water currents and wind flow. Furthermore, they need to account for the uncertainty in search target locations. However, existing path planning methods often fail to address the inherent uncertainty associated with the precise location of search targets and the uncertainty of oceanic forces. In this paper, we develop a framework to develop and investigate trajectory planning algorithms for maritime SAR scenarios employing UAVs. We adopt it to compare multiple planning strategies, some of them used in practical applications by the United States Coast Guard. Furthermore, we propose a novel planner that aims at bridging the gap between computation heavy, precise algorithms and lightweight strategies applicable to real-world scenarios.