title: DarkFed: A Data-Free Backdoor Attack in Federated Learning

abstract: Federated learning (FL) has been demonstrated to be susceptible to backdoor attacks. However, existing academic studies on FL backdoor attacks rely on a high proportion of real clients with main task-related data, which is impractical. In the context of real-world industrial scenarios, even the simplest defense suffices to defend against the state-of-the-art attack, 3DFed. A practical FL backdoor attack remains in a nascent stage of development. To bridge this gap, we present DarkFed. Initially, we emulate a series of fake clients, thereby achieving the attacker proportion typical of academic research scenarios. Given that these emulated fake clients lack genuine training data, we further propose a data-free approach to backdoor FL. Specifically, we delve into the feasibility of injecting a backdoor using a shadow dataset. Our exploration reveals that impressive attack performance can be achieved, even when there is a substantial gap between the shadow dataset and the main task dataset. This holds true even when employing synthetic data devoid of any semantic information as the shadow dataset. Subsequently, we strategically construct a series of covert backdoor updates in an optimized manner, mimicking the properties of benign updates, to evade detection by defenses. A substantial body of empirical evidence validates the tangible effectiveness of DarkFed.


title: Active RIS-Aided Massive MIMO With Imperfect CSI and Phase Noise

abstract: Active reconfigurable intelligent surface (RIS) has attracted significant attention as a recently proposed RIS architecture. Owing to its capability to amplify the incident signals, active RIS can mitigate the multiplicative fading effect inherent in the passive RIS-aided system. In this paper, we consider an active RIS-aided uplink multi-user massive multiple-input multiple-output (MIMO) system in the presence of phase noise at the active RIS. Specifically, we employ a two-timescale scheme, where the beamforming at the base station (BS) is adjusted based on the instantaneous aggregated channel state information (CSI) and the statistical CSI serves as the basis for designing the phase shifts at the active RIS, so that the feedback overhead and computational complexity can be significantly reduced. The aggregated channel composed of the cascaded and direct channels is estimated by utilizing the linear minimum mean square error (LMMSE) technique. Based on the estimated channel, we derive the analytical closed-form expression of a lower bound of the achievable rate. The power scaling laws in the active RIS-aided system are investigated based on the theoretical expressions. When the transmit power of each user is scaled down by the number of BS antennas M or reflecting elements N, we find that the thermal noise will cause the lower bound of the achievable rate to approach zero, as the number of M or N increases to infinity. Moreover, an optimization approach based on genetic algorithms (GA) is introduced to tackle the phase shift optimization problem. Numerical results reveal that the active RIS can greatly enhance the performance of the considered system under various settings.


title: Interpretable Network Visualizations: A Human-in-the-Loop Approach for Post-hoc Explainability of CNN-based Image Classification

abstract: Transparency and explainability in image classification are essential for establishing trust in machine learning models and detecting biases and errors. State-of-the-art explainability methods generate saliency maps to show where a specific class is identified, without providing a detailed explanation of the model's decision process. Striving to address such a need, we introduce a post-hoc method that explains the entire feature extraction process of a Convolutional Neural Network. These explanations include a layer-wise representation of the features the model extracts from the input. Such features are represented as saliency maps generated by clustering and merging similar feature maps, to which we associate a weight derived by generalizing Grad-CAM for the proposed methodology. To further enhance these explanations, we include a set of textual labels collected through a gamified crowdsourcing activity and processed using NLP techniques and Sentence-BERT. Finally, we show an approach to generate global explanations by aggregating labels across multiple images.


title: The number of random 2-SAT solutions is asymptotically log-normal

abstract: We prove that throughout the satisfiable phase, the logarithm of the number of satisfying assignments of a random 2-SAT formula satisfies a central limit theorem. This implies that the log of the number of satisfying assignments exhibits fluctuations of order $\sqrt n$, with $n$ the number of variables. The formula for the variance can be evaluated effectively. By contrast, for numerous other random constraint satisfaction problems the typical fluctuations of the logarithm of the number of solutions are {\em bounded} throughout all or most of the satisfiable regime.


title: Explainability for Transparent Conversational Information-Seeking

abstract: The increasing reliance on digital information necessitates advancements in conversational search systems, particularly in terms of information transparency. While prior research in conversational information-seeking has concentrated on improving retrieval techniques, the challenge remains in generating responses useful from a user perspective. This study explores different methods of explaining the responses, hypothesizing that transparency about the source of the information, system confidence, and limitations can enhance users' ability to objectively assess the response. By exploring transparency across explanation type, quality, and presentation mode, this research aims to bridge the gap between system-generated responses and responses verifiable by the user. We design a user study to answer questions concerning the impact of (1) the quality of explanations enhancing the response on its usefulness and (2) ways of presenting explanations to users. The analysis of the collected data reveals lower user ratings for noisy explanations, although these scores seem insensitive to the quality of the response. Inconclusive results on the explanations presentation format suggest that it may not be a critical factor in this setting.


title: Verification of Perrin's theory of the motion of dilute spheroidal colloids

abstract: Brownian motion is of central importance for understanding diffusive transport in biology, chemistry, and physics. For spherical particles, the theory was developed by Einstein, whereas a theoretical description of the motion of spheroids was given by F. Perrin. Here, we report the systematic verification of Perrin's theory 90 years after its publication. To this end, we synthesized oblate and prolate core-shell spheroids with different aspect ratios and tracked their three-dimensional diffusive motion in high dilution using confocal fluorescence microscopy. The experimental data for the dependence of translational and rotational diffusion on aspect ratio are in excellent agreement with the theoretical predictions. The crossover dynamics from anisotropic to isotropic diffusion as a hallmark for translation rotation coupling are also found as predicted. This verifies Perrin's theory as a cornerstone for understanding diffusive transport and underlines the excellent suitability of the particle system for testing more detailed theory.


title: Artificial Intelligence in the Autonomous Navigation of Endovascular Interventions: A Systematic Review

abstract: Purpose: Autonomous navigation of devices in endovascular interventions can decrease operation times, improve decision-making during surgery, and reduce operator radiation exposure while increasing access to treatment. This systematic review explores recent literature to assess the impact, challenges, and opportunities artificial intelligence (AI) has for the autonomous endovascular intervention navigation. Methods: PubMed and IEEEXplore databases were queried. Eligibility criteria included studies investigating the use of AI in enabling the autonomous navigation of catheters/guidewires in endovascular interventions. Following PRISMA, articles were assessed using QUADAS-2. PROSPERO: CRD42023392259. Results: Among 462 studies, fourteen met inclusion criteria. Reinforcement learning (9/14, 64%) and learning from demonstration (7/14, 50%) were used as data-driven models for autonomous navigation. Studies predominantly utilised physical phantoms (10/14, 71%) and in silico (4/14, 29%) models. Experiments within or around the blood vessels of the heart were reported by the majority of studies (10/14, 71%), while simple non-anatomical vessel platforms were used in three studies (3/14, 21%), and the porcine liver venous system in one study. We observed that risk of bias and poor generalisability were present across studies. No procedures were performed on patients in any of the studies reviewed. Studies lacked patient selection criteria, reference standards, and reproducibility, resulting in low clinical evidence levels. Conclusions: AI's potential in autonomous endovascular navigation is promising, but in an experimental proof-of-concept stage, with a technology readiness level of 3. We highlight that reference standards with well-identified performance metrics are crucial to allow for comparisons of data-driven algorithms proposed in the years to come.


title: Quantum advantage in batteries for Sachdev-Ye-Kitaev interactions

abstract: A quantum advantage can be achieved in the unitary charging of quantum batteries if their cells are interacting. Here, we try to clarify with some analytical calculations whether and how this quantum advantage is achieved for sparse Sachdev-Ye-Kitaev (SYK) interactions. By performing a simple modelization, we find that for $q$-point rescaled sparse SYK interactions the quantum advantage goes as $\Gamma\sim N^{\frac{\alpha-q}{2}+\frac{1}{2}}$ for $\alpha\geq q/2$ and $\Gamma\sim N^{\frac{1}{2}-\frac{\alpha}{2}}$ for $q/2>\alpha\geq 0$, where $\alpha$ is related to the connectivity and $N$ is the number of cells.


title: Efficient Symbolic Planning with Views

abstract: Robotic planning systems model spatial relations in detail as these are needed for manipulation tasks. In contrast to this, other physical attributes of objects and the effect of devices are usually oversimplified and expressed by abstract compound attributes. This limits the ability of planners to find alternative solutions. We propose to break these compound attributes down into a shared set of elementary attributes. This strongly facilitates generalization between different tasks and environments and thus helps to find innovative solutions. On the down-side, this generalization comes with an increased complexity of the solution space. Therefore, as the main contribution of the paper, we propose a method that splits the planning problem into a sequence of views, where in each view only an increasing subset of attributes is considered. We show that this view-based strategy offers a good compromise between planning speed and quality of the found plan, and discuss its general applicability and limitations.


title: Statistical Equivalence of Metrics for Meteor Dynamical Association

