title: FouriScale: A Frequency Perspective on Training-Free High-Resolution Image Synthesis

abstract: In this study, we delve into the generation of high-resolution images from pre-trained diffusion models, addressing persistent challenges, such as repetitive patterns and structural distortions, that emerge when models are applied beyond their trained resolutions. To address this issue, we introduce an innovative, training-free approach FouriScale from the perspective of frequency domain analysis. We replace the original convolutional layers in pre-trained diffusion models by incorporating a dilation technique along with a low-pass operation, intending to achieve structural consistency and scale consistency across resolutions, respectively. Further enhanced by a padding-then-crop strategy, our method can flexibly handle text-to-image generation of various aspect ratios. By using the FouriScale as guidance, our method successfully balances the structural integrity and fidelity of generated images, achieving an astonishing capacity of arbitrary-size, high-resolution, and high-quality generation. With its simplicity and compatibility, our method can provide valuable insights for future explorations into the synthesis of ultra-high-resolution images. The code will be released at https://github.com/LeonHLJ/FouriScale.


title: Negative Yields Positive: Unified Dual-Path Adapter for Vision-Language Models

abstract: Recently, large-scale pre-trained Vision-Language Models (VLMs) have demonstrated great potential in learning open-world visual representations, and exhibit remarkable performance across a wide range of downstream tasks through efficient fine-tuning. In this work, we innovatively introduce the concept of dual learning into fine-tuning VLMs, i.e., we not only learn what an image is, but also what an image isn't. Building on this concept, we introduce a novel DualAdapter approach to enable dual-path adaptation of VLMs from both positive and negative perspectives with only limited annotated samples. In the inference stage, our DualAdapter performs unified predictions by simultaneously conducting complementary positive selection and negative exclusion across target classes, thereby enhancing the overall recognition accuracy of VLMs in downstream tasks. Our extensive experimental results across 15 datasets validate that the proposed DualAdapter outperforms existing state-of-the-art methods on both few-shot learning and domain generalization tasks while achieving competitive computational efficiency. Code is available at https://github.com/zhangce01/DualAdapter.


title: Wear-Any-Way: Manipulable Virtual Try-on via Sparse Correspondence Alignment

abstract: This paper introduces a novel framework for virtual try-on, termed Wear-Any-Way. Different from previous methods, Wear-Any-Way is a customizable solution. Besides generating high-fidelity results, our method supports users to precisely manipulate the wearing style. To achieve this goal, we first construct a strong pipeline for standard virtual try-on, supporting single/multiple garment try-on and model-to-model settings in complicated scenarios. To make it manipulable, we propose sparse correspondence alignment which involves point-based control to guide the generation for specific locations. With this design, Wear-Any-Way gets state-of-the-art performance for the standard setting and provides a novel interaction form for customizing the wearing style. For instance, it supports users to drag the sleeve to make it rolled up, drag the coat to make it open, and utilize clicks to control the style of tuck, etc. Wear-Any-Way enables more liberated and flexible expressions of the attires, holding profound implications in the fashion industry.


title: Chain-of-Spot: Interactive Reasoning Improves Large Vision-Language Models

abstract: In the realm of vision-language understanding, the proficiency of models in interpreting and reasoning over visual content has become a cornerstone for numerous applications. However, it is challenging for the visual encoder in Large Vision-Language Models (LVLMs) to extract useful features tailored to questions that aid the language model's response. Furthermore, a common practice among existing LVLMs is to utilize lower-resolution images, which restricts the ability for visual recognition. Our work introduces the Chain-of-Spot (CoS) method, which we describe as Interactive Reasoning, a novel approach that enhances feature extraction by focusing on key regions of interest (ROI) within the image, corresponding to the posed questions or instructions. This technique allows LVLMs to access more detailed visual information without altering the original image resolution, thereby offering multi-granularity image features. By integrating Chain-of-Spot with instruct-following LLaVA-1.5 models, the process of image reasoning consistently improves performance across a wide range of multimodal datasets and benchmarks without bells and whistles and achieves new state-of-the-art results. Our empirical findings demonstrate a significant improvement in LVLMs' ability to understand and reason about visual content, paving the way for more sophisticated visual instruction-following applications. Code and models are available at https://github.com/dongyh20/Chain-of-Spot


title: The FLAMINGO project: the coupling between baryonic feedback and cosmology in light of the $S_8$ tension

abstract: Large-scale structure surveys have reported measurements of the density of matter, $\Omega_\mathrm{m}$, and the amplitude of clustering, $\sigma_8$, that are in tension with the values inferred from observations of the cosmic microwave background. While this may be a sign of new physics that slows the growth of structure at late times, strong astrophysical feedback processes could also be responsible. In this work, we argue that astrophysical processes are not independent of cosmology and that their coupling naturally leads to stronger baryonic feedback in cosmological models with suppressed structure formation or when combined with a mechanism that removes dark matter from halos. We illustrate this with two well-motivated extensions of the Standard Model known to suppress structure formation: massive neutrinos and decaying dark matter. Our results, based on the FLAMINGO suite of hydrodynamical simulations, show that the combined effect of baryonic and non-baryonic suppression mechanisms is greater than the sum of its parts, particularly for decaying dark matter. We also show that the dependence of baryonic feedback on cosmology can be modelled as a function of the ratio $f_\mathrm{b}/c^2_\mathrm{v}\sim f_\mathrm{b}/(\Omega_\mathrm{m}\sigma_8)^{1/4}$ of the universal baryon fraction, $f_\mathrm{b}$, to a velocity-based definition of halo concentration, $c^2_\mathrm{v}$, giving an accurate fitting formula for the baryonic suppression of the matter power spectrum. Although the combination of baryonic and non-baryonic suppression mechanisms can resolve the tension, the models with neutrinos and decaying dark matter are challenged by constraints on the expansion history.


title: LLMLingua-2: Data Distillation for Efficient and Faithful Task-Agnostic Prompt Compression

abstract: This paper focuses on task-agnostic prompt compression for better generalizability and efficiency. Considering the redundancy in natural language, existing approaches compress prompts by removing tokens or lexical units according to their information entropy obtained from a causal language model such as LLaMa-7B. The challenge is that information entropy may be a suboptimal compression metric: (i) it only leverages unidirectional context and may fail to capture all essential information needed for prompt compression; (ii) it is not aligned with the prompt compression objective. To address these issues, we propose a data distillation procedure to derive knowledge from an LLM to compress prompts without losing crucial information, and meantime, introduce an extractive text compression dataset. We formulate prompt compression as a token classification problem to guarantee the faithfulness of the compressed prompt to the original one, and use a Transformer encoder as the base architecture to capture all essential information for prompt compression from the full bidirectional context. Our approach leads to lower latency by explicitly learning the compression objective with smaller models such as XLM-RoBERTa-large and mBERT. We evaluate our method on both in-domain and out-of-domain datasets, including MeetingBank, LongBench, ZeroScrolls, GSM8K, and BBH. Despite its small size, our model shows significant performance gains over strong baselines and demonstrates robust generalization ability across different LLMs. Additionally, our model is 3x-6x faster than existing prompt compression methods, while accelerating the end-to-end latency by 1.6x-2.9x with compression ratios of 2x-5x.


title: Entangling Machine Learning with Quantum Tensor Networks

abstract: This paper examines the use of tensor networks, which can efficiently represent high-dimensional quantum states, in language modeling. It is a distillation and continuation of the work done in (van der Poel, 2023). To do so, we will abstract the problem down to modeling Motzkin spin chains, which exhibit long-range correlations reminiscent of those found in language. The Matrix Product State (MPS), also known as the tensor train, has a bond dimension which scales as the length of the sequence it models. To combat this, we use the factored core MPS, whose bond dimension scales sub-linearly. We find that the tensor models reach near perfect classifying ability, and maintain a stable level of performance as the number of valid training examples is decreased.


title: Hybrid deep learning and physics-based neural network for programmable illumination computational microscopy

abstract: Relying on either deep models or physical models are two mainstream approaches for solving inverse sample reconstruction problems in programmable illumination computational microscopy. Solutions based on physical models possess strong generalization capabilities while struggling with global optimization of inverse problems due to a lack of insufficient physical constraints. In contrast, deep learning methods have strong problem-solving abilities, but their generalization ability is often questioned because of the unclear physical principles. Besides, conventional deep models are difficult to apply to some specific scenes because of the difficulty in acquiring high-quality training data and their limited capacity to generalize across different scenarios. In this paper, to combine the advantages of deep models and physical models together, we propose a hybrid framework consisting of three sub-neural networks (two deep learning networks and one physics-based network). We first obtain a result with rich semantic information through a light deep learning neural network and then use it as the initial value of the physical network to make its output comply with physical process constraints. These two results are then used as the input of a fusion deep learning neural work which utilizes the paired features between the reconstruction results of two different models to further enhance imaging quality. The final result integrates the advantages of both deep models and physical models and can quickly solve the computational reconstruction inverse problem in programmable illumination computational microscopy and achieve better results. We verified the feasibility and effectiveness of the proposed hybrid framework with theoretical analysis and actual experiments on resolution targets and biological samples.

categories: eess.IV cs.CV physics.bio-ph physics.optics


title: Stars: Evolution, Stability and Statistical Mechanics

abstract: This paper reviews the physics of stars, the type, structure, evolution and stability. Simple thermodynamics and statistical mechanics are used to show the inner working of white dwarf and neutron stars. The major concentration of the paper will be on white dwarf stars although in some places references will also be made to neutron stars where the relations can be extended easily. It can be shown that a maximum mass limit is attached to each type of star which can be derived rigorously. Maximum entropy can be used to show that the gravitational contraction is balanced by the degeneracy pressure created by the electrons in the case of white dwarfs, and neutrons and protons which constitute the matter of the neutron star. Finally the kinetic equations which describe the luminosity of the star and the radiative transfer are introduced.


