title: Coherent Control of the Fine-Structure Qubit in a Single Alkaline-Earth Atom

abstract: We report on the first realization of a novel neutral atom qubit encoded in the metastable fine-structure states ${^3\rm{P}_0}$ and ${^3\rm{P}_2}$ of single $^{88}$Sr atoms trapped in an optical tweezer. Raman coupling of the qubit states promises rapid single-qubit rotations on par with the fast Rydberg-mediated two-body gates. We demonstrate preparation, read-out, and coherent control of the qubit. In addition to driving Rabi oscillations bridging an energy gap of more than 17 THz using a pair of phase-locked clock lasers, we also carry out Ramsey spectroscopy to extract the transverse qubit coherence time $T_2$. When the tweezer is tuned into magic trapping conditions, which is achieved in our setup by tuning the tensor polarizability of the ${^3\rm{P}_2}$ state via an external control magnetic field, we measure $T_2 = 1.2$ ms. A microscopic quantum mechanical model is used to simulate our experiments including dominant noise sources. We identify the main constraints limiting the observed coherence time and project improvements to our system in the immediate future. Our work opens the door for a so far unexplored qubit encoding concept for neutral atom based quantum computing.


title: The PTA Hellings and Downs Correlation Unmasked by Symmetries

abstract: The Hellings and Downs correlation curve describes the correlation of the timing residuals from pairs of pulsars as a function of their angular separation on the sky and is a smoking-gun signature for the detection of an isotropic stochastic background of gravitational waves. We show that it can be easily obtained from realizing that Lorentz transformations are conformal transformations on the celestial sphere and from the conformal properties of the two-point correlation of the timing residuals. This result allows several generalizations, e.g. the calculation of the three-point correlator of the time residuals and the inclusion of additional polarization modes (vector and/or scalar) arising in alternative theories of gravity.


title: Maximizing Real-Time Video QoE via Bandwidth Sharing under Markovian setting

abstract: We consider the problem of optimizing Quality of Experience (QoE) of clients streaming real-time video, served by networks managed by different operators that can share bandwidth with each other. The abundance of real-time video traffic is evident in the popularity of applications like video conferencing and video streaming of live events, which have increased significantly since the recent pandemic. We model the problem as a joint optimization of resource allocation for the clients and bandwidth sharing across the operators, with special attention to how the resource allocation impacts clients' perceived video quality. We propose an online policy as a solution, which involves dynamically sharing a portion of one operator's bandwidth with another operator. We provide strong theoretical optimality guarantees for the policy. We also use extensive simulations to demonstrate the policy's substantial performance improvements (of up to ninety percent), and identify insights into key system parameters (e.g., imbalance in arrival rates or channel conditions of the operators) that dictate the improvements.


title: Discrete-coordinate crypto-Hermitian quantum system controlled by time-dependent Robin boundary conditions

abstract: Non-stationary version of unitary quantum mechanics formulated in non-Hermitian (or, more precisely, in hiddenly Hermitian) interaction-picture representation is illustrated via an elementary $N$ by $N$ matrix Hamiltonian $H(t)$ mimicking a 1D-box system with physics controlled by time-dependent boundary conditions. The model is presented as analytically solvable at $N=2$. Expressis verbis, this means that for both of the underlying Heisenbergian and Schr\"{o}dingerian evolution equations the generators (i.e., in our notation, the respective operators $\Sigma(t)$ and $G(t)$) become available in closed form. Our key message is that contrary to the conventional beliefs and in spite of the unitarity of the evolution of the system, neither its "Heisenbergian Hamiltonian" $\Sigma(t)$ nor its "Schr\"{o}dingerian Hamiltonian" $G(t)$ possesses a real spectrum or the conjugate pairs of complex eigenvalues. This means that neither one of these "Hamiltonians" can be pseudo-Hermitian alias PT-symmetric.

categories: quant-ph cond-mat.mes-hall math-ph math.MP


title: QuantumReservoirPy: A Software Package for Time Series Prediction

abstract: In recent times, quantum reservoir computing has emerged as a potential resource for time series prediction. Hence, there is a need for a flexible framework to test quantum circuits as nonlinear dynamical systems. We have developed a software package to allow for quantum reservoirs to fit a common structure, similar to that of reservoirpy which is advertised as "a python tool designed to easily define, train and use (classical) reservoir computing architectures". Our package results in simplified development and logical methods of comparison between quantum reservoir architectures. Examples are provided to demonstrate the resulting simplicity of executing quantum reservoir computing using our software package.


title: An Experimental Estimation Method of Diffusion Coefficients in Ternary and Multicomponent Systems from a Single Diffusion Couple Profile

abstract: Until recently, it was textbook knowledge that the diffusion coefficients could not be estimated in a multi-component system following the widely practised diffusion couple method. The recently proposed constrained diffusion couple methods need two intersecting diffusion paths in a multi-component space with very well-controlled compositions of the diffusion couple end members, which may be tricky depending on the complications of diffusion paths in certain systems. In this study, we have proposed a method for estimating all types of diffusion coefficients directly at the Kirkendall marker plane from a single diffusion couple. The estimation method and design strategy for producing diffusion couples are discussed in concentrated ternary Ni-Co-Fe, Fe-rich quaternary Fe-Ni-Co-Cr and Ni-rich Ni-Co-Fe-Cr-Al quinary alloys. As demonstrated further, one can even estimate the impurity diffusion coefficients utilizing the composition profiles at the ends of the diffusion couples, which has been rarely practised in multicomponent systems until now. We have further demonstrated the importance of estimating the tracer and intrinsic diffusion coefficients in a concentrated or multi-principal element alloy in which interdiffusion coefficients can be vague and misleading for understanding the elements' diffusional interactions and relative mobilities. We have also shown the importance of considering the vacancy wind effect in concentrated alloys. The method and design strategy of producing diffusion couples demonstrated in this study can be suitable for generating a mobility database in Ni-, Co-based (superalloys) and Fe-based (steel) multicomponent systems with relative ease, which was considered impossible until recently.


title: Towards End-to-End GPS Localization with Neural Pseudorange Correction

abstract: Pseudorange errors are the root cause of localization inaccuracy in GPS. Previous data-driven methods regress and eliminate pseudorange errors using handcrafted intermediate labels. Unlike them, we propose an end-to-end GPS localization framework, E2E-PrNet, to train a neural network for pseudorange correction (PrNet) directly using the final task loss calculated with the ground truth of GPS receiver states. The gradients of the loss with respect to learnable parameters are backpropagated through a differentiable nonlinear least squares optimizer to PrNet. The feasibility is verified with GPS data collected by Android phones, showing that E2E-PrNet outperforms the state-of-the-art end-to-end GPS localization methods.


title: Manipulating Sparse Double Descent

abstract: This paper investigates the double descent phenomenon in two-layer neural networks, focusing on the role of L1 regularization and representation dimensions. It explores an alternative double descent phenomenon, named sparse double descent. The study emphasizes the complex relationship between model complexity, sparsity, and generalization, and suggests further research into more diverse models and datasets. The findings contribute to a deeper understanding of neural network training and optimization.


title: Experimental determination of the spin Hamiltonian of the cubic chiral magnet MnSi

abstract: A thorough description of the physics of a magnetic compound requires the validation of its microscopic spin Hamiltonian. Here, from the analysis of muon-spin rotation spectra recorded in the magnetically ordered state at low temperature in zero and finite magnetic fields, we determine the minimal Hamiltonian for the chiral binary intermetallic magnet MnSi, consistent with its high-temperature nonsymmorphic cubic space group P$2_1$3. The model provides constraints for the orientation of the Moriya vector characterizing the microscopic Dzyaloshinskii-Moriya interaction, with respect to the Mn nearest-neighbor bonds. Small twist and canting of the magnetic structure are revealed. Our result indicates that, within experimental uncertainties, the magnetoelastic coupling is not strong enough to lower the paramagnetic crystal symmetry in the magnetically ordered state. Additional implications from our work are discussed and complementary studies are suggested.


title: Unraveling codes: fast, robust, beyond-bound error correction for DRAM

abstract: Generalized Reed-Solomon (RS) codes are a common choice for efficient, reliable error correction in memory and communications systems. These codes add $2t$ extra parity symbols to a block of memory, and can efficiently and reliably correct up to $t$ symbol errors in that block. Decoding is possible beyond this bound, but it is imperfectly reliable and often computationally expensive. Beyond-bound decoding is an important problem to solve for error-correcting Dynamic Random Access Memory (DRAM). These memories are often designed so that each access touches two extra memory devices, so that a failure in any one device can be corrected. But system architectures increasingly require DRAM to store metadata in addition to user data. When the metadata replaces parity data, a single-device failure is then beyond-bound. An error-correction system can either protect each access with a single RS code, or divide it into several segments protected with a shorter code, usually in an Interleaved Reed-Solomon (IRS) configuration. The full-block RS approach is more reliable, both at correcting errors and at preventing silent data corruption (SDC). The IRS option is faster, and is especially efficient at beyond-bound correction of single- or double-device failures. Here we describe a new family of "unraveling" Reed-Solomon codes that bridges the gap between these options. Our codes are full-block generalized RS codes, but they can also be decoded using an IRS decoder. As a result, they combine the speed and beyond-bound correction capabilities of interleaved codes with the robustness of full-block codes, including the ability of the latter to reliably correct failures across multiple devices. We show that unraveling codes are an especially good fit for high-reliability DRAM error correction.


title: A Lightweight Multi-Attack CAN Intrusion Detection System on Hybrid FPGAs

