title: Decoupled Spatial and Temporal Processing for Resource Efficient Multichannel Speech Enhancement

abstract: We present a novel model designed for resource-efficient multichannel speech enhancement in the time domain, with a focus on low latency, lightweight, and low computational requirements. The proposed model incorporates explicit spatial and temporal processing within deep neural network (DNN) layers. Inspired by frequency-dependent multichannel filtering, our spatial filtering process applies multiple trainable filters to each hidden unit across the spatial dimension, resulting in a multichannel output. The temporal processing is applied over a single-channel output stream from the spatial processing using a Long Short-Term Memory (LSTM) network. The output from the temporal processing stage is then further integrated into the spatial dimension through elementwise multiplication. This explicit separation of spatial and temporal processing results in a resource-efficient network design. Empirical findings from our experiments show that our proposed model significantly outperforms robust baseline models while demanding far fewer parameters and computations, while achieving an ultra-low algorithmic latency of just 2 milliseconds.


title: Existence and uniqueness of Monge minimizers for a Multi-marginal Optimal Transport problem with intermolecular interactions cost

abstract: We investigate a new multi-marginal optimal transport problem arising from a dissociation model in the Strong Interaction Limit of Density Functional Theory. In this short note, we introduce such dissociation model, the corresponding optimal transport problem as well as show preliminary results on the existence and uniqueness of Monge solutions assuming absolute continuity of at least two of the marginals. Finally, we show that such marginal regularity conditions are necessary for the existence of an unique Monge solution.


title: Programming bistability in geometrically perturbed mechanical metamaterials

abstract: Mechanical metamaterials capable of large deformations are an emerging platform for functional devices and structures across scales. Bistable designs are particularly attractive since they endow a single object with two configurations that display distinct shapes, properties and functionalities. We propose a strategy that takes a common (non-bistable) metamaterial design and transforms it into a bistable one, specifically, by allowing for irregular patterns through geometric perturbations of the unit cell and by leveraging the intercell constraints inherent to the large deformation response of metamaterials. We exemplify this strategy by producing a design framework for bistable planar kirigami metamaterials starting from the canonical rotating-squares pattern. The framework comprises explicit design formulas for cell-based kirigami with unprecedented control over the shape of the two stable states, and an optimization methodology that allows for efficient tailoring of the geometric features of the designs to achieve target elastic properties as well as shape change. The versatility of this framework is illustrated through a wide variety of examples, including non-periodic designs that achieve two arbitrarily-shaped stable states. Quantitative and qualitative experiments, featuring prototypes with distinct engineering design details, complement the theory and shine light on the strengths and limitations of our design approach. These results show how to design bistable metamaterials from non-bistable templates, paving the way for further discovery of bistable systems and structures that are not simply arrangements of known bistable units.


title: On the Importance of Neural Wiener Filter for Resource Efficient Multichannel Speech Enhancement

abstract: We introduce a time-domain framework for efficient multichannel speech enhancement, emphasizing low latency and computational efficiency. This framework incorporates two compact deep neural networks (DNNs) surrounding a multichannel neural Wiener filter (NWF). The first DNN enhances the speech signal to estimate NWF coefficients, while the second DNN refines the output from the NWF. The NWF, while conceptually similar to the traditional frequency-domain Wiener filter, undergoes a training process optimized for low-latency speech enhancement, involving fine-tuning of both analysis and synthesis transforms. Our research results illustrate that the NWF output, having minimal nonlinear distortions, attains performance levels akin to those of the first DNN, deviating from conventional Wiener filter paradigms. Training all components jointly outperforms sequential training, despite its simplicity. Consequently, this framework achieves superior performance with fewer parameters and reduced computational demands, making it a compelling solution for resource-efficient multichannel speech enhancement.


title: The Chronicles of RAG: The Retriever, the Chunk and the Generator

abstract: Retrieval Augmented Generation (RAG) has become one of the most popular paradigms for enabling LLMs to access external data, and also as a mechanism for grounding to mitigate against hallucinations. When implementing RAG you can face several challenges like effective integration of retrieval models, efficient representation learning, data diversity, computational efficiency optimization, evaluation, and quality of text generation. Given all these challenges, every day a new technique to improve RAG appears, making it unfeasible to experiment with all combinations for your problem. In this context, this paper presents good practices to implement, optimize, and evaluate RAG for the Brazilian Portuguese language, focusing on the establishment of a simple pipeline for inference and experiments. We explored a diverse set of methods to answer questions about the first Harry Potter book. To generate the answers we used the OpenAI's gpt-4, gpt-4-1106-preview, gpt-3.5-turbo-1106, and Google's Gemini Pro. Focusing on the quality of the retriever, our approach achieved an improvement of MRR@10 by 35.4% compared to the baseline. When optimizing the input size in the application, we observed that it is possible to further enhance it by 2.4%. Finally, we present the complete architecture of the RAG with our recommendations. As result, we moved from a baseline of 57.88% to a maximum relative score of 98.61%.


title: From Pure Mathematics to Macroscale Applications: The Genesis of Schwarzites

abstract: Schwarzites are porous (spongy-like) carbon allotropes with negative Gaussian curvatures. They were proposed by Mackay and Terrones inspired by the works of the German mathematician Hermann Schwarz on Triply-Periodic Minimal Surfaces (TPMS). This review presents and discusses the history of schwarzites and their place among curved carbon nanomaterials. We summarized the main works on schwarzites available in the literature. We discuss their unique structural, electronic, thermal, and mechanical properties. Although the synthesis of carbon-based schwarzites remains elusive, the recent advances in the synthesis of zeolite-templates nanomaterials bring them closer to reality. Atomic-based models of schwarzites have been translated into macroscale ones that have been 3D printed. These 3D printed models have been exploited in many real-world applications, including water remediation and biomedical ones.


title: Deployment and performance of a Low-Energy-Threshold Skipper-CCD inside a nuclear reactor

abstract: Charge Coupled Devices (CCD) are used for reactor neutrino experiments and already shown their potential in constraining new physics models. The prospect of a Skipper-CCD experiment looking for standard and beyond standard model physics (BSM) in a nuclear reactor has been recently evaluated for different benchmark scenarios. Here we report the installation of the first 2 g Skipper-CCD inside the containment building of a 2 GW$_{th}$ nuclear power plant, positioned 12 meters from the center of the reactor core. We discuss the challenges involved in the commissioning of the detector and present data acquired during reactor ON and reactor OFF periods, with the detector operating with a sub-electron readout noise of 0.17 e-. The ongoing efforts to improve sensitivities to CEvNS and BSM interaction are also discussed.


title: Learned Best-Effort LLM Serving

abstract: Many applications must provide low-latency LLM service to users or risk unacceptable user experience. However, over-provisioning resources to serve fluctuating request patterns is often prohibitively expensive. In this work, we present a best-effort serving system that employs deep reinforcement learning to adjust service quality based on the task distribution and system load. Our best-effort system can maintain availability with over 10x higher client request rates, serves above 96% of peak performance 4.1x more often, and serves above 98% of peak performance 2.3x more often than static serving on unpredictable workloads. Our learned router is robust to shifts in both the arrival and task distribution. Compared to static serving, learned best-effort serving allows for cost-efficient serving through increased hardware utility. Additionally, we argue that learned best-effort LLM serving is applicable in wide variety of settings and provides application developers great flexibility to meet their specific needs.


title: Optics-assisted enhanced sensing at radio-frequencies in an optoelectromechanical system

abstract: We investigate a scheme to enhance the sensitivity in detecting weak variations in a parameter of an optoelectromechanical system by detecting the system response at radio frequencies. We consider a setup, where either one or two mechanical modes mediate the interaction between an optical cavity and an rf resonator. This system can be operated in a regime of impedance matching where thermal fluctuations are redistributed among the system elements, and, in particular, rf output noise can be reduced to the quantum vacuum noise level. We show that this effect can be used to boost the sensitivity in detecting parameter variations also in regimes of high thermal noise. We characterize the performance of this protocol in detecting variations in the capacitance of the rf resonator.


title: Multifidelity domain decomposition-based physics-informed neural networks and operators for time-dependent problems

abstract: Multiscale problems are challenging for neural network-based discretizations of differential equations, such as physics-informed neural networks (PINNs). This can be (partly) attributed to the so-called spectral bias of neural networks. To improve the performance of PINNs for time-dependent problems, a combination of multifidelity stacking PINNs and domain decomposition-based finite basis PINNs is employed. In particular, to learn the high-fidelity part of the multifidelity model, a domain decomposition in time is employed. The performance is investigated for a pendulum and a two-frequency problem as well as the Allen-Cahn equation. It can be observed that the domain decomposition approach clearly improves the PINN and stacking PINN approaches. Finally, it is demonstrated that the FBPINN approach can be extended to multifidelity physics-informed deep operator networks.


title: Machine Learning Techniques to Identify Hand Gestures amidst Forearm Muscle Signals

abstract: This study investigated the use of forearm EMG data for distinguishing eight hand gestures, employing the Neural Network and Random Forest algorithms on data from ten participants. The Neural Network achieved 97 percent accuracy with 1000-millisecond windows, while the Random Forest achieved 85 percent accuracy with 200-millisecond windows. Larger window sizes improved gesture classification due to increased temporal resolution. The Random Forest exhibited faster processing at 92 milliseconds, compared to the Neural Network's 124 milliseconds. In conclusion, the study identified a Neural Network with a 1000-millisecond stream as the most accurate (97 percent), and a Random Forest with a 200-millisecond stream as the most efficient (85 percent). Future research should focus on increasing sample size, incorporating more hand gestures, and exploring different feature extraction methods and modeling algorithms to enhance system accuracy and efficiency.


title: A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN

abstract: Planning and reasoning about actions and processes, in addition to reasoning about propositions, are important issues in recent logical and computer science studies. The widespread use of actions in everyday life such as IoT, semantic web services, etc., and the limitations and issues in the action formalisms are two factors that lead us to study how actions are represented. Since 2007, there have been some ideas to integrate Description Logic (DL) and action formalisms for representing both static and dynamic knowledge. Meanwhile, time is an important factor in dynamic situations, and actions change states over time. In this study, on the one hand, we examined related logical structures such as extensions of description logics (DLs), temporal formalisms, and action formalisms. On the other hand, we analyzed possible tools for designing and developing the Knowledge and Action Base (KAB). For representation and reasoning about actions, we embedded actions into DLs (such as Dynamic-ALC and its extensions). We propose a terminable algorithm for action projection, planning, checking the satisfiability, consistency, realizability, and executability, and also querying from KAB. Actions in this framework were modeled with SPIN and added to state space. This framework has also been implemented as a plugin for the Prot\'eg\'e ontology editor. During the last two decades, various algorithms have been presented, but due to the high computational complexity, we face many problems in implementing dynamic ontologies. In addition, an algorithm to detect the inconsistency of actions' effects was not explicitly stated. In the proposed strategy, the interactions of actions with other parts of modeled knowledge, and a method to check consistency between the effects of actions are presented. With this framework, the ramification problem can be well handled in future works.


title: Where do (random) trees grow leaves?

abstract: We study a model of random binary trees grown "by the leaves" in the style of Luczak and Winkler. If $\tau_n$ is a uniform plane binary tree of size $n$, Luczak and Winkler, and later explicitly Caraceni and Stauffer, constructed a measure $\nu_{\tau_n}$ such that the tree obtained by adding a cherry on a leaf sampled according to $\nu_{\tau_n}$ is still uniformly distributed on the set of all plane binary trees with size $n+1$. It turns out that the measure $\nu_{\tau_n}$, which we call the leaf-growth measure, is noticeably different from the uniform measure on the leaves of the tree $\tau_n$. In fact, we prove that, as $n \to \infty$, with high probability it is almost entirely supported by a subset of only $n^{3 ( 2 - \sqrt{3})+o(1)} \approx n^{0.8038...}$ leaves. In the continuous setting, we construct the scaling limit of this measure, which is a probability measure on the Brownian Continuum Random Tree supported by a fractal set of dimension $ 6 (2 - \sqrt{3})$. We also compute the full (discrete) multifractal spectrum. This work is a first step towards understanding the diffusion limit of the discrete leaf-growth procedure.


title: Deep Fuzzy Framework for Emotion Recognition using EEG Signals and Emotion Representation in Type-2 Fuzzy VAD Space

abstract: Recently, the representation of emotions in the Valence, Arousal and Dominance (VAD) space has drawn enough attention. However, the complex nature of emotions and the subjective biases in self-reported values of VAD make the emotion model too specific to a particular experiment. This study aims to develop a generic model representing emotions using a fuzzy VAD space and improve emotion recognition by utilizing this representation. We partitioned the crisp VAD space into a fuzzy VAD space using low, medium and high type-2 fuzzy dimensions to represent emotions. A framework that integrates fuzzy VAD space with EEG data has been developed to recognize emotions. The EEG features were extracted using spatial and temporal feature vectors from time-frequency spectrograms, while the subject-reported values of VAD were also considered. The study was conducted on the DENS dataset, which includes a wide range of twenty-four emotions, along with EEG data and subjective ratings. The study was validated using various deep fuzzy framework models based on type-2 fuzzy representation, cuboid probabilistic lattice representation and unsupervised fuzzy emotion clusters. These models resulted in emotion recognition accuracy of 96.09\%, 95.75\% and 95.31\%, respectively, for the classes of 24 emotions. The study also included an ablation study, one with crisp VAD space and the other without VAD space. The result with crisp VAD space performed better, while the deep fuzzy framework outperformed both models. The model was extended to predict cross-subject cases of emotions, and the results with 78.37\% accuracy are promising, proving the generality of our model. The generic nature of the developed model, along with its successful cross-subject predictions, gives direction for real-world applications in the areas such as affective computing, human-computer interaction, and mental health monitoring.


title: Dust in High-Redshift Galaxies: Reconciling UV Attenuation and IR Emission

abstract: Dust is a key component of galaxies, but its properties during the earliest eras of structure formation remain elusive. Here we present a simple semi-analytic model of the dust distribution in galaxies at $z \gtrsim 5$. We calibrate the free parameters of this model to estimates of the UV attenuation (using the IRX-$\beta$ relation between infrared emission and the UV spectral slope) and to ALMA measurements of dust emission. We find that the observed dust emission requires that most of the dust expected in these galaxies is retained (assuming a similar yield to lower-redshift sources), but if the dust is spherically distributed, the modest attenuation requires that it be significantly more extended than the stars. Interestingly, the retention fraction is larger for less massive galaxies in our model. However, the required radius is a significant fraction of the host's virial radius and is larger than the estimated extent of dust emission from stacked high-$z$ galaxies. These can be reconciled if the dust is distributed anisotropically, with typical covering fractions of $\sim 0.2$--0.7 in bright galaxies and $\lesssim 0.1$ in fainter ones.


title: Correspondence Theory for Many-valued Modal Logic

abstract: The aim of the present paper is to generalise Sahlqvist correspondence theory to the many-valued setting. For truth algebras that are perfect Heyting algebras, we present the standard translation between many-valued modal languages and suitably defined first-order and second-order correspondence languages; and prove its correctness. We then define a general class of inequalities, called Sahlqvist inequalities, to which algebraic methods can be applied to obtain first-order local frame correspondents in the many-valued setting. Difficulties that arise due to the lack of classical negation in the many-valued setting are overcome by making use of signed generation trees. Next we show that algorithmic approaches to obtain first-order local frame correspondents can be generalise to the many-valued setting and present the generalisation of the ALBA algorithm for this purpose. We conclude with a comparison between classical (two-valued) and many-valued frame correspondents.


title: X-ray properties of reverberation-mapped AGNs with super-Eddington accreting massive black holes

abstract: The X-ray properties of Active Galactic Nuclei (AGNs) depend on their underlying physical parameters, particularly the accretion rate. We identified eight reverberation-mapped AGNs with some of the largest known accretion rates without high-quality X-ray data. We obtained new Chandra ACIS-S X-ray observations and nearly simultaneous optical spectrophotometry to investigate the properties of these AGNs with extreme super-Eddington accreting black holes (SEAMBHs). We combined our new X-ray measurements with those of other reverberation-mapped AGNs, which have the best-determined masses and accretion rates. The trend of the steepening of the spectral slope between X-ray and optical-UV, $\alpha_{\rm ox}$, with increasing optical-UV luminosity, $L_{2500\r{A}}$, holds true for even the most extreme SEAMBHs. One of our new SEAMBHs appears X-ray weak for its luminosity, perhaps due to absorption associated with orientation effects involving a slim disk thought to be present in highly accreting systems. The correlation of the $\rm 2-8~ keV$ X-ray photon index with the accretion rate also holds for the extreme SEAMBHs, which show some of the largest photon indices reported for AGNs.


title: Spectral properties of the strongly assortative stochastic block model and their application to hitting times of random walks

abstract: We analyze hitting times of simple random walk on realizations of the stochastic block model. We show that under some natural assumptions the average starting hitting time as well as the average target hitting time are asymptotically almost surely given by $N(1+o(1))$. We also show a central limit theorem for the average target hitting time. Our main techniques are a spectral decomposition of these hitting times, a spectral analysis of the adjacency matrix and the graph Laplacian, respectively, as well as a form of the Delta method.


title: The Pitfalls of Defining Hallucination

abstract: Despite impressive advances in Natural Language Generation (NLG) and Large Language Models (LLMs), researchers are still unclear about important aspects of NLG evaluation. To substantiate this claim, I examine current classifications of hallucination and omission in Data-text NLG, and I propose a logic-based synthesis of these classfications. I conclude by highlighting some remaining limitations of all current thinking about hallucination and by discussing implications for LLMs.


title: Generating Maximal Configurations and Their Variants Using Code Metrics

abstract: Testing configurable systems continues to be challenging and costly. Generation of configurations for testing tends to use either techniques based on semantic sampling (e.g., logical formulas over configuration variables, often called presence conditions) or structural code metrics (e.g., code coverage). In this paper we describe our hybrid approaches that combine these two kinds of techniques to good effect. We present new configuration-generation algorithms that leverage constraint solving (SAT and MaxSAT) and configuration fuzzing, and implement our approach in a configuration-generation framework, CONFIZZ. CONFIZZ both enables the generation of maximal configurations (maximal sets of presence conditions that can be satisfied together) and performs code-metric guided configuration fuzzing. Results from evaluation on BusyBox, a highly configurable benchmark, show that our MaxSAT-based configuration generation achieves better coverage for several code metrics. Results also show that, when high coverage of multiple configurations is needed, CONFIZZ's presence-condition fuzzing outperforms alternatives.


title: Calabi-Yau periods for black hole scattering in classical general relativity

abstract: The high-precision description of black hole scattering in classical general relativity using the post-Minkowskian (PM) expansion requires the evaluation of single-scale Feynman integrals at increasing loop orders. Up to 4PM, the scattering angle and the impulse are expressible in terms of polylogarithmic functions and Calabi-Yau (CY) two-fold periods. As in QFT, periods of higher dimensional CY n-folds are expected at higher PM order. We find at 5PM in the dissipative leading order self-force sector (5PM-1SF) that the only non-polylogarithmic functions are the K3 periods encountered before and the ones of a new hypergeometric CY three-fold. In the 5PM-2SF sector further CY two- and three-fold periods appear. Griffiths transversality of the CY period motives allows to transform the differential equations for the master integrals into $\epsilon$-factorized form and to solve them in terms of a well controlled function space, as we demonstrate in the 5PM-1SF sector.