title: Electron Scattering at a Soft Temporal Potential Step

abstract: We solve the problem of electron scattering at a soft temporal potential step. Given the relativistic nature of the problem, we use the Dirac equation, with its spinor wavefunction. We find solutions in terms of hypergeometric functions, which demonstrate that the observed phenomenon of later forward-wave and backward-wave electron scattering previously reported for a sharp (Heaviside) temporal potential step can be obtained experimentally and applied to new electronic devices.


title: C Analyzer : A Static Program Analysis Tool for C Programs

abstract: In our times, when the world is increasingly becoming more dependent on software programs, writing bug-free, correct programs is crucial. Program verification based on formal methods can guarantee this by detecting run-time errors in safety-critical systems to avoid possible adverse impacts on human life and save time and money. This project work tries to leverage Abstract Interpretation techniques for static analysis of C programs. C Analyzer is a tool developed for static analysis of C programs. This implementation of C Analyzer provides a plug-and-play domain architecture for multiple abstract domains to be used. C Analyzer supports four abstract domains - Interval, Octagon, Polyhedra, and Bit Vector. We use these different domains for required precision in program verification. C Analyzer tool uses LLVM C/C++ compiler frontend Clang API to generate and traverse the Control Flow Graph (CFG) of a given C program. This tool generates invariants in different abstract domains for statements in basic blocks of CFG during CFG traversal. Using these invariants, some properties of a program, such as dividing by zero, modulus zero, arithmetic overflow, etc., can be analyzed. We also use a source-to-source transformation tool, CIL (Common Intermediate language), to transform some C constructs into simpler constructs, such as transforming logical operators, switch statements, and conditional operators into if-else ladders and transforming do-while and for loops into while loops. Using C Analyzer, C program constructs such as declarations, assignments, binary operations (arithmetic, relational, bitwise shift, etc.), conditions (if-else), loops (while, do while, for loop), nested conditions, and nested loops can be analyzed. Currently, this tool does not support arrays, structures, unions, pointers, or function calls.


title: Non-separable wave evolution equations in quantum kinetics

abstract: A non-separable wave-like integro-differential equation for the time evolution of the Wigner distribution function in phase space is educed from the corresponding separable kinetic equation. It is shown that it leads to non-local dispersion effects that may involve complex group velocities and also display non-unitary features as entropy production. By employing the quantum hydrodynamical description a non-local evolution wave equation is also derived by synthesizing the Hamilton-Jacobi equation with that of continuity, which predicts the generation of quadrupole quantum effects in the propagation of the spatial probability density. Extension of the formalism for a boson scalar field is also presented along with a brief commentary on the issue of irreversibility.


title: Training morphological neural networks with gradient descent: some theoretical insights

abstract: Morphological neural networks, or layers, can be a powerful tool to boost the progress in mathematical morphology, either on theoretical aspects such as the representation of complete lattice operators, or in the development of image processing pipelines. However, these architectures turn out to be difficult to train when they count more than a few morphological layers, at least within popular machine learning frameworks which use gradient descent based optimization algorithms. In this paper we investigate the potential and limitations of differentiation based approaches and back-propagation applied to morphological networks, in light of the non-smooth optimization concept of Bouligand derivative. We provide insights and first theoretical guidelines, in particular regarding initialization and learning rates.


title: Towards an Edge Intelligence-Based Traffic Monitoring System

abstract: Cities have undergone significant changes due to the rapid increase in urban population, heightened demand for resources, and growing concerns over climate change. To address these challenges, digital transformation has become a necessity. Recent advancements in Artificial Intelligence (AI) and sensing techniques, such as synthetic sensing, can elevate Digital Twins (DTs) from digital copies of physical objects to effective and efficient platforms for data collection and in-situ processing. In such a scenario, this paper presents a compre-hensive approach for developing a Traffic Monitoring System (TMS) based on Edge Intelligence (EI), specifically designed for smart cities. Our approach prioritizes the placement of intelligence as close as possible to data sources, and leverages an "opportunistic" interpretation of DT (ODT), resulting in a novel and interdisciplinary strategy to re-engineering large-scale distributed smart systems. The preliminary results of the proposed system have shown that moving computation to the edge of the network provides several benefits, including (i) enhanced inference performance, (ii) reduced bandwidth and power consumption, (iii) and decreased latencies with respect to the classic cloud -centric approach.


title: SportsNGEN: Sustained Generation of Multi-player Sports Gameplay

abstract: We present a transformer decoder based model, SportsNGEN, that is trained on sports player and ball tracking sequences that is capable of generating realistic and sustained gameplay. We train and evaluate SportsNGEN on a large database of professional tennis tracking data and demonstrate that by combining the generated simulations with a shot classifier and logic to start and end rallies, the system is capable of simulating an entire tennis match. In addition, a generic version of SportsNGEN can be customized to a specific player by fine-tuning on match data that includes that player. We show that our model is well calibrated and can be used to derive insights for coaches and broadcasters by evaluating counterfactual or what if options. Finally, we show qualitative results indicating the same approach works for football.


title: The performance of microwave photonic signal processors based on microcombs with different input signal waveforms

abstract: Microwave photonic (MWP) signal processors, which process microwave signals based on pho-tonic technologies, bring advantages intrinsic to photonics such as low loss, large processing bandwidth, and strong immunity to electromagnetic interference. Optical microcombs can offer a large number of wavelength channels and compact device footprints, which make them powerful multi-wavelength sources for MWP signal processors to realize a variety of processing functions. In this paper, we experimentally demonstrate the capability of microcomb-based MWP signal processors to handle diverse input signal waveforms. In addition, we quantify the processing accuracy for different input signal waveforms, including Gaussian, triangle, parabolic, super Gaussian, and nearly square waveforms. Finally, we analyze the factors contributing to the dif-ference in the processing accuracy among the different input waveforms, and our theoretical analysis well elucidates the experimental results. These results provide a guidance for micro-comb-based MWP signal processors when processing microwave signals of various waveforms.


title: AltGraph: Redesigning Quantum Circuits Using Generative Graph Models for Efficient Optimization

abstract: Quantum circuit transformation aims to produce equivalent circuits while optimizing for various aspects such as circuit depth, gate count, and compatibility with modern Noisy Intermediate Scale Quantum (NISQ) devices. There are two techniques for circuit transformation. The first is a rule-based approach that greedily cancels out pairs of gates that equate to the identity unitary operation. Rule-based approaches are used in quantum compilers such as Qiskit, tket, and Quilc. The second is a search-based approach that tries to find an equivalent quantum circuit by exploring the quantum circuits search space. Search-based approaches typically rely on machine learning techniques such as generative models and Reinforcement Learning (RL). In this work, we propose AltGraph, a novel search-based circuit transformation approach that generates equivalent quantum circuits using existing generative graph models. We use three main graph models: DAG Variational Autoencoder (D-VAE) with two variants: Gated Recurrent Unit (GRU) and Graph Convolutional Network (GCN), and Deep Generative Model for Graphs (DeepGMG) that take a Direct Acyclic Graph (DAG) of the quantum circuit as input and output a new DAG from which we reconstruct the equivalent quantum circuit. Next, we perturb the latent space to generate equivalent quantum circuits some of which may be more compatible with the hardware coupling map and/or enable better optimization leading to reduced gate count and circuit depth. AltGraph achieves on average a 37.55% reduction in the number of gates and a 37.75% reduction in the circuit depth post-transpiling compared to the original transpiled circuit with only 0.0074 Mean Squared Error (MSE) in the density matrix.


title: Containerization in Multi-Cloud Environment: Roles, Strategies, Challenges, and Solutions for Effective Implementation

abstract: Containerization in a multi-cloud environment facilitates workload portability and optimized resource utilization. Containerization in multi-cloud environments has received significant attention in recent years both from academic research and industrial development perspectives. However, there exists no effort to systematically investigate the state of research on this topic. The aim of this research is to systematically identify and categorize the multiple aspects of container utilization in multi-cloud environment. We conduct the Systematic Mapping Study (SMS) on the literature published between January 2013 and March 2023. Eighty-six studies were finally selected and the key results are: (1) Four leading themes on cloud computing and network systems research were identified: 'Scalability and High Availability', 'Performance and Optimization', 'Security and Privacy', and 'Multi-Cloud Container Monitoring and Adaptation'. (2) Seventy-four patterns and strategies for containerization in multi-cloud environment were classified across 10 subcategories and 4 categories. (3) Ten quality attributes considered were identified with 47 associated tactics. (4) Four distinct frameworks were introduced based on the analysis of identified challenges and solutions: a security challenge-solution framework, an automation challenge-solution framework, a deployment challenge-solution framework, and a monitoring challenge-solution framework. The results of this SMS will assist researchers and practitioners in pursuing further studies on containerization in multi-cloud environment and developing specialized solutions for challenges related to containerization applications in multi-cloud environment.


title: Beyond Inference: Performance Analysis of DNN Server Overheads for Computer Vision

abstract: Deep neural network (DNN) inference has become an important part of many data-center workloads. This has prompted focused efforts to design ever-faster deep learning accelerators such as GPUs and TPUs. However, an end-to-end DNN-based vision application contains more than just DNN inference, including input decompression, resizing, sampling, normalization, and data transfer. In this paper, we perform a thorough evaluation of computer vision inference requests performed on a throughput-optimized serving system. We quantify the performance impact of server overheads such as data movement, preprocessing, and message brokers between two DNNs producing outputs at different rates. Our empirical analysis encompasses many computer vision tasks including image classification, segmentation, detection, depth-estimation, and more complex processing pipelines with multiple DNNs. Our results consistently demonstrate that end-to-end application performance can easily be dominated by data processing and data movement functions (up to 56% of end-to-end latency in a medium-sized image, and $\sim$ 80% impact on system throughput in a large image), even though these functions have been conventionally overlooked in deep learning system design. Our work identifies important performance bottlenecks in different application scenarios, achieves 2.25$\times$ better throughput compared to prior work, and paves the way for more holistic deep learning system design.


