title: All-optical control of skyrmion configuration in CrI$_3$ monolayer

abstract: The potential for manipulating characteristics of skyrmions in a CrI$_3$ monolayer using circularly polarised light is explored. The effective skyrmion-light interaction is mediated by bright excitons whose magnetization is selectively influenced by the polarization of photons. The light-induced skyrmion dynamics is illustrated by the dependencies of the skyrmion size and the skyrmion lifetime on the intensity and polarization of the incident light pulse. Two-dimensional magnets hosting excitons thus represent a promising platform for the control of topological magnetic structures by light.


title: Understanding Latent Timescales in Neural Ordinary Differential Equation Models for Advection-Dominated Dynamical Systems

abstract: The neural ordinary differential equation (ODE) framework has shown promise in developing accelerated surrogate models for complex systems described by partial differential equations (PDEs). In PDE-based systems, neural ODE strategies use a two-step approach for acceleration: a nonlinear dimensionality reduction via an autoencoder, and a time integration step through a neural-network based model (neural ODE). This study explores the effectiveness of autoencoder-based neural ODE strategies for advection-dominated PDEs. It includes predictive demonstrations and delves into the sources of model acceleration, focusing on how neural ODEs achieve this. The research quantifies the impact of autoencoder and neural ODE components on system time-scales through eigenvalue analysis of dynamical system Jacobians. It examines how various training parameters, like training methods, latent space dimensionality, and training trajectory length, affect model accuracy and latent time-scales. Particularly, it highlights the influence of training trajectory length on neural ODE time-scales, noting that longer trajectories enhance limiting time-scales, with optimal neural ODEs capturing the largest time-scales of the actual system. The study conducts demonstrations on two distinct unsteady fluid dynamics settings influenced by advection: the Kuramoto-Sivashinsky equations and Hydrogen-Air channel detonations, using the compressible reacting Navier--Stokes equations.


title: Building Trust in Data for IoT Systems

abstract: Nowadays, Internet of Things platforms are being deployed in a wide range of application domains. Some of these include use cases with security requirements, where the data generated by an IoT node is the basis for making safety-critical or liability-critical decisions at system level. The challenge is to develop a solution for data exchange while proving and verifying the authenticity of the data from end-to-end. In line with this objective, this paper proposes a novel solution with the proper protocols to provide Trust in Data, making use of two Roots of Trust that are the IOTA Distributed Ledger Technology and the Trusted Platform Module. The paper presents the design of the proposed solution and discusses the key design aspects and relevant trade-offs. The paper concludes with a Proof-of-Concept implementation and an experimental evaluation to confirm its feasibility and to assess the achievable performance.


title: ROME IV. The Arecibo Search for Substellar Magnetospheric Radio Emissions in Purported Exoplanet-Hosting Systems at 5 GHz

abstract: Plasma flow-obstacle interactions, such as those between an exoplanet's magnetosphere and the host star's stellar wind, may lead to detectable radio emissions. Despite many attempts to detect magnetospheric (auroral) radio emissions from exoplanets, a reproducible, unambiguous detection remains elusive. This fourth paper of the ROME (Radio Observations of Magnetized Exoplanets) series presents the results of a targeted radio survey of nine nearby systems that host exoplanet, brown dwarf, or low-mass-stellar companions conducted with the Arecibo radio telescope at $\sim$5 GHz. This search for magnetospheric radio emissions has the greatest sensitivity ($\sim$1 mJy during $<$1 s integration times) and collected full Stokes parameters over the largest simultaneous bandpass of any survey to date. It is also the first survey to search for radio emission from brown dwarfs of spectral class Y, which may illuminate open questions regarding their magnetism, interior and atmospheric structure, and formation histories. No magnetospheric radio emissions from substellar companions were detected. These results are examined within the context of recent theoretical work on plasma flow-obstacle interactions, and radio emissions observed from the solar system planets and ultracool dwarfs.


title: Policy Space Response Oracles: A Survey

abstract: Game theory provides a mathematical way to study the interaction between multiple decision makers. However, classical game-theoretic analysis is limited in scalability due to the large number of strategies, precluding direct application to more complex scenarios. This survey provides a comprehensive overview of a framework for large games, known as Policy Space Response Oracles (PSRO), which holds promise to improve scalability by focusing attention on sufficient subsets of strategies. We first motivate PSRO and provide historical context. We then focus on the strategy exploration problem for PSRO: the challenge of assembling effective subsets of strategies that still represent the original game well with minimum computational cost. We survey current research directions for enhancing the efficiency of PSRO, and explore the applications of PSRO across various domains. We conclude by discussing open questions and future research.


title: Sharp systolic inequalities for invariant tight contact forms on principal S1-bundles over S2

abstract: The systole of a contact form $\alpha$ is defined as the shortest period of closed Reeb orbits of $\alpha$. Given a non-trivial $\mathbb S^1$-principal bundle over $\mathbb S^2$ with total space $M$, we prove a sharp systolic inequality for the class of tight contact form on $M$ invariant under the $\mathbb S^1$-action. This inequality exhibits a behavior which depends on the Euler class of the bundle in a subtle way. As applications, we prove a sharp systolic inequality for rotationally symmetric Finsler metrics on $\mathbb S^2$, a systolic inequality for the shortest contractible closed Reeb orbit, and a particular case of a conjecture by Viterbo.


title: Dynamical observation of non-trivial doublon formation using a quantum computer

abstract: Dynamical formation of doublons or onsite repulsively bound pairs of particles on a lattice is a highly non-trivial phenomenon. In this work we show the signatures of doublon formation in a quantum computing experiment by simulating the continuous time quantum walk in the framework of the one dimensional extended Fermi-Hubbard model. By considering two up-component and one down-component particles initially created at the three neighbouring sites at the middle of the lattice and allowing intra- (inter-) component nearest neighbour (onsite) interactions we show the formation a stable onsite doublon in the quantum walk. The probability of such doublon formation is more (less) if the hopping strength of the down particle is weaker (stronger) compared to the up particle. On the contrary, for an initial doublon along with a free up particle, the stability of the doublon is more prominent than the doublon dissociation in the dynamics irrespective of the hopping asymmetry between the two components. We first numerically obtain the signatures of the stable doublon formation in the dynamics and then observe them using Noisy Intermediate-Scale Quantum (NISQ) devices.


title: Conformally related vacuum gravitational waves, and their symmetries

abstract: A special conformal transformation which carries a vacuum gravitational wave into another vacuum one is built by using M\"obius-redefined time. It can either transform a globally defined vacuum wave into a vacuum sandwich wave, or carry the gravitational wave into itself. The first type, illustrated by linearly and circularly polarized vacuum plane gravitational waves, permutes the symmetries and the geodesics. Our pp waves with conformal O(2,1) symmetry of the second type, which seem to ahve escaped attention so far, are anisotropic generalizations of the familiar inverse-square profile. An example inspired by molecular physics, for which the particle can escape, or perform periodic motion, or fall into the singularity is studied in detail.


title: CODE-ACCORD: A Corpus of Building Regulatory Data for Rule Generation towards Automatic Compliance Checking

abstract: Automatic Compliance Checking (ACC) within the Architecture, Engineering, and Construction (AEC) sector necessitates automating the interpretation of building regulations to achieve its full potential. However, extracting information from textual rules to convert them to a machine-readable format has been a challenge due to the complexities associated with natural language and the limited resources that can support advanced machine-learning techniques. To address this challenge, we introduce CODE-ACCORD, a unique dataset compiled under the EU Horizon ACCORD project. CODE-ACCORD comprises 862 self-contained sentences extracted from the building regulations of England and Finland. Aligned with our core objective of facilitating information extraction from text for machine-readable rule generation, each sentence was annotated with entities and relations. Entities represent specific components such as "window" and "smoke detectors", while relations denote semantic associations between these entities, collectively capturing the conveyed ideas in natural language. We manually annotated all the sentences using a group of 12 annotators. Each sentence underwent annotations by multiple annotators and subsequently careful data curation to finalise annotations, ensuring their accuracy and reliability, thereby establishing the dataset as a solid ground truth. CODE-ACCORD offers a rich resource for diverse machine learning and natural language processing (NLP) related tasks in ACC, including text classification, entity recognition and relation extraction. To the best of our knowledge, this is the first entity and relation-annotated dataset in compliance checking, which is also publicly available.


title: Comprehensive evaluation of Mal-API-2019 dataset by machine learning in malware detection

abstract: This study conducts a thorough examination of malware detection using machine learning techniques, focusing on the evaluation of various classification models using the Mal-API-2019 dataset. The aim is to advance cybersecurity capabilities by identifying and mitigating threats more effectively. Both ensemble and non-ensemble machine learning methods, such as Random Forest, XGBoost, K Nearest Neighbor (KNN), and Neural Networks, are explored. Special emphasis is placed on the importance of data pre-processing techniques, particularly TF-IDF representation and Principal Component Analysis, in improving model performance. Results indicate that ensemble methods, particularly Random Forest and XGBoost, exhibit superior accuracy, precision, and recall compared to others, highlighting their effectiveness in malware detection. The paper also discusses limitations and potential future directions, emphasizing the need for continuous adaptation to address the evolving nature of malware. This research contributes to ongoing discussions in cybersecurity and provides practical insights for developing more robust malware detection systems in the digital era.


title: How Transformers Learn Diverse Attention Correlations in Masked Vision Pretraining

abstract: Masked reconstruction, which predicts randomly masked patches from unmasked ones, has emerged as an important approach in self-supervised pretraining. However, the theoretical understanding of masked pretraining is rather limited, especially for the foundational architecture of transformers. In this paper, to the best of our knowledge, we provide the first end-to-end theoretical guarantee of learning one-layer transformers in masked reconstruction self-supervised pretraining. On the conceptual side, we posit a mechanism of how transformers trained with masked vision pretraining objectives produce empirically observed local and diverse attention patterns, on data distributions with spatial structures that highlight feature-position correlations. On the technical side, our end-to-end characterization of training dynamics in softmax-attention models simultaneously accounts for input and position embeddings, which is developed based on a careful analysis tracking the interplay between feature-wise and position-wise attention correlations.


