title: Fully time-dependent cloud formation from a non-equilibrium gas-phase in exoplanetary atmospheres

abstract: Recent observations suggest the presence of clouds in exoplanet atmospheres but have also shown that certain chemical species in the upper atmosphere might not be in chemical equilibrium. The goal of this work is to calculate the two main cloud formation processes, nucleation and bulk growth, consistently from a non-equilibrium gas-phase. The aim is further to explore the interaction between a kinetic gas-phase and cloud micro-physics. The cloud formation is modeled using the moment method and kinetic nucleation which are coupled to a gas-phase kinetic rate network. Specifically, the formation of cloud condensation nuclei is derived from cluster rates that include the thermochemical data of (TiO$_2$)$_N$ from N = 1 to 15. The surface growth of 9 bulk Al/Fe/Mg/O/Si/S/Ti binding materials considers the respective gas-phase species through condensation and surface reactions as derived from kinetic disequilibrium. The effect of completeness of rate networks and the time evolution of the cloud particle formation is studied for an example exoplanet HD 209458 b. A consistent, fully time-dependent cloud formation model in chemical disequilibrium with respect to nucleation, bulk growth and the gas-phase is presented and first test cases are studied. This model shows that cloud formation in exoplanet atmospheres is a fast process. This confirms previous findings that the formation of cloud particles is a local process. Tests on selected locations within the atmosphere of the gas-giant HD 209458 b show that the cloud particle number density and volume reach constant values within 1s. The complex kinetic polymer nucleation of TiO$_2$ confirms results from classical nucleation models. The surface reactions of SiO[s] and SiO$_2$[s] can create a catalytic cycle that dissociates H$_2$ to 2 H, resulting in a reduction of the CH$_4$ number densities.


title: Error analysis of the Lie splitting for semilinear wave equations with finite-energy solutions

abstract: We study time integration schemes for $\dot H^1$-solutions to the energy-(sub)critical semilinear wave equation on $\mathbb{R}^3$. We show first-order convergence in $L^2$ for the Lie splitting and convergence order $3/2$ for a corrected Lie splitting. To our knowledge this includes the first error analysis performed for scaling-critical dispersive problems. Our approach is based on discrete-time Strichartz estimates, including one (with a logarithmic correction) for the case of the forbidden endpoint. Our schemes and the Strichartz estimates contain frequency cut-offs.


title: Advancing Post Hoc Case Based Explanation with Feature Highlighting

abstract: Explainable AI (XAI) has been proposed as a valuable tool to assist in downstream tasks involving human and AI collaboration. Perhaps the most psychologically valid XAI techniques are case based approaches which display 'whole' exemplars to explain the predictions of black box AI systems. However, for such post hoc XAI methods dealing with images, there has been no attempt to improve their scope by using multiple clear feature 'parts' of the images to explain the predictions while linking back to relevant cases in the training data, thus allowing for more comprehensive explanations that are faithful to the underlying model. Here, we address this gap by proposing two general algorithms (latent and super pixel based) which can isolate multiple clear feature parts in a test image, and then connect them to the explanatory cases found in the training data, before testing their effectiveness in a carefully designed user study. Results demonstrate that the proposed approach appropriately calibrates a users feelings of 'correctness' for ambiguous classifications in real world data on the ImageNet dataset, an effect which does not happen when just showing the explanation without feature highlighting.


title: Multivariate selfsimilarity: Multiscale eigen-structures for selfsimilarity parameter estimation

abstract: Scale-free dynamics, formalized by selfsimilarity, provides a versatile paradigm massively and ubiquitously used to model temporal dynamics in real-world data. However, its practical use has mostly remained univariate so far. By contrast, modern applications often demand multivariate data analysis. Accordingly, models for multivariate selfsimilarity were recently proposed. Nevertheless, they have remained rarely used in practice because of a lack of available robust estimation procedures for the vector of selfsimilarity parameters. Building upon recent mathematical developments, the present work puts forth an efficient estimation procedure based on the theoretical study of the multiscale eigenstructure of the wavelet spectrum of multivariate selfsimilar processes. The estimation performance is studied theoretically in the asymptotic limits of large scale and sample sizes, and computationally for finite-size samples. As a practical outcome, a fully operational and documented multivariate signal processing estimation toolbox is made freely available and is ready for practical use on real-world data. Its potential benefits are illustrated in epileptic seizure prediction from multi-channel EEG data.


title: Some New Congruences for $\ell$-Regular Multipartitions

abstract: For a positive integer $n$, let $B_{\ell_1,\dots,\ell_r}(n)$ denote the number of $(\ell_1,\ell_2,\cdots,\ell_r)$-regular multipartitions of $n$. If $\ell_1=\ell_2=\cdots=\ell_r=\ell$, then we denote $B_{\ell_1,\dots,\ell_r}(n)$ as $B_\ell^{(r)}(n)$. In this paper, we prove several infinite families of congruences satisfied by $B_\ell^{(r)}(n)$ for different values of $\ell$ and $r$.


title: A note on multicolour Erd\H{o}s-Hajnal conjecture

abstract: Informally, the Erd\H{o}s-Hajnal conjecture (shortly EH-conjecture) asserts that if a sufficiently large host clique on $n$ vertices is edge-coloured avoiding a copy of some fixed edge-coloured clique, then there is a large homogeneous set of size $n^\beta$ for some positive $\beta$, where a set of vertices is homogeneous if it does not induce all the colours. This conjecture, if true, claims that imposing local conditions on edge-partitions of cliques results in a global structural consequence such as a large homogeneous set, a set avoiding all edges of some part. While this conjecture attracted a lot of attention, it is still open even for two colours. In this note, we reduce the multicolour EH-conjecture to the case when the number of colours used in a host clique is either the same as in the forbidden pattern or one more. We exhibit a non-monotonicity behaviour of homogeneous sets in coloured cliques with forbidden patterns by showing that allowing an extra colour in the host graph could actually decrease the size of a largest homogeneous set.


title: Instructed Language Models with Retrievers Are Powerful Entity Linkers

abstract: Generative approaches powered by large language models (LLMs) have demonstrated emergent abilities in tasks that require complex reasoning abilities. Yet the generative nature still makes the generated content suffer from hallucinations, thus unsuitable for entity-centric tasks like entity linking (EL) requiring precise entity predictions over a large knowledge base. We present Instructed Generative Entity Linker (INSGENEL), the first approach that enables casual language models to perform entity linking over knowledge bases. Several methods to equip language models with EL capability were proposed in this work, including (i) a sequence-to-sequence training EL objective with instruction-tuning, (ii) a novel generative EL framework based on a light-weight potential mention retriever that frees the model from heavy and non-parallelizable decoding, achieving 4$\times$ speedup without compromise on linking metrics. INSGENEL outperforms previous generative alternatives with +6.8 F1 points gain on average, also with a huge advantage in training data efficiency and training compute consumption. In addition, our skillfully engineered in-context learning (ICL) framework for EL still lags behind INSGENEL significantly, reaffirming that the EL task remains a persistent hurdle for general LLMs.


title: Interpretable multiscale Machine Learning-Based Parameterizations of Convection for ICON

abstract: In order to improve climate projections, machine learning (ML)-based parameterizations have been developed for Earth System Models (ESMs) with the goal to better represent subgrid-scale processes or to accelerate computations by emulating existent parameterizations. These data-driven models have shown some success in approximating subgrid-scale processes. However, most studies have used a particular machine learning method to parameterize the subgrid tendencies or fluxes originating from the compound effect of various small-scale processes (e.g., turbulence, radiation, convection, gravity waves) in mostly idealized settings or from superparameterizations. Here, we use a filtering technique to explicitly separate convection from these processes in data produced by the Icosahedral Non-hydrostatic modelling framework (ICON) in a realistic setting. We use a method improved by incorporating density fluctuations for computing the subgrid fluxes and compare various different machine learning algorithms to predict these fluxes. We further examine the predictions of the best performing non-deep learning model (Gradient Boosted Tree regression) and the best deep-learning model (U-Net). We discover that the U-Net learns non-causal relations between convective precipitation and convective subgrid fluxes and develop an ablated model excluding precipitating tracer species. We connect the learned relations of the U-Net to physical processes in contrast to non-deep learning-based algorithms. The ML schemes are coupled online to the host ICON model and the non-causal links reveal weaknesses in stability and precipitation predictions. Predicted precipitation extremes of the ablated U-Net show higher accuracy over the conventional convection parameterization. Thus, our results provide a significant advance upon existing ML subgrid representation in ESMs.


title: Parameter-Agnostic Optimization under Relaxed Smoothness

abstract: Tuning hyperparameters, such as the stepsize, presents a major challenge of training machine learning models. To address this challenge, numerous adaptive optimization algorithms have been developed that achieve near-optimal complexities, even when stepsizes are independent of problem-specific parameters, provided that the loss function is $L$-smooth. However, as the assumption is relaxed to the more realistic $(L_0, L_1)$-smoothness, all existing convergence results still necessitate tuning of the stepsize. In this study, we demonstrate that Normalized Stochastic Gradient Descent with Momentum (NSGD-M) can achieve a (nearly) rate-optimal complexity without prior knowledge of any problem parameter, though this comes at the cost of introducing an exponential term dependent on $L_1$ in the complexity. We further establish that this exponential term is inevitable to such schemes by introducing a theoretical framework of lower bounds tailored explicitly for parameter-agnostic algorithms. Interestingly, in deterministic settings, the exponential factor can be neutralized by employing Gradient Descent with a Backtracking Line Search. To the best of our knowledge, these findings represent the first parameter-agnostic convergence results under the generalized smoothness condition. Our empirical experiments further confirm our theoretical insights.


title: Coherent Entity Disambiguation via Modeling Topic and Categorical Dependency

