title: Cooperative Coherent Multistatic Imaging and Phase Synchronization in Networked Sensing

abstract: Coherent multistatic radio imaging represents a pivotal opportunity for forthcoming wireless networks, which involves distributed nodes cooperating to achieve accurate sensing resolution and robustness. This paper delves into cooperative coherent imaging for vehicular radar networks. Herein, multiple radar-equipped vehicles cooperate to improve collective sensing capabilities and address the fundamental issue of distinguishing weak targets in close proximity to strong ones, a critical challenge for vulnerable road users protection. We prove the significant benefits of cooperative coherent imaging in the considered automotive scenario in terms of both probability of correct detection, evaluated considering several system parameters, as well as resolution capabilities, showcased by a dedicated experimental campaign wherein the collaboration between two vehicles enables the detection of the legs of a pedestrian close to a parked car. Moreover, as \textit{coherent} processing of several sensors' data requires very tight accuracy on clock synchronization and sensor's positioning -- referred to as \textit{phase synchronization} -- (such that to predict sensor-target distances up to a fraction of the carrier wavelength), we present a general three-step cooperative multistatic phase synchronization procedure, detailing the required information exchange among vehicles in the specific automotive radar context and assessing its feasibility and performance by hybrid Cram\'er-Rao bound.


title: A method for quantifying sectoral optic disc pallor in fundus photographs and its association with peripapillary RNFL thickness

abstract: Purpose: To develop an automatic method of quantifying optic disc pallor in fundus photographs and determine associations with peripapillary retinal nerve fibre layer (pRNFL) thickness. Methods: We used deep learning to segment the optic disc, fovea, and vessels in fundus photographs, and measured pallor. We assessed the relationship between pallor and pRNFL thickness derived from optical coherence tomography scans in 118 participants. Separately, we used images diagnosed by clinical inspection as pale (N=45) and assessed how measurements compared to healthy controls (N=46). We also developed automatic rejection thresholds, and tested the software for robustness to camera type, image format, and resolution. Results: We developed software that automatically quantified disc pallor across several zones in fundus photographs. Pallor was associated with pRNFL thickness globally (\b{eta} = -9.81 (SE = 3.16), p < 0.05), in the temporal inferior zone (\b{eta} = -29.78 (SE = 8.32), p < 0.01), with the nasal/temporal ratio (\b{eta} = 0.88 (SE = 0.34), p < 0.05), and in the whole disc (\b{eta} = -8.22 (SE = 2.92), p < 0.05). Furthermore, pallor was significantly higher in the patient group. Lastly, we demonstrate the analysis to be robust to camera type, image format, and resolution. Conclusions: We developed software that automatically locates and quantifies disc pallor in fundus photographs and found associations between pallor measurements and pRNFL thickness. Translational relevance: We think our method will be useful for the identification, monitoring and progression of diseases characterized by disc pallor/optic atrophy, including glaucoma, compression, and potentially in neurodegenerative disorders.


title: Forall-exist statements in pseudopolynomial time

abstract: Given a convex set $Q \subseteq R^m$ and an integer matrix $W \in Z^{m \times n}$, we consider statements of the form $ \forall b \in Q \cap Z^m$ $\exists x \in Z^n$ s.t. $Wx \leq b$. Such statements can be verified in polynomial time with the algorithm of Kannan and its improvements if $n$ is fixed and $Q$ is a polyhedron. The running time of the best-known algorithms is doubly exponential in~$n$. In this paper, we provide a pseudopolynomial-time algorithm if $m$ is fixed. Its running time is $(m \Delta)^{O(m^3)}$, where $\Delta = \|W\|_\infty$. Furthermore it applies to general convex sets $Q$. Second, we provide new upper bounds on the \emph{diagonal} as well as the \emph{polyhedral Frobenius} number, two recently studied forall-exist problems.


title: Coffee: Boost Your Code LLMs by Fixing Bugs with Feedback

abstract: Code editing is an essential step towards reliable program synthesis to automatically correct critical errors generated from code LLMs. Recent studies have demonstrated that closed-source LLMs (i.e., ChatGPT and GPT-4) are capable of generating corrective feedback to edit erroneous inputs. However, it remains challenging for open-source code LLMs to generate feedback for code editing, since these models tend to adhere to the superficial formats of feedback and provide feedback with misleading information. Hence, the focus of our work is to leverage open-source code LLMs to generate helpful feedback with correct guidance for code editing. To this end, we present Coffee, a collected dataset specifically designed for code fixing with feedback. Using this dataset, we construct CoffeePots, a framework for COde Fixing with FEEdback via Preference-Optimized Tuning and Selection. The proposed framework aims to automatically generate helpful feedback for code editing while minimizing the potential risk of superficial feedback. The combination of Coffee and CoffeePots marks a significant advancement, achieving state-of-the-art performance on HumanEvalFix benchmark. Codes and model checkpoints are publicly available at https://github.com/Lune-Blue/COFFEE.


title: Few Shot Learning for the Classification of Confocal Laser Endomicroscopy Images of Head and Neck Tumors

abstract: The surgical removal of head and neck tumors requires safe margins, which are usually confirmed intraoperatively by means of frozen sections. This method is, in itself, an oversampling procedure, which has a relatively low sensitivity compared to the definitive tissue analysis on paraffin-embedded sections. Confocal laser endomicroscopy (CLE) is an in-vivo imaging technique that has shown its potential in the live optical biopsy of tissue. An automated analysis of this notoriously difficult to interpret modality would help surgeons. However, the images of CLE show a wide variability of patterns, caused both by individual factors but also, and most strongly, by the anatomical structures of the imaged tissue, making it a challenging pattern recognition task. In this work, we evaluate four popular few shot learning (FSL) methods towards their capability of generalizing to unseen anatomical domains in CLE images. We evaluate this on images of sinunasal tumors (SNT) from five patients and on images of the vocal folds (VF) from 11 patients using a cross-validation scheme. The best respective approach reached a median accuracy of 79.6% on the rather homogeneous VF dataset, but only of 61.6% for the highly diverse SNT dataset. Our results indicate that FSL on CLE images is viable, but strongly affected by the number of patients, as well as the diversity of anatomical patterns.


title: Troubles and Failures in Interactional Language. Towards a Linguistically Informed Taxonomy

abstract: The goal of this talk is to introduce a systematic research agenda which aims to understand the nature of interaction between humans and artificial conversational agents (CA) (henceforth humanmachine interaction, HMI). Specifically, we shall take an explicit linguistic perspective focusing on linguistically defined variables that are known to influence the flow of conversations among humans (henceforth human-human interaction, HHI).


title: A Near-infrared Variability Survey of Young Planetary-mass Objects

abstract: We present a photometric variability survey of young planetary-mass objects using the New Technology Telescope in the Js and Ks bands. Surface gravity plays an important role in the atmospheric structure of brown dwarfs, as young low gravity L dwarfs have a higher variability rate than field L dwarfs. In this study, we extend variability studies to young T-type planetary-mass objects and investigate the effects of surface gravity on the variability of L and T dwarfs across a large sample. We conduct continuous monitoring for 18 objects with spectral types from L5 to T8 and detect four new variables and two variable candidates. Combining with previous variability surveys of field and young L and T objects, we find that young objects tend to be more variable than field objects within peak-to-peak variability amplitude ranges of 0.5-10 per cent and period ranges of 1.5-20 hr. For the first time, we constrain the variability rate of young T dwarfs to be 56 per cent compared to 25 per cent for field T dwarfs. Both field and young samples have higher variability rates at the L/T transition than outside the L/T transition. The differences in the variability rates between field and young samples are about 1 sigma and therefore larger sample sizes are needed to confirm and refine the results. Besides the L/T transition, young L dwarfs with strong variability tend to assemble in a narrow spectral type range of L6-L7.5. This work supports the critical role of surface gravity on the atmospheric structure from L to T spectral types.


title: On Blockers and Transversals of Maximum Independent Sets in Co-Comparability Graphs

abstract: In this paper, we consider the following two problems: (i) Deletion Blocker($\alpha$) where we are given an undirected graph $G=(V,E)$ and two integers $k,d\geq 1$ and ask whether there exists a subset of vertices $S\subseteq V$ with $|S|\leq k$ such that $\alpha(G-S) \leq \alpha(G)-d$, that is the independence number of $G$ decreases by at least $d$ after having removed the vertices from $S$; (ii) Transversal($\alpha$) where we are given an undirected graph $G=(V,E)$ and two integers $k,d\geq 1$ and ask whether there exists a subset of vertices $S\subseteq V$ with $|S|\leq k$ such that for every maximum independent set $I$ we have $|I\cap S| \geq d$. We show that both problems are polynomial-time solvable in the class of co-comparability graphs by reducing them to the well-known Vertex Cut problem. Our results generalize a result of [Chang et al., Maximum clique transversals, Lecture Notes in Computer Science 2204, pp. 32-43, WG 2001] and a recent result of [Hoang et al., Assistance and interdiction problems on interval graphs, Discrete Applied Mathematics 340, pp. 153-170, 2023].


title: Neutron stars in a uniform density approximation

abstract: Models of neutron stars are considered in the case of a uniform density distribution. An algebraic equation, valid for any equation of state, is obtained. This equation allows one to find the approximate mass of a star of a given density without resorting to the integration of differential equations. The solutions presented in the paper for various equations of state, including more realistic ones, differ from the exact solutions obtained by the numerical integration of differential equations by at most ~20%


title: Properly immersed curves in arbitrary surfaces via apparent contours on spines of traversing flows

