title: Motion Prediction with Gaussian Processes for Safe Human-Robot Interaction in Virtual Environments

abstract: Humans use collaborative robots as tools for accomplishing various tasks. The interaction between humans and robots happens in tight shared workspaces. However, these machines must be safe to operate alongside humans to minimize the risk of accidental collisions. Ensuring safety imposes many constraints, such as reduced torque and velocity limits during operation, thus increasing the time to accomplish many tasks. However, for applications such as using collaborative robots as haptic interfaces with intermittent contacts for virtual reality applications, speed limitations result in poor user experiences. This research aims to improve the efficiency of a collaborative robot while improving the safety of the human user. We used Gaussian process models to predict human hand motion and developed strategies for human intention detection based on hand motion and gaze to improve the time for the robot and human security in a virtual environment. We then studied the effect of prediction. Results from comparisons show that the prediction models improved the robot time by 3\% and safety by 17\%. When used alongside gaze, prediction with Gaussian process models resulted in an improvement of the robot time by 2\% and the safety by 13\%.


title: Bismut torsion parallel metrics with constant holomorphic sectional curvature

abstract: An old conjecture in non-K\"ahler geometry states that, if a compact Hermitian manifold has constant holomorphic sectional curvature, then the metric must be K\"ahler (when the constant is non-zero) or Chern flat (when the constant is zero). It is known to be true in complex dimension $2$ by the work of Balas and Gauduchon in 1985 (when the constant is negative or zero) and Apostolov, Davidov and Muskarov in 1996 (when the constant is positive). In dimension $3$ or higher, the conjecture is only known in some special cases, such as the locally conformally K\"ahler case (when the constant is negative or zero) by the work of Chen, Chen and Nie, or for complex nilmanifolds with nilpotent $J$ by the work of Li and the second named author. In this note, we confirm the above conjecture for all non-balanced Bismut torsion parallel (BTP) manifolds. Here the BTP condition means that the Bismut connection has parallel torsion. In particular, the conjecture is valid for all Vaisman manifolds.


title: CarDreamer: Open-Source Learning Platform for World Model based Autonomous Driving

abstract: To safely navigate intricate real-world scenarios, autonomous vehicles must be able to adapt to diverse road conditions and anticipate future events. World model (WM) based reinforcement learning (RL) has emerged as a promising approach by learning and predicting the complex dynamics of various environments. Nevertheless, to the best of our knowledge, there does not exist an accessible platform for training and testing such algorithms in sophisticated driving environments. To fill this void, we introduce CarDreamer, the first open-source learning platform designed specifically for developing WM based autonomous driving algorithms. It comprises three key components: 1) World model backbone: CarDreamer has integrated some state-of-the-art WMs, which simplifies the reproduction of RL algorithms. The backbone is decoupled from the rest and communicates using the standard Gym interface, so that users can easily integrate and test their own algorithms. 2) Built-in tasks: CarDreamer offers a comprehensive set of highly configurable driving tasks which are compatible with Gym interfaces and are equipped with empirically optimized reward functions. 3) Task development suite: This suite streamlines the creation of driving tasks, enabling easy definition of traffic flows and vehicle routes, along with automatic collection of multi-modal observation data. A visualization server allows users to trace real-time agent driving videos and performance metrics through a browser. Furthermore, we conduct extensive experiments using built-in tasks to evaluate the performance and potential of WMs in autonomous driving. Thanks to the richness and flexibility of CarDreamer, we also systematically study the impact of observation modality, observability, and sharing of vehicle intentions on AV safety and efficiency. All code and documents are accessible on https://github.com/ucd-dare/CarDreamer.


title: Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-Task Learning

abstract: Reverse engineers would acquire valuable insights from descriptive function names, which are absent in publicly released binaries. Recent advances in binary function name prediction using data-driven machine learning show promise. However, existing approaches encounter difficulties in capturing function semantics in diverse optimized binaries and fail to reserve the meaning of labels in function names. We propose Epitome, a framework that enhances function name prediction using votes-based name tokenization and multi-task learning, specifically tailored for different compilation optimization binaries. Epitome learns comprehensive function semantics by pre-trained assembly language model and graph neural network, incorporating function semantics similarity prediction task, to maximize the similarity of function semantics in the context of different compilation optimization levels. In addition, we present two data preprocessing methods to improve the comprehensibility of function names. We evaluate the performance of Epitome using 2,597,346 functions extracted from binaries compiled with 5 optimizations (O0-Os) for 4 architectures (x64, x86, ARM, and MIPS). Epitome outperforms the state-of-the-art function name prediction tool by up to 44.34%, 64.16%, and 54.44% in precision, recall, and F1 score, while also exhibiting superior generalizability.


title: Efficient LLM Jailbreak via Adaptive Dense-to-sparse Constrained Optimization

abstract: Recent research indicates that large language models (LLMs) are susceptible to jailbreaking attacks that can generate harmful content. This paper introduces a novel token-level attack method, Adaptive Dense-to-Sparse Constrained Optimization (ADC), which effectively jailbreaks several open-source LLMs. Our approach relaxes the discrete jailbreak optimization into a continuous optimization and progressively increases the sparsity of the optimizing vectors. Consequently, our method effectively bridges the gap between discrete and continuous space optimization. Experimental results demonstrate that our method is more effective and efficient than existing token-level methods. On Harmbench, our method achieves state of the art attack success rate on seven out of eight LLMs. Code will be made available. Trigger Warning: This paper contains model behavior that can be offensive in nature.


title: SOEDiff: Efficient Distillation for Small Object Editing

abstract: In this paper, we delve into a new task known as small object editing (SOE), which focuses on text-based image inpainting within a constrained, small-sized area. Despite the remarkable success have been achieved by current image inpainting approaches, their application to the SOE task generally results in failure cases such as Object Missing, Text-Image Mismatch, and Distortion. These failures stem from the limited use of small-sized objects in training datasets and the downsampling operations employed by U-Net models, which hinders accurate generation. To overcome these challenges, we introduce a novel training-based approach, SOEDiff, aimed at enhancing the capability of baseline models like StableDiffusion in editing small-sized objects while minimizing training costs. Specifically, our method involves two key components: SO-LoRA, which efficiently fine-tunes low-rank matrices, and Cross-Scale Score Distillation loss, which leverages high-resolution predictions from the pre-trained teacher diffusion model. Our method presents significant improvements on the test dataset collected from MSCOCO and OpenImage, validating the effectiveness of our proposed method in small object editing. In particular, when comparing SOEDiff with SD-I model on the OpenImage-f dataset, we observe a 0.99 improvement in CLIP-Score and a reduction of 2.87 in FID. Our project page can be found in https://soediff.github.io/.


title: Hybrid Meta-Solving for Practical Quantum Computing

abstract: The advent of quantum algorithms has initiated a discourse on the potential for quantum speedups for optimization problems. However, several factors still hinder a practical realization of the potential benefits. These include the lack of advanced, error-free quantum hardware, the absence of accessible software stacks for seamless integration and interaction, and the lack of methods that allow us to leverage the theoretical advantages to real-world use cases. This paper works towards the creation of an accessible hybrid software stack for solving optimization problems, aiming to create a fundamental platform that can utilize quantum technologies to enhance the solving process. We introduce a novel approach that we call Hybrid Meta-Solving, which combines classical and quantum optimization techniques to create customizable and extensible hybrid solvers. We decompose mathematical problems into multiple sub-problems that can be solved by classical or quantum solvers, and propose techniques to semi-automatically build the best solver for a given problem. Implemented in our ProvideQ toolbox prototype, Meta-Solving provides interactive workflows for accessing quantum computing capabilities. Our evaluation demonstrates the applicability of Meta-Solving in industrial use cases. It shows that we can reuse state-of-the-art classical algorithms and extend them with quantum computing techniques. Our approach is designed to be at least as efficient as state-of-the-art classical techniques, while having the potential to outperform them if future advances in the quantum domain are made.


title: Atomic transport dynamics in crossed optical dipole trap

abstract: We study the dynamical evolution of cold atoms in crossed optical dipole trap theoretically and experimentally. The atomic transport process is accompanied by two competitive kinds of physical mechanics, atomic loading and atomic loss. The loading process normally is negligible in the evaporative cooling experiment on the ground, while it is significant in the preparation of ultra-cold atoms in the space station. Normally, the atomic loading process is much weaker than the atomic loss process, and the atomic number in the center region of the trap decreases monotonically, as reported in previous research. However, when the atomic loading process is comparable to the atomic loss process, the atomic number in the center region of the trap will initially increase to a maximum value and then slowly decrease, and we have observed the phenomenon first. The increase of atomic number in the center region of the trap shows the presence of the loading process, and this will be significant especially under microgravity conditions. We build a theoretical model to analyze the competitive relationship, which coincides with the experimental results well. Furthermore, we have also given the predicted evolutionary behaviors under different conditions. This research provides a solid foundation for further understanding of the atomic transport process in traps. The analysis of loading process is of significant importance for the preparation of ultra-cold atoms in a crossed optical dipole trap under microgravity conditions.


title: Complex-valued 3D atomic spectroscopy with Gaussian-assisted inline holography

abstract: When a laser-cooled atomic sample is optically excited, the envelope of coherent forward scattering can often be decomposed into a few complex Gaussian profiles. The convenience of Gaussian propagation helps addressing key challenges in digital holography. In this work, we theoretically develop and experimentally demonstrate a Gaussian-decomposition-assisted approach to inline holography, for single-shot, simultaneous measurements of absorption and phase shift of small atomic samples sparsely distributed in 3D. Experimentally, we image a sparse lattice of $^{87}$Rb samples on the D2 line, to resolve their axial positions with micrometer precision, and to retrieve their complex-valued spectroscopic images. With the phase-angle readouts that are highly insensitive to atom-number and interaction-strength uncertainties, we achieve hundred-kHz-level single-shot-resolution to the transition frequency with merely hundreds of atoms. We further demonstrate 3D sensing of local light shift with micrometer spatial resolution.


title: BonnBot-I Plus: A Bio-diversity Aware Precise Weed Management Robotic Platform