abstract: Rising connectivity in vehicles is enabling new capabilities like connected autonomous driving and advanced driver assistance systems (ADAS) for improving the safety and reliability of next-generation vehicles. This increased access to in-vehicle functions compromises critical capabilities that use legacy invehicle networks like Controller Area Network (CAN), which has no inherent security or authentication mechanism. Intrusion detection and mitigation approaches, particularly using machine learning models, have shown promising results in detecting multiple attack vectors in CAN through their ability to generalise to new vectors. However, most deployments require dedicated computing units like GPUs to perform line-rate detection, consuming much higher power. In this paper, we present a lightweight multi-attack quantised machine learning model that is deployed using Xilinx's Deep Learning Processing Unit IP on a Zynq Ultrascale+ (XCZU3EG) FPGA, which is trained and validated using the public CAN Intrusion Detection dataset. The quantised model detects denial of service and fuzzing attacks with an accuracy of above 99 % and a false positive rate of 0.07%, which are comparable to the state-of-the-art techniques in the literature. The Intrusion Detection System (IDS) execution consumes just 2.0 W with software tasks running on the ECU and achieves a 25 % reduction in per-message processing latency over the state-of-the-art implementations. This deployment allows the ECU function to coexist with the IDS with minimal changes to the tasks, making it ideal for real-time IDS in in-vehicle systems.


title: Beyond RMSE and MAE: Introducing EAUC to unmask hidden bias and unfairness in dyadic regression models

abstract: Dyadic regression models, which predict real-valued outcomes for pairs of entities, are fundamental in many domains (e.g. predicting the rating of a user to a product in Recommender Systems) and promising and under exploration in many others (e.g. approximating the adequate dosage of a drug for a patient in personalized pharmacology). In this work, we demonstrate that non-uniformity in the observed value distributions of individual entities leads to severely biased predictions in state-of-the-art models, skewing predictions towards the average of observed past values for the entity and providing worse-than-random predictive power in eccentric yet equally important cases. We show that the usage of global error metrics like Root Mean Squared Error (RMSE) and Mean Absolute Error (MAE) is insufficient to capture this phenomenon, which we name eccentricity bias, and we introduce Eccentricity-Area Under the Curve (EAUC) as a new complementary metric that can quantify it in all studied models and datasets. We also prove the adequateness of EAUC by using naive de-biasing corrections to demonstrate that a lower model bias correlates with a lower EAUC and vice-versa. This work contributes a bias-aware evaluation of dyadic regression models to avoid potential unfairness and risks in critical real-world applications of such systems.


title: Explainable and Transferable Adversarial Attack for ML-Based Network Intrusion Detectors

abstract: espite being widely used in network intrusion detection systems (NIDSs), machine learning (ML) has proven to be highly vulnerable to adversarial attacks. White-box and black-box adversarial attacks of NIDS have been explored in several studies. However, white-box attacks unrealistically assume that the attackers have full knowledge of the target NIDSs. Meanwhile, existing black-box attacks can not achieve high attack success rate due to the weak adversarial transferability between models (e.g., neural networks and tree models). Additionally, neither of them explains why adversarial examples exist and why they can transfer across models. To address these challenges, this paper introduces ETA, an Explainable Transfer-based Black-Box Adversarial Attack framework. ETA aims to achieve two primary objectives: 1) create transferable adversarial examples applicable to various ML models and 2) provide insights into the existence of adversarial examples and their transferability within NIDSs. Specifically, we first provide a general transfer-based adversarial attack method applicable across the entire ML space. Following that, we exploit a unique insight based on cooperative game theory and perturbation interpretations to explain adversarial examples and adversarial transferability. On this basis, we propose an Important-Sensitive Feature Selection (ISFS) method to guide the search for adversarial examples, achieving stronger transferability and ensuring traffic-space constraints.


title: Large violation of Leggett-Garg inequalities with coherent-state projectors for a harmonic oscillator and chiral scalar field

abstract: We investigate violations of Leggett-Garg inequalities (LGIs) for a harmonic oscillator and a (1+1)-dimensional chiral scalar field with coherent-state projectors, which is equivalent to a heterodyne-type measurement scheme. For the harmonic oscillator, we found that the vacuum and thermal states violated the LGIs by evaluating the two-time quasi-probability distribution function. In particular, we demonstrate that the value of the two-time quasi-probability reaches -0.123 for a squeezed coherent-state projector, which is equivalent to 98% of the L\"uders bound corresponding to the maximal violation of the LGIs. We also find a violation of the LGIs for the local mode of a quantum chiral scalar field by constructing a coherent-state projector similar to the harmonic oscillator case. In contrast to the harmonic oscillator, the periodicity in the time direction of the quasi-probability disappears, which is related to the existence of quantum entanglement between the local mode and its complementary degrees of freedom.


title: Fine-tuning of the quasi-bound $K^- pp$ state

abstract: Characteristics of the quasi-bound state in the $K^- pp$ system strongly depend on the model of antikaon-nucleon interaction and weakly - on the nucleon-nucleon potential. In the present paper, dynamically exact Faddeev-type calculations with coupled $\bar{K}NN$ and $\pi \Sigma N$ were performed using different models of the $\Sigma N$ and $\pi N$ interactions to study the influence of these "less important" interaction on the three-body result. In addition, dynamically exact three-body Faddeev-type AGS calculations with three coupled particle channels $\bar{K}NN - \pi \Sigma N - \pi \Lambda N$ were performed.


title: An Efficient Algorithm Based on Wavelet Transform to Reduce Powerline Noise From Electrocardiograms

abstract: Nowadays, the electrocardiogram (ECG) is still the most widely used signal for the diagnosis of cardiac pathologies. However, this recording is often disturbed by the powerline interference (PLI), its removal being mandatory to avoid misdiagnosis. Although a broad variety of methods have been proposed for that purpose, often they substantially alter the original signal morphology or are computationally expensive. Hence, the present work introduces a simple and efficient algorithm to suppress the PLI from the ECG. Briefly, the input signal is decomposed into four Wavelet levels and the resulting coefficients are thresholded to remove the PLI estimated from the TQ intervals. The denoised ECG signal is then reconstructed by computing the inverse Wavelet transform. The method has been validated making use of fifty 10-min length clean ECG segments obtained from the MIT BIH Normal Sinus Rhythm database, which were contaminated with a sinusoidal signal of 50 Hz and variable harmonic content. Comparing the original and denoised ECG signals through a signed correlation index, improvements between 10 - 72% have been observed with respect to common adaptive notch filtering, implemented for comparison. These results suggest that the proposed method is featured by an enhanced trade-off between noise reduction and signal morphology preservation.


title: LangBridge: Multilingual Reasoning Without Multilingual Supervision

abstract: We introduce LangBridge, a zero-shot approach to adapt language models for multilingual reasoning tasks without multilingual supervision. LangBridge operates by bridging two models, each specialized in different aspects: (1) one specialized in understanding multiple languages (e.g., mT5 encoder) and (2) one specialized in reasoning (e.g., MetaMath). LangBridge connects the two models by introducing minimal trainable parameters between them. Despite utilizing only English data for training, LangBridge considerably enhances the performance of language models on low-resource languages across mathematical reasoning, code completion, logical reasoning, and commonsense reasoning. Our analysis suggests that the efficacy of LangBridge stems from the language-agnostic characteristics of multilingual representations. We publicly release our code and models.


title: Methodology to assess prosumer participation in European electricity markets

abstract: The emergence of distributed generation and the electrification of demand have opened the possibility for prosumers to participate in electricity markets, receiving economic benefits on their bills and contributing to the reduction of carbon emissions, aligning with United Nations Sustainable Development Goal 7. Consumers and prosumers can participate through implicit and explicit demand flexibility and (collective) self-consumption. This study analyses the potential markets in which prosumers can participate and indicates whether these are currently open. The markets studied include day-ahead, intraday, ancillary services, adequacy services, constraint management, and local flexibility markets. Additionally, collective self-consumption is analysed as a service through which prosumers can participate in the electricity market. Previous studies are usually focused on a single market or in a single country, making impossible a complete comparison. This analysis has been done in Spain, Italy, Croatia, and the United Kingdom as representative countries to obtain a methodology to assess countries' openness to prosumer participation in electricity markets, comparing regulatory frameworks and assigning scores based on their prosumer inclusion across various markets. This work updates current literature reviews with the changes and a new description of local market designs in Spain. This methodology can be used to compare other countries' grade of openness. The results of this study show that the analysed countries can be categorised into three groups: almost open, partially open, and closed markets. Analysing the differences, recommendations on the following steps to foster user participation are suggested for each group.


title: Reconfigurable entanglement distribution network based on pump management of spontaneous four-wave mixing source

abstract: Leveraging the unique properties of quantum entanglement, quantum entanglement distribution networks support multiple quantum information applications and are essential to the development of quantum networks. However, its practical implementation poses significant challenges to network scalability and flexibility. In this work, we propose a novel reconfigurable entanglement distribution network based on tunable multi-pump excitation of a spontaneous four-wave mixing (SFWM) source and a time-sharing method. We characterize the two-photon correlation under different pump conditions to demonstrate the effect of pump degenerate and pump non-degenerate SFWM processes on the two-photon correlation, and its tunability. Then as a benchmark application, a 10-user fully-connected quantum key distribution (QKD) network is established in a time-sharing way with triple pump lights. Each user receives one frequency channel thus it shows a linear scaling between the number of frequency channels and the user number in despite of the network topology. Our results thus provide a promising networking scheme for large-scale entanglement distribution networks owing to its scalability, functionality, and reconfigurability.


title: Application of Joint Notch Filtering and Wavelet Transform for Enhanced Powerline Interference Removal in Atrial Fibrillation Electrograms

