title: Towards A Flexible Accuracy-Oriented Deep Learning Module Inference Latency Prediction Framework for Adaptive Optimization Algorithms

abstract: With the rapid development of Deep Learning, more and more applications on the cloud and edge tend to utilize large DNN (Deep Neural Network) models for improved task execution efficiency as well as decision-making quality. Due to memory constraints, models are commonly optimized using compression, pruning, and partitioning algorithms to become deployable onto resource-constrained devices. As the conditions in the computational platform change dynamically, the deployed optimization algorithms should accordingly adapt their solutions. To perform frequent evaluations of these solutions in a timely fashion, RMs (Regression Models) are commonly trained to predict the relevant solution quality metrics, such as the resulted DNN module inference latency, which is the focus of this paper. Existing prediction frameworks specify different RM training workflows, but none of them allow flexible configurations of the input parameters (e.g., batch size, device utilization rate) and of the selected RMs for different modules. In this paper, a deep learning module inference latency prediction framework is proposed, which i) hosts a set of customizable input parameters to train multiple different RMs per DNN module (e.g., convolutional layer) with self-generated datasets, and ii) automatically selects a set of trained RMs leading to the highest possible overall prediction accuracy, while keeping the prediction time / space consumption as low as possible. Furthermore, a new RM, namely MEDN (Multi-task Encoder-Decoder Network), is proposed as an alternative solution. Comprehensive experiment results show that MEDN is fast and lightweight, and capable of achieving the highest overall prediction accuracy and R-squared value. The Time/Space-efficient Auto-selection algorithm also manages to improve the overall accuracy by 2.5% and R-squared by 0.39%, compared to the MEDN single-selection scheme.


title: Revisiting Graph-Based Fraud Detection in Sight of Heterophily and Spectrum

abstract: Graph-based fraud detection (GFD) can be regarded as a challenging semi-supervised node binary classification task. In recent years, Graph Neural Networks (GNN) have been widely applied to GFD, characterizing the anomalous possibility of a node by aggregating neighbor information. However, fraud graphs are inherently heterophilic, thus most of GNNs perform poorly due to their assumption of homophily. In addition, due to the existence of heterophily and class imbalance problem, the existing models do not fully utilize the precious node label information. To address the above issues, this paper proposes a semi-supervised GNN-based fraud detector SEC-GFD. This detector includes a hybrid filtering module and a local environmental constraint module, the two modules are utilized to solve heterophily and label utilization problem respectively. The first module starts from the perspective of the spectral domain, and solves the heterophily problem to a certain extent. Specifically, it divides the spectrum into various mixed-frequency bands based on the correlation between spectrum energy distribution and heterophily. Then in order to make full use of the node label information, a local environmental constraint module is adaptively designed. The comprehensive experimental results on four real-world fraud detection datasets denote that SEC-GFD outperforms other competitive graph-based fraud detectors. We release our code at https://github.com/Sunxkissed/SEC-GFD.


title: A uniform Dvoretzky-Kiefer-Wolfowitz inequality

abstract: We show that under minimal assumption on a class of functions $\mathcal{H}$ defined on a probability space $(\mathcal{X},\mu)$, there is a threshold $\Delta_0$ satisfying the following: for every $\Delta\geq\Delta_0$, with probability at least $1-2\exp(-c\Delta m)$ with respect to $\mu^{\otimes m}$, \[ \sup_{h\in\mathcal{H}} \sup_{t\in\mathbb{R}} \left| \mathbb{P}(h(X)\leq t) - \frac{1}{m}\sum_{i=1}^m 1_{(-\infty,t]}(h(X_i)) \right| \leq \sqrt{\Delta};\] here $X$ is distributed according to $\mu$ and $(X_i)_{i=1}^m$ are independent copies of $X$. The value of $\Delta_0$ is determined by an unexpected complexity parameter of the class $\mathcal{H}$ that captures the set's geometry (Talagrand's $\gamma_1$-functional). The bound, the probability estimate and the value of $\Delta_0$ are all optimal up to a logarithmic factor.


title: Exploring Leximin Principle for Fair Core-Selecting Combinatorial Auctions: Payment Rule Design and Implementation

abstract: Core-selecting combinatorial auctions (CAs) restrict the auction result in the core such that no coalitions could improve their utilities by engaging in collusion. The minimum-revenue-core (MRC) rule is a widely used core-selecting payment rule to maximize the total utilities of all bidders. However, the MRC rule can suffer from severe unfairness since it ignores individuals' utilities. To address this limitation, we propose to explore the leximin principle to achieve fairness in core-selecting CAs since the leximin principle prefers to maximize the utility of the worst-off; the resulting bidder-leximin-optimal (BLO) payment rule is then theoretically analyzed and an effective algorithm is further provided to compute the BLO outcome. Moreover, we conduct extensive experiments to show that our algorithm returns fairer utility distributions and is faster than existing algorithms of core-selecting payment rules.


title: Multiparameter multipolar test of general relativity with gravitational waves

abstract: Amplitude and phase of the gravitational waveform from compact binary systems can be decomposed in terms of their mass- and current-type multipole moments. In a modified theory of gravity, one or more of these multipole moments could deviate from general theory of relativity. In this Letter, we show that a waveform model that parametrizes the amplitude and phase in terms of the multipole moments of the binary can facilitate a novel multiparameter test of general relativity with exquisite precision. Using a network of next-generation gravitational wave observatories, simultaneous deviation in the leading seven multipoles of a GW190814-like binary can be bounded to within 6% to 40% depending on the multipole order, while supermassive black hole mergers observed by LISA achieve a bound of 0.3% to 2%. We further argue that bounds from multipoles can be uniquely mapped onto other parametrized tests of general relativity and has the potential to become a down-stream analysis from which bounds of other parametric tests of general relativity can be derived. The set of multipole parameters, therefore, provides an excellent basis to carry out precision tests of general relativity.


title: Towards a Unified Naming Scheme for Thermo-Active Soft Actuators: A Review of Materials, Working Principles, and Applications

abstract: Soft robotics is a rapidly growing field that spans the fields of chemistry, materials science, and engineering. Due to the diverse background of the field, there have been contrasting naming schemes such as 'intelligent', 'smart' and 'adaptive' materials which add vagueness to the broad innovation among literature. Therefore, a clear, functional and descriptive naming scheme is proposed in which a previously vague name -- Soft Material for Soft Actuators -- can remain clear and concise -- Phase-Change Elastomers for Artificial Muscles. By synthesizing the working principle, material, and application into a naming scheme, the searchability of soft robotics can be enhanced and applied to other fields. The field of thermo-active soft actuators spans multiple domains and requires added clarity. Thermo-active actuators have potential for a variety of applications spanning virtual reality haptics to assistive devices. This review offers a comprehensive guide to selecting the type of thermo-active actuator when one has an application in mind. Additionally, it discusses future directions and improvements that are necessary for implementation.


title: Measurement-driven neural-network training for integrated magnetic tunnel junction arrays

abstract: The increasing scale of neural networks needed to support more complex applications has led to an increasing requirement for area- and energy-efficient hardware. One route to meeting the budget for these applications is to circumvent the von Neumann bottleneck by performing computation in or near memory. An inevitability of transferring neural networks onto hardware is that non-idealities such as device-to-device variations or poor device yield impact performance. Methods such as hardware-aware training, where substrate non-idealities are incorporated during network training, are one way to recover performance at the cost of solution generality. In this work, we demonstrate inference on hardware neural networks consisting of 20,000 magnetic tunnel junction arrays integrated on a complementary metal-oxide-semiconductor chips that closely resembles market-ready spin transfer-torque magnetoresistive random access memory technology. Using 36 dies, each containing a crossbar array with its own non-idealities, we show that even a small number of defects in physically mapped networks significantly degrades the performance of networks trained without defects and show that, at the cost of generality, hardware-aware training accounting for specific defects on each die can recover to comparable performance with ideal networks. We then demonstrate a robust training method that extends hardware-aware training to statistics-aware training, producing network weights that perform well on most defective dies regardless of their specific defect locations. When evaluated on the 36 physical dies, statistics-aware trained solutions can achieve a mean misclassification error on the MNIST dataset that differs from the software-baseline by only 2 %. This statistics-aware training method could be generalized to networks with many layers that are mapped to hardware suited for industry-ready applications.


title: Spin-polarized nearly-free electron channels on the Ca$_{2}$N electrenes

abstract: Two-dimensional (2D) materials combined with the presence of surface nearly-free electrons (NFE) have been considered quite interesting platforms to be exploited for the development of 2D electronic devices. Further incorporation of foreign elements adds a new degree of freedom to engineer the electronic as well as the magnetic properties of 2D materials. Here we have performed an ab-initio study of Ca$_{2}$N, electrenes fully (i.e., both sides) adsorbed by hydrogen (H/Ca$_{2}$N/H) and fluorine (F/Ca$_{2}$N/F) atoms. The NFE states are suppressed in these systems, followed by the appearance of a net magnetic moment localized in the nitrogen atoms intercalated by the hydrogenated or fluorinated calcium layers. In the sequence, we have proposed lateral heterostructures combining the H/Ca$_{2}$N/H or F/Ca$_{2}$N/F regions with pristine Ca$_{2}$N, electrenes [(Ca$_{2}$N)(X/Ca$_{2}$N/X), with X=H or F]. We found that the magnetic moment of the hydrogenated or fluorinated regions promotes the emergence of spin-polarized NFE states confined along the pristine (Ca$_{2}$N) stripes. Further electronic transport calculations reveal that the (X/Ca$_{2}$N/X) regions act as spin-dependent scattering centers, spin-filters. We believe that these findings make an important contribution to the development of spintronic devices based on 2D electrides.


title: Optimal Publishing Strategies on a Base Layer