abstract: We statistically evaluate and compare four orbital similarity criteria within five-dimensional parameter space ($D_{SH}$, $D_D$, $D_H$, and $\varrho_2$) to study dynamical associations using the already classified meteors (manually by a human) in CAMS database as a benchmark. In addition, we assess various distance metrics typically used in Machine Learning with two different vectors: ORBIT, grounded in heliocentric orbital elements, and GEO, predicated on geocentric observational parameters. Additionally, we compute the optimal cut-offs for all methods for distinguishing sporadic background events. Our findings demonstrate the superior performance of the sEuclidean metric in conjunction with the GEO vector. Within the scope of D-criteria, $D_{SH}$ emerged as the preeminent metric, closely followed by $\varrho_2$. $\varrho_2$ stands out as the most equivalence to the distance metrics when utilizing the GEO vector and the most compatible with GEO and ORBIT simultaneously, whereas $D_D$ aligns more closely when using the ORBIT vector. The stark contrast in $D_D$'s behavior compared to other D-criteria highlights potential inequivalence. Geocentric features provide a more robust basis than orbital elements for meteor dynamical association. Most distance metrics associated with the GEO vector surpass the D-criteria when differentiating the meteoroid background. Accuracy displayed a dependence on solar longitude with a pronounced decrease around 180$^\circ$ matching an apparent increase in the meteoroid background activity, tentatively associated with the transition from the Perseids to the Orionids. Considering lately identified meteor showers, $\sim$27\% of meteors in CAMS would have different associations. This work unveils that Machine Learning distance metrics can rival or even exceed the performance of tailored orbital similarity criteria for meteor dynamical association.


title: On de Bruijn Rings and Families of Almost Perfect Maps

abstract: De Bruijn tori, also called perfect maps, are two-dimensional periodic arrays of letters drawn from a given finite alphabet, such that each possible pattern of a given shape $(m,n)$ appears exactly once within one period of the torus. It is still unknown if de Bruijn tori of some certain size exist, like e.g. square shaped de Bruijn Tori with odd $m=n\in\{3,5,7\}$ and an even alphabet size $k$. However, in certain applications like positional coding, sub-perfect maps are sufficient, i.e. one does not need every possible $(m,n)$-pattern to appear, as long as a sufficient large number of such patterns is captured and every pattern occurs at most once. We show, that given any $m=n$ and a square alphabet size $k^2$, one can efficiently construct a sub-perfect map which is almost perfect, i.e. of almost maximal size. We do this by introducing de Bruijn rings, i.e. sub-perfect maps of minimal height, and providing an efficient construction method for them. We extend our results to non-square torus shapes and arbitrary non-prime alphabet sizes.


title: Locally semicomplete weakly distance-regular digraphs

abstract: A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood (resp. in-neighbourhood) of any vertex induces a semicomplete digraph. In this paper, we characterize all locally semicomplete weakly distance-regular digraphs under the assumption of commutativity.


title: Federated Learning for Drowsiness Detection in Connected Vehicles

abstract: Ensuring driver readiness poses challenges, yet driver monitoring systems can assist in determining the driver's state. By observing visual cues, such systems recognize various behaviors and associate them with specific conditions. For instance, yawning or eye blinking can indicate driver drowsiness. Consequently, an abundance of distributed data is generated for driver monitoring. Employing machine learning techniques, such as driver drowsiness detection, presents a potential solution. However, transmitting the data to a central machine for model training is impractical due to the large data size and privacy concerns. Conversely, training on a single vehicle would limit the available data and likely result in inferior performance. To address these issues, we propose a federated learning framework for drowsiness detection within a vehicular network, leveraging the YawDD dataset. Our approach achieves an accuracy of 99.2%, demonstrating its promise and comparability to conventional deep learning techniques. Lastly, we show how our model scales using various number of federated clients


title: $Z$-critical equations for holomorphic vector bundles on K\"ahler surfaces

abstract: We prove that the existence of a $Z$-positive and $Z$-critical Hermitian metric on a rank 2 holomorphic vector bundle over a compact K\"ahler surface implies that the bundle is $Z$-stable. As particular cases, we obtain stability results for the deformed Hermitian Yang-Mills equation and the almost Hermite-Einstein equation for rank 2 bundles over surfaces. We show examples of $Z$-unstable bundles and $Z$-critical metrics away from the large volume limit.


title: On the normal stability of the 4-harmonic and the ES-4-harmonic hypersphere

abstract: Both 4-harmonic and ES-4-harmonic maps are two higher order generalizations of the well-studied harmonic map equation given by a nonlinear elliptic partial differential equation of order eight. Due to the large number of derivatives it is very difficult to find any difference in the qualitative behavior of these two variational problems. It is well known that the small hypersphere $\iota\colon\mathbb{S}^m(\frac{1}{\sqrt{4}})\to\mathbb{S}^{m+1}$ is a critical point of both the 4-energy as well as the ES-4-energy but up to now it has not been investigated if there is a difference concerning its stability. The main contribution of this article is to show that the small hypersphere is unstable with respect to normal variations both as 4-harmonic hypersphere as well as ES-4-harmonic hypersphere and that its normal index equals one in both cases.


title: Deep Learning-based Point Cloud Registration for Augmented Reality-guided Surgery

abstract: Point cloud registration aligns 3D point clouds using spatial transformations. It is an important task in computer vision, with applications in areas such as augmented reality (AR) and medical imaging. This work explores the intersection of two research trends: the integration of AR into image-guided surgery and the use of deep learning for point cloud registration. The main objective is to evaluate the feasibility of applying deep learning-based point cloud registration methods for image-to-patient registration in augmented reality-guided surgery. We created a dataset of point clouds from medical imaging and corresponding point clouds captured with a popular AR device, the HoloLens 2. We evaluate three well-established deep learning models in registering these data pairs. While we find that some deep learning methods show promise, we show that a conventional registration pipeline still outperforms them on our challenging dataset.


title: The period-index conjecture for abelian threefolds and Donaldson-Thomas theory

abstract: We prove the period-index conjecture for unramified Brauer classes on abelian threefolds. To do so, we develop a theory of reduced Donaldson-Thomas invariants for 3-dimensional Calabi-Yau categories, with the feature that the noncommutative variational integral Hodge conjecture holds for classes with nonvanishing invariant. The period-index result is then proved by interpreting it as the algebraicity of a Hodge class on the twisted derived category, and specializing within the Hodge locus to an untwisted abelian threefold with nonvanishing invariant. As a consequence, we also deduce the integral Hodge conjecture for generically twisted abelian threefolds.


title: Provably Unlearnable Examples

abstract: The exploitation of publicly accessible data has led to escalating concerns regarding data privacy and intellectual property (IP) breaches in the age of artificial intelligence. As a strategy to safeguard both data privacy and IP-related domain knowledge, efforts have been undertaken to render shared data unlearnable for unauthorized models in the wild. Existing methods apply empirically optimized perturbations to the data in the hope of disrupting the correlation between the inputs and the corresponding labels such that the data samples are converted into Unlearnable Examples (UEs). Nevertheless, the absence of mechanisms that can verify how robust the UEs are against unknown unauthorized models and train-time techniques engenders several problems. First, the empirically optimized perturbations may suffer from the problem of cross-model generalization, which echoes the fact that the unauthorized models are usually unknown to the defender. Second, UEs can be mitigated by train-time techniques such as data augmentation and adversarial training. Furthermore, we find that a simple recovery attack can restore the clean-task performance of the classifiers trained on UEs by slightly perturbing the learned weights. To mitigate the aforementioned problems, in this paper, we propose a mechanism for certifying the so-called $(q, \eta)$-Learnability of an unlearnable dataset via parametric smoothing. A lower certified $(q, \eta)$-Learnability indicates a more robust protection over the dataset. Finally, we try to 1) improve the tightness of certified $(q, \eta)$-Learnability and 2) design Provably Unlearnable Examples (PUEs) which have reduced $(q, \eta)$-Learnability. According to experimental results, PUEs demonstrate both decreased certified $(q, \eta)$-Learnability and enhanced empirical robustness compared to existing UEs.


title: Numerical optimization of quantum vacuum signals

abstract: The identification of prospective scenarios for observing quantum vacuum signals in high-intensity laser experiments requires both accurate theoretical predictions and the exploration of high-dimensional parameter spaces. Numerical simulations address the first requirement, while optimization provides an efficient solution for the second one. In the present work, we demonstrate the potential of Bayesian optimization in maximizing photonic quantum vacuum signals on the example of two-beam collisions. This allows us to find the optimal waist sizes for beams with elliptic cross sections, and to identify the specific physical process leading to a discernible signal in a coherent harmonic focusing configuration scenario.


title: Enhancing DETRs Variants through Improved Content Query and Similar Query Aggregation

abstract: The design of the query is crucial for the performance of DETR and its variants. Each query consists of two components: a content part and a positional one. Traditionally, the content query is initialized with a zero or learnable embedding, lacking essential content information and resulting in sub-optimal performance. In this paper, we introduce a novel plug-and-play module, Self-Adaptive Content Query (SACQ), to address this limitation. The SACQ module utilizes features from the transformer encoder to generate content queries via self-attention pooling. This allows candidate queries to adapt to the input image, resulting in a more comprehensive content prior and better focus on target objects. However, this improved concentration poses a challenge for the training process that utilizes the Hungarian matching, which selects only a single candidate and suppresses other similar ones. To overcome this, we propose a query aggregation strategy to cooperate with SACQ. It merges similar predicted candidates from different queries, easing the optimization. Our extensive experiments on the COCO dataset demonstrate the effectiveness of our proposed approaches across six different DETR's variants with multiple configurations, achieving an average improvement of over 1.0 AP.


title: Characterization of locally standard, $\mathbb{Z}$-equivariantly formal manifolds in general position

abstract: We give a characterization of locally standard, $\mathbb{Z}$-equivariantly formal manifolds in general position. In particular, we show that for dimension $2n$ at least $10$, to every such manifold with labeled GKM graph $\Gamma$ there is an equivariantly formal torus manifold such that the restriction of the $T^n$-action to a certain $T^{n-1}$-action yields the same labeled graph $\Gamma$, thus showing that the (equivariant) cohomology with $\mathbb{Z}$-coefficients of those manifolds has the same description as that of equivariantly formal torus manifolds.


title: Denoising of Geodetic Time Series Using Spatiotemporal Graph Neural Networks: Application to Slow Slip Event Extraction