abstract: Let S be a compact surface with boundary and F be the set of the orbits of a traversing flow on S. If the flow is generic, its orbit space is a spine G of S, namely G is a graph embedded in S and S is a regular neighbourhood of G. Moreover an extra structure on G turns it into a flow-spine, from which one can reconstruct S and F. In this paper we study properly immersed curves C in S. We do this by considering generic C's and their apparent contour relative to F, namely the set of points of G corresponding to orbits that either are tangent to C, or go through a self-intersection of C, or meet the boundary of C. We translate this apparent contour into a decoration of G that allows one to reconstruct C, and then we allow C to vary up to homotopy within a fixed generic F, and next also F to vary up to homotopy, and we identify a finite set of local moves on decorated graphs that translate these homotopies.


title: Neural General Circulation Models for Weather and Climate

abstract: General circulation models (GCMs) are the foundation of weather and climate prediction. GCMs are physics-based simulators which combine a numerical solver for large-scale dynamics with tuned representations for small-scale processes such as cloud formation. Recently, machine learning (ML) models trained on reanalysis data achieved comparable or better skill than GCMs for deterministic weather forecasting. However, these models have not demonstrated improved ensemble forecasts, or shown sufficient stability for long-term weather and climate simulations. Here we present the first GCM that combines a differentiable solver for atmospheric dynamics with ML components, and show that it can generate forecasts of deterministic weather, ensemble weather and climate on par with the best ML and physics-based methods. NeuralGCM is competitive with ML models for 1-10 day forecasts, and with the European Centre for Medium-Range Weather Forecasts ensemble prediction for 1-15 day forecasts. With prescribed sea surface temperature, NeuralGCM can accurately track climate metrics such as global mean temperature for multiple decades, and climate forecasts with 140 km resolution exhibit emergent phenomena such as realistic frequency and trajectories of tropical cyclones. For both weather and climate, our approach offers orders of magnitude computational savings over conventional GCMs. Our results show that end-to-end deep learning is compatible with tasks performed by conventional GCMs, and can enhance the large-scale physical simulations that are essential for understanding and predicting the Earth system.


title: Wasm SpecTec: Engineering a Formal Language Standard

abstract: WebAssembly (Wasm) is a low-level bytecode language and virtual machine, intended as a compilation target for a wide range of programming languages, which is seeing increasing adoption across diverse ecosystems. As a young technology, Wasm continues to evolve -- it reached version 2.0 last year and another major update is expected soon. For a new feature to be standardised in Wasm, four key artefacts must be presented: a formal (mathematical) specification of the feature, an accompanying prose pseudocode description, an implementation in the official reference interpreter, and a suite of unit tests. This rigorous process helps to avoid errors in the design and implementation of new Wasm features, and Wasm's distinctive formal specification in particular has facilitated machine-checked proofs of various correctness properties for the language. However, manually crafting all of these artefacts requires expert knowledge combined with repetitive and tedious labor, which is a burden on the language's standardization process and authoring of the specification. This paper presents Wasm SpecTec, a technology to express the formal specification of Wasm through a domain-specific language. This DSL allows all of Wasm's currently handwritten specification artefacts to be error-checked and generated automatically from a single source of truth, and is designed to be easy to write, read, compare, and review. We believe that Wasm SpecTec's automation and meta-level error checking will significantly ease the current burden of the language's specification authors. We demonstrate the current capabilities of Wasm SpecTec by showcasing its proficiency in generating various artefacts, and describe our work towards replacing the manually written official Wasm specification document with specifications generated by Wasm SpecTec.


title: Formation and Growth of the First Supermassive Black Holes in MOG

abstract: The emergence of supermassive black holes (SMBHs) in the early universe remains a topic of profound interest and debate. In this paper, we investigate the formation and growth of the first SMBHs within the framework of Modified Gravity (MOG), where gravity exhibits increased strength. We explore how MOG, as an alternative to the standard model, may offer novel insights into the emergence of SMBHs and potentially reconcile the discrepancies observed in the accretion and growth processes. We examine the dynamics of gas and matter in this modified gravitational framework, shedding light on the unique interplay between gravity and the formation of SMBHs.


title: Modelling turbulence in axisymmetric wakes: an application to wind turbine wakes

abstract: A novel fast-running model is developed to predict the three-dimensional (3D) distribution of turbulent kinetic energy (TKE) in axisymmetric wake flows. This is achieved by mathematically solving the partial differential equation of the TKE transport using the Green's function method. The developed solution reduces to a double integral that can be computed numerically for a wake prescribed by any arbitrary velocity profile. It is shown that the solution can be further simplified to a single integral for wakes with Gaussian-like velocity-deficit profiles. Model results are compared and validated against detailed 3D laser Doppler anemometry data measured within the wake flow of a model wind turbine in a laboratory environment. This shows a remarkably good agreement in both the magnitude and shape of the radial TKE profiles at the turbine hub height. The wind-tunnel data also provide insights into the evolution of important turbulent flow quantities such as turbulent viscosity, mixing length, and the TKE dissipation rate within a wind turbine wake.


title: Large Language Models for Robotics: A Survey

abstract: The human ability to learn, generalize, and control complex manipulation tasks through multi-modality feedback suggests a unique capability, which we refer to as dexterity intelligence. Understanding and assessing this intelligence is a complex task. Amidst the swift progress and extensive proliferation of large language models (LLMs), their applications in the field of robotics have garnered increasing attention. LLMs possess the ability to process and generate natural language, facilitating efficient interaction and collaboration with robots. Researchers and engineers in the field of robotics have recognized the immense potential of LLMs in enhancing robot intelligence, human-robot interaction, and autonomy. Therefore, this comprehensive review aims to summarize the applications of LLMs in robotics, delving into their impact and contributions to key areas such as robot control, perception, decision-making, and path planning. We first provide an overview of the background and development of LLMs for robotics, followed by a description of the benefits of LLMs for robotics and recent advancements in robotics models based on LLMs. We then delve into the various techniques used in the model, including those employed in perception, decision-making, control, and interaction. Finally, we explore the applications of LLMs in robotics and some potential challenges they may face in the near future. Embodied intelligence is the future of intelligent science, and LLMs-based robotics is one of the promising but challenging paths to achieve this.


title: CARTOS: A Charging-Aware Real-Time Operating System for Intermittent Batteryless Devices

abstract: This paper presents CARTOS, a charging-aware real-time operating system designed to enhance the functionality of intermittently-powered batteryless devices (IPDs) for various Internet of Things (IoT) applications. While IPDs offer significant advantages such as extended lifespan and operability in extreme environments, they pose unique challenges, including the need to ensure forward progress of program execution amidst variable energy availability and maintaining reliable real-time time behavior during power disruptions. To address these challenges, CARTOS introduces a mixed-preemption scheduling model that classifies tasks into computational and peripheral tasks, and ensures their efficient and timely execution by adopting just-in-time checkpointing for divisible computation tasks and uninterrupted execution for indivisible peripheral tasks. CARTOS also supports processing chains of tasks with precedence constraints and adapts its scheduling in response to environmental changes to offer continuous execution under diverse conditions. CARTOS is implemented with new APIs and components added to FreeRTOS but is designed for portability to other embedded RTOSs. Through real hardware experiments and simulations, CARTOS exhibits superior performance over state-of-the-art methods, demonstrating that it can serve as a practical platform for developing resilient, real-time sensing applications on IPDs.


title: Bound Bogoliubov quasiparticles in photon superfluids

abstract: Bogoliubov's description of Bose gases relies on the linear dynamics of noninteracting quasiparticles on top of a homogeneous condensate. Here, we theoretically explore the weakly-nonlinear regime of a one-dimensional photon superfluid in which phonon-like elementary excitations interact via their backreaction on the background flow. The generalized dispersion relation extracted from spatiotemporal intensity spectra reveals additional branches that correspond to bound Bogoliubov quasiparticles -- phase-locked collective excitations originating from nonresonant harmonic-generation and wave-mixing processes. These mechanisms are inherent to fluctuation dynamics and highlight non-trivial scattering channels other than resonant interactions that could be relevant in the emergence of dissipative and turbulent phenomena in superfluids.


title: Understanding the Influence of Data Characteristics on the Performance of Point-of-Interest Recommendation Algorithms

abstract: The performance of recommendation algorithms is closely tied to key characteristics of the data sets they use, such as sparsity, popularity bias, and preference distributions. In this paper, we conduct a comprehensive explanatory analysis to shed light on the impact of a broad range of data characteristics within the point-of-interest (POI) recommendation domain. To accomplish this, we extend prior methodologies used to characterize traditional recommendation problems by introducing new explanatory variables specifically relevant to POI recommendation. We subdivide a POI recommendation data set on New York City into domain-driven subsamples to measure the effect of varying these characteristics on different state-of-the-art POI recommendation algorithms in terms of accuracy, novelty, and item exposure. Our findings, obtained through the application of an explanatory framework employing multiple-regression models, reveal that the relevant independent variables encompass all categories of data characteristics and account for as much as $R^2 = $ 85-90\% of the accuracy and item exposure achieved by the algorithms. Our study reaffirms the pivotal role of prominent data characteristics, such as density, popularity bias, and the distribution of check-ins in POI recommendation. Additionally, we unveil novel factors, such as the proximity of user activity to the city center and the duration of user activity. In summary, our work reveals why certain POI recommendation algorithms excel in specific recommendation problems and, conversely, offers practical insights into which data characteristics should be modified (or explicitly recognized) to achieve better performance.


title: How are Prompts Different in Terms of Sensitivity?

abstract: In-context learning (ICL) has become one of the most popular learning paradigms. While there is a growing body of literature focusing on prompt engineering, there is a lack of systematic analysis comparing the effects of prompts across different models and tasks. To address this gap, we present a comprehensive prompt analysis based on the sensitivity of a function. Our analysis reveals that sensitivity is an unsupervised proxy for model performance, as it exhibits a strong negative correlation with accuracy. We use gradient-based saliency scores to empirically demonstrate how different prompts affect the relevance of input tokens to the output, resulting in different levels of sensitivity. Furthermore, we introduce sensitivity-aware decoding which incorporates sensitivity estimation as a penalty term in the standard greedy decoding. We show that this approach is particularly helpful when information in the input is scarce. Our work provides a fresh perspective on the analysis of prompts, and contributes to a better understanding of the mechanism of ICL.


