title: Non-Neighbors Also Matter to Kriging: A New Contrastive-Prototypical Learning

abstract: Kriging aims at estimating the attributes of unsampled geo-locations from observations in the spatial vicinity or physical connections, which helps mitigate skewed monitoring caused by under-deployed sensors. Existing works assume that neighbors' information offers the basis for estimating the attributes of the unobserved target while ignoring non-neighbors. However, non-neighbors could also offer constructive information, and neighbors could also be misleading. To this end, we propose ``Contrastive-Prototypical'' self-supervised learning for Kriging (KCP) to refine valuable information from neighbors and recycle the one from non-neighbors. As a pre-trained paradigm, we conduct the Kriging task from a new perspective of representation: we aim to first learn robust and general representations and then recover attributes from representations. A neighboring contrastive module is designed that coarsely learns the representations by narrowing the representation distance between the target and its neighbors while pushing away the non-neighbors. In parallel, a prototypical module is introduced to identify similar representations via exchanged prediction, thus refining the misleading neighbors and recycling the useful non-neighbors from the neighboring contrast component. As a result, not all the neighbors and some of the non-neighbors will be used to infer the target. To encourage the two modules above to learn general and robust representations, we design an adaptive augmentation module that incorporates data-driven attribute augmentation and centrality-based topology augmentation over the spatiotemporal Kriging graph data. Extensive experiments on real-world datasets demonstrate the superior performance of KCP compared to its peers with 6% improvements and exceptional transferability and robustness. The code is available at https://github.com/bonaldli/KCP


title: Probing superconducting gap in CeH$_9$ under pressure

abstract: The recent discovery of superconductivity in hydrogen-rich compounds has garnered significant experimental and theoretical interest because of the record-setting critical temperatures. As the direct observation of the superconducting (SC) gap in these superhydrides is rare, the underlying mechanism behind its occurrence has yet to be settled down. Here, we report a successful synthesis of the $\textit{P6$_3$}$/$\textit{mmc}$ phase of CeH$_9$ that exhibits the SC transition with SC critical temperature of about 100 K at a pressure of about 100 GPa. The observation of the zero electrical resistance and the critical current demonstrates that the SC phase is realized in Ce-based superhydride. Quasiparticle scattering spectroscopy (QSS) reveals the Andreev reflection at zero bias voltage, a hallmark of superconductivity, in the differential conductance. The obtained SC gap-to-$\textit{T}$$_c$ ratio of 4.36 and temperature dependence of SC gap are consistent with the prediction from the Bardeen-Cooper-Schrieffer theory with a moderate coupling strength. The successful realization of QSS under Megabar conditions is expected to provide a desired route to the study of the mechanism of superconductivity as well as the establishment of the SC phase in superhydride high-$\textit{T}$$_c$ systems.


title: LLpowershap: Logistic Loss-based Automated Shapley Values Feature Selection Method

abstract: Shapley values have been used extensively in machine learning, not only to explain black box machine learning models, but among other tasks, also to conduct model debugging, sensitivity and fairness analyses and to select important features for robust modelling and for further follow-up analyses. Shapley values satisfy certain axioms that promote fairness in distributing contributions of features toward prediction or reducing error, after accounting for non-linear relationships and interactions when complex machine learning models are employed. Recently, a number of feature selection methods utilising Shapley values have been introduced. Here, we present a novel feature selection method, LLpowershap, which makes use of loss-based Shapley values to identify informative features with minimal noise among the selected sets of features. Our simulation results show that LLpowershap not only identifies higher number of informative features but outputs fewer noise features compared to other state-of-the-art feature selection methods. Benchmarking results on four real-world datasets demonstrate higher or at par predictive performance of LLpowershap compared to other Shapley based wrapper methods, or filter methods.


title: Energy self-extraction of a Kerr black hole with the force-free magnetosphere frame-dragged

abstract: It is shown that the zero-angular-momentum-observers (ZAMOs) circulating with the frame-dragging-angular-velocity $\omega$ plays a leading part in energy extraction. When the condition $\Omega_{\rm F}<\Omega_{\rm H}$ is satisfied, where $\Omega_{\rm H}$ and $\Omega_{\rm F}$ are the horizon and field-line (FL) angular-velocities (AVs), they will see that the null surface S$_{\rm N}$ with $\omega_{\rm N}=\Omega_{\rm F}$ always exists in the force-free magnetosphere. Denoting the ZAMO-measured FLAV with $\Omega_{{\rm F}\omega} \equiv \Omega_{\rm F} - \omega$, this surface S$_{\rm N}$ where $\Omega_{{\rm F}\omega}=0$ defines the gravito-magneto-centrifugal divider of the magnetosphere, with a kind of plasma-shed on it. The outer domain ${D}_{\rm (out)}$ outside S$_{\rm N}$ spins forward ($\Omega_{{\rm F}\omega}>0$), whereas the inner domain ${D}_{\rm (in)}$ inside spins backward ($\Omega_{{\rm F}\omega}<0$). The force-free and freezing-in conditions break down on S$_{\rm N}$, thereby allowing the particle-current sources to be set up on S$_{\rm N}$. Because the electric field ${\bf E}_{\rm p}$ reverses direction there, the Poynting flux reverses direction as well from outward to inward, though the positive angular momentum always flows outwardly. Electromagnetic self-extraction of energy will be possible only through the frame-dragged magnetosphere, with the inner domain ${D}_{\rm (in)}$ nested between the horizon and the surface S$_{\rm N}$, in order to comply with the 1st and 2nd laws of thermodynamics.


title: Dynamics of inertial particles under velocity resetting

abstract: We investigate stochastic resetting in coupled systems involving two degrees of freedom, where only one variable is reset. The resetting variable, which we think of as hidden, indirectly affects the remaining observable variable through correlations. We derive the Fourier-Laplace transform of the observable variable's propagator and provide a recursive relation for all the moments, facilitating a comprehensive examination of the process. We apply this framework to inertial transport processes where we observe particle position while the velocity is hidden and is being reset at a constant rate. We show that velocity resetting results in a linearly growing spatial mean squared displacement at late times, independently of reset-free dynamics, due to resetting-induced tempering of velocity correlations. General expressions for the effective diffusion and drift coefficients are derived as function of resetting rate. Non-trivial dependence on the rate may appear due to multiple timescales and crossovers in the reset-free dynamics. An extension that incorporates refractory periods after each reset is considered, where the post-resetting pauses can lead to anomalous diffusive behavior. Our results are of relevance to a wide range of systems, including inertial transport where mechanical momentum is lost in collisions with the environment, or the behavior of living organisms where stop-and-go locomotion with inertia is ubiquitous. Numerical simulations for underdamped Brownian motion and the random acceleration process confirm our findings.


title: Learning Mean Field Games on Sparse Graphs: A Hybrid Graphex Approach

abstract: Learning the behavior of large agent populations is an important task for numerous research areas. Although the field of multi-agent reinforcement learning (MARL) has made significant progress towards solving these systems, solutions for many agents often remain computationally infeasible and lack theoretical guarantees. Mean Field Games (MFGs) address both of these issues and can be extended to Graphon MFGs (GMFGs) to include network structures between agents. Despite their merits, the real world applicability of GMFGs is limited by the fact that graphons only capture dense graphs. Since most empirically observed networks show some degree of sparsity, such as power law graphs, the GMFG framework is insufficient for capturing these network topologies. Thus, we introduce the novel concept of Graphex MFGs (GXMFGs) which builds on the graph theoretical concept of graphexes. Graphexes are the limiting objects to sparse graph sequences that also have other desirable features such as the small world property. Learning equilibria in these games is challenging due to the rich and sparse structure of the underlying graphs. To tackle these challenges, we design a new learning algorithm tailored to the GXMFG setup. This hybrid graphex learning approach leverages that the system mainly consists of a highly connected core and a sparse periphery. After defining the system and providing a theoretical analysis, we state our learning approach and demonstrate its learning capabilities on both synthetic graphs and real-world networks. This comparison shows that our GXMFG learning algorithm successfully extends MFGs to a highly relevant class of hard, realistic learning problems that are not accurately addressed by current MARL and MFG methods.


title: DVL Calibration using Data-driven Methods

abstract: Autonomous underwater vehicles (AUVs) are used in a wide range of underwater applications, ranging from seafloor mapping to industrial operations. While underwater, the AUV navigation solution commonly relies on the fusion between inertial sensors and Doppler velocity logs (DVL). To achieve accurate DVL measurements a calibration procedure should be conducted before the mission begins. Model-based calibration approaches include filtering approaches utilizing global navigation satellite system signals. In this paper, we propose an end-to-end deep-learning framework for the calibration procedure. Using stimulative data, we show that our proposed approach outperforms model-based approaches by 35% in accuracy and 80% in the required calibration time.


title: Uncertainty quantification in the machine-learning inference from neutron star probability distribution to the equation of state

abstract: We discuss the machine-learning inference and uncertainty quantification for the equation of state (EoS) of the neutron star (NS) matter directly using the NS probability distribution from the observations. We previously proposed a prescription for uncertainty quantification based on ensemble learning by evaluating output variance from independently trained models. We adopt a different principle for uncertainty quantification to confirm the reliability of our previous results. To this end, we carry out the MC sampling of data to infer an EoS and take the convolution with the probability distribution of the observational data. In this newly proposed method, we can deal with arbitrary probability distribution not relying on the Gaussian approximation. We incorporate observational data from the recent multimessenger sources including precise mass measurements and radius measurements. We also quantify the importance of data augmentation and the effects of prior dependence.


title: Energy-based Automated Model Evaluation