title: 3DTopia: Large Text-to-3D Generation Model with Hybrid Diffusion Priors

abstract: We present a two-stage text-to-3D generation system, namely 3DTopia, which generates high-quality general 3D assets within 5 minutes using hybrid diffusion priors. The first stage samples from a 3D diffusion prior directly learned from 3D data. Specifically, it is powered by a text-conditioned tri-plane latent diffusion model, which quickly generates coarse 3D samples for fast prototyping. The second stage utilizes 2D diffusion priors to further refine the texture of coarse 3D models from the first stage. The refinement consists of both latent and pixel space optimization for high-quality texture generation. To facilitate the training of the proposed system, we clean and caption the largest open-source 3D dataset, Objaverse, by combining the power of vision language models and large language models. Experiment results are reported qualitatively and quantitatively to show the performance of the proposed system. Our codes and models are available at https://github.com/3DTopia/3DTopia


title: Structure from WiFi (SfW): RSSI-based Geometric Mapping of Indoor Environments

abstract: With the rising prominence of WiFi in common spaces, efforts have been made in the robotics community to take advantage of this fact by incorporating WiFi signal measurements in indoor SLAM (Simultaneous Localization and Mapping) systems. SLAM is essential in a wide range of applications, especially in the control of autonomous robots. This paper describes recent work in the development of WiFi-based localization and addresses the challenges currently faced in achieving WiFi-based geometric mapping. Inspired by the field of research into k-visibility, this paper presents the concept of inverse k-visibility and proposes a novel algorithm that allows robots to build a map of the free space of an unknown environment, essential for planning, navigation, and avoiding obstacles. Experiments performed in simulated and real-world environments demonstrate the effectiveness of the proposed algorithm.


title: Interpretable Models for Detecting and Monitoring Elevated Intracranial Pressure

abstract: Detecting elevated intracranial pressure (ICP) is crucial in diagnosing and managing various neurological conditions. These fluctuations in pressure are transmitted to the optic nerve sheath (ONS), resulting in changes to its diameter, which can then be detected using ultrasound imaging devices. However, interpreting sonographic images of the ONS can be challenging. In this work, we propose two systems that actively monitor the ONS diameter throughout an ultrasound video and make a final prediction as to whether ICP is elevated. To construct our systems, we leverage subject matter expert (SME) guidance, structuring our processing pipeline according to their collection procedure, while also prioritizing interpretability and computational efficiency. We conduct a number of experiments, demonstrating that our proposed systems are able to outperform various baselines. One of our SMEs then manually validates our top system's performance, lending further credibility to our approach while demonstrating its potential utility in a clinical setting.


title: Analytic continuations and numerical evaluation of the Appell $F_1$, $F_3$, Lauricella $F_D^{(3)}$ and Lauricella-Saran $F_S^{(3)}$ and their Application to Feynman Integrals

abstract: We present our investigation of the study of two variable hypergeometric series, namely Appell $F_{1}$ and $F_{3}$ series, and obtain a comprehensive list of its analytic continuations enough to cover the whole real $(x,y)$ plane, except on their singular loci. We also derive analytic continuations of their 3-variable generalization, the Lauricella $F_{D}^{(3)}$ series and the Lauricella-Saran $F_{S}^{(3)}$ series, leveraging the analytic continuations of $F_{1}$ and $F_{3}$, which ensures that the whole real $(x,y,z)$ space is covered, except on the singular loci of these functions. While these studies are motivated by the frequent occurrence of these multivariable hypergeometric functions in Feynman integral evaluation, they can also be used whenever they appear in other branches of mathematical physics. To facilitate their practical use, we provide four packages: $\texttt{AppellF1.wl}$, $\texttt{AppellF3.wl}$, $\texttt{LauricellaFD.wl}$, and $\texttt{LauricellaSaranFS.wl}$ in $\textit{MATHEMATICA}$. These packages are applicable for generic as well as non-generic values of parameters, keeping in mind their utilities in the evaluation of the Feynman integrals. We explicitly present various physical applications of these packages in the context of Feynman integral evaluation and compare the results using other means as well. Various $\textit{MATHEMATICA}$ notebooks demonstrating different numerical results are also provided along with this paper.


title: Towards Intent-Based Network Management: Large Language Models for Intent Extraction in 5G Core Networks

abstract: The integration of Machine Learning and Artificial Intelligence (ML/AI) into fifth-generation (5G) networks has made evident the limitations of network intelligence with ever-increasing, strenuous requirements for current and next-generation devices. This transition to ubiquitous intelligence demands high connectivity, synchronicity, and end-to-end communication between users and network operators, and will pave the way towards full network automation without human intervention. Intent-based networking is a key factor in the reduction of human actions, roles, and responsibilities while shifting towards novel extraction and interpretation of automated network management. This paper presents the development of a custom Large Language Model (LLM) for 5G and next-generation intent-based networking and provides insights into future LLM developments and integrations to realize end-to-end intent-based networking for fully automated network intelligence.


title: BSN: Photometric Light Curve Analysis of Two Contact Binary Systems LS Del and V997 Cyg

abstract: The light curve analyses and orbital period variations for two contact binary stars, LS Del and V997 Cyg, were presented in this work which was conducted in the frame of the Binary Systems of South and North (BSN) Project. Ground-based photometric observations were performed at two observatories in France. We used the TESS (Transiting Exoplanet Survey Satellite) data for extracting times of minima and light curve analysis of the target systems. The O-C diagram for both systems displays a parabolic trend. LS Del and V997 Cyg's orbital periods are increasing at a rate of dP/dt= 7.20*10^{-08} d yr^{-1} and dP/dt= 2.54*10^{-08} d yr^{-1}, respectively. Therefore, it can be concluded that the mass is being transferred from the less massive star to the more massive component with a rate of dM/dt= -1.96*10^{-7} M_Sun yr^{-1} for the LS Del system, and dM/dt= -3.83*10^{-7} M_Sun yr^{-1} for V997 Cyg. The parameters of the third possible object in the system were also considered. The PHysics Of Eclipsing BinariEs (PHOEBE) Python code was used to analyze the light curves. The light curve solutions needed a cold starspot due to the asymmetry in the LS Del system's light curve maxima. The mass ratio, fill-out factor, and star temperature all indicate that both systems are contact binary types in this investigation. Two methods were used to estimate the absolute parameters of the systems: one method used the parallax of Gaia DR3, and the other used a P-M relationship. The positions of the systems were also depicted on the M-L, M-R, q-L_{ratio}, and logM_{tot}-logJ_0 diagrams. We recommended that further observations and investigations be done on the existence of the fourth body in this system.


title: Quantum Computing: Vision and Challenges

abstract: The recent development of quantum computing, which uses entanglement, superposition, and other quantum fundamental concepts, can provide substantial processing advantages over traditional computing. These quantum features help solve many complex problems that cannot be solved with conventional computing methods. These problems include modeling quantum mechanics, logistics, chemical-based advances, drug design, statistical science, sustainable energy, banking, reliable communication, and quantum chemical engineering. The last few years have witnessed remarkable advancements in quantum software and algorithm creation and quantum hardware research, which has significantly advanced the prospect of realizing quantum computers. It would be helpful to have comprehensive literature research on this area to grasp the current status and find outstanding problems that require considerable attention from the research community working in the quantum computing industry. To better understand quantum computing, this paper examines the foundations and vision based on current research in this area. We discuss cutting-edge developments in quantum computer hardware advancement and subsequent advances in quantum cryptography, quantum software, and high-scalability quantum computers. Many potential challenges and exciting new trends for quantum technology research and development are highlighted in this paper for a broader debate.


title: Neural Redshift: Random Networks are not Random Functions

abstract: Our understanding of the generalization capabilities of neural networks (NNs) is still incomplete. Prevailing explanations are based on implicit biases of gradient descent (GD) but they cannot account for the capabilities of models from gradient-free methods nor the simplicity bias recently observed in untrained networks. This paper seeks other sources of generalization in NNs. Findings. To understand the inductive biases provided by architectures independently from GD, we examine untrained, random-weight networks. Even simple MLPs show strong inductive biases: uniform sampling in weight space yields a very biased distribution of functions in terms of complexity. But unlike common wisdom, NNs do not have an inherent "simplicity bias". This property depends on components such as ReLUs, residual connections, and layer normalizations. Alternative architectures can be built with a bias for any level of complexity. Transformers also inherit all these properties from their building blocks. Implications. We provide a fresh explanation for the success of deep learning independent from gradient-based training. It points at promising avenues for controlling the solutions implemented by trained models.


title: Partial Alternating Sign Matrix Bijections and Dynamics

abstract: We investigate analogues of alternating sign matrices, called partial alternating sign matrices. We prove bijections between these matrices and several other combinatorial objects. We use an analogue of Wieland's gyration on fully-packed loops, which we relate to the study of toggles and order ideals. Finally, we show that rowmotion on order ideals of a certain poset and gyration on partial fully-packed loop configurations are in equivariant bijection.


title: Better Schedules for Low Precision Training of Deep Neural Networks