abstract: A growing number of products use layer 2 solutions to expand the capabilities of primary blockchains like Ethereum, where computation is off-loaded from the root chain, and the results are published to it in bulk. Those include optimistic and zero-knowledge rollups, information oracles, and app-specific chains. This work presents an analysis of layer 2 blockchain strategies determining the optimal times for publishing transactions on the root chain. There is a trade-off between waiting for a better layer 1 gas price and the urgency to finalize layer 2 transactions. We present a model for the problem that captures this trade-off, generalizing previous works, and we analyze the properties of optimal publishing strategies. We show that such optimal strategies hold a computable simple form for a large class of cost functions.


title: Comparison of time-of-flight with MIEZE spectroscopy of H$_2$O: Necessity to go beyond the spin-echo approximation

abstract: Here, we discuss the comparability of data acquisitioned with the Modulation of IntEnsity with Zero Effort data, a neutron spin-echo (NSE) technique to neutron Time-of-Flight (ToF) spectroscopy data. As a NSE technique MIEZE records the intermediate scattering function $\mathcal{I}(Q, \tau)$ making it necessary to perform a Fourier transform to directly compare it to $S(Q, E)$, measured by ToF spectroscopy. Transforming either data set into the complementary parameter space requires detailed knowledge of detector efficiency, instrumental resolution, and background. We discuss these aspects by comparing measurements on pure water performed on the spectrometers RESEDA and TOFTOF under the same experimental conditions. Additionally, we discuss the data evaluation of spin-echo data beyond the SE approximation, which limits these techniques to small energy transfers.


title: Human capital in the sustainable economic development of the energy sector

abstract: This study examines the role of human capital investment in driving sustainable socio-economic growth within the energy industry. The fuel and energy sector undeniably forms the backbone of contemporary economies, supplying vital resources that underpin industrial activities, transportation, and broader societal operations. In the context of the global shift toward sustainability, it is crucial to focus not just on technological innovation but also on cultivating human capital within this sector. This is particularly relevant considering the recent shift towards green and renewable energy solutions. In this study, we utilize bibliometric analysis, drawing from a dataset of 1933 documents (represented by research papers, conference proceedings, and book chapters) indexed in the Web of Science (WoS) database. We conduct a network cluster analysis of the textual and bibliometric data using VOSViewer software. The findings stemming from our analysis indicate that investments in human capital are perceived as important in achieving long-term sustainable economic growth in the energy companies both in Russia and worldwide. In addition, it appears that the role of human capital in the energy sector is gaining more popularity both among Russian and international researchers and academics.


title: JuliQAOA: Fast, Flexible QAOA Simulation

abstract: We introduce JuliQAOA, a simulation package specifically built for the Quantum Alternating Operator Ansatz (QAOA). JuliQAOA does not require a circuit-level description of QAOA problems, or another package to simulate such circuits, instead relying on a more direct linear algebra implementation. This allows for increased QAOA-specific performance improvements, as well as improved flexibility and generality. JuliQAOA is the first QAOA package designed to aid in the study of both constrained and unconstrained combinatorial optimization problems, and can easily include novel cost functions, mixer Hamiltonians, and other variations. JuliQAOA also includes robust and extensible methods for learning optimal angles. Written in the Julia language, JuliQAOA outperforms existing QAOA software packages and scales well to HPC-level resources. JuliQAOA is available at https://github.com/lanl/JuliQAOA.jl.


title: An exactly solvable relativistic quantum Otto engine

abstract: We revisit the mathematics of exactly solvable Unruh-DeWitt detector models, interacting with massless scalar fields under instantaneous interactions, to construct a relativistic quantum Otto heat engine. By deriving the conditions under which the thermodynamic cycle is closed we study the effects of motion on the amount of work that can be extracted from the machine when the working medium is moving at a constant relativistic velocity through the heat baths. While there is a degrading effect with respect to speed in the hot bath, we demonstrate that in the case of the cold bath, genuine enhancing effects are sometimes present. For couplings the same order as the inverse frequency of the detector and a specific value for the temporal separation between the two instantaneous interactions--needed in order to be possible to cool the detector--a non-monotonic dependence between speed and extracted work exists raising the intriguing possibility of exploiting relativistic effects for the enhancement of thermodynamic processes in tabletop experiments.


title: Semantic Image Synthesis for Abdominal CT

abstract: As a new emerging and promising type of generative models, diffusion models have proven to outperform Generative Adversarial Networks (GANs) in multiple tasks, including image synthesis. In this work, we explore semantic image synthesis for abdominal CT using conditional diffusion models, which can be used for downstream applications such as data augmentation. We systematically evaluated the performance of three diffusion models, as well as to other state-of-the-art GAN-based approaches, and studied the different conditioning scenarios for the semantic mask. Experimental results demonstrated that diffusion models were able to synthesize abdominal CT images with better quality. Additionally, encoding the mask and the input separately is more effective than na\"ive concatenating.


title: Point Transformer with Federated Learning for Predicting Breast Cancer HER2 Status from Hematoxylin and Eosin-Stained Whole Slide Images

abstract: Directly predicting human epidermal growth factor receptor 2 (HER2) status from widely available hematoxylin and eosin (HE)-stained whole slide images (WSIs) can reduce technical costs and expedite treatment selection. Accurately predicting HER2 requires large collections of multi-site WSIs. Federated learning enables collaborative training of these WSIs without gigabyte-size WSIs transportation and data privacy concerns. However, federated learning encounters challenges in addressing label imbalance in multi-site WSIs from the real world. Moreover, existing WSI classification methods cannot simultaneously exploit local context information and long-range dependencies in the site-end feature representation of federated learning. To address these issues, we present a point transformer with federated learning for multi-site HER2 status prediction from HE-stained WSIs. Our approach incorporates two novel designs. We propose a dynamic label distribution strategy and an auxiliary classifier, which helps to establish a well-initialized model and mitigate label distribution variations across sites. Additionally, we propose a farthest cosine sampling based on cosine distance. It can sample the most distinctive features and capture the long-range dependencies. Extensive experiments and analysis show that our method achieves state-of-the-art performance at four sites with a total of 2687 WSIs. Furthermore, we demonstrate that our model can generalize to two unseen sites with 229 WSIs.


title: Ownership Types for Verification of Programs with Pointer Arithmetic

abstract: Toman et al. have proposed a type system for automatic verification of low-level programs, which combines ownership types and refinement types to enable strong updates of refinement types in the presence of pointer aliases. We extend their type system to support pointer arithmetic, and prove its soundness. Based on the proposed type system, we have implemented a prototype tool for automated verification of the lack of assertion errors of low-level programs with pointer arithmetic, and confirmed its effectiveness through experiments.


title: New Hausdorff type dimensions and optimal bounds for bilipschitz invariant dimensions

abstract: We introduce a new family of fractal dimensions by restricting the set of diameters in the coverings in the usual definition of the Hausdorff dimension. Among others, we prove that this family contains continuum many distinct dimensions, and they share most of the properties of the Hausdorff dimension, which answers negatively a question of Fraser. On the other hand, we also prove that among these new dimensions only the Hausdorff dimension behaves nicely with respect to H\"older functions, which supports a conjecture posed by Banaji obtained as a natural modification of Fraser's question. We also consider the supremum of these new dimensions, which turns out to be an other interesting notion of fractal dimension. We prove that among those bilipschitz invariant, monotone dimensions on the compact subsets of $\mathbb{R}^n$ that agree with the similarity dimension for the simplest self-similar sets, the modified lower dimension is the smallest and when $n=1$ the Assouad dimension is the greatest, and this latter statement is false for $n>1$. This answers a question of Rutar.


title: Large Language Models with Retrieval-Augmented Generation for Zero-Shot Disease Phenotyping

abstract: Identifying disease phenotypes from electronic health records (EHRs) is critical for numerous secondary uses. Manually encoding physician knowledge into rules is particularly challenging for rare diseases due to inadequate EHR coding, necessitating review of clinical notes. Large language models (LLMs) offer promise in text understanding but may not efficiently handle real-world clinical documentation. We propose a zero-shot LLM-based method enriched by retrieval-augmented generation and MapReduce, which pre-identifies disease-related text snippets to be used in parallel as queries for the LLM to establish diagnosis. We show that this method as applied to pulmonary hypertension (PH), a rare disease characterized by elevated arterial pressures in the lungs, significantly outperforms physician logic rules ($F_1$ score of 0.62 vs. 0.75). This method has the potential to enhance rare disease cohort identification, expanding the scope of robust clinical research and care gap identification.


title: ASF-YOLO: A Novel YOLO Model with Attentional Scale Sequence Fusion for Cell Instance Segmentation

abstract: We propose a novel Attentional Scale Sequence Fusion based You Only Look Once (YOLO) framework (ASF-YOLO) which combines spatial and scale features for accurate and fast cell instance segmentation. Built on the YOLO segmentation framework, we employ the Scale Sequence Feature Fusion (SSFF) module to enhance the multi-scale information extraction capability of the network, and the Triple Feature Encoder (TFE) module to fuse feature maps of different scales to increase detailed information. We further introduce a Channel and Position Attention Mechanism (CPAM) to integrate both the SSFF and TPE modules, which focus on informative channels and spatial position-related small objects for improved detection and segmentation performance. Experimental validations on two cell datasets show remarkable segmentation accuracy and speed of the proposed ASF-YOLO model. It achieves a box mAP of 0.91, mask mAP of 0.887, and an inference speed of 47.3 FPS on the 2018 Data Science Bowl dataset, outperforming the state-of-the-art methods. The source code is available at https://github.com/mkang315/ASF-YOLO.


title: High-speed sensing of RF signals with phase change materials

abstract: RF radiation spectrum is central to wireless and radar systems among numerous high-frequency device technologies. Here, we demonstrate sensing of RF signals in the technologically relevant 2.4 GHz range utilizing vanadium dioxide (VO2), a quantum material that has garnered significant interest for its insulator-to-metal transition. We find the electrical resistance of both stoichiometric as well as off-stoichiometric vanadium oxide films can be modulated with RF wave exposures from a distance. The response of the materials to the RF waves can be enhanced by either increasing the power received by the sample or reducing channel separation. We report a significant ~73% drop in resistance with a 5 {\mu}m channel gap of the VO2 film at a characteristic response time of 16 microseconds. The peak sensitivity is proximal to the phase transition temperature boundary that can be engineered via doping and crystal chemistry. Dynamic sensing measurements highlight the films' rapid response and broad-spectrum sensitivity. Engineering electronic phase boundaries in correlated electron systems could offer new capabilities in emerging communication technologies.


