title: Top-k Multi-Armed Bandit Learning for Content Dissemination in Swarms of Micro-UAVs

abstract: In communication-deprived disaster scenarios, this paper introduces a Micro-Unmanned Aerial Vehicle (UAV)- enhanced content management system. In the absence of cellular infrastructure, this system deploys a hybrid network of stationary and mobile UAVs to offer vital content access to isolated communities. Static anchor UAVs equipped with both vertical and lateral links cater to local users, while agile micro-ferrying UAVs, equipped with lateral links and greater mobility, reach users in various communities. The primary goal is to devise an adaptive content dissemination system that dynamically learns caching policies to maximize content accessibility. The paper proposes a decentralized Top-k Multi-Armed Bandit (Top-k MAB) learning approach for UAV caching decisions, accommodating geotemporal disparities in content popularity and diverse content demands. The proposed mechanism involves a Selective Caching Algorithm that algorithmically reduces redundant copies of the contents by leveraging the shared information between the UAVs. It is demonstrated that Top-k MAB learning, along with selective caching algorithm, can improve system performance while making the learning process adaptive. The paper does functional verification and performance evaluation of the proposed caching framework under a wide range of network size, swarm of micro-ferrying UAVs, and heterogeneous popularity distributions.


title: Stripped-envelope supernova light curves argue for central engine activity

abstract: The luminosity of ``stripped-envelope supernovae'', a common type of stellar explosions, has been generally thought to be driven by the radioactive decay of the nickel synthesized in the explosion and carried in its ejecta. Additional possible energy sources have been previously suggested, but these claims have been statistically inconclusive or model-dependent. Here, we analyse the energy budget of a sample of 54 well-observed stripped-envelope supernovae of all sub-types, and present statistically significant, largely model-independent, observational evidence for a non-radioactive power source in most of them (and possibly in all). We consider various energy sources, or alternatively, plausible systematic errors, that could drive this result, and conclude that the most likely option is the existence of a ``central engine'', such as a magnetar (a highly magnetic neutron star) or an accreting neutron star or black hole, operating over hours to days after the explosion. We infer from the observations constraints on the engines, finding that if these are magnetars, then their initial magnetic fields are about $10^{15}\,$G and their initial rotation period is 1--100 ms, implying that stripped-envelope supernovae could be the formative events of magnetars.


title: The S-PLUS Fornax Project (S+FP): SExtractor detection and measurement of nearby galaxies in large photometric surveys

abstract: All-sky multi-band photometric surveys represent a unique opportunity of exploring rich nearby galaxy clusters up to several virial radii, reaching the filament regions where pre-processing is expected to occur. These projects aim to tackle a large number of astrophysical topics, encompassing both the galactic and extragalactic fields. In that sense, generating large catalogues with homogeneous photometry for both resolved and unresolved sources that might be interesting to achieve specific goals, imposes a compromise when choosing the set of parameters to automatically detect and measure such a plethora of objects. In this work we present the acquired experience on studying the galaxy content of the Fornax cluster using large catalogues obtained by the Southern Photometric Local Universe Survey (S-PLUS). We realized that some Fornax bright galaxies are missed in the S-PLUS iDR4 catalogues. In addition, Fornax star-forming galaxies are included as multiple detections due to over-deblending. To solve those issues, we performed specific SExtractor runs to identify the proper set of parameters to recover as many Fornax galaxies as possible with confident photometry and avoiding duplications. From that process, we obtained new catalogs containing 12-band improved photometry for ~ 3 x 10^6 resolved and unresolved sources in an area of ~ 208 deg2 in the direction of the Fornax cluster. Together with identifying the main difficulties to carry out the study of nearby groups and clusters of galaxies using S-PLUS catalogs, we also share possible solutions to face issues that seem to be common to other ongoing photometric surveys.


title: A LayoutLMv3-Based Model for Enhanced Relation Extraction in Visually-Rich Documents

abstract: Document Understanding is an evolving field in Natural Language Processing (NLP). In particular, visual and spatial features are essential in addition to the raw text itself and hence, several multimodal models were developed in the field of Visual Document Understanding (VDU). However, while research is mainly focused on Key Information Extraction (KIE), Relation Extraction (RE) between identified entities is still under-studied. For instance, RE is crucial to regroup entities or obtain a comprehensive hierarchy of data in a document. In this paper, we present a model that, initialized from LayoutLMv3, can match or outperform the current state-of-the-art results in RE applied to Visually-Rich Documents (VRD) on FUNSD and CORD datasets, without any specific pre-training and with fewer parameters. We also report an extensive ablation study performed on FUNSD, highlighting the great impact of certain features and modelization choices on the performances.


title: End-To-End Training and Testing Gamification Framework to Learn Human Highway Driving

abstract: The current autonomous stack is well modularized and consists of perception, decision making and control in a handcrafted framework. With the advances in artificial intelligence (AI) and computing resources, researchers have been pushing the development of end-to-end AI for autonomous driving, at least in problems of small searching space such as in highway scenarios, and more and more photorealistic simulation will be critical for efficient learning. In this research, we propose a novel game-based end-to-end learning and testing framework for autonomous vehicle highway driving, by learning from human driving skills. Firstly, we utilize the popular game Grand Theft Auto V (GTA V) to collect highway driving data with our proposed programmable labels. Then, an end-to-end architecture predicts the steering and throttle values that control the vehicle by the image of the game screen. The predicted control values are sent to the game via a virtual controller to keep the vehicle in lane and avoid collisions with other vehicles on the road. The proposed solution is validated in GTA V games, and the results demonstrate the effectiveness of this end-to-end gamification framework for learning human driving skills.


title: Convergence of Recursive Least Squares Based Input/Output System Identification with Model Order Mismatch

abstract: Discrete-time input/output models, also called infinite impulse response (IIR) models or autoregressive moving average (ARMA) models, are useful for online identification as they can be efficiently updated using recursive least squares (RLS) as new data is collected. Several works have studied the convergence of the input/output model coefficients identified using RLS under the assumption that the order of the identified model is the same as that of the true system. However, the case of model order mismatch is not as well addressed. This work begins by introducing the notion of \textit{equivalence} of input/output models of different orders. Next, this work analyzes online identification of input/output models in the case where the order of the identified model is higher than that of the true system. It is shown that, given persistently exciting data, the higher-order identified model converges to the model equivalent to the true system that minimizes the regularization term of RLS.


title: Sample Complexity of the Linear Quadratic Regulator: A Reinforcement Learning Lens

abstract: We provide the first known algorithm that provably achieves $\varepsilon$-optimality within $\widetilde{\mathcal{O}}(1/\varepsilon)$ function evaluations for the discounted discrete-time LQR problem with unknown parameters, without relying on two-point gradient estimates. These estimates are known to be unrealistic in many settings, as they depend on using the exact same initialization, which is to be selected randomly, for two different policies. Our results substantially improve upon the existing literature outside the realm of two-point gradient estimates, which either leads to $\widetilde{\mathcal{O}}(1/\varepsilon^2)$ rates or heavily relies on stability assumptions.


title: Asymmetries in invisible Dark Matter mediator production associated with $t \bar{t}$ final states

abstract: In this paper, we propose two sets of different CP-sensitive observables inspired by the Higgs production in association with the top quark. We employ a Dark Matter simplified model that couples a scalar particle with three generation fermions with a mass equal to that of the top quark. The reconstruction of the kinematic variables is presented at NLO accuracy for events associated with this massive scalar particle, which is assumed to be vanishing to invisible decays in a detector such as ATLAS. We build these observables by taking advantage of the similarity between the scalar coupling with the top quark and the factorization theorem in the total scattering amplitude, in order to represent the basis in which the phase space is parameterized. A twofold approach employs the direct implementation of the four-momentum phase space measure in building CP sensitive observables such as $b_{2}$ for the Higgs, and the spin polarization of the top-quark decays in the narrow width approximation for the employed model. We studied the asymmetries of these distributions to test for any improvement in increasing the exclusion region for the $g_{u_{33}}^S-g_{u_{33}}^P$ parameters associated with this vanishing scalar particle. We have found no significant effect in the exclusion limits by using the forward-backward asymmetry distributions and the full shaped ones. The best limits obtained for $g_{u_{33}}^S$ at NLO accuracy were obtained: $b_{2}:[-0.0425, 0.0475]$ $n_{4}: [-0.0450, 0.0450] $ for an invisible scalar with a mass of 10$^{-2}$ GeV for a luminosity of 300 fb$^{-1}$ expected for the end of Run 3 of the LHC.


title: Efficient 6-dimensional phase space reconstruction from experimental measurements using generative machine learning

abstract: Next-generation accelerator concepts which hinge on the precise shaping of beam distributions, demand equally precise diagnostic methods capable of reconstructing beam distributions within 6-dimensional position-momentum spaces. However, the characterization of intricate features within 6-dimensional beam distributions using conventional diagnostic techniques necessitates hundreds of measurements, using many hours of valuable beam time. Novel phase space reconstruction techniques are needed to substantially reduce the number of measurements required to reconstruct detailed, high-dimensional beam features in order to resolve complex beam phenomena, and as feedback in precision beam shaping applications. In this study, we present a novel approach to reconstructing detailed 6-dimensional phase space distributions from experimental measurements using generative machine learning and differentiable beam dynamics simulations. We demonstrate that for a collection of synthetic beam distribution test cases that this approach can be used to resolve 6-dimensional phase space distributions using basic beam manipulations and as few as 20 2-dimensional measurements of the beam profile, without the need for prior data collection or model training. We also demonstrate an application of the reconstruction method in an experimental setting at the Argonne Wakefield Accelerator, where it is able to reconstruct the beam distribution and accurately predict previously unseen measurements 75x faster than previous methods.


title: Methods to Estimate Cryptic Sequence Complexity