abstract: Low precision training can significantly reduce the computational overhead of training deep neural networks (DNNs). Though many such techniques exist, cyclic precision training (CPT), which dynamically adjusts precision throughout training according to a cyclic schedule, achieves particularly impressive improvements in training efficiency, while actually improving DNN performance. Existing CPT implementations take common learning rate schedules (e.g., cyclical cosine schedules) and use them for low precision training without adequate comparisons to alternative scheduling options. We define a diverse suite of CPT schedules and analyze their performance across a variety of DNN training regimes, some of which are unexplored in the low precision training literature (e.g., node classification with graph neural networks). From these experiments, we discover alternative CPT schedules that offer further improvements in training efficiency and model performance, as well as derive a set of best practices for choosing CPT schedules. Going further, we find that a correlation exists between model performance and training cost, and that changing the underlying CPT schedule can control the tradeoff between these two variables. To explain the direct correlation between model performance and training cost, we draw a connection between quantized training and critical learning periods, suggesting that aggressive quantization is a form of learning impairment that can permanently damage model performance.


title: Towards atmospheric retrievals of panchromatic light-curves: ExPLOR-ing generalized inversion techniques for transiting exoplanets with JWST and Ariel

abstract: Conventional atmospheric retrieval codes are designed to extract information, such as chemical abundances, thermal structures and cloud properties, from fully "reduced" spectra obtained during transit or eclipse. Reduced spectra, however, are assembled by fitting a series of simplified light-curves to time series observations, wavelength-by-wavelength. Thus, spectra are a post-processed summary statistics of the original data, which by definition does not encode all the available information (i.e., astrophysical signal, model covariance, instrumental noise). Here, we explore an alternative inversion strategy where the atmospheric retrieval is performed on the light-curve directly -- i.e., closer to the data. This method is implemented in ExPLOR (EXoplanet Panchromatic Light-curve Observation and Retrieval), a novel atmospheric retrieval code inheriting from the TauREx project. By explicitly considering time in the model, ExPLOR naturally handles transit, eclipse, phase-curve and other complex geometries for transiting exoplanets. In this paper, we have validated this new technique by inverting simulated panchromatic light-curves. The model was tested on realistic simulations of a WASP-43b like exoplanet as observed with the James Webb Space Telescope (JWST) and Ariel telescope. By comparing our panchromatic light-curve approach against conventional spectral retrievals on mock scenarios, we have identified key breaking points in information and noise propagation when employing past literature techniques. Throughout the paper, we discuss the importance of developing "closer-to-data" approaches such as the method presented in this work, and highlight the inevitable increase in model complexity and computing requirements associated with the recent JWST revolution.


title: Dynamic programming principle in cost-efficient sequential design: application to switching measurements

abstract: We study sequential cost-efficient design in a situation where each update of covariates involves a fixed time cost typically considerable compared to a single measurement time. The problem arises from parameter estimation in switching measurements on superconducting Josephson junctions which are components needed in quantum computers and other superconducting electronics. In switching measurements, a sequence of current pulses is applied to the junction and a binary voltage response is observed. The measurement requires a very low temperature that can be kept stable only for a relatively short time, and therefore it is essential to use an efficient design. We use the dynamic programming principle from the mathematical theory of optimal control to solve the optimal update times. Our simulations demonstrate the cost-efficiency compared to the previously used methods.


title: PHAnToM: Personality Has An Effect on Theory-of-Mind Reasoning in Large Language Models

abstract: Recent advances in large language models (LLMs) demonstrate that their capabilities are comparable, or even superior, to humans in many tasks in natural language processing. Despite this progress, LLMs are still inadequate at social-cognitive reasoning, which humans are naturally good at. Drawing inspiration from psychological research on the links between certain personality traits and Theory-of-Mind (ToM) reasoning, and from prompt engineering research on the hyper-sensitivity of prompts in affecting LLMs capabilities, this study investigates how inducing personalities in LLMs using prompts affects their ToM reasoning capabilities. Our findings show that certain induced personalities can significantly affect the LLMs' reasoning capabilities in three different ToM tasks. In particular, traits from the Dark Triad have a larger variable effect on LLMs like GPT-3.5, Llama 2, and Mistral across the different ToM tasks. We find that LLMs that exhibit a higher variance across personality prompts in ToM also tends to be more controllable in personality tests: personality traits in LLMs like GPT-3.5, Llama 2 and Mistral can be controllably adjusted through our personality prompts. In today's landscape where role-play is a common strategy when using LLMs, our research highlights the need for caution, as models that adopt specific personas with personalities potentially also alter their reasoning abilities in an unexpected manner.


title: Birbal: An efficient 7B instruct-model fine-tuned with curated datasets

abstract: LLMOps incur significant costs due to hardware requirements, hindering their widespread accessibility. Additionally, a lack of transparency in model training methods and data contributes to the majority of models being non-reproducible. To tackle these challenges, the LLM Efficiency Challenge was introduced at NeurIPS Workshop, aiming to adapt foundation models on a diverse set of tasks via fine-tuning on a single GPU (RTX 4090 or A100 with 40GB) within a 24-hour timeframe. In this system description paper, we introduce Birbal, our Mistral-7B based winning model, fine-tuned on a single RTX 4090 for 16 hours. Birbal's success lies in curating high-quality instructions covering diverse tasks, resulting in a 35% performance improvement over second-best Qwen-14B based submission.


title: Electrical Control of Exciton-Polariton Condensate Josephson Junctions

abstract: We propose the electrical control of a device probing the Josephson effect in exciton-polariton (EP) condensates, which can be switched between various dynamical modes. We model the device by a four-component Gross-Pitaevskii equation assuming that ideal EP condensates are established with well-balanced pumping and dissipation. All the model parameters are calculated microscopically. In particular, we obtain the polariton tunneling strength across the junction as a second-order process of electron-hole pair tunneling. We find that the EP condensates can be manipulated through distinctive degrees of freedom not present in other coherent quantum systems, and the dynamics of EP Josephson junctions are far richer than that of the conventional superconducting junctions.


title: Non-autoregressive Sequence-to-Sequence Vision-Language Models

abstract: Sequence-to-sequence vision-language models are showing promise, but their applicability is limited by their inference latency due to their autoregressive way of generating predictions. We propose a parallel decoding sequence-to-sequence vision-language model, trained with a Query-CTC loss, that marginalizes over multiple inference paths in the decoder. This allows us to model the joint distribution of tokens, rather than restricting to conditional distribution as in an autoregressive model. The resulting model, NARVL, achieves performance on-par with its state-of-the-art autoregressive counterpart, but is faster at inference time, reducing from the linear complexity associated with the sequential generation of tokens to a paradigm of constant time joint inference.


title: Direct Imaging of Magnetohydrodynamic Wave Mode Conversion Near a 3D Null Point on the Sun

abstract: Mutual conversion of various kinds of magnetohydrodynamic (MHD) waves can have profound impacts on wave propagation, energy transfer, and heating of the solar chromosphere and corona. Mode conversion occurs when an MHD wave travels through a region where the Alfv\'en and sound speeds are equal (e.g., a 3D magnetic null point). Here we report the first EUV imaging of mode conversion from a fast-mode to a slow-mode MHD wave near a 3D null point using Solar Dynamics Observatory/Atmospheric Imaging Assembly (SDO/AIA) observations. An incident fast EUV wavefront associated with an adjacent eruptive flare propagates laterally through a neighboring pseudostreamer. Shortly after the passage of the fast EUV wave through the null point, a slow-mode wave appears near the null that propagates upward along the open structures and simultaneously downward along the separatrix encompassing the fan loops of the pseudostreamer base. These observations suggest the existence of mode conversion near 3D nulls in the solar corona, as predicted by theory and MHD simulations. Moreover, we observe decaying transverse oscillations in both the open and closed structures of the pseudostreamer, along with quasiperiodic type III radio bursts indicative of repetitive episodes of electron acceleration.


title: A prediction rigidity formalism for low-cost uncertainties in trained neural networks

abstract: Regression methods are fundamental for scientific and technological applications. However, fitted models can be highly unreliable outside of their training domain, and hence the quantification of their uncertainty is crucial in many of their applications. Based on the solution of a constrained optimization problem, we propose "prediction rigidities" as a method to obtain uncertainties of arbitrary pre-trained regressors. We establish a strong connection between our framework and Bayesian inference, and we develop a last-layer approximation that allows the new method to be applied to neural networks. This extension affords cheap uncertainties without any modification to the neural network itself or its training procedure. We show the effectiveness of our method on a wide range of regression tasks, ranging from simple toy models to applications in chemistry and meteorology.


title: Closed-form solutions for Bernoulli and compound Poisson branching processes in random environments

abstract: For branching processes, the generating functions for limit distributions of so-called ratios of probabilities of rare events satisfy the Schr\"oder-type integral-functional equations. Excepting limited special cases, the corresponding equations can not be solved analytically. I found a large class of Poisson-type offspring distributions, for which the Schr\"oder-type functional equations can be solved analytically. Moreover, for the asymptotics of limit distributions, the power and constant factor can be written explicitly. As a bonus, Bernoulli branching processes in random environments are treated. The beauty of this example is that the explicit formula for the generating function is unknown. Still, the closed-form expression for the power and constant factor in the asymptotic can be written with the help of some outstanding tricks. Also, the magic power $3$ in the Bernoulli binomial kernels, at which short-phase discrete oscillations turn into long-phase continuous ones.


title: KnowPhish: Large Language Models Meet Multimodal Knowledge Graphs for Enhancing Reference-Based Phishing Detection

abstract: Phishing attacks have inflicted substantial losses on individuals and businesses alike, necessitating the development of robust and efficient automated phishing detection approaches. Reference-based phishing detectors (RBPDs), which compare the logos on a target webpage to a known set of logos, have emerged as the state-of-the-art approach. However, a major limitation of existing RBPDs is that they rely on a manually constructed brand knowledge base, making it infeasible to scale to a large number of brands, which results in false negative errors due to the insufficient brand coverage of the knowledge base. To address this issue, we propose an automated knowledge collection pipeline, using which we collect a large-scale multimodal brand knowledge base, KnowPhish, containing 20k brands with rich information about each brand. KnowPhish can be used to boost the performance of existing RBPDs in a plug-and-play manner. A second limitation of existing RBPDs is that they solely rely on the image modality, ignoring useful textual information present in the webpage HTML. To utilize this textual information, we propose a Large Language Model (LLM)-based approach to extract brand information of webpages from text. Our resulting multimodal phishing detection approach, KnowPhish Detector (KPD), can detect phishing webpages with or without logos. We evaluate KnowPhish and KPD on a manually validated dataset, and a field study under Singapore's local context, showing substantial improvements in effectiveness and efficiency compared to state-of-the-art baselines.