abstract: Geospatial data has been transformative for the monitoring of the Earth, yet, as in the case of (geo)physical monitoring, the measurements can have variable spatial and temporal sampling and may be associated with a significant level of perturbations degrading the signal quality. Denoising geospatial data is, therefore, essential, yet often challenging because the observations may comprise noise coming from different origins, including both environmental signals and instrumental artifacts, which are spatially and temporally correlated, thus hard to disentangle. This study addresses the denoising of multivariate time series acquired by irregularly distributed networks of sensors, requiring specific methods to handle the spatiotemporal correlation of the noise and the signal of interest. Specifically, our method focuses on the denoising of geodetic position time series, used to monitor ground displacement worldwide with centimeter- to-millimeter precision. Among the signals affecting GNSS data, slow slip events (SSEs) are of interest to seismologists. These are transients of deformation that are weakly emerging compared to other signals. Here, we design SSEdenoiser, a multi-station spatiotemporal graph-based attentive denoiser that learns latent characteristics of GNSS noise to reveal SSE-related displacement with sub-millimeter precision. It is based on the key combination of graph recurrent networks and spatiotemporal Transformers. The proposed method is applied to the Cascadia subduction zone, where SSEs occur along with bursts of tectonic tremors, a seismic rumbling identified from independent seismic recordings. The extracted events match the spatiotemporal evolution of tremors. This good space-time correlation of the denoised GNSS signals with the tremors validates the proposed denoising procedure.


title: Distributed Model Checking on Graphs of Bounded Treedepth

abstract: We establish that every monadic second-order logic (MSO) formula on graphs with bounded treedepth is decidable in a constant number of rounds within the CONGEST model. To our knowledge, this marks the first meta-theorem regarding distributed model-checking. Various optimization problems on graphs are expressible in MSO. Examples include determining whether a graph $G$ has a clique of size $k$, whether it admits a coloring with $k$ colors, whether it contains a graph $H$ as a subgraph or minor, or whether terminal vertices in $G$ could be connected via vertex-disjoint paths. Our meta-theorem significantly enhances the work of Bousquet et al. [PODC 2022], which was focused on distributed certification of MSO on graphs with bounded treedepth. Moreover, our results can be extended to solving optimization and counting problems expressible in MSO, in graphs of bounded treedepth.


title: Enhancing Aeroacoustic Wind Tunnel Studies through Massive Channel Upscaling with MEMS Microphones

abstract: This paper presents a large 6~m x 3~m aperture 7200 MEMS microphone array. The array is designed so that sub-arrays with optimized point spread functions can be used for beamforming and thus, enable the research of source directivity in wind tunnel facilities. The total array consists of modular 800 microphone panels, each consisting of four unique PCB board designs. This modular architecture allows for the time-synchronized measurement of an arbitrary number of panels and thus, aperture size and total number of sensors. The panels can be installed without a gap so that the array's microphone pattern avoids high sidelobes in the point spread function. The array's capabilities are evaluated on a 1:9.5 airframe half model in an open wind tunnel at DNW-NWB. The total source emission is quantified and the directivity is evaluated with beamforming. Additional far-field microphones are employed to validate the results.


title: Distance between two manifolds, topological phase transitions and scaling laws

abstract: Topological phases are generally characterized by topological invariants denoted by integer numbers. However, different topological systems often require different topological invariants to measure, such as geometric phases, topological orders, winding numbers, etc. Moreover, geometric phases and its associated definitions usually fail at critical points. Therefore, it's challenging to predict what would occur during the transformation between two different topological phases. To address these issues, in this work, we propose a general definition based on fidelity and trace distance from quantum information theory: manifold distance. This definition does not rely on the berry connection of the manifolds but rather on the information of the two manifolds - their ground state wave functions. Thus, it can measure different topological systems (including traditional band topology models, non-Hermitian systems, and topological order models, etc.) and exhibit some universal laws during the transformation between two topological phases. Our research demonstrates that when the properties of two manifolds are identical, the distance and associated higher-order derivatives between them can smoothly transition to each other. However, for two different topological manifolds, the higher-order derivatives exhibit various divergent behaviors near the critical points. For subsequent studies, we expect the method to be generalized to real-space or non-lattice models, in order to facilitate the study of a wider range of physical platforms such as open systems and many-body localization.


title: Investigation of Galactic supernova remnants and their environment in 26.6{\deg} < l < 30.6{\deg}, $\vert b \vert \leq$ 1.25{\deg} using radio surveys

abstract: The problem of missing Galactic supernova remnants (SNRs) refers to the issue that the currently known Galactic SNRs are significantly incomplete compared to the theoretical prediction. To expand the sample of Galactic SNRs, we use GLEAM and THOR+VGPS data across four wavebands ranging from 118 to 1420 MHz to drive a spectral index map covering the region within 26.6{\deg} < l < 30.6{\deg}, $\vert b \vert \leq$ 1.25{\deg}, where numerous SNR candidates were recently found. By using the spectral index map of the sky region and detailed analysis of the spectral indices of individual sources, we confirmed four SNR candidates, namely G26.75+0.73, G27.06+0.04, G28.36+0.21, and G28.78$-$0.44, as SNRs. Additionally, we discovered an expanding molecular superbubble located in this region, discussed pulsars associated with SNR candidates, and discovered a long H$\alpha$ filament that spatially overlaps with the candidate G29.38+0.10. We suggest that the problem of missing Galactic SNRs not only arises from observation limitations, but also could be due to the low-density environments of some SNRs, and the different SN explosion properties.


title: Dark matter models with suppressed dark matter nuclei elastic cross section

abstract: We propose two generalizations of the dark photon model which predict the suppressed elastic dark matter nuclei cross section in comparison with the corresponding prediction of the dark photon model. In the first model the main difference from dark photon model is that the mixing parameter $\epsilon$ is nonlocal formfactor $\epsilon(q^2)= \frac{q^2}{\Lambda^2}V(\frac{q^2}{\Lambda^2}) $ depending on the square of the momentum transfer $q^2$. Here $V(\frac{q^2}{\Lambda^2})$ is an entire function of the growth $\rho \geq \frac{1}{2}$ and $\Lambda$ is nonlocal scale. In this model our world and dark world are described by renormalizable field theories while the communication between them is performed by nonlocal interaction. The second model is renormalizable model where besides dark photon field $A'$ additional vector boson $Z'$ interacts with $B - L$ current. The communication between our world and dark world is performed due to nonzero kinetic mixing between $Z'$ and $A'$ fields. The predictions of the models for the search for dark matter at the accelerators don't contain additional suppression factors.


title: PAFOT: A Position-Based Approach for Finding Optimal Tests of Autonomous Vehicles

abstract: Autonomous Vehicles (AVs) are prone to revolutionise the transportation industry. However, they must be thoroughly tested to avoid safety violations. Simulation testing plays a crucial role in finding safety violations of Automated Driving Systems (ADSs). This paper proposes PAFOT, a position-based approach testing framework, which generates adversarial driving scenarios to expose safety violations of ADSs. We introduce a 9-position grid which is virtually drawn around the Ego Vehicle (EV) and modify the driving behaviours of Non-Playable Characters (NPCs) to move within this grid. PAFOT utilises a single-objective genetic algorithm to search for adversarial test scenarios. We demonstrate PAFOT on a well-known high-fidelity simulator, CARLA. The experimental results show that PAFOT can effectively generate safety-critical scenarios to crash ADSs and is able to find collisions in a short simulation time. Furthermore, it outperforms other search-based testing techniques by finding more safety-critical scenarios under the same driving conditions within less effective simulation time.


title: Clustering of Disease Trajectories with Explainable Machine Learning: A Case Study on Postoperative Delirium Phenotypes

abstract: The identification of phenotypes within complex diseases or syndromes is a fundamental component of precision medicine, which aims to adapt healthcare to individual patient characteristics. Postoperative delirium (POD) is a complex neuropsychiatric condition with significant heterogeneity in its clinical manifestations and underlying pathophysiology. We hypothesize that POD comprises several distinct phenotypes, which cannot be directly observed in clinical practice. Identifying these phenotypes could enhance our understanding of POD pathogenesis and facilitate the development of targeted prevention and treatment strategies. In this paper, we propose an approach that combines supervised machine learning for personalized POD risk prediction with unsupervised clustering techniques to uncover potential POD phenotypes. We first demonstrate our approach using synthetic data, where we simulate patient cohorts with predefined phenotypes based on distinct sets of informative features. We aim to mimic any clinical disease with our synthetic data generation method. By training a predictive model and applying SHAP, we show that clustering patients in the SHAP feature importance space successfully recovers the true underlying phenotypes, outperforming clustering in the raw feature space. We then present a case study using real-world data from a cohort of elderly surgical patients. The results showcase the utility of our approach in uncovering clinically relevant subtypes of complex disorders like POD, paving the way for more precise and personalized treatment strategies.


title: Enhancing Spatiotemporal Disease Progression Models via Latent Diffusion and Prior Knowledge

abstract: In this work, we introduce Brain Latent Progression (BrLP), a novel spatiotemporal disease progression model based on latent diffusion. BrLP is designed to predict the evolution of diseases at the individual level on 3D brain MRIs. Existing deep generative models developed for this task are primarily data-driven and face challenges in learning disease progressions. BrLP addresses these challenges by incorporating prior knowledge from disease models to enhance the accuracy of predictions. To implement this, we propose to integrate an auxiliary model that infers volumetric changes in various brain regions. Additionally, we introduce Latent Average Stabilization (LAS), a novel technique to improve spatiotemporal consistency of the predicted progression. BrLP is trained and evaluated on a large dataset comprising 11,730 T1-weighted brain MRIs from 2,805 subjects, collected from three publicly available, longitudinal Alzheimer's Disease (AD) studies. In our experiments, we compare the MRI scans generated by BrLP with the actual follow-up MRIs available from the subjects, in both cross-sectional and longitudinal settings. BrLP demonstrates significant improvements over existing methods, with an increase of 22% in volumetric accuracy across AD-related brain regions and 43% in image similarity to the ground-truth scans. The ability of BrLP to generate conditioned 3D scans at the subject level, along with the novelty of integrating prior knowledge to enhance accuracy, represents a significant advancement in disease progression modeling, opening new avenues for precision medicine. The code of BrLP is available at the following link: https://github.com/LemuelPuglisi/BrLP.