abstract: In this article, we focus on the critical tasks of plant protection in arable farms, addressing a modern challenge in agriculture: integrating ecological considerations into the operational strategy of precision weeding robots like \bbot. This article presents the recent advancements in weed management algorithms and the real-world performance of \bbot\ at the University of Bonn's Klein-Altendorf campus. We present a novel Rolling-view observation model for the BonnBot-Is weed monitoring section which leads to an average absolute weeding performance enhancement of $3.4\%$. Furthermore, for the first time, we show how precision weeding robots could consider bio-diversity-aware concerns in challenging weeding scenarios. We carried out comprehensive weeding experiments in sugar-beet fields, covering both weed-only and mixed crop-weed situations, and introduced a new dataset compatible with precision weeding. Our real-field experiments revealed that our weeding approach is capable of handling diverse weed distributions, with a minimal loss of only $11.66\%$ attributable to intervention planning and $14.7\%$ to vision system limitations highlighting required improvements of the vision system.


title: Molecular order induced charge transfer in a C$_{60}$-topological insulator moir\'e heterostructure

abstract: We synthesize and spectroscopically investigate monolayer C$_{60}$ on the topological insulator (TI) Bi$_4$Te$_3$. This C$_{60}$/Bi$_4$Te$_3$ heterostructure is characterized by excellent translational order in a novel (4 x 4) C$_{60}$ superstructure on a (9 x 9) unit of Bi$_4$Te$_3$. We measure the full two-dimensional energy band structure of C$_{60}$/Bi$_4$Te$_3$ using angle-resolved photoemission spectroscopy (ARPES). We find that C$_{60}$ accepts electrons from the TI at room temperature but no charge transfer occurs at low temperatures. We unravel this peculiar behaviour by Raman spectroscopy of C$_{60}$/Bi$_4$Te$_3$ and density functional theory (DFT) calculations of the electronegativity of C$_{60}$. Both methods are sensitive to orientational order of C$_{60}$. At low temperatures, Raman spectroscopy shows a dramatic intensity increase of the C$_{60}$ Raman signal, evidencing a transition to a rotationally ordered state. DFT reveals that the orientational order of C$_{60}$ at low temperatures has a higher electron affinity than at high temperatures. These results neatly explain the temperature-dependent charge transfer observed in ARPES. Our conclusions are supported by the appearance of a strong photoluminescence from C$_{60}$/Bi$_4$Te$_3$ at low temperatures.


title: Martian seismic anisotropy underneath Elysium Planitia revealed by direct S wave splitting

abstract: Seismic anisotropy, arising from the crystallographic or lattice-preferred orientation of anisotropic minerals or the shape-preferred orientation of melts or cracks, can establish a critical link between Mars's past evolution and its current state. So far, although seismic anisotropy in Mars has been proposed due to different velocities of vertically and horizontally polarized shear waves in the Martian crust, obtained from crustal converted waves, multiples, and surface waves recorded by the InSight seismometer, the evidence is plausible. Notably, the shear wave splitting, which stands out as a straight indicator of seismic anisotropy, has not been reported using marsquake records. In this study, we employ Low-frequency marsquakes detected by the InSight seismometer to reveal shear wave splitting in Mars. We find that the direct S waves of three marsquake recordings (S0173a, S0235b, and S1133c) with high signal-to-noise ratios exhibit the splitting pheonmenon. We rule out the possibility of apparent anisotropy through synthetic tests, affirming the presence of seismic anisotropy in Mars. The delay time (about 1.33 s on average) measured from the direct S wave splitting is too large to be solely attributed to the seismic anisotropy in the upper crust (0 - 10 km) beneath the InSight. Thus, seismic anisotropy in the deeper region of Mars is indispensable. Combined with other geophysical evidence near the InSight landing site, the strong seismic anisotropy observed in this study implies the porous crust with aligned cracks being greater than 10 km beneath the InSight and/or the presence of an active mantle plume underneath the Elysium Planitia of Mars.


title: Dirac Fermions and Topological Phases in Magnetic Topological Insulator Films

abstract: We develop a Dirac fermion theory for topological phases in magnetic topological insulator films. The theory is based on exact solutions of the energies and the wave functions for an effective model of the three-dimensional topological insulator (TI) film. It is found that the TI film consists of a pair of massless or massive Dirac fermions for the surface states, and a series of massive Dirac fermions for the bulk states. The massive Dirac fermion always carries zero or integer quantum Hall conductance when the valence band is fully occupied while the massless Dirac fermion carries a one-half quantum Hall conductance when the chemical potential is located around the Dirac point for a finite range. The magnetic exchange interaction in the magnetic layers in the film can be used to manipulate either the masses or chirality of the Dirac fermions and gives rise to distinct topological phases, which cover the known topological insulating phases, such as quantum anomalous Hall effect, quantum spin Hall effect and axion effect, and also the novel topological metallic phases, such as half quantized Hall effect, half quantum mirror Hall effect, and metallic quantum anomalous Hall effect.


title: Full Band Structure Calculation of Semiconducting Materials on a Noisy Quantum Processor

abstract: Quantum chemistry is a promising application in the era of quantum computing since the unique effects of quantum mechanics that take exponential growing resources to simulate classically are controllable on quantum computers. Fermionic degrees of freedom can be encoded efficiently onto qubits and allow for algorithms such as the Quantum Equation-of-Motion method to find the entire energy spectrum of a quantum system. In this paper, we propose the Reduced Quantum Equation-of-Motion method by reducing the dimensionality of its generalized eigenvalue equation, which results in half the measurements required compared to the Quantum Equation-of-Motion method, leading to speed up the algorithm and less noise accumulation on real devices. In particular, we analyse the performance of our method on two noise models and calculate the excitation energies of a bulk Silicon and Gallium Arsenide using our method on an IBM quantum processor. Our method is fully robust to the uniform depolarizing error and we demonstrate that the selection of suitable atomic orbital complexity could increase the robustness of our algorithm under real noise. We also find that taking the average of multiple experiments tends towards the correct energies due to the fluctuations around the exact values. Such noise resilience of our approach could be used on current quantum devices to solve quantum chemistry problems.


title: A new infinite family of maximum $h$-scattered $\mathbb{F}_q$-subspaces of $V(m(h+1),q^n)$ and associated MRD codes

abstract: The exploration of linear subspaces, particularly scattered subspaces, has garnered considerable attention across diverse mathematical disciplines in recent years, notably within finite geometries and coding theory. Scattered subspaces play a pivotal role in analyzing various geometric structures such as blocking sets, two-intersection sets, complete arcs, caps in affine and projective spaces over finite fields and rank metric codes. This paper introduces a new infinite family of $h$-subspaces, along with their associated MRD codes. Additionally, it addresses the task of determining the generalized weights of these codes. Notably, we demonstrate that these MRD codes exhibit some larger generalized weights compared to those previously identified.


title: A regular center instead of a black bounce

abstract: The widely discussed ``black-bounce'' mechanism of removing a singularity at $r=0$ in a spherically symmetric space-time, proposed by Simpson and Visser, consists in removing the point $r=0$ and its close neighborhood, resulting in emergence of a regular minimum of the spherical radius that can be a wormhole throat or a regular bounce. Instead, it has been recently proposed to make $r=0$ a regular center by properly modifying the metric, still preserving its form in regions far from $r=0$. Different algorithms of such modifications have been formulated for a few classes of singularities. The previous paper considered space-times whose Ricci tensor satisfies the condition $R^t_t =R^r_r$, and regular modifications were obtained for the Schwarzschild, Reissner-Nordstr\"om metrics, and two examples of solutions with magnetic fields obeying nonlinear electrodynamics (NED). The present paper considers regular modifications of more general space-times, and as examples, modifications with a regular center have been obtained for the Fisher (also known as JNW) solution with a naked singularity and a family of dilatonic black holes. Possible field sources of the new regular metrics are considered in the framework of general relativity (GR), using the fact that any static, spherically symmetric metric with a combined source involving NED and a scalar field with some self-interaction potential. This scalar field is, in general, not required to be of phantom nature (unlike the sources for black bounces), but in the examples discussed here, the possible scalar sources are phantom in a close neighborhood of $r=0$ and are canonical outside it.


title: HAAP: Vision-context Hierarchical Attention Autoregressive with Adaptive Permutation for Scene Text Recognition

abstract: Internal Language Model (LM)-based methods use permutation language modeling (PLM) to solve the error correction caused by conditional independence in external LM-based methods. However, random permutations of human interference cause fit oscillations in the model training, and Iterative Refinement (IR) operation to improve multimodal information decoupling also introduces additional overhead. To address these issues, this paper proposes the Hierarchical Attention autoregressive Model with Adaptive Permutation (HAAP) to enhance the location-context-image interaction capability, improving autoregressive generalization with internal LM. First, we propose Implicit Permutation Neurons (IPN) to generate adaptive attention masks to dynamically exploit token dependencies. The adaptive masks increase the diversity of training data and prevent model dependency on a specific order. It reduces the training overhead of PLM while avoiding training fit oscillations. Second, we develop Cross-modal Hierarchical Attention mechanism (CHA) to couple context and image features. This processing establishes rich positional semantic dependencies between context and image while avoiding IR. Extensive experimental results show the proposed HAAP achieves state-of-the-art (SOTA) performance in terms of accuracy, complexity, and latency on several datasets.


title: Floquet engineering of quantum thermal machines: A gradient-based procedure to optimize their performance

abstract: A procedure to find optimal regimes for quantum thermal engines (QTMs) is described and demonstrated. The QTMs are modelled as the periodically-driven non-equilibrium steady states of open quantum systems, whose dynamics is approximated in this work with Markovian master equations. The action of the external agent, and the couplings to the heat reservoirs can be modulated with control functions, and it is the time-dependent shape of these control functions the object of optimisation. Those functions can be freely parameterised, which permits to constrain the solutions according to experimental or physical requirements.


title: Quantum-Amplified Simultaneous Quantum-Classical Communications