title: Hunting young stars in the Galactic centre. Hundreds of thousands of solar masses of young stars in the Sagittarius C region

abstract: The Galactic centre stands out as the most prolific star-forming environment of the Galaxy when averaged over volume. In the last 30 million years, it has witnessed the formation of $\sim10^6 M_\odot$ of stars. However, crowding and high extinction hamper their detection and, up to now, only a small fraction of the expected mass of young stars has been identified. We aim to detect hidden young stars at the Galactic centre by analysing the stellar population in Sagittarius (Sgr) C. This is a region at the western edge of the nuclear stellar disc whose HII emission makes it a perfect candidate to host young stars. We built dereddened luminosity functions for Sgr C and a control field in the central region of the nuclear stellar disc, and fitted them with a linear combination of theoretical models to analyse their stellar population. We find that Sgr C hosts several $10^5 M_\odot$ of young stars. We compared our results with the recently discovered young stellar population in Sgr B1, which is situated at the opposite edge of the nuclear stellar disc. We estimated that the Sgr C young stars are $\sim20$ Myr old, and likely show the next evolutionary step of the slightly younger stars in Sgr B1. Our findings contribute to addressing the discrepancy between the expected and the detected number of young stars in the Galactic centre, and shed light on their evolution in this extreme environment. As a secondary result, we find an intermediate-age stellar population in Sgr C ($\sim50$ % of its stellar mass with an age of between 2 and 7 Gyr), which is not present in the innermost regions of the nuclear stellar disc (dominated by stars >7 Gyr). This supports the existence of an age gradient and favours an inside-out formation of the nuclear stellar disc.


title: Hunt for complex cyanides in protostellar ices with JWST: Tentative detection of CH$_3$CN and C$_2$H$_5$CN

abstract: Nitrogen-bearing complex organic molecules have been commonly detected in the gas phase but not yet in interstellar ices. This has led to the long-standing question of whether these molecules form in the gas phase or in ices. $\textit{James Webb}$ Space Telescope ($\textit{JWST}$) offers the sensitivity, spectral resolution, and wavelength coverage needed to detect them in ices and investigate whether their abundance ratios are similar in gas and ice. We report the first tentative detection of CH$_3$CN, C$_2$H$_5$CN, and the simple molecule, N$_2$O, based on the CN-stretch band in interstellar ices toward three (HOPS 153, HOPS 370, and IRAS 20126+4104) out of the five protostellar systems observed as part of the Investigating Protostellar Accretion (IPA) GO program with $\textit{JWST}$-NIRSpec. We also provide upper limits for the two other sources with smaller luminosities in the sample. We detect OCN$^-$ in the ices of all sources with typical CH$_3$CN/OCN$^-$ ratios of around 1. Ice and gas column density ratios of the nitrogen-bearing species with respect to each other are better matched than those with respect to methanol, which are a factor of ${\sim}5$ larger in the ices than the gas. We attribute the elevated ice column densities with respect to methanol to the difference in snowline locations of nitrogen-bearing molecules and of methanol, biasing the gas-phase observations toward fewer nitrogen-bearing molecules. Moreover, we find tentative evidence for enhancement of OCN$^-$, CH$_3$CN, and C$_2$H$_5$CN in warmer ices, although formation of these molecules likely starts along with methanol in the cold prestellar phase. Future surveys combining NIRSpec and MIRI, and additional laboratory spectroscopic measurements of C$_2$H$_5$CN ice, are necessary for robust detection and conclusions on the formation history of complex cyanides.


title: Unleashing the Power of EFT in Neutrino-Nucleus Scattering

abstract: Neutrino physics is advancing into a precision era with the construction of new experiments, particularly in the few GeV energy range. Within this energy range, neutrinos exhibit diverse interactions with nucleons and nuclei. This study delves in particular into neutrino--nucleus quasi-elastic cross sections, taking into account both standard and, for the first time, non-standard interactions, all within the framework of effective field theory (EFT). The main uncertainties in these cross sections stem from uncertainties in the nucleon-level form factors, and from the approximations necessary to solve the nuclear many-body problem. We explore how these uncertainties influence the potential of neutrino experiments to probe new physics introduced by left-handed, right-handed, scalar, pseudoscalar, and tensor interactions. For some of these interactions the cross section is enhanced, making long-baseline experiments an excellent place to search for them. Our results, including tabulated cross sections for all interaction types and all neutrino flavors, can serve as the foundation for such searches.


title: Data-driven Dynamics with Orbital Torus Imaging: A Flexible Model of the Vertical Phase Space of the Galaxy

abstract: The vertical kinematics of stars near the Sun can be used to measure the total mass distribution near the Galactic disk and to study out-of-equilibrium dynamics. With contemporary stellar surveys, the tracers of vertical dynamics are so numerous and so well measured that the shapes of underlying orbits are almost directly visible in the data through element abundances or even stellar density. These orbits can be used to infer a mass model for the Milky Way, enabling constraints on the dark matter distribution in the inner galaxy. Here we present a flexible model for foliating the vertical position-velocity phase space with orbits, for use in data-driven studies of dynamics. The vertical acceleration profile in the vicinity of the disk, along with the orbital actions, angles, and frequencies for individual stars, can all be derived from that orbit foliation. We show that this framework - "Orbital Torus Imaging" (OTI) - is rigorously justified in the context of dynamical theory, and does a good job of fitting orbits to simulated stellar abundance data with varying degrees of realism. OTI (1) does not require a global model for the Milky Way mass distribution, and (2) does not require detailed modeling of the selection function of the input survey data. We discuss the approximations and limitations of the OTI framework, which currently trades dynamical interpretability for flexibility in representing the data in some regimes, and which also presently separates the vertical and radial dynamics. We release an open-source tool, torusimaging, to accompany this article.


title: Multipoles from Majorana constellations

abstract: Majorana stars, the $2S$ spin coherent states that are orthogonal to a spin-$S$ state, offer an elegant method to visualize quantum states, disclosing their intrinsic symmetries. These states are naturally described by the corresponding multipoles. These quantities can be experimentally determined and allow for an SU(2)-invariant analysis. We investigate the relationship between Majorana constellations and state multipoles, thus providing insights into the underlying symmetries of the system. We illustrate our approach with some relevant and informative examples.


title: Flavors of entanglement

abstract: We employ holography to investigate Liu-Mezei renormalization group monotones in conformal field theories influenced by massive flavor degrees of freedom. We examine the entanglement entropy of a spherical subregion in three holographic field theories - $\mathcal{N}=1$ Klebanov-Witten theory, $\mathcal{N}=4$ SYM theory, and ABJM theory - with fundamental flavor. The gravity dual of massive unquenched flavor is described by dynamical D-branes, and we solve their backreaction in the smeared approximation. We compute entanglement entropy using the Ryu-Takayanagi formula in these backreacted geometries. Our findings indicate that the Liu-Mezei A- and F-functions decrease monotonically to leading order in the number of flavors across all examples. Additionally, we calculate the leading flavor contribution to entanglement entropy using an alternative probe brane method that does not require knowledge of backreaction in the bulk geometries. These results consistently match with backreacted calculations in all cases, assuming omission of a specific IR boundary term stemming from a total derivative.


title: Conductivity scaling and absence of localization in disordered nodal line semimetals

abstract: Transport plays a key role in characterizing topological insulators and semimetals. Understanding the effect of disorder is crucial to assess the robustness of experimental signatures for topology. In this work, we find the absence of localization in nodal line semimetals for long-range scalar disorder and a large range of disorder strengths. Using a continuum transfer matrix approach, we find that the conductivity in the plane and out of the plane of the nodal line increases with system size and disorder strength. We substantiate these findings by a perturbative calculation and show that the conductivity increases with disorder strength using the Kubo formula in the self-consistent Born approximation. We also find that the system remains metallic for vector disorder and that vector disorder can drive a transition from an insulating to a metallic regime. Our results demonstrate the absence of localization in a bulk system.


title: Spatially regular charged black holes supporting charged massive scalar clouds

abstract: We prove that, as opposed to the familiar charged Reissner-Nordstr\"om black-hole spacetime, the spatially regular charged Ay\'on-Beato-Garc\'ia (ABG) black-hole spacetime can support charged scalar clouds, spatially regular stationary matter configurations which are made of linearized charged massive scalar fields. Interestingly, we reveal the fact that the composed black-hole-field system is amenable to an analytical treatment in the regime $Q/M\ll1\ll M\mu$ of weakly charged black holes and large-mass fields, in which case it is proved that the dimensionless physical parameter $\alpha\equiv{{qQ}\over{M\mu}}$ must lie in the narrow interval $\alpha\in\big(\sqrt{{{3240}\over{6859}}},{{16}\over{23}}\big)$ [here $\{M,Q\}$ are the mass and electric charge of the central black hole and $\{\mu,q\}$ are the proper mass and charge coupling constant of the supported scalar field]. In particular, we explicitly prove that, for weakly charged black holes, the discrete resonance spectrum $\{\alpha(M,Q,\mu,q;n\}^{n=\infty}_{n=0}$ of the composed charged-ABG-black-hole-charged-massive-scalar-field cloudy configurations can be determined {\it analytically} in the eikonal large-mass regime.


title: On the phase structure of extra-dimensional gauge theories with fermions

abstract: We study the phase structure of five-dimensional Yang-Mills theories coupled to Dirac fermions. In order to tackle their non-perturbative character, we derive the flow equations for the gauge coupling and the effective potential for the Aharonov-Bohm phases employing the Functional Renormalisation Group. We analyse the infrared and ultraviolet fixed-point solutions in the flow of the gauge coupling as a function of the compactification radius of the fifth dimension. We discuss various types of trajectories which smoothly connect both dimensional limits. Last, we investigate the phase diagram and vacuum structure of the gauge potential for different fermion content.


title: Building the high-redshift Hubble Diagram with quasars