abstract: Previous entity disambiguation (ED) methods adopt a discriminative paradigm, where prediction is made based on matching scores between mention context and candidate entities using length-limited encoders. However, these methods often struggle to capture explicit discourse-level dependencies, resulting in incoherent predictions at the abstract level (e.g. topic or category). We propose CoherentED, an ED system equipped with novel designs aimed at enhancing the coherence of entity predictions. Our method first introduces an unsupervised variational autoencoder (VAE) to extract latent topic vectors of context sentences. This approach not only allows the encoder to handle longer documents more effectively, conserves valuable input space, but also keeps a topic-level coherence. Additionally, we incorporate an external category memory, enabling the system to retrieve relevant categories for undecided mentions. By employing step-by-step entity decisions, this design facilitates the modeling of entity-entity interactions, thereby maintaining maximum coherence at the category level. We achieve new state-of-the-art results on popular ED benchmarks, with an average improvement of 1.3 F1 points. Our model demonstrates particularly outstanding performance on challenging long-text scenarios.


title: Controlled Diffusions under Full, Partial and Decentralized Information: Existence of Optimal Policies and Discrete-Time Approximations

abstract: We present existence and discrete-time approximation results on optimal control policies for continuous-time stochastic control problems under a variety of information structures. These include fully observed models, partially observed models and multi-agent models with decentralized information structures. While there exist comprehensive existence and approximations results for the fully observed setup in the literature, few prior research exists on discrete-time approximation results for partially observed models. For decentralized models, even existence results have not received much attention except for specialized models and approximation has been an open problem. Our existence and approximations results lead to the applicability of well-established partially observed Markov decision processes and the relatively more mature theory of discrete-time decentralized stochastic control to be applicable for computing near optimal solutions for continuous-time stochastic control.


title: Minimal Arrangements of Spherical Geodesics

abstract: We study arrangements of geodesic arcs on a sphere, where all arcs are internally disjoint and each arc has its endpoints located within the interior of other arcs. We establish fundamental results concerning the minimum number of arcs in such arrangements, depending on local geometric constraints such as "one-sidedness" and "k-orientation". En route to these results, we generalize and settle an open problem from CCCG 2022, proving that any such arrangement has at least two "clockwise swirls" and at least two "counterclockwise swirls".


title: $\lambda$-Griffiths polynomials: Bispectrality and biorthogonality

abstract: We introduce a generalization of bivariate Griffiths polynomials depending on an additional parameter $\lambda$. These $\lambda$-Griffiths polynomials are bivariate, bispectral and biorthogonal. For two specific values of the parameter $\lambda$, they become orthogonal. One of the value is related to the usual bivariate Griffiths polynomials, while the second value produces new orthogonal bivariate polynomials.


title: GM-rule and its applications to impartial games

abstract: Given integer $n \geq 1, \ell \geq 2$, and vector $x = (x_1, \ldots, x_n)$ that has an entry which is a multiple of $\ell$ and such that $x_1 \leq \ldots \leq x_n$, the GM-rule is defined as follows: Keep the rightmost minimal entry $x_i$ of $x$, which is a multiple of $\ell$ and reduce the remaining $n-1$ entries of $x$ by~1. We will call such $i$ the {\em pivot} and $x_i$ the {\em pivotal entry}. The GM-rule respects monotonicity of the entries. It uniquely determines a GM-move $x^0 \to x^1$ and an infinite GM-sequence $S$ that consists of successive GM-moves $x = x^0 \to x^1 \to \ldots \to x^j \to \ldots$ . If $range(x) = x_n - x_1 \leq \ell$ then for all $j \geq 0$: (i) $range(x^j) \leq \ell$; (ii) the pivot of $x^{j + \ell}$ is one less than the pivot of $x^j$, assuming that $1 - 1 = 0 = n$. (iii) $x_i^j - x_i^{j + n \ell} = (n-1) \ell$ for all $i = 1,\ldots,n$. Due to (iii), we compute $x^j$ in time linear in $n, \ell, \log(j)$, and $\sum^n_{i=1}\log(|x_i|+1)$. For $\ell = 2$ a slighty modified version of the GM-rule was recently introduced by Gurvich, Martynov, Maximchuk, and Vyalyi, "On Remoteness Functions of Exact Slow $k$-NIM with $k+1$ Piles", arXiv:2304.06498 (2023), where applications to impartial games were considered.


title: Non-semisimple quantum invariants and abelian classical shadows

abstract: Using the $U_q^Hsl_2$ non-semisimple invariants of 3-manifolds at odd roots of unity, we construct maps on the Kauffman bracket skein module at roots of unity of order twice an odd number, having any possible abelian non central character as classical shadow.


title: $p$-Adic hypergeometric functions and the trace of Frobenius of elliptic curves

abstract: Let $p$ be an odd prime and $q=p^r$, $r\geq 1$. For positive integers $n$, let ${_n}G_n[\cdots]_q$ denote McCarthy's $p$-adic hypergeometric functions. In this article, we prove an identity expressing a ${_4}G_4[\cdots]_q$ hypergeometric function as a sum of two ${_2}G_2[\cdots]_q$ hypergeometric functions. This identity generalizes some known identities satisfied by the finite field hypergeometric functions. We also prove a transfomation that relates ${_{n+2}}G_{n+2}[\cdots]_q$ and ${_n}G_n[\cdots]_q$ hypergeometric functions. Next, we express the trace of Frobenius of elliptic curves in terms of special values of ${_4}G_4[\cdots]_q$ and ${_6}G_6[\cdots]_q$ hypergeometric functions. Our results extend the recent works of Tripathi and Meher on the finite field hypergeometric functions to wider classes of primes.


title: From Coupled Oscillators to Graph Neural Networks: Reducing Over-smoothing via a Kuramoto Model-based Approach

abstract: We propose the Kuramoto Graph Neural Network (KuramotoGNN), a novel class of continuous-depth graph neural networks (GNNs) that employs the Kuramoto model to mitigate the over-smoothing phenomenon, in which node features in GNNs become indistinguishable as the number of layers increases. The Kuramoto model captures the synchronization behavior of non-linear coupled oscillators. Under the view of coupled oscillators, we first show the connection between Kuramoto model and basic GNN and then over-smoothing phenomenon in GNNs can be interpreted as phase synchronization in Kuramoto model. The KuramotoGNN replaces this phase synchronization with frequency synchronization to prevent the node features from converging into each other while allowing the system to reach a stable synchronized state. We experimentally verify the advantages of the KuramotoGNN over the baseline GNNs and existing methods in reducing over-smoothing on various graph deep learning benchmark tasks.


title: Search for new Higgs bosons via same-sign top quark pair production in association with a jet in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search is presented for new Higgs bosons in proton-proton (pp) collision events in which a same-sign top quark pair is produced in association with a jet, via the pp $\to$ tH/A $\to$ t$\mathrm{\bar{t}}$c and pp $\to$ tH/A $\to$ t$\mathrm{\bar{t}}$u processes. Here, H and A represent the extra scalar and pseudoscalar boson, respectively, of the second Higgs doublet in the generalized two-Higgs-doublet model (g2HDM). The search is based on pp collision data collected at a center-of-mass energy of 13 TeV with the CMS detector at the LHC, corresponding to an integrated luminosity of 138 fb$^{-1}$. Final states with a same-sign lepton pair in association with jets and missing transverse momentum are considered. New Higgs bosons in the 200-1000 GeV mass range and new Yukawa couplings between 0.1 and 1.0 are targeted in the search, for scenarios in which either H or A appear alone, or in which they coexist and interfere. No significant excess above the standard model prediction is observed. Exclusion limits are derived in the context of the g2HDM.


title: On Finding Optimal (Dynamic) Arborescences