abstract: Classical free-space optical (FSO) communication promises massive data throughput rates relative to traditional wireless technologies - an attractive outcome now being pursued in the context of satellite-ground, inter-satellite and deep-space communications. The question we investigate here is: how can we minimally alter classical FSO systems, both in infrastructure and in energy input, to provide some element of quantum communication coexisting with classical communications? To address this question, we explore additional Gaussian displacements to classical FSO encoding on the satellite, determining the minimum signal requirements that will meet given specifications on the combined classical and quantum communications throughput. We then investigate whether enhanced quantum-based amplifiers embedded in receivers, which have proven advantageous in standalone quantum communication, can enhance our combined classical-quantum communication throughput. We show how this is indeed the case, but only at the cost of some additional receiver complexity, relative to standalone quantum communications. This additional complexity takes the form of an additional beamsplitter and two heterodyne detectors at the receiver. Our results illustrate a viable pathway to realising quantum communication from classical FSO systems with minimal design changes.


title: Capacity of entanglement for scalar fields in squeezed states

abstract: We study various aspects of capacity of entanglement in the squeezed states of a scalar field theory. This quantity is a quantum informational counterpart of heat capacity and characterizes the width of the eigenvalue spectrum of the reduced density matrix. In particular, we carefully examine the dependence of capacity of entanglement and its universal terms on the squeezing parameter in the specific regimes of the parameter space. Remarkably, we find that the capacity of entanglement obeys a volume law in the large squeezing limit. We discuss how these results are consistent with the behavior of other entanglement measures including entanglement and Renyi entropies. We also comment on the existence of consistent holographic duals for a family of Gaussian states with generic squeezing parameter based on the ratio of entanglement entropy and the capacity of entanglement.


title: Aging Effects on Superconducting Properties of BiS2-Based Compounds: First-12-Year Restudy

abstract: Decomposition of superconductors sometimes becomes crucial when studying essential physical properties of the superconductors. For example, the cuprate superconductor YBa2Cu3O7-d decomposes by long-time air exposure. In this study, we investigate the aging effects on superconducting properties of BiS2-based superconductors Bi4O4S3 and LaO0.5F0.5BiS2, both were first synthesized in 2012, using their polycrystalline samples synthesized several years ago. We find that 12-year-old Bi4O4S3 samples exhibit bulk superconductivity with a slight degradation of the superconducting transition temperature (Tc) of 0.2 K. For a high-pressure-synthesized LaO0.5F0.5BiS2 sample, clear decrease in Tc is observed, which suggests that high-pressure strain is reduced by aging.


title: Contextual Integrity Games

abstract: The contextual integrity model is a widely accepted way of analyzing the plurality of norms that are colloquially called "privacy norms". Contextual integrity systematically describes such norms by distinguishing the type of data concerned, the three social agents involved (subject, sender, and recipient) and the transmission principle governing the transfer of information. It allows analyzing privacy norms in terms of their impact on the interaction of those agents with one another. This paper places contextual integrity in a strict game theoretic framework. When such description is possible it has three key advantages: Firstly, it allows indisputable utilitarian justification of some privacy norms. Secondly, it better relates privacy to topics which are well understood by stakeholders whose education is predominantly quantitative, such as engineers and economists. Thirdly, it is an absolute necessity when describing ethical constraints to machines such as AI agents. In addition to describing games which capture paradigmatic informational norms, the paper also analyzes cases in which the game, per se, does not encourage normative behavior. The paper discusses two main forms of mechanisms which can be applied to the game in such cases, and shows that they reflect accepted privacy regulation and technologies.


title: RobustMVS: Single Domain Generalized Deep Multi-view Stereo

abstract: Despite the impressive performance of Multi-view Stereo (MVS) approaches given plenty of training samples, the performance degradation when generalizing to unseen domains has not been clearly explored yet. In this work, we focus on the domain generalization problem in MVS. To evaluate the generalization results, we build a novel MVS domain generalization benchmark including synthetic and real-world datasets. In contrast to conventional domain generalization benchmarks, we consider a more realistic but challenging scenario, where only one source domain is available for training. The MVS problem can be analogized back to the feature matching task, and maintaining robust feature consistency among views is an important factor for improving generalization performance. To address the domain generalization problem in MVS, we propose a novel MVS framework, namely RobustMVS. A DepthClustering-guided Whitening (DCW) loss is further introduced to preserve the feature consistency among different views, which decorrelates multi-view features from viewpoint-specific style information based on geometric priors from depth maps. The experimental results further show that our method achieves superior performance on the domain generalization benchmark.


title: EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting

abstract: Static binary lifting is essential in binary rewriting frameworks. Existing tools overlook the impact of External Function Completion (EXFC) in static binary lifting. EXFC recovers the prototypes of External Functions (EXFs, functions defined in standard shared libraries) using only the function symbols available. Incorrect EXFC can misinterpret the source binary, or cause memory overflows in static binary translation, which eventually results in program crashes. Notably, existing tools struggle to recover the prototypes of mangled EXFs originating from binaries compiled from C++. Moreover, they require time-consuming manual processing to support new libraries. This paper presents EFACT, an External Function Auto-Completion Tool for static binary lifting. Our EXF recovery algorithm better recovers the prototypes of mangled EXFs, particularly addressing the template specialization mechanism in C++. EFACT is designed as a lightweight plugin to strengthen other static binary rewriting frameworks in EXFC. Our evaluation shows that EFACT outperforms RetDec and McSema in mangled EXF recovery by 96.4% and 97.3% on SPEC CPU 2017. Furthermore, we delve deeper into static binary translation and address several cross-ISA EXFC problems. When integrated with McSema, EFACT correctly translates 36.7% more benchmarks from x86-64 to x86-64 and 93.6% more from x86-64 to AArch64 than McSema alone on EEMBC.


title: Overcoming Domain Drift in Online Continual Learning

abstract: Online Continual Learning (OCL) empowers machine learning models to acquire new knowledge online across a sequence of tasks. However, OCL faces a significant challenge: catastrophic forgetting, wherein the model learned in previous tasks is substantially overwritten upon encountering new tasks, leading to a biased forgetting of prior knowledge. Moreover, the continual doman drift in sequential learning tasks may entail the gradual displacement of the decision boundaries in the learned feature space, rendering the learned knowledge susceptible to forgetting. To address the above problem, in this paper, we propose a novel rehearsal strategy, termed Drift-Reducing Rehearsal (DRR), to anchor the domain of old tasks and reduce the negative transfer effects. First, we propose to select memory for more representative samples guided by constructed centroids in a data stream. Then, to keep the model from domain chaos in drifting, a two-level angular cross-task Contrastive Margin Loss (CML) is proposed, to encourage the intra-class and intra-task compactness, and increase the inter-class and inter-task discrepancy. Finally, to further suppress the continual domain drift, we present an optional Centorid Distillation Loss (CDL) on the rehearsal memory to anchor the knowledge in feature space for each previous old task. Extensive experimental results on four benchmark datasets validate that the proposed DRR can effectively mitigate the continual domain drift and achieve the state-of-the-art (SOTA) performance in OCL.


title: Contractibility of the Rips complexes of Integer lattices via local domination

abstract: We prove that for each positive integer $n$, the Rips complexes of the $n$-dimensional integer lattice in the $d_1$ metric (i.e., the Manhattan metric, also called the natural word metric in the Cayley graph) are contractible at scales above $n^2(2n-1)^2$, with the bounds arising from the Jung's constants. We introduce a new concept of locally dominated vertices in a simplicial complex, upon which our proof strategy is based. This allows us to deduce the contractibility of the Rips complexes from a local geometric condition called local crushing. In the case of the integer lattices in dimension $n$ and a fixed scale $r$, this condition entails the comparison of finitely many distances to conclude that the corresponding Rips complex is contractible. In particular, we are able to verify that for $n=1,2,3$, the Rips complex of the $n$-dimensional integer lattice at scale greater or equal to $n$ is contractible. We conjecture that the same proof strategy can be used to extend this result to all dimensions $n$


title: On the Role of Controllability in Pulse-based Quantum Machine Learning Models

abstract: Pulse-based quantum machine learning (QML) models possess full expressivity when they are ensemble controllable. However, it has also been shown that barren plateaus emerge in such models, rendering training intractable for systems with large dimension. In this paper, we show that the trade-off is closely related to the controllability of the underlying pulse-based models. We first apply the Fliess-series expansion to pulse-based QML models to investigate the effect of control system structure on model expressivity, which leads to a universal criterion for assessing the expressivity of generic QML models. Guided by this criterion, we then demonstrate how designing pulse-based models on low-dimensional manifolds can balance expressivity and trainability. Finally, numerical experiments are carried out to verify the proposed criterion and our analysis, which futher demonstrate that increasing dimensionality enhances expressivity but avoids barren plateaus if the model is designed with limited controllability on a submanifold. Our approach provides a promising path for designing pulse-based QML models that are both highly expressive and trainable.


title: Self-diffusiophoretic propulsion of a spheroidal particle in a shear-thinning fluid

abstract: Shear-thinning viscosity is a non-Newtonian behaviour that active particles often encounter in biological fluids such as blood and mucus. The fundamental question of how this ubiquitous non-Newtonian rheology affects the propulsion of active particles has attracted substantial interest. In particular, spherical Janus particles driven by self-diffusiophresis, a major physico-chemical propulsion mechanism of synthetic active particles, were shown to always swim slower in a shear-thinning fluid than in a Newtonian fluid. In this work, we move beyond the spherical limit to examine the effect of particle eccentricity on self-diffusiophoretic propulsion in a shear-thinning fluid. We use a combination of asymptotic analysis and numerical simulations to show that shear-thinning rheology can enhance self-diffusiophoretic propulsion of a spheroidal particle, in stark contrast to previous findings for the spherical case. A systematic characterization of the dependence of the propulsion speed on the particle's active surface coverage has also uncovered an intriguing feature associated with the propulsion speeds of a pair of complementarily coated particles not previously reported. Symmetry arguments are presented to elucidate how this new feature emerges as a combined effect of anisotropy of the spheroidal geometry and nonlinearity in fluid rheology.