title: Probabilistic Fault-Tolerant Robust Traffic Grooming in OTN-over-DWDM Networks

abstract: The development of next-generation networks is revolutionizing network operators' management and orchestration practices worldwide. The critical services supported by these networks require increasingly stringent performance requirements, especially when considering the aspect of network reliability. This increase in reliability, coupled with the mass generation and consumption of information stemming from the increasing complexity of the network and the integration of artificial intelligence agents, affects transport networks, which will be required to allow the feasibility of such services to materialize. To this end, traditional recovery schemes are inadequate to ensure the resilience requirements of next-generation critical services given the increasingly dynamic nature of the network. The work presented in this paper proposes a probabilistic and fault-tolerant robust traffic grooming model for OTN-over-DWDM networks. The model's parameterization gives network operators the ability to control the level of protection and reliability required to meet their quality of service and service level agreement guarantees. The results demonstrate that the robust solution can ensure fault tolerance even in the face of demand uncertainty without service disruptions and the need for reactive network maintenance.


title: Astronomy in Colombia: a bibliometric perspective

abstract: In Colombia, astronomical research is experiencing accelerated growth. In order to better understand its evolution and current state, we conducted a bibliometric study using data from the Astrophysics Data System (ADS) and Web of Science (WoS). In ADS, we identified 422 peer-reviewed publications from 1980, the year of the first publication, until 2023, which was the cutoff date for our study. Among the 25 Colombian institutions identified as participants in at least one publication, the contributions of four universities stand out: Universidad de los Andes, Universidad Nacional de Colombia, Universidad Industrial de Santander, and Universidad de Antioquia, with 104, 78, 68, and 67 publications, respectively. By cross-referencing information from ADS and WoS, we found that the areas with the greatest impact in publications are threefold: high-energy and fundamental physics, stars and stellar physics, and galaxies and cosmology. Globally, according to WoS, Colombia ranks 52nd in the number of peer-reviewed publications between 2019 and 2023, and fifth in Latin America. Additionally, we identified three highly cited publications (top 1% worldwide) belonging to the field of observational cosmology. When analyzing countries with equal or greater bibliographic production, we estimate that Colombian production is approximately four times lower than expected considering its population and GDP.


title: Incompatibility of fine-structure constant variations at recombination with local observations

abstract: Some attempts of easing the critical Hubble tension present in modern cosmology have resorted to using variations of fundamental constants, such as the fine-structure constant, at the time of recombination. In this article we demonstrate that there are critical hurdles to construct such viable models using scalar fields, due to the striking precision of local constraints on the fine-structure constant stability. These hurdles demonstrate that in single-field models one has to extremely fine-tune the shape of the potential and/or the initial conditions. Indeed, for single field models in a potential that is not fine-tuned we can put a generic bound at recombination of $\Delta \alpha/\alpha < 5\cdot 10^{-4}$ (95\% CL).


title: Conditionally strong solution for macroscopic polymeric SSS interaction

abstract: The system under study is a solute-solvent-structure (SSS) interaction problem for the interaction of a dilute three-dimensional Oldroyd-B polymeric fluid with a two-dimensional viscoelastic shell. We show that a unique global strong solution to this system exists under the condition that the classical Ladyzhenskaya--Prodi--Serrin criterion holds for the velocity field and that the shell displacement is essentially bounded in time with values in the space of continuously differentiable functions. No requirement is needed for the polymer number density and the extra stress tensor for the solute component.


title: Atacama Large Aperture Submillimeter Telescope (AtLAST) Science: Planetary and Cometary Atmospheres

abstract: The study of planets and small bodies within our Solar System is fundamental for understanding the formation and evolution the Earth and other planets. Compositional and meteorological studies of the giant planets provide a foundation for understanding the nature of the most commonly observed exoplanets, while spectroscopic observations of the atmospheres of terrestrial planets, moons, and comets provide insights into the past and present-day habitability of planetary environments, and the availability of the chemical ingredients for life. While prior and existing (sub)millimeter observations have led to major advances in these areas, progress is hindered by limitations in the dynamic range, spatial and temporal coverage, as well as sensitivity of existing telescopes and interferometers. Here, we summarize some of the key planetary science use cases that factor into the design of the Atacama Large Aperture Submillimeter Telescope (AtLAST), a proposed 50-m class single dish facility: (1) to more fully characterize planetary wind fields and atmospheric thermal structures, (2) to measure the compositions of icy moon atmospheres and plumes, (3) to obtain detections of new, astrobiologically relevant gases and perform isotopic surveys of comets, and (4) to perform synergistic, temporally-resolved measurements in support of dedicated interplanetary space missions. The improved spatial coverage (several arcminutes), resolution ($\sim1.2''-12''$), bandwidth (several tens of GHz), dynamic range ($\sim10^5$) and sensitivity ($\sim1$ mK km s$^{-1}$) required by these science cases would enable new insights into the chemistry and physics of planetary environments, the origins of prebiotic molecules and the habitability of planetary systems in general.


title: Human-AI Collaboration Increases Skill Tagging Speed but Degrades Accuracy

abstract: AI approaches are progressing besting humans at game-related tasks (e.g. chess). The next stage is expected to be Human-AI collaboration; however, the research on this subject has been mixed and is in need of additional data points. We add to this nascent literature by studying Human-AI collaboration on a common administrative educational task. Education is a special domain in its relation to AI and has been slow to adopt AI approaches in practice, concerned with the educational enterprise losing its humanistic touch and because standard of quality is demanded because of the impact on a person's career and developmental trajectory. In this study (N = 22), we design an experiment to explore the effect of Human-AI collaboration on the task of tagging educational content with skills from the US common core taxonomy. Our results show that the experiment group (with AI recommendations) saved around 50% time (p < 0.01) in the execution of their tagging task but at the sacrifice of 7.7% recall (p = 0.267) and 35% accuracy (p= 0.1170) compared with the non-AI involved control group, placing the AI+human group in between the AI alone (lowest performance) and the human alone (highest performance). We further analyze log data from this AI collaboration experiment to explore under what circumstances humans still exercised their discernment when receiving recommendations. Finally, we outline how this study can assist in implementing AI tools, like ChatGPT, in education.


title: Latitude-dependent Atmospheric Waves and Long-period Modulations in Luhman 16 B from the Longest Lightcurve of an Extrasolar World

abstract: In this work, we present the longest photometric monitoring of up to 1200 hours of the strongly variable brown-dwarf binaries Luhman 16 AB and provide evidence of $\pm$5% variability on a timescale of several-to-hundreds of hours for this object. We show that short-period rotational modulation around 5 hours (k = 1 wavenumber) and 2.5 hours (k = 2 wavenumber) dominate the variability under 10 hours, where the planetary-scale waves model composed of k = 1 and k = 2 waves provides good fits to both the periodogram and light curve. In particular, models consisting of three to four sine waves could explain the variability of light curve durations up to 100 hours. We show that the relative range of k = 2 periods is narrower compared to k = 1 period. Using simple models of zonal banding in Solar System giants, we suggest that the difference in period range arises from the difference in windspeed distribution at low and mid-to-high latitudes in the atmosphere. Lastly, we show that Luhman 16 AB also exhibits long-period $\pm$5% variability with periods ranging from 15 hours up to 100 hours over the longest monitoring of this object. Our results on k = 1 and k = 2 waves and long-period evolution are consistent with previous 3D atmosphere simulations, demonstrating that both latitude-dependent waves and slow-varying atmospheric features are potentially present in Luhman 16 AB atmospheres and are significant contribution to the light curve modulation over hundreds of rotations.


title: Constraining Cosmological Parameters with Needlet Internal Linear Combination Maps I: Analytic Power Spectrum Formalism

abstract: The internal linear combination (ILC) method is a popular approach for constructing component-separated maps in cosmic microwave background (CMB) analyses. It optimally combines observed maps at different frequencies to produce an unbiased minimum-variance map of a component. When performed in harmonic space, it is straightforward to analytically compute the contributions of individual sky components to the power spectrum of the resulting ILC map. ILC can also be performed on a basis of needlets, spherical wavelets that have compact support in both pixel and harmonic space, capturing both scale-dependent and spatially varying information. However, an analytic understanding of the power spectra of needlet ILC (NILC) component-separated maps, as needed to enable their use in cosmological parameter inference, has remained an outstanding problem. In this paper, we derive the first analytic expression for the power spectra of NILC maps, as well as an expression for the cross-spectrum of a NILC map with an arbitrary second map, in terms of contributions from individual sky components. We validate our result using simulations, finding that it is exact. These results contain useful insights: we explicitly see how NILC power spectra contain information from contaminant fields beyond the two-point level, and we obtain a formalism with which to parameterize NILC power spectra. However, because this parameter dependence is complicated by correlations and higher-point functions of the component maps and weight maps, we find that it is intractable to perform parameter inference using these analytic expressions. Instead, numerical techniques are needed to estimate parameters using NILC maps -- we explore the use of likelihood-free inference with neural posterior estimation in a companion paper. Our code to produce the results in this paper is available in https://github.com/kmsurrao/NILC-PS-Model.


title: Dynamics of the collision of two nearly equal solitary waves for the Zakharov-Kuznetsov equation