abstract: Proceeding of the "HACK100" Conference, 6-10 June 2022, Trieste, Italy - In recent years, quasars have been shown to be reliable standardizable candles, thanks to the non-linear relation between their X-rays and ultraviolet luminosity. Quasars are also very numerous and they are found at all the observed redshifts: this allows us to investigate the expansion rate of the Universe and the cosmological parameters in a previously almost untested redshift range ($z\sim2-7$). At redshift higher than 1.5, the Hubble Diagram of quasars shows a significant tension with the predictions of the $\Lambda$CDM model. I will show how detailed optical/UV and X-rays spectroscopic analysis can be used (i) to obtain more precise distance estimates, and (ii) to derive information about the physical process behind the luminosities relation, and discuss the cosmological implementations.


title: Radio Emission from High-Redshift Active Galactic Nuclei in the JADES and CEERS Surveys

abstract: Recent calculations indicate that radio emission from quasars at $z \sim$ 6 - 7 could be detected at much earlier stages of evolution, at $z \sim$ 14 - 15, by the Next-Generation Very Large Array (ngVLA) and the Square Kilometer Array (SKA). However, the {\em James Webb Space Telescope} has now discovered less luminous active galactic nuclei (AGNs) at $z >$ 4 and a few massive black holes (BHs) at $z >$ 10, which may be the progenitors of supermassive black holes (SMBHs) but at different stages of growth. Radio detections of these new AGNs would provide complementary measures of their properties and those of their host galaxies. Here we estimate radio flux densities for 19 new AGNs found by the JADES, CEERS and UNCOVER surveys. We find that ngVLA should be able to detect most of these sources in targeted surveys with integration times of 10 - 100 hr (and in just 1 hr for a few of them) but most would require at least 100 hr of SKA time in spite of its greater sensitivities at low frequencies. In some cases, radio emission from the BH can be distinguished from that of H II regions and supernovae in their host galaxies, which could be used to estimate their star formation rates. Such detections would be yet another example of the useful synergies between near infrared and radio telescopes in SMBH science in the coming decade.


title: Optical spectroscopy of blazars for the Cherenkov Telescope Array -- III

abstract: Due to their almost featureless optical/UV spectra, it is challenging to measure the redshifts of BL Lacs. As a result, about 50% of gamma-ray BL Lacs lack a firm measurement of this property, which is fundamental for population studies, indirect estimates of the EBL, and fundamental physics probes. This paper is the third in a series of papers aimed at determining the redshift of a sample of blazars selected as prime targets for future observations with the next generation, ground-based VHE gamma-ray astronomy observatory, Cherenkov Telescope Array Observatory (CTAO). The accurate determination of the redshift of these objects is an important aid in source selection and planning of future CTAO observations. The selected targets were expected to be detectable with CTAO in observations of 30 hours or less. We performed deep spectroscopic observations of 41 of these blazars using the Keck II, Lick, SALT, GTC, and ESO/VLT telescopes. We carefully searched for spectral lines in the spectra and whenever features of the host galaxy were detected, we attempted to model the properties of the host galaxy. The magnitudes of the targets at the time of the observations were also compared to their long-term light curves. Spectra from 24 objects display spectral features or a high S/N. From these, 12 spectroscopic redshifts were determined, ranging from 0.2223 to 0.7018. Furthermore, 1 tentative redshift (0.6622) and 2 redshift lower limits at z > 0.6185 and z > 0.6347 were obtained. The other 9 BL Lacs showed featureless spectra, despite the high S/N (> 100) observations. Our comparisons with long-term optical light curves tentatively suggest that redshift measurements are more straightforward during an optical low state of the AGN. Overall, we have determined 37 redshifts and 6 spectroscopic lower limits as part of our programme thus far.


title: Lower Bounds for Unitary Property Testing with Proofs and Advice

abstract: In unitary property testing a quantum algorithm, also known as a tester, is given query access to a black-box unitary and has to decide whether it satisfies some property. We propose a new technique for proving lower bounds on the quantum query complexity of unitary property testing and related problems, which utilises its connection to unitary channel discrimination. The main advantage of this technique is that all obtained lower bounds hold for any $\mathsf{C}$-tester with $\mathsf{C} \subseteq \mathsf{QMA}(2)/\mathsf{qpoly}$, showing that even having access to both (unentangled) quantum proofs and advice does not help for many unitary problems. We apply our technique to prove lower bounds for problems like quantum phase estimation, the entanglement entropy problem, quantum Gibbs sampling and more, removing all logarithmic factors in the lower bounds obtained by the sample-to-query lifting theorem of Wang and Zhang (2023). As a direct corollary, we show that there exist quantum oracles relative to which $\mathsf{QMA}(2) \not\supset \mathsf{SBQP}$ and $\mathsf{QMA}/\mathsf{qpoly} \not\supset \mathsf{SBQP}$. The former shows that, at least in a black-box way, having unentangled quantum proofs does not help in solving problems that require high precision.


title: Taking the Road Less Traveled: Solving the One-Dimensional Quantum Oscillator using the Parabolic-Cylinder Equation

abstract: The single well 1D harmonic oscillator is one of the most fundamental and commonly solved problems in quantum mechanics. Traditionally, in most introductory quantum mechanics textbooks, it is solved using either a power series method, which ultimately leads to the Hermite polynomials, or by ladder operators methods. We show here that, by employing one straightforward variable transformation, this problem can be solved, and the resulting state functions can be given in terms of parabolic cylinder functions. Additionally, the same approach can be used to solve the Schr\"odinger equation for the 1D harmonic oscillator in a uniform electric field. In this case, the process yields two possible solutions. One is the well-known result where the 1D oscillator eigenvalues are reduced by a frequency-dependent term, which can have any positive value. The other is where the field term is restricted to be an integer and the eigenvalues are in the same form as for the field-free case. We show how the results can be used to create a harmonic approximation for the bound states of a Lennard-Jones potential.


title: Graphical Symplectic Algebra

abstract: We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical languages for both affinely constrained classical mechanical systems, as well as odd-prime-dimensional stabiliser quantum circuits. To this end, we present affine Lagrangian relations by a particular class of undirected coloured graphs. In order to reason about composite systems, we introduce a powerful scalable notation where the vertices of these graphs are themselves coloured by graphs. In the setting of stabiliser quantum mechanics, this scalable notation gives an extremely concise description of graph states, which can be composed via ``phased spider fusion.'' Likewise, in the classical mechanical setting of electrical circuits, we show that impedance matrices for reciprocal networks are presented in essentially the same way.


title: Survey of Learning Approaches for Robotic In-Hand Manipulation

abstract: Human dexterity is an invaluable capability for precise manipulation of objects in complex tasks. The capability of robots to similarly grasp and perform in-hand manipulation of objects is critical for their use in the ever changing human environment, and for their ability to replace manpower. In recent decades, significant effort has been put in order to enable in-hand manipulation capabilities to robotic systems. Initial robotic manipulators followed carefully programmed paths, while later attempts provided a solution based on analytical modeling of motion and contact. However, these have failed to provide practical solutions due to inability to cope with complex environments and uncertainties. Therefore, the effort has shifted to learning-based approaches where data is collected from the real world or through a simulation, during repeated attempts to complete various tasks. The vast majority of learning approaches focused on learning data-based models that describe the system to some extent or Reinforcement Learning (RL). RL, in particular, has seen growing interest due to the remarkable ability to generate solutions to problems with minimal human guidance. In this survey paper, we track the developments of learning approaches for in-hand manipulations and, explore the challenges and opportunities. This survey is designed both as an introduction for novices in the field with a glossary of terms as well as a guide of novel advances for advanced practitioners.


title: Intersection theory of matroids: variations on a theme

abstract: Chow rings of toric varieties, which originate in intersection theory, feature a rich combinatorial structure of independent interest. We survey four different ways of computing in these rings, due to Billera, Brion, Fulton--Sturmfels, and Allermann--Rau. We illustrate the beauty and power of these methods by giving four proofs of Huh and Huh--Katz's formula $\mu^k(M) = deg_M(\alpha^{r-k} \beta^k)$ for the coefficients of the reduced characteristic polynomial of a matroid $M$ as the mixed intersection numbers of the hyperplane and reciprocal hyperplane classes $\alpha$ and $\beta$ in the Chow ring of $M$. Each of these proofs sheds light on a different aspect of matroid combinatorics, and provides a framework for further developments in the intersection theory of matroids. Our presentation is combinatorial, and does not assume previous knowledge of toric varieties, Chow rings, or intersection theory.


title: A Gaussian-processes approach to fitting for time-variable spherical solar wind in pulsar timing data

abstract: Propagation effects are one of the main sources of noise in high-precision pulsar timing. For pulsars below an ecliptic latitude of $5^\circ$, the ionised plasma in the solar wind can introduce dispersive delays of order 100 microseconds around solar conjunction at an observing frequency of 300 MHz. A common approach to mitigate this assumes a spherical solar wind with a time-constant amplitude. However, this has been shown to be insufficient to describe the solar wind. We present a linear, Gaussian-process piecewise Bayesian approach to fit a spherical solar wind of time-variable amplitude, which has been implemented in the pulsar software run_enterprise. Through simulations, we find that the current EPTA+InPTA data combination is not sensitive to such variations; however, solar wind variations will become important in the near future with the addition of new InPTA data and data collected with the low-frequency LOFAR telescope. We also compare our results for different high-precision timing datasets (EPTA+InPTA, PPTA, and LOFAR) of three millisecond pulsars (J0030$+$0451, J1022$+$1001, J2145$-$0450), and find that the solar-wind amplitudes are generally consistent for any individual pulsar, but they can vary from pulsar to pulsar. Finally, we compare our results with those of an independent method on the same LOFAR data of the three millisecond pulsars. We find that differences between the results of the two methods can be mainly attributed to the modelling of dispersion variations in the interstellar medium, rather than the solar wind modelling.