abstract: Complexity is a signature quality of interest in artificial life systems. Alongside other dimensions of assessment, it is common to quantify genome sites that contribute to fitness as a complexity measure. However, limitations to the sensitivity of fitness assays in models with implicit replication criteria involving rich biotic interactions introduce the possibility of difficult-to-detect ``cryptic'' adaptive sites, which contribute small fitness effects below the threshold of individual detectability or involve epistatic redundancies. Here, we propose three knockout-based assay procedures designed to quantify cryptic adaptive sites within digital genomes. We report initial tests of these methods on a simple genome model with explicitly configured site fitness effects. In these limited tests, estimation results reflect ground truth cryptic sequence complexities well. Presented work provides initial steps toward development of new methods and software tools that improve the resolution, rigor, and tractability of complexity analyses across alife systems, particularly those requiring expensive in situ assessments of organism fitness.


title: Warp Factory: A Numerical Toolkit for the Analysis and Optimization of Warp Drive Geometries

abstract: The last few decades of warp drive research have focused on analytic methods to explore warp solutions to Einstein's field equations. These analytic solutions tend to favor simple metric forms which are easier to analyze but limit the space of exploration. In addition, all solutions to date have involved unphysical qualities, such as negative energy, violation of energy conditions, or enormous energy requirements. In an effort to explore the space of physically meaningful warp drives, the Advanced Propulsion Laboratory (APL) at Applied Physics has developed Warp Factory, a toolkit written in MATLAB for numerically analyzing and optimizing warp drive geometries. Warp Factory consists of a series of three primary modules: the solver, the analyzer, and the optimizer. Together, these modules allow users to solve the Einstein field equations, compute energy conditions and scalars, and perturbatively optimize general metrics. Finally, the toolkit offers insightful 2D and 3D visualizations of general metrics and stress-energy tensors. The methods used in Warp Factory, along with their application in evaluating and optimizing common metrics, are discussed. With Warp Factory, APL hopes to accelerate warp research and bring us one step closer to physical and realizable warp drives.


title: UruDendro, a public dataset of cross-section images of Pinus taeda

abstract: The automatic detection of tree-ring boundaries and other anatomical features using image analysis has progressed substantially over the past decade with advances in machine learning and imagery technology, as well as increasing demands from the dendrochronology community. This paper presents a publicly available database of 64 scanned images of transverse sections of commercially grown Pinus taeda trees from northern Uruguay, ranging from 17 to 24 years old. The collection contains several challenging features for automatic ring detection, including illumination and surface preparation variation, fungal infection (blue stains), knot formation, missing cortex or interruptions in outer rings, and radial cracking. This dataset can be used to develop and test automatic tree ring detection algorithms. This paper presents to the dendrochronology community one such method, Cross-Section Tree-Ring Detection (CS-TRD), which identifies and marks complete annual rings in cross-sections for tree species presenting a clear definition between early and latewood. We compare the CS-TRD performance against the ground truth manual delineation of all rings over the UruDendro dataset. The CS-TRD software identified rings with an average F-score of 89% and RMSE error of 5.27px for the entire database in less than 20 seconds per image. Finally, we propose a robust measure of the ring growth using the \emph{equivalent radius} of a circle having the same area enclosed by the detected tree ring. Overall, this study contributes to the dendrochronologist's toolbox of fast and low-cost methods to automatically detect rings in conifer species, particularly for measuring diameter growth rates and stem transverse area using entire cross-sections.


title: D3CODE: Disentangling Disagreements in Data across Cultures on Offensiveness Detection and Evaluation

abstract: While human annotations play a crucial role in language technologies, annotator subjectivity has long been overlooked in data collection. Recent studies that have critically examined this issue are often situated in the Western context, and solely document differences across age, gender, or racial groups. As a result, NLP research on subjectivity have overlooked the fact that individuals within demographic groups may hold diverse values, which can influence their perceptions beyond their group norms. To effectively incorporate these considerations into NLP pipelines, we need datasets with extensive parallel annotations from various social and cultural groups. In this paper we introduce the \dataset dataset: a large-scale cross-cultural dataset of parallel annotations for offensive language in over 4.5K sentences annotated by a pool of over 4k annotators, balanced across gender and age, from across 21 countries, representing eight geo-cultural regions. The dataset contains annotators' moral values captured along six moral foundations: care, equality, proportionality, authority, loyalty, and purity. Our analyses reveal substantial regional variations in annotators' perceptions that are shaped by individual moral values, offering crucial insights for building pluralistic, culturally sensitive NLP models.


title: Koszulity, supersolvability, and Stirling representations

abstract: Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.


title: Forcing Diffuse Distributions out of Language Models

abstract: Despite being trained specifically to follow user instructions, today's language models perform poorly when instructed to produce random outputs. For example, when prompted to pick a number uniformly between one and ten Llama-2-13B-chat disproportionately favors the number five, and when tasked with picking a first name at random, Mistral-7B-Instruct chooses Avery 40 times more often than we would expect based on the U.S. population. When these language models are used for real-world tasks where diversity of outputs is crucial, such as language model assisted dataset construction, their inability to produce diffuse distributions over valid choices is a major hurdle. In this work, we propose a fine-tuning method that encourages language models to output distributions that are diffuse over valid outcomes. The methods we introduce generalize across a variety of tasks and distributions and make large language models practical for synthetic dataset generation with little human intervention.


title: Line bundles on Contractions of $\overline{\rm{M}}_{0,n}$ via Conformal Block Divisors

abstract: The moduli space of stable curves of genus $g$ with $n$ marked points, $\overline{\rm{M}}_{g,n}$, is a central object in algebraic geometry, and plays a crucial role in $2$-dimensional conformal field theory. In this paper, we apply the sheaf of coinvariants and conformal block divisors to study the geometry of $\overline{\rm{M}}_{0,n}$. The main theorem characterizes the line bundles on certain contractions of $\overline{\rm{M}}_{0,n}$ via F-curves, using Fakhruddin's basis for the Picard group given by conformal block divisors. This reveals a distinguished property of Knudsen's construction of $\overline{\rm{M}}_{0,n}$. As a notable consequence of this property, using the global generation of sheaves of coinvariants by Fakhruddin, we refine Knudsen's construction by describing every possible contraction of $\overline{\rm{M}}_{0,n}$ over it. An application of this refinement is given, and its potential for generalization is discussed.


title: Trackable Agent-based Evolution Models at Wafer Scale

abstract: Continuing improvements in computing hardware are poised to transform capabilities for in silico modeling of cross-scale phenomena underlying major open questions in evolutionary biology and artificial life, such as transitions in individuality, eco-evolutionary dynamics, and rare evolutionary events. Emerging ML/AI-oriented hardware accelerators, like the 850,000 processor Cerebras Wafer Scale Engine (WSE), hold particular promise. However, practical challenges remain in conducting informative evolution experiments that efficiently utilize these platforms' large processor counts. Here, we focus on the problem of extracting phylogenetic information from agent-based evolution on the WSE platform. This goal drove significant refinements to decentralized in silico phylogenetic tracking, reported here. These improvements yield order-of-magnitude performance improvements. We also present an asynchronous island-based genetic algorithm (GA) framework for WSE hardware. Emulated and on-hardware GA benchmarks with a simple tracking-enabled agent model clock upwards of 1 million generations a minute for population sizes reaching 16 million agents. We validate phylogenetic reconstructions from these trials and demonstrate their suitability for inference of underlying evolutionary conditions. In particular, we demonstrate extraction, from wafer-scale simulation, of clear phylometric signals that differentiate runs with adaptive dynamics enabled versus disabled. Together, these benchmark and validation trials reflect strong potential for highly scalable agent-based evolution simulation that is both efficient and observable. Developed capabilities will bring entirely new classes of previously intractable research questions within reach, benefiting further explorations within the evolutionary biology and artificial life communities across a variety of emerging high-performance computing platforms.


title: Ligand Induced Size-Dependent Circular Dichroism in Quantum Dots

abstract: Recent experiments have probed the chiral properties of semiconductor nanocrystal (NC) quantum dots (QDs), but understanding the circular dichroism lineshape, excitonic features, and ligand induction mechanism remains a challenge. We propose an atomistic pseudopotential method to model chiral ligand passivated QDs, computing circular dichroism (CD) spectra for CdSe QDs (2.6 - 3.8 nm). We find strong agreement between calculated and measured spectra, predicting consistent bisignate lineshapes with decreasing CD magnitude as size increases. Our analysis reveals the origin of bisignate lineshapes, arising from nondegenerate excitons with opposing angular momenta. We also explore the impact of chiral ligand orientation on QD surfaces, observing changes in optical activity magnitude and sign. This orientation sensitivity offers means to distinguish ordered from disordered ligand configurations, facilitating the study of order-disorder transitions at ligand-QD interfaces.


title: Numerical methods and improvements for simulating quasi-static elastoplastic materials

abstract: Hypo-elastoplasticity is a framework suitable for modeling the mechanics of many hard materials that have small elastic deformation and large plastic deformation. In most laboratory tests for these materials the Cauchy stress is in quasi-static equilibrium. Rycroft et al. discovered a mathematical correspondence between this physical system and the incompressible Navier-Stokes equations, and developed a projection method similar to Chorin's projection method (1968) for incompressible Newtonian fluids. Here, we improve the original projection method to simulate quasi-static hypo-elastoplasticity, by making three improvements. First, drawing inspiration from the second-order projection method for incompressible Newtonian fluids, we formulate a second-order in time numerical scheme for quasi-static hypo-elastoplasticity. Second, we implement a finite element method for solving the elliptic equations in the projection step, which provides both numerical benefits and flexibility. Third, we develop an adaptive global time-stepping scheme, which can compute accurate solutions in fewer timesteps. Our numerical tests use an example physical model of a bulk metallic glass based on the shear transformation zone theory, but the numerical methods can be applied to any elastoplastic material.

