title: Memory Burden Effect in Black Holes and Solitons: Implications for PBH

abstract: The essence of the \textit{memory burden} effect is that a load of information carried by a system stabilizes it. This universal effect is especially prominent in systems with a high capacity of information storage, such as black holes and other objects with maximal microstate degeneracy, the entities universally referred to as \textit{saturons}. The phenomenon has several implications. The memory burden effect suppresses a further decay of a black hole, the latest, after it has emitted about half of its initial mass. As a consequence, the light primordial black holes (PBHs), that previously were assumed to be fully evaporated, are expected to be present as viable dark matter candidates. In the present paper, we deepen the understanding of the memory burden effect. We first identify various memory burden regimes in generic Hamiltonian systems and then establish a precise correspondence in solitons and in black holes. We make transparent, at a microscopic level, the fundamental differences between the stabilization by a quantum memory burden versus the stabilization by a long-range classical hair due to a spin or an electric charge. We identify certain new features of potential observational interest, such as the model-independent spread of the stabilized masses of initially degenerate PBHs.


title: Gliese 12 b, A Temperate Earth-sized Planet at 12 Parsecs Discovered with TESS and CHEOPS

abstract: We report on the discovery of Gliese 12 b, the nearest transiting temperate, Earth-sized planet found to date. Gliese 12 is a bright ($V=12.6$ mag, $K=7.8$ mag) metal-poor M4V star only $12.162\pm0.005$ pc away from the Solar System with one of the lowest stellar activity levels known for an M-dwarf. A planet candidate was detected by TESS based on only 3 transits in sectors 42, 43, and 57, with an ambiguity in the orbital period due to observational gaps. We performed follow-up transit observations with CHEOPS and ground-based photometry with MINERVA-Australis, SPECULOOS, and Purple Mountain Observatory, as well as further TESS observations in sector 70. We statistically validate Gliese 12 b as a planet with an orbital period of $12.76144\pm0.00006$ days and a radius of $1.0\pm{0.1}$ R$_\oplus$, resulting in an equilibrium temperature of $\sim$315K. Gliese 12 b has excellent future prospects for precise mass measurement, which may inform how planetary internal structure is affected by the stellar compositional environment. Gliese 12 b also represents one of the best targets to study whether Earth-like planets orbiting cool stars can retain their atmospheres, a crucial step to advance our understanding of habitability on Earth and across the Galaxy.


title: Cosmology from point clouds

abstract: We train a novel deep learning architecture to perform likelihood-free inference on the value of the cosmological parameters from halo catalogs of the Quijote N-body simulations. Our model takes as input a halo catalog where each halo is characterized by its position, mass, and velocity moduli. By construction, our model is E(3) invariant and is designed to extract information hierarchically. Unlike graph neural networks, it does not require the transformation of the input halo (or galaxy) catalog into a graph. Given its simplicity, our model can process point clouds with large numbers of points. We discuss the advantages of this class of methods but also point out its limitations and potential ways to improve them for cosmological data.


title: Expansion by regions meets angular integrals

abstract: We study the small-mass asymptotic behavior of so-called angular integrals, appearing in phase-space calculations in perturbative quantum field theory. For this purpose we utilize the strategy of expansion by regions, which is a universal method both for multiloop Feynman integrals and various parametric integrals. To apply the technique to angular integrals, we convert them into suitable parametric integral representations, which are accessible to existing automation tools. We use the the code \texttt{asy.m} to reveal regions contributing to the asymptotic expansion of angular integrals. To evaluate the contributions of these regions in an epsilon expansion we apply the method of Mellin-Barnes representation. Our approach is checked against existing results on angular integrals revealing a connection between contributing regions and angular integrals constructed from an algebraic decomposition. We explicitly calculate the previously unknown asymptotics for angular integrals with three and four denominators and formulate a conjecture for the leading asymptotics and the pole part for a general number of denominators and masses.


title: Why are thermally- and cosmic ray-driven galactic winds fundamentally different?

abstract: Galactic outflows influence the evolution of galaxies not only by expelling gas from their disks but also by injecting energy into the circumgalactic medium (CGM). This alters or even prevents the inflow of fresh gas onto the disk and thus reduces the star formation rate. Supernovae (SNe) are the engines of galactic winds as they release thermal and kinetic energy into the interstellar medium (ISM). Cosmic rays (CRs) are accelerated at the shocks of SN remnants and only constitute a small fraction of the overall SN energy budget. However, their long live-times allow them to act far away from the original injection site and thereby to participate in the galactic wind launching process. Using high-resolution simulations of an isolated Milky Way-type galaxy with the moving-mesh code Arepo and the new multi-phase ISM model Crisp (Cosmic Rays and InterStellar Physics), we investigate how SNe and CRs launch galactic outflows and how the inclusion of CR-mediated feedback boosts the energy and mass entrained in the galactic wind. We find that the majority of thermal SN energy and momentum is used for stirring turbulence either directly or indirectly by causing fountain flows, thereby self-regulating the ISM and not for efficiently driving outflows to large heights. A simulation without CRs only launches a weak galactic outflow at uniformly high temperatures and low densities by means of the thermal pressure gradient. By contrast, most of the CR energy accelerated at SN remnants ($\sim80\%$) escapes the ISM and moves into the CGM. In the inner CGM, CRs dominate the overall pressure and are able to accelerate a large mass fraction in a galactic wind. This wind is turbulent and multi-phase with cold cloudlets embedded in dilute gas at intermediate temperatures ($\sim10^5$ K) and the CGM shows enhanced OVI and CIV absorption in comparison to a simulation without CRs.


title: Ly$\alpha$ Halo Properties and Dust in the Circumgalactic Medium of $z \sim 2$ Star-forming Galaxies

abstract: We present Keck Cosmic Web Imager IFU observations around extended Ly$\alpha$ halos of 27 typical star-forming galaxies with redshifts $2.0 < z < 3.2$ drawn from the MOSFIRE Deep Evolution Field survey. We examine the average Ly$\alpha$ surface-brightness profiles in bins of star-formation rate (SFR), stellar mass ($M_*$), age, stellar continuum reddening, SFR surface density ($\rm \Sigma_{SFR}$), and $\rm \Sigma_{SFR}$ normalized by stellar mass ($\rm \Sigma_{sSFR}$). The scale lengths of the halos correlate with stellar mass, age, and stellar continuum reddening; and anti-correlate with star-formation rate, $\rm \Sigma_{SFR}$, and $\rm \Sigma_{sSFR}$. These results are consistent with a scenario in which the down-the-barrel fraction of Ly$\alpha$ emission is modulated by the low-column-density channels in the ISM, and that the neutral gas covering fraction is related to the physical properties of the galaxies. Specifically, we find that this covering fraction increases with stellar mass, age, and $E(B-V)$; and decreases with SFR, $\rm \Sigma_{SFR}$ and $\rm \Sigma_{sSFR}$. We also find that the resonantly scattered Ly$\alpha$ emission suffers greater attenuation than the (non-resonant) stellar continuum emission, and that the difference in attenuation increases with stellar mass, age, and stellar continuum reddening, and decreases with $\rm \Sigma_{sSFR}$. These results imply that more reddened galaxies have more dust in their CGM.


title: Local gravitational instability of two-component thick discs in three dimensions

abstract: The local gravitational instability of rotating discs is believed to be an important mechanism in different astrophysical processes, including the formation of gas and stellar clumps in galaxies. We aim to study in three dimensions the local gravitational instability of two-component thick discs. We take as starting point a recently proposed analytic three-dimensional (3D) instability criterion for discs with non-negligible thickness which takes the form $Q_{\rm 3D}<1$, where $Q_{\rm 3D}$ is a 3D version of the classical 2D Toomre $Q$ parameter for razor-thin discs. Here we extend the 3D stability analysis to two-component discs, considering first the influence on $Q_{\rm 3D}$ of a second unresponsive component, and then the case in which both components are responsive. We present the application to two-component discs with isothermal vertical distributions, which can represent, for instance, galactic discs with both stellar and gaseous components. Finally, we relax the assumption of vertical isothermal distribution, by studying one-component self-gravitating discs with polytropic vertical distributions for a range of values of the polytropic index corresponding to convectively stable configurations. We find that $Q_{\rm 3D}<1$, where $Q_{\rm 3D}$ can be computed from observationally inferred quantities, is a robust indicator of local gravitational instability, depending only weakly on the presence of a second component and on the vertical gradient of temperature or velocity dispersion. We derive a sufficient condition for local gravitational instability in the midplane of two-component discs, which can be employed when both components have $Q_{\rm 3D}>1$.


title: The Pristine survey -- XXVI. The very metal-poor Galaxy: Chemodynamics through the follow-up of the Pristine-Gaia synthetic catalogue

abstract: The Pristine-\textit{Gaia} synthetic catalogue provides reliable photometric metallicities for $\sim$30 million FGK stars using the Pristine survey model and Gaia XP spectra. We perform the first low-to-medium-resolution spectroscopic follow-up of bright (G<15) and distant (up to 35 kpc) very and extremely metal-poor (V/EMP, [Fe/H]<-2.5) red giant branch stars from this. We use Isaac Newton Telescope/Intermediate Dispersion Spectrograph (INT/IDS) observations centred around the calcium triplet region ideal for V/EMP stars. We find that 76\% of our stars indeed have [Fe/H]<-2.5 with these inferred spectroscopic metallicities and only 3\% are outliers with [Fe/H] > -2.0. We report a success rate of 77\% and 38\% in finding stars with [Fe/H]<-2.5 and -3.0 respectively. This will allow for 10,000-20,000 homogeneously analysed EMP stars using the WEAVE survey follow-up of Pristine EMP candidates. We associate 20\%, 46\%, and 34\% of the stars to be confined to the disc plane, or to have inner and outer halo orbits, respectively. We also associate these V/EMP stars to known accretion events such as Gaia-Enceladus-Sausage (GES), LMS-1/Wukong, Thamnos, Helmi streams, Sagittarius, Sequoia, etc. For the stars that orbit close to the disc plane, we find that the prograde region with low vertical action is overdense with a significance of 4$\sigma$ as compared to its retrograde counterpart. We also find three new (brightest) members of the most metal-poor stellar stream, C-19, one of which is 50$^\circ$ away from the main body of the stream. Our measured mean metallicity, velocity dispersion, and stream width are consistent with the literature, but our results favour a higher distance ($\sim$21.5 kpc) for the stream. We publish a catalogue (and 1D spectra) of 215 V/EMP stars from this spectroscopic follow-up and showcase the power of chemokinematic analysis of V/EMP end.


