title: inlamemi: An R package for missing data imputation and measurement error modelling using INLA

abstract: Measurement error and missing data in variables used in statistical models are common, and can at worst lead to serious biases in analyses if they are ignored. Yet, these problems are often not dealt with adequately, presumably in part because analysts lack simple enough tools to account for error and missingness. In this R package, we provide functions to aid fitting hierarchical Bayesian models that account for cases where either measurement error (classical or Berkson), missing data, or both are present in continuous covariates. Model fitting is done in a Bayesian framework using integrated nested Laplace approximations (INLA), an approach that is growing in popularity due to its combination of computational speed and accuracy. The {inlamemi} R package is suitable for data analysts who have little prior experience using the R package {R-INLA}, and aids in formulating suitable hierarchical models for a variety of scenarios in order to appropriately capture the processes that generate the measurement error and/or missingness. Numerous examples are given to help analysts identify scenarios similar to their own, and make the process of specifying a suitable model easier.


title: Semi-Supervised Spoken Language Glossification

abstract: Spoken language glossification (SLG) aims to translate the spoken language text into the sign language gloss, i.e., a written record of sign language. In this work, we present a framework named $S$emi-$S$upervised $S$poken $L$anguage $G$lossification ($S^3$LG) for SLG. To tackle the bottleneck of limited parallel data in SLG, our $S^3$LG incorporates large-scale monolingual spoken language text into SLG training. The proposed framework follows the self-training structure that iteratively annotates and learns from pseudo labels. Considering the lexical similarity and syntactic difference between sign language and spoken language, our $S^3$LG adopts both the rule-based heuristic and model-based approach for auto-annotation. During training, we randomly mix these complementary synthetic datasets and mark their differences with a special token. As the synthetic data may be less quality, the $S^3$LG further leverages consistency regularization to reduce the negative impact of noise in the synthetic data. Extensive experiments are conducted on public benchmarks to demonstrate the effectiveness of the $S^3$LG. Our code is available at \url{https://github.com/yaohj11/S3LG}.


title: A computationally efficient procedure for combining ecological datasets by means of sequential consensus inference

abstract: Combining data has become an indispensable tool for managing the current diversity and abundance of data. But, as data complexity and data volume swell, the computational demands of previously proposed models for combining data escalate proportionally, posing a significant challenge to practical implementation. This study presents a sequential consensus Bayesian inference procedure that allows for a flexible definition of models, aiming to emulate the versatility of integrated models while significantly reducing their computational cost. The method is based on updating the distribution of the fixed effects and hyperparameters from their marginal posterior distribution throughout a sequential inference procedure, and performing a consensus on the random effects after the sequential inference is completed. The applicability, together with its strengths and limitations, is outlined in the methodological description of the procedure. The sequential consensus method is presented in two distinct algorithms. The first algorithm performs a sequential updating and consensus from the stored values of the marginal or joint posterior distribution of the random effects. The second algorithm performs an extra step, addressing the deficiencies that may arise when the model partition does not share the whole latent field. The performance of the procedure is shown by three different examples -- one simulated and two with real data -- intending to expose its strengths and limitations.


title: Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes

abstract: Certifying verification algorithms not only return whether a given property holds or not, but also provide an accompanying independently checkable certificate and a corresponding witness. The certificate can be used to easily validate the correctness of the result and the witness provides useful diagnostic information, e.g. for debugging purposes. Thus, certificates and witnesses substantially increase the trustworthiness and understandability of the verification process. In this work, we consider certificates and witnesses for multi-objective reachability-invariant and mean-payoff queries in Markov decision processes, that is conjunctions or disjunctions either of reachability and invariant or mean-payoff predicates, both universally and existentially quantified. Thereby, we generalize previous works on certificates and witnesses for single reachability and invariant constraints. To this end, we turn known linear programming techniques into certifying algorithms and show that witnesses in the form of schedulers and subsystems can be obtained. As a proof-of-concept, we report on implementations of certifying verification algorithms and experimental results.


title: Category-level Neural Field for Reconstruction of Partially Observed Objects in Indoor Environment

abstract: Neural implicit representation has attracted attention in 3D reconstruction through various success cases. For further applications such as scene understanding or editing, several works have shown progress towards object compositional reconstruction. Despite their superior performance in observed regions, their performance is still limited in reconstructing objects that are partially observed. To better treat this problem, we introduce category-level neural fields that learn meaningful common 3D information among objects belonging to the same category present in the scene. Our key idea is to subcategorize objects based on their observed shape for better training of the category-level model. Then we take advantage of the neural field to conduct the challenging task of registering partially observed objects by selecting and aligning against representative objects selected by ray-based uncertainty. Experiments on both simulation and real-world datasets demonstrate that our method improves the reconstruction of unobserved parts for several categories.


title: One-Step Effective Diffusion Network for Real-World Image Super-Resolution

abstract: The pre-trained text-to-image diffusion models have been increasingly employed to tackle the real-world image super-resolution (Real-ISR) problem due to their powerful generative image priors. Most of the existing methods start from random noise to reconstruct the high-quality (HQ) image under the guidance of the given low-quality (LQ) image. While promising results have been achieved, such Real- ISR methods require multiple diffusion steps to reproduce the HQ image, increasing the computational cost. Meanwhile, the random noise introduces uncertainty in the output, which is unfriendly to image restoration tasks. To address these issues, we propose a one-step effective diffusion network, namely OSEDiff, for the Real- ISR problem. We argue that the LQ image contains rich information to restore its HQ counterpart, and hence the given LQ image can be directly taken as the starting point for diffusion, eliminating the uncertainty introduced by random noise sampling. We finetune the pre-trained diffusion network with trainable layers to adapt it to complex image degradations. To ensure that the one-step diffusion model could yield HQ Real-ISR output, we apply variational score distillation in the latent space to conduct KL-divergence regularization. As a result, our OSEDiff model can efficiently and effectively generate HQ images in just one diffusion step. Our experiments demonstrate that OSEDiff achieves comparable or even better Real-ISR results, in terms of both objective metrics and subjective evaluations, than previous diffusion model based Real-ISR methods that require dozens or hundreds of steps. The source codes will be released at https://github.com/cswry/OSEDiff.


title: Shape differentiation for Poincar\'e maps of harmonic fields in toroidal domains

abstract: In this article, we study Poincar\'e maps of harmonic fields in toroidal domains using a shape variational approach. Given a bounded domain of $\mathbb{R}^3$, we define its harmonic fields as the set of magnetic fields which are curl free and tangent to the boundary. For toroidal domains, this space is one dimensional, and one may thus single out a harmonic field by specifying a degree of freedom, such as the circulation along a toroidal loop. We are then interested in the Poincar\'e maps of such fields restricted to the boundary, which produce diffeomorphisms of the circle. We begin by proving a general shape differentiability result of such Poincar\'e maps in the smooth category, and obtain a general formula for the shape derivative. We then investigate two specific examples of interest; axisymmetric domains, and domains for which the harmonic field has a diophantine rotation number on the boundary. We prove that, in the first case, the shape derivative of the Poincar\'e map is always identically zero, whereas in the second case, assuming an additional condition on the geometry of the domain, the shape derivative of the Poincar\'e map may be any smooth function of the circle by choosing an appropriate perturbation of the domain.


title: Linear stability theory and molecular simulations of nanofilm dewetting with disjoining pressure, strong liquid-solid slip, and thermal fluctuations

abstract: The dewetting of thin nanofilms is significantly impacted by thermal fluctuations, liquid-solid slip, and disjoining pressure, which can be described by lubrication equations augmented by appropriately scaled noise terms, known as stochastic lubrication equations. Here molecular dynamics simulations along with a newly proposed slip-generating method are adopted to study the instability of nanofilms with arbitrary slip. These simulations show that strong-slip dewetting is distinct from weak-slip dewetting by faster growth of perturbations and fewer droplets after dewetting, which can not be predicted by the existing stochastic lubrication equation. A new stochastic lubrication equation considering the strong slip boundary condition is thus derived using a long-wave approximation to the equations of fluctuating hydrodynamics. The linear stability analysis of this equation, i.e., surface spectrum, agrees well with molecular simulations. Interestingly, strong slip can break down the usual Stokes limits adopted in weak-slip dewetting and bring the inertia into effect. The evolution of the standard deviation of the film height $W^2(t)={\overline{h^2}-{\overline{h}}^2}$ at the initial stage of the strong-slip dewetting is found to be $W\sim t^{1/4}$ in contrast to $W\sim t^{1/8}$ for the weak-slip dewetting.


title: Stochastic Process-based Method for Degree-Degree Correlation of Evolving Networks

abstract: Existing studies on the degree correlation of evolving networks typically rely on differential equations and statistical analysis, resulting in only approximate solutions due to inherent randomness. To address this limitation, we propose an improved Markov chain method for modeling degree correlation in evolving networks. By redesigning the network evolution rules to reflect actual network dynamics more accurately, we achieve a topological structure that closely matches real-world network evolution. Our method models the degree correlation evolution process for both directed and undirected networks and provides theoretical results that are verified through simulations. This work offers the first theoretical solution for the steady-state degree correlation in evolving network models and is applicable to more complex evolution mechanisms and networks with directional attributes. Additionally, it supports the study of dynamic characteristic control based on network structure at any given time, offering a new tool for researchers in the field.


title: Systematic analysis of the form factors of $B_c\rightarrow\eta_c$, $J/\psi$ and corresponding weak decays

abstract: The form factors of $B_c\rightarrow\eta_c$ and $B_c\rightarrow J/\psi$ are analyzed in the framework of three-point QCD sum rules. In these analyses, the contributions of the vacuum condensate terms $\langle g_{s}^{2}GG\rangle$ and $\langle g_{s}^{3}GGGf\rangle$ are considered. In addition, the decay widths and branching ratios of several decay channels are obtained by using the calculated form factors. These decay processes include the nonleptonic decays of $B_c^- \to \eta_c \pi^-$, $\eta_c K^-$, $\eta_c \rho^-$, $\eta_c K^{*-}$, $B_c^- \to J/\psi \pi^-$, $J/\psi K^-$, $J/\psi \rho^-$, $J/\psi K^{*-}$, and the semileptonic decays of $B_c^- \to \eta_c \mathcal{l} \bar{\nu}$, $B_c^- \to J/\psi \mathcal{l} \bar{\nu}$. These results about the form factors and decay properties of $B_c$ meson provide useful information for us to study the heavy-quark dynamics and find new physics(NP) beyond Standard Model(SM).


title: Heavy-to-light form factors to three loops

abstract: We compute three-loop corrections of $\mathcal{O}(\alpha_{s}^3)$ to form factors with one massive and one massless quark coupling to an external vector, axialvector, scalar, pseudoscalar, or tensor current. We obtain analytic results for the color-planar contributions, for the contributions of light-quark loops, and the contributions with two heavy-quark loops. For the computation of the remaining master integrals we use the "expand and match" approach which leads to semi-analytic results for the form factors. We implement our results in a {\tt Mathematica} and a {\tt Fortran} code which allows for fast and precise numerical evaluations in the physically relevant phase space. The form factors are used to compute the hard matching coefficients in Soft-Collinear Effective Theory for all currents. The tensor coefficients at light-like momentum transfer are used to extract the hard function in $\bar B \to X_s \gamma$ to three loops.


title: Underneath the Numbers: Quantitative and Qualitative Gender Fairness in LLMs for Depression Prediction

abstract: Recent studies show bias in many machine learning models for depression detection, but bias in LLMs for this task remains unexplored. This work presents the first attempt to investigate the degree of gender bias present in existing LLMs (ChatGPT, LLaMA 2, and Bard) using both quantitative and qualitative approaches. From our quantitative evaluation, we found that ChatGPT performs the best across various performance metrics and LLaMA 2 outperforms other LLMs in terms of group fairness metrics. As qualitative fairness evaluation remains an open research question we propose several strategies (e.g., word count, thematic analysis) to investigate whether and how a qualitative evaluation can provide valuable insights for bias analysis beyond what is possible with quantitative evaluation. We found that ChatGPT consistently provides a more comprehensive, well-reasoned explanation for its prediction compared to LLaMA 2. We have also identified several themes adopted by LLMs to qualitatively evaluate gender fairness. We hope our results can be used as a stepping stone towards future attempts at improving qualitative evaluation of fairness for LLMs especially for high-stakes tasks such as depression detection.


title: MobileAgentBench: An Efficient and User-Friendly Benchmark for Mobile LLM Agents

abstract: Large language model (LLM)-based mobile agents are increasingly popular due to their capability to interact directly with mobile phone Graphic User Interfaces (GUIs) and their potential to autonomously manage daily tasks. Despite their promising prospects in both academic and industrial sectors, little research has focused on benchmarking the performance of existing mobile agents, due to the inexhaustible states of apps and the vague definition of feasible action sequences. To address this challenge, we propose an efficient and user-friendly benchmark, MobileAgentBench, designed to alleviate the burden of extensive manual testing. We initially define 100 tasks across 10 open-source apps, categorized by multiple levels of difficulty. Subsequently, we evaluate several existing mobile agents, including AppAgent and MobileAgent, to thoroughly and systematically compare their performance. All materials are accessible on our project webpage: https://MobileAgentBench.github.io, contributing to the advancement of both academic and industrial fields.


title: Non-stationary Gaussian random fields on hypersurfaces: Sampling and strong error analysis

abstract: A flexible model for non-stationary Gaussian random fields on hypersurfaces is introduced. The class of random fields on curves and surfaces is characterized by a power spectral density of a second order elliptic differential operator. Sampling is done by a Galerkin--Chebyshev approximation based on the surface finite element method and Chebyshev polynomials. Strong error bounds are shown with convergence rates depending on the smoothness of the approximated random field.


title: Hiperwalk: Simulation of Quantum Walks with Heterogeneous High-Performance Computing

abstract: The Hiperwalk package is designed to facilitate the simulation of quantum walks using heterogeneous high-performance computing, taking advantage of the parallel processing power of diverse processors such as CPUs, GPUs, and acceleration cards. This package enables the simulation of both the continuous-time and discrete-time quantum walk models, effectively modeling the behavior of quantum systems on large graphs. Hiperwalk features a user-friendly Python package frontend with comprehensive documentation, as well as a high-performance C-based inner core that leverages parallel computing for efficient linear algebra calculations. This versatile tool empowers researchers to better understand quantum walk behavior, optimize implementation, and explore a wide range of potential applications, including spatial search algorithms.


title: Learning-based Traversability Costmap for Autonomous Off-road Navigation

abstract: Traversability estimation in off-road terrains is an essential procedure for autonomous navigation. However, creating reliable labels for complex interactions between the robot and the surface is still a challenging problem in learning-based costmap generation. To address this, we propose a method that predicts traversability costmaps by leveraging both visual and geometric information of the environment. To quantify the surface properties like roughness and bumpiness, we introduce a novel way of risk-aware labelling with proprioceptive information for network training. We validate our method in costmap prediction and navigation tasks for complex off-road scenarios. Our results demonstrate that our costmap prediction method excels in terms of average accuracy and MSE. The navigation results indicate that using our learned costmaps leads to safer and smoother driving, outperforming previous methods in terms of the highest success rate, lowest normalized trajectory length, lowest time cost, and highest mean stability across two scenarios.


title: Attention-Based Learning for Fluid State Interpolation and Editing in a Time-Continuous Framework

abstract: In this work, we introduce FluidsFormer: a transformer-based approach for fluid interpolation within a continuous-time framework. By combining the capabilities of PITT and a residual neural network (RNN), we analytically predict the physical properties of the fluid state. This enables us to interpolate substep frames between simulated keyframes, enhancing the temporal smoothness and sharpness of animations. We demonstrate promising results for smoke interpolation and conduct initial experiments on liquids.


title: Inverse scattering transform for the defocusing-defocusing coupled Hirota equations with non-zero boundary conditions: double-pole solutions

abstract: The inverse scattering transform for the defocusing-defocusing coupled Hirota equations with non-zero boundary conditions at infinity is thoroughly discussed. We delve into the analytical properties of the Jost eigenfunctions and scrutinize the characteristics of the scattering coefficients. To enhance our investigation of the fundamental eigenfunctions, we have derived additional auxiliary eigenfunctions with the help of the adjoint problem. Two symmetry conditions are studied to constrain the behavior of the eigenfunctions and scattering coefficients. Utilizing these symmetries, we precisely delineate the discrete spectrum and establish the associated symmetries of the scattering data. By framing the inverse problem within the context of the Riemann-Hilbert problem, we develop suitable jump conditions to express the eigenfunctions. Consequently, we deduce the pure soliton solutions from the defocusing-defocusing coupled Hirota equations, and the double-poles solutions are provided explicitly for the first time in this work.


title: CrowdEgress: A Multi-Agent Simulation Platform for Pedestrian Crowd

abstract: This article introduces a simulation platform to study complex crowd behavior in social context. The agent-based model is extended based on the well-known social force model, and it mainly describes how agents interact with each other, and also with surrounding facilities such as walls, doors and exits. The simulation platform is compatible to FDS+Evac, and the input data in FDS+Evac could be imported into our simulation platform to create single-floor compartment geometry, and a flow solver is used to generate the roadmap towards exits. Most importantly, we plan to integrate advanced social and psychological theory into our simulation platform, especially investigating human behavior in emergency evacuation,such as pre-evacuation behavior, exit-selection activities, social group and herding effect and so forth.


title: Deep learning of optical spectra of semiconductors and insulators

abstract: Despite its potential, optical spectrum prediction for crystalline materials has been largely overlooked in machine learning for materials science. Here we present a proof of concept by creating a ab initio database of 9,915 dielectric tensors of semiconductors and insulators calculated in the independent particle approximation, and subsequently training graph attention neural networks to predict the dielectric function and refractive index. Our study shows that accurate prediction of optical spectra is possible using only the crystal structure and a database of about 10^4 materials.


title: 2nd Place Solution for MOSE Track in CVPR 2024 PVUW workshop: Complex Video Object Segmentation

abstract: Complex video object segmentation serves as a fundamental task for a wide range of downstream applications such as video editing and automatic data annotation. Here we present the 2nd place solution in the MOSE track of PVUW 2024. To mitigate problems caused by tiny objects, similar objects and fast movements in MOSE. We use instance segmentation to generate extra pretraining data from the valid and test set of MOSE. The segmented instances are combined with objects extracted from COCO to augment the training data and enhance semantic representation of the baseline model. Besides, motion blur is added during training to increase robustness against image blur induced by motion. Finally, we apply test time augmentation (TTA) and memory strategy to the inference stage. Our method ranked 2nd in the MOSE track of PVUW 2024, with a $\mathcal{J}$ of 0.8007, a $\mathcal{F}$ of 0.8683 and a $\mathcal{J}$\&$\mathcal{F}$ of 0.8345.


title: Minimal Communication-Cost Statistical Learning

abstract: A client device which has access to $n$ training data samples needs to obtain a statistical hypothesis or model $W$ and then to send it to a remote server. The client and the server devices share some common randomness sequence as well as a prior on the hypothesis space. In this problem a suitable hypothesis or model $W$ should meet two distinct design criteria simultaneously: (i) small (population) risk during the inference phase and (ii) small 'complexity' for it to be conveyed to the server with minimum communication cost. In this paper, we propose a joint training and source coding scheme with provable in-expectation guarantees, where the expectation is over the encoder's output message. Specifically, we show that by imposing a constraint on a suitable Kullback-Leibler divergence between the conditional distribution induced by a compressed learning model $\widehat{W}$ given $W$ and the prior, one guarantees simultaneously small average empirical risk (aka training loss), small average generalization error and small average communication cost. We also consider a one-shot scenario in which the guarantees on the empirical risk and generalization error are obtained for every encoder's output message.


title: Simulated Coronal Mass Ejections on a young Solar-Type Star and the Associated Instantaneous Angular Momentum Loss

abstract: Coronal mass ejections (CMEs) on stars can change the stars' magnetic field configurations and mass loss rates during the eruption and propagation and therefore, may affect the stars' rotation properties on long time-scales. The dynamics of stellar CMEs and their influence on the stellar angular momentum loss rate are not yet well understood. In order to start investigating these CME-related aspects on other stars, we conducted a series of magnetohydrodynamic simulations of CMEs on a solar-type star of moderate activity levels. The propagation and evolution of the CMEs were traced in the three-dimensional outputs and the temporal evolution of their dynamic properties (such as masses, velocities, and kinetic energies) were determined. The simulated stellar CMEs are more massive and energetic than their solar analog, which is a result of the stronger magnetic field on the surface of the simulated star than that of the Sun. The simulated CMEs display masses ranging from ~10^16 g to ~10^18 g and kinetic energies from ~10^31 erg to ~10^33 erg. We also investigated the instantaneous influence of the CMEs to the star's angular momentum loss rate. Our results suggest that angular momentum can either be added to or be removed from the star during the evolution of CME events. We found a positive correlation between the amplitude of the angular momentum loss rate variation and the CME's kinetic energy as well as mass, suggesting that more energetic/massive CMEs have higher possibility to add angular momentum to the star.


title: On the equivalence of quasirandomness and exchangeable representations independent from lower-order variables

abstract: It is often convenient to represent a process for randomly generating a graph as a graphon. (More precisely, these give \emph{vertex exchangeable} processes -- those processes in which each vertex is treated the same way.) Other structures can be treated by generalizations like hypergraphons, permutatons, and, for a very general class, theons. These representations are not unique: different representations can lead to the same probability distribution on graphs. This naturally leads to questions (going back at least to Hoover's proof of the Aldous--Hoover Theorem on the existence of such representations) that ask when quasirandomness properties on the distribution guarantee the existence of particularly simple representations. We extend the usual theon representation by adding an additional datum of a random permutation to each tuple, which we call a $\ast$-representation. We show that if a process satisfies the \emph{unique coupling} property UCouple[$\ell$], which says roughly that all $\ell$-tuples of vertices ``look the same'', then the process is $\ast$-$\ell$-independent: there is a $\ast$-representation that does not make use of any random information about $\ell$-tuples (including tuples of length $<\ell$). Simple examples show that the use of $\ast$-representations is necessary. This resolves a question of Coregliano and Razborov, since it easily follows that UCouple[l] implies Independence[\ell'] (the existence of an $\ell'$-independent ordinary representation) for $\ell'<\ell$.


title: FreeV: Free Lunch For Vocoders Through Pseudo Inversed Mel Filter

abstract: Vocoders reconstruct speech waveforms from acoustic features and play a pivotal role in modern TTS systems. Frequent-domain GAN vocoders like Vocos and APNet2 have recently seen rapid advancements, outperforming time-domain models in inference speed while achieving comparable audio quality. However, these frequency-domain vocoders suffer from large parameter sizes, thus introducing extra memory burden. Inspired by PriorGrad and SpecGrad, we employ pseudo-inverse to estimate the amplitude spectrum as the initialization roughly. This simple initialization significantly mitigates the parameter demand for vocoder. Based on APNet2 and our streamlined Amplitude prediction branch, we propose our FreeV, compared with its counterpart APNet2, our FreeV achieves 1.8 times inference speed improvement with nearly half parameters. Meanwhile, our FreeV outperforms APNet2 in resynthesis quality, marking a step forward in pursuing real-time, high-fidelity speech synthesis. Code and checkpoints is available at: https://github.com/BakerBunker/FreeV


title: Simultaneous visibility in the integer lattice

abstract: Two lattice points are visible from one another if there is no lattice point on the open line segment joining them. Let $S$ be a finite subset of $\mathbb{Z}^k$. The asymptotic density of the set of lattice points, visible from all points of $S$, was studied by several authors. Our main result is an improved upper bound on the error term. We also find the Schnirelmann density of the set of visible points from some sets S. Finally, we discuss these questions from the point of view of ergodic theory.


title: An Industry Interview Study of Software Signing for Supply Chain Security

abstract: Many software products are composed by the recursive integration of components from other teams or external parties. Each additional link in a software product's supply chain increases the risk of the injection of malicious behavior. To improve supply chain provenance, many cybersecurity frameworks, standards, and regulations recommend the use of software signing. However, recent surveys and measurement studies have found that the adoption rate and quality of software signatures are low. These findings raise questions about the practical application of software signing, the human factors influencing its adoption, and the challenges faced during its implementation. We lack in-depth industry perspectives on the challenges and practices of software signing. To understand software signing in practice, we interviewed 18 high-ranking industry practitioners across 13 organizations. We provide possible impacts of experienced software supply chain failures, security standards, and regulations on software signing adoption. We also study the challenges that affect an effective software signing implementation. To summarize our findings: (1) We present a refined model of the software supply chain factory model highlighting practitioner's signing practices; (2) We highlight the different challenges -- Technical, Organizational, and Human -- that hamper software signing implementation; (3) We report that expert subjects disagree on the importance of signing; (4) We describe how failure incidents and industry standards affect the adoption of software signing and other security techniques. Our findings contribute to the understanding of software supply chain security by highlighting the impact of human and organizational factors on Software Supply Chain risks and providing nuanced insights for effectively implementing Software Supply Chain security controls -- towards Software signing in practice.


title: Why does the Milky Way have a metallicity floor?

abstract: The prevalence of light element enhancement in the most metal-poor stars is potentially an indication that the Milky Way has a metallicity floor for star formation around $\sim$10$^{-3.5}$ Z$_{\odot}$. We propose that this metallicity floor has its origins in metal-enriched star formation in the minihalos present during the Galaxy's initial formation. To arrive at this conclusion, we analyze a cosmological radiation hydrodynamics simulation that follows the concurrent evolution of multiple Population III star-forming minihalos. The main driver for the central gas within minihalos is the steady increase in hydrostatic pressure as the halos grow. We incorporate this insight into a hybrid one-zone model that switches between pressure-confined and modified free-fall modes to evolve the gas density with time according to the ratio of the free-fall and sound-crossing timescales. This model is able to accurately reproduce the density and chemo-thermal evolution of the gas in each of the simulated minihalos up to the point of runaway collapse. We then use this model to investigate how the gas responds to the absence of H$_{2}$. Without metals, the central gas becomes increasingly stable against collapse as it grows to the atomic cooling limit. When metals are present in the halo at a level of $\sim$10$^{-3.7}$ Z$_{\odot}$, however, the gas is able to achieve gravitational instability while still in the minihalo regime. Thus, we conclude that the Galaxy's metallicity floor is set by the balance within minihalos of gas-phase metal cooling and the radiation background associated with its early formation environment.


title: Asynchronous Voice Anonymization Using Adversarial Perturbation On Speaker Embedding

abstract: Voice anonymization has been developed as a technique for preserving privacy by replacing the speaker's voice in a speech signal with that of a pseudo-speaker, thereby obscuring the original voice attributes from machine recognition and human perception. In this paper, we focus on altering the voice attributes against machine recognition while retaining human perception. We referred to this as the asynchronous voice anonymization. To this end, a speech generation framework incorporating a speaker disentanglement mechanism is employed to generate the anonymized speech. The speaker attributes are altered through adversarial perturbation applied on the speaker embedding, while human perception is preserved by controlling the intensity of perturbation. Experiments conducted on the LibriSpeech dataset showed that the speaker attributes were obscured with their human perception preserved for 60.71% of the processed utterances.


title: HTIM: Hybrid Text-Interaction Modeling for Broadening Political Leaning Inference in Social Media

abstract: Political leaning can be defined as the inclination of an individual towards certain political orientations that align with their personal beliefs. Political leaning inference has traditionally been framed as a binary classification problem, namely, to distinguish between left vs. right or conservative vs liberal. Furthermore, although some recent work considers political leaning inference in a multi-party multi-region framework, their study is limited to the application of social interaction data. In order to address these shortcomings, in this study we propose Hybrid Text-Interaction Modeling (HTIM), a framework that enables hybrid modeling fusioning text and interactions from Social Media to accurately identify the political leaning of users in a multi-party multi-region framework. Access to textual and interaction-based data not only allows us to compare these data sources but also avoids reliance on specific data types. We show that, while state-of-the-art text-based representations on their own are not able to improve over interaction-based representations, a combination of text-based and interaction-based modeling using HTIM considerably improves the performance across the three regions, an improvement that is more prominent when we focus on the most challenging cases involving users who are less engaged in politics.


title: A Dialogue Game for Eliciting Balanced Collaboration

abstract: Collaboration is an integral part of human dialogue. Typical task-oriented dialogue games assign asymmetric roles to the participants, which limits their ability to elicit naturalistic role-taking in collaboration and its negotiation. We present a novel and simple online setup that favors balanced collaboration: a two-player 2D object placement game in which the players must negotiate the goal state themselves. We show empirically that human players exhibit a variety of role distributions, and that balanced collaboration improves task performance. We also present an LLM-based baseline agent which demonstrates that automatic playing of our game is an interesting challenge for artificial systems.


title: LAFMA: A Latent Flow Matching Model for Text-to-Audio Generation

abstract: Recently, the application of diffusion models has facilitated the significant development of speech and audio generation. Nevertheless, the quality of samples generated by diffusion models still needs improvement. And the effectiveness of the method is accompanied by the extensive number of sampling steps, leading to an extended synthesis time necessary for generating high-quality audio. Previous Text-to-Audio (TTA) methods mostly used diffusion models in the latent space for audio generation. In this paper, we explore the integration of the Flow Matching (FM) model into the audio latent space for audio generation. The FM is an alternative simulation-free method that trains continuous normalization flows (CNF) based on regressing vector fields. We demonstrate that our model significantly enhances the quality of generated audio samples, achieving better performance than prior models. Moreover, it reduces the number of inference steps to ten steps almost without sacrificing performance.


title: Diffusion-Promoted HDR Video Reconstruction

abstract: High dynamic range (HDR) video reconstruction aims to generate HDR videos from low dynamic range (LDR) frames captured with alternating exposures. Most existing works solely rely on the regression-based paradigm, leading to adverse effects such as ghosting artifacts and missing details in saturated regions. In this paper, we propose a diffusion-promoted method for HDR video reconstruction, termed HDR-V-Diff, which incorporates a diffusion model to capture the HDR distribution. As such, HDR-V-Diff can reconstruct HDR videos with realistic details while alleviating ghosting artifacts. However, the direct introduction of video diffusion models would impose massive computational burden. Instead, to alleviate this burden, we first propose an HDR Latent Diffusion Model (HDR-LDM) to learn the distribution prior of single HDR frames. Specifically, HDR-LDM incorporates a tonemapping strategy to compress HDR frames into the latent space and a novel exposure embedding to aggregate the exposure information into the diffusion process. We then propose a Temporal-Consistent Alignment Module (TCAM) to learn the temporal information as a complement for HDR-LDM, which conducts coarse-to-fine feature alignment at different scales among video frames. Finally, we design a Zero-Init Cross-Attention (ZiCA) mechanism to effectively integrate the learned distribution prior and temporal information for generating HDR frames. Extensive experiments validate that HDR-V-Diff achieves state-of-the-art results on several representative datasets.


title: What do we know about Hugging Face? A systematic literature review and quantitative validation of qualitative claims

abstract: Background: Collaborative Software Package Registries (SPRs) are an integral part of the software supply chain. Much engineering work synthesizes SPR package into applications. Prior research has examined SPRs for traditional software, such as NPM (JavaScript) and PyPI (Python). Pre-Trained Model (PTM) Registries are an emerging class of SPR of increasing importance, because they support the deep learning supply chain. Aims: Recent empirical research has examined PTM registries in ways such as vulnerabilities, reuse processes, and evolution. However, no existing research synthesizes them to provide a systematic understanding of the current knowledge. Some of the existing research includes qualitative claims lacking quantitative analysis. Our research fills these gaps by providing a knowledge synthesis and quantitative analyses. Methods: We first conduct a systematic literature review (SLR). We then observe that some of the claims are qualitative. We identify quantifiable metrics associated with those claims, and measure in order to substantiate these claims. Results: From our SLR, we identify 12 claims about PTM reuse on the HuggingFace platform, 4 of which lack quantitative validation. We successfully test 3 of these claims through a quantitative analysis, and directly compare one with traditional software. Our findings corroborate qualitative claims with quantitative measurements. Our findings are: (1) PTMs have a much higher turnover rate than traditional software, indicating a dynamic and rapidly evolving reuse environment within the PTM ecosystem; and (2) There is a strong correlation between documentation quality and PTM popularity. Conclusions: We confirm qualitative research claims with concrete metrics, supporting prior qualitative and case study research. Our measures show further dynamics of PTM reuse, inspiring research infrastructure and new measures.


title: Sources of Gain: Decomposing Performance in Conditional Average Dose Response Estimation

abstract: Estimating conditional average dose responses (CADR) is an important but challenging problem. Estimators must correctly model the potentially complex relationships between covariates, interventions, doses, and outcomes. In recent years, the machine learning community has shown great interest in developing tailored CADR estimators that target specific challenges. Their performance is typically evaluated against other methods on (semi-) synthetic benchmark datasets. Our paper analyses this practice and shows that using popular benchmark datasets without further analysis is insufficient to judge model performance. Established benchmarks entail multiple challenges, whose impacts must be disentangled. Therefore, we propose a novel decomposition scheme that allows the evaluation of the impact of five distinct components contributing to CADR estimator performance. We apply this scheme to eight popular CADR estimators on four widely-used benchmark datasets, running nearly 1,500 individual experiments. Our results reveal that most established benchmarks are challenging for reasons different from their creators' claims. Notably, confounding, the key challenge tackled by most estimators, is not an issue in any of the considered datasets. We discuss the major implications of our findings and present directions for future research.


title: Transformer-based Model for ASR N-Best Rescoring and Rewriting

abstract: Voice assistants increasingly use on-device Automatic Speech Recognition (ASR) to ensure speed and privacy. However, due to resource constraints on the device, queries pertaining to complex information domains often require further processing by a search engine. For such applications, we propose a novel Transformer based model capable of rescoring and rewriting, by exploring full context of the N-best hypotheses in parallel. We also propose a new discriminative sequence training objective that can work well for both rescore and rewrite tasks. We show that our Rescore+Rewrite model outperforms the Rescore-only baseline, and achieves up to an average 8.6% relative Word Error Rate (WER) reduction over the ASR system by itself.


title: Fluorescence enhancement of single V2 centers in a 4H-SiC cavity antenna

abstract: Solid state quantum emitters are a prime candidate in distributed quantum technologies since they inherently provide a spin-photon interface. An ongoing challenge in the field, however, is the low photon extraction due to the high refractive index of typical host materials. This challenge can be overcome using photonic structures. Here, we report the integration of V2 centers in a cavity-based optical antenna. The structure consists of a silver-coated, 135 nm thin 4H-SiC membrane functioning as a planar cavity with a broadband resonance yielding a theoretical photon collection enhancement factor of 34. The planar geometry allows us to identify over 20 single V2 centers at room temperature with a mean (maximum) count rate enhancement factor of 9 (15). Moreover, we observe 10 V2 centers with a mean absorption linewidth below 80MHz at cryogenic temperatures. These results demonstrate a photon collection enhancement that is robust to the lateral emitter position.


title: Forward-Euler time-discretization for Wasserstein gradient flows can be wrong

abstract: In this note, we examine the forward-Euler discretization for simulating Wasserstein gradient flows. We provide two counter-examples showcasing the failure of this discretization even for a simple case where the energy functional is defined as the KL divergence against some nicely structured probability densities. A simple explanation of this failure is also discussed.


title: Expressivity and Generalization: Fragment-Biases for Molecular GNNs

abstract: Although recent advances in higher-order Graph Neural Networks (GNNs) improve the theoretical expressiveness and molecular property predictive performance, they often fall short of the empirical performance of models that explicitly use fragment information as inductive bias. However, for these approaches, there exists no theoretic expressivity study. In this work, we propose the Fragment-WL test, an extension to the well-known Weisfeiler & Leman (WL) test, which enables the theoretic analysis of these fragment-biased GNNs. Building on the insights gained from the Fragment-WL test, we develop a new GNN architecture and a fragmentation with infinite vocabulary that significantly boosts expressiveness. We show the effectiveness of our model on synthetic and real-world data where we outperform all GNNs on Peptides and have 12% lower error than all GNNs on ZINC and 34% lower error than other fragment-biased models. Furthermore, we show that our model exhibits superior generalization capabilities compared to the latest transformer-based architectures, positioning it as a robust solution for a range of molecular modeling tasks.


title: A Thermodynamic Study of $\textbf{(2+1)}$-Dimensional Analytic Charged Hairy Black Holes with Born-Infeld Electrodynamics

abstract: This work presents analytical black hole solutions for a coupled Einstein-Born-Infeld-Scalar gravity system in AdS spacetime with two different non-minimal coupling functions $f(z)$. For both solutions, we establish the regularity of the scalar field and curvature scalars outside the horizon. For one of the considered coupling cases, thermodynamic analysis in the canonical ensemble reveals stability across all temperatures, while the other case exhibits the Hawking/Page phase transition between the stable large phase of the black hole and thermal-AdS. We investigate the effect of the scalar hair parameter and black hole charge on the phase transition temperature and observe that the critical values of the scalar hair and the charge parameters constrain the feasibility of Hawking/Page phase transition.


title: Designing metasurface optical interfaces for solid-state qubits using many-body adjoint shape optimization

abstract: We present a general strategy for the inverse design of metasurfaces composed of elementary shapes. We use it to design a structure that collects and collimates light from nitrogen-vacancy centers in diamond. Such metasurfaces constitute scalable optical interfaces for solid-state qubits, enabling efficient photon coupling into optical fibers and eliminating free-space collection optics. The many-body shape optimization strategy is a practical alternative to topology optimization that explicitly enforces material and fabrication constraints throughout the optimization, while still achieving high performance. The metasurface is easily adaptable to other solid-state qubits, and the optimization method is broadly applicable to fabrication-constrained photonic design problems.


title: The morphology and kinematics of the galaxy group AM 1054-325: A MUSE perspective

abstract: Galaxy interactions in groups can lead to intense starbursts and the activation of active galactic nuclei (AGNs). The stripped gas from the outer disk can lead to star-forming clumps along the tidal tails or sometimes tidal dwarf galaxies. We investigate the impact of interaction on various galaxy properties, including morphology, star formation rates, and chemical composition in the galaxy group AM\,1054-325 using Multi Unit Spectroscopic Explorer (MUSE) data. We conduct a comprehensive spatially and spectrally resolved investigation of the star formation rate, star formation histories, metallicity, and AGN activity. The galaxy subgroup AM\,1054-325A shows multiple star-forming clumps in H$\alpha$ emission along the western tidal tail, which are formed due to tidal stripping. These clumps also have higher metallicities. AM\,1054-325B is quenched and shows disturbed gas kinematics and the signature of gas accretion in the H$\alpha$ map. The specific star formation along the tidal tail is higher, contributing to the galaxy's overall stellar mass growth.


abstract: With the emergence of social networks, social recommendation has become an essential technique for personalized services. Recently, graph-based social recommendations have shown promising results by capturing the high-order social influence. Most empirical studies of graph-based social recommendations directly take the observed social networks into formulation, and produce user preferences based on social homogeneity. Despite the effectiveness, we argue that social networks in the real-world are inevitably noisy~(existing redundant social relations), which may obstruct precise user preference characterization. Nevertheless, identifying and removing redundant social relations is challenging due to a lack of labels. In this paper, we focus on learning the denoised social structure to facilitate recommendation tasks from an information bottleneck perspective. Specifically, we propose a novel Graph Bottlenecked Social Recommendation (GBSR) framework to tackle the social noise issue.GBSR is a model-agnostic social denoising framework, that aims to maximize the mutual information between the denoised social graph and recommendation labels, meanwhile minimizing it between the denoised social graph and the original one. This enables GBSR to learn the minimal yet sufficient social structure, effectively reducing redundant social relations and enhancing social recommendations. Technically, GBSR consists of two elaborate components, preference-guided social graph refinement, and HSIC-based bottleneck learning. Extensive experimental results demonstrate the superiority of the proposed GBSR, including high performances and good generality combined with various backbones. Our code is available at: https://github.com/yimutianyang/KDD24-GBSR.


title: SumHiS: Extractive Summarization Exploiting Hidden Structure

abstract: Extractive summarization is a task of highlighting the most important parts of the text. We introduce a new approach to extractive summarization task using hidden clustering structure of the text. Experimental results on CNN/DailyMail demonstrate that our approach generates more accurate summaries than both extractive and abstractive methods, achieving state-of-the-art results in terms of ROUGE-2 metric exceeding the previous approaches by 10%. Additionally, we show that hidden structure of the text could be interpreted as aspects.


title: A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks

abstract: Large Language Models (LLMs) are rapidly becoming ubiquitous both as stand-alone tools and as components of current and future software systems. To enable usage of LLMs in the high-stake or safety-critical systems of 2030, they need to undergo rigorous testing. Software Engineering (SE) research on testing Machine Learning (ML) components and ML-based systems has systematically explored many topics such as test input generation and robustness. We believe knowledge about tools, benchmarks, research and practitioner views related to LLM testing needs to be similarly organized. To this end, we present a taxonomy of LLM testing topics and conduct preliminary studies of state of the art and practice approaches to research, open-source tools and benchmarks for LLM testing, mapping results onto this taxonomy. Our goal is to identify gaps requiring more research and engineering effort and inspire a clearer communication between LLM practitioners and the SE research community.


title: Runtime Freezing: Dynamic Class Loss for Multi-Organ 3D Segmentation

abstract: Segmentation has become a crucial pre-processing step to many refined downstream tasks, and particularly so in the medical domain. Even with recent improvements in segmentation models, many segmentation tasks remain difficult. When multiple organs are segmented simultaneously, difficulties are due not only to the limited availability of labelled data, but also to class imbalance. In this work we propose dynamic class-based loss strategies to mitigate the effects of highly imbalanced training data. We show how our approach improves segmentation performance on a challenging Multi-Class 3D Abdominal Organ dataset.


title: Figuratively Speaking: Authorship Attribution via Multi-Task Figurative Language Modeling

abstract: The identification of Figurative Language (FL) features in text is crucial for various Natural Language Processing (NLP) tasks, where understanding of the author's intended meaning and its nuances is key for successful communication. At the same time, the use of a specific blend of various FL forms most accurately reflects a writer's style, rather than the use of any single construct, such as just metaphors or irony. Thus, we postulate that FL features could play an important role in Authorship Attribution (AA) tasks. We believe that our is the first computational study of AA based on FL use. Accordingly, we propose a Multi-task Figurative Language Model (MFLM) that learns to detect multiple FL features in text at once. We demonstrate, through detailed evaluation across multiple test sets, that the our model tends to perform equally or outperform specialized binary models in FL detection. Subsequently, we evaluate the predictive capability of joint FL features towards the AA task on three datasets, observing improved AA performance through the integration of MFLM embeddings.


title: Impact of environmental interaction on bias induced circular current in a ring nanojunction

abstract: The specific role of environmental interaction on bias driven circular current in a ring nanojunction is explored, for the first time to the best of our concern, within a tight-binding framework based on wave-guide theory. The environmental interaction is implemented through disorder in backbone sites where these sites are directly coupled to parent lattice sites of the ring via single bonds. In absence of backbone disorder circular current becomes zero for a lengthwise symmetric nanojunction, while it increases with disorder which is quite unusual, and after reaching a maximum it eventually drops to zero in the limit of high disorder. The effects of ring-electrode interface configuration, ring-backbone coupling, different types of backbone disorder and system temperature are critically investigated to make the present analysis comprehensive. All the studied results are valid for a broad range of physical parameters, giving us confidence that the outcomes of this theoretical work can be verified in a laboratory.


title: Efficient Communication and Powering for Smart Contact Lens with Resonant Magneto-Quasistatic Coupling

abstract: A two-coil wearable system is proposed for wireless communication and powering between a transmitter coil in a necklace and a receiver coil in a smart contact lens, where the necklace is invisible in contrast to coils embedded in wearables like spectacles or headbands. Magneto-quasistatic(MQS) field coupling facilitates communication between the transmitter in the necklace and the contact lens receiver, enabling AR/VR and health monitoring. As long as the receiver coil remains within the magnetic field generated by the transmitter, continuous communication is sustained through MQS field coupling despite the misalignments present. Resonant frequency tuning enhances system efficiency. The system's performance was tested for coil misalignments, showing a maximum path loss variation within $10 dB$ across scenarios, indicating robustness. Finite Element Method(FEM) analysis has been used to study the system for efficient wireless data transfer and powering. A communication channel capacity is $4.5 Mbps$ over a $1 MHz$ bandwidth. Simulations show negligible path loss differences with or without human tissues, as magnetic coupling remains unaffected at MQS frequencies below $30 MHz$ due to similar magnetic permeability of tissues and air. Therefore, the possibility of efficient communication and powering of smart contact lenses through a necklace is shown for the first time using resonant MQS coupling at an axial distance of $15cm$ and lateral distance of over $9cm$ to enable AR/VR and health monitoring on the contact lens.


title: Can Large Language Models Analyze Software Failures in the News? An End-to-End Automated Pipeline with FAIL

abstract: Software failures inform engineering work, standards, regulations. For example, the Log4J vulnerability brought government and industry attention to evaluating and securing software supply chains. Accessing private engineering records is difficult, so failure analyses tend to use information reported by the news media. However, prior works in this direction have relied on manual analysis. That has limited the scale of their analyses. The community lacks automated support to enable such analyses to consider a wide range of news sources and incidents. In this paper, we propose the Failure Analysis Investigation with LLMs (FAIL) system to fill this gap. FAIL collects, analyzes, and summarizes software failures as reported in the news. FAIL groups articles that describe the same incidents. It then analyzes incidents using existing taxonomies for postmortems, faults, and system characteristics. To tune and evaluate FAIL, we followed the methods of prior works by manually analyzing 31 software failures. FAIL achieved an F1 score of 90% for collecting news about software failures, a V-measure of 0.98 for merging articles reporting on the same incident, and extracted 90% of the facts about failures. We then applied FAIL to a total of 137,427 news articles from 11 providers published between 2010 and 2022. FAIL identified and analyzed 2457 distinct failures reported across 4,184 articles. Our findings include: (1) current generation of large language models are capable of identifying news articles that describe failures, and analyzing them according to structured taxonomies; (2) high recurrences of similar failures within organizations and across organizations; and (3) severity of the consequences of software failures have increased over the past decade. The full FAIL database is available so that researchers, engineers, and policymakers can learn from a diversity of software failures.


title: A Sociotechnical Lens for Evaluating Computer Vision Models: A Case Study on Detecting and Reasoning about Gender and Emotion

abstract: In the evolving landscape of computer vision (CV) technologies, the automatic detection and interpretation of gender and emotion in images is a critical area of study. This paper investigates social biases in CV models, emphasizing the limitations of traditional evaluation metrics such as precision, recall, and accuracy. These metrics often fall short in capturing the complexities of gender and emotion, which are fluid and culturally nuanced constructs. Our study proposes a sociotechnical framework for evaluating CV models, incorporating both technical performance measures and considerations of social fairness. Using a dataset of 5,570 images related to vaccination and climate change, we empirically compared the performance of various CV models, including traditional models like DeepFace and FER, and generative models like GPT-4 Vision. Our analysis involved manually validating the gender and emotional expressions in a subset of images to serve as benchmarks. Our findings reveal that while GPT-4 Vision outperforms other models in technical accuracy for gender classification, it exhibits discriminatory biases, particularly in response to transgender and non-binary personas. Furthermore, the model's emotion detection skew heavily towards positive emotions, with a notable bias towards associating female images with happiness, especially when prompted by male personas. These findings underscore the necessity of developing more comprehensive evaluation criteria that address both validity and discriminatory biases in CV models. Our proposed framework provides guidelines for researchers to critically assess CV tools, ensuring their application in communication research is both ethical and effective. The significant contribution of this study lies in its emphasis on a sociotechnical approach, advocating for CV technologies that support social good and mitigate biases rather than perpetuate them.


title: Research Trends for the Interplay between Large Language Models and Knowledge Graphs

abstract: This survey investigates the synergistic relationship between Large Language Models (LLMs) and Knowledge Graphs (KGs), which is crucial for advancing AI's capabilities in understanding, reasoning, and language processing. It aims to address gaps in current research by exploring areas such as KG Question Answering, ontology generation, KG validation, and the enhancement of KG accuracy and consistency through LLMs. The paper further examines the roles of LLMs in generating descriptive texts and natural language queries for KGs. Through a structured analysis that includes categorizing LLM-KG interactions, examining methodologies, and investigating collaborative uses and potential biases, this study seeks to provide new insights into the combined potential of LLMs and KGs. It highlights the importance of their interaction for improving AI applications and outlines future research directions.


title: Toughness and spectral radius in graphs

abstract: Let $t$ be a positive integer, and let $G$ be a connected graph of order $n$ with $n\geq t+2$. A graph $G$ is said to be $\frac{1}{t}$-tough if $|S|\geq\frac{1}{t}c(G-S)$ for every subset $S$ of $V(G)$ with $c(G-S)\geq2$, where $c(G-S)$ is the number of connected components in $G-S$. The adjacency matrix of $G$ is denoted by $A(G)$. Let $\lambda_1(G)\geq\lambda_2(G)\geq\dots\geq\lambda_n(G)$ be the eigenvalues of $A(G)$. In particular, the eigenvalue $\lambda_1(G)$ is called the spectral radius of $G$. In this paper, we prove that $G$ is a $\frac{1}{t}$-tough graph unless $G=K_1\vee(K_{n-t-1}\cup tK_1)$ if $\lambda_1(G)\geq\eta(t,n)$, where $\eta(t,n)$ is the largest root of $x^{3}-(n-t-2)x^{2}-(n-1)x+t(n-t-2)=0$.


title: Observation of $\eta_{c}$(1S, 2S) and $\chi_{cJ}$ decays to 2$(\pi^{+}\pi^{-})\eta$ via $\psi$(3686) radiative transitions

abstract: Based on $2.7 \times 10^9~\psi(3686)$ decays collected with the BESIII detector, the radiative decay $\psi(3686)\to\gamma2(\pi^{+}\pi^{-})\eta$ is investigated to measure properties of S- and P-wave charmonium states. The branching fraction of the decay $\eta_{c}(1S) \to 2(\pi^{+}\pi^{-})\eta$, which is found to have a strong dependence on the interference pattern between $\eta_c(1S)$ and non-$\eta_c(1S)$ processes, is measured in both destructive and constructive interference scenarios for the first time. The mass and width of the $\eta_{c}(1S)$ are measured to be $M=(2984.14 \pm 0.13 \pm 0.38)$ MeV/$c^{2}$ and $\Gamma=(28.82 \pm 0.11 \pm 0.82)$ MeV, respectively. Clear signals for the decays of the $\chi_{cJ}(J=0,1,2)$ and the $\eta_{c}(2S)$ to $2(\pi^{+}\pi^{-})\eta$ are also observed for the first time, and the corresponding branching fractions are measured. The ratio of the branching fractions between the $\eta_{c}(2S)$ and $\eta_{c}(1S)$ decays is significantly lower than the theoretical prediction, which might suggest different dynamics in their decays.


title: DistilDoc: Knowledge Distillation for Visually-Rich Document Applications

abstract: This work explores knowledge distillation (KD) for visually-rich document (VRD) applications such as document layout analysis (DLA) and document image classification (DIC). While VRD research is dependent on increasingly sophisticated and cumbersome models, the field has neglected to study efficiency via model compression. Here, we design a KD experimentation methodology for more lean, performant models on document understanding (DU) tasks that are integral within larger task pipelines. We carefully selected KD strategies (response-based, feature-based) for distilling knowledge to and from backbones with different architectures (ResNet, ViT, DiT) and capacities (base, small, tiny). We study what affects the teacher-student knowledge gap and find that some methods (tuned vanilla KD, MSE, SimKD with an apt projector) can consistently outperform supervised student training. Furthermore, we design downstream task setups to evaluate covariate shift and the robustness of distilled DLA models on zero-shot layout-aware document visual question answering (DocVQA). DLA-KD experiments result in a large mAP knowledge gap, which unpredictably translates to downstream robustness, accentuating the need to further explore how to efficiently obtain more semantic document layout awareness.


title: Measurement of the Imperceptible Threshold for Color Vibration Pairs Selected by using MacAdam Ellipse

abstract: We propose an efficient method for searching for color vibration pairs that are imperceptible to the human eye based on the MacAdam ellipse, an experimentally determined color-difference range that is indistinguishable to the human eye. We created color pairs by selecting eight colors within the sRGB color space specified by the ellipse, and conducted experiments to confirm the threshold of the amplitude of color vibration amplitude at which flicker becomes imperceptible to the human eye. The experimental results indicate a general guideline for acceptable amplitudes for pair selection.


title: Qualitative Data Analysis in Software Engineering: Techniques and Teaching Insights

abstract: Software repositories are rich sources of qualitative artifacts, including source code comments, commit messages, issue descriptions, and documentation. These artifacts offer many interesting insights when analyzed through quantitative methods, as outlined in the chapter on mining software repositories. This chapter shifts the focus towards interpreting these artifacts using various qualitative data analysis techniques. We introduce qualitative coding as an iterative process, which is crucial not only for educational purposes but also to enhance the credibility and depth of research findings. Various coding methods are discussed along with the strategic design of a coding guide to ensure consistency and accuracy in data interpretation. The chapter also discusses quality assurance in qualitative data analysis, emphasizing principles such as credibility, transferability, dependability, and confirmability. These principles are vital to ensure that the findings are robust and can be generalized in different contexts. By sharing best practices and lessons learned, we aim to equip all readers with the tools necessary to conduct rigorous qualitative research in the field of software engineering.


title: GPT4Rec: Graph Prompt Tuning for Streaming Recommendation

abstract: In the realm of personalized recommender systems, the challenge of adapting to evolving user preferences and the continuous influx of new users and items is paramount. Conventional models, typically reliant on a static training-test approach, struggle to keep pace with these dynamic demands. Streaming recommendation, particularly through continual graph learning, has emerged as a novel solution. However, existing methods in this area either rely on historical data replay, which is increasingly impractical due to stringent data privacy regulations; or are inability to effectively address the over-stability issue; or depend on model-isolation and expansion strategies. To tackle these difficulties, we present GPT4Rec, a Graph Prompt Tuning method for streaming Recommendation. Given the evolving user-item interaction graph, GPT4Rec first disentangles the graph patterns into multiple views. After isolating specific interaction patterns and relationships in different views, GPT4Rec utilizes lightweight graph prompts to efficiently guide the model across varying interaction patterns within the user-item graph. Firstly, node-level prompts are employed to instruct the model to adapt to changes in the attributes or properties of individual nodes within the graph. Secondly, structure-level prompts guide the model in adapting to broader patterns of connectivity and relationships within the graph. Finally, view-level prompts are innovatively designed to facilitate the aggregation of information from multiple disentangled views. These prompt designs allow GPT4Rec to synthesize a comprehensive understanding of the graph, ensuring that all vital aspects of the user-item interactions are considered and effectively integrated. Experiments on four diverse real-world datasets demonstrate the effectiveness and efficiency of our proposal.


title: Skyrmion blinking from the conical phase

abstract: While the transition between skyrmionic and non-topological states has been widely explored as a bit operation for information transport and storage in spintronic devices, the ultrafast dynamics of such transitions remains challenging to observe and understand. Here, we utilize spin-dynamics simulations and harmonic transition state theory (HTST) to provide an in-depth analysis of the nucleation of skyrmionic states in helimagnets. We reveal a persistent blinking (creation-annihilation) phenomenon of these topological states under specific conditions near the phase boundary between skyrmion and conical states. Through a minimum-energy path analysis, we elucidate that this blinking behavior is favored by the formation of chiral bobber (CB) surface states and that the collapse of CBs differs from that of skyrmions in thin films due to their different oscillation modes. We further employ HTST to estimate the typical blinking time as a function of the applied magnetic field and temperature. Finally, we illustrate the practical use of skyrmion blinking for controlled probabilistic computing, exemplified by a skyrmion-based random-number generator.


title: Using Deep Convolutional Neural Networks to Detect Rendered Glitches in Video Games

abstract: In this paper, we present a method using Deep Convolutional Neural Networks (DCNNs) to detect common glitches in video games. The problem setting consists of an image (800x800 RGB) as input to be classified into one of five defined classes, normal image, or one of four different kinds of glitches (stretched, low resolution, missing and placeholder textures). Using a supervised approach, we train a ShuffleNetV2 using generated data. This work focuses on detecting texture graphical anomalies achieving arguably good performance with an accuracy of 86.8\%, detecting 88\% of the glitches with a false positive rate of 8.7\%, and with the models being able to generalize and detect glitches even in unseen objects. We apply a confidence measure as well to tackle the issue with false positives as well as an effective way of aggregating images to achieve better detection in production. The main use of this work is the partial automatization of graphical testing in the final stages of video game development.


title: OpenCOLE: Towards Reproducible Automatic Graphic Design Generation

abstract: Automatic generation of graphic designs has recently received considerable attention. However, the state-of-the-art approaches are complex and rely on proprietary datasets, which creates reproducibility barriers. In this paper, we propose an open framework for automatic graphic design called OpenCOLE, where we build a modified version of the pioneering COLE and train our model exclusively on publicly available datasets. Based on GPT4V evaluations, our model shows promising performance comparable to the original COLE. We release the pipeline and training results to encourage open development.


title: The Genesis of a Theorem

abstract: In this article we trace the genesis of a theorem that gives for the first time examples of Galois group $G_S$ of the maximal $p$-extension of $\mathbb{Q}$, unramified outside a finite set of primes not containing $p$, that are of cohomological dimension $2$. The pro-$p$-group $G_S$ is a fab pro-$p$-group which means that all its derived factors are finite.


title: MaIL: Improving Imitation Learning with Mamba

abstract: This work introduces Mamba Imitation Learning (MaIL), a novel imitation learning (IL) architecture that offers a computationally efficient alternative to state-of-the-art (SoTA) Transformer policies. Transformer-based policies have achieved remarkable results due to their ability in handling human-recorded data with inherently non-Markovian behavior. However, their high performance comes with the drawback of large models that complicate effective training. While state space models (SSMs) have been known for their efficiency, they were not able to match the performance of Transformers. Mamba significantly improves the performance of SSMs and rivals against Transformers, positioning it as an appealing alternative for IL policies. MaIL leverages Mamba as a backbone and introduces a formalism that allows using Mamba in the encoder-decoder structure. This formalism makes it a versatile architecture that can be used as a standalone policy or as part of a more advanced architecture, such as a diffuser in the diffusion process. Extensive evaluations on the LIBERO IL benchmark and three real robot experiments show that MaIL: i) outperforms Transformers in all LIBERO tasks, ii) achieves good performance even with small datasets, iii) is able to effectively process multi-modal sensory inputs, iv) is more robust to input noise compared to Transformers.