abstract: Analysis of intra-atrial electrograms (EGMs) nowadays constitutes the most common way to gain new insights about the mechanisms triggering and maintaining atrial fibrillation (AF). However, these recordings are highly contaminated by powerline interference (PLI) due to the large amount of electrical devices operating simultaneously in the electrophysiology laboratory. To remove this perturbation, conventional notch filtering has been widely used. However, this method adds artificial fractionation to the EGMs, thus concealing their accurate interpretation. Hence, the development of novel algorithms for PLI suppression in EGMs is still an unresolved challenge. Within this context, the present work introduces the joint application of common notch filtering and Wavelet denoising for enhanced PLI removal in AF EGMs. The algorithm was validated on a set of 100 unipolar EGM signals, which were synthesized with different noise levels. Original and denoised EGMs were compared in terms of a signed correlation index (SCI), computed both in time and frequency domains. Compared with the single use of notch filtering, improvements between 4 and 15% were reached with Wavelet denoising in both domains. As a consequence, the proposed algorithm was able to efficiently reduce high levels of PLI and simultaneously preserve the original morphology of AF EGMs.


title: Navigating Expertise in Configurable Software Systems through the Maze of Variability

abstract: The understanding of source code in large-scale software systems poses a challenge for developers. The role of expertise in source code becomes critical for identifying developers accountable for substantial changes. However, in the context of configurable software systems (CSS) using pre-processing and conditional compilation, conventional expertise metrics may encounter limitations due to the non-alignment of variability implementation with the natural module structure. This early research study investigates the distribution of development efforts in CSS, specifically focusing on variable and mandatory code. It also examines the engagement of designated experts with variable code in their assigned files. The findings provide insights into task allocation dynamics and raise questions about the applicability of existing metrics, laying the groundwork for alternative approaches to assess developer expertise in handling variable code. This research aims to contribute to a comprehensive understanding of challenges within CSS, marking initial steps toward advancing the evaluation of expertise in this context.


title: Safe Offline Reinforcement Learning with Feasibility-Guided Diffusion Model

abstract: Safe offline RL is a promising way to bypass risky online interactions towards safe policy learning. Most existing methods only enforce soft constraints, i.e., constraining safety violations in expectation below thresholds predetermined. This can lead to potentially unsafe outcomes, thus unacceptable in safety-critical scenarios. An alternative is to enforce the hard constraint of zero violation. However, this can be challenging in offline setting, as it needs to strike the right balance among three highly intricate and correlated aspects: safety constraint satisfaction, reward maximization, and behavior regularization imposed by offline datasets. Interestingly, we discover that via reachability analysis of safe-control theory, the hard safety constraint can be equivalently translated to identifying the largest feasible region given the offline dataset. This seamlessly converts the original trilogy problem to a feasibility-dependent objective, i.e., maximizing reward value within the feasible region while minimizing safety risks in the infeasible region. Inspired by these, we propose FISOR (FeasIbility-guided Safe Offline RL), which allows safety constraint adherence, reward maximization, and offline policy learning to be realized via three decoupled processes, while offering strong safety performance and stability. In FISOR, the optimal policy for the translated optimization problem can be derived in a special form of weighted behavior cloning. Thus, we propose a novel energy-guided diffusion model that does not require training a complicated time-dependent classifier to extract the policy, greatly simplifying the training. We compare FISOR against baselines on DSRL benchmark for safe offline RL. Evaluation results show that FISOR is the only method that can guarantee safety satisfaction in all tasks, while achieving top returns in most tasks.


title: Physics to System-level Modeling of Silicon-organic-hybrid Nanophotonic Devices

abstract: The continuous growth in data volume has sparked interest in silicon-organic-hybrid nanophotonic devices integrated into silicon photonic integrated circuits (PICs). SOH devices offer improved speed and energy efficiency compared to silicon photonics devices. However, a comprehensive and accurate modeling methodology of SOH devices is lacking. While some preliminary modeling approaches for SOH devices exist, their reliance on theoretical and numerical methodologies, along with a lack of compatibility with electronic design automation (EDA), hinders their seamless and rapid integration with silicon PICs. Here, we develop a phenomenological, building-block-based SOH PICs simulation methodology spanning from the physics to the system level, offering high accuracy, comprehensiveness, and EDA-style compatibility. Our model is also readily integrable and scalable, lending itself to the design of large-scale silicon PICs. Our proposed modeling methodology is agnostic and compatible with any photonics-electronics co-simulation software. We validate this methodology by comparing experimentally demonstrated SOH microring modulators and Mach Zehnder modulators with those obtained through simulation, demonstrating its ability to model various modulator topologies. We also show our methodology's ease and speed in modeling large-scale systems. As an illustrative example, we use our methodology to design and study a 3-channel SOH MRM-based wavelength-division (de)multiplexer, a widely used component in various applications, including neuromorphic computing, data center interconnects, communications, and sensing. Our modeling approach is compatible with other materials exhibiting the Pockels and Kerr effects. To our knowledge, this represents the first comprehensive physics-to-system-level EDA-compatible simulation methodology for SOH modulators.


title: G.O.G: A Versatile Gripper-On-Gripper Design for Bimanual Cloth Manipulation with a Single Robotic Arm

abstract: The manipulation of garments poses research challenges due to their deformable nature and the extensive variability in shapes and sizes. Despite numerous attempts by researchers to address these via approaches involving robot perception and control, there has been a relatively limited interest in resolving it through the co-development of robot hardware. Consequently, the majority of studies employ off-the-shelf grippers in conjunction with dual robot arms to enable bimanual manipulation and high dexterity. However, this dual-arm system increases the overall cost of the robotic system as well as its control complexity in order to tackle robot collisions and other robot coordination issues. As an alternative approach, we propose to enable bimanual cloth manipulation using a single robot arm via novel end effector design -- sharing dexterity skills between manipulator and gripper rather than relying entirely on robot arm coordination. To this end, we introduce a new gripper, called G.O.G., based on a gripper-on-gripper structure where the first gripper independently regulates the span, up to 500mm, between its fingers which are in turn also grippers. These finger grippers consist of a variable friction module that enables two grasping modes: firm and sliding grasps. Household item and cloth object benchmarks are employed to evaluate the performance of the proposed design, encompassing both experiments on the gripper design itself and on cloth manipulation. Experimental results demonstrate the potential of the introduced ideas to undertake a range of bimanual cloth manipulation tasks with a single robot arm. Supplementary material is available at https://sites.google.com/view/gripperongripper.


title: DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories

abstract: Generating proofs of unsatisfiability is a valuable capability of most SAT solvers, and is an active area of research for SMT solvers. This paper introduces the first method to efficiently generate proofs of unsatisfiability specifically for an important subset of SMT: SAT Modulo Monotonic Theories (SMMT), which includes many useful finite-domain theories (e.g., bit vectors and many graph-theoretic properties) and is used in production at Amazon Web Services. Our method uses propositional definitions of the theory predicates, from which it generates compact Horn approximations of the definitions, which lead to efficient DRAT proofs, leveraging the large investment the SAT community has made in DRAT. In experiments on practical SMMT problems, our proof generation overhead is minimal (7.41% geometric mean slowdown, 28.8% worst-case), and we can generate and check proofs for many problems that were previously intractable.


title: Time Variability of FibrillatoryWaves Energy Predicts Long-Term Outcome of Atrial Fibrillation Concomitant Surgical Ablation

abstract: Surgical ablation (SA) is the most effective procedure to terminate atrial fibrillation (AF) in patients requiring concomitant open heart surgery. However, considering the great stress provoked in the patients heart, along with the benefits of anticipating antiarrhythmic therapeutical decisions, preoperative prediction of long term failure of the procedure is an interesting clinical challenge. Hence, the present work introduces a novel algorithm to anticipate SA outcome after one year of follow up by just analyzing the surface ECG. The method firstly extracts fibrillatory waves reflected on standard lead V1 using an adaptive QRST cancellation approach. The resulting signal is then segmented into 1 s length intervals and wavelet energy is computed for all of them. Finally, the coefficient of variation of the time series obtained for the 7th scale is computed. Analyzing 20 second length preoperative ECG excerpts from 53 persistent AF patients undergoing concomitant openheart surgery, only the proposed method reported statistically significant differences between the patients who relapsed to AF and those who maintained sinus rhythm during the follow up. The algorithm also provided values of sensitivity, specificity, and accuracy between 10 and 20% better than the well established dominant atrial frequency and fibrillatory waves amplitude, thus suggesting to be a promising predictor of AF recurrence after SA.


title: Catheter Ablation Outcome Prediction With Advanced Time-Frequency Features of the Fibrillatory Waves From Patients in Persistent Atrial Fibrillation

abstract: Although catheter ablation (CA) is still the first-line treatment for persistent atrial fibrillation (AF) patients, its limited long-term success rate has motivated clinical interest in preoperative prediction on the procedures outcome to provide optimized patient selection, limit repeated procedures, hospitalization rates, and treatment costs. To this respect, dominant frequency (DF) and amplitude of fibrillatory waves (f-waves) reflected on the ECG have provided promising results. Hence this work explores the ability of a novel set of frequency and amplitud f-waves features, such as spectral entropy (SE), spectral flatness measure (SFM), and amplitud spectrum area (AMSA), along with DF and normalized f-wave amplitude (NFWA), to improve CA outcome prediction. Despite all single indices reported statistically significant differences between patients who relapsed to AF and those who maintained sinus rhythm after a follow up of 9 months for 204 6 s-length ECG intervals extracted from 51 persistent AF patients, they obtained a limited discriminant ability ranging between 55 and 62%, which was overcome by 15 - 23% when NFWA, SE and AMSA were combined. Consequently, this combination of frequency and amplitude features of the fwaves seems to provide new insights about the atrial substrate remodeling, which could be helpful in improving preoperative CA outcome prediction.


title: Pushchino multibeams pulsar search. IV. Detection of new pulsars at declinations -9o < \delta < +55o