title: Error Analysis of Option Pricing via Deep PDE Solvers: Empirical Study

abstract: Option pricing, a fundamental problem in finance, often requires solving non-linear partial differential equations (PDEs). When dealing with multi-asset options, such as rainbow options, these PDEs become high-dimensional, leading to challenges posed by the curse of dimensionality. While deep learning-based PDE solvers have recently emerged as scalable solutions to this high-dimensional problem, their empirical and quantitative accuracy remains not well-understood, hindering their real-world applicability. In this study, we aimed to offer actionable insights into the utility of Deep PDE solvers for practical option pricing implementation. Through comparative experiments, we assessed the empirical performance of these solvers in high-dimensional contexts. Our investigation identified three primary sources of errors in Deep PDE solvers: (i) errors inherent in the specifications of the target option and underlying assets, (ii) errors originating from the asset model simulation methods, and (iii) errors stemming from the neural network training. Through ablation studies, we evaluated the individual impact of each error source. Our results indicate that the Deep BSDE method (DBSDE) is superior in performance and exhibits robustness against variations in option specifications. In contrast, some other methods are overly sensitive to option specifications, such as time to expiration. We also find that the performance of these methods improves inversely proportional to the square root of batch size and the number of time steps. This observation can aid in estimating computational resources for achieving desired accuracies with Deep PDE solvers.


title: Observational Detection of Higher Order Secular Perturbations in Tight Hierarchical Triple Stars

abstract: In this work, we search for observational evidence of higher-order secular perturbations in three eclipsing binaries. These are slightly eccentric binaries, and they form the inner pairs of tight, compact, hierarchical triple star systems. We analyze simultaneously the high precision satellite ($Kepler$ and $TESS$) light curves, eclipse timing variations, combined spectral energy distributions (through catalog passband magnitudes) and, where available, radial velocities of KICs 9714358, 5771589 and TIC 219885468. Besides the determination of robust astrophysical and dynamical properties of the three systems, we find evidence that the observed unusual eclipse timing variations of KIC 9714358 are a direct consequence of the octupole-order secular eccentricity perturbations forced by an unusual, resonant behaviour between the lines of the apsides of the inner and outer orbital ellipses. We also show that, despite its evident cyclic eclipse depth variations, KIC~5771589 is an almost perfectly coplanar system (to within $0.3^\circ$), and we explain the rapid eclipse depth variations with the grazing nature of the eclipses. Finally, we find that the inner pair of TIC~219885468 consists of two twin stars and, hence, in this triple there are no octupole order three-body perturbations. Moreover, we show that this triple is also coplanar on the same level as the former one, but due to its deep eclipses, it does not exhibit eclipse depth variations. We intend to follow this work up with further analyses and a quantitative comparison of the theoretical and the observed perturbations.


title: IASCAR: Incremental Answer Set Counting by Anytime Refinement

abstract: Answer set programming (ASP) is a popular declarative programming paradigm with various applications. Programs can easily have many answer sets that cannot be enumerated in practice, but counting still allows quantifying solution spaces. If one counts under assumptions on literals, one obtains a tool to comprehend parts of the solution space, so-called answer set navigation. However, navigating through parts of the solution space requires counting many times, which is expensive in theory. Knowledge compilation compiles instances into representations on which counting works in polynomial time. However, these techniques exist only for CNF formulas, and compiling ASP programs into CNF formulas can introduce an exponential overhead. This paper introduces a technique to iteratively count answer sets under assumptions on knowledge compilations of CNFs that encode supported models. Our anytime technique uses the inclusion-exclusion principle to improve bounds by over- and undercounting systematically. In a preliminary empirical analysis, we demonstrate promising results. After compiling the input (offline phase), our approach quickly (re)counts.


title: Multi-task learning for joint weakly-supervised segmentation and aortic arch anomaly classification in fetal cardiac MRI

abstract: Congenital Heart Disease (CHD) is a group of cardiac malformations present already during fetal life, representing the prevailing category of birth defects globally. Our aim in this study is to aid 3D fetal vessel topology visualisation in aortic arch anomalies, a group which encompasses a range of conditions with significant anatomical heterogeneity. We present a multi-task framework for automated multi-class fetal vessel segmentation from 3D black blood T2w MRI and anomaly classification. Our training data consists of binary manual segmentation masks of the cardiac vessels' region in individual subjects and fully-labelled anomaly-specific population atlases. Our framework combines deep learning label propagation using VoxelMorph with 3D Attention U-Net segmentation and DenseNet121 anomaly classification. We target 11 cardiac vessels and three distinct aortic arch anomalies, including double aortic arch, right aortic arch, and suspected coarctation of the aorta. We incorporate an anomaly classifier into our segmentation pipeline, delivering a multi-task framework with the primary motivation of correcting topological inaccuracies of the segmentation. The hypothesis is that the multi-task approach will encourage the segmenter network to learn anomaly-specific features. As a secondary motivation, an automated diagnosis tool may have the potential to enhance diagnostic confidence in a decision support setting. Our results showcase that our proposed training strategy significantly outperforms label propagation and a network trained exclusively on propagated labels. Our classifier outperforms a classifier trained exclusively on T2w volume images, with an average balanced accuracy of 0.99 (0.01) after joint training. Adding a classifier improves the anatomical and topological accuracy of all correctly classified double aortic arch subjects.


title: DeepMetricEye: Metric Depth Estimation in Periocular VR Imagery

abstract: Despite the enhanced realism and immersion provided by VR headsets, users frequently encounter adverse effects such as digital eye strain (DES), dry eye, and potential long-term visual impairment due to excessive eye stimulation from VR displays and pressure from the mask. Recent VR headsets are increasingly equipped with eye-oriented monocular cameras to segment ocular feature maps. Yet, to compute the incident light stimulus and observe periocular condition alterations, it is imperative to transform these relative measurements into metric dimensions. To bridge this gap, we propose a lightweight framework derived from the U-Net 3+ deep learning backbone that we re-optimised, to estimate measurable periocular depth maps. Compatible with any VR headset equipped with an eye-oriented monocular camera, our method reconstructs three-dimensional periocular regions, providing a metric basis for related light stimulus calculation protocols and medical guidelines. Navigating the complexities of data collection, we introduce a Dynamic Periocular Data Generation (DPDG) environment based on UE MetaHuman, which synthesises thousands of training images from a small quantity of human facial scan data. Evaluated on a sample of 36 participants, our method exhibited notable efficacy in the periocular global precision evaluation experiment, and the pupil diameter measurement.


title: A micro-mechanics based extension of the GTN continuum model accounting for random void distributions

abstract: Randomness in the void distribution within a ductile metal complicates quantitative modeling of damage following the void growth to coalescence failure process. Though the sequence of micro-mechanisms leading to ductile failure is known from unit cell models, often based on assumptions of a regular distribution of voids, the effect of randomness remains a challenge. In the present work, mesoscale unit cell models, each containing an ensemble of four voids of equal size that are randomly distributed, are used to find statistical effects on the yield surface of the homogenized material. A yield locus is found based on a mean yield surface and a standard deviation of yield points obtained from 15 realizations of the four-void unit cells. It is found that the classical GTN model very closely agrees with the mean of the yield points extracted from the unit cell calculations with random void distributions, while the standard deviation $\textbf{S}$ varies with the imposed stress state. It is shown that the standard deviation is nearly zero for stress triaxialities $T\leq1/3$, while it rapidly increases for triaxialities above $T\approx 1$, reaching maximum values of about $\textbf{S}/\sigma_0\approx0.1$ at $T \approx 4$. At even higher triaxialities it decreases slightly. The results indicate that the dependence of the standard deviation on the stress state follows from variations in the deformation mechanism since a well-correlated variation is found for the volume fraction of the unit cell that deforms plastically at yield. Thus, the random void distribution activates different complex localization mechanisms at high stress triaxialities that differ from the ligament thinning mechanism forming the basis for the classical GTN model. A method for introducing the effect of randomness into the GTN continuum model is presented, and an excellent comparison to the unit cell yield locus is achieved.


title: In Search of the Long-Tail: Systematic Generation of Long-Tail Inferential Knowledge via Logical Rule Guided Search

abstract: State-of-the-art LLMs outperform humans on reasoning tasks such as Natural Language Inference. Recent works evaluating LLMs note a marked performance drop on input data from the low-probability distribution, i.e., the longtail. Therefore, we focus on systematically generating statements involving long-tail inferential knowledge for more effective evaluation of LLMs in the reasoning space. We first propose a novel framework Logic-Induced- Knowledge-Search (LINK) that generates factually correct and long-tail knowledge statements grounded on symbolic rule templates; LINK effectively generates data in the longtail distribution that zero-shot prompted LLMs are unable to reach, and outperforms zero-shot GPT4 on factual correctness by 5%. We further use the data generated by LINK to construct a dataset Logic-Induced-Long-Tail (LINT) that can be used to evaluate downstream models on the long-tail distribution; LINT contains 108K knowledge statements spanning four domains. We use LINT to test LLMs on an entailment classification task and find that model performances drop by as high as 5% in the long-tail distribution compared to head distribution. Our work shows the utility of evaluating models in the long-tail distribution, and calls for more research on generating evaluation data in the long-tail distribution.


title: Time-Frequency Localization Characteristics of the Delay-Doppler Plane Orthogonal Pulse