title: Vibrational Branching Ratios for Laser-Cooling of Nonlinear Strontium-Containing Molecules

abstract: The vibrational branching ratios from the lowest excited electronic state for $\textrm{SrOCH}_3$, $\textrm{SrNH}_2$, and $\textrm{SrSH}$ are measured at the $< 0.1\%$ level. Spectra are obtained by driving the $\tilde{X} - \tilde{A}$ transitions and dispersing the fluorescence on a grating spectrometer. We also perform $\textit{ab initio}$ calculations for the energies of vibrational levels relevant for laser cooling, as well as branching ratios to support the interpretations of all molecular spectra. Symmetry group analysis is applied in conjunction with our data to study rotational closure in these molecules. These analyses indicate favorable prospects for laser cooling $\textrm{SrNH}_2$ and other similar alkaline-earth(-like) amides for future beyond the Standard Model physics searches using polyatomic molecules with long-lived parity doublets.


title: Rotational spectroscopy of CH$_3$OD with a reanalysis of CH$_3$OD toward IRAS 16293$-$2422

abstract: We have started a measurement campaign of numerous methanol isotopologs in low-lying torsional states in order to provide extensive line lists for radio astronomical observations from an adequate spectroscopic model and to investigate how the intricate vibration-torsion-rotation interactions manifest themselves in the spectra of different isotopic species. After CD$_3$OH and CD$_3$OD, we turn our focus to CH$_3$OD, which is an important species for studying deuteration in prestellar cores and envelopes that enshroud protostars. Notably, deuteration is frequently viewed as a diagnostic tool for star formation. The measurements used in this study were obtained in two spectroscopic laboratories and cover large fractions of the 34 GHz--1.35 THz range. As done in previous studies, we employed a torsion-rotation Hamiltonian model for our analysis that is based on the rho-axis method. The resulting model describes the ground and first excited torsional states of CH$_3$OD well up to quantum numbers $J \leqslant 51$ and $K_a \leqslant 18$. We derived a line list for radio astronomical observations from this model that is accurate up to at least 1.35~THz and should be sufficient for all types of radio astronomical searches for this methanol isotopolog in these two lowest torsional states. This line list was applied to a reinvestigation of CH$_3$OD in data from the Protostellar Interferometric Line Survey of IRAS 16293--2422 obtained with the Atacama Large Millimeter/submillimeter Array. The new accurately determined value for the column density of CH$_3$OD implies that the deuteration in methanol differs in its two functional groups by a factor of $\sim$7.5.