abstract: We study the dynamics of the collision of two solitary waves for the Zakharov-Kuznetsov equation in dimension $2$ and $3$. We describe the evolution of the solution behaving as a sum of $2$-solitary waves of nearly equal speeds at time $t=-\infty$ up to time $t=+\infty$. We show that this solution behaves as the sum of two modulated solitary waves and an error term which is small in $H^1$ for all time $t \in \mathbb R$. Finally, we also prove the stability of this solution for large times around the collision. The proofs are a non-trivial extension of the ones of Martel and Merle for the quartic generalized Korteweg-de Vries equation to higher dimensions. First, despite the non-explicit nature of the solitary wave, we construct an approximate solution in an intrinsic way by canceling the error to the equation only in the natural directions of scaling and translation. Then, to control the difference between a solution and the approximate solution, we use a modified energy functional and a refined modulation estimate in the transverse variable. Moreover, we rely on the hamiltonian structure of the ODE governing the distance between the waves, which cannot be approximated by explicit solutions, to close the bootstrap estimates on the parameters. We hope that the techniques introduced here are robust and will prove useful in studying the collision phenomena for other focusing non-linear dispersive equations with non-explicit solitary waves.


title: The $U$-Matrix geometrical model for multi-particle production in high-energy hadronic collisions

abstract: Inspired by the picture portraying the KNO scaling violation as an extension of the geometrical scaling violation, the current study proposes a phenomenological model for multi-particle production in hadron collisions based on the geometrical approach and using the $U$-Matrix unitarization scheme of the scattering amplitude. The model has been fine-tuned and all parameters have been derived from optimal fits to various hadronic multiplicity distributions data in $p + p(\bar{p})$ collisions across a broad range of energies. The results have revealed that our model furnishes a reasonable description of diverse multiplicity distributions at various energies. Besides, they have demonstrated a pronounced violation of the geometrical scaling, which eventually resulted in a significant violation of the KNO scaling. The study has also analyzed the higher-order moments of the multiplicity distribution. We have observed an unexpected overestimation of the fluctuations and correlations between final state particles with increasing energy, particularly above LHC energy. It is claimed that this overestimation is due to statistical fluctuations embedded in the $U$-matrix scheme. The findings of this study have shed light on the key role of the $U$-matrix scheme in the impact of collision geometry on multi-particle production processes at high energy.


title: Influence of catastrophes and hidden dynamical symmetries on ultrafast backscattered photoelectrons

abstract: We discuss the effect of using potentials with a Coulomb tail and different degrees of softening in the photoelectron momentum distributions (PMDs) using the recently implemented hybrid forward-boundary CQSFA (H-CQSFA). We show that introducing a softening in the Coulomb interaction influences the ridges observed in the PMDs associated with backscattered electron trajectories. In the limit of a hard-core Coulomb interaction, the re-scattering ridges close along the polarization axis, while for a soft-core potential, they are interrupted at ridge-specific angles. We analyze the momentum mapping of the different orbits leading to the ridges. For the hard-core potential, there exist two types of saddle-point solutions that coalesce at the ridge. By increasing the softening, we show that two additional solutions emerge as the result of breaking a hidden dynamical symmetry associated exclusively with the Coulomb potential. Further signatures of this symmetry breaking are encountered in subsets of momentum-space trajectories. Finally, we use scattering theory to show how the softening affects the maximal scattering angle and provide estimates that agree with our observations from the CQSFA. This implies that, in the presence of residual binding potentials in the electron's continuum propagation, the distinction between purely kinematic and dynamic caustics becomes blurred.


title: DaReNeRF: Direction-aware Representation for Dynamic Scenes

abstract: Addressing the intricate challenge of modeling and re-rendering dynamic scenes, most recent approaches have sought to simplify these complexities using plane-based explicit representations, overcoming the slow training time issues associated with methods like Neural Radiance Fields (NeRF) and implicit representations. However, the straightforward decomposition of 4D dynamic scenes into multiple 2D plane-based representations proves insufficient for re-rendering high-fidelity scenes with complex motions. In response, we present a novel direction-aware representation (DaRe) approach that captures scene dynamics from six different directions. This learned representation undergoes an inverse dual-tree complex wavelet transformation (DTCWT) to recover plane-based information. DaReNeRF computes features for each space-time point by fusing vectors from these recovered planes. Combining DaReNeRF with a tiny MLP for color regression and leveraging volume rendering in training yield state-of-the-art performance in novel view synthesis for complex dynamic scenes. Notably, to address redundancy introduced by the six real and six imaginary direction-aware wavelet coefficients, we introduce a trainable masking approach, mitigating storage issues without significant performance decline. Moreover, DaReNeRF maintains a 2x reduction in training time compared to prior art while delivering superior performance.


title: Majorana fermions in Kitaev chains side-coupled to normal metals

abstract: Majorana fermions, exotic particles with potential applications in quantum computing, have garnered significant interest in condensed matter physics. The Kitaev model serves as a fundamental framework for investigating the emergence of Majorana fermions in one-dimensional systems. We explore the intriguing question of whether Majorana fermions can arise in a normal metal (NM) side-coupled to a Kitaev chain (KC) in the topologically trivial phase. Our findings reveal affirmative evidence, further demonstrating that the KC, when in the topological phase, can induce additional Majorana fermions in the neighboring NM region. Through extensive parameter analysis, we uncover the potential for zero, one, or two pairs of Majorana fermions in a KC side-coupled to an NM. Additionally, we investigate the impact of magnetic flux on the system and calculate the winding number -a topological invariant used to characterize topological phases.


title: Towards a SM prediction for CP violation in charm

abstract: We provide an overview of the current experimental and theoretical status of charm CP violation and discuss recent progress in obtaining a Standard Model prediction for $\Delta a_{\rm CP}^{\rm dir}$ using the framework of light-cone sum rules. Furthermore, we present new results for the ratios of the direct CP asymmetries and of the branching fractions for the modes $D^0 \to \pi^+ \pi^-$ and $D^0 \to K^+ K^-$.


title: Subjective $\textit{Isms}$? On the Danger of Conflating Hate and Offence in Abusive Language Detection

abstract: Natural language processing research has begun to embrace the notion of annotator subjectivity, motivated by variations in labelling. This approach understands each annotator's view as valid, which can be highly suitable for tasks that embed subjectivity, e.g., sentiment analysis. However, this construction may be inappropriate for tasks such as hate speech detection, as it affords equal validity to all positions on e.g., sexism or racism. We argue that the conflation of hate and offence can invalidate findings on hate speech, and call for future work to be situated in theory, disentangling hate from its orthogonal concept, offence.


title: Guiding Trojan light beams via Lagrange points

abstract: The guided transmission of optical waves is critical for light-based applications in modern communication, information processing, and energy generation systems. Traditionally, guiding light waves in structures like optical fibres is predominantly achieved through the use of total internal reflection. In periodic platforms, a variety of other physical mechanisms can also be deployed to transport optical waves. However, transversely confining light in fully dielectric, non-periodic and passive configurations remains a challenge in situations where total internal reflection is not supported. Here, we present an approach to trapping light that utilizes the exotic features of Lagrange points, a special class of equilibrium positions akin to those responsible for capturing trojan asteroids in celestial mechanics. This is achieved in twisted arrangements in which optical Coriolis forces induce guiding channels even at locations where the refractive index landscape is defocusing or entirely unremarkable. These findings may have implications beyond standard optical waveguiding schemes and could also apply to other physical systems such as acoustics, electron beams and ultracold atoms.


title: FENICE: Factuality Evaluation of summarization based on Natural language Inference and Claim Extraction

abstract: Recent advancements in text summarization, particularly with the advent of Large Language Models (LLMs), have shown remarkable performance. However, a notable challenge persists as a substantial number of automatically-generated summaries exhibit factual inconsistencies, such as hallucinations. In response to this issue, various approaches for the evaluation of consistency for summarization have emerged. Yet, these newly-introduced metrics face several limitations, including lack of interpretability, focus on short document summaries (e.g., news articles), and computational impracticality, especially for LLM-based metrics. To address these shortcomings, we propose Factuality Evaluation of summarization based on Natural language Inference and Claim Extraction (FENICE), a more interpretable and efficient factuality-oriented metric. FENICE leverages an NLI-based alignment between information in the source document and a set of atomic facts, referred to as claims, extracted from the summary. Our metric sets a new state of the art on AGGREFACT, the de-facto benchmark for factuality evaluation. Moreover, we extend our evaluation to a more challenging setting by conducting a human annotation process of long-form summarization.


title: RIFF: Learning to Rephrase Inputs for Few-shot Fine-tuning of Language Models

abstract: Pre-trained Language Models (PLMs) can be accurately fine-tuned for downstream text processing tasks. Recently, researchers have introduced several parameter-efficient fine-tuning methods that optimize input prompts or adjust a small number of model parameters (e.g LoRA). In this study, we explore the impact of altering the input text of the original task in conjunction with parameter-efficient fine-tuning methods. To most effectively rewrite the input text, we train a few-shot paraphrase model with a Maximum-Marginal Likelihood objective. Using six few-shot text classification datasets, we show that enriching data with paraphrases at train and test time enhances the performance beyond what can be achieved with parameter-efficient fine-tuning alone. The code used for our experiments can be found at https://github.com/SaeedNajafi/RIFF.


title: Study of forbidden $\beta$ decays within the realistic shell model