title: Knowledge-Reuse Transfer Learning Methods in Molecular and Material Science

abstract: Molecules and materials are the foundation for the development of modern advanced industries such as energy storage systems and semiconductor devices. However, traditional trial-and-error methods or theoretical calculations are highly resource-intensive, and extremely long R&D (Research and Development) periods cannot meet the urgent need for molecules/materials in industrial development. Machine learning (ML) methods based on big data are expected to break this dilemma. However, the difficulty in constructing large-scale datasets of new molecules/materials due to the high cost of data acquisition and annotation limits the development of machine learning. The application of transfer learning lowers the data requirements for model training, which makes transfer learning stand out in researches addressing data quality issues. In this review, we summarize recent advances in transfer learning related to molecular and materials science. We focus on the application of transfer learning methods for the discovery of advanced molecules/materials, particularly, the construction of transfer learning frameworks for different systems, and how transfer learning can enhance the performance of models. In addition, the challenges of transfer learning are also discussed.


title: OSSCAR: One-Shot Structured Pruning in Vision and Language Models with Combinatorial Optimization

abstract: Structured pruning is a promising approach for reducing the inference costs of large vision and language models. By removing carefully chosen structures, e.g., neurons or attention heads, the improvements from this approach can be realized on standard deep learning hardware. In this work, we focus on structured pruning in the one-shot (post-training) setting, which does not require model retraining after pruning. We propose a novel combinatorial optimization framework for this problem, based on a layer-wise reconstruction objective and a careful reformulation that allows for scalable optimization. Moreover, we design a new local combinatorial optimization algorithm, which exploits low-rank updates for efficient local search. Our framework is time and memory-efficient and considerably improves upon state-of-the-art one-shot methods on vision models (e.g., ResNet50, MobileNet) and language models (e.g., OPT-1.3B -- OPT-30B). For language models, e.g., OPT-2.7B, OSSCAR can lead to $125\times$ lower test perplexity on WikiText with $2\times$ inference time speedup in comparison to the state-of-the-art ZipLM approach. Our framework is also $6\times$ -- $8\times$ faster. Notably, our work considers models with tens of billions of parameters, which is up to $100\times$ larger than what has been previously considered in the structured pruning literature.


title: When SMILES have Language: Drug Classification using Text Classification Methods on Drug SMILES Strings

abstract: Complex chemical structures, like drugs, are usually defined by SMILES strings as a sequence of molecules and bonds. These SMILES strings are used in different complex machine learning-based drug-related research and representation works. Escaping from complex representation, in this work, we pose a single question: What if we treat drug SMILES as conventional sentences and engage in text classification for drug classification? Our experiments affirm the possibility with very competitive scores. The study explores the notion of viewing each atom and bond as sentence components, employing basic NLP methods to categorize drug types, proving that complex problems can also be solved with simpler perspectives. The data and code are available here: https://github.com/azminewasi/Drug-Classification-NLP.


title: Multi-objective Optimization for Data Collection in UAV-assisted Agricultural IoT

abstract: The ground fixed base stations (BSs) are often deployed inflexibly, and have high overheads, as well as are susceptible to the damage from natural disasters, making it impractical for them to continuously collect data from sensor devices. To improve the network coverage and performance of wireless communication, unmanned aerial vehicles (UAVs) have been introduced in diverse wireless networks, therefore in this work we consider employing a UAV as an aerial BS to acquire data of agricultural Internet of Things (IoT) devices. To this end, we first formulate a UAV-assisted data collection multi-objective optimization problem (UDCMOP) to efficiently collect the data from agricultural sensing devices. Specifically, we aim to collaboratively optimize the hovering positions of UAV, visit sequence of UAV, speed of UAV, in addition to the transmit power of devices, to simultaneously achieve the maximization of minimum transmit rate of devices, the minimization of total energy consumption of devices, and the minimization of total energy consumption of UAV. Second, the proposed UDCMOP is a non-convex mixed integer nonlinear optimization problem, which indicates that it includes continuous and discrete solutions, making it intractable to be solved. Therefore, we solve it by proposing an improved multi-objective artificial hummingbird algorithm (IMOAHA) with several specific improvement factors, that are the hybrid initialization operator, Cauchy mutation foraging operator, in addition to the discrete mutation operator. Finally, simulations are carried out to testify that the proposed IMOAHA can effectively improve the system performance comparing to other benchmarks.


title: BaCon: Boosting Imbalanced Semi-supervised Learning via Balanced Feature-Level Contrastive Learning

abstract: Semi-supervised Learning (SSL) reduces the need for extensive annotations in deep learning, but the more realistic challenge of imbalanced data distribution in SSL remains largely unexplored. In Class Imbalanced Semi-supervised Learning (CISSL), the bias introduced by unreliable pseudo-labels can be exacerbated by imbalanced data distributions. Most existing methods address this issue at instance-level through reweighting or resampling, but the performance is heavily limited by their reliance on biased backbone representation. Some other methods do perform feature-level adjustments like feature blending but might introduce unfavorable noise. In this paper, we discuss the bonus of a more balanced feature distribution for the CISSL problem, and further propose a Balanced Feature-Level Contrastive Learning method (BaCon). Our method directly regularizes the distribution of instances' representations in a well-designed contrastive manner. Specifically, class-wise feature centers are computed as the positive anchors, while negative anchors are selected by a straightforward yet effective mechanism. A distribution-related temperature adjustment is leveraged to control the class-wise contrastive degrees dynamically. Our method demonstrates its effectiveness through comprehensive experiments on the CIFAR10-LT, CIFAR100-LT, STL10-LT, and SVHN-LT datasets across various settings. For example, BaCon surpasses instance-level method FixMatch-based ABC on CIFAR10-LT with a 1.21% accuracy improvement, and outperforms state-of-the-art feature-level method CoSSL on CIFAR100-LT with a 0.63% accuracy improvement. When encountering more extreme imbalance degree, BaCon also shows better robustness than other methods.


title: Rethinking Specificity in SBDD: Leveraging Delta Score and Energy-Guided Diffusion

abstract: In the field of Structure-based Drug Design (SBDD), deep learning-based generative models have achieved outstanding performance in terms of docking score. However, further study shows that the existing molecular generative methods and docking scores both have lacked consideration in terms of specificity, which means that generated molecules bind to almost every protein pocket with high affinity. To address this, we introduce the Delta Score, a new metric for evaluating the specificity of molecular binding. To further incorporate this insight for generation, we develop an innovative energy-guided approach using contrastive learning, with active compounds as decoys, to direct generative models toward creating molecules with high specificity. Our empirical results show that this method not only enhances the delta score but also maintains or improves traditional docking scores, successfully bridging the gap between SBDD and real-world needs.


title: Improving the Robustness of Object Detection and Classification AI models against Adversarial Patch Attacks

abstract: Adversarial patch attacks, crafted to compromise the integrity of Deep Neural Networks (DNNs), significantly impact Artificial Intelligence (AI) systems designed for object detection and classification tasks. The primary purpose of this work is to defend models against real-world physical attacks that target object detection and classification. We analyze attack techniques and propose a robust defense approach. We successfully reduce model confidence by over 20% using adversarial patch attacks that exploit object shape, texture and position. Leveraging the inpainting pre-processing technique, we effectively restore the original confidence levels, demonstrating the importance of robust defenses in mitigating these threats. Following fine-tuning of an AI model for traffic sign classification, we subjected it to a simulated pixelized patch-based physical adversarial attack, resulting in misclassifications. Our inpainting defense approach significantly enhances model resilience, achieving high accuracy and reliable localization despite the adversarial attacks. This contribution advances the resilience and reliability of object detection and classification networks against adversarial challenges, providing a robust foundation for critical applications.


title: Percolation, fractals and the critical point in a nuclear reactor

abstract: The trajectories of neutrons in the reactor, the points of their fission of uranium nuclei, the points of neutron absorption, fission chains and chain reactions are considered from the standpoint of fractal geometry and percolation theory. In the study of the stationary critical operating mode of a nuclear reactor, models of Cayley trees and Laplacian fractals are used. This approach allows us to obtain the neutron multiplication equation and an expression for the critical size of the reactor. Models of irreversible growth and various fractal dimensions are also considered as applied to the evolution of neutrons in a reactor. Prospects for the development of the proposed approach to describing reactors, primarily the kinetics and processes of neutron transfer, are indicated.


title: Beyond Sight: Probing Alignment Between Image Models and Blind V1

abstract: Neural activity in the visual cortex of blind humans persists in the absence of visual stimuli. However, little is known about the preservation of visual representation capacity in these cortical regions, which could have significant implications for neural interfaces such as visual prostheses. In this work, we present a series of analyses on the shared representations between evoked neural activity in the primary visual cortex (V1) of a blind human with an intracortical visual prosthesis, and latent visual representations computed in deep neural networks (DNNs). In the absence of natural visual input, we examine two alternative forms of inducing neural activity: electrical stimulation and mental imagery. We first quantitatively demonstrate that latent DNN activations are aligned with neural activity measured in blind V1. On average, DNNs with higher ImageNet accuracy or higher sighted primate neural predictivity are more predictive of blind V1 activity. We further probe blind V1 alignment in ResNet-50 and propose a proof-of-concept approach towards interpretability of blind V1 neurons. The results of these studies suggest the presence of some form of natural visual processing in blind V1 during electrically evoked visual perception and present unique directions in mechanistically understanding and interfacing with blind V1.