title: Smith homomorphisms and Spin$^h$ structures

abstract: In this article, we answer two questions of Buchanan-McKean (arXiv:2312.08209) about bordism for manifolds with spin$^h$ structures: we establish a Smith isomorphism between the reduced spin$^h$ bordism of $\mathbb{RP}^\infty$ and pin$^{h-}$ bordism, and we provide a geometric explanation for the isomorphism $\Omega_{4k}^{\mathrm{Spin}^c} \otimes\mathbb Z[1/2] \cong \Omega_{4k}^{\mathrm{Spin}^h} \otimes\mathbb Z[1/2]$. Our proofs use the general theory of twisted spin structures and Smith homomorphisms that we developed in arXiv:2405.04649 joint with Devalapurkar, Liu, Pacheco-Tallaj, and Thorngren, specifically that the Smith homomorphism participates in a long exact sequence with explicit, computable terms.


title: Residual Learning and Context Encoding for Adaptive Offline-to-Online Reinforcement Learning

abstract: Offline reinforcement learning (RL) allows learning sequential behavior from fixed datasets. Since offline datasets do not cover all possible situations, many methods collect additional data during online fine-tuning to improve performance. In general, these methods assume that the transition dynamics remain the same during both the offline and online phases of training. However, in many real-world applications, such as outdoor construction and navigation over rough terrain, it is common for the transition dynamics to vary between the offline and online phases. Moreover, the dynamics may vary during the online fine-tuning. To address this problem of changing dynamics from offline to online RL we propose a residual learning approach that infers dynamics changes to correct the outputs of the offline solution. At the online fine-tuning phase, we train a context encoder to learn a representation that is consistent inside the current online learning environment while being able to predict dynamic transitions. Experiments in D4RL MuJoCo environments, modified to support dynamics' changes upon environment resets, show that our approach can adapt to these dynamic changes and generalize to unseen perturbations in a sample-efficient way, whilst comparison methods cannot.