abstract: For the first time, half-lives and energy spectra of forbidden $\beta$ decays are calculated within the realistic shell model. Namely, we approach this issue starting from a realistic nucleon-nucleon potential and deriving effective Hamiltonians and decay operators. Our goal is to explore the sensitivity of the shape of calculated energy spectra to the renormalization of forbidden $\beta$ -decay operators, an operation that allows to take into account those configurations that are not explicitly included in the chosen model space. The region that has been considered for this investigation are nuclei outside the $^{78}$Ni core, more precisely we have studied the second-forbidden $\beta$ decays of $^{94}$Nb and $^{99}$Tc, and fourth-forbidden $\beta$ decays of $^{113}$Cd and $^{115}$In, that are currently of a renewed experimental interest in terms of novel spectroscopic techniques. Our results evidence that the introduction of a renormalized $\beta$-decay operator leads to a marked improvement of the reproduction of experimental half-lives. As regards the spectra of both second-forbidden and fourth-forbidden decays, we have found that their calculated shapes are in good agreement with the observed ones, even if scarcely responsive to the renormalization of the decay operator. We carry out also a detailed inspection of the different components of the calculated spectra for a deeper insight about their role in reproducing the experimental shapes.


title: Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs

abstract: Context: Edge graphs are graphs whose edges are labelled with identifiers, and nodes can have multiple edges between them. They are used to model a wide range of systems, including networks with distances or degrees of connection and complex relational data. Inquiry: Unfortunately, the homogeneity of this graph structure prevents an effective representation in (functional) programs. Either their interface is riddled with partial functions, or the representations are computationally inefficient to process. Approach: We present a novel data type for edge graphs, based on total and recursive definitions, that prevents usage errors from partial APIs and promotes structurally recursive computations. We follow an algebraic approach and provide a set of primitive constructors and combinators, along with equational laws that identify semantically equivalent constructions. Knowledge: This algebra translates directly into an implementation using algebraic data types, and its homomorphisms give rise to functions for manipulating and transforming these edge graphs. Grounding: We exploit the fact that many common graph algorithms are such homomorphisms to implement them in our framework. Importance: In giving a theoretical grounding for the edge graph data type, we can formalise properties such as soundness and completeness of the representation while also minimising usage errors and maximising re-usability.


title: NatSGD: A Dataset with Speech, Gestures, and Demonstrations for Robot Learning in Natural Human-Robot Interaction

abstract: Recent advancements in multimodal Human-Robot Interaction (HRI) datasets have highlighted the fusion of speech and gesture, expanding robots' capabilities to absorb explicit and implicit HRI insights. However, existing speech-gesture HRI datasets often focus on elementary tasks, like object pointing and pushing, revealing limitations in scaling to intricate domains and prioritizing human command data over robot behavior records. To bridge these gaps, we introduce NatSGD, a multimodal HRI dataset encompassing human commands through speech and gestures that are natural, synchronized with robot behavior demonstrations. NatSGD serves as a foundational resource at the intersection of machine learning and HRI research, and we demonstrate its effectiveness in training robots to understand tasks through multimodal human commands, emphasizing the significance of jointly considering speech and gestures. We have released our dataset, simulator, and code to facilitate future research in human-robot interaction system learning; access these resources at https://www.snehesh.com/natsgd/


title: Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions

abstract: A major open problem in proof complexity is to show that random 3-CNFs with linear number of clauses require super-polynomial size refutations in bounded depth Frege. We make a first step towards this question by showing a super-linear lower bound: for every $k$, there exists $\epsilon > 0$ such that any depth-$k$ Frege refutation of a random $n$-variable 3-CNF with $\Theta(n)$ clauses has $\Omega(n^{1 + \epsilon})$ steps w.h.p. Our proof involves a novel adaptation of the deterministic restriction technique of Chaudhuri and Radhakrishnan (STOC'96).


title: Diametric problem for permutations with the Ulam metric (optimal anticodes)

abstract: We study the diametric problem (i.e., optimal anticodes) in the space of permutations under the Ulam distance. That is, let $S_n$ denote the set of permutations on $n$ symbols, and for each $\sigma, \tau \in S_n$, define their Ulam distance as the number of distinct symbols that must be deleted from each until they are equal. We obtain a near-optimal upper bound on the size of the intersection of two balls in this space, and as a corollary, we prove that a set of diameter at most $k$ has size at most $2^{k + C k^{2/3}} n! / (n-k)!$, compared to the best known construction of size $n!/(n-k)!$. We also prove that sets of diameter $1$ have at most $n$ elements.


title: Zonostrophic turbulence in the subsurface oceans of the Jovian and Saturnian moons

abstract: In order to characterize the global circulation of the subsurface ocean of Jovian and Saturnian moons, we analyze the properties of 21 three-dimensional simulations of Boussinesq thermal convection in a rapidly rotating spherical shell. Flow is driven by an adverse temperature contrast imposed across the domain, and is subjected to no-slip boundary conditions. We cover a region of parameter space previously unexplored by global simulations, both in terms of rapid rotation and vigor of convective forcing, closer to, yet still admittedly far from, the conditions appropriate for the subsurface ocean of Ganymede, Europa, Enceladus, and Titan. Our most extreme simulations exhibit a dynamic global circulation that combines powerful east-west zonal jets, planetary waves, and vortices. A spectral analysis of the kinetic energy distribution performed in cylindrical geometry reveals a high degree of anisotropy of the simulated flows. Specifically, the axisymmetric zonal energy spectra follow a steep $-5$ slope in wavenumber space, with the energy amplitude exclusively controlled by the rotation rate. In contrast, the non-axisymmetric residual spectra display a gentle $-5/3$ slope, with the energy amplitude controlled by the thermal buoyancy input power. This spectral behavior conforms with the theory of zonostrophic turbulence and allows us to propose tentative extrapolations of these findings to the more extreme conditions of icy satellites. By assuming that kinetic energy dissipates via Ekman friction we predict an upper bound for the zonal velocity ranging from a few centimeters per second for Enceladus to about one meter per second for Ganymede, with residual velocities smaller than the zonal velocity by an order of magnitude on each moon. These predictions yield typical jets size approaching the ocean depth of Titan, Ganymede and Europa and $10$ to $40\%$ of the ocean depth on Enceladus.


title: Strategies and trade-offs for controllability and memory time of ultra-high-quality microwave cavities in circuit QED

abstract: Three-dimensional microwave cavity resonators have been shown to reach lifetimes of the order of a second by maximizing the cavity volume relative to its surface, using better materials, and improving surface treatments. Such cavities represent an ideal platform for quantum computing with bosonic qubits, but their efficient control remains an outstanding problem since the large mode volume results in inefficient coupling to nonlinear elements used for their control. Moreover, this coupling induces additional cavity decay via the inverse Purcell effect which can easily destroy the advantage of a long intrinsic lifetime. Here, we discuss conditions on, and protocols for, efficient utilization of these ultra-high-quality microwave cavities as memories for conventional superconducting qubits. We show that, surprisingly, efficient write and read operations with ultra-high-quality cavities does not require similar quality factors for the qubits and other nonlinear elements used to control them. Through a combination of analytical and numerical calculations, we demonstrate that efficient coupling to cavities with second-scale lifetime is possible with state-of-the-art transmon and SNAIL devices and outline a route towards controlling cavities with even higher quality factors. Our work explores a potentially viable roadmap towards using ultra-high-quality microwave cavity resonators for storing and processing information encoded in bosonic qubits.


title: Graphene conductivity: Kubo model versus QFT-based model

abstract: We compare three available models of graphene conductivity: a non-local Kubo model, a local model derived by Falkovsky, and finally a non-local Quantum Field Theory based (QFT-b) model. The first two models are extensively used in the nanophotonic community. All these models are not ab-initio since they contain phenomenological parameters (like Fermi velocity, chemical potential and/or mass gap parameters that depend on the chosen material and possibly on external perturbations), and are supposed to provide coherent results since they are derived from the same starting Hamiltonian. While we confirm that the local model is a proper limit of the non-local Kubo model, we find some inconsistencies in the QFT-b model as derived and used in the literature. In particular, differently from the Kubo model, the QFT-b model shows a plasma-like behavior for the interband transversal conductivity at low frequencies instead of the expected behavior (an almost constant conductivity as a function of frequency $\omega$ with a gap for frequencies $\hbar\omega < \sqrt{(\hbar v_{F}q)^{2} + 4m^{2}}$). We show how to correctly regularize the QFT-b model in order to satisfy the gauge invariance and, once also losses are correctly included, we show that the Kubo and QFT-b model exactly coincide. Our finding can be of relevant interest for both theory, predictions and experimental tests in both the nanophotonic and Casimir effect communities.


title: Tightly-Coupled LiDAR-Visual-Inertial SLAM and Large-Scale Volumetric Occupancy Mapping

abstract: Autonomous navigation is one of the key requirements for every potential application of mobile robots in the real-world. Besides high-accuracy state estimation, a suitable and globally consistent representation of the 3D environment is indispensable. We present a fully tightly-coupled LiDAR-Visual-Inertial SLAM system and 3D mapping framework applying local submapping strategies to achieve scalability to large-scale environments. A novel and correspondence-free, inherently probabilistic, formulation of LiDAR residuals is introduced, expressed only in terms of the occupancy fields and its respective gradients. These residuals can be added to a factor graph optimisation problem, either as frame-to-map factors for the live estimates or as map-to-map factors aligning the submaps with respect to one another. Experimental validation demonstrates that the approach achieves state-of-the-art pose accuracy and furthermore produces globally consistent volumetric occupancy submaps which can be directly used in downstream tasks such as navigation or exploration.


title: Emotion Granularity from Text: An Aggregate-Level Indicator of Mental Health

abstract: We are united in how emotions are central to shaping our experiences; and yet, individuals differ greatly in how we each identify, categorize, and express emotions. In psychology, variation in the ability of individuals to differentiate between emotion concepts is called emotion granularity (determined through self-reports of one's emotions). High emotion granularity has been linked with better mental and physical health; whereas low emotion granularity has been linked with maladaptive emotion regulation strategies and poor health outcomes. In this work, we propose computational measures of emotion granularity derived from temporally-ordered speaker utterances in social media (in lieu of self-reports that suffer from various biases). We then investigate the effectiveness of such text-derived measures of emotion granularity in functioning as markers of various mental health conditions (MHCs). We establish baseline measures of emotion granularity derived from textual utterances, and show that, at an aggregate level, emotion granularities are significantly lower for people self-reporting as having an MHC than for the control population. This paves the way towards a better understanding of the MHCs, and specifically the role emotions play in our well-being.


title: The categorical spin-statistics theorem

abstract: We establish the spin-statistics theorem for topological quantum field theories (TQFTs) in the framework of Atiyah. We incorporate spin via spin structures on bordisms, and represent statistics using super vector spaces. Unitarity is implemented using dagger categories, in a manner that is equivalent to the approach of Freed-Hopkins, who employed $\mathbb{Z}/2$-equivariant functors to address reflection-positivity. A key contribution of our work is the introduction of the notion of fermionically dagger compact categories, which extends the well-established concept of dagger compact categories. We show that both the spin bordism category and the category of super Hilbert spaces are examples of fermionically dagger compact categories. The spin-statistics theorem for TQFTs emerges as a specific case of a more general result concerning symmetric monoidal dagger functors between fermionically dagger compact categories.


title: Fractional Spins, Unfolding, and Holography: I. Parent field equations for dual higher-spin gravity reductions

abstract: In this work and in the companion paper arXiv:2403.02301 we initiate an approach to holography based on the AKSZ formalism. As a first step, we refine Vasiliev's holography proposal in arXiv:1203.5554 by obtaining 4D higher-spin gravity (HSG) and 3D coloured conformal higher-spin gravity (CCHSG) -- i.e., coloured conformal matter fields coupled to conformal higher-spin gauge fields and colour gauge fields -- as two distinct and classically consistent reductions of a single parent theory. The latter consists, on-shell, of a flat superconnection valued in a fractional-spin extension of Vasiliev's higher-spin algebra. The 4D HSG and 3D CCHSG reductions are characterized by dual structure groups and two-form cohomology elements, and their embedding in a common parent model provides a rationale for deriving holographic relations from multi-dimensional AKSZ partition functions on cylinders with dual boundary conditions, to appear separately. In this work we i) construct the underlying non-commutative geometry as a metaplectic operator algebra represented in a Hermitian module of a pair of conformal particles; ii) identify a discrete modular group, arising from twisted boundary conditions of the first-quantized system, and connecting different boundary conditions of the second-quantized system; and iii) identify the holonomies, structure groups and two-form cohomology elements that characterize the HSG and CCHSG reductions, and equate the dual second Chern classes.