categories: physics.comp-ph cs.NA math-ph math.MP math.NA physics.app-ph


title: Vocabulary-free Image Classification and Semantic Segmentation

abstract: Large vision-language models revolutionized image classification and semantic segmentation paradigms. However, they typically assume a pre-defined set of categories, or vocabulary, at test time for composing textual prompts. This assumption is impractical in scenarios with unknown or evolving semantic context. Here, we address this issue and introduce the Vocabulary-free Image Classification (VIC) task, which aims to assign a class from an unconstrained language-induced semantic space to an input image without needing a known vocabulary. VIC is challenging due to the vastness of the semantic space, which contains millions of concepts, including fine-grained categories. To address VIC, we propose Category Search from External Databases (CaSED), a training-free method that leverages a pre-trained vision-language model and an external database. CaSED first extracts the set of candidate categories from the most semantically similar captions in the database and then assigns the image to the best-matching candidate category according to the same vision-language model. Furthermore, we demonstrate that CaSED can be applied locally to generate a coarse segmentation mask that classifies image regions, introducing the task of Vocabulary-free Semantic Segmentation. CaSED and its variants outperform other more complex vision-language models, on classification and semantic segmentation benchmarks, while using much fewer parameters.


title: OSR-ViT: A Simple and Modular Framework for Open-Set Object Detection and Discovery

abstract: An object detector's ability to detect and flag \textit{novel} objects during open-world deployments is critical for many real-world applications. Unfortunately, much of the work in open object detection today is disjointed and fails to adequately address applications that prioritize unknown object recall \textit{in addition to} known-class accuracy. To close this gap, we present a new task called Open-Set Object Detection and Discovery (OSODD) and as a solution propose the Open-Set Regions with ViT features (OSR-ViT) detection framework. OSR-ViT combines a class-agnostic proposal network with a powerful ViT-based classifier. Its modular design simplifies optimization and allows users to easily swap proposal solutions and feature extractors to best suit their application. Using our multifaceted evaluation protocol, we show that OSR-ViT obtains performance levels that far exceed state-of-the-art supervised methods. Our method also excels in low-data settings, outperforming supervised baselines using a fraction of the training data.


title: Spectroscopic measurements and models of energy deposition in the substrate of quantum circuits by natural ionizing radiation

abstract: Naturally occurring background radiation is a source of correlated decoherence events in superconducting qubits that will challenge error-correction schemes. To characterize the radiation environment in an unshielded laboratory, we performed broadband, spectroscopic measurements of background events in silicon substrates located inside a millikelvin refrigerator, an environment representative of superconducting qubit systems. We measured the background spectra in silicon substrates of two thicknesses, 0.5 mm and 1.5 mm, and obtained the average event rate and the integrated power deposition. In a 25 mm^2 area and the thinner substrate, these values are 0.023 events per second and 4.9 keV/s, counting events that deposit at least 40 keV. We find the background spectrum to be nearly featureless. Its intensity decreases by a factor of 40,000 between 100 keV and 3 MeV for silicon substrates 0.5 mm thick. We find the cryogenic measurements to be in good agreement with predictions based on measurements of the terrestrial gamma-ray flux, published models of cosmic-ray fluxes, a crude model of the cryostat, and radiation-transport simulations. No free parameters are required to predict the background spectra in the silicon substrates. The good agreement between measurements and predictions allow assessment of the relative contributions of terrestrial and cosmic background sources and their dependence on substrate thickness. Our spectroscopic measurements are performed with superconducting microresonators that transduce deposited energy to a readily detectable electrical signal. We find that gamma-ray emissions from radioisotopes are responsible for the majority of events depositing E<1.5 MeV, while nucleons among the cosmic-ray secondary particles cause most events that deposit more energy. These results suggest several paths to reducing the impact of background radiation on quantum circuits.


title: Unifying topological entropy notions for piecewise continuous maps on the interval

abstract: We generalize the definition of topological entropy given by Adler, Konheim, and McAndrew (AKM) for piecewise continuous self-maps defined on a compact interval (pc-maps). For this notion of entropy, we prove that the properties of the AKM-entropy in the compact-continuous setting get naturally extended, including that it can be estimated using Bowen's formula disregarding the metric used to compute it. Additionally, for piecewise strictly monotonic pc-maps, we prove that the Misiurewicz-Szlenk formula based on the asymptotic behavior of the number of monotony pieces for iterations of the map coincides with our notion of topological entropy. In this way, we unify the notions of entropy commonly used for piecewise continuous interval maps, proving that they all coincide when the space is compact.


title: A dispersion function for the regularized kappa distribution function

abstract: In this work we define the plasma dispersion function for a suprathermal plasma described with a regularized kappa distribution. As is known from Maxwellian as well as (standard) kappa plasmas, the respective Fried-Conte and the modified plasma dispersion functions are valuable tools for various analytical studies. For the latter is has been proven very useful to know about the mathematical properties, as analytical continuation, series expansions as well as asymptotic expressions. Given the growing popularity of the regularized kappa distribution, as indicated by its increasing number of applications to various problems related to suprathermal plasmas, we extend its theoretical treatment here by providing the corresponding plasma dispersion function along with various of its properties.


title: Alpha rhythm slowing in temporal epilepsy across Scalp EEG and MEG

abstract: EEG slowing is reported in various neurological disorders including Alzheimer's, Parkinson's and Epilepsy. Here, we investigate alpha rhythm slowing in individuals with refractory temporal lobe epilepsy (TLE), compared to healthy controls, using scalp electroencephalography (EEG) and magnetoencephalography (MEG). We retrospectively analysed data from 17,(46) healthy controls and 22,(24) individuals with TLE who underwent scalp EEG and (MEG) recordings as part of presurgical evaluation. Resting-state, eyes-closed recordings were source reconstructed using the standardized low-resolution brain electrographic tomography (sLORETA) method. We extracted low (slow) 6-9 Hz and high (fast) 10-11 Hz alpha relative band power and calculated the alpha power ratio by dividing low (slow) alpha by high (fast) alpha. This ratio was computed for all brain regions in all individuals. Alpha oscillations were slower in individuals with TLE than controls (p<0.05). This effect was present in both the ipsilateral and contralateral hemispheres, and across widespread brain regions. Alpha slowing in TLE was found in both EEG and MEG recordings. We interpret greater low (slow)-alpha as greater deviation from health.


title: Monotone parameters on Cayley graphs of finitely generated groups

abstract: We construct a new large family of finitely generated groups with continuum many values of the following monotone parameters: spectral radius, critical percolation, and asymptotic entropy. We also present several open problems on other monotone parameters.


title: Magnetic Monopole Phenomenology at Future Hadron Colliders

abstract: In the grand tapestry of Physics, the magnetic monopole is a holy grail. Therefore, numerous efforts are underway in search of this hypothetical particle at CMS, ATLAS and MoEDAL experiments of LHC by employing different production mechanisms. The cornerstone of our comprehension of monopoles lies in Dirac's theory which outlines their characteristics and dynamics. Within this theoretical framework, an effective $U(1)$ gauge field theory, derived from conventional models, delineates the interaction between spin magnetically-charged fields and ordinary photons under electric-magnetic dualization. The focus of this paper is the production of magnetic monopoles from Drell-Yan and the Photon-Fusion mechanisms to produce velocity-dependent scalar, fermionic, and vector monopoles of spin angular momentum $0,\frac{1}{2},1$ respectively at LHC. A computational work is performed to compare the monopole pair-production cross-sections for both methods at different center-of-mass energies ($\sqrt{s}$) with various magnetic dipole moments. The comparison of kinematic distributions of monopoles at Parton and reconstructed level are demonstrated including both DY and PF mechanisms. Extracted results showcase how modern machine-learning techniques can be used to study the production of magnetic monopoles at the Future proton-proton Particle Colliders at 100 TeV. We demonstrate the observability of magnetic monopoles against the most relevant Standard Model background using multivariate methods such as Boosted Decision Trees (BDT), Likelihood, and Multilayer Perceptron (MLP). This study compares the performance of these classifiers with traditional cut-based and counting approaches, proving the superiority of our methods.


title: The Effect of Pulsar Geometry on the Observed Gamma-ray Spectrum of Millisecond Pulsars

abstract: We analyse 13 yrs of $\textit{Fermi}$-LAT PASS 8 events from 127 gamma-ray emitting millisecond pulsars (MSPs) in the energy range 0.1$-$100 GeV and significantly detect 118 MSPs. We fit the stacked emission with a log parabola (LP) spectral model which we show is preferred to two previously published models. We consider the influence of pulsar properties and observer geometric effects on spectral features by defining energy flux colours for both the individual MSPs, and our stacked model as a baseline. There is no correlation of colours with pulsar luminosity, $\dot{E}$, surface magnetic field or magnetic impact angle. We also find that pulsar geometry has little effect on the observed gamma-ray spectrum which is in tension with previous modelling of gamma-ray emission with respect to pulsar geometry. Our LP MSP model is applicable to problems where an ensemble of gamma-ray MSPs is considered, such as that of the Galactic centre excess or in the case of emission from globular clusters.


title: Spectral Independence

abstract: We prove the spectral gap property for random walks on the product of two non-locally isomorphic analytic real or p-adic compact groups with simple Lie algebras, under the necessary condition that the marginals posses a spectral gap. Furthermore, we give additional control on the spectral gap depending on certain specific properties of the given groups and marginals; in particular, we prove some new cases of the super-approximation conjecture. One ingredient of the proof is a local Ulam stability result which is introduced and proved in this paper. This result characterizes partially defined almost homomorphisms between two analytic compact groups with simple Lie algebras.


title: Measurement of the branching fraction of the decay $B^- \to D^0 \rho(770)^-$ at Belle II