title: Ensemble Kalman Inversion for Image Guided Guide Wire Navigation in Vascular Systems

abstract: This paper addresses the challenging task of guide wire navigation in cardiovascular interventions, focusing on the parameter estimation of a guide wire system using Ensemble Kalman Inversion (EKI) with a subsampling technique. The EKI uses an ensemble of particles to estimate the unknown quantities. However since the data misfit has to be computed for each particle in each iteration, the EKI may become computationally infeasible in the case of high-dimensional data, e.g. high-resolution images. This issue can been addressed by randomised algorithms that utilize only a random subset of the data in each iteration. We introduce and analyse a subsampling technique for the EKI, which is based on a continuous-time representation of stochastic gradient methods and apply it to on the parameter estimation of our guide wire system. Numerical experiments with real data from a simplified test setting demonstrate the potential of the method.


title: Variational Auto-Encoder Based Deep Learning Technique For Filling Gaps in Reacting PIV Data

abstract: In this study, a deep learning based conditional density estimation technique known as conditional variational auto-encoder (CVAE) is used to fill gaps typically observed in particle image velocimetry (PIV) measurements in combustion systems. The proposed CVAE technique is trained using time resolved gappy PIV fields, typically observed in industrially relevant combustors. Stereo-PIV (SPIV) data from a swirl combustor with very a high vector yield is used to showcase the accuracy of the proposed CVAE technique. Various error metrics evaluated on the reconstructed velocity field in the gaps are presented from data sets corresponding to three sets of combustor operating conditions. In addition to accurate data reproduction, the proposed CVAE technique offers data compression by reducing the latent space dimension, enabling the efficient processing of large-scale PIV data.


title: Cooperation Does Matter: Exploring Multi-Order Bilateral Relations for Audio-Visual Segmentation

abstract: Recently, an audio-visual segmentation (AVS) task has been introduced, aiming to group pixels with sounding objects within a given video. This task necessitates a first-ever audio-driven pixel-level understanding of the scene, posing significant challenges. In this paper, we propose an innovative audio-visual transformer framework, termed COMBO, an acronym for COoperation of Multi-order Bilateral relatiOns. For the first time, our framework explores three types of bilateral entanglements within AVS: pixel entanglement, modality entanglement, and temporal entanglement. Regarding pixel entanglement, we employ a Siam-Encoder Module (SEM) that leverages prior knowledge to generate more precise visual features from the foundational model. For modality entanglement, we design a Bilateral-Fusion Module (BFM), enabling COMBO to align corresponding visual and auditory signals bi-directionally. As for temporal entanglement, we introduce an innovative adaptive inter-frame consistency loss according to the inherent rules of temporal. Comprehensive experiments and ablation studies on AVSBench-object (84.7 mIoU on S4, 59.2 mIou on MS3) and AVSBench-semantic (42.1 mIoU on AVSS) datasets demonstrate that COMBO surpasses previous state-of-the-art methods. Code and more results will be publicly available at https://yannqi.github.io/AVS-COMBO/.


title: On the dependence of the Landau gauge ghost-gluon-vertex on the number of flavors

abstract: The gauge-boson, ghost and fermion propagators as well as the gauge-boson--ghost vertex function are studied for SU(N), Sp(2N) and SO(N) gauge groups. We solve a set of coupled Dyson-Schwinger equations in Landau gauge for a variable, fractional number $N_f$ of massless fermions in the fundamental representation. For large $N_f$ we find a phase transition from a chirally broken into a chirally symmetric phase that is consistent with the behavior expected inside the conformal window. Even in the presence of fermions the gauge-boson--ghost-vertex dressing remains small. In the conformal window this vertex shows the expected power law behavior. It does not assume its tree-level value in the far infrared, but the respective dressing function is a constant greater than one.


title: Revisiting kink-like parametrization and constraints using OHD/Pantheon+/BAO samples

abstract: We reexamine the kink-like parameterization of the deceleration parameter to derive constraints on the transition redshift from cosmic deceleration to acceleration. This is achieved using observational Hubble data, Type Ia Supernovae Pantheon+ samples and Baryon acoustic oscillations. In this parametrization, the value of the initial $q$ parameter is $q_{i}$, the final value is $q_f$, the present value is denoted by $q_{0}$, and the transition duration is given by $\alpha$. We perform our calculations using the Monte Carlo Markov Chain method, utilizing the emcee package. Under the assumption of a flat geometry, we constrain the range of possible values for three scenarios: when $q_{f}$ is unrestricted, when $q_{f}$ is equal to $-1$, and when $\alpha$ is $1/3$. This is done assuming that $q_{i}=1/2$. Here, we achieve that the $SN$ data fixes the free parameters tightly as in the flat $\Lambda$CDM for unrestricted $q_{f}$. In addition, if we fix $q_{f}=-1$, the model behaves well as the $\Lambda$CDM for the combined dataset. We also acquire the current value of the deceleration parameter, which is consistent with the latest results that assume the $\Lambda$CDM model. Furthermore, we observe a deviation from the standard $\Lambda$CDM model in the current model based on the evolution of $j(z)$, and it is evident that the universe transitions from deceleration to acceleration and will eventually reach the $\Lambda$CDM model in the near future.


title: A New Projection Pursuit Index for Big Data

abstract: Visualization of extremely large datasets in static or dynamic form is a huge challenge because most traditional methods cannot deal with big data problems. A new visualization method for big data is proposed based on Projection Pursuit, Guided Tour and Data Nuggets methods, that will help display interesting hidden structures such as clusters, outliers, and other nonlinear structures in big data. The Guided Tour is a dynamic graphical tool for high-dimensional data combining Projection Pursuit and Grand Tour methods. It displays a dynamic sequence of low-dimensional projections obtained by using Projection Pursuit (PP) index functions to navigate the data space. Different PP indices have been developed to detect interesting structures of multivariate data but there are computational problems for big data using the original guided tour with these indices. A new PP index is developed to be computable for big data, with the help of a data compression method called Data Nuggets that reduces large datasets while maintaining the original data structure. Simulation studies are conducted and a real large dataset is used to illustrate the proposed methodology. Static and dynamic graphical tools for big data can be developed based on the proposed PP index to detect nonlinear structures.


title: Towards Domain-Specific Cross-Corpus Speech Emotion Recognition Approach

abstract: Cross-corpus speech emotion recognition (SER) poses a challenge due to feature distribution mismatch, potentially degrading the performance of established SER methods. In this paper, we tackle this challenge by proposing a novel transfer subspace learning method called acoustic knowledgeguided transfer linear regression (AKTLR). Unlike existing approaches, which often overlook domain-specific knowledge related to SER and simply treat cross-corpus SER as a generic transfer learning task, our AKTLR method is built upon a well-designed acoustic knowledge-guided dual sparsity constraint mechanism. This mechanism emphasizes the potential of minimalistic acoustic parameter feature sets to alleviate classifier overadaptation, which is empirically validated acoustic knowledge in SER, enabling superior generalization in cross-corpus SER tasks compared to using large feature sets. Through this mechanism, we extend a simple transfer linear regression model to AKTLR. This extension harnesses its full capability to seek emotiondiscriminative and corpus-invariant features from established acoustic parameter feature sets used for describing speech signals across two scales: contributive acoustic parameter groups and constituent elements within each contributive group. Our proposed method is evaluated through extensive cross-corpus SER experiments on three widely-used speech emotion corpora: EmoDB, eNTERFACE, and CASIA. The results confirm the effectiveness and superior performance of our method, outperforming recent state-of-the-art transfer subspace learning and deep transfer learning-based cross-corpus SER methods. Furthermore, our work provides experimental evidence supporting the feasibility and superiority of incorporating domain-specific knowledge into the transfer learning model to address cross-corpus SER tasks.


title: Aligning brain functions boosts the decoding of visual semantics in novel subjects

abstract: Deep learning is leading to major advances in the realm of brain decoding from functional Magnetic Resonance Imaging (fMRI). However, the large inter-subject variability in brain characteristics has limited most studies to train models on one subject at a time. Consequently, this approach hampers the training of deep learning models, which typically requires very large datasets. Here, we propose to boost brain decoding by aligning brain responses to videos and static images across subjects. Compared to the anatomically-aligned baseline, our method improves out-of-subject decoding performance by up to 75%. Moreover, it also outperforms classical single-subject approaches when fewer than 100 minutes of data is available for the tested subject. Furthermore, we propose a new multi-subject alignment method, which obtains comparable results to that of classical single-subject approaches while improving out-of-subject generalization. Finally, we show that this method aligns neural representations in accordance with brain anatomy. Overall, this study lays the foundations for leveraging extensive neuroimaging datasets and enhancing the decoding of individuals with a limited amount of brain recordings.


title: Constraints on initial baryon stopping and equation of state from directed flow

abstract: Our investigation focuses on the rapidity-dependent directed flow, $v_1(y)$, of identified hadrons in Au+Au collisions across a broad range of $\sqrt{s_{\rm NN}}$ from 7.7 to 200 GeV. Employing a (3+1)-dimensional hybrid framework, our study successfully reproduces the characteristic features of the measured $v_1(y)$ for both mesons and baryons across the considered beam energies. Notably, our analysis reveals the constraining power of baryonic $v_1(y)$ on the initial baryon stopping mechanism. Together with mesonic $v_1(y)$, the directed flow serves as a crucial tool for probing the equation of state governing dense nuclear matter at finite chemical potentials.


title: $\Gamma$-Convergence for plane to wrinkles transition problem