abstract: The orthogonal delay-Doppler (DD) division multiplexing (ODDM) modulation has recently been proposed as a promising solution for ensuring reliable communications in high mobility scenarios. In this work, we investigate the time-frequency (TF) localization characteristics of the DD plane orthogonal pulse (DDOP), which is the prototype pulse of ODDM modulation. The TF localization characteristics examine how concentrated or spread out the energy of a pulse is in the joint TF domain. We first derive the TF localization metric, TF area (TFA), for the DDOP. Based on this result, we provide insights into the energy spread of the DDOP in the joint TF domain. Then, we delve into the potential advantages of the DDOP due to its energy spread, particularly in terms of leveraging both time and frequency diversities, and enabling high-resolution sensing. Furthermore, we determine the TFA for the recently proposed generalized design of the DDOP. Finally, we validate our analysis based on numerical results and show that the energy spread for the generalized design of the DDOP in the joint TF domain exhibits a step-wise increase as the duration of sub-pulses increases.


title: RESenv: A Realistic Earthquake Simulation Environment based on Unreal Engine

abstract: Earthquakes have a significant impact on societies and economies, driving the need for effective search and rescue strategies. With the growing role of AI and robotics in these operations, high-quality synthetic visual data becomes crucial. Current simulation methods, mostly focusing on single building damages, often fail to provide realistic visuals for complex urban settings. To bridge this gap, we introduce an innovative earthquake simulation system using the Chaos Physics System in Unreal Engine. Our approach aims to offer detailed and realistic visual simulations essential for AI and robotic training in rescue missions. By integrating real seismic waveform data, we enhance the authenticity and relevance of our simulations, ensuring they closely mirror real-world earthquake scenarios. Leveraging the advanced capabilities of Unreal Engine, our system delivers not only high-quality visualisations but also real-time dynamic interactions, making the simulated environments more immersive and responsive. By providing advanced renderings, accurate physical interactions, and comprehensive geological movements, our solution outperforms traditional methods in efficiency and user experience. Our simulation environment stands out in its detail and realism, making it a valuable tool for AI tasks such as path planning and image recognition related to earthquake responses. We validate our approach through three AI-based tasks: similarity detection, path planning, and image segmentation.


title: The \ion{H}{I}-rich Ultra-diffuse Galaxies follow the Extended Schmidt Law

abstract: The \ion{H}{I}-rich ultra-diffuse galaxies (HUDGs) offer a unique case for studies of star formation laws (SFLs) as they host low star formation efficiency (SFE) and low-metallicity environments where gas is predominantly atomic. We collect a sample of six HUDGs in the field and investigate their location in the extended Schmidt law($\Sigma_{\text {SFR }} \propto \left(\Sigma_{\text{star}}^{0.5} \Sigma_{\text{gas}}\right)^{1.09}$). They are consistent with this relationship well (with deviations of only 1.1 sigma). Furthermore, we find that HUDGs follow the tight correlation between the hydrostatic pressure in the galaxy mid-plane and the quantity on the x-axis ($\rm log(\Sigma_{star}^{0.5}\Sigma_{gas})$) of the extended Schmidt law. This result indicates that these HUDGs can be self-regulated systems that reach the dynamical and thermal equilibrium. In this framework, the stellar gravity compresses the disk vertically and counteracts the gas pressure in the galaxy mid-plane to regulate the star formation as suggested by some theoretical models.


title: IndexMAC: A Custom RISC-V Vector Instruction to Accelerate Structured-Sparse Matrix Multiplications

abstract: Structured sparsity has been proposed as an efficient way to prune the complexity of modern Machine Learning (ML) applications and to simplify the handling of sparse data in hardware. The acceleration of ML models - for both training and inference - relies primarily on equivalent matrix multiplications that can be executed efficiently on vector processors or custom matrix engines. The goal of this work is to incorporate the simplicity of structured sparsity into vector execution, thereby accelerating the corresponding matrix multiplications. Toward this objective, a new vector index-multiply-accumulate instruction is proposed, which enables the implementation of lowcost indirect reads from the vector register file. This reduces unnecessary memory traffic and increases data locality. The proposed new instruction was integrated in a decoupled RISCV vector processor with negligible hardware cost. Extensive evaluation demonstrates significant speedups of 1.80x-2.14x, as compared to state-of-the-art vectorized kernels, when executing layers of varying sparsity from state-of-the-art Convolutional Neural Networks (CNNs).


title: Slow Passage through a Saddle-Node Bifurcation in Discrete Dynamical Systems

abstract: We study a discrete non-autonomous system whose autonomous counterpart (with the frozen bifurcation parameter) admits a saddle-node bifurcation, and in which the bifurcation parameter slowly changes in time and is characterized by a sweep rate constant $\epsilon$. The discrete system is more appropriate for modeling realistic systems since only time series data is available. We show that in contrast to its autonomous counterpart, when the time mesh size $\Delta t$ is less than the order $O(\epsilon)$, there is a bifurcation delay as the bifurcation time-varying parameter is varied through the bifurcation point, and the delay is proportional to the two-thirds power of the sweep rate constant $\epsilon$. This bifurcation delay is significant in various realistic systems since it allows one to take necessary action promptly before a sudden collapse or shift to different states. On the other hand, when the time mesh size $\Delta t$ is larger than the order $o(\epsilon)$, the dynamical behavior of the solution is dramatically changed before the bifurcation point. This behavior is not observed in the autonomous counterpart. Therefore, the dynamical behavior of the system strongly depends on the time mesh size. Finally. due to the very discrete feature of the system, there are no efficient tools for the analytical study of the system. Our approach is elementary and analytical.


title: Optimal Estimation of Large-Dimensional Nonlinear Factor Models

abstract: This paper studies optimal estimation of large-dimensional nonlinear factor models. The key challenge is that the observed variables are possibly nonlinear functions of some latent variables where the functional forms are left unspecified. A local principal component analysis method is proposed to estimate the factor structure and recover information on latent variables and latent functions, which combines $K$-nearest neighbors matching and principal component analysis. Large-sample properties are established, including a sharp bound on the matching discrepancy of nearest neighbors, sup-norm error bounds for estimated local factors and factor loadings, and the uniform convergence rate of the factor structure estimator. Under mild conditions our estimator of the latent factor structure can achieve the optimal rate of uniform convergence for nonparametric regression. The method is illustrated with a Monte Carlo experiment and an empirical application studying the effect of tax cuts on economic growth.


title: A few remarks on intermediate subalgebras of an inclusion of $C^*$-algebras

abstract: In this short note, we prove that the angle between intermediate $C^*$-subalgebras of an inclusion of simple $C^*$-algebras with finite Watatani index is stable. The notion of angle is instrumental in providing a bound for the cardinality of the lattice of intermediate subalgebras for an irreducible inclusion of simple $C^*$-algebras. We improve the existing upper bound for the cardinality of this set.


title: Towards Transferring Tactile-based Continuous Force Control Policies from Simulation to Robot

abstract: The advent of tactile sensors in robotics has sparked many ideas on how robots can leverage direct contact measurements of their environment interactions to improve manipulation tasks. An important line of research in this regard is that of grasp force control, which aims to manipulate objects safely by limiting the amount of force exerted on the object. While prior works have either hand-modeled their force controllers, employed model-based approaches, or have not shown sim-to-real transfer, we propose a model-free deep reinforcement learning approach trained in simulation and then transferred to the robot without further fine-tuning. We therefore present a simulation environment that produces realistic normal forces, which we use to train continuous force control policies. An evaluation in which we compare against a baseline and perform an ablation study shows that our approach outperforms the hand-modeled baseline and that our proposed inductive bias and domain randomization facilitate sim-to-real transfer. Code, models, and supplementary videos are available on https://sites.google.com/view/rl-force-ctrl


title: Multipole expansion of the gravitational field in a general class of fourth-order theories of gravity and the application in gyroscopic precession

abstract: A viable weak-field and slow-motion approximation method is constructed in $F(R,R_{\mu\nu}R^{\mu\nu}, R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma})$ gravity, a general class of fourth-order theories of gravity. By applying this method, the metric, presented in the form of the multipole expansion, outside a spatially compact source up to $1/c^3$ order is provided, and the closed-form expressions for the source multipole moments are all presented explicitly. The metric consists of the massless tensor part, the massive scalar part, and the massive tensor part, where the former is exactly the metric in General Relativity, and the latter two are the corrections to it. It is shown that the corrections bear the Yukawa-like dependence on the two massive parameters and predict the appearance of six additional sets of source multipole moments, which indicates that up to $1/c^3$ order, there exist six degrees of freedom beyond General Relativity within $F(R,R_{\mu\nu}R^{\mu\nu}, R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma})$ gravity. By means of the metric, for a gyroscope moving around the source without experiencing any torque, the multipole expansions of its spin's angular velocities of the Thomas precession, the geodetic precession, and the Lense-Thirring precession are derived, and from them, the corrections to the angular velocities of the three types of precession in General Relativity can be read off. These results indicate that differently from $f(R)$ or $f(R,\mathcal{G})$ gravity, the most salient feature of the general $F(R,R_{\mu\nu}R^{\mu\nu}, R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma})$ gravity is that it gives the nonvanishing correction to the gyroscopic spin's angular velocity of the Lense-Thirring precession in General Relativity.


title: Simultaneous Clutter Detection and Semantic Segmentation of Moving Objects for Automotive Radar Data

abstract: The unique properties of radar sensors, such as their robustness to adverse weather conditions, make them an important part of the environment perception system of autonomous vehicles. One of the first steps during the processing of radar point clouds is often the detection of clutter, i.e. erroneous points that do not correspond to real objects. Another common objective is the semantic segmentation of moving road users. These two problems are handled strictly separate from each other in literature. The employed neural networks are always focused entirely on only one of the tasks. In contrast to this, we examine ways to solve both tasks at the same time with a single jointly used model. In addition to a new augmented multi-head architecture, we also devise a method to represent a network's predictions for the two tasks with only one output value. This novel approach allows us to solve the tasks simultaneously with the same inference time as a conventional task-specific model. In an extensive evaluation, we show that our setup is highly effective and outperforms every existing network for semantic segmentation on the RadarScenes dataset.


title: First Measurement of $R(X_{\tau/\ell})$ as an Inclusive Test of the $b \to c \tau \nu$ Anomaly