abstract: The search for pulsars in monitoring data obtained at the radio telescope Large Phased Array (LPA) at a frequency of 111 MHz was carried out. Daily round-the-clock observations were carried out for about 3,000 days. The duration of the observation session for each direction in the sky was 3.5 minutes per day. The search for pulsars was carried out using power spectra. To search for weak pulsars, power spectra were summed up. The expected increase in sensitivity was 35-40 times compared to observations in one session. In a blind search, 330 pulsars with regular radiation were detected, with periods (P) from 0.0333 to 3.7455 s and dispersion measures (DM) up to 249 pc/cm3. 39 pulsars turned out to be new. Average profiles were obtained for 6 pulsars. The DM for 7 pulsars previously detected on the LPA have been clarified.


title: Non-Fermi-Liquid/Marginal-Fermi-Liquid Signatures Induced by Van Hove Singularity

abstract: We theoretically study the two-dimensional metal that is coupled to critical magnons and features van Hove singularities on the Fermi surface. When there is only translationally invariant SYK-liked Yukawa interaction, van Hove points suppress the contribution from the part of the Fermi surface away from them, dominating and exhibiting non-Fermi-liquid behavior. When introducing disordered Yukawa coupling, it leads to a crossover from non-Fermi-liquid to marginal-Fermi-liquid, and the marginal-Fermi-liquid region exhibits the $T\ln (1/T)$ specific heat and temperature-linear resistivity of strange metal. By solving the gap equation, we provide the critical temperature for superconductor induced by van Hove singularities and point out the possible emergence of pair-density-wave superconductor. Our theory may become a new mechanism for understanding non-Fermi-liquid or marginal-Fermi-liquid phenomenons.


title: Demonstration of Cooperative Transport Interface using open-source 5G OpenRAN and virtualised PON network

abstract: We demonstrate a real-time, converged 5G-PON through the Cooperative Transport Interface, synchronising 5G and PON-DBA upstream schedulers. This innovative approach, implemented using 5G and PON open network implementations, significantly enhances network resource allocation, reducing latency.


title: Dense 3D Reconstruction Through Lidar: A Comparative Study on Ex-vivo Porcine Tissue

abstract: New sensing technologies and more advanced processing algorithms are transforming computer-integrated surgery. While researchers are actively investigating depth sensing and 3D reconstruction for vision-based surgical assistance, it remains difficult to achieve real-time, accurate, and robust 3D representations of the abdominal cavity for minimally invasive surgery. Thus, this work uses quantitative testing on fresh ex-vivo porcine tissue to thoroughly characterize the quality with which a 3D laser-based time-of-flight sensor (lidar) can perform anatomical surface reconstruction. Ground-truth surface shapes are captured with a commercial laser scanner, and the resulting signed error fields are analyzed using rigorous statistical tools. When compared to modern learning-based stereo matching from endoscopic images, time-of-flight sensing demonstrates higher precision, lower processing delay, higher frame rate, and superior robustness against sensor distance and poor illumination. Furthermore, we report on the potential negative effect of near-infrared light penetration on the accuracy of lidar measurements across different tissue samples, identifying a significant measured depth offset for muscle in contrast to fat and liver. Our findings highlight the potential of lidar for intraoperative 3D perception and point toward new methods that combine complementary time-of-flight and spectral imaging.


title: Classification with neural networks with quadratic decision functions

abstract: Neural networks with quadratic decision functions have been introduced as alternatives to standard neural networks with affine linear ones. They are advantageous when the objects or classes to be identified are compact and of basic geometries like circles, ellipses etc. In this paper we investigate the use of such ansatz functions for classification. In particular we test and compare the algorithm on the MNIST dataset for classification of handwritten digits and for classification of subspecies. We also show, that the implementation can be based on the neural network structure in the software Tensorflow and Keras, respectively.


title: Weakly Supervised Gaussian Contrastive Grounding with Large Multimodal Models for Video Question Answering

abstract: Video Question Answering (VideoQA) aims to answer natural language questions based on the information observed in videos. Despite the recent success of Large Multimodal Models (LMMs) in image-language understanding and reasoning, they deal with VideoQA insufficiently, by simply taking uniformly sampled frames as visual inputs, which ignores question-relevant visual clues. Moreover, there are no human annotations for question-critical timestamps in existing VideoQA datasets. In light of this, we propose a novel weakly supervised framework to enforce the LMMs to reason out the answers with question-critical moments as visual inputs. Specifically, we first fuse the question and answer pairs as event descriptions to find multiple keyframes as target moments and pseudo-labels, with the visual-language alignment capability of the CLIP models. With these pseudo-labeled keyframes as additionally weak supervision, we devise a lightweight Gaussian-based Contrastive Grounding (GCG) module. GCG learns multiple Gaussian functions to characterize the temporal structure of the video, and sample question-critical frames as positive moments to be the visual inputs of LMMs. Extensive experiments on several benchmarks verify the effectiveness of our framework, and we achieve substantial improvements compared to previous state-of-the-art methods.


title: Q&A Prompts: Discovering Rich Visual Clues through Mining Question-Answer Prompts for VQA requiring Diverse World Knowledge

abstract: With the breakthrough of multi-modal large language models, answering complex visual questions that demand advanced reasoning abilities and world knowledge has become a much more important testbed for developing AI models than ever. However, equipping AI models with robust cross-modality reasoning ability remains challenging since the cognition scheme of humans has not been understood systematically. In this paper, we believe that if we can collect visual clues in the given image as much as possible, we will recognize the image more accurately, understand the question better, recall relevant knowledge more easily, and finally reason out the answer. We discover these rich visual clues by mining question-answer pairs in images and sending them into multi-modal large language models as prompts. We call the proposed method Q&A Prompts. Specifically, we first use the image-answer pairs and the corresponding questions in the training set as inputs and outputs to train a visual question generation model. Then, we use an image tagging model to identify various instances and send packaged image-tag pairs into the visual question generation model to generate relevant questions with the extracted image tags as answers. Finally, we encode these generated question-answer pairs as prompts with a visual-aware prompting module and send them into pre-trained multi-modal large language models to reason out the final answers. Experimental results show that, compared with state-of-the-art methods, our Q&A Prompts achieves substantial improvements on the challenging visual question answering datasets requiring reasoning over diverse world knowledge, such as OK-VQA and A-OKVQA.


title: Temperature inversion in a confined plasma atmosphere: coarse-grained effect of temperature fluctuations at its base

abstract: Prompted by the relevant problem of temperature inversion (i.e. gradient of density anti-correlated to the gradient of temperature) in astrophysics, we introduce a novel method to model a gravitationally confined multi-component collisionless plasma in contact with a fluctuating thermal boundary. We focus on systems with anti-correlated (inverted) density and temperature profiles, with applications to solar physics. The dynamics of the plasma is analytically described via the coupling of an appropriated coarse-grained distribution function and temporally coarse-grained Vlasov dynamics. We derive a stationary solution of the system and predict the inverted density and temperature profiles of the two-species for scenarios relevant for the corona. We validate our method by comparing the analytical results with kinetic numerical simulations of the plasma dynamics in the context of the two-species Hamiltonian mean-field model (HMF). Finally, we apply our theoretical framework to the problem of the temperature inversion in the solar corona obtaining density and temperature profiles in remarkably good agreement with the observations.


title: Signatures of s-wave scattering in bound electronic states

abstract: We compute EOM-EA-CCSD and EOM-EA-CCSDT potential energy curves and one-electron properties of several anions at bond lengths close to where these states become unbound. In the potential energy curves of the totally symmetric anions of HCl and pyrrole, which are associated with s-wave scattering states at the equilibrium bond lengths of the parent neutral molecules, we observe on inclusion of diffuse basis functions a pronounced bending effect near the crossing points with the potential energy curves of the neutral molecules. Additionally, we observe that the Dyson orbital and second moment of the electron density become extremely large in this region. In particular, the second moment of the HCl anion becomes 5 orders of magnitude times larger over a range of 5 pm. This behaviour is very different to the well-characterised non-totally symmetric anions of dinitrogen and dihydrogen that correspond to electronic resonances at the equilibrium bond lengths of their parent neutral molecules. Our work thus shows that bound state electronic-structure methods can distinguish between anions that turn into electronic resonances and those associated with s-wave scattering states.


title: Entanglement distribution in Bhabha scattering with entangled spectator particle

abstract: We analyze how entanglement is generated and distributed in a Bhabha scattering process $(e^-e^+\rightarrow e^-e^+)$ at tree level. In our setup an electron $A$ scatters with a positron $B$, which is initially entangled with another electron $C$ (spectator), that does not participate directly to the process. We find that the QED scattering generates and distributes entanglement in a non-trivial way among the three particles: the correlations in the output channels $AB$, $AC$ and $BC$ are studied in detail as functions of the scattering parameters and of the initial entanglement weight. Although derived in a specific case, our results exhibit some general features of other similar QED scattering processes, for which the extension of the present analysis is straightforward.


title: Structured Code Representations Enable Data-Efficient Adaptation of Code Language Models

abstract: Current language models tailored for code tasks often adopt the pre-training-then-fine-tuning paradigm from natural language processing, modeling source code as plain text. This approach, however, overlooks the unambiguous structures inherent in programming languages. In this work, we explore data-efficient adaptation of pre-trained code models by further pre-training and fine-tuning them with program structures. Specifically, we represent programs as parse trees -- also known as concrete syntax trees (CSTs) -- and adapt pre-trained models on serialized CSTs. Although the models that we adapt have been pre-trained only on the surface form of programs, we find that a small amount of continual pre-training and fine-tuning on CSTs without changing the model architecture yields improvements over the baseline approach across various code tasks. The improvements are found to be particularly significant when there are limited training examples, demonstrating the effectiveness of integrating program structures with plain-text representation even when working with backbone models that have not been pre-trained with structures.


title: BSEC method for unveiling open clusters and its application to Gaia DR3: 83 new clusters