abstract: We measure the branching fraction of the decay $B^- \to D^0 \rho(770)^-$ using data collected with the Belle II detector. The data contain 387 million $B\overline{B}$ pairs produced in $e^+e^-$ collisions at the $\Upsilon(4S)$ resonance. We reconstruct $8360\pm 180$ decays from an analysis of the distributions of the $B^-$ energy and the $\rho(770)^-$ helicity angle. We determine the branching fraction to be $(0.939 \pm 0.021\mathrm{(stat)} \pm 0.050\mathrm{(syst)})\%$, in agreement with previous results. Our measurement improves the relative precision of the world average by more than a factor of two.


title: A Dataset for Large Language Model-Driven AI Accelerator Generation

abstract: In the ever-evolving landscape of Deep Neural Networks (DNN) hardware acceleration, unlocking the true potential of systolic array accelerators has long been hindered by the daunting challenges of expertise and time investment. Large Language Models (LLMs) offer a promising solution for automating code generation which is key to unlocking unprecedented efficiency and performance in various domains, including hardware descriptive code. However, the successful application of LLMs to hardware accelerator design is contingent upon the availability of specialized datasets tailored for this purpose. To bridge this gap, we introduce the Systolic Array-based Accelerator DataSet (SA-DS). SA-DS comprises of a diverse collection of spatial arrays following the standardized Berkeley's Gemmini accelerator generator template, enabling design reuse, adaptation, and customization. SA-DS is intended to spark LLM-centred research on DNN hardware accelerator architecture. We envision that SA-DS provides a framework which will shape the course of DNN hardware acceleration research for generations to come. SA-DS is open-sourced under the permissive MIT license at this https://github.com/ACADLab/SA-DS.


title: Course Recommender Systems Need to Consider the Job Market

abstract: Current course recommender systems primarily leverage learner-course interactions, course content, learner preferences, and supplementary course details like instructor, institution, ratings, and reviews, to make their recommendation. However, these systems often overlook a critical aspect: the evolving skill demand of the job market. This paper focuses on the perspective of academic researchers, working in collaboration with the industry, aiming to develop a course recommender system that incorporates job market skill demands. In light of the job market's rapid changes and the current state of research in course recommender systems, we outline essential properties for course recommender systems to address these demands effectively, including explainable, sequential, unsupervised, and aligned with the job market and user's goals. Our discussion extends to the challenges and research questions this objective entails, including unsupervised skill extraction from job listings, course descriptions, and resumes, as well as predicting recommendations that align with learner objectives and the job market and designing metrics to evaluate this alignment. Furthermore, we introduce an initial system that addresses some existing limitations of course recommender systems using large Language Models (LLMs) for skill extraction and Reinforcement Learning (RL) for alignment with the job market. We provide empirical results using open-source data to demonstrate its effectiveness.


title: Incubating Text Classifiers Following User Instruction with Nothing but LLM

abstract: In this paper, we aim to generate text classification data given arbitrary class definitions (i.e., user instruction), so one can train a small text classifier without any human annotation or raw corpus. Compared with pioneer attempts, our proposed Incubator is the first framework that can handle complicated and even mutually dependent classes (e.g., "TED Talk given by Educator" and "Other"). Specifically, Incubator is an LLM firstly tuned on the instruction-to-data mappings that we obtained from classification datasets and descriptions on HuggingFace together with in-context augmentation by GPT-4. We then refine Incubator by learning on the cluster centers of semantic textual embeddings to emphasize the uniformity and semantic diversity in generations. We compare Incubator on various classification tasks with strong baselines such as direct LLM-based inference and training data generation by prompt engineering. Experiments show Incubator is able to (1) perform well on traditional benchmarks, (2) take label dependency and user preference into consideration, and (3) enable logical text mining by incubating multiple classifiers.


title: Wave-resolving Voronoi model of Rouse number for sediment entrainment equilibrium

abstract: To integrate wave and sediment transport modeling, a computationally extensive wave-resolving Voronoi mesh-based simulation has been developed to improve upon heretofore separate sediment and spectral wave modeling. Orbital wave motion-dependent sediment transport and fine structures of the dynamic Rouse number distribution across the seabed were brought into focus. The entirely parallelized wave-resolving hydrodynamic model is demonstrated for nearshore beach waters adjacent to artificial islands in Doha Bay. The nested model was validated with tidal time series for three locations and two seasons.


title: FlexMap Fusion: Georeferencing and Automated Conflation of HD Maps with OpenStreetMap

abstract: Today's software stacks for autonomous vehicles rely on HD maps to enable sufficient localization, accurate path planning, and reliable motion prediction. Recent developments have resulted in pipelines for the automated generation of HD maps to reduce manual efforts for creating and updating these HD maps. We present FlexMap Fusion, a methodology to automatically update and enhance existing HD vector maps using OpenStreetMap. Our approach is designed to enable the use of HD maps created from LiDAR and camera data within Autoware. The pipeline provides different functionalities: It provides the possibility to georeference both the point cloud map and the vector map using an RTK-corrected GNSS signal. Moreover, missing semantic attributes can be conflated from OpenStreetMap into the vector map. Differences between the HD map and OpenStreetMap are visualized for manual refinement by the user. In general, our findings indicate that our approach leads to reduced human labor during HD map generation, increases the scalability of the mapping pipeline, and improves the completeness and usability of the maps. The methodological choices may have resulted in limitations that arise especially at complex street structures, e.g., traffic islands. Therefore, more research is necessary to create efficient preprocessing algorithms and advancements in the dynamic adjustment of matching parameters. In order to build upon our work, our source code is available at https://github.com/TUMFTM/FlexMap_Fusion.


title: HumMUSS: Human Motion Understanding using State Space Models

abstract: Understanding human motion from video is essential for a range of applications, including pose estimation, mesh recovery and action recognition. While state-of-the-art methods predominantly rely on transformer-based architectures, these approaches have limitations in practical scenarios. Transformers are slower when sequentially predicting on a continuous stream of frames in real-time, and do not generalize to new frame rates. In light of these constraints, we propose a novel attention-free spatiotemporal model for human motion understanding building upon recent advancements in state space models. Our model not only matches the performance of transformer-based models in various motion understanding tasks but also brings added benefits like adaptability to different video frame rates and enhanced training speed when working with longer sequence of keypoints. Moreover, the proposed model supports both offline and real-time applications. For real-time sequential prediction, our model is both memory efficient and several times faster than transformer-based approaches while maintaining their high accuracy.


title: Differentially Private Optimization with Sparse Gradients

abstract: Motivated by applications of large embedding models, we study differentially private (DP) optimization problems under sparsity of individual gradients. We start with new near-optimal bounds for the classic mean estimation problem but with sparse data, improving upon existing algorithms particularly for the high-dimensional regime. Building on this, we obtain pure- and approximate-DP algorithms with almost optimal rates for stochastic convex optimization with sparse gradients; the former represents the first nearly dimension-independent rates for this problem. Finally, we study the approximation of stationary points for the empirical loss in approximate-DP optimization and obtain rates that depend on sparsity instead of dimension, modulo polylogarithmic factors.


title: Differential operators on {B}ergman space on bounded symmetric domains

abstract: We classify self-adjoint first-order differential operators on weighted Bergman spaces on the $N$-dimensional unit ball $\mathbb{B}^N$ and $\mathbb{D}^2$ of $2\times2$ complex matrices satisfying $I-ZZ^*>0$.Our main tools are the discrete series representations of $\mathrm{SU}(N,1)$ and $\mathrm{SU}(2,2)$. We believe that our observations extend to general bounded symmetric domains.


title: Automated Discovery of Functional Actual Causes in Complex Environments

abstract: Reinforcement learning (RL) algorithms often struggle to learn policies that generalize to novel situations due to issues such as causal confusion, overfitting to irrelevant factors, and failure to isolate control of state factors. These issues stem from a common source: a failure to accurately identify and exploit state-specific causal relationships in the environment. While some prior works in RL aim to identify these relationships explicitly, they rely on informal domain-specific heuristics such as spatial and temporal proximity. Actual causality offers a principled and general framework for determining the causes of particular events. However, existing definitions of actual cause often attribute causality to a large number of events, even if many of them rarely influence the outcome. Prior work on actual causality proposes normality as a solution to this problem, but its existing implementations are challenging to scale to complex and continuous-valued RL environments. This paper introduces functional actual cause (FAC), a framework that uses context-specific independencies in the environment to restrict the set of actual causes. We additionally introduce Joint Optimization for Actual Cause Inference (JACI), an algorithm that learns from observational data to infer functional actual causes. We demonstrate empirically that FAC agrees with known results on a suite of examples from the actual causality literature, and JACI identifies actual causes with significantly higher accuracy than existing heuristic methods in a set of complex, continuous-valued environments.


title: Modeling Interconnected Modules in Multivariate Outcomes: Evaluating the Impact of Alcohol Intake on Plasma Metabolomics

abstract: Alcohol consumption has been shown to influence cardiovascular mechanisms in humans, leading to observable alterations in the plasma metabolomic profile. Regression models are commonly employed to investigate these effects, treating metabolomics features as the outcomes and alcohol intake as the exposure. Given the latent dependence structure among the numerous metabolomic features (e.g., co-expression networks with interconnected modules), modeling this structure is crucial for accurately identifying metabolomic features associated with alcohol intake. However, integrating dependence structures into regression models remains difficult in both estimation and inference procedures due to their large or high dimensionality. To bridge this gap, we propose an innovative multivariate regression model that accounts for correlations among outcome features by incorporating an interconnected community structure. Furthermore, we derive closed-form and likelihood-based estimators, accompanied by explicit exact and explicit asymptotic covariance matrix estimators, respectively. Simulation analysis demonstrates that our approach provides accurate estimation of both dependence and regression coefficients, and enhances sensitivity while maintaining a well-controlled discovery rate, as evidenced through benchmarking against existing regression models. Finally, we apply our approach to assess the impact of alcohol intake on $249$ metabolomic biomarkers measured using nuclear magnetic resonance spectroscopy. The results indicate that alcohol intake can elevate high-density lipoprotein levels by enhancing the transport rate of Apolipoproteins A1.


