title: Discrete constant mean curvature cylinders and isothermic tori

abstract: We consider the monodromy problem of Darboux transforms of discrete isothermic surfaces using the integrable theory of discrete polarised curves. Then we provide, for the first time, closed-form discrete parametrisations of discrete isothermic cylinders, discrete constant mean curvature cylinders, and discrete isothermic tori.


title: Dark matter search in dwarf irregular galaxies with ten years of data from the IceCube neutrino observatory

abstract: Dwarf irregular galaxies (dIrrs), as rotationally-supported systems, have more reliable J-factor measurements than dwarf spheroidal galaxies and have received attention as targets for dark matter detection in recent years. In this paper, we use 10 years of IceCube muon-track data and an unbinned maximum-likelihood-ratio method to search for neutrino signals beyond the background from the directions of 7 dIrrs, aiming to detect neutrinos produced by heavy annihilation dark matter. We do not detect any significant signal. Based on such null results, we calculate the upper limits on the velocity-averaged annihilation cross section for 1 TeV - 10 PeV dark matter. Our limits, although weaker than the strictest constraints in the literature in this mass range, are also a good complement to the existing results considering the more reliable J-factor measurements of dIrrs.


title: A rigidity result for coisotropic submanifolds in contact geometry

abstract: We study coisotropic deformations of a compact regular coisotropic submanifold $C$ in a contact manifold $(M,\xi)$. Our main result states that $C$ is rigid among nearby coisotropic submanifolds whose characteristic foliation is diffeomorphic to that of $C$. When combined with a classical rigidity result for foliations, this yields conditions under which $C$ is rigid among all nearby coisotropic submanifolds.


title: On the Depth of Generalized Binomial Edge Ideals

abstract: This research focuses on analyzing the depth of generalized binomial edge ideals. We extend the notion of $d$-compatible map for the pairs of a complete graph and an arbitrary graph, and using it, we give a combinatorial lower bound for the depth of generalized binomial edge ideals. Subsequently, we determine an upper bound for the depth of generalized binomial edge ideals in terms of the vertex-connectivity of graphs. We demonstrate that the difference between the upper and lower bounds can be arbitrarily large, even in cases when one of the bounds is sharp. In addition, we calculate the depth of generalized binomial edge ideals of certain classes of graphs, including cyclic graphs and graphs with Cohen-Macaulay binomial edge ideals.


title: CTMCs with Imprecisely Timed Observations

abstract: Labeled continuous-time Markov chains (CTMCs) describe processes subject to random timing and partial observability. In applications such as runtime monitoring, we must incorporate past observations. The timing of these observations matters but may be uncertain. Thus, we consider a setting in which we are given a sequence of imprecisely timed labels called the evidence. The problem is to compute reachability probabilities, which we condition on this evidence. Our key contribution is a method that solves this problem by unfolding the CTMC states over all possible timings for the evidence. We formalize this unfolding as a Markov decision process (MDP) in which each timing for the evidence is reflected by a scheduler. This MDP has infinitely many states and actions in general, making a direct analysis infeasible. Thus, we abstract the continuous MDP into a finite interval MDP (iMDP) and develop an iterative refinement scheme to upper-bound conditional probabilities in the CTMC. We show the feasibility of our method on several numerical benchmarks and discuss key challenges to further enhance the performance.


title: A Weibull Mixture Cure Frailty Model for High-dimensional Covariates

abstract: A novel mixture cure frailty model is introduced for handling censored survival data. Mixture cure models are preferable when the existence of a cured fraction among patients can be assumed. However, such models are heavily underexplored: frailty structures within cure models remain largely undeveloped, and furthermore, most existing methods do not work for high-dimensional datasets, when the number of predictors is significantly larger than the number of observations. In this study, we introduce a novel extension of the Weibull mixture cure model that incorporates a frailty component, employed to model an underlying latent population heterogeneity with respect to the outcome risk. Additionally, high-dimensional covariates are integrated into both the cure rate and survival part of the model, providing a comprehensive approach to employ the model in the context of high-dimensional omics data. We also perform variable selection via an adaptive elastic-net penalization, and propose a novel approach to inference using the expectation-maximization (EM) algorithm. Extensive simulation studies are conducted across various scenarios to demonstrate the performance of the model, and results indicate that our proposed method outperforms competitor models. We apply the novel approach to analyze RNAseq gene expression data from bulk breast cancer patients included in The Cancer Genome Atlas (TCGA) database. A set of prognostic biomarkers is then derived from selected genes, and subsequently validated via both functional enrichment analysis and comparison to the existing biological literature. Finally, a prognostic risk score index based on the identified biomarkers is proposed and validated by exploring the patients' survival.


title: Scalar Representation of 2D Steady Vector Fields

abstract: We introduce a representation of a 2D steady vector field ${{\mathbf v}}$ by two scalar fields $a$, $b$, such that the isolines of $a$ correspond to stream lines of ${{\mathbf v}}$, and $b$ increases with constant speed under integration of ${{\mathbf v}}$. This way, we get a direct encoding of stream lines, i.e., a numerical integration of ${{\mathbf v}}$ can be replaced by a local isoline extraction of $a$. To guarantee a solution in every case, gradient-preserving cuts are introduced such that the scalar fields are allowed to be discontinuous in the values but continuous in the gradient. Along with a piecewise linear discretization and a proper placement of the cuts, the fields $a$ and $b$ can be computed. We show several evaluations on non-trivial vector fields.


title: Curves on powers of hyperelliptic Jacobians

abstract: For a curve of genus at least four which is either very general or very general hyperelliptic, we classify all ways in which a power of its Jacobian can be isogenous to a product of Jacobians of curves. As an application, we show that, for a very general principally polarized abelian variety of dimension at least four, or the intermediate Jacobian of a very general cubic threefold, no power is isogenous to a product of Jacobians of curves. This confirms some cases of the Coleman-Oort conjecture. We further deduce from our results some progress on the question whether the integral Hodge conjecture fails for such abelian varieties.


title: 360DVD: Controllable Panorama Video Generation with 360-Degree Video Diffusion Model

abstract: Panorama video recently attracts more interest in both study and application, courtesy of its immersive experience. Due to the expensive cost of capturing 360-degree panoramic videos, generating desirable panorama videos by prompts is urgently required. Lately, the emerging text-to-video (T2V) diffusion methods demonstrate notable effectiveness in standard video generation. However, due to the significant gap in content and motion patterns between panoramic and standard videos, these methods encounter challenges in yielding satisfactory 360-degree panoramic videos. In this paper, we propose a pipeline named 360-Degree Video Diffusion model (360DVD) for generating 360-degree panoramic videos based on the given prompts and motion conditions. Specifically, we introduce a lightweight 360-Adapter accompanied by 360 Enhancement Techniques to transform pre-trained T2V models for panorama video generation. We further propose a new panorama dataset named WEB360 consisting of panoramic video-text pairs for training 360DVD, addressing the absence of captioned panoramic video datasets. Extensive experiments demonstrate the superiority and effectiveness of 360DVD for panorama video generation. Our project page is at https://akaneqwq.github.io/360DVD/.


title: Enhancing Throughput for TTEthernet via Co-optimizing Routing and Scheduling: An Online Time-Varying Graph-based Method

abstract: Time-Triggered Ethernet (TTEthernet) has been widely applied in many scenarios such as industrial internet, automotive electronics, and aerospace, where offline routing and scheduling for TTEthernet has been largely investigated. However, predetermined routes and schedules cannot meet the demands in some agile scenarios, such as smart factories, autonomous driving, and satellite network switching, where the transmission requests join in and leave the network frequently. Thus, we study the online joint routing and scheduling problem for TTEthernet. However, balancing efficient and effective routing and scheduling in an online environment can be quite challenging. To ensure high-quality and fast routing and scheduling, we first design a time-slot expanded graph (TSEG) to model the available resources of TTEthernet over time. The fine-grained representation of TSEG allows us to select a time slot via selecting an edge, thus transforming the scheduling problem into a simple routing problem. Next, we design a dynamic weighting method for each edge in TSEG and further propose an algorithm to co-optimize the routing and scheduling. Our scheme enhances the TTEthernet throughput by co-optimizing the routing and scheduling to eliminate potential conflicts among flow requests, as compared to existing methods. The extensive simulation results show that our scheme runs >400 times faster than standard solutions (i.e., ILP solver), while the gap is only 2% to the optimally scheduled number of flow requests. Besides, as compared to existing schemes, our method can improve the successfully scheduled number of flows by more than 18%.


title: TestSpark: IntelliJ IDEA's Ultimate Test Generation Companion