abstract: We measure the tau-to-light-lepton ratio of inclusive $B$-meson branching fractions $R(X_{\tau/\ell}) \equiv \mathcal{B}(B\to X \tau \nu)/\mathcal{B}(B \to X \ell \nu)$, where $\ell$ indicates an electron or muon, and thereby test the universality of charged-current weak interactions. We select events that have one fully reconstructed $B$ meson and a charged lepton candidate from $189~\mathrm{fb}^{-1}$ of electron-positron collision data collected with the Belle II detector. We find $R(X_{\tau/\ell}) = 0.228 \pm 0.016~(\mathrm{stat}) \pm 0.036~(\mathrm{syst})$, in agreement with standard-model expectations. This is the first direct measurement of $R(X_{\tau/\ell})$.


title: Near-Field Sparse Channel Estimation for Extremely Large-Scale RIS-Aided Wireless Communications

abstract: A significant increase in the number of reconfigurable intelligent surface (RIS) elements results in a spherical wavefront in the near field of extremely large-scale RIS (XL-RIS). Although the channel matrix of the cascaded two-hop link may become sparse in the polar-domain representation, their accurate estimation of these polar-domain parameters cannot be readily guaranteed. To tackle this challenge, we exploit the sparsity inherent in the cascaded channel. To elaborate, we first estimate the significant path-angles and distances corresponding to the common paths between the BS and the XL-RIS. Then, the individual path parameters associated with different users are recovered. This results in a two-stage channel estimation scheme, in which distinct learning-based networks are used for channel training at each stage. More explicitly, in stage I, a denoising convolutional neural network (DnCNN) is employed for treating the grid mismatches as noise to determine the true grid index of the angles and distances. By contrast, an iterative shrinkage thresholding algorithm (ISTA) based network is proposed for adaptively adjusting the column coherence of the dictionary matrix in stage II. Finally, our simulation results demonstrate that the proposed two-stage learning-based channel estimation outperforms the state-of-the-art benchmarks.


title: The disk of the eruptive protostar V900 Mon; a MATISSE/VLTI and MUSE/VLT perspective

abstract: In this work, we study the silicate dust content in the disk of one of the youngest eruptive stars, V900 Mon, at the highest angular resolution probing down to the inner 10 au of said disk, and study the historical evolution of the system traced in part by a newly discovered emission clump. We performed high-angular resolution mid-infrared interferometric observations of V900 Mon with MATISSE/VLTI with a spatial coverage ranging from 38-m to 130-m baselines, and compared them to archival MIDI/VLTI data. We also mined and re-analyzed archival optical and infrared photometry of the star to study its long-term evolution since its eruption in the 1990s. We complemented our findings with integral field spectroscopy data from MUSE/VLT. The MATISSE/VLTI data suggest a radial variation of the silicate feature in the dusty disk, whereby at large spatial scales ($\geq10$ au) the protostellar disk's emission is dominated by large-sized ($\geq1\,\mu m$) silicate grains, while at smaller spatial scales and closer to the star ($\leq5$ au), silicate emission is absent suggesting self-shielding. We propose that the self-shielding may be the result of small dust grains at the base of the collimated CO outflow previously detected by ALMA. A newly discovered knot in the MUSE/VLT data, located at a projected distance approximately 27,000 au from the star, is co-aligned with the molecular gas outflow at a P.A. of $250^o$ ($\pm5^o$) consistent with the position angle and inclination of the disk. The knot is seen in emission in H$\alpha$, [N II], and the [S II] doublet and its kinematic age is about 5150 years. This ejected material could originate from a previous eruption.


title: The Dynamics of a Bicycle on a Pump Track -- First Results on Modeling and Optimal Control

abstract: We investigate the dynamics of a bicycle on an uneven mountain bike track split into straight sections with small jumps (kickers) and banked corners. A basic bike-rider model is proposed and used to derive equations of motion, which capture the possibilities to accelerate the bicycle without pedaling. Since this is a first approach to the problem, only corners connected by straight lines are considered to compute optimal riding strategies. The simulation is validated with experimental data obtained on a real pump track. It is demonstrated that the model effectively captures the longitudinal bike acceleration resulting from the relative vertical motion between the rider's upper body and the bicycle. Our numerical results are in good analogy with real rider's actions on similar tracks.


title: Terahertz metamaterials for light-driven magnetism

abstract: We describe the design of two types of metamaterials aimed at enhancing terahertz field pulses that can be used to control the magnetic state in condensed matter systems. The first structure is a so-called "dragonfly" antenna, able to realize a five-fold enhancement of the impinging terahertz magnetic field, while preserving its broadband features. For currently available state-of-the-art table top sources, this leads to peak magnetic fields exceeding 1 T. The second structure is an octopole antenna aimed at enhancing a circularly-polarized terahertz electric field, while preserving its polarization state. We obtain a five-fold enhancement of the electric field, hence expected to exceed the 1 MV/cm peak amplitude. Both our structures can be readily fabricated on top of virtually any material.


title: Machine learning the Kondo entanglement cloud from local measurements

abstract: A quantum coherent screening cloud around a magnetic impurity in metallic systems is the hallmark of the antiferromagnetic Kondo effect. Despite the central role of the Kondo effect in quantum materials, the structure of quantum correlations of the screening cloud has defied direct observations. In this work, we introduce a machine-learning algorithm that allows to spatially map the entangled electronic modes in the vicinity of the impurity site from experimentally accessible data. We demonstrate that local correlators allow reconstructing the local many-body correlation entropy in real-space in a double Kondo system with overlapping entanglement clouds. Our machine learning methodology allows bypassing the typical requirement of measuring long-range non-local correlators with conventional methods. We show that our machine learning algorithm is transferable between different Kondo system sizes, and we show its robustness in the presence of noisy correlators. Our work establishes the potential of machine learning methods to map many-body entanglement from real-space measurements.


title: Coherent spatial control of wave packet dynamics on quantum lattices

abstract: Quantum lattices are pivotal in the burgeoning fields of quantum materials and information science. Rapid developments in microscopy and quantum engineering allow for preparing and monitoring wave-packet dynamics on quantum lattices with increasing spatial and temporal resolution. Motivated by these emerging research interests, we present an analytical study of wave packet diffusivity and diffusion length on tight-binding quantum lattices subject to stochastic noise. Our analysis points to the crucial role of spatial coherence and predicts a set of novel phenomena: noise can enhance the transient diffusivity and diffusion length of sufficiently extended initial states; A smooth Gaussian initial state spreads slower than a localized initial state; A standing or traveling initial state with large momentum spreads faster than a localized initial state and exhibits a noise-induced peak in the transient diffusivity; The change in the time-dependent diffusivity and diffusion length relative to a localized initial state follows a universal dependence on the Gaussian width. These theoretical predictions and the underlying mechanism of spatial coherence suggest the possibility of controlling the wave packet dynamics on quantum lattices by spatial manipulations, which will have implications for materials science and quantum technologies.


title: Spright: a probabilistic mass-density-radius relation for small planets

abstract: We present Spright, a Python package that implements a fast and lightweight mass-density-radius relation for small planets. The relation represents the joint planetary radius and bulk density probability distribution as a mean posterior predictive distribution of an analytical three-component mixture model. The analytical model, in turn, represents the probability for the planetary bulk density as three generalised Student's t-distributions with radius-dependent weights and means based on theoretical composition models. The approach is based on Bayesian inference and aims to overcome the rigidity of simple parametric mass-radius relations and the danger of overfitting of non-parametric mass-radius relations. The package includes a set of pre-trained and ready-to-use relations based on two M dwarf catalogues, one FGK star catalogue, and two theoretical composition models for water-rich planets. The inference of new models is easy and fast, and the package includes a command line tool that allows for coding-free use of the relation, including the creation of publication-quality plots. Additionally, we study whether the current mass and radius observations of small exoplanets support the presence of a population of water-rich planets positioned between rocky planets and sub-Neptunes. The study is based on Bayesian model comparison and shows somewhat strong support against the existence of a water-world population around M dwarfs. However, the results of the study depend on the chosen theoretical water-world density model. A more conclusive result requires a larger sample of precisely characterised planets and community consensus on a realistic water world interior structure and atmospheric composition model.


title: Origin of Incommensurate Magnetic Order in Rare-Earth Magnetic Weyl Semimetals

abstract: We investigate rare-earth magnetic Weyl semimetals through first-principles simulations, analyzing the connection between incommensurate magnetic order and the presence of Weyl nodes in the electronic band structure. Focusing on PrAlSi, NdAlSi, and SmAlSi, we demonstrate that the reported helical ordering does not originate from the nesting of topological features at the Fermi Surface or the Dzyaloshinskii-Moriya interaction. Instead, the helical order arises from frustrated isotropic short-range superexchange between the 4f moments facilitated by pd-hybridization with the main group elements. Employing a spin Hamiltonian with isotropic exchange and single-ion anisotropy we replicate the experimentally observed helical modulation.


title: Bio-Inspired Grasping Controller for Sensorized 2-DoF Grippers

abstract: We present a holistic grasping controller, combining free-space position control and in-contact force-control for reliable grasping given uncertain object pose estimates. Employing tactile fingertip sensors, undesired object displacement during grasping is minimized by pausing the finger closing motion for individual joints on first contact until force-closure is established. While holding an object, the controller is compliant with external forces to avoid high internal object forces and prevent object damage. Gravity as an external force is explicitly considered and compensated for, thus preventing gravity-induced object drift. We evaluate the controller in two experiments on the TIAGo robot and its parallel-jaw gripper proving the effectiveness of the approach for robust grasping and minimizing object displacement. In a series of ablation studies, we demonstrate the utility of the individual controller components.


title: High Rectification Ratio at Room Temperature in Rhenium(I) Compound