abstract: The conventional evaluation protocols on machine learning models rely heavily on a labeled, i.i.d-assumed testing dataset, which is not often present in real world applications. The Automated Model Evaluation (AutoEval) shows an alternative to this traditional workflow, by forming a proximal prediction pipeline of the testing performance without the presence of ground-truth labels. Despite its recent successes, the AutoEval frameworks still suffer from an overconfidence issue, substantial storage and computational cost. In that regard, we propose a novel measure -- Meta-Distribution Energy (MDE) -- that allows the AutoEval framework to be both more efficient and effective. The core of the MDE is to establish a meta-distribution statistic, on the information (energy) associated with individual samples, then offer a smoother representation enabled by energy-based learning. We further provide our theoretical insights by connecting the MDE with the classification loss. We provide extensive experiments across modalities, datasets and different architectural backbones to validate MDE's validity, together with its superiority compared with prior approaches. We also prove MDE's versatility by showing its seamless integration with large-scale models, and easy adaption to learning scenarios with noisy- or imbalanced- labels. Code and data are available: https://github.com/pengr/Energy_AutoEval


title: Availability-aware Service Placement Policy in Fog Computing Based on Graph Partitions

abstract: This paper presents a policy for service placement of fog applications inspired on complex networks and graph theory. We propose a twofold partition process based on communities for the partition of the fog devices and based on transitive closures for the application services partition. The allocation of the services is performed sequentially by, firstly, mapping applications to device communities and, secondly, mapping service transitive closures to fog devices in the community. The underlying idea is to place as many inter-related services as possible in the most nearby devices to the users. The optimization objectives are the availability of the applications and the Quality of Service (QoS) of the system, measured as the number of requests that are executed before the application deadlines. We compared our solution with an Integer Linear Programming approach, and the simulation results showed that our proposal obtains higher QoS and availability when fails in the nodes are considered.


title: Converging Many-Body Perturbation Theory for Ab Initio Nuclear Structure: II. Brillouin-Wigner Perturbation Series for Open-Shell Nuclei

abstract: Brillouin-Wigner (BW) perturbation theory is developed for both ground and excited states of open-shell nuclei. We show that with optimal partitioning of the many-body Hamiltonian proposed earlier by the authors [Z. Li and N. Smirnova, arXiv:2306.13629], one can redefine the BW perturbation series for a given state of the effective Hamiltonian in a small P-space to be converging under the condition that the energy of this state is below the lowest eigenvalue of the Hamiltonian matrix block belonging to the complement of the P-space, characterized by the same good quantum numbers as the state under consideration. Specifically, the BW perturbative calculations for the lowest $J^\pi$ states are always converging due to the variational principle. This property does hold for both soft and hard internucleon interactions in the harmonic oscillator basis. To illustrate this method and check the convergence behavior, we present numerical studies of low-energy spectra of $^{5,6,7}$Li using the Daejeon16 and bare N3LO potentials.


title: Effect of variable crustal density on the surface magnetic field of Radio Pulsars

abstract: We study the surface magnetic field fluctuations due to radial oscillations as a viable cause for the micro structures of the radio pulsar pulse patterns. The electrical conductivity of matter in the outer layer of the crust of a neutron star (NS) plays a crucial role in the resulting surface magnetic field if we assume that the magnetic field is confined to this layer. This outer layer has a rapidly varying matter density - that changes the micro-physics of the material affecting the electrical conductivity at every stage of the density change. In this study, the varying electrical conductivity in this rapidly varying density regime of the outer layer of the NS crust - from $\sim 10^{11}~g~cm^{-3}$ to about $10^4~g~cm^{-3}$ - has been used to calculate the surface magnetic field using the induction equation. A finite effect of the strong gravitational field at the NS surface has also been taken into account. The equations have been solved in MATLAB using the method of lines. Any minor radial fluctuation due to stellar oscillation, in particular the radial oscillations, leads to a fluctuation of the electrical conductivity in the outer layer of the crust. This leads to fluctuations in the surface magnetic field with a frequency equal to the frequency of the stellar oscillation. We find that not only the variation of the surface magnetic field is substantial, but also it does not remain constant throughout the lifetime of the NS.


title: The effect of contact angle hysteresis on a droplet in a viscoelastic two-phase system

abstract: We investigate the dynamic behaviour of a two-dimensional (2D) droplet adhering to a wall in Poiseuille flow at low Reynolds numbers, in a system where either the droplet is viscoelastic (V/N) or the surrounding medium (N/V). The results reveal that the deformation of the viscoelastic drop over time is changed due to the presence of polymeric molecules. In the first stage, the viscoelastic droplet speeds up and deforms faster, while in the second stage, the Newtonian counterpart accelerates and its deformation outpaces the viscoelastic droplet. The deformation of viscoelastic drop is retarded significantly in the second stage with increasing Deborah number $De$. In the V/N case, the viscous bending is enhanced on the receding side for small $De$, but it is weakened by further increase in $De$, and this non-monotonic behavior brings about an increase in the receding contact line velocity at small $De$ and a decrease at large $De$. On the advancing side, the viscous bending is decreased monotonically for $Ca<0.25$, and hence the advancing contact line velocity is decreased with increasing $De$; however, the viscous bending presents a non-monotonic behavior for $Ca=0.25$ at the advancing side. The non-monotonic behavior on the receding side is attributed to the emergence of outward pulling stresses in the vicinity of the receding contact line and the inception of strain-hardening at higher $De$, while the reduction in the viscous bending at the advancing side is the result of just strain-hardening due to the presence of dominant extensional flow on the advancing side. Finally, in the N/V system, the viscoelasticity of the medium suppresses the droplet deformation on both receding and advancing sides, and this effect is more pronounced with increasing De; the weakening effect of viscous bending is enhanced significantly at the advancing side by increasing the Giesekus mobility parameter.


title: Pragmatic Communication in Multi-Agent Collaborative Perception

abstract: Collaborative perception allows each agent to enhance its perceptual abilities by exchanging messages with others. It inherently results in a trade-off between perception ability and communication costs. Previous works transmit complete full-frame high-dimensional feature maps among agents, resulting in substantial communication costs. To promote communication efficiency, we propose only transmitting the information needed for the collaborator's downstream task. This pragmatic communication strategy focuses on three key aspects: i) pragmatic message selection, which selects task-critical parts from the complete data, resulting in spatially and temporally sparse feature vectors; ii) pragmatic message representation, which achieves pragmatic approximation of high-dimensional feature vectors with a task-adaptive dictionary, enabling communicating with integer indices; iii) pragmatic collaborator selection, which identifies beneficial collaborators, pruning unnecessary communication links. Following this strategy, we first formulate a mathematical optimization framework for the perception-communication trade-off and then propose PragComm, a multi-agent collaborative perception system with two key components: i) single-agent detection and tracking and ii) pragmatic collaboration. The proposed PragComm promotes pragmatic communication and adapts to a wide range of communication conditions. We evaluate PragComm for both collaborative 3D object detection and tracking tasks in both real-world, V2V4Real, and simulation datasets, OPV2V and V2X-SIM2.0. PragComm consistently outperforms previous methods with more than 32.7K times lower communication volume on OPV2V. Code is available at github.com/PhyllisH/PragComm.


title: Optical Snake States in Photonic Graphene

abstract: We propose an optical analogue of electron snake states based on artificial gauge magnetic field in photonic graphene with effective strain implemented by varying distance between pillars. We develop an intuitive and exhaustive continuous model based on tight-binding approximation and compare it with numerical simulations of a realistic photonic structure. The allowed lateral propagation direction is shown to be strongly coupled to the valley degree of freedom and the proposed photonic structure may be used a valley filter.


title: The influence of sonication on the thermal behavior of muscovite and biotite

abstract: The differences on the thermal behavior (DTA-TG) of mica samples measured before and after sonication have been studied. Sonication treatment produces important modifications in the thermal behavior of muscovite and biotite samples. For muscovite, it produces a broadening and decrease in temperature of the dehydroxylation and crystallization effects, reaching a steady stage after 40 h treatment time. For biotite, the original single peak profile for the dehydroxylation of the untreated sample is converted into a two peaks profile after sonication, the intensity of the low temperature peak increases with sonication time, while the intensity of the high temperature peak decreases. The modification of the thermal behavior for sonicated samples has been correlated to the particle size distribution effect produced by the sonication treatment. It has been also observed that the cup tip of the sonication equipment contaminates the samples releasing titanium of its composition


title: A Computationally Efficient Approach to False Discovery Rate Control and Power Maximisation via Randomisation and Mirror Statistic

abstract: Simultaneously performing variable selection and inference in high-dimensional regression models is an open challenge in statistics and machine learning. The increasing availability of vast amounts of variables requires the adoption of specific statistical procedures to accurately select the most important predictors in a high-dimensional space, while controlling the False Discovery Rate (FDR) arising from the underlying multiple hypothesis testing. In this paper we propose the joint adoption of the Mirror Statistic approach to FDR control, coupled with outcome randomisation to maximise the statistical power of the variable selection procedure. Through extensive simulations we show how our proposed strategy allows to combine the benefits of the two techniques. The Mirror Statistic is a flexible method to control FDR, which only requires mild model assumptions, but requires two sets of independent regression coefficient estimates, usually obtained after splitting the original dataset. Outcome randomisation is an alternative to Data Splitting, that allows to generate two independent outcomes, which can then be used to estimate the coefficients that go into the construction of the Mirror Statistic. The combination of these two approaches provides increased testing power in a number of scenarios, such as highly correlated covariates and high percentages of active variables. Moreover, it is scalable to very high-dimensional problems, since the algorithm has a low memory footprint and only requires a single run on the full dataset, as opposed to iterative alternatives such as Multiple Data Splitting.


title: Genetic Algorithm for Multi-Objective Optimization of Container Allocation in Cloud Architecture