title: Are the dynamics of wall turbulence in minimal channels and larger domain channels equivalent? A graph-theoretic approach

abstract: This work proposes two algorithmic approaches to extract critical dynamical mechanisms in wall-bounded turbulence with minimum human bias. In both approaches, multiple types of coherent structures are spatiotemporally tracked, resulting in a complex multilayer network. Network motif analysis, i.e., extracting dominant non-random elemental patterns within these networks, is used to identify the most dominant dynamical mechanisms. Both approaches, combined with network motif analysis, are used to answer whether the main dynamical mechanisms of a minimal flow unit (MFU) and a larger unconstrained channel flow, labeled a full channel (FC), at $Re_\tau \approx 180$, are equivalent. The first approach tracks traditional coherent structures defined as low- and high-speed streaks, ejections, and sweeps. It is found that the roll-streak pairing, consistent with the current understanding of self-sustaining processes, is the most significant and simplest dynamical mechanism in both flows. However, the MFU has a timescale for this mechanism that is approximately $2.83$ times slower than that of the FC. In the second approach, we use semi-Lagrangian wavepackets and define coherent structures from their energetic streak, roll, and small-scale phase space. This method also shows similar motifs for both the MFU and FC. It indicates that, on average, the most dominant phase-space motifs are similar between the two flows, with the significant events taking place approximately $2.21$ times slower in the MFU than in the FC. This value is more consistent with the implied timescale ratio of only the slow speed streaks taking part in the roll-streak pairing extracted using the first multi-type spatiotemporal approach, which is approximately $2.17$ slower in the MFU than the FC.


title: Steenrod operations on polyhedral products

abstract: We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as for certain polyhedral joins. By studying the combinatorics of underlying simplicial complexes, we deduce some consequences for the lowest cohomological dimension in which non-trivial Steenrod operations can appear. We present a version of cochain-level formulas for Steenrod operations on simplicial complexes. We explain the idea of "propagating" such formulas from a simplicial complex $K$ to polyhedral joins over $K$ and we give examples of this process. We tie the propagation of the Steenrod algebra actions on polyhedral joins to those on moment-angle complexes. Although these are cases where one can understand the Steenrod action via a stable homotopy decomposition, we anticipate applying this method to cases where there is no such decomposition.


title: Implosion, Contraction and Moore-Tachikawa

abstract: We give a survey of the implosion construction, extending some of its aspects relating to hypertoric geometry from type $A$ to a general reductive group, and interpret it in the context of the Moore-Tachikawa category. We use these ideas to discuss how the contraction construction in symplectic geometry can be generalised to the hyperk\"ahler or complex symplectic situation.


title: The GRAVITY young stellar object survey XII. The hot gas disk component in Herbig Ae/Be stars

abstract: The region of protoplanetary disks closest to a star (within 1-2\,au) is shaped by a number of different processes, from accretion of the disk material onto the central star to ejection in the form of winds and jets. Optical and near-IR emission lines are potentially good tracers of inner disk processes if very high spatial and/or spectral resolution are achieved. In this paper, we exploit the capabilities of the VLTI-GRAVITY near-IR interferometer to determine the location and kinematics of the hydrogen emission line Bracket gamma. We present VLTI-GRAVITY observations of the Bracket gamma line for a sample of 26 stars of intermediate mass (HAEBE), the largest sample so far analysed with near-IR interferometry. The Bracket gamma line was detected in 17 objects. The emission is very compact (in most cases only marginally resolved), with a size of 10-30R* (1-5 mas). About half of the total flux comes from even smaller regions, which are unresolved in our data. For eight objects, it was possible to determine the position angle (PA) of the line-emitting region, which is generally in agreement with that of the inner-dusty disk emitting the K-band continuum. The position-velocity pattern of the Bracket gamma line-emitting region of the sampled objects is roughly consistent with Keplerian rotation. The exception is HD~45677, which shows more extended emission and more complex kinematics. The most likely scenario for the Bracket gamma origin is that the emission comes from an MHD wind launched very close to the central star, in a region well within the dust sublimation radius. An origin in the bound gas layer at the disk surface cannot be ruled out, while accreting matter provides only a minor fraction of the total flux. These results show the potential of near-IR spectro-interferometry to study line emission in young stellar objects.


title: Measure-based approach to mesoscopic modeling of optimal transportation networks

abstract: We propose a mesoscopic modeling framework for optimal transportation networks with biological applications. The network is described in terms of a joint probability measure on the phase space of tensor-valued conductivity and position in physical space. The energy expenditure of the network is given by a functional consisting of a pumping (kinetic) and metabolic power-law term, constrained by a Poisson equation accounting for local mass conservation. We establish convexity and lower semicontinuity of the functional on approriate sets. We then derive its gradient flow with respect to the 2-Wasserstein topology on the space of probability measures, which leads to a transport equation, coupled to the Poisson equation. To lessen the mathematical complexity of the problem, we derive a reduced Wasserstein gradient flow, taken with respect to the tensor-valued conductivity variable only. We then construct equilibrium measures of the resulting PDE system. Finally, we derive the gradient flow of the constrained energy functional with respect to the Fisher-Rao (or Hellinger-Kakutani) metric, which gives a reaction-type PDE. We calculate its equilibrium states, represented by measures concentrated on a hypersurface in the phase space.


title: Word Boundary Information Isn't Useful for Encoder Language Models