abstract: Electrical current rectification is an interesting electronic feature, popularly known as a diode. Achieving a high rectification ratio in a molecular junction has been a long-standing goal in molecular electronics. The present work describes mimicking electrical current rectification with pi-stacked rhenium(I) compound sandwiched between two electrical contacts. Among the two mononuclear rhenium compounds studied here, [Re(CO)4(PPh3){(N)-saccharinate}] (1) and [Re(CO)3(phen){(N)-saccharinate}] (2), the latter show strong pi-pi interactions-induced high rectification ratio of ~ 4000 at 2.0 V at room temperature. Alternating current (AC)-based electrical measurements ensuring AC to DC electrical signal conversion at a frequency f of 1 KHz showing 2 can act as an excellent half-wave rectifier. Asymmetric charge injection barrier height at the electrode/Re(I) interfaces of the devices with a stacking configuration of p++-Si/Re compound31nm(2)/ITO originates the flow of electrical current unidirectionally. The charge transport mechanism governed by thermally activated hopping phenomena, and charge carrier propagation is explained through an energy profile considering the Fermi levels of two electrodes, and the energy of frontier molecular orbitals, HOMO, and LUMO, confirming rectification is of a molecular origin. The present work paves the way to combine different organometallic compounds as circuit elements in nanoelectronic devices to achieve numerous exciting electronic features.


title: Towards Bounding Causal Effects under Markov Equivalence

abstract: Predicting the effect of unseen interventions is a fundamental research question across the data sciences. It is well established that in general such questions cannot be answered definitively from observational data. This realization has fuelled a growing literature introducing various identifying assumptions, for example in the form of a causal diagram among relevant variables. In practice, this paradigm is still too rigid for many practical applications as it is generally not possible to confidently delineate the true causal diagram. In this paper, we consider the derivation of bounds on causal effects given only observational data. We propose to take as input a less informative structure known as a Partial Ancestral Graph, which represents a Markov equivalence class of causal diagrams and is learnable from data. In this more ``data-driven'' setting, we provide a systematic algorithm to derive bounds on causal effects that exploit the invariant properties of the equivalence class, and that can be computed analytically. We demonstrate our method with synthetic and real data examples.


title: TIAGo RL: Simulated Reinforcement Learning Environments with Tactile Data for Mobile Robots

abstract: Tactile information is important for robust performance in robotic tasks that involve physical interaction, such as object manipulation. However, with more data included in the reasoning and control process, modeling behavior becomes increasingly difficult. Deep Reinforcement Learning (DRL) produced promising results for learning complex behavior in various domains, including tactile-based manipulation in robotics. In this work, we present our open-source reinforcement learning environments for the TIAGo service robot. They produce tactile sensor measurements that resemble those of a real sensorised gripper for TIAGo, encouraging research in transfer learning of DRL policies. Lastly, we show preliminary training results of a learned force control policy and compare it to a classical PI controller.


title: Sketch-based Video Object Segmentation: Benchmark and Analysis

abstract: Reference-based video object segmentation is an emerging topic which aims to segment the corresponding target object in each video frame referred by a given reference, such as a language expression or a photo mask. However, language expressions can sometimes be vague in conveying an intended concept and ambiguous when similar objects in one frame are hard to distinguish by language. Meanwhile, photo masks are costly to annotate and less practical to provide in a real application. This paper introduces a new task of sketch-based video object segmentation, an associated benchmark, and a strong baseline. Our benchmark includes three datasets, Sketch-DAVIS16, Sketch-DAVIS17 and Sketch-YouTube-VOS, which exploit human-drawn sketches as an informative yet low-cost reference for video object segmentation. We take advantage of STCN, a popular baseline of semi-supervised VOS task, and evaluate what the most effective design for incorporating a sketch reference is. Experimental results show sketch is more effective yet annotation-efficient than other references, such as photo masks, language and scribble.


title: Stability and superconductivity of freestanding two-dimensional transition metal boridene: M4/3B2

abstract: The small atomic mass of boron indicates strong electron-phonon coupling, so it may have a brilliant performance in superconductivity. Recently, a new 2D boride sheet with ordered metal vacancies and surface terminals (Mo4/3B2-x) was realized in experiments (Science 2021, 373, 801). Here, the 2D monolayer freestanding Mo4/3B2is evidenced to be thermodynamically stable. Through electronic structure, phonon spectrum and electron-phonon coupling, monolayer Mo4/3B2 is found to be an intrinsic phonon-mediated superconductor. The superconducting transition temperature (Tc) is determined to be 4.06 K by the McMillian-Allen-Dynes formula. Remarkably, the Tc of monolayer Mo4/3B2 can be increased to 6.78 K with an appropriate biaxial tensile strain (+5%). Moreover, we predict that other transition metal replacing Mo atoms is also stable and retaining the superconductivity. Such as monolayer W4/3B2 is also a superconductor with the Tc of 2.37 K. Our research results enrich the database of 2D monolayer superconductors and boron-related formed materials science.


title: LT-ViT: A Vision Transformer for multi-label Chest X-ray classification

abstract: Vision Transformers (ViTs) are widely adopted in medical imaging tasks, and some existing efforts have been directed towards vision-language training for Chest X-rays (CXRs). However, we envision that there still exists a potential for improvement in vision-only training for CXRs using ViTs, by aggregating information from multiple scales, which has been proven beneficial for non-transformer networks. Hence, we have developed LT-ViT, a transformer that utilizes combined attention between image tokens and randomly initialized auxiliary tokens that represent labels. Our experiments demonstrate that LT-ViT (1) surpasses the state-of-the-art performance using pure ViTs on two publicly available CXR datasets, (2) is generalizable to other pre-training methods and therefore is agnostic to model initialization, and (3) enables model interpretability without grad-cam and its variants.


title: Danish Foundation Models

abstract: Large language models, sometimes referred to as foundation models, have transformed multiple fields of research. However, smaller languages risk falling behind due to high training costs and small incentives for large companies to train these models. To combat this, the Danish Foundation Models project seeks to provide and maintain open, well-documented, and high-quality foundation models for the Danish language. This is achieved through broad cooperation with public and private institutions, to ensure high data quality and applicability of the trained models. We present the motivation of the project, the current status, and future perspectives.


title: Quotient Space Quantum Codes

abstract: Additive codes and some nonadditive codes use the single and multiple invariant subspaces of the stabilizer G to construct quantum codes, respectively, so the selection of invariant subspaces is a key issue. In this letter, I provide the necessary and sufficient conditions for this problem and, for the first time, establish the quotient space codes to construct quantum codes. This new code unifies additive codes and codeword stabilized codes and can transmit classical codewords. New bounds for quantum codes are presented also, and a simple proof of the quantum Singleton bound is provided. The quotient space approach offers a concise and clear mathematical form for the study of quantum error-correcting codes.


title: Network-assist free self-testing of genuine multipartite entangled states

abstract: Self-testing is a method to certify quantum states and measurements in a device-independent way. The device-independent certification of quantum properties is purely based on input-output measurement statistics of the involved devices with minimal knowledge about their internal workings. Bipartite pure entangled states can be self-tested, but, in the case of multipartite pure entangled states, the answer is not so straightforward. Nevertheless, \v{S}upi\'{c} et al. recently introduced a novel self-testing method for any pure entangled quantum state, which leverages network assistance and relies on bipartite entangled measurements. Hence, their scheme loses the true device-independent flavor of self-testing. In this regard, we provide a self-testing scheme for genuine multipartite pure entangle states in the true sense by employing a generalized Hardy-type non-local argument. Our scheme involves only local operations and classical communications and does not depend on bipartite entangled measurements and is free from any network assistance. In addition, we provide the device-independent bound of the maximum probability of success for generalized Hardy-type nonlocality argument.


title: Variational Properties of Decomposable Functions. Part I: Strict Epi-Calculus and Applications

abstract: We provide systematic studies of the variational properties of decomposable functions which are compositions of an outer support function and an inner smooth mapping under certain constraint qualifications. We put a particular focus on the strict twice epi-differentiability and the associated strict second subderivative of such functions. Calculus rules for the (strict) second subderivative and twice epi-differentiability of decomposable functions are derived which allow us to link the (strict) second subderivative of decomposable mappings to the simpler outer support function. Applying the variational properties of the support function, we establish the equivalence between strict twice epi-differentiability of decomposable functions, continuous differentiability of its proximity operator, and the strict complementarity condition. This allows us to fully characterize the strict saddle point property of decomposable functions. In addition, we give a formula for the strict second subderivative for decomposable functions whose outer support set is sufficiently regular. This provides an alternative characterization of the strong metric regularity of the subdifferential of decomposable functions. Finally, we verify that these introduced regularity conditions are satisfied by many practical functions.


title: ViKi-HyCo: A Hybrid-Control approach for complex car-like maneuvers

abstract: While Visual Servoing is deeply studied to perform simple maneuvers, the literature does not commonly address complex cases where the target is far out of the camera's field of view (FOV) during the maneuver. For this reason, in this paper, we present ViKi-HyCo (Visual Servoing and Kinematic Hybrid-Controller). This approach generates the necessary maneuvers for the complex positioning of a non-holonomic mobile robot in outdoor environments. In this method, we use \hbox{LiDAR-camera} fusion to estimate objects bounding boxes using image and metrics modalities. With the multi-modality nature of our representation, we can automatically obtain a target for a visual servoing controller. At the same time, we also have a metric target, which allows us to hybridize with a kinematic controller. Given this hybridization, we can perform complex maneuvers even when the target is far away from the camera's FOV. The proposed approach does not require an object-tracking algorithm and can be applied to any robotic positioning task where its kinematic model is known. ViKi-HyCo has an error of 0.0428 \pm 0.0467 m in the X-axis and 0.0515 \pm 0.0323 m in the Y-axis at the end of a complete positioning task.


title: Decision-making under risk: when is utility maximization equivalent to risk minimization?