title: Infinite-dimensional Frobenius Manifolds Underlying the genus-zero Universal Whitham Hierarchy

abstract: In this paper, we construct a new class of infinite-dimensional Frobenius manifolds on the spaces of pairs of meromorphic functions that are defined on specific regions of the Riemann sphere. We demonstrate that the principal hierarchy of these Frobenius manifolds serves as an extension of the genus-zero universal Whitham hierarchy.


title: On categories with arbitrary 2-cell structures

abstract: When a category is equipped with a 2-cell structure it becomes a sesquicategory but not necessarily a 2-category. It is widely accepted that the latter property is equivalent to the middle interchange law. However, little attention has been given to the study of the category of all 2-cell structures (seen as sesquicategories with a fixed underlying base category) other than as a generalization for 2-categories. The purpose of this work is to highlight the significance of such a study, which can prove valuable in identifying intrinsic features pertaining to the base category. These ideas are expanded upon through the guiding example of the category of monoids. Specifically, when a monoid is viewed as a one-object category, its 2-cell structures resemble semibimodules.


title: Mode-based estimation of the center of symmetry

abstract: In the mean-median-mode triad of univariate centrality measures, the mode has been overlooked for estimating the center of symmetry in continuous and unimodal settings. This paper expands on the connection between kernel mode estimators and M-estimators for location, bridging the gap between the nonparametrics and robust statistics communities. The variance of modal estimators is studied in terms of a bandwidth parameter, establishing conditions for an optimal solution that outperforms the household sample mean. A purely nonparametric approach is adopted, modeling heavy-tailedness through regular variation. The results lead to an estimator proposal that includes a novel one-parameter family of kernels with compact support, offering extra robustness and efficiency. The effectiveness and versatility of the new method are demonstrated in a real-world case study and a thorough simulation study, comparing favorably to traditional and more competitive alternatives. Several myths about the mode are clarified along the way, reopening the quest for flexible and efficient nonparametric estimators.