title: Policy Learning for Balancing Short-Term and Long-Term Rewards

abstract: Empirical researchers and decision-makers spanning various domains frequently seek profound insights into the long-term impacts of interventions. While the significance of long-term outcomes is undeniable, an overemphasis on them may inadvertently overshadow short-term gains. Motivated by this, this paper formalizes a new framework for learning the optimal policy that effectively balances both long-term and short-term rewards, where some long-term outcomes are allowed to be missing. In particular, we first present the identifiability of both rewards under mild assumptions. Next, we deduce the semiparametric efficiency bounds, along with the consistency and asymptotic normality of their estimators. We also reveal that short-term outcomes, if associated, contribute to improving the estimator of the long-term reward. Based on the proposed estimators, we develop a principled policy learning approach and further derive the convergence rates of regret and estimation errors associated with the learned policy. Extensive experiments are conducted to validate the effectiveness of the proposed method, demonstrating its practical applicability.


title: Swarm intelligence for full Stokes dynamic imaging reconstruction of interferometric data

abstract: In very long baseline interferometry (VLBI) the combination of multiple antennas permits the synthesis of a virtual telescope with a larger diameter and consequently higher resolution than the individual antennae. Yet, due to the sparse nature of the array, recovering an image from the observed data is a challenging ill-posed inverse problem. The VLBI community is interested in not only recovering an image in total intensity from interferometric data, but also to obtain results in the polarimetric and the temporal domain. Only a few algorithms are able to work in all these domains simultaneously. In particular, the algorithms based on optimization that consider various penalty terms specific to static total intensity imaging, time-variability and polarimetry are restricted to grids the domain of the objective function. In this work we present a novel algorithm, multiobjective particle swarm optimization, that is able to recover the optimal weights without any space-gridding, and to obtain the marginal contribution of each the playing terms. To this end, we utilize multiobjective optimization together with particle swarm metaheuristics. We let the swarm of weights to converge together to the best position. We evaluate our algorithm with representative synthetic data sets focused on the instrumental configuration of the Event Horizon Telescope Collaboration and its planned successors. We successfully recover the polarimetric, static and time-dynamic signature of the ground truth movie, even with relative sparsity, and a set of realistic data corruptions. This is a novel, fast, weighting space gridding-free algorithm that successfully recovers static and dynamic polarimetric reconstructions. Compared to Regularized Maximum Likelihood methods, it avoids the need for parameter surveys, and it is not limited to the number of pixels such as recently proposed multiobjective imaging algorithms.


title: A second-generation URANS model (STRUCT$-\epsilon$) applied to a Generic Side Mirror and its Impact on Sound Generation

abstract: A generic side mirror can be approximated to the combination of a half cylinder topped with a quarter of sphere. The flow structure in the wake of the side mirror is highly transient and the turbulence plays an important role affecting aeroacoustics through pressure fluctuation. Thus, this geometry is one of the test cases object of several numerical studies in recent years to assess the aerodynamic and aeroacoustic capabilities of the turbulence models. In this context, this study presents how the second-generation URANS close STRUCT$-\epsilon$ is able to properly predict the expected stagnation, flow separation and vortex shedding phenomena. Besides, the predictive accuracy for the noise generation mechanism is evaluated by comparing the spectra of the sound pressure level measured at several static pressure sensors with the numerical results obtained with the STRUCT$-\epsilon$. The response of this turbulence model has overachieved other hybrid methods and is in good agreement with the results from Large-Eddy Simulations or the experiments. To conclude the paper, the applicability of STRUCT$-\epsilon$ to construct a Spectral Proper Orthogonal Decomposition method that helps identifying the most energetic modes to appropriately capture the dominant flow structures is also introduced.


title: Molecular dynamics simulations of neutron induced collision cascades in Zr - statistical modelling of irradiation damage and potential applications

abstract: Understanding the nature of irradiation damage often requires a multi-scale and multi-physics approach, i.e. it requires a significant amount of information from experiments, simulations and phenomenological models. This paper focuses on the initial stages of irradiation damage, namely neutron-induced displacement cascades in zirconium, as nuclear-grade zirconium alloys are widely used in fuel assemblies. We provide results of large-scale molecular dynamics (MD) simulations based on existing inter-atomic potentials and the two-temperature model to include the effect of electron-phonon coupling. Our data can be used directly in higher scale methods. Furthermore, we analysed summary statistics associated with defect production, such as the number of defects produced, their distribution and the size of clusters. As a result, we have developed a generative model of collision cascades. The model is hierarchical, as well as stochastic, i.e. it includes the variance of the considered features. This development had three main objectives: to establish a sufficient descriptor of a cascade, to develop an interpolator of data obtained from high-fidelity simulations, and to demonstrate that the statistical model of the data can generate representative distributions of primary irradiation defects. The results can be used to generate synthetic inputs for longer length- and time-scale models, as well as to build fast approximations relating dose, damage and irradiation conditions.


title: Light-VQA+: A Video Quality Assessment Model for Exposure Correction with Vision-Language Guidance

abstract: Recently, User-Generated Content (UGC) videos have gained popularity in our daily lives. However, UGC videos often suffer from poor exposure due to the limitations of photographic equipment and techniques. Therefore, Video Exposure Correction (VEC) algorithms have been proposed, Low-Light Video Enhancement (LLVE) and Over-Exposed Video Recovery (OEVR) included. Equally important to the VEC is the Video Quality Assessment (VQA). Unfortunately, almost all existing VQA models are built generally, measuring the quality of a video from a comprehensive perspective. As a result, Light-VQA, trained on LLVE-QA, is proposed for assessing LLVE. We extend the work of Light-VQA by expanding the LLVE-QA dataset into Video Exposure Correction Quality Assessment (VEC-QA) dataset with over-exposed videos and their corresponding corrected versions. In addition, we propose Light-VQA+, a VQA model specialized in assessing VEC. Light-VQA+ differs from Light-VQA mainly from the usage of the CLIP model and the vision-language guidance during the feature extraction, followed by a new module referring to the Human Visual System (HVS) for more accurate assessment. Extensive experimental results show that our model achieves the best performance against the current State-Of-The-Art (SOTA) VQA models on the VEC-QA dataset and other public datasets.


title: On the constrained feedback linearization control based on the MILP representation of a ReLU-ANN

abstract: In this work, we explore the efficacy of rectified linear unit artificial neural networks in addressing the intricate challenges of convoluted constraints arising from feedback linearization mapping. Our approach involves a comprehensive procedure, encompassing the approximation of constraints through a regression process. Subsequently, we transform these constraints into an equivalent representation of mixed-integer linear constraints, seamlessly integrating them into other stabilizing control architectures. The advantage resides in the compatibility with the linear control design and the constraint satisfaction in the model predictive control setup, even for forecasted trajectories. Simulations are provided to validate the proposed constraint reformulation.


title: Spectral properties of the resolvent difference for singularly perturbed operators

abstract: We obtain order sharp spectral estimates for the difference of resolvents of singularly perturbed elliptic operators $\mathbf{A}+\mathbf{V}_1$ and $\mathbf{A}+\mathbf{V}_2$ in a domain $\Omega\subseteq \mathbb{R}^\mathbf{N}$ with perturbations $\mathbf{V}_1, \mathbf{V}_2$ generated by $V_1\mu,V_2\mu,$ where $\mu$ is a measure singular with respect to the Lebesgue measure and satisfying two-sided or one-sided conditions of Ahlfors type, while $V_1,V_2$ are weight functions subject to some integral conditions. As an important special case, spectral estimates for the difference of resolvents of two Robin realizations of the operator $\mathbf{A}$ with different weight functions are obtained. For the case when the support of the measure is a compact Lipschitz hypersurface in $\Omega$ or, more generally, a rectifiable set of Hau{\ss}dorff dimension $d=\mathbf{N}-1$, the Weyl type asymptotics for eigenvalues is justified.


title: Fundamental role of nonlocal orders in 1D Extended Bose-Hubbard Model

abstract: Nonlocal order parameters capture the presence of correlated fluctuations between specific degrees of freedom, in otherwise disordered quantum matter. Here we provide a further example of their fundamental role, deriving the ground state phase diagram of the filling one extended Bose Hubbard model exclusively in terms of their ordering. By means of a density matrix renormalization group numerical analysis, we show that besides the (even) parity order characteristic of the Mott insulating phase, and the string order non vanishing in the Haldane insulator, the recently proposed odd parity order completes the picture, becoming nonvanishing at the transition from the normal superfluid to the paired superfluid phase. The above three nonlocal parameters capture all the distinct phases, including the density wave phase which local order is seen as the simultaneous presence of correlated fluctuations in different channels. They provide a unique tool for the experimental observation of the full phase diagram of strongly correlated quantum matter, by means of local density measurements.


title: Collision geometry in UPC dijet production

abstract: We present a comprehensive NLO pQCD study on inclusive dijet photoproduction in ultraperipheral nucleus-nucleus collisions (UPCs). Our analysis takes into account the finite size of both the photon-emitting and the target nucleus, estimated using the Wood-Saxon nuclear density profile. We show that a significant part of the measured dijets at large $z_\gamma$ in UPC Pb+Pb collisions at 5.02 TeV come from events with relatively small impact parameters of the order of a few nuclear radii, and the cross section predictions thus become sensitive to the modelling of the collision geometry and photon flux near the source nucleus. In addition, we include the modelling of electromagnetic breakup survival factor needed for a direct comparison with the experimental data and study the resolution power of this process in terms of the impact-parameter dependent nuclear parton distribution functions.