title: On Convergence of the Iteratively Preconditioned Gradient-Descent (IPG) Observer

abstract: This paper considers the observer design problem for discrete-time nonlinear dynamical systems with sampled measurement data. Earlier, the recently proposed Iteratively Preconditioned Gradient-Descent (IPG) observer, a Newton-type observer, has been empirically shown to have improved robustness against measurement noise than the prominent nonlinear observers, a property that other Newton-type observers lack. However, no theoretical guarantees on the convergence of the IPG observer were provided. This paper presents a rigorous convergence analysis of the IPG observer for a class of nonlinear systems in deterministic settings, proving its local linear convergence to the actual trajectory. Our assumptions are standard in the existing literature of Newton-type observers, and the analysis further confirms the relation of the IPG observer with the Newton observer, which was only hypothesized earlier.


title: OpenGait: A Comprehensive Benchmark Study for Gait Recognition towards Better Practicality

abstract: Gait recognition, a rapidly advancing vision technology for person identification from a distance, has made significant strides in indoor settings. However, evidence suggests that existing methods often yield unsatisfactory results when applied to newly released real-world gait datasets. Furthermore, conclusions drawn from indoor gait datasets may not easily generalize to outdoor ones. Therefore, the primary goal of this work is to present a comprehensive benchmark study aimed at improving practicality rather than solely focusing on enhancing performance. To this end, we first develop OpenGait, a flexible and efficient gait recognition platform. Using OpenGait as a foundation, we conduct in-depth ablation experiments to revisit recent developments in gait recognition. Surprisingly, we detect some imperfect parts of certain prior methods thereby resulting in several critical yet undiscovered insights. Inspired by these findings, we develop three structurally simple yet empirically powerful and practically robust baseline models, i.e., DeepGaitV2, SkeletonGait, and SkeletonGait++, respectively representing the appearance-based, model-based, and multi-modal methodology for gait pattern description. Beyond achieving SoTA performances, more importantly, our careful exploration sheds new light on the modeling experience of deep gait models, the representational capacity of typical gait modalities, and so on. We hope this work can inspire further research and application of gait recognition towards better practicality. The code is available at https://github.com/ShiqiYu/OpenGait.


title: Tunable magnetic anisotropy, Curie temperature and band alignment of two-dimensional ferromagnet VSiSnN4 via non-volatile ferroelectrical control

abstract: The emergence of multiferroic materials, which possess both ferromagnetic (FM) and ferroelectric (FE) properties, drive advancements in magnetoelectric applications and the next generation of spintronics. Based on first-principles calculations, we investigate an engineered two-dimensional multiferroic van der Waals heterostructures consisting of FM VSiSnN4 monolayer (ML) and fully hydrogenated FE AlN bilayer. We find that the magnetic anisotropy of VSiSnN4 ML is tunable between out-of-plane and in-plane and a phase transition between semiconductor and metal is induced in VSiSnN4/AlN bilayer when the FE polarization direction of AlN bilayer is reversed. Surprisingly, when the FE polarization of AlN bilayer is upward, the Curie temperature of VSiSnN4/AlN bilayer can be significantly increased from 204K to 284K. Such non-volatile and tunable magnetic anisotropy, Curie temperature and band alignment in VSiSnN4/AlN multiferroic heterostructure are highly promising for future low-current operation of data storage and logic devices.


title: An ultra wide-band, high-sensitivity Q-band receiver for single-dish telescopes, eQ: rest frequency determination of CCS ($J_N$ = $4_3$-$3_2$) and SO ($J_N$ = $1_0$-$0_1$), and high-redshift CO ($J$ = 1-0) detection

abstract: We report on the development and commissioning of a new Q-band receiver for the Nobeyama 45-m telescope, covering 30--50 GHz with a receiver noise temperature of about 15 K. We name it eQ (extended Q-band) receiver. The system noise temperatures for observations are measured to be $\sim$ 30 K at 33 GHz and $\sim$ 75 K at 45 GHz. The Half-Power-Beam-Width (HPBW) is around 38\arcsec at 43 GHz. To enhance the observation capability, we tested the smoothed bandpass calibration technique and demonstrated the observation time can be significantly reduced compared to the standard position switch technique. The wide-bandwidth capability of this receiver provides precise determination of rest frequencies for molecular transitions with an accuracy of a few kHz through simultaneous observations of multiple transitions. Particularly, we determined the rest frequency of SO ($J_N$ = $1_0$--$0_1$) to be 30.001542 GHz, along with the rest frequency of CCS ($J_N$ = $4_3$--$3_2$) being 45.379033 GHz, adopting CCS ($J_N$ = $3_2$--$2_1$) at 33.751370 GHz as a reference line. The SO profile shows a double peak shape at the Cyanopolyyne Peak (CP) position of the Taurus Molecular Cloud-1 (TMC-1). The SO peaks coincide well with the CCS sub-components located near the outer parts of the TMC-1 filament. We interpret that the gravitational infall of TMC-1 generates shocks which enhance the SO abundance. The TMC-1 map shows that carbon-chain molecules are more abundant in the southern part of the filament, whereas SO is more abundant in the northern part. The eQ's excellent sensitivity allowed us to detect faint CO ($J$ = 1--0) spectra from the high-redshift object at a redshift of 2.442. Our receiver is expected to open new avenues for high-sensitivity molecular line observations in the Q-band.


title: Tree-Packing Revisited: Faster Fully Dynamic Min-Cut and Arboricity

abstract: A tree-packing is a collection of spanning trees of a graph. It has been a useful tool for computing the minimum cut in static, dynamic, and distributed settings. In particular, [Thorup, Comb. 2007] used them to obtain his dynamic min-cut algorithm with $\tilde O(\lambda^{14.5}\sqrt{n})$ worst-case update time. We reexamine this relationship, showing that we need to maintain fewer spanning trees for such a result; we show that we only need to pack $\Theta(\lambda^3 \log m)$ greedy trees to guarantee a 1-respecting cut or a trivial cut in some contracted graph. Based on this structural result, we then provide a deterministic algorithm for fully dynamic exact min-cut, that has $\tilde O(\lambda^{5.5}\sqrt{n})$ worst-case update time, for min-cut value bounded by $\lambda$. In particular, this also leads to an algorithm for general fully dynamic exact min-cut with $\tilde O(m^{1-1/12})$ amortized update time, improving upon $\tilde O(m^{1-1/31})$ [Goranci et al., SODA 2023]. We also give the first fully dynamic algorithm that maintains a $(1+\varepsilon)$-approximation of the fractional arboricity -- which is strictly harder than the integral arboricity. Our algorithm is deterministic and has $O(\alpha \log^6m/\varepsilon^4)$ amortized update time, for arboricity at most $\alpha$. We extend these results to a Monte Carlo algorithm with $O(\text{poly}(\log m,\varepsilon^{-1}))$ amortized update time against an adaptive adversary. Our algorithms work on multi-graphs as well. Both result are obtained by exploring the connection between the min-cut/arboricity and (greedy) tree-packing. We investigate tree-packing in a broader sense; including a lower bound for greedy tree-packing, which - to the best of our knowledge - is the first progress on this topic since [Thorup, Comb. 2007].


title: Speaker Embeddings With Weakly Supervised Voice Activity Detection For Efficient Speaker Diarization

abstract: Current speaker diarization systems rely on an external voice activity detection model prior to speaker embedding extraction on the detected speech segments. In this paper, we establish that the attention system of a speaker embedding extractor acts as a weakly supervised internal VAD model and performs equally or better than comparable supervised VAD systems. Subsequently, speaker diarization can be performed efficiently by extracting the VAD logits and corresponding speaker embedding simultaneously, alleviating the need and computational overhead of an external VAD model. We provide an extensive analysis of the behavior of the frame-level attention system in current speaker verification models and propose a novel speaker diarization pipeline using ECAPA2 speaker embeddings for both VAD and embedding extraction. The proposed strategy gains state-of-the-art performance on the AMI, VoxConverse and DIHARD III diarization benchmarks.


title: Role of melting and solidification in the spreading of an impacting water drop

abstract: The present study reports experiments of water droplet impacting on ice or on a cold metallic substrate, with the aim of understanding the effect of phase change on the impingement process. Both liquid and substrate temperatures are varied, as well as the height of fall. The dimensionless maximum spreading diameter, $\beta_m$, is found to increase with both temperatures as well as with the impact velocity. Furthermore, $\beta_m$ is reduced when solidification, which enhances dissipation, is present, whereas fusion favours the liquid film spreading. These observations are rationalized by extending an existing model of effective viscosity, in which phase change alters the size and shape of the developing viscous boundary layer, thereby modifying the value of $\beta_m$. The use of this correction allows to adapt a scaling law existing for isothermal drop impacts to propose a universal law giving the maximum diameter of an impacting water droplet in the presence of melting or solidification.


title: Evaluation scheme for children-centered language interaction competence of AI-driven robots

abstract: This article explores the evaluation method for the language communication proficiency of AI-driven robots engaging in interactive communication with children. The utilization of AI-driven robots in children's everyday communication is swiftly advancing, underscoring the importance of evaluating these robots'language communication skills. Based on 11 Chinese families' interviews and thematic analysis of the comment text from shopping websites, a framework is introduced in the article to assess five key dimensions of child-robot language communication: interactivity, specificity, development, sociality, and safety. We draw on the concept of "children's agency", viewing children as active participants in shaping society and cultural life alongside adults. Therefore, this article places particular emphasis on collecting data related to children. Whether through survey interviews or direct interactive experiments, we treat children as an independent object for data collection. The study involved empirical research following the mentioned framework, which involved capturing interaction videos in natural conversation settings among children from 6 families. Analysis was performed on quantitative data obtained from video recordings, alongside questionnaires and interviews carried out by parents acting as participants or observers. We found that the presence or absence of parents during children's interactions with robots can impact the evaluation of robots'language communication abilities. Ultimately, this article proposes an enhanced comprehensive evaluation framework incorporating insights from parents and children, supported by empirical evidence and inter-rater consistency assessments, showcasing the scheme's efficacy.