title: PTHelper: An open source tool to support the Penetration Testing process

abstract: Offensive security is one of the state of the art measures to protect enterprises and organizations. Penetration testing, broadly called pentesting, is a branch of offensive security designed to find, rate and exploit these vulnerabilities, in order to assess the security posture of an organization. This process is often time-consuming and the quantity of information that pentesters need to manage might also be difficult to handle. This project takes a practical approach to solve the automation of pentesting and proposes a usable tool, called PTHelper. This open-source tool has been designed in a modular way to be easily upgradable by the pentesting community, and uses state of the art tools and artificial intelligence to achieve its objective.


title: An efficient strategy to construct general machine learning potentials for high-entropy ceramics

abstract: Molecular dynamics (MD) simulations are considered an efficient and low-cost means to develop remarkable properties of high-entropy ceramics with vast composition space, yet the lack of general potentials severely limits their applications. Herein, taking high-entropy carbides (HECs) as the model, we propose a strategy to efficiently construct a general neuroevolution potential (NEP) with broad compositional applicability for HECs. Specifically, the small dataset comprising unary and binary carbides with ten transition metal principal elements is first identified as the most efficient choice to train the general NEP for HECs, and then a highly accurate and transferable NEP is constructed. Further MD predictions on structural, mechanical, and thermal properties of HECs using the established NEP show good agreement with the results of first-principles calculations and experimental measurements, validating the accuracy, generalization, and reliability of our developed NEP. Our work provides an efficient solution to accelerating the MD simulations searching for high-entropy ceramics with desirable properties.