abstract: The use of containers in cloud architectures has become widespread because of advantages such as limited overhead, easier and faster deployment and higher portability. Moreover, they are a suitable architectural solution for deployment of applications created using a microservices development pattern. Despite the large number of solutions and implementations, open issues have not been addressed in container automation and management. Container resource allocation influences system performance and resource consumption so it is a key factor for cloud providers. We propose a genetic algorithm approach, using the Non-dominated Sorting Genetic Algorithm-II (NSGA-II), to optimize container allocation and elasticity management due to the good results obtained with this algorithm in other resource management optimization problems in cloud architectures. The optimization has been focused on a tight use of the resources and a reduction of the network overhead and system failure rate. A model for cloud cluster, containers, microservices and four optimization objectives is presented. Experimental results have shown that our approach is a suitable solution to address the problem of container allocation and elasticity and it obtains better objectives values than the container management policies implemented in Kubernetes.


title: A lightweight decentralized service placement policy for performance optimization in fog computing

abstract: A decentralized optimization policy for service placement in fog computing is presented. The optimization is addressed to place most popular services as closer to the users as possible. The experimental validation is done in the iFogSim simulator and by comparing our algorithm with the simulator's built-in policy. The simulation is characterized by modeling a microservice-based application for different experiment sizes. Results showed that our decentralized algorithm places most popular services closer to users, improving network usage and service latency of the most requested applications, at the expense of a latency increment for the less requested services and a greater number of service migrations.


title: Securing Recommender System via Cooperative Training

abstract: Recommender systems are often susceptible to well-crafted fake profiles, leading to biased recommendations. Among existing defense methods, data-processing-based methods inevitably exclude normal samples, while model-based methods struggle to enjoy both generalization and robustness. To this end, we suggest integrating data processing and the robust model to propose a general framework, Triple Cooperative Defense (TCD), which employs three cooperative models that mutually enhance data and thereby improve recommendation robustness. Furthermore, Considering that existing attacks struggle to balance bi-level optimization and efficiency, we revisit poisoning attacks in recommender systems and introduce an efficient attack strategy, Co-training Attack (Co-Attack), which cooperatively optimizes the attack optimization and model training, considering the bi-level setting while maintaining attack efficiency. Moreover, we reveal a potential reason for the insufficient threat of existing attacks is their default assumption of optimizing attacks in undefended scenarios. This overly optimistic setting limits the potential of attacks. Consequently, we put forth a Game-based Co-training Attack (GCoAttack), which frames the proposed CoAttack and TCD as a game-theoretic process, thoroughly exploring CoAttack's attack potential in the cooperative training of attack and defense. Extensive experiments on three real datasets demonstrate TCD's superiority in enhancing model robustness. Additionally, we verify that the two proposed attack strategies significantly outperform existing attacks, with game-based GCoAttack posing a greater poisoning threat than CoAttack.


title: Heaps of pieces for lattice paths

abstract: We study heaps of pieces for lattice paths, which give a combinatorial visualization of lattice paths. We introduce two types of heaps: type $I$ and type $II$. A heap of type $I$ is characterized by peaks of a lattice path. We have a duality between a lattice path $\mu$ and its dual $\overline{\mu}$ on heaps of type $I$. A heap of type $II$ for $\mu$ is characterized by the skew shape between the lowest path and $\mu$. We give a determinant expression for the generating function of heaps for general lattice paths, and an explicit formula for rational $(1,k)$-Dyck paths by using the inversion lemma. We introduce and study heaps in $k+1$-dimensions which are bijective to heaps of type $II$ for $(1,k)$-Dyck paths. Further, we show a bijective correspondence between type $I$ and type $II$ in the case of rational $(1,k)$-Dyck paths. As another application of heaps, we give two explicit formulae for the generating function of heaps for symmetric Dyck paths in terms of statistics on Dyck paths and on symmetric Dyck paths respectively.


title: Imaging of Antiferroelectric Dark Modes in an Inverted Plasmonic Lattice

abstract: Plasmonic lattice nanostructures are of technological interest because of their capacity to manipulate light below the diffraction limit. Here, we present a detailed study of dark and bright modes in the visible and near-infrared energy regime of an inverted plasmonic honeycomb lattice by a combination of Au+ focused ion beam lithography with nanometric resolution, optical and electron spectroscopy, and finite-difference time-domain simulations. The lattice consists of slits carved in a gold thin film, exhibiting hotspots and a set of bright and dark modes. We proposed that some of the dark modes detected by electron energy-loss spectroscopy are caused by antiferroelectric arrangements of the slit polarizations with two times the size of the hexagonal unit cell. The plasmonic resonances take place within the 0.5_2 eV energy range, indicating that they could be suitable for a synergistic coupling with excitons in two-dimensional transition metal dichalcogenides materials or for designing nanoscale sensing platforms based on near-field enhancement over a metallic surface.


title: Small Test Suites for Active Automata Learning

abstract: A bottleneck in modern active automata learning is to test whether a hypothesized Mealy machine correctly describes the system under learning. The search space for possible counterexamples is given by so-called test suites, consisting of input sequences that have to be checked to decide whether a counterexample exists. This paper shows that significantly smaller test suites suffice under reasonable assumptions on the structure of the black box. These smaller test suites help to refute false hypotheses during active automata learning, even when the assumptions do not hold. We combine multiple test suites using a multi-armed bandit setup that adaptively selects a test suite. An extensive empirical evaluation shows the efficacy of our approach. For small to medium-sized models, the performance gain is limited. However, the approach allows learning models from large, industrial case studies that were beyond the reach of known methods.


title: Quandles as pre-Lie skew braces, set-theoretic Hopf algebras & universal R-matrices

abstract: We present connections between left non-degenerate solutions of set-theoretic Yang-Baxter equation and left shelves using certain maps called Drinfel'd homomorphisms. We further generalise the notion of affine quandle, by using heap endomorphisms and metahomomorphisms, and identify the Yang-Baxter algebra for solutions of the braid equation associated to a given quandle. We introduce the notion of the pre-Lie skew brace and identify certain affine quandles that give rise to pre-Lie skew braces. Generalisations of the braiding of a group, associated to set-theoretic solutions of the braid equation are also presented. These generalised structures encode part of the underlying Hopf algebra. Indeed, we also introduce the quasi-triangular Hopf algebras and the universal R-matrices for rack algebras and for set-theoretic algebras. In fact, we obtain the universal R-matrix for the set-theoretic algebra after identifying the associated admissible Drinfel'd twist. Generic set-theoretic solutions coming from heap endomorphisms are also identified.


title: Curvature effect induce topological phase transitions in two dimensional topological superconductor

abstract: Recently, topological superconductor is one of the important topics in condensed matter physics due to the exotic features of quasiparticles resided on the edge, surface and vortex core. In our work, we analyze the two dimensional s+p wave noncentrosymmetric superconductor(NCS) with Rashba spin-orbit coupling in 2D cylindrical coordinate to find the relationship between the topological phase transition and the curvature. With analytical calculation and numerical analyze, we confirm that the topological phase transition in s+p wave NCS in 2D cylindrical coordinate is related to the curvature from band theory perspective.


title: An ion trap design for a space-deployable strontium-ion optical clock

abstract: Optical atomic clocks demonstrate a better stability and lower systematic uncertainty than the highest performance microwave atomic clocks. However, the best performing optical clocks have a large footprint in a laboratory environment and require specialist skills to maintain continuous operation. Growing and evolving needs across several sectors are increasing the demand for compact robust and portable devices at this capability level. In this paper we discuss the design of a physics package for a compact laser-cooled 88Sr+ optical clock that would, with further development, be suitable for space deployment. We review the design parameters to target a relative frequency uncertainty at the low parts in 10^18 with this system. We then explain the results of finite element modelling to simulate the response of the ion trap and vacuum chamber to vibration, shock and thermal conditions expected during launch and space deployment. Additionally, an electrostatic model has been developed to investigate the relationship between the ion trap geometrical tolerances and the trapping efficiency. We present the results from these analyses that have led to the design of a more robust prototype ready for experimental testing.


title: Localized Data-driven Consensus Control

abstract: This paper considers a localized data-driven consensus problem for leader-follower multi-agent systems with unknown discrete-time agent dynamics, where each follower computes its local control gain using only their locally collected state and input data. Both noiseless and noisy data-driven consensus protocols are presented, which can handle the challenge of the heterogeneity in control gains caused by the localized data sampling and achieve leader-follower consensus. The design of these data-driven consensus protocols involves low-dimensional linear matrix inequalities. In addition, the results are extended to the case where only the leader's data are collected and exploited. The effectiveness of the proposed methods is illustrated via simulation examples.


title: Deep Neural Network Benchmarks for Selective Classification

abstract: With the increasing deployment of machine learning models in many socially-sensitive tasks, there is a growing demand for reliable and trustworthy predictions. One way to accomplish these requirements is to allow a model to abstain from making a prediction when there is a high risk of making an error. This requires adding a selection mechanism to the model, which selects those examples for which the model will provide a prediction. The selective classification framework aims to design a mechanism that balances the fraction of rejected predictions (i.e., the proportion of examples for which the model does not make a prediction) versus the improvement in predictive performance on the selected predictions. Multiple selective classification frameworks exist, most of which rely on deep neural network architectures. However, the empirical evaluation of the existing approaches is still limited to partial comparisons among methods and settings, providing practitioners with little insight into their relative merits. We fill this gap by benchmarking 18 baselines on a diverse set of 44 datasets that includes both image and tabular data. Moreover, there is a mix of binary and multiclass tasks. We evaluate these approaches using several criteria, including selective error rate, empirical coverage, distribution of rejected instance's classes, and performance on out-of-distribution instances. The results indicate that there is not a single clear winner among the surveyed baselines, and the best method depends on the users' objectives.