title: kappa And b is a fast rotator from KPIC High Resolution Spectroscopy

abstract: We used the Keck Planet Imager and Characterizer (KPIC) to obtain high-resolution (R$\sim$35,000) K-band spectra of kappa Andromedae b, a planetary-mass companion orbiting the B9V star, kappa Andromedae A. We characterized its spin, radial velocity, and bulk atmospheric parameters through use of a forward modeling framework to jointly fit planetary spectra and residual starlight speckles, obtaining likelihood-based posterior probabilities. We also detected H$_{2}$O and CO in its atmosphere via cross correlation. We measured a $v\sin(i)$ value for kappa And b of $38.42\pm{0.05}$ km/s, allowing us to extend our understanding of the population of close in bound companions at higher rotation rates. This rotation rate is one of the highest spins relative to breakup velocity measured to date, at close to $50\%$ of breakup velocity. We identify a radial velocity $-17.35_{-0.09}^{+0.05}$ km/s, which we use with existing astrometry and RV measurements to update the orbital fit. We also measure an effective temperature of $1700\pm{100}$ K and a $\log(g)$ of $4.7\pm{0.5}$ cgs dex.


title: Generalisation of Conformal-Disformal Transformations of the Metric in Scalar-Tensor Theories

abstract: We study new classes of metric transformations in the context of scalar-tensor theories, which involve both higher derivatives of the scalar field and derivatives of the metric itself. In general, such transformations are not invertible as they involve derivatives of the metric, which typically leads to instability due to Ostrogradsky ghosts. We show, however, that a certain class of this type of transformations is invertible: we construct new examples of invertible conformal (and also disformal) transformations with higher derivatives. Finally, we make use of these new transformations to construct extended mimetic theories of gravity, and we study their properties in the context of cosmology.


title: Towards Retrieval-Augmented Architectures for Image Captioning

abstract: The objective of image captioning models is to bridge the gap between the visual and linguistic modalities by generating natural language descriptions that accurately reflect the content of input images. In recent years, researchers have leveraged deep learning-based models and made advances in the extraction of visual features and the design of multimodal connections to tackle this task. This work presents a novel approach towards developing image captioning models that utilize an external kNN memory to improve the generation process. Specifically, we propose two model variants that incorporate a knowledge retriever component that is based on visual similarities, a differentiable encoder to represent input images, and a kNN-augmented language model to predict tokens based on contextual cues and text retrieved from the external memory. We experimentally validate our approach on COCO and nocaps datasets and demonstrate that incorporating an explicit external memory can significantly enhance the quality of captions, especially with a larger retrieval corpus. This work provides valuable insights into retrieval-augmented captioning models and opens up new avenues for improving image captioning at a larger scale.


title: Are these planets or brown dwarfs? Broadly solar compositions from high-resolution atmospheric retrievals of ~10-30 $M_\textrm{Jup}$ companions

abstract: Using Keck Planet Imager and Characterizer (KPIC) high-resolution ($R$~35000) spectroscopy from 2.29-2.49 $\mu$m, we present uniform atmospheric retrievals for eight young substellar companions with masses of ~10-30 $M_\textrm{Jup}$, orbital separations spanning ~50-360 au, and $T_\textrm{eff}$ between ~1500-2600 K. We find that all companions have solar C/O ratios, and metallicities, to within the 1-2$\sigma$ level, with the measurements clustered around solar composition. Stars in the same stellar associations as our systems have near-solar abundances, so these results indicate that this population of companions is consistent with formation via direct gravitational collapse. Alternatively, core accretion outside the CO snowline would be compatible with our measurements, though the high mass ratios of most systems would require rapid core assembly and gas accretion in massive disks. On a population level, our findings can be contrasted with abundance measurements for directly imaged planets with m<10 $M_\textrm{Jup}$, which show tentative atmospheric metal enrichment. In addition, the atmospheric compositions of our sample of companions are distinct from those of hot Jupiters, which most likely form via core accretion. For two companions with $T_\textrm{eff}$~1700-2000 K (kap And b and GSC 6214-210 b), our best-fit models prefer a non-gray cloud model with >3$\sigma$ significance. The cloudy models yield 2-3$\sigma$ lower $T_\textrm{eff}$ for these companions, though the C/O and [C/H] still agree between cloudy and clear models at the $1\sigma$ level. Finally, we constrain 12CO/13CO for three companions with the highest S/N data (GQ Lup b, HIP 79098 b, and DH Tau b), and report $v$sin($i$) and radial velocities for all companions.


title: Rethinking the production and publication of machine-reusable expressions of research findings

abstract: Literature is the primary expression of scientific knowledge and an important source of research data. However, scientific knowledge expressed in narrative text documents is not inherently machine reusable. To facilitate knowledge reuse, e.g. for synthesis research, scientific knowledge must be extracted from articles and organized into databases post-publication. The high time costs and inaccuracies associated with completing these activities manually has driven the development of techniques that automate knowledge extraction. Tackling the problem with a different mindset, we propose a pre-publication approach, known as reborn, that ensures scientific knowledge is born reusable, i.e. produced in a machine-reusable format during knowledge production. We implement the approach using the Open Research Knowledge Graph infrastructure for FAIR scientific knowledge organization. We test the approach with three use cases, and discuss the role of publishers and editors in scaling the approach. Our results suggest that the proposed approach is superior compared to classical manual and semi-automated post-publication extraction techniques in terms of knowledge richness and accuracy as well as technological simplicity.


title: Pure Planning to Pure Policies and In Between with a Recursive Tree Planner

abstract: A recursive tree planner (RTP) is designed to function as a pure planner without policies at one extreme and run a pure greedy policy at the other. In between, the RTP exploits policies to improve planning performance and improve zero-shot transfer from one class of planning problem to another. Policies are learned through imitation of the planner. These are then used by the planner to improve policies in a virtuous cycle. To improve planning performance and zero-shot transfer, the RTP incorporates previously learned tasks as generalized actions (GA) at any level of its hierarchy, and can refine those GA by adding primitive actions at any level too. For search, the RTP uses a generalized Dijkstra algorithm [Dijkstra 1959] which tries the greedy policy first and then searches over near-greedy paths and then farther away as necessary. The RPT can return multiple sub-goals from lower levels as well as boundary states near obstacles, and can exploit policies with background and object-number invariance. Policies at all levels of the hierarchy can be learned simultaneously or in any order or come from outside the framework. The RTP is tested here on a variety of Box2d [Cato 2022] problems, including the classic lunar lander [Farama 2022], and on the MuJoCo [Todorov et al 2012] inverted pendulum.


title: Atomic Self-Consistency for Better Long Form Generations

abstract: Recent work has aimed to improve LLM generations by filtering out hallucinations, thereby improving the precision of the information in responses. Correctness of a long-form response, however, also depends on the recall of multiple pieces of information relevant to the question. In this paper, we introduce Atomic Self-Consistency (ASC), a technique for improving the recall of relevant information in an LLM response. ASC follows recent work, Universal Self-Consistency (USC) in using multiple stochastic samples from an LLM to improve the long-form response. Unlike USC which only focuses on selecting the best single generation, ASC picks authentic subparts from the samples and merges them into a superior composite answer. Through extensive experiments and ablations, we show that merging relevant subparts of multiple samples performs significantly better than picking a single sample. ASC demonstrates significant gains over USC on multiple factoids and open-ended QA datasets - ASQA, QAMPARI, QUEST, ELI5 with ChatGPT and Llama2. Our analysis also reveals untapped potential for enhancing long-form generations using approach of merging multiple samples.


title: Illustrating an Effective Workflow for Accelerated Materials Discovery

abstract: Algorithmic materials discovery is a multi-disciplinary domain that integrates insights from specialists in alloy design, synthesis, characterization, experimental methodologies, computational modeling, and optimization. Central to this effort is a robust data management system paired with an interactive work platform. This platform should empower users to not only access others data but also integrate their analyses, paving the way for sophisticated data pipelines. To realize this vision, there is a need for an integrative collaboration platform, streamlined data sharing and analysis tools, and efficient communication channels. Such a collaborative mechanism should transcend geographical barriers, facilitating remote interaction and fostering a challenge-response dynamic. In this paper, we present our ongoing efforts in addressing the critical challenges related to an accelerated Materials Discovery Framework as a part of the High-Throughput Materials Discovery for Extreme Conditions Initiative. Our BIRDSHOT Center has successfully harnessed various tools and strategies, including the utilization of cloud-based storage, a standardized sample naming convention, a structured file system, the implementation of sample travelers, a robust sample tracking method, and the incorporation of knowledge graphs for efficient data management. Additionally, we present the development of a data collection platform, reinforcing seamless collaboration among our team members. In summary, this paper provides an illustration and insight into the various elements of an efficient and effective workflow within an accelerated materials discovery framework while highlighting the dynamic and adaptable nature of the data management tools and sharing platforms.


title: Theia 456: Tidally Shredding an Open Cluster

abstract: The application of clustering algorithms to the Gaia astrometric catalog has revolutionized our census of stellar populations in the Milky Way, including the discovery of many new, dispersed structures. We focus on one such structure, Theia 456 (COIN-Gaia-13), a loosely bound collection of ~320 stars spanning ~120 pc that has previously been shown to exhibit kinematic, chemical, and gyrochronal coherency, indicating a common origin. We obtain follow-up radial velocities and supplement these with Gaia astrometry to perform an in-depth dynamical analysis of Theia 456. By integrating stellar orbits through a Milky Way potential, we find the currently dispersed structure coalesced into a small cluster in the past. Via Bayesian modeling, we derive a kinematic age of 245 +/- 3 Myr (statistical), a half-mass radius of 9 +/- 2 pc, and an initial velocity dispersion of 0.14 +/- 0.02 km/s. Our results are entirely independent of model isochrones, details of stellar evolution, and internal cluster dynamics, and the statistical precision in our age derivation rivals that of the most precise age-dating techniques known today, though our imperfect knowledge of the Milky Way potential and simple spherical model for Theia 456 at birth add additional uncertainties. Using posterior predictive checking, we confirm these results are robust under reasonable variations to the Milky Way potential. Such low density structures that are disrupted by the Galactic tides before virializing may be ubiquitous, signifying that Theia 456 is a valuable benchmark for studying the dynamical history of stellar populations in the Milky Way.