abstract: Open clusters (OCs) are common in the Milky Way, but most of them remain undiscovered. There are numerous techniques (e.g., machine-learning algorithms) available for the exploration of OCs. However, each method has its limitations and therefore, different approaches to discovering OCs hold significant value. We develop a comprehensive approach method to automatically explore the data space and identify potential OC candidates with relatively reliable membership determination. This approach combines the techniques of HDBSCAN, GMM, and a novel cluster member identification technique, color excess constraint. The new method exhibits efficiency in detecting OCs while ensuring precise determination of cluster memberships. It is called Blind Search-Extra Constraint (BSEC) method. It is successfully applied to the Gaia DR3, and 83 new OCs are found. This study also reports 621 new OC candidates with discernible main sequence or red giant branch. The BSEC technique can discard some false negatives of previous works, which takes about 3 percentage of known clusters. As an extra constraint, color excess (or 2-color) constraint is useful for removing fake cluster member stars from the clusters that are identified from the positions and proper motions of stars, and getting more precise CMDs, when differential reddening of member stars of a cluster is not large (e.g., \DeltaE(G_BP -G_RP)<0.5 mag). It makes the CMDs of 15 percent clusters clearer (in particular for the region near turnoff) and therefore is helpful for CMD and stellar population studies. Our result suggests that color excess constraint is more appropriate for clusters with small differential reddening, such as globular clusters or older OCs, and clusters that the distances of member stars cannot be determined accurately.


title: Excess heat capacity in magnetically ordered Ce heavy fermion metals

abstract: We study the magnetic heat capacity of a series of magnetically ordered Ce-based heavy fermion materials, which show an anomalous $T^3$ heat capacity in excess of the phonon contribution in many materials. For compounds for which magnon models have been worked out, we show that the local-moment magnon heat capacity derived from the measured magnon spectra underestimates the experimental specific heat. The excess heat capacity reveals increasing density of states with increasing energy, akin to a pseudogap. We show that this anomalous temperature-dependent term is not associated with proximity to a quantum critical point (QCP), but is strongly correlated with $T_N$, indicating the anomalous excitations are governed by the magnetic exchange interaction. This insight may hold key information for understanding magnetically ordered heavy fermions.


title: Metrics on permutations with the same peak set

abstract: Let $S_n$ be the symmetric group on the set $\{1,2,\ldots,n\}$. Given a permutation $\sigma=\sigma_1\sigma_2 \cdots \sigma_n \in S_n$, we say it has a peak at index $i$ if $\sigma_{i-1}<\sigma_i>\sigma_{i+1}$. Let $\text{Peak}(\sigma)$ be the set of all peaks of $\sigma$ and define $P(S;n)=\{\sigma\in S_n\, | \,\text{Peak}(\sigma)=S\}$. In this paper we study the Hamming metric, $\ell_\infty$-metric, and Kendall-Tau metric on the sets $P(S;n)$ for all possible $S$, and determine the minimum and maximum possible values that these metrics can attain in these subsets of $S_n$.


title: The 3-Preprojective Algebras Of Type $\~A$

abstract: Let $G \leq \operatorname{SL}_{n+1}(\mathbb{C})$ act on $R = \mathbb{C}[X_1, \ldots, X_{n+1}]$ by change of variables. Then, the skew-group algebra $R \ast G$ is bimodule $(n+1)$-Calabi-Yau. Under certain circumstances, the algebra admits a locally finite-dimensional grading of Gorenstein parameter $1$, in which case it is the $(n+1)$-preprojective algebra of its $n$-representation infinite degree $0$ piece, as defined by Herschend, Iyama and Oppermann. If the group $G$ is abelian, the $(n+1)$-preprojective algebra is said to be of type $\~A$. For a given group $G$, it is not obvious whether $R \ast G$ admits such a grading making it into an $(n+1)$-preprojective algebra. We study the case when $n=2$ and $G$ is abelian. We give an explicit classification of groups such that $R \ast G$ is $3$-preprojective by constructing such gradings. This is possible as long as $G$ is not a subgroup of $\operatorname{SL}_2(\mathbb{C})$ and not $C_2 \times C_2$. For a fixed $G$, the algebra $R \ast G$ admits different $3$-preprojective gradings, so we associate a type to a grading and classify all types. Then we show that gradings of the same type are related by a certain kind of mutation. This gives a classification of $2$-representation infinite algebras of type $\~A$. The involved quivers are those arising from hexagonal dimer models on the torus, and the gradings we consider correspond to perfect matchings on the dimer, or equivalently to periodic lozenge tilings of the plane. Consequently, we classify these tilings up to flips, which correspond to our mutation.


title: Generative Model for Constructing Reaction Path from Initial to Final States

abstract: Mapping out reaction pathways and their corresponding activation barriers is a significant aspect of molecular simulation. Given their inherent complexity and nonlinearity, even generating a initial guess of these paths remains a challenging problem. Presented in this paper is an innovative approach that utilizes neural networks to generate initial guess for these reaction pathways. The proposed method is initiated by inputting the coordinates of the initial state, followed by progressive alterations to its structure. This iterative process culminates in the generation of the approximate representation of the reaction path and the coordinates of the final state. The application of this method extends to complex reaction pathways illustrated by organic reactions. Training was executed on the Transition1x dataset, an organic reaction pathway dataset. The results revealed generation of reactions that bore substantial similarities with the corresponding test data. The method's flexibility allows for reactions to be generated either to conform to predetermined conditions or in a randomized manner.


title: Stylized Facts and Market Microstructure: An In-Depth Exploration of German Bond Futures Market

abstract: This paper presents an in-depth analysis of stylized facts in the context of futures on German bonds. The study examines four futures contracts on German bonds: Schatz, Bobl, Bund and Buxl, using tick-by-tick limit order book datasets. It uncovers a range of stylized facts and empirical observations, including the distribution of order sizes, patterns of order flow, and inter-arrival times of orders. The findings reveal both commonalities and unique characteristics across the different futures, thereby enriching our understanding of these markets. Furthermore, the paper introduces insightful realism metrics that can be used to benchmark market simulators. The study contributes to the literature on financial stylized facts by extending empirical observations to this class of assets, which has been relatively underexplored in existing research. This work provides valuable guidance for the development of more accurate and realistic market simulators.


title: Collective rovibronic dynamics of a diatomic gas coupled by cavity

abstract: We consider an ensemble of homonuclear diatomic molecules coupled to the two polarization directions of a Fabry-P\'erot cavity via fully quantum simulations. Accompanied by analytical results, we identify a coupling mechanism mediated simultaneously by the two perpendicular polarizations, and inducing polaritonic relaxation towards molecular rotations. This mechanism is related to the concept of light-induced conical intersections (LICI). However, unlike LICIs, these non-adiabatic pathways are of collective nature, since they depend on the \emph{relative} intermolecular orientation of all electronic transition dipoles in the polarization plane. Notably, this rotational mechanism directly couples the bright upper and lower polaritonic states, and it stays in direct competition with the collective relaxation towards dark-states. Our simulations indicate that the molecular rotational dynamics in gas-phase cavity-coupled systems can serve as a novel probe for non-radiative polaritonic decay towards the dark-states manifold.


title: Real-Time Zero-Day Intrusion Detection System for Automotive Controller Area Network on FPGAs

abstract: Increasing automation in vehicles enabled by increased connectivity to the outside world has exposed vulnerabilities in previously siloed automotive networks like controller area networks (CAN). Attributes of CAN such as broadcast-based communication among electronic control units (ECUs) that lowered deployment costs are now being exploited to carry out active injection attacks like denial of service (DoS), fuzzing, and spoofing attacks. Research literature has proposed multiple supervised machine learning models deployed as Intrusion detection systems (IDSs) to detect such malicious activity; however, these are largely limited to identifying previously known attack vectors. With the ever-increasing complexity of active injection attacks, detecting zero-day (novel) attacks in these networks in real-time (to prevent propagation) becomes a problem of particular interest. This paper presents an unsupervised-learning-based convolutional autoencoder architecture for detecting zero-day attacks, which is trained only on benign (attack-free) CAN messages. We quantise the model using Vitis-AI tools from AMD/Xilinx targeting a resource-constrained Zynq Ultrascale platform as our IDS-ECU system for integration. The proposed model successfully achieves equal or higher classification accuracy (> 99.5%) on unseen DoS, fuzzing, and spoofing attacks from a publicly available attack dataset when compared to the state-of-the-art unsupervised learning-based IDSs. Additionally, by cleverly overlapping IDS operation on a window of CAN messages with the reception, the model is able to meet line-rate detection (0.43 ms per window) of high-speed CAN, which when coupled with the low energy consumption per inference, makes this architecture ideally suited for detecting zero-day attacks on critical CAN networks.


title: Proceedings 14th International Conference on Automated Deduction in Geometry

abstract: ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous editions of ADG were held in Hagenberg in 2021 (online, postponed from 2020 due to COVID-19), Nanning in 2018, Strasbourg in 2016, Coimbra in 2014, Edinburgh in 2012, Munich in 2010, Shanghai in 2008, Pontevedra in 2006, Gainesville in 2004, Hagenberg in 2002, Zurich in 2000, Beijing in 1998, and Toulouse in 1996. The 14th edition, ADG 2023, was held in Belgrade, Serbia, in September 20-22, 2023. This edition of ADG had an additional special focus topic, Deduction in Education. Invited Speakers: Julien Narboux, University of Strasbourg, France "Formalisation, arithmetization and automatisation of geometry"; Filip Mari\'c, University of Belgrade, Serbia, "Automatization, formalization and visualization of hyperbolic geometry"; Zlatan Magajna, University of Ljubljana, Slovenia, "Workshop OK Geometry"


title: Empowering Aggregators with Practical Data-Driven Tools: Harnessing Aggregated and Disaggregated Flexibility for Demand Response