title: Tel2Veh: Fusion of Telecom Data and Vehicle Flow to Predict Camera-Free Traffic via a Spatio-Temporal Framework

abstract: Vehicle flow, a crucial indicator for transportation, is often limited by detector coverage. With the advent of extensive mobile network coverage, we can leverage mobile user activities, or cellular traffic, on roadways as a proxy for vehicle flow. However, as counts of cellular traffic may not directly align with vehicle flow due to data from various user types, we present a new task: predicting vehicle flow in camera-free areas using cellular traffic. To uncover correlations within multi-source data, we deployed cameras on selected roadways to establish the Tel2Veh dataset, consisting of extensive cellular traffic and sparse vehicle flows. Addressing this challenge, we propose a framework that independently extracts features and integrates them with a graph neural network (GNN)-based fusion to discern disparities, thereby enabling the prediction of unseen vehicle flows using cellular traffic. This work advances the use of telecom data in transportation and pioneers the fusion of telecom and vision-based data, offering solutions for traffic management.


title: Multiplication Operators on Hilbert Spaces

abstract: Let $S$ be a subnormal operator on a separable complex Hilbert space $\mathcal H$ and let $\mu$ be the scalar-valued spectral measure for the minimal normal extension $N$ of $S.$ Let $R^\infty (\sigma(S),\mu)$ be the weak-star closure in $L^\infty (\mu)$ of rational functions with poles off $\sigma(S),$ the spectrum of $S.$ The multiplier algebra $M(S)$ consists of functions $f\in L^\infty(\mu)$ such that $f(N)\mathcal H \subset \mathcal H.$ The multiplication operator $M_{S,f}$ of $f\in M(S)$ is defined $M_{S,f} = f(N) |_{\mathcal H}.$ We show that for $f\in R^\infty (\sigma(S),\mu),$ (1) $M_{S,f}$ is invertible iff $f$ is invertible in $M(S)$ and (2) $M_{S,f}$ is Fredholm iff there exists $f_0\in R^\infty (\sigma(S),\mu)$ and a polynomial $p$ such that $f=pf_0,$ $f_0$ is invertible in $M(S),$ and $p$ has only zeros in $\sigma (S) \setminus \sigma_e (S),$ where $\sigma_e (S)$ denotes the essential spectrum of $S.$ Consequently, we characterize $\sigma(M_{S,f})$ and $\sigma_e(M_{S,f})$ in terms of some cluster subsets of $f.$ Moreover, we show that if $S$ is an irreducible subnormal operator and $f \in R^\infty (\sigma(S),\mu),$ then $M_{S,f}$ is invertible iff $f$ is invertible in $R^\infty (\sigma(S),\mu).$ The results answer the second open question raised by J. Dudziak in 1984.


title: Simple Full-Spectrum Correlated k-Distribution Model based on Multilayer Perceptron

abstract: While neural networks have been successfully applied to the full-spectrum k-distribution (FSCK) method at a large range of thermodynamics with k-values predicted by a trained multilayer perceptron (MLP) model, the required a-values still need to be calculated on-the-fly, which theoretically degrades the FSCK method and may lead to errors. On the other hand, too complicated structure of the current MLP model inevitably slows down the calculation efficiency. Therefore, to compensate among accuracy, efficiency and storage, the simple MLP designed based on the nature of FSCK method are developed, i.e., the simple FSCK MLP (SFM) model, from which those correlated k-values and corresponding ka-values can be efficiently obtained. Several test cases have been carried out to compare the developed SFM model and other FSCK tools including look-up tables and traditional FSCK MLP (TFM) model. Results show that the SFM model can achieve excellent accuracy that is even better than look-up tables at a tiny computational cost that is far less than that of TFM model. Considering accuracy, efficiency and portability, the SFM model is not only an excellent tool for the prediction of spectral properties, but also provides a method to reduce the errors due to nonlinear effects.


title: Fast Iterative Configuration of Reconfigurable Intelligent Surfaces in mmWave Systems

abstract: Reconfigurable intelligent surfaces (RISs) are a promising solution to improve the coverage of cellular networks, thanks to their ability to steer impinging signals in desired directions. However, they introduce an overhead in the communication process since the optimal configuration of a RIS depends on the channels to and from the RIS, which must be estimated. In this paper, we propose a novel fast iterative configuration (FIC) protocol to determine the optimal RIS configuration that exploits the small number of paths of millimetre-wave (mmWave) channels and an adaptive choice of the explored RIS configurations. In particular, we split the elements of the RIS into a number of subsets equal to the number of channel taps. For each subset, then an iterative procedure finds at each iteration the optimal RIS configuration in a codebook exploring a two-dimensional grid of possible angles of arrival and departure of the path at the RIS. Over the iterations, the grid is made finer around the point identified in previous iterations. Numerical results obtained using an urban channel model confirm that the proposed solution is fast and provides a configuration close to the optimal in a shorter time than other existing approaches.


title: ESM All-Atom: Multi-scale Protein Language Model for Unified Molecular Modeling

abstract: Protein language models have demonstrated significant potential in the field of protein engineering. However, current protein language models primarily operate at the residue scale, which limits their ability to provide information at the atom level. This limitation prevents us from fully exploiting the capabilities of protein language models for applications involving both proteins and small molecules. In this paper, we propose ESM-AA (ESM All-Atom), a novel approach that enables atom-scale and residue-scale unified molecular modeling. ESM-AA achieves this by pre-training on multi-scale code-switch protein sequences and utilizing a multi-scale position encoding to capture relationships among residues and atoms. Experimental results indicate that ESM-AA surpasses previous methods in protein-molecule tasks, demonstrating the full utilization of protein language models. Further investigations reveal that through unified molecular modeling, ESM-AA not only gains molecular knowledge but also retains its understanding of proteins. The source codes of ESM-AA are publicly released at https://github.com/zhengkangjie/ESM-AA.


title: UAV-Based Solution for Extending the Lifetime of IoT Devices: Efficiency, Design and Sustainability

abstract: Internet of Things (IoT) technology is named as a key ingredient in the evolution towards digitization of many applications and services. A deployment based on battery-powered remote Internet of Things (IoT) devices enables easy installation and operation, yet the autonomy of these devices poses a crucial challenge. A too short lifespan is undesirable from a functional, economical, and ecological point of view. This paper presents a unmanned aerial vehicle (UAV)-based approach to recharge remote Internet of Things (IoT) nodes. An in-depth study of the charging efficiency and optimization of key parameters, and measurements-based verification, is reported on. An actual corresponding design and implementation of the full UAV-based charging system and its proof-of-concept validation are presented. Finally, the sustainability of the proposed solution is discussed. The results presented in this paper hence confirm that the proposed UAV-based approach and design are functionally successful and efficient charging can be achieved, provided the constraints and challenges coming with the approach are adequately dealt with. Moreover, it comes with an overall reduction in ecological footprint for IoT applications relying on battery-powered nodes in need of medium energy and/or considerable lifetime expectation (5 years or more).


title: A Multi-Task Oriented Semantic Communication Framework for Autonomous Vehicles

abstract: Task-oriented semantic communication is an emerging technology that transmits only the relevant semantics of a message instead of the whole message to achieve a specific task. It reduces latency, compresses the data, and is more robust in low SNR scenarios. This work presents a multi-task-oriented semantic communication framework for connected and autonomous vehicles (CAVs). We propose a convolutional autoencoder (CAE) that performs the semantic encoding of the road traffic signs. These encoded images are then transmitted from one CAV to another CAV through satellite in challenging weather conditions where visibility is impaired. In addition, we propose task-oriented semantic decoders for image reconstruction and classification tasks. Simulation results show that the proposed framework outperforms the conventional schemes, such as QAM-16, regarding the reconstructed image's similarity and the classification's accuracy. In addition, it can save up to 89 % of the bandwidth by sending fewer bits.


title: QCEDA: Using Quantum Computers for EDA

abstract: The field of Electronic Design Automation (EDA) is crucial for microelectronics, but the increasing complexity of Integrated Circuits (ICs) poses challenges for conventional EDA: Corresponding problems are often NP-hard and are therefore in general solved by heuristics, not guaranteeing optimal solutions. Quantum computers may offer better solutions due to their potential for optimization through entanglement, superposition, and interference. Most of the works in the area of EDA and quantum computers focus on how to use EDA for building quantum circuits. However, almost no research focuses on exploiting quantum computers for solving EDA problems. Therefore, this paper investigates the feasibility and potential of quantum computing for a typical EDA optimization problem broken down to the Min-$k$-Union problem. The problem is mathematically transformed into a Quadratic Unconstrained Binary Optimization (QUBO) problem, which was successfully solved on an IBM quantum computer and a D-Wave quantum annealer.


title: Prompt Selection and Augmentation for Few Examples Code Generation in Large Language Model and its Application in Robotics Control

abstract: Few-shot prompting and step-by-step reasoning have enhanced the capabilities of Large Language Models (LLMs) in tackling complex tasks including code generation. In this paper, we introduce a prompt selection and augmentation algorithm aimed at improving mathematical reasoning and robot arm operations. Our approach incorporates a multi-stage example augmentation scheme combined with an example selection scheme. This algorithm improves LLM performance by selecting a set of examples that increase diversity, minimize redundancy, and increase relevance to the question. When combined with the Program-of-Thought prompting, our algorithm demonstrates an improvement in performance on the GSM8K and SVAMP benchmarks, with increases of 0.3% and 1.1% respectively. Furthermore, in simulated tabletop environments, our algorithm surpasses the Code-as-Policies approach by achieving a 3.4% increase in successful task completions and a decrease of over 70% in the number of examples used. Its ability to discard examples that contribute little to solving the problem reduces the inferencing time of an LLM-powered robotics system. This algorithm also offers important benefits for industrial process automation by streamlining the development and deployment process, reducing manual programming effort, and enhancing code reusability.