title: Estimates for modified $\sigma_{2}$ curvature equation on compact manifolds with boundary

abstract: We establish the global $C^2$-estimates for the modified $\sigma_2$ curvature equation with prescribed boundary mean curvature, and particularly, the local boundary $C^2$ estimates on three-manifolds.


title: Dataset Mention Extraction in Scientific Articles Using Bi-LSTM-CRF Model

abstract: Datasets are critical for scientific research, playing an important role in replication, reproducibility, and efficiency. Researchers have recently shown that datasets are becoming more important for science to function properly, even serving as artifacts of study themselves. However, citing datasets is not a common or standard practice in spite of recent efforts by data repositories and funding agencies. This greatly affects our ability to track their usage and importance. A potential solution to this problem is to automatically extract dataset mentions from scientific articles. In this work, we propose to achieve such extraction by using a neural network based on a Bi-LSTM-CRF architecture. Our method achieves F1 = 0.885 in social science articles released as part of the Rich Context Dataset. We discuss the limitations of the current datasets and propose modifications to the model to be done in the future.


title: Towards Principled, Practical Policy Gradient for Bandits and Tabular MDPs

abstract: We consider (stochastic) softmax policy gradient (PG) methods for bandits and tabular Markov decision processes (MDPs). While the PG objective is non-concave, recent research has used the objective's smoothness and gradient domination properties to achieve convergence to an optimal policy. However, these theoretical results require setting the algorithm parameters according to unknown problem-dependent quantities (e.g. the optimal action or the true reward vector in a bandit problem). To address this issue, we borrow ideas from the optimization literature to design practical, principled PG methods in both the exact and stochastic settings. In the exact setting, we employ an Armijo line-search to set the step-size for softmax PG and empirically demonstrate a linear convergence rate. In the stochastic setting, we utilize exponentially decreasing step-sizes, and characterize the convergence rate of the resulting algorithm. We show that the proposed algorithm offers similar theoretical guarantees as the state-of-the art results, but does not require the knowledge of oracle-like quantities. For the multi-armed bandit setting, our techniques result in a theoretically-principled PG algorithm that does not require explicit exploration, the knowledge of the reward gap, the reward distributions, or the noise. Finally, we empirically compare the proposed methods to PG approaches that require oracle knowledge, and demonstrate competitive performance.


title: Pfaffian Formulation of Schur's $Q$-functions

abstract: We introduce a Pfaffian formula that extends Schur's $Q$-functions $Q_\lambda$ to be indexed by compositions $\lambda$ with negative parts. This formula makes the Pfaffian construction more consistent with other constructions, such as the Young tableau and Vertex Operator constructions. With this construction, we develop a proof technique involving decomposing $Q_\lambda$ into sums indexed by partitions with removed parts. Consequently, we are able to prove several identities of Schur's $Q$-functions using only simple algebraic methods.


title: Spectral Analysis Implies Spectral Synthesis

abstract: In this paper we show that spectral analysis implies spectral synthesis for arbitrary varieties on locally compact Abelian groups, which have no discrete subgroup of infinite torsion free rank..


title: 'Just another field theory' approach to $\mathcal{N}$=1 Super Yang-Mills and the origin of intrinsic SuperGeometry

abstract: We present a non-geometric derivation of $\mathcal{N}$=1 Super Yang-Mills by focusing on the consistency of interactions that extend the free vector supermultiplet rather than assuming gauge invariance under extended symmetries. By utilizing a superspace first-order description, the theory is given in closed form as a third-order polynomial which includes a single cubic interaction term instead of an infinite series, thus eliminating the need for a special gauge. The geometrical interpretation of the theory emerges, as opposed to being presupposed.


title: On Convergence of the Alternating Directions SGHMC Algorithm

abstract: We study convergence rates of Hamiltonian Monte Carlo (HMC) algorithms with leapfrog integration under mild conditions on stochastic gradient oracle for the target distribution (SGHMC). Our method extends standard HMC by allowing the use of general auxiliary distributions, which is achieved by a novel procedure of Alternating Directions. The convergence analysis is based on the investigations of the Dirichlet forms associated with the underlying Markov chain driving the algorithms. For this purpose, we provide a detailed analysis on the error of the leapfrog integrator for Hamiltonian motions with both the kinetic and potential energy functions in general form. We characterize the explicit dependence of the convergence rates on key parameters such as the problem dimension, functional properties of both the target and auxiliary distributions, and the quality of the oracle.


title: Offline robot programming assisted by task demonstration: an AutomationML interoperable solution for glass adhesive application and welding

abstract: Robots have been successfully deployed in both traditional and novel manufacturing processes. However, they are still difficult to program by non-experts, which limits their accessibility to a wider range of potential users. Programming robots requires expertise in both robotics and the specific manufacturing process in which they are applied. Robot programs created offline often lack parameters that represent relevant manufacturing skills when executing a specific task. These skills encompass aspects like robot orientation and velocity. This paper introduces an intuitive robot programming system designed to capture manufacturing skills from task demonstrations performed by skilled workers. Demonstration data, including orientations and velocities of the working paths, are acquired using a magnetic tracking system fixed to the tools used by the worker. Positional data are extracted from CAD/CAM. Robot path poses are transformed into Cartesian space and validated in simulation, subsequently leading to the generation of robot programs. PathML, an AutomationML-based syntax, integrates robot and manufacturing data across the heterogeneous elements and stages of the manufacturing systems considered. Experiments conducted on the glass adhesive application and welding processes showcased the intuitive nature of the system, with path errors falling within the functional tolerance range.


title: Analysis of Stick-Slip Motion as a Jump Phenomenon

abstract: In this work, we analyse the stick-slip motion of a soft elastomeric block on a smooth, hard surface under the application of shear, which is induced by a puller moving at a steady velocity. The frictional stress is generated by make-break of bonds between the pendent chains of the elastomeric block and bonding sites on the hard surface. Relation between velocity and frictional stress has been estimated using the bond-population balance model. Stick-slip motion occurs when the pulling velocity is lower than a critical value. Unlike, the rate-and-state friction model which views the stick-slip motion as a limit cycle, we show that during the stick phase, the sliding surface actually sticks to the hard surface and remains stationary till the shear exerted by puller causes rupture of all bonds between contacting surfaces. The major fraction of the bonds undergo catastrophic rupture so as to cause the sliding surface to slip and attain a significantly higher velocity than the pulling velocity. During the slip phase, the sliding friction is balanced by rapid make-break of weak bonds. As the sliding velocity decreases, the bonds undergo aging and the adhesion stress increases. When the bond adhesion stress exceeds the pulling stress, the contacting surfaces stick together. We have mathematically modeled both the stick and the slip regimes using the bond-population balance model. We have validated the model using the experimental data from the work of Baumberger et al (2002) on sliding of an elastomeric gelatine-gel block on a glass surface.


title: Pseudorandomness, symmetry, smoothing: I

abstract: We prove several new results about bounded uniform and small-bias distributions. A main message is that, small-bias, even perturbed with noise, does not fool several classes of tests better than bounded uniformity. We prove this for threshold tests, small-space algorithms, and small-depth circuits. In particular, we obtain small-bias distributions that 1) achieve an optimal lower bound on their statistical distance to any bounded-uniform distribution. This closes a line of research initiated by Alon, Goldreich, and Mansour in 2003, and improves on a result by O'Donnell and Zhao. 2) have heavier tail mass than the uniform distribution. This answers a question posed by several researchers including Bun and Steinke. 3) rule out a popular paradigm for constructing pseudorandom generators, originating in a 1989 work by Ajtai and Wigderson. This again answers a question raised by several researchers. For branching programs, our result matches a bound by Forbes and Kelley. Our small-bias distributions above are symmetric. We show that the xor of any two symmetric small-bias distributions fools any bounded function. Hence our examples cannot be extended to the xor of two small-bias distributions, another popular paradigm whose power remains unknown. We also generalize and simplify the proof of a result of Bazzi.


title: Mamo: a Mathematical Modeling Benchmark with Solvers

abstract: Mathematical modeling involves representing real-world phenomena, systems, or problems using mathematical expressions and equations to analyze, understand, and predict their behavior. Given that this process typically requires experienced experts, there is an interest in exploring whether Large Language Models (LLMs) can undertake mathematical modeling to potentially decrease human labor. To evaluate of LLMs in mathematical modeling, we introduce a new benchmark, Mamo, that transcends traditional result-oriented assessments. Unlike conventional methods that primarily assess LLMs based on the accuracy of solutions to mathematical problems, our approach offers deeper insight into the modeling process itself. By focusing on the processes LLMs undertake rather than the correctness of their final solutions, Mamo pioneers a novel evaluation paradigm. This shift underscores the importance of understanding the inherent modeling capabilities of LLMs, paving the way for a more nuanced and comprehensive analysis of their problem-solving strategies. Our work marks a significant advancement in the field, suggesting a new direction for future research by emphasizing the evaluation of LLMs' modeling processes over the mere correctness of answers. This benchmark not only facilitates a better understanding of LLMs' mathematical modeling capabilities but also sets a new standard for evaluating their performance in complex problem-solving scenarios.


title: Engineering Miniband Topology via Band-Folding in Moir\'e Superlattice Materials

abstract: The emergence of topologically non-trivial flat bands in moir\'e materials provides an opportunity to explore the interplay between topological physics and correlation effects, leading to the recent experimental realization of interacting topological phases, e.g. fractional Chern insulators. In this work, we propose a mechanism of band inversion induced by band-folding from the moir\'e superlattice potential for engineering topological minibands in moir\'e materials. We illustrate this mechanism via two classes of model Hamiltonians, namely the Rashba model and the Bernevig-Hughes-Zhang (BHZ) model, under the moir\'e superlattice potentials. Moir\'e minibands with non-trivial band topology, including Z2 number, mirror Chern number and fragile topology, have been found and the topological phase diagram is constructed for these moir\'e models. A general theory based on band representations in the mori\'e Brillouin zone is also developed for a generalization of this mechanism to other space groups. Possible experimental realizations of our model Hamiltonian are discussed.