abstract: Let G = (V, E) be a directed and weighted graph with vertex set V of size n and edge set E of size m, such that each edge (u, v) \in E has a real-valued weight w(u, c). An arborescence in G is a subgraph T = (V, E') such that for a vertex u \in V, the root, there is a unique path in T from u to any other vertex v \in V. The weight of T is the sum of the weights of its edges. In this paper, given G, we are interested in finding an arborescence in G with minimum weight, i.e., an optimal arborescence. Furthermore, when G is subject to changes, namely edge insertions and deletions, we are interested in efficiently maintaining a dynamic arborescence in G. This is a well known problem with applications in several domains such as network design optimization and in phylogenetic inference. In this paper we revisit algorithmic ideas proposed by several authors for this problem, we provide detailed pseudo-code as well as implementation details, and we present experimental results on large scale-free networks and on phylogenetic inference. Our implementation is publicly available at \url{https://gitlab.com/espadas/optimal-arborescences}.


title: PROMPT: A Fast and Extensible Memory Profiling Framework

abstract: Memory profiling captures programs' dynamic memory behavior, assisting programmers in debugging, tuning, and enabling advanced compiler optimizations like speculation-based automatic parallelization. As each use case demands its unique program trace summary, various memory profiler types have been developed. Yet, designing practical memory profilers often requires extensive compiler expertise, adeptness in program optimization, and significant implementation efforts. This often results in a void where aspirations for fast and robust profilers remain unfulfilled. To bridge this gap, this paper presents PROMPT, a pioneering framework for streamlined development of fast memory profilers. With it, developers only need to specify profiling events and define the core profiling logic, bypassing the complexities of custom instrumentation and intricate memory profiling components and optimizations. Two state-of-the-art memory profilers were ported with PROMPT while all features preserved. By focusing on the core profiling logic, the code was reduced by more than 65% and the profiling speed was improved by 5.3x and 7.1x respectively. To further underscore PROMPT's impact, a tailored memory profiling workflow was constructed for a sophisticated compiler optimization client. In just 570 lines of code, this redesigned workflow satisfies the client's memory profiling needs while achieving more than 90% reduction in profiling time and improved robustness compared to the original profilers.


title: CHEOPS observations of KELT-20 b/MASCARA-2 b: An aligned orbit and signs of variability from a reflective dayside

abstract: Occultations are windows of opportunity to indirectly peek into the dayside atmosphere of exoplanets. High-precision transit events provide information on the spin-orbit alignment of exoplanets around fast-rotating hosts. We aim to precisely measure the planetary radius and geometric albedo of the ultra-hot Jupiter (UHJ) KELT-20 b as well as the system's spin-orbit alignment. We obtained optical high-precision transits and occultations of KELT-20 b using CHEOPS observations in conjunction with the simultaneous TESS observations. We interpreted the occultation measurements together with archival infrared observations to measure the planetary geometric albedo and dayside temperatures. We further used the host star's gravity-darkened nature to measure the system's obliquity. We present a time-averaged precise occultation depth of 82(6) ppm measured with seven CHEOPS visits and 131(+8/-7) ppm from the analysis of all available TESS photometry. Using these measurements, we precisely constrain the geometric albedo of KELT-20 b to 0.26(0.04) and the brightness temperature of the dayside hemisphere to 2566(+77/-80) K. Assuming Lambertian scattering law, we constrain the Bond albedo to 0.36(+0.04/-0.05) along with a minimal heat transfer to the night side. Furthermore, using five transit observations we provide stricter constraints of 3.9(1.1) degrees on the sky-projected obliquity of the system. The aligned orbit of KELT-20 b is in contrast to previous CHEOPS studies that have found strongly inclined orbits for planets orbiting other A-type stars. The comparably high planetary geometric albedo of KELT-20 b corroborates a known trend of strongly irradiated planets being more reflective. Finally, we tentatively detect signs of temporal variability in the occultation depths, which might indicate variable cloud cover advecting onto the planetary day side.


title: Explosion rates for continuous-state branching processes in a L\'evy environment

abstract: Here, we study the long-term behaviour of the non-explosion probability for continuous-state branching processes in a L\'evy environment when the branching mechanism is given by the negative of the Laplace exponent of a subordinator. In order to do so, we study the law of this family of processes in the infinite mean case and provide necessary and sufficient conditions for the process to be conservative, i.e. that the process does not explode in finite time a.s. In addition, we establish precise rates for the non-explosion probabilities in the subcritical and critical regimes, first found by Palau et al. [19] in the case when the branching mechanism is given by the negative of the Laplace exponent of a stable subordinator.


title: Experimental certification of contextuality, coherence and dimension in a programmable universal photonic processor

abstract: Quantum superposition of high-dimensional states enables both computational speed-up and security in cryptographic protocols. However, the exponential complexity of tomographic processes makes certification of these properties a challenging task. In this work, we experimentally certify coherence witnesses tailored for quantum systems of increasing dimension, using pairwise overlap measurements enabled by a six-mode universal photonic processor fabricated with a femtosecond laser writing technology. In particular, we show the effectiveness of the proposed coherence and dimension witnesses for qudits of dimensions up to 5. We also demonstrate advantage in a quantum interrogation task, and show it is fueled by quantum contextuality. Our experimental results testify to the efficiency of this novel approach for the certification of quantum properties in programmable integrated photonic platforms


title: Nibbling at Long Cycles: Dynamic (and Static) Edge Coloring in Optimal Time

abstract: We consider the problem of maintaining a $(1+\epsilon)\Delta$-edge coloring in a dynamic graph $G$ with $n$ nodes and maximum degree at most $\Delta$. The state-of-the-art update time is $O_\epsilon(\text{polylog}(n))$, by Duan, He and Zhang [SODA'19] and by Christiansen [STOC'23], and more precisely $O(\log^7 n/\epsilon^2)$, where $\Delta = \Omega(\log^2 n / \epsilon^2)$. The following natural question arises: What is the best possible update time of an algorithm for this task? More specifically, \textbf{ can we bring it all the way down to some constant} (for constant $\epsilon$)? This question coincides with the \emph{static} time barrier for the problem: Even for $(2\Delta-1)$-coloring, there is only a naive $O(m \log \Delta)$-time algorithm. We answer this fundamental question in the affirmative, by presenting a dynamic $(1+\epsilon)\Delta$-edge coloring algorithm with $O(\log^4 (1/\epsilon)/\epsilon^9)$ update time, provided $\Delta = \Omega_\epsilon(\text{polylog}(n))$. As a corollary, we also get the first linear time (for constant $\epsilon$) \emph{static} algorithm for $(1+\epsilon)\Delta$-edge coloring; in particular, we achieve a running time of $O(m \log (1/\epsilon)/\epsilon^2)$. We obtain our results by carefully combining a variant of the \textsc{Nibble} algorithm from Bhattacharya, Grandoni and Wajc [SODA'21] with the subsampling technique of Kulkarni, Liu, Sah, Sawhney and Tarnawski [STOC'22].


title: Congestion-aware Ride-pooling in Mixed Traffic for Autonomous Mobility-on-Demand Systems

abstract: This paper presents a modeling and optimization framework to study congestion-aware ride-pooling Autonomous Mobility-on-Demand (AMoD) systems, whereby self-driving robotaxis are providing on-demand mobility, and users headed in the same direction share the same vehicle for part of their journey. Specifically, taking a mesoscopic time-invariant perspective and on the assumption of a large number of travel requests, we first cast the joint ride-pooling assignment and routing problem as a quadratic program that does not scale with the number of demands and can be solved with off-the-shelf convex solvers. Second, we compare the proposed approach with a significantly simpler decoupled formulation, whereby only the routing is performed in a congestion-aware fashion, whilst the ride-pooling assignment part is congestion-unaware. A case study of Sioux Falls reveals that such a simplification does not significantly alter the solution and that the decisive factor is indeed the congestion-aware routing. Finally, we solve the latter problem accounting for the presence of user-centered private vehicle users in a case study of Manhattan, NYC, characterizing the performance of the car-network as a function of AMoD penetration rate and percentage of pooled rides within it. Our results show that AMoD can significantly reduce congestion and travel times, but only if at least 40% of the users are willing to be pooled together. Otherwise, for higher AMoD penetration rates and low percentage of pooled rides, the effect of the additional rebalancing empty-vehicle trips can be even more detrimental than the benefits stemming from a centralized routing, worsening congestion and leading to an up to 15% higher average travel time.


title: Metachronal coordination at the mesoscale

abstract: In nature, metachronal coordination is an efficient strategy for fluid pumping and self-propulsion. Yet, mimetic systems for this type of organization are scarce. Recently, metachronal motion was observed in a bead-based magnetocapillary mesoswimmer, but the mechanism of such device's behavior remained unclear. Here, we combine theory and experiments to explain two swimming regimes that we identify by modulation of the driving frequency. In the linear, low-frequency regime, the swimmer motion originates from individual bead rotations. However, the high-frequency, metachronal regime is dominated by deformations of the device near a mechanical resonance, which highlights the role of bead inertia for optimized self-propulsion.


title: Elliptic operators in rough sets, and the Dirichlet problem with boundary data in H\"older spaces

abstract: In this paper we study the Dirichlet problem for real-valued second order divergence form elliptic operators with boundary data in H\"{o}lder spaces. Our context is that of open sets $\Omega \subset \mathbb{R}^{n+1}$, $n \ge 2$, satisfying the capacity density condition, without any further topological assumptions. Our main result states that if $\Omega$ is either bounded, or unbounded with unbounded boundary, then the corresponding Dirichlet boundary value problem is well-posed; when $\Omega$ is unbounded with bounded boundary, we establish that solutions exist, but they fail to be unique in general. These results are optimal in the sense that solvability of the Dirichlet problem in H\"{o}lder spaces is shown to imply the capacity density condition. As a consequence of the main result, we present a characterization of the H\"{o}lder spaces in terms of the boundary traces of solutions, and obtain well-posedness of several related Dirichlet boundary value problems. All the results above are new even for 1-sided chord-arc domains, and can be extended to generalized H\"{o}lder spaces associated with a natural class of growth functions.


title: Automated Identification and Tracking of Deformation Twin Structures in Molecular Dynamics Simulations

abstract: Deformation twinning significantly influences the microstructure, texture, and mechanical properties of metals, necessitating comprehensive studies of twin formation and interactions. While experimental methods excel at analyzing individual samples, they often lack the capability for temporal analysis of twinned structures. Molecular dynamics simulations offer a temporal dimension, yet the absence of suitable tools for automated crystal twin identification has been a significant limitation. In this article, we introduce a novel computational tool integrated into the visualization and analysis software OVITO. Our tool automates the identification of coherent twin boundaries, links related twin boundaries, validates twin structures through orientation analysis, and tracks twins over time, providing quantifiable data and enabling in-depth investigations. Validation on a copper single crystal under shear loading demonstrates successful tracking of various twins, revealing their genesis and growth over multiple timesteps. This innovative approach promises to advance the computational materials science domain by facilitating the study of deformation twinning, offering profound insights into the behavior and mechanical performance of materials.


title: The debris disc of HD 131488 -- Bringing together thermal emission and scattered light

abstract: We show the first SPHERE/IRDIS and IFS data of the CO-rich debris disc around HD 131488. We use N-body simulations to model both the scattered light images and the SED of the disc in a self-consistent way. We apply the Henyey-Greenstein approximation, Mie theory, and the Discrete Dipole Approximation to model the emission of individual dust grains. Our study shows that only when gas drag is taken into account can we find a model that is consistent with scattered light as well as thermal emission data of the disc. The models suggest a gas surface density of $2\times10^{-5}\,M_\oplus/$au$^2$ which is in agreement with estimates from ALMA observations. Thus, our modelling procedure allows us to roughly constrain the expected amount of gas in a debris disc without actual gas measurements. We also show that the shallow size distribution of the dust leads to a significant contribution of large particles to the overall amount of scattered light. The scattering phase function indicates a dust porosity of $\sim0.2\ldots 0.6$ which is in agreement with a pebble pile scenario for planetesimal growth.


title: Tidal dissipation in stably stratified and semi-convective regions of rotating giant planets: incorporating Coriolis forces

abstract: We study how stably stratified or semi-convective layers alter tidal dissipation rates associated with the generation of inertial, gravito-inertial, interfacial and surface gravity waves in rotating giant planets. We explore scenarios in which stable (non-convective) layers contribute to the high rates of tidal dissipation observed for Jupiter and Saturn in our solar system. Our model is an idealised spherical Boussinesq system incorporating Coriolis forces to study effects of stable stratification and semi-convective layers on tidal dissipation. Our detailed numerical calculations consider realistic tidal forcing and compute the resulting viscous and thermal dissipation rates. The presence of an extended stably stratified fluid core significantly enhances tidal wave excitation of both inertial waves (due to rotation) in the convective envelope and gravito-inertial waves in the dilute core. We show that a sufficiently strongly stratified fluid core enhances inertial wave dissipation in a convective envelope much like a solid core does. We demonstrate that efficient tidal dissipation rates (and associated tidal quality factors $Q'$) -- sufficient to explain the observed migration rates of Saturn's moons -- are predicted at the frequencies of the orbiting moons due to the excitation of inertial or gravito-inertial waves in our models with stable layers (without requiring resonance-locking). Stable layers could also be important for tidal evolution of hot and warm Jupiters, and hot Neptunes, providing efficient tidal circularisation rates. Future work should study more sophisticated planetary models that also account for magnetism and differential rotation, as well as the interaction of inertial waves with turbulent convection.


title: Template bank to search for exotic gravitational wave signals from astrophysical compact binaries

abstract: Modeled searches of gravitational wave signals from compact binary mergers rely on template waveforms determined by the theory of general relativity (GR). Once a signal is detected, one generally performs the model agnostic test of GR, either looking for consistency between the GR waveform and data or introducing phenomenological deviations to detect the departure from GR. The non-trivial presence of beyond-GR physics can alter the waveform and could be missed by the GR template-based searches. A recent study [Phys. Rev. D 107, 024017 (2023)] targeted the binary black hole merger, assuming the parametrized deviation in lower post-Newtonian terms and demonstrated a mild effect on the search sensitivity. Surprisingly, for the search space of binary neutron star (BNS) systems where component masses range from 1 to $2.4\:\rm{M}_\odot$ and parametrized deviations span $1\sigma$ width of the deviation parameters measured from the GW170817 event, the GR template bank is highly ineffectual for detecting the non-GR signals. Here, we present a new hybrid method to construct a non-GR template bank for the BNS search space. The hybrid method uses the geometric approach of three-dimensional lattice placement to cover most of the parameter space volume, followed by the random method to cover the boundary regions of parameter space. We find that the non-GR bank size is $\sim$15 times larger than the conventional GR bank and is effectual towards detecting non-GR signals in the target search space.


title: HetCAN: A Heterogeneous Graph Cascade Attention Network with Dual-Level Awareness

abstract: Heterogeneous graph neural networks(HGNNs) have recently shown impressive capability in modeling heterogeneous graphs that are ubiquitous in real-world applications. Most existing methods for heterogeneous graphs mainly learn node embeddings by stacking multiple convolutional or attentional layers, which can be considered as capturing the high-order information from node-level aspect. However, different types of nodes in heterogeneous graphs have diverse features, it is also necessary to capture interactions among node features, namely the high-order information from feature-level aspect. In addition, most methods first align node features by mapping them into one same low-dimensional space, while they may lose some type information of nodes in this way. To address these problems, in this paper, we propose a novel Heterogeneous graph Cascade Attention Network (HetCAN) composed of multiple cascade blocks. Each cascade block includes two components, the type-aware encoder and the dimension-aware encoder. Specifically, the type-aware encoder compensates for the loss of node type information and aims to make full use of graph heterogeneity. The dimension-aware encoder is able to learn the feature-level high-order information by capturing the interactions among node features. With the assistance of these components, HetCAN can comprehensively encode information of node features, graph heterogeneity and graph structure in node embeddings. Extensive experiments demonstrate the superiority of HetCAN over advanced competitors and also exhibit its efficiency and robustness.


title: Quasi long-ranged order in two-dimensional active liquid crystals

abstract: Quasi-long ranged order is the hallmark of two-dimensional liquid crystals. At equilibrium, this property implies that the correlation function of the local orientational order parameter decays with distance as a power law: i.e. $\sim|\boldsymbol{r}|^{-\eta_{p}}$, with $\eta_{p}$ a temperature-dependent exponent. While in general non-universal, $\eta_{p}=1/4$ universally at the Berezinskii-Kosterlitz-Thouless transition, where orientational order is lost because of the unbinding of disclinations. Motivated by recent experimental findings of liquid crystal order in confluent cell monolayers, here we demonstrate that, in {\em active} liquid crystals, the notion of quasi-long ranged order fundamentally differs from its equilibrium counterpart and is ultimately dictated by the interplay between translational and orientational dynamics. As a consequence, the exponent $\eta_{p}$ is allowed to vary in the range $0<\eta_{p}\le 2$, with the upper bound corresponding to the isotropic phase. Our theoretical predictions are supported by a survey of recent experimental data, reflecting a wide variety of different realization of orientational order in two dimensions.


title: Gaps in Representations of Hydropower Generation in Steady-State and Dynamic Models

abstract: In the evolving power system, where new renewable resources continually displace conventional generation, conventional hydropower resources can be an important asset that helps to maintain reliability and flexibility. Varying climatic patterns do affect the operational pattern of hydropower. This would potentially play a vital role in meeting and delivering energy and meeting climate policy needs. Hydropower is one of the oldest forms of renewable energy resources, however, its dependency on water availability and other constraints are not well represented in power system steady state and dynamic models. This leads to multiple gaps in operations planning especially due to high intermittent renewable generation. Operating constraints and lack of high-quality data often become a barrier to hydropower modeling which leads to inconsistencies in reliability and operational planning studies resulting in unintentional blackouts or unforeseen situations. This paper identifies some of the gaps in hydro-based generation representation in steady-state and dynamic models and provides recommendations for their mitigation.


title: Discretizing Numerical Attributes: An Analysis of Human Perceptions

abstract: Machine learning (ML) has employed various discretization methods to partition numerical attributes into intervals. However, an effective discretization technique remains elusive in many ML applications, such as association rule mining. Moreover, the existing discretization techniques do not reflect best the impact of the independent numerical factor on the dependent numerical target factor. This research aims to establish a benchmark approach for numerical attribute partitioning. We conduct an extensive analysis of human perceptions of partitioning a numerical attribute and compare these perceptions with the results obtained from our two proposed measures. We also examine the perceptions of experts in data science, statistics, and engineering by employing numerical data visualization techniques. The analysis of collected responses reveals that $68.7\%$ of human responses approximately closely align with the values generated by our proposed measures. Based on these findings, our proposed measures may be used as one of the methods for discretizing the numerical attributes.


title: A representation for the Expected Signature of Brownian motion up to the first exit time of the planar unit disc

abstract: The signature of a sample path is a formal series of iterated integrals along the path. The expected signature of a stochastic process gives a summary of the process that is especially useful for studying stochastic differential equations driven by the process. Lyons-Ni derived a partial differential equation for the expected signature of Brownian motion, starting at a point z in a bounded domain, until it hits to boundary of the domain. We focus on the domain of planar unit disc centred at 0. Motivated by recently found explicit formulae for some terms in the expected signature of this process in terms of Bessel functions, we derive a tensor series representation for this expected signature, coming from from studying Lyons-Ni's PDE. Although the representation is rather involved, it simplifies significantly to give a formula for the polynomial leading order term in each tensor component of the expected signature.


title: Experimentation at a muon collider

abstract: Experimental activities involving multi-TeV muon collisions are a relatively recent endeavor. The community has limited experience in designing detectors for lepton interactions at center-of-mass energies of 10 TeV and beyond. This review provides a short overview of the machine characteristics and outlines potential sources of beam-induced background that could impact the detector performance. The strategy for mitigating the effects of beam-induced background on the detector at $\sqrt{s}=3$ TeV is discussed, focusing on the machine-detector interface, detector design, and the implementation of reconstruction algorithms. The physics potential at this center-of-mass energy is evaluated using a detailed detector simulation that incorporates the effects of beam-induced background. This evaluation concerns the Higgs boson couplings and the Higgs field potential sensitivity, that then are used to get confidence on the expectations at 10 TeV. The physics and detector requirements for an experiment at $\sqrt{s}=10$ TeV, outlined here, form the foundation for the initial detector concept at that center-of-mass energy .


title: The separate-universe approach and sudden transitions during inflation

abstract: The separate-universe approach gives an intuitive way to understand the evolution of cosmological perturbations in the long-wavelength limit. It uses solutions of the spatially-homogeneous equations of motion to model the evolution of the inhomogeneous universe on large scales. We show that the separate-universe approach fails on a finite range of super-Hubble scales at a sudden transition from slow roll to ultra-slow roll during inflation in the very early universe. Such transitions are a feature of inflation models giving a large enhancement in the primordial power spectrum on small scales, necessary to produce primordial black holes after inflation. We show that the separate-universe approach still works in a piece-wise fashion, before and after the transition, but spatial gradients on finite scales require a discontinuity in the homogeneous solution at the transition. We discuss the implications for the $\delta N$ formalism and stochastic inflation, which employ the separate-universe approximation.


title: Resource Allocation for RIS-Empowered Wireless Communications: Low-Complexity and Robust Designs

abstract: This article delves into advancements in resource allocation techniques tailored for systems utilizing reconfigurable intelligent surfaces (RIS), with a primary focus on achieving low-complexity and resilient solutions. The investigation of low-complexity approaches for RIS holds significant relevance, primarily owing to the intricate characteristics inherent in RIS-based systems and the need of deploying large-scale RIS arrays. Concurrently, the exploration of robust solutions aims to address the issue of hardware impairments occurring at both the transceivers and RIS components in practical RIS-assisted systems. In the realm of both low-complexity and robust resource allocation, this article not only elucidates the fundamental techniques underpinning these methodologies but also offers comprehensive numerical results for illustrative purposes. The necessity of adopting resource allocation strategies that are both low in complexity and resilient is thoroughly established. Ultimately, this article provides prospective research avenues in the domain of low-complexity and robust resource allocation techniques tailored for RIS-assisted systems.


title: Risk of Transfer Learning and its Applications in Finance

abstract: Transfer learning is an emerging and popular paradigm for utilizing existing knowledge from previous learning tasks to improve the performance of new ones. In this paper, we propose a novel concept of transfer risk and and analyze its properties to evaluate transferability of transfer learning. We apply transfer learning techniques and this concept of transfer risk to stock return prediction and portfolio optimization problems. Numerical results demonstrate a strong correlation between transfer risk and overall transfer learning performance, where transfer risk provides a computationally efficient way to identify appropriate source tasks in transfer learning, including cross-continent, cross-sector, and cross-frequency transfer for portfolio optimization.


title: Safe Collective Control under Noisy Inputs and Competing Constraints via Non-Smooth Barrier Functions

abstract: We consider the problem of safely coordinating ensembles of identical autonomous agents to conduct complex missions with conflicting safety requirements and under noisy control inputs. Using non-smooth control barrier functions (CBFs) and stochastic model-predictive control as springboards, and by adopting an extrinsic approach where the ensemble is treated as a unified dynamic entity, we devise a method to synthesize safety-aware control inputs for uncertain collectives. Drawing upon stochastic CBF theory and recent developments in Boolean CBF composition, our method proceeds by smoothing a Boolean-composed CBF and solving a stochastic optimization problem where each agent's forcing term is restricted to the affine subspace of control inputs certified by the combined CBF. For the smoothing step, we employ a polynomial approximation scheme, providing evidence for its advantage in generating more conservative yet sufficiently-filtered control inputs than the smoother but more aggressive equivalents produced from an approximation technique based on the log-sum-exp function. To further demonstrate the utility of the proposed method, we present an upper bound for the expected CBF approximation error, along with results from simulations of a single-integrator collective under velocity perturbations. Lastly, we compare these results with those obtained using a naive state-feedback controller lacking safety filters.


title: S-LoRA: Serving Thousands of Concurrent LoRA Adapters

abstract: The "pretrain-then-finetune" paradigm is commonly adopted in the deployment of large language models. Low-Rank Adaptation (LoRA), a parameter-efficient fine-tuning method, is often employed to adapt a base model to a multitude of tasks, resulting in a substantial collection of LoRA adapters derived from one base model. We observe that this paradigm presents significant opportunities for batched inference during serving. To capitalize on these opportunities, we present S-LoRA, a system designed for the scalable serving of many LoRA adapters. S-LoRA stores all adapters in the main memory and fetches the adapters used by the currently running queries to the GPU memory. To efficiently use the GPU memory and reduce fragmentation, S-LoRA proposes Unified Paging. Unified Paging uses a unified memory pool to manage dynamic adapter weights with different ranks and KV cache tensors with varying sequence lengths. Additionally, S-LoRA employs a novel tensor parallelism strategy and highly optimized custom CUDA kernels for heterogeneous batching of LoRA computation. Collectively, these features enable S-LoRA to serve thousands of LoRA adapters on a single GPU or across multiple GPUs with a small overhead. Compared to state-of-the-art libraries such as HuggingFace PEFT and vLLM (with naive support of LoRA serving), S-LoRA can improve the throughput by up to 4 times and increase the number of served adapters by several orders of magnitude. As a result, S-LoRA enables scalable serving of many task-specific fine-tuned models and offers the potential for large-scale customized fine-tuning services. The code is available at https://github.com/S-LoRA/S-LoRA


title: Jet - counter-jet asymmetry in the jittering jets explosion mechanism of supernovae

abstract: I identify a point-symmetric morphology composed of three pairs of ears (small lobes) in the X-ray images of the core-collapse supernova remnant (CCSNR) N63A and argue that this morphology supports the jittering jets explosion mechanism (JJEM). The opposite two ears in each of the three pairs of SNR N63A are not equal to each other as one is larger than the other. From the morphology of SNR N63A, I infer that this asymmetry is due to asymmetrical opposite jets at launching. Namely, the newly born neutron star that launches the jets that explode the star, does it in many cases with one jet more powerful than its counter-jet. I propose that this asymmetry results from that the accretion disk that launches the jets has no time to fully relax during a jet-launching episode. This implies that the disk has no time to fully relax to a thin disk and it is rather a thick accretion disk. As well, it implies that if the disk is born with two unequal sides as expected in the JJEM, then during a large fraction, or even all, of the jet-launching episode the two sides remain unequal. I also show that the magnetic reconnection timescale, which is about the timescale for the magnetic field to relax, is not much shorter than the jet-launching episode, therefore the two sides of the accretion disk might have a different magnetic structure. In most jet-launching episodes, the unequal sides of the accretion disk launch two opposite non-relativistic jets with different energy from each other.


title: Holistic Analysis of Hallucination in GPT-4V(ision): Bias and Interference Challenges

abstract: While GPT-4V(ision) impressively models both visual and textual information simultaneously, it's hallucination behavior has not been systematically assessed. To bridge this gap, we introduce a new benchmark, namely, the Bias and Interference Challenges in Visual Language Models (Bingo). This benchmark is designed to evaluate and shed light on the two common types of hallucinations in visual language models: bias and interference. Here, bias refers to the model's tendency to hallucinate certain types of responses, possibly due to imbalance in its training data. Interference pertains to scenarios where the judgment of GPT-4V(ision) can be disrupted due to how the text prompt is phrased or how the input image is presented. We identify a notable regional bias, whereby GPT-4V(ision) is better at interpreting Western images or images with English writing compared to images from other countries or containing text in other languages. Moreover, GPT-4V(ision) is vulnerable to leading questions and is often confused when interpreting multiple images together. Popular mitigation approaches, such as self-correction and chain-of-thought reasoning, are not effective in resolving these challenges. We also identified similar biases and interference vulnerabilities with LLaVA and Bard. Our results characterize the hallucination challenges in GPT-4V(ision) and state-of-the-art visual-language models, and highlight the need for new solutions. The Bingo benchmark is available at https://github.com/gzcch/Bingo.


title: Hydrodynamic modelling of dynamical tides dissipation in Jupiter's interior as revealed by Juno

abstract: The Juno spacecraft has acquired exceptionally precise data on Jupiter's gravity field, offering invaluable insights into Jupiter's tidal response, interior structure, and dynamics, establishing crucial constraints. We develop a new model for calculating Jupiter's tidal response based on its latest interior model, while also examining the significance of different dissipation processes for the evolution of its system. We study the dissipation of dynamical tides in Jupiter by thermal, viscous and molecular diffusivities acting on gravito-inertial waves in stably stratified zones and inertial waves in convection ones. We solve the linearised equations for the equilibrium tide. Next, we compute the dynamical tides using linear hydrodynamical simulations based on a spectral method. The Coriolis force is fully taken into account, but the centrifugal effect is neglected. We study the dynamical tides occurring in Jupiter using internal structure models that respect Juno's constraints. We study specifically the dominant quadrupolar tidal components and our focus is on the frequency range that corresponds to the tidal frequencies associated with Jupiter's Galilean satellites. By incorporating the different dissipation mechanisms, we calculate the total dissipation and determine the imaginary part of the tidal Love number. We find a significant frequency dependence in dissipation spectra, indicating a strong relationship between dissipation and forcing frequency. Furthermore, our analysis reveals that, in the chosen parameter regime in which kinematic viscosity, thermal and molecular diffusivities are equal, the dominant mechanism contributing to dissipation is viscosity, exceeding in magnitude both thermal and chemical dissipation. We find that the presence of stably stratified zones plays an important role in explaining the high dissipation observed in Jupiter.


title: Batch effect correction with sample remeasurement in highly confounded case-control studies

abstract: Batch effects are pervasive in biomedical studies. One approach to address the batch effects is repeatedly measuring a subset of samples in each batch. These remeasured samples are used to estimate and correct the batch effects. However, rigorous statistical methods for batch effect correction with remeasured samples are severely under-developed. In this study, we developed a framework for batch effect correction using remeasured samples in highly confounded case-control studies. We provided theoretical analyses of the proposed procedure, evaluated its power characteristics, and provided a power calculation tool to aid in the study design. We found that the number of samples that need to be remeasured depends strongly on the between-batch correlation. When the correlation is high, remeasuring a small subset of samples is possible to rescue most of the power.


title: 4-component Relativistic Calculations in a Multiwavelet Basis with Improved Convergence

abstract: The many-body wave function of an $N$-electron system within a relativistic framework can be described by the Dirac equation. Unfortunately, the Dirac operator $\hat{\mathfrak{D}}$ is unbounded and in case we would describe anions we will observe the variational collapse of wavefunction of $N+1$ electron. Thus, it is necessary to avoid it and an alternative approach is based on applying the square of the Dirac operator $\hat{\mathfrak{D}}^{2}$. This approach is especially suitable for a multiwavelet framework: its implementation in an integral equation form is readily available and the completeness of the multiwavelet basis guarantees that the matrix representation of $\hat{\mathfrak{D}}^{2}$ in the occupied space is identical to the square of the matrix representation of $\hat{\mathfrak{D}}$. This equivalence is not valid in a finite basis set. The use of the $\hat{\mathfrak{D}}^{2}$ operator within a multiwavelet framework is able to achieve higher precision compared to the $\hat{\mathfrak{D}}$, consistent with the quadratic nature of the error estimates in a variational framework.


title: DISCO-DJ I: a differentiable Einstein-Boltzmann solver for cosmology

abstract: We present the Einstein-Boltzmann module of the DISCO-DJ (DIfferentiable Simulations for COsmology - Done with JAX) software package. This module implements a fully differentiable solver for the linearised cosmological Einstein-Boltzmann equations in the JAX framework, and allows computing Jacobian matrices of all solver output with respect to all input parameters using automatic differentiation. This implies that along with the solution for a given set of parameters, the tangent hyperplane in parameter space is known as well, which is a key ingredient for cosmological inference and forecasting problems as well as for many other applications. We discuss our implementation and demonstrate that our solver agrees at the per-mille level with the existing non-differentiable solvers CAMB and CLASS, including massive neutrinos and a dark energy fluid with parameterised equation of state. We illustrate the dependence of various summary statistics in large-scale structure cosmology on model parameters using the differentiable solver, and finally demonstrate how it can be easily used for Fisher forecasting. Since the implementation is significantly shorter and more modular than existing solvers, it is easy to extend our solver to include additional physics, such as additional dark energy models, modified gravity, or other non-standard physics.


title: Data Science from 1963 to 2012

abstract: Consensus on the definition of data science remains low despite the widespread establishment of academic programs in the field and continued demand for data scientists in industry. Definitions range from rebranded statistics to data-driven science to the science of data to simply the application of machine learning to so-called big data to solve real-world problems. Current efforts to trace the history of the field in order to clarify its definition, such as Donoho's "50 Years of Data Science" (Donoho 2017), tend to focus on a short period when a small group of statisticians adopted the term in an unsuccessful attempt to rebrand their field in the face of the overshadowing effects of computational statistics and data mining. Using textual evidence from primary sources, this essay traces the history of the term to the 1960s, when it was first used by the US Air Force in a surprisingly similar way to its current usage, to 2012, the year that Harvard Business Review published the enormously influential article "Data Scientist: The Sexiest Job of the 21st Century" (Davenport and Patil 2012), while the American Statistical Association acknowledged a profound disconnect between statistics and data science. Among the themes that emerge from this review are (1) the long-standing opposition between data analysts and data miners that continues to animate the field, (2) an established definition of the term as the practice of managing and processing scientific data that has been occluded by recent usage, and (3) the phenomenon of data impedance -- the disproportion between surplus data, indexed by phrases like data deluge and big data, and the limitations of computational machinery and methods to process them. This persistent condition appears to have motivated the use of the term and the field itself since its beginnings.


title: Learning Reusable Manipulation Strategies

abstract: Humans demonstrate an impressive ability to acquire and generalize manipulation "tricks." Even from a single demonstration, such as using soup ladles to reach for distant objects, we can apply this skill to new scenarios involving different object positions, sizes, and categories (e.g., forks and hammers). Additionally, we can flexibly combine various skills to devise long-term plans. In this paper, we present a framework that enables machines to acquire such manipulation skills, referred to as "mechanisms," through a single demonstration and self-play. Our key insight lies in interpreting each demonstration as a sequence of changes in robot-object and object-object contact modes, which provides a scaffold for learning detailed samplers for continuous parameters. These learned mechanisms and samplers can be seamlessly integrated into standard task and motion planners, enabling their compositional use.


title: Indirect Quantum Approximate Optimization Algorithms: application to the TSP

abstract: We propose an Indirect Quantum Approximate Optimization Algorithm (referred to as IQAOA) where the Quantum Alternating Operator Ansatz takes into consideration a general parameterized family of unitary operators to efficiently model the Hamiltonian describing the set of string vectors. This algorithm creates an efficient alternative to QAOA, where: 1) a Quantum parametrized circuit executed on a quantum machine models the set of string vectors; 2) a Classical meta-optimization loop executed on a classical machine; 3) an estimation of the average cost of each string vector computing, using a well know algorithm coming from the OR community that is problem dependent. The indirect encoding defined by dimensional string vector is mapped into a solution by an efficient coding/decoding mechanism. The main advantage is to obtain a quantum circuit with a strongly limited number of gates that could be executed on the noisy current quantum machines. The numerical experiments achieved with IQAOA permits to solve 8-customer instances TSP using the IBM simulator which are to the best of our knowledge the largest TSP ever solved using a QAOA based approach.