title: On retract varieties of algebras

abstract: A retract variety is defined as a class of algebras closed under isomorphisms, retracts and products. Let a principal retract variety be generated by one algebra and a set-principal retract variety be generated by some set of algebras. It is shown that (a) not each set-principal retract variety is principal, and (b) not each retract variety is set-principal. A class of connected monounary algebras $\mathcal{S}$ such that every retract variety of monounary algebras is generated by algebras that have all connected components from $\mathcal{S}$ and at most two connected components are isomorphic is defined, this generating class is constructively described. All set-principal retract varieties of monounary algebras are characterized via degree function of monounary algebras.


title: Geometric Optimization of the First Robin Eigenvalue in Exterior Domains

abstract: This paper addresses the geometric optimization problem of the first Robin eigenvalue in exterior domains, specifically the lowest point of the spectrum of the Laplace operator under Robin boundary conditions in the complement of a bounded domain. In contrast to the Laplace operator on bounded domains, the spectrum of this operator is not purely discrete. The discrete nature of the first eigenvalue depends on the parameter of the Robin boundary condition. In two dimensions, D. Krejcirik and V. Lotoreichik show that the ball maximizes the first Robin eigenvalue among all smooth, bounded, simply connected sets with given perimeter or given area, provided the eigenvalue is discrete. We extend these findings to higher dimensions. The discrete spectrum of the Laplace operator under Robin boundary conditions can be characterized through the Steklov eigenvalue problem in exterior domains, a topic studied by G. Auchmuty and Q. Han. Assuming that the lowest point of the spectrum is a discrete eigenvalue, we show that the ball is a local maximizer among nearly spherical domains with prescribed measure. However, in general, the ball does not emerge as the global maximizer for the first Robin eigenvalue under either prescribed measure or prescribed perimeter.


title: Search Beyond Queries: Training Smaller Language Models for Web Interactions via Reinforcement Learning

abstract: Traditional search systems focus on query formulation for effective results but face challenges in scenarios such as product searches where crucial product details (e.g., size, color) remain concealed until users visit specific product pages. This highlights the need for intelligent web navigation agents capable of formulating queries and navigating web pages according to users' high-level intents. In response to this need, this work introduces a Grounded Language Agent for Intelligent Web Interactions, called GLAINTEL. Drawing upon advancements in language modeling and reinforcement learning, GLAINTEL investigates the efficacy of transformer-based models in enhancing the search capabilities of interactive web environments. Given the dynamic action space for each state in web navigation, GLAINTEL employs the Flan-T5 architecture and incorporates language modeling and value estimation heads. This work focuses on training smaller language models as agents across various scenarios, systematically evaluating the impact of human demonstrations on the training process. Specifically, we investigate scenarios where no human demonstrations are available and subsequently assess the effective utilization of such demonstrations. We also explore unsupervised domain adaptation for situations where demonstrations are confined to a specific domain. Experimental evaluations across diverse setups demonstrate the effectiveness of training agents in unsupervised settings, outperforming in-context learning-based approaches that employ larger models with up to 540 billion parameters. Surprisingly, behavioral cloning-based methods that straightforwardly use human demonstrations do not outperform unsupervised learning-based methods. Additionally, combining human demonstrations with Reinforcement Learning-based training yields results comparable to models utilizing GPT-4.


title: The sandwich problem for odd-hole-free and even-hole-free graphs

abstract: For a property $\mathcal{P}$ of graphs, the $\mathcal{P}$-\textsc{Sandwich-Problem}, introduced by Golumbic and Shamir (1993), is the following: Given a pair of graphs $(G_1, G_2)$ on the same vertex set $V$, does there exist a graph $G$ such that $V(G)=V$, $E(G_{1})\subseteq E(G) \subseteq E(G_{2})$, and $G$ satisfies $\mathcal{P}$? A {\em hole} in a graph is an induced subgraph which is a cycle of length at least four. An odd (respectively even) hole is a hole of odd (respectively even) length. Given a class of graphs $\mathcal{C}$ and a graph $G$ we say that $G$ is {\em $\mathcal{C}$-free} if it contains no induced subgraph isomorphic to a member of $\mathcal{C}$. In this paper we prove that if $\mathcal{P}$ is the property of being odd-hole-free or the property of being even-hole-free, then the $\mathcal{P}$-\textsc{Sandwich-Problem} is NP-hard.


title: Cognitive-Motor Integration in Assessing Bimanual Motor Skills

abstract: Accurate assessment of bimanual motor skills is essential across various professions, yet, traditional methods often rely on subjective assessments or focus solely on motor actions, overlooking the integral role of cognitive processes. This study introduces a novel approach by leveraging deep neural networks (DNNs) to analyze and integrate both cognitive decision-making and motor execution. We tested this methodology by assessing laparoscopic surgery skills within the Fundamentals of Laparoscopic Surgery program, which is a prerequisite for general surgery certification. Utilizing video capture of motor actions and non-invasive functional near-infrared spectroscopy (fNIRS) for measuring neural activations, our approach precisely classifies subjects by expertise level and predicts FLS behavioral performance scores, significantly surpassing traditional single-modality assessments.


title: Exploring Augmentation and Cognitive Strategies for AI based Synthetic Personae

abstract: Large language models (LLMs) hold potential for innovative HCI research, including the creation of synthetic personae. However, their black-box nature and propensity for hallucinations pose challenges. To address these limitations, this position paper advocates for using LLMs as data augmentation systems rather than zero-shot generators. We further propose the development of robust cognitive and memory frameworks to guide LLM responses. Initial explorations suggest that data enrichment, episodic memory, and self-reflection techniques can improve the reliability of synthetic personae and open up new avenues for HCI research.


title: Deep Learning Methods for Colloidal Silver Nanoparticle Concentration and Size Distribution Determination from UV-Vis Extinction Spectra

abstract: Electron microscopy, while reliable, is an expensive, slow, and inefficient technique for thorough size distribution characterization of both mono- and polydisperse colloidal nanoparticles. If rapid in-situ characterization of colloid samples is to be achieved, a different approach, based on fast, widely accessible, and inexpensive optical measurements such as UV-Vis spectroscopy in combination with spectra interpretation related to Mie scattering theory, is needed. In this article, we present a tandem deep neural network (DNN) for the size distribution and concentration prediction of close to spherical silver colloidal nanoparticle batches synthesized via the seeded growth method. The first DNN identified the dipole component of the localized surface plasmon resonance and the second one determined the size distribution from the isolated spectral component. The training data was engineered to be bias-free and generated numerically. High prediction accuracy with root mean square percentage error of mean size down to 1.2% was achieved, spanning the entire prediction range from 1 nm up to 150 nm in radius, suggesting the possible extension limits of the effective medium theory used for simulating the spectra. The DNN-predicted nanoparticle concentrations also were very close to the ones expected based on synthesis precursor contents as well as measured by atomic absorption spectroscopy.


title: Automatic classification of prostate MR series type using image content and metadata

abstract: With the wealth of medical image data, efficient curation is essential. Assigning the sequence type to magnetic resonance images is necessary for scientific studies and artificial intelligence-based analysis. However, incomplete or missing metadata prevents effective automation. We therefore propose a deep-learning method for classification of prostate cancer scanning sequences based on a combination of image data and DICOM metadata. We demonstrate superior results compared to metadata or image data alone, and make our code publicly available at https://github.com/deepakri201/DICOMScanClassification.


title: Characterization of Capacity and Outage of RIS-aided Downlink Systems under Rician Fading

abstract: This letter presents optimal beamforming and outage analysis for a Reconfigurable Intelligent Surface (RIS)-aided multiple input single output downlink system under Rician fading on both the direct and the RIS-assisted indirect links. We focus on maximizing the capacity for two transmitter architectures: fully digital (FD) and fully analog (FA). This capacity maximization problem with optimally configured RIS is shown to be $L_1$ norm-maximization with respect to the transmit beamformer. To obtain the optimal FD beamformer, we propose a complex $L_1$-PCA-based algorithm whose complexity is significantly lower than the existing semi-definite relaxation-based solutions. We also propose a low-complexity optimal beamforming algorithm to obtain the FA beamformer solution. Further, we derive analytical upper bounds on the SNR achievable by the proposed algorithms and utilize them to characterize the lower bounds on outage probabilities. The derived bounds are numerically shown to closely match the achievable performance for a low-rank channel matrix and are shown to be exact for a unit-rank channel matrix.


title: Semantics-Aware Attention Guidance for Diagnosing Whole Slide Images

abstract: Accurate cancer diagnosis remains a critical challenge in digital pathology, largely due to the gigapixel size and complex spatial relationships present in whole slide images. Traditional multiple instance learning (MIL) methods often struggle with these intricacies, especially in preserving the necessary context for accurate diagnosis. In response, we introduce a novel framework named Semantics-Aware Attention Guidance (SAG), which includes 1) a technique for converting diagnostically relevant entities into attention signals, and 2) a flexible attention loss that efficiently integrates various semantically significant information, such as tissue anatomy and cancerous regions. Our experiments on two distinct cancer datasets demonstrate consistent improvements in accuracy, precision, and recall with two state-of-the-art baseline models. Qualitative analysis further reveals that the incorporation of heuristic guidance enables the model to focus on regions critical for diagnosis. SAG is not only effective for the models discussed here, but its adaptability extends to any attention-based diagnostic model. This opens up exciting possibilities for further improving the accuracy and efficiency of cancer diagnostics.