title: A lightweight PUF-based authentication protocol

abstract: Lightweight authentication is essential for resource-constrained Internet-of-Things (IoT). Implementable with low resource and operable with low power, Physical Unclonable Functions (PUFs) have the potential as hardware primitives for implementing lightweight authentication protocols. The arbiter PUF (APUF) is probably the most lightweight strong PUF capable of generating exponentially many challenge-response pairs (CRPs), a desirable property for authentication protocols, but APUF is severely weak against modeling attacks. Efforts on PUF design have led to many PUFs of higher resistance to modeling attacks and also higher area overhead. There are also substantial efforts on protocol development, some leverage PUFs' strength in fighting modeling attacks, and some others employ carefully designed protocol techniques to obfuscate either the challenges or the responses with modest increase of area overhead for some or increased operations for some others. To attain both low resource footprint and high modeling attack resistance, in this paper we propose a co-design of PUF and protocol, where the PUF consists of an APUF and a zero-transistor interface that obfuscates the true challenge bits fed to the PUF. The obfuscated PUF possesses rigorously proven potential and experimentally supported performance against modeling attacks when a condition is met, and the protocol provides the condition required by the PUF and leverages the PUF's modeling resistance to arrive at low resource overhead and high operational simplicity, enabling lightweight authentications while resisting modeling attacks.


title: A novel reliability attack of Physical Unclonable Functions

abstract: Physical Unclonable Functions (PUFs) are emerging as promising security primitives for IoT devices, providing device fingerprints based on physical characteristics. Despite their strengths, PUFs are vulnerable to machine learning (ML) attacks, including conventional and reliability-based attacks. Conventional ML attacks have been effective in revealing vulnerabilities of many PUFs, and reliability-based ML attacks are more powerful tools that have detected vulnerabilities of some PUFs that are resistant to conventional ML attacks. Since reliability-based ML attacks leverage information of PUFs' unreliability, we were tempted to examine the feasibility of building defense using reliability enhancing techniques, and have discovered that majority voting with reasonably high repeats provides effective defense against existing reliability-based ML attack methods. It is known that majority voting reduces but does not eliminate unreliability, we are motivated to investigate if new attack methods exist that can capture the low unreliability of highly but not-perfectly reliable PUFs, which led to the development of a new reliability representation and the new representation-enabled attack method that has experimentally cracked PUFs enhanced with majority voting of high repetitions.


title: Ensemble Variability Properties of Active Galactic Nuclei in the SDSS DR17

abstract: We present the results from a study of ~9,600 Broad-Line selected AGN with host galaxies detected from the Sloan Digital Sky Survey Data Release 17 (SDSS DR17). We compute ensemble variability statistics based on the comparison of the original SDSS photometric data with spectrophotometric measurements obtained days to decades later in the Sloan g-, r-, and i-bands. Galaxy and AGN templates have been fitted to the SDSS spectra to isolate the AGN component from the host galaxy. The sources have absolute magnitudes in the range -24<M_i<-18 and lie at redshifts less than z~0.9. A variability analysis reveals that the anti-correlation between luminosity and variability amplitude continues down to log(L_bol[erg/s]) = 43.5, demonstrating that the relationship extends by 4 orders of magnitude in AGN luminosity. To further explore the connection between AGN luminosity and variability, we determine the black hole mass and the accretion rate through measurement of the H-Beta line width and the monochromatic luminosity at rest-frame 5,100 angstrom. Our results suggest that the accretion rate is the dominant parameter impacting the amplitude of variability and that the anti-correlation between accretion rate and amplitude extends to rates as low as 1% Eddington. Moreover, we also identify an anti-correlation between variability amplitude and black hole mass, with the correlation appearing strongest among the AGN with low accretion rates.


title: Gaussian Measures Conditioned on Nonlinear Observations: Consistency, MAP Estimators, and Simulation

abstract: The article presents a systematic study of the problem of conditioning a Gaussian random variable $\xi$ on nonlinear observations of the form $F \circ \phi(\xi)$ where $\phi: \mathcal{X} \to \mathbb{R}^N$ is a bounded linear operator and $F$ is nonlinear. Such problems arise in the context of Bayesian inference and recent machine learning-inspired PDE solvers. We give a representer theorem for the conditioned random variable $\xi \mid F\circ \phi(\xi)$, stating that it decomposes as the sum of an infinite-dimensional Gaussian (which is identified analytically) as well as a finite-dimensional non-Gaussian measure. We also introduce a novel notion of the mode of a conditional measure by taking the limit of the natural relaxation of the problem, to which we can apply the existing notion of maximum a posteriori estimators of posterior measures. Finally, we introduce a variant of the Laplace approximation for the efficient simulation of the aforementioned conditioned Gaussian random variables towards uncertainty quantification.

categories: stat.ML cs.LG cs.NA math.NA math.PR stat.CO


title: Permutation invariant matrix quantum thermodynamics and negative specific heat capacities in large N systems

abstract: We study the thermodynamic properties of the simplest gauged permutation invariant matrix quantum mechanical system of oscillators, for general matrix size $N$. In the canonical ensemble, the model has a transition at a temperature $T$ given by $x = e^{ -1/ T } \sim x_c=e^{-1/T_c}=\frac{\log N}{N}$, characterised by a sharp peak in the specific heat capacity (SHC), which separates a high temperature from a low temperature region. The peak grows and the low-temperature region shrinks to zero with increasing $N$. In the micro-canonical ensemble, for finite $N$, there is a low energy phase with negative SHC and a high energy phase with positive SHC. The low-energy phase is dominated by a super-exponential growth of degeneracies as a function of energy which is directly related to the rapid growth in the number of directed graphs, with any number of vertices, as a function of the number of edges. The two ensembles have matching behaviour above the transition temperature. We further provide evidence that these thermodynamic properties hold in systems with $U(N)$ symmetry such as the zero charge sector of the 2-matrix model and in certain tensor models. We discuss the implications of these observations for the negative specific heat capacities in gravity using the AdS/CFT correspondence.


title: Non-existence of solutions for a non-Gaussian equation in fractional time with Osgood type nonlinearity

abstract: Osgood functions in the source term are used to produce results for non-existence of local solutions into the framework of non-Gaussian diffusion equations. The critical exponent for non-existence of local solutions is found to depend on the fractional derivative, the non-Gaussian diffusion and the non-linear term. The instantaneous blow-up phenomenon is studied by exploiting estimates of the fundamental solutions. Nevertheless, theory of super-solutions and fixed points are combined for showing existence of global solutions. In this case, the critical exponent for existence of global solutions depends only on the last two parameters above.


title: Enhancing Interaction Modeling with Agent Selection and Physical Methods for Trajectory Prediction

abstract: In this study, we address the limitations inherent in most existing vehicle trajectory prediction methodologies that indiscriminately incorporate all agents within a predetermined proximity when accounting for inter-agent interactions. These approaches commonly employ attention-based architecture or graph neural networks for encoding interactions, which introduces three challenges: (i) The indiscriminate selection of all nearby agents substantially escalates the computational demands of the model, particularly in those interaction-rich scenarios. (ii) Moreover, the simplistic feature extraction of current time agents falls short of adequately capturing the nuanced dynamics of interactions. (iii) Compounded by the inherently low interpretability of attention mechanism and graph neural networks, there is a propensity for the model to allocate unreliable correlation coefficients to certain agents, adversely impacting the accuracy of trajectory predictions. To mitigate these issues, we introduce ASPILin, a novel approach that enhances the selection of interacting agents by considering their current and future lanes, extending this consideration across all historical frames. Utilizing the states of the agents, we estimate the nearest future distance between agents and the time needed to reach this distance. Then, combine these with their current distances to derive a physical correlation coefficient to encode interactions. Experiments conducted on popular trajectory prediction datasets demonstrate that our method is efficient and straightforward, outperforming other state-of-the-art methods.


title: Max-sliced Wasserstein concentration and uniform ratio bounds of empirical measures on RKHS

abstract: Optimal transport and the Wasserstein distance $\mathcal{W}_p$ have recently seen a number of applications in the fields of statistics, machine learning, data science, and the physical sciences. These applications are however severely restricted by the curse of dimensionality, meaning that the number of data points needed to estimate these problems accurately increases exponentially in the dimension. To alleviate this problem, a number of variants of $\mathcal{W}_p$ have been introduced. We focus here on one of these variants, namely the max-sliced Wasserstein metric $\overline{\mathcal{W}}_p$. This metric reduces the high-dimensional minimization problem given by $\mathcal{W}_p$ to a maximum of one-dimensional measurements in an effort to overcome the curse of dimensionality. In this note we derive concentration results and upper bounds on the expectation of $\overline{\mathcal{W}}_p$ between the true and empirical measure on unbounded reproducing kernel Hilbert spaces. We show that, under quite generic assumptions, probability measures concentrate uniformly fast in one-dimensional subspaces, at (nearly) parametric rates. Our results rely on an improvement of currently known bounds for $\overline{\mathcal{W}}_p$ in the finite-dimensional case.


title: Generating A Crowdsourced Conversation Dataset to Combat Cybergrooming

abstract: Cybergrooming emerges as a growing threat to adolescent safety and mental health. One way to combat cybergrooming is to leverage predictive artificial intelligence (AI) to detect predatory behaviors in social media. However, these methods can encounter challenges like false positives and negative implications such as privacy concerns. Another complementary strategy involves using generative artificial intelligence to empower adolescents by educating them about predatory behaviors. To this end, we envision developing state-of-the-art conversational agents to simulate the conversations between adolescents and predators for educational purposes. Yet, one key challenge is the lack of a dataset to train such conversational agents. In this position paper, we present our motivation for empowering adolescents to cope with cybergrooming. We propose to develop large-scale, authentic datasets through an online survey targeting adolescents and parents. We discuss some initial background behind our motivation and proposed design of the survey, such as situating the participants in artificial cybergrooming scenarios, then allowing participants to respond to the survey to obtain their authentic responses. We also present several open questions related to our proposed approach and hope to discuss them with the workshop attendees.