title: Measurement and assignment of J = 5 to 9 rotational energy levels in the 9070-9370 cm$^{-1}$ range of methane using optical frequency comb double-resonance spectroscopy

abstract: We use optical-optical double-resonance (OODR) spectroscopy with a continuous wave (CW) pump and a cavity-enhanced frequency comb probe to measure high rotational energy levels of methane in the upper part of the triacontad polyad (P6). A high-power CW optical parametric oscillator, tunable around 3000 cm$^{-1}$, is consecutively locked to the P(7, A$_2$), Q(7, A$_2$), R(7, A$_2$), and Q(6, F$_2$) transitions in the ${\nu}$$_3$ band, and a comb covering the 5800-6100 cm$^{-1}$ range probes sub-Doppler ladder-type transitions from the pumped levels with J' = 6 to 8, respectively. We report 118 probe transitions in the 3${\nu}$$_3$ $\leftarrow$ ${\nu}$$_3$ spectral range with uncertainties down to 300 kHz (1 x 10$^{-5}$ cm$^{-1}$), reaching 84 unique final states in the 9070-9370 cm$^{-1}$ range with rotational quantum numbers J between 5 and 9. We assign these states using combination differences and by comparison to theoretical predictions from a new ab initio-based effective Hamiltonian and dipole moment operator. This is the first line-by-line experimental verification of theoretical predictions for these hot-band transitions, and we find a better agreement of transition wavenumbers with the new calculations compared to the TheoReTS/HITEMP and ExoMol databases. We also compare the relative intensities and find an overall good agreement with all three sets of predictions. Finally, we report the wavenumbers of 27 transitions in the 2${\nu}$$_3$ spectral range, observed as V-type transitions from the ground state, and compare them to the new Hamiltonian, HITRAN2020, ExoMol and the WKMLC line lists.