title: A class of Schwarz qubit maps with diagonal unitary and orthogonal symmetries

abstract: A class of unital qubit maps displaying diagonal unitary and orthogonal symmetries is analyzed. Such maps already found a lot applications in quantum information theory. We provide a complete characterization of this class of maps showing intricate relation between positivity, operator Schwarz inequality, and complete positivity. Finally, it is shown how to generalize the entire picture beyond unital case (so called generalized Schwarz maps). Interestingly, the first example of Schwarz but not completely positive map found by Choi belongs to our class. As a case study we provide a full characterization of Pauli maps. Our analysis leads to generalization of seminal Fujiwara-Algoet conditions for Pauli quantum channels.


title: From a Lossless (~1.5:1) Compression Algorithm for Llama2 7B Weights to Variable Precision, Variable Range, Compressed Numeric Data Types for CNNs and LLMs

abstract: This paper starts with a simple lossless ~1.5:1 compression algorithm for the weights of the Large Language Model (LLM) Llama2 7B [1] that can be implemented in ~200 LUTs in AMD FPGAs, processing over 800 million bfloat16 numbers per second. This framework is then extended to variable precision, variable range, compressed numerical data types that are a user defined super set of both floats and posits [2]. The paper then discusses a simple hardware implementation of such format based on ANS (Asymmetrical Numeral Systems) [3] that acts as a bridge between this flexible data format and a computational engine while, at the same time, achieving bandwidth reduction. An example of a token factory using weight compression and sharing is also given.


title: The Future of Research on Social Technologies: CCC Workshop Visioning Report

abstract: Social technologies are the systems, interfaces, features, infrastructures, and architectures that allow people to interact with each other online. These technologies dramatically shape the fabric of our everyday lives, from the information we consume to the people we interact with to the foundations of our culture and politics. While the benefits of social technologies are well documented, the harms, too, have cast a long shadow. To address widespread problems like harassment, disinformation, information access, and mental health concerns, we need to rethink the foundations of how social technologies are designed, sustained, and governed. This report is based on discussions at the Computing Community Consortium Workshop, The Future of Research on Social Technologies, that was held November 2-3, 2023 in Washington, DC. The visioning workshop came together to focus on two questions. What should we know about social technologies, and what is needed to get there? The workshop brought together over 50 information and computer scientists, social scientists, communication and journalism scholars, and policy experts. We used a discussion format, with one day of guiding topics and a second day using an unconference model where participants created discussion topics. The interdisciplinary group of attendees discussed gaps in existing scholarship and the methods, resources, access, and collective effort needed to address those gaps. We also discussed approaches for translating scholarship for various audiences including citizens, funders, educators, industry professionals, and policymakers. This report presents a synthesis of major themes during our discussions. The themes presented are not a summary of what we know already, they are an exploration of what we do not know enough about, and what we should spend more effort and investment on in the coming years.


title: Nonnegative tensor train for the multicomponent Smoluchowski equation

abstract: We propose an efficient implementation of the numerical tensor-train (TT) based algorithm solving the multicomponent coagulation equation preserving the nonnegativeness of solution. Unnatural negative elements in the constructed approximation arise due to the errors of the low-rank decomposition and discretization scheme. In this work, we propose to apply the rank-one corrections in the TT-format proportional to the minimal negative element. Such an element can be found via application of the global optimization methods that can be fully implemented within efficient operations in the tensor train format. We incorporate this trick into the time-integration scheme for the multicomponent coagulation equation and also use it for post-processing of the stationary solution for the problem with the source of particles.


title: A variational neural Bayes framework for inference on intractable posterior distributions

abstract: Classic Bayesian methods with complex models are frequently infeasible due to an intractable likelihood. Simulation-based inference methods, such as Approximate Bayesian Computing (ABC), calculate posteriors without accessing a likelihood function by leveraging the fact that data can be quickly simulated from the model, but converge slowly and/or poorly in high-dimensional settings. In this paper, we propose a framework for Bayesian posterior estimation by mapping data to posteriors of parameters using a neural network trained on data simulated from the complex model. Posterior distributions of model parameters are efficiently obtained by feeding observed data into the trained neural network. We show theoretically that our posteriors converge to the true posteriors in Kullback-Leibler divergence. Our approach yields computationally efficient and theoretically justified uncertainty quantification, which is lacking in existing simulation-based neural network approaches. Comprehensive simulation studies highlight our method's robustness and accuracy.


title: Allocation Mechanisms in Decentralized Exchange Markets with Frictions

abstract: The classical theory of efficient allocations of an aggregate endowment in a pure-exchange economy has hitherto primarily focused on the Pareto-efficiency of allocations, under the implicit assumption that transfers between agents are frictionless, and hence costless to the economy. In this paper, we argue that certain transfers cause frictions that result in costs to the economy. We show that these frictional costs are tantamount to a form of subadditivity of the cost of transferring endowments between agents. We suggest an axiomatic study of allocation mechanisms, that is, the mechanisms that transform feasible allocations into other feasible allocations, in the presence of such transfer costs. Among other results, we provide an axiomatic characterization of those allocation mechanisms that admit representations as robust (worst-case) linear allocation mechanisms, as well as those mechanisms that admit representations as worst-case conditional expectations. We call the latter Robust Conditional Mean Allocation mechanisms, and we relate our results to the literature on (decentralized) risk sharing within a pool of agents.


title: CrossGP: Cross-Day Glucose Prediction Excluding Physiological Information

abstract: The increasing number of diabetic patients is a serious issue in society today, which has significant negative impacts on people's health and the country's financial expenditures. Because diabetes may develop into potential serious complications, early glucose prediction for diabetic patients is necessary for timely medical treatment. Existing glucose prediction methods typically utilize patients' private data (e.g. age, gender, ethnicity) and physiological parameters (e.g. blood pressure, heart rate) as reference features for glucose prediction, which inevitably leads to privacy protection concerns. Moreover, these models generally focus on either long-term (monthly-based) or short-term (minute-based) predictions. Long-term prediction methods are generally inaccurate because of the external uncertainties that can greatly affect the glucose values, while short-term ones fail to provide timely medical guidance. Based on the above issues, we propose CrossGP, a novel machine-learning framework for cross-day glucose prediction solely based on the patient's external activities without involving any physiological parameters. Meanwhile, we implement three baseline models for comparison. Extensive experiments on Anderson's dataset strongly demonstrate the superior performance of CrossGP and prove its potential for future real-life applications.


title: Signature of systemic rotation in 21 Galactic Globular Clusters from APOGEE-2

abstract: Context. Traditionally, Globular Clusters (GCs) have been assumed to be quasi-relaxed non-rotating systems, characterized by spherical symmetry and orbital isotropy. However, in recent years, a growing set of observational evidence is unveiling an unexpected dynamical complexity in Galactic GCs. Indeed, kinematic studies show that a measurable amount of internal rotation is present in many present-day GCs. Aims. The objective of this work is to analyse the APOGEE-2 Value-Added Catalogs (VACs) DR17 data of a sample of 21 GCs to extend the sample showing signatures of systemic rotation, in order to better understand the kinematic properties of GCs in general. Also, we aim to identify the fastest rotating GC from the sample of objects with suitable measurements. Methods. From the sample of 23 GCs included in this work, the presence of systemic rotation was detected in 21 of the GCs, using three different methods. All these methods use the radial velocity referred to the cluster systemic velocity. Using the first method, it was possible to visually verify the clear-cut signature of systemic rotation. Whereas, using the second and third methods, it was possible to determine the amplitude of the rotation curve and the position angle of the rotation axis. Results. This study shows that 21 GCs have a signature of systemic rotation. For these clusters, the rotation amplitude and the position angle of the rotation axis have been calculated. The clusters cover a remarkable range of rotational amplitudes, from 0.77 km/s to 13.85 km/s.


title: Superior Polymeric Gas Separation Membrane Designed by Explainable Graph Machine Learning

abstract: Gas separation using polymer membranes promises to dramatically drive down the energy, carbon, and water intensity of traditional thermally driven separation, but developing the membrane materials is challenging. Here, we demonstrate a novel graph machine learning (ML) strategy to guide the experimental discovery of synthesizable polymer membranes with performances simultaneously exceeding the empirical upper bounds in multiple industrially important gas separation tasks. Two predicted candidates are synthesized and experimentally validated to perform beyond the upper bounds for multiple gas pairs (O2/N2, H2/CH4, and H2/N2). Notably, the O2/N2 separation selectivity is 1.6-6.7 times higher than existing polymer membranes. The molecular origin of the high performance is revealed by combining the inherent interpretability of our ML model, experimental characterization, and molecule-level simulation. Our study presents a unique explainable ML-experiment combination to tackle challenging energy material design problems in general, and the discovered polymers are beneficial for industrial gas separation.


title: Multi-Task Multi-Modal Self-Supervised Learning for Facial Expression Recognition

abstract: Human communication is multi-modal; e.g., face-to-face interaction involves auditory signals (speech) and visual signals (face movements and hand gestures). Hence, it is essential to exploit multiple modalities when designing machine learning-based facial expression recognition systems. In addition, given the ever-growing quantities of video data that capture human facial expressions, such systems should utilize raw unlabeled videos without requiring expensive annotations. Therefore, in this work, we employ a multitask multi-modal self-supervised learning method for facial expression recognition from in-the-wild video data. Our model combines three self-supervised objective functions: First, a multi-modal contrastive loss, that pulls diverse data modalities of the same video together in the representation space. Second, a multi-modal clustering loss that preserves the semantic structure of input data in the representation space. Finally, a multi-modal data reconstruction loss. We conduct a comprehensive study on this multimodal multi-task self-supervised learning method on three facial expression recognition benchmarks. To that end, we examine the performance of learning through different combinations of self-supervised tasks on the facial expression recognition downstream task. Our model ConCluGen outperforms several multi-modal self-supervised and fully supervised baselines on the CMU-MOSEI dataset. Our results generally show that multi-modal self-supervision tasks offer large performance gains for challenging tasks such as facial expression recognition, while also reducing the amount of manual annotations required. We release our pre-trained models as well as source code publicly