abstract: We consider a variational problem modeling transition between flat and wrinkled region in a thin elastic sheet, and identify the $\Gamma$-limit as the sheet thickness goes to 0, thus extending the previous work of the first author [Bella, ARMA 2015]. The limiting problem is scalar and convex, but constrained and posed for measures. For the $\Gamma$-liminf inequality we first pass to quadratic variables so that the constraint becomes linear, and then obtain the lower bound using Reshetnyak's theorem. The construction of the recovery sequence for the $\Gamma$- limsup inequality relies on mollification of quadratic variables, and careful choice of multiple construction parameters. Eventually for the limiting problem we show existence of a minimizer and equipartition of the energy for each frequency.


title: De novo Design of Polymer Electrolytes with High Conductivity using GPT-based and Diffusion-based Generative Models

abstract: Solid polymer electrolytes hold significant promise as materials for next-generation batteries due to their superior safety performance, enhanced specific energy, and extended lifespans compared to liquid electrolytes. However, the material's low ionic conductivity impedes its commercialization, and the vast polymer space poses significant challenges for the screening and design. In this study, we assess the capabilities of generative artificial intelligence (AI) for the de novo design of polymer electrolytes. To optimize the generation, we compare different deep learning architectures, including both GPT-based and diffusion-based models, and benchmark the results with hyperparameter tuning. We further employ various evaluation metrics and full-atom molecular dynamics simulations to assess the performance of different generative model architectures and to validate the top candidates produced by each model. Out of only 45 candidates being tested, we discovered 17 polymers that achieve superior ionic conductivity better than any other polymers in our database, with some of them doubling the conductivity value. In addition, by adopting a pretraining and fine-tuning methodology, we significantly improve the efficacy of our generative models, achieving quicker convergence, enhanced performance with limited data, and greater diversity. Using the proposed method, we can easily generate a large number of novel, diverse, and valid polymers, with a chance of synthesizability, enabling us to identify promising candidates with markedly improved efficiency.


title: A priori Belief Updates as a Method for Agent Self-Recovery

abstract: Standard epistemic logic is concerned with describing agents' epistemic attitudes given the current set of alternatives the agents consider possible. While distributed systems can (and often are) discussed without mentioning epistemics, it has been well established that epistemic phenomena lie at the heart of what agents, or processes, can and cannot do. Dynamic epistemic logic (DEL) aims to describe how epistemic attitudes of the agents/processes change based on the new information they receive, e.g., based on their observations of events and actions in a distributed system. In a broader philosophical view, this appeals to an a posteriori kind of reasoning, where agents update the set of alternatives considered possible based on their "experiences." Until recently, there was little incentive to formalize a priori reasoning, which plays a role in designing and maintaining distributed systems, e.g., in determining which states must be considered possible by agents in order to solve the distributed task at hand, and consequently in updating these states when unforeseen situations arise during runtime. With systems becoming more and more complex and large, the task of fixing design errors "on the fly" is shifted to individual agents, such as in the increasingly popular self-adaptive and self-organizing (SASO) systems. Rather than updating agents' a posteriori beliefs, this requires modifying their a priori beliefs about the system's global design and parameters. The goal of this paper is to provide a formalization of such a priori reasoning by using standard epistemic semantic tools, including Kripke models and DEL-style updates, and provide heuristics that would pave the way to streamlining this inherently non-deterministic and ad hoc process for SASO systems.


title: Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons

abstract: Vehicular platoons provide an appealing option for future transportation systems. Most of the existing work on platoons separated the design of the controller and its communication topologies. However, it is beneficial to design both the platooning controller and the communication topology simultaneously, i.e., controller and topology co-design, especially in the cases of platoon splitting and merging. We are, therefore, motivated to propose a co-design framework for vehicular platoons that maintains both the compositionality of the controller and the string stability of the platoon, which enables the merging and splitting of the vehicles in a platoon. To this end, we first formulate the co-design problem as a centralized linear matrix inequality (LMI) problem and then decompose it using Sylvester's criterion to obtain a set of smaller decentralized LMI problems that can be solved sequentially at individual vehicles in the platoon. Moreover, in the formulated decentralized LMI problems, we encode a specifically derived local LMI to enforce the $L_2$ stability of the closed-loop platooning system, further implying the $L_2$ weak string stability of the vehicular platoon. Finally, to validate the proposed co-design method and its features in terms of merging/splitting, we provide an extensive collection of simulation results generated from a specifically developed simulation framework. Available in GitHub: HTTP://github.com/NDzsong2/Longitudinal-Vehicular-Platoon-Simulator.git that we have made publicly available.


title: Pathwise Uniqueness for Multiplicative Young and Rough Differential Equations Driven by Fractional Brownian Motion

abstract: We show $\textit{pathwise uniqueness}$ of multiplicative SDEs, in arbitrary dimensions, driven by fractional Brownian motion with Hurst parameter $H\in (1/3,1)$ with volatility coefficient $\sigma$ that is at least $\gamma$-H\"older continuous for $\gamma > \frac{1}{2H} \vee \frac{1-H}{H}$. This improves upon the long-standing results of Lyons (94, 98) and Davie (08) which cover the same regime but require $\sigma$ to be at least $\frac{1}{H}$-H\"older continuous. Our central innovation is to combine stochastic averaging estimates with refined versions of the stochastic sewing lemma, due to L\^e (20), Gerencs\'er (22) and Matsuda and Perkowski (22).


title: Relevant Intrinsic Feature Enhancement Network for Few-Shot Semantic Segmentation

abstract: For few-shot semantic segmentation, the primary task is to extract class-specific intrinsic information from limited labeled data. However, the semantic ambiguity and inter-class similarity of previous methods limit the accuracy of pixel-level foreground-background classification. To alleviate these issues, we propose the Relevant Intrinsic Feature Enhancement Network (RiFeNet). To improve the semantic consistency of foreground instances, we propose an unlabeled branch as an efficient data utilization method, which teaches the model how to extract intrinsic features robust to intra-class differences. Notably, during testing, the proposed unlabeled branch is excluded without extra unlabeled data and computation. Furthermore, we extend the inter-class variability between foreground and background by proposing a novel multi-level prototype generation and interaction module. The different-grained complementarity between global and local prototypes allows for better distinction between similar categories. The qualitative and quantitative performance of RiFeNet surpasses the state-of-the-art methods on PASCAL-5i and COCO benchmarks.


title: NetROS-5G: Enhancing Personalization through 5G Network Slicing and Edge Computing in Human-Robot Interactions

abstract: Robots are increasingly being used in a variety of applications, from manufacturing and healthcare to education and customer service. However, the mobility, power, and price points of these robots often dictate that they do not have sufficient computing power on board to run modern algorithms for personalization in human-robot interaction at desired rates. This can limit the effectiveness of the interaction and limit the potential applications for these robots. 5G connectivity provides a solution to this problem by offering high data rates, bandwidth, and low latency that can facilitate robotics services. Additionally, the widespread availability of cloud computing has made it easy to access almost unlimited computing power at a low cost. Edge computing, which involves placing compute resources closer to the action, can offer even lower latency than cloud computing. In this paper, we explore the potential of combining 5G, edge, and cloud computing to provide improved personalization in human-robot interaction. We design, develop, and demonstrate a new framework, entitled NetROS-5G, to show how the performance gained by utilizing these technologies can overcome network latency and significantly enhance personalization in robotics. Our results show that the integration of 5G network slicing, edge computing, and cloud computing can collectively offer a cost-efficient and superior level of personalization in a modern human-robot interaction scenario.


title: Characterizing symplectic capacities on ellipsoids

abstract: It is a long-standing conjecture that all symplectic capacities which are equal to the Gromov width for ellipsoids coincide on convex domains in $\mathbb{R}^{2n}$. It is known that they coincide for monotone toric domains in all dimensions. In this paper, we study whether requiring a capacity to be equal to the $k^{th}$ Ekeland-Hofer capacity for all ellipsoids can characterize it on a class of domains. We prove that for $k=n=2$, this holds for convex toric domains, but not for all monotone toric domains. We also prove that for $k=n\ge 3$, this does not hold even for convex toric domains.


title: Alterfold Topological Quantum Field Theory

abstract: We introduce the 3-alterfold topological quantum field theory (TQFT) by extending the quantum invariant of 3-alterfolds. The bases of the TQFT are explicitly characterized and the Levin-Wen model is naturally interpreted in 3-alterfold TQFT bases. By naturally considering the RT TQFT and TV TQFT as sub-TQFTs within the 3-alterfold TQFT, we establish their equivalence. The 3-alterfold TQFT is unitary when the input fusion category is unitary. Additionally, we extend the 3-alterfold TQFT to the Morita context and demonstrate that Morita equivalent fusion categories yield equivalent TV TQFTs. We also provide a simple pictorial proof of complete positivity criteria for unitary categorization when the 3-alterfold TQFT is unitary. Expanding our scope to high-genus surfaces by replacing the torus, we introduce the high genus topological indicators and proving the equivariance under the mapping class group actions.


title: Prediction De-Correlated Inference: A safe approach for post-prediction inference

abstract: In modern data analysis, it is common to use machine learning methods to predict outcomes on unlabeled datasets and then use these pseudo-outcomes in subsequent statistical inference. Inference in this setting is often called post-prediction inference. We propose a novel assumption-lean framework for statistical inference under post-prediction setting, called Prediction De-Correlated Inference (PDC). Our approach is safe, in the sense that PDC can automatically adapt to any black-box machine-learning model and consistently outperform the supervised counterparts. The PDC framework also offers easy extensibility for accommodating multiple predictive models. Both numerical results and real-world data analysis demonstrate the superiority of PDC over the state-of-the-art methods.


title: Money, Time, and Grant Design