abstract: Motivated by the analysis of a general optimal portfolio selection problem, which encompasses as special cases an optimal consumption and an optimal debt-arrangement problem, we are concerned with the questions of how a personality trait like risk-perception can be formalized and whether the two objectives of utility-maximization and risk-minimization can be both achieved simultaneously. We address these questions by developing an axiomatic foundation of preferences for which utility-maximization is equivalent to minimizing a utility-based shortfall risk measure. Our axiomatization hinges on a novel axiom in decision theory, namely the risk-perception axiom.


title: Quantum measurements in fundamental physics: a user's manual

abstract: We give a systematic theoretical treatment of linear quantum detectors used in modern high energy physics experiments, including dark matter cavity haloscopes, gravitational wave detectors, and impulsive mechanical sensors. We show how to derive the coupling of signals of interest to these devices, and how to calculate noise spectra, signal-to-noise ratios, and detection sensitivities. We emphasize the role of quantum vacuum and thermal noise in these systems. Finally, we review ways in which advanced quantum techniques -- squeezing, non-demolition measurements, and entanglement -- can be or currently are used to enhance these searches.


title: Revisiting Dimorphos formation: A pyramidal regime perspective and application to Dinkinesh's satellite

abstract: Dimorphos' oblate shape challenges formation models. Landslides on Didymos, induced by YORP effect, probably created a debris ring from which Dimorphos would have formed. Nonetheless, ring-derived satellites typically form with a prolate lemon shape. In light of the newest Dimorphos shape model, we revisit our previous work, Madeira et al. (2023a), and conducted new 1D simulations with material deposition in an extended region from 1.0 to 1.5 Didymos radii. An instantaneous landslide leads to a fast formation of a prolate Dimorphos directly from the ring. Now, if Didymos progressively deposits mass, Dimorphos grows through low-velocity impacts with large impactor-to-target mass ratio (pyramidal regime growth). Even during rapid, day-scale depositions, Dimorphos experiences one of these impacts, while for slower depositions, the satellite formation is primarily via pyramidal impacts. This process might reshape the satellite into an oblate shape (Leleu et al., 2018) or even in a contact-binary shape, a scenario worthy of investigation that should be studied in the future with more suitable tools. Our conclusions can be applied to Dinkinesh's satellite, recently discovered by NASA's Lucy mission.


title: Hydrodynamic theories for a system of weakly self-interacting classical ultra-relativistic scalar particles: causality and stability

abstract: We investigate the causality and stability of three different relativistic dissipative fluid-dynamical formulations emerging from a system of classical, ultra-relativistic scalar particles self-interacting via a quartic potential. For this particular interaction, all transport coefficients of Navier-Stokes, Bemfica-Disconzi-Noronha-Kovtun and second-order transient theories can be computed in analytical form. We first show that Navier-Stokes theory is acausal and unstable regardless of the matching conditions. On the other hand, BDNK theory can be linearly causal and stable for a particular set of matching choices that does not contain the so-called exotic Eckart prescription. In particular, using the Li\'enard-Chipart criterion, we obtain a set of sufficient conditions that guarantee the stability of the theory. Last, second-order transient hydrodynamic theory in Landau matching is shown to be linearly causal and stable.


title: Sumanene monolayer of pure carbon: a two-dimensional Kagome-analogy lattice with desirable band gap, ultrahigh carrier mobility and strong exciton binding energy

abstract: Design and synthesis of novel two-dimensional (2D) materials that possess robust structural stability and unusual physical properties may open up enormous opportunities for device and engineering applications. Herein we propose a 2D sumanene lattice that be regarded as a derivative of the conventional Kagome lattice. Our tight-binding analysis demonstrates sumanene lattice contains two sets of Dirac cones and two sets of flat bands near the Fermi surface, distinctively different from the Kagome lattice. Using first-principles calculations, we theoretically suggest two possible routines for realization of stable 2D sumanene monolayers (named as a phase and b phase), and a-sumanene monolayer can be experimentally synthesized with chemical vapor deposition using C21H12 as a precursor. Small binding energies on Au(111) surface signify the possibility of their peel-off after grown on the noble metal substrate. Importantly, our GW plus Bethe-Salpeter equation calculations demonstrate both monolayers have moderate band gaps (1.94 eV for a) and ultrahigh carrier mobilities (3.4*104 cm2/Vs for a). In particular, a-sumanene monolayer possesses a strong exciton binding energy of 0.73 eV, suggesting potential applications in optics.


title: Phase Transition Study meets Machine Learning

abstract: In recent years, machine learning (ML) techniques have emerged as powerful tools for studying many-body complex systems, and encompassing phase transitions in various domains of physics. This mini review provides a concise yet comprehensive examination of the advancements achieved in applying ML to investigate phase transitions, with a primary focus on those involved in nuclear matter studies.


title: Metallic conductivity on Na-deficient structural domain walls in the spin-orbit Mott insulator Na$_2$IrO$_3$

abstract: Honeycomb Na$_2$IrO$_3$ is a prototype spin-orbit Mott insulator and Kitaev magnet. We report a combined structural and electrical resistivity study of Na$_2$IrO$_3$ single crystals. Laue back-scattering diffraction indicates twinning with $\pm 120^\circ$ rotation around the $c^*$-axis while scanning electron microscopy displays nanothin lines parallel to all three b-axis orientations of twin domains. Energy dispersive x-ray analysis line-scans across such domain walls indicate no change of the Ir signal intensity, i.e. intact honeycomb layers, while the Na intensity is reduced down to $\sim 2/3$ of its original value at the domain walls, implying significant hole doping. Utilizing focused-ion-beam micro-sectioning, the temperature dependence of the electrical resistance of individual domain walls is studied. It demonstrates the tuning through the metal-insulator transition into a correlated-metal ground state by increasing hole doping.


title: Variational Properties of Decomposable Functions Part II: Strong Second-Order Theory

abstract: Local superlinear convergence of the semismooth Newton method usually requires the uniform invertibility of the generalized Jacobian matrix, e.g. BD-regularity or CD-regularity. For several types of nonlinear programming and composite-type optimization problems -- for which the generalized Jacobian of the stationary equation can be calculated explicitly -- this is characterized by the strong second-order sufficient condition. However, general characterizations are still not well understood. In this paper, we propose a strong second-order sufficient condition (SSOSC) for composite problems whose nonsmooth part has a generalized conic-quadratic second subderivative. We then discuss the relationship between the SSOSC and another second order-type condition that involves the generalized Jacobians of the normal map. In particular, these two conditions are equivalent under certain structural assumptions on the generalized Jacobian matrix of the proximity operator. Next, we verify these structural assumptions for $C^2$-strictly decomposable functions via analyzing their second-order variational properties under additional geometric assumptions on the support set of the decomposition pair. Finally, we show that the SSOSC is further equivalent to the strong metric regularity condition of the subdifferential, the normal map, and the natural residual. Counterexamples illustrate the necessity of our assumptions.


title: AdaCCD: Adaptive Semantic Contrasts Discovery Based Cross Lingual Adaptation for Code Clone Detection

abstract: Code Clone Detection, which aims to retrieve functionally similar programs from large code bases, has been attracting increasing attention. Modern software often involves a diverse range of programming languages. However, current code clone detection methods are generally limited to only a few popular programming languages due to insufficient annotated data as well as their own model design constraints. To address these issues, we present AdaCCD, a novel cross-lingual adaptation method that can detect cloned codes in a new language without annotations in that language. AdaCCD leverages language-agnostic code representations from pre-trained programming language models and propose an Adaptively Refined Contrastive Learning framework to transfer knowledge from resource-rich languages to resource-poor languages. We evaluate the cross-lingual adaptation results of AdaCCD by constructing a multilingual code clone detection benchmark consisting of 5 programming languages. AdaCCD achieves significant improvements over other baselines, and achieve comparable performance to supervised fine-tuning.


title: Evolution and final fate of massive post-common-envelope binaries

abstract: Mergers of neutron stars (NSs) and black holes (BHs) are nowadays observed routinely thanks to gravitational-wave (GW) astronomy. In the isolated binary-evolution channel, a common-envelope (CE) phase of a red supergiant (RSG) and a compact object is crucial to sufficiently shrink the orbit and thereby enable a merger via GW emission. Here, we use the outcomes of two three-dimensional (3D) magneto-hydrodynamic CE simulations of an initially 10.0 solar-mass RSG with a 5.0 solar-mass BH and a 1.4 solar-mass NS, respectively, to explore the further evolution and final fate of the post-CE binaries. Notably, the 3D simulations reveal that the post-CE binaries are likely surrounded by circumbinary disks (CBDs), which contain substantial mass and angular momentum to influence the subsequent evolution. The binary systems in MESA modelling undergo another phase of mass transfer (MT) and we find that most donor stars do not explode in ultra-stripped supernovae (SNe), but rather in Type Ib/c SNe. The final orbits of our models with the BH companion are too wide, and NS kicks are actually required to sufficiently perturb the orbit and thus facilitate a merger via GW emission. Moreover, by exploring the influence of CBDs, we find that mass accretion from the disk widens the binary orbit, while CBD-binary resonant interactions can shrink the separation and increase the eccentricity depending on the disk mass and lifetime. Efficient resonant contractions may even enable a BH or NS to merge with the remnant He stars before a second SN explosion, which may be observed as gamma-ray burst-like transients, luminous fast blue optical transients and Thorne-\.Zytkow objects. For the surviving post-CE binaries, the CBD-binary interactions may significantly increase the GW-induced double compact merger fraction. We conclude that accounting for CBD may be crucial to better understand observed GW mergers.


title: Gravitational waves from extreme-mass-ratio inspirals in the semiclassical gravity spacetime