title: Graphical Quadratic Algebra

abstract: We introduce Graphical Quadratic Algebra (GQA), a string diagrammatic calculus extending the language of Graphical Affine Algebra with a new generator characterised by invariance under rotation matrices. We show that GQA is a sound and complete axiomatisation for three different models: quadratic relations, which are a compositional formalism for least-squares problems, Gaussian stochastic processes, and Gaussian stochastic processes extended with non-determinisms. The equational theory of GQA sheds light on the connections between these perspectives, giving an algebraic interpretation to the interplay of stochastic behaviour, relational behaviour, non-determinism, and conditioning. As applications, we discuss various case studies, including linear regression, probabilistic programming, and electrical circuits with realistic (noisy) components.


title: Detection of Non-recorded Word Senses in English and Swedish

abstract: This study addresses the task of Unknown Sense Detection in English and Swedish. The primary objective of this task is to determine whether the meaning of a particular word usage is documented in a dictionary or not. For this purpose, sense entries are compared with word usages from modern and historical corpora using a pre-trained Word-in-Context embedder that allows us to model this task in a few-shot scenario. Additionally, we use human annotations to adapt and evaluate our models. Compared to a random sample from a corpus, our model is able to considerably increase the detected number of word usages with non-recorded senses.


title: Stage: Query Execution Time Prediction in Amazon Redshift

abstract: Query performance (e.g., execution time) prediction is a critical component of modern DBMSes. As a pioneering cloud data warehouse, Amazon Redshift relies on an accurate execution time prediction for many downstream tasks, ranging from high-level optimizations, such as automatically creating materialized views, to low-level tasks on the critical path of query execution, such as admission, scheduling, and execution resource control. Unfortunately, many existing execution time prediction techniques, including those used in Redshift, suffer from cold start issues, inaccurate estimation, and are not robust against workload/data changes. In this paper, we propose a novel hierarchical execution time predictor: the Stage predictor. The Stage predictor is designed to leverage the unique characteristics and challenges faced by Redshift. The Stage predictor consists of three model states: an execution time cache, a lightweight local model optimized for a specific DB instance with uncertainty measurement, and a complex global model that is transferable across all instances in Redshift. We design a systematic approach to use these models that best leverages optimality (cache), instance-optimization (local model), and transferable knowledge about Redshift (global model). Experimentally, we show that the Stage predictor makes more accurate and robust predictions while maintaining a practical inference latency and memory overhead. Overall, the Stage predictor can improve the average query execution latency by $20\%$ on these instances compared to the prior query performance predictor in Redshift.


title: Note on the spectra of Steiner distance hypermatrices

abstract: The Steiner distance of a set of vertices in a graph is the fewest number of edges in any connected subgraph containing those vertices. The order-$k$ Steiner distance hypermatrix of an $n$-vertex graph is the $n \times \cdots \times n$ ($k$ terms) array indexed by vertices, whose entries are the Steiner distances of their corresponding indices. In the case of $k=2$, this reduces to the classical distance matrix of a graph. Graham and Pollak showed in 1971 that the determinant of the distance matrix of a tree only depends on its number $n$ of vertices. Here, we show that the hyperdeterminant of the Steiner distance hypermatrix of a tree vanishes if and only if (a) $n \geq 3$ and $k$ is odd, (b) $n=1$, or (c) $n=2$ and $k \equiv 1 \pmod{6}$. Two proofs are presented of the $n=2$ case -- the other situations were handled previously -- and we use the argument further to show that the distance spectral radius for $n=2$ is equal to $2^{k-1}-1$. Some related open questions are also discussed.


title: PixIT: Joint Training of Speaker Diarization and Speech Separation from Real-world Multi-speaker Recordings

abstract: A major drawback of supervised speech separation (SSep) systems is their reliance on synthetic data, leading to poor real-world generalization. Mixture invariant training (MixIT) was proposed as an unsupervised alternative that uses real recordings, yet struggles with overseparation and adapting to long-form audio. We introduce PixIT, a joint approach that combines permutation invariant training (PIT) for speaker diarization (SD) and MixIT for SSep. With a small extra requirement of needing SD labels, it solves the problem of overseparation and allows stitching local separated sources leveraging existing work on clustering-based neural SD. We measure the quality of the separated sources via applying automatic speech recognition (ASR) systems to them. PixIT boosts the performance of various ASR systems across two meeting corpora both in terms of the speaker-attributed and utterance-based word error rates while not requiring any fine-tuning.


title: Physics-Informed Neural Networks with Skip Connections for Modeling and Control of Gas-Lifted Oil Wells

abstract: Neural networks, while powerful, often lack interpretability. Physics-Informed Neural Networks (PINNs) address this limitation by incorporating physics laws into the loss function, making them applicable to solving Ordinary Differential Equations (ODEs) and Partial Differential Equations (PDEs). The recently introduced PINC framework extends PINNs to control applications, allowing for open-ended long-range prediction and control of dynamic systems. In this work, we enhance PINC for modeling highly nonlinear systems such as gas-lifted oil wells. By introducing skip connections in the PINC network and refining certain terms in the ODE, we achieve more accurate gradients during training, resulting in an effective modeling process for the oil well system. Our proposed improved PINC demonstrates superior performance, reducing the validation prediction error by an average of 67% in the oil well application and significantly enhancing gradient flow through the network layers, increasing its magnitude by four orders of magnitude compared to the original PINC. Furthermore, experiments showcase the efficacy of Model Predictive Control (MPC) in regulating the bottom-hole pressure of the oil well using the improved PINC model, even in the presence of noisy measurements.


title: Koopman-Assisted Reinforcement Learning

abstract: The Bellman equation and its continuous form, the Hamilton-Jacobi-Bellman (HJB) equation, are ubiquitous in reinforcement learning (RL) and control theory. However, these equations quickly become intractable for systems with high-dimensional states and nonlinearity. This paper explores the connection between the data-driven Koopman operator and Markov Decision Processes (MDPs), resulting in the development of two new RL algorithms to address these limitations. We leverage Koopman operator techniques to lift a nonlinear system into new coordinates where the dynamics become approximately linear, and where HJB-based methods are more tractable. In particular, the Koopman operator is able to capture the expectation of the time evolution of the value function of a given system via linear dynamics in the lifted coordinates. By parameterizing the Koopman operator with the control actions, we construct a ``Koopman tensor'' that facilitates the estimation of the optimal value function. Then, a transformation of Bellman's framework in terms of the Koopman tensor enables us to reformulate two max-entropy RL algorithms: soft value iteration and soft actor-critic (SAC). This highly flexible framework can be used for deterministic or stochastic systems as well as for discrete or continuous-time dynamics. Finally, we show that these Koopman Assisted Reinforcement Learning (KARL) algorithms attain state-of-the-art (SOTA) performance with respect to traditional neural network-based SAC and linear quadratic regulator (LQR) baselines on four controlled dynamical systems: a linear state-space system, the Lorenz system, fluid flow past a cylinder, and a double-well potential with non-isotropic stochastic forcing.


title: Reeb graph invariants of Morse functions and $3$-manifold groups