title: Almost equivalences between Tamarkin category and Novikov sheaves

abstract: We revisit the relationship between the Tamarkin's extra variable $t$ and Novikov rings. We prove that the equivariant version of Tamarkin category is almost equivalent (in the sense of almost mathematics) to the category of derived complete modules over the Novikov ring.


title: Leveraging Large Language Models for Web Scraping

abstract: Large Language Models (LLMs) demonstrate remarkable capabilities in replicating human tasks and boosting productivity. However, their direct application for data extraction presents limitations due to a prioritisation of fluency over factual accuracy and a restricted ability to manipulate specific information. Therefore to overcome these limitations, this research leverages the knowledge representation power of pre-trained LLMs and the targeted information access enabled by RAG models, this research investigates a general-purpose accurate data scraping recipe for RAG models designed for language generation. To capture knowledge in a more modular and interpretable way, we use pre trained language models with a latent knowledge retriever, which allows the model to retrieve and attend over documents from a large corpus. We utilised RAG model architecture and did an in-depth analysis of their capabilities under three tasks: (i) Semantic Classification of HTML elements, (ii) Chunking HTML text for effective understanding, and (iii) comparing results from different LLMs and ranking algorithms. While previous work has developed dedicated architectures and training procedures for HTML understanding and extraction, we show that LLMs pre-trained on standard natural language with an addition of effective chunking, searching and ranking algorithms, can prove to be efficient data scraping tool to extract complex data from unstructured text. Future research directions include addressing the challenges of provenance tracking and dynamic knowledge updates within the proposed RAG-based data extraction framework. By overcoming these limitations, this approach holds the potential to revolutionise data extraction from vast repositories of textual information.