title: Duwak: Dual Watermarks in Large Language Models

abstract: As large language models (LLM) are increasingly used for text generation tasks, it is critical to audit their usages, govern their applications, and mitigate their potential harms. Existing watermark techniques are shown effective in embedding single human-imperceptible and machine-detectable patterns without significantly affecting generated text quality and semantics. However, the efficiency in detecting watermarks, i.e., the minimum number of tokens required to assert detection with significance and robustness against post-editing, is still debatable. In this paper, we propose, Duwak, to fundamentally enhance the efficiency and quality of watermarking by embedding dual secret patterns in both token probability distribution and sampling schemes. To mitigate expression degradation caused by biasing toward certain tokens, we design a contrastive search to watermark the sampling scheme, which minimizes the token repetition and enhances the diversity. We theoretically explain the interdependency of the two watermarks within Duwak. We evaluate Duwak extensively on Llama2 under various post-editing attacks, against four state-of-the-art watermarking techniques and combinations of them. Our results show that Duwak marked text achieves the highest watermarked text quality at the lowest required token count for detection, up to 70% tokens less than existing approaches, especially under post paraphrasing.


title: Fundamental Components of Deep Learning: A category-theoretic approach

abstract: Deep learning, despite its remarkable achievements, is still a young field. Like the early stages of many scientific disciplines, it is marked by the discovery of new phenomena, ad-hoc design decisions, and the lack of a uniform and compositional mathematical foundation. From the intricacies of the implementation of backpropagation, through a growing zoo of neural network architectures, to the new and poorly understood phenomena such as double descent, scaling laws or in-context learning, there are few unifying principles in deep learning. This thesis develops a novel mathematical foundation for deep learning based on the language of category theory. We develop a new framework that is a) end-to-end, b) unform, and c) not merely descriptive, but prescriptive, meaning it is amenable to direct implementation in programming languages with sufficient features. We also systematise many existing approaches, placing many existing constructions and concepts from the literature under the same umbrella. In Part I we identify and model two main properties of deep learning systems parametricity and bidirectionality by we expand on the previously defined construction of actegories and Para to study the former, and define weighted optics to study the latter. Combining them yields parametric weighted optics, a categorical model of artificial neural networks, and more. Part II justifies the abstractions from Part I, applying them to model backpropagation, architectures, and supervised learning. We provide a lens-theoretic axiomatisation of differentiation, covering not just smooth spaces, but discrete settings of boolean circuits as well. We survey existing, and develop new categorical models of neural network architectures. We formalise the notion of optimisers and lastly, combine all the existing concepts together, providing a uniform and compositional framework for supervised learning.


title: AutoTRIZ: Artificial Ideation with TRIZ and Large Language Models

abstract: Researchers and innovators have made enormous efforts in developing ideation methods, such as morphological analysis and design-by-analogy, to aid engineering design ideation for problem solving and innovation. Among these, the Theory of Inventive Problem Solving (TRIZ) stands out as one of the most well-known approaches, widely applied for systematic innovation. However, the complexity of TRIZ resources and concepts, coupled with its reliance on users' knowledge, experience, and reasoning capabilities, limits its practicality. Therefore, we explore the recent advances of large language models (LLMs) for a generative approach to bridge this gap. This paper proposes AutoTRIZ, an artificial ideation tool that uses LLMs to automate and enhance the TRIZ methodology. By leveraging the broad knowledge and advanced reasoning capabilities of LLMs, AutoTRIZ offers a novel approach for design automation and interpretable ideation with artificial intelligence. AutoTRIZ takes a problem statement from the user as its initial input, and automatically generates a solution report after the reasoning process. We demonstrate and evaluate the effectiveness of AutoTRIZ through consistency experiments in contradiction detection, and a case study comparing solutions generated by AutoTRIZ with the experts' analyses from the textbook. Moreover, the proposed LLM-based framework holds the potential for extension to automate other knowledge-based ideation methods, including SCAMPER, Design Heuristics, and Design-by-Analogy, paving the way for a new era of artificial ideation for design innovation.


title: Basis of spinors expressed by differential forms and calculating its norm

abstract: The basis of spinors in three-dimensional Euclidean space is expressed by differential forms. Its expression is found from the spectral decomposition of the modified Hamiltonian describing Weyl semimetals where the wavenumber parameters are replaced by the differential forms. The generalization of the definitions of differential forms including not only fractional powers but also any algebraic functions is justified by algebraic extension of the symmetric Fock space isomorphic to multivariable polynomial ring. We furthermore define the inner product for these fractional-order differential forms written in two ways; the formal power series and the multiple integral. While the norms of the powers $\mathrm{d}s^{2\nu}$ are reduced to the variant of Dyson's integral and have the value $2\nu+1$, possibly related to the dimension of irreducible representation, the norm of two-component spinor is given by the integral \[I=\frac{2}{\pi}\int_{x^2+y^2\ge 1 \& 0\le x \le 1 \& 0 \le y \le 1}\frac{xy\mathrm{d}x\mathrm{d}y}{\sqrt{(1-x)(1-y)(x^2+y^2-1)}}=\frac{4\sqrt{2}}{\pi}\int_0^1\frac{(1+\sqrt{z})}{(1+z)^3}\big[2E(z)-(1-z)K(z)\big]\mathrm{d}z\simeq 1.774, \] where $K(z)$ and $E(z)$ are the complete elliptic integrals of the first and second kind, respectively. The product can also be generalized to include one parameter $p$ analogous to those in $L^p$ space, reducing to the original one when $p=2$. The norm with $p=\infty$ is considered as an example and the result for $ \nu=-\frac{1}{2} $ is written by the Watson-Iwata integral. We also discuss the ambiguity of the definition of the spinor under coordinate rotation originating from Berry's phase, and point out that if we heuristically set $\mathrm{d}s=0$, the ambiguity disappears, though its implication remains unclear.


title: (Beyond) Reasonable Doubt: Challenges that Public Defenders Face in Scrutinizing AI in Court

abstract: Accountable use of AI systems in high-stakes settings relies on making systems contestable. In this paper we study efforts to contest AI systems in practice by studying how public defenders scrutinize AI in court. We present findings from interviews with 17 people in the U.S. public defense community to understand their perceptions of and experiences scrutinizing computational forensic software (CFS) -- automated decision systems that the government uses to convict and incarcerate, such as facial recognition, gunshot detection, and probabilistic genotyping tools. We find that our participants faced challenges assessing and contesting CFS reliability due to difficulties (a) navigating how CFS is developed and used, (b) overcoming judges and jurors' non-critical perceptions of CFS, and (c) gathering CFS expertise. To conclude, we provide recommendations that center the technical, social, and institutional context to better position interventions such as performance evaluations to support contestability in practice.


title: Leap: molecular synthesisability scoring with intermediates

abstract: Assessing whether a molecule can be synthesised is a primary task in drug discovery. It enables computational chemists to filter for viable compounds or bias molecular generative models. The notion of synthesisability is dynamic as it evolves depending on the availability of key compounds. A common approach in drug discovery involves exploring the chemical space surrounding synthetically-accessible intermediates. This strategy improves the synthesisability of the derived molecules due to the availability of key intermediates. Existing synthesisability scoring methods such as SAScore, SCScore and RAScore, cannot condition on intermediates dynamically. Our approach, Leap, is a GPT-2 model trained on the depth, or longest linear path, of predicted synthesis routes that allows information on the availability of key intermediates to be included at inference time. We show that Leap surpasses all other scoring methods by at least 5% on AUC score when identifying synthesisable molecules, and can successfully adapt predicted scores when presented with a relevant intermediate compound.


title: Gaussian process surrogate models for the properties of micro-tearing modes in spherical tokamaks