title: Characterizing NGC 6383: A study of pre-main sequence stars, mass segregation, and age using Gaia DR3 and 2MASS

abstract: This study employs Bayesian analysis and machine learning techniques to analyze the young open cluster NGC 6383 using data from Gaia DR3 and 2MASS. We identified 254 probable cluster members through HDBSCAN based on proper motions and determined the cluster's core and tidal radius. To perform this analysis, we utilized an extension of Hamiltonian Monte Carlo, the No-U-Turn Sampler, using the Bayesian library PyMC. Our results indicate a mean cluster age of $4 \pm 1$ Myr and a distance of $1.107 \pm 0.035$ kpc. The analysis reveals mass segregation, especially among binary stars, and suggests that NGC 6383 is not fully relaxed. We observed a well-defined main sequence and a population of pre-main sequence stars, with a star formation range from $\sim 1$ to $6$ Myr, indicating recent star formation activity.


title: First order distinguishability of sparse random graphs

abstract: We study the problem of distinguishing between two independent samples $\mathbf{G}_n^1,\mathbf{G}_n^2$ of a binomial random graph $G(n,p)$ by first order (FO) sentences. Shelah and Spencer proved that, for a constant $\alpha\in(0,1)$, $G(n,n^{-\alpha})$ obeys FO zero-one law if and only if $\alpha$ is irrational. Therefore, for irrational $\alpha\in(0,1)$, any fixed FO sentence does not distinguish between $\mathbf{G}_n^1,\mathbf{G}_n^2$ with asymptotical probability 1 (w.h.p.) as $n\to\infty$. We show that the minimum quantifier depth $\mathbf{k}_{\alpha}$ of a FO sentence $\varphi=\varphi(\mathbf{G}_n^1,\mathbf{G}_n^2)$ distinguishing between $\mathbf{G}_n^1,\mathbf{G}_n^2$ depends on how closely $\alpha$ can be approximated by rationals: (1) for all non-Liouville $\alpha\in(0,1)$, $\mathbf{k}_{\alpha}=\Omega(\ln\ln\ln n)$ w.h.p.; (2) there are irrational $\alpha\in(0,1)$ with $\mathbf{k}_{\alpha}$ that grow arbitrarily slowly w.h.p.; (3) $\mathbf{k}_{\alpha}=O_p(\frac{\ln n}{\ln\ln n})$ for all $\alpha\in(0,1)$. The main ingredients in our proofs are a novel randomized algorithm that generates asymmetric strictly balanced graphs as well as a new method to study symmetry groups of randomly perturbed graphs.


title: Synchronization of E. coli bacteria moving in coupled wells

abstract: Synchronization plays a crucial role in the dynamics of living organisms, from fireflies flashing in unison to pacemaker cells that jointly generate heartbeats. Uncovering the mechanism behind these phenomena requires an understanding of individual biological oscillators and the coupling forces between them. Here, we develop a single-cell assay that studies rhythmic behavior in the motility of individual E.coli cells that can be mutually synchronized. Circular microcavities are used to isolate E.coli cells that swim along the cavity wall, resulting in self-sustained oscillations. Upon connecting these cavities by microchannels the bacterial motions can be coupled, yielding nonlinear dynamic synchronization patterns with phase slips. We demonstrate that the coordinated movement observed in coupled E. coli oscillators follows mathematical rules of synchronization which we use to quantify the coupling strength. These findings advance our understanding of motility in confinement, and lay the foundation for engineering desired dynamics in microbial active matter.


title: A Hierarchically Feature Reconstructed Autoencoder for Unsupervised Anomaly Detection

abstract: Anomaly detection and localization without any manual annotations and prior knowledge is a challenging task under the setting of unsupervised learning. The existing works achieve excellent performance in the anomaly detection, but with complex networks or cumbersome pipelines. To address this issue, this paper explores a simple but effective architecture in the anomaly detection. It consists of a well pre-trained encoder to extract hierarchical feature representations and a decoder to reconstruct these intermediate features from the encoder. In particular, it does not require any data augmentations and anomalous images for training. The anomalies can be detected when the decoder fails to reconstruct features well, and then errors of hierarchical feature reconstruction are aggregated into an anomaly map to achieve anomaly localization. The difference comparison between those features of encoder and decode lead to more accurate and robust localization results than the comparison in single feature or pixel-by-pixel comparison in the conventional works. Experiment results show that the proposed method outperforms the state-of-the-art methods on MNIST, Fashion-MNIST, CIFAR-10, and MVTec Anomaly Detection datasets on both anomaly detection and localization.


title: Exploring uniformity and maximum entropy distribution on torus through intrinsic geometry: Application to protein-chemistry

abstract: A generic family of distributions, defined on the surface of a curved torus is introduced using the area element of it. The area uniformity and the maximum entropy distribution are identified using the trigonometric moments of the proposed family. A marginal distribution is obtained as a three-parameter modification of the von Mises distribution that encompasses the von Mises, Cardioid, and Uniform distributions as special cases. The proposed family of the marginal distribution exhibits both symmetric and asymmetric, unimodal or bimodal shapes, contingent upon parameters. Furthermore, we scrutinize a two-parameter symmetric submodel, examining its moments, measure of variation, Kullback-Leibler divergence, and maximum likelihood estimation, among other properties. In addition, we introduce a modified acceptance-rejection sampling with a thin envelope obtained from the upper-Riemann-sum of a circular density, achieving a high rate of acceptance. This proposed sampling scheme will accelerate the empirical studies for a large-scale simulation reducing the processing time. Furthermore, we extend the Uniform, Wrapped Cauchy, and Kato-Jones distributions to the surface of the curved torus and implemented the proposed bivariate toroidal distribution for different groups of protein data, namely, $\alpha$-helix, $\beta$-sheet, and their mixture. A marginal of this proposed distribution is fitted to the wind direction data.


title: Curriculum Dataset Distillation

abstract: Most dataset distillation methods struggle to accommodate large-scale datasets due to their substantial computational and memory requirements. In this paper, we present a curriculum-based dataset distillation framework designed to harmonize scalability with efficiency. This framework strategically distills synthetic images, adhering to a curriculum that transitions from simple to complex. By incorporating curriculum evaluation, we address the issue of previous methods generating images that tend to be homogeneous and simplistic, doing so at a manageable computational cost. Furthermore, we introduce adversarial optimization towards synthetic images to further improve their representativeness and safeguard against their overfitting to the neural network involved in distilling. This enhances the generalization capability of the distilled images across various neural network architectures and also increases their robustness to noise. Extensive experiments demonstrate that our framework sets new benchmarks in large-scale dataset distillation, achieving substantial improvements of 11.1\% on Tiny-ImageNet, 9.0\% on ImageNet-1K, and 7.3\% on ImageNet-21K. The source code will be released to the community.


title: Thermodynamics and kinetics of state switching for the asymptotically flat black hole in a cavity

abstract: We propose that the thermodynamics and the kinetics of state switching for the asymptotically flat black hole enclosed by a cavity can be studied in terms of the free energy landscape formalism. The generalized free energy for the black hole enclosed by a cavity in the canonical ensemble is derived by using the York's approach, where the temperature on the cavity and the charges inside the cavity are kept as the fixed parameters. By quantifying the corresponding free energy landscape, we obtain the phase diagrams for the black hole in cavity, which reveal a Hawking-Page type transition for the uncharged black hole and a Van der Waals type transition for the charged black hole. We further assume that the dynamics of black hole state switching is mutually determined by the gradient force and the stochastic force arising from the free energy landscape and the thermal noises respectively. We then derive a recurrence relation for the $n$-momentum of the first passage time distribution function, which enables the calculation of the kinetic times characterized by the mean first passage time and its relative fluctuation. Our analysis illustrates that the kinetics of black hole state switching is determined by the ensemble temperature and the barrier height on the free energy landscape.


title: Scalable Image Coding for Humans and Machines Using Feature Fusion Network

abstract: As image recognition models become more prevalent, scalable coding methods for machines and humans gain more importance. Applications of image recognition models include traffic monitoring and farm management. In these use cases, the scalable coding method proves effective because the tasks require occasional image checking by humans. Existing image compression methods for humans and machines meet these requirements to some extent. However, these compression methods are effective solely for specific image recognition models. We propose a learning-based scalable image coding method for humans and machines that is compatible with numerous image recognition models. We combine an image compression model for machines with a compression model, providing additional information to facilitate image decoding for humans. The features in these compression models are fused using a feature fusion network to achieve efficient image compression. Our method's additional information compression model is adjusted to reduce the number of parameters by enabling combinations of features of different sizes in the feature fusion network. Our approach confirms that the feature fusion network efficiently combines image compression models while reducing the number of parameters. Furthermore, we demonstrate the effectiveness of the proposed scalable coding method by evaluating the image compression performance in terms of decoded image quality and bitrate.


title: Adapting Abstract Meaning Representation Parsing to the Clinical Narrative -- the SPRING THYME parser

abstract: This paper is dedicated to the design and evaluation of the first AMR parser tailored for clinical notes. Our objective was to facilitate the precise transformation of the clinical notes into structured AMR expressions, thereby enhancing the interpretability and usability of clinical text data at scale. Leveraging the colon cancer dataset from the Temporal Histories of Your Medical Events (THYME) corpus, we adapted a state-of-the-art AMR parser utilizing continuous training. Our approach incorporates data augmentation techniques to enhance the accuracy of AMR structure predictions. Notably, through this learning strategy, our parser achieved an impressive F1 score of 88% on the THYME corpus's colon cancer dataset. Moreover, our research delved into the efficacy of data required for domain adaptation within the realm of clinical notes, presenting domain adaptation data requirements for AMR parsing. This exploration not only underscores the parser's robust performance but also highlights its potential in facilitating a deeper understanding of clinical narratives through structured semantic representations.


title: Two models for the orbital modulation of $\gamma$-rays in Cyg X-3