title: Quantum Algorithms for Inverse Participation Ratio Estimation in multi-qubit and multi-qudit systems

abstract: Inverse Participation Ratios (IPRs) and the related Participation Entropies quantify the spread of a quantum state over a selected basis of the Hilbert space, offering insights into the equilibrium and non-equilibrium properties of the system. In this work, we propose three quantum algorithms to estimate IPRs on multi-qubit and multi-qudit quantum devices. The first algorithm allows for the estimation of IPRs in the computational basis by single-qubit measurements, while the second one enables measurement of IPR in the eigenbasis of a selected Hamiltonian, without the knowledge about the eigenstates of the system. Next, we provide an algorithm for IPR in the computational basis for a multi-qudit system. We discuss resources required by the algorithms and benchmark them by investigating the one-axis twisting protocol, the thermalization in a deformed PXP model, and the ground state of a spin-$1$ AKLT chain in a transverse field.


title: Delayed Electron-Ion Entanglement Revealed with Zero Area Pulses

abstract: The Grobe--Eberly doublet phenomenon occurs in photoelectron distributions when the remaining ion is dressed by a field. As was recently shown, the doublet can be interpreted as a signature of quantum entanglement between photoelectrons and strongly coupled ions. However, the dressed state nature of the ion prevents detection of the entanglement by straightforward coincidence detection. Here, we find that odd (zero-area) envelopes can substantially delay the generation of entanglement, but also modify the dynamics such that the doublet transforms into unique channel-resolved photoelectron distributions. Because these distributions can be used to correlate with the internal state of the ion, our proposed scheme opens up for detection of quantum entanglement, between photoelectrons and stongly-coupled ions, without a need for quantum phase measurements.

categories: quant-ph math-ph math.MP physics.atom-ph physics.comp-ph


title: Functional Equivalence with NARS

abstract: This study explores the concept of functional equivalence within the framework of the Non-Axiomatic Reasoning System (NARS), specifically through OpenNARS for Applications (ONA). Functional equivalence allows organisms to categorize and respond to varied stimuli based on their utility rather than perceptual similarity, thus enhancing cognitive efficiency and adaptability. In this study, ONA was modified to allow the derivation of functional equivalence. This paper provides practical examples of the capability of ONA to apply learned knowledge across different functional situations, demonstrating its utility in complex problem-solving and decision-making. An extended example is included, where training of ONA aimed to learn basic human-like language abilities, using a systematic procedure in relating spoken words, objects and written words. The research carried out as part of this study extends the understanding of functional equivalence in AGI systems, and argues for its necessity for level of flexibility in learning and adapting necessary for human-level AGI.


title: Enhancing Q-Learning with Large Language Model Heuristics

abstract: Q-learning excels in learning from feedback within sequential decision-making tasks but often requires extensive sampling to achieve significant improvements. While reward shaping can enhance learning efficiency, non-potential-based methods introduce biases that affect performance, and potential-based reward shaping, though unbiased, lacks the ability to provide heuristics for state-action pairs, limiting its effectiveness in complex environments. Large language models (LLMs) can achieve zero-shot learning for simpler tasks, but they suffer from low inference speeds and occasional hallucinations. To address these challenges, we propose \textbf{LLM-guided Q-learning}, a framework that leverages LLMs as heuristics to aid in learning the Q-function for reinforcement learning. Our theoretical analysis demonstrates that this approach adapts to hallucinations, improves sample efficiency, and avoids biasing final performance. Experimental results show that our algorithm is general, robust, and capable of preventing ineffective exploration.


title: Doubly Robust Causal Effect Estimation under Networked Interference via Targeted Learning

abstract: Causal effect estimation under networked interference is an important but challenging problem. Available parametric methods are limited in their model space, while previous semiparametric methods, e.g., leveraging neural networks to fit only one single nuisance function, may still encounter misspecification problems under networked interference without appropriate assumptions on the data generation process. To mitigate bias stemming from misspecification, we propose a novel doubly robust causal effect estimator under networked interference, by adapting the targeted learning technique to the training of neural networks. Specifically, we generalize the targeted learning technique into the networked interference setting and establish the condition under which an estimator achieves double robustness. Based on the condition, we devise an end-to-end causal effect estimator by transforming the identified theoretical condition into a targeted loss. Moreover, we provide a theoretical analysis of our designed estimator, revealing a faster convergence rate compared to a single nuisance model. Extensive experimental results on two real-world networks with semisynthetic data demonstrate the effectiveness of our proposed estimators.


title: An efficient hierarchical Bayesian method for the Kuopio tomography challenge 2023

abstract: The aim of Electrical Impedance Tomography (EIT) is to determine the electrical conductivity distribution inside a domain by applying currents and measuring voltages on its boundary. Mathematically, the EIT reconstruction task can be formulated as a non-linear inverse problem. The Bayesian inverse problems framework has been applied expensively to solutions of the EIT inverse problem, in particular in the cases when the unknown conductivity is believed to be blocky. Recently, the Sparsity Promoting Iterative Alternating Sequential (PS-IAS) algorithm, originally proposed for the solution of linear inverse problems, has been adapted for the non linear case of EIT reconstruction in a computationally efficient manner. Here we introduce a hybrid version of the SP-IAS algorithms for the nonlinear EIT inverse problem, providing a detailed description of the implementation details, with a specific focus on parameters selection. The method is applied to the 2023 Kuopio Tomography Challenge dataset, with a comprehensive report of the running times for the different cases and parameter selections.


title: Molecular dynamics simulations of the defect evolution in tungsten on successive collision cascades