title: Polygons of Newton-Okounkov type on irreducible holomorphic symplectic manifolds

abstract: Let $X$ be a projective irreducible holomorphic symplectic manifold. We associate with any big $\mathbf{R}$-divisor $D$ on $X$ a convex polygon $\Delta_E^{\mathrm{num}}(D)$ of dimension $2$, whose Euclidean volume is $\mathrm{vol}_{\mathbf{R}^2}(\Delta_E^{\mathrm{num}}(D))=q_X(P(D))/2$, where $E$ is any prime divisor on $X$, $q_X$ is the Beauville-Bogomolov-Fujiki form and $P(D)$ is the positive part of the divisorial Zariski decomposition of $D$. We systematically study these polygons and observe that they behave like the Newton-Okounkov bodies of big divisors on smooth complex projective surfaces, with respect to a general admissible flag.


title: Constraints on the accretion properties of quasi-periodic erupters from GRMHD simulations

abstract: Context: Some apparently quiescent supermassive black holes (BHs) at centers of galaxies show quasi-periodic eruptions (QPEs) in the X-ray band, the nature of which is still unknown. A possible origin for the eruptions is an accretion disk, however the properties of such disks are restricted by the timescales of reccurance and durations of the flares. Aims: In this work we test the possibility that the known QPEs can be explained by accretion from a compact accretion disk with an outer radius $r_{\rm out}\sim 10-40 r_{\rm g}$, focusing on a particular object GSN 069. Methods: We run several 3D GRMHD simulations with the {\tt HARMPI} code of thin and thick disks and study how the initial disk parameters such as thickness, magnetic field configuration, magnetization and Kerr parameter affect the observational properties of QPEs. Results: We show that accretion onto a slowly rotating BH through a small, thick accretion disk with an initially low plasma $\beta$ can explain the observed flare duration, the time between outbursts and the lack of evidence for a variable jet emission. In order to form such a disk the accreting matter should have a low net angular momentum. A potential source for such low angular momentum matter with a quasi periodic feeding mechanism might be a tight binary of wind launching stars.