abstract: More recently, Fernandes \cite{Fernandes:2023vux} discovered analytic stationary and axially-symmetric black hole solutions within semiclassical gravity, driven by the trace anomaly. The study unveils some distinctive features of these solutions. In this paper, we compute the gravitational waves emitted from the \ac{EMRI} around these quantum-corrected rotating black holes using the kludge approximate method. Firstly, we derive the orbital energy, angular momentum and fundamental frequencies for orbits on the equatorial plane. We find that, for the gravitational radiation described by quadrupole formulas, the contribution from the trace anomaly only appears at higher-order terms in the energy flux when compared with the standard Kerr case. Therefore, we can compute the EMRI waveforms from the quantum-corrected rotating black hole using the Kerr fluxes. We assess the differences between the EMRI waveforms from rotating black holes with and without the trace anomaly by calculating the dephasing and mismatch. Our results demonstrate that space-borne gravitational wave detectors can distinguish the EMRI waveform from the quantum-corrected black holes with a fractional coupling constant of $\sim 10^{-3}$ within one year observation. Finally, we compute the constraint on the coupling constant using the Fisher information matrix method and find that the potential constraint on the coupling constant by LISA can be within the error $\sim 10^{-4}$ in suitable scenarios.


title: Effect of inelastic ion collisions on low-gain avalanche detectors explained by an A_Si-Si_i-defect mode

abstract: The acceptor removal phenomenon (ARP), which hampers the functionality of low-gain avalanche detectors (LGAD), is discussed in frame of the A_Si-Si_i-defect model. The assumption of fast diffusion of interstitial silicon is shown to be superfluous for the explanation of the B_Si-Si_i-defect formation under irradiation, particular at very low temperatures. The experimentally observed properties of the ARP are explained by the donor properties of the B_Si-Si_i-defect in its ground state. Additionally, low temperature photoluminescence spectra are reported for quenched boron doped silicon showing so far unidentified PL lines, which change due to well-known light-induced degradation (LID) treatments.


title: On the relationship between stochastic turnpike and dissipativity notions

abstract: In this paper, we introduce and study different dissipativity notions and different turnpike properties for discrete-time stochastic nonlinear optimal control problems. The proposed stochastic dissipativity notions extend the classic notion of Jan C. Willems to $L^r$ random variables and to probability measures. Our stochastic turnpike properties range from a formulation for random variables via turnpike phenomena in probability and in probability measures to the turnpike property for the moments. Moreover, we investigate how different metrics (such as Wasserstein or L\'evy-Prokhorov) can be leveraged in the analysis. Our results are built upon stationarity concepts in distribution and in random variables and on the formulation of the stochastic optimal control problem as a finite-horizon Markov decision process. We investigate how the proposed dissipativity notions connect to the various stochastic turnpike properties and we work out the link between these two different forms of dissipativity.


title: Angularity in Higgs boson decays via $\boldsymbol{H\to gg}$ at NNLL$^{'}$ accuracy

abstract: We present improved predictions of a class of event-shape distributions called angularity for a contribution from an effective operator $H\to gg$ in Higgs hadronic decay that suffers from large perturbative uncertainties. In the frame of Soft-Collinear Effective Theory, logarithmic terms of the distribution are resummed at NNLL$^{'}$ accuracy, for which 2-loop constant of gluon-jet function for angularity is independently determined by a fit to fixed-order distribution at NLO corresponding to ${\mathcal{O}}(\alpha_s^2)$ relative to the born rate. Our determination shows reasonable agreement with value in a thesis recently released. In the fit, we use an asymptotic form with a fractional power conjectured from recoil corrections at one-loop order and it improves the accuracy of determination in positive values of angularity parameter $a$. The resummed distribution is matched to the NLO fixed-order results to make our predictions valid at all angularity values. We also discuss the first moment and subtracted moment of angularity as a function of $a$ that allow to extract information on leading and subleading nonperturbative corrections associated with gluons.


title: Predictive and Prescriptive Analytics for Multi-Site Modeling of Frail and Elderly Patient Services

abstract: Recent research has highlighted the potential of linking predictive and prescriptive analytics. However, it remains widely unexplored how both paradigms could benefit from one another to address today's major challenges in healthcare. One of these is smarter planning of resource capacities for frail and elderly inpatient wards, addressing the societal challenge of an aging population. Frail and elderly patients typically suffer from multimorbidity and require more care while receiving medical treatment. The aim of this research is to assess how various predictive and prescriptive analytical methods, both individually and in tandem, contribute to addressing the operational challenges within an area of healthcare that is growing in demand. Clinical and demographic patient attributes are gathered from more than 165,000 patient records and used to explain and predict length of stay. To that extent, we employ Classification and Regression Trees (CART) analysis to establish this relationship. On the prescriptive side, deterministic and two-stage stochastic programs are developed to determine how to optimally plan for beds and ward staff with the objective to minimize cost. Furthermore, the two analytical methodologies are linked by generating demand for the prescriptive models using the CART groupings. The results show the linked methodologies provided different but similar results compared to using averages and in doing so, captured a more realistic real-world variation in the patient length of stay. Our research reveals that healthcare managers should consider using predictive and prescriptive models to make more informed decisions. By combining predictive and prescriptive analytics, healthcare managers can move away from relying on averages and incorporate the unique characteristics of their patients to create more robust planning decisions, mitigating risks caused by variations in demand.


title: Learning Arithmetic Formulas in the Presence of Noise: A General Framework and Applications to Unsupervised Learning

abstract: We present a general framework for designing efficient algorithms for unsupervised learning problems, such as mixtures of Gaussians and subspace clustering. Our framework is based on a meta algorithm that learns arithmetic circuits in the presence of noise, using lower bounds. This builds upon the recent work of Garg, Kayal and Saha (FOCS 20), who designed such a framework for learning arithmetic circuits without any noise. A key ingredient of our meta algorithm is an efficient algorithm for a novel problem called Robust Vector Space Decomposition. We show that our meta algorithm works well when certain matrices have sufficiently large smallest non-zero singular values. We conjecture that this condition holds for smoothed instances of our problems, and thus our framework would yield efficient algorithms for these problems in the smoothed setting.


title: Multi Sentence Description of Complex Manipulation Action Videos

abstract: Automatic video description requires the generation of natural language statements about the actions, events, and objects in the video. An important human trait, when we describe a video, is that we are able to do this with variable levels of detail. Different from this, existing approaches for automatic video descriptions are mostly focused on single sentence generation at a fixed level of detail. Instead, here we address video description of manipulation actions where different levels of detail are required for being able to convey information about the hierarchical structure of these actions relevant also for modern approaches of robot learning. We propose one hybrid statistical and one end-to-end framework to address this problem. The hybrid method needs much less data for training, because it models statistically uncertainties within the video clips, while in the end-to-end method, which is more data-heavy, we are directly connecting the visual encoder to the language decoder without any intermediate (statistical) processing step. Both frameworks use LSTM stacks to allow for different levels of description granularity and videos can be described by simple single-sentences or complex multiple-sentence descriptions. In addition, quantitative results demonstrate that these methods produce more realistic descriptions than other competing approaches.


title: Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations

abstract: Machine learning is currently undergoing an explosion in capability, popularity, and sophistication. However, one of the major barriers to widespread acceptance of machine learning (ML) is trustworthiness: most ML models operate as black boxes, their inner workings opaque and mysterious, and it can be difficult to trust their conclusions without understanding how those conclusions are reached. Explainability is therefore a key aspect of improving trustworthiness: the ability to better understand, interpret, and anticipate the behaviour of ML models. To this end, we propose SMILE, a new method that builds on previous approaches by making use of statistical distance measures to improve explainability while remaining applicable to a wide range of input data domains.


title: Integral of depth zero to three basis of Modular Graph Functions

abstract: Modular Graph Functions (MGFs) are SL(2,$\mathbb{Z}$)-invariant functions that emerge in the study of the low-energy expansion of the one-loop closed string amplitude. To find the string scattering amplitude, we must integrate MGFs over the moduli space of the torus. In this paper, we use the iterated integral representation of MGFs to establish a depth-dependent basis for them, where "depth" refers to the number of iterations in the integral. This basis has a suitable Laplace equation. We integrate this basis from depth zero to depth three over the fundamental domain of SL(2,$\mathbb{Z}$) with a cut-off.


title: Observation of quantum entanglement in top-quark pairs using the ATLAS detector

abstract: We report the highest-energy observation of entanglement, in top$-$antitop quark events produced at the Large Hadron Collider, using a proton$-$proton collision data set with a center-of-mass energy of $\sqrt{s}=13$ TeV and an integrated luminosity of 140 fb$^{-1}$ recorded with the ATLAS experiment. Spin entanglement is detected from the measurement of a single observable $D$, inferred from the angle between the charged leptons in their parent top- and antitop-quark rest frames. The observable is measured in a narrow interval around the top$-$antitop quark production threshold, where the entanglement detection is expected to be significant. It is reported in a fiducial phase space defined with stable particles to minimize the uncertainties that stem from limitations of the Monte Carlo event generators and the parton shower model in modelling top-quark pair production. The entanglement marker is measured to be $D=-0.547 \pm 0.002~\text{(stat.)} \pm 0.021~\text{(syst.)}$ for $340 < m_{t\bar{t}} < 380 $ GeV. The observed result is more than five standard deviations from a scenario without entanglement and hence constitutes both the first observation of entanglement in a pair of quarks and the highest-energy observation of entanglement to date.


title: A probabilistic forecast methodology for volatile electricity prices in the Australian National Electricity Market

abstract: The South Australia region of the Australian National Electricity Market (NEM) displays some of the highest levels of price volatility observed in modern electricity markets. This paper outlines an approach to probabilistic forecasting under these extreme conditions, including spike filtration and several post-processing steps. We propose using quantile regression as an ensemble tool for probabilistic forecasting, with our combined forecasts achieving superior results compared to all constituent models. Within our ensemble framework, we demonstrate that averaging models with varying training length periods leads to a more adaptive model and increased prediction accuracy. The applicability of the final model is evaluated by comparing our median forecasts with the point forecasts available from the Australian NEM operator, with our model outperforming these NEM forecasts by a significant margin.