abstract: Spherical tokamaks (STs) have many desirable features that make them a suitable choice for fusion power plants. To understand their confinement properties, accurate calculation of turbulent micro-instabilities is necessary for tokamak design. Presented is a novel surrogate model for Micro-tearing modes (MTMs), the micro-instability thought to be dominant in high beta STs. Direct numerical calculation of micro-instabilities is computationally expensive and is a significant bottleneck in integrated plasma modelling. The considerable number of geometric and thermodynamic parameters, the interactions that influence these coefficients and the resolutions needed to accurately resolve these modes, makes direct numerical simulation for parameter space exploration computationally extremely challenging. However, this and the dearth of accurate reduced physics models for MTMs makes it suitable for surrogate modelling using Gaussian Process Regression, a modern machine learning technique. This paper outlines the further development of a data-driven reduced-order model across a spherical tokamak reactor-relevant parameter space utilising Gaussian Process Regression (GPR) and classification; techniques from machine learning. To build the original simple GP model these two components were used in an active learning loop to maximise the efficiency of data acquisition thus minimising computational cost. The `simple' GP was seen to show a plateau of fidelity with more data and to be under-confident, particular in areas of parameter space close to marginal stability. It is postulated that the presence of multiple sub-types of MTM could be the root cause, with the underlying function being less smooth than expected. An expansion of the model using clustering algorithms to find optimal sub models using a mixture of experts approach is shown to greatly improve the variances in the outputs of the GP model.


title: Mixed Species Charge and Baryon Balance Functions Studies with PYTHIA

abstract: Mixed species charge and baryon balance functions are computed based on proton--proton (pp) collisions simulated with the PYTHIA8 model. Simulations are performed with selected values of the collision energy $\sqrt{s}$ and the Monash tune and the Ropes and Shoving modes of PYTHIA8 to explore whether such measurements provide useful new information and constraints on mechanisms of particle production in pp collisions. Charge balance functions are studied based on mixed pairs of pions, kaons, and protons, whereas baryon balance functions are computed for mixed low mass strange and non-strange baryons. Both charge and baryon balance functions of mixed particle pairs feature shapes and amplitudes that sensitively depend on the particle considered owing largely to the particle production mechanisms implemented in PYTHIA. The evolution of balance functions integrals with the longitudinal width of the acceptance are presented and one finds that sums of such integrals for a given reference particle obey expected sum rules for both charge and baryon balance functions. Additionally, both types of balance functions are found to evolve in shape and amplitude with increasing collision energy $\sqrt{s}$ and the PYTHIA tunes considered.


title: Speedrunning and path integrals

abstract: In this article we will explore the concept of speedrunning as a representation of a simplified version of quantum mechanics within a classical simulation. This analogy can be seen as a simplified approach to understanding the broader idea that quantum mechanics may emerge from classical mechanics simulations due to the limitations of the simulation. The concept of speedrunning will be explored from the perspective inside the simulation, where the player is seen as a "force of nature" that can be interpreted through Newton's first law. Starting from this general assumption, the aim is to build a bridge between these two fields by using the mathematical representation of path integrals. The use of such an approach as an intermediate layer between machine learning techniques aimed at finding an optimal strategy and a game simulation is also analysed. This article will focus primarily on the relationship between classical and quantum physics within the simulation, leaving aside more technical issues in field theory such as invariance with respect to Lorentz transformations and virtual particles.


title: Undulatory swimming in suspensions and networks of flexible filaments

abstract: Many biological fluids are composed of suspended polymers immersed in a viscous fluid. A prime example is mucus, where the polymers are also known to form a network. While the presence of this microstructure is linked with an overall non-Newtonian response of the fluid, swimming cells and microorganisms similar in size to the network pores and polymer filaments instead experience the heterogeneous nature of the environment, interacting directly with the polymers as obstacles as they swim. To characterise and understand locomotion in these heterogeneous environments, we simulate the motion of an undulatory swimmer through suspensions and networks of elastic filaments, exploring the effects of filament and link compliance and filament concentration up to 20\% volume fraction. For compliant environments, the swimming speed increases with filament concentration to values about 10\% higher than in a viscous fluid. In stiffer environments, a non-monotonic dependence is observed, with an initial increase in speed to values 5\% greater than in a viscous fluid, followed by a dramatic reduction to speeds just a fraction of its value in a viscous fluid. Velocity fluctuations are also more pronounced in stiffer environments. We demonstrate that speed enhancements are linked to hydrodynamic interactions with the microstructure, while reductions are due to the filaments restricting the amplitude of the swimmer's propulsive wave. Unlike previous studies where interactions with obstacles allowed for significant enhancements in swimming speeds, the modest enhancements seen here are more comparable to those given by models where the environment is treated as a continuous viscoelastic fluid.


title: A Dual-Tier Adaptive One-Class Classification IDS for Emerging Cyberthreats

abstract: In today's digital age, our dependence on IoT (Internet of Things) and IIoT (Industrial IoT) systems has grown immensely, which facilitates sensitive activities such as banking transactions and personal, enterprise data, and legal document exchanges. Cyberattackers consistently exploit weak security measures and tools. The Network Intrusion Detection System (IDS) acts as a primary tool against such cyber threats. However, machine learning-based IDSs, when trained on specific attack patterns, often misclassify new emerging cyberattacks. Further, the limited availability of attack instances for training a supervised learner and the ever-evolving nature of cyber threats further complicate the matter. This emphasizes the need for an adaptable IDS framework capable of recognizing and learning from unfamiliar/unseen attacks over time. In this research, we propose a one-class classification-driven IDS system structured on two tiers. The first tier distinguishes between normal activities and attacks/threats, while the second tier determines if the detected attack is known or unknown. Within this second tier, we also embed a multi-classification mechanism coupled with a clustering algorithm. This model not only identifies unseen attacks but also uses them for retraining them by clustering unseen attacks. This enables our model to be future-proofed, capable of evolving with emerging threat patterns. Leveraging one-class classifiers (OCC) at the first level, our approach bypasses the need for attack samples, addressing data imbalance and zero-day attack concerns and OCC at the second level can effectively separate unknown attacks from the known attacks. Our methodology and evaluations indicate that the presented framework exhibits promising potential for real-world deployments.


title: 2D isotropic negative permeability in a {\Lambda}-type three-level atomic system

abstract: A approach for two-dimensional(2D) negative permeability in a $\Lambda$-type three-level atomic system interacting with a probe magnetic and the superposition of two orthogonal standing-wave fields is proposed. Through the theoretical analysis and numerical simulation, two equally and tunable peak maxima of negative magnetic responses are observed in the x-y plane, and around the peak maxima region the negative permeability is isotropic. A new avenue to 2D isotropic negative


title: Negative refraction index manipulated by a displaced squeezed Fock state in the mesoscopic dissipative left-handed transmission line

abstract: Negative refractive index (NRI) of the mescopic dissipative left-handed transmission line (LHTL) is manipulated by the displaced squeezed Fock state (DSFS) and the dissipation presented by the resistance and conductance. Comparing to the classical LHTL, some specific quantum characteristics are shown in the LHTL because of quantum effect, which will be significant to its miniaturization application in microwave frequency.


title: Hierarchical Classification for Intrusion Detection System: Effective Design and Empirical Analysis

abstract: With the increased use of network technologies like Internet of Things (IoT) in many real-world applications, new types of cyberattacks have been emerging. To safeguard critical infrastructures from these emerging threats, it is crucial to deploy an Intrusion Detection System (IDS) that can detect different types of attacks accurately while minimizing false alarms. Machine learning approaches have been used extensively in IDS and they are mainly using flat multi-class classification to differentiate normal traffic and different types of attacks. Though cyberattack types exhibit a hierarchical structure where similar granular attack subtypes can be grouped into more high-level attack types, hierarchical classification approach has not been explored well. In this paper, we investigate the effectiveness of hierarchical classification approach in IDS. We use a three-level hierarchical classification model to classify various network attacks, where the first level classifies benign or attack, the second level classifies coarse high-level attack types, and the third level classifies a granular level attack types. Our empirical results of using 10 different classification algorithms in 10 different datasets show that there is no significant difference in terms of overall classification performance (i.e., detecting normal and different types of attack correctly) of hierarchical and flat classification approaches. However, flat classification approach misclassify attacks as normal whereas hierarchical approach misclassify one type of attack as another attack type. In other words, the hierarchical classification approach significantly minimises attacks from misclassified as normal traffic, which is more important in critical systems.


title: General Line Coordinates in 3D

abstract: Interpretable interactive visual pattern discovery in lossless 3D visualization is a promising way to advance machine learning. It enables end users who are not data scientists to take control of the model development process as a self-service. It is conducted in 3D General Line Coordinates (GLC) visualization space, which preserves all n-D information in 3D. This paper presents a system which combines three types of GLC: Shifted Paired Coordinates (SPC), Shifted Tripled Coordinates (STC), and General Line Coordinates-Linear (GLC-L) for interactive visual pattern discovery. A transition from 2-D visualization to 3-D visualization allows for a more distinct visual pattern than in 2-D and it also allows for finding the best data viewing positions, which are not available in 2-D. It enables in-depth visual analysis of various class-specific data subsets comprehensible for end users in the original interpretable attributes. Controlling model overgeneralization by end users is an additional benefit of this approach.


title: HyperVQ: MLR-based Vector Quantization in Hyperbolic Space

abstract: The success of models operating on tokenized data has led to an increased demand for effective tokenization methods, particularly when applied to vision or auditory tasks, which inherently involve non-discrete data. One of the most popular tokenization methods is Vector Quantization (VQ), a key component of several recent state-of-the-art methods across various domains. Typically, a VQ Variational Autoencoder (VQVAE) is trained to transform data to and from its tokenized representation. However, since the VQVAE is trained with a reconstruction objective, there is no constraint for the embeddings to be well disentangled, a crucial aspect for using them in discriminative tasks. Recently, several works have demonstrated the benefits of utilizing hyperbolic spaces for representation learning. Hyperbolic spaces induce compact latent representations due to their exponential volume growth and inherent ability to model hierarchical and structured data. In this work, we explore the use of hyperbolic spaces for vector quantization (HyperVQ), formulating the VQ operation as a hyperbolic Multinomial Logistic Regression (MLR) problem, in contrast to the Euclidean K-Means clustering used in VQVAE. Through extensive experiments, we demonstrate that hyperVQ performs comparably in reconstruction and generative tasks while outperforming VQ in discriminative tasks and learning a highly disentangled latent space.


title: Neural Downscaling for Complex Systems: from Large-scale to Small-scale by Neural Operator

abstract: Predicting and understanding the chaotic dynamics in complex systems is essential in various applications. However, conventional approaches, whether full-scale simulations or small-scale omissions, fail to offer a comprehensive solution. This instigates exploration into whether modeling or omitting small-scale dynamics could benefit from the well-captured large-scale dynamics. In this paper, we introduce a novel methodology called Neural Downscaling (ND), which integrates neural operator techniques with the principles of inertial manifold and nonlinear Galerkin theory. ND effectively infers small-scale dynamics within a complementary subspace from corresponding large-scale dynamics well-represented in a low-dimensional space. The effectiveness and generalization of the method are demonstrated on the complex systems governed by the Kuramoto-Sivashinsky and Navier-Stokes equations. As the first comprehensive deterministic model targeting small-scale dynamics, ND sheds light on the intricate spatiotemporal nonlinear dynamics of complex systems, revealing how small-scale dynamics are intricately linked with and influenced by large-scale dynamics.


title: Impart: An Imperceptible and Effective Label-Specific Backdoor Attack

abstract: Backdoor attacks have been shown to impose severe threats to real security-critical scenarios. Although previous works can achieve high attack success rates, they either require access to victim models which may significantly reduce their threats in practice, or perform visually noticeable in stealthiness. Besides, there is still room to improve the attack success rates in the scenario that different poisoned samples may have different target labels (a.k.a., the all-to-all setting). In this study, we propose a novel imperceptible backdoor attack framework, named Impart, in the scenario where the attacker has no access to the victim model. Specifically, in order to enhance the attack capability of the all-to-all setting, we first propose a label-specific attack. Different from previous works which try to find an imperceptible pattern and add it to the source image as the poisoned image, we then propose to generate perturbations that align with the target label in the image feature by a surrogate model. In this way, the generated poisoned images are attached with knowledge about the target class, which significantly enhances the attack capability.


title: Invisible Backdoor Attack Through Singular Value Decomposition

abstract: With the widespread application of deep learning across various domains, concerns about its security have grown significantly. Among these, backdoor attacks pose a serious security threat to deep neural networks (DNNs). In recent years, backdoor attacks on neural networks have become increasingly sophisticated, aiming to compromise the security and trustworthiness of models by implanting hidden, unauthorized functionalities or triggers, leading to misleading predictions or behaviors. To make triggers less perceptible and imperceptible, various invisible backdoor attacks have been proposed. However, most of them only consider invisibility in the spatial domain, making it easy for recent defense methods to detect the generated toxic images.To address these challenges, this paper proposes an invisible backdoor attack called DEBA. DEBA leverages the mathematical properties of Singular Value Decomposition (SVD) to embed imperceptible backdoors into models during the training phase, thereby causing them to exhibit predefined malicious behavior under specific trigger conditions. Specifically, we first perform SVD on images, and then replace the minor features of trigger images with those of clean images, using them as triggers to ensure the effectiveness of the attack. As minor features are scattered throughout the entire image, the major features of clean images are preserved, making poisoned images visually indistinguishable from clean ones. Extensive experimental evaluations demonstrate that DEBA is highly effective, maintaining high perceptual quality and a high attack success rate for poisoned images. Furthermore, we assess the performance of DEBA under existing defense measures, showing that it is robust and capable of significantly evading and resisting the effects of these defense measures.


title: Many body gravity and the galaxy rotation curves

abstract: A novel theory was proposed earlier to model systems with thermal gradients, based on the postulate that the spatial and temporal variation in temperature can be recast as a variation in the metric. Combining the variation in the metric due to the thermal variations and gravity, leads to the concept of thermal gravity in a 5-D space-time-temperature setting. When the 5-D Einstein field equations are projected to a 4-D space, they result in additional terms in the field equations. This may lead to unique phenomena such as the spontaneous symmetry breaking of scalar particles in the presence of a strong gravitational field. This theory, originally conceived in a quantum mechanical framework, is now adapted to explain the galaxy rotation curves. A galaxy is not in a state of thermal equilibrium. A parameter called the "degree of thermalization" is introduced to model partially thermalized systems. The generalization of thermal gravity to partially thermalized systems, leads to the theory of many-body gravity. The theory of many-body gravity is now shown to be able to explain the rotation curves of the Milky Way and the M31 (Andromeda) galaxies, to a fair extent. The radial acceleration relation (RAR) for 21 galaxies, with variations spanning three orders of magnitude in galactic mass, is also reproduced.

categories: gr-qc astro-ph.GA hep-ph hep-th math-ph math.MP


title: ASOP: A Sovereign and Secure Device Onboarding Protocol for Cloud-based IoT Services

abstract: The existing high-friction device onboarding process hinders the promise and potentiality of Internet of Things (IoT). Even after several attempts by various device manufacturers and working groups, no widely adopted standard solution came to fruition. The latest attempt by Fast Identity Online (FIDO) Alliance promises a zero touch solution for mass market IoT customers, but the burden is transferred to the intermediary supply chain (i.e. they have to maintain infrastructure for managing keys and digital signatures called `Ownership Voucher' for all devices). The specification relies on a `Rendezvous Server' mimicking the notion of Domain Name System (DNS) server'. This essentially means resurrecting all existing possible attack scenarios associated with DNS, which include Denial of Service (DoS) attack, and Correlation attack. `Ownership Voucher' poses the risk that some intermediary supply chain agents may act maliciously and reject the transfer of ownership or sign with a wrong key. Furthermore, the deliberate use of the weak elliptic curve SECP256r1/SECP384r1 (also known as NIST P-256/384) in the specification raises questions. We introduce ASOP: a sovereign and secure device onboarding protocol for IoT devices without blindly trusting the device manufacturer, supply chain, and cloud service provider. The ASOP protocol allows onboarding an IoT device to a cloud server with the help of an authenticator owned by the user. This paper outlines the preliminary development of the protocol and its high-level description. Our `zero-trust' and `human-in-the-loop' approach guarantees that the device owner does not remain at the mercy of third-party infrastructures, and it utilises recently standardized post-quantum cryptographic suite (CRYSTALS) to secure connection and messages.