abstract: We model the currently available $\gamma$-ray data from the Fermi Large Area Telescope on Cyg X-3. Thanks to its very strong $\gamma$-ray activity during 2018--2021, the data quality has significantly improved. We study the strong orbital modulation of the $\gamma$-rays observed during at high $\gamma$-ray fluxes. The modulation, as found earlier, is well modeled by anisotropic Compton scattering of the donor blackbody emission by relativistic electrons in a jet strongly misaligned with respect to the orbital axis. We confirm that this model fits well both the average $\gamma$-ray modulation light curve and the spectrum. However, we find that if the jet is aligned with the spin axis of a rotating black hole, it would undergo geodetic precession with the period of $\sim$50 years. However, its presence is ruled out by both the $\gamma$-ray and radio data. Therefore, we consider an alternative model in which the average jet direction jet is aligned, but it is bent to outside the orbit owing to the thrust of the donor stellar wind, and thus precesses at the orbital period. The $\gamma$-ray modulation appears then owing to the variable Doppler boosting of synchrotron self-Compton jet emission. The model also fits well the data. However, the fitted bending angle is much larger than the theoretical one based on the binary and wind parameters as currently known. Thus, both models disagree with important aspects of our current theoretical understanding of the system. We discuss possible ways to find the correct model.


title: TunnelSense: Low-power, Non-Contact Sensing using Tunnel Diodes

abstract: Sensing the motion of physical objects in an environment enables numerous applications, from tracking occupancy in buildings and monitoring vital signs to diagnosing faults in machines. Typically, these application scenarios involve attaching a sensor, such as an accelerometer, to the object of interest, like a wearable device that tracks our steps. However, many of these scenarios require tracking motion in a noncontact manner where the sensor is not in touch with the object. A sensor in such a scenario observes variations in radio, light, acoustic, and infrared fields disturbed by the object's motion. Current noncontact sensing mechanisms often require substantial energy and involve complex processing on sophisticated hardware. We present TunnelSense, a novel mechanism that rethinks noncontact sensing using tunnel diode oscillators. They are highly sensitive to changes in their electromagnetic environments. The motion of an object near a tunnel diode oscillator induces corresponding changes in its resonant frequency and thus in the generated radio waves. Additionally, the low-power characteristics of the tunnel diode allow tags designed using them to operate on less than 100microwatt of power consumption and with a biasing voltage starting at 70 millivolt. This enables prolonged tag operation on a small battery or energy harvested from the environment. Among numerous applications enabled by the TunnelSense system, this work demonstrates its ability to detect breathing at distances up to 30 centimeter between the subject and the TunnelSense tag.


title: A note on convergence of densities to free extreme value distributions

abstract: The concept of free extreme value distributions as universal limit laws for the spectral maximum of free noncommutative real random variables was discovered by Ben Arous and Voiculescu in 2006. This paper contributes to study the convergence of densities towards free extreme value distributions under the von Mises condition for sample distributions.


title: A Primal-Dual Framework for Symmetric Cone Programming

abstract: In this paper, we introduce a primal-dual algorithmic framework for solving Symmetric Cone Programs (SCPs), a versatile optimization model that unifies and extends Linear, Second-Order Cone (SOCP), and Semidefinite Programming (SDP). Our work generalizes the primal-dual framework for SDPs introduced by Arora and Kale, leveraging a recent extension of the Multiplicative Weights Update method (MWU) to symmetric cones. Going beyond existing works, our framework can handle SOCPs and mixed SCPs, exhibits nearly linear time complexity, and can be effectively parallelized. To illustrate the efficacy of our framework, we employ it to develop approximation algorithms for two geometric optimization problems: the Smallest Enclosing Sphere problem and the Support Vector Machine problem. Our theoretical analyses demonstrate that the two algorithms compute approximate solutions in nearly linear running time and with parallel depth scaling polylogarithmically with the input size. We compare our algorithms against CGAL as well as interior point solvers applied to these problems. Experiments show that our algorithms are highly efficient when implemented on a CPU and achieve substantial speedups when parallelized on a GPU, allowing us to solve large-scale instances of these problems.


title: Renormalized spectral zeta function and ground state of Rabi model

abstract: The renormalized spectral zeta function of the quantum Rabi Hamiltonian is considered. It is shown that the renormalized spectral zeta function converges to the Riemann zeta function as the coupling constant goes to infinity. Moreover the path measure associated with the ground state of the quantum Rabi Hamiltonian is constructed on a discontinuous path space, and several applications are shown.


title: An indirect geometry crystal time-of-flight spectrometer for FRM II

abstract: We present a concept for an indirect geometry crystal time-of-flight spectrometer, which we propose for the FRM-II reactor in Garching. Recently, crystal analyzer spectrometers at modern spallation sources have been proposed and are under construction. The secondary spectrometers of these instruments are evolutions of the flat cone multi-analyzer for three-axis spectrometers (TAS). The instruments will provide exceptional reciprocal space coverage and intensity to map out the excitation landscape in novel materials. We will discuss the benefits of such a time-of-flight primary spectrometer with a large crystal analyzer spectrometer at a continuous neutron source. The dynamical range can be very flexibly matched to the requirements of the experiment without sacrificing the neutron intensity. At the same time, the chopper system allows a quasi-continuous variation of the initial energy resolution. The neutron optics of the proposed instrument employs the novel nested mirror optics, which images neutrons from a bright virtual source onto the sample. The spot size of less than 1 cm x 1 cm at the virtual source allows the realization of very short neutron pulses by the choppers, while the small and well-defined spot size at the sample position provides an excellent energy resolution of the secondary spectrometer thanks to the prismatic focusing of the analyzer.


title: Temporal Talbot Effect: From a Quasi-Linear Talbot Carpet to Soliton Crystals and Talbot Solitons

abstract: The temporal Talbot effect refers to the periodic self-imaging of pulse trains in optical fibers. The connection between the linear and nonlinear temporal Talbot effect is still not fully understood. To address this challenge, we use Soliton Radiation Beat Analysis and numerically investigate the evolution of a phase-modulated continuous-wave laser input in a passive single-mode fiber. We identify three input-power-dependent regimes and their Talbot carpets: the quasi-linear regime for low input powers, the intermediate one, and separated Talbot solitons for higher powers. We show that the intermediate regime hosts soliton crystals rather than rogue waves, as reported in the literature. The Talbot-solitons beating can be used for pulse repetition-rate multiplication in the nonlinear regime. We also show two types of solitons involved: some encoded in the whole frequency comb and the individual solitons carried only by particular comb lines.


title: Exploring the Potential of Large Language Models for Automation in Technical Customer Service

abstract: Purpose: The purpose of this study is to investigate the potential of Large Language Models (LLMs) in transforming technical customer service (TCS) through the automation of cognitive tasks. Design/Methodology/Approach: Using a prototyping approach, the research assesses the feasibility of automating cognitive tasks in TCS with LLMs, employing real-world technical incident data from a Swiss telecommunications operator. Findings: Lower-level cognitive tasks such as translation, summarization, and content generation can be effectively automated with LLMs like GPT-4, while higher-level tasks such as reasoning require more advanced technological approaches such as Retrieval-Augmented Generation (RAG) or finetuning ; furthermore, the study underscores the significance of data ecosystems in enabling more complex cognitive tasks by fostering data sharing among various actors involved. Originality/Value: This study contributes to the emerging theory on LLM potential and technical feasibility in service management, providing concrete insights for operators of TCS units and highlighting the need for further research to address limitations and validate the applicability of LLMs across different domains.


title: Completeness and Termination of Tableau Calculus for Undirected Graphs

abstract: Hybrid logic is a modal logic with additional operators specifying nominals and is highly expressive. For example, there is no formula corresponding to the irreflexivity of Kripke frames in basic modal logic, but there is in hybrid logic. Irreflexivity is significant in that irreflexive and symmetric Kripke frames can be regarded as undirected graphs reviewed from a graph theoretic point of view. Thus, the study of the hybrid logic with axioms corresponding to irreflexivity and symmetry can help to elucidate the logical properties of undirected graphs. In this paper, we formulate the tableau method of the hybrid logic for undirected graphs. Our main result is to show the completeness theorem and the termination property of the tableau method, which leads us to prove the decidability.


title: DVS-RG: Differential Variable Speed Limits Control using Deep Reinforcement Learning with Graph State Representation

abstract: Variable speed limit (VSL) control is an established yet challenging problem to improve freeway traffic mobility and alleviate bottlenecks by customizing speed limits at proper locations based on traffic conditions. Recent advances in deep reinforcement learning (DRL) have shown promising results in solving VSL control problems by interacting with sophisticated environments. However, the modeling of these methods ignores the inherent graph structure of the traffic state which can be a key factor for more efficient VSL control. Graph structure can not only capture the static spatial feature but also the dynamic temporal features of traffic. Therefore, we propose the DVS-RG: DRL-based differential variable speed limit controller with graph state representation. DVS-RG provides distinct speed limits per lane in different locations dynamically. The road network topology and traffic information(e.g., occupancy, speed) are integrated as the state space of DVS-RG so that the spatial features can be learned. The normalization reward which combines efficiency and safety is used to train the VSL controller to avoid excessive inefficiencies or low safety. The results obtained from the simulation study on SUMO show that DRL-RG achieves higher traffic efficiency (the average waiting time reduced to 68.44\%) and improves the safety measures (the number of potential collision reduced by 15.93\% ) compared to state-of-the-art DRL methods.


title: Rapidly Achieving Chemical Accuracy with Quantum Computing Enforced Language Model

abstract: Finding accurate ground state energy of a many-body system has been a major challenge in quantum chemistry. The integration of classic and quantum computers has shed new light on resolving this outstanding problem. Here we propose QiankunNet-VQE, a transformer based language models enforced with quantum computing to learn and generate quantum states. It has been implemented using up to 12 qubits and attaining an accuracy level competitive with state-of-the-art classical methods. By leveraging both quantum and classical resources, this scheme overcomes the limitations of variational quantum eigensolver(VQE) without the need for cumbersome error mitigation. Moreover, QiankunNet-VQE provides a different route to achieve a practical quantum advantage for solving many-electron Schr\"odinger equation without requiring extremely precise preparation and measurement of the ground-state wavefunction on quantum computer.