title: Carbon monoxide and ionized carbon line emission global signals: foregrounds and targets for absolute microwave spectrometry

abstract: (abr.) We consider the potential of future microwave spectrometers akin to PIXIE in light of the sky-averaged global signal expected from the total intensity of extragalactic carbon monoxide (CO) and ionized carbon ([CII]) line emission. We start from models originally developed for forecasts of line-intensity mapping (LIM) observations targeting the same line emission at specific redshifts, extrapolating them across all of cosmic time. We then calculate Fisher forecasts for uncertainties on parameters describing relic spectral deviations, the CO/[CII] global signal, and a range of other Galactic and extragalactic foregrounds considered in previous work. We find that the measurement of the CO/[CII] global signal with a future CMB spectrometer presents an exciting opportunity to constrain the evolution of metallicity and molecular gas in galaxies across cosmic time. From PIXIE to its enhanced version, SuperPIXIE, microwave spectrometers would have the fundamental sensitivity to constrain the redshift evolution of average kinetic temperature and cosmic molecular gas density at a level of 10% to 1%, respectively. Taking a spectral distortion-centric perspective, when combined with other foregrounds, sky-averaged CO/[CII] emission can mimic $\mu$- and to a lesser extent $y$-type distortions. Under fiducial parameters, marginalising over the CO/[CII] model parameters increases the error on $\mu$ by $\simeq86$%, and the error on $y$ by $\simeq10$%. Incorporating information from planned CO LIM surveys can recover some of this loss in precision. Future work should deploy a more general treatment of the microwave sky to quantify in more detail the potential synergies between PIXIE-like and CO LIM experiments, which complement each other strongly in breadth versus depth, and ways to optimise both spectrometer and LIM surveys to improve foreground cleaning and maximise the science return for each.