title: Intermediate Domains for Scalar Conservation Laws

abstract: For a scalar conservation law with strictly convex flux, by Oleinik's estimates the total variation of a solution with initial data $\overline{u}\in \bf{L}^\infty(\mathbb R)$ decays like $t^{-1}$. This paper introduces a class of intermediate domains $\mathcal P_\alpha$, $0<\alpha<1$, such that for $\overline u\in \mathcal P_\alpha$ a faster decay rate is achieved: $\mathrm{Tot.Var.}\bigl\{ u(t,\cdot)\bigr\}\sim t^{\alpha-1}$. A key ingredient of the analysis is a ``Fourier-type" decomposition of $\overline u$ into components which oscillate more and more rapidly. The results aim at extending the theory of fractional domains for analytic semigroups to an entirely nonlinear setting.


title: Towards a Research Community in Interpretable Reinforcement Learning: the InterpPol Workshop

abstract: Embracing the pursuit of intrinsically explainable reinforcement learning raises crucial questions: what distinguishes explainability from interpretability? Should explainable and interpretable agents be developed outside of domains where transparency is imperative? What advantages do interpretable policies offer over neural networks? How can we rigorously define and measure interpretability in policies, without user studies? What reinforcement learning paradigms,are the most suited to develop interpretable agents? Can Markov Decision Processes integrate interpretable state representations? In addition to motivate an Interpretable RL community centered around the aforementioned questions, we propose the first venue dedicated to Interpretable RL: the InterpPol Workshop.


title: Causal Effect Estimation Using Random Hyperplane Tessellations

abstract: Matching is one of the simplest approaches for estimating causal effects from observational data. Matching techniques compare the observed outcomes across pairs of individuals with similar covariate values but different treatment statuses in order to estimate causal effects. However, traditional matching techniques are unreliable given high-dimensional covariates due to the infamous curse of dimensionality. To overcome this challenge, we propose a simple, fast, yet highly effective approach to matching using Random Hyperplane Tessellations (RHPT). First, we prove that the RHPT representation is an approximate balancing score -- thus maintaining the strong ignorability assumption -- and provide empirical evidence for this claim. Second, we report results of extensive experiments showing that matching using RHPT outperforms traditional matching techniques and is competitive with state-of-the-art deep learning methods for causal effect estimation. In addition, RHPT avoids the need for computationally expensive training of deep neural networks.


title: Representation of a Noisy Transmission Line

abstract: We analyse a lossy transmission line and the Johnson-Nyquist noise generated therein. A representation as a noisy two-port with a voltage and a current noise sources on one end of a noiseless two-port is given. An expression for the noise properties is given for an arbitrary temperature profile along the transmission line. Agreement is demonstrated between the general expression found here and special cases calculable using thermodynamics. This work is motivated by the REACH experiment to observe the global 21 cm signal for which modelling noise with exquisite precision is essential for a reliable calibration.


title: Strain-dependent Insulating State and Kondo Effect in Epitaxial SrIrO$_{3}$ Films

abstract: The large spin-orbit coupling in iridium oxides plays a significant role in driving novel physical behaviors, including emergent phenomena in the films and heterostructures of perovskite and Ruddlesden-Popper iridates. In this work, we study the role of epitaxial strain on the electronic behavior of thin SrIrO$_3$ films. We find that compressive epitaxial strain leads to metallic transport behavior, but a slight tensile strain shows gapped behavior. Temperature-dependent resistivity measurements are used to examine different behaviors in films as a function of strain. We find Kondo contributions to the resistivity, with stronger effects in films that are thinner and under less compressive epitaxial strain. These results show the potential to tune SrIrO$_3$ into Kondo insulating states and open possibilities for a quantum critical point that can be controlled with strain in epitaxial films.


title: Discovering Factorization Surface of Quantum Spin Chains with Machine Learning

abstract: Entanglement in quantum many-body systems is required for a variety of quantum information tasks, making it crucial to identify the parameter space in which the ground state is fully separable, known as the factorization surface (FS). Nonetheless, the tuning parameters indicating FS for several quantum spin models remain unknown. We employ symbolic regression (SR), a supervised learning technique, to determine a closed-form expression in the parameter regime corresponding to FS of quantum many-body Hamiltonians. We verify the effectiveness of this method by examining the analytically tractable models, namely a nearest-neighbor (NN) quantum transverse XY model with additional Kaplan-Shekhtman-Entin-Aharony interactions, for which the FS is well-known. We construct an accurate expression for the FS of the XYZ model by providing the parameter set through the SR algorithm in which the ground state is derived by matrix product state formalism. With a satisfactory level of accuracy, we estimate the FS for the long-range XY model, and the NN XY model with Dzyaloshinskii-Moriya type asymmetric interaction for which the factorization surface is not known.


title: Efficient Batch and Recursive Least Squares for Matrix Parameter Estimation

abstract: Traditionally, batch least squares (BLS) and recursive least squares (RLS) are used for identification of a vector of parameters that form a linear model. In some situations, however, it is of interest to identify parameters in a matrix structure. In this case, a common approach is to transform the problem into standard vector form using the vectorization (vec) operator and the Kronecker product, known as vec-permutation. However, the use of the Kronecker product introduces extraneous zero terms in the regressor, resulting in unnecessary additional computational and space requirements. This work derives matrix BLS and RLS formulations which, under mild assumptions, minimize the same cost as the vec-permutation approach. This new approach requires less computational complexity and space complexity than vec-permutation in both BLS and RLS identification. It is also shown that persistent excitation guarantees convergence to the true matrix parameters. This method can used to improve computation time in the online identification of multiple-input, multiple-output systems for indirect adaptive model predictive control.


title: Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution

abstract: Curricula recommendation for undergraduate Software Engineering courses underscore the importance of transcending from traditional lecture format to actively involving students in time-limited, iterative development practices. This paper presents a teaching approach for a software testing course that integrates theory and practical experience through the utilization of both TBL and active contributions to OSS projects. The paper reports on our experience implementing the pedagogical approach over four consecutive semesters of a Software Testing course within an undergraduate Software Engineering program. The experience encompassed both online and in-person classes, involving a substantial cohort of over 300 students spanning four semesters. Students' perceptions regarding the course are analyzed and compared with previous, related studies. Our results are positively aligned with the existing literature of software engineering teaching, confirming the effectiveness of combining TBL with OSS contributions. Additionally, our survey has shed light on the challenges that students encounter during their first contribution to OSS projects, highlighting the need for targeted solutions. Overall, the experience demonstrates that the proposed pedagogical structure can effectively facilitate the transition from theoretical knowledge to real-world practice in the domain of Software Testing.