title: An Empirical Study of Token-based Micro Commits

abstract: In software development, developers frequently apply maintenance activities to the source code that change a few lines by a single commit. A good understanding of the characteristics of such small changes can support quality assurance approaches (e.g., automated program repair), as it is likely that small changes are addressing deficiencies in other changes; thus, understanding the reasons for creating small changes can help understand the types of errors introduced. Eventually, these reasons and the types of errors can be used to enhance quality assurance approaches for improving code quality. While prior studies used code churns to characterize and investigate the small changes, such a definition has a critical limitation. Specifically, it loses the information of changed tokens in a line. For example, this definition fails to distinguish the following two one-line changes: (1) changing a string literal to fix a displayed message and (2) changing a function call and adding a new parameter. These are definitely maintenance activities, but we deduce that researchers and practitioners are interested in supporting the latter change. To address this limitation, in this paper, we define micro commits, a type of small change based on changed tokens. Our goal is to quantify small changes using changed tokens. Changed tokens allow us to identify small changes more precisely. In fact, this token-level definition can distinguish the above example. We investigate defined micro commits in four OSS projects and understand their characteristics as the first empirical study on token-based micro commits. We find that micro commits mainly replace a single name or literal token, and micro commits are more likely used to fix bugs. Additionally, we propose the use of token-based information to support software engineering approaches in which very small changes significantly affect their effectiveness.


title: Resonance-Induced Anomalies in Temperature-Dependent Raman Scattering of PdSe$_{2}$

abstract: We report a comprehensive Raman study of the phonon behaviour in PdSe$_2$ in the temperature range of 5 K to 300 K. A remarkable change in the Raman spectrum is observed at 120 K: a significant enhancement of the out-of-plane phonon A$^{1}_{g}$ mode, accompanied by a suppression of the in-plane A$^{2}_{g}$ and B$^{2}_{1g}$ modes. This intriguing behavior is attributed to a temperature-dependent resonant excitation effect. The results are supported by density functional theory (DFT) calculations, which demonstrate that the electron-phonon coupling for the phonon modes varies and is strongly associated with the relevant electronic states. Furthermore, nonlinear frequency shifts are identified in all modes, indicating the decay of an optical phonon into multiple acoustic phonons. The study of Raman emission reported here, complemented by linear optical spectroscopy, reveals an unexpected scenario for the vibrational properties of PdSe$_2$ that holds substantial promise for future applications in PdSe$_2$-based optoelectronics.


title: Emperical Study on the Effect of Multi-Sampling in the Prediction Step of the Particle Filter

abstract: Particle filters are applicable to a wide range of nonlinear, non-Gaussian state-space models and have already been applied to a variety of problems. However, there is a problem in the calculation of smoothed distributions, where particles gradually degenerate and accuracy is reduced. The purpose of this paper is to consider the possibility of generating multiple particles in the prediction step of the particle filter and to empirically verify the effect using real data.


title: On the effect of derivative interactions in quantum field theory

abstract: There exist several good reasons why one may wish to add a total derivative to an interaction in quantum field theory, e.g., in order to improve the perturbative construction. Unlike in classical field theory, adding derivatives in general changes the theory. The analysis whether and how this can be prevented, is presently limited to perturbative orders $g^n$ , $n \leq 3$. We drastically simplify it by an all-orders formula, which also allows to answer some salient structural questions. The method is part of a larger program to (re)derive interactions of particles by quantum consistency conditions, rather than a classical principle of gauge invariance.


title: Towards a universal QAOA protocol: Evidence of a scaling advantage in solving some combinatorial optimization problems

abstract: The quantum approximate optimization algorithm (QAOA) is a promising algorithm for solving combinatorial optimization problems (COPs). In this algorithm, there are alternating layers consisting of a mixer and a problem Hamiltonian. Each layer $i=0,\ldots,p-1$ is parameterized by $\beta_i$ and $\gamma_i$. How to find these parameters has been an open question with the majority of the research focused on finding them using classical algorithms. In this work, we present evidence that fixed linear ramp schedules constitute a universal set of QAOA parameters, i.e., a set of $\gamma$ and $\beta$ parameters that rapidly approximate the optimal solution, $x^*$, independently of the COP selected, and that the success probability of finding it, $probability(x^*)$, increases with the number of QAOA layers $p$. We simulate linear ramp QAOA protocols (LR-QAOA) involving up to $N_q=42$ qubits and $p = 400$ layers on random instances of 9 different COPs. The results suggest that $probability(x^*) \approx 1/2^{(\eta N_q / p)}$ for a constant $\eta$. For example, when implementing LR-QAOA with $p=42$, the $probability(x^*)$ for 42-qubit Weighted MaxCut problems (W-MaxCut) increases from $2/2^{42}\approx 10^{-13}$ to an average of 0.13. We compare LR-QAOA, simulated annealing (SA), and branch-and-bound (B\&B) finding a scaling improvement in LR-QAOA. We test LR-QAOA on real hardware using IonQ Aria, Quantinuum H2-1, IBM Brisbane, IBM Kyoto, and IBM Osaka, encoding random weighted MaxCut (W-MaxCut) problems from 5 to 109 qubits and $p=3$ to $100$. Even for the largest case, $N_q=109$ qubits and $p=100$, information about the LR-QAOA optimization protocol is present. The circuit involved requires 21200 CNOT gates. These results show that LR-QAOA effectively finds high-quality solutions for a large variety of COPs and suggest a scaling advantage of quantum computation for combinatorial optimization.


title: Tunable superconducting resonators via on-chip control of local magnetic field

abstract: Superconducting microwave resonators play a pivotal role in superconducting quantum circuits. The ability to fine-tune their resonant frequencies provides enhanced control and flexibility. Here, we introduce a frequency-tunable superconducting coplanar waveguide resonator. By applying electrical currents through specifically designed ground wires, we achieve the generation and control of a localized magnetic field on the central line of the resonator, enabling continuous tuning of its resonant frequency. We demonstrate a frequency tuning range of 54.85 MHz in a 6.21 GHz resonator. This integrated and tunable resonator holds great potential as a dynamically tunable filter and as a key component of communication buses and memory elements in superconducting quantum computing.


title: Hierarchical Emotion Prediction and Control in Text-to-Speech Synthesis

abstract: It remains a challenge to effectively control the emotion rendering in text-to-speech (TTS) synthesis. Prior studies have primarily focused on learning a global prosodic representation at the utterance level, which strongly correlates with linguistic prosody. Our goal is to construct a hierarchical emotion distribution (ED) that effectively encapsulates intensity variations of emotions at various levels of granularity, encompassing phonemes, words, and utterances. During TTS training, the hierarchical ED is extracted from the ground-truth audio and guides the predictor to establish a connection between emotional and linguistic prosody. At run-time inference, the TTS model generates emotional speech and, at the same time, provides quantitative control of emotion over the speech constituents. Both objective and subjective evaluations validate the effectiveness of the proposed framework in terms of emotion prediction and control.


title: Relative compactification of semiabelian N\'eron models, II

abstract: Let $R$ be a complete discrete valuation ring, $k(\eta)$ its fraction field, $S=\Spec R$, $(G_{\eta},\cL_{\eta})$ a polarized abelian variety over $k(\eta)$ with $\cL_{\eta}$ symmetric ample cubical and $\cG$ the N\'eron model of $G_{\eta}$ over $S$. Suppose that $\cG$ is semiabelian over $S$. Then there exists a {\it unique} relative compactification $(P,\cN)$ of $\cG$ such that ($\alpha$) $P$ is Cohen-Macaulay with $\codim_P(P\setminus\cG)=2$ and ($\beta$) $\cN$ is ample invertible with $\cN_{|\cG}$ cubical and $\cN_{\eta}=\cL^{\otimes n}_{\eta}$ for some positive integer $n$. The totally degenerate case has been studied in \cite{MN24}. We discuss here first the partially degenerate case and then the case where $R$ is a Dedekind domain.


title: The Economic Limits of Permissionless Consensus

abstract: The purpose of a consensus protocol is to keep a distributed network of nodes "in sync," even in the presence of an unpredictable communication network and adversarial behavior by some of the participating nodes. In the permissionless setting, these nodes may be operated by unknown players, with each player free to use multiple identifiers and to start or stop running the protocol at any time. Establishing that a permissionless consensus protocol is "secure" thus requires both a distributed computing argument (that the protocol guarantees consistency and liveness unless the fraction of adversarial participation is sufficiently large) and an economic argument (that carrying out an attack would be prohibitively expensive for an attacker). There is a mature toolbox for assembling arguments of the former type; the goal of this paper is to lay the foundations for arguments of the latter type. An ideal permissionless consensus protocol would, in addition to satisfying standard consistency and liveness guarantees, render consistency violations prohibitively expensive for the attacker without collateral damage to honest participants. We make this idea precise with our notion of the EAAC (expensive to attack in the absence of collapse) property, and prove the following results: 1. In the synchronous and dynamically available setting, with an adversary that controls at least one-half of the overall resources, no protocol can be EAAC. 2. In the partially synchronous and quasi-permissionless setting, with an adversary that controls at least one-third of the overall resources, no protocol can be EAAC. 3. In the synchronous and quasi-permissionless setting, there is a proof-of-stake protocol that, provided the adversary controls less than two-thirds of the overall stake, satisfies the EAAC property. All three results are optimal with respect to the size of the adversary.


title: Revealing Nonclassicality of Multiphoton Optical Beams via Artificial Neural Networks

abstract: The identification of nonclassical features of multiphoton quantum states represents a task of the utmost importance in the development of many quantum photonic technologies. Under realistic experimental conditions, a photonic quantum state gets affected by its interaction with several nonideal opto-electronic devices, including those used to guide, detect or characterize it. The result of such noisy interaction is that the nonclassical features of the original quantum state get considerably reduced or are completely absent in the detected, final state. In this work, the self-learning features of artificial neural networks are exploited to experimentally show that the nonclassicality of multiphoton quantum states can be assessed and fully characterized, even in the cases in which the nonclassical features are concealed by the measuring devices. Our work paves the way toward artificial-intelligence-assisted experimental-setup characterization, as well as smart quantum-state nonclassicality identification.