title: A corrected single element Maxwell visco-elastic model

abstract: The original Maxwell visco-elastic constitutive model cannot predict the correct mechanical properties for most fluids. In this work, the model is generalized with respect to wave-vector and extended with a correction function. This new model has only two free parameters and avoids the attenuation-frequency locking present in the original model. Through molecular simulations it is shown that the model satisfactory predicts the transverse dynamics of the binary Lennard-Jones system at different temperatures, as well as water and toluene at ambient conditions. From the correction function it is shown that the viscous response is significantly reduced compared to the predictions from the original model when taking the wave-vector dependency into account. Morover, a temperature dependent characteristic length scale of maximum reduced viscous response is identified.


title: New spectral-parameter dependent solutions of the Yang-Baxter equation

abstract: The Yang-Baxter Equation (YBE) plays a crucial role for studying integrable many-body quantum systems. Many known YBE solutions provide various examples ranging from quantum spin chains to superconducting systems. Models of solvable statistical mechanics and their avatars are also based on YBE. Therefore, new solutions of the YBE could be used to construct new interesting 1D quantum or 2D classical systems with many other far-reaching applications. In this work, we attempt to find (almost) exhaustive set of solutions for the YBE in the lowest dimensions corresponding to a two-qubit case. We develop an algorithm, which can potentially be used for generating new higher-dimensional solutions of the YBE.


title: When Redundancy Matters: Machine Teaching of Representations

abstract: In traditional machine teaching, a teacher wants to teach a concept to a learner, by means of a finite set of examples, the witness set. But concepts can have many equivalent representations. This redundancy strongly affects the search space, to the extent that teacher and learner may not be able to easily determine the equivalence class of each representation. In this common situation, instead of teaching concepts, we explore the idea of teaching representations. We work with several teaching schemas that exploit representation and witness size (Eager, Greedy and Optimal) and analyze the gains in teaching effectiveness for some representational languages (DNF expressions and Turing-complete P3 programs). Our theoretical and experimental results indicate that there are various types of redundancy, handled better by the Greedy schema introduced here than by the Eager schema, although both can be arbitrarily far away from the Optimal. For P3 programs we found that witness sets are usually smaller than the programs they identify, which is an illuminating justification of why machine teaching from examples makes sense at all.


title: Moutard hyperquadrics and generalized Darboux directions

abstract: The higher order contact of a quadric with a surface in $3$-space at a non-degenerate point is obtained by the Moutard quadric in the Darboux direction. In this paper, we discuss the extension of this result to hypersurfaces in arbitrary dimensions.


title: Generating Zero-shot Abstractive Explanations for Rumour Verification

abstract: The task of rumour verification in social media concerns assessing the veracity of a claim on the basis of conversation threads that result from it. While previous work has focused on predicting a veracity label, here we reformulate the task to generate model-centric free-text explanations of a rumour's veracity. The approach is model agnostic in that it generalises to any model. Here we propose a novel GNN-based rumour verification model. We follow a zero-shot approach by first applying post-hoc explainability methods to score the most important posts within a thread and then we use these posts to generate informative explanations using opinion-guided summarisation. To evaluate the informativeness of the explanatory summaries, we exploit the few-shot learning capabilities of a large language model (LLM). Our experiments show that LLMs can have similar agreement to humans in evaluating summaries. Importantly, we show explanatory abstractive summaries are more informative and better reflect the predicted rumour veracity than just using the highest ranking posts in the thread.


title: Evaluation of large language models for assessing code maintainability

abstract: Increased availability of open-source software repositories and recent advances in code analysis using large language models (LLMs) has triggered a wave of new work to automate software engineering tasks that were previously very difficult to automate. In this paper, we investigate a recent line of work that hypothesises that comparing the probability of code generated by LLMs with the probability the current code would have had can indicate potential quality problems. We investigate the association between the cross-entropy of code generated by ten different models (based on GPT2 and Llama2) and the following quality aspects: readability, understandability, complexity, modularisation, and overall maintainability assessed by experts and available in an benchmark dataset. Our results show that, controlling for the number of logical lines of codes (LLOC), cross-entropy computed by LLMs is indeed a predictor of maintainability on a class level (the higher the cross-entropy the lower the maintainability). However, this relation is reversed when one does not control for LLOC (e.g., comparing small classes with longer ones). Furthermore, while the complexity of LLMs affects the range of cross-entropy (smaller models tend to have a wider range of cross-entropy), this plays a significant role in predicting maintainability aspects. Our study limits itself on ten different pretrained models (based on GPT2 and Llama2) and on maintainability aspects collected by Schnappinger et al. When controlling for logical lines of code (LLOC), cross-entropy is a predictor of maintainability. However, while related work has shown the potential usefulness of cross-entropy at the level of tokens or short sequences, at the class level this criterion alone may prove insufficient to predict maintainability and further research is needed to make best use of this information in practice.


title: On positively divisible non-Markovian processes

abstract: There are some positively divisible non-Markovian processes whose transition matrices satisfy the Chapman-Kolmogorov equation. These processes should also satisfy the Kolmogorov consistency conditions, an essential requirement for a process to be classified as a stochastic process. Combining the Kolmogorov consistency conditions with the Chapman-Kolmogorov equation, we derive a necessary condition for positively divisible stochastic processes on a finite sample space. This necessary condition enables a systematic approach to the manipulation of certain Markov processes in order to obtain a positively divisible non-Markovian process. We illustrate this idea by an example and, in addition, analyze a classic example given by Feller in the light of our approach.


title: Spectral Smoothness of Ground Plane Backed Log-Periodic Dipole Antennas for Radioastronomical Applications

abstract: The spectral smoothness properties of the low-frequency array of the Square Kilometer Array (SKA), namely SKA-Low, are an important issue for its scientific objectives to be attainable. A large array of 256 log-periodic dipole antennas, installed on top of a 42~m circular ground plane, will work as an SKA-Low station in the frequency range 50-350 MHz. In this article, the ground plane induced effects are examined in terms of antenna beam spectral characteristics, while different antenna placements are considered. Results are produced both at isolated antenna and at array level in the band 50-100 MHz, by employing an approximate method for the speeding-up of array simulations. We attempt to distinguish the ground plane effect from that of mutual coupling among antennas, which appears to be more severe at specific frequencies, using 2 figures of merit. The Discrete Fourier Transform (DFT) components of gain pattern ratios identify the fundamental spatial components of the ripple, while the Envelope Correlation Coefficient quantifies the penalty to considering an infinite ground plane.


title: Gas trap prediction from 3D seismic and well test data using machine learning

abstract: The aim of this work is to create and apply a methodological approach for predicting gas traps from 3D seismic data and gas well testing. The paper formalizes the approach to creating a training dataset by selecting volumes with established gas saturation and filtration properties within the seismic wavefield. The training dataset thus created is used in a process stack of sequential application of data processing methods and ensemble machine learning algorithms. As a result, a cube of calibrated probabilities of belonging of the study space to gas reservoirs was obtained. The high efficiency of this approach is shown on a delayed test sample of three wells (blind wells). The final value of the gas reservoir prediction quality metric f1 score was 0.893846.


title: $n$-valued Coset Groups and Dynamics

abstract: We obtain asymptotic and exact formulae of growth functions for some families of $n$-valued coset groups. We also describe connections between the theory of $n$-valued groups and Symbolic Dynamics.


title: Device-independent quantum state discrimination

abstract: Quantum state discrimination depicts the general progress of extracting classical information from quantum systems. We show that quantum state discrimination can be realized in a device-independent scenario using tools of self-testing results. That is, the states can be discriminated credibly with the untrusted experiment devices by the correspondence between quantum correlations and states. In detail, we show that two arbitrary states can be discriminated in a device-independent manner when they are not conjugate with each other, while other states can be discriminated measurement-device-independently. To fulfill the device-independent requirement, the measurements are restricted on Pauli observables. The influence of this restriction is acceptable based on the guessing probability analysis for minimum error discrimination.


title: A Comprehensive View of the Biases of Toxicity and Sentiment Analysis Methods Towards Utterances with African American English Expressions