title: Tamarkin's separation theorem for non-compact objects in cotangent bundles

abstract: In this short note, we prove a Tamarkin-type separation theorem for possibly non-compact subsets in cotangent bundles.


title: Traffic Signal Cycle Control with Centralized Critic and Decentralized Actors under Varying Intervention Frequencies

abstract: Traffic congestion in urban areas is a significant problem, leading to prolonged travel times, reduced efficiency, and increased environmental concerns. Effective traffic signal control (TSC) is a key strategy for reducing congestion. Unlike most TSC systems that rely on high-frequency control, this study introduces an innovative joint phase traffic signal cycle control method that operates effectively with varying control intervals. Our method features an adjust all phases action design, enabling simultaneous phase changes within the signal cycle, which fosters both immediate stability and sustained TSC effectiveness, especially at lower frequencies. The approach also integrates decentralized actors to handle the complexity of the action space, with a centralized critic to ensure coordinated phase adjusting. Extensive testing on both synthetic and real-world data across different intersection types and signal setups shows that our method significantly outperforms other popular techniques, particularly at high control intervals. Case studies of policies derived from traffic data further illustrate the robustness and reliability of our proposed method.


title: Dataset Enhancement with Instance-Level Augmentations

abstract: We present a method for expanding a dataset by incorporating knowledge from the wide distribution of pre-trained latent diffusion models. Data augmentations typically incorporate inductive biases about the image formation process into the training (e.g. translation, scaling, colour changes, etc.). Here, we go beyond simple pixel transformations and introduce the concept of instance-level data augmentation by repainting parts of the image at the level of object instances. The method combines a conditional diffusion model with depth and edge maps control conditioning to seamlessly repaint individual objects inside the scene, being applicable to any segmentation or detection dataset. Used as a data augmentation method, it improves the performance and generalization of the state-of-the-art salient object detection, semantic segmentation and object detection models. By redrawing all privacy-sensitive instances (people, license plates, etc.), the method is also applicable for data anonymization. We also release fully synthetic and anonymized expansions for popular datasets: COCO, Pascal VOC and DUTS.


title: Casimir Wormholes with GUP Correction in the Loop Quantum Cosmology

abstract: In this paper, we obtain novel traversable, static, and spherically symmetric wormhole solutions, derived from the effective energy density and isotropic pressure resulting from the Casimir effect, corrected by the Generalized Uncertainty Principle (GUP) within the framework of Loop Quantum Cosmology (LQC). The goal is to explore the interplay between competing quantum gravity effects and quantum vacuum phenomena in the emergence of non-trivial spacetime structures. We examine features such as traversability, embedding diagrams, energy conditions, curvature, and stability of the obtained solutions. Additionally, we analyze the junction conditions required to integrate the wormhole spacetime with an external Schwarzschild spacetime and calculate the amount of exotic matter needed to maintain the wormhole. Finally, we evaluate the conditions under which this latter remains visible or is hidden by the event horizon associated with the Schwarzschild spacetime.


title: Light-induced fictitious magnetic fields for quantum storage in cold atomic ensembles

abstract: In this work, we have demonstrated that optically generated fictitious magnetic fields can be utilized to extend the lifetime of quantum memories in cold atomic ensembles. All the degrees of freedom of an AC Stark shift such as polarization, spatial profile, and temporal waveform can be readily controlled in a precise manner. Temporal fluctuations over several experimental cycles, and spatial inhomogeneities along a cold atomic gas have been compensated by an optical beam. The advantage of the use of fictitious magnetic fields for quantum storage stems from the speed and spatial precision that these fields can be synthesized. Our simple and versatile technique can find widespread application in coherent pulse and single-photon storage in any atomic species.


title: Sharding SMR with Optimal-size Shards for Highly Scalable Blockchains

abstract: Sharding can enhance blockchain scalability by dividing nodes into multiple shards to handle transactions in parallel. However, the size-security dilemma where a shard must be large enough to ensure its security constrains the overall number of shards, rendering blockchain sharding low parallelism and poor scalability. This paper presents Arete, an optimally scalable blockchain sharding architecture designed to resolve the dilemma based on a key observation: higher (Byzantine) fault-resilient shards allow the creation of more secure shards. The main idea of Arete, therefore, is to improve the security resilience/threshold of shards by sharding the blockchain's State Machine Replication (SMR) process itself. First, Arete decouples the three steps in SMR, leading to a single ordering shard performing the ordering task and multiple processing shards performing the dispersing and execution tasks. This frees processing shards from running consensus, allowing up to half compromised nodes per processing shard. Second, Arete considers safety and liveness against Byzantine failures separately to improve the safety threshold further while tolerating temporary liveness violations in a controlled manner. Apart from the creation of more optimal-size shards, such a deconstructed SMR scheme also empowers us to devise a novel certify-order-execute model to fully parallelize transaction handling, thereby significantly improving the performance of sharded blockchain systems. We implement Arete and evaluate it on a geo-distributed AWS environment. Our results demonstrate that Arete outperforms the state-of-the-art sharding protocol in terms of transaction throughput and cross-shard confirmation latency without compromising on intra-shard confirmation latency.


title: The Mock Alexander Polynomial for Knotoids and Linkoids

abstract: The mock Alexander polynomial is an extension of the classical Alexander polynomial, defined and studied for (virtual) knots and knotoids by the second and third authors. In this paper we consider the mock Alexander polynomial for generalizations of knotoids. We prove a conjecture on the mock Alexander polynomial for knotoids, which generalizes to uni-linkoids. Afterwards we give constructions for canonical invariants of linkoids derived from the mock Alexander polynomial, using the formalism of generalized knotoids due to Adams et al.


title: The Very High Energy Afterglow of Structured Jets: GW 170817 and Prospects for Future Detections

abstract: We present a complete numerical model of the afterglow of a laterally-structured relativistic ejecta from radio to very high energy (VHE). This includes a self-consistent calculation of the synchrotron radiation, with its maximum frequency, and of Synchrotron Self-Compton (SSC) scatterings taking into account the Klein-Nishina regime. The attenuation due to pair production is also included. This model is computationally-efficient, allowing for multi-wavelength data fitting. As a validation test, the radiative model is used to fit the broad-band spectrum of GRB 190114C at 90 s up to the TeV range. The full model is then used to fit the afterglow of GW 170817 and predict its VHE emission. We find that the SSC flux at the peak was much dimmer than the upper limit from H.E.S.S. observations. However, we show that either a smaller viewing angle or a larger external density would make similar off-axis events detectable in the future at VHE, even above 100 Mpc with the sensitivity of the CTA. Large external densities are expected in the case of fast mergers, but the existence of a formation channel for such binary neutron stars is still uncertain. We highlight that VHE afterglow detections would help probing efficiently such systems.


title: M3T: A New Benchmark Dataset for Multi-Modal Document-Level Machine Translation

abstract: Document translation poses a challenge for Neural Machine Translation (NMT) systems. Most document-level NMT systems rely on meticulously curated sentence-level parallel data, assuming flawless extraction of text from documents along with their precise reading order. These systems also tend to disregard additional visual cues such as the document layout, deeming it irrelevant. However, real-world documents often possess intricate text layouts that defy these assumptions. Extracting information from Optical Character Recognition (OCR) or heuristic rules can result in errors, and the layout (e.g., paragraphs, headers) may convey relationships between distant sections of text. This complexity is particularly evident in widely used PDF documents, which represent information visually. This paper addresses this gap by introducing M3T, a novel benchmark dataset tailored to evaluate NMT systems on the comprehensive task of translating semi-structured documents. This dataset aims to bridge the evaluation gap in document-level NMT systems, acknowledging the challenges posed by rich text layouts in real-world applications.