abstract: This study explores the crucial interplay between aggregators and building occupants in activating flexibility through Demand Response (DR) programs, with a keen focus on achieving robust decarbonization and fortifying the resilience of the energy system amidst the uncertainties presented by Renewable Energy Sources (RES). Firstly, it introduces a methodology of optimizing aggregated flexibility provision strategies in environments with limited data, utilizing Discrete Fourier Transformation (DFT) and clustering techniques to identify building occupant's activity patterns. Secondly, the study assesses the disaggregated flexibility provision of Heating Ventilation and Air Conditioning (HVAC) systems during DR events, employing machine learning and optimization techniques for precise, device-level analysis. The first approach offers a non-intrusive pathway for aggregators to provide flexibility services in environments of a single smart meter for the whole building's consumption, while the second approach carefully considers building occupants' thermal comfort profiles, while maximizing flexibility in case of existence of dedicated smart meters to the HVAC systems. Through the application of data-driven techniques and encompassing case studies from both industrial and residential buildings, this paper not only unveils pivotal opportunities for aggregators in the balancing and emerging flexibility markets but also successfully develops end-to-end practical tools for aggregators. Furthermore, the efficacy of this tool is validated through detailed case studies, substantiating its operational capability and contributing to the evolution of a resilient and efficient energy system.


title: MLLM-Tool: A Multimodal Large Language Model For Tool Agent Learning

abstract: Recently, the astonishing performance of large language models (LLMs) in natural language comprehension and generation tasks triggered lots of exploration of using them as central controllers to build agent systems. Multiple studies focus on bridging the LLMs to external tools to extend the application scenarios. However, the current LLMs' perceiving tool-use ability is limited to a single text query, which may result in ambiguity in understanding the users' real intentions. LLMs are expected to eliminate that by perceiving the visual- or auditory-grounded instructions' information. Therefore, in this paper, we propose MLLM-Tool, a system incorporating open-source LLMs and multi-modal encoders so that the learnt LLMs can be conscious of multi-modal input instruction and then select the function-matched tool correctly. To facilitate the evaluation of the model's capability, we collect a dataset featured by consisting of multi-modal input tools from HuggingFace. Another important feature of our dataset is that our dataset also contains multiple potential choices for the same instruction due to the existence of identical functions and synonymous functions, which provides more potential solutions for the same query. The experiments reveal that our MLLM-Tool is capable of recommending appropriate tools for multi-modal instructions. Codes and data are available at https://github.com/MLLM-Tool/MLLM-Tool.


title: Perturbation analysis of a class of composite optimization problems

abstract: In this paper, we study the perturbation analysis of a class of composite optimization problems, which is a very convenient and unified framework for developing both theoretical and algorithmic issues of constrained optimization problems. The underlying theme of this paper is very important in both theoretical and computational study of optimization problems. Under some mild assumptions on the objective function, we provide a definition of a strong second order sufficient condition (SSOSC) for the composite optimization problem and also prove that the following conditions are equivalent to each other: the SSOSC and the nondegeneracy condition, the nonsingularity of Clarke's generalized Jacobian of the nonsmooth system at a Karush-Kuhn-Tucker (KKT) point, and the strong regularity of the KKT point. These results provide an important way to characterize the stability of the KKT point. As for the convex composite optimization problem, which is a special case of the general problem, we establish the equivalence between the primal/dual second order sufficient condition and the dual/primal strict Robinson constraint qualification, the equivalence between the primal/dual SSOSC and the dual/primal nondegeneracy condition. Moreover, we prove that the dual nondegeneracy condition and the nonsingularity of Clarke's generalized Jacobian of the subproblem corresponding to the augmented Lagrangian method are also equivalent to each other. These theoretical results lay solid foundation for designing an efficient algorithm.


title: Network Design on Undirected Series-Parallel Graphs

abstract: We study the single pair capacitated network design problem and the budget constrained max flow problem on undirected series-parallel graphs. These problems were well studied on directed series-parallel graphs, but little is known in the context of undirected graphs. The major difference between the cases is that the source and sink of the problem instance do not necessarily coincide with the terminals of the underlying series-parallel graph in the undirected case, thus creating certain complications. We provide pseudopolynomial time algorithms to solve both of the problems and provide an FPTAS for the budget constrained max flow problem. We also provide some extensions, arguing important cases when the problems are polynomial-time solvable, and describing a series-parallel gadget that captures an edge upgrade version of the problems.


title: Recursion relations and BPS-expansions in the HOMFLY-PT skein of the solid torus

abstract: Inspired by the skein valued open Gromov-Witten theory of Ekholm and Shende and the Gopakumar-Vafa formula, we associate to each pair of non-negative integers $(g,l)$ a formal power series with values in the HOMFLY-PT skein of a disjoint union of $l$ solid tori. The formal power series can be thought of as open BPS-states of genus $g$ with $l$ boundary components and reduces to the contribution of a single BPS state of genus $g$ for $l=0$. Using skein theoretic methods we show that the formal power series satisfy gluing identities and multi-cover skein relations corresponding to an elliptic boundary node of the underlying curves. For $(g,l)=(0,1)$ we prove a crossing formula which is the multi-cover skein relation corresponding to a hyperbolic boundary node, also known as the pentagon identity.


title: Removal and Selection: Improving RGB-Infrared Object Detection via Coarse-to-Fine Fusion

abstract: Object detection in visible (RGB) and infrared (IR) images has been widely applied in recent years. Leveraging the complementary characteristics of RGB and IR images, the object detector provides reliable and robust object localization from day to night. Most existing fusion strategies directly input RGB and IR images into deep neural networks, leading to inferior detection performance. However, the RGB and IR features have modality-specific noise, these strategies will exacerbate the fused features along with the propagation. Inspired by the mechanism of the human brain processing multimodal information, in this paper, we introduce a new coarse-to-fine perspective to purify and fuse two modality features. Specifically, following this perspective, we design a Redundant Spectrum Removal module to coarsely remove interfering information within each modality and a Dynamic Feature Selection module to finely select the desired features for feature fusion. To verify the effectiveness of the coarse-to-fine fusion strategy, we construct a new object detector called the Removal and Selection Detector (RSDet). Extensive experiments on three RGB-IR object detection datasets verify the superior performance of our method.


title: Bridging the gap between image coding for machines and humans

abstract: Image coding for machines (ICM) aims at reducing the bitrate required to represent an image while minimizing the drop in machine vision analysis accuracy. In many use cases, such as surveillance, it is also important that the visual quality is not drastically deteriorated by the compression process. Recent works on using neural network (NN) based ICM codecs have shown significant coding gains against traditional methods; however, the decompressed images, especially at low bitrates, often contain checkerboard artifacts. We propose an effective decoder finetuning scheme based on adversarial training to significantly enhance the visual quality of ICM codecs, while preserving the machine analysis accuracy, without adding extra bitcost or parameters at the inference phase. The results show complete removal of the checkerboard artifacts at the negligible cost of -1.6% relative change in task performance score. In the cases where some amount of artifacts is tolerable, such as when machine consumption is the primary target, this technique can enhance both pixel-fidelity and feature-fidelity scores without losing task performance.


title: Dynamic Q&A of Clinical Documents with Large Language Models

abstract: Electronic health records (EHRs) house crucial patient data in clinical notes. As these notes grow in volume and complexity, manual extraction becomes challenging. This work introduces a natural language interface using large language models (LLMs) for dynamic question-answering on clinical notes. Our chatbot, powered by Langchain and transformer-based LLMs, allows users to query in natural language, receiving relevant answers from clinical notes. Experiments, utilizing various embedding models and advanced LLMs, show Wizard Vicuna's superior accuracy, albeit with high compute demands. Model optimization, including weight quantization, improves latency by approximately 48 times. Promising results indicate potential, yet challenges such as model hallucinations and limited diverse medical case evaluations remain. Addressing these gaps is crucial for unlocking the value in clinical notes and advancing AI-driven clinical decision-making.


title: Invariant measure of gaps in degenerate competing three-particle systems

abstract: We study the gap processes in a degenerate system of three particles interacting through their ranks. We obtain the Laplace transform of the invariant measure of these gaps, and an explicit expression for the corresponding invariant density. To derive these results, we start from the basic adjoint relationship characterizing the invariant measure, and apply a combination of two approaches: first, the invariance methodology of W. Tutte, thanks to which we compute the Laplace transform in closed form; second, a recursive compensation approach which leads to the density of the invariant measure as an infinite convolution of exponential functions. As in the case of Brownian motion with reflection or killing at the endpoints of an interval, certain Jacobi theta functions play a crucial role in our computations.


title: A Low-Frequency-Stable Higher-Order Spline-Based Integral Equation Method

abstract: This contribution investigates the connection between Isogeometric Analysis and Integral Equation methods for full-wave electromagnetic problems. The proposed spline-based integral equation method allows for an exact representation of the model geometry described in terms of Non-Uniform Rational B-Splines without meshing. This is particularly useful when high accuracy is required or when meshing is cumbersome for instance during optimization of electric components. The Augmented Electric Field Integral Equation is adopted, so the low-frequency breakdown is avoided. The extension to higher-order basis functions is analyzed and the convergence rate discussed. The analogy with the Partial Element Equivalent Circuit method for the lowest-order case is established, allowing for a circuit interpretation while maintaining the exact representation of geometry even for coarse discretizations. Numerical experiments on academic and realistic test cases demonstrate the high accuracy of the proposed approach.


title: A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols

abstract: The large number of Electronic Control Units (ECUs) mounted on modern cars and their expansive communication capabilities create a substantial attack surface for potential exploitation. Despite the evolution of automotive technology, the continued use of the originally insecure Controller Area Network (CAN) bus leaves in-vehicle communications inherently non-secure. In response to the absence of standardized authentication protocols within the automotive domain, researchers propose diverse solutions, each with unique strengths and vulnerabilities. However, the continuous influx of new protocols and potential oversights in meeting security requirements and essential operational features further complicate the implementability of these protocols. This paper comprehensively reviews and compares the 15 most prominent authentication protocols for the CAN bus. Our analysis emphasizes their strengths and weaknesses, evaluating their alignment with critical security requirements for automotive authentication. Additionally, we evaluate protocols based on essential operational criteria that contribute to ease of implementation in predefined infrastructures, enhancing overall reliability and reducing the probability of successful attacks. Our study reveals a prevalent focus on defending against external attackers in existing protocols, exposing vulnerabilities to internal threats. Notably, authentication protocols employing hash chains, Mixed Message Authentication Codes, and asymmetric encryption techniques emerge as the most effective approaches. Through our comparative study, we classify the considered protocols based on their security attributes and suitability for implementation, providing valuable insights for future developments in the field.


title: Neutrino-Neutron Scattering Opacities in Supernova Matter

abstract: We compute the static density and spin structure factors in the long wavelength limit for pure neutron matter at subsaturation densities relevant to core-collapse supernovae within the Brueckner-Hartree-Fock (BHF) approach. The BHF results are reliable at high densities, extending beyond the validity of the virial expansion. Motivated by the similarities between the dilute neutron gas and a unitary gas, we propose a phenomenological approach to derive the static structures with finite momentum transfer as well as the dynamic ones with simple analytical expressions, based on the computed static structures in the long wavelength limit. We also compare the in-medium neutrino-neutron scattering cross sections using different structure factors. Our study emphasizes the importance of accurately computing the static structure factors theoretically and utilizing the full dynamic structure factors in core-collapse supernova simulations.


title: Warehouse Problem with Multiple Vendors and Generalized Complementarity Constraints

abstract: We study the warehouse problem, arising in the area of inventory management and production planning. Here, a merchant wants to decide an optimal trading policy that computes quantities of a single commodity to purchase, store and sell during each time period of a finite discrete time horizon. Motivated by recent applications in energy markets, we extend the models by Wolsey and Yaman (2018) and Bansal and G\"unl\"uk (2023) and consider markets with multiple vendors and a more general form of the complementarity constraints. We show that these extensions can capture various practical conditions such as surge pricing and discounted sales, ramp-up and ramp-down constraints and batch pricing. We analyze the extreme points of the underlying non-linear integer program and provide an algorithm that exactly solves the problem. Our algorithm runs in polynomial time under reasonable practical conditions. We also show that the absence of such conditions renders the problem NP-Hard.


title: In-IDE Human-AI Experience in the Era of Large Language Models; A Literature Review

abstract: Integrated Development Environments (IDEs) have become central to modern software development, especially with the integration of Artificial Intelligence (AI) to enhance programming efficiency and decision-making. The study of in-IDE Human-AI Experience is critical in understanding how these AI tools are transforming the software development process, impacting programmer productivity, and influencing code quality. We conducted a literature review to study the current state of in-IDE Human-AI Experience research, bridging a gap in understanding the nuanced interactions between programmers and AI assistants within IDEs. By analyzing 36 selected papers, our study illustrates three primary research branches: Design, Impact, and Quality of Interaction. The trends, challenges, and opportunities identified in this paper emphasize the evolving landscape of software development and inform future directions for research and development in this dynamic field. Specifically, we invite the community to investigate three aspects of these interactions: designing task-specific user interface, building trust, and improving readability.


title: Testing Hadronic-Model Predictions of Depth of Maximum of Air-Shower Profiles and Ground-Particle Signals using Hybrid Data of the Pierre Auger Observatory

abstract: We test the predictions of hadronic interaction models regarding the depth of maximum of air-shower profiles, $X_{max}$, and ground-particle signals in water-Cherenkov detectors at 1000 m from the shower core, $S(1000)$, using the data from the fluorescence and surface detectors of the Pierre Auger Observatory. The test consists in fitting the measured two-dimensional ($S(1000)$, $X_{max}$) distributions using templates for simulated air showers produced with hadronic interaction models EPOS-LHC, QGSJet II-04, Sibyll 2.3d and leaving the scales of predicted $X_{max}$ and the signals from hadronic component at ground as free fit parameters. The method relies on the assumption that the mass composition remains the same at all zenith angles, while the longitudinal shower development and attenuation of ground signal depend on the mass composition in a correlated way. The analysis was applied to 2239 events detected by both the fluorescence and surface detectors of the Pierre Auger Observatory with energies between $10^{18.5}$ to $10^{19.0}$ eV and zenith angles below $60^\circ$. We found, that within the assumptions of the method, the best description of the data is achieved if the predictions of the hadronic interaction models are shifted to deeper $X_{max}$ values and larger hadronic signals at all zenith angles. Given the magnitude of the shifts and the data sample size, the statistical significance of the improvement of data description using the modifications considered in the paper is larger than $5\sigma$ even for any linear combination of experimental systematic uncertainties.


title: Character Recognition in Byzantine Seals with Deep Neural Networks

abstract: Seals are small coin-shaped artifacts, mostly made of lead, held with strings to seal letters. This work presents the first attempt towards automatic reading of text on Byzantine seal images.Byzantine seals are generally decorated with iconography on the obverse side and Greek text on the reverse side. Text may include the sender's name, position in the Byzantine aristocracy, and elements of prayers. Both text and iconography are precious literary sources that wait to be exploited electronically, so the development of computerized systems for interpreting seals images is of paramount importance. This work's contribution is hence a deep, two-stages, character reading pipeline for transcribing Byzantine seal images. A first deep convolutional neural network (CNN) detects characters in the seal (character localization). A second convolutional network reads the localized characters (character classification). Finally, a diplomatic transcription of the seal is provided by post-processing the two network outputs. We provide an experimental evaluation of each CNN in isolation and both CNNs in combination. All performances are evaluated by cross-validation. Character localization achieves a mean average precision (mAP@0.5) greater than 0.9. Classification of characters cropped from ground truth bounding boxes achieves Top-1 accuracy greater than 0.92. End-to-end evaluation shows the efficiency of the proposed approach when compared to the SoTA for similar tasks.


title: Coupling Dynamics and Linear Polarization Phenomena in Codirectional Polariton Waveguide Couplers

abstract: In this work, we explore the potential of spin-based integrated devices using polariton waveguides that form codirectional couplers. For suitable coupler parameters, a transfer of condensates between the arms of the coupler, occurs leading to the observation of Josephson-like oscillations. The ability to tune the periodicity of these oscillations opens the way to the design of polaritonic circuits in which the directionality of the signal towards the output terminals can be controlled. We also investigate the response of the devices to linearly polarized excitation, delving into the dynamics of linear polarization at the output terminals of long couplers, providing valuable insights into the potential applications of spin-based polariton devices, including polariton switches and logic gates with efficient operation. Our results are supported by numerical simulations based on generalized Gross-Pitaevskii equation describing the dynamics of coherent polaritons in spatially non-uniform system. We show, how the coupling and the controllable spin degree of freedom in polariton couplers opens avenues for innovative optical architectures and functionalities.


title: Critical lengths of Steklov eigenvalues of hypersurfaces of revolution in Euclidean space

abstract: We study the Steklov problem on hypersurfaces of revolution with two boundary components in Euclidean space. In a recent article, the phenomenon of critical length, at which a Steklov eigenvalue is maximized, was exhibited and multiple questions were raised. In this article, we conjecture that, in any dimension, there is a finite number of infinite critical length. To investigate this, we develop an algorithm to efficiently perform numerical experiments, providing support to our conjecture. Furthermore, we prove the conjecture in dimension $n = 3$ and $n = 4$.


title: FinLLMs: A Framework for Financial Reasoning Dataset Generation with Large Language Models

abstract: Large Language models (LLMs) usually rely on extensive training datasets. In the financial domain, creating numerical reasoning datasets that include a mix of tables and long text often involves substantial manual annotation expenses. To address the limited data resources and reduce the annotation cost, we introduce FinLLMs, a method for generating financial question-answering data based on common financial formulas using Large Language Models. First, we compile a list of common financial formulas and construct a graph based on the variables these formulas employ. We then augment the formula set by combining those that share identical variables as new elements. Specifically, we explore formulas obtained by manual annotation and merge those formulas with shared variables by traversing the constructed graph. Finally, utilizing GPT-3.5, we generate financial question-answering data that encompasses both tabular information and long textual content, building on the collected formula set. Our experiments demonstrate that synthetic data generated by FinLLMs effectively enhances the performance of several large-scale numerical reasoning models in the financial domain, outperforming two established benchmark financial question-answering datasets.


title: Ethical Artificial Intelligence Principles and Guidelines for the Governance and Utilization of Highly Advanced Large Language Models

abstract: Given the success of ChatGPT, LaMDA and other large language models (LLMs), there has been an increase in development and usage of LLMs within the technology sector and other sectors. While the level in which LLMs has not reached a level where it has surpassed human intelligence, there will be a time when it will. Such LLMs can be referred to as advanced LLMs. Currently, there are limited usage of ethical artificial intelligence (AI) principles and guidelines addressing advanced LLMs due to the fact that we have not reached that point yet. However, this is a problem as once we do reach that point, we will not be adequately prepared to deal with the aftermath of it in an ethical and optimal way, which will lead to undesired and unexpected consequences. This paper addresses this issue by discussing what ethical AI principles and guidelines can be used to address highly advanced LLMs.


title: A Systematic Evaluation of Euclidean Alignment with Deep Learning for EEG Decoding