title: Constructing $\mathrm{NP}^{\mathord{\#}\mathrm P}$-complete problems and ${\mathord{\#}\mathrm P}$-hardness of circuit extraction in phase-free ZH

abstract: The ZH calculus is a graphical language for quantum computation reasoning. The phase-free variant offers a simple set of generators that guarantee universality. ZH calculus is effective in MBQC and analysis of quantum circuits constructed with the universal gate set Toffoli+H. While circuits naturally translate to ZH diagrams, finding an ancilla-free circuit equivalent to a given diagram is hard. Here, we show that circuit extraction for phase-free ZH calculus is ${\mathord{\#}\mathrm P}$-hard, extending the existing result for ZX calculus. Another problem believed to be hard is comparing whether two diagrams represent the same process. We show that two closely related problems are $\mathrm{NP}^{\mathord{\#}\mathrm P}$-complete. The first problem is: given two processes represented as diagrams, determine the existence of a computational basis state on which they equalize. The second problem is checking whether the matrix representation of a given diagram contains an entry equal to a given number. Our proof adapts the proof of Cook-Levin theorem to a reduction from a non-deterministic Turing Machine with access to ${\mathord{\#}\mathrm P}$ oracle.


title: Adaptive Kalman Filtering Developed from Recursive Least Squares Forgetting Algorithms

abstract: Recursive least squares (RLS) is derived as the recursive minimizer of the least-squares cost function. Moreover, it is well known that RLS is a special case of the Kalman filter. This work presents the Kalman filter least squares (KFLS) cost function, whose recursive minimizer gives the Kalman filter. KFLS is an extension of generalized forgetting recursive least squares (GF-RLS), a general framework which contains various extensions of RLS from the literature as special cases. This then implies that extensions of RLS are also special cases of the Kalman filter. Motivated by this connection, we propose an algorithm that combines extensions of RLS with the Kalman filter, resulting in a new class of adaptive Kalman filters. A numerical example shows that one such adaptive Kalman filter provides improved state estimation for a mass-spring-damper with intermittent, unmodeled collisions. This example suggests that such adaptive Kalman filtering may provide potential benefits for systems with non-classical disturbances.


title: Sparse model identification and prediction of microglial cells during ischemic stroke

abstract: Dynamics between key neuroinflammatory components, detrimental M1 and beneficial M2 microglial cells, are not fully understood post-ischemic stroke. To discover, model, and predict these dynamics, we use a method based on sparse identification of nonlinear dynamics (SINDy). The resulting data-driven dynamical system involves constant and linear terms but does not include nonlinear interactions between cells. Results show M2 microglial cell dominance of four days. Forward predictions capture potential long-term dynamics of microglial cells and suggest a persistent inflammatory response.


title: On the Li--Zheng theorem

abstract: By the well-known I.Kotlarski lemma, if $\xi_1$, $\xi_2$, and $\xi_3$ are independent real-valued random variables with nonvanishing characteristic functions, $L_1=\xi_1-\xi_3$ and $L_2=\xi_2-\xi_3$, then the distribution of the random vector $(L_1, L_2)$ determines the distributions of the random variables $\xi_j$ up to shift. Siran Li and Xunjie Zheng generalized this result for the linear forms $L_1=\xi_1+a_2\xi_2+a_3\xi_3$ and $L_2=b_2\xi_2+b_3\xi_3+\xi_4$ assuming that all $\xi_j$ have first and second moments, $\xi_2$ and $\xi_3$ are identically distributed, and $a_j$, $b_j$ satisfy some conditions. In the article, we give a simpler proof of this theorem. In doing so, we also prove that the condition of existence of moments can be omitted. Moreover, we prove an analogue of the Li--Zheng theorem for independent random variables with values in the field of $p$-adic numbers, in the field of integers modulo $p$, where $p\ne 2$, and in the discrete field of rational numbers.


title: Which questions should I answer? Salience Prediction of Inquisitive Questions

abstract: Inquisitive questions -- open-ended, curiosity-driven questions people ask as they read -- are an integral part of discourse processing (Kehler and Rohde, 2017; Onea, 2016) and comprehension (Prince, 2004). Recent work in NLP has taken advantage of question generation capabilities of LLMs to enhance a wide range of applications. But the space of inquisitive questions is vast: many questions can be evoked from a given context. So which of those should be prioritized to find answers? Linguistic theories, unfortunately, have not yet provided an answer to this question. This paper presents QSALIENCE, a salience predictor of inquisitive questions. QSALIENCE is instruction-tuned over our dataset of linguist-annotated salience scores of 1,766 (context, question) pairs. A question scores high on salience if answering it would greatly enhance the understanding of the text (Van Rooy, 2003). We show that highly salient questions are empirically more likely to be answered in the same article, bridging potential questions (Onea, 2016) with Questions Under Discussion (Roberts, 2012). We further validate our findings by showing that answering salient questions is an indicator of summarization quality in news.


title: Geometrisation of Fermions in Semi-Riemannian Spacetimes

abstract: An earlier scheme [arXiv:2404.03360], where torsion plays an essential part in a flat spacetime account of fermion spin, is extended to spacetimes with non-zero Riemann curvature. It is found that further essential features of the fermion, in particular its electromagnetic field, are determined by the curvature and torsion of spacetime. A natural model for the metric, singular along the spin axis of the particle, permits integration of a stress-energy tensor that fixes a realistic electron mass in terms of the Planck mass, despite the many orders of magnitude by which these values differ.


title: Tensor product random matrix theory

abstract: The evolution of complex correlated quantum systems such as random circuit networks is governed by the dynamical buildup of both entanglement and entropy. We here introduce a real-time field theory approach -- essentially a fusion of the $G \Sigma$-functional of the SYK-model and the field theory of disordered systems -- enigneered to microscopically describe the full range of such crossover dynamics: from initial product states to a maximum entropy ergodic state. To showcase this approach in the simplest nontrivial setting, we consider a tensor product of coupled random matrices, and compare to exact diagonalization.


title: Subjective Equilibria under Beliefs of Exogenous Uncertainty: Linear Quadratic Case

abstract: We consider a stochastic dynamic game where players have their own linear state dynamics and quadratic cost functions. Players are coupled through some environment variables, generated by another linear system driven by the states and decisions of all players. Each player observes his own states realized up to the current time as well as the past realizations of his own decisions and the environment variables. Each player (incorrectly) believes that the environment variables are generated by an independent exogenous stochastic process. In this setup, we study the notion of ``subjective equilibrium under beliefs of exogenous uncertainty (SEBEU)'' introduced in our recent work arXiv:2005.01640. At an SEBEU, each player's strategy is optimal with respect to his subjective belief; moreover, the objective probability distribution of the environment variables is consistent with players' subjective beliefs. We construct an SEBEU in pure strategies, where each player strategy is an affine function of his own state and his estimate of the system state.


title: Tao: Re-Thinking DL-based Microarchitecture Simulation

abstract: Microarchitecture simulators are indispensable tools for microarchitecture designers to validate, estimate, and optimize new hardware that meets specific design requirements. While the quest for a fast, accurate and detailed microarchitecture simulation has been ongoing for decades, existing simulators excel and fall short at different aspects: (i) Although execution-driven simulation is accurate and detailed, it is extremely slow and requires expert-level experience to design. (ii) Trace-driven simulation reuses the execution traces in pursuit of fast simulation but faces accuracy concerns and fails to achieve significant speedup. (iii) Emerging deep learning (DL)-based simulations are remarkably fast and have acceptable accuracy but fail to provide adequate low-level microarchitectural performance metrics crucial for microarchitectural bottleneck analysis. Additionally, they introduce substantial overheads from trace regeneration and model re-training when simulating a new microarchitecture. Re-thinking the advantages and limitations of the aforementioned simulation paradigms, this paper introduces TAO that redesigns the DL-based simulation with three primary contributions: First, we propose a new training dataset design such that the subsequent simulation only needs functional trace as inputs, which can be rapidly generated and reused across microarchitectures. Second, we redesign the input features and the DL model using self-attention to support predicting various performance metrics. Third, we propose techniques to train a microarchitecture agnostic embedding layer that enables fast transfer learning between different microarchitectural configurations and reduces the re-training overhead of conventional DL-based simulators. Our extensive evaluation shows TAO can reduce the overall training and simulation time by 18.06x over the state-of-the-art DL-based endeavors.


title: Teaching a Multilingual Large Language Model to Understand Multilingual Speech via Multi-Instructional Training

abstract: Recent advancements in language modeling have led to the emergence of Large Language Models (LLMs) capable of various natural language processing tasks. Despite their success in text-based tasks, applying LLMs to the speech domain remains limited and challenging. This paper presents BLOOMZMMS, a novel model that integrates a multilingual LLM with a multilingual speech encoder, aiming to harness the capabilities of LLMs for speech recognition and beyond. Utilizing a multi-instructional training approach, we demonstrate the transferability of linguistic knowledge from the text to the speech modality. Our experiments, conducted on 1900 hours of transcribed data from 139 languages, establish that a multilingual speech representation can be effectively learned and aligned with a multilingual LLM. While this learned representation initially shows limitations in task generalization, we address this issue by generating synthetic targets in a multi-instructional style. Our zero-shot evaluation results confirm the robustness of our approach across multiple tasks, including speech translation and multilingual spoken language understanding, thereby opening new avenues for applying LLMs in the speech domain.


title: Two Homomorphisms from the affine Yangian associated with $\widehat{\mathfrak{sl}}(n)$ to the affine Yangian associated with $\widehat{\mathfrak{sl}}(n+1)$

abstract: We construct a homomorphism from the affine Yangian $Y_{\hbar,\varepsilon+\hbar}(\widehat{\mathfrak{sl}}(n))$ to the affine Yangian $Y_{\hbar,\varepsilon}(\widehat{\mathfrak{sl}}(n+1))$ which is different from the one in arXiv:2312.09933. By using this homomorphism, we give a homomorphism from $Y_{\hbar,\varepsilon}(\widehat{\mathfrak{sl}}(n))\otimes Y_{\hbar,\varepsilon+n\hbar}(\widehat{\mathfrak{sl}}(m))$ to $Y_{\hbar,\varepsilon}(\widehat{\mathfrak{sl}}(m+n))$. As an application, we construct a homomorphism from the affine Yangian $Y_{\hbar,\varepsilon+n\hbar}(\widehat{\mathfrak{sl}}(m))$ to the centralizer algebra of the pair of affine Lie algebras $(\widehat{\mathfrak{gl}}(m+n),\widehat{\mathfrak{gl}}(n))$ and the coset vertex algebra of the pair of rectangular $W$-algebras $(\mathcal{W}^k(\mathfrak{gl}(2m+2n),(2^{m+n})),\mathcal{W}^{k+m}(\mathfrak{sl}(2n),(2^{n})))$.


title: Binder: Hierarchical Concept Representation through Order Embedding of Binary Vectors

abstract: For natural language understanding and generation, embedding concepts using an order-based representation is an essential task. Unlike traditional point vector based representation, an order-based representation imposes geometric constraints on the representation vectors for explicitly capturing various semantic relationships that may exist between a pair of concepts. In existing literature, several approaches on order-based embedding have been proposed, mostly focusing on capturing hierarchical relationships; examples include vectors in Euclidean space, complex, Hyperbolic, order, and Box Embedding. Box embedding creates region-based rich representation of concepts, but along the process it sacrifices simplicity, requiring a custom-made optimization scheme for learning the representation. Hyperbolic embedding improves embedding quality by exploiting the ever-expanding property of Hyperbolic space, but it also suffers from the same fate as box embedding as gradient descent like optimization is not simple in the Hyperbolic space. In this work, we propose Binder, a novel approach for order-based representation. Binder uses binary vectors for embedding, so the embedding vectors are compact with an order of magnitude smaller footprint than other methods. Binder uses a simple and efficient optimization scheme for learning representation vectors with a linear time complexity. Our comprehensive experimental results show that Binder is very accurate, yielding competitive results on the representation task. But Binder stands out from its competitors on the transitive closure link prediction task as it can learn concept embeddings just from the direct edges, whereas all existing order-based approaches rely on the indirect edges.


title: The Leibniz PROP is a crossed presimplicial algebra

abstract: We prove that the Leibniz PROP is isomorphic (as $\Bbbk$-linear categories) to the symmetric crossed presimplicial algebra $\Bbbk[(\Delta^+)^{op} \mathbb{S}]$ where $\Delta^+$ is the skeletal category of finite well-ordered sets with surjections, but the distributive law between $(\Delta^+)^{op}$ and the symmetric groups $\mathbb{S} = \bigsqcup_{n\geq 1} S_n$ is not the standard one.