abstract: Language is a dynamic aspect of our culture that changes when expressed in different technologies/communities. Online social networks have enabled the diffusion and evolution of different dialects, including African American English (AAE). However, this increased usage is not without barriers. One particular barrier is how sentiment (Vader, TextBlob, and Flair) and toxicity (Google's Perspective and the open-source Detoxify) methods present biases towards utterances with AAE expressions. Consider Google's Perspective to understand bias. Here, an utterance such as ``All n*ggers deserve to die respectfully. The police murder us.'' it reaches a higher toxicity than ``African-Americans deserve to die respectfully. The police murder us.''. This score difference likely arises because the tool cannot understand the re-appropriation of the term ``n*gger''. One explanation for this bias is that AI models are trained on limited datasets, and using such a term in training data is more likely to appear in a toxic utterance. While this may be plausible, the tool will make mistakes regardless. Here, we study bias on two Web-based (YouTube and Twitter) datasets and two spoken English datasets. Our analysis shows how most models present biases towards AAE in most settings. We isolate the impact of AAE expression usage via linguistic control features from the Linguistic Inquiry and Word Count (LIWC) software, grammatical control features extracted via Part-of-Speech (PoS) tagging from Natural Language Processing (NLP) models, and the semantic of utterances by comparing sentence embeddings from recent language models. We present consistent results on how a heavy usage of AAE expressions may cause the speaker to be considered substantially more toxic, even when speaking about nearly the same subject. Our study complements similar analyses focusing on small datasets and/or one method only.


title: Wasserstein Diffusion on Multidimensional Spaces

abstract: Given any closed Riemannian manifold $M$, we construct a reversible diffusion process on the space ${\mathcal P}(M)$ of probability measures on $M$ that is (i) reversible w.r.t.~the entropic measure ${\mathbb P}^\beta$ on ${\mathcal P}(M)$, heuristically given as $$d\mathbb{P}^\beta(\mu)=\frac{1}{Z} e^{-\beta \, \text{Ent}(\mu| m)}\ d\mathbb{P}^*(\mu);$$ (ii) associated with a regular Dirichlet form with carr\'e du champ derived from the Wasserstein gradient in the sense of Otto calculus $${\mathcal E}_W(f)=\liminf_{g\to f}\ \frac12\int_{{\mathcal P}(M)} \big\|\nabla_W g\big\|^2(\mu)\ d{\mathbb P}^\beta(\mu);$$ (iii) non-degenerate, at least in the case of the $n$-sphere and the $n$-torus.


title: Falcon: Fair Active Learning using Multi-armed Bandits

abstract: Biased data can lead to unfair machine learning models, highlighting the importance of embedding fairness at the beginning of data analysis, particularly during dataset curation and labeling. In response, we propose Falcon, a scalable fair active learning framework. Falcon adopts a data-centric approach that improves machine learning model fairness via strategic sample selection. Given a user-specified group fairness measure, Falcon identifies samples from "target groups" (e.g., (attribute=female, label=positive)) that are the most informative for improving fairness. However, a challenge arises since these target groups are defined using ground truth labels that are not available during sample selection. To handle this, we propose a novel trial-and-error method, where we postpone using a sample if the predicted label is different from the expected one and falls outside the target group. We also observe the trade-off that selecting more informative samples results in higher likelihood of postponing due to undesired label prediction, and the optimal balance varies per dataset. We capture the trade-off between informativeness and postpone rate as policies and propose to automatically select the best policy using adversarial multi-armed bandit methods, given their computational efficiency and theoretical guarantees. Experiments show that Falcon significantly outperforms existing fair active learning approaches in terms of fairness and accuracy and is more efficient. In particular, only Falcon supports a proper trade-off between accuracy and fairness where its maximum fairness score is 1.8-4.5x higher than the second-best results.


title: A regular MOG black hole's impact on shadows and gravitational weak lensing in the presence of quintessence field

abstract: We investigate the impact of the modified gravity (MOG) field and the quintessence scalar field on horizon evolution, black hole (BH) shadow and the weak gravitational lensing around a static spherically symmetric BH. We first begin to write the BH metric associated with the MOG parameter and quintessence scalar field. We then determine the BH shadow and obtain numerical solutions for the photon sphere and shadow radius. We show that the MOG ($\alpha$) and the quintessence ($c$) parameters have a significant impact on BH shadow and photon sphere. Based on the analysis, we further show that the combined effects of the MOG parameter and quintessential field can increase the values of BH shadow and photon sphere radii. We also obtain constraints on the BH parameters by applying the observational data of Sgr A$^{\star}$ and M87$^{\star}$. Finally, we consider the weak deflection angle of BH within the context of the Gauss-Bonnet theorem (GBT) and show that the combined effects of the MOG and quintessence parameters do make the value of the deflection angle grow, referring to remarkable property being in well agreement with the physical meaning of both parameters that can maintain the strong gravitational field in the surrounding environment of BH.


title: A Multi-scale Yarn Appearance Model with Fiber Details

abstract: Rendering realistic cloth has always been a challenge due to its intricate structure. Cloth is made up of fibers, plies, and yarns, and previous curved-based models, while detailed, were computationally expensive and inflexible for large cloth. To address this, we propose a simplified approach. We introduce a geometric aggregation technique that reduces ray-tracing computation by using fewer curves, focusing only on yarn curves. Our model generates ply and fiber shapes implicitly, compensating for the lack of explicit geometry with a novel shadowing component. We also present a shading model that simplifies light interactions among fibers by categorizing them into four components, accurately capturing specular and scattered light in both forward and backward directions. To render large cloth efficiently, we propose a multi-scale solution based on pixel coverage. Our yarn shading model outperforms previous methods, achieving rendering speeds 3-5 times faster with less memory in near-field views. Additionally, our multi-scale solution offers a 20% speed boost for distant cloth observation.


title: Two-View Topogram-Based Anatomy-Guided CT Reconstruction for Prospective Risk Minimization

abstract: To facilitate a prospective estimation of CT effective dose and risk minimization process, a prospective spatial dose estimation and the known anatomical structures are expected. To this end, a CT reconstruction method is required to reconstruct CT volumes from as few projections as possible, i.e. by using the topograms, with anatomical structures as correct as possible. In this work, an optimized CT reconstruction model based on a generative adversarial network (GAN) is proposed. The GAN is trained to reconstruct 3D volumes from an anterior-posterior and a lateral CT projection. To enhance anatomical structures, a pre-trained organ segmentation network and the 3D perceptual loss are applied during the training phase, so that the model can then generate both organ-enhanced CT volume and the organ segmentation mask. The proposed method can reconstruct CT volumes with PSNR of 26.49, RMSE of 196.17, and SSIM of 0.64, compared to 26.21, 201.55 and 0.63 using the baseline method. In terms of the anatomical structure, the proposed method effectively enhances the organ shape and boundary and allows for a straight-forward identification of the relevant anatomical structures. We note that conventional reconstruction metrics fail to indicate the enhancement of anatomical structures. In addition to such metrics, the evaluation is expanded with assessing the organ segmentation performance. The average organ dice of the proposed method is 0.71 compared with 0.63 in baseline model, indicating the enhancement of anatomical structures.


title: On A Proof of the ADKMV Conjecture

abstract: We present a mathematical proof of a conjectural formula due to Aganagic, Dijkgraaf, Klemm, Mari\~no and Vafa, expressing the topological vertex as a Bogoliubov transform of the fermionic vacuum. In our proof we introduce a boson-fermionic field assignment which generalizes the well-known boson-fermion correspondence. The proof also works for the generalization to the framed topological vertex made by Deng and Zhou. As a consequence, partition functions of toric Calabi-Yau threefolds are related to tau-functions of multi-component KP hierarchy.


title: Experimental verification of the anomalous skin effect in copper using emissivity measurements

abstract: Spectral directional emissivity has been measured in copper between 3 and 24 {\mu}m above room temperature. The experimental spectrum shows a weak broad peak between 7 and 14 {\mu}m, which is much more acute for higher emission angles. However, the peak width and position are both independent of the emission angle. The experimental results are in very good agreement with the semiclassical theory of the optical properties of metals in the regime of the anomalous skin effect, in particular with the asymptotic approximation. This comparison suggests that this work shows an optical experimental evidence of the anomalous skin effect.


title: Filamentary Network and Magnetic Field Structures Revealed with BISTRO in the High-Mass Star-Forming Region NGC2264 : Global Properties and Local Magnetogravitational Configurations

abstract: We report 850 $\mu$m continuum polarization observations toward the filamentary high-mass star-forming region NGC 2264, taken as part of the B-fields In STar forming Regions Observations (BISTRO) large program on the James Clerk Maxwell Telescope (JCMT). These data reveal a well-structured non-uniform magnetic field in the NGC 2264C and 2264D regions with a prevailing orientation around 30 deg from north to east. Field strengths estimates and a virial analysis for the major clumps indicate that NGC 2264C is globally dominated by gravity while in 2264D magnetic, gravitational, and kinetic energies are roughly balanced. We present an analysis scheme that utilizes the locally resolved magnetic field structures, together with the locally measured gravitational vector field and the extracted filamentary network. From this, we infer statistical trends showing that this network consists of two main groups of filaments oriented approximately perpendicular to one another. Additionally, gravity shows one dominating converging direction that is roughly perpendicular to one of the filament orientations, which is suggestive of mass accretion along this direction. Beyond these statistical trends, we identify two types of filaments. The type-I filament is perpendicular to the magnetic field with local gravity transitioning from parallel to perpendicular to the magnetic field from the outside to the filament ridge. The type-II filament is parallel to the magnetic field and local gravity. We interpret these two types of filaments as originating from the competition between radial collapsing, driven by filament self-gravity, and the longitudinal collapsing, driven by the region's global gravity.


title: Enhancing Object Detection Performance for Small Objects through Synthetic Data Generation and Proportional Class-Balancing Technique: A Comparative Study in Industrial Scenarios

abstract: Object Detection (OD) has proven to be a significant computer vision method in extracting localized class information and has multiple applications in the industry. Although many of the state-of-the-art (SOTA) OD models perform well on medium and large sized objects, they seem to under perform on small objects. In most of the industrial use cases, it is difficult to collect and annotate data for small objects, as it is time-consuming and prone to human errors. Additionally, those datasets are likely to be unbalanced and often result in an inefficient model convergence. To tackle this challenge, this study presents a novel approach that injects additional data points to improve the performance of the OD models. Using synthetic data generation, the difficulties in data collection and annotations for small object data points can be minimized and to create a dataset with balanced distribution. This paper discusses the effects of a simple proportional class-balancing technique, to enable better anchor matching of the OD models. A comparison was carried out on the performances of the SOTA OD models: YOLOv5, YOLOv7 and SSD, for combinations of real and synthetic datasets within an industrial use case.


title: On the visualisation of the correlation matrix

abstract: Extensions of earlier algorithms and enhanced visualization techniques for approximating a correlation matrix are presented. The visualization problems that result from using column or colum--and--row adjusted correlation matrices, which give numerically a better fit, are addressed. For visualization of a correlation matrix a weighted alternating least squares algorithm is used, with either a single scalar adjustment, or a column-only adjustment with symmetric factorization; these choices form a compromise between the numerical accuracy of the approximation and the comprehensibility of the obtained correlation biplots. Some illustrative examples are discussed.


title: The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

abstract: Attribution scores reflect how important the feature values in an input entity are for the output of a machine learning model. One of the most popular attribution scores is the SHAP score, which is an instantiation of the general Shapley value used in coalition game theory. The definition of this score relies on a probability distribution on the entity population. Since the exact distribution is generally unknown, it needs to be assigned subjectively or be estimated from data, which may lead to misleading feature scores. In this paper, we propose a principled framework for reasoning on SHAP scores under unknown entity population distributions. In our framework, we consider an uncertainty region that contains the potential distributions, and the SHAP score of a feature becomes a function defined over this region. We study the basic problems of finding maxima and minima of this function, which allows us to determine tight ranges for the SHAP scores of all features. In particular, we pinpoint the complexity of these problems, and other related ones, showing them to be NP-complete. Finally, we present experiments on a real-world dataset, showing that our framework may contribute to a more robust feature scoring.


title: CDRNP: Cross-Domain Recommendation to Cold-Start Users via Neural Process

abstract: Cross-domain recommendation (CDR) has been proven as a promising way to tackle the user cold-start problem, which aims to make recommendations for users in the target domain by transferring the user preference derived from the source domain. Traditional CDR studies follow the embedding and mapping (EMCDR) paradigm, which transfers user representations from the source to target domain by learning a user-shared mapping function, neglecting the user-specific preference. Recent CDR studies attempt to learn user-specific mapping functions in meta-learning paradigm, which regards each user's CDR as an individual task, but neglects the preference correlations among users, limiting the beneficial information for user representations. Moreover, both of the paradigms neglect the explicit user-item interactions from both domains during the mapping process. To address the above issues, this paper proposes a novel CDR framework with neural process (NP), termed as CDRNP. Particularly, it develops the meta-learning paradigm to leverage user-specific preference, and further introduces a stochastic process by NP to capture the preference correlations among the overlapping and cold-start users, thus generating more powerful mapping functions by mapping the user-specific preference and common preference correlations to a predictive probability distribution. In addition, we also introduce a preference remainer to enhance the common preference from the overlapping users, and finally devises an adaptive conditional decoder with preference modulation to make prediction for cold-start users with items in the target domain. Experimental results demonstrate that CDRNP outperforms previous SOTA methods in three real-world CDR scenarios.


title: TNANet: A Temporal-Noise-Aware Neural Network for Suicidal Ideation Prediction with Noisy Physiological Data

abstract: The robust generalization of deep learning models in the presence of inherent noise remains a significant challenge, especially when labels are subjective and noise is indiscernible in natural settings. This problem is particularly pronounced in many practical applications. In this paper, we address a special and important scenario of monitoring suicidal ideation, where time-series data, such as photoplethysmography (PPG), is susceptible to such noise. Current methods predominantly focus on image and text data or address artificially introduced noise, neglecting the complexities of natural noise in time-series analysis. To tackle this, we introduce a novel neural network model tailored for analyzing noisy physiological time-series data, named TNANet, which merges advanced encoding techniques with confidence learning, enhancing prediction accuracy. Another contribution of our work is the collection of a specialized dataset of PPG signals derived from real-world environments for suicidal ideation prediction. Employing this dataset, our TNANet achieves the prediction accuracy of 63.33% in a binary classification task, outperforming state-of-the-art models. Furthermore, comprehensive evaluations were conducted on three other well-known public datasets with artificially introduced noise to rigorously test the TNANet's capabilities. These tests consistently demonstrated TNANet's superior performance by achieving an accuracy improvement of more than 10% compared to baseline methods.


title: On the improved convergence of lifted distributional Gauss curvature from Regge elements

abstract: Although Regge finite element functions are not continuous, useful generalizations of nonlinear derivatives like the curvature, can be defined using them. This paper is devoted to studying the convergence of the finite element lifting of a generalized (distributional) Gauss curvature defined using a metric tensor in the Regge finite element space. Specifically, we investigate the interplay between the polynomial degree of the curvature lifting by Lagrange elements and the degree of the metric tensor in the Regge finite element space. Previously, a superconvergence result, where convergence rate of one order higher than expected, was obtained when the metric is the canonical Regge interpolant of the exact metric. In this work, we show that an even higher order can be obtained if the degree of the curvature lifting is reduced by one polynomial degre and if at least linear Regge elements are used. These improved convergence rates are confirmed by numerical examples.


title: The algebraic degree of the Wasserstein distance

abstract: Given two rational univariate polynomials, the Wasserstein distance of their associated measures is an algebraic number. We determine the algebraic degree of the squared Wasserstein distance, serving as a measure of algebraic complexity of the corresponding optimization problem. The computation relies on the structure of a subpolytope of the Birkhoff polytope, invariant under a transformation induced by complex conjugation.


title: Shift-ConvNets: Small Convolutional Kernel with Large Kernel Effects

abstract: Recent studies reveal that the remarkable performance of Vision transformers (ViTs) benefits from large receptive fields. For this reason, the large convolutional kernel design becomes an ideal solution to make Convolutional Neural Networks (CNNs) great again. However, the typical large convolutional kernels turn out to be hardware-unfriendly operators, resulting in discount compatibility of various hardware platforms. Thus, it is unwise to simply enlarge the convolutional kernel size. In this paper, we reveal that small convolutional kernels and convolution operations can achieve the closing effects of large kernel sizes. Then, we propose a shift-wise operator that ensures the CNNs capture long-range dependencies with the help of the sparse mechanism, while remaining hardware-friendly. Experimental results show that our shift-wise operator significantly improves the accuracy of a regular CNN while markedly reducing computational requirements. On the ImageNet-1k, our shift-wise enhanced CNN model outperforms the state-of-the-art models. Code & models at https://github.com/lidc54/shift-wiseConv.


title: Controlling thermal emission with metasurfaces and its applications

abstract: Thermal emission caused by the thermal motion of the charged particles is commonly broadband, un-polarized, and incoherent, like a melting pot of electromagnetic waves, which makes it unsuitable for infrared applications in many cases requiring specific thermal emission properties. Metasurfaces, characterized by two-dimensional subwavelength artificial nanostructures, have been extensively investigated for their flexibility in tuning optical properties, which provide an ideal platform for shaping thermal emission. Recently, remarkable progress was achieved not only in tuning thermal emission in multiple degrees of freedom, such as wavelength, polarization, radiation angle, coherence, and so on but also in applications of compact and integrated optical devices. Here, we review the recent advances in the regulation of thermal emission through metasurfaces and corresponding infrared applications, such as infrared sensing, radiative cooling, and thermophotovoltaic devices.


title: Invariants cohomologiques mod 2 et invariants de Witt des groupes altern\'es

abstract: We determine the cohomological invariants and the Witt invariants of the alternating group $A_n$.


title: Decoding University Hierarchy and Prestige in China through Domestic Ph.D. Hiring Network

abstract: The academic job market for fresh Ph.D. students to pursue postdoctoral and junior faculty positions plays a crucial role in shaping the future orientations, developments, and status of the global academic system. In this work, we focus on the domestic Ph.D. hiring network among universities in China by exploring the doctoral education and academic employment of nearly 28,000 scientists across all Ph.D.-granting Chinese universities over three decades. We employ the minimum violation rankings algorithm to decode the rankings for universities based on the Ph.D. hiring network, which offers a deep understanding of the structure and dynamics within the network. Our results uncover a consistent, highly structured hierarchy within this hiring network, indicating the imbalances wherein a limited number of universities serve as the main sources of fresh Ph.D. across diverse disciplines. Furthermore, over time, it has become increasingly challenging for Chinese Ph.D. graduates to secure positions at institutions more prestigious than their alma maters. This study quantitatively captures the evolving structure of talent circulation in the domestic environment, providing valuable insights to enhance the organization, diversity, and talent distribution in China's academic enterprise.


title: Controlling the C3 super class linearization algorithm

abstract: C3 is an algorithm used by several widely used programming languages such as Python to support multiple inheritance in object oriented programming (OOP): for each class, C3 computes recursively a linear extension of the poset of all its super classes (the Method Resolution Order, MRO) from user-provided local information (an ordering of the direct super classes). This algorithm can fail if the local information is not consistent. For large hierarchies of classes, as encountered when modeling hierarchies of concepts from abstract algebra in the SageMath computational system, maintaining consistent local information by hand does not scale and leads to unpredictable C3 failures. This paper reports on the authors' work to analyze and circumvent this maintenance nightmare. First, we discovered through extensive computer exploration that there exists posets admitting no consistent local information; we exhibit the smallest one which has 10 elements. Then, we provide and analyze an algorithm that, given a poset and a linear extension, automatically builds local information for C3 in such a way that guarantees that it will never fail, at the price of a slight relaxation of the hypotheses. This algorithm has been used in production in SageMath since 2013.


title: Polynomial representation of TU-games

abstract: We propose in this paper a polynomial representation of TU-games, fuzzy measures, capacities, and more generally set functions. Our representation needs a countably infinite set of players and the natural ordering of finite sets of $\mathbb{N}$, defined recursively. For a given basis of the vector space of games, we associate to each game $v$ a formal polynomial of degree at most $2^n-1$ whose coefficients are the coordinates of $v$ in the given basis. By the fundamental theorem of algebra, $v$ can be represented by the roots of the polynomial. We present some new families of games stemming from this polynomial context, like the irreducible games, the multiplicative games and the cyclotomic games.


title: Anderson stochastic quantization equation

abstract: We study the parabolic defocusing stochastic quantization equation with both mutliplicative spatial white noise and an independant space-time white noise forcing, on compact surfaces, with polynomial nonlinearity. After renormalizing the nonlinearity, we construct the random Gibbs measure as an absolutely continuous measure with respect to the law of the Anderson Gaussian Free Field for fixed realization of the spatial white noise. Then, when the initial data is distributed according to the Gibbs measure, we prove almost sure global well-posedness for the dynamics and invariance of the Gibbs measure.


title: Correlation-Embedded Transformer Tracking: A Single-Branch Framework

abstract: Developing robust and discriminative appearance models has been a long-standing research challenge in visual object tracking. In the prevalent Siamese-based paradigm, the features extracted by the Siamese-like networks are often insufficient to model the tracked targets and distractor objects, thereby hindering them from being robust and discriminative simultaneously. While most Siamese trackers focus on designing robust correlation operations, we propose a novel single-branch tracking framework inspired by the transformer. Unlike the Siamese-like feature extraction, our tracker deeply embeds cross-image feature correlation in multiple layers of the feature network. By extensively matching the features of the two images through multiple layers, it can suppress non-target features, resulting in target-aware feature extraction. The output features can be directly used for predicting target locations without additional correlation steps. Thus, we reformulate the two-branch Siamese tracking as a conceptually simple, fully transformer-based Single-Branch Tracking pipeline, dubbed SBT. After conducting an in-depth analysis of the SBT baseline, we summarize many effective design principles and propose an improved tracker dubbed SuperSBT. SuperSBT adopts a hierarchical architecture with a local modeling layer to enhance shallow-level features. A unified relation modeling is proposed to remove complex handcrafted layer pattern designs. SuperSBT is further improved by masked image modeling pre-training, integrating temporal modeling, and equipping with dedicated prediction heads. Thus, SuperSBT outperforms the SBT baseline by 4.7%,3.0%, and 4.5% AUC scores in LaSOT, TrackingNet, and GOT-10K. Notably, SuperSBT greatly raises the speed of SBT from 37 FPS to 81 FPS. Extensive experiments show that our method achieves superior results on eight VOT benchmarks.


title: Monadic Intersection Types, Relationally (Extended Version)

abstract: We extend intersection types to a computational $\lambda$-calculus with algebraic operations \`a la Plotkin and Power. We achieve this by considering monadic intersections, whereby computational effects appear not only in the operational semantics, but also in the type system. Since in the effectful setting termination is not anymore the only property of interest, we want to analyze the interactive behavior of typed programs with the environment. Indeed, our type system is able to characterize the natural notion of observation, both in the finite and in the infinitary setting, and for a wide class of effects, such as output, cost, pure and probabilistic nondeterminism, and combinations thereof. The main technical tool is a novel combination of syntactic techniques with abstract relational reasoning, which allows us to lift all the required notions, e.g. of typability and logical relation, to the monadic setting.


title: On the Utility of Probing Trajectories for Algorithm-Selection

abstract: Machine-learning approaches to algorithm-selection typically take data describing an instance as input. Input data can take the form of features derived from the instance description or fitness landscape, or can be a direct representation of the instance itself, i.e. an image or textual description. Regardless of the choice of input, there is an implicit assumption that instances that are similar will elicit similar performance from algorithm, and that a model is capable of learning this relationship. We argue that viewing algorithm-selection purely from an instance perspective can be misleading as it fails to account for how an algorithm `views' similarity between instances. We propose a novel `algorithm-centric' method for describing instances that can be used to train models for algorithm-selection: specifically, we use short probing trajectories calculated by applying a solver to an instance for a very short period of time. The approach is demonstrated to be promising, providing comparable or better results to computationally expensive landscape-based feature-based approaches. Furthermore, projecting the trajectories into a 2-dimensional space illustrates that functions that are similar from an algorithm-perspective do not necessarily correspond to the accepted categorisation of these functions from a human perspective.


title: Approximation of sea surface velocity field by fitting surrogate two-dimensional flow to scattered measurements

abstract: In this paper, a rapid approximation method is introduced to estimate the sea surface velocity field based on scattered measurements. The method uses a simplified two-dimensional flow model as a surrogate model, which mimics the real submesoscale flow. The proposed approach treats the interpolation of the flow velocities as an optimization problem, aiming to fit the flow model to the scattered measurements. To ensure consistency between the simulated velocity field and the measured values, the boundary conditions in the numerical simulations are adjusted during the optimization process. Additionally, the relevance of quantity and quality of the scattered measurements is assessed, emphasizing the importance of the measurement locations within the domain as well as explaining how these measurements contribute to the accuracy and reliability of the sea surface velocity field approximation. The proposed methodology has been successfully tested in both synthetic and real-world scenarios, leveraging measurements obtained from GPS drifters and HF-radar systems. The adaptability of this approach for different domains, measurement types and conditions implies that it is suitable for real-world submesoscale scenarios where only an approximation of the sea surface velocity field is sufficient.


title: COOCK project Smart Port 2025 D3.1: "To Twin Or Not To Twin"

abstract: This document is a result of the COOCK project "Smart Port 2025: improving and accelerating the operational efficiency of a harbour eco-system through the application of intelligent technologies". It reports on the needs of companies for modelling and simulation and AI-based techniques, with twinning systems in particular. This document categorizes the purposes and Properties of Interest for the use of Digital Twins. It further illustrates some of the twinning usages, and touches on some of the potential architectural compositions for twins. This last topic will be further elaborated in a followup report.


title: Multicausal transport: barycenters and dynamic matching

abstract: We introduce a multivariate version of adapted transport, which we name multicausal transport, involving several filtered processes among which causality constraints are imposed. Subsequently, we consider the barycenter problem for stochastic processes with respect to causal and bicausal optimal transport, and study its connection to specific multicausal transport problems. Attainment and duality of the aforementioned problems are provided. As an application, we study a matching problem in a dynamic setting where agents' types evolve over time. We link this to a causal barycenter problem and thereby show existence of equilibria.


title: N-free posets and orthomodularity

abstract: We prove that the incomparability orthoset of a finite poset is Dacey if and only if the poset is N-free. We give a characterization of finite posets with compatible incomparability orthosets.


title: Microscopic theory of field tuned topological transitions in the Kitaev honeycomb model

abstract: We microscopically derive a lattice abelian mutual Chern-Simons gauge theory for a honeycomb Kitaev model subjected to $(001)$ Zeeman and three-spin scalar spin chirality perturbations. We identify the nature of topological orders, emergent excitations and ground state degeneracy (GSD), topological entanglement entropy ($\gamma$), and chiral central charge ($c$) in different field regimes for both ferromagnetic (FM) and antiferromagnetic (AFM) sign of the Kitaev interaction. A nonabelian Ising topological order (ITO) exists at low fields in both cases, with $\gamma=\ln 2,$ $c=1/2,$ and GSD$=3,$ where the nonabelian anyon, a twist defect, is an intrinsic bulk excitation. For AFM Kitaev interactions, further increase of the field causes a transition from ITO to an intermediate trivial topological phase with central charge $c=1/2,$ implying half-quantized thermal Hall response in both phases with no change of sign. At sufficiently high fields there is a first order transition to a polarized paramagnetic phase with $\gamma=c=0.$ For the FM case, there is a direct transition from ITO to the polarized phase.


title: PSDF: Prior-Driven Neural Implicit Surface Learning for Multi-view Reconstruction

abstract: Surface reconstruction has traditionally relied on the Multi-View Stereo (MVS)-based pipeline, which often suffers from noisy and incomplete geometry. This is due to that although MVS has been proven to be an effective way to recover the geometry of the scenes, especially for locally detailed areas with rich textures, it struggles to deal with areas with low texture and large variations of illumination where the photometric consistency is unreliable. Recently, Neural Implicit Surface Reconstruction (NISR) combines surface rendering and volume rendering techniques and bypasses the MVS as an intermediate step, which has emerged as a promising alternative to overcome the limitations of traditional pipelines. While NISR has shown impressive results on simple scenes, it remains challenging to recover delicate geometry from uncontrolled real-world scenes which is caused by its underconstrained optimization. To this end, the framework PSDF is proposed which resorts to external geometric priors from a pretrained MVS network and internal geometric priors inherent in the NISR model to facilitate high-quality neural implicit surface learning. Specifically, the visibility-aware feature consistency loss and depth prior-assisted sampling based on external geometric priors are introduced. These proposals provide powerfully geometric consistency constraints and aid in locating surface intersection points, thereby significantly improving the accuracy and delicate reconstruction of NISR. Meanwhile, the internal prior-guided importance rendering is presented to enhance the fidelity of the reconstructed surface mesh by mitigating the biased rendering issue in NISR. Extensive experiments on the Tanks and Temples dataset show that PSDF achieves state-of-the-art performance on complex uncontrolled scenes.


title: Detecting Population III Stars through Tidal Disruption Events in the Era of JWST and Roman

abstract: The first generation metal-free stars, referred to as population III (Pop III) stars, are believed to be the first objects to form out of the pristine gas in the very early Universe. Pop III stars have different structures from current generation of stars and are important for generating heavy elements and shaping subsequent star formation. However, it is very challenging to directly detect Pop III stars given their high redshifts and short life-times. In this paper, we propose a novel method for detecting Pop III stars through their tidal disruption events (TDEs) by massive black holes. We model the emission properties and calculate the expected rates for these unique TDEs in the early Universe at z ~ 10. We find that Pop III star TDEs have much higher mass fallback rates and longer evolution timescales compared to solar-type star TDEs in the local universe, which enhances the feasibility of their detection, although a good survey strategy will be needed for categorizing these sources as transients. We further demonstrate that a large fraction of the flare emissions are redshifted to infrared wavelengths, which can be detected by the James Webb Space Telescope and the Nancy Grace Roman Space Telescope. Last but not least, we find a promising Pop III star TDE detection rate of up to a few tens per year using the Nancy Grace Roman Space Telescope, based on our current understanding of the black hole mass function in the early Universe.


title: Optimal Confidence Bands for Shape-restricted Regression in Multidimensions

abstract: In this paper, we propose and study construction of confidence bands for shape-constrained regression functions when the predictor is multivariate. In particular, we consider the continuous multidimensional white noise model given by $d Y(\mathbf{t}) = n^{1/2} f(\mathbf{t}) \,d\mathbf{t} + d W(\mathbf{t})$, where $Y$ is the observed stochastic process on $[0,1]^d$ ($d\ge 1$), $W$ is the standard Brownian sheet on $[0,1]^d$, and $f$ is the unknown function of interest assumed to belong to a (shape-constrained) function class, e.g., coordinate-wise monotone functions or convex functions. The constructed confidence bands are based on local kernel averaging with bandwidth chosen automatically via a multivariate multiscale statistic. The confidence bands have guaranteed coverage for every $n$ and for every member of the underlying function class. Under monotonicity/convexity constraints on $f$, the proposed confidence bands automatically adapt (in terms of width) to the global and local (H\"{o}lder) smoothness and intrinsic dimensionality of the unknown $f$; the bands are also shown to be optimal in a certain sense. These bands have (almost) parametric ($n^{-1/2}$) widths when the underlying function has ``low-complexity'' (e.g., piecewise constant/affine).


title: Research on the knee region of cosmic ray by using a novel type of electron-neutron detector array

abstract: By accurately measuring composition and energy spectrum of cosmic ray, the origin problem of so called "keen" region (energy > 1 PeV) can be solved. However, up to the present, the results of the spectrum in the knee region obtained by several previous experiments have shown obvious differences, so they cannot give effective evidence for judging the theoretical models on the origin of the knee. Recently, the Large High Altitude Air Shower Observatory (LHAASO) has reported several major breakthroughs and important results in astro-particle physics field. Relying on its advantages of wide-sky survey, high altitude location and large area detector arrays, the research content of LHAASO experiment mainly includes ultra high-energy gamma-ray astronomy, measurement of cosmic ray spectra in the knee region, searching for dark matter and new phenomena of particle physics at higher energy. The electron and Thermal Neutron detector (EN-Detector) is a new scintillator detector which applies thermal neutron detection technology to measure cosmic ray extensive air shower (EAS). This technology is an extension of LHAASO. The EN-Detector Array (ENDA) can highly efficiently measure thermal neutrons generated by secondary hadrons so called "skeleton" of EAS. In this paper, we perform the optimization of ENDA configuration, and obtain expectations on the ENDA results, including thermal neutron distribution, trigger efficiency and capability of cosmic ray composition separation. The obtained real data results are consistent with those by the Monte Carlo simulation.


title: Towards Risk Analysis of the Impact of AI on the Deliberate Biological Threat Landscape

abstract: The perception that the convergence of biological engineering and artificial intelligence (AI) could enable increased biorisk has recently drawn attention to the governance of biotechnology and artificial intelligence. The 2023 Executive Order, Executive Order on the Safe, Secure, and Trustworthy Development and Use of Artificial Intelligence, requires an assessment of how artificial intelligence can increase biorisk. Within this perspective, quantitative and qualitative frameworks for evaluating biorisk are presented. Both frameworks are exercised using notional scenarios and their benefits and limitations are then discussed. Finally, the perspective concludes by noting that assessment and evaluation methodologies must keep pace with advances of AI in the life sciences.


title: What the Weight?! A Unified Framework for Zero-Shot Knowledge Composition

abstract: The knowledge encapsulated in a model is the core factor determining its final performance on downstream tasks. Much research in NLP has focused on efficient methods for storing and adapting different types of knowledge, e.g., in dedicated modularized structures, and on how to effectively combine these, e.g., by learning additional parameters. However, given the many possible options, a thorough understanding of the mechanisms involved in these compositions is missing, and hence it remains unclear which strategies to utilize. To address this research gap, we propose a novel framework for zero-shot module composition, which encompasses existing and some novel variations for selecting, weighting, and combining parameter modules under a single unified notion. Focusing on the scenario of domain knowledge and adapter layers, our framework provides a systematic unification of concepts, allowing us to conduct the first comprehensive benchmarking study of various zero-shot knowledge composition strategies. In particular, we test two module combination methods and five selection and weighting strategies for their effectiveness and efficiency in an extensive experimental setup. Our results highlight the efficacy of ensembling but also hint at the power of simple though often-ignored weighting methods. Further in-depth analyses allow us to understand the role of weighting vs. top-k selection, and show that, to a certain extent, the performance of adapter composition can even be predicted.


title: Circulation in turbulent flow through a contraction

abstract: We study experimentally the statistical properties and evolution of circulation in a turbulent flow passing through a smooth 2-D contraction. The turbulence is generated with an active grids to reach $Re_{\lambda} \simeq 220$ at the inlet to the 2.5:1 contraction. We employ time-resolved 3-D Lagrangian Particle Tracking technique with the Shake-The-Box algorithm to obtain volumetric velocity fields which we use to calculate the simultaneous circulation in three perpendicular planes. Forming a circulation vector and studying the PDFs of the relative strength of its components, we can quantify how the mean strain enhances and orients coherent vortical structures with the streamwise direction. This is further studied with streamwise space and time correlations of the circulations over a range of loop sizes. The streamwise component of the circulation, over same-size square loops, shows increased integral length, while the other two components are less affected. The circulation around the compressive direction weakens and reaches prominent negative correlation values, suggesting buckling or sharp reorientation of transverse vortices. The PDFs of circulation transit from non-Gaussian to Gaussian behavior as the loop size is increased from dissipative to large scales.


title: Integration of High-Tc Superconductors with High Q Factor Oxide Mechanical Resonators

abstract: Micro-mechanical resonators are building blocks of a variety of applications in basic science and applied electronics. This device technology is mainly based on well-established and reproducible silicon-based fabrication processes with outstanding performances in term of mechanical Q factor and sensitivity to external perturbations. Broadening the functionalities of MEMS by the integration of functional materials is a key step for both applied and fundamental science. However, combining functional materials and silicon-based compounds is challenging. An alternative approach is fabricating MEMS based on complex heterostructures made of materials inherently showing a variety of physical properties such as transition metal oxides. Here, we report on the integration of a high-Tc superconductor YBa2Cu3O7 (YBCO) with high Q factor micro-bridge resonator made of a single-crystal LaAlO3 (LAO) thin film. LAO resonators are tensile strained, with a stress of 345 MPa, show Q factor in the range of tens of thousands, and have low roughness. The topmost YBCO layer deposited by Pulse Laser Deposition shows a superconducting transition starting at 90 K with zero resistance below 78 K. This result opens new possibilities towards the development of advanced transducers, such as bolometers or magnetic field detectors, as well as basic science experiments in solid state physics, material science, and quantum opto-mechanics.


title: Optimal design of a local renewable electricity supply system for power-intensive production processes with demand response

abstract: This work studies synergies arising from combining industrial demand response and local renewable electricity supply. To this end, we optimize the design of a local electricity generation and storage system with an integrated demand response scheduling of a continuous power-intensive production process in a multi-stage problem. We optimize both total annualized cost and global warming impact and consider local photovoltaic and wind electricity generation, an electric battery, and electricity trading on day-ahead and intraday market. We find that installing a battery can reduce emissions and enable large trading volumes on the electricity markets, but significantly increases cost. Economically and ecologically-optimal operation of the process and battery are driven primarily by the electricity price and grid emission factor, respectively, rather than locally generated electricity. A parameter study reveals that cost savings from the local system and flexibilizing the process behave almost additively.


title: Microresonator-referenced soliton microcombs with zeptosecond-level timing noise

abstract: Optical frequency division relies on optical frequency combs to coherently translate ultra-stable optical frequency references to the microwave domain. This technology has enabled microwave synthesis with ultralow timing noise, but the required instruments are too bulky for real-world applications. Here, we develop a compact optical frequency division system using microresonator-based frequency references and comb generators. The soliton microcomb formed in an integrated Si$_3$N$_4$ microresonator is stabilized to two lasers referenced to an ultrahigh-$Q$ MgF$_2$ microresonator. Photodetection of the soliton pulse train produces 25 GHz microwaves with absolute phase noise of -141 dBc/Hz (547 zs Hz$^{-1/2}$) at 10 kHz offset frequency. The synthesized microwaves are tested as local oscillators in jammed communication channels, resulting in improved fidelity compared with those derived from electronic oscillators. Our work demonstrates unprecedented coherence in miniature microwave oscillators, providing key building blocks for next-generation timekeeping, navigation, and satellite communication systems.


title: MUSES: The Multi-Sensor Semantic Perception Dataset for Driving under Uncertainty

abstract: Achieving level-5 driving automation in autonomous vehicles necessitates a robust semantic visual perception system capable of parsing data from different sensors across diverse conditions. However, existing semantic perception datasets often lack important non-camera modalities typically used in autonomous vehicles, or they do not exploit such modalities to aid and improve semantic annotations in challenging conditions. To address this, we introduce MUSES, the MUlti-SEnsor Semantic perception dataset for driving in adverse conditions under increased uncertainty. MUSES includes synchronized multimodal recordings with 2D panoptic annotations for 2500 images captured under diverse weather and illumination. The dataset integrates a frame camera, a lidar, a radar, an event camera, and an IMU/GNSS sensor. Our new two-stage panoptic annotation protocol captures both class-level and instance-level uncertainty in the ground truth and enables the novel task of uncertainty-aware panoptic segmentation we introduce, along with standard semantic and panoptic segmentation. MUSES proves both effective for training and challenging for evaluating models under diverse visual conditions, and it opens new avenues for research in multimodal and uncertainty-aware dense semantic perception. Our dataset and benchmark will be made publicly available.