abstract: Electroencephalography (EEG) signals are frequently used for various Brain-Computer Interface (BCI) tasks. While Deep Learning (DL) techniques have shown promising results, they are hindered by the substantial data requirements. By leveraging data from multiple subjects, transfer learning enables more effective training of DL models. A technique that is gaining popularity is Euclidean Alignment (EA) due to its ease of use, low computational complexity, and compatibility with Deep Learning models. However, few studies evaluate its impact on the training performance of shared and individual DL models. In this work, we systematically evaluate the effect of EA combined with DL for decoding BCI signals. We used EA to train shared models with data from multiple subjects and evaluated its transferability to new subjects. Our experimental results show that it improves decoding in the target subject by 4.33% and decreases convergence time by more than 70%. We also trained individual models for each subject to use as a majority-voting ensemble classifier. In this scenario, using EA improved the 3-model ensemble accuracy by 3.7%. However, when compared to the shared model with EA, the ensemble accuracy was 3.62% lower.


title: Multimodal Sentiment Analysis with Missing Modality: A Knowledge-Transfer Approach

abstract: Multimodal sentiment analysis aims to identify the emotions expressed by individuals through visual, language, and acoustic cues. However, most of the existing research efforts assume that all modalities are available during both training and testing, making their algorithms susceptible to the missing modality scenario. In this paper, we propose a novel knowledge-transfer network to translate between different modalities to reconstruct the missing audio modalities. Moreover, we develop a cross-modality attention mechanism to retain the maximal information of the reconstructed and observed modalities for sentiment prediction. Extensive experiments on three publicly available datasets demonstrate significant improvements over baselines and achieve comparable results to the previous methods with complete multi-modality supervision.


title: Fast gradient-free activation maximization for neurons in spiking neural networks

abstract: Elements of neural networks, both biological and artificial, can be described by their selectivity for specific cognitive features. Understanding these features is important for understanding the inner workings of neural networks. For a living system, such as a neuron, whose response to a stimulus is unknown and not differentiable, the only way to reveal these features is through a feedback loop that exposes it to a large set of different stimuli. The properties of these stimuli should be varied iteratively in order to maximize the neuronal response. To utilize this feedback loop for a biological neural network, it is important to run it quickly and efficiently in order to reach the stimuli that maximizes certain neurons' activation with the least number of iterations possible. Here we present a framework with an efficient design for such a loop. We successfully tested it on an artificial spiking neural network (SNN), which is a model that simulates the asynchronous spiking activity of neurons in living brains. Our optimization method for activation maximization is based on the low-rank Tensor Train decomposition of the discrete activation function. The optimization space is the latent parameter space of images generated by SN-GAN or VQ-VAE generative models. To our knowledge, this is the first time that effective AM has been applied to SNNs. We track changes in the optimal stimuli for artificial neurons during training and show that highly selective neurons can form already in the early epochs of training and in the early layers of a convolutional spiking network. This formation of refined optimal stimuli is associated with an increase in classification accuracy. Some neurons, especially in the deeper layers, may gradually change the concepts they are selective for during learning, potentially explaining their importance for model performance.


title: ReliCD: A Reliable Cognitive Diagnosis Framework with Confidence Awareness

abstract: During the past few decades, cognitive diagnostics modeling has attracted increasing attention in computational education communities, which is capable of quantifying the learning status and knowledge mastery levels of students. Indeed, the recent advances in neural networks have greatly enhanced the performance of traditional cognitive diagnosis models through learning the deep representations of students and exercises. Nevertheless, existing approaches often suffer from the issue of overconfidence in predicting students' mastery levels, which is primarily caused by the unavoidable noise and sparsity in realistic student-exercise interaction data, severely hindering the educational application of diagnostic feedback. To address this, in this paper, we propose a novel Reliable Cognitive Diagnosis(ReliCD) framework, which can quantify the confidence of the diagnosis feedback and is flexible for different cognitive diagnostic functions. Specifically, we first propose a Bayesian method to explicitly estimate the state uncertainty of different knowledge concepts for students, which enables the confidence quantification of diagnostic feedback. In particular, to account for potential differences, we suggest modeling individual prior distributions for the latent variables of different ability concepts using a pre-trained model. Additionally, we introduce a logical hypothesis for ranking confidence levels. Along this line, we design a novel calibration loss to optimize the confidence parameters by modeling the process of student performance prediction. Finally, extensive experiments on four real-world datasets clearly demonstrate the effectiveness of our ReliCD framework.


title: What can abelian gauge theories teach us about kinematic algebras?

abstract: The phenomenon of BCJ duality implies that gauge theories possess an abstract kinematic algebra, mirroring the non-abelian Lie algebra underlying the colour information. Although the nature of the kinematic algebra is known in certain cases, a full understanding is missing for arbitrary non-abelian gauge theories, such that one typically works outwards from well-known examples. In this paper, we pursue an orthogonal approach, and argue that simpler abelian gauge theories can be used as a testing ground for clarifying our understanding of kinematic algebras. We first describe how classes of abelian gauge fields are associated with well-defined subgroups of the diffeomorphism algebra. By considering certain special subgroups, we show that one may construct interacting theories, whose kinematic algebras are inherited from those already appearing in a related abelian theory. Known properties of (anti-)self-dual Yang-Mills theory arise in this way, but so do new generalisations, including self-dual electromagnetism coupled to scalar matter. Furthermore, a recently obtained non-abelian generalisation of the Navier-Stokes equation fits into a similar scheme, as does Chern-Simons theory. Our results provide useful input to further conceptual studies of kinematic algebras.


title: EFO: the Emotion Frame Ontology

abstract: Emotions are a subject of intense debate in various disciplines. Despite the proliferation of theories and definitions, there is still no consensus on what emotions are, and how to model the different concepts involved when we talk about - or categorize - them. In this paper, we propose an OWL frame-based ontology of emotions: the Emotion Frames Ontology (EFO). EFO treats emotions as semantic frames, with a set of semantic roles that capture the different aspects of emotional experience. EFO follows pattern-based ontology design, and is aligned to the DOLCE foundational ontology. EFO is used to model multiple emotion theories, which can be cross-linked as modules in an Emotion Ontology Network. In this paper, we exemplify it by modeling Ekman's Basic Emotions (BE) Theory as an EFO-BE module, and demonstrate how to perform automated inferences on the representation of emotion situations. EFO-BE has been evaluated by lexicalizing the BE emotion frames from within the Framester knowledge graph, and implementing a graph-based emotion detector from text. In addition, an EFO integration of multimodal datasets, including emotional speech and emotional face expressions, has been performed to enable further inquiry into crossmodal emotion semantics.


title: HiCD: Change Detection in Quality-Varied Images via Hierarchical Correlation Distillation

abstract: Advanced change detection techniques primarily target image pairs of equal and high quality. However, variations in imaging conditions and platforms frequently lead to image pairs with distinct qualities: one image being high-quality, while the other being low-quality. These disparities in image quality present significant challenges for understanding image pairs semantically and extracting change features, ultimately resulting in a notable decline in performance. To tackle this challenge, we introduce an innovative training strategy grounded in knowledge distillation. The core idea revolves around leveraging task knowledge acquired from high-quality image pairs to guide the model's learning process when dealing with image pairs that exhibit differences in quality. Additionally, we develop a hierarchical correlation distillation approach (involving self-correlation, cross-correlation, and global correlation). This approach compels the student model to replicate the correlations inherent in the teacher model, rather than focusing solely on individual features. This ensures effective knowledge transfer while maintaining the student model's training flexibility.


title: BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation

abstract: Boolean algebraic manipulation is at the core of logic synthesis in Electronic Design Automation (EDA) design flow. Existing methods struggle to fully exploit optimization opportunities, and often suffer from an explosive search space and limited scalability efficiency. This work presents BoolGebra, a novel attributed graph-learning approach for Boolean algebraic manipulation that aims to improve fundamental logic synthesis. BoolGebra incorporates Graph Neural Networks (GNNs) and takes initial feature embeddings from both structural and functional information as inputs. A fully connected neural network is employed as the predictor for direct optimization result predictions, significantly reducing the search space and efficiently locating the optimization space. The experiments involve training the BoolGebra model w.r.t design-specific and cross-design inferences using the trained model, where BoolGebra demonstrates generalizability for cross-design inference and its potential to scale from small, simple training datasets to large, complex inference datasets. Finally, BoolGebra is integrated with existing synthesis tool ABC to perform end-to-end logic minimization evaluation w.r.t SOTA baselines.


title: Data Augmentation for Traffic Classification

abstract: Data Augmentation (DA) -- enriching training data by adding synthetic samples -- is a technique widely adopted in Computer Vision (CV) and Natural Language Processing (NLP) tasks to improve models performance. Yet, DA has struggled to gain traction in networking contexts, particularly in Traffic Classification (TC) tasks. In this work, we fulfill this gap by benchmarking 18 augmentation functions applied to 3 TC datasets using packet time series as input representation and considering a variety of training conditions. Our results show that (i) DA can reap benefits previously unexplored, (ii) augmentations acting on time series sequence order and masking are better suited for TC than amplitude augmentations and (iii) basic models latent space analysis can help understanding the positive/negative effects of augmentations on classification performance.


title: Code Reviewer Recommendation Based on a Hypergraph with Multiplex Relationships

abstract: Code review is an essential component of software development, playing a vital role in ensuring a comprehensive check of code changes. However, the continuous influx of pull requests and the limited pool of available reviewer candidates pose a significant challenge to the review process, making the task of assigning suitable reviewers to each review request increasingly difficult. To tackle this issue, we present MIRRec, a novel code reviewer recommendation method that leverages a hypergraph with multiplex relationships. MIRRec encodes high-order correlations that go beyond traditional pairwise connections using degree-free hyperedges among pull requests and developers. This way, it can capture high-order implicit connectivity and identify potential reviewers. To validate the effectiveness of MIRRec, we conducted experiments using a dataset comprising 48,374 pull requests from ten popular open-source software projects hosted on GitHub. The experiment results demonstrate that MIRRec, especially without PR-Review Commenters relationship, outperforms existing stateof-the-art code reviewer recommendation methods in terms of ACC and MRR, highlighting its significance in improving the code review process.