abstract: Writing software tests is laborious and time-consuming. To address this, prior studies introduced various automated test-generation techniques. A well-explored research direction in this field is unit test generation, wherein artificial intelligence (AI) techniques create tests for a method/class under test. While many of these techniques have primarily found applications in a research context, existing tools (e.g., EvoSuite, Randoop, and AthenaTest) are not user-friendly and are tailored to a single technique. This paper introduces TestSpark, a plugin for IntelliJ IDEA that enables users to generate unit tests with only a few clicks directly within their Integrated Development Environment (IDE). Furthermore, TestSpark also allows users to easily modify and run each generated test and integrate them into the project workflow. TestSpark leverages the advances of search-based test generation tools, and it introduces a technique to generate unit tests using Large Language Models (LLMs) by creating a feedback cycle between the IDE and the LLM. Since TestSpark is an open-source (https://github.com/JetBrains-Research/TestSpark), extendable, and well-documented tool, it is possible to add new test generation methods into the plugin with the minimum effort. This paper also explains our future studies related to TestSpark and our preliminary results. Demo video: https://youtu.be/0F4PrxWfiXo


title: Understanding the Nonlinear Response of SiPMs

abstract: A systematic study of the nonlinear response of Silicon Photomultipliers (SiPMs) has been conducted through Monte Carlo simulations. SiPMs have been proven to show a universal nonlinear response when it is expressed in terms of relative parameters independent of both the gain and the photon detection efficiency (PDE). Nonlinearity has been shown to mainly depend on the balance between the photon rate and the pixel recovery time. However, exponential-like and finite light pulses have been found to lead to different nonlinear behaviors, which also depend on the correlated noise, the overvoltage dependence of the PDE, and the impedance of the readout circuit. Correlated noise has been shown to have a minor impact on nonlinearity, but it can significantly affect the shape of the SiPM output current. Considering these dependencies and previous statistical analysis of the nonlinear response of SiPMs, two simple fitting models have been proposed for exponential-like and finite light pulses, explaining the role of their various terms and parameters. Even though these models have only three fitting parameters, they provide an accurate description of the nonlinear response of SiPMs for a wide range of situations.

categories: physics.ins-det hep-ex nucl-ex physics.med-ph


title: Cyborgs for strategic communication on social media

abstract: Social media platforms are a key ground of information consumption and dissemination. Key figures like politicians, celebrities and activists have leveraged on its wide user base for strategic communication. Strategic communications, or StratCom, is the deliberate act of information creation and distribution. Its techniques are used by these key figures for establishing their brand and amplifying their messages. Automated scripts are used on top of personal touches to quickly and effectively perform these tasks. The combination of automation and manual online posting creates a Cyborg social media profile, which is a hybrid between bot and human. In this study, we establish a quantitative definition for a Cyborg account, which is an account that are detected as bots in one time window, and identified as humans in another. This definition makes use of frequent changes of bot classification labels and large differences in bot likelihood scores to identify Cyborgs. We perform a large-scale analysis across over 3.1 million users from Twitter collected from two key events, the 2020 Coronavirus pandemic and 2020 US Elections. We extract Cyborgs from two datasets and employ tools from network science, natural language processing and manual annotation to characterize Cyborg accounts. Our analyses identify Cyborg accounts are mostly constructed for strategic communication uses, have a strong duality in their bot/human classification and are tactically positioned in the social media network, aiding these accounts to promote their desired content. Cyborgs are also discovered to have long online lives, indicating their ability to evade bot detectors, or the graciousness of platforms to allow their operations.


title: Mapping Transformer Leveraged Embeddings for Cross-Lingual Document Representation

abstract: Recommendation systems, for documents, have become tools to find relevant content on the Web. However, these systems have limitations when it comes to recommending documents in languages different from the query language, which means they might overlook resources in non-native languages. This research focuses on representing documents across languages by using Transformer Leveraged Document Representations (TLDRs) that are mapped to a cross-lingual domain. Four multilingual pre-trained transformer models (mBERT, mT5 XLM RoBERTa, ErnieM) were evaluated using three mapping methods across 20 language pairs representing combinations of five selected languages of the European Union. Metrics like Mate Retrieval Rate and Reciprocal Rank were used to measure the effectiveness of mapped TLDRs compared to non-mapped ones. The results highlight the power of cross-lingual representations achieved through pre-trained transformers and mapping approaches suggesting a promising direction for expanding beyond language connections, between two specific languages.


title: Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions

abstract: We characterise the category of finite-dimensional Hilbert spaces and linear contractions using simple category-theoretic axioms that do not refer to norms, continuity, dimension, or real numbers. Our proof directly relates limits in category theory to limits in analysis, using a new variant of the classical characterisation of the real numbers instead of Sol\`er's theorem.


title: A study of the Wamsley group and its Sylow subgroups

abstract: We study the Wamsley group $\langle X,Y,Z\,|\, X^Z=X^\alpha, {}^Z Y=Y^\beta, Z^\gamma=[X,Y]\rangle$ and its Sylow subgroups, where $\alpha^\gamma\neq 1\neq \beta^\gamma$ and $\gamma>0$, obtaining the sharpest results when $\alpha=\beta$.


title: Space-Time Nonlocal Metasurfaces for Event-Based Image Processing

abstract: Analog computation with passive optical components can enhance processing speeds and reduce power consumption, recently attracting renewed interest thanks to the opportunities enabled by metasurfaces. Basic image processing tasks, such as spatial differentiation, have been recently demonstrated based on engineered nonlocalities in metasurfaces, but next-generation computational schemes require more advanced capabilities. Here, we tailor nonlocalities in space and time to design a metasurface that can perform mixed spatio-temporal differentiation of an input image, realizing event-based edge detection with a passive ultrathin silicon-based structured film compatible with standard fabrication techniques. The metasurface detects the object edges only when the object moves, and its design can be tailored to selectively enhance objects moving at desired speeds. Our results point towards fully-passive processing of spatio-temporal signals, for highly compact neuromorphic cameras.


title: Positive Ricci Curvature on Twisted Suspensions

abstract: The twisted suspension of a manifold is obtained by surgery along the fibre of a principal circle bundle over the manifold. It generalizes the spinning operation for knots and preserves various topological properties. In this article, we show that Riemannian metrics of positive Ricci curvature can be lifted along twisted suspensions. As an application we show that the maximal symmetry rank of a closed, simply-connected Riemannian manifold of positive Ricci curvature is $(n-2)$ in all dimensions $n\geq 4$. Further applications include simply-connected 6-manifolds whose homology has torsion, (rational) homology spheres in all dimensions at least 4, and manifolds with prescribed third homology.


title: Dynamic Behaviour of Connectionist Speech Recognition with Strong Latency Constraints

abstract: This paper describes the use of connectionist techniques in phonetic speech recognition with strong latency constraints. The constraints are imposed by the task of deriving the lip movements of a synthetic face in real time from the speech signal, by feeding the phonetic string into an articulatory synthesiser. Particular attention has been paid to analysing the interaction between the time evolution model learnt by the multi-layer perceptrons and the transition model imposed by the Viterbi decoder, in different latency conditions. Two experiments were conducted in which the time dependencies in the language model (LM) were controlled by a parameter. The results show a strong interaction between the three factors involved, namely the neural network topology, the length of time dependencies in the LM and the decoder latency.


title: Soliton formation in an exciton-polariton condensate at a bound state in the continuum

abstract: Bound states in the continuum (BIC) are of special interest in photonics due to their theoretically infinite radiative lifetime. Here, we design a structure composed of a GaN layer with guided exciton-polaritons and a TiO$_2$ 1D photonic crystal slab. The photonic BIC hosted by the photonic crystal slab couples with the excitons of GaN to form a polaritonic BIC with a negative mass. This allows condensation to be reached with a low threshold in a structure suitable for electrical injection, paving the way for room-temperature polariton microdevices. We study in detail how the repulsive interaction between exciton-polaritons affects the condensate distribution in reciprocal space and, consequently, the condensate's overlap with the BIC resonance and, therefore, the condensate lifetime. We study an intrinsic contribution related to the formation of a bright soliton and the extrinsic contribution related to the interaction with an excitonic reservoir induced by spatially focused non-resonant pumping. We then study the peculiar dynamics of the condensation process in a BIC state for interacting particles using Boltzmann equations and hybrid Boltzmann-Gross Pitaevskii equations. We find optimal conditions allowing one to benefit from the long lifetime of the BIC for polariton condensation in a real structure.


title: Printing Mosaics of Magnetically Programmed Liquid Crystal Directors for Reversibly Morphing Soft Matter

abstract: Liquid crystal elastomer (LCE) has been intensively utilized in 4D printing techniques to fabricate smart structures with reversible actuation on the basis of appropriate alignment of liquid crystal (LC) molecules. As a non-contact alignment strategy with a controllability of orientation, magnetic-field alignment has been rarely adapted in 4D printing of LCE because of its poor printing efficiency and demand on large field strength. Here, we report a digital light projection (DLP) system integrated with reorientable magnetic field to facilely print smart LCE structures. We propose a new LCE precursor solution that maintains a liquid crystalline nematic phase and an adequate flowability at room temperature. The resin prior to photopolymerization can be sufficiently aligned by a magnetic field with a strength of 500 mT in seconds without temperature elevating or cycling. Consequential printed structures are capable of presenting an impressive reversible thermal actuation of more than 30 %. The local and arbitrary magnetic-field alignment in layers during DLP printing is characterized, which renders us the ability to construct smart structures with more delicate LC alignments. Furthermore, we introduce the selective deformation of LCE structures with programmed molecular orientation using the photo-thermal effect. Our reported approach reveals the significant potential for fabricating morphing structures in various fields, including soft robotics, biomedical structures, and microelectronics. ({\dag}These authors contributed equally.)


title: Prometheus-Vision: Vision-Language Model as a Judge for Fine-Grained Evaluation

abstract: Assessing long-form responses generated by Vision-Language Models (VLMs) is challenging. It not only requires checking whether the VLM follows the given instruction but also verifying whether the text output is properly grounded on the given image. Inspired by the recent approach of evaluating LMs with LMs, in this work, we propose to evaluate VLMs with VLMs. For this purpose, we present a new feedback dataset called the Perception Collection, encompassing 15K customized score rubrics that users might care about during assessment. Using the Perception Collection, we train Prometheus-Vision, the first open-source VLM evaluator model that can understand the user-defined score criteria during evaluation. Prometheus-Vision shows the highest Pearson correlation with human evaluators and GPT-4V among open-source models, showing its effectiveness for transparent and accessible evaluation of VLMs. We open-source our code, dataset, and model at https://github.com/kaistAI/prometheus-vision


title: Nonconvex Deterministic Matrix Completion by Projected Gradient Descent Methods

abstract: We study deterministic matrix completion problem, i.e., recovering a low-rank matrix from a few observed entries where the sampling set is chosen as the edge set of a Ramanujan graph. We first investigate projected gradient descent (PGD) applied to a Burer-Monteiro least-squares problem and show that it converges linearly to the incoherent ground-truth with respect to the condition number \k{appa} of ground-truth under a benign initialization and large samples. We next apply the scaled variant of PGD to deal with the ill-conditioned case when \k{appa} is large, and we show the algorithm converges at a linear rate independent of the condition number \k{appa} under similar conditions. Finally, we provide numerical experiments to corroborate our results.


title: Optimal quantitative stability of the M\"obius group of the sphere in all dimensions

abstract: In any dimension $n\geq 3$, we prove an optimal stability estimate for the M\"obius group among maps $u\colon \mathbb S^{n-1} \to \mathbb R^n$, of the form $\inf_{\lambda>0,\phi\in \mathrm{M\"ob}(\mathbb S^{n-1})} \int_{\mathbb S^{n-1}}\left|\frac 1\lambda \nabla_{T} u -\nabla_{ T}\phi\right|^{n-1} d\mathcal H^{n-1} \leq C_n \mathcal E_{n-1}(u).$ Here, $\mathcal E_{n-1}(u)$ is a conformally invariant deficit which measures simultaneously lack of conformality and the deviation of $u(\mathbb S^{n-1})$ from being a round sphere in an isoperimetric sense. This entails in particular the following qualitative statement: sequences with vanishing deficit, once appropriately normalized by the action of the M\"obius group, are compact. Both the qualitative and the quantitative results are new for all dimensions $n\geq 4$.


title: On some generalization of the bicyclic semigroup: the topological version

abstract: We show that every Hausdorff Baire topology $\tau$ on $\mathcal{C}=\langle a,b\mid a^2b=a, ab^2=b\rangle$ such that $(\mathcal{C},\tau)$ is a semitopological semigroup is discrete and we construct a nondiscrete Hausdorff semigroup topology on $\mathcal{C}$. We also discuss the closure of a semigroup $\mathcal{C}$ in a semitopological semigroup and prove that $\mathcal{C}$ does not embed into a topological semigroup with the countably compact square.


title: Every Node is Different: Dynamically Fusing Self-Supervised Tasks for Attributed Graph Clustering

abstract: Attributed graph clustering is an unsupervised task that partitions nodes into different groups. Self-supervised learning (SSL) shows great potential in handling this task, and some recent studies simultaneously learn multiple SSL tasks to further boost performance. Currently, different SSL tasks are assigned the same set of weights for all graph nodes. However, we observe that some graph nodes whose neighbors are in different groups require significantly different emphases on SSL tasks. In this paper, we propose to dynamically learn the weights of SSL tasks for different nodes and fuse the embeddings learned from different SSL tasks to boost performance. We design an innovative graph clustering approach, namely Dynamically Fusing Self-Supervised Learning (DyFSS). Specifically, DyFSS fuses features extracted from diverse SSL tasks using distinct weights derived from a gating network. To effectively learn the gating network, we design a dual-level self-supervised strategy that incorporates pseudo labels and the graph structure. Extensive experiments on five datasets show that DyFSS outperforms the state-of-the-art multi-task SSL methods by up to 8.66% on the accuracy metric. The code of DyFSS is available at: https://github.com/q086/DyFSS.


title: On the Boolean Closure of Deterministic Top-Down Tree Automata

abstract: The class of Boolean combinations of tree languages recognized by deterministic top-down tree automata (also known as deterministic root-to-frontier automata) is studied. The problem of determining for a given regular tree language whether it belongs to this class is open. We provide some progress by two results: First, a characterization of this class by a natural extension of deterministic top-down tree automata is presented, and as an application we obtain a convenient method to show that certain regular tree languages are outside this class. In the second result, it is shown that, for fixed $k$, it is decidable whether a regular tree language is a Boolean combination of $k$ tree languages recognized by deterministic top-down tree automata.


title: Physics perspectives of a CMS near-beam proton spectrometer at the HL-LHC

abstract: The High-Luminosity Large Hadron Collider (HL-LHC) is designed to achieve higher instantaneous luminosities, enabling the exploration of the rarest processes of the Standard Model (SM). The CMS collaboration has published an Expression of Interest to pursue the study of the central exclusive production processes, using near-beam detectors. This report details both the expected performance and the scientific potential of the CMS near-beam proton spectrometer at the HL-LHC.


title: Drops of volatile binary mixtures on brush-covered substrates

abstract: We introduce a mesoscopic hydrodynamic model for drops of binary mixtures of volatile partially wetting liquids on brush-covered substrates, i.e., we model the coupled dynamics of spreading, evaporation, imbibition, diffusion and partial demixing of the two volatile components across the three phases - brush, drop and gas. The formulation of the model as gradient dynamics on an underlying free energy functional allows us to systematically account for cross-couplings between the six scalar fields needed to describe the dynamics of both components within each of the three phases. The energy accounts for concentration- and brush state-dependent capillarity and wettability, miscibility of the two components within drop and brush, and entropy in the gas. Finally, the usage of the model is illustrated by employing numerical time simulations to study the dynamics of a sessile drop.


title: Demonstration of dual Shapiro steps in small Josephson junctions

abstract: Bloch oscillations in small Josephson junctions were predicted theoretically as the quantum dual to Josephson oscillations. A significant consequence of this prediction is the emergence of quantized current steps, so-called dual Shapiro steps, when synchronizing Bloch oscillations to an external microwave signal. These steps potentially enable a fundamental standard of current $I$, defined via the frequency $f$ of the external signal and the elementary charge $e$, $I=\pm n \times 2ef$, where $n$ is a natural number. Here, we realize this fundamental relation by synchronizing the Bloch oscillations in small Al/AlO$_\mathrm{x}$/Al Josephson junctions to sinusoidal drives with frequencies varying from $1$ to $6\:\mathrm{GHz}$ and observe dual Shapiro steps up to $I\approx 3 \: \mathrm{nA}$. Inspired by today's voltage standards and to further confirm the duality relation, we investigate a pulsed drive regime, which is dual to the single flux quantum mode of Josephson oscillations, and observe a similar asymmetric pattern of dual Shapiro steps. This work confirms quantum duality effects in Josephson junctions and paves the way towards a range of applications in quantum metrology based on well-established fabrication techniques and straightforward circuit design.


title: Invariants of surfaces in smooth 4-manifolds from link homology

abstract: We construct analogs of Khovanov-Jacobsson classes and the Rasmussen invariant for links in the boundary of any smooth oriented 4-manifold. The main tools are skein lasagna modules based on equivariant and deformed versions of $\mathfrak{gl}_N$ link homology, for which we prove non-vanishing and decomposition results.


title: A proposal to increase data utility on Global Differential Privacy data based on data use predictions

abstract: This paper presents ongoing research focused on improving the utility of data protected by Global Differential Privacy(DP) in the scenario of summary statistics. Our approach is based on predictions on how an analyst will use statistics released under DP protection, so that a developer can optimise data utility on further usage of the data in the privacy budget allocation. This novel approach can potentially improve the utility of data without compromising privacy constraints. We also propose a metric that can be used by the developer to optimise the budget allocation process.


title: Automated Security Findings Management: A Case Study in Industrial DevOps

abstract: In recent years, DevOps, the unification of development and operation workflows, has become a trend for the industrial software development lifecycle. Security activities turned into an essential field of application for DevOps principles as they are a fundamental part of secure software development in the industry. A common practice arising from this trend is the automation of security tests that analyze a software product from several perspectives. To effectively improve the security of the analyzed product, the identified security findings must be managed and looped back to the project team for stakeholders to take action. This management must cope with several challenges ranging from low data quality to a consistent prioritization of findings while following DevOps aims. To manage security findings with the same efficiency as other activities in DevOps projects, a methodology for the management of industrial security findings minding DevOps principles is essential. In this paper, we propose a methodology for the management of security findings in industrial DevOps projects, summarizing our research in this domain and presenting the resulting artifact. As an instance of the methodology, we developed the Security Flama, a semantic knowledge base for the automated management of security findings. To analyze the impact of our methodology on industrial practice, we performed a case study on two DevOps projects of a multinational industrial enterprise. The results emphasize the importance of using such an automated methodology in industrial DevOps projects, confirm our approach's usefulness and positive impact on the studied projects, and identify the communication strategy as a crucial factor for usability in practice.


title: Mutual Enhancement of Large Language and Reinforcement Learning Models through Bi-Directional Feedback Mechanisms: A Case Study

abstract: Large Language Models (LLMs) have demonstrated remarkable capabilities for reinforcement learning (RL) models, such as planning and reasoning capabilities. However, the problems of LLMs and RL model collaboration still need to be solved. In this study, we employ a teacher-student learning framework to tackle these problems, specifically by offering feedback for LLMs using RL models and providing high-level information for RL models with LLMs in a cooperative multi-agent setting. Within this framework, the LLM acts as a teacher, while the RL model acts as a student. The two agents cooperatively assist each other through a process of recursive help, such as "I help you help I help." The LLM agent supplies abstract information to the RL agent, enabling efficient exploration and policy improvement. In turn, the RL agent offers feedback to the LLM agent, providing valuable, real-time information that helps generate more useful tokens. This bi-directional feedback loop promotes optimization, exploration, and mutual improvement for both agents, enabling them to accomplish increasingly challenging tasks. Remarkably, we propose a practical algorithm to address the problem and conduct empirical experiments to evaluate the effectiveness of our method.


title: Identifying Policy Gradient Subspaces

abstract: Policy gradient methods hold great potential for solving complex continuous control tasks. Still, their training efficiency can be improved by exploiting structure within the optimization problem. Recent work indicates that supervised learning can be accelerated by leveraging the fact that gradients lie in a low-dimensional and slowly-changing subspace. In this paper, we conduct a thorough evaluation of this phenomenon for two popular deep policy gradient methods on various simulated benchmark tasks. Our results demonstrate the existence of such gradient subspaces despite the continuously changing data distribution inherent to reinforcement learning. These findings reveal promising directions for future work on more efficient reinforcement learning, e.g., through improving parameter-space exploration or enabling second-order optimization.


title: Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae

abstract: We extend the techniques in [BKK] to the non-simply-laced situation, and calculate explicit special values of parabolic affine inverse Kazhdan-Lusztig polynomials for subregular nilpotent orbits. We thus obtain explicit character formulas for certain irreducible representations of affine Lie algebras. To do so, using the geometry of the Springer resolution, we identify the cell quotient of the anti-spherical module over $\widehat{W}$ corresponding to the subregular cell with a certain one-dimensional extension of a module defined by Lusztig in [Lus83]. We describe the canonical basis in this module geometrically and present an explicit description of the corresponding objects in the derived category of equivariant coherent sheaves on the Springer resolution. They correspond to irreducible objects in the heart of a certain $t$-structure that we describe using an equivariant version of the derived McKay correspondence.


title: Rapid screening of molecular beam epitaxy conditions for monoclinic (InxGa1-x)2O3 alloys

abstract: Molecular beam epitaxy is one of the highest quality growth methods, capable of achieving theoretical material property limits and unprecedented device performance. However, such ultimate quality usually comes at the cost of painstaking optimization of synthesis conditions and slow experimental iteration rates. Here we report on high-throughput molecular beam epitaxy with rapid screening of synthesis conditions using a novel cyclical growth and in-situ etch method. This novel approach leverages sub-oxide desorption present during molecular beam epitaxy and as such should be broadly applicable to other material systems. As a proof of concept, this method is applied to rapidly investigate the growth space for the ternary alloy (InxGa1-x)2O3 on (010) oriented beta-Ga2O3 substrates using in-situ reflection high energy electron diffraction measurements. Two distinct growth regimes are identified and analyzed using machine learning image recognition algorithms, the first stabilizing a streaky 2x surface reconstruction typical of In-catalyzed beta-Ga2O3 growth, and the second exhibiting a spotty/faceted pattern typical of phase separation. Targeted growth of (InxGa1-x)2O3 is performed under conditions near the boundary of the two regimes resulting in a 980 nm thick epitaxial layer with In mole fraction up to 5.6%. The cyclical growth/etch method retains the ~1 nm surface roughness of the single crystal substrate, increases experimental throughput approximately 6x, and improves single crystal substrate utilization by >40x. The high-throughput MBE method enables rapid discovery of growth regimes for ultra-wide bandgap oxide alloys for power conversion devices operating with high efficiency at high voltages and temperatures, as well as optical devices such as ultraviolet photodetectors.


title: Envelopes of the Thurston metric on Teichm\"uller space

abstract: For the Thurston (asymmetric) metric on Teichm\"uller space, the deficiency from being uniquely geodesic is described by the envelope, defined as the union of geodesics from the initial point to the terminal point. Using the harmonic stretch lines we defined recently, we describe the shape of envelopes as a cone over a cone over a space, defined from a topological invariant of the initial and terminal points. We prove that envelopes vary continuously with their endpoints. We also provide a parametrization of out-envelopes and in-envelopes in terms of straightened measured laminations complementary to the prescribed maximally stretched laminations. We extend most of these results to the metrically infinite envelopes which have a terminal point on the Thurston boundary, illustrating some of the nuances of these with examples, and describing the accumulation set. Finally, we develop a new characterization of harmonic stretch lines that avoids a limiting process.


title: A 3D picture of moist-convection inhibition in hydrogen-rich atmospheres: Implications for K2-18 b

abstract: While small, Neptune-like planets are among the most abundant exoplanets, our understanding of their atmospheric structure and dynamics remains sparse. In particular, many unknowns remain on the way moist convection works in these atmospheres where condensable species are heavier than the non-condensable background gas. While it has been predicted that moist convection could shut-down above some threshold abundance of these condensable species, this prediction is based on simple linear analysis and relies on strong assumptions on the saturation of the atmosphere. To investigate this issue, we develop a 3D cloud resolving model for H2 atmospheres with large amounts of condensable species and apply this model to a prototypical temperate Neptune-like planet -- K2-18b. Our model confirms the shut-down of moist convection and the onset of a stably stratified layer in the atmosphere, leading to much hotter deep atmospheres and interiors. Our 3D simulations further provide quantitative estimates of the turbulent mixing in this stable layer, which is a key driver of the cycling of condensables in the atmosphere. This allows us to build a very simple, yet realistic 1D model that captures the most salient features of the structure of Neptune-like atmospheres. Our qualitative findings on the behavior of moist convection in hydrogen atmospheres go beyond temperate planets and should also apply to the regions where iron and silicates condense in the deep interior of H2-dominated planets. Finally, we use our model to investigate the likelihood of a liquid ocean beneath a H2 dominated atmosphere on K2-18b. We find that the planet would need to have a very high albedo (>0.5-0.6) to sustain a liquid ocean. However, due to the spectral type of the star, the amount of aerosol scattering that would be needed to provide such a high albedo is inconsistent with the latest observational data.


title: Incorporating $DD\pi$ effects and left-hand cuts in lattice QCD studies of the $T_{cc}(3875)^+$

abstract: We generalize the relativistic field-theoretic three-particle finite-volume scattering formalism to describe generic $DD\pi$ systems in the charm $C=2$ sector. This includes the isospin-0 channel, in which the recently discovered doubly-charmed tetraquark $T_{cc}(3875)^+$ is expected to manifest as a pole in the $DD \pi \to DD \pi$ scattering amplitude. The formalism presented here can also be applied to lattice QCD settings in which the $D^*$ is bound and, in particular, remains valid below the left-hand cut in $D D^*$ scattering, thus resolving an issue in previous analyses of lattice-determined finite-volume energies.


title: The Hand-object Kinematic Model for Bimanual Manipulation

abstract: This paper addresses the planar finger kinematics for seeking optimized manipulation strategies. The first step is to model based on geometric features of linear and rotation motion so that the robot can select the fingers configurations. This kinematic model considers the motion between hands and object. Based on 2-finger manipulation cases, this model can output the strategies for bimanual manipulation. For executing strategies, the second step is to seek the appropriate values of finger joints according to the ending orientation of fingers. The simulation shows that the computed solutions can complete the relative rotation and linear motion of unknown objects.


title: Robust Analysis of Short Panels

abstract: Many structural econometric models include latent variables on whose probability distributions one may wish to place minimal restrictions. Leading examples in panel data models are individual-specific variables sometimes treated as "fixed effects" and, in dynamic models, initial conditions. This paper presents a generally applicable method for characterizing sharp identified sets when models place no restrictions on the probability distribution of certain latent variables and no restrictions on their covariation with other variables. In our analysis latent variables on which restrictions are undesirable are removed, leading to econometric analysis robust to misspecification of restrictions on their distributions which are commonplace in the applied panel data literature. Endogenous explanatory variables are easily accommodated. Examples of application to some static and dynamic binary, ordered and multiple discrete choice and censored panel data models are presented.


title: Leveraging Machine Learning for Wi-Fi-based Environmental Continuous Two-Factor Authentication

abstract: The traditional two-factor authentication (2FA) methods primarily rely on the user manually entering a code or token during the authentication process. This can be burdensome and time-consuming, particularly for users who must be authenticated frequently. To tackle this challenge, we present a novel 2FA approach replacing the user's input with decisions made by Machine Learning (ML) that continuously verifies the user's identity with zero effort. Our system exploits unique environmental features associated with the user, such as beacon frame characteristics and Received Signal Strength Indicator (RSSI) values from Wi-Fi Access Points (APs). These features are gathered and analyzed in real-time by our ML algorithm to ascertain the user's identity. For enhanced security, our system mandates that the user's two devices (i.e., a login device and a mobile device) be situated within a predetermined proximity before granting access. This precaution ensures that unauthorized users cannot access sensitive information or systems, even with the correct login credentials. Through experimentation, we have demonstrated our system's effectiveness in determining the location of the user's devices based on beacon frame characteristics and RSSI values, achieving an accuracy of 92.4%. Additionally, we conducted comprehensive security analysis experiments to evaluate the proposed 2FA system's resilience against various cyberattacks. Our findings indicate that the system exhibits robustness and reliability in the face of these threats. The scalability, flexibility, and adaptability of our system render it a promising option for organizations and users seeking a secure and convenient authentication system.


title: Scattering property for a system of Klein-Gordon equations with energy below ground state

abstract: In the previous work, we classified the solutions to a family of systems of Klein-Gordon equations with non-negative energy below the ground state into two parts: one blows up in finite time while the other extends to a global solution. In the present work, we strengthen this result, showing that these global solutions are indeed scattering in the energy space. Here we adapted Kenig-Merle's concentration-compactness approach to the system.


title: Motion2VecSets: 4D Latent Vector Set Diffusion for Non-rigid Shape Reconstruction and Tracking

abstract: We introduce Motion2VecSets, a 4D diffusion model for dynamic surface reconstruction from point cloud sequences. While existing state-of-the-art methods have demonstrated success in reconstructing non-rigid objects using neural field representations, conventional feed-forward networks encounter challenges with ambiguous observations from noisy, partial, or sparse point clouds. To address these challenges, we introduce a diffusion model that explicitly learns the shape and motion distribution of non-rigid objects through an iterative denoising process of compressed latent representations. The diffusion-based priors enable more plausible and probabilistic reconstructions when handling ambiguous inputs. We parameterize 4D dynamics with latent sets instead of using global latent codes. This novel 4D representation allows us to learn local shape and deformation patterns, leading to more accurate non-linear motion capture and significantly improving generalizability to unseen motions and identities. For more temporally-coherent object tracking, we synchronously denoise deformation latent sets and exchange information across multiple frames. To avoid computational overhead, we designed an interleaved space and time attention block to alternately aggregate deformation latents along spatial and temporal domains. Extensive comparisons against state-of-the-art methods demonstrate the superiority of our Motion2VecSets in 4D reconstruction from various imperfect observations. More detailed information can be found at https://vveicao.github.io/projects/Motion2VecSets/.


title: The cohomology of the connective spectra for {K}-theory revisited

abstract: The stable mod 2 cohomologies of the spectra for connective real and complex K-theories are well known and easy to work with. However, the known bases are in terms of the anti-automorphism of Milnor basis elements. We offer simple bases in terms of admissible sequences of Steenrod operations that come from the Adem relations. In particular, the basis for the complex case is that you don't use any Steenrod operations in degree one or $2^n+1$, $n > 0$.


title: Quantitative grain size estimation on airless bodies from the negative polarization branch. II. Dawn mission targets (4) Vesta and (1) Ceres

abstract: Context. Sunlight scattered from the surface of an airless body is generally partially polarized, and the corresponding polarization state includes information about the scattering surface, such as albedo, surface grain sizes, composition, and taxonomic types. Aims. We conducted polarimetry of two large airless bodies, the Dawn mission targets (1) Ceres and (4) Vesta, in the near-infrared region. We further investigated the change in the polarimetric phase curves over the wavelengths expected from previous works. Methods. We used the Nishiharima Infrared Camera (NIC) installed at the Nishi-Harima Astronomical Observatory (NHAO) to observe these objects at multiple geometric configurations in the J, H, and $\mathrm{K_s}$ bands ($ \lambda \sim 1.2\mathrm{-}2.3 \mathrm{\mu m} $). Results. Polarimetric parameters were determined and compared with previously reported experimental results. In particular, Vesta exhibits a characteristic change in the negative polarization branch as the wavelength increases to the $\mathrm{K_s}$ band, which we interpret as an indication of the dominant existence of $D \sim 10\mathrm{-}20 \mathrm{\mu m}$ particles. Our approach is supported by empirical reasoning and coincides well with an independent, theory-driven approach based on thermal modeling. Conclusions. This work demonstrates how near-infrared polarimetry can be utilized to quantitatively determine the particle size of airless objects. This finding will have important implications for asteroid taxonomy and regolith evolution.


title: Continuous microwave photon counting by semiconductor-superconductor hybrids

abstract: The growing interest in quantum information has enabled the manipulation and readout of microwave photon states with high fidelities. The presently available microwave photon counters, based on superconducting circuits, are limited to non-continuous pulsed mode operation, requiring additional steps for qubit state preparation before an actual measurement. Here, we present a continuous microwave photon counter based on superconducting cavity-coupled semiconductor quantum dots. The device utilizes photon-assisted tunneling in a double quantum dot with tunneling events being probed by a third dot. Our device detects both single and multiple-photon absorption events independently, thanks to the energy tunability of a two-level double-dot absorber. We show that the photon-assisted tunnel rates serve as the measure of the cavity photon state in line with the P(E) theory - a theoretical framework delineating the mediation of the cavity photon field via a two-level environment. We further describe the single photon detection using the Jaynes-Cummings input-output theory and show that it agrees with the P(E) theory predictions.


title: Stabiliser codes over fields of even order

abstract: We prove that the natural isomorphism between GF(2^h) and GF(2)^h induces a bijection between stabiliser codes on n quqits with local dimension q=2^h and binary stabiliser codes on hn qubits. This allows us to describe these codes geometrically: a stabiliser code over a field of even order corresponds to a so-called quantum set of symplectic polar spaces. Moreover, equivalent stabiliser codes have a similar geometry, which can be used to prove the uniqueness of a [[4,0,3]]_4 stabiliser code and the nonexistence of both a [[7,1,4]]_4 and an [[8,0,5]]_4 stabiliser code.


title: PyTy: Repairing Static Type Errors in Python

abstract: Gradual typing enables developers to annotate types of their own choosing, offering a flexible middle ground between no type annotations and a fully statically typed language. As more and more code bases get type-annotated, static type checkers detect an increasingly large number of type errors. Unfortunately, fixing these errors requires manual effort, hampering the adoption of gradual typing in practice. This paper presents PyTy, an automated program repair approach targeted at statically detectable type errors in Python. The problem of repairing type errors deserves specific attention because it exposes particular repair patterns, offers a warning message with hints about where and how to apply a fix, and because gradual type checking serves as an automatic way to validate fixes. We addresses this problem through three contributions: (i) an empirical study that investigates how developers fix Python type errors, showing a diverse set of fixing strategies with some recurring patterns; (ii) an approach to automatically extract type error fixes, which enables us to create a dataset of 2,766 error-fix pairs from 176 GitHub repositories, named PyTyDefects; (iii) the first learning-based repair technique for fixing type errors in Python. Motivated by the relative data scarcity of the problem, the neural model at the core of PyTy is trained via cross-lingual transfer learning. Our evaluation shows that PyTy offers fixes for ten frequent categories of type errors, successfully addressing 85.4% of 281 real-world errors. This effectiveness outperforms state-of-the-art large language models asked to repair type errors (by 2.1x) and complements a previous technique aimed at type errors that manifest at runtime. Finally, 20 out of 30 pull requests with PyTy-suggested fixes have been merged by developers, showing the usefulness of PyTy in practice.


title: TransliCo: A Contrastive Learning Framework to Address the Script Barrier in Multilingual Pretrained Language Models

abstract: The world's more than 7000 languages are written in at least 293 scripts. Due to various reasons, many closely related languages use different scripts, which poses a difficulty for multilingual pretrained language models (mPLMs) in learning crosslingual knowledge through lexical overlap. As a consequence, mPLMs are faced with a script barrier: representations from different scripts are located in different subspaces, which can result in crosslingual transfer involving languages of different scripts performing suboptimally. To address this problem, we propose TransliCo, a framework that optimizes the Transliteration Contrastive Modeling (TCM) objective to fine-tune an mPLM by contrasting sentences in its training data and their transliterations in a unified script (in our case Latin), which enhances uniformity in the representation space for different scripts. Using Glot500-m, an mPLM pretrained on over 500 languages, as our source model, we fine-tune it on a small portion (5%) of its training data, and refer to the resulting model as Furina. We show that Furina not only better aligns representations from distinct scripts but also outperforms the original Glot500-m on various zero-shot crosslingual transfer tasks. Additionally, we achieve consistent improvement in a case study on the Indic group where the languages exhibit areal features but use different scripts. We make our code and models publicly available.


title: Regularity of elliptic equations in double divergence form and applications to Green's function estimates

abstract: We investigate the regularity of elliptic equations in double divergence form, with leading coefficients satisfying the Dini mean oscillation condition. We prove that the solutions are differentiable on the zero level set and derive a pointwise bound for the derivative. As an application, we establish global pointwise estimates for the Green's function of second-order uniformly elliptic operators in non-divergence form, considering Dini mean oscillation coefficients in bounded $C^{1,1}$ domains.


title: Capturing short-range order in high-entropy alloys with machine learning potentials

abstract: Chemical short-range order (SRO) affects the distribution of elements throughout the solid-solution phase of metallic alloys, thereby modifying the background against which microstructural evolution occurs. Investigating such chemistry-microstructure relationships requires atomistic models that act at the appropriate length scales while capturing the intricacies of chemical bonds leading to SRO. Here we consider various approaches for the construction of training data sets for machine learning potentials (MLPs) for CrCoNi and evaluate their performance in capturing SRO and its effects on materials quantities of relevance for mechanical properties, such as stacking-fault energy and phase stability. It is demonstrated that energy accuracy on test sets often does not correlate with accuracy in capturing material properties, which is fundamental in enabling large-scale atomistic simulations of metallic alloys with high physical fidelity. Based on this analysis we systematically derive design principles for the rational construction of MLPs that capture SRO in the crystal and liquid phases of alloys.


title: Liouville-Type Theorems on the Hyperbolic Space

abstract: In this paper, we establish Liouville-type theorems for a one-parameter family of elliptic PDEs on the standard upper half-plane model of the hyperbolic space, under specific geometric assumptions. Our results indicate that the Euclidean half-plane is the only compactification of the hyperbolic space when the scalar curvature of the compactified metric has a designated sign.


title: Generalised Whittaker models as instances of relative Langlands duality II: Plancherel density and global periods

abstract: In an earlier paper of the authors, a general family of instances of the relative Langlands duality of Ben-Zvi-Sakellaridis-Venkatesh [BZSV] were proposed and studied in the setting of branching problems for smooth representations. In this paper, we show the numerical conjectures of [BZSV] for the local Plancherel density, as well as an application to their conjectures on global periods, for this general family of instances.


title: Imaging Shapes of Atomic Nuclei in High-Energy Nuclear Collisions

abstract: Atomic nuclei are self-organized, many-body quantum systems bound by strong nuclear forces within femtometer-scale space. These complex systems manifest a diverse set of shapes~, traditionally explored via non-invasive spectroscopic techniques at low energies. Their instantaneous shapes, obscured by long-timescale quantum fluctuations, are considered not directly observable at low energy. We introduce a complementary method, collective flow assisted nuclear shape imaging, to image the nuclear global shape by colliding them at ultrarelativistic speeds and analyzing the collective response of outgoing debris. This technique captures a collision-specific snapshot of the spatial matter distribution in the nuclei, which, through the hydrodynamic expansion, leaves imprints on the particle momentum distribution patterns observed in detectors. We benchmark this method in collisions of ground state Uranium-238 nuclei, known for its elongated, axial-symmetric shape. Our findings, while confirming an overall deformation broadly consistent with prior low-energy experiments, also indicate a small deviation from axial symmetry in the nuclear ground state. This approach marks a new way of imaging nuclei, especially those with uncertain shape characteristics, and refines initial conditions in high-energy nuclear collisions. It tackles the important issue of nuclear structure evolution across various energy scales.


title: Software-Based Memory Erasure with relaxed isolation requirements: Extended Version

abstract: A Proof of Secure Erasure (PoSE) is a communication protocol where a verifier seeks evidence that a prover has erased its memory within the time frame of the protocol execution. Designers of PoSE protocols have long been aware that, if a prover can outsource the computation of the memory erasure proof to another device, then their protocols are trivially defeated. As a result, most software-based PoSE protocols in the literature assume that provers are isolated during the protocol execution, that is, provers cannot receive help from a network adversary. Our main contribution is to show that this assumption is not necessary. We introduce formal models for PoSE protocols playing against provers aided by external conspirators and develop three PoSE protocols that we prove secure in this context. We reduce the requirement of isolation to the more realistic requirement that the communication with the external conspirator is relatively slow. Software-based protocols with such relaxed isolation assumptions are especially pertinent for low-end devices, where it is too costly to deploy sophisticated protection methods.


title: Device-independent certification of desirable properties with a confidence interval

abstract: In the development of quantum technologies, a reliable means for characterizing quantum devices is crucial. However, the conventional approach based on, e.g., quantum state tomography or process tomography relies on assumptions often not necessarily justifiable in a realistic experimental setting. While the device-independent approach to this problem bypasses the shortcomings above by making only minimal, justifiable assumptions, most of the theoretical proposals to date only work in the idealized setting where i.i.d. trials are assumed. Here, we provide a versatile solution for rigorous device-independent certification that does not rely on the i.i.d. assumption. Specifically, we describe how the prediction-based-ratio (PBR) protocol and martingale-based protocol developed for hypothesis testing can be applied in the present context to achieve a device-independent certification of desirable properties with confidence interval. To illustrate the versatility of these methods, we demonstrate how we can use them to certify, with finite data, the underlying negativity, Hilbert space dimension, entanglement depth, and fidelity to some target pure state. In particular, we give examples showing how the amount of certifiable negativity and fidelity scales with the number of trials, and how many experimental trials one needs to certify a qutrit state space, or the presence of genuine tripartite entanglement. Overall, we have found that the PBR protocol and the martingale-based protocol often offer similar performance, even though the former does have to presuppose any witness. In contrast, our findings also show that the performance of the martingale-based protocol may be severely affected by one's choice of the witness. Intriguingly, a witness useful for self-testing does not necessarily give the optimal confidence-gain rate for certifying the fidelity to the corresponding target state.


title: OOP: Object-Oriented Programming Evaluation Benchmark for Large Language Models

abstract: Advancing automated programming necessitates robust and comprehensive code generation benchmarks, yet current evaluation frameworks largely neglect object-oriented programming (OOP) in favor of functional programming (FP), e.g., HumanEval and MBPP. To address this, our study introduces a pioneering OOP-focused benchmark, featuring 431 Python programs that encompass essential OOP concepts and features like classes and encapsulation methods. We propose a novel evaluation metric, pass@o, tailored for OOP, enhancing traditional pass@k measures. Our evaluation of 23 leading large language models (LLMs), including both general and code-specialized models, reveals three key insights: 1) pass@o offers a more relevant and comprehensive assessment for OOP code generation; 2) Despite excelling in FP, code-specialized LLMs like WizardCoder lag in OOP compared to models like ChatGPT; 3) The poor performance of all advanced LLMs on our OOP benchmark highlights a critical need for improvements in this field. Our benchmark and scripts are publicly released at: https://github.com/alphadl/OOP-eval.


title: Pandemic infection forecasting through compartmental model and learning-based approaches

abstract: The emergence and spread of deadly pandemics has repeatedly occurred throughout history, causing widespread infections and loss of life. The rapid spread of pandemics have made governments across the world adopt a range of actions, including non-pharmaceutical measures to contain its impact. However, the dynamic nature of pandemics makes selecting intervention strategies challenging. Hence, the development of suitable monitoring and forecasting tools for tracking infected cases is crucial for designing and implementing effective measures. Motivated by this, we present a hybrid pandemic infection forecasting methodology that integrates compartmental model and learning-based approaches. In particular, we develop a compartmental model that includes time-varying infection rates, which are the key parameters that determine the pandemic's evolution. To identify the time-dependent infection rates, we establish a hybrid methodology that combines the developed compartmental model and tools from optimization and neural networks. Specifically, the proposed methodology estimates the infection rates by fitting the model to available data, regarding the COVID-19 pandemic in Cyprus, and then predicting their future values through either a) extrapolation, or b) feeding them to neural networks. The developed approach exhibits strong accuracy in predicting infections seven days in advance, achieving low average percentage errors both using the extrapolation (9.90%) and neural network (5.04%) approaches.


title: The ATLAS Trigger System for LHC Run 3 and Trigger performance in 2022

abstract: The ATLAS trigger system is a crucial component of the ATLAS experiment at the LHC. It is responsible for selecting events in line with the ATLAS physics programme. This paper presents an overview of the changes to the trigger and data acquisition system during the second long shutdown of the LHC, and shows the performance of the trigger system and its components in the proton-proton collisions during the 2022 commissioning period as well as its expected performance in proton-proton and heavy-ion collisions for the remainder of the third LHC data-taking period (2022-2025).


title: Generalized exponential pullback attractor for a nonautonomous wave equation

abstract: In this work we introduce the concept of generalized exponential $\mathfrak{D}$-pullback attractor for evolution processes, where $\mathfrak{D}$ is a universe of families in $X$, which is a compact and positively invariant family that pullback attracts all elements of $\mathfrak{D}$ with an exponential rate. Such concept was introduced in arXiv:2311.15630 for the general case of decaying functions (which include the exponential decay), but for fixed bounded sets rather than to universe of families. We prove a result that ensures the existence of a generalized exponential $\mathfrak{D}_{\mathcal{C}^\ast}$-pullback attractor for an evolution process, where $\mathfrak{D}_{\mathcal{C}^\ast}$ is a specific universe. This required an adaptation of the results of arXiv:2311.15630, which only covered the case of a polynomial rate of attraction, for fixed bounded sets. Later, we prove that a nonautonomous wave equation has a generalized exponential $\mathfrak{D}_{\mathcal{C}^\ast}$-pullback attractor. This, in turn, also implies the existence of the $\mathfrak{D}_{\mathcal{C}^\ast}$-pullback attractor for such problem.


title: Balancing baryon and asymmetric dark matter excess

abstract: Effect of the electroweak non-conservation of the baryon number could be a key ingredient to explain the ratio of dark and baryonic densities. If dark matter is explained by dark atoms, in which stable -2n charged particles are bound with n nuclei of primordial helium, and this multiple charged particles possess SU(2) electroweak charges, the excess of -2n charged particles over their antiparticles can be related to baryon excess by sphaleron transitions. It provides relationship between the density of asymmetric dark atom dark matter and baryon asymmetry, The cosmological consequences of sphaleron transitions were considered for the minimal walking technicolor (WTC) model, which provides composite Higgs boson solution for the problem of Higgs boson mass divergence in the Standard model. The realisation of multi-component dark atom scenario is possible because the electric charges of new fermions are not fixed and several types of stable multiple charged states are possible. In particular cases the upper limits for the masses of techniparticles could be found, at which dark atom interpretation of dark matter is possible. These limits challenge search for multiple charged stable particles at the LHC.


title: Ada-Retrieval: An Adaptive Multi-Round Retrieval Paradigm for Sequential Recommendations

abstract: Retrieval models aim at selecting a small set of item candidates which match the preference of a given user. They play a vital role in large-scale recommender systems since subsequent models such as rankers highly depend on the quality of item candidates. However, most existing retrieval models employ a single-round inference paradigm, which may not adequately capture the dynamic nature of user preferences and stuck in one area in the item space. In this paper, we propose Ada-Retrieval, an adaptive multi-round retrieval paradigm for recommender systems that iteratively refines user representations to better capture potential candidates in the full item space. Ada-Retrieval comprises two key modules: the item representation adapter and the user representation adapter, designed to inject context information into items' and users' representations. The framework maintains a model-agnostic design, allowing seamless integration with various backbone models such as RNNs or Transformers. We perform experiments on three widely used public datasets, incorporating five powerful sequential recommenders as backbone models. Our results demonstrate that Ada-Retrieval significantly enhances the performance of various base models, with consistent improvements observed across different datasets. Our code and data are publicly available at: https://github.com/ll0ruc/Ada-Retrieval.


title: CCFC: Bridging Federated Clustering and Contrastive Learning

abstract: Federated clustering, an essential extension of centralized clustering for federated scenarios, enables multiple data-holding clients to collaboratively group data while keeping their data locally. In centralized scenarios, clustering driven by representation learning has made significant advancements in handling high-dimensional complex data. However, the combination of federated clustering and representation learning remains underexplored. To bridge this, we first tailor a cluster-contrastive model for learning clustering-friendly representations. Then, we harness this model as the foundation for proposing a new federated clustering method, named cluster-contrastive federated clustering (CCFC). Benefiting from representation learning, the clustering performance of CCFC even double those of the best baseline methods in some cases. Compared to the most related baseline, the benefit results in substantial NMI score improvements of up to 0.4155 on the most conspicuous case. Moreover, CCFC also shows superior performance in handling device failures from a practical viewpoint.


title: An elementary approach to splittings of unbounded operators

abstract: Using elementary means, we derive the three most popular splittings of $e^{(A+B)}$ and their error bounds in the case when $A$ and $B$ are (possibly unbounded) operators in a Hilbert space, generating strongly continuous semigroups, $e^{tA}$, $e^{tB}$ and $e^{t(A+B)}$. The error of these splittings is bounded in terms of the norm of the commutators $[A, B]$, $[A, [A, B]]$ and $[B, [A, B]]$.


title: On locally compact shift continuous topologies on the semigroup $\boldsymbol{B}_{[0,\infty)}$ with an adjoined compact ideal

abstract: Let $\boldsymbol{B}_{[0,\infty)}$ be the semigroup which is defined in the Ahre paper \cite{Ahre=1981}. The semigroup $\boldsymbol{B}_{[0,\infty)}$ with the induced usual topology $\tau_u$ from $\mathbb{R}^2$, with the topology $\tau_L$ which is generated by the natural partial order on $\boldsymbol{B}_{[0,\infty)}$, and the discrete topology are denoted by $\boldsymbol{B}^1_{[0,\infty)}$, $\boldsymbol{B}^2_{[0,\infty)}$, and $\boldsymbol{B}^{\mathfrak{d}}_{[0,\infty)}$, respectively. We show that if $S_1^I$ ($S_2^I$) is a Hausdorff locally compact semitopological semigroup $\boldsymbol{B}^1_{[0,\infty)}$ ($\boldsymbol{B}^2_{[0,\infty)}$) with an adjoined compact ideal $I$ then either $I$ is an open subset of $S_1^I$ ($S_2^I$) or the semigroup $S_1^I$ ($S_2^I$) is compact. Also, we proved that if $S_{\mathfrak{d}}^I$ is a Hausdorff locally compact semitopological semigroup $\boldsymbol{B}^{\mathfrak{d}}_{[0,\infty)}$ with an adjoined compact ideal $I$ then $I$ is an open subset of $S_{\mathfrak{d}}^I$.


title: Adversarial Examples are Misaligned in Diffusion Model Manifolds

abstract: In recent years, diffusion models (DMs) have drawn significant attention for their success in approximating data distributions, yielding state-of-the-art generative results. Nevertheless, the versatility of these models extends beyond their generative capabilities to encompass various vision applications, such as image inpainting, segmentation, adversarial robustness, among others. This study is dedicated to the investigation of adversarial attacks through the lens of diffusion models. However, our objective does not involve enhancing the adversarial robustness of image classifiers. Instead, our focus lies in utilizing the diffusion model to detect and analyze the anomalies introduced by these attacks on images. To that end, we systematically examine the alignment of the distributions of adversarial examples when subjected to the process of transformation using diffusion models. The efficacy of this approach is assessed across CIFAR-10 and ImageNet datasets, including varying image sizes in the latter. The results demonstrate a notable capacity to discriminate effectively between benign and attacked images, providing compelling evidence that adversarial instances do not align with the learned manifold of the DMs.


title: A Prototype on the Feasibility of Learning Spatial Provenance in XBee and LoRa Networks

abstract: In Vehicle-to-Everything (V2X) networks that involve multi-hop communication, the Road Side Units (RSUs) typically desire to gather the location information of the participating vehicles to provide security and network-diagnostics features. Although Global Positioning System (GPS) based localization is widely used by vehicles for navigation; they may not forward their exact GPS coordinates to the RSUs due to privacy issues. Therefore, to balance the high-localization requirements of RSU and the privacy of the vehicles, we demonstrate a new spatial-provenance framework wherein the vehicles agree to compromise their privacy to a certain extent and share a low-precision variant of its coordinates in agreement with the demands of the RSU. To study the deployment feasibility of the proposed framework in state-of-the-art wireless standards, we propose a testbed of ZigBee and LoRa devices and implement the underlying protocols on their stack using correlated Bloom filters and Rake compression algorithms. Our demonstrations reveal that low-to-moderate precision localization can be achieved in fewer packets, thus making an appealing case for next-generation vehicular networks to include our methods for providing real-time security and network-diagnostics features.


title: A Ginzburg-Landau approach to the vortex-domain wall interaction in superconductors with nematic order

abstract: In this work we study the interaction between vortices and nematic domain walls within the framework of a Ginzburg Landau approach. The free energy of the system is written in terms of a complex order parameter characteristic of $s$-wave superconductivity and a real (Ising type) order parameter associated to nematicity. The interaction between both order parameters is described by a biquadratic and a trilinear derivative term. To study the effects of these interactions we solve the time-dependent dissipative Ginzburg Landau equations using a highly performant pseudospectral method by which we calculate the trajectories of a vortex that, for different coupling parameters, is either attracted or repelled by a wall, as well as of the wall dynamics. We show that despite its simplicity, this theory displays many phenomena observed experimentally in Fe-based superconductors. In particular we find that the sign of the biquadratic term determines the attractive (pining) or repulsive (antipining) character of the interaction, as observed in FeSe and BaFeCoAs compounds respectively. The trilinear term is responsible for the elliptical shape of vortex cores as well as for the orientation of the axes of the ellipses and vortex trajectories with respect to the axes of the structural lattice. For the case of pining, we show that the vortex core is well described by a heart-shaped structure in agreement with STM experiments performed in FeSe.


title: Experimental Contexts Can Facilitate Robust Semantic Property Inference in Language Models, but Inconsistently

abstract: Recent zero-shot evaluations have highlighted important limitations in the abilities of language models (LMs) to perform meaning extraction. However, it is now well known that LMs can demonstrate radical improvements in the presence of experimental contexts such as in-context examples and instructions. How well does this translate to previously studied meaning-sensitive tasks? We present a case-study on the extent to which experimental contexts can improve LMs' robustness in performing property inheritance -- predicting semantic properties of novel concepts, a task that they have been previously shown to fail on. Upon carefully controlling the nature of the in-context examples and the instructions, our work reveals that they can indeed lead to non-trivial property inheritance behavior in LMs. However, this ability is inconsistent: with a minimal reformulation of the task, some LMs were found to pick up on shallow, non-semantic heuristics from their inputs, suggesting that the computational principles of semantic property inference are yet to be mastered by LMs.


title: Computable categoricity relative to a c.e. degree

abstract: A computable graph $\mathcal{G}$ is computably categorical relative to a degree $\mathbf{d}$ if and only if for all $\mathbf{d}$-computable copies $\mathcal{B}$ of $\mathcal{G}$, there is a $\mathbf{d}$-computable isomorphism $f:\mathcal{G}\to\mathcal{B}$. In this paper, we prove that for every computable partially ordered set $P$ and computable partition $P=P_0\sqcup P_1$, there exists a computable computably categorical graph $\mathcal{G}$ and an embedding $h$ of $P$ into the c.e. degrees where $\mathcal{G}$ is computably categorical relative to all degrees in $h(P_0)$ and not computably categorical relative to any degree in $h(P_1)$. This is a generalization of a 2021 result by Downey, Harrison-Trainor, and Melnikov.


title: Elliptic problems with superlinear convection terms

abstract: In this manuscript we deal with elliptic equations with superlinear first order terms in divergence form of the following type \[ -\mbox{div}(M(x)\nabla u)= -\mbox{div}(h(u)E(x))+f(x), \] where $M$ is a bounded elliptic matrix, the vector field $E$ and the function $f$ belong to suitable Lebesgue spaces, and the function $s\to h(s)$ features a superlinear growth at infinity. We provide some existence and non existence results for solutions to the associated Dirichlet problem and a comparison principle.


title: Effects of diversity incentives on sample diversity and downstream model performance in LLM-based text augmentation

abstract: The latest generative large language models (LLMs) have found their application in data augmentation tasks, where small numbers of text samples are LLM-paraphrased and then used to fine-tune downstream models. However, more research is needed to assess how different prompts, seed data selection strategies, filtering methods, or model settings affect the quality of paraphrased data (and downstream models). In this study, we investigate three text diversity incentive methods well established in crowdsourcing: taboo words, hints by previous outlier solutions, and chaining on previous outlier solutions. Using these incentive methods as part of instructions to LLMs augmenting text datasets, we measure their effects on generated texts lexical diversity and downstream model performance. We compare the effects over 5 different LLMs, 6 datasets and 2 downstream models. We show that diversity is most increased by taboo words, but downstream model performance is highest with hints.


title: SeizNet: An AI-enabled Implantable Sensor Network System for Seizure Prediction

abstract: In this paper, we introduce SeizNet, a closed-loop system for predicting epileptic seizures through the use of Deep Learning (DL) method and implantable sensor networks. While pharmacological treatment is effective for some epilepsy patients (with ~65M people affected worldwide), one out of three suffer from drug-resistant epilepsy. To alleviate the impact of seizure, predictive systems have been developed that can notify such patients of an impending seizure, allowing them to take precautionary measures. SeizNet leverages DL techniques and combines data from multiple recordings, specifically intracranial electroencephalogram (iEEG) and electrocardiogram (ECG) sensors, that can significantly improve the specificity of seizure prediction while preserving very high levels of sensitivity. SeizNet DL algorithms are designed for efficient real-time execution at the edge, minimizing data privacy concerns, data transmission overhead, and power inefficiencies associated with cloud-based solutions. Our results indicate that SeizNet outperforms traditional single-modality and non-personalized prediction systems in all metrics, achieving up to 99% accuracy in predicting seizure, offering a promising new avenue in refractory epilepsy treatment.


title: Near-Ultraviolet Radiation toward Molecular Cloud N4 in W 50/SS 433: Evidence for Direct Interaction of the Jet with Molecular Cloud

abstract: We compared the molecular clouds in the western part of SS 433 with near-ultraviolet radiation data obtained from GALEX. Near-ultraviolet radiation is prominently confirmed toward only N4, while no near-ultraviolet radiation is detected toward N1, N2, and N3. The radiative region of near-ultraviolet radiation is nearly the same as the CO-emitting region in N4, and does not extend beyond the jet seen in X-ray radiation. Near-ultraviolet radiation cannot be explained solely by broadband continuous radiation and may originate from line emissions. The intensity of near-ultraviolet radiation exhibits an anti-correlation with that of 13CO(J=3-2) emission. This anti-correlation, along with strong far-infrared radiation in the region with weaker near-ultraviolet radiation intensity compared to its surroundings, suggests that near-ultraviolet radiation originates from behind the molecular cloud, heating up the interstellar dust in N4. Subsequently, the dust in N4 re-radiates in the far-infrared band. In the same region, a high peak T_MB ratio of 12CO(J=3-2)/12CO(J=1-0) of ~0.9, and a high kinetic temperature of T_k ~56 K in the molecular cloud indicate that CO molecules are highly excited, and the molecular cloud is heated through photoelectric heating. This heating results from electrons released due to the photoelectric effect caused by the phenomenon where interstellar dust absorbs near-ultraviolet radiation. In terms of the timescale of near-ultraviolet radiation originating from line emissions, near-ultraviolet radiation towards N4 cannot be explained by the shock of the blast wave from a supernova that created W 50. These findings also suggest that N4 directly interacts with the jet from SS 433. As a result of this direct interaction, near-ultraviolet radiation is emitted from an interacting layer between the jet and N4.


title: Block Majorization Minimization with Extrapolation and Application to $\beta$-NMF

abstract: We propose a Block Majorization Minimization method with Extrapolation (BMMe) for solving a class of multi-convex optimization problems. The extrapolation parameters of BMMe are updated using a novel adaptive update rule. By showing that block majorization minimization can be reformulated as a block mirror descent method, with the Bregman divergence adaptively updated at each iteration, we establish subsequential convergence for BMMe. We use this method to design efficient algorithms to tackle nonnegative matrix factorization problems with the $\beta$-divergences ($\beta$-NMF) for $\beta\in [1,2]$. These algorithms, which are multiplicative updates with extrapolation, benefit from our novel results that offer convergence guarantees. We also empirically illustrate the significant acceleration of BMMe for $\beta$-NMF through extensive experiments.


title: Superorders and acoustic modes folding in BiFeO$_3$/LaFeO$_3$ superlattices

abstract: Superlattices are materials created by the alternating growth of two chemically different materials. The direct consequence of creating a superlattice is the folding of the Brillouin zone which gives rise to additional electronic bands and phonon modes. This has been successfully exploited to achieve new transport and optical properties in semiconductor superlattices, for example. Here, we show that multiferroic BiFeO$_3$/LaFeO$_3$ superlattices are more than just periodic chemical stacking. Using transmission electron microscopy, X-ray diffraction and first-principles calculations, we demonstrate the existence of a new order of FeO$_6$ octahedra, with a period along the growth direction about twice that of the chemical supercell, i.e. a superorder. The effect of this new structural order on the lattice dynamics is studied with ultrafast optical pump-probe experiments. While a mode at 1.2 THz is attributed solely to the chemical modulation of the superlattice, the existence of another 0.7 THz mode seems to be explained only by a double Brillouin zone folding in agreement with the structural description. Our work shows that multiferroic BiFeO$_3$/LaFeO$_3$ superlattices can be used to tune the spectrum of coherent THz phonons, and potentially that of magnons or electromagnons.


title: Real-time MPC with Control Barrier Functions for Autonomous Driving using Safety Enhanced Collocation

abstract: The autonomous driving industry is continuously dealing with more safety-critical scenarios, and nonlinear model predictive control (NMPC) is a powerful control strategy for handling such situations. However, standard safety constraints are not scalable and require a long NMPC horizon. Moreover, the adoption of NMPC in the automotive industry is limited by the heavy computation of numerical optimization routines. To address those issues, this paper presents a real-time capable NMPC for automated driving in urban environments, using control barrier functions (CBFs). Furthermore, the designed NMPC is based on a novel collocation transcription approach, named RESAFE/COL, that allows to reduce the number of optimization variables while still guaranteeing the continuous time (nonlinear) inequality constraints satisfaction, through regional convex hull approximation. RESAFE/COL is proven to be 5 times faster than multiple shooting and more tractable for embedded hardware without a decrease in the performance, nor accuracy and safety of the numerical solution. We validate our NMPC-CBF with RESAFE/COL approach with highly accurate digital twins of the vehicle and the urban environment and show the safe controller's ability to improve crash avoidance by 91%.


title: Data-Efficient Interactive Multi-Objective Optimization Using ParEGO

abstract: Multi-objective optimization is a widely studied problem in diverse fields, such as engineering and finance, that seeks to identify a set of non-dominated solutions that provide optimal trade-offs among competing objectives. However, the computation of the entire Pareto front can become prohibitively expensive, both in terms of computational resources and time, particularly when dealing with a large number of objectives. In practical applications, decision-makers (DMs) will select a single solution of the Pareto front that aligns with their preferences to be implemented; thus, traditional multi-objective algorithms invest a lot of budget sampling solutions that are not interesting for the DM. In this paper, we propose two novel algorithms that employ Gaussian Processes and advanced discretization methods to efficiently locate the most preferred region of the Pareto front in expensive-to-evaluate problems. Our approach involves interacting with the decision-maker to guide the optimization process towards their preferred trade-offs. Our experimental results demonstrate that our proposed algorithms are effective in finding non-dominated solutions that align with the decision-maker's preferences while maintaining computational efficiency.


title: LMI-based robust model predictive control for a quarter car with series active variable geometry suspension

abstract: This paper proposes a robust model predictive control-based solution for the recently introduced series active variable geometry suspension (SAVGS) to improve the ride comfort and road holding of a quarter car. In order to close the gap between the nonlinear multi-body SAVGS model and its linear equivalent, a new uncertain system characterization is proposed that captures unmodeled dynamics, parameter variation, and external disturbances. Based on the newly proposed linear uncertain model for the quarter car SAVGS system, a constrained optimal control problem (OCP) is presented in the form of a linear matrix inequality (LMI) optimization. More specifically, utilizing semidefinite relaxation techniques a state-feedback robust model predictive control (RMPC) scheme is presented and integrated with the nonlinear multi-body SAVGS model, where state-feedback gain and control perturbation are computed online to optimise performance, while physical and design constraints are preserved. Numerical simulation results with different ISO-defined road events demonstrate the robustness and significant performance improvement in terms of ride comfort and road holding of the proposed approach, as compared to the conventional passive suspension, as well as, to actively controlled SAVGS by a previously developed conventional H-infinity control scheme.


title: On geodesic embeddings of hyperbolic surfaces into hyperbolic 3-manifolds

abstract: We consider the problem of when a closed orientable hyperbolic surface admits a totally geodesic embedding into a closed orientable hyperbolic 3-manifold; given a finite isometric group action on the surface, we consider in particular equivariant versions of such an embedding. We prove that an equivariant embedding exists for all finite irreducible group actions on surfaces; such surfaces are known also as quasiplatonic surfaces; in particular, all quasiplatonic surfaces embed geodesically. In the last section, we discuss some cases of more general finite group actions on surfaces.


title: The jittering jets explosion mechanism (JJEM) in electron capture supernovae

abstract: We conduct one-dimensional stellar-evolution simulations of stars with zero age main sequence masses of $M_{ZAMS} = 8.8-9.45 M_\odot$ towards core collapse by electron capture, and find that the convective zone of the pre-collapse core can supply the required stochastic angular momentum fluctuations to set a jet-driven electron capture supernova (ECSN) explosion in the frame of the jittering jets explosion mechanism (JJEM). By our criteria of minimum convective specific angular momentum and an accreted mass during jet-launching of $M_{acc} \simeq 0.001-0.01 M_\odot$, the layer in the convective zone that when accreted launches the exploding jittering jets resides in the helium-rich zone. This exploding layer is accreted at about a minute to a few hours, depending on the model, after core collapse occurs, much shorter than the time the exploding shock crosses the star. The final (gravitational) mass of the neutron star (NS) remnant is in the range of $M_{NS} =1.25-1.43 M_\odot$. Our results add to the growing support of the JJEM as the main explosion mechanism of massive stars.


title: Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler

abstract: Compiler correctness is a cornerstone of reliable software development. However, systematic testing of compilers is infeasible, given the vast space of possible programs and the complexity of modern programming languages. In this context, differential testing offers a practical methodology as it addresses the oracle problem by comparing the output of alternative compilers given the same set of programs as input. In this paper, we investigate the effectiveness of differential testing in finding bugs within the Kotlin compilers developed at JetBrains. We propose a black-box generative approach that creates input programs for the K1 and K2 compilers. First, we build workable models of Kotlin semantic (semantic interface) and syntactic (enriched context-free grammar) language features, which are subsequently exploited to generate random code snippets. Second, we extend random sampling by introducing two genetic algorithms (GAs) that aim to generate more diverse input programs. Our case study shows that the proposed approach effectively detects bugs in K1 and K2; these bugs have been confirmed and (some) fixed by JetBrains developers. While we do not observe a significant difference w.r.t. the number of defects uncovered by the different search algorithms, random search and GAs are complementary as they find different categories of bugs. Finally, we provide insights into the relationships between the size, complexity, and fault detection capability of the generated input programs.


title: Decoupling Pixel Flipping and Occlusion Strategy for Consistent XAI Benchmarks

abstract: Feature removal is a central building block for eXplainable AI (XAI), both for occlusion-based explanations (Shapley values) as well as their evaluation (pixel flipping, PF). However, occlusion strategies can vary significantly from simple mean replacement up to inpainting with state-of-the-art diffusion models. This ambiguity limits the usefulness of occlusion-based approaches. For example, PF benchmarks lead to contradicting rankings. This is amplified by competing PF measures: Features are either removed starting with most influential first (MIF) or least influential first (LIF). This study proposes two complementary perspectives to resolve this disagreement problem. Firstly, we address the common criticism of occlusion-based XAI, that artificial samples lead to unreliable model evaluations. We propose to measure the reliability by the R(eference)-Out-of-Model-Scope (OMS) score. The R-OMS score enables a systematic comparison of occlusion strategies and resolves the disagreement problem by grouping consistent PF rankings. Secondly, we show that the insightfulness of MIF and LIF is conversely dependent on the R-OMS score. To leverage this, we combine the MIF and LIF measures into the symmetric relevance gain (SRG) measure. This breaks the inherent connection to the underlying occlusion strategy and leads to consistent rankings. This resolves the disagreement problem, which we verify for a set of 40 different occlusion strategies.


title: Graph Representation Learning for Parameter Transferability in Quantum Approximate Optimization Algorithm

abstract: The quantum approximate optimization algorithm (QAOA) is one of the most promising candidates for achieving quantum advantage through quantum-enhanced combinatorial optimization. Optimal QAOA parameter concentration effects for special MaxCut problem instances have been observed, but a rigorous study of the subject is still lacking. Due to clustering of optimal QAOA parameters for MaxCut, successful parameter transferability between different MaxCut instances can be explained and predicted based on local properties of the graphs, including the type of subgraphs (lightcones) from which graphs are composed as well as the overall degree of nodes in the graph (parity). In this work, we apply five different graph embedding techniques to determine good donor candidates for parameter transferability, including parameter transferability between different classes of MaxCut instances. Using this technique, we effectively reduce the number of iterations required for parameter optimization, obtaining an approximate solution to the target problem with an order of magnitude speedup. This procedure also effectively removes the problem of encountering barren plateaus during the variational optimization of parameters. Additionally, our findings demonstrate that the transferred parameters maintain effectiveness when subjected to noise, supporting their use in real-world quantum applications. This work presents a framework for identifying classes of combinatorial optimization instances for which optimal donor candidates can be predicted such that QAOA can be substantially accelerated under both ideal and noisy conditions.