title: Anatomy of Vector-Like Bottom-Quark Models in the Alignment Limit of the 2-Higgs Doublet Model Type-II

abstract: Expanding upon our ongoing investigation of Vector-Like Quark (VLQ) phenomenology within a 2-Higgs Doublet Model (2HDM) framework, in this paper, we complement a previous one dedicated to Vector-Like Top-quarks (VLTs) by studying Vector-Like Bottom-quarks (VLBs), specifically focusing on their behavior in the alignment limit of a Type-II Yukawa structure. We examine the potential for detecting VLBs at the Large Hadron Collider (LHC) and analyze their decay signatures, encompassing both Standard Model (SM) processes and exotic decays. The objective is to differentiate among singlet, doublet, and triplet configurations of VLBs by identifying distinct decay patterns, thereby providing insights into the structure of Beyond the SM (BSM) physics.


title: Syntropy in complex systems: A complement to Shannon's Entropy

abstract: This study introduces the syntropy function ($S_N$) and expectancy function ($E_N$), derived from the novel function $\phi$, to provide a refined perspective on complexity, extending beyond conventional entropy analysis. $S_N$ is designed to detect localized coherent events, whereas $E_N$ encapsulates expected system behaviors, offering a comprehensive framework for understanding system dynamics. The manuscript explores essential theorems and properties, underscoring their theoretical and practical implications. Future research will further elucidate their roles, particularly in biological signals and dynamic systems, suggesting a deep interplay between order and chaos.

categories: cond-mat.stat-mech cs.IT math-ph math.DS math.IT math.MP


title: Thwarting Cybersecurity Attacks with Explainable Concept Drift

abstract: Cyber-security attacks pose a significant threat to the operation of autonomous systems. Particularly impacted are the Heating, Ventilation, and Air Conditioning (HVAC) systems in smart buildings, which depend on data gathered by sensors and Machine Learning (ML) models using the captured data. As such, attacks that alter the readings of these sensors can severely affect the HVAC system operations impacting residents' comfort and energy reduction goals. Such attacks may induce changes in the online data distribution being fed to the ML models, violating the fundamental assumption of similarity in training and testing data distribution. This leads to a degradation in model prediction accuracy due to a phenomenon known as Concept Drift (CD) - the alteration in the relationship between input features and the target variable. Addressing CD requires identifying the source of drift to apply targeted mitigation strategies, a process termed drift explanation. This paper proposes a Feature Drift Explanation (FDE) module to identify the drifting features. FDE utilizes an Auto-encoder (AE) that reconstructs the activation of the first layer of the regression Deep Learning (DL) model and finds their latent representations. When a drift is detected, each feature of the drifting data is replaced by its representative counterpart from the training data. The Minkowski distance is then used to measure the divergence between the altered drifting data and the original training data. The results show that FDE successfully identifies 85.77 % of drifting features and showcases its utility in the DL adaptation method under the CD phenomenon. As a result, the FDE method is an effective strategy for identifying drifting features towards thwarting cyber-security attacks.


title: 5G Networks Supported by UAVs, RESs, and RISs

abstract: This paper presents the examination of the 5G cellular network aware of Renewable Energy Sources (RESs) and supported by Reconfigurable Intelligent Surfaces (RISs) and Unmanned Aerial Vehicles working as mobile access nodes. The investigations have been focused on the energy side of the Radio Access Network (RAN) placed within the area of the city of Poznan (Poland). The gain related to enabling RES generators, i.e., photovoltaic (PV) panels, for base stations (BSs) was presented in the form of two factors -- the average number of UAV replacements (ANUR) with a fully charged one to ensure continuous access to mobile services for currently served user equipment (UE) terminals, and the average reduction in energy consumption (AREC) within the whole network.


title: GKZ hypergeometric systems of the four-loop vacuum Feynman integrals

abstract: Basing on Mellin-Barnes representations and Miller's transformation, we present the Gel'fand-Kapranov-Zelevinsky (GKZ) hypergeometric systems of 4-loop vacuum Feynman integrals with arbitrary masses. Through the GKZ hypergeometric systems, the analytical hypergeometric solutions of 4-loop vacuum Feynman integrals with arbitrary masses can be obtained in neighborhoods of origin including infinity. The analytical expressions of 4-loop vacuum Feynman integrals can be formulated as a linear combination of the fundamental solution systems in certain convergent region.


title: Thermodynamic geometric analysis of RN black holes under f(R) gravity