title: Lojasiewicz inequalities in a certain class of smooth functions

abstract: Let $f$ be a germ of a smooth function at the orirgin in $\RR^n.$ We show that if $f$ is Kouchnirenko's nondegenerate and satisfies the so called Kamimoto--Nose condition then it admits the \L ojasiewicz inequalities. We compute the \L ojasiewicz exponents for some special cases. In particular, if $f$ is a germ of a smooth convex Kouchnirenko's nondegenerate function and satisfies the Kamimoto--Nose condition, then all its \L ojasiewicz exponents can be expressed very simply in terms of its Newton polyhedron.


title: Scalar field dark energy: Insights into cosmological evolution and black hole accretion

abstract: We propose a novel approach to parameterize the equation of state for Scalar Field Dark Energy (SFDE) and use it to derive analytical solutions for various cosmological parameters. Using statistical MCMC with Bayesian techniques, we obtain constraint values for the model parameters and analyze three observational datasets. We find a quintessence-like behavior for Dark Energy (DE) with positive values for both model parameters $\alpha$ and $\beta$. Our analysis of the $CC$+$BAO$+$SNe$ datasets reveals that the transition redshift and the current value of the deceleration parameter are $z_{tr}=0.73_{-0.01}^{+0.03}$ and $q_{0}=-0.44_{-0.02}^{+0.03}$, respectively. We also investigate the fluid flow of accretion SFDE around a Black Hole (BH) and analyze the nature of the BH's dynamical mass during accretion, taking into account Hawking radiation and BH evaporation. Our proposed model offers insight into the nature of DE in the Universe and the behavior of BHs during accretion.


title: Faster Run-to-Run Feedforward Control of Electromechanical Switching Devices: a Sensitivity-Based Approach

abstract: Electromechanical switching devices, such as solenoid valves, contactors, and relays, suffer from undesirable phenomena like clicking, mechanical wear, and contact bounce. Despite that, they are still widely used in industry due to their various economic and technical advantages. This has encouraged the development of controllers aimed at reducing the collisions that occur at the end of the switching operations. One of the most successful approaches has been the use of iterative techniques. However, these algorithms typically require a large number of operations to converge, which is definitely a clear drawback. This paper presents a strategy to improve the convergence rate of such controllers. Our proposal, which is based on the sensitivity of the control law with respect to the parameters, assumes that the performance of the system is more heavily affected by some parameters than others. Thus, by avoiding movements in the directions that have less impact, the search algorithm is expected to drive the system to near-optimal behaviors using fewer operations. Results obtained by simulation show significant improvement in the convergence rate of a state-of-the-art run-to-run feedforward controller, which demonstrates the high potential of the proposal.


title: Ziya2: Data-centric Learning is All LLMs Need

abstract: Various large language models (LLMs) have been proposed in recent years, including closed- and open-source ones, continually setting new records on multiple benchmarks. However, the development of LLMs still faces several issues, such as high cost of training models from scratch, and continual pre-training leading to catastrophic forgetting, etc. Although many such issues are addressed along the line of research on LLMs, an important yet practical limitation is that many studies overly pursue enlarging model sizes without comprehensively analyzing and optimizing the use of pre-training data in their learning process, as well as appropriate organization and leveraging of such data in training LLMs under cost-effective settings. In this work, we propose Ziya2, a model with 13 billion parameters adopting LLaMA2 as the foundation model, and further pre-trained on 700 billion tokens, where we focus on pre-training techniques and use data-centric optimization to enhance the learning process of Ziya2 on different stages. We define three data attributes and firstly establish data-centric scaling laws to illustrate how different data impacts LLMs. Experiments show that Ziya2 significantly outperforms other models in multiple benchmarks especially with promising results compared to representative open-source ones. Ziya2 (Base) is released at https://huggingface.co/IDEA-CCNL/Ziya2-13B-Base and https://modelscope.cn/models/Fengshenbang/Ziya2-13B-Base/summary.