abstract: The design of research grants has been hypothesized to be a useful tool for influencing researchers and their science. We test this by conducting two thought experiments in a nationally representative survey of academic researchers. First, we offer participants a hypothetical grant with randomized attributes and ask how the grant would influence their research strategy. Longer grants increase researchers' willingness to take risks, but only among tenured professors, which suggests that job security and grant duration are complements. Both longer and larger grants reduce researchers' focus on speed, which suggests a significant amount of racing in science is in pursuit of resources. But along these and other strategic dimensions, the effect of grant design is small. Second, we identify researchers' indifference between the two grant design parameters and find they are very unwilling to trade off the amount of funding a grant provides in order to extend the duration of the grant $\unicode{x2014}$ money is much more valuable than time. Heterogeneity in this preference can be explained with a straightforward model of researchers' utility. Overall, our results suggest that the design of research grants is more relevant to selection effects on the composition of researchers pursuing funding, as opposed to having large treatment effects on the strategies of researchers that receive funding.


title: Band Gap Renormalization at Different Symmetry Points in Perovskites

abstract: Using ultrafast broad-band transient absorption (TA) spectroscopy of photo-excited MAPbBr3 thin films with probe continua in the visible and the mid-to-deep-UV ranges, we capture the ultrafast gap renormalization at the fundamental gap situated at the R symmetry point of the Brillouin Zone (BZ) and a higher energy gap at the M point. Global Lifetime analysis, Lifetime density distribution and spectral trace fitting analysis are applied to extract quantitative information. Our work confirms the similarity of the energy gap renormalization at both symmetry points, which rises within the instrument response function (IRF, ~250 fs) and decays in ~400-600 fs times, and an energy red-shift of ~90-150 meV. The ability to monitor different high symmetry points in photoexcited perovskites opens exciting prospects into the characterization of materials, which can be extended to a larger class of materials.


title: Measuring the perception of the personalized activities with CloudIA robot

abstract: Socially Assistive Robots represent a valid solution for improving the quality of life and the mood of older adults. In this context, this work presents the CloudIA robot, a non-human-like robot intended to promote sociality and well-being among older adults. The design of the robot and of the provided services were carried out by a multidisciplinary team of designers and technology developers in tandem with professional caregivers. The capabilities of the robot were implemented according to the received guidelines and tested in two nursing facilities by 15 older people. Qualitative and quantitative metrics were used to investigate the engagement of the participants during the interaction with the robot, and to investigate any differences in the interaction during the proposed activities. The results highlighted the general tendency of humanizing the robotic platform and demonstrated the feasibility of introducing the CloudIA robot in support of the professional caregivers' work. From this pilot test, further ideas on improving the personalization of the robotic platform emerged.


title: Measuring the reionization optical depth without large-scale CMB polarization

abstract: We study the possibility of measuring the optical depth at reionization, $\tau$, without relying on large-scale Cosmic Microwave Background (CMB) polarization. Our analysis is driven by the need to obtain competitive measurements that can validate the state-of-the-art constraints on this parameter, widely based on E-mode polarization measurements at $\ell\le 30$. This need is partially motivated by the typical concerns regarding anomalies observed in the Planck large-scale CMB data as well as by the remarkable fact that, excluding these latter, $\tau$ consistently exhibits correlations with anomalous parameters, such as $A_{\rm lens}$ and $\Omega_k$, suggesting that slightly higher values of the optical depth at reionization could significantly alleviate or even eliminate anomalies. Within the $\Lambda$CDM model, our most constraining result is $\tau = 0.080 \pm 0.012$, obtained by combining Planck temperature and polarization data at $\ell > 30$, the Atacama Cosmology Telescope (ACT) and Planck measurements of the lensing potential, Baryon Acoustic Oscillations (BAO), and Type-Ia supernova data from the Pantheon+ catalogue. Notably, using only ACT temperature, polarization, and lensing data in combination with BAO and supernovae, we obtain $\tau = 0.076 \pm 0.015$, which is entirely independent of Planck. The relative precision of these results is approaching the constraints based on large-scale CMB polarization ($\tau = 0.054 \pm 0.008$). Despite the overall agreement, we report a slight $1.8\sigma$ shift towards larger values of $\tau$. We also test how these results change by extending the cosmological model. While in many extensions they remain robust, in general obtaining precise measurements of $\tau$ may become significantly more challenging.


title: UOCS XIII. Study of the FUV bright stars in the open cluster NGC 2420 using ASTROSAT

abstract: We present the study of four FUV stars in the field of open cluster NGC 2420 using the Ultra Violet Imaging Telescope (UVIT) mounted on AstroSat. The three stars 525, 527, and 560 are members, while star 646 is a non-member of the cluster. To characterize and determine the parameters of these stars, multi-wavelength spectral energy distributions (SEDs) are analyzed using UV, optical, and IR data sets. For all four FUV bright stars, a two-component SED model fits well. Our findings indicate that two stars, 525 and 560, are binary BSS systems. These binary BSS systems may have formed in a tertiary system due to mass transfer from an evolved outer tertiary companion. Star 527 is a binary system of a BSS and an extremely low-mass (ELM) white dwarf, while Star 646 is a binary system of a horizontal branch star and an ELM white dwarf. The effective temperatures, radii, luminosities and masses of the two ELMs are (10250, 11500) K, (0.42, 0.12) Rsun, (1.61, 0.23) Lsun, and (0.186, 0.170) Msun, respectively. The star 527 could be a post-mass transfer system and may have originated through the Case A/B mass transfer process in a low-density environment. The cooling age of the ELMs is < 1 Myr, indicating that they have only recently formed.


title: Augmented Island Resampling Particle Filters for Particle Markov Chain Monte Carlo

abstract: In modern days, the ability to carry out computations in parallel is key to efficient implementations of computationally intensive algorithms. This paper investigates the applicability of the previously proposed Augmented Island Resampling Particle Filter (AIRPF) -- an algorithm designed for parallel implementations -- to particle Markov Chain Monte Carlo (PMCMC). We show that AIRPF produces a non-negative unbiased estimator of the marginal likelihood and hence is suitable for PMCMC. We also prove stability properties, similar to those of the $\alpha$SMC algorithm, for AIRPF. This implies that the error of AIRPF can be bounded uniformly in time by controlling the effective number of filters, which in turn can be done by adaptively constraining the interactions between filters. We demonstrate the superiority of AIRPF over independent Bootstrap Particle Filters, not only numerically, but also theoretically. To this end, we extend the previously proposed collision analysis approach to derive an explicit expression for the variance of the marginal likelihood estimate. This expression admits exact evaluation of the variance in some simple scenarios as we shall also demonstrate.


title: Quenched critical percolation on Galton-Watson trees

abstract: We consider critical percolation on a supercritical Galton-Watson tree. We show that, when the offspring distribution is in the domain of attraction of an $\alpha$-stable law for some $\alpha \in (1,2)$, or has finite variance, several annealed properties also hold in a quenched setting. In particular, the following properties hold for the critical root cluster on almost every realisation of the tree: (1) the rescaled survival probabilities converge; (2) the Yaglom limit or its stable analogue hold - in particular, conditioned on survival, the number of vertices at generation $n$ that are connected to the root cluster rescale to a certain (explicit) random variable; (3) conditioned on initial survival, the sequence of generation sizes in the root cluster rescales to a continuous-state branching process. This strengthens some earlier results of Michelen (2019) who proved (1) and (2) in the case where the initial tree has an offspring distribution with all moments finite.


title: STDiff: Spatio-temporal Diffusion for Continuous Stochastic Video Prediction