abstract: In this work we are focused on the existence of Morse functions on a closed manifold $M$ which are far from being ordered, i.e. whose Reeb graphs have positive first Betti number, especially the maximal possible, equals $\operatorname{corank}(\pi_1(M))$. In the case of $3$-manifolds we describe the minimal number of critical points needed to construct such functions, which is related with the number of vertices of degree $2$ in Reeb graphs. We define a new invariant of $3$-manifold groups and their presentations, and using Heegaard splittings we show its utility in determining occurrence of disordered Morse functions. In particular, the Freiheitssatz, a result for one-relator groups, allows us to calculate this invariant in the case of orientable circle-bundles over a surface, which provides an interesting example of the behaviour of Morse functions.


title: A Decade of Privacy-Relevant Android App Reviews: Large Scale Trends

abstract: We present an analysis of 12 million instances of privacy-relevant reviews publicly visible on the Google Play Store that span a 10 year period. By leveraging state of the art NLP techniques, we examine what users have been writing about privacy along multiple dimensions: time, countries, app types, diverse privacy topics, and even across a spectrum of emotions. We find consistent growth of privacy-relevant reviews, and explore topics that are trending (such as Data Deletion and Data Theft), as well as those on the decline (such as privacy-relevant reviews on sensitive permissions). We find that although privacy reviews come from more than 200 countries, 33 countries provide 90% of privacy reviews. We conduct a comparison across countries by examining the distribution of privacy topics a country's users write about, and find that geographic proximity is not a reliable indicator that nearby countries have similar privacy perspectives. We uncover some countries with unique patterns and explore those herein. Surprisingly, we uncover that it is not uncommon for reviews that discuss privacy to be positive (32%); many users express pleasure about privacy features within apps or privacy-focused apps. We also uncover some unexpected behaviors, such as the use of reviews to deliver privacy disclaimers to developers. Finally, we demonstrate the value of analyzing app reviews with our approach as a complement to existing methods for understanding users' perspectives about privacy


title: A new HOC scheme for computation of flow and heat transfer in nonuniform polar grids

abstract: In this work, a higher order compact (HOC) discretization is developed on the nonuniform polar grid. The discretization conceptualized using the unsteady convection-diffusion equation (CDE) is further extended to flow problems governed by the Navies-Stokes (N-S) equations as well as the Boussinesq equations. The scheme developed here combines the advantages of body-fitted mesh with grid clustering, thereby making it efficient to capture flow gradients on polar grids. The scheme carries a spatial convergence of order three with temporal order of convergence being almost two. Diverse flow problems are being investigated using the scheme. Apart from two verification studies we validate the scheme by time marching simulation for the benchmark problem of driven polar cavity and the problem of natural convection in the horizontal concentric annulus. In the process, a one-sided approximation for the Neumann boundary condition for vorticity is also presented. Finally, the benchmark problem of forced convection around a circular cylinder is tackled. The results obtained in this study are analyzed and compared with the well-established numerical and experimental data wherever available in the literature. The newly developed scheme is found to generate accurate solutions in each case.


title: Empirical learning of dynamical decoupling on quantum processors

abstract: Dynamical decoupling (DD) is a low-overhead method for quantum error suppression. We describe how empirical learning schemes can be used to tailor DD strategies to the quantum device and task at hand. We use genetic algorithms to learn DD (GADD) strategies and apply our method to the 27-qubit Bernstein-Vazirani algorithm, 5-qubit Grover's algorithm, and 80-qubit mirror randomized benchmarking circuits. In each scenario, the GADD strategies significantly outperform canonical DD sequences. We demonstrate the generic and scalable nature of our GADD method in that it does not require a priori knowledge of target circuit outcomes and has runtime remaining constant with increasing circuit depth and qubit number. Moreover, the relative improvement of empirically learned DD strategies over canonical DD sequences is shown to increase with increasing problem size and circuit sophistication.


title: Magnetic Weyl-Kondo semimetals induced by quantum fluctuation

abstract: Kondo effect exemplifies the type of quantum fluctuations driven by strong correlations, and its cooperation with space group symmetries underlies the Weyl-Kondo semimetals. Because the Kondo effect of the $f$-electrons is believed to be suppressed in a magnetic environment, Weyl-Kondo semimetals have so far been confined to paramagnetic settings. Here we develop the theory of magnetic Weyl-Kondo semimetal. The key of the proposed mechanism is that the magnetic order is originated from the conduction $d$ electrons, such that the local moments can still fluctuate. We illustrate the extreme case where the magnetic space group symmetries prevent any magnetization on the sites with the $f$-orbitals. In this case, hourglass Weyl-Kondo nodal lines appear when the space group symmetry acts on the Kondo-driven low-energy excitations. We suggest a third-order nonlinear spontaneous Hall response as a means to diagnose this type of topological crossings. Based on the theoretical mechanism, we explore the interplay between correlations and symmetries in magnetic square-net materials, leading to several candidate materials with a variety of nonlinear Hall responses. Our findings pave the way for future experimental exploration and theoretical investigations in this new and promising materials class as a part of an overarching effort to understand and harness the interplay between strong correlations and topology.


title: Reactive Programming without Functions

abstract: Context: Reactive programming (RP) is a declarative programming paradigm suitable for expressing the handling of events. It enables programmers to create applications that react automatically to changes over time. Whenever a time-varying signal changes -- e.g. in response to values produced by event stream (e.g., sensor data, user input...) -- the program state is updated automatically in tandem with that change. This makes RP well-suited for building interactive applications and reactive (soft real-time) systems. Inquiry: RP Language implementations are often built on top of an existing (host) language as an Embedded Domain Specific Language (EDSL). This results in application code in which reactive code and non-reactive code is inherently entangled. Using a mechanism known as lifting, one usually has access to the full feature set of the (non-reactive) host language in the RP program. However, lifting is also dangerous. First, host code expressed in a Turing-complete language may diverge, resulting in unresponsive programs: i.e. reactive programs that are not actually reactive. Second, the bi-directional integration of reactive and non-reactive code results in a paradigmatic mismatch that, when unchecked, leads to faulty behaviour in programs. Approach: We propose a new reactive programming language, that has been meticulously designed to be reactive-only. We start with a simple (first-order) model for reactivity, based on reactors (i.e. uninstantiated descriptions of signals and their dependencies) and deployments (i.e. instances of reactors) that consist of signals. The language does not have the notion of functions, and thus unlike other RP languages there is no lifting either. We extend this simple model incrementally with additional features found in other programming languages, RP or otherwise. These features include stateful reactors (that allow for time-based accumulation), signals with dynamic dependencies by means of conditionals and polymorphic deployments, recursively-defined reactors, and (anonymous) reactors with lexical scope. Knowledge: In our description of these language features, we not only describe the syntax and semantics, but also how each features compares to the problems that exist in (EDSL) RP languages. I.e. by starting from a reactive-only model, we identify which reactive features (that, in other RP languages are typically expressed in non-reactive code) affect the reactive guarantees that can be enforced by the language. Grounding: We base our arguments by analysing the effect that each feature has on our language: e.g., by analysing how signals are updated, how they are created and how dependencies between signals can be affected. When applicable, we draw parallels with other languages: i.e. similarities shared with other RP languages will be highlighted and thoroughly analysed, and where relevant the same will also be done with non-reactive languages. Importance: Our language shows how a purely reactive programming is able to express the same kinds of programs as in other RP languages that require the use of (unchecked) functions. By considering reactive programs as a collection of pure (reactive-only) reactors, we aim to increase how reactive programming is comprehended by both language designers and its users.


title: Uncertainty-Aware Prediction and Application in Planning for Autonomous Driving: Definitions, Methods, and Comparison

abstract: Autonomous driving systems face the formidable challenge of navigating intricate and dynamic environments with uncertainty. This study presents a unified prediction and planning framework that concurrently models short-term aleatoric uncertainty (SAU), long-term aleatoric uncertainty (LAU), and epistemic uncertainty (EU) to predict and establish a robust foundation for planning in dynamic contexts. The framework uses Gaussian mixture models and deep ensemble methods, to concurrently capture and assess SAU, LAU, and EU, where traditional methods do not integrate these uncertainties simultaneously. Additionally, uncertainty-aware planning is introduced, considering various uncertainties. The study's contributions include comparisons of uncertainty estimations, risk modeling, and planning methods in comparison to existing approaches. The proposed methods were rigorously evaluated using the CommonRoad benchmark and settings with limited perception. These experiments illuminated the advantages and roles of different uncertainty factors in autonomous driving processes. In addition, comparative assessments of various uncertainty modeling strategies underscore the benefits of modeling multiple types of uncertainties, thus enhancing planning accuracy and reliability. The proposed framework facilitates the development of methods for UAP and surpasses existing uncertainty-aware risk models, particularly when considering diverse traffic scenarios. Project page: https://swb19.github.io/UAP/.


title: Minimum acyclic number and maximum dichromatic number of oriented triangle-free graphs of a given order

abstract: Let $D$ be a digraph. Its acyclic number $\vec{\alpha}(D)$ is the maximum order of an acyclic induced subdigraph and its dichromatic number $\vec{\chi}(D)$ is the least integer $k$ such that $V(D)$ can be partitioned into $k$ subsets inducing acyclic subdigraphs. We study ${\vec a}(n)$ and $\vec t(n)$ which are the minimum of $\vec\alpha(D)$ and the maximum of $\vec{\chi}(D)$, respectively, over all oriented triangle-free graphs of order $n$. For every $\epsilon>0$ and $n$ large enough, we show $(1/\sqrt{2} - \epsilon) \sqrt{n\log n} \leq \vec{a}(n) \leq \frac{107}{8} \sqrt n \log n$ and $\frac{8}{107} \sqrt n/\log n \leq \vec{t}(n) \leq (\sqrt 2 + \epsilon) \sqrt{n/\log n}$. We also construct an oriented triangle-free graph on 25 vertices with dichromatic number~3, and show that every oriented triangle-free graph of order at most 17 has dichromatic number at most 2.