title: Exposing nontrivial flat bands and superconducting pairing in infinite-layer nickelates

abstract: Flat bands coupled with magnetism and topological orders near or at the Fermi level are well known to drive exotic correlation physics and unconventional superconductivity. Here, based on first-principles modeling combined with an in-depth symmetry analysis, we reveal the presence of topological flat bands involving low-energy Ni-$3d_{z^2}$ states in the recently discovered superconductor LaNiO$_{2}$. Our analysis demonstrates that LaNiO$_2$ is an Axion insulator with $\mathbb{Z}_{4} = 2$ and that it supports topological crystalline insulating states protected by the glide mirror symmetries. The topological flat bands in LaNiO$_{2}$ are also shown to host odd-parity superconductivity. Our study indicates that the nickelates would provide an interesting materials platform for exploring the interplay of flat bands, topological states, and superconductivity.


title: TS-Diffusion: Generating Highly Complex Time Series with Diffusion Models

abstract: While current generative models have achieved promising performances in time-series synthesis, they either make strong assumptions on the data format (e.g., regularities) or rely on pre-processing approaches (e.g., interpolations) to simplify the raw data. In this work, we consider a class of time series with three common bad properties, including sampling irregularities, missingness, and large feature-temporal dimensions, and introduce a general model, TS-Diffusion, to process such complex time series. Our model consists of three parts under the framework of point process. The first part is an encoder of the neural ordinary differential equation (ODE) that converts time series into dense representations, with the jump technique to capture sampling irregularities and self-attention mechanism to handle missing values; The second component of TS-Diffusion is a diffusion model that learns from the representation of time series. These time-series representations can have a complex distribution because of their high dimensions; The third part is a decoder of another ODE that generates time series with irregularities and missing values given their representations. We have conducted extensive experiments on multiple time-series datasets, demonstrating that TS-Diffusion achieves excellent results on both conventional and complex time series and significantly outperforms previous baselines.


title: CO mapping of Cygnus-X -- volume density distribution

abstract: We present CO(2-1) and $^{13}$CO(2-1) maps of the Cygnus-X molecular cloud complex using the 10m Heinrich Hertz Submillimeter Telescope (SMT). The maps cover the southern portion of the complex which is strongly impacted by the feedback from the Cygnus OB2 association. Combining CO(1-0) and $^{13}$CO(1-0) maps from the Nobeyama 45m Cygnus-X CO Survey, we carry out a multi-transition molecular line analysis with RADEX and derive the volume density of velocity-coherent gas components. We select those components with a column density in the power-law tail part of the column density probability distribution function (N-PDF) and assemble their volume density into a volume density PDF ($\rho$-PDF). The $\rho$-PDF exhibits a power-law shape in the range of 10$^{4.5}$ cm$^{-3}$ $\lesssim n_{\rm H_2} \lesssim$ 10$^{5.5}$ cm$^{-3}$ with a fitted slope of $\alpha = -1.12 \pm 0.05$. The slope is shallower than what is predicted by simulations of rotationally supported structures or those undergoing gravitational collapse. Applying the same analysis to synthetic observations with feedback may help identify the cause of the shallow slope. The $\rho$-PDF provides another useful benchmark for testing models of molecular cloud formation and evolution.


title: Sonoluminescence: Photon production in time dependent analog system

abstract: Sonoluminescence is a well known laboratory phenomenon where an oscillating gas bubble in the appropriate environment periodically emits a flash of light in the visible frequency range. In this submission, we study the system in the framework of analog gravity. We model the oscillating bubble in terms of analog geometry and propose a non-minimal coupling prescription of the electromagnetic field with the geometry. The geometry behaves as an analogous oscillating time dependent background in which repeated flux of photons are produced in a wide frequency range through parametric resonance from quantum vacuum. Due to our numerical limitation, we could reach the frequency up to $\sim 10^5 ~\mbox{m}^{-1}$. However, we numerically fit the spectrum in a polynomial form including the observed frequency range around $\sim 10^7 ~\mbox{m}^{-1}$. Our current analysis seems to suggest that parametric resonance in analog background may play a fundamental role in explaining such phenomena in the quantum field theory framework.


title: Bayesian calibration of viscous anisotropic hydrodynamic (VAH) simulations of heavy-ion collisions

abstract: A Bayesian calibration, using experimental data from 2.76 $A$ TeV Pb-Pb collisions at the LHC, of a novel hybrid model is presented in which the usual pre-hydrodynamic and viscous relativistic fluid dynamic (vRFD) stages are replaced by a viscous anisotropic hydrodynamic (VAH) core that smoothly interpolates between the initial expansion-dominated, approximately boost-invariant longitudinally free-streaming and the subsequent collision-dominated (3+1)-dimensional standard vRFD stages. This model yields meaningful constraints for the temperature-dependent specific shear and bulk viscosities, $(\eta/s)(T)$ and $(\zeta/s)(T)$, for temperatures up to about $700$ MeV (i.e. over twice the range that could be explored with earlier models). With its best-fit model parameters the calibrated VAH model makes highly successful predictions for additional $p_T$-dependent observables for which high-quality experimental data are available that were not used for the model calibration.


title: Improved Noisy Syndrome Decoding of Quantum LDPC Codes with Sliding Window

abstract: Quantum error correction (QEC) with single-shot decoding enables reduction of errors after every single round of noisy stabilizer measurement, easing the time-overhead requirements for fault tolerance. Notably, several classes of quantum low-density-parity-check (qLDPC) codes are known which facilitate single-shot decoding, potentially giving them an additional overhead advantage. However, the perceived advantage of single-shot decoding is limited because it can significantly degrade the effective code distance. This degradation may be compensated for by using a much larger code size to achieve the desired target logical error rate, at the cost of increasing the amount of syndrome information to be processed, as well as, increasing complexity of logical operations. Alternatively, in this work we study sliding-window decoding, which corrects errors from previous syndrome measurement rounds while leaving the most recent errors for future correction. We observe that sliding-window decoding significantly improves the logical memory lifetime and hence the effective distance compared to single-shot decoding on hypergraph-product codes and lifted-product codes. Remarkably, we find that this improvement may not cost a larger decoding complexity. Thus, the sliding-window strategy can be more desirable for fast and accurate decoding for fault-tolerant quantum computing with qLDPC codes.


title: Revisiting $\alpha'$ corrections to heterotic two-charge black holes

abstract: We find solutions of the heterotic string effective action describing the first-order $\alpha'$ corrections to two-charge black holes at finite temperature. Making explicit use of these solutions, we compute the corrections to the thermodynamic quantities: temperature, chemical potentials, mass, charges and entropy. We check that the first law of black hole mechanics is satisfied and that the thermodynamics agrees with the one extracted from the Euclidean on-shell action. Finally, we show that our results are in agreement with the corrections for the thermodynamics recently predicted by Chen, Maldacena and Witten.


title: Neural Structure Learning with Stochastic Differential Equations

abstract: Discovering the underlying relationships among variables from temporal observations has been a longstanding challenge in numerous scientific disciplines, including biology, finance, and climate science. The dynamics of such systems are often best described using continuous-time stochastic processes. Unfortunately, most existing structure learning approaches assume that the underlying process evolves in discrete-time and/or observations occur at regular time intervals. These mismatched assumptions can often lead to incorrect learned structures and models. In this work, we introduce a novel structure learning method, SCOTCH, which combines neural stochastic differential equations (SDE) with variational inference to infer a posterior distribution over possible structures. This continuous-time approach can naturally handle both learning from and predicting observations at arbitrary time points. Theoretically, we establish sufficient conditions for an SDE and SCOTCH to be structurally identifiable, and prove its consistency under infinite data limits. Empirically, we demonstrate that our approach leads to improved structure learning performance on both synthetic and real-world datasets compared to relevant baselines under regular and irregular sampling intervals.


title: The Distance to the Stars

abstract: The vastness of a clear night sky evokes curiosity about the distance to the stars. There are two primary methods for estimating stellar distances, parallax and luminosity. In this study, we present a new analysis revealing a noteworthy discrepancy between these two methods. Due to the accuracy of GAIA, parallaxes can directly be converted into distances. In contrast, luminosity distances require, apart from the determination of the apparent and absolute brightness of a star, the reddening value that allows a correction for interstellar extinction. Using 47 stars with non-peculiar reddening curves from the high-quality sample we find here that the luminosity distance overestimates the parallactic distance for most (80 %) of these stars. This puzzling discrepancy can only be removed when incorporating a new population of large dust grains, so-called dark dust, with our model that respects contemporary constraints of the inter-stellar dust and is updated to scope for the first time with absolute reddening. The model provides a visual extinction which unifies the conflicting distances. Another far-reaching consequence of the flat absorption and scattering properties of dark dust is that it broadens the light curves of SN Ia, which serves as a measure of the quantity of dark energy.


title: Unraveling Downstream Gender Bias from Large Language Models: A Study on AI Educational Writing Assistance

abstract: Large Language Models (LLMs) are increasingly utilized in educational tasks such as providing writing suggestions to students. Despite their potential, LLMs are known to harbor inherent biases which may negatively impact learners. Previous studies have investigated bias in models and data representations separately, neglecting the potential impact of LLM bias on human writing. In this paper, we investigate how bias transfers through an AI writing support pipeline. We conduct a large-scale user study with 231 students writing business case peer reviews in German. Students are divided into five groups with different levels of writing support: one classroom group with feature-based suggestions and four groups recruited from Prolific -- a control group with no assistance, two groups with suggestions from fine-tuned GPT-2 and GPT-3 models, and one group with suggestions from pre-trained GPT-3.5. Using GenBit gender bias analysis, Word Embedding Association Tests (WEAT), and Sentence Embedding Association Test (SEAT) we evaluate the gender bias at various stages of the pipeline: in model embeddings, in suggestions generated by the models, and in reviews written by students. Our results demonstrate that there is no significant difference in gender bias between the resulting peer reviews of groups with and without LLM suggestions. Our research is therefore optimistic about the use of AI writing support in the classroom, showcasing a context where bias in LLMs does not transfer to students' responses.