abstract: In this article, we explore the RN black hole under f(R) gravity and its thermodynamic properties. We begin by examining the small fluctuations around the equilibrium state and summarizing the expression for the modified thermodynamic entropy of this black hole. Additionally, we delve into the geometric thermodynamics (GTD) of black holes and investigate the suitability of the curvature scalar of the GTD method for the phase transition point of the black hole. Moreover, we investigate the effects of modified parameters on the thermodynamic behavior of black holes.Within the framework of $f(R)$ modified gravity theory, we discovered that several RN black holes demonstrate thermodynamic properties resembling those of an ideal gas when the initial curvature scalar of the black hole remains constant. However, if the initial curvature scalar is non-constant and the cosmological constant term possesses a negative exponent, the Reissner-Nordstr\"om (RN) black holes could exhibit characteristics akin to those of a van der Waals gas.We separately list the general solutions for the case of non-negative powers and the special solutions for the case of negative powers. We observe that, under certain conditions, the phase transition analogous to the Van der Waals gas exists for charged black holes under f(R) gravity.


title: Towards Better Statistical Understanding of Watermarking LLMs

abstract: In this paper, we study the problem of watermarking large language models (LLMs). We consider the trade-off between model distortion and detection ability and formulate it as a constrained optimization problem based on the green-red algorithm of Kirchenbauer et al. (2023a). We show that the optimal solution to the optimization problem enjoys a nice analytical property which provides a better understanding and inspires the algorithm design for the watermarking process. We develop an online dual gradient ascent watermarking algorithm in light of this optimization formulation and prove its asymptotic Pareto optimality between model distortion and detection ability. Such a result guarantees an averaged increased green list probability and henceforth detection ability explicitly (in contrast to previous results). Moreover, we provide a systematic discussion on the choice of the model distortion metrics for the watermarking problem. We justify our choice of KL divergence and present issues with the existing criteria of ``distortion-free'' and perplexity. Finally, we empirically evaluate our algorithms on extensive datasets against benchmark algorithms.


title: Dynamical systems analysis of a cosmological model with interacting Umami Chaplygin fluid in adiabatic particle creation mechanism: Some bouncing features

abstract: The present work aims to investigate an interacting Umami Chaplygin gas in the background dynamics of a spatially flat Friedmann-Lemaitre-Robertson-Walker (FLRW) universe when adiabatic particle creation is allowed. Here, the universe is taken to be an open thermodynamical model where the particle is created irreversibly and consequently, the creation pressure comes into the energy-momentum tensor of the material content. The rate at which the particle created is assumed to have a linear relation with the Hubble parameter and the created particle is dark matter (pressureless). The Umami Chaplygin gas is considered dark energy, pressureless dust is taken as dark matter and a phenomenological interaction term is taken for mathematical simplicity. Dynamical analysis is performed to obtain an overall evolution of the model we consider. The autonomous system is obtained by considering dimensionless variables in terms of cosmological variables. The local stability of the critical points and the classical stability of the model are also performed at each critical point. This study explores some cosmologically viable scenarios when we constrain the model parameters. Some critical points exhibit the accelerated de Sitter expansion of the universe at both the early phase as well as the late phase of evolution which is characterized by completely Umami Chaplygin fluid equation of state. Scaling solutions are also described by some other critical points showing late-time accelerated attractors in phase space satisfying present observational data, and solving the coincidence problem. A unified cosmic evolution is also achieved within this model describing the evolution of the universe starting from inflation to late time acceleration connecting through a matter-dominated intermediate phase. Finally, the non-singular bouncing behavior of the universe is also investigated for this model numerically.


title: Intensity product-based optical sensing to beat the diffraction limit in an interferometer

abstract: The classically defined minimum uncertainty of the optical phase is known as the standard quantum limit or shot-noise limit (SNL) originating in the uncertainty principle of quantum mechanics. Based on SNL, the phase sensitivity is inversely proportional to the square root K, where K is the number of interfering photons or statistically measured events. Thus, using a high-power laser is advantageous to enhance sensitivity due to the square root K gain in the signal-to-noise ratio. In a typical interferometer, however, the resolution remains in the diffraction limit of the K=1 case unless the interfering photons are resolved as in quantum sensing. Here, a projection-measurement method in quantum sensing is adapted for an interferometer to achieve an additional square root K gain in resolution. For the projection measurement, the interference fringe of an interferometer can be Kth-powered to replace the Kth-order intensity product. To understand many-wave interference-caused enhanced resolution, several types of interferometers are numerically compared to draw corresponding resolution parameters. As a result, the achieved resolution by the Kth power to an N-slit interferometer exceeds the diffraction limit and the Heisenberg limit in quantum sensing.


title: Super-High-Fidelity Image Compression via Hierarchical-ROI and Adaptive Quantization

abstract: Learned Image Compression (LIC) has achieved dramatic progress regarding objective and subjective metrics. MSE-based models aim to improve objective metrics while generative models are leveraged to improve visual quality measured by subjective metrics. However, they all suffer from blurring or deformation at low bit rates, especially at below $0.2bpp$. Besides, deformation on human faces and text is unacceptable for visual quality assessment, and the problem becomes more prominent on small faces and text. To solve this problem, we combine the advantage of MSE-based models and generative models by utilizing region of interest (ROI). We propose Hierarchical-ROI (H-ROI), to split images into several foreground regions and one background region to improve the reconstruction of regions containing faces, text, and complex textures. Further, we propose adaptive quantization by non-linear mapping within the channel dimension to constrain the bit rate while maintaining the visual quality. Exhaustive experiments demonstrate that our methods achieve better visual quality on small faces and text with lower bit rates, e.g., $0.7X$ bits of HiFiC and $0.5X$ bits of BPG.


title: RigorLLM: Resilient Guardrails for Large Language Models against Undesired Content

abstract: Recent advancements in Large Language Models (LLMs) have showcased remarkable capabilities across various tasks in different domains. However, the emergence of biases and the potential for generating harmful content in LLMs, particularly under malicious inputs, pose significant challenges. Current mitigation strategies, while effective, are not resilient under adversarial attacks. This paper introduces Resilient Guardrails for Large Language Models (RigorLLM), a novel framework designed to efficiently and effectively moderate harmful and unsafe inputs and outputs for LLMs. By employing a multi-faceted approach that includes energy-based training data augmentation through Langevin dynamics, optimizing a safe suffix for inputs via minimax optimization, and integrating a fusion-based model combining robust KNN with LLMs based on our data augmentation, RigorLLM offers a robust solution to harmful content moderation. Our experimental evaluations demonstrate that RigorLLM not only outperforms existing baselines like OpenAI API and Perspective API in detecting harmful content but also exhibits unparalleled resilience to jailbreaking attacks. The innovative use of constrained optimization and a fusion-based guardrail approach represents a significant step forward in developing more secure and reliable LLMs, setting a new standard for content moderation frameworks in the face of evolving digital threats.


title: Hybrid Unsupervised Learning Strategy for Monitoring Industrial Batch Processes

abstract: Industrial production processes, especially in the pharmaceutical industry, are complex systems that require continuous monitoring to ensure efficiency, product quality, and safety. This paper presents a hybrid unsupervised learning strategy (HULS) for monitoring complex industrial processes. Addressing the limitations of traditional Self-Organizing Maps (SOMs), especially in scenarios with unbalanced data sets and highly correlated process variables, HULS combines existing unsupervised learning techniques to address these challenges. To evaluate the performance of the HULS concept, comparative experiments are performed based on a laboratory batch


title: A systematic review on visual-processing deficits in Neurofibromatosis type 1: what possible impact on learning to read?

abstract: This systematic review aimed to examine the possible implication of visual-perceptual, visuo-attentional and oculomotor processing in the reading deficits frequently experienced by children with Neurofibromatosis type 1 (NF1), as previously shown in dyslexia. Using PRISMA methodological guidelines, we examined 49 studies; most of these reported visual-processing deficits in this population, raising the importance of directly studying the visuo-perceptual and visuo-attentional processes and eye-movement control involved in the learning-to-read process in NF1. The discussion provides a reflection for a better understanding of how visual-processing skills interact with reading deficits in NF1, as well as new avenues for their screening and care.


title: Study of silicon photomultipliers for the readout of a lead/scintillating-fiber calorimeter

abstract: The KLOE electromagnetic calorimeter is expected to be reused in the Near Detector complex of the DUNE experiment at Fermilab. The possible substitution of traditional Photomultiplier Tubes (PMTs) with Silicon Photomultipliers (SiPMs) in the refurbished calorimeter is the object of this investigation. A block of the KLOE lead-scintillating fiber calorimeter has been equipped with light guides and external trigger scintillators. The signals induced by cosmic rays and environmental radioactivity have been collected by SiPM arrays on one side of the calorimeter, and by conventional PMTs on the opposite side. Efficiency, stability, and timing resolution of SiPMs have been studied and compared with KLOE-PMTs performance. Conclusions about the convenience of substituting PMTs with SiPMs are drawn.


title: Accelerated quantum search using partial oracles and Grover's algorithm

abstract: Grover's algorithm, orginally conceived as a means of searching an unordered database, can also be used as a technique for extracting solutions from the result sets generated by quantum computations. The algorithm exploits the concept of an oracle function, which abstracts the process of matching a search item (returning 1 for a match and 0 otherwise). This black-box approach hides the details of a search problem and works with the assumption that the items in the search space are completely unordered. In this case, searching for 1 target item in a search space of size $N$ scales as $\mathcal{O}(\sqrt{N})$ oracle queries (or $\mathcal{O}(\sqrt{N/M})$ oracle queries for $M$ target items in a search space of size $N$). Hidden inside the typical black-box oracle, however, the process of matching an item usually involves matching multiple data bits. In this article, we explore the idea of associating a separate oracle with each bit of the matching condition, obtaining multiple partial oracle functions which can be tested independently. Exploring this idea leads to a multi-stage hybrid search algorithm, whose performance can fall within a wide range, anywhere between $\mathcal{O}(\sqrt{N})$ (same as Grover) or $\mathcal{O}(\log(N))$ (exponentially faster). Apparently, the search acceleration works by dynamically discovering order in the search space, where the order consists of correlations between the partial oracle functions and the search index. This new algorithm is validated against the simplest kind of search scenario.