abstract: Predicting future frames of a video is challenging because it is difficult to learn the uncertainty of the underlying factors influencing their contents. In this paper, we propose a novel video prediction model, which has infinite-dimensional latent variables over the spatio-temporal domain. Specifically, we first decompose the video motion and content information, then take a neural stochastic differential equation to predict the temporal motion information, and finally, an image diffusion model autoregressively generates the video frame by conditioning on the predicted motion feature and the previous frame. The better expressiveness and stronger stochasticity learning capability of our model lead to state-of-the-art video prediction performances. As well, our model is able to achieve temporal continuous prediction, i.e., predicting in an unsupervised way the future video frames with an arbitrarily high frame rate. Our code is available at \url{https://github.com/XiYe20/STDiffProject}.


title: Fierce Feedback in an Obscured, Sub-Eddington State of the Seyfert 1.2 Markarian 817

abstract: Markarian 817 is a bright and variable Seyfert-1.2 active galactic nucleus (AGN). X-ray monitoring of Mrk 817 with the Neil Gehrels Swift Observatory in 2022 revealed that the source flux had declined to a lower level than recorded at any prior point in the then-19-year mission. We present an analysis of deep XMM-Newton and NuSTAR observations obtained in this low flux state. The spectra reveal a complex X-ray wind consisting of neutral and ionized absorption zones. Three separate velocity components are detected as part of a structured ultra-fast outflow (UFO), with v/c = 0.043 (+0.007,-0.003), v/c = 0.079 (+0.003,-0.0008), and v/c = 0.074 (+0.004,-0.005). These projected velocities suggest that the wind likely arises at radii that are much smaller than the optical broad line region (BLR). In order for each component of the outflow to contribute significant feedback, the volume filling factors must be greater than f ~ 0.009, f ~ 0.003, and f ~ 0.3, respectively. For plausible, data-driven volume filling factors, these limits are passed, and the total outflow likely delivers the fierce feedback required to reshape its host environment, despite a modest radiative Eddington fraction of lambda ~ 0.008-0.016 (this range reflects plausible masses). UFOs are often detected at or above the Eddington limit; this result signals that black hole accretion has the potential to shape host galaxies even at modest Eddington fractions, and over a larger fraction of a typical AGN lifetime. We discuss our findings in terms of models for disk winds and black hole feedback in this and other AGN.


title: Performance-lossless Black-box Model Watermarking

abstract: With the development of deep learning, high-value and high-cost models have become valuable assets, and related intellectual property protection technologies have become a hot topic. However, existing model watermarking work in black-box scenarios mainly originates from training-based backdoor methods, which probably degrade primary task performance. To address this, we propose a branch backdoor-based model watermarking protocol to protect model intellectual property, where a construction based on a message authentication scheme is adopted as the branch indicator after a comparative analysis with secure cryptographic technologies primitives. We prove the lossless performance of the protocol by reduction. In addition, we analyze the potential threats to the protocol and provide a secure and feasible watermarking instance for language models.


title: On local cohomology modules over ramified regular local rings

abstract: In this paper, we show examples of local cohomology modules over ramified regular local ring, having finite set of associated primes. In doing so we consider our ramified regular local ring as Eisenstein extension of an unramified regular local ring sitting inside it and we use the Mayer-Vietoris spectral sequence to show the finiteness of the set of associated primes. In ramified regular local ring for extended ideal (from the unramified one) set of associative primes of a local cohomology module is always finite. Using this result, for non extended ideal, we show example of local cohomology module which has finite set of associative primes and where associative primes also contains prime number $p$.


title: Automated Planning Techniques for Elementary Proofs in Abstract Algebra

abstract: This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematical proofs. In particular, we investigate the use of planning to construct elementary proofs in abstract algebra, which provides a rigorous and axiomatic framework for studying algebraic structures such as groups, rings, fields, and modules. We implement basic implications, equalities, and rules in both deterministic and non-deterministic domains to model commutative rings and deduce elementary results about them. The success of this initial implementation suggests that the well-established techniques seen in automated planning are applicable to the relatively newer field of automated theorem proving. Likewise, automated theorem proving provides a new, challenging domain for automated planning.


title: Beyond Line of Sight Defense Communication Systems: Recent Advances and Future Challenges

abstract: Beyond Line of Sight (BLOS) communication stands as an indispensable element within defense communication strategies, facilitating information exchange in scenarios where traditional Line of Sight (LOS) methodologies encounter obstruction. This article delves into the forefront of technologies driving BLOS communication, emphasizing advanced systems like phantom networks, nanonetworks, aerial relays, and satellite-based defense communication. Moreover, we present a practical use case of UAV path planning using optimization techniques amidst radar-threat war zones that add concrete relevance, underscoring the tangible applications of BLOS defense communication systems. Additionally, we present several future research directions for BLOS communication in defense systems, such as resilience enhancement, the integration of heterogeneous networks, management of contested spectrums, advancements in multimedia communication, adaptive methodologies, and the burgeoning domain of the Internet of Military Things (IoMT). This exploration of BLOS technologies and their applications lays the groundwork for synergistic collaboration between industry and academia, fostering innovation in defense communication paradigms.


title: Phase transitions of LaMnO$_3$ and SrRuO$_3$ from DFT + U based machine learning force fields simulations

abstract: Perovskite oxides are known to exhibit many magnetic, electronic and structural phases as function of doping and temperature. These materials are theoretically frequently investigated by the DFT+U method, typically in their ground state structure at $T=0$. We show that by combining machine learning force fields (MLFFs) and DFT+U based molecular dynamics, it becomes possible to investigate the crystal structure of complex oxides as function of temperature and $U$. Here, we apply this method to the magnetic transition metal compounds LaMnO$_3$ and SrRuO$_3$. We show that the structural phase transition from orthorhombic to cubic in LaMnO$_3$, which is accompanied by the suppression of a Jahn-Teller distortion, can be simulated with an appropriate choice of $U$. For SrRuO$_3$, we show that the sequence of orthorhombic to tetragonal to cubic crystal phase transitions can be described with great accuracy. We propose that the $U$ values that correctly capture the temperature-dependent structures of these complex oxides, can be identified by comparison of the MLFF simulated and experimentally determined structures.


title: On One Dimensional Advection -- Diffusion Equation with Variable Diffusivity

abstract: In this paper, we address a time-dependent one-dimensional linear advection-diffusion equation with Dirichlet homogeneous boundary conditions. The equation is solved both analytically, using separation of variables, and numerically, employing the finite difference method. The computational output includes three dimensional (3D) plots for solutions, focusing on pollutants such as Ammonia, Carbon monoxide, Carbon dioxide, and Sulphur dioxide. Concentrations, along with their respective diffusivities, are analyzed through 3D plots and actual calculations. To comprehend the diffusivity-concentration relationship for predicting pollutant movement in the air, the domain is divided into two halves. The study explores the behavior of pollutants with higher diffusivity entering regions with lower diffusivity, and vice versa, using 2D and 3D plots. This task is crucial for effective pollution control strategies, and safeguarding the environment and public health.


title: The Anatomy of $K^+\to\pi^+\nu\bar\nu$ Distributions

abstract: The excellent experimental prospects to measure the invisible mass spectrum of the $K^+\to\pi^+\nu\bar\nu$ decay opens a new path to test generalised quark--neutrino interactions with flavour changing $s\to d$ transitions and as such to novel probes of Physics beyond the Standard Model. Such signals can be a consequence of new lepton-number violating or lepton-number conserving interactions, with their interpretations depending on the Majorana versus Dirac nature of the neutrinos. Furthermore, the possible existence of new massive sterile neutrinos can be tested via their distinctive imprints in the invariant mass spectrum. Within the model-independent framework of the weak effective theory at dimension-six, we study the New Physics effects of Majorana and Dirac neutrinos on the differential distribution of $K^+\rightarrow \pi^+\nu\bar\nu$ allowing for lepton-number violating interactions and potential new sterile neutrinos. We determine the current and expected future sensitivity on the corresponding Wilson coefficients using the distribution measured by the NA62 collaboration and accounting for expected improvements based on the HIKE experiment. We present single-operator fits and also determine correlations among different type of operators. Even though we focus on $s\to d\nu\nu$ transitions, the operator bases for Majorana and Dirac and the classification of lepton-number-violating/conserving interactions is applicable also for the study of $b\to s/d\nu\nu$ and $c\to u\nu\nu$ transitions relevant in current phenomenology.


title: Detecting Events in Crowds Through Changes in Geometrical Dimensions of Pedestrians

abstract: Security is an important topic in our contemporary world, and the ability to automate the detection of any events of interest that can take place in a crowd is of great interest to a population. We hypothesize that the detection of events in videos is correlated with significant changes in pedestrian behaviors. In this paper, we examine three different scenarios of crowd behavior, containing both the cases where an event triggers a change in the behavior of the crowd and two video sequences where the crowd and its motion remain mostly unchanged. With both the videos and the tracking of the individual pedestrians (performed in a pre-processed phase), we use Geomind, a software we developed to extract significant data about the scene, in particular, the geometrical features, personalities, and emotions of each person. We then examine the output, seeking a significant change in the way each person acts as a function of the time, that could be used as a basis to identify events or to model realistic crowd actions. When applied to the games area, our method can use the detected events to find some sort of pattern to be then used in agent simulation. Results indicate that our hypothesis seems valid in the sense that the visually observed events could be automatically detected using GeoMind.


title: N$^3$LL resummation of one-jettiness for $Z$-boson plus jet production at hadron colliders

abstract: We present the resummation of one-jettiness for the colour-singlet plus jet production process $p p \to ( \gamma^*/Z \to \ell^+ \ell^-) + {\text{jet}}$ at hadron colliders up to the fourth logarithmic order (N$^3$LL). This is the first resummation at this order for processes involving three coloured partons at the Born level. We match our resummation formula to the corresponding fixed-order predictions, extending the validity of our results to regions of the phase space where further hard emissions are present. This result paves the way for the construction of next-to-next-to-leading order simulations for colour-singlet plus jet production matched to parton showers in the GENEVA framework.


title: MieAI: A neural network for calculating optical properties of internally mixed aerosol in atmospheric models

abstract: Aerosols influence weather and climate by interacting with radiation through absorption and scattering. These effects heavily rely on the optical properties of aerosols, which are mainly governed by attributes such as morphology, size distribution, and chemical composition. These attributes undergo continuous changes due to chemical reactions and aerosol micro-physics, resulting in significant spatio-temporal variations. Most atmospheric models struggle to incorporate this variability because they use pre-calculated tables to handle aerosol optics. This offline approach often leads to substantial errors in estimating the radiative impacts of aerosols alongwith posing significant computational burdens. To address this challenge, we introduce a novel and computationally efficient machine learning ap proach called MieAI. It allows for online calculation of the optical properties of internally mixed aerosols with a log-normal size distribution. Importantly, MieAI fully incorporates the variability in aerosol chemistry and microphysics. Our evaluation of MieAI against traditional Mie calculations, using number concentrations from ICOsahedral Nonhydrostatic model with Aerosol and Reactive Trace gases (ICON-ART) simulations, demonstrates that MieAI exhibits excellent predictive accuracy for aerosol optical properties. MieAI achieves this with errors well within 10%, and it operates more than 1000 times faster than the benchmark approach of Mie calculations. Due to its generalized nature, the MieAI approach can be implemented in any chemistry transport model which represents aerosol size distribution in the form of log-normally distributed internally mixed modes. This advancement has the potential to replace frequently employed lookup tables and play a substantial role in the ongoing attempts to reduce uncertainties in estimating aerosol radiative forcing.

categories: physics.ao-ph physics.app-ph physics.comp-ph physics.optics


title: Sustainability through Optimal Design of Buildings for Natural Ventilation using Updated Comfort and Occupancy Models

abstract: This paper explores the benefits of incorporating natural ventilation (NV) simulation into a generative process of designing residential buildings to improve energy efficiency and indoor thermal comfort. Our proposed workflow uses the Wave Function Collapse algorithm to generate a diverse set of plausible floor plans. It also includes post-COVID occupant presence models while incorporating adaptive comfort models. We conduct four sets of experiments using the workflow, and the simulated results suggest that multi-mode cooling strategies combining conventional air conditioning with NV can often significantly reduce energy use while introducing only slight reductions in thermal comfort.


title: TaCo: Targeted Concept Removal in Output Embeddings for NLP via Information Theory and Explainability

abstract: The fairness of Natural Language Processing (NLP) models has emerged as a crucial concern. Information theory indicates that to achieve fairness, a model should not be able to predict sensitive variables, such as gender, ethnicity, and age. However, information related to these variables often appears implicitly in language, posing a challenge in identifying and mitigating biases effectively. To tackle this issue, we present a novel approach that operates at the embedding level of an NLP model, independent of the specific architecture. Our method leverages insights from recent advances in XAI techniques and employs an embedding transformation to eliminate implicit information from a selected variable. By directly manipulating the embeddings in the final layer, our approach enables a seamless integration into existing models without requiring significant modifications or retraining. In evaluation, we show that the proposed post-hoc approach significantly reduces gender-related associations in NLP models while preserving the overall performance and functionality of the models. An implementation of our method is available: https://github.com/fanny-jourdan/TaCo


title: Integrating micro-learning content in traditional e-learning platforms

abstract: Lifelong learning requires appropriate solutions, especially for corporate training. Workers usually have difficulty combining training and their normal work. In this context, micro-learning emerges as a suitable solution, since it is based on breaking down new concepts into small fragments or pills of content, which can be consumed in short periods of time. The purpose of this paper is twofold. First, we offer an updated overview of the research on this training paradigm, as well as the different technologies leading to potential commercial solutions. Second, we introduce a proposal to add micro-learning content to more formal distance learning environments (traditional Learning Management Systems or LMS), with the aim of taking advantage of both learning philosophies. Our approach is based on a Service-Oriented Architecture (SOA) that is deployed in the cloud. In order to ensure the full integration of the micro-learning approach in traditional LMSs, we have used two well-known standards in the distance learning field: LTI (Learning Tools Interoperability) and LIS (Learning Information Service). The combination of these two technologies allows the exchange of data with the LMS to monitor the student's activity and results. Finally, we have collected the opinion of lectures from different countries in order to know their thoughts about the potential of this new approach in higher education, obtaining positive feedback.


title: Silicon Vertex Detector of the Belle II Experiment

abstract: The silicon vertex detector (SVD) is installed at the heart of the Belle II experiment, taking data at the high-luminosity $B$-Factory SuperKEKB since 2019. The detector has shown a stable and above-99\% hit efficiency, with a large signal-to-noise in all sensors since the beginning of data taking. Cluster position and time resolution have been measured with 2020 and 2022 data and show excellent performance and stability. The effect of radiation damage is visible, but not affecting the performance. As the luminosity increases, higher machine backgrounds are expected and the excellent hit-time information in SVD can be exploited for background rejection. In particular, we have recently developed a novel procedure to select hits by grouping them event-by-event based on their time. This new procedure allows a significant reduction of the fake rate, while preserving the tracking efficiency, and it has therefore replaced the previous cut-based procedure. We have developed a method that uses the SVD hits to estimate the track time (previously unavailable) and the collision time. It has a similar precision to the estimate based on the drift chamber but its execution time is three orders of magnitude smaller, allowing a faster online reconstruction that is crucial in a high luminosity regime. The track time is a powerful information provided to analysis that allows, together with the above-mention grouping selection, to raise the occupancy limit above that expected at nominal luminosity, leaving room for a safety factor. Finally, in June 2022 the data taking of the Belle II experiment was stopped to install a new two-layer DEPFET detector (PXD) and upgrade components of the accelerator. The whole silicon tracker (PXD+SVD) has been extracted from Belle II, the new PXD installed, the detector closed and commissioned. We briefly describe the SVD results of this upgrade.


title: On enforcing dyadic-type homogeneous binary function product constraints in MatBase

abstract: Homogeneous binary function products are often encountered in the sub-universes modeled by databases, from genealogical trees to sports, from education to healthcare, etc. Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility. The (Elementary) Mathematical Data Model provides 18 dyadic-type homogeneous binary function product constraint types. MatBase, an intelligent data and knowledge base management system prototype, allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them. This paper describes the algorithms that MatBase uses for enforcing all these 18 homogeneous binary function product constraint types, which may also be used by developers not having access to MatBase.


title: Electron-assisted manipulation of polaritonic light-matter states

abstract: Thanks to their exceptional spatial, spectral and temporal resolution, highly-coherent free-electron beams have emerged as powerful probes for material excitations, enabling their characterization even in the quantum regime. Here, we investigate strong light-matter coupling through monochromatic and modulated electron wavepackets. In particular, we consider an archetypal target, comprising a nanophotonic cavity next to a single two-level emitter. We propose a model Hamiltonian describing the coherent interaction between the passing electron beam and the hybrid photonic-excitonic target, which is constructed using macroscopic quantum electrodynamics and fully parameterized in terms of the electromagnetic Dyadic Green's function. Using this framework, we first describe electron-energy-loss and cathodoluminescence spectroscopies, and photon-induced near-field electron emission microscopy. Finally, we show the power of modulated electrons beams as quantum tools for the manipulation of polaritonic targets presenting a complex energy landscape of excitations.


title: An infinite class of quantum codes derived from duadic constacyclic codes

abstract: We present a family of quantum stabilizer codes using the structure of duadic constacyclic codes over $\mathbb{F}_4$. Within this family, quantum codes can possess varying dimensions, and their minimum distances are lower bounded by a square root bound. For each fixed dimension, this allows us to construct an infinite sequence of binary quantum codes with a growing minimum distance. Additionally, we prove that this family of quantum codes includes an infinite subclass of degenerate codes. We also introduce a technique for extending splittings of duadic constacyclic codes, providing new insights into the minimum distance and minimum odd-like weight of specific duadic constacyclic codes. Finally, we provide numerical examples of some quantum codes with short lengths within this family.


title: Grounded Question-Answering in Long Egocentric Videos

abstract: Existing approaches to video understanding, mainly designed for short videos from a third-person perspective, are limited in their applicability in certain fields, such as robotics. In this paper, we delve into open-ended question-answering (QA) in long, egocentric videos, which allows individuals or robots to inquire about their own past visual experiences. This task presents unique challenges, including the complexity of temporally grounding queries within extensive video content, the high resource demands for precise data annotation, and the inherent difficulty of evaluating open-ended answers due to their ambiguous nature. Our proposed approach tackles these challenges by (i) integrating query grounding and answering within a unified model to reduce error propagation; (ii) employing large language models for efficient and scalable data synthesis; and (iii) introducing a close-ended QA task for evaluation, to manage answer ambiguity. Extensive experiments demonstrate the effectiveness of our method, which also achieves state-of-the-art performance on the QaEgo4D and Ego4D-NLQ benchmarks. Code, data, and models are available at https://github.com/Becomebright/GroundVQA.


title: The Directed Van Kampen Theorem in Lean

abstract: Directed topology is an area of mathematics with applications in concurrency. It extends the concept of a topological space by adding a notion of directedness, which restricts how paths can evolve through a space and enables thereby a faithful representation of computation with their direction. In this paper, we present a Lean formalisation of directed spaces and a Van Kampen theorem for them. This theorem allows the calculation of the homotopy type of a space by combining local knowledge the homotopy type of subspaces. With this theorem, the reasoning about spaces can be reduced to subspaces and, by representing concurrent systems as directed spaces, we can reduce the deduction of properties of a composed system to that of subsystems. The formalisation in Lean can serve to support computer-assisted reasoning about the behaviour of concurrent systems.


title: Ramanujan Bigraphs

abstract: In their seminal paper, Lubotzky, Phillips and Sarnak (LPS) defined the notion of regular Ramanujan graphs and gave an explicit construction of infinite families of $(p+1)$-regular Ramanujan Cayley graphs, for infinitely many $p$. In this paper we extend the work of LPS and its successors to bigraphs (biregular bipartite graphs), in several aspects: we investigate the combinatorial properties of various generalizations of the notion of Ramanujan graphs, define a notion of Cayley bigraphs, and give explicit constructions of infinite families of $(p^3+1,p+1)$-regular Ramanujan Cayley bigraphs, for infinitely many $p$. Both the LPS graphs and our ones are arithmetic, arising as quotients of Bruhat-Tits trees by congruence subgroups of arithmetic lattices in a $p$-adic group, $PGL_2(\mathbb{Q}_p)$ for LPS and $PU_3(\mathbb{Q}_p)$ for us. In both cases the Ramanujan property relates to the Generalized Ramanujan Conjecture (GRC), on the respective groups. But while for $PGL_2$ the GRC holds unconditionally, this is not so in the case of $PU_3$. We find explicit cases where the GRC does and does not hold, and use this to construct arithmetic non-Ramanujan Cayley bigraphs as well, and prove that nevertheless they satisfy the Sarnak-Xue density hypothesis. On the combinatorial side, we present a pseudorandomness characterization of Ramanujan bigraphs, and a more general notion of biexpanders. We also show that the graphs we construct exhibit the cutoff phenomenon with bounded window size for the mixing time of non-backtracking random walks, either as a consequence of the Ramanujan property, or the density hypothesis. Finally, we present some other applications of our work: super golden gates for $PU_3$, Ramanujan and non-Ramanujan complexes of type $\tilde{A}_2$, optimal strong approximation for $p$-arithmetic subgroups of $PSU_3$ and vanishing of Betti numbers of Picard modular surfaces.


title: Asynchronous Distributed Optimization with Delay-free Parameters

abstract: Existing asynchronous distributed optimization algorithms often use diminishing step-sizes that cause slow practical convergence, or use fixed step-sizes that depend on and decrease with an upper bound of the delays. Not only are such delay bounds hard to obtain in advance, but they also tend to be large and rarely attained, resulting in unnecessarily slow convergence. This paper develops asynchronous versions of two distributed algorithms, Prox-DGD and DGD-ATC, for solving consensus optimization problems over undirected networks. In contrast to alternatives, our algorithms can converge to the fixed point set of their synchronous counterparts using step-sizes that are independent of the delays. We establish convergence guarantees for strongly and weakly convex problems under both partial and total asynchrony. We also show that the convergence speed of the two asynchronous methods adapts to the actual level of asynchrony rather than being constrained by the worst-case. Numerical experiments demonstrate a strong practical performance of our asynchronous algorithms.


title: Massive Star Cluster Formation I. High Star Formation Efficiency While Resolving Feedback of Individual Stars

abstract: The mode of star formation that results in the formation of globular clusters and young massive clusters is difficult to constrain through observations. We present models of massive star cluster formation using the Torch framework, which uses AMUSE to couple distinct multi-physics codes that handle star formation, stellar evolution and dynamics, radiative transfer, and magnetohydrodynamics. We upgrade Torch by implementing the N-body code PeTar, thereby enabling Torch to handle massive clusters forming from $10^6\rm\, M_\odot$ clouds with $\ge10^5$ individual stars. We present results from Torch simulations of star clusters forming from $10^4, 10^5$, and $10^6\rm M_\odot$ turbulent, spherical gas clouds (named M4, M5, M6) of radius $R=11.7$ pc. We find that star formation is highly efficient and becomes more so at higher cloud mass and surface density. For M4, M5, and M6 with initial surface densities $2.325\times 10^{1,2,3}\rm\, M_\odot\, pc^{-2}$, after a free-fall time of $t_{ff}=6.7,2.1,0.67$ Myr, we find that $\sim30\%$, 40%, and 60% of the cloud mass has formed into stars, respectively. The final integrated star formation efficiency is $32\%,\, 65\%$, and 85\% for M4, M5, and M6. Observations of nearby clusters similar to M4 have similar integrated star formation efficiencies of $\leq30\%$. The M5 and M6 models represent a different regime of cluster formation that is more appropriate for the conditions in starburst galaxies and gas-rich galaxies at high redshift, and that leads to a significantly higher efficiency of star formation. We argue that young massive clusters build up through short efficient bursts of star formation in regions that are sufficiently dense ($\ge 10^2 \rm\,M_\odot\,pc^{-2}$) and massive ($\ge10^5\rm\, M_\odot$). In such environments, the dynamical time of the cloud becomes short enough that stellar feedback cannot act quickly enough to slow star formation.


title: Trusting a Smart Contract Means Trusting Its Owners: Understanding Centralization Risk

abstract: Smart contract access control mechanisms can introduce centralization into supposedly decentralized ecosystems. In our view, such centralization is an overlooked risk of smart contracts that underlies well-known smart contract security incidents. Critically, mitigating the known vulnerability of missing permission verification by implementing authorization patterns can in turn introduce centralization. To delineate the issue, we define centralization risk and describe smart contract source code patterns for Ethereum and Algorand that can introduce it to smart contracts. We explain under which circumstances the centralization can be exploited. Finally, we discuss implications of centralization risk for different smart contract stakeholders.


title: Paradigm for finding d-electron heavy fermions: the case of Cr-doped CsFe$_2$As$_2$

abstract: We define a general strategy for finding new heavy-fermionic materials without rare-earth elements: doping a Hund metal with pronounced orbital-selective correlations towards half-filling. We argue that in general band structures a possible orbital-selective Mott transition is frustrated by inter-orbital hopping into heavy-fermion behaviour - where d-orbitals provide both the heavy and the light electrons - which is enhanced when approaching half-filling. This phase ultimately disappears due to magnetic correlations, as in a standard Doniach diagram. Experimentally we have further hole doped CsFe$_2$As$_2$, a Hund metal with 0.5 electrons/Fe away from half-filling, and obtained a heavy fermionic state with the highest Sommerfeld coefficient for Fe-pnictides to date (270 mJ/mol K$^2$), before signatures of an antiferromagnetic phase set in.


title: Stoch BiRo: Design and Control of a low cost bipedal robot

abstract: This paper introduces the Stoch BiRo, a cost-effective bipedal robot designed with a modular mechanical structure having point feet to navigate uneven and unfamiliar terrains. The robot employs proprioceptive actuation in abduction, hips, and knees, leveraging a Raspberry Pi4 for control. Overcoming computational limitations, a Learning-based Linear Policy controller manages balance and locomotion with only 3 degrees of freedom (DoF) per leg, distinct from the typical 5DoF in bipedal systems. Integrated within a modular control architecture, these controllers enable autonomous handling of unforeseen terrain disturbances without external sensors or prior environment knowledge. The robot's policies are trained and simulated using MuJoCo, transferring learned behaviors to the Stoch BiRo hardware for initial walking validations. This work highlights the Stoch BiRo's adaptability and cost-effectiveness in mechanical design, control strategies, and autonomous navigation, promising diverse applications in real-world robotics scenarios.


title: Labeling regions in deformations of graphical arrangements

abstract: Combining a variant of the Farkas lemma with the Flow Decomposition Theorem we show that the regions of any deformation of a graphical arrangement may be bijectively labeled with a set of weighted digraphs containing directed cycles of negative weight only. Bounded regions correspond to strongly connected digraphs. The study of the resulting labelings allows us to add the omitted details in Stanley's proof on the injectivity of the Stanley-Pak labeling of the regions of the extended Shi arrangement and to introduce a new labeling of the regions in the $a$-Catalan arrangement. We also point out that Athanasiadis-Linusson labelings may be used to directly count regions in a class of arrangements properly containing the extended Shi arrangement and the Fuss-Catalan arrangement.


title: Where exactly does contextualization in a PLM happen?

abstract: Pre-trained Language Models (PLMs) have shown to be consistently successful in a plethora of NLP tasks due to their ability to learn contextualized representations of words (Ethayarajh, 2019). BERT (Devlin et al., 2018), ELMo (Peters et al., 2018) and other PLMs encode word meaning via textual context, as opposed to static word embeddings, which encode all meanings of a word in a single vector representation. In this work, we present a study that aims to localize where exactly in a PLM word contextualization happens. In order to find the location of this word meaning transformation, we investigate representations of polysemous words in the basic BERT uncased 12 layer architecture (Devlin et al., 2018), a masked language model trained on an additional sentence adjacency objective, using qualitative and quantitative measures.


title: A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators

abstract: The threat of hardware Trojans (HTs) in security-critical IPs like cryptographic accelerators poses severe security risks. The HT detection methods available today mostly rely on golden models and detailed circuit specifications. Often they are specific to certain HT payload types, making pre-silicon verification difficult and leading to security gaps. We propose a novel formal verification method for HT detection in non-interfering accelerators at the Register Transfer Level (RTL), employing standard formal property checking. Our method guarantees the exhaustive detection of any sequential HT independently of its payload behavior, including physical side channels. It does not require a golden model or a functional specification of the design. The experimental results demonstrate efficient and effective detection of all sequential HTs in accelerators available on Trust-Hub, including those with complex triggers and payloads.


title: Irregular Repetition Slotted Aloha with Multipacket Detection: A Density Evolution Analysis

abstract: Irregular repetition slotted Aloha (IRSA) has shown significant advantages as a modern technique for uncoordinated random access with massive number of users due to its capability of achieving theoretically a throughput of $1$ packet per slot. When the receiver has also the multi-packet reception of multi-user (MUD) detection property, by applying successive interference cancellation, IRSA also obtains very low packet loss probabilities at low traffic loads, but is unable in general to achieve a normalized throughput close to the $1$. In this paper, we reconsider the case of IRSA with $k$-MUD receivers and derive the general density evolution equations for the non-asymptotic analysis of the packet loss rate, for arbitrary frame lengths and two variants of the first slot used for transmission. Next, using the potential function, we give new capacity bounds on the capacity of the system, showing the threshold arrival rate for zero decoding error probability. Our numerical results illustrate performance in terms of throughput and average delay for $k$-MUD IRSA with finite memory at the receiver, and also with bounded maximum delay.


title: Facilitating Digital Agriculture with Simple Databases

abstract: As an on-ramp to databases, we offer several well-structured private database templates as open source resources for agriculturalists, particularly those with modest spreadsheet skills. These farmer-oriented Air table databases use simple data-validated forms, with the look and feel of a customized app, to yield operational data that is tidy, machine- and human-readable, editable, and exportable for analysis in other software. Such data can facilitate logistics, provide contextual metadata, and improve enterprise analysis. A recorded workshop explaining how to build a database for activity records is presented. These resources may facilitate infusion of digital agriculture principles through Extension and structured educational programming.


title: Decoupling Meta-Reinforcement Learning with Gaussian Task Contexts and Skills

abstract: Offline meta-reinforcement learning (meta-RL) methods, which adapt to unseen target tasks with prior experience, are essential in robot control tasks. Current methods typically utilize task contexts and skills as prior experience, where task contexts are related to the information within each task and skills represent a set of temporally extended actions for solving subtasks. However, these methods still suffer from limited performance when adapting to unseen target tasks, mainly because the learned prior experience lacks generalization, i.e., they are unable to extract effective prior experience from meta-training tasks by exploration and learning of continuous latent spaces. We propose a framework called decoupled meta-reinforcement learning (DCMRL), which (1) contrastively restricts the learning of task contexts through pulling in similar task contexts within the same task and pushing away different task contexts of different tasks, and (2) utilizes a Gaussian quantization variational autoencoder (GQ-VAE) for clustering the Gaussian distributions of the task contexts and skills respectively, and decoupling the exploration and learning processes of their spaces. These cluster centers which serve as representative and discrete distributions of task context and skill are stored in task context codebook and skill codebook, respectively. DCMRL can acquire generalizable prior experience and achieve effective adaptation to unseen target tasks during the meta-testing phase. Experiments in the navigation and robot manipulation continuous control tasks show that DCMRL is more effective than previous meta-RL methods with more generalizable prior experience.


title: A GAN Approach for Node Embedding in Heterogeneous Graphs Using Subgraph Sampling

abstract: Our research addresses class imbalance issues in heterogeneous graphs using graph neural networks (GNNs). We propose a novel method combining the strengths of Generative Adversarial Networks (GANs) with GNNs, creating synthetic nodes and edges that effectively balance the dataset. This approach directly targets and rectifies imbalances at the data level. The proposed framework resolves issues such as neglecting graph structures during data generation and creating synthetic structures usable with GNN-based classifiers in downstream tasks. It processes node and edge information concurrently, improving edge balance through node augmentation and subgraph sampling. Additionally, our framework integrates a threshold strategy, aiding in determining optimal edge thresholds during training without time-consuming parameter adjustments. Experiments on the Amazon and Yelp Review datasets highlight the effectiveness of the framework we proposed, especially in minority node identification, where it consistently outperforms baseline models across key performance metrics, demonstrating its potential in the field.