title: A Single 2D Pose with Context is Worth Hundreds for 3D Human Pose Estimation

abstract: The dominant paradigm in 3D human pose estimation that lifts a 2D pose sequence to 3D heavily relies on long-term temporal clues (i.e., using a daunting number of video frames) for improved accuracy, which incurs performance saturation, intractable computation and the non-causal problem. This can be attributed to their inherent inability to perceive spatial context as plain 2D joint coordinates carry no visual cues. To address this issue, we propose a straightforward yet powerful solution: leveraging the readily available intermediate visual representations produced by off-the-shelf (pre-trained) 2D pose detectors -- no finetuning on the 3D task is even needed. The key observation is that, while the pose detector learns to localize 2D joints, such representations (e.g., feature maps) implicitly encode the joint-centric spatial context thanks to the regional operations in backbone networks. We design a simple baseline named Context-Aware PoseFormer to showcase its effectiveness. Without access to any temporal information, the proposed method significantly outperforms its context-agnostic counterpart, PoseFormer, and other state-of-the-art methods using up to hundreds of video frames regarding both speed and precision. Project page: https://qitaozhao.github.io/ContextAware-PoseFormer


title: Practical considerations for variable screening in the Super Learner

abstract: Estimating a prediction function is a fundamental component of many data analyses. The Super Learner ensemble, a particular implementation of stacking, has desirable theoretical properties and has been used successfully in many applications. Dimension reduction can be accomplished by using variable screening algorithms, including the lasso, within the ensemble prior to fitting other prediction algorithms. However, the performance of a Super Learner using the lasso for dimension reduction has not been fully explored in cases where the lasso is known to perform poorly. We provide empirical results that suggest that a diverse set of candidate screening algorithms should be used to protect against poor performance of any one screen, similar to the guidance for choosing a library of prediction algorithms for the Super Learner.


title: FATE: Feature-Agnostic Transformer-based Encoder for learning generalized embedding spaces in flow cytometry data

abstract: While model architectures and training strategies have become more generic and flexible with respect to different data modalities over the past years, a persistent limitation lies in the assumption of fixed quantities and arrangements of input features. This limitation becomes particularly relevant in scenarios where the attributes captured during data acquisition vary across different samples. In this work, we aim at effectively leveraging data with varying features, without the need to constrain the input space to the intersection of potential feature sets or to expand it to their union. We propose a novel architecture that can directly process data without the necessity of aligned feature modalities by learning a general embedding space that captures the relationship between features across data samples with varying sets of features. This is achieved via a set-transformer architecture augmented by feature-encoder layers, thereby enabling the learning of a shared latent feature space from data originating from heterogeneous feature spaces. The advantages of the model are demonstrated for automatic cancer cell detection in acute myeloid leukemia in flow cytometry data, where the features measured during acquisition often vary between samples. Our proposed architecture's capacity to operate seamlessly across incongruent feature spaces is particularly relevant in this context, where data scarcity arises from the low prevalence of the disease. The code is available for research purposes at https://github.com/lisaweijler/FATE.


title: Gravitational memory signal from neutrino self-interactions in supernova

abstract: Neutrinos with large self-interactions, arising from exchange of light scalars or vectors with mass $M_\phi\simeq 10{\rm MeV}$, can play a useful role in cosmology for structure formation and solving the Hubble tension. It has been proposed that large self-interactions of neutrinos may change the observed properties of supernova like the neutrino luminosity or the duration of the neutrino burst. In this paper, we study the gravitational wave memory signal arising from supernova neutrinos. Our results reveal that memory signal for self-interacting neutrinos are weaker than free-streaming neutrinos in the high frequency range. Implications for detecting and differentiating between such signals for planned space-borne detectors, DECIGO and BBO, are also discussed.


title: Improving Collaborative Filtering Recommendation via Graph Learning

abstract: Recommendation systems are designed to provide personalized predictions for items that are most appealing to individual customers. Among various types of recommendation algorithms, k-nearest neighbor based collaborative filtering algorithm attracts tremendous attention and are widely used in practice. However, the k-nearest neighbor scheme can only capture the local relationship among users and the uniform neighborhood size is also not suitable to represent the underlying data structure. In this paper, we leverage emerging graph signal processing (GSP) theory to construct sparse yet high quality graph to enhance the solution quality and efficiency of collaborative filtering algorithm. Experimental results show that our method outperforms k-NN based collaborative filtering algorithm by a large margin on the benchmark data set.


title: ANNaMo: Coarse-grained modelling for folding and assembly of RNA and DNA systems

abstract: The folding of RNA and DNA strands plays crucial roles in biological systems and bionanotechnology. However, studying these processes with high-resolution numerical models is beyond current computational capabilities due to the timescales and system sizes involved. In this article, we present a new coarse-grained model for investigating the folding dynamics of nucleic acids. Our model represents 3 nucleotides with a patchy particle and is parametrized using well-established nearest-neighbor models. Thanks to the reduction of degrees of freedom and to a bond-swapping mechanism, our model allows for simulations at timescales and length scales that are currently inaccessible to more detailed models. To validate the performance of our model, we conducted extensive simulations of various systems: We examined the thermodynamics of DNA hairpins, capturing their stability and structural transitions, the folding of an MMTV pseudoknot, a complex RNA structure involved in viral replication, and also explored the folding of an RNA tile containing a k-type pseudoknot. Finally, we evaluated the performance of the new model in reproducing the melting temperatures of oligomers and the dependence on the toehold length of the displacement rate in toehold-mediated displacement processes, a key reaction used in molecular computing. All in all, the successful reproduction of experimental data and favorable comparisons with existing coarse-grained models validate the effectiveness of the new model.


title: A Foundation Model for Music Informatics

abstract: This paper investigates foundation models tailored for music informatics, a domain currently challenged by the scarcity of labeled data and generalization issues. To this end, we conduct an in-depth comparative study among various foundation model variants, examining key determinants such as model architectures, tokenization methods, temporal resolution, data, and model scalability. This research aims to bridge the existing knowledge gap by elucidating how these individual factors contribute to the success of foundation models in music informatics. Employing a careful evaluation framework, we assess the performance of these models across diverse downstream tasks in music information retrieval, with a particular focus on token-level and sequence-level classification. Our results reveal that our model demonstrates robust performance, surpassing existing models in specific key metrics. These findings contribute to the understanding of self-supervised learning in music informatics and pave the way for developing more effective and versatile foundation models in the field. A pretrained version of our model is publicly available to foster reproducibility and future research.


title: DAIL: Data Augmentation for In-Context Learning via Self-Paraphrase

abstract: In-Context Learning (ICL) combined with pre-trained large language models has achieved promising results on various NLP tasks. However, ICL requires high-quality annotated demonstrations which might not be available in real-world scenarios. To overcome this limitation, we propose \textbf{D}ata \textbf{A}ugmentation for \textbf{I}n-Context \textbf{L}earning (\textbf{DAIL}). DAIL leverages the intuition that large language models are more familiar with the content generated by themselves. It first utilizes the language model to generate paraphrases of the test sample and employs majority voting to determine the final result based on individual predictions. Our extensive empirical evaluation shows that DAIL outperforms the standard ICL method and other ensemble-based methods in the low-resource scenario. Additionally, we explore the use of voting consistency as a confidence score of the model when the logits of predictions are inaccessible. We believe our work will stimulate further research on ICL in low-resource settings.


title: Tackling Concept Shift in Text Classification using Entailment-style Modeling

abstract: Pre-trained language models (PLMs) have seen tremendous success in text classification (TC) problems in the context of Natural Language Processing (NLP). In many real-world text classification tasks, the class definitions being learned do not remain constant but rather change with time - this is known as Concept Shift. Most techniques for handling concept shift rely on retraining the old classifiers with the newly labelled data. However, given the amount of training data required to fine-tune large DL models for the new concepts, the associated labelling costs can be prohibitively expensive and time consuming. In this work, we propose a reformulation, converting vanilla classification into an entailment-style problem that requires significantly less data to re-train the text classifier to adapt to new concepts. We demonstrate the effectiveness of our proposed method on both real world & synthetic datasets achieving absolute F1 gains upto 7% and 40% respectively in few-shot settings. Further, upon deployment, our solution also helped save 75% of labeling costs overall.


title: Exact Shortest Paths with Rational Weights on the Word RAM

abstract: Exact computation of shortest paths in weighted graphs has been traditionally studied in one of two settings. First, one can assume that the edge weights are real numbers and all the performed operations on reals (typically comparisons and additions) take constant time. Classical Dijkstra's and Bellman-Ford algorithms have been described in this setting. More efficient exact shortest paths algorithms have been obtained for integer-weighted graphs. Integrality assumption not only enables faster algorithms but also allows implementing the aforementioned algorithms in a much more realistic word RAM model where only arithmetic operations on $O(\log{n})$-bit integers are performed in constant time. On the word RAM one can as efficiently exactly encode even \emph{rational-weighted} instances with $O(\log{n})$-bit numerators and denominators. However, the known exact real-weighted shortest paths algorithms, run on such a rational input, can easily encounter intermediate values of $\Theta(n)$ bits if represented exactly. This leads to a factor-$\Omega(n)$ slowdown on the word RAM. At the same time, the scaling algorithms suited for integer weights do not produce exact solutions for rational inputs without dramatically increasing their accuracy. In this paper, we design randomized exact single-source shortest paths algorithms for rational-weighted graphs on the word RAM. Most importantly, in the non-negative case, we obtain a near-linear time algorithm matching Dijkstra's algorithm running time up to polylogarithmic factors. In presence of negative weights, we give an $\tilde{O}(n^{2.5})$-time algorithm breaking through the best known strongly polynomial bound attained by Bellman-Ford for sufficiently dense graphs.