title: ReALLM: A general framework for LLM compression and fine-tuning

abstract: We introduce ReALLM, a novel approach for compression and memory-efficient adaptation of pre-trained language models that encompasses most of the post-training quantization and fine-tuning methods for a budget of <4 bits. Pre-trained matrices are decomposed into a high-precision low-rank component and a vector-quantized latent representation (using an autoencoder). During the fine-tuning step, only the low-rank components are updated. Our results show that pre-trained matrices exhibit different patterns. ReALLM adapts the shape of the encoder (small/large embedding, high/low bit VQ, etc.) to each matrix. ReALLM proposes to represent each matrix with a small embedding on $b$ bits and a neural decoder model $\mathcal{D}_\phi$ with its weights on $b_\phi$ bits. The decompression of a matrix requires only one embedding and a single forward pass with the decoder. Our weight-only quantization algorithm yields the best results on language generation tasks (C4 and WikiText-2) for a budget of $3$ bits without any training. With a budget of $2$ bits, ReALLM achieves state-of-the art performance after fine-tuning on a small calibration dataset.


title: A Privacy-Preserving DAO Model Using NFT Authentication for the Punishment not Reward Blockchain Architecture

abstract: \This paper presents a novel decentralized autonomous organization (DAO) model leveraging non-fungible tokens (NFTs) for advanced access control and privacy-preserving interactions within a Punishment not Reward (PnR) blockchain framework. The proposed model introduces a dual NFT architecture: Membership NFTs (\(NFT_{auth}\)) for authentication and access control, and Interaction NFTs (\(NFT_{priv}\)) for enabling private, encrypted interactions among participants. Governance is enforced through smart contracts that manage reputation and administer punitive measures, such as conditional identity disclosure. By prioritizing privacy, security, and deterrence over financial rewards, this model addresses key challenges in existing blockchain incentive structures, paving the way for more sustainable and decentralized governance frameworks.


title: A Polynomial Construction of Nerves for Higher Categories