abstract: All existing transformer-based approaches to NLP using subword tokenisation algorithms encode whitespace (word boundary information) through the use of special space symbols (such as \#\# or \_) forming part of tokens. These symbols have been shown to a) lead to reduced morphological validity of tokenisations, and b) give substantial vocabulary redundancy. As such, removing these symbols has been shown to have a beneficial effect on the processing of morphologically complex words for transformer encoders in the pretrain-finetune paradigm. In this work, we explore whether word boundary information is at all useful to such models. In particular, we train transformer encoders across four different training scales, and investigate several alternative approaches to including word boundary information, evaluating on a range of tasks across different domains and problem set-ups: GLUE (for sentence-level classification), NER (for token-level classification), and two classification datasets involving complex words (Superbizarre and FLOTA). Overall, through an extensive experimental setup that includes the pre-training of 29 models, we find no substantial improvements from our alternative approaches, suggesting that modifying tokenisers to remove word boundary information isn't leading to a loss of useful information.


title: Minimal presentation, finite quotients and lower central series of cactus groups

abstract: This article deals with the study of cactus groups from a combinatorial point of view. These groups have been gaining prominence lately in various domains of mathematics, amongst which are their relations with well-known groups such as braid groups, diagram groups, to name a few. We compute a minimal presentation for cactus groups in terms of generators and non-redundant relations. We also construct homomorphisms of these groups onto certain finite groups, which leads to results about finite quotients of cactus groups. More precisely, we prove that all (infinite) dihedral groups appear as quotients of cactus groups. We also investigate the lower central series and its consecutive quotients. While there are already known established similarities with braid groups, we deduce a considerable disparity between the two groups.


title: A bilinear estimate in $\mathbb{F}_p$

abstract: We improve an $L^2\times L^2\to L^2$ estimate for a certain bilinear operator in the finite field of size $p$, where $p$ is a prime sufficiently large. Our method carefully picks the variables to apply the Cauchy-Schwarz inequality. As a corollary, we show that there exists a quadratic progression $x,x+y,x+y^2$ for nonzero $y$ inside any subset of $\mathbb{F}_p$ of density $\gtrsim p^{-1/8}$


title: Symplectized Torelli mapping tori

abstract: Examples of aspherical closed symplectic 4-manifolds are presented whose Sullivan minimal models are (1,n)-formal for any n, without being formal. They have as cohomology algebra, signature, canonical class, those of a product of a closed Riemann surface of genus g>1 and an elliptic curve, and the fundamental group, resp. $A_{\infty}$ category defined by their de Rham complex, is isomorphic to that of the product of surfaces up to brackets of order n+1, resp. products of order n+1. Nevertheless, the manifolds do not admit any holomorphic structure. These examples are derived from the fact that the Torelli groups are pro-unipotent. The mapping tori for representatives of suitable classes in the Torelli group are considered, and their product with $S^1$ is symplectized a la Thurston.


title: Are self-explanations from Large Language Models faithful?

abstract: Instruction-tuned Large Language Models (LLMs) excel at many tasks and will even explain their reasoning, so-called self-explanations. However, convincing and wrong self-explanations can lead to unsupported confidence in LLMs, thus increasing risk. Therefore, it's important to measure if self-explanations truly reflect the model's behavior. Such a measure is called interpretability-faithfulness and is challenging to perform since the ground truth is inaccessible, and many LLMs only have an inference API. To address this, we propose employing self-consistency checks to measure faithfulness. For example, if an LLM says a set of words is important for making a prediction, then it should not be able to make its prediction without these words. While self-consistency checks are a common approach to faithfulness, they have not previously been successfully applied to LLM self-explanations for counterfactual, feature attribution, and redaction explanations. Our results demonstrate that faithfulness is explanation, model, and task-dependent, showing self-explanations should not be trusted in general. For example, with sentiment classification, counterfactuals are more faithful for Llama2, feature attribution for Mistral, and redaction for Falcon 40B.


title: A Lexicon for Studying Radicalization in Incel Communities

abstract: Incels are an extremist online community of men who believe in an ideology rooted in misogyny, racism, the glorification of violence, and dehumanization. In their online forums, they use an extensive, evolving cryptolect - a set of ingroup terms that have meaning within the group, reflect the ideology, demonstrate membership in the community, and are difficult for outsiders to understand. This paper presents a lexicon with terms and definitions for common incel root words, prefixes, and affixes. The lexicon is text-based for use in automated analysis and is derived via a Qualitative Content Analysis of the most frequent incel words, their structure, and their meaning on five of the most active incel communities from 2016 to 2023. This lexicon will support future work examining radicalization and deradicalization/disengagement within the community.


title: Machine Learning Based Object Tracking

abstract: Machine learning based object detection as well as tracking that object have been performed in this paper. The authors were able to set a range of interest (ROI) around an object using Open Computer Vision, better known as OpenCV. Next a tracking algorithm has been used to maintain tracking on an object while simultaneously operating two servo motors to keep the object centered in the frame. Detailed procedure and code are included in this paper.


title: On Inter-dataset Code Duplication and Data Leakage in Large Language Models

abstract: Motivation. Large language models (LLMs) have exhibited remarkable proficiency in diverse software engineering (SE) tasks. Handling such tasks typically involves acquiring foundational coding knowledge on large, general-purpose datasets during a pre-training phase, and subsequently refining on smaller, task-specific datasets as part of a fine-tuning phase. Problem statement. Data leakage is a well-known issue in training of machine learning models. A manifestation of this issue is the intersection of the training and testing splits. While intra-dataset code duplication examines this intersection within a given dataset and has been addressed in prior research, inter-dataset code duplication, which gauges the overlap between different datasets, remains largely unexplored. If this phenomenon exists, it could compromise the integrity of LLM evaluations because of the inclusion of fine-tuning test samples that were already encountered during pre-training, resulting in inflated performance metrics. Contribution. This paper explores the phenomenon of inter-dataset code duplication and its impact on evaluating LLMs across diverse SE tasks. Study design. We conduct an empirical study using the CSN dataset, a widely adopted pre-training dataset, and five fine-tuning datasets used for various SE tasks. We first identify the intersection between the pre-training and fine-tuning datasets using a deduplication process. Then, we fine-tune four models pre-trained on CSN to evaluate their performance on samples encountered during pre-training and those unseen during that phase. Results. Our findings reveal a potential threat to the evaluation of various LLMs across multiple SE tasks, stemming from the inter-dataset code duplication phenomenon. Moreover, we demonstrate that this threat is accentuated by factors like the LLM's size and the chosen fine-tuning technique.


title: Vertical Federated Image Segmentation

abstract: With the popularization of AI solutions for image based problems, there has been a growing concern for both data privacy and acquisition. In a large number of cases, information is located on separate data silos and it can be difficult for a developer to consolidate all of it in a fashion that is appropriate for machine learning model development. Alongside this, a portion of these localized data regions may not have access to a labelled ground truth. This indicates that they have the capacity to reach conclusions numerically, but are not able to assign classifications amid a lack of pertinent information. Such a determination is often negligible, especially when attempting to develop image based solutions that often necessitate this capability. With this being the case, we propose an innovative vertical federated learning (VFL) model architecture that can operate under this common set of conditions. This is the first (and currently the only) implementation of a system that can work under the constraints of a VFL environment and perform image segmentation while maintaining nominal accuracies. We achieved this by utilizing an FCN that boasts the ability to operate on federates that lack labelled data and privately share the respective weights with a central server, that of which hosts the necessary features for classification. Tests were conducted on the CamVid dataset in order to determine the impact of heavy feature compression required for the transfer of information between federates, as well as to reach nominal conclusions about the overall performance metrics when working under such constraints.


title: Six-Dimensional Correlators From a Five-Dimensional Operator Product Expansion

abstract: In this letter we discuss the operator product expansion of scalar operators in five-dimensional field theories with an $SU(1,3)\times U(1)$ spacetime symmetry. Such theories arise by a novel conformal null reduction of six-dimensional Lorentzian conformal field theories. Unlike Lorentzian conformal field theories, three-point functions of generic operators in such theories are not completely fixed by $SU(1,3)\times U(1)$ symmetry. However, we show that in a special case the functional form of the OPE coefficients can be fully determined, and we use them to fix the form of the three-point function. The result is shown to agree with correlation functions obtained by reduction of six-dimensional conformal field theories.


title: Structure of Heavy Mesons in the Light-Front Quark Model

abstract: We investigate the structure of ground-state heavy mesons within the light-front quark model, utilizing wave functions derived from the Single Gaussian Ansatz (SGA) and the Gaussian Expansion Method (GEM). By performing a $\chi^2$ fit to static properties such as mass spectra and decay constants, we determine the model parameters for each approach. We then compare the impacts of both methods on the light-front wave functions and structural observables. Our analysis reveals significant differences in the distribution amplitudes (DAs) $\phi_{2;M}(x)$ near the endpoints, with GEM showing enhanced amplitudes and correct asymptotic behavior $\phi_{2;M}(x \to 1) \propto (1-x)$, consistent with perturbative QCD. This endpoint behavior is linked to the short-range (high-momentum) wave function governed by color Coulomb interaction and relativistic kinematics. GEM accurately reproduces a power-law damping $\psi_0(k \to \infty) \propto 1/k_\perp^2$, aligning with perturbative QCD predictions. Furthermore, the electromagnetic form factors of pseudoscalar mesons in the low-$Q^2$ region fall off faster with GEM than with SGA. Overall, while both methods adequately describe static properties, GEM provides a more accurate description of structural properties, being more sensitive to details and asymptotic behaviors.


title: Demonstration of Algorithmic Quantum Speedup for an Abelian Hidden Subgroup Problem

abstract: Simon's problem is to find a hidden period (a bitstring) encoded into an unknown 2-to-1 function. It is one of the earliest problems for which an exponential quantum speedup was proven for ideal, noiseless quantum computers, albeit in the oracle model. Here, using two different 127-qubit IBM Quantum superconducting processors, we demonstrate an algorithmic quantum speedup for a variant of Simon's problem where the hidden period has a restricted Hamming weight. The speedup is sub-exponential and is enhanced when the computation is protected by dynamical decoupling to suppress decoherence. The speedup is further enhanced with measurement error mitigation. This constitutes a demonstration of a bona fide quantum advantage for an Abelian hidden subgroup problem.


title: 6-DoF Grasp Pose Evaluation and Optimization via Transfer Learning from NeRFs

abstract: We address the problem of robotic grasping of known and unknown objects using implicit behavior cloning. We train a grasp evaluation model from a small number of demonstrations that outputs higher values for grasp candidates that are more likely to succeed in grasping. This evaluation model serves as an objective function, that we maximize to identify successful grasps. Key to our approach is the utilization of learned implicit representations of visual and geometric features derived from a pre-trained NeRF. Though trained exclusively in a simulated environment with simplified objects and 4-DoF top-down grasps, our evaluation model and optimization procedure demonstrate generalization to 6-DoF grasps and novel objects both in simulation and in real-world settings, without the need for additional data. Supplementary material is available at: https://gergely-soti.github.io/grasp


title: A Globally Convergent Algorithm for Neural Network Parameter Optimization Based on Difference-of-Convex Functions

abstract: We propose an algorithm for optimizing the parameters of single hidden layer neural networks. Specifically, we derive a blockwise difference-of-convex (DC) functions representation of the objective function. Based on the latter, we propose a block coordinate descent (BCD) approach that we combine with a tailored difference-of-convex functions algorithm (DCA). We prove global convergence of the proposed algorithm. Furthermore, we mathematically analyze the convergence rate of parameters and the convergence rate in value (i.e., the training loss). We give conditions under which our algorithm converges linearly or even faster depending on the local shape of the loss function. We confirm our theoretical derivations numerically and compare our algorithm against state-of-the-art gradient-based solvers in terms of both training loss and test loss.


title: Integrate Any Omics: Towards genome-wide data integration for patient stratification

abstract: High-throughput omics profiling advancements have greatly enhanced cancer patient stratification. However, incomplete data in multi-omics integration presents a significant challenge, as traditional methods like sample exclusion or imputation often compromise biological diversity and dependencies. Furthermore, the critical task of accurately classifying new patients with partial omics data into existing subtypes is commonly overlooked. To address these issues, we introduce IntegrAO (Integrate Any Omics), an unsupervised framework for integrating incomplete multi-omics data and classifying new samples. IntegrAO first combines partially overlapping patient graphs from diverse omics sources and utilizes graph neural networks to produce unified patient embeddings. Our systematic evaluation across five cancer cohorts involving six omics modalities demonstrates IntegrAO's robustness to missing data and its accuracy in classifying new samples with partial profiles. An acute myeloid leukemia case study further validates its capability to uncover biological and clinical heterogeneity in incomplete datasets. IntegrAO's ability to handle heterogeneous and incomplete data makes it an essential tool for precision oncology, offering a holistic approach to patient characterization.


title: A self-supervised learning framework for seismic low-frequency extrapolation

abstract: Full waveform inversion (FWI) is capable of generating high-resolution subsurface parameter models, but it is susceptible to cycle-skipping when the data lack low-frequency. Unfortunately, the low-frequency components (< 5.0 Hz) are often tainted by noise in real seismic exploration, which hinders the application of FWI. To address this issue, we develop a novel self-supervised low-frequency extrapolation method that does not require labeled data, enabling neural networks to be trained directly on real data. This paradigm effectively addresses the significant generalization gap often encountered by supervised learning techniques, which are typically trained on synthetic data. We validate the effectiveness of our method on both synthetic and field data. The results demonstrate that our method effectively extrapolates low-frequency components, aiding in circumventing the challenges of cycle-skipping in FWI. Meanwhile, by integrating a self-supervised denoiser, our method effectively performs simultaneously denoising and low-frequency extrapolation on noisy data. Furthermore, we showcase the potential application of our method in extending the ultra-low frequency components of the large-scale collected earthquake seismogram.


title: Quantum state systems that count perfect matchings

abstract: In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this homology is the $n$-color vertex polynomial. We then produce a spectral sequence whose $E_\infty$-page is a filtered theory called filtered $n$-color vertex homology and show that it is generated by certain types of face colorings of ribbon graphs. For $n=2$, we show that the filtered $n$-color vertex homology is generated by face colorings that correspond to perfect matchings. Finally, we introduce and give meaning to what the vertex polynomial counts when $n \geq 2$. This polynomial is a new abstract graph invariant that can be inferred from certain formulas of Penrose.


title: Vassiliev invariants and writhe for periodic orbits of Axiom A flows

abstract: We obtain asymptotics for the average value taken by a Vassiliev invariant on knots appearing as periodic orbits of an Axiom A flow on $S^3.$ The methods used also give asymptotics for the writhe of periodic orbits. Our results are analogous to those of G. Contreras for average linking numbers.


title: Generalized mathematical model for adaptive cell survival after thermoradiotherapy: The impact of sublethal damage

abstract: The efficacy of radiotherapy (RT) can be significantly enhanced by combination with hyperthermia (HT), offering improved therapeutic outcomes at reduced radiation doses. Recent technological advancements have revitalized HT as a promising option for combinatorial RT. However, the underlying mechanisms, implications, and cause-effect relationships require further elucidation for precise integration into clinical practice. In this context, mathematical modeling provides the necessary predicting power for treatment planning. Moreover, based on physicochemical principles, such models help elucidate the behavior of biological systems under heat. Some cell cultures exhibit dose-dependent changes in therapy response and survival, prompting the development of a model incorporating cell recovery mechanisms. We extended Jung's model of cellular inactivation by heat based on the accumulation of sublethal damage to combinatorial radiotherapy in general and incorporated dose-dependent recovery rates. The resulting unified model (Umodel) is suited to describe (i) individual or sequential treatment/fraction outcomes, (ii) differences and changes in cellular response and recovery or adaptation to treatment, and (iii) the observed sensitivity to treatment order. We demonstrate excellent performance (R2 > 0.95) on various cell survival data from the literature and our own experimental series. Our observations suggest that the induction of sublethal damage in cells is pivotal, promoting cellular vulnerability for synergistic outcomes in combined therapeutic schemes.


title: Transformer-based Video Saliency Prediction with High Temporal Dimension Decoding

abstract: In recent years, finding an effective and efficient strategy for exploiting spatial and temporal information has been a hot research topic in video saliency prediction (VSP). With the emergence of spatio-temporal transformers, the weakness of the prior strategies, e.g., 3D convolutional networks and LSTM-based networks, for capturing long-range dependencies has been effectively compensated. While VSP has drawn benefits from spatio-temporal transformers, finding the most effective way for aggregating temporal features is still challenging. To address this concern, we propose a transformer-based video saliency prediction approach with high temporal dimension decoding network (THTD-Net). This strategy accounts for the lack of complex hierarchical interactions between features that are extracted from the transformer-based spatio-temporal encoder: in particular, it does not require multiple decoders and aims at gradually reducing temporal features' dimensions in the decoder. This decoder-based architecture yields comparable performance to multi-branch and over-complicated models on common benchmarks such as DHF1K, UCF-sports and Hollywood-2.


title: Tree and Tripod Nim

abstract: This paper introduces a variant of the impartial combinatorial game nim, called tree nim, as well as a particular case of tree nim called tripod nim. A certain existence-uniqueness result and a periodicity result are proven about the distribution of $\mathcal{P}$-positions and Grundy values in tree nim. Tripod nim is associated to a family of arrays similar to those which arise in the study of sequential compound games. Using these arrays, a partial analysis is given for tripod nim. Conjectures relating to the periods of the rows of these arrays are put forward.


title: SemEval-2017 Task 4: Sentiment Analysis in Twitter using BERT

abstract: This paper uses the BERT model, which is a transformer-based architecture, to solve task 4A, English Language, Sentiment Analysis in Twitter of SemEval2017. BERT is a very powerful large language model for classification tasks when the amount of training data is small. For this experiment, we have used the BERT(BASE) model, which has 12 hidden layers. This model provides better accuracy, precision, recall, and f1 score than the Naive Bayes baseline model. It performs better in binary classification subtasks than the multi-class classification subtasks. We also considered all kinds of ethical issues during this experiment, as Twitter data contains personal and sensible information. The dataset and code used in our experiment can be found in this GitHub repository.


title: Canonical liftings of Calabi--Yau hypersurfaces: Dwork hypersurfaces

abstract: We explicitly compute canonical liftings modulo $p^2$ in a sense of Achinger--Zdanowicz of Dwork hypersurfaces. The computation involves studying a compatibility between Hodge filtrations and a crystalline Frobenius. In particular, remarkably, we explicitly compute a partial data of the crystalline Frobenius modulo $p^2$.


title: Manifestation of the Berry connection in chiral lattice systems

abstract: The Aharonov-Bohm effect is a physical phenomenon where the vector potential induces a phase shift of electron wavepackets in regions with zero magnetic fields. It is often referred to as evidence for the physical reality of the vector potential. A similar effect can be observed in solid-state systems, where the Berry connection can influence electron dynamics. Here, we show that in chiral-symmetric processes the Berry connection determines an observable effect on the mean chiral displacement of delocalized wavefunctions. This finding is supported by a photonic experiment realizing a topological quantum walk, and demonstrates a new effect that can be attributed directly to the presence of a gauge field.


title: Delivery Line Tracking Robot

abstract: The project we embarked on is making an electronic robot that can deliver a package along a set route through infrared sensors. It uses the infrared sensors to determine if the path it is following is correct or if it is off course. This is determined by sending off a photon to reflect off the path and determines if it is on a light surface by the amount of light emitted back or if it is a dark surface by the amount of light that is not present. In addition to following a line, the user can stop and start the robot at any interval through the infrared remote control. The project is a combination of the practical parts of machinery with the software part of coding in Arduino which is a coding subsect of C++. This can lead to endless possibilities that could help a wide variety of people from all ranges of life, especially with those that live with disabilities


title: Pseudo-automorphisms of rational threefolds and Kummer surfaces

abstract: Kummer surfaces are special quartic surfaces that admit $16$ nodes. The automorphisms of K3 Kummer surfaces are rich and complicated. Based on the results of Keum and Kond\=o, and as a continuation of the recent result by He and Yang, we lift $45$ classically known automorphisms of Kummer surfaces to pseudo-automorphisms of a threefold, the blow-up of $\mathbb{P}^3$ along $6$ points and $15$ lines. We give a description of a fundamental domain of the group generated by all the known pseudo-automorphisms on this threefold.


title: Periodic homogenization of geometric equations without perturbed correctors

abstract: Proving homogenization has been a subtle issue for geometric equations due to the discontinuity when the gradient vanishes. A sufficient condition for periodic homogenization using perturbed correctors is suggested in the literature [3] to overcome this difficulty. However, some noncoercive equations do not satisfy this condition. In this note, we prove homogenization of geometric equations without using perturbed correctors, and therefore we conclude homogenization for the noncoercive equations. Also, we provide a rate of periodic homogenization of coercive geometric equations by utilizing the fact that they remain coercive under perturbation. We also present an example that homogenizes with a rate $\Omega(\varepsilon|\log \varepsilon|)$.


title: SciGLM: Training Scientific Language Models with Self-Reflective Instruction Annotation and Tuning

abstract: Large Language Models (LLMs) have shown promise in assisting scientific discovery. However, such applications are currently limited by LLMs' deficiencies in understanding intricate scientific concepts, deriving symbolic equations, and solving advanced numerical calculations. To bridge these gaps, we introduce SciGLM, a suite of scientific language models able to conduct college-level scientific reasoning. Central to our approach is a novel self-reflective instruction annotation framework to address the data scarcity challenge in the science domain. This framework leverages existing LLMs to generate step-by-step reasoning for unlabelled scientific questions, followed by a process of self-reflective critic-and-revise. Applying this framework, we curated SciInstruct, a diverse and high-quality dataset encompassing physics, chemistry, math, and formal proofs. We fine-tuned the ChatGLM family of language models with SciInstruct, enhancing their scientific and mathematical reasoning capabilities. Remarkably, the SciGLM consistently improves both the base model (ChatGLM3-6B-Base) by 4.87% and larger-scale models (32B) by 2.67%, without sacrificing the language understanding capabilities of the base model. This makes SciGLM a suitable foundational model to facilitate diverse scientific discovery tasks. For the benefit of the wider research community, we release SciInstruct, and SciGLM, alongside a self-reflective framework and fine-tuning code at https://github.com/THUDM/SciGLM.


title: Image Similarity using An Ensemble of Context-Sensitive Models

abstract: Image similarity has been extensively studied in computer vision. In recently years, machine-learned models have shown their ability to encode more semantics than traditional multivariate metrics. However, in labelling similarity, assigning a numerical score to a pair of images is less intuitive than determining if an image A is closer to a reference image R than another image B. In this work, we present a novel approach for building an image similarity model based on labelled data in the form of A:R vs B:R. We address the challenges of sparse sampling in the image space (R, A, B) and biases in the models trained with context-based data by using an ensemble model. In particular, we employed two ML techniques to construct such an ensemble model, namely dimensionality reduction and MLP regressors. Our testing results show that the ensemble model constructed performs ~5% better than the best individual context-sensitive models. They also performed better than the model trained with mixed imagery data as well as existing similarity models, e.g., CLIP and DINO. This work demonstrate that context-based labelling and model training can be effective when an appropriate ensemble approach is used to alleviate the limitation due to sparse sampling.


title: Singular limit of BSDEs and optimal control of two scale systems with jumps in infinite dimensional spaces

abstract: The paper is devoted to a stochastic optimal control problem for a two scale, infinite dimensional, stochastic system. The state of the system consists of slow and fast component and its evolution is driven by both continuous Wiener noises and discontinuous Poisson-type noises. The presence of discontinuous noises is the main feature of the present work. We use the theory of backward stochastic differential equations (BSDEs) to prove that, as the speed of the fast component diverges, the value function of the control problem converges to the solution of a reduced forward backward system that, in turn, is related to a reduced stochastic optimal control problem.


title: Experimentally informed structure optimization of amorphous TiO2 films grown by atomic layer deposition

abstract: Amorphous titanium dioxide TiO2 (a-TiO2) has been widely studied, particularly as a protective coating layer on semiconductors to prevent corrosion and promote electron-hole conduction in photoelectrochemical reactions. The stability and longevity of a-TiO2 is strongly affected by the thickness and structural heterogeneity, implying that understanding the structure properties of a-TiO2 is crucial for improving the performance. This study characterized the structural and electronic properties of a-TiO2 thin films (~17nm) grown on Si by Atomic Layer Deposition (ALD). Fluctuation spectra V(k) and angular correlation functions were determined with 4-dimensional scanning transmission electron microscopy (4D-STEM), which revealed the distinctive medium-range ordering in the a-TiO2 film. A realistic atomic model of a-TiO2 was established guided by the medium-range ordering and the previously reported short-range ordering of a-TiO2 film, as well as the interatomic potential. The structure was optimized by the StructOpt code using a genetic algorithm that simultaneously minimizes energy and maximizes match to experimental short- and medium-range ordering. The StructOpt a-TiO2 model presents an improved agreements with the medium-range ordering and the k-space location of the dominant 2-fold angular correlations compared with a traditional melt-quenched model. The electronic structure of the StructOpt a-TiO2 model was studied by ab initio calculation and compared to the crystalline phases and experimental results. This work uncovered the medium-range ordering in a-TiO2 thin film and provided a realistic a-TiO2 structure model for further investigation of structure-property relationships and materials design. In addition, the improved multi-objective optimization package StructOpt was provided for structure determination of complex materials guided by experiments and simulations.


title: Oxygen tilt-driven polar super-orders in BiFeO3-based superlattices

abstract: Ferroelectric-dielectric superlattices have attracted renewed interest for their ability to frustrate the polar order, leading to the emergence of exotic polar textures. The electrostatic depolarization, thought to be responsible for the complex polar textures in these superlattices can be alleviated by replacing the dielectric layer with a metallic one. One would thus expect that a close to uniform polarization state be recovered in the ferroelectric layer. However, here we show, using Density Functional Theory calculations, that antipolar motions may still appear in superlattices combining multiferroic BiFeO3 and metallic SrRuO3 perovskite layers. We find that a complex oxygen octahedra tilt order, a so-called nanotwin phase, exists in BiFeO3/SrRuO3 superlattices and competes with a more conventional phase. It leads to a doubling of the chemical period along the out-of-plane direction, owing to the presence of an oxygen octahedra tilt wave pattern and antipolar motions caused by trilinear energy couplings. We also show that out-of-plane polar displacements in the BiFeO3 layer may reverse the (anti)polar displacements thanks to a strong quadrilinear coupling term. The oxygen tilt-driven couplings identified here reveal new ways to engineer and control polar displacements in superlattice based polar metals and hybrid improper (anti)ferroelectrics.


title: A Study on Large Language Models' Limitations in Multiple-Choice Question Answering

abstract: The widespread adoption of Large Language Models (LLMs) has become commonplace, particularly with the emergence of open-source models. More importantly, smaller models are well-suited for integration into consumer devices and are frequently employed either as standalone solutions or as subroutines in various AI tasks. Despite their ubiquitous use, there is no systematic analysis of their specific capabilities and limitations. In this study, we tackle one of the most widely used tasks - answering Multiple Choice Question (MCQ). We analyze 26 small open-source models and find that 65% of the models do not understand the task, only 4 models properly select an answer from the given choices, and only 5 of these models are choice order independent. These results are rather alarming given the extensive use of MCQ tests with these models. We recommend exercising caution and testing task understanding before using MCQ to evaluate LLMs in any field whatsoever.


title: Vanishing coefficients in two $q$-series related to Legendre-signed partitions

abstract: We demonstrate some 10-periodic properties of the coefficients of two $q$-series related to partition numbers signed by the Legendre symbol $(\frac{a}{5})$ and to the Rogers-Ramanujan continued fraction $R(q)$.


title: Machine Perceptual Quality: Evaluating the Impact of Severe Lossy Compression on Audio and Image Models

abstract: In the field of neural data compression, the prevailing focus has been on optimizing algorithms for either classical distortion metrics, such as PSNR or SSIM, or human perceptual quality. With increasing amounts of data consumed by machines rather than humans, a new paradigm of machine-oriented compression$\unicode{x2013}$which prioritizes the retention of features salient for machine perception over traditional human-centric criteria$\unicode{x2013}$has emerged, creating several new challenges to the development, evaluation, and deployment of systems utilizing lossy compression. In particular, it is unclear how different approaches to lossy compression will affect the performance of downstream machine perception tasks. To address this under-explored area, we evaluate various perception models$\unicode{x2013}$including image classification, image segmentation, speech recognition, and music source separation$\unicode{x2013}$under severe lossy compression. We utilize several popular codecs spanning conventional, neural, and generative compression architectures. Our results indicate three key findings: (1) using generative compression, it is feasible to leverage highly compressed data while incurring a negligible impact on machine perceptual quality; (2) machine perceptual quality correlates strongly with deep similarity metrics, indicating a crucial role of these metrics in the development of machine-oriented codecs; and (3) using lossy compressed datasets, (e.g. ImageNet) for pre-training can lead to counter-intuitive scenarios where lossy compression increases machine perceptual quality rather than degrading it. To encourage engagement on this growing area of research, our code and experiments are available at: https://github.com/danjacobellis/MPQ.


title: GD-CAF: Graph Dual-stream Convolutional Attention Fusion for Precipitation Nowcasting

abstract: Accurate precipitation nowcasting is essential for various applications, including flood prediction, disaster management, optimizing agricultural activities, managing transportation routes and renewable energy. While several studies have addressed this challenging task from a sequence-to-sequence perspective, most of them have focused on a single area without considering the existing correlation between multiple disjoint regions. In this paper, we formulate precipitation nowcasting as a spatiotemporal graph sequence nowcasting problem. In particular, we introduce Graph Dual-stream Convolutional Attention Fusion (GD-CAF), a novel approach designed to learn from historical spatiotemporal graph of precipitation maps and nowcast future time step ahead precipitation at different spatial locations. GD-CAF consists of spatio-temporal convolutional attention as well as gated fusion modules which are equipped with depthwise-separable convolutional operations. This enhancement enables the model to directly process the high-dimensional spatiotemporal graph of precipitation maps and exploits higher-order correlations between the data dimensions. We evaluate our model on seven years of precipitation maps across Europe and its neighboring areas collected from the ERA5 dataset, provided by Copernicus Climate Change Services. The experimental results reveal the superior performance of the GD-CAF model compared to the other examined models. Additionally, visualizations of averaged seasonal spatial and temporal attention scores across the test set offer valuable insights into the most robust connections between diverse regions or time steps.


title: Repulsion of zeros close to $s=1/2$ for L-functions

abstract: In this paper we present results of several experiments in which we model the repulsion of low-lying zeros of L-functions using random matrix theory. Previous work has typically focused on the twists of L-functions associated to elliptic curves and on families that can be modeled by unitary and orthogonal matrices. We consider families of L-function of modular forms of weight greater than 2 and we consider families that can be modeled by symplectic matrices. Additionally, we explore a model for low-lying zeros of twists that incorporates a discretization arising from the Kohnen--Zagier theorem. Overall, our numeric evidence supports the expectation that the repulsion of zeros decreases as the conductor of the twist increases. Surprisingly, though, it appears that using the discretization that arises from the Kohnen--Zagier theorem does not model the data better than if the discretization is not used for forms of weight 4 or above.


title: ADMIn: Attacks on Dataset, Model and Input. A Threat Model for AI Based Software

abstract: Machine learning (ML) and artificial intelligence (AI) techniques have now become commonplace in software products and services. When threat modelling a system, it is therefore important that we consider threats unique to ML and AI techniques, in addition to threats to our software. In this paper, we present a threat model that can be used to systematically uncover threats to AI based software. The threat model consists of two main parts, a model of the software development process for AI based software and an attack taxonomy that has been developed using attacks found in adversarial AI research. We apply the threat model to two real life AI based software and discuss the process and the threats found.


title: Solution of the Probabilistic Lambert Problem: Connections with Optimal Mass Transport, Schr\"odinger Bridge and Reaction-Diffusion PDEs

abstract: Lambert's problem concerns with transferring a spacecraft from a given initial to a given terminal position within prescribed flight time via velocity control subject to a gravitational force field. We consider a probabilistic variant of the Lambert problem where the knowledge of the endpoint constraints in position vectors are replaced by the knowledge of their respective joint probability density functions. We show that the Lambert problem with endpoint joint probability density constraints is a generalized optimal mass transport (OMT) problem, thereby connecting this classical astrodynamics problem with a burgeoning area of research in modern stochastic control and stochastic machine learning. This newfound connection allows us to rigorously establish the existence and uniqueness of solution for the probabilistic Lambert problem. The same connection also helps to numerically solve the probabilistic Lambert problem via diffusion regularization, i.e., by leveraging further connection of the OMT with the Schr\"odinger bridge problem (SBP). This also shows that the probabilistic Lambert problem with additive dynamic process noise is in fact a generalized SBP, and can be solved numerically using the so-called Schr\"odinger factors, as we do in this work. We explain how the resulting analysis leads to solving a boundary-coupled system of reaction-diffusion PDEs where the nonlinear gravitational potential appears as the reaction rate. We propose novel algorithms for the same, and present illustrative numerical results. Our analysis and the algorithmic framework are nonparametric, i.e., we make neither statistical (e.g., Gaussian, first few moments, mixture or exponential family, finite dimensionality of the sufficient statistic) nor dynamical (e.g., Taylor series) approximations.

categories: math.OC cs.LG cs.SY eess.SY math-ph math.MP stat.ML