abstract: Molecular dynamics (MD) simulations of successive collision cascades within the same simulation domain were performed using two different inter-atomic potentials (IAP) in tungsten, one EAM based and the other a `quantum accurate' machine learning potential, SNAP. The micro-structural changes are analyzed as a function of displacements per atom (dpa) up-to irradiation dose of 3 dpa. Five simulations are carried out at primary knock-on atom (PKA) energies of 20 keV and 50 keV for observing stochastic differences in the evolution of damage. Results for the variation of the number of defects, number of defect clusters, their size and morphology distribution are compared for the two energies and two IAPs, up-to irradiation doses of 1-3 dpa. It is seen that for a given IAP, the number density of defect clusters as a function of dpa does not depend on the energy of the PKA used in the simulations implying that, like dpa, it could be a good measure of material property changes in irradiated materials. In contrast, the defect sizes depend strongly on the energy of the PKA. It is also seen that the micro-structure resulting from the EAM potential was mostly composed of <1 1 1> and <1 0 0> dislocations, while that from the SNAP potential was mostly composed of small, sessile, C15 ring like structures with a smattering of smaller <1 1 1> dislocations and very few <1 0 0> dislocations. The significant disagreement between the two IAPs with regard to defect morphology can be used for validation by comparing against the experimental results of dislocation types, density and size distributions.


title: FAIR 2.0: Extending the FAIR Guiding Principles to Address Semantic Interoperability

abstract: FAIR data presupposes their successful communication between machines and humans while preserving their meaning and reference, requiring all parties involved to share the same background knowledge. Inspired by English as a natural language, we investigate the linguistic structure that ensures reliable communication of information and draw parallels with data structures, understanding both as models of systems of interest. We conceptualize semantic interoperability as comprising terminological and propositional interoperability. The former includes ontological (i.e., same meaning) and referential (i.e., same referent/extension) interoperability and the latter schema (i.e., same data schema) and logical (i.e., same logical framework) interoperability. Since no best ontology and no best data schema exists, establishing semantic interoperability and FAIRness of data and metadata requires the provision of a comprehensive set of relevant ontological and referential entity mappings and schema crosswalks. We therefore propose appropriate additions to the FAIR Guiding Principles, leading to FAIR 2.0. Furthermore, achieving FAIRness of data requires the provision of FAIR services in addition to organizing data into FAIR Digital Objects. FAIR services include a terminology, a schema, and an operations service.


title: Population dynamics and games of variable size

abstract: This work introduces the concept of Variable Size Game Theory (VSGT), in which the number of players in a game is a strategic decision made by the players themselves. We start by discussing the main examples in game theory: dominance, coexistence, and coordination. We show that the same set of pay-offs can result in coordination-like or coexistence-like games depending on the strategic decision of each player type. We also solve an inverse problem to find a $d$-player game that reproduces the same fixation pattern of the VSGT. In the sequel, we consider a game involving prosocial and antisocial players, i.e., individuals who tend to play with large groups and small groups, respectively. In this game, a certain task should be performed, that will benefit one of the participants at the expense of the other players. We show that individuals able to gather large groups to perform the task may prevail, even if this task is costly, providing a possible scenario for the evolution of eusociality. The next example shows that different strategies regarding game size may lead to spontaneous separation of different types, a possible scenario for speciation without physical separation (sympatric speciation). In the last example, we generalize to three types of populations from the previous analysis and study compartmental epidemic models: in particular, we recast the SIRS model into the VSGT framework: Susceptibles play 2-player games, while Infectious and Removed play a 1-player game. The SIRS epidemic model is then obtained as the replicator equation of the VSGT. We finish with possible applications of VSGT to be addressed in the future.


title: Perfect codes over non-prime power alphabets: an approach based on Diophantine equations

abstract: Perfect error correcting codes allow for an optimal transmission of information while guaranteeing error correction. For this reason, proving their existence has been a classical problem in both pure mathematics and information theory. Indeed, the classification of the parameters of $e-$error correcting perfect codes over $q-$ary alphabets was a very active topic of research in the late 20th century. Consequently, all parameters of perfect $e-$error correcting codes were found if $e \ge 3$, and it was conjectured that no perfect $2-$error correcting codes exist over any $q-$ary alphabet, where $q > 3$. In the 1970s, this was proved for $q$ a prime power, for $q = 2^r3^s$ and for only $7$ other values of $q$. Almost $50$ years later, it is surprising to note that there have been no new results in this regard and the classification of $2-$error correcting codes over non-prime power alphabets remains an open problem. In this paper, we use techniques from the resolution of generalised Ramanujan--Nagell equation and from modern computational number theory to show that perfect $2-$error correcting codes do not exist for $172$ new values of $q$ which are not prime powers, substantially increasing the values of $q$ which are now classified. In addition, we prove that, for any fixed value of $q$, there can be at most finitely many perfect $2-$error correcting codes over an alphabet of size $q$.


title: Evolution of the 5G New Radio Two-Step Random Access towards 6G Unsourced MAC

abstract: This report summarizes some considerations on possible evolutions of grant-free random access in the next generation of the 3GPP wireless cellular standard. The analysis is carried out by mapping the problem to the recently-introduced unsourced multiple access channel (UMAC) setup. By doing so, the performance of existing solutions can be benchmarked with information-theoretic bounds, assessing the potential gains that can be achieved over legacy 3GPP schemes. The study focuses on the two-step random access (2SRA) protocol introduced by Release 16 of the 5G New Radio standard, investigating its applicability to support large MTC / IoT terminal populations in a grant-free fashion. The analysis shows that the existing 2SRA scheme may not succeed in providing energy-efficient support to large user populations. Modifications to the protocol are proposed that enable remarkable gains in both energy and spectral efficiency while retaining a strong resemblance to the legacy protocol.


title: Retinexmamba: Retinex-based Mamba for Low-light Image Enhancement

abstract: In the field of low-light image enhancement, both traditional Retinex methods and advanced deep learning techniques such as Retinexformer have shown distinct advantages and limitations. Traditional Retinex methods, designed to mimic the human eye's perception of brightness and color, decompose images into illumination and reflection components but struggle with noise management and detail preservation under low light conditions. Retinexformer enhances illumination estimation through traditional self-attention mechanisms, but faces challenges with insufficient interpretability and suboptimal enhancement effects. To overcome these limitations, this paper introduces the RetinexMamba architecture. RetinexMamba not only captures the physical intuitiveness of traditional Retinex methods but also integrates the deep learning framework of Retinexformer, leveraging the computational efficiency of State Space Models (SSMs) to enhance processing speed. This architecture features innovative illumination estimators and damage restorer mechanisms that maintain image quality during enhancement. Moreover, RetinexMamba replaces the IG-MSA (Illumination-Guided Multi-Head Attention) in Retinexformer with a Fused-Attention mechanism, improving the model's interpretability. Experimental evaluations on the LOL dataset show that RetinexMamba outperforms existing deep learning approaches based on Retinex theory in both quantitative and qualitative metrics, confirming its effectiveness and superiority in enhancing low-light images.


title: A Simplified Model for the Forced Libration of Icy Moons with Subsurface Oceans: Application to Enceladus and Mimas

abstract: In this work, we investigate a minimalist model capable of accurately replicating the forced librations of an icy moon with a subsurface ocean. The model holds potential to predict the presence of a subsurface ocean through analysis of longitudinal librations. We demonstrate that a two-layered model, with a prestressed icy crust and a fixed mantle cavity, can effectively model the librational behavior of icy moons. The proposed model is applied to model the longitudinal libration of Enceladus and Mimas, two medium-sized icy moons of Saturn.


title: Modality Prompts for Arbitrary Modality Salient Object Detection

abstract: This paper delves into the task of arbitrary modality salient object detection (AM SOD), aiming to detect salient objects from arbitrary modalities, eg RGB images, RGB-D images, and RGB-D-T images. A novel modality-adaptive Transformer (MAT) will be proposed to investigate two fundamental challenges of AM SOD, ie more diverse modality discrepancies caused by varying modality types that need to be processed, and dynamic fusion design caused by an uncertain number of modalities present in the inputs of multimodal fusion strategy. Specifically, inspired by prompt learning's ability of aligning the distributions of pre-trained models to the characteristic of downstream tasks by learning some prompts, MAT will first present a modality-adaptive feature extractor (MAFE) to tackle the diverse modality discrepancies by introducing a modality prompt for each modality. In the training stage, a new modality translation contractive (MTC) loss will be further designed to assist MAFE in learning those modality-distinguishable modality prompts. Accordingly, in the testing stage, MAFE can employ those learned modality prompts to adaptively adjust its feature space according to the characteristics of the input modalities, thus being able to extract discriminative unimodal features. Then, MAFE will present a channel-wise and spatial-wise fusion hybrid (CSFH) strategy to meet the demand for dynamic fusion. For that, CSFH dedicates a channel-wise dynamic fusion module (CDFM) and a novel spatial-wise dynamic fusion module (SDFM) to fuse the unimodal features from varying numbers of modalities and meanwhile effectively capture cross-modal complementary semantic and detail information, respectively. Moreover, CSFH will carefully align CDFM and SDFM to different levels of unimodal features based on their characteristics for more effective complementary information exploitation.


title: Salient Object Detection From Arbitrary Modalities

abstract: Toward desirable saliency prediction, the types and numbers of inputs for a salient object detection (SOD) algorithm may dynamically change in many real-life applications. However, existing SOD algorithms are mainly designed or trained for one particular type of inputs, failing to be generalized to other types of inputs. Consequentially, more types of SOD algorithms need to be prepared in advance for handling different types of inputs, raising huge hardware and research costs. Differently, in this paper, we propose a new type of SOD task, termed Arbitrary Modality SOD (AM SOD). The most prominent characteristics of AM SOD are that the modality types and modality numbers will be arbitrary or dynamically changed. The former means that the inputs to the AM SOD algorithm may be arbitrary modalities such as RGB, depths, or even any combination of them. While, the latter indicates that the inputs may have arbitrary modality numbers as the input type is changed, e.g. single-modality RGB image, dual-modality RGB-Depth (RGB-D) images or triple-modality RGB-Depth-Thermal (RGB-D-T) images. Accordingly, a preliminary solution to the above challenges, \i.e. a modality switch network (MSN), is proposed in this paper. In particular, a modality switch feature extractor (MSFE) is first designed to extract discriminative features from each modality effectively by introducing some modality indicators, which will generate some weights for modality switching. Subsequently, a dynamic fusion module (DFM) is proposed to adaptively fuse features from a variable number of modalities based on a novel Transformer structure. Finally, a new dataset, named AM-XD, is constructed to facilitate research on AM SOD. Extensive experiments demonstrate that our AM SOD method can effectively cope with changes in the type and number of input modalities for robust salient object detection.


title: Markov Chain-based Optimization Time Analysis of Bivalent Ant Colony Optimization for Sorting and LeadingOnes

abstract: So far, only few bounds on the runtime behavior of Ant Colony Optimization (ACO) have been reported. To alleviate this situation, we investigate the ACO variant we call Bivalent ACO (BACO) that uses exactly two pheromone values. We provide and successfully apply a new Markov chain-based approach to calculate the expected optimization time, i. e., the expected number of iterations until the algorithm terminates. This approach allows to derive exact formulae for the expected optimization time for the problems Sorting and LeadingOnes. It turns out that the ratio of the two pheromone values significantly governs the runtime behavior of BACO. To the best of our knowledge, for the first time, we can present tight bounds for Sorting ($\Theta(n^3)$) with a specifically chosen objective function and prove the missing lower bound $\Omega(n^2)$ for LeadingOnes which, thus, is tightly bounded by $\Theta(n^2)$. We show that despite we have a drastically simplified ant algorithm with respect to the influence of the pheromones on the solving process, known bounds on the expected optimization time for the problems OneMax ($O(n\log n)$) and LeadingOnes ($O(n^2)$) can be re-produced as a by-product of our approach. Experiments validate our theoretical findings.


title: VACO: a Multi-perspective Development of a Therapeutic and Motivational Virtual Robotic Agent for Concentration for children with ADHD

abstract: In this work, we present (i) a novel approach how artificial intelligence can support in the therapy for better concentration of children with Attention Deficit Hyperactivity Disorder (ADHD) through motivational attention training with a virtual robotic agent and (ii) a development process in which different stakeholders are included with their perspectives. Therefore, we present three participative approaches to include the perspectives of different stakeholders. An online survey (Study I) was conducted with parents in Germany with the aim of ascertaining whether they would use software to promote their children's attention, what influences their attitude towards using it, and what requirements it would have to meet. About half of the parents would be willing to use software to promote attention. To develop the software as close to practice as possible, one of the developers took part in an intensive training for ADHD with the aim of testing which of the elements are technically feasible. Afterward, a first prototype was presented to clinicians (Study II) to make further adjustments. A first feasibility test (Study III) was conducted with the end users to check if the system works and if children and adolescents can use it. Attentional performance software offers multiple opportunities in the treatment of ADHD if the system is adapted to the needs of the practitioner and end user. This development process requires a lot of time and close interdisciplinary collaboration.


title: A Generalization Theory of Cross-Modality Distillation with Contrastive Learning

abstract: Cross-modality distillation arises as an important topic for data modalities containing limited knowledge such as depth maps and high-quality sketches. Such techniques are of great importance, especially for memory and privacy-restricted scenarios where labeled training data is generally unavailable. To solve the problem, existing label-free methods leverage a few pairwise unlabeled data to distill the knowledge by aligning features or statistics between the source and target modalities. For instance, one typically aims to minimize the L2 distance or contrastive loss between the learned features of pairs of samples in the source (e.g. image) and the target (e.g. sketch) modalities. However, most algorithms in this domain only focus on the experimental results but lack theoretical insight. To bridge the gap between the theory and practical method of cross-modality distillation, we first formulate a general framework of cross-modality contrastive distillation (CMCD), built upon contrastive learning that leverages both positive and negative correspondence, towards a better distillation of generalizable features. Furthermore, we establish a thorough convergence analysis that reveals that the distance between source and target modalities significantly impacts the test error on downstream tasks within the target modality which is also validated by the empirical results. Extensive experimental results show that our algorithm outperforms existing algorithms consistently by a margin of 2-3\% across diverse modalities and tasks, covering modalities of image, sketch, depth map, and audio and tasks of recognition and segmentation.


title: An Overview of Intelligent Meta-surfaces for 6G and Beyond: Opportunities, Trends, and Challenges

abstract: With the impending arrival of the sixth generation (6G) of wireless communication technology, the telecommunications landscape is poised for another revolutionary transformation. At the forefront of this evolution are intelligent meta-surfaces (IS), emerging as a disruptive physical layer technology with the potential to redefine the capabilities and performance metrics of future wireless networks. As 6G evolves from concept to reality, industry stakeholders, standards organizations, and regulatory bodies are collaborating to define the specifications, protocols, and interoperability standards governing IS deployment. Against this background, this article delves into the ongoing standardization efforts, emerging trends, potential opportunities, and prevailing challenges surrounding the integration of IS into the framework of 6G and beyond networks. Specifically, it provides a tutorial-style overview of recent advancements in IS and explores their potential applications within future networks beyond 6G. Additionally, the article identifies key challenges in the design and implementation of various types of intelligent surfaces, along with considerations for their practical standardization. Finally, it highlights potential future prospects in this evolving field.


title: A Game Theoretic Analysis of Validator Strategies in Ethereum 2.0

abstract: Ethereum 2.0 is the second-largest cryptocurrency by market capitalization and a widely used smart contract platform. Therefore, examining the reliability of Ethereum 2.0's incentive mechanism is crucial, particularly its effectiveness in encouraging validators to adhere to the Ethereum 2.0's protocol. This paper studies the incentive mechanism of Ethereum 2.0 and evaluates its robustness by analyzing the interaction between block proposers and attesters in a single slot. To this end, we use Bayesian games to model the strategies of block proposers and attesters and calculate their expected utilities. Our results demonstrate that the Ethereum 2.0 incentive mechanism is incentive-compatible and promotes cooperation among validators. We prove that a Bayesian Nash equilibrium and an ex ante dominant strategy exist between the block proposer and attesters in a single slot. Our research provides a solid foundation for further analysis of Ethereum 2.0's incentive mechanism and insights for individuals considering participation as a validator in Ethereum 2.0.


title: Pinching Tactile Display: A Cloth that Changes Tactile Sensation by Electrostatic Adsorption

abstract: Haptic displays play an important role in enhancing the sense of presence in VR and telepresence. Displaying the tactile properties of fabrics has potential in the fashion industry, but there are difficulties in dynamically displaying different types of tactile sensations while maintaining their flexible properties. The vibrotactile stimulation of fabrics is an important element in the tactile properties of fabrics, as it greatly affects the way a garment feels when rubbed against the skin. To dynamically change the vibrotactile stimuli, many studies have used mechanical actuators. However, when combined with fabric, the soft properties of the fabric are compromised by the stiffness of the actuator. In addition, because the vibration generated by such actuators is applied to a single point, it is not possible to provide a uniform tactile sensation over the entire surface of the fabric, resulting in an uneven tactile sensation. In this study, we propose a Pinching Tactile Display: a conductive cloth that changes the tactile sensation by controlling electrostatic adsorption. By controlling the voltage and frequency applied to the conductive cloth, different tactile sensations can be dynamically generated. This makes it possible to create a tactile device in which tactile sensations are applied to the entire fabric while maintaining the thin and soft characteristics of the fabric. As a result, users could experiment with tactile sensations by picking up and rubbing the fabric in the same way they normally touch it. This mechanism has the potential for dynamic tactile transformation of soft materials.


title: MedDoc-Bot: A Chat Tool for Comparative Analysis of Large Language Models in the Context of the Pediatric Hypertension Guideline

abstract: This research focuses on evaluating the non-commercial open-source large language models (LLMs) Meditron, MedAlpaca, Mistral, and Llama-2 for their efficacy in interpreting medical guidelines saved in PDF format. As a specific test scenario, we applied these models to the guidelines for hypertension in children and adolescents provided by the European Society of Cardiology (ESC). Leveraging Streamlit, a Python library, we developed a user-friendly medical document chatbot tool (MedDoc-Bot). This tool enables authorized users to upload PDF files and pose questions, generating interpretive responses from four locally stored LLMs. A pediatric expert provides a benchmark for evaluation by formulating questions and responses extracted from the ESC guidelines. The expert rates the model-generated responses based on their fidelity and relevance. Additionally, we evaluated the METEOR and chrF metric scores to assess the similarity of model responses to reference answers. Our study found that Llama-2 and Mistral performed well in metrics evaluation. However, Llama-2 was slower when dealing with text and tabular data. In our human evaluation, we observed that responses created by Mistral, Meditron, and Llama-2 exhibited reasonable fidelity and relevance. This study provides valuable insights into the strengths and limitations of LLMs for future developments in medical document interpretation. Open-Source Code: https://github.com/yaseen28/MedDoc-Bot


title: Embedded Distributed Inference of Deep Neural Networks: A Systematic Review

abstract: Embedded distributed inference of Neural Networks has emerged as a promising approach for deploying machine-learning models on resource-constrained devices in an efficient and scalable manner. The inference task is distributed across a network of embedded devices, with each device contributing to the overall computation by performing a portion of the workload. In some cases, more powerful devices such as edge or cloud servers can be part of the system to be responsible of the most demanding layers of the network. As the demand for intelligent systems and the complexity of the deployed neural network models increases, this approach is becoming more relevant in a variety of applications such as robotics, autonomous vehicles, smart cities, Industry 4.0 and smart health. We present a systematic review of papers published during the last six years which describe techniques and methods to distribute Neural Networks across these kind of systems. We provide an overview of the current state-of-the-art by analysing more than 100 papers, present a new taxonomy to characterize them, and discuss trends and challenges in the field.


title: Secure Semantic Communication over Wiretap Channel

abstract: Semantic communication is an emerging feature for future networks like 6G, which emphasizes the meaning of the message in contrast to the traditional approach where the meaning of the message is irrelevant. Yet, the open nature of a wireless channel poses security risks for semantic communications. In this paper, we derive information-theoretic limits for the secure transmission of semantic source over wiretap channel. Under separate equivocation and distortion conditions for semantics and observed data, we present the general outer and inner bounds on the rate-distortion-equivocation region. We also reduce the general region to a case of Gaussian source and channel and provide numerical evaluations.


title: Exploring anisotropic pressure and spatial correlations in strongly confined hard-disk fluids. Exact results

abstract: This study examines the transverse and longitudinal properties of hard disks confined in narrow channels. We employ an exact mapping of the system onto a one-dimensional polydisperse, nonadditive mixture of hard rods with equal chemical potentials. We compute various thermodynamic properties, including the transverse and longitudinal equations of state, along with their behaviors at both low and high densities. Structural properties are analyzed using the two-body correlation function and the radial distribution function, tailored for the highly anisotropic geometry of this system. The results are corroborated by computer simulations.


title: Telextiles: End-to-end Remote Transmission of Fabric Tactile Sensation

abstract: The tactile sensation of textiles is critical in determining the comfort of clothing. For remote use, such as online shopping, users cannot physically touch the textile of clothes, making it difficult to evaluate its tactile sensation. Tactile sensing and actuation devices are required to transmit the tactile sensation of textiles. The sensing device needs to recognize different garments, even with hand-held sensors. In addition, the existing actuation device can only present a limited number of known patterns and cannot transmit unknown tactile sensations of textiles. To address these issues, we propose Telextiles, an interface that can remotely transmit tactile sensations of textiles by creating a latent space that reflects the proximity of textiles through contrastive self-supervised learning. We confirm that textiles with similar tactile features are located close to each other in the latent space through a two-dimensional plot. We then compress the latent features for known textile samples into the 1D distance and apply the 16 textile samples to the rollers in the order of the distance. The roller is rotated to select the textile with the closest feature if an unknown textile is detected.


title: Equivariant Tannaka-Krein reconstruction and quantum automorphism groups of discrete structures

abstract: We define quantum automorphism groups of a wide range of discrete structures. The central tool for their construction is a generalisation of the Tannaka-Krein reconstruction theorem. For any direct sum of matrix algebras $M$, and any concrete unitary 2-category of finite type Hilbert-$M$-bimodules $\mathcal{C}$, under reasonable conditions, we construct an algebraic quantum group $\mathbb{G}$ which acts on $M$ by $\alpha$, such that the category of $\alpha$-equivariant corepresentations of $\mathbb{G}$ on finite type Hilbert-$M$-bimodules is equivalent to $\mathcal{C}$. Moreover, we explicitly describe how to get such categories from connected locally finite discrete structures. As an example, we define the quantum automorphism group of a quantum Cayley graph.


title: Jet Collimation and Acceleration in the Flat Spectrum Radio Quasar 1928+738

abstract: Using time-resolved multifrequency Very Long Baseline Array data and new KaVA (KVN and VERA Array) observations, we study the structure and kinematics of the jet of the flat spectrum radio quasar (FSRQ) 1928+738. We find two distinct jet geometries as function of distance from the central black hole, with the inner jet having a parabolic shape, indicating collimation, and the outer jet having a conical shape, indicating free expansion of the jet plasma. Jet component speeds display a gradual outward acceleration up to a bulk Lorentz factor $\Gamma_{\rm max} \approx10$, followed by a deceleration further downstream. The location of the acceleration zone matches the region where the jet collimation occurs; this is the first direct observation of an acceleration and collimation zone (ACZ) in an FSRQ. The ACZ terminates approximately at a distance of 5.6$\times 10^6$ gravitational radii, which is in good agreement with the sphere of gravitational influence of the supermassive black hole, implying that the physical extent of the ACZ is controlled by the black hole gravity. Our results suggest that confinement by an external medium is responsible for the jet collimation and that the jet is accelerated by converting Poynting flux energy to kinetic energy.


title: Feynman's "Simulating Physics with Computers"

abstract: This invited essay belongs to a series considering highly influential articles published by the International Journal of Theoretical Physics. In this paper, we highlight the physical content and the profound consequences of Richard Feynman's 1982 paper on "Simulating Physics with Computers".


title: On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus

abstract: Bachmair's and Ganzinger's abstract redundancy concept for the Superposition Calculus justifies almost all operations that are used in superposition provers to delete or simplify clauses, and thus to keep the clause set manageable. Typical examples are tautology deletion, subsumption deletion, and demodulation, and with a more refined definition of redundancy joinability and connectedness can be covered as well. The notable exception is Destructive Equality Resolution, that is, the replacement of a clause $x \not\approx t \lor C$ with $x \notin \mathrm{vars}(t)$ by $C\{x \mapsto t\}$. This operation is implemented in state-of-the-art provers, and it is clearly useful in practice, but little is known about how it affects refutational completeness. We demonstrate on the one hand that the naive addition of Destructive Equality Resolution to the standard abstract redundancy concept renders the calculus refutationally incomplete. On the other hand, we present several restricted variants of the Superposition Calculus that are refutationally complete even with Destructive Equality Resolution.


title: Updating neutrino mass constraints with Background measurements

abstract: Low-redshift probes, such as Baryon Acoustic Oscillations (BAO) and Supernovae Ia luminosity distances, have been shown to be crucial for improving the bounds on the total neutrino mass from cosmological observations, due to their ability to break degeneracies among the different parameters. Here, we expand background observations to include $H(z)$ measurements from cosmic chronometers, distance moduli from Gamma Ray Bursts (GRBs), and angular diameter distances from galaxy clusters. For the very first time, we find neutrino mass limits below the minimal expectations from neutrino oscillation probes, suggesting non-standard neutrino and/or cosmological scenarios. The tightening of the neutrino mass bound is due to the slightly higher value of the Hubble constant $H_0$ preferred by the former three background probes, and also due to the improved errors on $H_0$ and the matter mass-energy density $\Omega_{\rm m}$. All values of $H_0$ are however in agreement at the $1-2\sigma$ level. Interestingly, it is not only the combination of the three background probes that is responsible for the $\sum m_\nu <0.06$~eV limits, but also each of them independently. The tightest bound we find here is $\sum m_\nu<0.043$~eV at $2\sigma$ after combining Cosmic Microwave Background Planck data with DESI BAO, Supernovae Ia, GRBs, cosmic chronometers, and galaxy clusters, showing a clear tension between neutrino oscillation results and cosmological analyses. In general, removing either one of the two background probes still provides a limit $\sum m_\nu \lesssim 0.06$~eV, reassuring the enormous potential of these low-redshift observations in constraining the neutrino mass.


title: Speckle pattern analysis of PVK:rGO composite based memristor device

abstract: The memristors are expected to be fundamental devices for neuromorphic systems and switching applications. For example, the device made of a sandwiched layer of poly(N-vinylcarbazole) and reduced graphene composite between asymmetric electrodes (ITO/PVK:rGO/Al) exhibits bistable resistive switching behavior. Depending on the resistance state of the (ON-state or OFF-state) at a constant applied voltage, it may show two different resistivities. The performance of the memristor can be optimized by controlling the doping amount of graphene oxide in the PVK polymer. To assess the performance of the device, when it switches between ON and OFF states, optical characterization approaches are highly promising due to their non-destructive and remote nature. Here, we characterize the memristor device by the use of speckle pattern (SP) analysis. The speckle pattern is the interference of multiple light waves with random relative phases, which is generated via different mechanisms such as scattering from diffusive materials. Therefore, SPs can be used to investigate such samples as they include a huge amount of information to be statistically elaborated. The experimental paradigm includes \textit{in situ} acquisition of SPs of the PVK:rGO in different states followed by statistical post-processing toward examining its conduction mechanism. The variations in these statistical parameters are attributed to the resistance state of the PVK:rGO samples under the applied voltage with regard to the physical switching mechanism of the device. The resistance/conduction state, in turn, depends on the activity and properties of PVK:rGO memristors as well as the additional non-uniformities induced through the variations of density of carriers. The present optical methodology can be potentially served as a bench-top device for characterization purposes of similar devices while they are operating.


title: AntiFold: Improved antibody structure-based design using inverse folding

abstract: The design and optimization of antibodies requires an intricate balance across multiple properties. Protein inverse folding models, capable of generating diverse sequences folding into the same structure, are promising tools for maintaining structural integrity during antibody design. Here, we present AntiFold, an antibody-specific inverse folding model, fine-tuned from ESM-IF1 on solved and predicted antibody structures. AntiFold outperforms existing inverse folding tools on sequence recovery across complementarity-determining regions, with designed sequences showing high structural similarity to their solved counterpart. It additionally achieves stronger correlations when predicting antibody-antigen binding affinity in a zero-shot manner, while performance is augmented further when including antigen information. AntiFold assigns low probabilities to mutations that disrupt antigen binding, synergizing with protein language model residue probabilities, and demonstrates promise for guiding antibody optimization while retaining structure-related properties. AntiFold is freely available under the BSD 3-Clause as a web server at https://opig.stats.ox.ac.uk/webapps/antifold/ and and pip installable package at https://github.com/oxpig/AntiFold


title: Explainable Fake News Detection With Large Language Model via Defense Among Competing Wisdom

abstract: Most fake news detection methods learn latent feature representations based on neural networks, which makes them black boxes to classify a piece of news without giving any justification. Existing explainable systems generate veracity justifications from investigative journalism, which suffer from debunking delayed and low efficiency. Recent studies simply assume that the justification is equivalent to the majority opinions expressed in the wisdom of crowds. However, the opinions typically contain some inaccurate or biased information since the wisdom of crowds is uncensored. To detect fake news from a sea of diverse, crowded and even competing narratives, in this paper, we propose a novel defense-based explainable fake news detection framework. Specifically, we first propose an evidence extraction module to split the wisdom of crowds into two competing parties and respectively detect salient evidences. To gain concise insights from evidences, we then design a prompt-based module that utilizes a large language model to generate justifications by inferring reasons towards two possible veracities. Finally, we propose a defense-based inference module to determine veracity via modeling the defense among these justifications. Extensive experiments conducted on two real-world benchmarks demonstrate that our proposed method outperforms state-of-the-art baselines in terms of fake news detection and provides high-quality justifications.


title: Snake Learning: A Communication- and Computation-Efficient Distributed Learning Framework for 6G

abstract: In the evolution towards 6G, integrating Artificial Intelligence (AI) with advanced network infrastructure emerges as a pivotal strategy for enhancing network intelligence and resource utilization. Existing distributed learning frameworks like Federated Learning and Split Learning often struggle with significant challenges in dynamic network environments including high synchronization demands, costly communication overheads, severe computing resource consumption, and data heterogeneity across network nodes. These obstacles hinder the applications of ubiquitous computing capabilities of 6G networks, especially in light of the trend of escalating model parameters and training data volumes. To address these challenges effectively, this paper introduces "Snake Learning", a cost-effective distributed learning framework. Specifically, Snake Learning respects the heterogeneity of inter-node computing capability and local data distribution in 6G networks, and sequentially trains the designated part of model layers on individual nodes. This layer-by-layer serpentine update mechanism contributes to significantly reducing the requirements for storage, memory and communication during the model training phase, and demonstrates superior adaptability and efficiency for both Computer Vision (CV) training and Large Language Model (LLM) fine-tuning tasks across homogeneous and heterogeneous data distributions.


title: Knowledge-aware Text-Image Retrieval for Remote Sensing Images

abstract: Image-based retrieval in large Earth observation archives is challenging because one needs to navigate across thousands of candidate matches only with the query image as a guide. By using text as information supporting the visual query, the retrieval system gains in usability, but at the same time faces difficulties due to the diversity of visual signals that cannot be summarized by a short caption only. For this reason, as a matching-based task, cross-modal text-image retrieval often suffers from information asymmetry between texts and images. To address this challenge, we propose a Knowledge-aware Text-Image Retrieval (KTIR) method for remote sensing images. By mining relevant information from an external knowledge graph, KTIR enriches the text scope available in the search query and alleviates the information gaps between texts and images for better matching. Moreover, by integrating domain-specific knowledge, KTIR also enhances the adaptation of pre-trained vision-language models to remote sensing applications. Experimental results on three commonly used remote sensing text-image retrieval benchmarks show that the proposed knowledge-aware method leads to varied and consistent retrievals, outperforming state-of-the-art retrieval methods.


title: Olfactory search

abstract: The task of olfactory search is ubiquitous in nature and in technology, from animals in the quest of food or of a mating partner, to robots searching for the source of hazardous fumes in a chemical plant. Here, we focus on the algorithmic approach to this task: we systematically review the different olfactory search strategies. Special emphasis is given to the formal description as a Partially Observable Markov Decision Processes, which allows the computation of optimal actions and helps clarifying the relationships between several effective heuristic search strategies.