title: Continuum emission from within the plunging region of black hole discs

abstract: The thermal continuum emission observed from accreting black holes across X-ray bands has the potential to be leveraged as a powerful probe of the mass and spin of the central black hole. The vast majority of existing ``continuum fitting'' models neglect emission sourced at and within the innermost stable circular orbit (ISCO) of the black hole. Numerical simulations, however, find non-zero emission sourced from these regions. In this work we extend existing techniques by including the emission sourced from within the plunging region, utilising new analytical models which reproduce the properties of numerical accretion simulations. We show that in general the neglected intra-ISCO emission produces a hot-and-small quasi-blackbody component, but can also produce a weak power-law tail for more extreme parameter regions. A similar hot-and-small blackbody component has been added in by hand in an ad-hoc manner to previous analyses of X-ray binary spectra. We show that the X-ray spectrum of MAXI J1820+070 in a soft-state outburst is extremely well described by a full Kerr black hole disc, while conventional models which neglect intra-ISCO emission are unable to reproduce the data. We believe this represents the first robust detection of intra-ISCO emission in the literature, and allows additional constraints to be placed on the MAXI J1820+070 black hole spin which must be low $a_\bullet < 0.5$ to allow a detectable intra-ISCO region. Emission from within the ISCO is the dominant emission component in the MAXI J1820+070 spectrum between $6$ and $10$ keV, highlighting the necessity of including this region. Our continuum fitting model is made publicly available.


title: Cross-Input Certified Training for Universal Perturbations

abstract: Existing work in trustworthy machine learning primarily focuses on single-input adversarial perturbations. In many real-world attack scenarios, input-agnostic adversarial attacks, e.g. universal adversarial perturbations (UAPs), are much more feasible. Current certified training methods train models robust to single-input perturbations but achieve suboptimal clean and UAP accuracy, thereby limiting their applicability in practical applications. We propose a novel method, CITRUS, for certified training of networks robust against UAP attackers. We show in an extensive evaluation across different datasets, architectures, and perturbation magnitudes that our method outperforms traditional certified training methods on standard accuracy (up to 10.3\%) and achieves SOTA performance on the more practical certified UAP accuracy metric.


title: Shacl4Bib: custom validation of library data

abstract: The Shapes Constraint Language (SHACL) is a formal language for validating RDF graphs against a set of conditions. Following this idea and implementing a subset of the language, the Metadata Quality Assessment Framework provides Shacl4Bib: a mechanism to define SHACL-like rules for data sources in non-RDF based formats, such as XML, CSV and JSON. QA catalogue extends this concept further to MARC21, UNIMARC and PICA data. The criteria can be defined either with YAML or JSON configuration files or with Java code. Libraries can validate their data against criteria expressed in a unified language, that improves the clarity and the reusability of custom validation processes.


title: Testing and Debugging Quantum Programs: The Road to 2030

abstract: Quantum Computing has existed in the theoretical realm for several decades. Recently, given the latest developments in hardware, quantum computing has re-emerged as a promising technology with the potential to solve problems that a classical computer could take hundreds of years to solve. With the rising interest in the field, there are challenges and opportunities for academics and practitioners in terms of software engineering practices, particularly in testing and debugging quantum programs. This paper presents a roadmap for addressing these challenges, pointing out the existing gaps in the literature and suggesting research directions. We present the current state-of-the-art testing and debugging strategies, including classical techniques applied to quantum programs, the development and implementation of quantum-specific assertions, and the identification and classification of bug patterns unique to quantum computing. Additionally, we introduce a conceptual model to illustrate the main concepts regarding the testing and debugging of quantum programs as well as the relationship between them. Those concepts are then used to identify and discuss the main research challenges to cope with quantum programs through 2030, focusing on the interfaces between classical and quantum computing and on creating testing and debugging techniques that take advantage of the unique quantum computing characteristics.


title: Integrated Sensing and Communication Enabled Cooperative Passive Sensing Using Mobile Communication System

abstract: Integrated sensing and communication (ISAC) is a potential technology of the sixth-generation (6G) mobile communication system, which enables communication base station (BS) with sensing capability. However, the performance of single-BS sensing is limited, which can be overcome by multi-BS cooperative sensing. There are three types of multi-BS cooperative sensing, including cooperative active sensing, cooperative passive sensing, and cooperative active and passive sensing, where the multi-BS cooperative passive sensing has the advantages of low hardware modification cost and large sensing coverage. However, multi-BS cooperative passive sensing faces the challenges of synchronization offsets mitigation and sensing information fusion. To address these challenges, a non-line of sight (NLoS) and line of sight (LoS) signal cross-correlation (NLCC) method is proposed to mitigate carrier frequency offset (CFO) and time offset (TO). Besides, a symbol-level multi-BS sensing information fusion method is proposed. The discrete samplings of echo signals from multiple BSs are matched independently and coherent accumulated to improve sensing accuracy. Moreover, a lowcomplexity joint angle-of-arrival (AoA) and angle-of-departure (AoD) estimation method is proposed to reduce the computational complexity. Simulation results show that symbol-level multi-BS cooperative passive sensing scheme has an order of magnitude higher sensing accuracy than single-BS passive sensing. This work provides a reference for the research on multi-BS cooperative passive sensing.


title: Integrated and DC-powered superconducting microcomb

abstract: Frequency combs, specialized laser sources emitting multiple equidistant frequency lines, have revolutionized science and technology with unprecedented precision and versatility. Recently, integrated frequency combs are emerging as scalable solutions for on-chip photonics. Here, we demonstrate a fully integrated superconducting microcomb that is easy to manufacture, simple to operate, and consumes ultra-low power. Our turnkey apparatus comprises a basic nonlinear superconducting device, a Josephson junction, directly coupled to a superconducting microstrip resonator. We showcase coherent comb generation through self-started mode-locking. Therefore, comb emission is initiated solely by activating a DC bias source, with power consumption as low as tens of picowatts. The resulting comb spectrum resides in the microwave domain and spans multiple octaves. The linewidths of all comb lines can be narrowed down to 1 Hz through a unique coherent injection-locking technique. Our work represents a critical step towards fully integrated microwave photonics and offers the potential for integrated quantum processors.


title: StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract

abstract: Decentralized Exchanges (DEXs), leveraging blockchain technology and smart contracts, have emerged in decentralized finance. However, the DEX project with multi-contract interaction is accompanied by complex state logic, which makes it challenging to solve state defects. In this paper, we conduct the first systematic study on state derailment defects of DEXs. These defects could lead to incorrect, incomplete, or unauthorized changes to the system state during contract execution, potentially causing security threats. We propose StateGuard, a deep learning-based framework to detect state derailment defects in DEX smart contracts. StateGuard constructs an Abstract Syntax Tree (AST) of the smart contract, extracting key features to generate a graph representation. Then, it leverages a Graph Convolutional Network (GCN) to discover defects. Evaluating StateGuard on 46 DEX projects with 5,671 smart contracts reveals its effectiveness, with a precision of 92.24%. To further verify its practicality, we used StateGuard to audit real-world smart contracts and successfully authenticated multiple novel CVEs.


title: Top quark mass and cross section at ATLAS and CMS

abstract: The top quark is the heaviest elementary particle known to date and therefore an important topic to study in the context of the standard model at the LHC. In this contribution the latest measurements of top quark production cross sections and the top quark mass at the LHC by the ATLAS and CMS Collaborations are presented.


title: A Formal Approach for Tuning Stochastic Oscillators

abstract: Periodic recurrence is a prominent behavioural of many biological phenomena, including cell cycle and circadian rhythms. Although deterministic models are commonly used to represent the dynamics of periodic phenomena, it is known that they are little appropriate in the case of systems in which stochastic noise induced by small population numbers is actually responsible for periodicity. Within the stochastic modelling settings automata-based model checking approaches have proven an effective means for the analysis of oscillatory dynamics, the main idea being that of coupling a period detector automaton with a continuous-time Markov chain model of an alleged oscillator. In this paper we address a complementary aspect, i.e. that of assessing the dependency of oscillation related measure (period and amplitude) against the parameters of a stochastic oscillator. To this aim we introduce a framework which, by combining an Approximate Bayesian Computation scheme with a hybrid automata capable of quantifying how distant an instance of a stochastic oscillator is from matching a desired (average) period, leads us to identify regions of the parameter space in which oscillation with given period are highly likely. The method is demonstrated through a couple of case studies, including a model of the popular Repressilator circuit.


title: SRG/ART-XC all-sky X-ray survey: Catalog of sources detected during the first five surveys

abstract: We present an updated catalog of sources detected by the Mikhail Pavlinsky ART-XC telescope aboard the Spektrum-Roentgen-Gamma (SRG) observatory during its all-sky survey. It is based on the data of the first four and the partially completed fifth scans of the sky (ARTSS1-5). The catalog comprises 1545 sources detected in the 4-12 keV energy band. The achieved sensitivity ranges between $\sim 4\times 10^{-12}$ erg s$^{-1}$ cm$^{-2}$ near the ecliptic plane and $\sim 7\times 10^{-13}$ erg s$^{-1}$ cm$^{-2}$ near the ecliptic poles, which is a $\sim$30-50% improvement over the previous version of the catalog based on the first two all-sky scans (ARTSS12). There are $\sim 130$ objects, excluding the expected contribution of spurious detections, that were not known as X-ray sources before the SRG/ART-XC all-sky survey. We provide information, partly based on our ongoing follow-up optical spectroscopy program, on the identification and classification of the majority of the ARTSS1-5 sources (1463), of which 173 are tentative at the moment. The majority of the classified objects (964) are extragalactic, a small fraction (30) are located in the Local Group of galaxies, and 469 are Galactic. The dominant classes of objects in the catalog are active galactic nuclei (911) and cataclysmic variables (192).