abstract: We show that the construction due to Leinster and Weber of a generalized Lawvere theory for a familially representable monad on a (co)presheaf category, and the associated ``nerve'' functor from monad algebras to (co)presheaves, have an elegant categorical description in the double category $\mathbb{C}\mathbf{at}^{\#}$ of categories, cofunctors, familial functors, and transformations. In $\mathbb{C}\mathbf{at}^{\#}$, which also arises from comonoids in the category of polynomial functors, both a familial monad and a (co)presheaf it acts on can be modeled as horizontal morphisms; from this perspective, the theory category associated to the monad is built using left Kan extension in the category of endomorphisms, and the nerve functor is modeled by a single composition of horizontal morphisms in $\mathbb{C}\mathbf{at}^{\#}$. For the free category monad $path$ on graphs, this provides a new construction of the simplex category as $\Delta := \lens{path}{path \circ path}$. We also explore the free Eilenberg-Moore completion of $\mathbb{C}\mathbf{at}^{\#}$, in which constructions such as the free symmetric monoidal category monad on $\mathbf{Cat}$ can modeled using the rich language of polynomial functors.


title: Towards establishing best practice in the analysis of hydrogen and deuterium by atom probe tomography

abstract: As hydrogen is touted as a key player in the decarbonization of modern society, it is critical to enable quantitative H analysis at high spatial resolution, if possible at the atomic scale. Indeed, H has a known deleterious impact on the mechanical properties (strength, ductility, toughness) of most materials that can hinder their use as part of the infrastructure of a hydrogen-based economy. Enabling H mapping, including local hydrogen concentration analyses at specific microstructural features, is essential for understanding the multiple ways that H affect the properties of materials, including for instance embrittlement mechanisms and their synergies, but also spatial mapping and quantification of hydrogen isotopes is essential to accurately predict tritium inventory of future fusion power plants, ensuring their safe and efficient operation for example. Atom probe tomography (APT) has the intrinsic capabilities for detecting hydrogen (H), and deuterium (D), and in principle the capacity for performing quantitative mapping of H within a material's microstructure. Yet the accuracy and precision of H analysis by APT remain affected by the influence of residual hydrogen from the ultra-high vacuum chamber that can obscure the signal of H from within the material, along with a complex field evaporation behavior. The present article reports the essence of discussions at a focused workshop held at the Max-Planck Institute for Sustainable Materials in April 2024. The workshop was organized to pave the way to establishing best practices in reporting APT data for the analysis of H. We first summarize the key aspects of the intricacies of H analysis by APT and propose a path for better reporting of the relevant data to support interpretation of APT-based H analysis in materials.


title: Small Prime $k$th Power Residues and Nonresidues in Arithmetic Progressions

abstract: Let $p$ be a large odd prime, let $x=(\log p)^{1+\varepsilon}$ and let $q\ll\log\log p$ be an integer, where $\varepsilon>0$ is a small number. This note proves the existence of small prime quadratic residues and prime quadratic nonresidues in the arithmetic progression $a+qm\ll x$, with relatively prime $1\leq a<q$, unconditionally. The same results are generalized to small prime $k$th power residues and nonresidues, where $k\mid p-1$ and $k\ll\log\log p$.


title: Borrowing Strength in Distributionally Robust Optimization via Hierarchical Dirichlet Processes

abstract: This paper presents a novel optimization framework to address key challenges presented by modern machine learning applications: High dimensionality, distributional uncertainty, and data heterogeneity. Our approach unifies regularized estimation, distributionally robust optimization (DRO), and hierarchical Bayesian modeling in a single data-driven criterion. By employing a hierarchical Dirichlet process (HDP) prior, the method effectively handles multi-source data, achieving regularization, distributional robustness, and borrowing strength across diverse yet related data-generating processes. We demonstrate the method's advantages by establishing theoretical performance guarantees and tractable Monte Carlo approximations based on Dirichlet process (DP) theory. Numerical experiments validate the framework's efficacy in improving and stabilizing both prediction and parameter estimation accuracy, showcasing its potential for application in complex data environments.


title: Temperature-invariant heat conductivity from compensating crystalline and glassy transport: from the Steinbach meteorite to furnace bricks

abstract: The thermal conductivities of crystals and glasses vary strongly and with opposite trends upon heating, decreasing in crystals and increasing in glasses. Here, we show--both with first-principles predictions based on the Wigner transport equation and with thermoreflectance experiments--that the dominant transport mechanisms of crystals (particle-like propagation) and glasses (wave-like tunnelling) can coexist and compensate in materials with crystalline bond order and nearly glassy bond geometry. We demonstrate that ideal compensation emerges in a sample of silica in the form of tridymite, carved from a meteorite found in Steinbach (Germany) in 1724, and yields a "propagation-tunneling-invariant" (PTI) conductivity that is independent from temperature and intermediate between the opposite trends of $\alpha$-quartz crystal and silica glass. We show how such PTI conductivity occurs in the quantum regime below the Debye temperature, and can largely persist at high temperatures in a geometrically amorphous tridymite phase found in refractory bricks fired for years in furnaces for steel smelting. Last, we discuss implications to heat transfer in solids exposed to extreme temperature variations, ranging from planetary cooling to heating protocols to reduce the carbon footprint of industrial furnaces.


title: Non-autoregressive real-time Accent Conversion model with voice cloning

abstract: Currently, the development of Foreign Accent Conversion (FAC) models utilizes deep neural network architectures, as well as ensembles of neural networks for speech recognition and speech generation. The use of these models is limited by architectural features, which does not allow flexible changes in the timbre of the generated speech and requires the accumulation of context, leading to increased delays in generation and makes these systems unsuitable for use in real-time multi-user communication scenarios. We have developed the non-autoregressive model for real-time accent conversion with voice cloning. The model generates native-sounding L1 speech with minimal latency based on input L2 accented speech. The model consists of interconnected modules for extracting accent, gender, and speaker embeddings, converting speech, generating spectrograms, and decoding the resulting spectrogram into an audio signal. The model has the ability to save, clone and change the timbre, gender and accent of the speaker's voice in real time. The results of the objective assessment show that the model improves speech quality, leading to enhanced recognition performance in existing ASR systems. The results of subjective tests show that the proposed accent and gender encoder improves the generation quality. The developed model demonstrates high-quality low-latency accent conversion, voice cloning, and speech enhancement capabilities, making it suitable for real-time multi-user communication scenarios.


title: Padovan and Perrin Hyperbolic Spinors

abstract: In this study, we intend to bring together Padovan and Perrin number sequences, which are one of the most popular third-order recurrence sequences, and hyperbolic spinors, which are used in several disciplines from physics to mathematics, with the help of the split quaternions. This paper especially improves the relationship between hyperbolic spinors both a physical and mathematical concept, and number theory. For this aim, we combine the hyperbolic spinors and Padovan and Perrin numbers concerning the split Padovan and Perrin quaternions, and we determine two new special recurrence sequences named Padovan and Perrin hyperbolic spinors. Then, we give Binet formulas, generating functions, exponential generating functions, Poisson generating functions, and summation formulas. Additionally, we present some matrix and determinant equations with respect to them. Then, we construct some numerical algorithms for these special number systems, as well. Further, we give an introduction for $(s,t)$-Padovan and $(s,t)$-Perrin hyperbolic spinors.


title: Fluctuating charge-density-wave correlations in the three-band Hubbard model

abstract: The high-temperature superconducting cuprates host unidirectional spin- and charge-density-wave orders that can intertwine with superconductivity in non-trivial ways. While the charge components of these stripes have now been observed in nearly all cuprate families, their detailed evolution with doping varies across different materials and at high and low temperatures. We address this problem using non-perturbative determinant quantum Monte Carlo calculations for the three-band Hubbard model. Using an efficient implementation, we can resolve the model's fluctuating spin and charge modulations and map their evolution as a function of the charge transfer energy and doping. We find that the incommensurability of the charge modulations is decoupled from the spin modulations and decreases with hole doping, consistent with experimental measurements at high temperatures. These findings support the proposal that the high-temperature charge correlations are distinct from the intertwined stripe order observed at low-temperature and in the single-band Hubbard model.


title: Adaptive coupling of 3D and 2D fluid flow models

abstract: Similar to the notion of h-adaptivity, where the discretization resolution is adaptively changed, I propose the notion of model adaptivity, where the underlying model (the governing equations) is adaptively changed in space and time. Specifically, this work introduces a hybrid and adaptive coupling of a 3D bulk fluid flow model with a 2D thin film flow model. As a result, this work extends the applicability of existing thin film flow models to complex scenarios where, for example, bulk flow develops into thin films after striking a surface. At each location in space and time, the proposed framework automatically decides whether a 3D model or a 2D model must be applied. Using a meshless approach for both 3D and 2D models, at each particle, the decision to apply a 2D or 3D model is based on the user-prescribed resolution and a local principal component analysis. When a particle needs to be changed from a 3D model to 2D, or vice versa, the discretization is changed, and all relevant data mapping is done on-the-fly. Appropriate two-way coupling conditions and mass conservation considerations between the 3D and 2D models are also developed. Numerical results show that this model adaptive framework shows higher flexibility and compares well against finely resolved 3D simulations. In an actual application scenario, a 3 factor speed up is obtained, while maintaining the accuracy of the solution.


title: FairLENS: Assessing Fairness in Law Enforcement Speech Recognition

abstract: Automatic speech recognition (ASR) techniques have become powerful tools, enhancing efficiency in law enforcement scenarios. To ensure fairness for demographic groups in different acoustic environments, ASR engines must be tested across a variety of speakers in realistic settings. However, describing the fairness discrepancies between models with confidence remains a challenge. Meanwhile, most public ASR datasets are insufficient to perform a satisfying fairness evaluation. To address the limitations, we built FairLENS - a systematic fairness evaluation framework. We propose a novel and adaptable evaluation method to examine the fairness disparity between different models. We also collected a fairness evaluation dataset covering multiple scenarios and demographic dimensions. Leveraging this framework, we conducted fairness assessments on 1 open-source and 11 commercially available state-of-the-art ASR models. Our results reveal that certain models exhibit more biases than others, serving as a fairness guideline for users to make informed choices when selecting ASR models for a given real-world scenario. We further explored model biases towards specific demographic groups and observed that shifts in the acoustic domain can lead to the emergence of new biases.


title: Prompt Fission Neutron Spectra of 233U(n,F)

abstract: Prompt fission neutron spectra produced up to 20 MeV. Simultaneous analysis of measured and calculated data for 233U(n, F), 235U(n, F) and 239Pu(n, F) maintains stronger justification for the predicted PFNS of 233U(n, F). For the latter the reliable measured PFNS data are available at Eth only. Pre-fission neutron spectra influence the partitioning of fission energy between excitation energy and total kinetic energy of fission fragments. For the reactions 233U (n, F) and 235U (n, F) we have shown that the shape of PFNS depends on the fissility of composite and residual nuclei. The correlation of these peculiarities with contributions of (n, xnf) to the (n, F) and competition of (n, ng) and (n, xn) is established. Exclusive neutron spectra (n, xnf) are consistent with cross sections of 235U(n, F), 234U(n, F), 233U(n, F) and 232U(n,F) reactions, as well as neutron emissive spectra of 235U(n,xn) at 14 MeV. Initial model parameters for 233U (n,F) PFNS are fixed by description of prompt fission neutron spectra of 233U (nth, F). We predict the 233U(n,xnf) exclusive pre-fission neutron spectra of 233U(n,xn) reactions, total kinetic energy TKE of fission fragments and products, partials of average PFNS and observed PFNS of 233U(n,F). PFNS of 233U (n, F) are harder than those of 235U(n, F) PFNS, but softer than those of 239Pu(n, F). Difference of average energies of PFNS of 233U (n, F) and 235U(n, F) amounts to 1-3 %. At incident energies higher than (n, 2nf) reaction threshold the observed PFNS may seem similar, though the partial contributions of 233U(n,xnf) and 235U(n,xnf) are quite different. PFNS of 233U(n,xnf) are obtained in the energy range up to 20 MeV.


title: Modeling and Simulation of Charge-Induced Signals in Photon-Counting CZT Detectors for Medical Imaging Applications

abstract: Photon-counting detectors based on CZT are essential in nuclear medical imaging, particularly for SPECT applications. Although CZT detectors are known for their precise energy resolution, defects within the CZT crystals significantly impact their performance. These defects result in inhomogeneous material properties throughout the bulk of the detector. The present work introduces an efficient computational model that simulates the operation of semiconductor detectors, accounting for the spatial variability of the crystal properties. Our simulator reproduces the charge-induced pulse signals generated after the X/gamma-rays interact with the detector. The performance evaluation of the model shows an RMSE in the signal below 0.70%. Our simulator can function as a digital twin to accurately replicate the operation of actual detectors. Thus, it can be used to mitigate and compensate for adverse effects arising from crystal impurities.


title: Evaluating Offshore Electricity Market Design Considering Endogenous Infrastructure Investments: Zonal or Nodal?

abstract: Policy makers are formulating offshore energy infrastructure plans, including wind turbines, electrolyzers, and HVDC transmission lines. An effective market design is crucial to guide cost-efficient investments and dispatch decisions. This paper jointly studies the impact of offshore market design choices on the investment in offshore electrolyzers and HVDC transmission capacity. We present a bilevel model that incorporates investments in offshore energy infrastructure, day-ahead market dispatch, and potential redispatch actions near real-time to ensure transmission constraints are respected. Our findings demonstrate that full nodal pricing, i.e., nodal pricing both onshore and offshore, outperforms the onshore zonal combined with offshore nodal pricing or offshore zonal layouts. While combining onshore zonal with offshore nodal pricing can be considered as a second-best option, it generally diminishes the profitability of offshore wind farms. However, if investment costs of offshore electrolyzers are relatively low, they can serve as catalysts to increase the revenues of the offshore wind farms. This study contributes to the understanding of market designs for highly interconnected offshore power systems, offering insights into the impact of congestion pricing methodologies on investment decisions. Besides, it is useful towards understanding the interaction of offshore loads like electrolyzers with financial support mechanisms for offshore wind farms.


title: FEATHER: A Reconfigurable Accelerator with Data Reordering Support for Low-Cost On-Chip Dataflow Switching

abstract: The inference of ML models composed of diverse structures, types, and sizes boils down to the execution of different dataflows (i.e. different tiling, ordering, parallelism, and shapes). Using the optimal dataflow for every layer of workload can reduce latency by up to two orders of magnitude over a suboptimal dataflow. Unfortunately, reconfiguring hardware for different dataflows involves on-chip data layout reordering and datapath reconfigurations, leading to non-trivial overhead that hinders ML accelerators from exploiting different dataflows, resulting in suboptimal performance. To address this challenge, we propose FEATHER, an innovative accelerator that leverages a novel spatial array termed Nest and a novel multi-stage reduction network called BIRRD for performing flexible data reduction with layout reordering under the hood, enabling seamless switching between optimal dataflows with negligible latency and resources overhead. For systematically evaluating the performance interaction between dataflows and layouts, we enhance Timeloop, a state-of-the-art dataflow cost modeling and search framework, with layout assessment capabilities, and term it as Layoutloop. We model FEATHER into Layoutloop and also deploy FEATHER end-to-end on the edge ZCU104 FPGA. FEATHER delivers 1.27~2.89x inference latency speedup and 1.3~6.43x energy efficiency improvement compared to various SoTAs like NVDLA, SIGMA and Eyeriss under ResNet-50 and MobiletNet-V3 in Layoutloop. On practical FPGA devices, FEATHER achieves 2.65/3.91x higher throughput than Xilinx DPU/Gemmini. Remarkably, such performance and energy efficiency enhancements come at only 6% area over a fixed-dataflow Eyeriss-like accelerator. Our code is released at https://github.com/maeri-project/FEATHER.


title: Launching Your VR Neuroscience Laboratory

abstract: The proliferation and refinement of affordable virtual reality (VR) technologies and wearable sensors have opened new frontiers in cognitive and behavioral neuroscience. This chapter offers a broad overview of VR for anyone interested in leveraging it as a research tool. In the first section, it examines the fundamental functionalities of VR and outlines important considerations that inform the development of immersive content that stimulates the senses. In the second section, the focus of the discussion shifts to the implementation of VR in the context of the neuroscience lab. Practical advice is offered on adapting commercial, off-theshelf devices to specific research purposes. Further, methods are explored for recording, synchronizing, and fusing heterogeneous forms of data obtained through the VR system or add-on sensors, as well as for labeling events and capturing game play.


title: Measuring Internet Routing from the Most Valuable Points

abstract: While the increasing number of Vantage Points (VPs) in RIPE RIS and RouteViews improves our understanding of the Internet, the quadratically increasing volume of collected data poses a challenge to the scientific and operational use of the data. The design and implementation of BGP and BGP data collection systems lead to data archives with enormous redundancy, as there is substantial overlap in announced routes across many different VPs. Researchers thus often resort to arbitrary sampling of the data, which we demonstrate comes at a cost to the accuracy and coverage of previous works. The continued growth of the Internet, and of these collection systems, exacerbates this cost. The community needs a better approach to managing and using these data archives. We propose MVP, a system that scores VPs according to their level of redundancy with other VPs, allowing more informed sampling of these data archives. Our challenge is that the degree of redundancy between two updates depends on how we define redundancy, which in turn depends on the analysis objective. Our key contribution is a general framework and associated algorithms to assess redundancy between VP observations. We quantify the benefit of our approach for four canonical BGP routing analyses: AS relationship inference, AS rank computation, hijack detection, and routing detour detection. MVP improves the coverage or accuracy (or both) of all these analyses while processing the same volume of data.


title: Efficient and Interpretable Information Retrieval for Product Question Answering with Heterogeneous Data

abstract: Expansion-enhanced sparse lexical representation improves information retrieval (IR) by minimizing vocabulary mismatch problems during lexical matching. In this paper, we explore the potential of jointly learning dense semantic representation and combining it with the lexical one for ranking candidate information. We present a hybrid information retrieval mechanism that maximizes lexical and semantic matching while minimizing their shortcomings. Our architecture consists of dual hybrid encoders that independently encode queries and information elements. Each encoder jointly learns a dense semantic representation and a sparse lexical representation augmented by a learnable term expansion of the corresponding text through contrastive learning. We demonstrate the efficacy of our model in single-stage ranking of a benchmark product question-answering dataset containing the typical heterogeneous information available on online product pages. Our evaluation demonstrates that our hybrid approach outperforms independently trained retrievers by 10.95% (sparse) and 2.7% (dense) in MRR@5 score. Moreover, our model offers better interpretability and performs comparably to state-of-the-art cross encoders while reducing response time by 30% (latency) and cutting computational load by approximately 38% (FLOPs).


title: Local times of deterministic paths with finite variation

abstract: In this note, we define the numbers of level crossings by a c{\`a}dl{\`a}g (RCLL) real function $x: [0,+\infty) \rightarrow R$ and, in analogy to the work of Bertoin and Yor [BY14] we prove that for $x$ with locally finite total variation these numbers are densities of relevant occupation measures associated with $x$. Next, depending on the regularity of $x$ and $f: R \rightarrow R$, we derive change of variable formulas, which may be seen as analogous of the It\^o or Tanaka-Meyer formulas. Some of these formulas are present in [BY14] but we also present some generalizations.


title: FV8: A Forced Execution JavaScript Engine for Detecting Evasive Techniques

abstract: Evasion techniques allow malicious code to never be observed. This impacts significantly the detection capabilities of tools that rely on either dynamic or static analysis, as they never get to process the malicious code. The dynamic nature of JavaScript, where code is often injected dynamically, makes evasions particularly effective. Yet, we lack tools that can detect evasive techniques in a challenging environment such as JavaScript. In this paper, we present FV8, a modified V8 JavaScript engine designed to identify evasion techniques in JavaScript code. FV8 selectively enforces code execution on APIs that conditionally inject dynamic code, thus enhancing code coverage and consequently improving visibility into malicious code. We integrate our tool in both the Node.js engine and the Chromium browser, compelling code execution in npm packages and Chrome browser extensions. Our tool increases code coverage by 11% compared to default V8 and detects 28 unique evasion categories, including five previously unreported techniques. In data confirmed as malicious from both ecosystems, our tool identifies 1,443 (14.6%) npm packages and 164 (82%) extensions containing at least one type of evasion. In previously unexamined extensions (39,592), our tool discovered 16,471 injected third-party scripts, and a total of 8,732,120 lines of code executed due to our forced execution instrumentation. Furthermore, it tagged a total of 423 extensions as both evasive and malicious and we manually verify 110 extensions (26%) to actually be malicious, impacting two million users. Our tool is open-source and serves both as an in-browser and standalone dynamic analysis tool, capable of detecting evasive code, bypassing obfuscation in certain cases, offering improved access to malicious code, and supporting recursive analysis of dynamic code injections


title: Almost Bipartite non-K\"onig-Egerv\'ary Graphs Revisited

abstract: Let $\alpha(G)$ denote the cardinality of a maximum independent set, while $\mu(G)$ be the size of a maximum matching in $G=\left( V,E\right) $. It is known that if $\alpha(G)+\mu(G)=\left\vert V\right\vert $, then $G$ is a K\"{o}nig-Egerv\'{a}ry graph. The critical difference $d(G)$ is $\max\{d(I):I\in\mathrm{Ind}(G)\}$, where $\mathrm{Ind}(G)$\ denotes the family of all independent sets of $G$. If $A\in\mathrm{Ind}(G)$ with $d\left( X\right) =d(G)$, then $A$ is a critical independent set. For a graph $G$, let $\mathrm{diadem}(G)=\bigcup\{S:S$ is a critical independent set in $G\}$, and $\varrho_{v}\left( G\right) $ denote the number of vertices $v\in V\left( G\right) $, such that $G-v$ is a K\"{o}nig-Egerv\'{a}ry graph. A graph is called almost bipartite if it has a unique odd cycle. In this paper, we show that if $G$ is an almost bipartite non-K\"{o}nig-Egerv\'{a}ry graph with the unique odd cycle $C$, then the following assertions are true: 1. every maximum matching of $G$ contains $\left\lfloor {V(C)}/{2}\right\rfloor $ edges belonging to $C$; 2. $V(C)\cup N_{G}\left[ \mathrm{diadem}\left( G\right) \right] =V$ and $V(C)\cap N_{G}\left[ \mathrm{diadem}\left( G\right) \right] =\emptyset$; 3. $\varrho_{v}\left( G\right) =\left\vert \mathrm{corona}\left( G\right) \right\vert -\left\vert \mathrm{diadem}\left( G\right) \right\vert $, where $\mathrm{corona}\left( G\right) $ is the union of all maximum independent sets of $G$; 4. $\varrho_{v}\left( G\right) =\left\vert V\right\vert $ if and only if $G=C_{2k+1}$ for some integer $k\geq1$.


title: A Workbench for Autograding Retrieve/Generate Systems

abstract: This resource paper addresses the challenge of evaluating Information Retrieval (IR) systems in the era of autoregressive Large Language Models (LLMs). Traditional methods relying on passage-level judgments are no longer effective due to the diversity of responses generated by LLM-based systems. We provide a workbench to explore several alternative evaluation approaches to judge the relevance of a system's response that incorporate LLMs: 1. Asking an LLM whether the response is relevant; 2. Asking the LLM which set of nuggets (i.e., relevant key facts) is covered in the response; 3. Asking the LLM to answer a set of exam questions with the response. This workbench aims to facilitate the development of new, reusable test collections. Researchers can manually refine sets of nuggets and exam questions, observing their impact on system evaluation and leaderboard rankings. Resource available at https://github.com/TREMA-UNH/autograding-workbench


title: One-Shot Imitation Learning with Invariance Matching for Robotic Manipulation

abstract: Learning a single universal policy that can perform a diverse set of manipulation tasks is a promising new direction in robotics. However, existing techniques are limited to learning policies that can only perform tasks that are encountered during training, and require a large number of demonstrations to learn new tasks. Humans, on the other hand, often can learn a new task from a single unannotated demonstration. In this work, we propose the Invariance-Matching One-shot Policy Learning (IMOP) algorithm. In contrast to the standard practice of learning the end-effector's pose directly, IMOP first learns invariant regions of the state space for a given task, and then computes the end-effector's pose through matching the invariant regions between demonstrations and test scenes. Trained on the 18 RLBench tasks, IMOP achieves a success rate that outperforms the state-of-the-art consistently, by 4.5% on average over the 18 tasks. More importantly, IMOP can learn a novel task from a single unannotated demonstration, and without any fine-tuning, and achieves an average success rate improvement of $11.5\%$ over the state-of-the-art on 22 novel tasks selected across nine categories. IMOP can also generalize to new shapes and learn to manipulate objects that are different from those in the demonstration. Further, IMOP can perform one-shot sim-to-real transfer using a single real-robot demonstration.


title: RAG-RLRC-LaySum at BioLaySumm: Integrating Retrieval-Augmented Generation and Readability Control for Layman Summarization of Biomedical Texts

abstract: This paper introduces the RAG-RLRC-LaySum framework, designed to make complex biomedical research understandable to laymen through advanced Natural Language Processing (NLP) techniques. Our Retrieval Augmented Generation (RAG) solution, enhanced by a reranking method, utilizes multiple knowledge sources to ensure the precision and pertinence of lay summaries. Additionally, our Reinforcement Learning for Readability Control (RLRC) strategy improves readability, making scientific content comprehensible to non-specialists. Evaluations using the publicly accessible PLOS and eLife datasets show that our methods surpass Plain Gemini model, demonstrating a 20% increase in readability scores, a 15% improvement in ROUGE-2 relevance scores, and a 10% enhancement in factual accuracy. The RAG-RLRC-LaySum framework effectively democratizes scientific knowledge, enhancing public engagement with biomedical discoveries.


title: Data Assimilation with Machine Learning Surrogate Models: A Case Study with FourCastNet

abstract: Modern data-driven surrogate models for weather forecasting provide accurate short-term predictions but inaccurate and nonphysical long-term forecasts. This paper investigates online weather prediction using machine learning surrogates supplemented with partial and noisy observations. We empirically demonstrate and theoretically justify that, despite the long-time instability of the surrogates and the sparsity of the observations, filtering estimates can remain accurate in the long-time horizon. As a case study, we integrate FourCastNet, a state-of-the-art weather surrogate model, within a variational data assimilation framework using partial, noisy ERA5 data. Our results show that filtering estimates remain accurate over a year-long assimilation window and provide effective initial conditions for forecasting tasks, including extreme event prediction.

categories: eess.SP cs.LG nlin.CD physics.ao-ph stat.AP


title: Comparative Analysis of Different Efficient Fine Tuning Methods of Large Language Models (LLMs) in Low-Resource Setting

abstract: In the domain of large language models (LLMs), arXiv:2305.16938 showed that few-shot full-model fine-tuning -- namely Vanilla Fine Tuning (FT) and Pattern-Based Fine Tuning (PBFT) --, and In-Context Learning (ICL) generalize similarly on Out-Of-Domain (OOD) datasets, but vary in terms of task adaptation. However, they both pose challenges, especially in term of memory requirements. In this paper, we further try to push the understanding of different fine-tuning strategies for LLM and aim to bring a myriad of these on the same pedestal for an elaborate comparison with full-model fine-tuning on two diverse datasets. To that end, we conducted a series of experiments, beginning with state-of-the-art methods like vanilla fine-tuning and Pattern-Based Fine-Tuning (PBFT) on pre-trained models across two datasets, COLA and MNLI. We then investigate adaptive fine-tuning and the efficiency of LoRA adapters in a few-shot setting. Finally, we also compare an alternative approach that has gained recent popularity -- context distillation -- with the vanilla FT and PBFT with and without few-shot setup. Our findings suggest that these alternative strategies that we explored can exhibit out-of-domain generalization comparable to that of vanilla FT and PBFT. PBFT under-performs Vanilla FT on out-of-domain (OOD) data, emphasizing the need for effective prompts. Further, our adaptive-fine tuning and LoRA experiments perform comparable or slightly worse than the standard fine-tunings as anticipated, since standard fine-tunings involve tuning the entire model. Finally, our context distillation experiments out-perform the standard fine-tuning methods. These findings underscore that eventually the choice of an appropriate fine-tuning method depends on the available resources (memory, compute, data) and task adaptability.


title: Robustly encoding certainty in a metastable neural circuit model

abstract: Localized persistent neural activity has been shown to serve delayed estimation of continuous variables. Common experiments require that subjects store and report the feature value (e.g., orientation) of a particular cue (e.g., oriented bar on a screen) after a delay. Visualizing recorded activity of neurons according to their feature tuning reveals activity bumps whose centers wander stochastically, degrading the estimate over time. Bump position therefore represents the remembered estimate. Recent work suggests that bump amplitude may represent estimate certainty reflecting a probabilistic population code for a Bayesian posterior. Idealized models of this type are fragile due to the fine tuning common to constructed continuum attractors in dynamical systems. Here we propose an alternative metastable model for robustly supporting multiple bump amplitudes by extending neural circuit models to include quantized nonlinearities. Asymptotic projections of circuit activity produce low-dimensional evolution equations for the amplitude and position of bump solutions in response to external stimuli and noise perturbations. Analysis of reduced equations accurately characterizes phase variance and the dynamics of amplitude transitions between stable discrete values. More salient cues generate bumps of higher amplitude which wander less, consistent with the experimental finding that greater certainty correlates with more accurate memories.


title: Spectrum and polarization of the Galactic center radio transient ASKAP J173608.2-321635 from THOR-GC and VLITE

abstract: The radio transient ASKAP J173608.2-321735, at the position (l,b)= (356.0872,-0.0390), was serendipitously observed by The HI/OH/Recombination Line Survey of the Galactic Center (THOR-GC) at three epochs in March 2020, April 2020 and February 2021. The source was detected only on 2020 April 11 with flux density 20.6 +/- 1.1 mJy at 1.23 GHz and in-band spectral index alpha = -3.1 +/- 0.2. The commensal VLA Low-band Ionsophere and Transient Experiment (VLITE) simultaneously detected the source at 339 MHz with a flux density 122.6 +/- 20.4 mJy, indicating a spectral break below 1 GHz. The rotation measure in April 2020 was 63.9 +/- 0.3rad/m2, which almost triples the range of the variable rotation measure observed by Wang et al. (2021) to ~130 rad/m2. The polarization angle, corrected for Faraday rotation, was 97 +/- 6 degrees. The 1.23 GHz linear polarization was 76.7% +/- 3.9% with wavelength-dependent depolarization indicating Faraday depth dispersion sigma_phi = 4.8^{+0.5}_{-0.7} rad/m2. We find an upper limit to circular polarization |V|/I < 10.1%. Interpretation of the data in terms of diffractive scattering of radio waves by a plasma near the source indicates electron density and line-of-sight magnetic field strength within a factor 3 of n_e ~2 cm^{-3} and B_par ~2 x 10^5 microgauss. Combined with causality limits to the size of the source, these parameters are consistent with the low-frequency spectral break resulting from synchrotron self-absorption, not free-free absorption. A possible interpretation of the source is a highly supersonic neutron star interacting with a changing environment.


title: Generalized Tribonacci Hyperbolic Spinors

abstract: In this study, we introduce the generalized Tribonacci hyperbolic spinors and properties of this new special numbers system by the generalized Tribonacci numbers, which are one of the most general form of the third-order recurrence sequences, generalized Tribonacci quaternions, and hyperbolic spinors, which have quite an importance and framework from mathematics to physics. This study especially improves the relations between the hyperbolic spinors and generalized Tribonacci numbers with the help of the generalized Tribonacci split quaternions. Furthermore, we examine some special cases of them and construct both new equalities and fundamental properties such as recurrence relation, Binet formula, generating function, exponential generating function, Poisson generating function, summation formulas, special determinant properties, matrix formula, and special determinant equations. Also, we give some numerical algorithms with respect to the obtained materials. In addition to these, we give a brief introduction for further research: generalized Tribonacci polynomial hyperbolic spinor sequence.


title: Automated categorization of pre-trained models for software engineering: A case study with a Hugging Face dataset

abstract: Software engineering (SE) activities have been revolutionized by the advent of pre-trained models (PTMs), defined as large machine learning (ML) models that can be fine-tuned to perform specific SE tasks. However, users with limited expertise may need help to select the appropriate model for their current task. To tackle the issue, the Hugging Face (HF) platform simplifies the use of PTMs by collecting, storing, and curating several models. Nevertheless, the platform currently lacks a comprehensive categorization of PTMs designed specifically for SE, i.e., the existing tags are more suited to generic ML categories. This paper introduces an approach to address this gap by enabling the automatic classification of PTMs for SE tasks. First, we utilize a public dump of HF to extract PTMs information, including model documentation and associated tags. Then, we employ a semi-automated method to identify SE tasks and their corresponding PTMs from existing literature. The approach involves creating an initial mapping between HF tags and specific SE tasks, using a similarity-based strategy to identify PTMs with relevant tags. The evaluation shows that model cards are informative enough to classify PTMs considering the pipeline tag. Moreover, we provide a mapping between SE tasks and stored PTMs by relying on model names.


title: Doing the right thing (or not) in a lemons-like situation: on the role of social preferences and Kantian moral concerns

abstract: We conduct a laboratory experiment using framing to assess the willingness to ``sell a lemon'', i.e., to undertake an action that benefits self but hurts the other (the ``buyer''). We seek to disentangle the role of other-regarding preferences and (Kantian) moral concerns, and to test if it matters whether the decision is described in neutral terms or as a market situation. When evaluating an action, morally motivated individuals consider what their own payoff would be if -- hypothetically -- the roles were reversed and the other subject chose the same action (universalization). We vary the salience of role uncertainty, thus varying the ease for participants to envisage the role-reversal scenario.


title: A machine learning framework for interpretable predictions in patient pathways: The case of predicting ICU admission for patients with symptoms of sepsis

abstract: Proactive analysis of patient pathways helps healthcare providers anticipate treatment-related risks, identify outcomes, and allocate resources. Machine learning (ML) can leverage a patient's complete health history to make informed decisions about future events. However, previous work has mostly relied on so-called black-box models, which are unintelligible to humans, making it difficult for clinicians to apply such models. Our work introduces PatWay-Net, an ML framework designed for interpretable predictions of admission to the intensive care unit (ICU) for patients with symptoms of sepsis. We propose a novel type of recurrent neural network and combine it with multi-layer perceptrons to process the patient pathways and produce predictive yet interpretable results. We demonstrate its utility through a comprehensive dashboard that visualizes patient health trajectories, predictive outcomes, and associated risks. Our evaluation includes both predictive performance - where PatWay-Net outperforms standard models such as decision trees, random forests, and gradient-boosted decision trees - and clinical utility, validated through structured interviews with clinicians. By providing improved predictive accuracy along with interpretable and actionable insights, PatWay-Net serves as a valuable tool for healthcare decision support in the critical case of patients with symptoms of sepsis.


title: Topological polarons in halide perovskites

abstract: Halide perovskites emerged as a revolutionary family of high-quality semiconductors for solar energy harvesting and energy-efficient lighting. There is mounting evidence that the exceptional optoelectronic properties of these materials could stem from unconventional electron-phonon couplings, and it has been suggested that the formation of polarons and self-trapped excitons could be key to understanding such properties. By performing first-principles simulations with unprecedented detail across the length scales, here we show that halide perovskites harbor a uniquely rich variety of polaronic species, including small polarons, large polarons, and charge density waves, and we explain a variety of experimental observations. We find that these emergent quasiparticles support topologically nontrivial phonon fields with quantized topological charge, making them the first non-magnetic analog of the helical Bloch points found in magnetic skyrmion lattices.


title: Boundary Effects and Confinement in the Theory of Nonabelian Gauge Fields

abstract: The thesis is devoted to the problem of colour confinement in the non-Abelian Yang-Mills theory (gluon part of Quantum Chromodynamics). A generalisation of the 3-dimensional Fock-Schwinger gauge is proposed where the Gauss law constraint is exactly solvable. This simplifies the theory in a finite domain and incorporates the variables at the boundary into the Hamiltonian formalism. The dependence of the partition function on the boundary value of the longitudinal component of the electric field is studied and related to the mechanism of the confinement-deconfinement transition. The free energy density is calculated for $SU(2)$ and $SU(3)$ gluodynamics in the mean-field approximation for the collective variables. Analysis of its minima reveals a phase transition at a certain temperature, below which the mean collective variables have nonzero values. This can be interpreted as a confinement-deconfinement phase transition. In the confinement phase the chromo-electric flux through any element of the boundary is strictly zero. This means the singletness with respect to the group of the residual gauge transformations and hence impossibility of observing coloured objects at spatial infinity (in asymptotic states). It is demonstrated that our confinement condition satisfies the traditional confinement criteria. The Wilson loop for $SU(N)$ theory is shown to satisfy the area law. The ratio of the transition temperature to the square root of the string tension coefficient is in a qualitative agreement with the result from lattice Monte Carlo simulations. In the deconfinement phase the global symmetry $Z_{N}$ (centre of $SU(N)$) is spontaneously broken by the surface terms. The confinement phase is characterised by unbroken symmetry with all nontrivial minima having the same depth and transformable by $Z_{N}$ actions.


title: Interpretable Spatio-Temporal Embedding for Brain Structural-Effective Network with Ordinary Differential Equation

abstract: The MRI-derived brain network serves as a pivotal instrument in elucidating both the structural and functional aspects of the brain, encompassing the ramifications of diseases and developmental processes. However, prevailing methodologies, often focusing on synchronous BOLD signals from functional MRI (fMRI), may not capture directional influences among brain regions and rarely tackle temporal functional dynamics. In this study, we first construct the brain-effective network via the dynamic causal model. Subsequently, we introduce an interpretable graph learning framework termed Spatio-Temporal Embedding ODE (STE-ODE). This framework incorporates specifically designed directed node embedding layers, aiming at capturing the dynamic interplay between structural and effective networks via an ordinary differential equation (ODE) model, which characterizes spatial-temporal brain dynamics. Our framework is validated on several clinical phenotype prediction tasks using two independent publicly available datasets (HCP and OASIS). The experimental results clearly demonstrate the advantages of our model compared to several state-of-the-art methods.